diff --git a/results-loop/PROTOCOL_UNIFIED.md b/results-loop/PROTOCOL_UNIFIED.md
index f73ad53..26e40a4 100644
--- a/results-loop/PROTOCOL_UNIFIED.md
+++ b/results-loop/PROTOCOL_UNIFIED.md
@@ -970,6 +970,27 @@ rung A (nothing deleted, move the 57.4).
     rescues drift cases). Arm 2 (later): line-correctness /
     deferral head gating re-expansion. Job: scripts/jobs/zzz_w_metacog.sh.
 
+--- Outcome, item 30 (scored 2026-07-17 ~19:40; rc=0). Harvests:
+4319/1058 carry, 3408/879 FF boundary rows; readiness rates 33-41%.
+(a) PRIMARY REFUTED on specificity, CONFIRMED on existence:
+answer-readiness is STRONGLY decodable from the whiteboard — test AUC
+0.798 — but the FF control decodes it equally (0.791): the
+metacognitive signal is whiteboard-general, NOT recurrence-specific.
+The carry's drop-bucket edge does not manifest as a linearly-more-
+readable readiness code at line boundaries. (b) Theta sweep: early
+stopping LOSES at every theta <= 0.95 (0.441-0.520 vs natural-end
+0.527); theta=0.99 reaches parity with 37/256 early answers. (c)
+ORACLE stop = 0.566 (+3.9 over natural end at mean boundary 3.58) —
+a weak ceiling vs item 20's +9.6 depth oracle: the model's natural
+halting already sits near its readiness frontier, and early-stop
+errors are cost-asymmetric. Verdict: the readiness HEAD works as
+instrumentation (0.8 AUC from a frozen state, zero human labels);
+early-stop DEPLOYMENT is not the lever. Live follow-ups: arm 2 —
+deferral/re-expansion gating (EXTENDING computation where the head is
+uncertain; its oracle is unmeasured and the 430 mechanism points
+there, not at stopping); and using g as a per-item difficulty signal
+for the item-20 depth gate (where the oracle headroom actually is).
+
 31. **Synthetic memory tokens: per-layer KV prefix (pre-registered
     2026-07-17 ~15:50, before running; Nils's design: "the one read
     mechanism a frozen transformer natively possesses is attention over
diff --git a/results-loop/metacog_auc.json b/results-loop/metacog_auc.json
new file mode 100644
index 0000000..06ba057
--- /dev/null
+++ b/results-loop/metacog_auc.json
@@ -0,0 +1 @@
+{"carry": 0.7981836131859141, "ff": 0.791359567919433}
\ No newline at end of file
diff --git a/results-loop/metacog_lut.json b/results-loop/metacog_lut.json
new file mode 100644
index 0000000..c72664c
--- /dev/null
+++ b/results-loop/metacog_lut.json
@@ -0,0 +1 @@
+[{"idx": 1092, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.009523699060082436}, {"idx": 1092, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.01257448922842741}, {"idx": 1092, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.22955484688282013}, {"idx": 1092, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.3919624984264374}, {"idx": 696, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.002136774128302932}, {"idx": 696, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.039194926619529724}, {"idx": 696, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.26471447944641113}, {"idx": 242, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0005919582908973098}, {"idx": 242, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0006790816551074386}, {"idx": 242, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 9.244007378583774e-05}, {"idx": 242, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.06101160869002342}, {"idx": 242, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.1577937752008438}, {"idx": 242, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.0568920373916626}, {"idx": 1085, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9998618364334106}, {"idx": 1085, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9658171534538269}, {"idx": 510, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001542495796456933}, {"idx": 510, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0076044839806854725}, {"idx": 510, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.949652373790741}, {"idx": 334, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.06782937049865723}, {"idx": 334, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9783662557601929}, {"idx": 334, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9425264596939087}, {"idx": 139, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.03235204890370369}, {"idx": 139, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.7394629716873169}, {"idx": 139, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8892982602119446}, {"idx": 849, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9581343531608582}, {"idx": 849, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9926899075508118}, {"idx": 849, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9948179125785828}, {"idx": 593, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 0.5836036801338196}, {"idx": 593, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.18548749387264252}, {"idx": 593, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.0460735447704792}, {"idx": 593, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9823638200759888}, {"idx": 593, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9813433289527893}, {"idx": 579, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.008155561983585358}, {"idx": 579, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9927005767822266}, {"idx": 579, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.979399561882019}, {"idx": 1064, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.40483903884887695}, {"idx": 1064, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9690835475921631}, {"idx": 1064, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9635583758354187}, {"idx": 1064, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.26815828680992126}, {"idx": 1064, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.04149554297327995}, {"idx": 1064, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.3051393926143646}, {"idx": 275, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.004286813084036112}, {"idx": 275, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.006123985629528761}, {"idx": 275, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.005690594669431448}, {"idx": 275, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.047760460525751114}, {"idx": 275, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9617608785629272}, {"idx": 1175, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 2.438776209601201e-05}, {"idx": 1175, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 7.12877522346389e-07}, {"idx": 1175, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0001330789818894118}, {"idx": 1175, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.005439349915832281}, {"idx": 1071, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0049646589905023575}, {"idx": 1071, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.16876086592674255}, {"idx": 1071, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.22138623893260956}, {"idx": 1071, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6698827147483826}, {"idx": 1071, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.8680557012557983}, {"idx": 1071, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.903690755367279}, {"idx": 1284, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.005719327833503485}, {"idx": 1284, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.14657393097877502}, {"idx": 1284, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.12263521552085876}, {"idx": 1284, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7584609389305115}, {"idx": 1284, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.26394450664520264}, {"idx": 1284, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.6720454096794128}, {"idx": 430, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 0.1177176907658577}, {"idx": 430, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.8183197975158691}, {"idx": 430, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.5022827386856079}, {"idx": 1088, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 7.254775937326485e-06}, {"idx": 1088, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 1.9872372831741814e-06}, {"idx": 1088, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.006801515351980925}, {"idx": 1088, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.16203396022319794}, {"idx": 1088, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.029559001326560974}, {"idx": 215, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.1214263066649437}, {"idx": 215, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.7524924278259277}, {"idx": 841, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9930455088615417}, {"idx": 841, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9320400953292847}, {"idx": 841, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8832042813301086}, {"idx": 841, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9129246473312378}, {"idx": 1299, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9983083009719849}, {"idx": 1299, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.8703699111938477}, {"idx": 1299, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9274575710296631}, {"idx": 1299, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.993349015712738}, {"idx": 1299, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9555301666259766}, {"idx": 1113, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00020082390983588994}, {"idx": 1113, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.8769027590751648}, {"idx": 1113, "label": "easy", "bound": 2, "ok": false, "nat_ok": true, "g": 0.9823526740074158}, {"idx": 826, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0003694150655064732}, {"idx": 826, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.6875107288360596}, {"idx": 826, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0008266568765975535}, {"idx": 826, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 7.200754043878987e-05}, {"idx": 826, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.0053545706905424595}, {"idx": 826, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.2329966425895691}, {"idx": 570, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.012635872699320316}, {"idx": 570, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.018848657608032227}, {"idx": 570, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.002129853470250964}, {"idx": 570, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.05219503864645958}, {"idx": 570, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.11153978109359741}, {"idx": 598, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.10523819178342819}, {"idx": 598, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9034356474876404}, {"idx": 598, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.008868190459907055}, {"idx": 598, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.0002166944177588448}, {"idx": 598, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.004213994834572077}, {"idx": 598, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.6532305479049683}, {"idx": 905, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001976538682356477}, {"idx": 905, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.002463642042130232}, {"idx": 905, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.03513225540518761}, {"idx": 905, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8319414854049683}, {"idx": 905, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.41102349758148193}, {"idx": 761, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0004687264154199511}, {"idx": 761, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.05780753120779991}, {"idx": 761, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6636207103729248}, {"idx": 761, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9782701730728149}, {"idx": 1163, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0002747963590081781}, {"idx": 1163, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.14031627774238586}, {"idx": 1287, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.7864509224891663}, {"idx": 1287, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.08741910010576248}, {"idx": 1287, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8453968167304993}, {"idx": 1287, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9976682066917419}, {"idx": 282, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 9.831012903305236e-06}, {"idx": 282, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.05443273112177849}, {"idx": 282, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.08002535253763199}, {"idx": 282, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.5154095888137817}, {"idx": 282, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.6094000935554504}, {"idx": 321, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.02151736058294773}, {"idx": 321, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.043771013617515564}, {"idx": 321, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9494593143463135}, {"idx": 321, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.8301651477813721}, {"idx": 321, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9136614203453064}, {"idx": 321, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.6035852432250977}, {"idx": 252, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.05006224662065506}, {"idx": 252, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0033029981423169374}, {"idx": 252, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.06794964522123337}, {"idx": 252, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6505866646766663}, {"idx": 246, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0004341964959166944}, {"idx": 246, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.0015756171196699142}, {"idx": 246, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.5674399733543396}, {"idx": 246, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.1359439194202423}, {"idx": 246, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.864445686340332}, {"idx": 781, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.7287029027938843}, {"idx": 781, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9991482496261597}, {"idx": 821, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.34632742404937744}, {"idx": 821, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8989946246147156}, {"idx": 821, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6870637536048889}, {"idx": 821, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9945676326751709}, {"idx": 821, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9616485238075256}, {"idx": 1210, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.5748934149742126}, {"idx": 1210, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9717137813568115}, {"idx": 1210, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.7131406664848328}, {"idx": 1210, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.5727127194404602}, {"idx": 1210, "label": "easy", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9165491461753845}, {"idx": 1210, "label": "easy", "bound": 5, "ok": false, "nat_ok": false, "g": 0.2160876840353012}, {"idx": 958, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.49255189299583435}, {"idx": 958, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0018171118572354317}, {"idx": 958, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.2890678644180298}, {"idx": 958, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.19623154401779175}, {"idx": 285, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9535436630249023}, {"idx": 285, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.6057246327400208}, {"idx": 285, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9386504292488098}, {"idx": 1146, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0028160172514617443}, {"idx": 1146, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00010432309500174597}, {"idx": 1146, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.6233465671539307}, {"idx": 1146, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9090484380722046}, {"idx": 1146, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.2418946921825409}, {"idx": 612, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.04786502942442894}, {"idx": 612, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.523481547832489}, {"idx": 612, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.4056268334388733}, {"idx": 612, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.978737473487854}, {"idx": 725, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 0.29953134059906006}, {"idx": 725, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.46862417459487915}, {"idx": 1294, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 1.2078920917701907e-05}, {"idx": 1294, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 7.973668516569887e-07}, {"idx": 1294, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 1.0933083558484213e-06}, {"idx": 1294, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.003386471187695861}, {"idx": 1294, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.11839281022548676}, {"idx": 968, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.01053133700042963}, {"idx": 968, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0038994241040199995}, {"idx": 968, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.2919902205467224}, {"idx": 968, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.4767742156982422}, {"idx": 968, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.13834358751773834}, {"idx": 850, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 3.2828079383762088e-06}, {"idx": 850, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9729484915733337}, {"idx": 850, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8514508008956909}, {"idx": 850, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.5547970533370972}, {"idx": 446, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9137685298919678}, {"idx": 446, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9771085977554321}, {"idx": 446, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9145911335945129}, {"idx": 976, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00039889870095066726}, {"idx": 976, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0041631669737398624}, {"idx": 976, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0021643023937940598}, {"idx": 1001, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.22147323191165924}, {"idx": 1001, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.20633302628993988}, {"idx": 1001, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9616020917892456}, {"idx": 1027, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 0.79169762134552}, {"idx": 1027, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9964472651481628}, {"idx": 1027, "label": "easy", "bound": 2, "ok": false, "nat_ok": true, "g": 0.5725196003913879}, {"idx": 1027, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9867169857025146}, {"idx": 651, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0030521515291184187}, {"idx": 651, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0005564953316934407}, {"idx": 651, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.051258280873298645}, {"idx": 651, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.006323538720607758}, {"idx": 1009, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0029832341242581606}, {"idx": 1009, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0032106738071888685}, {"idx": 1009, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0005583396996371448}, {"idx": 1009, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 4.905372406938113e-05}, {"idx": 1009, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.006753329187631607}, {"idx": 1009, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.09884614497423172}, {"idx": 123, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.059899020940065384}, {"idx": 123, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.05634201690554619}, {"idx": 123, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8216936588287354}, {"idx": 123, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.4299388825893402}, {"idx": 909, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 9.560782200424e-05}, {"idx": 909, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 3.530537287588231e-05}, {"idx": 909, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 6.395649734258768e-07}, {"idx": 909, "label": "drop", "bound": 3, "ok": true, "nat_ok": false, "g": 0.003742516040802002}, {"idx": 614, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00027125547057949007}, {"idx": 614, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 4.358427759143524e-05}, {"idx": 614, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.14900270104408264}, {"idx": 614, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.5088646411895752}, {"idx": 292, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0013507155235856771}, {"idx": 292, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.3106487989425659}, {"idx": 292, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7120300531387329}, {"idx": 1014, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0789448469877243}, {"idx": 1014, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.5480175018310547}, {"idx": 107, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0018844966543838382}, {"idx": 107, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.008634131401777267}, {"idx": 107, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.3505544364452362}, {"idx": 1272, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00039340154035016894}, {"idx": 1272, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0005259689642116427}, {"idx": 1272, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.27299046516418457}, {"idx": 1272, "label": "hard", "bound": 3, "ok": false, "nat_ok": true, "g": 0.5422783493995667}, {"idx": 441, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.06104489043354988}, {"idx": 441, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.00023197753762360662}, {"idx": 441, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9888678789138794}, {"idx": 52, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.16874508559703827}, {"idx": 52, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.06134634464979172}, {"idx": 52, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.981758713722229}, {"idx": 52, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7629162073135376}, {"idx": 727, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 3.2275343642140797e-07}, {"idx": 727, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.11598113924264908}, {"idx": 727, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6688089370727539}, {"idx": 727, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6145493388175964}, {"idx": 965, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.005295762326568365}, {"idx": 965, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.13068458437919617}, {"idx": 965, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.9308627247810364}, {"idx": 965, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.13343627750873566}, {"idx": 800, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 1.2598940884345211e-05}, {"idx": 800, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.4618540108203888}, {"idx": 800, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.4876130521297455}, {"idx": 20, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 7.169270975282416e-05}, {"idx": 20, "label": "drop", "bound": 1, "ok": true, "nat_ok": false, "g": 0.0010553578613325953}, {"idx": 20, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.018793802708387375}, {"idx": 1078, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.49454179406166077}, {"idx": 1078, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.37908047437667847}, {"idx": 1078, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6708132028579712}, {"idx": 1078, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.8912518620491028}, {"idx": 136, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9644766449928284}, {"idx": 136, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8848986029624939}, {"idx": 136, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9751697182655334}, {"idx": 166, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9981440305709839}, {"idx": 166, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9680544137954712}, {"idx": 166, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8630660176277161}, {"idx": 166, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6589534878730774}, {"idx": 166, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9408612847328186}, {"idx": 809, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.04236968606710434}, {"idx": 809, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.030924595892429352}, {"idx": 809, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.002249114913865924}, {"idx": 809, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.35605624318122864}, {"idx": 809, "label": "easy", "bound": 4, "ok": false, "nat_ok": false, "g": 0.8541260957717896}, {"idx": 13, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.8134984970092773}, {"idx": 13, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0007121828966774046}, {"idx": 13, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 1.4554619156115223e-05}, {"idx": 13, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.003990524914115667}, {"idx": 13, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.0493205264210701}, {"idx": 739, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.14416781067848206}, {"idx": 739, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00215075071901083}, {"idx": 739, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6702620983123779}, {"idx": 739, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.5914055705070496}, {"idx": 84, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0011064179707318544}, {"idx": 84, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9996927976608276}, {"idx": 84, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9941079616546631}, {"idx": 84, "label": "easy", "bound": 3, "ok": false, "nat_ok": true, "g": 0.9915693402290344}, {"idx": 237, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.997184693813324}, {"idx": 237, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9628118276596069}, {"idx": 237, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.999225378036499}, {"idx": 237, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9987165927886963}, {"idx": 237, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9542054533958435}, {"idx": 1271, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 3.341326373629272e-05}, {"idx": 1271, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.22234182059764862}, {"idx": 1271, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.5853410363197327}, {"idx": 1271, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.03381727263331413}, {"idx": 7, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0004178208764642477}, {"idx": 7, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0018824234139174223}, {"idx": 553, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0040671564638614655}, {"idx": 553, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.00013553602911997586}, {"idx": 553, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8147738575935364}, {"idx": 553, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9203653335571289}, {"idx": 553, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8919222354888916}, {"idx": 553, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.908768355846405}, {"idx": 1311, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.04672740399837494}, {"idx": 1311, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.8882309794425964}, {"idx": 599, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9053880572319031}, {"idx": 464, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.2574070990085602}, {"idx": 464, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.06489303708076477}, {"idx": 464, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.32901105284690857}, {"idx": 464, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.3717988431453705}, {"idx": 464, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.5172114968299866}, {"idx": 464, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.0402972437441349}, {"idx": 288, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9997252821922302}, {"idx": 288, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9394540786743164}, {"idx": 1173, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.25967657566070557}, {"idx": 1173, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.1052870973944664}, {"idx": 1173, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7856341600418091}, {"idx": 1173, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6028534770011902}, {"idx": 589, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.3787837624549866}, {"idx": 589, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.922925591468811}, {"idx": 589, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9531525373458862}, {"idx": 589, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.805508553981781}, {"idx": 391, "label": "drop", "bound": 0, "ok": true, "nat_ok": false, "g": 0.9923704862594604}, {"idx": 391, "label": "drop", "bound": 1, "ok": true, "nat_ok": false, "g": 0.0027411463670432568}, {"idx": 391, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.02802169881761074}, {"idx": 391, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8185137510299683}, {"idx": 888, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9999909400939941}, {"idx": 888, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9910447597503662}, {"idx": 888, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9997795224189758}, {"idx": 888, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9997000694274902}, {"idx": 888, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9993267059326172}, {"idx": 943, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 2.8608455977519043e-05}, {"idx": 943, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 6.656146638306382e-07}, {"idx": 943, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0015806345036253333}, {"idx": 943, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9733445048332214}, {"idx": 943, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.6398032903671265}, {"idx": 676, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0024970651138573885}, {"idx": 676, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0001294132089242339}, {"idx": 676, "label": "easy", "bound": 2, "ok": false, "nat_ok": true, "g": 0.16287371516227722}, {"idx": 676, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6870414018630981}, {"idx": 676, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.47075873613357544}, {"idx": 786, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.014636987820267677}, {"idx": 786, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.7039185762405396}, {"idx": 786, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7632042765617371}, {"idx": 786, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9212180376052856}, {"idx": 344, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 5.055498490946775e-07}, {"idx": 344, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.005696398206055164}, {"idx": 344, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.08509236574172974}, {"idx": 344, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9664850831031799}, {"idx": 677, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.8056274652481079}, {"idx": 677, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.7835099101066589}, {"idx": 677, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9462313652038574}, {"idx": 677, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7074131369590759}, {"idx": 863, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0016210497124120593}, {"idx": 863, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.24240440130233765}, {"idx": 863, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6810182929039001}, {"idx": 863, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.2744215428829193}, {"idx": 863, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.6697016358375549}, {"idx": 891, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0004432032292243093}, {"idx": 891, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 7.835120413801633e-06}, {"idx": 891, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9324911236763}, {"idx": 891, "label": "drop", "bound": 3, "ok": true, "nat_ok": false, "g": 0.00021225193631835282}, {"idx": 303, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0009543633204884827}, {"idx": 303, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 5.7473360357107595e-05}, {"idx": 303, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 7.012756395852193e-05}, {"idx": 916, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.023477761074900627}, {"idx": 916, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.01856662891805172}, {"idx": 916, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.4675416648387909}, {"idx": 302, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9945977926254272}, {"idx": 302, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9998873472213745}, {"idx": 302, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9722648859024048}, {"idx": 1073, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 3.1141982617555186e-05}, {"idx": 1073, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.00013483954535331577}, {"idx": 1073, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0011771881254389882}, {"idx": 1073, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.005991147831082344}, {"idx": 647, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00924737099558115}, {"idx": 647, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9391499757766724}, {"idx": 647, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.666696310043335}, {"idx": 647, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.43830230832099915}, {"idx": 647, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.3753015995025635}, {"idx": 264, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00013727987243328243}, {"idx": 264, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00012246104597579688}, {"idx": 264, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.006229565013200045}, {"idx": 264, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9790715575218201}, {"idx": 427, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.13972124457359314}, {"idx": 427, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.000153113083797507}, {"idx": 427, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.24698254466056824}, {"idx": 382, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 1.57969930114632e-06}, {"idx": 382, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.819243848323822}, {"idx": 382, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.47003334760665894}, {"idx": 382, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.49633824825286865}, {"idx": 382, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.5412392616271973}, {"idx": 382, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.9017461538314819}, {"idx": 715, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 6.815253982495051e-06}, {"idx": 715, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.3935955762863159}, {"idx": 715, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9413856863975525}, {"idx": 796, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.6589140295982361}, {"idx": 796, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.1442117989063263}, {"idx": 796, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.41989532113075256}, {"idx": 875, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.1317606419324875}, {"idx": 875, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9997723698616028}, {"idx": 875, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.931944727897644}, {"idx": 875, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9889856576919556}, {"idx": 875, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9344903826713562}, {"idx": 1007, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001235941075719893}, {"idx": 1007, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.006333967670798302}, {"idx": 1007, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.00757753849029541}, {"idx": 1007, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.041892342269420624}, {"idx": 1007, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.05402929335832596}, {"idx": 797, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0955004021525383}, {"idx": 797, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.3951394259929657}, {"idx": 797, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.23247002065181732}, {"idx": 797, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9510345458984375}, {"idx": 450, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0070804706774652}, {"idx": 450, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.020961254835128784}, {"idx": 450, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6453871726989746}, {"idx": 450, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.3443298637866974}, {"idx": 401, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0005949050537310541}, {"idx": 401, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 8.857675857143477e-05}, {"idx": 401, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0639522448182106}, {"idx": 401, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.4426954984664917}, {"idx": 401, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.46024268865585327}, {"idx": 899, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9999909400939941}, {"idx": 899, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9933630228042603}, {"idx": 899, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9992064833641052}, {"idx": 418, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.04428831487894058}, {"idx": 418, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.07875023782253265}, {"idx": 418, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.5445123314857483}, {"idx": 1201, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.2874990403652191}, {"idx": 1201, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.010848923586308956}, {"idx": 1201, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9992570281028748}, {"idx": 1201, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9419102072715759}, {"idx": 1201, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8772000670433044}, {"idx": 1201, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.8062958717346191}, {"idx": 101, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.10317359119653702}, {"idx": 101, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.10706508159637451}, {"idx": 101, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6515777707099915}, {"idx": 101, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.1652815192937851}, {"idx": 795, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.13093604147434235}, {"idx": 795, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9806925654411316}, {"idx": 795, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9766588807106018}, {"idx": 795, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.985640287399292}, {"idx": 795, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9942514896392822}, {"idx": 795, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.948293924331665}, {"idx": 68, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.03589162603020668}, {"idx": 68, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.8133842945098877}, {"idx": 68, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9997342228889465}, {"idx": 479, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.028874730691313744}, {"idx": 479, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.017613131552934647}, {"idx": 479, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.509641706943512}, {"idx": 479, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.7668529748916626}, {"idx": 1296, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 3.3553696994204074e-05}, {"idx": 1296, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9011640548706055}, {"idx": 1296, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.6197419762611389}, {"idx": 1296, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.995639443397522}, {"idx": 1296, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.7628369331359863}, {"idx": 1296, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.990035891532898}, {"idx": 173, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 8.197522305408711e-08}, {"idx": 173, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0001624122669454664}, {"idx": 173, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 1.3798007181264893e-08}, {"idx": 173, "label": "drop", "bound": 3, "ok": false, "nat_ok": true, "g": 0.03590095788240433}, {"idx": 173, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.6676754355430603}, {"idx": 173, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.8254244327545166}, {"idx": 744, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.01252902951091528}, {"idx": 744, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9504926204681396}, {"idx": 744, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9756399393081665}, {"idx": 116, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9553708434104919}, {"idx": 116, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.034117888659238815}, {"idx": 116, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.5012242197990417}, {"idx": 116, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9677246809005737}, {"idx": 1306, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0741555318236351}, {"idx": 1306, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 8.238237933255732e-05}, {"idx": 1306, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0009704385884106159}, {"idx": 1306, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.08861883729696274}, {"idx": 1306, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.0884038507938385}, {"idx": 1306, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.027424093335866928}, {"idx": 355, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.013608655892312527}, {"idx": 355, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00998894963413477}, {"idx": 355, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8641074895858765}, {"idx": 477, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9956739544868469}, {"idx": 477, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.7623897790908813}, {"idx": 477, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8014414310455322}, {"idx": 477, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6802314519882202}, {"idx": 477, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.881622314453125}, {"idx": 1250, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.26221075654029846}, {"idx": 1250, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8952398896217346}, {"idx": 609, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9163966774940491}, {"idx": 609, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.5428136587142944}, {"idx": 609, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7698326706886292}, {"idx": 1254, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 0.3136064410209656}, {"idx": 1254, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9262480139732361}, {"idx": 1254, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9205812811851501}, {"idx": 1254, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.837395429611206}, {"idx": 177, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00026020058430731297}, {"idx": 177, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.03333136811852455}, {"idx": 177, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.021434130147099495}, {"idx": 177, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.2596299946308136}, {"idx": 177, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.04058648273348808}, {"idx": 177, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.56580650806427}, {"idx": 1048, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 7.872404239606112e-06}, {"idx": 1048, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.7011688351631165}, {"idx": 1048, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9199312329292297}, {"idx": 582, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.04760418087244034}, {"idx": 582, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.7816925048828125}, {"idx": 582, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.692341685295105}, {"idx": 582, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9316426515579224}, {"idx": 723, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0001950696314452216}, {"idx": 723, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9181908369064331}, {"idx": 723, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.923943042755127}, {"idx": 723, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9374012351036072}, {"idx": 842, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.047236233949661255}, {"idx": 842, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9854822158813477}, {"idx": 842, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9578287601470947}, {"idx": 842, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9996713399887085}, {"idx": 938, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.011170212179422379}, {"idx": 938, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0014133016811683774}, {"idx": 938, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 7.074834138620645e-05}, {"idx": 938, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.0007449256954714656}, {"idx": 938, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.5395556092262268}, {"idx": 938, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.8056705594062805}, {"idx": 110, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.011205745860934258}, {"idx": 110, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.020666105672717094}, {"idx": 110, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.48203375935554504}, {"idx": 110, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9853646159172058}, {"idx": 110, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8953137993812561}, {"idx": 1057, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.069684237241745}, {"idx": 1057, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 4.3442403693916276e-05}, {"idx": 1057, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0058954739943146706}, {"idx": 1057, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.5678062438964844}, {"idx": 1057, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.47880375385284424}, {"idx": 1120, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.6335522532463074}, {"idx": 1120, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.6748074889183044}, {"idx": 1120, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6872397065162659}, {"idx": 881, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.10102022439241409}, {"idx": 881, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.5153239965438843}, {"idx": 881, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6321257948875427}, {"idx": 881, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8986982703208923}, {"idx": 1189, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.8951948881149292}, {"idx": 1189, "label": "hard", "bound": 1, "ok": true, "nat_ok": false, "g": 0.4636441469192505}, {"idx": 1189, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9568139314651489}, {"idx": 931, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 4.942387022310868e-05}, {"idx": 931, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0030405744910240173}, {"idx": 931, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0010423690546303988}, {"idx": 931, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 6.302518158918247e-06}, {"idx": 931, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 2.7331347496328817e-07}, {"idx": 1003, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.016606707125902176}, {"idx": 1003, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.010371219366788864}, {"idx": 1003, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6118818521499634}, {"idx": 521, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0021176643203943968}, {"idx": 521, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.6485192775726318}, {"idx": 521, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.057841382920742035}, {"idx": 521, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.11578185111284256}, {"idx": 521, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.037827275693416595}, {"idx": 521, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.15156038105487823}, {"idx": 974, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0012211150024086237}, {"idx": 974, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9907371401786804}, {"idx": 974, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9886298179626465}, {"idx": 974, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9538065195083618}, {"idx": 974, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9536972045898438}, {"idx": 974, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9561794400215149}, {"idx": 690, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 9.414499800186604e-05}, {"idx": 690, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0900464877486229}, {"idx": 690, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.414185106754303}, {"idx": 690, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9613185524940491}, {"idx": 690, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9796406626701355}, {"idx": 690, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.7198324799537659}, {"idx": 544, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.9899080991744995}, {"idx": 544, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9490746855735779}, {"idx": 544, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9281786680221558}, {"idx": 86, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.11353129893541336}, {"idx": 86, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0006657200865447521}, {"idx": 86, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.005757030099630356}, {"idx": 86, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.8008727431297302}, {"idx": 86, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.4299689531326294}, {"idx": 89, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 2.238596061943099e-05}, {"idx": 89, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.7234625816345215}, {"idx": 89, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9858037233352661}, {"idx": 333, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.7839969992637634}, {"idx": 333, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9985737800598145}, {"idx": 716, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 7.3969035838672426e-06}, {"idx": 716, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 3.2018618867368787e-07}, {"idx": 716, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 5.749633055529557e-05}, {"idx": 716, "label": "hard", "bound": 3, "ok": false, "nat_ok": true, "g": 0.6037200689315796}, {"idx": 716, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.5592136383056641}, {"idx": 14, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.007473591715097427}, {"idx": 14, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.23831386864185333}, {"idx": 14, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.014063641428947449}, {"idx": 14, "label": "drop", "bound": 3, "ok": false, "nat_ok": true, "g": 0.004918550606817007}, {"idx": 14, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.3177516460418701}, {"idx": 14, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9355410933494568}, {"idx": 287, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.016571365296840668}, {"idx": 287, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9772473573684692}, {"idx": 130, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.10039883106946945}, {"idx": 130, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.0057950871996581554}, {"idx": 130, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9546511173248291}, {"idx": 130, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9883224368095398}, {"idx": 130, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9984663724899292}, {"idx": 130, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9594502449035645}, {"idx": 876, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.000475242588436231}, {"idx": 876, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00029083440313115716}, {"idx": 876, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.001063151634298265}, {"idx": 876, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7012156844139099}, {"idx": 454, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9995489716529846}, {"idx": 454, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.6289810538291931}, {"idx": 454, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9987745881080627}, {"idx": 1246, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9900446534156799}, {"idx": 1246, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.7527308464050293}, {"idx": 1246, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9584578275680542}, {"idx": 812, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00030063698068261147}, {"idx": 812, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.00015949513181112707}, {"idx": 812, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.00019363257160875946}, {"idx": 812, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 2.984229240610148e-06}, {"idx": 812, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 2.9590089980047196e-05}, {"idx": 812, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.1348608434200287}, {"idx": 1142, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.8941221237182617}, {"idx": 1142, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.942215085029602}, {"idx": 452, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 5.802344821859151e-05}, {"idx": 452, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.024659356102347374}, {"idx": 452, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.11974769830703735}, {"idx": 452, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9136810302734375}, {"idx": 452, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9266968369483948}, {"idx": 452, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9445031881332397}, {"idx": 929, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.8862290382385254}, {"idx": 929, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.01787612773478031}, {"idx": 929, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9709317684173584}, {"idx": 929, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9838643074035645}, {"idx": 929, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9810194373130798}, {"idx": 394, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.10134929418563843}, {"idx": 394, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.25769850611686707}, {"idx": 394, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7767631411552429}, {"idx": 695, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9854316115379333}, {"idx": 695, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9680241942405701}, {"idx": 1245, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00018875910609494895}, {"idx": 1245, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.14593972265720367}, {"idx": 1245, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.05276383087038994}, {"idx": 1245, "label": "drop", "bound": 3, "ok": false, "nat_ok": true, "g": 0.22988592088222504}, {"idx": 1245, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8976348638534546}, {"idx": 209, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0006851990474388003}, {"idx": 209, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.008430972695350647}, {"idx": 209, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.19116981327533722}, {"idx": 209, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6783585548400879}, {"idx": 209, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.19709567725658417}, {"idx": 1241, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.031895335763692856}, {"idx": 1241, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.1717521995306015}, {"idx": 1241, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.25655150413513184}, {"idx": 1241, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.3493387997150421}, {"idx": 1241, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.3333253860473633}, {"idx": 175, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.020480230450630188}, {"idx": 175, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.21844086050987244}, {"idx": 175, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.48876550793647766}, {"idx": 175, "label": "drop", "bound": 3, "ok": false, "nat_ok": true, "g": 0.068113312125206}, {"idx": 175, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.758387565612793}, {"idx": 653, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.06012268736958504}, {"idx": 653, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.04707777872681618}, {"idx": 653, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6048235297203064}, {"idx": 653, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9821627736091614}, {"idx": 661, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.02450437657535076}, {"idx": 661, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.1372145563364029}, {"idx": 661, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.49616605043411255}, {"idx": 661, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.35702744126319885}, {"idx": 1097, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 2.1141161141713383e-06}, {"idx": 1097, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9533910751342773}, {"idx": 1097, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.23606017231941223}, {"idx": 1097, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7352893948554993}, {"idx": 1097, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.21990516781806946}, {"idx": 1097, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.6925538182258606}, {"idx": 933, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00019322663138154894}, {"idx": 933, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.5514314770698547}, {"idx": 933, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.0010270184138789773}, {"idx": 933, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.1667683720588684}, {"idx": 933, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8938755989074707}, {"idx": 665, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.17633116245269775}, {"idx": 665, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.02463935688138008}, {"idx": 665, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.646625816822052}, {"idx": 665, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.999049723148346}, {"idx": 523, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.21338492631912231}, {"idx": 523, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.7354848980903625}, {"idx": 523, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9009670615196228}, {"idx": 59, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.31545478105545044}, {"idx": 59, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.30500784516334534}, {"idx": 59, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8683202266693115}, {"idx": 59, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9837859272956848}, {"idx": 59, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9899187088012695}, {"idx": 1069, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0003526029468048364}, {"idx": 1069, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00011470245954114944}, {"idx": 1069, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8977358341217041}, {"idx": 1069, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6967287659645081}, {"idx": 1069, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.7904161810874939}, {"idx": 1069, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.6249462962150574}, {"idx": 90, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.010025273077189922}, {"idx": 90, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.005734652280807495}, {"idx": 90, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.3270970582962036}, {"idx": 90, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.381212055683136}, {"idx": 90, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.494762659072876}, {"idx": 90, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.935646116733551}, {"idx": 389, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001029108534567058}, {"idx": 389, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.13311485946178436}, {"idx": 389, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6689049005508423}, {"idx": 389, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8924407958984375}, {"idx": 389, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.6440283060073853}, {"idx": 755, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001432992285117507}, {"idx": 755, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0005689773824997246}, {"idx": 755, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0874873548746109}, {"idx": 164, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.5584254264831543}, {"idx": 164, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9974923133850098}, {"idx": 164, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8845313787460327}, {"idx": 164, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9927595853805542}, {"idx": 164, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.7713096737861633}, {"idx": 429, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.002411738270893693}, {"idx": 429, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.5558112263679504}, {"idx": 429, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9486722946166992}, {"idx": 429, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7201390266418457}, {"idx": 429, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9799177050590515}, {"idx": 429, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9554372429847717}, {"idx": 1074, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.023398976773023605}, {"idx": 1074, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.2792987525463104}, {"idx": 1074, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7317479252815247}, {"idx": 1074, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.3373156785964966}, {"idx": 708, "label": "easy", "bound": 0, "ok": false, "nat_ok": true, "g": 0.9165599942207336}, {"idx": 708, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9446829557418823}, {"idx": 384, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.3333607316017151}, {"idx": 384, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.2839968502521515}, {"idx": 412, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9793689846992493}, {"idx": 412, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9604236483573914}, {"idx": 514, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9883524775505066}, {"idx": 514, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9717027544975281}, {"idx": 514, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.7180423140525818}, {"idx": 617, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.7687695026397705}, {"idx": 617, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8422930836677551}, {"idx": 617, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8954775333404541}, {"idx": 617, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9250124096870422}, {"idx": 617, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8955965638160706}, {"idx": 639, "label": "drop", "bound": 0, "ok": true, "nat_ok": true, "g": 5.108288014810114e-09}, {"idx": 639, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9727941155433655}, {"idx": 639, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8824902176856995}, {"idx": 1058, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.10300332307815552}, {"idx": 1058, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.12352108210325241}, {"idx": 1058, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6871408224105835}, {"idx": 1058, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8053141236305237}, {"idx": 1058, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9092867970466614}, {"idx": 787, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.17474812269210815}, {"idx": 787, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0889524593949318}, {"idx": 787, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.965436577796936}, {"idx": 987, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.05605846643447876}, {"idx": 987, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.6822201013565063}, {"idx": 987, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7530224323272705}, {"idx": 704, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.001554256770759821}, {"idx": 704, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.013615903444588184}, {"idx": 704, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9172537326812744}, {"idx": 704, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9811690449714661}, {"idx": 491, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0504072867333889}, {"idx": 491, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9958981871604919}, {"idx": 491, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8597455620765686}, {"idx": 91, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.03765418380498886}, {"idx": 91, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0012289949227124453}, {"idx": 91, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.31840741634368896}, {"idx": 91, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.47644850611686707}, {"idx": 626, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 1.1492443441341038e-08}, {"idx": 626, "label": "drop", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9535245299339294}, {"idx": 626, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9765844941139221}, {"idx": 1130, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 1.599890129000414e-05}, {"idx": 1130, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 2.3104241336113773e-05}, {"idx": 1130, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 4.171670298092067e-06}, {"idx": 1130, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 2.1679134079022333e-06}, {"idx": 1130, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 1.3017974197282456e-05}, {"idx": 1130, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.1313152015209198}, {"idx": 148, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.05432663485407829}, {"idx": 148, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.7183213233947754}, {"idx": 148, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9859533905982971}, {"idx": 148, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.7763965725898743}, {"idx": 148, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9547644257545471}, {"idx": 18, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.4676785469055176}, {"idx": 18, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.014515537768602371}, {"idx": 897, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.022489747032523155}, {"idx": 897, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.00010943342931568623}, {"idx": 897, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.03844399377703667}, {"idx": 897, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6899985074996948}, {"idx": 897, "label": "easy", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9275957942008972}, {"idx": 897, "label": "easy", "bound": 5, "ok": false, "nat_ok": false, "g": 0.9688832759857178}, {"idx": 97, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.03417937457561493}, {"idx": 97, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.005039048381149769}, {"idx": 97, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.719572126865387}, {"idx": 97, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.945979654788971}, {"idx": 844, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 4.627579073712695e-06}, {"idx": 844, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 1.2724988209811272e-06}, {"idx": 844, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 2.139268872269895e-06}, {"idx": 844, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6161851286888123}, {"idx": 844, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.22383758425712585}, {"idx": 844, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.19101500511169434}, {"idx": 1010, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.011078767478466034}, {"idx": 1010, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.016222555190324783}, {"idx": 1010, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.4397125840187073}, {"idx": 1010, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7833901643753052}, {"idx": 1010, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.387716144323349}, {"idx": 1010, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.056321680545806885}, {"idx": 901, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0004168712766841054}, {"idx": 901, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0012706296984106302}, {"idx": 901, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.12305787205696106}, {"idx": 901, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.030138392001390457}, {"idx": 901, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.7795114517211914}, {"idx": 241, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0018513994291424751}, {"idx": 241, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.10356553643941879}, {"idx": 241, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8721011281013489}, {"idx": 241, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.5212270617485046}, {"idx": 241, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.26803967356681824}, {"idx": 241, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.943909764289856}, {"idx": 493, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0005614833207800984}, {"idx": 493, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.026368558406829834}, {"idx": 493, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8305085301399231}, {"idx": 493, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.05227116495370865}, {"idx": 493, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.079644575715065}, {"idx": 493, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.4044634699821472}, {"idx": 202, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9498236775398254}, {"idx": 202, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.93480384349823}, {"idx": 202, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9519608020782471}, {"idx": 314, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.5454654097557068}, {"idx": 314, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 5.906051956117153e-05}, {"idx": 314, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.9891759753227234}, {"idx": 314, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.010483608581125736}, {"idx": 314, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9372342228889465}, {"idx": 314, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.9732937812805176}, {"idx": 847, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.2938712537288666}, {"idx": 847, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.8305119276046753}, {"idx": 847, "label": "drop", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6576037406921387}, {"idx": 437, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.23766252398490906}, {"idx": 437, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8755202293395996}, {"idx": 902, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.0008685501525178552}, {"idx": 902, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9051651358604431}, {"idx": 902, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9303175210952759}, {"idx": 902, "label": "easy", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9930846691131592}, {"idx": 902, "label": "easy", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9924213290214539}, {"idx": 157, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.009395763278007507}, {"idx": 157, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9772904515266418}, {"idx": 157, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8796337842941284}, {"idx": 157, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.33962199091911316}, {"idx": 874, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9934176206588745}, {"idx": 874, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.9437941908836365}, {"idx": 874, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9989914298057556}, {"idx": 1144, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.021973367780447006}, {"idx": 1144, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0025799686554819345}, {"idx": 1144, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.007086623925715685}, {"idx": 1144, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.5284144282341003}, {"idx": 807, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.6523383259773254}, {"idx": 807, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.7816269993782043}, {"idx": 807, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6499013304710388}, {"idx": 80, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00047034688759595156}, {"idx": 80, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.21122483909130096}, {"idx": 80, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8237106800079346}, {"idx": 369, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 5.2016566769452766e-05}, {"idx": 369, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0003737520019058138}, {"idx": 369, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.000755547487642616}, {"idx": 369, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 3.052789543289691e-05}, {"idx": 369, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.004345169756561518}, {"idx": 511, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.905096173286438}, {"idx": 511, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.6831323504447937}, {"idx": 511, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8996369242668152}, {"idx": 262, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9957922697067261}, {"idx": 262, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.8415820598602295}, {"idx": 262, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9841294288635254}, {"idx": 262, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9431070685386658}, {"idx": 262, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9977703094482422}, {"idx": 571, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.17442083358764648}, {"idx": 571, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.1459663063287735}, {"idx": 571, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.5087657570838928}, {"idx": 571, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.8563493490219116}, {"idx": 721, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.001644333591684699}, {"idx": 721, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.007525225635617971}, {"idx": 654, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.06549519300460815}, {"idx": 654, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.04738909378647804}, {"idx": 654, "label": "hard", "bound": 2, "ok": true, "nat_ok": false, "g": 0.10613428801298141}, {"idx": 654, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8458896279335022}, {"idx": 890, "label": "easy", "bound": 0, "ok": true, "nat_ok": false, "g": 0.010344620794057846}, {"idx": 890, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.08313869684934616}, {"idx": 890, "label": "easy", "bound": 2, "ok": true, "nat_ok": false, "g": 0.9747493267059326}, {"idx": 890, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.20383207499980927}, {"idx": 890, "label": "easy", "bound": 4, "ok": false, "nat_ok": false, "g": 0.11544244736433029}, {"idx": 890, "label": "easy", "bound": 5, "ok": false, "nat_ok": false, "g": 0.816161572933197}, {"idx": 219, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 2.087786697302363e-06}, {"idx": 219, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.2196778804063797}, {"idx": 219, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.020855635404586792}, {"idx": 219, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.14230091869831085}, {"idx": 1140, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.2299630343914032}, {"idx": 1140, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.001667265547439456}, {"idx": 1140, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0037367173936218023}, {"idx": 1140, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.28170493245124817}, {"idx": 584, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0056681581772863865}, {"idx": 584, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.035501644015312195}, {"idx": 584, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.8363704085350037}, {"idx": 584, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.9624884724617004}, {"idx": 1249, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.002939314115792513}, {"idx": 1249, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 2.058859763565124e-06}, {"idx": 1249, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 5.69520625504083e-06}, {"idx": 1249, "label": "drop", "bound": 3, "ok": false, "nat_ok": true, "g": 2.587606218185101e-07}, {"idx": 1249, "label": "drop", "bound": 4, "ok": false, "nat_ok": true, "g": 0.001978789223358035}, {"idx": 1249, "label": "drop", "bound": 5, "ok": true, "nat_ok": true, "g": 0.2840164005756378}, {"idx": 1108, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9825909733772278}, {"idx": 1108, "label": "easy", "bound": 1, "ok": false, "nat_ok": true, "g": 0.9223273396492004}, {"idx": 1108, "label": "easy", "bound": 2, "ok": true, "nat_ok": true, "g": 0.998923122882843}, {"idx": 607, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.04762302339076996}, {"idx": 607, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0001703799789538607}, {"idx": 607, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.09823676943778992}, {"idx": 607, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.45797979831695557}, {"idx": 607, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.07943323254585266}, {"idx": 607, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.2038504034280777}, {"idx": 904, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.08894512802362442}, {"idx": 904, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.5252984166145325}, {"idx": 1052, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 1.0816600479301997e-05}, {"idx": 1052, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 2.835119994415436e-05}, {"idx": 1052, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.11255097389221191}, {"idx": 1052, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.6185617446899414}, {"idx": 1052, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.2877361476421356}, {"idx": 1238, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.09903096407651901}, {"idx": 1238, "label": "hard", "bound": 1, "ok": true, "nat_ok": true, "g": 0.0008773110457696021}, {"idx": 1238, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.574207067489624}, {"idx": 1238, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.5191946625709534}, {"idx": 1238, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.969036877155304}, {"idx": 946, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.7936840653419495}, {"idx": 946, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.9544009566307068}, {"idx": 946, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9244871735572815}, {"idx": 946, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8057163953781128}, {"idx": 1098, "label": "hard", "bound": 0, "ok": true, "nat_ok": true, "g": 0.5153177380561829}, {"idx": 1098, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.7956785559654236}, {"idx": 1098, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9914318323135376}, {"idx": 534, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0029370314441621304}, {"idx": 534, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.000390915316529572}, {"idx": 534, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6299588680267334}, {"idx": 534, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.18551425635814667}, {"idx": 558, "label": "hard", "bound": 0, "ok": true, "nat_ok": false, "g": 0.41085124015808105}, {"idx": 558, "label": "hard", "bound": 1, "ok": true, "nat_ok": false, "g": 0.8251511454582214}, {"idx": 558, "label": "hard", "bound": 2, "ok": true, "nat_ok": false, "g": 0.9684688448905945}, {"idx": 558, "label": "hard", "bound": 3, "ok": true, "nat_ok": false, "g": 0.6720696687698364}, {"idx": 558, "label": "hard", "bound": 4, "ok": true, "nat_ok": false, "g": 0.8397141098976135}, {"idx": 558, "label": "hard", "bound": 5, "ok": true, "nat_ok": false, "g": 0.3985927700996399}, {"idx": 474, "label": "easy", "bound": 0, "ok": true, "nat_ok": false, "g": 0.6240085363388062}, {"idx": 474, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.3049882650375366}, {"idx": 474, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.03493789955973625}, {"idx": 474, "label": "easy", "bound": 3, "ok": false, "nat_ok": false, "g": 0.07581651955842972}, {"idx": 474, "label": "easy", "bound": 4, "ok": false, "nat_ok": false, "g": 3.2787218060548184e-06}, {"idx": 474, "label": "easy", "bound": 5, "ok": false, "nat_ok": false, "g": 0.9338862299919128}, {"idx": 33, "label": "drop", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0001112963363993913}, {"idx": 33, "label": "drop", "bound": 1, "ok": false, "nat_ok": true, "g": 0.007611504755914211}, {"idx": 33, "label": "drop", "bound": 2, "ok": false, "nat_ok": true, "g": 0.00019436895672697574}, {"idx": 33, "label": "drop", "bound": 3, "ok": true, "nat_ok": true, "g": 0.01615131087601185}, {"idx": 33, "label": "drop", "bound": 4, "ok": true, "nat_ok": true, "g": 0.6245046854019165}, {"idx": 243, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.014172445982694626}, {"idx": 243, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.44206422567367554}, {"idx": 243, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.8339505791664124}, {"idx": 243, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6686558723449707}, {"idx": 1259, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.9184903502464294}, {"idx": 1259, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.6119549870491028}, {"idx": 1259, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9652054309844971}, {"idx": 353, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.004119943827390671}, {"idx": 353, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0003017773269675672}, {"idx": 353, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.12454822659492493}, {"idx": 509, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0010695308446884155}, {"idx": 509, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.000460330891655758}, {"idx": 509, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0032591791823506355}, {"idx": 509, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8531913161277771}, {"idx": 509, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.2769341468811035}, {"idx": 1096, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.00804191641509533}, {"idx": 1096, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0885087326169014}, {"idx": 1096, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.010812791995704174}, {"idx": 1055, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.09723997861146927}, {"idx": 1055, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.007493195589631796}, {"idx": 1055, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.7849297523498535}, {"idx": 1055, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.7506203651428223}, {"idx": 877, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0032916152849793434}, {"idx": 877, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.011732164770364761}, {"idx": 877, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.643059492111206}, {"idx": 877, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6635921597480774}, {"idx": 249, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 1.051177332556108e-05}, {"idx": 249, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 7.803286280250177e-06}, {"idx": 249, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 2.484218384779524e-05}, {"idx": 249, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 1.4762813407287467e-05}, {"idx": 249, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.19737745821475983}, {"idx": 1156, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 1.7770199747246807e-06}, {"idx": 1156, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 2.8426450171537e-07}, {"idx": 1156, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 2.0693696569651365e-06}, {"idx": 1156, "label": "hard", "bound": 3, "ok": false, "nat_ok": false, "g": 4.051440191688016e-05}, {"idx": 1156, "label": "hard", "bound": 4, "ok": false, "nat_ok": false, "g": 0.07761359214782715}, {"idx": 1156, "label": "hard", "bound": 5, "ok": false, "nat_ok": false, "g": 0.5294434428215027}, {"idx": 735, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 3.1142548095886013e-08}, {"idx": 735, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0007303345482796431}, {"idx": 735, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.9487296938896179}, {"idx": 470, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.003541624639183283}, {"idx": 470, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.4330194592475891}, {"idx": 470, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.6309782266616821}, {"idx": 1119, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.985537588596344}, {"idx": 1119, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0075429813005030155}, {"idx": 1119, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.005092693027108908}, {"idx": 1119, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.27155211567878723}, {"idx": 1119, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.49826061725616455}, {"idx": 1119, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.8524848818778992}, {"idx": 577, "label": "easy", "bound": 0, "ok": false, "nat_ok": false, "g": 0.36994388699531555}, {"idx": 577, "label": "easy", "bound": 1, "ok": false, "nat_ok": false, "g": 0.0012536077992990613}, {"idx": 577, "label": "easy", "bound": 2, "ok": false, "nat_ok": false, "g": 0.13871291279792786}, {"idx": 453, "label": "drop", "bound": 0, "ok": true, "nat_ok": false, "g": 5.205030362276375e-08}, {"idx": 453, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.004191892687231302}, {"idx": 453, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.7345795035362244}, {"idx": 453, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.2949632406234741}, {"idx": 453, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.1582496166229248}, {"idx": 132, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.37856218218803406}, {"idx": 132, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.14191991090774536}, {"idx": 1061, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 4.977947901352309e-05}, {"idx": 1061, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.007541921455413103}, {"idx": 1061, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.0043769762851297855}, {"idx": 1061, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.18124650418758392}, {"idx": 1061, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.9001129269599915}, {"idx": 1061, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.01323053240776062}, {"idx": 629, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.00215885229408741}, {"idx": 629, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.0010727272601798177}, {"idx": 629, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.013652294874191284}, {"idx": 670, "label": "easy", "bound": 0, "ok": true, "nat_ok": true, "g": 0.9781584739685059}, {"idx": 670, "label": "easy", "bound": 1, "ok": true, "nat_ok": true, "g": 0.43094849586486816}, {"idx": 478, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.6065739989280701}, {"idx": 478, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.6480380296707153}, {"idx": 478, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9555485844612122}, {"idx": 764, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 2.3181273718364537e-06}, {"idx": 764, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.6728543639183044}, {"idx": 764, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.5940219163894653}, {"idx": 764, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9814082980155945}, {"idx": 764, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8225134015083313}, {"idx": 764, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.824409008026123}, {"idx": 983, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.9744368195533752}, {"idx": 983, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.7894048690795898}, {"idx": 983, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.784626305103302}, {"idx": 983, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.8755598664283752}, {"idx": 983, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8639968037605286}, {"idx": 587, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.8063358664512634}, {"idx": 587, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 2.752739419520367e-05}, {"idx": 587, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 6.669991853414103e-05}, {"idx": 587, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 3.3369622087775497e-07}, {"idx": 587, "label": "drop", "bound": 4, "ok": false, "nat_ok": false, "g": 0.05165901407599449}, {"idx": 587, "label": "drop", "bound": 5, "ok": false, "nat_ok": false, "g": 0.0034829776268452406}, {"idx": 1192, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0006806409801356494}, {"idx": 1192, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.225699320435524}, {"idx": 1192, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.16097691655158997}, {"idx": 1192, "label": "drop", "bound": 3, "ok": false, "nat_ok": false, "g": 0.8964192271232605}, {"idx": 350, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.03417682275176048}, {"idx": 350, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.011144024319946766}, {"idx": 350, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.9835495948791504}, {"idx": 281, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.0070679206401109695}, {"idx": 281, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 8.801142030279152e-06}, {"idx": 31, "label": "hard", "bound": 0, "ok": false, "nat_ok": false, "g": 0.3044491410255432}, {"idx": 31, "label": "hard", "bound": 1, "ok": false, "nat_ok": false, "g": 0.3184031546115875}, {"idx": 31, "label": "hard", "bound": 2, "ok": false, "nat_ok": false, "g": 0.939698338508606}, {"idx": 1132, "label": "drop", "bound": 0, "ok": false, "nat_ok": false, "g": 0.3562106490135193}, {"idx": 1132, "label": "drop", "bound": 1, "ok": false, "nat_ok": false, "g": 0.08923516422510147}, {"idx": 1132, "label": "drop", "bound": 2, "ok": false, "nat_ok": false, "g": 0.026158036664128304}, {"idx": 1033, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.0011124334996566176}, {"idx": 1033, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.6822202205657959}, {"idx": 1033, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.8923472166061401}, {"idx": 1033, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.6030527949333191}, {"idx": 1033, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.8191910982131958}, {"idx": 671, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 5.839419463882223e-05}, {"idx": 671, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 4.874012233813119e-07}, {"idx": 671, "label": "hard", "bound": 2, "ok": true, "nat_ok": true, "g": 0.6975844502449036}, {"idx": 671, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.9426795244216919}, {"idx": 671, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9883267283439636}, {"idx": 671, "label": "hard", "bound": 5, "ok": true, "nat_ok": true, "g": 0.8099181056022644}, {"idx": 751, "label": "hard", "bound": 0, "ok": false, "nat_ok": true, "g": 0.07475783675909042}, {"idx": 751, "label": "hard", "bound": 1, "ok": false, "nat_ok": true, "g": 0.00016961473738774657}, {"idx": 751, "label": "hard", "bound": 2, "ok": false, "nat_ok": true, "g": 0.013905235566198826}, {"idx": 751, "label": "hard", "bound": 3, "ok": true, "nat_ok": true, "g": 0.3968031108379364}, {"idx": 751, "label": "hard", "bound": 4, "ok": true, "nat_ok": true, "g": 0.9083938002586365}]
\ No newline at end of file