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