Davis–Wielandt Shell Constraint for Heterogeneous SSMs / results.json

Mechanism failed

Raw ⬇ ZIP
   1{
   2  "seed": 7,
   3  "module_indices": [
   4    [
   5      0.6444444444444444,
   6      6.200000000000001
   7    ],
   8    [
   9      0.13333333333333341,
  10      2.8
  11    ]
  12  ],
  13  "p_blocks": 0.13333333333333341,
  14  "g_blocks": 6.200000000000001,
  15  "predicted_certificate_boundary": 0.003468609087755811,
  16  "shell_identity_max_abs_error": 2.6645352591003757e-15,
  17  "certificate_slope_fit": -38.44000000000002,
  18  "expected_slope": -38.44000000000001,
  19  "slope_relative_error": 1.8484462428722684e-16,
  20  "observed_certificate_grid_nearest_zero": 0.0,
  21  "projected_epsilon": 0.0013333333333333342,
  22  "projected_min_margin": 0.0013333333333333253,
  23  "projected_max_spectral_radius": 0.8000487360179158,
  24  "observed_dynamical_instability_boundary": 0.26,
  25  "interpolated_certificate_crossing": 0.003468609087755811,
  26  "interpolated_dynamical_crossing": 0.24000741177575993,
  27  "rows": [
  28    {
  29      "alpha": 0.0,
  30      "k_norm": 0.0,
  31      "p_bound": 0.13333333333333341,
  32      "spectral_radius": 0.8,
  33      "final_norm": 1.0565890622713481e-29,
  34      "max_norm": 1.4142135623730951
  35    },
  36    {
  37      "alpha": 0.02,
  38      "k_norm": 0.02,
  39      "p_bound": -0.6354666666666668,
  40      "spectral_radius": 0.801649300970372,
  41      "final_norm": 1.8219233824547497e-29,
  42      "max_norm": 1.4142135623730951
  43    },
  44    {
  45      "alpha": 0.04,
  46      "k_norm": 0.04,
  47      "p_bound": -1.404266666666667,
  48      "spectral_radius": 0.8065504577546787,
  49      "final_norm": 1.0420114891435084e-28,
  50      "max_norm": 1.4142135623730951
  51    },
  52    {
  53      "alpha": 0.06,
  54      "k_norm": 0.06,
  55      "p_bound": -2.173066666666667,
  56      "spectral_radius": 0.8145745476953579,
  57      "final_norm": 1.8475206215604878e-27,
  58      "max_norm": 1.4142135623730951
  59    },
  60    {
  61      "alpha": 0.08,
  62      "k_norm": 0.08,
  63      "p_bound": -2.9418666666666677,
  64      "spectral_radius": 0.8255391176051186,
  65      "final_norm": 9.209101600369216e-26,
  66      "max_norm": 1.4142135623730951
  67    },
  68    {
  69      "alpha": 0.1,
  70      "k_norm": 0.1,
  71      "p_bound": -3.710666666666668,
  72      "spectral_radius": 0.8392422980627348,
  73      "final_norm": 1.1541334614623931e-23,
  74      "max_norm": 1.4142135623730951
  75    },
  76    {
  77      "alpha": 0.12,
  78      "k_norm": 0.12,
  79      "p_bound": -4.479466666666667,
  80      "spectral_radius": 0.8554917690839593,
  81      "final_norm": 3.2525258830382746e-21,
  82      "max_norm": 1.4142135623730951
  83    },
  84    {
  85      "alpha": 0.14,
  86      "k_norm": 0.14,
  87      "p_bound": -5.248266666666669,
  88      "spectral_radius": 0.87412372690822,
  89      "final_norm": 1.860520849242335e-18,
  90      "max_norm": 1.4142135623730951
  91    },
  92    {
  93      "alpha": 0.16,
  94      "k_norm": 0.16,
  95      "p_bound": -6.017066666666668,
  96      "spectral_radius": 0.8950122183001008,
  97      "final_norm": 1.9769953251738756e-15,
  98      "max_norm": 1.4142135623730951
  99    },
 100    {
 101      "alpha": 0.18,
 102      "k_norm": 0.18,
 103      "p_bound": -6.785866666666668,
 104      "spectral_radius": 0.9180716538982685,
 105      "final_norm": 3.6253483343021908e-12,
 106      "max_norm": 1.4142135623730951
 107    },
 108    {
 109      "alpha": 0.2,
 110      "k_norm": 0.2,
 111      "p_bound": -7.554666666666669,
 112      "spectral_radius": 0.9432555107227887,
 113      "final_norm": 1.0811089041920402e-08,
 114      "max_norm": 1.4142135623730951
 115    },
 116    {
 117      "alpha": 0.22,
 118      "k_norm": 0.22,
 119      "p_bound": -8.32346666666667,
 120      "spectral_radius": 0.9705534605066256,
 121      "final_norm": 5.0032348248479524e-05,
 122      "max_norm": 1.4142135623730951
 123    },
 124    {
 125      "alpha": 0.24,
 126      "k_norm": 0.24,
 127      "p_bound": -9.092266666666669,
 128      "spectral_radius": 0.9999882801425695,
 129      "final_norm": 0.34662350615209786,
 130      "max_norm": 1.4142135623730951
 131    },
 132    {
 133      "alpha": 0.26,
 134      "k_norm": 0.26,
 135      "p_bound": -9.861066666666671,
 136      "spectral_radius": 1.0316132450905484,
 137      "final_norm": 3499.204499203447,
 138      "max_norm": 3499.204499203447
 139    },
 140    {
 141      "alpha": 0.28,
 142      "k_norm": 0.28,
 143      "p_bound": -10.629866666666672,
 144      "spectral_radius": 1.0655103091961466,
 145      "final_norm": 50479821.19603776,
 146      "max_norm": 50479821.19603776
 147    },
 148    {
 149      "alpha": 0.3,
 150      "k_norm": 0.3,
 151      "p_bound": -11.39866666666667,
 152      "spectral_radius": 1.1017891683075092,
 153      "final_norm": 1026949991968.1223,
 154      "max_norm": 1026949991968.1223
 155    },
 156    {
 157      "alpha": 0.32,
 158      "k_norm": 0.32,
 159      "p_bound": -12.167466666666671,
 160      "spectral_radius": 1.1405872171760836,
 161      "final_norm": 1022751930735.7069,
 162      "max_norm": 1022751930735.7069
 163    },
 164    {
 165      "alpha": 0.34,
 166      "k_norm": 0.34,
 167      "p_bound": -12.936266666666672,
 168      "spectral_radius": 1.1820703868807123,
 169      "final_norm": 1139090862275.4614,
 170      "max_norm": 1139090862275.4614
 171    },
 172    {
 173      "alpha": 0.36,
 174      "k_norm": 0.36,
 175      "p_bound": -13.70506666666667,
 176      "spectral_radius": 1.2264348620158425,
 177      "final_norm": 1168039500970.0354,
 178      "max_norm": 1168039500970.0354
 179    },
 180    {
 181      "alpha": 0.38,
 182      "k_norm": 0.38,
 183      "p_bound": -14.473866666666671,
 184      "spectral_radius": 1.2739097066303824,
 185      "final_norm": 1221874879086.6025,
 186      "max_norm": 1221874879086.6025
 187    },
 188    {
 189      "alpha": 0.4,
 190      "k_norm": 0.4,
 191      "p_bound": -15.242666666666672,
 192      "spectral_radius": 1.324760468050825,
 193      "final_norm": 1097586663991.536,
 194      "max_norm": 1097586663991.536
 195    },
 196    {
 197      "alpha": 0.42,
 198      "k_norm": 0.42,
 199      "p_bound": -16.01146666666667,
 200      "spectral_radius": 1.3792938762783207,
 201      "final_norm": 1043244163538.1604,
 202      "max_norm": 1043244163538.1604
 203    },
 204    {
 205      "alpha": 0.44,
 206      "k_norm": 0.44,
 207      "p_bound": -16.780266666666673,
 208      "spectral_radius": 1.4378638148579896,
 209      "final_norm": 1133196938582.6455,
 210      "max_norm": 1133196938582.6455
 211    },
 212    {
 213      "alpha": 0.46,
 214      "k_norm": 0.46,
 215      "p_bound": -17.549066666666672,
 216      "spectral_radius": 1.500878810514771,
 217      "final_norm": 1316572616607.0125,
 218      "max_norm": 1316572616607.0125
 219    },
 220    {
 221      "alpha": 0.48,
 222      "k_norm": 0.48,
 223      "p_bound": -18.31786666666667,
 224      "spectral_radius": 1.5688113790963603,
 225      "final_norm": 1311172352037.5454,
 226      "max_norm": 1311172352037.5454
 227    },
 228    {
 229      "alpha": 0.5,
 230      "k_norm": 0.5,
 231      "p_bound": -19.086666666666673,
 232      "spectral_radius": 1.6422096826730574,
 233      "final_norm": 1245063819457.3245,
 234      "max_norm": 1245063819457.3245
 235    },
 236    {
 237      "alpha": 0.52,
 238      "k_norm": 0.52,
 239      "p_bound": -19.855466666666675,
 240      "spectral_radius": 1.7217121087636333,
 241      "final_norm": 1262023166046.7493,
 242      "max_norm": 1262023166046.7493
 243    },
 244    {
 245      "alpha": 0.54,
 246      "k_norm": 0.54,
 247      "p_bound": -20.624266666666674,
 248      "spectral_radius": 1.8080655945506248,
 249      "final_norm": 1538581667324.865,
 250      "max_norm": 1538581667324.865
 251    },
 252    {
 253      "alpha": 0.56,
 254      "k_norm": 0.56,
 255      "p_bound": -21.393066666666677,
 256      "spectral_radius": 1.902148811511148,
 257      "final_norm": 1344678141828.2168,
 258      "max_norm": 1344678141828.2168
 259    },
 260    {
 261      "alpha": 0.58,
 262      "k_norm": 0.58,
 263      "p_bound": -22.161866666666672,
 264      "spectral_radius": 2.005001736282424,
 265      "final_norm": 1643135931664.2332,
 266      "max_norm": 1643135931664.2332
 267    },
 268    {
 269      "alpha": 0.6,
 270      "k_norm": 0.6,
 271      "p_bound": -22.930666666666674,
 272      "spectral_radius": 2.1178637182665456,
 273      "final_norm": 1500992790417.443,
 274      "max_norm": 1500992790417.443
 275    },
 276    {
 277      "alpha": 0.62,
 278      "k_norm": 0.62,
 279      "p_bound": -23.699466666666673,
 280      "spectral_radius": 2.242223000811733,
 281      "final_norm": 2156310008587.9019,
 282      "max_norm": 2156310008587.9019
 283    },
 284    {
 285      "alpha": 0.64,
 286      "k_norm": 0.64,
 287      "p_bound": -24.468266666666675,
 288      "spectral_radius": 2.379881898543583,
 289      "final_norm": 2047879410333.5955,
 290      "max_norm": 2047879410333.5955
 291    },
 292    {
 293      "alpha": 0.66,
 294      "k_norm": 0.66,
 295      "p_bound": -25.237066666666678,
 296      "spectral_radius": 2.533043700282997,
 297      "final_norm": 2301651503560.0024,
 298      "max_norm": 2301651503560.0024
 299    },
 300    {
 301      "alpha": 0.68,
 302      "k_norm": 0.68,
 303      "p_bound": -26.005866666666677,
 304      "spectral_radius": 2.7044302198507846,
 305      "final_norm": 1709402932391.0317,
 306      "max_norm": 1709402932391.0317
 307    },
 308    {
 309      "alpha": 0.7000000000000001,
 310      "k_norm": 0.7000000000000001,
 311      "p_bound": -26.77466666666668,
 312      "spectral_radius": 2.8974433711148633,
 313      "final_norm": 1359249491550.684,
 314      "max_norm": 1359249491550.684
 315    },
 316    {
 317      "alpha": 0.72,
 318      "k_norm": 0.72,
 319      "p_bound": -27.543466666666674,
 320      "spectral_radius": 3.116391264251064,
 321      "final_norm": 1846700151598.8413,
 322      "max_norm": 1846700151598.8413
 323    },
 324    {
 325      "alpha": 0.74,
 326      "k_norm": 0.74,
 327      "p_bound": -28.312266666666677,
 328      "spectral_radius": 3.366811007922659,
 329      "final_norm": 1868721827023.2507,
 330      "max_norm": 1868721827023.2507
 331    },
 332    {
 333      "alpha": 0.76,
 334      "k_norm": 0.76,
 335      "p_bound": -29.081066666666676,
 336      "spectral_radius": 3.6559401618097107,
 337      "final_norm": 1470486381185.5312,
 338      "max_norm": 1470486381185.5312
 339    },
 340    {
 341      "alpha": 0.78,
 342      "k_norm": 0.78,
 343      "p_bound": -29.849866666666678,
 344      "spectral_radius": 3.993423325003735,
 345      "final_norm": 3633904184062.9805,
 346      "max_norm": 3633904184062.9805
 347    },
 348    {
 349      "alpha": 0.8,
 350      "k_norm": 0.8,
 351      "p_bound": -30.618666666666677,
 352      "spectral_radius": 4.3924030680661765,
 353      "final_norm": 1940806748395.1223,
 354      "max_norm": 1940806748395.1223
 355    },
 356    {
 357      "alpha": 0.8200000000000001,
 358      "k_norm": 0.8200000000000001,
 359      "p_bound": -31.38746666666668,
 360      "spectral_radius": 4.871263414077989,
 361      "final_norm": 3953938730130.329,
 362      "max_norm": 3953938730130.329
 363    },
 364    {
 365      "alpha": 0.84,
 366      "k_norm": 0.84,
 367      "p_bound": -32.156266666666674,
 368      "spectral_radius": 5.456531659982822,
 369      "final_norm": 1428682698507.3796,
 370      "max_norm": 1428682698507.3796
 371    },
 372    {
 373      "alpha": 0.86,
 374      "k_norm": 0.86,
 375      "p_bound": -32.92506666666668,
 376      "spectral_radius": 6.187948166673905,
 377      "final_norm": 2441678961040.363,
 378      "max_norm": 2441678961040.363
 379    },
 380    {
 381      "alpha": 0.88,
 382      "k_norm": 0.88,
 383      "p_bound": -33.69386666666668,
 384      "spectral_radius": 7.127862514465109,
 385      "final_norm": 4125284901253.7915,
 386      "max_norm": 4125284901253.7915
 387    },
 388    {
 389      "alpha": 0.9,
 390      "k_norm": 0.9,
 391      "p_bound": -34.46266666666668,
 392      "spectral_radius": 8.37997747345172,
 393      "final_norm": 7078884389545.662,
 394      "max_norm": 7078884389545.662
 395    },
 396    {
 397      "alpha": 0.92,
 398      "k_norm": 0.92,
 399      "p_bound": -35.23146666666668,
 400      "spectral_radius": 10.130446994440014,
 401      "final_norm": 1272893990287.0815,
 402      "max_norm": 1272893990287.0815
 403    },
 404    {
 405      "alpha": 0.9400000000000001,
 406      "k_norm": 0.9400000000000001,
 407      "p_bound": -36.00026666666668,
 408      "spectral_radius": 12.750146559599541,
 409      "final_norm": 2116540734926.325,
 410      "max_norm": 2116540734926.325
 411    },
 412    {
 413      "alpha": 0.96,
 414      "k_norm": 0.96,
 415      "p_bound": -36.769066666666674,
 416      "spectral_radius": 17.09938985546632,
 417      "final_norm": 4445626431978.292,
 418      "max_norm": 4445626431978.292
 419    },
 420    {
 421      "alpha": 0.98,
 422      "k_norm": 0.98,
 423      "p_bound": -37.53786666666668,
 424      "spectral_radius": 25.732826340619248,
 425      "final_norm": 16363754776682.969,
 426      "max_norm": 16363754776682.969
 427    },
 428    {
 429      "alpha": 1.0,
 430      "k_norm": 1.0,
 431      "p_bound": -38.30666666666668,
 432      "spectral_radius": 51.11610492399653,
 433      "final_norm": 6305544671924.921,
 434      "max_norm": 6305544671924.921
 435    },
 436    {
 437      "alpha": 1.02,
 438      "k_norm": 1.02,
 439      "p_bound": -39.07546666666668,
 440      "spectral_radius": 1712.3040946469935,
 441      "final_norm": 1220162523495.4905,
 442      "max_norm": 1220162523495.4905
 443    },
 444    {
 445      "alpha": 1.04,
 446      "k_norm": 1.04,
 447      "p_bound": -39.844266666666684,
 448      "spectral_radius": 55.303803146617085,
 449      "final_norm": 12992943876154.646,
 450      "max_norm": 12992943876154.646
 451    },
 452    {
 453      "alpha": 1.06,
 454      "k_norm": 1.06,
 455      "p_bound": -40.61306666666668,
 456      "spectral_radius": 27.44279311567007,
 457      "final_norm": 1367633937721.9639,
 458      "max_norm": 1367633937721.9639
 459    },
 460    {
 461      "alpha": 1.08,
 462      "k_norm": 1.08,
 463      "p_bound": -41.38186666666668,
 464      "spectral_radius": 18.35085419460942,
 465      "final_norm": 12816508695315.162,
 466      "max_norm": 12816508695315.162
 467    },
 468    {
 469      "alpha": 1.1,
 470      "k_norm": 1.1,
 471      "p_bound": -42.15066666666668,
 472      "spectral_radius": 13.841097419802775,
 473      "final_norm": 8281677343415.473,
 474      "max_norm": 8281677343415.473
 475    },
 476    {
 477      "alpha": 1.12,
 478      "k_norm": 1.12,
 479      "p_bound": -42.919466666666686,
 480      "spectral_radius": 11.147034680819562,
 481      "final_norm": 7125827435263.746,
 482      "max_norm": 7125827435263.746
 483    },
 484    {
 485      "alpha": 1.1400000000000001,
 486      "k_norm": 1.1400000000000001,
 487      "p_bound": -43.688266666666685,
 488      "spectral_radius": 9.356093257702653,
 489      "final_norm": 7079829341438.159,
 490      "max_norm": 7079829341438.159
 491    },
 492    {
 493      "alpha": 1.16,
 494      "k_norm": 1.16,
 495      "p_bound": -44.45706666666668,
 496      "spectral_radius": 8.079493083874027,
 497      "final_norm": 7580613742409.002,
 498      "max_norm": 7580613742409.002
 499    },
 500    {
 501      "alpha": 1.18,
 502      "k_norm": 1.18,
 503      "p_bound": -45.225866666666676,
 504      "spectral_radius": 7.123601333115782,
 505      "final_norm": 1183163298149.7422,
 506      "max_norm": 1183163298149.7422
 507    },
 508    {
 509      "alpha": 1.2,
 510      "k_norm": 1.2,
 511      "p_bound": -45.99466666666668,
 512      "spectral_radius": 6.381142115335018,
 513      "final_norm": 1492614184320.2676,
 514      "max_norm": 1492614184320.2676
 515    },
 516    {
 517      "alpha": 1.22,
 518      "k_norm": 1.22,
 519      "p_bound": -46.76346666666668,
 520      "spectral_radius": 5.787883573442347,
 521      "final_norm": 1865908140711.3037,
 522      "max_norm": 1865908140711.3037
 523    },
 524    {
 525      "alpha": 1.24,
 526      "k_norm": 1.24,
 527      "p_bound": -47.53226666666668,
 528      "spectral_radius": 5.303017047591814,
 529      "final_norm": 2298515961472.613,
 530      "max_norm": 2298515961472.613
 531    },
 532    {
 533      "alpha": 1.26,
 534      "k_norm": 1.26,
 535      "p_bound": -48.301066666666685,
 536      "spectral_radius": 4.8993720969492,
 537      "final_norm": 2781083273944.9624,
 538      "max_norm": 2781083273944.9624
 539    },
 540    {
 541      "alpha": 1.28,
 542      "k_norm": 1.28,
 543      "p_bound": -49.069866666666684,
 544      "spectral_radius": 4.5581584734276985,
 545      "final_norm": 3299229807619.082,
 546      "max_norm": 3299229807619.082
 547    },
 548    {
 549      "alpha": 1.3,
 550      "k_norm": 1.3,
 551      "p_bound": -49.83866666666668,
 552      "spectral_radius": 4.2659665423576385,
 553      "final_norm": 3834094723148.7363,
 554      "max_norm": 3834094723148.7363
 555    },
 556    {
 557      "alpha": 1.32,
 558      "k_norm": 1.32,
 559      "p_bound": -50.60746666666669,
 560      "spectral_radius": 4.012970022928768,
 561      "final_norm": 1087359369994.3647,
 562      "max_norm": 1087359369994.3647
 563    },
 564    {
 565      "alpha": 1.34,
 566      "k_norm": 1.34,
 567      "p_bound": -51.37626666666669,
 568      "spectral_radius": 3.7918040111410294,
 569      "final_norm": 1282727076886.237,
 570      "max_norm": 1282727076886.237
 571    },
 572    {
 573      "alpha": 1.36,
 574      "k_norm": 1.36,
 575      "p_bound": -52.145066666666686,
 576      "spectral_radius": 3.5968397191644335,
 577      "final_norm": 1476763253218.8362,
 578      "max_norm": 1476763253218.8362
 579    },
 580    {
 581      "alpha": 1.3800000000000001,
 582      "k_norm": 1.3800000000000001,
 583      "p_bound": -52.913866666666685,
 584      "spectral_radius": 3.4237013860087613,
 585      "final_norm": 1660782191033.0105,
 586      "max_norm": 1660782191033.0105
 587    },
 588    {
 589      "alpha": 1.4000000000000001,
 590      "k_norm": 1.4000000000000001,
 591      "p_bound": -53.68266666666669,
 592      "spectral_radius": 3.268935992494707,
 593      "final_norm": 1826250054291.308,
 594      "max_norm": 1826250054291.308
 595    },
 596    {
 597      "alpha": 1.42,
 598      "k_norm": 1.42,
 599      "p_bound": -54.45146666666668,
 600      "spectral_radius": 3.129782215882139,
 601      "final_norm": 1965504804911.1943,
 602      "max_norm": 1965504804911.1943
 603    },
 604    {
 605      "alpha": 1.44,
 606      "k_norm": 1.44,
 607      "p_bound": -55.22026666666668,
 608      "spectral_radius": 3.0040054952940625,
 609      "final_norm": 2072372675270.423,
 610      "max_norm": 2072372675270.423
 611    },
 612    {
 613      "alpha": 1.46,
 614      "k_norm": 1.46,
 615      "p_bound": -55.98906666666668,
 616      "spectral_radius": 2.8897781429539915,
 617      "final_norm": 2142613018109.3733,
 618      "max_norm": 2142613018109.3733
 619    },
 620    {
 621      "alpha": 1.48,
 622      "k_norm": 1.48,
 623      "p_bound": -56.757866666666686,
 624      "spectral_radius": 2.785590773106387,
 625      "final_norm": 2174152824969.168,
 626      "max_norm": 2174152824969.168
 627    },
 628    {
 629      "alpha": 1.5,
 630      "k_norm": 1.5,
 631      "p_bound": -57.526666666666685,
 632      "spectral_radius": 2.69018590245959,
 633      "final_norm": 2167103967800.7012,
 634      "max_norm": 2167103967800.7012
 635    },
 636    {
 637      "alpha": 1.52,
 638      "k_norm": 1.52,
 639      "p_bound": -58.295466666666684,
 640      "spectral_radius": 2.6025075064009022,
 641      "final_norm": 2123584656120.797,
 642      "max_norm": 2123584656120.797
 643    },
 644    {
 645      "alpha": 1.54,
 646      "k_norm": 1.54,
 647      "p_bound": -59.06426666666669,
 648      "spectral_radius": 2.5216622300584612,
 649      "final_norm": 2047387694245.9058,
 650      "max_norm": 2047387694245.9058
 651    },
 652    {
 653      "alpha": 1.56,
 654      "k_norm": 1.56,
 655      "p_bound": -59.83306666666669,
 656      "spectral_radius": 2.4468892291000506,
 657      "final_norm": 1943549904189.5374,
 658      "max_norm": 1943549904189.5374
 659    },
 660    {
 661      "alpha": 1.58,
 662      "k_norm": 1.58,
 663      "p_bound": -60.60186666666669,
 664      "spectral_radius": 2.37753648043567,
 665      "final_norm": 1817879557616.072,
 666      "max_norm": 1817879557616.072
 667    },
 668    {
 669      "alpha": 1.6,
 670      "k_norm": 1.6,
 671      "p_bound": -61.370666666666686,
 672      "spectral_radius": 2.3130419994455695,
 673      "final_norm": 1676493361340.4272,
 674      "max_norm": 1676493361340.4272
 675    },
 676    {
 677      "alpha": 1.62,
 678      "k_norm": 1.62,
 679      "p_bound": -62.13946666666669,
 680      "spectral_radius": 2.2529188176884896,
 681      "final_norm": 1525403877444.9807,
 682      "max_norm": 1525403877444.9807
 683    },
 684    {
 685      "alpha": 1.6400000000000001,
 686      "k_norm": 1.6400000000000001,
 687      "p_bound": -62.90826666666669,
 688      "spectral_radius": 2.1967428710951804,
 689      "final_norm": 1370184896326.7837,
 690      "max_norm": 1370184896326.7837
 691    },
 692    {
 693      "alpha": 1.6600000000000001,
 694      "k_norm": 1.6600000000000001,
 695      "p_bound": -63.67706666666669,
 696      "spectral_radius": 2.1441431613576305,
 697      "final_norm": 1215728630312.6343,
 698      "max_norm": 1215728630312.6343
 699    },
 700    {
 701      "alpha": 1.68,
 702      "k_norm": 1.68,
 703      "p_bound": -64.44586666666667,
 704      "spectral_radius": 2.094793707864564,
 705      "final_norm": 1066096494705.9989,
 706      "max_norm": 1066096494705.9989
 707    },
 708    {
 709      "alpha": 1.7,
 710      "k_norm": 1.7,
 711      "p_bound": -65.21466666666667,
 712      "spectral_radius": 2.048406921202322,
 713      "final_norm": 1893661715145.6455,
 714      "max_norm": 1893661715145.6455
 715    },
 716    {
 717      "alpha": 1.72,
 718      "k_norm": 1.72,
 719      "p_bound": -65.98346666666669,
 720      "spectral_radius": 2.004728113653805,
 721      "final_norm": 1589927065634.3,
 722      "max_norm": 1589927065634.3
 723    },
 724    {
 725      "alpha": 1.74,
 726      "k_norm": 1.74,
 727      "p_bound": -66.75226666666669,
 728      "spectral_radius": 1.9635309254200464,
 729      "final_norm": 1322350048138.8608,
 730      "max_norm": 1322350048138.8608
 731    },
 732    {
 733      "alpha": 1.76,
 734      "k_norm": 1.76,
 735      "p_bound": -67.52106666666668,
 736      "spectral_radius": 1.924613493172667,
 737      "final_norm": 1089898507678.5579,
 738      "max_norm": 1089898507678.5579
 739    },
 740    {
 741      "alpha": 1.78,
 742      "k_norm": 1.78,
 743      "p_bound": -68.28986666666668,
 744      "spectral_radius": 1.8877952240789462,
 745      "final_norm": 1681198513010.096,
 746      "max_norm": 1681198513010.096
 747    },
 748    {
 749      "alpha": 1.8,
 750      "k_norm": 1.8,
 751      "p_bound": -69.05866666666668,
 752      "spectral_radius": 1.8529140665372057,
 753      "final_norm": 1337200025111.1042,
 754      "max_norm": 1337200025111.1042
 755    },
 756    {
 757      "alpha": 1.82,
 758      "k_norm": 1.82,
 759      "p_bound": -69.82746666666668,
 760      "spectral_radius": 1.8198241906296815,
 761      "final_norm": 1055843966201.964,
 762      "max_norm": 1055843966201.964
 763    },
 764    {
 765      "alpha": 1.84,
 766      "k_norm": 1.84,
 767      "p_bound": -70.59626666666668,
 768      "spectral_radius": 1.7883940082871865,
 769      "final_norm": 1480555221857.8625,
 770      "max_norm": 1480555221857.8625
 771    },
 772    {
 773      "alpha": 1.86,
 774      "k_norm": 1.86,
 775      "p_bound": -71.36506666666669,
 776      "spectral_radius": 1.7585044765042581,
 777      "final_norm": 1133839692738.5554,
 778      "max_norm": 1133839692738.5554
 779    },
 780    {
 781      "alpha": 1.8800000000000001,
 782      "k_norm": 1.8800000000000001,
 783      "p_bound": -72.13386666666669,
 784      "spectral_radius": 1.7300476374927873,
 785      "final_norm": 1493405460429.1013,
 786      "max_norm": 1493405460429.1013
 787    },
 788    {
 789      "alpha": 1.9000000000000001,
 790      "k_norm": 1.9000000000000001,
 791      "p_bound": -72.90266666666669,
 792      "spectral_radius": 1.7029253580521173,
 793      "final_norm": 1112831535838.2654,
 794      "max_norm": 1112831535838.2654
 795    },
 796    {
 797      "alpha": 1.92,
 798      "k_norm": 1.92,
 799      "p_bound": -73.67146666666667,
 800      "spectral_radius": 1.6770482371444206,
 801      "final_norm": 1383841218776.3755,
 802      "max_norm": 1383841218776.3755
 803    },
 804    {
 805      "alpha": 1.94,
 806      "k_norm": 1.94,
 807      "p_bound": -74.44026666666669,
 808      "spectral_radius": 1.6523346560611039,
 809      "final_norm": 1006229099235.2789,
 810      "max_norm": 1006229099235.2789
 811    },
 812    {
 813      "alpha": 1.96,
 814      "k_norm": 1.96,
 815      "p_bound": -75.20906666666669,
 816      "spectral_radius": 1.6287099499287825,
 817      "final_norm": 1186794455415.336,
 818      "max_norm": 1186794455415.336
 819    },
 820    {
 821      "alpha": 1.98,
 822      "k_norm": 1.98,
 823      "p_bound": -75.97786666666669,
 824      "spectral_radius": 1.606105682847619,
 825      "final_norm": 1355849777821.0383,
 826      "max_norm": 1355849777821.0383
 827    },
 828    {
 829      "alpha": 2.0,
 830      "k_norm": 2.0,
 831      "p_bound": -76.74666666666668,
 832      "spectral_radius": 1.584459011847654,
 833      "final_norm": 1502465858733.1025,
 834      "max_norm": 1502465858733.1025
 835    }
 836  ],
 837  "constrained": [
 838    {
 839      "requested": 0.0,
 840      "applied": 0.0,
 841      "p_bound": 0.13333333333333341,
 842      "spectral_radius": 0.8,
 843      "final_norm": 1.0565890622713481e-29
 844    },
 845    {
 846      "requested": 0.02,
 847      "applied": 0.003433922996878253,
 848      "p_bound": 0.0013333333333333253,
 849      "spectral_radius": 0.8000487360179158,
 850      "final_norm": 1.063625837742131e-29
 851    },
 852    {
 853      "requested": 0.04,
 854      "applied": 0.003433922996878253,
 855      "p_bound": 0.0013333333333333253,
 856      "spectral_radius": 0.8000487360179158,
 857      "final_norm": 1.063625837742131e-29
 858    },
 859    {
 860      "requested": 0.06,
 861      "applied": 0.003433922996878253,
 862      "p_bound": 0.0013333333333333253,
 863      "spectral_radius": 0.8000487360179158,
 864      "final_norm": 1.063625837742131e-29
 865    },
 866    {
 867      "requested": 0.08,
 868      "applied": 0.003433922996878253,
 869      "p_bound": 0.0013333333333333253,
 870      "spectral_radius": 0.8000487360179158,
 871      "final_norm": 1.063625837742131e-29
 872    },
 873    {
 874      "requested": 0.1,
 875      "applied": 0.003433922996878253,
 876      "p_bound": 0.0013333333333333253,
 877      "spectral_radius": 0.8000487360179158,
 878      "final_norm": 1.063625837742131e-29
 879    },
 880    {
 881      "requested": 0.12,
 882      "applied": 0.003433922996878253,
 883      "p_bound": 0.0013333333333333253,
 884      "spectral_radius": 0.8000487360179158,
 885      "final_norm": 1.063625837742131e-29
 886    },
 887    {
 888      "requested": 0.14,
 889      "applied": 0.003433922996878253,
 890      "p_bound": 0.0013333333333333253,
 891      "spectral_radius": 0.8000487360179158,
 892      "final_norm": 1.063625837742131e-29
 893    },
 894    {
 895      "requested": 0.16,
 896      "applied": 0.003433922996878253,
 897      "p_bound": 0.0013333333333333253,
 898      "spectral_radius": 0.8000487360179158,
 899      "final_norm": 1.063625837742131e-29
 900    },
 901    {
 902      "requested": 0.18,
 903      "applied": 0.003433922996878253,
 904      "p_bound": 0.0013333333333333253,
 905      "spectral_radius": 0.8000487360179158,
 906      "final_norm": 1.063625837742131e-29
 907    },
 908    {
 909      "requested": 0.2,
 910      "applied": 0.003433922996878253,
 911      "p_bound": 0.0013333333333333253,
 912      "spectral_radius": 0.8000487360179158,
 913      "final_norm": 1.063625837742131e-29
 914    },
 915    {
 916      "requested": 0.22,
 917      "applied": 0.003433922996878253,
 918      "p_bound": 0.0013333333333333253,
 919      "spectral_radius": 0.8000487360179158,
 920      "final_norm": 1.063625837742131e-29
 921    },
 922    {
 923      "requested": 0.24,
 924      "applied": 0.003433922996878253,
 925      "p_bound": 0.0013333333333333253,
 926      "spectral_radius": 0.8000487360179158,
 927      "final_norm": 1.063625837742131e-29
 928    },
 929    {
 930      "requested": 0.26,
 931      "applied": 0.003433922996878253,
 932      "p_bound": 0.0013333333333333253,
 933      "spectral_radius": 0.8000487360179158,
 934      "final_norm": 1.063625837742131e-29
 935    },
 936    {
 937      "requested": 0.28,
 938      "applied": 0.003433922996878253,
 939      "p_bound": 0.0013333333333333253,
 940      "spectral_radius": 0.8000487360179158,
 941      "final_norm": 1.063625837742131e-29
 942    },
 943    {
 944      "requested": 0.3,
 945      "applied": 0.003433922996878253,
 946      "p_bound": 0.0013333333333333253,
 947      "spectral_radius": 0.8000487360179158,
 948      "final_norm": 1.063625837742131e-29
 949    },
 950    {
 951      "requested": 0.32,
 952      "applied": 0.003433922996878253,
 953      "p_bound": 0.0013333333333333253,
 954      "spectral_radius": 0.8000487360179158,
 955      "final_norm": 1.063625837742131e-29
 956    },
 957    {
 958      "requested": 0.34,
 959      "applied": 0.003433922996878253,
 960      "p_bound": 0.0013333333333333253,
 961      "spectral_radius": 0.8000487360179158,
 962      "final_norm": 1.063625837742131e-29
 963    },
 964    {
 965      "requested": 0.36,
 966      "applied": 0.003433922996878253,
 967      "p_bound": 0.0013333333333333253,
 968      "spectral_radius": 0.8000487360179158,
 969      "final_norm": 1.063625837742131e-29
 970    },
 971    {
 972      "requested": 0.38,
 973      "applied": 0.003433922996878253,
 974      "p_bound": 0.0013333333333333253,
 975      "spectral_radius": 0.8000487360179158,
 976      "final_norm": 1.063625837742131e-29
 977    },
 978    {
 979      "requested": 0.4,
 980      "applied": 0.003433922996878253,
 981      "p_bound": 0.0013333333333333253,
 982      "spectral_radius": 0.8000487360179158,
 983      "final_norm": 1.063625837742131e-29
 984    },
 985    {
 986      "requested": 0.42,
 987      "applied": 0.003433922996878253,
 988      "p_bound": 0.0013333333333333253,
 989      "spectral_radius": 0.8000487360179158,
 990      "final_norm": 1.063625837742131e-29
 991    },
 992    {
 993      "requested": 0.44,
 994      "applied": 0.003433922996878253,
 995      "p_bound": 0.0013333333333333253,
 996      "spectral_radius": 0.8000487360179158,
 997      "final_norm": 1.063625837742131e-29
 998    },
 999    {
1000      "requested": 0.46,
1001      "applied": 0.003433922996878253,
1002      "p_bound": 0.0013333333333333253,
1003      "spectral_radius": 0.8000487360179158,
1004      "final_norm": 1.063625837742131e-29
1005    },
1006    {
1007      "requested": 0.48,
1008      "applied": 0.003433922996878253,
1009      "p_bound": 0.0013333333333333253,
1010      "spectral_radius": 0.8000487360179158,
1011      "final_norm": 1.063625837742131e-29
1012    },
1013    {
1014      "requested": 0.5,
1015      "applied": 0.003433922996878253,
1016      "p_bound": 0.0013333333333333253,
1017      "spectral_radius": 0.8000487360179158,
1018      "final_norm": 1.063625837742131e-29
1019    },
1020    {
1021      "requested": 0.52,
1022      "applied": 0.003433922996878253,
1023      "p_bound": 0.0013333333333333253,
1024      "spectral_radius": 0.8000487360179158,
1025      "final_norm": 1.063625837742131e-29
1026    },
1027    {
1028      "requested": 0.54,
1029      "applied": 0.003433922996878253,
1030      "p_bound": 0.0013333333333333253,
1031      "spectral_radius": 0.8000487360179158,
1032      "final_norm": 1.063625837742131e-29
1033    },
1034    {
1035      "requested": 0.56,
1036      "applied": 0.003433922996878253,
1037      "p_bound": 0.0013333333333333253,
1038      "spectral_radius": 0.8000487360179158,
1039      "final_norm": 1.063625837742131e-29
1040    },
1041    {
1042      "requested": 0.58,
1043      "applied": 0.003433922996878253,
1044      "p_bound": 0.0013333333333333253,
1045      "spectral_radius": 0.8000487360179158,
1046      "final_norm": 1.063625837742131e-29
1047    },
1048    {
1049      "requested": 0.6,
1050      "applied": 0.003433922996878253,
1051      "p_bound": 0.0013333333333333253,
1052      "spectral_radius": 0.8000487360179158,
1053      "final_norm": 1.063625837742131e-29
1054    },
1055    {
1056      "requested": 0.62,
1057      "applied": 0.003433922996878253,
1058      "p_bound": 0.0013333333333333253,
1059      "spectral_radius": 0.8000487360179158,
1060      "final_norm": 1.063625837742131e-29
1061    },
1062    {
1063      "requested": 0.64,
1064      "applied": 0.003433922996878253,
1065      "p_bound": 0.0013333333333333253,
1066      "spectral_radius": 0.8000487360179158,
1067      "final_norm": 1.063625837742131e-29
1068    },
1069    {
1070      "requested": 0.66,
1071      "applied": 0.003433922996878253,
1072      "p_bound": 0.0013333333333333253,
1073      "spectral_radius": 0.8000487360179158,
1074      "final_norm": 1.063625837742131e-29
1075    },
1076    {
1077      "requested": 0.68,
1078      "applied": 0.003433922996878253,
1079      "p_bound": 0.0013333333333333253,
1080      "spectral_radius": 0.8000487360179158,
1081      "final_norm": 1.063625837742131e-29
1082    },
1083    {
1084      "requested": 0.7000000000000001,
1085      "applied": 0.003433922996878253,
1086      "p_bound": 0.0013333333333333253,
1087      "spectral_radius": 0.8000487360179158,
1088      "final_norm": 1.063625837742131e-29
1089    },
1090    {
1091      "requested": 0.72,
1092      "applied": 0.003433922996878253,
1093      "p_bound": 0.0013333333333333253,
1094      "spectral_radius": 0.8000487360179158,
1095      "final_norm": 1.063625837742131e-29
1096    },
1097    {
1098      "requested": 0.74,
1099      "applied": 0.003433922996878253,
1100      "p_bound": 0.0013333333333333253,
1101      "spectral_radius": 0.8000487360179158,
1102      "final_norm": 1.063625837742131e-29
1103    },
1104    {
1105      "requested": 0.76,
1106      "applied": 0.003433922996878253,
1107      "p_bound": 0.0013333333333333253,
1108      "spectral_radius": 0.8000487360179158,
1109      "final_norm": 1.063625837742131e-29
1110    },
1111    {
1112      "requested": 0.78,
1113      "applied": 0.003433922996878253,
1114      "p_bound": 0.0013333333333333253,
1115      "spectral_radius": 0.8000487360179158,
1116      "final_norm": 1.063625837742131e-29
1117    },
1118    {
1119      "requested": 0.8,
1120      "applied": 0.003433922996878253,
1121      "p_bound": 0.0013333333333333253,
1122      "spectral_radius": 0.8000487360179158,
1123      "final_norm": 1.063625837742131e-29
1124    },
1125    {
1126      "requested": 0.8200000000000001,
1127      "applied": 0.003433922996878253,
1128      "p_bound": 0.0013333333333333253,
1129      "spectral_radius": 0.8000487360179158,
1130      "final_norm": 1.063625837742131e-29
1131    },
1132    {
1133      "requested": 0.84,
1134      "applied": 0.003433922996878253,
1135      "p_bound": 0.0013333333333333253,
1136      "spectral_radius": 0.8000487360179158,
1137      "final_norm": 1.063625837742131e-29
1138    },
1139    {
1140      "requested": 0.86,
1141      "applied": 0.003433922996878253,
1142      "p_bound": 0.0013333333333333253,
1143      "spectral_radius": 0.8000487360179158,
1144      "final_norm": 1.063625837742131e-29
1145    },
1146    {
1147      "requested": 0.88,
1148      "applied": 0.003433922996878253,
1149      "p_bound": 0.0013333333333333253,
1150      "spectral_radius": 0.8000487360179158,
1151      "final_norm": 1.063625837742131e-29
1152    },
1153    {
1154      "requested": 0.9,
1155      "applied": 0.003433922996878253,
1156      "p_bound": 0.0013333333333333253,
1157      "spectral_radius": 0.8000487360179158,
1158      "final_norm": 1.063625837742131e-29
1159    },
1160    {
1161      "requested": 0.92,
1162      "applied": 0.003433922996878253,
1163      "p_bound": 0.0013333333333333253,
1164      "spectral_radius": 0.8000487360179158,
1165      "final_norm": 1.063625837742131e-29
1166    },
1167    {
1168      "requested": 0.9400000000000001,
1169      "applied": 0.003433922996878253,
1170      "p_bound": 0.0013333333333333253,
1171      "spectral_radius": 0.8000487360179158,
1172      "final_norm": 1.063625837742131e-29
1173    },
1174    {
1175      "requested": 0.96,
1176      "applied": 0.003433922996878253,
1177      "p_bound": 0.0013333333333333253,
1178      "spectral_radius": 0.8000487360179158,
1179      "final_norm": 1.063625837742131e-29
1180    },
1181    {
1182      "requested": 0.98,
1183      "applied": 0.003433922996878253,
1184      "p_bound": 0.0013333333333333253,
1185      "spectral_radius": 0.8000487360179158,
1186      "final_norm": 1.063625837742131e-29
1187    },
1188    {
1189      "requested": 1.0,
1190      "applied": 0.003433922996878253,
1191      "p_bound": 0.0013333333333333253,
1192      "spectral_radius": 0.8000487360179158,
1193      "final_norm": 1.063625837742131e-29
1194    },
1195    {
1196      "requested": 1.02,
1197      "applied": 0.003433922996878253,
1198      "p_bound": 0.0013333333333333253,
1199      "spectral_radius": 0.8000487360179158,
1200      "final_norm": 1.063625837742131e-29
1201    },
1202    {
1203      "requested": 1.04,
1204      "applied": 0.003433922996878253,
1205      "p_bound": 0.0013333333333333253,
1206      "spectral_radius": 0.8000487360179158,
1207      "final_norm": 1.063625837742131e-29
1208    },
1209    {
1210      "requested": 1.06,
1211      "applied": 0.003433922996878253,
1212      "p_bound": 0.0013333333333333253,
1213      "spectral_radius": 0.8000487360179158,
1214      "final_norm": 1.063625837742131e-29
1215    },
1216    {
1217      "requested": 1.08,
1218      "applied": 0.003433922996878253,
1219      "p_bound": 0.0013333333333333253,
1220      "spectral_radius": 0.8000487360179158,
1221      "final_norm": 1.063625837742131e-29
1222    },
1223    {
1224      "requested": 1.1,
1225      "applied": 0.003433922996878253,
1226      "p_bound": 0.0013333333333333253,
1227      "spectral_radius": 0.8000487360179158,
1228      "final_norm": 1.063625837742131e-29
1229    },
1230    {
1231      "requested": 1.12,
1232      "applied": 0.003433922996878253,
1233      "p_bound": 0.0013333333333333253,
1234      "spectral_radius": 0.8000487360179158,
1235      "final_norm": 1.063625837742131e-29
1236    },
1237    {
1238      "requested": 1.1400000000000001,
1239      "applied": 0.003433922996878253,
1240      "p_bound": 0.0013333333333333253,
1241      "spectral_radius": 0.8000487360179158,
1242      "final_norm": 1.063625837742131e-29
1243    },
1244    {
1245      "requested": 1.16,
1246      "applied": 0.003433922996878253,
1247      "p_bound": 0.0013333333333333253,
1248      "spectral_radius": 0.8000487360179158,
1249      "final_norm": 1.063625837742131e-29
1250    },
1251    {
1252      "requested": 1.18,
1253      "applied": 0.003433922996878253,
1254      "p_bound": 0.0013333333333333253,
1255      "spectral_radius": 0.8000487360179158,
1256      "final_norm": 1.063625837742131e-29
1257    },
1258    {
1259      "requested": 1.2,
1260      "applied": 0.003433922996878253,
1261      "p_bound": 0.0013333333333333253,
1262      "spectral_radius": 0.8000487360179158,
1263      "final_norm": 1.063625837742131e-29
1264    },
1265    {
1266      "requested": 1.22,
1267      "applied": 0.003433922996878253,
1268      "p_bound": 0.0013333333333333253,
1269      "spectral_radius": 0.8000487360179158,
1270      "final_norm": 1.063625837742131e-29
1271    },
1272    {
1273      "requested": 1.24,
1274      "applied": 0.003433922996878253,
1275      "p_bound": 0.0013333333333333253,
1276      "spectral_radius": 0.8000487360179158,
1277      "final_norm": 1.063625837742131e-29
1278    },
1279    {
1280      "requested": 1.26,
1281      "applied": 0.003433922996878253,
1282      "p_bound": 0.0013333333333333253,
1283      "spectral_radius": 0.8000487360179158,
1284      "final_norm": 1.063625837742131e-29
1285    },
1286    {
1287      "requested": 1.28,
1288      "applied": 0.003433922996878253,
1289      "p_bound": 0.0013333333333333253,
1290      "spectral_radius": 0.8000487360179158,
1291      "final_norm": 1.063625837742131e-29
1292    },
1293    {
1294      "requested": 1.3,
1295      "applied": 0.003433922996878253,
1296      "p_bound": 0.0013333333333333253,
1297      "spectral_radius": 0.8000487360179158,
1298      "final_norm": 1.063625837742131e-29
1299    },
1300    {
1301      "requested": 1.32,
1302      "applied": 0.003433922996878253,
1303      "p_bound": 0.0013333333333333253,
1304      "spectral_radius": 0.8000487360179158,
1305      "final_norm": 1.063625837742131e-29
1306    },
1307    {
1308      "requested": 1.34,
1309      "applied": 0.003433922996878253,
1310      "p_bound": 0.0013333333333333253,
1311      "spectral_radius": 0.8000487360179158,
1312      "final_norm": 1.063625837742131e-29
1313    },
1314    {
1315      "requested": 1.36,
1316      "applied": 0.003433922996878253,
1317      "p_bound": 0.0013333333333333253,
1318      "spectral_radius": 0.8000487360179158,
1319      "final_norm": 1.063625837742131e-29
1320    },
1321    {
1322      "requested": 1.3800000000000001,
1323      "applied": 0.003433922996878253,
1324      "p_bound": 0.0013333333333333253,
1325      "spectral_radius": 0.8000487360179158,
1326      "final_norm": 1.063625837742131e-29
1327    },
1328    {
1329      "requested": 1.4000000000000001,
1330      "applied": 0.003433922996878253,
1331      "p_bound": 0.0013333333333333253,
1332      "spectral_radius": 0.8000487360179158,
1333      "final_norm": 1.063625837742131e-29
1334    },
1335    {
1336      "requested": 1.42,
1337      "applied": 0.003433922996878253,
1338      "p_bound": 0.0013333333333333253,
1339      "spectral_radius": 0.8000487360179158,
1340      "final_norm": 1.063625837742131e-29
1341    },
1342    {
1343      "requested": 1.44,
1344      "applied": 0.003433922996878253,
1345      "p_bound": 0.0013333333333333253,
1346      "spectral_radius": 0.8000487360179158,
1347      "final_norm": 1.063625837742131e-29
1348    },
1349    {
1350      "requested": 1.46,
1351      "applied": 0.003433922996878253,
1352      "p_bound": 0.0013333333333333253,
1353      "spectral_radius": 0.8000487360179158,
1354      "final_norm": 1.063625837742131e-29
1355    },
1356    {
1357      "requested": 1.48,
1358      "applied": 0.003433922996878253,
1359      "p_bound": 0.0013333333333333253,
1360      "spectral_radius": 0.8000487360179158,
1361      "final_norm": 1.063625837742131e-29
1362    },
1363    {
1364      "requested": 1.5,
1365      "applied": 0.003433922996878253,
1366      "p_bound": 0.0013333333333333253,
1367      "spectral_radius": 0.8000487360179158,
1368      "final_norm": 1.063625837742131e-29
1369    },
1370    {
1371      "requested": 1.52,
1372      "applied": 0.003433922996878253,
1373      "p_bound": 0.0013333333333333253,
1374      "spectral_radius": 0.8000487360179158,
1375      "final_norm": 1.063625837742131e-29
1376    },
1377    {
1378      "requested": 1.54,
1379      "applied": 0.003433922996878253,
1380      "p_bound": 0.0013333333333333253,
1381      "spectral_radius": 0.8000487360179158,
1382      "final_norm": 1.063625837742131e-29
1383    },
1384    {
1385      "requested": 1.56,
1386      "applied": 0.003433922996878253,
1387      "p_bound": 0.0013333333333333253,
1388      "spectral_radius": 0.8000487360179158,
1389      "final_norm": 1.063625837742131e-29
1390    },
1391    {
1392      "requested": 1.58,
1393      "applied": 0.003433922996878253,
1394      "p_bound": 0.0013333333333333253,
1395      "spectral_radius": 0.8000487360179158,
1396      "final_norm": 1.063625837742131e-29
1397    },
1398    {
1399      "requested": 1.6,
1400      "applied": 0.003433922996878253,
1401      "p_bound": 0.0013333333333333253,
1402      "spectral_radius": 0.8000487360179158,
1403      "final_norm": 1.063625837742131e-29
1404    },
1405    {
1406      "requested": 1.62,
1407      "applied": 0.003433922996878253,
1408      "p_bound": 0.0013333333333333253,
1409      "spectral_radius": 0.8000487360179158,
1410      "final_norm": 1.063625837742131e-29
1411    },
1412    {
1413      "requested": 1.6400000000000001,
1414      "applied": 0.003433922996878253,
1415      "p_bound": 0.0013333333333333253,
1416      "spectral_radius": 0.8000487360179158,
1417      "final_norm": 1.063625837742131e-29
1418    },
1419    {
1420      "requested": 1.6600000000000001,
1421      "applied": 0.003433922996878253,
1422      "p_bound": 0.0013333333333333253,
1423      "spectral_radius": 0.8000487360179158,
1424      "final_norm": 1.063625837742131e-29
1425    },
1426    {
1427      "requested": 1.68,
1428      "applied": 0.003433922996878253,
1429      "p_bound": 0.0013333333333333253,
1430      "spectral_radius": 0.8000487360179158,
1431      "final_norm": 1.063625837742131e-29
1432    },
1433    {
1434      "requested": 1.7,
1435      "applied": 0.003433922996878253,
1436      "p_bound": 0.0013333333333333253,
1437      "spectral_radius": 0.8000487360179158,
1438      "final_norm": 1.063625837742131e-29
1439    },
1440    {
1441      "requested": 1.72,
1442      "applied": 0.003433922996878253,
1443      "p_bound": 0.0013333333333333253,
1444      "spectral_radius": 0.8000487360179158,
1445      "final_norm": 1.063625837742131e-29
1446    },
1447    {
1448      "requested": 1.74,
1449      "applied": 0.003433922996878253,
1450      "p_bound": 0.0013333333333333253,
1451      "spectral_radius": 0.8000487360179158,
1452      "final_norm": 1.063625837742131e-29
1453    },
1454    {
1455      "requested": 1.76,
1456      "applied": 0.003433922996878253,
1457      "p_bound": 0.0013333333333333253,
1458      "spectral_radius": 0.8000487360179158,
1459      "final_norm": 1.063625837742131e-29
1460    },
1461    {
1462      "requested": 1.78,
1463      "applied": 0.003433922996878253,
1464      "p_bound": 0.0013333333333333253,
1465      "spectral_radius": 0.8000487360179158,
1466      "final_norm": 1.063625837742131e-29
1467    },
1468    {
1469      "requested": 1.8,
1470      "applied": 0.003433922996878253,
1471      "p_bound": 0.0013333333333333253,
1472      "spectral_radius": 0.8000487360179158,
1473      "final_norm": 1.063625837742131e-29
1474    },
1475    {
1476      "requested": 1.82,
1477      "applied": 0.003433922996878253,
1478      "p_bound": 0.0013333333333333253,
1479      "spectral_radius": 0.8000487360179158,
1480      "final_norm": 1.063625837742131e-29
1481    },
1482    {
1483      "requested": 1.84,
1484      "applied": 0.003433922996878253,
1485      "p_bound": 0.0013333333333333253,
1486      "spectral_radius": 0.8000487360179158,
1487      "final_norm": 1.063625837742131e-29
1488    },
1489    {
1490      "requested": 1.86,
1491      "applied": 0.003433922996878253,
1492      "p_bound": 0.0013333333333333253,
1493      "spectral_radius": 0.8000487360179158,
1494      "final_norm": 1.063625837742131e-29
1495    },
1496    {
1497      "requested": 1.8800000000000001,
1498      "applied": 0.003433922996878253,
1499      "p_bound": 0.0013333333333333253,
1500      "spectral_radius": 0.8000487360179158,
1501      "final_norm": 1.063625837742131e-29
1502    },
1503    {
1504      "requested": 1.9000000000000001,
1505      "applied": 0.003433922996878253,
1506      "p_bound": 0.0013333333333333253,
1507      "spectral_radius": 0.8000487360179158,
1508      "final_norm": 1.063625837742131e-29
1509    },
1510    {
1511      "requested": 1.92,
1512      "applied": 0.003433922996878253,
1513      "p_bound": 0.0013333333333333253,
1514      "spectral_radius": 0.8000487360179158,
1515      "final_norm": 1.063625837742131e-29
1516    },
1517    {
1518      "requested": 1.94,
1519      "applied": 0.003433922996878253,
1520      "p_bound": 0.0013333333333333253,
1521      "spectral_radius": 0.8000487360179158,
1522      "final_norm": 1.063625837742131e-29
1523    },
1524    {
1525      "requested": 1.96,
1526      "applied": 0.003433922996878253,
1527      "p_bound": 0.0013333333333333253,
1528      "spectral_radius": 0.8000487360179158,
1529      "final_norm": 1.063625837742131e-29
1530    },
1531    {
1532      "requested": 1.98,
1533      "applied": 0.003433922996878253,
1534      "p_bound": 0.0013333333333333253,
1535      "spectral_radius": 0.8000487360179158,
1536      "final_norm": 1.063625837742131e-29
1537    },
1538    {
1539      "requested": 2.0,
1540      "applied": 0.003433922996878253,
1541      "p_bound": 0.0013333333333333253,
1542      "spectral_radius": 0.8000487360179158,
1543      "final_norm": 1.063625837742131e-29
1544    }
1545  ],
1546  "interpretation": "Certificate scaling and projection verified; certificate is conservative if dynamical boundary differs."
1547}