{'D': 2, 'al': ('-1', '1'), 'lam': ('3', '-2'), 'fal': 0.41421356237309515, 'flam': 0.1715728752538097, 'N': 5, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.01772284507751465}
{'D': 2, 'al': ('1/9', '2/9'), 'lam': ('7/9', '-4/9'), 'fal': 0.4253807916384656, 'flam': 0.1492384167230688, 'N': 6, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.01793384552001953}
{'D': 2, 'al': ('3/13', '1/13'), 'lam': ('7/13', '-2/13'), 'fal': 0.339554889413315, 'flam': 0.32089022117337, 'N': 3, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5], 'sumrat': False, 'dt': 0.018046140670776367}
{'D': 2, 'al': ('2/3', '-2/15'), 'lam': ('-1/3', '4/15'), 'fal': 0.478104858350254, 'flam': 0.04379028329949204, 'N': 22, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 35, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [21, 23], 'sumrat': False, 'dt': 0.02113509178161621}
{'D': 3, 'al': ('-1/6', '1/3'), 'lam': ('4/3', '-2/3'), 'fal': 0.41068360252295905, 'flam': 0.17863279495408188, 'N': 5, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.01805901527404785}
{'D': 3, 'al': ('3/11', '1/11'), 'lam': ('5/11', '-2/11'), 'fal': 0.43018643705171605, 'flam': 0.13962712589656778, 'N': 7, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 9], 'sumrat': False, 'dt': 0.017919063568115234}
{'D': 3, 'al': ('2/7', '1/14'), 'lam': ('3/7', '-1/7'), 'fal': 0.40943220054063406, 'flam': 0.18113559891873182, 'N': 5, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.017893314361572266}
{'D': 3, 'al': ('1/8', '3/16'), 'lam': ('3/4', '-3/8'), 'fal': 0.4497595264191645, 'flam': 0.100480947161671, 'N': 9, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 11], 'sumrat': False, 'dt': 0.018635988235473633}
{'D': 5, 'al': ('1/9', '1/9'), 'lam': ('7/9', '-2/9'), 'fal': 0.35956310861108776, 'flam': 0.2808737827778245, 'N': 3, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5], 'sumrat': False, 'dt': 0.018027067184448242}
{'D': 5, 'al': ('-1/6', '1/4'), 'lam': ('4/3', '-1/2'), 'fal': 0.39235032770828077, 'flam': 0.21529934458343844, 'N': 4, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5], 'sumrat': False, 'dt': 0.018247127532958984}
{'D': 5, 'al': ('1/15', '2/15'), 'lam': ('13/15', '-4/15'), 'fal': 0.3648090636666386, 'flam': 0.2703818726667227, 'N': 3, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5], 'sumrat': False, 'dt': 0.018665313720703125}
{'D': 7, 'al': ('5/6', '-1/6'), 'lam': ('-2/3', '1/3'), 'fal': 0.3923747814892349, 'flam': 0.21525043702153024, 'N': 4, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5], 'sumrat': False, 'dt': 0.01846909523010254}
{'D': 7, 'al': ('6/5', '-3/10'), 'lam': ('-7/5', '3/5'), 'fal': 0.40627460668062276, 'flam': 0.18745078663875442, 'N': 5, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.018743038177490234}
{'D': 7, 'al': ('3/14', '1/14'), 'lam': ('4/7', '-1/7'), 'fal': 0.4032679507903279, 'flam': 0.19346409841934417, 'N': 5, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 7], 'sumrat': False, 'dt': 0.017753124237060547}
{'D': 7, 'al': ('13/16', '-1/8'), 'lam': ('-5/8', '1/4'), 'fal': 0.48178108611692616, 'flam': 0.03643782776614768, 'N': 27, 'rel': (2, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [27, 29], 'sumrat': False, 'dt': 0.022768020629882812}
{'D': 2, 'al': ('0', '1/2'), 'lam': ('2', '-1'), 'fal': 0.7071067811865476, 'flam': 0.5857864376269049, 'N': 1, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(2, 1, 1, 2, 3, 2, 1, 0, 0.1715728752538097)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.012001991271972656}
{'D': 2, 'al': ('4/9', '2/9'), 'lam': ('10/9', '-4/9'), 'fal': 0.7587141249717989, 'flam': 0.4825717500564022, 'N': 2, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(4, 2, 1, 4, 8, 4, 2, 2, 0.034856499887195684)], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.011874914169311523}
{'D': 2, 'al': ('8/13', '1/13'), 'lam': ('10/13', '-2/13'), 'fal': 0.7241702740286997, 'flam': 0.5516594519426008, 'N': 1, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(2, 1, 1, 2, 3, 2, 1, 0, 0.1033189038852015)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.011435985565185547}
{'D': 2, 'al': ('14/15', '-2/15'), 'lam': ('2/15', '4/15'), 'fal': 0.7447715250169207, 'flam': 0.5104569499661588, 'N': 1, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(2, 1, 1, 2, 3, 2, 1, 0, 0.02091389993231741)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.012015819549560547}
{'D': 3, 'al': ('11/6', '-1/2'), 'lam': ('-5/3', '1'), 'fal': 0.9673079295488947, 'flam': 0.06538414090221067, 'N': 15, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(30, 15, 1, 30, 73, 30, 15, 28, 0.019237886466839882)], 'rvals': [1, 29, 30], 'sumrat': False, 'dt': 0.018831729888916016}
{'D': 3, 'al': ('1', '-1/11'), 'lam': ('0', '2/11'), 'fal': 0.8425408356755567, 'flam': 0.31491832864888675, 'N': 3, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 3, 1, 6, 13, 6, 3, 4, 0.05524501405333963)], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.01183009147644043}
{'D': 3, 'al': ('13/14', '-1/14'), 'lam': ('1/7', '1/7'), 'fal': 0.8048535137450802, 'flam': 0.3902929725098396, 'N': 2, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(4, 2, 1, 4, 8, 4, 2, 2, 0.17087891752951886)], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.01190495491027832}
{'D': 3, 'al': ('17/16', '-3/16'), 'lam': ('-1/8', '3/8'), 'fal': 0.7377404735808355, 'flam': 0.524519052838329, 'N': 1, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(2, 1, 1, 2, 3, 2, 1, 0, 0.049038105676658006)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.011980772018432617}
{'D': 5, 'al': ('10/9', '-1/9'), 'lam': ('-2/9', '2/9'), 'fal': 0.8626591136111345, 'flam': 0.2746817727777311, 'N': 3, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 3, 1, 6, 13, 6, 3, 4, 0.09872709111092427)], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.012151002883911133}
{'D': 5, 'al': ('4/3', '-1/4'), 'lam': ('-2/3', '1/2'), 'fal': 0.7743163389583859, 'flam': 0.4513673220832282, 'N': 2, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(4, 2, 1, 4, 8, 4, 2, 2, 0.09726535583354352)], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.012058019638061523}
{'D': 5, 'al': ('1', '-2/15'), 'lam': ('0', '4/15'), 'fal': 0.701857603000028, 'flam': 0.5962847939999439, 'N': 1, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(2, 1, 1, 2, 3, 2, 1, 0, 0.1925695879998879)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.011770009994506836}
{'D': 7, 'al': ('4/7', '1/7'), 'lam': ('6/7', '-2/7'), 'fal': 0.9493930444377987, 'flam': 0.10121391112440266, 'N': 9, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(18, 9, 1, 18, 43, 18, 9, 16, 0.012139111244027032)], 'rvals': [1, 18, 19], 'sumrat': False, 'dt': 0.014356136322021484}
{'D': 7, 'al': ('13/11', '-1/11'), 'lam': ('-4/11', '2/11'), 'fal': 0.9412953353577646, 'flam': 0.11740932928447104, 'N': 8, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(16, 8, 1, 16, 38, 16, 8, 14, 0.05668396356023919)], 'rvals': [1, 16, 17], 'sumrat': False, 'dt': 0.013965845108032227}
{'D': 7, 'al': ('1', '-1/14'), 'lam': ('0', '1/7'), 'fal': 0.8110177634953865, 'flam': 0.37796447300922725, 'N': 2, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(4, 2, 1, 4, 8, 4, 2, 2, 0.13389341902768173)], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.012276887893676758}
{'D': 7, 'al': ('21/16', '-3/16'), 'lam': ('-5/8', '3/8'), 'fal': 0.8164216291753892, 'flam': 0.3671567416492215, 'N': 2, 'rel': (2, 1, 2), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(4, 2, 1, 4, 8, 4, 2, 2, 0.10147022494766444)], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.012274980545043945}
{'D': 2, 'al': ('1', '-1/2'), 'lam': ('-2', '3/2'), 'fal': 0.2928932188134524, 'flam': 0.12132034355964283, 'N': 8, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 10], 'sumrat': False, 'dt': 0.0185091495513916}
{'D': 2, 'al': ('1/9', '1/9'), 'lam': ('2/3', '-1/3'), 'fal': 0.26824595137478835, 'flam': 0.19526214587563492, 'N': 5, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.018053054809570312}
{'D': 2, 'al': ('-1/12', '1/4'), 'lam': ('5/4', '-3/4'), 'fal': 0.27022005725994047, 'flam': 0.18933982822017859, 'N': 5, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.0198061466217041}
{'D': 2, 'al': ('2/5', '-1/15'), 'lam': ('-1/5', '1/5'), 'fal': 0.3057190958417937, 'flam': 0.08284271247461904, 'N': 12, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [10, 13], 'sumrat': False, 'dt': 0.018950939178466797}
{'D': 3, 'al': ('1', '-2/5'), 'lam': ('-2', '6/5'), 'fal': 0.30717967697244913, 'flam': 0.0784609690826528, 'N': 12, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [10, 13], 'sumrat': False, 'dt': 0.019708871841430664}
{'D': 3, 'al': ('1/2', '-1/10'), 'lam': ('-1/2', '3/10'), 'fal': 0.32679491924311227, 'flam': 0.0196152422706632, 'N': 50, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 70, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [49, 52], 'sumrat': False, 'dt': 0.2297677993774414}
{'D': 3, 'al': ('7/13', '-2/13'), 'lam': ('-8/13', '6/13'), 'fal': 0.27199218345094195, 'flam': 0.18402344964717415, 'N': 5, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.01862502098083496}
{'D': 3, 'al': ('3/8', '-1/16'), 'lam': ('-1/8', '3/16'), 'fal': 0.2667468245269452, 'flam': 0.1997595264191645, 'N': 5, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.01835489273071289}
{'D': 5, 'al': ('9/7', '-3/7'), 'lam': ('-20/7', '9/7'), 'fal': 0.3273994382143758, 'flam': 0.017801685356872606, 'N': 56, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 78, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [55, 58], 'sumrat': False, 'dt': 0.22728681564331055}
{'D': 5, 'al': ('8/11', '-2/11'), 'lam': ('-13/11', '6/11'), 'fal': 0.3207149131818564, 'flam': 0.0378552604544308, 'N': 26, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 38, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [25, 28], 'sumrat': False, 'dt': 0.02179408073425293}
{'D': 5, 'al': ('-3/14', '3/14'), 'lam': ('23/14', '-9/14'), 'fal': 0.26487170946424066, 'flam': 0.20538487160727797, 'N': 4, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.018287181854248047}
{'D': 7, 'al': ('-1', '1/2'), 'lam': ('4', '-3/2'), 'fal': 0.32287565553229536, 'flam': 0.031373033403113926, 'N': 31, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 46, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [31, 34], 'sumrat': False, 'dt': 0.022573232650756836}
{'D': 7, 'al': ('8/9', '-2/9'), 'lam': ('-5/3', '2/3'), 'fal': 0.3009441530967576, 'flam': 0.09716754070972715, 'N': 10, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [10, 13], 'sumrat': False, 'dt': 0.01906609535217285}
{'D': 7, 'al': ('6/13', '-1/13'), 'lam': ('-5/13', '3/13'), 'fal': 0.2580191299181084, 'flam': 0.22594261024567477, 'N': 4, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7], 'sumrat': False, 'dt': 0.018090009689331055}
{'D': 7, 'al': ('2/3', '-2/15'), 'lam': ('-1', '2/5'), 'fal': 0.3138998251913879, 'flam': 0.05830052442583629, 'N': 17, 'rel': (3, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [16, 19], 'sumrat': False, 'dt': 0.020418882369995117}
{'D': 2, 'al': ('2', '-1'), 'lam': ('-4', '3'), 'fal': 0.5857864376269049, 'flam': 0.24264068711928566, 'N': 4, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01746511459350586}
{'D': 2, 'al': ('7/9', '-1/9'), 'lam': ('-1/3', '1/3'), 'fal': 0.6206429375141006, 'flam': 0.13807118745769842, 'N': 7, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 8], 'sumrat': False, 'dt': 0.01801609992980957}
{'D': 2, 'al': ('11/12', '-1/4'), 'lam': ('-3/4', '3/4'), 'fal': 0.5631132760733929, 'flam': 0.3106601717798214, 'N': 3, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01849508285522461}
{'D': 2, 'al': ('11/15', '-2/15'), 'lam': ('-1/5', '2/5'), 'fal': 0.5447715250169207, 'flam': 0.3656854249492381, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.018021106719970703}
{'D': 3, 'al': ('5/6', '-1/6'), 'lam': ('-1/2', '1/2'), 'fal': 0.5446581987385205, 'flam': 0.36602540378443865, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01778101921081543}
{'D': 3, 'al': ('4/11', '1/11'), 'lam': ('10/11', '-3/11'), 'fal': 0.5210955279608069, 'flam': 0.4367134161175789, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01796698570251465}
{'D': 3, 'al': ('3/7', '1/14'), 'lam': ('5/7', '-3/14'), 'fal': 0.5522893433977769, 'flam': 0.34313196980666916, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.018065929412841797}
{'D': 3, 'al': ('3/16', '3/16'), 'lam': ('23/16', '-9/16'), 'fal': 0.5122595264191645, 'flam': 0.4632214207425066, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01873493194580078}
{'D': 5, 'al': ('3/2', '-3/8'), 'lam': ('-5/2', '9/8'), 'fal': 0.6614745084375788, 'flam': 0.01557647468726353, 'N': 64, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 87, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [62, 65], 'sumrat': False, 'dt': 0.22802400588989258}
{'D': 5, 'al': ('11/12', '-1/6'), 'lam': ('-3/4', '1/2'), 'fal': 0.5439886704167017, 'flam': 0.3680339887498949, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.018352270126342773}
{'D': 5, 'al': ('4/5', '-1/15'), 'lam': ('-2/5', '1/5'), 'fal': 0.650928801500014, 'flam': 0.04721359549995796, 'N': 21, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 31, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [20, 23], 'sumrat': False, 'dt': 0.020786046981811523}
{'D': 7, 'al': ('3/2', '-1/3'), 'lam': ('-5/2', '1'), 'fal': 0.6180828963118031, 'flam': 0.14575131106459072, 'N': 6, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 8], 'sumrat': False, 'dt': 0.01822495460510254}
{'D': 7, 'al': ('3/11', '1/11'), 'lam': ('13/11', '-3/11'), 'fal': 0.51325011918769, 'flam': 0.4602496424369298, 'N': 2, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.017898082733154297}
{'D': 7, 'al': ('3/7', '1/14'), 'lam': ('5/7', '-3/14'), 'fal': 0.6175536650760421, 'flam': 0.14733900477187342, 'N': 6, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 8], 'sumrat': False, 'dt': 0.01819920539855957}
{'D': 7, 'al': ('1/16', '3/16'), 'lam': ('29/16', '-9/16'), 'fal': 0.5585783708246108, 'flam': 0.3242648875261678, 'N': 3, 'rel': (3, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5], 'sumrat': False, 'dt': 0.01809215545654297}
{'D': 2, 'al': ('3/2', '-1/2'), 'lam': ('-3/2', '3/2'), 'fal': 0.7928932188134524, 'flam': 0.6213203435596428, 'N': 1, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(3, 1, 1, 3, 10, 6, 2, 2, 0.1715728752538097)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.0117340087890625}
{'D': 2, 'al': ('5/9', '2/9'), 'lam': ('4/3', '-2/3'), 'fal': 0.86982523608291, 'flam': 0.39052429175126985, 'N': 2, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 2, 1, 6, 12, 6, 2, 4, 0.08877665258037008)], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.012112855911254883}
{'D': 2, 'al': ('9/13', '1/13'), 'lam': ('12/13', '-3/13'), 'fal': 0.8010933509517766, 'flam': 0.5967199471446704, 'N': 1, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(3, 1, 1, 3, 10, 6, 2, 2, 0.19343989428934066)], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01143193244934082}
{'D': 2, 'al': ('1', '-2/15'), 'lam': ('0', '2/5'), 'fal': 0.8114381916835873, 'flam': 0.5656854249492381, 'N': 1, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(3, 1, 1, 3, 10, 6, 2, 2, 0.13137084989847617)], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.011899709701538086}
{'D': 3, 'al': ('11/6', '-1/2'), 'lam': ('-5/2', '3/2'), 'fal': 0.9673079295488947, 'flam': 0.09807621135331572, 'N': 10, 'rel': (3, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 39, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 28, 29], 'sumrat': False, 'dt': 0.023032188415527344}
{'D': 3, 'al': ('10/11', '-1/11'), 'lam': ('3/11', '3/11'), 'fal': 0.7516317447664658, 'flam': 0.7451047657006029, 'N': 1, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(3, 1, 1, 3, 10, 6, 2, 2, 0.006526979065862839)], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.011548042297363281}
{'D': 3, 'al': ('6/7', '1/14'), 'lam': ('3/7', '-3/14'), 'fal': 0.9808607719692055, 'flam': 0.057417684092383424, 'N': 17, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 67, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(51, 17, 1, 51, 234, 102, 34, 98, 0.004760142398686591)], 'rvals': [1, 50, 51], 'sumrat': False, 'dt': 0.15810418128967285}
{'D': 3, 'al': ('9/16', '3/16'), 'lam': ('21/16', '-9/16'), 'fal': 0.8872595264191645, 'flam': 0.3382214207425066, 'N': 2, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 2, 1, 6, 12, 6, 2, 4, 0.01466426222751993)], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.012755393981933594}
{'D': 5, 'al': ('2/3', '1/9'), 'lam': ('1', '-1/3'), 'fal': 0.9151186641666433, 'flam': 0.25464400750007005, 'N': 3, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(9, 3, 1, 9, 38, 18, 6, 14, 0.01857603000028026)], 'rvals': [1, 9, 10], 'sumrat': False, 'dt': 0.012542963027954102}
{'D': 5, 'al': ('1/3', '1/4'), 'lam': ('2', '-3/4'), 'fal': 0.8923503277082808, 'flam': 0.32294901687515765, 'N': 3, 'rel': (3, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 7, 8], 'sumrat': False, 'dt': 0.018864870071411133}
{'D': 5, 'al': ('8/15', '2/15'), 'lam': ('7/5', '-2/5'), 'fal': 0.8314757303333054, 'flam': 0.5055728090000841, 'N': 1, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(3, 1, 1, 3, 10, 6, 2, 2, 0.011145618000168157)], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.012025117874145508}
{'D': 7, 'al': ('11/6', '-1/3'), 'lam': ('-5/2', '1'), 'fal': 0.9514162296451364, 'flam': 0.14575131106459072, 'N': 6, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(18, 6, 1, 18, 40, 18, 6, 16, 0.02025917745213472)], 'rvals': [1, 18, 19], 'sumrat': False, 'dt': 0.014093875885009766}
{'D': 7, 'al': ('8/11', '1/11'), 'lam': ('9/11', '-3/11'), 'fal': 0.9677955737331445, 'flam': 0.09661327880056617, 'N': 10, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 39, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(30, 10, 1, 30, 68, 30, 10, 28, 0.0016627857274833311)], 'rvals': [1, 29, 30], 'sumrat': False, 'dt': 0.017045974731445312}
{'D': 7, 'al': ('5/7', '1/14'), 'lam': ('6/7', '-3/14'), 'fal': 0.9032679507903278, 'flam': 0.2901961476290163, 'N': 3, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(9, 3, 1, 9, 38, 18, 6, 14, 0.032679507903278955)], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.012097835540771484}
{'D': 7, 'al': ('3/8', '3/16'), 'lam': ('15/8', '-9/16'), 'fal': 0.8710783708246108, 'flam': 0.3867648875261678, 'N': 2, 'rel': (3, 1, 3), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 2, 1, 6, 12, 6, 2, 4, 0.09754859577227526)], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.012592077255249023}
{'D': 2, 'al': ('-1/2', '1/2'), 'lam': ('3', '-2'), 'fal': 0.20710678118654757, 'flam': 0.1715728752538097, 'N': 5, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.01847100257873535}
{'D': 2, 'al': ('-2/9', '1/3'), 'lam': ('17/9', '-4/3'), 'fal': 0.24918229856880952, 'flam': 0.0032708057247619296, 'N': 305, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 387, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [305, 309], 'sumrat': False, 'dt': 2.5292470455169678}
{'D': 2, 'al': ('0', '2/13'), 'lam': ('1', '-8/13'), 'fal': 0.21757131728816848, 'flam': 0.12971473084732607, 'N': 7, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.019257068634033203}
{'D': 2, 'al': ('1/8', '1/16'), 'lam': ('1/2', '-1/4'), 'fal': 0.21338834764831843, 'flam': 0.1464466094067262, 'N': 6, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.018648147583007812}
{'D': 3, 'al': ('0', '1/7'), 'lam': ('1', '-4/7'), 'fal': 0.24743582965269675, 'flam': 0.010256681389213032, 'N': 97, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 127, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [97, 101], 'sumrat': False, 'dt': 0.24491596221923828}
{'D': 3, 'al': ('4/11', '-1/11'), 'lam': ('-5/11', '4/11'), 'fal': 0.20617719931192025, 'flam': 0.175291202752319, 'N': 5, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.01941084861755371}
{'D': 3, 'al': ('-1/7', '3/14'), 'lam': ('11/7', '-6/7'), 'fal': 0.2282966016219023, 'flam': 0.08681359351239085, 'N': 11, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 13], 'sumrat': False, 'dt': 0.020219087600708008}
{'D': 3, 'al': ('9/16', '-3/16'), 'lam': ('-5/4', '3/4'), 'fal': 0.2377404735808355, 'flam': 0.049038105676658006, 'N': 20, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 21], 'sumrat': False, 'dt': 0.02089095115661621}
{'D': 5, 'al': ('-5/8', '3/8'), 'lam': ('7/2', '-3/2'), 'fal': 0.21352549156242118, 'flam': 0.1458980337503153, 'N': 6, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.020061969757080078}
{'D': 5, 'al': ('7/12', '-1/6'), 'lam': ('-4/3', '2/3'), 'fal': 0.21065533708336837, 'flam': 0.15737865166652654, 'N': 6, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.01898813247680664}
{'D': 5, 'al': ('8/15', '-2/15'), 'lam': ('-17/15', '8/15'), 'fal': 0.23519093633336136, 'flam': 0.059236254666554564, 'N': 16, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 22, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 17], 'sumrat': False, 'dt': 0.01980900764465332}
{'D': 7, 'al': ('9/5', '-3/5'), 'lam': ('-31/5', '12/5'), 'fal': 0.21254921336124558, 'flam': 0.14980314655501772, 'N': 6, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.018783092498779297}
{'D': 7, 'al': ('1', '-3/10'), 'lam': ('-3', '6/5'), 'fal': 0.20627460668062278, 'flam': 0.17490157327750885, 'N': 5, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.018663883209228516}
{'D': 7, 'al': ('11/13', '-3/13'), 'lam': ('-31/13', '12/13'), 'fal': 0.23559585129278676, 'flam': 0.057616594828852966, 'N': 17, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 21], 'sumrat': False, 'dt': 0.021198272705078125}
{'D': 7, 'al': ('3/8', '-1/16'), 'lam': ('-1/2', '1/4'), 'fal': 0.20964054305846308, 'flam': 0.16143782776614768, 'N': 6, 'rel': (4, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 9], 'sumrat': False, 'dt': 0.01928400993347168}
{'D': 2, 'al': ('-1', '1'), 'lam': ('6', '-4'), 'fal': 0.41421356237309515, 'flam': 0.3431457505076194, 'N': 2, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01859569549560547}
{'D': 2, 'al': ('1/9', '2/9'), 'lam': ('14/9', '-8/9'), 'fal': 0.4253807916384656, 'flam': 0.2984768334461376, 'N': 3, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01933598518371582}
{'D': 2, 'al': ('4/13', '1/13'), 'lam': ('10/13', '-4/13'), 'fal': 0.4164779663363919, 'flam': 0.33408813465443227, 'N': 2, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.017761707305908203}
{'D': 2, 'al': ('2/3', '-2/15'), 'lam': ('-2/3', '8/15'), 'fal': 0.478104858350254, 'flam': 0.08758056659898408, 'N': 11, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 19, 21], 'sumrat': False, 'dt': 0.020368337631225586}
{'D': 3, 'al': ('4/3', '-1/2'), 'lam': ('-10/3', '2'), 'fal': 0.46730792954889466, 'flam': 0.13076828180442135, 'N': 7, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 13, 15], 'sumrat': False, 'dt': 0.01931595802307129}
{'D': 3, 'al': ('1/11', '2/11'), 'lam': ('18/11', '-8/11'), 'fal': 0.4058274195579777, 'flam': 0.3766903217680893, 'N': 2, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018419742584228516}
{'D': 3, 'al': ('4/7', '-1/14'), 'lam': ('-2/7', '2/7'), 'fal': 0.4477106566022231, 'flam': 0.20915737359110778, 'N': 4, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7, 9], 'sumrat': False, 'dt': 0.01846790313720703}
{'D': 3, 'al': ('13/16', '-3/16'), 'lam': ('-5/4', '3/4'), 'fal': 0.4877404735808355, 'flam': 0.049038105676658006, 'N': 20, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 49, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 37, 39], 'sumrat': False, 'dt': 0.22222208976745605}
{'D': 5, 'al': ('2/3', '-1/9'), 'lam': ('-2/3', '4/9'), 'fal': 0.41821466916669003, 'flam': 0.3271413233332399, 'N': 3, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01781606674194336}
{'D': 5, 'al': ('4/13', '1/13'), 'lam': ('10/13', '-4/13'), 'fal': 0.47969753673075305, 'flam': 0.08120985307698775, 'N': 12, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 21, 23], 'sumrat': False, 'dt': 0.021250009536743164}
{'D': 5, 'al': ('11/15', '-2/15'), 'lam': ('-14/15', '8/15'), 'fal': 0.43519093633336137, 'flam': 0.2592362546665546, 'N': 3, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5, 7], 'sumrat': False, 'dt': 0.01931595802307129}
{'D': 7, 'al': ('-5/6', '1/2'), 'lam': ('16/3', '-2'), 'fal': 0.48954232219896204, 'flam': 0.0418307112041519, 'N': 23, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 59, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 45, 47], 'sumrat': False, 'dt': 0.22429585456848145}
{'D': 7, 'al': ('8/11', '-1/11'), 'lam': ('-10/11', '4/11'), 'fal': 0.4867498808123099, 'flam': 0.05300047675076026, 'N': 18, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 47, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 35, 37], 'sumrat': False, 'dt': 0.02519989013671875}
{'D': 7, 'al': ('9/14', '-1/14'), 'lam': ('-4/7', '2/7'), 'fal': 0.45387490635252925, 'flam': 0.18450037458988305, 'N': 5, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7, 9], 'sumrat': False, 'dt': 0.0186309814453125}
{'D': 7, 'al': ('15/16', '-3/16'), 'lam': ('-7/4', '3/4'), 'fal': 0.44142162917538924, 'flam': 0.23431348329844304, 'N': 4, 'rel': (4, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5, 7], 'sumrat': False, 'dt': 0.01932072639465332}
{'D': 2, 'al': ('0', '1/2'), 'lam': ('3', '-2'), 'fal': 0.7071067811865476, 'flam': 0.1715728752538097, 'N': 5, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.018930912017822266}
{'D': 2, 'al': ('7/9', '-1/9'), 'lam': ('-1/9', '4/9'), 'fal': 0.6206429375141006, 'flam': 0.5174282499435978, 'N': 1, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018092870712280273}
{'D': 2, 'al': ('13/12', '-1/4'), 'lam': ('-4/3', '1'), 'fal': 0.7297799427400595, 'flam': 0.08088022903976189, 'N': 12, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 15], 'sumrat': False, 'dt': 0.020641088485717773}
{'D': 2, 'al': ('13/15', '-2/15'), 'lam': ('-7/15', '8/15'), 'fal': 0.678104858350254, 'flam': 0.28758056659898407, 'N': 3, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.01832294464111328}
{'D': 3, 'al': ('-1/6', '1/2'), 'lam': ('11/3', '-2'), 'fal': 0.699358737117772, 'flam': 0.202565051528912, 'N': 4, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.01876211166381836}
{'D': 3, 'al': ('6/11', '1/11'), 'lam': ('9/11', '-4/11'), 'fal': 0.7029137097789888, 'flam': 0.18834516088404465, 'N': 5, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.01793670654296875}
{'D': 3, 'al': ('11/14', '-1/14'), 'lam': ('-1/7', '2/7'), 'fal': 0.6619963708879374, 'flam': 0.3520145164482506, 'N': 2, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018168926239013672}
{'D': 3, 'al': ('1', '-3/16'), 'lam': ('-1', '3/4'), 'fal': 0.6752404735808355, 'flam': 0.299038105676658, 'N': 3, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.019842863082885742}
{'D': 5, 'al': ('1/9', '2/9'), 'lam': ('23/9', '-8/9'), 'fal': 0.6080151061110644, 'flam': 0.5679395755557424, 'N': 1, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.019086122512817383}
{'D': 5, 'al': ('1/6', '1/4'), 'lam': ('7/3', '-1'), 'fal': 0.7256836610416141, 'flam': 0.09726535583354352, 'N': 10, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 11], 'sumrat': False, 'dt': 0.02020716667175293}
{'D': 5, 'al': ('14/15', '-2/15'), 'lam': ('-11/15', '8/15'), 'fal': 0.6351909363333613, 'flam': 0.45923625466655454, 'N': 2, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.019453048706054688}
{'D': 7, 'al': ('2/7', '1/7'), 'lam': ('13/7', '-4/7'), 'fal': 0.663678758723513, 'flam': 0.34528496510594814, 'N': 2, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017740726470947266}
{'D': 7, 'al': ('2/11', '2/11'), 'lam': ('25/11', '-8/11'), 'fal': 0.6628638747390165, 'flam': 0.34854450104393403, 'N': 2, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018280982971191406}
{'D': 7, 'al': ('13/14', '-1/14'), 'lam': ('-5/7', '2/7'), 'fal': 0.7395891920668151, 'flam': 0.041643231732740205, 'N': 24, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 34, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [23, 27], 'sumrat': False, 'dt': 0.020978927612304688}
{'D': 7, 'al': ('19/16', '-3/16'), 'lam': ('-7/4', '3/4'), 'fal': 0.6914216291753892, 'flam': 0.23431348329844304, 'N': 4, 'rel': (4, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7], 'sumrat': False, 'dt': 0.01910710334777832}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('6', '-4'), 'fal': 0.9142135623730951, 'flam': 0.3431457505076194, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(8, 2, 1, 8, 16, 8, 2, 6, 0.029437251522857366)], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.01320195198059082}
{'D': 2, 'al': ('10/9', '-1/9'), 'lam': ('-4/9', '4/9'), 'fal': 0.9539762708474337, 'flam': 0.1840949166102645, 'N': 5, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 18, 19], 'sumrat': False, 'dt': 0.021162986755371094}
{'D': 2, 'al': ('9/13', '1/13'), 'lam': ('16/13', '-4/13'), 'fal': 0.8010933509517766, 'flam': 0.7956265961928939, 'N': 1, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017487764358520508}
{'D': 2, 'al': ('4/5', '2/15'), 'lam': ('4/5', '-8/15'), 'fal': 0.9885618083164126, 'flam': 0.045752766734349255, 'N': 21, 'rel': (4, 1, 4), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 107, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(84, 21, 1, 84, 187, 84, 21, 82, 0.00656086815568339)], 'rvals': [1, 84, 85], 'sumrat': False, 'dt': 0.1927340030670166}
{'D': 3, 'al': ('5/3', '-1/2'), 'lam': ('-8/3', '2'), 'fal': 0.800641262882228, 'flam': 0.797434948471088, 'N': 1, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017750978469848633}
{'D': 3, 'al': ('9/11', '1/11'), 'lam': ('8/11', '-4/11'), 'fal': 0.9756409825062615, 'flam': 0.09743606997495374, 'N': 10, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 49, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 38, 39], 'sumrat': False, 'dt': 0.21642112731933594}
{'D': 3, 'al': ('11/14', '1/14'), 'lam': ('6/7', '-2/7'), 'fal': 0.909432200540634, 'flam': 0.36227119783746364, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(8, 2, 1, 8, 16, 8, 2, 6, 0.08681359351239085)], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.012820005416870117}
{'D': 3, 'al': ('9/16', '3/16'), 'lam': ('7/4', '-3/4'), 'fal': 0.8872595264191645, 'flam': 0.450961894323342, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.018728971481323242}
{'D': 5, 'al': ('5/9', '1/9'), 'lam': ('16/9', '-4/9'), 'fal': 0.8040075530555322, 'flam': 0.7839697877778712, 'N': 1, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01766514778137207}
{'D': 5, 'al': ('5/4', '-1/6'), 'lam': ('-1', '2/3'), 'fal': 0.877322003750035, 'flam': 0.49071198499985985, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.01829695701599121}
{'D': 5, 'al': ('16/15', '-1/15'), 'lam': ('-4/15', '4/15'), 'fal': 0.9175954681666807, 'flam': 0.3296181273332773, 'N': 3, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 9, 10], 'sumrat': False, 'dt': 0.019372940063476562}
{'D': 7, 'al': ('4/3', '-1/6'), 'lam': ('-4/3', '2/3'), 'fal': 0.8923747814892349, 'flam': 0.4305008740430605, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.01787710189819336}
{'D': 7, 'al': ('7/11', '1/11'), 'lam': ('16/11', '-4/11'), 'fal': 0.8768864828240536, 'flam': 0.4924540687037852, 'N': 2, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.017654895782470703}
{'D': 7, 'al': ('9/14', '1/14'), 'lam': ('10/7', '-2/7'), 'fal': 0.8318393793617564, 'flam': 0.6726424825529741, 'N': 1, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01803874969482422}
{'D': 7, 'al': ('5/16', '3/16'), 'lam': ('11/4', '-3/4'), 'fal': 0.8085783708246108, 'flam': 0.765686516701557, 'N': 1, 'rel': (4, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01761007308959961}
{'D': 2, 'al': ('2/3', '-1/3'), 'lam': ('-7/3', '5/3'), 'fal': 0.19526214587563495, 'flam': 0.02368927062182517, 'N': 42, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 56, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [41, 46], 'sumrat': False, 'dt': 0.21735906600952148}
{'D': 2, 'al': ('1/3', '-1/9'), 'lam': ('-2/3', '5/9'), 'fal': 0.1761984930696561, 'flam': 0.1190075346517195, 'N': 8, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.019042015075683594}
{'D': 2, 'al': ('1/13', '1/13'), 'lam': ('8/13', '-5/13'), 'fal': 0.18570873556716114, 'flam': 0.07145632216419419, 'N': 13, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 16], 'sumrat': False, 'dt': 0.019238948822021484}
{'D': 2, 'al': ('1/2', '-3/14'), 'lam': ('-3/2', '15/14'), 'fal': 0.19695423663433673, 'flam': 0.01522881682831618, 'N': 65, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 80, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [61, 66], 'sumrat': False, 'dt': 0.22751688957214355}
{'D': 3, 'al': ('-1/4', '1/4'), 'lam': ('9/4', '-5/4'), 'fal': 0.1830127018922193, 'flam': 0.08493649053890362, 'N': 11, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 16], 'sumrat': False, 'dt': 0.01964712142944336}
{'D': 3, 'al': ('5/9', '-2/9'), 'lam': ('-16/9', '10/9'), 'fal': 0.17065537609580506, 'flam': 0.14672311952097455, 'N': 6, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.019710779190063477}
{'D': 3, 'al': ('-1/13', '2/13'), 'lam': ('18/13', '-10/13'), 'fal': 0.18954627808751956, 'flam': 0.05226860956240223, 'N': 19, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [16, 21], 'sumrat': False, 'dt': 0.021717071533203125}
{'D': 3, 'al': ('2/5', '-2/15'), 'lam': ('-1', '2/3'), 'fal': 0.1690598923241497, 'flam': 0.1547005383792514, 'N': 6, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.019808053970336914}
{'D': 5, 'al': ('3/4', '-1/4'), 'lam': ('-11/4', '5/4'), 'fal': 0.19098300562505255, 'flam': 0.045084971874737256, 'N': 22, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 32, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [21, 26], 'sumrat': False, 'dt': 0.02191781997680664}
{'D': 5, 'al': ('2/3', '-2/9'), 'lam': ('-7/3', '10/9'), 'fal': 0.16976267166671338, 'flam': 0.1511866416664331, 'N': 6, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.01900005340576172}
{'D': 5, 'al': ('-2/13', '2/13'), 'lam': ('23/13', '-10/13'), 'fal': 0.19016430423073688, 'flam': 0.049178478846315536, 'N': 20, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [16, 21], 'sumrat': False, 'dt': 0.020544052124023438}
{'D': 5, 'al': ('1/3', '-1/15'), 'lam': ('-2/3', '1/3'), 'fal': 0.18426213483334736, 'flam': 0.07868932583326327, 'N': 12, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 16], 'sumrat': False, 'dt': 0.01911616325378418}
{'D': 7, 'al': ('-7/5', '3/5'), 'lam': ('8', '-3'), 'fal': 0.18745078663875442, 'flam': 0.06274606680622838, 'N': 15, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 16], 'sumrat': False, 'dt': 0.019513845443725586}
{'D': 7, 'al': ('7/10', '-1/5'), 'lam': ('-5/2', '1'), 'fal': 0.17084973778708185, 'flam': 0.14575131106459055, 'N': 6, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.02016305923461914}
{'D': 7, 'al': ('5/6', '-1/4'), 'lam': ('-19/6', '5/4'), 'fal': 0.17189550556718566, 'flam': 0.14052247216407152, 'N': 7, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.020032167434692383}
{'D': 7, 'al': ('8/15', '-2/15'), 'lam': ('-5/3', '2/3'), 'fal': 0.18056649185805457, 'flam': 0.09716754070972702, 'N': 10, 'rel': (5, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 11], 'sumrat': False, 'dt': 0.01997995376586914}
{'D': 2, 'al': ('4/3', '-2/3'), 'lam': ('-14/3', '10/3'), 'fal': 0.3905242917512699, 'flam': 0.04737854124365034, 'N': 21, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 28, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [18, 23], 'sumrat': False, 'dt': 0.021324872970581055}
{'D': 2, 'al': ('2/3', '-2/9'), 'lam': ('-4/3', '10/9'), 'fal': 0.3523969861393122, 'flam': 0.238015069303439, 'N': 4, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.018941164016723633}
{'D': 2, 'al': ('3/13', '1/13'), 'lam': ('11/13', '-5/13'), 'fal': 0.339554889413315, 'flam': 0.30222555293342496, 'N': 3, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.01874089241027832}
{'D': 2, 'al': ('1/15', '1/5'), 'lam': ('5/3', '-1'), 'fal': 0.3495093791412857, 'flam': 0.25245310429357154, 'N': 3, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.0189511775970459}
{'D': 3, 'al': ('2/3', '-1/6'), 'lam': ('-4/3', '5/6'), 'fal': 0.3779915320718538, 'flam': 0.11004233964073092, 'N': 9, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 13], 'sumrat': False, 'dt': 0.01906561851501465}
{'D': 3, 'al': ('9/10', '-3/10'), 'lam': ('-5/2', '3/2'), 'fal': 0.3803847577293368, 'flam': 0.09807621135331565, 'N': 10, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 13], 'sumrat': False, 'dt': 0.019730806350708008}
{'D': 3, 'al': ('10/13', '-3/13'), 'lam': ('-24/13', '15/13'), 'fal': 0.36952673671487446, 'flam': 0.15236631642562742, 'N': 6, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.018902063369750977}
{'D': 3, 'al': ('9/16', '-1/8'), 'lam': ('-13/16', '5/8'), 'fal': 0.34599364905389035, 'flam': 0.2700317547305482, 'N': 3, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.019185781478881836}
{'D': 5, 'al': ('-1/2', '3/8'), 'lam': ('9/2', '-15/8'), 'fal': 0.3385254915624212, 'flam': 0.30737254218789367, 'N': 3, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.018771886825561523}
{'D': 5, 'al': ('7/12', '-1/12'), 'lam': ('-11/12', '5/12'), 'fal': 0.39699433520835087, 'flam': 0.015028323958245752, 'N': 66, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 82, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [63, 68], 'sumrat': False, 'dt': 0.2361006736755371}
{'D': 5, 'al': ('1/5', '1/15'), 'lam': ('1', '-1/3'), 'fal': 0.34907119849998597, 'flam': 0.25464400750007005, 'N': 3, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.01913905143737793}
{'D': 7, 'al': ('5/6', '-1/6'), 'lam': ('-13/6', '5/6'), 'fal': 0.3923747814892349, 'flam': 0.03812609255382545, 'N': 26, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 34, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [23, 28], 'sumrat': False, 'dt': 0.02128887176513672}
{'D': 7, 'al': ('9/10', '-1/5'), 'lam': ('-5/2', '1'), 'fal': 0.37084973778708186, 'flam': 0.14575131106459055, 'N': 6, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8], 'sumrat': False, 'dt': 0.019922971725463867}
{'D': 7, 'al': ('-3/13', '3/13'), 'lam': ('41/13', '-15/13'), 'fal': 0.3797887640918286, 'flam': 0.10105617954085708, 'N': 9, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 13], 'sumrat': False, 'dt': 0.019416093826293945}
{'D': 7, 'al': ('9/16', '-1/16'), 'lam': ('-13/16', '5/16'), 'fal': 0.3971405430584631, 'flam': 0.014297284707684543, 'N': 69, 'rel': (5, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 88, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [68, 73], 'sumrat': False, 'dt': 0.22534394264221191}
{'D': 2, 'al': ('2', '-1'), 'lam': ('-7', '5'), 'fal': 0.5857864376269049, 'flam': 0.0710678118654755, 'N': 14, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [12, 17], 'sumrat': False, 'dt': 0.019140958786010742}
{'D': 2, 'al': ('2/9', '2/9'), 'lam': ('17/9', '-10/9'), 'fal': 0.5364919027495767, 'flam': 0.31754048625211656, 'N': 3, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.01916193962097168}
{'D': 2, 'al': ('6/13', '1/13'), 'lam': ('9/13', '-5/13'), 'fal': 0.5703241201825457, 'flam': 0.1483793990872711, 'N': 6, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.01877307891845703}
{'D': 2, 'al': ('11/15', '-2/15'), 'lam': ('-2/3', '2/3'), 'fal': 0.5447715250169207, 'flam': 0.2761423749153967, 'N': 3, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.018774986267089844}
{'D': 3, 'al': ('7/6', '-1/3'), 'lam': ('-17/6', '5/3'), 'fal': 0.5893163974770409, 'flam': 0.053418012614795174, 'N': 18, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 22], 'sumrat': False, 'dt': 0.020732879638671875}
{'D': 3, 'al': ('8/11', '-1/11'), 'lam': ('-7/11', '5/11'), 'fal': 0.5698135629482839, 'flam': 0.15093218525858051, 'N': 6, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.018730878829956055}
{'D': 3, 'al': ('9/14', '-1/14'), 'lam': ('-3/14', '5/14'), 'fal': 0.5191392280307945, 'flam': 0.4043038598460275, 'N': 2, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.0183560848236084}
{'D': 3, 'al': ('1/4', '3/16'), 'lam': ('7/4', '-15/16'), 'fal': 0.5747595264191645, 'flam': 0.12620236790417771, 'N': 7, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 12], 'sumrat': False, 'dt': 0.019134998321533203}
{'D': 5, 'al': ('1/3', '1/9'), 'lam': ('4/3', '-5/9'), 'fal': 0.58178533083331, 'flam': 0.09107334583345011, 'N': 10, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 12], 'sumrat': False, 'dt': 0.018814802169799805}
{'D': 5, 'al': ('5/13', '1/13'), 'lam': ('14/13', '-5/13'), 'fal': 0.55662061365383, 'flam': 0.21689693173085006, 'N': 4, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.01849198341369629}
{'D': 5, 'al': ('4/5', '-2/15'), 'lam': ('-1', '2/3'), 'fal': 0.501857603000028, 'flam': 0.49071198499985985, 'N': 2, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.018498897552490234}
{'D': 7, 'al': ('1/7', '1/7'), 'lam': ('16/7', '-5/7'), 'fal': 0.5208216158663701, 'flam': 0.3958919206681496, 'N': 2, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7], 'sumrat': False, 'dt': 0.0183103084564209}
{'D': 7, 'al': ('1/11', '2/11'), 'lam': ('28/11', '-10/11'), 'fal': 0.5719547838299256, 'flam': 0.14022608085037225, 'N': 7, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 12], 'sumrat': False, 'dt': 0.019446849822998047}
{'D': 7, 'al': ('3/14', '1/7'), 'lam': ('27/14', '-5/7'), 'fal': 0.5922501872949415, 'flam': 0.03874906352529247, 'N': 25, 'rel': (5, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 33, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [22, 27], 'sumrat': False, 'dt': 0.021059036254882812}
{'D': 2, 'al': ('0', '1/2'), 'lam': ('4', '-5/2'), 'fal': 0.7071067811865476, 'flam': 0.46446609406726225, 'N': 2, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017518281936645508}
{'D': 2, 'al': ('4/9', '2/9'), 'lam': ('16/9', '-10/9'), 'fal': 0.7587141249717989, 'flam': 0.20642937514100546, 'N': 4, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9], 'sumrat': False, 'dt': 0.018864870071411133}
{'D': 2, 'al': ('5/12', '1/4'), 'lam': ('23/12', '-5/4'), 'fal': 0.7702200572599405, 'flam': 0.14889971370029778, 'N': 6, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9], 'sumrat': False, 'dt': 0.019052982330322266}
{'D': 2, 'al': ('3/5', '2/15'), 'lam': ('1', '-2/3'), 'fal': 0.7885618083164126, 'flam': 0.0571909584179366, 'N': 17, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [14, 19], 'sumrat': False, 'dt': 0.01945185661315918}
{'D': 3, 'al': ('1', '-1/6'), 'lam': ('-1', '5/6'), 'fal': 0.7113248654051872, 'flam': 0.44337567297406427, 'N': 2, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017974138259887695}
{'D': 3, 'al': ('13/10', '-3/10'), 'lam': ('-5/2', '3/2'), 'fal': 0.7803847577293368, 'flam': 0.09807621135331565, 'N': 10, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 14], 'sumrat': False, 'dt': 0.019352197647094727}
{'D': 3, 'al': ('15/13', '-3/13'), 'lam': ('-23/13', '15/13'), 'fal': 0.754142121330259, 'flam': 0.22928939334870435, 'N': 4, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9], 'sumrat': False, 'dt': 0.018669843673706055}
{'D': 3, 'al': ('9/16', '1/8'), 'lam': ('19/16', '-5/8'), 'fal': 0.7790063509461096, 'flam': 0.10496824526945181, 'N': 9, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 14], 'sumrat': False, 'dt': 0.01960301399230957}
{'D': 5, 'al': ('1', '-1/8'), 'lam': ('-1', '5/8'), 'fal': 0.7204915028125263, 'flam': 0.39754248593736863, 'N': 2, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018014907836914062}
{'D': 5, 'al': ('1/2', '1/12'), 'lam': ('3/2', '-5/12'), 'fal': 0.6863389981249824, 'flam': 0.5683050093750875, 'N': 1, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017678022384643555}
{'D': 5, 'al': ('3/5', '1/15'), 'lam': ('1', '-1/3'), 'fal': 0.7490711984999859, 'flam': 0.25464400750007005, 'N': 3, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018006086349487305}
{'D': 7, 'al': ('1/5', '1/5'), 'lam': ('3', '-1'), 'fal': 0.7291502622129181, 'flam': 0.35424868893540945, 'N': 2, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018259763717651367}
{'D': 7, 'al': ('1', '-1/10'), 'lam': ('-1', '1/2'), 'fal': 0.735424868893541, 'flam': 0.32287565553229525, 'N': 3, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018185853958129883}
{'D': 7, 'al': ('14/13', '-2/13'), 'lam': ('-18/13', '10/13'), 'fal': 0.6698844136823706, 'flam': 0.6505779315881466, 'N': 1, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017728090286254883}
{'D': 7, 'al': ('9/16', '1/16'), 'lam': ('19/16', '-5/16'), 'fal': 0.7278594569415369, 'flam': 0.36070271529231546, 'N': 2, 'rel': (5, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018236160278320312}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('15/2', '-5'), 'fal': 0.9142135623730951, 'flam': 0.4289321881345245, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 7, 8], 'sumrat': False, 'dt': 0.01850295066833496}
{'D': 2, 'al': ('10/9', '-1/9'), 'lam': ('-5/9', '5/9'), 'fal': 0.9539762708474337, 'flam': 0.23011864576283061, 'N': 4, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 22, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 17, 18], 'sumrat': False, 'dt': 0.019695043563842773}
{'D': 2, 'al': ('7/12', '1/4'), 'lam': ('25/12', '-5/4'), 'fal': 0.9368867239266071, 'flam': 0.31556638036696444, 'N': 3, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 11, 12], 'sumrat': False, 'dt': 0.019233226776123047}
{'D': 2, 'al': ('11/15', '2/15'), 'lam': ('4/3', '-2/3'), 'fal': 0.921895141649746, 'flam': 0.39052429175126996, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.019205093383789062}
{'D': 3, 'al': ('2/3', '1/6'), 'lam': ('5/3', '-5/6'), 'fal': 0.9553418012614795, 'flam': 0.2232909936926024, 'N': 4, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 18, 19], 'sumrat': False, 'dt': 0.019840002059936523}
{'D': 3, 'al': ('3/2', '-3/10'), 'lam': ('-5/2', '3/2'), 'fal': 0.9803847577293368, 'flam': 0.09807621135331565, 'N': 10, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 57, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 46, 47], 'sumrat': False, 'dt': 0.23418116569519043}
{'D': 3, 'al': ('17/13', '-3/13'), 'lam': ('-20/13', '15/13'), 'fal': 0.9079882751764129, 'flam': 0.46005862411793513, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.01984691619873047}
{'D': 3, 'al': ('11/16', '1/8'), 'lam': ('25/16', '-5/8'), 'fal': 0.9040063509461096, 'flam': 0.4799682452694518, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.01913928985595703}
{'D': 5, 'al': ('3/8', '1/4'), 'lam': ('25/8', '-5/4'), 'fal': 0.9340169943749475, 'flam': 0.32991502812526274, 'N': 3, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 11, 12], 'sumrat': False, 'dt': 0.019910097122192383}
{'D': 5, 'al': ('2/3', '1/12'), 'lam': ('5/3', '-5/12'), 'fal': 0.8530056647916492, 'flam': 0.7349716760417543, 'N': 1, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017735004425048828}
{'D': 5, 'al': ('10/7', '-3/14'), 'lam': ('-15/7', '15/14'), 'fal': 0.9494140048214736, 'flam': 0.25292997589263216, 'N': 3, 'rel': (5, 1, 5), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(15, 3, 1, 15, 62, 30, 6, 26, 0.011719903570528751)], 'rvals': [1, 15, 16], 'sumrat': False, 'dt': 0.013592004776000977}
{'D': 7, 'al': ('2/5', '1/5'), 'lam': ('3', '-1'), 'fal': 0.9291502622129182, 'flam': 0.35424868893540945, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(10, 2, 1, 10, 20, 10, 2, 8, 0.06274606680622838)], 'rvals': [1, 10, 11], 'sumrat': False, 'dt': 0.01283121109008789}
{'D': 7, 'al': ('11/10', '-1/10'), 'lam': ('-1/2', '1/2'), 'fal': 0.8354248688935411, 'flam': 0.8228756555322952, 'N': 1, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017457008361816406}
{'D': 7, 'al': ('18/13', '-2/13'), 'lam': ('-25/13', '10/13'), 'fal': 0.9775767213746783, 'flam': 0.11211639312660811, 'N': 8, 'rel': (5, 1, 5), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 50, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(40, 8, 1, 40, 86, 40, 8, 38, 0.009047538139474053)], 'rvals': [1, 40, 41], 'sumrat': False, 'dt': 0.15345096588134766}
{'D': 7, 'al': ('3/4', '1/16'), 'lam': ('5/4', '-5/16'), 'fal': 0.9153594569415369, 'flam': 0.42320271529231546, 'N': 2, 'rel': (5, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 7, 8], 'sumrat': False, 'dt': 0.017987966537475586}
{'D': 2, 'al': ('1/2', '-1/4'), 'lam': ('-2', '3/2'), 'fal': 0.1464466094067262, 'flam': 0.12132034355964283, 'N': 8, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 13], 'sumrat': False, 'dt': 0.018869876861572266}
{'D': 2, 'al': ('0', '1/9'), 'lam': ('1', '-2/3'), 'fal': 0.15713484026367724, 'flam': 0.05719095841793652, 'N': 17, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 19], 'sumrat': False, 'dt': 0.019269704818725586}
{'D': 2, 'al': ('6/11', '-3/11'), 'lam': ('-25/11', '18/11'), 'fal': 0.1597599375346104, 'flam': 0.041440374792337635, 'N': 24, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 30, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [19, 25], 'sumrat': False, 'dt': 0.021069049835205078}
{'D': 2, 'al': ('1/15', '1/15'), 'lam': ('3/5', '-2/5'), 'fal': 0.160947570824873, 'flam': 0.034314575050761915, 'N': 29, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [25, 31], 'sumrat': False, 'dt': 0.021769046783447266}
{'D': 2, 'al': ('1/4', '-1/16'), 'lam': ('-1/2', '3/8'), 'fal': 0.16161165235168157, 'flam': 0.030330085889910707, 'N': 32, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [31, 37], 'sumrat': False, 'dt': 0.022549152374267578}
{'D': 3, 'al': ('3/8', '-1/8'), 'lam': ('-5/4', '3/4'), 'fal': 0.15849364905389035, 'flam': 0.049038105676658006, 'N': 20, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 30, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [19, 25], 'sumrat': False, 'dt': 0.0211789608001709}
{'D': 3, 'al': ('0', '1/11'), 'lam': ('1', '-6/11'), 'fal': 0.15745916432444337, 'flam': 0.05524501405333963, 'N': 18, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 19], 'sumrat': False, 'dt': 0.019370079040527344}
{'D': 3, 'al': ('2/7', '-1/14'), 'lam': ('-5/7', '3/7'), 'fal': 0.16199637088793734, 'flam': 0.028021774672376005, 'N': 35, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [31, 37], 'sumrat': False, 'dt': 0.02293705940246582}
{'D': 3, 'al': ('-1/16', '1/8'), 'lam': ('11/8', '-3/4'), 'fal': 0.15400635094610965, 'flam': 0.075961894323342, 'N': 13, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 19], 'sumrat': False, 'dt': 0.020048141479492188}
{'D': 5, 'al': ('1', '-3/8'), 'lam': ('-5', '9/4'), 'fal': 0.16147450843757882, 'flam': 0.03115294937452706, 'N': 32, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 44, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [31, 37], 'sumrat': False, 'dt': 0.023541927337646484}
{'D': 5, 'al': ('4/11', '-1/11'), 'lam': ('-13/11', '6/11'), 'fal': 0.1603574565909282, 'flam': 0.0378552604544308, 'N': 26, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [25, 31], 'sumrat': False, 'dt': 0.021917104721069336}
{'D': 5, 'al': ('9/14', '-3/14'), 'lam': ('-20/7', '9/7'), 'fal': 0.1636997191071879, 'flam': 0.017801685356872606, 'N': 56, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 72, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [55, 61], 'sumrat': False, 'dt': 0.22697901725769043}
{'D': 5, 'al': ('9/16', '-3/16'), 'lam': ('-19/8', '9/8'), 'fal': 0.1432372542187894, 'flam': 0.14057647468726353, 'N': 7, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 13], 'sumrat': False, 'dt': 0.019626855850219727}
{'D': 7, 'al': ('4/9', '-1/9'), 'lam': ('-5/3', '2/3'), 'fal': 0.1504720765483788, 'flam': 0.09716754070972715, 'N': 10, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 13], 'sumrat': False, 'dt': 0.01933908462524414}
{'D': 7, 'al': ('7/11', '-2/11'), 'lam': ('-31/11', '12/11'), 'fal': 0.1553179434428017, 'flam': 0.06809233934318987, 'N': 14, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 19], 'sumrat': False, 'dt': 0.019524097442626953}
{'D': 7, 'al': ('5/7', '-3/14'), 'lam': ('-23/7', '9/7'), 'fal': 0.14733900477187342, 'flam': 0.11596597136875937, 'N': 8, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 13], 'sumrat': False, 'dt': 0.019446134567260742}
{'D': 7, 'al': ('5/16', '-1/16'), 'lam': ('-7/8', '3/8'), 'fal': 0.14714054305846308, 'flam': 0.11715674164922152, 'N': 8, 'rel': (6, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [7, 13], 'sumrat': False, 'dt': 0.018819093704223633}
{'D': 2, 'al': ('1', '-1/2'), 'lam': ('-4', '3'), 'fal': 0.2928932188134524, 'flam': 0.24264068711928566, 'N': 4, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.01829814910888672}
{'D': 2, 'al': ('0', '2/9'), 'lam': ('2', '-4/3'), 'fal': 0.3142696805273545, 'flam': 0.11438191683587304, 'N': 8, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 13, 16], 'sumrat': False, 'dt': 0.0197598934173584}
{'D': 2, 'al': ('2/3', '-1/4'), 'lam': ('-2', '3/2'), 'fal': 0.31311327607339284, 'flam': 0.12132034355964283, 'N': 8, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 13, 16], 'sumrat': False, 'dt': 0.01966118812561035}
{'D': 2, 'al': ('1/5', '1/15'), 'lam': ('4/5', '-2/5'), 'fal': 0.29428090415820635, 'flam': 0.23431457505076192, 'N': 4, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.018311262130737305}
{'D': 3, 'al': ('1', '-2/5'), 'lam': ('-4', '12/5'), 'fal': 0.30717967697244913, 'flam': 0.1569219381653056, 'N': 6, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 7, 10], 'sumrat': False, 'dt': 0.019224882125854492}
{'D': 3, 'al': ('-1/5', '3/10'), 'lam': ('16/5', '-9/5'), 'fal': 0.3196152422706632, 'flam': 0.08230854637602114, 'N': 12, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 19, 22], 'sumrat': False, 'dt': 0.02089691162109375}
{'D': 3, 'al': ('-1/13', '3/13'), 'lam': ('32/13', '-18/13'), 'fal': 0.32278095559281783, 'flam': 0.06331426644309318, 'N': 15, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 28, 31], 'sumrat': False, 'dt': 0.022790193557739258}
{'D': 3, 'al': ('3/16', '1/16'), 'lam': ('7/8', '-3/8'), 'fal': 0.2957531754730548, 'flam': 0.225480947161671, 'N': 4, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.018663883209228516}
{'D': 5, 'al': ('0', '1/7'), 'lam': ('2', '-6/7'), 'fal': 0.31943828249996997, 'flam': 0.08337030500018017, 'N': 11, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 19, 22], 'sumrat': False, 'dt': 0.02047276496887207}
{'D': 5, 'al': ('-1/11', '2/11'), 'lam': ('28/11', '-12/11'), 'fal': 0.31564872318177994, 'flam': 0.10610766090932021, 'N': 9, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 13, 16], 'sumrat': False, 'dt': 0.021252870559692383}
{'D': 5, 'al': ('9/14', '-1/7'), 'lam': ('-13/7', '6/7'), 'fal': 0.3234188603571729, 'flam': 0.05948683785696269, 'N': 16, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 28, 31], 'sumrat': False, 'dt': 0.023579120635986328}
{'D': 5, 'al': ('-1/8', '3/16'), 'lam': ('11/4', '-9/8'), 'fal': 0.2942627457812106, 'flam': 0.23442352531273647, 'N': 4, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.020475149154663086}
{'D': 7, 'al': ('0', '1/9'), 'lam': ('2', '-2/3'), 'fal': 0.2939723678960656, 'flam': 0.23616579262360618, 'N': 4, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.019454002380371094}
{'D': 7, 'al': ('3/4', '-1/6'), 'lam': ('-5/2', '1'), 'fal': 0.30904144815590157, 'flam': 0.14575131106459072, 'N': 6, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10, 13], 'sumrat': False, 'dt': 0.019640684127807617}
{'D': 7, 'al': ('2/15', '1/15'), 'lam': ('6/5', '-2/5'), 'fal': 0.3097167540709727, 'flam': 0.1416994755741637, 'N': 7, 'rel': (6, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10, 13], 'sumrat': False, 'dt': 0.01939988136291504}
{'D': 2, 'al': ('0', '1/3'), 'lam': ('3', '-2'), 'fal': 0.47140452079103173, 'flam': 0.17157287525380957, 'N': 5, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 13, 15], 'sumrat': False, 'dt': 0.01906895637512207}
{'D': 2, 'al': ('1/3', '1/9'), 'lam': ('1', '-2/3'), 'fal': 0.49046817359701056, 'flam': 0.05719095841793652, 'N': 17, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 58, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 47, 49], 'sumrat': False, 'dt': 0.22281289100646973}
{'D': 2, 'al': ('5/6', '-1/4'), 'lam': ('-2', '3/2'), 'fal': 0.47977994274005953, 'flam': 0.12132034355964283, 'N': 8, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 25, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 19, 21], 'sumrat': False, 'dt': 0.02091813087463379}
{'D': 2, 'al': ('4/15', '2/15'), 'lam': ('7/5', '-4/5'), 'fal': 0.45522847498307933, 'flam': 0.26862915010152383, 'N': 3, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7, 9], 'sumrat': False, 'dt': 0.018789052963256836}
{'D': 3, 'al': ('1/6', '1/6'), 'lam': ('2', '-1'), 'fal': 0.45534180126147955, 'flam': 0.26794919243112264, 'N': 3, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7, 9], 'sumrat': False, 'dt': 0.018476009368896484}
{'D': 3, 'al': ('3/11', '1/11'), 'lam': ('15/11', '-6/11'), 'fal': 0.43018643705171605, 'flam': 0.4188813776897033, 'N': 2, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018167972564697266}
{'D': 3, 'al': ('5/14', '1/14'), 'lam': ('6/7', '-3/7'), 'fal': 0.48086077196920546, 'flam': 0.11483536818476685, 'N': 8, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 21, 23], 'sumrat': False, 'dt': 0.02096104621887207}
{'D': 3, 'al': ('1/8', '3/16'), 'lam': ('9/4', '-9/8'), 'fal': 0.4497595264191645, 'flam': 0.3014428414850132, 'N': 3, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5, 7], 'sumrat': False, 'dt': 0.019732952117919922}
{'D': 5, 'al': ('-3/8', '3/8'), 'lam': ('21/4', '-9/4'), 'fal': 0.4635254915624212, 'flam': 0.21884705062547294, 'N': 4, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9, 11], 'sumrat': False, 'dt': 0.02063608169555664}
{'D': 5, 'al': ('1/12', '1/6'), 'lam': ('5/2', '-1'), 'fal': 0.4560113295832983, 'flam': 0.2639320225002102, 'N': 3, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 7, 9], 'sumrat': False, 'dt': 0.0198209285736084}
{'D': 5, 'al': ('2/15', '2/15'), 'lam': ('11/5', '-4/5'), 'fal': 0.43147573033330533, 'flam': 0.41114561800016813, 'N': 2, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01855301856994629}
{'D': 7, 'al': ('0', '1/6'), 'lam': ('3', '-1'), 'fal': 0.44095855184409843, 'flam': 0.3542486889354093, 'N': 2, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018663883209228516}
{'D': 7, 'al': ('-3/10', '3/10'), 'lam': ('24/5', '-9/5'), 'fal': 0.4937253933193772, 'flam': 0.03764764008373689, 'N': 26, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 90, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 75, 77], 'sumrat': False, 'dt': 0.24294304847717285}
{'D': 7, 'al': ('14/13', '-3/13'), 'lam': ('-45/13', '18/13'), 'fal': 0.46636508206201754, 'flam': 0.2018095076278947, 'N': 4, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9, 11], 'sumrat': False, 'dt': 0.019262313842773438}
{'D': 7, 'al': ('-1/16', '3/16'), 'lam': ('27/8', '-9/8'), 'fal': 0.43357837082461076, 'flam': 0.39852977505233556, 'N': 2, 'rel': (6, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01941204071044922}
{'D': 2, 'al': ('2', '-1'), 'lam': ('-8', '6'), 'fal': 0.5857864376269049, 'flam': 0.4852813742385713, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01820969581604004}
{'D': 2, 'al': ('1/3', '2/9'), 'lam': ('2', '-4/3'), 'fal': 0.6476030138606877, 'flam': 0.11438191683587304, 'N': 8, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 14, 17], 'sumrat': False, 'dt': 0.019843101501464844}
{'D': 2, 'al': ('7/13', '1/13'), 'lam': ('10/13', '-6/13'), 'fal': 0.6472471971056227, 'flam': 0.11651681736626375, 'N': 8, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 14, 17], 'sumrat': False, 'dt': 0.019543170928955078}
{'D': 2, 'al': ('1/3', '1/5'), 'lam': ('2', '-6/5'), 'fal': 0.6161760458079524, 'flam': 0.30294372515228574, 'N': 3, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.020242929458618164}
{'D': 3, 'al': ('7/6', '-1/3'), 'lam': ('-3', '2'), 'fal': 0.5893163974770409, 'flam': 0.46410161513775466, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018790006637573242}
{'D': 3, 'al': ('5/11', '1/11'), 'lam': ('14/11', '-6/11'), 'fal': 0.6120046188698979, 'flam': 0.32797228678061235, 'N': 3, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.019642114639282227}
{'D': 3, 'al': ('1/2', '1/14'), 'lam': ('1', '-3/7'), 'fal': 0.6237179148263483, 'flam': 0.2576925110419097, 'N': 3, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.0187528133392334}
{'D': 3, 'al': ('1/4', '3/16'), 'lam': ('5/2', '-9/8'), 'fal': 0.5747595264191645, 'flam': 0.5514428414850132, 'N': 1, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01827096939086914}
{'D': 5, 'al': ('8/9', '-1/9'), 'lam': ('-4/3', '2/3'), 'fal': 0.6404368913889122, 'flam': 0.15737865166652654, 'N': 6, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 8, 11], 'sumrat': False, 'dt': 0.018878936767578125}
{'D': 5, 'al': ('7/6', '-1/4'), 'lam': ('-3', '3/2'), 'fal': 0.6076496722917192, 'flam': 0.3541019662496847, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.019190073013305664}
{'D': 5, 'al': ('1/3', '2/15'), 'lam': ('2', '-4/5'), 'fal': 0.6314757303333053, 'flam': 0.21114561800016815, 'N': 4, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 5, 8], 'sumrat': False, 'dt': 0.019678831100463867}
{'D': 7, 'al': ('3/2', '-1/3'), 'lam': ('-5', '2'), 'fal': 0.6180828963118031, 'flam': 0.29150262212918143, 'N': 3, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.019110918045043945}
{'D': 7, 'al': ('4/11', '1/11'), 'lam': ('20/11', '-6/11'), 'fal': 0.604159210096781, 'flam': 0.37504473941931415, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018932104110717773}
{'D': 7, 'al': ('11/14', '-1/14'), 'lam': ('-5/7', '3/7'), 'fal': 0.5967320492096722, 'flam': 0.41960770474196746, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018592119216918945}
{'D': 7, 'al': ('15/16', '-1/8'), 'lam': ('-13/8', '3/4'), 'fal': 0.6067810861169262, 'flam': 0.35931348329844304, 'N': 2, 'rel': (6, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.019676923751831055}
{'D': 2, 'al': ('3/2', '-1/2'), 'lam': ('-4', '3'), 'fal': 0.7928932188134524, 'flam': 0.24264068711928566, 'N': 4, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018197059631347656}
{'D': 2, 'al': ('8/9', '-1/9'), 'lam': ('-1/3', '2/3'), 'fal': 0.7317540486252117, 'flam': 0.6094757082487301, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017838239669799805}
{'D': 2, 'al': ('7/6', '-1/4'), 'lam': ('-2', '3/2'), 'fal': 0.8131132760733929, 'flam': 0.12132034355964283, 'N': 8, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 11], 'sumrat': False, 'dt': 0.019160032272338867}
{'D': 2, 'al': ('3/5', '2/15'), 'lam': ('7/5', '-4/5'), 'fal': 0.7885618083164126, 'flam': 0.26862915010152383, 'N': 3, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018824100494384766}
{'D': 3, 'al': ('1/6', '1/3'), 'lam': ('4', '-2'), 'fal': 0.7440169358562924, 'flam': 0.5358983848622453, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018185138702392578}
{'D': 3, 'al': ('1/5', '3/10'), 'lam': ('19/5', '-9/5'), 'fal': 0.7196152422706632, 'flam': 0.6823085463760211, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018059968948364258}
{'D': 3, 'al': ('15/13', '-3/13'), 'lam': ('-25/13', '18/13'), 'fal': 0.754142121330259, 'flam': 0.47514727201844525, 'N': 2, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01876997947692871}
{'D': 3, 'al': ('15/16', '-1/16'), 'lam': ('-5/8', '3/8'), 'fal': 0.8292468245269452, 'flam': 0.024519052838329003, 'N': 40, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 48, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [35, 41], 'sumrat': False, 'dt': 0.024002790451049805}
{'D': 5, 'al': ('1/2', '1/8'), 'lam': ('2', '-3/4'), 'fal': 0.7795084971874737, 'flam': 0.32294901687515765, 'N': 3, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.019340038299560547}
{'D': 5, 'al': ('7/12', '1/12'), 'lam': ('3/2', '-1/2'), 'fal': 0.7696723314583158, 'flam': 0.3819660112501051, 'N': 2, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01832127571105957}
{'D': 5, 'al': ('17/14', '-3/14'), 'lam': ('-16/7', '9/7'), 'fal': 0.7351282905357593, 'flam': 0.589230256785444, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018950939178466797}
{'D': 7, 'al': ('-1', '2/3'), 'lam': ('11', '-4'), 'fal': 0.7638342073763938, 'flam': 0.41699475574163714, 'N': 2, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01966071128845215}
{'D': 7, 'al': ('1/2', '1/10'), 'lam': ('2', '-3/5'), 'fal': 0.764575131106459, 'flam': 0.41254921336124556, 'N': 2, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018184900283813477}
{'D': 7, 'al': ('12/13', '-1/13'), 'lam': ('-7/13', '6/13'), 'fal': 0.7195575914565701, 'flam': 0.6826544512605803, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017838716506958008}
{'D': 7, 'al': ('19/15', '-1/5'), 'lam': ('-13/5', '6/5'), 'fal': 0.7375164044537484, 'flam': 0.5749015732775088, 'N': 1, 'rel': (6, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01848602294921875}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('9', '-6'), 'fal': 0.9142135623730951, 'flam': 0.5147186257614287, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 1, 1, 6, 11, 6, 1, 4, 0.029437251522857366)], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.012578964233398438}
{'D': 2, 'al': ('5/9', '2/9'), 'lam': ('8/3', '-4/3'), 'fal': 0.86982523608291, 'flam': 0.7810485835025397, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017508745193481445}
{'D': 2, 'al': ('10/13', '1/13'), 'lam': ('18/13', '-6/13'), 'fal': 0.8780164278748536, 'flam': 0.7319014327508792, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01755070686340332}
{'D': 2, 'al': ('16/15', '-2/15'), 'lam': ('-2/5', '4/5'), 'fal': 0.878104858350254, 'flam': 0.7313708498984762, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017815113067626953}
{'D': 3, 'al': ('5/7', '1/7'), 'lam': ('12/7', '-6/7'), 'fal': 0.9617215439384109, 'flam': 0.2296707363695337, 'N': 4, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 21, 22], 'sumrat': False, 'dt': 0.02036905288696289}
{'D': 3, 'al': ('6/11', '2/11'), 'lam': ('30/11', '-12/11'), 'fal': 0.8603728741034321, 'flam': 0.8377627553794066, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01737380027770996}
{'D': 3, 'al': ('1', '-1/14'), 'lam': ('0', '3/7'), 'fal': 0.8762820851736517, 'flam': 0.7423074889580903, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017767906188964844}
{'D': 3, 'al': ('19/16', '-3/16'), 'lam': ('-9/8', '9/8'), 'fal': 0.8627404735808355, 'flam': 0.8235571585149868, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017735004425048828}
{'D': 5, 'al': ('2/3', '1/9'), 'lam': ('2', '-2/3'), 'fal': 0.9151186641666433, 'flam': 0.5092880150001401, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 1, 1, 6, 11, 6, 1, 4, 0.01857603000028026)], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.012201070785522461}
{'D': 5, 'al': ('1/3', '1/4'), 'lam': ('4', '-3/2'), 'fal': 0.8923503277082808, 'flam': 0.6458980337503153, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018822908401489258}
{'D': 5, 'al': ('17/15', '-1/15'), 'lam': ('-4/5', '2/5'), 'fal': 0.9842621348333473, 'flam': 0.09442719099991592, 'N': 10, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 69, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 58, 59], 'sumrat': False, 'dt': 0.2387220859527588}
{'D': 7, 'al': ('1/2', '1/6'), 'lam': ('3', '-1'), 'fal': 0.9409585518440985, 'flam': 0.3542486889354093, 'N': 2, 'rel': (6, 1, 6), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(12, 2, 1, 12, 24, 12, 2, 10, 0.055336829505575245)], 'rvals': [1, 11, 12], 'sumrat': False, 'dt': 0.013720035552978516}
{'D': 7, 'al': ('17/10', '-3/10'), 'lam': ('-21/5', '9/5'), 'fal': 0.9062746066806227, 'flam': 0.5623523599162631, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(6, 1, 1, 6, 11, 6, 1, 4, 0.06274606680622838)], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.013187646865844727}
{'D': 7, 'al': ('20/13', '-3/13'), 'lam': ('-42/13', '18/13'), 'fal': 0.927903543600479, 'flam': 0.43257873839712546, 'N': 2, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.01868581771850586}
{'D': 7, 'al': ('3/8', '3/16'), 'lam': ('15/4', '-9/8'), 'fal': 0.8710783708246108, 'flam': 0.7735297750523356, 'N': 1, 'rel': (6, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017927885055541992}
{'D': 2, 'al': ('-1/3', '1/3'), 'lam': ('10/3', '-7/3'), 'fal': 0.1380711874576984, 'flam': 0.03350168779611155, 'N': 29, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 42, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [29, 36], 'sumrat': False, 'dt': 0.023160934448242188}
{'D': 2, 'al': ('0', '1/10'), 'lam': ('1', '-7/10'), 'fal': 0.1414213562373095, 'flam': 0.010050506338833465, 'N': 99, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 122, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [99, 106], 'sumrat': False, 'dt': 0.24641895294189453}
{'D': 2, 'al': ('-1/13', '2/13'), 'lam': ('20/13', '-14/13'), 'fal': 0.14064824036509155, 'flam': 0.015462317444359176, 'N': 64, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 82, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [64, 71], 'sumrat': False, 'dt': 0.22859406471252441}
{'D': 2, 'al': ('3/7', '-3/14'), 'lam': ('-2', '3/2'), 'fal': 0.1255256652057653, 'flam': 0.1213203435596427, 'N': 8, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019833087921142578}
{'D': 3, 'al': ('1', '-1/2'), 'lam': ('-6', '7/2'), 'fal': 0.1339745962155614, 'flam': 0.0621778264910704, 'N': 16, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [15, 22], 'sumrat': False, 'dt': 0.02034306526184082}
{'D': 3, 'al': ('3/10', '-1/10'), 'lam': ('-11/10', '7/10'), 'fal': 0.1267949192431123, 'flam': 0.11243556529821408, 'N': 8, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019340991973876953}
{'D': 3, 'al': ('5/12', '-1/6'), 'lam': ('-23/12', '7/6'), 'fal': 0.1279915320718538, 'flam': 0.10405927549702347, 'N': 9, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019727230072021484}
{'D': 3, 'al': ('1/2', '-3/14'), 'lam': ('-5/2', '3/2'), 'fal': 0.12884625552095486, 'flam': 0.09807621135331601, 'N': 10, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019900798797607422}
{'D': 5, 'al': ('5/4', '-1/2'), 'lam': ('-31/4', '7/2'), 'fal': 0.1319660112501051, 'flam': 0.07623792124926432, 'N': 13, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019452810287475586}
{'D': 5, 'al': ('-1/9', '1/9'), 'lam': ('16/9', '-7/9'), 'fal': 0.13734088638886555, 'flam': 0.03861379527794126, 'N': 25, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 34, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [22, 29], 'sumrat': False, 'dt': 0.021497011184692383}
{'D': 5, 'al': ('6/11', '-2/11'), 'lam': ('-31/11', '14/11'), 'fal': 0.13889673136367459, 'flam': 0.027722880454277933, 'N': 36, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 50, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [36, 43], 'sumrat': False, 'dt': 0.22074508666992188}
{'D': 5, 'al': ('-5/13', '3/13'), 'lam': ('48/13', '-21/13'), 'fal': 0.1314003024999515, 'flam': 0.08019788250033982, 'N': 12, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019494056701660156}
{'D': 7, 'al': ('-2/5', '1/5'), 'lam': ('19/5', '-7/5'), 'fal': 0.12915026221291814, 'flam': 0.09594816450957282, 'N': 10, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019201993942260742}
{'D': 7, 'al': ('9/8', '-3/8'), 'lam': ('-55/8', '21/8'), 'fal': 0.13284325835077848, 'flam': 0.07009719154455052, 'N': 14, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 18, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [8, 15], 'sumrat': False, 'dt': 0.019940853118896484}
{'D': 7, 'al': ('7/12', '-1/6'), 'lam': ('-37/12', '7/6'), 'fal': 0.14237478148923488, 'flam': 0.0033765295753559834, 'N': 296, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 346, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [295, 302], 'sumrat': False, 'dt': 2.5629332065582275}
{'D': 7, 'al': ('-3/7', '3/14'), 'lam': ('4', '-3/2'), 'fal': 0.1383752809424123, 'flam': 0.03137303340311399, 'N': 31, 'rel': (7, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 42, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [29, 36], 'sumrat': False, 'dt': 0.024869203567504883}
{'D': 2, 'al': ('-2/3', '2/3'), 'lam': ('20/3', '-14/3'), 'fal': 0.2761423749153968, 'flam': 0.0670033755922231, 'N': 14, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 18], 'sumrat': False, 'dt': 0.02086496353149414}
{'D': 2, 'al': ('-1/4', '3/8'), 'lam': ('15/4', '-21/8'), 'fal': 0.2803300858899107, 'flam': 0.03768939877062527, 'N': 26, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 37, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [25, 32], 'sumrat': False, 'dt': 0.022886037826538086}
{'D': 2, 'al': ('-1/12', '1/4'), 'lam': ('31/12', '-7/4'), 'fal': 0.27022005725994047, 'flam': 0.10845959918041685, 'N': 9, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11], 'sumrat': False, 'dt': 0.019346952438354492}
{'D': 2, 'al': ('7/15', '-2/15'), 'lam': ('-19/15', '14/15'), 'fal': 0.278104858350254, 'flam': 0.05326599154822205, 'N': 18, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [18, 25], 'sumrat': False, 'dt': 0.0211489200592041}
{'D': 3, 'al': ('5/6', '-1/3'), 'lam': ('-23/6', '7/3'), 'fal': 0.2559830641437076, 'flam': 0.20811855099404694, 'N': 4, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11], 'sumrat': False, 'dt': 0.019336223602294922}
{'D': 3, 'al': ('1/10', '1/10'), 'lam': ('13/10', '-7/10'), 'fal': 0.2732050807568877, 'flam': 0.08756443470178592, 'N': 11, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 18], 'sumrat': False, 'dt': 0.019667863845825195}
{'D': 3, 'al': ('7/13', '-2/13'), 'lam': ('-23/13', '14/13'), 'fal': 0.27199218345094195, 'flam': 0.09605471584340627, 'N': 10, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11], 'sumrat': False, 'dt': 0.019299983978271484}
{'D': 3, 'al': ('1/16', '1/8'), 'lam': ('25/16', '-7/8'), 'fal': 0.27900635094610965, 'flam': 0.0469555433772324, 'N': 21, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [18, 25], 'sumrat': False, 'dt': 0.020787954330444336}
{'D': 5, 'al': ('-2/9', '2/9'), 'lam': ('32/9', '-14/9'), 'fal': 0.2746817727777311, 'flam': 0.07722759055588252, 'N': 12, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 18], 'sumrat': False, 'dt': 0.019984960556030273}
{'D': 5, 'al': ('5/6', '-1/4'), 'lam': ('-23/6', '7/4'), 'fal': 0.27431633895838586, 'flam': 0.07978562729129852, 'N': 12, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 18], 'sumrat': False, 'dt': 0.020081758499145508}
{'D': 5, 'al': ('2/15', '1/15'), 'lam': ('16/15', '-7/15'), 'fal': 0.2824045318333193, 'flam': 0.02316827716676476, 'N': 43, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 53, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [39, 46], 'sumrat': False, 'dt': 0.21834683418273926}
{'D': 7, 'al': ('-1/6', '1/6'), 'lam': ('19/6', '-7/6'), 'fal': 0.2742918851774318, 'flam': 0.07995680375797735, 'N': 12, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 18], 'sumrat': False, 'dt': 0.020134925842285156}
{'D': 7, 'al': ('-5/11', '3/11'), 'lam': ('57/11', '-21/11'), 'fal': 0.26702308483579745, 'flam': 0.1308384061494178, 'N': 7, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11], 'sumrat': False, 'dt': 0.019820213317871094}
{'D': 7, 'al': ('9/13', '-2/13'), 'lam': ('-37/13', '14/13'), 'fal': 0.28526902906698604, 'flam': 0.003116796531097831, 'N': 320, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 373, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [319, 326], 'sumrat': False, 'dt': 2.476348876953125}
{'D': 7, 'al': ('3/4', '-3/16'), 'lam': ('-13/4', '21/16'), 'fal': 0.25392162917538924, 'flam': 0.22254859577227526, 'N': 4, 'rel': (7, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11], 'sumrat': False, 'dt': 0.019476890563964844}
{'D': 2, 'al': ('-1', '1'), 'lam': ('10', '-7'), 'fal': 0.41421356237309515, 'flam': 0.10050506338833465, 'N': 9, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 12], 'sumrat': False, 'dt': 0.018887996673583984}
{'D': 2, 'al': ('1/9', '2/9'), 'lam': ('20/9', '-14/9'), 'fal': 0.4253807916384656, 'flam': 0.022334458530741032, 'N': 44, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 54, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [40, 47], 'sumrat': False, 'dt': 0.22215604782104492}
{'D': 2, 'al': ('1/2', '-1/12'), 'lam': ('-1/2', '7/12'), 'fal': 0.3821488698022421, 'flam': 0.32495791138430546, 'N': 3, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01864480972290039}
{'D': 2, 'al': ('3/5', '-2/15'), 'lam': ('-6/5', '14/15'), 'fal': 0.41143819168358736, 'flam': 0.11993265821488872, 'N': 8, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 12], 'sumrat': False, 'dt': 0.019397974014282227}
{'D': 3, 'al': ('5/4', '-1/2'), 'lam': ('-23/4', '7/2'), 'fal': 0.3839745962155614, 'flam': 0.3121778264910704, 'N': 3, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018604040145874023}
{'D': 3, 'al': ('3/5', '-1/10'), 'lam': ('-6/5', '7/10'), 'fal': 0.4267949192431123, 'flam': 0.01243556529821408, 'N': 80, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 94, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [75, 82], 'sumrat': False, 'dt': 0.23391294479370117}
{'D': 3, 'al': ('2/13', '2/13'), 'lam': ('25/13', '-14/13'), 'fal': 0.42031550885675034, 'flam': 0.05779143800274757, 'N': 17, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 22, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [12, 19], 'sumrat': False, 'dt': 0.020364046096801758}
{'D': 3, 'al': ('11/15', '-1/5'), 'lam': ('-32/15', '7/5'), 'fal': 0.3869231718195579, 'flam': 0.2915377972630949, 'N': 3, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018911123275756836}
{'D': 5, 'al': ('5/7', '-1/7'), 'lam': ('-2', '1'), 'fal': 0.39484743178574433, 'flam': 0.2360679774997898, 'N': 4, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018527984619140625}
{'D': 5, 'al': ('0', '2/11'), 'lam': ('3', '-14/11'), 'fal': 0.4065578140908709, 'flam': 0.1540953013639039, 'N': 6, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 12], 'sumrat': False, 'dt': 0.01933002471923828}
{'D': 5, 'al': ('12/13', '-3/13'), 'lam': ('-45/13', '21/13'), 'fal': 0.40706123596158694, 'flam': 0.15057134826889096, 'N': 6, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 12], 'sumrat': False, 'dt': 0.019459962844848633}
{'D': 5, 'al': ('9/16', '-1/16'), 'lam': ('-15/16', '7/16'), 'fal': 0.42274575140626314, 'flam': 0.04077974015615804, 'N': 24, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 30, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [19, 26], 'sumrat': False, 'dt': 0.021186113357543945}
{'D': 7, 'al': ('0', '1/7'), 'lam': ('3', '-1'), 'fal': 0.37796447300922725, 'flam': 0.3542486889354092, 'N': 2, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01859903335571289}
{'D': 7, 'al': ('7/11', '-1/11'), 'lam': ('-16/11', '7/11'), 'fal': 0.395840789903219, 'flam': 0.2291144706774669, 'N': 4, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.01841282844543457}
{'D': 7, 'al': ('4/7', '-1/14'), 'lam': ('-1', '1/2'), 'fal': 0.3824463349239578, 'flam': 0.3228756555322954, 'N': 3, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.021577119827270508}
{'D': 7, 'al': ('9/16', '-1/16'), 'lam': ('-15/16', '7/16'), 'fal': 0.3971405430584631, 'flam': 0.2200161985907585, 'N': 4, 'rel': (7, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.021881818771362305}
{'D': 2, 'al': ('1', '-1/3'), 'lam': ('-3', '7/3'), 'fal': 0.5285954792089683, 'flam': 0.2998316455372218, 'N': 3, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01914191246032715}
{'D': 2, 'al': ('2/3', '-1/9'), 'lam': ('-2/3', '7/9'), 'fal': 0.5095318264029894, 'flam': 0.4332772151790739, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01900315284729004}
{'D': 2, 'al': ('11/12', '-1/4'), 'lam': ('-29/12', '7/4'), 'fal': 0.5631132760733929, 'flam': 0.05820706748624982, 'N': 17, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [16, 23], 'sumrat': False, 'dt': 0.02103400230407715}
{'D': 2, 'al': ('1/3', '2/15'), 'lam': ('5/3', '-14/15'), 'fal': 0.521895141649746, 'flam': 0.34673400845177793, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.018803119659423828}
{'D': 3, 'al': ('5/6', '-1/6'), 'lam': ('-11/6', '7/6'), 'fal': 0.5446581987385205, 'flam': 0.1873926088303568, 'N': 5, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.018763065338134766}
{'D': 3, 'al': ('4/11', '1/11'), 'lam': ('16/11', '-7/11'), 'fal': 0.5210955279608069, 'flam': 0.35233130427435083, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01864004135131836}
{'D': 3, 'al': ('3/7', '1/14'), 'lam': ('1', '-1/2'), 'fal': 0.5522893433977769, 'flam': 0.13397459621556138, 'N': 7, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.018923044204711914}
{'D': 3, 'al': ('3/16', '3/16'), 'lam': ('43/16', '-21/16'), 'fal': 0.5122595264191645, 'flam': 0.4141833150658485, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01859426498413086}
{'D': 5, 'al': ('9/8', '-1/4'), 'lam': ('-31/8', '7/4'), 'fal': 0.5659830056250525, 'flam': 0.03811896062463216, 'N': 26, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 35, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [23, 30], 'sumrat': False, 'dt': 0.022362947463989258}
{'D': 5, 'al': ('3/4', '-1/12'), 'lam': ('-5/4', '7/12'), 'fal': 0.5636610018750176, 'flam': 0.054372986874877384, 'N': 18, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 27, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [16, 23], 'sumrat': False, 'dt': 0.020148038864135742}
{'D': 5, 'al': ('2/3', '-1/15'), 'lam': ('-2/3', '7/15'), 'fal': 0.5175954681666807, 'flam': 0.37683172283323524, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.0186159610748291}
{'D': 7, 'al': ('11/6', '-1/2'), 'lam': ('-53/6', '7/2'), 'fal': 0.510457677801038, 'flam': 0.426796255392734, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.018905162811279297}
{'D': 7, 'al': ('3/11', '1/11'), 'lam': ('23/11', '-7/11'), 'fal': 0.51325011918769, 'flam': 0.4072491656861695, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01877307891845703}
{'D': 7, 'al': ('5/14', '1/14'), 'lam': ('3/2', '-1/2'), 'fal': 0.5461250936474707, 'flam': 0.1771243444677046, 'N': 5, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.01862502098083496}
{'D': 7, 'al': ('1', '-3/16'), 'lam': ('-3', '21/16'), 'fal': 0.5039216291753892, 'flam': 0.47254859577227526, 'N': 2, 'rel': (7, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9], 'sumrat': False, 'dt': 0.018831968307495117}
{'D': 2, 'al': ('0', '1/2'), 'lam': ('5', '-7/2'), 'fal': 0.7071067811865476, 'flam': 0.050252531694167324, 'N': 19, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 28, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 24], 'sumrat': False, 'dt': 0.020451068878173828}
{'D': 2, 'al': ('1/3', '2/9'), 'lam': ('8/3', '-14/9'), 'fal': 0.6476030138606877, 'flam': 0.4667789029751855, 'N': 2, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018477201461791992}
{'D': 2, 'al': ('1/3', '1/4'), 'lam': ('8/3', '-7/4'), 'fal': 0.6868867239266071, 'flam': 0.19179293251375018, 'N': 5, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.018817901611328125}
{'D': 2, 'al': ('11/15', '-1/15'), 'lam': ('-2/15', '7/15'), 'fal': 0.639052429175127, 'flam': 0.526632995774111, 'N': 1, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01815176010131836}
{'D': 3, 'al': ('7/5', '-2/5'), 'lam': ('-24/5', '14/5'), 'fal': 0.7071796769724491, 'flam': 0.04974226119285632, 'N': 20, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 28, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 24], 'sumrat': False, 'dt': 0.02106475830078125}
{'D': 3, 'al': ('3/10', '1/5'), 'lam': ('29/10', '-7/5'), 'fal': 0.6464101615137754, 'flam': 0.47512886940357185, 'N': 2, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01845407485961914}
{'D': 3, 'al': ('12/13', '-2/13'), 'lam': ('-19/13', '14/13'), 'fal': 0.6566075680663267, 'flam': 0.40374702353571396, 'N': 2, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01835799217224121}
{'D': 3, 'al': ('9/16', '1/16'), 'lam': ('17/16', '-7/16'), 'fal': 0.6707531754730548, 'flam': 0.3047277716886162, 'N': 3, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.01875901222229004}
{'D': 5, 'al': ('0', '2/7'), 'lam': ('5', '-2'), 'fal': 0.6388765649999399, 'flam': 0.5278640450004204, 'N': 1, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01900172233581543}
{'D': 5, 'al': ('3/11', '2/11'), 'lam': ('34/11', '-14/11'), 'fal': 0.6792850868181436, 'flam': 0.24500439227299478, 'N': 4, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.01873779296875}
{'D': 5, 'al': ('6/7', '-1/14'), 'lam': ('-1', '1/2'), 'fal': 0.6974237158928721, 'flam': 0.1180339887498949, 'N': 8, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.01925802230834961}
{'D': 5, 'al': ('17/16', '-3/16'), 'lam': ('-39/16', '21/16'), 'fal': 0.6432372542187894, 'flam': 0.4973392204684739, 'N': 2, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018212080001831055}
{'D': 7, 'al': ('1/9', '2/9'), 'lam': ('38/9', '-14/9'), 'fal': 0.6990558469032424, 'flam': 0.10660907167730313, 'N': 9, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.01909780502319336}
{'D': 7, 'al': ('1/4', '1/6'), 'lam': ('13/4', '-7/6'), 'fal': 0.6909585518440985, 'flam': 0.16329013709131068, 'N': 6, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.019215106964111328}
{'D': 7, 'al': ('13/15', '-1/15'), 'lam': ('-16/15', '7/15'), 'fal': 0.6902832459290273, 'flam': 0.16801727849680906, 'N': 5, 'rel': (7, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 10], 'sumrat': False, 'dt': 0.01905512809753418}
{'D': 2, 'al': ('3/2', '-1/2'), 'lam': ('-9/2', '7/2'), 'fal': 0.7928932188134524, 'flam': 0.4497474683058327, 'N': 2, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018185853958129883}
{'D': 2, 'al': ('10/9', '-2/9'), 'lam': ('-16/9', '14/9'), 'fal': 0.7968414305837567, 'flam': 0.4221099859137034, 'N': 2, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01850438117980957}
{'D': 2, 'al': ('9/13', '1/13'), 'lam': ('15/13', '-7/13'), 'fal': 0.8010933509517766, 'flam': 0.3923465433375642, 'N': 2, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018017053604125977}
{'D': 2, 'al': ('1', '-2/15'), 'lam': ('-1', '14/15'), 'fal': 0.8114381916835873, 'flam': 0.3199326582148887, 'N': 3, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018675804138183594}
{'D': 3, 'al': ('5/3', '-1/2'), 'lam': ('-17/3', '7/2'), 'fal': 0.800641262882228, 'flam': 0.39551115982440405, 'N': 2, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.0184628963470459}
{'D': 3, 'al': ('7/11', '1/11'), 'lam': ('17/11', '-7/11'), 'fal': 0.7938228006880798, 'flam': 0.44324039518344177, 'N': 2, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01824784278869629}
{'D': 3, 'al': ('5/7', '1/14'), 'lam': ('1', '-1/2'), 'fal': 0.8380036291120626, 'flam': 0.13397459621556138, 'N': 7, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 13], 'sumrat': False, 'dt': 0.018767118453979492}
{'D': 3, 'al': ('7/16', '3/16'), 'lam': ('47/16', '-21/16'), 'fal': 0.7622595264191645, 'flam': 0.6641833150658485, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018415212631225586}
{'D': 5, 'al': ('1', '-1/9'), 'lam': ('-1', '7/9'), 'fal': 0.7515480025000234, 'flam': 0.7391639824998365, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017442941665649414}
{'D': 5, 'al': ('4/3', '-1/4'), 'lam': ('-10/3', '7/4'), 'fal': 0.7743163389583859, 'flam': 0.5797856272912986, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.019160032272338867}
{'D': 5, 'al': ('16/15', '-2/15'), 'lam': ('-22/15', '14/15'), 'fal': 0.7685242696666947, 'flam': 0.6203301123331372, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01880788803100586}
{'D': 7, 'al': ('0', '2/7'), 'lam': ('6', '-2'), 'fal': 0.7559289460184545, 'flam': 0.7084973778708183, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018463134765625}
{'D': 7, 'al': ('3/11', '2/11'), 'lam': ('45/11', '-14/11'), 'fal': 0.7537729656481074, 'flam': 0.723589240463248, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018619775772094727}
{'D': 7, 'al': ('17/14', '-1/7'), 'lam': ('-5/2', '1'), 'fal': 0.836321241276487, 'flam': 0.14575131106459085, 'N': 6, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [6, 13], 'sumrat': False, 'dt': 0.018958091735839844}
{'D': 7, 'al': ('5/4', '-3/16'), 'lam': ('-11/4', '21/16'), 'fal': 0.7539216291753892, 'flam': 0.7225485957722753, 'N': 1, 'rel': (7, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017824888229370117}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('21/2', '-7'), 'fal': 0.9142135623730951, 'flam': 0.6005050633883346, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 5, 6], 'sumrat': False, 'dt': 0.01833796501159668}
{'D': 2, 'al': ('10/9', '-1/9'), 'lam': ('-7/9', '7/9'), 'fal': 0.9539762708474337, 'flam': 0.3221661040679628, 'N': 3, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 19, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 15, 16], 'sumrat': False, 'dt': 0.019467830657958984}
{'D': 2, 'al': ('10/13', '1/13'), 'lam': ('21/13', '-7/13'), 'fal': 0.8780164278748536, 'flam': 0.8538850048760257, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017477035522460938}
{'D': 2, 'al': ('17/15', '-2/15'), 'lam': ('-14/15', '14/15'), 'fal': 0.9447715250169206, 'flam': 0.3865993248815554, 'N': 2, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 12, 13], 'sumrat': False, 'dt': 0.018787860870361328}
{'D': 3, 'al': ('8/7', '-1/7'), 'lam': ('-1', '1'), 'fal': 0.8954213132044462, 'flam': 0.7320508075688773, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017652034759521484}
{'D': 3, 'al': ('14/11', '-2/11'), 'lam': ('-21/11', '14/11'), 'fal': 0.957808944078386, 'flam': 0.29533739145129834, 'N': 3, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 21, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 17, 18], 'sumrat': False, 'dt': 0.019623756408691406}
{'D': 3, 'al': ('17/14', '-1/7'), 'lam': ('-3/2', '1'), 'fal': 0.9668498846330176, 'flam': 0.23205080756887725, 'N': 4, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 24, 25], 'sumrat': False, 'dt': 0.02174687385559082}
{'D': 5, 'al': ('2', '-1/2'), 'lam': ('-7', '7/2'), 'fal': 0.8819660112501051, 'flam': 0.8262379212492643, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017647981643676758}
{'D': 5, 'al': ('4/9', '2/9'), 'lam': ('35/9', '-14/9'), 'fal': 0.9413484394443977, 'flam': 0.41056092388921583, 'N': 2, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 14, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 11, 12], 'sumrat': False, 'dt': 0.019336938858032227}
{'D': 5, 'al': ('14/13', '-1/13'), 'lam': ('-7/13', '7/13'), 'fal': 0.9049178478846316, 'flam': 0.6655750648075791, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018477916717529297}
{'D': 5, 'al': ('19/15', '-2/15'), 'lam': ('-28/15', '14/15'), 'fal': 0.9685242696666947, 'flam': 0.22033011233313715, 'N': 4, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 30, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 25, 26], 'sumrat': False, 'dt': 0.021350860595703125}
{'D': 7, 'al': ('4/7', '1/7'), 'lam': ('3', '-1'), 'fal': 0.9493930444377987, 'flam': 0.3542486889354092, 'N': 2, 'rel': (7, 1, 7), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(14, 2, 1, 14, 28, 14, 2, 12, 0.038467844318174925)], 'rvals': [1, 13, 14], 'sumrat': False, 'dt': 0.013056039810180664}
{'D': 7, 'al': ('5/11', '2/11'), 'lam': ('42/11', '-14/11'), 'fal': 0.9355911474662892, 'flam': 0.4508619677359753, 'N': 2, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 12, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 9, 10], 'sumrat': False, 'dt': 0.01851797103881836}
{'D': 7, 'al': ('1/2', '1/7'), 'lam': ('7/2', '-1'), 'fal': 0.8779644730092272, 'flam': 0.8542486889354092, 'N': 1, 'rel': (7, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017312049865722656}
{'D': 2, 'al': ('-2', '3/2'), 'lam': ('17', '-12'), 'fal': 0.12132034355964283, 'flam': 0.029437251522857366, 'N': 33, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 47, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [33, 41], 'sumrat': False, 'dt': 0.02408289909362793}
{'D': 2, 'al': ('-2/7', '2/7'), 'lam': ('23/7', '-16/7'), 'fal': 0.11834673210659861, 'flam': 0.053226143147211094, 'N': 18, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 25], 'sumrat': False, 'dt': 0.020478010177612305}
{'D': 2, 'al': ('-3/11', '3/11'), 'lam': ('35/11', '-24/11'), 'fal': 0.11296733519266233, 'flam': 0.09626131845870134, 'N': 10, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.019990921020507812}
{'D': 2, 'al': ('3/13', '-1/13'), 'lam': ('-11/13', '8/13'), 'fal': 0.12198357212514653, 'flam': 0.02413142299882778, 'N': 41, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 56, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [41, 49], 'sumrat': False, 'dt': 0.21743488311767578}
{'D': 2, 'al': ('-1/15', '2/15'), 'lam': ('23/15', '-16/15'), 'fal': 0.12189514164974602, 'flam': 0.024838866802031845, 'N': 40, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 47, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [33, 41], 'sumrat': False, 'dt': 0.024261951446533203}
{'D': 3, 'al': ('-3/4', '1/2'), 'lam': ('7', '-4'), 'fal': 0.1160254037844386, 'flam': 0.07179676972449123, 'N': 13, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.019857168197631836}
{'D': 3, 'al': ('6/7', '-3/7'), 'lam': ('-41/7', '24/7'), 'fal': 0.11483536818476685, 'flam': 0.08131705452186518, 'N': 12, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020000934600830078}
{'D': 3, 'al': ('3/11', '-1/11'), 'lam': ('-13/11', '8/11'), 'fal': 0.11526810840282935, 'flam': 0.07785513277736524, 'N': 12, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.01949906349182129}
{'D': 3, 'al': ('5/13', '-2/13'), 'lam': ('-27/13', '16/13'), 'fal': 0.11814602960478812, 'flam': 0.05483176316169501, 'N': 18, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [17, 25], 'sumrat': False, 'dt': 0.02064990997314453}
{'D': 3, 'al': ('0', '1/15'), 'lam': ('1', '-8/15'), 'fal': 0.11547005383792515, 'flam': 0.07623956929659884, 'N': 13, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.019750118255615234}
{'D': 3, 'al': ('7/16', '-3/16'), 'lam': ('-5/2', '3/2'), 'fal': 0.1127404735808355, 'flam': 0.09807621135331601, 'N': 10, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020437002182006836}
{'D': 5, 'al': ('-1/10', '1/10'), 'lam': ('9/5', '-4/5'), 'fal': 0.12360679774997899, 'flam': 0.011145618000168157, 'N': 89, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 110, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [89, 97], 'sumrat': False, 'dt': 0.24269890785217285}
{'D': 5, 'al': ('8/11', '-3/11'), 'lam': ('-53/11', '24/11'), 'fal': 0.11743600613642097, 'flam': 0.0605119509086323, 'N': 16, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020210981369018555}
{'D': 5, 'al': ('-3/13', '2/13'), 'lam': ('37/13', '-16/13'), 'fal': 0.11324122730765997, 'flam': 0.09407018153872024, 'N': 10, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020811080932617188}
{'D': 5, 'al': ('-5/14', '3/14'), 'lam': ('27/7', '-12/7'), 'fal': 0.12201456660709782, 'flam': 0.023883467143217478, 'N': 41, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 56, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [41, 49], 'sumrat': False, 'dt': 0.22522902488708496}
{'D': 5, 'al': ('-1/3', '1/5'), 'lam': ('11/3', '-8/5'), 'fal': 0.11388026216662463, 'flam': 0.08895790266700297, 'N': 11, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.019877910614013672}
{'D': 7, 'al': ('-7/8', '3/8'), 'lam': ('8', '-3'), 'fal': 0.11715674164922152, 'flam': 0.06274606680622785, 'N': 15, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020817041397094727}
{'D': 7, 'al': ('-4/11', '2/11'), 'lam': ('43/11', '-16/11'), 'fal': 0.11740932928447104, 'flam': 0.060725365724231685, 'N': 16, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020374774932861328}
{'D': 7, 'al': ('-1/14', '1/14'), 'lam': ('11/7', '-4/7'), 'fal': 0.11755366507604219, 'flam': 0.05957067939166245, 'N': 16, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.019485950469970703}
{'D': 7, 'al': ('7/15', '-2/15'), 'lam': ('-41/15', '16/15'), 'fal': 0.1138998251913879, 'flam': 0.08880139846889676, 'N': 11, 'rel': (8, 1, 1), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [9, 17], 'sumrat': False, 'dt': 0.020252227783203125}
{'D': 2, 'al': ('4/5', '-2/5'), 'lam': ('-22/5', '16/5'), 'fal': 0.23431457505076195, 'flam': 0.12548339959390448, 'N': 7, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9, 13], 'sumrat': False, 'dt': 0.019110918045043945}
{'D': 2, 'al': ('5/9', '-2/9'), 'lam': ('-22/9', '16/9'), 'fal': 0.2412858750282011, 'flam': 0.06971299977439137, 'N': 14, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 29, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 21, 25], 'sumrat': False, 'dt': 0.02157306671142578}
{'D': 2, 'al': ('7/12', '-1/4'), 'lam': ('-8/3', '2'), 'fal': 0.22977994274005953, 'flam': 0.16176045807952377, 'N': 6, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.0191957950592041}
{'D': 2, 'al': ('2/15', '1/15'), 'lam': ('14/15', '-8/15'), 'fal': 0.22761423749153967, 'flam': 0.17908610006768258, 'N': 5, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.01914811134338379}
{'D': 3, 'al': ('-3/2', '1'), 'lam': ('14', '-8'), 'fal': 0.2320508075688772, 'flam': 0.14359353944898245, 'N': 6, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9, 13], 'sumrat': False, 'dt': 0.01927495002746582}
{'D': 3, 'al': ('2/5', '-1/10'), 'lam': ('-6/5', '4/5'), 'fal': 0.2267949192431123, 'flam': 0.18564064605510175, 'N': 5, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.018741846084594727}
{'D': 3, 'al': ('1/12', '1/12'), 'lam': ('4/3', '-2/3'), 'fal': 0.22767090063073978, 'flam': 0.17863279495408188, 'N': 5, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.018774032592773438}
{'D': 3, 'al': ('2/15', '1/15'), 'lam': ('14/15', '-8/15'), 'fal': 0.24880338717125847, 'flam': 0.009572902629932163, 'N': 104, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 231, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 201, 205], 'sumrat': False, 'dt': 2.3745861053466797}
{'D': 5, 'al': ('-2', '1'), 'lam': ('18', '-8'), 'fal': 0.2360679774997898, 'flam': 0.11145618000168156, 'N': 8, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 13, 17], 'sumrat': False, 'dt': 0.020288944244384766}
{'D': 5, 'al': ('0', '1/10'), 'lam': ('2', '-4/5'), 'fal': 0.223606797749979, 'flam': 0.21114561800016815, 'N': 4, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.01885390281677246}
{'D': 5, 'al': ('5/12', '-1/12'), 'lam': ('-4/3', '2/3'), 'fal': 0.23032766854168418, 'flam': 0.15737865166652654, 'N': 6, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 5, 9], 'sumrat': False, 'dt': 0.019196033477783203}
{'D': 5, 'al': ('5/7', '-3/14'), 'lam': ('-26/7', '12/7'), 'fal': 0.23512829053575932, 'flam': 0.11897367571392538, 'N': 8, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 9, 13], 'sumrat': False, 'dt': 0.02022719383239746}
{'D': 7, 'al': ('2', '-2/3'), 'lam': ('-14', '16/3'), 'fal': 0.23616579262360618, 'flam': 0.11067365901115049, 'N': 9, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 20, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 13, 17], 'sumrat': False, 'dt': 0.0200960636138916}
{'D': 7, 'al': ('-3/4', '3/8'), 'lam': ('8', '-3'), 'fal': 0.24215674164922152, 'flam': 0.06274606680622785, 'N': 15, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 33, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 25, 29], 'sumrat': False, 'dt': 0.022556781768798828}
{'D': 7, 'al': ('8/11', '-2/11'), 'lam': ('-42/11', '16/11'), 'fal': 0.2462270343518926, 'flam': 0.030183725184859223, 'N': 33, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 74, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 61, 65], 'sumrat': False, 'dt': 0.2326509952545166}
{'D': 7, 'al': ('1/15', '1/15'), 'lam': ('22/15', '-8/15'), 'fal': 0.24305008740430606, 'flam': 0.05559930076555162, 'N': 17, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 38, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 29, 33], 'sumrat': False, 'dt': 0.022810697555541992}
{'D': 7, 'al': ('-1/4', '3/16'), 'lam': ('4', '-3/2'), 'fal': 0.24607837082461076, 'flam': 0.031373033403113926, 'N': 31, 'rel': (8, 1, 2), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 69, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 57, 61], 'sumrat': False, 'dt': 0.233306884765625}
{'D': 2, 'al': ('0', '1/4'), 'lam': ('3', '-2'), 'fal': 0.3535533905932738, 'flam': 0.1715728752538097, 'N': 5, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01935291290283203}
{'D': 2, 'al': ('2/3', '-2/9'), 'lam': ('-7/3', '16/9'), 'fal': 0.3523969861393122, 'flam': 0.1808241108855025, 'N': 5, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01935887336730957}
{'D': 2, 'al': ('3/13', '1/13'), 'lam': ('15/13', '-8/13'), 'fal': 0.339554889413315, 'flam': 0.2835608846934799, 'N': 3, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01992321014404297}
{'D': 2, 'al': ('8/15', '-2/15'), 'lam': ('-19/15', '16/15'), 'fal': 0.34477152501692065, 'flam': 0.24182779986463482, 'N': 4, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.019423961639404297}
{'D': 3, 'al': ('7/5', '-3/5'), 'lam': ('-41/5', '24/5'), 'fal': 0.3607695154586736, 'flam': 0.11384387633061124, 'N': 8, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01929020881652832}
{'D': 3, 'al': ('7/10', '-1/5'), 'lam': ('-13/5', '8/5'), 'fal': 0.35358983848622455, 'flam': 0.17128129211020351, 'N': 5, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.018887996673583984}
{'D': 3, 'al': ('8/13', '-2/13'), 'lam': ('-25/13', '16/13'), 'fal': 0.3489152603740189, 'flam': 0.20867791700784885, 'N': 4, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01936793327331543}
{'D': 3, 'al': ('1/4', '1/16'), 'lam': ('1', '-1/2'), 'fal': 0.3582531754730548, 'flam': 0.1339745962155614, 'N': 7, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.018648862838745117}
{'D': 5, 'al': ('1', '-2/7'), 'lam': ('-5', '16/7'), 'fal': 0.36112343500006006, 'flam': 0.11101251999951955, 'N': 9, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.0196230411529541}
{'D': 5, 'al': ('-3/11', '3/11'), 'lam': ('57/11', '-24/11'), 'fal': 0.33710944840903356, 'flam': 0.30312441272773133, 'N': 3, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.02016615867614746}
{'D': 5, 'al': ('1/2', '-1/14'), 'lam': ('-1', '4/7'), 'fal': 0.340280858750015, 'flam': 0.2777531299998799, 'N': 3, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.019773006439208984}
{'D': 7, 'al': ('1', '-1/4'), 'lam': ('-5', '2'), 'fal': 0.3385621722338523, 'flam': 0.29150262212918143, 'N': 3, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.019304990768432617}
{'D': 7, 'al': ('1/10', '1/10'), 'lam': ('11/5', '-4/5'), 'fal': 0.36457513110645906, 'flam': 0.08339895114832743, 'N': 11, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 22, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [11, 19], 'sumrat': False, 'dt': 0.019589900970458984}
{'D': 7, 'al': ('2/13', '1/13'), 'lam': ('23/13', '-8/13'), 'fal': 0.357365485466507, 'flam': 0.14107611626794417, 'N': 7, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.019206762313842773}
{'D': 7, 'al': ('3/16', '1/16'), 'lam': ('3/2', '-1/2'), 'fal': 0.3528594569415369, 'flam': 0.17712434446770464, 'N': 5, 'rel': (8, 1, 3), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 11], 'sumrat': False, 'dt': 0.01882791519165039}
{'D': 2, 'al': ('0', '1/3'), 'lam': ('4', '-8/3'), 'fal': 0.47140452079103173, 'flam': 0.22876383367174627, 'N': 4, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 11, 13], 'sumrat': False, 'dt': 0.019359111785888672}
{'D': 2, 'al': ('1/3', '1/9'), 'lam': ('4/3', '-8/9'), 'fal': 0.49046817359701056, 'flam': 0.07625461122391543, 'N': 13, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 53, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 45, 47], 'sumrat': False, 'dt': 0.2232530117034912}
{'D': 2, 'al': ('5/13', '1/13'), 'lam': ('12/13', '-8/13'), 'fal': 0.4934010432594688, 'flam': 0.05279165392424914, 'N': 18, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 80, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 69, 71], 'sumrat': False, 'dt': 0.23343300819396973}
{'D': 2, 'al': ('11/15', '-1/5'), 'lam': ('-28/15', '8/5'), 'fal': 0.4504906208587143, 'flam': 0.3960750331302857, 'N': 2, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.019199132919311523}
{'D': 3, 'al': ('4/3', '-1/2'), 'lam': ('-20/3', '4'), 'fal': 0.46730792954889466, 'flam': 0.2615365636088427, 'N': 3, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9, 11], 'sumrat': False, 'dt': 0.01932215690612793}
{'D': 3, 'al': ('1', '-3/10'), 'lam': ('-4', '12/5'), 'fal': 0.4803847577293368, 'flam': 0.1569219381653056, 'N': 6, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 19, 21], 'sumrat': False, 'dt': 0.020635128021240234}
{'D': 3, 'al': ('5/14', '1/14'), 'lam': ('8/7', '-4/7'), 'fal': 0.48086077196920546, 'flam': 0.1531138242463559, 'N': 6, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 19, 21], 'sumrat': False, 'dt': 0.019961833953857422}
{'D': 3, 'al': ('1/8', '3/16'), 'lam': ('3', '-3/2'), 'fal': 0.4497595264191645, 'flam': 0.401923788646684, 'N': 2, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018414974212646484}
{'D': 5, 'al': ('3/4', '-1/8'), 'lam': ('-2', '1'), 'fal': 0.4704915028125263, 'flam': 0.2360679774997898, 'N': 4, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 9, 11], 'sumrat': False, 'dt': 0.01917576789855957}
{'D': 5, 'al': ('2/3', '-1/12'), 'lam': ('-4/3', '2/3'), 'fal': 0.4803276685416842, 'flam': 0.15737865166652654, 'N': 6, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 19, 21], 'sumrat': False, 'dt': 0.02028203010559082}
{'D': 5, 'al': ('1/3', '1/15'), 'lam': ('4/3', '-8/15'), 'fal': 0.4824045318333193, 'flam': 0.14076374533344543, 'N': 7, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 21, 23], 'sumrat': False, 'dt': 0.02074599266052246}
{'D': 7, 'al': ('1', '-1/5'), 'lam': ('-4', '8/5'), 'fal': 0.47084973778708183, 'flam': 0.23320209770334516, 'N': 4, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 11, 13], 'sumrat': False, 'dt': 0.019434213638305664}
{'D': 7, 'al': ('-3/10', '3/10'), 'lam': ('32/5', '-12/5'), 'fal': 0.4937253933193772, 'flam': 0.05019685344498228, 'N': 19, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 85, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 73, 75], 'sumrat': False, 'dt': 0.2383437156677246}
{'D': 7, 'al': ('-2/13', '3/13'), 'lam': ('68/13', '-24/13'), 'fal': 0.45671184101490553, 'flam': 0.3463052718807556, 'N': 2, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5, 7], 'sumrat': False, 'dt': 0.01898813247680664}
{'D': 7, 'al': ('5/8', '-1/16'), 'lam': ('-1', '1/2'), 'fal': 0.4596405430584631, 'flam': 0.32287565553229536, 'N': 3, 'rel': (8, 1, 4), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 5, 7], 'sumrat': False, 'dt': 0.018151044845581055}
{'D': 2, 'al': ('2', '-1'), 'lam': ('-11', '8'), 'fal': 0.5857864376269049, 'flam': 0.31370849898476116, 'N': 3, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018243074417114258}
{'D': 2, 'al': ('7/9', '-1/9'), 'lam': ('-11/9', '8/9'), 'fal': 0.6206429375141006, 'flam': 0.034856499887195684, 'N': 28, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 33, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [21, 29], 'sumrat': False, 'dt': 0.022248029708862305}
{'D': 2, 'al': ('1', '-3/11'), 'lam': ('-3', '24/11'), 'fal': 0.614305392080065, 'flam': 0.08555686335948048, 'N': 11, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 13], 'sumrat': False, 'dt': 0.020793676376342773}
{'D': 2, 'al': ('7/15', '1/15'), 'lam': ('19/15', '-8/15'), 'fal': 0.560947570824873, 'flam': 0.5124194334010159, 'N': 1, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018192768096923828}
{'D': 3, 'al': ('1', '-1/4'), 'lam': ('-3', '2'), 'fal': 0.5669872981077807, 'flam': 0.4641016151377544, 'N': 2, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01867508888244629}
{'D': 3, 'al': ('2/5', '1/10'), 'lam': ('9/5', '-4/5'), 'fal': 0.5732050807568877, 'flam': 0.41435935394489826, 'N': 2, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018209218978881836}
{'D': 3, 'al': ('9/13', '-1/13'), 'lam': ('-7/13', '8/13'), 'fal': 0.5590730148023941, 'flam': 0.5274158815808475, 'N': 1, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017843961715698242}
{'D': 3, 'al': ('4/15', '1/5'), 'lam': ('43/15', '-8/5'), 'fal': 0.6130768281804422, 'flam': 0.09538537455646293, 'N': 10, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 13], 'sumrat': False, 'dt': 0.01894402503967285}
{'D': 5, 'al': ('11/7', '-3/7'), 'lam': ('-53/7', '24/7'), 'fal': 0.6131137239286615, 'flam': 0.09509020857070791, 'N': 10, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 13], 'sumrat': False, 'dt': 0.019255876541137695}
{'D': 5, 'al': ('1', '-2/11'), 'lam': ('-3', '16/11'), 'fal': 0.5934421859091291, 'flam': 0.252462512726967, 'N': 3, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018866300582885742}
{'D': 5, 'al': ('3/7', '1/14'), 'lam': ('11/7', '-4/7'), 'fal': 0.5882905698214136, 'flam': 0.29367544142869156, 'N': 3, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018791913986206055}
{'D': 5, 'al': ('3/16', '3/16'), 'lam': ('7/2', '-3/2'), 'fal': 0.6067627457812106, 'flam': 0.1458980337503153, 'N': 6, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 15, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [5, 13], 'sumrat': False, 'dt': 0.0199129581451416}
{'D': 7, 'al': ('-3/8', '3/8'), 'lam': ('8', '-3'), 'fal': 0.6171567416492215, 'flam': 0.06274606680622785, 'N': 15, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 24, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [13, 21], 'sumrat': False, 'dt': 0.020666837692260742}
{'D': 7, 'al': ('-1/12', '1/4'), 'lam': ('17/3', '-2'), 'fal': 0.5781044944328143, 'flam': 0.37516404453748525, 'N': 2, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [2, 3, 5], 'sumrat': False, 'dt': 0.018907785415649414}
{'D': 7, 'al': ('11/15', '-1/15'), 'lam': ('-13/15', '8/15'), 'fal': 0.556949912595694, 'flam': 0.5444006992344483, 'N': 1, 'rel': (8, 1, 5), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.0183260440826416}
{'D': 2, 'al': ('0', '1/2'), 'lam': ('6', '-4'), 'fal': 0.7071067811865476, 'flam': 0.3431457505076194, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01863884925842285}
{'D': 2, 'al': ('5/9', '1/9'), 'lam': ('14/9', '-8/9'), 'fal': 0.7126903958192328, 'flam': 0.2984768334461376, 'N': 3, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018088340759277344}
{'D': 2, 'al': ('1/3', '1/4'), 'lam': ('10/3', '-2'), 'fal': 0.6868867239266071, 'flam': 0.5049062085871429, 'N': 1, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018839120864868164}
{'D': 2, 'al': ('4/5', '-1/15'), 'lam': ('-2/5', '8/15'), 'fal': 0.7057190958417936, 'flam': 0.3542472332656507, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01877593994140625}
{'D': 3, 'al': ('7/5', '-2/5'), 'lam': ('-26/5', '16/5'), 'fal': 0.7071796769724491, 'flam': 0.34256258422040703, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01938319206237793}
{'D': 3, 'al': ('9/10', '-1/10'), 'lam': ('-6/5', '4/5'), 'fal': 0.7267949192431123, 'flam': 0.18564064605510175, 'N': 5, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [3, 4, 7], 'sumrat': False, 'dt': 0.019589900970458984}
{'D': 3, 'al': ('1', '-2/13'), 'lam': ('-2', '16/13'), 'fal': 0.7335306449894036, 'flam': 0.13175484008477192, 'N': 7, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 17, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 11, 15], 'sumrat': False, 'dt': 0.019635915756225586}
{'D': 3, 'al': ('5/8', '1/16'), 'lam': ('1', '-1/2'), 'fal': 0.7332531754730548, 'flam': 0.1339745962155614, 'N': 7, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 13, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [4, 7, 11], 'sumrat': False, 'dt': 0.01882004737854004}
{'D': 5, 'al': ('1', '-1/7'), 'lam': ('-2', '8/7'), 'fal': 0.68056171750003, 'flam': 0.5555062599997598, 'N': 1, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018421649932861328}
{'D': 5, 'al': ('3/11', '2/11'), 'lam': ('42/11', '-16/11'), 'fal': 0.6792850868181436, 'flam': 0.5657193054548512, 'N': 1, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018348217010498047}
{'D': 5, 'al': ('5/14', '1/7'), 'lam': ('22/7', '-8/7'), 'fal': 0.6765811396428271, 'flam': 0.5873508828573831, 'N': 1, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018680095672607422}
{'D': 5, 'al': ('9/8', '-3/16'), 'lam': ('-3', '3/2'), 'fal': 0.7057372542187894, 'flam': 0.3541019662496847, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.01906275749206543}
{'D': 7, 'al': ('1', '-1/9'), 'lam': ('-2', '8/9'), 'fal': 0.7060276321039344, 'flam': 0.3517789431685251, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018818140029907227}
{'D': 7, 'al': ('4/3', '-1/4'), 'lam': ('-14/3', '2'), 'fal': 0.6718955055671856, 'flam': 0.6248359554625148, 'N': 1, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01840996742248535}
{'D': 7, 'al': ('13/15', '-1/15'), 'lam': ('-14/15', '8/15'), 'fal': 0.6902832459290273, 'flam': 0.47773403256778174, 'N': 2, 'rel': (8, 1, 6), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.0181119441986084}
{'D': 2, 'al': ('3/2', '-1/2'), 'lam': ('-5', '4'), 'fal': 0.7928932188134524, 'flam': 0.6568542494923806, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.01756000518798828}
{'D': 2, 'al': ('10/9', '-2/9'), 'lam': ('-17/9', '16/9'), 'fal': 0.7968414305837567, 'flam': 0.625268555329947, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018140077590942383}
{'D': 2, 'al': ('7/6', '-1/4'), 'lam': ('-7/3', '2'), 'fal': 0.8131132760733929, 'flam': 0.4950937914128571, 'N': 2, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.018503904342651367}
{'D': 2, 'al': ('3/5', '2/15'), 'lam': ('11/5', '-16/15'), 'fal': 0.7885618083164126, 'flam': 0.6915055334686985, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018065214157104492}
{'D': 3, 'al': ('6/5', '-1/5'), 'lam': ('-13/5', '8/5'), 'fal': 0.8535898384862246, 'flam': 0.17128129211020351, 'N': 5, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.01927495002746582}
{'D': 3, 'al': ('7/10', '1/10'), 'lam': ('7/5', '-4/5'), 'fal': 0.8732050807568876, 'flam': 0.014359353944898245, 'N': 69, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 80, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [63, 71], 'sumrat': False, 'dt': 0.22642111778259277}
{'D': 3, 'al': ('1', '-1/13'), 'lam': ('-1', '8/13'), 'fal': 0.8667653224947018, 'flam': 0.06587742004238596, 'N': 15, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 26, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [15, 23], 'sumrat': False, 'dt': 0.02018880844116211}
{'D': 3, 'al': ('17/15', '-1/5'), 'lam': ('-31/15', '8/5'), 'fal': 0.7869231718195578, 'flam': 0.704614625443537, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.018465042114257812}
{'D': 5, 'al': ('10/7', '-2/7'), 'lam': ('-31/7', '16/7'), 'fal': 0.7896948635714887, 'flam': 0.682441091428091, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017877817153930664}
{'D': 5, 'al': ('1', '-1/11'), 'lam': ('-1', '8/11'), 'fal': 0.7967210929545646, 'flam': 0.6262312563634835, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017894744873046875}
{'D': 5, 'al': ('5/7', '1/14'), 'lam': ('9/7', '-4/7'), 'fal': 0.8740048555356993, 'flam': 0.007961155714405825, 'N': 125, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 143, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [119, 127], 'sumrat': False, 'dt': 0.2559359073638916}
{'D': 5, 'al': ('7/16', '3/16'), 'lam': ('7/2', '-3/2'), 'fal': 0.8567627457812106, 'flam': 0.1458980337503153, 'N': 6, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 6, 7], 'sumrat': False, 'dt': 0.019119739532470703}
{'D': 7, 'al': ('2/9', '2/9'), 'lam': ('47/9', '-16/9'), 'fal': 0.8101669580143535, 'flam': 0.518664335885172, 'N': 1, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.019229888916015625}
{'D': 7, 'al': ('1/6', '1/4'), 'lam': ('17/3', '-2'), 'fal': 0.8281044944328144, 'flam': 0.37516404453748525, 'N': 2, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.020389080047607422}
{'D': 7, 'al': ('7/15', '2/15'), 'lam': ('49/15', '-16/15'), 'fal': 0.8194335081419454, 'flam': 0.4445319348644366, 'N': 2, 'rel': (8, 1, 7), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.01987910270690918}
{'D': 2, 'al': ('-1/2', '1'), 'lam': ('12', '-8'), 'fal': 0.9142135623730951, 'flam': 0.6862915010152388, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.0186312198638916}
{'D': 2, 'al': ('7/9', '1/9'), 'lam': ('16/9', '-8/9'), 'fal': 0.9349126180414551, 'flam': 0.5206990556683598, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(8, 1, 1, 8, 15, 8, 1, 6, 0.041398111336719744)], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.012911081314086914}
{'D': 2, 'al': ('4/3', '-1/4'), 'lam': ('-8/3', '2'), 'fal': 0.9797799427400595, 'flam': 0.16176045807952377, 'N': 6, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 49, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 42, 43], 'sumrat': False, 'dt': 0.2310628890991211}
{'D': 2, 'al': ('4/5', '2/15'), 'lam': ('8/5', '-16/15'), 'fal': 0.9885618083164126, 'flam': 0.09150553346869851, 'N': 10, 'rel': (8, 1, 8), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 92, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(80, 10, 1, 80, 168, 80, 10, 78, 0.00656086815568339)], 'rvals': [1, 80, 81], 'sumrat': False, 'dt': 0.18467116355895996}
{'D': 3, 'al': ('5/7', '1/7'), 'lam': ('16/7', '-8/7'), 'fal': 0.9617215439384109, 'flam': 0.3062276484927118, 'N': 3, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 23, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 19, 20], 'sumrat': False, 'dt': 0.019652843475341797}
{'D': 3, 'al': ('7/11', '2/11'), 'lam': ('32/11', '-16/11'), 'fal': 0.951281965012523, 'flam': 0.38974427989981497, 'N': 2, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 13, 14], 'sumrat': False, 'dt': 0.019145965576171875}
{'D': 3, 'al': ('9/14', '1/7'), 'lam': ('20/7', '-8/7'), 'fal': 0.8902929725098395, 'flam': 0.8776562199212832, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 2, 3], 'sumrat': False, 'dt': 0.017451047897338867}
{'D': 3, 'al': ('21/16', '-3/16'), 'lam': ('-5/2', '3/2'), 'fal': 0.9877404735808355, 'flam': 0.09807621135331601, 'N': 10, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 85, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 74, 75], 'sumrat': False, 'dt': 0.23542189598083496}
{'D': 5, 'al': ('7/4', '-3/8'), 'lam': ('-6', '3'), 'fal': 0.9114745084375788, 'flam': 0.7082039324993694, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 4, 5], 'sumrat': False, 'dt': 0.018290042877197266}
{'D': 5, 'al': ('5/12', '1/4'), 'lam': ('14/3', '-2'), 'fal': 0.9756836610416141, 'flam': 0.19453071166708705, 'N': 5, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 40, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 34, 35], 'sumrat': False, 'dt': 0.024089813232421875}
{'D': 5, 'al': ('6/5', '-2/15'), 'lam': ('-8/5', '16/15'), 'fal': 0.901857603000028, 'flam': 0.7851391759997758, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017795085906982422}
{'D': 7, 'al': ('11/6', '-1/3'), 'lam': ('-20/3', '8/3'), 'fal': 0.9514162296451364, 'flam': 0.3886701628389086, 'N': 2, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 16, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 13, 14], 'sumrat': False, 'dt': 0.0198976993560791}
{'D': 7, 'al': ('17/10', '-3/10'), 'lam': ('-28/5', '12/5'), 'fal': 0.9062746066806227, 'flam': 0.7498031465550177, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017815113067626953}
{'D': 7, 'al': ('5/7', '1/14'), 'lam': ('16/7', '-4/7'), 'fal': 0.9032679507903278, 'flam': 0.7738563936773767, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [], 'rvals': [1, 3, 4], 'sumrat': False, 'dt': 0.017590999603271484}
{'D': 7, 'al': ('7/16', '3/16'), 'lam': ('9/2', '-3/2'), 'fal': 0.9335783708246108, 'flam': 0.5313730334031139, 'N': 1, 'rel': (8, 1, 8), 'case': '4d', 'nf': 1, 'allper': False, 'decided': True, 'certK': 11, 'pred_ok': True, 'why': 'ok', 'cf': True, 'data': [(8, 1, 1, 8, 15, 8, 1, 6, 0.06274606680622785)], 'rvals': [1, 8, 9], 'sumrat': False, 'dt': 0.012397050857543945}
SUMMARY d {'total': 535, 'undecided': 0, 'pred_true': 535, 'pred_false': 0, 'pred_na': 0, 'with_family': 42, 'no_family': 493, 'allper': 0, 'cf_true': 535, 'cf_false': 0, 'more_than_2': 0, 'irr_two': 0, 'maxK': 387, 'maxPhi': 105} violations=0 time=6.2s
