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