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