{
"step": "C438",
"status": "passed",
"assertions_passed": 1502,
"checks": [
"four source-derived centers only",
"involution 3188/1741",
"involution 3188/1743",
"involution 3188/1745",
"involution 3188/1801",
"involution 3188/1803",
"involution 3188/1805",
"involution 3188/1871",
"involution 3188/1873",
"involution 3188/1875",
"involution 3188/1891",
"involution 3188/1893",
"involution 3188/1895",
"involution 3188/1931",
"involution 3188/1933",
"involution 3188/1935",
"involution 3188/1951",
"involution 3188/1953",
"involution 3188/1955",
"involution 3188/1956",
"involution 3188/1958",
"involution 3188/1960",
"involution 3188/2016",
"involution 3188/2018",
"involution 3188/2020",
"involution 3188/2021",
"involution 3188/2023",
"involution 3188/2025",
"involution 3188/2081",
"involution 3188/2083",
"involution 3188/2085",
"involution 3188/2086",
"involution 3188/2088",
"involution 3188/2090",
"involution 3188/2106",
"involution 3188/2108",
"involution 3188/2110",
"involution 3188/2146",
"involution 3188/2148",
"involution 3188/2150",
"involution 3188/2166",
"involution 3188/2168",
"involution 3188/2170",
"involution 3188/2236",
"involution 3188/2238",
"involution 3188/2240",
"involution 3188/2241",
"involution 3188/2242",
"involution 3188/2243",
"involution 3188/2244",
"involution 3188/2245",
"involution 3188/2296",
"involution 3188/2298",
"involution 3188/2300",
"involution 3188/2301",
"involution 3188/2302",
"involution 3188/2303",
"involution 3188/2304",
"involution 3188/2305",
"involution 3188/2341",
"involution 3188/2343",
"involution 3188/2345",
"involution 3188/2370",
"involution 3188/2371",
"involution 3188/2372",
"involution 3188/2373",
"involution 3188/2374",
"involution 3188/2375",
"involution 3188/2390",
"involution 3188/2391",
"involution 3188/2392",
"involution 3188/2393",
"involution 3188/2394",
"involution 3188/2395",
"involution 3188/2401",
"involution 3188/2403",
"involution 3188/2405",
"involution 3188/2430",
"involution 3188/2431",
"involution 3188/2432",
"involution 3188/2433",
"involution 3188/2434",
"involution 3188/2435",
"involution 3188/2450",
"involution 3188/2451",
"involution 3188/2452",
"involution 3188/2453",
"involution 3188/2454",
"involution 3188/2455",
"involution 3188/2456",
"involution 3188/2457",
"involution 3188/2458",
"involution 3188/2459",
"involution 3188/2460",
"involution 3188/2471",
"involution 3188/2473",
"involution 3188/2475",
"involution 3188/2515",
"involution 3188/2516",
"involution 3188/2517",
"involution 3188/2518",
"involution 3188/2519",
"involution 3188/2520",
"involution 3188/2521",
"involution 3188/2522",
"involution 3188/2523",
"involution 3188/2524",
"involution 3188/2525",
"involution 3188/2531",
"involution 3188/2533",
"involution 3188/2535",
"involution 3188/2540",
"involution 3188/2541",
"involution 3188/2542",
"involution 3188/2543",
"involution 3188/2544",
"involution 3188/2545",
"involution 3188/2556",
"involution 3188/2558",
"involution 3188/2560",
"involution 3188/2580",
"involution 3188/2581",
"involution 3188/2582",
"involution 3188/2583",
"involution 3188/2584",
"involution 3188/2585",
"involution 3188/2586",
"involution 3188/2587",
"involution 3188/2588",
"involution 3188/2589",
"involution 3188/2590",
"involution 3188/2600",
"involution 3188/2601",
"involution 3188/2602",
"involution 3188/2603",
"involution 3188/2604",
"involution 3188/2605",
"involution 3188/2606",
"involution 3188/2607",
"involution 3188/2608",
"involution 3188/2609",
"involution 3188/2610",
"involution 3188/2616",
"involution 3188/2618",
"involution 3188/2620",
"involution 3188/2645",
"involution 3188/2646",
"involution 3188/2647",
"involution 3188/2648",
"involution 3188/2649",
"involution 3188/2650",
"involution 3188/2665",
"involution 3188/2666",
"involution 3188/2667",
"involution 3188/2668",
"involution 3188/2669",
"involution 3188/2670",
"involution 3188/2671",
"involution 3188/2672",
"involution 3188/2673",
"involution 3188/2674",
"involution 3188/2675",
"involution 3188/2686",
"involution 3188/2688",
"involution 3188/2690",
"involution 3188/2730",
"involution 3188/2731",
"involution 3188/2732",
"involution 3188/2733",
"involution 3188/2734",
"involution 3188/2735",
"involution 3188/2736",
"involution 3188/2737",
"involution 3188/2738",
"involution 3188/2739",
"involution 3188/2740",
"involution 3188/2746",
"involution 3188/2748",
"involution 3188/2750",
"involution 3188/2755",
"involution 3188/2756",
"involution 3188/2757",
"involution 3188/2758",
"involution 3188/2759",
"involution 3188/2760",
"involution 3188/2795",
"involution 3188/2796",
"involution 3188/2797",
"involution 3188/2798",
"involution 3188/2799",
"involution 3188/2800",
"involution 3188/2815",
"involution 3188/2816",
"involution 3188/2817",
"involution 3188/2818",
"involution 3188/2819",
"involution 3188/2820",
"involution 3188/2841",
"involution 3188/2843",
"involution 3188/2845",
"involution 3188/2885",
"involution 3188/2886",
"involution 3188/2887",
"involution 3188/2888",
"involution 3188/2889",
"involution 3188/2890",
"involution 3188/2891",
"involution 3188/2892",
"involution 3188/2893",
"involution 3188/2894",
"involution 3188/2895",
"involution 3188/2901",
"involution 3188/2903",
"involution 3188/2905",
"involution 3188/2945",
"involution 3188/2946",
"involution 3188/2947",
"involution 3188/2948",
"involution 3188/2949",
"involution 3188/2950",
"involution 3188/2951",
"involution 3188/2952",
"involution 3188/2953",
"involution 3188/2954",
"involution 3188/2955",
"involution 3188/2971",
"involution 3188/2973",
"involution 3188/2975",
"involution 3188/2990",
"involution 3188/2991",
"involution 3188/2992",
"involution 3188/2993",
"involution 3188/2994",
"involution 3188/2995",
"involution 3188/3020",
"involution 3188/3021",
"involution 3188/3022",
"involution 3188/3023",
"involution 3188/3024",
"involution 3188/3025",
"involution 3188/3031",
"involution 3188/3033",
"involution 3188/3035",
"involution 3188/3050",
"involution 3188/3051",
"involution 3188/3052",
"involution 3188/3053",
"involution 3188/3054",
"involution 3188/3055",
"involution 3188/3056",
"involution 3188/3058",
"involution 3188/3060",
"involution 3188/3080",
"involution 3188/3081",
"involution 3188/3082",
"involution 3188/3083",
"involution 3188/3084",
"involution 3188/3085",
"involution 3188/3105",
"involution 3188/3106",
"involution 3188/3107",
"involution 3188/3108",
"involution 3188/3109",
"involution 3188/3110",
"involution 3188/3116",
"involution 3188/3118",
"involution 3188/3120",
"involution 3188/3121",
"involution 3188/3122",
"involution 3188/3123",
"involution 3188/3124",
"involution 3188/3125",
"involution 3188/3165",
"involution 3188/3166",
"involution 3188/3167",
"involution 3188/3168",
"involution 3188/3169",
"involution 3188/3170",
"involution 3188/3180",
"involution 3188/3181",
"involution 3188/3182",
"involution 3188/3183",
"involution 3188/3184",
"involution 3188/3185",
"involution 3188/3186",
"involution 3188/3188",
"involution 3188/3190",
"involution 3188/3205",
"involution 3188/3206",
"involution 3188/3207",
"involution 3188/3208",
"involution 3188/3209",
"involution 3188/3210",
"involution 3188/3235",
"involution 3188/3236",
"involution 3188/3237",
"involution 3188/3238",
"involution 3188/3239",
"involution 3188/3240",
"involution 3188/3246",
"involution 3188/3248",
"involution 3188/3250",
"involution 3188/3265",
"involution 3188/3266",
"involution 3188/3267",
"involution 3188/3268",
"involution 3188/3269",
"involution 3188/3270",
"involution 3188/3295",
"involution 3188/3296",
"involution 3188/3297",
"involution 3188/3298",
"involution 3188/3299",
"involution 3188/3300",
"involution 3188/3335",
"involution 3188/3336",
"involution 3188/3337",
"involution 3188/3338",
"involution 3188/3339",
"involution 3188/3340",
"involution 3188/3395",
"involution 3188/3396",
"involution 3188/3397",
"involution 3188/3398",
"involution 3188/3399",
"involution 3188/3400",
"involution 3188/3490",
"involution 3188/3491",
"involution 3188/3492",
"involution 3188/3493",
"involution 3188/3494",
"involution 3188/3495",
"involution 3188/3550",
"involution 3188/3551",
"involution 3188/3552",
"involution 3188/3553",
"involution 3188/3554",
"involution 3188/3555",
"involution 3188/3620",
"involution 3188/3621",
"involution 3188/3622",
"involution 3188/3623",
"involution 3188/3624",
"involution 3188/3625",
"involution 3188/3680",
"involution 3188/3681",
"involution 3188/3682",
"involution 3188/3683",
"involution 3188/3684",
"involution 3188/3685",
"involution 3188/3705",
"involution 3188/3706",
"involution 3188/3707",
"involution 3188/3708",
"involution 3188/3709",
"involution 3188/3710",
"involution 3188/3765",
"involution 3188/3766",
"involution 3188/3767",
"involution 3188/3768",
"involution 3188/3769",
"involution 3188/3770",
"involution 3188/3835",
"involution 3188/3836",
"involution 3188/3837",
"involution 3188/3838",
"involution 3188/3839",
"involution 3188/3840",
"involution 3188/3895",
"involution 3188/3896",
"involution 3188/3897",
"involution 3188/3898",
"involution 3188/3899",
"involution 3188/3900",
"maximal source domain is closed under its own involution 3188",
"involution 3190/1741",
"involution 3190/1743",
"involution 3190/1745",
"involution 3190/1801",
"involution 3190/1803",
"involution 3190/1805",
"involution 3190/1871",
"involution 3190/1873",
"involution 3190/1875",
"involution 3190/1891",
"involution 3190/1893",
"involution 3190/1895",
"involution 3190/1931",
"involution 3190/1933",
"involution 3190/1935",
"involution 3190/1951",
"involution 3190/1953",
"involution 3190/1955",
"involution 3190/1956",
"involution 3190/1958",
"involution 3190/1960",
"involution 3190/2016",
"involution 3190/2018",
"involution 3190/2020",
"involution 3190/2021",
"involution 3190/2023",
"involution 3190/2025",
"involution 3190/2081",
"involution 3190/2083",
"involution 3190/2085",
"involution 3190/2086",
"involution 3190/2088",
"involution 3190/2090",
"involution 3190/2106",
"involution 3190/2108",
"involution 3190/2110",
"involution 3190/2146",
"involution 3190/2148",
"involution 3190/2150",
"involution 3190/2166",
"involution 3190/2168",
"involution 3190/2170",
"involution 3190/2236",
"involution 3190/2238",
"involution 3190/2240",
"involution 3190/2241",
"involution 3190/2242",
"involution 3190/2243",
"involution 3190/2244",
"involution 3190/2245",
"involution 3190/2296",
"involution 3190/2298",
"involution 3190/2300",
"involution 3190/2301",
"involution 3190/2302",
"involution 3190/2303",
"involution 3190/2304",
"involution 3190/2305",
"involution 3190/2341",
"involution 3190/2343",
"involution 3190/2345",
"involution 3190/2370",
"involution 3190/2371",
"involution 3190/2372",
"involution 3190/2373",
"involution 3190/2374",
"involution 3190/2375",
"involution 3190/2390",
"involution 3190/2391",
"involution 3190/2392",
"involution 3190/2393",
"involution 3190/2394",
"involution 3190/2395",
"involution 3190/2401",
"involution 3190/2403",
"involution 3190/2405",
"involution 3190/2430",
"involution 3190/2431",
"involution 3190/2432",
"involution 3190/2433",
"involution 3190/2434",
"involution 3190/2435",
"involution 3190/2450",
"involution 3190/2451",
"involution 3190/2452",
"involution 3190/2453",
"involution 3190/2454",
"involution 3190/2455",
"involution 3190/2456",
"involution 3190/2457",
"involution 3190/2458",
"involution 3190/2459",
"involution 3190/2460",
"involution 3190/2471",
"involution 3190/2473",
"involution 3190/2475",
"involution 3190/2515",
"involution 3190/2516",
"involution 3190/2517",
"involution 3190/2518",
"involution 3190/2519",
"involution 3190/2520",
"involution 3190/2521",
"involution 3190/2522",
"involution 3190/2523",
"involution 3190/2524",
"involution 3190/2525",
"involution 3190/2531",
"involution 3190/2533",
"involution 3190/2535",
"involution 3190/2540",
"involution 3190/2541",
"involution 3190/2542",
"involution 3190/2543",
"involution 3190/2544",
"involution 3190/2545",
"involution 3190/2556",
"involution 3190/2558",
"involution 3190/2560",
"involution 3190/2580",
"involution 3190/2581",
"involution 3190/2582",
"involution 3190/2583",
"involution 3190/2584",
"involution 3190/2585",
"involution 3190/2586",
"involution 3190/2587",
"involution 3190/2588",
"involution 3190/2589",
"involution 3190/2590",
"involution 3190/2600",
"involution 3190/2601",
"involution 3190/2602",
"involution 3190/2603",
"involution 3190/2604",
"involution 3190/2605",
"involution 3190/2606",
"involution 3190/2607",
"involution 3190/2608",
"involution 3190/2609",
"involution 3190/2610",
"involution 3190/2616",
"involution 3190/2618",
"involution 3190/2620",
"involution 3190/2645",
"involution 3190/2646",
"involution 3190/2647",
"involution 3190/2648",
"involution 3190/2649",
"involution 3190/2650",
"involution 3190/2665",
"involution 3190/2666",
"involution 3190/2667",
"involution 3190/2668",
"involution 3190/2669",
"involution 3190/2670",
"involution 3190/2671",
"involution 3190/2672",
"involution 3190/2673",
"involution 3190/2674",
"involution 3190/2675",
"involution 3190/2686",
"involution 3190/2688",
"involution 3190/2690",
"involution 3190/2730",
"involution 3190/2731",
"involution 3190/2732",
"involution 3190/2733",
"involution 3190/2734",
"involution 3190/2735",
"involution 3190/2736",
"involution 3190/2737",
"involution 3190/2738",
"involution 3190/2739",
"involution 3190/2740",
"involution 3190/2746",
"involution 3190/2748",
"involution 3190/2750",
"involution 3190/2755",
"involution 3190/2756",
"involution 3190/2757",
"involution 3190/2758",
"involution 3190/2759",
"involution 3190/2760",
"involution 3190/2795",
"involution 3190/2796",
"involution 3190/2797",
"involution 3190/2798",
"involution 3190/2799",
"involution 3190/2800",
"involution 3190/2815",
"involution 3190/2816",
"involution 3190/2817",
"involution 3190/2818",
"involution 3190/2819",
"involution 3190/2820",
"involution 3190/2841",
"involution 3190/2843",
"involution 3190/2845",
"involution 3190/2885",
"involution 3190/2886",
"involution 3190/2887",
"involution 3190/2888",
"involution 3190/2889",
"involution 3190/2890",
"involution 3190/2891",
"involution 3190/2892",
"involution 3190/2893",
"involution 3190/2894",
"involution 3190/2895",
"involution 3190/2901",
"involution 3190/2903",
"involution 3190/2905",
"involution 3190/2945",
"involution 3190/2946",
"involution 3190/2947",
"involution 3190/2948",
"involution 3190/2949",
"involution 3190/2950",
"involution 3190/2951",
"involution 3190/2952",
"involution 3190/2953",
"involution 3190/2954",
"involution 3190/2955",
"involution 3190/2971",
"involution 3190/2973",
"involution 3190/2975",
"involution 3190/2990",
"involution 3190/2991",
"involution 3190/2992",
"involution 3190/2993",
"involution 3190/2994",
"involution 3190/2995",
"involution 3190/3020",
"involution 3190/3021",
"involution 3190/3022",
"involution 3190/3023",
"involution 3190/3024",
"involution 3190/3025",
"involution 3190/3031",
"involution 3190/3033",
"involution 3190/3035",
"involution 3190/3050",
"involution 3190/3051",
"involution 3190/3052",
"involution 3190/3053",
"involution 3190/3054",
"involution 3190/3055",
"involution 3190/3056",
"involution 3190/3058",
"involution 3190/3060",
"involution 3190/3080",
"involution 3190/3081",
"involution 3190/3082",
"involution 3190/3083",
"involution 3190/3084",
"involution 3190/3085",
"involution 3190/3105",
"involution 3190/3106",
"involution 3190/3107",
"involution 3190/3108",
"involution 3190/3109",
"involution 3190/3110",
"involution 3190/3116",
"involution 3190/3118",
"involution 3190/3120",
"involution 3190/3121",
"involution 3190/3122",
"involution 3190/3123",
"involution 3190/3124",
"involution 3190/3125",
"involution 3190/3165",
"involution 3190/3166",
"involution 3190/3167",
"involution 3190/3168",
"involution 3190/3169",
"involution 3190/3170",
"involution 3190/3180",
"involution 3190/3181",
"involution 3190/3182",
"involution 3190/3183",
"involution 3190/3184",
"involution 3190/3185",
"involution 3190/3186",
"involution 3190/3188",
"involution 3190/3190",
"involution 3190/3205",
"involution 3190/3206",
"involution 3190/3207",
"involution 3190/3208",
"involution 3190/3209",
"involution 3190/3210",
"involution 3190/3235",
"involution 3190/3236",
"involution 3190/3237",
"involution 3190/3238",
"involution 3190/3239",
"involution 3190/3240",
"involution 3190/3246",
"involution 3190/3248",
"involution 3190/3250",
"involution 3190/3265",
"involution 3190/3266",
"involution 3190/3267",
"involution 3190/3268",
"involution 3190/3269",
"involution 3190/3270",
"involution 3190/3295",
"involution 3190/3296",
"involution 3190/3297",
"involution 3190/3298",
"involution 3190/3299",
"involution 3190/3300",
"involution 3190/3335",
"involution 3190/3336",
"involution 3190/3337",
"involution 3190/3338",
"involution 3190/3339",
"involution 3190/3340",
"involution 3190/3395",
"involution 3190/3396",
"involution 3190/3397",
"involution 3190/3398",
"involution 3190/3399",
"involution 3190/3400",
"involution 3190/3490",
"involution 3190/3491",
"involution 3190/3492",
"involution 3190/3493",
"involution 3190/3494",
"involution 3190/3495",
"involution 3190/3550",
"involution 3190/3551",
"involution 3190/3552",
"involution 3190/3553",
"involution 3190/3554",
"involution 3190/3555",
"involution 3190/3620",
"involution 3190/3621",
"involution 3190/3622",
"involution 3190/3623",
"involution 3190/3624",
"involution 3190/3625",
"involution 3190/3680",
"involution 3190/3681",
"involution 3190/3682",
"involution 3190/3683",
"involution 3190/3684",
"involution 3190/3685",
"involution 3190/3705",
"involution 3190/3706",
"involution 3190/3707",
"involution 3190/3708",
"involution 3190/3709",
"involution 3190/3710",
"involution 3190/3765",
"involution 3190/3766",
"involution 3190/3767",
"involution 3190/3768",
"involution 3190/3769",
"involution 3190/3770",
"involution 3190/3835",
"involution 3190/3836",
"involution 3190/3837",
"involution 3190/3838",
"involution 3190/3839",
"involution 3190/3840",
"involution 3190/3895",
"involution 3190/3896",
"involution 3190/3897",
"involution 3190/3898",
"involution 3190/3899",
"involution 3190/3900",
"maximal source domain is closed under its own involution 3190",
"involution 3248/1741",
"involution 3248/1743",
"involution 3248/1745",
"involution 3248/1801",
"involution 3248/1803",
"involution 3248/1805",
"involution 3248/1871",
"involution 3248/1873",
"involution 3248/1875",
"involution 3248/1891",
"involution 3248/1893",
"involution 3248/1895",
"involution 3248/1931",
"involution 3248/1933",
"involution 3248/1935",
"involution 3248/1951",
"involution 3248/1953",
"involution 3248/1955",
"involution 3248/1956",
"involution 3248/1958",
"involution 3248/1960",
"involution 3248/2016",
"involution 3248/2018",
"involution 3248/2020",
"involution 3248/2021",
"involution 3248/2023",
"involution 3248/2025",
"involution 3248/2081",
"involution 3248/2083",
"involution 3248/2085",
"involution 3248/2086",
"involution 3248/2088",
"involution 3248/2090",
"involution 3248/2106",
"involution 3248/2108",
"involution 3248/2110",
"involution 3248/2146",
"involution 3248/2148",
"involution 3248/2150",
"involution 3248/2166",
"involution 3248/2168",
"involution 3248/2170",
"involution 3248/2236",
"involution 3248/2238",
"involution 3248/2240",
"involution 3248/2241",
"involution 3248/2242",
"involution 3248/2243",
"involution 3248/2244",
"involution 3248/2245",
"involution 3248/2296",
"involution 3248/2298",
"involution 3248/2300",
"involution 3248/2301",
"involution 3248/2302",
"involution 3248/2303",
"involution 3248/2304",
"involution 3248/2305",
"involution 3248/2341",
"involution 3248/2343",
"involution 3248/2345",
"involution 3248/2370",
"involution 3248/2371",
"involution 3248/2372",
"involution 3248/2373",
"involution 3248/2374",
"involution 3248/2375",
"involution 3248/2390",
"involution 3248/2391",
"involution 3248/2392",
"involution 3248/2393",
"involution 3248/2394",
"involution 3248/2395",
"involution 3248/2401",
"involution 3248/2403",
"involution 3248/2405",
"involution 3248/2430",
"involution 3248/2431",
"involution 3248/2432",
"involution 3248/2433",
"involution 3248/2434",
"involution 3248/2435",
"involution 3248/2450",
"involution 3248/2451",
"involution 3248/2452",
"involution 3248/2453",
"involution 3248/2454",
"involution 3248/2455",
"involution 3248/2456",
"involution 3248/2457",
"involution 3248/2458",
"involution 3248/2459",
"involution 3248/2460",
"involution 3248/2471",
"involution 3248/2473",
"involution 3248/2475",
"involution 3248/2515",
"involution 3248/2516",
"involution 3248/2517",
"involution 3248/2518",
"involution 3248/2519",
"involution 3248/2520",
"involution 3248/2521",
"involution 3248/2522",
"involution 3248/2523",
"involution 3248/2524",
"involution 3248/2525",
"involution 3248/2531",
"involution 3248/2533",
"involution 3248/2535",
"involution 3248/2540",
"involution 3248/2541",
"involution 3248/2542",
"involution 3248/2543",
"involution 3248/2544",
"involution 3248/2545",
"involution 3248/2556",
"involution 3248/2558",
"involution 3248/2560",
"involution 3248/2580",
"involution 3248/2581",
"involution 3248/2582",
"involution 3248/2583",
"involution 3248/2584",
"involution 3248/2585",
"involution 3248/2586",
"involution 3248/2587",
"involution 3248/2588",
"involution 3248/2589",
"involution 3248/2590",
"involution 3248/2600",
"involution 3248/2601",
"involution 3248/2602",
"involution 3248/2603",
"involution 3248/2604",
"involution 3248/2605",
"involution 3248/2606",
"involution 3248/2607",
"involution 3248/2608",
"involution 3248/2609",
"involution 3248/2610",
"involution 3248/2616",
"involution 3248/2618",
"involution 3248/2620",
"involution 3248/2645",
"involution 3248/2646",
"involution 3248/2647",
"involution 3248/2648",
"involution 3248/2649",
"involution 3248/2650",
"involution 3248/2665",
"involution 3248/2666",
"involution 3248/2667",
"involution 3248/2668",
"involution 3248/2669",
"involution 3248/2670",
"involution 3248/2671",
"involution 3248/2672",
"involution 3248/2673",
"involution 3248/2674",
"involution 3248/2675",
"involution 3248/2686",
"involution 3248/2688",
"involution 3248/2690",
"involution 3248/2730",
"involution 3248/2731",
"involution 3248/2732",
"involution 3248/2733",
"involution 3248/2734",
"involution 3248/2735",
"involution 3248/2736",
"involution 3248/2737",
"involution 3248/2738",
"involution 3248/2739",
"involution 3248/2740",
"involution 3248/2746",
"involution 3248/2748",
"involution 3248/2750",
"involution 3248/2755",
"involution 3248/2756",
"involution 3248/2757",
"involution 3248/2758",
"involution 3248/2759",
"involution 3248/2760",
"involution 3248/2795",
"involution 3248/2796",
"involution 3248/2797",
"involution 3248/2798",
"involution 3248/2799",
"involution 3248/2800",
"involution 3248/2815",
"involution 3248/2816",
"involution 3248/2817",
"involution 3248/2818",
"involution 3248/2819",
"involution 3248/2820",
"involution 3248/2841",
"involution 3248/2843",
"involution 3248/2845",
"involution 3248/2885",
"involution 3248/2886",
"involution 3248/2887",
"involution 3248/2888",
"involution 3248/2889",
"involution 3248/2890",
"involution 3248/2891",
"involution 3248/2892",
"involution 3248/2893",
"involution 3248/2894",
"involution 3248/2895",
"involution 3248/2901",
"involution 3248/2903",
"involution 3248/2905",
"involution 3248/2945",
"involution 3248/2946",
"involution 3248/2947",
"involution 3248/2948",
"involution 3248/2949",
"involution 3248/2950",
"involution 3248/2951",
"involution 3248/2952",
"involution 3248/2953",
"involution 3248/2954",
"involution 3248/2955",
"involution 3248/2971",
"involution 3248/2973",
"involution 3248/2975",
"involution 3248/2990",
"involution 3248/2991",
"involution 3248/2992",
"involution 3248/2993",
"involution 3248/2994",
"involution 3248/2995",
"involution 3248/3020",
"involution 3248/3021",
"involution 3248/3022",
"involution 3248/3023",
"involution 3248/3024",
"involution 3248/3025",
"involution 3248/3031",
"involution 3248/3033",
"involution 3248/3035",
"involution 3248/3050",
"involution 3248/3051",
"involution 3248/3052",
"involution 3248/3053",
"involution 3248/3054",
"involution 3248/3055",
"involution 3248/3056",
"involution 3248/3058",
"involution 3248/3060",
"involution 3248/3080",
"involution 3248/3081",
"involution 3248/3082",
"involution 3248/3083",
"involution 3248/3084",
"involution 3248/3085",
"involution 3248/3105",
"involution 3248/3106",
"involution 3248/3107",
"involution 3248/3108",
"involution 3248/3109",
"involution 3248/3110",
"involution 3248/3116",
"involution 3248/3118",
"involution 3248/3120",
"involution 3248/3121",
"involution 3248/3122",
"involution 3248/3123",
"involution 3248/3124",
"involution 3248/3125",
"involution 3248/3165",
"involution 3248/3166",
"involution 3248/3167",
"involution 3248/3168",
"involution 3248/3169",
"involution 3248/3170",
"involution 3248/3180",
"involution 3248/3181",
"involution 3248/3182",
"involution 3248/3183",
"involution 3248/3184",
"involution 3248/3185",
"involution 3248/3186",
"involution 3248/3188",
"involution 3248/3190",
"involution 3248/3205",
"involution 3248/3206",
"involution 3248/3207",
"involution 3248/3208",
"involution 3248/3209",
"involution 3248/3210",
"involution 3248/3235",
"involution 3248/3236",
"involution 3248/3237",
"involution 3248/3238",
"involution 3248/3239",
"involution 3248/3240",
"involution 3248/3246",
"involution 3248/3248",
"involution 3248/3250",
"involution 3248/3265",
"involution 3248/3266",
"involution 3248/3267",
"involution 3248/3268",
"involution 3248/3269",
"involution 3248/3270",
"involution 3248/3295",
"involution 3248/3296",
"involution 3248/3297",
"involution 3248/3298",
"involution 3248/3299",
"involution 3248/3300",
"involution 3248/3335",
"involution 3248/3336",
"involution 3248/3337",
"involution 3248/3338",
"involution 3248/3339",
"involution 3248/3340",
"involution 3248/3395",
"involution 3248/3396",
"involution 3248/3397",
"involution 3248/3398",
"involution 3248/3399",
"involution 3248/3400",
"involution 3248/3490",
"involution 3248/3491",
"involution 3248/3492",
"involution 3248/3493",
"involution 3248/3494",
"involution 3248/3495",
"involution 3248/3550",
"involution 3248/3551",
"involution 3248/3552",
"involution 3248/3553",
"involution 3248/3554",
"involution 3248/3555",
"involution 3248/3620",
"involution 3248/3621",
"involution 3248/3622",
"involution 3248/3623",
"involution 3248/3624",
"involution 3248/3625",
"involution 3248/3680",
"involution 3248/3681",
"involution 3248/3682",
"involution 3248/3683",
"involution 3248/3684",
"involution 3248/3685",
"involution 3248/3705",
"involution 3248/3706",
"involution 3248/3707",
"involution 3248/3708",
"involution 3248/3709",
"involution 3248/3710",
"involution 3248/3765",
"involution 3248/3766",
"involution 3248/3767",
"involution 3248/3768",
"involution 3248/3769",
"involution 3248/3770",
"involution 3248/3835",
"involution 3248/3836",
"involution 3248/3837",
"involution 3248/3838",
"involution 3248/3839",
"involution 3248/3840",
"involution 3248/3895",
"involution 3248/3896",
"involution 3248/3897",
"involution 3248/3898",
"involution 3248/3899",
"involution 3248/3900",
"maximal source domain is closed under its own involution 3248",
"involution 3250/1741",
"involution 3250/1743",
"involution 3250/1745",
"involution 3250/1801",
"involution 3250/1803",
"involution 3250/1805",
"involution 3250/1871",
"involution 3250/1873",
"involution 3250/1875",
"involution 3250/1891",
"involution 3250/1893",
"involution 3250/1895",
"involution 3250/1931",
"involution 3250/1933",
"involution 3250/1935",
"involution 3250/1951",
"involution 3250/1953",
"involution 3250/1955",
"involution 3250/1956",
"involution 3250/1958",
"involution 3250/1960",
"involution 3250/2016",
"involution 3250/2018",
"involution 3250/2020",
"involution 3250/2021",
"involution 3250/2023",
"involution 3250/2025",
"involution 3250/2081",
"involution 3250/2083",
"involution 3250/2085",
"involution 3250/2086",
"involution 3250/2088",
"involution 3250/2090",
"involution 3250/2106",
"involution 3250/2108",
"involution 3250/2110",
"involution 3250/2146",
"involution 3250/2148",
"involution 3250/2150",
"involution 3250/2166",
"involution 3250/2168",
"involution 3250/2170",
"involution 3250/2236",
"involution 3250/2238",
"involution 3250/2240",
"involution 3250/2241",
"involution 3250/2242",
"involution 3250/2243",
"involution 3250/2244",
"involution 3250/2245",
"involution 3250/2296",
"involution 3250/2298",
"involution 3250/2300",
"involution 3250/2301",
"involution 3250/2302",
"involution 3250/2303",
"involution 3250/2304",
"involution 3250/2305",
"involution 3250/2341",
"involution 3250/2343",
"involution 3250/2345",
"involution 3250/2370",
"involution 3250/2371",
"involution 3250/2372",
"involution 3250/2373",
"involution 3250/2374",
"involution 3250/2375",
"involution 3250/2390",
"involution 3250/2391",
"involution 3250/2392",
"involution 3250/2393",
"involution 3250/2394",
"involution 3250/2395",
"involution 3250/2401",
"involution 3250/2403",
"involution 3250/2405",
"involution 3250/2430",
"involution 3250/2431",
"involution 3250/2432",
"involution 3250/2433",
"involution 3250/2434",
"involution 3250/2435",
"involution 3250/2450",
"involution 3250/2451",
"involution 3250/2452",
"involution 3250/2453",
"involution 3250/2454",
"involution 3250/2455",
"involution 3250/2456",
"involution 3250/2457",
"involution 3250/2458",
"involution 3250/2459",
"involution 3250/2460",
"involution 3250/2471",
"involution 3250/2473",
"involution 3250/2475",
"involution 3250/2515",
"involution 3250/2516",
"involution 3250/2517",
"involution 3250/2518",
"involution 3250/2519",
"involution 3250/2520",
"involution 3250/2521",
"involution 3250/2522",
"involution 3250/2523",
"involution 3250/2524",
"involution 3250/2525",
"involution 3250/2531",
"involution 3250/2533",
"involution 3250/2535",
"involution 3250/2540",
"involution 3250/2541",
"involution 3250/2542",
"involution 3250/2543",
"involution 3250/2544",
"involution 3250/2545",
"involution 3250/2556",
"involution 3250/2558",
"involution 3250/2560",
"involution 3250/2580",
"involution 3250/2581",
"involution 3250/2582",
"involution 3250/2583",
"involution 3250/2584",
"involution 3250/2585",
"involution 3250/2586",
"involution 3250/2587",
"involution 3250/2588",
"involution 3250/2589",
"involution 3250/2590",
"involution 3250/2600",
"involution 3250/2601",
"involution 3250/2602",
"involution 3250/2603",
"involution 3250/2604",
"involution 3250/2605",
"involution 3250/2606",
"involution 3250/2607",
"involution 3250/2608",
"involution 3250/2609",
"involution 3250/2610",
"involution 3250/2616",
"involution 3250/2618",
"involution 3250/2620",
"involution 3250/2645",
"involution 3250/2646",
"involution 3250/2647",
"involution 3250/2648",
"involution 3250/2649",
"involution 3250/2650",
"involution 3250/2665",
"involution 3250/2666",
"involution 3250/2667",
"involution 3250/2668",
"involution 3250/2669",
"involution 3250/2670",
"involution 3250/2671",
"involution 3250/2672",
"involution 3250/2673",
"involution 3250/2674",
"involution 3250/2675",
"involution 3250/2686",
"involution 3250/2688",
"involution 3250/2690",
"involution 3250/2730",
"involution 3250/2731",
"involution 3250/2732",
"involution 3250/2733",
"involution 3250/2734",
"involution 3250/2735",
"involution 3250/2736",
"involution 3250/2737",
"involution 3250/2738",
"involution 3250/2739",
"involution 3250/2740",
"involution 3250/2746",
"involution 3250/2748",
"involution 3250/2750",
"involution 3250/2755",
"involution 3250/2756",
"involution 3250/2757",
"involution 3250/2758",
"involution 3250/2759",
"involution 3250/2760",
"involution 3250/2795",
"involution 3250/2796",
"involution 3250/2797",
"involution 3250/2798",
"involution 3250/2799",
"involution 3250/2800",
"involution 3250/2815",
"involution 3250/2816",
"involution 3250/2817",
"involution 3250/2818",
"involution 3250/2819",
"involution 3250/2820",
"involution 3250/2841",
"involution 3250/2843",
"involution 3250/2845",
"involution 3250/2885",
"involution 3250/2886",
"involution 3250/2887",
"involution 3250/2888",
"involution 3250/2889",
"involution 3250/2890",
"involution 3250/2891",
"involution 3250/2892",
"involution 3250/2893",
"involution 3250/2894",
"involution 3250/2895",
"involution 3250/2901",
"involution 3250/2903",
"involution 3250/2905",
"involution 3250/2945",
"involution 3250/2946",
"involution 3250/2947",
"involution 3250/2948",
"involution 3250/2949",
"involution 3250/2950",
"involution 3250/2951",
"involution 3250/2952",
"involution 3250/2953",
"involution 3250/2954",
"involution 3250/2955",
"involution 3250/2971",
"involution 3250/2973",
"involution 3250/2975",
"involution 3250/2990",
"involution 3250/2991",
"involution 3250/2992",
"involution 3250/2993",
"involution 3250/2994",
"involution 3250/2995",
"involution 3250/3020",
"involution 3250/3021",
"involution 3250/3022",
"involution 3250/3023",
"involution 3250/3024",
"involution 3250/3025",
"involution 3250/3031",
"involution 3250/3033",
"involution 3250/3035",
"involution 3250/3050",
"involution 3250/3051",
"involution 3250/3052",
"involution 3250/3053",
"involution 3250/3054",
"involution 3250/3055",
"involution 3250/3056",
"involution 3250/3058",
"involution 3250/3060",
"involution 3250/3080",
"involution 3250/3081",
"involution 3250/3082",
"involution 3250/3083",
"involution 3250/3084",
"involution 3250/3085",
"involution 3250/3105",
"involution 3250/3106",
"involution 3250/3107",
"involution 3250/3108",
"involution 3250/3109",
"involution 3250/3110",
"involution 3250/3116",
"involution 3250/3118",
"involution 3250/3120",
"involution 3250/3121",
"involution 3250/3122",
"involution 3250/3123",
"involution 3250/3124",
"involution 3250/3125",
"involution 3250/3165",
"involution 3250/3166",
"involution 3250/3167",
"involution 3250/3168",
"involution 3250/3169",
"involution 3250/3170",
"involution 3250/3180",
"involution 3250/3181",
"involution 3250/3182",
"involution 3250/3183",
"involution 3250/3184",
"involution 3250/3185",
"involution 3250/3186",
"involution 3250/3188",
"involution 3250/3190",
"involution 3250/3205",
"involution 3250/3206",
"involution 3250/3207",
"involution 3250/3208",
"involution 3250/3209",
"involution 3250/3210",
"involution 3250/3235",
"involution 3250/3236",
"involution 3250/3237",
"involution 3250/3238",
"involution 3250/3239",
"involution 3250/3240",
"involution 3250/3246",
"involution 3250/3248",
"involution 3250/3250",
"involution 3250/3265",
"involution 3250/3266",
"involution 3250/3267",
"involution 3250/3268",
"involution 3250/3269",
"involution 3250/3270",
"involution 3250/3295",
"involution 3250/3296",
"involution 3250/3297",
"involution 3250/3298",
"involution 3250/3299",
"involution 3250/3300",
"involution 3250/3335",
"involution 3250/3336",
"involution 3250/3337",
"involution 3250/3338",
"involution 3250/3339",
"involution 3250/3340",
"involution 3250/3395",
"involution 3250/3396",
"involution 3250/3397",
"involution 3250/3398",
"involution 3250/3399",
"involution 3250/3400",
"involution 3250/3490",
"involution 3250/3491",
"involution 3250/3492",
"involution 3250/3493",
"involution 3250/3494",
"involution 3250/3495",
"involution 3250/3550",
"involution 3250/3551",
"involution 3250/3552",
"involution 3250/3553",
"involution 3250/3554",
"involution 3250/3555",
"involution 3250/3620",
"involution 3250/3621",
"involution 3250/3622",
"involution 3250/3623",
"involution 3250/3624",
"involution 3250/3625",
"involution 3250/3680",
"involution 3250/3681",
"involution 3250/3682",
"involution 3250/3683",
"involution 3250/3684",
"involution 3250/3685",
"involution 3250/3705",
"involution 3250/3706",
"involution 3250/3707",
"involution 3250/3708",
"involution 3250/3709",
"involution 3250/3710",
"involution 3250/3765",
"involution 3250/3766",
"involution 3250/3767",
"involution 3250/3768",
"involution 3250/3769",
"involution 3250/3770",
"involution 3250/3835",
"involution 3250/3836",
"involution 3250/3837",
"involution 3250/3838",
"involution 3250/3839",
"involution 3250/3840",
"involution 3250/3895",
"involution 3250/3896",
"involution 3250/3897",
"involution 3250/3898",
"involution 3250/3899",
"involution 3250/3900",
"maximal source domain is closed under its own involution 3250",
"complete1492 trial menu",
"exact reflection source counts",
"106 coordinate orbits and258 label pairs",
"512 directed label pairings",
"known pivot and loop pairs retained"
],
"source_checks_passed": 18,
"source_checks": [
"PREVIOUS_CERTIFICATE.json",
"PREVIOUS_DATA.json",
"PREVIOUS_RESULTS.json",
"PREVIOUS_CHECKPOINT.md",
"PREVIOUS_NEXT_STEP.json",
"File_18.md",
"File_09.md",
"File_02.md",
"File_46.md",
"C286_DATA.json",
"C434_DATA.json",
"C434_CERTIFICATE.json",
"C434_CHECKPOINT.md",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json",
"C434 data certificate"
],
"canonical_or_graph_edits": false,
"new_independent_agent_review": false
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 8f5a1cde2995a7dd656ecc31c112a2a13ebf02bbdde7c5d8ad637b1d64bea7fe
C01–C479/packets/C438/evidence/RESULTS.json