files / problems / hilbert16-degree-8 / compute / q11 / certs / candidates.jsonl

5.0 KB · on GitHub

{"added": [[1, 3], [2, 4]], "candidates": [{"bits": 24365689809633, "code": 15475583656}], "domain": "q10-followup-leftover", "id": 105, "removed": [[1, 2], [2, 5]], "schemes": ["<1<1> u 1<2> u 1<10>>"], "seed": 3, "triangulation_sha256": "933f7f177474ca994ef7265698dbbd4de8b7961bee2d8e4d908dcada3c421bfa"}
{"added": [[1, 5], [2, 5]], "candidates": [{"bits": 24365694003921, "code": 920908376744}, {"bits": 24365694003841, "code": 233713609384}, {"bits": 24365696100997, "code": 15478729384}], "domain": "q10-followup-leftover", "id": 107, "removed": [[1, 4], [2, 6]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>", "<1<1> u 1<3> u 1<9>>", "<2 u 1<1> u 1<3> u 1<10>>"], "seed": 3, "triangulation_sha256": "321cb1f41729fc0a35712e4c99a2961a55bd4f8f29c4f8317360e92cf28f28a7"}
{"added": [[1, 5], [2, 5]], "candidates": [{"bits": 24365694003841, "code": 233713609384}, {"bits": 24365696100994, "code": 15478729384}, {"bits": 24365694003925, "code": 920908376744}], "domain": "q10-followup-leftover", "id": 17, "removed": [[1, 4], [2, 6]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>", "<1<1> u 1<3> u 1<9>>", "<2 u 1<1> u 1<3> u 1<10>>"], "seed": 0, "triangulation_sha256": "321cb1f41729fc0a35712e4c99a2961a55bd4f8f29c4f8317360e92cf28f28a7"}
{"added": [[1, 5], [2, 5]], "candidates": [{"bits": 24365694003921, "code": 920908376744}, {"bits": 24365694003841, "code": 233713609384}, {"bits": 24365696100997, "code": 15478729384}], "domain": "q10-followup-leftover", "id": 137, "removed": [[1, 4], [2, 6]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>", "<1<1> u 1<3> u 1<9>>", "<2 u 1<1> u 1<3> u 1<10>>"], "seed": 4, "triangulation_sha256": "321cb1f41729fc0a35712e4c99a2961a55bd4f8f29c4f8317360e92cf28f28a7"}
{"added": [[1, 1], [1, 2]], "candidates": [{"bits": 24365694036481, "code": 233713609384}], "domain": "q10-followup-leftover", "id": 150, "removed": [[0, 0], [2, 3]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>"], "seed": 5, "triangulation_sha256": "e61735ce8f0eabc6e9d0405d57c0b1bc81f223f6577fabf4a6a180d22ef342a1"}
{"added": [[1, 5], [2, 5]], "candidates": [{"bits": 24365696100994, "code": 15478729384}, {"bits": 24365694003841, "code": 233713609384}], "domain": "q10-followup-leftover", "id": 47, "removed": [[1, 4], [2, 6]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>", "<1<1> u 1<3> u 1<9>>"], "seed": 1, "triangulation_sha256": "321cb1f41729fc0a35712e4c99a2961a55bd4f8f29c4f8317360e92cf28f28a7"}
{"added": [[1, 7], [2, 5]], "candidates": [{"bits": 24365696068097, "code": 934870166184}], "domain": "q10-followup-leftover", "id": 167, "removed": [[1, 6], [2, 6]], "schemes": ["<1 u 1<1> u 1<5> u 1<9>>"], "seed": 5, "triangulation_sha256": "82480bdc7a54b582888e89097d6b9531ab548be2c00d1c2e26f99ddb50a3d11e"}
{"added": [[1, 3], [2, 4]], "candidates": [{"bits": 24365689809653, "code": 15475583656}], "domain": "q10-followup-leftover", "id": 75, "removed": [[1, 2], [2, 5]], "schemes": ["<1<1> u 1<2> u 1<10>>"], "seed": 2, "triangulation_sha256": "933f7f177474ca994ef7265698dbbd4de8b7961bee2d8e4d908dcada3c421bfa"}
{"added": [[1, 1], [2, 3]], "candidates": [{"bits": 24365696068099, "code": 934870166184}], "domain": "q10-followup-leftover", "id": 179, "removed": [[0, 0], [3, 4]], "schemes": ["<1 u 1<1> u 1<5> u 1<9>>"], "seed": 6, "triangulation_sha256": "82480bdc7a54b582888e89097d6b9531ab548be2c00d1c2e26f99ddb50a3d11e"}
{"added": [[1, 5], [2, 5]], "candidates": [{"bits": 24365694003841, "code": 233713609384}, {"bits": 24365694003921, "code": 920908376744}, {"bits": 24365696101009, "code": 15478729384}], "domain": "q10-followup-leftover", "id": 77, "removed": [[1, 4], [2, 6]], "schemes": ["<1 u 1<1> u 1<3> u 1<10>>", "<1<1> u 1<3> u 1<9>>", "<2 u 1<1> u 1<3> u 1<10>>"], "seed": 2, "triangulation_sha256": "321cb1f41729fc0a35712e4c99a2961a55bd4f8f29c4f8317360e92cf28f28a7"}
{"added": [[1, 6], [2, 5]], "candidates": [{"bits": 24365696133638, "code": 61918063272}], "domain": "q11-certificate-flips", "id": 77, "removed": [[1, 5], [2, 6]], "schemes": ["<1<1> u 1<4> u 1<9>>"], "seed": 2, "triangulation_sha256": "0afd8d4f70bd9ecd7b48c5a39643dba539bbc3ffa71239277dce093a2ef2feae"}
{"added": [[1, 6], [2, 5]], "candidates": [{"bits": 24365694036485, "code": 934867020456}, {"bits": 24365696133633, "code": 61918063272}], "domain": "q11-certificate-flips", "id": 17, "removed": [[1, 5], [2, 6]], "schemes": ["<1 u 1<1> u 1<4> u 1<10>>", "<1<1> u 1<4> u 1<9>>"], "seed": 0, "triangulation_sha256": "0afd8d4f70bd9ecd7b48c5a39643dba539bbc3ffa71239277dce093a2ef2feae"}
{"added": [[1, 4], [2, 4]], "candidates": [{"bits": 24365689809653, "code": 61914917544}], "domain": "q11-certificate-flips", "id": 107, "removed": [[1, 3], [2, 5]], "schemes": ["<1<1> u 1<3> u 1<10>>"], "seed": 3, "triangulation_sha256": "40c5cb57431ac124a489996f126acf4f2c69e0ad07948f8ff2796f4445d278e7"}
{"added": [[1, 6], [2, 5]], "candidates": [{"bits": 24365694036501, "code": 934867020456}], "domain": "q11-certificate-flips", "id": 47, "removed": [[1, 5], [2, 6]], "schemes": ["<1 u 1<1> u 1<4> u 1<10>>"], "seed": 1, "triangulation_sha256": "0afd8d4f70bd9ecd7b48c5a39643dba539bbc3ffa71239277dce093a2ef2feae"}