{
  "status": "passed",
  "performed_by": "root agent",
  "new_independent_agent_review": false,
  "method": "Integer affine cross-products; endpoint-forced Shem pivots; weighted fixed-point obstruction; fixed-corner reflection; output-first500 domain; residue-class chains; backward record paths; independent table-cell reconstruction. No primary calculation imported.",
  "check_count": 1041,
  "checks": [
    "integer moving-chart square 0",
    "integer moving-chart square 1",
    "integer moving-chart square 2",
    "integer moving-chart square 3",
    "integer moving-chart square 4",
    "integer moving-chart square 5",
    "only sourced J paths survive E charts",
    "translated path endpoint normal form 0",
    "translated path endpoint normal form 1",
    "translated path endpoint normal form 2",
    "translated path endpoint normal form 3",
    "translated path endpoint normal form 4",
    "translated path endpoint normal form 5",
    "translated path endpoint normal form 6",
    "translated path endpoint normal form 7",
    "translated path endpoint normal form 8",
    "translated path endpoint normal form 9",
    "translated path endpoint normal form 10",
    "translated path endpoint normal form 11",
    "translated path endpoint normal form 12",
    "translated path endpoint normal form 13",
    "translated path endpoint normal form 14",
    "translated path endpoint normal form 15",
    "translated path endpoint normal form 16",
    "translated path endpoint normal form 17",
    "translated path endpoint normal form 18",
    "translated path endpoint normal form 19",
    "translated path endpoint normal form 20",
    "translated path endpoint normal form 21",
    "translated path endpoint normal form 22",
    "translated path endpoint normal form 23",
    "translated path endpoint normal form 24",
    "translated path endpoint normal form 25",
    "translated path endpoint normal form 26",
    "translated path endpoint normal form 27",
    "translated path endpoint normal form 28",
    "translated path endpoint normal form 29",
    "translated path endpoint normal form 30",
    "translated path endpoint normal form 31",
    "translated path endpoint normal form 32",
    "translated path endpoint normal form 33",
    "translated path endpoint normal form 34",
    "translated path endpoint normal form 35",
    "translated path endpoint normal form 36",
    "translated path endpoint normal form 37",
    "translated path endpoint normal form 38",
    "translated path endpoint normal form 39",
    "translated path endpoint normal form 40",
    "translated path endpoint normal form 41",
    "translated path endpoint normal form 42",
    "translated path endpoint normal form 43",
    "translated path endpoint normal form 44",
    "translated path endpoint normal form 45",
    "translated path endpoint normal form 46",
    "translated path endpoint normal form 47",
    "translated path endpoint normal form 48",
    "translated path endpoint normal form 49",
    "translated path endpoint normal form 50",
    "translated path endpoint normal form 51",
    "translated path endpoint normal form 52",
    "translated path endpoint normal form 53",
    "translated path endpoint normal form 54",
    "translated path endpoint normal form 55",
    "translated path endpoint normal form 56",
    "translated path endpoint normal form 57",
    "translated path endpoint normal form 58",
    "translated path endpoint normal form 59",
    "translated path endpoint normal form 60",
    "translated path endpoint normal form 61",
    "translated path endpoint normal form 62",
    "translated path endpoint normal form 63",
    "translated path endpoint normal form 64",
    "translated path endpoint normal form 65",
    "translated path endpoint normal form 66",
    "translated path endpoint normal form 67",
    "translated path endpoint normal form 68",
    "translated path endpoint normal form 69",
    "translated path endpoint normal form 70",
    "translated path endpoint normal form 71",
    "translated path endpoint normal form 72",
    "translated path endpoint normal form 73",
    "translated path endpoint normal form 74",
    "translated path endpoint normal form 75",
    "translated path endpoint normal form 76",
    "translated path endpoint normal form 77",
    "translated path endpoint normal form 78",
    "translated path endpoint normal form 79",
    "translated path endpoint normal form 80",
    "translated path endpoint normal form 81",
    "translated path endpoint normal form 82",
    "translated path endpoint normal form 83",
    "translated path endpoint normal form 84",
    "translated path endpoint normal form 85",
    "translated path endpoint normal form 86",
    "translated path endpoint normal form 87",
    "translated path endpoint normal form 88",
    "translated path endpoint normal form 89",
    "translated path endpoint normal form 90",
    "translated path endpoint normal form 91",
    "translated path endpoint normal form 92",
    "translated path endpoint normal form 93",
    "translated path endpoint normal form 94",
    "translated path endpoint normal form 95",
    "translated path endpoint normal form 96",
    "translated path endpoint normal form 97",
    "translated path endpoint normal form 98",
    "translated path endpoint normal form 99",
    "translated path endpoint normal form 100",
    "translated path endpoint normal form 101",
    "translated path endpoint normal form 102",
    "translated path endpoint normal form 103",
    "translated path endpoint normal form 104",
    "translated path endpoint normal form 105",
    "translated path endpoint normal form 106",
    "translated path endpoint normal form 107",
    "translated path endpoint normal form 108",
    "translated path endpoint normal form 109",
    "translated path endpoint normal form 110",
    "translated path endpoint normal form 111",
    "translated path endpoint normal form 112",
    "translated path endpoint normal form 113",
    "translated path endpoint normal form 114",
    "translated path endpoint normal form 115",
    "translated path endpoint normal form 116",
    "translated path endpoint normal form 117",
    "translated path endpoint normal form 118",
    "translated path endpoint normal form 119",
    "translated path endpoint normal form 120",
    "translated path endpoint normal form 121",
    "translated path endpoint normal form 122",
    "translated path endpoint normal form 123",
    "translated path endpoint normal form 124",
    "translated path endpoint normal form 125",
    "translated path endpoint normal form 126",
    "translated path endpoint normal form 127",
    "translated path endpoint normal form 128",
    "translated path endpoint normal form 129",
    "translated path endpoint normal form 130",
    "translated path endpoint normal form 131",
    "translated path endpoint normal form 132",
    "translated path endpoint normal form 133",
    "translated path endpoint normal form 134",
    "translated path endpoint normal form 135",
    "translated path endpoint normal form 136",
    "translated path endpoint normal form 137",
    "translated path endpoint normal form 138",
    "translated path endpoint normal form 139",
    "translated path endpoint normal form 140",
    "translated path endpoint normal form 141",
    "translated path endpoint normal form 142",
    "translated path endpoint normal form 143",
    "translated path endpoint normal form 144",
    "translated path endpoint normal form 145",
    "translated path endpoint normal form 146",
    "translated path endpoint normal form 147",
    "translated path endpoint normal form 148",
    "translated path endpoint normal form 149",
    "translated path endpoint normal form 150",
    "translated path endpoint normal form 151",
    "translated path endpoint normal form 152",
    "translated path endpoint normal form 153",
    "translated path endpoint normal form 154",
    "translated path endpoint normal form 155",
    "translated path endpoint normal form 156",
    "translated path endpoint normal form 157",
    "translated path endpoint normal form 158",
    "translated path endpoint normal form 159",
    "translated path endpoint normal form 160",
    "translated path endpoint normal form 161",
    "translated path endpoint normal form 162",
    "translated path endpoint normal form 163",
    "translated path endpoint normal form 164",
    "translated path endpoint normal form 165",
    "translated path endpoint normal form 166",
    "translated path endpoint normal form 167",
    "translated path endpoint normal form 168",
    "translated path endpoint normal form 169",
    "translated path endpoint normal form 170",
    "translated path endpoint normal form 171",
    "translated path endpoint normal form 172",
    "translated path endpoint normal form 173",
    "translated path endpoint normal form 174",
    "translated path endpoint normal form 175",
    "translated path endpoint normal form 176",
    "translated path endpoint normal form 177",
    "translated path endpoint normal form 178",
    "translated path endpoint normal form 179",
    "translated path endpoint normal form 180",
    "translated path endpoint normal form 181",
    "translated path endpoint normal form 182",
    "translated path endpoint normal form 183",
    "translated path endpoint normal form 184",
    "translated path endpoint normal form 185",
    "translated path endpoint normal form 186",
    "translated path endpoint normal form 187",
    "translated path endpoint normal form 188",
    "translated path endpoint normal form 189",
    "translated path endpoint normal form 190",
    "translated path endpoint normal form 191",
    "translated path endpoint normal form 192",
    "translated path endpoint normal form 193",
    "translated path endpoint normal form 194",
    "translated path endpoint normal form 195",
    "translated path endpoint normal form 196",
    "translated path endpoint normal form 197",
    "translated path endpoint normal form 198",
    "translated path endpoint normal form 199",
    "translated path endpoint normal form 200",
    "translated path endpoint normal form 201",
    "translated path endpoint normal form 202",
    "translated path endpoint normal form 203",
    "translated path endpoint normal form 204",
    "translated path endpoint normal form 205",
    "translated path endpoint normal form 206",
    "translated path endpoint normal form 207",
    "translated path endpoint normal form 208",
    "translated path endpoint normal form 209",
    "translated path endpoint normal form 210",
    "translated path endpoint normal form 211",
    "translated path endpoint normal form 212",
    "translated path endpoint normal form 213",
    "translated path endpoint normal form 214",
    "translated path endpoint normal form 215",
    "translated path endpoint normal form 216",
    "translated path endpoint normal form 217",
    "translated path endpoint normal form 218",
    "translated path endpoint normal form 219",
    "translated path endpoint normal form 220",
    "translated path endpoint normal form 221",
    "translated path endpoint normal form 222",
    "translated path endpoint normal form 223",
    "translated path endpoint normal form 224",
    "translated path endpoint normal form 225",
    "translated path endpoint normal form 226",
    "translated path endpoint normal form 227",
    "translated path endpoint normal form 228",
    "translated path endpoint normal form 229",
    "translated path endpoint normal form 230",
    "translated path endpoint normal form 231",
    "translated path endpoint normal form 232",
    "translated path endpoint normal form 233",
    "translated path endpoint normal form 234",
    "translated path endpoint normal form 235",
    "translated path endpoint normal form 236",
    "translated path endpoint normal form 237",
    "translated path endpoint normal form 238",
    "translated path endpoint normal form 239",
    "translated path endpoint normal form 240",
    "translated path endpoint normal form 241",
    "translated path endpoint normal form 242",
    "translated path endpoint normal form 243",
    "translated path endpoint normal form 244",
    "translated path endpoint normal form 245",
    "translated path endpoint normal form 246",
    "translated path endpoint normal form 247",
    "translated path endpoint normal form 248",
    "translated path endpoint normal form 249",
    "translated path endpoint normal form 250",
    "translated path endpoint normal form 251",
    "translated path endpoint normal form 252",
    "translated path endpoint normal form 253",
    "translated path endpoint normal form 254",
    "translated path endpoint normal form 255",
    "translated path endpoint normal form 256",
    "translated path endpoint normal form 257",
    "translated path endpoint normal form 258",
    "translated path endpoint normal form 259",
    "translated path endpoint normal form 260",
    "translated path endpoint normal form 261",
    "translated path endpoint normal form 262",
    "translated path endpoint normal form 263",
    "translated path endpoint normal form 264",
    "translated path endpoint normal form 265",
    "translated path endpoint normal form 266",
    "translated path endpoint normal form 267",
    "translated path endpoint normal form 268",
    "translated path endpoint normal form 269",
    "translated path endpoint normal form 270",
    "translated path endpoint normal form 271",
    "translated path endpoint normal form 272",
    "translated path endpoint normal form 273",
    "translated path endpoint normal form 274",
    "translated path endpoint normal form 275",
    "translated path endpoint normal form 276",
    "translated path endpoint normal form 277",
    "translated path endpoint normal form 278",
    "translated path endpoint normal form 279",
    "translated path endpoint normal form 280",
    "translated path endpoint normal form 281",
    "translated path endpoint normal form 282",
    "translated path endpoint normal form 283",
    "translated path endpoint normal form 284",
    "translated path endpoint normal form 285",
    "translated path endpoint normal form 286",
    "translated path endpoint normal form 287",
    "translated path endpoint normal form 288",
    "translated path endpoint normal form 289",
    "translated path endpoint normal form 290",
    "translated path endpoint normal form 291",
    "translated path endpoint normal form 292",
    "translated path endpoint normal form 293",
    "translated path endpoint normal form 294",
    "translated path endpoint normal form 295",
    "translated path endpoint normal form 296",
    "translated path endpoint normal form 297",
    "translated path endpoint normal form 298",
    "translated path endpoint normal form 299",
    "translated path endpoint normal form 300",
    "translated path endpoint normal form 301",
    "translated path endpoint normal form 302",
    "translated path endpoint normal form 303",
    "translated path endpoint normal form 304",
    "translated path endpoint normal form 305",
    "translated path endpoint normal form 306",
    "translated path endpoint normal form 307",
    "translated path endpoint normal form 308",
    "translated path endpoint normal form 309",
    "translated path endpoint normal form 310",
    "translated path endpoint normal form 311",
    "translated path endpoint normal form 312",
    "translated path endpoint normal form 313",
    "translated path endpoint normal form 314",
    "translated path endpoint normal form 315",
    "translated path endpoint normal form 316",
    "translated path endpoint normal form 317",
    "translated path endpoint normal form 318",
    "translated path endpoint normal form 319",
    "translated path endpoint normal form 320",
    "translated path endpoint normal form 321",
    "translated path endpoint normal form 322",
    "translated path endpoint normal form 323",
    "translated path endpoint normal form 324",
    "translated path endpoint normal form 325",
    "translated path endpoint normal form 326",
    "translated path endpoint normal form 327",
    "translated path endpoint normal form 328",
    "translated path endpoint normal form 329",
    "translated path endpoint normal form 330",
    "translated path endpoint normal form 331",
    "translated path endpoint normal form 332",
    "translated path endpoint normal form 333",
    "translated path endpoint normal form 334",
    "translated path endpoint normal form 335",
    "translated path endpoint normal form 336",
    "translated path endpoint normal form 337",
    "translated path endpoint normal form 338",
    "translated path endpoint normal form 339",
    "translated path endpoint normal form 340",
    "translated path endpoint normal form 341",
    "translated path endpoint normal form 342",
    "translated path endpoint normal form 343",
    "translated path endpoint normal form 344",
    "translated path endpoint normal form 345",
    "translated path endpoint normal form 346",
    "translated path endpoint normal form 347",
    "translated path endpoint normal form 348",
    "translated path endpoint normal form 349",
    "translated path endpoint normal form 350",
    "translated path endpoint normal form 351",
    "translated path endpoint normal form 352",
    "translated path endpoint normal form 353",
    "translated path endpoint normal form 354",
    "translated path endpoint normal form 355",
    "translated path endpoint normal form 356",
    "translated path endpoint normal form 357",
    "translated path endpoint normal form 358",
    "translated path endpoint normal form 359",
    "translated path endpoint normal form 360",
    "translated path endpoint normal form 361",
    "translated path endpoint normal form 362",
    "translated path endpoint normal form 363",
    "translated path endpoint normal form 364",
    "translated path endpoint normal form 365",
    "translated path endpoint normal form 366",
    "translated path endpoint normal form 367",
    "translated path endpoint normal form 368",
    "translated path endpoint normal form 369",
    "translated path endpoint normal form 370",
    "translated path endpoint normal form 371",
    "translated path endpoint normal form 372",
    "translated path endpoint normal form 373",
    "translated path endpoint normal form 374",
    "translated path endpoint normal form 375",
    "translated path endpoint normal form 376",
    "translated path endpoint normal form 377",
    "translated path endpoint normal form 378",
    "translated path endpoint normal form 379",
    "translated path endpoint normal form 380",
    "translated path endpoint normal form 381",
    "translated path endpoint normal form 382",
    "translated path endpoint normal form 383",
    "translated path endpoint normal form 384",
    "translated path endpoint normal form 385",
    "translated path endpoint normal form 386",
    "translated path endpoint normal form 387",
    "translated path endpoint normal form 388",
    "translated path endpoint normal form 389",
    "translated path endpoint normal form 390",
    "translated path endpoint normal form 391",
    "translated path endpoint normal form 392",
    "translated path endpoint normal form 393",
    "translated path endpoint normal form 394",
    "translated path endpoint normal form 395",
    "translated path endpoint normal form 396",
    "translated path endpoint normal form 397",
    "translated path endpoint normal form 398",
    "translated path endpoint normal form 399",
    "translated path endpoint normal form 400",
    "translated path endpoint normal form 401",
    "forced-pivot Shem census",
    "complete P closure",
    "source500 slot (0, 'higher_Noah')",
    "source500 slot (0, 'lower_Noah')",
    "source500 slot (0, 'held_Noah')",
    "source500 slot (0, 'J_Flood')",
    "source500 slot (1, 'higher_Noah')",
    "source500 slot (1, 'lower_Noah')",
    "source500 slot (1, 'held_Noah')",
    "source500 slot (1, 'J_Flood')",
    "source500 slot (2, 'higher_Noah')",
    "source500 slot (2, 'lower_Noah')",
    "source500 slot (2, 'held_Noah')",
    "source500 slot (2, 'J_Flood')",
    "source500 slot (3, 'higher_Noah')",
    "source500 slot (3, 'lower_Noah')",
    "source500 slot (3, 'held_Noah')",
    "source500 slot (3, 'J_Flood')",
    "source500 slot (4, 'higher_Noah')",
    "source500 slot (4, 'lower_Noah')",
    "source500 slot (4, 'held_Noah')",
    "source500 slot (4, 'J_Flood')",
    "source500 slot (5, 'higher_Noah')",
    "source500 slot (5, 'lower_Noah')",
    "source500 slot (5, 'held_Noah')",
    "source500 slot (5, 'J_Flood')",
    "source500 slot (6, 'higher_Noah')",
    "source500 slot (6, 'lower_Noah')",
    "source500 slot (6, 'held_Noah')",
    "source500 slot (6, 'J_Flood')",
    "source500 slot (7, 'higher_Noah')",
    "source500 slot (7, 'lower_Noah')",
    "source500 slot (7, 'held_Noah')",
    "source500 slot (7, 'J_Flood')",
    "source500 slot (8, 'higher_Noah')",
    "source500 slot (8, 'lower_Noah')",
    "source500 slot (8, 'held_Noah')",
    "source500 slot (8, 'J_Flood')",
    "source500 slot (9, 'higher_Noah')",
    "source500 slot (9, 'lower_Noah')",
    "source500 slot (9, 'held_Noah')",
    "source500 slot (9, 'J_Flood')",
    "source500 slot (10, 'higher_Noah')",
    "source500 slot (10, 'lower_Noah')",
    "source500 slot (10, 'held_Noah')",
    "source500 slot (10, 'J_Flood')",
    "source500 slot (11, 'higher_Noah')",
    "source500 slot (11, 'lower_Noah')",
    "source500 slot (11, 'held_Noah')",
    "source500 slot (11, 'J_Flood')",
    "mode boundary 0",
    "mode boundary 1",
    "mode boundary 2",
    "mode boundary 3",
    "mode boundary 4",
    "mode boundary 5",
    "mode boundary 6",
    "mode boundary 7",
    "mode boundary 8",
    "mode boundary 9",
    "mode boundary 10",
    "mode boundary 11",
    "mode boundary 12",
    "mode boundary 13",
    "mode boundary 14",
    "mode boundary 15",
    "mode boundary 16",
    "mode boundary 17",
    "mode boundary 18",
    "mode boundary 19",
    "mode boundary 20",
    "mode boundary 21",
    "mode boundary 22",
    "mode boundary 23",
    "three slope-compatible EE paths",
    "weighted-pivot whole-map obstruction (0, 3)",
    "weighted-pivot whole-map obstruction (0, 5)",
    "weighted-pivot whole-map obstruction (1, 3)",
    "weighted-pivot whole-map obstruction (1, 5)",
    "weighted-pivot whole-map obstruction (2, 3)",
    "weighted-pivot whole-map obstruction (2, 5)",
    "nearest map discrepancy and phase exclusion",
    "fixed rectangle translation 3",
    "fixed rectangle translation 5",
    "all new reflected source slots absent",
    "output-first500 domain",
    "residue-class chain census",
    "all raw source label pairs",
    "role-defined and bridge label counts",
    "backward record-path census",
    "record path identities match primary",
    "unique bridge source mode",
    "source card identity MT_PERSONS",
    "source card identity PERSON_BASES",
    "source card identity SP_FIELD",
    "source card identity FLOOD",
    "source card identity VARIANTS",
    "source card identity LXX_REMOVAL",
    "source card identity SP_LOCALITY",
    "source card identity DUAL100",
    "source card identity E_P",
    "source card identity E_SQUARED",
    "source card identity J_GAP",
    "source card identity GEARS",
    "direct table record 0",
    "direct table record 1",
    "direct table record 2",
    "direct table record 3",
    "direct table record 4",
    "direct table record 5",
    "direct table record 6",
    "direct table record 7",
    "direct table record 8",
    "direct table record 9",
    "direct table record 10",
    "direct table record 11",
    "direct table record 12",
    "direct table record 13",
    "direct table record 14",
    "direct table record 15",
    "direct table record 16",
    "direct table record 17",
    "direct table record 18",
    "direct table record 19",
    "direct table record 20",
    "direct table record 21",
    "direct table record 22",
    "direct table record 23",
    "direct table record 24",
    "direct table record 25",
    "direct table record 26",
    "direct table record 27",
    "direct table record 28",
    "direct table record 29",
    "direct table record 30",
    "direct table record 31",
    "direct table record 32",
    "direct table record 33",
    "direct table record 34",
    "direct table record 35",
    "direct table record 36",
    "direct table record 37",
    "direct table record 38",
    "direct table record 39",
    "direct table record 40",
    "direct table record 41",
    "direct table record 42",
    "direct table record 43",
    "direct table record 44",
    "direct table record 45",
    "direct table record 46",
    "direct table record 47",
    "direct table record 48",
    "direct table record 49",
    "direct table record 50",
    "direct table record 51",
    "direct table record 52",
    "direct table record 53",
    "direct table record 54",
    "direct table record 55",
    "direct table record 56",
    "direct table record 57",
    "direct table record 58",
    "direct table record 59",
    "direct table record 60",
    "direct table record 61",
    "direct table record 62",
    "direct table record 63",
    "direct table record 64",
    "direct table record 65",
    "direct table record 66",
    "direct table record 67",
    "direct table record 68",
    "direct table record 69",
    "direct table record 70",
    "direct table record 71",
    "direct table record 72",
    "direct table record 73",
    "direct table record 74",
    "direct table record 75",
    "direct table record 76",
    "direct table record 77",
    "direct table record 78",
    "direct table record 79",
    "direct table record 80",
    "direct table record 81",
    "direct table record 82",
    "direct table record 83",
    "direct table record 84",
    "direct table record 85",
    "direct table record 86",
    "direct table record 87",
    "direct table record 88",
    "direct table record 89",
    "direct table record 90",
    "direct table record 91",
    "direct table record 92",
    "direct table record 93",
    "direct table record 94",
    "direct table record 95",
    "direct table record 96",
    "direct table record 97",
    "direct table record 98",
    "direct table record 99",
    "direct table record 100",
    "direct table record 101",
    "direct table record 102",
    "direct table record 103",
    "direct table record 104",
    "direct table record 105",
    "direct table record 106",
    "direct table record 107",
    "direct table record 108",
    "direct table record 109",
    "direct table record 110",
    "direct table record 111",
    "direct table record 112",
    "direct table record 113",
    "direct table record 114",
    "direct table record 115",
    "direct table record 116",
    "direct table record 117",
    "direct table record 118",
    "direct table record 119",
    "direct table record 120",
    "direct table record 121",
    "direct table record 122",
    "direct table record 123",
    "direct table record 124",
    "direct table record 125",
    "direct table record 126",
    "direct table record 127",
    "direct table record 128",
    "direct table record 129",
    "direct table record 130",
    "direct table record 131",
    "direct table record 132",
    "direct table record 133",
    "direct table record 134",
    "direct table record 135",
    "direct table record 136",
    "direct table record 137",
    "direct table record 138",
    "direct table record 139",
    "direct table record 140",
    "direct table record 141",
    "direct table record 142",
    "direct table record 143",
    "direct table record 144",
    "direct table record 145",
    "direct table record 146",
    "direct table record 147",
    "direct table record 148",
    "direct table record 149",
    "direct table record 150",
    "direct table record 151",
    "direct table record 152",
    "direct table record 153",
    "direct table record 154",
    "direct table record 155",
    "direct table record 156",
    "direct table record 157",
    "direct table record 158",
    "direct table record 159",
    "direct table record 160",
    "direct table record 161",
    "direct table record 162",
    "direct table record 163",
    "direct table record 164",
    "direct table record 165",
    "direct table record 166",
    "direct table record 167",
    "direct table record 168",
    "direct table record 169",
    "direct table record 170",
    "direct table record 171",
    "direct table record 172",
    "direct table record 173",
    "direct table record 174",
    "direct table record 175",
    "direct table record 176",
    "direct table record 177",
    "direct table record 178",
    "direct table record 179",
    "direct table record 180",
    "direct table record 181",
    "direct table record 182",
    "direct table record 183",
    "direct table record 184",
    "direct table record 185",
    "direct table record 186",
    "direct table record 187",
    "direct table record 188",
    "direct table record 189",
    "direct table record 190",
    "direct table record 191",
    "direct table record 192",
    "direct table record 193",
    "direct table record 194",
    "direct table record 195",
    "direct table record 196",
    "direct table record 197",
    "direct table record 198",
    "direct table record 199",
    "direct table record 200",
    "direct table record 201",
    "direct table record 202",
    "direct table record 203",
    "direct table record 204",
    "direct table record 205",
    "direct table record 206",
    "direct table record 207",
    "direct table record 208",
    "direct table record 209",
    "direct table record 210",
    "direct table record 211",
    "direct table record 212",
    "direct table record 213",
    "direct table record 214",
    "direct table record 215",
    "direct table record 216",
    "direct table record 217",
    "direct table record 218",
    "direct table record 219",
    "direct table record 220",
    "direct table record 221",
    "direct table record 222",
    "direct table record 223",
    "direct table record 224",
    "direct table record 225",
    "direct table record 226",
    "direct table record 227",
    "direct table record 228",
    "direct table record 229",
    "direct table record 230",
    "direct table record 231",
    "direct table record 232",
    "direct table record 233",
    "direct table record 234",
    "direct table record 235",
    "direct table record 236",
    "direct table record 237",
    "direct table record 238",
    "direct table record 239",
    "direct table record 240",
    "direct table record 241",
    "direct table record 242",
    "direct table record 243",
    "direct table record 244",
    "direct table record 245",
    "direct table record 246",
    "direct table record 247",
    "direct table record 248",
    "direct table record 249",
    "direct table record 250",
    "direct table record 251",
    "direct table record 252",
    "direct table record 253",
    "direct table record 254",
    "direct table record 255",
    "direct table record 256",
    "direct table record 257",
    "direct table record 258",
    "direct table record 259",
    "direct table record 260",
    "direct table record 261",
    "direct table record 262",
    "direct table record 263",
    "direct table record 264",
    "direct table record 265",
    "direct table record 266",
    "direct table record 267",
    "direct table record 268",
    "direct table record 269",
    "direct table record 270",
    "direct table record 271",
    "direct table record 272",
    "direct table record 273",
    "direct table record 274",
    "direct table record 275",
    "direct table record 276",
    "direct table record 277",
    "direct table record 278",
    "direct table record 279",
    "direct table record 280",
    "direct table record 281",
    "direct table record 282",
    "direct table record 283",
    "direct table record 284",
    "direct table record 285",
    "direct table record 286",
    "direct table record 287",
    "direct table record 288",
    "direct table record 289",
    "direct table record 290",
    "direct table record 291",
    "direct table record 292",
    "direct table record 293",
    "direct table record 294",
    "direct table record 295",
    "direct table record 296",
    "direct table record 297",
    "direct table record 298",
    "direct table record 299",
    "direct table record 300",
    "direct table record 301",
    "direct table record 302",
    "direct table record 303",
    "direct table record 304",
    "direct table record 305",
    "direct table record 306",
    "direct table record 307",
    "direct table record 308",
    "direct table record 309",
    "direct table record 310",
    "direct table record 311",
    "direct table record 312",
    "direct table record 313",
    "direct table record 314",
    "direct table record 315",
    "direct table record 316",
    "direct table record 317",
    "direct table record 318",
    "direct table record 319",
    "direct table record 320",
    "direct table record 321",
    "direct table record 322",
    "direct table record 323",
    "direct table record 324",
    "direct table record 325",
    "direct table record 326",
    "direct table record 327",
    "direct table record 328",
    "direct table record 329",
    "direct table record 330",
    "direct table record 331",
    "direct table record 332",
    "direct table record 333",
    "direct table record 334",
    "direct table record 335",
    "direct table record 336",
    "direct table record 337",
    "direct table record 338",
    "direct table record 339",
    "direct table record 340",
    "direct table record 341",
    "direct table record 342",
    "direct table record 343",
    "direct table record 344",
    "direct table record 345",
    "direct table record 346",
    "direct table record 347",
    "direct table record 348",
    "direct table record 349",
    "direct table record 350",
    "direct table record 351",
    "direct table record 352",
    "direct table record 353",
    "direct table record 354",
    "direct table record 355",
    "direct table record 356",
    "direct table record 357",
    "direct table record 358",
    "direct table record 359",
    "direct table record 360",
    "direct table record 361",
    "direct table record 362",
    "direct table record 363",
    "direct table record 364",
    "direct table record 365",
    "direct table record 366",
    "direct table record 367",
    "direct table record 368",
    "direct table record 369",
    "direct table record 370",
    "direct table record 371",
    "direct table record 372",
    "direct table record 373",
    "direct table record 374",
    "direct table record 375",
    "direct table record 376",
    "direct table record 377",
    "direct table record 378",
    "direct table record 379",
    "direct table record 380",
    "direct table record 381",
    "direct table record 382",
    "direct table record 383",
    "direct table record 384",
    "direct table record 385",
    "direct table record 386",
    "direct table record 387",
    "direct table record 388",
    "direct table record 389",
    "direct table record 390",
    "direct table record 391",
    "direct table record 392",
    "direct table record 393",
    "direct table record 394",
    "direct table record 395",
    "direct table record 396",
    "direct table record 397",
    "direct table record 398",
    "direct table record 399",
    "direct table record 400",
    "direct table record 401",
    "direct table record 402",
    "direct table record 403",
    "direct table record 404",
    "direct table record 405",
    "direct table record 406",
    "direct table record 407",
    "direct table record 408",
    "direct table record 409",
    "direct table record 410",
    "direct table record 411",
    "direct table record 412",
    "direct table record 413",
    "direct table record 414",
    "direct table record 415",
    "direct table record 416",
    "direct table record 417",
    "direct table record 418",
    "direct table record 419",
    "direct table record 420",
    "direct table record 421",
    "direct table record 422",
    "direct table record 423",
    "direct table record 424",
    "direct table record 425",
    "direct table record 426",
    "direct table record 427",
    "direct table record 428",
    "direct table record 429",
    "direct table record 430",
    "direct table record 431",
    "direct table record 432",
    "direct table record 433",
    "direct table record 434",
    "direct table record 435",
    "direct table record 436",
    "direct table record 437",
    "direct table record 438",
    "direct table record 439",
    "direct table record 440",
    "direct table record 441",
    "direct table record 442",
    "direct table record 443",
    "direct table record 444",
    "direct table record 445",
    "direct table record 446",
    "direct table record 447",
    "direct table record 448",
    "direct table record 449",
    "direct table record 450",
    "direct table record 451",
    "direct table record 452",
    "direct table record 453",
    "direct table record 454",
    "direct table record 455",
    "direct table record 456",
    "direct table record 457",
    "direct table record 458",
    "direct table record 459",
    "direct table record 460",
    "direct table record 461",
    "direct table record 462",
    "direct table record 463",
    "direct table record 464",
    "direct table record 465",
    "direct table record 466",
    "direct table record 467",
    "direct table record 468",
    "direct table record 469",
    "direct table record 470",
    "direct table record 471",
    "direct table record 472",
    "direct table record 473",
    "direct table record 474",
    "direct table record 475",
    "direct table record 476",
    "direct table record 477",
    "direct table record 478",
    "direct table record 479",
    "direct table record 480",
    "direct table record 481",
    "direct table record 482",
    "direct table record 483",
    "direct table record 484",
    "direct table record 485",
    "direct table record 486",
    "direct table record 487",
    "direct table record 488",
    "direct table record 489",
    "direct table record 490",
    "direct table record 491",
    "direct table record 492",
    "direct table record 493",
    "direct table record 494",
    "direct table record 495",
    "direct table record 496",
    "direct table record 497",
    "direct table record 498",
    "direct table record 499",
    "direct table record 500",
    "direct table record 501",
    "direct table record 502",
    "direct table record 503",
    "direct table record 504",
    "direct table record 505",
    "direct table record 506",
    "direct table record 507",
    "direct table record 508",
    "direct table record 509",
    "direct table record 510",
    "direct table record 511",
    "direct table record 512",
    "direct table record 513",
    "direct table record 514",
    "direct table record 515",
    "direct table record 516",
    "direct table record 517",
    "direct table record 518",
    "direct table record 519",
    "direct table record 520",
    "direct table record 521",
    "direct table record 522",
    "direct table record 523",
    "direct table record 524",
    "direct table record 525",
    "direct table record 526",
    "direct table record 527"
  ],
  "source_Shem_labelled_loops": 12,
  "source_Shem_coordinate_loops": 6,
  "complete_Shem_E_P_J_graphs": 2,
  "surviving_E_chart_paths": 6,
  "squared_E_replacement_matches": 0,
  "reflected_Shem_source_slots": 104,
  "reflected_source_hits": 0,
  "translation_coordinate_arrows": 169,
  "maximal_coordinate_chains": 141,
  "continuous_four_step_record_paths": 2,
  "source_records_reconstructed": 528,
  "C414_executed": false,
  "canonical_or_graph_edits": false
}