{'D': 2, 'al': ('2', '-1'), 'lam': ('-1/2', '1/2'), 'fal': 0.5857864376269049, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.03553390593273775)], 'rvals': None, 'sumrat': False, 'dt': 0.011551141738891602}
{'D': 2, 'al': ('15/7', '-6/7'), 'lam': ('-4/7', '3/7'), 'fal': 0.9306740893944898, 'flam': 0.034662955302755094, 'N': 28, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(14, 28, 1, 14, 54, 14, 28, 12, 0.005225703779897474)], 'rvals': None, 'sumrat': False, 'dt': 0.018011093139648438}
{'D': 2, 'al': ('0', '2/5'), 'lam': ('1/2', '-1/5'), 'fal': 0.565685424949238, 'flam': 0.21715728752538097, 'N': 4, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.0857864376269049)], 'rvals': None, 'sumrat': False, 'dt': 0.012248039245605469}
{'D': 2, 'al': ('4/3', '-1/2'), 'lam': ('-1/6', '1/4'), 'fal': 0.6262265521467857, 'flam': 0.18688672392660713, 'N': 5, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 6, 1, 3, 20, 6, 12, 2, 0.06556638036696445)], 'rvals': None, 'sumrat': False, 'dt': 0.012682914733886719}
{'D': 3, 'al': ('-1/7', '2/7'), 'lam': ('4/7', '-1/7'), 'fal': 0.3520145164482506, 'flam': 0.32399274177587467, 'N': 3, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.028021774672376005)], 'rvals': None, 'sumrat': False, 'dt': 0.011791706085205078}
{'D': 3, 'al': ('2/5', '1/5'), 'lam': ('3/10', '-1/10'), 'fal': 0.7464101615137755, 'flam': 0.1267949192431123, 'N': 7, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 8, 1, 4, 14, 4, 8, 2, 0.11243556529821408)], 'rvals': None, 'sumrat': False, 'dt': 0.012921810150146484}
{'D': 3, 'al': ('3/2', '-1/3'), 'lam': ('-1/4', '1/6'), 'fal': 0.9226497308103743, 'flam': 0.038675134594812866, 'N': 25, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 38, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(13, 26, 1, 13, 100, 26, 52, 22, 0.03312163512967814)], 'rvals': None, 'sumrat': False, 'dt': 0.017083168029785156}
{'D': 5, 'al': ('1', '-2/7'), 'lam': ('0', '1/7'), 'fal': 0.36112343500006006, 'flam': 0.31943828249996997, 'N': 3, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.041685152500090084)], 'rvals': None, 'sumrat': False, 'dt': 0.011837959289550781}
{'D': 5, 'al': ('1', '-1/5'), 'lam': ('0', '1/10'), 'fal': 0.552786404500042, 'flam': 0.223606797749979, 'N': 4, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.1180339887498949)], 'rvals': None, 'sumrat': False, 'dt': 0.012397050857543945}
{'D': 5, 'al': ('1/6', '1/6'), 'lam': ('5/12', '-1/12'), 'fal': 0.5393446629166316, 'flam': 0.23032766854168418, 'N': 4, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.15163834270842091)], 'rvals': None, 'sumrat': False, 'dt': 0.012547016143798828}
{'D': 7, 'al': ('-1/7', '2/7'), 'lam': ('4/7', '-1/7'), 'fal': 0.6130718031613116, 'flam': 0.19346409841934417, 'N': 5, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 6, 1, 3, 20, 6, 12, 2, 0.032679507903278955)], 'rvals': None, 'sumrat': False, 'dt': 0.012460947036743164}
{'D': 7, 'al': ('1', '-1/5'), 'lam': ('0', '1/10'), 'fal': 0.47084973778708183, 'flam': 0.2645751311064591, 'N': 3, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.20627460668062278)], 'rvals': None, 'sumrat': False, 'dt': 0.012733936309814453}
{'D': 7, 'al': ('0', '1/6'), 'lam': ('1/2', '-1/12'), 'fal': 0.44095855184409843, 'flam': 0.27952072407795076, 'N': 3, 'rel': (1, 2, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 4, 1, 2, 6, 2, 4, 0, 0.16143782776614768)], 'rvals': None, 'sumrat': False, 'dt': 0.012823104858398438}
{'D': 2, 'al': ('-2', '2'), 'lam': ('2', '-1'), 'fal': 0.8284271247461903, 'flam': 0.5857864376269049, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.41421356237309515)], 'rvals': None, 'sumrat': False, 'dt': 0.012030363082885742}
{'D': 2, 'al': ('12/7', '-4/7'), 'lam': ('1/7', '2/7'), 'fal': 0.9061636786439456, 'flam': 0.5469181606780272, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.4530818393219728)], 'rvals': None, 'sumrat': False, 'dt': 0.012630224227905273}
{'D': 2, 'al': ('2/5', '1/5'), 'lam': ('4/5', '-1/10'), 'fal': 0.682842712474619, 'flam': 0.6585786437626905, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.3414213562373095)], 'rvals': None, 'sumrat': False, 'dt': 0.011451959609985352}
{'D': 2, 'al': ('7/6', '-1/3'), 'lam': ('5/12', '1/6'), 'fal': 0.6952621458756351, 'flam': 0.6523689270621825, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.34763107293781753)], 'rvals': None, 'sumrat': False, 'dt': 0.012288808822631836}
{'D': 3, 'al': ('2/7', '2/7'), 'lam': ('6/7', '-1/7'), 'fal': 0.7805859450196792, 'flam': 0.6097070274901605, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.3902929725098396)], 'rvals': None, 'sumrat': False, 'dt': 0.012110233306884766}
{'D': 3, 'al': ('6/5', '-1/5'), 'lam': ('2/5', '1/10'), 'fal': 0.8535898384862246, 'flam': 0.5732050807568877, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.4267949192431123)], 'rvals': None, 'sumrat': False, 'dt': 0.012256622314453125}
{'D': 3, 'al': ('2/3', '1/6'), 'lam': ('2/3', '-1/12'), 'fal': 0.9553418012614795, 'flam': 0.5223290993692603, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.47767090063073975)], 'rvals': None, 'sumrat': False, 'dt': 0.012282133102416992}
{'D': 5, 'al': ('-4/3', '1'), 'lam': ('5/3', '-1/2'), 'fal': 0.9027346441664564, 'flam': 0.5486326779167717, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.4513673220832282)], 'rvals': None, 'sumrat': False, 'dt': 0.012722015380859375}
{'D': 5, 'al': ('22/9', '-2/3'), 'lam': ('-2/9', '1/3'), 'fal': 0.9537324594445846, 'flam': 0.5231337702777077, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.4768662297222923)], 'rvals': None, 'sumrat': False, 'dt': 0.01264810562133789}
{'D': 5, 'al': ('4/3', '-1/6'), 'lam': ('1/3', '1/12'), 'fal': 0.9606553370833684, 'flam': 0.5196723314583158, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.4803276685416842)], 'rvals': None, 'sumrat': False, 'dt': 0.01268911361694336}
{'D': 7, 'al': ('10/3', '-1'), 'lam': ('-2/3', '1/2'), 'fal': 0.6875820222687427, 'flam': 0.6562089888656287, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.3437910111343713)], 'rvals': None, 'sumrat': False, 'dt': 0.012176990509033203}
{'D': 7, 'al': ('22/9', '-2/3'), 'lam': ('-2/9', '1/3'), 'fal': 0.6806102370680507, 'flam': 0.6596948814659747, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.34030511853402534)], 'rvals': None, 'sumrat': False, 'dt': 0.012487173080444336}
{'D': 7, 'al': ('-8/11', '6/11'), 'lam': ('15/11', '-3/11'), 'fal': 0.7158643514897768, 'flam': 0.6420678242551117, 'N': 1, 'rel': (1, 2, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 2, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 2, 1, 2, 3, 1, 2, 0, 0.3579321757448884)], 'rvals': None, 'sumrat': False, 'dt': 0.012408018112182617}
{'D': 2, 'al': ('5/2', '-3/2'), 'lam': ('-1/2', '1/2'), 'fal': 0.37867965644035717, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 3, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01807117462158203}
{'D': 2, 'al': ('19/7', '-9/7'), 'lam': ('-4/7', '3/7'), 'fal': 0.8960111340917347, 'flam': 0.034662955302755094, 'N': 28, 'rel': (1, 3, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 39, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.023963212966918945}
{'D': 2, 'al': ('11/5', '-9/10'), 'lam': ('-2/5', '3/10'), 'fal': 0.9272077938642143, 'flam': 0.024264068711928564, 'N': 41, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 55, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(14, 42, 1, 14, 68, 14, 42, 12, 0.005173182810929688)], 'rvals': None, 'sumrat': False, 'dt': 0.15859103202819824}
{'D': 2, 'al': ('-3/4', '3/4'), 'lam': ('7/12', '-1/4'), 'fal': 0.3106601717798214, 'flam': 0.22977994274005953, 'N': 4, 'rel': (1, 3, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018706083297729492}
{'D': 3, 'al': ('-8/7', '6/7'), 'lam': ('5/7', '-2/7'), 'fal': 0.34175783505903773, 'flam': 0.2194140549803208, 'N': 4, 'rel': (1, 3, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018724918365478516}
{'D': 3, 'al': ('5/2', '-9/10'), 'lam': ('-1/2', '3/10'), 'fal': 0.9411542731880106, 'flam': 0.0196152422706632, 'N': 50, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 67, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(17, 51, 1, 17, 166, 34, 102, 30, 0.019237886466839882)], 'rvals': None, 'sumrat': False, 'dt': 0.16419410705566406}
{'D': 3, 'al': ('-3/4', '3/4'), 'lam': ('7/12', '-1/4'), 'fal': 0.5490381056766579, 'flam': 0.150320631441114, 'N': 6, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 6, 1, 2, 8, 2, 6, 0, 0.052244420087797984)], 'rvals': None, 'sumrat': False, 'dt': 0.013534069061279297}
{'D': 5, 'al': ('25/7', '-9/7'), 'lam': ('-6/7', '3/7'), 'fal': 0.6964840289288416, 'flam': 0.10117199035705278, 'N': 9, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 9, 1, 3, 26, 6, 18, 2, 0.011719903570528751)], 'rvals': None, 'sumrat': False, 'dt': 0.013386011123657227}
{'D': 5, 'al': ('14/5', '-9/10'), 'lam': ('-3/5', '3/10'), 'fal': 0.7875388202501892, 'flam': 0.07082039324993694, 'N': 14, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 15, 1, 5, 46, 10, 30, 6, 0.00851449450088353)], 'rvals': None, 'sumrat': False, 'dt': 0.013670206069946289}
{'D': 5, 'al': ('-3/4', '3/4'), 'lam': ('7/12', '-1/4'), 'fal': 0.9270509831248424, 'flam': 0.02431633895838588, 'N': 41, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 55, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(14, 42, 1, 14, 68, 14, 42, 12, 0.0030301027061767627)], 'rvals': None, 'sumrat': False, 'dt': 0.15811896324157715}
{'D': 7, 'al': ('4', '-9/7'), 'lam': ('-1', '3/7'), 'fal': 0.5983197429169549, 'flam': 0.13389341902768173, 'N': 7, 'rel': (1, 3, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019153833389282227}
{'D': 7, 'al': ('14/5', '-9/10'), 'lam': ('-3/5', '3/10'), 'fal': 0.41882382004186847, 'flam': 0.19372539331937721, 'N': 5, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 6, 1, 2, 8, 2, 6, 0, 0.03137303340311419)], 'rvals': None, 'sumrat': False, 'dt': 0.013114213943481445}
{'D': 7, 'al': ('-3/2', '3/4'), 'lam': ('5/6', '-1/4'), 'fal': 0.484313483298443, 'flam': 0.17189550556718566, 'N': 5, 'rel': (1, 3, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 6, 1, 2, 8, 2, 6, 0, 0.14052247216407152)], 'rvals': None, 'sumrat': False, 'dt': 0.01314401626586914}
{'D': 2, 'al': ('5', '-3'), 'lam': ('-1', '1'), 'fal': 0.7573593128807143, 'flam': 0.41421356237309515, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.1715728752538097)], 'rvals': None, 'sumrat': False, 'dt': 0.012012243270874023}
{'D': 2, 'al': ('-4/7', '6/7'), 'lam': ('6/7', '-2/7'), 'fal': 0.6407544820340816, 'flam': 0.4530818393219728, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.09383632135605437)], 'rvals': None, 'sumrat': False, 'dt': 0.012130975723266602}
{'D': 2, 'al': ('17/10', '-3/5'), 'lam': ('1/10', '1/5'), 'fal': 0.8514718625761428, 'flam': 0.38284271247461904, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.23431457505076195)], 'rvals': None, 'sumrat': False, 'dt': 0.012124300003051758}
{'D': 2, 'al': ('1/4', '1/2'), 'lam': ('7/12', '-1/6'), 'fal': 0.9571067811865476, 'flam': 0.34763107293781753, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.30473785412436505)], 'rvals': None, 'sumrat': False, 'dt': 0.012697935104370117}
{'D': 3, 'al': ('17/7', '-6/7'), 'lam': ('-1/7', '2/7'), 'fal': 0.943956450655248, 'flam': 0.3520145164482506, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.29597096710349874)], 'rvals': None, 'sumrat': False, 'dt': 0.012290000915527344}
{'D': 3, 'al': ('11/10', '-3/10'), 'lam': ('3/10', '1/10'), 'fal': 0.5803847577293368, 'flam': 0.47320508075688766, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.05358983848622456)], 'rvals': None, 'sumrat': False, 'dt': 0.012069940567016602}
{'D': 3, 'al': ('1/4', '1/4'), 'lam': ('7/12', '-1/12'), 'fal': 0.6830127018922193, 'flam': 0.43899576603592694, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.1220084679281462)], 'rvals': None, 'sumrat': False, 'dt': 0.012369871139526367}
{'D': 5, 'al': ('11/7', '-3/7'), 'lam': ('1/7', '1/7'), 'fal': 0.6131137239286615, 'flam': 0.4622954253571128, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.07540914928577434)], 'rvals': None, 'sumrat': False, 'dt': 0.011938095092773438}
{'D': 5, 'al': ('-5/3', '1'), 'lam': ('11/9', '-1/3'), 'fal': 0.5694013108331232, 'flam': 0.4768662297222923, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.046267540555415425)], 'rvals': None, 'sumrat': False, 'dt': 0.012258052825927734}
{'D': 5, 'al': ('5/4', '-1/4'), 'lam': ('1/4', '1/12'), 'fal': 0.6909830056250525, 'flam': 0.4363389981249825, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.12732200375003502)], 'rvals': None, 'sumrat': False, 'dt': 0.01265716552734375}
{'D': 7, 'al': ('7/2', '-1'), 'lam': ('-1/2', '1/3'), 'fal': 0.8542486889354093, 'flam': 0.3819171036881969, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.23616579262360618)], 'rvals': None, 'sumrat': False, 'dt': 0.012437105178833008}
{'D': 7, 'al': ('-1', '2/3'), 'lam': ('1', '-2/9'), 'fal': 0.7638342073763938, 'flam': 0.41205526420786875, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.17588947158426255)], 'rvals': None, 'sumrat': False, 'dt': 0.012283086776733398}
{'D': 7, 'al': ('-14/11', '9/11'), 'lam': ('12/11', '-3/11'), 'fal': 0.8919783454164832, 'flam': 0.3693405515278389, 'N': 2, 'rel': (1, 3, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 3, 1, 2, 4, 1, 3, 0, 0.2613188969443222)], 'rvals': None, 'sumrat': False, 'dt': 0.01280069351196289}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('0', '1/2'), 'fal': 0.8786796564403572, 'flam': 0.7071067811865476, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017897367477416992}
{'D': 2, 'al': ('-6/7', '9/7'), 'lam': ('9/7', '-3/7'), 'fal': 0.9611317230511224, 'flam': 0.6796227589829592, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017728090286254883}
{'D': 2, 'al': ('-3/10', '9/10'), 'lam': ('11/10', '-3/10'), 'fal': 0.9727922061357857, 'flam': 0.6757359312880714, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01791095733642578}
{'D': 2, 'al': ('-1/4', '3/4'), 'lam': ('13/12', '-1/4'), 'fal': 0.8106601717798214, 'flam': 0.7297799427400595, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01772308349609375}
{'D': 3, 'al': ('3', '-9/7'), 'lam': ('0', '3/7'), 'fal': 0.7730775331257294, 'flam': 0.7423074889580903, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01788806915283203}
{'D': 3, 'al': ('3/10', '3/10'), 'lam': ('9/10', '-1/10'), 'fal': 0.8196152422706632, 'flam': 0.7267949192431123, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01706099510192871}
{'D': 3, 'al': ('-1/2', '3/4'), 'lam': ('7/6', '-1/4'), 'fal': 0.7990381056766579, 'flam': 0.7336539647744473, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018221139907836914}
{'D': 5, 'al': ('0', '3/7'), 'lam': ('1', '-1/7'), 'fal': 0.9583148474999099, 'flam': 0.68056171750003, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01673603057861328}
{'D': 5, 'al': ('21/10', '-3/5'), 'lam': ('3/10', '1/5'), 'fal': 0.7583592135001261, 'flam': 0.7472135954999579, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018256187438964844}
{'D': 5, 'al': ('5/2', '-3/4'), 'lam': ('1/6', '1/4'), 'fal': 0.8229490168751576, 'flam': 0.7256836610416141, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018433094024658203}
{'D': 7, 'al': ('15/8', '-3/8'), 'lam': ('3/8', '1/8'), 'fal': 0.8828432583507785, 'flam': 0.7057189138830738, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017370223999023438}
{'D': 7, 'al': ('-3/2', '9/10'), 'lam': ('3/2', '-3/10'), 'fal': 0.8811761799581316, 'flam': 0.7062746066806228, 'N': 1, 'rel': (1, 3, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01830291748046875}
{'D': 2, 'al': ('-5', '4'), 'lam': ('3/2', '-1'), 'fal': 0.6568542494923806, 'flam': 0.08578643762690485, 'N': 11, 'rel': (1, 4, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 12, 1, 3, 32, 6, 24, 2, 0.05634918610404682)], 'rvals': None, 'sumrat': False, 'dt': 0.013478755950927734}
{'D': 2, 'al': ('-9/7', '8/7'), 'lam': ('4/7', '-2/7'), 'fal': 0.3305297855692516, 'flam': 0.1673675536076871, 'N': 5, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01872730255126953}
{'D': 2, 'al': ('-1/5', '4/5'), 'lam': ('3/10', '-1/5'), 'fal': 0.9313708498984761, 'flam': 0.01715728752538097, 'N': 58, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 74, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.23574328422546387}
{'D': 2, 'al': ('5/3', '-1'), 'lam': ('-1/6', '1/4'), 'fal': 0.25245310429357143, 'flam': 0.18688672392660713, 'N': 5, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019201993942260742}
{'D': 3, 'al': ('-9/7', '8/7'), 'lam': ('4/7', '-2/7'), 'fal': 0.6937723515072882, 'flam': 0.07655691212317794, 'N': 13, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019622087478637695}
{'D': 3, 'al': ('11/5', '-4/5'), 'lam': ('-3/10', '1/5'), 'fal': 0.8143593539448982, 'flam': 0.04641016151377544, 'N': 21, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 28, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.021209001541137695}
{'D': 3, 'al': ('8/3', '-1'), 'lam': ('-5/12', '1/4'), 'fal': 0.9346158590977893, 'flam': 0.01634603522555267, 'N': 61, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 78, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.2362658977508545}
{'D': 5, 'al': ('-13/7', '8/7'), 'lam': ('5/7', '-2/7'), 'fal': 0.6983634028569027, 'flam': 0.07540914928577434, 'N': 13, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019708871841430664}
{'D': 5, 'al': ('-3/5', '2/5'), 'lam': ('2/5', '-1/10'), 'fal': 0.29442719099991593, 'flam': 0.17639320225002103, 'N': 5, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01844620704650879}
{'D': 5, 'al': ('8/3', '-1'), 'lam': ('-5/12', '1/4'), 'fal': 0.4305986891668769, 'flam': 0.1423503277082808, 'N': 7, 'rel': (1, 4, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 8, 1, 2, 10, 2, 8, 0, 0.003547706042034804)], 'rvals': None, 'sumrat': False, 'dt': 0.013206005096435547}
{'D': 7, 'al': ('-17/7', '8/7'), 'lam': ('6/7', '-2/7'), 'fal': 0.5951443555023894, 'flam': 0.10121391112440266, 'N': 9, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019398212432861328}
{'D': 7, 'al': ('-9/5', '4/5'), 'lam': ('7/10', '-1/5'), 'fal': 0.31660104885167256, 'flam': 0.17084973778708185, 'N': 5, 'rel': (1, 4, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018908023834228516}
{'D': 7, 'al': ('10/3', '-1'), 'lam': ('-7/12', '1/4'), 'fal': 0.6875820222687427, 'flam': 0.07810449443281435, 'N': 12, 'rel': (1, 4, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 12, 1, 3, 32, 6, 24, 2, 0.015358427626586272)], 'rvals': None, 'sumrat': False, 'dt': 0.013525009155273438}
{'D': 2, 'al': ('-2', '2'), 'lam': ('1', '-1/2'), 'fal': 0.8284271247461903, 'flam': 0.2928932188134524, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.12132034355964283)], 'rvals': None, 'sumrat': False, 'dt': 0.011965036392211914}
{'D': 2, 'al': ('22/7', '-12/7'), 'lam': ('-2/7', '3/7'), 'fal': 0.7184910359318367, 'flam': 0.3203772410170408, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.038868276948877574)], 'rvals': None, 'sumrat': False, 'dt': 0.012746095657348633}
{'D': 2, 'al': ('8/5', '-4/5'), 'lam': ('1/10', '1/5'), 'fal': 0.4686291501015239, 'flam': 0.38284271247461904, 'N': 2, 'rel': (1, 4, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018877029418945312}
{'D': 2, 'al': ('-1/3', '2/3'), 'lam': ('7/12', '-1/6'), 'fal': 0.6094757082487301, 'flam': 0.34763107293781753, 'N': 2, 'rel': (1, 4, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0184478759765625}
{'D': 3, 'al': ('-2/7', '4/7'), 'lam': ('4/7', '-1/7'), 'fal': 0.7040290328965012, 'flam': 0.32399274177587467, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.028021774672376005)], 'rvals': None, 'sumrat': False, 'dt': 0.012356996536254883}
{'D': 3, 'al': ('-14/9', '4/3'), 'lam': ('8/9', '-1/3'), 'fal': 0.7538455212029476, 'flam': 0.3115386196992631, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.06538414090221048)], 'rvals': None, 'sumrat': False, 'dt': 0.012556791305541992}
{'D': 3, 'al': ('1/3', '1/3'), 'lam': ('5/12', '-1/12'), 'fal': 0.9106836025229591, 'flam': 0.27232909936926025, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.18301270189221933)], 'rvals': None, 'sumrat': False, 'dt': 0.012824058532714844}
{'D': 5, 'al': ('2', '-4/7'), 'lam': ('0', '1/7'), 'fal': 0.7222468700001201, 'flam': 0.31943828249996997, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.041685152500090084)], 'rvals': None, 'sumrat': False, 'dt': 0.012165069580078125}
{'D': 5, 'al': ('-22/9', '4/3'), 'lam': ('10/9', '-1/3'), 'fal': 0.5369795255552753, 'flam': 0.36575511861118115, 'N': 2, 'rel': (1, 4, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019360065460205078}
{'D': 5, 'al': ('4/3', '-1/3'), 'lam': ('1/6', '1/12'), 'fal': 0.5879773408334034, 'flam': 0.35300566479164913, 'N': 2, 'rel': (1, 4, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018821001052856445}
{'D': 7, 'al': ('-14/3', '2'), 'lam': ('5/3', '-1/2'), 'fal': 0.6248359554625148, 'flam': 0.3437910111343713, 'N': 2, 'rel': (1, 4, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01931595802307129}
{'D': 7, 'al': ('38/9', '-4/3'), 'lam': ('-5/9', '1/3'), 'fal': 0.6945538074694346, 'flam': 0.32636154813264134, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.02091535560207605)], 'rvals': None, 'sumrat': False, 'dt': 0.013124942779541016}
{'D': 7, 'al': ('5/3', '-1/3'), 'lam': ('1/12', '1/12'), 'fal': 0.7847495629784698, 'flam': 0.30381260925538256, 'N': 3, 'rel': (1, 4, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 4, 1, 2, 5, 1, 4, 0, 0.08856217223385232)], 'rvals': None, 'sumrat': False, 'dt': 0.012258052825927734}
{'D': 2, 'al': ('-5', '4'), 'lam': ('2', '-1'), 'fal': 0.6568542494923806, 'flam': 0.5857864376269049, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017613887786865234}
{'D': 2, 'al': ('-1', '8/7'), 'lam': ('1', '-2/7'), 'fal': 0.6162440712835373, 'flam': 0.5959389821791158, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018079042434692383}
{'D': 2, 'al': ('1/5', '2/5'), 'lam': ('7/10', '-1/10'), 'fal': 0.7656854249492381, 'flam': 0.5585786437626905, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017950057983398438}
{'D': 2, 'al': ('1/3', '1/3'), 'lam': ('2/3', '-1/12'), 'fal': 0.8047378541243649, 'flam': 0.5488155364689088, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018268108367919922}
{'D': 3, 'al': ('-1/3', '2/3'), 'lam': ('5/6', '-1/6'), 'fal': 0.8213672050459181, 'flam': 0.5446581987385205, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01804804801940918}
{'D': 3, 'al': ('-1/9', '4/9'), 'lam': ('7/9', '-1/9'), 'fal': 0.6586892478083899, 'flam': 0.5853276880479026, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01778411865234375}
{'D': 3, 'al': ('-7/11', '8/11'), 'lam': ('10/11', '-2/11'), 'fal': 0.6233096782319106, 'flam': 0.5941725804420224, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01842498779296875}
{'D': 5, 'al': ('-1', '4/5'), 'lam': ('1', '-1/5'), 'fal': 0.7888543819998318, 'flam': 0.552786404500042, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017731189727783203}
{'D': 5, 'al': ('4', '-3/2'), 'lam': ('-1/4', '3/8'), 'fal': 0.6458980337503153, 'flam': 0.5885254915624212, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018493175506591797}
{'D': 5, 'al': ('1/11', '4/11'), 'lam': ('8/11', '-1/11'), 'fal': 0.9040247190908327, 'flam': 0.5239938202272918, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0181121826171875}
{'D': 7, 'al': ('6', '-2'), 'lam': ('-3/4', '1/2'), 'fal': 0.7084973778708186, 'flam': 0.5728756555322954, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018247365951538086}
{'D': 7, 'al': ('7/2', '-1'), 'lam': ('-1/8', '1/4'), 'fal': 0.8542486889354093, 'flam': 0.5364378277661477, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018444061279296875}
{'D': 7, 'al': ('21/11', '-4/11'), 'lam': ('3/11', '1/11'), 'fal': 0.9469995232492397, 'flam': 0.51325011918769, 'N': 1, 'rel': (1, 4, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017485857009887695}
{'D': 2, 'al': ('-2', '2'), 'lam': ('3/2', '-1/2'), 'fal': 0.8284271247461903, 'flam': 0.7928932188134524, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017033100128173828}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('9/8', '-1/4'), 'fal': 0.9142135623730951, 'flam': 0.7714466094067263, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018500804901123047}
{'D': 2, 'al': ('2', '-4/5'), 'lam': ('1/2', '1/5'), 'fal': 0.8686291501015239, 'flam': 0.782842712474619, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017755746841430664}
{'D': 2, 'al': ('1/3', '1/3'), 'lam': ('11/12', '-1/12'), 'fal': 0.8047378541243649, 'flam': 0.7988155364689087, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017274141311645508}
{'D': 3, 'al': ('0', '4/7'), 'lam': ('1', '-1/7'), 'fal': 0.989743318610787, 'flam': 0.7525641703473033, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017354965209960938}
{'D': 3, 'al': ('8/5', '-2/5'), 'lam': ('3/5', '1/10'), 'fal': 0.9071796769724492, 'flam': 0.7732050807568877, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017277240753173828}
{'D': 3, 'al': ('-4/11', '8/11'), 'lam': ('12/11', '-2/11'), 'fal': 0.8960369509591835, 'flam': 0.7759907622602042, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01751112937927246}
{'D': 5, 'al': ('-2', '4/3'), 'lam': ('3/2', '-1/3'), 'fal': 0.9814239699997197, 'flam': 0.7546440075000701, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017634153366088867}
{'D': 5, 'al': ('-5/2', '3/2'), 'lam': ('13/8', '-3/8'), 'fal': 0.8541019662496847, 'flam': 0.7864745084375788, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0186460018157959}
{'D': 5, 'al': ('-8/11', '8/11'), 'lam': ('13/11', '-2/11'), 'fal': 0.8989585290907562, 'flam': 0.775260367727311, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01781773567199707}
{'D': 7, 'al': ('-8/3', '4/3'), 'lam': ('5/3', '-1/3'), 'fal': 0.861001748086121, 'flam': 0.7847495629784698, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01752495765686035}
{'D': 7, 'al': ('-1/2', '1/2'), 'lam': ('9/8', '-1/8'), 'fal': 0.8228756555322954, 'flam': 0.7942810861169262, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017431020736694336}
{'D': 7, 'al': ('4', '-6/5'), 'lam': ('0', '3/10'), 'fal': 0.8250984267224911, 'flam': 0.7937253933193772, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017529964447021484}
{'D': 7, 'al': ('-5/3', '1'), 'lam': ('17/12', '-1/4'), 'fal': 0.9790846443979241, 'flam': 0.755228838900519, 'N': 1, 'rel': (1, 4, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017639875411987305}
{'D': 2, 'al': ('-13/2', '5'), 'lam': ('3/2', '-1'), 'fal': 0.5710678118654755, 'flam': 0.08578643762690485, 'N': 11, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019526243209838867}
{'D': 2, 'al': ('17/7', '-10/7'), 'lam': ('-2/7', '2/7'), 'fal': 0.408266339467007, 'flam': 0.11834673210659861, 'N': 8, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019633054733276367}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('3/10', '-1/5'), 'fal': 0.9142135623730951, 'flam': 0.01715728752538097, 'N': 58, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 71, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.23510003089904785}
{'D': 2, 'al': ('8/3', '-5/4'), 'lam': ('-1/3', '1/4'), 'fal': 0.8988997137002978, 'flam': 0.02022005725994047, 'N': 49, 'rel': (1, 5, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 59, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(10, 50, 1, 10, 68, 10, 50, 8, 0.009217194262918818)], 'rvals': None, 'sumrat': False, 'dt': 0.16287803649902344}
{'D': 3, 'al': ('-13/7', '10/7'), 'lam': ('4/7', '-2/7'), 'fal': 0.6172154393841102, 'flam': 0.07655691212317794, 'N': 13, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0202329158782959}
{'D': 3, 'al': ('-3/2', '1'), 'lam': ('1/2', '-1/5'), 'fal': 0.2320508075688771, 'flam': 0.15358983848622457, 'N': 6, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019300222396850586}
{'D': 3, 'al': ('37/12', '-5/4'), 'lam': ('-5/12', '1/4'), 'fal': 0.918269823872237, 'flam': 0.01634603522555267, 'N': 61, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 75, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.2427349090576172}
{'D': 5, 'al': ('-18/7', '10/7'), 'lam': ('5/7', '-2/7'), 'fal': 0.6229542535711283, 'flam': 0.07540914928577434, 'N': 13, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019687175750732422}
{'D': 5, 'al': ('-3/2', '1'), 'lam': ('1/2', '-1/5'), 'fal': 0.7360679774997898, 'flam': 0.05278640450004204, 'N': 18, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.020795822143554688}
{'D': 5, 'al': ('37/12', '-5/4'), 'lam': ('-5/12', '1/4'), 'fal': 0.2882483614585958, 'flam': 0.1423503277082808, 'N': 7, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019366741180419922}
{'D': 7, 'al': ('-23/7', '10/7'), 'lam': ('6/7', '-2/7'), 'fal': 0.4939304443779865, 'flam': 0.10121391112440266, 'N': 9, 'rel': (1, 5, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 10, 1, 2, 12, 2, 10, 0, 0.08907479988037588)], 'rvals': None, 'sumrat': False, 'dt': 0.013312816619873047}
{'D': 7, 'al': ('7/2', '-1'), 'lam': ('-1/2', '1/5'), 'fal': 0.8542486889354095, 'flam': 0.029150262212918145, 'N': 34, 'rel': (1, 5, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 41, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 35, 1, 7, 94, 14, 70, 10, 0.008891084760782065)], 'rvals': None, 'sumrat': False, 'dt': 0.017774105072021484}
{'D': 7, 'al': ('-7/3', '5/4'), 'lam': ('2/3', '-1/4'), 'fal': 0.9738558054974048, 'flam': 0.005228838900518988, 'N': 191, 'rel': (1, 5, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 231, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 2.423717737197876}
{'D': 2, 'al': ('9/2', '-5/2'), 'lam': ('-1/2', '1/2'), 'fal': 0.9644660940672622, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 5, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 5, 1, 2, 6, 1, 5, 0, 0.1715728752538097)], 'rvals': None, 'sumrat': False, 'dt': 0.013118982315063477}
{'D': 2, 'al': ('-16/7', '15/7'), 'lam': ('6/7', '-3/7'), 'fal': 0.7447433479423466, 'flam': 0.2510513304115306, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01933908462524414}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('-1/5', '3/10'), 'fal': 0.8786796564403574, 'flam': 0.22426406871192855, 'N': 4, 'rel': (1, 5, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 5, 1, 2, 6, 1, 5, 0, 0.10294372515228574)], 'rvals': None, 'sumrat': False, 'dt': 0.012683868408203125}
{'D': 2, 'al': ('29/12', '-5/4'), 'lam': ('-1/12', '1/4'), 'fal': 0.6488997137002978, 'flam': 0.27022005725994047, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01920795440673828}
{'D': 3, 'al': ('2', '-5/7'), 'lam': ('0', '1/7'), 'fal': 0.7628208517365164, 'flam': 0.24743582965269675, 'N': 4, 'rel': (1, 5, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 5, 1, 2, 6, 1, 5, 0, 0.010256681389213032)], 'rvals': None, 'sumrat': False, 'dt': 0.012542963027954102}
{'D': 3, 'al': ('3/2', '-1/2'), 'lam': ('1/10', '1/10'), 'fal': 0.6339745962155614, 'flam': 0.2732050807568877, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01807379722595215}
{'D': 3, 'al': ('7/6', '-5/12'), 'lam': ('1/6', '1/12'), 'fal': 0.4449788301796345, 'flam': 0.3110042339640731, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018737077713012695}
{'D': 5, 'al': ('37/6', '-5/2'), 'lam': ('-5/6', '1/2'), 'fal': 0.5764967229171916, 'flam': 0.2847006554165616, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01902604103088379}
{'D': 5, 'al': ('38/9', '-5/3'), 'lam': ('-4/9', '1/3'), 'fal': 0.49544225972257216, 'flam': 0.3009115480554855, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01883697509765625}
{'D': 5, 'al': ('-28/11', '15/11'), 'lam': ('10/11', '-3/11'), 'fal': 0.5037290602269864, 'flam': 0.2992541879546028, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018672943115234375}
{'D': 7, 'al': ('-4/3', '5/6'), 'lam': ('2/3', '-1/6'), 'fal': 0.8714594258871587, 'flam': 0.22570811482256822, 'N': 4, 'rel': (1, 5, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 5, 1, 2, 6, 1, 5, 0, 0.09716754070972715)], 'rvals': None, 'sumrat': False, 'dt': 0.012228965759277344}
{'D': 7, 'al': ('-22/9', '10/9'), 'lam': ('8/9', '-2/9'), 'fal': 0.4952792345162117, 'flam': 0.3009441530967576, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018915176391601562}
{'D': 7, 'al': ('-3', '15/11'), 'lam': ('1', '-3/11'), 'fal': 0.6078426969062598, 'flam': 0.27843146061874796, 'N': 3, 'rel': (1, 5, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0189211368560791}
{'D': 2, 'al': ('8', '-5'), 'lam': ('-1', '1'), 'fal': 0.9289321881345245, 'flam': 0.41421356237309515, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018136978149414062}
{'D': 2, 'al': ('26/7', '-15/7'), 'lam': ('-1/7', '3/7'), 'fal': 0.683828080629082, 'flam': 0.46323438387418364, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01838088035583496}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('0', '3/10'), 'fal': 0.8786796564403574, 'flam': 0.42426406871192857, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0181577205657959}
{'D': 2, 'al': ('-7/6', '5/4'), 'lam': ('5/6', '-1/4'), 'fal': 0.6011002862997022, 'flam': 0.47977994274005953, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01830601692199707}
{'D': 3, 'al': ('31/7', '-15/7'), 'lam': ('-2/7', '3/7'), 'fal': 0.7170339837809776, 'flam': 0.4565932032438046, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018352746963500977}
{'D': 3, 'al': ('7/2', '-3/2'), 'lam': ('-1/10', '3/10'), 'fal': 0.9019237886466843, 'flam': 0.4196152422706632, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01836109161376953}
{'D': 3, 'al': ('-19/12', '5/4'), 'lam': ('11/12', '-1/4'), 'fal': 0.581730176127763, 'flam': 0.48365396477444733, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018754959106445312}
{'D': 5, 'al': ('-29/7', '15/7'), 'lam': ('10/7', '-3/7'), 'fal': 0.6487170946424072, 'flam': 0.47025658107151863, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01820516586303711}
{'D': 5, 'al': ('4', '-3/2'), 'lam': ('-1/5', '3/10'), 'fal': 0.645898033750315, 'flam': 0.47082039324993696, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018589019775390625}
{'D': 7, 'al': ('-11/3', '5/3'), 'lam': ('4/3', '-1/3'), 'fal': 0.7429188517743176, 'flam': 0.45141622964513645, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018333911895751953}
{'D': 7, 'al': ('-34/7', '15/7'), 'lam': ('11/7', '-3/7'), 'fal': 0.8123242379955512, 'flam': 0.4375351524008897, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018683195114135742}
{'D': 7, 'al': ('9/2', '-3/2'), 'lam': ('-3/10', '3/10'), 'fal': 0.5313730334031141, 'flam': 0.4937253933193772, 'N': 2, 'rel': (1, 5, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0185701847076416}
{'D': 2, 'al': ('23/2', '-15/2'), 'lam': ('-3/2', '3/2'), 'fal': 0.8933982822017867, 'flam': 0.6213203435596428, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017920970916748047}
{'D': 2, 'al': ('13/7', '-5/7'), 'lam': ('3/7', '1/7'), 'fal': 0.8469903125906464, 'flam': 0.6306019374818707, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01761317253112793}
{'D': 2, 'al': ('3/2', '-1/2'), 'lam': ('1/2', '1/10'), 'fal': 0.7928932188134524, 'flam': 0.6414213562373094, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017762184143066406}
{'D': 2, 'al': ('3/2', '-5/12'), 'lam': ('1/2', '1/12'), 'fal': 0.9107443490112104, 'flam': 0.617851130197758, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017740964889526367}
{'D': 3, 'al': ('-2/7', '5/7'), 'lam': ('6/7', '-1/7'), 'fal': 0.9514648625491979, 'flam': 0.6097070274901605, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018009662628173828}
{'D': 3, 'al': ('-1', '10/9'), 'lam': ('1', '-2/9'), 'fal': 0.9245008972987523, 'flam': 0.6150998205402495, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01799297332763672}
{'D': 3, 'al': ('-16/11', '15/11'), 'lam': ('12/11', '-3/11'), 'fal': 0.9073420103211961, 'flam': 0.6185315979357607, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018573284149169922}
{'D': 5, 'al': ('-6', '3'), 'lam': ('2', '-3/5'), 'fal': 0.7082039324993701, 'flam': 0.6583592135001262, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018201112747192383}
{'D': 5, 'al': ('-4/9', '5/9'), 'lam': ('8/9', '-1/9'), 'fal': 0.7978155430554388, 'flam': 0.6404368913889122, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017848968505859375}
{'D': 5, 'al': ('-1/11', '5/11'), 'lam': ('9/11', '-1/11'), 'fal': 0.9254854443180863, 'flam': 0.6149029111363827, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018129825592041016}
{'D': 7, 'al': ('14', '-5'), 'lam': ('-2', '1'), 'fal': 0.7712434446770473, 'flam': 0.6457513110645907, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018025875091552734}
{'D': 7, 'al': ('33/7', '-10/7'), 'lam': ('-1/7', '2/7'), 'fal': 0.9346409841934421, 'flam': 0.6130718031613116, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017798900604248047}
{'D': 7, 'al': ('7/2', '-1'), 'lam': ('1/10', '1/5'), 'fal': 0.8542486889354095, 'flam': 0.6291502622129181, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01827096939086914}
{'D': 7, 'al': ('-1/6', '5/12'), 'lam': ('5/6', '-1/12'), 'fal': 0.9357297129435794, 'flam': 0.6128540574112841, 'N': 1, 'rel': (1, 5, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01820087432861328}
{'D': 2, 'al': ('10/3', '-5/3'), 'lam': ('1/3', '1/3'), 'fal': 0.9763107293781749, 'flam': 0.8047378541243649, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01792311668395996}
{'D': 2, 'al': ('15/8', '-5/8'), 'lam': ('5/8', '1/8'), 'fal': 0.9911165235168156, 'flam': 0.8017766952966369, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.016985654830932617}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('2/5', '3/10'), 'fal': 0.8786796564403574, 'flam': 0.8242640687119286, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01774001121520996}
{'D': 3, 'al': ('20/3', '-10/3'), 'lam': ('-1/3', '2/3'), 'fal': 0.8931639747704097, 'flam': 0.8213672050459181, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01773214340209961}
{'D': 3, 'al': ('-20/7', '15/7'), 'lam': ('11/7', '-3/7'), 'fal': 0.8543945876475938, 'flam': 0.8291210824704811, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01748800277709961}
{'D': 3, 'al': ('0', '1/2'), 'lam': ('1', '-1/10'), 'fal': 0.8660254037844386, 'flam': 0.8267949192431123, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017592191696166992}
{'D': 5, 'al': ('25/3', '-10/3'), 'lam': ('-2/3', '2/3'), 'fal': 0.879773408334034, 'flam': 0.8240453183331932, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018381834030151367}
{'D': 5, 'al': ('-15/8', '5/4'), 'lam': ('11/8', '-1/4'), 'fal': 0.9200849718747373, 'flam': 0.8159830056250525, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017933130264282227}
{'D': 5, 'al': ('2', '-1/2'), 'lam': ('3/5', '1/10'), 'fal': 0.8819660112501051, 'flam': 0.823606797749979, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017261028289794922}
{'D': 7, 'al': ('20/7', '-5/7'), 'lam': ('3/7', '1/7'), 'fal': 0.967320492096721, 'flam': 0.8065359015806558, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01755690574645996}
{'D': 7, 'al': ('35/9', '-10/9'), 'lam': ('2/9', '2/9'), 'fal': 0.9491652099282327, 'flam': 0.8101669580143535, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01747298240661621}
{'D': 7, 'al': ('-30/11', '15/11'), 'lam': ('17/11', '-3/11'), 'fal': 0.8805699696335325, 'flam': 0.8238860060732933, 'N': 1, 'rel': (1, 5, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0175931453704834}
{'D': 2, 'al': ('-8', '6'), 'lam': ('3/2', '-1'), 'fal': 0.4852813742385713, 'flam': 0.08578643762690485, 'N': 11, 'rel': (1, 6, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 12, 1, 2, 14, 2, 12, 0, 0.05634918610404682)], 'rvals': None, 'sumrat': False, 'dt': 0.013146162033081055}
{'D': 2, 'al': ('-5/7', '6/7'), 'lam': ('2/7', '-1/7'), 'fal': 0.49789733917693874, 'flam': 0.08368377680384355, 'N': 11, 'rel': (1, 6, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 12, 1, 2, 14, 2, 12, 0, 0.07947845515772098)], 'rvals': None, 'sumrat': False, 'dt': 0.013314962387084961}
{'D': 2, 'al': ('1', '-3/5'), 'lam': ('0', '1/10'), 'fal': 0.15147186257614287, 'flam': 0.1414213562373095, 'N': 7, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01917433738708496}
{'D': 2, 'al': ('-1/2', '1/2'), 'lam': ('1/4', '-1/12'), 'fal': 0.2071067811865476, 'flam': 0.13214886980224208, 'N': 7, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01895618438720703}
{'D': 3, 'al': ('13/7', '-6/7'), 'lam': ('-1/7', '1/7'), 'fal': 0.3725278792266766, 'flam': 0.10457868679555389, 'N': 9, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01922297477722168}
{'D': 3, 'al': ('8/5', '-3/5'), 'lam': ('-1/10', '1/10'), 'fal': 0.5607695154586736, 'flam': 0.07320508075688772, 'N': 13, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019737958908081055}
{'D': 3, 'al': ('0', '1/2'), 'lam': ('1/6', '-1/12'), 'fal': 0.8660254037844387, 'flam': 0.022329099369260235, 'N': 44, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 53, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.22538304328918457}
{'D': 5, 'al': ('-4', '2'), 'lam': ('5/6', '-1/3'), 'fal': 0.4721359549995796, 'flam': 0.0879773408334034, 'N': 11, 'rel': (1, 6, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 12, 1, 2, 14, 2, 12, 0, 0.032249250832562616)], 'rvals': None, 'sumrat': False, 'dt': 0.01372981071472168}
{'D': 5, 'al': ('-11/3', '2'), 'lam': ('7/9', '-1/3'), 'fal': 0.805469288332913, 'flam': 0.032421785277847844, 'N': 30, 'rel': (1, 6, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 30, 1, 5, 76, 10, 60, 6, 0.005075343613283521)], 'rvals': None, 'sumrat': False, 'dt': 0.016688108444213867}
{'D': 5, 'al': ('2', '-1/2'), 'lam': ('-1/6', '1/12'), 'fal': 0.8819660112501051, 'flam': 0.019672331458315817, 'N': 50, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 60, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.22977828979492188}
{'D': 7, 'al': ('3', '-1'), 'lam': ('-1/3', '1/6'), 'fal': 0.3542486889354093, 'flam': 0.10762521851076512, 'N': 9, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019178152084350586}
{'D': 7, 'al': ('13/3', '-4/3'), 'lam': ('-5/9', '2/9'), 'fal': 0.8056649185805457, 'flam': 0.032389180236575714, 'N': 30, 'rel': (1, 6, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 30, 1, 5, 76, 10, 60, 6, 0.004064587333848142)], 'rvals': None, 'sumrat': False, 'dt': 0.01753401756286621}
{'D': 7, 'al': ('-37/11', '18/11'), 'lam': ('8/11', '-3/11'), 'fal': 0.9657748726511483, 'flam': 0.005704187891475259, 'N': 175, 'rel': (1, 6, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 206, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 2.426811933517456}
{'D': 2, 'al': ('5', '-3'), 'lam': ('-1/2', '1/2'), 'fal': 0.7573593128807143, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01914501190185547}
{'D': 2, 'al': ('-22/7', '18/7'), 'lam': ('6/7', '-3/7'), 'fal': 0.49369201753081626, 'flam': 0.2510513304115306, 'N': 3, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01903676986694336}
{'D': 2, 'al': ('-1', '6/5'), 'lam': ('1/2', '-1/5'), 'fal': 0.6970562748477143, 'flam': 0.21715728752538097, 'N': 4, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019322872161865234}
{'D': 2, 'al': ('5/2', '-3/2'), 'lam': ('-1/12', '1/4'), 'fal': 0.37867965644035717, 'flam': 0.27022005725994047, 'N': 3, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019160985946655273}
{'D': 3, 'al': ('26/7', '-12/7'), 'lam': ('-2/7', '2/7'), 'fal': 0.7450557584533531, 'flam': 0.20915737359110778, 'N': 4, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019190073013305664}
{'D': 3, 'al': ('2', '-3/5'), 'lam': ('0', '1/10'), 'fal': 0.9607695154586736, 'flam': 0.17320508075688773, 'N': 5, 'rel': (1, 6, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 6, 1, 2, 7, 1, 6, 0, 0.13397459621556146)], 'rvals': None, 'sumrat': False, 'dt': 0.012872934341430664}
{'D': 3, 'al': ('-1/2', '1/2'), 'lam': ('5/12', '-1/12'), 'fal': 0.36602540378443865, 'flam': 0.27232909936926025, 'N': 3, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01902174949645996}
{'D': 5, 'al': ('20/7', '-6/7'), 'lam': ('-1/7', '1/7'), 'fal': 0.9405131621430373, 'flam': 0.17658113964282712, 'N': 5, 'rel': (1, 6, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 6, 1, 2, 7, 1, 6, 0, 0.11709430178586443)], 'rvals': None, 'sumrat': False, 'dt': 0.012713909149169922}
{'D': 5, 'al': ('16/3', '-2'), 'lam': ('-5/9', '1/3'), 'fal': 0.8611973783337538, 'flam': 0.18980043694437437, 'N': 5, 'rel': (1, 6, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 6, 1, 2, 7, 1, 6, 0, 0.05099781527812771)], 'rvals': None, 'sumrat': False, 'dt': 0.013082742691040039}
{'D': 5, 'al': ('3/2', '-1/2'), 'lam': ('1/12', '1/12'), 'fal': 0.3819660112501051, 'flam': 0.2696723314583158, 'N': 3, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0187070369720459}
{'D': 7, 'al': ('-5', '2'), 'lam': ('7/6', '-1/3'), 'fal': 0.29150262212918143, 'flam': 0.28474956297846976, 'N': 3, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019006013870239258}
{'D': 7, 'al': ('-14/3', '2'), 'lam': ('10/9', '-1/3'), 'fal': 0.6248359554625146, 'flam': 0.2291940074229142, 'N': 4, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019370079040527344}
{'D': 7, 'al': ('2', '-1/2'), 'lam': ('0', '1/12'), 'fal': 0.6771243444677046, 'flam': 0.22047927592204922, 'N': 4, 'rel': (1, 6, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018684864044189453}
{'D': 2, 'al': ('9', '-6'), 'lam': ('-1', '1'), 'fal': 0.5147186257614287, 'flam': 0.41421356237309515, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018360137939453125}
{'D': 2, 'al': ('-3', '18/7'), 'lam': ('1', '-3/7'), 'fal': 0.6365491603879592, 'flam': 0.39390847326867345, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018847942352294922}
{'D': 2, 'al': ('12/5', '-6/5'), 'lam': ('1/10', '1/5'), 'fal': 0.7029437251522858, 'flam': 0.38284271247461904, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018587350845336914}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('7/12', '-1/6'), 'fal': 0.9142135623730953, 'flam': 0.34763107293781753, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018577098846435547}
{'D': 3, 'al': ('-27/7', '18/7'), 'lam': ('8/7', '-3/7'), 'fal': 0.5967020766056841, 'flam': 0.40054965389905256, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01934194564819336}
{'D': 3, 'al': ('-6/5', '6/5'), 'lam': ('7/10', '-1/5'), 'fal': 0.8784609690826528, 'flam': 0.35358983848622455, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01907825469970703}
{'D': 3, 'al': ('7/2', '-3/2'), 'lam': ('-1/12', '1/4'), 'fal': 0.9019237886466843, 'flam': 0.349679368558886, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01867198944091797}
{'D': 5, 'al': ('-3', '12/7'), 'lam': ('1', '-2/7'), 'fal': 0.8332593899996397, 'flam': 0.36112343500006006, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01894092559814453}
{'D': 5, 'al': ('-3/5', '3/5'), 'lam': ('3/5', '-1/10'), 'fal': 0.7416407864998739, 'flam': 0.37639320225002104, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019058942794799805}
{'D': 5, 'al': ('-3/2', '1'), 'lam': ('3/4', '-1/6'), 'fal': 0.7360679774997898, 'flam': 0.37732200375003505, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019019126892089844}
{'D': 7, 'al': ('3', '-6/7'), 'lam': ('0', '1/7'), 'fal': 0.7322131619446365, 'flam': 0.37796447300922725, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018657922744750977}
{'D': 7, 'al': ('12/5', '-3/5'), 'lam': ('1/10', '1/10'), 'fal': 0.8125492133612455, 'flam': 0.36457513110645906, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017936229705810547}
{'D': 7, 'al': ('2', '-1/2'), 'lam': ('1/6', '1/12'), 'fal': 0.6771243444677046, 'flam': 0.3871459425887159, 'N': 2, 'rel': (1, 6, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018435001373291016}
{'D': 2, 'al': ('-2', '2'), 'lam': ('1', '-1/3'), 'fal': 0.8284271247461904, 'flam': 0.5285954792089683, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01844000816345215}
{'D': 2, 'al': ('22/7', '-12/7'), 'lam': ('1/7', '2/7'), 'fal': 0.7184910359318367, 'flam': 0.5469181606780272, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018688201904296875}
{'D': 2, 'al': ('17/5', '-9/5'), 'lam': ('1/10', '3/10'), 'fal': 0.8544155877284286, 'flam': 0.5242640687119285, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018346071243286133}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('1/6', '1/4'), 'fal': 0.8786796564403572, 'flam': 0.5202200572599405, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018241167068481445}
{'D': 3, 'al': ('6', '-3'), 'lam': ('-1/3', '1/2'), 'fal': 0.8038475772933685, 'flam': 0.5326920704511053, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018484115600585938}
{'D': 3, 'al': ('-8/3', '2'), 'lam': ('10/9', '-1/3'), 'fal': 0.7974349484710876, 'flam': 0.5337608419214853, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018800020217895508}
{'D': 3, 'al': ('3/2', '-1/2'), 'lam': ('5/12', '1/12'), 'fal': 0.6339745962155613, 'flam': 0.5610042339640731, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01832294464111328}
{'D': 5, 'al': ('44/5', '-18/5'), 'lam': ('-4/5', '3/5'), 'fal': 0.7501552810007567, 'flam': 0.5416407864998739, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01878809928894043}
{'D': 5, 'al': ('-2/3', '2/3'), 'lam': ('7/9', '-1/9'), 'fal': 0.8240453183331932, 'flam': 0.5293257802778011, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018052101135253906}
{'D': 5, 'al': ('-16/11', '12/11'), 'lam': ('10/11', '-2/11'), 'fal': 0.9848014299997707, 'flam': 0.5025330950000382, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018208980560302734}
{'D': 7, 'al': ('-2', '1'), 'lam': ('1', '-1/6'), 'fal': 0.6457513110645907, 'flam': 0.5590414481559015, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01826620101928711}
{'D': 7, 'al': ('-8/3', '4/3'), 'lam': ('10/9', '-2/9'), 'fal': 0.861001748086121, 'flam': 0.5231663753189798, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01826000213623047}
{'D': 7, 'al': ('-40/11', '18/11'), 'lam': ('14/11', '-3/11'), 'fal': 0.6930475999238755, 'flam': 0.5511587333460207, 'N': 1, 'rel': (1, 6, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019041061401367188}
{'D': 2, 'al': ('5', '-3'), 'lam': ('0', '1/2'), 'fal': 0.7573593128807143, 'flam': 0.7071067811865476, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018152952194213867}
{'D': 2, 'al': ('2', '-3/4'), 'lam': ('1/2', '1/8'), 'fal': 0.9393398282201786, 'flam': 0.6767766952966369, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017989158630371094}
{'D': 2, 'al': ('19/11', '-6/11'), 'lam': ('6/11', '1/11'), 'fal': 0.9558835114328571, 'flam': 0.6740194147611904, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018240928649902344}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('1/3', '1/4'), 'fal': 0.8786796564403572, 'flam': 0.6868867239266071, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018725872039794922}
{'D': 3, 'al': ('6', '-3'), 'lam': ('-1/6', '1/2'), 'fal': 0.8038475772933685, 'flam': 0.699358737117772, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01858377456665039}
{'D': 3, 'al': ('2', '-3/5'), 'lam': ('1/2', '1/10'), 'fal': 0.9607695154586736, 'flam': 0.6732050807568877, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017524003982543945}
{'D': 3, 'al': ('0', '1/2'), 'lam': ('5/6', '-1/12'), 'fal': 0.8660254037844387, 'flam': 0.6889957660359269, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0180361270904541}
{'D': 5, 'al': ('3', '-1'), 'lam': ('1/3', '1/6'), 'fal': 0.7639320225002102, 'flam': 0.7060113295832983, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017170190811157227}
{'D': 5, 'al': ('-11/3', '2'), 'lam': ('13/9', '-1/3'), 'fal': 0.805469288332913, 'flam': 0.6990884519445145, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01817607879638672}
{'D': 5, 'al': ('49/11', '-18/11'), 'lam': ('1/11', '3/11'), 'fal': 0.7955251277276166, 'flam': 0.7007458120453972, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018134117126464844}
{'D': 7, 'al': ('53/7', '-18/7'), 'lam': ('-3/7', '3/7'), 'fal': 0.7680680572624813, 'flam': 0.7053219904562532, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01822376251220703}
{'D': 7, 'al': ('-13/3', '2'), 'lam': ('14/9', '-1/3'), 'fal': 0.958169288795848, 'flam': 0.6736384518673586, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01810622215270996}
{'D': 7, 'al': ('-1/2', '1/2'), 'lam': ('11/12', '-1/12'), 'fal': 0.8228756555322954, 'flam': 0.6961873907446176, 'N': 1, 'rel': (1, 6, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017358064651489258}
{'D': 2, 'al': ('3', '-3/2'), 'lam': ('1/2', '1/4'), 'fal': 0.8786796564403572, 'flam': 0.8535533905932737, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017284154891967773}
{'D': 2, 'al': ('-9/4', '9/4'), 'lam': ('11/8', '-3/8'), 'fal': 0.9319805153394642, 'flam': 0.8446699141100893, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017879962921142578}
{'D': 2, 'al': ('18/11', '-6/11'), 'lam': ('8/11', '1/11'), 'fal': 0.8649744205237663, 'flam': 0.8558375965793723, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017521142959594727}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('13/12', '-1/6'), 'fal': 0.9142135623730953, 'flam': 0.8476310729378175, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0178070068359375}
{'D': 3, 'al': ('36/5', '-18/5'), 'lam': ('-1/5', '3/5'), 'fal': 0.9646170927520423, 'flam': 0.8392304845413264, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0178072452545166}
{'D': 3, 'al': ('-4/3', '4/3'), 'lam': ('11/9', '-2/9'), 'fal': 0.9760677434251698, 'flam': 0.8373220427624717, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017632007598876953}
{'D': 3, 'al': ('42/11', '-18/11'), 'lam': ('4/11', '3/11'), 'fal': 0.9839168603418375, 'flam': 0.8360138566096939, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017404794692993164}
{'D': 5, 'al': ('18/5', '-6/5'), 'lam': ('2/5', '1/5'), 'fal': 0.9167184270002522, 'flam': 0.847213595499958, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017190217971801758}
{'D': 5, 'al': ('-2', '4/3'), 'lam': ('4/3', '-2/9'), 'fal': 0.9814239699997197, 'flam': 0.8364293383333801, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017373085021972656}
{'D': 5, 'al': ('24/11', '-6/11'), 'lam': ('7/11', '1/11'), 'fal': 0.9621447395455692, 'flam': 0.8396425434090719, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017357826232910156}
{'D': 7, 'al': ('-3', '3/2'), 'lam': ('3/2', '-1/4'), 'fal': 0.9686269665968861, 'flam': 0.8385621722338523, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017301082611083984}
{'D': 7, 'al': ('-8/3', '4/3'), 'lam': ('13/9', '-2/9'), 'fal': 0.861001748086121, 'flam': 0.8564997086523132, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01765298843383789}
{'D': 7, 'al': ('42/11', '-12/11'), 'lam': ('4/11', '2/11'), 'fal': 0.9319076606568101, 'flam': 0.8446820565571983, 'N': 1, 'rel': (1, 6, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01768016815185547}
{'D': 2, 'al': ('-19/2', '7'), 'lam': ('3/2', '-1'), 'fal': 0.39949493661166535, 'flam': 0.08578643762690485, 'N': 11, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01964116096496582}
{'D': 2, 'al': ('-1', '1'), 'lam': ('2/7', '-1/7'), 'fal': 0.41421356237309503, 'flam': 0.08368377680384355, 'N': 11, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019247055053710938}
{'D': 2, 'al': ('17/10', '-7/10'), 'lam': ('-1/10', '1/10'), 'fal': 0.7100505063388335, 'flam': 0.04142135623730951, 'N': 24, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.02158379554748535}
{'D': 2, 'al': ('-1/6', '7/12'), 'lam': ('1/6', '-1/12'), 'fal': 0.6582912447176388, 'flam': 0.04881553646890874, 'N': 20, 'rel': (1, 7, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 21, 1, 3, 50, 6, 42, 2, 0.02368927062182517)], 'rvals': None, 'sumrat': False, 'dt': 0.013847112655639648}
{'D': 3, 'al': ('41/6', '-7/2'), 'lam': ('-5/6', '1/2'), 'fal': 0.7711555068422626, 'flam': 0.03269207045110534, 'N': 30, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 36, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.022897005081176758}
{'D': 3, 'al': ('44/9', '-7/3'), 'lam': ('-5/9', '1/3'), 'fal': 0.8474370045615084, 'flam': 0.021794713634070224, 'N': 45, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 53, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.22747492790222168}
{'D': 3, 'al': ('-1/6', '7/12'), 'lam': ('1/6', '-1/12'), 'fal': 0.8436963044151784, 'flam': 0.022329099369260235, 'N': 44, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 52, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.22658205032348633}
{'D': 5, 'al': ('3', '-1'), 'lam': ('-2/7', '1/7'), 'fal': 0.7639320225002102, 'flam': 0.03372399678568426, 'N': 29, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 35, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.022583961486816406}
{'D': 5, 'al': ('12/5', '-7/10'), 'lam': ('-1/5', '1/10'), 'fal': 0.8347524157501471, 'flam': 0.02360679774997898, 'N': 42, 'rel': (1, 7, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 50, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 42, 1, 6, 52, 6, 42, 4, 0.015092303249096517)], 'rvals': None, 'sumrat': False, 'dt': 0.15487217903137207}
{'D': 5, 'al': ('-3/4', '7/12'), 'lam': ('1/4', '-1/12'), 'fal': 0.5543729868748773, 'flam': 0.06366100187501751, 'N': 15, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.020203113555908203}
{'D': 7, 'al': ('-25/3', '7/2'), 'lam': ('4/3', '-1/2'), 'fal': 0.926796255392734, 'flam': 0.010457677801037976, 'N': 95, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 110, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.2537350654602051}
{'D': 7, 'al': ('-47/9', '7/3'), 'lam': ('8/9', '-1/3'), 'fal': 0.951197503595156, 'flam': 0.006971785200691983, 'N': 143, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 165, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.3014669418334961}
{'D': 7, 'al': ('13/6', '-7/12'), 'lam': ('-1/6', '1/12'), 'fal': 0.623311735212322, 'flam': 0.05381260925538256, 'N': 18, 'rel': (1, 7, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 22, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.02059173583984375}
{'D': 2, 'al': ('11/2', '-7/2'), 'lam': ('-1/2', '1/2'), 'fal': 0.5502525316941673, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018650054931640625}
{'D': 2, 'al': ('-5/8', '7/8'), 'lam': ('3/8', '-1/8'), 'fal': 0.6124368670764582, 'flam': 0.1982233047033631, 'N': 5, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018992900848388672}
{'D': 2, 'al': ('-11/5', '21/10'), 'lam': ('3/5', '-3/10'), 'fal': 0.7698484809834998, 'flam': 0.17573593128807144, 'N': 5, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018834829330444336}
{'D': 3, 'al': ('25/2', '-7'), 'lam': ('-3/2', '1'), 'fal': 0.3756443470178592, 'flam': 0.2320508075688772, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01895904541015625}
{'D': 3, 'al': ('-3', '2'), 'lam': ('5/7', '-2/7'), 'fal': 0.4641016151377545, 'flam': 0.2194140549803208, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01923990249633789}
{'D': 3, 'al': ('-3/2', '7/5'), 'lam': ('1/2', '-1/5'), 'fal': 0.9248711305964281, 'flam': 0.15358983848622457, 'N': 6, 'rel': (1, 7, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 7, 1, 2, 8, 1, 7, 0, 0.0784609690826528)], 'rvals': None, 'sumrat': False, 'dt': 0.013109922409057617}
{'D': 3, 'al': ('-25/12', '7/4'), 'lam': ('7/12', '-1/4'), 'fal': 0.947755579912202, 'flam': 0.150320631441114, 'N': 6, 'rel': (1, 7, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 7, 1, 2, 8, 1, 7, 0, 0.09807621135331572)], 'rvals': None, 'sumrat': False, 'dt': 0.01279902458190918}
{'D': 5, 'al': ('-4', '2'), 'lam': ('6/7', '-2/7'), 'fal': 0.4721359549995796, 'flam': 0.2182662921429172, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019513845443725586}
{'D': 5, 'al': ('2', '-7/10'), 'lam': ('0', '1/10'), 'fal': 0.4347524157501471, 'flam': 0.223606797749979, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018133163452148438}
{'D': 5, 'al': ('-11/12', '7/12'), 'lam': ('5/12', '-1/12'), 'fal': 0.3877063202082107, 'flam': 0.23032766854168418, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019309043884277344}
{'D': 7, 'al': ('6', '-2'), 'lam': ('-4/7', '2/7'), 'fal': 0.7084973778708183, 'flam': 0.18450037458988305, 'N': 5, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01970195770263672}
{'D': 7, 'al': ('41/10', '-7/5'), 'lam': ('-3/10', '1/5'), 'fal': 0.3959481645095728, 'flam': 0.22915026221291815, 'N': 4, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01898789405822754}
{'D': 7, 'al': ('15/4', '-7/6'), 'lam': ('-1/4', '1/6'), 'fal': 0.6632901370913107, 'flam': 0.19095855184409846, 'N': 5, 'rel': (1, 7, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01888585090637207}
{'D': 2, 'al': ('-4', '7/2'), 'lam': ('1', '-1/2'), 'fal': 0.9497474683058327, 'flam': 0.2928932188134524, 'N': 3, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018786907196044922}
{'D': 2, 'al': ('-2', '2'), 'lam': ('5/7', '-2/7'), 'fal': 0.8284271247461901, 'flam': 0.31022469646483, 'N': 3, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018759965896606445}
{'D': 2, 'al': ('-1/2', '7/10'), 'lam': ('1/2', '-1/10'), 'fal': 0.4899494936611665, 'flam': 0.3585786437626905, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01887202262878418}
{'D': 2, 'al': ('-13/12', '7/6'), 'lam': ('7/12', '-1/6'), 'fal': 0.5665824894352776, 'flam': 0.34763107293781753, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018851757049560547}
{'D': 3, 'al': ('-1', '1'), 'lam': ('4/7', '-1/7'), 'fal': 0.7320508075688773, 'flam': 0.32399274177587467, 'N': 3, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01836395263671875}
{'D': 3, 'al': ('8/5', '-7/10'), 'lam': ('1/5', '1/10'), 'fal': 0.3875644347017859, 'flam': 0.37320508075688774, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01897406578063965}
{'D': 3, 'al': ('-1/2', '7/12'), 'lam': ('1/2', '-1/12'), 'fal': 0.510362971081845, 'flam': 0.3556624327025936, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018616914749145508}
{'D': 5, 'al': ('3', '-7/6'), 'lam': ('0', '1/6'), 'fal': 0.39125402625024525, 'flam': 0.37267799624996495, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018766164779663086}
{'D': 5, 'al': ('-8/9', '7/9'), 'lam': ('5/9', '-1/9'), 'fal': 0.8502750936109477, 'flam': 0.30710355805557893, 'N': 3, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01839590072631836}
{'D': 5, 'al': ('54/11', '-21/11'), 'lam': ('-3/11', '3/11'), 'fal': 0.6402338611367653, 'flam': 0.33710944840903356, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01895904541015625}
{'D': 7, 'al': ('-2', '1'), 'lam': ('5/7', '-1/7'), 'fal': 0.6457513110645908, 'flam': 0.33632124127648705, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01941084861755371}
{'D': 7, 'al': ('62/9', '-7/3'), 'lam': ('-5/9', '1/3'), 'fal': 0.7154691630715106, 'flam': 0.32636154813264134, 'N': 3, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01918506622314453}
{'D': 7, 'al': ('61/11', '-21/11'), 'lam': ('-4/11', '3/11'), 'fal': 0.4944747697857814, 'flam': 0.3579321757448884, 'N': 2, 'rel': (1, 7, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019569873809814453}
{'D': 2, 'al': ('4', '-7/3'), 'lam': ('0', '1/3'), 'fal': 0.7001683544627783, 'flam': 0.47140452079103173, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018341064453125}
{'D': 2, 'al': ('-2', '2'), 'lam': ('6/7', '-2/7'), 'fal': 0.8284271247461901, 'flam': 0.4530818393219728, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01866292953491211}
{'D': 2, 'al': ('-23/10', '21/10'), 'lam': ('9/10', '-3/10'), 'fal': 0.6698484809834998, 'flam': 0.47573593128807146, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018728971481323242}
{'D': 2, 'al': ('41/12', '-7/4'), 'lam': ('1/12', '1/4'), 'fal': 0.9417929325137502, 'flam': 0.43688672392660716, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018616914749145508}
{'D': 3, 'al': ('-16/3', '7/2'), 'lam': ('4/3', '-1/2'), 'fal': 0.7288444931577374, 'flam': 0.46730792954889466, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018487930297851562}
{'D': 3, 'al': ('43/9', '-7/3'), 'lam': ('-1/9', '1/3'), 'fal': 0.7363258934503973, 'flam': 0.4662391580785147, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01881098747253418}
{'D': 3, 'al': ('5/3', '-7/12'), 'lam': ('1/3', '1/12'), 'fal': 0.6563036955848216, 'flam': 0.47767090063073975, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0180819034576416}
{'D': 5, 'al': ('-11/6', '7/6'), 'lam': ('5/6', '-1/6'), 'fal': 0.7754126404164214, 'flam': 0.46065533708336837, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01895284652709961}
{'D': 5, 'al': ('4', '-14/9'), 'lam': ('0', '2/9'), 'fal': 0.521672035000327, 'flam': 0.4969039949999533, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018631935119628906}
{'D': 5, 'al': ('-40/11', '21/11'), 'lam': ('12/11', '-3/11'), 'fal': 0.6324934115905075, 'flam': 0.4810723697727846, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018948078155517578}
{'D': 7, 'al': ('41/5', '-14/5'), 'lam': ('-3/5', '2/5'), 'fal': 0.7918963290191456, 'flam': 0.4583005244258363, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019221067428588867}
{'D': 7, 'al': ('-13/9', '7/9'), 'lam': ('7/9', '-1/9'), 'fal': 0.613362130828015, 'flam': 0.48380540988171217, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0181732177734375}
{'D': 7, 'al': ('65/11', '-21/11'), 'lam': ('-3/11', '3/11'), 'fal': 0.8581111334221451, 'flam': 0.4488412666539793, 'N': 2, 'rel': (1, 7, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018476009368896484}
{'D': 2, 'al': ('-9', '7'), 'lam': ('2', '-1'), 'fal': 0.8994949366116654, 'flam': 0.5857864376269049, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01774907112121582}
{'D': 2, 'al': ('5', '-3'), 'lam': ('0', '3/7'), 'fal': 0.7573593128807146, 'flam': 0.6060915267313265, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0191648006439209}
{'D': 2, 'al': ('38/9', '-7/3'), 'lam': ('1/9', '1/3'), 'fal': 0.9223905766850002, 'flam': 0.5825156319021428, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018351078033447266}
{'D': 2, 'al': ('-1/11', '7/11'), 'lam': ('8/11', '-1/11'), 'fal': 0.8090449942374242, 'flam': 0.5987078579660823, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01791071891784668}
{'D': 3, 'al': ('27/4', '-7/2'), 'lam': ('-1/4', '1/2'), 'fal': 0.6878221735089296, 'flam': 0.6160254037844386, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018290042877197266}
{'D': 3, 'al': ('-15/4', '21/8'), 'lam': ('5/4', '-3/8'), 'fal': 0.796633369868303, 'flam': 0.600480947161671, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017951011657714844}
{'D': 3, 'al': ('-27/10', '21/10'), 'lam': ('11/10', '-3/10'), 'fal': 0.9373066958946424, 'flam': 0.5803847577293368, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018323898315429688}
{'D': 3, 'al': ('23/6', '-7/4'), 'lam': ('1/6', '1/4'), 'fal': 0.802244420087798, 'flam': 0.599679368558886, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017930984497070312}
{'D': 5, 'al': ('-9/8', '7/8'), 'lam': ('7/8', '-1/8'), 'fal': 0.8315594803123161, 'flam': 0.5954915028125263, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01810002326965332}
{'D': 5, 'al': ('-3/5', '7/10'), 'lam': ('4/5', '-1/10'), 'fal': 0.9652475842498529, 'flam': 0.576393202250021, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01772022247314453}
{'D': 5, 'al': ('25/12', '-7/12'), 'lam': ('5/12', '1/12'), 'fal': 0.7789603464584559, 'flam': 0.6030056647916492, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01764202117919922}
{'D': 7, 'al': ('23/6', '-7/6'), 'lam': ('1/6', '1/6'), 'fal': 0.746623470424644, 'flam': 0.6076252185107651, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0182340145111084}
{'D': 7, 'al': ('61/8', '-21/8'), 'lam': ('-3/8', '3/8'), 'fal': 0.6799028084554495, 'flam': 0.6171567416492215, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01873159408569336}
{'D': 7, 'al': ('-8/11', '7/11'), 'lam': ('9/11', '-1/11'), 'fal': 0.9563871979501942, 'flam': 0.5776589717214008, 'N': 1, 'rel': (1, 7, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018107891082763672}
{'D': 2, 'al': ('-17/3', '14/3'), 'lam': ('5/3', '-2/3'), 'fal': 0.9329966244077769, 'flam': 0.7238576250846033, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018011093139648438}
{'D': 2, 'al': ('-2', '2'), 'lam': ('8/7', '-2/7'), 'fal': 0.8284271247461901, 'flam': 0.7387961250362586, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01826000213623047}
{'D': 2, 'al': ('-2/9', '7/9'), 'lam': ('8/9', '-1/9'), 'fal': 0.8777216596235183, 'flam': 0.7317540486252117, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017627954483032227}
{'D': 2, 'al': ('38/11', '-21/11'), 'lam': ('4/11', '3/11'), 'fal': 0.7546831991059093, 'flam': 0.7493309715562987, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01806783676147461}
{'D': 3, 'al': ('16/5', '-7/5'), 'lam': ('2/5', '1/5'), 'fal': 0.7751288694035718, 'flam': 0.7464101615137755, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0179750919342041}
{'D': 3, 'al': ('-29/8', '21/8'), 'lam': ('11/8', '-3/8'), 'fal': 0.921633369868303, 'flam': 0.725480947161671, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01839423179626465}
{'D': 3, 'al': ('-3/10', '7/10'), 'lam': ('9/10', '-1/10'), 'fal': 0.9124355652982141, 'flam': 0.7267949192431123, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017373085021972656}
{'D': 3, 'al': ('-13/6', '7/4'), 'lam': ('7/6', '-1/4'), 'fal': 0.8644222465788687, 'flam': 0.7336539647744473, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017882108688354492}
{'D': 5, 'al': ('-41/6', '7/2'), 'lam': ('11/6', '-1/2'), 'fal': 0.9929045879159304, 'flam': 0.7152993445834385, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0183718204498291}
{'D': 5, 'al': ('-23/9', '14/9'), 'lam': ('11/9', '-2/9'), 'fal': 0.9227724094441174, 'flam': 0.7253182272222689, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018146038055419922}
{'D': 5, 'al': ('24/11', '-7/11'), 'lam': ('6/11', '1/11'), 'fal': 0.7588658325001337, 'flam': 0.7487334524999809, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017928123474121094}
{'D': 7, 'al': ('23/5', '-7/5'), 'lam': ('1/5', '1/5'), 'fal': 0.8959481645095728, 'flam': 0.7291502622129181, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01769089698791504}
{'D': 7, 'al': ('-7', '3'), 'lam': ('13/7', '-3/7'), 'fal': 0.937253933193772, 'flam': 0.7232494381151754, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01801609992980957}
{'D': 7, 'al': ('-1', '7/10'), 'lam': ('1', '-1/10'), 'fal': 0.8520259177452136, 'flam': 0.735424868893541, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017544984817504883}
{'D': 7, 'al': ('65/12', '-7/4'), 'lam': ('1/12', '1/4'), 'fal': 0.786601872303633, 'flam': 0.744771161099481, 'N': 1, 'rel': (1, 7, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01840519905090332}
{'D': 2, 'al': ('-7/3', '7/3'), 'lam': ('4/3', '-1/3'), 'fal': 0.9664983122038885, 'flam': 0.8619288125423017, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017344951629638672}
{'D': 2, 'al': ('28/9', '-14/9'), 'lam': ('5/9', '2/9'), 'fal': 0.91122334741963, 'flam': 0.86982523608291, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017444133758544922}
{'D': 2, 'al': ('0', '7/11'), 'lam': ('1', '-1/11'), 'fal': 0.899954085146515, 'flam': 0.8714351306933549, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017539024353027344}
{'D': 3, 'al': ('7', '-7/2'), 'lam': ('0', '1/2'), 'fal': 0.9378221735089296, 'flam': 0.8660254037844386, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017480850219726562}
{'D': 3, 'al': ('-28/9', '7/3'), 'lam': ('13/9', '-1/3'), 'fal': 0.9303407732162694, 'flam': 0.8670941752548187, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017345190048217773}
{'D': 3, 'al': ('35/11', '-14/11'), 'lam': ('6/11', '2/11'), 'fal': 0.9773898812759744, 'flam': 0.8603728741034321, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017954111099243164}
{'D': 3, 'al': ('35/12', '-7/6'), 'lam': ('7/12', '1/6'), 'fal': 0.8959407245029766, 'flam': 0.8720084679281461, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0175168514251709}
{'D': 5, 'al': ('7/2', '-7/6'), 'lam': ('1/2', '1/6'), 'fal': 0.8912540262502452, 'flam': 0.872677996249965, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017590045928955078}
{'D': 5, 'al': ('28/5', '-21/10'), 'lam': ('1/5', '3/10'), 'fal': 0.9042572472504418, 'flam': 0.870820393249937, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01783919334411621}
{'D': 5, 'al': ('-21/11', '14/11'), 'lam': ('14/11', '-2/11'), 'fal': 0.936813789545187, 'flam': 0.8661694586364018, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017817974090576172}
{'D': 7, 'al': ('-14/5', '7/5'), 'lam': ('7/5', '-1/5'), 'fal': 0.9040518354904272, 'flam': 0.8708497377870819, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017977237701416016}
{'D': 7, 'al': ('-7', '3'), 'lam': ('2', '-3/7'), 'fal': 0.937253933193772, 'flam': 0.8661065809723183, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018684864044189453}
{'D': 7, 'al': ('14/5', '-7/10'), 'lam': ('3/5', '1/10'), 'fal': 0.9479740822547864, 'flam': 0.864575131106459, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017337322235107422}
{'D': 7, 'al': ('49/12', '-7/6'), 'lam': ('5/12', '1/6'), 'fal': 0.996623470424644, 'flam': 0.8576252185107651, 'N': 1, 'rel': (1, 7, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01780104637145996}
{'D': 2, 'al': ('-11', '8'), 'lam': ('3/2', '-1'), 'fal': 0.31370849898476116, 'flam': 0.08578643762690485, 'N': 11, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01950979232788086}
{'D': 2, 'al': ('-9/7', '8/7'), 'lam': ('2/7', '-1/7'), 'fal': 0.3305297855692516, 'flam': 0.08368377680384355, 'N': 11, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019370079040527344}
{'D': 2, 'al': ('-31/9', '8/3'), 'lam': ('5/9', '-1/3'), 'fal': 0.32679172188380945, 'flam': 0.08415103476452382, 'N': 11, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019568920135498047}
{'D': 2, 'al': ('-1/3', '2/3'), 'lam': ('1/6', '-1/12'), 'fal': 0.6094757082487301, 'flam': 0.04881553646890874, 'N': 20, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.02077794075012207}
{'D': 3, 'al': ('23/3', '-4'), 'lam': ('-5/6', '1/2'), 'fal': 0.7384634363911573, 'flam': 0.03269207045110534, 'N': 30, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 35, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0226590633392334}
{'D': 3, 'al': ('-23/9', '16/9'), 'lam': ('4/9', '-2/9'), 'fal': 0.5236458801224484, 'flam': 0.05954426498469396, 'N': 16, 'rel': (1, 8, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 16, 1, 2, 18, 2, 16, 0, 0.012252504739796975)], 'rvals': None, 'sumrat': False, 'dt': 0.01376485824584961}
{'D': 3, 'al': ('5/3', '-2/3'), 'lam': ('-1/12', '1/12'), 'fal': 0.5119661282874152, 'flam': 0.0610042339640731, 'N': 16, 'rel': (1, 8, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 16, 1, 2, 18, 2, 16, 0, 0.037071977389242804)], 'rvals': None, 'sumrat': False, 'dt': 0.014642000198364258}
{'D': 5, 'al': ('-17/3', '8/3'), 'lam': ('5/6', '-1/3'), 'fal': 0.29618127333277283, 'flam': 0.0879773408334034, 'N': 11, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.02035808563232422}
{'D': 5, 'al': ('-5/3', '8/9'), 'lam': ('1/3', '-1/9'), 'fal': 0.32094931333314647, 'flam': 0.08488133583335669, 'N': 11, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019346237182617188}
{'D': 5, 'al': ('-45/11', '24/11'), 'lam': ('7/11', '-3/11'), 'fal': 0.7877846781813596, 'flam': 0.026526915227330052, 'N': 37, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 43, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.025315284729003906}
{'D': 7, 'al': ('11/3', '-4/3'), 'lam': ('-1/3', '1/6'), 'fal': 0.13899825191387905, 'flam': 0.10762521851076512, 'N': 9, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019179105758666992}
{'D': 7, 'al': ('-5/3', '8/9'), 'lam': ('1/3', '-1/9'), 'fal': 0.6851122765018585, 'flam': 0.0393609654372677, 'N': 25, 'rel': (1, 8, 1), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 30, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.022006988525390625}
{'D': 7, 'al': ('-37/11', '16/11'), 'lam': ('6/11', '-2/11'), 'fal': 0.48472917973031376, 'flam': 0.06440885253371077, 'N': 15, 'rel': (1, 8, 1), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 16, 1, 2, 18, 2, 16, 0, 0.033867211994337836)], 'rvals': None, 'sumrat': False, 'dt': 0.014134645462036133}
{'D': 2, 'al': ('6', '-4'), 'lam': ('-1/2', '1/2'), 'fal': 0.3431457505076194, 'flam': 0.20710678118654757, 'N': 4, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01893901824951172}
{'D': 2, 'al': ('-1', '1'), 'lam': ('3/8', '-1/8'), 'fal': 0.41421356237309515, 'flam': 0.1982233047033631, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018937110900878906}
{'D': 2, 'al': ('2', '-8/11'), 'lam': ('0', '1/11'), 'fal': 0.9714810455468399, 'flam': 0.128564869306645, 'N': 7, 'rel': (1, 8, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 8, 1, 2, 9, 1, 8, 0, 0.10004591485348496)], 'rvals': None, 'sumrat': False, 'dt': 0.012675046920776367}
{'D': 2, 'al': ('10/3', '-2'), 'lam': ('-1/6', '1/4'), 'fal': 0.5049062085871429, 'flam': 0.18688672392660713, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019203901290893555}
{'D': 3, 'al': ('-26/7', '16/7'), 'lam': ('5/7', '-2/7'), 'fal': 0.2446875601574336, 'flam': 0.2194140549803208, 'N': 4, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01900625228881836}
{'D': 3, 'al': ('2', '-4/5'), 'lam': ('0', '1/10'), 'fal': 0.6143593539448983, 'flam': 0.17320508075688773, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01883411407470703}
{'D': 3, 'al': ('-2/3', '2/3'), 'lam': ('1/3', '-1/12'), 'fal': 0.4880338717125848, 'flam': 0.1889957660359269, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018992900848388672}
{'D': 5, 'al': ('-2', '4/3'), 'lam': ('1/2', '-1/6'), 'fal': 0.9814239699997197, 'flam': 0.12732200375003502, 'N': 7, 'rel': (1, 8, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 8, 1, 2, 9, 1, 8, 0, 0.10874597374975477)], 'rvals': None, 'sumrat': False, 'dt': 0.013303041458129883}
{'D': 5, 'al': ('-14/9', '8/9'), 'lam': ('4/9', '-1/9'), 'fal': 0.43206042444425763, 'flam': 0.1959924469444678, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01873469352722168}
{'D': 5, 'al': ('-26/11', '16/11'), 'lam': ('6/11', '-2/11'), 'fal': 0.8888261490906033, 'flam': 0.13889673136367459, 'N': 7, 'rel': (1, 8, 2), 'case': '4c', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(1, 8, 1, 2, 9, 1, 8, 0, 0.027722880454277933)], 'rvals': None, 'sumrat': False, 'dt': 0.012865066528320312}
{'D': 7, 'al': ('66/5', '-24/5'), 'lam': ('-7/5', '3/5'), 'fal': 0.5003937068899645, 'flam': 0.18745078663875442, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018796205520629883}
{'D': 7, 'al': ('-14/9', '8/9'), 'lam': ('4/9', '-1/9'), 'fal': 0.7962233876129695, 'flam': 0.1504720765483788, 'N': 6, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019153833389282227}
{'D': 7, 'al': ('70/11', '-24/11'), 'lam': ('-6/11', '3/11'), 'fal': 0.5910880485863476, 'flam': 0.17611399392670657, 'N': 5, 'rel': (1, 8, 2), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01966071128845215}
{'D': 2, 'al': ('-5', '4'), 'lam': ('1', '-1/2'), 'fal': 0.6568542494923806, 'flam': 0.2928932188134524, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018511056900024414}
{'D': 2, 'al': ('37/7', '-24/7'), 'lam': ('-2/7', '3/7'), 'fal': 0.43698207186367355, 'flam': 0.3203772410170408, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01880812644958496}
{'D': 2, 'al': ('-1/5', '4/5'), 'lam': ('2/5', '-1/10'), 'fal': 0.9313708498984761, 'flam': 0.2585786437626905, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01866292953491211}
{'D': 2, 'al': ('-1/3', '2/3'), 'lam': ('5/12', '-1/12'), 'fal': 0.6094757082487301, 'flam': 0.29881553646890874, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018568038940429688}
{'D': 3, 'al': ('3', '-4/3'), 'lam': ('0', '1/6'), 'fal': 0.6905989232414971, 'flam': 0.28867513459481287, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01873612403869629}
{'D': 3, 'al': ('-5/9', '8/9'), 'lam': ('4/9', '-1/9'), 'fal': 0.9840451622834464, 'flam': 0.2519943547145692, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01832294464111328}
{'D': 3, 'al': ('-23/11', '16/11'), 'lam': ('7/11', '-2/11'), 'fal': 0.4284375382820032, 'flam': 0.3214453077147496, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019411087036132812}
{'D': 5, 'al': ('39/5', '-16/5'), 'lam': ('-3/5', '2/5'), 'fal': 0.6445824720006726, 'flam': 0.29442719099991593, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019221067428588867}
{'D': 5, 'al': ('-6', '3'), 'lam': ('9/8', '-3/8'), 'fal': 0.7082039324993694, 'flam': 0.2864745084375788, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01879096031188965}
{'D': 5, 'al': ('25/11', '-8/11'), 'lam': ('1/11', '1/11'), 'fal': 0.6464960163637893, 'flam': 0.2941879979545263, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01932501792907715}
{'D': 7, 'al': ('23/5', '-8/5'), 'lam': ('-1/5', '1/5'), 'fal': 0.3667979022966549, 'flam': 0.32915026221291815, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019325733184814453}
{'D': 7, 'al': ('6', '-2'), 'lam': ('-3/8', '1/4'), 'fal': 0.7084973778708186, 'flam': 0.2864378277661477, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018989086151123047}
{'D': 7, 'al': ('25/11', '-8/11'), 'lam': ('1/11', '1/11'), 'fal': 0.34854450104393403, 'flam': 0.33143193736950827, 'N': 3, 'rel': (1, 8, 3), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018505096435546875}
{'D': 2, 'al': ('12', '-8'), 'lam': ('-1', '1'), 'fal': 0.6862915010152388, 'flam': 0.41421356237309515, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01835012435913086}
{'D': 2, 'al': ('2', '-1'), 'lam': ('1/4', '1/8'), 'fal': 0.5857864376269049, 'flam': 0.42677669529663687, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018634796142578125}
{'D': 2, 'al': ('4', '-12/5'), 'lam': ('0', '3/10'), 'fal': 0.6058874503045715, 'flam': 0.42426406871192857, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019038915634155273}
{'D': 2, 'al': ('10/3', '-2'), 'lam': ('1/12', '1/4'), 'fal': 0.5049062085871429, 'flam': 0.43688672392660716, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01914691925048828}
{'D': 3, 'al': ('-36/7', '24/7'), 'lam': ('8/7', '-3/7'), 'fal': 0.7956027688075794, 'flam': 0.40054965389905256, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019338130950927734}
{'D': 3, 'al': ('-16/5', '12/5'), 'lam': ('9/10', '-3/10'), 'fal': 0.9569219381653056, 'flam': 0.3803847577293368, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018239974975585938}
{'D': 3, 'al': ('-8/3', '2'), 'lam': ('5/6', '-1/4'), 'fal': 0.797434948471088, 'flam': 0.400320631441114, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018433809280395508}
{'D': 5, 'al': ('5', '-2'), 'lam': ('-1/8', '1/4'), 'fal': 0.5278640450004204, 'flam': 0.43401699437494745, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018810033798217773}
{'D': 5, 'al': ('-12/11', '8/11'), 'lam': ('7/11', '-1/11'), 'fal': 0.5353221654543926, 'flam': 0.4330847293182009, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018121004104614258}
{'D': 7, 'al': ('44/3', '-16/3'), 'lam': ('-4/3', '2/3'), 'fal': 0.5559930076555162, 'flam': 0.4305008740430605, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018715858459472656}
{'D': 7, 'al': ('-36/7', '16/7'), 'lam': ('8/7', '-2/7'), 'fal': 0.904574425290493, 'flam': 0.38692819683868834, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018402099609375}
{'D': 7, 'al': ('24/5', '-8/5'), 'lam': ('-1/10', '1/5'), 'fal': 0.5667979022966548, 'flam': 0.42915026221291813, 'N': 2, 'rel': (1, 8, 4), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018476009368896484}
{'D': 2, 'al': ('-3', '8/3'), 'lam': ('1', '-1/3'), 'fal': 0.7712361663282538, 'flam': 0.5285954792089683, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018103837966918945}
{'D': 2, 'al': ('-29/7', '24/7'), 'lam': ('8/7', '-3/7'), 'fal': 0.7058750709934694, 'flam': 0.5367656161258163, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018598079681396484}
{'D': 2, 'al': ('21/5', '-12/5'), 'lam': ('1/10', '3/10'), 'fal': 0.8058874503045714, 'flam': 0.5242640687119285, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01809072494506836}
{'D': 2, 'al': ('11/3', '-2'), 'lam': ('1/6', '1/4'), 'fal': 0.8382395419204762, 'flam': 0.5202200572599405, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019025087356567383}
{'D': 3, 'al': ('19/7', '-8/7'), 'lam': ('2/7', '1/7'), 'fal': 0.7347990770641404, 'flam': 0.5331501153669824, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018339872360229492}
{'D': 3, 'al': ('-35/9', '8/3'), 'lam': ('10/9', '-1/3'), 'fal': 0.7299132646281173, 'flam': 0.5337608419214853, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01859307289123535}
{'D': 3, 'al': ('-1/3', '2/3'), 'lam': ('2/3', '-1/12'), 'fal': 0.8213672050459181, 'flam': 0.5223290993692603, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018444061279296875}
{'D': 5, 'al': ('11/3', '-4/3'), 'lam': ('1/6', '1/6'), 'fal': 0.6852426966669469, 'flam': 0.5393446629166316, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018393993377685547}
{'D': 5, 'al': ('-11/9', '8/9'), 'lam': ('7/9', '-1/9'), 'fal': 0.7653937577775909, 'flam': 0.5293257802778011, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018320083618164062}
{'D': 5, 'al': ('-25/11', '16/11'), 'lam': ('10/11', '-2/11'), 'fal': 0.9797352399996943, 'flam': 0.5025330950000382, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0183260440826416}
{'D': 7, 'al': ('-39/5', '16/5'), 'lam': ('8/5', '-2/5'), 'fal': 0.6664041954066903, 'flam': 0.5416994755741638, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01824498176574707}
{'D': 7, 'al': ('29/9', '-8/9'), 'lam': ('2/9', '1/9'), 'fal': 0.8704432790536971, 'flam': 0.5161945901182878, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018069028854370117}
{'D': 7, 'al': ('-57/11', '24/11'), 'lam': ('14/11', '-3/11'), 'fal': 0.5907301332318343, 'flam': 0.5511587333460207, 'N': 1, 'rel': (1, 8, 5), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018463134765625}
{'D': 2, 'al': ('-2', '2'), 'lam': ('1', '-1/4'), 'fal': 0.8284271247461903, 'flam': 0.6464466094067263, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0179903507232666}
{'D': 2, 'al': ('18/7', '-8/7'), 'lam': ('3/7', '1/7'), 'fal': 0.9551845001450341, 'flam': 0.6306019374818707, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01805734634399414}
{'D': 2, 'al': ('2', '-4/5'), 'lam': ('1/2', '1/10'), 'fal': 0.8686291501015239, 'flam': 0.6414213562373094, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018041133880615234}
{'D': 2, 'al': ('8/3', '-4/3'), 'lam': ('5/12', '1/6'), 'fal': 0.7810485835025398, 'flam': 0.6523689270621825, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01793694496154785}
{'D': 3, 'al': ('-22/7', '16/7'), 'lam': ('8/7', '-2/7'), 'fal': 0.816116131586005, 'flam': 0.6479854835517493, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01857590675354004}
{'D': 3, 'al': ('-2/5', '4/5'), 'lam': ('4/5', '-1/10'), 'fal': 0.9856406460551017, 'flam': 0.6267949192431124, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017755985260009766}
{'D': 3, 'al': ('-4/3', '4/3'), 'lam': ('11/12', '-1/6'), 'fal': 0.9760677434251696, 'flam': 0.6279915320718538, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01809525489807129}
{'D': 5, 'al': ('-2', '4/3'), 'lam': ('1', '-1/6'), 'fal': 0.9814239699997197, 'flam': 0.627322003750035, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01799488067626953}
{'D': 5, 'al': ('-10/9', '8/9'), 'lam': ('8/9', '-1/9'), 'fal': 0.876504868888702, 'flam': 0.6404368913889122, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018001079559326172}
{'D': 5, 'al': ('-46/11', '24/11'), 'lam': ('14/11', '-3/11'), 'fal': 0.6968755872722686, 'flam': 0.6628905515909664, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018126726150512695}
{'D': 7, 'al': ('46/5', '-16/5'), 'lam': ('-2/5', '2/5'), 'fal': 0.7335958045933098, 'flam': 0.6583005244258363, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018500804901123047}
{'D': 7, 'al': ('-34/9', '16/9'), 'lam': ('11/9', '-2/9'), 'fal': 0.9257801085592724, 'flam': 0.634277486430091, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018110036849975586}
{'D': 7, 'al': ('50/11', '-16/11'), 'lam': ('2/11', '2/11'), 'fal': 0.6970890020878681, 'flam': 0.6628638747390165, 'N': 1, 'rel': (1, 8, 6), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0181119441986084}
{'D': 2, 'al': ('27/5', '-16/5'), 'lam': ('1/5', '2/5'), 'fal': 0.8745166004060956, 'flam': 0.7656854249492381, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018258094787597656}
{'D': 2, 'al': ('17/7', '-8/7'), 'lam': ('4/7', '1/7'), 'fal': 0.8123273572878913, 'flam': 0.7734590803390136, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01781606674194336}
{'D': 2, 'al': ('-25/9', '8/3'), 'lam': ('11/9', '-1/3'), 'fal': 0.9934583885504762, 'flam': 0.7508177014311905, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018214941024780273}
{'D': 2, 'al': ('21/11', '-8/11'), 'lam': ('7/11', '1/11'), 'fal': 0.880571954637749, 'flam': 0.7649285056702815, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017854928970336914}
{'D': 3, 'al': ('-37/5', '24/5'), 'lam': ('9/5', '-3/5'), 'fal': 0.9138438763306113, 'flam': 0.7607695154586736, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01795196533203125}
{'D': 3, 'al': ('11/5', '-4/5'), 'lam': ('3/5', '1/10'), 'fal': 0.8143593539448982, 'flam': 0.7732050807568877, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017917156219482422}
{'D': 3, 'al': ('37/11', '-16/11'), 'lam': ('5/11', '2/11'), 'fal': 0.8442897344452696, 'flam': 0.7694637831943413, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017985105514526367}
{'D': 3, 'al': ('13/3', '-2'), 'lam': ('1/3', '1/4'), 'fal': 0.8692317181955787, 'flam': 0.7663460352255527, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018069028854370117}
{'D': 5, 'al': ('-47/7', '24/7'), 'lam': ('12/7', '-3/7'), 'fal': 0.952233065713565, 'flam': 0.7559708667858044, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017693281173706055}
{'D': 5, 'al': ('31/5', '-12/5'), 'lam': ('1/10', '3/10'), 'fal': 0.8334368540005045, 'flam': 0.7708203932499369, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018117904663085938}
{'D': 5, 'al': ('-43/11', '24/11'), 'lam': ('15/11', '-3/11'), 'fal': 0.9696028599995414, 'flam': 0.7537996425000574, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017601966857910156}
{'D': 7, 'al': ('15', '-16/3'), 'lam': ('-1', '2/3'), 'fal': 0.8893263409888496, 'flam': 0.7638342073763938, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017878055572509766}
{'D': 7, 'al': ('7', '-16/7'), 'lam': ('0', '2/7'), 'fal': 0.9525684318523641, 'flam': 0.7559289460184545, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01763606071472168}
{'D': 7, 'al': ('3', '-4/5'), 'lam': ('1/2', '1/10'), 'fal': 0.8833989511483274, 'flam': 0.764575131106459, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017863988876342773}
{'D': 7, 'al': ('53/11', '-16/11'), 'lam': ('3/11', '2/11'), 'fal': 0.9698162748151408, 'flam': 0.7537729656481074, 'N': 1, 'rel': (1, 8, 7), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018033742904663086}
{'D': 2, 'al': ('16/5', '-8/5'), 'lam': ('3/5', '1/5'), 'fal': 0.9372583002030478, 'flam': 0.882842712474619, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01723790168762207}
{'D': 2, 'al': ('-16/7', '16/7'), 'lam': ('9/7', '-2/7'), 'fal': 0.9467738568527889, 'flam': 0.8816532678934015, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0180971622467041}
{'D': 2, 'al': ('-12/5', '12/5'), 'lam': ('13/10', '-3/10'), 'fal': 0.9941125496954285, 'flam': 0.8757359312880715, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017578125}
{'D': 2, 'al': ('-24/11', '24/11'), 'lam': ('14/11', '-3/11'), 'fal': 0.9037386815412987, 'flam': 0.8870326648073377, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017391204833984375}
{'D': 2, 'al': ('0', '2/3'), 'lam': ('1', '-1/12'), 'fal': 0.9428090415820635, 'flam': 0.882148869802242, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017626285552978516}
{'D': 3, 'al': ('-6', '4'), 'lam': ('7/4', '-1/2'), 'fal': 0.9282032302755088, 'flam': 0.8839745962155614, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017937898635864258}
{'D': 3, 'al': ('-4/3', '4/3'), 'lam': ('7/6', '-1/6'), 'fal': 0.9760677434251696, 'flam': 0.8779915320718539, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017943859100341797}
{'D': 3, 'al': ('48/7', '-24/7'), 'lam': ('1/7', '3/7'), 'fal': 0.9186829454781348, 'flam': 0.8851646318152332, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017830848693847656}
{'D': 3, 'al': ('-16/5', '12/5'), 'lam': ('7/5', '-3/10'), 'fal': 0.9569219381653056, 'flam': 0.8803847577293368, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017853975296020508}
{'D': 3, 'al': ('24/11', '-8/11'), 'lam': ('8/11', '1/11'), 'fal': 0.9221448672226348, 'flam': 0.8847318915971706, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017514944076538086}
{'D': 5, 'al': ('-8', '4'), 'lam': ('2', '-1/2'), 'fal': 0.9442719099991592, 'flam': 0.8819660112501051, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017522811889648438}
{'D': 5, 'al': ('-4/5', '4/5'), 'lam': ('11/10', '-1/10'), 'fal': 0.9888543819998319, 'flam': 0.876393202250021, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017358779907226562}
{'D': 5, 'al': ('-8/11', '8/11'), 'lam': ('12/11', '-1/11'), 'fal': 0.8989585290907562, 'flam': 0.8876301838636554, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0177609920501709}
{'D': 5, 'al': ('64/11', '-24/11'), 'lam': ('3/11', '3/11'), 'fal': 0.9394880490913677, 'flam': 0.8825639938635791, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018085002899169922}
{'D': 5, 'al': ('-2', '4/3'), 'lam': ('5/4', '-1/6'), 'fal': 0.9814239699997197, 'flam': 0.877322003750035, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018330097198486328}
{'D': 7, 'al': ('8', '-8/3'), 'lam': ('0', '1/3'), 'fal': 0.9446631704944247, 'flam': 0.8819171036881969, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017986059188842773}
{'D': 7, 'al': ('-7', '3'), 'lam': ('15/8', '-3/8'), 'fal': 0.9372539331937721, 'flam': 0.8828432583507785, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017969846725463867}
{'D': 7, 'al': ('32/11', '-8/11'), 'lam': ('7/11', '1/11'), 'fal': 0.9849081374075704, 'flam': 0.8768864828240536, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0176241397857666}
{'D': 7, 'al': ('-32/11', '16/11'), 'lam': ('15/11', '-2/11'), 'fal': 0.9392746342757683, 'flam': 0.882590670715529, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01795506477355957}
{'D': 7, 'al': ('8/3', '-2/3'), 'lam': ('2/3', '1/12'), 'fal': 0.9028324592902729, 'flam': 0.8871459425887158, 'N': 1, 'rel': (1, 8, 8), 'case': '4c', 'nf': 0, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01760578155517578}
SUMMARY c {'total': 466, 'undecided': 0, 'pred_true': 466, 'pred_false': 0, 'pred_na': 0, 'with_family': 83, 'no_family': 383, 'allper': 0, 'cf_true': 0, 'cf_false': 0, 'more_than_2': 0, 'irr_two': 0, 'maxK': 231, 'maxPhi': 68} violations=0 time=3.5s
