1437 RunOne(0, {}, {}, {}, {}, {}, {}, {});
1441 RunOne(0, {1}, {0, 1}, {}, {}, {}, {}, {});
1442 RunOne(1, {0}, {0, 1}, {}, {}, {}, {}, {});
1446 RunOne(0, {1}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {}, {}, {});
1447 RunOne(1, {0}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {}, {}, {});
1448 RunOne(2, {3}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {}, {}, {});
1449 RunOne(3, {2}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {}, {}, {});
1453 RunOne(0, {1}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1454 RunOne(1, {0}, {0, 1}, {2, 3}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1455 RunOne(2, {3}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1456 RunOne(3, {2}, {2, 3}, {0, 1}, {0, 1, 2, 3}, {4, 5, 6, 7}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1457 RunOne(4, {5}, {4, 5}, {6, 7}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1458 RunOne(5, {4}, {4, 5}, {6, 7}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1459 RunOne(6, {7}, {6, 7}, {4, 5}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1460 RunOne(7, {6}, {6, 7}, {4, 5}, {4, 5, 6, 7}, {0, 1, 2, 3}, {0, 1, 2, 3, 4, 5, 6, 7}, {});
1470 {0, 1, 2, 3, 4, 5, 6, 7},
1471 {8, 9, 10, 11, 12, 13, 14, 15});
1478 {0, 1, 2, 3, 4, 5, 6, 7},
1479 {8, 9, 10, 11, 12, 13, 14, 15});
1486 {0, 1, 2, 3, 4, 5, 6, 7},
1487 {8, 9, 10, 11, 12, 13, 14, 15});
1494 {0, 1, 2, 3, 4, 5, 6, 7},
1495 {8, 9, 10, 11, 12, 13, 14, 15});
1502 {0, 1, 2, 3, 4, 5, 6, 7},
1503 {8, 9, 10, 11, 12, 13, 14, 15});
1510 {0, 1, 2, 3, 4, 5, 6, 7},
1511 {8, 9, 10, 11, 12, 13, 14, 15});
1518 {0, 1, 2, 3, 4, 5, 6, 7},
1519 {8, 9, 10, 11, 12, 13, 14, 15});
1526 {0, 1, 2, 3, 4, 5, 6, 7},
1527 {8, 9, 10, 11, 12, 13, 14, 15});
1534 {8, 9, 10, 11, 12, 13, 14, 15},
1535 {0, 1, 2, 3, 4, 5, 6, 7});
1542 {8, 9, 10, 11, 12, 13, 14, 15},
1543 {0, 1, 2, 3, 4, 5, 6, 7});
1550 {8, 9, 10, 11, 12, 13, 14, 15},
1551 {0, 1, 2, 3, 4, 5, 6, 7});
1558 {8, 9, 10, 11, 12, 13, 14, 15},
1559 {0, 1, 2, 3, 4, 5, 6, 7});
1566 {8, 9, 10, 11, 12, 13, 14, 15},
1567 {0, 1, 2, 3, 4, 5, 6, 7});
1574 {8, 9, 10, 11, 12, 13, 14, 15},
1575 {0, 1, 2, 3, 4, 5, 6, 7});
1582 {8, 9, 10, 11, 12, 13, 14, 15},
1583 {0, 1, 2, 3, 4, 5, 6, 7});
1590 {8, 9, 10, 11, 12, 13, 14, 15},
1591 {0, 1, 2, 3, 4, 5, 6, 7});