{'D': 2, 'al': ('1/2', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.5, 'flam': 0.20710678118654757, 'N': 4, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.2928932188134524)], 'rvals': None, 'sumrat': False, 'dt': 0.012417078018188477}
{'D': 2, 'al': ('1/2', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.5, 'flam': 0.034662955302755094, 'N': 28, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.4653370446972449)], 'rvals': None, 'sumrat': False, 'dt': 0.01269388198852539}
{'D': 2, 'al': ('1/2', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.5, 'flam': 0.417157287525381, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.08284271247461902)], 'rvals': None, 'sumrat': False, 'dt': 0.011685848236083984}
{'D': 2, 'al': ('1/2', '0'), 'lam': ('1/12', '1/4'), 'fal': 0.5, 'flam': 0.43688672392660716, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.06311327607339286)], 'rvals': None, 'sumrat': False, 'dt': 0.011964797973632812}
{'D': 3, 'al': ('1/2', '0'), 'lam': ('0', '2/7'), 'fal': 0.5, 'flam': 0.4948716593053935, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.005128340694606516)], 'rvals': None, 'sumrat': False, 'dt': 0.012253999710083008}
{'D': 3, 'al': ('1/2', '0'), 'lam': ('-3/10', '1/5'), 'fal': 0.5, 'flam': 0.04641016151377544, 'N': 21, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.4535898384862246)], 'rvals': None, 'sumrat': False, 'dt': 0.011825799942016602}
{'D': 3, 'al': ('1/2', '0'), 'lam': ('3/4', '-1/6'), 'fal': 0.5, 'flam': 0.46132486540518713, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.038675134594812866)], 'rvals': None, 'sumrat': False, 'dt': 0.011738061904907227}
{'D': 5, 'al': ('1/2', '0'), 'lam': ('-2/7', '2/7'), 'fal': 0.5, 'flam': 0.35316227928565425, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.14683772071434578)], 'rvals': None, 'sumrat': False, 'dt': 0.012146234512329102}
{'D': 5, 'al': ('1/2', '0'), 'lam': ('7/10', '-1/10'), 'fal': 0.5, 'flam': 0.476393202250021, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.02360679774997898)], 'rvals': None, 'sumrat': False, 'dt': 0.012169361114501953}
{'D': 5, 'al': ('1/2', '0'), 'lam': ('7/12', '-1/6'), 'fal': 0.5, 'flam': 0.21065533708336837, 'N': 4, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.28934466291663163)], 'rvals': None, 'sumrat': False, 'dt': 0.012046098709106445}
{'D': 7, 'al': ('1/2', '0'), 'lam': ('-2/7', '2/7'), 'fal': 0.5, 'flam': 0.47021466030416875, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.029785339695831223)], 'rvals': None, 'sumrat': False, 'dt': 0.012635946273803711}
{'D': 7, 'al': ('1/2', '0'), 'lam': ('-1/2', '1/5'), 'fal': 0.5, 'flam': 0.029150262212918145, 'N': 34, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.47084973778708183)], 'rvals': None, 'sumrat': False, 'dt': 0.012692928314208984}
{'D': 7, 'al': ('1/2', '0'), 'lam': ('11/12', '-1/6'), 'fal': 0.5, 'flam': 0.4757081148225682, 'N': 2, 'rel': (2, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 3, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(2, 0, 0, 1, 6, 4, 0, 2, 0.024291885177431787)], 'rvals': None, 'sumrat': False, 'dt': 0.011643171310424805}
{'D': 2, 'al': ('1/3', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.3333333333333333, 'flam': 0.2071067811865476, 'N': 4, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.12622655214678571)], 'rvals': None, 'sumrat': False, 'dt': 0.012269973754882812}
{'D': 2, 'al': ('1/3', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.3333333333333333, 'flam': 0.034662955302755094, 'N': 28, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.2986703780305782)], 'rvals': None, 'sumrat': False, 'dt': 0.012365102767944336}
{'D': 2, 'al': ('1/3', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.3333333333333333, 'flam': 0.21715728752538097, 'N': 4, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.11617604580795238)], 'rvals': None, 'sumrat': False, 'dt': 0.012532234191894531}
{'D': 2, 'al': ('1/3', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.3333333333333333, 'flam': 0.18688672392660713, 'N': 5, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.14644660940672619)], 'rvals': None, 'sumrat': False, 'dt': 0.01270604133605957}
{'D': 3, 'al': ('1/3', '0'), 'lam': ('4/7', '-1/7'), 'fal': 0.3333333333333333, 'flam': 0.32399274177587467, 'N': 3, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.009340591557458668)], 'rvals': None, 'sumrat': False, 'dt': 0.012102842330932617}
{'D': 3, 'al': ('1/3', '0'), 'lam': ('3/10', '-1/10'), 'fal': 0.3333333333333333, 'flam': 0.12679491924311226, 'N': 7, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.20653841409022106)], 'rvals': None, 'sumrat': False, 'dt': 0.012581110000610352}
{'D': 3, 'al': ('1/3', '0'), 'lam': ('-1/4', '1/6'), 'fal': 0.3333333333333333, 'flam': 0.038675134594812866, 'N': 25, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.29465819873852045)], 'rvals': None, 'sumrat': False, 'dt': 0.012223005294799805}
{'D': 5, 'al': ('1/3', '0'), 'lam': ('0', '1/7'), 'fal': 0.3333333333333333, 'flam': 0.31943828249996997, 'N': 3, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.013895050833363362)], 'rvals': None, 'sumrat': False, 'dt': 0.012225151062011719}
{'D': 5, 'al': ('1/3', '0'), 'lam': ('0', '1/10'), 'fal': 0.3333333333333333, 'flam': 0.223606797749979, 'N': 4, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.10972653558335435)], 'rvals': None, 'sumrat': False, 'dt': 0.012077093124389648}
{'D': 5, 'al': ('1/3', '0'), 'lam': ('5/12', '-1/12'), 'fal': 0.3333333333333333, 'flam': 0.23032766854168418, 'N': 4, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.10300566479164915)], 'rvals': None, 'sumrat': False, 'dt': 0.01176595687866211}
{'D': 7, 'al': ('1/3', '0'), 'lam': ('4/7', '-1/7'), 'fal': 0.3333333333333333, 'flam': 0.19346409841934417, 'N': 5, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.13986923491398914)], 'rvals': None, 'sumrat': False, 'dt': 0.012314796447753906}
{'D': 7, 'al': ('1/3', '0'), 'lam': ('0', '1/10'), 'fal': 0.3333333333333333, 'flam': 0.2645751311064591, 'N': 3, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.06875820222687426)], 'rvals': None, 'sumrat': False, 'dt': 0.012253999710083008}
{'D': 7, 'al': ('1/3', '0'), 'lam': ('1/2', '-1/12'), 'fal': 0.3333333333333333, 'flam': 0.27952072407795076, 'N': 3, 'rel': (3, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 1, 8, 6, 0, 2, 0.05381260925538256)], 'rvals': None, 'sumrat': False, 'dt': 0.011890888214111328}
{'D': 2, 'al': ('2/3', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.6666666666666666, 'flam': 0.2071067811865476, 'N': 4, 'rel': (3, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 2, 5, 3, 0, 2, 0.12622655214678571)], 'rvals': None, 'sumrat': False, 'dt': 0.012144804000854492}
{'D': 2, 'al': ('2/3', '0'), 'lam': ('1', '-2/7'), 'fal': 0.6666666666666666, 'flam': 0.5959389821791157, 'N': 1, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018115997314453125}
{'D': 2, 'al': ('2/3', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.6666666666666666, 'flam': 0.41715728752538095, 'N': 2, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018326997756958008}
{'D': 2, 'al': ('2/3', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.6666666666666666, 'flam': 0.5202200572599405, 'N': 1, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018076181411743164}
{'D': 3, 'al': ('2/3', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.6666666666666666, 'flam': 0.21941405498032077, 'N': 4, 'rel': (3, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 2, 5, 3, 0, 2, 0.11391927835301258)], 'rvals': None, 'sumrat': False, 'dt': 0.012475013732910156}
{'D': 3, 'al': ('2/3', '0'), 'lam': ('1/10', '1/5'), 'fal': 0.6666666666666666, 'flam': 0.4464101615137755, 'N': 2, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018245697021484375}
{'D': 3, 'al': ('2/3', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.6666666666666666, 'flam': 0.099679368558886, 'N': 10, 'rel': (3, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 2, 5, 3, 0, 2, 0.23365396477444733)], 'rvals': None, 'sumrat': False, 'dt': 0.012266159057617188}
{'D': 5, 'al': ('2/3', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.6666666666666666, 'flam': 0.2182662921429172, 'N': 4, 'rel': (3, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 2, 5, 3, 0, 2, 0.11506704119041614)], 'rvals': None, 'sumrat': False, 'dt': 0.012410879135131836}
{'D': 5, 'al': ('2/3', '0'), 'lam': ('1/10', '1/5'), 'fal': 0.6666666666666666, 'flam': 0.547213595499958, 'N': 1, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018027067184448242}
{'D': 5, 'al': ('2/3', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.6666666666666666, 'flam': 0.2256836610416141, 'N': 4, 'rel': (3, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(3, 0, 0, 2, 5, 3, 0, 2, 0.10764967229171922)], 'rvals': None, 'sumrat': False, 'dt': 0.011600971221923828}
{'D': 7, 'al': ('2/3', '0'), 'lam': ('9/7', '-2/7'), 'fal': 0.6666666666666666, 'flam': 0.5297853396958312, 'N': 1, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01820683479309082}
{'D': 7, 'al': ('2/3', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.6666666666666666, 'flam': 0.37084973778708186, 'N': 2, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019242048263549805}
{'D': 7, 'al': ('2/3', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.6666666666666666, 'flam': 0.5781044944328143, 'N': 1, 'rel': (3, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018016338348388672}
{'D': 2, 'al': ('1/4', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.25, 'flam': 0.20710678118654757, 'N': 4, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.04289321881345243)], 'rvals': None, 'sumrat': False, 'dt': 0.011945009231567383}
{'D': 2, 'al': ('1/4', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.25, 'flam': 0.034662955302755094, 'N': 28, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.2153370446972449)], 'rvals': None, 'sumrat': False, 'dt': 0.012430191040039062}
{'D': 2, 'al': ('1/4', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.25, 'flam': 0.024264068711928564, 'N': 41, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.22573593128807143)], 'rvals': None, 'sumrat': False, 'dt': 0.012654781341552734}
{'D': 2, 'al': ('1/4', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.25, 'flam': 0.22977994274005953, 'N': 4, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.02022005725994047)], 'rvals': None, 'sumrat': False, 'dt': 0.012516021728515625}
{'D': 3, 'al': ('1/4', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.25, 'flam': 0.2194140549803208, 'N': 4, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.0305859450196792)], 'rvals': None, 'sumrat': False, 'dt': 0.013150930404663086}
{'D': 3, 'al': ('1/4', '0'), 'lam': ('-1/2', '3/10'), 'fal': 0.25, 'flam': 0.0196152422706632, 'N': 50, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.2303847577293368)], 'rvals': None, 'sumrat': False, 'dt': 0.01291203498840332}
{'D': 3, 'al': ('1/4', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.25, 'flam': 0.150320631441114, 'N': 6, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.099679368558886)], 'rvals': None, 'sumrat': False, 'dt': 0.012326955795288086}
{'D': 5, 'al': ('1/4', '0'), 'lam': ('-6/7', '3/7'), 'fal': 0.25, 'flam': 0.10117199035705278, 'N': 9, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.14882800964294723)], 'rvals': None, 'sumrat': False, 'dt': 0.013093948364257812}
{'D': 5, 'al': ('1/4', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.25, 'flam': 0.07082039324993694, 'N': 14, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.17917960675006306)], 'rvals': None, 'sumrat': False, 'dt': 0.012456893920898438}
{'D': 5, 'al': ('1/4', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.25, 'flam': 0.02431633895838588, 'N': 41, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.2256836610416141)], 'rvals': None, 'sumrat': False, 'dt': 0.012405872344970703}
{'D': 7, 'al': ('1/4', '0'), 'lam': ('-1', '3/7'), 'fal': 0.25, 'flam': 0.13389341902768173, 'N': 7, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.11610658097231827)], 'rvals': None, 'sumrat': False, 'dt': 0.012601137161254883}
{'D': 7, 'al': ('1/4', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.25, 'flam': 0.19372539331937721, 'N': 5, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.056274606680622785)], 'rvals': None, 'sumrat': False, 'dt': 0.012165069580078125}
{'D': 7, 'al': ('1/4', '0'), 'lam': ('5/6', '-1/4'), 'fal': 0.25, 'flam': 0.17189550556718566, 'N': 5, 'rel': (4, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 1, 10, 8, 0, 2, 0.07810449443281435)], 'rvals': None, 'sumrat': False, 'dt': 0.012072086334228516}
{'D': 2, 'al': ('3/4', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.75, 'flam': 0.20710678118654757, 'N': 4, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.04289321881345243)], 'rvals': None, 'sumrat': False, 'dt': 0.01217794418334961}
{'D': 2, 'al': ('3/4', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.75, 'flam': 0.034662955302755094, 'N': 28, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.2153370446972449)], 'rvals': None, 'sumrat': False, 'dt': 0.012366056442260742}
{'D': 2, 'al': ('3/4', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.75, 'flam': 0.617157287525381, 'N': 1, 'rel': (4, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018314838409423828}
{'D': 2, 'al': ('3/4', '0'), 'lam': ('1/3', '1/4'), 'fal': 0.75, 'flam': 0.6868867239266071, 'N': 1, 'rel': (4, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01753401756286621}
{'D': 3, 'al': ('3/4', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.75, 'flam': 0.2194140549803208, 'N': 4, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.0305859450196792)], 'rvals': None, 'sumrat': False, 'dt': 0.012588024139404297}
{'D': 3, 'al': ('3/4', '0'), 'lam': ('-1/10', '1/5'), 'fal': 0.75, 'flam': 0.24641016151377543, 'N': 4, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.003589838486224561)], 'rvals': None, 'sumrat': False, 'dt': 0.012509346008300781}
{'D': 3, 'al': ('3/4', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.75, 'flam': 0.099679368558886, 'N': 10, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.150320631441114)], 'rvals': None, 'sumrat': False, 'dt': 0.012417793273925781}
{'D': 5, 'al': ('3/4', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.75, 'flam': 0.07540914928577434, 'N': 13, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.17459085071422567)], 'rvals': None, 'sumrat': False, 'dt': 0.012988805770874023}
{'D': 5, 'al': ('3/4', '0'), 'lam': ('1/10', '1/5'), 'fal': 0.75, 'flam': 0.547213595499958, 'N': 1, 'rel': (4, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018167972564697266}
{'D': 5, 'al': ('3/4', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.75, 'flam': 0.2256836610416141, 'N': 4, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.02431633895838588)], 'rvals': None, 'sumrat': False, 'dt': 0.012224912643432617}
{'D': 7, 'al': ('3/4', '0'), 'lam': ('-6/7', '3/7'), 'fal': 0.75, 'flam': 0.2767505618848246, 'N': 3, 'rel': (4, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01913285255432129}
{'D': 7, 'al': ('3/4', '0'), 'lam': ('11/10', '-1/5'), 'fal': 0.75, 'flam': 0.5708497377870818, 'N': 1, 'rel': (4, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018837928771972656}
{'D': 7, 'al': ('3/4', '0'), 'lam': ('2/3', '-1/4'), 'fal': 0.75, 'flam': 0.005228838900518988, 'N': 191, 'rel': (4, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(4, 0, 0, 3, 14, 8, 0, 6, 0.24477116109948102)], 'rvals': None, 'sumrat': False, 'dt': 0.012451171875}
{'D': 2, 'al': ('1/5', '0'), 'lam': ('3/2', '-1'), 'fal': 0.2, 'flam': 0.0857864376269049, 'N': 11, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.1142135623730951)], 'rvals': None, 'sumrat': False, 'dt': 0.012650251388549805}
{'D': 2, 'al': ('1/5', '0'), 'lam': ('4/7', '-2/7'), 'fal': 0.2, 'flam': 0.16736755360768713, 'N': 5, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.032632446392312886)], 'rvals': None, 'sumrat': False, 'dt': 0.012869119644165039}
{'D': 2, 'al': ('1/5', '0'), 'lam': ('3/10', '-1/5'), 'fal': 0.2, 'flam': 0.01715728752538097, 'N': 58, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.18284271247461903)], 'rvals': None, 'sumrat': False, 'dt': 0.012541055679321289}
{'D': 2, 'al': ('1/5', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.2, 'flam': 0.1868867239266071, 'N': 5, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.01311327607339289)], 'rvals': None, 'sumrat': False, 'dt': 0.012649059295654297}
{'D': 3, 'al': ('1/5', '0'), 'lam': ('4/7', '-2/7'), 'fal': 0.2, 'flam': 0.07655691212317797, 'N': 13, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.12344308787682202)], 'rvals': None, 'sumrat': False, 'dt': 0.012463808059692383}
{'D': 3, 'al': ('1/5', '0'), 'lam': ('-3/10', '1/5'), 'fal': 0.2, 'flam': 0.04641016151377544, 'N': 21, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.15358983848622457)], 'rvals': None, 'sumrat': False, 'dt': 0.011766910552978516}
{'D': 3, 'al': ('1/5', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.2, 'flam': 0.01634603522555261, 'N': 61, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.1836539647744474)], 'rvals': None, 'sumrat': False, 'dt': 0.013022899627685547}
{'D': 5, 'al': ('1/5', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.2, 'flam': 0.07540914928577434, 'N': 13, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.12459085071422565)], 'rvals': None, 'sumrat': False, 'dt': 0.012862920761108398}
{'D': 5, 'al': ('1/5', '0'), 'lam': ('2/5', '-1/10'), 'fal': 0.2, 'flam': 0.17639320225002103, 'N': 5, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.02360679774997898)], 'rvals': None, 'sumrat': False, 'dt': 0.012208938598632812}
{'D': 5, 'al': ('1/5', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.2, 'flam': 0.14235032770828085, 'N': 7, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.057649672291719155)], 'rvals': None, 'sumrat': False, 'dt': 0.012928009033203125}
{'D': 7, 'al': ('1/5', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.2, 'flam': 0.1012139111244027, 'N': 9, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.0987860888755973)], 'rvals': None, 'sumrat': False, 'dt': 0.012728214263916016}
{'D': 7, 'al': ('1/5', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.2, 'flam': 0.17084973778708185, 'N': 5, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.029150262212918145)], 'rvals': None, 'sumrat': False, 'dt': 0.012156963348388672}
{'D': 7, 'al': ('1/5', '0'), 'lam': ('-7/12', '1/4'), 'fal': 0.2, 'flam': 0.0781044944328143, 'N': 12, 'rel': (5, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 1, 12, 10, 0, 2, 0.1218955055671857)], 'rvals': None, 'sumrat': False, 'dt': 0.012810945510864258}
{'D': 2, 'al': ('2/5', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.4, 'flam': 0.20710678118654754, 'N': 4, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018542766571044922}
{'D': 2, 'al': ('2/5', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.4, 'flam': 0.034662955302755045, 'N': 28, 'rel': (5, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 2, 7, 5, 0, 2, 0.16533704469724494)], 'rvals': None, 'sumrat': False, 'dt': 0.012987136840820312}
{'D': 2, 'al': ('2/5', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.4, 'flam': 0.21715728752538097, 'N': 4, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01698899269104004}
{'D': 2, 'al': ('2/5', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.4, 'flam': 0.2702200572599404, 'N': 3, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018189191818237305}
{'D': 3, 'al': ('2/5', '0'), 'lam': ('-1/7', '2/7'), 'fal': 0.4, 'flam': 0.3520145164482506, 'N': 2, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018512964248657227}
{'D': 3, 'al': ('2/5', '0'), 'lam': ('1/2', '-1/10'), 'fal': 0.4, 'flam': 0.32679491924311227, 'N': 3, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.016926050186157227}
{'D': 3, 'al': ('2/5', '0'), 'lam': ('5/12', '-1/6'), 'fal': 0.4, 'flam': 0.12799153207185382, 'N': 7, 'rel': (5, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 2, 7, 5, 0, 2, 0.07200846792814618)], 'rvals': None, 'sumrat': False, 'dt': 0.012682914733886719}
{'D': 5, 'al': ('2/5', '0'), 'lam': ('-3/7', '2/7'), 'fal': 0.4, 'flam': 0.21030513642851137, 'N': 4, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018635034561157227}
{'D': 5, 'al': ('2/5', '0'), 'lam': ('1/2', '-1/10'), 'fal': 0.4, 'flam': 0.276393202250021, 'N': 3, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017504215240478516}
{'D': 5, 'al': ('2/5', '0'), 'lam': ('5/12', '-1/6'), 'fal': 0.4, 'flam': 0.0439886704167017, 'N': 22, 'rel': (5, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 2, 7, 5, 0, 2, 0.1560113295832983)], 'rvals': None, 'sumrat': False, 'dt': 0.012532234191894531}
{'D': 7, 'al': ('2/5', '0'), 'lam': ('-4/7', '2/7'), 'fal': 0.4, 'flam': 0.184500374589883, 'N': 5, 'rel': (5, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 2, 7, 5, 0, 2, 0.015499625410116988)], 'rvals': None, 'sumrat': False, 'dt': 0.012847900390625}
{'D': 7, 'al': ('2/5', '0'), 'lam': ('3/5', '-1/10'), 'fal': 0.4, 'flam': 0.33542486889354095, 'N': 2, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018424034118652344}
{'D': 7, 'al': ('2/5', '0'), 'lam': ('-1/12', '1/6'), 'fal': 0.4, 'flam': 0.35762521851076506, 'N': 2, 'rel': (5, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019166946411132812}
{'D': 2, 'al': ('3/5', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.6, 'flam': 0.20710678118654754, 'N': 4, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01870417594909668}
{'D': 2, 'al': ('3/5', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.6, 'flam': 0.034662955302755045, 'N': 28, 'rel': (5, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 3, 16, 10, 0, 6, 0.16533704469724494)], 'rvals': None, 'sumrat': False, 'dt': 0.013290882110595703}
{'D': 2, 'al': ('3/5', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.6, 'flam': 0.417157287525381, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017515897750854492}
{'D': 2, 'al': ('3/5', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.6, 'flam': 0.5202200572599405, 'N': 1, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01868915557861328}
{'D': 3, 'al': ('3/5', '0'), 'lam': ('0', '2/7'), 'fal': 0.6, 'flam': 0.49487165930539345, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019298076629638672}
{'D': 3, 'al': ('3/5', '0'), 'lam': ('-3/10', '1/5'), 'fal': 0.6, 'flam': 0.04641016151377544, 'N': 21, 'rel': (5, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 3, 16, 10, 0, 6, 0.15358983848622457)], 'rvals': None, 'sumrat': False, 'dt': 0.012648820877075195}
{'D': 3, 'al': ('3/5', '0'), 'lam': ('3/4', '-1/6'), 'fal': 0.6, 'flam': 0.46132486540518713, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018823862075805664}
{'D': 5, 'al': ('3/5', '0'), 'lam': ('-2/7', '2/7'), 'fal': 0.6, 'flam': 0.35316227928565425, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01918792724609375}
{'D': 5, 'al': ('3/5', '0'), 'lam': ('4/5', '-1/10'), 'fal': 0.6, 'flam': 0.576393202250021, 'N': 1, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017950057983398438}
{'D': 5, 'al': ('3/5', '0'), 'lam': ('3/4', '-1/6'), 'fal': 0.6, 'flam': 0.37732200375003505, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01889801025390625}
{'D': 7, 'al': ('3/5', '0'), 'lam': ('8/7', '-2/7'), 'fal': 0.6, 'flam': 0.3869281968386884, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01909923553466797}
{'D': 7, 'al': ('3/5', '0'), 'lam': ('-1/10', '1/5'), 'fal': 0.6, 'flam': 0.42915026221291813, 'N': 2, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01803874969482422}
{'D': 7, 'al': ('3/5', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.6, 'flam': 0.3281044944328143, 'N': 3, 'rel': (5, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01941204071044922}
{'D': 2, 'al': ('4/5', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.8, 'flam': 0.20710678118654754, 'N': 4, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019023895263671875}
{'D': 2, 'al': ('4/5', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.8, 'flam': 0.1775200981598979, 'N': 5, 'rel': (5, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 4, 9, 5, 0, 4, 0.0224799018401021)], 'rvals': None, 'sumrat': False, 'dt': 0.012427091598510742}
{'D': 2, 'al': ('4/5', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.8, 'flam': 0.024264068711928564, 'N': 41, 'rel': (5, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 4, 9, 5, 0, 4, 0.17573593128807144)], 'rvals': None, 'sumrat': False, 'dt': 0.011846780776977539}
{'D': 2, 'al': ('4/5', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.8, 'flam': 0.06311327607339288, 'N': 15, 'rel': (5, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 4, 9, 5, 0, 4, 0.1368867239266071)], 'rvals': None, 'sumrat': False, 'dt': 0.01276707649230957}
{'D': 3, 'al': ('4/5', '0'), 'lam': ('1', '-2/7'), 'fal': 0.8, 'flam': 0.5051283406946065, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01868414878845215}
{'D': 3, 'al': ('4/5', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.8, 'flam': 0.35358983848622455, 'N': 2, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018226146697998047}
{'D': 3, 'al': ('4/5', '0'), 'lam': ('1/12', '1/4'), 'fal': 0.8, 'flam': 0.5163460352255526, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018557071685791016}
{'D': 5, 'al': ('4/5', '0'), 'lam': ('9/7', '-2/7'), 'fal': 0.8, 'flam': 0.6468377207143458, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018832921981811523}
{'D': 5, 'al': ('4/5', '0'), 'lam': ('11/10', '-1/5'), 'fal': 0.8, 'flam': 0.652786404500042, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01736307144165039}
{'D': 5, 'al': ('4/5', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.8, 'flam': 0.7256836610416142, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018535137176513672}
{'D': 7, 'al': ('4/5', '0'), 'lam': ('8/7', '-3/7'), 'fal': 0.8, 'flam': 0.008963723829461197, 'N': 111, 'rel': (5, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(5, 0, 0, 4, 9, 5, 0, 4, 0.1910362761705388)], 'rvals': None, 'sumrat': False, 'dt': 0.012914180755615234}
{'D': 7, 'al': ('4/5', '0'), 'lam': ('-3/10', '3/10'), 'fal': 0.8, 'flam': 0.4937253933193772, 'N': 2, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01843404769897461}
{'D': 7, 'al': ('4/5', '0'), 'lam': ('17/12', '-1/4'), 'fal': 0.8, 'flam': 0.7552288389005191, 'N': 1, 'rel': (5, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01798081398010254}
{'D': 2, 'al': ('1/6', '0'), 'lam': ('3/2', '-1'), 'fal': 0.16666666666666666, 'flam': 0.08578643762690479, 'N': 11, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.08088022903976189)], 'rvals': None, 'sumrat': False, 'dt': 0.012598037719726562}
{'D': 2, 'al': ('1/6', '0'), 'lam': ('-2/7', '2/7'), 'fal': 0.16666666666666666, 'flam': 0.11834673210659863, 'N': 8, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.048319934560068036)], 'rvals': None, 'sumrat': False, 'dt': 0.013125896453857422}
{'D': 2, 'al': ('1/6', '0'), 'lam': ('3/10', '-1/5'), 'fal': 0.16666666666666666, 'flam': 0.017157287525380958, 'N': 58, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.1495093791412857)], 'rvals': None, 'sumrat': False, 'dt': 0.012542009353637695}
{'D': 2, 'al': ('1/6', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.16666666666666666, 'flam': 0.02022005725994047, 'N': 49, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.14644660940672619)], 'rvals': None, 'sumrat': False, 'dt': 0.012735843658447266}
{'D': 3, 'al': ('1/6', '0'), 'lam': ('4/7', '-2/7'), 'fal': 0.16666666666666666, 'flam': 0.0765569121231779, 'N': 13, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.09010975454348877)], 'rvals': None, 'sumrat': False, 'dt': 0.012811899185180664}
{'D': 3, 'al': ('1/6', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.16666666666666666, 'flam': 0.15358983848622454, 'N': 6, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.013076828180442136)], 'rvals': None, 'sumrat': False, 'dt': 0.012223958969116211}
{'D': 3, 'al': ('1/6', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.16666666666666666, 'flam': 0.01634603522555267, 'N': 61, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.150320631441114)], 'rvals': None, 'sumrat': False, 'dt': 0.012737035751342773}
{'D': 5, 'al': ('1/6', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.16666666666666666, 'flam': 0.07540914928577434, 'N': 13, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.09125751738089233)], 'rvals': None, 'sumrat': False, 'dt': 0.013427972793579102}
{'D': 5, 'al': ('1/6', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.16666666666666666, 'flam': 0.05278640450004204, 'N': 18, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.11388026216662463)], 'rvals': None, 'sumrat': False, 'dt': 0.012874841690063477}
{'D': 5, 'al': ('1/6', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.16666666666666666, 'flam': 0.1423503277082808, 'N': 7, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.02431633895838588)], 'rvals': None, 'sumrat': False, 'dt': 0.012501955032348633}
{'D': 7, 'al': ('1/6', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.16666666666666666, 'flam': 0.10121391112440266, 'N': 9, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.06545275554226401)], 'rvals': None, 'sumrat': False, 'dt': 0.012692928314208984}
{'D': 7, 'al': ('1/6', '0'), 'lam': ('-1/2', '1/5'), 'fal': 0.16666666666666666, 'flam': 0.029150262212918145, 'N': 34, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.13751640445374852)], 'rvals': None, 'sumrat': False, 'dt': 0.013087987899780273}
{'D': 7, 'al': ('1/6', '0'), 'lam': ('2/3', '-1/4'), 'fal': 0.16666666666666666, 'flam': 0.005228838900518988, 'N': 191, 'rel': (6, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 1, 14, 12, 0, 2, 0.16143782776614768)], 'rvals': None, 'sumrat': False, 'dt': 0.01258707046508789}
{'D': 2, 'al': ('5/6', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.8333333333333334, 'flam': 0.2071067811865476, 'N': 4, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0188748836517334}
{'D': 2, 'al': ('5/6', '0'), 'lam': ('-2/7', '3/7'), 'fal': 0.8333333333333334, 'flam': 0.3203772410170408, 'N': 3, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01940298080444336}
{'D': 2, 'al': ('5/6', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.8333333333333334, 'flam': 0.024264068711928564, 'N': 41, 'rel': (6, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 5, 22, 12, 0, 10, 0.1424025979547381)], 'rvals': None, 'sumrat': False, 'dt': 0.012790203094482422}
{'D': 2, 'al': ('5/6', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.8333333333333334, 'flam': 0.22977994274005953, 'N': 4, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01823282241821289}
{'D': 3, 'al': ('5/6', '0'), 'lam': ('1', '-2/7'), 'fal': 0.8333333333333334, 'flam': 0.5051283406946064, 'N': 1, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01853799819946289}
{'D': 3, 'al': ('5/6', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.8333333333333334, 'flam': 0.15358983848622454, 'N': 6, 'rel': (6, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 5, 22, 12, 0, 10, 0.013076828180442136)], 'rvals': None, 'sumrat': False, 'dt': 0.012656688690185547}
{'D': 3, 'al': ('5/6', '0'), 'lam': ('1/12', '1/4'), 'fal': 0.8333333333333334, 'flam': 0.5163460352255527, 'N': 1, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018695831298828125}
{'D': 5, 'al': ('5/6', '0'), 'lam': ('10/7', '-2/7'), 'fal': 0.8333333333333334, 'flam': 0.7896948635714887, 'N': 1, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01731085777282715}
{'D': 5, 'al': ('5/6', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.8333333333333334, 'flam': 0.45278640450004204, 'N': 2, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01858997344970703}
{'D': 5, 'al': ('5/6', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.8333333333333334, 'flam': 0.02431633895838588, 'N': 41, 'rel': (6, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(6, 0, 0, 5, 22, 12, 0, 10, 0.1423503277082808)], 'rvals': None, 'sumrat': False, 'dt': 0.012677192687988281}
{'D': 7, 'al': ('5/6', '0'), 'lam': ('10/7', '-3/7'), 'fal': 0.8333333333333334, 'flam': 0.2946780095437469, 'N': 3, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01886892318725586}
{'D': 7, 'al': ('5/6', '0'), 'lam': ('-1/10', '3/10'), 'fal': 0.8333333333333334, 'flam': 0.6937253933193772, 'N': 1, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018460988998413086}
{'D': 7, 'al': ('5/6', '0'), 'lam': ('17/12', '-1/4'), 'fal': 0.8333333333333334, 'flam': 0.755228838900519, 'N': 1, 'rel': (6, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01721477508544922}
{'D': 2, 'al': ('1/7', '0'), 'lam': ('3/2', '-1'), 'fal': 0.14285714285714285, 'flam': 0.08578643762690495, 'N': 11, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.057070705230237904)], 'rvals': None, 'sumrat': False, 'dt': 0.012726068496704102}
{'D': 2, 'al': ('1/7', '0'), 'lam': ('2/7', '-1/7'), 'fal': 0.14285714285714285, 'flam': 0.08368377680384355, 'N': 11, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.05917336605329931)], 'rvals': None, 'sumrat': False, 'dt': 0.011713027954101562}
{'D': 2, 'al': ('1/7', '0'), 'lam': ('0', '1/10'), 'fal': 0.14285714285714285, 'flam': 0.1414213562373095, 'N': 7, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.001435786619833352)], 'rvals': None, 'sumrat': False, 'dt': 0.012737035751342773}
{'D': 2, 'al': ('1/7', '0'), 'lam': ('1/4', '-1/12'), 'fal': 0.14285714285714285, 'flam': 0.13214886980224208, 'N': 7, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.010708273054900777)], 'rvals': None, 'sumrat': False, 'dt': 0.012266159057617188}
{'D': 3, 'al': ('1/7', '0'), 'lam': ('-1/7', '1/7'), 'fal': 0.14285714285714285, 'flam': 0.10457868679555389, 'N': 9, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.03827845606158897)], 'rvals': None, 'sumrat': False, 'dt': 0.011820793151855469}
{'D': 3, 'al': ('1/7', '0'), 'lam': ('-1/10', '1/10'), 'fal': 0.14285714285714285, 'flam': 0.07320508075688772, 'N': 13, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.06965206210025514)], 'rvals': None, 'sumrat': False, 'dt': 0.012582063674926758}
{'D': 3, 'al': ('1/7', '0'), 'lam': ('1/6', '-1/12'), 'fal': 0.14285714285714285, 'flam': 0.022329099369260228, 'N': 44, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.12052804348788262)], 'rvals': None, 'sumrat': False, 'dt': 0.01304316520690918}
{'D': 5, 'al': ('1/7', '0'), 'lam': ('5/6', '-1/3'), 'fal': 0.14285714285714285, 'flam': 0.0879773408334034, 'N': 11, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.05487980202373946)], 'rvals': None, 'sumrat': False, 'dt': 0.013050079345703125}
{'D': 5, 'al': ('1/7', '0'), 'lam': ('7/9', '-1/3'), 'fal': 0.14285714285714285, 'flam': 0.0324217852778479, 'N': 30, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.11043535757929496)], 'rvals': None, 'sumrat': False, 'dt': 0.013423919677734375}
{'D': 5, 'al': ('1/7', '0'), 'lam': ('-1/6', '1/12'), 'fal': 0.14285714285714285, 'flam': 0.019672331458315817, 'N': 50, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.12318481139882705)], 'rvals': None, 'sumrat': False, 'dt': 0.01273798942565918}
{'D': 7, 'al': ('1/7', '0'), 'lam': ('-1/3', '1/6'), 'fal': 0.14285714285714285, 'flam': 0.10762521851076515, 'N': 9, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.035231924346377716)], 'rvals': None, 'sumrat': False, 'dt': 0.012826919555664062}
{'D': 7, 'al': ('1/7', '0'), 'lam': ('-5/9', '2/9'), 'fal': 0.14285714285714285, 'flam': 0.03238918023657574, 'N': 30, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.11046796262056711)], 'rvals': None, 'sumrat': False, 'dt': 0.01328587532043457}
{'D': 7, 'al': ('1/7', '0'), 'lam': ('8/11', '-3/11'), 'fal': 0.14285714285714285, 'flam': 0.005704187891475271, 'N': 175, 'rel': (7, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 1, 16, 14, 0, 2, 0.1371529549656676)], 'rvals': None, 'sumrat': False, 'dt': 0.013074874877929688}
{'D': 2, 'al': ('2/7', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.2857142857142857, 'flam': 0.20710678118654752, 'N': 4, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019299030303955078}
{'D': 2, 'al': ('2/7', '0'), 'lam': ('4/7', '-2/7'), 'fal': 0.2857142857142857, 'flam': 0.1673675536076871, 'N': 5, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018012046813964844}
{'D': 2, 'al': ('2/7', '0'), 'lam': ('3/10', '-1/5'), 'fal': 0.2857142857142857, 'flam': 0.01715728752538099, 'N': 58, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.12569985533176187)], 'rvals': None, 'sumrat': False, 'dt': 0.01275324821472168}
{'D': 2, 'al': ('2/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.2857142857142857, 'flam': 0.18688672392660713, 'N': 5, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01922297477722168}
{'D': 3, 'al': ('2/7', '0'), 'lam': ('-2/7', '2/7'), 'fal': 0.2857142857142857, 'flam': 0.20915737359110778, 'N': 4, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017636775970458984}
{'D': 3, 'al': ('2/7', '0'), 'lam': ('3/10', '-1/10'), 'fal': 0.2857142857142857, 'flam': 0.1267949192431123, 'N': 7, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.016062223614030584)], 'rvals': None, 'sumrat': False, 'dt': 0.012908935546875}
{'D': 3, 'al': ('2/7', '0'), 'lam': ('-1/12', '1/6'), 'fal': 0.2857142857142857, 'flam': 0.20534180126147955, 'N': 4, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01944708824157715}
{'D': 5, 'al': ('2/7', '0'), 'lam': ('4/7', '-1/7'), 'fal': 0.2857142857142857, 'flam': 0.2519902889286015, 'N': 3, 'rel': (7, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017658233642578125}
{'D': 5, 'al': ('2/7', '0'), 'lam': ('3/10', '-1/10'), 'fal': 0.2857142857142857, 'flam': 0.07639320225002103, 'N': 13, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.06646394060712184)], 'rvals': None, 'sumrat': False, 'dt': 0.012887001037597656}
{'D': 5, 'al': ('2/7', '0'), 'lam': ('-1/4', '1/6'), 'fal': 0.2857142857142857, 'flam': 0.12267799624996496, 'N': 8, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.02017914660717789)], 'rvals': None, 'sumrat': False, 'dt': 0.013097047805786133}
{'D': 7, 'al': ('2/7', '0'), 'lam': ('3/7', '-1/7'), 'fal': 0.2857142857142857, 'flam': 0.05060695556220133, 'N': 19, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.09225018729494153)], 'rvals': None, 'sumrat': False, 'dt': 0.012400150299072266}
{'D': 7, 'al': ('2/7', '0'), 'lam': ('3/10', '-1/10'), 'fal': 0.2857142857142857, 'flam': 0.03542486889354091, 'N': 28, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.10743227396360194)], 'rvals': None, 'sumrat': False, 'dt': 0.01234579086303711}
{'D': 7, 'al': ('2/7', '0'), 'lam': ('-5/12', '1/6'), 'fal': 0.2857142857142857, 'flam': 0.024291885177431808, 'N': 41, 'rel': (7, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 2, 9, 7, 0, 2, 0.11856525767971104)], 'rvals': None, 'sumrat': False, 'dt': 0.013185977935791016}
{'D': 2, 'al': ('3/7', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.42857142857142855, 'flam': 0.20710678118654752, 'N': 4, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01916790008544922}
{'D': 2, 'al': ('3/7', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.42857142857142855, 'flam': 0.17752009815989794, 'N': 5, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018637895584106445}
{'D': 2, 'al': ('3/7', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.42857142857142855, 'flam': 0.417157287525381, 'N': 2, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019248008728027344}
{'D': 2, 'al': ('3/7', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.42857142857142855, 'flam': 0.06311327607339288, 'N': 15, 'rel': (7, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 3, 20, 14, 0, 6, 0.07974386678374998)], 'rvals': None, 'sumrat': False, 'dt': 0.013185977935791016}
{'D': 3, 'al': ('3/7', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.42857142857142855, 'flam': 0.36227119783746364, 'N': 2, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01766514778137207}
{'D': 3, 'al': ('3/7', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.42857142857142855, 'flam': 0.15358983848622454, 'N': 6, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019195079803466797}
{'D': 3, 'al': ('3/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.42857142857142855, 'flam': 0.26634603522555267, 'N': 3, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01907491683959961}
{'D': 5, 'al': ('3/7', '0'), 'lam': ('1', '-2/7'), 'fal': 0.42857142857142855, 'flam': 0.36112343500006006, 'N': 2, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01811504364013672}
{'D': 5, 'al': ('3/7', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.42857142857142855, 'flam': 0.05278640450004204, 'N': 18, 'rel': (7, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 3, 20, 14, 0, 6, 0.09007073835710082)], 'rvals': None, 'sumrat': False, 'dt': 0.013247966766357422}
{'D': 5, 'al': ('3/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.42857142857142855, 'flam': 0.39235032770828077, 'N': 2, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01919412612915039}
{'D': 7, 'al': ('3/7', '0'), 'lam': ('-6/7', '3/7'), 'fal': 0.42857142857142855, 'flam': 0.2767505618848246, 'N': 3, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018662691116333008}
{'D': 7, 'al': ('3/7', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.42857142857142855, 'flam': 0.19372539331937721, 'N': 5, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019876956939697266}
{'D': 7, 'al': ('3/7', '0'), 'lam': ('5/6', '-1/4'), 'fal': 0.42857142857142855, 'flam': 0.17189550556718566, 'N': 5, 'rel': (7, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019543886184692383}
{'D': 2, 'al': ('4/7', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.5714285714285714, 'flam': 0.20710678118654752, 'N': 4, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019191741943359375}
{'D': 2, 'al': ('4/7', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.5714285714285714, 'flam': 0.034662955302755094, 'N': 28, 'rel': (7, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 4, 11, 7, 0, 4, 0.10819418755438777)], 'rvals': None, 'sumrat': False, 'dt': 0.012431144714355469}
{'D': 2, 'al': ('4/7', '0'), 'lam': ('-3/10', '3/10'), 'fal': 0.5714285714285714, 'flam': 0.12426406871192854, 'N': 8, 'rel': (7, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 4, 11, 7, 0, 4, 0.018593074145214317)], 'rvals': None, 'sumrat': False, 'dt': 0.012930154800415039}
{'D': 2, 'al': ('4/7', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.5714285714285714, 'flam': 0.22977994274005956, 'N': 4, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019237756729125977}
{'D': 3, 'al': ('4/7', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.5714285714285714, 'flam': 0.2194140549803208, 'N': 4, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017899036407470703}
{'D': 3, 'al': ('4/7', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.5714285714285714, 'flam': 0.15358983848622454, 'N': 6, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019438743591308594}
{'D': 3, 'al': ('4/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.5714285714285714, 'flam': 0.26634603522555267, 'N': 3, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0190887451171875}
{'D': 5, 'al': ('4/7', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.5714285714285714, 'flam': 0.2182662921429172, 'N': 4, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018431901931762695}
{'D': 5, 'al': ('4/7', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.5714285714285714, 'flam': 0.05278640450004204, 'N': 18, 'rel': (7, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 4, 11, 7, 0, 4, 0.09007073835710082)], 'rvals': None, 'sumrat': False, 'dt': 0.012806892395019531}
{'D': 5, 'al': ('4/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.5714285714285714, 'flam': 0.39235032770828077, 'N': 2, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019053936004638672}
{'D': 7, 'al': ('4/7', '0'), 'lam': ('-5/7', '3/7'), 'fal': 0.5714285714285714, 'flam': 0.41960770474196746, 'N': 2, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01844310760498047}
{'D': 7, 'al': ('4/7', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.5714285714285714, 'flam': 0.19372539331937721, 'N': 5, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01968073844909668}
{'D': 7, 'al': ('4/7', '0'), 'lam': ('13/12', '-1/4'), 'fal': 0.5714285714285714, 'flam': 0.4218955055671857, 'N': 2, 'rel': (7, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019088029861450195}
{'D': 2, 'al': ('5/7', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.7142857142857143, 'flam': 0.20710678118654752, 'N': 4, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01942610740661621}
{'D': 2, 'al': ('5/7', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.7142857142857143, 'flam': 0.034662955302755094, 'N': 28, 'rel': (7, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 5, 24, 14, 0, 10, 0.10819418755438777)], 'rvals': None, 'sumrat': False, 'dt': 0.01252126693725586}
{'D': 2, 'al': ('5/7', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.7142857142857143, 'flam': 0.6171572875253809, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019352197647094727}
{'D': 2, 'al': ('5/7', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.7142857142857143, 'flam': 0.5202200572599404, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019315004348754883}
{'D': 3, 'al': ('5/7', '0'), 'lam': ('1/7', '2/7'), 'fal': 0.7142857142857143, 'flam': 0.6377288021625364, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017657756805419922}
{'D': 3, 'al': ('5/7', '0'), 'lam': ('-1/10', '1/5'), 'fal': 0.7142857142857143, 'flam': 0.24641016151377546, 'N': 4, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0189058780670166}
{'D': 3, 'al': ('5/7', '0'), 'lam': ('11/12', '-1/6'), 'fal': 0.7142857142857143, 'flam': 0.6279915320718539, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018192052841186523}
{'D': 5, 'al': ('5/7', '0'), 'lam': ('0', '2/7'), 'fal': 0.7142857142857143, 'flam': 0.6388765649999399, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017233848571777344}
{'D': 5, 'al': ('5/7', '0'), 'lam': ('-3/10', '1/5'), 'fal': 0.7142857142857143, 'flam': 0.14721359549995797, 'N': 6, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01936793327331543}
{'D': 5, 'al': ('5/7', '0'), 'lam': ('11/12', '-1/6'), 'fal': 0.7142857142857143, 'flam': 0.5439886704167017, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018791913986206055}
{'D': 7, 'al': ('5/7', '0'), 'lam': ('10/7', '-2/7'), 'fal': 0.7142857142857143, 'flam': 0.6726424825529741, 'N': 1, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017335176467895508}
{'D': 7, 'al': ('5/7', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.7142857142857143, 'flam': 0.17084973778708182, 'N': 5, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018942832946777344}
{'D': 7, 'al': ('5/7', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.7142857142857143, 'flam': 0.3281044944328143, 'N': 3, 'rel': (7, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019697904586791992}
{'D': 2, 'al': ('6/7', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.8571428571428571, 'flam': 0.20710678118654752, 'N': 4, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018301963806152344}
{'D': 2, 'al': ('6/7', '0'), 'lam': ('-2/7', '3/7'), 'fal': 0.8571428571428571, 'flam': 0.3203772410170408, 'N': 3, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018264055252075195}
{'D': 2, 'al': ('6/7', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.8571428571428571, 'flam': 0.02426406871192854, 'N': 41, 'rel': (7, 0, 6), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 6, 13, 7, 0, 6, 0.11859307414521432)], 'rvals': None, 'sumrat': False, 'dt': 0.012988805770874023}
{'D': 2, 'al': ('6/7', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.8571428571428571, 'flam': 0.06311327607339288, 'N': 15, 'rel': (7, 0, 6), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 6, 13, 7, 0, 6, 0.07974386678374998)], 'rvals': None, 'sumrat': False, 'dt': 0.013153076171875}
{'D': 3, 'al': ('6/7', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.8571428571428571, 'flam': 0.36227119783746364, 'N': 2, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017825603485107422}
{'D': 3, 'al': ('6/7', '0'), 'lam': ('3/10', '1/5'), 'fal': 0.8571428571428571, 'flam': 0.6464101615137754, 'N': 1, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01835489273071289}
{'D': 3, 'al': ('6/7', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.8571428571428571, 'flam': 0.26634603522555267, 'N': 3, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01988697052001953}
{'D': 5, 'al': ('6/7', '0'), 'lam': ('9/7', '-2/7'), 'fal': 0.8571428571428571, 'flam': 0.6468377207143458, 'N': 1, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017763137817382812}
{'D': 5, 'al': ('6/7', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.8571428571428571, 'flam': 0.05278640450004204, 'N': 18, 'rel': (7, 0, 6), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 6, 13, 7, 0, 6, 0.09007073835710082)], 'rvals': None, 'sumrat': False, 'dt': 0.013094186782836914}
{'D': 5, 'al': ('6/7', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.8571428571428571, 'flam': 0.4756836610416141, 'N': 2, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019427061080932617}
{'D': 7, 'al': ('6/7', '0'), 'lam': ('8/7', '-3/7'), 'fal': 0.8571428571428571, 'flam': 0.008963723829461121, 'N': 111, 'rel': (7, 0, 6), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(7, 0, 0, 6, 13, 7, 0, 6, 0.13389341902768173)], 'rvals': None, 'sumrat': False, 'dt': 0.012912750244140625}
{'D': 7, 'al': ('6/7', '0'), 'lam': ('-3/10', '3/10'), 'fal': 0.8571428571428571, 'flam': 0.4937253933193772, 'N': 2, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018941879272460938}
{'D': 7, 'al': ('6/7', '0'), 'lam': ('4/3', '-1/4'), 'fal': 0.8571428571428571, 'flam': 0.6718955055671857, 'N': 1, 'rel': (7, 0, 6), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017982006072998047}
{'D': 2, 'al': ('1/8', '0'), 'lam': ('3/2', '-1'), 'fal': 0.125, 'flam': 0.08578643762690485, 'N': 11, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.039213562373095145)], 'rvals': None, 'sumrat': False, 'dt': 0.012638092041015625}
{'D': 2, 'al': ('1/8', '0'), 'lam': ('2/7', '-1/7'), 'fal': 0.125, 'flam': 0.08368377680384355, 'N': 11, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.04131622319615645)], 'rvals': None, 'sumrat': False, 'dt': 0.012657880783081055}
{'D': 2, 'al': ('1/8', '0'), 'lam': ('-1/10', '1/10'), 'fal': 0.125, 'flam': 0.04142135623730951, 'N': 24, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.08357864376269049)], 'rvals': None, 'sumrat': False, 'dt': 0.012513160705566406}
{'D': 2, 'al': ('1/8', '0'), 'lam': ('1/6', '-1/12'), 'fal': 0.125, 'flam': 0.04881553646890874, 'N': 20, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.07618446353109126)], 'rvals': None, 'sumrat': False, 'dt': 0.012175798416137695}
{'D': 3, 'al': ('1/8', '0'), 'lam': ('-5/6', '1/2'), 'fal': 0.125, 'flam': 0.03269207045110534, 'N': 30, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.09230792954889466)], 'rvals': None, 'sumrat': False, 'dt': 0.013046979904174805}
{'D': 3, 'al': ('1/8', '0'), 'lam': ('-5/9', '1/3'), 'fal': 0.125, 'flam': 0.021794713634070224, 'N': 45, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.10320528636592978)], 'rvals': None, 'sumrat': False, 'dt': 0.013451099395751953}
{'D': 3, 'al': ('1/8', '0'), 'lam': ('1/6', '-1/12'), 'fal': 0.125, 'flam': 0.022329099369260235, 'N': 44, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.10267090063073976)], 'rvals': None, 'sumrat': False, 'dt': 0.013092994689941406}
{'D': 5, 'al': ('1/8', '0'), 'lam': ('-2/7', '1/7'), 'fal': 0.125, 'flam': 0.03372399678568426, 'N': 29, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.09127600321431574)], 'rvals': None, 'sumrat': False, 'dt': 0.013057947158813477}
{'D': 5, 'al': ('1/8', '0'), 'lam': ('-1/5', '1/10'), 'fal': 0.125, 'flam': 0.02360679774997898, 'N': 42, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.10139320225002102)], 'rvals': None, 'sumrat': False, 'dt': 0.013096094131469727}
{'D': 5, 'al': ('1/8', '0'), 'lam': ('1/4', '-1/12'), 'fal': 0.125, 'flam': 0.06366100187501751, 'N': 15, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.06133899812498248)], 'rvals': None, 'sumrat': False, 'dt': 0.012331008911132812}
{'D': 7, 'al': ('1/8', '0'), 'lam': ('4/3', '-1/2'), 'fal': 0.125, 'flam': 0.010457677801037976, 'N': 95, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.11454232219896203)], 'rvals': None, 'sumrat': False, 'dt': 0.012776851654052734}
{'D': 7, 'al': ('1/8', '0'), 'lam': ('8/9', '-1/3'), 'fal': 0.125, 'flam': 0.006971785200691983, 'N': 143, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.11802821479930801)], 'rvals': None, 'sumrat': False, 'dt': 0.013019084930419922}
{'D': 7, 'al': ('1/8', '0'), 'lam': ('-1/6', '1/12'), 'fal': 0.125, 'flam': 0.05381260925538256, 'N': 18, 'rel': (8, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 1, 18, 16, 0, 2, 0.07118739074461744)], 'rvals': None, 'sumrat': False, 'dt': 0.012594938278198242}
{'D': 2, 'al': ('3/8', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.375, 'flam': 0.20710678118654757, 'N': 4, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01910400390625}
{'D': 2, 'al': ('3/8', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.375, 'flam': 0.31022469646483, 'N': 3, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01931905746459961}
{'D': 2, 'al': ('3/8', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.375, 'flam': 0.21715728752538097, 'N': 4, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019095659255981445}
{'D': 2, 'al': ('3/8', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.375, 'flam': 0.06311327607339286, 'N': 15, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.061886723926607136)], 'rvals': None, 'sumrat': False, 'dt': 0.012310028076171875}
{'D': 3, 'al': ('3/8', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.375, 'flam': 0.2194140549803208, 'N': 4, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01917576789855957}
{'D': 3, 'al': ('3/8', '0'), 'lam': ('-1/10', '1/5'), 'fal': 0.375, 'flam': 0.24641016151377543, 'N': 4, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018951892852783203}
{'D': 3, 'al': ('3/8', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.375, 'flam': 0.099679368558886, 'N': 10, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.025320631441114)], 'rvals': None, 'sumrat': False, 'dt': 0.012791156768798828}
{'D': 5, 'al': ('3/8', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.375, 'flam': 0.07540914928577434, 'N': 13, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.04959085071422566)], 'rvals': None, 'sumrat': False, 'dt': 0.012780904769897461}
{'D': 5, 'al': ('3/8', '0'), 'lam': ('-1/10', '1/5'), 'fal': 0.375, 'flam': 0.34721359549995795, 'N': 2, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018826007843017578}
{'D': 5, 'al': ('3/8', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.375, 'flam': 0.2256836610416141, 'N': 4, 'rel': (8, 0, 3), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018358945846557617}
{'D': 7, 'al': ('3/8', '0'), 'lam': ('8/7', '-3/7'), 'fal': 0.375, 'flam': 0.008963723829461121, 'N': 111, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.11603627617053888)], 'rvals': None, 'sumrat': False, 'dt': 0.013203859329223633}
{'D': 7, 'al': ('3/8', '0'), 'lam': ('-7/10', '3/10'), 'fal': 0.375, 'flam': 0.09372539331937721, 'N': 10, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.031274606680622784)], 'rvals': None, 'sumrat': False, 'dt': 0.012712955474853516}
{'D': 7, 'al': ('3/8', '0'), 'lam': ('2/3', '-1/4'), 'fal': 0.375, 'flam': 0.005228838900518988, 'N': 191, 'rel': (8, 0, 3), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 3, 22, 16, 0, 6, 0.11977116109948101)], 'rvals': None, 'sumrat': False, 'dt': 0.012516260147094727}
{'D': 2, 'al': ('5/8', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.625, 'flam': 0.20710678118654757, 'N': 4, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01864027976989746}
{'D': 2, 'al': ('5/8', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.625, 'flam': 0.17752009815989794, 'N': 5, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019433975219726562}
{'D': 2, 'al': ('5/8', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.625, 'flam': 0.024264068711928564, 'N': 41, 'rel': (8, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 5, 26, 16, 0, 10, 0.10073593128807143)], 'rvals': None, 'sumrat': False, 'dt': 0.013109683990478516}
{'D': 2, 'al': ('5/8', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.625, 'flam': 0.06311327607339286, 'N': 15, 'rel': (8, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 5, 26, 16, 0, 10, 0.061886723926607136)], 'rvals': None, 'sumrat': False, 'dt': 0.012989997863769531}
{'D': 3, 'al': ('5/8', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.625, 'flam': 0.2194140549803208, 'N': 4, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019134044647216797}
{'D': 3, 'al': ('5/8', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.625, 'flam': 0.15358983848622457, 'N': 6, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01929497718811035}
{'D': 3, 'al': ('5/8', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.625, 'flam': 0.26634603522555267, 'N': 3, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019031047821044922}
{'D': 5, 'al': ('5/8', '0'), 'lam': ('8/7', '-2/7'), 'fal': 0.625, 'flam': 0.503980577857203, 'N': 1, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019000768661499023}
{'D': 5, 'al': ('5/8', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.625, 'flam': 0.25278640450004203, 'N': 3, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019329071044921875}
{'D': 5, 'al': ('5/8', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.625, 'flam': 0.47568366104161414, 'N': 2, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018315792083740234}
{'D': 7, 'al': ('5/8', '0'), 'lam': ('-5/7', '3/7'), 'fal': 0.625, 'flam': 0.41960770474196746, 'N': 2, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01876091957092285}
{'D': 7, 'al': ('5/8', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.625, 'flam': 0.3937253933193772, 'N': 2, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018730878829956055}
{'D': 7, 'al': ('5/8', '0'), 'lam': ('7/6', '-1/4'), 'fal': 0.625, 'flam': 0.505228838900519, 'N': 1, 'rel': (8, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01828598976135254}
{'D': 2, 'al': ('7/8', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.875, 'flam': 0.20710678118654757, 'N': 4, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01853013038635254}
{'D': 2, 'al': ('7/8', '0'), 'lam': ('-2/7', '3/7'), 'fal': 0.875, 'flam': 0.3203772410170408, 'N': 3, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01880788803100586}
{'D': 2, 'al': ('7/8', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.875, 'flam': 0.024264068711928564, 'N': 41, 'rel': (8, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 7, 30, 16, 0, 14, 0.10073593128807143)], 'rvals': None, 'sumrat': False, 'dt': 0.012720823287963867}
{'D': 2, 'al': ('7/8', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.875, 'flam': 0.06311327607339286, 'N': 15, 'rel': (8, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 7, 30, 16, 0, 14, 0.061886723926607136)], 'rvals': None, 'sumrat': False, 'dt': 0.012434959411621094}
{'D': 3, 'al': ('7/8', '0'), 'lam': ('1', '-2/7'), 'fal': 0.875, 'flam': 0.5051283406946065, 'N': 1, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018402814865112305}
{'D': 3, 'al': ('7/8', '0'), 'lam': ('3/10', '1/5'), 'fal': 0.875, 'flam': 0.6464101615137754, 'N': 1, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018406152725219727}
{'D': 3, 'al': ('7/8', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.875, 'flam': 0.099679368558886, 'N': 10, 'rel': (8, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 7, 30, 16, 0, 14, 0.025320631441114)], 'rvals': None, 'sumrat': False, 'dt': 0.013067007064819336}
{'D': 5, 'al': ('7/8', '0'), 'lam': ('8/7', '-2/7'), 'fal': 0.875, 'flam': 0.503980577857203, 'N': 1, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01879405975341797}
{'D': 5, 'al': ('7/8', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.875, 'flam': 0.05278640450004204, 'N': 18, 'rel': (8, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(8, 0, 0, 7, 30, 16, 0, 14, 0.07221359549995796)], 'rvals': None, 'sumrat': False, 'dt': 0.012919187545776367}
{'D': 5, 'al': ('7/8', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.875, 'flam': 0.39235032770828077, 'N': 2, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 7, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018069028854370117}
{'D': 7, 'al': ('7/8', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.875, 'flam': 0.7053219904562532, 'N': 1, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01844620704650879}
{'D': 7, 'al': ('7/8', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.875, 'flam': 0.19372539331937721, 'N': 5, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018828868865966797}
{'D': 7, 'al': ('7/8', '0'), 'lam': ('11/12', '-1/4'), 'fal': 0.875, 'flam': 0.255228838900519, 'N': 3, 'rel': (8, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018557071685791016}
{'D': 2, 'al': ('1/9', '0'), 'lam': ('3/2', '-1'), 'fal': 0.1111111111111111, 'flam': 0.08578643762690479, 'N': 11, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.02532467348420633)], 'rvals': None, 'sumrat': False, 'dt': 0.012729883193969727}
{'D': 2, 'al': ('1/9', '0'), 'lam': ('2/7', '-1/7'), 'fal': 0.1111111111111111, 'flam': 0.08368377680384353, 'N': 11, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.02742733430726757)], 'rvals': None, 'sumrat': False, 'dt': 0.012711763381958008}
{'D': 2, 'al': ('1/9', '0'), 'lam': ('5/9', '-1/3'), 'fal': 0.1111111111111111, 'flam': 0.08415103476452382, 'N': 11, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.026960076346587297)], 'rvals': None, 'sumrat': False, 'dt': 0.012173175811767578}
{'D': 2, 'al': ('1/9', '0'), 'lam': ('1/6', '-1/12'), 'fal': 0.1111111111111111, 'flam': 0.04881553646890873, 'N': 20, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.06229557464220238)], 'rvals': None, 'sumrat': False, 'dt': 0.013170242309570312}
{'D': 3, 'al': ('1/9', '0'), 'lam': ('-5/6', '1/2'), 'fal': 0.1111111111111111, 'flam': 0.03269207045110524, 'N': 30, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.07841904066000588)], 'rvals': None, 'sumrat': False, 'dt': 0.013083219528198242}
{'D': 3, 'al': ('1/9', '0'), 'lam': ('4/9', '-2/9'), 'fal': 0.1111111111111111, 'flam': 0.05954426498469396, 'N': 16, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.051566846126417154)], 'rvals': None, 'sumrat': False, 'dt': 0.012818336486816406}
{'D': 3, 'al': ('1/9', '0'), 'lam': ('-1/12', '1/12'), 'fal': 0.1111111111111111, 'flam': 0.06100423396407311, 'N': 16, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.050106877147038)], 'rvals': None, 'sumrat': False, 'dt': 0.012634992599487305}
{'D': 5, 'al': ('1/9', '0'), 'lam': ('5/6', '-1/3'), 'fal': 0.1111111111111111, 'flam': 0.0879773408334034, 'N': 11, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.023133770277707712)], 'rvals': None, 'sumrat': False, 'dt': 0.012871980667114258}
{'D': 5, 'al': ('1/9', '0'), 'lam': ('1/3', '-1/9'), 'fal': 0.1111111111111111, 'flam': 0.08488133583335669, 'N': 11, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.026229775277754424)], 'rvals': None, 'sumrat': False, 'dt': 0.012350320816040039}
{'D': 5, 'al': ('1/9', '0'), 'lam': ('7/11', '-3/11'), 'fal': 0.1111111111111111, 'flam': 0.026526915227330018, 'N': 37, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.08458419588378109)], 'rvals': None, 'sumrat': False, 'dt': 0.013291120529174805}
{'D': 7, 'al': ('1/9', '0'), 'lam': ('-1/3', '1/6'), 'fal': 0.1111111111111111, 'flam': 0.10762521851076512, 'N': 9, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.0034858926003459917)], 'rvals': None, 'sumrat': False, 'dt': 0.012989997863769531}
{'D': 7, 'al': ('1/9', '0'), 'lam': ('1/3', '-1/9'), 'fal': 0.1111111111111111, 'flam': 0.0393609654372677, 'N': 25, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.07175014567384341)], 'rvals': None, 'sumrat': False, 'dt': 0.012186765670776367}
{'D': 7, 'al': ('1/9', '0'), 'lam': ('6/11', '-2/11'), 'fal': 0.1111111111111111, 'flam': 0.0644088525337108, 'N': 15, 'rel': (9, 0, 1), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 1, 20, 18, 0, 2, 0.04670225857740031)], 'rvals': None, 'sumrat': False, 'dt': 0.013241052627563477}
{'D': 2, 'al': ('2/9', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.2222222222222222, 'flam': 0.2071067811865476, 'N': 4, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018992900848388672}
{'D': 2, 'al': ('2/9', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.2222222222222222, 'flam': 0.034662955302755066, 'N': 28, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.07644815580835604)], 'rvals': None, 'sumrat': False, 'dt': 0.013534307479858398}
{'D': 2, 'al': ('2/9', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.2222222222222222, 'flam': 0.024264068711928547, 'N': 41, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.08684704239918256)], 'rvals': None, 'sumrat': False, 'dt': 0.013401031494140625}
{'D': 2, 'al': ('2/9', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.2222222222222222, 'flam': 0.18688672392660713, 'N': 5, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018788814544677734}
{'D': 3, 'al': ('2/9', '0'), 'lam': ('4/7', '-2/7'), 'fal': 0.2222222222222222, 'flam': 0.07655691212317796, 'N': 13, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.03455419898793315)], 'rvals': None, 'sumrat': False, 'dt': 0.013081073760986328}
{'D': 3, 'al': ('2/9', '0'), 'lam': ('-3/10', '1/5'), 'fal': 0.2222222222222222, 'flam': 0.04641016151377543, 'N': 21, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.06470094959733569)], 'rvals': None, 'sumrat': False, 'dt': 0.013398170471191406}
{'D': 3, 'al': ('2/9', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.2222222222222222, 'flam': 0.01634603522555262, 'N': 61, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.09476507588555849)], 'rvals': None, 'sumrat': False, 'dt': 0.012569189071655273}
{'D': 5, 'al': ('2/9', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.2222222222222222, 'flam': 0.07540914928577434, 'N': 13, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.03570196182533677)], 'rvals': None, 'sumrat': False, 'dt': 0.013107061386108398}
{'D': 5, 'al': ('2/9', '0'), 'lam': ('2/5', '-1/10'), 'fal': 0.2222222222222222, 'flam': 0.17639320225002103, 'N': 5, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018415212631225586}
{'D': 5, 'al': ('2/9', '0'), 'lam': ('-5/12', '1/4'), 'fal': 0.2222222222222222, 'flam': 0.1423503277082808, 'N': 7, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018534183502197266}
{'D': 7, 'al': ('2/9', '0'), 'lam': ('-1', '3/7'), 'fal': 0.2222222222222222, 'flam': 0.13389341902768165, 'N': 7, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.02029585838317871}
{'D': 7, 'al': ('2/9', '0'), 'lam': ('-3/5', '3/10'), 'fal': 0.2222222222222222, 'flam': 0.19372539331937716, 'N': 5, 'rel': (9, 0, 2), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.020045995712280273}
{'D': 7, 'al': ('2/9', '0'), 'lam': ('2/3', '-1/4'), 'fal': 0.2222222222222222, 'flam': 0.005228838900519012, 'N': 191, 'rel': (9, 0, 2), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 2, 11, 9, 0, 2, 0.1058822722105921)], 'rvals': None, 'sumrat': False, 'dt': 0.013409852981567383}
{'D': 2, 'al': ('4/9', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.4444444444444444, 'flam': 0.2071067811865476, 'N': 4, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019781112670898438}
{'D': 2, 'al': ('4/9', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.4444444444444444, 'flam': 0.034662955302755066, 'N': 28, 'rel': (9, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 4, 13, 9, 0, 4, 0.07644815580835604)], 'rvals': None, 'sumrat': False, 'dt': 0.013409137725830078}
{'D': 2, 'al': ('4/9', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.4444444444444444, 'flam': 0.4171572875253809, 'N': 2, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018629789352416992}
{'D': 2, 'al': ('4/9', '0'), 'lam': ('1/12', '1/4'), 'fal': 0.4444444444444444, 'flam': 0.43688672392660716, 'N': 2, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01897287368774414}
{'D': 3, 'al': ('4/9', '0'), 'lam': ('5/7', '-2/7'), 'fal': 0.4444444444444444, 'flam': 0.21941405498032082, 'N': 4, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019672155380249023}
{'D': 3, 'al': ('4/9', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.4444444444444444, 'flam': 0.15358983848622457, 'N': 6, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01967597007751465}
{'D': 3, 'al': ('4/9', '0'), 'lam': ('-1/3', '1/4'), 'fal': 0.4444444444444444, 'flam': 0.09967936855888596, 'N': 10, 'rel': (9, 0, 4), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 4, 13, 9, 0, 4, 0.011431742552225158)], 'rvals': None, 'sumrat': False, 'dt': 0.013298988342285156}
{'D': 5, 'al': ('4/9', '0'), 'lam': ('1', '-2/7'), 'fal': 0.4444444444444444, 'flam': 0.36112343500006006, 'N': 2, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018898963928222656}
{'D': 5, 'al': ('4/9', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.4444444444444444, 'flam': 0.25278640450004203, 'N': 3, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019360065460205078}
{'D': 5, 'al': ('4/9', '0'), 'lam': ('-1/6', '1/4'), 'fal': 0.4444444444444444, 'flam': 0.39235032770828077, 'N': 2, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018511056900024414}
{'D': 7, 'al': ('4/9', '0'), 'lam': ('-6/7', '3/7'), 'fal': 0.4444444444444444, 'flam': 0.2767505618848245, 'N': 3, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0193021297454834}
{'D': 7, 'al': ('4/9', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.4444444444444444, 'flam': 0.37084973778708186, 'N': 2, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018921852111816406}
{'D': 7, 'al': ('4/9', '0'), 'lam': ('5/6', '-1/4'), 'fal': 0.4444444444444444, 'flam': 0.1718955055671857, 'N': 5, 'rel': (9, 0, 4), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018677949905395508}
{'D': 2, 'al': ('5/9', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.5555555555555556, 'flam': 0.2071067811865476, 'N': 4, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018365144729614258}
{'D': 2, 'al': ('5/9', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.5555555555555556, 'flam': 0.17752009815989792, 'N': 5, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019167184829711914}
{'D': 2, 'al': ('5/9', '0'), 'lam': ('-3/10', '3/10'), 'fal': 0.5555555555555556, 'flam': 0.12426406871192855, 'N': 8, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019153118133544922}
{'D': 2, 'al': ('5/9', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.5555555555555556, 'flam': 0.22977994274005953, 'N': 4, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019137859344482422}
{'D': 3, 'al': ('5/9', '0'), 'lam': ('6/7', '-2/7'), 'fal': 0.5555555555555556, 'flam': 0.3622711978374637, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01877307891845703}
{'D': 3, 'al': ('5/9', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.5555555555555556, 'flam': 0.15358983848622457, 'N': 6, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0192110538482666}
{'D': 3, 'al': ('5/9', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.5555555555555556, 'flam': 0.34967936855888593, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018964052200317383}
{'D': 5, 'al': ('5/9', '0'), 'lam': ('1', '-2/7'), 'fal': 0.5555555555555556, 'flam': 0.36112343500006006, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018610000610351562}
{'D': 5, 'al': ('5/9', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.5555555555555556, 'flam': 0.05278640450004204, 'N': 18, 'rel': (9, 0, 5), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 5, 28, 18, 0, 10, 0.058324706611069074)], 'rvals': None, 'sumrat': False, 'dt': 0.013445854187011719}
{'D': 5, 'al': ('5/9', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.5555555555555556, 'flam': 0.47568366104161414, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019165992736816406}
{'D': 7, 'al': ('5/9', '0'), 'lam': ('-5/7', '3/7'), 'fal': 0.5555555555555556, 'flam': 0.41960770474196735, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019982099533081055}
{'D': 7, 'al': ('5/9', '0'), 'lam': ('-2/5', '3/10'), 'fal': 0.5555555555555556, 'flam': 0.39372539331937717, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01995706558227539}
{'D': 7, 'al': ('5/9', '0'), 'lam': ('13/12', '-1/4'), 'fal': 0.5555555555555556, 'flam': 0.4218955055671857, 'N': 2, 'rel': (9, 0, 5), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019000768661499023}
{'D': 2, 'al': ('7/9', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.7777777777777778, 'flam': 0.2071067811865476, 'N': 4, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01892709732055664}
{'D': 2, 'al': ('7/9', '0'), 'lam': ('-4/7', '3/7'), 'fal': 0.7777777777777778, 'flam': 0.034662955302755066, 'N': 28, 'rel': (9, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 7, 32, 18, 0, 14, 0.07644815580835604)], 'rvals': None, 'sumrat': False, 'dt': 0.013351917266845703}
{'D': 2, 'al': ('7/9', '0'), 'lam': ('9/10', '-1/5'), 'fal': 0.7777777777777778, 'flam': 0.6171572875253809, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018072128295898438}
{'D': 2, 'al': ('7/9', '0'), 'lam': ('5/12', '-1/4'), 'fal': 0.7777777777777778, 'flam': 0.06311327607339286, 'N': 15, 'rel': (9, 0, 7), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 7, 32, 18, 0, 14, 0.04799783503771825)], 'rvals': None, 'sumrat': False, 'dt': 0.012716054916381836}
{'D': 3, 'al': ('7/9', '0'), 'lam': ('1', '-2/7'), 'fal': 0.7777777777777778, 'flam': 0.5051283406946065, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01838064193725586}
{'D': 3, 'al': ('7/9', '0'), 'lam': ('7/10', '-1/5'), 'fal': 0.7777777777777778, 'flam': 0.35358983848622455, 'N': 2, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01891803741455078}
{'D': 3, 'al': ('7/9', '0'), 'lam': ('1/12', '1/4'), 'fal': 0.7777777777777778, 'flam': 0.5163460352255527, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018771886825561523}
{'D': 5, 'al': ('7/9', '0'), 'lam': ('9/7', '-2/7'), 'fal': 0.7777777777777778, 'flam': 0.6468377207143458, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01872992515563965}
{'D': 5, 'al': ('7/9', '0'), 'lam': ('11/10', '-1/5'), 'fal': 0.7777777777777778, 'flam': 0.652786404500042, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018461227416992188}
{'D': 5, 'al': ('7/9', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.7777777777777778, 'flam': 0.7256836610416141, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018586158752441406}
{'D': 7, 'al': ('7/9', '0'), 'lam': ('-3/7', '3/7'), 'fal': 0.7777777777777778, 'flam': 0.7053219904562531, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018207073211669922}
{'D': 7, 'al': ('7/9', '0'), 'lam': ('-1/2', '3/10'), 'fal': 0.7777777777777778, 'flam': 0.29372539331937714, 'N': 3, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019585132598876953}
{'D': 7, 'al': ('7/9', '0'), 'lam': ('4/3', '-1/4'), 'fal': 0.7777777777777778, 'flam': 0.6718955055671857, 'N': 1, 'rel': (9, 0, 7), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01848292350769043}
{'D': 2, 'al': ('8/9', '0'), 'lam': ('-1/2', '1/2'), 'fal': 0.8888888888888888, 'flam': 0.2071067811865476, 'N': 4, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019494056701660156}
{'D': 2, 'al': ('8/9', '0'), 'lam': ('-2/7', '3/7'), 'fal': 0.8888888888888888, 'flam': 0.3203772410170408, 'N': 3, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019530057907104492}
{'D': 2, 'al': ('8/9', '0'), 'lam': ('-1/5', '3/10'), 'fal': 0.8888888888888888, 'flam': 0.22426406871192855, 'N': 4, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019496917724609375}
{'D': 2, 'al': ('8/9', '0'), 'lam': ('7/12', '-1/4'), 'fal': 0.8888888888888888, 'flam': 0.22977994274005953, 'N': 4, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018642902374267578}
{'D': 3, 'al': ('8/9', '0'), 'lam': ('8/7', '-2/7'), 'fal': 0.8888888888888888, 'flam': 0.6479854835517493, 'N': 1, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 6, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018571138381958008}
{'D': 3, 'al': ('8/9', '0'), 'lam': ('1/2', '-1/5'), 'fal': 0.8888888888888888, 'flam': 0.15358983848622457, 'N': 6, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019410133361816406}
{'D': 3, 'al': ('8/9', '0'), 'lam': ('-1/12', '1/4'), 'fal': 0.8888888888888888, 'flam': 0.34967936855888593, 'N': 2, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 8, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.0187680721282959}
{'D': 5, 'al': ('8/9', '0'), 'lam': ('-6/7', '3/7'), 'fal': 0.8888888888888888, 'flam': 0.10117199035705284, 'N': 9, 'rel': (9, 0, 8), 'case': '4b', 'nf': 1, 'allper': False, 'decided': True, 'certK': 10, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [(9, 0, 0, 8, 17, 9, 0, 8, 0.00993912075405828)], 'rvals': None, 'sumrat': False, 'dt': 0.01308298110961914}
{'D': 5, 'al': ('8/9', '0'), 'lam': ('13/10', '-1/5'), 'fal': 0.8888888888888888, 'flam': 0.8527864045000422, 'N': 1, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 4, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01811814308166504}
{'D': 5, 'al': ('8/9', '0'), 'lam': ('1/6', '1/4'), 'fal': 0.8888888888888888, 'flam': 0.7256836610416141, 'N': 1, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.01767897605895996}
{'D': 7, 'al': ('8/9', '0'), 'lam': ('10/7', '-3/7'), 'fal': 0.8888888888888888, 'flam': 0.29467800954374695, 'N': 3, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 9, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.019602298736572266}
{'D': 7, 'al': ('8/9', '0'), 'lam': ('-1/10', '3/10'), 'fal': 0.8888888888888888, 'flam': 0.6937253933193771, 'N': 1, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.018004894256591797}
{'D': 7, 'al': ('8/9', '0'), 'lam': ('17/12', '-1/4'), 'fal': 0.8888888888888888, 'flam': 0.7552288389005191, 'N': 1, 'rel': (9, 0, 8), 'case': '4b', 'nf': 0, 'allper': False, 'decided': True, 'certK': 5, 'pred_ok': True, 'why': 'ok', 'cf': None, 'data': [], 'rvals': None, 'sumrat': False, 'dt': 0.017906904220581055}
SUMMARY b {'total': 351, 'undecided': 0, 'pred_true': 351, 'pred_false': 0, 'pred_na': 0, 'with_family': 172, 'no_family': 179, 'allper': 0, 'cf_true': 0, 'cf_false': 0, 'more_than_2': 0, 'irr_two': 0, 'maxK': 10, 'maxPhi': 9} violations=0 time=1.2s
