{
  "extragradient_box_rotation": [
    {
      "k": 1,
      "predictor": [
        "1/2",
        "-1/4"
      ],
      "point": [
        "3/8",
        "-1/4"
      ],
      "average_predictor": [
        "1/2",
        "-1/4"
      ],
      "minty_gap": "3/4",
      "bound": "13/4"
    },
    {
      "k": 2,
      "predictor": [
        "1/4",
        "-7/16"
      ],
      "point": [
        "5/32",
        "-3/8"
      ],
      "average_predictor": [
        "3/8",
        "-11/32"
      ],
      "minty_gap": "23/32",
      "bound": "13/8"
    },
    {
      "k": 3,
      "predictor": [
        "-1/32",
        "-29/64"
      ],
      "point": [
        "-9/128",
        "-23/64"
      ],
      "average_predictor": [
        "23/96",
        "-73/192"
      ],
      "minty_gap": "119/192",
      "bound": "13/12"
    },
    {
      "k": 4,
      "predictor": [
        "-1/4",
        "-83/256"
      ],
      "point": [
        "-119/512",
        "-15/64"
      ],
      "average_predictor": [
        "15/128",
        "-375/1024"
      ],
      "minty_gap": "495/1024",
      "bound": "13/16"
    },
    {
      "k": 8,
      "predictor": [
        "-293/8192",
        "17557/65536"
      ],
      "point": [
        "-239/131072",
        "1785/8192"
      ],
      "average_predictor": [
        "-1785/32768",
        "-65775/524288"
      ],
      "minty_gap": "94335/524288",
      "bound": "13/32"
    },
    {
      "k": 16,
      "predictor": [
        "-62608463/536870912",
        "-71140763/4294967296"
      ],
      "point": [
        "-815616479/8589934592",
        "-426615/268435456"
      ],
      "average_predictor": [
        "426615/2147483648",
        "-5110583775/68719476736"
      ],
      "minty_gap": "5124235455/68719476736",
      "bound": "13/64"
    },
    {
      "k": 32,
      "predictor": [
        "50943095281232797/2305843009213693952",
        "64861264248776197/18446744073709551616"
      ],
      "point": [
        "665043872449535041/36893488147419103232",
        "347954224188585/576460752303423488"
      ],
      "average_predictor": [
        "-347954224188585/9223372036854775808",
        "-17781700201260016575/590295810358705651712"
      ],
      "minty_gap": "17803969271608086015/590295810358705651712",
      "bound": "13/128"
    },
    {
      "k": 64,
      "predictor": [
        "33698843353344104867424583233049717/42535295865117307932921825928971026432",
        "52211229328508124310453283209608517/340282366920938463463374607431768211456"
      ],
      "point": [
        "441787440788506167165125322024958081/680564733841876926926749214863536422912",
        "231404824689550243037858749706985/5316911983139663491615228241121378304"
      ],
      "average_predictor": [
        "-231404824689550243037858749706985/170141183460469231731687303715884105728",
        "-339840579480149957296209482109743253375/21778071482940061661655974875633165533184"
      ],
      "minty_gap": "339870199297710219727318328029705747455/21778071482940061661655974875633165533184",
      "bound": "13/256"
    }
  ],
  "extragradient_rotation_norm_square_factor": "13/16",
  "extragradient_one_step_inequalities": 5000,
  "forward_backward_damped_rotation": [
    {
      "k": 1,
      "point": [
        "1/2",
        "-1/2"
      ],
      "norm_squared": "1/2"
    },
    {
      "k": 2,
      "point": [
        "0",
        "-1/2"
      ],
      "norm_squared": "1/4"
    },
    {
      "k": 3,
      "point": [
        "-1/4",
        "-1/4"
      ],
      "norm_squared": "1/8"
    },
    {
      "k": 4,
      "point": [
        "-1/4",
        "0"
      ],
      "norm_squared": "1/16"
    }
  ],
  "fbf_feasibility_boundary": {
    "input": [
      "1",
      "0"
    ],
    "predictor": [
      "1/2",
      "0"
    ],
    "corrected_point": [
      "1/2",
      "-1/4"
    ],
    "two_projection_extragradient_point": [
      "1/2",
      "0"
    ]
  },
  "fbf_fejer_inequalities": 300,
  "douglas_rachford_lines": [
    {
      "k": 1,
      "state": [
        "1/2",
        "1/2"
      ],
      "shadow_A": [
        "1/2",
        "0"
      ]
    },
    {
      "k": 2,
      "state": [
        "0",
        "1/2"
      ],
      "shadow_A": [
        "0",
        "0"
      ]
    },
    {
      "k": 3,
      "state": [
        "-1/4",
        "1/4"
      ],
      "shadow_A": [
        "-1/4",
        "0"
      ]
    },
    {
      "k": 4,
      "state": [
        "-1/4",
        "0"
      ],
      "shadow_A": [
        "-1/4",
        "0"
      ]
    }
  ],
  "douglas_rachford_state_not_solution": {
    "iterations": [
      {
        "k": 1,
        "state": "-1",
        "new_shadow": "1/2"
      },
      {
        "k": 2,
        "state": "-3/2",
        "new_shadow": "1/4"
      },
      {
        "k": 3,
        "state": "-7/4",
        "new_shadow": "1/8"
      },
      {
        "k": 4,
        "state": "-15/8",
        "new_shadow": "1/16"
      }
    ],
    "state_limit": "-2",
    "solution_limit": "0"
  },
  "pdhg_fused_pair": [
    {
      "k": 1,
      "x": [
        "2/3",
        "0"
      ],
      "y": "2/3",
      "primal": "14/9",
      "dual": "8/9",
      "full_gap": "2/3"
    },
    {
      "k": 2,
      "x": [
        "8/9",
        "2/9"
      ],
      "y": "1",
      "primal": "106/81",
      "dual": "1",
      "full_gap": "25/81"
    },
    {
      "k": 3,
      "x": [
        "25/27",
        "13/27"
      ],
      "y": "1",
      "primal": "829/729",
      "dual": "1",
      "full_gap": "100/729"
    },
    {
      "k": 4,
      "x": [
        "77/81",
        "53/81"
      ],
      "y": "1",
      "primal": "6961/6561",
      "dual": "1",
      "full_gap": "400/6561"
    },
    {
      "k": 8,
      "x": [
        "6497/6561",
        "6113/6561"
      ],
      "y": "1",
      "primal": "43149121/43046721",
      "dual": "1",
      "full_gap": "102400/43046721"
    },
    {
      "k": 16,
      "x": [
        "43030337/43046721",
        "42932033/43046721"
      ],
      "y": "1",
      "primal": "1853026899738241/1853020188851841",
      "dual": "1",
      "full_gap": "6710886400/1853020188851841"
    },
    {
      "k": 32,
      "x": [
        "1853019115110017/1853020188851841",
        "1853012672659073/1853020188851841"
      ],
      "y": "1",
      "primal": "3433683820321335522273020263681/3433683820292512484657849089281",
      "dual": "1",
      "full_gap": "28823037615171174400/3433683820292512484657849089281"
    },
    {
      "k": 64,
      "x": [
        "3433683820287900798639421701377/3433683820292512484657849089281",
        "3433683820260230682528857373953/3433683820292512484657849089281"
      ],
      "y": "1",
      "primal": "11790184577738583171521404552610832632027373115099953246927361/11790184577738583171520872861412518665678211592275841109096961",
      "dual": "1",
      "full_gap": "531691198313966349161522824112137830400/11790184577738583171520872861412518665678211592275841109096961"
    }
  ],
  "pdhg_one_step_gap_inequalities": 768,
  "mirror_prox_matching_pennies": [
    {
      "k": 1,
      "predictor_p": [
        "0.75",
        "0.25"
      ],
      "predictor_q": [
        "0.666666666666666666666666666667",
        "0.333333333333333333333333333333"
      ],
      "anchor_p": [
        "0.653965059085659474704448802910",
        "0.346034940914340525295551197090"
      ],
      "anchor_q": [
        "0.666666666666666666666666666667",
        "0.333333333333333333333333333333"
      ],
      "average_saddle_gap": "0.833333333333333333333333333333",
      "bound": "3"
    },
    {
      "k": 2,
      "predictor_p": [
        "0.543493807570015737935132017215",
        "0.456506192429984262064867982785"
      ],
      "predictor_q": [
        "0.753994089490448882010019844605",
        "0.246005910509551117989980155395"
      ],
      "anchor_p": [
        "0.483079718449753195504689121138",
        "0.516920281550246804495310878862"
      ],
      "anchor_q": [
        "0.692905396259997635755121655230",
        "0.307094603740002364244878344770"
      ],
      "average_saddle_gap": "0.714154563727131286611818528487",
      "bound": "1.5"
    },
    {
      "k": 3,
      "predictor_p": [
        "0.353759526502960740469911187412",
        "0.646240473497039259530088812588"
      ],
      "predictor_q": [
        "0.682833599470292919378948877578",
        "0.317166400529707080621051122422"
      ],
      "anchor_p": [
        "0.360169312846831004768644493393",
        "0.639830687153168995231355506607"
      ],
      "anchor_q": [
        "0.600673688458593046684864272402",
        "0.399326311541406953315135727598"
      ],
      "average_saddle_gap": "0.500498459800256630973785728984",
      "bound": "1"
    },
    {
      "k": 4,
      "predictor_p": [
        "0.298645526214800233311190488736",
        "0.701354473785199766688809511264"
      ],
      "predictor_q": [
        "0.505144805202614921269225929046",
        "0.494855194797385078730774070954"
      ],
      "anchor_p": [
        "0.356888711728085428520536911853",
        "0.643111288271914571479463088147"
      ],
      "anchor_q": [
        "0.462570102493609022986485308507",
        "0.537429897506390977013514691493"
      ],
      "average_saddle_gap": "0.331370150271123338804313812266",
      "bound": "0.75"
    },
    {
      "k": 8,
      "predictor_p": [
        "0.608392347794266902555052420025",
        "0.391607652205733097444947579975"
      ],
      "predictor_q": [
        "0.546541185055957367596974810703",
        "0.453458814944042632403025189297"
      ],
      "anchor_p": [
        "0.564025958422335815659444389868",
        "0.435974041577664184340555610132"
      ],
      "anchor_q": [
        "0.555416148571118439698353893553",
        "0.444583851428881560301646106447"
      ],
      "average_saddle_gap": "0.0959097971110459838357043125672",
      "bound": "0.375"
    },
    {
      "k": 16,
      "predictor_p": [
        "0.503324773456859874847999152742",
        "0.496675226543140125152000847258"
      ],
      "predictor_q": [
        "0.537595437571516667634314304451",
        "0.462404562428483332365685695549"
      ],
      "anchor_p": [
        "0.493817288063255443156134606574",
        "0.506182711936744556843865393426"
      ],
      "anchor_q": [
        "0.526177289168258900149371970978",
        "0.473822710831741099850628029022"
      ],
      "average_saddle_gap": "0.0553701569047167915540224854593",
      "bound": "0.1875"
    },
    {
      "k": 32,
      "predictor_p": [
        "0.496884096310987411939170219634",
        "0.503115903689012588060829780366"
      ],
      "predictor_q": [
        "0.497825066830411804865995109292",
        "0.502174933169588195134004890708"
      ],
      "anchor_p": [
        "0.498384509106292120539067494250",
        "0.501615490893707879460932505750"
      ],
      "anchor_q": [
        "0.497829988780800962121434922771",
        "0.502170011219199037878565077229"
      ],
      "average_saddle_gap": "0.0251063736295264415387260155275",
      "bound": "0.09375"
    },
    {
      "k": 64,
      "predictor_p": [
        "0.499983405922955583859606125206",
        "0.500016594077044416140393874794"
      ],
      "predictor_q": [
        "0.500034625847910094267408460218",
        "0.499965374152089905732591539782"
      ],
      "anchor_p": [
        "0.499981002208302358913431367613",
        "0.500018997791697641086568632387"
      ],
      "anchor_q": [
        "0.500019655883008649656336269607",
        "0.499980344116991350343663730393"
      ],
      "average_saddle_gap": "0.0123842622076602419847181272575",
      "bound": "0.046875"
    },
    {
      "k": 128,
      "predictor_p": [
        "0.500000000477335974168551842177",
        "0.499999999522664025831448157823"
      ],
      "predictor_q": [
        "0.499999996108740307763445304370",
        "0.500000003891259692236554695630"
      ],
      "anchor_p": [
        "0.500000001197755931666571616308",
        "0.499999998802244068333428383692"
      ],
      "anchor_q": [
        "0.499999997478950692478042809851",
        "0.500000002521049307521957190149"
      ],
      "average_saddle_gap": "0.00619125979827184119298772932046",
      "bound": "0.0234375"
    },
    {
      "k": 256,
      "predictor_p": [
        "0.499999999999999979422316470903",
        "0.500000000000000020577683529097"
      ],
      "predictor_q": [
        "0.499999999999999964687648992943",
        "0.500000000000000035312351007057"
      ],
      "anchor_p": [
        "0.499999999999999994043850064026",
        "0.500000000000000005956149935974"
      ],
      "anchor_q": [
        "0.499999999999999971518699677285",
        "0.500000000000000028481300322715"
      ],
      "average_saddle_gap": "0.00309562988422100855504823003951",
      "bound": "0.01171875"
    }
  ],
  "mirror_prox_one_step_inequalities": 1024,
  "forward_backward_full_square_inequalities": 300,
  "scale_and_interface_checks": {
    "scaled_rotation_L": "2",
    "scaled_rotation_gamma": "1/4",
    "rounds_for_gap_1_over_50": 325,
    "damped_rotation_beta": "3/25",
    "safe_gamma_1_over_5_squared_factor": "4/5",
    "unsafe_gamma_1_over_4_squared_factor": "17/16",
    "shifted_DR": [
      {
        "k": 1,
        "state": "-5/3",
        "shadow": "19/9"
      },
      {
        "k": 2,
        "state": "-25/9",
        "shadow": "47/27"
      },
      {
        "k": 3,
        "state": "-95/27",
        "shadow": "121/81"
      },
      {
        "k": 4,
        "state": "-325/81",
        "shadow": "323/243"
      }
    ],
    "pdhg_scaled_K_first_x": [
      "2/3",
      "0"
    ],
    "pdhg_scaled_K_first_y": "1/9",
    "pdhg_scaled_K_first_gap": "7/3"
  },
  "three_node_fusion_one_step_gap_checks": 3200,
  "capstone_three_node_fusion": {
    "optimal_x": [
      "1/2",
      "1/2",
      "2"
    ],
    "optimal_y": [
      "1/2",
      "1"
    ],
    "optimal_value": "9/4",
    "K_norm_squared": "3",
    "step_product": "3/4",
    "iterations": [
      {
        "k": 1,
        "x": [
          "0",
          "0",
          "1"
        ],
        "y": [
          "0",
          "1"
        ],
        "edges": [
          "0",
          "1"
        ],
        "primal": "3",
        "dual": "2",
        "full_gap": "1"
      },
      {
        "k": 2,
        "x": [
          "0",
          "1/3",
          "4/3"
        ],
        "y": [
          "1/3",
          "1"
        ],
        "edges": [
          "1/3",
          "1"
        ],
        "primal": "25/9",
        "dual": "20/9",
        "full_gap": "5/9"
      },
      {
        "k": 3,
        "x": [
          "1/9",
          "4/9",
          "14/9"
        ],
        "y": [
          "1/2",
          "1"
        ],
        "edges": [
          "1/3",
          "10/9"
        ],
        "primal": "70/27",
        "dual": "9/4",
        "full_gap": "37/108"
      },
      {
        "k": 4,
        "x": [
          "13/54",
          "25/54",
          "46/27"
        ],
        "y": [
          "5/9",
          "1"
        ],
        "edges": [
          "2/9",
          "67/54"
        ],
        "primal": "2371/972",
        "dual": "182/81",
        "full_gap": "187/972"
      },
      {
        "k": 8,
        "x": [
          "1043/2187",
          "1016/2187",
          "4246/2187"
        ],
        "y": [
          "41/81",
          "1"
        ],
        "edges": [
          "-1/81",
          "3230/2187"
        ],
        "primal": "3620908/1594323",
        "dual": "14762/6561",
        "full_gap": "33742/1594323"
      },
      {
        "k": 16,
        "x": [
          "14311765/28697814",
          "14320513/28697814",
          "28665046/14348907"
        ],
        "y": [
          "3281/6561",
          "1"
        ],
        "edges": [
          "2/6561",
          "43009579/28697814"
        ],
        "primal": "617716317815875/274521509459532",
        "dual": "96855122/43046721",
        "full_gap": "42923126251/274521509459532"
      },
      {
        "k": 32,
        "x": [
          "308835631574603/617673396283947",
          "308835617225696/617673396283947",
          "1235344645084246/617673396283947"
        ],
        "y": [
          "21523361/43046721",
          "1"
        ],
        "edges": [
          "-1/43046721",
          "926509027858550/617673396283947"
        ],
        "primal": "286140322790331372209939160268/127173474825648610542883299603",
        "dual": "4169295424916642/1853020188851841",
        "full_gap": "4432622015646046077382/127173474825648610542883299603"
      },
      {
        "k": 64,
        "x": [
          "1144561273421612887502302352725/2289122546861674989771899392854",
          "1144561273421615358195887488513/2289122546861674989771899392854",
          "2289122546852451617735044617046/1144561273430837494885949696427"
        ],
        "y": [
          "926510094425921/1853020188851841",
          "1"
        ],
        "edges": [
          "2/1853020188851841",
          "3433683820283287877274201745579/2289122546861674989771899392854"
        ],
        "primal": "3930061525912861999793774711202687146678833419005862569426755/1746694011516827136521610794283336098618994309966791275421772",
        "dual": "7725788595658153090480160450882/3433683820292512484657849089281",
        "full_gap": "942620150424065308098260921870191125083027371/1746694011516827136521610794283336098618994309966791275421772"
      },
      {
        "k": 128,
        "x": [
          "1965030762956430528586727072977595156967218173808225217644843/3930061525912861057173624287137506221892737197425280369698987",
          "1965030762956430528586727072976450595693787336313339267948416/3930061525912861057173624287137506221892737197425280369698987",
          "7860123051825722114347078433091551974553742707546844855292246/3930061525912861057173624287137506221892737197425280369698987"
        ],
        "y": [
          "1716841910146256242328924544641/3433683820292512484657849089281",
          "1"
        ],
        "edges": [
          "-1/3433683820292512484657849089281",
          "5895092288869291585760351360115101378859955371233505587343830/3930061525912861057173624287137506221892737197425280369698987"
        ],
        "primal": "11584037698095394397078315565807357690963951090248388436198751673130802085707564952165873898048012529972366547395776645708/5148461199153508620923695807024492707934031511427005110800178682593928615917275405222287746448504056363395020020329608723",
        "dual": "26527915299911812135921963938178166997775976082620642495468162/11790184577738583171520872861412518665678211592275841109096961",
        "full_gap": "2249098112380189537626936898349746462838419695391323016401111247384566841872125274489739942/5148461199153508620923695807024492707934031511427005110800178682593928615917275405222287746448504056363395020020329608723"
      }
    ]
  },
  "status": "PASS"
}