{
  "normal_example": {
    "a": 1,
    "cutoffs": [
      {
        "J": 0,
        "partial": "1",
        "lower": "0",
        "upper": "1"
      },
      {
        "J": 1,
        "partial": "0",
        "lower": "0",
        "upper": "1/2"
      },
      {
        "J": 2,
        "partial": "1/2",
        "lower": "1/3",
        "upper": "1/2"
      },
      {
        "J": 3,
        "partial": "1/3",
        "lower": "1/3",
        "upper": "3/8"
      },
      {
        "J": 4,
        "partial": "3/8",
        "lower": "11/30",
        "upper": "3/8"
      },
      {
        "J": 5,
        "partial": "11/30",
        "lower": "11/30",
        "upper": "53/144"
      },
      {
        "J": 6,
        "partial": "53/144",
        "lower": "103/280",
        "upper": "53/144"
      },
      {
        "J": 7,
        "partial": "103/280",
        "lower": "103/280",
        "upper": "2119/5760"
      },
      {
        "J": 8,
        "partial": "2119/5760",
        "lower": "16687/45360",
        "upper": "2119/5760"
      },
      {
        "J": 9,
        "partial": "16687/45360",
        "lower": "16687/45360",
        "upper": "16481/44800"
      },
      {
        "J": 10,
        "partial": "16481/44800",
        "lower": "1468457/3991680",
        "upper": "16481/44800"
      },
      {
        "J": 11,
        "partial": "1468457/3991680",
        "lower": "1468457/3991680",
        "upper": "16019531/43545600"
      },
      {
        "J": 12,
        "partial": "16019531/43545600",
        "lower": "63633137/172972800",
        "upper": "16019531/43545600"
      }
    ],
    "reference_lower": "307662419905587585654556899376849633804439730767/836313165329095177704251551336018791628800000000",
    "reference_upper": "2565456909781843532662554924968518939374106573/6973634899554681490133429654667657216000000000",
    "reference_indices": [
      41,
      40
    ]
  },
  "transpose_example": {
    "c": "1/4",
    "y": 0,
    "w": 0,
    "normal_covariable": 1,
    "input_m_window": [
      0,
      12
    ],
    "output_j_window": [
      -6,
      6
    ],
    "sign": "(-1)^j",
    "contributions": [
      {
        "j": -6,
        "m": 0,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "45/256"
      },
      {
        "j": -6,
        "m": 1,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "315/1024"
      },
      {
        "j": -6,
        "m": 2,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "315/2048"
      },
      {
        "j": -6,
        "m": 3,
        "loss": 9,
        "sign": 1,
        "absolute_rational": "315/8192"
      },
      {
        "j": -6,
        "m": 4,
        "loss": 10,
        "sign": 1,
        "absolute_rational": "1575/262144"
      },
      {
        "j": -6,
        "m": 5,
        "loss": 11,
        "sign": 1,
        "absolute_rational": "693/1048576"
      },
      {
        "j": -6,
        "m": 6,
        "loss": 12,
        "sign": 1,
        "absolute_rational": "231/4194304"
      },
      {
        "j": -6,
        "m": 7,
        "loss": 13,
        "sign": 1,
        "absolute_rational": "429/117440512"
      },
      {
        "j": -6,
        "m": 8,
        "loss": 14,
        "sign": 1,
        "absolute_rational": "429/2147483648"
      },
      {
        "j": -6,
        "m": 9,
        "loss": 15,
        "sign": 1,
        "absolute_rational": "715/77309411328"
      },
      {
        "j": -6,
        "m": 10,
        "loss": 16,
        "sign": 1,
        "absolute_rational": "143/386547056640"
      },
      {
        "j": -6,
        "m": 11,
        "loss": 17,
        "sign": 1,
        "absolute_rational": "221/17008070492160"
      },
      {
        "j": -6,
        "m": 12,
        "loss": 18,
        "sign": 1,
        "absolute_rational": "221/544258255749120"
      },
      {
        "j": -5,
        "m": 0,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "15/128"
      },
      {
        "j": -5,
        "m": 1,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "45/256"
      },
      {
        "j": -5,
        "m": 2,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "315/4096"
      },
      {
        "j": -5,
        "m": 3,
        "loss": 8,
        "sign": -1,
        "absolute_rational": "35/2048"
      },
      {
        "j": -5,
        "m": 4,
        "loss": 9,
        "sign": -1,
        "absolute_rational": "315/131072"
      },
      {
        "j": -5,
        "m": 5,
        "loss": 10,
        "sign": -1,
        "absolute_rational": "63/262144"
      },
      {
        "j": -5,
        "m": 6,
        "loss": 11,
        "sign": -1,
        "absolute_rational": "77/4194304"
      },
      {
        "j": -5,
        "m": 7,
        "loss": 12,
        "sign": -1,
        "absolute_rational": "33/29360128"
      },
      {
        "j": -5,
        "m": 8,
        "loss": 13,
        "sign": -1,
        "absolute_rational": "429/7516192768"
      },
      {
        "j": -5,
        "m": 9,
        "loss": 14,
        "sign": -1,
        "absolute_rational": "143/57982058496"
      },
      {
        "j": -5,
        "m": 10,
        "loss": 15,
        "sign": -1,
        "absolute_rational": "143/1546188226560"
      },
      {
        "j": -5,
        "m": 11,
        "loss": 16,
        "sign": -1,
        "absolute_rational": "13/4252017623040"
      },
      {
        "j": -5,
        "m": 12,
        "loss": 17,
        "sign": -1,
        "absolute_rational": "221/2449162150871040"
      },
      {
        "j": -4,
        "m": 0,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "3/32"
      },
      {
        "j": -4,
        "m": 1,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "15/128"
      },
      {
        "j": -4,
        "m": 2,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "45/1024"
      },
      {
        "j": -4,
        "m": 3,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "35/4096"
      },
      {
        "j": -4,
        "m": 4,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "35/32768"
      },
      {
        "j": -4,
        "m": 5,
        "loss": 9,
        "sign": 1,
        "absolute_rational": "63/655360"
      },
      {
        "j": -4,
        "m": 6,
        "loss": 10,
        "sign": 1,
        "absolute_rational": "7/1048576"
      },
      {
        "j": -4,
        "m": 7,
        "loss": 11,
        "sign": 1,
        "absolute_rational": "11/29360128"
      },
      {
        "j": -4,
        "m": 8,
        "loss": 12,
        "sign": 1,
        "absolute_rational": "33/1879048192"
      },
      {
        "j": -4,
        "m": 9,
        "loss": 13,
        "sign": 1,
        "absolute_rational": "143/202937204736"
      },
      {
        "j": -4,
        "m": 10,
        "loss": 14,
        "sign": 1,
        "absolute_rational": "143/5798205849600"
      },
      {
        "j": -4,
        "m": 11,
        "loss": 15,
        "sign": 1,
        "absolute_rational": "13/17008070492160"
      },
      {
        "j": -4,
        "m": 12,
        "loss": 16,
        "sign": 1,
        "absolute_rational": "13/612290537717760"
      },
      {
        "j": -3,
        "m": 0,
        "loss": 3,
        "sign": -1,
        "absolute_rational": "3/32"
      },
      {
        "j": -3,
        "m": 1,
        "loss": 4,
        "sign": -1,
        "absolute_rational": "3/32"
      },
      {
        "j": -3,
        "m": 2,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "15/512"
      },
      {
        "j": -3,
        "m": 3,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "5/1024"
      },
      {
        "j": -3,
        "m": 4,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "35/65536"
      },
      {
        "j": -3,
        "m": 5,
        "loss": 8,
        "sign": -1,
        "absolute_rational": "7/163840"
      },
      {
        "j": -3,
        "m": 6,
        "loss": 9,
        "sign": -1,
        "absolute_rational": "7/2621440"
      },
      {
        "j": -3,
        "m": 7,
        "loss": 10,
        "sign": -1,
        "absolute_rational": "1/7340032"
      },
      {
        "j": -3,
        "m": 8,
        "loss": 11,
        "sign": -1,
        "absolute_rational": "11/1879048192"
      },
      {
        "j": -3,
        "m": 9,
        "loss": 12,
        "sign": -1,
        "absolute_rational": "11/50734301184"
      },
      {
        "j": -3,
        "m": 10,
        "loss": 13,
        "sign": -1,
        "absolute_rational": "143/20293720473600"
      },
      {
        "j": -3,
        "m": 11,
        "loss": 14,
        "sign": -1,
        "absolute_rational": "13/63780264345600"
      },
      {
        "j": -3,
        "m": 12,
        "loss": 15,
        "sign": -1,
        "absolute_rational": "13/2449162150871040"
      },
      {
        "j": -2,
        "m": 0,
        "loss": 2,
        "sign": 1,
        "absolute_rational": "1/8"
      },
      {
        "j": -2,
        "m": 1,
        "loss": 3,
        "sign": 1,
        "absolute_rational": "3/32"
      },
      {
        "j": -2,
        "m": 2,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "3/128"
      },
      {
        "j": -2,
        "m": 3,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "5/1536"
      },
      {
        "j": -2,
        "m": 4,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "5/16384"
      },
      {
        "j": -2,
        "m": 5,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "7/327680"
      },
      {
        "j": -2,
        "m": 6,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "7/5898240"
      },
      {
        "j": -2,
        "m": 7,
        "loss": 9,
        "sign": 1,
        "absolute_rational": "1/18350080"
      },
      {
        "j": -2,
        "m": 8,
        "loss": 10,
        "sign": 1,
        "absolute_rational": "1/469762048"
      },
      {
        "j": -2,
        "m": 9,
        "loss": 11,
        "sign": 1,
        "absolute_rational": "11/152202903552"
      },
      {
        "j": -2,
        "m": 10,
        "loss": 12,
        "sign": 1,
        "absolute_rational": "11/5073430118400"
      },
      {
        "j": -2,
        "m": 11,
        "loss": 13,
        "sign": 1,
        "absolute_rational": "13/223230925209600"
      },
      {
        "j": -2,
        "m": 12,
        "loss": 14,
        "sign": 1,
        "absolute_rational": "13/9184358065766400"
      },
      {
        "j": -1,
        "m": 0,
        "loss": 1,
        "sign": -1,
        "absolute_rational": "1/4"
      },
      {
        "j": -1,
        "m": 1,
        "loss": 2,
        "sign": -1,
        "absolute_rational": "1/8"
      },
      {
        "j": -1,
        "m": 2,
        "loss": 3,
        "sign": -1,
        "absolute_rational": "3/128"
      },
      {
        "j": -1,
        "m": 3,
        "loss": 4,
        "sign": -1,
        "absolute_rational": "1/384"
      },
      {
        "j": -1,
        "m": 4,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "5/24576"
      },
      {
        "j": -1,
        "m": 5,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "1/81920"
      },
      {
        "j": -1,
        "m": 6,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "7/11796480"
      },
      {
        "j": -1,
        "m": 7,
        "loss": 8,
        "sign": -1,
        "absolute_rational": "1/41287680"
      },
      {
        "j": -1,
        "m": 8,
        "loss": 9,
        "sign": -1,
        "absolute_rational": "1/1174405120"
      },
      {
        "j": -1,
        "m": 9,
        "loss": 10,
        "sign": -1,
        "absolute_rational": "1/38050725888"
      },
      {
        "j": -1,
        "m": 10,
        "loss": 11,
        "sign": -1,
        "absolute_rational": "11/15220290355200"
      },
      {
        "j": -1,
        "m": 11,
        "loss": 12,
        "sign": -1,
        "absolute_rational": "1/55807731302400"
      },
      {
        "j": -1,
        "m": 12,
        "loss": 13,
        "sign": -1,
        "absolute_rational": "13/32145253230182400"
      },
      {
        "j": 0,
        "m": 0,
        "loss": 0,
        "sign": 1,
        "absolute_rational": "1"
      },
      {
        "j": 0,
        "m": 1,
        "loss": 1,
        "sign": 1,
        "absolute_rational": "1/4"
      },
      {
        "j": 0,
        "m": 2,
        "loss": 2,
        "sign": 1,
        "absolute_rational": "1/32"
      },
      {
        "j": 0,
        "m": 3,
        "loss": 3,
        "sign": 1,
        "absolute_rational": "1/384"
      },
      {
        "j": 0,
        "m": 4,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "1/6144"
      },
      {
        "j": 0,
        "m": 5,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "1/122880"
      },
      {
        "j": 0,
        "m": 6,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "1/2949120"
      },
      {
        "j": 0,
        "m": 7,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "1/82575360"
      },
      {
        "j": 0,
        "m": 8,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "1/2642411520"
      },
      {
        "j": 0,
        "m": 9,
        "loss": 9,
        "sign": 1,
        "absolute_rational": "1/95126814720"
      },
      {
        "j": 0,
        "m": 10,
        "loss": 10,
        "sign": 1,
        "absolute_rational": "1/3805072588800"
      },
      {
        "j": 0,
        "m": 11,
        "loss": 11,
        "sign": 1,
        "absolute_rational": "1/167423193907200"
      },
      {
        "j": 0,
        "m": 12,
        "loss": 12,
        "sign": 1,
        "absolute_rational": "1/8036313307545600"
      },
      {
        "j": 1,
        "m": 1,
        "loss": 0,
        "sign": -1,
        "absolute_rational": "1"
      },
      {
        "j": 1,
        "m": 2,
        "loss": 1,
        "sign": -1,
        "absolute_rational": "1/16"
      },
      {
        "j": 1,
        "m": 3,
        "loss": 2,
        "sign": -1,
        "absolute_rational": "1/288"
      },
      {
        "j": 1,
        "m": 4,
        "loss": 3,
        "sign": -1,
        "absolute_rational": "1/6144"
      },
      {
        "j": 1,
        "m": 5,
        "loss": 4,
        "sign": -1,
        "absolute_rational": "1/153600"
      },
      {
        "j": 1,
        "m": 6,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "1/4423680"
      },
      {
        "j": 1,
        "m": 7,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "1/144506880"
      },
      {
        "j": 1,
        "m": 8,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "1/5284823040"
      },
      {
        "j": 1,
        "m": 9,
        "loss": 8,
        "sign": -1,
        "absolute_rational": "1/214035333120"
      },
      {
        "j": 1,
        "m": 10,
        "loss": 9,
        "sign": -1,
        "absolute_rational": "1/9512681472000"
      },
      {
        "j": 1,
        "m": 11,
        "loss": 10,
        "sign": -1,
        "absolute_rational": "1/460413783244800"
      },
      {
        "j": 1,
        "m": 12,
        "loss": 11,
        "sign": -1,
        "absolute_rational": "1/24108939922636800"
      },
      {
        "j": 2,
        "m": 2,
        "loss": 0,
        "sign": 1,
        "absolute_rational": "1/4"
      },
      {
        "j": 2,
        "m": 3,
        "loss": 1,
        "sign": 1,
        "absolute_rational": "1/144"
      },
      {
        "j": 2,
        "m": 4,
        "loss": 2,
        "sign": 1,
        "absolute_rational": "1/4608"
      },
      {
        "j": 2,
        "m": 5,
        "loss": 3,
        "sign": 1,
        "absolute_rational": "1/153600"
      },
      {
        "j": 2,
        "m": 6,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "1/5529600"
      },
      {
        "j": 2,
        "m": 7,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "1/216760320"
      },
      {
        "j": 2,
        "m": 8,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "1/9248440320"
      },
      {
        "j": 2,
        "m": 9,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "1/428070666240"
      },
      {
        "j": 2,
        "m": 10,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "1/21403533312000"
      },
      {
        "j": 2,
        "m": 11,
        "loss": 9,
        "sign": 1,
        "absolute_rational": "1/1151034458112000"
      },
      {
        "j": 2,
        "m": 12,
        "loss": 10,
        "sign": 1,
        "absolute_rational": "1/66299584787251200"
      },
      {
        "j": 3,
        "m": 3,
        "loss": 0,
        "sign": -1,
        "absolute_rational": "1/36"
      },
      {
        "j": 3,
        "m": 4,
        "loss": 1,
        "sign": -1,
        "absolute_rational": "1/2304"
      },
      {
        "j": 3,
        "m": 5,
        "loss": 2,
        "sign": -1,
        "absolute_rational": "1/115200"
      },
      {
        "j": 3,
        "m": 6,
        "loss": 3,
        "sign": -1,
        "absolute_rational": "1/5529600"
      },
      {
        "j": 3,
        "m": 7,
        "loss": 4,
        "sign": -1,
        "absolute_rational": "1/270950400"
      },
      {
        "j": 3,
        "m": 8,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "1/13872660480"
      },
      {
        "j": 3,
        "m": 9,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "1/749123665920"
      },
      {
        "j": 3,
        "m": 10,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "1/42807066624000"
      },
      {
        "j": 3,
        "m": 11,
        "loss": 8,
        "sign": -1,
        "absolute_rational": "1/2589827530752000"
      },
      {
        "j": 3,
        "m": 12,
        "loss": 9,
        "sign": -1,
        "absolute_rational": "1/165748961968128000"
      },
      {
        "j": 4,
        "m": 4,
        "loss": 0,
        "sign": 1,
        "absolute_rational": "1/576"
      },
      {
        "j": 4,
        "m": 5,
        "loss": 1,
        "sign": 1,
        "absolute_rational": "1/57600"
      },
      {
        "j": 4,
        "m": 6,
        "loss": 2,
        "sign": 1,
        "absolute_rational": "1/4147200"
      },
      {
        "j": 4,
        "m": 7,
        "loss": 3,
        "sign": 1,
        "absolute_rational": "1/270950400"
      },
      {
        "j": 4,
        "m": 8,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "1/17340825600"
      },
      {
        "j": 4,
        "m": 9,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "1/1123685498880"
      },
      {
        "j": 4,
        "m": 10,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "1/74912366592000"
      },
      {
        "j": 4,
        "m": 11,
        "loss": 7,
        "sign": 1,
        "absolute_rational": "1/5179655061504000"
      },
      {
        "j": 4,
        "m": 12,
        "loss": 8,
        "sign": 1,
        "absolute_rational": "1/372935164428288000"
      },
      {
        "j": 5,
        "m": 5,
        "loss": 0,
        "sign": -1,
        "absolute_rational": "1/14400"
      },
      {
        "j": 5,
        "m": 6,
        "loss": 1,
        "sign": -1,
        "absolute_rational": "1/2073600"
      },
      {
        "j": 5,
        "m": 7,
        "loss": 2,
        "sign": -1,
        "absolute_rational": "1/203212800"
      },
      {
        "j": 5,
        "m": 8,
        "loss": 3,
        "sign": -1,
        "absolute_rational": "1/17340825600"
      },
      {
        "j": 5,
        "m": 9,
        "loss": 4,
        "sign": -1,
        "absolute_rational": "1/1404606873600"
      },
      {
        "j": 5,
        "m": 10,
        "loss": 5,
        "sign": -1,
        "absolute_rational": "1/112368549888000"
      },
      {
        "j": 5,
        "m": 11,
        "loss": 6,
        "sign": -1,
        "absolute_rational": "1/9064396357632000"
      },
      {
        "j": 5,
        "m": 12,
        "loss": 7,
        "sign": -1,
        "absolute_rational": "1/745870328856576000"
      },
      {
        "j": 6,
        "m": 6,
        "loss": 0,
        "sign": 1,
        "absolute_rational": "1/518400"
      },
      {
        "j": 6,
        "m": 7,
        "loss": 1,
        "sign": 1,
        "absolute_rational": "1/101606400"
      },
      {
        "j": 6,
        "m": 8,
        "loss": 2,
        "sign": 1,
        "absolute_rational": "1/13005619200"
      },
      {
        "j": 6,
        "m": 9,
        "loss": 3,
        "sign": 1,
        "absolute_rational": "1/1404606873600"
      },
      {
        "j": 6,
        "m": 10,
        "loss": 4,
        "sign": 1,
        "absolute_rational": "1/140460687360000"
      },
      {
        "j": 6,
        "m": 11,
        "loss": 5,
        "sign": 1,
        "absolute_rational": "1/13596594536448000"
      },
      {
        "j": 6,
        "m": 12,
        "loss": 6,
        "sign": 1,
        "absolute_rational": "1/1305273075499008000"
      }
    ],
    "enclosures": [
      {
        "j": -5,
        "sign": -1,
        "J": 40,
        "lower_abs": "3279528289344724381372758517453980768875759176699099879578774340695396479/8417118314978705797929162631784926910360690503603007394828150374400000000",
        "upper_abs": "16807582482891712454535387401951651440488265780582886882841218496063992627/43137731364265867214386958487897750415598538830965412898494270668800000000"
      },
      {
        "j": -4,
        "sign": 1,
        "J": 40,
        "lower_abs": "3326107375333322749758278464010647432877241834495113467795272007313243/12570367853910850952701855782235553928256706247913690852491264000000000",
        "upper_abs": "25364894844291919289656631566545197323121846229859735305406744327770807673/95861625253924149365304352195328334256885641846589806441098379264000000000"
      },
      {
        "j": -3,
        "sign": -1,
        "J": 40,
        "lower_abs": "212588940453427185283005428425375710063977947946006655639638022616907711/956490717611216567946495753611923512540987557227614476685017088000000000",
        "upper_abs": "264125653290621654442521895922436488261305935326856753976519967493733841/1188367255213935735933525027214814061035772419585824046790475776000000000"
      },
      {
        "j": -2,
        "sign": 1,
        "J": 40,
        "lower_abs": "1939386836181617820042988873138688424109745228934796965694187207737883101/7891048420292536685558589967298368978463147347127819432651390976000000000",
        "upper_abs": "31805944113378532248705017519474490155399821754530670237384670206901283037/129413194092797601643160875463693251246795616492896238695482812006400000000"
      },
      {
        "j": -1,
        "sign": -1,
        "J": 40,
        "lower_abs": "527724309165066073481085407656785965744148361614910738964404682377655267/1315174736715422780926431661216394829743857891187969905441898496000000000",
        "upper_abs": "373046494409788086426284512309107320612242807348471384440355034094549413/929692486298833345137649967411589448612037474805289071088238592000000000"
      },
      {
        "j": 0,
        "sign": 1,
        "J": 40,
        "lower_abs": "55066884434615590276287172972882013816780698603295033631068314682885767/42886132718981177638905380257056353143821452973520757786148864000000000",
        "upper_abs": "1822037614801491285282063302225534702779796448523060235582365640209167659/1419004321192956158367992055522952316302583514176493845345206272000000000"
      },
      {
        "j": 1,
        "sign": -1,
        "J": 40,
        "lower_abs": "2601270488155439601305517169940855698318096345789830341957601210175485999742322160547/2439891830670709818273147932370969896166490879376978932804831478508096061440000000000",
        "upper_abs": "1457578563529764656598191454223526142957573319090901601610242544768330655190596903545349/1367152722452487734839053891438533465151957056077567195348307238457369826426880000000000"
      },
      {
        "j": 2,
        "sign": 1,
        "J": 40,
        "lower_abs": "52288539902593653516513764972111062339467201221540155803083781203849132068182416951/203324319222559151522762327697580824680540906614748244400402623209008005120000000000",
        "upper_abs": "527382213457559589367557833508712174755866191520454011429903017222022346039935215305613/2050729083678731602258580837157800197727935584116350793022460857686054739640320000000000"
      },
      {
        "j": 3,
        "sign": -1,
        "J": 40,
        "lower_abs": "1518868763519120296295222162024153610830545001795915177029142031871653308257700453/53821143323618598932495910272889041827202004692139241164812459084737413120000000000",
        "upper_abs": "127660919573782060903613422718130110990307307400946670629299387778812460559115686409/4523667096350143240276281258436323965576328494374303219902487186072179572736000000000"
      },
      {
        "j": 4,
        "sign": 1,
        "J": 40,
        "lower_abs": "3610305017580818271415261330849803387863628844685328101502491104371645010656821017/2058658732128411409167968567938005849890476679474325974554076559991206051840000000000",
        "upper_abs": "12137845469106711028498108594317038989997520175832073077251375092897470525837245301423/6921210657415719157622710325407575667331782596392683926450805394690434746286080000000000"
      },
      {
        "j": 5,
        "sign": -1,
        "J": 40,
        "lower_abs": "111861272135877521517883880986607597349787287857373746825762270401941821013479/1599579434443210108133619710907541452906353286304837587066104553217720320000000000",
        "upper_abs": "90537199258715980656678387081493919440181540798044018125310477596060541281943619/1294652199292128536779407094165277902606019939467393177413169733387660820480000000000"
      }
    ]
  },
  "commuting_maps": {
    "finite": "FIM.B",
    "whole": "BI.25",
    "cutoff_error": "BI.24"
  },
  "free_human_context": "https://arxiv.org/abs/2102.08861v2",
  "proof_locators": [
    "BI.16\u2013BI.17",
    "BI.27\u2013BI.28",
    "BI.18\u2013BI.25"
  ]
}