sat ((f0c 3) (f0m false) (f100c 0) (f100m false) (f101c 0) (f101m false) (f102c 4) (f102m false) (f103c 1) (f103m false) (f104c 4) (f104m false) (f105c 1) (f105m false) (f106c 0) (f106m true) (f107c 0) (f107m true) (f108c 0) (f108m false) (f109c 0) (f109m false) (f10c 0) (f10m false) (f110c 1) (f110m true) (f111c 1) (f111m false) (f112c 0) (f112m false) (f113c 1) (f113m false) (f114c 0) (f114m false) (f115c 0) (f115m false) (f116c 0) (f116m false) (f117c 0) (f117m false) (f118c 1) (f118m false) (f119c 1) (f119m false) (f11c 0) (f11m false) (f120c 1) (f120m false) (f121c 1) (f121m false) (f122c 0) (f122m false) (f123c 0) (f123m false) (f124c 0) (f124m false) (f125c 0) (f125m false) (f126c 1) (f126m false) (f127c 1) (f127m false) (f128c 1) (f128m false) (f129c 1) (f129m false) (f12c 0) (f12m false) (f130c 3) (f130m false) (f131c 3) (f131m false) (f132c 0) (f132m false) (f133c 0) (f133m false) (f134c 4) (f134m false) (f135c 1) (f135m false) (f136c 4) (f136m false) (f137c 1) (f137m false) (f138c 0) (f138m false) (f139c 0) (f139m false) (f13c 0) (f13m false) (f140c 0) (f140m false) (f141c 0) (f141m false) (f142c 1) (f142m false) (f143c 1) (f143m false) (f144c 1) (f144m false) (f145c 1) (f145m false) (f146c 0) (f146m true) (f147c 0) (f147m true) (f148c 0) (f148m false) (f149c 0) (f149m false) (f14c 0) (f14m false) (f150c 0) (f150m true) (f151c 1) (f151m false) (f152c 0) (f152m false) (f153c 1) (f153m false) (f154c 3) (f154m false) (f155c 3) (f155m false) (f156c 0) (f156m false) (f157c 0) (f157m false) (f158c 4) (f158m false) (f159c 1) (f159m false) (f15c 0) (f15m false) (f160c 4) (f160m false) (f161c 1) (f161m false) (f162c 0) (f162m true) (f163c 0) (f163m true) (f164c 0) (f164m false) (f165c 0) (f165m false) (f166c 0) (f166m true) (f167c 1) (f167m false) (f168c 0) (f168m false) (f169c 1) (f169m false) (f16c 1) (f16m false) (f170c 0) (f170m false) (f171c 0) (f171m false) (f172c 0) (f172m false) (f173c 0) (f173m false) (f174c 1) (f174m false) (f175c 1) (f175m false) (f176c 1) (f176m false) (f177c 1) (f177m false) (f178c 3) (f178m false) (f179c 3) (f179m false) (f17c 0) (f17m true) (f180c 0) (f180m false) (f181c 0) (f181m false) (f182c 4) (f182m false) (f183c 1) (f183m false) (f184c 4) (f184m false) (f185c 1) (f185m false) (f186c 0) (f186m false) (f187c 0) (f187m false) (f188c 0) (f188m false) (f189c 0) (f189m false) (f18c 0) (f18m false) (f190c 1) (f190m false) (f191c 1) (f191m false) (f192c 1) (f192m false) (f193c 1) (f193m false) (f194c 0) (f194m true) (f195c 0) (f195m true) (f196c 0) (f196m false) (f197c 0) (f197m false) (f198c 0) (f198m true) (f199c 1) (f199m false) (f19c 0) (f19m false) (f1c 3) (f1m false) (f200c 0) (f200m false) (f201c 1) (f201m false) (f202c 3) (f202m false) (f203c 3) (f203m false) (f204c 0) (f204m false) (f205c 0) (f205m false) (f206c 4) (f206m false) (f207c 1) (f207m false) (f208c 4) (f208m false) (f209c 1) (f209m false) (f20c 0) (f20m false) (f210c 0) (f210m true) (f211c 0) (f211m true) (f212c 0) (f212m false) (f213c 0) (f213m false) (f214c 0) (f214m true) (f215c 1) (f215m false) (f216c 0) (f216m false) (f217c 1) (f217m false) (f218c 3) (f218m false) (f219c 3) (f219m false) (f21c 0) (f21m false) (f220c 0) (f220m false) (f221c 0) (f221m false) (f222c 4) (f222m false) (f223c 1) (f223m false) (f224c 4) (f224m false) (f225c 1) (f225m false) (f226c 0) (f226m false) (f227c 0) (f227m false) (f228c 0) (f228m false) (f229c 0) (f229m false) (f22c 1) (f22m false) (f230c 1) (f230m false) (f231c 1) (f231m false) (f232c 1) (f232m false) (f233c 1) (f233m false) (f234c 0) (f234m true) (f235c 0) (f235m true) (f236c 0) (f236m false) (f237c 0) (f237m false) (f238c 2) (f238m true) (f239c 1) (f239m false) (f23c 1) (f23m false) (f240c 0) (f240m false) (f241c 1) (f241m false) (f242c 3) (f242m false) (f243c 3) (f243m false) (f244c 0) (f244m false) (f245c 0) (f245m false) (f246c 4) (f246m false) (f247c 1) (f247m false) (f248c 4) (f248m false) (f249c 1) (f249m false) (f24c 1) (f24m false) (f250c 0) (f250m true) (f251c 0) (f251m true) (f252c 0) (f252m false) (f253c 0) (f253m false) (f254c 0) (f254m true) (f255c 1) (f255m false) (f256c 0) (f256m false) (f257c 1) (f257m false) (f258c 0) (f258m false) (f259c 0) (f259m false) (f25c 1) (f25m false) (f260c 0) (f260m false) (f261c 0) (f261m false) (f262c 1) (f262m false) (f263c 1) (f263m false) (f264c 1) (f264m false) (f265c 1) (f265m false) (f266c 3) (f266m false) (f267c 3) (f267m false) (f268c 0) (f268m false) (f269c 0) (f269m false) (f26c 0) (f26m true) (f270c 4) (f270m false) (f271c 1) (f271m false) (f272c 4) (f272m false) (f273c 1) (f273m false) (f274c 0) (f274m false) (f275c 0) (f275m false) (f276c 0) (f276m false) (f277c 0) (f277m false) (f278c 1) (f278m false) (f279c 1) (f279m false) (f27c 0) (f27m true) (f280c 1) (f280m false) (f281c 1) (f281m false) (f282c 3) (f282m false) (f283c 3) (f283m false) (f284c 0) (f284m false) (f285c 0) (f285m false) (f286c 4) (f286m false) (f287c 1) (f287m false) (f288c 4) (f288m false) (f289c 1) (f289m false) (f28c 0) (f28m false) (f290c 0) (f290m true) (f291c 0) (f291m true) (f292c 0) (f292m false) (f293c 0) (f293m false) (f294c 1) (f294m true) (f295c 1) (f295m false) (f296c 0) (f296m false) (f297c 1) (f297m false) (f298c 0) (f298m false) (f299c 0) (f299m false) (f29c 0) (f29m false) (f2c 0) (f2m false) (f300c 0) (f300m false) (f301c 0) (f301m false) (f302c 1) (f302m false) (f303c 1) (f303m false) (f304c 1) (f304m false) (f305c 1) (f305m false) (f306c 3) (f306m false) (f307c 3) (f307m false) (f308c 0) (f308m false) (f309c 0) (f309m false) (f30c 0) (f30m true) (f310c 4) (f310m false) (f311c 1) (f311m false) (f312c 4) (f312m false) (f313c 1) (f313m false) (f314c 3) (f314m false) (f315c 3) (f315m false) (f316c 0) (f316m false) (f317c 0) (f317m false) (f318c 4) (f318m false) (f319c 1) (f319m false) (f31c 1) (f31m false) (f320c 4) (f320m false) (f321c 1) (f321m false) (f322c 0) (f322m true) (f323c 0) (f323m true) (f324c 0) (f324m false) (f325c 0) (f325m false) (f326c 0) (f326m true) (f327c 1) (f327m false) (f328c 0) (f328m false) (f329c 1) (f329m false) (f32c 0) (f32m false) (f330c 0) (f330m false) (f331c 0) (f331m false) (f332c 0) (f332m false) (f333c 0) (f333m false) (f334c 1) (f334m false) (f335c 1) (f335m false) (f336c 1) (f336m false) (f337c 1) (f337m false) (f338c 3) (f338m false) (f339c 3) (f339m false) (f33c 1) (f33m false) (f340c 0) (f340m false) (f341c 0) (f341m false) (f342c 4) (f342m false) (f343c 1) (f343m false) (f344c 4) (f344m false) (f345c 1) (f345m false) (f346c 0) (f346m false) (f347c 0) (f347m false) (f348c 0) (f348m false) (f349c 0) (f349m false) (f34c 3) (f34m false) (f350c 1) (f350m false) (f351c 1) (f351m false) (f352c 1) (f352m false) (f353c 1) (f353m false) (f354c 3) (f354m false) (f355c 3) (f355m false) (f356c 0) (f356m false) (f357c 0) (f357m false) (f358c 4) (f358m false) (f359c 1) (f359m false) (f35c 3) (f35m false) (f360c 4) (f360m false) (f361c 1) (f361m false) (f362c 0) (f362m false) (f363c 0) (f363m false) (f364c 0) (f364m false) (f365c 0) (f365m false) (f366c 1) (f366m false) (f367c 1) (f367m false) (f368c 1) (f368m false) (f369c 1) (f369m false) (f36c 0) (f36m false) (f370c 0) (f370m true) (f371c 0) (f371m true) (f372c 0) (f372m false) (f373c 0) (f373m false) (f374c 0) (f374m true) (f375c 1) (f375m false) (f376c 0) (f376m false) (f377c 1) (f377m false) (f378c 1) (f378m true) (f379c 0) (f379m true) (f37c 0) (f37m false) (f380c 0) (f380m true) (f381c 0) (f381m true) (f382c 0) (f382m true) (f383c 0) (f383m false) (f384c 0) (f384m false) (f385c 0) (f385m false) (f386c 3) (f386m true) (f387c 0) (f387m true) (f388c 2) (f388m true) (f389c 0) (f389m true) (f38c 4) (f38m false) (f390c 0) (f390m false) (f391c 0) (f391m false) (f392c 1) (f392m false) (f393c 0) (f393m false) (f394c 2) (f394m true) (f395c 0) (f395m true) (f396c 3) (f396m true) (f397c 0) (f397m true) (f398c 0) (f398m true) (f399c 1) (f399m false) (f39c 1) (f39m false) (f3c 0) (f3m false) (f400c 0) (f400m false) (f401c 1) (f401m false) (f402c 5) (f402m true) (f403c 3) (f403m true) (f404c 0) (f404m true) (f405c 0) (f405m true) (f406c 4) (f406m false) (f407c 1) (f407m false) (f408c 4) (f408m false) (f409c 1) (f409m false) (f40c 4) (f40m false) (f410c 0) (f410m false) (f411c 0) (f411m false) (f412c 0) (f412m false) (f413c 0) (f413m false) (f414c 1) (f414m false) (f415c 1) (f415m false) (f416c 1) (f416m false) (f417c 1) (f417m false) (f418c 3) (f418m false) (f419c 3) (f419m false) (f41c 1) (f41m false) (f420c 0) (f420m false) (f421c 0) (f421m false) (f422c 4) (f422m false) (f423c 1) (f423m false) (f424c 4) (f424m false) (f425c 1) (f425m false) (f426c 0) (f426m false) (f427c 0) (f427m false) (f428c 0) (f428m false) (f429c 0) (f429m false) (f42c 0) (f42m true) (f430c 1) (f430m false) (f431c 1) (f431m false) (f432c 1) (f432m false) (f433c 1) (f433m false) (f434c 0) (f434m true) (f435c 0) (f435m true) (f436c 0) (f436m false) (f437c 0) (f437m false) (f438c 1) (f438m true) (f439c 1) (f439m false) (f43c 0) (f43m true) (f440c 0) (f440m false) (f441c 1) (f441m false) (f442c 1) (f442m true) (f443c 0) (f443m true) (f444c 0) (f444m true) (f445c 0) (f445m true) (f446c 2) (f446m true) (f447c 0) (f447m false) (f448c 0) (f448m false) (f449c 0) (f449m false) (f44c 0) (f44m false) (f450c 5) (f450m true) (f451c 3) (f451m true) (f452c 0) (f452m true) (f453c 0) (f453m true) (f454c 3) (f454m false) (f455c 0) (f455m false) (f456c 3) (f456m false) (f457c 0) (f457m false) (f458c 0) (f458m false) (f459c 0) (f459m false) (f45c 0) (f45m false) (f460c 0) (f460m false) (f461c 0) (f461m false) (f462c 1) (f462m false) (f463c 1) (f463m false) (f464c 1) (f464m false) (f465c 1) (f465m false) (f466c 3) (f466m false) (f467c 3) (f467m false) (f468c 0) (f468m false) (f469c 0) (f469m false) (f46c 0) (f46m true) (f470c 4) (f470m false) (f471c 1) (f471m false) (f472c 4) (f472m false) (f473c 1) (f473m false) (f474c 3) (f474m false) (f475c 3) (f475m false) (f476c 0) (f476m false) (f477c 0) (f477m false) (f478c 4) (f478m false) (f479c 1) (f479m false) (f47c 1) (f47m false) (f480c 4) (f480m false) (f481c 1) (f481m false) (f482c 0) (f482m false) (f483c 0) (f483m false) (f484c 0) (f484m false) (f485c 0) (f485m false) (f486c 1) (f486m false) (f487c 1) (f487m false) (f488c 1) (f488m false) (f489c 1) (f489m false) (f48c 0) (f48m false) (f490c 3) (f490m false) (f491c 3) (f491m false) (f492c 0) (f492m false) (f493c 0) (f493m false) (f494c 4) (f494m false) (f495c 1) (f495m false) (f496c 4) (f496m false) (f497c 1) (f497m false) (f498c 0) (f498m false) (f499c 0) (f499m false) (f49c 1) (f49m false) (f4c 4) (f4m true) (f500c 0) (f500m false) (f501c 0) (f501m false) (f502c 1) (f502m false) (f503c 1) (f503m false) (f504c 1) (f504m false) (f505c 1) (f505m false) (f506c 0) (f506m true) (f507c 0) (f507m true) (f508c 0) (f508m false) (f509c 0) (f509m false) (f50c 0) (f50m false) (f510c 2) (f510m true) (f511c 1) (f511m false) (f512c 0) (f512m false) (f513c 1) (f513m false) (f514c 0) (f514m false) (f515c 0) (f515m false) (f516c 0) (f516m false) (f517c 0) (f517m false) (f518c 1) (f518m false) (f519c 1) (f519m false) (f51c 0) (f51m false) (f520c 1) (f520m false) (f521c 1) (f521m false) (f522c 0) (f522m true) (f523c 0) (f523m true) (f524c 0) (f524m false) (f525c 0) (f525m false) (f526c 0) (f526m true) (f527c 1) (f527m false) (f528c 0) (f528m false) (f529c 1) (f529m false) (f52c 0) (f52m false) (f530c 0) (f530m false) (f531c 0) (f531m false) (f532c 0) (f532m false) (f533c 0) (f533m false) (f534c 1) (f534m false) (f535c 1) (f535m false) (f536c 1) (f536m false) (f537c 1) (f537m false) (f538c 0) (f538m false) (f539c 0) (f539m false) (f53c 0) (f53m false) (f540c 0) (f540m false) (f541c 0) (f541m false) (f542c 1) (f542m false) (f543c 1) (f543m false) (f544c 1) (f544m false) (f545c 1) (f545m false) (f546c 0) (f546m false) (f547c 0) (f547m false) (f548c 0) (f548m false) (f549c 0) (f549m false) (f54c 1) (f54m false) (f550c 1) (f550m false) (f551c 1) (f551m false) (f552c 1) (f552m false) (f553c 1) (f553m false) (f554c 0) (f554m false) (f555c 0) (f555m false) (f556c 0) (f556m false) (f557c 0) (f557m false) (f558c 1) (f558m false) (f559c 1) (f559m false) (f55c 1) (f55m false) (f560c 1) (f560m false) (f561c 1) (f561m false) (f562c 0) (f562m true) (f563c 0) (f563m true) (f564c 0) (f564m false) (f565c 0) (f565m false) (f566c 0) (f566m true) (f567c 1) (f567m false) (f568c 0) (f568m false) (f569c 1) (f569m false) (f56c 1) (f56m false) (f570c 0) (f570m false) (f571c 0) (f571m false) (f572c 0) (f572m false) (f573c 0) (f573m false) (f574c 1) (f574m false) (f575c 1) (f575m false) (f576c 1) (f576m false) (f577c 1) (f577m false) (f578c 0) (f578m false) (f579c 0) (f579m false) (f57c 1) (f57m false) (f580c 0) (f580m false) (f581c 0) (f581m false) (f582c 1) (f582m false) (f583c 1) (f583m false) (f584c 1) (f584m false) (f585c 1) (f585m false) (f586c 0) (f586m false) (f587c 0) (f587m false) (f588c 0) (f588m false) (f589c 0) (f589m false) (f58c 0) (f58m false) (f590c 1) (f590m false) (f591c 1) (f591m false) (f592c 1) (f592m false) (f593c 1) (f593m false) (f594c 0) (f594m false) (f595c 0) (f595m false) (f596c 0) (f596m false) (f597c 0) (f597m false) (f598c 1) (f598m false) (f599c 1) (f599m false) (f59c 0) (f59m false) (f5c 0) (f5m false) (f600c 1) (f600m false) (f601c 1) (f601m false) (f602c 0) (f602m false) (f603c 0) (f603m false) (f604c 0) (f604m false) (f605c 0) (f605m false) (f606c 1) (f606m false) (f607c 1) (f607m false) (f608c 1) (f608m false) (f609c 1) (f609m false) (f60c 0) (f60m false) (f610c 0) (f610m false) (f611c 0) (f611m false) (f612c 0) (f612m false) (f613c 0) (f613m false) (f614c 1) (f614m false) (f615c 1) (f615m false) (f616c 1) (f616m false) (f617c 1) (f617m false) (f618c 0) (f618m false) (f619c 0) (f619m false) (f61c 0) (f61m false) (f620c 0) (f620m false) (f621c 0) (f621m false) (f622c 1) (f622m false) (f623c 1) (f623m false) (f624c 1) (f624m false) (f625c 1) (f625m false) (f626c 0) (f626m true) (f627c 0) (f627m true) (f628c 0) (f628m false) (f629c 0) (f629m false) (f62c 1) (f62m false) (f630c 0) (f630m true) (f631c 1) (f631m false) (f632c 0) (f632m false) (f633c 1) (f633m false) (f634c 0) (f634m true) (f635c 0) (f635m true) (f636c 0) (f636m true) (f637c 0) (f637m true) (f638c 0) (f638m true) (f639c 0) (f639m false) (f63c 1) (f63m false) (f640c 0) (f640m false) (f641c 0) (f641m false) (f642c 0) (f642m true) (f643c 0) (f643m true) (f644c 0) (f644m true) (f645c 0) (f645m true) (f646c 0) (f646m false) (f647c 0) (f647m false) (f648c 1) (f648m false) (f649c 0) (f649m false) (f64c 1) (f64m false) (f650c 0) (f650m true) (f651c 0) (f651m true) (f652c 3) (f652m true) (f653c 0) (f653m true) (f654c 0) (f654m true) (f655c 1) (f655m false) (f656c 0) (f656m false) (f657c 1) (f657m false) (f658c 0) (f658m true) (f659c 0) (f659m true) (f65c 1) (f65m false) (f660c 0) (f660m true) (f661c 0) (f661m true) (f662c 1) (f662m false) (f663c 1) (f663m false) (f664c 1) (f664m false) (f665c 1) (f665m false) (f66c 0) (f66m false) (f67c 0) (f67m false) (f68c 0) (f68m false) (f69c 0) (f69m false) (f6c 0) (f6m true) (f70c 1) (f70m false) (f71c 1) (f71m false) (f72c 1) (f72m false) (f73c 1) (f73m false) (f74c 3) (f74m false) (f75c 3) (f75m false) (f76c 0) (f76m false) (f77c 0) (f77m false) (f78c 4) (f78m false) (f79c 1) (f79m false) (f7c 0) (f7m true) (f80c 4) (f80m false) (f81c 1) (f81m false) (f82c 0) (f82m false) (f83c 0) (f83m false) (f84c 0) (f84m false) (f85c 0) (f85m false) (f86c 1) (f86m false) (f87c 1) (f87m false) (f88c 1) (f88m false) (f89c 1) (f89m false) (f8c 0) (f8m false) (f90c 0) (f90m true) (f91c 0) (f91m true) (f92c 0) (f92m false) (f93c 0) (f93m false) (f94c 0) (f94m true) (f95c 1) (f95m false) (f96c 0) (f96m false) (f97c 1) (f97m false) (f98c 3) (f98m false) (f99c 3) (f99m false) (f9c 0) (f9m true) (l0c 0) (l0m false) (l1000c 3) (l1000m false) (l1001c 3) (l1001m false) (l1002c 3) (l1002m false) (l1003c 3) (l1003m false) (l1004c 3) (l1004m false) (l1005c 3) (l1005m false) (l1006c 0) (l1006m false) (l1007c 0) (l1007m false) (l1008c 0) (l1008m false) (l1009c 0) (l1009m false) (l100c 0) (l100m false) (l1010c 0) (l1010m false) (l1011c 0) (l1011m false) (l1012c 4) (l1012m false) (l1013c 4) (l1013m false) (l1014c 4) (l1014m false) (l1015c 1) (l1015m false) (l1016c 1) (l1016m false) (l1017c 1) (l1017m false) (l1018c 4) (l1018m false) (l1019c 1) (l1019m false) (l101c 0) (l101m false) (l1020c 0) (l1020m false) (l1021c 0) (l1021m false) (l1022c 0) (l1022m false) (l1023c 0) (l1023m false) (l1024c 0) (l1024m false) (l1025c 0) (l1025m false) (l1026c 0) (l1026m false) (l1027c 0) (l1027m false) (l1028c 0) (l1028m false) (l1029c 0) (l1029m false) (l102c 0) (l102m false) (l1030c 0) (l1030m false) (l1031c 0) (l1031m false) (l1032c 1) (l1032m false) (l1033c 1) (l1033m true) (l1034c 1) (l1034m false) (l1035c 1) (l1035m false) (l1036c 1) (l1036m true) (l1037c 1) (l1037m false) (l1038c 1) (l1038m false) (l1039c 1) (l1039m false) (l103c 0) (l103m false) (l1040c 0) (l1040m true) (l1041c 0) (l1041m true) (l1042c 0) (l1042m true) (l1043c 0) (l1043m true) (l1044c 0) (l1044m true) (l1045c 0) (l1045m true) (l1046c 0) (l1046m false) (l1047c 0) (l1047m true) (l1048c 0) (l1048m false) (l1049c 0) (l1049m false) (l104c 0) (l104m false) (l1050c 0) (l1050m true) (l1051c 0) (l1051m false) (l1052c 1) (l1052m true) (l1053c 1) (l1053m true) (l1054c 1) (l1054m true) (l1055c 1) (l1055m false) (l1056c 1) (l1056m true) (l1057c 1) (l1057m false) (l1058c 0) (l1058m false) (l1059c 1) (l1059m false) (l105c 0) (l105m false) (l1060c 1) (l1060m true) (l1061c 1) (l1061m true) (l1062c 1) (l1062m true) (l1063c 0) (l1063m true) (l1064c 0) (l1064m true) (l1065c 0) (l1065m true) (l1066c 0) (l1066m true) (l1067c 0) (l1067m true) (l1068c 0) (l1068m true) (l1069c 0) (l1069m true) (l106c 0) (l106m false) (l1070c 0) (l1070m true) (l1071c 0) (l1071m true) (l1072c 2) (l1072m true) (l1073c 2) (l1073m true) (l1074c 2) (l1074m true) (l1075c 0) (l1075m false) (l1076c 0) (l1076m true) (l1077c 0) (l1077m false) (l1078c 0) (l1078m false) (l1079c 0) (l1079m false) (l107c 0) (l107m false) (l1080c 4) (l1080m true) (l1081c 3) (l1081m true) (l1082c 5) (l1082m true) (l1083c 3) (l1083m true) (l1084c 3) (l1084m true) (l1085c 3) (l1085m true) (l1086c 7) (l1086m true) (l1087c 7) (l1087m true) (l1088c 0) (l1088m true) (l1089c 6) (l1089m true) (l108c 0) (l108m false) (l1090c 6) (l1090m true) (l1091c 0) (l1091m true) (l1092c 3) (l1092m false) (l1093c 3) (l1093m false) (l1094c 3) (l1094m false) (l1095c 0) (l1095m false) (l1096c 0) (l1096m false) (l1097c 0) (l1097m false) (l1098c 3) (l1098m false) (l1099c 0) (l1099m false) (l109c 0) (l109m false) (l10c 0) (l10m false) (l1100c 0) (l1100m false) (l1101c 0) (l1101m false) (l1102c 0) (l1102m false) (l1103c 0) (l1103m false) (l1104c 0) (l1104m false) (l1105c 0) (l1105m false) (l1106c 0) (l1106m false) (l1107c 0) (l1107m false) (l1108c 0) (l1108m false) (l1109c 0) (l1109m false) (l110c 0) (l110m false) (l1110c 0) (l1110m false) (l1111c 0) (l1111m false) (l1112c 1) (l1112m false) (l1113c 1) (l1113m true) (l1114c 1) (l1114m false) (l1115c 1) (l1115m false) (l1116c 1) (l1116m true) (l1117c 1) (l1117m false) (l1118c 1) (l1118m false) (l1119c 1) (l1119m false) (l111c 0) (l111m false) (l1120c 3) (l1120m false) (l1121c 3) (l1121m false) (l1122c 3) (l1122m false) (l1123c 3) (l1123m false) (l1124c 3) (l1124m false) (l1125c 3) (l1125m false) (l1126c 0) (l1126m false) (l1127c 0) (l1127m false) (l1128c 0) (l1128m false) (l1129c 0) (l1129m false) (l112c 1) (l112m false) (l1130c 0) (l1130m false) (l1131c 0) (l1131m false) (l1132c 4) (l1132m false) (l1133c 4) (l1133m false) (l1134c 4) (l1134m false) (l1135c 1) (l1135m false) (l1136c 1) (l1136m false) (l1137c 1) (l1137m false) (l1138c 4) (l1138m false) (l1139c 1) (l1139m false) (l113c 1) (l113m false) (l1140c 3) (l1140m false) (l1141c 3) (l1141m false) (l1142c 3) (l1142m false) (l1143c 3) (l1143m false) (l1144c 3) (l1144m false) (l1145c 3) (l1145m false) (l1146c 0) (l1146m false) (l1147c 0) (l1147m false) (l1148c 0) (l1148m false) (l1149c 0) (l1149m false) (l114c 1) (l114m false) (l1150c 0) (l1150m false) (l1151c 0) (l1151m false) (l1152c 4) (l1152m false) (l1153c 4) (l1153m true) (l1154c 4) (l1154m false) (l1155c 1) (l1155m false) (l1156c 6) (l1156m true) (l1157c 1) (l1157m false) (l1158c 4) (l1158m false) (l1159c 1) (l1159m false) (l115c 1) (l115m false) (l1160c 0) (l1160m false) (l1161c 0) (l1161m false) (l1162c 0) (l1162m false) (l1163c 0) (l1163m false) (l1164c 0) (l1164m false) (l1165c 0) (l1165m false) (l1166c 0) (l1166m false) (l1167c 0) (l1167m false) (l1168c 0) (l1168m false) (l1169c 0) (l1169m false) (l116c 1) (l116m false) (l1170c 0) (l1170m false) (l1171c 0) (l1171m false) (l1172c 1) (l1172m false) (l1173c 0) (l1173m true) (l1174c 1) (l1174m false) (l1175c 1) (l1175m false) (l1176c 1) (l1176m true) (l1177c 1) (l1177m false) (l1178c 1) (l1178m false) (l1179c 1) (l1179m false) (l117c 1) (l117m false) (l1180c 3) (l1180m false) (l1181c 3) (l1181m false) (l1182c 3) (l1182m false) (l1183c 3) (l1183m false) (l1184c 3) (l1184m false) (l1185c 3) (l1185m false) (l1186c 0) (l1186m false) (l1187c 0) (l1187m false) (l1188c 0) (l1188m false) (l1189c 0) (l1189m false) (l118c 1) (l118m false) (l1190c 0) (l1190m false) (l1191c 0) (l1191m false) (l1192c 4) (l1192m false) (l1193c 4) (l1193m false) (l1194c 4) (l1194m false) (l1195c 1) (l1195m false) (l1196c 1) (l1196m false) (l1197c 1) (l1197m false) (l1198c 4) (l1198m false) (l1199c 1) (l1199m false) (l119c 1) (l119m false) (l11c 0) (l11m false) (l1200c 0) (l1200m false) (l1201c 0) (l1201m false) (l1202c 0) (l1202m false) (l1203c 0) (l1203m false) (l1204c 0) (l1204m false) (l1205c 0) (l1205m false) (l1206c 0) (l1206m false) (l1207c 0) (l1207m false) (l1208c 0) (l1208m false) (l1209c 0) (l1209m false) (l120c 0) (l120m false) (l1210c 0) (l1210m false) (l1211c 0) (l1211m false) (l1212c 1) (l1212m false) (l1213c 1) (l1213m true) (l1214c 1) (l1214m false) (l1215c 1) (l1215m false) (l1216c 0) (l1216m true) (l1217c 1) (l1217m false) (l1218c 1) (l1218m false) (l1219c 1) (l1219m false) (l121c 0) (l121m false) (l1220c 0) (l1220m true) (l1221c 0) (l1221m true) (l1222c 0) (l1222m true) (l1223c 0) (l1223m true) (l1224c 0) (l1224m true) (l1225c 0) (l1225m true) (l1226c 0) (l1226m false) (l1227c 0) (l1227m true) (l1228c 0) (l1228m false) (l1229c 0) (l1229m false) (l122c 0) (l122m false) (l1230c 0) (l1230m true) (l1231c 0) (l1231m false) (l1232c 0) (l1232m true) (l1233c 2) (l1233m true) (l1234c 2) (l1234m true) (l1235c 1) (l1235m false) (l1236c 1) (l1236m true) (l1237c 1) (l1237m false) (l1238c 0) (l1238m false) (l1239c 1) (l1239m false) (l123c 0) (l123m false) (l1240c 1) (l1240m true) (l1241c 0) (l1241m false) (l1242c 0) (l1242m false) (l1243c 3) (l1243m true) (l1244c 0) (l1244m false) (l1245c 0) (l1245m false) (l1246c 0) (l1246m true) (l1247c 0) (l1247m false) (l1248c 0) (l1248m false) (l1249c 0) (l1249m true) (l124c 0) (l124m false) (l1250c 0) (l1250m false) (l1251c 0) (l1251m false) (l1252c 0) (l1252m false) (l1253c 1) (l1253m false) (l1254c 1) (l1254m false) (l1255c 0) (l1255m false) (l1256c 1) (l1256m false) (l1257c 1) (l1257m false) (l1258c 1) (l1258m false) (l1259c 1) (l1259m false) (l125c 0) (l125m false) (l1260c 0) (l1260m true) (l1261c 0) (l1261m true) (l1262c 0) (l1262m true) (l1263c 0) (l1263m true) (l1264c 0) (l1264m true) (l1265c 0) (l1265m true) (l1266c 0) (l1266m false) (l1267c 0) (l1267m true) (l1268c 0) (l1268m false) (l1269c 0) (l1269m false) (l126c 0) (l126m false) (l1270c 0) (l1270m true) (l1271c 0) (l1271m false) (l1272c 0) (l1272m true) (l1273c 0) (l1273m true) (l1274c 0) (l1274m true) (l1275c 1) (l1275m false) (l1276c 1) (l1276m true) (l1277c 1) (l1277m false) (l1278c 0) (l1278m false) (l1279c 1) (l1279m false) (l127c 0) (l127m false) (l1280c 0) (l1280m true) (l1281c 0) (l1281m false) (l1282c 0) (l1282m false) (l1283c 0) (l1283m true) (l1284c 0) (l1284m false) (l1285c 0) (l1285m false) (l1286c 0) (l1286m true) (l1287c 0) (l1287m false) (l1288c 0) (l1288m false) (l1289c 0) (l1289m true) (l128c 0) (l128m false) (l1290c 0) (l1290m false) (l1291c 0) (l1291m false) (l1292c 0) (l1292m false) (l1293c 1) (l1293m false) (l1294c 1) (l1294m false) (l1295c 0) (l1295m false) (l1296c 1) (l1296m false) (l1297c 1) (l1297m false) (l1298c 1) (l1298m false) (l1299c 1) (l1299m false) (l129c 0) (l129m false) (l12c 1) (l12m false) (l1300c 0) (l1300m false) (l1301c 0) (l1301m false) (l1302c 0) (l1302m false) (l1303c 0) (l1303m false) (l1304c 0) (l1304m false) (l1305c 0) (l1305m false) (l1306c 0) (l1306m false) (l1307c 0) (l1307m false) (l1308c 0) (l1308m false) (l1309c 0) (l1309m false) (l130c 0) (l130m false) (l1310c 0) (l1310m false) (l1311c 0) (l1311m false) (l1312c 1) (l1312m false) (l1313c 1) (l1313m false) (l1314c 1) (l1314m false) (l1315c 1) (l1315m false) (l1316c 1) (l1316m false) (l1317c 1) (l1317m false) (l1318c 1) (l1318m false) (l1319c 1) (l1319m false) (l131c 0) (l131m false) (l1320c 0) (l1320m false) (l1321c 0) (l1321m false) (l1322c 0) (l1322m false) (l1323c 0) (l1323m false) (l1324c 0) (l1324m false) (l1325c 0) (l1325m false) (l1326c 0) (l1326m false) (l1327c 0) (l1327m false) (l1328c 0) (l1328m false) (l1329c 0) (l1329m false) (l132c 1) (l132m false) (l1330c 0) (l1330m false) (l1331c 0) (l1331m false) (l1332c 1) (l1332m false) (l1333c 1) (l1333m false) (l1334c 1) (l1334m false) (l1335c 1) (l1335m false) (l1336c 1) (l1336m false) (l1337c 1) (l1337m false) (l1338c 1) (l1338m false) (l1339c 1) (l1339m false) (l133c 1) (l133m false) (l1340c 0) (l1340m false) (l1341c 0) (l1341m false) (l1342c 0) (l1342m false) (l1343c 0) (l1343m false) (l1344c 0) (l1344m false) (l1345c 0) (l1345m false) (l1346c 0) (l1346m false) (l1347c 0) (l1347m false) (l1348c 0) (l1348m false) (l1349c 0) (l1349m false) (l134c 1) (l134m false) (l1350c 0) (l1350m false) (l1351c 0) (l1351m false) (l1352c 1) (l1352m false) (l1353c 1) (l1353m false) (l1354c 1) (l1354m false) (l1355c 1) (l1355m false) (l1356c 1) (l1356m false) (l1357c 1) (l1357m false) (l1358c 1) (l1358m false) (l1359c 1) (l1359m false) (l135c 1) (l135m false) (l1360c 0) (l1360m true) (l1361c 0) (l1361m true) (l1362c 0) (l1362m true) (l1363c 0) (l1363m true) (l1364c 0) (l1364m true) (l1365c 0) (l1365m true) (l1366c 0) (l1366m false) (l1367c 0) (l1367m true) (l1368c 0) (l1368m false) (l1369c 0) (l1369m false) (l136c 1) (l136m false) (l1370c 0) (l1370m true) (l1371c 0) (l1371m false) (l1372c 0) (l1372m true) (l1373c 0) (l1373m true) (l1374c 0) (l1374m true) (l1375c 1) (l1375m false) (l1376c 1) (l1376m true) (l1377c 1) (l1377m false) (l1378c 0) (l1378m false) (l1379c 1) (l1379m false) (l137c 1) (l137m false) (l1380c 1) (l1380m true) (l1381c 0) (l1381m false) (l1382c 0) (l1382m false) (l1383c 0) (l1383m true) (l1384c 0) (l1384m false) (l1385c 0) (l1385m false) (l1386c 0) (l1386m true) (l1387c 0) (l1387m false) (l1388c 0) (l1388m false) (l1389c 0) (l1389m true) (l138c 1) (l138m false) (l1390c 0) (l1390m false) (l1391c 0) (l1391m false) (l1392c 0) (l1392m false) (l1393c 1) (l1393m false) (l1394c 1) (l1394m false) (l1395c 0) (l1395m false) (l1396c 1) (l1396m false) (l1397c 1) (l1397m false) (l1398c 1) (l1398m false) (l1399c 1) (l1399m false) (l139c 1) (l139m false) (l13c 1) (l13m true) (l1400c 0) (l1400m false) (l1401c 0) (l1401m false) (l1402c 0) (l1402m false) (l1403c 0) (l1403m false) (l1404c 0) (l1404m false) (l1405c 0) (l1405m false) (l1406c 0) (l1406m false) (l1407c 0) (l1407m false) (l1408c 0) (l1408m false) (l1409c 0) (l1409m false) (l140c 3) (l140m false) (l1410c 0) (l1410m false) (l1411c 0) (l1411m false) (l1412c 1) (l1412m false) (l1413c 1) (l1413m false) (l1414c 1) (l1414m false) (l1415c 1) (l1415m false) (l1416c 1) (l1416m false) (l1417c 1) (l1417m false) (l1418c 1) (l1418m false) (l1419c 1) (l1419m false) (l141c 3) (l141m false) (l1420c 0) (l1420m false) (l1421c 0) (l1421m false) (l1422c 0) (l1422m false) (l1423c 0) (l1423m false) (l1424c 0) (l1424m false) (l1425c 0) (l1425m false) (l1426c 0) (l1426m false) (l1427c 0) (l1427m false) (l1428c 0) (l1428m false) (l1429c 0) (l1429m false) (l142c 3) (l142m false) (l1430c 0) (l1430m false) (l1431c 0) (l1431m false) (l1432c 1) (l1432m false) (l1433c 0) (l1433m true) (l1434c 1) (l1434m false) (l1435c 1) (l1435m false) (l1436c 0) (l1436m true) (l1437c 1) (l1437m false) (l1438c 1) (l1438m false) (l1439c 1) (l1439m false) (l143c 3) (l143m false) (l1440c 0) (l1440m false) (l1441c 0) (l1441m false) (l1442c 0) (l1442m false) (l1443c 0) (l1443m false) (l1444c 0) (l1444m false) (l1445c 0) (l1445m false) (l1446c 0) (l1446m false) (l1447c 0) (l1447m false) (l1448c 0) (l1448m false) (l1449c 0) (l1449m false) (l144c 3) (l144m false) (l1450c 0) (l1450m false) (l1451c 0) (l1451m false) (l1452c 1) (l1452m false) (l1453c 1) (l1453m false) (l1454c 1) (l1454m false) (l1455c 1) (l1455m false) (l1456c 1) (l1456m false) (l1457c 1) (l1457m false) (l1458c 1) (l1458m false) (l1459c 1) (l1459m false) (l145c 3) (l145m false) (l1460c 0) (l1460m false) (l1461c 0) (l1461m false) (l1462c 0) (l1462m false) (l1463c 0) (l1463m false) (l1464c 0) (l1464m false) (l1465c 0) (l1465m false) (l1466c 0) (l1466m false) (l1467c 0) (l1467m false) (l1468c 0) (l1468m false) (l1469c 0) (l1469m false) (l146c 0) (l146m false) (l1470c 0) (l1470m false) (l1471c 0) (l1471m false) (l1472c 1) (l1472m false) (l1473c 1) (l1473m true) (l1474c 1) (l1474m false) (l1475c 1) (l1475m false) (l1476c 0) (l1476m true) (l1477c 1) (l1477m false) (l1478c 1) (l1478m false) (l1479c 1) (l1479m false) (l147c 0) (l147m false) (l1480c 0) (l1480m false) (l1481c 0) (l1481m false) (l1482c 0) (l1482m false) (l1483c 0) (l1483m false) (l1484c 0) (l1484m false) (l1485c 0) (l1485m false) (l1486c 0) (l1486m false) (l1487c 0) (l1487m false) (l1488c 0) (l1488m false) (l1489c 0) (l1489m false) (l148c 0) (l148m false) (l1490c 0) (l1490m false) (l1491c 0) (l1491m false) (l1492c 1) (l1492m false) (l1493c 1) (l1493m false) (l1494c 1) (l1494m false) (l1495c 1) (l1495m false) (l1496c 1) (l1496m false) (l1497c 1) (l1497m false) (l1498c 1) (l1498m false) (l1499c 1) (l1499m false) (l149c 0) (l149m false) (l14c 1) (l14m false) (l1500c 0) (l1500m false) (l1501c 0) (l1501m false) (l1502c 0) (l1502m false) (l1503c 0) (l1503m false) (l1504c 0) (l1504m false) (l1505c 0) (l1505m false) (l1506c 0) (l1506m false) (l1507c 0) (l1507m false) (l1508c 0) (l1508m false) (l1509c 0) (l1509m false) (l150c 0) (l150m false) (l1510c 0) (l1510m false) (l1511c 0) (l1511m false) (l1512c 1) (l1512m false) (l1513c 0) (l1513m true) (l1514c 1) (l1514m false) (l1515c 1) (l1515m false) (l1516c 0) (l1516m true) (l1517c 1) (l1517m false) (l1518c 1) (l1518m false) (l1519c 1) (l1519m false) (l151c 0) (l151m false) (l1520c 0) (l1520m true) (l1521c 0) (l1521m true) (l1522c 0) (l1522m true) (l1523c 0) (l1523m true) (l1524c 0) (l1524m true) (l1525c 0) (l1525m true) (l1526c 0) (l1526m false) (l1527c 0) (l1527m true) (l1528c 0) (l1528m false) (l1529c 0) (l1529m false) (l152c 4) (l152m false) (l1530c 0) (l1530m true) (l1531c 0) (l1531m false) (l1532c 0) (l1532m true) (l1533c 0) (l1533m true) (l1534c 0) (l1534m true) (l1535c 1) (l1535m false) (l1536c 1) (l1536m true) (l1537c 1) (l1537m false) (l1538c 0) (l1538m false) (l1539c 1) (l1539m false) (l153c 4) (l153m false) (l1540c 0) (l1540m true) (l1541c 0) (l1541m true) (l1542c 0) (l1542m true) (l1543c 0) (l1543m true) (l1544c 0) (l1544m true) (l1545c 0) (l1545m true) (l1546c 0) (l1546m true) (l1547c 0) (l1547m true) (l1548c 0) (l1548m true) (l1549c 0) (l1549m true) (l154c 4) (l154m false) (l1550c 0) (l1550m true) (l1551c 0) (l1551m true) (l1552c 0) (l1552m true) (l1553c 0) (l1553m true) (l1554c 0) (l1554m true) (l1555c 0) (l1555m false) (l1556c 1) (l1556m true) (l1557c 0) (l1557m false) (l1558c 0) (l1558m false) (l1559c 0) (l1559m false) (l155c 1) (l155m false) (l1560c 0) (l1560m true) (l1561c 0) (l1561m true) (l1562c 0) (l1562m true) (l1563c 0) (l1563m true) (l1564c 0) (l1564m true) (l1565c 0) (l1565m true) (l1566c 0) (l1566m true) (l1567c 0) (l1567m true) (l1568c 0) (l1568m true) (l1569c 0) (l1569m true) (l156c 1) (l156m false) (l1570c 1) (l1570m true) (l1571c 0) (l1571m true) (l1572c 0) (l1572m false) (l1573c 0) (l1573m false) (l1574c 0) (l1574m false) (l1575c 0) (l1575m false) (l1576c 0) (l1576m false) (l1577c 0) (l1577m false) (l1578c 1) (l1578m false) (l1579c 0) (l1579m false) (l157c 1) (l157m false) (l1580c 0) (l1580m true) (l1581c 0) (l1581m true) (l1582c 0) (l1582m true) (l1583c 0) (l1583m true) (l1584c 0) (l1584m true) (l1585c 0) (l1585m true) (l1586c 1) (l1586m true) (l1587c 3) (l1587m true) (l1588c 3) (l1588m true) (l1589c 0) (l1589m true) (l158c 4) (l158m false) (l1590c 0) (l1590m true) (l1591c 0) (l1591m true) (l1592c 0) (l1592m true) (l1593c 0) (l1593m true) (l1594c 0) (l1594m true) (l1595c 1) (l1595m false) (l1596c 2) (l1596m true) (l1597c 1) (l1597m false) (l1598c 0) (l1598m false) (l1599c 1) (l1599m false) (l159c 1) (l159m false) (l15c 1) (l15m false) (l1600c 0) (l1600m true) (l1601c 0) (l1601m true) (l1602c 0) (l1602m true) (l1603c 0) (l1603m true) (l1604c 0) (l1604m true) (l1605c 0) (l1605m true) (l1606c 0) (l1606m true) (l1607c 2) (l1607m true) (l1608c 0) (l1608m true) (l1609c 0) (l1609m true) (l160c 0) (l160m false) (l1610c 3) (l1610m true) (l1611c 0) (l1611m true) (l1612c 0) (l1612m false) (l1613c 1) (l1613m false) (l1614c 1) (l1614m false) (l1615c 0) (l1615m false) (l1616c 1) (l1616m false) (l1617c 1) (l1617m false) (l1618c 1) (l1618m false) (l1619c 1) (l1619m false) (l161c 0) (l161m false) (l162c 0) (l162m false) (l163c 0) (l163m false) (l164c 0) (l164m false) (l165c 0) (l165m false) (l166c 0) (l166m false) (l167c 0) (l167m false) (l168c 0) (l168m false) (l169c 0) (l169m false) (l16c 1) (l16m true) (l170c 0) (l170m false) (l171c 0) (l171m false) (l172c 1) (l172m false) (l173c 0) (l173m true) (l174c 1) (l174m false) (l175c 1) (l175m false) (l176c 0) (l176m true) (l177c 1) (l177m false) (l178c 1) (l178m false) (l179c 1) (l179m false) (l17c 1) (l17m false) (l180c 0) (l180m true) (l181c 0) (l181m true) (l182c 0) (l182m true) (l183c 0) (l183m true) (l184c 0) (l184m true) (l185c 0) (l185m true) (l186c 0) (l186m false) (l187c 0) (l187m true) (l188c 0) (l188m false) (l189c 0) (l189m false) (l18c 1) (l18m false) (l190c 0) (l190m true) (l191c 0) (l191m false) (l192c 0) (l192m true) (l193c 0) (l193m true) (l194c 0) (l194m true) (l195c 1) (l195m false) (l196c 1) (l196m true) (l197c 1) (l197m false) (l198c 0) (l198m false) (l199c 1) (l199m false) (l19c 1) (l19m false) (l1c 0) (l1m false) (l200c 3) (l200m true) (l201c 3) (l201m false) (l202c 3) (l202m false) (l203c 3) (l203m true) (l204c 3) (l204m false) (l205c 3) (l205m false) (l206c 6) (l206m true) (l207c 0) (l207m false) (l208c 0) (l208m false) (l209c 6) (l209m true) (l20c 0) (l20m true) (l210c 0) (l210m false) (l211c 0) (l211m false) (l212c 3) (l212m false) (l213c 4) (l213m false) (l214c 4) (l214m false) (l215c 0) (l215m false) (l216c 1) (l216m false) (l217c 1) (l217m false) (l218c 4) (l218m false) (l219c 1) (l219m false) (l21c 0) (l21m true) (l220c 0) (l220m true) (l221c 0) (l221m true) (l222c 0) (l222m true) (l223c 0) (l223m true) (l224c 0) (l224m true) (l225c 0) (l225m true) (l226c 0) (l226m false) (l227c 0) (l227m true) (l228c 0) (l228m false) (l229c 0) (l229m false) (l22c 0) (l22m true) (l230c 0) (l230m true) (l231c 0) (l231m false) (l232c 1) (l232m true) (l233c 1) (l233m true) (l234c 1) (l234m true) (l235c 1) (l235m false) (l236c 0) (l236m true) (l237c 1) (l237m false) (l238c 0) (l238m false) (l239c 1) (l239m false) (l23c 0) (l23m true) (l240c 0) (l240m true) (l241c 0) (l241m false) (l242c 0) (l242m false) (l243c 0) (l243m true) (l244c 0) (l244m false) (l245c 0) (l245m false) (l246c 0) (l246m true) (l247c 0) (l247m false) (l248c 0) (l248m false) (l249c 0) (l249m true) (l24c 0) (l24m true) (l250c 0) (l250m false) (l251c 0) (l251m false) (l252c 0) (l252m false) (l253c 1) (l253m false) (l254c 1) (l254m false) (l255c 0) (l255m false) (l256c 1) (l256m false) (l257c 1) (l257m false) (l258c 1) (l258m false) (l259c 1) (l259m false) (l25c 0) (l25m true) (l260c 0) (l260m false) (l261c 0) (l261m false) (l262c 0) (l262m false) (l263c 0) (l263m false) (l264c 0) (l264m false) (l265c 0) (l265m false) (l266c 0) (l266m false) (l267c 0) (l267m false) (l268c 0) (l268m false) (l269c 0) (l269m false) (l26c 0) (l26m false) (l270c 0) (l270m false) (l271c 0) (l271m false) (l272c 1) (l272m false) (l273c 1) (l273m false) (l274c 1) (l274m false) (l275c 1) (l275m false) (l276c 1) (l276m false) (l277c 1) (l277m false) (l278c 1) (l278m false) (l279c 1) (l279m false) (l27c 0) (l27m true) (l280c 3) (l280m false) (l281c 3) (l281m false) (l282c 3) (l282m false) (l283c 3) (l283m false) (l284c 3) (l284m false) (l285c 3) (l285m false) (l286c 0) (l286m false) (l287c 0) (l287m false) (l288c 0) (l288m false) (l289c 0) (l289m false) (l28c 0) (l28m false) (l290c 0) (l290m false) (l291c 0) (l291m false) (l292c 4) (l292m false) (l293c 4) (l293m false) (l294c 4) (l294m false) (l295c 1) (l295m false) (l296c 1) (l296m false) (l297c 1) (l297m false) (l298c 4) (l298m false) (l299c 1) (l299m false) (l29c 0) (l29m false) (l2c 0) (l2m false) (l300c 0) (l300m false) (l301c 0) (l301m false) (l302c 0) (l302m false) (l303c 0) (l303m false) (l304c 0) (l304m false) (l305c 0) (l305m false) (l306c 0) (l306m false) (l307c 0) (l307m false) (l308c 0) (l308m false) (l309c 0) (l309m false) (l30c 0) (l30m true) (l310c 0) (l310m false) (l311c 0) (l311m false) (l312c 1) (l312m false) (l313c 0) (l313m true) (l314c 1) (l314m false) (l315c 1) (l315m false) (l316c 0) (l316m true) (l317c 1) (l317m false) (l318c 1) (l318m false) (l319c 1) (l319m false) (l31c 0) (l31m false) (l320c 1) (l320m true) (l321c 0) (l321m true) (l322c 0) (l322m true) (l323c 0) (l323m true) (l324c 0) (l324m true) (l325c 0) (l325m true) (l326c 0) (l326m false) (l327c 0) (l327m true) (l328c 0) (l328m false) (l329c 0) (l329m false) (l32c 0) (l32m true) (l330c 0) (l330m true) (l331c 0) (l331m false) (l332c 0) (l332m true) (l333c 0) (l333m true) (l334c 0) (l334m true) (l335c 1) (l335m false) (l336c 1) (l336m true) (l337c 1) (l337m false) (l338c 0) (l338m false) (l339c 1) (l339m false) (l33c 0) (l33m true) (l340c 3) (l340m true) (l341c 3) (l341m false) (l342c 3) (l342m false) (l343c 3) (l343m true) (l344c 3) (l344m false) (l345c 3) (l345m false) (l346c 4) (l346m true) (l347c 0) (l347m false) (l348c 0) (l348m false) (l349c 6) (l349m true) (l34c 0) (l34m true) (l350c 0) (l350m false) (l351c 0) (l351m false) (l352c 3) (l352m false) (l353c 4) (l353m false) (l354c 4) (l354m false) (l355c 0) (l355m false) (l356c 1) (l356m false) (l357c 1) (l357m false) (l358c 4) (l358m false) (l359c 1) (l359m false) (l35c 1) (l35m false) (l360c 0) (l360m true) (l361c 0) (l361m true) (l362c 0) (l362m true) (l363c 0) (l363m true) (l364c 0) (l364m true) (l365c 0) (l365m true) (l366c 0) (l366m false) (l367c 0) (l367m true) (l368c 0) (l368m false) (l369c 0) (l369m false) (l36c 1) (l36m true) (l370c 0) (l370m true) (l371c 0) (l371m false) (l372c 0) (l372m true) (l373c 0) (l373m true) (l374c 0) (l374m true) (l375c 1) (l375m false) (l376c 0) (l376m true) (l377c 1) (l377m false) (l378c 0) (l378m false) (l379c 1) (l379m false) (l37c 1) (l37m false) (l380c 1) (l380m true) (l381c 0) (l381m false) (l382c 0) (l382m false) (l383c 0) (l383m true) (l384c 0) (l384m false) (l385c 0) (l385m false) (l386c 0) (l386m true) (l387c 0) (l387m false) (l388c 0) (l388m false) (l389c 0) (l389m true) (l38c 0) (l38m false) (l390c 0) (l390m false) (l391c 0) (l391m false) (l392c 0) (l392m false) (l393c 1) (l393m false) (l394c 1) (l394m false) (l395c 0) (l395m false) (l396c 1) (l396m false) (l397c 1) (l397m false) (l398c 1) (l398m false) (l399c 1) (l399m false) (l39c 1) (l39m false) (l3c 0) (l3m false) (l400c 3) (l400m false) (l401c 3) (l401m false) (l402c 3) (l402m false) (l403c 3) (l403m false) (l404c 3) (l404m false) (l405c 3) (l405m false) (l406c 0) (l406m false) (l407c 0) (l407m false) (l408c 0) (l408m false) (l409c 0) (l409m false) (l40c 3) (l40m true) (l410c 0) (l410m false) (l411c 0) (l411m false) (l412c 4) (l412m false) (l413c 4) (l413m false) (l414c 4) (l414m false) (l415c 1) (l415m false) (l416c 1) (l416m false) (l417c 1) (l417m false) (l418c 4) (l418m false) (l419c 1) (l419m false) (l41c 3) (l41m false) (l420c 0) (l420m false) (l421c 0) (l421m false) (l422c 0) (l422m false) (l423c 0) (l423m false) (l424c 0) (l424m false) (l425c 0) (l425m false) (l426c 0) (l426m false) (l427c 0) (l427m false) (l428c 0) (l428m false) (l429c 0) (l429m false) (l42c 3) (l42m false) (l430c 0) (l430m false) (l431c 0) (l431m false) (l432c 1) (l432m false) (l433c 1) (l433m true) (l434c 1) (l434m false) (l435c 1) (l435m false) (l436c 1) (l436m true) (l437c 1) (l437m false) (l438c 1) (l438m false) (l439c 1) (l439m false) (l43c 3) (l43m true) (l440c 0) (l440m true) (l441c 0) (l441m true) (l442c 0) (l442m true) (l443c 0) (l443m true) (l444c 0) (l444m true) (l445c 0) (l445m true) (l446c 0) (l446m false) (l447c 0) (l447m true) (l448c 0) (l448m false) (l449c 0) (l449m false) (l44c 3) (l44m false) (l450c 0) (l450m true) (l451c 0) (l451m false) (l452c 0) (l452m true) (l453c 0) (l453m true) (l454c 0) (l454m true) (l455c 1) (l455m false) (l456c 1) (l456m true) (l457c 1) (l457m false) (l458c 0) (l458m false) (l459c 1) (l459m false) (l45c 3) (l45m false) (l460c 2) (l460m true) (l461c 3) (l461m false) (l462c 3) (l462m false) (l463c 3) (l463m true) (l464c 3) (l464m false) (l465c 3) (l465m false) (l466c 3) (l466m true) (l467c 0) (l467m false) (l468c 0) (l468m false) (l469c 1) (l469m true) (l46c 0) (l46m true) (l470c 0) (l470m false) (l471c 0) (l471m false) (l472c 3) (l472m false) (l473c 4) (l473m false) (l474c 4) (l474m false) (l475c 0) (l475m false) (l476c 1) (l476m false) (l477c 1) (l477m false) (l478c 4) (l478m false) (l479c 1) (l479m false) (l47c 0) (l47m false) (l480c 0) (l480m true) (l481c 0) (l481m true) (l482c 0) (l482m true) (l483c 0) (l483m true) (l484c 0) (l484m true) (l485c 0) (l485m true) (l486c 0) (l486m false) (l487c 0) (l487m true) (l488c 0) (l488m false) (l489c 0) (l489m false) (l48c 0) (l48m false) (l490c 0) (l490m true) (l491c 0) (l491m false) (l492c 0) (l492m true) (l493c 0) (l493m true) (l494c 0) (l494m true) (l495c 1) (l495m false) (l496c 1) (l496m true) (l497c 1) (l497m false) (l498c 0) (l498m false) (l499c 1) (l499m false) (l49c 7) (l49m true) (l4c 0) (l4m false) (l500c 4) (l500m true) (l501c 3) (l501m false) (l502c 3) (l502m false) (l503c 3) (l503m true) (l504c 3) (l504m false) (l505c 3) (l505m false) (l506c 0) (l506m true) (l507c 0) (l507m false) (l508c 0) (l508m false) (l509c 6) (l509m true) (l50c 0) (l50m false) (l510c 0) (l510m false) (l511c 0) (l511m false) (l512c 3) (l512m false) (l513c 4) (l513m false) (l514c 4) (l514m false) (l515c 0) (l515m false) (l516c 1) (l516m false) (l517c 1) (l517m false) (l518c 4) (l518m false) (l519c 1) (l519m false) (l51c 0) (l51m false) (l520c 0) (l520m false) (l521c 0) (l521m false) (l522c 0) (l522m false) (l523c 0) (l523m false) (l524c 0) (l524m false) (l525c 0) (l525m false) (l526c 0) (l526m false) (l527c 0) (l527m false) (l528c 0) (l528m false) (l529c 0) (l529m false) (l52c 3) (l52m false) (l530c 0) (l530m false) (l531c 0) (l531m false) (l532c 1) (l532m false) (l533c 1) (l533m true) (l534c 1) (l534m false) (l535c 1) (l535m false) (l536c 0) (l536m true) (l537c 1) (l537m false) (l538c 1) (l538m false) (l539c 1) (l539m false) (l53c 4) (l53m false) (l540c 0) (l540m true) (l541c 0) (l541m true) (l542c 0) (l542m true) (l543c 0) (l543m true) (l544c 0) (l544m true) (l545c 0) (l545m true) (l546c 0) (l546m false) (l547c 0) (l547m true) (l548c 0) (l548m false) (l549c 0) (l549m false) (l54c 4) (l54m false) (l550c 0) (l550m true) (l551c 0) (l551m false) (l552c 0) (l552m true) (l553c 2) (l553m true) (l554c 2) (l554m true) (l555c 1) (l555m false) (l556c 1) (l556m true) (l557c 1) (l557m false) (l558c 0) (l558m false) (l559c 1) (l559m false) (l55c 0) (l55m false) (l560c 3) (l560m true) (l561c 3) (l561m false) (l562c 3) (l562m false) (l563c 3) (l563m true) (l564c 3) (l564m false) (l565c 3) (l565m false) (l566c 0) (l566m true) (l567c 0) (l567m false) (l568c 0) (l568m false) (l569c 7) (l569m true) (l56c 1) (l56m false) (l570c 0) (l570m false) (l571c 0) (l571m false) (l572c 3) (l572m false) (l573c 4) (l573m false) (l574c 4) (l574m false) (l575c 0) (l575m false) (l576c 1) (l576m false) (l577c 1) (l577m false) (l578c 4) (l578m false) (l579c 1) (l579m false) (l57c 1) (l57m false) (l580c 0) (l580m true) (l581c 0) (l581m true) (l582c 0) (l582m true) (l583c 0) (l583m true) (l584c 0) (l584m true) (l585c 0) (l585m true) (l586c 0) (l586m false) (l587c 0) (l587m true) (l588c 0) (l588m false) (l589c 0) (l589m false) (l58c 4) (l58m false) (l590c 0) (l590m true) (l591c 0) (l591m false) (l592c 0) (l592m true) (l593c 0) (l593m true) (l594c 0) (l594m true) (l595c 1) (l595m false) (l596c 1) (l596m true) (l597c 1) (l597m false) (l598c 0) (l598m false) (l599c 1) (l599m false) (l59c 1) (l59m false) (l5c 0) (l5m false) (l600c 0) (l600m true) (l601c 0) (l601m false) (l602c 0) (l602m false) (l603c 0) (l603m true) (l604c 0) (l604m false) (l605c 0) (l605m false) (l606c 0) (l606m true) (l607c 0) (l607m false) (l608c 0) (l608m false) (l609c 0) (l609m true) (l60c 0) (l60m true) (l610c 0) (l610m false) (l611c 0) (l611m false) (l612c 0) (l612m false) (l613c 1) (l613m false) (l614c 1) (l614m false) (l615c 0) (l615m false) (l616c 1) (l616m false) (l617c 1) (l617m false) (l618c 1) (l618m false) (l619c 1) (l619m false) (l61c 0) (l61m true) (l620c 3) (l620m false) (l621c 3) (l621m false) (l622c 3) (l622m false) (l623c 3) (l623m false) (l624c 3) (l624m false) (l625c 3) (l625m false) (l626c 0) (l626m false) (l627c 0) (l627m false) (l628c 0) (l628m false) (l629c 0) (l629m false) (l62c 0) (l62m true) (l630c 0) (l630m false) (l631c 0) (l631m false) (l632c 4) (l632m false) (l633c 4) (l633m false) (l634c 4) (l634m false) (l635c 1) (l635m false) (l636c 1) (l636m false) (l637c 1) (l637m false) (l638c 4) (l638m false) (l639c 1) (l639m false) (l63c 0) (l63m true) (l640c 0) (l640m false) (l641c 0) (l641m false) (l642c 0) (l642m false) (l643c 0) (l643m false) (l644c 0) (l644m false) (l645c 0) (l645m false) (l646c 0) (l646m false) (l647c 0) (l647m false) (l648c 0) (l648m false) (l649c 0) (l649m false) (l64c 0) (l64m true) (l650c 0) (l650m false) (l651c 0) (l651m false) (l652c 1) (l652m false) (l653c 1) (l653m true) (l654c 1) (l654m false) (l655c 1) (l655m false) (l656c 1) (l656m true) (l657c 1) (l657m false) (l658c 1) (l658m false) (l659c 1) (l659m false) (l65c 0) (l65m true) (l660c 3) (l660m false) (l661c 3) (l661m false) (l662c 3) (l662m false) (l663c 3) (l663m false) (l664c 3) (l664m false) (l665c 3) (l665m false) (l666c 0) (l666m false) (l667c 0) (l667m false) (l668c 0) (l668m false) (l669c 0) (l669m false) (l66c 0) (l66m false) (l670c 0) (l670m false) (l671c 0) (l671m false) (l672c 4) (l672m false) (l673c 4) (l673m false) (l674c 4) (l674m false) (l675c 1) (l675m false) (l676c 1) (l676m false) (l677c 1) (l677m false) (l678c 4) (l678m false) (l679c 1) (l679m false) (l67c 0) (l67m true) (l680c 0) (l680m true) (l681c 0) (l681m true) (l682c 0) (l682m true) (l683c 0) (l683m true) (l684c 0) (l684m true) (l685c 0) (l685m true) (l686c 0) (l686m false) (l687c 0) (l687m true) (l688c 0) (l688m false) (l689c 0) (l689m false) (l68c 0) (l68m false) (l690c 0) (l690m true) (l691c 0) (l691m false) (l692c 0) (l692m true) (l693c 1) (l693m true) (l694c 1) (l694m true) (l695c 1) (l695m false) (l696c 0) (l696m true) (l697c 1) (l697m false) (l698c 0) (l698m false) (l699c 1) (l699m false) (l69c 0) (l69m false) (l6c 0) (l6m false) (l700c 0) (l700m true) (l701c 0) (l701m false) (l702c 0) (l702m false) (l703c 0) (l703m true) (l704c 0) (l704m false) (l705c 0) (l705m false) (l706c 0) (l706m true) (l707c 0) (l707m false) (l708c 0) (l708m false) (l709c 1) (l709m true) (l70c 0) (l70m true) (l710c 0) (l710m false) (l711c 0) (l711m false) (l712c 0) (l712m false) (l713c 1) (l713m false) (l714c 1) (l714m false) (l715c 0) (l715m false) (l716c 1) (l716m false) (l717c 1) (l717m false) (l718c 1) (l718m false) (l719c 1) (l719m false) (l71c 0) (l71m false) (l720c 3) (l720m false) (l721c 3) (l721m false) (l722c 3) (l722m false) (l723c 3) (l723m false) (l724c 3) (l724m false) (l725c 3) (l725m false) (l726c 0) (l726m false) (l727c 0) (l727m false) (l728c 0) (l728m false) (l729c 0) (l729m false) (l72c 0) (l72m true) (l730c 0) (l730m false) (l731c 0) (l731m false) (l732c 4) (l732m false) (l733c 4) (l733m false) (l734c 4) (l734m false) (l735c 1) (l735m false) (l736c 1) (l736m false) (l737c 1) (l737m false) (l738c 4) (l738m false) (l739c 1) (l739m false) (l73c 0) (l73m true) (l740c 3) (l740m false) (l741c 3) (l741m false) (l742c 3) (l742m false) (l743c 3) (l743m false) (l744c 3) (l744m false) (l745c 3) (l745m false) (l746c 0) (l746m false) (l747c 0) (l747m false) (l748c 0) (l748m false) (l749c 0) (l749m false) (l74c 0) (l74m true) (l750c 0) (l750m false) (l751c 0) (l751m false) (l752c 4) (l752m false) (l753c 4) (l753m true) (l754c 4) (l754m false) (l755c 1) (l755m false) (l756c 0) (l756m true) (l757c 1) (l757m false) (l758c 4) (l758m false) (l759c 1) (l759m false) (l75c 1) (l75m false) (l760c 0) (l760m true) (l761c 0) (l761m true) (l762c 0) (l762m true) (l763c 0) (l763m true) (l764c 0) (l764m true) (l765c 0) (l765m true) (l766c 0) (l766m false) (l767c 0) (l767m true) (l768c 0) (l768m false) (l769c 0) (l769m false) (l76c 1) (l76m true) (l770c 0) (l770m true) (l771c 0) (l771m false) (l772c 0) (l772m true) (l773c 0) (l773m true) (l774c 0) (l774m true) (l775c 1) (l775m false) (l776c 1) (l776m true) (l777c 1) (l777m false) (l778c 0) (l778m false) (l779c 1) (l779m false) (l77c 1) (l77m false) (l780c 0) (l780m true) (l781c 0) (l781m false) (l782c 0) (l782m false) (l783c 0) (l783m true) (l784c 0) (l784m false) (l785c 0) (l785m false) (l786c 0) (l786m true) (l787c 0) (l787m false) (l788c 0) (l788m false) (l789c 0) (l789m true) (l78c 0) (l78m false) (l790c 0) (l790m false) (l791c 0) (l791m false) (l792c 0) (l792m false) (l793c 1) (l793m false) (l794c 1) (l794m false) (l795c 0) (l795m false) (l796c 1) (l796m false) (l797c 1) (l797m false) (l798c 1) (l798m false) (l799c 1) (l799m false) (l79c 1) (l79m false) (l7c 0) (l7m false) (l800c 3) (l800m false) (l801c 3) (l801m false) (l802c 3) (l802m false) (l803c 3) (l803m false) (l804c 3) (l804m false) (l805c 3) (l805m false) (l806c 0) (l806m false) (l807c 0) (l807m false) (l808c 0) (l808m false) (l809c 0) (l809m false) (l80c 0) (l80m true) (l810c 0) (l810m false) (l811c 0) (l811m false) (l812c 4) (l812m false) (l813c 4) (l813m false) (l814c 4) (l814m false) (l815c 1) (l815m false) (l816c 1) (l816m false) (l817c 1) (l817m false) (l818c 4) (l818m false) (l819c 1) (l819m false) (l81c 0) (l81m false) (l820c 0) (l820m false) (l821c 0) (l821m false) (l822c 0) (l822m false) (l823c 0) (l823m false) (l824c 0) (l824m false) (l825c 0) (l825m false) (l826c 0) (l826m false) (l827c 0) (l827m false) (l828c 0) (l828m false) (l829c 0) (l829m false) (l82c 0) (l82m false) (l830c 0) (l830m false) (l831c 0) (l831m false) (l832c 1) (l832m false) (l833c 1) (l833m true) (l834c 1) (l834m false) (l835c 1) (l835m false) (l836c 1) (l836m true) (l837c 1) (l837m false) (l838c 1) (l838m false) (l839c 1) (l839m false) (l83c 0) (l83m true) (l840c 3) (l840m false) (l841c 3) (l841m false) (l842c 3) (l842m false) (l843c 3) (l843m false) (l844c 3) (l844m false) (l845c 3) (l845m false) (l846c 0) (l846m false) (l847c 0) (l847m false) (l848c 0) (l848m false) (l849c 0) (l849m false) (l84c 0) (l84m false) (l850c 0) (l850m false) (l851c 0) (l851m false) (l852c 4) (l852m false) (l853c 4) (l853m false) (l854c 4) (l854m false) (l855c 1) (l855m false) (l856c 1) (l856m false) (l857c 1) (l857m false) (l858c 4) (l858m false) (l859c 1) (l859m false) (l85c 0) (l85m false) (l860c 0) (l860m false) (l861c 0) (l861m false) (l862c 0) (l862m false) (l863c 0) (l863m false) (l864c 0) (l864m false) (l865c 0) (l865m false) (l866c 0) (l866m false) (l867c 0) (l867m false) (l868c 0) (l868m false) (l869c 0) (l869m false) (l86c 0) (l86m true) (l870c 0) (l870m false) (l871c 0) (l871m false) (l872c 1) (l872m false) (l873c 1) (l873m true) (l874c 1) (l874m false) (l875c 1) (l875m false) (l876c 1) (l876m true) (l877c 1) (l877m false) (l878c 1) (l878m false) (l879c 1) (l879m false) (l87c 0) (l87m false) (l880c 0) (l880m true) (l881c 0) (l881m true) (l882c 0) (l882m true) (l883c 0) (l883m true) (l884c 0) (l884m true) (l885c 0) (l885m true) (l886c 0) (l886m false) (l887c 0) (l887m true) (l888c 0) (l888m false) (l889c 0) (l889m false) (l88c 0) (l88m false) (l890c 0) (l890m true) (l891c 0) (l891m false) (l892c 0) (l892m true) (l893c 0) (l893m true) (l894c 0) (l894m true) (l895c 1) (l895m false) (l896c 1) (l896m true) (l897c 1) (l897m false) (l898c 0) (l898m false) (l899c 1) (l899m false) (l89c 0) (l89m true) (l8c 0) (l8m false) (l900c 1) (l900m true) (l901c 1) (l901m true) (l902c 1) (l902m true) (l903c 0) (l903m true) (l904c 0) (l904m true) (l905c 0) (l905m true) (l906c 0) (l906m true) (l907c 0) (l907m true) (l908c 0) (l908m true) (l909c 0) (l909m true) (l90c 0) (l90m false) (l910c 0) (l910m true) (l911c 0) (l911m true) (l912c 0) (l912m true) (l913c 0) (l913m true) (l914c 0) (l914m true) (l915c 0) (l915m false) (l916c 0) (l916m true) (l917c 0) (l917m false) (l918c 0) (l918m false) (l919c 0) (l919m false) (l91c 0) (l91m false) (l920c 3) (l920m true) (l921c 3) (l921m true) (l922c 3) (l922m true) (l923c 0) (l923m true) (l924c 0) (l924m true) (l925c 0) (l925m true) (l926c 2) (l926m true) (l927c 2) (l927m true) (l928c 2) (l928m true) (l929c 0) (l929m true) (l92c 0) (l92m false) (l930c 0) (l930m true) (l931c 0) (l931m true) (l932c 0) (l932m false) (l933c 0) (l933m false) (l934c 0) (l934m false) (l935c 0) (l935m false) (l936c 0) (l936m false) (l937c 0) (l937m false) (l938c 1) (l938m false) (l939c 0) (l939m false) (l93c 1) (l93m false) (l940c 2) (l940m true) (l941c 2) (l941m true) (l942c 2) (l942m true) (l943c 0) (l943m true) (l944c 0) (l944m true) (l945c 0) (l945m true) (l946c 3) (l946m true) (l947c 3) (l947m true) (l948c 3) (l948m true) (l949c 0) (l949m true) (l94c 1) (l94m false) (l950c 0) (l950m true) (l951c 0) (l951m true) (l952c 0) (l952m true) (l953c 0) (l953m true) (l954c 0) (l954m true) (l955c 1) (l955m false) (l956c 1) (l956m true) (l957c 1) (l957m false) (l958c 0) (l958m false) (l959c 1) (l959m false) (l95c 0) (l95m false) (l960c 5) (l960m true) (l961c 5) (l961m true) (l962c 5) (l962m true) (l963c 3) (l963m true) (l964c 3) (l964m true) (l965c 3) (l965m true) (l966c 5) (l966m true) (l967c 6) (l967m true) (l968c 0) (l968m true) (l969c 7) (l969m true) (l96c 1) (l96m false) (l970c 6) (l970m true) (l971c 0) (l971m true) (l972c 3) (l972m false) (l973c 4) (l973m false) (l974c 4) (l974m false) (l975c 0) (l975m false) (l976c 1) (l976m false) (l977c 1) (l977m false) (l978c 4) (l978m false) (l979c 1) (l979m false) (l97c 1) (l97m false) (l980c 0) (l980m false) (l981c 0) (l981m false) (l982c 0) (l982m false) (l983c 0) (l983m false) (l984c 0) (l984m false) (l985c 0) (l985m false) (l986c 0) (l986m false) (l987c 0) (l987m false) (l988c 0) (l988m false) (l989c 0) (l989m false) (l98c 1) (l98m false) (l990c 0) (l990m false) (l991c 0) (l991m false) (l992c 1) (l992m false) (l993c 0) (l993m true) (l994c 1) (l994m false) (l995c 1) (l995m false) (l996c 1) (l996m true) (l997c 1) (l997m false) (l998c 1) (l998m false) (l999c 1) (l999m false) (l99c 1) (l99m false) (l9c 0) (l9m false))