{
"step": "C400",
"status": "passed",
"assertions_passed": 732,
"checks": [
"one shared typed MT Noah vertex",
"path normal form (3031, ())",
"path normal form (3031, (1,))",
"path normal form (3031, (1, 0))",
"path normal form (3031, (1, 0, 1))",
"path normal form (3031, (1, 0, 1, 0))",
"path normal form (3031, (1, 0, 1, 0, 1))",
"path normal form (3031, (1, 0, 1, 0, 1, 0))",
"path normal form (3031, (1, 0, 1, 0, 1, 4))",
"path normal form (3031, (1, 0, 1, 0, 1, 5))",
"path normal form (3031, (1, 0, 1, 0, 2))",
"path normal form (3031, (1, 0, 1, 0, 2, 0))",
"path normal form (3031, (1, 0, 1, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 0, 2, 4))",
"path normal form (3031, (1, 0, 1, 0, 2, 5))",
"path normal form (3031, (1, 0, 1, 4))",
"path normal form (3031, (1, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 4, 3))",
"path normal form (3031, (1, 0, 1, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 4, 3, 0))",
"path normal form (3031, (1, 0, 1, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 4, 3, 4))",
"path normal form (3031, (1, 0, 1, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 4, 3, 5))",
"path normal form (3031, (1, 0, 1, 5))",
"path normal form (3031, (1, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 5, 3))",
"path normal form (3031, (1, 0, 1, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 5, 3, 0))",
"path normal form (3031, (1, 0, 1, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 5, 3, 4))",
"path normal form (3031, (1, 0, 1, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 0, 1, 5, 3, 5))",
"path normal form (3031, (1, 0, 2))",
"path normal form (3031, (1, 0, 2, 0))",
"path normal form (3031, (1, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 0, 1))",
"path normal form (3031, (1, 0, 2, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 0, 1, 0))",
"path normal form (3031, (1, 0, 2, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 0, 1, 4))",
"path normal form (3031, (1, 0, 2, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 0, 1, 5))",
"path normal form (3031, (1, 0, 2, 0, 2))",
"path normal form (3031, (1, 0, 2, 0, 2, 0))",
"path normal form (3031, (1, 0, 2, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 0, 2, 4))",
"path normal form (3031, (1, 0, 2, 0, 2, 5))",
"path normal form (3031, (1, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 4))",
"path normal form (3031, (1, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 4, 3))",
"path normal form (3031, (1, 0, 2, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 4, 3, 0))",
"path normal form (3031, (1, 0, 2, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 4, 3, 4))",
"path normal form (3031, (1, 0, 2, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 4, 3, 5))",
"path normal form (3031, (1, 0, 2, 5))",
"path normal form (3031, (1, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 5, 3))",
"path normal form (3031, (1, 0, 2, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 5, 3, 0))",
"path normal form (3031, (1, 0, 2, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 5, 3, 4))",
"path normal form (3031, (1, 0, 2, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 0, 2, 5, 3, 5))",
"path normal form (3031, (1, 4))",
"path normal form (3031, (1, 4, 3))",
"equal counts and endpoints collapse (3031, (1, 4, 3))",
"path normal form (3031, (1, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0))",
"path normal form (3031, (1, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 1))",
"path normal form (3031, (1, 4, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 1, 0))",
"path normal form (3031, (1, 4, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 1, 4))",
"path normal form (3031, (1, 4, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 1, 5))",
"path normal form (3031, (1, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 2))",
"path normal form (3031, (1, 4, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 2, 0))",
"path normal form (3031, (1, 4, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 2, 4))",
"path normal form (3031, (1, 4, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 0, 2, 5))",
"path normal form (3031, (1, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 4))",
"path normal form (3031, (1, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 4, 3))",
"path normal form (3031, (1, 4, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 4, 3, 0))",
"path normal form (3031, (1, 4, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 4, 3, 4))",
"path normal form (3031, (1, 4, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 4, 3, 5))",
"path normal form (3031, (1, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 5))",
"path normal form (3031, (1, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 5, 3))",
"path normal form (3031, (1, 4, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 5, 3, 0))",
"path normal form (3031, (1, 4, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 5, 3, 4))",
"path normal form (3031, (1, 4, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 4, 3, 5, 3, 5))",
"path normal form (3031, (1, 5))",
"path normal form (3031, (1, 5, 3))",
"equal counts and endpoints collapse (3031, (1, 5, 3))",
"path normal form (3031, (1, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0))",
"path normal form (3031, (1, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 1))",
"path normal form (3031, (1, 5, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 1, 0))",
"path normal form (3031, (1, 5, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 1, 4))",
"path normal form (3031, (1, 5, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 1, 5))",
"path normal form (3031, (1, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 2))",
"path normal form (3031, (1, 5, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 2, 0))",
"path normal form (3031, (1, 5, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 2, 4))",
"path normal form (3031, (1, 5, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 0, 2, 5))",
"path normal form (3031, (1, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 4))",
"path normal form (3031, (1, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 4, 3))",
"path normal form (3031, (1, 5, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 4, 3, 0))",
"path normal form (3031, (1, 5, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 4, 3, 4))",
"path normal form (3031, (1, 5, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 4, 3, 5))",
"path normal form (3031, (1, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 5))",
"path normal form (3031, (1, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 5, 3))",
"path normal form (3031, (1, 5, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 5, 3, 0))",
"path normal form (3031, (1, 5, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 5, 3, 4))",
"path normal form (3031, (1, 5, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (1, 5, 3, 5, 3, 5))",
"path normal form (3031, (2,))",
"path normal form (3031, (2, 0))",
"path normal form (3031, (2, 0, 1))",
"equal counts and endpoints collapse (3031, (2, 0, 1))",
"path normal form (3031, (2, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0))",
"path normal form (3031, (2, 0, 1, 0, 1))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 1))",
"path normal form (3031, (2, 0, 1, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 1, 0))",
"path normal form (3031, (2, 0, 1, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 1, 4))",
"path normal form (3031, (2, 0, 1, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 1, 5))",
"path normal form (3031, (2, 0, 1, 0, 2))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 2))",
"path normal form (3031, (2, 0, 1, 0, 2, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 2, 0))",
"path normal form (3031, (2, 0, 1, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 2, 4))",
"path normal form (3031, (2, 0, 1, 0, 2, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 0, 2, 5))",
"path normal form (3031, (2, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 4))",
"path normal form (3031, (2, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 4, 3))",
"path normal form (3031, (2, 0, 1, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 4, 3, 0))",
"path normal form (3031, (2, 0, 1, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 4, 3, 4))",
"path normal form (3031, (2, 0, 1, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 4, 3, 5))",
"path normal form (3031, (2, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 5))",
"path normal form (3031, (2, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 5, 3))",
"path normal form (3031, (2, 0, 1, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 5, 3, 0))",
"path normal form (3031, (2, 0, 1, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 5, 3, 4))",
"path normal form (3031, (2, 0, 1, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 1, 5, 3, 5))",
"path normal form (3031, (2, 0, 2))",
"path normal form (3031, (2, 0, 2, 0))",
"path normal form (3031, (2, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 0, 1))",
"path normal form (3031, (2, 0, 2, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 0, 1, 0))",
"path normal form (3031, (2, 0, 2, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 0, 1, 4))",
"path normal form (3031, (2, 0, 2, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 0, 1, 5))",
"path normal form (3031, (2, 0, 2, 0, 2))",
"path normal form (3031, (2, 0, 2, 0, 2, 0))",
"path normal form (3031, (2, 0, 2, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 0, 2, 4))",
"path normal form (3031, (2, 0, 2, 0, 2, 5))",
"path normal form (3031, (2, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 4))",
"path normal form (3031, (2, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 4, 3))",
"path normal form (3031, (2, 0, 2, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 4, 3, 0))",
"path normal form (3031, (2, 0, 2, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 4, 3, 4))",
"path normal form (3031, (2, 0, 2, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 4, 3, 5))",
"path normal form (3031, (2, 0, 2, 5))",
"path normal form (3031, (2, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 5, 3))",
"path normal form (3031, (2, 0, 2, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 5, 3, 0))",
"path normal form (3031, (2, 0, 2, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 5, 3, 4))",
"path normal form (3031, (2, 0, 2, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 0, 2, 5, 3, 5))",
"path normal form (3031, (2, 4))",
"equal counts and endpoints collapse (3031, (2, 4))",
"path normal form (3031, (2, 4, 3))",
"equal counts and endpoints collapse (3031, (2, 4, 3))",
"path normal form (3031, (2, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0))",
"path normal form (3031, (2, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 1))",
"path normal form (3031, (2, 4, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 1, 0))",
"path normal form (3031, (2, 4, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 1, 4))",
"path normal form (3031, (2, 4, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 1, 5))",
"path normal form (3031, (2, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 2))",
"path normal form (3031, (2, 4, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 2, 0))",
"path normal form (3031, (2, 4, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 2, 4))",
"path normal form (3031, (2, 4, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 0, 2, 5))",
"path normal form (3031, (2, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 4))",
"path normal form (3031, (2, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 4, 3))",
"path normal form (3031, (2, 4, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 4, 3, 0))",
"path normal form (3031, (2, 4, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 4, 3, 4))",
"path normal form (3031, (2, 4, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 4, 3, 5))",
"path normal form (3031, (2, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 5))",
"path normal form (3031, (2, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 5, 3))",
"path normal form (3031, (2, 4, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 5, 3, 0))",
"path normal form (3031, (2, 4, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 5, 3, 4))",
"path normal form (3031, (2, 4, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 4, 3, 5, 3, 5))",
"path normal form (3031, (2, 5))",
"path normal form (3031, (2, 5, 3))",
"equal counts and endpoints collapse (3031, (2, 5, 3))",
"path normal form (3031, (2, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0))",
"path normal form (3031, (2, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 1))",
"path normal form (3031, (2, 5, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 1, 0))",
"path normal form (3031, (2, 5, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 1, 4))",
"path normal form (3031, (2, 5, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 1, 5))",
"path normal form (3031, (2, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 2))",
"path normal form (3031, (2, 5, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 2, 0))",
"path normal form (3031, (2, 5, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 2, 4))",
"path normal form (3031, (2, 5, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 0, 2, 5))",
"path normal form (3031, (2, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 4))",
"path normal form (3031, (2, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 4, 3))",
"path normal form (3031, (2, 5, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 4, 3, 0))",
"path normal form (3031, (2, 5, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 4, 3, 4))",
"path normal form (3031, (2, 5, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 4, 3, 5))",
"path normal form (3031, (2, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 5))",
"path normal form (3031, (2, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 5, 3))",
"path normal form (3031, (2, 5, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 5, 3, 0))",
"path normal form (3031, (2, 5, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 5, 3, 4))",
"path normal form (3031, (2, 5, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3031, (2, 5, 3, 5, 3, 5))",
"path normal form (3033, ())",
"path normal form (3033, (0,))",
"path normal form (3033, (0, 1))",
"path normal form (3033, (0, 1, 0))",
"path normal form (3033, (0, 1, 0, 1))",
"path normal form (3033, (0, 1, 0, 1, 0))",
"path normal form (3033, (0, 1, 0, 1, 0, 1))",
"path normal form (3033, (0, 1, 0, 1, 0, 2))",
"path normal form (3033, (0, 1, 0, 1, 4))",
"path normal form (3033, (0, 1, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 1, 4, 3))",
"path normal form (3033, (0, 1, 0, 1, 5))",
"path normal form (3033, (0, 1, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 1, 5, 3))",
"path normal form (3033, (0, 1, 0, 2))",
"path normal form (3033, (0, 1, 0, 2, 0))",
"path normal form (3033, (0, 1, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 2, 0, 1))",
"path normal form (3033, (0, 1, 0, 2, 0, 2))",
"path normal form (3033, (0, 1, 0, 2, 4))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 2, 4))",
"path normal form (3033, (0, 1, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 2, 4, 3))",
"path normal form (3033, (0, 1, 0, 2, 5))",
"path normal form (3033, (0, 1, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 0, 2, 5, 3))",
"path normal form (3033, (0, 1, 4))",
"path normal form (3033, (0, 1, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3))",
"path normal form (3033, (0, 1, 4, 3, 0))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 0))",
"path normal form (3033, (0, 1, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 0, 1))",
"path normal form (3033, (0, 1, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 0, 2))",
"path normal form (3033, (0, 1, 4, 3, 4))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 4))",
"path normal form (3033, (0, 1, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 4, 3))",
"path normal form (3033, (0, 1, 4, 3, 5))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 5))",
"path normal form (3033, (0, 1, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 4, 3, 5, 3))",
"path normal form (3033, (0, 1, 5))",
"path normal form (3033, (0, 1, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3))",
"path normal form (3033, (0, 1, 5, 3, 0))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 0))",
"path normal form (3033, (0, 1, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 0, 1))",
"path normal form (3033, (0, 1, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 0, 2))",
"path normal form (3033, (0, 1, 5, 3, 4))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 4))",
"path normal form (3033, (0, 1, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 4, 3))",
"path normal form (3033, (0, 1, 5, 3, 5))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 5))",
"path normal form (3033, (0, 1, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 1, 5, 3, 5, 3))",
"path normal form (3033, (0, 2))",
"path normal form (3033, (0, 2, 0))",
"path normal form (3033, (0, 2, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1))",
"path normal form (3033, (0, 2, 0, 1, 0))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 0))",
"path normal form (3033, (0, 2, 0, 1, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 0, 1))",
"path normal form (3033, (0, 2, 0, 1, 0, 2))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 0, 2))",
"path normal form (3033, (0, 2, 0, 1, 4))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 4))",
"path normal form (3033, (0, 2, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 4, 3))",
"path normal form (3033, (0, 2, 0, 1, 5))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 5))",
"path normal form (3033, (0, 2, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 1, 5, 3))",
"path normal form (3033, (0, 2, 0, 2))",
"path normal form (3033, (0, 2, 0, 2, 0))",
"path normal form (3033, (0, 2, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 2, 0, 1))",
"path normal form (3033, (0, 2, 0, 2, 0, 2))",
"path normal form (3033, (0, 2, 0, 2, 4))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 2, 4))",
"path normal form (3033, (0, 2, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 2, 4, 3))",
"path normal form (3033, (0, 2, 0, 2, 5))",
"path normal form (3033, (0, 2, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 0, 2, 5, 3))",
"path normal form (3033, (0, 2, 4))",
"equal counts and endpoints collapse (3033, (0, 2, 4))",
"path normal form (3033, (0, 2, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3))",
"path normal form (3033, (0, 2, 4, 3, 0))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 0))",
"path normal form (3033, (0, 2, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 0, 1))",
"path normal form (3033, (0, 2, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 0, 2))",
"path normal form (3033, (0, 2, 4, 3, 4))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 4))",
"path normal form (3033, (0, 2, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 4, 3))",
"path normal form (3033, (0, 2, 4, 3, 5))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 5))",
"path normal form (3033, (0, 2, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 4, 3, 5, 3))",
"path normal form (3033, (0, 2, 5))",
"path normal form (3033, (0, 2, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3))",
"path normal form (3033, (0, 2, 5, 3, 0))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 0))",
"path normal form (3033, (0, 2, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 0, 1))",
"path normal form (3033, (0, 2, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 0, 2))",
"path normal form (3033, (0, 2, 5, 3, 4))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 4))",
"path normal form (3033, (0, 2, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 4, 3))",
"path normal form (3033, (0, 2, 5, 3, 5))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 5))",
"path normal form (3033, (0, 2, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (0, 2, 5, 3, 5, 3))",
"path normal form (3033, (4,))",
"path normal form (3033, (4, 3))",
"equal counts and endpoints collapse (3033, (4, 3))",
"path normal form (3033, (4, 3, 0))",
"equal counts and endpoints collapse (3033, (4, 3, 0))",
"path normal form (3033, (4, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1))",
"path normal form (3033, (4, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 0))",
"path normal form (3033, (4, 3, 0, 1, 0, 1))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 0, 1))",
"path normal form (3033, (4, 3, 0, 1, 0, 2))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 0, 2))",
"path normal form (3033, (4, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 4))",
"path normal form (3033, (4, 3, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 4, 3))",
"path normal form (3033, (4, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 5))",
"path normal form (3033, (4, 3, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 1, 5, 3))",
"path normal form (3033, (4, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2))",
"path normal form (3033, (4, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 0))",
"path normal form (3033, (4, 3, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 0, 1))",
"path normal form (3033, (4, 3, 0, 2, 0, 2))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 0, 2))",
"path normal form (3033, (4, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 4))",
"path normal form (3033, (4, 3, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 4, 3))",
"path normal form (3033, (4, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 5))",
"path normal form (3033, (4, 3, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 0, 2, 5, 3))",
"path normal form (3033, (4, 3, 4))",
"equal counts and endpoints collapse (3033, (4, 3, 4))",
"path normal form (3033, (4, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3))",
"path normal form (3033, (4, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 0))",
"path normal form (3033, (4, 3, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 0, 1))",
"path normal form (3033, (4, 3, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 0, 2))",
"path normal form (3033, (4, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 4))",
"path normal form (3033, (4, 3, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 4, 3))",
"path normal form (3033, (4, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 5))",
"path normal form (3033, (4, 3, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 4, 3, 5, 3))",
"path normal form (3033, (4, 3, 5))",
"equal counts and endpoints collapse (3033, (4, 3, 5))",
"path normal form (3033, (4, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3))",
"path normal form (3033, (4, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 0))",
"path normal form (3033, (4, 3, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 0, 1))",
"path normal form (3033, (4, 3, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 0, 2))",
"path normal form (3033, (4, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 4))",
"path normal form (3033, (4, 3, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 4, 3))",
"path normal form (3033, (4, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 5))",
"path normal form (3033, (4, 3, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (4, 3, 5, 3, 5, 3))",
"path normal form (3033, (5,))",
"path normal form (3033, (5, 3))",
"equal counts and endpoints collapse (3033, (5, 3))",
"path normal form (3033, (5, 3, 0))",
"equal counts and endpoints collapse (3033, (5, 3, 0))",
"path normal form (3033, (5, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1))",
"path normal form (3033, (5, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 0))",
"path normal form (3033, (5, 3, 0, 1, 0, 1))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 0, 1))",
"path normal form (3033, (5, 3, 0, 1, 0, 2))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 0, 2))",
"path normal form (3033, (5, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 4))",
"path normal form (3033, (5, 3, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 4, 3))",
"path normal form (3033, (5, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 5))",
"path normal form (3033, (5, 3, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 1, 5, 3))",
"path normal form (3033, (5, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2))",
"path normal form (3033, (5, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 0))",
"path normal form (3033, (5, 3, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 0, 1))",
"path normal form (3033, (5, 3, 0, 2, 0, 2))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 0, 2))",
"path normal form (3033, (5, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 4))",
"path normal form (3033, (5, 3, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 4, 3))",
"path normal form (3033, (5, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 5))",
"path normal form (3033, (5, 3, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 0, 2, 5, 3))",
"path normal form (3033, (5, 3, 4))",
"equal counts and endpoints collapse (3033, (5, 3, 4))",
"path normal form (3033, (5, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3))",
"path normal form (3033, (5, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 0))",
"path normal form (3033, (5, 3, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 0, 1))",
"path normal form (3033, (5, 3, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 0, 2))",
"path normal form (3033, (5, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 4))",
"path normal form (3033, (5, 3, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 4, 3))",
"path normal form (3033, (5, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 5))",
"path normal form (3033, (5, 3, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 4, 3, 5, 3))",
"path normal form (3033, (5, 3, 5))",
"equal counts and endpoints collapse (3033, (5, 3, 5))",
"path normal form (3033, (5, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3))",
"path normal form (3033, (5, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 0))",
"path normal form (3033, (5, 3, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 0, 1))",
"path normal form (3033, (5, 3, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 0, 2))",
"path normal form (3033, (5, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 4))",
"path normal form (3033, (5, 3, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 4, 3))",
"path normal form (3033, (5, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 5))",
"path normal form (3033, (5, 3, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3033, (5, 3, 5, 3, 5, 3))",
"path normal form (3035, ())",
"path normal form (3035, (3,))",
"path normal form (3035, (3, 0))",
"path normal form (3035, (3, 0, 1))",
"path normal form (3035, (3, 0, 1, 0))",
"path normal form (3035, (3, 0, 1, 0, 1))",
"path normal form (3035, (3, 0, 1, 0, 1, 0))",
"path normal form (3035, (3, 0, 1, 0, 1, 4))",
"path normal form (3035, (3, 0, 1, 0, 1, 5))",
"path normal form (3035, (3, 0, 1, 0, 2))",
"path normal form (3035, (3, 0, 1, 0, 2, 0))",
"path normal form (3035, (3, 0, 1, 0, 2, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 0, 2, 4))",
"path normal form (3035, (3, 0, 1, 0, 2, 5))",
"path normal form (3035, (3, 0, 1, 4))",
"path normal form (3035, (3, 0, 1, 4, 3))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 4, 3))",
"path normal form (3035, (3, 0, 1, 4, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 4, 3, 0))",
"path normal form (3035, (3, 0, 1, 4, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 4, 3, 4))",
"path normal form (3035, (3, 0, 1, 4, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 4, 3, 5))",
"path normal form (3035, (3, 0, 1, 5))",
"path normal form (3035, (3, 0, 1, 5, 3))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 5, 3))",
"path normal form (3035, (3, 0, 1, 5, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 5, 3, 0))",
"path normal form (3035, (3, 0, 1, 5, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 5, 3, 4))",
"path normal form (3035, (3, 0, 1, 5, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 0, 1, 5, 3, 5))",
"path normal form (3035, (3, 0, 2))",
"path normal form (3035, (3, 0, 2, 0))",
"path normal form (3035, (3, 0, 2, 0, 1))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 0, 1))",
"path normal form (3035, (3, 0, 2, 0, 1, 0))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 0, 1, 0))",
"path normal form (3035, (3, 0, 2, 0, 1, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 0, 1, 4))",
"path normal form (3035, (3, 0, 2, 0, 1, 5))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 0, 1, 5))",
"path normal form (3035, (3, 0, 2, 0, 2))",
"path normal form (3035, (3, 0, 2, 0, 2, 0))",
"path normal form (3035, (3, 0, 2, 0, 2, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 0, 2, 4))",
"path normal form (3035, (3, 0, 2, 0, 2, 5))",
"path normal form (3035, (3, 0, 2, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 4))",
"path normal form (3035, (3, 0, 2, 4, 3))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 4, 3))",
"path normal form (3035, (3, 0, 2, 4, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 4, 3, 0))",
"path normal form (3035, (3, 0, 2, 4, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 4, 3, 4))",
"path normal form (3035, (3, 0, 2, 4, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 4, 3, 5))",
"path normal form (3035, (3, 0, 2, 5))",
"path normal form (3035, (3, 0, 2, 5, 3))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 5, 3))",
"path normal form (3035, (3, 0, 2, 5, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 5, 3, 0))",
"path normal form (3035, (3, 0, 2, 5, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 5, 3, 4))",
"path normal form (3035, (3, 0, 2, 5, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 0, 2, 5, 3, 5))",
"path normal form (3035, (3, 4))",
"path normal form (3035, (3, 4, 3))",
"equal counts and endpoints collapse (3035, (3, 4, 3))",
"path normal form (3035, (3, 4, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0))",
"path normal form (3035, (3, 4, 3, 0, 1))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 1))",
"path normal form (3035, (3, 4, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 1, 0))",
"path normal form (3035, (3, 4, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 1, 4))",
"path normal form (3035, (3, 4, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 1, 5))",
"path normal form (3035, (3, 4, 3, 0, 2))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 2))",
"path normal form (3035, (3, 4, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 2, 0))",
"path normal form (3035, (3, 4, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 2, 4))",
"path normal form (3035, (3, 4, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 0, 2, 5))",
"path normal form (3035, (3, 4, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 4))",
"path normal form (3035, (3, 4, 3, 4, 3))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 4, 3))",
"path normal form (3035, (3, 4, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 4, 3, 0))",
"path normal form (3035, (3, 4, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 4, 3, 4))",
"path normal form (3035, (3, 4, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 4, 3, 5))",
"path normal form (3035, (3, 4, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 5))",
"path normal form (3035, (3, 4, 3, 5, 3))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 5, 3))",
"path normal form (3035, (3, 4, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 5, 3, 0))",
"path normal form (3035, (3, 4, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 5, 3, 4))",
"path normal form (3035, (3, 4, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 4, 3, 5, 3, 5))",
"path normal form (3035, (3, 5))",
"path normal form (3035, (3, 5, 3))",
"equal counts and endpoints collapse (3035, (3, 5, 3))",
"path normal form (3035, (3, 5, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0))",
"path normal form (3035, (3, 5, 3, 0, 1))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 1))",
"path normal form (3035, (3, 5, 3, 0, 1, 0))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 1, 0))",
"path normal form (3035, (3, 5, 3, 0, 1, 4))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 1, 4))",
"path normal form (3035, (3, 5, 3, 0, 1, 5))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 1, 5))",
"path normal form (3035, (3, 5, 3, 0, 2))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 2))",
"path normal form (3035, (3, 5, 3, 0, 2, 0))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 2, 0))",
"path normal form (3035, (3, 5, 3, 0, 2, 4))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 2, 4))",
"path normal form (3035, (3, 5, 3, 0, 2, 5))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 0, 2, 5))",
"path normal form (3035, (3, 5, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 4))",
"path normal form (3035, (3, 5, 3, 4, 3))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 4, 3))",
"path normal form (3035, (3, 5, 3, 4, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 4, 3, 0))",
"path normal form (3035, (3, 5, 3, 4, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 4, 3, 4))",
"path normal form (3035, (3, 5, 3, 4, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 4, 3, 5))",
"path normal form (3035, (3, 5, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 5))",
"path normal form (3035, (3, 5, 3, 5, 3))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 5, 3))",
"path normal form (3035, (3, 5, 3, 5, 3, 0))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 5, 3, 0))",
"path normal form (3035, (3, 5, 3, 5, 3, 4))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 5, 3, 4))",
"path normal form (3035, (3, 5, 3, 5, 3, 5))",
"equal counts and endpoints collapse (3035, (3, 5, 3, 5, 3, 5))",
"distinct count triples remain distinct within typed endpoints",
"operator multiplicative independence",
"central circuits agree across the two source segments",
"two moving-pivot E returns are admitted",
"finite path inventory"
],
"source_checks_passed": 16,
"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 C396_DATA.json",
"frozen C397_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 e1286eaa52a7c8299cebe813daf49058ea8a7fec93509bb237fc3ac5dd1d047b
C01–C479/packets/C400/evidence/RESULTS.json