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