{
  "scope": "Stored examples. Only extreme equilibria are computed. Known intermediate fixed point verified separately.",
  "tolerances": {
    "absolute": 1e-12,
    "relative": 1e-12
  },
  "source_commit": "569840397ac65ab5e8bede250cf86e1ae1d45b8a",
  "sources": {
    "computational_companion/paper_examples.py": "3a3761839ce33b5e156c215e4bff09e2f217335f6cbee8278a62d4f6378944ab",
    "computational_companion/waterfall_equilibria.py": "f400c30da5d8809238235f5367cd68373f3553ae101aa96415c8d9a699730dfd"
  },
  "cases": [
    {
      "id": "motivating-benchmark",
      "name": "Motivating example: no tranching",
      "dividends": [
        0.0,
        2.0,
        3.0
      ],
      "returns": [
        2.0,
        2.0,
        2.0
      ],
      "theories": [
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ],
        [
          [
            1.0,
            0.0,
            0.0
          ],
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ]
        ]
      ],
      "theory_names": [
        "A",
        "B"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0
      ],
      "upper_bound": 3.0,
      "q_min": [
        0.9999999999977262,
        1.999999999998181,
        2.9999999999972715
      ],
      "q_max": [
        1.000000000001819,
        2.000000000003638,
        3.0
      ],
      "residual_min": 1.3642420526593924e-12,
      "residual_max": 1.8189894035458565e-12,
      "iterations_min": 40,
      "iterations_max": 38,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          0.0,
          1.0,
          1.5
        ],
        [
          0.41666666666666663,
          1.5,
          2.25
        ],
        [
          0.6944444444444444,
          1.75,
          2.625
        ],
        [
          0.8449074074074073,
          1.875,
          2.8125
        ],
        [
          0.9220679012345678,
          1.9375,
          2.90625
        ],
        [
          0.9609696502057613,
          1.96875,
          2.953125
        ],
        [
          0.9804741083676269,
          1.984375,
          2.9765625
        ],
        [
          0.990235268061271,
          1.9921875,
          2.98828125
        ],
        [
          0.9951173363435452,
          1.99609375,
          2.994140625
        ],
        [
          0.9975586185572575,
          1.998046875,
          2.9970703125
        ],
        [
          0.9987793010095429,
          1.9990234375,
          2.99853515625
        ],
        [
          0.9993896491265905,
          1.99951171875,
          2.999267578125
        ],
        [
          0.9996948243335984,
          1.999755859375,
          2.9996337890625
        ],
        [
          0.9998474121285164,
          1.9998779296875,
          2.99981689453125
        ],
        [
          0.9999237060578777,
          1.99993896484375,
          2.999908447265625
        ],
        [
          0.9999618530278754,
          1.999969482421875,
          2.9999542236328125
        ],
        [
          0.9999809265137605,
          1.9999847412109375,
          2.9999771118164062
        ],
        [
          0.9999904632568507,
          1.9999923706054688,
          2.999988555908203
        ],
        [
          0.9999952316284204,
          1.9999961853027344,
          2.9999942779541016
        ],
        [
          0.9999976158142093,
          1.9999980926513672,
          2.999997138977051
        ],
        [
          0.9999988079071045,
          1.9999990463256836,
          2.9999985694885254
        ],
        [
          0.9999994039535521,
          1.9999995231628418,
          2.9999992847442627
        ],
        [
          0.9999997019767761,
          1.999999761581421,
          2.9999996423721313
        ],
        [
          0.999999850988388,
          1.9999998807907104,
          2.9999998211860657
        ],
        [
          0.999999925494194,
          1.9999999403953552,
          2.999999910593033
        ],
        [
          0.9999999627470969,
          1.9999999701976776,
          2.9999999552965164
        ],
        [
          0.9999999813735485,
          1.9999999850988388,
          2.999999977648258
        ],
        [
          0.9999999906867741,
          1.9999999925494194,
          2.999999988824129
        ],
        [
          0.9999999953433871,
          1.9999999962747097,
          2.9999999944120646
        ],
        [
          0.9999999976716935,
          1.9999999981373549,
          2.9999999972060323
        ],
        [
          0.9999999988358468,
          1.9999999990686774,
          2.999999998603016
        ],
        [
          0.9999999994179233,
          1.9999999995343387,
          2.999999999301508
        ],
        [
          0.9999999997089617,
          1.9999999997671694,
          2.999999999650754
        ],
        [
          0.9999999998544807,
          1.9999999998835847,
          2.999999999825377
        ],
        [
          0.9999999999272404,
          1.9999999999417923,
          2.9999999999126885
        ],
        [
          0.9999999999636201,
          1.9999999999708962,
          2.9999999999563443
        ],
        [
          0.9999999999818101,
          1.999999999985448,
          2.999999999978172
        ],
        [
          0.9999999999909049,
          1.999999999992724,
          2.999999999989086
        ],
        [
          0.9999999999954525,
          1.999999999996362,
          2.999999999994543
        ],
        [
          0.9999999999977262,
          1.999999999998181,
          2.9999999999972715
        ]
      ],
      "upper_path": [
        [
          3.0,
          3.0,
          3.0
        ],
        [
          1.5,
          2.5,
          3.0
        ],
        [
          1.1666666666666665,
          2.25,
          3.0
        ],
        [
          1.0694444444444444,
          2.125,
          3.0
        ],
        [
          1.0324074074074074,
          2.0625,
          3.0
        ],
        [
          1.0158179012345678,
          2.03125,
          3.0
        ],
        [
          1.0078446502057612,
          2.015625,
          3.0
        ],
        [
          1.003911608367627,
          2.0078125,
          3.0
        ],
        [
          1.0019540180612712,
          2.00390625,
          3.0
        ],
        [
          1.000976711343545,
          2.001953125,
          3.0
        ],
        [
          1.0004883060572576,
          2.0009765625,
          3.0
        ],
        [
          1.000244144759543,
          2.00048828125,
          3.0
        ],
        [
          1.0001220710015906,
          2.000244140625,
          3.0
        ],
        [
          1.0000610352710984,
          2.0001220703125,
          3.0
        ],
        [
          1.0000305175972664,
          2.00006103515625,
          3.0
        ],
        [
          1.0000152587922528,
          2.000030517578125,
          3.0
        ],
        [
          1.0000076293950628,
          2.0000152587890625,
          3.0
        ],
        [
          1.0000038146973542,
          2.0000076293945312,
          3.0
        ],
        [
          1.0000019073486475,
          2.0000038146972656,
          3.0
        ],
        [
          1.0000009536743188,
          2.000001907348633,
          3.0
        ],
        [
          1.0000004768371586,
          2.0000009536743164,
          3.0
        ],
        [
          1.000000238418579,
          2.000000476837158,
          3.0
        ],
        [
          1.0000001192092896,
          2.000000238418579,
          3.0
        ],
        [
          1.0000000596046448,
          2.0000001192092896,
          3.0
        ],
        [
          1.0000000298023224,
          2.0000000596046448,
          3.0
        ],
        [
          1.0000000149011612,
          2.0000000298023224,
          3.0
        ],
        [
          1.0000000074505806,
          2.000000014901161,
          3.0
        ],
        [
          1.0000000037252903,
          2.0000000074505806,
          3.0
        ],
        [
          1.0000000018626451,
          2.0000000037252903,
          3.0
        ],
        [
          1.0000000009313226,
          2.000000001862645,
          3.0
        ],
        [
          1.0000000004656613,
          2.0000000009313226,
          3.0
        ],
        [
          1.0000000002328306,
          2.0000000004656613,
          3.0
        ],
        [
          1.0000000001164153,
          2.0000000002328306,
          3.0
        ],
        [
          1.0000000000582077,
          2.0000000001164153,
          3.0
        ],
        [
          1.0000000000291038,
          2.0000000000582077,
          3.0
        ],
        [
          1.000000000014552,
          2.000000000029104,
          3.0
        ],
        [
          1.000000000007276,
          2.000000000014552,
          3.0
        ],
        [
          1.000000000003638,
          2.000000000007276,
          3.0
        ],
        [
          1.000000000001819,
          2.000000000003638,
          3.0
        ]
      ],
      "full_support": false
    },
    {
      "id": "motivating-tranches",
      "name": "Motivating example: two tranches",
      "dividends": [
        0.0,
        2.0,
        3.0
      ],
      "returns": [
        2.0,
        2.0,
        2.0
      ],
      "theories": [
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ],
        [
          [
            1.0,
            0.0,
            0.0
          ],
          [
            0.0,
            1.0,
            0.0
          ],
          [
            0.0,
            0.0,
            1.0
          ]
        ]
      ],
      "theory_names": [
        "A",
        "B"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0,
        2.25
      ],
      "upper_bound": 5.25,
      "q_min": [
        1.0499999999986782,
        2.249999999997442,
        2.9999999999998295
      ],
      "q_max": [
        1.0500000000015348,
        2.250000000001023,
        3.0000000000020464
      ],
      "residual_min": 1.2505552149377763e-12,
      "residual_max": 1.0231815394945443e-12,
      "iterations_min": 44,
      "iterations_max": 40,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          0.0,
          1.0,
          1.5
        ],
        [
          0.41666666666666663,
          1.5,
          2.25
        ],
        [
          0.6944444444444444,
          1.75,
          2.625
        ],
        [
          0.8449074074074073,
          1.9375,
          2.8125
        ],
        [
          0.9324845679012345,
          2.0625,
          2.90625
        ],
        [
          0.9835390946502057,
          2.140625,
          2.953125
        ],
        [
          1.0128815157750342,
          2.1875,
          2.9765625
        ],
        [
          1.029490669295839,
          2.21484375,
          2.98828125
        ],
        [
          1.0387692782159732,
          2.23046875,
          2.994140625
        ],
        [
          1.0438964422026622,
          2.2392578125,
          2.9970703125
        ],
        [
          1.0467040945337769,
          2.244140625,
          2.99853515625
        ],
        [
          1.0482299792972962,
          2.246826171875,
          2.999267578125
        ],
        [
          1.0490539548828826,
          2.248291015625,
          2.9996337890625
        ],
        [
          1.0494964599283971,
          2.24908447265625,
          2.99981689453125
        ],
        [
          1.0497329711859829,
          2.24951171875,
          2.999908447265625
        ],
        [
          1.049858856200268,
          2.2497406005859375,
          2.9999542236328125
        ],
        [
          1.0499256134031696,
          2.2498626708984375,
          2.9999771118164062
        ],
        [
          1.0499608993530023,
          2.249927520751953,
          2.999988555908203
        ],
        [
          1.049979496002193,
          2.2499618530273438,
          2.9999942779541016
        ],
        [
          1.0499892711639396,
          2.2499799728393555,
          2.999997138977051
        ],
        [
          1.049994397163391,
          2.2499895095825195,
          2.9999985694885254
        ],
        [
          1.0499970793724058,
          2.2499945163726807,
          2.9999992847442627
        ],
        [
          1.049998480081558,
          2.249997138977051,
          2.9999996423721313
        ],
        [
          1.0499992102384565,
          2.2499985098838806,
          2.9999998211860657
        ],
        [
          1.049999590218067,
          2.249999225139618,
          2.999999910593033
        ],
        [
          1.0499997876584528,
          2.2499995976686478,
          2.9999999552965164
        ],
        [
          1.049999890103936,
          2.2499997913837433,
          2.999999977648258
        ],
        [
          1.0499999431893228,
          2.2499998919665813,
          2.999999988824129
        ],
        [
          1.0499999706633387,
          2.2499999441206455,
          2.9999999944120646
        ],
        [
          1.049999984866008,
          2.249999971129,
          2.9999999972060323
        ],
        [
          1.0499999922001733,
          2.249999985098839,
          2.999999998603016
        ],
        [
          1.0499999959836712,
          2.2499999923165888,
          2.999999999301508
        ],
        [
          1.0499999979336279,
          2.249999996041879,
          2.999999999650754
        ],
        [
          1.04999999893771,
          2.249999997962732,
          2.999999999825377
        ],
        [
          1.049999999454303,
          2.249999998952262,
          2.9999999999126885
        ],
        [
          1.0499999997198755,
          2.249999999461579,
          2.9999999999563443
        ],
        [
          1.0499999998562997,
          2.2499999997235136,
          2.999999999978172
        ],
        [
          1.0499999999263308,
          2.249999999858119,
          2.999999999989086
        ],
        [
          1.0499999999622558,
          2.2499999999272404,
          2.999999999994543
        ],
        [
          1.049999999980673,
          2.2499999999627107,
          2.9999999999972715
        ],
        [
          1.049999999990109,
          2.2499999999809006,
          2.9999999999986358
        ],
        [
          1.0499999999949408,
          2.249999999990223,
          2.999999999999318
        ],
        [
          1.0499999999974134,
          2.249999999994998,
          2.999999999999659
        ],
        [
          1.0499999999986782,
          2.249999999997442,
          2.9999999999998295
        ]
      ],
      "upper_path": [
        [
          5.25,
          5.25,
          5.25
        ],
        [
          2.625,
          3.625,
          4.125
        ],
        [
          1.7291666666666665,
          2.8125,
          3.5625
        ],
        [
          1.3506944444444444,
          2.4375,
          3.28125
        ],
        [
          1.1782407407407407,
          2.328125,
          3.140625
        ],
        [
          1.1078317901234567,
          2.286458333333333,
          3.0703125
        ],
        [
          1.0774337705761317,
          2.267795138888889,
          3.03515625
        ],
        [
          1.0633975265775033,
          2.2588252314814814,
          3.017578125
        ],
        [
          1.0566334805098307,
          2.2544005594135803,
          3.0087890625
        ],
        [
          1.0533038504039018,
          2.25219827031893,
          3.00439453125
        ],
        [
          1.0516494419954718,
          2.251098800261488,
          3.002197265625
        ],
        [
          1.05082425131366,
          2.2505493443144147,
          3.0010986328125
        ],
        [
          1.0504120380734292,
          2.250274662854486,
          3.00054931640625
        ],
        [
          1.0502060028890274,
          2.2501373298767895,
          3.000274658203125
        ],
        [
          1.0501029984948236,
          2.2500686646799855,
          3.0001373291015625
        ],
        [
          1.0500514987127285,
          2.2500343322969245,
          3.0000686645507812
        ],
        [
          1.0500257492600724,
          2.2500171661412844,
          3.0000343322753906
        ],
        [
          1.0500128746127912,
          2.250008583069446,
          3.0000171661376953
        ],
        [
          1.050006437303322,
          2.2500042915345233,
          3.0000085830688477
        ],
        [
          1.0500032186511155,
          2.250002145767229,
          3.000004291534424
        ],
        [
          1.0500016093254614,
          2.2500010728836086,
          3.000002145767212
        ],
        [
          1.0500008046627136,
          2.2500005364418034,
          3.000001072883606
        ],
        [
          1.0500004023313538,
          2.2500002682209015,
          3.000000536441803
        ],
        [
          1.0500002011656764,
          2.2500001341104507,
          3.0000002682209015
        ],
        [
          1.050000100582838,
          2.2500000670552254,
          3.0000001341104507
        ],
        [
          1.050000050291419,
          2.2500000335276127,
          3.0000000670552254
        ],
        [
          1.0500000251457096,
          2.2500000167638063,
          3.0000000335276127
        ],
        [
          1.0500000125728548,
          2.250000008381903,
          3.0000000167638063
        ],
        [
          1.0500000062864274,
          2.2500000041909516,
          3.000000008381903
        ],
        [
          1.0500000031432137,
          2.250000002095476,
          3.0000000041909516
        ],
        [
          1.050000001571607,
          2.250000001047738,
          3.000000002095476
        ],
        [
          1.0500000007858035,
          2.250000000523869,
          3.000000001047738
        ],
        [
          1.0500000003929018,
          2.2500000002619345,
          3.000000000523869
        ],
        [
          1.050000000196451,
          2.2500000001309672,
          3.0000000002619345
        ],
        [
          1.0500000000982255,
          2.2500000000654836,
          3.0000000001309672
        ],
        [
          1.0500000000491128,
          2.250000000032742,
          3.0000000000654836
        ],
        [
          1.0500000000245564,
          2.250000000016371,
          3.000000000032742
        ],
        [
          1.0500000000122782,
          2.2500000000081855,
          3.000000000016371
        ],
        [
          1.0500000000061391,
          2.2500000000040927,
          3.0000000000081855
        ],
        [
          1.0500000000030696,
          2.2500000000020464,
          3.0000000000040927
        ],
        [
          1.0500000000015348,
          2.250000000001023,
          3.0000000000020464
        ]
      ],
      "full_support": false
    },
    {
      "id": "motivating-multiplicity",
      "name": "Motivating family: two-tranche multiplicity",
      "dividends": [
        0.0,
        2.0,
        3.0
      ],
      "returns": [
        1.05,
        1.05,
        1.05
      ],
      "theories": [
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ],
        [
          [
            0.9,
            0.05,
            0.05
          ],
          [
            0.05,
            0.9,
            0.05
          ],
          [
            0.05,
            0.05,
            0.9
          ]
        ]
      ],
      "theory_names": [
        "A",
        "B"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0,
        51.0
      ],
      "upper_bound": 1079.999999999999,
      "q_min": [
        46.633825943160055,
        48.53858784792196,
        51.72413793002377
      ],
      "q_max": [
        48.497019140786676,
        51.07718857897545,
        53.19140257359027
      ],
      "residual_min": 4.8125059493031586e-11,
      "residual_max": 4.8039794364740374e-11,
      "iterations_min": 505,
      "iterations_max": 396,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          0.0,
          1.9047619047619047,
          2.857142857142857
        ],
        [
          1.511715797430083,
          3.6734693877551017,
          5.396825396825397
        ],
        [
          3.359368438733518,
          5.382428103516538,
          7.729906777525826
        ],
        [
          5.229112165008217,
          7.133874069770121,
          9.899053263700711
        ],
        [
          7.0673141265012855,
          8.97207603126319,
          11.93075928482815
        ],
        [
          8.879412521457978,
          10.78417442621988,
          13.8472884421272
        ],
        [
          10.638373139620652,
          12.543135044382556,
          15.662608519331783
        ],
        [
          12.331465620106345,
          14.23622752486825,
          17.386117215808348
        ],
        [
          13.95359059072474,
          15.858352495486645,
          19.02465728712023
        ],
        [
          15.503682658200512,
          17.408444562962416,
          20.583608297827407
        ],
        [
          16.982773180631852,
          18.887535085393754,
          22.06747983724078
        ],
        [
          18.39294860421155,
          20.297710508973456,
          23.480235492207598
        ],
        [
          19.736791938219874,
          21.64155384298178,
          24.825471332043893
        ],
        [
          21.017084797855727,
          22.92184670261763,
          26.10651570276151
        ],
        [
          22.23664990578884,
          24.141411810550746,
          27.32648638810383
        ],
        [
          23.398269239505847,
          25.303031144267752,
          28.48832460486707
        ],
        [
          24.504642853536716,
          26.40940475829862,
          29.594816346256227
        ],
        [
          25.558369510505255,
          27.46313141526716,
          30.6486067544975
        ],
        [
          26.56193894611743,
          28.466700850879334,
          31.652210595558444
        ],
        [
          27.517730283350854,
          29.42249218811276,
          32.60802050081185
        ],
        [
          28.428013641992205,
          30.33277554675411,
          33.51831388028937
        ],
        [
          29.29495335524942,
          31.199715260011324,
          34.3852590016169
        ],
        [
          30.120611941865917,
          32.02537384662782,
          35.21092050687452
        ],
        [
          30.906954379481988,
          32.81171628424389,
          35.99726451963024
        ],
        [
          31.655852439160668,
          33.56061434392257,
          36.746163429384296
        ],
        [
          32.3690889563389,
          34.273850861100804,
          37.45940040533336
        ],
        [
          33.04836197548351,
          34.953123880245414,
          38.13867367206858
        ],
        [
          33.695288738983336,
          35.60005064374524,
          38.78560056918874
        ],
        [
          34.311409508545175,
          36.21617141330708,
          39.40172141086313
        ],
        [
          34.898191216735036,
          36.80295312149694,
          39.98850315797088
        ],
        [
          35.457030951175504,
          37.36179285593741,
          40.54734291341466
        ],
        [
          35.989259276357956,
          37.89402118111986,
          41.07957124993222
        ],
        [
          36.49614339917779,
          38.40090530393969,
          41.58645537886942
        ],
        [
          36.97889018475774,
          38.88365208951964,
          42.0692021677508
        ],
        [
          37.43864902921529,
          39.3434109339772,
          42.528961013990084
        ],
        [
          37.87651459593097,
          39.781276500692876,
          42.966826581667334
        ],
        [
          38.29352942167974,
          40.19829132644165,
          43.38384140793504
        ],
        [
          38.69068639874807,
          40.595448303509976,
          43.78099838528343
        ],
        [
          39.06893113890205,
          40.97369304366396,
          44.15924312558857
        ],
        [
          39.42916422481097,
          41.33392612957287,
          44.519476211579054
        ],
        [
          39.77224335427393,
          41.67700525903584,
          44.862555341086036
        ],
        [
          40.09898538234787,
          42.003747287109775,
          45.189297369183734
        ],
        [
          40.41016826623536,
          42.314930170997265,
          45.50048025308404
        ],
        [
          40.70653291756084,
          42.61129482232275,
          45.79684490441644
        ],
        [
          40.98878496644445,
          42.893546871206354,
          46.07909695330379
        ],
        [
          41.25759644157288,
          43.162358346334784,
          46.34790842843424
        ],
        [
          41.513607370267266,
          43.41836927502917,
          46.603919357129705
        ],
        [
          41.7574273023575,
          43.662189207119404,
          46.84773928922052
        ],
        [
          41.98963676149124,
          43.894398666253146,
          47.07994874835459
        ],
        [
          42.210788627333,
          44.11555053209491,
          47.30110061419652
        ],
        [
          42.42140945194426,
          44.32617135670616,
          47.511721438807875
        ],
        [
          42.62200071347882,
          44.526762618240724,
          47.71231270034248
        ],
        [
          42.81304001017842,
          44.717801914940324,
          47.903351997042094
        ],
        [
          42.994982197511376,
          44.89974410227328,
          48.085294184375066
        ],
        [
          43.168260471161815,
          45.07302237592372,
          48.25857245802552
        ],
        [
          43.33328739844795,
          45.238049303209856,
          48.423599385311654
        ],
        [
          43.49045590062522,
          45.39521780538713,
          48.58076788748893
        ],
        [
          43.6401401884131,
          45.544902093175004,
          48.73045217527681
        ],
        [
          43.78269665297299,
          45.687458557734885,
          48.8730086398367
        ],
        [
          43.918464714458594,
          45.8232266192205,
          49.008776701322304
        ],
        [
          44.04776763015917,
          45.95252953492108,
          49.13807961702288
        ],
        [
          44.17091326415972,
          46.07567516892163,
          49.26122525102343
        ],
        [
          44.28819482035072,
          46.19295672511262,
          49.37850680721443
        ],
        [
          44.39989154053262,
          46.30465344529453,
          49.49020352739633
        ],
        [
          44.50626936927729,
          46.411031274039196,
          49.59658135614101
        ],
        [
          44.60758158712936,
          46.512343491891265,
          49.697893573993085
        ],
        [
          44.704069413655134,
          46.60883131841704,
          49.79438140051886
        ],
        [
          44.79596258177493,
          46.700724486536835,
          49.88627456863865
        ],
        [
          44.88347988474616,
          46.788241789508064,
          49.973791871609876
        ],
        [
          44.96682969709971,
          46.87159160186162,
          50.05714168396342
        ],
        [
          45.04621047076976,
          46.95097237553166,
          50.13652245763347
        ],
        [
          45.12181120759837,
          47.026573112360275,
          50.212123194462094
        ],
        [
          45.19381190933991,
          47.09857381410181,
          50.28412389620363
        ],
        [
          45.262384006236616,
          47.16714591099852,
          50.35269599310033
        ],
        [
          45.32769076518586,
          47.23245266994776,
          50.41800275204958
        ],
        [
          45.389887678470856,
          47.29464958323276,
          50.48019966533458
        ],
        [
          45.44912283398037,
          47.35388473874227,
          50.53943482084409
        ],
        [
          45.505537267798964,
          47.41029917256087,
          50.59584925466268
        ],
        [
          45.55926530000714,
          47.464027204769046,
          50.64957728687086
        ],
        [
          45.610434854491125,
          47.51519675925303,
          50.70074684135484
        ],
        [
          45.659167763523484,
          47.56392966828539,
          50.74947975038721
        ],
        [
          45.70558005784002,
          47.61034196260192,
          50.79589204470375
        ],
        [
          45.749782242903386,
          47.65454414766529,
          50.84009422976712
        ],
        [
          45.79187956201136,
          47.696641466773265,
          50.88219154887508
        ],
        [
          45.83197224687609,
          47.736734151638,
          50.922284233739816
        ],
        [
          45.87015575627108,
          47.77491766103299,
          50.9604677431348
        ],
        [
          45.90652100331393,
          47.81128290807583,
          50.99683299017764
        ],
        [
          45.941154571926155,
          47.84591647668806,
          51.03146655878987
        ],
        [
          45.97413892298542,
          47.87890082774732,
          51.064450909849135
        ],
        [
          46.005552590660905,
          47.91031449542281,
          51.09586457752463
        ],
        [
          46.03547036939947,
          47.940232274161374,
          51.12578235626319
        ],
        [
          46.06396349200762,
          47.96872539676953,
          51.154275478871334
        ],
        [
          46.09109979925348,
          47.99586170401538,
          51.181411786117195
        ],
        [
          46.11694390139239,
          48.021705806154294,
          51.20725588825611
        ],
        [
          46.14155733200088,
          48.046319236762784,
          51.23186931886459
        ],
        [
          46.164998694485156,
          48.06976059924706,
          51.255310681348874
        ],
        [
          46.18732380161305,
          48.09208570637495,
          51.27763578847676
        ],
        [
          46.20858580840151,
          48.113347713163414,
          51.29889779526522
        ],
        [
          46.228835338676234,
          48.13359724343814,
          51.319147325539944
        ],
        [
          46.24812060560454,
          48.152882510366446,
          51.33843259246825
        ],
        [
          46.26648752648864,
          48.171249431250544,
          51.356799513352364
        ],
        [
          46.28397983209255,
          48.18874173685445,
          51.37429181895627
        ],
        [
          46.300639170762935,
          48.20540107552484,
          51.39095115762666
        ],
        [
          46.316505207591874,
          48.22126711235378,
          51.406817194455606
        ],
        [
          46.331615718857535,
          48.23637762361943,
          51.42192770572126
        ],
        [
          46.34600668196769,
          48.25076858672959,
          51.436318668831404
        ],
        [
          46.35971236112021,
          48.264474265882114,
          51.45002434798393
        ],
        [
          46.37276538888452,
          48.27752729364642,
          51.46307737574824
        ],
        [
          46.38519684389814,
          48.28995874866005,
          51.475508830761875
        ],
        [
          46.39703632486351,
          48.30179822962541,
          51.48734831172723
        ],
        [
          46.40831202102099,
          48.313073925782895,
          51.49862400788471
        ],
        [
          46.419050779266215,
          48.32381268402812,
          51.50936276612993
        ],
        [
          46.42927816807119,
          48.33404007283309,
          51.51959015493491
        ],
        [
          46.43901853836164,
          48.34378044312354,
          51.52933052522536
        ],
        [
          46.4482950814954,
          48.35305698625731,
          51.538607068359134
        ],
        [
          46.45712988447995,
          48.36189178924185,
          51.54744187134367
        ],
        [
          46.46554398256046,
          48.37030588732236,
          51.55585596942419
        ],
        [
          46.4735574093038,
          48.378319314065706,
          51.563869396167526
        ],
        [
          46.48118924429747,
          48.38595114905937,
          51.571501231161186
        ],
        [
          46.48845765857715,
          48.39321956333905,
          51.57876964544087
        ],
        [
          46.495379957891124,
          48.40014186265303,
          51.58569194475485
        ],
        [
          46.501972623904436,
          48.40673452866634,
          51.59228461076816
        ],
        [
          46.50825135344093,
          48.41301325820284,
          51.59856334030466
        ],
        [
          46.514231095856644,
          48.41899300061855,
          51.60454308272036
        ],
        [
          46.519926088633504,
          48.42468799339541,
          51.61023807549722
        ],
        [
          46.52534989127813,
          48.43011179604004,
          51.61566187814185
        ],
        [
          46.53051541760635,
          48.43527732236825,
          51.62082740447007
        ],
        [
          46.535434966490364,
          48.44019687125227,
          51.62574695335409
        ],
        [
          46.54012025114181,
          48.44488215590371,
          51.63043223800553
        ],
        [
          46.544582427000336,
          48.449344331762234,
          51.63489441386405
        ],
        [
          46.548832118294165,
          48.45359402305607,
          51.63914410515788
        ],
        [
          46.552879443335904,
          48.45764134809781,
          51.64319143019962
        ],
        [
          46.55673403861375,
          48.46149594337565,
          51.647046025477465
        ],
        [
          46.5604050817355,
          48.46516698649741,
          51.65071706859922
        ],
        [
          46.563901313280034,
          48.46866321804194,
          51.654213300143745
        ],
        [
          46.56723105760816,
          48.47199296237007,
          51.65754304447188
        ],
        [
          46.570402242682576,
          48.47516414744448,
          51.660714229546286
        ],
        [
          46.57342241894391,
          48.47818432370582,
          51.663734405807624
        ],
        [
          46.576298777288045,
          48.48106068204995,
          51.66661076415176
        ],
        [
          46.57903816618722,
          48.48380007094912,
          51.669350153050935
        ],
        [
          46.581647107995956,
          48.48640901275786,
          51.67195909485968
        ],
        [
          46.584131814480465,
          48.48889371924237,
          51.67444380134419
        ],
        [
          46.58649820160857,
          48.491260106370476,
          51.67681018847229
        ],
        [
          46.58875190363534,
          48.49351380839724,
          51.67906389049906
        ],
        [
          46.59089828651798,
          48.49566019127988,
          51.681210273381694
        ],
        [
          46.59294246069192,
          48.49770436545383,
          51.68325444755563
        ],
        [
          46.59488929323852,
          48.49965119800043,
          51.68520128010224
        ],
        [
          46.59674341947339,
          48.501505324235296,
          51.68705540633711
        ],
        [
          46.59850925398278,
          48.50327115874469,
          51.6888212408465
        ],
        [
          46.60019100113459,
          48.504952905896495,
          51.6905029879983
        ],
        [
          46.60179266508868,
          48.506554569850586,
          51.6921046519524
        ],
        [
          46.60331805933068,
          48.50807996409259,
          51.69363004619439
        ],
        [
          46.60477081575164,
          48.50953272051355,
          51.695082802615346
        ],
        [
          46.606154393295405,
          48.51091629805731,
          51.69646638015911
        ],
        [
          46.60747208619422,
          48.512233990956126,
          51.69778407305794
        ],
        [
          46.60872703181215,
          48.51348893657405,
          51.69903901867587
        ],
        [
          46.60992221811494,
          48.514684122876844,
          51.700234204978656
        ],
        [
          46.61106049078427,
          48.515822395546174,
          51.70137247764798
        ],
        [
          46.61214455999314,
          48.516906464755046,
          51.70245654685686
        ],
        [
          46.613177006858734,
          48.51793891162064,
          51.70348899372246
        ],
        [
          46.61416028958787,
          48.51892219434978,
          51.70447227645159
        ],
        [
          46.61509674932991,
          48.51985865409181,
          51.70540873619362
        ],
        [
          46.615988615750894,
          48.5207505205128,
          51.706300602614604
        ],
        [
          46.616838012342306,
          48.52159991710421,
          51.707149999206024
        ],
        [
          46.61764696147699,
          48.5224088662389,
          51.70795894834071
        ],
        [
          46.61841738922431,
          48.52317929398622,
          51.70872937608803
        ],
        [
          46.61915112993605,
          48.523913034697955,
          51.70946311679976
        ],
        [
          46.61984993061389,
          48.524611835375794,
          51.710161917477606
        ],
        [
          46.62051545506898,
          48.52527735983089,
          51.7108274419327
        ],
        [
          46.62114928788335,
          48.52591119264525,
          51.711461274747066
        ],
        [
          46.62175293818275,
          48.52651484294466,
          51.71206492504647
        ],
        [
          46.6223278432298,
          48.5270897479917,
          51.712639830093515
        ],
        [
          46.62287537184603,
          48.52763727660793,
          51.713187358709746
        ],
        [
          46.62339682767101,
          48.528158732432914,
          51.713708814534726
        ],
        [
          46.62389345226623,
          48.528655357028136,
          51.71420543912994
        ],
        [
          46.624366428071205,
          48.52912833283311,
          51.71467841493492
        ],
        [
          46.6248168812188,
          48.5295787859807,
          51.715128868082516
        ],
        [
          46.625245884216504,
          48.53000778897841,
          51.71555787108023
        ],
        [
          46.625654458500044,
          48.53041636326195,
          51.715966445363755
        ],
        [
          46.62604357686531,
          48.53080548162721,
          51.716355563729024
        ],
        [
          46.62641416578461,
          48.531176070546515,
          51.71672615264833
        ],
        [
          46.626767107612515,
          48.53152901237442,
          51.71707909447624
        ],
        [
          46.627103242686715,
          48.53186514744862,
          51.71741522955043
        ],
        [
          46.62742337132881,
          48.532185276090715,
          51.71773535819253
        ],
        [
          46.62772825574986,
          48.53249016051176,
          51.71804024261357
        ],
        [
          46.62801862186514,
          48.53278052662704,
          51.718330608728856
        ],
        [
          46.62829516102254,
          48.53305706578445,
          51.71860714788626
        ],
        [
          46.62855853164864,
          48.53332043641055,
          51.718870518512354
        ],
        [
          46.62880936081637,
          48.533571265578274,
          51.71912134768008
        ],
        [
          46.629048245738005,
          48.53381015049991,
          51.719360232601716
        ],
        [
          46.62927575518718,
          48.534037659949085,
          51.71958774205089
        ],
        [
          46.629492430853055,
          48.53425433561496,
          51.71980441771678
        ],
        [
          46.629698788630094,
          48.534460693392,
          51.72001077549381
        ],
        [
          46.62989531984631,
          48.53465722460822,
          51.72020730671003
        ],
        [
          46.63008249243319,
          48.534844397195094,
          51.72039447929691
        ],
        [
          46.63026075203974,
          48.535022656801644,
          51.720572738903456
        ],
        [
          46.6304305230936,
          48.535192427855506,
          51.72074250995731
        ],
        [
          46.63059220981156,
          48.535354114573465,
          51.72090419667527
        ],
        [
          46.630746197162004,
          48.53550810192391,
          51.72105818402571
        ],
        [
          46.63089285178147,
          48.53565475654337,
          51.72120483864517
        ],
        [
          46.63103252284762,
          48.535794427609524,
          51.72134450971132
        ],
        [
          46.631165542910615,
          48.53592744767252,
          51.72147752977432
        ],
        [
          46.631292228684906,
          48.53605413344681,
          51.721604215548616
        ],
        [
          46.63141288180327,
          48.53617478656518,
          51.72172486866699
        ],
        [
          46.631527789535056,
          48.536289694296954,
          51.721839776398774
        ],
        [
          46.63163722547008,
          48.536399130231985,
          51.721949212333804
        ],
        [
          46.63174145017012,
          48.53650335493202,
          51.722053437033836
        ],
        [
          46.6318407117892,
          48.53660261655111,
          51.72215269865291
        ],
        [
          46.63193524666452,
          48.536697151426424,
          51.72224723352822
        ],
        [
          46.632025279879095,
          48.536787184641,
          51.722337266742805
        ],
        [
          46.632111025797734,
          48.53687293055964,
          51.72242301266145
        ],
        [
          46.632192688577405,
          48.53695459333931,
          51.72250467544112
        ],
        [
          46.632270462653274,
          48.53703236741518,
          51.72258244951699
        ],
        [
          46.632344533201724,
          48.53710643796363,
          51.72265652006545
        ],
        [
          46.6324150765812,
          48.53717698134311,
          51.72272706344492
        ],
        [
          46.632482260752134,
          48.53724416551404,
          51.722794247615845
        ],
        [
          46.63254624567683,
          48.53730815043873,
          51.72285823254054
        ],
        [
          46.63260718370034,
          48.53736908846224,
          51.722919170564055
        ],
        [
          46.632665219913214,
          48.53742712467512,
          51.72297720677693
        ],
        [
          46.6327204924969,
          48.537482397258806,
          51.72303247936061
        ],
        [
          46.632773133052794,
          48.5375350378147,
          51.7230851199165
        ],
        [
          46.632823266915544,
          48.53758517167745,
          51.723135253779255
        ],
        [
          46.6328710134515,
          48.537632918213404,
          51.72318300031522
        ],
        [
          46.632916486342886,
          48.53767839110479,
          51.7232284732066
        ],
        [
          46.632959793858504,
          48.53772169862041,
          51.72327178072221
        ],
        [
          46.63300103911146,
          48.53776294387337,
          51.723313025975166
        ],
        [
          46.63304032030475,
          48.537802225066656,
          51.723352307168454
        ],
        [
          46.633077730965034,
          48.53783963572694,
          51.723389717828745
        ],
        [
          46.6331133601653,
          48.5378752649272,
          51.723425347029014
        ],
        [
          46.63314729273698,
          48.537909197498884,
          51.7234592796007
        ],
        [
          46.63317960947192,
          48.53794151423382,
          51.72349159633563
        ],
        [
          46.63321038731471,
          48.53797229207662,
          51.72352237417843
        ],
        [
          46.63323969954595,
          48.53800160430786,
          51.72355168640966
        ],
        [
          46.633267615956655,
          48.53802952071856,
          51.72357960282035
        ],
        [
          46.63329420301446,
          48.53805610777636,
          51.72360618987817
        ],
        [
          46.6333195240219,
          48.538081428783805,
          51.72363151088562
        ],
        [
          46.63334363926708,
          48.53810554402899,
          51.7236556261308
        ],
        [
          46.63336660616725,
          48.538128510929155,
          51.72367859303097
        ],
        [
          46.63338847940551,
          48.538150384167416,
          51.72370046626922
        ],
        [
          46.633409311060994,
          48.5381712158229,
          51.723721297924705
        ],
        [
          46.63342915073289,
          48.53819105549479,
          51.723741137596605
        ],
        [
          46.633448045658504,
          48.53820995042041,
          51.723760032522215
        ],
        [
          46.633466040825745,
          48.53822794558765,
          51.72377802768946
        ],
        [
          46.63348317908027,
          48.53824508384218,
          51.72379516594398
        ],
        [
          46.63349950122743,
          48.53826140598934,
          51.72381148809115
        ],
        [
          46.633515046129496,
          48.5382769508914,
          51.72382703299321
        ],
        [
          46.63352985079813,
          48.53829175556004,
          51.723841837661844
        ],
        [
          46.63354395048255,
          48.53830585524445,
          51.72385593734625
        ],
        [
          46.63355737875341,
          48.538319283515314,
          51.72386936561712
        ],
        [
          46.6335701675828,
          48.53833207234471,
          51.72388215444651
        ],
        [
          46.63358234742032,
          48.53834425218223,
          51.723894334284026
        ],
        [
          46.633593947265574,
          48.53835585202748,
          51.723905934129284
        ],
        [
          46.633604994737254,
          48.53836689949916,
          51.72391698160096
        ],
        [
          46.633615516138846,
          48.53837742090075,
          51.72392750300255
        ],
        [
          46.63362553652131,
          48.53838744128321,
          51.723937523385025
        ],
        [
          46.6336350797427,
          48.53839698450461,
          51.72394706660643
        ],
        [
          46.63364416852499,
          48.53840607328689,
          51.723956155388706
        ],
        [
          46.63365282450812,
          48.53841472927002,
          51.723964811371836
        ],
        [
          46.63366106830157,
          48.538422973063476,
          51.72397305516529
        ],
        [
          46.633668919533434,
          48.53843082429534,
          51.723980906397145
        ],
        [
          46.633676396897116,
          48.53843830165902,
          51.723988383760826
        ],
        [
          46.63368351819585,
          48.53844542295776,
          51.72399550505957
        ],
        [
          46.633690300385126,
          48.53845220514703,
          51.72400228724885
        ],
        [
          46.63369675961301,
          48.538458664374915,
          51.72400874647673
        ],
        [
          46.63370291125862,
          48.53846481602052,
          51.724014898122334
        ],
        [
          46.63370876996871,
          48.53847067473062,
          51.724020756832424
        ],
        [
          46.63371434969262,
          48.53847625445452,
          51.72402633655632
        ],
        [
          46.63371966371538,
          48.53848156847729,
          51.724031650579086
        ],
        [
          46.633724724689436,
          48.53848662945134,
          51.724036711553154
        ],
        [
          46.63372954466473,
          48.53849144942664,
          51.72404153152846
        ],
        [
          46.63373413511739,
          48.5384960398793,
          51.72404612198111
        ],
        [
          46.633738506977075,
          48.53850041173898,
          51.724050493840785
        ],
        [
          46.63374267065296,
          48.53850457541486,
          51.724054657516675
        ],
        [
          46.63374663605856,
          48.538508540820466,
          51.72405862292228
        ],
        [
          46.63375041263533,
          48.538512317397235,
          51.72406239949904
        ],
        [
          46.63375400937511,
          48.538515914137015,
          51.72406599623882
        ],
        [
          46.63375743484156,
          48.53851933960347,
          51.72406942170528
        ],
        [
          46.633760697190574,
          48.53852260195248,
          51.72407268405428
        ],
        [
          46.63376380418963,
          48.53852570895153,
          51.72407579105334
        ],
        [
          46.633766763236345,
          48.53852866799825,
          51.72407875010006
        ],
        [
          46.63376958137608,
          48.538531486137984,
          51.7240815682398
        ],
        [
          46.633772265318676,
          48.53853417008058,
          51.724084252182394
        ],
        [
          46.633774821454494,
          48.5385367262164,
          51.7240868083182
        ],
        [
          46.633777255869546,
          48.53853916063145,
          51.72408924273326
        ],
        [
          46.63377957436008,
          48.53854147912198,
          51.72409156122379
        ],
        [
          46.6337817824463,
          48.538543687208204,
          51.72409376931002
        ],
        [
          46.633783885385554,
          48.53854579014746,
          51.72409587224927
        ],
        [
          46.633785888184846,
          48.53854779294675,
          51.72409787504857
        ],
        [
          46.63378779561275,
          48.53854970037465,
          51.724099782476465
        ],
        [
          46.63378961221074,
          48.538551516972646,
          51.72410159907446
        ],
        [
          46.63379134230407,
          48.53855324706598,
          51.72410332916778
        ],
        [
          46.633792990012005,
          48.53855489477391,
          51.724104976875715
        ],
        [
          46.63379455925766,
          48.538556464019564,
          51.72410654612138
        ],
        [
          46.63379605377733,
          48.538557958539236,
          51.72410804064104
        ],
        [
          46.6337974771294,
          48.538559381891304,
          51.7241094639931
        ],
        [
          46.63379883270279,
          48.53856073746469,
          51.7241108195665
        ],
        [
          46.633800123725074,
          48.53856202848698,
          51.72411211058878
        ],
        [
          46.6338013532701,
          48.538563258032006,
          51.72411334013381
        ],
        [
          46.63380252426537,
          48.538564429027275,
          51.72411451112909
        ],
        [
          46.63380363949896,
          48.53856554426086,
          51.724115626362675
        ],
        [
          46.63380470162618,
          48.53856660638809,
          51.7241166884899
        ],
        [
          46.633805713175924,
          48.53856761793783,
          51.72411770003964
        ],
        [
          46.633806676556624,
          48.53856858131853,
          51.72411866342034
        ],
        [
          46.633807594062056,
          48.53856949882396,
          51.724119580925766
        ],
        [
          46.63380846787675,
          48.53857037263865,
          51.724120454740465
        ],
        [
          46.63380930008122,
          48.53857120484312,
          51.724121286944936
        ],
        [
          46.633810092656915,
          48.53857199741882,
          51.72412207952062
        ],
        [
          46.633810847490906,
          48.53857275225281,
          51.72412283435461
        ],
        [
          46.633811566380416,
          48.538573471142314,
          51.72412355324413
        ],
        [
          46.63381225103709,
          48.538574155799,
          51.72412423790081
        ],
        [
          46.633812903091076,
          48.53857480785298,
          51.72412488995479
        ],
        [
          46.633813524094876,
          48.53857542885678,
          51.72412551095858
        ],
        [
          46.63381411552706,
          48.538576020288964,
          51.72412610239076
        ],
        [
          46.6338146787958,
          48.538576583557706,
          51.724126665659504
        ],
        [
          46.633815215242215,
          48.53857712000412,
          51.72412720210592
        ],
        [
          46.633815726143574,
          48.53857763090548,
          51.72412771300727
        ],
        [
          46.63381621271628,
          48.53857811747819,
          51.724128199579994
        ],
        [
          46.63381667611887,
          48.538578580880774,
          51.72412866298259
        ],
        [
          46.63381711745467,
          48.538579022216574,
          51.724129104318386
        ],
        [
          46.633817537774476,
          48.53857944253638,
          51.7241295246382
        ],
        [
          46.633817938079055,
          48.53857984284096,
          51.72412992494277
        ],
        [
          46.63381831932152,
          48.538580224083425,
          51.724130306185224
        ],
        [
          46.63381868240957,
          48.538580587171474,
          51.724130669273286
        ],
        [
          46.63381902820772,
          48.53858093296962,
          51.724131015071436
        ],
        [
          46.63381935753929,
          48.53858126230119,
          51.724131344403006
        ],
        [
          46.633819671188405,
          48.5385815759503,
          51.72413165805212
        ],
        [
          46.63381996990185,
          48.53858187466375,
          51.72413195676557
        ],
        [
          46.633820254390834,
          48.53858215915274,
          51.72413224125456
        ],
        [
          46.63382052533274,
          48.53858243009464,
          51.72413251219645
        ],
        [
          46.63382078337264,
          48.53858268813455,
          51.72413277023636
        ],
        [
          46.63382102912493,
          48.538582933886836,
          51.72413301598865
        ],
        [
          46.63382126317473,
          48.538583167936636,
          51.72413325003845
        ],
        [
          46.633821486079306,
          48.53858339084121,
          51.724133472943016
        ],
        [
          46.63382169836938,
          48.538583603131286,
          51.72413368523309
        ],
        [
          46.633821900550394,
          48.5385838053123,
          51.724133887414105
        ],
        [
          46.63382209310374,
          48.53858399786564,
          51.724134079967456
        ],
        [
          46.63382227648788,
          48.53858418124978,
          51.72413426335159
        ],
        [
          46.63382245113944,
          48.53858435590134,
          51.72413443800314
        ],
        [
          46.63382261747425,
          48.53858452223616,
          51.72413460433796
        ],
        [
          46.63382277588837,
          48.538584680650274,
          51.72413476275209
        ],
        [
          46.63382292675895,
          48.53858483152086,
          51.72413491362267
        ],
        [
          46.633823070445224,
          48.53858497520713,
          51.724135057308935
        ],
        [
          46.6338232072893,
          48.53858511205121,
          51.724135194153014
        ],
        [
          46.63382333761699,
          48.53858524237889,
          51.7241353244807
        ],
        [
          46.633823461738594,
          48.5385853665005,
          51.72413544860231
        ],
        [
          46.63382357994965,
          48.53858548471155,
          51.724135566813366
        ],
        [
          46.6338236925316,
          48.538585597293505,
          51.72413567939532
        ],
        [
          46.633823799752506,
          48.53858570451441,
          51.724135786616216
        ],
        [
          46.63382390186766,
          48.53858580662956,
          51.72413588873136
        ],
        [
          46.633823999120175,
          48.53858590388208,
          51.724135985983885
        ],
        [
          46.63382409174164,
          48.53858599650354,
          51.72413607860535
        ],
        [
          46.63382417995255,
          48.53858608471445,
          51.72413616681626
        ],
        [
          46.63382426396294,
          48.53858616872485,
          51.724136250826646
        ],
        [
          46.63382434397283,
          48.53858624873474,
          51.72413633083654
        ],
        [
          46.63382442017272,
          48.53858632493463,
          51.724136407036426
        ],
        [
          46.633824492744054,
          48.53858639750596,
          51.72413647960775
        ],
        [
          46.6338245618596,
          48.5385864666215,
          51.724136548723315
        ],
        [
          46.633824627683936,
          48.53858653244584,
          51.72413661454765
        ],
        [
          46.63382469037378,
          48.53858659513568,
          51.724136677237496
        ],
        [
          46.6338247500784,
          48.5385866548403,
          51.72413673694211
        ],
        [
          46.63382480693993,
          48.53858671170183,
          51.724136793803645
        ],
        [
          46.63382486109377,
          48.538586765855676,
          51.72413684795749
        ],
        [
          46.633824912668864,
          48.53858681743077,
          51.72413689953258
        ],
        [
          46.633824961788,
          48.538586866549906,
          51.72413694865172
        ],
        [
          46.63382500856813,
          48.538586913330036,
          51.72413699543185
        ],
        [
          46.63382505312063,
          48.538586957882536,
          51.72413703998435
        ],
        [
          46.633825095551586,
          48.53858700031349,
          51.7241370824153
        ],
        [
          46.63382513596202,
          48.538587040723925,
          51.72413712282574
        ],
        [
          46.63382517444815,
          48.53858707921005,
          51.724137161311866
        ],
        [
          46.6338252111016,
          48.53858711586351,
          51.72413719796532
        ],
        [
          46.63382524600966,
          48.53858715077156,
          51.724137232873375
        ],
        [
          46.633825279255426,
          48.53858718401733,
          51.72413726611913
        ],
        [
          46.633825310918056,
          48.53858721567996,
          51.724137297781766
        ],
        [
          46.63382534107294,
          48.53858724583485,
          51.72413732793666
        ],
        [
          46.633825369791886,
          48.53858727455379,
          51.7241373566556
        ],
        [
          46.633825397143255,
          48.53858730190516,
          51.724137384006966
        ],
        [
          46.63382542319218,
          48.53858732795408,
          51.72413741005588
        ],
        [
          46.63382544800068,
          48.53858735276258,
          51.724137434864375
        ],
        [
          46.633825471627816,
          48.53858737638972,
          51.724137458491526
        ],
        [
          46.63382549412986,
          48.538587398891764,
          51.72413748099357
        ],
        [
          46.63382551556038,
          48.53858742032229,
          51.724137502424085
        ],
        [
          46.633825535970395,
          48.5385874407323,
          51.7241375228341
        ],
        [
          46.63382555540851,
          48.53858746017041,
          51.72413754227222
        ],
        [
          46.633825573920994,
          48.5385874786829,
          51.724137560784705
        ],
        [
          46.63382559155193,
          48.53858749631384,
          51.72413757841564
        ],
        [
          46.633825608343294,
          48.5385875131052,
          51.72413759520701
        ],
        [
          46.633825624335074,
          48.53858752909698,
          51.7241376111988
        ],
        [
          46.633825639565345,
          48.53858754432724,
          51.72413762642907
        ],
        [
          46.633825654070364,
          48.53858755883226,
          51.72413764093408
        ],
        [
          46.633825667884665,
          48.53858757264657,
          51.72413765474838
        ],
        [
          46.633825681041145,
          48.53858758580304,
          51.72413766790486
        ],
        [
          46.63382569357112,
          48.538587598333024,
          51.72413768043484
        ],
        [
          46.633825705504435,
          48.53858761026634,
          51.72413769236815
        ],
        [
          46.633825716869495,
          48.5385876216314,
          51.724137703733206
        ],
        [
          46.63382572769336,
          48.53858763245527,
          51.724137714557074
        ],
        [
          46.6338257380018,
          48.53858764276371,
          51.72413772486552
        ],
        [
          46.63382574781937,
          48.53858765258127,
          51.72413773468309
        ],
        [
          46.63382575716943,
          48.53858766193134,
          51.72413774403315
        ],
        [
          46.63382576607425,
          48.53858767083616,
          51.72413775293796
        ],
        [
          46.633825774555035,
          48.53858767931694,
          51.724137761418746
        ],
        [
          46.63382578263197,
          48.53858768739388,
          51.72413776949569
        ],
        [
          46.633825790324295,
          48.5385876950862,
          51.72413777718801
        ],
        [
          46.63382579765031,
          48.538587702412215,
          51.72413778451403
        ],
        [
          46.63382580462748,
          48.53858770938938,
          51.72413779149118
        ],
        [
          46.633825811272395,
          48.5385877160343,
          51.724137798136105
        ],
        [
          46.63382581760089,
          48.5385877223628,
          51.7241378044646
        ],
        [
          46.63382582362802,
          48.53858772838993,
          51.72413781049173
        ],
        [
          46.63382582936815,
          48.538587734130054,
          51.72413781623186
        ],
        [
          46.63382583483494,
          48.53858773959684,
          51.724137821698655
        ],
        [
          46.6338258400414,
          48.53858774480331,
          51.72413782690512
        ],
        [
          46.63382584499995,
          48.53858774976185,
          51.72413783186366
        ],
        [
          46.633825849722356,
          48.53858775448426,
          51.72413783658608
        ],
        [
          46.63382585421989,
          48.5385877589818,
          51.72413784108362
        ],
        [
          46.63382585850327,
          48.53858776326518,
          51.72413784536698
        ],
        [
          46.633825862582675,
          48.53858776734458,
          51.724137849446386
        ],
        [
          46.63382586646782,
          48.53858777122972,
          51.72413785333153
        ],
        [
          46.633825870167954,
          48.53858777492986,
          51.72413785703166
        ],
        [
          46.63382587369188,
          48.53858777845379,
          51.7241378605556
        ],
        [
          46.633825877048025,
          48.53858778180993,
          51.72413786391173
        ],
        [
          46.63382588024434,
          48.53858778500624,
          51.72413786710805
        ],
        [
          46.63382588328846,
          48.538587788050364,
          51.72413787015216
        ],
        [
          46.633825886187616,
          48.53858779094952,
          51.72413787305132
        ],
        [
          46.633825888948714,
          48.53858779371062,
          51.72413787581242
        ],
        [
          46.63382589157833,
          48.53858779634024,
          51.72413787844204
        ],
        [
          46.63382589408274,
          48.538587798844645,
          51.724137880946444
        ],
        [
          46.63382589646788,
          48.53858780122979,
          51.724137883331586
        ],
        [
          46.63382589873944,
          48.53858780350134,
          51.72413788560315
        ],
        [
          46.63382590090283,
          48.53858780566473,
          51.724137887766545
        ],
        [
          46.6338259029632,
          48.53858780772511,
          51.72413788982691
        ],
        [
          46.63382590492546,
          48.538587809687364,
          51.72413789178918
        ],
        [
          46.63382590679428,
          48.538587811556184,
          51.724137893657996
        ],
        [
          46.63382590857412,
          48.53858781333602,
          51.724137895437835
        ],
        [
          46.633825910269195,
          48.53858781503109,
          51.72413789713291
        ],
        [
          46.63382591188355,
          48.538587816645446,
          51.72413789874727
        ],
        [
          46.633825913421035,
          48.53858781818294,
          51.724137900284745
        ],
        [
          46.6338259148853,
          48.538587819647205,
          51.72413790174901
        ],
        [
          46.63382591627985,
          48.53858782104175,
          51.72413790314355
        ],
        [
          46.63382591760797,
          48.53858782236988,
          51.72413790447168
        ],
        [
          46.633825918872866,
          48.53858782363477,
          51.724137905736576
        ],
        [
          46.63382592007752,
          48.538587824839425,
          51.72413790694124
        ],
        [
          46.63382592122482,
          48.538587825986724,
          51.72413790808853
        ],
        [
          46.63382592231747,
          48.538587827079375,
          51.724137909181195
        ],
        [
          46.6338259233581,
          48.53858782812,
          51.72413791022182
        ],
        [
          46.633825924349175,
          48.53858782911108,
          51.72413791121289
        ],
        [
          46.63382592529306,
          48.538587830054965,
          51.72413791215677
        ],
        [
          46.633825926192,
          48.53858783095391,
          51.724137913055706
        ],
        [
          46.63382592704812,
          48.53858783181003,
          51.72413791391183
        ],
        [
          46.633825927863484,
          48.53858783262539,
          51.72413791472719
        ],
        [
          46.63382592864001,
          48.53858783340191,
          51.72413791550372
        ],
        [
          46.633825929379555,
          48.53858783414146,
          51.724137916243265
        ],
        [
          46.63382593008389,
          48.53858783484579,
          51.7241379169476
        ],
        [
          46.63382593075468,
          48.53858783551659,
          51.72413791761841
        ],
        [
          46.633825931393545,
          48.53858783615545,
          51.72413791825726
        ],
        [
          46.63382593200198,
          48.53858783676389,
          51.72413791886571
        ],
        [
          46.63382593258145,
          48.53858783734336,
          51.72413791944517
        ],
        [
          46.63382593313332,
          48.53858783789522,
          51.72413791999704
        ],
        [
          46.63382593365891,
          48.53858783842082,
          51.72413792052263
        ],
        [
          46.633825934159475,
          48.53858783892138,
          51.72413792102319
        ],
        [
          46.6338259346362,
          48.538587839398105,
          51.72413792149992
        ],
        [
          46.63382593509023,
          48.538587839852134,
          51.72413792195394
        ],
        [
          46.63382593552262,
          48.53858784028453,
          51.72413792238635
        ],
        [
          46.63382593593444,
          48.538587840696344,
          51.72413792279815
        ],
        [
          46.63382593632664,
          48.53858784108854,
          51.72413792319035
        ],
        [
          46.633825936700156,
          48.53858784146206,
          51.72413792356387
        ],
        [
          46.633825937055896,
          48.5385878418178,
          51.72413792391962
        ],
        [
          46.633825937394704,
          48.53858784215661,
          51.72413792425842
        ],
        [
          46.63382593771737,
          48.538587842479274,
          51.724137924581086
        ],
        [
          46.63382593802467,
          48.538587842786576,
          51.724137924888396
        ],
        [
          46.63382593831734,
          48.53858784307924,
          51.72413792518106
        ],
        [
          46.633825938596075,
          48.53858784335798,
          51.724137925459786
        ],
        [
          46.63382593886153,
          48.53858784362343,
          51.724137925725245
        ],
        [
          46.633825939114345,
          48.53858784387625,
          51.72413792597806
        ],
        [
          46.63382593935512,
          48.538587844117025,
          51.724137926218845
        ],
        [
          46.63382593958444,
          48.538587844346345,
          51.72413792644815
        ],
        [
          46.63382593980283,
          48.53858784456474,
          51.72413792666654
        ],
        [
          46.633825940010816,
          48.53858784477272,
          51.72413792687454
        ],
        [
          46.63382594020891,
          48.538587844970806,
          51.724137927072626
        ],
        [
          46.633825940397564,
          48.53858784515947,
          51.72413792726128
        ],
        [
          46.633825940577246,
          48.53858784533915,
          51.72413792744096
        ],
        [
          46.63382594074836,
          48.538587845510264,
          51.72413792761208
        ],
        [
          46.63382594091133,
          48.538587845673234,
          51.72413792777504
        ],
        [
          46.63382594106654,
          48.538587845828445,
          51.72413792793025
        ],
        [
          46.633825941214354,
          48.53858784597626,
          51.724137928078065
        ],
        [
          46.63382594135513,
          48.53858784611703,
          51.72413792821884
        ],
        [
          46.63382594148919,
          48.5385878462511,
          51.72413792835291
        ],
        [
          46.633825941616884,
          48.53858784637879,
          51.724137928480594
        ],
        [
          46.63382594173849,
          48.5385878465004,
          51.724137928602204
        ],
        [
          46.63382594185431,
          48.53858784661622,
          51.72413792871803
        ],
        [
          46.633825941964616,
          48.53858784672652,
          51.724137928828334
        ],
        [
          46.63382594206967,
          48.538587846831575,
          51.72413792893339
        ],
        [
          46.63382594216972,
          48.53858784693162,
          51.72413792903344
        ],
        [
          46.633825942265005,
          48.53858784702691,
          51.72413792912872
        ],
        [
          46.63382594235575,
          48.538587847117654,
          51.72413792921947
        ],
        [
          46.63382594244217,
          48.53858784720408,
          51.72413792930588
        ],
        [
          46.633825942524474,
          48.53858784728638,
          51.724137929388185
        ],
        [
          46.63382594260286,
          48.53858784736477,
          51.724137929466586
        ],
        [
          46.633825942677525,
          48.53858784743943,
          51.72413792954124
        ],
        [
          46.63382594274863,
          48.538587847510534,
          51.724137929612354
        ],
        [
          46.63382594281635,
          48.538587847578256,
          51.72413792968007
        ],
        [
          46.63382594288084,
          48.538587847642745,
          51.72413792974456
        ],
        [
          46.63382594294226,
          48.538587847704164,
          51.72413792980597
        ],
        [
          46.633825943000765,
          48.53858784776267,
          51.72413792986446
        ],
        [
          46.63382594305647,
          48.53858784781838,
          51.724137929920175
        ],
        [
          46.63382594310953,
          48.53858784787143,
          51.72413792997323
        ],
        [
          46.633825943160055,
          48.53858784792196,
          51.72413793002377
        ]
      ],
      "upper_path": [
        [
          1079.999999999999,
          1079.999999999999,
          1079.999999999999
        ],
        [
          1028.5714285714278,
          1030.4761904761895,
          1031.4285714285704
        ],
        [
          981.103552532123,
          983.265306122448,
          984.9886621315184
        ],
        [
          936.3039748527266,
          938.3270345175098,
          940.674513191519
        ],
        [
          893.7477849402399,
          895.6525468450017,
          898.4177260389323
        ],
        [
          853.2755739124359,
          855.1803358171978,
          858.1390190707631
        ],
        [
          814.7920408890149,
          816.6968027937768,
          819.7599168096842
        ],
        [
          778.1742096801511,
          780.0789715849129,
          783.1984450598624
        ],
        [
          743.3179766110877,
          745.2227385158496,
          748.3726282067898
        ],
        [
          710.1312201059451,
          712.035982010707,
          715.2022868023407
        ],
        [
          678.5299964822199,
          680.4347583869818,
          683.6099221218469
        ],
        [
          648.4364053939836,
          650.3411672987455,
          653.5211120505926
        ],
        [
          619.777360235975,
          621.682122140737,
          624.8646471239712
        ],
        [
          592.4838506351374,
          594.3886125398993,
          597.5725300289615
        ],
        [
          566.4904740330152,
          568.3952359377771,
          571.5799049379212
        ],
        [
          541.7351158440359,
          543.6398777487979,
          546.8249523263512
        ],
        [
          518.1587129902174,
          520.0634748949793,
          523.2487683555788
        ],
        [
          495.70506547326204,
          497.6098273780239,
          500.79523896598164
        ],
        [
          474.3206767673865,
          476.2254386721484,
          479.41091401137885
        ],
        [
          453.95461252409956,
          455.85937442886143,
          459.0448841735407
        ],
        [
          434.558371786191,
          436.46313369095293,
          439.6486620036521
        ],
        [
          416.0857674542209,
          417.9905293589828,
          421.17606769251813
        ],
        [
          398.49281412880055,
          400.3975760335625,
          403.58311977516814
        ],
        [
          381.7376222023908,
          383.64238410715274,
          386.8279307673995
        ],
        [
          365.7802974847438,
          367.6850593895057,
          370.8706076248921
        ],
        [
          350.58284587274335,
          352.4876077775052,
          355.673156862967
        ],
        [
          336.1090827026081,
          338.01384460737,
          341.19939415160263
        ],
        [
          322.32454649573987,
          324.2293084005018,
          327.414858192325
        ],
        [
          309.1964168535132,
          311.1011787582751,
          314.28672868371865
        ],
        [
          296.69343628428794,
          298.5981981890498,
          301.7837481866059
        ],
        [
          284.78583576506145,
          286.6905976698233,
          289.87614770629733
        ],
        [
          273.44526385434347,
          275.3500257591054,
          278.5355758165827
        ],
        [
          262.644719184137,
          264.5494810888989,
          267.73503115771126
        ],
        [
          252.35848616849114,
          254.26324807325304,
          257.4487981481828
        ],
        [
          242.56207377457997,
          244.46683567934184,
          247.65238575757306
        ],
        [
          233.23215720999835,
          235.13691911476027,
          238.32246919477316
        ],
        [
          224.3465223871529,
          226.25128429191483,
          229.4368343728893
        ],
        [
          215.8840130323673,
          217.7887749371292,
          220.97432501862266
        ],
        [
          207.8244803136886,
          209.7292422184505,
          212.91479230022404
        ],
        [
          200.14873486741686,
          202.05349677217876,
          205.2390468541034
        ],
        [
          192.83850110911078,
          194.74326301387268,
          197.92881309587887
        ],
        [
          185.87637372027373,
          187.78113562503566,
          190.96668570708584
        ],
        [
          179.24577620710957,
          181.15053811187147,
          184.33608819394544
        ],
        [
          172.93092143267504,
          174.83568333743693,
          178.02123341952375
        ],
        [
          166.91677402845576,
          168.82153593321766,
          172.0070860153114
        ],
        [
          161.18901459586817,
          163.09377650063007,
          166.27932658272755
        ],
        [
          155.73400561245265,
          157.63876751721455,
          160.824317599314
        ],
        [
          150.53875896158132,
          152.44352086634322,
          155.62907094844377
        ],
        [
          145.5909050083709,
          147.4956669131328,
          150.6812169952339
        ],
        [
          140.87866314817066,
          142.78342505293256,
          145.96897513503401
        ],
        [
          136.39081375750388,
          138.29557566226578,
          141.4811257443674
        ],
        [
          132.1166714806784,
          134.02143338544033,
          137.20698346754205
        ],
        [
          128.04605978846374,
          129.95082169322563,
          133.1363717753274
        ],
        [
          124.16928674825928,
          126.0740486530212,
          129.259598735123
        ],
        [
          120.47712194806458,
          122.3818838528265,
          125.5674339349283
        ],
        [
          116.96077451930773,
          118.86553642406965,
          122.05108650617146
        ],
        [
          113.61187220620597,
          115.51663411096787,
          118.7021841930697
        ],
        [
          110.42244143182334,
          112.32720333658524,
          115.51275341868705
        ],
        [
          107.38488831336369,
          109.2896502181256,
          112.47520030022741
        ],
        [
          104.49198058149737,
          106.39674248625927,
          109.58229256836108
        ],
        [
          101.73683036067229,
          103.6415922654342,
          106.82714234753601
        ],
        [
          99.11287776941032,
          101.01763967417222,
          104.20318975627401
        ],
        [
          96.61387530154175,
          98.51863720630365,
          101.70418728840545
        ],
        [
          94.23387295119073,
          96.13863485595265,
          99.32418493805446
        ],
        [
          91.96720404609455,
          93.87196595085646,
          97.05751603295828
        ],
        [
          89.80847175552674,
          91.71323366028865,
          94.89878374239048
        ],
        [
          87.75253624070027,
          89.65729814546218,
          92.842848227564
        ],
        [
          85.79450241705601,
          87.69926432181792,
          90.88481440391975
        ],
        [
          83.92970829929958,
          85.83447020406147,
          89.0200202861633
        ],
        [
          82.15371390143629,
          84.0584758061982,
          87.24402588830003
        ],
        [
          80.46229066537603,
          82.36705257013794,
          85.55260265223977
        ],
        [
          78.85141139293769,
          80.7561732976996,
          83.94172337980142
        ],
        [
          77.31724065728211,
          79.22200256204403,
          82.40755264414585
        ],
        [
          75.85612567094348,
          77.7608875757054,
          80.94643765780722
        ],
        [
          74.46458758871621,
          76.36934949347813,
          79.55489957557994
        ],
        [
          73.13931322469024,
          75.04407512945214,
          78.22962521155397
        ],
        [
          71.87714716371312,
          73.78190906847502,
          76.96745915057684
        ],
        [
          70.67508424849682,
          72.57984615325871,
          75.76539623536053
        ],
        [
          69.53026242448128,
          71.43502432924319,
          74.620574411345
        ],
        [
          68.43995592541887,
          70.34471783018077,
          73.5302679122826
        ],
        [
          67.40156878345468,
          69.30633068821658,
          72.49188077031839
        ],
        [
          66.41262864825067,
          68.31739055301259,
          71.5029406351144
        ],
        [
          65.47078090043735,
          67.37554280519925,
          70.56109288730107
        ],
        [
          64.57378304537703,
          66.47854495013894,
          69.66409503224075
        ],
        [
          63.719499373891026,
          65.62426127865292,
          68.80981136075474
        ],
        [
          62.905895877237676,
          64.81065778199958,
          67.9962078641014
        ],
        [
          62.13103540423449,
          64.0357973089964,
          67.2213473910982
        ],
        [
          61.39307304899336,
          63.29783495375526,
          66.48338503585708
        ],
        [
          60.69025175828752,
          62.595013663049436,
          65.78056374515123
        ],
        [
          60.02089814809148,
          61.92566005285338,
          65.1112101349552
        ],
        [
          59.38341851933335,
          61.28818042409526,
          64.47373050619707
        ],
        [
          58.776295063373226,
          60.68105696813513,
          63.86660705023695
        ],
        [
          58.19808224817311,
          60.10284415293501,
          63.28839423503682
        ],
        [
          57.647403376553946,
          59.55216528131585,
          62.737715363417664
        ],
        [
          57.122947308345225,
          59.02770921310713,
          62.21325929520893
        ],
        [
          56.62346533862263,
          58.528227243384535,
          61.71377732548634
        ],
        [
          56.14776822460111,
          58.052530129363014,
          61.23808021146482
        ],
        [
          55.69472335410442,
          57.59948525886632,
          60.78503534096813
        ],
        [
          55.263252048869475,
          57.16801395363138,
          60.353564035733186
        ],
        [
          54.85232699626477,
          56.75708890102668,
          59.94263898312848
        ],
        [
          54.46096980330791,
          56.365731708069816,
          59.55128179017162
        ],
        [
          54.08824866715852,
          55.99301057192042,
          59.17856065402223
        ],
        [
          53.73327615654005,
          55.638038061301955,
          58.82358814340376
        ],
        [
          53.39520709880818,
          55.29996900357008,
          58.48551908567189
        ],
        [
          53.073236567634964,
          54.97799847239687,
          58.163548554498675
        ],
        [
          52.766597966517615,
          54.67135987127952,
          57.856909953381326
        ],
        [
          52.47456120354871,
          54.379323108310615,
          57.56487319041243
        ],
        [
          52.196430953102144,
          54.10119285786405,
          57.286742939965855
        ],
        [
          51.931545000295884,
          53.83630690505779,
          57.021856987159595
        ],
        [
          51.679272664289925,
          53.58403456905182,
          56.769584651153636
        ],
        [
          51.4390132966652,
          53.34377520142711,
          56.52932528352891
        ],
        [
          51.21019485130832,
          53.11495675607022,
          56.30050683817203
        ],
        [
          50.99227252239701,
          52.897034427158914,
          56.08258450926072
        ],
        [
          50.78472744724338,
          52.69157454437435,
          55.87503943410709
        ],
        [
          50.587727436738035,
          52.550578760497764,
          55.67747675264501
        ],
        [
          50.41770887297803,
          52.43371892973126,
          55.49204227356409
        ],
        [
          50.26776827818202,
          52.32965636007684,
          55.31943755842204
        ],
        [
          50.13233720529552,
          52.23468544769085,
          55.15939527094549
        ],
        [
          50.00838664251805,
          52.147279777597035,
          55.01124464428596
        ],
        [
          49.894257480762235,
          52.066597593098635,
          54.87419381034582
        ],
        [
          49.78890440768466,
          51.99204127795517,
          54.747444936194555
        ],
        [
          49.69155257836012,
          51.92311805565156,
          54.630235930340085
        ],
        [
          49.60155763947674,
          51.85939265801449,
          54.52185320857777
        ],
        [
          49.518350319386975,
          51.8004696865123,
          54.42163371675671
        ],
        [
          49.44141388020825,
          51.74598601624668,
          54.32896318607237
        ],
        [
          49.370273994453115,
          51.695606756936606,
          54.243273202178926
        ],
        [
          49.30449331859322,
          51.64902255818523,
          54.164038018600486
        ],
        [
          49.24366790329489,
          51.60594748399196,
          54.090771438647
        ],
        [
          49.187424389185345,
          51.56611717718514,
          54.023023870615845
        ],
        [
          49.13541759904328,
          51.52928720831073,
          53.960379582735975
        ],
        [
          49.087328377806344,
          51.49523156536609,
          53.90245415698102
        ],
        [
          49.04286161909633,
          51.46374126318034,
          53.84889213184908
        ],
        [
          49.001744448928804,
          51.43462305964884,
          53.79936482169333
        ],
        [
          48.96372454929237,
          51.40769826942269,
          53.75356829995512
        ],
        [
          48.92856860910164,
          51.3828016672291,
          53.71122153418605
        ],
        [
          48.89606089222755,
          51.35978047389854,
          53.67206466150854
        ],
        [
          48.8660019135348,
          51.338493418806735,
          53.6358573939657
        ],
        [
          48.83820721470071,
          51.31880987295322,
          53.602377543986854
        ],
        [
          48.81250623226692,
          51.30060904734767,
          53.571419660924626
        ],
        [
          48.788741250964826,
          51.283779251781695,
          53.54279377029799
        ],
        [
          48.76676643588714,
          51.268217209436315,
          53.51632420800525
        ],
        [
          48.74644693756467,
          51.25382742311893,
          53.491848542353225
        ],
        [
          48.727658064456136,
          51.240521589240274,
          53.46921657728769
        ],
        [
          48.71028451777273,
          51.22821805593536,
          53.448289430708314
        ],
        [
          48.69421968394171,
          51.216841322003035,
          53.42893868221227
        ],
        [
          48.6793649803673,
          51.206321573589385,
          53.411045585036454
        ],
        [
          48.66562925047401,
          51.19659425577172,
          53.39450033736251
        ],
        [
          48.65292820432007,
          51.187599676414386,
          53.37920140851289
        ],
        [
          48.64118390134836,
          51.179282639865164,
          53.36505491590316
        ],
        [
          48.63032427210053,
          51.171592108244624,
          53.351974048927154
        ],
        [
          48.62028267595946,
          51.16448088824979,
          53.3398785362397
        ],
        [
          48.61099749220602,
          51.15790534155029,
          53.3286941531678
        ],
        [
          48.602411741880665,
          51.15182511699968,
          53.31835226622746
        ],
        [
          48.59447273812946,
          51.1462029030188,
          53.30878941195116
        ],
        [
          48.5871317628887,
          51.14100419863155,
          53.29994690744138
        ],
        [
          48.580343767924326,
          51.13619710174801,
          53.29177049026024
        ],
        [
          48.57406709839129,
          51.13175211339584,
          53.28420998544555
        ],
        [
          48.56826323721672,
          51.12764195669843,
          53.27721899760985
        ],
        [
          48.5628965687381,
          51.12384140948914,
          53.27075462623297
        ],
        [
          48.55793416014609,
          51.120327149534226,
          53.26477720240098
        ],
        [
          48.553345559390884,
          51.117077611414956,
          53.259250045376085
        ],
        [
          48.54910260831172,
          51.11407285419037,
          53.25413923750359
        ],
        [
          48.54517926984307,
          51.111294439028796,
          53.249413416074596
        ],
        [
          48.54155146823697,
          51.1087253160571,
          53.24504358086736
        ],
        [
          48.53819694132109,
          51.10634971973333,
          53.24100291618602
        ],
        [
          48.53509510388585,
          51.10415307210079,
          53.237266626304894
        ],
        [
          48.53222692136239,
          51.1021218933297,
          53.23381178330832
        ],
        [
          48.529574793016,
          51.100243718997575,
          53.230617186392465
        ],
        [
          48.527122443938424,
          51.098507023600774,
          53.227663231765604
        ],
        [
          48.52485482517612,
          51.096901149827666,
          53.22493179234856
        ],
        [
          48.52275802138169,
          51.09541624315957,
          53.222406106537036
        ],
        [
          48.52081916542168,
          51.09404319139805,
          53.22007067534322
        ],
        [
          48.519026359416806,
          51.09277356874746,
          53.2179111672856
        ],
        [
          48.51736860173011,
          51.09159958410971,
          53.21591433044309
        ],
        [
          48.51583571945489,
          51.09051403327375,
          53.21406791113406
        ],
        [
          48.51441830598816,
          51.089510254706674,
          53.21236057872102
        ],
        [
          48.51310766330661,
          51.0885820886749,
          53.21078185607967
        ],
        [
          48.511895748590845,
          51.08772383944462,
          53.20932205530549
        ],
        [
          48.510775124870136,
          51.08693024032976,
          53.207972218263535
        ],
        [
          48.509738915385206,
          51.086196421372634,
          53.206724061616356
        ],
        [
          48.508780761388635,
          51.085517879459296,
          53.205569925992954
        ],
        [
          48.50789478312409,
          51.08489045068588,
          53.20450272898671
        ],
        [
          48.507075543744975,
          51.08431028480673,
          53.20351592169384
        ],
        [
          48.50631801595097,
          51.08377382160709,
          53.20260344852574
        ],
        [
          48.50561755113771,
          51.083277769055705,
          53.201759710048634
        ],
        [
          48.50496985087049,
          51.08281908310317,
          53.20097952862232
        ],
        [
          48.504370940506654,
          51.08239494900192,
          53.200258116627396
        ],
        [
          48.503817144805076,
          51.08200276403343,
          53.19959104708578
        ],
        [
          48.503305065372786,
          51.0816401215365,
          53.1989742264944
        ],
        [
          48.50283155981069,
          51.08130479613867,
          53.19840386970515
        ],
        [
          48.50239372242999,
          51.08099473010013,
          53.19787647669724
        ],
        [
          48.50198886642138,
          51.0807080206863,
          53.19738881109906
        ],
        [
          48.501614507367215,
          51.080442908491605,
          53.19693788032812
        ],
        [
          48.50126834799585,
          51.0801977666428,
          53.1965209172269
        ],
        [
          48.50094826408429,
          51.079971090815576,
          53.19613536308203
        ],
        [
          48.500652291422824,
          51.07976149000325,
          53.19577885192268
        ],
        [
          48.500378613761505,
          51.07956767798075,
          53.19544919600163
        ],
        [
          48.50012555166472,
          51.07938846541162,
          53.195144372370066
        ],
        [
          48.499891552205206,
          51.079222752549654,
          53.194862510463686
        ],
        [
          48.499675179434455,
          51.079069522490194,
          53.194601880623864
        ],
        [
          48.49947510557095,
          51.07892783492991,
          53.194360883483526
        ],
        [
          48.499290102852186,
          51.07879682039653,
          53.19413804015258
        ],
        [
          48.49911903600041,
          51.078675674913306,
          53.19393198314262
        ],
        [
          48.49896085525598,
          51.07856365506539,
          53.19374144797527
        ],
        [
          48.498814589935435,
          51.07846007343779,
          53.19356526542267
        ],
        [
          48.49867934247488,
          51.07836429439707,
          53.19340235433244
        ],
        [
          48.49855428292203,
          51.07827573019071,
          53.19325171499313
        ],
        [
          48.49843864384313,
          51.07819383734036,
          53.19311242299948
        ],
        [
          48.49833171561363,
          51.07811811330676,
          53.192983623579714
        ],
        [
          48.49823284206352,
          51.078048093405876,
          53.19286452635024
        ],
        [
          48.49814141645068,
          51.07798334795734,
          53.19275440046541
        ],
        [
          48.498056877737596,
          51.07792347964773,
          53.19265257013263
        ],
        [
          48.49797870714855,
          51.07786812109238,
          53.19255841046535
        ],
        [
          48.49790642498611,
          51.07781693258095,
          53.192471343648435
        ],
        [
          48.49783958768745,
          51.07776959999279,
          53.192390835392324
        ],
        [
          48.49777778510239,
          51.07772583286928,
          53.19231639165438
        ],
        [
          48.49772063797652,
          51.07768536263143,
          53.19224755560716
        ],
        [
          48.49766779562384,
          51.07764794093176,
          53.19218390483508
        ],
        [
          48.49761893377482,
          51.07761333813029,
          53.192125048742234
        ],
        [
          48.497573752586455,
          51.07758134188532,
          53.192070626155484
        ],
        [
          48.4975319748023,
          51.0775517558504,
          53.19202030310811
        ],
        [
          48.49749334405105,
          51.07752439846948,
          53.191973770790405
        ],
        [
          48.49745762327331,
          51.077499101862706,
          53.19193074365465
        ],
        [
          48.49742459326688,
          51.07747571079631,
          53.191890957662835
        ],
        [
          48.497394051341594,
          51.0774540817299,
          53.19185416866639
        ],
        [
          48.497365810075515,
          51.07743408193573,
          53.191820150907915
        ],
        [
          48.497339696164815,
          51.07741558868412,
          53.191788695635886
        ],
        [
          48.49731554936026,
          51.07739848849039,
          53.191759609823556
        ],
        [
          48.49729322148387,
          51.0773826764184,
          53.191732714984504
        ],
        [
          48.49727257551961,
          51.07736805543666,
          53.1917078460773
        ],
        [
          48.49725348477256,
          51.07735453582282,
          53.19168485049274
        ],
        [
          48.497235832091455,
          51.07734203461315,
          53.19166358711736
        ],
        [
          48.49721950914983,
          51.077330475093405,
          53.191643925467474
        ],
        [
          48.49720441578117,
          51.07731978632805,
          53.191625744888455
        ],
        [
          48.49719045936433,
          51.07730990272498,
          53.191608933814344
        ],
        [
          48.497177554255124,
          51.077300763633,
          53.19159338908321
        ],
        [
          48.497165621260734,
          51.07729231296967,
          53.191579015304086
        ],
        [
          48.4971545871538,
          51.07728449887709,
          53.19156572427161
        ],
        [
          48.497144384223006,
          51.07727727340373,
          53.191553434424755
        ],
        [
          48.49713494985761,
          51.077270592210134,
          53.191542070346294
        ],
        [
          48.49712622616318,
          51.07726441429684,
          53.19153156230004
        ],
        [
          48.497118159606366,
          51.07725870175281,
          53.191521845802896
        ],
        [
          48.49711070068637,
          51.07725341952275,
          53.1915128612291
        ],
        [
          48.497103803631184,
          51.077248535192,
          53.19150455344442
        ],
        [
          48.497097426116696,
          51.077244018787646,
          53.19149687146774
        ],
        [
          48.49709152900701,
          51.077239842594565,
          53.19148976815826
        ],
        [
          48.49708607611423,
          51.07723598098535,
          53.1914831999262
        ],
        [
          48.497081033976436,
          51.07723241026308,
          53.19147712646529
        ],
        [
          48.49707637165231,
          51.07722910851581,
          53.19147151050546
        ],
        [
          48.49707206053129,
          51.07722605548226,
          53.1914663175841
        ],
        [
          48.49706807415798,
          51.077223232427315,
          53.191461515834625
        ],
        [
          48.49706438806981,
          51.07722062202718,
          53.19145707579087
        ],
        [
          48.49706097964694,
          51.07721820826302,
          53.191452970206306
        ],
        [
          48.497057827973414,
          51.077215976322655,
          53.19144917388683
        ],
        [
          48.49705491370886,
          51.07721391250968,
          53.19144566353614
        ],
        [
          48.497052218969735,
          51.077212004159406,
          53.19144241761281
        ],
        [
          48.49704972721967,
          51.07721023956117,
          53.19143941619807
        ],
        [
          48.49704742316791,
          51.077208607886405,
          53.19143664087362
        ],
        [
          48.49704529267553,
          51.07720709912229,
          53.19143407460854
        ],
        [
          48.49704332266869,
          51.077205704010204,
          53.19143170165483
        ],
        [
          48.49704150105832,
          51.077204413988994,
          53.19142950745075
        ],
        [
          48.497039816666046,
          51.07720322114237,
          53.191427478531466
        ],
        [
          48.49703825915552,
          51.07720211815039,
          53.191425602446415
        ],
        [
          48.497036818968986,
          51.07720109824448,
          53.19142386768292
        ],
        [
          48.49703548726869,
          51.07720015516595,
          53.19142226359552
        ],
        [
          48.49703425588258,
          51.07719928312754,
          53.19142078034066
        ],
        [
          48.49703311725421,
          51.07719847677796,
          53.19141940881627
        ],
        [
          48.49703206439633,
          51.07719773116901,
          53.19141814060595
        ],
        [
          48.497031090848026,
          51.077197041725206,
          53.191416967927246
        ],
        [
          48.497030190635066,
          51.07719640421576,
          53.19141588358397
        ],
        [
          48.49702935823326,
          51.07719581472856,
          53.19141488092201
        ],
        [
          48.49702858853455,
          51.077195269646204,
          53.19141395378848
        ],
        [
          48.49702787681563,
          51.077194765623766,
          53.19141309649397
        ],
        [
          48.49702721870901,
          51.077194299568276,
          53.19141230377765
        ],
        [
          48.497026610176164,
          51.077193868619766,
          53.19141157077499
        ],
        [
          48.49702604748283,
          51.0771934701337,
          53.19141089298788
        ],
        [
          48.497025527176,
          51.07719310166476,
          53.19141026625706
        ],
        [
          48.497025046062795,
          51.07719276095181,
          53.191409686736556
        ],
        [
          48.497024601190844,
          51.07719244590405,
          53.19140915087012
        ],
        [
          48.497024189830164,
          51.07719215458818,
          53.191408655369386
        ],
        [
          48.49702380945642,
          51.077191885216536,
          53.191408197193674
        ],
        [
          48.49702345773544,
          51.077191636136085,
          53.19140777353138
        ],
        [
          48.49702313250885,
          51.07719140581834,
          53.191407381782675
        ],
        [
          48.49702283178091,
          51.077191192849945,
          53.19140701954358
        ],
        [
          48.49702255370617,
          51.07719099592402,
          53.1914066845912
        ],
        [
          48.497022296578216,
          51.077190813832104,
          53.19140637487008
        ],
        [
          48.49702205881917,
          51.077190645456795,
          53.1914060884796
        ],
        [
          48.497021838970014,
          51.077190489764845,
          53.19140582366232
        ],
        [
          48.49702163568164,
          51.077190345800844,
          53.19140557879317
        ],
        [
          48.49702144770656,
          51.07719021268135,
          53.1914053523695
        ],
        [
          48.497021273891235,
          51.077190089589465,
          53.19140514300185
        ],
        [
          48.49702111316906,
          51.07718997576984,
          53.191404949405424
        ],
        [
          48.497020964553755,
          51.077189870524,
          53.191404770392204
        ],
        [
          48.49702082713331,
          51.07718977320611,
          53.191404604863685
        ],
        [
          48.49702070006447,
          51.077189683218975,
          53.19140445180408
        ],
        [
          48.497020582567465,
          51.07718960001039,
          53.19140431027413
        ],
        [
          48.49702047392126,
          51.07718952306972,
          53.19140417940534
        ],
        [
          48.49702037345915,
          51.07718945192484,
          53.19140405839462
        ],
        [
          48.497020280564634,
          51.07718938613915,
          53.19140394649938
        ],
        [
          48.49702019466767,
          51.07718932530896,
          53.19140384303298
        ],
        [
          48.49702011524114,
          51.07718926906098,
          53.19140374736048
        ],
        [
          48.49702004179765,
          51.077189217050034,
          53.1914036588948
        ],
        [
          48.4970199738865,
          51.07718916895698,
          53.19140357709304
        ],
        [
          48.49701991109096,
          51.077189124486665,
          53.19140350145324
        ],
        [
          48.49701985302566,
          51.0771890833662,
          53.191403431511226
        ],
        [
          48.49701979933431,
          51.07718904534326,
          53.1914033668378
        ],
        [
          48.49701974968741,
          51.077189010184505,
          53.19140330703608
        ],
        [
          48.49701970378032,
          51.07718897767419,
          53.1914032517391
        ],
        [
          48.4970196613313,
          51.0771889476128,
          53.19140320060754
        ],
        [
          48.49701962207988,
          51.07718891981588,
          53.191403153327606
        ],
        [
          48.497019585785196,
          51.077188894112844,
          53.19140310960917
        ],
        [
          48.49701955222451,
          51.077188870345964,
          53.19140306918395
        ],
        [
          48.49701952119187,
          51.07718884836939,
          53.19140303180388
        ],
        [
          48.49701949249687,
          51.077188828048264,
          53.19140299723957
        ],
        [
          48.4970194659634,
          51.07718880925789,
          53.191402965278925
        ],
        [
          48.497019441428634,
          51.07718879188295,
          53.1914029357258
        ],
        [
          48.49701941874203,
          51.077188775816836,
          53.19140290839885
        ],
        [
          48.497019397764355,
          51.07718876096095,
          53.19140288313039
        ],
        [
          48.49701937836688,
          51.07718874722411,
          53.19140285976534
        ],
        [
          48.49701936043058,
          51.07718873452205,
          53.19140283816033
        ],
        [
          48.49701934384538,
          51.07718872277681,
          53.19140281818279
        ],
        [
          48.49701932850951,
          51.077188711916314,
          53.19140279971011
        ],
        [
          48.49701931432887,
          51.07718870187392,
          53.19140278262894
        ],
        [
          48.497019301216426,
          51.077188692587995,
          53.19140276683446
        ],
        [
          48.4970192890917,
          51.07718868400156,
          53.19140275222974
        ],
        [
          48.49701927788032,
          51.077188676061915,
          53.191402738725166
        ],
        [
          48.49701926751346,
          51.07718866872036,
          53.19140272623786
        ],
        [
          48.49701925792751,
          51.07718866193182,
          53.1914027146912
        ],
        [
          48.49701924906366,
          51.077188655654645,
          53.19140270401433
        ],
        [
          48.497019240867495,
          51.07718864985032,
          53.19140269414172
        ],
        [
          48.49701923328874,
          51.07718864448322,
          53.19140268501279
        ],
        [
          48.49701922628087,
          51.077188639520415,
          53.19140267657153
        ],
        [
          48.49701921980088,
          51.077188634931446,
          53.19140266876612
        ],
        [
          48.497019213809025,
          51.077188630688156,
          53.191402661548686
        ],
        [
          48.497019208268526,
          51.07718862676451,
          53.19140265487493
        ],
        [
          48.49701920314538,
          51.077188623136415,
          53.191402648703885
        ],
        [
          48.49701919840815,
          51.077188619781616,
          53.191402642997694
        ],
        [
          48.497019194027764,
          51.07718861667953,
          53.19140263772134
        ],
        [
          48.497019189977344,
          51.077188613811124,
          53.19140263284244
        ],
        [
          48.49701918623203,
          51.077188611158775,
          53.19140262833106
        ],
        [
          48.497019182768845,
          51.07718860870623,
          53.191402624159515
        ],
        [
          48.497019179566536,
          51.07718860643843,
          53.1914026203022
        ],
        [
          48.49701917660544,
          51.077188604341465,
          53.191402616735445
        ],
        [
          48.497019173867415,
          51.07718860240245,
          53.19140261343737
        ],
        [
          48.49701917133562,
          51.0771886006095,
          53.191402610387726
        ],
        [
          48.497019168994555,
          51.07718859895161,
          53.19140260756781
        ],
        [
          48.49701916682982,
          51.0771885974186,
          53.19140260496032
        ],
        [
          48.497019164828174,
          51.07718859600107,
          53.19140260254924
        ],
        [
          48.497019162977296,
          51.077188594690334,
          53.191402600319776
        ],
        [
          48.49701916126584,
          51.07718859347831,
          53.191402598258264
        ],
        [
          48.4970191596833,
          51.0771885923576,
          53.19140259635204
        ],
        [
          48.49701915821998,
          51.07718859132131,
          53.191402594589405
        ],
        [
          48.497019156866884,
          51.077188590363086,
          53.19140259295954
        ],
        [
          48.49701915561571,
          51.07718858947703,
          53.19140259145246
        ],
        [
          48.4970191544588,
          51.07718858865773,
          53.1914025900589
        ],
        [
          48.49701915338902,
          51.07718858790014,
          53.19140258877031
        ],
        [
          48.49701915239983,
          51.07718858719962,
          53.191402587578786
        ],
        [
          48.49701915148515,
          51.07718858655186,
          53.19140258647702
        ],
        [
          48.49701915063937,
          51.077188585952904,
          53.19140258545825
        ],
        [
          48.49701914985731,
          51.077188585399064,
          53.19140258451622
        ],
        [
          48.49701914913415,
          51.07718858488695,
          53.19140258364515
        ],
        [
          48.49701914846547,
          51.0771885844134,
          53.19140258283969
        ],
        [
          48.49701914784716,
          51.07718858397552,
          53.191402582094916
        ],
        [
          48.49701914727543,
          51.07718858357063,
          53.19140258140624
        ],
        [
          48.49701914674676,
          51.077188583196246,
          53.19140258076944
        ],
        [
          48.49701914625792,
          51.07718858285006,
          53.191402580180615
        ],
        [
          48.4970191458059,
          51.077188582529956,
          53.19140257963614
        ],
        [
          48.49701914538793,
          51.07718858223396,
          53.19140257913268
        ],
        [
          48.49701914500145,
          51.07718858196026,
          53.191402578667144
        ],
        [
          48.49701914464407,
          51.077188581707176,
          53.191402578236676
        ],
        [
          48.49701914431362,
          51.07718858147316,
          53.19140257783863
        ],
        [
          48.497019144008064,
          51.07718858125677,
          53.19140257747057
        ],
        [
          48.497019143725524,
          51.07718858105668,
          53.19140257713023
        ],
        [
          48.497019143464264,
          51.07718858087166,
          53.191402576815534
        ],
        [
          48.49701914322269,
          51.07718858070058,
          53.19140257652454
        ],
        [
          48.49701914299931,
          51.07718858054238,
          53.19140257625547
        ],
        [
          48.497019142792745,
          51.07718858039611,
          53.191402576006666
        ],
        [
          48.49701914260175,
          51.07718858026085,
          53.19140257577661
        ],
        [
          48.497019142425145,
          51.07718858013578,
          53.19140257556388
        ],
        [
          48.49701914226184,
          51.077188580020135,
          53.19140257536717
        ],
        [
          48.49701914211084,
          51.07718857991319,
          53.191402575185286
        ],
        [
          48.49701914197121,
          51.07718857981432,
          53.191402575017094
        ],
        [
          48.4970191418421,
          51.077188579722886,
          53.19140257486158
        ],
        [
          48.49701914172272,
          51.077188579638346,
          53.19140257471777
        ],
        [
          48.49701914161233,
          51.07718857956017,
          53.1914025745848
        ],
        [
          48.49701914151025,
          51.077188579487874,
          53.19140257446184
        ],
        [
          48.497019141415855,
          51.077188579421026,
          53.191402574348146
        ],
        [
          48.49701914132858,
          51.07718857935922,
          53.19140257424302
        ],
        [
          48.497019141247875,
          51.077188579302074,
          53.19140257414581
        ],
        [
          48.49701914117325,
          51.077188579249224,
          53.19140257405593
        ],
        [
          48.49701914110425,
          51.07718857920036,
          53.19140257397281
        ],
        [
          48.497019141040454,
          51.07718857915518,
          53.19140257389595
        ],
        [
          48.49701914098145,
          51.07718857911339,
          53.19140257382488
        ],
        [
          48.497019140926895,
          51.07718857907475,
          53.19140257375917
        ],
        [
          48.497019140876446,
          51.07718857903903,
          53.191402573698404
        ],
        [
          48.4970191408298,
          51.07718857900599,
          53.19140257364222
        ],
        [
          48.497019140786676,
          51.07718857897545,
          53.19140257359027
        ]
      ],
      "full_support": true
    },
    {
      "id": "example1-benchmark",
      "name": "Example 1: no tranching",
      "dividends": [
        0.0,
        0.25,
        0.4166666666666667
      ],
      "returns": [
        1.0833333333333333,
        1.0833333333333333,
        1.0833333333333333
      ],
      "theories": [
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ],
        [
          [
            0.5,
            0.125,
            0.375
          ],
          [
            0.125,
            0.75,
            0.125
          ],
          [
            0.375,
            0.125,
            0.5
          ]
        ]
      ],
      "theory_names": [
        "coarse",
        "singleton"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0
      ],
      "upper_bound": 5.000000000000004,
      "q_min": [
        2.593272171206559,
        2.8440366972004427,
        2.990825688026131
      ],
      "q_max": [
        2.593272171300146,
        2.8440366972940296,
        2.9908256881197177
      ],
      "residual_min": 3.6362024502523127e-12,
      "residual_max": 3.5633718198369024e-12,
      "iterations_min": 310,
      "iterations_max": 307,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          0.0,
          0.23076923076923078,
          0.38461538461538464
        ],
        [
          0.1893491124260355,
          0.4349112426035503,
          0.5887573964497043
        ],
        [
          0.37323623122439686,
          0.6216431497496587,
          0.7720755575785162
        ],
        [
          0.5436784426315606,
          0.7932889254577923,
          0.9418831623542594
        ],
        [
          0.7011847785980345,
          0.9513802105076048,
          1.0990604118580207
        ],
        [
          0.84665396952728,
          1.0971376677117328,
          1.2443664838923605
        ],
        [
          0.980971729578884,
          1.2315976684257735,
          1.378603712907271
        ],
        [
          1.1049763418190548,
          1.355672475350861,
          1.502568581783636
        ],
        [
          1.2194515073703236,
          1.4701822818124453,
          1.6170241339933735
        ],
        [
          1.3251255148234284,
          1.575873384489043,
          1.7226884622957974
        ],
        [
          1.422673034341006,
          1.6734293404677099,
          1.8202312051702907
        ],
        [
          1.512718024608925,
          1.7634784941135642,
          1.9102738381736795
        ],
        [
          1.5958370328911287,
          1.846599557015076,
          1.993391683150199
        ],
        [
          1.6725625455558164,
          1.9233260836305908,
          2.0701166217256834
        ],
        [
          1.743386231049874,
          1.9941502695075053,
          2.1409400239077816
        ],
        [
          1.808762007527742,
          2.059526292923387,
          2.206315660571722
        ],
        [
          1.8691089110839538,
          2.1198733183430525,
          2.2666624951300194
        ],
        [
          1.9248137614021619,
          2.175578228800649,
          2.3223673113978838
        ],
        [
          1.9762336312617523,
          2.226998128338916,
          2.3737871644536925
        ],
        [
          2.0236981304782646,
          2.274462642201801,
          2.4212516553775703
        ],
        [
          2.0675115163254265,
          2.31827603527692,
          2.465065037132332
        ],
        [
          2.1079546426875937,
          2.358719165206071,
          2.505508161474907
        ],
        [
          2.1452867598057144,
          2.3960512840844914,
          2.542840277596363
        ],
        [
          2.1797471758420213,
          2.430511700989503,
          2.577300693140818
        ],
        [
          2.2115567907607208,
          2.4623213163369067,
          2.609110307816789
        ],
        [
          2.240919512281359,
          2.49168403806911,
          2.6384730292176415
        ],
        [
          2.268023562944034,
          2.518788088836192,
          2.6655770798212024
        ],
        [
          2.2930426866465936,
          2.5438072125902758,
          2.690596203494589
        ],
        [
          2.31613726237891,
          2.56690178834802,
          2.7136907792125093
        ],
        [
          2.3374553322890583,
          2.5882198582707163,
          2.7350088491155526
        ],
        [
          2.357133550669331,
          2.607898076657182,
          2.7546870674923194
        ],
        [
          2.375298059944256,
          2.6260625859351627,
          2.7728515767655137
        ],
        [
          2.392065299275364,
          2.6428298252677784,
          2.7896188160957673
        ],
        [
          2.4075427509658183,
          2.6583072769589777,
          2.805096267785801
        ],
        [
          2.4218296294494146,
          2.672594155442941,
          2.819383146269189
        ],
        [
          2.4350175172804756,
          2.685782043274183,
          2.832571034100147
        ],
        [
          2.447190952201479,
          2.6979554781952753,
          2.8447444690210997
        ],
        [
          2.4584279690516473,
          2.7091924950454884,
          2.8559814858712436
        ],
        [
          2.4688005999902707,
          2.7195651259841336,
          2.8663541168098545
        ],
        [
          2.47837533624131,
          2.729139862235184,
          2.875928853060888
        ],
        [
          2.4872135543191947,
          2.7379780803130735,
          2.8847670711387696
        ],
        [
          2.495371909468012,
          2.746136435461893,
          2.892925426287585
        ],
        [
          2.502902698836151,
          2.753667224830034,
          2.900456215655723
        ],
        [
          2.5098541967144334,
          2.7606187227083168,
          2.9074077135340053
        ],
        [
          2.516270963986694,
          2.767035489980578,
          2.913824480806266
        ],
        [
          2.5221941337764733,
          2.772958659770357,
          2.919747650596045
        ],
        [
          2.5276616751208847,
          2.778426201114769,
          2.925215191940457
        ],
        [
          2.5327086363618805,
          2.7834731623557643,
          2.930262153181452
        ],
        [
          2.5373673698151067,
          2.788131895808991,
          2.9349208866346785
        ],
        [
          2.5416677391565465,
          2.7924322651504303,
          2.9392212559761184
        ],
        [
          2.545637310856337,
          2.796401836850221,
          2.943190827675909
        ],
        [
          2.549301530886913,
          2.800066056880797,
          2.9468550477064848
        ],
        [
          2.5526838878382136,
          2.803448413832098,
          2.950237404657786
        ],
        [
          2.555806063485569,
          2.8065705894794526,
          2.9533595803051402
        ],
        [
          2.5586880717754346,
          2.8094525977693183,
          2.956241588595006
        ],
        [
          2.561348387119926,
          2.81211291311381,
          2.9589019039394975
        ],
        [
          2.563804062822533,
          2.8145685888164174,
          2.9613575796421054
        ],
        [
          2.5660708403941714,
          2.816835366388055,
          2.963624357213743
        ],
        [
          2.5681632504602985,
          2.8189277764541822,
          2.9657167672798703
        ],
        [
          2.5700947059059542,
          2.820859231899838,
          2.967648222725526
        ],
        [
          2.5718775878557905,
          2.8226421138496742,
          2.9694311046753623
        ],
        [
          2.5735233250402545,
          2.8242878510341383,
          2.9710768418598263
        ],
        [
          2.575042467056683,
          2.8258069930505667,
          2.972595983876255
        ],
        [
          2.5764447519949245,
          2.8272092779888087,
          2.9739982688144964
        ],
        [
          2.5777391688609934,
          2.828503694854878,
          2.9752926856805653
        ],
        [
          2.5789340151989038,
          2.829698541192788,
          2.976487532018475
        ],
        [
          2.5800369502800513,
          2.8308014762739355,
          2.977590467099623
        ],
        [
          2.581055044201111,
          2.831819570194995,
          2.9786085610206827
        ],
        [
          2.5819948232051657,
          2.83275934919905,
          2.9795483400247376
        ],
        [
          2.582862311516601,
          2.833626837510485,
          2.980415828336173
        ],
        [
          2.5836630699579257,
          2.83442759595181,
          2.9812165867774976
        ],
        [
          2.5844022315960715,
          2.8351667575899557,
          2.981955748415644
        ],
        [
          2.585084534646668,
          2.835849060640552,
          2.9826380514662403
        ],
        [
          2.585714352847219,
          2.8364788788411026,
          2.9832678696667903
        ],
        [
          2.5862957234938806,
          2.837060249487765,
          2.9838492403134524
        ],
        [
          2.586832373321569,
          2.837596899315453,
          2.98438589014114
        ],
        [
          2.587327742393281,
          2.8380922683871646,
          2.9848812592128526
        ],
        [
          2.587785006151784,
          2.838549532145668,
          2.985338522971356
        ],
        [
          2.588207095775018,
          2.838971621768902,
          2.9857606125945897
        ],
        [
          2.5885967169656956,
          2.8393612429595794,
          2.986150233785267
        ],
        [
          2.5889563672955513,
          2.8397208932894356,
          2.986509884115123
        ],
        [
          2.5892883522154184,
          2.8400528782093026,
          2.98684186903499
        ],
        [
          2.5895947998337574,
          2.8403593258276416,
          2.987148316653329
        ],
        [
          2.589877674558378,
          2.8406422005522622,
          2.9874311913779494
        ],
        [
          2.590138789688797,
          2.8409033156826813,
          2.9876923065083685
        ],
        [
          2.5903798190399527,
          2.8411443450338374,
          2.9879333358595246
        ],
        [
          2.5906023076717895,
          2.841366833665673,
          2.988155824491361
        ],
        [
          2.590807681793484,
          2.8415722077873684,
          2.9883611986130565
        ],
        [
          2.590997257905818,
          2.8417617838997025,
          2.9885507747253905
        ],
        [
          2.5911722512402804,
          2.8419367772341646,
          2.9887257680598522
        ],
        [
          2.5913337835490142,
          2.842098309542899,
          2.9888873003685865
        ],
        [
          2.5914828902955382,
          2.842247416289423,
          2.98903640711511
        ],
        [
          2.5916205272923296,
          2.8423850532862143,
          2.9891740441119015
        ],
        [
          2.5917475768278293,
          2.8425121028217135,
          2.989301093647401
        ],
        [
          2.5918648533221367,
          2.842629379316021,
          2.9894183701417085
        ],
        [
          2.5919731085476516,
          2.8427376345415354,
          2.9895266253672226
        ],
        [
          2.5920730364481264,
          2.84283756244201,
          2.9896265532676978
        ],
        [
          2.5921652775870263,
          2.84292980358091,
          2.9897187944065977
        ],
        [
          2.592250423253703,
          2.843014949247587,
          2.989803940073274
        ],
        [
          2.592329019253712,
          2.843093545247596,
          2.9898825360732837
        ],
        [
          2.592401569407567,
          2.843166095401451,
          2.989955086227138
        ],
        [
          2.5924685387803557,
          2.84323306477424,
          2.9900220555999275
        ],
        [
          2.5925303566629303,
          2.8432948826568145,
          2.9900838734825017
        ],
        [
          2.592587419323768,
          2.8433519453176523,
          2.99014093614334
        ],
        [
          2.592640092549157,
          2.8434046185430413,
          2.990193609368729
        ],
        [
          2.592688713987978,
          2.8434532399818617,
          2.9902422308075494
        ],
        [
          2.59273359531612,
          2.8434981213100037,
          2.9902871121356913
        ],
        [
          2.5927750242344048,
          2.8435395502282885,
          2.9903285410539766
        ],
        [
          2.5928132663128216,
          2.8435777923067054,
          2.9903667831323935
        ],
        [
          2.5928485666928984,
          2.8436130926867826,
          2.9904020835124707
        ],
        [
          2.5928811516591237,
          2.843645677653008,
          2.990434668478696
        ],
        [
          2.5929112300894857,
          2.8436757560833694,
          2.990464746909057
        ],
        [
          2.5929389947944346,
          2.843703520788319,
          2.990492511614007
        ],
        [
          2.5929646237528496,
          2.8437291497467334,
          2.9905181405724215
        ],
        [
          2.5929882812529246,
          2.8437528072468083,
          2.990541798072496
        ],
        [
          2.593010118945301,
          2.8437746449391854,
          2.990563635764873
        ],
        [
          2.5930302768151874,
          2.8437948028090716,
          2.9905837936347597
        ],
        [
          2.5930488840796984,
          2.843813410073582,
          2.9906024008992698
        ],
        [
          2.5930660600161697,
          2.8438305860100535,
          2.990619576835741
        ],
        [
          2.5930819147267585,
          2.8438464407206423,
          2.99063543154633
        ],
        [
          2.593096549844225,
          2.843861075838109,
          2.9906500666637967
        ],
        [
          2.5931100591834246,
          2.843874585177309,
          2.990663576002997
        ],
        [
          2.5931225293426863,
          2.8438870553365705,
          2.9906760461622586
        ],
        [
          2.593134040258928,
          2.843898566252812,
          2.9906875570784996
        ],
        [
          2.5931446657200734,
          2.843909191713958,
          2.9906981825396453
        ],
        [
          2.5931544738380548,
          2.8439189998319385,
          2.990707990657626
        ],
        [
          2.5931635274854217,
          2.8439280534793054,
          2.990717044304993
        ],
        [
          2.593171884698376,
          2.8439364106922596,
          2.990725401517947
        ],
        [
          2.5931795990487947,
          2.843944125042679,
          2.9907331158683665
        ],
        [
          2.5931867199876435,
          2.8439512459815273,
          2.990740236807215
        ],
        [
          2.593193293161965,
          2.843957819155849,
          2.990746809981537
        ],
        [
          2.5931993607074926,
          2.843963886701377,
          2.990752877527065
        ],
        [
          2.593204961518749,
          2.843969487512633,
          2.990758478338321
        ],
        [
          2.59321013149837,
          2.8439746574922546,
          2.9907636483179423
        ],
        [
          2.5932149037872514,
          2.8439794297811356,
          2.9907684206068232
        ],
        [
          2.5932193089769875,
          2.8439838349708717,
          2.99077282579656
        ],
        [
          2.5932233753059752,
          2.843987901299859,
          2.990776892125547
        ],
        [
          2.593227128840425,
          2.843991654834309,
          2.9907806456599966
        ],
        [
          2.5932305936414553,
          2.8439951196353395,
          2.9907841104610275
        ],
        [
          2.5932337919193302,
          2.843998317913214,
          2.990787308738902
        ],
        [
          2.5932367441758295,
          2.8440012701697137,
          2.990790260995402
        ],
        [
          2.5932394693356757,
          2.8440039953295595,
          2.990792986155247
        ],
        [
          2.593241984867841,
          2.8440065108617247,
          2.9907955016874124
        ],
        [
          2.5932443068975317,
          2.844008832891416,
          2.9907978237171036
        ],
        [
          2.5932464503095543,
          2.8440109763034385,
          2.990799967129126
        ],
        [
          2.593248428843729,
          2.8440129548376127,
          2.990801945663301
        ],
        [
          2.593250255182967,
          2.844014781176851,
          2.9908037720025384
        ],
        [
          2.593251941034571,
          2.8440164670284553,
          2.9908054578541434
        ],
        [
          2.5932534972052834,
          2.844018023199167,
          2.9908070140248553
        ],
        [
          2.5932549336705555,
          2.8440194596644397,
          2.990808450490128
        ],
        [
          2.5932562596384994,
          2.8440207856323836,
          2.9908097764580717
        ],
        [
          2.5932574836089093,
          2.844022009602793,
          2.990811000428481
        ],
        [
          2.5932586134277487,
          2.844023139421633,
          2.9908121302473205
        ],
        [
          2.593259656337447,
          2.8440241823313306,
          2.9908131731570187
        ],
        [
          2.593260619023322,
          2.8440251450172056,
          2.990814135842894
        ],
        [
          2.5932615076564374,
          2.844026033650321,
          2.990815024476009
        ],
        [
          2.5932623279331595,
          2.8440268539270432,
          2.9908158447527313
        ],
        [
          2.5932630851116723,
          2.844027611105556,
          2.990816601931244
        ],
        [
          2.593263784045684,
          2.8440283100395676,
          2.9908173008652557
        ],
        [
          2.5932644292155405,
          2.844028955209425,
          2.9908179460351128
        ],
        [
          2.5932650247569473,
          2.8440295507508315,
          2.9908185415765187
        ],
        [
          2.5932655744874764,
          2.84403010048136,
          2.990819091307048
        ],
        [
          2.5932660819310414,
          2.8440306079249256,
          2.9908195987506137
        ],
        [
          2.5932665503404864,
          2.8440310763343706,
          2.990820067160058
        ],
        [
          2.5932669827184354,
          2.844031508712319,
          2.990820499538007
        ],
        [
          2.593267381836542,
          2.844031907830426,
          2.9908208986561142
        ],
        [
          2.5932677502532564,
          2.84403227624714,
          2.9908212670728282
        ],
        [
          2.593268090330223,
          2.8440326163241068,
          2.9908216071497953
        ],
        [
          2.5932684042474228,
          2.844032930241307,
          2.990821921066995
        ],
        [
          2.593268694017146,
          2.8440332200110303,
          2.9908222108367184
        ],
        [
          2.5932689614968907,
          2.844033487490775,
          2.9908224783164625
        ],
        [
          2.5932692084012703,
          2.8440337343951545,
          2.990822725220842
        ],
        [
          2.593269436313005,
          2.8440339623068893,
          2.990822953132577
        ],
        [
          2.593269646693068,
          2.844034172686952,
          2.99082316351264
        ],
        [
          2.5932698408900494,
          2.844034366883933,
          2.990823357709621
        ],
        [
          2.5932700201488013,
          2.844034546142685,
          2.9908235369683727
        ],
        [
          2.5932701856184184,
          2.844034711612302,
          2.99082370243799
        ],
        [
          2.5932703383596034,
          2.844034864353487,
          2.990823855179175
        ],
        [
          2.5932704793514665,
          2.8440350053453503,
          2.9908239961710383
        ],
        [
          2.5932706094978015,
          2.8440351354916853,
          2.990824126317374
        ],
        [
          2.5932707296328803,
          2.844035255626764,
          2.990824246452452
        ],
        [
          2.593270840526799,
          2.844035366520683,
          2.990824357346371
        ],
        [
          2.5932709428904164,
          2.8440354688843,
          2.9908244597099882
        ],
        [
          2.593271037379909,
          2.8440355633737933,
          2.9908245541994813
        ],
        [
          2.5932711246009794,
          2.8440356505948636,
          2.9908246414205513
        ],
        [
          2.5932712051127367,
          2.844035731106621,
          2.9908247219323085
        ],
        [
          2.5932712794312818,
          2.844035805425166,
          2.9908247962508536
        ],
        [
          2.593271348033016,
          2.8440358740268996,
          2.9908248648525877
        ],
        [
          2.5932714113576933,
          2.844035937351577,
          2.990824928177265
        ],
        [
          2.5932714698112416,
          2.844035995805126,
          2.990824986630814
        ],
        [
          2.5932715237683635,
          2.8440360497622477,
          2.9908250405879353
        ],
        [
          2.5932715735749374,
          2.8440360995688216,
          2.9908250903945093
        ],
        [
          2.5932716195502366,
          2.8440361455441208,
          2.9908251363698084
        ],
        [
          2.593271661988974,
          2.844036187982858,
          2.990825178808546
        ],
        [
          2.593271701163193,
          2.844036227157077,
          2.9908252179827652
        ],
        [
          2.593271737324011,
          2.844036263317895,
          2.9908252541435827
        ],
        [
          2.593271770703227,
          2.8440362966971113,
          2.9908252875227994
        ],
        [
          2.593271801514812,
          2.8440363275086957,
          2.990825318334384
        ],
        [
          2.5932718299562745,
          2.8440363559501582,
          2.9908253467758463
        ],
        [
          2.593271856209932,
          2.844036382203816,
          2.9908253730295042
        ],
        [
          2.5932718804440777,
          2.8440364064379615,
          2.99082539726365
        ],
        [
          2.5932719028140583,
          2.844036428807942,
          2.99082541963363
        ],
        [
          2.593271923463271,
          2.844036449457155,
          2.990825440282843
        ],
        [
          2.593271942524083,
          2.8440364685179667,
          2.990825459343655
        ],
        [
          2.5932719601186784,
          2.844036486112562,
          2.9908254769382503
        ],
        [
          2.5932719763598433,
          2.8440365023537275,
          2.990825493179415
        ],
        [
          2.5932719913516884,
          2.844036517345572,
          2.99082550817126
        ],
        [
          2.5932720051903138,
          2.844036531184198,
          2.9908255220098856
        ],
        [
          2.5932720179644297,
          2.844036543958314,
          2.990825534784002
        ],
        [
          2.593272029755922,
          2.8440365557498057,
          2.9908255465754934
        ],
        [
          2.5932720406403758,
          2.84403656663426,
          2.9908255574599476
        ],
        [
          2.593272050687564,
          2.844036576681448,
          2.990825567507136
        ],
        [
          2.5932720599618917,
          2.8440365859557755,
          2.9908255767814635
        ],
        [
          2.5932720685228094,
          2.844036594516693,
          2.9908255853423817
        ],
        [
          2.5932720764251953,
          2.8440366024190795,
          2.9908255932447676
        ],
        [
          2.5932720837197056,
          2.8440366097135894,
          2.990825600539277
        ],
        [
          2.593272090453099,
          2.8440366164469832,
          2.990825607272671
        ],
        [
          2.5932720966685396,
          2.844036622662424,
          2.990825613488111
        ],
        [
          2.593272102405869,
          2.8440366283997536,
          2.9908256192254408
        ],
        [
          2.593272107701866,
          2.84403663369575,
          2.990825624521437
        ],
        [
          2.593272112590478,
          2.844036638584362,
          2.9908256294100495
        ],
        [
          2.5932721171030426,
          2.844036643096927,
          2.990825633922615
        ],
        [
          2.5932721212684875,
          2.8440366472623717,
          2.99082563808806
        ],
        [
          2.5932721251135136,
          2.844036651107398,
          2.9908256419330854
        ],
        [
          2.5932721286627682,
          2.844036654656652,
          2.99082564548234
        ],
        [
          2.593272131939003,
          2.8440366579328877,
          2.9908256487585754
        ],
        [
          2.5932721349632204,
          2.8440366609571046,
          2.9908256517827922
        ],
        [
          2.593272137754805,
          2.844036663748689,
          2.9908256545743774
        ],
        [
          2.5932721403316528,
          2.8440366663255365,
          2.9908256571512246
        ],
        [
          2.593272142710281,
          2.8440366687041654,
          2.990825659529853
        ],
        [
          2.593272144905938,
          2.8440366708998224,
          2.9908256617255105
        ],
        [
          2.593272146932699,
          2.844036672926583,
          2.9908256637522705
        ],
        [
          2.5932721488035546,
          2.844036674797439,
          2.990825665623127
        ],
        [
          2.5932721505304985,
          2.8440366765243827,
          2.990825667350071
        ],
        [
          2.5932721521246007,
          2.844036678118485,
          2.9908256689441726
        ],
        [
          2.5932721535960797,
          2.844036679589964,
          2.9908256704156515
        ],
        [
          2.593272154954368,
          2.844036680948252,
          2.990825671773939
        ],
        [
          2.593272156208172,
          2.844036682202056,
          2.990825673027744
        ],
        [
          2.5932721573655297,
          2.844036683359414,
          2.9908256741851016
        ],
        [
          2.59327215843386,
          2.844036684427744,
          2.990825675253432
        ],
        [
          2.593272159420011,
          2.844036685413895,
          2.990825676239583
        ],
        [
          2.5932721603303044,
          2.844036686324188,
          2.9908256771498762
        ],
        [
          2.593272161170575,
          2.8440366871644596,
          2.9908256779901468
        ],
        [
          2.5932721619462096,
          2.8440366879400942,
          2.9908256787657814
        ],
        [
          2.5932721626621804,
          2.8440366886560646,
          2.9908256794817514
        ],
        [
          2.5932721633230758,
          2.8440366893169604,
          2.9908256801426476
        ],
        [
          2.5932721639331335,
          2.8440366899270177,
          2.9908256807527054
        ],
        [
          2.593272164496264,
          2.8440366904901477,
          2.990825681315835
        ],
        [
          2.5932721650160757,
          2.84403669100996,
          2.9908256818356476
        ],
        [
          2.5932721654959026,
          2.8440366914897868,
          2.9908256823154744
        ],
        [
          2.5932721659388194,
          2.8440366919327036,
          2.9908256827583917
        ],
        [
          2.5932721663476657,
          2.8440366923415503,
          2.9908256831672384
        ],
        [
          2.5932721667250633,
          2.844036692718947,
          2.9908256835446347
        ],
        [
          2.5932721670734296,
          2.8440366930673133,
          2.990825683893001
        ],
        [
          2.5932721673949977,
          2.8440366933888823,
          2.99082568421457
        ],
        [
          2.593272167691831,
          2.8440366936857147,
          2.9908256845114027
        ],
        [
          2.5932721679658304,
          2.8440366939597146,
          2.9908256847854022
        ],
        [
          2.5932721682187534,
          2.844036694212637,
          2.990825685038325
        ],
        [
          2.59327216845222,
          2.844036694446104,
          2.990825685271792
        ],
        [
          2.5932721686677285,
          2.8440366946616122,
          2.9908256854872994
        ],
        [
          2.5932721688666582,
          2.8440366948605424,
          2.99082568568623
        ],
        [
          2.5932721690502865,
          2.8440366950441707,
          2.990825685869858
        ],
        [
          2.593272169219789,
          2.8440366952136737,
          2.990825686039361
        ],
        [
          2.5932721693762537,
          2.8440366953701375,
          2.990825686195825
        ],
        [
          2.593272169520682,
          2.844036695514566,
          2.990825686340253
        ],
        [
          2.5932721696540004,
          2.8440366956478846,
          2.990825686473572
        ],
        [
          2.5932721697770638,
          2.8440366957709475,
          2.990825686596635
        ],
        [
          2.5932721698906605,
          2.8440366958845447,
          2.990825686710232
        ],
        [
          2.5932721699955192,
          2.8440366959894035,
          2.9908256868150906
        ],
        [
          2.593272170092312,
          2.844036696086196,
          2.9908256869118834
        ],
        [
          2.5932721701816592,
          2.844036696175543,
          2.9908256870012306
        ],
        [
          2.5932721702641333,
          2.8440366962580175,
          2.990825687083705
        ],
        [
          2.5932721703402635,
          2.8440366963341477,
          2.990825687159835
        ],
        [
          2.5932721704105375,
          2.8440366964044217,
          2.990825687230109
        ],
        [
          2.5932721704754056,
          2.84403669646929,
          2.9908256872949774
        ],
        [
          2.593272170535284,
          2.8440366965291677,
          2.9908256873548558
        ],
        [
          2.593272170590556,
          2.84403669658444,
          2.990825687410128
        ],
        [
          2.5932721706415767,
          2.8440366966354604,
          2.9908256874611485
        ],
        [
          2.5932721706886723,
          2.8440366966825565,
          2.990825687508244
        ],
        [
          2.5932721707321456,
          2.8440366967260298,
          2.9908256875517174
        ],
        [
          2.593272170772275,
          2.844036696766159,
          2.990825687591846
        ],
        [
          2.593272170809317,
          2.8440366968032014,
          2.990825687628889
        ],
        [
          2.59327217084351,
          2.844036696837394,
          2.990825687663082
        ],
        [
          2.5932721708750726,
          2.8440366968689568,
          2.990825687694645
        ],
        [
          2.5932721709042075,
          2.8440366968980917,
          2.9908256877237798
        ],
        [
          2.593272170931101,
          2.8440366969249853,
          2.990825687750673
        ],
        [
          2.593272170955926,
          2.8440366969498103,
          2.990825687775498
        ],
        [
          2.593272170978841,
          2.8440366969727253,
          2.9908256877984134
        ],
        [
          2.5932721709999935,
          2.8440366969938777,
          2.990825687819566
        ],
        [
          2.5932721710195192,
          2.844036697013403,
          2.990825687839091
        ],
        [
          2.5932721710375426,
          2.844036697031427,
          2.9908256878571144
        ],
        [
          2.5932721710541795,
          2.8440366970480633,
          2.990825687873752
        ],
        [
          2.5932721710695366,
          2.844036697063421,
          2.990825687889109
        ],
        [
          2.5932721710837128,
          2.844036697077597,
          2.9908256879032846
        ],
        [
          2.5932721710967983,
          2.8440366970906825,
          2.99082568791637
        ],
        [
          2.593272171108877,
          2.844036697102761,
          2.9908256879284494
        ],
        [
          2.593272171120027,
          2.844036697113911,
          2.9908256879395987
        ],
        [
          2.593272171130319,
          2.8440366971242033,
          2.9908256879498905
        ],
        [
          2.5932721711398194,
          2.8440366971337037,
          2.990825687959391
        ],
        [
          2.593272171148589,
          2.844036697142473,
          2.9908256879681607
        ],
        [
          2.5932721711566837,
          2.844036697150568,
          2.990825687976256
        ],
        [
          2.5932721711641564,
          2.84403669715804,
          2.990825687983728
        ],
        [
          2.593272171171054,
          2.844036697164938,
          2.9908256879906254
        ],
        [
          2.593272171177421,
          2.8440366971713047,
          2.9908256879969923
        ],
        [
          2.593272171183298,
          2.8440366971771818,
          2.99082568800287
        ],
        [
          2.593272171188723,
          2.8440366971826068,
          2.990825688008295
        ],
        [
          2.5932721711937305,
          2.8440366971876148,
          2.9908256880133024
        ],
        [
          2.593272171198353,
          2.844036697192237,
          2.990825688017925
        ],
        [
          2.59327217120262,
          2.844036697196504,
          2.990825688022192
        ],
        [
          2.593272171206559,
          2.8440366972004427,
          2.990825688026131
        ]
      ],
      "upper_path": [
        [
          5.000000000000004,
          5.000000000000004,
          5.000000000000004
        ],
        [
          4.615384615384619,
          4.84615384615385,
          5.000000000000004
        ],
        [
          4.449704142011838,
          4.695266272189353,
          4.849112426035507
        ],
        [
          4.305871643149754,
          4.554278561675015,
          4.704710969503873
        ],
        [
          4.173803438254967,
          4.423413921081198,
          4.572008157977666
        ],
        [
          4.052069389942718,
          4.302264821852288,
          4.449945023202703
        ],
        [
          3.939778226153141,
          4.190261924337594,
          4.337490740518223
        ],
        [
          3.8361633510796795,
          4.0867892899265685,
          4.233795334408066
        ],
        [
          3.74053783858902,
          3.9912339721208268,
          4.138130078553601
        ],
        [
          3.652277504388753,
          3.903008278830875,
          4.049850131011803
        ],
        [
          3.5708110505327486,
          3.8215589201983624,
          3.968373998005118
        ],
        [
          3.4956135288419166,
          3.74636983496862,
          3.8931716996712016
        ],
        [
          3.4262015579943808,
          3.67696202749902,
          3.8237573715591364
        ],
        [
          3.3621295252469348,
          3.6128920493708816,
          3.7596841755060053
        ],
        [
          3.302986384653484,
          3.5537499227282576,
          3.7005404608233508
        ],
        [
          3.2483928517554133,
          3.499156890213044,
          3.6459466446133213
        ],
        [
          3.197998888179009,
          3.4487631735746542,
          3.5955525412229887
        ],
        [
          3.1514814163005087,
          3.4022458235596065,
          3.5490350003465734
        ],
        [
          3.1085422277559047,
          3.3593066951543906,
          3.5060957777516264
        ],
        [
          3.0689060617421298,
          3.319670558819294,
          3.466459594934071
        ],
        [
          3.032318835537075,
          3.283083347260612,
          3.429872360436381
        ],
        [
          2.99854601330279,
          3.2493105322542846,
          3.3960995341096956
        ],
        [
          2.9673711014359294,
          3.2181356239544074,
          3.364924620223243
        ],
        [
          2.9385942601887938,
          3.1893587844675717,
          3.336147777979442
        ],
        [
          2.9120310223494794,
          3.162795547496962,
          3.309584539648276
        ],
        [
          2.887511110613759,
          3.1382756361899453,
          3.2850646276698274
        ],
        [
          2.864877345991856,
          3.115641871779607,
          3.2624308629281384
        ],
        [
          2.843984640215262,
          3.0947491661074196,
          3.241538157092431
        ],
        [
          2.824699065666189,
          3.0754635916098705,
          3.222252582514184
        ],
        [
          2.8068969968585367,
          3.057661522827646,
          3.204450513692136
        ],
        [
          2.7904643179625594,
          3.0412288439442174,
          3.188017834789054
        ],
        [
          2.7752956912910247,
          3.026060217278875,
          3.172849208114013
        ],
        [
          2.761293882056589,
          3.012058408047495,
          3.1588473988778465
        ],
        [
          2.7483691350713633,
          2.9991336610637784,
          3.145922651891767
        ],
        [
          2.736438599392895,
          2.987203125386054,
          3.133992116212877
        ],
        [
          2.725425797228254,
          2.9761903232217803,
          3.1229793140480284
        ],
        [
          2.7152601336917117,
          2.966024659685419,
          3.112813650511383
        ],
        [
          2.7058764442733887,
          2.956640970267186,
          3.10342996109301
        ],
        [
          2.697214577118026,
          2.947979103111867,
          3.0947680939376223
        ],
        [
          2.689219007436159,
          2.9399835334300217,
          3.0867725242557427
        ],
        [
          2.6818384815759764,
          2.93260300756985,
          3.079391998395554
        ],
        [
          2.675025688474271,
          2.92579021446815,
          3.0725792052938457
        ],
        [
          2.66873695638039,
          2.919501482374271,
          3.066290473199963
        ],
        [
          2.662931972909115,
          2.913696498902998,
          3.060485489728688
        ],
        [
          2.6575735266279388,
          2.9083380526218225,
          3.055127043447511
        ],
        [
          2.6526272685222376,
          2.903391794516122,
          3.0501807853418095
        ],
        [
          2.648061491809283,
          2.898826017803167,
          3.0456150086288543
        ],
        [
          2.6438469286896322,
          2.8946114546835164,
          3.0414004455092036
        ],
        [
          2.6399565627330315,
          2.8907210887269152,
          3.0375100795526033
        ],
        [
          2.6363654556961693,
          2.8871299816900535,
          3.033918972515741
        ],
        [
          2.633050587662143,
          2.883815113656027,
          3.0306041044817142
        ],
        [
          2.629990709476887,
          2.880755235470772,
          3.027544226296459
        ],
        [
          2.6271662065366517,
          2.877930732530536,
          3.024719723356223
        ],
        [
          2.624558973053357,
          2.875323499047241,
          3.022112489872929
        ],
        [
          2.6221522959918544,
          2.8729168219857386,
          3.0197058128114262
        ],
        [
          2.619930747935083,
          2.870695273928967,
          3.0174842647546547
        ],
        [
          2.617880088190371,
          2.8686446141842548,
          3.0154336050099424
        ],
        [
          2.6159871715029444,
          2.866751697496828,
          3.0135406883225158
        ],
        [
          2.6142398637914734,
          2.865004389785357,
          3.0117933806110453
        ],
        [
          2.6126269643655005,
          2.8633914903593847,
          3.0101804811850723
        ],
        [
          2.611138134126141,
          2.8619026601200246,
          3.0086916509457127
        ],
        [
          2.609763829289809,
          2.8605283552836926,
          3.0073173461093803
        ],
        [
          2.6084952402101176,
          2.8592597662040014,
          3.006048757029689
        ],
        [
          2.607324234905787,
          2.8580887608996712,
          3.004877751725359
        ],
        [
          2.606243306932559,
          2.8570078329264432,
          3.003796823752131
        ],
        [
          2.6052455272649637,
          2.856010053258848,
          3.002799044084536
        ],
        [
          2.604324499879491,
          2.855089025873376,
          3.0018780166990635
        ],
        [
          2.60347432075444,
          2.8542388467483244,
          3.001027837574012
        ],
        [
          2.602689540023624,
          2.8534540660175076,
          3.0002430568431953
        ],
        [
          2.601965127041331,
          2.8527296530352153,
          2.9995186438609034
        ],
        [
          2.6012964381346,
          2.852060964128484,
          2.9988499549541716
        ],
        [
          2.6006791868360786,
          2.851443712829963,
          2.9982327036556504
        ],
        [
          2.6001094164066747,
          2.8508739424005585,
          2.997662933226246
        ],
        [
          2.59958347447184,
          2.850348000465724,
          2.9971369912914114
        ],
        [
          2.5990979896089157,
          2.8498625156027995,
          2.9966515064284867
        ],
        [
          2.5986498497354464,
          2.849414375729331,
          2.9962033665550183
        ],
        [
          2.5982361821599373,
          2.849000708153821,
          2.995789698979509
        ],
        [
          2.5978543351671592,
          2.848618861161043,
          2.995407851986731
        ],
        [
          2.5975018610199796,
          2.8482663870138634,
          2.9950553778395514
        ],
        [
          2.597176500268737,
          2.8479410262626206,
          2.9947300170883087
        ],
        [
          2.5968761672675895,
          2.8476406932614733,
          2.994429684087162
        ],
        [
          2.596598936804992,
          2.847363462798876,
          2.9941524536245643
        ],
        [
          2.596343031762595,
          2.8471075577564786,
          2.9938965485821667
        ],
        [
          2.5961068117234585,
          2.8468713377173422,
          2.9936603285430308
        ],
        [
          2.5958887624565636,
          2.8466532884504474,
          2.9934422792761355
        ],
        [
          2.595687486210199,
          2.846452012204083,
          2.993241003029771
        ],
        [
          2.5955016927520163,
          2.8462662187459005,
          2.993055209571588
        ],
        [
          2.5953301910983093,
          2.8460947170921935,
          2.992883707917881
        ],
        [
          2.595171881879503,
          2.845936407873387,
          2.9927253986990743
        ],
        [
          2.595025750292912,
          2.8457902762867966,
          2.9925792671124842
        ],
        [
          2.594890859597598,
          2.8456553855914817,
          2.9924443764171693
        ],
        [
          2.594766345109615,
          2.8455308711034992,
          2.992319861929187
        ],
        [
          2.5946514086591694,
          2.8454159346530536,
          2.9922049254787417
        ],
        [
          2.594545313474143,
          2.845309839468027,
          2.992098830293715
        ],
        [
          2.5944473794571956,
          2.8452119054510794,
          2.992000896276767
        ],
        [
          2.594356978826167,
          2.845121504820051,
          2.991910495645739
        ],
        [
          2.594273532089833,
          2.8450380580837167,
          2.9918270489094048
        ],
        [
          2.5941965043332167,
          2.844961030327101,
          2.9917500211527885
        ],
        [
          2.594125401788648,
          2.8448899277825324,
          2.99167891860822
        ],
        [
          2.5940597686705846,
          2.844824294664469,
          2.991613285490157
        ],
        [
          2.593999184253911,
          2.844763710247795,
          2.9915527010734833
        ],
        [
          2.5939432601769816,
          2.8447077861708654,
          2.9914967769965535
        ],
        [
          2.5938916379521233,
          2.8446561639460075,
          2.9914451547716947
        ],
        [
          2.593843986667639,
          2.844608512661523,
          2.9913975034872102
        ],
        [
          2.593800000866576,
          2.8445645268604602,
          2.991353517686148
        ],
        [
          2.593759398588672,
          2.8445239245825564,
          2.9913129154082436
        ],
        [
          2.5937219195629146,
          2.8444864455567984,
          2.991275436382486
        ],
        [
          2.5936873235391382,
          2.8444518495330224,
          2.9912408403587096
        ],
        [
          2.59365538874796,
          2.844419914741844,
          2.9912089055675324
        ],
        [
          2.5936259104791803,
          2.8443904364730646,
          2.991179427298752
        ],
        [
          2.5935986997695375,
          2.8443632257634217,
          2.991152216589109
        ],
        [
          2.5935735821914054,
          2.84433810818529,
          2.9911270990109773
        ],
        [
          2.5935503967346687,
          2.8443149227285525,
          2.9911039135542405
        ],
        [
          2.5935289947746036,
          2.844293520768488,
          2.9910825115941755
        ],
        [
          2.5935092391191588,
          2.844273765113043,
          2.991062755938731
        ],
        [
          2.5934910031295177,
          2.844255529123402,
          2.9910445199490896
        ],
        [
          2.5934741699083106,
          2.844238695902195,
          2.9910276867278824
        ],
        [
          2.593458631550273,
          2.8442231575441568,
          2.9910121483698453
        ],
        [
          2.593444288450546,
          2.84420881444443,
          2.9909978052701183
        ],
        [
          2.593431048666183,
          2.844195574660067,
          2.990984565485755
        ],
        [
          2.593418827326771,
          2.844183353320655,
          2.9909723441463427
        ],
        [
          2.5934075460903903,
          2.844172072084274,
          2.990961062909962
        ],
        [
          2.5933971326414236,
          2.8441616586353073,
          2.990950649460995
        ],
        [
          2.593387520226993,
          2.8441520462208767,
          2.9909410370465643
        ],
        [
          2.593378647229057,
          2.8441431732229407,
          2.9909321640486284
        ],
        [
          2.593370456769424,
          2.8441349827633076,
          2.9909239735889948
        ],
        [
          2.593362896345147,
          2.8441274223390307,
          2.990916413164718
        ],
        [
          2.593355917491968,
          2.8441204434858522,
          2.99090943431154
        ],
        [
          2.5933494754736492,
          2.844114001467533,
          2.990902992293221
        ],
        [
          2.593343528995201,
          2.844108054989085,
          2.9908970458147732
        ],
        [
          2.593338039938172,
          2.8441025659320562,
          2.990891556757744
        ],
        [
          2.5933329731162993,
          2.8440974991101835,
          2.9908864899358707
        ],
        [
          2.593328296049955,
          2.844092822043839,
          2.990881812869527
        ],
        [
          2.593323978757945,
          2.844088504751829,
          2.990877495577517
        ],
        [
          2.5933199935653204,
          2.844084519559204,
          2.9908735103848922
        ],
        [
          2.5933163149259744,
          2.844080840919858,
          2.9908698317455467
        ],
        [
          2.593312919258886,
          2.8440774452527697,
          2.990866436078458
        ],
        [
          2.593309784796958,
          2.844074310790842,
          2.9908633016165296
        ],
        [
          2.593306891447486,
          2.84407141744137,
          2.990860408267058
        ],
        [
          2.593304220663358,
          2.8440687466572423,
          2.9908577374829304
        ],
        [
          2.593301755324163,
          2.8440662813180473,
          2.990855272143735
        ],
        [
          2.593299479626445,
          2.8440640056203286,
          2.990852996446016
        ],
        [
          2.5932973789823968,
          2.844061904976281,
          2.9908508958019686
        ],
        [
          2.5932954399263526,
          2.844059965920237,
          2.990848956745925
        ],
        [
          2.5932936500284662,
          2.84405817602235,
          2.990847166848038
        ],
        [
          2.593291997815032,
          2.844056523808916,
          2.990845514634604
        ],
        [
          2.5932904726949393,
          2.844054998688823,
          2.990843989514511
        ],
        [
          2.5932890648917764,
          2.8440535908856606,
          2.990842581711348
        ],
        [
          2.5932877653811643,
          2.8440522913750486,
          2.9908412822007366
        ],
        [
          2.5932865658329076,
          2.844051091826792,
          2.9908400826524795
        ],
        [
          2.593285458557594,
          2.8440499845514777,
          2.9908389753771654
        ],
        [
          2.5932844364573038,
          2.844048962451188,
          2.9908379532768756
        ],
        [
          2.593283492980113,
          2.8440480189739974,
          2.9908370097996846
        ],
        [
          2.5932826220780907,
          2.8440471480719753,
          2.9908361388976625
        ],
        [
          2.593281818168532,
          2.844046344162416,
          2.9908353349881036
        ],
        [
          2.59328107609817,
          2.844045602092054,
          2.9908345929177416
        ],
        [
          2.5932803911101434,
          2.844044917104027,
          2.990833907929715
        ],
        [
          2.5932797588135035,
          2.8440442848073872,
          2.990833275633075
        ],
        [
          2.593279175155066,
          2.8440437011489506,
          2.990832691974638
        ],
        [
          2.5932786363934324,
          2.844043162387316,
          2.990832153213004
        ],
        [
          2.593278139075001,
          2.844042665068885,
          2.990831655894573
        ],
        [
          2.5932776800118336,
          2.8440422060057173,
          2.990831196831405
        ],
        [
          2.593277256261217,
          2.8440417822551014,
          2.990830773080789
        ],
        [
          2.593276865106802,
          2.8440413911006868,
          2.9908303819263744
        ],
        [
          2.5932765040411887,
          2.844041030035073,
          2.9908300208607606
        ],
        [
          2.5932761707498533,
          2.844040696743737,
          2.9908296875694247
        ],
        [
          2.5932758630963124,
          2.844040389090196,
          2.9908293799158843
        ],
        [
          2.5932755791084285,
          2.8440401051023123,
          2.990829095928001
        ],
        [
          2.5932753169657667,
          2.8440398429596505,
          2.9908288337853386
        ],
        [
          2.593275074987925,
          2.8440396009818087,
          2.9908285918074964
        ],
        [
          2.593274851623763,
          2.8440393776176474,
          2.990828368443335
        ],
        [
          2.59327464544146,
          2.844039171435344,
          2.990828162261032
        ],
        [
          2.593274455119334,
          2.8440389811132185,
          2.9908279719389066
        ],
        [
          2.5932742794373724,
          2.844038805431256,
          2.990827796256944
        ],
        [
          2.593274117269407,
          2.844038643263291,
          2.9908276340889786
        ],
        [
          2.5932739675759007,
          2.8440384935697844,
          2.990827484395472
        ],
        [
          2.5932738293972792,
          2.844038355391163,
          2.990827346216851
        ],
        [
          2.5932737018477825,
          2.8440382278416667,
          2.990827218667355
        ],
        [
          2.593273584109786,
          2.84403811010367,
          2.990827100929358
        ],
        [
          2.5932734754285582,
          2.844038001422442,
          2.9908269922481305
        ],
        [
          2.5932733751074246,
          2.844037901101309,
          2.990826891926997
        ],
        [
          2.5932732825033016,
          2.844037808497186,
          2.9908267993228734
        ],
        [
          2.593273197022573,
          2.8440377230164566,
          2.9908267138421443
        ],
        [
          2.5932731181172843,
          2.844037644111168,
          2.990826634936856
        ],
        [
          2.5932730452816335,
          2.8440375712755173,
          2.9908265621012053
        ],
        [
          2.593272978048725,
          2.8440375040426087,
          2.990826494868297
        ],
        [
          2.5932729159875785,
          2.8440374419814627,
          2.9908264328071508
        ],
        [
          2.5932728587003666,
          2.844037384694251,
          2.9908263755199385
        ],
        [
          2.5932728058198635,
          2.8440373318137477,
          2.9908263226394354
        ],
        [
          2.593272757007091,
          2.8440372830009752,
          2.9908262738266633
        ],
        [
          2.5932727119491474,
          2.8440372379430316,
          2.9908262287687197
        ],
        [
          2.5932726703571998,
          2.8440371963510835,
          2.9908261871767716
        ],
        [
          2.5932726319646324,
          2.8440371579585166,
          2.9908261487842043
        ],
        [
          2.5932725965253396,
          2.844037122519224,
          2.9908261133449114
        ],
        [
          2.593272563812146,
          2.8440370898060303,
          2.990826080631718
        ],
        [
          2.5932725336153526,
          2.8440370596092364,
          2.9908260504349236
        ],
        [
          2.5932725057413886,
          2.8440370317352723,
          2.99082602256096
        ],
        [
          2.5932724800115756,
          2.84403700600546,
          2.9908259968311475
        ],
        [
          2.5932724562609795,
          2.8440369822548637,
          2.9908259730805513
        ],
        [
          2.593272434337352,
          2.8440369603312363,
          2.990825951156924
        ],
        [
          2.5932724141001575,
          2.8440369400940417,
          2.99082593091973
        ],
        [
          2.5932723954196706,
          2.8440369214135544,
          2.990825912239243
        ],
        [
          2.593272378176144,
          2.8440369041700277,
          2.990825894995716
        ],
        [
          2.5932723622590426,
          2.8440368882529263,
          2.9908258790786144
        ],
        [
          2.5932723475663333,
          2.844036873560217,
          2.990825864385905
        ],
        [
          2.5932723340038324,
          2.8440368599977166,
          2.9908258508234042
        ],
        [
          2.5932723214846014,
          2.844036847478485,
          2.9908258383041724
        ],
        [
          2.593272309928387,
          2.8440368359222714,
          2.9908258267479595
        ],
        [
          2.5932722992611135,
          2.8440368252549972,
          2.990825816080685
        ],
        [
          2.593272289414399,
          2.8440368154082827,
          2.9908258062339703
        ],
        [
          2.5932722803251234,
          2.8440368063190076,
          2.990825797144696
        ],
        [
          2.5932722719350236,
          2.844036797928908,
          2.990825788754596
        ],
        [
          2.593272264190316,
          2.8440367901842003,
          2.990825781009888
        ],
        [
          2.593272257041355,
          2.8440367830352393,
          2.990825773860927
        ],
        [
          2.5932722504423142,
          2.8440367764361985,
          2.990825767261886
        ],
        [
          2.5932722443508918,
          2.844036770344776,
          2.990825761170464
        ],
        [
          2.5932722387280407,
          2.8440367647219245,
          2.9908257555476125
        ],
        [
          2.593272233537716,
          2.8440367595316007,
          2.9908257503572884
        ],
        [
          2.5932722287466476,
          2.844036754740532,
          2.9908257455662195
        ],
        [
          2.5932722243241226,
          2.8440367503180064,
          2.990825741143695
        ],
        [
          2.5932722202417917,
          2.8440367462356764,
          2.990825737061364
        ],
        [
          2.593272216473487,
          2.8440367424673707,
          2.9908257332930583
        ],
        [
          2.5932722129950507,
          2.844036738988935,
          2.990825729814623
        ],
        [
          2.5932722097841876,
          2.8440367357780714,
          2.9908257266037594
        ],
        [
          2.5932722068203136,
          2.8440367328141973,
          2.9908257236398854
        ],
        [
          2.5932722040844296,
          2.8440367300783134,
          2.9908257209040015
        ],
        [
          2.593272201558998,
          2.8440367275528824,
          2.9908257183785705
        ],
        [
          2.593272199227831,
          2.844036725221715,
          2.9908257160474028
        ],
        [
          2.593272197075984,
          2.8440367230698684,
          2.990825713895556
        ],
        [
          2.5932721950896642,
          2.8440367210835484,
          2.990825711909236
        ],
        [
          2.5932721932561384,
          2.844036719250022,
          2.9908257100757094
        ],
        [
          2.5932721915636523,
          2.8440367175575365,
          2.9908257083832237
        ],
        [
          2.5932721900013576,
          2.844036715995242,
          2.9908257068209294
        ],
        [
          2.59327218855924,
          2.844036714553124,
          2.9908257053788114
        ],
        [
          2.5932721872280537,
          2.844036713221938,
          2.9908257040476256
        ],
        [
          2.593272185999267,
          2.844036711993151,
          2.9908257028188387
        ],
        [
          2.5932721848650018,
          2.844036710858886,
          2.990825701684574
        ],
        [
          2.5932721838179886,
          2.8440367098118724,
          2.99082570063756
        ],
        [
          2.593272182851514,
          2.8440367088453984,
          2.9908256996710865
        ],
        [
          2.5932721819593847,
          2.8440367079532685,
          2.990825698778956
        ],
        [
          2.59327218113588,
          2.8440367071297636,
          2.9908256979554517
        ],
        [
          2.5932721803757217,
          2.8440367063696055,
          2.990825697195293
        ],
        [
          2.5932721796740372,
          2.844036705667921,
          2.990825696493609
        ],
        [
          2.5932721790263282,
          2.8440367050202124,
          2.9908256958459005
        ],
        [
          2.593272178428444,
          2.8440367044223276,
          2.9908256952480152
        ],
        [
          2.5932721778765497,
          2.844036703870434,
          2.990825694696122
        ],
        [
          2.5932721773671097,
          2.8440367033609935,
          2.990825694186681
        ],
        [
          2.593272176896857,
          2.8440367028907407,
          2.990825693716428
        ],
        [
          2.593272176462777,
          2.8440367024566613,
          2.990825693282349
        ],
        [
          2.5932721760620883,
          2.8440367020559725,
          2.9908256928816606
        ],
        [
          2.593272175692222,
          2.844036701686106,
          2.990825692511794
        ],
        [
          2.593272175350807,
          2.8440367013446908,
          2.990825692170379
        ],
        [
          2.593272175035654,
          2.8440367010295384,
          2.9908256918552265
        ],
        [
          2.5932721747447447,
          2.8440367007386285,
          2.990825691564316
        ],
        [
          2.5932721744762124,
          2.844036700470096,
          2.990825691295784
        ],
        [
          2.5932721742283364,
          2.84403670022222,
          2.990825691047908
        ],
        [
          2.593272173999528,
          2.8440366999934117,
          2.9908256908190993
        ],
        [
          2.59327217378832,
          2.8440366997822037,
          2.990825690607891
        ],
        [
          2.5932721735933586,
          2.8440366995872424,
          2.9908256904129304
        ],
        [
          2.593272173413394,
          2.8440366994072783,
          2.9908256902329664
        ],
        [
          2.5932721732472737,
          2.8440366992411574,
          2.9908256900668455
        ],
        [
          2.5932721730939314,
          2.844036699087815,
          2.9908256899135033
        ],
        [
          2.5932721729523847,
          2.8440366989462684,
          2.9908256897719565
        ],
        [
          2.593272172821726,
          2.84403669881561,
          2.990825689641298
        ],
        [
          2.593272172701118,
          2.844036698695002,
          2.9908256895206904
        ],
        [
          2.5932721725897876,
          2.844036698583672,
          2.99082568940936
        ],
        [
          2.5932721724870214,
          2.8440366984809056,
          2.990825689306593
        ],
        [
          2.59327217239216,
          2.8440366983860437,
          2.990825689211732
        ],
        [
          2.5932721723045957,
          2.84403669829848,
          2.9908256891241676
        ],
        [
          2.593272172223767,
          2.8440366982176513,
          2.990825689043339
        ],
        [
          2.593272172149156,
          2.84403669814304,
          2.990825688968728
        ],
        [
          2.5932721720802845,
          2.8440366980741687,
          2.9908256888998563
        ],
        [
          2.5932721720167105,
          2.8440366980105947,
          2.9908256888362827
        ],
        [
          2.593272171958027,
          2.844036697951911,
          2.990825688777599
        ],
        [
          2.5932721719038576,
          2.844036697897742,
          2.9908256887234295
        ],
        [
          2.593272171853855,
          2.8440366978477387,
          2.990825688673427
        ],
        [
          2.5932721718076985,
          2.8440366978015827,
          2.9908256886272704
        ],
        [
          2.593272171765093,
          2.844036697758977,
          2.9908256885846645
        ],
        [
          2.5932721717257645,
          2.8440366977196483,
          2.9908256885453364
        ],
        [
          2.593272171689461,
          2.8440366976833453,
          2.990825688509033
        ],
        [
          2.5932721716559506,
          2.844036697649835,
          2.9908256884755224
        ],
        [
          2.593272171625018,
          2.844036697618902,
          2.9908256884445894
        ],
        [
          2.5932721715964644,
          2.844036697590349,
          2.9908256884160362
        ],
        [
          2.5932721715701077,
          2.844036697563992,
          2.9908256883896795
        ],
        [
          2.5932721715457783,
          2.8440366975396625,
          2.99082568836535
        ],
        [
          2.5932721715233207,
          2.8440366975172044,
          2.9908256883428916
        ],
        [
          2.5932721715025897,
          2.844036697496474,
          2.9908256883221616
        ],
        [
          2.593272171483454,
          2.844036697477338,
          2.9908256883030258
        ],
        [
          2.5932721714657903,
          2.8440366974596745,
          2.990825688285362
        ],
        [
          2.593272171449485,
          2.844036697443369,
          2.990825688269057
        ],
        [
          2.593272171434434,
          2.844036697428318,
          2.990825688254006
        ],
        [
          2.5932721714205407,
          2.844036697414425,
          2.990825688240113
        ],
        [
          2.5932721714077167,
          2.8440366974016005,
          2.990825688227288
        ],
        [
          2.5932721713958786,
          2.844036697389763,
          2.99082568821545
        ],
        [
          2.5932721713849514,
          2.8440366973788356,
          2.9908256882045228
        ],
        [
          2.5932721713748648,
          2.8440366973687485,
          2.9908256881944366
        ],
        [
          2.593272171365554,
          2.8440366973594378,
          2.990825688185126
        ],
        [
          2.593272171356959,
          2.8440366973508433,
          2.9908256881765314
        ],
        [
          2.593272171349026,
          2.8440366973429096,
          2.9908256881685977
        ],
        [
          2.5932721713417024,
          2.8440366973355866,
          2.9908256881612747
        ],
        [
          2.593272171334943,
          2.8440366973288267,
          2.9908256881545143
        ],
        [
          2.593272171328703,
          2.844036697322587,
          2.990825688148274
        ],
        [
          2.5932721713229427,
          2.844036697316827,
          2.9908256881425146
        ],
        [
          2.5932721713176257,
          2.84403669731151,
          2.990825688137198
        ],
        [
          2.593272171312718,
          2.8440366973066022,
          2.99082568813229
        ],
        [
          2.5932721713081874,
          2.8440366973020716,
          2.9908256881277597
        ],
        [
          2.593272171304006,
          2.8440366972978897,
          2.9908256881235777
        ],
        [
          2.593272171300146,
          2.8440366972940296,
          2.9908256881197177
        ]
      ],
      "full_support": true
    },
    {
      "id": "example1-tranches",
      "name": "Example 1: two-tranche debt-equity structure",
      "dividends": [
        0.0,
        0.25,
        0.4166666666666667
      ],
      "returns": [
        1.0833333333333333,
        1.0833333333333333,
        1.0833333333333333
      ],
      "theories": [
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ],
        [
          [
            0.5,
            0.125,
            0.375
          ],
          [
            0.125,
            0.75,
            0.125
          ],
          [
            0.375,
            0.125,
            0.5
          ]
        ]
      ],
      "theory_names": [
        "coarse",
        "singleton"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0,
        3.0
      ],
      "upper_bound": 41.000000000000036,
      "q_min": [
        2.593272171206559,
        2.8440366972004427,
        2.990825688026131
      ],
      "q_max": [
        2.7409713574242356,
        3.019925280212735,
        3.1419676214365833
      ],
      "residual_min": 3.6362024502523127e-12,
      "residual_max": 3.0797586703101842e-12,
      "iterations_min": 310,
      "iterations_max": 177,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          0.0,
          0.23076923076923078,
          0.38461538461538464
        ],
        [
          0.1893491124260355,
          0.4349112426035503,
          0.5887573964497043
        ],
        [
          0.37323623122439686,
          0.6216431497496587,
          0.7720755575785162
        ],
        [
          0.5436784426315606,
          0.7932889254577923,
          0.9418831623542594
        ],
        [
          0.7011847785980345,
          0.9513802105076048,
          1.0990604118580207
        ],
        [
          0.84665396952728,
          1.0971376677117328,
          1.2443664838923605
        ],
        [
          0.980971729578884,
          1.2315976684257735,
          1.378603712907271
        ],
        [
          1.1049763418190548,
          1.355672475350861,
          1.502568581783636
        ],
        [
          1.2194515073703236,
          1.4701822818124453,
          1.6170241339933735
        ],
        [
          1.3251255148234284,
          1.575873384489043,
          1.7226884622957974
        ],
        [
          1.422673034341006,
          1.6734293404677099,
          1.8202312051702907
        ],
        [
          1.512718024608925,
          1.7634784941135642,
          1.9102738381736795
        ],
        [
          1.5958370328911287,
          1.846599557015076,
          1.993391683150199
        ],
        [
          1.6725625455558164,
          1.9233260836305908,
          2.0701166217256834
        ],
        [
          1.743386231049874,
          1.9941502695075053,
          2.1409400239077816
        ],
        [
          1.808762007527742,
          2.059526292923387,
          2.206315660571722
        ],
        [
          1.8691089110839538,
          2.1198733183430525,
          2.2666624951300194
        ],
        [
          1.9248137614021619,
          2.175578228800649,
          2.3223673113978838
        ],
        [
          1.9762336312617523,
          2.226998128338916,
          2.3737871644536925
        ],
        [
          2.0236981304782646,
          2.274462642201801,
          2.4212516553775703
        ],
        [
          2.0675115163254265,
          2.31827603527692,
          2.465065037132332
        ],
        [
          2.1079546426875937,
          2.358719165206071,
          2.505508161474907
        ],
        [
          2.1452867598057144,
          2.3960512840844914,
          2.542840277596363
        ],
        [
          2.1797471758420213,
          2.430511700989503,
          2.577300693140818
        ],
        [
          2.2115567907607208,
          2.4623213163369067,
          2.609110307816789
        ],
        [
          2.240919512281359,
          2.49168403806911,
          2.6384730292176415
        ],
        [
          2.268023562944034,
          2.518788088836192,
          2.6655770798212024
        ],
        [
          2.2930426866465936,
          2.5438072125902758,
          2.690596203494589
        ],
        [
          2.31613726237891,
          2.56690178834802,
          2.7136907792125093
        ],
        [
          2.3374553322890583,
          2.5882198582707163,
          2.7350088491155526
        ],
        [
          2.357133550669331,
          2.607898076657182,
          2.7546870674923194
        ],
        [
          2.375298059944256,
          2.6260625859351627,
          2.7728515767655137
        ],
        [
          2.392065299275364,
          2.6428298252677784,
          2.7896188160957673
        ],
        [
          2.4075427509658183,
          2.6583072769589777,
          2.805096267785801
        ],
        [
          2.4218296294494146,
          2.672594155442941,
          2.819383146269189
        ],
        [
          2.4350175172804756,
          2.685782043274183,
          2.832571034100147
        ],
        [
          2.447190952201479,
          2.6979554781952753,
          2.8447444690210997
        ],
        [
          2.4584279690516473,
          2.7091924950454884,
          2.8559814858712436
        ],
        [
          2.4688005999902707,
          2.7195651259841336,
          2.8663541168098545
        ],
        [
          2.47837533624131,
          2.729139862235184,
          2.875928853060888
        ],
        [
          2.4872135543191947,
          2.7379780803130735,
          2.8847670711387696
        ],
        [
          2.495371909468012,
          2.746136435461893,
          2.892925426287585
        ],
        [
          2.502902698836151,
          2.753667224830034,
          2.900456215655723
        ],
        [
          2.5098541967144334,
          2.7606187227083168,
          2.9074077135340053
        ],
        [
          2.516270963986694,
          2.767035489980578,
          2.913824480806266
        ],
        [
          2.5221941337764733,
          2.772958659770357,
          2.919747650596045
        ],
        [
          2.5276616751208847,
          2.778426201114769,
          2.925215191940457
        ],
        [
          2.5327086363618805,
          2.7834731623557643,
          2.930262153181452
        ],
        [
          2.5373673698151067,
          2.788131895808991,
          2.9349208866346785
        ],
        [
          2.5416677391565465,
          2.7924322651504303,
          2.9392212559761184
        ],
        [
          2.545637310856337,
          2.796401836850221,
          2.943190827675909
        ],
        [
          2.549301530886913,
          2.800066056880797,
          2.9468550477064848
        ],
        [
          2.5526838878382136,
          2.803448413832098,
          2.950237404657786
        ],
        [
          2.555806063485569,
          2.8065705894794526,
          2.9533595803051402
        ],
        [
          2.5586880717754346,
          2.8094525977693183,
          2.956241588595006
        ],
        [
          2.561348387119926,
          2.81211291311381,
          2.9589019039394975
        ],
        [
          2.563804062822533,
          2.8145685888164174,
          2.9613575796421054
        ],
        [
          2.5660708403941714,
          2.816835366388055,
          2.963624357213743
        ],
        [
          2.5681632504602985,
          2.8189277764541822,
          2.9657167672798703
        ],
        [
          2.5700947059059542,
          2.820859231899838,
          2.967648222725526
        ],
        [
          2.5718775878557905,
          2.8226421138496742,
          2.9694311046753623
        ],
        [
          2.5735233250402545,
          2.8242878510341383,
          2.9710768418598263
        ],
        [
          2.575042467056683,
          2.8258069930505667,
          2.972595983876255
        ],
        [
          2.5764447519949245,
          2.8272092779888087,
          2.9739982688144964
        ],
        [
          2.5777391688609934,
          2.828503694854878,
          2.9752926856805653
        ],
        [
          2.5789340151989038,
          2.829698541192788,
          2.976487532018475
        ],
        [
          2.5800369502800513,
          2.8308014762739355,
          2.977590467099623
        ],
        [
          2.581055044201111,
          2.831819570194995,
          2.9786085610206827
        ],
        [
          2.5819948232051657,
          2.83275934919905,
          2.9795483400247376
        ],
        [
          2.582862311516601,
          2.833626837510485,
          2.980415828336173
        ],
        [
          2.5836630699579257,
          2.83442759595181,
          2.9812165867774976
        ],
        [
          2.5844022315960715,
          2.8351667575899557,
          2.981955748415644
        ],
        [
          2.585084534646668,
          2.835849060640552,
          2.9826380514662403
        ],
        [
          2.585714352847219,
          2.8364788788411026,
          2.9832678696667903
        ],
        [
          2.5862957234938806,
          2.837060249487765,
          2.9838492403134524
        ],
        [
          2.586832373321569,
          2.837596899315453,
          2.98438589014114
        ],
        [
          2.587327742393281,
          2.8380922683871646,
          2.9848812592128526
        ],
        [
          2.587785006151784,
          2.838549532145668,
          2.985338522971356
        ],
        [
          2.588207095775018,
          2.838971621768902,
          2.9857606125945897
        ],
        [
          2.5885967169656956,
          2.8393612429595794,
          2.986150233785267
        ],
        [
          2.5889563672955513,
          2.8397208932894356,
          2.986509884115123
        ],
        [
          2.5892883522154184,
          2.8400528782093026,
          2.98684186903499
        ],
        [
          2.5895947998337574,
          2.8403593258276416,
          2.987148316653329
        ],
        [
          2.589877674558378,
          2.8406422005522622,
          2.9874311913779494
        ],
        [
          2.590138789688797,
          2.8409033156826813,
          2.9876923065083685
        ],
        [
          2.5903798190399527,
          2.8411443450338374,
          2.9879333358595246
        ],
        [
          2.5906023076717895,
          2.841366833665673,
          2.988155824491361
        ],
        [
          2.590807681793484,
          2.8415722077873684,
          2.9883611986130565
        ],
        [
          2.590997257905818,
          2.8417617838997025,
          2.9885507747253905
        ],
        [
          2.5911722512402804,
          2.8419367772341646,
          2.9887257680598522
        ],
        [
          2.5913337835490142,
          2.842098309542899,
          2.9888873003685865
        ],
        [
          2.5914828902955382,
          2.842247416289423,
          2.98903640711511
        ],
        [
          2.5916205272923296,
          2.8423850532862143,
          2.9891740441119015
        ],
        [
          2.5917475768278293,
          2.8425121028217135,
          2.989301093647401
        ],
        [
          2.5918648533221367,
          2.842629379316021,
          2.9894183701417085
        ],
        [
          2.5919731085476516,
          2.8427376345415354,
          2.9895266253672226
        ],
        [
          2.5920730364481264,
          2.84283756244201,
          2.9896265532676978
        ],
        [
          2.5921652775870263,
          2.84292980358091,
          2.9897187944065977
        ],
        [
          2.592250423253703,
          2.843014949247587,
          2.989803940073274
        ],
        [
          2.592329019253712,
          2.843093545247596,
          2.9898825360732837
        ],
        [
          2.592401569407567,
          2.843166095401451,
          2.989955086227138
        ],
        [
          2.5924685387803557,
          2.84323306477424,
          2.9900220555999275
        ],
        [
          2.5925303566629303,
          2.8432948826568145,
          2.9900838734825017
        ],
        [
          2.592587419323768,
          2.8433519453176523,
          2.99014093614334
        ],
        [
          2.592640092549157,
          2.8434046185430413,
          2.990193609368729
        ],
        [
          2.592688713987978,
          2.8434532399818617,
          2.9902422308075494
        ],
        [
          2.59273359531612,
          2.8434981213100037,
          2.9902871121356913
        ],
        [
          2.5927750242344048,
          2.8435395502282885,
          2.9903285410539766
        ],
        [
          2.5928132663128216,
          2.8435777923067054,
          2.9903667831323935
        ],
        [
          2.5928485666928984,
          2.8436130926867826,
          2.9904020835124707
        ],
        [
          2.5928811516591237,
          2.843645677653008,
          2.990434668478696
        ],
        [
          2.5929112300894857,
          2.8436757560833694,
          2.990464746909057
        ],
        [
          2.5929389947944346,
          2.843703520788319,
          2.990492511614007
        ],
        [
          2.5929646237528496,
          2.8437291497467334,
          2.9905181405724215
        ],
        [
          2.5929882812529246,
          2.8437528072468083,
          2.990541798072496
        ],
        [
          2.593010118945301,
          2.8437746449391854,
          2.990563635764873
        ],
        [
          2.5930302768151874,
          2.8437948028090716,
          2.9905837936347597
        ],
        [
          2.5930488840796984,
          2.843813410073582,
          2.9906024008992698
        ],
        [
          2.5930660600161697,
          2.8438305860100535,
          2.990619576835741
        ],
        [
          2.5930819147267585,
          2.8438464407206423,
          2.99063543154633
        ],
        [
          2.593096549844225,
          2.843861075838109,
          2.9906500666637967
        ],
        [
          2.5931100591834246,
          2.843874585177309,
          2.990663576002997
        ],
        [
          2.5931225293426863,
          2.8438870553365705,
          2.9906760461622586
        ],
        [
          2.593134040258928,
          2.843898566252812,
          2.9906875570784996
        ],
        [
          2.5931446657200734,
          2.843909191713958,
          2.9906981825396453
        ],
        [
          2.5931544738380548,
          2.8439189998319385,
          2.990707990657626
        ],
        [
          2.5931635274854217,
          2.8439280534793054,
          2.990717044304993
        ],
        [
          2.593171884698376,
          2.8439364106922596,
          2.990725401517947
        ],
        [
          2.5931795990487947,
          2.843944125042679,
          2.9907331158683665
        ],
        [
          2.5931867199876435,
          2.8439512459815273,
          2.990740236807215
        ],
        [
          2.593193293161965,
          2.843957819155849,
          2.990746809981537
        ],
        [
          2.5931993607074926,
          2.843963886701377,
          2.990752877527065
        ],
        [
          2.593204961518749,
          2.843969487512633,
          2.990758478338321
        ],
        [
          2.59321013149837,
          2.8439746574922546,
          2.9907636483179423
        ],
        [
          2.5932149037872514,
          2.8439794297811356,
          2.9907684206068232
        ],
        [
          2.5932193089769875,
          2.8439838349708717,
          2.99077282579656
        ],
        [
          2.5932233753059752,
          2.843987901299859,
          2.990776892125547
        ],
        [
          2.593227128840425,
          2.843991654834309,
          2.9907806456599966
        ],
        [
          2.5932305936414553,
          2.8439951196353395,
          2.9907841104610275
        ],
        [
          2.5932337919193302,
          2.843998317913214,
          2.990787308738902
        ],
        [
          2.5932367441758295,
          2.8440012701697137,
          2.990790260995402
        ],
        [
          2.5932394693356757,
          2.8440039953295595,
          2.990792986155247
        ],
        [
          2.593241984867841,
          2.8440065108617247,
          2.9907955016874124
        ],
        [
          2.5932443068975317,
          2.844008832891416,
          2.9907978237171036
        ],
        [
          2.5932464503095543,
          2.8440109763034385,
          2.990799967129126
        ],
        [
          2.593248428843729,
          2.8440129548376127,
          2.990801945663301
        ],
        [
          2.593250255182967,
          2.844014781176851,
          2.9908037720025384
        ],
        [
          2.593251941034571,
          2.8440164670284553,
          2.9908054578541434
        ],
        [
          2.5932534972052834,
          2.844018023199167,
          2.9908070140248553
        ],
        [
          2.5932549336705555,
          2.8440194596644397,
          2.990808450490128
        ],
        [
          2.5932562596384994,
          2.8440207856323836,
          2.9908097764580717
        ],
        [
          2.5932574836089093,
          2.844022009602793,
          2.990811000428481
        ],
        [
          2.5932586134277487,
          2.844023139421633,
          2.9908121302473205
        ],
        [
          2.593259656337447,
          2.8440241823313306,
          2.9908131731570187
        ],
        [
          2.593260619023322,
          2.8440251450172056,
          2.990814135842894
        ],
        [
          2.5932615076564374,
          2.844026033650321,
          2.990815024476009
        ],
        [
          2.5932623279331595,
          2.8440268539270432,
          2.9908158447527313
        ],
        [
          2.5932630851116723,
          2.844027611105556,
          2.990816601931244
        ],
        [
          2.593263784045684,
          2.8440283100395676,
          2.9908173008652557
        ],
        [
          2.5932644292155405,
          2.844028955209425,
          2.9908179460351128
        ],
        [
          2.5932650247569473,
          2.8440295507508315,
          2.9908185415765187
        ],
        [
          2.5932655744874764,
          2.84403010048136,
          2.990819091307048
        ],
        [
          2.5932660819310414,
          2.8440306079249256,
          2.9908195987506137
        ],
        [
          2.5932665503404864,
          2.8440310763343706,
          2.990820067160058
        ],
        [
          2.5932669827184354,
          2.844031508712319,
          2.990820499538007
        ],
        [
          2.593267381836542,
          2.844031907830426,
          2.9908208986561142
        ],
        [
          2.5932677502532564,
          2.84403227624714,
          2.9908212670728282
        ],
        [
          2.593268090330223,
          2.8440326163241068,
          2.9908216071497953
        ],
        [
          2.5932684042474228,
          2.844032930241307,
          2.990821921066995
        ],
        [
          2.593268694017146,
          2.8440332200110303,
          2.9908222108367184
        ],
        [
          2.5932689614968907,
          2.844033487490775,
          2.9908224783164625
        ],
        [
          2.5932692084012703,
          2.8440337343951545,
          2.990822725220842
        ],
        [
          2.593269436313005,
          2.8440339623068893,
          2.990822953132577
        ],
        [
          2.593269646693068,
          2.844034172686952,
          2.99082316351264
        ],
        [
          2.5932698408900494,
          2.844034366883933,
          2.990823357709621
        ],
        [
          2.5932700201488013,
          2.844034546142685,
          2.9908235369683727
        ],
        [
          2.5932701856184184,
          2.844034711612302,
          2.99082370243799
        ],
        [
          2.5932703383596034,
          2.844034864353487,
          2.990823855179175
        ],
        [
          2.5932704793514665,
          2.8440350053453503,
          2.9908239961710383
        ],
        [
          2.5932706094978015,
          2.8440351354916853,
          2.990824126317374
        ],
        [
          2.5932707296328803,
          2.844035255626764,
          2.990824246452452
        ],
        [
          2.593270840526799,
          2.844035366520683,
          2.990824357346371
        ],
        [
          2.5932709428904164,
          2.8440354688843,
          2.9908244597099882
        ],
        [
          2.593271037379909,
          2.8440355633737933,
          2.9908245541994813
        ],
        [
          2.5932711246009794,
          2.8440356505948636,
          2.9908246414205513
        ],
        [
          2.5932712051127367,
          2.844035731106621,
          2.9908247219323085
        ],
        [
          2.5932712794312818,
          2.844035805425166,
          2.9908247962508536
        ],
        [
          2.593271348033016,
          2.8440358740268996,
          2.9908248648525877
        ],
        [
          2.5932714113576933,
          2.844035937351577,
          2.990824928177265
        ],
        [
          2.5932714698112416,
          2.844035995805126,
          2.990824986630814
        ],
        [
          2.5932715237683635,
          2.8440360497622477,
          2.9908250405879353
        ],
        [
          2.5932715735749374,
          2.8440360995688216,
          2.9908250903945093
        ],
        [
          2.5932716195502366,
          2.8440361455441208,
          2.9908251363698084
        ],
        [
          2.593271661988974,
          2.844036187982858,
          2.990825178808546
        ],
        [
          2.593271701163193,
          2.844036227157077,
          2.9908252179827652
        ],
        [
          2.593271737324011,
          2.844036263317895,
          2.9908252541435827
        ],
        [
          2.593271770703227,
          2.8440362966971113,
          2.9908252875227994
        ],
        [
          2.593271801514812,
          2.8440363275086957,
          2.990825318334384
        ],
        [
          2.5932718299562745,
          2.8440363559501582,
          2.9908253467758463
        ],
        [
          2.593271856209932,
          2.844036382203816,
          2.9908253730295042
        ],
        [
          2.5932718804440777,
          2.8440364064379615,
          2.99082539726365
        ],
        [
          2.5932719028140583,
          2.844036428807942,
          2.99082541963363
        ],
        [
          2.593271923463271,
          2.844036449457155,
          2.990825440282843
        ],
        [
          2.593271942524083,
          2.8440364685179667,
          2.990825459343655
        ],
        [
          2.5932719601186784,
          2.844036486112562,
          2.9908254769382503
        ],
        [
          2.5932719763598433,
          2.8440365023537275,
          2.990825493179415
        ],
        [
          2.5932719913516884,
          2.844036517345572,
          2.99082550817126
        ],
        [
          2.5932720051903138,
          2.844036531184198,
          2.9908255220098856
        ],
        [
          2.5932720179644297,
          2.844036543958314,
          2.990825534784002
        ],
        [
          2.593272029755922,
          2.8440365557498057,
          2.9908255465754934
        ],
        [
          2.5932720406403758,
          2.84403656663426,
          2.9908255574599476
        ],
        [
          2.593272050687564,
          2.844036576681448,
          2.990825567507136
        ],
        [
          2.5932720599618917,
          2.8440365859557755,
          2.9908255767814635
        ],
        [
          2.5932720685228094,
          2.844036594516693,
          2.9908255853423817
        ],
        [
          2.5932720764251953,
          2.8440366024190795,
          2.9908255932447676
        ],
        [
          2.5932720837197056,
          2.8440366097135894,
          2.990825600539277
        ],
        [
          2.593272090453099,
          2.8440366164469832,
          2.990825607272671
        ],
        [
          2.5932720966685396,
          2.844036622662424,
          2.990825613488111
        ],
        [
          2.593272102405869,
          2.8440366283997536,
          2.9908256192254408
        ],
        [
          2.593272107701866,
          2.84403663369575,
          2.990825624521437
        ],
        [
          2.593272112590478,
          2.844036638584362,
          2.9908256294100495
        ],
        [
          2.5932721171030426,
          2.844036643096927,
          2.990825633922615
        ],
        [
          2.5932721212684875,
          2.8440366472623717,
          2.99082563808806
        ],
        [
          2.5932721251135136,
          2.844036651107398,
          2.9908256419330854
        ],
        [
          2.5932721286627682,
          2.844036654656652,
          2.99082564548234
        ],
        [
          2.593272131939003,
          2.8440366579328877,
          2.9908256487585754
        ],
        [
          2.5932721349632204,
          2.8440366609571046,
          2.9908256517827922
        ],
        [
          2.593272137754805,
          2.844036663748689,
          2.9908256545743774
        ],
        [
          2.5932721403316528,
          2.8440366663255365,
          2.9908256571512246
        ],
        [
          2.593272142710281,
          2.8440366687041654,
          2.990825659529853
        ],
        [
          2.593272144905938,
          2.8440366708998224,
          2.9908256617255105
        ],
        [
          2.593272146932699,
          2.844036672926583,
          2.9908256637522705
        ],
        [
          2.5932721488035546,
          2.844036674797439,
          2.990825665623127
        ],
        [
          2.5932721505304985,
          2.8440366765243827,
          2.990825667350071
        ],
        [
          2.5932721521246007,
          2.844036678118485,
          2.9908256689441726
        ],
        [
          2.5932721535960797,
          2.844036679589964,
          2.9908256704156515
        ],
        [
          2.593272154954368,
          2.844036680948252,
          2.990825671773939
        ],
        [
          2.593272156208172,
          2.844036682202056,
          2.990825673027744
        ],
        [
          2.5932721573655297,
          2.844036683359414,
          2.9908256741851016
        ],
        [
          2.59327215843386,
          2.844036684427744,
          2.990825675253432
        ],
        [
          2.593272159420011,
          2.844036685413895,
          2.990825676239583
        ],
        [
          2.5932721603303044,
          2.844036686324188,
          2.9908256771498762
        ],
        [
          2.593272161170575,
          2.8440366871644596,
          2.9908256779901468
        ],
        [
          2.5932721619462096,
          2.8440366879400942,
          2.9908256787657814
        ],
        [
          2.5932721626621804,
          2.8440366886560646,
          2.9908256794817514
        ],
        [
          2.5932721633230758,
          2.8440366893169604,
          2.9908256801426476
        ],
        [
          2.5932721639331335,
          2.8440366899270177,
          2.9908256807527054
        ],
        [
          2.593272164496264,
          2.8440366904901477,
          2.990825681315835
        ],
        [
          2.5932721650160757,
          2.84403669100996,
          2.9908256818356476
        ],
        [
          2.5932721654959026,
          2.8440366914897868,
          2.9908256823154744
        ],
        [
          2.5932721659388194,
          2.8440366919327036,
          2.9908256827583917
        ],
        [
          2.5932721663476657,
          2.8440366923415503,
          2.9908256831672384
        ],
        [
          2.5932721667250633,
          2.844036692718947,
          2.9908256835446347
        ],
        [
          2.5932721670734296,
          2.8440366930673133,
          2.990825683893001
        ],
        [
          2.5932721673949977,
          2.8440366933888823,
          2.99082568421457
        ],
        [
          2.593272167691831,
          2.8440366936857147,
          2.9908256845114027
        ],
        [
          2.5932721679658304,
          2.8440366939597146,
          2.9908256847854022
        ],
        [
          2.5932721682187534,
          2.844036694212637,
          2.990825685038325
        ],
        [
          2.59327216845222,
          2.844036694446104,
          2.990825685271792
        ],
        [
          2.5932721686677285,
          2.8440366946616122,
          2.9908256854872994
        ],
        [
          2.5932721688666582,
          2.8440366948605424,
          2.99082568568623
        ],
        [
          2.5932721690502865,
          2.8440366950441707,
          2.990825685869858
        ],
        [
          2.593272169219789,
          2.8440366952136737,
          2.990825686039361
        ],
        [
          2.5932721693762537,
          2.8440366953701375,
          2.990825686195825
        ],
        [
          2.593272169520682,
          2.844036695514566,
          2.990825686340253
        ],
        [
          2.5932721696540004,
          2.8440366956478846,
          2.990825686473572
        ],
        [
          2.5932721697770638,
          2.8440366957709475,
          2.990825686596635
        ],
        [
          2.5932721698906605,
          2.8440366958845447,
          2.990825686710232
        ],
        [
          2.5932721699955192,
          2.8440366959894035,
          2.9908256868150906
        ],
        [
          2.593272170092312,
          2.844036696086196,
          2.9908256869118834
        ],
        [
          2.5932721701816592,
          2.844036696175543,
          2.9908256870012306
        ],
        [
          2.5932721702641333,
          2.8440366962580175,
          2.990825687083705
        ],
        [
          2.5932721703402635,
          2.8440366963341477,
          2.990825687159835
        ],
        [
          2.5932721704105375,
          2.8440366964044217,
          2.990825687230109
        ],
        [
          2.5932721704754056,
          2.84403669646929,
          2.9908256872949774
        ],
        [
          2.593272170535284,
          2.8440366965291677,
          2.9908256873548558
        ],
        [
          2.593272170590556,
          2.84403669658444,
          2.990825687410128
        ],
        [
          2.5932721706415767,
          2.8440366966354604,
          2.9908256874611485
        ],
        [
          2.5932721706886723,
          2.8440366966825565,
          2.990825687508244
        ],
        [
          2.5932721707321456,
          2.8440366967260298,
          2.9908256875517174
        ],
        [
          2.593272170772275,
          2.844036696766159,
          2.990825687591846
        ],
        [
          2.593272170809317,
          2.8440366968032014,
          2.990825687628889
        ],
        [
          2.59327217084351,
          2.844036696837394,
          2.990825687663082
        ],
        [
          2.5932721708750726,
          2.8440366968689568,
          2.990825687694645
        ],
        [
          2.5932721709042075,
          2.8440366968980917,
          2.9908256877237798
        ],
        [
          2.593272170931101,
          2.8440366969249853,
          2.990825687750673
        ],
        [
          2.593272170955926,
          2.8440366969498103,
          2.990825687775498
        ],
        [
          2.593272170978841,
          2.8440366969727253,
          2.9908256877984134
        ],
        [
          2.5932721709999935,
          2.8440366969938777,
          2.990825687819566
        ],
        [
          2.5932721710195192,
          2.844036697013403,
          2.990825687839091
        ],
        [
          2.5932721710375426,
          2.844036697031427,
          2.9908256878571144
        ],
        [
          2.5932721710541795,
          2.8440366970480633,
          2.990825687873752
        ],
        [
          2.5932721710695366,
          2.844036697063421,
          2.990825687889109
        ],
        [
          2.5932721710837128,
          2.844036697077597,
          2.9908256879032846
        ],
        [
          2.5932721710967983,
          2.8440366970906825,
          2.99082568791637
        ],
        [
          2.593272171108877,
          2.844036697102761,
          2.9908256879284494
        ],
        [
          2.593272171120027,
          2.844036697113911,
          2.9908256879395987
        ],
        [
          2.593272171130319,
          2.8440366971242033,
          2.9908256879498905
        ],
        [
          2.5932721711398194,
          2.8440366971337037,
          2.990825687959391
        ],
        [
          2.593272171148589,
          2.844036697142473,
          2.9908256879681607
        ],
        [
          2.5932721711566837,
          2.844036697150568,
          2.990825687976256
        ],
        [
          2.5932721711641564,
          2.84403669715804,
          2.990825687983728
        ],
        [
          2.593272171171054,
          2.844036697164938,
          2.9908256879906254
        ],
        [
          2.593272171177421,
          2.8440366971713047,
          2.9908256879969923
        ],
        [
          2.593272171183298,
          2.8440366971771818,
          2.99082568800287
        ],
        [
          2.593272171188723,
          2.8440366971826068,
          2.990825688008295
        ],
        [
          2.5932721711937305,
          2.8440366971876148,
          2.9908256880133024
        ],
        [
          2.593272171198353,
          2.844036697192237,
          2.990825688017925
        ],
        [
          2.59327217120262,
          2.844036697196504,
          2.990825688022192
        ],
        [
          2.593272171206559,
          2.8440366972004427,
          2.990825688026131
        ]
      ],
      "upper_path": [
        [
          41.000000000000036,
          41.000000000000036,
          41.000000000000036
        ],
        [
          37.84615384615388,
          38.076923076923116,
          38.23076923076926
        ],
        [
          35.12426035502962,
          35.36982248520714,
          35.523668639053284
        ],
        [
          32.62084660901232,
          32.86925352753759,
          33.01968593536644
        ],
        [
          30.310703406743492,
          30.560313889569727,
          30.70890812646619
        ],
        [
          28.178438591624435,
          28.428634023534006,
          28.57631422488442
        ],
        [
          26.210272873859342,
          26.4607565720438,
          26.607985388224428
        ],
        [
          24.393543025885407,
          24.644168964732295,
          24.791175009213795
        ],
        [
          22.716580615332767,
          22.967276748864574,
          23.114172855297355
        ],
        [
          21.168624682921443,
          21.419355457363565,
          21.5661973095445
        ],
        [
          19.73974690763985,
          19.99049477730546,
          20.13730985511222
        ],
        [
          18.420785089248472,
          18.671541395375176,
          18.81834326007776
        ],
        [
          17.203282998369666,
          17.454043467874303,
          17.60083881193442
        ],
        [
          16.079435470208736,
          16.330197994332682,
          16.476990120467807
        ],
        [
          15.042038026156686,
          15.292801564231457,
          15.439592102326554
        ],
        [
          14.08444052083529,
          14.335204559292922,
          14.4819943136932
        ],
        [
          13.200504428868127,
          13.451268714263774,
          13.598058081912107
        ],
        [
          12.384563453859696,
          12.635327861118794,
          12.782117037905762
        ],
        [
          11.631387185502845,
          11.882151652901335,
          12.02894073549857
        ],
        [
          10.936147561200846,
          11.186912058278011,
          11.333701094392787
        ],
        [
          10.294387911960506,
          10.545152423684042,
          10.69194143685981
        ],
        [
          9.701994391539804,
          9.952758910491298,
          10.09954791234671
        ],
        [
          9.155169604423943,
          9.405934126942421,
          9.552723123211255
        ],
        [
          8.65040826294696,
          8.901172787225738,
          9.047961780737607
        ],
        [
          8.18447471720317,
          8.435239242350654,
          8.582028234501966
        ],
        [
          7.754382213555628,
          8.005146739131815,
          8.151935730611694
        ],
        [
          7.357373748707427,
          7.608138274495179,
          7.754927265643709
        ],
        [
          6.990904396568097,
          7.2416689224602555,
          7.388457913445264
        ],
        [
          6.652624994607267,
          6.90338952055095,
          7.050178511455263
        ],
        [
          6.340367085111841,
          6.59113161108095,
          6.737920601945439
        ],
        [
          6.052129014811763,
          6.302893540793421,
          6.449682531638258
        ],
        [
          5.786063103767213,
          6.036827629755064,
          6.183616620590202
        ],
        [
          5.540463801265378,
          5.7912283272562854,
          5.9380173180866365
        ],
        [
          5.313756752802554,
          5.564521278794969,
          5.711310269622958
        ],
        [
          5.104488708067841,
          5.355253234060999,
          5.502042224887823
        ],
        [
          4.911318205235896,
          5.162082731229423,
          5.308871722055672
        ],
        [
          4.733006971852613,
          4.983771497846321,
          5.130560488672286
        ],
        [
          4.568411987191144,
          4.819176513184941,
          4.965965504010766
        ],
        [
          4.416478155195954,
          4.667242681189796,
          4.814031672015551
        ],
        [
          4.276231541046554,
          4.526996067040417,
          4.673785057866138
        ],
        [
          4.146773127985572,
          4.397537653979446,
          4.5443266448051505
        ],
        [
          4.027273054390822,
          4.2780375803847,
          4.424826571210397
        ],
        [
          3.916965294149514,
          4.1677298201433945,
          4.314518810969087
        ],
        [
          3.8151427462344603,
          4.065907272228342,
          4.212696263054034
        ],
        [
          3.7211527020051807,
          3.9719172279990635,
          4.118706218824753
        ],
        [
          3.634392661178153,
          3.8851571871720365,
          4.0319461779977255
        ],
        [
          3.5543064696455127,
          3.805070995639396,
          3.9518599864650845
        ],
        [
          3.4803807543846137,
          3.7311452803784975,
          3.877934271204186
        ],
        [
          3.4121416326053224,
          3.662906158599206,
          3.8096951494248943
        ],
        [
          3.3491516740398226,
          3.5999162000337064,
          3.746705190859395
        ],
        [
          3.291007096902438,
          3.541771622896322,
          3.68856061372201
        ],
        [
          3.237335179544852,
          3.4880997055387364,
          3.6348886963644245
        ],
        [
          3.1877918712147735,
          3.4385563972086572,
          3.585345388034345
        ],
        [
          3.1420595866023926,
          3.392824112596277,
          3.5396131034219644
        ],
        [
          3.0998451700371183,
          3.3506096960310026,
          3.49739868685669
        ],
        [
          3.0608780162845575,
          3.3116425422784417,
          3.4584315331041293
        ],
        [
          3.024908335897578,
          3.2756728618914623,
          3.42246185271715
        ],
        [
          2.9917055540019053,
          3.242470079995789,
          3.3892590708214767
        ],
        [
          2.9610568322520527,
          3.2118213582459365,
          3.3589293662253974
        ],
        [
          2.932863863607196,
          3.1835670401484313,
          3.331964274133038
        ],
        [
          2.9071985162734357,
          3.157641966765095,
          3.3075839738038204
        ],
        [
          2.8838229097976464,
          3.133919341230903,
          3.285443142928024
        ],
        [
          2.862518582755869,
          3.115629561640937,
          3.265294577585007
        ],
        [
          2.8441362221482502,
          3.1013441870028906,
          3.2473297029996093
        ],
        [
          2.8285569575848464,
          3.089299991787106,
          3.231733799007307
        ],
        [
          2.815258691809003,
          3.0789977384273013,
          3.2183523547741455
        ],
        [
          2.8038796261570615,
          3.0701760315784075,
          3.206895807963218
        ],
        [
          2.7941389125226728,
          3.0626235998001614,
          3.1970890307519357
        ],
        [
          2.785800474792237,
          3.0561583762301847,
          3.1886942487925034
        ],
        [
          2.7786624922507466,
          3.0506239394060857,
          3.181508073559173
        ],
        [
          2.772552155451079,
          3.0458862915567044,
          3.1753564861128583
        ],
        [
          2.7673215178832744,
          3.0418307187580673,
          3.170090536601271
        ],
        [
          2.7628439302284966,
          3.038359022943251,
          3.165582720713679
        ],
        [
          2.759010976580132,
          3.0353871438438826,
          3.161723890739303
        ],
        [
          2.7557298495887133,
          3.0328431233233033,
          3.158420612809398
        ],
        [
          2.752921103298897,
          3.030665362993375,
          3.1555929046304767
        ],
        [
          2.750603886809446,
          3.028801132726443,
          3.153172298882193
        ],
        [
          2.748837891638255,
          3.0272153505114394,
          3.1511270030477387
        ],
        [
          2.7474035466180773,
          3.025894327053392,
          3.1494566623543547
        ],
        [
          2.746231589049769,
          3.024808405966008,
          3.1480919731675785
        ],
        [
          2.745273295723245,
          3.023919146162231,
          3.14697621570412
        ],
        [
          2.744489605600374,
          3.0231916454654058,
          3.146063784335465
        ],
        [
          2.743848686162246,
          3.022596625200311,
          3.1453175843547996
        ],
        [
          2.743324524003542,
          3.0221099898049086,
          3.144707322198327
        ],
        [
          2.7428958485087698,
          3.021712002616789,
          3.144208231839346
        ],
        [
          2.742545264710563,
          3.0213865161990534,
          3.1438000606920258
        ],
        [
          2.742258546634996,
          3.0211203234330894,
          3.1434662459456146
        ],
        [
          2.742024059880376,
          3.020902622882101,
          3.14319324210487
        ],
        [
          2.74183228948589,
          3.020724580751419,
          3.142969971267221
        ],
        [
          2.7416754538287065,
          3.020578972484877,
          3.142787373590309
        ],
        [
          2.741547188861426,
          3.020459889618754,
          3.1426380396603077
        ],
        [
          2.741442289872709,
          3.020362500031414,
          3.1425159098335134
        ],
        [
          2.7413565002914435,
          3.0202828518668285,
          3.1424160283491567
        ],
        [
          2.7412863389644015,
          3.0202177131770087,
          3.1423343422354577
        ],
        [
          2.7412289588986676,
          3.0201644407766515,
          3.1422675368489124
        ],
        [
          2.741182031736904,
          3.0201208729884814,
          3.142212901373317
        ],
        [
          2.741143653277713,
          3.0200852419271196,
          3.1421682188207876
        ],
        [
          2.7411122662073137,
          3.020056101762169,
          3.14213167607125
        ],
        [
          2.7410865969071643,
          3.0200322700495885,
          3.142101790300001
        ],
        [
          2.741065603773311,
          3.020012779750701,
          3.142077348807927
        ],
        [
          2.741048434950382,
          3.019996839991883,
          3.142057359812835
        ],
        [
          2.7410343937651622,
          3.01998380397265,
          3.142041012205105
        ],
        [
          2.741022910457123,
          3.019973142719905,
          3.142027642634635
        ],
        [
          2.7410135190587854,
          3.0199644236233727,
          3.142016708593551
        ],
        [
          2.741005838487783,
          3.0199572928812213,
          3.1420077664024237
        ],
        [
          2.740999557083375,
          3.0199514611435583,
          3.142000453206731
        ],
        [
          2.7409944199599328,
          3.0199466917712483,
          3.1419944722530175
        ],
        [
          2.7409902186642454,
          3.0199427912336123,
          3.1419895808472855
        ],
        [
          2.7409867827169374,
          3.0199396012553814,
          3.1419855805070087
        ],
        [
          2.740983972694797,
          3.0199369923942285,
          3.1419823089071444
        ],
        [
          2.7409816745732836,
          3.019934858788284,
          3.1419796332933383
        ],
        [
          2.74097979509966,
          3.019933113860494,
          3.1419774450950455
        ],
        [
          2.7409782580090067,
          3.0199316868055117,
          3.1419756555199734
        ],
        [
          2.740977000929552,
          3.0199305197165733,
          3.1419741919510873
        ],
        [
          2.7409759728517664,
          3.0199295652357674,
          3.141972994999969
        ],
        [
          2.740975132058506,
          3.0199287846323535,
          3.141972016096964
        ],
        [
          2.7409744444322226,
          3.0199281462311562,
          3.141971215520334
        ],
        [
          2.7409738820705485,
          3.0199276241272535,
          3.141970560784433
        ],
        [
          2.7409734221540787,
          3.019927197134813,
          3.141970025321513
        ],
        [
          2.740973046020411,
          3.019926847927417,
          3.141969587403663
        ],
        [
          2.7409727384068656,
          3.0199265623349953,
          3.141969229261134
        ],
        [
          2.7409724868311587,
          3.0199263287688325,
          3.1419689363612893
        ],
        [
          2.740972281084899,
          3.019926137751325,
          3.141968696818894
        ],
        [
          2.7409721128193545,
          3.019925981531402,
          3.1419685009138423
        ],
        [
          2.740971975206678,
          3.019925853770001,
          3.1419683406967365
        ],
        [
          2.7409718626628483,
          3.019925749282844,
          3.1419682096663175
        ],
        [
          2.740971770621084,
          3.0199256638300707,
          3.141968102505659
        ],
        [
          2.7409716953465315,
          3.019925593944196,
          3.141968014866415
        ],
        [
          2.7409716337847145,
          3.019925536789403,
          3.141967943192378
        ],
        [
          2.74097158343759,
          3.019925490046477,
          3.1419678845751715
        ],
        [
          2.7409715422621805,
          3.019925451818691,
          3.1419678366362387
        ],
        [
          2.74097150858768,
          3.0199254205548454,
          3.1419677974303224
        ],
        [
          2.7409714810476493,
          3.0199253949863225,
          3.141967765366533
        ],
        [
          2.7409714585245752,
          3.019925374075608,
          3.141967739143791
        ],
        [
          2.740971440104521,
          3.0199253569741895,
          3.1419677176980354
        ],
        [
          2.7409714250400405,
          3.019925342988129,
          3.1419677001590447
        ],
        [
          2.7409714127198503,
          3.0199253315499046,
          3.141967685815125
        ],
        [
          2.740971402644025,
          3.019925322195377,
          3.1419676740842313
        ],
        [
          2.740971394403708,
          3.0199253145449596,
          3.14196766449035
        ],
        [
          2.7409713876645263,
          3.0199253082882156,
          3.1419676566441823
        ],
        [
          2.7409713821530195,
          3.0199253031712603,
          3.141967650227348
        ],
        [
          2.740971377645541,
          3.019925298986459,
          3.141967644979466
        ],
        [
          2.7409713739591886,
          3.019925295564001,
          3.1419676406875885
        ],
        [
          2.740971370944377,
          3.0199252927650115,
          3.1419676371775602
        ],
        [
          2.7409713684787733,
          3.019925290475912,
          3.141967634306953
        ],
        [
          2.740971366462327,
          3.0199252886038175,
          3.141967631959283
        ],
        [
          2.7409713648132157,
          3.019925287072761,
          3.1419676300392867
        ],
        [
          2.740971363464523,
          3.0199252858206167,
          3.141967628469056
        ],
        [
          2.740971362361521,
          3.0199252847965754,
          3.1419676271848735
        ],
        [
          2.740971361459452,
          3.019925283959083,
          3.14196762613463
        ],
        [
          2.7409713607217134,
          3.0199252832741563,
          3.141967625275709
        ],
        [
          2.7409713601183676,
          3.0199252827140026,
          3.1419676245732573
        ],
        [
          2.7409713596249334,
          3.0199252822558917,
          3.1419676239987706
        ],
        [
          2.740971359221388,
          3.0199252818812345,
          3.141967623528938
        ],
        [
          2.740971358891356,
          3.0199252815748285,
          3.1419676231446947
        ],
        [
          2.7409713586214455,
          3.019925281324241,
          3.141967622830449
        ],
        [
          2.740971358400705,
          3.0199252811193023,
          3.141967622573449
        ],
        [
          2.7409713582201767,
          3.0199252809516977,
          3.141967622363267
        ],
        [
          2.7409713580725352,
          3.0199252808146255,
          3.1419676221913733
        ],
        [
          2.740971357951789,
          3.019925280702523,
          3.1419676220507937
        ],
        [
          2.7409713578530392,
          3.0199252806108423,
          3.141967621935823
        ],
        [
          2.740971357772279,
          3.0199252805358636,
          3.141967621841797
        ],
        [
          2.740971357706231,
          3.019925280474544,
          3.1419676217648993
        ],
        [
          2.740971357652214,
          3.0199252804243937,
          3.1419676217020105
        ],
        [
          2.740971357608038,
          3.0199252803833803,
          3.1419676216505774
        ],
        [
          2.7409713575719095,
          3.0199252803498378,
          3.1419676216085146
        ],
        [
          2.740971357542363,
          3.019925280322406,
          3.141967621574114
        ],
        [
          2.740971357518198,
          3.0199252802999714,
          3.14196762154598
        ],
        [
          2.740971357498436,
          3.0199252802816234,
          3.141967621522972
        ],
        [
          2.740971357482273,
          3.0199252802666186,
          3.1419676215041545
        ],
        [
          2.740971357469055,
          3.0199252802543466,
          3.141967621488765
        ],
        [
          2.7409713574582453,
          3.01992528024431,
          3.141967621476179
        ],
        [
          2.7409713574494043,
          3.019925280236102,
          3.141967621465886
        ],
        [
          2.7409713574421737,
          3.019925280229389,
          3.141967621457468
        ],
        [
          2.7409713574362606,
          3.0199252802238994,
          3.1419676214505836
        ],
        [
          2.7409713574314245,
          3.0199252802194096,
          3.1419676214449535
        ],
        [
          2.74097135742747,
          3.0199252802157384,
          3.141967621440349
        ],
        [
          2.7409713574242356,
          3.019925280212735,
          3.1419676214365833
        ]
      ],
      "full_support": true
    },
    {
      "id": "payoffs-benchmark",
      "name": "Realized-payoff example: no tranching",
      "dividends": [
        5.104166666666667,
        7.0625,
        13.0625
      ],
      "returns": [
        4.0,
        4.0,
        4.0
      ],
      "theories": [
        [
          [
            0.5,
            0.25,
            0.25
          ],
          [
            0.25,
            0.375,
            0.375
          ],
          [
            0.25,
            0.375,
            0.375
          ]
        ],
        [
          [
            0.375,
            0.25,
            0.375
          ],
          [
            0.25,
            0.5,
            0.25
          ],
          [
            0.375,
            0.25,
            0.375
          ]
        ],
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ]
      ],
      "theory_names": [
        "A",
        "B",
        "C"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0
      ],
      "upper_bound": 4.354166666666667,
      "q_min": [
        1.9941756272394802,
        2.499551971325501,
        3.999551971325501
      ],
      "q_max": [
        1.99417562724145,
        2.499551971327471,
        3.999551971327471
      ],
      "residual_min": 4.978240042419202e-13,
      "residual_max": 9.798828415341632e-13,
      "iterations_min": 21,
      "iterations_max": 20,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          1.2760416666666667,
          1.765625,
          3.265625
        ],
        [
          1.8121744791666667,
          2.317057291666667,
          3.817057291666667
        ],
        [
          1.9485982259114585,
          2.453959147135417,
          3.953959147135417
        ],
        [
          1.9827788670857749,
          2.488154729207357,
          3.988154729207357
        ],
        [
          1.9913263618946075,
          2.4967026909192405,
          3.9967026909192405
        ],
        [
          1.9934633085504174,
          2.4988396521657705,
          3.9988396521657705
        ],
        [
          1.99399754749417,
          2.499373891565483,
          3.999373891565483
        ],
        [
          1.994131107301352,
          2.499507451386914,
          3.999507451386914
        ],
        [
          1.9941644972553738,
          2.499540841341381,
          3.999540841341381
        ],
        [
          1.9941728447439488,
          2.49954918882997,
          3.99954918882997
        ],
        [
          1.9941749316160948,
          2.499551275702116,
          3.999551275702116
        ],
        [
          1.9941754533341314,
          2.4995517974201524,
          3.9995517974201524
        ],
        [
          1.9941755837636403,
          2.499551927849662,
          3.999551927849662
        ],
        [
          1.9941756163710176,
          2.499551960457039,
          3.999551960457039
        ],
        [
          1.9941756245228621,
          2.499551968608883,
          3.999551968608883
        ],
        [
          1.994175626560823,
          2.4995519706468445,
          3.9995519706468445
        ],
        [
          1.9941756270703133,
          2.4995519711563348,
          3.9995519711563348
        ],
        [
          1.994175627197686,
          2.499551971283707,
          3.999551971283707
        ],
        [
          1.994175627229529,
          2.4995519713155505,
          3.9995519713155505
        ],
        [
          1.9941756272374898,
          2.4995519713235113,
          3.9995519713235113
        ],
        [
          1.9941756272394802,
          2.499551971325501,
          3.999551971325501
        ]
      ],
      "upper_path": [
        [
          4.354166666666667,
          4.354166666666667,
          4.354166666666667
        ],
        [
          2.3645833333333335,
          2.854166666666667,
          4.354166666666667
        ],
        [
          2.0843098958333335,
          2.5891927083333335,
          4.089192708333333
        ],
        [
          2.016632080078125,
          2.5219930013020835,
          4.021993001302083
        ],
        [
          1.9997873306274414,
          2.5051631927490234,
          4.005163192749023
        ],
        [
          1.9955784777800243,
          2.500954806804657,
          4.000954806804657
        ],
        [
          1.9945263375217717,
          2.499902681137125,
          3.999902681137125
        ],
        [
          1.9942633047370086,
          2.499639648808322,
          3.999639648808322
        ],
        [
          1.9941975466120616,
          2.4995738906976235,
          3.9995738906976235
        ],
        [
          1.994181107083051,
          2.4995574511690584,
          3.9995574511690584
        ],
        [
          1.994176997200868,
          2.499553341286889,
          3.999553341286889
        ],
        [
          1.9941759697303245,
          2.499552313816346,
          3.999552313816346
        ],
        [
          1.9941757128626887,
          2.49955205694871,
          3.99955205694871
        ],
        [
          1.9941756486457798,
          2.499551992731801,
          3.999551992731801
        ],
        [
          1.9941756325915525,
          2.499551976677574,
          3.999551976677574
        ],
        [
          1.9941756285779957,
          2.499551972664017,
          3.999551972664017
        ],
        [
          1.9941756275746065,
          2.499551971660628,
          3.999551971660628
        ],
        [
          1.9941756273237592,
          2.4995519714097805,
          3.9995519714097805
        ],
        [
          1.9941756272610474,
          2.499551971347069,
          3.999551971347069
        ],
        [
          1.9941756272453695,
          2.4995519713313907,
          3.9995519713313907
        ],
        [
          1.99417562724145,
          2.499551971327471,
          3.999551971327471
        ]
      ],
      "full_support": true
    },
    {
      "id": "payoffs-tranches",
      "name": "Realized-payoff example: three tranches",
      "dividends": [
        5.104166666666667,
        7.0625,
        13.0625
      ],
      "returns": [
        4.0,
        4.0,
        4.0
      ],
      "theories": [
        [
          [
            0.5,
            0.25,
            0.25
          ],
          [
            0.25,
            0.375,
            0.375
          ],
          [
            0.25,
            0.375,
            0.375
          ]
        ],
        [
          [
            0.375,
            0.25,
            0.375
          ],
          [
            0.25,
            0.5,
            0.25
          ],
          [
            0.375,
            0.25,
            0.375
          ]
        ],
        [
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ],
          [
            0.3333333333333333,
            0.3333333333333333,
            0.3333333333333333
          ]
        ]
      ],
      "theory_names": [
        "A",
        "B",
        "C"
      ],
      "states": [
        "l",
        "m",
        "h"
      ],
      "attachments": [
        0.0,
        2.0,
        2.5
      ],
      "upper_bound": 5.1875,
      "q_min": [
        1.9999999999991478,
        2.4999999999991847,
        3.9999999999991847
      ],
      "q_max": [
        2.000000000000395,
        2.500000000000414,
        4.000000000000414
      ],
      "residual_min": 6.368239269249898e-13,
      "residual_max": 3.1175062531474396e-13,
      "iterations_min": 21,
      "iterations_max": 21,
      "lower_path": [
        [
          0.0,
          0.0,
          0.0
        ],
        [
          1.2760416666666667,
          1.765625,
          3.265625
        ],
        [
          1.8148328993055556,
          2.317057291666667,
          3.817057291666667
        ],
        [
          1.9521733036747686,
          2.4541252983940973,
          3.9541252983940973
        ],
        [
          1.9878907968968522,
          2.4884093249285666,
          3.9884093249285666
        ],
        [
          1.9969383843641715,
          2.4970699232301596,
          3.9970699232301596
        ],
        [
          1.999225997602355,
          2.4992592596284156,
          3.9992592596284156
        ],
        [
          1.9998043270260615,
          2.499812736030475,
          3.999812736030475
        ],
        [
          1.9999505325909017,
          2.499952658444843,
          3.999952658444843
        ],
        [
          1.999987494315516,
          2.4999880317453393,
          3.9999880317453393
        ],
        [
          1.999996838481197,
          2.4999969743469705,
          3.9999969743469705
        ],
        [
          1.999999200747376,
          2.4999992350951317,
          3.9999992350951317
        ],
        [
          1.999999797943711,
          2.499999806627048,
          3.999999806627048
        ],
        [
          1.9999999489188491,
          2.499999951114053,
          3.999999951114053
        ],
        [
          1.9999999870863512,
          2.499999987641313,
          3.999999987641313
        ],
        [
          1.9999999967353452,
          2.4999999968756432,
          3.9999999968756432
        ],
        [
          1.999999999174674,
          2.499999999210142,
          3.999999999210142
        ],
        [
          1.9999999997913522,
          2.499999999800319,
          3.999999999800319
        ],
        [
          1.9999999999472524,
          2.4999999999495195,
          3.9999999999495195
        ],
        [
          1.9999999999866651,
          2.499999999987238,
          3.999999999987238
        ],
        [
          1.999999999996629,
          2.4999999999967737,
          3.9999999999967737
        ],
        [
          1.9999999999991478,
          2.4999999999991847,
          3.9999999999991847
        ]
      ],
      "upper_path": [
        [
          5.1875,
          5.1875,
          5.1875
        ],
        [
          2.572916666666667,
          3.0625,
          4.5625
        ],
        [
          2.136393229166667,
          2.641276041666667,
          4.141276041666667
        ],
        [
          2.0334404839409723,
          2.535013834635417,
          4.035013834635417
        ],
        [
          2.008257618656865,
          2.5086551242404513,
          4.008655124240452
        ],
        [
          2.0020404980506425,
          2.5021389369611384,
          4.002138936961138
        ],
        [
          2.000504250404398,
          2.5005285818083784,
          4.0005285818083784
        ],
        [
          2.0001246117745923,
          2.500130624739346,
          4.000130624739346
        ],
        [
          2.000030794430072,
          2.5000322803745396,
          4.00003228037454
        ],
        [
          2.000007610011028,
          2.500007977222106,
          4.000007977222106
        ],
        [
          2.00000188060854,
          2.500001971354834,
          4.000001971354834
        ],
        [
          2.0000004647415714,
          2.500000487167065,
          4.000000487167065
        ],
        [
          2.0000001148483184,
          2.500000120390173,
          4.0000001203901725
        ],
        [
          2.000000028381658,
          2.5000000297511775,
          4.0000000297511775
        ],
        [
          2.00000000701376,
          2.5000000073521993,
          4.0000000073522
        ],
        [
          2.000000001733261,
          2.5000000018168973,
          4.000000001816898
        ],
        [
          2.0000000004283285,
          2.5000000004489973,
          4.000000000448997
        ],
        [
          2.00000000010585,
          2.5000000001109575,
          4.0000000001109575
        ],
        [
          2.000000000026158,
          2.50000000002742,
          4.00000000002742
        ],
        [
          2.000000000006464,
          2.500000000006776,
          4.000000000006776
        ],
        [
          2.0000000000015974,
          2.500000000001674,
          4.000000000001674
        ],
        [
          2.000000000000395,
          2.500000000000414,
          4.000000000000414
        ]
      ],
      "full_support": true
    }
  ],
  "example1_equilibria": [
    {
      "q": [
        2.5932721712538225,
        2.8440366972477062,
        2.9908256880733943
      ],
      "payoffs": [
        [
          2.5932721712538225,
          2.8440366972477062,
          2.9908256880733943
        ],
        [
          0.0,
          0.0,
          0.0
        ]
      ],
      "valuations": [
        [
          [
            2.5932721712538225,
            2.5932721712538225,
            2.5932721712538225
          ],
          [
            2.5603387438249823,
            2.613267466478476,
            2.60621030345801
          ]
        ],
        [
          [
            0.0,
            0.0,
            0.0
          ],
          [
            0.0,
            0.0,
            0.0
          ]
        ]
      ],
      "residual": 4.440892098500626e-16
    },
    {
      "q": [
        2.670103092783505,
        2.9381443298969074,
        3.0618556701030926
      ],
      "payoffs": [
        [
          2.670103092783505,
          2.9381443298969074,
          3.0
        ],
        [
          0.0,
          0.0,
          0.061855670103092564
        ]
      ],
      "valuations": [
        [
          [
            2.6486915146708965,
            2.6486915146708965,
            2.6486915146708965
          ],
          [
            2.6098334655035687,
            2.6883425852498024,
            2.6478984932593184
          ]
        ],
        [
          [
            0.019032513877874635,
            0.019032513877874635,
            0.019032513877874635
          ],
          [
            0.021411578112608964,
            0.007137192704202989,
            0.028548770816811956
          ]
        ]
      ],
      "residual": 4.440892098500626e-16
    },
    {
      "q": [
        2.7409713574097134,
        3.019925280199253,
        3.1419676214196763
      ],
      "payoffs": [
        [
          2.7409713574097134,
          3.0,
          3.0
        ],
        [
          0.0,
          0.01992528019925288,
          0.14196762141967634
        ]
      ],
      "valuations": [
        [
          [
            2.689529648433758,
            2.689529648433758,
            2.689529648433758
          ],
          [
            2.6496790880352523,
            2.7393428489318903,
            2.6795670083341316
          ]
        ],
        [
          [
            0.049813200498132065,
            0.049813200498132065,
            0.049813200498132065
          ],
          [
            0.051441708975955604,
            0.030175304147906958,
            0.06782258837053365
          ]
        ]
      ],
      "residual": 4.440892098500626e-16
    }
  ],
  "motivating": {
    "payoffs": [
      [
        1.05,
        2.25,
        2.25
      ],
      [
        0.0,
        0.0,
        0.75
      ]
    ],
    "valuations": [
      [
        [
          0.925,
          0.925,
          0.925
        ],
        [
          0.525,
          1.125,
          1.125
        ]
      ],
      [
        [
          0.125,
          0.125,
          0.125
        ],
        [
          0.0,
          0.0,
          0.375
        ]
      ]
    ]
  }
}