1438 RunOne(0, {}, {}, {}, {}, {}, {}, {});
1442 RunOne(0, {1}, {0, 1}, {}, {}, {}, {}, {});
1443 RunOne(1, {0}, {0, 1}, {}, {}, {}, {}, {});
1447 RunOne(0, {1}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {}, {}, {});
1448 RunOne(1, {0}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {}, {}, {});
1449 RunOne(2, {3}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {}, {}, {});
1450 RunOne(3, {2}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {}, {}, {});
1454 RunOne(0, {1}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1455 RunOne(1, {0}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1456 RunOne(2, {3}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1457 RunOne(3, {2}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1458 RunOne(4, {5}, {4, 5}, {6, 7}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1459 RunOne(5, {4}, {4, 5}, {6, 7}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1460 RunOne(6, {7}, {6, 7}, {4, 5}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1461 RunOne(7, {6}, {6, 7}, {4, 5}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1471 {0, 1, 2, 3, 4, 5, 6, 7},
1472 {8, 9, 10, 11, 12, 13, 14, 15});
1479 {0, 1, 2, 3, 4, 5, 6, 7},
1480 {8, 9, 10, 11, 12, 13, 14, 15});
1487 {0, 1, 2, 3, 4, 5, 6, 7},
1488 {8, 9, 10, 11, 12, 13, 14, 15});
1495 {0, 1, 2, 3, 4, 5, 6, 7},
1496 {8, 9, 10, 11, 12, 13, 14, 15});
1503 {0, 1, 2, 3, 4, 5, 6, 7},
1504 {8, 9, 10, 11, 12, 13, 14, 15});
1511 {0, 1, 2, 3, 4, 5, 6, 7},
1512 {8, 9, 10, 11, 12, 13, 14, 15});
1519 {0, 1, 2, 3, 4, 5, 6, 7},
1520 {8, 9, 10, 11, 12, 13, 14, 15});
1527 {0, 1, 2, 3, 4, 5, 6, 7},
1528 {8, 9, 10, 11, 12, 13, 14, 15});
1535 {8, 9, 10, 11, 12, 13, 14, 15},
1536 {0, 1, 2, 3, 4, 5, 6, 7});
1543 {8, 9, 10, 11, 12, 13, 14, 15},
1544 {0, 1, 2, 3, 4, 5, 6, 7});
1551 {8, 9, 10, 11, 12, 13, 14, 15},
1552 {0, 1, 2, 3, 4, 5, 6, 7});
1559 {8, 9, 10, 11, 12, 13, 14, 15},
1560 {0, 1, 2, 3, 4, 5, 6, 7});
1567 {8, 9, 10, 11, 12, 13, 14, 15},
1568 {0, 1, 2, 3, 4, 5, 6, 7});
1575 {8, 9, 10, 11, 12, 13, 14, 15},
1576 {0, 1, 2, 3, 4, 5, 6, 7});
1583 {8, 9, 10, 11, 12, 13, 14, 15},
1584 {0, 1, 2, 3, 4, 5, 6, 7});
1591 {8, 9, 10, 11, 12, 13, 14, 15},
1592 {0, 1, 2, 3, 4, 5, 6, 7});