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