sat ((f0m false) (f0c (- 1)) (f1m false) (f1c 625) (f2m true) (f2c (- 307)) (f3m true) (f3c 0) (f4m false) (f4c 536) (f5m true) (f5c (- 90)) (f6m false) (f6c (- 10)) (f7m true) (f7c 448) (f8m true) (f8c (- 547)) (f9m false) (f9c (- 89)) (f10m false) (f10c 448) (f11m true) (f11c (- 89)) (f12m false) (f12c (- 78)) (f13m false) (f13c 458) (f14m false) (f14c (- 625)) (f15m true) (f15c (- 78)) (f16m false) (f16c 458) (f17m false) (f17c 0) (f18m true) (f18c (- 179)) (f19m true) (f19c 458) (f20m true) (f20c (- 361)) (f21m true) (f21c 188) (f22m false) (f22c 458) (f23m true) (f23c 93) (f24m false) (f24c 0) (f25m true) (f25c 45) (f26m false) (f26c (- 547)) (f27m false) (f27c (- 182)) (f28m true) (f28c 457) (f29m true) (f29c 81) (f30m false) (f30c (- 536)) (f31m true) (f31c 11) (f32m true) (f32c 8) (f33m true) (f33c 275) (f34m false) (f34c 0) (f35m true) (f35c 469) (f36m true) (f36c (- 1)) (f37m true) (f37c 453) (f38m true) (f38c 0) (f39m true) (f39c 547) (f40m false) (f40c 0) (f41m true) (f41c 467) (f42m true) (f42c 183) (f43m true) (f43c 734) (f44m true) (f44c (- 31)) (f45m true) (f45c 509) (f46m false) (f46c 458) (f47m false) (f47c (- 89)) (f48m true) (f48c (- 458)) (f49m true) (f49c (- 63)) (f50m true) (f50c 134) (f51m true) (f51c 959) (f52m false) (f52c 0) (f53m true) (f53c 588) (f54m true) (f54c 114) (f55m true) (f55c 26) (f56m true) (f56c (- 247)) (f57m true) (f57c (- 15)) (f58m false) (f58c 458) (f59m false) (f59c 63) (f60m true) (f60c (- 734)) (f61m true) (f61c (- 548)) (f62m true) (f62c 41) (f63m true) (f63c 495) (f64m false) (f64c 0) (f65m true) (f65c 595) (f66m true) (f66c 81) (f67m true) (f67c 536) (f68m true) (f68c (- 313)) (f69m true) (f69c (- 288)) (f70m false) (f70c 536) (f71m false) (f71c (- 11)) (f72m true) (f72c (- 460)) (f73m true) (f73c (- 273)) (f74m true) (f74c 126) (f75m true) (f75c 502) (f76m false) (f76c 0) (f77m true) (f77c 583) (f78m true) (f78c (- 815)) (f79m true) (f79c (- 272)) (f80m true) (f80c (- 539)) (f81m true) (f81c 12) (f82m false) (f82c 458) (f83m false) (f83c (- 78)) (f84m true) (f84c 0) (f85m true) (f85c 469) (f86m true) (f86c (- 187)) (f87m true) (f87c 19) (f88m false) (f88c 458) (f89m false) (f89c 0) (f90m false) (f90c (- 88)) (f91m false) (f91c 448) (f92m false) (f92c (- 714)) (f93m true) (f93c (- 89)) (f94m false) (f94c 448) (f95m false) (f95c (- 89)) (f96m false) (f96c 448) (f97m false) (f97c (- 89)) (f98m false) (f98c (- 89)) (f99m false) (f99c 447) (f100m true) (f100c (- 416)) (f101m true) (f101c 142) (f102m false) (f102c 536) (f103m true) (f103c 141) (f104m false) (f104c 536) (f105m true) (f105c 141) (f106m false) (f106c (- 156)) (f107m false) (f107c 380) (f108m false) (f108c (- 703)) (f109m false) (f109c (- 167)) (f110m false) (f110c 458) (f111m false) (f111c (- 167)) (f112m false) (f112c 458) (f113m false) (f113c 0) (f114m false) (f114c (- 166)) (f115m false) (f115c 370) (f116m false) (f116c (- 792)) (f117m false) (f117c (- 256)) (f118m false) (f118c 448) (f119m false) (f119c (- 89)) (f120m false) (f120c 448) (f121m false) (f121c (- 89)) (f122m false) (f122c (- 167)) (f123m false) (f123c 369) (f124m true) (f124c (- 417)) (f125m true) (f125c 143) (f126m false) (f126c 536) (f127m true) (f127c (- 88)) (f128m false) (f128c 536) (f129m true) (f129c 137) (f130m true) (f130c (- 89)) (f131m true) (f131c 276) (f132m true) (f132c (- 361)) (f133m true) (f133c (- 30)) (f134m true) (f134c 337) (f135m true) (f135c 269) (f136m false) (f136c 458) (f137m true) (f137c 93) (f138m true) (f138c (- 169)) (f139m true) (f139c 595) (f140m true) (f140c (- 361)) (f141m true) (f141c (- 30)) (f142m false) (f142c 457) (f143m true) (f143c 94) (f144m false) (f144c 536) (f145m true) (f145c 153) (f146m false) (f146c (- 78)) (f147m false) (f147c 276) (f148m false) (f148c (- 625)) (f149m true) (f149c (- 260)) (f150m true) (f150c 377) (f151m true) (f151c 3) (f152m false) (f152c 458) (f153m false) (f153c 0) (f154m true) (f154c (- 167)) (f155m true) (f155c 198) (f156m true) (f156c (- 436)) (f157m true) (f157c (- 71)) (f158m true) (f158c 278) (f159m true) (f159c 93) (f160m false) (f160c 458) (f161m true) (f161c 93) (f162m true) (f162c (- 168)) (f163m true) (f163c 197) (f164m true) (f164c (- 436)) (f165m true) (f165c (- 71)) (f166m false) (f166c 457) (f167m true) (f167c 151) (f168m false) (f168c 536) (f169m true) (f169c 152) (f170m true) (f170c (- 167)) (f171m true) (f171c 364) (f172m true) (f172c (- 432)) (f173m true) (f173c 97) (f174m true) (f174c 279) (f175m true) (f175c 97) (f176m false) (f176c 458) (f177m true) (f177c 93) (f178m true) (f178c (- 249)) (f179m true) (f179c 108) (f180m true) (f180c (- 157)) (f181m true) (f181c 372) (f182m false) (f182c (- 78)) (f183m true) (f183c 466) (f184m false) (f184c 0) (f185m true) (f185c 467) (f186m false) (f186c (- 156)) (f187m false) (f187c 380) (f188m false) (f188c (- 703)) (f189m false) (f189c (- 167)) (f190m false) (f190c 458) (f191m false) (f191c (- 167)) (f192m false) (f192c 458) (f193m false) (f193c 0) (f194m true) (f194c (- 250)) (f195m true) (f195c 287) (f196m true) (f196c (- 156)) (f197m true) (f197c 371) (f198m true) (f198c (- 1)) (f199m true) (f199c 467) (f200m false) (f200c 0) (f201m true) (f201c 467) (f202m true) (f202c (- 167)) (f203m true) (f203c 976) (f204m true) (f204c (- 439)) (f205m true) (f205c 97) (f206m true) (f206c 458) (f207m true) (f207c 97) (f208m false) (f208c 458) (f209m true) (f209c (- 170)) (f210m true) (f210c 28) (f211m true) (f211c 975) (f212m true) (f212c (- 438)) (f213m true) (f213c 97) (f214m false) (f214c 457) (f215m true) (f215c (- 88)) (f216m false) (f216c 536) (f217m true) (f217c (- 88)) (f218m false) (f218c (- 156)) (f219m false) (f219c 380) (f220m false) (f220c (- 703)) (f221m false) (f221c (- 167)) (f222m false) (f222c 458) (f223m false) (f223c (- 167)) (f224m false) (f224c 458) (f225m false) (f225c 0) (f226m true) (f226c 29) (f227m true) (f227c 403) (f228m true) (f228c (- 597)) (f229m true) (f229c 349) (f230m true) (f230c 458) (f231m true) (f231c (- 90)) (f232m false) (f232c 458) (f233m false) (f233c (- 89)) (f234m true) (f234c 28) (f235m true) (f235c 974) (f236m true) (f236c (- 598)) (f237m true) (f237c 96) (f238m false) (f238c 536) (f239m true) (f239c (- 89)) (f240m false) (f240c 536) (f241m true) (f241c (- 89)) (f242m true) (f242c (- 215)) (f243m true) (f243c 380) (f244m true) (f244c (- 439)) (f245m true) (f245c 110) (f246m true) (f246c 279) (f247m true) (f247c 93) (f248m false) (f248c 458) (f249m true) (f249c 93) (f250m true) (f250c (- 169)) (f251m true) (f251c 47) (f252m true) (f252c (- 79)) (f253m true) (f253c 514) (f254m true) (f254c 30) (f255m true) (f255c 1053) (f256m false) (f256c 0) (f257m true) (f257c 1054) (f258m false) (f258c (- 78)) (f259m false) (f259c 458) (f260m false) (f260c (- 625)) (f261m false) (f261c (- 89)) (f262m false) (f262c 458) (f263m false) (f263c (- 89)) (f264m false) (f264c 458) (f265m false) (f265c (- 89)) (f266m true) (f266c (- 170)) (f267m true) (f267c 46) (f268m true) (f268c (- 78)) (f269m true) (f269c 459) (f270m true) (f270c 457) (f271m true) (f271c 459) (f272m false) (f272c 0) (f273m true) (f273c 467) (f274m true) (f274c 189) (f275m true) (f275c 230) (f276m true) (f276c (- 31)) (f277m true) (f277c 14) (f278m true) (f278c 458) (f279m true) (f279c (- 89)) (f280m false) (f280c 458) (f281m false) (f281c (- 89)) (f282m true) (f282c (- 20)) (f283m true) (f283c 277) (f284m true) (f284c 244) (f285m true) (f285c 289) (f286m false) (f286c (- 78)) (f287m true) (f287c 467) (f288m false) (f288c 0) (f289m true) (f289c 468) (f290m false) (f290c (- 78)) (f291m false) (f291c 276) (f292m false) (f292c (- 625)) (f293m true) (f293c (- 259)) (f294m true) (f294c 539) (f295m true) (f295c 0) (f296m false) (f296c 458) (f297m false) (f297c 0) (f298m true) (f298c (- 21)) (f299m true) (f299c 276) (f300m true) (f300c (- 78)) (f301m true) (f301c 288) (f302m true) (f302c (- 1)) (f303m true) (f303c 466) (f304m false) (f304c 0) (f305m true) (f305c 467) (f306m true) (f306c 584) (f307m true) (f307c 516) (f308m true) (f308c (- 33)) (f309m true) (f309c 571) (f310m true) (f310c 458) (f311m true) (f311c 428) (f312m false) (f312c 458) (f313m false) (f313c (- 89)) (f314m true) (f314c 585) (f315m true) (f315c 515) (f316m true) (f316c 219) (f317m true) (f317c 569) (f318m false) (f318c 536) (f319m true) (f319c 154) (f320m false) (f320c 536) (f321m true) (f321c 154) (f322m false) (f322c (- 78)) (f323m false) (f323c 276) (f324m false) (f324c (- 625)) (f325m true) (f325c (- 260)) (f326m true) (f326c 378) (f327m true) (f327c (- 169)) (f328m false) (f328c 458) (f329m false) (f329c 0) (f330m true) (f330c 523) (f331m true) (f331c 873) (f332m true) (f332c (- 107)) (f333m true) (f333c 247) (f334m true) (f334c 458) (f335m true) (f335c (- 89)) (f336m false) (f336c 458) (f337m false) (f337c (- 89)) (f338m true) (f338c 520) (f339m true) (f339c 872) (f340m true) (f340c 218) (f341m true) (f341c 568) (f342m false) (f342c 536) (f343m true) (f343c 152) (f344m false) (f344c 536) (f345m true) (f345c 153) (f346m true) (f346c 187) (f347m true) (f347c 550) (f348m true) (f348c (- 36)) (f349m true) (f349c 39) (f350m true) (f350c 571) (f351m true) (f351c 424) (f352m false) (f352c 458) (f353m false) (f353c (- 89)) (f354m true) (f354c (- 97)) (f355m true) (f355c 90) (f356m true) (f356c (- 1)) (f357m true) (f357c 998) (f358m true) (f358c 0) (f359m true) (f359c 594) (f360m false) (f360c 0) (f361m true) (f361c 595) (f362m false) (f362c 0) (f363m true) (f363c 89) (f364m false) (f364c (- 547)) (f365m false) (f365c (- 364)) (f366m true) (f366c 128) (f367m true) (f367c (- 89)) (f368m true) (f368c 129) (f369m true) (f369c 82) (f370m true) (f370c (- 96)) (f371m true) (f371c 89) (f372m true) (f372c 0) (f373m true) (f373c 91) (f374m true) (f374c 129) (f375m true) (f375c 131) (f376m false) (f376c 0) (f377m true) (f377c 596) (f378m true) (f378c (- 174)) (f379m true) (f379c 458) (f380m true) (f380c 223) (f381m true) (f381c 945) (f382m true) (f382c 0) (f383m true) (f383c 456) (f384m false) (f384c 0) (f385m true) (f385c 455) (f386m true) (f386c (- 231)) (f387m true) (f387c (- 434)) (f388m true) (f388c 223) (f389m true) (f389c 944) (f390m true) (f390c 0) (f391m true) (f391c 590) (f392m false) (f392c 0) (f393m true) (f393c 589) (f394m true) (f394c (- 734)) (f395m true) (f395c 458) (f396m true) (f396c (- 76)) (f397m true) (f397c 471) (f398m true) (f398c (- 56)) (f399m true) (f399c 595) (f400m false) (f400c 0) (f401m true) (f401c 595) (f402m true) (f402c (- 1096)) (f403m true) (f403c (- 730)) (f404m true) (f404c 245) (f405m true) (f405c 161) (f406m true) (f406c (- 467)) (f407m true) (f407c 578) (f408m false) (f408c 0) (f409m true) (f409c 594) (f410m true) (f410c (- 1097)) (f411m true) (f411c (- 77)) (f412m true) (f412c 246) (f413m true) (f413c 160) (f414m true) (f414c 0) (f415m true) (f415c 592) (f416m false) (f416c 0) (f417m true) (f417c 593) (f418m true) (f418c (- 734)) (f419m true) (f419c (- 547)) (f420m true) (f420c 41) (f421m true) (f421c 495) (f422m true) (f422c (- 467)) (f423m true) (f423c 576) (f424m false) (f424c 0) (f425m true) (f425c 595) (f426m true) (f426c (- 301)) (f427m true) (f427c (- 276)) (f428m true) (f428c (- 37)) (f429m true) (f429c 499) (f430m true) (f430c (- 548)) (f431m true) (f431c 499) (f432m false) (f432c 0) (f433m true) (f433c 500) (f434m true) (f434c (- 302)) (f435m true) (f435c (- 277)) (f436m true) (f436c (- 38)) (f437m true) (f437c (- 13)) (f438m false) (f438c 0) (f439m true) (f439c 542) (f440m false) (f440c 0) (f441m true) (f441c 501) (f442m true) (f442c (- 459)) (f443m true) (f443c (- 274)) (f444m true) (f444c (- 37)) (f445m true) (f445c 501) (f446m true) (f446c (- 276)) (f447m true) (f447c 499) (f448m false) (f448c 0) (f449m true) (f449c 595) (f450m true) (f450c (- 375)) (f451m true) (f451c 80) (f452m true) (f452c 126) (f453m true) (f453c 671) (f454m true) (f454c (- 3)) (f455m true) (f455c 585) (f456m false) (f456c 0) (f457m true) (f457c 586) (f458m true) (f458c (- 376)) (f459m true) (f459c 79) (f460m true) (f460c 125) (f461m true) (f461c 670) (f462m true) (f462c 0) (f463m true) (f463c 586) (f464m false) (f464c 0) (f465m true) (f465c 587) (f466m true) (f466c (- 459)) (f467m true) (f467c (- 272)) (f468m true) (f468c 126) (f469m true) (f469c 320) (f470m true) (f470c (- 3)) (f471m true) (f471c 583) (f472m false) (f472c 0) (f473m true) (f473c 583) (f474m true) (f474c (- 817)) (f475m true) (f475c 649) (f476m true) (f476c (- 872)) (f477m true) (f477c 23) (f478m true) (f478c 459) (f479m true) (f479c (- 82)) (f480m false) (f480c 458) (f481m false) (f481c (- 78)) (f482m true) (f482c (- 249)) (f483m true) (f483c 648) (f484m true) (f484c (- 872)) (f485m true) (f485c 343) (f486m false) (f486c 547) (f487m true) (f487c (- 92)) (f488m false) (f488c 547) (f489m true) (f489c (- 91)) (f490m false) (f490c (- 156)) (f491m false) (f491c 380) (f492m false) (f492c (- 703)) (f493m false) (f493c (- 167)) (f494m false) (f494c 458) (f495m false) (f495c (- 167)) (f496m false) (f496c 458) (f497m false) (f497c 0) (f498m true) (f498c (- 245)) (f499m true) (f499c 648) (f500m true) (f500c (- 873)) (f501m true) (f501c 21) (f502m true) (f502c 458) (f503m true) (f503c 371) (f504m false) (f504c 458) (f505m true) (f505c 93) (f506m true) (f506c (- 248)) (f507m true) (f507c 647) (f508m true) (f508c (- 873)) (f509m true) (f509c 21) (f510m false) (f510c 457) (f511m true) (f511c (- 93)) (f512m false) (f512c 536) (f513m true) (f513c (- 92)) (f514m true) (f514c 267) (f515m true) (f515c 470) (f516m true) (f516c 362) (f517m true) (f517c 567) (f518m true) (f518c 455) (f519m true) (f519c 547) (f520m false) (f520c 0) (f521m true) (f521c 548) (f522m true) (f522c (- 78)) (f523m true) (f523c 391) (f524m true) (f524c (- 625)) (f525m true) (f525c (- 157)) (f526m false) (f526c 458) (f527m false) (f527c (- 167)) (f528m false) (f528c 458) (f529m false) (f529c 0) (f530m true) (f530c (- 173)) (f531m true) (f531c 294) (f532m true) (f532c (- 77)) (f533m true) (f533c 391) (f534m true) (f534c (- 1)) (f535m true) (f535c 547) (f536m false) (f536c 0) (f537m true) (f537c 548) (f538m true) (f538c (- 734)) (f539m true) (f539c (- 265)) (f540m true) (f540c 41) (f541m true) (f541c 510) (f542m true) (f542c (- 277)) (f543m true) (f543c 497) (f544m false) (f544c 0) (f545m true) (f545c 595) (f546m true) (f546c (- 78)) (f547m true) (f547c 391) (f548m true) (f548c (- 625)) (f549m true) (f549c (- 156)) (f550m false) (f550c 458) (f551m false) (f551c (- 167)) (f552m false) (f552c 458) (f553m false) (f553c 0) (f554m true) (f554c (- 812)) (f555m true) (f555c (- 343)) (f556m true) (f556c (- 37)) (f557m true) (f557c 432) (f558m true) (f558c (- 276)) (f559m true) (f559c 499) (f560m false) (f560c 0) (f561m true) (f561c 595) (f562m true) (f562c (- 460)) (f563m true) (f563c 9) (f564m true) (f564c 316) (f565m true) (f565c 595) (f566m true) (f566c (- 1)) (f567m true) (f567c 584) (f568m false) (f568c 0) (f569m true) (f569c 584) (f570m true) (f570c (- 78)) (f571m true) (f571c 391) (f572m true) (f572c (- 625)) (f573m true) (f573c (- 59)) (f574m false) (f574c 458) (f575m false) (f575c (- 167)) (f576m false) (f576c 458) (f577m false) (f577c 0) (f578m true) (f578c (- 459)) (f579m true) (f579c (- 69)) (f580m true) (f580c 48) (f581m true) (f581c 517) (f582m true) (f582c (- 1)) (f583m true) (f583c 585) (f584m false) (f584c 0) (f585m true) (f585c 584) (f586m false) (f586c (- 88)) (f587m false) (f587c 448) (f588m false) (f588c (- 714)) (f589m true) (f589c (- 89)) (f590m false) (f590c 448) (f591m false) (f591c (- 89)) (f592m false) (f592c 448) (f593m false) (f593c (- 89)) (f594m false) (f594c (- 166)) (f595m false) (f595c 370) (f596m false) (f596c (- 713)) (f597m false) (f597c (- 177)) (f598m false) (f598c 370) (f599m false) (f599c (- 177)) (f600m false) (f600c 458) (f601m false) (f601c 0) (f602m false) (f602c (- 156)) (f603m false) (f603c 380) (f604m false) (f604c (- 703)) (f605m false) (f605c (- 167)) (f606m false) (f606c 458) (f607m false) (f607c (- 167)) (f608m false) (f608c 458) (f609m false) (f609c 0) (f610m false) (f610c (- 166)) (f611m false) (f611c 370) (f612m false) (f612c (- 792)) (f613m false) (f613c (- 256)) (f614m false) (f614c 448) (f615m false) (f615c (- 89)) (f616m false) (f616c 448) (f617m false) (f617c (- 89)) (f618m false) (f618c (- 88)) (f619m false) (f619c 448) (f620m false) (f620c (- 714)) (f621m true) (f621c (- 89)) (f622m false) (f622c 448) (f623m false) (f623c (- 89)) (f624m false) (f624c 448) (f625m false) (f625c (- 89)) (f626m true) (f626c (- 245)) (f627m true) (f627c 446) (f628m true) (f628c (- 697)) (f629m true) (f629c 261) (f630m true) (f630c 458) (f631m true) (f631c 263) (f632m false) (f632c 458) (f633m false) (f633c 0) (f634m false) (f634c (- 156)) (f635m false) (f635c 380) (f636m false) (f636c (- 703)) (f637m false) (f637c (- 167)) (f638m false) (f638c 458) (f639m false) (f639c (- 167)) (f640m false) (f640c 458) (f641m false) (f641c 0) (f642m false) (f642c (- 166)) (f643m false) (f643c 370) (f644m false) (f644c (- 792)) (f645m false) (f645c (- 256)) (f646m false) (f646c 448) (f647m false) (f647c (- 89)) (f648m false) (f648c 448) (f649m false) (f649c (- 89)) (f650m true) (f650c (- 323)) (f651m true) (f651c 667) (f652m true) (f652c (- 351)) (f653m true) (f653c 183) (f654m true) (f654c 458) (f655m true) (f655c 263) (f656m false) (f656c 458) (f657m false) (f657c 0) (f658m false) (f658c (- 88)) (f659m false) (f659c 448) (f660m false) (f660c (- 714)) (f661m true) (f661c (- 168)) (f662m false) (f662c 448) (f663m false) (f663c (- 89)) (f664m false) (f664c 448) (f665m false) (f665c (- 89)) (f666m false) (f666c (- 88)) (f667m false) (f667c 448) (f668m false) (f668c (- 635)) (f669m false) (f669c (- 99)) (f670m false) (f670c 448) (f671m false) (f671c (- 99)) (f672m false) (f672c 448) (f673m false) (f673c (- 99)) (f674m false) (f674c (- 78)) (f675m false) (f675c 458) (f676m false) (f676c (- 625)) (f677m false) (f677c (- 89)) (f678m false) (f678c 458) (f679m false) (f679c (- 89)) (f680m false) (f680c 458) (f681m false) (f681c (- 89)) (f682m false) (f682c (- 88)) (f683m false) (f683c 448) (f684m false) (f684c (- 714)) (f685m false) (f685c (- 178)) (f686m false) (f686c 448) (f687m false) (f687c (- 178)) (f688m false) (f688c 448) (f689m false) (f689c (- 178)) (f690m true) (f690c (- 181)) (f691m true) (f691c 540) (f692m true) (f692c (- 356)) (f693m true) (f693c 8) (f694m true) (f694c 537) (f695m true) (f695c 94) (f696m false) (f696c 458) (f697m true) (f697c 93) (f698m true) (f698c 103) (f699m true) (f699c 195) (f700m true) (f700c (- 435)) (f701m true) (f701c (- 85)) (f702m false) (f702c 380) (f703m false) (f703c (- 167)) (f704m false) (f704c 458) (f705m false) (f705c 0) (f706m false) (f706c (- 78)) (f707m false) (f707c 276) (f708m false) (f708c (- 625)) (f709m true) (f709c (- 260)) (f710m true) (f710c 377) (f711m true) (f711c 0) (f712m false) (f712c 458) (f713m false) (f713c 0) (f714m true) (f714c (- 167)) (f715m true) (f715c 196) (f716m true) (f716c (- 435)) (f717m true) (f717c (- 85)) (f718m true) (f718c 281) (f719m true) (f719c 0) (f720m false) (f720c 458) (f721m true) (f721c 0) (f722m true) (f722c (- 89)) (f723m true) (f723c (- 136)) (f724m true) (f724c (- 361)) (f725m true) (f725c (- 278)) (f726m true) (f726c 276) (f727m true) (f727c 94) (f728m false) (f728c 458) (f729m true) (f729c 93) (f730m true) (f730c (- 170)) (f731m true) (f731c (- 138)) (f732m true) (f732c (- 334)) (f733m true) (f733c (- 258)) (f734m true) (f734c 458) (f735m true) (f735c 273) (f736m false) (f736c 458) (f737m false) (f737c 0) (f738m false) (f738c (- 78)) (f739m false) (f739c 276) (f740m false) (f740c (- 625)) (f741m true) (f741c (- 260)) (f742m true) (f742c 539) (f743m true) (f743c (- 168)) (f744m false) (f744c 458) (f745m false) (f745c 0) (f746m true) (f746c (- 167)) (f747m true) (f747c 123) (f748m true) (f748c (- 351)) (f749m true) (f749c (- 85)) (f750m true) (f750c 279) (f751m true) (f751c 188) (f752m false) (f752c 458) (f753m true) (f753c (- 12)) (f754m true) (f754c (- 169)) (f755m true) (f755c 125) (f756m true) (f756c (- 333)) (f757m true) (f757c (- 66)) (f758m true) (f758c 458) (f759m true) (f759c 271) (f760m false) (f760c 458) (f761m false) (f761c 0) (f762m true) (f762c (- 89)) (f763m true) (f763c 276) (f764m true) (f764c (- 141)) (f765m true) (f765c 4) (f766m true) (f766c 459) (f767m true) (f767c 94) (f768m false) (f768c 458) (f769m true) (f769c 93) (f770m true) (f770c (- 89)) (f771m true) (f771c 276) (f772m true) (f772c (- 323)) (f773m true) (f773c (- 271)) (f774m false) (f774c 458) (f775m false) (f775c (- 89)) (f776m false) (f776c 458) (f777m false) (f777c (- 89)) (f778m false) (f778c 0) (f779m true) (f779c 275) (f780m false) (f780c (- 547)) (f781m false) (f781c (- 364)) (f782m true) (f782c 126) (f783m true) (f783c (- 99)) (f784m true) (f784c 456) (f785m true) (f785c (- 98)) (f786m true) (f786c (- 89)) (f787m true) (f787c 94) (f788m true) (f788c (- 361)) (f789m true) (f789c (- 84)) (f790m true) (f790c 458) (f791m true) (f791c 92) (f792m false) (f792c 458) (f793m true) (f793c 93) (f794m true) (f794c 102) (f795m true) (f795c 631) (f796m true) (f796c (- 435)) (f797m true) (f797c 97) (f798m true) (f798c 279) (f799m true) (f799c 97) (f800m false) (f800c 458) (f801m true) (f801c 93) (f802m true) (f802c 24) (f803m true) (f803c 555) (f804m true) (f804c (- 522)) (f805m true) (f805c 4) (f806m false) (f806c 380) (f807m false) (f807c (- 167)) (f808m false) (f808c 458) (f809m false) (f809c 0) (f810m false) (f810c (- 156)) (f811m false) (f811c 380) (f812m false) (f812c (- 703)) (f813m false) (f813c (- 167)) (f814m false) (f814c 458) (f815m false) (f815c (- 167)) (f816m false) (f816c 458) (f817m false) (f817c 0) (f818m true) (f818c 25) (f819m true) (f819c 562) (f820m true) (f820c (- 521)) (f821m true) (f821c 351) (f822m true) (f822c 458) (f823m true) (f823c 426) (f824m false) (f824c 458) (f825m false) (f825c (- 89)) (f826m true) (f826c (- 167)) (f827m true) (f827c 378) (f828m true) (f828c (- 435)) (f829m true) (f829c 110) (f830m true) (f830c 279) (f831m true) (f831c 188) (f832m false) (f832c 458) (f833m true) (f833c (- 12)) (f834m true) (f834c (- 169)) (f835m true) (f835c 376) (f836m true) (f836c (- 416)) (f837m true) (f837c 129) (f838m true) (f838c 458) (f839m true) (f839c 271) (f840m false) (f840c 458) (f841m false) (f841c 0) (f842m false) (f842c (- 156)) (f843m false) (f843c 380) (f844m false) (f844c (- 703)) (f845m false) (f845c (- 167)) (f846m false) (f846c 458) (f847m false) (f847c (- 167)) (f848m false) (f848c 458) (f849m false) (f849c 0) (f850m true) (f850c 33) (f851m true) (f851c 565) (f852m true) (f852c (- 194)) (f853m true) (f853c 349) (f854m true) (f854c 458) (f855m true) (f855c (- 89)) (f856m false) (f856c 458) (f857m false) (f857c (- 89)) (f858m true) (f858c 277) (f859m true) (f859c 818) (f860m true) (f860c (- 152)) (f861m true) (f861c 380) (f862m true) (f862c 458) (f863m true) (f863c 271) (f864m false) (f864c 458) (f865m false) (f865c 0) (f866m true) (f866c (- 167)) (f867m true) (f867c 378) (f868m true) (f868c (- 439)) (f869m true) (f869c 97) (f870m true) (f870c 459) (f871m true) (f871c 190) (f872m false) (f872c 458) (f873m true) (f873c 93) (f874m true) (f874c (- 167)) (f875m true) (f875c 380) (f876m true) (f876c (- 621)) (f877m true) (f877c (- 85)) (f878m false) (f878c 458) (f879m false) (f879c (- 89)) (f880m false) (f880c 458) (f881m false) (f881c (- 89)) (f882m false) (f882c (- 78)) (f883m false) (f883c 458) (f884m false) (f884c (- 625)) (f885m false) (f885c (- 89)) (f886m false) (f886c 458) (f887m false) (f887c (- 89)) (f888m false) (f888c 458) (f889m false) (f889c (- 89)) (f890m true) (f890c (- 166)) (f891m true) (f891c 381) (f892m true) (f892c (- 114)) (f893m true) (f893c 423) (f894m true) (f894c 459) (f895m true) (f895c 418) (f896m false) (f896c 458) (f897m false) (f897c (- 89)) (f898m true) (f898c 186) (f899m true) (f899c 215) (f900m true) (f900c (- 37)) (f901m true) (f901c 12) (f902m true) (f902c 458) (f903m true) (f903c 590) (f904m false) (f904c 458) (f905m false) (f905c (- 89)) (f906m true) (f906c 109) (f907m true) (f907c 468) (f908m true) (f908c (- 439)) (f909m true) (f909c (- 412)) (f910m false) (f910c 380) (f911m false) (f911c (- 167)) (f912m false) (f912c 458) (f913m false) (f913c 0) (f914m false) (f914c (- 78)) (f915m false) (f915c 276) (f916m false) (f916c (- 625)) (f917m true) (f917c (- 260)) (f918m true) (f918c 458) (f919m true) (f919c (- 168)) (f920m false) (f920c 458) (f921m false) (f921c 0) (f922m true) (f922c 109) (f923m true) (f923c 475) (f924m true) (f924c (- 114)) (f925m true) (f925c 250) (f926m true) (f926c 734) (f927m true) (f927c (- 89)) (f928m false) (f928c 458) (f929m false) (f929c (- 89)) (f930m true) (f930c 187) (f931m true) (f931c 550) (f932m true) (f932c (- 31)) (f933m true) (f933c 77) (f934m true) (f934c 640) (f935m true) (f935c (- 89)) (f936m false) (f936c 458) (f937m false) (f937c (- 89)) (f938m true) (f938c 438) (f939m true) (f939c 548) (f940m true) (f940c 1) (f941m true) (f941c 361) (f942m true) (f942c 458) (f943m true) (f943c 271) (f944m false) (f944c 458) (f945m false) (f945c 0) (f946m false) (f946c (- 78)) (f947m false) (f947c 276) (f948m false) (f948c (- 625)) (f949m true) (f949c (- 260)) (f950m true) (f950c 539) (f951m true) (f951c (- 168)) (f952m false) (f952c 458) (f953m false) (f953c 0) (f954m true) (f954c 103) (f955m true) (f955c 476) (f956m true) (f956c (- 107)) (f957m true) (f957c 251) (f958m true) (f958c 736) (f959m true) (f959c 511) (f960m false) (f960c 458) (f961m false) (f961c (- 89)) (f962m true) (f962c 362) (f963m true) (f963c 722) (f964m true) (f964c (- 86)) (f965m true) (f965c 362) (f966m true) (f966c 458) (f967m true) (f967c (- 1)) (f968m false) (f968c 458) (f969m false) (f969c 0) (f970m true) (f970c 328) (f971m true) (f971c 554) (f972m true) (f972c (- 33)) (f973m true) (f973c 189) (f974m true) (f974c 815) (f975m true) (f975c 592) (f976m false) (f976c 458) (f977m false) (f977c (- 89)) (f978m true) (f978c 326) (f979m true) (f979c 232) (f980m true) (f980c (- 217)) (f981m true) (f981c 9) (f982m false) (f982c 458) (f983m false) (f983c (- 89)) (f984m false) (f984c 458) (f985m false) (f985c (- 89)) (f986m false) (f986c 0) (f987m true) (f987c 43) (f988m false) (f988c (- 547)) (f989m false) (f989c (- 364)) (f990m true) (f990c 124) (f991m true) (f991c (- 279)) (f992m true) (f992c 123) (f993m true) (f993c (- 279)) (f994m true) (f994c 187) (f995m true) (f995c 372) (f996m true) (f996c (- 36)) (f997m true) (f997c 10) (f998m true) (f998c 457) (f999m true) (f999c 92) (f1000m false) (f1000c 458) (f1001m false) (f1001c (- 89)) (f1002m true) (f1002c 111) (f1003m true) (f1003c 620) (f1004m true) (f1004c (- 432)) (f1005m true) (f1005c 431) (f1006m true) (f1006c 736) (f1007m true) (f1007c (- 90)) (f1008m false) (f1008c 458) (f1009m false) (f1009c (- 89)) (f1010m true) (f1010c 112) (f1011m true) (f1011c 621) (f1012m true) (f1012c (- 431)) (f1013m true) (f1013c 432) (f1014m false) (f1014c 458) (f1015m false) (f1015c (- 89)) (f1016m false) (f1016c 458) (f1017m false) (f1017c (- 89)) (f1018m true) (f1018c 115) (f1019m true) (f1019c 161) (f1020m true) (f1020c (- 564)) (f1021m true) (f1021c (- 200)) (f1022m true) (f1022c 459) (f1023m true) (f1023c 64) (f1024m false) (f1024c 458) (f1025m false) (f1025c 63) (f1026m true) (f1026c 116) (f1027m true) (f1027c 28) (f1028m true) (f1028c (- 431)) (f1029m true) (f1029c (- 199)) (f1030m false) (f1030c 458) (f1031m false) (f1031c (- 89)) (f1032m false) (f1032c 458) (f1033m false) (f1033c (- 89)) (f1034m true) (f1034c 142) (f1035m true) (f1035c (- 50)) (f1036m true) (f1036c (- 554)) (f1037m true) (f1037c (- 92)) (f1038m true) (f1038c 24) (f1039m true) (f1039c (- 13)) (f1040m false) (f1040c 458) (f1041m false) (f1041c 63) (f1042m true) (f1042c 143) (f1043m true) (f1043c 168) (f1044m true) (f1044c (- 553)) (f1045m true) (f1045c (- 91)) (f1046m false) (f1046c 458) (f1047m false) (f1047c (- 89)) (f1048m false) (f1048c 458) (f1049m false) (f1049c 0) (f1050m true) (f1050c (- 271)) (f1051m true) (f1051c (- 242)) (f1052m true) (f1052c (- 468)) (f1053m true) (f1053c (- 468)) (f1054m true) (f1054c 535) (f1055m true) (f1055c (- 415)) (f1056m false) (f1056c 536) (f1057m false) (f1057c (- 11)) (f1058m true) (f1058c (- 270)) (f1059m true) (f1059c (- 241)) (f1060m true) (f1060c (- 467)) (f1061m true) (f1061c (- 9)) (f1062m false) (f1062c 536) (f1063m false) (f1063c (- 11)) (f1064m false) (f1064c 536) (f1065m false) (f1065c (- 11)) (f1066m true) (f1066c (- 824)) (f1067m true) (f1067c 541) (f1068m true) (f1068c (- 389)) (f1069m true) (f1069c 147) (f1070m true) (f1070c 537) (f1071m true) (f1071c (- 11)) (f1072m false) (f1072c 536) (f1073m false) (f1073c (- 11)) (f1074m true) (f1074c (- 900)) (f1075m true) (f1075c 607) (f1076m true) (f1076c (- 620)) (f1077m true) (f1077c (- 262)) (f1078m false) (f1078c 458) (f1079m false) (f1079c (- 89)) (f1080m false) (f1080c 458) (f1081m false) (f1081c 0) (f1082m false) (f1082c (- 78)) (f1083m false) (f1083c 276) (f1084m false) (f1084c (- 625)) (f1085m true) (f1085c (- 260)) (f1086m true) (f1086c 459) (f1087m true) (f1087c 1) (f1088m false) (f1088c 458) (f1089m false) (f1089c 0) (f1090m true) (f1090c (- 899)) (f1091m true) (f1091c 608) (f1092m true) (f1092c (- 619)) (f1093m true) (f1093c (- 261)) (f1094m true) (f1094c 459) (f1095m true) (f1095c (- 77)) (f1096m false) (f1096c 458) (f1097m false) (f1097c (- 78)) (f1098m true) (f1098c (- 89)) (f1099m true) (f1099c 541) (f1100m true) (f1100c (- 914)) (f1101m true) (f1101c 335) (f1102m true) (f1102c 537) (f1103m true) (f1103c (- 11)) (f1104m false) (f1104c 536) (f1105m false) (f1105c (- 11)) (f1106m true) (f1106c (- 89)) (f1107m true) (f1107c 539) (f1108m true) (f1108c (- 893)) (f1109m true) (f1109c 354) (f1110m true) (f1110c 458) (f1111m true) (f1111c (- 1)) (f1112m false) (f1112c 458) (f1113m false) (f1113c 0) (f1114m false) (f1114c (- 78)) (f1115m false) (f1115c 276) (f1116m false) (f1116c (- 625)) (f1117m true) (f1117c (- 260)) (f1118m true) (f1118c 457) (f1119m true) (f1119c 1) (f1120m false) (f1120c 458) (f1121m false) (f1121c 0) (f1122m true) (f1122c (- 893)) (f1123m true) (f1123c (- 541)) (f1124m true) (f1124c (- 613)) (f1125m true) (f1125c (- 248)) (f1126m true) (f1126c (- 274)) (f1127m true) (f1127c (- 83)) (f1128m false) (f1128c 458) (f1129m false) (f1129c (- 78)) (f1130m true) (f1130c (- 142)) (f1131m true) (f1131c 540) (f1132m true) (f1132c (- 1078)) (f1133m true) (f1133c (- 726)) (f1134m true) (f1134c 458) (f1135m true) (f1135c (- 1)) (f1136m false) (f1136c 458) (f1137m false) (f1137c 0) (f1138m true) (f1138c 5) (f1139m true) (f1139c 541) (f1140m true) (f1140c (- 915)) (f1141m true) (f1141c 180) (f1142m true) (f1142c 536) (f1143m true) (f1143c (- 10)) (f1144m false) (f1144c 536) (f1145m false) (f1145c (- 11)) (f1146m true) (f1146c (- 872)) (f1147m true) (f1147c (- 635)) (f1148m true) (f1148c (- 540)) (f1149m true) (f1149c (- 4)) (f1150m false) (f1150c 536) (f1151m false) (f1151c (- 11)) (f1152m false) (f1152c 536) (f1153m false) (f1153c (- 11)) (f1154m false) (f1154c 0) (f1155m true) (f1155c 43) (f1156m false) (f1156c (- 547)) (f1157m false) (f1157c (- 364)) (f1158m true) (f1158c 1271) (f1159m true) (f1159c (- 92)) (f1160m true) (f1160c 1270) (f1161m true) (f1161c (- 91)) (f1162m true) (f1162c (- 817)) (f1163m true) (f1163c (- 634)) (f1164m true) (f1164c (- 539)) (f1165m true) (f1165c (- 3)) (f1166m true) (f1166c 457) (f1167m true) (f1167c (- 77)) (f1168m false) (f1168c 458) (f1169m false) (f1169c (- 78)) (f1170m true) (f1170c (- 819)) (f1171m true) (f1171c (- 454)) (f1172m true) (f1172c (- 537)) (f1173m true) (f1173c (- 261)) (f1174m true) (f1174c 458) (f1175m true) (f1175c (- 80)) (f1176m false) (f1176c 458) (f1177m false) (f1177c (- 78)) (f1178m true) (f1178c (- 245)) (f1179m true) (f1179c 199) (f1180m true) (f1180c (- 517)) (f1181m true) (f1181c 22) (f1182m false) (f1182c 380) (f1183m false) (f1183c (- 167)) (f1184m false) (f1184c 458) (f1185m false) (f1185c 0) (f1186m false) (f1186c (- 156)) (f1187m false) (f1187c 380) (f1188m false) (f1188c (- 703)) (f1189m false) (f1189c (- 167)) (f1190m false) (f1190c 458) (f1191m false) (f1191c (- 167)) (f1192m false) (f1192c 458) (f1193m false) (f1193c 0) (f1194m true) (f1194c (- 245)) (f1195m true) (f1195c 199) (f1196m true) (f1196c (- 517)) (f1197m true) (f1197c 22) (f1198m true) (f1198c 458) (f1199m true) (f1199c 189) (f1200m false) (f1200c 458) (f1201m true) (f1201c 0) (f1202m true) (f1202c (- 335)) (f1203m true) (f1203c 291) (f1204m true) (f1204c (- 541)) (f1205m true) (f1205c (- 168)) (f1206m true) (f1206c (- 359)) (f1207m true) (f1207c (- 79)) (f1208m false) (f1208c 458) (f1209m false) (f1209c (- 78)) (f1210m true) (f1210c (- 335)) (f1211m true) (f1211c 299) (f1212m true) (f1212c (- 522)) (f1213m true) (f1213c 104) (f1214m true) (f1214c 458) (f1215m true) (f1215c 1) (f1216m false) (f1216c 458) (f1217m false) (f1217c 0) (f1218m false) (f1218c (- 156)) (f1219m false) (f1219c 380) (f1220m false) (f1220c (- 703)) (f1221m false) (f1221c (- 167)) (f1222m false) (f1222c 458) (f1223m false) (f1223c (- 167)) (f1224m false) (f1224c 458) (f1225m false) (f1225c 0) (f1226m true) (f1226c (- 245)) (f1227m true) (f1227c 291) (f1228m true) (f1228c (- 514)) (f1229m true) (f1229c 19) (f1230m true) (f1230c 458) (f1231m true) (f1231c (- 21)) (f1232m false) (f1232c 458) (f1233m true) (f1233c (- 21)) (f1234m true) (f1234c (- 45)) (f1235m true) (f1235c 489) (f1236m true) (f1236c (- 522)) (f1237m true) (f1237c 104) (f1238m true) (f1238c 458) (f1239m true) (f1239c 0) (f1240m false) (f1240c 458) (f1241m false) (f1241c 0) (f1242m true) (f1242c 110) (f1243m true) (f1243c (- 453)) (f1244m true) (f1244c (- 252)) (f1245m true) (f1245c (- 496)) (f1246m true) (f1246c (- 189)) (f1247m true) (f1247c (- 79)) (f1248m false) (f1248c 458) (f1249m false) (f1249c (- 78)) (f1250m true) (f1250c 110) (f1251m true) (f1251c (- 453)) (f1252m true) (f1252c (- 436)) (f1253m true) (f1253c 97) (f1254m false) (f1254c 458) (f1255m false) (f1255c (- 89)) (f1256m false) (f1256c 458) (f1257m false) (f1257c (- 89)) (f1258m false) (f1258c (- 78)) (f1259m false) (f1259c 458) (f1260m false) (f1260c (- 625)) (f1261m false) (f1261c (- 89)) (f1262m false) (f1262c 458) (f1263m false) (f1263c (- 89)) (f1264m false) (f1264c 458) (f1265m false) (f1265c (- 89)) (f1266m true) (f1266c (- 167)) (f1267m true) (f1267c (- 453)) (f1268m true) (f1268c (- 436)) (f1269m true) (f1269c 97) (f1270m true) (f1270c 369) (f1271m true) (f1271c 100) (f1272m false) (f1272c 458) (f1273m true) (f1273c (- 89)) (f1274m true) (f1274c 261) (f1275m true) (f1275c 468) (f1276m true) (f1276c (- 545)) (f1277m true) (f1277c (- 71)) (f1278m false) (f1278c 448) (f1279m false) (f1279c (- 89)) (f1280m false) (f1280c 448) (f1281m false) (f1281c (- 89)) (f1282m true) (f1282c 271) (f1283m true) (f1283c 395) (f1284m true) (f1284c (- 625)) (f1285m true) (f1285c (- 59)) (f1286m false) (f1286c 458) (f1287m false) (f1287c (- 167)) (f1288m false) (f1288c 458) (f1289m false) (f1289c 0) (f1290m true) (f1290c 261) (f1291m true) (f1291c 469) (f1292m true) (f1292c (- 275)) (f1293m true) (f1293c (- 150)) (f1294m false) (f1294c 448) (f1295m false) (f1295c (- 89)) (f1296m false) (f1296c 448) (f1297m false) (f1297c (- 89)) (f1298m true) (f1298c (- 181)) (f1299m true) (f1299c 288) (f1300m true) (f1300c (- 361)) (f1301m true) (f1301c 108) (f1302m true) (f1302c 458) (f1303m true) (f1303c 190) (f1304m false) (f1304c 458) (f1305m true) (f1305c 190) (f1306m true) (f1306c (- 78)) (f1307m true) (f1307c 479) (f1308m true) (f1308c (- 625)) (f1309m true) (f1309c (- 156)) (f1310m false) (f1310c 458) (f1311m false) (f1311c (- 167)) (f1312m false) (f1312c 458) (f1313m false) (f1313c 0) (f1314m true) (f1314c (- 169)) (f1315m true) (f1315c 302) (f1316m true) (f1316c (- 436)) (f1317m true) (f1317c 108) (f1318m true) (f1318c 458) (f1319m true) (f1319c 97) (f1320m false) (f1320c 458) (f1321m true) (f1321c 97) (f1322m true) (f1322c 103) (f1323m true) (f1323c 652) (f1324m true) (f1324c 323) (f1325m true) (f1325c 438) (f1326m true) (f1326c 459) (f1327m true) (f1327c (- 89)) (f1328m false) (f1328c 458) (f1329m false) (f1329c (- 89)) (f1330m true) (f1330c (- 78)) (f1331m true) (f1331c 391) (f1332m true) (f1332c (- 264)) (f1333m true) (f1333c (- 68)) (f1334m false) (f1334c 458) (f1335m false) (f1335c (- 167)) (f1336m false) (f1336c 458) (f1337m false) (f1337c 0) (f1338m true) (f1338c 104) (f1339m true) (f1339c 574) (f1340m true) (f1340c 245) (f1341m true) (f1341c 439) (f1342m true) (f1342c 639) (f1343m true) (f1343c (- 89)) (f1344m false) (f1344c 458) (f1345m false) (f1345c (- 89)) (f1346m true) (f1346c (- 161)) (f1347m true) (f1347c 591) (f1348m true) (f1348c (- 200)) (f1349m true) (f1349c 6) (f1350m true) (f1350c 24) (f1351m true) (f1351c 62) (f1352m false) (f1352c 458) (f1353m false) (f1353c 63) (f1354m true) (f1354c (- 78)) (f1355m true) (f1355c 477) (f1356m true) (f1356c (- 625)) (f1357m true) (f1357c 565) (f1358m false) (f1358c 458) (f1359m false) (f1359c (- 167)) (f1360m false) (f1360c 458) (f1361m false) (f1361c 0) (f1362m true) (f1362c (- 600)) (f1363m true) (f1363c 591) (f1364m true) (f1364c (- 327)) (f1365m true) (f1365c 6) (f1366m true) (f1366c 459) (f1367m true) (f1367c 64) (f1368m false) (f1368c 458) (f1369m false) (f1369c 63) (f1370m true) (f1370c 350) (f1371m true) (f1371c 553) (f1372m true) (f1372c (- 473)) (f1373m true) (f1373c (- 270)) (f1374m true) (f1374c 535) (f1375m true) (f1375c (- 12)) (f1376m false) (f1376c 536) (f1377m false) (f1377c (- 11)) (f1378m true) (f1378c (- 78)) (f1379m true) (f1379c 391) (f1380m true) (f1380c (- 182)) (f1381m true) (f1381c 370) (f1382m false) (f1382c 458) (f1383m false) (f1383c (- 167)) (f1384m false) (f1384c 458) (f1385m false) (f1385c 0) (f1386m true) (f1386c 351) (f1387m true) (f1387c 554) (f1388m true) (f1388c (- 472)) (f1389m true) (f1389c 80) (f1390m true) (f1390c 541) (f1391m true) (f1391c 147) (f1392m false) (f1392c 536) (f1393m false) (f1393c (- 11)) (f1394m true) (f1394c (- 892)) (f1395m true) (f1395c (- 334)) (f1396m true) (f1396c (- 616)) (f1397m true) (f1397c (- 72)) (f1398m true) (f1398c (- 270)) (f1399m true) (f1399c (- 77)) (f1400m false) (f1400c 458) (f1401m false) (f1401c (- 78)) (f1402m true) (f1402c (- 78)) (f1403m true) (f1403c 479) (f1404m true) (f1404c (- 625)) (f1405m true) (f1405c (- 60)) (f1406m false) (f1406c 458) (f1407m false) (f1407c (- 167)) (f1408m false) (f1408c 458) (f1409m false) (f1409c 0) (f1410m true) (f1410c (- 891)) (f1411m true) (f1411c (- 334)) (f1412m true) (f1412c (- 615)) (f1413m true) (f1413c (- 48)) (f1414m true) (f1414c (- 359)) (f1415m true) (f1415c (- 79)) (f1416m false) (f1416c 458) (f1417m false) (f1417c (- 78)))