{
  "step": "C427",
  "status": "passed",
  "assertions_passed": 585,
  "checks": [
    "coincidence equation (152, 8)",
    "coincidence equation (152, 9)",
    "coincidence equation (152, 10)",
    "coincidence equation (152, 11)",
    "coincidence equation (152, 12)",
    "coincidence equation (152, 13)",
    "coincidence equation (152, 14)",
    "coincidence equation (152, 15)",
    "coincidence equation (152, 24)",
    "coincidence equation (152, 25)",
    "coincidence equation (152, 26)",
    "coincidence equation (152, 27)",
    "coincidence equation (152, 28)",
    "coincidence equation (152, 29)",
    "coincidence equation (152, 30)",
    "coincidence equation (152, 31)",
    "coincidence equation (152, 40)",
    "coincidence equation (152, 41)",
    "coincidence equation (152, 42)",
    "coincidence equation (152, 43)",
    "coincidence equation (152, 44)",
    "coincidence equation (152, 45)",
    "coincidence equation (152, 46)",
    "coincidence equation (152, 47)",
    "coincidence equation (153, 8)",
    "coincidence equation (153, 9)",
    "coincidence equation (153, 10)",
    "coincidence equation (153, 11)",
    "coincidence equation (153, 12)",
    "coincidence equation (153, 13)",
    "coincidence equation (153, 14)",
    "coincidence equation (153, 15)",
    "coincidence equation (153, 24)",
    "coincidence equation (153, 25)",
    "coincidence equation (153, 26)",
    "coincidence equation (153, 27)",
    "coincidence equation (153, 28)",
    "coincidence equation (153, 29)",
    "coincidence equation (153, 30)",
    "coincidence equation (153, 31)",
    "coincidence equation (153, 40)",
    "coincidence equation (153, 41)",
    "coincidence equation (153, 42)",
    "coincidence equation (153, 43)",
    "coincidence equation (153, 44)",
    "coincidence equation (153, 45)",
    "coincidence equation (153, 46)",
    "coincidence equation (153, 47)",
    "coincidence equation (154, 8)",
    "coincidence equation (154, 9)",
    "coincidence equation (154, 10)",
    "coincidence equation (154, 11)",
    "coincidence equation (154, 12)",
    "coincidence equation (154, 13)",
    "coincidence equation (154, 14)",
    "coincidence equation (154, 15)",
    "coincidence equation (154, 24)",
    "coincidence equation (154, 25)",
    "coincidence equation (154, 26)",
    "coincidence equation (154, 27)",
    "coincidence equation (154, 28)",
    "coincidence equation (154, 29)",
    "coincidence equation (154, 30)",
    "coincidence equation (154, 31)",
    "coincidence equation (154, 40)",
    "coincidence equation (154, 41)",
    "coincidence equation (154, 42)",
    "coincidence equation (154, 43)",
    "coincidence equation (154, 44)",
    "coincidence equation (154, 45)",
    "coincidence equation (154, 46)",
    "coincidence equation (154, 47)",
    "coincidence equation (155, 8)",
    "coincidence equation (155, 9)",
    "coincidence equation (155, 10)",
    "coincidence equation (155, 11)",
    "coincidence equation (155, 12)",
    "coincidence equation (155, 13)",
    "coincidence equation (155, 14)",
    "coincidence equation (155, 15)",
    "coincidence equation (155, 24)",
    "coincidence equation (155, 25)",
    "coincidence equation (155, 26)",
    "coincidence equation (155, 27)",
    "coincidence equation (155, 28)",
    "coincidence equation (155, 29)",
    "coincidence equation (155, 30)",
    "coincidence equation (155, 31)",
    "coincidence equation (155, 40)",
    "coincidence equation (155, 41)",
    "coincidence equation (155, 42)",
    "coincidence equation (155, 43)",
    "coincidence equation (155, 44)",
    "coincidence equation (155, 45)",
    "coincidence equation (155, 46)",
    "coincidence equation (155, 47)",
    "coincidence equation (156, 8)",
    "coincidence equation (156, 9)",
    "coincidence equation (156, 10)",
    "coincidence equation (156, 11)",
    "coincidence equation (156, 12)",
    "coincidence equation (156, 13)",
    "coincidence equation (156, 14)",
    "coincidence equation (156, 15)",
    "coincidence equation (156, 24)",
    "coincidence equation (156, 25)",
    "coincidence equation (156, 26)",
    "coincidence equation (156, 27)",
    "coincidence equation (156, 28)",
    "coincidence equation (156, 29)",
    "coincidence equation (156, 30)",
    "coincidence equation (156, 31)",
    "coincidence equation (156, 40)",
    "coincidence equation (156, 41)",
    "coincidence equation (156, 42)",
    "coincidence equation (156, 43)",
    "coincidence equation (156, 44)",
    "coincidence equation (156, 45)",
    "coincidence equation (156, 46)",
    "coincidence equation (156, 47)",
    "coincidence equation (157, 8)",
    "coincidence equation (157, 9)",
    "coincidence equation (157, 10)",
    "coincidence equation (157, 11)",
    "coincidence equation (157, 12)",
    "coincidence equation (157, 13)",
    "coincidence equation (157, 14)",
    "coincidence equation (157, 15)",
    "coincidence equation (157, 24)",
    "coincidence equation (157, 25)",
    "coincidence equation (157, 26)",
    "coincidence equation (157, 27)",
    "coincidence equation (157, 28)",
    "coincidence equation (157, 29)",
    "coincidence equation (157, 30)",
    "coincidence equation (157, 31)",
    "coincidence equation (157, 40)",
    "coincidence equation (157, 41)",
    "coincidence equation (157, 42)",
    "coincidence equation (157, 43)",
    "coincidence equation (157, 44)",
    "coincidence equation (157, 45)",
    "coincidence equation (157, 46)",
    "coincidence equation (157, 47)",
    "coincidence equation (158, 8)",
    "coincidence equation (158, 9)",
    "coincidence equation (158, 10)",
    "coincidence equation (158, 11)",
    "coincidence equation (158, 12)",
    "coincidence equation (158, 13)",
    "coincidence equation (158, 14)",
    "coincidence equation (158, 15)",
    "coincidence equation (158, 24)",
    "coincidence equation (158, 25)",
    "coincidence equation (158, 26)",
    "coincidence equation (158, 27)",
    "coincidence equation (158, 28)",
    "coincidence equation (158, 29)",
    "coincidence equation (158, 30)",
    "coincidence equation (158, 31)",
    "coincidence equation (158, 40)",
    "coincidence equation (158, 41)",
    "coincidence equation (158, 42)",
    "coincidence equation (158, 43)",
    "coincidence equation (158, 44)",
    "coincidence equation (158, 45)",
    "coincidence equation (158, 46)",
    "coincidence equation (158, 47)",
    "coincidence equation (159, 8)",
    "coincidence equation (159, 9)",
    "coincidence equation (159, 10)",
    "coincidence equation (159, 11)",
    "coincidence equation (159, 12)",
    "coincidence equation (159, 13)",
    "coincidence equation (159, 14)",
    "coincidence equation (159, 15)",
    "coincidence equation (159, 24)",
    "coincidence equation (159, 25)",
    "coincidence equation (159, 26)",
    "coincidence equation (159, 27)",
    "coincidence equation (159, 28)",
    "coincidence equation (159, 29)",
    "coincidence equation (159, 30)",
    "coincidence equation (159, 31)",
    "coincidence equation (159, 40)",
    "coincidence equation (159, 41)",
    "coincidence equation (159, 42)",
    "coincidence equation (159, 43)",
    "coincidence equation (159, 44)",
    "coincidence equation (159, 45)",
    "coincidence equation (159, 46)",
    "coincidence equation (159, 47)",
    "coincidence equation (248, 8)",
    "coincidence equation (248, 9)",
    "coincidence equation (248, 10)",
    "coincidence equation (248, 11)",
    "coincidence equation (248, 12)",
    "coincidence equation (248, 13)",
    "coincidence equation (248, 14)",
    "coincidence equation (248, 15)",
    "coincidence equation (248, 24)",
    "coincidence equation (248, 25)",
    "coincidence equation (248, 26)",
    "coincidence equation (248, 27)",
    "coincidence equation (248, 28)",
    "coincidence equation (248, 29)",
    "coincidence equation (248, 30)",
    "coincidence equation (248, 31)",
    "coincidence equation (248, 40)",
    "coincidence equation (248, 41)",
    "coincidence equation (248, 42)",
    "coincidence equation (248, 43)",
    "coincidence equation (248, 44)",
    "coincidence equation (248, 45)",
    "coincidence equation (248, 46)",
    "coincidence equation (248, 47)",
    "coincidence equation (249, 8)",
    "coincidence equation (249, 9)",
    "coincidence equation (249, 10)",
    "coincidence equation (249, 11)",
    "coincidence equation (249, 12)",
    "coincidence equation (249, 13)",
    "coincidence equation (249, 14)",
    "coincidence equation (249, 15)",
    "coincidence equation (249, 24)",
    "coincidence equation (249, 25)",
    "coincidence equation (249, 26)",
    "coincidence equation (249, 27)",
    "coincidence equation (249, 28)",
    "coincidence equation (249, 29)",
    "coincidence equation (249, 30)",
    "coincidence equation (249, 31)",
    "coincidence equation (249, 40)",
    "coincidence equation (249, 41)",
    "coincidence equation (249, 42)",
    "coincidence equation (249, 43)",
    "coincidence equation (249, 44)",
    "coincidence equation (249, 45)",
    "coincidence equation (249, 46)",
    "coincidence equation (249, 47)",
    "coincidence equation (250, 8)",
    "coincidence equation (250, 9)",
    "coincidence equation (250, 10)",
    "coincidence equation (250, 11)",
    "coincidence equation (250, 12)",
    "coincidence equation (250, 13)",
    "coincidence equation (250, 14)",
    "coincidence equation (250, 15)",
    "coincidence equation (250, 24)",
    "coincidence equation (250, 25)",
    "coincidence equation (250, 26)",
    "coincidence equation (250, 27)",
    "coincidence equation (250, 28)",
    "coincidence equation (250, 29)",
    "coincidence equation (250, 30)",
    "coincidence equation (250, 31)",
    "coincidence equation (250, 40)",
    "coincidence equation (250, 41)",
    "coincidence equation (250, 42)",
    "coincidence equation (250, 43)",
    "coincidence equation (250, 44)",
    "coincidence equation (250, 45)",
    "coincidence equation (250, 46)",
    "coincidence equation (250, 47)",
    "coincidence equation (251, 8)",
    "coincidence equation (251, 9)",
    "coincidence equation (251, 10)",
    "coincidence equation (251, 11)",
    "coincidence equation (251, 12)",
    "coincidence equation (251, 13)",
    "coincidence equation (251, 14)",
    "coincidence equation (251, 15)",
    "coincidence equation (251, 24)",
    "coincidence equation (251, 25)",
    "coincidence equation (251, 26)",
    "coincidence equation (251, 27)",
    "coincidence equation (251, 28)",
    "coincidence equation (251, 29)",
    "coincidence equation (251, 30)",
    "coincidence equation (251, 31)",
    "coincidence equation (251, 40)",
    "coincidence equation (251, 41)",
    "coincidence equation (251, 42)",
    "coincidence equation (251, 43)",
    "coincidence equation (251, 44)",
    "coincidence equation (251, 45)",
    "coincidence equation (251, 46)",
    "coincidence equation (251, 47)",
    "coincidence equation (252, 8)",
    "coincidence equation (252, 9)",
    "coincidence equation (252, 10)",
    "coincidence equation (252, 11)",
    "coincidence equation (252, 12)",
    "coincidence equation (252, 13)",
    "coincidence equation (252, 14)",
    "coincidence equation (252, 15)",
    "coincidence equation (252, 24)",
    "coincidence equation (252, 25)",
    "coincidence equation (252, 26)",
    "coincidence equation (252, 27)",
    "coincidence equation (252, 28)",
    "coincidence equation (252, 29)",
    "coincidence equation (252, 30)",
    "coincidence equation (252, 31)",
    "coincidence equation (252, 40)",
    "coincidence equation (252, 41)",
    "coincidence equation (252, 42)",
    "coincidence equation (252, 43)",
    "coincidence equation (252, 44)",
    "coincidence equation (252, 45)",
    "coincidence equation (252, 46)",
    "coincidence equation (252, 47)",
    "coincidence equation (253, 8)",
    "coincidence equation (253, 9)",
    "coincidence equation (253, 10)",
    "coincidence equation (253, 11)",
    "coincidence equation (253, 12)",
    "coincidence equation (253, 13)",
    "coincidence equation (253, 14)",
    "coincidence equation (253, 15)",
    "coincidence equation (253, 24)",
    "coincidence equation (253, 25)",
    "coincidence equation (253, 26)",
    "coincidence equation (253, 27)",
    "coincidence equation (253, 28)",
    "coincidence equation (253, 29)",
    "coincidence equation (253, 30)",
    "coincidence equation (253, 31)",
    "coincidence equation (253, 40)",
    "coincidence equation (253, 41)",
    "coincidence equation (253, 42)",
    "coincidence equation (253, 43)",
    "coincidence equation (253, 44)",
    "coincidence equation (253, 45)",
    "coincidence equation (253, 46)",
    "coincidence equation (253, 47)",
    "coincidence equation (254, 8)",
    "coincidence equation (254, 9)",
    "coincidence equation (254, 10)",
    "coincidence equation (254, 11)",
    "coincidence equation (254, 12)",
    "coincidence equation (254, 13)",
    "coincidence equation (254, 14)",
    "coincidence equation (254, 15)",
    "coincidence equation (254, 24)",
    "coincidence equation (254, 25)",
    "coincidence equation (254, 26)",
    "coincidence equation (254, 27)",
    "coincidence equation (254, 28)",
    "coincidence equation (254, 29)",
    "coincidence equation (254, 30)",
    "coincidence equation (254, 31)",
    "coincidence equation (254, 40)",
    "coincidence equation (254, 41)",
    "coincidence equation (254, 42)",
    "coincidence equation (254, 43)",
    "coincidence equation (254, 44)",
    "coincidence equation (254, 45)",
    "coincidence equation (254, 46)",
    "coincidence equation (254, 47)",
    "coincidence equation (255, 8)",
    "coincidence equation (255, 9)",
    "coincidence equation (255, 10)",
    "coincidence equation (255, 11)",
    "coincidence equation (255, 12)",
    "coincidence equation (255, 13)",
    "coincidence equation (255, 14)",
    "coincidence equation (255, 15)",
    "coincidence equation (255, 24)",
    "coincidence equation (255, 25)",
    "coincidence equation (255, 26)",
    "coincidence equation (255, 27)",
    "coincidence equation (255, 28)",
    "coincidence equation (255, 29)",
    "coincidence equation (255, 30)",
    "coincidence equation (255, 31)",
    "coincidence equation (255, 40)",
    "coincidence equation (255, 41)",
    "coincidence equation (255, 42)",
    "coincidence equation (255, 43)",
    "coincidence equation (255, 44)",
    "coincidence equation (255, 45)",
    "coincidence equation (255, 46)",
    "coincidence equation (255, 47)",
    "coincidence equation (344, 8)",
    "coincidence equation (344, 9)",
    "coincidence equation (344, 10)",
    "coincidence equation (344, 11)",
    "coincidence equation (344, 12)",
    "coincidence equation (344, 13)",
    "coincidence equation (344, 14)",
    "coincidence equation (344, 15)",
    "coincidence equation (344, 24)",
    "coincidence equation (344, 25)",
    "coincidence equation (344, 26)",
    "coincidence equation (344, 27)",
    "coincidence equation (344, 28)",
    "coincidence equation (344, 29)",
    "coincidence equation (344, 30)",
    "coincidence equation (344, 31)",
    "coincidence equation (344, 40)",
    "coincidence equation (344, 41)",
    "coincidence equation (344, 42)",
    "coincidence equation (344, 43)",
    "coincidence equation (344, 44)",
    "coincidence equation (344, 45)",
    "coincidence equation (344, 46)",
    "coincidence equation (344, 47)",
    "coincidence equation (345, 8)",
    "coincidence equation (345, 9)",
    "coincidence equation (345, 10)",
    "coincidence equation (345, 11)",
    "coincidence equation (345, 12)",
    "coincidence equation (345, 13)",
    "coincidence equation (345, 14)",
    "coincidence equation (345, 15)",
    "coincidence equation (345, 24)",
    "coincidence equation (345, 25)",
    "coincidence equation (345, 26)",
    "coincidence equation (345, 27)",
    "coincidence equation (345, 28)",
    "coincidence equation (345, 29)",
    "coincidence equation (345, 30)",
    "coincidence equation (345, 31)",
    "coincidence equation (345, 40)",
    "coincidence equation (345, 41)",
    "coincidence equation (345, 42)",
    "coincidence equation (345, 43)",
    "coincidence equation (345, 44)",
    "coincidence equation (345, 45)",
    "coincidence equation (345, 46)",
    "coincidence equation (345, 47)",
    "coincidence equation (346, 8)",
    "coincidence equation (346, 9)",
    "coincidence equation (346, 10)",
    "coincidence equation (346, 11)",
    "coincidence equation (346, 12)",
    "coincidence equation (346, 13)",
    "coincidence equation (346, 14)",
    "coincidence equation (346, 15)",
    "coincidence equation (346, 24)",
    "coincidence equation (346, 25)",
    "coincidence equation (346, 26)",
    "coincidence equation (346, 27)",
    "coincidence equation (346, 28)",
    "coincidence equation (346, 29)",
    "coincidence equation (346, 30)",
    "coincidence equation (346, 31)",
    "coincidence equation (346, 40)",
    "coincidence equation (346, 41)",
    "coincidence equation (346, 42)",
    "coincidence equation (346, 43)",
    "coincidence equation (346, 44)",
    "coincidence equation (346, 45)",
    "coincidence equation (346, 46)",
    "coincidence equation (346, 47)",
    "coincidence equation (347, 8)",
    "coincidence equation (347, 9)",
    "coincidence equation (347, 10)",
    "coincidence equation (347, 11)",
    "coincidence equation (347, 12)",
    "coincidence equation (347, 13)",
    "coincidence equation (347, 14)",
    "coincidence equation (347, 15)",
    "coincidence equation (347, 24)",
    "coincidence equation (347, 25)",
    "coincidence equation (347, 26)",
    "coincidence equation (347, 27)",
    "coincidence equation (347, 28)",
    "coincidence equation (347, 29)",
    "coincidence equation (347, 30)",
    "coincidence equation (347, 31)",
    "coincidence equation (347, 40)",
    "coincidence equation (347, 41)",
    "coincidence equation (347, 42)",
    "coincidence equation (347, 43)",
    "coincidence equation (347, 44)",
    "coincidence equation (347, 45)",
    "coincidence equation (347, 46)",
    "coincidence equation (347, 47)",
    "coincidence equation (348, 8)",
    "coincidence equation (348, 9)",
    "coincidence equation (348, 10)",
    "coincidence equation (348, 11)",
    "coincidence equation (348, 12)",
    "coincidence equation (348, 13)",
    "coincidence equation (348, 14)",
    "coincidence equation (348, 15)",
    "coincidence equation (348, 24)",
    "coincidence equation (348, 25)",
    "coincidence equation (348, 26)",
    "coincidence equation (348, 27)",
    "coincidence equation (348, 28)",
    "coincidence equation (348, 29)",
    "coincidence equation (348, 30)",
    "coincidence equation (348, 31)",
    "coincidence equation (348, 40)",
    "coincidence equation (348, 41)",
    "coincidence equation (348, 42)",
    "coincidence equation (348, 43)",
    "coincidence equation (348, 44)",
    "coincidence equation (348, 45)",
    "coincidence equation (348, 46)",
    "coincidence equation (348, 47)",
    "coincidence equation (349, 8)",
    "coincidence equation (349, 9)",
    "coincidence equation (349, 10)",
    "coincidence equation (349, 11)",
    "coincidence equation (349, 12)",
    "coincidence equation (349, 13)",
    "coincidence equation (349, 14)",
    "coincidence equation (349, 15)",
    "coincidence equation (349, 24)",
    "coincidence equation (349, 25)",
    "coincidence equation (349, 26)",
    "coincidence equation (349, 27)",
    "coincidence equation (349, 28)",
    "coincidence equation (349, 29)",
    "coincidence equation (349, 30)",
    "coincidence equation (349, 31)",
    "coincidence equation (349, 40)",
    "own Noah950 (349, 40, 0)",
    "own Floodyear (349, 40, 0)",
    "own Noah950 (349, 40, 1)",
    "own Floodyear (349, 40, 1)",
    "coincidence equation (349, 41)",
    "coincidence equation (349, 42)",
    "coincidence equation (349, 43)",
    "coincidence equation (349, 44)",
    "coincidence equation (349, 45)",
    "coincidence equation (349, 46)",
    "coincidence equation (349, 47)",
    "coincidence equation (350, 8)",
    "coincidence equation (350, 9)",
    "coincidence equation (350, 10)",
    "coincidence equation (350, 11)",
    "coincidence equation (350, 12)",
    "coincidence equation (350, 13)",
    "coincidence equation (350, 14)",
    "coincidence equation (350, 15)",
    "coincidence equation (350, 24)",
    "coincidence equation (350, 25)",
    "coincidence equation (350, 26)",
    "coincidence equation (350, 27)",
    "coincidence equation (350, 28)",
    "coincidence equation (350, 29)",
    "coincidence equation (350, 30)",
    "coincidence equation (350, 31)",
    "coincidence equation (350, 40)",
    "coincidence equation (350, 41)",
    "coincidence equation (350, 42)",
    "coincidence equation (350, 43)",
    "coincidence equation (350, 44)",
    "coincidence equation (350, 45)",
    "coincidence equation (350, 46)",
    "coincidence equation (350, 47)",
    "coincidence equation (351, 8)",
    "coincidence equation (351, 9)",
    "coincidence equation (351, 10)",
    "coincidence equation (351, 11)",
    "coincidence equation (351, 12)",
    "coincidence equation (351, 13)",
    "coincidence equation (351, 14)",
    "coincidence equation (351, 15)",
    "coincidence equation (351, 24)",
    "coincidence equation (351, 25)",
    "coincidence equation (351, 26)",
    "coincidence equation (351, 27)",
    "coincidence equation (351, 28)",
    "coincidence equation (351, 29)",
    "coincidence equation (351, 30)",
    "coincidence equation (351, 31)",
    "coincidence equation (351, 40)",
    "coincidence equation (351, 41)",
    "coincidence equation (351, 42)",
    "own Noah950 (351, 42, 0)",
    "own Floodyear (351, 42, 0)",
    "own Noah950 (351, 42, 1)",
    "own Floodyear (351, 42, 1)",
    "coincidence equation (351, 43)",
    "coincidence equation (351, 44)",
    "coincidence equation (351, 45)",
    "coincidence equation (351, 46)",
    "coincidence equation (351, 47)",
    "C426 overlap recovered"
  ],
  "source_checks_passed": 13,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "C286_DATA.json",
    "C287_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}