{
"step": "C357",
"status": "passed",
"assertions_passed": 405,
"checks": [
"source normal form (1, 'primary', 0, 0, 0, 0, 0, 0)",
"source normal form (1, 'primary', 0, 0, 0, 0, 0, 1)",
"source normal form (1, 'primary', 0, 0, 0, 0, 1, 0)",
"source normal form (1, 'primary', 0, 0, 0, 0, 1, 1)",
"source normal form (1, 'primary', 0, 0, 0, 1, 0, 0)",
"source normal form (1, 'primary', 0, 0, 0, 1, 0, 1)",
"source normal form (1, 'primary', 0, 0, 0, 1, 1, 0)",
"source normal form (1, 'primary', 0, 0, 0, 1, 1, 1)",
"source normal form (1, 'primary', 0, 0, 1, 0, 0, 0)",
"source normal form (1, 'primary', 0, 0, 1, 0, 0, 1)",
"source normal form (1, 'primary', 0, 0, 1, 0, 1, 0)",
"source normal form (1, 'primary', 0, 0, 1, 0, 1, 1)",
"source normal form (1, 'primary', 0, 0, 1, 1, 0, 0)",
"source normal form (1, 'primary', 0, 0, 1, 1, 0, 1)",
"source normal form (1, 'primary', 0, 0, 1, 1, 1, 0)",
"source normal form (1, 'primary', 0, 0, 1, 1, 1, 1)",
"source normal form (1, 'primary', 0, 1, 0, 0, 0, 0)",
"source normal form (1, 'primary', 0, 1, 0, 0, 0, 1)",
"source normal form (1, 'primary', 0, 1, 0, 0, 1, 0)",
"source normal form (1, 'primary', 0, 1, 0, 0, 1, 1)",
"source normal form (1, 'primary', 0, 1, 0, 1, 0, 0)",
"source normal form (1, 'primary', 0, 1, 0, 1, 0, 1)",
"source normal form (1, 'primary', 0, 1, 0, 1, 1, 0)",
"source normal form (1, 'primary', 0, 1, 0, 1, 1, 1)",
"source normal form (1, 'primary', 0, 1, 1, 0, 0, 0)",
"source normal form (1, 'primary', 0, 1, 1, 0, 0, 1)",
"source normal form (1, 'primary', 0, 1, 1, 0, 1, 0)",
"source normal form (1, 'primary', 0, 1, 1, 0, 1, 1)",
"source normal form (1, 'primary', 0, 1, 1, 1, 0, 0)",
"source normal form (1, 'primary', 0, 1, 1, 1, 0, 1)",
"source normal form (1, 'primary', 0, 1, 1, 1, 1, 0)",
"source normal form (1, 'primary', 0, 1, 1, 1, 1, 1)",
"source normal form (1, 'primary', 1, 0, 0, 0, 0, 0)",
"source normal form (1, 'primary', 1, 0, 0, 0, 0, 1)",
"source normal form (1, 'primary', 1, 0, 0, 0, 1, 0)",
"source normal form (1, 'primary', 1, 0, 0, 0, 1, 1)",
"source normal form (1, 'primary', 1, 0, 0, 1, 0, 0)",
"source normal form (1, 'primary', 1, 0, 0, 1, 0, 1)",
"source normal form (1, 'primary', 1, 0, 0, 1, 1, 0)",
"source normal form (1, 'primary', 1, 0, 0, 1, 1, 1)",
"source normal form (1, 'primary', 1, 0, 1, 0, 0, 0)",
"source normal form (1, 'primary', 1, 0, 1, 0, 0, 1)",
"source normal form (1, 'primary', 1, 0, 1, 0, 1, 0)",
"source normal form (1, 'primary', 1, 0, 1, 0, 1, 1)",
"source normal form (1, 'primary', 1, 0, 1, 1, 0, 0)",
"source normal form (1, 'primary', 1, 0, 1, 1, 0, 1)",
"source normal form (1, 'primary', 1, 0, 1, 1, 1, 0)",
"source normal form (1, 'primary', 1, 0, 1, 1, 1, 1)",
"source normal form (1, 'primary', 1, 1, 0, 0, 0, 0)",
"source normal form (1, 'primary', 1, 1, 0, 0, 0, 1)",
"source normal form (1, 'primary', 1, 1, 0, 0, 1, 0)",
"source normal form (1, 'primary', 1, 1, 0, 0, 1, 1)",
"source normal form (1, 'primary', 1, 1, 0, 1, 0, 0)",
"source normal form (1, 'primary', 1, 1, 0, 1, 0, 1)",
"source normal form (1, 'primary', 1, 1, 0, 1, 1, 0)",
"source normal form (1, 'primary', 1, 1, 0, 1, 1, 1)",
"source normal form (1, 'primary', 1, 1, 1, 0, 0, 0)",
"source normal form (1, 'primary', 1, 1, 1, 0, 0, 1)",
"source normal form (1, 'primary', 1, 1, 1, 0, 1, 0)",
"source normal form (1, 'primary', 1, 1, 1, 0, 1, 1)",
"source normal form (1, 'primary', 1, 1, 1, 1, 0, 0)",
"source normal form (1, 'primary', 1, 1, 1, 1, 0, 1)",
"source normal form (1, 'primary', 1, 1, 1, 1, 1, 0)",
"source normal form (1, 'primary', 1, 1, 1, 1, 1, 1)",
"source normal form (1, 'companion', 0, 0, 0, 0, 0, 0)",
"source normal form (1, 'companion', 0, 0, 0, 0, 0, 1)",
"source normal form (1, 'companion', 0, 0, 0, 0, 1, 0)",
"source normal form (1, 'companion', 0, 0, 0, 0, 1, 1)",
"source normal form (1, 'companion', 0, 0, 0, 1, 0, 0)",
"source normal form (1, 'companion', 0, 0, 0, 1, 0, 1)",
"source normal form (1, 'companion', 0, 0, 0, 1, 1, 0)",
"source normal form (1, 'companion', 0, 0, 0, 1, 1, 1)",
"source normal form (1, 'companion', 0, 0, 1, 0, 0, 0)",
"source normal form (1, 'companion', 0, 0, 1, 0, 0, 1)",
"source normal form (1, 'companion', 0, 0, 1, 0, 1, 0)",
"source normal form (1, 'companion', 0, 0, 1, 0, 1, 1)",
"source normal form (1, 'companion', 0, 0, 1, 1, 0, 0)",
"source normal form (1, 'companion', 0, 0, 1, 1, 0, 1)",
"source normal form (1, 'companion', 0, 0, 1, 1, 1, 0)",
"source normal form (1, 'companion', 0, 0, 1, 1, 1, 1)",
"source normal form (1, 'companion', 0, 1, 0, 0, 0, 0)",
"source normal form (1, 'companion', 0, 1, 0, 0, 0, 1)",
"source normal form (1, 'companion', 0, 1, 0, 0, 1, 0)",
"source normal form (1, 'companion', 0, 1, 0, 0, 1, 1)",
"source normal form (1, 'companion', 0, 1, 0, 1, 0, 0)",
"source normal form (1, 'companion', 0, 1, 0, 1, 0, 1)",
"source normal form (1, 'companion', 0, 1, 0, 1, 1, 0)",
"source normal form (1, 'companion', 0, 1, 0, 1, 1, 1)",
"source normal form (1, 'companion', 0, 1, 1, 0, 0, 0)",
"source normal form (1, 'companion', 0, 1, 1, 0, 0, 1)",
"source normal form (1, 'companion', 0, 1, 1, 0, 1, 0)",
"source normal form (1, 'companion', 0, 1, 1, 0, 1, 1)",
"source normal form (1, 'companion', 0, 1, 1, 1, 0, 0)",
"source normal form (1, 'companion', 0, 1, 1, 1, 0, 1)",
"source normal form (1, 'companion', 0, 1, 1, 1, 1, 0)",
"source normal form (1, 'companion', 0, 1, 1, 1, 1, 1)",
"source normal form (1, 'companion', 1, 0, 0, 0, 0, 0)",
"source normal form (1, 'companion', 1, 0, 0, 0, 0, 1)",
"source normal form (1, 'companion', 1, 0, 0, 0, 1, 0)",
"source normal form (1, 'companion', 1, 0, 0, 0, 1, 1)",
"source normal form (1, 'companion', 1, 0, 0, 1, 0, 0)",
"source normal form (1, 'companion', 1, 0, 0, 1, 0, 1)",
"source normal form (1, 'companion', 1, 0, 0, 1, 1, 0)",
"source normal form (1, 'companion', 1, 0, 0, 1, 1, 1)",
"source normal form (1, 'companion', 1, 0, 1, 0, 0, 0)",
"source normal form (1, 'companion', 1, 0, 1, 0, 0, 1)",
"source normal form (1, 'companion', 1, 0, 1, 0, 1, 0)",
"source normal form (1, 'companion', 1, 0, 1, 0, 1, 1)",
"source normal form (1, 'companion', 1, 0, 1, 1, 0, 0)",
"source normal form (1, 'companion', 1, 0, 1, 1, 0, 1)",
"source normal form (1, 'companion', 1, 0, 1, 1, 1, 0)",
"source normal form (1, 'companion', 1, 0, 1, 1, 1, 1)",
"source normal form (1, 'companion', 1, 1, 0, 0, 0, 0)",
"source normal form (1, 'companion', 1, 1, 0, 0, 0, 1)",
"source normal form (1, 'companion', 1, 1, 0, 0, 1, 0)",
"source normal form (1, 'companion', 1, 1, 0, 0, 1, 1)",
"source normal form (1, 'companion', 1, 1, 0, 1, 0, 0)",
"source normal form (1, 'companion', 1, 1, 0, 1, 0, 1)",
"source normal form (1, 'companion', 1, 1, 0, 1, 1, 0)",
"source normal form (1, 'companion', 1, 1, 0, 1, 1, 1)",
"source normal form (1, 'companion', 1, 1, 1, 0, 0, 0)",
"source normal form (1, 'companion', 1, 1, 1, 0, 0, 1)",
"source normal form (1, 'companion', 1, 1, 1, 0, 1, 0)",
"source normal form (1, 'companion', 1, 1, 1, 0, 1, 1)",
"source normal form (1, 'companion', 1, 1, 1, 1, 0, 0)",
"source normal form (1, 'companion', 1, 1, 1, 1, 0, 1)",
"source normal form (1, 'companion', 1, 1, 1, 1, 1, 0)",
"source normal form (1, 'companion', 1, 1, 1, 1, 1, 1)",
"source normal form (2, 'primary', 0, 0, 0, 0, 0, 0)",
"source normal form (2, 'primary', 0, 0, 0, 0, 0, 1)",
"source normal form (2, 'primary', 0, 0, 0, 0, 1, 0)",
"source normal form (2, 'primary', 0, 0, 0, 0, 1, 1)",
"source normal form (2, 'primary', 0, 0, 0, 1, 0, 0)",
"source normal form (2, 'primary', 0, 0, 0, 1, 0, 1)",
"source normal form (2, 'primary', 0, 0, 0, 1, 1, 0)",
"source normal form (2, 'primary', 0, 0, 0, 1, 1, 1)",
"source normal form (2, 'primary', 0, 0, 1, 0, 0, 0)",
"source normal form (2, 'primary', 0, 0, 1, 0, 0, 1)",
"source normal form (2, 'primary', 0, 0, 1, 0, 1, 0)",
"source normal form (2, 'primary', 0, 0, 1, 0, 1, 1)",
"source normal form (2, 'primary', 0, 0, 1, 1, 0, 0)",
"source normal form (2, 'primary', 0, 0, 1, 1, 0, 1)",
"source normal form (2, 'primary', 0, 0, 1, 1, 1, 0)",
"source normal form (2, 'primary', 0, 0, 1, 1, 1, 1)",
"source normal form (2, 'primary', 0, 1, 0, 0, 0, 0)",
"source normal form (2, 'primary', 0, 1, 0, 0, 0, 1)",
"source normal form (2, 'primary', 0, 1, 0, 0, 1, 0)",
"source normal form (2, 'primary', 0, 1, 0, 0, 1, 1)",
"source normal form (2, 'primary', 0, 1, 0, 1, 0, 0)",
"source normal form (2, 'primary', 0, 1, 0, 1, 0, 1)",
"source normal form (2, 'primary', 0, 1, 0, 1, 1, 0)",
"source normal form (2, 'primary', 0, 1, 0, 1, 1, 1)",
"source normal form (2, 'primary', 0, 1, 1, 0, 0, 0)",
"source normal form (2, 'primary', 0, 1, 1, 0, 0, 1)",
"source normal form (2, 'primary', 0, 1, 1, 0, 1, 0)",
"source normal form (2, 'primary', 0, 1, 1, 0, 1, 1)",
"source normal form (2, 'primary', 0, 1, 1, 1, 0, 0)",
"source normal form (2, 'primary', 0, 1, 1, 1, 0, 1)",
"source normal form (2, 'primary', 0, 1, 1, 1, 1, 0)",
"source normal form (2, 'primary', 0, 1, 1, 1, 1, 1)",
"source normal form (2, 'primary', 1, 0, 0, 0, 0, 0)",
"source normal form (2, 'primary', 1, 0, 0, 0, 0, 1)",
"source normal form (2, 'primary', 1, 0, 0, 0, 1, 0)",
"source normal form (2, 'primary', 1, 0, 0, 0, 1, 1)",
"source normal form (2, 'primary', 1, 0, 0, 1, 0, 0)",
"source normal form (2, 'primary', 1, 0, 0, 1, 0, 1)",
"source normal form (2, 'primary', 1, 0, 0, 1, 1, 0)",
"source normal form (2, 'primary', 1, 0, 0, 1, 1, 1)",
"source normal form (2, 'primary', 1, 0, 1, 0, 0, 0)",
"source normal form (2, 'primary', 1, 0, 1, 0, 0, 1)",
"source normal form (2, 'primary', 1, 0, 1, 0, 1, 0)",
"source normal form (2, 'primary', 1, 0, 1, 0, 1, 1)",
"source normal form (2, 'primary', 1, 0, 1, 1, 0, 0)",
"source normal form (2, 'primary', 1, 0, 1, 1, 0, 1)",
"source normal form (2, 'primary', 1, 0, 1, 1, 1, 0)",
"source normal form (2, 'primary', 1, 0, 1, 1, 1, 1)",
"source normal form (2, 'primary', 1, 1, 0, 0, 0, 0)",
"source normal form (2, 'primary', 1, 1, 0, 0, 0, 1)",
"source normal form (2, 'primary', 1, 1, 0, 0, 1, 0)",
"source normal form (2, 'primary', 1, 1, 0, 0, 1, 1)",
"source normal form (2, 'primary', 1, 1, 0, 1, 0, 0)",
"source normal form (2, 'primary', 1, 1, 0, 1, 0, 1)",
"source normal form (2, 'primary', 1, 1, 0, 1, 1, 0)",
"source normal form (2, 'primary', 1, 1, 0, 1, 1, 1)",
"source normal form (2, 'primary', 1, 1, 1, 0, 0, 0)",
"source normal form (2, 'primary', 1, 1, 1, 0, 0, 1)",
"source normal form (2, 'primary', 1, 1, 1, 0, 1, 0)",
"source normal form (2, 'primary', 1, 1, 1, 0, 1, 1)",
"source normal form (2, 'primary', 1, 1, 1, 1, 0, 0)",
"source normal form (2, 'primary', 1, 1, 1, 1, 0, 1)",
"source normal form (2, 'primary', 1, 1, 1, 1, 1, 0)",
"source normal form (2, 'primary', 1, 1, 1, 1, 1, 1)",
"source normal form (2, 'companion', 0, 0, 0, 0, 0, 0)",
"source normal form (2, 'companion', 0, 0, 0, 0, 0, 1)",
"source normal form (2, 'companion', 0, 0, 0, 0, 1, 0)",
"source normal form (2, 'companion', 0, 0, 0, 0, 1, 1)",
"source normal form (2, 'companion', 0, 0, 0, 1, 0, 0)",
"source normal form (2, 'companion', 0, 0, 0, 1, 0, 1)",
"source normal form (2, 'companion', 0, 0, 0, 1, 1, 0)",
"source normal form (2, 'companion', 0, 0, 0, 1, 1, 1)",
"source normal form (2, 'companion', 0, 0, 1, 0, 0, 0)",
"source normal form (2, 'companion', 0, 0, 1, 0, 0, 1)",
"source normal form (2, 'companion', 0, 0, 1, 0, 1, 0)",
"source normal form (2, 'companion', 0, 0, 1, 0, 1, 1)",
"source normal form (2, 'companion', 0, 0, 1, 1, 0, 0)",
"source normal form (2, 'companion', 0, 0, 1, 1, 0, 1)",
"source normal form (2, 'companion', 0, 0, 1, 1, 1, 0)",
"source normal form (2, 'companion', 0, 0, 1, 1, 1, 1)",
"source normal form (2, 'companion', 0, 1, 0, 0, 0, 0)",
"source normal form (2, 'companion', 0, 1, 0, 0, 0, 1)",
"source normal form (2, 'companion', 0, 1, 0, 0, 1, 0)",
"source normal form (2, 'companion', 0, 1, 0, 0, 1, 1)",
"source normal form (2, 'companion', 0, 1, 0, 1, 0, 0)",
"source normal form (2, 'companion', 0, 1, 0, 1, 0, 1)",
"source normal form (2, 'companion', 0, 1, 0, 1, 1, 0)",
"source normal form (2, 'companion', 0, 1, 0, 1, 1, 1)",
"source normal form (2, 'companion', 0, 1, 1, 0, 0, 0)",
"source normal form (2, 'companion', 0, 1, 1, 0, 0, 1)",
"source normal form (2, 'companion', 0, 1, 1, 0, 1, 0)",
"source normal form (2, 'companion', 0, 1, 1, 0, 1, 1)",
"source normal form (2, 'companion', 0, 1, 1, 1, 0, 0)",
"source normal form (2, 'companion', 0, 1, 1, 1, 0, 1)",
"source normal form (2, 'companion', 0, 1, 1, 1, 1, 0)",
"source normal form (2, 'companion', 0, 1, 1, 1, 1, 1)",
"source normal form (2, 'companion', 1, 0, 0, 0, 0, 0)",
"source normal form (2, 'companion', 1, 0, 0, 0, 0, 1)",
"source normal form (2, 'companion', 1, 0, 0, 0, 1, 0)",
"source normal form (2, 'companion', 1, 0, 0, 0, 1, 1)",
"source normal form (2, 'companion', 1, 0, 0, 1, 0, 0)",
"source normal form (2, 'companion', 1, 0, 0, 1, 0, 1)",
"source normal form (2, 'companion', 1, 0, 0, 1, 1, 0)",
"source normal form (2, 'companion', 1, 0, 0, 1, 1, 1)",
"source normal form (2, 'companion', 1, 0, 1, 0, 0, 0)",
"source normal form (2, 'companion', 1, 0, 1, 0, 0, 1)",
"source normal form (2, 'companion', 1, 0, 1, 0, 1, 0)",
"source normal form (2, 'companion', 1, 0, 1, 0, 1, 1)",
"source normal form (2, 'companion', 1, 0, 1, 1, 0, 0)",
"source normal form (2, 'companion', 1, 0, 1, 1, 0, 1)",
"source normal form (2, 'companion', 1, 0, 1, 1, 1, 0)",
"source normal form (2, 'companion', 1, 0, 1, 1, 1, 1)",
"source normal form (2, 'companion', 1, 1, 0, 0, 0, 0)",
"source normal form (2, 'companion', 1, 1, 0, 0, 0, 1)",
"source normal form (2, 'companion', 1, 1, 0, 0, 1, 0)",
"source normal form (2, 'companion', 1, 1, 0, 0, 1, 1)",
"source normal form (2, 'companion', 1, 1, 0, 1, 0, 0)",
"source normal form (2, 'companion', 1, 1, 0, 1, 0, 1)",
"source normal form (2, 'companion', 1, 1, 0, 1, 1, 0)",
"source normal form (2, 'companion', 1, 1, 0, 1, 1, 1)",
"source normal form (2, 'companion', 1, 1, 1, 0, 0, 0)",
"source normal form (2, 'companion', 1, 1, 1, 0, 0, 1)",
"source normal form (2, 'companion', 1, 1, 1, 0, 1, 0)",
"source normal form (2, 'companion', 1, 1, 1, 0, 1, 1)",
"source normal form (2, 'companion', 1, 1, 1, 1, 0, 0)",
"source normal form (2, 'companion', 1, 1, 1, 1, 0, 1)",
"source normal form (2, 'companion', 1, 1, 1, 1, 1, 0)",
"source normal form (2, 'companion', 1, 1, 1, 1, 1, 1)",
"source normal form (3, 'primary', 0, 0, 0, 0, 0, 0)",
"source normal form (3, 'primary', 0, 0, 0, 0, 0, 1)",
"source normal form (3, 'primary', 0, 0, 0, 0, 1, 0)",
"source normal form (3, 'primary', 0, 0, 0, 0, 1, 1)",
"source normal form (3, 'primary', 0, 0, 0, 1, 0, 0)",
"source normal form (3, 'primary', 0, 0, 0, 1, 0, 1)",
"source normal form (3, 'primary', 0, 0, 0, 1, 1, 0)",
"source normal form (3, 'primary', 0, 0, 0, 1, 1, 1)",
"source normal form (3, 'primary', 0, 0, 1, 0, 0, 0)",
"source normal form (3, 'primary', 0, 0, 1, 0, 0, 1)",
"source normal form (3, 'primary', 0, 0, 1, 0, 1, 0)",
"source normal form (3, 'primary', 0, 0, 1, 0, 1, 1)",
"source normal form (3, 'primary', 0, 0, 1, 1, 0, 0)",
"source normal form (3, 'primary', 0, 0, 1, 1, 0, 1)",
"source normal form (3, 'primary', 0, 0, 1, 1, 1, 0)",
"source normal form (3, 'primary', 0, 0, 1, 1, 1, 1)",
"source normal form (3, 'primary', 0, 1, 0, 0, 0, 0)",
"source normal form (3, 'primary', 0, 1, 0, 0, 0, 1)",
"source normal form (3, 'primary', 0, 1, 0, 0, 1, 0)",
"source normal form (3, 'primary', 0, 1, 0, 0, 1, 1)",
"source normal form (3, 'primary', 0, 1, 0, 1, 0, 0)",
"source normal form (3, 'primary', 0, 1, 0, 1, 0, 1)",
"source normal form (3, 'primary', 0, 1, 0, 1, 1, 0)",
"source normal form (3, 'primary', 0, 1, 0, 1, 1, 1)",
"source normal form (3, 'primary', 0, 1, 1, 0, 0, 0)",
"source normal form (3, 'primary', 0, 1, 1, 0, 0, 1)",
"source normal form (3, 'primary', 0, 1, 1, 0, 1, 0)",
"source normal form (3, 'primary', 0, 1, 1, 0, 1, 1)",
"source normal form (3, 'primary', 0, 1, 1, 1, 0, 0)",
"source normal form (3, 'primary', 0, 1, 1, 1, 0, 1)",
"source normal form (3, 'primary', 0, 1, 1, 1, 1, 0)",
"source normal form (3, 'primary', 0, 1, 1, 1, 1, 1)",
"source normal form (3, 'primary', 1, 0, 0, 0, 0, 0)",
"source normal form (3, 'primary', 1, 0, 0, 0, 0, 1)",
"source normal form (3, 'primary', 1, 0, 0, 0, 1, 0)",
"source normal form (3, 'primary', 1, 0, 0, 0, 1, 1)",
"source normal form (3, 'primary', 1, 0, 0, 1, 0, 0)",
"source normal form (3, 'primary', 1, 0, 0, 1, 0, 1)",
"source normal form (3, 'primary', 1, 0, 0, 1, 1, 0)",
"source normal form (3, 'primary', 1, 0, 0, 1, 1, 1)",
"source normal form (3, 'primary', 1, 0, 1, 0, 0, 0)",
"source normal form (3, 'primary', 1, 0, 1, 0, 0, 1)",
"source normal form (3, 'primary', 1, 0, 1, 0, 1, 0)",
"source normal form (3, 'primary', 1, 0, 1, 0, 1, 1)",
"source normal form (3, 'primary', 1, 0, 1, 1, 0, 0)",
"source normal form (3, 'primary', 1, 0, 1, 1, 0, 1)",
"source normal form (3, 'primary', 1, 0, 1, 1, 1, 0)",
"source normal form (3, 'primary', 1, 0, 1, 1, 1, 1)",
"source normal form (3, 'primary', 1, 1, 0, 0, 0, 0)",
"source normal form (3, 'primary', 1, 1, 0, 0, 0, 1)",
"source normal form (3, 'primary', 1, 1, 0, 0, 1, 0)",
"source normal form (3, 'primary', 1, 1, 0, 0, 1, 1)",
"source normal form (3, 'primary', 1, 1, 0, 1, 0, 0)",
"source normal form (3, 'primary', 1, 1, 0, 1, 0, 1)",
"source normal form (3, 'primary', 1, 1, 0, 1, 1, 0)",
"source normal form (3, 'primary', 1, 1, 0, 1, 1, 1)",
"source normal form (3, 'primary', 1, 1, 1, 0, 0, 0)",
"source normal form (3, 'primary', 1, 1, 1, 0, 0, 1)",
"source normal form (3, 'primary', 1, 1, 1, 0, 1, 0)",
"source normal form (3, 'primary', 1, 1, 1, 0, 1, 1)",
"source normal form (3, 'primary', 1, 1, 1, 1, 0, 0)",
"source normal form (3, 'primary', 1, 1, 1, 1, 0, 1)",
"source normal form (3, 'primary', 1, 1, 1, 1, 1, 0)",
"source normal form (3, 'primary', 1, 1, 1, 1, 1, 1)",
"source normal form (3, 'companion', 0, 0, 0, 0, 0, 0)",
"source normal form (3, 'companion', 0, 0, 0, 0, 0, 1)",
"source normal form (3, 'companion', 0, 0, 0, 0, 1, 0)",
"source normal form (3, 'companion', 0, 0, 0, 0, 1, 1)",
"source normal form (3, 'companion', 0, 0, 0, 1, 0, 0)",
"source normal form (3, 'companion', 0, 0, 0, 1, 0, 1)",
"source normal form (3, 'companion', 0, 0, 0, 1, 1, 0)",
"source normal form (3, 'companion', 0, 0, 0, 1, 1, 1)",
"source normal form (3, 'companion', 0, 0, 1, 0, 0, 0)",
"source normal form (3, 'companion', 0, 0, 1, 0, 0, 1)",
"source normal form (3, 'companion', 0, 0, 1, 0, 1, 0)",
"source normal form (3, 'companion', 0, 0, 1, 0, 1, 1)",
"source normal form (3, 'companion', 0, 0, 1, 1, 0, 0)",
"source normal form (3, 'companion', 0, 0, 1, 1, 0, 1)",
"source normal form (3, 'companion', 0, 0, 1, 1, 1, 0)",
"source normal form (3, 'companion', 0, 0, 1, 1, 1, 1)",
"source normal form (3, 'companion', 0, 1, 0, 0, 0, 0)",
"source normal form (3, 'companion', 0, 1, 0, 0, 0, 1)",
"source normal form (3, 'companion', 0, 1, 0, 0, 1, 0)",
"source normal form (3, 'companion', 0, 1, 0, 0, 1, 1)",
"source normal form (3, 'companion', 0, 1, 0, 1, 0, 0)",
"source normal form (3, 'companion', 0, 1, 0, 1, 0, 1)",
"source normal form (3, 'companion', 0, 1, 0, 1, 1, 0)",
"source normal form (3, 'companion', 0, 1, 0, 1, 1, 1)",
"source normal form (3, 'companion', 0, 1, 1, 0, 0, 0)",
"source normal form (3, 'companion', 0, 1, 1, 0, 0, 1)",
"source normal form (3, 'companion', 0, 1, 1, 0, 1, 0)",
"source normal form (3, 'companion', 0, 1, 1, 0, 1, 1)",
"source normal form (3, 'companion', 0, 1, 1, 1, 0, 0)",
"source normal form (3, 'companion', 0, 1, 1, 1, 0, 1)",
"source normal form (3, 'companion', 0, 1, 1, 1, 1, 0)",
"source normal form (3, 'companion', 0, 1, 1, 1, 1, 1)",
"source normal form (3, 'companion', 1, 0, 0, 0, 0, 0)",
"source normal form (3, 'companion', 1, 0, 0, 0, 0, 1)",
"source normal form (3, 'companion', 1, 0, 0, 0, 1, 0)",
"source normal form (3, 'companion', 1, 0, 0, 0, 1, 1)",
"source normal form (3, 'companion', 1, 0, 0, 1, 0, 0)",
"source normal form (3, 'companion', 1, 0, 0, 1, 0, 1)",
"source normal form (3, 'companion', 1, 0, 0, 1, 1, 0)",
"source normal form (3, 'companion', 1, 0, 0, 1, 1, 1)",
"source normal form (3, 'companion', 1, 0, 1, 0, 0, 0)",
"source normal form (3, 'companion', 1, 0, 1, 0, 0, 1)",
"source normal form (3, 'companion', 1, 0, 1, 0, 1, 0)",
"source normal form (3, 'companion', 1, 0, 1, 0, 1, 1)",
"source normal form (3, 'companion', 1, 0, 1, 1, 0, 0)",
"source normal form (3, 'companion', 1, 0, 1, 1, 0, 1)",
"source normal form (3, 'companion', 1, 0, 1, 1, 1, 0)",
"source normal form (3, 'companion', 1, 0, 1, 1, 1, 1)",
"source normal form (3, 'companion', 1, 1, 0, 0, 0, 0)",
"source normal form (3, 'companion', 1, 1, 0, 0, 0, 1)",
"source normal form (3, 'companion', 1, 1, 0, 0, 1, 0)",
"source normal form (3, 'companion', 1, 1, 0, 0, 1, 1)",
"source normal form (3, 'companion', 1, 1, 0, 1, 0, 0)",
"source normal form (3, 'companion', 1, 1, 0, 1, 0, 1)",
"source normal form (3, 'companion', 1, 1, 0, 1, 1, 0)",
"source normal form (3, 'companion', 1, 1, 0, 1, 1, 1)",
"source normal form (3, 'companion', 1, 1, 1, 0, 0, 0)",
"source normal form (3, 'companion', 1, 1, 1, 0, 0, 1)",
"source normal form (3, 'companion', 1, 1, 1, 0, 1, 0)",
"source normal form (3, 'companion', 1, 1, 1, 0, 1, 1)",
"source normal form (3, 'companion', 1, 1, 1, 1, 0, 0)",
"source normal form (3, 'companion', 1, 1, 1, 1, 0, 1)",
"source normal form (3, 'companion', 1, 1, 1, 1, 1, 0)",
"source normal form (3, 'companion', 1, 1, 1, 1, 1, 1)",
"384 controls",
"six exact source families",
"600500 sequence (1, [0, 0, 0], 'pivots')",
"600500 sequence (1, [0, 0, 0], 'inputs')",
"600500 sequence (1, [0, 0, 0], 'outputs')",
"600500 sequence (1, [0, 0, 1], 'pivots')",
"600500 sequence (1, [0, 0, 1], 'inputs')",
"600500 sequence (1, [0, 0, 1], 'outputs')",
"600500 sequence (2, [0, 0, 0], 'pivots')",
"600500 sequence (2, [0, 0, 0], 'inputs')",
"600500 sequence (2, [0, 0, 0], 'outputs')",
"600500 sequence (2, [0, 0, 1], 'pivots')",
"600500 sequence (2, [0, 0, 1], 'inputs')",
"600500 sequence (2, [0, 0, 1], 'outputs')",
"600500 sequence (3, [0, 0, 0], 'pivots')",
"600500 sequence (3, [0, 0, 0], 'inputs')",
"600500 sequence (3, [0, 0, 0], 'outputs')",
"600500 sequence (3, [0, 0, 1], 'pivots')",
"600500 sequence (3, [0, 0, 1], 'inputs')",
"600500 sequence (3, [0, 0, 1], 'outputs')",
"source constant reduction"
],
"source_checks_passed": 14,
"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",
"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 98eb416c1b95c170a2b7df80866316f51ba0d95338f14983dded8ebed5e53a00
C01–C479/packets/C357/evidence/RESULTS.json