{ "seed": 7, "module_indices": [ [ 0.6444444444444444, 6.200000000000001 ], [ 0.13333333333333341, 2.8 ] ], "p_blocks": 0.13333333333333341, "g_blocks": 6.200000000000001, "predicted_certificate_boundary": 0.003468609087755811, "shell_identity_max_abs_error": 2.6645352591003757e-15, "certificate_slope_fit": -38.44000000000002, "expected_slope": -38.44000000000001, "slope_relative_error": 1.8484462428722684e-16, "observed_certificate_grid_nearest_zero": 0.0, "projected_epsilon": 0.0013333333333333342, "projected_min_margin": 0.0013333333333333253, "projected_max_spectral_radius": 0.8000487360179158, "observed_dynamical_instability_boundary": 0.26, "interpolated_certificate_crossing": 0.003468609087755811, "interpolated_dynamical_crossing": 0.24000741177575993, "rows": [ { "alpha": 0.0, "k_norm": 0.0, "p_bound": 0.13333333333333341, "spectral_radius": 0.8, "final_norm": 1.0565890622713481e-29, "max_norm": 1.4142135623730951 }, { "alpha": 0.02, "k_norm": 0.02, "p_bound": -0.6354666666666668, "spectral_radius": 0.801649300970372, "final_norm": 1.8219233824547497e-29, "max_norm": 1.4142135623730951 }, { "alpha": 0.04, "k_norm": 0.04, "p_bound": -1.404266666666667, "spectral_radius": 0.8065504577546787, "final_norm": 1.0420114891435084e-28, "max_norm": 1.4142135623730951 }, { "alpha": 0.06, "k_norm": 0.06, "p_bound": -2.173066666666667, "spectral_radius": 0.8145745476953579, "final_norm": 1.8475206215604878e-27, "max_norm": 1.4142135623730951 }, { "alpha": 0.08, "k_norm": 0.08, "p_bound": -2.9418666666666677, "spectral_radius": 0.8255391176051186, "final_norm": 9.209101600369216e-26, "max_norm": 1.4142135623730951 }, { "alpha": 0.1, "k_norm": 0.1, "p_bound": -3.710666666666668, "spectral_radius": 0.8392422980627348, "final_norm": 1.1541334614623931e-23, "max_norm": 1.4142135623730951 }, { "alpha": 0.12, "k_norm": 0.12, "p_bound": -4.479466666666667, "spectral_radius": 0.8554917690839593, "final_norm": 3.2525258830382746e-21, "max_norm": 1.4142135623730951 }, { "alpha": 0.14, "k_norm": 0.14, "p_bound": -5.248266666666669, "spectral_radius": 0.87412372690822, "final_norm": 1.860520849242335e-18, "max_norm": 1.4142135623730951 }, { "alpha": 0.16, "k_norm": 0.16, "p_bound": -6.017066666666668, "spectral_radius": 0.8950122183001008, "final_norm": 1.9769953251738756e-15, "max_norm": 1.4142135623730951 }, { "alpha": 0.18, "k_norm": 0.18, "p_bound": -6.785866666666668, "spectral_radius": 0.9180716538982685, "final_norm": 3.6253483343021908e-12, "max_norm": 1.4142135623730951 }, { "alpha": 0.2, "k_norm": 0.2, "p_bound": -7.554666666666669, "spectral_radius": 0.9432555107227887, "final_norm": 1.0811089041920402e-08, "max_norm": 1.4142135623730951 }, { "alpha": 0.22, "k_norm": 0.22, "p_bound": -8.32346666666667, "spectral_radius": 0.9705534605066256, "final_norm": 5.0032348248479524e-05, "max_norm": 1.4142135623730951 }, { "alpha": 0.24, "k_norm": 0.24, "p_bound": -9.092266666666669, "spectral_radius": 0.9999882801425695, "final_norm": 0.34662350615209786, "max_norm": 1.4142135623730951 }, { "alpha": 0.26, "k_norm": 0.26, "p_bound": -9.861066666666671, "spectral_radius": 1.0316132450905484, "final_norm": 3499.204499203447, "max_norm": 3499.204499203447 }, { "alpha": 0.28, "k_norm": 0.28, "p_bound": -10.629866666666672, "spectral_radius": 1.0655103091961466, "final_norm": 50479821.19603776, "max_norm": 50479821.19603776 }, { "alpha": 0.3, "k_norm": 0.3, "p_bound": -11.39866666666667, "spectral_radius": 1.1017891683075092, "final_norm": 1026949991968.1223, "max_norm": 1026949991968.1223 }, { "alpha": 0.32, "k_norm": 0.32, "p_bound": -12.167466666666671, "spectral_radius": 1.1405872171760836, "final_norm": 1022751930735.7069, "max_norm": 1022751930735.7069 }, { "alpha": 0.34, "k_norm": 0.34, "p_bound": -12.936266666666672, "spectral_radius": 1.1820703868807123, "final_norm": 1139090862275.4614, "max_norm": 1139090862275.4614 }, { "alpha": 0.36, "k_norm": 0.36, "p_bound": -13.70506666666667, "spectral_radius": 1.2264348620158425, "final_norm": 1168039500970.0354, "max_norm": 1168039500970.0354 }, { "alpha": 0.38, "k_norm": 0.38, "p_bound": -14.473866666666671, "spectral_radius": 1.2739097066303824, "final_norm": 1221874879086.6025, "max_norm": 1221874879086.6025 }, { "alpha": 0.4, "k_norm": 0.4, "p_bound": -15.242666666666672, "spectral_radius": 1.324760468050825, "final_norm": 1097586663991.536, "max_norm": 1097586663991.536 }, { "alpha": 0.42, "k_norm": 0.42, "p_bound": -16.01146666666667, "spectral_radius": 1.3792938762783207, "final_norm": 1043244163538.1604, "max_norm": 1043244163538.1604 }, { "alpha": 0.44, "k_norm": 0.44, "p_bound": -16.780266666666673, "spectral_radius": 1.4378638148579896, "final_norm": 1133196938582.6455, "max_norm": 1133196938582.6455 }, { "alpha": 0.46, "k_norm": 0.46, "p_bound": -17.549066666666672, "spectral_radius": 1.500878810514771, "final_norm": 1316572616607.0125, "max_norm": 1316572616607.0125 }, { "alpha": 0.48, "k_norm": 0.48, "p_bound": -18.31786666666667, "spectral_radius": 1.5688113790963603, "final_norm": 1311172352037.5454, "max_norm": 1311172352037.5454 }, { "alpha": 0.5, "k_norm": 0.5, "p_bound": -19.086666666666673, "spectral_radius": 1.6422096826730574, "final_norm": 1245063819457.3245, "max_norm": 1245063819457.3245 }, { "alpha": 0.52, "k_norm": 0.52, "p_bound": -19.855466666666675, "spectral_radius": 1.7217121087636333, "final_norm": 1262023166046.7493, "max_norm": 1262023166046.7493 }, { "alpha": 0.54, "k_norm": 0.54, "p_bound": -20.624266666666674, "spectral_radius": 1.8080655945506248, "final_norm": 1538581667324.865, "max_norm": 1538581667324.865 }, { "alpha": 0.56, "k_norm": 0.56, "p_bound": -21.393066666666677, "spectral_radius": 1.902148811511148, "final_norm": 1344678141828.2168, "max_norm": 1344678141828.2168 }, { "alpha": 0.58, "k_norm": 0.58, "p_bound": -22.161866666666672, "spectral_radius": 2.005001736282424, "final_norm": 1643135931664.2332, "max_norm": 1643135931664.2332 }, { "alpha": 0.6, "k_norm": 0.6, "p_bound": -22.930666666666674, "spectral_radius": 2.1178637182665456, "final_norm": 1500992790417.443, "max_norm": 1500992790417.443 }, { "alpha": 0.62, "k_norm": 0.62, "p_bound": -23.699466666666673, "spectral_radius": 2.242223000811733, "final_norm": 2156310008587.9019, "max_norm": 2156310008587.9019 }, { "alpha": 0.64, "k_norm": 0.64, "p_bound": -24.468266666666675, "spectral_radius": 2.379881898543583, "final_norm": 2047879410333.5955, "max_norm": 2047879410333.5955 }, { "alpha": 0.66, "k_norm": 0.66, "p_bound": -25.237066666666678, "spectral_radius": 2.533043700282997, "final_norm": 2301651503560.0024, "max_norm": 2301651503560.0024 }, { "alpha": 0.68, "k_norm": 0.68, "p_bound": -26.005866666666677, "spectral_radius": 2.7044302198507846, "final_norm": 1709402932391.0317, "max_norm": 1709402932391.0317 }, { "alpha": 0.7000000000000001, "k_norm": 0.7000000000000001, "p_bound": -26.77466666666668, "spectral_radius": 2.8974433711148633, "final_norm": 1359249491550.684, "max_norm": 1359249491550.684 }, { "alpha": 0.72, "k_norm": 0.72, "p_bound": -27.543466666666674, "spectral_radius": 3.116391264251064, "final_norm": 1846700151598.8413, "max_norm": 1846700151598.8413 }, { "alpha": 0.74, "k_norm": 0.74, "p_bound": -28.312266666666677, "spectral_radius": 3.366811007922659, "final_norm": 1868721827023.2507, "max_norm": 1868721827023.2507 }, { "alpha": 0.76, "k_norm": 0.76, "p_bound": -29.081066666666676, "spectral_radius": 3.6559401618097107, "final_norm": 1470486381185.5312, "max_norm": 1470486381185.5312 }, { "alpha": 0.78, "k_norm": 0.78, "p_bound": -29.849866666666678, "spectral_radius": 3.993423325003735, "final_norm": 3633904184062.9805, "max_norm": 3633904184062.9805 }, { "alpha": 0.8, "k_norm": 0.8, "p_bound": -30.618666666666677, "spectral_radius": 4.3924030680661765, "final_norm": 1940806748395.1223, "max_norm": 1940806748395.1223 }, { "alpha": 0.8200000000000001, "k_norm": 0.8200000000000001, "p_bound": -31.38746666666668, "spectral_radius": 4.871263414077989, "final_norm": 3953938730130.329, "max_norm": 3953938730130.329 }, { "alpha": 0.84, "k_norm": 0.84, "p_bound": -32.156266666666674, "spectral_radius": 5.456531659982822, "final_norm": 1428682698507.3796, "max_norm": 1428682698507.3796 }, { "alpha": 0.86, "k_norm": 0.86, "p_bound": -32.92506666666668, "spectral_radius": 6.187948166673905, "final_norm": 2441678961040.363, "max_norm": 2441678961040.363 }, { "alpha": 0.88, "k_norm": 0.88, "p_bound": -33.69386666666668, "spectral_radius": 7.127862514465109, "final_norm": 4125284901253.7915, "max_norm": 4125284901253.7915 }, { "alpha": 0.9, "k_norm": 0.9, "p_bound": -34.46266666666668, "spectral_radius": 8.37997747345172, "final_norm": 7078884389545.662, "max_norm": 7078884389545.662 }, { "alpha": 0.92, "k_norm": 0.92, "p_bound": -35.23146666666668, "spectral_radius": 10.130446994440014, "final_norm": 1272893990287.0815, "max_norm": 1272893990287.0815 }, { "alpha": 0.9400000000000001, "k_norm": 0.9400000000000001, "p_bound": -36.00026666666668, "spectral_radius": 12.750146559599541, "final_norm": 2116540734926.325, "max_norm": 2116540734926.325 }, { "alpha": 0.96, "k_norm": 0.96, "p_bound": -36.769066666666674, "spectral_radius": 17.09938985546632, "final_norm": 4445626431978.292, "max_norm": 4445626431978.292 }, { "alpha": 0.98, "k_norm": 0.98, "p_bound": -37.53786666666668, "spectral_radius": 25.732826340619248, "final_norm": 16363754776682.969, "max_norm": 16363754776682.969 }, { "alpha": 1.0, "k_norm": 1.0, "p_bound": -38.30666666666668, "spectral_radius": 51.11610492399653, "final_norm": 6305544671924.921, "max_norm": 6305544671924.921 }, { "alpha": 1.02, "k_norm": 1.02, "p_bound": -39.07546666666668, "spectral_radius": 1712.3040946469935, "final_norm": 1220162523495.4905, "max_norm": 1220162523495.4905 }, { "alpha": 1.04, "k_norm": 1.04, "p_bound": -39.844266666666684, "spectral_radius": 55.303803146617085, "final_norm": 12992943876154.646, "max_norm": 12992943876154.646 }, { "alpha": 1.06, "k_norm": 1.06, "p_bound": -40.61306666666668, "spectral_radius": 27.44279311567007, "final_norm": 1367633937721.9639, "max_norm": 1367633937721.9639 }, { "alpha": 1.08, "k_norm": 1.08, "p_bound": -41.38186666666668, "spectral_radius": 18.35085419460942, "final_norm": 12816508695315.162, "max_norm": 12816508695315.162 }, { "alpha": 1.1, "k_norm": 1.1, "p_bound": -42.15066666666668, "spectral_radius": 13.841097419802775, "final_norm": 8281677343415.473, "max_norm": 8281677343415.473 }, { "alpha": 1.12, "k_norm": 1.12, "p_bound": -42.919466666666686, "spectral_radius": 11.147034680819562, "final_norm": 7125827435263.746, "max_norm": 7125827435263.746 }, { "alpha": 1.1400000000000001, "k_norm": 1.1400000000000001, "p_bound": -43.688266666666685, "spectral_radius": 9.356093257702653, "final_norm": 7079829341438.159, "max_norm": 7079829341438.159 }, { "alpha": 1.16, "k_norm": 1.16, "p_bound": -44.45706666666668, "spectral_radius": 8.079493083874027, "final_norm": 7580613742409.002, "max_norm": 7580613742409.002 }, { "alpha": 1.18, "k_norm": 1.18, "p_bound": -45.225866666666676, "spectral_radius": 7.123601333115782, "final_norm": 1183163298149.7422, "max_norm": 1183163298149.7422 }, { "alpha": 1.2, "k_norm": 1.2, "p_bound": -45.99466666666668, "spectral_radius": 6.381142115335018, "final_norm": 1492614184320.2676, "max_norm": 1492614184320.2676 }, { "alpha": 1.22, "k_norm": 1.22, "p_bound": -46.76346666666668, "spectral_radius": 5.787883573442347, "final_norm": 1865908140711.3037, "max_norm": 1865908140711.3037 }, { "alpha": 1.24, "k_norm": 1.24, "p_bound": -47.53226666666668, "spectral_radius": 5.303017047591814, "final_norm": 2298515961472.613, "max_norm": 2298515961472.613 }, { "alpha": 1.26, "k_norm": 1.26, "p_bound": -48.301066666666685, "spectral_radius": 4.8993720969492, "final_norm": 2781083273944.9624, "max_norm": 2781083273944.9624 }, { "alpha": 1.28, "k_norm": 1.28, "p_bound": -49.069866666666684, "spectral_radius": 4.5581584734276985, "final_norm": 3299229807619.082, "max_norm": 3299229807619.082 }, { "alpha": 1.3, "k_norm": 1.3, "p_bound": -49.83866666666668, "spectral_radius": 4.2659665423576385, "final_norm": 3834094723148.7363, "max_norm": 3834094723148.7363 }, { "alpha": 1.32, "k_norm": 1.32, "p_bound": -50.60746666666669, "spectral_radius": 4.012970022928768, "final_norm": 1087359369994.3647, "max_norm": 1087359369994.3647 }, { "alpha": 1.34, "k_norm": 1.34, "p_bound": -51.37626666666669, "spectral_radius": 3.7918040111410294, "final_norm": 1282727076886.237, "max_norm": 1282727076886.237 }, { "alpha": 1.36, "k_norm": 1.36, "p_bound": -52.145066666666686, "spectral_radius": 3.5968397191644335, "final_norm": 1476763253218.8362, "max_norm": 1476763253218.8362 }, { "alpha": 1.3800000000000001, "k_norm": 1.3800000000000001, "p_bound": -52.913866666666685, "spectral_radius": 3.4237013860087613, "final_norm": 1660782191033.0105, "max_norm": 1660782191033.0105 }, { "alpha": 1.4000000000000001, "k_norm": 1.4000000000000001, "p_bound": -53.68266666666669, "spectral_radius": 3.268935992494707, "final_norm": 1826250054291.308, "max_norm": 1826250054291.308 }, { "alpha": 1.42, "k_norm": 1.42, "p_bound": -54.45146666666668, "spectral_radius": 3.129782215882139, "final_norm": 1965504804911.1943, "max_norm": 1965504804911.1943 }, { "alpha": 1.44, "k_norm": 1.44, "p_bound": -55.22026666666668, "spectral_radius": 3.0040054952940625, "final_norm": 2072372675270.423, "max_norm": 2072372675270.423 }, { "alpha": 1.46, "k_norm": 1.46, "p_bound": -55.98906666666668, "spectral_radius": 2.8897781429539915, "final_norm": 2142613018109.3733, "max_norm": 2142613018109.3733 }, { "alpha": 1.48, "k_norm": 1.48, "p_bound": -56.757866666666686, "spectral_radius": 2.785590773106387, "final_norm": 2174152824969.168, "max_norm": 2174152824969.168 }, { "alpha": 1.5, "k_norm": 1.5, "p_bound": -57.526666666666685, "spectral_radius": 2.69018590245959, "final_norm": 2167103967800.7012, "max_norm": 2167103967800.7012 }, { "alpha": 1.52, "k_norm": 1.52, "p_bound": -58.295466666666684, "spectral_radius": 2.6025075064009022, "final_norm": 2123584656120.797, "max_norm": 2123584656120.797 }, { "alpha": 1.54, "k_norm": 1.54, "p_bound": -59.06426666666669, "spectral_radius": 2.5216622300584612, "final_norm": 2047387694245.9058, "max_norm": 2047387694245.9058 }, { "alpha": 1.56, "k_norm": 1.56, "p_bound": -59.83306666666669, "spectral_radius": 2.4468892291000506, "final_norm": 1943549904189.5374, "max_norm": 1943549904189.5374 }, { "alpha": 1.58, "k_norm": 1.58, "p_bound": -60.60186666666669, "spectral_radius": 2.37753648043567, "final_norm": 1817879557616.072, "max_norm": 1817879557616.072 }, { "alpha": 1.6, "k_norm": 1.6, "p_bound": -61.370666666666686, "spectral_radius": 2.3130419994455695, "final_norm": 1676493361340.4272, "max_norm": 1676493361340.4272 }, { "alpha": 1.62, "k_norm": 1.62, "p_bound": -62.13946666666669, "spectral_radius": 2.2529188176884896, "final_norm": 1525403877444.9807, "max_norm": 1525403877444.9807 }, { "alpha": 1.6400000000000001, "k_norm": 1.6400000000000001, "p_bound": -62.90826666666669, "spectral_radius": 2.1967428710951804, "final_norm": 1370184896326.7837, "max_norm": 1370184896326.7837 }, { "alpha": 1.6600000000000001, "k_norm": 1.6600000000000001, "p_bound": -63.67706666666669, "spectral_radius": 2.1441431613576305, "final_norm": 1215728630312.6343, "max_norm": 1215728630312.6343 }, { "alpha": 1.68, "k_norm": 1.68, "p_bound": -64.44586666666667, "spectral_radius": 2.094793707864564, "final_norm": 1066096494705.9989, "max_norm": 1066096494705.9989 }, { "alpha": 1.7, "k_norm": 1.7, "p_bound": -65.21466666666667, "spectral_radius": 2.048406921202322, "final_norm": 1893661715145.6455, "max_norm": 1893661715145.6455 }, { "alpha": 1.72, "k_norm": 1.72, "p_bound": -65.98346666666669, "spectral_radius": 2.004728113653805, "final_norm": 1589927065634.3, "max_norm": 1589927065634.3 }, { "alpha": 1.74, "k_norm": 1.74, "p_bound": -66.75226666666669, "spectral_radius": 1.9635309254200464, "final_norm": 1322350048138.8608, "max_norm": 1322350048138.8608 }, { "alpha": 1.76, "k_norm": 1.76, "p_bound": -67.52106666666668, "spectral_radius": 1.924613493172667, "final_norm": 1089898507678.5579, "max_norm": 1089898507678.5579 }, { "alpha": 1.78, "k_norm": 1.78, "p_bound": -68.28986666666668, "spectral_radius": 1.8877952240789462, "final_norm": 1681198513010.096, "max_norm": 1681198513010.096 }, { "alpha": 1.8, "k_norm": 1.8, "p_bound": -69.05866666666668, "spectral_radius": 1.8529140665372057, "final_norm": 1337200025111.1042, "max_norm": 1337200025111.1042 }, { "alpha": 1.82, "k_norm": 1.82, "p_bound": -69.82746666666668, "spectral_radius": 1.8198241906296815, "final_norm": 1055843966201.964, "max_norm": 1055843966201.964 }, { "alpha": 1.84, "k_norm": 1.84, "p_bound": -70.59626666666668, "spectral_radius": 1.7883940082871865, "final_norm": 1480555221857.8625, "max_norm": 1480555221857.8625 }, { "alpha": 1.86, "k_norm": 1.86, "p_bound": -71.36506666666669, "spectral_radius": 1.7585044765042581, "final_norm": 1133839692738.5554, "max_norm": 1133839692738.5554 }, { "alpha": 1.8800000000000001, "k_norm": 1.8800000000000001, "p_bound": -72.13386666666669, "spectral_radius": 1.7300476374927873, "final_norm": 1493405460429.1013, "max_norm": 1493405460429.1013 }, { "alpha": 1.9000000000000001, "k_norm": 1.9000000000000001, "p_bound": -72.90266666666669, "spectral_radius": 1.7029253580521173, "final_norm": 1112831535838.2654, "max_norm": 1112831535838.2654 }, { "alpha": 1.92, "k_norm": 1.92, "p_bound": -73.67146666666667, "spectral_radius": 1.6770482371444206, "final_norm": 1383841218776.3755, "max_norm": 1383841218776.3755 }, { "alpha": 1.94, "k_norm": 1.94, "p_bound": -74.44026666666669, "spectral_radius": 1.6523346560611039, "final_norm": 1006229099235.2789, "max_norm": 1006229099235.2789 }, { "alpha": 1.96, "k_norm": 1.96, "p_bound": -75.20906666666669, "spectral_radius": 1.6287099499287825, "final_norm": 1186794455415.336, "max_norm": 1186794455415.336 }, { "alpha": 1.98, "k_norm": 1.98, "p_bound": -75.97786666666669, "spectral_radius": 1.606105682847619, "final_norm": 1355849777821.0383, "max_norm": 1355849777821.0383 }, { "alpha": 2.0, "k_norm": 2.0, "p_bound": -76.74666666666668, "spectral_radius": 1.584459011847654, "final_norm": 1502465858733.1025, "max_norm": 1502465858733.1025 } ], "constrained": [ { "requested": 0.0, "applied": 0.0, "p_bound": 0.13333333333333341, "spectral_radius": 0.8, "final_norm": 1.0565890622713481e-29 }, { "requested": 0.02, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.04, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.06, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.08, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.1, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.12, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.14, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.16, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.18, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.2, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.22, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.24, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.26, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.28, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.3, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.32, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.34, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.36, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.38, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.4, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.42, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.44, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.46, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.48, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.5, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.52, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.54, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.56, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.58, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.6, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.62, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.64, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.66, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.68, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.7000000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.72, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.74, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.76, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.78, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.8, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.8200000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.84, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.86, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.88, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.9, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.92, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.9400000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.96, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 0.98, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.0, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.02, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.04, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.06, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.08, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.1, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.12, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.1400000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.16, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.18, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.2, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.22, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.24, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.26, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.28, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.3, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.32, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.34, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.36, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.3800000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.4000000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.42, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.44, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.46, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.48, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.5, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.52, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.54, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.56, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.58, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.6, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.62, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.6400000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.6600000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.68, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.7, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.72, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.74, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.76, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.78, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.8, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.82, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.84, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.86, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.8800000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.9000000000000001, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.92, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.94, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.96, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 1.98, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 }, { "requested": 2.0, "applied": 0.003433922996878253, "p_bound": 0.0013333333333333253, "spectral_radius": 0.8000487360179158, "final_norm": 1.063625837742131e-29 } ], "interpretation": "Certificate scaling and projection verified; certificate is conservative if dynamical boundary differs." }