sat ((f0c 0) (f0m false) (f100c 4) (f100m false) (f101c 6) (f101m true) (f102c 1) (f102m false) (f103c 4) (f103m false) (f104c 2) (f104m false) (f105c 4) (f105m false) (f106c 5) (f106m false) (f107c 5) (f107m true) (f108c 5) (f108m false) (f109c 1) (f109m true) (f10c 1) (f10m false) (f110c 5) (f110m false) (f111c 5) (f111m false) (f112c 5) (f112m false) (f113c 5) (f113m false) (f114c 6) (f114m false) (f115c 0) (f115m true) (f116c 6) (f116m false) (f117c 4) (f117m true) (f118c 6) (f118m false) (f119c 6) (f119m false) (f11c 0) (f11m false) (f120c 6) (f120m false) (f121c 6) (f121m false) (f122c 6) (f122m false) (f123c 4) (f123m true) (f124c 6) (f124m true) (f125c 7) (f125m true) (f126c 6) (f126m false) (f127c 6) (f127m true) (f128c 6) (f128m false) (f129c 2) (f129m true) (f12c 1) (f12m true) (f130c 1) (f130m true) (f131c 0) (f131m true) (f132c 2) (f132m false) (f133c 0) (f133m true) (f134c 1) (f134m false) (f135c 2) (f135m false) (f136c 2) (f136m false) (f137c 2) (f137m false) (f138c 3) (f138m false) (f139c 1) (f139m true) (f13c 1) (f13m false) (f140c 3) (f140m false) (f141c 0) (f141m true) (f142c 3) (f142m false) (f143c 3) (f143m false) (f144c 3) (f144m false) (f145c 3) (f145m false) (f146c 4) (f146m false) (f147c 7) (f147m true) (f148c 4) (f148m false) (f149c 4) (f149m true) (f14c 1) (f14m false) (f150c 4) (f150m false) (f151c 4) (f151m false) (f152c 4) (f152m false) (f153c 4) (f153m false) (f154c 5) (f154m false) (f155c 4) (f155m true) (f156c 3) (f156m true) (f157c 2) (f157m true) (f158c 5) (f158m false) (f159c 0) (f159m true) (f15c 1) (f15m false) (f160c 5) (f160m false) (f161c 0) (f161m false) (f162c 6) (f162m false) (f163c 4) (f163m true) (f164c 4) (f164m true) (f165c 4) (f165m true) (f166c 6) (f166m false) (f167c 4) (f167m true) (f168c 6) (f168m false) (f169c 0) (f169m false) (f16c 2) (f16m false) (f170c 6) (f170m false) (f171c 5) (f171m true) (f172c 6) (f172m true) (f173c 6) (f173m true) (f174c 6) (f174m false) (f175c 0) (f175m true) (f176c 6) (f176m false) (f177c 2) (f177m true) (f178c 2) (f178m false) (f179c 1) (f179m true) (f17c 2) (f17m false) (f180c 0) (f180m true) (f181c 0) (f181m true) (f182c 2) (f182m false) (f183c 6) (f183m true) (f184c 2) (f184m false) (f185c 0) (f185m false) (f186c 3) (f186m false) (f187c 3) (f187m true) (f188c 0) (f188m true) (f189c 6) (f189m true) (f18c 1) (f18m true) (f190c 3) (f190m false) (f191c 1) (f191m true) (f192c 3) (f192m false) (f193c 0) (f193m false) (f194c 4) (f194m true) (f195c 0) (f195m true) (f196c 4) (f196m false) (f197c 0) (f197m true) (f198c 1) (f198m false) (f199c 4) (f199m false) (f19c 0) (f19m true) (f1c 0) (f1m true) (f200c 2) (f200m false) (f201c 4) (f201m false) (f202c 5) (f202m false) (f203c 1) (f203m true) (f204c 5) (f204m false) (f205c 0) (f205m true) (f206c 5) (f206m false) (f207c 5) (f207m false) (f208c 5) (f208m false) (f209c 5) (f209m false) (f20c 2) (f20m false) (f210c 6) (f210m false) (f211c 1) (f211m true) (f212c 6) (f212m false) (f213c 4) (f213m true) (f214c 6) (f214m false) (f215c 6) (f215m false) (f216c 6) (f216m false) (f217c 6) (f217m false) (f218c 6) (f218m false) (f219c 4) (f219m true) (f21c 0) (f21m true) (f220c 6) (f220m true) (f221c 6) (f221m true) (f222c 6) (f222m false) (f223c 6) (f223m true) (f224c 6) (f224m false) (f225c 2) (f225m true) (f226c 1) (f226m true) (f227c 0) (f227m true) (f228c 2) (f228m false) (f229c 1) (f229m true) (f22c 1) (f22m false) (f230c 1) (f230m false) (f231c 2) (f231m false) (f232c 2) (f232m false) (f233c 2) (f233m false) (f234c 3) (f234m false) (f235c 1) (f235m true) (f236c 3) (f236m false) (f237c 0) (f237m true) (f238c 3) (f238m false) (f239c 3) (f239m false) (f23c 2) (f23m false) (f240c 3) (f240m false) (f241c 3) (f241m false) (f242c 4) (f242m false) (f243c 1) (f243m true) (f244c 4) (f244m false) (f245c 3) (f245m true) (f246c 4) (f246m false) (f247c 4) (f247m false) (f248c 4) (f248m false) (f249c 4) (f249m false) (f24c 2) (f24m false) (f250c 5) (f250m false) (f251c 4) (f251m true) (f252c 4) (f252m true) (f253c 4) (f253m true) (f254c 5) (f254m false) (f255c 0) (f255m true) (f256c 5) (f256m false) (f257c 0) (f257m false) (f258c 5) (f258m false) (f259c 4) (f259m true) (f25c 2) (f25m false) (f260c 5) (f260m true) (f261c 4) (f261m true) (f262c 5) (f262m false) (f263c 0) (f263m true) (f264c 5) (f264m false) (f265c 2) (f265m true) (f266c 2) (f266m false) (f267c 7) (f267m true) (f268c 1) (f268m true) (f269c 0) (f269m true) (f26c 3) (f26m false) (f270c 2) (f270m false) (f271c 1) (f271m true) (f272c 2) (f272m false) (f273c 0) (f273m false) (f274c 3) (f274m false) (f275c 6) (f275m true) (f276c 0) (f276m true) (f277c 6) (f277m true) (f278c 3) (f278m false) (f279c 2) (f279m true) (f27c 6) (f27m true) (f280c 3) (f280m false) (f281c 0) (f281m false) (f282c 4) (f282m true) (f283c 0) (f283m true) (f284c 4) (f284m false) (f285c 6) (f285m true) (f286c 1) (f286m false) (f287c 4) (f287m false) (f288c 2) (f288m false) (f289c 4) (f289m false) (f28c 3) (f28m false) (f290c 5) (f290m false) (f291c 7) (f291m true) (f292c 5) (f292m false) (f293c 7) (f293m true) (f294c 5) (f294m false) (f295c 5) (f295m false) (f296c 5) (f296m false) (f297c 5) (f297m false) (f298c 6) (f298m false) (f299c 0) (f299m true) (f29c 0) (f29m true) (f2c 0) (f2m true) (f300c 6) (f300m false) (f301c 4) (f301m true) (f302c 6) (f302m false) (f303c 6) (f303m false) (f304c 6) (f304m false) (f305c 6) (f305m false) (f306c 6) (f306m false) (f307c 7) (f307m true) (f308c 6) (f308m true) (f309c 0) (f309m true) (f30c 3) (f30m false) (f310c 6) (f310m false) (f311c 4) (f311m true) (f312c 6) (f312m false) (f313c 2) (f313m true) (f314c 1) (f314m true) (f315c 0) (f315m true) (f316c 2) (f316m false) (f317c 2) (f317m true) (f318c 1) (f318m false) (f319c 2) (f319m false) (f31c 3) (f31m false) (f320c 2) (f320m false) (f321c 2) (f321m false) (f322c 3) (f322m false) (f323c 1) (f323m true) (f324c 3) (f324m false) (f325c 0) (f325m true) (f326c 3) (f326m false) (f327c 3) (f327m false) (f328c 3) (f328m false) (f329c 3) (f329m false) (f32c 3) (f32m false) (f330c 4) (f330m false) (f331c 6) (f331m true) (f332c 4) (f332m false) (f333c 0) (f333m true) (f334c 4) (f334m false) (f335c 4) (f335m false) (f336c 4) (f336m false) (f337c 4) (f337m false) (f338c 4) (f338m false) (f339c 6) (f339m true) (f33c 3) (f33m false) (f340c 4) (f340m true) (f341c 4) (f341m true) (f342c 4) (f342m false) (f343c 1) (f343m true) (f344c 4) (f344m false) (f345c 0) (f345m true) (f346c 1) (f346m true) (f347c 0) (f347m true) (f348c 2) (f348m false) (f349c 0) (f349m true) (f34c 4) (f34m false) (f350c 1) (f350m false) (f351c 2) (f351m false) (f352c 2) (f352m false) (f353c 2) (f353m false) (f354c 3) (f354m false) (f355c 1) (f355m true) (f356c 3) (f356m false) (f357c 0) (f357m true) (f358c 3) (f358m false) (f359c 3) (f359m false) (f35c 2) (f35m true) (f360c 3) (f360m false) (f361c 3) (f361m false) (f362c 4) (f362m false) (f363c 2) (f363m true) (f364c 2) (f364m true) (f365c 1) (f365m true) (f366c 4) (f366m false) (f367c 1) (f367m true) (f368c 4) (f368m false) (f369c 0) (f369m false) (f36c 2) (f36m true) (f370c 5) (f370m true) (f371c 0) (f371m true) (f372c 5) (f372m false) (f373c 4) (f373m true) (f374c 1) (f374m false) (f375c 5) (f375m false) (f376c 2) (f376m false) (f377c 5) (f377m false) (f378c 7) (f378m true) (f379c 7) (f379m true) (f37c 0) (f37m true) (f380c 5) (f380m true) (f381c 6) (f381m true) (f382c 2) (f382m false) (f383c 2) (f383m true) (f384c 2) (f384m false) (f385c 3) (f385m true) (f386c 1) (f386m true) (f387c 0) (f387m true) (f388c 2) (f388m false) (f389c 1) (f389m true) (f38c 4) (f38m false) (f390c 1) (f390m false) (f391c 2) (f391m false) (f392c 2) (f392m false) (f393c 2) (f393m false) (f394c 3) (f394m false) (f395c 1) (f395m true) (f396c 3) (f396m false) (f397c 0) (f397m true) (f398c 3) (f398m false) (f399c 3) (f399m false) (f39c 4) (f39m true) (f3c 0) (f3m true) (f400c 3) (f400m false) (f401c 3) (f401m false) (f402c 4) (f402m false) (f403c 3) (f403m true) (f404c 4) (f404m false) (f405c 3) (f405m true) (f406c 4) (f406m false) (f407c 4) (f407m false) (f408c 4) (f408m false) (f409c 4) (f409m false) (f40c 4) (f40m false) (f410c 5) (f410m false) (f411c 4) (f411m true) (f412c 7) (f412m true) (f413c 2) (f413m true) (f414c 5) (f414m false) (f415c 2) (f415m true) (f416c 5) (f416m false) (f417c 0) (f417m false) (f418c 6) (f418m false) (f419c 5) (f419m true) (f41c 0) (f41m false) (f420c 5) (f420m true) (f421c 2) (f421m true) (f422c 6) (f422m false) (f423c 0) (f423m true) (f424c 6) (f424m false) (f425c 0) (f425m false) (f426c 7) (f426m true) (f427c 4) (f427m true) (f428c 7) (f428m false) (f429c 4) (f429m true) (f42c 4) (f42m false) (f430c 1) (f430m false) (f431c 7) (f431m false) (f432c 2) (f432m false) (f433c 7) (f433m false) (f434c 7) (f434m true) (f435c 7) (f435m true) (f436c 7) (f436m true) (f437c 4) (f437m true) (f438c 2) (f438m false) (f439c 6) (f439m true) (f43c 4) (f43m true) (f440c 2) (f440m false) (f441c 3) (f441m true) (f442c 1) (f442m true) (f443c 1) (f443m true) (f444c 2) (f444m false) (f445c 2) (f445m true) (f446c 1) (f446m false) (f447c 2) (f447m false) (f448c 2) (f448m false) (f449c 2) (f449m false) (f44c 4) (f44m true) (f450c 1) (f450m true) (f451c 1) (f451m true) (f452c 6) (f452m true) (f453c 0) (f453m true) (f454c 3) (f454m false) (f455c 0) (f455m true) (f456c 3) (f456m false) (f457c 0) (f457m false) (f458c 1) (f458m true) (f459c 0) (f459m true) (f45c 0) (f45m true) (f460c 0) (f460m true) (f461c 0) (f461m true) (f462c 1) (f462m false) (f463c 4) (f463m false) (f464c 2) (f464m false) (f465c 4) (f465m false) (f466c 5) (f466m true) (f467c 0) (f467m true) (f468c 4) (f468m true) (f469c 0) (f469m true) (f46c 4) (f46m false) (f470c 5) (f470m false) (f471c 5) (f471m false) (f472c 5) (f472m false) (f473c 5) (f473m false) (f474c 6) (f474m true) (f475c 0) (f475m true) (f476c 4) (f476m true) (f477c 0) (f477m true) (f478c 6) (f478m false) (f479c 6) (f479m false) (f47c 0) (f47m true) (f480c 6) (f480m false) (f481c 6) (f481m false) (f482c 6) (f482m true) (f483c 4) (f483m true) (f484c 6) (f484m true) (f485c 0) (f485m true) (f486c 6) (f486m false) (f487c 3) (f487m true) (f488c 6) (f488m false) (f489c 4) (f489m true) (f48c 4) (f48m false) (f490c 1) (f490m true) (f491c 1) (f491m true) (f492c 2) (f492m false) (f493c 2) (f493m true) (f494c 1) (f494m false) (f495c 2) (f495m false) (f496c 2) (f496m false) (f497c 2) (f497m false) (f498c 1) (f498m true) (f499c 1) (f499m true) (f49c 4) (f49m true) (f4c 1) (f4m true) (f500c 0) (f500m true) (f501c 0) (f501m true) (f502c 3) (f502m false) (f503c 0) (f503m true) (f504c 3) (f504m false) (f505c 0) (f505m false) (f506c 2) (f506m true) (f507c 0) (f507m true) (f508c 2) (f508m true) (f509c 0) (f509m true) (f50c 2) (f50m false) (f510c 1) (f510m false) (f511c 4) (f511m false) (f512c 2) (f512m false) (f513c 4) (f513m false) (f514c 5) (f514m true) (f515c 0) (f515m true) (f516c 2) (f516m true) (f517c 0) (f517m true) (f518c 5) (f518m false) (f519c 5) (f519m false) (f51c 6) (f51m true) (f520c 5) (f520m false) (f521c 5) (f521m false) (f522c 7) (f522m true) (f523c 0) (f523m true) (f524c 2) (f524m true) (f525c 0) (f525m true) (f526c 5) (f526m false) (f527c 4) (f527m true) (f528c 5) (f528m false) (f529c 2) (f529m true) (f52c 4) (f52m true) (f530c 1) (f530m true) (f531c 0) (f531m true) (f532c 2) (f532m false) (f533c 0) (f533m true) (f534c 1) (f534m false) (f535c 2) (f535m false) (f536c 2) (f536m false) (f537c 2) (f537m false) (f538c 3) (f538m false) (f539c 0) (f539m true) (f53c 0) (f53m true) (f540c 3) (f540m false) (f541c 2) (f541m true) (f542c 3) (f542m false) (f543c 3) (f543m false) (f544c 3) (f544m false) (f545c 3) (f545m false) (f546c 4) (f546m false) (f547c 4) (f547m true) (f548c 3) (f548m true) (f549c 1) (f549m true) (f54c 2) (f54m false) (f550c 4) (f550m false) (f551c 1) (f551m true) (f552c 4) (f552m false) (f553c 0) (f553m false) (f554c 5) (f554m false) (f555c 3) (f555m true) (f556c 6) (f556m true) (f557c 5) (f557m true) (f558c 5) (f558m false) (f559c 2) (f559m true) (f55c 4) (f55m true) (f560c 5) (f560m false) (f561c 0) (f561m false) (f562c 2) (f562m false) (f563c 4) (f563m true) (f564c 0) (f564m true) (f565c 4) (f565m true) (f566c 2) (f566m false) (f567c 1) (f567m true) (f568c 2) (f568m false) (f569c 0) (f569m false) (f56c 2) (f56m false) (f570c 2) (f570m true) (f571c 0) (f571m true) (f572c 3) (f572m false) (f573c 4) (f573m true) (f574c 1) (f574m false) (f575c 3) (f575m false) (f576c 2) (f576m false) (f577c 3) (f577m false) (f578c 4) (f578m false) (f579c 1) (f579m true) (f57c 0) (f57m false) (f580c 4) (f580m false) (f581c 0) (f581m true) (f582c 4) (f582m false) (f583c 4) (f583m false) (f584c 4) (f584m false) (f585c 4) (f585m false) (f586c 5) (f586m false) (f587c 2) (f587m true) (f588c 6) (f588m true) (f589c 0) (f589m true) (f58c 0) (f58m true) (f590c 5) (f590m false) (f591c 5) (f591m true) (f592c 5) (f592m false) (f593c 0) (f593m false) (f594c 2) (f594m false) (f595c 5) (f595m true) (f596c 0) (f596m true) (f597c 0) (f597m true) (f598c 2) (f598m false) (f599c 2) (f599m true) (f59c 0) (f59m true) (f5c 1) (f5m true) (f600c 2) (f600m false) (f601c 0) (f601m false) (f602c 3) (f602m false) (f603c 2) (f603m true) (f604c 0) (f604m true) (f605c 1) (f605m true) (f606c 3) (f606m false) (f607c 4) (f607m true) (f608c 3) (f608m false) (f609c 0) (f609m false) (f60c 3) (f60m false) (f610c 4) (f610m true) (f611c 0) (f611m true) (f612c 4) (f612m false) (f613c 0) (f613m true) (f614c 1) (f614m false) (f615c 4) (f615m false) (f616c 2) (f616m false) (f617c 4) (f617m false) (f618c 5) (f618m false) (f619c 1) (f619m true) (f61c 4) (f61m true) (f620c 5) (f620m false) (f621c 5) (f621m true) (f622c 5) (f622m false) (f623c 5) (f623m false) (f624c 5) (f624m false) (f625c 5) (f625m false) (f626c 6) (f626m false) (f627c 1) (f627m true) (f628c 6) (f628m false) (f629c 6) (f629m true) (f62c 1) (f62m false) (f630c 6) (f630m false) (f631c 6) (f631m false) (f632c 6) (f632m false) (f633c 6) (f633m false) (f634c 7) (f634m false) (f635c 6) (f635m true) (f636c 5) (f636m true) (f637c 4) (f637m true) (f638c 7) (f638m false) (f639c 2) (f639m true) (f63c 3) (f63m false) (f640c 7) (f640m false) (f641c 0) (f641m false) (f642c 1) (f642m true) (f643c 0) (f643m true) (f644c 2) (f644m false) (f645c 0) (f645m true) (f646c 1) (f646m false) (f647c 2) (f647m false) (f648c 2) (f648m false) (f649c 2) (f649m false) (f64c 2) (f64m false) (f650c 3) (f650m false) (f651c 1) (f651m true) (f652c 3) (f652m false) (f653c 0) (f653m true) (f654c 3) (f654m false) (f655c 3) (f655m false) (f656c 3) (f656m false) (f657c 3) (f657m false) (f658c 4) (f658m false) (f659c 1) (f659m true) (f65c 3) (f65m false) (f660c 4) (f660m false) (f661c 3) (f661m true) (f662c 4) (f662m false) (f663c 4) (f663m false) (f664c 4) (f664m false) (f665c 4) (f665m false) (f666c 5) (f666m false) (f667c 4) (f667m true) (f668c 3) (f668m true) (f669c 2) (f669m true) (f66c 4) (f66m false) (f670c 5) (f670m false) (f671c 0) (f671m true) (f672c 5) (f672m false) (f673c 0) (f673m false) (f674c 6) (f674m false) (f675c 5) (f675m true) (f676c 7) (f676m true) (f677c 0) (f677m true) (f678c 6) (f678m false) (f679c 4) (f679m true) (f67c 0) (f67m true) (f680c 6) (f680m false) (f681c 0) (f681m false) (f682c 7) (f682m false) (f683c 6) (f683m true) (f684c 6) (f684m true) (f685c 4) (f685m true) (f686c 7) (f686m false) (f687c 1) (f687m true) (f688c 7) (f688m false) (f689c 0) (f689m false) (f68c 4) (f68m false) (f690c 1) (f690m true) (f691c 0) (f691m true) (f692c 2) (f692m false) (f693c 0) (f693m true) (f694c 1) (f694m false) (f695c 2) (f695m false) (f696c 2) (f696m false) (f697c 2) (f697m false) (f698c 3) (f698m false) (f699c 1) (f699m true) (f69c 1) (f69m true) (f6c 1) (f6m false) (f700c 3) (f700m false) (f701c 1) (f701m true) (f702c 3) (f702m false) (f703c 3) (f703m false) (f704c 3) (f704m false) (f705c 3) (f705m false) (f706c 4) (f706m false) (f707c 4) (f707m true) (f708c 6) (f708m true) (f709c 6) (f709m true) (f70c 4) (f70m false) (f710c 4) (f710m false) (f711c 1) (f711m true) (f712c 4) (f712m false) (f713c 0) (f713m false) (f714c 5) (f714m true) (f715c 4) (f715m true) (f716c 5) (f716m false) (f717c 4) (f717m true) (f718c 1) (f718m false) (f719c 5) (f719m false) (f71c 4) (f71m false) (f720c 2) (f720m false) (f721c 5) (f721m false) (f722c 7) (f722m true) (f723c 7) (f723m true) (f724c 7) (f724m true) (f725c 4) (f725m true) (f726c 3) (f726m false) (f727c 6) (f727m true) (f728c 3) (f728m false) (f729c 0) (f729m false) (f72c 4) (f72m false) (f730c 1) (f730m true) (f731c 0) (f731m true) (f732c 2) (f732m false) (f733c 0) (f733m true) (f734c 1) (f734m false) (f735c 2) (f735m false) (f736c 2) (f736m false) (f737c 2) (f737m false) (f738c 3) (f738m false) (f739c 1) (f739m true) (f73c 4) (f73m false) (f740c 3) (f740m false) (f741c 0) (f741m true) (f742c 3) (f742m false) (f743c 3) (f743m false) (f744c 3) (f744m false) (f745c 3) (f745m false) (f746c 4) (f746m false) (f747c 1) (f747m true) (f748c 4) (f748m false) (f749c 3) (f749m true) (f74c 4) (f74m false) (f750c 4) (f750m false) (f751c 4) (f751m false) (f752c 4) (f752m false) (f753c 4) (f753m false) (f754c 5) (f754m false) (f755c 4) (f755m true) (f756c 6) (f756m true) (f757c 2) (f757m true) (f758c 5) (f758m false) (f759c 1) (f759m true) (f75c 0) (f75m true) (f760c 5) (f760m false) (f761c 0) (f761m false) (f762c 6) (f762m false) (f763c 4) (f763m true) (f764c 6) (f764m true) (f765c 2) (f765m true) (f766c 6) (f766m false) (f767c 6) (f767m true) (f768c 6) (f768m false) (f769c 0) (f769m false) (f76c 4) (f76m true) (f770c 6) (f770m true) (f771c 4) (f771m true) (f772c 7) (f772m false) (f773c 4) (f773m true) (f774c 1) (f774m false) (f775c 7) (f775m false) (f776c 2) (f776m false) (f777c 7) (f777m false) (f778c 7) (f778m true) (f779c 7) (f779m true) (f77c 0) (f77m true) (f780c 6) (f780m true) (f781c 4) (f781m true) (f782c 3) (f782m false) (f783c 2) (f783m true) (f784c 3) (f784m false) (f785c 0) (f785m false) (f786c 1) (f786m true) (f787c 1) (f787m true) (f788c 2) (f788m false) (f789c 2) (f789m true) (f78c 4) (f78m false) (f790c 1) (f790m false) (f791c 2) (f791m false) (f792c 2) (f792m false) (f793c 2) (f793m false) (f794c 0) (f794m true) (f795c 1) (f795m true) (f796c 2) (f796m true) (f797c 4) (f797m true) (f798c 3) (f798m false) (f799c 2) (f799m true) (f79c 1) (f79m true) (f7c 3) (f7m true) (f800c 3) (f800m false) (f801c 0) (f801m false) (f802c 0) (f802m true) (f803c 4) (f803m true) (f804c 0) (f804m true) (f805c 4) (f805m true) (f806c 1) (f806m false) (f807c 4) (f807m false) (f808c 2) (f808m false) (f809c 4) (f809m false) (f80c 4) (f80m false) (f810c 0) (f810m true) (f811c 0) (f811m true) (f812c 0) (f812m true) (f813c 0) (f813m true) (f814c 5) (f814m false) (f815c 5) (f815m false) (f816c 5) (f816m false) (f817c 5) (f817m false) (f818c 4) (f818m true) (f819c 0) (f819m true) (f81c 3) (f81m true) (f820c 0) (f820m true) (f821c 0) (f821m true) (f822c 6) (f822m false) (f823c 6) (f823m false) (f824c 6) (f824m false) (f825c 6) (f825m false) (f826c 6) (f826m true) (f827c 4) (f827m true) (f828c 0) (f828m true) (f829c 0) (f829m true) (f82c 2) (f82m false) (f830c 7) (f830m false) (f831c 4) (f831m true) (f832c 7) (f832m false) (f833c 0) (f833m false) (f834c 1) (f834m true) (f835c 1) (f835m true) (f836c 2) (f836m false) (f837c 2) (f837m true) (f838c 1) (f838m false) (f839c 2) (f839m false) (f83c 4) (f83m true) (f840c 2) (f840m false) (f841c 2) (f841m false) (f842c 1) (f842m true) (f843c 1) (f843m true) (f844c 3) (f844m true) (f845c 0) (f845m true) (f846c 3) (f846m false) (f847c 4) (f847m true) (f848c 3) (f848m false) (f849c 0) (f849m false) (f84c 1) (f84m true) (f850c 6) (f850m true) (f851c 4) (f851m true) (f852c 3) (f852m true) (f853c 0) (f853m true) (f854c 1) (f854m false) (f855c 4) (f855m false) (f856c 2) (f856m false) (f857c 4) (f857m false) (f858c 5) (f858m true) (f859c 4) (f859m true) (f85c 0) (f85m true) (f860c 0) (f860m true) (f861c 2) (f861m true) (f862c 5) (f862m false) (f863c 5) (f863m false) (f864c 5) (f864m false) (f865c 5) (f865m false) (f866c 7) (f866m true) (f867c 4) (f867m true) (f868c 0) (f868m true) (f869c 0) (f869m true) (f86c 2) (f86m false) (f870c 6) (f870m false) (f871c 2) (f871m true) (f872c 6) (f872m false) (f873c 0) (f873m false) (f87c 4) (f87m true) (f88c 2) (f88m false) (f89c 0) (f89m false) (f8c 2) (f8m true) (f90c 3) (f90m false) (f91c 6) (f91m true) (f92c 0) (f92m true) (f93c 0) (f93m true) (f94c 3) (f94m false) (f95c 2) (f95m true) (f96c 3) (f96m false) (f97c 0) (f97m false) (f98c 4) (f98m true) (f99c 0) (f99m true) (f9c 0) (f9m true) (l0c 0) (l0m true) (l1000c 6) (l1000m false) (l1001c 5) (l1001m true) (l1002c 6) (l1002m false) (l1003c 6) (l1003m true) (l1004c 4) (l1004m true) (l1005c 5) (l1005m true) (l1006c 6) (l1006m true) (l1007c 5) (l1007m true) (l1008c 5) (l1008m true) (l1009c 4) (l1009m true) (l100c 2) (l100m true) (l1010c 2) (l1010m true) (l1011c 2) (l1011m true) (l1012c 6) (l1012m false) (l1013c 2) (l1013m true) (l1014c 6) (l1014m false) (l1015c 4) (l1015m true) (l1016c 0) (l1016m true) (l1017c 0) (l1017m true) (l1018c 6) (l1018m false) (l1019c 0) (l1019m false) (l101c 0) (l101m true) (l1020c 6) (l1020m true) (l1021c 4) (l1021m true) (l1022c 7) (l1022m true) (l1023c 4) (l1023m true) (l1024c 6) (l1024m true) (l1025c 4) (l1025m true) (l1026c 7) (l1026m false) (l1027c 7) (l1027m true) (l1028c 7) (l1028m false) (l1029c 5) (l1029m true) (l102c 0) (l102m true) (l1030c 6) (l1030m true) (l1031c 4) (l1031m true) (l1032c 2) (l1032m true) (l1033c 1) (l1033m false) (l1034c 1) (l1034m false) (l1035c 7) (l1035m false) (l1036c 1) (l1036m false) (l1037c 7) (l1037m false) (l1038c 2) (l1038m false) (l1039c 7) (l1039m false) (l103c 2) (l103m true) (l1040c 7) (l1040m true) (l1041c 7) (l1041m true) (l1042c 7) (l1042m true) (l1043c 6) (l1043m true) (l1044c 6) (l1044m true) (l1045c 7) (l1045m true) (l1046c 7) (l1046m true) (l1047c 7) (l1047m true) (l1048c 7) (l1048m true) (l1049c 0) (l1049m true) (l104c 0) (l104m true) (l1050c 4) (l1050m true) (l1051c 4) (l1051m true) (l1052c 2) (l1052m false) (l1053c 3) (l1053m true) (l1054c 2) (l1054m false) (l1055c 2) (l1055m true) (l1056c 0) (l1056m true) (l1057c 6) (l1057m true) (l1058c 2) (l1058m false) (l1059c 3) (l1059m true) (l105c 0) (l105m true) (l1060c 2) (l1060m true) (l1061c 1) (l1061m true) (l1062c 1) (l1062m true) (l1063c 2) (l1063m true) (l1064c 1) (l1064m true) (l1065c 1) (l1065m true) (l1066c 2) (l1066m false) (l1067c 0) (l1067m true) (l1068c 2) (l1068m false) (l1069c 6) (l1069m true) (l106c 3) (l106m false) (l1070c 2) (l1070m true) (l1071c 2) (l1071m true) (l1072c 4) (l1072m true) (l1073c 1) (l1073m false) (l1074c 1) (l1074m false) (l1075c 2) (l1075m false) (l1076c 1) (l1076m false) (l1077c 2) (l1077m false) (l1078c 2) (l1078m false) (l1079c 2) (l1079m false) (l107c 6) (l107m true) (l1080c 1) (l1080m true) (l1081c 2) (l1081m true) (l1082c 1) (l1082m true) (l1083c 1) (l1083m true) (l1084c 7) (l1084m true) (l1085c 1) (l1085m true) (l1086c 0) (l1086m true) (l1087c 3) (l1087m true) (l1088c 6) (l1088m true) (l1089c 0) (l1089m true) (l108c 3) (l108m false) (l1090c 0) (l1090m true) (l1091c 0) (l1091m true) (l1092c 3) (l1092m false) (l1093c 3) (l1093m true) (l1094c 3) (l1094m false) (l1095c 0) (l1095m true) (l1096c 2) (l1096m true) (l1097c 0) (l1097m true) (l1098c 3) (l1098m false) (l1099c 0) (l1099m false) (l109c 5) (l109m true) (l10c 0) (l10m true) (l1100c 6) (l1100m true) (l1101c 1) (l1101m true) (l1102c 1) (l1102m true) (l1103c 0) (l1103m true) (l1104c 2) (l1104m true) (l1105c 0) (l1105m true) (l1106c 0) (l1106m true) (l1107c 0) (l1107m true) (l1108c 0) (l1108m true) (l1109c 2) (l1109m true) (l110c 6) (l110m true) (l1110c 0) (l1110m true) (l1111c 0) (l1111m true) (l1112c 4) (l1112m true) (l1113c 1) (l1113m false) (l1114c 1) (l1114m false) (l1115c 4) (l1115m false) (l1116c 1) (l1116m false) (l1117c 4) (l1117m false) (l1118c 2) (l1118m false) (l1119c 4) (l1119m false) (l111c 4) (l111m true) (l1120c 4) (l1120m true) (l1121c 5) (l1121m true) (l1122c 5) (l1122m true) (l1123c 0) (l1123m true) (l1124c 6) (l1124m true) (l1125c 0) (l1125m true) (l1126c 4) (l1126m true) (l1127c 2) (l1127m true) (l1128c 4) (l1128m true) (l1129c 2) (l1129m true) (l112c 1) (l112m true) (l1130c 0) (l1130m true) (l1131c 0) (l1131m true) (l1132c 0) (l1132m true) (l1133c 5) (l1133m false) (l1134c 5) (l1134m false) (l1135c 3) (l1135m false) (l1136c 5) (l1136m false) (l1137c 5) (l1137m false) (l1138c 5) (l1138m false) (l1139c 5) (l1139m false) (l113c 1) (l113m false) (l1140c 6) (l1140m true) (l1141c 4) (l1141m true) (l1142c 6) (l1142m true) (l1143c 0) (l1143m true) (l1144c 4) (l1144m true) (l1145c 0) (l1145m true) (l1146c 6) (l1146m true) (l1147c 0) (l1147m true) (l1148c 4) (l1148m true) (l1149c 2) (l1149m true) (l114c 1) (l114m false) (l1150c 0) (l1150m true) (l1151c 0) (l1151m true) (l1152c 7) (l1152m true) (l1153c 6) (l1153m false) (l1154c 6) (l1154m false) (l1155c 6) (l1155m false) (l1156c 6) (l1156m false) (l1157c 6) (l1157m false) (l1158c 6) (l1158m false) (l1159c 6) (l1159m false) (l115c 3) (l115m false) (l1160c 6) (l1160m true) (l1161c 7) (l1161m true) (l1162c 6) (l1162m true) (l1163c 6) (l1163m true) (l1164c 7) (l1164m true) (l1165c 4) (l1165m true) (l1166c 6) (l1166m true) (l1167c 2) (l1167m true) (l1168c 6) (l1168m true) (l1169c 2) (l1169m true) (l116c 1) (l116m false) (l1170c 0) (l1170m true) (l1171c 0) (l1171m true) (l1172c 6) (l1172m false) (l1173c 2) (l1173m true) (l1174c 6) (l1174m false) (l1175c 0) (l1175m true) (l1176c 4) (l1176m true) (l1177c 3) (l1177m true) (l1178c 6) (l1178m false) (l1179c 4) (l1179m true) (l117c 3) (l117m false) (l1180c 2) (l1180m true) (l1181c 1) (l1181m true) (l1182c 1) (l1182m true) (l1183c 1) (l1183m true) (l1184c 0) (l1184m true) (l1185c 1) (l1185m true) (l1186c 2) (l1186m false) (l1187c 0) (l1187m true) (l1188c 2) (l1188m false) (l1189c 2) (l1189m true) (l118c 2) (l118m false) (l1190c 2) (l1190m true) (l1191c 2) (l1191m true) (l1192c 4) (l1192m true) (l1193c 1) (l1193m false) (l1194c 1) (l1194m false) (l1195c 2) (l1195m false) (l1196c 1) (l1196m false) (l1197c 2) (l1197m false) (l1198c 2) (l1198m false) (l1199c 2) (l1199m false) (l119c 3) (l119m false) (l11c 0) (l11m true) (l1200c 1) (l1200m true) (l1201c 2) (l1201m true) (l1202c 1) (l1202m true) (l1203c 1) (l1203m true) (l1204c 4) (l1204m true) (l1205c 1) (l1205m true) (l1206c 5) (l1206m true) (l1207c 3) (l1207m true) (l1208c 0) (l1208m true) (l1209c 2) (l1209m true) (l120c 4) (l120m true) (l1210c 0) (l1210m true) (l1211c 0) (l1211m true) (l1212c 3) (l1212m false) (l1213c 0) (l1213m true) (l1214c 3) (l1214m false) (l1215c 2) (l1215m true) (l1216c 2) (l1216m true) (l1217c 0) (l1217m true) (l1218c 3) (l1218m false) (l1219c 0) (l1219m false) (l121c 4) (l121m false) (l1220c 6) (l1220m true) (l1221c 2) (l1221m true) (l1222c 2) (l1222m true) (l1223c 0) (l1223m true) (l1224c 6) (l1224m true) (l1225c 0) (l1225m true) (l1226c 2) (l1226m true) (l1227c 0) (l1227m true) (l1228c 2) (l1228m true) (l1229c 2) (l1229m true) (l122c 4) (l122m false) (l1230c 2) (l1230m true) (l1231c 0) (l1231m true) (l1232c 4) (l1232m true) (l1233c 1) (l1233m false) (l1234c 1) (l1234m false) (l1235c 4) (l1235m false) (l1236c 1) (l1236m false) (l1237c 4) (l1237m false) (l1238c 2) (l1238m false) (l1239c 4) (l1239m false) (l123c 3) (l123m true) (l1240c 5) (l1240m true) (l1241c 6) (l1241m true) (l1242c 5) (l1242m true) (l1243c 4) (l1243m true) (l1244c 4) (l1244m true) (l1245c 0) (l1245m true) (l1246c 2) (l1246m true) (l1247c 3) (l1247m true) (l1248c 2) (l1248m true) (l1249c 0) (l1249m true) (l124c 0) (l124m true) (l1250c 2) (l1250m true) (l1251c 0) (l1251m true) (l1252c 2) (l1252m true) (l1253c 5) (l1253m false) (l1254c 5) (l1254m false) (l1255c 3) (l1255m false) (l1256c 5) (l1256m false) (l1257c 5) (l1257m false) (l1258c 5) (l1258m false) (l1259c 5) (l1259m false) (l125c 0) (l125m true) (l1260c 7) (l1260m true) (l1261c 6) (l1261m true) (l1262c 7) (l1262m true) (l1263c 4) (l1263m true) (l1264c 2) (l1264m true) (l1265c 0) (l1265m true) (l1266c 2) (l1266m true) (l1267c 3) (l1267m true) (l1268c 2) (l1268m true) (l1269c 4) (l1269m true) (l126c 3) (l126m true) (l1270c 4) (l1270m true) (l1271c 0) (l1271m true) (l1272c 5) (l1272m false) (l1273c 0) (l1273m true) (l1274c 5) (l1274m false) (l1275c 4) (l1275m true) (l1276c 6) (l1276m true) (l1277c 4) (l1277m true) (l1278c 5) (l1278m false) (l1279c 2) (l1279m true) (l127c 4) (l127m false) (l1280c 2) (l1280m true) (l1281c 1) (l1281m true) (l1282c 1) (l1282m true) (l1283c 0) (l1283m true) (l1284c 0) (l1284m true) (l1285c 0) (l1285m true) (l1286c 2) (l1286m false) (l1287c 2) (l1287m true) (l1288c 2) (l1288m false) (l1289c 3) (l1289m true) (l128c 4) (l128m false) (l1290c 0) (l1290m true) (l1291c 0) (l1291m true) (l1292c 2) (l1292m true) (l1293c 1) (l1293m false) (l1294c 1) (l1294m false) (l1295c 2) (l1295m false) (l1296c 1) (l1296m false) (l1297c 2) (l1297m false) (l1298c 2) (l1298m false) (l1299c 2) (l1299m false) (l129c 1) (l129m true) (l12c 4) (l12m true) (l1300c 3) (l1300m true) (l1301c 3) (l1301m false) (l1302c 3) (l1302m false) (l1303c 2) (l1303m true) (l1304c 1) (l1304m true) (l1305c 0) (l1305m true) (l1306c 3) (l1306m true) (l1307c 3) (l1307m false) (l1308c 3) (l1308m false) (l1309c 2) (l1309m true) (l130c 4) (l130m true) (l1310c 2) (l1310m true) (l1311c 2) (l1311m true) (l1312c 4) (l1312m true) (l1313c 3) (l1313m false) (l1314c 3) (l1314m false) (l1315c 3) (l1315m false) (l1316c 3) (l1316m false) (l1317c 3) (l1317m false) (l1318c 3) (l1318m false) (l1319c 3) (l1319m false) (l131c 1) (l131m true) (l1320c 4) (l1320m false) (l1321c 3) (l1321m true) (l1322c 4) (l1322m false) (l1323c 2) (l1323m true) (l1324c 7) (l1324m true) (l1325c 4) (l1325m true) (l1326c 0) (l1326m true) (l1327c 2) (l1327m true) (l1328c 3) (l1328m true) (l1329c 3) (l1329m true) (l132c 2) (l132m true) (l1330c 2) (l1330m true) (l1331c 1) (l1331m true) (l1332c 4) (l1332m false) (l1333c 0) (l1333m true) (l1334c 4) (l1334m false) (l1335c 0) (l1335m true) (l1336c 4) (l1336m true) (l1337c 1) (l1337m true) (l1338c 4) (l1338m false) (l1339c 0) (l1339m false) (l133c 4) (l133m false) (l1340c 5) (l1340m false) (l1341c 2) (l1341m true) (l1342c 5) (l1342m false) (l1343c 3) (l1343m true) (l1344c 4) (l1344m true) (l1345c 3) (l1345m true) (l1346c 7) (l1346m true) (l1347c 2) (l1347m true) (l1348c 6) (l1348m true) (l1349c 6) (l1349m true) (l134c 4) (l134m false) (l1350c 5) (l1350m true) (l1351c 5) (l1351m true) (l1352c 5) (l1352m false) (l1353c 0) (l1353m true) (l1354c 5) (l1354m false) (l1355c 2) (l1355m true) (l1356c 2) (l1356m true) (l1357c 2) (l1357m true) (l1358c 5) (l1358m false) (l1359c 0) (l1359m false) (l135c 3) (l135m false) (l1360c 2) (l1360m false) (l1361c 6) (l1361m true) (l1362c 2) (l1362m false) (l1363c 7) (l1363m true) (l1364c 6) (l1364m true) (l1365c 4) (l1365m true) (l1366c 2) (l1366m true) (l1367c 2) (l1367m true) (l1368c 0) (l1368m true) (l1369c 2) (l1369m true) (l136c 4) (l136m false) (l1370c 0) (l1370m true) (l1371c 4) (l1371m true) (l1372c 2) (l1372m false) (l1373c 6) (l1373m true) (l1374c 2) (l1374m false) (l1375c 4) (l1375m true) (l1376c 2) (l1376m true) (l1377c 1) (l1377m true) (l1378c 2) (l1378m false) (l1379c 0) (l1379m false) (l137c 4) (l137m false) (l1380c 2) (l1380m true) (l1381c 0) (l1381m true) (l1382c 2) (l1382m true) (l1383c 0) (l1383m true) (l1384c 0) (l1384m true) (l1385c 0) (l1385m true) (l1386c 3) (l1386m false) (l1387c 2) (l1387m true) (l1388c 3) (l1388m false) (l1389c 4) (l1389m true) (l138c 4) (l138m false) (l1390c 6) (l1390m true) (l1391c 4) (l1391m true) (l1392c 4) (l1392m true) (l1393c 1) (l1393m false) (l1394c 1) (l1394m false) (l1395c 3) (l1395m false) (l1396c 1) (l1396m false) (l1397c 3) (l1397m false) (l1398c 2) (l1398m false) (l1399c 3) (l1399m false) (l139c 4) (l139m false) (l13c 1) (l13m false) (l1400c 4) (l1400m true) (l1401c 4) (l1401m false) (l1402c 4) (l1402m false) (l1403c 2) (l1403m true) (l1404c 1) (l1404m true) (l1405c 1) (l1405m true) (l1406c 2) (l1406m true) (l1407c 4) (l1407m false) (l1408c 4) (l1408m false) (l1409c 0) (l1409m true) (l140c 4) (l140m false) (l1410c 2) (l1410m true) (l1411c 0) (l1411m true) (l1412c 2) (l1412m true) (l1413c 4) (l1413m false) (l1414c 4) (l1414m false) (l1415c 3) (l1415m false) (l1416c 4) (l1416m false) (l1417c 4) (l1417m false) (l1418c 4) (l1418m false) (l1419c 4) (l1419m false) (l141c 6) (l141m true) (l1420c 5) (l1420m false) (l1421c 3) (l1421m true) (l1422c 5) (l1422m false) (l1423c 2) (l1423m true) (l1424c 6) (l1424m true) (l1425c 2) (l1425m true) (l1426c 0) (l1426m true) (l1427c 6) (l1427m true) (l1428c 6) (l1428m true) (l1429c 2) (l1429m true) (l142c 4) (l142m false) (l1430c 0) (l1430m true) (l1431c 0) (l1431m true) (l1432c 5) (l1432m false) (l1433c 0) (l1433m true) (l1434c 5) (l1434m false) (l1435c 0) (l1435m true) (l1436c 0) (l1436m true) (l1437c 5) (l1437m true) (l1438c 5) (l1438m false) (l1439c 0) (l1439m false) (l143c 3) (l143m true) (l1440c 2) (l1440m false) (l1441c 2) (l1441m true) (l1442c 2) (l1442m false) (l1443c 7) (l1443m true) (l1444c 2) (l1444m true) (l1445c 5) (l1445m true) (l1446c 2) (l1446m true) (l1447c 2) (l1447m true) (l1448c 0) (l1448m true) (l1449c 2) (l1449m true) (l144c 2) (l144m true) (l1450c 0) (l1450m true) (l1451c 0) (l1451m true) (l1452c 2) (l1452m false) (l1453c 2) (l1453m true) (l1454c 2) (l1454m false) (l1455c 1) (l1455m true) (l1456c 0) (l1456m true) (l1457c 2) (l1457m true) (l1458c 2) (l1458m false) (l1459c 0) (l1459m false) (l145c 0) (l145m true) (l1460c 3) (l1460m false) (l1461c 0) (l1461m true) (l1462c 3) (l1462m false) (l1463c 2) (l1463m true) (l1464c 1) (l1464m true) (l1465c 2) (l1465m true) (l1466c 6) (l1466m true) (l1467c 5) (l1467m true) (l1468c 0) (l1468m true) (l1469c 4) (l1469m true) (l146c 4) (l146m true) (l1470c 0) (l1470m true) (l1471c 1) (l1471m true) (l1472c 3) (l1472m false) (l1473c 4) (l1473m true) (l1474c 3) (l1474m false) (l1475c 4) (l1475m true) (l1476c 0) (l1476m true) (l1477c 4) (l1477m true) (l1478c 3) (l1478m false) (l1479c 0) (l1479m false) (l147c 4) (l147m true) (l1480c 6) (l1480m true) (l1481c 4) (l1481m true) (l1482c 4) (l1482m true) (l1483c 2) (l1483m true) (l1484c 0) (l1484m true) (l1485c 0) (l1485m true) (l1486c 4) (l1486m false) (l1487c 4) (l1487m true) (l1488c 4) (l1488m false) (l1489c 2) (l1489m true) (l148c 4) (l148m true) (l1490c 6) (l1490m true) (l1491c 0) (l1491m true) (l1492c 2) (l1492m true) (l1493c 1) (l1493m false) (l1494c 1) (l1494m false) (l1495c 4) (l1495m false) (l1496c 1) (l1496m false) (l1497c 4) (l1497m false) (l1498c 2) (l1498m false) (l1499c 4) (l1499m false) (l149c 0) (l149m true) (l14c 1) (l14m false) (l1500c 5) (l1500m true) (l1501c 5) (l1501m false) (l1502c 5) (l1502m false) (l1503c 6) (l1503m true) (l1504c 0) (l1504m true) (l1505c 1) (l1505m true) (l1506c 5) (l1506m true) (l1507c 5) (l1507m false) (l1508c 5) (l1508m false) (l1509c 2) (l1509m true) (l150c 2) (l150m true) (l1510c 0) (l1510m true) (l1511c 5) (l1511m true) (l1512c 0) (l1512m true) (l1513c 5) (l1513m false) (l1514c 5) (l1514m false) (l1515c 3) (l1515m false) (l1516c 5) (l1516m false) (l1517c 5) (l1517m false) (l1518c 5) (l1518m false) (l1519c 5) (l1519m false) (l151c 0) (l151m true) (l1520c 6) (l1520m true) (l1521c 6) (l1521m false) (l1522c 6) (l1522m false) (l1523c 6) (l1523m true) (l1524c 5) (l1524m true) (l1525c 1) (l1525m true) (l1526c 6) (l1526m false) (l1527c 6) (l1527m false) (l1528c 6) (l1528m false) (l1529c 6) (l1529m true) (l152c 4) (l152m false) (l1530c 6) (l1530m true) (l1531c 6) (l1531m true) (l1532c 2) (l1532m true) (l1533c 6) (l1533m false) (l1534c 6) (l1534m false) (l1535c 6) (l1535m false) (l1536c 6) (l1536m false) (l1537c 6) (l1537m false) (l1538c 6) (l1538m false) (l1539c 6) (l1539m false) (l153c 2) (l153m true) (l1540c 7) (l1540m false) (l1541c 5) (l1541m true) (l1542c 7) (l1542m false) (l1543c 6) (l1543m true) (l1544c 4) (l1544m true) (l1545c 6) (l1545m true) (l1546c 2) (l1546m true) (l1547c 5) (l1547m true) (l1548c 5) (l1548m true) (l1549c 2) (l1549m true) (l154c 4) (l154m false) (l1550c 0) (l1550m true) (l1551c 4) (l1551m true) (l1552c 7) (l1552m false) (l1553c 4) (l1553m true) (l1554c 7) (l1554m false) (l1555c 2) (l1555m true) (l1556c 2) (l1556m true) (l1557c 2) (l1557m true) (l1558c 7) (l1558m false) (l1559c 0) (l1559m false) (l155c 1) (l155m true) (l1560c 2) (l1560m true) (l1561c 1) (l1561m true) (l1562c 1) (l1562m true) (l1563c 0) (l1563m true) (l1564c 2) (l1564m true) (l1565c 0) (l1565m true) (l1566c 2) (l1566m false) (l1567c 2) (l1567m true) (l1568c 2) (l1568m false) (l1569c 0) (l1569m true) (l156c 2) (l156m true) (l1570c 0) (l1570m true) (l1571c 0) (l1571m true) (l1572c 6) (l1572m true) (l1573c 1) (l1573m false) (l1574c 1) (l1574m false) (l1575c 2) (l1575m false) (l1576c 1) (l1576m false) (l1577c 2) (l1577m false) (l1578c 2) (l1578m false) (l1579c 2) (l1579m false) (l157c 1) (l157m true) (l1580c 2) (l1580m true) (l1581c 3) (l1581m false) (l1582c 3) (l1582m false) (l1583c 0) (l1583m true) (l1584c 1) (l1584m true) (l1585c 1) (l1585m true) (l1586c 2) (l1586m true) (l1587c 3) (l1587m false) (l1588c 3) (l1588m false) (l1589c 0) (l1589m true) (l158c 4) (l158m false) (l1590c 0) (l1590m true) (l1591c 0) (l1591m true) (l1592c 0) (l1592m true) (l1593c 3) (l1593m false) (l1594c 3) (l1594m false) (l1595c 3) (l1595m false) (l1596c 3) (l1596m false) (l1597c 3) (l1597m false) (l1598c 3) (l1598m false) (l1599c 3) (l1599m false) (l159c 3) (l159m true) (l15c 2) (l15m false) (l1600c 4) (l1600m true) (l1601c 4) (l1601m false) (l1602c 4) (l1602m false) (l1603c 1) (l1603m true) (l1604c 6) (l1604m true) (l1605c 1) (l1605m true) (l1606c 4) (l1606m false) (l1607c 4) (l1607m false) (l1608c 4) (l1608m false) (l1609c 3) (l1609m true) (l160c 2) (l160m false) (l1610c 3) (l1610m true) (l1611c 3) (l1611m true) (l1612c 6) (l1612m true) (l1613c 4) (l1613m false) (l1614c 4) (l1614m false) (l1615c 4) (l1615m false) (l1616c 4) (l1616m false) (l1617c 4) (l1617m false) (l1618c 4) (l1618m false) (l1619c 4) (l1619m false) (l161c 2) (l161m true) (l1620c 5) (l1620m false) (l1621c 3) (l1621m true) (l1622c 5) (l1622m false) (l1623c 4) (l1623m true) (l1624c 6) (l1624m true) (l1625c 4) (l1625m true) (l1626c 7) (l1626m true) (l1627c 2) (l1627m true) (l1628c 3) (l1628m true) (l1629c 4) (l1629m true) (l162c 2) (l162m false) (l1630c 2) (l1630m true) (l1631c 2) (l1631m true) (l1632c 5) (l1632m false) (l1633c 0) (l1633m true) (l1634c 5) (l1634m false) (l1635c 2) (l1635m true) (l1636c 0) (l1636m true) (l1637c 0) (l1637m true) (l1638c 5) (l1638m false) (l1639c 0) (l1639m false) (l163c 7) (l163m true) (l1640c 6) (l1640m false) (l1641c 1) (l1641m true) (l1642c 6) (l1642m false) (l1643c 5) (l1643m true) (l1644c 2) (l1644m true) (l1645c 5) (l1645m true) (l1646c 5) (l1646m true) (l1647c 2) (l1647m true) (l1648c 7) (l1648m true) (l1649c 4) (l1649m true) (l164c 6) (l164m true) (l1650c 0) (l1650m true) (l1651c 0) (l1651m true) (l1652c 6) (l1652m false) (l1653c 2) (l1653m true) (l1654c 6) (l1654m false) (l1655c 4) (l1655m true) (l1656c 0) (l1656m true) (l1657c 4) (l1657m true) (l1658c 6) (l1658m false) (l1659c 0) (l1659m false) (l165c 4) (l165m true) (l1660c 7) (l1660m false) (l1661c 6) (l1661m true) (l1662c 7) (l1662m false) (l1663c 6) (l1663m true) (l1664c 6) (l1664m true) (l1665c 6) (l1665m true) (l1666c 6) (l1666m true) (l1667c 6) (l1667m true) (l1668c 6) (l1668m true) (l1669c 6) (l1669m true) (l166c 0) (l166m true) (l1670c 4) (l1670m true) (l1671c 4) (l1671m true) (l1672c 7) (l1672m false) (l1673c 0) (l1673m true) (l1674c 7) (l1674m false) (l1675c 4) (l1675m true) (l1676c 0) (l1676m true) (l1677c 1) (l1677m true) (l1678c 7) (l1678m false) (l1679c 0) (l1679m false) (l167c 0) (l167m true) (l1680c 2) (l1680m true) (l1681c 1) (l1681m true) (l1682c 1) (l1682m true) (l1683c 2) (l1683m true) (l1684c 0) (l1684m true) (l1685c 0) (l1685m true) (l1686c 2) (l1686m false) (l1687c 2) (l1687m true) (l1688c 2) (l1688m false) (l1689c 0) (l1689m true) (l168c 1) (l168m true) (l1690c 0) (l1690m true) (l1691c 0) (l1691m true) (l1692c 2) (l1692m true) (l1693c 1) (l1693m false) (l1694c 1) (l1694m false) (l1695c 2) (l1695m false) (l1696c 1) (l1696m false) (l1697c 2) (l1697m false) (l1698c 2) (l1698m false) (l1699c 2) (l1699m false) (l169c 4) (l169m true) (l16c 1) (l16m false) (l1700c 2) (l1700m true) (l1701c 3) (l1701m false) (l1702c 3) (l1702m false) (l1703c 2) (l1703m true) (l1704c 1) (l1704m true) (l1705c 1) (l1705m true) (l1706c 3) (l1706m true) (l1707c 3) (l1707m false) (l1708c 3) (l1708m false) (l1709c 1) (l1709m true) (l170c 0) (l170m true) (l1710c 1) (l1710m true) (l1711c 1) (l1711m true) (l1712c 4) (l1712m true) (l1713c 3) (l1713m false) (l1714c 3) (l1714m false) (l1715c 3) (l1715m false) (l1716c 3) (l1716m false) (l1717c 3) (l1717m false) (l1718c 3) (l1718m false) (l1719c 3) (l1719m false) (l171c 0) (l171m true) (l1720c 4) (l1720m false) (l1721c 3) (l1721m true) (l1722c 4) (l1722m false) (l1723c 2) (l1723m true) (l1724c 4) (l1724m true) (l1725c 4) (l1725m true) (l1726c 6) (l1726m true) (l1727c 6) (l1727m true) (l1728c 6) (l1728m true) (l1729c 3) (l1729m true) (l172c 2) (l172m false) (l1730c 2) (l1730m true) (l1731c 6) (l1731m true) (l1732c 4) (l1732m false) (l1733c 1) (l1733m true) (l1734c 4) (l1734m false) (l1735c 2) (l1735m true) (l1736c 0) (l1736m true) (l1737c 1) (l1737m true) (l1738c 4) (l1738m false) (l1739c 0) (l1739m false) (l173c 0) (l173m true) (l1740c 6) (l1740m true) (l1741c 5) (l1741m true) (l1742c 5) (l1742m true) (l1743c 4) (l1743m true) (l1744c 6) (l1744m true) (l1745c 4) (l1745m true) (l1746c 5) (l1746m false) (l1747c 6) (l1747m true) (l1748c 5) (l1748m false) (l1749c 2) (l1749m true) (l174c 2) (l174m false) (l1750c 0) (l1750m true) (l1751c 4) (l1751m true) (l1752c 6) (l1752m true) (l1753c 1) (l1753m false) (l1754c 1) (l1754m false) (l1755c 5) (l1755m false) (l1756c 1) (l1756m false) (l1757c 5) (l1757m false) (l1758c 2) (l1758m false) (l1759c 5) (l1759m false) (l175c 0) (l175m true) (l1760c 7) (l1760m true) (l1761c 6) (l1761m true) (l1762c 7) (l1762m true) (l1763c 3) (l1763m true) (l1764c 7) (l1764m true) (l1765c 7) (l1765m true) (l1766c 6) (l1766m true) (l1767c 7) (l1767m true) (l1768c 7) (l1768m true) (l1769c 4) (l1769m true) (l176c 0) (l176m true) (l1770c 4) (l1770m true) (l1771c 4) (l1771m true) (l1772c 3) (l1772m false) (l1773c 3) (l1773m true) (l1774c 3) (l1774m false) (l1775c 2) (l1775m true) (l1776c 6) (l1776m true) (l1777c 6) (l1777m true) (l1778c 3) (l1778m false) (l1779c 0) (l1779m false) (l177c 4) (l177m true) (l1780c 2) (l1780m true) (l1781c 1) (l1781m true) (l1782c 1) (l1782m true) (l1783c 0) (l1783m true) (l1784c 2) (l1784m true) (l1785c 0) (l1785m true) (l1786c 2) (l1786m false) (l1787c 0) (l1787m true) (l1788c 2) (l1788m false) (l1789c 6) (l1789m true) (l178c 2) (l178m false) (l1790c 0) (l1790m true) (l1791c 0) (l1791m true) (l1792c 4) (l1792m true) (l1793c 1) (l1793m false) (l1794c 1) (l1794m false) (l1795c 2) (l1795m false) (l1796c 1) (l1796m false) (l1797c 2) (l1797m false) (l1798c 2) (l1798m false) (l1799c 2) (l1799m false) (l179c 0) (l179m false) (l17c 2) (l17m false) (l1800c 7) (l1800m true) (l1801c 3) (l1801m false) (l1802c 3) (l1802m false) (l1803c 2) (l1803m true) (l1804c 1) (l1804m true) (l1805c 1) (l1805m true) (l1806c 0) (l1806m true) (l1807c 3) (l1807m false) (l1808c 3) (l1808m false) (l1809c 0) (l1809m true) (l180c 3) (l180m false) (l1810c 0) (l1810m true) (l1811c 0) (l1811m true) (l1812c 2) (l1812m true) (l1813c 3) (l1813m false) (l1814c 3) (l1814m false) (l1815c 3) (l1815m false) (l1816c 3) (l1816m false) (l1817c 3) (l1817m false) (l1818c 3) (l1818m false) (l1819c 3) (l1819m false) (l181c 4) (l181m true) (l1820c 4) (l1820m true) (l1821c 4) (l1821m false) (l1822c 4) (l1822m false) (l1823c 0) (l1823m true) (l1824c 0) (l1824m true) (l1825c 1) (l1825m true) (l1826c 4) (l1826m false) (l1827c 4) (l1827m false) (l1828c 4) (l1828m false) (l1829c 2) (l1829m true) (l182c 3) (l182m false) (l1830c 1) (l1830m true) (l1831c 3) (l1831m true) (l1832c 0) (l1832m true) (l1833c 4) (l1833m false) (l1834c 4) (l1834m false) (l1835c 4) (l1835m false) (l1836c 4) (l1836m false) (l1837c 4) (l1837m false) (l1838c 4) (l1838m false) (l1839c 4) (l1839m false) (l183c 6) (l183m true) (l1840c 5) (l1840m false) (l1841c 5) (l1841m true) (l1842c 5) (l1842m false) (l1843c 4) (l1843m true) (l1844c 2) (l1844m true) (l1845c 4) (l1845m true) (l1846c 4) (l1846m true) (l1847c 6) (l1847m true) (l1848c 6) (l1848m true) (l1849c 6) (l1849m true) (l184c 5) (l184m true) (l1850c 2) (l1850m true) (l1851c 2) (l1851m true) (l1852c 5) (l1852m false) (l1853c 2) (l1853m true) (l1854c 5) (l1854m false) (l1855c 2) (l1855m true) (l1856c 1) (l1856m true) (l1857c 1) (l1857m true) (l1858c 5) (l1858m false) (l1859c 0) (l1859m false) (l185c 6) (l185m true) (l1860c 6) (l1860m false) (l1861c 4) (l1861m true) (l1862c 6) (l1862m false) (l1863c 4) (l1863m true) (l1864c 7) (l1864m true) (l1865c 4) (l1865m true) (l1866c 6) (l1866m true) (l1867c 6) (l1867m true) (l1868c 6) (l1868m true) (l1869c 7) (l1869m true) (l186c 2) (l186m true) (l1870c 2) (l1870m true) (l1871c 2) (l1871m true) (l1872c 6) (l1872m false) (l1873c 0) (l1873m true) (l1874c 6) (l1874m false) (l1875c 2) (l1875m true) (l1876c 6) (l1876m true) (l1877c 6) (l1877m true) (l1878c 6) (l1878m false) (l1879c 0) (l1879m false) (l187c 5) (l187m true) (l1880c 7) (l1880m true) (l1881c 6) (l1881m true) (l1882c 6) (l1882m true) (l1883c 6) (l1883m true) (l1884c 4) (l1884m true) (l1885c 4) (l1885m true) (l1886c 7) (l1886m false) (l1887c 5) (l1887m true) (l1888c 7) (l1888m false) (l1889c 5) (l1889m true) (l188c 0) (l188m true) (l1890c 4) (l1890m true) (l1891c 4) (l1891m true) (l1892c 2) (l1892m true) (l1893c 1) (l1893m false) (l1894c 1) (l1894m false) (l1895c 7) (l1895m false) (l1896c 1) (l1896m false) (l1897c 7) (l1897m false) (l1898c 2) (l1898m false) (l1899c 7) (l1899m false) (l189c 6) (l189m true) (l18c 2) (l18m false) (l1900c 6) (l1900m true) (l1901c 7) (l1901m true) (l1902c 7) (l1902m true) (l1903c 7) (l1903m true) (l1904c 5) (l1904m true) (l1905c 7) (l1905m true) (l1906c 7) (l1906m true) (l1907c 7) (l1907m true) (l1908c 6) (l1908m true) (l1909c 2) (l1909m true) (l190c 0) (l190m true) (l1910c 6) (l1910m true) (l1911c 4) (l1911m true) (l1912c 3) (l1912m false) (l1913c 2) (l1913m true) (l1914c 3) (l1914m false) (l1915c 2) (l1915m true) (l1916c 2) (l1916m true) (l1917c 2) (l1917m true) (l1918c 3) (l1918m false) (l1919c 0) (l1919m false) (l191c 0) (l191m true) (l1920c 2) (l1920m true) (l1921c 1) (l1921m true) (l1922c 1) (l1922m true) (l1923c 1) (l1923m true) (l1924c 0) (l1924m true) (l1925c 1) (l1925m true) (l1926c 2) (l1926m false) (l1927c 2) (l1927m true) (l1928c 2) (l1928m false) (l1929c 6) (l1929m true) (l192c 3) (l192m false) (l1930c 2) (l1930m true) (l1931c 2) (l1931m true) (l1932c 2) (l1932m true) (l1933c 1) (l1933m false) (l1934c 1) (l1934m false) (l1935c 2) (l1935m false) (l1936c 1) (l1936m false) (l1937c 2) (l1937m false) (l1938c 2) (l1938m false) (l1939c 2) (l1939m false) (l193c 3) (l193m true) (l1940c 2) (l1940m true) (l1941c 0) (l1941m true) (l1942c 0) (l1942m true) (l1943c 2) (l1943m true) (l1944c 4) (l1944m true) (l1945c 1) (l1945m true) (l1946c 2) (l1946m true) (l1947c 2) (l1947m true) (l1948c 2) (l1948m true) (l1949c 6) (l1949m true) (l194c 3) (l194m false) (l1950c 0) (l1950m true) (l1951c 4) (l1951m true) (l1952c 3) (l1952m false) (l1953c 6) (l1953m true) (l1954c 3) (l1954m false) (l1955c 2) (l1955m true) (l1956c 4) (l1956m true) (l1957c 2) (l1957m true) (l1958c 3) (l1958m false) (l1959c 0) (l1959m false) (l195c 0) (l195m true) (l1960c 4) (l1960m true) (l1961c 0) (l1961m true) (l1962c 0) (l1962m true) (l1963c 6) (l1963m true) (l1964c 0) (l1964m true) (l1965c 4) (l1965m true) (l1966c 0) (l1966m true) (l1967c 0) (l1967m true) (l1968c 0) (l1968m true) (l1969c 4) (l1969m true) (l196c 3) (l196m true) (l1970c 2) (l1970m true) (l1971c 4) (l1971m true) (l1972c 4) (l1972m true) (l1973c 1) (l1973m false) (l1974c 1) (l1974m false) (l1975c 4) (l1975m false) (l1976c 1) (l1976m false) (l1977c 4) (l1977m false) (l1978c 2) (l1978m false) (l1979c 4) (l1979m false) (l197c 2) (l197m true) (l1980c 6) (l1980m true) (l1981c 4) (l1981m true) (l1982c 0) (l1982m true) (l1983c 4) (l1983m true) (l1984c 4) (l1984m true) (l1985c 0) (l1985m true) (l1986c 0) (l1986m true) (l1987c 2) (l1987m true) (l1988c 0) (l1988m true) (l1989c 2) (l1989m true) (l198c 3) (l198m false) (l1990c 0) (l1990m true) (l1991c 0) (l1991m true) (l1992c 2) (l1992m true) (l1993c 5) (l1993m false) (l1994c 5) (l1994m false) (l1995c 3) (l1995m false) (l1996c 5) (l1996m false) (l1997c 5) (l1997m false) (l1998c 5) (l1998m false) (l1999c 5) (l1999m false) (l199c 0) (l199m false) (l19c 2) (l19m false) (l1c 1) (l1m true) (l2000c 4) (l2000m true) (l2001c 0) (l2001m true) (l2002c 4) (l2002m true) (l2003c 0) (l2003m true) (l2004c 4) (l2004m true) (l2005c 0) (l2005m true) (l2006c 2) (l2006m true) (l2007c 4) (l2007m true) (l2008c 0) (l2008m true) (l2009c 0) (l2009m true) (l200c 4) (l200m true) (l2010c 0) (l2010m true) (l2011c 0) (l2011m true) (l2012c 2) (l2012m true) (l2013c 6) (l2013m false) (l2014c 6) (l2014m false) (l2015c 6) (l2015m false) (l2016c 6) (l2016m false) (l2017c 6) (l2017m false) (l2018c 6) (l2018m false) (l2019c 6) (l2019m false) (l201c 2) (l201m true) (l2020c 6) (l2020m true) (l2021c 2) (l2021m true) (l2022c 6) (l2022m true) (l2023c 6) (l2023m true) (l2024c 6) (l2024m true) (l2025c 4) (l2025m true) (l2026c 0) (l2026m true) (l2027c 2) (l2027m true) (l2028c 0) (l2028m true) (l2029c 2) (l2029m true) (l202c 4) (l202m true) (l2030c 0) (l2030m true) (l2031c 0) (l2031m true) (l2032c 7) (l2032m false) (l2033c 6) (l2033m true) (l2034c 7) (l2034m false) (l2035c 0) (l2035m true) (l2036c 4) (l2036m true) (l2037c 4) (l2037m true) (l2038c 7) (l2038m false) (l2039c 0) (l2039m false) (l203c 0) (l203m true) (l2040c 1) (l2040m true) (l2041c 1) (l2041m true) (l2042c 1) (l2042m true) (l2043c 1) (l2043m true) (l2044c 0) (l2044m true) (l2045c 1) (l2045m true) (l2046c 2) (l2046m false) (l2047c 2) (l2047m true) (l2048c 2) (l2048m false) (l2049c 2) (l2049m true) (l204c 0) (l204m true) (l2050c 2) (l2050m true) (l2051c 2) (l2051m true) (l2052c 2) (l2052m true) (l2053c 1) (l2053m false) (l2054c 1) (l2054m false) (l2055c 2) (l2055m false) (l2056c 1) (l2056m false) (l2057c 2) (l2057m false) (l2058c 2) (l2058m false) (l2059c 2) (l2059m false) (l205c 0) (l205m true) (l2060c 0) (l2060m true) (l2061c 1) (l2061m true) (l2062c 1) (l2062m true) (l2063c 1) (l2063m true) (l2064c 4) (l2064m true) (l2065c 1) (l2065m true) (l2066c 1) (l2066m true) (l2067c 3) (l2067m true) (l2068c 3) (l2068m true) (l2069c 2) (l2069m true) (l206c 4) (l206m false) (l2070c 2) (l2070m true) (l2071c 0) (l2071m true) (l2072c 3) (l2072m false) (l2073c 0) (l2073m true) (l2074c 3) (l2074m false) (l2075c 0) (l2075m true) (l2076c 2) (l2076m true) (l2077c 4) (l2077m true) (l2078c 3) (l2078m false) (l2079c 0) (l2079m false) (l207c 0) (l207m true) (l2080c 4) (l2080m true) (l2081c 2) (l2081m true) (l2082c 6) (l2082m true) (l2083c 2) (l2083m true) (l2084c 4) (l2084m true) (l2085c 4) (l2085m true) (l2086c 3) (l2086m true) (l2087c 2) (l2087m true) (l2088c 3) (l2088m true) (l2089c 2) (l2089m true) (l208c 4) (l208m false) (l2090c 4) (l2090m true) (l2091c 0) (l2091m true) (l2092c 0) (l2092m true) (l2093c 1) (l2093m false) (l2094c 1) (l2094m false) (l2095c 4) (l2095m false) (l2096c 1) (l2096m false) (l2097c 4) (l2097m false) (l2098c 2) (l2098m false) (l2099c 4) (l2099m false) (l209c 6) (l209m true) (l20c 3) (l20m true) (l2100c 5) (l2100m true) (l2101c 0) (l2101m true) (l2102c 5) (l2102m true) (l2103c 4) (l2103m true) (l2104c 6) (l2104m true) (l2105c 4) (l2105m true) (l2106c 4) (l2106m true) (l2107c 0) (l2107m true) (l2108c 0) (l2108m true) (l2109c 0) (l2109m true) (l210c 6) (l210m true) (l2110c 4) (l2110m true) (l2111c 2) (l2111m true) (l2112c 0) (l2112m true) (l2113c 5) (l2113m false) (l2114c 5) (l2114m false) (l2115c 3) (l2115m false) (l2116c 5) (l2116m false) (l2117c 5) (l2117m false) (l2118c 5) (l2118m false) (l2119c 5) (l2119m false) (l211c 6) (l211m true) (l2120c 7) (l2120m true) (l2121c 0) (l2121m true) (l2122c 7) (l2122m true) (l2123c 4) (l2123m true) (l2124c 5) (l2124m true) (l2125c 4) (l2125m true) (l2126c 5) (l2126m true) (l2127c 2) (l2127m true) (l2128c 0) (l2128m true) (l2129c 2) (l2129m true) (l212c 2) (l212m true) (l2130c 2) (l2130m true) (l2131c 0) (l2131m true) (l2132c 6) (l2132m false) (l2133c 3) (l2133m true) (l2134c 6) (l2134m false) (l2135c 0) (l2135m true) (l2136c 0) (l2136m true) (l2137c 2) (l2137m true) (l2138c 6) (l2138m false) (l2139c 0) (l2139m false) (l213c 1) (l213m false) (l214c 1) (l214m false) (l215c 4) (l215m false) (l216c 1) (l216m false) (l217c 4) (l217m false) (l218c 2) (l218m false) (l219c 4) (l219m false) (l21c 3) (l21m false) (l220c 5) (l220m true) (l221c 5) (l221m false) (l222c 5) (l222m false) (l223c 4) (l223m true) (l224c 5) (l224m true) (l225c 5) (l225m true) (l226c 5) (l226m true) (l227c 5) (l227m false) (l228c 5) (l228m false) (l229c 0) (l229m true) (l22c 3) (l22m false) (l230c 5) (l230m true) (l231c 1) (l231m true) (l232c 2) (l232m true) (l233c 5) (l233m false) (l234c 5) (l234m false) (l235c 3) (l235m false) (l236c 5) (l236m false) (l237c 5) (l237m false) (l238c 5) (l238m false) (l239c 5) (l239m false) (l23c 6) (l23m true) (l240c 6) (l240m true) (l241c 6) (l241m false) (l242c 6) (l242m false) (l243c 5) (l243m true) (l244c 4) (l244m true) (l245c 0) (l245m true) (l246c 6) (l246m false) (l247c 6) (l247m false) (l248c 6) (l248m false) (l249c 4) (l249m true) (l24c 2) (l24m true) (l250c 0) (l250m true) (l251c 4) (l251m true) (l252c 0) (l252m true) (l253c 6) (l253m false) (l254c 6) (l254m false) (l255c 6) (l255m false) (l256c 6) (l256m false) (l257c 6) (l257m false) (l258c 6) (l258m false) (l259c 6) (l259m false) (l25c 6) (l25m true) (l260c 6) (l260m false) (l261c 7) (l261m true) (l262c 6) (l262m false) (l263c 5) (l263m true) (l264c 6) (l264m true) (l265c 4) (l265m true) (l266c 6) (l266m true) (l267c 6) (l267m true) (l268c 6) (l268m true) (l269c 4) (l269m true) (l26c 2) (l26m true) (l270c 4) (l270m true) (l271c 7) (l271m true) (l272c 6) (l272m false) (l273c 0) (l273m true) (l274c 6) (l274m false) (l275c 6) (l275m true) (l276c 0) (l276m true) (l277c 6) (l277m true) (l278c 6) (l278m false) (l279c 2) (l279m true) (l27c 3) (l27m false) (l280c 1) (l280m true) (l281c 1) (l281m true) (l282c 1) (l282m true) (l283c 0) (l283m true) (l284c 0) (l284m true) (l285c 0) (l285m true) (l286c 2) (l286m false) (l287c 0) (l287m true) (l288c 2) (l288m false) (l289c 0) (l289m true) (l28c 3) (l28m false) (l290c 0) (l290m true) (l291c 0) (l291m true) (l292c 4) (l292m true) (l293c 1) (l293m false) (l294c 1) (l294m false) (l295c 2) (l295m false) (l296c 1) (l296m false) (l297c 2) (l297m false) (l298c 2) (l298m false) (l299c 2) (l299m false) (l29c 0) (l29m true) (l2c 1) (l2m true) (l300c 3) (l300m true) (l301c 3) (l301m false) (l302c 3) (l302m false) (l303c 1) (l303m true) (l304c 2) (l304m true) (l305c 1) (l305m true) (l306c 2) (l306m true) (l307c 3) (l307m false) (l308c 3) (l308m false) (l309c 0) (l309m true) (l30c 1) (l30m true) (l310c 2) (l310m true) (l311c 0) (l311m true) (l312c 2) (l312m true) (l313c 3) (l313m false) (l314c 3) (l314m false) (l315c 3) (l315m false) (l316c 3) (l316m false) (l317c 3) (l317m false) (l318c 3) (l318m false) (l319c 3) (l319m false) (l31c 0) (l31m true) (l320c 6) (l320m true) (l321c 4) (l321m false) (l322c 4) (l322m false) (l323c 2) (l323m true) (l324c 0) (l324m true) (l325c 7) (l325m true) (l326c 4) (l326m false) (l327c 4) (l327m false) (l328c 4) (l328m false) (l329c 4) (l329m true) (l32c 3) (l32m true) (l330c 1) (l330m true) (l331c 4) (l331m true) (l332c 0) (l332m true) (l333c 4) (l333m false) (l334c 4) (l334m false) (l335c 4) (l335m false) (l336c 4) (l336m false) (l337c 4) (l337m false) (l338c 4) (l338m false) (l339c 4) (l339m false) (l33c 3) (l33m false) (l340c 5) (l340m false) (l341c 0) (l341m true) (l342c 5) (l342m false) (l343c 6) (l343m true) (l344c 6) (l344m true) (l345c 4) (l345m true) (l346c 6) (l346m true) (l347c 3) (l347m true) (l348c 3) (l348m true) (l349c 0) (l349m true) (l34c 3) (l34m false) (l350c 2) (l350m true) (l351c 2) (l351m true) (l352c 5) (l352m false) (l353c 0) (l353m true) (l354c 5) (l354m false) (l355c 2) (l355m true) (l356c 0) (l356m true) (l357c 0) (l357m true) (l358c 5) (l358m false) (l359c 0) (l359m false) (l35c 3) (l35m false) (l360c 6) (l360m false) (l361c 2) (l361m true) (l362c 6) (l362m false) (l363c 6) (l363m true) (l364c 6) (l364m true) (l365c 4) (l365m true) (l366c 5) (l366m true) (l367c 3) (l367m true) (l368c 4) (l368m true) (l369c 6) (l369m true) (l36c 3) (l36m false) (l370c 2) (l370m true) (l371c 4) (l371m true) (l372c 6) (l372m false) (l373c 1) (l373m true) (l374c 6) (l374m false) (l375c 2) (l375m true) (l376c 0) (l376m true) (l377c 4) (l377m true) (l378c 6) (l378m false) (l379c 0) (l379m false) (l37c 3) (l37m false) (l380c 6) (l380m false) (l381c 7) (l381m true) (l382c 6) (l382m false) (l383c 6) (l383m true) (l384c 4) (l384m true) (l385c 5) (l385m true) (l386c 6) (l386m true) (l387c 4) (l387m true) (l388c 6) (l388m true) (l389c 0) (l389m true) (l38c 3) (l38m false) (l390c 4) (l390m true) (l391c 6) (l391m true) (l392c 6) (l392m false) (l393c 2) (l393m true) (l394c 6) (l394m false) (l395c 0) (l395m true) (l396c 6) (l396m true) (l397c 0) (l397m true) (l398c 6) (l398m false) (l399c 2) (l399m true) (l39c 3) (l39m false) (l3c 2) (l3m true) (l400c 2) (l400m false) (l401c 4) (l401m true) (l402c 2) (l402m false) (l403c 1) (l403m true) (l404c 2) (l404m true) (l405c 1) (l405m true) (l406c 0) (l406m true) (l407c 2) (l407m true) (l408c 0) (l408m true) (l409c 2) (l409m true) (l40c 4) (l40m false) (l410c 0) (l410m true) (l411c 0) (l411m true) (l412c 2) (l412m false) (l413c 2) (l413m true) (l414c 2) (l414m false) (l415c 0) (l415m true) (l416c 2) (l416m true) (l417c 6) (l417m true) (l418c 2) (l418m false) (l419c 0) (l419m false) (l41c 0) (l41m true) (l420c 3) (l420m false) (l421c 4) (l421m true) (l422c 3) (l422m false) (l423c 3) (l423m true) (l424c 5) (l424m true) (l425c 3) (l425m true) (l426c 0) (l426m true) (l427c 2) (l427m true) (l428c 0) (l428m true) (l429c 0) (l429m true) (l42c 4) (l42m false) (l430c 0) (l430m true) (l431c 6) (l431m true) (l432c 3) (l432m false) (l433c 0) (l433m true) (l434c 3) (l434m false) (l435c 2) (l435m true) (l436c 0) (l436m true) (l437c 1) (l437m true) (l438c 3) (l438m false) (l439c 0) (l439m false) (l43c 2) (l43m true) (l440c 4) (l440m true) (l441c 4) (l441m true) (l442c 4) (l442m true) (l443c 2) (l443m true) (l444c 0) (l444m true) (l445c 0) (l445m true) (l446c 4) (l446m false) (l447c 4) (l447m true) (l448c 4) (l448m false) (l449c 2) (l449m true) (l44c 5) (l44m true) (l450c 7) (l450m true) (l451c 0) (l451m true) (l452c 2) (l452m true) (l453c 1) (l453m false) (l454c 1) (l454m false) (l455c 4) (l455m false) (l456c 1) (l456m false) (l457c 4) (l457m false) (l458c 2) (l458m false) (l459c 4) (l459m false) (l45c 2) (l45m true) (l460c 5) (l460m true) (l461c 5) (l461m false) (l462c 5) (l462m false) (l463c 6) (l463m true) (l464c 1) (l464m true) (l465c 1) (l465m true) (l466c 4) (l466m true) (l467c 5) (l467m false) (l468c 5) (l468m false) (l469c 1) (l469m true) (l46c 2) (l46m true) (l470c 0) (l470m true) (l471c 0) (l471m true) (l472c 0) (l472m true) (l473c 5) (l473m false) (l474c 5) (l474m false) (l475c 3) (l475m false) (l476c 5) (l476m false) (l477c 5) (l477m false) (l478c 5) (l478m false) (l479c 5) (l479m false) (l47c 2) (l47m true) (l480c 6) (l480m true) (l481c 6) (l481m false) (l482c 6) (l482m false) (l483c 6) (l483m true) (l484c 1) (l484m true) (l485c 1) (l485m true) (l486c 6) (l486m false) (l487c 6) (l487m false) (l488c 6) (l488m false) (l489c 4) (l489m true) (l48c 2) (l48m true) (l490c 0) (l490m true) (l491c 4) (l491m true) (l492c 4) (l492m true) (l493c 6) (l493m false) (l494c 6) (l494m false) (l495c 6) (l495m false) (l496c 6) (l496m false) (l497c 6) (l497m false) (l498c 6) (l498m false) (l499c 6) (l499m false) (l49c 2) (l49m true) (l4c 0) (l4m true) (l500c 6) (l500m false) (l501c 3) (l501m true) (l502c 6) (l502m false) (l503c 6) (l503m true) (l504c 5) (l504m true) (l505c 4) (l505m true) (l506c 6) (l506m true) (l507c 6) (l507m true) (l508c 6) (l508m true) (l509c 0) (l509m true) (l50c 0) (l50m true) (l510c 4) (l510m true) (l511c 6) (l511m true) (l512c 6) (l512m false) (l513c 0) (l513m true) (l514c 6) (l514m false) (l515c 6) (l515m true) (l516c 4) (l516m true) (l517c 6) (l517m true) (l518c 6) (l518m false) (l519c 2) (l519m true) (l51c 0) (l51m true) (l520c 2) (l520m true) (l521c 2) (l521m true) (l522c 1) (l522m true) (l523c 0) (l523m true) (l524c 0) (l524m true) (l525c 0) (l525m true) (l526c 2) (l526m false) (l527c 0) (l527m true) (l528c 2) (l528m false) (l529c 0) (l529m true) (l52c 4) (l52m false) (l530c 0) (l530m true) (l531c 1) (l531m true) (l532c 0) (l532m true) (l533c 1) (l533m false) (l534c 1) (l534m false) (l535c 2) (l535m false) (l536c 1) (l536m false) (l537c 2) (l537m false) (l538c 2) (l538m false) (l539c 2) (l539m false) (l53c 1) (l53m true) (l540c 3) (l540m true) (l541c 3) (l541m false) (l542c 3) (l542m false) (l543c 1) (l543m true) (l544c 1) (l544m true) (l545c 1) (l545m true) (l546c 3) (l546m true) (l547c 3) (l547m false) (l548c 3) (l548m false) (l549c 1) (l549m true) (l54c 4) (l54m false) (l550c 0) (l550m true) (l551c 0) (l551m true) (l552c 4) (l552m true) (l553c 3) (l553m false) (l554c 3) (l554m false) (l555c 3) (l555m false) (l556c 3) (l556m false) (l557c 3) (l557m false) (l558c 3) (l558m false) (l559c 3) (l559m false) (l55c 2) (l55m true) (l560c 6) (l560m true) (l561c 4) (l561m false) (l562c 4) (l562m false) (l563c 1) (l563m true) (l564c 4) (l564m true) (l565c 1) (l565m true) (l566c 4) (l566m false) (l567c 4) (l567m false) (l568c 4) (l568m false) (l569c 3) (l569m true) (l56c 0) (l56m true) (l570c 7) (l570m true) (l571c 3) (l571m true) (l572c 0) (l572m true) (l573c 4) (l573m false) (l574c 4) (l574m false) (l575c 4) (l575m false) (l576c 4) (l576m false) (l577c 4) (l577m false) (l578c 4) (l578m false) (l579c 4) (l579m false) (l57c 4) (l57m true) (l580c 5) (l580m false) (l581c 2) (l581m true) (l582c 5) (l582m false) (l583c 6) (l583m true) (l584c 7) (l584m true) (l585c 4) (l585m true) (l586c 0) (l586m true) (l587c 3) (l587m true) (l588c 4) (l588m true) (l589c 4) (l589m true) (l58c 4) (l58m false) (l590c 2) (l590m true) (l591c 4) (l591m true) (l592c 5) (l592m false) (l593c 1) (l593m true) (l594c 5) (l594m false) (l595c 0) (l595m true) (l596c 2) (l596m true) (l597c 0) (l597m true) (l598c 5) (l598m false) (l599c 0) (l599m false) (l59c 0) (l59m false) (l5c 0) (l5m true) (l600c 5) (l600m false) (l601c 4) (l601m true) (l602c 5) (l602m false) (l603c 6) (l603m true) (l604c 6) (l604m true) (l605c 4) (l605m true) (l606c 6) (l606m true) (l607c 7) (l607m true) (l608c 5) (l608m true) (l609c 0) (l609m true) (l60c 4) (l60m false) (l610c 4) (l610m true) (l611c 4) (l611m true) (l612c 5) (l612m false) (l613c 2) (l613m true) (l614c 5) (l614m false) (l615c 6) (l615m true) (l616c 0) (l616m true) (l617c 0) (l617m true) (l618c 5) (l618m false) (l619c 2) (l619m true) (l61c 1) (l61m true) (l620c 2) (l620m false) (l621c 6) (l621m true) (l622c 2) (l622m false) (l623c 7) (l623m true) (l624c 2) (l624m true) (l625c 7) (l625m true) (l626c 1) (l626m true) (l627c 2) (l627m true) (l628c 1) (l628m true) (l629c 2) (l629m true) (l62c 4) (l62m false) (l630c 0) (l630m true) (l631c 0) (l631m true) (l632c 2) (l632m false) (l633c 0) (l633m true) (l634c 2) (l634m false) (l635c 2) (l635m true) (l636c 0) (l636m true) (l637c 1) (l637m true) (l638c 2) (l638m false) (l639c 0) (l639m false) (l63c 6) (l63m true) (l640c 3) (l640m false) (l641c 0) (l641m true) (l642c 3) (l642m false) (l643c 2) (l643m true) (l644c 5) (l644m true) (l645c 6) (l645m true) (l646c 2) (l646m true) (l647c 1) (l647m true) (l648c 0) (l648m true) (l649c 1) (l649m true) (l64c 0) (l64m true) (l650c 0) (l650m true) (l651c 6) (l651m true) (l652c 3) (l652m false) (l653c 0) (l653m true) (l654c 3) (l654m false) (l655c 0) (l655m true) (l656c 0) (l656m true) (l657c 2) (l657m true) (l658c 3) (l658m false) (l659c 0) (l659m false) (l65c 4) (l65m true) (l660c 6) (l660m true) (l661c 0) (l661m true) (l662c 4) (l662m true) (l663c 2) (l663m true) (l664c 0) (l664m true) (l665c 0) (l665m true) (l666c 4) (l666m false) (l667c 6) (l667m true) (l668c 4) (l668m false) (l669c 2) (l669m true) (l66c 6) (l66m true) (l670c 6) (l670m true) (l671c 6) (l671m true) (l672c 0) (l672m true) (l673c 1) (l673m false) (l674c 1) (l674m false) (l675c 4) (l675m false) (l676c 1) (l676m false) (l677c 4) (l677m false) (l678c 2) (l678m false) (l679c 4) (l679m false) (l67c 0) (l67m true) (l680c 5) (l680m true) (l681c 5) (l681m false) (l682c 5) (l682m false) (l683c 7) (l683m true) (l684c 7) (l684m true) (l685c 7) (l685m true) (l686c 4) (l686m true) (l687c 5) (l687m false) (l688c 5) (l688m false) (l689c 2) (l689m true) (l68c 4) (l68m true) (l690c 7) (l690m true) (l691c 7) (l691m true) (l692c 2) (l692m true) (l693c 5) (l693m false) (l694c 5) (l694m false) (l695c 3) (l695m false) (l696c 5) (l696m false) (l697c 5) (l697m false) (l698c 5) (l698m false) (l699c 5) (l699m false) (l69c 2) (l69m true) (l6c 2) (l6m false) (l700c 6) (l700m true) (l701c 6) (l701m false) (l702c 6) (l702m false) (l703c 0) (l703m true) (l704c 6) (l704m true) (l705c 0) (l705m true) (l706c 6) (l706m false) (l707c 6) (l707m false) (l708c 6) (l708m false) (l709c 2) (l709m true) (l70c 1) (l70m true) (l710c 0) (l710m true) (l711c 4) (l711m true) (l712c 1) (l712m true) (l713c 6) (l713m false) (l714c 6) (l714m false) (l715c 6) (l715m false) (l716c 6) (l716m false) (l717c 6) (l717m false) (l718c 6) (l718m false) (l719c 6) (l719m false) (l71c 0) (l71m true) (l720c 6) (l720m false) (l721c 7) (l721m true) (l722c 6) (l722m false) (l723c 4) (l723m true) (l724c 4) (l724m true) (l725c 7) (l725m true) (l726c 6) (l726m true) (l727c 2) (l727m true) (l728c 6) (l728m true) (l729c 2) (l729m true) (l72c 4) (l72m false) (l730c 0) (l730m true) (l731c 0) (l731m true) (l732c 6) (l732m false) (l733c 0) (l733m true) (l734c 6) (l734m false) (l735c 4) (l735m true) (l736c 0) (l736m true) (l737c 4) (l737m true) (l738c 6) (l738m false) (l739c 2) (l739m true) (l73c 0) (l73m true) (l740c 1) (l740m true) (l741c 0) (l741m true) (l742c 1) (l742m true) (l743c 2) (l743m true) (l744c 0) (l744m true) (l745c 0) (l745m true) (l746c 2) (l746m false) (l747c 0) (l747m true) (l748c 2) (l748m false) (l749c 7) (l749m true) (l74c 4) (l74m false) (l750c 2) (l750m true) (l751c 2) (l751m true) (l752c 4) (l752m true) (l753c 1) (l753m false) (l754c 1) (l754m false) (l755c 2) (l755m false) (l756c 1) (l756m false) (l757c 2) (l757m false) (l758c 2) (l758m false) (l759c 2) (l759m false) (l75c 0) (l75m true) (l760c 2) (l760m true) (l761c 3) (l761m false) (l762c 3) (l762m false) (l763c 2) (l763m true) (l764c 1) (l764m true) (l765c 1) (l765m true) (l766c 0) (l766m true) (l767c 3) (l767m false) (l768c 3) (l768m false) (l769c 0) (l769m true) (l76c 0) (l76m true) (l770c 0) (l770m true) (l771c 0) (l771m true) (l772c 0) (l772m true) (l773c 3) (l773m false) (l774c 3) (l774m false) (l775c 3) (l775m false) (l776c 3) (l776m false) (l777c 3) (l777m false) (l778c 3) (l778m false) (l779c 3) (l779m false) (l77c 0) (l77m true) (l780c 4) (l780m true) (l781c 4) (l781m false) (l782c 4) (l782m false) (l783c 2) (l783m true) (l784c 6) (l784m true) (l785c 6) (l785m true) (l786c 4) (l786m false) (l787c 4) (l787m false) (l788c 4) (l788m false) (l789c 2) (l789m true) (l78c 4) (l78m false) (l790c 2) (l790m true) (l791c 0) (l791m true) (l792c 0) (l792m true) (l793c 4) (l793m false) (l794c 4) (l794m false) (l795c 4) (l795m false) (l796c 4) (l796m false) (l797c 4) (l797m false) (l798c 4) (l798m false) (l799c 4) (l799m false) (l79c 4) (l79m true) (l7c 0) (l7m true) (l800c 4) (l800m false) (l801c 0) (l801m true) (l802c 4) (l802m false) (l803c 2) (l803m true) (l804c 0) (l804m true) (l805c 6) (l805m true) (l806c 4) (l806m true) (l807c 4) (l807m true) (l808c 4) (l808m true) (l809c 0) (l809m true) (l80c 2) (l80m false) (l810c 0) (l810m true) (l811c 4) (l811m true) (l812c 4) (l812m false) (l813c 2) (l813m true) (l814c 4) (l814m false) (l815c 2) (l815m true) (l816c 0) (l816m true) (l817c 1) (l817m true) (l818c 4) (l818m false) (l819c 0) (l819m true) (l81c 2) (l81m true) (l820c 2) (l820m true) (l821c 1) (l821m true) (l822c 1) (l822m true) (l823c 1) (l823m true) (l824c 0) (l824m true) (l825c 0) (l825m true) (l826c 2) (l826m false) (l827c 2) (l827m true) (l828c 2) (l828m false) (l829c 6) (l829m true) (l82c 2) (l82m false) (l830c 0) (l830m true) (l831c 0) (l831m true) (l832c 4) (l832m true) (l833c 1) (l833m false) (l834c 1) (l834m false) (l835c 2) (l835m false) (l836c 1) (l836m false) (l837c 2) (l837m false) (l838c 2) (l838m false) (l839c 2) (l839m false) (l83c 2) (l83m true) (l840c 2) (l840m true) (l841c 3) (l841m false) (l842c 3) (l842m false) (l843c 1) (l843m true) (l844c 1) (l844m true) (l845c 1) (l845m true) (l846c 3) (l846m true) (l847c 3) (l847m false) (l848c 3) (l848m false) (l849c 0) (l849m true) (l84c 6) (l84m true) (l850c 0) (l850m true) (l851c 0) (l851m true) (l852c 0) (l852m true) (l853c 3) (l853m false) (l854c 3) (l854m false) (l855c 3) (l855m false) (l856c 3) (l856m false) (l857c 3) (l857m false) (l858c 3) (l858m false) (l859c 3) (l859m false) (l85c 6) (l85m true) (l860c 4) (l860m false) (l861c 1) (l861m true) (l862c 4) (l862m false) (l863c 2) (l863m true) (l864c 2) (l864m true) (l865c 2) (l865m true) (l866c 2) (l866m true) (l867c 2) (l867m true) (l868c 2) (l868m true) (l869c 2) (l869m true) (l86c 4) (l86m true) (l870c 1) (l870m true) (l871c 1) (l871m true) (l872c 4) (l872m false) (l873c 0) (l873m true) (l874c 4) (l874m false) (l875c 2) (l875m true) (l876c 0) (l876m true) (l877c 1) (l877m true) (l878c 4) (l878m false) (l879c 0) (l879m false) (l87c 2) (l87m true) (l880c 4) (l880m true) (l881c 5) (l881m true) (l882c 5) (l882m true) (l883c 2) (l883m true) (l884c 0) (l884m true) (l885c 0) (l885m true) (l886c 5) (l886m false) (l887c 5) (l887m true) (l888c 5) (l888m false) (l889c 6) (l889m true) (l88c 4) (l88m true) (l890c 4) (l890m true) (l891c 4) (l891m true) (l892c 0) (l892m true) (l893c 1) (l893m false) (l894c 1) (l894m false) (l895c 5) (l895m false) (l896c 1) (l896m false) (l897c 5) (l897m false) (l898c 2) (l898m false) (l899c 5) (l899m false) (l89c 6) (l89m true) (l8c 2) (l8m false) (l900c 4) (l900m true) (l901c 6) (l901m true) (l902c 7) (l902m true) (l903c 0) (l903m true) (l904c 4) (l904m true) (l905c 7) (l905m true) (l906c 6) (l906m true) (l907c 5) (l907m true) (l908c 5) (l908m true) (l909c 2) (l909m true) (l90c 0) (l90m true) (l910c 4) (l910m true) (l911c 6) (l911m true) (l912c 2) (l912m false) (l913c 4) (l913m true) (l914c 2) (l914m false) (l915c 2) (l915m true) (l916c 4) (l916m true) (l917c 2) (l917m true) (l918c 2) (l918m false) (l919c 3) (l919m true) (l91c 0) (l91m true) (l920c 2) (l920m true) (l921c 2) (l921m true) (l922c 1) (l922m true) (l923c 0) (l923m true) (l924c 2) (l924m true) (l925c 0) (l925m true) (l926c 2) (l926m false) (l927c 2) (l927m true) (l928c 2) (l928m false) (l929c 7) (l929m true) (l92c 2) (l92m false) (l930c 0) (l930m true) (l931c 1) (l931m true) (l932c 2) (l932m true) (l933c 1) (l933m false) (l934c 1) (l934m false) (l935c 2) (l935m false) (l936c 1) (l936m false) (l937c 2) (l937m false) (l938c 2) (l938m false) (l939c 2) (l939m false) (l93c 2) (l93m true) (l940c 3) (l940m true) (l941c 3) (l941m false) (l942c 3) (l942m false) (l943c 1) (l943m true) (l944c 2) (l944m true) (l945c 1) (l945m true) (l946c 3) (l946m true) (l947c 3) (l947m false) (l948c 3) (l948m false) (l949c 0) (l949m true) (l94c 2) (l94m false) (l950c 1) (l950m true) (l951c 0) (l951m true) (l952c 0) (l952m true) (l953c 3) (l953m false) (l954c 3) (l954m false) (l955c 3) (l955m false) (l956c 3) (l956m false) (l957c 3) (l957m false) (l958c 3) (l958m false) (l959c 3) (l959m false) (l95c 0) (l95m true) (l960c 4) (l960m true) (l961c 4) (l961m false) (l962c 4) (l962m false) (l963c 3) (l963m true) (l964c 6) (l964m true) (l965c 3) (l965m true) (l966c 4) (l966m false) (l967c 4) (l967m false) (l968c 4) (l968m false) (l969c 3) (l969m true) (l96c 4) (l96m true) (l970c 2) (l970m true) (l971c 3) (l971m true) (l972c 2) (l972m true) (l973c 4) (l973m false) (l974c 4) (l974m false) (l975c 4) (l975m false) (l976c 4) (l976m false) (l977c 4) (l977m false) (l978c 4) (l978m false) (l979c 4) (l979m false) (l97c 4) (l97m true) (l980c 5) (l980m false) (l981c 2) (l981m true) (l982c 5) (l982m false) (l983c 6) (l983m true) (l984c 2) (l984m true) (l985c 4) (l985m true) (l986c 2) (l986m true) (l987c 3) (l987m true) (l988c 7) (l988m true) (l989c 0) (l989m true) (l98c 2) (l98m false) (l990c 2) (l990m true) (l991c 2) (l991m true) (l992c 5) (l992m false) (l993c 2) (l993m true) (l994c 5) (l994m false) (l995c 2) (l995m true) (l996c 0) (l996m true) (l997c 2) (l997m true) (l998c 5) (l998m false) (l999c 0) (l999m false) (l99c 0) (l99m false) (l9c 6) (l9m true))