sat ((f0c 1) (f0m false) (f100c 1) (f100m false) (f101c 1) (f101m false) (f102c 7) (f102m true) (f103c 7) (f103m true) (f104c 4) (f104m false) (f105c 6) (f105m true) (f106c 4) (f106m false) (f107c 0) (f107m true) (f108c 1) (f108m false) (f109c 1) (f109m false) (f10c 3) (f10m false) (f110c 7) (f110m true) (f111c 7) (f111m true) (f112c 2) (f112m true) (f113c 0) (f113m true) (f114c 2) (f114m false) (f115c 7) (f115m true) (f116c 0) (f116m false) (f117c 0) (f117m false) (f118c 0) (f118m false) (f119c 0) (f119m false) (f11c 3) (f11m false) (f120c 1) (f120m false) (f121c 1) (f121m false) (f122c 1) (f122m false) (f123c 1) (f123m false) (f124c 1) (f124m false) (f125c 1) (f125m false) (f126c 2) (f126m true) (f127c 1) (f127m true) (f128c 2) (f128m false) (f129c 7) (f129m true) (f12c 0) (f12m true) (f130c 2) (f130m false) (f131c 0) (f131m true) (f132c 1) (f132m false) (f133c 1) (f133m false) (f134c 7) (f134m true) (f135c 7) (f135m true) (f136c 2) (f136m true) (f137c 0) (f137m true) (f138c 2) (f138m false) (f139c 6) (f139m true) (f13c 0) (f13m true) (f140c 1) (f140m false) (f141c 1) (f141m true) (f142c 0) (f142m true) (f143c 0) (f143m true) (f144c 2) (f144m true) (f145c 7) (f145m true) (f146c 2) (f146m false) (f147c 1) (f147m true) (f148c 1) (f148m false) (f149c 1) (f149m false) (f14c 0) (f14m true) (f150c 1) (f150m true) (f151c 7) (f151m true) (f152c 3) (f152m true) (f153c 0) (f153m true) (f154c 2) (f154m false) (f155c 6) (f155m true) (f156c 7) (f156m true) (f157c 7) (f157m true) (f158c 0) (f158m true) (f159c 7) (f159m true) (f15c 0) (f15m true) (f160c 7) (f160m true) (f161c 7) (f161m true) (f162c 2) (f162m false) (f163c 3) (f163m true) (f164c 7) (f164m true) (f165c 6) (f165m true) (f166c 0) (f166m true) (f167c 7) (f167m true) (f168c 2) (f168m true) (f169c 0) (f169m true) (f16c 2) (f16m false) (f170c 2) (f170m false) (f171c 7) (f171m true) (f172c 0) (f172m false) (f173c 0) (f173m true) (f174c 1) (f174m true) (f175c 0) (f175m true) (f176c 7) (f176m true) (f177c 0) (f177m true) (f178c 0) (f178m true) (f179c 0) (f179m false) (f17c 0) (f17m true) (f180c 0) (f180m true) (f181c 0) (f181m true) (f182c 1) (f182m true) (f183c 0) (f183m true) (f184c 1) (f184m false) (f185c 7) (f185m true) (f186c 2) (f186m false) (f187c 1) (f187m true) (f188c 0) (f188m false) (f189c 0) (f189m false) (f18c 0) (f18m false) (f190c 6) (f190m true) (f191c 6) (f191m true) (f192c 3) (f192m false) (f193c 7) (f193m true) (f194c 3) (f194m false) (f195c 0) (f195m false) (f196c 0) (f196m false) (f197c 0) (f197m false) (f198c 0) (f198m true) (f199c 0) (f199m true) (f19c 1) (f19m true) (f1c 2) (f1m true) (f200c 3) (f200m false) (f201c 6) (f201m true) (f202c 3) (f202m false) (f203c 0) (f203m false) (f204c 6) (f204m true) (f205c 7) (f205m true) (f206c 7) (f206m true) (f207c 5) (f207m true) (f208c 1) (f208m false) (f209c 5) (f209m true) (f20c 0) (f20m true) (f210c 2) (f210m false) (f211c 2) (f211m true) (f212c 0) (f212m false) (f213c 0) (f213m false) (f214c 0) (f214m false) (f215c 0) (f215m false) (f216c 3) (f216m false) (f217c 3) (f217m false) (f218c 3) (f218m false) (f219c 3) (f219m false) (f21c 0) (f21m false) (f220c 7) (f220m true) (f221c 0) (f221m true) (f222c 0) (f222m true) (f223c 0) (f223m true) (f224c 7) (f224m true) (f225c 7) (f225m true) (f226c 2) (f226m false) (f227c 1) (f227m true) (f228c 0) (f228m false) (f229c 0) (f229m false) (f22c 1) (f22m true) (f230c 6) (f230m true) (f231c 6) (f231m true) (f232c 3) (f232m false) (f233c 7) (f233m true) (f234c 3) (f234m false) (f235c 0) (f235m false) (f236c 0) (f236m false) (f237c 0) (f237m false) (f238c 0) (f238m true) (f239c 0) (f239m true) (f23c 1) (f23m false) (f240c 3) (f240m false) (f241c 7) (f241m true) (f242c 3) (f242m false) (f243c 0) (f243m false) (f244c 0) (f244m true) (f245c 6) (f245m true) (f246c 7) (f246m true) (f247c 7) (f247m true) (f248c 1) (f248m false) (f249c 0) (f249m true) (f24c 0) (f24m false) (f250c 2) (f250m false) (f251c 7) (f251m true) (f252c 1) (f252m true) (f253c 0) (f253m true) (f254c 0) (f254m true) (f255c 0) (f255m true) (f256c 7) (f256m true) (f257c 7) (f257m true) (f258c 2) (f258m false) (f259c 0) (f259m true) (f25c 0) (f25m false) (f260c 0) (f260m false) (f261c 0) (f261m false) (f262c 6) (f262m true) (f263c 5) (f263m true) (f264c 3) (f264m false) (f265c 7) (f265m true) (f266c 3) (f266m false) (f267c 0) (f267m false) (f268c 0) (f268m false) (f269c 0) (f269m false) (f26c 0) (f26m false) (f270c 0) (f270m true) (f271c 0) (f271m true) (f272c 3) (f272m false) (f273c 6) (f273m true) (f274c 3) (f274m false) (f275c 0) (f275m false) (f276c 0) (f276m true) (f277c 7) (f277m true) (f278c 7) (f278m true) (f279c 7) (f279m true) (f27c 0) (f27m false) (f280c 1) (f280m false) (f281c 0) (f281m true) (f282c 2) (f282m false) (f283c 7) (f283m true) (f284c 6) (f284m false) (f285c 6) (f285m false) (f286c 7) (f286m true) (f287c 7) (f287m true) (f288c 7) (f288m false) (f289c 0) (f289m true) (f28c 1) (f28m false) (f290c 7) (f290m false) (f291c 7) (f291m true) (f292c 0) (f292m false) (f293c 0) (f293m false) (f294c 0) (f294m false) (f295c 0) (f295m false) (f296c 3) (f296m false) (f297c 3) (f297m false) (f298c 3) (f298m false) (f299c 3) (f299m false) (f29c 0) (f29m true) (f2c 0) (f2m true) (f300c 0) (f300m false) (f301c 0) (f301m false) (f302c 0) (f302m false) (f303c 0) (f303m false) (f304c 1) (f304m false) (f305c 7) (f305m true) (f306c 1) (f306m false) (f307c 1) (f307m false) (f308c 0) (f308m false) (f309c 0) (f309m false) (f30c 3) (f30m true) (f310c 0) (f310m false) (f311c 0) (f311m false) (f312c 1) (f312m false) (f313c 1) (f313m false) (f314c 3) (f314m false) (f315c 3) (f315m false) (f316c 0) (f316m false) (f317c 0) (f317m false) (f318c 0) (f318m false) (f319c 0) (f319m false) (f31c 1) (f31m false) (f320c 1) (f320m false) (f321c 7) (f321m true) (f322c 1) (f322m false) (f323c 1) (f323m false) (f324c 0) (f324m false) (f325c 0) (f325m false) (f326c 0) (f326m false) (f327c 0) (f327m false) (f328c 1) (f328m false) (f329c 1) (f329m false) (f32c 0) (f32m true) (f330c 1) (f330m false) (f331c 1) (f331m false) (f332c 0) (f332m false) (f333c 0) (f333m false) (f334c 0) (f334m false) (f335c 0) (f335m false) (f336c 1) (f336m false) (f337c 1) (f337m false) (f338c 1) (f338m false) (f339c 1) (f339m false) (f33c 0) (f33m true) (f340c 0) (f340m false) (f341c 0) (f341m false) (f342c 0) (f342m false) (f343c 0) (f343m false) (f344c 3) (f344m false) (f345c 3) (f345m false) (f346c 3) (f346m false) (f347c 3) (f347m false) (f348c 0) (f348m false) (f349c 0) (f349m false) (f34c 2) (f34m false) (f350c 0) (f350m false) (f351c 0) (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 0) (f358m false) (f359c 0) (f359m false) (f35c 0) (f35m true) (f360c 3) (f360m false) (f361c 3) (f361m false) (f362c 3) (f362m false) (f363c 3) (f363m false) (f364c 0) (f364m false) (f365c 0) (f365m false) (f366c 0) (f366m false) (f367c 0) (f367m false) (f368c 3) (f368m false) (f369c 3) (f369m false) (f36c 0) (f36m false) (f370c 3) (f370m false) (f371c 3) (f371m false) (f372c 0) (f372m false) (f373c 0) (f373m false) (f374c 6) (f374m true) (f375c 6) (f375m true) (f376c 3) (f376m false) (f377c 7) (f377m true) (f378c 3) (f378m false) (f379c 0) (f379m false) (f37c 0) (f37m true) (f380c 0) (f380m false) (f381c 0) (f381m false) (f382c 3) (f382m true) (f383c 6) (f383m true) (f384c 3) (f384m false) (f385c 7) (f385m true) (f386c 3) (f386m false) (f387c 0) (f387m false) (f388c 0) (f388m false) (f389c 0) (f389m false) (f38c 1) (f38m true) (f390c 3) (f390m true) (f391c 0) (f391m true) (f392c 3) (f392m false) (f393c 6) (f393m true) (f394c 3) (f394m false) (f395c 0) (f395m false) (f396c 0) (f396m false) (f397c 0) (f397m true) (f398c 0) (f398m false) (f399c 0) (f399m true) (f39c 1) (f39m true) (f3c 0) (f3m true) (f400c 0) (f400m false) (f401c 0) (f401m false) (f402c 3) (f402m false) (f403c 3) (f403m false) (f404c 0) (f404m false) (f405c 0) (f405m true) (f406c 0) (f406m true) (f407c 0) (f407m true) (f408c 7) (f408m true) (f409c 7) (f409m true) (f40c 0) (f40m true) (f410c 0) (f410m true) (f411c 0) (f411m false) (f412c 0) (f412m false) (f413c 7) (f413m true) (f414c 0) (f414m true) (f415c 7) (f415m true) (f416c 7) (f416m true) (f417c 0) (f417m false) (f418c 1) (f418m true) (f419c 1) (f419m false) (f41c 0) (f41m false) (f420c 0) (f420m false) (f421c 0) (f421m false) (f422c 6) (f422m true) (f423c 6) (f423m true) (f424c 3) (f424m false) (f425c 7) (f425m true) (f426c 3) (f426m false) (f427c 0) (f427m false) (f428c 0) (f428m false) (f429c 0) (f429m false) (f42c 6) (f42m false) (f430c 0) (f430m true) (f431c 0) (f431m true) (f432c 3) (f432m false) (f433c 7) (f433m true) (f434c 3) (f434m false) (f435c 0) (f435m false) (f436c 0) (f436m false) (f437c 0) (f437m false) (f438c 1) (f438m true) (f439c 0) (f439m true) (f43c 5) (f43m false) (f440c 3) (f440m false) (f441c 0) (f441m false) (f442c 3) (f442m false) (f443c 1) (f443m false) (f444c 0) (f444m false) (f445c 0) (f445m false) (f446c 0) (f446m false) (f447c 0) (f447m false) (f448c 3) (f448m false) (f449c 3) (f449m false) (f44c 0) (f44m true) (f450c 3) (f450m false) (f451c 3) (f451m false) (f452c 0) (f452m false) (f453c 0) (f453m false) (f454c 0) (f454m false) (f455c 0) (f455m false) (f456c 3) (f456m false) (f457c 3) (f457m false) (f458c 3) (f458m false) (f459c 3) (f459m false) (f45c 0) (f45m true) (f460c 0) (f460m false) (f461c 0) (f461m false) (f462c 7) (f462m true) (f463c 7) (f463m true) (f464c 3) (f464m false) (f465c 7) (f465m true) (f466c 3) (f466m false) (f467c 0) (f467m false) (f468c 3) (f468m true) (f469c 7) (f469m true) (f46c 0) (f46m true) (f470c 0) (f470m true) (f471c 3) (f471m true) (f472c 7) (f472m true) (f473c 6) (f473m true) (f474c 1) (f474m false) (f475c 4) (f475m true) (f476c 7) (f476m true) (f477c 7) (f477m true) (f478c 0) (f478m true) (f479c 4) (f479m true) (f47c 0) (f47m true) (f480c 7) (f480m true) (f481c 6) (f481m true) (f482c 1) (f482m false) (f483c 0) (f483m false) (f484c 0) (f484m true) (f485c 0) (f485m true) (f486c 0) (f486m true) (f487c 0) (f487m true) (f488c 6) (f488m true) (f489c 7) (f489m true) (f48c 0) (f48m true) (f490c 1) (f490m false) (f491c 0) (f491m false) (f492c 6) (f492m true) (f493c 7) (f493m true) (f494c 3) (f494m true) (f495c 4) (f495m true) (f496c 7) (f496m true) (f497c 7) (f497m true) (f498c 1) (f498m false) (f499c 0) (f499m false) (f49c 0) (f49m true) (f4c 2) (f4m false) (f500c 7) (f500m true) (f501c 6) (f501m true) (f502c 7) (f502m true) (f503c 7) (f503m true) (f504c 7) (f504m true) (f505c 7) (f505m true) (f506c 1) (f506m false) (f507c 0) (f507m false) (f508c 6) (f508m true) (f509c 7) (f509m true) (f50c 0) (f50m true) (f510c 7) (f510m true) (f511c 7) (f511m true) (f512c 0) (f512m false) (f513c 6) (f513m true) (f514c 1) (f514m false) (f515c 6) (f515m true) (f516c 7) (f516m true) (f517c 7) (f517m true) (f518c 0) (f518m true) (f519c 0) (f519m true) (f51c 3) (f51m true) (f520c 2) (f520m true) (f521c 6) (f521m true) (f522c 1) (f522m false) (f523c 0) (f523m true) (f524c 0) (f524m false) (f525c 0) (f525m false) (f526c 0) (f526m true) (f527c 0) (f527m true) (f528c 1) (f528m false) (f529c 6) (f529m true) (f52c 1) (f52m false) (f530c 1) (f530m false) (f531c 0) (f531m false) (f532c 0) (f532m false) (f533c 0) (f533m true) (f534c 0) (f534m true) (f535c 0) (f535m true) (f536c 7) (f536m true) (f537c 7) (f537m true) (f538c 0) (f538m true) (f539c 0) (f539m false) (f53c 0) (f53m false) (f54c 0) (f54m true) (f55c 0) (f55m false) (f56c 0) (f56m true) (f57c 0) (f57m true) (f58c 1) (f58m false) (f59c 7) (f59m true) (f5c 2) (f5m true) (f60c 1) (f60m false) (f61c 1) (f61m false) (f62c 7) (f62m true) (f63c 7) (f63m true) (f64c 4) (f64m false) (f65c 0) (f65m true) (f66c 4) (f66m false) (f67c 6) (f67m true) (f68c 0) (f68m false) (f69c 0) (f69m false) (f6c 0) (f6m false) (f70c 0) (f70m false) (f71c 0) (f71m false) (f72c 1) (f72m false) (f73c 0) (f73m true) (f74c 1) (f74m false) (f75c 1) (f75m false) (f76c 7) (f76m true) (f77c 0) (f77m true) (f78c 0) (f78m true) (f79c 0) (f79m true) (f7c 0) (f7m false) (f80c 7) (f80m true) (f81c 5) (f81m true) (f82c 2) (f82m false) (f83c 0) (f83m true) (f84c 1) (f84m false) (f85c 1) (f85m false) (f86c 7) (f86m true) (f87c 7) (f87m true) (f88c 4) (f88m false) (f89c 0) (f89m true) (f8c 0) (f8m false) (f90c 4) (f90m false) (f91c 7) (f91m true) (f92c 1) (f92m false) (f93c 1) (f93m false) (f94c 1) (f94m true) (f95c 0) (f95m true) (f96c 4) (f96m true) (f97c 7) (f97m true) (f98c 2) (f98m false) (f99c 0) (f99m true) (f9c 0) (f9m false) (l0c 1) (l0m false) (l1000c 0) (l1000m false) (l1001c 6) (l1001m true) (l1002c 0) (l1002m false) (l1003c 0) (l1003m false) (l1004c 6) (l1004m true) (l1005c 0) (l1005m false) (l1006c 0) (l1006m true) (l1007c 0) (l1007m true) (l1008c 7) (l1008m true) (l1009c 0) (l1009m true) (l100c 1) (l100m false) (l1010c 0) (l1010m true) (l1011c 7) (l1011m true) (l1012c 3) (l1012m false) (l1013c 7) (l1013m true) (l1014c 3) (l1014m false) (l1015c 0) (l1015m true) (l1016c 0) (l1016m true) (l1017c 7) (l1017m true) (l1018c 3) (l1018m false) (l1019c 0) (l1019m false) (l101c 1) (l101m true) (l1020c 3) (l1020m true) (l1021c 7) (l1021m true) (l1022c 3) (l1022m true) (l1023c 0) (l1023m true) (l1024c 0) (l1024m true) (l1025c 7) (l1025m true) (l1026c 7) (l1026m true) (l1027c 6) (l1027m true) (l1028c 0) (l1028m true) (l1029c 7) (l1029m true) (l102c 1) (l102m false) (l1030c 5) (l1030m true) (l1031c 3) (l1031m true) (l1032c 7) (l1032m true) (l1033c 0) (l1033m true) (l1034c 7) (l1034m true) (l1035c 0) (l1035m true) (l1036c 0) (l1036m true) (l1037c 6) (l1037m true) (l1038c 1) (l1038m false) (l1039c 4) (l1039m true) (l103c 1) (l103m false) (l1040c 0) (l1040m true) (l1041c 0) (l1041m true) (l1042c 7) (l1042m true) (l1043c 0) (l1043m true) (l1044c 0) (l1044m true) (l1045c 7) (l1045m true) (l1046c 6) (l1046m true) (l1047c 6) (l1047m true) (l1048c 0) (l1048m true) (l1049c 6) (l1049m true) (l104c 2) (l104m true) (l1050c 7) (l1050m true) (l1051c 4) (l1051m true) (l1052c 0) (l1052m true) (l1053c 0) (l1053m true) (l1054c 7) (l1054m true) (l1055c 0) (l1055m true) (l1056c 0) (l1056m true) (l1057c 6) (l1057m true) (l1058c 1) (l1058m false) (l1059c 0) (l1059m false) (l105c 1) (l105m false) (l1060c 7) (l1060m true) (l1061c 4) (l1061m true) (l1062c 0) (l1062m true) (l1063c 4) (l1063m true) (l1064c 6) (l1064m true) (l1065c 0) (l1065m true) (l1066c 6) (l1066m true) (l1067c 6) (l1067m true) (l1068c 0) (l1068m true) (l1069c 7) (l1069m true) (l106c 0) (l106m true) (l1070c 6) (l1070m true) (l1071c 0) (l1071m true) (l1072c 0) (l1072m true) (l1073c 0) (l1073m true) (l1074c 6) (l1074m true) (l1075c 0) (l1075m true) (l1076c 0) (l1076m true) (l1077c 7) (l1077m true) (l1078c 1) (l1078m false) (l1079c 0) (l1079m false) (l107c 0) (l107m true) (l1080c 0) (l1080m true) (l1081c 0) (l1081m true) (l1082c 6) (l1082m true) (l1083c 0) (l1083m true) (l1084c 0) (l1084m true) (l1085c 7) (l1085m true) (l1086c 7) (l1086m true) (l1087c 7) (l1087m true) (l1088c 3) (l1088m true) (l1089c 6) (l1089m true) (l108c 7) (l108m true) (l1090c 5) (l1090m true) (l1091c 4) (l1091m true) (l1092c 0) (l1092m true) (l1093c 0) (l1093m true) (l1094c 7) (l1094m true) (l1095c 0) (l1095m true) (l1096c 0) (l1096m true) (l1097c 7) (l1097m true) (l1098c 1) (l1098m false) (l1099c 0) (l1099m false) (l109c 0) (l109m true) (l10c 0) (l10m true) (l1100c 0) (l1100m true) (l1101c 0) (l1101m true) (l1102c 7) (l1102m true) (l1103c 0) (l1103m true) (l1104c 0) (l1104m true) (l1105c 6) (l1105m true) (l1106c 0) (l1106m true) (l1107c 0) (l1107m true) (l1108c 7) (l1108m true) (l1109c 0) (l1109m true) (l110c 0) (l110m true) (l1110c 0) (l1110m true) (l1111c 7) (l1111m true) (l1112c 0) (l1112m true) (l1113c 0) (l1113m true) (l1114c 7) (l1114m true) (l1115c 0) (l1115m true) (l1116c 0) (l1116m true) (l1117c 7) (l1117m true) (l1118c 1) (l1118m false) (l1119c 0) (l1119m false) (l111c 7) (l111m true) (l1120c 0) (l1120m true) (l1121c 0) (l1121m true) (l1122c 6) (l1122m true) (l1123c 0) (l1123m true) (l1124c 0) (l1124m true) (l1125c 7) (l1125m true) (l1126c 0) (l1126m true) (l1127c 0) (l1127m true) (l1128c 7) (l1128m true) (l1129c 0) (l1129m true) (l112c 4) (l112m false) (l1130c 0) (l1130m true) (l1131c 7) (l1131m true) (l1132c 1) (l1132m true) (l1133c 0) (l1133m false) (l1134c 0) (l1134m false) (l1135c 0) (l1135m true) (l1136c 6) (l1136m true) (l1137c 6) (l1137m true) (l1138c 1) (l1138m false) (l1139c 6) (l1139m true) (l113c 4) (l113m true) (l1140c 0) (l1140m true) (l1141c 0) (l1141m true) (l1142c 7) (l1142m true) (l1143c 0) (l1143m true) (l1144c 0) (l1144m true) (l1145c 7) (l1145m true) (l1146c 7) (l1146m true) (l1147c 7) (l1147m true) (l1148c 0) (l1148m true) (l1149c 7) (l1149m true) (l114c 4) (l114m false) (l1150c 5) (l1150m true) (l1151c 0) (l1151m true) (l1152c 1) (l1152m true) (l1153c 2) (l1153m true) (l1154c 2) (l1154m true) (l1155c 0) (l1155m true) (l1156c 0) (l1156m true) (l1157c 6) (l1157m true) (l1158c 1) (l1158m false) (l1159c 0) (l1159m true) (l115c 0) (l115m true) (l1160c 0) (l1160m false) (l1161c 0) (l1161m true) (l1162c 0) (l1162m false) (l1163c 0) (l1163m false) (l1164c 5) (l1164m true) (l1165c 0) (l1165m false) (l1166c 4) (l1166m true) (l1167c 7) (l1167m true) (l1168c 0) (l1168m true) (l1169c 7) (l1169m true) (l116c 0) (l116m true) (l1170c 6) (l1170m true) (l1171c 0) (l1171m true) (l1172c 1) (l1172m false) (l1173c 5) (l1173m true) (l1174c 1) (l1174m false) (l1175c 0) (l1175m true) (l1176c 0) (l1176m true) (l1177c 6) (l1177m true) (l1178c 1) (l1178m false) (l1179c 0) (l1179m false) (l117c 6) (l117m true) (l1180c 0) (l1180m false) (l1181c 5) (l1181m true) (l1182c 0) (l1182m false) (l1183c 6) (l1183m true) (l1184c 7) (l1184m true) (l1185c 0) (l1185m true) (l1186c 6) (l1186m true) (l1187c 7) (l1187m true) (l1188c 0) (l1188m true) (l1189c 7) (l1189m true) (l118c 4) (l118m false) (l1190c 7) (l1190m true) (l1191c 0) (l1191m true) (l1192c 0) (l1192m true) (l1193c 0) (l1193m true) (l1194c 7) (l1194m true) (l1195c 0) (l1195m true) (l1196c 0) (l1196m true) (l1197c 7) (l1197m true) (l1198c 0) (l1198m true) (l1199c 0) (l1199m false) (l119c 0) (l119m true) (l11c 7) (l11m true) (l120c 2) (l120m true) (l121c 1) (l121m false) (l122c 1) (l122m false) (l123c 7) (l123m true) (l124c 1) (l124m false) (l125c 1) (l125m false) (l126c 1) (l126m true) (l127c 0) (l127m true) (l128c 7) (l128m true) (l129c 0) (l129m true) (l12c 4) (l12m false) (l130c 0) (l130m true) (l131c 7) (l131m true) (l132c 3) (l132m true) (l133c 2) (l133m true) (l134c 2) (l134m true) (l135c 7) (l135m true) (l136c 5) (l136m true) (l137c 0) (l137m true) (l138c 2) (l138m false) (l139c 7) (l139m true) (l13c 3) (l13m true) (l140c 0) (l140m false) (l141c 2) (l141m true) (l142c 0) (l142m false) (l143c 3) (l143m true) (l144c 0) (l144m false) (l145c 0) (l145m false) (l146c 0) (l146m false) (l147c 0) (l147m true) (l148c 0) (l148m false) (l149c 6) (l149m true) (l14c 4) (l14m false) (l150c 0) (l150m false) (l151c 0) (l151m false) (l152c 1) (l152m true) (l153c 1) (l153m false) (l154c 1) (l154m false) (l155c 1) (l155m true) (l156c 1) (l156m false) (l157c 1) (l157m false) (l158c 1) (l158m false) (l159c 1) (l159m false) (l15c 1) (l15m true) (l160c 1) (l160m false) (l161c 1) (l161m true) (l162c 1) (l162m false) (l163c 1) (l163m false) (l164c 1) (l164m true) (l165c 1) (l165m false) (l166c 0) (l166m true) (l167c 0) (l167m true) (l168c 2) (l168m true) (l169c 5) (l169m true) (l16c 7) (l16m true) (l170c 0) (l170m true) (l171c 1) (l171m true) (l172c 2) (l172m false) (l173c 2) (l173m true) (l174c 2) (l174m false) (l175c 0) (l175m true) (l176c 0) (l176m true) (l177c 7) (l177m true) (l178c 2) (l178m false) (l179c 0) (l179m true) (l17c 0) (l17m true) (l180c 1) (l180m true) (l181c 1) (l181m false) (l182c 1) (l182m false) (l183c 4) (l183m true) (l184c 1) (l184m false) (l185c 1) (l185m false) (l186c 0) (l186m true) (l187c 0) (l187m true) (l188c 7) (l188m true) (l189c 0) (l189m true) (l18c 4) (l18m false) (l190c 0) (l190m true) (l191c 7) (l191m true) (l192c 2) (l192m true) (l193c 2) (l193m true) (l194c 2) (l194m true) (l195c 7) (l195m true) (l196c 5) (l196m true) (l197c 0) (l197m true) (l198c 2) (l198m false) (l199c 6) (l199m true) (l19c 6) (l19m true) (l1c 1) (l1m true) (l200c 1) (l200m false) (l201c 1) (l201m true) (l202c 1) (l202m false) (l203c 7) (l203m true) (l204c 1) (l204m true) (l205c 1) (l205m true) (l206c 7) (l206m true) (l207c 7) (l207m true) (l208c 0) (l208m true) (l209c 6) (l209m true) (l20c 0) (l20m false) (l210c 6) (l210m true) (l211c 0) (l211m true) (l212c 2) (l212m true) (l213c 2) (l213m true) (l214c 2) (l214m true) (l215c 0) (l215m true) (l216c 0) (l216m true) (l217c 7) (l217m true) (l218c 2) (l218m false) (l219c 1) (l219m true) (l21c 7) (l21m true) (l220c 1) (l220m true) (l221c 1) (l221m false) (l222c 1) (l222m false) (l223c 7) (l223m true) (l224c 1) (l224m false) (l225c 1) (l225m false) (l226c 1) (l226m true) (l227c 6) (l227m true) (l228c 1) (l228m true) (l229c 0) (l229m true) (l22c 0) (l22m false) (l230c 0) (l230m true) (l231c 7) (l231m true) (l232c 3) (l232m true) (l233c 3) (l233m true) (l234c 3) (l234m true) (l235c 7) (l235m true) (l236c 6) (l236m true) (l237c 0) (l237m true) (l238c 2) (l238m false) (l239c 6) (l239m true) (l23c 0) (l23m false) (l240c 2) (l240m true) (l241c 0) (l241m true) (l242c 7) (l242m true) (l243c 0) (l243m true) (l244c 0) (l244m true) (l245c 7) (l245m true) (l246c 0) (l246m true) (l247c 7) (l247m true) (l248c 0) (l248m true) (l249c 0) (l249m true) (l24c 6) (l24m true) (l250c 0) (l250m true) (l251c 7) (l251m true) (l252c 0) (l252m true) (l253c 0) (l253m true) (l254c 7) (l254m true) (l255c 0) (l255m true) (l256c 0) (l256m true) (l257c 7) (l257m true) (l258c 2) (l258m false) (l259c 3) (l259m true) (l25c 0) (l25m false) (l260c 7) (l260m true) (l261c 0) (l261m true) (l262c 7) (l262m true) (l263c 0) (l263m true) (l264c 0) (l264m true) (l265c 6) (l265m true) (l266c 0) (l266m true) (l267c 6) (l267m true) (l268c 0) (l268m true) (l269c 0) (l269m true) (l26c 2) (l26m true) (l270c 0) (l270m true) (l271c 7) (l271m true) (l272c 2) (l272m true) (l273c 4) (l273m true) (l274c 2) (l274m true) (l275c 7) (l275m true) (l276c 7) (l276m true) (l277c 0) (l277m true) (l278c 2) (l278m false) (l279c 7) (l279m true) (l27c 0) (l27m false) (l280c 0) (l280m false) (l281c 7) (l281m true) (l282c 0) (l282m false) (l283c 6) (l283m true) (l284c 7) (l284m true) (l285c 0) (l285m true) (l286c 0) (l286m true) (l287c 0) (l287m true) (l288c 1) (l288m true) (l289c 6) (l289m true) (l28c 0) (l28m false) (l290c 7) (l290m true) (l291c 0) (l291m true) (l292c 0) (l292m true) (l293c 0) (l293m true) (l294c 7) (l294m true) (l295c 1) (l295m true) (l296c 6) (l296m true) (l297c 0) (l297m true) (l298c 0) (l298m true) (l299c 0) (l299m false) (l29c 6) (l29m true) (l2c 1) (l2m false) (l300c 0) (l300m true) (l301c 7) (l301m true) (l302c 0) (l302m true) (l303c 7) (l303m true) (l304c 7) (l304m true) (l305c 0) (l305m true) (l306c 5) (l306m true) (l307c 7) (l307m true) (l308c 1) (l308m true) (l309c 7) (l309m true) (l30c 0) (l30m false) (l310c 7) (l310m true) (l311c 0) (l311m true) (l312c 7) (l312m true) (l313c 1) (l313m false) (l314c 1) (l314m false) (l315c 0) (l315m true) (l316c 0) (l316m true) (l317c 7) (l317m true) (l318c 2) (l318m false) (l319c 1) (l319m true) (l31c 0) (l31m false) (l320c 0) (l320m false) (l321c 7) (l321m true) (l322c 0) (l322m false) (l323c 0) (l323m false) (l324c 7) (l324m true) (l325c 0) (l325m false) (l326c 7) (l326m true) (l327c 0) (l327m true) (l328c 6) (l328m true) (l329c 7) (l329m true) (l32c 1) (l32m false) (l330c 7) (l330m true) (l331c 6) (l331m true) (l332c 3) (l332m false) (l333c 4) (l333m true) (l334c 3) (l334m false) (l335c 0) (l335m true) (l336c 0) (l336m true) (l337c 7) (l337m true) (l338c 3) (l338m false) (l339c 0) (l339m false) (l33c 6) (l33m true) (l340c 0) (l340m false) (l341c 6) (l341m true) (l342c 0) (l342m false) (l343c 0) (l343m false) (l344c 4) (l344m true) (l345c 0) (l345m false) (l346c 4) (l346m true) (l347c 5) (l347m true) (l348c 0) (l348m true) (l349c 6) (l349m true) (l34c 1) (l34m false) (l350c 7) (l350m true) (l351c 0) (l351m true) (l352c 3) (l352m false) (l353c 7) (l353m true) (l354c 3) (l354m false) (l355c 0) (l355m true) (l356c 0) (l356m true) (l357c 6) (l357m true) (l358c 3) (l358m false) (l359c 0) (l359m false) (l35c 0) (l35m true) (l360c 7) (l360m true) (l361c 0) (l361m true) (l362c 6) (l362m true) (l363c 0) (l363m true) (l364c 0) (l364m true) (l365c 7) (l365m true) (l366c 7) (l366m true) (l367c 0) (l367m true) (l368c 7) (l368m true) (l369c 7) (l369m true) (l36c 0) (l36m true) (l370c 6) (l370m true) (l371c 5) (l371m true) (l372c 0) (l372m true) (l373c 1) (l373m false) (l374c 1) (l374m false) (l375c 0) (l375m true) (l376c 0) (l376m true) (l377c 5) (l377m true) (l378c 2) (l378m false) (l379c 2) (l379m true) (l37c 0) (l37m true) (l380c 0) (l380m false) (l381c 0) (l381m false) (l382c 0) (l382m false) (l383c 0) (l383m false) (l384c 0) (l384m false) (l385c 0) (l385m false) (l386c 0) (l386m false) (l387c 0) (l387m false) (l388c 0) (l388m false) (l389c 0) (l389m false) (l38c 1) (l38m false) (l390c 0) (l390m false) (l391c 0) (l391m false) (l392c 3) (l392m false) (l393c 3) (l393m false) (l394c 3) (l394m false) (l395c 3) (l395m false) (l396c 3) (l396m false) (l397c 3) (l397m false) (l398c 3) (l398m false) (l399c 3) (l399m false) (l39c 1) (l39m false) (l3c 1) (l3m false) (l400c 7) (l400m true) (l401c 0) (l401m true) (l402c 7) (l402m true) (l403c 7) (l403m true) (l404c 6) (l404m true) (l405c 0) (l405m true) (l406c 0) (l406m true) (l407c 7) (l407m true) (l408c 0) (l408m true) (l409c 7) (l409m true) (l40c 7) (l40m true) (l410c 7) (l410m true) (l411c 0) (l411m true) (l412c 0) (l412m true) (l413c 0) (l413m true) (l414c 7) (l414m true) (l415c 0) (l415m true) (l416c 0) (l416m true) (l417c 7) (l417m true) (l418c 2) (l418m false) (l419c 1) (l419m true) (l41c 0) (l41m true) (l420c 0) (l420m false) (l421c 5) (l421m true) (l422c 0) (l422m false) (l423c 0) (l423m false) (l424c 4) (l424m true) (l425c 0) (l425m false) (l426c 0) (l426m true) (l427c 0) (l427m true) (l428c 6) (l428m true) (l429c 7) (l429m true) (l42c 7) (l42m true) (l430c 7) (l430m true) (l431c 6) (l431m true) (l432c 3) (l432m false) (l433c 7) (l433m true) (l434c 3) (l434m false) (l435c 0) (l435m true) (l436c 0) (l436m true) (l437c 7) (l437m true) (l438c 3) (l438m false) (l439c 0) (l439m false) (l43c 7) (l43m true) (l440c 0) (l440m false) (l441c 7) (l441m true) (l442c 0) (l442m false) (l443c 0) (l443m false) (l444c 6) (l444m true) (l445c 0) (l445m false) (l446c 7) (l446m true) (l447c 7) (l447m true) (l448c 0) (l448m true) (l449c 6) (l449m true) (l44c 7) (l44m true) (l450c 5) (l450m true) (l451c 0) (l451m true) (l452c 3) (l452m false) (l453c 7) (l453m true) (l454c 3) (l454m false) (l455c 0) (l455m true) (l456c 0) (l456m true) (l457c 7) (l457m true) (l458c 3) (l458m false) (l459c 0) (l459m false) (l45c 0) (l45m true) (l460c 0) (l460m true) (l461c 6) (l461m true) (l462c 0) (l462m true) (l463c 0) (l463m true) (l464c 0) (l464m true) (l465c 6) (l465m true) (l466c 7) (l466m true) (l467c 0) (l467m true) (l468c 7) (l468m true) (l469c 0) (l469m true) (l46c 0) (l46m true) (l470c 0) (l470m true) (l471c 7) (l471m true) (l472c 1) (l472m true) (l473c 1) (l473m false) (l474c 1) (l474m false) (l475c 1) (l475m true) (l476c 7) (l476m true) (l477c 0) (l477m true) (l478c 2) (l478m false) (l479c 7) (l479m true) (l47c 7) (l47m true) (l480c 1) (l480m true) (l481c 7) (l481m true) (l482c 1) (l482m true) (l483c 7) (l483m true) (l484c 6) (l484m true) (l485c 0) (l485m true) (l486c 0) (l486m true) (l487c 6) (l487m true) (l488c 0) (l488m true) (l489c 6) (l489m true) (l48c 0) (l48m true) (l490c 7) (l490m true) (l491c 0) (l491m true) (l492c 0) (l492m true) (l493c 0) (l493m true) (l494c 7) (l494m true) (l495c 0) (l495m true) (l496c 0) (l496m true) (l497c 7) (l497m true) (l498c 2) (l498m false) (l499c 0) (l499m true) (l49c 6) (l49m true) (l4c 1) (l4m true) (l500c 0) (l500m false) (l501c 6) (l501m true) (l502c 0) (l502m false) (l503c 0) (l503m false) (l504c 7) (l504m true) (l505c 0) (l505m false) (l506c 7) (l506m true) (l507c 7) (l507m true) (l508c 6) (l508m true) (l509c 0) (l509m true) (l50c 5) (l50m true) (l510c 0) (l510m true) (l511c 5) (l511m true) (l512c 3) (l512m false) (l513c 7) (l513m true) (l514c 3) (l514m false) (l515c 0) (l515m true) (l516c 0) (l516m true) (l517c 7) (l517m true) (l518c 3) (l518m false) (l519c 0) (l519m false) (l51c 0) (l51m true) (l520c 0) (l520m false) (l521c 7) (l521m true) (l522c 0) (l522m false) (l523c 0) (l523m false) (l524c 5) (l524m true) (l525c 0) (l525m false) (l526c 7) (l526m true) (l527c 7) (l527m true) (l528c 0) (l528m true) (l529c 7) (l529m true) (l52c 7) (l52m true) (l530c 7) (l530m true) (l531c 0) (l531m true) (l532c 3) (l532m false) (l533c 6) (l533m true) (l534c 3) (l534m false) (l535c 0) (l535m true) (l536c 0) (l536m true) (l537c 6) (l537m true) (l538c 3) (l538m false) (l539c 0) (l539m false) (l53c 0) (l53m true) (l540c 0) (l540m true) (l541c 6) (l541m true) (l542c 0) (l542m true) (l543c 0) (l543m true) (l544c 0) (l544m true) (l545c 7) (l545m true) (l546c 7) (l546m true) (l547c 0) (l547m true) (l548c 7) (l548m true) (l549c 0) (l549m true) (l54c 7) (l54m true) (l550c 0) (l550m true) (l551c 7) (l551m true) (l552c 1) (l552m true) (l553c 1) (l553m false) (l554c 1) (l554m false) (l555c 7) (l555m true) (l556c 4) (l556m true) (l557c 0) (l557m true) (l558c 2) (l558m false) (l559c 7) (l559m true) (l55c 7) (l55m true) (l560c 6) (l560m false) (l561c 5) (l561m false) (l562c 6) (l562m false) (l563c 6) (l563m false) (l564c 5) (l564m false) (l565c 6) (l565m false) (l566c 0) (l566m true) (l567c 0) (l567m true) (l568c 7) (l568m true) (l569c 0) (l569m true) (l56c 0) (l56m true) (l570c 0) (l570m true) (l571c 7) (l571m true) (l572c 7) (l572m false) (l573c 0) (l573m true) (l574c 7) (l574m false) (l575c 6) (l575m true) (l576c 7) (l576m true) (l577c 0) (l577m true) (l578c 7) (l578m false) (l579c 7) (l579m true) (l57c 5) (l57m true) (l580c 0) (l580m false) (l581c 0) (l581m false) (l582c 0) (l582m false) (l583c 0) (l583m false) (l584c 0) (l584m false) (l585c 0) (l585m false) (l586c 0) (l586m false) (l587c 0) (l587m false) (l588c 0) (l588m false) (l589c 0) (l589m false) (l58c 2) (l58m false) (l590c 0) (l590m false) (l591c 0) (l591m false) (l592c 3) (l592m false) (l593c 3) (l593m false) (l594c 3) (l594m false) (l595c 3) (l595m false) (l596c 3) (l596m false) (l597c 3) (l597m false) (l598c 3) (l598m false) (l599c 3) (l599m false) (l59c 0) (l59m true) (l5c 1) (l5m false) (l600c 0) (l600m false) (l601c 7) (l601m true) (l602c 0) (l602m false) (l603c 0) (l603m false) (l604c 7) (l604m true) (l605c 0) (l605m false) (l606c 1) (l606m true) (l607c 0) (l607m false) (l608c 0) (l608m false) (l609c 1) (l609m true) (l60c 1) (l60m false) (l610c 0) (l610m false) (l611c 0) (l611m false) (l612c 1) (l612m false) (l613c 6) (l613m true) (l614c 1) (l614m false) (l615c 0) (l615m true) (l616c 0) (l616m true) (l617c 7) (l617m true) (l618c 1) (l618m false) (l619c 1) (l619m false) (l61c 1) (l61m true) (l620c 0) (l620m false) (l621c 0) (l621m false) (l622c 0) (l622m false) (l623c 0) (l623m false) (l624c 0) (l624m false) (l625c 0) (l625m false) (l626c 0) (l626m false) (l627c 0) (l627m false) (l628c 0) (l628m false) (l629c 0) (l629m false) (l62c 1) (l62m false) (l630c 0) (l630m false) (l631c 0) (l631m false) (l632c 1) (l632m false) (l633c 1) (l633m false) (l634c 1) (l634m false) (l635c 1) (l635m false) (l636c 1) (l636m false) (l637c 1) (l637m false) (l638c 3) (l638m false) (l639c 3) (l639m false) (l63c 1) (l63m false) (l640c 0) (l640m false) (l641c 6) (l641m true) (l642c 0) (l642m false) (l643c 0) (l643m false) (l644c 5) (l644m true) (l645c 0) (l645m false) (l646c 6) (l646m true) (l647c 0) (l647m false) (l648c 0) (l648m false) (l649c 6) (l649m true) (l64c 3) (l64m true) (l650c 0) (l650m false) (l651c 0) (l651m false) (l652c 1) (l652m false) (l653c 7) (l653m true) (l654c 1) (l654m false) (l655c 0) (l655m true) (l656c 0) (l656m true) (l657c 7) (l657m true) (l658c 1) (l658m false) (l659c 1) (l659m false) (l65c 1) (l65m false) (l660c 0) (l660m false) (l661c 1) (l661m true) (l662c 0) (l662m false) (l663c 7) (l663m true) (l664c 0) (l664m false) (l665c 0) (l665m false) (l666c 0) (l666m false) (l667c 0) (l667m true) (l668c 0) (l668m false) (l669c 6) (l669m true) (l66c 0) (l66m true) (l670c 0) (l670m false) (l671c 0) (l671m false) (l672c 1) (l672m true) (l673c 1) (l673m false) (l674c 1) (l674m false) (l675c 1) (l675m true) (l676c 1) (l676m false) (l677c 1) (l677m false) (l678c 1) (l678m false) (l679c 1) (l679m false) (l67c 0) (l67m true) (l680c 0) (l680m false) (l681c 0) (l681m false) (l682c 0) (l682m false) (l683c 0) (l683m false) (l684c 0) (l684m false) (l685c 0) (l685m false) (l686c 0) (l686m false) (l687c 0) (l687m false) (l688c 0) (l688m false) (l689c 0) (l689m false) (l68c 7) (l68m true) (l690c 0) (l690m false) (l691c 0) (l691m false) (l692c 1) (l692m false) (l693c 1) (l693m false) (l694c 1) (l694m false) (l695c 1) (l695m false) (l696c 1) (l696m false) (l697c 1) (l697m false) (l698c 1) (l698m false) (l699c 1) (l699m false) (l69c 0) (l69m true) (l6c 0) (l6m true) (l700c 0) (l700m false) (l701c 6) (l701m true) (l702c 0) (l702m false) (l703c 0) (l703m false) (l704c 7) (l704m true) (l705c 0) (l705m false) (l706c 5) (l706m true) (l707c 0) (l707m false) (l708c 0) (l708m false) (l709c 7) (l709m true) (l70c 0) (l70m true) (l710c 0) (l710m false) (l711c 0) (l711m false) (l712c 3) (l712m false) (l713c 3) (l713m true) (l714c 3) (l714m false) (l715c 7) (l715m true) (l716c 3) (l716m false) (l717c 3) (l717m false) (l718c 3) (l718m false) (l719c 3) (l719m false) (l71c 7) (l71m true) (l720c 0) (l720m false) (l721c 6) (l721m true) (l722c 0) (l722m false) (l723c 7) (l723m true) (l724c 0) (l724m false) (l725c 0) (l725m false) (l726c 0) (l726m false) (l727c 1) (l727m true) (l728c 0) (l728m false) (l729c 6) (l729m true) (l72c 4) (l72m false) (l730c 0) (l730m false) (l731c 0) (l731m false) (l732c 1) (l732m true) (l733c 1) (l733m false) (l734c 1) (l734m false) (l735c 3) (l735m true) (l736c 1) (l736m false) (l737c 1) (l737m false) (l738c 3) (l738m false) (l739c 3) (l739m false) (l73c 4) (l73m true) (l740c 0) (l740m false) (l741c 0) (l741m false) (l742c 0) (l742m false) (l743c 0) (l743m false) (l744c 0) (l744m false) (l745c 0) (l745m false) (l746c 0) (l746m false) (l747c 0) (l747m false) (l748c 0) (l748m false) (l749c 0) (l749m false) (l74c 4) (l74m false) (l750c 0) (l750m false) (l751c 0) (l751m false) (l752c 3) (l752m false) (l753c 3) (l753m false) (l754c 3) (l754m false) (l755c 3) (l755m false) (l756c 3) (l756m false) (l757c 3) (l757m false) (l758c 3) (l758m false) (l759c 3) (l759m false) (l75c 7) (l75m true) (l760c 0) (l760m false) (l761c 0) (l761m false) (l762c 0) (l762m false) (l763c 0) (l763m false) (l764c 0) (l764m false) (l765c 0) (l765m false) (l766c 0) (l766m false) (l767c 0) (l767m false) (l768c 0) (l768m false) (l769c 0) (l769m false) (l76c 1) (l76m true) (l770c 0) (l770m false) (l771c 0) (l771m false) (l772c 3) (l772m false) (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 0) (l780m false) (l781c 7) (l781m true) (l782c 0) (l782m false) (l783c 0) (l783m false) (l784c 7) (l784m true) (l785c 0) (l785m false) (l786c 7) (l786m true) (l787c 0) (l787m true) (l788c 6) (l788m true) (l789c 7) (l789m true) (l78c 4) (l78m false) (l790c 0) (l790m true) (l791c 6) (l791m true) (l792c 3) (l792m false) (l793c 7) (l793m true) (l794c 3) (l794m false) (l795c 0) (l795m true) (l796c 0) (l796m true) (l797c 7) (l797m true) (l798c 3) (l798m false) (l799c 0) (l799m false) (l79c 7) (l79m true) (l7c 0) (l7m true) (l800c 0) (l800m false) (l801c 7) (l801m true) (l802c 0) (l802m false) (l803c 0) (l803m false) (l804c 6) (l804m true) (l805c 0) (l805m false) (l806c 6) (l806m true) (l807c 7) (l807m true) (l808c 3) (l808m true) (l809c 7) (l809m true) (l80c 1) (l80m true) (l810c 0) (l810m true) (l811c 6) (l811m true) (l812c 3) (l812m false) (l813c 6) (l813m true) (l814c 3) (l814m false) (l815c 0) (l815m true) (l816c 0) (l816m true) (l817c 7) (l817m true) (l818c 3) (l818m false) (l819c 0) (l819m false) (l81c 1) (l81m false) (l820c 0) (l820m false) (l821c 6) (l821m true) (l822c 0) (l822m false) (l823c 0) (l823m false) (l824c 6) (l824m true) (l825c 0) (l825m false) (l826c 6) (l826m true) (l827c 6) (l827m true) (l828c 3) (l828m true) (l829c 7) (l829m true) (l82c 1) (l82m false) (l830c 6) (l830m true) (l831c 0) (l831m true) (l832c 3) (l832m false) (l833c 6) (l833m true) (l834c 3) (l834m false) (l835c 0) (l835m true) (l836c 0) (l836m true) (l837c 6) (l837m true) (l838c 3) (l838m false) (l839c 0) (l839m false) (l83c 0) (l83m true) (l840c 0) (l840m false) (l841c 7) (l841m true) (l842c 0) (l842m false) (l843c 7) (l843m true) (l844c 7) (l844m true) (l845c 0) (l845m true) (l846c 0) (l846m false) (l847c 5) (l847m true) (l848c 0) (l848m false) (l849c 7) (l849m true) (l84c 1) (l84m false) (l850c 5) (l850m true) (l851c 0) (l851m true) (l852c 0) (l852m true) (l853c 0) (l853m false) (l854c 0) (l854m false) (l855c 6) (l855m true) (l856c 0) (l856m false) (l857c 0) (l857m false) (l858c 3) (l858m false) (l859c 3) (l859m false) (l85c 1) (l85m false) (l860c 0) (l860m false) (l861c 6) (l861m true) (l862c 0) (l862m false) (l863c 7) (l863m true) (l864c 6) (l864m true) (l865c 0) (l865m true) (l866c 6) (l866m true) (l867c 7) (l867m true) (l868c 0) (l868m true) (l869c 7) (l869m true) (l86c 7) (l86m true) (l870c 7) (l870m true) (l871c 0) (l871m true) (l872c 0) (l872m true) (l873c 0) (l873m true) (l874c 7) (l874m true) (l875c 0) (l875m true) (l876c 0) (l876m true) (l877c 7) (l877m true) (l878c 0) (l878m true) (l879c 0) (l879m false) (l87c 0) (l87m true) (l880c 0) (l880m false) (l881c 7) (l881m true) (l882c 0) (l882m false) (l883c 0) (l883m true) (l884c 0) (l884m true) (l885c 7) (l885m true) (l886c 0) (l886m true) (l887c 7) (l887m true) (l888c 0) (l888m true) (l889c 0) (l889m true) (l88c 1) (l88m true) (l890c 0) (l890m true) (l891c 7) (l891m true) (l892c 0) (l892m true) (l893c 0) (l893m true) (l894c 7) (l894m true) (l895c 5) (l895m true) (l896c 0) (l896m false) (l897c 0) (l897m false) (l898c 1) (l898m true) (l899c 1) (l899m false) (l89c 3) (l89m true) (l8c 7) (l8m true) (l900c 0) (l900m false) (l901c 7) (l901m true) (l902c 0) (l902m false) (l903c 0) (l903m false) (l904c 7) (l904m true) (l905c 0) (l905m false) (l906c 7) (l906m true) (l907c 7) (l907m true) (l908c 6) (l908m true) (l909c 0) (l909m true) (l90c 7) (l90m true) (l910c 7) (l910m true) (l911c 6) (l911m true) (l912c 3) (l912m false) (l913c 7) (l913m true) (l914c 3) (l914m false) (l915c 0) (l915m true) (l916c 0) (l916m true) (l917c 7) (l917m true) (l918c 3) (l918m false) (l919c 0) (l919m false) (l91c 0) (l91m true) (l920c 0) (l920m false) (l921c 7) (l921m true) (l922c 0) (l922m false) (l923c 0) (l923m false) (l924c 6) (l924m true) (l925c 0) (l925m false) (l926c 7) (l926m true) (l927c 6) (l927m true) (l928c 0) (l928m true) (l929c 6) (l929m true) (l92c 4) (l92m true) (l930c 4) (l930m true) (l931c 0) (l931m true) (l932c 3) (l932m false) (l933c 7) (l933m true) (l934c 3) (l934m false) (l935c 0) (l935m true) (l936c 0) (l936m true) (l937c 7) (l937m true) (l938c 3) (l938m false) (l939c 0) (l939m false) (l93c 4) (l93m true) (l940c 0) (l940m false) (l941c 6) (l941m true) (l942c 0) (l942m false) (l943c 0) (l943m false) (l944c 6) (l944m true) (l945c 0) (l945m false) (l946c 1) (l946m true) (l947c 5) (l947m true) (l948c 1) (l948m true) (l949c 0) (l949m true) (l94c 4) (l94m true) (l950c 6) (l950m true) (l951c 0) (l951m true) (l952c 3) (l952m false) (l953c 7) (l953m true) (l954c 3) (l954m false) (l955c 7) (l955m true) (l956c 0) (l956m false) (l957c 0) (l957m false) (l958c 3) (l958m false) (l959c 1) (l959m false) (l95c 0) (l95m true) (l960c 0) (l960m false) (l961c 0) (l961m false) (l962c 0) (l962m false) (l963c 0) (l963m false) (l964c 0) (l964m false) (l965c 0) (l965m false) (l966c 0) (l966m false) (l967c 0) (l967m false) (l968c 0) (l968m false) (l969c 0) (l969m false) (l96c 0) (l96m true) (l970c 0) (l970m false) (l971c 0) (l971m false) (l972c 3) (l972m false) (l973c 3) (l973m false) (l974c 3) (l974m false) (l975c 3) (l975m false) (l976c 3) (l976m false) (l977c 3) (l977m false) (l978c 3) (l978m false) (l979c 3) (l979m false) (l97c 7) (l97m true) (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 2) (l98m false) (l990c 0) (l990m false) (l991c 0) (l991m false) (l992c 3) (l992m false) (l993c 3) (l993m false) (l994c 3) (l994m false) (l995c 3) (l995m false) (l996c 3) (l996m false) (l997c 3) (l997m false) (l998c 3) (l998m false) (l999c 3) (l999m false) (l99c 0) (l99m true) (l9c 0) (l9m true))