sat ((f0m false) (f0c 0) (f1m true) (f1c (- 411)) (f2m true) (f2c (- 146)) (f3m true) (f3c (- 272)) (f4m true) (f4c 1282) (f5m true) (f5c 902) (f6m false) (f6c 90) (f7m true) (f7c 95) (f8m true) (f8c 73) (f9m false) (f9c 0) (f10m true) (f10c 1089) (f11m true) (f11c 1178) (f12m false) (f12c 0) (f13m true) (f13c (- 73)) (f14m true) (f14c 0) (f15m true) (f15c 0) (f16m true) (f16c 768) (f17m true) (f17c 841) (f18m false) (f18c 90) (f19m false) (f19c (- 860)) (f20m true) (f20c (- 193)) (f21m true) (f21c (- 85)) (f22m true) (f22c 1096) (f23m true) (f23c 905) (f24m false) (f24c 0) (f25m true) (f25c (- 83)) (f26m true) (f26c (- 172)) (f27m true) (f27c (- 76)) (f28m true) (f28c 1105) (f29m true) (f29c 410) (f30m false) (f30c 0) (f31m true) (f31c (- 476)) (f32m true) (f32c 212) (f33m true) (f33c 0) (f34m true) (f34c 781) (f35m true) (f35c 1178) (f36m false) (f36c 90) (f37m true) (f37c (- 837)) (f38m true) (f38c 212) (f39m false) (f39c 0) (f40m true) (f40c 0) (f41m true) (f41c 1178) (f42m false) (f42c 90) (f43m true) (f43c 47) (f44m true) (f44c 150) (f45m true) (f45c (- 58)) (f46m true) (f46c 1101) (f47m true) (f47c 1178) (f48m false) (f48c 90) (f49m true) (f49c 17) (f50m true) (f50c 74) (f51m true) (f51c 0) (f52m true) (f52c 1096) (f53m true) (f53c 901) (f54m false) (f54c 90) (f55m true) (f55c (- 120)) (f56m true) (f56c 73) (f57m false) (f57c 0) (f58m true) (f58c 1101) (f59m true) (f59c 1178) (f60m false) (f60c 90) (f61m true) (f61c 43) (f62m true) (f62c (- 1)) (f63m true) (f63c (- 1141)) (f64m true) (f64c 871) (f65m true) (f65c 901) (f66m false) (f66c 90) (f67m false) (f67c (- 1049)) (f68m true) (f68c (- 51)) (f69m true) (f69c (- 119)) (f70m true) (f70c 764) (f71m true) (f71c 1098) (f72m false) (f72c 90) (f73m true) (f73c (- 488)) (f74m true) (f74c 500) (f75m true) (f75c (- 7)) (f76m true) (f76c 353) (f77m true) (f77c 1183) (f78m false) (f78c 90) (f79m true) (f79c (- 389)) (f80m true) (f80c 396) (f81m true) (f81c 280) (f82m true) (f82c 1105) (f83m true) (f83c 2189) (f84m false) (f84c 90) (f85m true) (f85c (- 252)) (f86m true) (f86c 436) (f87m false) (f87c (- 44)) (f88m true) (f88c 1278) (f89m true) (f89c 1178) (f90m false) (f90c 90) (f91m true) (f91c (- 311)) (f92m true) (f92c 398) (f93m true) (f93c 188) (f94m true) (f94c 1107) (f95m true) (f95c 2188) (f96m true) (f96c 0) (f97m false) (f97c (- 832)) (f98m true) (f98c (- 3)) (f99m true) (f99c (- 1176)) (f100m false) (f100c 288) (f101m true) (f101c 0) (f102m false) (f102c 90) (f103m true) (f103c (- 99)) (f104m true) (f104c 86) (f105m false) (f105c 9) (f106m true) (f106c 1083) (f107m true) (f107c 1181) (f108m true) (f108c 768) (f109m true) (f109c 699) (f110m true) (f110c 815) (f111m true) (f111c 699) (f112m false) (f112c 768) (f113m false) (f113c 1907) (f114m false) (f114c 90) (f115m true) (f115c 17) (f116m true) (f116c 159) (f117m false) (f117c (- 5)) (f118m true) (f118c 783) (f119m true) (f119c 1178) (f120m false) (f120c 90) (f121m false) (f121c (- 306)) (f122m true) (f122c 432) (f123m false) (f123c (- 52)) (f124m true) (f124c 864) (f125m true) (f125c 934) (f126m false) (f126c 90) (f127m false) (f127c 34) (f128m true) (f128c 421) (f129m false) (f129c 7) (f130m true) (f130c 871) (f131m true) (f131c 1182) (f132m false) (f132c 90) (f133m true) (f133c 19) (f134m true) (f134c 75) (f135m true) (f135c (- 2)) (f136m true) (f136c 1091) (f137m true) (f137c 1107) (f138m true) (f138c 1091) (f139m true) (f139c 1178) (f140m false) (f140c 90) (f141m true) (f141c (- 413)) (f142m true) (f142c (- 195)) (f143m true) (f143c (- 41)) (f144m true) (f144c 1093) (f145m true) (f145c 765) (f146m true) (f146c 1094) (f147m true) (f147c 903) (f148m false) (f148c 0) (f149m true) (f149c (- 71)) (f150m true) (f150c (- 2)) (f151m true) (f151c (- 92)) (f152m true) (f152c 1006) (f153m true) (f153c 1959) (f154m true) (f154c 1006) (f155m true) (f155c 1958) (f156m false) (f156c 90) (f157m true) (f157c (- 413)) (f158m true) (f158c (- 192)) (f159m true) (f159c (- 177)) (f160m true) (f160c 1096) (f161m true) (f161c 872) (f162m true) (f162c 1095) (f163m true) (f163c 904) (f164m false) (f164c 90) (f165m true) (f165c 17) (f166m true) (f166c (- 2)) (f167m true) (f167c 0) (f168m true) (f168c 1090) (f169m true) (f169c 841) (f170m true) (f170c 1090) (f171m true) (f171c 1177) (f172m false) (f172c 90) (f173m true) (f173c (- 83)) (f174m true) (f174c (- 80)) (f175m true) (f175c (- 83)) (f176m true) (f176c 1092) (f177m true) (f177c 409) (f178m true) (f178c 1106) (f179m true) (f179c 409) (f180m false) (f180c 0) (f181m true) (f181c (- 474)) (f182m true) (f182c 2) (f183m true) (f183c 2) (f184m true) (f184c 766) (f185m true) (f185c 1177) (f186m true) (f186c 782) (f187m true) (f187c 1178) (f188m false) (f188c 90) (f189m true) (f189c (- 382)) (f190m true) (f190c (- 81)) (f191m true) (f191c (- 83)) (f192m true) (f192c 318) (f193m true) (f193c (- 758)) (f194m true) (f194c 1096) (f195m true) (f195c (- 759)) (f196m false) (f196c 90) (f197m true) (f197c (- 388)) (f198m true) (f198c 210) (f199m true) (f199c 2) (f200m true) (f200c 390) (f201m true) (f201c 1176) (f202m true) (f202c 401) (f203m true) (f203c 1175) (f204m false) (f204c 90) (f205m true) (f205c (- 390)) (f206m true) (f206c (- 61)) (f207m true) (f207c (- 270)) (f208m true) (f208c 762) (f209m true) (f209c 970) (f210m true) (f210c 761) (f211m true) (f211c 906) (f212m false) (f212c 0) (f213m true) (f213c (- 75)) (f214m true) (f214c 23) (f215m true) (f215c (- 184)) (f216m true) (f216c 781) (f217m true) (f217c 1180) (f218m true) (f218c 767) (f219m true) (f219c 1181) (f220m false) (f220c 90) (f221m true) (f221c (- 390)) (f222m true) (f222c (- 62)) (f223m true) (f223c (- 269)) (f224m true) (f224c 759) (f225m true) (f225c 1096) (f226m true) (f226c 760) (f227m true) (f227c 905) (f228m false) (f228c 90) (f229m true) (f229c (- 837)) (f230m true) (f230c 172) (f231m true) (f231c 0) (f232m true) (f232c 341) (f233m true) (f233c 436) (f234m true) (f234c 341) (f235m true) (f235c 486) (f236m false) (f236c 90) (f237m true) (f237c (- 837)) (f238m true) (f238c 129) (f239m true) (f239c (- 75)) (f240m true) (f240c 1093) (f241m true) (f241c 410) (f242m true) (f242c 1094) (f243m true) (f243c 410) (f244m false) (f244c 0) (f245m true) (f245c (- 474)) (f246m true) (f246c 212) (f247m true) (f247c (- 2)) (f248m true) (f248c 700) (f249m true) (f249c 1180) (f250m true) (f250c 603) (f251m true) (f251c 1181) (f252m false) (f252c 90) (f253m true) (f253c (- 878)) (f254m true) (f254c 128) (f255m true) (f255c (- 86)) (f256m true) (f256c 323) (f257m true) (f257c 410) (f258m true) (f258c 1095) (f259m true) (f259c 410) (f260m false) (f260c 90) (f261m true) (f261c 17) (f262m true) (f262c 76) (f263m true) (f263c (- 87)) (f264m true) (f264c 1096) (f265m true) (f265c 756) (f266m true) (f266c 1097) (f267m true) (f267c 756) (f268m false) (f268c 90) (f269m true) (f269c 49) (f270m true) (f270c 75) (f271m true) (f271c (- 88)) (f272m true) (f272c 1099) (f273m true) (f273c 410) (f274m true) (f274c 1098) (f275m true) (f275c 410) (f276m false) (f276c 90) (f277m true) (f277c 16) (f278m true) (f278c (- 83)) (f279m true) (f279c (- 83)) (f280m true) (f280c 1095) (f281m true) (f281c 758) (f282m true) (f282c 1096) (f283m true) (f283c 773) (f284m false) (f284c 90) (f285m true) (f285c 17) (f286m true) (f286c 213) (f287m true) (f287c 2) (f288m true) (f288c 1195) (f289m true) (f289c 856) (f290m true) (f290c 1096) (f291m true) (f291c 901) (f292m false) (f292c 90) (f293m true) (f293c 16) (f294m true) (f294c 75) (f295m true) (f295c (- 133)) (f296m true) (f296c 1095) (f297m true) (f297c 1102) (f298m true) (f298c 1096) (f299m true) (f299c 1102) (f300m false) (f300c 90) (f301m true) (f301c 18) (f302m true) (f302c 213) (f303m true) (f303c 15) (f304m true) (f304c 1096) (f305m true) (f305c 901) (f306m true) (f306c 1096) (f307m true) (f307c 901) (f308m false) (f308c 90) (f309m true) (f309c 17) (f310m true) (f310c 0) (f311m true) (f311c 1) (f312m true) (f312c 1096) (f313m true) (f313c 856) (f314m true) (f314c 1097) (f315m true) (f315c 902) (f316m false) (f316c 90) (f317m true) (f317c (- 120)) (f318m true) (f318c (- 199)) (f319m true) (f319c (- 127)) (f320m true) (f320c 1099) (f321m true) (f321c 904) (f322m true) (f322c 1098) (f323m true) (f323c 903) (f324m false) (f324c 90) (f325m true) (f325c 17) (f326m true) (f326c 0) (f327m true) (f327c 1) (f328m true) (f328c 858) (f329m true) (f329c 851) (f330m true) (f330c 1095) (f331m true) (f331c 901) (f332m false) (f332c 90) (f333m true) (f333c (- 82)) (f334m true) (f334c (- 1)) (f335m true) (f335c (- 477)) (f336m true) (f336c 1104) (f337m true) (f337c 780) (f338m true) (f338c 1104) (f339m true) (f339c 901) (f340m false) (f340c 90) (f341m true) (f341c (- 83)) (f342m true) (f342c (- 2)) (f343m true) (f343c (- 74)) (f344m true) (f344c 1103) (f345m true) (f345c 412) (f346m true) (f346c 1104) (f347m true) (f347c 411) (f348m false) (f348c 90) (f349m true) (f349c 44) (f350m true) (f350c (- 2)) (f351m true) (f351c (- 477)) (f352m true) (f352c 871) (f353m true) (f353c 780) (f354m true) (f354c 871) (f355m true) (f355c 901) (f356m false) (f356c 90) (f357m true) (f357c (- 122)) (f358m true) (f358c 501) (f359m true) (f359c 0) (f360m true) (f360c 860) (f361m true) (f361c 841) (f362m true) (f362c 1047) (f363m true) (f363c 1178) (f364m false) (f364c 90) (f365m true) (f365c (- 122)) (f366m true) (f366c (- 54)) (f367m true) (f367c (- 270)) (f368m true) (f368c 767) (f369m true) (f369c 901) (f370m true) (f370c 766) (f371m true) (f371c 901) (f372m false) (f372c 0) (f373m true) (f373c (- 216)) (f374m true) (f374c (- 1)) (f375m true) (f375c (- 2)) (f376m true) (f376c 769) (f377m true) (f377c 827) (f378m true) (f378c 768) (f379m true) (f379c 840) (f380m false) (f380c 90) (f381m true) (f381c (- 1051)) (f382m true) (f382c (- 53)) (f383m true) (f383c (- 269)) (f384m true) (f384c 856) (f385m true) (f385c 719) (f386m true) (f386c 765) (f387m true) (f387c 812) (f388m false) (f388c 90) (f389m true) (f389c 585) (f390m true) (f390c 171) (f391m true) (f391c 0) (f392m true) (f392c 856) (f393m true) (f393c 841) (f394m true) (f394c 1102) (f395m true) (f395c 1177) (f396m false) (f396c 90) (f397m true) (f397c 585) (f398m true) (f398c 95) (f399m true) (f399c 411) (f400m true) (f400c 1094) (f401m true) (f401c 1099) (f402m true) (f402c 1094) (f403m true) (f403c 1099) (f404m false) (f404c 0) (f405m true) (f405c (- 476)) (f406m true) (f406c 212) (f407m true) (f407c 0) (f408m true) (f408c 781) (f409m true) (f409c 948) (f410m true) (f410c 1004) (f411m true) (f411c 1072) (f412m false) (f412c 90) (f413m true) (f413c (- 385)) (f414m true) (f414c 94) (f415m true) (f415c (- 118)) (f416m true) (f416c 1094) (f417m true) (f417c 953) (f418m true) (f418c 1094) (f419m true) (f419c 1098) (f420m false) (f420c 90) (f421m true) (f421c (- 1049)) (f422m true) (f422c 229) (f423m true) (f423c (- 118)) (f424m true) (f424c 762) (f425m true) (f425c 893) (f426m true) (f426c 763) (f427m true) (f427c 1099) (f428m false) (f428c 90) (f429m true) (f429c (- 1050)) (f430m true) (f430c 228) (f431m true) (f431c (- 279)) (f432m true) (f432c 761) (f433m true) (f433c 207) (f434m true) (f434c 762) (f435m true) (f435c 207) (f436m false) (f436c 90) (f437m true) (f437c 17) (f438m true) (f438c 397) (f439m true) (f439c 281) (f440m true) (f440c 859) (f441m true) (f441c 717) (f442m true) (f442c 860) (f443m true) (f443c 2190) (f444m false) (f444c 90) (f445m true) (f445c (- 88)) (f446m true) (f446c 494) (f447m true) (f447c (- 81)) (f448m true) (f448c 871) (f449m true) (f449c 1458) (f450m true) (f450c 1105) (f451m true) (f451c 2189) (f452m false) (f452c 90) (f453m true) (f453c (- 89)) (f454m true) (f454c 425) (f455m true) (f455c (- 82)) (f456m true) (f456c 353) (f457m true) (f457c 410) (f458m true) (f458c 1105) (f459m true) (f459c 410) (f460m false) (f460c 90) (f461m true) (f461c (- 388)) (f462m true) (f462c 397) (f463m true) (f463c 281) (f464m true) (f464c 870) (f465m true) (f465c 2189) (f466m true) (f466c 869) (f467m true) (f467c 2189) (f468m false) (f468c 90) (f469m true) (f469c (- 376)) (f470m true) (f470c 280) (f471m true) (f471c 324) (f472m true) (f472c 858) (f473m true) (f473c 1123) (f474m true) (f474c 1280) (f475m true) (f475c 2189) (f476m false) (f476c 90) (f477m true) (f477c (- 377)) (f478m true) (f478c 164) (f479m true) (f479c (- 399)) (f480m true) (f480c 1280) (f481m true) (f481c 906) (f482m true) (f482c 1281) (f483m true) (f483c 906) (f484m false) (f484c 90) (f485m true) (f485c (- 312)) (f486m true) (f486c 399) (f487m true) (f487c 280) (f488m true) (f488c 858) (f489m true) (f489c 1165) (f490m true) (f490c 1106) (f491m true) (f491c 2189) (f492m false) (f492c 90) (f493m true) (f493c (- 125)) (f494m true) (f494c 362) (f495m true) (f495c 189) (f496m true) (f496c 871) (f497m true) (f497c 1177) (f498m true) (f498c 1108) (f499m true) (f499c 2188) (f500m false) (f500c 90) (f501m true) (f501c (- 126)) (f502m true) (f502c 361) (f503m true) (f503c (- 118)) (f504m true) (f504c 1095) (f505m true) (f505c 1104) (f506m true) (f506c 1104) (f507m true) (f507c 411) (f508m false) (f508c 90) (f509m true) (f509c (- 310)) (f510m true) (f510c 399) (f511m true) (f511c 1083) (f512m true) (f512c 869) (f513m true) (f513c 2188) (f514m true) (f514c 869) (f515m true) (f515c 2188) (f516m true) (f516c 90) (f517m false) (f517c (- 823)) (f518m true) (f518c 88) (f519m true) (f519c (- 101)) (f520m true) (f520c 327) (f521m true) (f521c 5) (f522m false) (f522c 288) (f523m true) (f523c 5) (f524m false) (f524c 90) (f525m true) (f525c (- 821)) (f526m true) (f526c 88) (f527m true) (f527c 9) (f528m true) (f528c 1081) (f529m true) (f529c 1081) (f530m true) (f530c 767) (f531m true) (f531c 1080) (f532m true) (f532c 90) (f533m true) (f533c (- 823)) (f534m true) (f534c 87) (f535m true) (f535c (- 102)) (f536m true) (f536c 484) (f537m true) (f537c (- 96)) (f538m false) (f538c 288) (f539m true) (f539c 6) (f540m true) (f540c 90) (f541m false) (f541c (- 832)) (f542m true) (f542c 84) (f543m true) (f543c 93) (f544m true) (f544c 524) (f545m true) (f545c 1087) (f546m false) (f546c 288) (f547m true) (f547c 1087) (f548m false) (f548c 90) (f549m true) (f549c (- 834)) (f550m true) (f550c 91) (f551m true) (f551c (- 2)) (f552m true) (f552c 1087) (f553m true) (f553c 1180) (f554m true) (f554c 760) (f555m true) (f555c 1182) (f556m true) (f556c 90) (f557m true) (f557c (- 832)) (f558m true) (f558c 85) (f559m true) (f559c (- 836)) (f560m true) (f560c 352) (f561m true) (f561c 6) (f562m false) (f562c 288) (f563m true) (f563c 1) (f564m true) (f564c 859) (f565m true) (f565c 716) (f566m true) (f566c 1602) (f567m true) (f567c 609) (f568m false) (f568c 1047) (f569m true) (f569c 906) (f570m false) (f570c 1047) (f571m true) (f571c 906) (f572m true) (f572c 766) (f573m true) (f573c 626) (f574m true) (f574c 1687) (f575m true) (f575c 697) (f576m false) (f576c 768) (f577m true) (f577c 840) (f578m false) (f578c 768) (f579m true) (f579c 840) (f580m true) (f580c 854) (f581m true) (f581c 716) (f582m true) (f582c 1602) (f583m true) (f583c 610) (f584m false) (f584c 858) (f585m true) (f585c 753) (f586m false) (f586c 858) (f587m true) (f587c 753) (f588m true) (f588c 90) (f589m false) (f589c (- 832)) (f590m true) (f590c (- 962)) (f591m true) (f591c (- 835)) (f592m true) (f592c 344) (f593m true) (f593c 0) (f594m false) (f594c 288) (f595m true) (f595c 1) (f596m false) (f596c 90) (f597m true) (f597c (- 835)) (f598m true) (f598c 90) (f599m true) (f599c (- 2)) (f600m true) (f600c 2) (f601m true) (f601c 1180) (f602m true) (f602c 767) (f603m true) (f603c 1181) (f604m true) (f604c 90) (f605m true) (f605c (- 835)) (f606m true) (f606c 85) (f607m true) (f607c (- 836)) (f608m true) (f608c 765) (f609m true) (f609c 173) (f610m false) (f610c 288) (f611m true) (f611c 173) (f612m true) (f612c 860) (f613m true) (f613c 789) (f614m true) (f614c 842) (f615m true) (f615c 774) (f616m false) (f616c 858) (f617m true) (f617c 840) (f618m false) (f618c 858) (f619m true) (f619c 901) (f620m true) (f620c 768) (f621m true) (f621c 698) (f622m true) (f622c 841) (f623m true) (f623c 701) (f624m false) (f624c 768) (f625m true) (f625c 841) (f626m false) (f626c 768) (f627m true) (f627c 841) (f628m true) (f628c 858) (f629m true) (f629c 789) (f630m true) (f630c 841) (f631m true) (f631c 773) (f632m false) (f632c 858) (f633m true) (f633c 843) (f634m false) (f634c 858) (f635m true) (f635c 901) (f636m true) (f636c 92) (f637m true) (f637c (- 888)) (f638m true) (f638c 89) (f639m true) (f639c 44) (f640m true) (f640c 348) (f641m true) (f641c 2) (f642m false) (f642c 288) (f643m true) (f643c 1) (f644m false) (f644c 90) (f645m true) (f645c (- 131)) (f646m true) (f646c 150) (f647m true) (f647c (- 59)) (f648m true) (f648c 1103) (f649m true) (f649c 1180) (f650m true) (f650c 1104) (f651m true) (f651c 1181) (f652m true) (f652c 88) (f653m true) (f653c (- 892)) (f654m true) (f654c 88) (f655m true) (f655c (- 133)) (f656m true) (f656c 347) (f657m true) (f657c 7) (f658m false) (f658c 288) (f659m true) (f659c (- 1)) (f660m true) (f660c 858) (f661m true) (f661c 789) (f662m true) (f662c (- 324)) (f663m true) (f663c 698) (f664m false) (f664c 858) (f665m true) (f665c 767) (f666m false) (f666c 858) (f667m true) (f667c 901) (f668m true) (f668c 770) (f669m true) (f669c 628) (f670m true) (f670c 813) (f671m true) (f671c 701) (f672m false) (f672c 768) (f673m true) (f673c 1905) (f674m false) (f674c 768) (f675m true) (f675c 841) (f676m true) (f676c 856) (f677m true) (f677c 746) (f678m true) (f678c (- 330)) (f679m true) (f679c 627) (f680m false) (f680c 858) (f681m true) (f681c 767) (f682m false) (f682c 858) (f683m true) (f683c 901) (f684m true) (f684c 90) (f685m false) (f685c (- 832)) (f686m true) (f686c 85) (f687m true) (f687c (- 1174)) (f688m true) (f688c 348) (f689m true) (f689c 2) (f690m false) (f690c 288) (f691m true) (f691c 1) (f692m false) (f692c 90) (f693m true) (f693c (- 826)) (f694m true) (f694c 72) (f695m true) (f695c 2) (f696m true) (f696c 1099) (f697m true) (f697c 1103) (f698m true) (f698c 276) (f699m true) (f699c 1104) (f700m true) (f700c 90) (f701m true) (f701c (- 828)) (f702m true) (f702c 84) (f703m true) (f703c (- 828)) (f704m true) (f704c 278) (f705m true) (f705c 271) (f706m false) (f706c 288) (f707m true) (f707c 1) (f708m true) (f708c 860) (f709m true) (f709c 716) (f710m true) (f710c 698) (f711m true) (f711c 648) (f712m false) (f712c 858) (f713m true) (f713c 1788) (f714m false) (f714c 858) (f715m true) (f715c 1790) (f716m true) (f716c 749) (f717m true) (f717c 626) (f718m true) (f718c 819) (f719m true) (f719c 700) (f720m false) (f720c 768) (f721m true) (f721c 1908) (f722m false) (f722c 768) (f723m true) (f723c 1908) (f724m true) (f724c (- 230)) (f725m true) (f725c 716) (f726m true) (f726c 700) (f727m true) (f727c 647) (f728m false) (f728c 858) (f729m true) (f729c 1789) (f730m false) (f730c 858) (f731m true) (f731c 1790) (f732m true) (f732c 88) (f733m false) (f733c (- 837)) (f734m true) (f734c 88) (f735m true) (f735c 15) (f736m true) (f736c 781) (f737m true) (f737c 0) (f738m false) (f738c 288) (f739m true) (f739c 0) (f740m false) (f740c 90) (f741m true) (f741c 15) (f742m true) (f742c 90) (f743m true) (f743c (- 5)) (f744m true) (f744c 352) (f745m true) (f745c 1180) (f746m true) (f746c 353) (f747m true) (f747c 1181) (f748m true) (f748c 90) (f749m true) (f749c (- 837)) (f750m true) (f750c 87) (f751m true) (f751c 12) (f752m true) (f752c 351) (f753m true) (f753c (- 1)) (f754m false) (f754c 288) (f755m true) (f755c (- 1)) (f756m true) (f756c 859) (f757m true) (f757c 790) (f758m true) (f758c 1162) (f759m true) (f759c 1097) (f760m false) (f760c 858) (f761m true) (f761c 2188) (f762m false) (f762c 858) (f763m true) (f763c 2189) (f764m true) (f764c 766) (f765m true) (f765c 699) (f766m true) (f766c 817) (f767m true) (f767c 700) (f768m false) (f768c 768) (f769m true) (f769c 841) (f770m false) (f770c 768) (f771m true) (f771c 841) (f772m true) (f772c 854) (f773m true) (f773c 790) (f774m true) (f774c 1099) (f775m true) (f775c 1096) (f776m false) (f776c 858) (f777m true) (f777c 1165) (f778m false) (f778c 858) (f779m true) (f779c 2189) (f780m true) (f780c 90) (f781m true) (f781c (- 837)) (f782m true) (f782c 89) (f783m true) (f783c (- 82)) (f784m true) (f784c 351) (f785m true) (f785c 7) (f786m false) (f786c 288) (f787m true) (f787c 1) (f788m false) (f788c 90) (f789m true) (f789c (- 81)) (f790m true) (f790c 498) (f791m true) (f791c (- 7)) (f792m true) (f792c 154) (f793m true) (f793c 1185) (f794m true) (f794c 17) (f795m true) (f795c 1186) (f796m true) (f796c 90) (f797m true) (f797c (- 840)) (f798m true) (f798c 88) (f799m true) (f799c (- 83)) (f800m true) (f800c 287) (f801m true) (f801c 12) (f802m false) (f802c 288) (f803m true) (f803c 12) (f804m false) (f804c 90) (f805m true) (f805c 19) (f806m true) (f806c 90) (f807m true) (f807c 11) (f808m true) (f808c 858) (f809m true) (f809c 854) (f810m true) (f810c 1182) (f811m true) (f811c 1182) (f812m false) (f812c 90) (f813m true) (f813c (- 64)) (f814m true) (f814c 90) (f815m true) (f815c 19) (f816m true) (f816c 1182) (f817m true) (f817c 1182) (f818m true) (f818c 767) (f819m true) (f819c 841) (f820m false) (f820c 0) (f821m true) (f821c (- 73)) (f822m true) (f822c 2) (f823m true) (f823c 2) (f824m true) (f824c 768) (f825m true) (f825c 842) (f826m true) (f826c 675) (f827m true) (f827c 842) (f828m false) (f828c 90) (f829m true) (f829c 18) (f830m true) (f830c 13) (f831m true) (f831c 20) (f832m true) (f832c 765) (f833m true) (f833c 761) (f834m true) (f834c 1083) (f835m true) (f835c 841) (f836m false) (f836c 90) (f837m true) (f837c 18) (f838m true) (f838c 566) (f839m true) (f839c 230) (f840m true) (f840c 740) (f841m true) (f841c 854) (f842m true) (f842c 739) (f843m true) (f843c 1182) (f844m false) (f844c 90) (f845m true) (f845c 18) (f846m true) (f846c 126) (f847m true) (f847c 230) (f848m true) (f848c 704) (f849m true) (f849c 1182) (f850m true) (f850c 703) (f851m true) (f851c 1182) (f852m false) (f852c 0) (f853m true) (f853c (- 474)) (f854m true) (f854c 0) (f855m true) (f855c (- 285)) (f856m true) (f856c 365) (f857m true) (f857c 1177) (f858m true) (f858c 365) (f859m true) (f859c 1177) (f860m false) (f860c 90) (f861m true) (f861c (- 384)) (f862m true) (f862c 127) (f863m true) (f863c (- 276)) (f864m true) (f864c 1080) (f865m true) (f865c 1184) (f866m true) (f866c 1081) (f867m true) (f867c 1183) (f868m false) (f868c 90) (f869m true) (f869c 17) (f870m true) (f870c 221) (f871m true) (f871c 9) (f872m true) (f872c 1081) (f873m true) (f873c 1184) (f874m true) (f874c 1082) (f875m true) (f875c 1180) (f876m false) (f876c 90) (f877m true) (f877c 17) (f878m true) (f878c 221) (f879m true) (f879c 9) (f880m true) (f880c 770) (f881m true) (f881c 1178) (f882m true) (f882c 769) (f883m true) (f883c 1178) (f884m false) (f884c 0) (f885m true) (f885c (- 73)) (f886m true) (f886c (- 5)) (f887m true) (f887c 0) (f888m true) (f888c 1105) (f889m true) (f889c 1178) (f890m true) (f890c 1105) (f891m true) (f891c 1178) (f892m false) (f892c 90) (f893m true) (f893c 17) (f894m true) (f894c 73) (f895m true) (f895c 0) (f896m true) (f896c 1087) (f897m true) (f897c 1178) (f898m true) (f898c 1088) (f899m true) (f899c 1178) (f900m false) (f900c 90) (f901m true) (f901c (- 388)) (f902m true) (f902c 304) (f903m true) (f903c (- 180)) (f904m true) (f904c 1081) (f905m true) (f905c 1189) (f906m true) (f906c 1084) (f907m true) (f907c 1190) (f908m false) (f908c 90) (f909m true) (f909c (- 388)) (f910m true) (f910c 304) (f911m true) (f911c (- 178)) (f912m true) (f912c 1086) (f913m true) (f913c 1296) (f914m true) (f914c 1087) (f915m true) (f915c 1178) (f916m false) (f916c 0) (f917m true) (f917c (- 478)) (f918m true) (f918c 40) (f919m true) (f919c 2) (f920m true) (f920c 367) (f921m true) (f921c 980) (f922m true) (f922c 446) (f923m true) (f923c 1178) (f924m false) (f924c 90) (f925m true) (f925c (- 390)) (f926m true) (f926c 42) (f927m true) (f927c (- 405)) (f928m true) (f928c 536) (f929m true) (f929c 1178) (f930m true) (f930c 1088) (f931m true) (f931c 1178) (f932m false) (f932c 90) (f933m true) (f933c 97) (f934m true) (f934c 214) (f935m true) (f935c (- 318)) (f936m true) (f936c 1274) (f937m true) (f937c 856) (f938m true) (f938c 1090) (f939m true) (f939c 1092) (f940m false) (f940c 90) (f941m true) (f941c (- 389)) (f942m true) (f942c 216) (f943m true) (f943c (- 320)) (f944m true) (f944c 1021) (f945m true) (f945c 1092) (f946m true) (f946c 1022) (f947m true) (f947c 1093) (f948m false) (f948c 0) (f949m true) (f949c (- 476)) (f950m true) (f950c 219) (f951m true) (f951c (- 403)) (f952m true) (f952c 1105) (f953m true) (f953c 1176) (f954m true) (f954c 769) (f955m true) (f955c 1097) (f956m false) (f956c 90) (f957m true) (f957c (- 388)) (f958m true) (f958c 217) (f959m true) (f959c (- 403)) (f960m true) (f960c 872) (f961m true) (f961c 1095) (f962m true) (f962c 1042) (f963m true) (f963c 1094) (f964m false) (f964c 90) (f965m true) (f965c (- 386)) (f966m true) (f966c 75) (f967m true) (f967c (- 2)) (f968m true) (f968c 1274) (f969m true) (f969c 1487) (f970m true) (f970c 1275) (f971m true) (f971c 1487) (f972m false) (f972c 90) (f973m true) (f973c (- 386)) (f974m true) (f974c 302) (f975m true) (f975c (- 2)) (f976m true) (f976c 1275) (f977m true) (f977c 1487) (f978m true) (f978c 1275) (f979m true) (f979c 1178) (f980m false) (f980c 0) (f981m true) (f981c (- 476)) (f982m true) (f982c 212) (f983m true) (f983c (- 2)) (f984m true) (f984c 781) (f985m true) (f985c 993) (f986m true) (f986c 781) (f987m true) (f987c 993) (f988m false) (f988c 90) (f989m true) (f989c (- 386)) (f990m true) (f990c 212) (f991m true) (f991c (- 2)) (f992m true) (f992c 1088) (f993m true) (f993c 993) (f994m true) (f994c 1089) (f995m true) (f995c 1178) (f996m false) (f996c 90) (f997m true) (f997c 93) (f998m true) (f998c 126) (f999m true) (f999c 2) (f1000m true) (f1000c 1087) (f1001m true) (f1001c 1179) (f1002m true) (f1002c 1088) (f1003m true) (f1003c 1179) (f1004m false) (f1004c 90) (f1005m true) (f1005c 93) (f1006m true) (f1006c 126) (f1007m true) (f1007c 4) (f1008m true) (f1008c 1086) (f1009m true) (f1009c 1088) (f1010m true) (f1010c 982) (f1011m true) (f1011c 1068) (f1012m false) (f1012c 0) (f1013m true) (f1013c (- 75)) (f1014m true) (f1014c 2) (f1015m true) (f1015c (- 2)) (f1016m true) (f1016c 768) (f1017m true) (f1017c 768) (f1018m true) (f1018c 890) (f1019m true) (f1019c 1068) (f1020m false) (f1020c 90) (f1021m true) (f1021c 15) (f1022m true) (f1022c 126) (f1023m true) (f1023c 5) (f1024m true) (f1024c 982) (f1025m true) (f1025c 1070) (f1026m true) (f1026c 983) (f1027m true) (f1027c 1069) (f1028m false) (f1028c 90) (f1029m true) (f1029c 17) (f1030m true) (f1030c 71) (f1031m true) (f1031c 0) (f1032m true) (f1032c 858) (f1033m true) (f1033c 1178) (f1034m true) (f1034c 857) (f1035m true) (f1035c 1178) (f1036m false) (f1036c 90) (f1037m true) (f1037c 16) (f1038m true) (f1038c 265) (f1039m true) (f1039c 229) (f1040m true) (f1040c 704) (f1041m true) (f1041c 1178) (f1042m true) (f1042c 704) (f1043m true) (f1043c 1178) (f1044m false) (f1044c 0) (f1045m true) (f1045c (- 476)) (f1046m true) (f1046c 214) (f1047m true) (f1047c 137) (f1048m true) (f1048c 363) (f1049m true) (f1049c 899) (f1050m true) (f1050c 362) (f1051m true) (f1051c 899) (f1052m false) (f1052c 90) (f1053m true) (f1053c (- 386)) (f1054m true) (f1054c 266) (f1055m true) (f1055c 137) (f1056m true) (f1056c 62) (f1057m true) (f1057c 574) (f1058m true) (f1058c 0) (f1059m true) (f1059c 1177) (f1060m false) (f1060c 90) (f1061m true) (f1061c (- 837)) (f1062m true) (f1062c (- 5)) (f1063m true) (f1063c 0) (f1064m true) (f1064c 871) (f1065m true) (f1065c 1178) (f1066m true) (f1066c 871) (f1067m true) (f1067c 1178) (f1068m false) (f1068c 90) (f1069m true) (f1069c (- 837)) (f1070m true) (f1070c (- 3)) (f1071m true) (f1071c 0) (f1072m true) (f1072c 1106) (f1073m true) (f1073c 1175) (f1074m true) (f1074c 1106) (f1075m true) (f1075c 1176) (f1076m false) (f1076c 0) (f1077m true) (f1077c (- 220)) (f1078m true) (f1078c (- 2)) (f1079m true) (f1079c 0) (f1080m true) (f1080c 1103) (f1081m true) (f1081c 1176) (f1082m true) (f1082c 603) (f1083m true) (f1083c 819) (f1084m false) (f1084c 90) (f1085m true) (f1085c (- 835)) (f1086m true) (f1086c (- 2)) (f1087m true) (f1087c (- 6)) (f1088m true) (f1088c (- 16)) (f1089m true) (f1089c 817) (f1090m true) (f1090c (- 1)) (f1091m true) (f1091c 1177) (f1092m false) (f1092c 90) (f1093m true) (f1093c (- 837)) (f1094m true) (f1094c 214) (f1095m true) (f1095c 2) (f1096m true) (f1096c 872) (f1097m true) (f1097c 1179) (f1098m true) (f1098c 968) (f1099m true) (f1099c 1178) (f1100m false) (f1100c 90) (f1101m true) (f1101c (- 838)) (f1102m true) (f1102c 216) (f1103m true) (f1103c 0) (f1104m true) (f1104c 966) (f1105m true) (f1105c 1178) (f1106m true) (f1106c 966) (f1107m true) (f1107c 1178) (f1108m false) (f1108c 0) (f1109m true) (f1109c (- 476)) (f1110m true) (f1110c 212) (f1111m true) (f1111c 0) (f1112m true) (f1112c 779) (f1113m true) (f1113c 1178) (f1114m true) (f1114c 962) (f1115m true) (f1115c 1178) (f1116m false) (f1116c 90) (f1117m true) (f1117c (- 837)) (f1118m true) (f1118c 212) (f1119m true) (f1119c 0) (f1120m true) (f1120c 2) (f1121m true) (f1121c 1176) (f1122m true) (f1122c 1) (f1123m true) (f1123c 1179) (f1124m false) (f1124c 90) (f1125m true) (f1125c 15) (f1126m true) (f1126c 210) (f1127m true) (f1127c (- 2)) (f1128m true) (f1128c 2) (f1129m true) (f1129c 978) (f1130m true) (f1130c 1) (f1131m true) (f1131c 1177) (f1132m false) (f1132c 90) (f1133m true) (f1133c (- 532)) (f1134m true) (f1134c 300) (f1135m true) (f1135c (- 1)) (f1136m true) (f1136c 1099) (f1137m true) (f1137c 1178) (f1138m true) (f1138c 780) (f1139m true) (f1139c 1178) (f1140m false) (f1140c 90) (f1141m true) (f1141c 45) (f1142m true) (f1142c 152) (f1143m true) (f1143c (- 324)) (f1144m true) (f1144c 1227) (f1145m true) (f1145c 1118) (f1146m true) (f1146c 1100) (f1147m true) (f1147c 1178) (f1148m false) (f1148c 90) (f1149m true) (f1149c 45) (f1150m true) (f1150c 303) (f1151m true) (f1151c (- 324)) (f1152m true) (f1152c 700) (f1153m true) (f1153c 1180) (f1154m true) (f1154c 1101) (f1155m true) (f1155c 1179) (f1156m false) (f1156c 90) (f1157m true) (f1157c 17) (f1158m true) (f1158c (- 60)) (f1159m true) (f1159c (- 56)) (f1160m true) (f1160c 858) (f1161m true) (f1161c 920) (f1162m true) (f1162c 1102) (f1163m true) (f1163c 839) (f1164m false) (f1164c 90) (f1165m true) (f1165c (- 73)) (f1166m true) (f1166c 75) (f1167m true) (f1167c (- 2)) (f1168m true) (f1168c 1099) (f1169m true) (f1169c 1176) (f1170m true) (f1170c 1099) (f1171m true) (f1171c 840) (f1172m false) (f1172c 90) (f1173m true) (f1173c (- 384)) (f1174m true) (f1174c 214) (f1175m true) (f1175c (- 405)) (f1176m true) (f1176c 873) (f1177m true) (f1177c 1178) (f1178m true) (f1178c 1101) (f1179m true) (f1179c 1178) (f1180m false) (f1180c 90) (f1181m true) (f1181c (- 383)) (f1182m true) (f1182c 300) (f1183m true) (f1183c (- 2)) (f1184m true) (f1184c 1099) (f1185m true) (f1185c 1180) (f1186m true) (f1186c 1098) (f1187m true) (f1187c 1177) (f1188m false) (f1188c 90) (f1189m true) (f1189c (- 33)) (f1190m true) (f1190c 2) (f1191m true) (f1191c 2) (f1192m true) (f1192c 843) (f1193m true) (f1193c 843) (f1194m true) (f1194c 844) (f1195m true) (f1195c 844) (f1196m false) (f1196c 90) (f1197m true) (f1197c (- 69)) (f1198m true) (f1198c 88) (f1199m true) (f1199c (- 31)) (f1200m true) (f1200c 842) (f1201m true) (f1201c 846) (f1202m true) (f1202c 769) (f1203m true) (f1203c 847) (f1204m false) (f1204c 0) (f1205m true) (f1205c (- 474)) (f1206m true) (f1206c 210) (f1207m true) (f1207c (- 2)) (f1208m true) (f1208c 783) (f1209m true) (f1209c 1180) (f1210m true) (f1210c 767) (f1211m true) (f1211c 1181) (f1212m false) (f1212c 90) (f1213m true) (f1213c (- 382)) (f1214m true) (f1214c 203) (f1215m true) (f1215c (- 9)) (f1216m true) (f1216c 769) (f1217m true) (f1217c 849) (f1218m true) (f1218c 770) (f1219m true) (f1219c 848) (f1220m false) (f1220c 90) (f1221m true) (f1221c 15) (f1222m true) (f1222c 2) (f1223m true) (f1223c 334) (f1224m true) (f1224c 856) (f1225m true) (f1225c 843) (f1226m true) (f1226c 968) (f1227m true) (f1227c 1178) (f1228m false) (f1228c 90) (f1229m true) (f1229c 13) (f1230m true) (f1230c 0) (f1231m true) (f1231c 229) (f1232m true) (f1232c 782) (f1233m true) (f1233c 1178) (f1234m true) (f1234c 782) (f1235m true) (f1235c 1178) (f1236m false) (f1236c 0) (f1237m true) (f1237c (- 478)) (f1238m true) (f1238c 214) (f1239m true) (f1239c (- 2)) (f1240m true) (f1240c 704) (f1241m true) (f1241c 1176) (f1242m true) (f1242c 1015) (f1243m true) (f1243c 1179) (f1244m false) (f1244c 90) (f1245m true) (f1245c (- 386)) (f1246m true) (f1246c 211) (f1247m true) (f1247c (- 5)) (f1248m true) (f1248c 784) (f1249m true) (f1249c 1176) (f1250m true) (f1250c 783) (f1251m true) (f1251c 1177) (f1252m false) (f1252c 90) (f1253m true) (f1253c 10) (f1254m true) (f1254c 205) (f1255m true) (f1255c (- 7)) (f1256m true) (f1256c 873) (f1257m true) (f1257c 941) (f1258m true) (f1258c 874) (f1259m true) (f1259c 878) (f1260m false) (f1260c 90) (f1261m true) (f1261c 12) (f1262m true) (f1262c 92) (f1263m true) (f1263c (- 9)) (f1264m true) (f1264c 804) (f1265m true) (f1265c 876) (f1266m true) (f1266c 1202) (f1267m true) (f1267c 1179) (f1268m false) (f1268c 0) (f1269m true) (f1269c (- 75)) (f1270m true) (f1270c (- 7)) (f1271m true) (f1271c 2) (f1272m true) (f1272c 766) (f1273m true) (f1273c 841) (f1274m true) (f1274c 1109) (f1275m true) (f1275c 842) (f1276m false) (f1276c 90) (f1277m true) (f1277c 13) (f1278m true) (f1278c 71) (f1279m true) (f1279c 4) (f1280m true) (f1280c 1201) (f1281m true) (f1281c 1180) (f1282m true) (f1282c 1202) (f1283m true) (f1283c 1179) (f1284m false) (f1284c 90) (f1285m true) (f1285c (- 384)) (f1286m true) (f1286c 298) (f1287m true) (f1287c (- 3)) (f1288m true) (f1288c 1193) (f1289m true) (f1289c 1171) (f1290m true) (f1290c 784) (f1291m true) (f1291c 1178) (f1292m false) (f1292c 90) (f1293m true) (f1293c (- 477)) (f1294m true) (f1294c 300) (f1295m true) (f1295c (- 170)) (f1296m true) (f1296c 704) (f1297m true) (f1297c 1178) (f1298m true) (f1298c 1087) (f1299m true) (f1299c 1178) (f1300m false) (f1300c 0) (f1301m true) (f1301c (- 75)) (f1302m true) (f1302c 69) (f1303m true) (f1303c 2) (f1304m true) (f1304c 766) (f1305m true) (f1305c 1064) (f1306m true) (f1306c 996) (f1307m true) (f1307c 1065) (f1308m false) (f1308c 90) (f1309m true) (f1309c 13) (f1310m true) (f1310c 71) (f1311m true) (f1311c (- 170)) (f1312m true) (f1312c 1088) (f1313m true) (f1313c 1067) (f1314m true) (f1314c 1088) (f1315m true) (f1315c 1179) (f1316m false) (f1316c 90) (f1317m true) (f1317c (- 4)) (f1318m true) (f1318c 157) (f1319m true) (f1319c (- 5)) (f1320m true) (f1320c 856) (f1321m true) (f1321c 838) (f1322m true) (f1322c 1110) (f1323m true) (f1323c 1179) (f1324m false) (f1324c 90) (f1325m true) (f1325c (- 3)) (f1326m true) (f1326c 88) (f1327m true) (f1327c (- 5)) (f1328m true) (f1328c 1110) (f1329m true) (f1329c 1181) (f1330m true) (f1330c 1110) (f1331m true) (f1331c 1180) (f1332m false) (f1332c 90) (f1333m true) (f1333c (- 486)) (f1334m true) (f1334c 502) (f1335m true) (f1335c (- 10)) (f1336m true) (f1336c 355) (f1337m true) (f1337c 1181) (f1338m true) (f1338c 354) (f1339m true) (f1339c 1182) (f1340m false) (f1340c 90) (f1341m true) (f1341c (- 485)) (f1342m true) (f1342c 498) (f1343m true) (f1343c (- 9)) (f1344m true) (f1344c 705) (f1345m true) (f1345c 1180) (f1346m true) (f1346c 780) (f1347m true) (f1347c 1179) (f1348m false) (f1348c 90) (f1349m true) (f1349c 0) (f1350m true) (f1350c 162) (f1351m true) (f1351c 0) (f1352m true) (f1352c 871) (f1353m true) (f1353c 1126) (f1354m true) (f1354c 863) (f1355m true) (f1355c 934) (f1356m false) (f1356c 90) (f1357m true) (f1357c 30) (f1358m true) (f1358c 164) (f1359m true) (f1359c 2) (f1360m true) (f1360c 861) (f1361m true) (f1361c 934) (f1362m true) (f1362c 840) (f1363m true) (f1363c 934) (f1364m false) (f1364c 0) (f1365m true) (f1365c (- 416)) (f1366m true) (f1366c 410) (f1367m true) (f1367c (- 2)) (f1368m true) (f1368c 768) (f1369m true) (f1369c 839) (f1370m true) (f1370c 348) (f1371m true) (f1371c 804) (f1372m false) (f1372c 90) (f1373m true) (f1373c 30) (f1374m true) (f1374c 419) (f1375m true) (f1375c 3) (f1376m true) (f1376c 836) (f1377m true) (f1377c 771) (f1378m true) (f1378c 870) (f1379m true) (f1379c 1182) (f1380m false) (f1380c 90) (f1381m true) (f1381c (- 306)) (f1382m true) (f1382c 298) (f1383m true) (f1383c (- 54)) (f1384m true) (f1384c 869) (f1385m true) (f1385c 1124) (f1386m true) (f1386c 868) (f1387m true) (f1387c 935) (f1388m false) (f1388c 90) (f1389m true) (f1389c (- 532)) (f1390m true) (f1390c 300) (f1391m true) (f1391c (- 54)) (f1392m true) (f1392c 457) (f1393m true) (f1393c 1183) (f1394m true) (f1394c 456) (f1395m true) (f1395c 1182) (f1396m false) (f1396c 0) (f1397m true) (f1397c (- 476)) (f1398m true) (f1398c 418) (f1399m true) (f1399c 0) (f1400m true) (f1400c 766) (f1401m true) (f1401c 1178) (f1402m true) (f1402c 765) (f1403m true) (f1403c 1179) (f1404m false) (f1404c 90) (f1405m true) (f1405c 34) (f1406m true) (f1406c 423) (f1407m true) (f1407c (- 54)) (f1408m true) (f1408c 1215) (f1409m true) (f1409c 1186) (f1410m true) (f1410c 1216) (f1411m true) (f1411c 1182) (f1412m false) (f1412c 90) (f1413m true) (f1413c 19) (f1414m true) (f1414c 419) (f1415m true) (f1415c 5) (f1416m true) (f1416c 873) (f1417m true) (f1417c 1182) (f1418m true) (f1418c 872) (f1419m true) (f1419c 1183) (f1420m false) (f1420c 90) (f1421m true) (f1421c 17) (f1422m true) (f1422c 9) (f1423m true) (f1423c 11) (f1424m true) (f1424c 744) (f1425m true) (f1425c 854) (f1426m true) (f1426c 873) (f1427m true) (f1427c 1184) (f1428m false) (f1428c 90) (f1429m true) (f1429c (- 60)) (f1430m true) (f1430c 217) (f1431m true) (f1431c 9) (f1432m true) (f1432c 871) (f1433m true) (f1433c 1187) (f1434m true) (f1434c 871) (f1435m true) (f1435c 1182) (f1436m false) (f1436c 90) (f1437m true) (f1437c (- 62)) (f1438m true) (f1438c 90) (f1439m true) (f1439c (- 60)) (f1440m true) (f1440c 869) (f1441m true) (f1441c 1154) (f1442m true) (f1442c 869) (f1443m true) (f1443c 1154) (f1444m false) (f1444c 0) (f1445m true) (f1445c (- 478)) (f1446m true) (f1446c 2) (f1447m true) (f1447c (- 68)) (f1448m true) (f1448c 1105) (f1449m true) (f1449c 783) (f1450m true) (f1450c 731) (f1451m true) (f1451c 783) (f1452m false) (f1452c 90) (f1453m true) (f1453c (- 61)) (f1454m true) (f1454c 11) (f1455m true) (f1455c (- 59)) (f1456m true) (f1456c 819) (f1457m true) (f1457c 1154) (f1458m true) (f1458c 872) (f1459m true) (f1459c 1154) (f1460m false) (f1460c 90) (f1461m true) (f1461c 32) (f1462m true) (f1462c 564) (f1463m true) (f1463c 9) (f1464m true) (f1464c 873) (f1465m true) (f1465c 1183) (f1466m true) (f1466c 872) (f1467m true) (f1467c 1182) (f1468m false) (f1468c 90) (f1469m true) (f1469c (- 465)) (f1470m true) (f1470c 564) (f1471m true) (f1471c 9) (f1472m true) (f1472c 706) (f1473m true) (f1473c 1180) (f1474m true) (f1474c 706) (f1475m true) (f1475c 1179) (f1476m false) (f1476c 0) (f1477m true) (f1477c (- 476)) (f1478m true) (f1478c 58) (f1479m true) (f1479c (- 61)) (f1480m true) (f1480c 781) (f1481m true) (f1481c 1180) (f1482m true) (f1482c 781) (f1483m true) (f1483c 1179) (f1484m false) (f1484c 90) (f1485m true) (f1485c (- 29)) (f1486m true) (f1486c 67) (f1487m true) (f1487c (- 54)) (f1488m true) (f1488c 1213) (f1489m true) (f1489c 1186) (f1490m true) (f1490c 1213) (f1491m true) (f1491c 1186) (f1492m false) (f1492c 90) (f1493m true) (f1493c (- 488)) (f1494m true) (f1494c (- 9)) (f1495m true) (f1495c (- 7)) (f1496m true) (f1496c 353) (f1497m true) (f1497c 1267) (f1498m true) (f1498c 353) (f1499m true) (f1499c 1267) (f1500m false) (f1500c 90) (f1501m true) (f1501c (- 115)) (f1502m true) (f1502c 434) (f1503m true) (f1503c (- 44)) (f1504m true) (f1504c 353) (f1505m true) (f1505c 1205) (f1506m true) (f1506c 353) (f1507m true) (f1507c 1268) (f1508m false) (f1508c 90) (f1509m true) (f1509c 15) (f1510m true) (f1510c (- 42)) (f1511m true) (f1511c (- 46)) (f1512m true) (f1512c 860) (f1513m true) (f1513c 799) (f1514m true) (f1514c 861) (f1515m true) (f1515c 1177) (f1516m false) (f1516c 90) (f1517m true) (f1517c (- 117)) (f1518m true) (f1518c (- 40)) (f1519m true) (f1519c (- 48)) (f1520m true) (f1520c 863) (f1521m true) (f1521c 931) (f1522m true) (f1522c 864) (f1523m true) (f1523c 932) (f1524m false) (f1524c 0) (f1525m true) (f1525c (- 478)) (f1526m true) (f1526c 270) (f1527m true) (f1527c 2) (f1528m true) (f1528c 779) (f1529m true) (f1529c 839) (f1530m true) (f1530c 778) (f1531m true) (f1531c 840) (f1532m false) (f1532c 90) (f1533m true) (f1533c (- 388)) (f1534m true) (f1534c 430) (f1535m true) (f1535c (- 48)) (f1536m true) (f1536c 866) (f1537m true) (f1537c 1208) (f1538m true) (f1538c 865) (f1539m true) (f1539c 933) (f1540m false) (f1540c 90) (f1541m true) (f1541c (- 250)) (f1542m true) (f1542c (- 46)) (f1543m true) (f1543c (- 42)) (f1544m true) (f1544c 860) (f1545m true) (f1545c 799) (f1546m true) (f1546c 1277) (f1547m true) (f1547c 1178) (f1548m false) (f1548c 90) (f1549m true) (f1549c (- 518)) (f1550m true) (f1550c (- 48)) (f1551m true) (f1551c (- 40)) (f1552m true) (f1552c 1275) (f1553m true) (f1553c 1178) (f1554m true) (f1554c 1117) (f1555m true) (f1555c 1178) (f1556m false) (f1556c 0) (f1557m true) (f1557c (- 478)) (f1558m true) (f1558c 210) (f1559m true) (f1559c (- 2)) (f1560m true) (f1560c 702) (f1561m true) (f1561c 1234) (f1562m true) (f1562c 842) (f1563m true) (f1563c 1234) (f1564m false) (f1564c 90) (f1565m true) (f1565c (- 308)) (f1566m true) (f1566c 433) (f1567m true) (f1567c (- 52)) (f1568m true) (f1568c 930) (f1569m true) (f1569c 1180) (f1570m true) (f1570c 1118) (f1571m true) (f1571c 1179) (f1572m false) (f1572c 90) (f1573m true) (f1573c (- 251)) (f1574m true) (f1574c 299) (f1575m true) (f1575c (- 42)) (f1576m true) (f1576c 871) (f1577m true) (f1577c 1132) (f1578m true) (f1578c 1279) (f1579m true) (f1579c 1179) (f1580m false) (f1580c 90) (f1581m true) (f1581c (- 254)) (f1582m true) (f1582c 300) (f1583m true) (f1583c (- 42)) (f1584m true) (f1584c 1281) (f1585m true) (f1585c 1178) (f1586m true) (f1586c 1280) (f1587m true) (f1587c 1178) (f1588m true) (f1588c 856) (f1589m true) (f1589c 789) (f1590m true) (f1590c 847) (f1591m true) (f1591c 786) (f1592m false) (f1592c 858) (f1593m false) (f1593c 1916) (f1594m false) (f1594c 858) (f1595m false) (f1595c 1916) (f1596m true) (f1596c 764) (f1597m true) (f1597c 504) (f1598m true) (f1598c 837) (f1599m true) (f1599c 697) (f1600m false) (f1600c 768) (f1601m true) (f1601c 1905) (f1602m false) (f1602c 768) (f1603m true) (f1603c 959) (f1604m true) (f1604c 856) (f1605m true) (f1605c 596) (f1606m true) (f1606c 848) (f1607m true) (f1607c 707) (f1608m false) (f1608c 858) (f1609m true) (f1609c 854) (f1610m false) (f1610c 858) (f1611m true) (f1611c 1182) (f1612m true) (f1612c 787) (f1613m true) (f1613c 708) (f1614m true) (f1614c 785) (f1615m true) (f1615c 712) (f1616m true) (f1616c 886) (f1617m true) (f1617c 1899) (f1618m false) (f1618c 768) (f1619m false) (f1619c 1907) (f1620m false) (f1620c 90) (f1621m true) (f1621c (- 101)) (f1622m true) (f1622c 202) (f1623m true) (f1623c 11) (f1624m true) (f1624c 1083) (f1625m true) (f1625c 1182) (f1626m true) (f1626c 1119) (f1627m true) (f1627c 1182) (f1628m true) (f1628c 899) (f1629m true) (f1629c 708) (f1630m true) (f1630c 903) (f1631m true) (f1631c 712) (f1632m true) (f1632c 1887) (f1633m true) (f1633c 1880) (f1634m false) (f1634c 768) (f1635m false) (f1635c 1907) (f1636m true) (f1636c 908) (f1637m true) (f1637c 791) (f1638m true) (f1638c 814) (f1639m true) (f1639c 775) (f1640m false) (f1640c 858) (f1641m false) (f1641c 1907) (f1642m false) (f1642c 858) (f1643m false) (f1643c 1907) (f1644m true) (f1644c 770) (f1645m true) (f1645c 701) (f1646m true) (f1646c 767) (f1647m true) (f1647c 701) (f1648m false) (f1648c 768) (f1649m true) (f1649c 766) (f1650m false) (f1650c 768) (f1651m true) (f1651c 765) (f1652m true) (f1652c 862) (f1653m true) (f1653c 791) (f1654m true) (f1654c 765) (f1655m true) (f1655c 775) (f1656m false) (f1656c 858) (f1657m true) (f1657c 841) (f1658m false) (f1658c 858) (f1659m true) (f1659c 841) (f1660m true) (f1660c 784) (f1661m true) (f1661c 699) (f1662m true) (f1662c 772) (f1663m true) (f1663c 701) (f1664m true) (f1664c 1857) (f1665m true) (f1665c 1906) (f1666m false) (f1666c 768) (f1667m false) (f1667c 1907) (f1668m false) (f1668c 90) (f1669m true) (f1669c (- 122)) (f1670m true) (f1670c 88) (f1671m true) (f1671c (- 2)) (f1672m true) (f1672c 1089) (f1673m true) (f1673c 1176) (f1674m true) (f1674c 1089) (f1675m true) (f1675c 1158) (f1676m true) (f1676c 785) (f1677m true) (f1677c 699) (f1678m true) (f1678c 907) (f1679m true) (f1679c 695) (f1680m true) (f1680c 1857) (f1681m true) (f1681c 1857) (f1682m false) (f1682c 768) (f1683m false) (f1683c 1907) (f1684m true) (f1684c 151) (f1685m true) (f1685c 789) (f1686m true) (f1686c 978) (f1687m true) (f1687c 912) (f1688m false) (f1688c 858) (f1689m false) (f1689c 1907) (f1690m false) (f1690c 858) (f1691m false) (f1691c 1907) (f1692m true) (f1692c 770) (f1693m true) (f1693c 699) (f1694m true) (f1694c 986) (f1695m true) (f1695c 697) (f1696m false) (f1696c 768) (f1697m true) (f1697c 839) (f1698m false) (f1698c 768) (f1699m true) (f1699c 840) (f1700m true) (f1700c 151) (f1701m true) (f1701c 789) (f1702m true) (f1702c 984) (f1703m true) (f1703c 912) (f1704m false) (f1704c 858) (f1705m true) (f1705c 840) (f1706m false) (f1706c 858) (f1707m true) (f1707c 1178) (f1708m true) (f1708c 913) (f1709m true) (f1709c 697) (f1710m true) (f1710c 911) (f1711m true) (f1711c 699) (f1712m true) (f1712c 768) (f1713m true) (f1713c 1908) (f1714m false) (f1714c 768) (f1715m false) (f1715c 1907) (f1716m false) (f1716c 90) (f1717m true) (f1717c (- 835)) (f1718m true) (f1718c 163) (f1719m true) (f1719c (- 835)) (f1720m true) (f1720c 0) (f1721m true) (f1721c 0) (f1722m true) (f1722c 773) (f1723m true) (f1723c 842) (f1724m true) (f1724c 860) (f1725m true) (f1725c (- 136)) (f1726m true) (f1726c 903) (f1727m true) (f1727c (- 22)) (f1728m true) (f1728c 1541) (f1729m true) (f1729c 1540) (f1730m false) (f1730c 768) (f1731m false) (f1731c 1907) (f1732m true) (f1732c 860) (f1733m true) (f1733c 789) (f1734m true) (f1734c 757) (f1735m true) (f1735c 850) (f1736m false) (f1736c 858) (f1737m true) (f1737c 1177) (f1738m false) (f1738c 858) (f1739m true) (f1739c 1178) (f1740m true) (f1740c 770) (f1741m true) (f1741c 626) (f1742m true) (f1742c 979) (f1743m true) (f1743c 701) (f1744m false) (f1744c 768) (f1745m true) (f1745c 843) (f1746m false) (f1746c 768) (f1747m true) (f1747c 842) (f1748m true) (f1748c 1026) (f1749m true) (f1749c 716) (f1750m true) (f1750c 921) (f1751m true) (f1751c 777) (f1752m false) (f1752c 858) (f1753m true) (f1753c 918) (f1754m false) (f1754c 858) (f1755m true) (f1755c 1178) (f1756m true) (f1756c 851) (f1757m true) (f1757c 813) (f1758m true) (f1758c 903) (f1759m true) (f1759c 641) (f1760m true) (f1760c 768) (f1761m true) (f1761c 1868) (f1762m false) (f1762c 768) (f1763m false) (f1763c 1907) (f1764m false) (f1764c 90) (f1765m true) (f1765c (- 129)) (f1766m true) (f1766c 148) (f1767m true) (f1767c (- 9)) (f1768m true) (f1768c 769) (f1769m true) (f1769c 840) (f1770m true) (f1770c 769) (f1771m true) (f1771c 840) (f1772m true) (f1772c 847) (f1773m true) (f1773c 688) (f1774m true) (f1774c 849) (f1775m true) (f1775c 688) (f1776m true) (f1776c 1537) (f1777m true) (f1777c 1540) (f1778m false) (f1778c 768) (f1779m false) (f1779c 1907) (f1780m true) (f1780c 858) (f1781m true) (f1781c 579) (f1782m true) (f1782c 845) (f1783m true) (f1783c 774) (f1784m false) (f1784c 858) (f1785m false) (f1785c 1907) (f1786m false) (f1786c 858) (f1787m false) (f1787c 1907) (f1788m true) (f1788c 770) (f1789m true) (f1789c 626) (f1790m true) (f1790c 847) (f1791m true) (f1791c 699) (f1792m false) (f1792c 768) (f1793m true) (f1793c 770) (f1794m false) (f1794c 768) (f1795m true) (f1795c 842) (f1796m true) (f1796c 858) (f1797m true) (f1797c 718) (f1798m true) (f1798c 845) (f1799m true) (f1799c 699) (f1800m false) (f1800c 858) (f1801m true) (f1801c 842) (f1802m false) (f1802c 858) (f1803m true) (f1803c 1178) (f1804m true) (f1804c 858) (f1805m true) (f1805c 697) (f1806m true) (f1806c 903) (f1807m true) (f1807c 697) (f1808m true) (f1808c 1871) (f1809m true) (f1809c 1908) (f1810m false) (f1810c 768) (f1811m false) (f1811c 1907) (f1812m false) (f1812c 90) (f1813m true) (f1813c (- 75)) (f1814m true) (f1814c 90) (f1815m true) (f1815c 2) (f1816m true) (f1816c 1106) (f1817m true) (f1817c 1181) (f1818m true) (f1818c 1107) (f1819m true) (f1819c 1181) (f1820m true) (f1820c 858) (f1821m true) (f1821c 693) (f1822m true) (f1822c 906) (f1823m true) (f1823c 703) (f1824m true) (f1824c 1877) (f1825m true) (f1825c 1882) (f1826m false) (f1826c 768) (f1827m false) (f1827c 1907) (f1828m true) (f1828c 832) (f1829m true) (f1829c 789) (f1830m true) (f1830c 928) (f1831m true) (f1831c 858) (f1832m false) (f1832c 858) (f1833m false) (f1833c 1902) (f1834m false) (f1834c 858) (f1835m false) (f1835c 1902) (f1836m true) (f1836c 650) (f1837m true) (f1837c 626) (f1838m true) (f1838c 816) (f1839m true) (f1839c 699) (f1840m false) (f1840c 768) (f1841m true) (f1841c 1905) (f1842m false) (f1842c 768) (f1843m true) (f1843c 841) (f1844m true) (f1844c 740) (f1845m true) (f1845c 716) (f1846m true) (f1846c 810) (f1847m true) (f1847c 786) (f1848m false) (f1848c 858) (f1849m true) (f1849c 1178) (f1850m false) (f1850c 858) (f1851m true) (f1851c 1178) (f1852m true) (f1852c 858) (f1853m true) (f1853c 694) (f1854m true) (f1854c 858) (f1855m true) (f1855c 694) (f1856m true) (f1856c 1553) (f1857m true) (f1857c 1600) (f1858m false) (f1858c 768) (f1859m false) (f1859c 1907) (f1860m false) (f1860c 90) (f1861m true) (f1861c (- 78)) (f1862m true) (f1862c 159) (f1863m true) (f1863c 38) (f1864m true) (f1864c 763) (f1865m true) (f1865c 793) (f1866m true) (f1866c 762) (f1867m true) (f1867c 794) (f1868m true) (f1868c 858) (f1869m true) (f1869c 690) (f1870m true) (f1870c 860) (f1871m true) (f1871c 737) (f1872m true) (f1872c 1491) (f1873m true) (f1873c 1577) (f1874m false) (f1874c 768) (f1875m false) (f1875c 1907) (f1876m true) (f1876c 327) (f1877m true) (f1877c 789) (f1878m true) (f1878c 810) (f1879m true) (f1879c 1197) (f1880m false) (f1880c 858) (f1881m true) (f1881c 1898) (f1882m false) (f1882c 858) (f1883m true) (f1883c 1898) (f1884m true) (f1884c 768) (f1885m true) (f1885c 626) (f1886m true) (f1886c 815) (f1887m true) (f1887c 1204) (f1888m false) (f1888c 768) (f1889m true) (f1889c 1344) (f1890m false) (f1890c 768) (f1891m true) (f1891c 1344) (f1892m true) (f1892c 327) (f1893m true) (f1893c 716) (f1894m true) (f1894c 808) (f1895m true) (f1895c 1197) (f1896m false) (f1896c 858) (f1897m true) (f1897c 1185) (f1898m false) (f1898c 858) (f1899m true) (f1899c 1184) (f1900m true) (f1900c 1197) (f1901m true) (f1901c 280) (f1902m true) (f1902c 1199) (f1903m true) (f1903c 690) (f1904m true) (f1904c 1123) (f1905m true) (f1905c 1884) (f1906m false) (f1906c 768) (f1907m false) (f1907c 1907) (f1908m false) (f1908c 90) (f1909m true) (f1909c (- 490)) (f1910m true) (f1910c 500) (f1911m true) (f1911c (- 11)) (f1912m true) (f1912c 820) (f1913m true) (f1913c 1183) (f1914m true) (f1914c 819) (f1915m true) (f1915c 886) (f1916m true) (f1916c 858) (f1917m true) (f1917c 280) (f1918m true) (f1918c 904) (f1919m true) (f1919c 690) (f1920m true) (f1920c 1585) (f1921m true) (f1921c 1636) (f1922m false) (f1922c 768) (f1923m false) (f1923c 1907))