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