{"format":1,"description":"Original certificate/input bytes indexed by execution path. run.py restores them without alteration.","files":{"N8/proofs/AAA_class22/outputs/final_residue.json":{"encoding":"utf-8","content":"[\n {\n \"branch\": 0,\n \"points\": [\n [\n [\n 1,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 3,\n 4\n ]\n ]\n ],\n \"additional\": []\n },\n {\n \"branch\": 1,\n \"points\": [\n [\n [\n 1,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 1,\n 12\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 6\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 1,\n 4\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 1,\n 3\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 5,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 7,\n 12\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 2,\n 3\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 1,\n 3\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 5,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 5,\n 6\n ]\n ],\n [\n [\n 3,\n 4\n ],\n [\n 11,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 7,\n 12\n ]\n ],\n [\n [\n 5,\n 6\n ],\n [\n 3,\n 4\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 1,\n 6\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 1,\n 4\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 2,\n 3\n ]\n ],\n [\n [\n 11,\n 12\n ],\n [\n 3,\n 4\n ]\n ]\n ],\n \"additional\": []\n }\n]"},"N8/report/ccc_matrix.tex":{"encoding":"utf-8","content":"\\begin{pmatrix}\n0&0&0&0&0&0&0&0\\\\\n0&0&6&10&12&18&20&24\\\\\n0&6&13&28&27&21&12&15\\\\\n0&10&28&20&16&4&10&22\\\\\n0&12&27&16&1&15&24&9\\\\\n0&18&21&4&15&19&6&3\\\\\n0&20&12&10&24&6&0&18\\\\\n0&24&15&22&9&3&18&7\n\\end{pmatrix}"},"N8/report/isolated_matrix.tex":{"encoding":"utf-8","content":"\\[\n\\begin{pmatrix}\n0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n0 & 0 & 0 & 3 & 6 & 6 & 6 & 9 \\\\\n0 & 1 & 5 & 9 & 1 & 5 & 9 & 6 \\\\\n0 & 4 & 8 & 6 & 10 & 2 & 3 & 9 \\\\\n0 & 6 & 2 & 11 & 9 & 8 & 3 & 5 \\\\\n0 & 6 & 11 & 5 & 3 & 11 & 9 & 5 \\\\\n0 & 7 & 6 & 1 & 7 & 3 & 9 & 1 \\\\\n0 & 10 & 6 & 7 & 4 & 9 & 3 & 1\n\\end{pmatrix}.\n\\]\n"}}}