0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.02	c Seed is 470059813
0.00/0.02	c Constructing HOME/instance-2078820-1247716537.xml  with 65002 constraints
1.06/1.20	c Solving 12008 backtracks 14 restarts
1614.20/1627.73	s SATISFIABLE
1614.20/1627.73	c V0=62, V1=0, V2=0, V3=70, V4=0, V5=33, V6=77, V7=50, V8=0, V9=0, V10=33, V11=0, V12=85, V13=85, V14=37, V15=29, V16=42, V17=88, V18=66, V19=93, V20=42, V21=70, V22=60, V23=65, V24=37, V25=54, V26=62, V27=50, V28=66, V29=82, V30=53, V31=54, V32=77, V33=85, V34=53, V35=63, V36=60, V37=82, V38=33, V39=29, V40=60, V41=63, V42=0, V43=112, V44=1, V45=70, V46=1, V47=33, V48=0, V49=33, V50=1, V51=0, V52=0, V53=0, V54=0, V55=0, V56=0, V57=0, V58=0, V59=0, V60=0, 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=1, V88=33, V89=0, V90=33, V91=1, V92=0, V93=0, V94=0, V95=0, V96=0, V97=0, V98=0, V99=0, V100=0, V101=0, 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=1, V129=33, V130=0, V131=33, V132=1, V133=0, V134=0, V135=0, V136=0, V137=0, V138=0, V139=0, V140=0, V141=0, V142=0, 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=1, V170=33, V171=0, V172=33, V173=1, V174=0, V175=0, V176=0, V177=0, V178=0, V179=0, V180=0, V181=0, V182=0, V183=0, 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=1, V211=33, V212=0, V213=33, V214=1, V215=0, V216=0, V217=0, V218=0, V219=0, V220=0, V221=0, V222=0, V223=0, V224=0, 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=1, V252=33, V253=0, V254=33, V255=1, V256=0, V257=0, V258=0, V259=0, V260=0, V261=0, V262=0, V263=0, V264=0, V265=0, 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=1, V293=33, V294=0, V295=33, V296=1, V297=0, V298=0, V299=0, V300=0, V301=0, V302=0, V303=0, V304=0, V305=0, V306=0, 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=1, V334=33, V335=0, V336=33, V337=1, V338=0, V339=0, V340=0, V341=0, V342=0, V343=0, V344=0, V345=0, V346=0, V347=0, 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=1, V375=33, V376=0, V377=33, V378=1, V379=0, V380=0, V381=0, V382=0, V383=0, V384=0, V385=0, V386=0, V387=0, V388=0, 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=1, V416=33, V417=0, V418=33, V419=1, V420=0, V421=0, V422=0, V423=0, V424=0, V425=0, V426=0, V427=0, V428=0, V429=0, 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=1, V457=33, V458=0, V459=33, V460=1, V461=0, V462=0, V463=0, V464=0, V465=0, V466=0, V467=0, V468=0, V469=0, V470=0, 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=1, V498=33, V499=0, V500=33, V501=1, V502=0, V503=0, V504=0, V505=0, V506=0, V507=0, V508=0, V509=0, V510=0, V511=0, 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=1, V539=33, V540=0, V541=33, V542=1, V543=0, V544=0, V545=0, V546=0, V547=0, V548=0, V549=0, V550=0, V551=0, V552=0, 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=1, V580=33, V581=0, V582=33, V583=1, V584=0, V585=0, V586=0, V587=0, V588=0, V589=0, V590=0, V591=0, V592=0, V593=0, 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=1, V621=33, V622=0, V623=33, V624=1, V625=0, V626=0, V627=0, V628=0, V629=0, V630=0, V631=0, V632=0, V633=0, V634=0, 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=1, V662=33, V663=0, V664=33, V665=1, V666=0, V667=0, V668=0, V669=0, V670=0, V671=0, V672=0, V673=0, V674=0, V675=0, 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=1, V703=33, V704=0, V705=33, V706=1, V707=0, V708=0, V709=0, V710=0, V711=0, V712=0, V713=0, V714=0, V715=0, V716=0, 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=1, V744=33, V745=0, V746=33, V747=1, V748=0, V749=0, V750=0, V751=0, V752=0, V753=0, V754=0, V755=0, V756=0, V757=0, 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=1, V785=33, V786=0, V787=33, V788=1, V789=0, V790=0, V791=0, V792=0, V793=0, V794=0, V795=0, V796=0, V797=0, V798=0, 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=1, V826=33, V827=0, V828=33, V829=1, V830=0, V831=0, V832=0, V833=0, V834=0, V835=0, V836=0, V837=0, V838=0, V839=0, V840=0, V841=0, V842=0, V843=0, V844=0, V845=0, V846=0, V847=0, V848=0, V849=0, V850=0, V851=0, V852=0, V853=0, 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=1, V867=33, V868=0, V869=33, V870=1, V871=0, V872=0, V873=0, V874=0, V875=0, V876=0, V877=0, V878=0, V879=0, V880=0, V881=0, V882=0, V883=0, V884=0, V885=0, V886=0, V887=0, V888=0, V889=0, V890=0, V891=0, V892=0, V893=0, V894=0, 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=1, V908=33, V909=0, V910=33, V911=1, V912=0, V913=0, V914=0, V915=0, V916=0, V917=0, V918=0, V919=0, V920=0, V921=0, V922=0, V923=0, V924=0, V925=0, V926=0, V927=0, V928=0, V929=0, V930=0, V931=0, V932=0, V933=0, V934=0, V935=0, 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=1, V949=33, V950=0, V951=33, V952=1, V953=0, V954=0, V955=0, V956=0, V957=0, V958=0, V959=0, V960=0, V961=0, V962=0, V963=0, V964=0, V965=0, V966=0, V967=0, V968=0, V969=0, V970=0, V971=0, V972=0, V973=0, V974=0, V975=0, V976=0, 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=1, V990=33, V991=0, V992=33, V993=1, V994=0, V995=0, V996=0, V997=0, V998=0, V999=0, V1000=0, V1001=0, V1002=0, V1003=0, V1004=0, V1005=0, V1006=0, V1007=0, V1008=0, V1009=0, V1010=0, V1011=0, V1012=0, V1013=0, V1014=0, V1015=0, V1016=0, V1017=0, 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=1, V1031=33, V1032=0, V1033=33, V1034=1, V1035=0, V1036=0, V1037=0, V1038=0, V1039=0, V1040=0, V1041=0, V1042=0, V1043=0, V1044=0, V1045=0, V1046=0, V1047=0, V1048=0, V1049=0, V1050=0, V1051=0, V1052=0, V1053=0, V1054=0, V1055=0, V1056=0, V1057=0, V1058=0, V1059=0, V1060=0, V1061=0, V1062=0, V1063=0, V1064=0, V1065=0, V1066=0, V1067=0, V1068=112, V1069=1, V1070=70, V1071=1, V1072=33, V1073=0, V1074=33, V1075=1, V1076=0, V1077=0, V1078=0, V1079=0, V1080=0, V1081=0, V1082=0, V1083=0, V1084=0, V1085=0, V1086=0, V1087=0, V1088=0, V1089=0, V1090=0, V1091=0, V1092=0, V1093=0, V1094=0, V1095=0, V1096=0, V1097=0, V1098=0, V1099=0, V1100=0, V1101=0, V1102=0, V1103=0, V1104=0, V1105=0, V1106=0, V1107=0, V1108=0, V1109=112, V1110=1, V1111=70, V1112=1, V1113=33, V1114=0, V1115=33, V1116=1, V1117=0, V1118=0, V1119=0, V1120=0, V1121=0, V1122=0, V1123=0, V1124=0, V1125=0, V1126=0, V1127=0, V1128=0, V1129=0, V1130=0, V1131=0, V1132=0, V1133=0, V1134=0, V1135=0, V1136=0, V1137=0, V1138=0, V1139=0, V1140=0, V1141=0, V1142=0, V1143=0, V1144=0, V1145=0, V1146=0, V1147=0, V1148=0, V1149=0, V1150=112, V1151=1, V1152=70, V1153=1, V1154=33, V1155=0, V1156=33, V1157=1, V1158=0, V1159=0, V1160=0, V1161=0, V1162=0, V1163=0, V1164=0, V1165=0, V1166=0, V1167=0, V1168=0, V1169=0, V1170=0, V1171=0, V1172=0, V1173=0, V1174=0, V1175=0, V1176=0, V1177=0, V1178=0, V1179=0, V1180=0, V1181=0, V1182=0, V1183=0, V1184=0, V1185=0, V1186=0, V1187=0, V1188=0, V1189=0, V1190=0, V1191=112, V1192=1, V1193=70, V1194=1, V1195=33, V1196=0, V1197=33, V1198=1, V1199=0, V1200=0, V1201=0, V1202=0, V1203=0, V1204=0, V1205=0, V1206=0, V1207=0, V1208=0, V1209=0, V1210=0, V1211=0, V1212=0, V1213=0, V1214=0, V1215=0, V1216=0, V1217=0, V1218=0, V1219=0, V1220=0, V1221=0, V1222=0, V1223=0, V1224=0, V1225=0, V1226=0, V1227=0, V1228=0, V1229=0, V1230=0, V1231=0, V1232=112, V1233=1, V1234=70, V1235=1, V1236=33, V1237=0, V1238=33, V1239=1, V1240=0, V1241=0, V1242=0, V1243=0, V1244=0, V1245=0, V1246=0, V1247=0, V1248=0, V1249=0, V1250=0, V1251=0, V1252=0, V1253=0, V1254=0, V1255=0, V1256=0, V1257=0, V1258=0, V1259=0, V1260=0, V1261=0, V1262=0, V1263=0, V1264=0, V1265=0, V1266=0, V1267=0, V1268=0, V1269=0, V1270=0, V1271=0, V1272=0, V1273=112, V1274=1, V1275=70, V1276=1, V1277=33, V1278=0, V1279=33, V1280=1, V1281=0, V1282=0, V1283=0, V1284=0, V1285=0, V1286=0, V1287=0, V1288=0, V1289=0, V1290=0, V1291=0, V1292=0, V1293=0, V1294=0, 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=1, V1318=33, V1319=0, V1320=33, V1321=1, V1322=0, V1323=0, V1324=0, V1325=0, V1326=0, V1327=0, V1328=0, V1329=0, V1330=0, V1331=0, V1332=0, V1333=0, V1334=0, V1335=0, 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=1, V1359=33, V1360=0, V1361=33, V1362=1, V1363=0, V1364=0, V1365=0, V1366=0, V1367=0, V1368=0, V1369=0, V1370=0, V1371=0, V1372=0, V1373=0, V1374=0, V1375=0, V1376=0, 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=1, V1400=33, V1401=0, V1402=33, V1403=0, V1404=33, V1405=1, V1406=4, V1407=0, V1408=4, V1409=0, V1410=4, V1411=0, V1412=4, V1413=0, V1414=4, V1415=0, V1416=4, V1417=0, V1418=4, V1419=0, V1420=4, V1421=0, V1422=4, V1423=0, V1424=4, V1425=0, V1426=4, V1427=0, V1428=4, V1429=0, V1430=4, V1431=0, V1432=4, V1433=1, V1434=0, V1435=0, V1436=0, V1437=112, V1438=1, V1439=70, V1440=1, V1441=33, V1442=0, V1443=33, V1444=0, V1445=33, V1446=1, V1447=4, V1448=0, V1449=4, V1450=0, V1451=4, V1452=0, V1453=4, V1454=0, V1455=4, V1456=0, V1457=4, V1458=0, V1459=4, V1460=0, V1461=4, V1462=0, V1463=4, V1464=0, V1465=4, V1466=0, V1467=4, V1468=0, V1469=4, V1470=0, V1471=4, V1472=0, V1473=4, V1474=1, V1475=0, V1476=0, V1477=0, V1478=112, V1479=1, V1480=70, V1481=1, V1482=33, V1483=0, V1484=33, V1485=0, V1486=33, V1487=1, V1488=4, V1489=0, V1490=4, V1491=0, V1492=4, V1493=0, V1494=4, V1495=0, V1496=4, V1497=0, V1498=4, V1499=0, V1500=4, V1501=0, V1502=4, V1503=0, V1504=4, V1505=0, V1506=4, V1507=0, V1508=4, V1509=0, V1510=4, V1511=0, V1512=4, V1513=0, V1514=4, V1515=1, V1516=0, V1517=0, V1518=0, V1519=112, V1520=1, V1521=70, V1522=1, V1523=33, V1524=0, V1525=33, V1526=0, V1527=33, V1528=1, V1529=4, V1530=0, V1531=4, V1532=0, V1533=4, V1534=0, V1535=4, V1536=0, V1537=4, V1538=0, V1539=4, V1540=0, V1541=4, V1542=0, V1543=4, V1544=0, V1545=4, V1546=0, V1547=4, V1548=0, V1549=4, V1550=0, V1551=4, V1552=0, V1553=4, V1554=0, V1555=4, V1556=1, V1557=0, V1558=0, V1559=0, V1560=112, V1561=1, V1562=70, V1563=0, V1564=70, V1565=0, V1566=70, V1567=0, V1568=70, V1569=1, V1570=41, V1571=0, V1572=41, V1573=1, V1574=16, V1575=0, V1576=16, V1577=0, V1578=16, V1579=0, V1580=16, V1581=0, V1582=16, V1583=1, 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=0, V1607=70, V1608=0, V1609=70, V1610=1, V1611=41, V1612=0, V1613=41, V1614=1, V1615=16, V1616=0, V1617=16, V1618=0, V1619=16, V1620=0, V1621=16, V1622=0, V1623=16, V1624=1, 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=0, V1648=70, V1649=0, V1650=70, V1651=1, V1652=41, V1653=0, V1654=41, V1655=1, V1656=16, V1657=0, V1658=16, V1659=0, V1660=16, V1661=0, V1662=16, V1663=0, V1664=16, V1665=1, 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=0, V1689=70, V1690=0, V1691=70, V1692=1, V1693=41, V1694=0, V1695=41, V1696=1, V1697=16, V1698=0, V1699=16, V1700=0, V1701=16, V1702=0, V1703=16, V1704=0, V1705=16, V1706=1, 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=0, V1730=70, V1731=0, V1732=70, V1733=1, V1734=41, V1735=0, V1736=41, V1737=1, V1738=16, V1739=0, V1740=16, V1741=0, V1742=16, V1743=0, V1744=16, V1745=0, V1746=16, V1747=1, 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=0, V1769=112, V1770=0, V1771=112, V1772=0, V1773=112, V1774=1, V1775=83, V1776=0, V1777=83, V1778=1, V1779=58, V1780=1, V1781=34, V1782=0, V1783=34, V1784=1, V1785=16, V1786=0, V1787=16, V1788=1, V1789=0, V1790=0, V1791=0, V1792=0, V1793=0, V1794=0, V1795=0, V1796=0, V1797=0, V1798=0, V1799=0, V1800=0, V1801=0, V1802=0, V1803=0, V1804=0, V1805=0, V1806=112, V1807=0, V1808=112, V1809=0, V1810=112, V1811=0, V1812=112, V1813=0, V1814=112, V1815=1, V1816=83, V1817=0, V1818=83, V1819=1, V1820=58, V1821=1, V1822=34, V1823=0, V1824=34, V1825=1, V1826=16, V1827=0, V1828=16, V1829=1, V1830=0, V1831=0, V1832=0, V1833=0, V1834=0, V1835=0, V1836=0, V1837=0, V1838=0, V1839=0, V1840=0, V1841=0, V1842=0, V1843=0, V1844=0, V1845=0, V1846=0, V1847=112, V1848=0, V1849=112, V1850=0, V1851=112, V1852=0, V1853=112, V1854=0, V1855=112, V1856=1, V1857=83, V1858=0, V1859=83, V1860=1, V1861=58, V1862=1, V1863=34, V1864=0, V1865=34, V1866=1, V1867=16, V1868=0, V1869=16, V1870=1, V1871=0, V1872=0, V1873=0, V1874=0, V1875=0, V1876=0, V1877=0, V1878=0, V1879=0, V1880=0, V1881=0, V1882=0, V1883=0, V1884=0, V1885=0, V1886=0, V1887=0, V1888=112, V1889=0, V1890=112, V1891=0, V1892=112, V1893=0, V1894=112, V1895=0, V1896=112, V1897=1, V1898=83, V1899=0, V1900=83, V1901=1, V1902=58, V1903=1, V1904=34, V1905=0, V1906=34, V1907=1, V1908=16, V1909=0, V1910=16, V1911=1, V1912=0, V1913=0, V1914=0, V1915=0, V1916=0, V1917=0, V1918=0, V1919=0, V1920=0, V1921=0, V1922=0, V1923=0, V1924=0, V1925=0, V1926=0, V1927=0, V1928=0, V1929=112, V1930=0, V1931=112, V1932=0, V1933=112, V1934=0, V1935=112, V1936=0, V1937=112, V1938=1, V1939=83, V1940=0, V1941=83, V1942=1, V1943=58, V1944=1, V1945=34, V1946=0, V1947=34, V1948=1, V1949=16, V1950=0, V1951=16, V1952=1, V1953=0, V1954=0, V1955=0, V1956=0, V1957=0, V1958=0, V1959=0, V1960=0, V1961=0, V1962=0, V1963=0, V1964=0, V1965=0, V1966=0, V1967=0, V1968=0, V1969=0, V1970=112, V1971=0, V1972=112, V1973=0, V1974=112, V1975=0, V1976=112, V1977=0, V1978=112, V1979=1, V1980=83, V1981=0, V1982=83, V1983=1, V1984=58, V1985=1, V1986=34, V1987=0, V1988=34, V1989=1, V1990=16, V1991=0, V1992=16, V1993=1, V1994=0, V1995=0, V1996=0, V1997=0, V1998=0, V1999=0, V2000=0, V2001=0, V2002=0, V2003=0, V2004=0, V2005=0, V2006=0, V2007=0, V2008=0, V2009=0, V2010=0, V2011=112, V2012=0, V2013=112, V2014=0, V2015=112, V2016=0, V2017=112, V2018=0, V2019=112, V2020=1, V2021=83, V2022=0, V2023=83, V2024=1, V2025=58, V2026=1, V2027=34, V2028=0, V2029=34, V2030=1, V2031=16, V2032=0, V2033=16, V2034=1, V2035=0, V2036=0, V2037=0, V2038=0, V2039=0, V2040=0, V2041=0, V2042=0, V2043=0, V2044=0, V2045=0, V2046=0, V2047=0, V2048=0, V2049=0, V2050=0, V2051=0, V2052=112, V2053=0, V2054=112, V2055=0, V2056=112, V2057=0, V2058=112, V2059=0, V2060=112, V2061=1, V2062=83, V2063=0, V2064=83, V2065=1, V2066=58, V2067=1, V2068=34, V2069=0, V2070=34, V2071=1, V2072=16, V2073=0, V2074=16, V2075=1, V2076=0, V2077=0, V2078=0, V2079=0, V2080=0, V2081=0, 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=0, V2097=112, V2098=0, V2099=112, V2100=0, V2101=112, V2102=1, V2103=83, V2104=0, V2105=83, V2106=1, V2107=58, V2108=1, V2109=34, V2110=0, V2111=34, V2112=1, V2113=16, V2114=0, V2115=16, V2116=1, V2117=0, V2118=0, V2119=0, V2120=0, V2121=0, V2122=0, 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=0, V2138=112, V2139=0, V2140=112, V2141=0, V2142=112, V2143=1, V2144=83, V2145=0, V2146=83, V2147=1, V2148=58, V2149=1, V2150=34, V2151=0, V2152=34, V2153=1, V2154=16, V2155=0, V2156=16, V2157=1, V2158=0, V2159=0, V2160=0, V2161=0, V2162=0, V2163=0, 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=0, V2179=112, V2180=0, V2181=112, V2182=0, V2183=112, V2184=1, V2185=83, V2186=0, V2187=83, V2188=1, V2189=58, V2190=1, V2191=34, V2192=0, V2193=34, V2194=1, V2195=16, V2196=0, V2197=16, V2198=1, V2199=0, V2200=0, V2201=0, V2202=0, V2203=0, V2204=0, 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=0, V2220=112, V2221=0, V2222=112, V2223=0, V2224=112, V2225=1, V2226=83, V2227=0, V2228=83, V2229=1, V2230=58, V2231=1, V2232=34, V2233=0, V2234=34, V2235=1, V2236=16, V2237=0, V2238=16, V2239=0, V2240=16, V2241=0, V2242=16, V2243=0, V2244=16, V2245=1, V2246=7, V2247=0, V2248=7, V2249=1, V2250=0, V2251=0, V2252=0, V2253=0, V2254=0, V2255=0, V2256=0, V2257=112, V2258=0, V2259=112, V2260=0, V2261=112, V2262=0, V2263=112, V2264=0, V2265=112, V2266=1, V2267=83, V2268=0, V2269=83, V2270=1, V2271=58, V2272=1, V2273=34, V2274=0, V2275=34, V2276=1, V2277=16, V2278=0, V2279=16, V2280=0, V2281=16, V2282=0, V2283=16, V2284=0, V2285=16, V2286=1, V2287=7, V2288=0, V2289=7, V2290=1, V2291=0, V2292=0, V2293=0, V2294=0, V2295=0, V2296=0, V2297=0, V2298=112, V2299=0, V2300=112, V2301=0, V2302=112, V2303=0, V2304=112, V2305=0, V2306=112, V2307=1, V2308=83, V2309=0, V2310=83, V2311=1, V2312=58, V2313=1, V2314=34, V2315=0, V2316=34, V2317=1, V2318=16, V2319=0, V2320=16, V2321=0, V2322=16, V2323=0, V2324=16, V2325=0, V2326=16, V2327=1, V2328=7, V2329=0, V2330=7, V2331=1, V2332=0, V2333=0, V2334=0, V2335=0, V2336=0, V2337=0, V2338=0, V2339=112, V2340=0, V2341=112, V2342=0, V2343=112, V2344=0, V2345=112, V2346=0, V2347=112, V2348=1, V2349=83, V2350=0, V2351=83, V2352=1, V2353=58, V2354=1, V2355=34, V2356=0, V2357=34, V2358=1, V2359=16, V2360=0, V2361=16, V2362=0, V2363=16, V2364=0, V2365=16, V2366=0, V2367=16, V2368=1, V2369=7, V2370=0, V2371=7, V2372=1, V2373=0, V2374=0, V2375=0, V2376=0, V2377=0, V2378=0, V2379=0, V2380=112, V2381=0, V2382=112, V2383=0, V2384=112, V2385=0, V2386=112, V2387=0, V2388=112, V2389=1, V2390=83, V2391=0, V2392=83, V2393=1, V2394=58, V2395=1, V2396=34, V2397=0, V2398=34, V2399=1, V2400=16, V2401=0, V2402=16, V2403=0, V2404=16, V2405=0, V2406=16, V2407=0, V2408=16, V2409=1, V2410=7, V2411=0, V2412=7, V2413=1, V2414=0, V2415=0, V2416=0, V2417=0, V2418=0, V2419=0, V2420=0, V2421=112, V2422=0, V2423=112, V2424=0, V2425=112, V2426=0, V2427=112, V2428=0, V2429=112, V2430=1, V2431=83, V2432=0, V2433=83, V2434=1, V2435=58, V2436=1, V2437=34, V2438=0, V2439=34, V2440=1, V2441=16, V2442=0, V2443=16, V2444=0, V2445=16, V2446=0, V2447=16, V2448=0, V2449=16, V2450=1, V2451=7, V2452=0, V2453=7, V2454=1, V2455=0, V2456=0, V2457=0, V2458=0, V2459=0, V2460=0, V2461=0, V2462=112, V2463=0, V2464=112, V2465=0, V2466=112, V2467=0, V2468=112, V2469=0, V2470=112, V2471=1, V2472=83, V2473=0, V2474=83, V2475=1, V2476=58, V2477=1, V2478=34, V2479=0, V2480=34, V2481=1, V2482=16, V2483=0, V2484=16, V2485=0, V2486=16, V2487=0, V2488=16, V2489=0, V2490=16, V2491=1, V2492=7, V2493=0, V2494=7, V2495=1, V2496=0, V2497=0, V2498=0, V2499=0, V2500=0, V2501=0, V2502=0, V2503=112, V2504=0, V2505=112, V2506=0, V2507=112, V2508=0, V2509=112, V2510=0, V2511=112, V2512=1, V2513=83, V2514=0, V2515=83, V2516=1, V2517=58, V2518=1, V2519=34, V2520=0, V2521=34, V2522=0, V2523=34, V2524=1, V2525=17, V2526=0, V2527=17, V2528=0, V2529=17, V2530=0, V2531=17, V2532=1, V2533=8, V2534=0, V2535=8, V2536=0, V2537=8, V2538=1, V2539=2, V2540=0, V2541=2, V2542=1, V2543=0, V2544=112, V2545=0, V2546=112, V2547=0, V2548=112, V2549=0, V2550=112, V2551=0, V2552=112, V2553=1, V2554=83, V2555=0, V2556=83, V2557=1, V2558=58, V2559=1, V2560=34, V2561=0, V2562=34, V2563=0, V2564=34, V2565=1, V2566=17, V2567=0, V2568=17, V2569=0, V2570=17, V2571=0, V2572=17, V2573=1, V2574=8, V2575=0, V2576=8, V2577=0, V2578=8, V2579=1, V2580=2, V2581=0, V2582=2, V2583=1, V2584=1, V2585=62, V2586=0, V2587=62, V2588=0, V2589=62, V2590=0, V2591=62, V2592=0, V2593=62, V2594=0, V2595=62, V2596=0, V2597=62, V2598=0, V2599=62, V2600=1, V2601=38, V2602=0, V2603=38, V2604=0, V2605=38, V2606=1, V2607=21, V2608=0, V2609=21, V2610=1, V2611=6, V2612=0, V2613=6, V2614=0, V2615=6, V2616=0, V2617=6, V2618=0, V2619=6, V2620=1, V2621=0, V2622=0, V2623=0, V2624=0, V2625=1, V2626=62, V2627=0, V2628=62, V2629=0, V2630=62, V2631=0, V2632=62, V2633=0, V2634=62, V2635=0, V2636=62, V2637=0, V2638=62, V2639=0, V2640=62, V2641=1, V2642=38, V2643=0, V2644=38, V2645=0, V2646=38, V2647=1, V2648=21, V2649=0, V2650=21, V2651=1, V2652=6, V2653=0, V2654=6, V2655=0, V2656=6, V2657=0, V2658=6, V2659=0, V2660=6, V2661=1, V2662=0, V2663=0, V2664=0, V2665=0, V2666=1, V2667=62, V2668=0, V2669=62, V2670=0, V2671=62, V2672=0, V2673=62, V2674=0, V2675=62, V2676=0, V2677=62, V2678=0, V2679=62, V2680=0, V2681=62, V2682=1, V2683=38, V2684=0, V2685=38, V2686=0, V2687=38, V2688=1, V2689=21, V2690=0, V2691=21, V2692=1, V2693=6, V2694=0, V2695=6, V2696=0, V2697=6, V2698=0, V2699=6, V2700=0, V2701=6, V2702=1, V2703=0, V2704=0, V2705=0, V2706=0, V2707=1, V2708=62, V2709=0, V2710=62, V2711=0, V2712=62, V2713=0, V2714=62, V2715=0, V2716=62, V2717=0, V2718=62, V2719=0, V2720=62, V2721=0, V2722=62, V2723=1, V2724=38, V2725=0, V2726=38, V2727=0, V2728=38, V2729=1, V2730=21, V2731=0, V2732=21, V2733=1, V2734=6, V2735=0, V2736=6, V2737=0, V2738=6, V2739=0, V2740=6, V2741=0, V2742=6, V2743=1, V2744=0, V2745=0, V2746=0, V2747=0, V2748=1, V2749=62, V2750=0, V2751=62, V2752=0, V2753=62, V2754=0, V2755=62, V2756=0, V2757=62, V2758=0, V2759=62, V2760=0, V2761=62, V2762=0, V2763=62, V2764=0, V2765=62, V2766=1, V2767=43, V2768=0, V2769=43, V2770=1, V2771=26, V2772=0, V2773=26, V2774=1, V2775=11, V2776=1, 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=0, V2794=62, V2795=0, V2796=62, V2797=0, V2798=62, V2799=0, V2800=62, V2801=0, V2802=62, V2803=0, V2804=62, V2805=0, V2806=62, V2807=1, V2808=43, V2809=0, V2810=43, V2811=1, V2812=26, V2813=0, V2814=26, V2815=1, V2816=11, V2817=1, 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=0, V2835=62, V2836=0, V2837=62, V2838=0, V2839=62, V2840=0, V2841=62, V2842=0, V2843=62, V2844=0, V2845=62, V2846=0, V2847=62, V2848=1, V2849=43, V2850=0, V2851=43, V2852=1, V2853=26, V2854=0, V2855=26, V2856=1, V2857=11, V2858=1, 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=0, V2876=62, V2877=0, V2878=62, V2879=0, V2880=62, V2881=0, V2882=62, V2883=0, V2884=62, V2885=0, V2886=62, V2887=0, V2888=62, V2889=1, V2890=43, V2891=0, V2892=43, V2893=1, V2894=26, V2895=0, V2896=26, V2897=1, V2898=11, V2899=1, 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=0, V2917=62, V2918=0, V2919=62, V2920=0, V2921=62, V2922=0, V2923=62, V2924=0, V2925=62, V2926=0, V2927=62, V2928=0, V2929=62, V2930=1, V2931=43, V2932=0, V2933=43, V2934=1, V2935=26, V2936=0, V2937=26, V2938=1, V2939=11, V2940=1, 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=0, V2958=62, V2959=0, V2960=62, V2961=0, V2962=62, V2963=0, V2964=62, V2965=0, V2966=62, V2967=0, V2968=62, V2969=0, V2970=62, V2971=1, V2972=43, V2973=0, V2974=43, V2975=1, V2976=26, V2977=0, V2978=26, V2979=1, V2980=11, V2981=1, 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=0, V2999=62, V3000=0, V3001=62, V3002=0, V3003=62, V3004=0, V3005=62, V3006=0, V3007=62, V3008=0, V3009=62, V3010=0, V3011=62, V3012=1, V3013=43, V3014=0, V3015=43, V3016=1, V3017=26, V3018=0, V3019=26, V3020=1, V3021=11, V3022=1, 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=0, V3040=62, V3041=0, V3042=62, V3043=0, V3044=62, V3045=0, V3046=62, V3047=0, V3048=62, V3049=0, V3050=62, V3051=0, V3052=62, V3053=1, V3054=43, V3055=0, V3056=43, V3057=1, V3058=26, V3059=0, V3060=26, V3061=1, V3062=11, V3063=1, 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=0, V3081=62, V3082=0, V3083=62, V3084=0, V3085=62, V3086=0, V3087=62, V3088=0, V3089=62, V3090=0, V3091=62, V3092=0, V3093=62, V3094=1, V3095=43, V3096=0, V3097=43, V3098=1, V3099=26, V3100=0, V3101=26, V3102=1, V3103=11, V3104=1, 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=0, V3122=62, V3123=0, V3124=62, V3125=0, V3126=62, V3127=0, V3128=62, V3129=0, V3130=62, V3131=0, V3132=62, V3133=0, V3134=62, V3135=1, V3136=43, V3137=0, V3138=43, V3139=1, V3140=26, V3141=0, V3142=26, V3143=1, V3144=11, V3145=1, 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=0, V3163=62, V3164=0, V3165=62, V3166=0, V3167=62, V3168=0, V3169=62, V3170=0, V3171=62, V3172=0, V3173=62, V3174=0, V3175=62, V3176=1, V3177=43, V3178=0, V3179=43, V3180=1, V3181=26, V3182=0, V3183=26, V3184=1, V3185=11, V3186=1, 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=0, V3204=62, V3205=1, V3206=27, V3207=0, V3208=27, V3209=0, V3210=27, V3211=0, V3212=27, V3213=0, V3214=27, V3215=0, V3216=27, V3217=1, V3218=8, V3219=0, V3220=8, V3221=0, V3222=8, V3223=0, V3224=8, V3225=0, V3226=8, V3227=0, V3228=8, V3229=0, V3230=8, V3231=1, 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=0, V3245=62, V3246=1, V3247=27, V3248=0, V3249=27, V3250=0, V3251=27, V3252=0, V3253=27, V3254=0, V3255=27, V3256=0, V3257=27, V3258=1, V3259=8, V3260=0, V3261=8, V3262=0, V3263=8, V3264=0, V3265=8, V3266=0, V3267=8, V3268=0, V3269=8, V3270=0, V3271=8, V3272=1, 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=1, V3288=27, V3289=0, V3290=27, V3291=0, V3292=27, V3293=0, V3294=27, V3295=0, V3296=27, V3297=0, V3298=27, V3299=1, V3300=8, V3301=0, V3302=8, V3303=0, V3304=8, V3305=0, V3306=8, V3307=0, V3308=8, V3309=0, V3310=8, V3311=0, V3312=8, V3313=1, V3314=0, V3315=0, V3316=0, V3317=0, V3318=0, V3319=0, V3320=0, V3321=0, V3322=1, V3323=62, V3324=0, V3325=62, V3326=0, V3327=62, V3328=1, V3329=27, V3330=0, V3331=27, V3332=0, V3333=27, V3334=0, V3335=27, V3336=0, V3337=27, V3338=0, V3339=27, V3340=1, V3341=8, V3342=0, V3343=8, V3344=0, V3345=8, V3346=0, V3347=8, V3348=0, V3349=8, V3350=0, V3351=8, V3352=0, V3353=8, V3354=1, V3355=0, V3356=0, V3357=0, V3358=0, V3359=0, V3360=0, V3361=0, V3362=0, V3363=1, V3364=62, V3365=0, V3366=62, V3367=0, V3368=62, V3369=1, V3370=27, V3371=0, V3372=27, V3373=0, V3374=27, V3375=0, V3376=27, V3377=0, V3378=27, V3379=0, V3380=27, V3381=1, V3382=8, V3383=0, V3384=8, V3385=0, V3386=8, V3387=0, V3388=8, V3389=0, V3390=8, V3391=0, V3392=8, V3393=0, V3394=8, V3395=1, V3396=0, V3397=0, V3398=0, V3399=0, V3400=0, V3401=0, V3402=0, V3403=0, V3404=1, V3405=62, V3406=0, V3407=62, V3408=0, V3409=62, V3410=1, V3411=27, V3412=0, V3413=27, V3414=0, V3415=27, V3416=0, V3417=27, V3418=0, V3419=27, V3420=0, V3421=27, V3422=1, V3423=8, V3424=0, V3425=8, V3426=0, V3427=8, V3428=0, V3429=8, V3430=0, V3431=8, V3432=0, V3433=8, V3434=0, V3435=8, V3436=1, V3437=0, V3438=0, V3439=0, V3440=0, V3441=0, V3442=0, V3443=0, V3444=0, V3445=1, V3446=62, V3447=0, V3448=62, V3449=0, V3450=62, V3451=1, V3452=27, V3453=0, V3454=27, V3455=0, V3456=27, V3457=0, V3458=27, V3459=0, V3460=27, V3461=0, V3462=27, V3463=1, V3464=8, V3465=0, V3466=8, V3467=0, V3468=8, V3469=0, V3470=8, V3471=0, V3472=8, V3473=0, V3474=8, V3475=0, V3476=8, V3477=1, 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=1, V3493=27, V3494=0, V3495=27, V3496=0, V3497=27, V3498=0, V3499=27, V3500=0, V3501=27, V3502=0, V3503=27, V3504=1, V3505=8, V3506=0, V3507=8, V3508=0, V3509=8, V3510=0, V3511=8, V3512=0, V3513=8, V3514=0, V3515=8, V3516=0, V3517=8, V3518=1, 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=1, V3534=27, V3535=0, V3536=27, V3537=0, V3538=27, V3539=1, 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=1, V3575=27, V3576=0, V3577=27, V3578=0, V3579=27, V3580=1, 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=1, V3616=27, V3617=0, V3618=27, V3619=0, V3620=27, V3621=1, 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=1, V3657=27, V3658=0, V3659=27, V3660=0, V3661=27, V3662=1, 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=1, V3698=27, V3699=0, V3700=27, V3701=0, V3702=27, V3703=1, 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=1, V3739=27, V3740=0, V3741=27, V3742=0, V3743=27, V3744=1, 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=1, V3780=27, V3781=0, V3782=27, V3783=0, V3784=27, V3785=1, 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=1, V3821=27, V3822=0, V3823=27, V3824=0, V3825=27, V3826=1, 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=1, V3862=27, V3863=0, V3864=27, V3865=0, V3866=27, V3867=1, 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=1, V3903=27, V3904=0, V3905=27, V3906=0, V3907=27, V3908=1, 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=1, V3944=27, V3945=0, V3946=27, V3947=0, V3948=27, V3949=1, 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=1, V3985=27, V3986=0, V3987=27, V3988=0, V3989=27, V3990=1, 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=1, V4026=27, V4027=0, V4028=27, V4029=0, V4030=27, V4031=1, 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=1, V4067=27, V4068=0, V4069=27, V4070=0, V4071=27, V4072=1, 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=1, V4108=27, V4109=0, V4110=27, V4111=0, V4112=27, V4113=1, 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=1, V4149=27, V4150=0, V4151=27, V4152=0, V4153=27, V4154=1, 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=1, V4190=27, V4191=0, V4192=27, V4193=0, V4194=27, V4195=1, 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=1, V4231=27, V4232=0, V4233=27, V4234=0, V4235=27, V4236=1, 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=1, V4272=27, V4273=0, V4274=27, V4275=0, V4276=27, V4277=1, 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=1, V4313=27, V4314=0, V4315=27, V4316=0, V4317=27, V4318=1, 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=1, V4354=27, V4355=0, V4356=27, V4357=0, V4358=27, V4359=1, 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=1, V4395=27, V4396=0, V4397=27, V4398=0, V4399=27, V4400=1, 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=1, V4436=27, V4437=0, V4438=27, V4439=0, V4440=27, V4441=1, 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=1, V4477=27, V4478=0, V4479=27, V4480=0, V4481=27, V4482=1, 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=1, V4518=27, V4519=0, V4520=27, V4521=0, V4522=27, V4523=1, 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=1, V4559=27, V4560=0, V4561=27, V4562=0, V4563=27, V4564=1, 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=1, V4600=27, V4601=0, V4602=27, V4603=0, V4604=27, V4605=1, 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=1, V4635=62, V4636=0, V4637=62, V4638=0, V4639=62, V4640=0, V4641=62, V4642=1, V4643=29, V4644=1, 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=1, V4676=62, V4677=0, V4678=62, V4679=0, V4680=62, V4681=0, V4682=62, V4683=1, V4684=29, V4685=1, 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=1, V4717=62, V4718=0, V4719=62, V4720=0, V4721=62, V4722=0, V4723=62, V4724=1, V4725=29, V4726=1, 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=1, V4758=62, V4759=0, V4760=62, V4761=0, V4762=62, V4763=0, V4764=62, V4765=1, V4766=29, V4767=1, 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=1, V4799=62, V4800=0, V4801=62, V4802=0, V4803=62, V4804=0, V4805=62, V4806=1, V4807=29, V4808=1, 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=1, V4840=62, V4841=0, V4842=62, V4843=0, V4844=62, V4845=0, V4846=62, V4847=1, V4848=29, V4849=1, 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=1, V4881=62, V4882=0, V4883=62, V4884=0, V4885=62, V4886=0, V4887=62, V4888=1, V4889=29, V4890=1, 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=1, V4922=62, V4923=0, V4924=62, V4925=0, V4926=62, V4927=0, V4928=62, V4929=1, V4930=29, V4931=1, 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=1, V4963=62, V4964=0, V4965=62, V4966=0, V4967=62, V4968=0, V4969=62, V4970=1, V4971=29, V4972=1, 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=1, V5004=62, V5005=0, V5006=62, V5007=0, V5008=62, V5009=0, V5010=62, V5011=1, V5012=29, V5013=1, 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=1, V5045=62, V5046=0, V5047=62, V5048=0, V5049=62, V5050=0, V5051=62, V5052=1, V5053=29, V5054=1, 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=1, V5086=62, V5087=0, V5088=62, V5089=0, V5090=62, V5091=0, V5092=62, V5093=1, V5094=29, V5095=1, 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=1, V5127=62, V5128=0, V5129=62, V5130=0, V5131=62, V5132=0, V5133=62, V5134=1, V5135=29, V5136=1, 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=1, V5168=62, V5169=0, V5170=62, V5171=0, V5172=62, V5173=0, V5174=62, V5175=1, V5176=29, V5177=1, 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=1, V5209=62, V5210=0, V5211=62, V5212=0, V5213=62, V5214=0, V5215=62, V5216=1, V5217=29, V5218=1, 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=1, V5250=62, V5251=0, V5252=62, V5253=0, V5254=62, V5255=0, V5256=62, V5257=1, V5258=29, V5259=1, 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=1, V5291=62, V5292=0, V5293=62, V5294=0, V5295=62, V5296=0, V5297=62, V5298=1, V5299=29, V5300=1, 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=1, V5332=62, V5333=0, V5334=62, V5335=0, V5336=62, V5337=0, V5338=62, V5339=1, V5340=29, V5341=1, 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=1, V5373=62, V5374=0, V5375=62, V5376=0, V5377=62, V5378=0, V5379=62, V5380=1, V5381=29, V5382=1, 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=1, V5414=62, V5415=0, V5416=62, V5417=0, V5418=62, V5419=0, V5420=62, V5421=1, V5422=29, V5423=1, 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=1, V5455=62, V5456=0, V5457=62, V5458=0, V5459=62, V5460=0, V5461=62, V5462=1, V5463=29, V5464=1, 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=1, V5496=62, V5497=0, V5498=62, V5499=0, V5500=62, V5501=0, V5502=62, V5503=1, V5504=29, V5505=1, 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=1, V5537=62, V5538=0, V5539=62, V5540=0, V5541=62, V5542=0, V5543=62, V5544=1, V5545=29, V5546=1, 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=1, V5578=62, V5579=0, V5580=62, V5581=0, V5582=62, V5583=0, V5584=62, V5585=1, V5586=29, V5587=1, 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=1, V5619=62, V5620=0, V5621=62, V5622=0, V5623=62, V5624=0, V5625=62, V5626=1, V5627=29, V5628=1, 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=1, V5660=62, V5661=0, V5662=62, V5663=0, V5664=62, V5665=0, V5666=62, V5667=1, V5668=29, V5669=1, 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=1, V5701=62, V5702=0, V5703=62, V5704=0, V5705=62, V5706=0, V5707=62, V5708=1, V5709=29, V5710=1, 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=1, V5742=62, V5743=0, V5744=62, V5745=0, V5746=62, V5747=0, V5748=62, V5749=1, V5750=29, V5751=1, 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=1, V5783=62, V5784=0, V5785=62, V5786=0, V5787=62, V5788=0, V5789=62, V5790=1, V5791=29, V5792=1, 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=1, V5824=62, V5825=0, V5826=62, V5827=0, V5828=62, V5829=0, V5830=62, V5831=1, V5832=29, V5833=0, V5834=29, V5835=0, V5836=29, V5837=1, V5838=4, V5839=0, V5840=4, V5841=0, V5842=4, V5843=0, V5844=4, V5845=0, V5846=4, V5847=0, V5848=4, V5849=0, V5850=4, V5851=0, V5852=4, V5853=0, V5854=4, V5855=0, V5856=4, V5857=0, V5858=4, V5859=0, V5860=4, V5861=1, V5862=0, V5863=0, V5864=1, V5865=62, V5866=0, V5867=62, V5868=0, V5869=62, V5870=0, V5871=62, V5872=1, V5873=29, V5874=0, V5875=29, V5876=0, V5877=29, V5878=1, V5879=4, V5880=0, V5881=4, V5882=0, V5883=4, V5884=0, V5885=4, V5886=0, V5887=4, V5888=0, V5889=4, V5890=0, V5891=4, V5892=0, V5893=4, V5894=0, V5895=4, V5896=0, V5897=4, V5898=0, V5899=4, V5900=0, V5901=4, V5902=1, V5903=0, V5904=0, V5905=1, V5906=62, V5907=0, V5908=62, V5909=0, V5910=62, V5911=0, V5912=62, V5913=1, V5914=29, V5915=0, V5916=29, V5917=0, V5918=29, V5919=1, V5920=4, V5921=0, V5922=4, V5923=0, V5924=4, V5925=0, V5926=4, V5927=0, V5928=4, V5929=0, V5930=4, V5931=0, V5932=4, V5933=0, V5934=4, V5935=0, V5936=4, V5937=0, V5938=4, V5939=0, V5940=4, V5941=0, V5942=4, V5943=1, V5944=0, V5945=0, V5946=1, V5947=62, V5948=0, V5949=62, V5950=0, V5951=62, V5952=0, V5953=62, V5954=1, V5955=29, V5956=0, V5957=29, V5958=0, V5959=29, V5960=1, V5961=4, V5962=0, V5963=4, V5964=0, V5965=4, V5966=0, V5967=4, V5968=0, V5969=4, V5970=0, V5971=4, V5972=0, V5973=4, V5974=0, V5975=4, V5976=0, V5977=4, V5978=0, V5979=4, V5980=0, V5981=4, V5982=0, V5983=4, V5984=1, V5985=0, V5986=0, V5987=1, V5988=62, V5989=0, V5990=62, V5991=1, V5992=25, V5993=0, V5994=25, V5995=0, V5996=25, V5997=0, V5998=25, V5999=0, V6000=25, V6001=1, V6002=0, V6003=0, V6004=0, V6005=0, V6006=0, V6007=0, V6008=0, V6009=0, V6010=0, V6011=0, V6012=0, V6013=0, V6014=0, V6015=0, V6016=0, V6017=0, V6018=0, V6019=0, V6020=0, V6021=0, V6022=0, V6023=0, V6024=0, V6025=0, V6026=0, V6027=0, V6028=1, V6029=62, V6030=0, V6031=62, V6032=1, V6033=25, V6034=0, V6035=25, V6036=0, V6037=25, V6038=0, V6039=25, V6040=0, V6041=25, V6042=1, V6043=0, V6044=0, V6045=0, V6046=0, V6047=0, V6048=0, V6049=0, V6050=0, V6051=0, V6052=0, V6053=0, V6054=0, V6055=0, V6056=0, V6057=0, V6058=0, V6059=0, V6060=0, V6061=0, V6062=0, V6063=0, V6064=0, V6065=0, V6066=0, V6067=0, V6068=0, V6069=1, V6070=62, V6071=0, V6072=62, V6073=1, V6074=25, V6075=0, V6076=25, V6077=0, V6078=25, V6079=0, V6080=25, V6081=0, V6082=25, V6083=1, V6084=0, V6085=0, V6086=0, V6087=0, V6088=0, V6089=0, V6090=0, V6091=0, V6092=0, V6093=0, V6094=0, V6095=0, V6096=0, V6097=0, V6098=0, V6099=0, V6100=0, V6101=0, V6102=0, V6103=0, V6104=0, V6105=0, V6106=0, V6107=0, V6108=0, V6109=0, V6110=1, V6111=62, V6112=0, V6113=62, V6114=1, V6115=25, V6116=0, V6117=25, V6118=0, V6119=25, V6120=0, V6121=25, V6122=0, V6123=25, V6124=1, V6125=0, V6126=0, V6127=0, V6128=0, V6129=0, V6130=0, V6131=0, V6132=0, V6133=0, V6134=0, V6135=0, V6136=0, V6137=0, V6138=0, V6139=0, V6140=0, V6141=0, V6142=0, V6143=0, V6144=0, V6145=0, V6146=0, V6147=0, V6148=0, V6149=0, V6150=0, V6151=1, V6152=62, V6153=0, V6154=62, V6155=1, V6156=25, V6157=0, V6158=25, V6159=0, V6160=25, V6161=0, V6162=25, V6163=0, V6164=25, V6165=1, V6166=0, V6167=0, V6168=0, V6169=0, V6170=0, V6171=0, V6172=0, V6173=0, V6174=0, V6175=0, 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=1, V6193=62, V6194=0, V6195=62, V6196=1, V6197=25, V6198=0, V6199=25, V6200=0, V6201=25, V6202=0, V6203=25, V6204=0, V6205=25, V6206=1, V6207=0, V6208=0, V6209=0, V6210=0, V6211=0, V6212=0, V6213=0, V6214=0, V6215=0, V6216=0, 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=1, V6234=62, V6235=0, V6236=62, V6237=1, V6238=25, V6239=0, V6240=25, V6241=0, V6242=25, V6243=0, V6244=25, V6245=0, V6246=25, V6247=1, V6248=0, V6249=0, V6250=0, V6251=0, V6252=0, V6253=0, V6254=0, V6255=0, V6256=0, V6257=0, 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=1, V6275=62, V6276=0, V6277=62, V6278=1, V6279=25, V6280=0, V6281=25, V6282=0, V6283=25, V6284=0, V6285=25, V6286=0, V6287=25, V6288=1, V6289=0, V6290=0, V6291=0, V6292=0, V6293=0, V6294=0, V6295=0, V6296=0, V6297=0, V6298=0, 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=1, V6316=62, V6317=0, V6318=62, V6319=1, V6320=25, V6321=0, V6322=25, V6323=0, V6324=25, V6325=0, V6326=25, V6327=0, V6328=25, V6329=1, V6330=0, V6331=0, V6332=0, V6333=0, V6334=0, V6335=0, V6336=0, V6337=0, V6338=0, V6339=0, 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=1, V6357=62, V6358=0, V6359=62, V6360=1, V6361=25, V6362=0, V6363=25, V6364=0, V6365=25, V6366=0, V6367=25, V6368=0, V6369=25, V6370=1, V6371=0, V6372=0, V6373=0, V6374=0, V6375=0, V6376=0, V6377=0, V6378=0, V6379=0, V6380=0, 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=1, V6398=62, V6399=0, V6400=62, V6401=1, V6402=25, V6403=0, V6404=25, V6405=0, V6406=25, V6407=0, V6408=25, V6409=0, V6410=25, V6411=1, V6412=0, V6413=0, V6414=0, V6415=0, V6416=0, V6417=0, V6418=0, V6419=0, V6420=0, V6421=0, 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=1, V6439=62, V6440=0, V6441=62, V6442=1, V6443=25, V6444=0, V6445=25, V6446=0, V6447=25, V6448=0, V6449=25, V6450=0, V6451=25, V6452=1, V6453=0, V6454=0, V6455=0, V6456=0, V6457=0, V6458=0, V6459=0, V6460=0, V6461=0, V6462=0, 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=1, V6480=62, V6481=0, V6482=62, V6483=1, V6484=25, V6485=0, V6486=25, V6487=0, V6488=25, V6489=0, V6490=25, V6491=0, V6492=25, V6493=1, V6494=0, V6495=0, V6496=0, V6497=0, V6498=0, V6499=0, V6500=0, V6501=0, V6502=0, V6503=0, 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=1, V6521=62, V6522=0, V6523=62, V6524=1, V6525=25, V6526=0, V6527=25, V6528=0, V6529=25, V6530=0, V6531=25, V6532=0, V6533=25, V6534=1, V6535=0, V6536=0, V6537=0, V6538=0, V6539=0, V6540=0, V6541=0, V6542=0, V6543=0, V6544=0, 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=1, V6562=62, V6563=0, V6564=62, V6565=1, V6566=25, V6567=0, V6568=25, V6569=0, V6570=25, V6571=0, V6572=25, V6573=0, V6574=25, V6575=1, V6576=0, V6577=0, V6578=0, V6579=0, V6580=0, V6581=0, V6582=0, V6583=0, V6584=0, V6585=0, 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=1, V6603=62, V6604=0, V6605=62, V6606=1, V6607=25, V6608=0, V6609=25, V6610=0, V6611=25, V6612=0, V6613=25, V6614=0, V6615=25, V6616=1, V6617=0, V6618=0, V6619=0, V6620=0, V6621=0, V6622=0, V6623=0, V6624=0, V6625=0, V6626=0, 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=1, V6644=62, V6645=0, V6646=62, V6647=1, V6648=25, V6649=0, V6650=25, V6651=0, V6652=25, V6653=0, V6654=25, V6655=0, V6656=25, V6657=1, V6658=0, V6659=0, V6660=0, V6661=0, V6662=0, V6663=0, V6664=0, V6665=0, V6666=0, V6667=0, 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=1, V6689=75, V6690=1, V6691=40, V6692=0, V6693=40, V6694=0, V6695=40, V6696=0, V6697=40, V6698=1, V6699=15, V6700=0, V6701=15, V6702=0, V6703=15, V6704=0, V6705=15, V6706=0, V6707=15, V6708=0, V6709=15, V6710=1, 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=1, V6730=75, V6731=1, V6732=40, V6733=0, V6734=40, V6735=0, V6736=40, V6737=0, V6738=40, V6739=1, V6740=15, V6741=0, V6742=15, V6743=0, V6744=15, V6745=0, V6746=15, V6747=0, V6748=15, V6749=0, V6750=15, V6751=1, 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=1, V6771=75, V6772=1, V6773=40, V6774=0, V6775=40, V6776=0, V6777=40, V6778=0, V6779=40, V6780=1, V6781=15, V6782=0, V6783=15, V6784=0, V6785=15, V6786=0, V6787=15, V6788=0, V6789=15, V6790=0, V6791=15, V6792=1, 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=1, V6812=75, V6813=1, V6814=40, V6815=0, V6816=40, V6817=0, V6818=40, V6819=0, V6820=40, V6821=1, V6822=15, V6823=0, V6824=15, V6825=0, V6826=15, V6827=0, V6828=15, V6829=0, V6830=15, V6831=0, V6832=15, V6833=1, V6834=0, V6835=0, V6836=0, V6837=0, V6838=0, V6839=0, V6840=0, V6841=0, V6842=0, V6843=0, V6844=0, V6845=0, V6846=0, V6847=0, V6848=0, V6849=112, V6850=0, V6851=112, V6852=1, V6853=75, V6854=1, V6855=40, V6856=0, V6857=40, V6858=0, V6859=40, V6860=0, V6861=40, V6862=0, V6863=40, V6864=0, V6865=40, V6866=0, V6867=40, V6868=0, V6869=40, V6870=0, V6871=40, V6872=1, V6873=24, V6874=1, V6875=9, V6876=0, V6877=9, V6878=1, V6879=0, V6880=0, V6881=0, V6882=0, V6883=0, V6884=0, V6885=0, V6886=0, V6887=0, V6888=0, V6889=0, V6890=112, V6891=0, V6892=112, V6893=1, V6894=75, V6895=1, V6896=40, V6897=0, V6898=40, V6899=0, V6900=40, V6901=0, V6902=40, V6903=0, V6904=40, V6905=0, V6906=40, V6907=0, V6908=40, V6909=0, V6910=40, V6911=0, V6912=40, V6913=1, V6914=24, V6915=1, V6916=9, V6917=0, V6918=9, V6919=1, V6920=0, V6921=0, V6922=0, V6923=0, V6924=0, V6925=0, V6926=0, V6927=0, V6928=0, V6929=0, V6930=0, V6931=112, V6932=0, V6933=112, V6934=1, V6935=75, V6936=1, V6937=40, V6938=0, V6939=40, V6940=0, V6941=40, V6942=0, V6943=40, V6944=0, V6945=40, V6946=0, V6947=40, V6948=0, V6949=40, V6950=0, V6951=40, V6952=0, V6953=40, V6954=1, V6955=24, V6956=1, V6957=9, V6958=0, V6959=9, V6960=1, V6961=0, V6962=0, V6963=0, V6964=0, V6965=0, V6966=0, V6967=0, V6968=0, V6969=0, V6970=0, V6971=0, V6972=112, V6973=0, V6974=112, V6975=1, V6976=75, V6977=1, V6978=40, V6979=0, V6980=40, V6981=0, V6982=40, V6983=0, V6984=40, V6985=0, V6986=40, V6987=0, V6988=40, V6989=0, V6990=40, V6991=0, V6992=40, V6993=0, V6994=40, V6995=1, V6996=24, V6997=1, V6998=9, V6999=0, V7000=9, V7001=1, V7002=0, V7003=0, V7004=0, V7005=0, V7006=0, V7007=0, V7008=0, V7009=0, V7010=0, V7011=0, V7012=0, V7013=112, V7014=0, V7015=112, V7016=1, V7017=75, V7018=1, V7019=40, V7020=0, V7021=40, V7022=0, V7023=40, V7024=0, V7025=40, V7026=0, V7027=40, V7028=0, V7029=40, V7030=0, V7031=40, V7032=0, V7033=40, V7034=0, V7035=40, V7036=1, V7037=24, V7038=1, V7039=9, V7040=0, V7041=9, V7042=1, V7043=0, V7044=0, V7045=0, V7046=0, V7047=0, V7048=0, V7049=0, V7050=0, V7051=0, V7052=0, V7053=0, V7054=112, V7055=0, V7056=112, V7057=1, V7058=75, V7059=1, V7060=40, V7061=0, V7062=40, V7063=0, V7064=40, V7065=0, V7066=40, V7067=0, V7068=40, V7069=0, V7070=40, V7071=0, V7072=40, V7073=0, V7074=40, V7075=0, V7076=40, V7077=1, V7078=24, V7079=1, V7080=9, V7081=0, V7082=9, V7083=1, V7084=0, V7085=0, V7086=0, V7087=0, V7088=0, V7089=0, V7090=0, V7091=0, V7092=0, V7093=0, V7094=0, V7095=112, V7096=0, V7097=112, V7098=1, V7099=75, V7100=1, V7101=40, V7102=0, V7103=40, V7104=0, V7105=40, V7106=0, V7107=40, V7108=0, V7109=40, V7110=0, V7111=40, V7112=0, V7113=40, V7114=0, V7115=40, V7116=0, V7117=40, V7118=1, V7119=24, V7120=1, V7121=9, V7122=0, V7123=9, V7124=1, V7125=0, V7126=0, V7127=0, V7128=0, V7129=0, V7130=0, V7131=0, V7132=0, V7133=0, V7134=0, V7135=0, V7136=112, V7137=0, V7138=112, V7139=1, V7140=75, V7141=1, V7142=40, V7143=0, V7144=40, V7145=0, V7146=40, V7147=0, V7148=40, V7149=0, V7150=40, V7151=0, V7152=40, V7153=0, V7154=40, V7155=0, V7156=40, V7157=0, V7158=40, V7159=1, V7160=24, V7161=1, V7162=9, V7163=0, V7164=9, V7165=1, V7166=0, V7167=0, V7168=0, V7169=0, V7170=0, V7171=0, V7172=0, V7173=0, V7174=0, V7175=0, V7176=0, V7177=112, V7178=0, V7179=112, V7180=1, V7181=75, V7182=1, V7183=40, V7184=0, V7185=40, V7186=0, V7187=40, V7188=0, V7189=40, V7190=0, V7191=40, V7192=0, V7193=40, V7194=0, V7195=40, V7196=0, V7197=40, V7198=0, V7199=40, V7200=1, V7201=24, V7202=1, V7203=9, V7204=0, V7205=9, V7206=1, V7207=0, V7208=0, V7209=0, V7210=0, V7211=0, V7212=0, V7213=0, V7214=0, V7215=0, V7216=0, V7217=0, V7218=112, V7219=0, V7220=112, V7221=1, V7222=75, V7223=1, V7224=40, V7225=0, V7226=40, V7227=0, V7228=40, V7229=0, V7230=40, V7231=0, V7232=40, V7233=0, V7234=40, V7235=0, V7236=40, V7237=0, V7238=40, V7239=0, V7240=40, V7241=1, V7242=24, V7243=1, V7244=9, V7245=0, V7246=9, V7247=0, V7248=9, V7249=0, V7250=9, V7251=1, V7252=2, V7253=0, V7254=2, V7255=0, V7256=2, V7257=1, V7258=0, V7259=112, V7260=0, V7261=112, V7262=1, V7263=75, V7264=1, V7265=40, V7266=0, V7267=40, V7268=0, V7269=40, V7270=0, V7271=40, V7272=0, V7273=40, V7274=0, V7275=40, V7276=0, V7277=40, V7278=0, V7279=40, V7280=0, V7281=40, V7282=1, V7283=24, V7284=1, V7285=9, V7286=0, V7287=9, V7288=0, V7289=9, V7290=0, V7291=9, V7292=1, V7293=2, V7294=0, V7295=2, V7296=0, V7297=2, V7298=1, V7299=0, V7300=112, V7301=0, V7302=112, V7303=1, V7304=75, V7305=1, V7306=40, V7307=0, V7308=40, V7309=0, V7310=40, V7311=0, V7312=40, V7313=0, V7314=40, V7315=0, V7316=40, V7317=0, V7318=40, V7319=0, V7320=40, V7321=1, V7322=23, V7323=1, V7324=7, V7325=0, V7326=7, V7327=0, V7328=7, V7329=0, V7330=7, V7331=0, V7332=7, V7333=1, V7334=0, V7335=0, V7336=0, V7337=0, V7338=0, V7339=0, V7340=0, V7341=112, V7342=0, V7343=112, V7344=1, V7345=75, V7346=1, V7347=40, V7348=0, V7349=40, V7350=0, V7351=40, V7352=0, V7353=40, V7354=0, V7355=40, V7356=0, V7357=40, V7358=0, V7359=40, V7360=0, V7361=40, V7362=1, V7363=23, V7364=1, V7365=7, V7366=0, V7367=7, V7368=0, V7369=7, V7370=0, V7371=7, V7372=0, V7373=7, V7374=1, V7375=0, V7376=0, V7377=0, V7378=0, V7379=0, V7380=0, V7381=0, V7382=112, V7383=0, V7384=112, V7385=1, V7386=75, V7387=1, V7388=40, V7389=0, V7390=40, V7391=0, V7392=40, V7393=0, V7394=40, V7395=0, V7396=40, V7397=0, V7398=40, V7399=0, V7400=40, V7401=0, V7402=40, V7403=1, V7404=23, V7405=1, V7406=7, V7407=0, V7408=7, V7409=0, V7410=7, V7411=0, V7412=7, V7413=0, V7414=7, V7415=1, V7416=0, V7417=0, V7418=0, V7419=0, V7420=0, V7421=0, V7422=0, V7423=112, V7424=0, V7425=112, V7426=1, V7427=75, V7428=1, V7429=40, V7430=0, V7431=40, V7432=0, V7433=40, V7434=0, V7435=40, V7436=0, V7437=40, V7438=0, V7439=40, V7440=0, V7441=40, V7442=0, V7443=40, V7444=1, V7445=23, V7446=1, V7447=7, V7448=0, V7449=7, V7450=0, V7451=7, V7452=0, V7453=7, V7454=0, V7455=7, V7456=1, V7457=0, V7458=0, V7459=0, V7460=0, V7461=0, V7462=0, V7463=0, V7464=112, V7465=0, V7466=112, V7467=1, V7468=75, V7469=1, V7470=40, V7471=0, V7472=40, V7473=0, V7474=40, V7475=0, V7476=40, V7477=0, V7478=40, V7479=0, V7480=40, V7481=0, V7482=40, V7483=0, V7484=40, V7485=1, V7486=23, V7487=1, V7488=7, V7489=0, V7490=7, V7491=0, V7492=7, V7493=0, V7494=7, V7495=0, V7496=7, V7497=1, V7498=0, V7499=0, V7500=0, V7501=0, V7502=0, V7503=0, V7504=0, V7505=112, V7506=1, V7507=70, V7508=0, V7509=70, V7510=1, V7511=35, V7512=0, V7513=35, V7514=0, V7515=35, V7516=0, V7517=35, V7518=0, V7519=35, V7520=0, V7521=35, V7522=0, V7523=35, V7524=1, V7525=17, V7526=1, V7527=0, V7528=0, V7529=0, V7530=0, V7531=0, V7532=0, 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=0, V7546=112, V7547=1, V7548=70, V7549=0, V7550=70, V7551=1, V7552=35, V7553=0, V7554=35, V7555=0, V7556=35, V7557=0, V7558=35, V7559=0, V7560=35, V7561=0, V7562=35, V7563=0, V7564=35, V7565=1, V7566=17, V7567=1, V7568=0, V7569=0, V7570=0, V7571=0, V7572=0, V7573=0, 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=0, V7587=112, V7588=1, V7589=70, V7590=0, V7591=70, V7592=1, V7593=35, V7594=0, V7595=35, V7596=0, V7597=35, V7598=0, V7599=35, V7600=0, V7601=35, V7602=0, V7603=35, V7604=0, V7605=35, V7606=1, V7607=17, V7608=1, V7609=0, V7610=0, V7611=0, V7612=0, V7613=0, V7614=0, 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=0, V7628=112, V7629=1, V7630=70, V7631=0, V7632=70, V7633=1, V7634=35, V7635=0, V7636=35, V7637=0, V7638=35, V7639=0, V7640=35, V7641=0, V7642=35, V7643=0, V7644=35, V7645=0, V7646=35, V7647=1, V7648=17, V7649=1, V7650=0, V7651=0, V7652=0, V7653=0, V7654=0, V7655=0, 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=0, V7669=112, V7670=1, V7671=70, V7672=0, V7673=70, V7674=1, V7675=35, V7676=0, V7677=35, V7678=0, V7679=35, V7680=0, V7681=35, V7682=0, V7683=35, V7684=0, V7685=35, V7686=0, V7687=35, V7688=1, V7689=17, V7690=1, V7691=0, V7692=0, V7693=0, V7694=0, V7695=0, V7696=0, 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=0, V7710=112, V7711=1, V7712=70, V7713=0, V7714=70, V7715=1, V7716=35, V7717=0, V7718=35, V7719=0, V7720=35, V7721=0, V7722=35, V7723=0, V7724=35, V7725=0, V7726=35, V7727=0, V7728=35, V7729=1, V7730=17, V7731=1, V7732=0, V7733=0, V7734=0, V7735=0, V7736=0, V7737=0, 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=0, V7751=112, V7752=1, V7753=70, V7754=0, V7755=70, V7756=1, V7757=35, V7758=0, V7759=35, V7760=0, V7761=35, V7762=0, V7763=35, V7764=0, V7765=35, V7766=0, V7767=35, V7768=0, V7769=35, V7770=1, V7771=17, V7772=1, V7773=0, V7774=0, V7775=0, V7776=0, V7777=0, V7778=0, 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=0, V7792=112, V7793=1, V7794=70, V7795=0, V7796=70, V7797=1, V7798=35, V7799=0, V7800=35, V7801=0, V7802=35, V7803=0, V7804=35, V7805=0, V7806=35, V7807=0, V7808=35, V7809=0, V7810=35, V7811=1, V7812=17, V7813=1, V7814=0, V7815=0, V7816=0, V7817=0, V7818=0, V7819=0, V7820=0, V7821=0, V7822=0, V7823=0, V7824=0, V7825=0, V7826=0, V7827=0, V7828=0, V7829=0, V7830=0, V7831=0, V7832=0, V7833=112, V7834=1, V7835=70, V7836=0, V7837=70, V7838=1, V7839=35, V7840=0, V7841=35, V7842=0, V7843=35, V7844=0, V7845=35, V7846=0, V7847=35, V7848=0, V7849=35, V7850=0, V7851=35, V7852=1, V7853=17, V7854=1, V7855=0, V7856=0, V7857=0, V7858=0, V7859=0, V7860=0, V7861=0, V7862=0, V7863=0, V7864=0, V7865=0, V7866=0, V7867=0, V7868=0, V7869=0, V7870=0, V7871=0, V7872=0, V7873=0, V7874=112, V7875=1, V7876=70, V7877=0, V7878=70, V7879=1, V7880=35, V7881=0, V7882=35, V7883=0, V7884=35, V7885=0, V7886=35, V7887=0, V7888=35, V7889=0, V7890=35, V7891=0, V7892=35, V7893=1, V7894=17, V7895=1, V7896=0, V7897=0, V7898=0, V7899=0, V7900=0, V7901=0, V7902=0, V7903=0, V7904=0, V7905=0, V7906=0, V7907=0, V7908=0, V7909=0, V7910=0, V7911=0, V7912=0, V7913=0, V7914=0, V7915=112, V7916=1, V7917=70, V7918=0, V7919=70, V7920=1, V7921=35, V7922=0, V7923=35, V7924=0, V7925=35, V7926=0, V7927=35, V7928=0, V7929=35, V7930=0, V7931=35, V7932=0, V7933=35, V7934=1, V7935=17, V7936=1, V7937=0, V7938=0, V7939=0, V7940=0, V7941=0, V7942=0, V7943=0, V7944=0, V7945=0, V7946=0, V7947=0, V7948=0, V7949=0, V7950=0, V7951=0, V7952=0, V7953=0, V7954=0, V7955=0, V7956=112, V7957=1, V7958=70, V7959=0, V7960=70, V7961=1, V7962=35, V7963=0, V7964=35, V7965=0, V7966=35, V7967=0, V7968=35, V7969=0, V7970=35, V7971=0, V7972=35, V7973=0, V7974=35, V7975=1, V7976=17, V7977=1, V7978=0, V7979=0, V7980=0, V7981=0, V7982=0, V7983=0, V7984=0, V7985=0, V7986=0, V7987=0, V7988=0, V7989=0, V7990=0, V7991=0, V7992=0, V7993=0, V7994=0, V7995=0, V7996=0, V7997=112, V7998=1, V7999=70, V8000=0, V8001=70, V8002=1, V8003=35, V8004=0, V8005=35, V8006=0, V8007=35, V8008=0, V8009=35, V8010=0, V8011=35, V8012=0, V8013=35, V8014=0, V8015=35, V8016=1, V8017=17, V8018=0, V8019=17, V8020=0, V8021=17, V8022=0, V8023=17, V8024=1, V8025=6, V8026=0, V8027=6, V8028=0, V8029=6, V8030=0, V8031=6, V8032=1, V8033=0, V8034=0, V8035=0, V8036=0, V8037=0, V8038=112, V8039=1, V8040=70, V8041=0, V8042=70, V8043=1, V8044=35, V8045=0, V8046=35, V8047=0, V8048=35, V8049=0, V8050=35, V8051=0, V8052=35, V8053=0, V8054=35, V8055=0, V8056=35, V8057=1, V8058=17, V8059=0, V8060=17, V8061=0, V8062=17, V8063=0, V8064=17, V8065=1, V8066=6, V8067=0, V8068=6, V8069=0, V8070=6, V8071=0, V8072=6, V8073=1, V8074=0, V8075=0, V8076=0, V8077=0, V8078=0, V8079=112, V8080=1, V8081=70, V8082=0, V8083=70, V8084=1, V8085=35, V8086=0, V8087=35, V8088=0, V8089=35, V8090=0, V8091=35, V8092=0, V8093=35, V8094=0, V8095=35, V8096=0, V8097=35, V8098=1, V8099=17, V8100=0, V8101=17, V8102=0, V8103=17, V8104=0, V8105=17, V8106=1, V8107=6, V8108=0, V8109=6, V8110=0, V8111=6, V8112=0, V8113=6, V8114=1, V8115=0, V8116=0, V8117=0, V8118=0, V8119=0, V8120=112, V8121=1, V8122=70, V8123=0, V8124=70, V8125=0, V8126=70, V8127=0, V8128=70, V8129=0, V8130=70, V8131=1, V8132=43, V8133=0, V8134=43, V8135=0, V8136=43, V8137=0, V8138=43, V8139=1, V8140=25, V8141=0, V8142=25, V8143=0, V8144=25, V8145=0, V8146=25, V8147=1, V8148=14, V8149=0, V8150=14, V8151=1, V8152=6, V8153=0, V8154=6, V8155=1, V8156=0, V8157=0, V8158=0, V8159=0, V8160=0, V8161=112, V8162=1, V8163=70, V8164=0, V8165=70, V8166=0, V8167=70, V8168=0, V8169=70, V8170=0, V8171=70, V8172=1, V8173=43, V8174=0, V8175=43, V8176=0, V8177=43, V8178=0, V8179=43, V8180=1, V8181=25, V8182=0, V8183=25, V8184=0, V8185=25, V8186=0, V8187=25, V8188=1, V8189=14, V8190=0, V8191=14, V8192=1, V8193=6, V8194=0, V8195=6, V8196=1, V8197=0, V8198=0, V8199=0, V8200=0, V8201=0, V8202=112, V8203=1, V8204=70, V8205=0, V8206=70, V8207=0, V8208=70, V8209=0, V8210=70, V8211=0, V8212=70, V8213=1, V8214=43, V8215=0, V8216=43, V8217=0, V8218=43, V8219=0, V8220=43, V8221=1, V8222=25, V8223=0, V8224=25, V8225=0, V8226=25, V8227=0, V8228=25, V8229=1, V8230=14, V8231=0, V8232=14, V8233=1, V8234=6, V8235=0, V8236=6, V8237=1, V8238=0, V8239=0, V8240=0, V8241=0, V8242=0, V8243=112, V8244=1, V8245=70, V8246=0, V8247=70, V8248=0, V8249=70, V8250=0, V8251=70, V8252=0, V8253=70, V8254=1, V8255=43, V8256=0, V8257=43, V8258=1, V8259=19, V8260=0, V8261=19, V8262=0, V8263=19, V8264=0, V8265=19, V8266=0, V8267=19, V8268=0, V8269=19, V8270=1, V8271=8, V8272=0, V8273=8, V8274=1, V8275=0, V8276=0, V8277=0, V8278=0, V8279=0, V8280=0, V8281=0, V8282=0, V8283=0, V8284=112, V8285=1, V8286=70, V8287=0, V8288=70, V8289=0, V8290=70, V8291=0, V8292=70, V8293=0, V8294=70, V8295=1, V8296=43, V8297=0, V8298=43, V8299=1, V8300=19, V8301=0, V8302=19, V8303=0, V8304=19, V8305=0, V8306=19, V8307=0, V8308=19, V8309=0, V8310=19, V8311=1, V8312=8, V8313=0, V8314=8, V8315=1, V8316=0, V8317=0, V8318=0, V8319=0, V8320=0, V8321=0, V8322=0, V8323=0, V8324=0, V8325=112, V8326=1, V8327=70, V8328=0, V8329=70, V8330=0, V8331=70, V8332=0, V8333=70, V8334=0, V8335=70, V8336=1, V8337=43, V8338=0, V8339=43, V8340=1, V8341=19, V8342=0, V8343=19, V8344=0, V8345=19, V8346=0, V8347=19, V8348=0, V8349=19, V8350=0, V8351=19, V8352=1, V8353=8, V8354=0, V8355=8, V8356=1, V8357=0, V8358=0, V8359=0, V8360=0, V8361=0, V8362=0, V8363=0, V8364=0, V8365=0, V8366=112, V8367=1, V8368=70, V8369=0, V8370=70, V8371=0, V8372=70, V8373=0, V8374=70, V8375=0, V8376=70, V8377=1, V8378=43, V8379=0, V8380=43, V8381=1, V8382=19, V8383=0, V8384=19, V8385=0, V8386=19, V8387=0, V8388=19, V8389=0, V8390=19, V8391=0, V8392=19, V8393=1, V8394=8, V8395=0, V8396=8, V8397=1, V8398=0, V8399=0, V8400=0, V8401=0, V8402=0, V8403=0, V8404=0, V8405=0, V8406=0, V8407=112, V8408=1, V8409=70, V8410=0, V8411=70, V8412=0, V8413=70, V8414=0, V8415=70, V8416=0, V8417=70, V8418=1, V8419=43, V8420=0, V8421=43, V8422=1, V8423=19, V8424=0, V8425=19, V8426=0, V8427=19, V8428=0, V8429=19, V8430=0, V8431=19, V8432=0, V8433=19, V8434=1, V8435=8, V8436=0, V8437=8, V8438=1, V8439=0, V8440=0, V8441=0, V8442=0, V8443=0, V8444=0, V8445=0, V8446=0, V8447=0, V8448=112, V8449=1, V8450=70, V8451=0, V8452=70, V8453=0, V8454=70, V8455=0, V8456=70, V8457=0, V8458=70, V8459=1, V8460=43, V8461=0, V8462=43, V8463=1, V8464=19, V8465=1, 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=0, V8489=112, V8490=1, V8491=70, V8492=0, V8493=70, V8494=0, V8495=70, V8496=0, V8497=70, V8498=0, V8499=70, V8500=1, V8501=43, V8502=0, V8503=43, V8504=1, V8505=19, V8506=1, 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=0, V8530=112, V8531=1, V8532=70, V8533=0, V8534=70, V8535=0, V8536=70, V8537=0, V8538=70, V8539=0, V8540=70, V8541=1, V8542=43, V8543=0, V8544=43, V8545=1, V8546=19, V8547=1, 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=0, V8571=112, V8572=1, V8573=70, V8574=0, V8575=70, V8576=0, V8577=70, V8578=0, V8579=70, V8580=0, V8581=70, V8582=1, V8583=43, V8584=0, V8585=43, V8586=1, V8587=19, V8588=1, 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=0, V8612=112, V8613=1, V8614=70, V8615=0, V8616=70, V8617=0, V8618=70, V8619=0, V8620=70, V8621=0, V8622=70, V8623=1, V8624=43, V8625=0, V8626=43, V8627=1, V8628=19, V8629=1, 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=0, V8653=112, V8654=1, V8655=70, V8656=0, V8657=70, V8658=0, V8659=70, V8660=0, V8661=70, V8662=0, V8663=70, V8664=1, V8665=43, V8666=0, V8667=43, V8668=1, V8669=19, V8670=1, 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=0, V8694=112, V8695=1, V8696=70, V8697=0, V8698=70, V8699=0, V8700=70, V8701=0, V8702=70, V8703=0, V8704=70, V8705=1, V8706=43, V8707=0, V8708=43, V8709=1, V8710=19, V8711=1, 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=0, V8735=112, V8736=1, V8737=70, V8738=0, V8739=70, V8740=0, V8741=70, V8742=0, V8743=70, V8744=0, V8745=70, V8746=1, V8747=43, V8748=0, V8749=43, V8750=1, V8751=19, V8752=1, 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=0, V8776=112, V8777=1, V8778=70, V8779=0, V8780=70, V8781=0, V8782=70, V8783=0, V8784=70, V8785=0, V8786=70, V8787=1, V8788=43, V8789=0, V8790=43, V8791=1, V8792=19, V8793=1, 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=0, V8817=112, V8818=1, V8819=70, V8820=0, V8821=70, V8822=0, V8823=70, V8824=0, V8825=70, V8826=0, V8827=70, V8828=1, V8829=43, V8830=0, V8831=43, V8832=1, V8833=19, V8834=1, 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=0, V8858=112, V8859=1, V8860=70, V8861=0, V8862=70, V8863=0, V8864=70, V8865=0, V8866=70, V8867=0, V8868=70, V8869=1, V8870=43, V8871=0, V8872=43, V8873=1, V8874=19, V8875=1, 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=0, V8899=112, V8900=1, V8901=70, V8902=0, V8903=70, V8904=0, V8905=70, V8906=0, V8907=70, V8908=0, V8909=70, V8910=1, V8911=43, V8912=0, V8913=43, V8914=1, V8915=19, V8916=1, 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=0, V8940=112, V8941=1, V8942=70, V8943=0, V8944=70, V8945=0, V8946=70, V8947=0, V8948=70, V8949=0, V8950=70, V8951=1, V8952=43, V8953=0, V8954=43, V8955=1, V8956=19, V8957=1, 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=0, V8981=112, V8982=1, V8983=70, V8984=0, V8985=70, V8986=0, V8987=70, V8988=0, V8989=70, V8990=0, V8991=70, V8992=1, V8993=43, V8994=0, V8995=43, V8996=1, V8997=19, V8998=1, 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=0, V9022=112, V9023=1, V9024=70, V9025=0, V9026=70, V9027=0, V9028=70, V9029=0, V9030=70, V9031=0, V9032=70, V9033=1, V9034=43, V9035=0, V9036=43, V9037=1, V9038=19, V9039=1, 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=0, V9063=112, V9064=1, V9065=70, V9066=0, V9067=70, V9068=0, V9069=70, V9070=0, V9071=70, V9072=0, V9073=70, V9074=1, V9075=43, V9076=0, V9077=43, V9078=1, V9079=19, V9080=1, 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=0, V9104=112, V9105=1, V9106=70, V9107=0, V9108=70, V9109=0, V9110=70, V9111=0, V9112=70, V9113=0, V9114=70, V9115=1, V9116=43, V9117=0, V9118=43, V9119=1, V9120=19, V9121=1, 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=0, V9145=112, V9146=1, V9147=70, V9148=0, V9149=70, V9150=0, V9151=70, V9152=0, V9153=70, V9154=0, V9155=70, V9156=1, V9157=43, V9158=0, V9159=43, V9160=1, V9161=19, V9162=1, 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=0, V9186=112, V9187=1, V9188=70, V9189=0, V9190=70, V9191=0, V9192=70, V9193=0, V9194=70, V9195=0, V9196=70, V9197=1, V9198=43, V9199=0, V9200=43, V9201=1, V9202=19, V9203=1, 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, 
1614.20/1627.74	v 62 0 0 70 0 33 77 50 0 0 33 0 85 85 37 29 42 88 66 93 42 70 60 65 37 54 62 50 66 82 53 54 77 85 53 63 60 82 33 29 60 63 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 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 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 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 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 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 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 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 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 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 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 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 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 
1615.70/1629.26	d ASSIGNMENTS 12008

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078820-1247716537/watcher-2078820-1247716537 -o /tmp/evaluation-result-2078820-1247716537/solver-2078820-1247716537 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 470059813 HOME/instance-2078820-1247716537.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: 2.08 2.05 2.01 4/82 16951
/proc/meminfo: memFree=1133312/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=5356 CPUtime=0
/proc/16951/stat : 16951 (pcssolve) R 16949 16951 15028 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 58720602 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16951/statm: 1339 241 200 169 0 50 0
[pid=16952] ppid=16951 vsize=0 CPUtime=0
/proc/16952/stat : 16952 (pcssolve) R 16951 16951 15028 0 -1 4194368 22 0 0 0 0 0 0 0 24 0 1 0 58720603 0 0 996147200 0 0 0 18446744073709551615 240472616231 0 0 4096 0 0 0 0 17 1 0 0
/proc/16952/statm: 0 0 0 0 0 0 0
[pid=16953] ppid=16951 vsize=5356 CPUtime=0
/proc/16953/stat : 16953 (pcssolve) R 16951 16951 15028 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 58720603 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 240472615583 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16953/statm: 1339 241 200 169 0 50 0

[startup+0.043255 s]
/proc/loadavg: 2.08 2.05 2.01 4/82 16951
/proc/meminfo: memFree=1133312/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=5120 CPUtime=0.02
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 926 660 0 0 2 0 0 0 25 0 1 0 58720602 5242880 557 996147200 134512640 135215973 4294956304 18446744073709551615 134892222 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 1280 557 361 171 0 205 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5120

[startup+0.101267 s]
/proc/loadavg: 2.08 2.05 2.01 4/82 16951
/proc/meminfo: memFree=1133312/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=7652 CPUtime=0.07
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 1611 660 0 0 7 0 0 0 25 0 1 0 58720602 7835648 1029 996147200 134512640 135215973 4294956304 18446744073709551615 4159189536 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 1913 1029 383 171 0 838 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7652

[startup+0.301282 s]
/proc/loadavg: 2.08 2.05 2.01 4/82 16951
/proc/meminfo: memFree=1133312/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=9568 CPUtime=0.27
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 2197 660 0 0 27 0 0 0 25 0 1 0 58720602 9797632 1517 996147200 134512640 135215973 4294956304 18446744073709551615 134761780 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 2392 1517 388 171 0 1317 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9568

[startup+0.701316 s]
/proc/loadavg: 2.08 2.05 2.01 4/82 16951
/proc/meminfo: memFree=1133312/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=20820 CPUtime=0.67
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 5726 660 0 0 65 2 0 0 25 0 1 0 58720602 21319680 3800 996147200 134512640 135215973 4294956304 18446744073709551615 4159752529 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 5205 3800 388 171 0 4130 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20820

[startup+1.50138 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 16956
/proc/meminfo: memFree=1115384/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=36036 CPUtime=1.46
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 11165 660 0 0 142 4 0 0 25 0 1 0 58720602 36900864 7937 996147200 134512640 135215973 4294956304 18446744073709551615 134597469 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 9009 7937 410 171 0 7934 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36036

[startup+3.10153 s]
/proc/loadavg: 2.08 2.05 2.01 3/83 16956
/proc/meminfo: memFree=1099704/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=43640 CPUtime=3.04
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 13679 660 0 0 299 5 0 0 25 0 1 0 58720602 44687360 9936 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 10910 9936 414 171 0 9835 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 43640

[startup+6.30181 s]
/proc/loadavg: 2.08 2.05 2.00 3/83 16956
/proc/meminfo: memFree=1094200/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=43808 CPUtime=6.22
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 14889 660 0 0 616 6 0 0 25 0 1 0 58720602 44859392 10019 996147200 134512640 135215973 4294956304 18446744073709551615 4158960095 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 10952 10019 414 171 0 9877 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 43808

[startup+12.7014 s]
/proc/loadavg: 2.07 2.05 2.00 3/83 16956
/proc/meminfo: memFree=1093568/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=44748 CPUtime=12.56
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 16918 660 0 0 1249 7 0 0 25 0 1 0 58720602 45821952 10235 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 11187 10235 414 171 0 10112 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 44748

[startup+25.5015 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 16956
/proc/meminfo: memFree=1087616/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=50744 CPUtime=25.24
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 22489 660 0 0 2515 9 0 0 25 0 1 0 58720602 51961856 11721 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 12686 11721 414 171 0 11611 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 50744

[startup+51.1017 s]
/proc/loadavg: 2.04 2.04 2.00 3/83 16956
/proc/meminfo: memFree=1076928/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=64200 CPUtime=50.59
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 33956 660 0 0 5047 12 0 0 25 0 1 0 58720602 65740800 14352 996147200 134512640 135215973 4294956304 18446744073709551615 134583366 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 16050 14352 414 171 0 14975 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 64200

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/83 16956
/proc/meminfo: memFree=1057280/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=86088 CPUtime=101.31
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 55910 660 0 0 10110 21 0 0 25 0 1 0 58720602 88154112 19282 996147200 134512640 135215973 4294956304 18446744073709551615 134600776 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 21522 19282 414 171 0 20447 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 86088

[startup+162.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 16956
/proc/meminfo: memFree=1031424/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=112224 CPUtime=160.75
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 84694 660 0 0 16041 34 0 0 25 0 1 0 58720602 114917376 25710 996147200 134512640 135215973 4294956304 18446744073709551615 134592091 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 28056 25710 414 171 0 26981 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 112224

[startup+222.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 16956
/proc/meminfo: memFree=1016384/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=126620 CPUtime=220.19
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 107974 660 0 0 21975 44 0 0 25 0 1 0 58720602 129658880 29439 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 31655 29439 414 171 0 30580 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 126620

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 16956
/proc/meminfo: memFree=1007040/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=137832 CPUtime=279.63
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 126806 660 0 0 27911 52 0 0 25 0 1 0 58720602 141139968 31784 996147200 134512640 135215973 4294956304 18446744073709551615 134532969 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 34458 31784 414 171 0 33383 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 137832

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 16962
/proc/meminfo: memFree=996664/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=147596 CPUtime=339.04
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 146658 660 0 0 33845 59 0 0 25 0 1 0 58720602 151138304 34290 996147200 134512640 135215973 4294956304 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 36899 34290 414 171 0 35824 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 147596

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16962
/proc/meminfo: memFree=989112/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=155424 CPUtime=398.49
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 167776 660 0 0 39779 70 0 0 25 0 1 0 58720602 159154176 36298 996147200 134512640 135215973 4294956304 18446744073709551615 134532958 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 38856 36298 414 171 0 37781 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 155424

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=977208/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=166984 CPUtime=457.92
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 190029 660 0 0 45712 80 0 0 25 0 1 0 58720602 170991616 39245 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 41746 39245 414 171 0 40671 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 166984

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=958584/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=185148 CPUtime=517.36
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 221056 660 0 0 51643 93 0 0 25 0 1 0 58720602 189591552 43910 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 46287 43910 414 171 0 45212 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 185148

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 16962
/proc/meminfo: memFree=943352/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=199080 CPUtime=576.8
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 244273 660 0 0 57577 103 0 0 25 0 1 0 58720602 203857920 47625 996147200 134512640 135215973 4294956304 18446744073709551615 4158960138 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 49770 47625 414 171 0 48695 0
Current children cumulated CPU time (s) 576.8
Current children cumulated vsize (KiB) 199080

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 16962
/proc/meminfo: memFree=926592/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=215816 CPUtime=636.24

################
# More data... #
################

/proc/meminfo: memFree=794752/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=351132 CPUtime=933.42
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 420801 660 0 0 93170 172 0 0 25 0 1 0 58720602 359559168 84734 996147200 134512640 135215973 4294956304 18446744073709551615 134583667 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 87783 84734 414 171 0 86708 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 351132

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=770688/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=374756 CPUtime=992.86
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 444994 660 0 0 99103 183 0 0 25 0 1 0 58720602 383750144 90846 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 93689 90846 414 171 0 92614 0
Current children cumulated CPU time (s) 992.86
Current children cumulated vsize (KiB) 374756

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=746816/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=399552 CPUtime=1052.3
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 475584 660 0 0 105035 195 0 0 25 0 1 0 58720602 409141248 97230 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 99888 97230 414 171 0 98813 0
Current children cumulated CPU time (s) 1052.3
Current children cumulated vsize (KiB) 399552

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=728128/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=415560 CPUtime=1111.74
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 506191 660 0 0 110966 208 0 0 25 0 1 0 58720602 425533440 101377 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 103890 101377 414 171 0 102815 0
Current children cumulated CPU time (s) 1111.74
Current children cumulated vsize (KiB) 415560

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=709056/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=434004 CPUtime=1171.17
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 530124 660 0 0 116897 220 0 0 25 0 1 0 58720602 444420096 106102 996147200 134512640 135215973 4294956304 18446744073709551615 134590484 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 108501 106102 414 171 0 107426 0
Current children cumulated CPU time (s) 1171.17
Current children cumulated vsize (KiB) 434004

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=684608/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=457556 CPUtime=1230.61
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 554075 660 0 0 122831 230 0 0 25 0 1 0 58720602 468537344 112168 996147200 134512640 135215973 4294956304 18446744073709551615 134581693 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 114389 112168 414 171 0 113314 0
Current children cumulated CPU time (s) 1230.61
Current children cumulated vsize (KiB) 457556

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=661568/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=479752 CPUtime=1290.05
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 579444 660 0 0 128765 240 0 0 25 0 1 0 58720602 491266048 117888 996147200 134512640 135215973 4294956304 18446744073709551615 134600626 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 119938 117888 414 171 0 118863 0
Current children cumulated CPU time (s) 1290.05
Current children cumulated vsize (KiB) 479752

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=641024/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=508504 CPUtime=1349.48
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 612084 660 0 0 134694 254 0 0 25 0 1 0 58720602 520708096 123195 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 127126 123195 414 171 0 126051 0
Current children cumulated CPU time (s) 1349.48
Current children cumulated vsize (KiB) 508504

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16962
/proc/meminfo: memFree=614080/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=533984 CPUtime=1408.93
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 639298 660 0 0 140626 267 0 0 25 0 1 0 58720602 546799616 129731 996147200 134512640 135215973 4294956304 18446744073709551615 134591393 0 0 4096 0 0 0 0 17 1 0 0
/proc/16951/statm: 133496 129731 414 171 0 132421 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 533984

[startup+1482.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/83 17005
/proc/meminfo: memFree=785216/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=562988 CPUtime=1468.85
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 670734 660 0 0 146605 280 0 0 25 0 1 0 58720602 576499712 137157 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 140747 137157 414 171 0 139672 0
Current children cumulated CPU time (s) 1468.85
Current children cumulated vsize (KiB) 562988

[startup+1542.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 17005
/proc/meminfo: memFree=764544/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=582660 CPUtime=1528.84
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 701979 660 0 0 152591 293 0 0 25 0 1 0 58720602 596643840 142236 996147200 134512640 135215973 4294956304 18446744073709551615 4158960937 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 145665 142236 414 171 0 144590 0
Current children cumulated CPU time (s) 1528.84
Current children cumulated vsize (KiB) 582660

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=742656/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=603848 CPUtime=1588.81
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 734224 660 0 0 158573 308 0 0 25 0 1 0 58720602 618340352 147678 996147200 134512640 135215973 4294956304 18446744073709551615 135096499 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 150962 147678 414 171 0 149887 0
Current children cumulated CPU time (s) 1588.81
Current children cumulated vsize (KiB) 603848

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

[startup+1612.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=740608/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=605884 CPUtime=1599.21
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 738895 660 0 0 159610 311 0 0 25 0 1 0 58720602 620425216 148184 996147200 134512640 135215973 4294956304 18446744073709551615 134589761 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 151471 148184 414 171 0 150396 0
Current children cumulated CPU time (s) 1599.21
Current children cumulated vsize (KiB) 605884

[startup+1619.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=739456/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=606968 CPUtime=1605.61
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 741981 660 0 0 160249 312 0 0 25 0 1 0 58720602 621535232 148477 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 151742 148477 414 171 0 150667 0
Current children cumulated CPU time (s) 1605.61
Current children cumulated vsize (KiB) 606968

[startup+1625.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=737408/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=609604 CPUtime=1612.01
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 745280 660 0 0 160887 314 0 0 25 0 1 0 58720602 624234496 149130 996147200 134512640 135215973 4294956304 18446744073709551615 134604599 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 152401 149130 414 171 0 151326 0
Current children cumulated CPU time (s) 1612.01
Current children cumulated vsize (KiB) 609604

[startup+1627.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=733888/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=611980 CPUtime=1613.6
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 746435 660 0 0 161046 314 0 0 25 0 1 0 58720602 626667520 149942 996147200 134512640 135215973 4294956304 18446744073709551615 134599825 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 152995 149942 414 171 0 151920 0
Current children cumulated CPU time (s) 1613.6
Current children cumulated vsize (KiB) 611980

[startup+1628.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=734528/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=596632 CPUtime=1615.2
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 747127 660 0 0 161205 315 0 0 25 0 1 0 58720602 610951168 146826 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 149158 146826 414 171 0 148083 0
Current children cumulated CPU time (s) 1615.2
Current children cumulated vsize (KiB) 596632

[startup+1629.11 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=746752/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=594572 CPUtime=1615.61
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194304 747127 660 0 0 161246 315 0 0 25 0 1 0 58720602 608841728 146311 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 148643 146311 414 171 0 147568 0
Current children cumulated CPU time (s) 1615.61
Current children cumulated vsize (KiB) 594572

[startup+1629.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 17005
/proc/meminfo: memFree=746752/2055920 swapFree=4191900/4192956
[pid=16951] ppid=16949 vsize=0 CPUtime=1615.8
/proc/16951/stat : 16951 (pcs.big) R 16949 16951 15028 0 -1 4194308 747130 660 0 0 161261 319 0 0 25 0 1 0 58720602 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16951/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1615.8
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1629.35
CPU time (s): 1615.87
CPU user time (s): 1612.62
CPU system time (s): 3.24851
CPU usage (%): 99.1727
Max. virtual memory (cumulated for all children) (KiB): 612772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1612.62
system time used= 3.24851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747790
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= 58901

runsolver used 1.9987 second user time and 5.36718 second system time

The end

Begin job on node15 at 2009-07-16 05:55:38
IDJOB=2078820
IDBENCH=56816
IDSOLVER=733
FILE ID=node15/2078820-1247716537
PBS_JOBID= 9521320
Free space on /tmp= 66304 MiB

SOLVER NAME= pcs 0.2
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-2078820-1247716537/watcher-2078820-1247716537 -o /tmp/evaluation-result-2078820-1247716537/solver-2078820-1247716537 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 470059813 HOME/instance-2078820-1247716537.xml

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

MD5SUM BENCH= 5180adc317c1c1529db105bbc2f77fdb
RANDOM SEED=470059813

node15.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.220
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.220
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:       1133792 kB
Buffers:         86688 kB
Cached:         504428 kB
SwapCached:        416 kB
Active:         440296 kB
Inactive:       412460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1133792 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3892 kB
Writeback:           0 kB
Mapped:         281324 kB
Slab:            54052 kB
Committed_AS:  1205992 kB
PageTables:       2424 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= 66304 MiB
End job on node15 at 2009-07-16 06:22:47