{
  "signs": [
    {
      "N": 1,
      "d": 0,
      "r_N": 1,
      "top_cube_sign": -1,
      "reverse_parameter_Jacobian": 1
    },
    {
      "N": 2,
      "d": 1,
      "r_N": -1,
      "top_cube_sign": -1,
      "reverse_parameter_Jacobian": -1
    },
    {
      "N": 3,
      "d": 2,
      "r_N": -1,
      "top_cube_sign": 1,
      "reverse_parameter_Jacobian": 1
    },
    {
      "N": 4,
      "d": 3,
      "r_N": 1,
      "top_cube_sign": 1,
      "reverse_parameter_Jacobian": -1
    },
    {
      "N": 5,
      "d": 4,
      "r_N": 1,
      "top_cube_sign": -1,
      "reverse_parameter_Jacobian": 1
    },
    {
      "N": 6,
      "d": 5,
      "r_N": -1,
      "top_cube_sign": -1,
      "reverse_parameter_Jacobian": -1
    },
    {
      "N": 7,
      "d": 6,
      "r_N": -1,
      "top_cube_sign": 1,
      "reverse_parameter_Jacobian": 1
    },
    {
      "N": 8,
      "d": 7,
      "r_N": 1,
      "top_cube_sign": 1,
      "reverse_parameter_Jacobian": -1
    }
  ],
  "N2_real_slice_weights": [
    {
      "q": "0",
      "rho0": "1",
      "rho1": "0"
    },
    {
      "q": "1/40",
      "rho0": "1600/1601",
      "rho1": "1/1601"
    },
    {
      "q": "1/20",
      "rho0": "400/401",
      "rho1": "1/401"
    },
    {
      "q": "3/40",
      "rho0": "1600/1609",
      "rho1": "9/1609"
    },
    {
      "q": "1/10",
      "rho0": "100/101",
      "rho1": "1/101"
    },
    {
      "q": "1/8",
      "rho0": "64/65",
      "rho1": "1/65"
    },
    {
      "q": "3/20",
      "rho0": "400/409",
      "rho1": "9/409"
    },
    {
      "q": "7/40",
      "rho0": "1600/1649",
      "rho1": "49/1649"
    },
    {
      "q": "1/5",
      "rho0": "25/26",
      "rho1": "1/26"
    },
    {
      "q": "9/40",
      "rho0": "1600/1681",
      "rho1": "81/1681"
    },
    {
      "q": "1/4",
      "rho0": "16/17",
      "rho1": "1/17"
    },
    {
      "q": "11/40",
      "rho0": "1600/1721",
      "rho1": "121/1721"
    },
    {
      "q": "3/10",
      "rho0": "100/109",
      "rho1": "9/109"
    },
    {
      "q": "13/40",
      "rho0": "1600/1769",
      "rho1": "169/1769"
    },
    {
      "q": "7/20",
      "rho0": "400/449",
      "rho1": "49/449"
    },
    {
      "q": "3/8",
      "rho0": "64/73",
      "rho1": "9/73"
    },
    {
      "q": "2/5",
      "rho0": "25/29",
      "rho1": "4/29"
    },
    {
      "q": "17/40",
      "rho0": "1600/1889",
      "rho1": "289/1889"
    },
    {
      "q": "9/20",
      "rho0": "400/481",
      "rho1": "81/481"
    },
    {
      "q": "19/40",
      "rho0": "1600/1961",
      "rho1": "361/1961"
    },
    {
      "q": "1/2",
      "rho0": "4/5",
      "rho1": "1/5"
    },
    {
      "q": "21/40",
      "rho0": "1600/2041",
      "rho1": "441/2041"
    },
    {
      "q": "11/20",
      "rho0": "400/521",
      "rho1": "121/521"
    },
    {
      "q": "23/40",
      "rho0": "1600/2129",
      "rho1": "529/2129"
    },
    {
      "q": "3/5",
      "rho0": "25/34",
      "rho1": "9/34"
    },
    {
      "q": "5/8",
      "rho0": "64/89",
      "rho1": "25/89"
    },
    {
      "q": "13/20",
      "rho0": "400/569",
      "rho1": "169/569"
    },
    {
      "q": "27/40",
      "rho0": "1600/2329",
      "rho1": "729/2329"
    },
    {
      "q": "7/10",
      "rho0": "100/149",
      "rho1": "49/149"
    },
    {
      "q": "29/40",
      "rho0": "1600/2441",
      "rho1": "841/2441"
    },
    {
      "q": "3/4",
      "rho0": "16/25",
      "rho1": "9/25"
    },
    {
      "q": "31/40",
      "rho0": "1600/2561",
      "rho1": "961/2561"
    },
    {
      "q": "4/5",
      "rho0": "25/41",
      "rho1": "16/41"
    },
    {
      "q": "33/40",
      "rho0": "1600/2689",
      "rho1": "1089/2689"
    },
    {
      "q": "17/20",
      "rho0": "400/689",
      "rho1": "289/689"
    },
    {
      "q": "7/8",
      "rho0": "64/113",
      "rho1": "49/113"
    },
    {
      "q": "9/10",
      "rho0": "100/181",
      "rho1": "81/181"
    },
    {
      "q": "37/40",
      "rho0": "1600/2969",
      "rho1": "1369/2969"
    },
    {
      "q": "19/20",
      "rho0": "400/761",
      "rho1": "361/761"
    },
    {
      "q": "39/40",
      "rho0": "1600/3121",
      "rho1": "1521/3121"
    },
    {
      "q": "1",
      "rho0": "1/2",
      "rho1": "1/2"
    },
    {
      "q": "41/40",
      "rho0": "1600/3281",
      "rho1": "1681/3281"
    },
    {
      "q": "21/20",
      "rho0": "400/841",
      "rho1": "441/841"
    },
    {
      "q": "43/40",
      "rho0": "1600/3449",
      "rho1": "1849/3449"
    },
    {
      "q": "11/10",
      "rho0": "100/221",
      "rho1": "121/221"
    },
    {
      "q": "9/8",
      "rho0": "64/145",
      "rho1": "81/145"
    },
    {
      "q": "23/20",
      "rho0": "400/929",
      "rho1": "529/929"
    },
    {
      "q": "47/40",
      "rho0": "1600/3809",
      "rho1": "2209/3809"
    },
    {
      "q": "6/5",
      "rho0": "25/61",
      "rho1": "36/61"
    },
    {
      "q": "49/40",
      "rho0": "1600/4001",
      "rho1": "2401/4001"
    },
    {
      "q": "5/4",
      "rho0": "16/41",
      "rho1": "25/41"
    },
    {
      "q": "51/40",
      "rho0": "1600/4201",
      "rho1": "2601/4201"
    },
    {
      "q": "13/10",
      "rho0": "100/269",
      "rho1": "169/269"
    },
    {
      "q": "53/40",
      "rho0": "1600/4409",
      "rho1": "2809/4409"
    },
    {
      "q": "27/20",
      "rho0": "400/1129",
      "rho1": "729/1129"
    },
    {
      "q": "11/8",
      "rho0": "64/185",
      "rho1": "121/185"
    },
    {
      "q": "7/5",
      "rho0": "25/74",
      "rho1": "49/74"
    },
    {
      "q": "57/40",
      "rho0": "1600/4849",
      "rho1": "3249/4849"
    },
    {
      "q": "29/20",
      "rho0": "400/1241",
      "rho1": "841/1241"
    },
    {
      "q": "59/40",
      "rho0": "1600/5081",
      "rho1": "3481/5081"
    },
    {
      "q": "3/2",
      "rho0": "4/13",
      "rho1": "9/13"
    },
    {
      "q": "61/40",
      "rho0": "1600/5321",
      "rho1": "3721/5321"
    },
    {
      "q": "31/20",
      "rho0": "400/1361",
      "rho1": "961/1361"
    },
    {
      "q": "63/40",
      "rho0": "1600/5569",
      "rho1": "3969/5569"
    },
    {
      "q": "8/5",
      "rho0": "25/89",
      "rho1": "64/89"
    },
    {
      "q": "13/8",
      "rho0": "64/233",
      "rho1": "169/233"
    },
    {
      "q": "33/20",
      "rho0": "400/1489",
      "rho1": "1089/1489"
    },
    {
      "q": "67/40",
      "rho0": "1600/6089",
      "rho1": "4489/6089"
    },
    {
      "q": "17/10",
      "rho0": "100/389",
      "rho1": "289/389"
    },
    {
      "q": "69/40",
      "rho0": "1600/6361",
      "rho1": "4761/6361"
    },
    {
      "q": "7/4",
      "rho0": "16/65",
      "rho1": "49/65"
    },
    {
      "q": "71/40",
      "rho0": "1600/6641",
      "rho1": "5041/6641"
    },
    {
      "q": "9/5",
      "rho0": "25/106",
      "rho1": "81/106"
    },
    {
      "q": "73/40",
      "rho0": "1600/6929",
      "rho1": "5329/6929"
    },
    {
      "q": "37/20",
      "rho0": "400/1769",
      "rho1": "1369/1769"
    },
    {
      "q": "15/8",
      "rho0": "64/289",
      "rho1": "225/289"
    },
    {
      "q": "19/10",
      "rho0": "100/461",
      "rho1": "361/461"
    },
    {
      "q": "77/40",
      "rho0": "1600/7529",
      "rho1": "5929/7529"
    },
    {
      "q": "39/20",
      "rho0": "400/1921",
      "rho1": "1521/1921"
    },
    {
      "q": "79/40",
      "rho0": "1600/7841",
      "rho1": "6241/7841"
    },
    {
      "q": "2",
      "rho0": "1/5",
      "rho1": "4/5"
    },
    {
      "q": "81/40",
      "rho0": "1600/8161",
      "rho1": "6561/8161"
    },
    {
      "q": "41/20",
      "rho0": "400/2081",
      "rho1": "1681/2081"
    },
    {
      "q": "83/40",
      "rho0": "1600/8489",
      "rho1": "6889/8489"
    },
    {
      "q": "21/10",
      "rho0": "100/541",
      "rho1": "441/541"
    },
    {
      "q": "17/8",
      "rho0": "64/353",
      "rho1": "289/353"
    },
    {
      "q": "43/20",
      "rho0": "400/2249",
      "rho1": "1849/2249"
    },
    {
      "q": "87/40",
      "rho0": "1600/9169",
      "rho1": "7569/9169"
    },
    {
      "q": "11/5",
      "rho0": "25/146",
      "rho1": "121/146"
    },
    {
      "q": "89/40",
      "rho0": "1600/9521",
      "rho1": "7921/9521"
    },
    {
      "q": "9/4",
      "rho0": "16/97",
      "rho1": "81/97"
    },
    {
      "q": "91/40",
      "rho0": "1600/9881",
      "rho1": "8281/9881"
    },
    {
      "q": "23/10",
      "rho0": "100/629",
      "rho1": "529/629"
    },
    {
      "q": "93/40",
      "rho0": "1600/10249",
      "rho1": "8649/10249"
    },
    {
      "q": "47/20",
      "rho0": "400/2609",
      "rho1": "2209/2609"
    },
    {
      "q": "19/8",
      "rho0": "64/425",
      "rho1": "361/425"
    },
    {
      "q": "12/5",
      "rho0": "25/169",
      "rho1": "144/169"
    },
    {
      "q": "97/40",
      "rho0": "1600/11009",
      "rho1": "9409/11009"
    },
    {
      "q": "49/20",
      "rho0": "400/2801",
      "rho1": "2401/2801"
    },
    {
      "q": "99/40",
      "rho0": "1600/11401",
      "rho1": "9801/11401"
    },
    {
      "q": "5/2",
      "rho0": "4/29",
      "rho1": "25/29"
    },
    {
      "q": "101/40",
      "rho0": "1600/11801",
      "rho1": "10201/11801"
    },
    {
      "q": "51/20",
      "rho0": "400/3001",
      "rho1": "2601/3001"
    },
    {
      "q": "103/40",
      "rho0": "1600/12209",
      "rho1": "10609/12209"
    },
    {
      "q": "13/5",
      "rho0": "25/194",
      "rho1": "169/194"
    },
    {
      "q": "21/8",
      "rho0": "64/505",
      "rho1": "441/505"
    },
    {
      "q": "53/20",
      "rho0": "400/3209",
      "rho1": "2809/3209"
    },
    {
      "q": "107/40",
      "rho0": "1600/13049",
      "rho1": "11449/13049"
    },
    {
      "q": "27/10",
      "rho0": "100/829",
      "rho1": "729/829"
    },
    {
      "q": "109/40",
      "rho0": "1600/13481",
      "rho1": "11881/13481"
    },
    {
      "q": "11/4",
      "rho0": "16/137",
      "rho1": "121/137"
    },
    {
      "q": "111/40",
      "rho0": "1600/13921",
      "rho1": "12321/13921"
    },
    {
      "q": "14/5",
      "rho0": "25/221",
      "rho1": "196/221"
    },
    {
      "q": "113/40",
      "rho0": "1600/14369",
      "rho1": "12769/14369"
    },
    {
      "q": "57/20",
      "rho0": "400/3649",
      "rho1": "3249/3649"
    },
    {
      "q": "23/8",
      "rho0": "64/593",
      "rho1": "529/593"
    },
    {
      "q": "29/10",
      "rho0": "100/941",
      "rho1": "841/941"
    },
    {
      "q": "117/40",
      "rho0": "1600/15289",
      "rho1": "13689/15289"
    },
    {
      "q": "59/20",
      "rho0": "400/3881",
      "rho1": "3481/3881"
    },
    {
      "q": "119/40",
      "rho0": "1600/15761",
      "rho1": "14161/15761"
    },
    {
      "q": "3",
      "rho0": "1/10",
      "rho1": "9/10"
    }
  ],
  "parameter_simplex": {
    "dimension": 2,
    "minimum_N": 3,
    "identity": "dbar H012=-H12+H02-H01",
    "vertices": [
      [
        "0.1",
        "0.08"
      ],
      [
        "0.95",
        "0.08"
      ],
      [
        "0.525",
        "0.85"
      ]
    ]
  },
  "coordinates": {
    "forward": [
      "Delta t",
      "Delta x",
      "1",
      "y"
    ],
    "reverse": [
      "Delta s",
      "Delta y",
      "1",
      "-x"
    ],
    "Jacobian": "(-1)^d"
  },
  "proof_locators": [
    "UC.1",
    "UC.6\u2013UC.15",
    "UC.16\u2013UC.19"
  ],
  "free_context": "https://haroldpboas.gitlab.io/courses/685-2005c/notes.pdf",
  "analytic_incidence_inverse_product_claimed": false
}