{
"step": "C404",
"status": "passed",
"assertions_passed": 430,
"checks": [
"transported whole affine arrow 0",
"target endpoints sourced 0",
"matched phase whole arrow (0, Fraction(-1, 4))",
"matched phase whole arrow (0, Fraction(1, 4))",
"transported whole affine arrow 1",
"target endpoints sourced 1",
"matched phase whole arrow (1, Fraction(-1, 4))",
"matched phase whole arrow (1, Fraction(1, 4))",
"transported whole affine arrow 2",
"target endpoints sourced 2",
"matched phase whole arrow (2, Fraction(-1, 4))",
"matched phase whole arrow (2, Fraction(1, 4))",
"transported whole affine arrow 3",
"target endpoints sourced 3",
"matched phase whole arrow (3, Fraction(-1, 4))",
"matched phase whole arrow (3, Fraction(1, 4))",
"transported whole affine arrow 4",
"target endpoints sourced 4",
"matched phase whole arrow (4, Fraction(-1, 4))",
"matched phase whole arrow (4, Fraction(1, 4))",
"transported whole affine arrow 5",
"target endpoints sourced 5",
"matched phase whole arrow (5, Fraction(-1, 4))",
"matched phase whole arrow (5, Fraction(1, 4))",
"only two J arrows sourced",
"new E pivot obstruction",
"P obstruction retained",
"path conjugation (3031, ())",
"path conjugation (3031, (1,))",
"path conjugation (3031, (1, 0))",
"path conjugation (3031, (1, 0, 1))",
"path conjugation (3031, (1, 0, 1, 0))",
"path conjugation (3031, (1, 0, 1, 0, 1))",
"path conjugation (3031, (1, 0, 1, 0, 1, 0))",
"path conjugation (3031, (1, 0, 1, 0, 1, 4))",
"path conjugation (3031, (1, 0, 1, 0, 1, 5))",
"path conjugation (3031, (1, 0, 1, 0, 2))",
"path conjugation (3031, (1, 0, 1, 0, 2, 0))",
"path conjugation (3031, (1, 0, 1, 0, 2, 4))",
"path conjugation (3031, (1, 0, 1, 0, 2, 5))",
"path conjugation (3031, (1, 0, 1, 4))",
"path conjugation (3031, (1, 0, 1, 4, 3))",
"path conjugation (3031, (1, 0, 1, 4, 3, 0))",
"path conjugation (3031, (1, 0, 1, 4, 3, 4))",
"path conjugation (3031, (1, 0, 1, 4, 3, 5))",
"path conjugation (3031, (1, 0, 1, 5))",
"path conjugation (3031, (1, 0, 1, 5, 3))",
"path conjugation (3031, (1, 0, 1, 5, 3, 0))",
"path conjugation (3031, (1, 0, 1, 5, 3, 4))",
"path conjugation (3031, (1, 0, 1, 5, 3, 5))",
"path conjugation (3031, (1, 0, 2))",
"path conjugation (3031, (1, 0, 2, 0))",
"path conjugation (3031, (1, 0, 2, 0, 1))",
"path conjugation (3031, (1, 0, 2, 0, 1, 0))",
"path conjugation (3031, (1, 0, 2, 0, 1, 4))",
"path conjugation (3031, (1, 0, 2, 0, 1, 5))",
"path conjugation (3031, (1, 0, 2, 0, 2))",
"path conjugation (3031, (1, 0, 2, 0, 2, 0))",
"path conjugation (3031, (1, 0, 2, 0, 2, 4))",
"path conjugation (3031, (1, 0, 2, 0, 2, 5))",
"path conjugation (3031, (1, 0, 2, 4))",
"path conjugation (3031, (1, 0, 2, 4, 3))",
"path conjugation (3031, (1, 0, 2, 4, 3, 0))",
"path conjugation (3031, (1, 0, 2, 4, 3, 4))",
"path conjugation (3031, (1, 0, 2, 4, 3, 5))",
"path conjugation (3031, (1, 0, 2, 5))",
"path conjugation (3031, (1, 0, 2, 5, 3))",
"path conjugation (3031, (1, 0, 2, 5, 3, 0))",
"path conjugation (3031, (1, 0, 2, 5, 3, 4))",
"path conjugation (3031, (1, 0, 2, 5, 3, 5))",
"path conjugation (3031, (1, 4))",
"path conjugation (3031, (1, 4, 3))",
"path conjugation (3031, (1, 4, 3, 0))",
"path conjugation (3031, (1, 4, 3, 0, 1))",
"path conjugation (3031, (1, 4, 3, 0, 1, 0))",
"path conjugation (3031, (1, 4, 3, 0, 1, 4))",
"path conjugation (3031, (1, 4, 3, 0, 1, 5))",
"path conjugation (3031, (1, 4, 3, 0, 2))",
"path conjugation (3031, (1, 4, 3, 0, 2, 0))",
"path conjugation (3031, (1, 4, 3, 0, 2, 4))",
"path conjugation (3031, (1, 4, 3, 0, 2, 5))",
"path conjugation (3031, (1, 4, 3, 4))",
"path conjugation (3031, (1, 4, 3, 4, 3))",
"path conjugation (3031, (1, 4, 3, 4, 3, 0))",
"path conjugation (3031, (1, 4, 3, 4, 3, 4))",
"path conjugation (3031, (1, 4, 3, 4, 3, 5))",
"path conjugation (3031, (1, 4, 3, 5))",
"path conjugation (3031, (1, 4, 3, 5, 3))",
"path conjugation (3031, (1, 4, 3, 5, 3, 0))",
"path conjugation (3031, (1, 4, 3, 5, 3, 4))",
"path conjugation (3031, (1, 4, 3, 5, 3, 5))",
"path conjugation (3031, (1, 5))",
"path conjugation (3031, (1, 5, 3))",
"path conjugation (3031, (1, 5, 3, 0))",
"path conjugation (3031, (1, 5, 3, 0, 1))",
"path conjugation (3031, (1, 5, 3, 0, 1, 0))",
"path conjugation (3031, (1, 5, 3, 0, 1, 4))",
"path conjugation (3031, (1, 5, 3, 0, 1, 5))",
"path conjugation (3031, (1, 5, 3, 0, 2))",
"path conjugation (3031, (1, 5, 3, 0, 2, 0))",
"path conjugation (3031, (1, 5, 3, 0, 2, 4))",
"path conjugation (3031, (1, 5, 3, 0, 2, 5))",
"path conjugation (3031, (1, 5, 3, 4))",
"path conjugation (3031, (1, 5, 3, 4, 3))",
"path conjugation (3031, (1, 5, 3, 4, 3, 0))",
"path conjugation (3031, (1, 5, 3, 4, 3, 4))",
"path conjugation (3031, (1, 5, 3, 4, 3, 5))",
"path conjugation (3031, (1, 5, 3, 5))",
"path conjugation (3031, (1, 5, 3, 5, 3))",
"path conjugation (3031, (1, 5, 3, 5, 3, 0))",
"path conjugation (3031, (1, 5, 3, 5, 3, 4))",
"path conjugation (3031, (1, 5, 3, 5, 3, 5))",
"path conjugation (3031, (2,))",
"path conjugation (3031, (2, 0))",
"path conjugation (3031, (2, 0, 1))",
"path conjugation (3031, (2, 0, 1, 0))",
"path conjugation (3031, (2, 0, 1, 0, 1))",
"path conjugation (3031, (2, 0, 1, 0, 1, 0))",
"path conjugation (3031, (2, 0, 1, 0, 1, 4))",
"path conjugation (3031, (2, 0, 1, 0, 1, 5))",
"path conjugation (3031, (2, 0, 1, 0, 2))",
"path conjugation (3031, (2, 0, 1, 0, 2, 0))",
"path conjugation (3031, (2, 0, 1, 0, 2, 4))",
"path conjugation (3031, (2, 0, 1, 0, 2, 5))",
"path conjugation (3031, (2, 0, 1, 4))",
"path conjugation (3031, (2, 0, 1, 4, 3))",
"path conjugation (3031, (2, 0, 1, 4, 3, 0))",
"path conjugation (3031, (2, 0, 1, 4, 3, 4))",
"path conjugation (3031, (2, 0, 1, 4, 3, 5))",
"path conjugation (3031, (2, 0, 1, 5))",
"path conjugation (3031, (2, 0, 1, 5, 3))",
"path conjugation (3031, (2, 0, 1, 5, 3, 0))",
"path conjugation (3031, (2, 0, 1, 5, 3, 4))",
"path conjugation (3031, (2, 0, 1, 5, 3, 5))",
"path conjugation (3031, (2, 0, 2))",
"path conjugation (3031, (2, 0, 2, 0))",
"path conjugation (3031, (2, 0, 2, 0, 1))",
"path conjugation (3031, (2, 0, 2, 0, 1, 0))",
"path conjugation (3031, (2, 0, 2, 0, 1, 4))",
"path conjugation (3031, (2, 0, 2, 0, 1, 5))",
"path conjugation (3031, (2, 0, 2, 0, 2))",
"path conjugation (3031, (2, 0, 2, 0, 2, 0))",
"path conjugation (3031, (2, 0, 2, 0, 2, 4))",
"path conjugation (3031, (2, 0, 2, 0, 2, 5))",
"path conjugation (3031, (2, 0, 2, 4))",
"path conjugation (3031, (2, 0, 2, 4, 3))",
"path conjugation (3031, (2, 0, 2, 4, 3, 0))",
"path conjugation (3031, (2, 0, 2, 4, 3, 4))",
"path conjugation (3031, (2, 0, 2, 4, 3, 5))",
"path conjugation (3031, (2, 0, 2, 5))",
"path conjugation (3031, (2, 0, 2, 5, 3))",
"path conjugation (3031, (2, 0, 2, 5, 3, 0))",
"path conjugation (3031, (2, 0, 2, 5, 3, 4))",
"path conjugation (3031, (2, 0, 2, 5, 3, 5))",
"path conjugation (3031, (2, 4))",
"path conjugation (3031, (2, 4, 3))",
"path conjugation (3031, (2, 4, 3, 0))",
"path conjugation (3031, (2, 4, 3, 0, 1))",
"path conjugation (3031, (2, 4, 3, 0, 1, 0))",
"path conjugation (3031, (2, 4, 3, 0, 1, 4))",
"path conjugation (3031, (2, 4, 3, 0, 1, 5))",
"path conjugation (3031, (2, 4, 3, 0, 2))",
"path conjugation (3031, (2, 4, 3, 0, 2, 0))",
"path conjugation (3031, (2, 4, 3, 0, 2, 4))",
"path conjugation (3031, (2, 4, 3, 0, 2, 5))",
"path conjugation (3031, (2, 4, 3, 4))",
"path conjugation (3031, (2, 4, 3, 4, 3))",
"path conjugation (3031, (2, 4, 3, 4, 3, 0))",
"path conjugation (3031, (2, 4, 3, 4, 3, 4))",
"path conjugation (3031, (2, 4, 3, 4, 3, 5))",
"path conjugation (3031, (2, 4, 3, 5))",
"path conjugation (3031, (2, 4, 3, 5, 3))",
"path conjugation (3031, (2, 4, 3, 5, 3, 0))",
"path conjugation (3031, (2, 4, 3, 5, 3, 4))",
"path conjugation (3031, (2, 4, 3, 5, 3, 5))",
"path conjugation (3031, (2, 5))",
"path conjugation (3031, (2, 5, 3))",
"path conjugation (3031, (2, 5, 3, 0))",
"path conjugation (3031, (2, 5, 3, 0, 1))",
"path conjugation (3031, (2, 5, 3, 0, 1, 0))",
"path conjugation (3031, (2, 5, 3, 0, 1, 4))",
"path conjugation (3031, (2, 5, 3, 0, 1, 5))",
"path conjugation (3031, (2, 5, 3, 0, 2))",
"path conjugation (3031, (2, 5, 3, 0, 2, 0))",
"path conjugation (3031, (2, 5, 3, 0, 2, 4))",
"path conjugation (3031, (2, 5, 3, 0, 2, 5))",
"path conjugation (3031, (2, 5, 3, 4))",
"path conjugation (3031, (2, 5, 3, 4, 3))",
"path conjugation (3031, (2, 5, 3, 4, 3, 0))",
"path conjugation (3031, (2, 5, 3, 4, 3, 4))",
"path conjugation (3031, (2, 5, 3, 4, 3, 5))",
"path conjugation (3031, (2, 5, 3, 5))",
"path conjugation (3031, (2, 5, 3, 5, 3))",
"path conjugation (3031, (2, 5, 3, 5, 3, 0))",
"path conjugation (3031, (2, 5, 3, 5, 3, 4))",
"path conjugation (3031, (2, 5, 3, 5, 3, 5))",
"path conjugation (3033, ())",
"path conjugation (3033, (0,))",
"path conjugation (3033, (0, 1))",
"path conjugation (3033, (0, 1, 0))",
"path conjugation (3033, (0, 1, 0, 1))",
"path conjugation (3033, (0, 1, 0, 1, 0))",
"path conjugation (3033, (0, 1, 0, 1, 0, 1))",
"path conjugation (3033, (0, 1, 0, 1, 0, 2))",
"path conjugation (3033, (0, 1, 0, 1, 4))",
"path conjugation (3033, (0, 1, 0, 1, 4, 3))",
"path conjugation (3033, (0, 1, 0, 1, 5))",
"path conjugation (3033, (0, 1, 0, 1, 5, 3))",
"path conjugation (3033, (0, 1, 0, 2))",
"path conjugation (3033, (0, 1, 0, 2, 0))",
"path conjugation (3033, (0, 1, 0, 2, 0, 1))",
"path conjugation (3033, (0, 1, 0, 2, 0, 2))",
"path conjugation (3033, (0, 1, 0, 2, 4))",
"path conjugation (3033, (0, 1, 0, 2, 4, 3))",
"path conjugation (3033, (0, 1, 0, 2, 5))",
"path conjugation (3033, (0, 1, 0, 2, 5, 3))",
"path conjugation (3033, (0, 1, 4))",
"path conjugation (3033, (0, 1, 4, 3))",
"path conjugation (3033, (0, 1, 4, 3, 0))",
"path conjugation (3033, (0, 1, 4, 3, 0, 1))",
"path conjugation (3033, (0, 1, 4, 3, 0, 2))",
"path conjugation (3033, (0, 1, 4, 3, 4))",
"path conjugation (3033, (0, 1, 4, 3, 4, 3))",
"path conjugation (3033, (0, 1, 4, 3, 5))",
"path conjugation (3033, (0, 1, 4, 3, 5, 3))",
"path conjugation (3033, (0, 1, 5))",
"path conjugation (3033, (0, 1, 5, 3))",
"path conjugation (3033, (0, 1, 5, 3, 0))",
"path conjugation (3033, (0, 1, 5, 3, 0, 1))",
"path conjugation (3033, (0, 1, 5, 3, 0, 2))",
"path conjugation (3033, (0, 1, 5, 3, 4))",
"path conjugation (3033, (0, 1, 5, 3, 4, 3))",
"path conjugation (3033, (0, 1, 5, 3, 5))",
"path conjugation (3033, (0, 1, 5, 3, 5, 3))",
"path conjugation (3033, (0, 2))",
"path conjugation (3033, (0, 2, 0))",
"path conjugation (3033, (0, 2, 0, 1))",
"path conjugation (3033, (0, 2, 0, 1, 0))",
"path conjugation (3033, (0, 2, 0, 1, 0, 1))",
"path conjugation (3033, (0, 2, 0, 1, 0, 2))",
"path conjugation (3033, (0, 2, 0, 1, 4))",
"path conjugation (3033, (0, 2, 0, 1, 4, 3))",
"path conjugation (3033, (0, 2, 0, 1, 5))",
"path conjugation (3033, (0, 2, 0, 1, 5, 3))",
"path conjugation (3033, (0, 2, 0, 2))",
"path conjugation (3033, (0, 2, 0, 2, 0))",
"path conjugation (3033, (0, 2, 0, 2, 0, 1))",
"path conjugation (3033, (0, 2, 0, 2, 0, 2))",
"path conjugation (3033, (0, 2, 0, 2, 4))",
"path conjugation (3033, (0, 2, 0, 2, 4, 3))",
"path conjugation (3033, (0, 2, 0, 2, 5))",
"path conjugation (3033, (0, 2, 0, 2, 5, 3))",
"path conjugation (3033, (0, 2, 4))",
"path conjugation (3033, (0, 2, 4, 3))",
"path conjugation (3033, (0, 2, 4, 3, 0))",
"path conjugation (3033, (0, 2, 4, 3, 0, 1))",
"path conjugation (3033, (0, 2, 4, 3, 0, 2))",
"path conjugation (3033, (0, 2, 4, 3, 4))",
"path conjugation (3033, (0, 2, 4, 3, 4, 3))",
"path conjugation (3033, (0, 2, 4, 3, 5))",
"path conjugation (3033, (0, 2, 4, 3, 5, 3))",
"path conjugation (3033, (0, 2, 5))",
"path conjugation (3033, (0, 2, 5, 3))",
"path conjugation (3033, (0, 2, 5, 3, 0))",
"path conjugation (3033, (0, 2, 5, 3, 0, 1))",
"path conjugation (3033, (0, 2, 5, 3, 0, 2))",
"path conjugation (3033, (0, 2, 5, 3, 4))",
"path conjugation (3033, (0, 2, 5, 3, 4, 3))",
"path conjugation (3033, (0, 2, 5, 3, 5))",
"path conjugation (3033, (0, 2, 5, 3, 5, 3))",
"path conjugation (3033, (4,))",
"path conjugation (3033, (4, 3))",
"path conjugation (3033, (4, 3, 0))",
"path conjugation (3033, (4, 3, 0, 1))",
"path conjugation (3033, (4, 3, 0, 1, 0))",
"path conjugation (3033, (4, 3, 0, 1, 0, 1))",
"path conjugation (3033, (4, 3, 0, 1, 0, 2))",
"path conjugation (3033, (4, 3, 0, 1, 4))",
"path conjugation (3033, (4, 3, 0, 1, 4, 3))",
"path conjugation (3033, (4, 3, 0, 1, 5))",
"path conjugation (3033, (4, 3, 0, 1, 5, 3))",
"path conjugation (3033, (4, 3, 0, 2))",
"path conjugation (3033, (4, 3, 0, 2, 0))",
"path conjugation (3033, (4, 3, 0, 2, 0, 1))",
"path conjugation (3033, (4, 3, 0, 2, 0, 2))",
"path conjugation (3033, (4, 3, 0, 2, 4))",
"path conjugation (3033, (4, 3, 0, 2, 4, 3))",
"path conjugation (3033, (4, 3, 0, 2, 5))",
"path conjugation (3033, (4, 3, 0, 2, 5, 3))",
"path conjugation (3033, (4, 3, 4))",
"path conjugation (3033, (4, 3, 4, 3))",
"path conjugation (3033, (4, 3, 4, 3, 0))",
"path conjugation (3033, (4, 3, 4, 3, 0, 1))",
"path conjugation (3033, (4, 3, 4, 3, 0, 2))",
"path conjugation (3033, (4, 3, 4, 3, 4))",
"path conjugation (3033, (4, 3, 4, 3, 4, 3))",
"path conjugation (3033, (4, 3, 4, 3, 5))",
"path conjugation (3033, (4, 3, 4, 3, 5, 3))",
"path conjugation (3033, (4, 3, 5))",
"path conjugation (3033, (4, 3, 5, 3))",
"path conjugation (3033, (4, 3, 5, 3, 0))",
"path conjugation (3033, (4, 3, 5, 3, 0, 1))",
"path conjugation (3033, (4, 3, 5, 3, 0, 2))",
"path conjugation (3033, (4, 3, 5, 3, 4))",
"path conjugation (3033, (4, 3, 5, 3, 4, 3))",
"path conjugation (3033, (4, 3, 5, 3, 5))",
"path conjugation (3033, (4, 3, 5, 3, 5, 3))",
"path conjugation (3033, (5,))",
"path conjugation (3033, (5, 3))",
"path conjugation (3033, (5, 3, 0))",
"path conjugation (3033, (5, 3, 0, 1))",
"path conjugation (3033, (5, 3, 0, 1, 0))",
"path conjugation (3033, (5, 3, 0, 1, 0, 1))",
"path conjugation (3033, (5, 3, 0, 1, 0, 2))",
"path conjugation (3033, (5, 3, 0, 1, 4))",
"path conjugation (3033, (5, 3, 0, 1, 4, 3))",
"path conjugation (3033, (5, 3, 0, 1, 5))",
"path conjugation (3033, (5, 3, 0, 1, 5, 3))",
"path conjugation (3033, (5, 3, 0, 2))",
"path conjugation (3033, (5, 3, 0, 2, 0))",
"path conjugation (3033, (5, 3, 0, 2, 0, 1))",
"path conjugation (3033, (5, 3, 0, 2, 0, 2))",
"path conjugation (3033, (5, 3, 0, 2, 4))",
"path conjugation (3033, (5, 3, 0, 2, 4, 3))",
"path conjugation (3033, (5, 3, 0, 2, 5))",
"path conjugation (3033, (5, 3, 0, 2, 5, 3))",
"path conjugation (3033, (5, 3, 4))",
"path conjugation (3033, (5, 3, 4, 3))",
"path conjugation (3033, (5, 3, 4, 3, 0))",
"path conjugation (3033, (5, 3, 4, 3, 0, 1))",
"path conjugation (3033, (5, 3, 4, 3, 0, 2))",
"path conjugation (3033, (5, 3, 4, 3, 4))",
"path conjugation (3033, (5, 3, 4, 3, 4, 3))",
"path conjugation (3033, (5, 3, 4, 3, 5))",
"path conjugation (3033, (5, 3, 4, 3, 5, 3))",
"path conjugation (3033, (5, 3, 5))",
"path conjugation (3033, (5, 3, 5, 3))",
"path conjugation (3033, (5, 3, 5, 3, 0))",
"path conjugation (3033, (5, 3, 5, 3, 0, 1))",
"path conjugation (3033, (5, 3, 5, 3, 0, 2))",
"path conjugation (3033, (5, 3, 5, 3, 4))",
"path conjugation (3033, (5, 3, 5, 3, 4, 3))",
"path conjugation (3033, (5, 3, 5, 3, 5))",
"path conjugation (3033, (5, 3, 5, 3, 5, 3))",
"path conjugation (3035, ())",
"path conjugation (3035, (3,))",
"path conjugation (3035, (3, 0))",
"path conjugation (3035, (3, 0, 1))",
"path conjugation (3035, (3, 0, 1, 0))",
"path conjugation (3035, (3, 0, 1, 0, 1))",
"path conjugation (3035, (3, 0, 1, 0, 1, 0))",
"path conjugation (3035, (3, 0, 1, 0, 1, 4))",
"path conjugation (3035, (3, 0, 1, 0, 1, 5))",
"path conjugation (3035, (3, 0, 1, 0, 2))",
"path conjugation (3035, (3, 0, 1, 0, 2, 0))",
"path conjugation (3035, (3, 0, 1, 0, 2, 4))",
"path conjugation (3035, (3, 0, 1, 0, 2, 5))",
"path conjugation (3035, (3, 0, 1, 4))",
"path conjugation (3035, (3, 0, 1, 4, 3))",
"path conjugation (3035, (3, 0, 1, 4, 3, 0))",
"path conjugation (3035, (3, 0, 1, 4, 3, 4))",
"path conjugation (3035, (3, 0, 1, 4, 3, 5))",
"path conjugation (3035, (3, 0, 1, 5))",
"path conjugation (3035, (3, 0, 1, 5, 3))",
"path conjugation (3035, (3, 0, 1, 5, 3, 0))",
"path conjugation (3035, (3, 0, 1, 5, 3, 4))",
"path conjugation (3035, (3, 0, 1, 5, 3, 5))",
"path conjugation (3035, (3, 0, 2))",
"path conjugation (3035, (3, 0, 2, 0))",
"path conjugation (3035, (3, 0, 2, 0, 1))",
"path conjugation (3035, (3, 0, 2, 0, 1, 0))",
"path conjugation (3035, (3, 0, 2, 0, 1, 4))",
"path conjugation (3035, (3, 0, 2, 0, 1, 5))",
"path conjugation (3035, (3, 0, 2, 0, 2))",
"path conjugation (3035, (3, 0, 2, 0, 2, 0))",
"path conjugation (3035, (3, 0, 2, 0, 2, 4))",
"path conjugation (3035, (3, 0, 2, 0, 2, 5))",
"path conjugation (3035, (3, 0, 2, 4))",
"path conjugation (3035, (3, 0, 2, 4, 3))",
"path conjugation (3035, (3, 0, 2, 4, 3, 0))",
"path conjugation (3035, (3, 0, 2, 4, 3, 4))",
"path conjugation (3035, (3, 0, 2, 4, 3, 5))",
"path conjugation (3035, (3, 0, 2, 5))",
"path conjugation (3035, (3, 0, 2, 5, 3))",
"path conjugation (3035, (3, 0, 2, 5, 3, 0))",
"path conjugation (3035, (3, 0, 2, 5, 3, 4))",
"path conjugation (3035, (3, 0, 2, 5, 3, 5))",
"path conjugation (3035, (3, 4))",
"path conjugation (3035, (3, 4, 3))",
"path conjugation (3035, (3, 4, 3, 0))",
"path conjugation (3035, (3, 4, 3, 0, 1))",
"path conjugation (3035, (3, 4, 3, 0, 1, 0))",
"path conjugation (3035, (3, 4, 3, 0, 1, 4))",
"path conjugation (3035, (3, 4, 3, 0, 1, 5))",
"path conjugation (3035, (3, 4, 3, 0, 2))",
"path conjugation (3035, (3, 4, 3, 0, 2, 0))",
"path conjugation (3035, (3, 4, 3, 0, 2, 4))",
"path conjugation (3035, (3, 4, 3, 0, 2, 5))",
"path conjugation (3035, (3, 4, 3, 4))",
"path conjugation (3035, (3, 4, 3, 4, 3))",
"path conjugation (3035, (3, 4, 3, 4, 3, 0))",
"path conjugation (3035, (3, 4, 3, 4, 3, 4))",
"path conjugation (3035, (3, 4, 3, 4, 3, 5))",
"path conjugation (3035, (3, 4, 3, 5))",
"path conjugation (3035, (3, 4, 3, 5, 3))",
"path conjugation (3035, (3, 4, 3, 5, 3, 0))",
"path conjugation (3035, (3, 4, 3, 5, 3, 4))",
"path conjugation (3035, (3, 4, 3, 5, 3, 5))",
"path conjugation (3035, (3, 5))",
"path conjugation (3035, (3, 5, 3))",
"path conjugation (3035, (3, 5, 3, 0))",
"path conjugation (3035, (3, 5, 3, 0, 1))",
"path conjugation (3035, (3, 5, 3, 0, 1, 0))",
"path conjugation (3035, (3, 5, 3, 0, 1, 4))",
"path conjugation (3035, (3, 5, 3, 0, 1, 5))",
"path conjugation (3035, (3, 5, 3, 0, 2))",
"path conjugation (3035, (3, 5, 3, 0, 2, 0))",
"path conjugation (3035, (3, 5, 3, 0, 2, 4))",
"path conjugation (3035, (3, 5, 3, 0, 2, 5))",
"path conjugation (3035, (3, 5, 3, 4))",
"path conjugation (3035, (3, 5, 3, 4, 3))",
"path conjugation (3035, (3, 5, 3, 4, 3, 0))",
"path conjugation (3035, (3, 5, 3, 4, 3, 4))",
"path conjugation (3035, (3, 5, 3, 4, 3, 5))",
"path conjugation (3035, (3, 5, 3, 5))",
"path conjugation (3035, (3, 5, 3, 5, 3))",
"path conjugation (3035, (3, 5, 3, 5, 3, 0))",
"path conjugation (3035, (3, 5, 3, 5, 3, 4))",
"path conjugation (3035, (3, 5, 3, 5, 3, 5))",
"J subgraph paths only"
],
"source_checks_passed": 19,
"source_checks": [
"frozen PREVIOUS_CERTIFICATE.json",
"frozen PREVIOUS_RESULTS.json",
"frozen PREVIOUS_DATA.json",
"frozen PREVIOUS_CHECKPOINT.md",
"frozen PREVIOUS_NEXT_STEP.json",
"frozen File_18.md",
"frozen File_09.md",
"frozen C286_DATA.json",
"frozen C287_DATA.json",
"frozen C271_REGISTER.json",
"frozen C385_DATA.json",
"frozen C386_DATA.json",
"frozen C388_DATA.json",
"frozen C397_DATA.json",
"frozen C400_DATA.json",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json"
],
"canonical_or_graph_edits": false,
"check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 e893798852ac5b55ec3116265bdf7064aaa739ad4fe37e6c9ec624993235ffc6
C01–C479/packets/C404/evidence/RESULTS.json