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