Davis–Wielandt Shell Constraint for Heterogeneous SSMs / results.json
Mechanism failed
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}