\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.390000 0 0.170681 0.000000 0.067562 0.000000 \\ connectedbase 0.000000 39 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 39 BLOCK 1 RW0001 RW0005 RW0009 RW0013 RW0017 RW0021 RW0025 RW0057 RW0061 RW0065 RW0069 RW0073 RW0077 RW0081 RW0085 RW0089 RW0093 RW0097 RW0129 RW0133 RW0137 RW0141 RW0157 RW0161 RW0165 RW0169 RW0201 RW0205 RW0209 RW0213 RW0221 RW0225 RW0229 RW0233 RW0237 RW0241 RW0273 RW0277 RW0281 RW0285 RW0289 RW0293 RW0297 RW0329 RW0353 RW1705 RW0429 RW0433 RW0437 RW0441 RW0453 RW0457 RW0465 RW0489 RW0497 RW0501 RW0521 RW0525 RW0541 RW0549 RW0557 RW0565 RW0569 RW0573 RW0577 RW0653 RW0657 RW0681 RW0689 RW0701 RW0705 RW0725 RW0733 RW0745 RW0749 RW0769 RW0777 RW0793 RW0809 RW0813 RW0825 RW0829 RW0833 RW0845 RW0849 RW0861 RW0869 RW0877 RW0881 RW0901 RW0909 RW0921 RW0937 RW1709 RW0961 RW0973 RW0989 RW0993 RW1021 RW1029 RW1721 RW1569 RW1581 RW1585 RW1589 RW1601 RW1605 RW1609 RW1621 RW1625 RW1629 RW1641 RW1137 RW1645 RW1649 RW1661 RW1161 RW1165 RW1177 RW1181 RW1689 RW1285 RW1289 RW1701 RW1301 BLOCK 2 RW0002 RW0074 RW0218 BLOCK 3 RW0003 RW0075 RW0219 BLOCK 4 RW0004 RW0076 RW0220 BLOCK 5 RW0006 RW0078 RW0222 BLOCK 6 RW0007 RW0079 RW0223 BLOCK 7 RW0008 RW0080 RW0224 BLOCK 8 RW0010 RW0082 RW0226 BLOCK 9 RW0011 RW0083 RW0227 BLOCK 10 RW0012 RW0084 RW0228 BLOCK 11 RW0014 RW0018 RW0022 RW0026 RW0086 RW0090 RW0094 RW0098 RW0158 RW0162 RW0166 RW0170 RW0230 RW0234 RW0238 RW0242 RW0290 RW0294 RW0298 RW0330 RW0354 RW0434 RW0438 RW0442 RW0466 RW0470 RW0498 RW0502 RW0522 RW0526 RW0566 RW0570 RW0574 RW0578 RW0654 RW0658 RW0662 RW0702 RW0706 RW0710 RW0746 RW0750 RW0754 RW0778 RW0782 RW1537 RW0814 RW0834 RW0850 RW0862 RW0878 RW0882 RW0886 RW0930 RW1710 RW0950 RW0990 RW0994 RW0998 RW1538 RW1550 RW1552 RW1570 RW1590 RW1610 RW1630 RW1650 RW1162 RW1166 RW1190 RW1210 RW1230 RW1246 RW1258 RW1690 RW1286 RW1290 RW1308 RW1309 RW1310 RW1323 RW1324 RW1325 RW1338 RW1339 RW1340 RW1350 RW1351 RW1352 RW1359 RW1360 RW1361 RW1383 RW1384 RW1385 RW1398 RW1399 RW1400 RW1413 RW1414 RW1415 RW1425 RW1426 RW1427 RW1434 RW1435 RW1436 BLOCK 12 RW0015 RW0087 RW0159 RW0231 BLOCK 13 RW0016 RW0020 RW0024 RW0028 RW0032 RW0036 RW0040 RW0088 RW0092 RW0096 RW0100 RW0104 RW0108 RW0112 RW0160 RW0164 RW0168 RW0172 RW0176 RW0180 RW0184 RW0232 RW0236 RW0240 RW0244 RW0248 RW0252 RW0256 RW0292 RW0296 RW0300 RW0332 RW0336 RW0356 RW0436 RW0440 RW0444 RW0448 RW0468 RW0472 RW0476 RW0500 RW0504 RW0524 RW0528 RW0532 RW0568 RW0572 RW0576 RW0580 RW0584 RW0656 RW0660 RW0664 RW0704 RW0708 RW0712 RW0748 RW0752 RW0756 RW0760 RW0780 RW0784 RW0788 RW0816 RW0820 RW0836 RW0840 RW0852 RW0864 RW0880 RW0884 RW0888 RW0916 RW0932 RW0952 RW0956 RW0992 RW0996 RW1000 RW1592 RW1612 RW1632 RW1636 RW1652 RW1656 RW1164 RW1168 RW1692 RW1288 RW1292 BLOCK 14 RW0019 RW0091 RW0163 RW0235 BLOCK 15 RW0023 RW0095 RW0167 RW0239 BLOCK 16 RW0027 RW0099 RW0171 RW0243 BLOCK 17 RW0029 RW0033 RW0037 RW0041 RW0045 RW0049 RW0053 RW0101 RW0105 RW0109 RW0113 RW0117 RW0121 RW0125 RW0173 RW0177 RW0181 RW0185 RW0189 RW0193 RW0197 RW0245 RW0249 RW0253 RW0257 RW0261 RW0265 RW0269 RW0301 RW0305 RW0333 RW0341 RW0473 RW0477 RW0481 RW0505 RW0529 RW0533 RW0581 RW0585 RW0609 RW0613 RW0617 RW0621 RW0625 RW0629 RW0673 RW0693 RW0717 RW0737 RW0757 RW0761 RW0785 RW0817 RW0821 RW0837 RW0841 RW0853 RW0857 RW0865 RW0893 RW0913 RW0917 RW0953 RW1713 RW1717 RW1005 RW1009 RW1013 RW1573 RW1577 RW1593 RW1597 RW1613 RW1617 RW1633 RW1637 RW1653 RW1657 RW1693 RW1697 BLOCK 18 RW0030 RW0102 RW0174 RW0246 BLOCK 19 RW0031 RW0103 RW0175 RW0247 BLOCK 20 RW0034 RW0106 RW0178 RW0250 BLOCK 21 RW0035 RW0107 RW0179 RW0251 BLOCK 22 RW0038 RW0110 RW0182 RW0254 BLOCK 23 RW0039 RW0111 RW0183 RW0255 BLOCK 24 RW0042 RW0114 RW0186 RW0258 BLOCK 25 RW0043 RW0115 RW0187 RW0259 BLOCK 26 RW0044 RW0048 RW0052 RW0056 RW0060 RW0064 RW0068 RW0072 RW0116 RW0120 RW0124 RW0128 RW0132 RW0136 RW0140 RW0144 RW0188 RW0192 RW0196 RW0200 RW0204 RW0208 RW0212 RW0216 RW0260 RW0264 RW0268 RW0272 RW0276 RW0280 RW0284 RW0288 RW0304 RW0308 RW0344 RW1704 RW0388 RW0480 RW0484 RW0488 RW0492 RW0496 RW0508 RW0536 RW0544 RW0548 RW0552 RW0556 RW0560 RW0564 RW0588 RW0620 RW0628 RW0632 RW0636 RW0640 RW0644 RW0648 RW0676 RW0680 RW0684 RW0688 RW0692 RW0696 RW0720 RW0724 RW0728 RW0732 RW0736 RW0740 RW0764 RW0768 RW0772 RW0776 RW0792 RW0796 RW0800 RW0804 RW0824 RW0828 RW0844 RW0848 RW0856 RW0860 RW0868 RW0872 RW0896 RW0900 RW0904 RW0908 RW0912 RW0920 RW0924 RW0936 RW0940 RW0944 RW0960 RW0964 RW0968 RW0972 RW0976 RW0980 RW0984 RW1008 RW1012 RW1016 RW1020 RW1024 RW1028 RW1032 RW1724 RW1600 RW1604 RW1620 RW1624 RW1640 RW1140 RW1644 RW1660 RW1664 RW1180 RW1184 RW1700 RW1304 BLOCK 27 RW0046 RW0118 RW0190 RW0262 BLOCK 28 RW0047 RW0119 RW0191 RW0263 BLOCK 29 RW0050 RW0122 RW0194 RW0266 BLOCK 30 RW0051 RW0123 RW0195 RW0267 BLOCK 31 RW0054 RW0126 RW0198 RW0270 BLOCK 32 RW0055 RW0127 RW0199 RW0271 BLOCK 33 RW0058 RW0130 RW0202 RW0274 BLOCK 34 RW0059 RW0063 RW0067 RW0071 RW0131 RW0135 RW0139 RW0143 RW0203 RW0207 RW0211 RW0215 RW0275 RW0279 RW0283 RW0287 RW0387 RW0491 RW0495 RW0543 RW0547 RW0551 RW0555 RW0559 RW0563 RW0683 RW0687 RW0691 RW0727 RW0731 RW0735 RW0771 RW0775 RW0795 RW0799 RW0827 RW0847 RW0871 RW0903 RW0907 RW0911 RW0923 RW0939 RW0943 RW0963 RW0967 RW0975 RW0979 RW1023 RW1027 RW1031 RW1723 RW1603 RW1623 RW1139 RW1643 RW1663 RW1179 RW1183 RW1703 RW1303 BLOCK 35 RW0062 RW0134 RW0206 RW0278 BLOCK 36 RW0066 RW0138 RW0210 RW0282 BLOCK 37 RW0070 RW0142 RW0214 RW0286 BLOCK 38 RW1513 RW1514 RW1515 RW1516 RW1517 RW1518 RW1519 RW1520 RW1521 RW1522 RW1523 RW1524 RW1525 RW0302 RW0306 RW1526 RW1527 RW1528 RW1529 RW0334 RW0342 RW1454 RW1706 RW0386 RW1460 RW1461 RW1462 RW0462 RW0464 RW0474 RW0478 RW0482 RW1466 RW0486 RW0490 RW1467 RW0494 RW0506 RW1468 RW0530 RW0534 RW1469 RW0542 RW1470 RW0546 RW1471 RW1472 RW0590 RW0610 RW0614 RW0618 RW0622 RW0626 RW0630 RW0634 RW1473 RW0638 RW0642 RW0646 RW1474 RW0650 RW0652 RW1475 RW1476 RW0666 RW0668 RW1530 RW1531 RW1532 RW1533 RW0674 RW1477 RW0678 RW0682 RW1478 RW0686 RW0690 RW0694 RW1479 RW0698 RW0700 RW1480 RW1481 RW0714 RW0716 RW0718 RW1482 RW0722 RW0726 RW1483 RW0730 RW0734 RW0738 RW1484 RW0742 RW0744 RW1485 RW0758 RW0762 RW1486 RW0766 RW0770 RW1487 RW0774 RW1488 RW0786 RW1489 RW0790 RW0794 RW1490 RW0798 RW1491 RW0802 RW1534 RW1535 RW1536 RW0830 RW0832 RW0838 RW0842 RW0846 RW0854 RW0858 RW0866 RW0870 RW1492 RW0874 RW0876 RW1493 RW1494 RW0890 RW0892 RW0894 RW1495 RW0898 RW0902 RW1496 RW0906 RW0910 RW0914 RW0918 RW0922 RW1497 RW0926 RW0928 RW1498 RW1708 RW0934 RW0938 RW0942 RW0946 RW0948 RW0954 RW0958 RW0962 RW0966 RW1714 RW0970 RW0974 RW0978 RW0982 RW0986 RW0988 RW1718 RW1002 RW1004 RW1006 RW1010 RW1014 RW1511 RW1018 RW1022 RW1512 RW1026 RW1030 RW1539 RW1540 RW1541 RW1542 RW1543 RW1544 RW1546 RW1548 RW1722 RW1554 RW1556 RW1558 RW1560 RW1562 RW1566 RW1568 RW1574 RW1578 RW1582 RW1586 RW1588 RW1594 RW1596 RW1598 RW1602 RW1606 RW1608 RW1614 RW1618 RW1622 RW1626 RW1628 RW1634 RW1638 RW1138 RW1642 RW1646 RW1648 RW1654 RW1658 RW1662 RW1178 RW1182 RW1186 RW1188 RW1194 RW1196 RW1198 RW1202 RW1206 RW1208 RW1214 RW1216 RW1218 RW1222 RW1226 RW1228 RW1234 RW1238 RW1242 RW1244 RW1686 RW1250 RW1254 RW1688 RW1262 RW1266 RW1270 RW1274 RW1278 RW1694 RW1282 RW1698 RW1702 RW1302 RW1305 RW1306 RW1307 RW1311 RW1312 RW1313 RW1314 RW1315 RW1316 RW1317 RW1318 RW1319 RW1320 RW1321 RW1322 RW1326 RW1327 RW1328 RW1329 RW1330 RW1331 RW1332 RW1333 RW1334 RW1335 RW1336 RW1337 RW1341 RW1342 RW1343 RW1344 RW1345 RW1346 RW1347 RW1348 RW1349 RW1353 RW1354 RW1355 RW1356 RW1357 RW1358 RW1362 RW1363 RW1364 RW1365 RW1366 RW1367 RW1368 RW1369 RW1370 RW1371 RW1372 RW1373 RW1374 RW1375 RW1376 RW1377 RW1378 RW1379 RW1380 RW1381 RW1382 RW1386 RW1387 RW1388 RW1389 RW1390 RW1391 RW1392 RW1393 RW1394 RW1395 RW1396 RW1397 RW1401 RW1402 RW1403 RW1404 RW1405 RW1406 RW1407 RW1408 RW1409 RW1410 RW1411 RW1412 RW1416 RW1417 RW1418 RW1419 RW1420 RW1421 RW1422 RW1423 RW1424 RW1428 RW1429 RW1430 RW1431 RW1432 RW1433 RW1437 RW1438 RW1439 RW1440 RW1441 RW1442 RW1443 RW1444 RW1445 RW1446 RW1447 RW1448 RW1449 RW1450 RW1451 RW1452 RW1453 BLOCK 39 RW0291 RW0295 RW0299 RW0303 RW0307 RW0331 RW0335 RW0343 RW0355 RW1707 RW0431 RW0435 RW0439 RW0443 RW0447 RW0451 RW0463 RW0467 RW0471 RW0475 RW0479 RW0483 RW0487 RW0499 RW0503 RW0507 RW0523 RW0527 RW0531 RW0535 RW0591 RW0595 RW0599 RW0603 RW0607 RW0611 RW0615 RW0619 RW0623 RW0627 RW0631 RW0651 RW0655 RW0659 RW0663 RW0667 RW0675 RW0679 RW0695 RW0699 RW0703 RW0707 RW0711 RW0715 RW0719 RW0723 RW0739 RW0743 RW0747 RW0751 RW0755 RW0759 RW0763 RW0767 RW0779 RW0783 RW0787 RW0791 RW0803 RW0831 RW0835 RW0839 RW0843 RW0851 RW0855 RW0859 RW0863 RW0867 RW0875 RW0879 RW0883 RW0887 RW0891 RW0895 RW0899 RW0915 RW0919 RW0927 RW0931 RW0935 RW0947 RW1711 RW0951 RW0955 RW0959 RW0971 RW1715 RW0983 RW0987 RW0991 RW0995 RW0999 RW1719 RW1003 RW1007 RW1011 RW1015 RW1019 RW1587 RW1591 RW1595 RW1599 RW1607 RW1611 RW1615 RW1619 RW1627 RW1631 RW1635 RW1639 RW1647 RW1651 RW1655 RW1659 RW1163 RW1167 RW1687 RW1691 RW1287 RW1291 RW1695 RW1699 MASTERCONSS RW0313 RW0314 RW0315 RW0316 RW0317 RW0318 RW0319 RW0320 RW0321 RW0322 RW0323 RW0324 RW0325 RW0326 RW0327 RW0328 RW0337 RW0338 RW0339 RW0340 RW0345 RW0346 RW0347 RW0348 RW0350 RW0351 RW0352 RW0357 RW0358 RW0359 RW0360 RW0361 RW0362 RW0363 RW0364 RW0366 RW0367 RW0368 RW0370 RW0371 RW0372 RW0373 RW0374 RW0375 RW0376 RW0378 RW0379 RW0380 RW0381 RW0382 RW0383 RW0384 RW0390 RW0391 RW0392 RW0393 RW0394 RW0395 RW0396 RW0397 RW0398 RW0399 RW0400 RW0401 RW0402 RW0403 RW0404 RW0405 RW0406 RW0407 RW0408 RW0410 RW0411 RW0412 RW0414 RW0415 RW0416 RW1463 RW0418 RW0419 RW0420 RW0421 RW0422 RW0423 RW0424 RW0425 RW0426 RW0427 RW0428 RW0430 RW0432 RW0445 RW0446 RW0449 RW0450 RW0452 RW0454 RW0455 RW0456 RW0458 RW0459 RW0460 RW1464 RW1465 RW0510 RW0511 RW0512 RW0513 RW0514 RW0515 RW0516 RW0517 RW0518 RW0519 RW0520 RW0538 RW0539 RW0540 RW0550 RW0554 RW0558 RW0562 RW0567 RW0571 RW0575 RW0579 RW0582 RW0583 RW0586 RW0587 RW0589 RW0592 RW0593 RW0594 RW0596 RW0597 RW0598 RW0600 RW0601 RW0602 RW0604 RW0605 RW0606 RW0608 RW0612 RW0616 RW0624 RW0633 RW0635 RW0639 RW0641 RW0643 RW0645 RW0647 RW0810 RW0811 RW0812 RW0815 RW0818 RW0819 RW0822 RW0823 RW0826 RW1712 RW1716 RW1720 RW1547 RW1551 RW1555 RW1559 RW1563 RW1564 RW1725 RW1567 RW1571 RW1572 RW1575 RW1576 RW1579 RW1580 RW1583 RW1584 RW1616 RW1665 RW1666 RW1667 RW1668 RW1669 RW1670 RW1187 RW1671 RW1191 RW1192 RW1672 RW1195 RW1673 RW1199 RW1200 RW1674 RW1203 RW1204 RW1675 RW1207 RW1676 RW1211 RW1212 RW1677 RW1215 RW1678 RW1219 RW1220 RW1679 RW1223 RW1224 RW1680 RW1227 RW1681 RW1231 RW1232 RW1682 RW1235 RW1236 RW1683 RW1239 RW1240 RW1684 RW1243 RW1247 RW1248 RW1251 RW1252 RW1255 RW1256 RW1259 RW1260 RW1263 RW1264 RW1267 RW1268 RW1271 RW1272 RW1275 RW1276 RW1279 RW1280 RW1283 RW1284 RW1696