0.00/0.02 c small-domain mode
0.00/0.04 c Seed is 1015744488
0.00/0.04 c Constructing HOME/instance-2085586-1247726180.xml with 12506 constraints
0.36/0.46 c Solving 56 backtracks 2 restarts
0.46/0.53 s SATISFIABLE
0.46/0.53 c V0=3, V1=0, V2=2, V3=1, V4=2, V5=0, V6=2, V7=1, V8=2, V9=3, V10=2, V11=3, V12=1, V13=3, V14=0, V15=3, V16=1, V17=0, V18=3, V19=0, V20=3, V21=2, V22=3, V23=1, V24=3, V25=2, V26=3, V27=1, V28=1, V29=2, V30=1, V31=2, V32=0, V33=3, V34=2, V35=1, V36=0, V37=3, V38=2, V39=1, V40=0, V41=2, V42=0, V43=2, V44=3, V45=1, V46=3, V47=0, V48=2, V49=0, V50=2, V51=1, V52=3, V53=2, V54=1, V55=0, V56=3, V57=2, V58=1, V59=0, V60=1, V61=3, V62=2, V63=3, V64=0, V65=1, V66=0, V67=3, V68=0, V69=1, V70=0, V71=1, V72=2, V73=1, V74=2, V75=3, V76=3, V77=1, V78=0, V79=2, V80=0, V81=1, V82=2, V83=0, V84=1, V85=3, V86=1, V87=3, V88=0, V89=2, V90=1, V91=2, V92=0, V93=3, V94=1, V95=2, V96=0, V97=3, V98=3, V99=0, V100=2, V101=1, V102=3, V103=0, V104=1, V105=0, V106=1, V107=2, V108=3, V109=0, V110=1, V111=2, V112=2, V113=1, V114=0, V115=3, V116=2, V117=3, V118=0, V119=1, V120=3, V121=0, V122=2, V123=0, V124=2, V125=1, V126=2, V127=0, V128=3, V129=1, V130=3, V131=0, V132=3, V133=0, V134=2, V135=0, V136=2, V137=0, V138=1, V139=0, V140=2, V141=3, V142=3, V143=2, V144=3, V145=2, V146=0, V147=1, V148=3, V149=1, V150=0, V151=1, V152=3, V153=1, V154=3, V155=2, V156=1, V157=2, V158=1, V159=0, V160=3, V161=0, V162=3, V163=1, V164=3, V165=0, V166=2, V167=1, V168=3, V169=2, V170=3, V171=2, V172=3, V173=0, V174=1, V175=2, V176=3, V177=2, V178=1, V179=3, V180=1, V181=0, V182=1, V183=0, V184=2, V185=3, V186=0, V187=1, V188=2, V189=1, V190=1, V191=3, V192=0, V193=3, V194=1, V195=2, V196=2, V197=1, V198=2, V199=3, V200=0, V201=3, V202=0, V203=1, V204=0, V205=3, V206=0, V207=3, V208=0, V209=2, V210=1, V211=2, V212=3, V213=0, V214=3, V215=0, V216=1, V217=2, V218=0, V219=3, V220=1, V221=3, V222=0, V223=2, V224=1, V225=2, V226=0, V227=3, V228=3, V229=2, V230=3, V231=0, V232=3, V233=1, V234=3, V235=0, V236=2, V237=0, V238=3, V239=0, V240=2, V241=1, V242=1, V243=3, V244=2, V245=3, V246=2, V247=0, V248=2, V249=3, V250=1, V251=3, V252=1, V253=0, V254=0, V255=3, V256=2, V257=3, V258=0, V259=1, V260=0, V261=1, V262=2, V263=3, V264=2, V265=0, V266=1, V267=0, V268=2, V269=1, V270=3, V271=1, V272=2, V273=1, V274=2, V275=0, V276=0, V277=1, V278=0, V279=1, V280=0, V281=1, V282=3, V283=2, V284=1, V285=0, V286=2, V287=1, V288=0, V289=3, V290=2, V291=3, V292=0, V293=1, V294=1, V295=0, V296=2, V297=3, V298=0, V299=3, V300=2, V301=1, V302=0, V303=1, V304=3, V305=0, V306=2, V307=0, V308=2, V309=1, V310=3, V311=1, V312=2, V313=1, V314=0, V315=1, V316=3, V317=2, V318=3, V319=2, V320=3, V321=2, V322=2, V323=1, V324=0, V325=3, V326=0, V327=1, V328=0, V329=1, V330=0, V331=3, V332=0, V333=3, V334=1, V335=0, V336=2, V337=3, V338=2, V339=0, V340=0, V341=1, V342=2, V343=1, V344=2, V345=3, V346=3, V347=2, V348=0, V349=1, V350=0, V351=1, V352=3, V353=1, V354=0, V355=1, V356=2, V357=1, V358=2, V359=1, V360=0, V361=1, V362=2, V363=3, V364=1, V365=2, V366=1, V367=0, V368=3, V369=0, V370=1, V371=0, V372=1, V373=0, V374=3, V375=2, V376=3, V377=1, V378=0, V379=2, V380=3, V381=2, V382=0, V383=3, V384=1, V385=2, V386=0, V387=3, V388=0, V389=3, V390=3, V391=2, V392=1, V393=2, V394=1, V395=2, V396=1, V397=2, V398=3, V399=0, V400=2, V401=0, V402=1, V403=0, V404=2, V405=3, V406=0, V407=3, V408=0, V409=3, V410=2, V411=3, V412=0, V413=1, V414=0, V415=2, V416=3, V417=1, V418=0, V419=2, V420=0, V421=1, V422=0, V423=3, V424=1, V425=2, V426=2, V427=0, V428=1, V429=0, V430=1, V431=0, V432=1, V433=0, V434=3, V435=2, V436=3, V437=2, V438=0, V439=2, V440=2, V441=3, V442=1, V443=0, V444=1, V445=3, V446=1, V447=0, V448=3, V449=0, V450=1, V451=2, V452=1, V453=0, V454=3, V455=2, V456=1, V457=2, V458=1, V459=2, V460=1, V461=2, V462=1, V463=2, V464=3, V465=1, V466=2, V467=0, V468=0, V469=3, V470=0, V471=2, V472=1, V473=2, V474=1, V475=0, V476=3, V477=2, V478=0, V479=1, V480=0, V481=3, V482=0, V483=3, V484=2, V485=1, V486=2, V487=0, V488=2, V489=1, V490=3, V491=0, V492=2, V493=1, V494=3, V495=1, V496=2, V497=0, V498=2, V499=3, V500=1, V501=3, V502=0, V503=1, V504=3, V505=2, V506=0, V507=2, V508=3, V509=1, V510=2, V511=1, V512=2, V513=1, V514=0, V515=1, V516=0, V517=3, V518=0, V519=3, V520=0, V521=3, V522=2, V523=1, V524=2, V525=1, V526=3, V527=0, V528=1, V529=0, V530=1, V531=0, V532=1, V533=0, V534=3, V535=2, V536=0, V537=2, V538=0, V539=1, V540=3, V541=2, V542=3, V543=2, V544=0, V545=1, V546=2, V547=3, V548=2, V549=3, V550=1, V551=0, V552=3, V553=2, V554=0, V555=2, V556=0, V557=3, V558=2, V559=3, V560=3, V561=2, V562=0, V563=2, V564=3, V565=1, V566=0, V567=3, V568=2, V569=1, V570=3, V571=0, V572=3, V573=0, V574=2, V575=1, V576=3, V577=1, V578=2, V579=0, V580=0, V581=3, V582=0, V583=1, V584=2, V585=3, V586=2, V587=1, V588=2, V589=3, V590=0, V591=1, V592=2, V593=1, V594=3, V595=0, V596=3, V597=1, V598=3, V599=0, V600=2, V601=1, V602=3, V603=1, V604=2, V605=0, V606=2, V607=3, V608=1, V609=0, V610=0, V611=3, V612=2, V613=3, V614=0, V615=3, V616=2, V617=1, V618=2, V619=1, V620=3, V621=1, V622=2, V623=0, V624=3, V625=0, V626=1, V627=0, V628=1, V629=2, V630=0, V631=3, V632=3, V633=0, V634=3, V635=2, V636=1, V637=0, V638=3, V639=0, V640=3, V641=2, V642=3, V643=1, V644=3, V645=1, V646=2, V647=1, V648=3, V649=1, V650=2, V651=0, V652=1, V653=3, V654=1, V655=2, V656=0, V657=2, V658=2, V659=1, V660=2, V661=0, V662=3, V663=1, V664=2, V665=1, V666=1, V667=2, V668=3, V669=0, V670=1, V671=0, V672=1, V673=2, V674=0, V675=3, V676=0, V677=1, V678=0, V679=3, V680=3, V681=1, V682=2, V683=0, V684=1, V685=3, V686=0, V687=3, V688=1, V689=2, V690=0, V691=3, V692=3, V693=1, V694=3, V695=1, V696=0, V697=1, V698=0, V699=3, V700=0, V701=3, V702=0, V703=1, V704=0, V705=1, V706=2, V707=3, V708=3, V709=2, V710=1, V711=0, V712=2, V713=3, V714=2, V715=0, V716=2, V717=0, V718=2, V719=0, V720=1, V721=3, V722=3, V723=0, V724=3, V725=1, V726=0, V727=2, V728=0, V729=2, V730=0, V731=3, V732=1, V733=2, V734=1, V735=0, V736=3, V737=2, V738=1, V739=0, V740=1, V741=0, V742=3, V743=2, V744=3, V745=0, V746=1, V747=2, V748=3, V749=2, V750=2, V751=3, V752=1, V753=0, V754=0, V755=1, V756=3, V757=2, V758=0, V759=2, V760=0, V761=1, V762=1, V763=3, V764=1, V765=3, V766=1, V767=0, V768=3, V769=2, V770=3, V771=1, V772=3, V773=2, V774=3, V775=1, V776=1, V777=0, V778=2, V779=3, V780=2, V781=0, V782=2, V783=0, V784=3, V785=2, V786=3, V787=1, V788=0, V789=1, V790=0, V791=3, V792=0, V793=1, V794=2, V795=1, V796=2, V797=1, V798=2, V799=3, V800=0, V801=1, V802=2, V803=0, V804=1, V805=0, V806=2, V807=3, V808=1, V809=3, V810=3, V811=1, V812=1, V813=0, V814=2, V815=0, V816=2, V817=3, V818=1, V819=0, V820=0, V821=3, V822=1, V823=2, V824=2, V825=1, V826=2, V827=3, V828=0, V829=3, V830=3, V831=1, V832=2, V833=1, V834=2, V835=0, V836=1, V837=3, V838=2, V839=3, V840=2, V841=0, V842=2, V843=3, V844=0, V845=1, V846=3, V847=1, V848=2, V849=3, V850=1, V851=0, V852=1, V853=0, V854=1, V855=3, V856=3, V857=0, V858=1, V859=0, V860=1, V861=2, V862=1, V863=2, V864=3, V865=2, V866=0, V867=1, V868=3, V869=1, V870=0, V871=3, V872=0, V873=2, V874=1, V875=2, V876=0, V877=2, V878=3, V879=1, V880=3, V881=0, V882=3, V883=1, V884=2, V885=1, V886=2, V887=1, V888=0, V889=3, V890=0, V891=1, V892=0, V893=1, V894=2, V895=1, V896=0, V897=3, V898=0, V899=1, V900=1, V901=0, V902=1, V903=3, V904=2, V905=0, V906=1, V907=3, V908=2, V909=1, V910=2, V911=0, V912=3, V913=0, V914=1, V915=0, V916=1, V917=0, V918=1, V919=3, V920=0, V921=3, V922=1, V923=2, V924=0, V925=2, V926=1, V927=0, V928=3, V929=2, V930=3, V931=2, V932=3, V933=2, V934=0, V935=2, V936=0, V937=1, V938=3, V939=2, V940=3, V941=1, V942=2, V943=3, V944=1, V945=0, V946=1, V947=0, V948=1, V949=0, V950=3, V951=2, V952=0, V953=1, V954=3, V955=1, V956=2, V957=1, V958=0, V959=2, V960=0, V961=1, V962=0, V963=3, V964=3, V965=2, V966=1, V967=0, V968=3, V969=0, V970=3, V971=0, V972=3, V973=1, V974=2, V975=1, V976=2, V977=0, V978=2, V979=0, V980=1, V981=0, V982=2, V983=3, V984=2, V985=0, V986=1, V987=0, V988=1, V989=3, V990=0, V991=1, V992=2, V993=1, V994=2, V995=3, V996=0, V997=3, V998=2, V999=3, V1000=1, V1001=0, V1002=1, V1003=3, V1004=2, V1005=0, V1006=2, V1007=3, V1008=3, V1009=0, V1010=1, V1011=2, V1012=3, V1013=0, V1014=1, V1015=2, V1016=1, V1017=2, V1018=3, V1019=2, V1020=1, V1021=0, V1022=1, V1023=3, V1024=1, V1025=2, V1026=1, V1027=2, V1028=0, V1029=2, V1030=0, V1031=3, V1032=2, V1033=3, V1034=2, V1035=0, V1036=1, V1037=3, V1038=1, V1039=3, V1040=2, V1041=3, V1042=1, V1043=3, V1044=1, V1045=2, V1046=1, V1047=3, V1048=0, V1049=3, V1050=1, V1051=2, V1052=1, V1053=0, V1054=3, V1055=2, V1056=2, V1057=1, V1058=2, V1059=0, V1060=3, V1061=1, V1062=2, V1063=0, V1064=3, V1065=1, V1066=0, V1067=1, V1068=0, V1069=2, V1070=0, V1071=3, V1072=1, V1073=2, V1074=0, V1075=3, V1076=2, V1077=0, V1078=1, V1079=0, V1080=2, V1081=3, V1082=1, V1083=3, V1084=1, V1085=0, V1086=1, V1087=0, V1088=2, V1089=1, V1090=1, V1091=2, V1092=2, V1093=3, V1094=0, V1095=1, V1096=3, V1097=0, V1098=2, V1099=0, V1100=0, V1101=1, V1102=0, V1103=1, V1104=0, V1105=2, V1106=3, V1107=1, V1108=3, V1109=2, V1110=1, V1111=2, V1112=0, V1113=2, V1114=1, V1115=3, V1116=1, V1117=2, V1118=0, V1119=2, V1120=0, V1121=1, V1122=0, V1123=2, V1124=3, V1125=1, V1126=3, V1127=0, V1128=3, V1129=1, V1130=2, V1131=1, V1132=3, V1133=1, V1134=3, V1135=0, V1136=2, V1137=0, V1138=2, V1139=1, V1140=2, V1141=0, V1142=0, V1143=1, V1144=2, V1145=3, V1146=2, V1147=1, V1148=1, V1149=3, V1150=2, V1151=0, V1152=1, V1153=3, V1154=2, V1155=3, V1156=2, V1157=1, V1158=3, V1159=1, V1160=2, V1161=0, V1162=1, V1163=0, V1164=3, V1165=0, V1166=3, V1167=2, V1168=3, V1169=0, V1170=0, V1171=2, V1172=3, V1173=1, V1174=3, V1175=2, V1176=2, V1177=0, V1178=1, V1179=3, V1180=3, V1181=1, V1182=0, V1183=1, V1184=3, V1185=1, V1186=0, V1187=2, V1188=3, V1189=2, V1190=0, V1191=1, V1192=3, V1193=2, V1194=3, V1195=2, V1196=0, V1197=1, V1198=0, V1199=3, V1200=1, V1201=0, V1202=1, V1203=3, V1204=1, V1205=0, V1206=3, V1207=0, V1208=2, V1209=0, V1210=0, V1211=1, V1212=0, V1213=3, V1214=2, V1215=1, V1216=2, V1217=3, V1218=3, V1219=1, V1220=1, V1221=2, V1222=0, V1223=2, V1224=1, V1225=2, V1226=1, V1227=3, V1228=0, V1229=3, V1230=0, V1231=3, V1232=0, V1233=1, V1234=0, V1235=1, V1236=2, V1237=0, V1238=1, V1239=3, V1240=1, V1241=3, V1242=1, V1243=0, V1244=2, V1245=3, V1246=1, V1247=0, V1248=3, V1249=2, V1250=1, V1251=0, V1252=3, V1253=0, V1254=1, V1255=2, V1256=1, V1257=0, V1258=3, V1259=2, V1260=1, V1261=0, V1262=1, V1263=2, V1264=1, V1265=3, V1266=1, V1267=0, V1268=2, V1269=0, V1270=1, V1271=0, V1272=2, V1273=3, V1274=2, V1275=1, V1276=2, V1277=3, V1278=2, V1279=3, V1280=2, V1281=1, V1282=0, V1283=1, V1284=2, V1285=3, V1286=0, V1287=1, V1288=0, V1289=3, V1290=1, V1291=3, V1292=1, V1293=3, V1294=0, V1295=2, V1296=0, V1297=1, V1298=3, V1299=2, V1300=0, V1301=2, V1302=3, V1303=2, V1304=1, V1305=2, V1306=2, V1307=3, V1308=1, V1309=3, V1310=1, V1311=0, V1312=1, V1313=3, V1314=1, V1315=3, V1316=1, V1317=0, V1318=1, V1319=2, V1320=1, V1321=0, V1322=1, V1323=0, V1324=1, V1325=0, V1326=0, V1327=2, V1328=0, V1329=2, V1330=3, V1331=1, V1332=2, V1333=0, V1334=3, V1335=0, V1336=2, V1337=3, V1338=1, V1339=0, V1340=1, V1341=3, V1342=2, V1343=3, V1344=2, V1345=3, V1346=3, V1347=0, V1348=1, V1349=0, V1350=1, V1351=3, V1352=2, V1353=3, V1354=2, V1355=3, V1356=2, V1357=3, V1358=0, V1359=1, V1360=0, V1361=1, V1362=3, V1363=2, V1364=1, V1365=2, V1366=2, V1367=0, V1368=2, V1369=0, V1370=3, V1371=0, V1372=3, V1373=1, V1374=2, V1375=0, V1376=0, V1377=1, V1378=3, V1379=2, V1380=3, V1381=0, V1382=2, V1383=3, V1384=0, V1385=3, V1386=0, V1387=1, V1388=2, V1389=3, V1390=2, V1391=3, V1392=1, V1393=3, V1394=1, V1395=3, V1396=2, V1397=3, V1398=0, V1399=2, V1400=0, V1401=1, V1402=3, V1403=2, V1404=0, V1405=2, V1406=3, V1407=2, V1408=0, V1409=1, V1410=3, V1411=1, V1412=3, V1413=0, V1414=3, V1415=0, V1416=2, V1417=0, V1418=3, V1419=0, V1420=1, V1421=0, V1422=1, V1423=0, V1424=3, V1425=0, V1426=0, V1427=3, V1428=1, V1429=2, V1430=1, V1431=2, V1432=0, V1433=2, V1434=2, V1435=3, V1436=0, V1437=1, V1438=0, V1439=1, V1440=0, V1441=2, V1442=3, V1443=2, V1444=2, V1445=1, V1446=0, V1447=1, V1448=0, V1449=1, V1450=0, V1451=3, V1452=2, V1453=3, V1454=1, V1455=0, V1456=0, V1457=2, V1458=0, V1459=2, V1460=3, V1461=1, V1462=3, V1463=1, V1464=3, V1465=2, V1466=2, V1467=1, V1468=2, V1469=1, V1470=3, V1471=0, V1472=3, V1473=1, V1474=3, V1475=0, V1476=3, V1477=0, V1478=1, V1479=2, V1480=3, V1481=0, V1482=2, V1483=3, V1484=2, V1485=1, V1486=3, V1487=1, V1488=3, V1489=2, V1490=3, V1491=1, V1492=0, V1493=2, V1494=0, V1495=1, V1496=0, V1497=1, V1498=0, V1499=1, V1500=3, V1501=2, V1502=1, V1503=2, V1504=1, V1505=0, V1506=2, V1507=0, V1508=3, V1509=1, V1510=3, V1511=0, V1512=2, V1513=1, V1514=3, V1515=2, V1516=0, V1517=1, V1518=0, V1519=3, V1520=0, V1521=1, V1522=2, V1523=1, V1524=0, V1525=1, V1526=1, V1527=0, V1528=2, V1529=0, V1530=2, V1531=3, V1532=1, V1533=3, V1534=1, V1535=0, V1536=2, V1537=1, V1538=2, V1539=3, V1540=0, V1541=3, V1542=0, V1543=3, V1544=0, V1545=2, V1546=0, V1547=3, V1548=1, V1549=0, V1550=3, V1551=2, V1552=1, V1553=2, V1554=3, V1555=2, V1556=3, V1557=2, V1558=3, V1559=1, V1560=3, V1561=2, V1562=3, V1563=2, V1564=3, V1565=2, V1566=0, V1567=2, V1568=1, V1569=0, V1570=2, V1571=0, V1572=0, V1573=3, V1574=2, V1575=1, V1576=3, V1577=0, V1578=3, V1579=2, V1580=1, V1581=2, V1582=1, V1583=3, V1584=1, V1585=3, V1586=0, V1587=2, V1588=1, V1589=3, V1590=1, V1591=0, V1592=1, V1593=3, V1594=2, V1595=1, V1596=2, V1597=0, V1598=3, V1599=1, V1600=2, V1601=0, V1602=2, V1603=1, V1604=1, V1605=3, V1606=0, V1607=2, V1608=1, V1609=3, V1610=1, V1611=2, V1612=0, V1613=2, V1614=3, V1615=2, V1616=3, V1617=1, V1618=0, V1619=1, V1620=3, V1621=1, V1622=2, V1623=1, V1624=1, V1625=0, V1626=2, V1627=0, V1628=1, V1629=3, V1630=2, V1631=3, V1632=0, V1633=3, V1634=0, V1635=3, V1636=0, V1637=3, V1638=2, V1639=0, V1640=2, V1641=1, V1642=2, V1643=0, V1644=0, V1645=2, V1646=0, V1647=1, V1648=3, V1649=1, V1650=3, V1651=2, V1652=3, V1653=2, V1654=3, V1655=1, V1656=3, V1657=0, V1658=1, V1659=3, V1660=2, V1661=0, V1662=2, V1663=0, V1664=0, V1665=1, V1666=3, V1667=2, V1668=3, V1669=1, V1670=3, V1671=2, V1672=0, V1673=2, V1674=2, V1675=1, V1676=0, V1677=3, V1678=0, V1679=3, V1680=1, V1681=3, V1682=0, V1683=3, V1684=1, V1685=2, V1686=0, V1687=2, V1688=3, V1689=0, V1690=2, V1691=1, V1692=3, V1693=1, V1694=2, V1695=0, V1696=1, V1697=0, V1698=3, V1699=0, V1700=0, V1701=2, V1702=1, V1703=3, V1704=1, V1705=3, V1706=1, V1707=3, V1708=1, V1709=0, V1710=1, V1711=3, V1712=2, V1713=0, V1714=2, V1715=1, V1716=0, V1717=2, V1718=0, V1719=2, V1720=3, V1721=1, V1722=1, V1723=3, V1724=1, V1725=2, V1726=0, V1727=2, V1728=2, V1729=1, V1730=3, V1731=1, V1732=2, V1733=0, V1734=3, V1735=0, V1736=1, V1737=0, V1738=3, V1739=2, V1740=3, V1741=2, V1742=3, V1743=1, V1744=0, V1745=1, V1746=0, V1747=2, V1748=0, V1749=1, V1750=0, V1751=3, V1752=2, V1753=1, V1754=1, V1755=3, V1756=2, V1757=3, V1758=1, V1759=0, V1760=1, V1761=3, V1762=3, V1763=2, V1764=0, V1765=2, V1766=2, V1767=0, V1768=3, V1769=0, V1770=3, V1771=0, V1772=2, V1773=0, V1774=3, V1775=1, V1776=2, V1777=1, V1778=3, V1779=1, V1780=1, V1781=3, V1782=2, V1783=3, V1784=3, V1785=2, V1786=1, V1787=2, V1788=2, V1789=1, V1790=3, V1791=1, V1792=1, V1793=2, V1794=3, V1795=2, V1796=1, V1797=2, V1798=1, V1799=0, V1800=2, V1801=1, V1802=0, V1803=3, V1804=1, V1805=2, V1806=1, V1807=3, V1808=2, V1809=0, V1810=3, V1811=0, V1812=3, V1813=0, V1814=1, V1815=0, V1816=2, V1817=1, V1818=0, V1819=3, V1820=2, V1821=1, V1822=1, V1823=2, V1824=0, V1825=3, V1826=1, V1827=3, V1828=0, V1829=3, V1830=1, V1831=3, V1832=0, V1833=2, V1834=3, V1835=2, V1836=0, V1837=1, V1838=3, V1839=0, V1840=1, V1841=2, V1842=3, V1843=2, V1844=0, V1845=3, V1846=0, V1847=1, V1848=1, V1849=3, V1850=2, V1851=3, V1852=1, V1853=0, V1854=2, V1855=1, V1856=3, V1857=0, V1858=2, V1859=1, V1860=2, V1861=1, V1862=1, V1863=0, V1864=3, V1865=0, V1866=3, V1867=0, V1868=1, V1869=3, V1870=1, V1871=2, V1872=0, V1873=2, V1874=2, V1875=3, V1876=0, V1877=1, V1878=0, V1879=1, V1880=3, V1881=2, V1882=2, V1883=3, V1884=2, V1885=0, V1886=3, V1887=0, V1888=1, V1889=0, V1890=3, V1891=0, V1892=1, V1893=3, V1894=1, V1895=2, V1896=1, V1897=3, V1898=0, V1899=1, V1900=0, V1901=2, V1902=3, V1903=2, V1904=2, V1905=1, V1906=0, V1907=1, V1908=0, V1909=3, V1910=2, V1911=1, V1912=3, V1913=1, V1914=2, V1915=3,
0.46/0.53 v 3 0 2 1 2 0 2 1 2 3 2 3 1 3 0 3 1 0 3 0 3 2 3 1 3 2 3 1 1 2 1 2 0 3 2 1 0 3 2 1 0 2 0 2 3 1 3 0 2 0 2 1 3 2 1 0 3 2 1 0 1 3 2 3 0 1 0 3 0 1 0 1 2 1 2 3 3 1 0 2 0 1 2 0 1 3 1 3 0 2 1 2 0 3 1 2 0 3 3 0 2 1 3 0 1 0 1 2 3 0 1 2 2 1 0 3 2 3 0 1 3 0 2 0 2 1 2 0 3 1 3 0 3 0 2 0 2 0 1 0 2 3 3 2 3 2 0 1 3 1 0 1 3 1 3 2 1 2 1 0 3 0 3 1 3 0 2 1 3 2 3 2 3 0 1 2 3 2 1 3 1 0 1 0 2 3 0 1 2 1 1 3 0 3 1 2 2 1 2 3 0 3 0 1 0 3 0 3 0 2 1 2 3 0 3 0 1 2 0 3 1 3 0 2 1 2 0 3 3 2 3 0 3 1 3 0 2 0 3 0 2 1 1 3 2 3 2 0 2 3 1 3 1 0 0 3 2 3 0 1 0 1 2 3 2 0 1 0 2 1 3 1 2 1 2 0 0 1 0 1 0 1 3 2 1 0 2 1 0 3 2 3 0 1 1 0 2 3 0 3 2 1 0 1 3 0 2 0 2 1 3 1 2 1 0 1 3 2 3 2 3 2 2 1 0 3 0 1 0 1 0 3 0 3 1 0 2 3 2 0 0 1 2 1 2 3 3 2 0 1 0 1 3 1 0 1 2 1 2 1 0 1 2 3 1 2 1 0 3 0 1 0 1 0 3 2 3 1 0 2 3 2 0 3 1 2 0 3 0 3 3 2 1 2 1 2 1 2 3 0 2 0 1 0 2 3 0 3 0 3 2 3 0 1 0 2 3 1 0 2 0 1 0 3 1 2 2 0 1 0 1 0 1 0 3 2 3 2 0 2 2 3 1 0 1 3 1 0 3 0 1 2 1 0 3 2 1 2 1 2 1 2 1 2 3 1 2 0 0 3 0 2 1 2 1 0 3 2 0 1 0 3 0 3 2 1 2 0 2 1 3 0 2 1 3 1 2 0 2 3 1 3 0 1 3 2 0 2 3 1 2 1 2 1 0 1 0 3 0 3 0 3 2 1 2 1 3 0 1 0 1 0 1 0 3 2 0 2 0 1 3 2 3 2 0 1 2 3 2 3 1 0 3 2 0 2 0 3 2 3 3 2 0 2 3 1 0 3 2 1 3 0 3 0 2 1 3 1 2 0 0 3 0 1 2 3 2 1 2 3 0 1 2 1 3 0 3 1 3 0 2 1 3 1 2 0 2 3 1 0 0 3 2 3 0 3 2 1 2 1 3 1 2 0 3 0 1 0 1 2 0 3 3 0 3 2 1 0 3 0 3 2 3 1 3 1 2 1 3 1 2 0 1 3 1 2 0 2 2 1 2 0 3 1 2 1 1 2 3 0 1 0 1 2 0 3 0 1 0 3 3 1 2 0 1 3 0 3 1 2 0 3 3 1 3 1 0 1 0 3 0 3 0 1 0 1 2 3 3 2 1 0 2 3 2 0 2 0 2 0 1 3 3 0 3 1 0 2 0 2 0 3 1 2 1 0 3 2 1 0 1 0 3 2 3 0 1 2 3 2 2 3 1 0 0 1 3 2 0 2 0 1 1 3 1 3 1 0 3 2 3 1 3 2 3 1 1 0 2 3 2 0 2 0 3 2 3 1 0 1 0 3 0 1 2 1 2 1 2 3 0 1 2 0 1 0 2 3 1 3 3 1 1 0 2 0 2 3 1 0 0 3 1 2 2 1 2 3 0 3 3 1 2 1 2 0 1 3 2 3 2 0 2 3 0 1 3 1 2 3 1 0 1 0 1 3 3 0 1 0 1 2 1 2 3 2 0 1 3 1 0 3 0 2 1 2 0 2 3 1 3 0 3 1 2 1 2 1 0 3 0 1 0 1 2 1 0 3 0 1 1 0 1 3 2 0 1 3 2 1 2 0 3 0 1 0 1 0 1 3 0 3 1 2 0 2 1 0 3 2 3 2 3 2 0 2 0 1 3 2 3 1 2 3 1 0 1 0 1 0 3 2 0 1 3 1 2 1 0 2 0 1 0 3 3 2 1 0 3 0 3 0 3 1 2 1 2 0 2 0 1 0 2 3 2 0 1 0 1 3 0 1 2 1 2 3 0 3 2 3 1 0 1 3 2 0 2 3 3 0 1 2 3 0 1 2 1 2 3 2 1 0 1 3 1 2 1 2 0 2 0 3 2 3 2 0 1 3 1 3 2 3 1 3 1 2 1 3 0 3 1 2 1 0 3 2 2 1 2 0 3 1 2 0 3 1 0 1 0 2 0 3 1 2 0 3 2 0 1 0 2 3 1 3 1 0 1 0 2 1 1 2 2 3 0 1 3 0 2 0 0 1 0 1 0 2 3 1 3 2 1 2 0 2 1 3 1 2 0 2 0 1 0 2 3 1 3 0 3 1 2 1 3 1 3 0 2 0 2 1 2 0 0 1 2 3 2 1 1 3 2 0 1 3 2 3 2 1 3 1 2 0 1 0 3 0 3 2 3 0 0 2 3 1 3 2 2 0 1 3 3 1 0 1 3 1 0 2 3 2 0 1 3 2 3 2 0 1 0 3 1 0 1 3 1 0 3 0 2 0 0 1 0 3 2 1 2 3 3 1 1 2 0 2 1 2 1 3 0 3 0 3 0 1 0 1 2 0 1 3 1 3 1 0 2 3 1 0 3 2 1 0 3 0 1 2 1 0 3 2 1 0 1 2 1 3 1 0 2 0 1 0 2 3 2 1 2 3 2 3 2 1 0 1 2 3 0 1 0 3 1 3 1 3 0 2 0 1 3 2 0 2 3 2 1 2 2 3 1 3 1 0 1 3 1 3 1 0 1 2 1 0 1 0 1 0 0 2 0 2 3 1 2 0 3 0 2 3 1 0 1 3 2 3 2 3 3 0 1 0 1 3 2 3 2 3 2 3 0 1 0 1 3 2 1 2 2 0 2 0 3 0 3 1 2 0 0 1 3 2 3 0 2 3 0 3 0 1 2 3 2 3 1 3 1 3 2 3 0 2 0 1 3 2 0 2 3 2 0 1 3 1 3 0 3 0 2 0 3 0 1 0 1 0 3 0 0 3 1 2 1 2 0 2 2 3 0 1 0 1 0 2 3 2 2 1 0 1 0 1 0 3 2 3 1 0 0 2 0 2 3 1 3 1 3 2 2 1 2 1 3 0 3 1 3 0 3 0 1 2 3 0 2 3 2 1 3 1 3 2 3 1 0 2 0 1 0 1 0 1 3 2 1 2 1 0 2 0 3 1 3 0 2 1 3 2 0 1 0 3 0 1 2 1 0 1 1 0 2 0 2 3 1 3 1 0 2 1 2 3 0 3 0 3 0 2 0 3 1 0 3 2 1 2 3 2 3 2 3 1 3 2 3 2 3 2 0 2 1 0 2 0 0 3 2 1 3 0 3 2 1 2 1 3 1 3 0 2 1 3 1 0 1 3 2 1 2 0 3 1 2 0 2 1 1 3 0 2 1 3 1 2 0 2 3 2 3 1 0 1 3 1 2 1 1 0 2 0 1 3 2 3 0 3 0 3 0 3 2 0 2 1 2 0 0 2 0 1 3 1 3 2 3 2 3 1 3 0 1 3 2 0 2 0 0 1 3 2 3 1 3 2 0 2 2 1 0 3 0 3 1 3 0 3 1 2 0 2 3 0 2 1 3 1 2 0 1 0 3 0 0 2 1 3 1 3 1 3 1 0 1 3 2 0 2 1 0 2 0 2 3 1 1 3 1 2 0 2 2 1 3 1 2 0 3 0 1 0 3 2 3 2 3 1 0 1 0 2 0 1 0 3 2 1 1 3 2 3 1 0 1 3 3 2 0 2 2 0 3 0 3 0 2 0 3 1 2 1 3 1 1 3 2 3 3 2 1 2 2 1 3 1 1 2 3 2 1 2 1 0 2 1 0 3 1 2 1 3 2 0 3 0 3 0 1 0 2 1 0 3 2 1 1 2 0 3 1 3 0 3 1 3 0 2 3 2 0 1 3 0 1 2 3 2 0 3 0 1 1 3 2 3 1 0 2 1 3 0 2 1 2 1 1 0 3 0 3 0 1 3 1 2 0 2 2 3 0 1 0 1 3 2 2 3 2 0 3 0 1 0 3 0 1 3 1 2 1 3 0 1 0 2 3 2 2 1 0 1 0 3 2 1 3 1 2 3
0.46/0.54 d ASSIGNMENTS 56