{
  "check_count": 68,
  "checks": [
    "input File_18.md",
    "input File_09.md",
    "input C117_GRAPH.json",
    "input C118_CERTIFICATE.json",
    "input C118_CHECKPOINT.md",
    "input C11_REPORT.md",
    "input C11_RESULTS.json",
    "input C11_REGISTER.json",
    "input CONQUEST_HANDOFF.md",
    "input C114_CERTIFICATE.json",
    "input C116_CERTIFICATE.json",
    "3K component 1399 0",
    "8K component 1399 0",
    "11K component 1399 0",
    "3K component 1399 1",
    "8K component 1399 1",
    "11K component 1399 1",
    "reversed BC complement field 1399",
    "3K component 1400 0",
    "8K component 1400 0",
    "11K component 1400 0",
    "3K component 1400 1",
    "8K component 1400 1",
    "11K component 1400 1",
    "reversed BC complement field 1400",
    "3K component 1401 0",
    "8K component 1401 0",
    "11K component 1401 0",
    "3K component 1401 1",
    "8K component 1401 1",
    "11K component 1401 1",
    "reversed BC complement field 1401",
    "3K component 1402 0",
    "8K component 1402 0",
    "11K component 1402 0",
    "3K component 1402 1",
    "8K component 1402 1",
    "11K component 1402 1",
    "reversed BC complement field 1402",
    "3K component 1403 0",
    "8K component 1403 0",
    "11K component 1403 0",
    "3K component 1403 1",
    "8K component 1403 1",
    "11K component 1403 1",
    "reversed BC complement field 1403",
    "3K component 1404 0",
    "8K component 1404 0",
    "11K component 1404 0",
    "3K component 1404 1",
    "8K component 1404 1",
    "11K component 1404 1",
    "reversed BC complement field 1404",
    "3K component 1405 0",
    "8K component 1405 0",
    "11K component 1405 0",
    "3K component 1405 1",
    "8K component 1405 1",
    "11K component 1405 1",
    "reversed BC complement field 1405",
    "finite domain inherited",
    "native new8K preimages",
    "closing native residual phase 0",
    "closing conditional width phase 0",
    "closing eightfold phase 0",
    "closing native residual phase 1",
    "closing conditional width phase 1",
    "closing eightfold phase 1"
  ],
  "passed": true
}