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