sat ((f0m false) (f0c 0) (f1m false) (f1c 359) (f2m false) (f2c 374) (f3m true) (f3c 2) (f4m true) (f4c 386) (f5m true) (f5c (- 708)) (f6m true) (f6c (- 986)) (f7m true) (f7c 0) (f8m true) (f8c 167) (f9m true) (f9c 287) (f10m true) (f10c (- 860)) (f11m true) (f11c 15) (f12m true) (f12c (- 995)) (f13m false) (f13c 84) (f14m false) (f14c 152) (f15m false) (f15c (- 275)) (f16m true) (f16c (- 275)) (f17m false) (f17c 78) (f18m true) (f18c (- 334)) (f19m false) (f19c (- 436)) (f20m true) (f20c 1) (f21m false) (f21c 0) (f22m false) (f22c (- 156)) (f23m true) (f23c (- 137)) (f24m false) (f24c 0) (f25m false) (f25c 359) (f26m false) (f26c 437) (f27m true) (f27c 0) (f28m true) (f28c (- 359)) (f29m true) (f29c 59) (f30m true) (f30c (- 68)) (f31m true) (f31c 0) (f32m true) (f32c 0) (f33m true) (f33c 998) (f34m true) (f34c (- 96)) (f35m false) (f35c (- 149)) (f36m false) (f36c 0) (f37m false) (f37c 359) (f38m false) (f38c 437) (f39m true) (f39c 0) (f40m true) (f40c 359) (f41m true) (f41c 437) (f42m true) (f42c (- 68)) (f43m true) (f43c 0) (f44m true) (f44c 0) (f45m false) (f45c 288) (f46m true) (f46c 998) (f47m true) (f47c 932) (f48m false) (f48c 288) (f49m true) (f49c 998) (f50m false) (f50c (- 149)) (f51m true) (f51c 84) (f52m true) (f52c (- 638)) (f53m true) (f53c 521) (f54m false) (f54c (- 275)) (f55m false) (f55c 84) (f56m false) (f56c 162) (f57m true) (f57c (- 292)) (f58m true) (f58c (- 77)) (f59m true) (f59c 1) (f60m false) (f60c 3) (f61m false) (f61c 13) (f62m true) (f62c (- 46)) (f63m false) (f63c 3) (f64m false) (f64c 13) (f65m true) (f65c (- 46)) (f66m false) (f66c 84) (f67m false) (f67c 443) (f68m false) (f68c 521) (f69m true) (f69c 117) (f70m true) (f70c 472) (f71m true) (f71c (- 709)) (f72m true) (f72c (- 273)) (f73m true) (f73c 164) (f74m true) (f74c 316) (f75m false) (f75c 372) (f76m true) (f76c 399) (f77m true) (f77c 122) (f78m false) (f78c 372) (f79m true) (f79c (- 860)) (f80m true) (f80c 123) (f81m true) (f81c 84) (f82m true) (f82c 95) (f83m true) (f83c 148) (f84m false) (f84c (- 275)) (f85m false) (f85c 84) (f86m false) (f86c 162) (f87m true) (f87c (- 336)) (f88m true) (f88c 25) (f89m true) (f89c 145) (f90m false) (f90c 3) (f91m false) (f91c (- 71)) (f92m true) (f92c 662) (f93m false) (f93c 3) (f94m false) (f94c (- 71)) (f95m true) (f95c 661) (f96m false) (f96c 84) (f97m false) (f97c 443) (f98m false) (f98c 521) (f99m true) (f99c 84) (f100m true) (f100c (- 277)) (f101m true) (f101c 202) (f102m true) (f102c 16) (f103m true) (f103c 25) (f104m true) (f104c 147) (f105m false) (f105c 288) (f106m true) (f106c (- 71)) (f107m true) (f107c (- 150)) (f108m false) (f108c 288) (f109m true) (f109c (- 72)) (f110m false) (f110c (- 149)) (f111m false) (f111c 84) (f112m false) (f112c 443) (f113m false) (f113c 521) (f114m true) (f114c (- 277)) (f115m true) (f115c (- 638)) (f116m true) (f116c 523) (f117m true) (f117c 85) (f118m true) (f118c 25) (f119m true) (f119c 147) (f120m false) (f120c 288) (f121m true) (f121c (- 433)) (f122m true) (f122c (- 149)) (f123m false) (f123c 288) (f124m true) (f124c (- 865)) (f125m false) (f125c (- 149)) (f126m false) (f126c 84) (f127m false) (f127c 443) (f128m false) (f128c 521) (f129m true) (f129c (- 273)) (f130m true) (f130c 84) (f131m true) (f131c 161) (f132m true) (f132c (- 291)) (f133m true) (f133c 69) (f134m true) (f134c 147) (f135m false) (f135c 288) (f136m true) (f136c (- 1249)) (f137m true) (f137c (- 149)) (f138m false) (f138c 288) (f139m true) (f139c (- 1250)) (f140m false) (f140c (- 149)) (f141m false) (f141c 84) (f142m false) (f142c 443) (f143m false) (f143c 521) (f144m true) (f144c 116) (f145m true) (f145c 470) (f146m true) (f146c (- 709)) (f147m true) (f147c (- 123)) (f148m true) (f148c 83) (f149m true) (f149c 315) (f150m false) (f150c 288) (f151m true) (f151c (- 862)) (f152m true) (f152c 19) (f153m false) (f153c 288) (f154m true) (f154c (- 861)) (f155m true) (f155c 20) (f156m false) (f156c 0) (f157m false) (f157c 359) (f158m false) (f158c 437) (f159m true) (f159c (- 4)) (f160m true) (f160c 362) (f161m true) (f161c 57) (f162m true) (f162c (- 66)) (f163m true) (f163c 292) (f164m true) (f164c 60) (f165m false) (f165c 288) (f166m true) (f166c (- 92)) (f167m true) (f167c (- 148)) (f168m false) (f168c 288) (f169m true) (f169c (- 93)) (f170m false) (f170c (- 149)) (f171m true) (f171c 82) (f172m true) (f172c 446) (f173m true) (f173c 522) (f174m false) (f174c (- 275)) (f175m false) (f175c 84) (f176m false) (f176c 162) (f177m true) (f177c 820) (f178m true) (f178c 293) (f179m true) (f179c (- 628)) (f180m false) (f180c 3) (f181m false) (f181c 13) (f182m true) (f182c (- 46)) (f183m false) (f183c 3) (f184m false) (f184c 13) (f185m true) (f185c (- 47)) (f186m false) (f186c 84) (f187m false) (f187c 443) (f188m false) (f188c 521) (f189m true) (f189c 112) (f190m true) (f190c 466) (f191m true) (f191c (- 1336)) (f192m true) (f192c 987) (f193m true) (f193c 461) (f194m true) (f194c (- 463)) (f195m false) (f195c 372) (f196m true) (f196c (- 755)) (f197m true) (f197c 121) (f198m false) (f198c 372) (f199m true) (f199c (- 859)) (f200m true) (f200c 122) (f201m true) (f201c 86) (f202m true) (f202c 152) (f203m true) (f203c 215) (f204m false) (f204c (- 275)) (f205m false) (f205c 84) (f206m false) (f206c 162) (f207m true) (f207c (- 436)) (f208m true) (f208c 25) (f209m true) (f209c 149) (f210m false) (f210c 3) (f211m false) (f211c (- 71)) (f212m true) (f212c 663) (f213m false) (f213c 3) (f214m false) (f214c (- 71)) (f215m true) (f215c 662) (f216m false) (f216c 84) (f217m false) (f217c 443) (f218m false) (f218c 521) (f219m true) (f219c (- 288)) (f220m true) (f220c 152) (f221m true) (f221c 210) (f222m true) (f222c 20) (f223m true) (f223c 25) (f224m true) (f224c 147) (f225m false) (f225c 288) (f226m true) (f226c (- 96)) (f227m true) (f227c (- 71)) (f228m false) (f228c 288) (f229m true) (f229c (- 96)) (f230m false) (f230c (- 149)) (f231m false) (f231c 84) (f232m false) (f232c 443) (f233m false) (f233c 521) (f234m true) (f234c (- 647)) (f235m true) (f235c 84) (f236m true) (f236c 521) (f237m true) (f237c (- 290)) (f238m true) (f238c 291) (f239m true) (f239c 147) (f240m false) (f240c 288) (f241m true) (f241c 290) (f242m true) (f242c (- 147)) (f243m false) (f243c 288) (f244m true) (f244c (- 96)) (f245m false) (f245c (- 149)) (f246m false) (f246c 84) (f247m false) (f247c 443) (f248m false) (f248c 521) (f249m true) (f249c (- 998)) (f250m true) (f250c 467) (f251m true) (f251c (- 1337)) (f252m true) (f252c (- 122)) (f253m true) (f253c 459) (f254m true) (f254c 523) (f255m false) (f255c 288) (f256m true) (f256c 290) (f257m true) (f257c 19) (f258m false) (f258c 288) (f259m true) (f259c (- 861)) (f260m true) (f260c 15) (f261m false) (f261c 0) (f262m false) (f262c 359) (f263m false) (f263c 437) (f264m true) (f264c 0) (f265m true) (f265c (- 718)) (f266m true) (f266c 59) (f267m true) (f267c (- 66)) (f268m true) (f268c 0) (f269m true) (f269c (- 1)) (f270m false) (f270c 288) (f271m true) (f271c 288) (f272m true) (f272c 930) (f273m false) (f273c 288) (f274m true) (f274c 288) (f275m false) (f275c (- 149)) (f276m true) (f276c 84) (f277m true) (f277c (- 634)) (f278m true) (f278c (- 558)) (f279m false) (f279c (- 275)) (f280m false) (f280c 84) (f281m false) (f281c 162) (f282m true) (f282c 794) (f283m true) (f283c 27) (f284m true) (f284c 148) (f285m false) (f285c 3) (f286m false) (f286c 13) (f287m true) (f287c (- 148)) (f288m false) (f288c 3) (f289m false) (f289c 13) (f290m true) (f290c (- 149)) (f291m false) (f291c 84) (f292m false) (f292c 443) (f293m false) (f293c 521) (f294m true) (f294c 86) (f295m true) (f295c (- 629)) (f296m true) (f296c (- 558)) (f297m true) (f297c 962) (f298m true) (f298c (- 1621)) (f299m true) (f299c 319) (f300m false) (f300c 372) (f301m true) (f301c 401) (f302m true) (f302c 14) (f303m false) (f303c 372) (f304m true) (f304c (- 862)) (f305m true) (f305c 15) (f306m true) (f306c 86) (f307m true) (f307c 152) (f308m true) (f308c 523) (f309m false) (f309c (- 275)) (f310m false) (f310c 84) (f311m false) (f311c 162) (f312m true) (f312c (- 69)) (f313m true) (f313c 8) (f314m true) (f314c 152) (f315m false) (f315c 3) (f316m false) (f316c (- 71)) (f317m true) (f317c 662) (f318m false) (f318c 3) (f319m false) (f319c (- 71)) (f320m true) (f320c (- 52)) (f321m false) (f321c 84) (f322m false) (f322c 443) (f323m false) (f323c 521) (f324m true) (f324c 88) (f325m true) (f325c 72) (f326m true) (f326c 209) (f327m true) (f327c (- 273)) (f328m true) (f328c 82) (f329m true) (f329c 149) (f330m false) (f330c 288) (f331m true) (f331c 5) (f332m true) (f332c (- 150)) (f333m false) (f333c 288) (f334m true) (f334c (- 96)) (f335m false) (f335c (- 149)) (f336m false) (f336c 84) (f337m false) (f337c 443) (f338m false) (f338c 521) (f339m true) (f339c 85) (f340m true) (f340c (- 628)) (f341m true) (f341c (- 557)) (f342m true) (f342c (- 903)) (f343m true) (f343c (- 545)) (f344m true) (f344c 318) (f345m false) (f345c 288) (f346m true) (f346c 288) (f347m true) (f347c 19) (f348m false) (f348c 288) (f349m true) (f349c (- 861)) (f350m true) (f350c 14) (f351m false) (f351c 0) (f352m false) (f352c 359) (f353m false) (f353c 437) (f354m true) (f354c 1) (f355m true) (f355c 361) (f356m true) (f356c 435) (f357m true) (f357c (- 66)) (f358m true) (f358c (- 2)) (f359m true) (f359c 3) (f360m false) (f360c 288) (f361m true) (f361c (- 453)) (f362m true) (f362c 930) (f363m false) (f363c 288) (f364m true) (f364c 290) (f365m false) (f365c (- 149)) (f366m true) (f366c 88) (f367m true) (f367c (- 783)) (f368m true) (f368c 519) (f369m false) (f369c (- 275)) (f370m false) (f370c 84) (f371m false) (f371c 162) (f372m true) (f372c (- 289)) (f373m true) (f373c (- 73)) (f374m true) (f374c 1260) (f375m false) (f375c 3) (f376m false) (f376c 13) (f377m true) (f377c (- 139)) (f378m false) (f378c 3) (f379m false) (f379c 13) (f380m true) (f380c (- 138)) (f381m false) (f381c 84) (f382m false) (f382c 443) (f383m false) (f383c 521) (f384m true) (f384c (- 998)) (f385m true) (f385c (- 783)) (f386m true) (f386c 550) (f387m true) (f387c (- 121)) (f388m true) (f388c 1350) (f389m true) (f389c 161) (f390m false) (f390c 372) (f391m true) (f391c (- 858)) (f392m true) (f392c 14) (f393m false) (f393c 372) (f394m true) (f394c (- 859)) (f395m true) (f395c 16) (f396m true) (f396c (- 997)) (f397m true) (f397c (- 273)) (f398m true) (f398c 521) (f399m false) (f399c (- 275)) (f400m false) (f400c 84) (f401m false) (f401c 162) (f402m true) (f402c (- 333)) (f403m true) (f403c 1181) (f404m true) (f404c (- 379)) (f405m false) (f405c 3) (f406m false) (f406c (- 71)) (f407m true) (f407c 663) (f408m false) (f408c 3) (f409m false) (f409c (- 71)) (f410m true) (f410c 716) (f411m false) (f411c 84) (f412m false) (f412c 443) (f413m false) (f413c 521) (f414m true) (f414c (- 997)) (f415m true) (f415c 471) (f416m true) (f416c 548) (f417m true) (f417c (- 165)) (f418m true) (f418c 1349) (f419m true) (f419c 160) (f420m false) (f420c 288) (f421m true) (f421c 7) (f422m true) (f422c (- 70)) (f423m false) (f423c 288) (f424m true) (f424c (- 861)) (f425m true) (f425c 15) (f426m true) (f426c 86) (f427m true) (f427c 159) (f428m true) (f428c (- 558)) (f429m false) (f429c (- 275)) (f430m false) (f430c 84) (f431m false) (f431c 162) (f432m true) (f432c (- 695)) (f433m true) (f433c 4) (f434m true) (f434c (- 377)) (f435m false) (f435c 3) (f436m false) (f436c (- 71)) (f437m true) (f437c (- 148)) (f438m false) (f438c 3) (f439m false) (f439c (- 71)) (f440m true) (f440c (- 148)) (f441m false) (f441c 84) (f442m false) (f442c 443) (f443m false) (f443c 521) (f444m true) (f444c (- 635)) (f445m true) (f445c 63) (f446m true) (f446c 162) (f447m true) (f447c (- 802)) (f448m true) (f448c 2) (f449m true) (f449c 147) (f450m false) (f450c 288) (f451m true) (f451c (- 432)) (f452m true) (f452c (- 63)) (f453m false) (f453c 288) (f454m true) (f454c (- 71)) (f455m false) (f455c (- 149)) (f456m false) (f456c 84) (f457m false) (f457c 443) (f458m false) (f458c 521) (f459m true) (f459c 87) (f460m true) (f460c 447) (f461m true) (f461c (- 559)) (f462m true) (f462c (- 635)) (f463m true) (f463c 460) (f464m true) (f464c 315) (f465m false) (f465c 288) (f466m true) (f466c (- 857)) (f467m true) (f467c 18) (f468m false) (f468c 288) (f469m true) (f469c (- 857)) (f470m true) (f470c 16) (f471m false) (f471c 0) (f472m false) (f472c 359) (f473m false) (f473c 437) (f474m true) (f474c (- 359)) (f475m true) (f475c (- 719)) (f476m true) (f476c 435) (f477m true) (f477c 1) (f478m true) (f478c 293) (f479m true) (f479c (- 6)) (f480m false) (f480c 288) (f481m true) (f481c 1000) (f482m true) (f482c (- 151)) (f483m false) (f483c 288) (f484m true) (f484c 1001) (f485m false) (f485c (- 149)) (f486m false) (f486c 0) (f487m false) (f487c 359) (f488m false) (f488c 437) (f489m true) (f489c 28) (f490m true) (f490c (- 335)) (f491m true) (f491c (- 715)) (f492m true) (f492c 167) (f493m true) (f493c 459) (f494m true) (f494c 160) (f495m false) (f495c 288) (f496m true) (f496c 1388) (f497m true) (f497c 1003) (f498m false) (f498c 288) (f499m true) (f499c (- 861)) (f500m true) (f500c 1004) (f501m true) (f501c 86) (f502m true) (f502c 153) (f503m true) (f503c (- 558)) (f504m false) (f504c (- 275)) (f505m false) (f505c 84) (f506m false) (f506c 162) (f507m true) (f507c (- 436)) (f508m true) (f508c 4) (f509m true) (f509c 103) (f510m false) (f510c 3) (f511m false) (f511c (- 71)) (f512m true) (f512c (- 148)) (f513m false) (f513c 3) (f514m false) (f514c (- 71)) (f515m true) (f515c (- 487)) (f516m false) (f516c 84) (f517m false) (f517c 443) (f518m false) (f518c 521) (f519m true) (f519c (- 275)) (f520m true) (f520c 155) (f521m true) (f521c 162) (f522m true) (f522c (- 290)) (f523m true) (f523c 4) (f524m true) (f524c 103) (f525m false) (f525c 288) (f526m true) (f526c (- 428)) (f527m true) (f527c (- 149)) (f528m false) (f528c 288) (f529m true) (f529c (- 427)) (f530m false) (f530c (- 149)) (f531m false) (f531c 84) (f532m false) (f532c 443) (f533m false) (f533c 521) (f534m true) (f534c (- 1)) (f535m true) (f535c 541) (f536m true) (f536c (- 605)) (f537m true) (f537c 101) (f538m true) (f538c 156) (f539m true) (f539c 271) (f540m false) (f540c 288) (f541m true) (f541c (- 857)) (f542m true) (f542c 15) (f543m false) (f543c 288) (f544m true) (f544c (- 859)) (f545m true) (f545c 15) (f546m false) (f546c 0) (f547m false) (f547c 359) (f548m false) (f548c 437) (f549m true) (f549c 0) (f550m true) (f550c 363) (f551m true) (f551c (- 709)) (f552m true) (f552c 100) (f553m true) (f553c 168) (f554m true) (f554c (- 550)) (f555m false) (f555c 225) (f556m true) (f556c (- 858)) (f557m true) (f557c 19) (f558m false) (f558c 225) (f559m true) (f559c (- 861)) (f560m true) (f560c 14) (f561m false) (f561c 0) (f562m false) (f562c 359) (f563m false) (f563c 437) (f564m true) (f564c (- 392)) (f565m true) (f565c (- 720)) (f566m true) (f566c 439) (f567m true) (f567c (- 68)) (f568m true) (f568c (- 15)) (f569m true) (f569c (- 1)) (f570m false) (f570c 288) (f571m true) (f571c 1000) (f572m true) (f572c (- 151)) (f573m false) (f573c 288) (f574m true) (f574c (- 71)) (f575m false) (f575c (- 149)) (f576m false) (f576c 0) (f577m false) (f577c 359) (f578m false) (f578c 437) (f579m true) (f579c (- 4)) (f580m true) (f580c (- 336)) (f581m true) (f581c 441) (f582m true) (f582c 101) (f583m true) (f583c 168) (f584m true) (f584c 438) (f585m false) (f585c 288) (f586m true) (f586c (- 857)) (f587m true) (f587c 201) (f588m false) (f588c 288) (f589m true) (f589c (- 861)) (f590m true) (f590c 14) (f591m false) (f591c 0) (f592m false) (f592c 359) (f593m false) (f593c 437) (f594m true) (f594c (- 3)) (f595m true) (f595c (- 710)) (f596m true) (f596c (- 710)) (f597m true) (f597c 100) (f598m true) (f598c 167) (f599m true) (f599c 168) (f600m false) (f600c 225) (f601m true) (f601c (- 858)) (f602m true) (f602c 14) (f603m false) (f603c 225) (f604m true) (f604c (- 859)) (f605m true) (f605c 15) (f606m false) (f606c 0) (f607m false) (f607c 359) (f608m false) (f608c 437) (f609m true) (f609c (- 386)) (f610m true) (f610c (- 718)) (f611m true) (f611c 57) (f612m true) (f612c (- 66)) (f613m true) (f613c (- 165)) (f614m true) (f614c 60) (f615m false) (f615c 288) (f616m true) (f616c 1000) (f617m true) (f617c (- 149)) (f618m false) (f618c 288) (f619m true) (f619c 1001) (f620m false) (f620c (- 149)) (f621m false) (f621c 0) (f622m false) (f622c 359) (f623m false) (f623c 437) (f624m true) (f624c 1) (f625m true) (f625c 359) (f626m true) (f626c (- 709)) (f627m true) (f627c 102) (f628m true) (f628c 1) (f629m true) (f629c 228) (f630m false) (f630c 288) (f631m true) (f631c (- 860)) (f632m true) (f632c 1001) (f633m false) (f633c 288) (f634m true) (f634c (- 860)) (f635m true) (f635c 14) (f636m false) (f636c 0) (f637m false) (f637c 359) (f638m false) (f638c 437) (f639m true) (f639c (- 2)) (f640m true) (f640c (- 718)) (f641m true) (f641c (- 638)) (f642m true) (f642c 0) (f643m true) (f643c 293) (f644m true) (f644c 0) (f645m false) (f645c 288) (f646m true) (f646c (- 98)) (f647m true) (f647c (- 149)) (f648m false) (f648c 288) (f649m true) (f649c (- 97)) (f650m false) (f650c (- 149)) (f651m true) (f651c 80) (f652m true) (f652c (- 636)) (f653m true) (f653c (- 558)) (f654m false) (f654c (- 275)) (f655m false) (f655c 84) (f656m false) (f656c 162) (f657m true) (f657c (- 351)) (f658m true) (f658c 296) (f659m true) (f659c 1) (f660m false) (f660c 3) (f661m false) (f661c 13) (f662m true) (f662c (- 148)) (f663m false) (f663c 3) (f664m false) (f664c 13) (f665m true) (f665c (- 407)) (f666m false) (f666c 84) (f667m false) (f667c 443) (f668m false) (f668c 521) (f669m true) (f669c 78) (f670m true) (f670c 497) (f671m true) (f671c (- 558)) (f672m true) (f672c 84) (f673m true) (f673c 294) (f674m true) (f674c 1) (f675m false) (f675c 372) (f676m true) (f676c (- 346)) (f677m true) (f677c (- 357)) (f678m false) (f678c 372) (f679m true) (f679c (- 95)) (f680m false) (f680c (- 149)) (f681m true) (f681c 84) (f682m true) (f682c (- 277)) (f683m true) (f683c (- 558)) (f684m false) (f684c (- 275)) (f685m false) (f685c 84) (f686m false) (f686c 162) (f687m true) (f687c (- 349)) (f688m true) (f688c 6) (f689m true) (f689c 1) (f690m false) (f690c 3) (f691m false) (f691c (- 71)) (f692m true) (f692c (- 532)) (f693m false) (f693c 3) (f694m false) (f694c (- 71)) (f695m true) (f695c (- 136)) (f696m false) (f696c 84) (f697m false) (f697c 443) (f698m false) (f698c 521) (f699m true) (f699c (- 290)) (f700m true) (f700c 65) (f701m true) (f701c 160) (f702m true) (f702c 15) (f703m true) (f703c (- 345)) (f704m true) (f704c 1) (f705m false) (f705c 288) (f706m true) (f706c (- 149)) (f707m true) (f707c (- 135)) (f708m false) (f708c 288) (f709m true) (f709c (- 149)) (f710m false) (f710c (- 149)) (f711m false) (f711c 84) (f712m false) (f712c 443) (f713m false) (f713c 521) (f714m true) (f714c (- 649)) (f715m true) (f715c 443) (f716m true) (f716c (- 201)) (f717m true) (f717c 14) (f718m true) (f718c 377) (f719m true) (f719c 1) (f720m false) (f720c 288) (f721m true) (f721c (- 506)) (f722m true) (f722c (- 149)) (f723m false) (f723c 288) (f724m true) (f724c (- 505)) (f725m false) (f725c (- 149)) (f726m false) (f726c 84) (f727m false) (f727c 443) (f728m false) (f728c 521) (f729m true) (f729c 84) (f730m true) (f730c 83) (f731m true) (f731c 521) (f732m true) (f732c (- 650)) (f733m true) (f733c 441) (f734m true) (f734c 1) (f735m false) (f735c 288) (f736m true) (f736c (- 866)) (f737m true) (f737c (- 151)) (f738m false) (f738c 288) (f739m true) (f739c (- 97)) (f740m false) (f740c (- 149)) (f741m false) (f741c 84) (f742m false) (f742c 443) (f743m false) (f743c 521) (f744m true) (f744c 78) (f745m true) (f745c 498) (f746m true) (f746c (- 558)) (f747m true) (f747c 84) (f748m true) (f748c 373) (f749m true) (f749c 1) (f750m false) (f750c 288) (f751m true) (f751c (- 92)) (f752m true) (f752c (- 98)) (f753m false) (f753c 288) (f754m true) (f754c (- 94)) (f755m false) (f755c (- 149)) (f756m true) (f756c 84) (f757m true) (f757c 80) (f758m true) (f758c 521) (f759m false) (f759c (- 275)) (f760m false) (f760c 84) (f761m false) (f761c 162) (f762m true) (f762c (- 355)) (f763m true) (f763c 8) (f764m true) (f764c 1) (f765m false) (f765c 3) (f766m false) (f766c (- 71)) (f767m true) (f767c 664) (f768m false) (f768c 3) (f769m false) (f769c (- 71)) (f770m true) (f770c 664) (f771m false) (f771c 84) (f772m false) (f772c 443) (f773m false) (f773c 521) (f774m true) (f774c 441) (f775m true) (f775c 82) (f776m true) (f776c 60) (f777m true) (f777c 442) (f778m true) (f778c 10) (f779m true) (f779c 1) (f780m false) (f780c 288) (f781m true) (f781c 722) (f782m true) (f782c (- 150)) (f783m false) (f783c 288) (f784m true) (f784c (- 149)) (f785m false) (f785c (- 149)) (f786m false) (f786c 84) (f787m false) (f787c 443) (f788m false) (f788c 521) (f789m true) (f789c 84) (f790m true) (f790c 443) (f791m true) (f791c (- 300)) (f792m true) (f792c 442) (f793m true) (f793c 82) (f794m true) (f794c 1) (f795m false) (f795c 288) (f796m true) (f796c 288) (f797m true) (f797c (- 149)) (f798m false) (f798c 288) (f799m true) (f799c 289) (f800m false) (f800c (- 149)) (f801m false) (f801c 0) (f802m false) (f802c 359) (f803m false) (f803c 437) (f804m true) (f804c (- 359)) (f805m true) (f805c 363) (f806m true) (f806c 78) (f807m true) (f807c 0) (f808m true) (f808c (- 355)) (f809m true) (f809c 0) (f810m false) (f810c 288) (f811m true) (f811c (- 455)) (f812m true) (f812c 930) (f813m false) (f813c 288) (f814m true) (f814c (- 96)) (f815m false) (f815c (- 149)) (f816m false) (f816c 0) (f817m false) (f817c 359) (f818m false) (f818c 437) (f819m true) (f819c 59) (f820m true) (f820c 359) (f821m true) (f821c 437) (f822m true) (f822c (- 66)) (f823m true) (f823c (- 356)) (f824m true) (f824c 0) (f825m false) (f825c 288) (f826m true) (f826c 288) (f827m true) (f827c 220) (f828m false) (f828c 288) (f829m true) (f829c (- 96)) (f830m false) (f830c (- 149)) (f831m false) (f831c 0) (f832m false) (f832c 359) (f833m false) (f833c 437) (f834m true) (f834c (- 468)) (f835m true) (f835c (- 719)) (f836m true) (f836c 439) (f837m true) (f837c 0) (f838m true) (f838c (- 2)) (f839m true) (f839c (- 2)) (f840m false) (f840c 288) (f841m true) (f841c (- 455)) (f842m true) (f842c (- 149)) (f843m false) (f843c 288) (f844m true) (f844c (- 97)) (f845m false) (f845c (- 149)) (f846m false) (f846c 0) (f847m false) (f847c 359) (f848m false) (f848c 437) (f849m true) (f849c (- 827)) (f850m true) (f850c 359) (f851m true) (f851c 57) (f852m true) (f852c 0) (f853m true) (f853c (- 3)) (f854m true) (f854c (- 3)) (f855m false) (f855c 288) (f856m true) (f856c 290) (f857m true) (f857c 222) (f858m false) (f858c 288) (f859m true) (f859c 291) (f860m false) (f860c (- 149)) (f861m false) (f861c 0) (f862m false) (f862c 359) (f863m false) (f863c 437) (f864m true) (f864c 0) (f865m true) (f865c 59) (f866m true) (f866c 1157) (f867m true) (f867c (- 68)) (f868m true) (f868c 0) (f869m true) (f869c (- 276)) (f870m false) (f870c 288) (f871m true) (f871c 996) (f872m true) (f872c (- 148)) (f873m false) (f873c 288) (f874m true) (f874c 995) (f875m false) (f875c (- 149)) (f876m true) (f876c 84) (f877m true) (f877c 1165) (f878m true) (f878c 1241) (f879m false) (f879c (- 275)) (f880m false) (f880c 84) (f881m false) (f881c 162) (f882m true) (f882c (- 341)) (f883m true) (f883c 25) (f884m true) (f884c (- 275)) (f885m false) (f885c 3) (f886m false) (f886c 13) (f887m true) (f887c (- 424)) (f888m false) (f888c 3) (f889m false) (f889c 13) (f890m true) (f890c (- 424)) (f891m false) (f891c (- 191)) (f892m false) (f892c 168) (f893m false) (f893c 246) (f894m true) (f894c (- 715)) (f895m true) (f895c (- 193)) (f896m true) (f896c 966) (f897m false) (f897c (- 711)) (f898m false) (f898c (- 352)) (f899m false) (f899c (- 274)) (f900m false) (f900c 97) (f901m false) (f901c (- 272)) (f902m false) (f902c (- 423)) (f903m false) (f903c 97) (f904m false) (f904c (- 156)) (f905m false) (f905c (- 423)) (f906m false) (f906c (- 191)) (f907m false) (f907c 168) (f908m false) (f908c 246) (f909m true) (f909c (- 191)) (f910m true) (f910c 272) (f911m true) (f911c (- 39)) (f912m true) (f912c (- 713)) (f913m true) (f913c (- 354)) (f914m true) (f914c (- 107)) (f915m false) (f915c 203) (f916m true) (f916c (- 517)) (f917m true) (f917c (- 425)) (f918m false) (f918c 203) (f919m true) (f919c (- 518)) (f920m false) (f920c (- 149)) (f921m true) (f921c (- 106)) (f922m true) (f922c 356) (f923m true) (f923c 45) (f924m false) (f924c (- 466)) (f925m false) (f925c (- 107)) (f926m false) (f926c (- 29)) (f927m true) (f927c (- 540)) (f928m true) (f928c (- 166)) (f929m true) (f929c (- 88)) (f930m false) (f930c 3) (f931m false) (f931c (- 71)) (f932m true) (f932c (- 133)) (f933m false) (f933c 3) (f934m false) (f934c (- 71)) (f935m true) (f935c (- 133)) (f936m false) (f936c (- 107)) (f937m false) (f937c 252) (f938m false) (f938c 330) (f939m true) (f939c (- 826)) (f940m true) (f940c 356) (f941m true) (f941c 45) (f942m true) (f942c 1) (f943m true) (f943c (- 105)) (f944m true) (f944c (- 23)) (f945m false) (f945c 288) (f946m true) (f946c 5) (f947m true) (f947c (- 149)) (f948m false) (f948c 288) (f949m true) (f949c 6) (f950m false) (f950c (- 149)))