0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.17/0.21	c Seed is 2117416453
0.17/0.21	c Constructing HOME/instance-2078821-1247716539.xml  with 65002 constraints
1.07/1.17	c Solving 9257 backtracks 13 restarts
1233.62/1238.74	s SATISFIABLE
1233.62/1238.74	c V0=62, V1=62, V2=0, V3=0, V4=42, V5=0, V6=27, V7=77, V8=79, V9=0, V10=83, V11=33, V12=0, V13=85, V14=58, V15=37, V16=0, V17=42, V18=0, V19=66, V20=24, V21=42, V22=30, V23=60, V24=42, V25=37, V26=47, V27=62, V28=19, V29=66, V30=49, V31=53, V32=19, V33=77, V34=42, V35=53, V36=24, V37=60, V38=79, V39=33, V40=47, V41=60, V42=0, V43=112, V44=1, V45=70, V46=0, V47=70, V48=0, V49=70, V50=0, V51=70, V52=0, V53=70, V54=1, V55=43, V56=0, V57=43, V58=1, V59=19, V60=1, V61=0, V62=0, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=0, V70=0, V71=0, V72=0, V73=0, V74=0, V75=0, V76=0, V77=0, V78=0, V79=0, V80=0, V81=0, V82=0, V83=0, V84=112, V85=1, V86=70, V87=0, V88=70, V89=0, V90=70, V91=0, V92=70, V93=0, V94=70, V95=1, V96=43, V97=0, V98=43, V99=1, V100=19, V101=1, V102=0, V103=0, V104=0, V105=0, V106=0, V107=0, V108=0, V109=0, V110=0, V111=0, V112=0, V113=0, V114=0, V115=0, V116=0, V117=0, V118=0, V119=0, V120=0, V121=0, V122=0, V123=0, V124=0, V125=112, V126=1, V127=70, V128=0, V129=70, V130=0, V131=70, V132=0, V133=70, V134=0, V135=70, V136=1, V137=43, V138=0, V139=43, V140=1, V141=19, V142=1, V143=0, V144=0, V145=0, V146=0, V147=0, V148=0, V149=0, V150=0, V151=0, V152=0, V153=0, V154=0, V155=0, V156=0, V157=0, V158=0, V159=0, V160=0, V161=0, V162=0, V163=0, V164=0, V165=0, V166=112, V167=1, V168=70, V169=0, V170=70, V171=0, V172=70, V173=0, V174=70, V175=0, V176=70, V177=1, V178=43, V179=0, V180=43, V181=1, V182=19, V183=1, V184=0, V185=0, V186=0, V187=0, V188=0, V189=0, V190=0, V191=0, V192=0, V193=0, V194=0, V195=0, V196=0, V197=0, V198=0, V199=0, V200=0, V201=0, V202=0, V203=0, V204=0, V205=0, V206=0, V207=112, V208=1, V209=70, V210=0, V211=70, V212=0, V213=70, V214=0, V215=70, V216=0, V217=70, V218=1, V219=43, V220=0, V221=43, V222=1, V223=19, V224=1, V225=0, V226=0, V227=0, V228=0, V229=0, V230=0, V231=0, V232=0, V233=0, V234=0, V235=0, V236=0, V237=0, V238=0, V239=0, V240=0, V241=0, V242=0, V243=0, V244=0, V245=0, V246=0, V247=0, V248=112, V249=1, V250=70, V251=0, V252=70, V253=0, V254=70, V255=0, V256=70, V257=0, V258=70, V259=1, V260=43, V261=0, V262=43, V263=1, V264=19, V265=1, V266=0, V267=0, V268=0, V269=0, V270=0, V271=0, V272=0, V273=0, V274=0, V275=0, V276=0, V277=0, V278=0, V279=0, V280=0, V281=0, V282=0, V283=0, V284=0, V285=0, V286=0, V287=0, V288=0, V289=112, V290=1, V291=70, V292=0, V293=70, V294=0, V295=70, V296=0, V297=70, V298=0, V299=70, V300=1, V301=43, V302=0, V303=43, V304=1, V305=19, V306=1, V307=0, V308=0, V309=0, V310=0, V311=0, V312=0, V313=0, V314=0, V315=0, V316=0, V317=0, V318=0, V319=0, V320=0, V321=0, V322=0, V323=0, V324=0, V325=0, V326=0, V327=0, V328=0, V329=0, V330=112, V331=1, V332=70, V333=0, V334=70, V335=0, V336=70, V337=0, V338=70, V339=0, V340=70, V341=1, V342=43, V343=0, V344=43, V345=1, V346=19, V347=1, V348=0, V349=0, V350=0, V351=0, V352=0, V353=0, V354=0, V355=0, V356=0, V357=0, V358=0, V359=0, V360=0, V361=0, V362=0, V363=0, V364=0, V365=0, V366=0, V367=0, V368=0, V369=0, V370=0, V371=112, V372=1, V373=70, V374=0, V375=70, V376=0, V377=70, V378=0, V379=70, V380=0, V381=70, V382=1, V383=43, V384=0, V385=43, V386=1, V387=19, V388=1, V389=0, V390=0, V391=0, V392=0, V393=0, V394=0, V395=0, V396=0, V397=0, V398=0, V399=0, V400=0, V401=0, V402=0, V403=0, V404=0, V405=0, V406=0, V407=0, V408=0, V409=0, V410=0, V411=0, V412=112, V413=1, V414=70, V415=0, V416=70, V417=0, V418=70, V419=0, V420=70, V421=0, V422=70, V423=1, V424=43, V425=0, V426=43, V427=1, V428=19, V429=1, V430=0, V431=0, V432=0, V433=0, V434=0, V435=0, V436=0, V437=0, V438=0, V439=0, V440=0, V441=0, V442=0, V443=0, V444=0, V445=0, V446=0, V447=0, V448=0, V449=0, V450=0, V451=0, V452=0, V453=112, V454=1, V455=70, V456=0, V457=70, V458=0, V459=70, V460=0, V461=70, V462=0, V463=70, V464=1, V465=43, V466=0, V467=43, V468=1, V469=19, V470=1, V471=0, V472=0, V473=0, V474=0, V475=0, V476=0, V477=0, V478=0, V479=0, V480=0, V481=0, V482=0, V483=0, V484=0, V485=0, V486=0, V487=0, V488=0, V489=0, V490=0, V491=0, V492=0, V493=0, V494=112, V495=1, V496=70, V497=0, V498=70, V499=0, V500=70, V501=0, V502=70, V503=0, V504=70, V505=1, V506=43, V507=0, V508=43, V509=1, V510=19, V511=1, V512=0, V513=0, V514=0, V515=0, V516=0, V517=0, V518=0, V519=0, V520=0, V521=0, V522=0, V523=0, V524=0, V525=0, V526=0, V527=0, V528=0, V529=0, V530=0, V531=0, V532=0, V533=0, V534=0, V535=112, V536=1, V537=70, V538=0, V539=70, V540=0, V541=70, V542=0, V543=70, V544=0, V545=70, V546=1, V547=43, V548=0, V549=43, V550=1, V551=19, V552=1, V553=0, V554=0, V555=0, V556=0, V557=0, V558=0, V559=0, V560=0, V561=0, V562=0, V563=0, V564=0, V565=0, V566=0, V567=0, V568=0, V569=0, V570=0, V571=0, V572=0, V573=0, V574=0, V575=0, V576=112, V577=1, V578=70, V579=0, V580=70, V581=0, V582=70, V583=0, V584=70, V585=0, V586=70, V587=1, V588=43, V589=0, V590=43, V591=1, V592=19, V593=1, V594=0, V595=0, V596=0, V597=0, V598=0, V599=0, V600=0, V601=0, V602=0, V603=0, V604=0, V605=0, V606=0, V607=0, V608=0, V609=0, V610=0, V611=0, V612=0, V613=0, V614=0, V615=0, V616=0, V617=112, V618=1, V619=70, V620=0, V621=70, V622=0, V623=70, V624=0, V625=70, V626=0, V627=70, V628=1, V629=43, V630=0, V631=43, V632=1, V633=19, V634=1, V635=0, V636=0, V637=0, V638=0, V639=0, V640=0, V641=0, V642=0, V643=0, V644=0, V645=0, V646=0, V647=0, V648=0, V649=0, V650=0, V651=0, V652=0, V653=0, V654=0, V655=0, V656=0, V657=0, V658=112, V659=1, V660=70, V661=0, V662=70, V663=0, V664=70, V665=0, V666=70, V667=0, V668=70, V669=1, V670=43, V671=0, V672=43, V673=1, V674=19, V675=1, V676=0, V677=0, V678=0, V679=0, V680=0, V681=0, V682=0, V683=0, V684=0, V685=0, V686=0, V687=0, V688=0, V689=0, V690=0, V691=0, V692=0, V693=0, V694=0, V695=0, V696=0, V697=0, V698=0, V699=112, V700=1, V701=70, V702=0, V703=70, V704=0, V705=70, V706=0, V707=70, V708=0, V709=70, V710=1, V711=43, V712=0, V713=43, V714=1, V715=19, V716=1, V717=0, V718=0, V719=0, V720=0, V721=0, V722=0, V723=0, V724=0, V725=0, V726=0, V727=0, V728=0, V729=0, V730=0, V731=0, V732=0, V733=0, V734=0, V735=0, V736=0, V737=0, V738=0, V739=0, V740=112, V741=1, V742=70, V743=0, V744=70, V745=0, V746=70, V747=0, V748=70, V749=0, V750=70, V751=1, V752=43, V753=0, V754=43, V755=1, V756=19, V757=1, V758=0, V759=0, V760=0, V761=0, V762=0, V763=0, V764=0, V765=0, V766=0, V767=0, V768=0, V769=0, V770=0, V771=0, V772=0, V773=0, V774=0, V775=0, V776=0, V777=0, V778=0, V779=0, V780=0, V781=112, V782=1, V783=70, V784=0, V785=70, V786=0, V787=70, V788=0, V789=70, V790=0, V791=70, V792=1, V793=43, V794=0, V795=43, V796=1, V797=19, V798=1, V799=0, V800=0, V801=0, V802=0, V803=0, V804=0, V805=0, V806=0, V807=0, V808=0, V809=0, V810=0, V811=0, V812=0, V813=0, V814=0, V815=0, V816=0, V817=0, V818=0, V819=0, V820=0, V821=0, V822=112, V823=1, V824=70, V825=0, V826=70, V827=0, V828=70, V829=0, V830=70, V831=0, V832=70, V833=1, V834=43, V835=0, V836=43, V837=1, V838=19, V839=0, V840=19, V841=0, V842=19, V843=0, V844=19, V845=0, V846=19, V847=0, V848=19, V849=1, V850=8, V851=0, V852=8, V853=1, V854=0, V855=0, V856=0, V857=0, V858=0, V859=0, V860=0, V861=0, V862=0, V863=112, V864=1, V865=70, V866=0, V867=70, V868=0, V869=70, V870=0, V871=70, V872=0, V873=70, V874=1, V875=43, V876=0, V877=43, V878=1, V879=19, V880=0, V881=19, V882=0, V883=19, V884=0, V885=19, V886=0, V887=19, V888=0, V889=19, V890=1, V891=8, V892=0, V893=8, V894=1, V895=0, V896=0, V897=0, V898=0, V899=0, V900=0, V901=0, V902=0, V903=0, V904=112, V905=1, V906=70, V907=0, V908=70, V909=0, V910=70, V911=0, V912=70, V913=0, V914=70, V915=1, V916=43, V917=0, V918=43, V919=1, V920=19, V921=0, V922=19, V923=0, V924=19, V925=0, V926=19, V927=0, V928=19, V929=0, V930=19, V931=1, V932=8, V933=0, V934=8, V935=1, V936=0, V937=0, V938=0, V939=0, V940=0, V941=0, V942=0, V943=0, V944=0, V945=112, V946=1, V947=70, V948=0, V949=70, V950=0, V951=70, V952=0, V953=70, V954=0, V955=70, V956=1, V957=43, V958=0, V959=43, V960=1, V961=19, V962=0, V963=19, V964=0, V965=19, V966=0, V967=19, V968=0, V969=19, V970=0, V971=19, V972=1, V973=8, V974=0, V975=8, V976=1, V977=0, V978=0, V979=0, V980=0, V981=0, V982=0, V983=0, V984=0, V985=0, V986=112, V987=1, V988=70, V989=0, V990=70, V991=0, V992=70, V993=0, V994=70, V995=0, V996=70, V997=1, V998=43, V999=0, V1000=43, V1001=1, V1002=19, V1003=0, V1004=19, V1005=0, V1006=19, V1007=0, V1008=19, V1009=0, V1010=19, V1011=0, V1012=19, V1013=1, V1014=8, V1015=0, V1016=8, V1017=1, V1018=0, V1019=0, V1020=0, V1021=0, V1022=0, V1023=0, V1024=0, V1025=0, V1026=0, V1027=112, V1028=1, V1029=70, V1030=0, V1031=70, V1032=0, V1033=70, V1034=0, V1035=70, V1036=0, V1037=70, V1038=1, V1039=43, V1040=0, V1041=43, V1042=0, V1043=43, V1044=0, V1045=43, V1046=1, V1047=25, V1048=0, V1049=25, V1050=0, V1051=25, V1052=0, V1053=25, V1054=1, V1055=14, V1056=0, V1057=14, V1058=1, V1059=6, V1060=0, V1061=6, V1062=1, V1063=0, V1064=0, V1065=0, V1066=0, V1067=0, V1068=112, V1069=1, V1070=70, V1071=0, V1072=70, V1073=0, V1074=70, V1075=0, V1076=70, V1077=0, V1078=70, V1079=1, V1080=43, V1081=0, V1082=43, V1083=0, V1084=43, V1085=0, V1086=43, V1087=1, V1088=25, V1089=0, V1090=25, V1091=0, V1092=25, V1093=0, V1094=25, V1095=1, V1096=14, V1097=0, V1098=14, V1099=1, V1100=6, V1101=0, V1102=6, V1103=1, V1104=0, V1105=0, V1106=0, V1107=0, V1108=0, V1109=112, V1110=1, V1111=70, V1112=0, V1113=70, V1114=0, V1115=70, V1116=0, V1117=70, V1118=0, V1119=70, V1120=1, V1121=43, V1122=0, V1123=43, V1124=0, V1125=43, V1126=0, V1127=43, V1128=1, V1129=25, V1130=0, V1131=25, V1132=0, V1133=25, V1134=0, V1135=25, V1136=1, V1137=14, V1138=0, V1139=14, V1140=1, V1141=6, V1142=0, V1143=6, V1144=1, V1145=0, V1146=0, V1147=0, V1148=0, V1149=0, V1150=112, V1151=1, V1152=70, V1153=0, V1154=70, V1155=1, V1156=35, V1157=0, V1158=35, V1159=0, V1160=35, V1161=0, V1162=35, V1163=0, V1164=35, V1165=0, V1166=35, V1167=0, V1168=35, V1169=1, V1170=17, V1171=0, V1172=17, V1173=0, V1174=17, V1175=0, V1176=17, V1177=1, V1178=6, V1179=0, V1180=6, V1181=0, V1182=6, V1183=0, V1184=6, V1185=1, V1186=0, V1187=0, V1188=0, V1189=0, V1190=0, V1191=112, V1192=1, V1193=70, V1194=0, V1195=70, V1196=1, V1197=35, V1198=0, V1199=35, V1200=0, V1201=35, V1202=0, V1203=35, V1204=0, V1205=35, V1206=0, V1207=35, V1208=0, V1209=35, V1210=1, V1211=17, V1212=0, V1213=17, V1214=0, V1215=17, V1216=0, V1217=17, V1218=1, V1219=6, V1220=0, V1221=6, V1222=0, V1223=6, V1224=0, V1225=6, V1226=1, V1227=0, V1228=0, V1229=0, V1230=0, V1231=0, V1232=112, V1233=1, V1234=70, V1235=0, V1236=70, V1237=1, V1238=35, V1239=0, V1240=35, V1241=0, V1242=35, V1243=0, V1244=35, V1245=0, V1246=35, V1247=0, V1248=35, V1249=0, V1250=35, V1251=1, V1252=17, V1253=0, V1254=17, V1255=0, V1256=17, V1257=0, V1258=17, V1259=1, V1260=6, V1261=0, V1262=6, V1263=0, V1264=6, V1265=0, V1266=6, V1267=1, V1268=0, V1269=0, V1270=0, V1271=0, V1272=0, V1273=112, V1274=1, V1275=70, V1276=0, V1277=70, V1278=1, V1279=35, V1280=0, V1281=35, V1282=0, V1283=35, V1284=0, V1285=35, V1286=0, V1287=35, V1288=0, V1289=35, V1290=0, V1291=35, V1292=1, V1293=17, V1294=1, V1295=0, V1296=0, V1297=0, V1298=0, V1299=0, V1300=0, V1301=0, V1302=0, V1303=0, V1304=0, V1305=0, V1306=0, V1307=0, V1308=0, V1309=0, V1310=0, V1311=0, V1312=0, V1313=0, V1314=112, V1315=1, V1316=70, V1317=0, V1318=70, V1319=1, V1320=35, V1321=0, V1322=35, V1323=0, V1324=35, V1325=0, V1326=35, V1327=0, V1328=35, V1329=0, V1330=35, V1331=0, V1332=35, V1333=1, V1334=17, V1335=1, V1336=0, V1337=0, V1338=0, V1339=0, V1340=0, V1341=0, V1342=0, V1343=0, V1344=0, V1345=0, V1346=0, V1347=0, V1348=0, V1349=0, V1350=0, V1351=0, V1352=0, V1353=0, V1354=0, V1355=112, V1356=1, V1357=70, V1358=0, V1359=70, V1360=1, V1361=35, V1362=0, V1363=35, V1364=0, V1365=35, V1366=0, V1367=35, V1368=0, V1369=35, V1370=0, V1371=35, V1372=0, V1373=35, V1374=1, V1375=17, V1376=1, V1377=0, V1378=0, V1379=0, V1380=0, V1381=0, V1382=0, V1383=0, V1384=0, V1385=0, V1386=0, V1387=0, V1388=0, V1389=0, V1390=0, V1391=0, V1392=0, V1393=0, V1394=0, V1395=0, V1396=112, V1397=1, V1398=70, V1399=0, V1400=70, V1401=1, V1402=35, V1403=0, V1404=35, V1405=0, V1406=35, V1407=0, V1408=35, V1409=0, V1410=35, V1411=0, V1412=35, V1413=0, V1414=35, V1415=1, V1416=17, V1417=1, V1418=0, V1419=0, V1420=0, V1421=0, V1422=0, V1423=0, V1424=0, V1425=0, V1426=0, V1427=0, V1428=0, V1429=0, V1430=0, V1431=0, V1432=0, V1433=0, V1434=0, V1435=0, V1436=0, V1437=112, V1438=1, V1439=70, V1440=0, V1441=70, V1442=1, V1443=35, V1444=0, V1445=35, V1446=0, V1447=35, V1448=0, V1449=35, V1450=0, V1451=35, V1452=0, V1453=35, V1454=0, V1455=35, V1456=1, V1457=17, V1458=1, V1459=0, V1460=0, V1461=0, V1462=0, V1463=0, V1464=0, V1465=0, V1466=0, V1467=0, V1468=0, V1469=0, V1470=0, V1471=0, V1472=0, V1473=0, V1474=0, V1475=0, V1476=0, V1477=0, V1478=112, V1479=1, V1480=70, V1481=0, V1482=70, V1483=1, V1484=35, V1485=0, V1486=35, V1487=0, V1488=35, V1489=0, V1490=35, V1491=0, V1492=35, V1493=0, V1494=35, V1495=0, V1496=35, V1497=1, V1498=17, V1499=1, V1500=0, V1501=0, V1502=0, V1503=0, V1504=0, V1505=0, V1506=0, V1507=0, V1508=0, V1509=0, V1510=0, V1511=0, V1512=0, V1513=0, V1514=0, V1515=0, V1516=0, V1517=0, V1518=0, V1519=112, V1520=1, V1521=70, V1522=0, V1523=70, V1524=1, V1525=35, V1526=0, V1527=35, V1528=0, V1529=35, V1530=0, V1531=35, V1532=0, V1533=35, V1534=0, V1535=35, V1536=0, V1537=35, V1538=1, V1539=17, V1540=1, V1541=0, V1542=0, V1543=0, V1544=0, V1545=0, V1546=0, V1547=0, V1548=0, V1549=0, V1550=0, V1551=0, V1552=0, V1553=0, V1554=0, V1555=0, V1556=0, V1557=0, V1558=0, V1559=0, V1560=112, V1561=1, V1562=70, V1563=0, V1564=70, V1565=1, V1566=35, V1567=0, V1568=35, V1569=0, V1570=35, V1571=0, V1572=35, V1573=0, V1574=35, V1575=0, V1576=35, V1577=0, V1578=35, V1579=1, V1580=17, V1581=1, V1582=0, V1583=0, V1584=0, V1585=0, V1586=0, V1587=0, V1588=0, V1589=0, V1590=0, V1591=0, V1592=0, V1593=0, V1594=0, V1595=0, V1596=0, V1597=0, V1598=0, V1599=0, V1600=0, V1601=112, V1602=1, V1603=70, V1604=0, V1605=70, V1606=1, V1607=35, V1608=0, V1609=35, V1610=0, V1611=35, V1612=0, V1613=35, V1614=0, V1615=35, V1616=0, V1617=35, V1618=0, V1619=35, V1620=1, V1621=17, V1622=1, V1623=0, V1624=0, V1625=0, V1626=0, V1627=0, V1628=0, V1629=0, V1630=0, V1631=0, V1632=0, V1633=0, V1634=0, V1635=0, V1636=0, V1637=0, V1638=0, V1639=0, V1640=0, V1641=0, V1642=112, V1643=1, V1644=70, V1645=0, V1646=70, V1647=1, V1648=35, V1649=0, V1650=35, V1651=0, V1652=35, V1653=0, V1654=35, V1655=0, V1656=35, V1657=0, V1658=35, V1659=0, V1660=35, V1661=1, V1662=17, V1663=1, V1664=0, V1665=0, V1666=0, V1667=0, V1668=0, V1669=0, V1670=0, V1671=0, V1672=0, V1673=0, V1674=0, V1675=0, V1676=0, V1677=0, V1678=0, V1679=0, V1680=0, V1681=0, V1682=0, V1683=112, V1684=1, V1685=70, V1686=0, V1687=70, V1688=1, V1689=35, V1690=0, V1691=35, V1692=0, V1693=35, V1694=0, V1695=35, V1696=0, V1697=35, V1698=0, V1699=35, V1700=0, V1701=35, V1702=1, V1703=17, V1704=1, V1705=0, V1706=0, V1707=0, V1708=0, V1709=0, V1710=0, V1711=0, V1712=0, V1713=0, V1714=0, V1715=0, V1716=0, V1717=0, V1718=0, V1719=0, V1720=0, V1721=0, V1722=0, V1723=0, V1724=112, V1725=1, V1726=70, V1727=0, V1728=70, V1729=1, V1730=35, V1731=0, V1732=35, V1733=0, V1734=35, V1735=0, V1736=35, V1737=0, V1738=35, V1739=0, V1740=35, V1741=0, V1742=35, V1743=1, V1744=17, V1745=1, V1746=0, V1747=0, V1748=0, V1749=0, V1750=0, V1751=0, V1752=0, V1753=0, V1754=0, V1755=0, V1756=0, V1757=0, V1758=0, V1759=0, V1760=0, V1761=0, V1762=0, V1763=0, V1764=0, V1765=112, V1766=0, V1767=112, V1768=1, V1769=75, V1770=1, V1771=40, V1772=0, V1773=40, V1774=0, V1775=40, V1776=0, V1777=40, V1778=0, V1779=40, V1780=0, V1781=40, V1782=0, V1783=40, V1784=0, V1785=40, V1786=1, V1787=23, V1788=1, V1789=7, V1790=0, V1791=7, V1792=0, V1793=7, V1794=0, V1795=7, V1796=0, V1797=7, V1798=1, V1799=0, V1800=0, V1801=0, V1802=0, V1803=0, V1804=0, V1805=0, V1806=112, V1807=0, V1808=112, V1809=1, V1810=75, V1811=1, V1812=40, V1813=0, V1814=40, V1815=0, V1816=40, V1817=0, V1818=40, V1819=0, V1820=40, V1821=0, V1822=40, V1823=0, V1824=40, V1825=0, V1826=40, V1827=1, V1828=23, V1829=1, V1830=7, V1831=0, V1832=7, V1833=0, V1834=7, V1835=0, V1836=7, V1837=0, V1838=7, V1839=1, V1840=0, V1841=0, V1842=0, V1843=0, V1844=0, V1845=0, V1846=0, V1847=112, V1848=0, V1849=112, V1850=1, V1851=75, V1852=1, V1853=40, V1854=0, V1855=40, V1856=0, V1857=40, V1858=0, V1859=40, V1860=0, V1861=40, V1862=0, V1863=40, V1864=0, V1865=40, V1866=0, V1867=40, V1868=1, V1869=23, V1870=1, V1871=7, V1872=0, V1873=7, V1874=0, V1875=7, V1876=0, V1877=7, V1878=0, V1879=7, V1880=1, V1881=0, V1882=0, V1883=0, V1884=0, V1885=0, V1886=0, V1887=0, V1888=112, V1889=0, V1890=112, V1891=1, V1892=75, V1893=1, V1894=40, V1895=0, V1896=40, V1897=0, V1898=40, V1899=0, V1900=40, V1901=0, V1902=40, V1903=0, V1904=40, V1905=0, V1906=40, V1907=0, V1908=40, V1909=1, V1910=23, V1911=1, V1912=7, V1913=0, V1914=7, V1915=0, V1916=7, V1917=0, V1918=7, V1919=0, V1920=7, V1921=1, V1922=0, V1923=0, V1924=0, V1925=0, V1926=0, V1927=0, V1928=0, V1929=112, V1930=0, V1931=112, V1932=1, V1933=75, V1934=1, V1935=40, V1936=0, V1937=40, V1938=0, V1939=40, V1940=0, V1941=40, V1942=0, V1943=40, V1944=0, V1945=40, V1946=0, V1947=40, V1948=0, V1949=40, V1950=1, V1951=23, V1952=1, V1953=7, V1954=0, V1955=7, V1956=0, V1957=7, V1958=0, V1959=7, V1960=0, V1961=7, V1962=1, V1963=0, V1964=0, V1965=0, V1966=0, V1967=0, V1968=0, V1969=0, V1970=112, V1971=0, V1972=112, V1973=1, V1974=75, V1975=1, V1976=40, V1977=0, V1978=40, V1979=0, V1980=40, V1981=0, V1982=40, V1983=0, V1984=40, V1985=0, V1986=40, V1987=0, V1988=40, V1989=0, V1990=40, V1991=0, V1992=40, V1993=1, V1994=24, V1995=1, V1996=9, V1997=0, V1998=9, V1999=0, V2000=9, V2001=0, V2002=9, V2003=1, V2004=2, V2005=0, V2006=2, V2007=0, V2008=2, V2009=1, V2010=0, V2011=112, V2012=0, V2013=112, V2014=1, V2015=75, V2016=1, V2017=40, V2018=0, V2019=40, V2020=0, V2021=40, V2022=0, V2023=40, V2024=0, V2025=40, V2026=0, V2027=40, V2028=0, V2029=40, V2030=0, V2031=40, V2032=0, V2033=40, V2034=1, V2035=24, V2036=1, V2037=9, V2038=0, V2039=9, V2040=0, V2041=9, V2042=0, V2043=9, V2044=1, V2045=2, V2046=0, V2047=2, V2048=0, V2049=2, V2050=1, V2051=0, V2052=112, V2053=0, V2054=112, V2055=1, V2056=75, V2057=1, V2058=40, V2059=0, V2060=40, V2061=0, V2062=40, V2063=0, V2064=40, V2065=0, V2066=40, V2067=0, V2068=40, V2069=0, V2070=40, V2071=0, V2072=40, V2073=0, V2074=40, V2075=1, V2076=24, V2077=1, V2078=9, V2079=0, V2080=9, V2081=1, V2082=0, V2083=0, V2084=0, V2085=0, V2086=0, V2087=0, V2088=0, V2089=0, V2090=0, V2091=0, V2092=0, V2093=112, V2094=0, V2095=112, V2096=1, V2097=75, V2098=1, V2099=40, V2100=0, V2101=40, V2102=0, V2103=40, V2104=0, V2105=40, V2106=0, V2107=40, V2108=0, V2109=40, V2110=0, V2111=40, V2112=0, V2113=40, V2114=0, V2115=40, V2116=1, V2117=24, V2118=1, V2119=9, V2120=0, V2121=9, V2122=1, V2123=0, V2124=0, V2125=0, V2126=0, V2127=0, V2128=0, V2129=0, V2130=0, V2131=0, V2132=0, V2133=0, V2134=112, V2135=0, V2136=112, V2137=1, V2138=75, V2139=1, V2140=40, V2141=0, V2142=40, V2143=0, V2144=40, V2145=0, V2146=40, V2147=0, V2148=40, V2149=0, V2150=40, V2151=0, V2152=40, V2153=0, V2154=40, V2155=0, V2156=40, V2157=1, V2158=24, V2159=1, V2160=9, V2161=0, V2162=9, V2163=1, V2164=0, V2165=0, V2166=0, V2167=0, V2168=0, V2169=0, V2170=0, V2171=0, V2172=0, V2173=0, V2174=0, V2175=112, V2176=0, V2177=112, V2178=1, V2179=75, V2180=1, V2181=40, V2182=0, V2183=40, V2184=0, V2185=40, V2186=0, V2187=40, V2188=0, V2189=40, V2190=0, V2191=40, V2192=0, V2193=40, V2194=0, V2195=40, V2196=0, V2197=40, V2198=1, V2199=24, V2200=1, V2201=9, V2202=0, V2203=9, V2204=1, V2205=0, V2206=0, V2207=0, V2208=0, V2209=0, V2210=0, V2211=0, V2212=0, V2213=0, V2214=0, V2215=0, V2216=112, V2217=0, V2218=112, V2219=1, V2220=75, V2221=1, V2222=40, V2223=0, V2224=40, V2225=0, V2226=40, V2227=0, V2228=40, V2229=0, V2230=40, V2231=0, V2232=40, V2233=0, V2234=40, V2235=0, V2236=40, V2237=0, V2238=40, V2239=1, V2240=24, V2241=1, V2242=9, V2243=0, V2244=9, V2245=1, V2246=0, V2247=0, V2248=0, V2249=0, V2250=0, V2251=0, V2252=0, V2253=0, V2254=0, V2255=0, V2256=0, V2257=112, V2258=0, V2259=112, V2260=1, V2261=75, V2262=1, V2263=40, V2264=0, V2265=40, V2266=0, V2267=40, V2268=0, V2269=40, V2270=0, V2271=40, V2272=0, V2273=40, V2274=0, V2275=40, V2276=0, V2277=40, V2278=0, V2279=40, V2280=1, V2281=24, V2282=1, V2283=9, V2284=0, V2285=9, V2286=1, V2287=0, V2288=0, V2289=0, V2290=0, V2291=0, V2292=0, V2293=0, V2294=0, V2295=0, V2296=0, V2297=0, V2298=112, V2299=0, V2300=112, V2301=1, V2302=75, V2303=1, V2304=40, V2305=0, V2306=40, V2307=0, V2308=40, V2309=0, V2310=40, V2311=0, V2312=40, V2313=0, V2314=40, V2315=0, V2316=40, V2317=0, V2318=40, V2319=0, V2320=40, V2321=1, V2322=24, V2323=1, V2324=9, V2325=0, V2326=9, V2327=1, V2328=0, V2329=0, V2330=0, V2331=0, V2332=0, V2333=0, V2334=0, V2335=0, V2336=0, V2337=0, V2338=0, V2339=112, V2340=0, V2341=112, V2342=1, V2343=75, V2344=1, V2345=40, V2346=0, V2347=40, V2348=0, V2349=40, V2350=0, V2351=40, V2352=0, V2353=40, V2354=0, V2355=40, V2356=0, V2357=40, V2358=0, V2359=40, V2360=0, V2361=40, V2362=1, V2363=24, V2364=1, V2365=9, V2366=0, V2367=9, V2368=1, V2369=0, V2370=0, V2371=0, V2372=0, V2373=0, V2374=0, V2375=0, V2376=0, V2377=0, V2378=0, V2379=0, V2380=112, V2381=0, V2382=112, V2383=1, V2384=75, V2385=1, V2386=40, V2387=0, V2388=40, V2389=0, V2390=40, V2391=0, V2392=40, V2393=0, V2394=40, V2395=0, V2396=40, V2397=0, V2398=40, V2399=0, V2400=40, V2401=0, V2402=40, V2403=1, V2404=24, V2405=1, V2406=9, V2407=0, V2408=9, V2409=1, V2410=0, V2411=0, V2412=0, V2413=0, V2414=0, V2415=0, V2416=0, V2417=0, V2418=0, V2419=0, V2420=0, V2421=112, V2422=0, V2423=112, V2424=1, V2425=75, V2426=1, V2427=40, V2428=0, V2429=40, V2430=0, V2431=40, V2432=0, V2433=40, V2434=1, V2435=15, V2436=0, V2437=15, V2438=0, V2439=15, V2440=0, V2441=15, V2442=0, V2443=15, V2444=0, V2445=15, V2446=1, V2447=0, V2448=0, V2449=0, V2450=0, V2451=0, V2452=0, V2453=0, V2454=0, V2455=0, V2456=0, V2457=0, V2458=0, V2459=0, V2460=0, V2461=0, V2462=112, V2463=0, V2464=112, V2465=1, V2466=75, V2467=1, V2468=40, V2469=0, V2470=40, V2471=0, V2472=40, V2473=0, V2474=40, V2475=1, V2476=15, V2477=0, V2478=15, V2479=0, V2480=15, V2481=0, V2482=15, V2483=0, V2484=15, V2485=0, V2486=15, V2487=1, V2488=0, V2489=0, V2490=0, V2491=0, V2492=0, V2493=0, V2494=0, V2495=0, V2496=0, V2497=0, V2498=0, V2499=0, V2500=0, V2501=0, V2502=0, V2503=112, V2504=0, V2505=112, V2506=1, V2507=75, V2508=1, V2509=40, V2510=0, V2511=40, V2512=0, V2513=40, V2514=0, V2515=40, V2516=1, V2517=15, V2518=0, V2519=15, V2520=0, V2521=15, V2522=0, V2523=15, V2524=0, V2525=15, V2526=0, V2527=15, V2528=1, V2529=0, V2530=0, V2531=0, V2532=0, V2533=0, V2534=0, V2535=0, V2536=0, V2537=0, V2538=0, V2539=0, V2540=0, V2541=0, V2542=0, V2543=0, V2544=112, V2545=0, V2546=112, V2547=1, V2548=75, V2549=1, V2550=40, V2551=0, V2552=40, V2553=0, V2554=40, V2555=0, V2556=40, V2557=1, V2558=15, V2559=0, V2560=15, V2561=0, V2562=15, V2563=0, V2564=15, V2565=0, V2566=15, V2567=0, V2568=15, V2569=1, V2570=0, V2571=0, V2572=0, V2573=0, V2574=0, V2575=0, V2576=0, V2577=0, V2578=0, V2579=0, V2580=0, V2581=0, V2582=0, V2583=0, V2584=1, V2585=62, V2586=0, V2587=62, V2588=1, V2589=25, V2590=0, V2591=25, V2592=0, V2593=25, V2594=0, V2595=25, V2596=0, V2597=25, V2598=1, V2599=0, V2600=0, V2601=0, V2602=0, V2603=0, V2604=0, V2605=0, V2606=0, V2607=0, V2608=0, V2609=0, V2610=0, V2611=0, V2612=0, V2613=0, V2614=0, V2615=0, V2616=0, V2617=0, V2618=0, V2619=0, V2620=0, V2621=0, V2622=0, V2623=0, V2624=0, V2625=1, V2626=62, V2627=0, V2628=62, V2629=1, V2630=25, V2631=0, V2632=25, V2633=0, V2634=25, V2635=0, V2636=25, V2637=0, V2638=25, V2639=1, V2640=0, V2641=0, V2642=0, V2643=0, V2644=0, V2645=0, V2646=0, V2647=0, V2648=0, V2649=0, V2650=0, V2651=0, V2652=0, V2653=0, V2654=0, V2655=0, V2656=0, V2657=0, V2658=0, V2659=0, V2660=0, V2661=0, V2662=0, V2663=0, V2664=0, V2665=0, V2666=1, V2667=62, V2668=0, V2669=62, V2670=1, V2671=25, V2672=0, V2673=25, V2674=0, V2675=25, V2676=0, V2677=25, V2678=0, V2679=25, V2680=1, V2681=0, V2682=0, V2683=0, V2684=0, V2685=0, V2686=0, V2687=0, V2688=0, V2689=0, V2690=0, V2691=0, V2692=0, V2693=0, V2694=0, V2695=0, V2696=0, V2697=0, V2698=0, V2699=0, V2700=0, V2701=0, V2702=0, V2703=0, V2704=0, V2705=0, V2706=0, V2707=1, V2708=62, V2709=0, V2710=62, V2711=1, V2712=25, V2713=0, V2714=25, V2715=0, V2716=25, V2717=0, V2718=25, V2719=0, V2720=25, V2721=1, V2722=0, V2723=0, V2724=0, V2725=0, V2726=0, V2727=0, V2728=0, V2729=0, V2730=0, V2731=0, V2732=0, V2733=0, V2734=0, V2735=0, V2736=0, V2737=0, V2738=0, V2739=0, V2740=0, V2741=0, V2742=0, V2743=0, V2744=0, V2745=0, V2746=0, V2747=0, V2748=1, V2749=62, V2750=0, V2751=62, V2752=1, V2753=25, V2754=0, V2755=25, V2756=0, V2757=25, V2758=0, V2759=25, V2760=0, V2761=25, V2762=1, V2763=0, V2764=0, V2765=0, V2766=0, V2767=0, V2768=0, V2769=0, V2770=0, V2771=0, V2772=0, V2773=0, V2774=0, V2775=0, V2776=0, V2777=0, V2778=0, V2779=0, V2780=0, V2781=0, V2782=0, V2783=0, V2784=0, V2785=0, V2786=0, V2787=0, V2788=0, V2789=1, V2790=62, V2791=0, V2792=62, V2793=1, V2794=25, V2795=0, V2796=25, V2797=0, V2798=25, V2799=0, V2800=25, V2801=0, V2802=25, V2803=1, V2804=0, V2805=0, V2806=0, V2807=0, V2808=0, V2809=0, V2810=0, V2811=0, V2812=0, V2813=0, V2814=0, V2815=0, V2816=0, V2817=0, V2818=0, V2819=0, V2820=0, V2821=0, V2822=0, V2823=0, V2824=0, V2825=0, V2826=0, V2827=0, V2828=0, V2829=0, V2830=1, V2831=62, V2832=0, V2833=62, V2834=1, V2835=25, V2836=0, V2837=25, V2838=0, V2839=25, V2840=0, V2841=25, V2842=0, V2843=25, V2844=1, V2845=0, V2846=0, V2847=0, V2848=0, V2849=0, V2850=0, V2851=0, V2852=0, V2853=0, V2854=0, V2855=0, V2856=0, V2857=0, V2858=0, V2859=0, V2860=0, V2861=0, V2862=0, V2863=0, V2864=0, V2865=0, V2866=0, V2867=0, V2868=0, V2869=0, V2870=0, V2871=1, V2872=62, V2873=0, V2874=62, V2875=1, V2876=25, V2877=0, V2878=25, V2879=0, V2880=25, V2881=0, V2882=25, V2883=0, V2884=25, V2885=1, V2886=0, V2887=0, V2888=0, V2889=0, V2890=0, V2891=0, V2892=0, V2893=0, V2894=0, V2895=0, V2896=0, V2897=0, V2898=0, V2899=0, V2900=0, V2901=0, V2902=0, V2903=0, V2904=0, V2905=0, V2906=0, V2907=0, V2908=0, V2909=0, V2910=0, V2911=0, V2912=1, V2913=62, V2914=0, V2915=62, V2916=1, V2917=25, V2918=0, V2919=25, V2920=0, V2921=25, V2922=0, V2923=25, V2924=0, V2925=25, V2926=1, V2927=0, V2928=0, V2929=0, V2930=0, V2931=0, V2932=0, V2933=0, V2934=0, V2935=0, V2936=0, V2937=0, V2938=0, V2939=0, V2940=0, V2941=0, V2942=0, V2943=0, V2944=0, V2945=0, V2946=0, V2947=0, V2948=0, V2949=0, V2950=0, V2951=0, V2952=0, V2953=1, V2954=62, V2955=0, V2956=62, V2957=1, V2958=25, V2959=0, V2960=25, V2961=0, V2962=25, V2963=0, V2964=25, V2965=0, V2966=25, V2967=1, V2968=0, V2969=0, V2970=0, V2971=0, V2972=0, V2973=0, V2974=0, V2975=0, V2976=0, V2977=0, V2978=0, V2979=0, V2980=0, V2981=0, V2982=0, V2983=0, V2984=0, V2985=0, V2986=0, V2987=0, V2988=0, V2989=0, V2990=0, V2991=0, V2992=0, V2993=0, V2994=1, V2995=62, V2996=0, V2997=62, V2998=1, V2999=25, V3000=0, V3001=25, V3002=0, V3003=25, V3004=0, V3005=25, V3006=0, V3007=25, V3008=1, V3009=0, V3010=0, V3011=0, V3012=0, V3013=0, V3014=0, V3015=0, V3016=0, V3017=0, V3018=0, V3019=0, V3020=0, V3021=0, V3022=0, V3023=0, V3024=0, V3025=0, V3026=0, V3027=0, V3028=0, V3029=0, V3030=0, V3031=0, V3032=0, V3033=0, V3034=0, V3035=1, V3036=62, V3037=0, V3038=62, V3039=1, V3040=25, V3041=0, V3042=25, V3043=0, V3044=25, V3045=0, V3046=25, V3047=0, V3048=25, V3049=1, V3050=0, V3051=0, V3052=0, V3053=0, V3054=0, V3055=0, V3056=0, V3057=0, V3058=0, V3059=0, V3060=0, V3061=0, V3062=0, V3063=0, V3064=0, V3065=0, V3066=0, V3067=0, V3068=0, V3069=0, V3070=0, V3071=0, V3072=0, V3073=0, V3074=0, V3075=0, V3076=1, V3077=62, V3078=0, V3079=62, V3080=1, V3081=25, V3082=0, V3083=25, V3084=0, V3085=25, V3086=0, V3087=25, V3088=0, V3089=25, V3090=1, V3091=0, V3092=0, V3093=0, V3094=0, V3095=0, V3096=0, V3097=0, V3098=0, V3099=0, V3100=0, V3101=0, V3102=0, V3103=0, V3104=0, V3105=0, V3106=0, V3107=0, V3108=0, V3109=0, V3110=0, V3111=0, V3112=0, V3113=0, V3114=0, V3115=0, V3116=0, V3117=1, V3118=62, V3119=0, V3120=62, V3121=1, V3122=25, V3123=0, V3124=25, V3125=0, V3126=25, V3127=0, V3128=25, V3129=0, V3130=25, V3131=1, V3132=0, V3133=0, V3134=0, V3135=0, V3136=0, V3137=0, V3138=0, V3139=0, V3140=0, V3141=0, V3142=0, V3143=0, V3144=0, V3145=0, V3146=0, V3147=0, V3148=0, V3149=0, V3150=0, V3151=0, V3152=0, V3153=0, V3154=0, V3155=0, V3156=0, V3157=0, V3158=1, V3159=62, V3160=0, V3161=62, V3162=1, V3163=25, V3164=0, V3165=25, V3166=0, V3167=25, V3168=0, V3169=25, V3170=0, V3171=25, V3172=1, V3173=0, V3174=0, V3175=0, V3176=0, V3177=0, V3178=0, V3179=0, V3180=0, V3181=0, V3182=0, V3183=0, V3184=0, V3185=0, V3186=0, V3187=0, V3188=0, V3189=0, V3190=0, V3191=0, V3192=0, V3193=0, V3194=0, V3195=0, V3196=0, V3197=0, V3198=0, V3199=1, V3200=62, V3201=0, V3202=62, V3203=1, V3204=25, V3205=0, V3206=25, V3207=0, V3208=25, V3209=0, V3210=25, V3211=0, V3212=25, V3213=1, V3214=0, V3215=0, V3216=0, V3217=0, V3218=0, V3219=0, V3220=0, V3221=0, V3222=0, V3223=0, V3224=0, V3225=0, V3226=0, V3227=0, V3228=0, V3229=0, V3230=0, V3231=0, V3232=0, V3233=0, V3234=0, V3235=0, V3236=0, V3237=0, V3238=0, V3239=0, V3240=1, V3241=62, V3242=0, V3243=62, V3244=1, V3245=25, V3246=0, V3247=25, V3248=0, V3249=25, V3250=0, V3251=25, V3252=0, V3253=25, V3254=1, V3255=0, V3256=0, V3257=0, V3258=0, V3259=0, V3260=0, V3261=0, V3262=0, V3263=0, V3264=0, V3265=0, V3266=0, V3267=0, V3268=0, V3269=0, V3270=0, V3271=0, V3272=0, V3273=0, V3274=0, V3275=0, V3276=0, V3277=0, V3278=0, V3279=0, V3280=0, V3281=1, V3282=62, V3283=0, V3284=62, V3285=0, V3286=62, V3287=0, V3288=62, V3289=1, V3290=29, V3291=0, V3292=29, V3293=0, V3294=29, V3295=1, V3296=4, V3297=0, V3298=4, V3299=0, V3300=4, V3301=0, V3302=4, V3303=0, V3304=4, V3305=0, V3306=4, V3307=0, V3308=4, V3309=0, V3310=4, V3311=0, V3312=4, V3313=0, V3314=4, V3315=0, V3316=4, V3317=0, V3318=4, V3319=1, V3320=0, V3321=0, V3322=1, V3323=62, V3324=0, V3325=62, V3326=0, V3327=62, V3328=0, V3329=62, V3330=1, V3331=29, V3332=0, V3333=29, V3334=0, V3335=29, V3336=1, V3337=4, V3338=0, V3339=4, V3340=0, V3341=4, V3342=0, V3343=4, V3344=0, V3345=4, V3346=0, V3347=4, V3348=0, V3349=4, V3350=0, V3351=4, V3352=0, V3353=4, V3354=0, V3355=4, V3356=0, V3357=4, V3358=0, V3359=4, V3360=1, V3361=0, V3362=0, V3363=1, V3364=62, V3365=0, V3366=62, V3367=0, V3368=62, V3369=0, V3370=62, V3371=1, V3372=29, V3373=0, V3374=29, V3375=0, V3376=29, V3377=1, V3378=4, V3379=0, V3380=4, V3381=0, V3382=4, V3383=0, V3384=4, V3385=0, V3386=4, V3387=0, V3388=4, V3389=0, V3390=4, V3391=0, V3392=4, V3393=0, V3394=4, V3395=0, V3396=4, V3397=0, V3398=4, V3399=0, V3400=4, V3401=1, V3402=0, V3403=0, V3404=1, V3405=62, V3406=0, V3407=62, V3408=0, V3409=62, V3410=0, V3411=62, V3412=1, V3413=29, V3414=0, V3415=29, V3416=0, V3417=29, V3418=1, V3419=4, V3420=0, V3421=4, V3422=0, V3423=4, V3424=0, V3425=4, V3426=0, V3427=4, V3428=0, V3429=4, V3430=0, V3431=4, V3432=0, V3433=4, V3434=0, V3435=4, V3436=0, V3437=4, V3438=0, V3439=4, V3440=0, V3441=4, V3442=1, V3443=0, V3444=0, V3445=1, V3446=62, V3447=0, V3448=62, V3449=0, V3450=62, V3451=0, V3452=62, V3453=1, V3454=29, V3455=1, V3456=0, V3457=0, V3458=0, V3459=0, V3460=0, V3461=0, V3462=0, V3463=0, V3464=0, V3465=0, V3466=0, V3467=0, V3468=0, V3469=0, V3470=0, V3471=0, V3472=0, V3473=0, V3474=0, V3475=0, V3476=0, V3477=0, V3478=0, V3479=0, V3480=0, V3481=0, V3482=0, V3483=0, V3484=0, V3485=0, V3486=1, V3487=62, V3488=0, V3489=62, V3490=0, V3491=62, V3492=0, V3493=62, V3494=1, V3495=29, V3496=1, V3497=0, V3498=0, V3499=0, V3500=0, V3501=0, V3502=0, V3503=0, V3504=0, V3505=0, V3506=0, V3507=0, V3508=0, V3509=0, V3510=0, V3511=0, V3512=0, V3513=0, V3514=0, V3515=0, V3516=0, V3517=0, V3518=0, V3519=0, V3520=0, V3521=0, V3522=0, V3523=0, V3524=0, V3525=0, V3526=0, V3527=1, V3528=62, V3529=0, V3530=62, V3531=0, V3532=62, V3533=0, V3534=62, V3535=1, V3536=29, V3537=1, V3538=0, V3539=0, V3540=0, V3541=0, V3542=0, V3543=0, V3544=0, V3545=0, V3546=0, V3547=0, V3548=0, V3549=0, V3550=0, V3551=0, V3552=0, V3553=0, V3554=0, V3555=0, V3556=0, V3557=0, V3558=0, V3559=0, V3560=0, V3561=0, V3562=0, V3563=0, V3564=0, V3565=0, V3566=0, V3567=0, V3568=1, V3569=62, V3570=0, V3571=62, V3572=0, V3573=62, V3574=0, V3575=62, V3576=1, V3577=29, V3578=1, V3579=0, V3580=0, V3581=0, V3582=0, V3583=0, V3584=0, V3585=0, V3586=0, V3587=0, V3588=0, V3589=0, V3590=0, V3591=0, V3592=0, V3593=0, V3594=0, V3595=0, V3596=0, V3597=0, V3598=0, V3599=0, V3600=0, V3601=0, V3602=0, V3603=0, V3604=0, V3605=0, V3606=0, V3607=0, V3608=0, V3609=1, V3610=62, V3611=0, V3612=62, V3613=0, V3614=62, V3615=0, V3616=62, V3617=1, V3618=29, V3619=1, V3620=0, V3621=0, V3622=0, V3623=0, V3624=0, V3625=0, V3626=0, V3627=0, V3628=0, V3629=0, V3630=0, V3631=0, V3632=0, V3633=0, V3634=0, V3635=0, V3636=0, V3637=0, V3638=0, V3639=0, V3640=0, V3641=0, V3642=0, V3643=0, V3644=0, V3645=0, V3646=0, V3647=0, V3648=0, V3649=0, V3650=1, V3651=62, V3652=0, V3653=62, V3654=0, V3655=62, V3656=0, V3657=62, V3658=1, V3659=29, V3660=1, V3661=0, V3662=0, V3663=0, V3664=0, V3665=0, V3666=0, V3667=0, V3668=0, V3669=0, V3670=0, V3671=0, V3672=0, V3673=0, V3674=0, V3675=0, V3676=0, V3677=0, V3678=0, V3679=0, V3680=0, V3681=0, V3682=0, V3683=0, V3684=0, V3685=0, V3686=0, V3687=0, V3688=0, V3689=0, V3690=0, V3691=1, V3692=62, V3693=0, V3694=62, V3695=0, V3696=62, V3697=0, V3698=62, V3699=1, V3700=29, V3701=1, V3702=0, V3703=0, V3704=0, V3705=0, V3706=0, V3707=0, V3708=0, V3709=0, V3710=0, V3711=0, V3712=0, V3713=0, V3714=0, V3715=0, V3716=0, V3717=0, V3718=0, V3719=0, V3720=0, V3721=0, V3722=0, V3723=0, V3724=0, V3725=0, V3726=0, V3727=0, V3728=0, V3729=0, V3730=0, V3731=0, V3732=1, V3733=62, V3734=0, V3735=62, V3736=0, V3737=62, V3738=0, V3739=62, V3740=1, V3741=29, V3742=1, V3743=0, V3744=0, V3745=0, V3746=0, V3747=0, V3748=0, V3749=0, V3750=0, V3751=0, V3752=0, V3753=0, V3754=0, V3755=0, V3756=0, V3757=0, V3758=0, V3759=0, V3760=0, V3761=0, V3762=0, V3763=0, V3764=0, V3765=0, V3766=0, V3767=0, V3768=0, V3769=0, V3770=0, V3771=0, V3772=0, V3773=1, V3774=62, V3775=0, V3776=62, V3777=0, V3778=62, V3779=0, V3780=62, V3781=1, V3782=29, V3783=1, V3784=0, V3785=0, V3786=0, V3787=0, V3788=0, V3789=0, V3790=0, V3791=0, V3792=0, V3793=0, V3794=0, V3795=0, V3796=0, V3797=0, V3798=0, V3799=0, V3800=0, V3801=0, V3802=0, V3803=0, V3804=0, V3805=0, V3806=0, V3807=0, V3808=0, V3809=0, V3810=0, V3811=0, V3812=0, V3813=0, V3814=1, V3815=62, V3816=0, V3817=62, V3818=0, V3819=62, V3820=0, V3821=62, V3822=1, V3823=29, V3824=1, V3825=0, V3826=0, V3827=0, V3828=0, V3829=0, V3830=0, V3831=0, V3832=0, V3833=0, V3834=0, V3835=0, V3836=0, V3837=0, V3838=0, V3839=0, V3840=0, V3841=0, V3842=0, V3843=0, V3844=0, V3845=0, V3846=0, V3847=0, V3848=0, V3849=0, V3850=0, V3851=0, V3852=0, V3853=0, V3854=0, V3855=1, V3856=62, V3857=0, V3858=62, V3859=0, V3860=62, V3861=0, V3862=62, V3863=1, V3864=29, V3865=1, V3866=0, V3867=0, V3868=0, V3869=0, V3870=0, V3871=0, V3872=0, V3873=0, V3874=0, V3875=0, V3876=0, V3877=0, V3878=0, V3879=0, V3880=0, V3881=0, V3882=0, V3883=0, V3884=0, V3885=0, V3886=0, V3887=0, V3888=0, V3889=0, V3890=0, V3891=0, V3892=0, V3893=0, V3894=0, V3895=0, V3896=1, V3897=62, V3898=0, V3899=62, V3900=0, V3901=62, V3902=0, V3903=62, V3904=1, V3905=29, V3906=1, V3907=0, V3908=0, V3909=0, V3910=0, V3911=0, V3912=0, V3913=0, V3914=0, V3915=0, V3916=0, V3917=0, V3918=0, V3919=0, V3920=0, V3921=0, V3922=0, V3923=0, V3924=0, V3925=0, V3926=0, V3927=0, V3928=0, V3929=0, V3930=0, V3931=0, V3932=0, V3933=0, V3934=0, V3935=0, V3936=0, V3937=1, V3938=62, V3939=0, V3940=62, V3941=0, V3942=62, V3943=0, V3944=62, V3945=1, V3946=29, V3947=1, V3948=0, V3949=0, V3950=0, V3951=0, V3952=0, V3953=0, V3954=0, V3955=0, V3956=0, V3957=0, V3958=0, V3959=0, V3960=0, V3961=0, V3962=0, V3963=0, V3964=0, V3965=0, V3966=0, V3967=0, V3968=0, V3969=0, V3970=0, V3971=0, V3972=0, V3973=0, V3974=0, V3975=0, V3976=0, V3977=0, V3978=1, V3979=62, V3980=0, V3981=62, V3982=0, V3983=62, V3984=0, V3985=62, V3986=1, V3987=29, V3988=1, V3989=0, V3990=0, V3991=0, V3992=0, V3993=0, V3994=0, V3995=0, V3996=0, V3997=0, V3998=0, V3999=0, V4000=0, V4001=0, V4002=0, V4003=0, V4004=0, V4005=0, V4006=0, V4007=0, V4008=0, V4009=0, V4010=0, V4011=0, V4012=0, V4013=0, V4014=0, V4015=0, V4016=0, V4017=0, V4018=0, V4019=1, V4020=62, V4021=0, V4022=62, V4023=0, V4024=62, V4025=0, V4026=62, V4027=1, V4028=29, V4029=1, V4030=0, V4031=0, V4032=0, V4033=0, V4034=0, V4035=0, V4036=0, V4037=0, V4038=0, V4039=0, V4040=0, V4041=0, V4042=0, V4043=0, V4044=0, V4045=0, V4046=0, V4047=0, V4048=0, V4049=0, V4050=0, V4051=0, V4052=0, V4053=0, V4054=0, V4055=0, V4056=0, V4057=0, V4058=0, V4059=0, V4060=1, V4061=62, V4062=0, V4063=62, V4064=0, V4065=62, V4066=0, V4067=62, V4068=1, V4069=29, V4070=1, V4071=0, V4072=0, V4073=0, V4074=0, V4075=0, V4076=0, V4077=0, V4078=0, V4079=0, V4080=0, V4081=0, V4082=0, V4083=0, V4084=0, V4085=0, V4086=0, V4087=0, V4088=0, V4089=0, V4090=0, V4091=0, V4092=0, V4093=0, V4094=0, V4095=0, V4096=0, V4097=0, V4098=0, V4099=0, V4100=0, V4101=1, V4102=62, V4103=0, V4104=62, V4105=0, V4106=62, V4107=0, V4108=62, V4109=1, V4110=29, V4111=1, V4112=0, V4113=0, V4114=0, V4115=0, V4116=0, V4117=0, V4118=0, V4119=0, V4120=0, V4121=0, V4122=0, V4123=0, V4124=0, V4125=0, V4126=0, V4127=0, V4128=0, V4129=0, V4130=0, V4131=0, V4132=0, V4133=0, V4134=0, V4135=0, V4136=0, V4137=0, V4138=0, V4139=0, V4140=0, V4141=0, V4142=1, V4143=62, V4144=0, V4145=62, V4146=0, V4147=62, V4148=0, V4149=62, V4150=1, V4151=29, V4152=1, V4153=0, V4154=0, V4155=0, V4156=0, V4157=0, V4158=0, V4159=0, V4160=0, V4161=0, V4162=0, V4163=0, V4164=0, V4165=0, V4166=0, V4167=0, V4168=0, V4169=0, V4170=0, V4171=0, V4172=0, V4173=0, V4174=0, V4175=0, V4176=0, V4177=0, V4178=0, V4179=0, V4180=0, V4181=0, V4182=0, V4183=1, V4184=62, V4185=0, V4186=62, V4187=0, V4188=62, V4189=0, V4190=62, V4191=1, V4192=29, V4193=1, V4194=0, V4195=0, V4196=0, V4197=0, V4198=0, V4199=0, V4200=0, V4201=0, V4202=0, V4203=0, V4204=0, V4205=0, V4206=0, V4207=0, V4208=0, V4209=0, V4210=0, V4211=0, V4212=0, V4213=0, V4214=0, V4215=0, V4216=0, V4217=0, V4218=0, V4219=0, V4220=0, V4221=0, V4222=0, V4223=0, V4224=1, V4225=62, V4226=0, V4227=62, V4228=0, V4229=62, V4230=0, V4231=62, V4232=1, V4233=29, V4234=1, V4235=0, V4236=0, V4237=0, V4238=0, V4239=0, V4240=0, V4241=0, V4242=0, V4243=0, V4244=0, V4245=0, V4246=0, V4247=0, V4248=0, V4249=0, V4250=0, V4251=0, V4252=0, V4253=0, V4254=0, V4255=0, V4256=0, V4257=0, V4258=0, V4259=0, V4260=0, V4261=0, V4262=0, V4263=0, V4264=0, V4265=1, V4266=62, V4267=0, V4268=62, V4269=0, V4270=62, V4271=0, V4272=62, V4273=1, V4274=29, V4275=1, V4276=0, V4277=0, V4278=0, V4279=0, V4280=0, V4281=0, V4282=0, V4283=0, V4284=0, V4285=0, V4286=0, V4287=0, V4288=0, V4289=0, V4290=0, V4291=0, V4292=0, V4293=0, V4294=0, V4295=0, V4296=0, V4297=0, V4298=0, V4299=0, V4300=0, V4301=0, V4302=0, V4303=0, V4304=0, V4305=0, V4306=1, V4307=62, V4308=0, V4309=62, V4310=0, V4311=62, V4312=0, V4313=62, V4314=1, V4315=29, V4316=1, V4317=0, V4318=0, V4319=0, V4320=0, V4321=0, V4322=0, V4323=0, V4324=0, V4325=0, V4326=0, V4327=0, V4328=0, V4329=0, V4330=0, V4331=0, V4332=0, V4333=0, V4334=0, V4335=0, V4336=0, V4337=0, V4338=0, V4339=0, V4340=0, V4341=0, V4342=0, V4343=0, V4344=0, V4345=0, V4346=0, V4347=1, V4348=62, V4349=0, V4350=62, V4351=0, V4352=62, V4353=0, V4354=62, V4355=1, V4356=29, V4357=1, V4358=0, V4359=0, V4360=0, V4361=0, V4362=0, V4363=0, V4364=0, V4365=0, V4366=0, V4367=0, V4368=0, V4369=0, V4370=0, V4371=0, V4372=0, V4373=0, V4374=0, V4375=0, V4376=0, V4377=0, V4378=0, V4379=0, V4380=0, V4381=0, V4382=0, V4383=0, V4384=0, V4385=0, V4386=0, V4387=0, V4388=1, V4389=62, V4390=0, V4391=62, V4392=0, V4393=62, V4394=0, V4395=62, V4396=1, V4397=29, V4398=1, V4399=0, V4400=0, V4401=0, V4402=0, V4403=0, V4404=0, V4405=0, V4406=0, V4407=0, V4408=0, V4409=0, V4410=0, V4411=0, V4412=0, V4413=0, V4414=0, V4415=0, V4416=0, V4417=0, V4418=0, V4419=0, V4420=0, V4421=0, V4422=0, V4423=0, V4424=0, V4425=0, V4426=0, V4427=0, V4428=0, V4429=1, V4430=62, V4431=0, V4432=62, V4433=0, V4434=62, V4435=0, V4436=62, V4437=1, V4438=29, V4439=1, V4440=0, V4441=0, V4442=0, V4443=0, V4444=0, V4445=0, V4446=0, V4447=0, V4448=0, V4449=0, V4450=0, V4451=0, V4452=0, V4453=0, V4454=0, V4455=0, V4456=0, V4457=0, V4458=0, V4459=0, V4460=0, V4461=0, V4462=0, V4463=0, V4464=0, V4465=0, V4466=0, V4467=0, V4468=0, V4469=0, V4470=1, V4471=62, V4472=0, V4473=62, V4474=0, V4475=62, V4476=0, V4477=62, V4478=1, V4479=29, V4480=1, V4481=0, V4482=0, V4483=0, V4484=0, V4485=0, V4486=0, V4487=0, V4488=0, V4489=0, V4490=0, V4491=0, V4492=0, V4493=0, V4494=0, V4495=0, V4496=0, V4497=0, V4498=0, V4499=0, V4500=0, V4501=0, V4502=0, V4503=0, V4504=0, V4505=0, V4506=0, V4507=0, V4508=0, V4509=0, V4510=0, V4511=1, V4512=62, V4513=0, V4514=62, V4515=0, V4516=62, V4517=0, V4518=62, V4519=1, V4520=29, V4521=1, V4522=0, V4523=0, V4524=0, V4525=0, V4526=0, V4527=0, V4528=0, V4529=0, V4530=0, V4531=0, V4532=0, V4533=0, V4534=0, V4535=0, V4536=0, V4537=0, V4538=0, V4539=0, V4540=0, V4541=0, V4542=0, V4543=0, V4544=0, V4545=0, V4546=0, V4547=0, V4548=0, V4549=0, V4550=0, V4551=0, V4552=1, V4553=62, V4554=0, V4555=62, V4556=0, V4557=62, V4558=0, V4559=62, V4560=1, V4561=29, V4562=1, V4563=0, V4564=0, V4565=0, V4566=0, V4567=0, V4568=0, V4569=0, V4570=0, V4571=0, V4572=0, V4573=0, V4574=0, V4575=0, V4576=0, V4577=0, V4578=0, V4579=0, V4580=0, V4581=0, V4582=0, V4583=0, V4584=0, V4585=0, V4586=0, V4587=0, V4588=0, V4589=0, V4590=0, V4591=0, V4592=0, V4593=1, V4594=62, V4595=0, V4596=62, V4597=0, V4598=62, V4599=0, V4600=62, V4601=1, V4602=29, V4603=1, V4604=0, V4605=0, V4606=0, V4607=0, V4608=0, V4609=0, V4610=0, V4611=0, V4612=0, V4613=0, V4614=0, V4615=0, V4616=0, V4617=0, V4618=0, V4619=0, V4620=0, V4621=0, V4622=0, V4623=0, V4624=0, V4625=0, V4626=0, V4627=0, V4628=0, V4629=0, V4630=0, V4631=0, V4632=0, V4633=0, V4634=0, V4635=112, V4636=1, V4637=70, V4638=1, V4639=33, V4640=0, V4641=33, V4642=1, V4643=0, V4644=0, V4645=0, V4646=0, V4647=0, V4648=0, V4649=0, V4650=0, V4651=0, V4652=0, V4653=0, V4654=0, V4655=0, V4656=0, V4657=0, V4658=0, V4659=0, V4660=0, V4661=0, V4662=0, V4663=0, V4664=0, V4665=0, V4666=0, V4667=0, V4668=0, V4669=0, V4670=0, V4671=0, V4672=0, V4673=0, V4674=0, V4675=0, V4676=112, V4677=1, V4678=70, V4679=1, V4680=33, V4681=0, V4682=33, V4683=1, V4684=0, V4685=0, V4686=0, V4687=0, V4688=0, V4689=0, V4690=0, V4691=0, V4692=0, V4693=0, V4694=0, V4695=0, V4696=0, V4697=0, V4698=0, V4699=0, V4700=0, V4701=0, V4702=0, V4703=0, V4704=0, V4705=0, V4706=0, V4707=0, V4708=0, V4709=0, V4710=0, V4711=0, V4712=0, V4713=0, V4714=0, V4715=0, V4716=0, V4717=112, V4718=1, V4719=70, V4720=1, V4721=33, V4722=0, V4723=33, V4724=1, V4725=0, V4726=0, V4727=0, V4728=0, V4729=0, V4730=0, V4731=0, V4732=0, V4733=0, V4734=0, V4735=0, V4736=0, V4737=0, V4738=0, V4739=0, V4740=0, V4741=0, V4742=0, V4743=0, V4744=0, V4745=0, V4746=0, V4747=0, V4748=0, V4749=0, V4750=0, V4751=0, V4752=0, V4753=0, V4754=0, V4755=0, V4756=0, V4757=0, V4758=112, V4759=1, V4760=70, V4761=1, V4762=33, V4763=0, V4764=33, V4765=1, V4766=0, V4767=0, V4768=0, V4769=0, V4770=0, V4771=0, V4772=0, V4773=0, V4774=0, V4775=0, V4776=0, V4777=0, V4778=0, V4779=0, V4780=0, V4781=0, V4782=0, V4783=0, V4784=0, V4785=0, V4786=0, V4787=0, V4788=0, V4789=0, V4790=0, V4791=0, V4792=0, V4793=0, V4794=0, V4795=0, V4796=0, V4797=0, V4798=0, V4799=112, V4800=1, V4801=70, V4802=1, V4803=33, V4804=0, V4805=33, V4806=1, V4807=0, V4808=0, V4809=0, V4810=0, V4811=0, V4812=0, V4813=0, V4814=0, V4815=0, V4816=0, V4817=0, V4818=0, V4819=0, V4820=0, V4821=0, V4822=0, V4823=0, V4824=0, V4825=0, V4826=0, V4827=0, V4828=0, V4829=0, V4830=0, V4831=0, V4832=0, V4833=0, V4834=0, V4835=0, V4836=0, V4837=0, V4838=0, V4839=0, V4840=112, V4841=1, V4842=70, V4843=1, V4844=33, V4845=0, V4846=33, V4847=1, V4848=0, V4849=0, V4850=0, V4851=0, V4852=0, V4853=0, V4854=0, V4855=0, V4856=0, V4857=0, V4858=0, V4859=0, V4860=0, V4861=0, V4862=0, V4863=0, V4864=0, V4865=0, V4866=0, V4867=0, V4868=0, V4869=0, V4870=0, V4871=0, V4872=0, V4873=0, V4874=0, V4875=0, V4876=0, V4877=0, V4878=0, V4879=0, V4880=0, V4881=112, V4882=1, V4883=70, V4884=1, V4885=33, V4886=0, V4887=33, V4888=1, V4889=0, V4890=0, V4891=0, V4892=0, V4893=0, V4894=0, V4895=0, V4896=0, V4897=0, V4898=0, V4899=0, V4900=0, V4901=0, V4902=0, V4903=0, V4904=0, V4905=0, V4906=0, V4907=0, V4908=0, V4909=0, V4910=0, V4911=0, V4912=0, V4913=0, V4914=0, V4915=0, V4916=0, V4917=0, V4918=0, V4919=0, V4920=0, V4921=0, V4922=112, V4923=1, V4924=70, V4925=1, V4926=33, V4927=0, V4928=33, V4929=1, V4930=0, V4931=0, V4932=0, V4933=0, V4934=0, V4935=0, V4936=0, V4937=0, V4938=0, V4939=0, V4940=0, V4941=0, V4942=0, V4943=0, V4944=0, V4945=0, V4946=0, V4947=0, V4948=0, V4949=0, V4950=0, V4951=0, V4952=0, V4953=0, V4954=0, V4955=0, V4956=0, V4957=0, V4958=0, V4959=0, V4960=0, V4961=0, V4962=0, V4963=112, V4964=1, V4965=70, V4966=1, V4967=33, V4968=0, V4969=33, V4970=1, V4971=0, V4972=0, V4973=0, V4974=0, V4975=0, V4976=0, V4977=0, V4978=0, V4979=0, V4980=0, V4981=0, V4982=0, V4983=0, V4984=0, V4985=0, V4986=0, V4987=0, V4988=0, V4989=0, V4990=0, V4991=0, V4992=0, V4993=0, V4994=0, V4995=0, V4996=0, V4997=0, V4998=0, V4999=0, V5000=0, V5001=0, V5002=0, V5003=0, V5004=112, V5005=1, V5006=70, V5007=1, V5008=33, V5009=0, V5010=33, V5011=1, V5012=0, V5013=0, V5014=0, V5015=0, V5016=0, V5017=0, V5018=0, V5019=0, V5020=0, V5021=0, V5022=0, V5023=0, V5024=0, V5025=0, V5026=0, V5027=0, V5028=0, V5029=0, V5030=0, V5031=0, V5032=0, V5033=0, V5034=0, V5035=0, V5036=0, V5037=0, V5038=0, V5039=0, V5040=0, V5041=0, V5042=0, V5043=0, V5044=0, V5045=112, V5046=1, V5047=70, V5048=1, V5049=33, V5050=0, V5051=33, V5052=1, V5053=0, V5054=0, V5055=0, V5056=0, V5057=0, V5058=0, V5059=0, V5060=0, V5061=0, V5062=0, V5063=0, V5064=0, V5065=0, V5066=0, V5067=0, V5068=0, V5069=0, V5070=0, V5071=0, V5072=0, V5073=0, V5074=0, V5075=0, V5076=0, V5077=0, V5078=0, V5079=0, V5080=0, V5081=0, V5082=0, V5083=0, V5084=0, V5085=0, V5086=112, V5087=1, V5088=70, V5089=1, V5090=33, V5091=0, V5092=33, V5093=1, V5094=0, V5095=0, V5096=0, V5097=0, V5098=0, V5099=0, V5100=0, V5101=0, V5102=0, V5103=0, V5104=0, V5105=0, V5106=0, V5107=0, V5108=0, V5109=0, V5110=0, V5111=0, V5112=0, V5113=0, V5114=0, V5115=0, V5116=0, V5117=0, V5118=0, V5119=0, V5120=0, V5121=0, V5122=0, V5123=0, V5124=0, V5125=0, V5126=0, V5127=112, V5128=1, V5129=70, V5130=1, V5131=33, V5132=0, V5133=33, V5134=1, V5135=0, V5136=0, V5137=0, V5138=0, V5139=0, V5140=0, V5141=0, V5142=0, V5143=0, V5144=0, V5145=0, V5146=0, V5147=0, V5148=0, V5149=0, V5150=0, V5151=0, V5152=0, V5153=0, V5154=0, V5155=0, V5156=0, V5157=0, V5158=0, V5159=0, V5160=0, V5161=0, V5162=0, V5163=0, V5164=0, V5165=0, V5166=0, V5167=0, V5168=112, V5169=1, V5170=70, V5171=1, V5172=33, V5173=0, V5174=33, V5175=1, V5176=0, V5177=0, V5178=0, V5179=0, V5180=0, V5181=0, V5182=0, V5183=0, V5184=0, V5185=0, V5186=0, V5187=0, V5188=0, V5189=0, V5190=0, V5191=0, V5192=0, V5193=0, V5194=0, V5195=0, V5196=0, V5197=0, V5198=0, V5199=0, V5200=0, V5201=0, V5202=0, V5203=0, V5204=0, V5205=0, V5206=0, V5207=0, V5208=0, V5209=112, V5210=1, V5211=70, V5212=1, V5213=33, V5214=0, V5215=33, V5216=1, V5217=0, V5218=0, V5219=0, V5220=0, V5221=0, V5222=0, V5223=0, V5224=0, V5225=0, V5226=0, V5227=0, V5228=0, V5229=0, V5230=0, V5231=0, V5232=0, V5233=0, V5234=0, V5235=0, V5236=0, V5237=0, V5238=0, V5239=0, V5240=0, V5241=0, V5242=0, V5243=0, V5244=0, V5245=0, V5246=0, V5247=0, V5248=0, V5249=0, V5250=112, V5251=1, V5252=70, V5253=1, V5254=33, V5255=0, V5256=33, V5257=1, V5258=0, V5259=0, V5260=0, V5261=0, V5262=0, V5263=0, V5264=0, V5265=0, V5266=0, V5267=0, V5268=0, V5269=0, V5270=0, V5271=0, V5272=0, V5273=0, V5274=0, V5275=0, V5276=0, V5277=0, V5278=0, V5279=0, V5280=0, V5281=0, V5282=0, V5283=0, V5284=0, V5285=0, V5286=0, V5287=0, V5288=0, V5289=0, V5290=0, V5291=112, V5292=1, V5293=70, V5294=1, V5295=33, V5296=0, V5297=33, V5298=1, V5299=0, V5300=0, V5301=0, V5302=0, V5303=0, V5304=0, V5305=0, V5306=0, V5307=0, V5308=0, V5309=0, V5310=0, V5311=0, V5312=0, V5313=0, V5314=0, V5315=0, V5316=0, V5317=0, V5318=0, V5319=0, V5320=0, V5321=0, V5322=0, V5323=0, V5324=0, V5325=0, V5326=0, V5327=0, V5328=0, V5329=0, V5330=0, V5331=0, V5332=112, V5333=1, V5334=70, V5335=1, V5336=33, V5337=0, V5338=33, V5339=1, V5340=0, V5341=0, V5342=0, V5343=0, V5344=0, V5345=0, V5346=0, V5347=0, V5348=0, V5349=0, V5350=0, V5351=0, V5352=0, V5353=0, V5354=0, V5355=0, V5356=0, V5357=0, V5358=0, V5359=0, V5360=0, V5361=0, V5362=0, V5363=0, V5364=0, V5365=0, V5366=0, V5367=0, V5368=0, V5369=0, V5370=0, V5371=0, V5372=0, V5373=112, V5374=1, V5375=70, V5376=1, V5377=33, V5378=0, V5379=33, V5380=1, V5381=0, V5382=0, V5383=0, V5384=0, V5385=0, V5386=0, V5387=0, V5388=0, V5389=0, V5390=0, V5391=0, V5392=0, V5393=0, V5394=0, V5395=0, V5396=0, V5397=0, V5398=0, V5399=0, V5400=0, V5401=0, V5402=0, V5403=0, V5404=0, V5405=0, V5406=0, V5407=0, V5408=0, V5409=0, V5410=0, V5411=0, V5412=0, V5413=0, V5414=112, V5415=1, V5416=70, V5417=1, V5418=33, V5419=0, V5420=33, V5421=1, V5422=0, V5423=0, V5424=0, V5425=0, V5426=0, V5427=0, V5428=0, V5429=0, V5430=0, V5431=0, V5432=0, V5433=0, V5434=0, V5435=0, V5436=0, V5437=0, V5438=0, V5439=0, V5440=0, V5441=0, V5442=0, V5443=0, V5444=0, V5445=0, V5446=0, V5447=0, V5448=0, V5449=0, V5450=0, V5451=0, V5452=0, V5453=0, V5454=0, V5455=112, V5456=1, V5457=70, V5458=1, V5459=33, V5460=0, V5461=33, V5462=1, V5463=0, V5464=0, V5465=0, V5466=0, V5467=0, V5468=0, V5469=0, V5470=0, V5471=0, V5472=0, V5473=0, V5474=0, V5475=0, V5476=0, V5477=0, V5478=0, V5479=0, V5480=0, V5481=0, V5482=0, V5483=0, V5484=0, V5485=0, V5486=0, V5487=0, V5488=0, V5489=0, V5490=0, V5491=0, V5492=0, V5493=0, V5494=0, V5495=0, V5496=112, V5497=1, V5498=70, V5499=1, V5500=33, V5501=0, V5502=33, V5503=1, V5504=0, V5505=0, V5506=0, V5507=0, V5508=0, V5509=0, V5510=0, V5511=0, V5512=0, V5513=0, V5514=0, V5515=0, V5516=0, V5517=0, V5518=0, V5519=0, V5520=0, V5521=0, V5522=0, V5523=0, V5524=0, V5525=0, V5526=0, V5527=0, V5528=0, V5529=0, V5530=0, V5531=0, V5532=0, V5533=0, V5534=0, V5535=0, V5536=0, V5537=112, V5538=1, V5539=70, V5540=1, V5541=33, V5542=0, V5543=33, V5544=1, V5545=0, V5546=0, V5547=0, V5548=0, V5549=0, V5550=0, V5551=0, V5552=0, V5553=0, V5554=0, V5555=0, V5556=0, V5557=0, V5558=0, V5559=0, V5560=0, V5561=0, V5562=0, V5563=0, V5564=0, V5565=0, V5566=0, V5567=0, V5568=0, V5569=0, V5570=0, V5571=0, V5572=0, V5573=0, V5574=0, V5575=0, V5576=0, V5577=0, V5578=112, V5579=1, V5580=70, V5581=1, V5582=33, V5583=0, V5584=33, V5585=1, V5586=0, V5587=0, V5588=0, V5589=0, V5590=0, V5591=0, V5592=0, V5593=0, V5594=0, V5595=0, V5596=0, V5597=0, V5598=0, V5599=0, V5600=0, V5601=0, V5602=0, V5603=0, V5604=0, V5605=0, V5606=0, V5607=0, V5608=0, V5609=0, V5610=0, V5611=0, V5612=0, V5613=0, V5614=0, V5615=0, V5616=0, V5617=0, V5618=0, V5619=112, V5620=1, V5621=70, V5622=1, V5623=33, V5624=0, V5625=33, V5626=1, V5627=0, V5628=0, V5629=0, V5630=0, V5631=0, V5632=0, V5633=0, V5634=0, V5635=0, V5636=0, V5637=0, V5638=0, V5639=0, V5640=0, V5641=0, V5642=0, V5643=0, V5644=0, V5645=0, V5646=0, V5647=0, V5648=0, V5649=0, V5650=0, V5651=0, V5652=0, V5653=0, V5654=0, V5655=0, V5656=0, V5657=0, V5658=0, V5659=0, V5660=112, V5661=1, V5662=70, V5663=1, V5664=33, V5665=0, V5666=33, V5667=1, V5668=0, V5669=0, V5670=0, V5671=0, V5672=0, V5673=0, V5674=0, V5675=0, V5676=0, V5677=0, V5678=0, V5679=0, V5680=0, V5681=0, V5682=0, V5683=0, V5684=0, V5685=0, V5686=0, V5687=0, V5688=0, V5689=0, V5690=0, V5691=0, V5692=0, V5693=0, V5694=0, V5695=0, V5696=0, V5697=0, V5698=0, V5699=0, V5700=0, V5701=112, V5702=1, V5703=70, V5704=1, V5705=33, V5706=0, V5707=33, V5708=1, V5709=0, V5710=0, V5711=0, V5712=0, V5713=0, V5714=0, V5715=0, V5716=0, V5717=0, V5718=0, V5719=0, V5720=0, V5721=0, V5722=0, V5723=0, V5724=0, V5725=0, V5726=0, V5727=0, V5728=0, V5729=0, V5730=0, V5731=0, V5732=0, V5733=0, V5734=0, V5735=0, V5736=0, V5737=0, V5738=0, V5739=0, V5740=0, V5741=0, V5742=112, V5743=1, V5744=70, V5745=1, V5746=33, V5747=0, V5748=33, V5749=1, V5750=0, V5751=0, V5752=0, V5753=0, V5754=0, V5755=0, V5756=0, V5757=0, V5758=0, V5759=0, V5760=0, V5761=0, V5762=0, V5763=0, V5764=0, V5765=0, V5766=0, V5767=0, V5768=0, V5769=0, V5770=0, V5771=0, V5772=0, V5773=0, V5774=0, V5775=0, V5776=0, V5777=0, V5778=0, V5779=0, V5780=0, V5781=0, V5782=0, V5783=112, V5784=1, V5785=70, V5786=1, V5787=33, V5788=0, V5789=33, V5790=1, V5791=0, V5792=0, V5793=0, V5794=0, V5795=0, V5796=0, V5797=0, V5798=0, V5799=0, V5800=0, V5801=0, V5802=0, V5803=0, V5804=0, V5805=0, V5806=0, V5807=0, V5808=0, V5809=0, V5810=0, V5811=0, V5812=0, V5813=0, V5814=0, V5815=0, V5816=0, V5817=0, V5818=0, V5819=0, V5820=0, V5821=0, V5822=0, V5823=0, V5824=112, V5825=1, V5826=70, V5827=1, V5828=33, V5829=0, V5830=33, V5831=1, V5832=0, V5833=0, V5834=0, V5835=0, V5836=0, V5837=0, V5838=0, V5839=0, V5840=0, V5841=0, V5842=0, V5843=0, V5844=0, V5845=0, V5846=0, V5847=0, V5848=0, V5849=0, V5850=0, V5851=0, V5852=0, V5853=0, V5854=0, V5855=0, V5856=0, V5857=0, V5858=0, V5859=0, V5860=0, V5861=0, V5862=0, V5863=0, V5864=0, V5865=112, V5866=1, V5867=70, V5868=1, V5869=33, V5870=0, V5871=33, V5872=1, V5873=0, V5874=0, V5875=0, V5876=0, V5877=0, V5878=0, V5879=0, V5880=0, V5881=0, V5882=0, V5883=0, V5884=0, V5885=0, V5886=0, V5887=0, V5888=0, V5889=0, V5890=0, V5891=0, V5892=0, V5893=0, V5894=0, V5895=0, V5896=0, V5897=0, V5898=0, V5899=0, V5900=0, V5901=0, V5902=0, V5903=0, V5904=0, V5905=0, V5906=112, V5907=1, V5908=70, V5909=1, V5910=33, V5911=0, V5912=33, V5913=1, V5914=0, V5915=0, V5916=0, V5917=0, V5918=0, V5919=0, V5920=0, V5921=0, V5922=0, V5923=0, V5924=0, V5925=0, V5926=0, V5927=0, V5928=0, V5929=0, V5930=0, V5931=0, V5932=0, V5933=0, V5934=0, V5935=0, V5936=0, V5937=0, V5938=0, V5939=0, V5940=0, V5941=0, V5942=0, V5943=0, V5944=0, V5945=0, V5946=0, V5947=112, V5948=1, V5949=70, V5950=1, V5951=33, V5952=0, V5953=33, V5954=1, V5955=0, V5956=0, V5957=0, V5958=0, V5959=0, V5960=0, V5961=0, V5962=0, V5963=0, V5964=0, V5965=0, V5966=0, V5967=0, V5968=0, V5969=0, V5970=0, V5971=0, V5972=0, V5973=0, V5974=0, V5975=0, V5976=0, V5977=0, V5978=0, V5979=0, V5980=0, V5981=0, V5982=0, V5983=0, V5984=0, V5985=0, V5986=0, V5987=0, V5988=112, V5989=1, V5990=70, V5991=1, V5992=33, V5993=0, V5994=33, V5995=0, V5996=33, V5997=1, V5998=4, V5999=0, V6000=4, V6001=0, V6002=4, V6003=0, V6004=4, V6005=0, V6006=4, V6007=0, V6008=4, V6009=0, V6010=4, V6011=0, V6012=4, V6013=0, V6014=4, V6015=0, V6016=4, V6017=0, V6018=4, V6019=0, V6020=4, V6021=0, V6022=4, V6023=0, V6024=4, V6025=1, V6026=0, V6027=0, V6028=0, V6029=112, V6030=1, V6031=70, V6032=1, V6033=33, V6034=0, V6035=33, V6036=0, V6037=33, V6038=1, V6039=4, V6040=0, V6041=4, V6042=0, V6043=4, V6044=0, V6045=4, V6046=0, V6047=4, V6048=0, V6049=4, V6050=0, V6051=4, V6052=0, V6053=4, V6054=0, V6055=4, V6056=0, V6057=4, V6058=0, V6059=4, V6060=0, V6061=4, V6062=0, V6063=4, V6064=0, V6065=4, V6066=1, V6067=0, V6068=0, V6069=0, V6070=112, V6071=1, V6072=70, V6073=1, V6074=33, V6075=0, V6076=33, V6077=0, V6078=33, V6079=1, V6080=4, V6081=0, V6082=4, V6083=0, V6084=4, V6085=0, V6086=4, V6087=0, V6088=4, V6089=0, V6090=4, V6091=0, V6092=4, V6093=0, V6094=4, V6095=0, V6096=4, V6097=0, V6098=4, V6099=0, V6100=4, V6101=0, V6102=4, V6103=0, V6104=4, V6105=0, V6106=4, V6107=1, V6108=0, V6109=0, V6110=0, V6111=112, V6112=1, V6113=70, V6114=1, V6115=33, V6116=0, V6117=33, V6118=0, V6119=33, V6120=1, V6121=4, V6122=0, V6123=4, V6124=0, V6125=4, V6126=0, V6127=4, V6128=0, V6129=4, V6130=0, V6131=4, V6132=0, V6133=4, V6134=0, V6135=4, V6136=0, V6137=4, V6138=0, V6139=4, V6140=0, V6141=4, V6142=0, V6143=4, V6144=0, V6145=4, V6146=0, V6147=4, V6148=1, V6149=0, V6150=0, V6151=0, V6152=112, V6153=1, V6154=70, V6155=0, V6156=70, V6157=0, V6158=70, V6159=0, V6160=70, V6161=1, V6162=41, V6163=0, V6164=41, V6165=1, V6166=16, V6167=0, V6168=16, V6169=0, V6170=16, V6171=0, V6172=16, V6173=0, V6174=16, V6175=1, V6176=0, V6177=0, V6178=0, V6179=0, V6180=0, V6181=0, V6182=0, V6183=0, V6184=0, V6185=0, V6186=0, V6187=0, V6188=0, V6189=0, V6190=0, V6191=0, V6192=0, V6193=112, V6194=1, V6195=70, V6196=0, V6197=70, V6198=0, V6199=70, V6200=0, V6201=70, V6202=1, V6203=41, V6204=0, V6205=41, V6206=1, V6207=16, V6208=0, V6209=16, V6210=0, V6211=16, V6212=0, V6213=16, V6214=0, V6215=16, V6216=1, V6217=0, V6218=0, V6219=0, V6220=0, V6221=0, V6222=0, V6223=0, V6224=0, V6225=0, V6226=0, V6227=0, V6228=0, V6229=0, V6230=0, V6231=0, V6232=0, V6233=0, V6234=112, V6235=1, V6236=70, V6237=0, V6238=70, V6239=0, V6240=70, V6241=0, V6242=70, V6243=1, V6244=41, V6245=0, V6246=41, V6247=1, V6248=16, V6249=0, V6250=16, V6251=0, V6252=16, V6253=0, V6254=16, V6255=0, V6256=16, V6257=1, V6258=0, V6259=0, V6260=0, V6261=0, V6262=0, V6263=0, V6264=0, V6265=0, V6266=0, V6267=0, V6268=0, V6269=0, V6270=0, V6271=0, V6272=0, V6273=0, V6274=0, V6275=112, V6276=1, V6277=70, V6278=0, V6279=70, V6280=0, V6281=70, V6282=0, V6283=70, V6284=1, V6285=41, V6286=0, V6287=41, V6288=1, V6289=16, V6290=0, V6291=16, V6292=0, V6293=16, V6294=0, V6295=16, V6296=0, V6297=16, V6298=1, V6299=0, V6300=0, V6301=0, V6302=0, V6303=0, V6304=0, V6305=0, V6306=0, V6307=0, V6308=0, V6309=0, V6310=0, V6311=0, V6312=0, V6313=0, V6314=0, V6315=0, V6316=112, V6317=1, V6318=70, V6319=0, V6320=70, V6321=0, V6322=70, V6323=0, V6324=70, V6325=1, V6326=41, V6327=0, V6328=41, V6329=1, V6330=16, V6331=0, V6332=16, V6333=0, V6334=16, V6335=0, V6336=16, V6337=0, V6338=16, V6339=1, V6340=0, V6341=0, V6342=0, V6343=0, V6344=0, V6345=0, V6346=0, V6347=0, V6348=0, V6349=0, V6350=0, V6351=0, V6352=0, V6353=0, V6354=0, V6355=0, V6356=0, V6357=112, V6358=0, V6359=112, V6360=0, V6361=112, V6362=0, V6363=112, V6364=0, V6365=112, V6366=1, V6367=83, V6368=0, V6369=83, V6370=1, V6371=58, V6372=1, V6373=34, V6374=0, V6375=34, V6376=1, V6377=16, V6378=0, V6379=16, V6380=1, V6381=0, V6382=0, V6383=0, V6384=0, V6385=0, V6386=0, V6387=0, V6388=0, V6389=0, V6390=0, V6391=0, V6392=0, V6393=0, V6394=0, V6395=0, V6396=0, V6397=0, V6398=112, V6399=0, V6400=112, V6401=0, V6402=112, V6403=0, V6404=112, V6405=0, V6406=112, V6407=1, V6408=83, V6409=0, V6410=83, V6411=1, V6412=58, V6413=1, V6414=34, V6415=0, V6416=34, V6417=1, V6418=16, V6419=0, V6420=16, V6421=1, V6422=0, V6423=0, V6424=0, V6425=0, V6426=0, V6427=0, V6428=0, V6429=0, V6430=0, V6431=0, V6432=0, V6433=0, V6434=0, V6435=0, V6436=0, V6437=0, V6438=0, V6439=112, V6440=0, V6441=112, V6442=0, V6443=112, V6444=0, V6445=112, V6446=0, V6447=112, V6448=1, V6449=83, V6450=0, V6451=83, V6452=1, V6453=58, V6454=1, V6455=34, V6456=0, V6457=34, V6458=1, V6459=16, V6460=0, V6461=16, V6462=1, V6463=0, V6464=0, V6465=0, V6466=0, V6467=0, V6468=0, V6469=0, V6470=0, V6471=0, V6472=0, V6473=0, V6474=0, V6475=0, V6476=0, V6477=0, V6478=0, V6479=0, V6480=112, V6481=0, V6482=112, V6483=0, V6484=112, V6485=0, V6486=112, V6487=0, V6488=112, V6489=1, V6490=83, V6491=0, V6492=83, V6493=1, V6494=58, V6495=1, V6496=34, V6497=0, V6498=34, V6499=1, V6500=16, V6501=0, V6502=16, V6503=1, V6504=0, V6505=0, V6506=0, V6507=0, V6508=0, V6509=0, V6510=0, V6511=0, V6512=0, V6513=0, V6514=0, V6515=0, V6516=0, V6517=0, V6518=0, V6519=0, V6520=0, V6521=112, V6522=0, V6523=112, V6524=0, V6525=112, V6526=0, V6527=112, V6528=0, V6529=112, V6530=1, V6531=83, V6532=0, V6533=83, V6534=1, V6535=58, V6536=1, V6537=34, V6538=0, V6539=34, V6540=1, V6541=16, V6542=0, V6543=16, V6544=1, V6545=0, V6546=0, V6547=0, V6548=0, V6549=0, V6550=0, V6551=0, V6552=0, V6553=0, V6554=0, V6555=0, V6556=0, V6557=0, V6558=0, V6559=0, V6560=0, V6561=0, V6562=112, V6563=0, V6564=112, V6565=0, V6566=112, V6567=0, V6568=112, V6569=0, V6570=112, V6571=1, V6572=83, V6573=0, V6574=83, V6575=1, V6576=58, V6577=1, V6578=34, V6579=0, V6580=34, V6581=1, V6582=16, V6583=0, V6584=16, V6585=1, V6586=0, V6587=0, V6588=0, V6589=0, V6590=0, V6591=0, V6592=0, V6593=0, V6594=0, V6595=0, V6596=0, V6597=0, V6598=0, V6599=0, V6600=0, V6601=0, V6602=0, V6603=112, V6604=0, V6605=112, V6606=0, V6607=112, V6608=0, V6609=112, V6610=0, V6611=112, V6612=1, V6613=83, V6614=0, V6615=83, V6616=1, V6617=58, V6618=1, V6619=34, V6620=0, V6621=34, V6622=1, V6623=16, V6624=0, V6625=16, V6626=1, V6627=0, V6628=0, V6629=0, V6630=0, V6631=0, V6632=0, V6633=0, V6634=0, V6635=0, V6636=0, V6637=0, V6638=0, V6639=0, V6640=0, V6641=0, V6642=0, V6643=0, V6644=112, V6645=0, V6646=112, V6647=0, V6648=112, V6649=0, V6650=112, V6651=0, V6652=112, V6653=1, V6654=83, V6655=0, V6656=83, V6657=1, V6658=58, V6659=1, V6660=34, V6661=0, V6662=34, V6663=1, V6664=16, V6665=0, V6666=16, V6667=1, V6668=0, V6669=0, V6670=0, V6671=0, V6672=0, V6673=0, V6674=0, V6675=0, V6676=0, V6677=0, V6678=0, V6679=0, V6680=0, V6681=0, V6682=0, V6683=0, V6684=0, V6685=112, V6686=0, V6687=112, V6688=0, V6689=112, V6690=0, V6691=112, V6692=0, V6693=112, V6694=1, V6695=83, V6696=0, V6697=83, V6698=1, V6699=58, V6700=1, V6701=34, V6702=0, V6703=34, V6704=1, V6705=16, V6706=0, V6707=16, V6708=1, V6709=0, V6710=0, V6711=0, V6712=0, V6713=0, V6714=0, V6715=0, V6716=0, V6717=0, V6718=0, V6719=0, V6720=0, V6721=0, V6722=0, V6723=0, V6724=0, V6725=0, V6726=112, V6727=0, V6728=112, V6729=0, V6730=112, V6731=0, V6732=112, V6733=0, V6734=112, V6735=1, V6736=83, V6737=0, V6738=83, V6739=1, V6740=58, V6741=1, V6742=34, V6743=0, V6744=34, V6745=1, V6746=16, V6747=0, V6748=16, V6749=1, V6750=0, V6751=0, V6752=0, V6753=0, V6754=0, V6755=0, V6756=0, V6757=0, V6758=0, V6759=0, V6760=0, V6761=0, V6762=0, V6763=0, V6764=0, V6765=0, V6766=0, V6767=112, V6768=0, V6769=112, V6770=0, V6771=112, V6772=0, V6773=112, V6774=0, V6775=112, V6776=1, V6777=83, V6778=0, V6779=83, V6780=1, V6781=58, V6782=1, V6783=34, V6784=0, V6785=34, V6786=1, V6787=16, V6788=0, V6789=16, V6790=1, V6791=0, V6792=0, V6793=0, V6794=0, V6795=0, V6796=0, V6797=0, V6798=0, V6799=0, V6800=0, V6801=0, V6802=0, V6803=0, V6804=0, V6805=0, V6806=0, V6807=0, V6808=112, V6809=0, V6810=112, V6811=0, V6812=112, V6813=0, V6814=112, V6815=0, V6816=112, V6817=1, V6818=83, V6819=0, V6820=83, V6821=1, V6822=58, V6823=1, V6824=34, V6825=0, V6826=34, V6827=1, V6828=16, V6829=0, V6830=16, V6831=0, V6832=16, V6833=0, V6834=16, V6835=0, V6836=16, V6837=1, V6838=7, V6839=0, V6840=7, V6841=1, V6842=0, V6843=0, V6844=0, V6845=0, V6846=0, V6847=0, V6848=0, V6849=112, V6850=0, V6851=112, V6852=0, V6853=112, V6854=0, V6855=112, V6856=0, V6857=112, V6858=1, V6859=83, V6860=0, V6861=83, V6862=1, V6863=58, V6864=1, V6865=34, V6866=0, V6867=34, V6868=1, V6869=16, V6870=0, V6871=16, V6872=0, V6873=16, V6874=0, V6875=16, V6876=0, V6877=16, V6878=1, V6879=7, V6880=0, V6881=7, V6882=1, V6883=0, V6884=0, V6885=0, V6886=0, V6887=0, V6888=0, V6889=0, V6890=112, V6891=0, V6892=112, V6893=0, V6894=112, V6895=0, V6896=112, V6897=0, V6898=112, V6899=1, V6900=83, V6901=0, V6902=83, V6903=1, V6904=58, V6905=1, V6906=34, V6907=0, V6908=34, V6909=1, V6910=16, V6911=0, V6912=16, V6913=0, V6914=16, V6915=0, V6916=16, V6917=0, V6918=16, V6919=1, V6920=7, V6921=0, V6922=7, V6923=1, V6924=0, V6925=0, V6926=0, V6927=0, V6928=0, V6929=0, V6930=0, V6931=112, V6932=0, V6933=112, V6934=0, V6935=112, V6936=0, V6937=112, V6938=0, V6939=112, V6940=1, V6941=83, V6942=0, V6943=83, V6944=1, V6945=58, V6946=1, V6947=34, V6948=0, V6949=34, V6950=1, V6951=16, V6952=0, V6953=16, V6954=0, V6955=16, V6956=0, V6957=16, V6958=0, V6959=16, V6960=1, V6961=7, V6962=0, V6963=7, V6964=1, V6965=0, V6966=0, V6967=0, V6968=0, V6969=0, V6970=0, V6971=0, V6972=112, V6973=0, V6974=112, V6975=0, V6976=112, V6977=0, V6978=112, V6979=0, V6980=112, V6981=1, V6982=83, V6983=0, V6984=83, V6985=1, V6986=58, V6987=1, V6988=34, V6989=0, V6990=34, V6991=1, V6992=16, V6993=0, V6994=16, V6995=0, V6996=16, V6997=0, V6998=16, V6999=0, V7000=16, V7001=1, V7002=7, V7003=0, V7004=7, V7005=1, V7006=0, V7007=0, V7008=0, V7009=0, V7010=0, V7011=0, V7012=0, V7013=112, V7014=0, V7015=112, V7016=0, V7017=112, V7018=0, V7019=112, V7020=0, V7021=112, V7022=1, V7023=83, V7024=0, V7025=83, V7026=1, V7027=58, V7028=1, V7029=34, V7030=0, V7031=34, V7032=1, V7033=16, V7034=0, V7035=16, V7036=0, V7037=16, V7038=0, V7039=16, V7040=0, V7041=16, V7042=1, V7043=7, V7044=0, V7045=7, V7046=1, V7047=0, V7048=0, V7049=0, V7050=0, V7051=0, V7052=0, V7053=0, V7054=112, V7055=0, V7056=112, V7057=0, V7058=112, V7059=0, V7060=112, V7061=0, V7062=112, V7063=1, V7064=83, V7065=0, V7066=83, V7067=1, V7068=58, V7069=1, V7070=34, V7071=0, V7072=34, V7073=1, V7074=16, V7075=0, V7076=16, V7077=0, V7078=16, V7079=0, V7080=16, V7081=0, V7082=16, V7083=1, V7084=7, V7085=0, V7086=7, V7087=1, V7088=0, V7089=0, V7090=0, V7091=0, V7092=0, V7093=0, V7094=0, V7095=112, V7096=0, V7097=112, V7098=0, V7099=112, V7100=0, V7101=112, V7102=0, V7103=112, V7104=1, V7105=83, V7106=0, V7107=83, V7108=1, V7109=58, V7110=1, V7111=34, V7112=0, V7113=34, V7114=0, V7115=34, V7116=1, V7117=17, V7118=0, V7119=17, V7120=0, V7121=17, V7122=0, V7123=17, V7124=1, V7125=8, V7126=0, V7127=8, V7128=0, V7129=8, V7130=1, V7131=2, V7132=0, V7133=2, V7134=1, V7135=0, V7136=112, V7137=0, V7138=112, V7139=0, V7140=112, V7141=0, V7142=112, V7143=0, V7144=112, V7145=1, V7146=83, V7147=0, V7148=83, V7149=1, V7150=58, V7151=1, V7152=34, V7153=0, V7154=34, V7155=0, V7156=34, V7157=1, V7158=17, V7159=0, V7160=17, V7161=0, V7162=17, V7163=0, V7164=17, V7165=1, V7166=8, V7167=0, V7168=8, V7169=0, V7170=8, V7171=1, V7172=2, V7173=0, V7174=2, V7175=1, V7176=1, V7177=62, V7178=0, V7179=62, V7180=0, V7181=62, V7182=0, V7183=62, V7184=0, V7185=62, V7186=0, V7187=62, V7188=0, V7189=62, V7190=0, V7191=62, V7192=1, V7193=38, V7194=0, V7195=38, V7196=0, V7197=38, V7198=1, V7199=21, V7200=0, V7201=21, V7202=1, V7203=6, V7204=0, V7205=6, V7206=0, V7207=6, V7208=0, V7209=6, V7210=0, V7211=6, V7212=1, V7213=0, V7214=0, V7215=0, V7216=0, V7217=1, V7218=62, V7219=0, V7220=62, V7221=0, V7222=62, V7223=0, V7224=62, V7225=0, V7226=62, V7227=0, V7228=62, V7229=0, V7230=62, V7231=0, V7232=62, V7233=1, V7234=38, V7235=0, V7236=38, V7237=0, V7238=38, V7239=1, V7240=21, V7241=0, V7242=21, V7243=1, V7244=6, V7245=0, V7246=6, V7247=0, V7248=6, V7249=0, V7250=6, V7251=0, V7252=6, V7253=1, V7254=0, V7255=0, V7256=0, V7257=0, V7258=1, V7259=62, V7260=0, V7261=62, V7262=0, V7263=62, V7264=0, V7265=62, V7266=0, V7267=62, V7268=0, V7269=62, V7270=0, V7271=62, V7272=0, V7273=62, V7274=1, V7275=38, V7276=0, V7277=38, V7278=0, V7279=38, V7280=1, V7281=21, V7282=0, V7283=21, V7284=1, V7285=6, V7286=0, V7287=6, V7288=0, V7289=6, V7290=0, V7291=6, V7292=0, V7293=6, V7294=1, V7295=0, V7296=0, V7297=0, V7298=0, V7299=1, V7300=62, V7301=0, V7302=62, V7303=0, V7304=62, V7305=0, V7306=62, V7307=0, V7308=62, V7309=0, V7310=62, V7311=0, V7312=62, V7313=0, V7314=62, V7315=1, V7316=38, V7317=0, V7318=38, V7319=0, V7320=38, V7321=1, V7322=21, V7323=0, V7324=21, V7325=1, V7326=6, V7327=0, V7328=6, V7329=0, V7330=6, V7331=0, V7332=6, V7333=0, V7334=6, V7335=1, V7336=0, V7337=0, V7338=0, V7339=0, V7340=1, V7341=62, V7342=0, V7343=62, V7344=0, V7345=62, V7346=0, V7347=62, V7348=0, V7349=62, V7350=0, V7351=62, V7352=0, V7353=62, V7354=0, V7355=62, V7356=0, V7357=62, V7358=1, V7359=43, V7360=0, V7361=43, V7362=1, V7363=26, V7364=0, V7365=26, V7366=1, V7367=11, V7368=1, V7369=0, V7370=0, V7371=0, V7372=0, V7373=0, V7374=0, V7375=0, V7376=0, V7377=0, V7378=0, V7379=0, V7380=0, V7381=1, V7382=62, V7383=0, V7384=62, V7385=0, V7386=62, V7387=0, V7388=62, V7389=0, V7390=62, V7391=0, V7392=62, V7393=0, V7394=62, V7395=0, V7396=62, V7397=0, V7398=62, V7399=1, V7400=43, V7401=0, V7402=43, V7403=1, V7404=26, V7405=0, V7406=26, V7407=1, V7408=11, V7409=1, V7410=0, V7411=0, V7412=0, V7413=0, V7414=0, V7415=0, V7416=0, V7417=0, V7418=0, V7419=0, V7420=0, V7421=0, V7422=1, V7423=62, V7424=0, V7425=62, V7426=0, V7427=62, V7428=0, V7429=62, V7430=0, V7431=62, V7432=0, V7433=62, V7434=0, V7435=62, V7436=0, V7437=62, V7438=0, V7439=62, V7440=1, V7441=43, V7442=0, V7443=43, V7444=1, V7445=26, V7446=0, V7447=26, V7448=1, V7449=11, V7450=1, V7451=0, V7452=0, V7453=0, V7454=0, V7455=0, V7456=0, V7457=0, V7458=0, V7459=0, V7460=0, V7461=0, V7462=0, V7463=1, V7464=62, V7465=0, V7466=62, V7467=0, V7468=62, V7469=0, V7470=62, V7471=0, V7472=62, V7473=0, V7474=62, V7475=0, V7476=62, V7477=0, V7478=62, V7479=0, V7480=62, V7481=1, V7482=43, V7483=0, V7484=43, V7485=1, V7486=26, V7487=0, V7488=26, V7489=1, V7490=11, V7491=1, V7492=0, V7493=0, V7494=0, V7495=0, V7496=0, V7497=0, V7498=0, V7499=0, V7500=0, V7501=0, V7502=0, V7503=0, V7504=1, V7505=62, V7506=0, V7507=62, V7508=0, V7509=62, V7510=0, V7511=62, V7512=0, V7513=62, V7514=0, V7515=62, V7516=0, V7517=62, V7518=0, V7519=62, V7520=0, V7521=62, V7522=1, V7523=43, V7524=0, V7525=43, V7526=1, V7527=26, V7528=0, V7529=26, V7530=1, V7531=11, V7532=1, V7533=0, V7534=0, V7535=0, V7536=0, V7537=0, V7538=0, V7539=0, V7540=0, V7541=0, V7542=0, V7543=0, V7544=0, V7545=1, V7546=62, V7547=0, V7548=62, V7549=0, V7550=62, V7551=0, V7552=62, V7553=0, V7554=62, V7555=0, V7556=62, V7557=0, V7558=62, V7559=0, V7560=62, V7561=0, V7562=62, V7563=1, V7564=43, V7565=0, V7566=43, V7567=1, V7568=26, V7569=0, V7570=26, V7571=1, V7572=11, V7573=1, V7574=0, V7575=0, V7576=0, V7577=0, V7578=0, V7579=0, V7580=0, V7581=0, V7582=0, V7583=0, V7584=0, V7585=0, V7586=1, V7587=62, V7588=0, V7589=62, V7590=0, V7591=62, V7592=0, V7593=62, V7594=0, V7595=62, V7596=0, V7597=62, V7598=0, V7599=62, V7600=0, V7601=62, V7602=0, V7603=62, V7604=1, V7605=43, V7606=0, V7607=43, V7608=1, V7609=26, V7610=0, V7611=26, V7612=1, V7613=11, V7614=1, V7615=0, V7616=0, V7617=0, V7618=0, V7619=0, V7620=0, V7621=0, V7622=0, V7623=0, V7624=0, V7625=0, V7626=0, V7627=1, V7628=62, V7629=0, V7630=62, V7631=0, V7632=62, V7633=0, V7634=62, V7635=0, V7636=62, V7637=0, V7638=62, V7639=0, V7640=62, V7641=0, V7642=62, V7643=0, V7644=62, V7645=1, V7646=43, V7647=0, V7648=43, V7649=1, V7650=26, V7651=0, V7652=26, V7653=1, V7654=11, V7655=1, V7656=0, V7657=0, V7658=0, V7659=0, V7660=0, V7661=0, V7662=0, V7663=0, V7664=0, V7665=0, V7666=0, V7667=0, V7668=1, V7669=62, V7670=0, V7671=62, V7672=0, V7673=62, V7674=0, V7675=62, V7676=0, V7677=62, V7678=0, V7679=62, V7680=0, V7681=62, V7682=0, V7683=62, V7684=0, V7685=62, V7686=1, V7687=43, V7688=0, V7689=43, V7690=1, V7691=26, V7692=0, V7693=26, V7694=1, V7695=11, V7696=1, V7697=0, V7698=0, V7699=0, V7700=0, V7701=0, V7702=0, V7703=0, V7704=0, V7705=0, V7706=0, V7707=0, V7708=0, V7709=1, V7710=62, V7711=0, V7712=62, V7713=0, V7714=62, V7715=0, V7716=62, V7717=0, V7718=62, V7719=0, V7720=62, V7721=0, V7722=62, V7723=0, V7724=62, V7725=0, V7726=62, V7727=1, V7728=43, V7729=0, V7730=43, V7731=1, V7732=26, V7733=0, V7734=26, V7735=1, V7736=11, V7737=1, V7738=0, V7739=0, V7740=0, V7741=0, V7742=0, V7743=0, V7744=0, V7745=0, V7746=0, V7747=0, V7748=0, V7749=0, V7750=1, V7751=62, V7752=0, V7753=62, V7754=0, V7755=62, V7756=0, V7757=62, V7758=0, V7759=62, V7760=0, V7761=62, V7762=0, V7763=62, V7764=0, V7765=62, V7766=0, V7767=62, V7768=1, V7769=43, V7770=0, V7771=43, V7772=1, V7773=26, V7774=0, V7775=26, V7776=1, V7777=11, V7778=1, V7779=0, V7780=0, V7781=0, V7782=0, V7783=0, V7784=0, V7785=0, V7786=0, V7787=0, V7788=0, V7789=0, V7790=0, V7791=1, V7792=62, V7793=0, V7794=62, V7795=0, V7796=62, V7797=1, V7798=27, V7799=0, V7800=27, V7801=0, V7802=27, V7803=0, V7804=27, V7805=0, V7806=27, V7807=0, V7808=27, V7809=1, V7810=8, V7811=0, V7812=8, V7813=0, V7814=8, V7815=0, V7816=8, V7817=0, V7818=8, V7819=0, V7820=8, V7821=0, V7822=8, V7823=1, V7824=0, V7825=0, V7826=0, V7827=0, V7828=0, V7829=0, V7830=0, V7831=0, V7832=1, V7833=62, V7834=0, V7835=62, V7836=0, V7837=62, V7838=1, V7839=27, V7840=0, V7841=27, V7842=0, V7843=27, V7844=0, V7845=27, V7846=0, V7847=27, V7848=0, V7849=27, V7850=1, V7851=8, V7852=0, V7853=8, V7854=0, V7855=8, V7856=0, V7857=8, V7858=0, V7859=8, V7860=0, V7861=8, V7862=0, V7863=8, V7864=1, V7865=0, V7866=0, V7867=0, V7868=0, V7869=0, V7870=0, V7871=0, V7872=0, V7873=1, V7874=62, V7875=0, V7876=62, V7877=0, V7878=62, V7879=1, V7880=27, V7881=0, V7882=27, V7883=0, V7884=27, V7885=0, V7886=27, V7887=0, V7888=27, V7889=0, V7890=27, V7891=1, V7892=8, V7893=0, V7894=8, V7895=0, V7896=8, V7897=0, V7898=8, V7899=0, V7900=8, V7901=0, V7902=8, V7903=0, V7904=8, V7905=1, V7906=0, V7907=0, V7908=0, V7909=0, V7910=0, V7911=0, V7912=0, V7913=0, V7914=1, V7915=62, V7916=0, V7917=62, V7918=0, V7919=62, V7920=1, V7921=27, V7922=0, V7923=27, V7924=0, V7925=27, V7926=0, V7927=27, V7928=0, V7929=27, V7930=0, V7931=27, V7932=1, V7933=8, V7934=0, V7935=8, V7936=0, V7937=8, V7938=0, V7939=8, V7940=0, V7941=8, V7942=0, V7943=8, V7944=0, V7945=8, V7946=1, V7947=0, V7948=0, V7949=0, V7950=0, V7951=0, V7952=0, V7953=0, V7954=0, V7955=1, V7956=62, V7957=0, V7958=62, V7959=0, V7960=62, V7961=1, V7962=27, V7963=0, V7964=27, V7965=0, V7966=27, V7967=0, V7968=27, V7969=0, V7970=27, V7971=0, V7972=27, V7973=1, V7974=8, V7975=0, V7976=8, V7977=0, V7978=8, V7979=0, V7980=8, V7981=0, V7982=8, V7983=0, V7984=8, V7985=0, V7986=8, V7987=1, V7988=0, V7989=0, V7990=0, V7991=0, V7992=0, V7993=0, V7994=0, V7995=0, V7996=1, V7997=62, V7998=0, V7999=62, V8000=0, V8001=62, V8002=1, V8003=27, V8004=0, V8005=27, V8006=0, V8007=27, V8008=0, V8009=27, V8010=0, V8011=27, V8012=0, V8013=27, V8014=1, V8015=8, V8016=0, V8017=8, V8018=0, V8019=8, V8020=0, V8021=8, V8022=0, V8023=8, V8024=0, V8025=8, V8026=0, V8027=8, V8028=1, V8029=0, V8030=0, V8031=0, V8032=0, V8033=0, V8034=0, V8035=0, V8036=0, V8037=1, V8038=62, V8039=0, V8040=62, V8041=0, V8042=62, V8043=1, V8044=27, V8045=0, V8046=27, V8047=0, V8048=27, V8049=0, V8050=27, V8051=0, V8052=27, V8053=0, V8054=27, V8055=1, V8056=8, V8057=0, V8058=8, V8059=0, V8060=8, V8061=0, V8062=8, V8063=0, V8064=8, V8065=0, V8066=8, V8067=0, V8068=8, V8069=1, V8070=0, V8071=0, V8072=0, V8073=0, V8074=0, V8075=0, V8076=0, V8077=0, V8078=1, V8079=62, V8080=0, V8081=62, V8082=0, V8083=62, V8084=1, V8085=27, V8086=0, V8087=27, V8088=0, V8089=27, V8090=0, V8091=27, V8092=0, V8093=27, V8094=0, V8095=27, V8096=1, V8097=8, V8098=0, V8099=8, V8100=0, V8101=8, V8102=0, V8103=8, V8104=0, V8105=8, V8106=0, V8107=8, V8108=0, V8109=8, V8110=1, V8111=0, V8112=0, V8113=0, V8114=0, V8115=0, V8116=0, V8117=0, V8118=0, V8119=1, V8120=62, V8121=0, V8122=62, V8123=0, V8124=62, V8125=1, V8126=27, V8127=0, V8128=27, V8129=0, V8130=27, V8131=1, V8132=0, V8133=0, V8134=0, V8135=0, V8136=0, V8137=0, V8138=0, V8139=0, V8140=0, V8141=0, V8142=0, V8143=0, V8144=0, V8145=0, V8146=0, V8147=0, V8148=0, V8149=0, V8150=0, V8151=0, V8152=0, V8153=0, V8154=0, V8155=0, V8156=0, V8157=0, V8158=0, V8159=0, V8160=1, V8161=62, V8162=0, V8163=62, V8164=0, V8165=62, V8166=1, V8167=27, V8168=0, V8169=27, V8170=0, V8171=27, V8172=1, V8173=0, V8174=0, V8175=0, V8176=0, V8177=0, V8178=0, V8179=0, V8180=0, V8181=0, V8182=0, V8183=0, V8184=0, V8185=0, V8186=0, V8187=0, V8188=0, V8189=0, V8190=0, V8191=0, V8192=0, V8193=0, V8194=0, V8195=0, V8196=0, V8197=0, V8198=0, V8199=0, V8200=0, V8201=1, V8202=62, V8203=0, V8204=62, V8205=0, V8206=62, V8207=1, V8208=27, V8209=0, V8210=27, V8211=0, V8212=27, V8213=1, V8214=0, V8215=0, V8216=0, V8217=0, V8218=0, V8219=0, V8220=0, V8221=0, V8222=0, V8223=0, V8224=0, V8225=0, V8226=0, V8227=0, V8228=0, V8229=0, V8230=0, V8231=0, V8232=0, V8233=0, V8234=0, V8235=0, V8236=0, V8237=0, V8238=0, V8239=0, V8240=0, V8241=0, V8242=1, V8243=62, V8244=0, V8245=62, V8246=0, V8247=62, V8248=1, V8249=27, V8250=0, V8251=27, V8252=0, V8253=27, V8254=1, V8255=0, V8256=0, V8257=0, V8258=0, V8259=0, V8260=0, V8261=0, V8262=0, V8263=0, V8264=0, V8265=0, V8266=0, V8267=0, V8268=0, V8269=0, V8270=0, V8271=0, V8272=0, V8273=0, V8274=0, V8275=0, V8276=0, V8277=0, V8278=0, V8279=0, V8280=0, V8281=0, V8282=0, V8283=1, V8284=62, V8285=0, V8286=62, V8287=0, V8288=62, V8289=1, V8290=27, V8291=0, V8292=27, V8293=0, V8294=27, V8295=1, V8296=0, V8297=0, V8298=0, V8299=0, V8300=0, V8301=0, V8302=0, V8303=0, V8304=0, V8305=0, V8306=0, V8307=0, V8308=0, V8309=0, V8310=0, V8311=0, V8312=0, V8313=0, V8314=0, V8315=0, V8316=0, V8317=0, V8318=0, V8319=0, V8320=0, V8321=0, V8322=0, V8323=0, V8324=1, V8325=62, V8326=0, V8327=62, V8328=0, V8329=62, V8330=1, V8331=27, V8332=0, V8333=27, V8334=0, V8335=27, V8336=1, V8337=0, V8338=0, V8339=0, V8340=0, V8341=0, V8342=0, V8343=0, V8344=0, V8345=0, V8346=0, V8347=0, V8348=0, V8349=0, V8350=0, V8351=0, V8352=0, V8353=0, V8354=0, V8355=0, V8356=0, V8357=0, V8358=0, V8359=0, V8360=0, V8361=0, V8362=0, V8363=0, V8364=0, V8365=1, V8366=62, V8367=0, V8368=62, V8369=0, V8370=62, V8371=1, V8372=27, V8373=0, V8374=27, V8375=0, V8376=27, V8377=1, V8378=0, V8379=0, V8380=0, V8381=0, V8382=0, V8383=0, V8384=0, V8385=0, V8386=0, V8387=0, V8388=0, V8389=0, V8390=0, V8391=0, V8392=0, V8393=0, V8394=0, V8395=0, V8396=0, V8397=0, V8398=0, V8399=0, V8400=0, V8401=0, V8402=0, V8403=0, V8404=0, V8405=0, V8406=1, V8407=62, V8408=0, V8409=62, V8410=0, V8411=62, V8412=1, V8413=27, V8414=0, V8415=27, V8416=0, V8417=27, V8418=1, V8419=0, V8420=0, V8421=0, V8422=0, V8423=0, V8424=0, V8425=0, V8426=0, V8427=0, V8428=0, V8429=0, V8430=0, V8431=0, V8432=0, V8433=0, V8434=0, V8435=0, V8436=0, V8437=0, V8438=0, V8439=0, V8440=0, V8441=0, V8442=0, V8443=0, V8444=0, V8445=0, V8446=0, V8447=1, V8448=62, V8449=0, V8450=62, V8451=0, V8452=62, V8453=1, V8454=27, V8455=0, V8456=27, V8457=0, V8458=27, V8459=1, V8460=0, V8461=0, V8462=0, V8463=0, V8464=0, V8465=0, V8466=0, V8467=0, V8468=0, V8469=0, V8470=0, V8471=0, V8472=0, V8473=0, V8474=0, V8475=0, V8476=0, V8477=0, V8478=0, V8479=0, V8480=0, V8481=0, V8482=0, V8483=0, V8484=0, V8485=0, V8486=0, V8487=0, V8488=1, V8489=62, V8490=0, V8491=62, V8492=0, V8493=62, V8494=1, V8495=27, V8496=0, V8497=27, V8498=0, V8499=27, V8500=1, V8501=0, V8502=0, V8503=0, V8504=0, V8505=0, V8506=0, V8507=0, V8508=0, V8509=0, V8510=0, V8511=0, V8512=0, V8513=0, V8514=0, V8515=0, V8516=0, V8517=0, V8518=0, V8519=0, V8520=0, V8521=0, V8522=0, V8523=0, V8524=0, V8525=0, V8526=0, V8527=0, V8528=0, V8529=1, V8530=62, V8531=0, V8532=62, V8533=0, V8534=62, V8535=1, V8536=27, V8537=0, V8538=27, V8539=0, V8540=27, V8541=1, V8542=0, V8543=0, V8544=0, V8545=0, V8546=0, V8547=0, V8548=0, V8549=0, V8550=0, V8551=0, V8552=0, V8553=0, V8554=0, V8555=0, V8556=0, V8557=0, V8558=0, V8559=0, V8560=0, V8561=0, V8562=0, V8563=0, V8564=0, V8565=0, V8566=0, V8567=0, V8568=0, V8569=0, V8570=1, V8571=62, V8572=0, V8573=62, V8574=0, V8575=62, V8576=1, V8577=27, V8578=0, V8579=27, V8580=0, V8581=27, V8582=1, V8583=0, V8584=0, V8585=0, V8586=0, V8587=0, V8588=0, V8589=0, V8590=0, V8591=0, V8592=0, V8593=0, V8594=0, V8595=0, V8596=0, V8597=0, V8598=0, V8599=0, V8600=0, V8601=0, V8602=0, V8603=0, V8604=0, V8605=0, V8606=0, V8607=0, V8608=0, V8609=0, V8610=0, V8611=1, V8612=62, V8613=0, V8614=62, V8615=0, V8616=62, V8617=1, V8618=27, V8619=0, V8620=27, V8621=0, V8622=27, V8623=1, V8624=0, V8625=0, V8626=0, V8627=0, V8628=0, V8629=0, V8630=0, V8631=0, V8632=0, V8633=0, V8634=0, V8635=0, V8636=0, V8637=0, V8638=0, V8639=0, V8640=0, V8641=0, V8642=0, V8643=0, V8644=0, V8645=0, V8646=0, V8647=0, V8648=0, V8649=0, V8650=0, V8651=0, V8652=1, V8653=62, V8654=0, V8655=62, V8656=0, V8657=62, V8658=1, V8659=27, V8660=0, V8661=27, V8662=0, V8663=27, V8664=1, V8665=0, V8666=0, V8667=0, V8668=0, V8669=0, V8670=0, V8671=0, V8672=0, V8673=0, V8674=0, V8675=0, V8676=0, V8677=0, V8678=0, V8679=0, V8680=0, V8681=0, V8682=0, V8683=0, V8684=0, V8685=0, V8686=0, V8687=0, V8688=0, V8689=0, V8690=0, V8691=0, V8692=0, V8693=1, V8694=62, V8695=0, V8696=62, V8697=0, V8698=62, V8699=1, V8700=27, V8701=0, V8702=27, V8703=0, V8704=27, V8705=1, V8706=0, V8707=0, V8708=0, V8709=0, V8710=0, V8711=0, V8712=0, V8713=0, V8714=0, V8715=0, V8716=0, V8717=0, V8718=0, V8719=0, V8720=0, V8721=0, V8722=0, V8723=0, V8724=0, V8725=0, V8726=0, V8727=0, V8728=0, V8729=0, V8730=0, V8731=0, V8732=0, V8733=0, V8734=1, V8735=62, V8736=0, V8737=62, V8738=0, V8739=62, V8740=1, V8741=27, V8742=0, V8743=27, V8744=0, V8745=27, V8746=1, V8747=0, V8748=0, V8749=0, V8750=0, V8751=0, V8752=0, V8753=0, V8754=0, V8755=0, V8756=0, V8757=0, V8758=0, V8759=0, V8760=0, V8761=0, V8762=0, V8763=0, V8764=0, V8765=0, V8766=0, V8767=0, V8768=0, V8769=0, V8770=0, V8771=0, V8772=0, V8773=0, V8774=0, V8775=1, V8776=62, V8777=0, V8778=62, V8779=0, V8780=62, V8781=1, V8782=27, V8783=0, V8784=27, V8785=0, V8786=27, V8787=1, V8788=0, V8789=0, V8790=0, V8791=0, V8792=0, V8793=0, V8794=0, V8795=0, V8796=0, V8797=0, V8798=0, V8799=0, V8800=0, V8801=0, V8802=0, V8803=0, V8804=0, V8805=0, V8806=0, V8807=0, V8808=0, V8809=0, V8810=0, V8811=0, V8812=0, V8813=0, V8814=0, V8815=0, V8816=1, V8817=62, V8818=0, V8819=62, V8820=0, V8821=62, V8822=1, V8823=27, V8824=0, V8825=27, V8826=0, V8827=27, V8828=1, V8829=0, V8830=0, V8831=0, V8832=0, V8833=0, V8834=0, V8835=0, V8836=0, V8837=0, V8838=0, V8839=0, V8840=0, V8841=0, V8842=0, V8843=0, V8844=0, V8845=0, V8846=0, V8847=0, V8848=0, V8849=0, V8850=0, V8851=0, V8852=0, V8853=0, V8854=0, V8855=0, V8856=0, V8857=1, V8858=62, V8859=0, V8860=62, V8861=0, V8862=62, V8863=1, V8864=27, V8865=0, V8866=27, V8867=0, V8868=27, V8869=1, V8870=0, V8871=0, V8872=0, V8873=0, V8874=0, V8875=0, V8876=0, V8877=0, V8878=0, V8879=0, V8880=0, V8881=0, V8882=0, V8883=0, V8884=0, V8885=0, V8886=0, V8887=0, V8888=0, V8889=0, V8890=0, V8891=0, V8892=0, V8893=0, V8894=0, V8895=0, V8896=0, V8897=0, V8898=1, V8899=62, V8900=0, V8901=62, V8902=0, V8903=62, V8904=1, V8905=27, V8906=0, V8907=27, V8908=0, V8909=27, V8910=1, V8911=0, V8912=0, V8913=0, V8914=0, V8915=0, V8916=0, V8917=0, V8918=0, V8919=0, V8920=0, V8921=0, V8922=0, V8923=0, V8924=0, V8925=0, V8926=0, V8927=0, V8928=0, V8929=0, V8930=0, V8931=0, V8932=0, V8933=0, V8934=0, V8935=0, V8936=0, V8937=0, V8938=0, V8939=1, V8940=62, V8941=0, V8942=62, V8943=0, V8944=62, V8945=1, V8946=27, V8947=0, V8948=27, V8949=0, V8950=27, V8951=1, V8952=0, V8953=0, V8954=0, V8955=0, V8956=0, V8957=0, V8958=0, V8959=0, V8960=0, V8961=0, V8962=0, V8963=0, V8964=0, V8965=0, V8966=0, V8967=0, V8968=0, V8969=0, V8970=0, V8971=0, V8972=0, V8973=0, V8974=0, V8975=0, V8976=0, V8977=0, V8978=0, V8979=0, V8980=1, V8981=62, V8982=0, V8983=62, V8984=0, V8985=62, V8986=1, V8987=27, V8988=0, V8989=27, V8990=0, V8991=27, V8992=1, V8993=0, V8994=0, V8995=0, V8996=0, V8997=0, V8998=0, V8999=0, V9000=0, V9001=0, V9002=0, V9003=0, V9004=0, V9005=0, V9006=0, V9007=0, V9008=0, V9009=0, V9010=0, V9011=0, V9012=0, V9013=0, V9014=0, V9015=0, V9016=0, V9017=0, V9018=0, V9019=0, V9020=0, V9021=1, V9022=62, V9023=0, V9024=62, V9025=0, V9026=62, V9027=1, V9028=27, V9029=0, V9030=27, V9031=0, V9032=27, V9033=1, V9034=0, V9035=0, V9036=0, V9037=0, V9038=0, V9039=0, V9040=0, V9041=0, V9042=0, V9043=0, V9044=0, V9045=0, V9046=0, V9047=0, V9048=0, V9049=0, V9050=0, V9051=0, V9052=0, V9053=0, V9054=0, V9055=0, V9056=0, V9057=0, V9058=0, V9059=0, V9060=0, V9061=0, V9062=1, V9063=62, V9064=0, V9065=62, V9066=0, V9067=62, V9068=1, V9069=27, V9070=0, V9071=27, V9072=0, V9073=27, V9074=1, V9075=0, V9076=0, V9077=0, V9078=0, V9079=0, V9080=0, V9081=0, V9082=0, V9083=0, V9084=0, V9085=0, V9086=0, V9087=0, V9088=0, V9089=0, V9090=0, V9091=0, V9092=0, V9093=0, V9094=0, V9095=0, V9096=0, V9097=0, V9098=0, V9099=0, V9100=0, V9101=0, V9102=0, V9103=1, V9104=62, V9105=0, V9106=62, V9107=0, V9108=62, V9109=1, V9110=27, V9111=0, V9112=27, V9113=0, V9114=27, V9115=1, V9116=0, V9117=0, V9118=0, V9119=0, V9120=0, V9121=0, V9122=0, V9123=0, V9124=0, V9125=0, V9126=0, V9127=0, V9128=0, V9129=0, V9130=0, V9131=0, V9132=0, V9133=0, V9134=0, V9135=0, V9136=0, V9137=0, V9138=0, V9139=0, V9140=0, V9141=0, V9142=0, V9143=0, V9144=1, V9145=62, V9146=0, V9147=62, V9148=0, V9149=62, V9150=1, V9151=27, V9152=0, V9153=27, V9154=0, V9155=27, V9156=1, V9157=0, V9158=0, V9159=0, V9160=0, V9161=0, V9162=0, V9163=0, V9164=0, V9165=0, V9166=0, V9167=0, V9168=0, V9169=0, V9170=0, V9171=0, V9172=0, V9173=0, V9174=0, V9175=0, V9176=0, V9177=0, V9178=0, V9179=0, V9180=0, V9181=0, V9182=0, V9183=0, V9184=0, V9185=1, V9186=62, V9187=0, V9188=62, V9189=0, V9190=62, V9191=1, V9192=27, V9193=0, V9194=27, V9195=0, V9196=27, V9197=1, V9198=0, V9199=0, V9200=0, V9201=0, V9202=0, V9203=0, V9204=0, V9205=0, V9206=0, V9207=0, V9208=0, V9209=0, V9210=0, V9211=0, V9212=0, V9213=0, V9214=0, V9215=0, V9216=0, V9217=0, V9218=0, V9219=0, V9220=0, V9221=0, V9222=0, V9223=0, V9224=0, V9225=0, 
1233.62/1238.75	v 62 62 0 0 42 0 27 77 79 0 83 33 0 85 58 37 0 42 0 66 24 42 30 60 42 37 47 62 19 66 49 53 19 77 42 53 24 60 79 33 47 60 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 0 19 0 19 0 19 0 19 0 19 1 8 0 8 1 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 0 19 0 19 0 19 0 19 0 19 1 8 0 8 1 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 0 19 0 19 0 19 0 19 0 19 1 8 0 8 1 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 0 19 0 19 0 19 0 19 0 19 1 8 0 8 1 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 1 19 0 19 0 19 0 19 0 19 0 19 1 8 0 8 1 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 0 43 0 43 1 25 0 25 0 25 0 25 1 14 0 14 1 6 0 6 1 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 0 43 0 43 1 25 0 25 0 25 0 25 1 14 0 14 1 6 0 6 1 0 0 0 0 0 112 1 70 0 70 0 70 0 70 0 70 1 43 0 43 0 43 0 43 1 25 0 25 0 25 0 25 1 14 0 14 1 6 0 6 1 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 0 17 0 17 0 17 1 6 0 6 0 6 0 6 1 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 0 17 0 17 0 17 1 6 0 6 0 6 0 6 1 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 0 17 0 17 0 17 1 6 0 6 0 6 0 6 1 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 1 35 0 35 0 35 0 35 0 35 0 35 0 35 1 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 23 1 7 0 7 0 7 0 7 0 7 1 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 23 1 7 0 7 0 7 0 7 0 7 1 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 23 1 7 0 7 0 7 0 7 0 7 1 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 23 1 7 0 7 0 7 0 7 0 7 1 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 23 1 7 0 7 0 7 0 7 0 7 1 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 0 9 0 9 1 2 0 2 0 2 1 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 0 9 0 9 1 2 0 2 0 2 1 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 0 40 1 24 1 9 0 9 1 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 1 15 0 15 0 15 0 15 0 15 0 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 1 15 0 15 0 15 0 15 0 15 0 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 1 15 0 15 0 15 0 15 0 15 0 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 1 75 1 40 0 40 0 40 0 40 1 15 0 15 0 15 0 15 0 15 0 15 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 1 25 0 25 0 25 0 25 0 25 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 0 29 0 29 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 1 62 0 62 0 62 0 62 1 29 0 29 0 29 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 1 62 0 62 0 62 0 62 1 29 0 29 0 29 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 1 62 0 62 0 62 0 62 1 29 0 29 0 29 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 1 29 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 1 33 0 33 0 33 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 0 112 1 70 1 33 0 33 0 33 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 0 112 1 70 1 33 0 33 0 33 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 0 112 1 70 1 33 0 33 0 33 1 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 0 4 1 0 0 0 112 1 70 0 70 0 70 0 70 1 41 0 41 1 16 0 16 0 16 0 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 1 41 0 41 1 16 0 16 0 16 0 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 1 41 0 41 1 16 0 16 0 16 0 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 1 41 0 41 1 16 0 16 0 16 0 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 1 70 0 70 0 70 0 70 1 41 0 41 1 16 0 16 0 16 0 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 1 16 0 16 0 16 0 16 0 16 1 7 0 7 1 0 0 0 0 0 0 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 0 34 1 17 0 17 0 17 0 17 1 8 0 8 0 8 1 2 0 2 1 0 112 0 112 0 112 0 112 0 112 1 83 0 83 1 58 1 34 0 34 0 34 1 17 0 17 0 17 0 17 1 8 0 8 0 8 1 2 0 2 1 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 38 0 38 0 38 1 21 0 21 1 6 0 6 0 6 0 6 0 6 1 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 38 0 38 0 38 1 21 0 21 1 6 0 6 0 6 0 6 0 6 1 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 38 0 38 0 38 1 21 0 21 1 6 0 6 0 6 0 6 0 6 1 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 38 0 38 0 38 1 21 0 21 1 6 0 6 0 6 0 6 0 6 1 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 0 62 1 43 0 43 1 26 0 26 1 11 1 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 0 27 0 27 0 27 1 8 0 8 0 8 0 8 0 8 0 8 0 8 1 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 62 0 62 0 62 1 27 0 27 0 27 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1234.72/1239.85	d ASSIGNMENTS 9257

OK

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078821-1247716539/watcher-2078821-1247716539 -o /tmp/evaluation-result-2078821-1247716539/solver-2078821-1247716539 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2117416453 HOME/instance-2078821-1247716539.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.94 2.00 1.99 4/72 12155
/proc/meminfo: memFree=1442144/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=5356 CPUtime=0
/proc/12155/stat : 12155 (pcssolve) R 12153 12155 10655 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58717969 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12155/statm: 1339 241 200 169 0 50 0
[pid=12156] ppid=12155 vsize=0 CPUtime=0
/proc/12156/stat : 12156 (pcssolve) R 12155 12155 10655 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58717970 0 0 996147200 0 0 0 18446744073709551615 272836914471 0 0 4096 0 0 0 0 17 1 0 0
/proc/12156/statm: 0 0 0 0 0 0 0
[pid=12157] ppid=12155 vsize=5356 CPUtime=0
/proc/12157/stat : 12157 (pcssolve) R 12155 12155 10655 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58717970 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12157/statm: 1339 241 200 169 0 50 0

[startup+0.06204 s]
/proc/loadavg: 1.94 2.00 1.99 4/72 12155
/proc/meminfo: memFree=1442144/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=5384 CPUtime=0.04
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 1002 660 0 0 4 0 0 0 18 0 1 0 58717969 5513216 633 996147200 134512640 135215973 4294956304 18446744073709551615 12654203 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 1346 633 361 171 0 271 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5384

[startup+0.102039 s]
/proc/loadavg: 1.94 2.00 1.99 4/72 12155
/proc/meminfo: memFree=1442144/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=7652 CPUtime=0.07
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 1618 660 0 0 7 0 0 0 18 0 1 0 58717969 7835648 1036 996147200 134512640 135215973 4294956304 18446744073709551615 12654203 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 1913 1036 383 171 0 838 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7652

[startup+0.301053 s]
/proc/loadavg: 1.94 2.00 1.99 4/72 12155
/proc/meminfo: memFree=1442144/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=9568 CPUtime=0.27
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 2226 660 0 0 27 0 0 0 19 0 1 0 58717969 9797632 1546 996147200 134512640 135215973 4294956304 18446744073709551615 12654203 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 2392 1546 388 171 0 1317 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9568

[startup+0.70108 s]
/proc/loadavg: 1.94 2.00 1.99 4/72 12155
/proc/meminfo: memFree=1442144/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=20948 CPUtime=0.67
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 5797 660 0 0 65 2 0 0 23 0 1 0 58717969 21450752 3871 996147200 134512640 135215973 4294956304 18446744073709551615 12654203 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 5237 3871 388 171 0 4162 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20948

[startup+1.50113 s]
/proc/loadavg: 1.95 2.00 1.99 3/73 12160
/proc/meminfo: memFree=1424088/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=36036 CPUtime=1.47
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 11186 660 0 0 142 5 0 0 25 0 1 0 58717969 36900864 7958 996147200 134512640 135215973 4294956304 18446744073709551615 134908116 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 9009 7958 410 171 0 7934 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36036

[startup+3.10124 s]
/proc/loadavg: 1.95 2.00 1.99 3/73 12160
/proc/meminfo: memFree=1408728/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=42844 CPUtime=3.06
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 13614 660 0 0 300 6 0 0 25 0 1 0 58717969 43872256 9724 996147200 134512640 135215973 4294956304 18446744073709551615 134584091 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 10711 9724 414 171 0 9636 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42844

[startup+6.30146 s]
/proc/loadavg: 1.95 2.00 1.99 3/73 12160
/proc/meminfo: memFree=1396888/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=53036 CPUtime=6.25
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 16974 660 0 0 618 7 0 0 25 0 1 0 58717969 54308864 11614 996147200 134512640 135215973 4294956304 18446744073709551615 134589810 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 13259 11614 414 171 0 12184 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 53036

[startup+12.7019 s]
/proc/loadavg: 1.96 2.00 1.99 3/73 12160
/proc/meminfo: memFree=1396312/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=53968 CPUtime=12.61
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 19989 660 0 0 1253 8 0 0 25 0 1 0 58717969 55263232 11787 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/12155/statm: 13492 11787 414 171 0 12417 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 53968

[startup+25.5018 s]
/proc/loadavg: 1.96 2.00 1.99 3/82 12200
/proc/meminfo: memFree=1382032/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=54996 CPUtime=25.34
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 24283 660 0 0 2524 10 0 0 25 0 1 0 58717969 56315904 12063 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 13749 12063 414 171 0 12674 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 54996

[startup+51.1015 s]
/proc/loadavg: 2.23 2.06 2.01 4/83 12243
/proc/meminfo: memFree=1106376/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=56344 CPUtime=50.84
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 33560 660 0 0 5068 16 0 0 25 0 1 0 58717969 57696256 12357 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 14086 12357 414 171 0 13011 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 56344

[startup+102.307 s]
/proc/loadavg: 2.20 2.08 2.02 3/83 12244
/proc/meminfo: memFree=709632/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=70668 CPUtime=101.81
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 53153 660 0 0 10157 24 0 0 25 0 1 0 58717969 72364032 15318 996147200 134512640 135215973 4294956304 18446744073709551615 134600087 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 17667 15318 414 171 0 16592 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 70668

[startup+162.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/83 12244
/proc/meminfo: memFree=689024/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=88844 CPUtime=161.57
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 81935 660 0 0 16120 37 0 0 25 0 1 0 58717969 90976256 20433 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 22211 20433 414 171 0 21136 0
Current children cumulated CPU time (s) 161.57
Current children cumulated vsize (KiB) 88844

[startup+222.302 s]
/proc/loadavg: 2.02 2.05 2.01 3/82 12318
/proc/meminfo: memFree=1327824/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=114140 CPUtime=221.33
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 110716 660 0 0 22080 53 0 0 25 0 1 0 58717969 116879360 26776 996147200 134512640 135215973 4294956304 18446744073709551615 134902639 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 28535 26776 414 171 0 27460 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 114140

[startup+282.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/82 12318
/proc/meminfo: memFree=1304720/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=137440 CPUtime=281.09
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 138146 660 0 0 28046 63 0 0 25 0 1 0 58717969 140738560 32536 996147200 134512640 135215973 4294956304 18446744073709551615 134600439 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 34360 32536 414 171 0 33285 0
Current children cumulated CPU time (s) 281.09
Current children cumulated vsize (KiB) 137440

[startup+342.302 s]
/proc/loadavg: 2.17 2.07 2.01 3/82 12366
/proc/meminfo: memFree=1268624/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=167376 CPUtime=340.84
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 170902 660 0 0 34006 78 0 0 25 0 1 0 58717969 171393024 39691 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 41844 39691 414 171 0 40769 0
Current children cumulated CPU time (s) 340.84
Current children cumulated vsize (KiB) 167376

[startup+402.301 s]
/proc/loadavg: 2.27 2.11 2.02 3/82 12366
/proc/meminfo: memFree=1241680/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=192292 CPUtime=400.59
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 202310 660 0 0 39969 90 0 0 25 0 1 0 58717969 196907008 46109 996147200 134512640 135215973 4294956304 18446744073709551615 134584978 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 48073 46109 414 171 0 46998 0
Current children cumulated CPU time (s) 400.59
Current children cumulated vsize (KiB) 192292

[startup+462.301 s]
/proc/loadavg: 2.13 2.10 2.02 3/73 12441
/proc/meminfo: memFree=1240152/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=212808 CPUtime=460.34
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 233685 660 0 0 45930 104 0 0 25 0 1 0 58717969 217915392 51367 996147200 134512640 135215973 4294956304 18446744073709551615 135096239 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 53202 51367 414 171 0 52127 0
Current children cumulated CPU time (s) 460.34
Current children cumulated vsize (KiB) 212808

[startup+522.301 s]
/proc/loadavg: 2.05 2.08 2.02 3/73 12441
/proc/meminfo: memFree=1209496/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=242880 CPUtime=520.11
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 268127 660 0 0 51892 119 0 0 25 0 1 0 58717969 248709120 58030 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 60720 58030 414 171 0 59645 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (KiB) 242880

[startup+582.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/73 12441
/proc/meminfo: memFree=1174424/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=271888 CPUtime=579.86
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 305426 660 0 0 57853 133 0 0 25 0 1 0 58717969 278413312 65488 996147200 134512640 135215973 4294956304 18446744073709551615 134596301 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 67972 65488 414 171 0 66897 0
Current children cumulated CPU time (s) 579.86
Current children cumulated vsize (KiB) 271888

[startup+642.301 s]
/proc/loadavg: 2.00 2.05 2.00 3/73 12441
/proc/meminfo: memFree=1150808/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=290936 CPUtime=639.63
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 333984 660 0 0 63818 145 0 0 25 0 1 0 58717969 297918464 70379 996147200 134512640 135215973 4294956304 18446744073709551615 4158961217 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 72734 70379 414 171 0 71659 0
Current children cumulated CPU time (s) 639.63
Current children cumulated vsize (KiB) 290936

[startup+702.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 12441
/proc/meminfo: memFree=1129368/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=305520 CPUtime=699.38
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 358654 660 0 0 69784 154 0 0 25 0 1 0 58717969 312852480 74077 996147200 134512640 135215973 4294956304 18446744073709551615 134612264 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 76380 74077 414 171 0 75305 0
Current children cumulated CPU time (s) 699.38
Current children cumulated vsize (KiB) 305520

[startup+762.306 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 12441
/proc/meminfo: memFree=1113880/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=317708 CPUtime=759.14
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 381858 660 0 0 75750 164 0 0 25 0 1 0 58717969 325332992 77191 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 79427 77191 414 171 0 78352 0
Current children cumulated CPU time (s) 759.14
Current children cumulated vsize (KiB) 317708

[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/73 12441
/proc/meminfo: memFree=1096856/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=329764 CPUtime=818.9
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 406096 660 0 0 81714 176 0 0 25 0 1 0 58717969 337678336 80261 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 82441 80261 414 171 0 81366 0
Current children cumulated CPU time (s) 818.9
Current children cumulated vsize (KiB) 329764

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12441
/proc/meminfo: memFree=1062104/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=358784 CPUtime=878.66
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 437493 660 0 0 87679 187 0 0 25 0 1 0 58717969 367394816 87746 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 89696 87746 414 171 0 88621 0
Current children cumulated CPU time (s) 878.66
Current children cumulated vsize (KiB) 358784

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12441
/proc/meminfo: memFree=1042392/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=369404 CPUtime=938.41
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 461648 660 0 0 93645 196 0 0 25 0 1 0 58717969 378269696 90488 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 92351 90488 414 171 0 91276 0
Current children cumulated CPU time (s) 938.41
Current children cumulated vsize (KiB) 369404

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12441
/proc/meminfo: memFree=1031896/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=377328 CPUtime=998.17
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 483093 660 0 0 99610 207 0 0 25 0 1 0 58717969 386383872 92529 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 94332 92529 414 171 0 93257 0
Current children cumulated CPU time (s) 998.17
Current children cumulated vsize (KiB) 377328

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12441
/proc/meminfo: memFree=1020760/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=385016 CPUtime=1057.93
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 503173 660 0 0 105578 215 0 0 25 0 1 0 58717969 394256384 94479 996147200 134512640 135215973 4294956304 18446744073709551615 134581371 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 96254 94479 414 171 0 95179 0
Current children cumulated CPU time (s) 1057.93
Current children cumulated vsize (KiB) 385016

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12441
/proc/meminfo: memFree=1006424/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=394724 CPUtime=1117.69
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 521934 660 0 0 111546 223 0 0 25 0 1 0 58717969 404197376 96972 996147200 134512640 135215973 4294956304 18446744073709551615 134533179 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 98681 96972 414 171 0 97606 0
Current children cumulated CPU time (s) 1117.69
Current children cumulated vsize (KiB) 394724

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1028952/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=403532 CPUtime=1177.45
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 538899 660 0 0 117515 230 0 0 25 0 1 0 58717969 413216768 99237 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 100883 99237 414 171 0 99808 0
Current children cumulated CPU time (s) 1177.45
Current children cumulated vsize (KiB) 403532

Solver just ended. Dumping a history of the last processes samples

[startup+1203.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1022040/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=415036 CPUtime=1198.17
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 546551 660 0 0 119583 234 0 0 25 0 1 0 58717969 424996864 100087 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 103759 100087 414 171 0 102684 0
Current children cumulated CPU time (s) 1198.17
Current children cumulated vsize (KiB) 415036

[startup+1215.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1019992/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=416784 CPUtime=1210.91
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 550130 660 0 0 120856 235 0 0 25 0 1 0 58717969 426786816 100530 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 104196 100530 414 171 0 103121 0
Current children cumulated CPU time (s) 1210.91
Current children cumulated vsize (KiB) 416784

[startup+1228.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1017304/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=419528 CPUtime=1223.66
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 556094 660 0 0 122128 238 0 0 25 0 1 0 58717969 429596672 101251 996147200 134512640 135215973 4294956304 18446744073709551615 134617699 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 104882 101251 414 171 0 103807 0
Current children cumulated CPU time (s) 1223.66
Current children cumulated vsize (KiB) 419528

[startup+1235.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1000216/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=422292 CPUtime=1230.04
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 561470 660 0 0 122763 241 0 0 25 0 1 0 58717969 432427008 101972 996147200 134512640 135215973 4294956304 18446744073709551615 134902041 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 105573 101972 414 171 0 104498 0
Current children cumulated CPU time (s) 1230.04
Current children cumulated vsize (KiB) 422292

[startup+1238.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=997976/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=426212 CPUtime=1233.22
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 563667 660 0 0 123081 241 0 0 25 0 1 0 58717969 436441088 102944 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 106553 102944 414 171 0 105478 0
Current children cumulated CPU time (s) 1233.22
Current children cumulated vsize (KiB) 426212

[startup+1239.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=995672/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=420724 CPUtime=1234.02
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 564106 660 0 0 123160 242 0 0 25 0 1 0 58717969 430821376 102242 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 105181 102242 414 171 0 104106 0
Current children cumulated CPU time (s) 1234.02
Current children cumulated vsize (KiB) 420724

[startup+1239.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=995672/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=418032 CPUtime=1234.42
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194304 564106 660 0 0 123200 242 0 0 25 0 1 0 58717969 428064768 101569 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 104508 101569 414 171 0 103433 0
Current children cumulated CPU time (s) 1234.42
Current children cumulated vsize (KiB) 418032

[startup+1239.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12472
/proc/meminfo: memFree=1001496/2055920 swapFree=4192812/4192956
[pid=12155] ppid=12153 vsize=0 CPUtime=1234.82
/proc/12155/stat : 12155 (pcs.big) R 12153 12155 10655 0 -1 4194308 564109 660 0 0 123235 247 0 0 25 0 1 0 58717969 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/12155/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1234.82
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1239.91
CPU time (s): 1234.85
CPU user time (s): 1232.35
CPU system time (s): 2.49362
CPU usage (%): 99.5915
Max. virtual memory (cumulated for all children) (KiB): 426476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1232.35
system time used= 2.49362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 17132

runsolver used 1.12983 second user time and 3.41448 second system time

The end

Begin job on node39 at 2009-07-16 05:55:39
IDJOB=2078821
IDBENCH=56816
IDSOLVER=734
FILE ID=node39/2078821-1247716539
PBS_JOBID= 9521356
Free space on /tmp= 66356 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/nengfa/normalized-pack.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078821-1247716539/watcher-2078821-1247716539 -o /tmp/evaluation-result-2078821-1247716539/solver-2078821-1247716539 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2117416453 HOME/instance-2078821-1247716539.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 5180adc317c1c1529db105bbc2f77fdb
RANDOM SEED=2117416453

node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1442624 kB
Buffers:         84472 kB
Cached:         421516 kB
SwapCached:          0 kB
Active:         211120 kB
Inactive:       318420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1442624 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4024 kB
Writeback:           0 kB
Mapped:          34996 kB
Slab:            69180 kB
Committed_AS:   552988 kB
PageTables:       1732 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66356 MiB
End job on node39 at 2009-07-16 06:16:19