{
  "scope": "One-dimensional full positive input LN.32, at t=x=z=0; no negative input coefficients.",
  "c": "1/4",
  "input_degrees_shown": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12
  ],
  "output_degrees_shown": [
    -6,
    -5,
    -4,
    -3,
    -2,
    -1,
    0,
    1,
    2,
    3,
    4,
    5,
    6
  ],
  "whole_input_has_no_upper_degree_cutoff": true,
  "matrix_exact_contributions": [
    {
      "input_degree": 0,
      "output_degree": -6,
      "loss": 6,
      "contribution": "45/256"
    },
    {
      "input_degree": 1,
      "output_degree": -6,
      "loss": 7,
      "contribution": "315/1024"
    },
    {
      "input_degree": 2,
      "output_degree": -6,
      "loss": 8,
      "contribution": "315/2048"
    },
    {
      "input_degree": 3,
      "output_degree": -6,
      "loss": 9,
      "contribution": "315/8192"
    },
    {
      "input_degree": 4,
      "output_degree": -6,
      "loss": 10,
      "contribution": "1575/262144"
    },
    {
      "input_degree": 5,
      "output_degree": -6,
      "loss": 11,
      "contribution": "693/1048576"
    },
    {
      "input_degree": 6,
      "output_degree": -6,
      "loss": 12,
      "contribution": "231/4194304"
    },
    {
      "input_degree": 7,
      "output_degree": -6,
      "loss": 13,
      "contribution": "429/117440512"
    },
    {
      "input_degree": 8,
      "output_degree": -6,
      "loss": 14,
      "contribution": "429/2147483648"
    },
    {
      "input_degree": 9,
      "output_degree": -6,
      "loss": 15,
      "contribution": "715/77309411328"
    },
    {
      "input_degree": 10,
      "output_degree": -6,
      "loss": 16,
      "contribution": "143/386547056640"
    },
    {
      "input_degree": 11,
      "output_degree": -6,
      "loss": 17,
      "contribution": "221/17008070492160"
    },
    {
      "input_degree": 12,
      "output_degree": -6,
      "loss": 18,
      "contribution": "221/544258255749120"
    },
    {
      "input_degree": 0,
      "output_degree": -5,
      "loss": 5,
      "contribution": "15/128"
    },
    {
      "input_degree": 1,
      "output_degree": -5,
      "loss": 6,
      "contribution": "45/256"
    },
    {
      "input_degree": 2,
      "output_degree": -5,
      "loss": 7,
      "contribution": "315/4096"
    },
    {
      "input_degree": 3,
      "output_degree": -5,
      "loss": 8,
      "contribution": "35/2048"
    },
    {
      "input_degree": 4,
      "output_degree": -5,
      "loss": 9,
      "contribution": "315/131072"
    },
    {
      "input_degree": 5,
      "output_degree": -5,
      "loss": 10,
      "contribution": "63/262144"
    },
    {
      "input_degree": 6,
      "output_degree": -5,
      "loss": 11,
      "contribution": "77/4194304"
    },
    {
      "input_degree": 7,
      "output_degree": -5,
      "loss": 12,
      "contribution": "33/29360128"
    },
    {
      "input_degree": 8,
      "output_degree": -5,
      "loss": 13,
      "contribution": "429/7516192768"
    },
    {
      "input_degree": 9,
      "output_degree": -5,
      "loss": 14,
      "contribution": "143/57982058496"
    },
    {
      "input_degree": 10,
      "output_degree": -5,
      "loss": 15,
      "contribution": "143/1546188226560"
    },
    {
      "input_degree": 11,
      "output_degree": -5,
      "loss": 16,
      "contribution": "13/4252017623040"
    },
    {
      "input_degree": 12,
      "output_degree": -5,
      "loss": 17,
      "contribution": "221/2449162150871040"
    },
    {
      "input_degree": 0,
      "output_degree": -4,
      "loss": 4,
      "contribution": "3/32"
    },
    {
      "input_degree": 1,
      "output_degree": -4,
      "loss": 5,
      "contribution": "15/128"
    },
    {
      "input_degree": 2,
      "output_degree": -4,
      "loss": 6,
      "contribution": "45/1024"
    },
    {
      "input_degree": 3,
      "output_degree": -4,
      "loss": 7,
      "contribution": "35/4096"
    },
    {
      "input_degree": 4,
      "output_degree": -4,
      "loss": 8,
      "contribution": "35/32768"
    },
    {
      "input_degree": 5,
      "output_degree": -4,
      "loss": 9,
      "contribution": "63/655360"
    },
    {
      "input_degree": 6,
      "output_degree": -4,
      "loss": 10,
      "contribution": "7/1048576"
    },
    {
      "input_degree": 7,
      "output_degree": -4,
      "loss": 11,
      "contribution": "11/29360128"
    },
    {
      "input_degree": 8,
      "output_degree": -4,
      "loss": 12,
      "contribution": "33/1879048192"
    },
    {
      "input_degree": 9,
      "output_degree": -4,
      "loss": 13,
      "contribution": "143/202937204736"
    },
    {
      "input_degree": 10,
      "output_degree": -4,
      "loss": 14,
      "contribution": "143/5798205849600"
    },
    {
      "input_degree": 11,
      "output_degree": -4,
      "loss": 15,
      "contribution": "13/17008070492160"
    },
    {
      "input_degree": 12,
      "output_degree": -4,
      "loss": 16,
      "contribution": "13/612290537717760"
    },
    {
      "input_degree": 0,
      "output_degree": -3,
      "loss": 3,
      "contribution": "3/32"
    },
    {
      "input_degree": 1,
      "output_degree": -3,
      "loss": 4,
      "contribution": "3/32"
    },
    {
      "input_degree": 2,
      "output_degree": -3,
      "loss": 5,
      "contribution": "15/512"
    },
    {
      "input_degree": 3,
      "output_degree": -3,
      "loss": 6,
      "contribution": "5/1024"
    },
    {
      "input_degree": 4,
      "output_degree": -3,
      "loss": 7,
      "contribution": "35/65536"
    },
    {
      "input_degree": 5,
      "output_degree": -3,
      "loss": 8,
      "contribution": "7/163840"
    },
    {
      "input_degree": 6,
      "output_degree": -3,
      "loss": 9,
      "contribution": "7/2621440"
    },
    {
      "input_degree": 7,
      "output_degree": -3,
      "loss": 10,
      "contribution": "1/7340032"
    },
    {
      "input_degree": 8,
      "output_degree": -3,
      "loss": 11,
      "contribution": "11/1879048192"
    },
    {
      "input_degree": 9,
      "output_degree": -3,
      "loss": 12,
      "contribution": "11/50734301184"
    },
    {
      "input_degree": 10,
      "output_degree": -3,
      "loss": 13,
      "contribution": "143/20293720473600"
    },
    {
      "input_degree": 11,
      "output_degree": -3,
      "loss": 14,
      "contribution": "13/63780264345600"
    },
    {
      "input_degree": 12,
      "output_degree": -3,
      "loss": 15,
      "contribution": "13/2449162150871040"
    },
    {
      "input_degree": 0,
      "output_degree": -2,
      "loss": 2,
      "contribution": "1/8"
    },
    {
      "input_degree": 1,
      "output_degree": -2,
      "loss": 3,
      "contribution": "3/32"
    },
    {
      "input_degree": 2,
      "output_degree": -2,
      "loss": 4,
      "contribution": "3/128"
    },
    {
      "input_degree": 3,
      "output_degree": -2,
      "loss": 5,
      "contribution": "5/1536"
    },
    {
      "input_degree": 4,
      "output_degree": -2,
      "loss": 6,
      "contribution": "5/16384"
    },
    {
      "input_degree": 5,
      "output_degree": -2,
      "loss": 7,
      "contribution": "7/327680"
    },
    {
      "input_degree": 6,
      "output_degree": -2,
      "loss": 8,
      "contribution": "7/5898240"
    },
    {
      "input_degree": 7,
      "output_degree": -2,
      "loss": 9,
      "contribution": "1/18350080"
    },
    {
      "input_degree": 8,
      "output_degree": -2,
      "loss": 10,
      "contribution": "1/469762048"
    },
    {
      "input_degree": 9,
      "output_degree": -2,
      "loss": 11,
      "contribution": "11/152202903552"
    },
    {
      "input_degree": 10,
      "output_degree": -2,
      "loss": 12,
      "contribution": "11/5073430118400"
    },
    {
      "input_degree": 11,
      "output_degree": -2,
      "loss": 13,
      "contribution": "13/223230925209600"
    },
    {
      "input_degree": 12,
      "output_degree": -2,
      "loss": 14,
      "contribution": "13/9184358065766400"
    },
    {
      "input_degree": 0,
      "output_degree": -1,
      "loss": 1,
      "contribution": "1/4"
    },
    {
      "input_degree": 1,
      "output_degree": -1,
      "loss": 2,
      "contribution": "1/8"
    },
    {
      "input_degree": 2,
      "output_degree": -1,
      "loss": 3,
      "contribution": "3/128"
    },
    {
      "input_degree": 3,
      "output_degree": -1,
      "loss": 4,
      "contribution": "1/384"
    },
    {
      "input_degree": 4,
      "output_degree": -1,
      "loss": 5,
      "contribution": "5/24576"
    },
    {
      "input_degree": 5,
      "output_degree": -1,
      "loss": 6,
      "contribution": "1/81920"
    },
    {
      "input_degree": 6,
      "output_degree": -1,
      "loss": 7,
      "contribution": "7/11796480"
    },
    {
      "input_degree": 7,
      "output_degree": -1,
      "loss": 8,
      "contribution": "1/41287680"
    },
    {
      "input_degree": 8,
      "output_degree": -1,
      "loss": 9,
      "contribution": "1/1174405120"
    },
    {
      "input_degree": 9,
      "output_degree": -1,
      "loss": 10,
      "contribution": "1/38050725888"
    },
    {
      "input_degree": 10,
      "output_degree": -1,
      "loss": 11,
      "contribution": "11/15220290355200"
    },
    {
      "input_degree": 11,
      "output_degree": -1,
      "loss": 12,
      "contribution": "1/55807731302400"
    },
    {
      "input_degree": 12,
      "output_degree": -1,
      "loss": 13,
      "contribution": "13/32145253230182400"
    },
    {
      "input_degree": 0,
      "output_degree": 0,
      "loss": 0,
      "contribution": "1"
    },
    {
      "input_degree": 1,
      "output_degree": 0,
      "loss": 1,
      "contribution": "1/4"
    },
    {
      "input_degree": 2,
      "output_degree": 0,
      "loss": 2,
      "contribution": "1/32"
    },
    {
      "input_degree": 3,
      "output_degree": 0,
      "loss": 3,
      "contribution": "1/384"
    },
    {
      "input_degree": 4,
      "output_degree": 0,
      "loss": 4,
      "contribution": "1/6144"
    },
    {
      "input_degree": 5,
      "output_degree": 0,
      "loss": 5,
      "contribution": "1/122880"
    },
    {
      "input_degree": 6,
      "output_degree": 0,
      "loss": 6,
      "contribution": "1/2949120"
    },
    {
      "input_degree": 7,
      "output_degree": 0,
      "loss": 7,
      "contribution": "1/82575360"
    },
    {
      "input_degree": 8,
      "output_degree": 0,
      "loss": 8,
      "contribution": "1/2642411520"
    },
    {
      "input_degree": 9,
      "output_degree": 0,
      "loss": 9,
      "contribution": "1/95126814720"
    },
    {
      "input_degree": 10,
      "output_degree": 0,
      "loss": 10,
      "contribution": "1/3805072588800"
    },
    {
      "input_degree": 11,
      "output_degree": 0,
      "loss": 11,
      "contribution": "1/167423193907200"
    },
    {
      "input_degree": 12,
      "output_degree": 0,
      "loss": 12,
      "contribution": "1/8036313307545600"
    },
    {
      "input_degree": 0,
      "output_degree": 1,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 1,
      "loss": 0,
      "contribution": "1"
    },
    {
      "input_degree": 2,
      "output_degree": 1,
      "loss": 1,
      "contribution": "1/16"
    },
    {
      "input_degree": 3,
      "output_degree": 1,
      "loss": 2,
      "contribution": "1/288"
    },
    {
      "input_degree": 4,
      "output_degree": 1,
      "loss": 3,
      "contribution": "1/6144"
    },
    {
      "input_degree": 5,
      "output_degree": 1,
      "loss": 4,
      "contribution": "1/153600"
    },
    {
      "input_degree": 6,
      "output_degree": 1,
      "loss": 5,
      "contribution": "1/4423680"
    },
    {
      "input_degree": 7,
      "output_degree": 1,
      "loss": 6,
      "contribution": "1/144506880"
    },
    {
      "input_degree": 8,
      "output_degree": 1,
      "loss": 7,
      "contribution": "1/5284823040"
    },
    {
      "input_degree": 9,
      "output_degree": 1,
      "loss": 8,
      "contribution": "1/214035333120"
    },
    {
      "input_degree": 10,
      "output_degree": 1,
      "loss": 9,
      "contribution": "1/9512681472000"
    },
    {
      "input_degree": 11,
      "output_degree": 1,
      "loss": 10,
      "contribution": "1/460413783244800"
    },
    {
      "input_degree": 12,
      "output_degree": 1,
      "loss": 11,
      "contribution": "1/24108939922636800"
    },
    {
      "input_degree": 0,
      "output_degree": 2,
      "loss": -2,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 2,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 2,
      "output_degree": 2,
      "loss": 0,
      "contribution": "1/4"
    },
    {
      "input_degree": 3,
      "output_degree": 2,
      "loss": 1,
      "contribution": "1/144"
    },
    {
      "input_degree": 4,
      "output_degree": 2,
      "loss": 2,
      "contribution": "1/4608"
    },
    {
      "input_degree": 5,
      "output_degree": 2,
      "loss": 3,
      "contribution": "1/153600"
    },
    {
      "input_degree": 6,
      "output_degree": 2,
      "loss": 4,
      "contribution": "1/5529600"
    },
    {
      "input_degree": 7,
      "output_degree": 2,
      "loss": 5,
      "contribution": "1/216760320"
    },
    {
      "input_degree": 8,
      "output_degree": 2,
      "loss": 6,
      "contribution": "1/9248440320"
    },
    {
      "input_degree": 9,
      "output_degree": 2,
      "loss": 7,
      "contribution": "1/428070666240"
    },
    {
      "input_degree": 10,
      "output_degree": 2,
      "loss": 8,
      "contribution": "1/21403533312000"
    },
    {
      "input_degree": 11,
      "output_degree": 2,
      "loss": 9,
      "contribution": "1/1151034458112000"
    },
    {
      "input_degree": 12,
      "output_degree": 2,
      "loss": 10,
      "contribution": "1/66299584787251200"
    },
    {
      "input_degree": 0,
      "output_degree": 3,
      "loss": -3,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 3,
      "loss": -2,
      "contribution": null
    },
    {
      "input_degree": 2,
      "output_degree": 3,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 3,
      "output_degree": 3,
      "loss": 0,
      "contribution": "1/36"
    },
    {
      "input_degree": 4,
      "output_degree": 3,
      "loss": 1,
      "contribution": "1/2304"
    },
    {
      "input_degree": 5,
      "output_degree": 3,
      "loss": 2,
      "contribution": "1/115200"
    },
    {
      "input_degree": 6,
      "output_degree": 3,
      "loss": 3,
      "contribution": "1/5529600"
    },
    {
      "input_degree": 7,
      "output_degree": 3,
      "loss": 4,
      "contribution": "1/270950400"
    },
    {
      "input_degree": 8,
      "output_degree": 3,
      "loss": 5,
      "contribution": "1/13872660480"
    },
    {
      "input_degree": 9,
      "output_degree": 3,
      "loss": 6,
      "contribution": "1/749123665920"
    },
    {
      "input_degree": 10,
      "output_degree": 3,
      "loss": 7,
      "contribution": "1/42807066624000"
    },
    {
      "input_degree": 11,
      "output_degree": 3,
      "loss": 8,
      "contribution": "1/2589827530752000"
    },
    {
      "input_degree": 12,
      "output_degree": 3,
      "loss": 9,
      "contribution": "1/165748961968128000"
    },
    {
      "input_degree": 0,
      "output_degree": 4,
      "loss": -4,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 4,
      "loss": -3,
      "contribution": null
    },
    {
      "input_degree": 2,
      "output_degree": 4,
      "loss": -2,
      "contribution": null
    },
    {
      "input_degree": 3,
      "output_degree": 4,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 4,
      "output_degree": 4,
      "loss": 0,
      "contribution": "1/576"
    },
    {
      "input_degree": 5,
      "output_degree": 4,
      "loss": 1,
      "contribution": "1/57600"
    },
    {
      "input_degree": 6,
      "output_degree": 4,
      "loss": 2,
      "contribution": "1/4147200"
    },
    {
      "input_degree": 7,
      "output_degree": 4,
      "loss": 3,
      "contribution": "1/270950400"
    },
    {
      "input_degree": 8,
      "output_degree": 4,
      "loss": 4,
      "contribution": "1/17340825600"
    },
    {
      "input_degree": 9,
      "output_degree": 4,
      "loss": 5,
      "contribution": "1/1123685498880"
    },
    {
      "input_degree": 10,
      "output_degree": 4,
      "loss": 6,
      "contribution": "1/74912366592000"
    },
    {
      "input_degree": 11,
      "output_degree": 4,
      "loss": 7,
      "contribution": "1/5179655061504000"
    },
    {
      "input_degree": 12,
      "output_degree": 4,
      "loss": 8,
      "contribution": "1/372935164428288000"
    },
    {
      "input_degree": 0,
      "output_degree": 5,
      "loss": -5,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 5,
      "loss": -4,
      "contribution": null
    },
    {
      "input_degree": 2,
      "output_degree": 5,
      "loss": -3,
      "contribution": null
    },
    {
      "input_degree": 3,
      "output_degree": 5,
      "loss": -2,
      "contribution": null
    },
    {
      "input_degree": 4,
      "output_degree": 5,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 5,
      "output_degree": 5,
      "loss": 0,
      "contribution": "1/14400"
    },
    {
      "input_degree": 6,
      "output_degree": 5,
      "loss": 1,
      "contribution": "1/2073600"
    },
    {
      "input_degree": 7,
      "output_degree": 5,
      "loss": 2,
      "contribution": "1/203212800"
    },
    {
      "input_degree": 8,
      "output_degree": 5,
      "loss": 3,
      "contribution": "1/17340825600"
    },
    {
      "input_degree": 9,
      "output_degree": 5,
      "loss": 4,
      "contribution": "1/1404606873600"
    },
    {
      "input_degree": 10,
      "output_degree": 5,
      "loss": 5,
      "contribution": "1/112368549888000"
    },
    {
      "input_degree": 11,
      "output_degree": 5,
      "loss": 6,
      "contribution": "1/9064396357632000"
    },
    {
      "input_degree": 12,
      "output_degree": 5,
      "loss": 7,
      "contribution": "1/745870328856576000"
    },
    {
      "input_degree": 0,
      "output_degree": 6,
      "loss": -6,
      "contribution": null
    },
    {
      "input_degree": 1,
      "output_degree": 6,
      "loss": -5,
      "contribution": null
    },
    {
      "input_degree": 2,
      "output_degree": 6,
      "loss": -4,
      "contribution": null
    },
    {
      "input_degree": 3,
      "output_degree": 6,
      "loss": -3,
      "contribution": null
    },
    {
      "input_degree": 4,
      "output_degree": 6,
      "loss": -2,
      "contribution": null
    },
    {
      "input_degree": 5,
      "output_degree": 6,
      "loss": -1,
      "contribution": null
    },
    {
      "input_degree": 6,
      "output_degree": 6,
      "loss": 0,
      "contribution": "1/518400"
    },
    {
      "input_degree": 7,
      "output_degree": 6,
      "loss": 1,
      "contribution": "1/101606400"
    },
    {
      "input_degree": 8,
      "output_degree": 6,
      "loss": 2,
      "contribution": "1/13005619200"
    },
    {
      "input_degree": 9,
      "output_degree": 6,
      "loss": 3,
      "contribution": "1/1404606873600"
    },
    {
      "input_degree": 10,
      "output_degree": 6,
      "loss": 4,
      "contribution": "1/140460687360000"
    },
    {
      "input_degree": 11,
      "output_degree": 6,
      "loss": 5,
      "contribution": "1/13596594536448000"
    },
    {
      "input_degree": 12,
      "output_degree": 6,
      "loss": 6,
      "contribution": "1/1305273075499008000"
    }
  ],
  "coefficient_enclosures": [
    {
      "j": -5,
      "cutoff": 40,
      "lower": "1126669413264200225474411127312209130029867351535076013847973/2891668836681159475936729395064510250065036295547125760000000",
      "upper": "1460163559590403492214836820996623032518708087589458513947347707/3747602812338782680814001296003605284084287039029074984960000000",
      "next_term": "1517/30344962043229009561246974056709354526998275619668623360000000"
    },
    {
      "j": -4,
      "cutoff": 40,
      "lower": "14668818622267489603196432492814801276661722739736885074182623/55437911425129921313816587218988243847400695843625369600000000",
      "upper": "14111403514621324998274968058087838828148577275626883441363687221/53331270790974984303891556904666690581199469401567605555200000000",
      "next_term": "41/1122763595599473353766138040098246117498936197927739064320000000"
    },
    {
      "j": -3,
      "cutoff": 40,
      "lower": "154093809634078936700896415361890393755255608144483358375770854981/693306520282674795950590239760666977555593102220378872217600000000",
      "upper": "3903709844063333063089375855834556641799808739660245078852861660407/17563765180494428164081619407270230098075025256249598096179200000000",
      "next_term": "41/1621270632045639522838303329901867393668463869807655208878080000000"
    },
    {
      "j": -2,
      "cutoff": 40,
      "lower": "19424948279062678486007500732558978606868441796221924736520304564681/79036943312224926738367287332716035441337613653123191432806400000000",
      "upper": "1515145965766888921908585057139600331335738460105310129448583756045323/6164881578353544285592648411951850764424333864943608931758899200000000",
      "next_term": "41/2465952631341417714237059364780740305769733545977443572703559680000000"
    },
    {
      "j": -1,
      "cutoff": 40,
      "lower": "2473707699211247219442587848391184214425695445069894088895646948645259/6164881578353544285592648411951850764424333864943608931758899200000000",
      "upper": "113083780535371301460232587355025564088031791774623729778086717652354703/281823157867590595912806784546370320659398119540279265451835392000000000",
      "next_term": "41/3945524210146268342779294983649184489231573673563909716325695488000000000"
    },
    {
      "j": 0,
      "cutoff": 40,
      "lower": "55066884434615590276287172972882013816780698603295033631068314682885767/42886132718981177638905380257056353143821452973520757786148864000000000",
      "upper": "1822037614801491285282063302225534702779796448523060235582365640209167659/1419004321192956158367992055522952316302583514176493845345206272000000000",
      "next_term": "1/161766492615997002053951094329616564058494520616120298369353515008000000000"
    },
    {
      "j": 1,
      "cutoff": 40,
      "lower": "4372735690589293969794574362670578428872719957272704804830727634304991965569317131257777/4101458167357463204517161674315600395455871168232701586044921715372109479280640000000000",
      "upper": "1101929394028502080388232739392985764075925429232721610817343363844857975323475161130853309/1033567458174080727538324741927531299654879534394640799683320272273771588778721280000000000",
      "next_term": "1/285356092974618711623169730397443618999184334366836206323539600474112000000000"
    },
    {
      "j": 2,
      "cutoff": 40,
      "lower": "132900317791305016520624574044195468038478280263154410880335560339949631202032683841089579/516783729087040363769162370963765649827439767197320399841660136136885794389360640000000000",
      "upper": "491465375192245951093269674815434840806292680413145011435480902137133736185116872088403156647/1911066230163875265218362447824005373061872259095690838614459183434203667651855646720000000000",
      "next_term": "1/527623415910069997791240831504873251529491834244280145492224721276633088000000000"
    },
    {
      "j": 3,
      "cutoff": 40,
      "lower": "3172445341523445531408899578062255410971291161005669295273642193960645779871246416137295919/112415660597875015601080143989647374885992485829158284624379951966717862803050332160000000000",
      "upper": "4328297520218034213395087796426022886286412746798432526884969194861036102770072630069010371/153373304381596920510000816606030526976237810123502775921634663148390262428967895040000000000",
      "next_term": "1/1021478933201895515723842249793434614961096191096926361672947060391561658368000000000"
    },
    {
      "j": 4,
      "cutoff": 40,
      "lower": "294929318054080813953768314009378097855644491092264915665495044454586294813762217309325625667/168173828254421023339215895408512472829444758800420793798072408142209922753363296911360000000000",
      "upper": "238892747623805459302552334347596259263072037784734581689050986008214898799147396020685466861061/136220800886081028904764875280895102991850254628340842976438650595190037430224270498201600000000000",
      "next_term": "1/2068494839733838419340780555831705095296219786971275882387717797292912358195200000000000"
    },
    {
      "j": 5,
      "cutoff": 40,
      "lower": "866013548219098505527012327607696744574056010334719197513238841552172523105969539220241977227/12383709171461911718614988661899554817440932238940076634221695508653639766384024590745600000000000",
      "upper": "876405710797727687593336475538989105508944682458735827883397707650798593383241173690890607478541/12532313681519454659238368525842349475250223425807357553832355854757483443580632885834547200000000000",
      "next_term": "1/4376935080876802095325091656139887981646801069231219767132410859071802549941043200000000000"
    }
  ],
  "proof_locators": [
    "LN.14–LN.18",
    "LN.24",
    "LN.30–LN.36"
  ],
  "only_logarithms_and_plotting_coordinates_numerical": true,
  "whole_real_kernel_transform_asserted": false
}