exists p forall w exists split forall i量詞與split constraints責任。操作=pump-anbn-all-splits;資料={"p":25}。請依 [p, adversary_word, all_legal_split_rows, split_count, triangular_count, every_split_defeated, pump_down_scope] 欄序回答。
查看答案與解釋
(25, a^25b^25, [[0, 1, 24, a^24b^25, 否], [0, 2, 23, a^23b^25, 否], [0, 3, 22, a^22b^25, 否], [0, 4, 21, a^21b^25, 否], [0, 5, 20, a^20b^25, 否], [0, 6, 19, a^19b^25, 否], [0, 7, 18, a^18b^25, 否], [0, 8, 17, a^17b^25, 否], [0, 9, 16, a^16b^25, 否], [0, 10, 15, a^15b^25, 否], [0, 11, 14, a^14b^25, 否], [0, 12, 13, a^13b^25, 否], [0, 13, 12, a^12b^25, 否], [0, 14, 11, a^11b^25, 否], [0, 15, 10, a^10b^25, 否], [0, 16, 9, a^9b^25, 否], [0, 17, 8, a^8b^25, 否], [0, 18, 7, a^7b^25, 否], [0, 19, 6, a^6b^25, 否], [0, 20, 5, a^5b^25, 否], [0, 21, 4, a^4b^25, 否], [0, 22, 3, a^3b^25, 否], [0, 23, 2, a^2b^25, 否], [0, 24, 1, a^1b^25, 否], [0, 25, 0, a^0b^25, 否], [1, 1, 23, a^24b^25, 否], [1, 2, 22, a^23b^25, 否], [1, 3, 21, a^22b^25, 否], [1, 4, 20, a^21b^25, 否], [1, 5, 19, a^20b^25, 否], [1, 6, 18, a^19b^25, 否], [1, 7, 17, a^18b^25, 否], [1, 8, 16, a^17b^25, 否], [1, 9, 15, a^16b^25, 否], [1, 10, 14, a^15b^25, 否], [1, 11, 13, a^14b^25, 否], [1, 12, 12, a^13b^25, 否], [1, 13, 11, a^12b^25, 否], [1, 14, 10, a^11b^25, 否], [1, 15, 9, a^10b^25, 否], [1, 16, 8, a^9b^25, 否], [1, 17, 7, a^8b^25, 否], [1, 18, 6, a^7b^25, 否], [1, 19, 5, a^6b^25, 否], [1, 20, 4, a^5b^25, 否], [1, 21, 3, a^4b^25, 否], [1, 22, 2, a^3b^25, 否], [1, 23, 1, a^2b^25, 否], [1, 24, 0, a^1b^25, 否], [2, 1, 22, a^24b^25, 否], [2, 2, 21, a^23b^25, 否], [2, 3, 20, a^22b^25, 否], [2, 4, 19, a^21b^25, 否], [2, 5, 18, a^20b^25, 否], [2, 6, 17, a^19b^25, 否], [2, 7, 16, a^18b^25, 否], [2, 8, 15, a^17b^25, 否], [2, 9, 14, a^16b^25, 否], [2, 10, 13, a^15b^25, 否], [2, 11, 12, a^14b^25, 否], [2, 12, 11, a^13b^25, 否], [2, 13, 10, a^12b^25, 否], [2, 14, 9, a^11b^25, 否], [2, 15, 8, a^10b^25, 否], [2, 16, 7, a^9b^25, 否], [2, 17, 6, a^8b^25, 否], [2, 18, 5, a^7b^25, 否], [2, 19, 4, a^6b^25, 否], [2, 20, 3, a^5b^25, 否], [2, 21, 2, a^4b^25, 否], [2, 22, 1, a^3b^25, 否], [2, 23, 0, a^2b^25, 否], [3, 1, 21, a^24b^25, 否], [3, 2, 20, a^23b^25, 否], [3, 3, 19, a^22b^25, 否], [3, 4, 18, a^21b^25, 否], [3, 5, 17, a^20b^25, 否], [3, 6, 16, a^19b^25, 否], [3, 7, 15, a^18b^25, 否], [3, 8, 14, a^17b^25, 否], [3, 9, 13, a^16b^25, 否], [3, 10, 12, a^15b^25, 否], [3, 11, 11, a^14b^25, 否], [3, 12, 10, a^13b^25, 否], [3, 13, 9, a^12b^25, 否], [3, 14, 8, a^11b^25, 否], [3, 15, 7, a^10b^25, 否], [3, 16, 6, a^9b^25, 否], [3, 17, 5, a^8b^25, 否], [3, 18, 4, a^7b^25, 否], [3, 19, 3, a^6b^25, 否], [3, 20, 2, a^5b^25, 否], [3, 21, 1, a^4b^25, 否], [3, 22, 0, a^3b^25, 否], [4, 1, 20, a^24b^25, 否], [4, 2, 19, a^23b^25, 否], [4, 3, 18, a^22b^25, 否], [4, 4, 17, a^21b^25, 否], [4, 5, 16, a^20b^25, 否], [4, 6, 15, a^19b^25, 否], [4, 7, 14, a^18b^25, 否], [4, 8, 13, a^17b^25, 否], [4, 9, 12, a^16b^25, 否], [4, 10, 11, a^15b^25, 否], [4, 11, 10, a^14b^25, 否], [4, 12, 9, a^13b^25, 否], [4, 13, 8, a^12b^25, 否], [4, 14, 7, a^11b^25, 否], [4, 15, 6, a^10b^25, 否], [4, 16, 5, a^9b^25, 否], [4, 17, 4, a^8b^25, 否], [4, 18, 3, a^7b^25, 否], [4, 19, 2, a^6b^25, 否], [4, 20, 1, a^5b^25, 否], [4, 21, 0, a^4b^25, 否], [5, 1, 19, a^24b^25, 否], [5, 2, 18, a^23b^25, 否], [5, 3, 17, a^22b^25, 否], [5, 4, 16, a^21b^25, 否], [5, 5, 15, a^20b^25, 否], [5, 6, 14, a^19b^25, 否], [5, 7, 13, a^18b^25, 否], [5, 8, 12, a^17b^25, 否], [5, 9, 11, a^16b^25, 否], [5, 10, 10, a^15b^25, 否], [5, 11, 9, a^14b^25, 否], [5, 12, 8, a^13b^25, 否], [5, 13, 7, a^12b^25, 否], [5, 14, 6, a^11b^25, 否], [5, 15, 5, a^10b^25, 否], [5, 16, 4, a^9b^25, 否], [5, 17, 3, a^8b^25, 否], [5, 18, 2, a^7b^25, 否], [5, 19, 1, a^6b^25, 否], [5, 20, 0, a^5b^25, 否], [6, 1, 18, a^24b^25, 否], [6, 2, 17, a^23b^25, 否], [6, 3, 16, a^22b^25, 否], [6, 4, 15, a^21b^25, 否], [6, 5, 14, a^20b^25, 否], [6, 6, 13, a^19b^25, 否], [6, 7, 12, a^18b^25, 否], [6, 8, 11, a^17b^25, 否], [6, 9, 10, a^16b^25, 否], [6, 10, 9, a^15b^25, 否], [6, 11, 8, a^14b^25, 否], [6, 12, 7, a^13b^25, 否], [6, 13, 6, a^12b^25, 否], [6, 14, 5, a^11b^25, 否], [6, 15, 4, a^10b^25, 否], [6, 16, 3, a^9b^25, 否], [6, 17, 2, a^8b^25, 否], [6, 18, 1, a^7b^25, 否], [6, 19, 0, a^6b^25, 否], [7, 1, 17, a^24b^25, 否], [7, 2, 16, a^23b^25, 否], [7, 3, 15, a^22b^25, 否], [7, 4, 14, a^21b^25, 否], [7, 5, 13, a^20b^25, 否], [7, 6, 12, a^19b^25, 否], [7, 7, 11, a^18b^25, 否], [7, 8, 10, a^17b^25, 否], [7, 9, 9, a^16b^25, 否], [7, 10, 8, a^15b^25, 否], [7, 11, 7, a^14b^25, 否], [7, 12, 6, a^13b^25, 否], [7, 13, 5, a^12b^25, 否], [7, 14, 4, a^11b^25, 否], [7, 15, 3, a^10b^25, 否], [7, 16, 2, a^9b^25, 否], [7, 17, 1, a^8b^25, 否], [7, 18, 0, a^7b^25, 否], [8, 1, 16, a^24b^25, 否], [8, 2, 15, a^23b^25, 否], [8, 3, 14, a^22b^25, 否], [8, 4, 13, a^21b^25, 否], [8, 5, 12, a^20b^25, 否], [8, 6, 11, a^19b^25, 否], [8, 7, 10, a^18b^25, 否], [8, 8, 9, a^17b^25, 否], [8, 9, 8, a^16b^25, 否], [8, 10, 7, a^15b^25, 否], [8, 11, 6, a^14b^25, 否], [8, 12, 5, a^13b^25, 否], [8, 13, 4, a^12b^25, 否], [8, 14, 3, a^11b^25, 否], [8, 15, 2, a^10b^25, 否], [8, 16, 1, a^9b^25, 否], [8, 17, 0, a^8b^25, 否], [9, 1, 15, a^24b^25, 否], [9, 2, 14, a^23b^25, 否], [9, 3, 13, a^22b^25, 否], [9, 4, 12, a^21b^25, 否], [9, 5, 11, a^20b^25, 否], [9, 6, 10, a^19b^25, 否], [9, 7, 9, a^18b^25, 否], [9, 8, 8, a^17b^25, 否], [9, 9, 7, a^16b^25, 否], [9, 10, 6, a^15b^25, 否], [9, 11, 5, a^14b^25, 否], [9, 12, 4, a^13b^25, 否], [9, 13, 3, a^12b^25, 否], [9, 14, 2, a^11b^25, 否], [9, 15, 1, a^10b^25, 否], [9, 16, 0, a^9b^25, 否], [10, 1, 14, a^24b^25, 否], [10, 2, 13, a^23b^25, 否], [10, 3, 12, a^22b^25, 否], [10, 4, 11, a^21b^25, 否], [10, 5, 10, a^20b^25, 否], [10, 6, 9, a^19b^25, 否], [10, 7, 8, a^18b^25, 否], [10, 8, 7, a^17b^25, 否], [10, 9, 6, a^16b^25, 否], [10, 10, 5, a^15b^25, 否], [10, 11, 4, a^14b^25, 否], [10, 12, 3, a^13b^25, 否], [10, 13, 2, a^12b^25, 否], [10, 14, 1, a^11b^25, 否], [10, 15, 0, a^10b^25, 否], [11, 1, 13, a^24b^25, 否], [11, 2, 12, a^23b^25, 否], [11, 3, 11, a^22b^25, 否], [11, 4, 10, a^21b^25, 否], [11, 5, 9, a^20b^25, 否], [11, 6, 8, a^19b^25, 否], [11, 7, 7, a^18b^25, 否], [11, 8, 6, a^17b^25, 否], [11, 9, 5, a^16b^25, 否], [11, 10, 4, a^15b^25, 否], [11, 11, 3, a^14b^25, 否], [11, 12, 2, a^13b^25, 否], [11, 13, 1, a^12b^25, 否], [11, 14, 0, a^11b^25, 否], [12, 1, 12, a^24b^25, 否], [12, 2, 11, a^23b^25, 否], [12, 3, 10, a^22b^25, 否], [12, 4, 9, a^21b^25, 否], [12, 5, 8, a^20b^25, 否], [12, 6, 7, a^19b^25, 否], [12, 7, 6, a^18b^25, 否], [12, 8, 5, a^17b^25, 否], [12, 9, 4, a^16b^25, 否], [12, 10, 3, a^15b^25, 否], [12, 11, 2, a^14b^25, 否], [12, 12, 1, a^13b^25, 否], [12, 13, 0, a^12b^25, 否], [13, 1, 11, a^24b^25, 否], [13, 2, 10, a^23b^25, 否], [13, 3, 9, a^22b^25, 否], [13, 4, 8, a^21b^25, 否], [13, 5, 7, a^20b^25, 否], [13, 6, 6, a^19b^25, 否], [13, 7, 5, a^18b^25, 否], [13, 8, 4, a^17b^25, 否], [13, 9, 3, a^16b^25, 否], [13, 10, 2, a^15b^25, 否], [13, 11, 1, a^14b^25, 否], [13, 12, 0, a^13b^25, 否], [14, 1, 10, a^24b^25, 否], [14, 2, 9, a^23b^25, 否], [14, 3, 8, a^22b^25, 否], [14, 4, 7, a^21b^25, 否], [14, 5, 6, a^20b^25, 否], [14, 6, 5, a^19b^25, 否], [14, 7, 4, a^18b^25, 否], [14, 8, 3, a^17b^25, 否], [14, 9, 2, a^16b^25, 否], [14, 10, 1, a^15b^25, 否], [14, 11, 0, a^14b^25, 否], [15, 1, 9, a^24b^25, 否], [15, 2, 8, a^23b^25, 否], [15, 3, 7, a^22b^25, 否], [15, 4, 6, a^21b^25, 否], [15, 5, 5, a^20b^25, 否], [15, 6, 4, a^19b^25, 否], [15, 7, 3, a^18b^25, 否], [15, 8, 2, a^17b^25, 否], [15, 9, 1, a^16b^25, 否], [15, 10, 0, a^15b^25, 否], [16, 1, 8, a^24b^25, 否], [16, 2, 7, a^23b^25, 否], [16, 3, 6, a^22b^25, 否], [16, 4, 5, a^21b^25, 否], [16, 5, 4, a^20b^25, 否], [16, 6, 3, a^19b^25, 否], [16, 7, 2, a^18b^25, 否], [16, 8, 1, a^17b^25, 否], [16, 9, 0, a^16b^25, 否], [17, 1, 7, a^24b^25, 否], [17, 2, 6, a^23b^25, 否], [17, 3, 5, a^22b^25, 否], [17, 4, 4, a^21b^25, 否], [17, 5, 3, a^20b^25, 否], [17, 6, 2, a^19b^25, 否], [17, 7, 1, a^18b^25, 否], [17, 8, 0, a^17b^25, 否], [18, 1, 6, a^24b^25, 否], [18, 2, 5, a^23b^25, 否], [18, 3, 4, a^22b^25, 否], [18, 4, 3, a^21b^25, 否], [18, 5, 2, a^20b^25, 否], [18, 6, 1, a^19b^25, 否], [18, 7, 0, a^18b^25, 否], [19, 1, 5, a^24b^25, 否], [19, 2, 4, a^23b^25, 否], [19, 3, 3, a^22b^25, 否], [19, 4, 2, a^21b^25, 否], [19, 5, 1, a^20b^25, 否], [19, 6, 0, a^19b^25, 否], [20, 1, 4, a^24b^25, 否], [20, 2, 3, a^23b^25, 否], [20, 3, 2, a^22b^25, 否], [20, 4, 1, a^21b^25, 否], [20, 5, 0, a^20b^25, 否], [21, 1, 3, a^24b^25, 否], [21, 2, 2, a^23b^25, 否], [21, 3, 1, a^22b^25, 否], [21, 4, 0, a^21b^25, 否], [22, 1, 2, a^24b^25, 否], [22, 2, 1, a^23b^25, 否], [22, 3, 0, a^22b^25, 否], [23, 1, 1, a^24b^25, 否], [23, 2, 0, a^23b^25, 否], [24, 1, 0, a^24b^25, 否]], 325, 325, 是, every_legal_split_is_defeated_by_i=0)
Wave6第十二層核對=(25, a^25b^25, [[0, 1, 24, a^24b^25, 否], [0, 2, 23, a^23b^25, 否], [0, 3, 22, a^22b^25, 否], [0, 4, 21, a^21b^25, 否], [0, 5, 20, a^20b^25, 否], [0, 6, 19, a^19b^25, 否], [0, 7, 18, a^18b^25, 否], [0, 8, 17, a^17b^25, 否], [0, 9, 16, a^16b^25, 否], [0, 10, 15, a^15b^25, 否], [0, 11, 14, a^14b^25, 否], [0, 12, 13, a^13b^25, 否], [0, 13, 12, a^12b^25, 否], [0, 14, 11, a^11b^25, 否], [0, 15, 10, a^10b^25, 否], [0, 16, 9, a^9b^25, 否], [0, 17, 8, a^8b^25, 否], [0, 18, 7, a^7b^25, 否], [0, 19, 6, a^6b^25, 否], [0, 20, 5, a^5b^25, 否], [0, 21, 4, a^4b^25, 否], [0, 22, 3, a^3b^25, 否], [0, 23, 2, a^2b^25, 否], [0, 24, 1, a^1b^25, 否], [0, 25, 0, a^0b^25, 否], [1, 1, 23, a^24b^25, 否], [1, 2, 22, a^23b^25, 否], [1, 3, 21, a^22b^25, 否], [1, 4, 20, a^21b^25, 否], [1, 5, 19, a^20b^25, 否], [1, 6, 18, a^19b^25, 否], [1, 7, 17, a^18b^25, 否], [1, 8, 16, a^17b^25, 否], [1, 9, 15, a^16b^25, 否], [1, 10, 14, a^15b^25, 否], [1, 11, 13, a^14b^25, 否], [1, 12, 12, a^13b^25, 否], [1, 13, 11, a^12b^25, 否], [1, 14, 10, a^11b^25, 否], [1, 15, 9, a^10b^25, 否], [1, 16, 8, a^9b^25, 否], [1, 17, 7, a^8b^25, 否], [1, 18, 6, a^7b^25, 否], [1, 19, 5, a^6b^25, 否], [1, 20, 4, a^5b^25, 否], [1, 21, 3, a^4b^25, 否], [1, 22, 2, a^3b^25, 否], [1, 23, 1, a^2b^25, 否], [1, 24, 0, a^1b^25, 否], [2, 1, 22, a^24b^25, 否], [2, 2, 21, a^23b^25, 否], [2, 3, 20, a^22b^25, 否], [2, 4, 19, a^21b^25, 否], [2, 5, 18, a^20b^25, 否], [2, 6, 17, a^19b^25, 否], [2, 7, 16, a^18b^25, 否], [2, 8, 15, a^17b^25, 否], [2, 9, 14, a^16b^25, 否], [2, 10, 13, a^15b^25, 否], [2, 11, 12, a^14b^25, 否], [2, 12, 11, a^13b^25, 否], [2, 13, 10, a^12b^25, 否], [2, 14, 9, a^11b^25, 否], [2, 15, 8, a^10b^25, 否], [2, 16, 7, a^9b^25, 否], [2, 17, 6, a^8b^25, 否], [2, 18, 5, a^7b^25, 否], [2, 19, 4, a^6b^25, 否], [2, 20, 3, a^5b^25, 否], [2, 21, 2, a^4b^25, 否], [2, 22, 1, a^3b^25, 否], [2, 23, 0, a^2b^25, 否], [3, 1, 21, a^24b^25, 否], [3, 2, 20, a^23b^25, 否], [3, 3, 19, a^22b^25, 否], [3, 4, 18, a^21b^25, 否], [3, 5, 17, a^20b^25, 否], [3, 6, 16, a^19b^25, 否], [3, 7, 15, a^18b^25, 否], [3, 8, 14, a^17b^25, 否], [3, 9, 13, a^16b^25, 否], [3, 10, 12, a^15b^25, 否], [3, 11, 11, a^14b^25, 否], [3, 12, 10, a^13b^25, 否], [3, 13, 9, a^12b^25, 否], [3, 14, 8, a^11b^25, 否], [3, 15, 7, a^10b^25, 否], [3, 16, 6, a^9b^25, 否], [3, 17, 5, a^8b^25, 否], [3, 18, 4, a^7b^25, 否], [3, 19, 3, a^6b^25, 否], [3, 20, 2, a^5b^25, 否], [3, 21, 1, a^4b^25, 否], [3, 22, 0, a^3b^25, 否], [4, 1, 20, a^24b^25, 否], [4, 2, 19, a^23b^25, 否], [4, 3, 18, a^22b^25, 否], [4, 4, 17, a^21b^25, 否], [4, 5, 16, a^20b^25, 否], [4, 6, 15, a^19b^25, 否], [4, 7, 14, a^18b^25, 否], [4, 8, 13, a^17b^25, 否], [4, 9, 12, a^16b^25, 否], [4, 10, 11, a^15b^25, 否], [4, 11, 10, a^14b^25, 否], [4, 12, 9, a^13b^25, 否], [4, 13, 8, a^12b^25, 否], [4, 14, 7, a^11b^25, 否], [4, 15, 6, a^10b^25, 否], [4, 16, 5, a^9b^25, 否], [4, 17, 4, a^8b^25, 否], [4, 18, 3, a^7b^25, 否], [4, 19, 2, a^6b^25, 否], [4, 20, 1, a^5b^25, 否], [4, 21, 0, a^4b^25, 否], [5, 1, 19, a^24b^25, 否], [5, 2, 18, a^23b^25, 否], [5, 3, 17, a^22b^25, 否], [5, 4, 16, a^21b^25, 否], [5, 5, 15, a^20b^25, 否], [5, 6, 14, a^19b^25, 否], [5, 7, 13, a^18b^25, 否], [5, 8, 12, a^17b^25, 否], [5, 9, 11, a^16b^25, 否], [5, 10, 10, a^15b^25, 否], [5, 11, 9, a^14b^25, 否], [5, 12, 8, a^13b^25, 否], [5, 13, 7, a^12b^25, 否], [5, 14, 6, a^11b^25, 否], [5, 15, 5, a^10b^25, 否], [5, 16, 4, a^9b^25, 否], [5, 17, 3, a^8b^25, 否], [5, 18, 2, a^7b^25, 否], [5, 19, 1, a^6b^25, 否], [5, 20, 0, a^5b^25, 否], [6, 1, 18, a^24b^25, 否], [6, 2, 17, a^23b^25, 否], [6, 3, 16, a^22b^25, 否], [6, 4, 15, a^21b^25, 否], [6, 5, 14, a^20b^25, 否], [6, 6, 13, a^19b^25, 否], [6, 7, 12, a^18b^25, 否], [6, 8, 11, a^17b^25, 否], [6, 9, 10, a^16b^25, 否], [6, 10, 9, a^15b^25, 否], [6, 11, 8, a^14b^25, 否], [6, 12, 7, a^13b^25, 否], [6, 13, 6, a^12b^25, 否], [6, 14, 5, a^11b^25, 否], [6, 15, 4, a^10b^25, 否], [6, 16, 3, a^9b^25, 否], [6, 17, 2, a^8b^25, 否], [6, 18, 1, a^7b^25, 否], [6, 19, 0, a^6b^25, 否], [7, 1, 17, a^24b^25, 否], [7, 2, 16, a^23b^25, 否], [7, 3, 15, a^22b^25, 否], [7, 4, 14, a^21b^25, 否], [7, 5, 13, a^20b^25, 否], [7, 6, 12, a^19b^25, 否], [7, 7, 11, a^18b^25, 否], [7, 8, 10, a^17b^25, 否], [7, 9, 9, a^16b^25, 否], [7, 10, 8, a^15b^25, 否], [7, 11, 7, a^14b^25, 否], [7, 12, 6, a^13b^25, 否], [7, 13, 5, a^12b^25, 否], [7, 14, 4, a^11b^25, 否], [7, 15, 3, a^10b^25, 否], [7, 16, 2, a^9b^25, 否], [7, 17, 1, a^8b^25, 否], [7, 18, 0, a^7b^25, 否], [8, 1, 16, a^24b^25, 否], [8, 2, 15, a^23b^25, 否], [8, 3, 14, a^22b^25, 否], [8, 4, 13, a^21b^25, 否], [8, 5, 12, a^20b^25, 否], [8, 6, 11, a^19b^25, 否], [8, 7, 10, a^18b^25, 否], [8, 8, 9, a^17b^25, 否], [8, 9, 8, a^16b^25, 否], [8, 10, 7, a^15b^25, 否], [8, 11, 6, a^14b^25, 否], [8, 12, 5, a^13b^25, 否], [8, 13, 4, a^12b^25, 否], [8, 14, 3, a^11b^25, 否], [8, 15, 2, a^10b^25, 否], [8, 16, 1, a^9b^25, 否], [8, 17, 0, a^8b^25, 否], [9, 1, 15, a^24b^25, 否], [9, 2, 14, a^23b^25, 否], [9, 3, 13, a^22b^25, 否], [9, 4, 12, a^21b^25, 否], [9, 5, 11, a^20b^25, 否], [9, 6, 10, a^19b^25, 否], [9, 7, 9, a^18b^25, 否], [9, 8, 8, a^17b^25, 否], [9, 9, 7, a^16b^25, 否], [9, 10, 6, a^15b^25, 否], [9, 11, 5, a^14b^25, 否], [9, 12, 4, a^13b^25, 否], [9, 13, 3, a^12b^25, 否], [9, 14, 2, a^11b^25, 否], [9, 15, 1, a^10b^25, 否], [9, 16, 0, a^9b^25, 否], [10, 1, 14, a^24b^25, 否], [10, 2, 13, a^23b^25, 否], [10, 3, 12, a^22b^25, 否], [10, 4, 11, a^21b^25, 否], [10, 5, 10, a^20b^25, 否], [10, 6, 9, a^19b^25, 否], [10, 7, 8, a^18b^25, 否], [10, 8, 7, a^17b^25, 否], [10, 9, 6, a^16b^25, 否], [10, 10, 5, a^15b^25, 否], [10, 11, 4, a^14b^25, 否], [10, 12, 3, a^13b^25, 否], [10, 13, 2, a^12b^25, 否], [10, 14, 1, a^11b^25, 否], [10, 15, 0, a^10b^25, 否], [11, 1, 13, a^24b^25, 否], [11, 2, 12, a^23b^25, 否], [11, 3, 11, a^22b^25, 否], [11, 4, 10, a^21b^25, 否], [11, 5, 9, a^20b^25, 否], [11, 6, 8, a^19b^25, 否], [11, 7, 7, a^18b^25, 否], [11, 8, 6, a^17b^25, 否], [11, 9, 5, a^16b^25, 否], [11, 10, 4, a^15b^25, 否], [11, 11, 3, a^14b^25, 否], [11, 12, 2, a^13b^25, 否], [11, 13, 1, a^12b^25, 否], [11, 14, 0, a^11b^25, 否], [12, 1, 12, a^24b^25, 否], [12, 2, 11, a^23b^25, 否], [12, 3, 10, a^22b^25, 否], [12, 4, 9, a^21b^25, 否], [12, 5, 8, a^20b^25, 否], [12, 6, 7, a^19b^25, 否], [12, 7, 6, a^18b^25, 否], [12, 8, 5, a^17b^25, 否], [12, 9, 4, a^16b^25, 否], [12, 10, 3, a^15b^25, 否], [12, 11, 2, a^14b^25, 否], [12, 12, 1, a^13b^25, 否], [12, 13, 0, a^12b^25, 否], [13, 1, 11, a^24b^25, 否], [13, 2, 10, a^23b^25, 否], [13, 3, 9, a^22b^25, 否], [13, 4, 8, a^21b^25, 否], [13, 5, 7, a^20b^25, 否], [13, 6, 6, a^19b^25, 否], [13, 7, 5, a^18b^25, 否], [13, 8, 4, a^17b^25, 否], [13, 9, 3, a^16b^25, 否], [13, 10, 2, a^15b^25, 否], [13, 11, 1, a^14b^25, 否], [13, 12, 0, a^13b^25, 否], [14, 1, 10, a^24b^25, 否], [14, 2, 9, a^23b^25, 否], [14, 3, 8, a^22b^25, 否], [14, 4, 7, a^21b^25, 否], [14, 5, 6, a^20b^25, 否], [14, 6, 5, a^19b^25, 否], [14, 7, 4, a^18b^25, 否], [14, 8, 3, a^17b^25, 否], [14, 9, 2, a^16b^25, 否], [14, 10, 1, a^15b^25, 否], [14, 11, 0, a^14b^25, 否], [15, 1, 9, a^24b^25, 否], [15, 2, 8, a^23b^25, 否], [15, 3, 7, a^22b^25, 否], [15, 4, 6, a^21b^25, 否], [15, 5, 5, a^20b^25, 否], [15, 6, 4, a^19b^25, 否], [15, 7, 3, a^18b^25, 否], [15, 8, 2, a^17b^25, 否], [15, 9, 1, a^16b^25, 否], [15, 10, 0, a^15b^25, 否], [16, 1, 8, a^24b^25, 否], [16, 2, 7, a^23b^25, 否], [16, 3, 6, a^22b^25, 否], [16, 4, 5, a^21b^25, 否], [16, 5, 4, a^20b^25, 否], [16, 6, 3, a^19b^25, 否], [16, 7, 2, a^18b^25, 否], [16, 8, 1, a^17b^25, 否], [16, 9, 0, a^16b^25, 否], [17, 1, 7, a^24b^25, 否], [17, 2, 6, a^23b^25, 否], [17, 3, 5, a^22b^25, 否], [17, 4, 4, a^21b^25, 否], [17, 5, 3, a^20b^25, 否], [17, 6, 2, a^19b^25, 否], [17, 7, 1, a^18b^25, 否], [17, 8, 0, a^17b^25, 否], [18, 1, 6, a^24b^25, 否], [18, 2, 5, a^23b^25, 否], [18, 3, 4, a^22b^25, 否], [18, 4, 3, a^21b^25, 否], [18, 5, 2, a^20b^25, 否], [18, 6, 1, a^19b^25, 否], [18, 7, 0, a^18b^25, 否], [19, 1, 5, a^24b^25, 否], [19, 2, 4, a^23b^25, 否], [19, 3, 3, a^22b^25, 否], [19, 4, 2, a^21b^25, 否], [19, 5, 1, a^20b^25, 否], [19, 6, 0, a^19b^25, 否], [20, 1, 4, a^24b^25, 否], [20, 2, 3, a^23b^25, 否], [20, 3, 2, a^22b^25, 否], [20, 4, 1, a^21b^25, 否], [20, 5, 0, a^20b^25, 否], [21, 1, 3, a^24b^25, 否], [21, 2, 2, a^23b^25, 否], [21, 3, 1, a^22b^25, 否], [21, 4, 0, a^21b^25, 否], [22, 1, 2, a^24b^25, 否], [22, 2, 1, a^23b^25, 否], [22, 3, 0, a^22b^25, 否], [23, 1, 1, a^24b^25, 否], [23, 2, 0, a^23b^25, 否], [24, 1, 0, a^24b^25, 否]], 325, 325, 是, every_legal_split_is_defeated_by_i=0);依完整明示資料獨立重算;positive witness由完整DFA loop支撐全部i,a^p b^p反例涵蓋全部合法splits;pumping property只必要不充分;單一split或bounded words不能證regular。