{
 "part": "T4",
 "L": 5,
 "grid": [
  0.1,
  0.05,
  0.025,
  0.0125
 ],
 "seeds": {
  "cells": 1309,
  "J_k": "1310+k",
  "K_h": 1320,
  "B_beta": 1330
 },
 "cell_states": [
  {
   "re": [
    0.04892919913377031,
    -0.6001932022542761
   ],
   "im": [
    0.7876659137853684,
    0.13021697930971174
   ]
  },
  {
   "re": [
    0.19999990689070532,
    -0.7736859000773708
   ],
   "im": [
    0.12362249167217454,
    0.5883261381393324
   ]
  },
  {
   "re": [
    0.5477782536000647,
    -0.41172648506593107
   ],
   "im": [
    0.615203182455663,
    -0.3898016555564396
   ]
  },
  {
   "re": [
    -0.510774922008718,
    -0.35193734801846416
   ],
   "im": [
    -0.4428901627321579,
    0.6473773133743578
   ]
  },
  {
   "re": [
    -0.021270672501662043,
    -0.07042975383608158
   ],
   "im": [
    -0.3469832203633599,
    0.9349812046518305
   ]
  }
 ],
 "J": {
  "1": {
   "re": [
    [
     -0.9267689001005768,
     -0.8344624118166201,
     0.2172908398386023,
     0.0594135573329207
    ],
    [
     -0.8344624118166201,
     -0.329892579771802,
     -0.9372900238043032,
     0.3549654686343358
    ],
    [
     0.2172908398386023,
     -0.9372900238043032,
     1.2442966342068986,
     -0.5310596579920961
    ],
    [
     0.0594135573329207,
     0.3549654686343358,
     -0.5310596579920961,
     1.3615999490775217
    ]
   ],
   "im": [
    [
     0.0,
     1.1696930608832052,
     -0.2846829547149942,
     -0.8401368541250912
    ],
    [
     -1.1696930608832052,
     0.0,
     0.5157394719310587,
     -0.24209335631761142
    ],
    [
     0.2846829547149942,
     -0.5157394719310587,
     0.0,
     -0.13173372928755112
    ],
    [
     0.8401368541250912,
     0.24209335631761142,
     0.13173372928755112,
     0.0
    ]
   ]
  },
  "2": {
   "re": [
    [
     -0.8254230182617072,
     0.5188123211331606,
     -0.16439329451852835,
     2.7909645755776022
    ],
    [
     0.5188123211331606,
     0.1442658424158277,
     -0.22394049701999147,
     0.3730026955105715
    ],
    [
     -0.16439329451852835,
     -0.22394049701999147,
     0.09719679528095457,
     -0.19811314105342626
    ],
    [
     2.7909645755776022,
     0.3730026955105715,
     -0.19811314105342626,
     -1.9241518015788537
    ]
   ],
   "im": [
    [
     0.0,
     0.16251158812464697,
     -0.6014530308217254,
     0.20090776577800534
    ],
    [
     -0.16251158812464697,
     0.0,
     1.0868697142768953,
     -0.4613005197399337
    ],
    [
     0.6014530308217254,
     -1.0868697142768953,
     0.0,
     0.17532895418124037
    ],
    [
     -0.20090776577800534,
     0.4613005197399337,
     -0.17532895418124037,
     0.0
    ]
   ]
  },
  "3": {
   "re": [
    [
     0.29501626244593343,
     0.276098218661892,
     -0.31385138488131853,
     -0.5473650282268124
    ],
    [
     0.276098218661892,
     -0.9256743629198658,
     -0.4456019750991076,
     -0.5477741598528474
    ],
    [
     -0.31385138488131853,
     -0.4456019750991076,
     0.7114813978363583,
     -0.026483103866879687
    ],
    [
     -0.5473650282268124,
     -0.5477741598528474,
     -0.026483103866879687,
     -0.0868791739226324
    ]
   ],
   "im": [
    [
     0.0,
     0.5111314541403533,
     -0.11701824673904748,
     -0.3004771539611218
    ],
    [
     -0.5111314541403533,
     0.0,
     -0.4576793484965513,
     0.6025009937494121
    ],
    [
     0.11701824673904748,
     0.4576793484965513,
     0.0,
     0.015420771308605294
    ],
    [
     0.3004771539611218,
     -0.6025009937494121,
     -0.015420771308605294,
     0.0
    ]
   ]
  },
  "4": {
   "re": [
    [
     0.20511016358395587,
     0.9121777597301194,
     0.3090609006648335,
     0.9343691397681295
    ],
    [
     0.9121777597301194,
     -1.256072299412805,
     -0.3227023329322678,
     -1.0668052890290853
    ],
    [
     0.3090609006648335,
     -0.3227023329322678,
     -0.4770819081994202,
     1.0660572370290826
    ],
    [
     0.9343691397681295,
     -1.0668052890290853,
     1.0660572370290826,
     1.2768525009412703
    ]
   ],
   "im": [
    [
     0.0,
     0.2544854565121697,
     -0.3705901075843487,
     -0.49922042966864993
    ],
    [
     -0.2544854565121697,
     0.0,
     0.29628615987777646,
     1.050807964093774
    ],
    [
     0.3705901075843487,
     -0.29628615987777646,
     0.0,
     -0.6307593117178438
    ],
    [
     0.49922042966864993,
     -1.050807964093774,
     0.6307593117178438,
     0.0
    ]
   ]
  }
 },
 "K": [
  {
   "re": [
    [
     -0.15696227131490095,
     0.029119080238660305
    ],
    [
     0.029119080238660305,
     0.47091303051395617
    ]
   ],
   "im": [
    [
     0.0,
     0.8201608145514684
    ],
    [
     -0.8201608145514684,
     0.0
    ]
   ]
  },
  {
   "re": [
    [
     -0.5668977209068893,
     -0.2949946963647545
    ],
    [
     -0.2949946963647545,
     0.20309805367030692
    ]
   ],
   "im": [
    [
     0.0,
     0.12161347069042183
    ],
    [
     -0.12161347069042183,
     0.0
    ]
   ]
  },
  {
   "re": [
    [
     -0.6698883104278853,
     -0.02163685556812356
    ],
    [
     -0.02163685556812356,
     -2.455577608504764
    ]
   ],
   "im": [
    [
     0.0,
     0.22995292791999694
    ],
    [
     -0.22995292791999694,
     0.0
    ]
   ]
  }
 ],
 "B": [
  {
   "re": [
    [
     0.36793878639967353,
     0.3084717640741136
    ],
    [
     0.3084717640741136,
     0.35657995964258954
    ]
   ],
   "im": [
    [
     0.0,
     -0.9818888770258867
    ],
    [
     0.9818888770258867,
     0.0
    ]
   ]
  },
  {
   "re": [
    [
     -0.44848770449405334,
     0.6859766544217675
    ],
    [
     0.6859766544217675,
     -0.6375274941192771
    ]
   ],
   "im": [
    [
     0.0,
     1.393098286836929
    ],
    [
     -1.393098286836929,
     0.0
    ]
   ]
  }
 ],
 "results": {
  "r=0": {
   "per_lambda": [
    {
     "lambda": 0.1,
     "Delta_W_per_pair": {
      "1,2": -0.00016356213197477043,
      "1,3": 0.00012397656155505032,
      "2,3": 0.0001898502166283178
     },
     "max_abs_Delta_W": 0.0001898502166283178,
     "diag_mpmath_max_abs_Delta_W": 0.00018985021662821217,
     "diag_rel_dev_double_vs_mpmath": 5.563775408339653e-13,
     "control_max_abs_Delta_W": 2.220446049250313e-16
    },
    {
     "lambda": 0.05,
     "Delta_W_per_pair": {
      "1,2": -2.114400535313532e-05,
      "1,3": 2.157219517118225e-05,
      "2,3": 2.0828781380100025e-05
     },
     "max_abs_Delta_W": 2.157219517118225e-05,
     "diag_mpmath_max_abs_Delta_W": 2.157219517200716e-05,
     "diag_rel_dev_double_vs_mpmath": 3.823942997430545e-11,
     "control_max_abs_Delta_W": 4.440892098500626e-16
    },
    {
     "lambda": 0.025,
     "Delta_W_per_pair": {
      "1,2": -2.6522237889237132e-06,
      "1,3": 3.0561352040159306e-06,
      "2,3": 2.364355083717129e-06
     },
     "max_abs_Delta_W": 3.0561352040159306e-06,
     "diag_mpmath_max_abs_Delta_W": 3.0561352037142522e-06,
     "diag_rel_dev_double_vs_mpmath": 9.871238912941471e-11,
     "control_max_abs_Delta_W": 5.551115123125783e-16
    },
    {
     "lambda": 0.0125,
     "Delta_W_per_pair": {
      "1,2": -3.3091913476113177e-07,
      "1,3": 4.034720899603883e-07,
      "2,3": 2.786468421556165e-07
     },
     "max_abs_Delta_W": 4.034720899603883e-07,
     "diag_mpmath_max_abs_Delta_W": 4.0347209075107455e-07,
     "diag_rel_dev_double_vs_mpmath": 1.9597049438741867e-09,
     "control_max_abs_Delta_W": 1.6653345369377348e-15
    }
   ],
   "fitted_slope": 2.9453923868892877,
   "threshold": 2.8,
   "slope_ok": true,
   "exploratory_within_0.2_of_3+r": true,
   "diag_mpmath_fitted_slope": 2.9453923860606297,
   "control_ok": true
  },
  "r=1": {
   "per_lambda": [
    {
     "lambda": 0.1,
     "Delta_W_per_pair": {
      "1,2": -1.248946712850696e-05,
      "1,3": 7.442489371589645e-05,
      "2,3": 3.7731081311553893e-05
     },
     "max_abs_Delta_W": 7.442489371589645e-05,
     "diag_mpmath_max_abs_Delta_W": 7.442489371588304e-05,
     "diag_rel_dev_double_vs_mpmath": 1.8009363115142232e-13,
     "control_max_abs_Delta_W": 2.220446049250313e-16
    },
    {
     "lambda": 0.05,
     "Delta_W_per_pair": {
      "1,2": -7.706945281960031e-07,
      "1,3": 4.496782522567244e-06,
      "2,3": 1.9665629117371353e-06
     },
     "max_abs_Delta_W": 4.496782522567244e-06,
     "diag_mpmath_max_abs_Delta_W": 4.496782522505341e-06,
     "diag_rel_dev_double_vs_mpmath": 1.3766034168081174e-11,
     "control_max_abs_Delta_W": 4.440892098500626e-16
    },
    {
     "lambda": 0.025,
     "Delta_W_per_pair": {
      "1,2": -4.724856161875124e-08,
      "1,3": 2.7395538837460265e-07,
      "2,3": 1.099288283734623e-07
     },
     "max_abs_Delta_W": 2.7395538837460265e-07,
     "diag_mpmath_max_abs_Delta_W": 2.739553889045394e-07,
     "diag_rel_dev_double_vs_mpmath": 1.9343906404877218e-09,
     "control_max_abs_Delta_W": 5.551115123125783e-16
    },
    {
     "lambda": 0.0125,
     "Delta_W_per_pair": {
      "1,2": -2.915590657792677e-09,
      "1,3": 1.6868274554937557e-08,
      "2,3": 6.45860531722775e-09
     },
     "max_abs_Delta_W": 1.6868274554937557e-08,
     "diag_mpmath_max_abs_Delta_W": 1.6868275273146504e-08,
     "diag_rel_dev_double_vs_mpmath": 4.257749742919285e-08,
     "control_max_abs_Delta_W": 1.6653345369377348e-15
    }
   ],
   "fitted_slope": 4.035865162377838,
   "threshold": 3.8,
   "slope_ok": true,
   "exploratory_within_0.2_of_3+r": true,
   "diag_mpmath_fitted_slope": 4.035865143668795,
   "control_ok": true
  },
  "r=2": {
   "per_lambda": [
    {
     "lambda": 0.1,
     "Delta_W_per_pair": {
      "1,2": -2.91510747763013e-07,
      "1,3": 2.8384875494502637e-07,
      "2,3": 3.156733295872627e-07
     },
     "max_abs_Delta_W": 3.156733295872627e-07,
     "diag_mpmath_max_abs_Delta_W": 3.156733298004515e-07,
     "diag_rel_dev_double_vs_mpmath": 6.753463229113867e-10,
     "control_max_abs_Delta_W": 2.220446049250313e-16
    },
    {
     "lambda": 0.05,
     "Delta_W_per_pair": {
      "1,2": -1.0251612003742139e-08,
      "1,3": 7.585523653652615e-09,
      "2,3": 8.210751745174605e-09
     },
     "max_abs_Delta_W": 1.0251612003742139e-08,
     "diag_mpmath_max_abs_Delta_W": 1.0251611317414413e-08,
     "diag_rel_dev_double_vs_mpmath": 6.694827809874622e-08,
     "control_max_abs_Delta_W": 4.440892098500626e-16
    },
    {
     "lambda": 0.025,
     "Delta_W_per_pair": {
      "1,2": -3.2903590962973794e-10,
      "1,3": 2.1412149830979388e-10,
      "2,3": 2.253612851887965e-10
     },
     "max_abs_Delta_W": 3.2903590962973794e-10,
     "diag_mpmath_max_abs_Delta_W": 3.2903623660135954e-10,
     "diag_rel_dev_double_vs_mpmath": 9.937252655521477e-07,
     "control_max_abs_Delta_W": 5.551115123125783e-16
    },
    {
     "lambda": 0.0125,
     "Delta_W_per_pair": {
      "1,2": -1.033539920314297e-11,
      "1,3": 6.313061184926028e-12,
      "2,3": 6.5283334294008455e-12
     },
     "max_abs_Delta_W": 1.033539920314297e-11,
     "diag_mpmath_max_abs_Delta_W": 1.0335560213760062e-11,
     "diag_rel_dev_double_vs_mpmath": 1.5578315423817334e-05,
     "control_max_abs_Delta_W": 1.6653345369377348e-15
    }
   ],
   "fitted_slope": 4.96571138563631,
   "threshold": 4.8,
   "slope_ok": true,
   "exploratory_within_0.2_of_3+r": true,
   "diag_mpmath_fitted_slope": 4.965704490425646,
   "control_ok": true
  },
  "r=3": {
   "per_lambda": [
    {
     "lambda": 0.1,
     "Delta_W_per_pair": {
      "1,2": 2.047564340301733e-10,
      "1,3": -2.4648055818587977e-09,
      "2,3": -1.1126009002992987e-09
     },
     "max_abs_Delta_W": 2.4648055818587977e-09,
     "diag_mpmath_max_abs_Delta_W": 2.4648051827651477e-09,
     "diag_rel_dev_double_vs_mpmath": 1.61916914508758e-07,
     "control_max_abs_Delta_W": 2.220446049250313e-16
    },
    {
     "lambda": 0.05,
     "Delta_W_per_pair": {
      "1,2": 6.015854481233873e-12,
      "1,3": -2.8634761228829575e-11,
      "2,3": -1.3243406371543642e-11
     },
     "max_abs_Delta_W": 2.8634761228829575e-11,
     "diag_mpmath_max_abs_Delta_W": 2.86349495106916e-11,
     "diag_rel_dev_double_vs_mpmath": 6.575246865888065e-06,
     "control_max_abs_Delta_W": 4.440892098500626e-16
    },
    {
     "lambda": 0.025,
     "Delta_W_per_pair": {
      "1,2": 1.1546319456101628e-13,
      "1,3": -3.6992631180510216e-13,
      "2,3": -1.7408297026122455e-13
     },
     "max_abs_Delta_W": 3.6992631180510216e-13,
     "diag_mpmath_max_abs_Delta_W": 3.699013596870673e-13,
     "diag_rel_dev_double_vs_mpmath": 6.745614035038066e-05,
     "control_max_abs_Delta_W": 5.551115123125783e-16
    },
    {
     "lambda": 0.0125,
     "Delta_W_per_pair": {
      "1,2": 1.2212453270876722e-15,
      "1,3": -5.662137425588298e-15,
      "2,3": -4.551914400963142e-15
     },
     "max_abs_Delta_W": 5.662137425588298e-15,
     "diag_mpmath_max_abs_Delta_W": 5.1750693200750436e-15,
     "diag_rel_dev_double_vs_mpmath": 0.09411817994859088,
     "control_max_abs_Delta_W": 1.6653345369377348e-15
    }
   ],
   "fitted_slope": 6.246947282055789,
   "threshold": 5.8,
   "slope_ok": true,
   "exploratory_within_0.2_of_3+r": false,
   "diag_mpmath_fitted_slope": 6.285888465413536,
   "control_ok": true
  }
 },
 "rule": "pass iff slope >= 3+r-0.2 for every r",
 "decision": "pass",
 "control_rule": "B_beta1 = 0.7*1: pass iff max|Delta W| <= 1e-12 at every lambda",
 "control_decision": "pass"
}