{ "step": "C349", "fields": [ { "i": 3, "records": { "N": { "tradition": "SP", "gear": 1, "role": "Noah birth", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 3706 }, "R": { "tradition": "MT", "gear": 2, "role": "Flood start", "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2648, "base_native_Cainan": 0, "base_center": 2458 }, "H": { "tradition": "MT", "gear": 1, "role": "Shem birth", "rail": null, "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2556 }, "F": { "tradition": "MT", "gear": 1, "role": "Flood start", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2456, "base_native_Cainan": 0, "base_center": 2456 }, "M": { "tradition": "MT", "gear": 1, "role": "Noah birth", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 3246 }, "D": { "tradition": "SP", "gear": 1, "role": "Noah death", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2756 }, "S": { "tradition": "SP", "gear": 1, "role": "Shem birth", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 3206 }, "U": { "tradition": "MT", "gear": 2, "role": "Noah birth", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 3248 }, "V": { "tradition": "MT", "gear": 1, "role": "Flood start", "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2646, "base_native_Cainan": 0, "base_center": 2456 }, "B": { "tradition": "MT", "gear": 1, "role": "Noah death", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2296 }, "C": { "tradition": "MT", "gear": 2, "role": "Noah death", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2298 } }, "maps": { "E_N": { "N": "N", "R": "H", "H": "F", "M": "S" }, "E_N_inverse": { "N": "N", "H": "R", "F": "H", "S": "M" }, "J_R": { "R": "R", "M": "U" }, "J_R_inverse": { "R": "R", "U": "M" }, "J_M": { "R": "V", "M": "M" }, "J_M_inverse": { "M": "M", "V": "R" } }, "trials": [ { "map": "E_N", "input": "N", "diagnostic_output": "3706", "matched_source_labels": [ "N" ] }, { "map": "E_N", "input": "R", "diagnostic_output": "2556", "matched_source_labels": [ "H" ] }, { "map": "E_N", "input": "H", "diagnostic_output": "2456", "matched_source_labels": [ "F" ] }, { "map": "E_N", "input": "F", "diagnostic_output": "53988/23", "matched_source_labels": [] }, { "map": "E_N", "input": "M", "diagnostic_output": "3206", "matched_source_labels": [ "S" ] }, { "map": "E_N", "input": "D", "diagnostic_output": "61488/23", "matched_source_labels": [] }, { "map": "E_N", "input": "S", "diagnostic_output": "72738/23", "matched_source_labels": [] }, { "map": "E_N", "input": "U", "diagnostic_output": "73788/23", "matched_source_labels": [] }, { "map": "E_N", "input": "V", "diagnostic_output": "58738/23", "matched_source_labels": [] }, { "map": "E_N", "input": "B", "diagnostic_output": "49988/23", "matched_source_labels": [] }, { "map": "E_N", "input": "C", "diagnostic_output": "50038/23", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "N", "diagnostic_output": "3706", "matched_source_labels": [ "N" ] }, { "map": "E_N_inverse", "input": "R", "diagnostic_output": "68316/25", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "H", "diagnostic_output": "2648", "matched_source_labels": [ "R" ] }, { "map": "E_N_inverse", "input": "F", "diagnostic_output": "2556", "matched_source_labels": [ "H" ] }, { "map": "E_N_inverse", "input": "M", "diagnostic_output": "16414/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "D", "diagnostic_output": "2832", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "S", "diagnostic_output": "3246", "matched_source_labels": [ "M" ] }, { "map": "E_N_inverse", "input": "U", "diagnostic_output": "82116/25", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "V", "diagnostic_output": "13654/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "B", "diagnostic_output": "12044/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "C", "diagnostic_output": "60266/25", "matched_source_labels": [] }, { "map": "J_R", "input": "N", "diagnostic_output": "48224/13", "matched_source_labels": [] }, { "map": "J_R", "input": "R", "diagnostic_output": "2648", "matched_source_labels": [ "R" ] }, { "map": "J_R", "input": "H", "diagnostic_output": "33224/13", "matched_source_labels": [] }, { "map": "J_R", "input": "F", "diagnostic_output": "734152/299", "matched_source_labels": [] }, { "map": "J_R", "input": "M", "diagnostic_output": "3248", "matched_source_labels": [ "U" ] }, { "map": "J_R", "input": "D", "diagnostic_output": "824152/299", "matched_source_labels": [] }, { "map": "J_R", "input": "S", "diagnostic_output": "959152/299", "matched_source_labels": [] }, { "map": "J_R", "input": "U", "diagnostic_output": "971752/299", "matched_source_labels": [] }, { "map": "J_R", "input": "V", "diagnostic_output": "791152/299", "matched_source_labels": [] }, { "map": "J_R", "input": "B", "diagnostic_output": "686152/299", "matched_source_labels": [] }, { "map": "J_R", "input": "C", "diagnostic_output": "686752/299", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "N", "diagnostic_output": "555371/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "R", "diagnostic_output": "2648", "matched_source_labels": [ "R" ] }, { "map": "J_R_inverse", "input": "H", "diagnostic_output": "191723/75", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "F", "diagnostic_output": "61416/25", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "M", "diagnostic_output": "486601/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "D", "diagnostic_output": "68891/25", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "S", "diagnostic_output": "160207/50", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "U", "diagnostic_output": "3246", "matched_source_labels": [ "M" ] }, { "map": "J_R_inverse", "input": "V", "diagnostic_output": "396901/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "B", "diagnostic_output": "172288/75", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "C", "diagnostic_output": "13795/6", "matched_source_labels": [] }, { "map": "J_M", "input": "N", "diagnostic_output": "48198/13", "matched_source_labels": [] }, { "map": "J_M", "input": "R", "diagnostic_output": "2646", "matched_source_labels": [ "V" ] }, { "map": "J_M", "input": "H", "diagnostic_output": "33198/13", "matched_source_labels": [] }, { "map": "J_M", "input": "F", "diagnostic_output": "733554/299", "matched_source_labels": [] }, { "map": "J_M", "input": "M", "diagnostic_output": "3246", "matched_source_labels": [ "M" ] }, { "map": "J_M", "input": "D", "diagnostic_output": "823554/299", "matched_source_labels": [] }, { "map": "J_M", "input": "S", "diagnostic_output": "958554/299", "matched_source_labels": [] }, { "map": "J_M", "input": "U", "diagnostic_output": "971154/299", "matched_source_labels": [] }, { "map": "J_M", "input": "V", "diagnostic_output": "790554/299", "matched_source_labels": [] }, { "map": "J_M", "input": "B", "diagnostic_output": "685554/299", "matched_source_labels": [] }, { "map": "J_M", "input": "C", "diagnostic_output": "686154/299", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "N", "diagnostic_output": "55567/15", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "R", "diagnostic_output": "397499/150", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "H", "diagnostic_output": "25583/10", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "F", "diagnostic_output": "73759/30", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "M", "diagnostic_output": "3246", "matched_source_labels": [ "M" ] }, { "map": "J_M_inverse", "input": "D", "diagnostic_output": "82729/30", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "S", "diagnostic_output": "48092/15", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "U", "diagnostic_output": "487199/150", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "V", "diagnostic_output": "2648", "matched_source_labels": [ "R" ] }, { "map": "J_M_inverse", "input": "B", "diagnostic_output": "13795/6", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "C", "diagnostic_output": "57529/25", "matched_source_labels": [] } ], "declared_domain_only": true }, { "i": 5, "records": { "N": { "tradition": "SP", "gear": 2, "role": "Noah birth", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 3708 }, "R": { "tradition": "MT", "gear": 3, "role": "Flood start", "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2650, "base_native_Cainan": 0, "base_center": 2460 }, "H": { "tradition": "MT", "gear": 2, "role": "Shem birth", "rail": null, "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2558 }, "F": { "tradition": "MT", "gear": 2, "role": "Flood start", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2458, "base_native_Cainan": 0, "base_center": 2458 }, "M": { "tradition": "MT", "gear": 2, "role": "Noah birth", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 3248 }, "D": { "tradition": "SP", "gear": 2, "role": "Noah death", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 2758 }, "S": { "tradition": "SP", "gear": 2, "role": "Shem birth", "rail": "primary", "Cainan": 0, "Terah60": 0, "full430": 1, "center": 3208 }, "U": { "tradition": "MT", "gear": 3, "role": "Noah birth", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 3250 }, "V": { "tradition": "MT", "gear": 2, "role": "Flood start", "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2648, "base_native_Cainan": 0, "base_center": 2458 }, "B": { "tradition": "MT", "gear": 2, "role": "Noah death", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2298 }, "C": { "tradition": "MT", "gear": 3, "role": "Noah death", "rail": null, "Cainan": 1, "Terah60": 1, "full430": 1, "center": 2300 } }, "maps": { "E_N": { "N": "N", "R": "H", "H": "F", "M": "S" }, "E_N_inverse": { "N": "N", "H": "R", "F": "H", "S": "M" }, "J_R": { "R": "R", "M": "U" }, "J_R_inverse": { "R": "R", "U": "M" }, "J_M": { "R": "V", "M": "M" }, "J_M_inverse": { "M": "M", "V": "R" } }, "trials": [ { "map": "E_N", "input": "N", "diagnostic_output": "3708", "matched_source_labels": [ "N" ] }, { "map": "E_N", "input": "R", "diagnostic_output": "2558", "matched_source_labels": [ "H" ] }, { "map": "E_N", "input": "H", "diagnostic_output": "2458", "matched_source_labels": [ "F" ] }, { "map": "E_N", "input": "F", "diagnostic_output": "54034/23", "matched_source_labels": [] }, { "map": "E_N", "input": "M", "diagnostic_output": "3208", "matched_source_labels": [ "S" ] }, { "map": "E_N", "input": "D", "diagnostic_output": "61534/23", "matched_source_labels": [] }, { "map": "E_N", "input": "S", "diagnostic_output": "72784/23", "matched_source_labels": [] }, { "map": "E_N", "input": "U", "diagnostic_output": "73834/23", "matched_source_labels": [] }, { "map": "E_N", "input": "V", "diagnostic_output": "58784/23", "matched_source_labels": [] }, { "map": "E_N", "input": "B", "diagnostic_output": "50034/23", "matched_source_labels": [] }, { "map": "E_N", "input": "C", "diagnostic_output": "50084/23", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "N", "diagnostic_output": "3708", "matched_source_labels": [ "N" ] }, { "map": "E_N_inverse", "input": "R", "diagnostic_output": "68366/25", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "H", "diagnostic_output": "2650", "matched_source_labels": [ "R" ] }, { "map": "E_N_inverse", "input": "F", "diagnostic_output": "2558", "matched_source_labels": [ "H" ] }, { "map": "E_N_inverse", "input": "M", "diagnostic_output": "16424/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "D", "diagnostic_output": "2834", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "S", "diagnostic_output": "3248", "matched_source_labels": [ "M" ] }, { "map": "E_N_inverse", "input": "U", "diagnostic_output": "82166/25", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "V", "diagnostic_output": "13664/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "B", "diagnostic_output": "12054/5", "matched_source_labels": [] }, { "map": "E_N_inverse", "input": "C", "diagnostic_output": "60316/25", "matched_source_labels": [] }, { "map": "J_R", "input": "N", "diagnostic_output": "48250/13", "matched_source_labels": [] }, { "map": "J_R", "input": "R", "diagnostic_output": "2650", "matched_source_labels": [ "R" ] }, { "map": "J_R", "input": "H", "diagnostic_output": "33250/13", "matched_source_labels": [] }, { "map": "J_R", "input": "F", "diagnostic_output": "734750/299", "matched_source_labels": [] }, { "map": "J_R", "input": "M", "diagnostic_output": "3250", "matched_source_labels": [ "U" ] }, { "map": "J_R", "input": "D", "diagnostic_output": "824750/299", "matched_source_labels": [] }, { "map": "J_R", "input": "S", "diagnostic_output": "959750/299", "matched_source_labels": [] }, { "map": "J_R", "input": "U", "diagnostic_output": "972350/299", "matched_source_labels": [] }, { "map": "J_R", "input": "V", "diagnostic_output": "791750/299", "matched_source_labels": [] }, { "map": "J_R", "input": "B", "diagnostic_output": "686750/299", "matched_source_labels": [] }, { "map": "J_R", "input": "C", "diagnostic_output": "687350/299", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "N", "diagnostic_output": "555671/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "R", "diagnostic_output": "2650", "matched_source_labels": [ "R" ] }, { "map": "J_R_inverse", "input": "H", "diagnostic_output": "191873/75", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "F", "diagnostic_output": "61466/25", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "M", "diagnostic_output": "486901/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "D", "diagnostic_output": "68941/25", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "S", "diagnostic_output": "160307/50", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "U", "diagnostic_output": "3248", "matched_source_labels": [ "M" ] }, { "map": "J_R_inverse", "input": "V", "diagnostic_output": "397201/150", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "B", "diagnostic_output": "172438/75", "matched_source_labels": [] }, { "map": "J_R_inverse", "input": "C", "diagnostic_output": "13807/6", "matched_source_labels": [] }, { "map": "J_M", "input": "N", "diagnostic_output": "48224/13", "matched_source_labels": [] }, { "map": "J_M", "input": "R", "diagnostic_output": "2648", "matched_source_labels": [ "V" ] }, { "map": "J_M", "input": "H", "diagnostic_output": "33224/13", "matched_source_labels": [] }, { "map": "J_M", "input": "F", "diagnostic_output": "734152/299", "matched_source_labels": [] }, { "map": "J_M", "input": "M", "diagnostic_output": "3248", "matched_source_labels": [ "M" ] }, { "map": "J_M", "input": "D", "diagnostic_output": "824152/299", "matched_source_labels": [] }, { "map": "J_M", "input": "S", "diagnostic_output": "959152/299", "matched_source_labels": [] }, { "map": "J_M", "input": "U", "diagnostic_output": "971752/299", "matched_source_labels": [] }, { "map": "J_M", "input": "V", "diagnostic_output": "791152/299", "matched_source_labels": [] }, { "map": "J_M", "input": "B", "diagnostic_output": "686152/299", "matched_source_labels": [] }, { "map": "J_M", "input": "C", "diagnostic_output": "686752/299", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "N", "diagnostic_output": "55597/15", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "R", "diagnostic_output": "397799/150", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "H", "diagnostic_output": "25603/10", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "F", "diagnostic_output": "73819/30", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "M", "diagnostic_output": "3248", "matched_source_labels": [ "M" ] }, { "map": "J_M_inverse", "input": "D", "diagnostic_output": "82789/30", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "S", "diagnostic_output": "48122/15", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "U", "diagnostic_output": "487499/150", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "V", "diagnostic_output": "2650", "matched_source_labels": [ "R" ] }, { "map": "J_M_inverse", "input": "B", "diagnostic_output": "13807/6", "matched_source_labels": [] }, { "map": "J_M_inverse", "input": "C", "diagnostic_output": "57579/25", "matched_source_labels": [] } ], "declared_domain_only": true } ], "expected_relations": { "E_N": { "N": "N", "M": "S", "R": "H", "H": "F" }, "E_N_inverse": { "N": "N", "S": "M", "H": "R", "F": "H" }, "J_R": { "R": "R", "M": "U" }, "J_R_inverse": { "R": "R", "U": "M" }, "J_M": { "M": "M", "R": "V" }, "J_M_inverse": { "M": "M", "V": "R" } }, "counts": { "fields": 2, "nodes_per_field": 11, "map_input_trials": 132, "exact_matches_including_fixed_and_inverse": 32, "nonidentity_matches_including_inverse": 20 }, "claim": "Partial invertible comparison relations on the explicitly bounded field; not a total source-state group action.", "diagnostic_nonmatches_adopted": false }