{
  "status": "PASS",
  "checks": 1812,
  "polynomial_transfer_models": 18,
  "fractional_identity_models": 320,
  "pi_interval": {
    "lower": "3.14159265358979323846264338327950288419716939937510582097494459230781640628620888",
    "upper": "3.14159265358979323846264338327950288419716939937510582097494459230781640628620908"
  },
  "main_picard": {
    "N": 12,
    "M": "2",
    "x": "2",
    "error_upper": "4/2606175",
    "previous_bound": "52/5145525",
    "tolerance": "1/100000",
    "iterates": [
      [
        {
          "exponent": "0",
          "coefficient": "1"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1/2"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/3"
        },
        {
          "exponent": "4",
          "coefficient": "1/24"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "1/6"
        },
        {
          "exponent": "5",
          "coefficient": "1/40"
        },
        {
          "exponent": "6",
          "coefficient": "1/720"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "7/120"
        },
        {
          "exponent": "6",
          "coefficient": "7/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/1260"
        },
        {
          "exponent": "8",
          "coefficient": "1/40320"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "1/60"
        },
        {
          "exponent": "7",
          "coefficient": "1/360"
        },
        {
          "exponent": "8",
          "coefficient": "11/40320"
        },
        {
          "exponent": "9",
          "coefficient": "1/72576"
        },
        {
          "exponent": "10",
          "coefficient": "1/3628800"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/252"
        },
        {
          "exponent": "8",
          "coefficient": "13/20160"
        },
        {
          "exponent": "9",
          "coefficient": "5/72576"
        },
        {
          "exponent": "10",
          "coefficient": "1/226800"
        },
        {
          "exponent": "11",
          "coefficient": "1/6652800"
        },
        {
          "exponent": "12",
          "coefficient": "1/479001600"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "11/13440"
        },
        {
          "exponent": "9",
          "coefficient": "23/181440"
        },
        {
          "exponent": "10",
          "coefficient": "17/1209600"
        },
        {
          "exponent": "11",
          "coefficient": "41/39916800"
        },
        {
          "exponent": "12",
          "coefficient": "1/21772800"
        },
        {
          "exponent": "13",
          "coefficient": "1/889574400"
        },
        {
          "exponent": "14",
          "coefficient": "1/87178291200"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "17/20160"
        },
        {
          "exponent": "9",
          "coefficient": "1/6720"
        },
        {
          "exponent": "10",
          "coefficient": "79/3628800"
        },
        {
          "exponent": "11",
          "coefficient": "97/39916800"
        },
        {
          "exponent": "12",
          "coefficient": "23/119750400"
        },
        {
          "exponent": "13",
          "coefficient": "1/98841600"
        },
        {
          "exponent": "14",
          "coefficient": "29/87178291200"
        },
        {
          "exponent": "15",
          "coefficient": "1/163459296000"
        },
        {
          "exponent": "16",
          "coefficient": "1/20922789888000"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "17/20160"
        },
        {
          "exponent": "9",
          "coefficient": "11/72576"
        },
        {
          "exponent": "10",
          "coefficient": "11/453600"
        },
        {
          "exponent": "11",
          "coefficient": "19/5702400"
        },
        {
          "exponent": "12",
          "coefficient": "1/2721600"
        },
        {
          "exponent": "13",
          "coefficient": "1/32947200"
        },
        {
          "exponent": "14",
          "coefficient": "31/17435658240"
        },
        {
          "exponent": "15",
          "coefficient": "23/326918592000"
        },
        {
          "exponent": "16",
          "coefficient": "37/20922789888000"
        },
        {
          "exponent": "17",
          "coefficient": "1/39520825344000"
        },
        {
          "exponent": "18",
          "coefficient": "1/6402373705728000"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "17/20160"
        },
        {
          "exponent": "9",
          "coefficient": "11/72576"
        },
        {
          "exponent": "10",
          "coefficient": "89/3628800"
        },
        {
          "exponent": "11",
          "coefficient": "13/3628800"
        },
        {
          "exponent": "12",
          "coefficient": "221/479001600"
        },
        {
          "exponent": "13",
          "coefficient": "103/2075673600"
        },
        {
          "exponent": "14",
          "coefficient": "73/17435658240"
        },
        {
          "exponent": "15",
          "coefficient": "43/163459296000"
        },
        {
          "exponent": "16",
          "coefficient": "19/1609445376000"
        },
        {
          "exponent": "17",
          "coefficient": "43/118562476032000"
        },
        {
          "exponent": "18",
          "coefficient": "23/3201186852864000"
        },
        {
          "exponent": "19",
          "coefficient": "1/12164510040883200"
        },
        {
          "exponent": "20",
          "coefficient": "1/2432902008176640000"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "17/20160"
        },
        {
          "exponent": "9",
          "coefficient": "11/72576"
        },
        {
          "exponent": "10",
          "coefficient": "89/3628800"
        },
        {
          "exponent": "11",
          "coefficient": "1/277200"
        },
        {
          "exponent": "12",
          "coefficient": "29/59875200"
        },
        {
          "exponent": "13",
          "coefficient": "1/17107200"
        },
        {
          "exponent": "14",
          "coefficient": "53/8717829120"
        },
        {
          "exponent": "15",
          "coefficient": "337/653837184000"
        },
        {
          "exponent": "16",
          "coefficient": "709/20922789888000"
        },
        {
          "exponent": "17",
          "coefficient": "197/118562476032000"
        },
        {
          "exponent": "18",
          "coefficient": "47/800296713216000"
        },
        {
          "exponent": "19",
          "coefficient": "1/695114859479040"
        },
        {
          "exponent": "20",
          "coefficient": "1/43444678717440000"
        },
        {
          "exponent": "21",
          "coefficient": "1/4644631106519040000"
        },
        {
          "exponent": "22",
          "coefficient": "1/1124000727777607680000"
        }
      ],
      [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "1"
        },
        {
          "exponent": "2",
          "coefficient": "1"
        },
        {
          "exponent": "3",
          "coefficient": "1/2"
        },
        {
          "exponent": "4",
          "coefficient": "5/24"
        },
        {
          "exponent": "5",
          "coefficient": "1/15"
        },
        {
          "exponent": "6",
          "coefficient": "13/720"
        },
        {
          "exponent": "7",
          "coefficient": "1/240"
        },
        {
          "exponent": "8",
          "coefficient": "17/20160"
        },
        {
          "exponent": "9",
          "coefficient": "11/72576"
        },
        {
          "exponent": "10",
          "coefficient": "89/3628800"
        },
        {
          "exponent": "11",
          "coefficient": "1/277200"
        },
        {
          "exponent": "12",
          "coefficient": "233/479001600"
        },
        {
          "exponent": "13",
          "coefficient": "47/778377600"
        },
        {
          "exponent": "14",
          "coefficient": "149/21794572800"
        },
        {
          "exponent": "15",
          "coefficient": "149/217945728000"
        },
        {
          "exponent": "16",
          "coefficient": "43/747242496000"
        },
        {
          "exponent": "17",
          "coefficient": "461/118562476032000"
        },
        {
          "exponent": "18",
          "coefficient": "1/4924902850560"
        },
        {
          "exponent": "19",
          "coefficient": "967/121645100408832000"
        },
        {
          "exponent": "20",
          "coefficient": "29/128047474114560000"
        },
        {
          "exponent": "21",
          "coefficient": "1/221172909834240000"
        },
        {
          "exponent": "22",
          "coefficient": "67/1124000727777607680000"
        },
        {
          "exponent": "23",
          "coefficient": "1/2154334728240414720000"
        },
        {
          "exponent": "24",
          "coefficient": "1/620448401733239439360000"
        }
      ]
    ],
    "residual": [
      {
        "exponent": "13",
        "coefficient": "-1/6227020800"
      },
      {
        "exponent": "14",
        "coefficient": "-1/6706022400"
      },
      {
        "exponent": "15",
        "coefficient": "-1/16765056000"
      },
      {
        "exponent": "16",
        "coefficient": "-1/73156608000"
      },
      {
        "exponent": "17",
        "coefficient": "-1/497464934400"
      },
      {
        "exponent": "18",
        "coefficient": "-1/4974649344000"
      },
      {
        "exponent": "19",
        "coefficient": "-1/70888753152000"
      },
      {
        "exponent": "20",
        "coefficient": "-1/1417775063040000"
      },
      {
        "exponent": "21",
        "coefficient": "-1/39697701765120000"
      },
      {
        "exponent": "22",
        "coefficient": "-1/1572028989898752000"
      },
      {
        "exponent": "23",
        "coefficient": "-1/90391666919178240000"
      },
      {
        "exponent": "24",
        "coefficient": "-1/7954466688887685120000"
      },
      {
        "exponent": "25",
        "coefficient": "-1/1193170003333152768000000"
      },
      {
        "exponent": "26",
        "coefficient": "-1/403291461126605635584000000"
      }
    ],
    "value_at_one": "2356615492169176971858361/620448401733239439360000",
    "true_value_at_one": {
      "lower": "3.79824572977119450442758317155993010816941007591953636081584111336373881371173091",
      "upper": "3.79824572977119450442758317155993010816941007591953636081584111336373881371173092"
    },
    "actual_error_at_one": {
      "lower": "0.00000000041496170028553080938575337085254981623739174922033105709515435934002711",
      "upper": "0.00000000041496170028553080938575337085254981623739174922033105709515435934002713"
    }
  },
  "manufactured": {
    "solution": [
      {
        "exponent": "0",
        "coefficient": "2"
      },
      {
        "exponent": "1/2",
        "coefficient": "1"
      },
      {
        "exponent": "1",
        "coefficient": "-2"
      },
      {
        "exponent": "3/2",
        "coefficient": "3"
      }
    ],
    "forcing": [
      {
        "exponent": "0",
        "coefficient": "5"
      },
      {
        "exponent": "1",
        "coefficient": "-1"
      },
      {
        "exponent": "3/2",
        "coefficient": "6"
      }
    ],
    "values": {
      "0": {
        "lower": "2.00000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "2.00000000000000000000000000000000000000000000000000000000000000000000000000000000"
      },
      "1/4": {
        "lower": "2.34628437532163443042211917734115887876607594399349828526612858256596370266224007",
        "upper": "2.34628437532163443042211917734115887876607594399349828526612858256596370266224016"
      },
      "1": {
        "lower": "3.38513750128653772168847670936463551506430377597399314106451433026385481064896037",
        "upper": "3.38513750128653772168847670936463551506430377597399314106451433026385481064896061"
      },
      "4": {
        "lower": "14.31082500771922633013086025618781309038582265584395884638708598158312886389376234",
        "upper": "14.31082500771922633013086025618781309038582265584395884638708598158312886389376360"
      }
    }
  },
  "caputo_nonsemigroup": [
    {
      "a": "1/3",
      "b": "1/3",
      "successive": [],
      "direct": [
        {
          "exponent": "-1/3",
          "coefficient": "1"
        }
      ]
    },
    {
      "a": "1/4",
      "b": "1/2",
      "successive": [],
      "direct": [
        {
          "exponent": "-1/4",
          "coefficient": "1"
        }
      ]
    },
    {
      "a": "2/5",
      "b": "1/5",
      "successive": [],
      "direct": [
        {
          "exponent": "-2/5",
          "coefficient": "1"
        }
      ]
    }
  ],
  "mittag_leffler": [
    {
      "x": "0",
      "interval": {
        "lower": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000",
        "upper": "1.00000000000000000000000000000000000000000000000000000000000000000000000000000000"
      },
      "paired_terms": 121
    },
    {
      "x": "1/8",
      "interval": {
        "lower": "0.87322184508215080960425945826501150381389481585280155455180265063448628485588850",
        "upper": "0.87322184508215080960425945826501150381389481585280155455180265063448628485589094"
      },
      "paired_terms": 121
    },
    {
      "x": "1/4",
      "interval": {
        "lower": "0.77034654773099674391673917233679112618764238502661524568279999400249520119814875",
        "upper": "0.77034654773099674391673917233679112618764238502661524568279999400249520119815122"
      },
      "paired_terms": 121
    },
    {
      "x": "1/2",
      "interval": {
        "lower": "0.61569034419292587487079342268374193678230639126563160569082658901670991565072450",
        "upper": "0.61569034419292587487079342268374193678230639126563160569082658901670991565072696"
      },
      "paired_terms": 121
    },
    {
      "x": "1",
      "interval": {
        "lower": "0.42758357615580700441075034449051518082015950316425266374553977074050542182024194",
        "upper": "0.42758357615580700441075034449051518082015950316425266374553977074050542182024452"
      },
      "paired_terms": 121
    },
    {
      "x": "2",
      "interval": {
        "lower": "0.25539567631050574386508858090854276330259930525524206544794899365685642046957875",
        "upper": "0.25539567631050574386508858090854276330259930525524206544794899365685642046958971"
      },
      "paired_terms": 121
    },
    {
      "x": "3",
      "interval": {
        "lower": "0.17900115118138995041929481531362098722798536410685421566275883953671967533970978",
        "upper": "0.17900115118138995041929481531362098722798536410685421566275883953671967534377073"
      },
      "paired_terms": 121
    },
    {
      "x": "4",
      "interval": {
        "lower": "0.13699945762506138988944517139980548233024923554806536264049629770510944341085786",
        "upper": "0.13699945762506138988944517139980548233024923554806536273724887479419875153222143"
      },
      "paired_terms": 121
    }
  ],
  "forced_at_one": {
    "lower": "1.62769783815525287193254429045427138165129965262762103272397449682842821023478937",
    "upper": "1.62769783815525287193254429045427138165129965262762103272397449682842821023479486"
  },
  "memory_at_four": {
    "full": {
      "lower": "2.25675833419102514779231780624309034337620251731599542737634288684256987376597360",
      "upper": "2.25675833419102514779231780624309034337620251731599542737634288684256987376597372"
    },
    "restarted": {
      "lower": "1.95441004761167968634553849135338801830354243277691080855297262978336400144654606",
      "upper": "1.95441004761167968634553849135338801830354243277691080855297262978336400144654618"
    },
    "old_memory": {
      "lower": "0.30234828657934546144677931488970232507266008453908461882337025705920587231942752",
      "upper": "0.30234828657934546144677931488970232507266008453908461882337025705920587231942756"
    },
    "full_relaxation_at_four": {
      "lower": "0.25539567631050574386508858090854276330259930525524206544794899365685642046957875",
      "upper": "0.25539567631050574386508858090854276330259930525524206544794899365685642046958971"
    },
    "four_restarts": {
      "lower": "0.03342597322519678106251418536544751166677696584738839521728346155261836983353170",
      "upper": "0.03342597322519678106251418536544751166677696584738839521728346155261836983353252"
    }
  },
  "long_tail_at_x20": {
    "lower": "0.02817421732841607957946971761231608100558727830211688041365153072792520826779707",
    "upper": "0.02820947917738781434740397257803862929220253146644994284220428608553212342207468"
  },
  "perturbed_model": {
    "lambda_": "-1/2",
    "perturbation": "phi_1/100",
    "residual_bound": {
      "lower": "0.01628379167095512573896158903121545171688101258657997713688171443421284936882986",
      "upper": "0.01628379167095512573896158903121545171688101258657997713688171443421284936882987"
    },
    "error_bound_at_one": {
      "lower": "0.03101607960299534464155245805451716871129812886433573724766689609405870969813966",
      "upper": "0.03101607960299534464155245805451716871129812886433573724766689609405870969813977"
    },
    "actual_error_at_one": "1/100"
  },
  "model_transfers": [
    {
      "alpha": "1/3",
      "lambda_": "-2",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-1"
        },
        {
          "exponent": "1",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "-2",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-1"
        },
        {
          "exponent": "1",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "-2",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "4"
        },
        {
          "exponent": "2/3",
          "coefficient": "-1"
        },
        {
          "exponent": "1",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "0",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/3",
          "coefficient": "-2"
        },
        {
          "exponent": "2/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "0",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/3",
          "coefficient": "-2"
        },
        {
          "exponent": "2/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "0",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/3",
          "coefficient": "-2"
        },
        {
          "exponent": "2/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "3/4",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "7/4"
        },
        {
          "exponent": "1/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "2/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "1",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "3/4",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "2/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "1",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "1/3",
      "lambda_": "3/4",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1/8"
        },
        {
          "exponent": "1/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "2/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "1",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "-2",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1"
        },
        {
          "exponent": "1",
          "coefficient": "-1"
        },
        {
          "exponent": "3/2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "-2",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1",
          "coefficient": "-1"
        },
        {
          "exponent": "3/2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "-2",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "4"
        },
        {
          "exponent": "1",
          "coefficient": "-1"
        },
        {
          "exponent": "3/2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "0",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/2",
          "coefficient": "-2"
        },
        {
          "exponent": "1",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "0",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/2",
          "coefficient": "-2"
        },
        {
          "exponent": "1",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "0",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/2",
          "coefficient": "-2"
        },
        {
          "exponent": "1",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "3/4",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "7/4"
        },
        {
          "exponent": "1/2",
          "coefficient": "-11/4"
        },
        {
          "exponent": "1",
          "coefficient": "9/2"
        },
        {
          "exponent": "3/2",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "3/4",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "1/2",
          "coefficient": "-11/4"
        },
        {
          "exponent": "1",
          "coefficient": "9/2"
        },
        {
          "exponent": "3/2",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "1/2",
      "lambda_": "3/4",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1/8"
        },
        {
          "exponent": "1/2",
          "coefficient": "-11/4"
        },
        {
          "exponent": "1",
          "coefficient": "9/2"
        },
        {
          "exponent": "3/2",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "-2",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1"
        },
        {
          "exponent": "4/3",
          "coefficient": "-1"
        },
        {
          "exponent": "2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "-2",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "4/3",
          "coefficient": "-1"
        },
        {
          "exponent": "2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "-2",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "4"
        },
        {
          "exponent": "4/3",
          "coefficient": "-1"
        },
        {
          "exponent": "2",
          "coefficient": "6"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "0",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-2"
        },
        {
          "exponent": "4/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "0",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-2"
        },
        {
          "exponent": "4/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "0",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-2"
        },
        {
          "exponent": "4/3",
          "coefficient": "3"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "3/4",
      "initial": "-1",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "7/4"
        },
        {
          "exponent": "2/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "4/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "2",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "3/4",
      "initial": "0",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "1"
        },
        {
          "exponent": "2/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "4/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "2",
          "coefficient": "-9/4"
        }
      ]
    },
    {
      "alpha": "2/3",
      "lambda_": "3/4",
      "initial": "3/2",
      "forcing": [
        {
          "exponent": "0",
          "coefficient": "-1/8"
        },
        {
          "exponent": "2/3",
          "coefficient": "-11/4"
        },
        {
          "exponent": "4/3",
          "coefficient": "9/2"
        },
        {
          "exponent": "2",
          "coefficient": "-9/4"
        }
      ]
    }
  ],
  "scope": "Exact finite algebra and outward interval arithmetic. Continuous convergence, AC regularity and whole-interval bounds are proved in the pages; no finite sample proves them."
}