{
  "schema": "covariant-bott-connection-checks/v1",
  "all_fraction_checks": true,
  "exact_rotation_tests": [
    {
      "c": "3/5",
      "s": "4/5",
      "exact_unitary": true,
      "exact_covariant_action_derivative_zero": true,
      "exact_weight_commutator_norm_one": true
    },
    {
      "c": "5/13",
      "s": "12/13",
      "exact_unitary": true,
      "exact_covariant_action_derivative_zero": true,
      "exact_weight_commutator_norm_one": true
    },
    {
      "c": "8/17",
      "s": "15/17",
      "exact_unitary": true,
      "exact_covariant_action_derivative_zero": true,
      "exact_weight_commutator_norm_one": true
    },
    {
      "c": "7/25",
      "s": "24/25",
      "exact_unitary": true,
      "exact_covariant_action_derivative_zero": true,
      "exact_weight_commutator_norm_one": true
    }
  ],
  "exact_infinite_resolvent_norms": [
    {
      "t": "1/2",
      "exact_transported_resolvent_derivative_norm": "1/32",
      "upper_bound_squared": "1/512",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    },
    {
      "t": "1/4",
      "exact_transported_resolvent_derivative_norm": "32/65537",
      "upper_bound_squared": "1/32768",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    },
    {
      "t": "1/8",
      "exact_transported_resolvent_derivative_norm": "16384/4294967297",
      "upper_bound_squared": "1/2097152",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    },
    {
      "t": "1/16",
      "exact_transported_resolvent_derivative_norm": "8388608/281474976710657",
      "upper_bound_squared": "1/134217728",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    },
    {
      "t": "1/32",
      "exact_transported_resolvent_derivative_norm": "4294967296/18446744073709551617",
      "upper_bound_squared": "1/8589934592",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    },
    {
      "t": "1/64",
      "exact_transported_resolvent_derivative_norm": "2199023255552/1208925819614629174706177",
      "upper_bound_squared": "1/549755813888",
      "exact_scalar_norm_identity": true,
      "exact_positive_polynomial_bound": true
    }
  ],
  "curve_samples": 201,
  "curve_values": [
    {
      "t": 0.015625,
      "constant_column_upper_bound": 0.001953125060134004,
      "transported_connection_exact_norm": 1.8189894035458565e-12,
      "transported_connection_upper_bound": 1.3486991523486091e-06
    },
    {
      "t": 0.01589812018910448,
      "constant_column_upper_bound": 0.001987265089288737,
      "transported_connection_exact_norm": 2.053574289322812e-12,
      "transported_connection_upper_bound": 1.4206671363093413e-06
    },
    {
      "t": 0.01617601443502152,
      "constant_column_upper_bound": 0.002022001876053896,
      "transported_connection_exact_norm": 2.318412275270495e-12,
      "transported_connection_upper_bound": 1.4964754064497958e-06
    },
    {
      "t": 0.016458766186794312,
      "constant_column_upper_bound": 0.0020573458516071667,
      "transported_connection_exact_norm": 2.6174049344459875e-12,
      "transported_connection_upper_bound": 1.5763288844188921e-06
    },
    {
      "t": 0.016746460352129577,
      "constant_column_upper_bound": 0.002093307629463615,
      "transported_connection_exact_norm": 2.954957003953438e-12,
      "transported_connection_upper_bound": 1.660443426697013e-06
    },
    {
      "t": 0.01703918332289465,
      "constant_column_upper_bound": 0.002129898008663246,
      "transported_connection_exact_norm": 3.336041275196008e-12,
      "transported_connection_upper_bound": 1.7490464080899647e-06
    },
    {
      "t": 0.017337023001060083,
      "constant_column_upper_bound": 0.00216712797701429,
      "transported_connection_exact_norm": 3.766271852660354e-12,
      "transported_connection_upper_bound": 1.842377336358731e-06
    },
    {
      "t": 0.0176400688250958,
      "constant_column_upper_bound": 0.00220500871439323,
      "transported_connection_exact_norm": 4.251986860476772e-12,
      "transported_connection_upper_bound": 1.9406884996465417e-06
    },
    {
      "t": 0.017948411796828673,
      "constant_column_upper_bound": 0.0022435515961025587,
      "transported_connection_exact_norm": 4.800341815181655e-12,
      "transported_connection_upper_bound": 2.0442456484533187e-06
    },
    {
      "t": 0.018262144508769458,
      "constant_column_upper_bound": 0.0022827681962872544,
      "transported_connection_exact_norm": 5.4194150402425306e-12,
      "transported_connection_upper_bound": 2.153328714000951e-06
    },
    {
      "t": 0.018581361171917516,
      "constant_column_upper_bound": 0.002322670291411043,
      "transported_connection_exact_norm": 6.118326675304811e-12,
      "transported_connection_upper_bound": 2.2682325649313374e-06
    },
    {
      "t": 0.01890615764405145,
      "constant_column_upper_bound": 0.0023632698637934654,
      "transported_connection_exact_norm": 6.907373033394983e-12,
      "transported_connection_upper_bound": 2.38926780438257e-06
    },
    {
      "t": 0.019236631458514314,
      "constant_column_upper_bound": 0.0024045791052088364,
      "transported_connection_exact_norm": 7.798178285420669e-12,
      "transported_connection_upper_bound": 2.516761609597957e-06
    },
    {
      "t": 0.019572881853502002,
      "constant_column_upper_bound": 0.002446610420548183,
      "transported_connection_exact_norm": 8.803865706572063e-12,
      "transported_connection_upper_bound": 2.651058616337467e-06
    },
    {
      "t": 0.019915009801863465,
      "constant_column_upper_bound": 0.002489376431545246,
      "transported_connection_exact_norm": 9.939251007413206e-12,
      "transported_connection_upper_bound": 2.792521850482224e-06
    },
    {
      "t": 0.020263118041422026,
      "constant_column_upper_bound": 0.0025328899805677155,
      "transported_connection_exact_norm": 1.1221060597803011e-11,
      "transported_connection_upper_bound": 2.9415337093504733e-06
    },
    {
      "t": 0.02061731110582648,
      "constant_column_upper_bound": 0.002577164134474801,
      "transported_connection_exact_norm": 1.2668177999092235e-11,
      "transported_connection_upper_bound": 3.098496995377488e-06
    },
    {
      "t": 0.020977695355941614,
      "constant_column_upper_bound": 0.0026222121885423346,
      "transported_connection_exact_norm": 1.4301922034723252e-11,
      "transported_connection_upper_bound": 3.2638360049537732e-06
    },
    {
      "t": 0.021344379011787432,
      "constant_column_upper_bound": 0.002668047670456601,
      "transported_connection_exact_norm": 1.6146360897515052e-11,
      "transported_connection_upper_bound": 3.4379976753648015e-06
    },
    {
      "t": 0.021717472185036512,
      "constant_column_upper_bound": 0.0027146843443780705,
      "transported_connection_exact_norm": 1.8228666720448038e-11,
      "transported_connection_upper_bound": 3.621452792932582e-06
    },
    {
      "t": 0.02209708691207961,
      "constant_column_upper_bound": 0.002762136215076322,
      "transported_connection_exact_norm": 2.0579515874459988e-11,
      "transported_connection_upper_bound": 3.814697265625001e-06
    },
    {
      "t": 0.022483337187669067,
      "constant_column_upper_bound": 0.0028104175321373563,
      "transported_connection_exact_norm": 2.3233540890408064e-11,
      "transported_connection_upper_bound": 4.018253463572832e-06
    },
    {
      "t": 0.022876338999150394,
      "constant_column_upper_bound": 0.002859542794244634,
      "transported_connection_exact_norm": 2.6229840662878394e-11,
      "transported_connection_upper_bound": 4.232671631118182e-06
    },
    {
      "t": 0.023276210361292227,
      "constant_column_upper_bound": 0.0029095267535351067,
      "transported_connection_exact_norm": 2.961255645212623e-11,
      "transported_connection_upper_bound": 4.458531374211297e-06
    },
    {
      "t": 0.023683071351724965,
      "constant_column_upper_bound": 0.0029603844200315685,
      "transported_connection_exact_norm": 3.343152216976256e-11,
      "transported_connection_upper_bound": 4.6964432271763445e-06
    },
    {
      "t": 0.024097044146999074,
      "constant_column_upper_bound": 0.0030121310661527247,
      "transported_connection_exact_norm": 3.7742998528149014e-11,
      "transported_connection_upper_bound": 4.947050303081549e-06
    },
    {
      "t": 0.024518253059273465,
      "constant_column_upper_bound": 0.0030647822313022957,
      "transported_connection_exact_norm": 4.2610501868930506e-11,
      "transported_connection_upper_bound": 5.211030032174669e-06
    },
    {
      "t": 0.024946824573645308,
      "constant_column_upper_bound": 0.003118353726538612,
      "transported_connection_exact_norm": 4.810573988094759e-11,
      "transported_connection_upper_bound": 5.4890959930832674e-06
    },
    {
      "t": 0.025382887386132362,
      "constant_column_upper_bound": 0.003172861639326121,
      "transported_connection_exact_norm": 5.430966799245262e-11,
      "transported_connection_upper_bound": 5.78199984172973e-06
    },
    {
      "t": 0.02582657244231911,
      "constant_column_upper_bound": 0.0032283223383702394,
      "transported_connection_exact_norm": 6.131368200031775e-11,
      "transported_connection_upper_bound": 6.0905333431751206e-06
    },
    {
      "t": 0.026278012976678578,
      "constant_column_upper_bound": 0.0032847524785370964,
      "transported_connection_exact_norm": 6.92209645059612e-11,
      "transported_connection_upper_bound": 6.415530511884418e-06
    },
    {
      "t": 0.026737344552581324,
      "constant_column_upper_bound": 0.003342169005859627,
      "transported_connection_exact_norm": 7.814800499357896e-11,
      "transported_connection_upper_bound": 6.757869866198434e-06
    },
    {
      "t": 0.027204705103003875,
      "constant_column_upper_bound": 0.003400589162631612,
      "transported_connection_exact_norm": 8.822631594436224e-11,
      "transported_connection_upper_bound": 7.1184768031067434e-06
    },
    {
      "t": 0.027680234971948773,
      "constant_column_upper_bound": 0.003460030492591237,
      "transported_connection_exact_norm": 9.96043702683648e-11,
      "transported_connection_upper_bound": 7.498326099740994e-06
    },
    {
      "t": 0.028164076956588437,
      "constant_column_upper_bound": 0.0035205108461957508,
      "transported_connection_exact_norm": 1.1244978859611362e-10,
      "transported_connection_upper_bound": 7.898444548350347e-06
    },
    {
      "t": 0.028656376350145975,
      "constant_column_upper_bound": 0.0035820483859889383,
      "transported_connection_exact_norm": 1.2695180865298694e-10,
      "transported_connection_upper_bound": 8.319913731882154e-06
    },
    {
      "t": 0.02915728098552524,
      "constant_column_upper_bound": 0.0036446615920630197,
      "transported_connection_exact_norm": 1.4332407309498153e-10,
      "transported_connection_upper_bound": 8.763872947670257e-06
    },
    {
      "t": 0.02966694127970372,
      "constant_column_upper_bound": 0.0037083692676167486,
      "transported_connection_exact_norm": 1.6180777687606581e-10,
      "transported_connection_upper_bound": 9.231522287134492e-06
    },
    {
      "t": 0.03018551027890143,
      "constant_column_upper_bound": 0.0037731905446114545,
      "transported_connection_exact_norm": 1.8267522051389135e-10,
      "transported_connection_upper_bound": 9.724125879816154e-06
    },
    {
      "t": 0.03071314370453909,
      "constant_column_upper_bound": 0.003839144889526791,
      "transported_connection_exact_norm": 2.0623382160029355e-10,
      "transported_connection_upper_bound": 1.0243015310518361e-05
    },
    {
      "t": 0.03125,
      "constant_column_upper_bound": 0.003906252109218102,
      "transported_connection_exact_norm": 2.3283064365386963e-10,
      "transported_connection_upper_bound": 1.0789593218788873e-05
    },
    {
      "t": 0.03179624037820896,
      "constant_column_upper_bound": 0.0039745323568772,
      "transported_connection_exact_norm": 2.6285750903331996e-10,
      "transported_connection_upper_bound": 1.136533709047473e-05
    },
    {
      "t": 0.03235202887004304,
      "constant_column_upper_bound": 0.004044006138098547,
      "transported_connection_exact_norm": 2.9675677123462337e-10,
      "transported_connection_upper_bound": 1.1971803251598366e-05
    },
    {
      "t": 0.032917532373588625,
      "constant_column_upper_bound": 0.0041146943170528,
      "transported_connection_exact_norm": 3.350278316090864e-10,
      "transported_connection_upper_bound": 1.2610631075351137e-05
    },
    {
      "t": 0.03349292070425915,
      "constant_column_upper_bound": 0.0041866181227696985,
      "transported_connection_exact_norm": 3.7823449650604005e-10,
      "transported_connection_upper_bound": 1.3283547413576104e-05
    },
    {
      "t": 0.0340783666457893,
      "constant_column_upper_bound": 0.0042597991555324375,
      "transported_connection_exact_norm": 4.2701328322508905e-10,
      "transported_connection_upper_bound": 1.3992371264719718e-05
    },
    {
      "t": 0.034674046002120165,
      "constant_column_upper_bound": 0.004334259393385589,
      "transported_connection_exact_norm": 4.820827971405254e-10,
      "transported_connection_upper_bound": 1.4739018690869848e-05
    },
    {
      "t": 0.0352801376501916,
      "constant_column_upper_bound": 0.004410021198758805,
      "transported_connection_exact_norm": 5.442543181410268e-10,
      "transported_connection_upper_bound": 1.5525507997172334e-05
    },
    {
      "t": 0.03589682359365735,
      "constant_column_upper_bound": 0.004487107325208539,
      "transported_connection_exact_norm": 6.144437523432519e-10,
      "transported_connection_upper_bound": 1.635396518762655e-05
    },
    {
      "t": 0.036524289017538916,
      "constant_column_upper_bound": 0.004565540924280069,
      "transported_connection_exact_norm": 6.936851251510439e-10,
      "transported_connection_upper_bound": 1.722662971200761e-05
    },
    {
      "t": 0.03716272234383503,
      "constant_column_upper_bound": 0.004645345552492255,
      "transported_connection_exact_norm": 7.831458144390158e-10,
      "transported_connection_upper_bound": 1.81458605194507e-05
    },
    {
      "t": 0.0378123152881029,
      "constant_column_upper_bound": 0.004726545178447437,
      "transported_connection_exact_norm": 8.841437482745579e-10,
      "transported_connection_upper_bound": 1.911414243506056e-05
    },
    {
      "t": 0.03847326291702863,
      "constant_column_upper_bound": 0.004809164190069048,
      "transported_connection_exact_norm": 9.981668205338456e-10,
      "transported_connection_upper_bound": 2.0134092876783657e-05
    },
    {
      "t": 0.039145763707004004,
      "constant_column_upper_bound": 0.004893227401969548,
      "transported_connection_exact_norm": 1.126894810441224e-09,
      "transported_connection_upper_bound": 2.1208468930699736e-05
    },
    {
      "t": 0.03983001960372693,
      "constant_column_upper_bound": 0.00497876006295136,
      "transported_connection_exact_norm": 1.2722241289488904e-09,
      "transported_connection_upper_bound": 2.2340174803857793e-05
    },
    {
      "t": 0.04052623608284405,
      "constant_column_upper_bound": 0.005065787863643692,
      "transported_connection_exact_norm": 1.4362957565187854e-09,
      "transported_connection_upper_bound": 2.3532269674803787e-05
    },
    {
      "t": 0.04123462221165296,
      "constant_column_upper_bound": 0.005154336944278054,
      "transported_connection_exact_norm": 1.6215267838838061e-09,
      "transported_connection_upper_bound": 2.4787975963019905e-05
    },
    {
      "t": 0.04195539071188323,
      "constant_column_upper_bound": 0.005244433902605603,
      "transported_connection_exact_norm": 1.8306460204445762e-09,
      "transported_connection_upper_bound": 2.6110688039630186e-05
    },
    {
      "t": 0.042688758023574865,
      "constant_column_upper_bound": 0.0053361058019594015,
      "transported_connection_exact_norm": 2.0667341948819267e-09,
      "transported_connection_upper_bound": 2.7503981402918412e-05
    },
    {
      "t": 0.043434944370073024,
      "constant_column_upper_bound": 0.005429380179464892,
      "transported_connection_exact_norm": 2.333269340217349e-09,
      "transported_connection_upper_bound": 2.8971622343460655e-05
    },
    {
      "t": 0.04419417382415922,
      "constant_column_upper_bound": 0.0055242850544020405,
      "transported_connection_exact_norm": 2.6341780319308784e-09,
      "transported_connection_upper_bound": 3.051757812500001e-05
    },
    {
      "t": 0.044966674375338134,
      "constant_column_upper_bound": 0.005620848936722707,
      "transported_connection_exact_norm": 2.9738932339722322e-09,
      "transported_connection_upper_bound": 3.2146027708582655e-05
    },
    {
      "t": 0.04575267799830079,
      "constant_column_upper_bound": 0.005719100835727051,
      "transported_connection_exact_norm": 3.3574196048484344e-09,
      "transported_connection_upper_bound": 3.3861373048945453e-05
    },
    {
      "t": 0.046552420722584455,
      "constant_column_upper_bound": 0.005819070268902914,
      "transported_connection_exact_norm": 3.790407225872158e-09,
      "transported_connection_upper_bound": 3.5668250993690375e-05
    },
    {
      "t": 0.04736614270344993,
      "constant_column_upper_bound": 0.00592078727093231,
      "transported_connection_exact_norm": 4.279234837729608e-09,
      "transported_connection_upper_bound": 3.7571545817410756e-05
    },
    {
      "t": 0.04819408829399815,
      "constant_column_upper_bound": 0.0060242824028695205,
      "transported_connection_exact_norm": 4.831103811603074e-09,
      "transported_connection_upper_bound": 3.9576402424652394e-05
    },
    {
      "t": 0.04903650611854693,
      "constant_column_upper_bound": 0.006129586761495328,
      "transported_connection_exact_norm": 5.454144239223105e-09,
      "transported_connection_upper_bound": 4.168824025739735e-05
    },
    {
      "t": 0.049893649147290615,
      "constant_column_upper_bound": 0.006236731988852418,
      "transported_connection_exact_norm": 6.1575347047612915e-09,
      "transported_connection_upper_bound": 4.391276794466614e-05
    },
    {
      "t": 0.050765774772264724,
      "constant_column_upper_bound": 0.006345750281967156,
      "transported_connection_exact_norm": 6.951637503033934e-09,
      "transported_connection_upper_bound": 4.625599873383784e-05
    },
    {
      "t": 0.05165314488463822,
      "constant_column_upper_bound": 0.006456674402763294,
      "transported_connection_exact_norm": 7.84815129604067e-09,
      "transported_connection_upper_bound": 4.8724266745400965e-05
    },
    {
      "t": 0.052556025953357156,
      "constant_column_upper_bound": 0.006569537688173641,
      "transported_connection_exact_norm": 8.860283456763032e-09,
      "transported_connection_upper_bound": 5.132424409507534e-05
    },
    {
      "t": 0.05347468910516265,
      "constant_column_upper_bound": 0.006684374060455999,
      "transported_connection_exact_norm": 1.0002944639178105e-08,
      "transported_connection_upper_bound": 5.4062958929587474e-05
    },
    {
      "t": 0.05440941020600775,
      "constant_column_upper_bound": 0.006801218037720274,
      "transported_connection_exact_norm": 1.1292968440878361e-08,
      "transported_connection_upper_bound": 5.694781442485395e-05
    },
    {
      "t": 0.055360469943897546,
      "constant_column_upper_bound": 0.00692010474467412,
      "transported_connection_exact_norm": 1.274935939435069e-08,
      "transported_connection_upper_bound": 5.9986608797927955e-05
    },
    {
      "t": 0.05632815391317687,
      "constant_column_upper_bound": 0.007041069923594982,
      "transported_connection_exact_norm": 1.4393572940302533e-08,
      "transported_connection_upper_bound": 6.318755638680278e-05
    },
    {
      "t": 0.05731275270029195,
      "constant_column_upper_bound": 0.007164149945537267,
      "transported_connection_exact_norm": 1.6249831507582315e-08,
      "transported_connection_upper_bound": 6.655930985505723e-05
    },
    {
      "t": 0.05831456197105048,
      "constant_column_upper_bound": 0.00728938182178375,
      "transported_connection_exact_norm": 1.8345481356157615e-08,
      "transported_connection_upper_bound": 7.011098358136206e-05
    },
    {
      "t": 0.05933388255940744,
      "constant_column_upper_bound": 0.0074168032155514756,
      "transported_connection_exact_norm": 2.071139544013639e-08,
      "transported_connection_upper_bound": 7.385217829707594e-05
    },
    {
      "t": 0.06037102055780286,
      "constant_column_upper_bound": 0.007546452453963053,
      "transported_connection_exact_norm": 2.3382428225778046e-08,
      "transported_connection_upper_bound": 7.779300703852923e-05
    },
    {
      "t": 0.06142628740907818,
      "constant_column_upper_bound": 0.007678368540295262,
      "transported_connection_exact_norm": 2.6397929164837505e-08,
      "transported_connection_upper_bound": 8.194412248414689e-05
    },
    {
      "t": 0.0625,
      "constant_column_upper_bound": 0.007812591166518208,
      "transported_connection_exact_norm": 2.9802322387695207e-08,
      "transported_connection_upper_bound": 8.631674575031098e-05
    },
    {
      "t": 0.0635924807564179,
      "constant_column_upper_bound": 0.007949160726139139,
      "transported_connection_exact_norm": 3.36457611562647e-08,
      "transported_connection_upper_bound": 9.092269672379772e-05
    },
    {
      "t": 0.06470405774008609,
      "constant_column_upper_bound": 0.008088118327366837,
      "transported_connection_exact_norm": 3.798486671803155e-08,
      "transported_connection_upper_bound": 9.577442601278693e-05
    },
    {
      "t": 0.06583506474717725,
      "constant_column_upper_bound": 0.008229505806613675,
      "transported_connection_exact_norm": 4.288356244596271e-08,
      "transported_connection_upper_bound": 0.0001008850486028091
    },
    {
      "t": 0.06698584140851832,
      "constant_column_upper_bound": 0.008373365742354444,
      "transported_connection_exact_norm": 4.841401555277267e-08,
      "transported_connection_upper_bound": 0.00010626837930860889
    },
    {
      "t": 0.0681567332915786,
      "constant_column_upper_bound": 0.008519741469362862,
      "transported_connection_exact_norm": 5.4657700252810624e-08,
      "transported_connection_upper_bound": 0.00011193897011775774
    },
    {
      "t": 0.0693480920042403,
      "constant_column_upper_bound": 0.008668677093348894,
      "transported_connection_exact_norm": 6.170659803398592e-08,
      "transported_connection_upper_bound": 0.00011791214952695865
    },
    {
      "t": 0.0705602753003832,
      "constant_column_upper_bound": 0.008820217506022502,
      "transported_connection_exact_norm": 6.966455272204971e-08,
      "transported_connection_upper_bound": 0.00012420406397737867
    },
    {
      "t": 0.0717936471873147,
      "constant_column_upper_bound": 0.008974408400612137,
      "transported_connection_exact_norm": 7.864880029993367e-08,
      "transported_connection_upper_bound": 0.0001308317215010124
    },
    {
      "t": 0.07304857803507785,
      "constant_column_upper_bound": 0.009131296287869415,
      "transported_connection_exact_norm": 8.879169601932991e-08,
      "transported_connection_upper_bound": 0.00013781303769606096
    },
    {
      "t": 0.07432544468767006,
      "constant_column_upper_bound": 0.0092909285125949,
      "transported_connection_exact_norm": 1.0024266424818832e-07,
      "transported_connection_upper_bound": 0.0001451668841556056
    },
    {
      "t": 0.07562463057620579,
      "constant_column_upper_bound": 0.009453353270723724,
      "transported_connection_exact_norm": 1.1317039977913476e-07,
      "transported_connection_upper_bound": 0.0001529131394804844
    },
    {
      "t": 0.07694652583405726,
      "constant_column_upper_bound": 0.0096186196270143,
      "transported_connection_exact_norm": 1.2776535302831958e-07,
      "transported_connection_upper_bound": 0.00016107274301426926
    },
    {
      "t": 0.07829152741400801,
      "constant_column_upper_bound": 0.00978677753338815,
      "transported_connection_exact_norm": 1.4424253573645786e-07,
      "transported_connection_upper_bound": 0.00016966775144559789
    },
    {
      "t": 0.07966003920745389,
      "constant_column_upper_bound": 0.00995787784797448,
      "transported_connection_exact_norm": 1.628446885054303e-07,
      "transported_connection_upper_bound": 0.00017872139843086253
    },
    {
      "t": 0.0810524721656881,
      "constant_column_upper_bound": 0.010131972354919394,
      "transported_connection_exact_norm": 1.8384585683436273e-07,
      "transported_connection_upper_bound": 0.0001882581573984303
    },
    {
      "t": 0.08246924442330589,
      "constant_column_upper_bound": 0.010309113785026476,
      "transported_connection_exact_norm": 2.0755542833706445e-07,
      "transported_connection_upper_bound": 0.00019830380770415905
    },
    {
      "t": 0.08391078142376646,
      "constant_column_upper_bound": 0.010489355837303496,
      "transported_connection_exact_norm": 2.3432269061681298e-07,
      "transported_connection_upper_bound": 0.00020888550431704149
    },
    {
      "t": 0.08537751604714973,
      "constant_column_upper_bound": 0.010672753201498766,
      "transported_connection_exact_norm": 2.645419769447484e-07,
      "transported_connection_upper_bound": 0.0002200318512233473
    },
    {
      "t": 0.08686988874014608,
      "constant_column_upper_bound": 0.01085936158172057,
      "transported_connection_exact_norm": 2.9865847554761546e-07,
      "transported_connection_upper_bound": 0.00023177297874768545
    },
    {
      "t": 0.08838834764831845,
      "constant_column_upper_bound": 0.011049237721244472,
      "transported_connection_exact_norm": 3.3717478808684576e-07,
      "transported_connection_upper_bound": 0.00024414062500000005
    },
    {
      "t": 0.08993334875067624,
      "constant_column_upper_bound": 0.011242439428625637,
      "transported_connection_exact_norm": 3.8065833394798806e-07,
      "transported_connection_upper_bound": 0.000257168221668661
    },
    {
      "t": 0.09150535599660158,
      "constant_column_upper_bound": 0.011439025605247802,
      "transported_connection_exact_norm": 4.2974970941991907e-07,
      "transported_connection_upper_bound": 0.00027089098439156363
    },
    {
      "t": 0.09310484144516891,
      "constant_column_upper_bound": 0.011639056274456222,
      "transported_connection_exact_norm": 4.851721249106225e-07,
      "transported_connection_upper_bound": 0.000285346007949523
    },
    {
      "t": 0.09473228540689989,
      "constant_column_upper_bound": 0.011842592612440118,
      "transported_connection_exact_norm": 5.477420592278808e-07,
      "transported_connection_upper_bound": 0.0003005723665392863
    },
    {
      "t": 0.0963881765879963,
      "constant_column_upper_bound": 0.012049696981050345,
      "transported_connection_exact_norm": 6.183812878829438e-07,
      "transported_connection_upper_bound": 0.00031661121939721915
    },
    {
      "t": 0.09807301223709383,
      "constant_column_upper_bound": 0.012260432962760711,
      "transported_connection_exact_norm": 6.981304626172047e-07,
      "transported_connection_upper_bound": 0.0003335059220591785
    },
    {
      "t": 0.09978729829458123,
      "constant_column_upper_bound": 0.012474865398007276,
      "transported_connection_exact_norm": 7.88164442204453e-07,
      "transported_connection_upper_bound": 0.0003513021435573291
    },
    {
      "t": 0.10153154954452945,
      "constant_column_upper_bound": 0.012693060425168726,
      "transported_connection_exact_norm": 8.898096003809067e-07,
      "transported_connection_upper_bound": 0.00037004798987070274
    },
    {
      "t": 0.10330628976927647,
      "constant_column_upper_bound": 0.01291508552348368,
      "transported_connection_exact_norm": 1.0045633658821294e-06,
      "transported_connection_upper_bound": 0.0003897941339632081
    },
    {
      "t": 0.10511205190671431,
      "constant_column_upper_bound": 0.013141009559237412,
      "transported_connection_exact_norm": 1.1341162824491647e-06,
      "transported_connection_upper_bound": 0.00041059395276060273
    },
    {
      "t": 0.10694937821032527,
      "constant_column_upper_bound": 0.01337090283559198,
      "transported_connection_exact_norm": 1.2803769137902104e-06,
      "transported_connection_upper_bound": 0.00043250367143669947
    },
    {
      "t": 0.1088188204120155,
      "constant_column_upper_bound": 0.013604837146480333,
      "transported_connection_exact_norm": 1.445499960395807e-06,
      "transported_connection_upper_bound": 0.0004555825153988316
    },
    {
      "t": 0.11072093988779509,
      "constant_column_upper_bound": 0.01384288583503767,
      "transported_connection_exact_norm": 1.6319180024223316e-06,
      "transported_connection_upper_bound": 0.00047989287038342364
    },
    {
      "t": 0.11265630782635379,
      "constant_column_upper_bound": 0.014085123857102417,
      "transported_connection_exact_norm": 1.8423773362774574e-06,
      "transported_connection_upper_bound": 0.0005055004510944228
    },
    {
      "t": 0.1146255054005839,
      "constant_column_upper_bound": 0.014331627850386242,
      "transported_connection_exact_norm": 2.0799784328494674e-06,
      "transported_connection_upper_bound": 0.0005324744788404579
    },
    {
      "t": 0.11662912394210093,
      "constant_column_upper_bound": 0.014582476209987564,
      "transported_connection_exact_norm": 2.3482216134078173e-06,
      "transported_connection_upper_bound": 0.000560887868650896
    },
    {
      "t": 0.11866776511881488,
      "constant_column_upper_bound": 0.014837749171008108,
      "transported_connection_exact_norm": 2.65105861606879e-06,
      "transported_connection_upper_bound": 0.0005908174263766075
    },
    {
      "t": 0.12074204111560571,
      "constant_column_upper_bound": 0.0150975288991277,
      "transported_connection_exact_norm": 2.99295081249936e-06,
      "transported_connection_upper_bound": 0.0006223440563082338
    },
    {
      "t": 0.1228525748181564,
      "constant_column_upper_bound": 0.01536189959010032,
      "transported_connection_exact_norm": 3.3789349325029957e-06,
      "transported_connection_upper_bound": 0.0006555529798731758
    },
    {
      "t": 0.125,
      "constant_column_upper_bound": 0.01563094757925624,
      "transported_connection_exact_norm": 3.8146972647368216e-06,
      "transported_connection_upper_bound": 0.0006905339660024879
    },
    {
      "t": 0.1271849615128358,
      "constant_column_upper_bound": 0.015904761462232086,
      "transported_connection_exact_norm": 4.306657426678802e-06,
      "transported_connection_upper_bound": 0.0007273815737903818
    },
    {
      "t": 0.12940811548017217,
      "constant_column_upper_bound": 0.016183432228305428,
      "transported_connection_exact_norm": 4.862062937937078e-06,
      "transported_connection_upper_bound": 0.0007661954081022955
    },
    {
      "t": 0.1316701294943545,
      "constant_column_upper_bound": 0.016467053407884936,
      "transported_connection_exact_norm": 5.48909599014713e-06,
      "transported_connection_upper_bound": 0.0008070803888224728
    },
    {
      "t": 0.13397168281703664,
      "constant_column_upper_bound": 0.016755721235903766,
      "transported_connection_exact_norm": 6.196993986381066e-06,
      "transported_connection_upper_bound": 0.0008501470344688711
    },
    {
      "t": 0.1363134665831572,
      "constant_column_upper_bound": 0.01704953483308578,
      "transported_connection_exact_norm": 6.996185625844154e-06,
      "transported_connection_upper_bound": 0.000895511760942062
    },
    {
      "t": 0.1386961840084806,
      "constant_column_upper_bound": 0.017348596407304195,
      "transported_connection_exact_norm": 7.898444538644046e-06,
      "transported_connection_upper_bound": 0.0009432971962156692
    },
    {
      "t": 0.1411205506007664,
      "constant_column_upper_bound": 0.01765301147753474,
      "transported_connection_exact_norm": 8.917062733963328e-06,
      "transported_connection_upper_bound": 0.0009936325118190294
    },
    {
      "t": 0.1435872943746294,
      "constant_column_upper_bound": 0.017962889123223292,
      "transported_connection_exact_norm": 1.0067046416852211e-05,
      "transported_connection_upper_bound": 0.0010466537720080992
    },
    {
      "t": 0.1460971560701557,
      "constant_column_upper_bound": 0.018278342262247272,
      "transported_connection_exact_norm": 1.1365337058387622e-05,
      "transported_connection_upper_bound": 0.0011025043015684877
    },
    {
      "t": 0.14865088937534013,
      "constant_column_upper_bound": 0.01859948796105488,
      "transported_connection_exact_norm": 1.2831060975969409e-05,
      "transported_connection_upper_bound": 0.0011613350732448448
    },
    {
      "t": 0.15124926115241158,
      "constant_column_upper_bound": 0.018926447781022968,
      "transported_connection_exact_norm": 1.448581110052461e-05,
      "transported_connection_upper_bound": 0.0012233051158438751
    },
    {
      "t": 0.1538930516681145,
      "constant_column_upper_bound": 0.019259348165589815,
      "transported_connection_exact_norm": 1.6353965081552956e-05,
      "transported_connection_upper_bound": 0.001288581944114154
    },
    {
      "t": 0.15658305482801602,
      "constant_column_upper_bound": 0.01959832087330031,
      "transported_connection_exact_norm": 1.846304441625361e-05,
      "transported_connection_upper_bound": 0.001357342011564783
    },
    {
      "t": 0.15932007841490778,
      "constant_column_upper_bound": 0.01994350346255666,
      "transported_connection_exact_norm": 2.0844119893306684e-05,
      "transported_connection_upper_bound": 0.0014297711874469003
    },
    {
      "t": 0.1621049443313762,
      "constant_column_upper_bound": 0.020295039834608113,
      "transported_connection_exact_norm": 2.353226932414564e-05,
      "transported_connection_upper_bound": 0.0015060652591874423
    },
    {
      "t": 0.16493848884661177,
      "constant_column_upper_bound": 0.020653080842147294,
      "transported_connection_exact_norm": 2.6567094304784696e-05,
      "transported_connection_upper_bound": 0.0015864304616332724
    },
    {
      "t": 0.1678215628475329,
      "constant_column_upper_bound": 0.021017784971823064,
      "transported_connection_exact_norm": 2.9993303620804814e-05,
      "transported_connection_upper_bound": 0.0016710840345363319
    },
    {
      "t": 0.17075503209429946,
      "constant_column_upper_bound": 0.02138931911004219,
      "transported_connection_exact_norm": 3.3861371889739394e-05,
      "transported_connection_upper_bound": 0.0017602548097867784
    },
    {
      "t": 0.17373977748029215,
      "constant_column_upper_bound": 0.021767859402631016,
      "transported_connection_exact_norm": 3.822828314327794e-05,
      "transported_connection_upper_bound": 0.0018541838299814836
    },
    {
      "t": 0.1767766952966369,
      "constant_column_upper_bound": 0.0221535922202813,
      "transported_connection_exact_norm": 4.315837030271618e-05,
      "transported_connection_upper_bound": 0.0019531250000000004
    },
    {
      "t": 0.17986669750135248,
      "constant_column_upper_bound": 0.022546715243230594,
      "transported_connection_exact_norm": 4.8724262913296124e-05,
      "transported_connection_upper_bound": 0.002057345773349288
    },
    {
      "t": 0.18301071199320315,
      "constant_column_upper_bound": 0.022947438680349888,
      "transported_connection_exact_norm": 5.50079570972367e-05,
      "transported_connection_upper_bound": 0.002167127875132509
    },
    {
      "t": 0.18620968289033782,
      "constant_column_upper_bound": 0.023355986639754495,
      "transported_connection_exact_norm": 6.210202348471688e-05,
      "transported_connection_upper_bound": 0.002282768063596184
    },
    {
      "t": 0.18946457081379978,
      "constant_column_upper_bound": 0.02377259867024694,
      "transported_connection_exact_norm": 7.011097091318635e-05,
      "transported_connection_upper_bound": 0.0024045789323142905
    },
    {
      "t": 0.1927763531759926,
      "constant_column_upper_bound": 0.024197531495374403,
      "transported_connection_exact_norm": 7.915278597781e-05,
      "transported_connection_upper_bound": 0.002532889755177753
    },
    {
      "t": 0.19614602447418766,
      "constant_column_upper_bound": 0.02463106096467429,
      "transported_connection_exact_norm": 8.936067110299286e-05,
      "transported_connection_upper_bound": 0.002668047376473428
    },
    {
      "t": 0.19957459658916246,
      "constant_column_upper_bound": 0.025073484249830625,
      "transported_connection_exact_norm": 0.00010088500672434745,
      "transported_connection_upper_bound": 0.002810417148458633
    },
    {
      "t": 0.2030630990890589,
      "constant_column_upper_bound": 0.02552512231701538,
      "transported_connection_exact_norm": 0.00011389556646431589,
      "transported_connection_upper_bound": 0.002960383918965622
    },
    {
      "t": 0.20661257953855294,
      "constant_column_upper_bound": 0.025986322710695144,
      "transported_connection_exact_norm": 0.00012858401790023422,
      "transported_connection_upper_bound": 0.0031183530717056648
    },
    {
      "t": 0.21022410381342863,
      "constant_column_upper_bound": 0.026457462688700303,
      "transported_connection_exact_norm": 0.00014516674571380856,
      "transported_connection_upper_bound": 0.003284751622084822
    },
    {
      "t": 0.21389875642065054,
      "constant_column_upper_bound": 0.026938952753446,
      "transported_connection_exact_norm": 0.0001638880387347317,
      "transported_connection_upper_bound": 0.0034600293714935958
    },
    {
      "t": 0.217637640824031,
      "constant_column_upper_bound": 0.027431240629931644,
      "transported_connection_exact_norm": 0.0001850236877139851,
      "transported_connection_upper_bound": 0.0036446601231906526
    },
    {
      "t": 0.22144187977559018,
      "constant_column_upper_bound": 0.027934815747607807,
      "transported_connection_exact_norm": 0.0002088850466565394,
      "transported_connection_upper_bound": 0.003839142963067389
    },
    {
      "t": 0.22531261565270758,
      "constant_column_upper_bound": 0.028450214290471048,
      "transported_connection_exact_norm": 0.0002358236172878586,
      "transported_connection_upper_bound": 0.004044003608755382
    },
    {
      "t": 0.2292510108011678,
      "constant_column_upper_bound": 0.02897802488792407,
      "transported_connection_exact_norm": 0.0002662362238096339,
      "transported_connection_upper_bound": 0.004259795830723663
    },
    {
      "t": 0.23325824788420185,
      "constant_column_upper_bound": 0.0295188950281183,
      "transported_connection_exact_norm": 0.0003005708536089156,
      "transported_connection_upper_bound": 0.004487102949207168
    },
    {
      "t": 0.23733553023762977,
      "constant_column_upper_bound": 0.03007353828578736,
      "transported_connection_exact_norm": 0.00033933324911654335,
      "transported_connection_upper_bound": 0.00472653941101286
    },
    {
      "t": 0.24148408223121143,
      "constant_column_upper_bound": 0.030642742468087028,
      "transported_connection_exact_norm": 0.0003830943466609672,
      "transported_connection_upper_bound": 0.004978752450465871
    },
    {
      "t": 0.2457051496363128,
      "constant_column_upper_bound": 0.031227378794785137,
      "transported_connection_exact_norm": 0.00043249867002221666,
      "transported_connection_upper_bound": 0.005244423838985406
    },
    {
      "t": 0.25,
      "constant_column_upper_bound": 0.031828412243383945,
      "transported_connection_exact_norm": 0.0004882737995330882,
      "transported_connection_upper_bound": 0.005524271728019903
    },
    {
      "t": 0.2543699230256717,
      "constant_column_upper_bound": 0.03244691320546796,
      "transported_connection_exact_norm": 0.0005512410520457057,
      "transported_connection_upper_bound": 0.005819052590323062
    },
    {
      "t": 0.25881623096034434,
      "constant_column_upper_bound": 0.03308407061776714,
      "transported_connection_exact_norm": 0.0006223275228739191,
      "transported_connection_upper_bound": 0.006129563264818364
    },
    {
      "t": 0.263340258988709,
      "constant_column_upper_bound": 0.03374120675003146,
      "transported_connection_exact_norm": 0.0007025796578392311,
      "transported_connection_upper_bound": 0.006456643110579782
    },
    {
      "t": 0.2679433656340732,
      "constant_column_upper_bound": 0.034419793851615664,
      "transported_connection_exact_norm": 0.0007931785415510213,
      "transported_connection_upper_bound": 0.006801176275750965
    },
    {
      "t": 0.2726269331663144,
      "constant_column_upper_bound": 0.0351214728792378,
      "transported_connection_exact_norm": 0.0008954571065776468,
      "transported_connection_upper_bound": 0.007164094087536496
    },
    {
      "t": 0.2773923680169613,
      "constant_column_upper_bound": 0.03584807454891892,
      "transported_connection_exact_norm": 0.0010109194864015264,
      "transported_connection_upper_bound": 0.007546377569725362
    },
    {
      "t": 0.2822411012015328,
      "constant_column_upper_bound": 0.036601642974329426,
      "transported_connection_exact_norm": 0.001141262751655107,
      "transported_connection_upper_bound": 0.007949060094552235
    },
    {
      "t": 0.2871745887492588,
      "constant_column_upper_bound": 0.037384462169540424,
      "transported_connection_exact_norm": 0.0012884012819519052,
      "transported_connection_upper_bound": 0.008373230176064794
    },
    {
      "t": 0.29219431214031133,
      "constant_column_upper_bound": 0.038199085703177184,
      "transported_connection_exact_norm": 0.0014544940312844843,
      "transported_connection_upper_bound": 0.008820034412547896
    },
    {
      "t": 0.29730177875068026,
      "constant_column_upper_bound": 0.03904836978803492,
      "transported_connection_exact_norm": 0.001641974938254751,
      "transported_connection_upper_bound": 0.009290680585958758
    },
    {
      "t": 0.3024985223048232,
      "constant_column_upper_bound": 0.039935510067447624,
      "transported_connection_exact_norm": 0.0018535867053913813,
      "transported_connection_upper_bound": 0.009786440926751006
    },
    {
      "t": 0.307786103336229,
      "constant_column_upper_bound": 0.04086408230513697,
      "transported_connection_exact_norm": 0.0020924181124895944,
      "transported_connection_upper_bound": 0.010308655552913232
    },
    {
      "t": 0.31316610965603203,
      "constant_column_upper_bound": 0.041838087080918615,
      "transported_connection_exact_norm": 0.0023619449192548024,
      "transported_connection_upper_bound": 0.010858736092518265
    },
    {
      "t": 0.31864015682981545,
      "constant_column_upper_bound": 0.04286199841363905,
      "transported_connection_exact_norm": 0.0026660742256573223,
      "transported_connection_upper_bound": 0.01143816949957519
    },
    {
      "t": 0.3242098886627524,
      "constant_column_upper_bound": 0.04394081593519497,
      "transported_connection_exact_norm": 0.003009191854454518,
      "transported_connection_upper_bound": 0.012048522073499539
    },
    {
      "t": 0.32987697769322366,
      "constant_column_upper_bound": 0.04508011976669561,
      "transported_connection_exact_norm": 0.003396211840619283,
      "transported_connection_upper_bound": 0.012691443693066191
    },
    {
      "t": 0.3356431256950658,
      "constant_column_upper_bound": 0.04628612651388608,
      "transported_connection_exact_norm": 0.0038326263711800125,
      "transported_connection_upper_bound": 0.013368672276290655
    },
    {
      "t": 0.3415100641885989,
      "constant_column_upper_bound": 0.04756574367948458,
      "transported_connection_exact_norm": 0.004324553392125119,
      "transported_connection_upper_bound": 0.014082038478294227
    },
    {
      "t": 0.3474795549605842,
      "constant_column_upper_bound": 0.04892661810727332,
      "transported_connection_exact_norm": 0.004878777409189117,
      "transported_connection_upper_bound": 0.014833470639851855
    },
    {
      "t": 0.3535533905932738,
      "constant_column_upper_bound": 0.05037717157662385,
      "transported_connection_exact_norm": 0.00550277650728831,
      "transported_connection_upper_bound": 0.015625000000000003
    },
    {
      "t": 0.35973339500270507,
      "constant_column_upper_bound": 0.05192661301349473,
      "transported_connection_exact_norm": 0.006204724957219068,
      "transported_connection_upper_bound": 0.01645876618679432
    },
    {
      "t": 0.3660214239864063,
      "constant_column_upper_bound": 0.053584911520306304,
      "transported_connection_exact_norm": 0.006993455515410176,
      "transported_connection_upper_bound": 0.017337023001060072
    },
    {
      "t": 0.37241936578067564,
      "constant_column_upper_bound": 0.055362706983350746,
      "transported_connection_exact_norm": 0.007878358086938621,
      "transported_connection_upper_bound": 0.018262144508769472
    },
    {
      "t": 0.37892914162759944,
      "constant_column_upper_bound": 0.05727112474738617,
      "transported_connection_exact_norm": 0.008869181173136934,
      "transported_connection_upper_bound": 0.019236631458514307
    },
    {
      "t": 0.3855527063519852,
      "constant_column_upper_bound": 0.059321447164821586,
      "transported_connection_exact_norm": 0.00997568888193084,
      "transported_connection_upper_bound": 0.020263118041422026
    },
    {
      "t": 0.39229204894837544,
      "constant_column_upper_bound": 0.06152457752528702,
      "transported_connection_exact_norm": 0.011207109045781415,
      "transported_connection_upper_bound": 0.021344379011787443
    },
    {
      "t": 0.3991491931783249,
      "constant_column_upper_bound": 0.06389021180374593,
      "transported_connection_exact_norm": 0.01257128803733883,
      "transported_connection_upper_bound": 0.022483337187669063
    },
    {
      "t": 0.4061261981781178,
      "constant_column_upper_bound": 0.06642561401122171,
      "transported_connection_exact_norm": 0.014073448398255988,
      "transported_connection_upper_bound": 0.023683071351724976
    },
    {
      "t": 0.4132251590771058,
      "constant_column_upper_bound": 0.06913387931902622,
      "transported_connection_exact_norm": 0.015714434060577046,
      "transported_connection_upper_bound": 0.024946824573645294
    },
    {
      "t": 0.42044820762685725,
      "constant_column_upper_bound": 0.07201158069604452,
      "transported_connection_exact_norm": 0.017488339926510596,
      "transported_connection_upper_bound": 0.026278012976678575
    },
    {
      "t": 0.4277975128413012,
      "constant_column_upper_bound": 0.07504575556822198,
      "transported_connection_exact_norm": 0.019379483956717566,
      "transported_connection_upper_bound": 0.027680234971948787
    },
    {
      "t": 0.435275281648062,
      "constant_column_upper_bound": 0.07821033700780189,
      "transported_connection_exact_norm": 0.021358828796687258,
      "transported_connection_upper_bound": 0.02915728098552522
    },
    {
      "t": 0.44288375955118037,
      "constant_column_upper_bound": 0.08146241202265556,
      "transported_connection_exact_norm": 0.023380239255983214,
      "transported_connection_upper_bound": 0.030713143704539113
    },
    {
      "t": 0.450625231305415,
      "constant_column_upper_bound": 0.0847391192785405,
      "transported_connection_exact_norm": 0.025377393341147827,
      "transported_connection_upper_bound": 0.03235202887004302
    },
    {
      "t": 0.4585020216023356,
      "constant_column_upper_bound": 0.08795652533902965,
      "transported_connection_exact_norm": 0.027262693316631437,
      "transported_connection_upper_bound": 0.0340783666457893
    },
    {
      "t": 0.4665164957684038,
      "constant_column_upper_bound": 0.09101223428907695,
      "transported_connection_exact_norm": 0.028929941312138188,
      "transported_connection_upper_bound": 0.035896823593657375
    },
    {
      "t": 0.47467106047525953,
      "constant_column_upper_bound": 0.09379338812762675,
      "transported_connection_exact_norm": 0.0302624485528648,
      "transported_connection_upper_bound": 0.03781231528810288
    },
    {
      "t": 0.48296816446242286,
      "constant_column_upper_bound": 0.09619062745198313,
      "transported_connection_exact_norm": 0.03114716024844057,
      "transported_connection_upper_bound": 0.039830019603726965
    },
    {
      "t": 0.4914102992726254,
      "constant_column_upper_bound": 0.0981163418984099,
      "transported_connection_exact_norm": 0.03149313597759491,
      "transported_connection_upper_bound": 0.04195539071188321
    },
    {
      "t": 0.5,
      "constant_column_upper_bound": 0.0995228220420056,
      "transported_connection_exact_norm": 0.03125,
      "transported_connection_upper_bound": 0.04419417382415922
    }
  ],
  "transported_connection_completed_domain_proved": true,
  "real_linear_action_covariance_proved": true,
  "finite_connection_difference_columns_compact": true,
  "transported_full_resolvent_derivative_proved": true,
  "fixed_weight_parallel_for_covariant_connection_asserted": false,
  "full_connection_difference_bounded_asserted": false,
  "affine_Fock_connection_covariance_asserted": false,
  "actual_B_source_inverse_module_identified": false,
  "completed_physical_graph_sum_proved": false,
  "original_Bott_plus_one_proved": false,
  "canvas": [
    2450,
    1850
  ],
  "text_canvas_overflows": []
}