tmp.txt

{(0, 0, 'h'): [0.7450980392156858, 'continue'],
 (0, 0, 't'): [0.7450980392156858, 'continue'],
 (0, 1, 'h'): [0.7448979591836731, 'continue'],
 (0, 1, 't'): [0.7453061224489792, 'continue'],
 (0, 2, 'h'): [0.7448979591836731, 'continue'],
 (0, 2, 't'): [0.7457482993197276, 'continue'],
 (0, 3, 'h'): [0.7451241134751769, 'continue'],
 (0, 3, 't'): [0.7464539007092196, 'continue'],
 (0, 4, 'h'): [0.745605920444033, 'continue'],
 (0, 4, 't'): [0.7474560592044401, 'continue'],
 (0, 5, 'h'): [0.7463768115942027, 'continue'],
 (0, 5, 't'): [0.7487922705314007, 'continue'],
 (0, 6, 'h'): [0.7474747474747473, 'continue'],
 (0, 6, 't'): [0.7505050505050503, 'continue'],
 (0, 7, 'h'): [0.7489429175475686, 'continue'],
 (0, 7, 't'): [0.7526427061310781, 'continue'],
 (0, 8, 'h'): [0.750830564784053, 'continue'],
 (0, 8, 't'): [0.7552602436323366, 'continue'],
 (0, 9, 'h'): [0.7531939605110336, 'continue'],
 (0, 9, 't'): [0.7584204413472706, 'continue'],
 (0, 10, 'h'): [0.7560975609756097, 'continue'],
 (0, 10, 't'): [0.7621951219512195, 'continue'],
 (0, 11, 'h'): [0.7596153846153846, 'continue'],
 (0, 11, 't'): [0.7666666666666666, 'continue'],
 (0, 12, 'h'): [0.7638326585695007, 'continue'],
 (0, 12, 't'): [0.7719298245614034, 'continue'],
 (0, 13, 'h'): [0.7688477951635846, 'continue'],
 (0, 13, 't'): [0.7780938833570412, 'continue'],
 (0, 14, 'h'): [0.7747747747747747, 'continue'],
 (0, 14, 't'): [0.7852852852852854, 'continue'],
 (0, 15, 'h'): [0.7817460317460317, 'continue'],
 (0, 15, 't'): [0.7936507936507937, 'continue'],
 (0, 16, 'h'): [0.7899159663865547, 'continue'],
 (0, 16, 't'): [0.8033613445378152, 'continue'],
 (0, 17, 'h'): [0.7994652406417113, 'continue'],
 (0, 17, 't'): [0.8146167557932262, 'continue'],
 (0, 18, 'h'): [0.8106060606060606, 'continue'],
 (0, 18, 't'): [0.8276515151515151, 'continue'],
 (0, 19, 'h'): [0.8235887096774194, 'continue'],
 (0, 19, 't'): [0.842741935483871, 'continue'],
 (0, 20, 'h'): [0.8387096774193549, 'continue'],
 (0, 20, 't'): [0.8602150537634408, 'continue'],
 (0, 21, 'h'): [0.8563218390804597, 'continue'],
 (0, 21, 't'): [0.8804597701149424, 'continue'],
 (0, 22, 'h'): [0.8768472906403939, 'continue'],
 (0, 22, 't'): [0.9039408866995072, 'continue'],
 (0, 23, 'h'): [0.9007936507936506, 'continue'],
 (0, 23, 't'): [0.9312169312169312, 'continue'],
 (0, 24, 'h'): [0.9287749287749287, 'continue'],
 (0, 24, 't'): [0.962962962962963, 'continue'],
 (0, 25, 'h'): [0.9615384615384616, 'either'],
 (0, 25, 't'): [1.0, 'continue'],
 (0, 26, 'h'): [1, 'stop'],
 (0, 26, 't'): [1, 'stop'],
 (1, 0, 'h'): [0.7453061224489792, 'continue'],
 (1, 0, 't'): [0.7448979591836731, 'continue'],
 (1, 1, 'h'): [0.7448979591836731, 'continue'],
 (1, 1, 't'): [0.7448979591836731, 'continue'],
 (1, 2, 'h'): [0.7446808510638294, 'continue'],
 (1, 2, 't'): [0.7451241134751769, 'continue'],
 (1, 3, 'h'): [0.7446808510638294, 'continue'],
 (1, 3, 't'): [0.745605920444033, 'continue'],
 (1, 4, 'h'): [0.7449275362318837, 'continue'],
 (1, 4, 't'): [0.7463768115942027, 'continue'],
 (1, 5, 'h'): [0.7454545454545451, 'continue'],
 (1, 5, 't'): [0.7474747474747473, 'continue'],
 (1, 6, 'h'): [0.7463002114164903, 'continue'],
 (1, 6, 't'): [0.7489429175475686, 'continue'],
 (1, 7, 'h'): [0.7475083056478403, 'continue'],
 (1, 7, 't'): [0.750830564784053, 'continue'],
 (1, 8, 'h'): [0.7491289198606269, 'continue'],
 (1, 8, 't'): [0.7531939605110336, 'continue'],
 (1, 9, 'h'): [0.7512195121951217, 'continue'],
 (1, 9, 't'): [0.7560975609756097, 'continue'],
 (1, 10, 'h'): [0.7538461538461537, 'continue'],
 (1, 10, 't'): [0.7596153846153846, 'continue'],
 (1, 11, 'h'): [0.7570850202429149, 'continue'],
 (1, 11, 't'): [0.7638326585695007, 'continue'],
 (1, 12, 'h'): [0.7610241820768135, 'continue'],
 (1, 12, 't'): [0.7688477951635846, 'continue'],
 (1, 13, 'h'): [0.7657657657657657, 'continue'],
 (1, 13, 't'): [0.7747747747747747, 'continue'],
 (1, 14, 'h'): [0.7714285714285714, 'continue'],
 (1, 14, 't'): [0.7817460317460317, 'continue'],
 (1, 15, 'h'): [0.7781512605042017, 'continue'],
 (1, 15, 't'): [0.7899159663865547, 'continue'],
 (1, 16, 'h'): [0.786096256684492, 'continue'],
 (1, 16, 't'): [0.7994652406417113, 'continue'],
 (1, 17, 'h'): [0.7954545454545454, 'continue'],
 (1, 17, 't'): [0.8106060606060606, 'continue'],
 (1, 18, 'h'): [0.8064516129032258, 'continue'],
 (1, 18, 't'): [0.8235887096774194, 'continue'],
 (1, 19, 'h'): [0.8193548387096774, 'continue'],
 (1, 19, 't'): [0.8387096774193549, 'continue'],
 (1, 20, 'h'): [0.8344827586206898, 'continue'],
 (1, 20, 't'): [0.8563218390804597, 'continue'],
 (1, 21, 'h'): [0.8522167487684729, 'continue'],
 (1, 21, 't'): [0.8768472906403939, 'continue'],
 (1, 22, 'h'): [0.8730158730158729, 'continue'],
 (1, 22, 't'): [0.9007936507936506, 'continue'],
 (1, 23, 'h'): [0.8974358974358972, 'continue'],
 (1, 23, 't'): [0.9287749287749287, 'continue'],
 (1, 24, 'h'): [0.9261538461538461, 'continue'],
 (1, 24, 't'): [0.9615384615384616, 'continue'],
 (1, 25, 'h'): [0.9600000000000001, 'continue'],
 (1, 25, 't'): [1.0, 'continue'],
 (1, 26, 'h'): [1, 'stop'],
 (1, 26, 't'): [1, 'stop'],
 (2, 0, 'h'): [0.7457482993197276, 'continue'],
 (2, 0, 't'): [0.7448979591836731, 'continue'],
 (2, 1, 'h'): [0.7451241134751769, 'continue'],
 (2, 1, 't'): [0.7446808510638294, 'continue'],
 (2, 2, 'h'): [0.7446808510638294, 'continue'],
 (2, 2, 't'): [0.7446808510638294, 'continue'],
 (2, 3, 'h'): [0.744444444444444, 'continue'],
 (2, 3, 't'): [0.7449275362318837, 'continue'],
 (2, 4, 'h'): [0.744444444444444, 'continue'],
 (2, 4, 't'): [0.7454545454545451, 'continue'],
 (2, 5, 'h'): [0.7447145877378432, 'continue'],
 (2, 5, 't'): [0.7463002114164903, 'continue'],
 (2, 6, 'h'): [0.7452934662236985, 'continue'],
 (2, 6, 't'): [0.7475083056478403, 'continue'],
 (2, 7, 'h'): [0.746225319396051, 'continue'],
 (2, 7, 't'): [0.7491289198606269, 'continue'],
 (2, 8, 'h'): [0.7475609756097559, 'continue'],
 (2, 8, 't'): [0.7512195121951217, 'continue'],
 (2, 9, 'h'): [0.7493589743589741, 'continue'],
 (2, 9, 't'): [0.7538461538461537, 'continue'],
 (2, 10, 'h'): [0.7516869095816463, 'continue'],
 (2, 10, 't'): [0.7570850202429149, 'continue'],
 (2, 11, 'h'): [0.7546230440967282, 'continue'],
 (2, 11, 't'): [0.7610241820768135, 'continue'],
 (2, 12, 'h'): [0.7582582582582582, 'continue'],
 (2, 12, 't'): [0.7657657657657657, 'continue'],
 (2, 13, 'h'): [0.7626984126984127, 'continue'],
 (2, 13, 't'): [0.7714285714285714, 'continue'],
 (2, 14, 'h'): [0.7680672268907562, 'continue'],
 (2, 14, 't'): [0.7781512605042017, 'continue'],
 (2, 15, 'h'): [0.7745098039215687, 'continue'],
 (2, 15, 't'): [0.786096256684492, 'continue'],
 (2, 16, 'h'): [0.7821969696969696, 'continue'],
 (2, 16, 't'): [0.7954545454545454, 'continue'],
 (2, 17, 'h'): [0.7913306451612901, 'continue'],
 (2, 17, 't'): [0.8064516129032258, 'continue'],
 (2, 18, 'h'): [0.8021505376344085, 'continue'],
 (2, 18, 't'): [0.8193548387096774, 'continue'],
 (2, 19, 'h'): [0.8149425287356322, 'continue'],
 (2, 19, 't'): [0.8344827586206898, 'continue'],
 (2, 20, 'h'): [0.830049261083744, 'continue'],
 (2, 20, 't'): [0.8522167487684729, 'continue'],
 (2, 21, 'h'): [0.8478835978835979, 'continue'],
 (2, 21, 't'): [0.8730158730158729, 'continue'],
 (2, 22, 'h'): [0.8689458689458689, 'continue'],
 (2, 22, 't'): [0.8974358974358972, 'continue'],
 (2, 23, 'h'): [0.8938461538461537, 'continue'],
 (2, 23, 't'): [0.9261538461538461, 'continue'],
 (2, 24, 'h'): [0.9233333333333331, 'continue'],
 (2, 24, 't'): [0.9600000000000001, 'continue'],
 (2, 25, 'h'): [0.9583333333333334, 'either'],
 (2, 25, 't'): [1.0, 'continue'],
 (2, 26, 'h'): [1, 'stop'],
 (2, 26, 't'): [1, 'stop'],
 (3, 0, 'h'): [0.7464539007092196, 'continue'],
 (3, 0, 't'): [0.7451241134751769, 'continue'],
 (3, 1, 'h'): [0.745605920444033, 'continue'],
 (3, 1, 't'): [0.7446808510638294, 'continue'],
 (3, 2, 'h'): [0.7449275362318837, 'continue'],
 (3, 2, 't'): [0.744444444444444, 'continue'],
 (3, 3, 'h'): [0.744444444444444, 'continue'],
 (3, 3, 't'): [0.744444444444444, 'continue'],
 (3, 4, 'h'): [0.7441860465116275, 'continue'],
 (3, 4, 't'): [0.7447145877378432, 'continue'],
 (3, 5, 'h'): [0.7441860465116275, 'continue'],
 (3, 5, 't'): [0.7452934662236985, 'continue'],
 (3, 6, 'h'): [0.7444831591173051, 'continue'],
 (3, 6, 't'): [0.746225319396051, 'continue'],
 (3, 7, 'h'): [0.745121951219512, 'continue'],
 (3, 7, 't'): [0.7475609756097559, 'continue'],
 (3, 8, 'h'): [0.746153846153846, 'continue'],
 (3, 8, 't'): [0.7493589743589741, 'continue'],
 (3, 9, 'h'): [0.7476383265856947, 'continue'],
 (3, 9, 't'): [0.7516869095816463, 'continue'],
 (3, 10, 'h'): [0.7496443812233284, 'continue'],
 (3, 10, 't'): [0.7546230440967282, 'continue'],
 (3, 11, 'h'): [0.7522522522522521, 'continue'],
 (3, 11, 't'): [0.7582582582582582, 'continue'],
 (3, 12, 'h'): [0.7555555555555555, 'continue'],
 (3, 12, 't'): [0.7626984126984127, 'continue'],
 (3, 13, 'h'): [0.7596638655462185, 'continue'],
 (3, 13, 't'): [0.7680672268907562, 'continue'],
 (3, 14, 'h'): [0.7647058823529411, 'continue'],
 (3, 14, 't'): [0.7745098039215687, 'continue'],
 (3, 15, 'h'): [0.7708333333333333, 'continue'],
 (3, 15, 't'): [0.7821969696969696, 'continue'],
 (3, 16, 'h'): [0.7782258064516128, 'continue'],
 (3, 16, 't'): [0.7913306451612901, 'continue'],
 (3, 17, 'h'): [0.7870967741935482, 'continue'],
 (3, 17, 't'): [0.8021505376344085, 'continue'],
 (3, 18, 'h'): [0.7977011494252872, 'continue'],
 (3, 18, 't'): [0.8149425287356322, 'continue'],
 (3, 19, 'h'): [0.8103448275862069, 'continue'],
 (3, 19, 't'): [0.830049261083744, 'continue'],
 (3, 20, 'h'): [0.8253968253968256, 'continue'],
 (3, 20, 't'): [0.8478835978835979, 'continue'],
 (3, 21, 'h'): [0.8433048433048433, 'continue'],
 (3, 21, 't'): [0.8689458689458689, 'continue'],
 (3, 22, 'h'): [0.8646153846153846, 'continue'],
 (3, 22, 't'): [0.8938461538461537, 'continue'],
 (3, 23, 'h'): [0.8899999999999999, 'continue'],
 (3, 23, 't'): [0.9233333333333331, 'continue'],
 (3, 24, 'h'): [0.9202898550724635, 'continue'],
 (3, 24, 't'): [0.9583333333333334, 'continue'],
 (3, 25, 'h'): [0.9565217391304348, 'either'],
 (3, 25, 't'): [1.0, 'continue'],
 (3, 26, 'h'): [1, 'stop'],
 (3, 26, 't'): [1, 'stop'],
 (4, 0, 'h'): [0.7474560592044401, 'continue'],
 (4, 0, 't'): [0.745605920444033, 'continue'],
 (4, 1, 'h'): [0.7463768115942027, 'continue'],
 (4, 1, 't'): [0.7449275362318837, 'continue'],
 (4, 2, 'h'): [0.7454545454545451, 'continue'],
 (4, 2, 't'): [0.744444444444444, 'continue'],
 (4, 3, 'h'): [0.7447145877378432, 'continue'],
 (4, 3, 't'): [0.7441860465116275, 'continue'],
 (4, 4, 'h'): [0.7441860465116275, 'continue'],
 (4, 4, 't'): [0.7441860465116275, 'continue'],
 (4, 5, 'h'): [0.7439024390243898, 'continue'],
 (4, 5, 't'): [0.7444831591173051, 'continue'],
 (4, 6, 'h'): [0.7439024390243898, 'continue'],
 (4, 6, 't'): [0.745121951219512, 'continue'],
 (4, 7, 'h'): [0.7442307692307688, 'continue'],
 (4, 7, 't'): [0.746153846153846, 'continue'],
 (4, 8, 'h'): [0.7449392712550604, 'continue'],
 (4, 8, 't'): [0.7476383265856947, 'continue'],
 (4, 9, 'h'): [0.7460881934566143, 'continue'],
 (4, 9, 't'): [0.7496443812233284, 'continue'],
 (4, 10, 'h'): [0.7477477477477474, 'continue'],
 (4, 10, 't'): [0.7522522522522521, 'continue'],
 (4, 11, 'h'): [0.7499999999999998, 'continue'],
 (4, 11, 't'): [0.7555555555555555, 'continue'],
 (4, 12, 'h'): [0.7529411764705881, 'continue'],
 (4, 12, 't'): [0.7596638655462185, 'continue'],
 (4, 13, 'h'): [0.7566844919786095, 'continue'],
 (4, 13, 't'): [0.7647058823529411, 'continue'],
 (4, 14, 'h'): [0.7613636363636362, 'continue'],
 (4, 14, 't'): [0.7708333333333333, 'continue'],
 (4, 15, 'h'): [0.7671370967741935, 'continue'],
 (4, 15, 't'): [0.7782258064516128, 'continue'],
 (4, 16, 'h'): [0.7741935483870965, 'continue'],
 (4, 16, 't'): [0.7870967741935482, 'continue'],
 (4, 17, 'h'): [0.7827586206896548, 'continue'],
 (4, 17, 't'): [0.7977011494252872, 'continue'],
 (4, 18, 'h'): [0.7931034482758619, 'continue'],
 (4, 18, 't'): [0.8103448275862069, 'continue'],
 (4, 19, 'h'): [0.8055555555555556, 'continue'],
 (4, 19, 't'): [0.8253968253968256, 'continue'],
 (4, 20, 'h'): [0.8205128205128207, 'continue'],
 (4, 20, 't'): [0.8433048433048433, 'continue'],
 (4, 21, 'h'): [0.8384615384615386, 'continue'],
 (4, 21, 't'): [0.8646153846153846, 'continue'],
 (4, 22, 'h'): [0.86, 'continue'],
 (4, 22, 't'): [0.8899999999999999, 'continue'],
 (4, 23, 'h'): [0.8858695652173911, 'continue'],
 (4, 23, 't'): [0.9202898550724635, 'continue'],
 (4, 24, 'h'): [0.9169960474308297, 'continue'],
 (4, 24, 't'): [0.9565217391304348, 'continue'],
 (4, 25, 'h'): [0.9545454545454546, 'stop'],
 (4, 25, 't'): [1.0, 'continue'],
 (4, 26, 'h'): [1, 'stop'],
 (4, 26, 't'): [1, 'stop'],
 (5, 0, 'h'): [0.7487922705314007, 'continue'],
 (5, 0, 't'): [0.7463768115942027, 'continue'],
 (5, 1, 'h'): [0.7474747474747473, 'continue'],
 (5, 1, 't'): [0.7454545454545451, 'continue'],
 (5, 2, 'h'): [0.7463002114164903, 'continue'],
 (5, 2, 't'): [0.7447145877378432, 'continue'],
 (5, 3, 'h'): [0.7452934662236985, 'continue'],
 (5, 3, 't'): [0.7441860465116275, 'continue'],
 (5, 4, 'h'): [0.7444831591173051, 'continue'],
 (5, 4, 't'): [0.7439024390243898, 'continue'],
 (5, 5, 'h'): [0.7439024390243898, 'continue'],
 (5, 5, 't'): [0.7439024390243898, 'continue'],
 (5, 6, 'h'): [0.7435897435897432, 'continue'],
 (5, 6, 't'): [0.7442307692307688, 'continue'],
 (5, 7, 'h'): [0.7435897435897432, 'continue'],
 (5, 7, 't'): [0.7449392712550604, 'continue'],
 (5, 8, 'h'): [0.7439544807965857, 'continue'],
 (5, 8, 't'): [0.7460881934566143, 'continue'],
 (5, 9, 'h'): [0.7447447447447444, 'continue'],
 (5, 9, 't'): [0.7477477477477474, 'continue'],
 (5, 10, 'h'): [0.7460317460317456, 'continue'],
 (5, 10, 't'): [0.7499999999999998, 'continue'],
 (5, 11, 'h'): [0.7478991596638652, 'continue'],
 (5, 11, 't'): [0.7529411764705881, 'continue'],
 (5, 12, 'h'): [0.7504456327985738, 'continue'],
 (5, 12, 't'): [0.7566844919786095, 'continue'],
 (5, 13, 'h'): [0.7537878787878787, 'continue'],
 (5, 13, 't'): [0.7613636363636362, 'continue'],
 (5, 14, 'h'): [0.7580645161290321, 'continue'],
 (5, 14, 't'): [0.7671370967741935, 'continue'],
 (5, 15, 'h'): [0.7634408602150536, 'continue'],
 (5, 15, 't'): [0.7741935483870965, 'continue'],
 (5, 16, 'h'): [0.7701149425287355, 'continue'],
 (5, 16, 't'): [0.7827586206896548, 'continue'],
 (5, 17, 'h'): [0.7783251231527091, 'continue'],
 (5, 17, 't'): [0.7931034482758619, 'continue'],
 (5, 18, 'h'): [0.7883597883597881, 'continue'],
 (5, 18, 't'): [0.8055555555555556, 'continue'],
 (5, 19, 'h'): [0.8005698005698005, 'continue'],
 (5, 19, 't'): [0.8205128205128207, 'continue'],
 (5, 20, 'h'): [0.8153846153846156, 'continue'],
 (5, 20, 't'): [0.8384615384615386, 'continue'],
 (5, 21, 'h'): [0.8333333333333335, 'continue'],
 (5, 21, 't'): [0.86, 'continue'],
 (5, 22, 'h'): [0.855072463768116, 'continue'],
 (5, 22, 't'): [0.8858695652173911, 'continue'],
 (5, 23, 'h'): [0.8814229249011856, 'continue'],
 (5, 23, 't'): [0.9169960474308297, 'continue'],
 (5, 24, 'h'): [0.9134199134199132, 'continue'],
 (5, 24, 't'): [0.9545454545454545, 'continue'],
 (5, 25, 'h'): [0.9523809523809523, 'either'],
 (5, 25, 't'): [1.0, 'continue'],
 (5, 26, 'h'): [1, 'stop'],
 (5, 26, 't'): [1, 'stop'],
 (6, 0, 'h'): [0.7505050505050503, 'continue'],
 (6, 0, 't'): [0.7474747474747473, 'continue'],
 (6, 1, 'h'): [0.7489429175475686, 'continue'],
 (6, 1, 't'): [0.7463002114164903, 'continue'],
 (6, 2, 'h'): [0.7475083056478403, 'continue'],
 (6, 2, 't'): [0.7452934662236985, 'continue'],
 (6, 3, 'h'): [0.746225319396051, 'continue'],
 (6, 3, 't'): [0.7444831591173051, 'continue'],
 (6, 4, 'h'): [0.745121951219512, 'continue'],
 (6, 4, 't'): [0.7439024390243898, 'continue'],
 (6, 5, 'h'): [0.7442307692307688, 'continue'],
 (6, 5, 't'): [0.7435897435897432, 'continue'],
 (6, 6, 'h'): [0.7435897435897432, 'continue'],
 (6, 6, 't'): [0.7435897435897432, 'continue'],
 (6, 7, 'h'): [0.743243243243243, 'continue'],
 (6, 7, 't'): [0.7439544807965857, 'continue'],
 (6, 8, 'h'): [0.743243243243243, 'continue'],
 (6, 8, 't'): [0.7447447447447444, 'continue'],
 (6, 9, 'h'): [0.7436507936507933, 'continue'],
 (6, 9, 't'): [0.7460317460317456, 'continue'],
 (6, 10, 'h'): [0.74453781512605, 'continue'],
 (6, 10, 't'): [0.7478991596638652, 'continue'],
 (6, 11, 'h'): [0.7459893048128339, 'continue'],
 (6, 11, 't'): [0.7504456327985738, 'continue'],
 (6, 12, 'h'): [0.7481060606060603, 'continue'],
 (6, 12, 't'): [0.7537878787878787, 'continue'],
 (6, 13, 'h'): [0.7510080645161288, 'continue'],
 (6, 13, 't'): [0.7580645161290321, 'continue'],
 (6, 14, 'h'): [0.7548387096774192, 'continue'],
 (6, 14, 't'): [0.7634408602150536, 'continue'],
 (6, 15, 'h'): [0.7597701149425287, 'continue'],
 (6, 15, 't'): [0.7701149425287355, 'continue'],
 (6, 16, 'h'): [0.7660098522167487, 'continue'],
 (6, 16, 't'): [0.7783251231527091, 'continue'],
 (6, 17, 'h'): [0.7738095238095235, 'continue'],
 (6, 17, 't'): [0.7883597883597881, 'continue'],
 (6, 18, 'h'): [0.7834757834757833, 'continue'],
 (6, 18, 't'): [0.8005698005698005, 'continue'],
 (6, 19, 'h'): [0.7953846153846152, 'continue'],
 (6, 19, 't'): [0.8153846153846156, 'continue'],
 (6, 20, 'h'): [0.81, 'continue'],
 (6, 20, 't'): [0.8333333333333335, 'continue'],
 (6, 21, 'h'): [0.8278985507246377, 'continue'],
 (6, 21, 't'): [0.855072463768116, 'continue'],
 (6, 22, 'h'): [0.849802371541502, 'continue'],
 (6, 22, 't'): [0.8814229249011856, 'continue'],
 (6, 23, 'h'): [0.8766233766233764, 'continue'],
 (6, 23, 't'): [0.9134199134199132, 'continue'],
 (6, 24, 'h'): [0.9095238095238094, 'continue'],
 (6, 24, 't'): [0.9523809523809523, 'continue'],
 (6, 25, 'h'): [0.95, 'either'],
 (6, 25, 't'): [1.0, 'continue'],
 (6, 26, 'h'): [1, 'stop'],
 (6, 26, 't'): [1, 'stop'],
 (7, 0, 'h'): [0.7526427061310781, 'continue'],
 (7, 0, 't'): [0.7489429175475686, 'continue'],
 (7, 1, 'h'): [0.750830564784053, 'continue'],
 (7, 1, 't'): [0.7475083056478403, 'continue'],
 (7, 2, 'h'): [0.7491289198606269, 'continue'],
 (7, 2, 't'): [0.746225319396051, 'continue'],
 (7, 3, 'h'): [0.7475609756097559, 'continue'],
 (7, 3, 't'): [0.745121951219512, 'continue'],
 (7, 4, 'h'): [0.746153846153846, 'continue'],
 (7, 4, 't'): [0.7442307692307688, 'continue'],
 (7, 5, 'h'): [0.7449392712550604, 'continue'],
 (7, 5, 't'): [0.7435897435897432, 'continue'],
 (7, 6, 'h'): [0.7439544807965857, 'continue'],
 (7, 6, 't'): [0.743243243243243, 'continue'],
 (7, 7, 'h'): [0.743243243243243, 'continue'],
 (7, 7, 't'): [0.743243243243243, 'continue'],
 (7, 8, 'h'): [0.7428571428571427, 'continue'],
 (7, 8, 't'): [0.7436507936507933, 'continue'],
 (7, 9, 'h'): [0.7428571428571427, 'continue'],
 (7, 9, 't'): [0.74453781512605, 'continue'],
 (7, 10, 'h'): [0.7433155080213901, 'continue'],
 (7, 10, 't'): [0.7459893048128339, 'continue'],
 (7, 11, 'h'): [0.7443181818181815, 'continue'],
 (7, 11, 't'): [0.7481060606060603, 'continue'],
 (7, 12, 'h'): [0.7459677419354835, 'continue'],
 (7, 12, 't'): [0.7510080645161288, 'continue'],
 (7, 13, 'h'): [0.7483870967741932, 'continue'],
 (7, 13, 't'): [0.7548387096774192, 'continue'],
 (7, 14, 'h'): [0.7517241379310343, 'continue'],
 (7, 14, 't'): [0.7597701149425287, 'continue'],
 (7, 15, 'h'): [0.7561576354679802, 'continue'],
 (7, 15, 't'): [0.7660098522167487, 'continue'],
 (7, 16, 'h'): [0.7619047619047619, 'continue'],
 (7, 16, 't'): [0.7738095238095235, 'continue'],
 (7, 17, 'h'): [0.7692307692307689, 'continue'],
 (7, 17, 't'): [0.7834757834757833, 'continue'],
 (7, 18, 'h'): [0.7784615384615383, 'continue'],
 (7, 18, 't'): [0.7953846153846152, 'continue'],
 (7, 19, 'h'): [0.7899999999999998, 'continue'],
 (7, 19, 't'): [0.81, 'continue'],
 (7, 20, 'h'): [0.8043478260869565, 'continue'],
 (7, 20, 't'): [0.8278985507246377, 'continue'],
 (7, 21, 'h'): [0.8221343873517787, 'continue'],
 (7, 21, 't'): [0.849802371541502, 'continue'],
 (7, 22, 'h'): [0.8441558441558442, 'continue'],
 (7, 22, 't'): [0.8766233766233764, 'continue'],
 (7, 23, 'h'): [0.8714285714285712, 'continue'],
 (7, 23, 't'): [0.9095238095238094, 'continue'],
 (7, 24, 'h'): [0.9052631578947367, 'continue'],
 (7, 24, 't'): [0.95, 'continue'],
 (7, 25, 'h'): [0.9473684210526315, 'stop'],
 (7, 25, 't'): [1.0, 'continue'],
 (7, 26, 'h'): [1, 'stop'],
 (7, 26, 't'): [1, 'stop'],
 (8, 0, 'h'): [0.7552602436323366, 'continue'],
 (8, 0, 't'): [0.750830564784053, 'continue'],
 (8, 1, 'h'): [0.7531939605110336, 'continue'],
 (8, 1, 't'): [0.7491289198606269, 'continue'],
 (8, 2, 'h'): [0.7512195121951217, 'continue'],
 (8, 2, 't'): [0.7475609756097559, 'continue'],
 (8, 3, 'h'): [0.7493589743589741, 'continue'],
 (8, 3, 't'): [0.746153846153846, 'continue'],
 (8, 4, 'h'): [0.7476383265856947, 'continue'],
 (8, 4, 't'): [0.7449392712550604, 'continue'],
 (8, 5, 'h'): [0.7460881934566143, 'continue'],
 (8, 5, 't'): [0.7439544807965857, 'continue'],
 (8, 6, 'h'): [0.7447447447447444, 'continue'],
 (8, 6, 't'): [0.743243243243243, 'continue'],
 (8, 7, 'h'): [0.7436507936507933, 'continue'],
 (8, 7, 't'): [0.7428571428571427, 'continue'],
 (8, 8, 'h'): [0.7428571428571427, 'continue'],
 (8, 8, 't'): [0.7428571428571427, 'continue'],
 (8, 9, 'h'): [0.7424242424242422, 'continue'],
 (8, 9, 't'): [0.7433155080213901, 'continue'],
 (8, 10, 'h'): [0.7424242424242422, 'continue'],
 (8, 10, 't'): [0.7443181818181815, 'continue'],
 (8, 11, 'h'): [0.7429435483870965, 'continue'],
 (8, 11, 't'): [0.7459677419354835, 'continue'],
 (8, 12, 'h'): [0.7440860215053761, 'continue'],
 (8, 12, 't'): [0.7483870967741932, 'continue'],
 (8, 13, 'h'): [0.7459770114942526, 'continue'],
 (8, 13, 't'): [0.7517241379310343, 'continue'],
 (8, 14, 'h'): [0.7487684729064037, 'continue'],
 (8, 14, 't'): [0.7561576354679802, 'continue'],
 (8, 15, 'h'): [0.7526455026455026, 'continue'],
 (8, 15, 't'): [0.7619047619047619, 'continue'],
 (8, 16, 'h'): [0.7578347578347577, 'continue'],
 (8, 16, 't'): [0.7692307692307689, 'continue'],
 (8, 17, 'h'): [0.7646153846153845, 'continue'],
 (8, 17, 't'): [0.7784615384615383, 'continue'],
 (8, 18, 'h'): [0.7733333333333332, 'continue'],
 (8, 18, 't'): [0.7899999999999998, 'continue'],
 (8, 19, 'h'): [0.7844202898550723, 'continue'],
 (8, 19, 't'): [0.8043478260869565, 'continue'],
 (8, 20, 'h'): [0.7984189723320158, 'continue'],
 (8, 20, 't'): [0.8221343873517787, 'continue'],
 (8, 21, 'h'): [0.816017316017316, 'continue'],
 (8, 21, 't'): [0.8441558441558442, 'continue'],
 (8, 22, 'h'): [0.8380952380952382, 'continue'],
 (8, 22, 't'): [0.8714285714285712, 'continue'],
 (8, 23, 'h'): [0.8657894736842104, 'continue'],
 (8, 23, 't'): [0.9052631578947367, 'continue'],
 (8, 24, 'h'): [0.9005847953216373, 'continue'],
 (8, 24, 't'): [0.9473684210526314, 'continue'],
 (8, 25, 'h'): [0.9444444444444444, 'either'],
 (8, 25, 't'): [1.0, 'continue'],
 (8, 26, 'h'): [1, 'stop'],
 (8, 26, 't'): [1, 'stop'],
 (9, 0, 'h'): [0.7584204413472706, 'continue'],
 (9, 0, 't'): [0.7531939605110336, 'continue'],
 (9, 1, 'h'): [0.7560975609756097, 'continue'],
 (9, 1, 't'): [0.7512195121951217, 'continue'],
 (9, 2, 'h'): [0.7538461538461537, 'continue'],
 (9, 2, 't'): [0.7493589743589741, 'continue'],
 (9, 3, 'h'): [0.7516869095816463, 'continue'],
 (9, 3, 't'): [0.7476383265856947, 'continue'],
 (9, 4, 'h'): [0.7496443812233284, 'continue'],
 (9, 4, 't'): [0.7460881934566143, 'continue'],
 (9, 5, 'h'): [0.7477477477477474, 'continue'],
 (9, 5, 't'): [0.7447447447447444, 'continue'],
 (9, 6, 'h'): [0.7460317460317456, 'continue'],
 (9, 6, 't'): [0.7436507936507933, 'continue'],
 (9, 7, 'h'): [0.74453781512605, 'continue'],
 (9, 7, 't'): [0.7428571428571427, 'continue'],
 (9, 8, 'h'): [0.7433155080213901, 'continue'],
 (9, 8, 't'): [0.7424242424242422, 'continue'],
 (9, 9, 'h'): [0.7424242424242422, 'continue'],
 (9, 9, 't'): [0.7424242424242422, 'continue'],
 (9, 10, 'h'): [0.7419354838709675, 'continue'],
 (9, 10, 't'): [0.7429435483870965, 'continue'],
 (9, 11, 'h'): [0.7419354838709675, 'continue'],
 (9, 11, 't'): [0.7440860215053761, 'continue'],
 (9, 12, 'h'): [0.7425287356321837, 'continue'],
 (9, 12, 't'): [0.7459770114942526, 'continue'],
 (9, 13, 'h'): [0.7438423645320195, 'continue'],
 (9, 13, 't'): [0.7487684729064037, 'continue'],
 (9, 14, 'h'): [0.7460317460317458, 'continue'],
 (9, 14, 't'): [0.7526455026455026, 'continue'],
 (9, 15, 'h'): [0.7492877492877492, 'continue'],
 (9, 15, 't'): [0.7578347578347577, 'continue'],
 (9, 16, 'h'): [0.7538461538461538, 'continue'],
 (9, 16, 't'): [0.7646153846153845, 'continue'],
 (9, 17, 'h'): [0.7599999999999999, 'continue'],
 (9, 17, 't'): [0.7733333333333332, 'continue'],
 (9, 18, 'h'): [0.7681159420289853, 'continue'],
 (9, 18, 't'): [0.7844202898550723, 'continue'],
 (9, 19, 'h'): [0.7786561264822132, 'continue'],
 (9, 19, 't'): [0.7984189723320158, 'continue'],
 (9, 20, 'h'): [0.7922077922077921, 'continue'],
 (9, 20, 't'): [0.816017316017316, 'continue'],
 (9, 21, 'h'): [0.8095238095238095, 'continue'],
 (9, 21, 't'): [0.8380952380952382, 'continue'],
 (9, 22, 'h'): [0.8315789473684212, 'continue'],
 (9, 22, 't'): [0.8657894736842104, 'continue'],
 (9, 23, 'h'): [0.8596491228070176, 'continue'],
 (9, 23, 't'): [0.9005847953216373, 'continue'],
 (9, 24, 'h'): [0.895424836601307, 'continue'],
 (9, 24, 't'): [0.9444444444444444, 'continue'],
 (9, 25, 'h'): [0.9411764705882353, 'either'],
 (9, 25, 't'): [1.0, 'continue'],
 (9, 26, 'h'): [1, 'stop'],
 (9, 26, 't'): [1, 'stop'],
 (10, 0, 'h'): [0.7621951219512195, 'continue'],
 (10, 0, 't'): [0.7560975609756097, 'continue'],
 (10, 1, 'h'): [0.7596153846153846, 'continue'],
 (10, 1, 't'): [0.7538461538461537, 'continue'],
 (10, 2, 'h'): [0.7570850202429149, 'continue'],
 (10, 2, 't'): [0.7516869095816463, 'continue'],
 (10, 3, 'h'): [0.7546230440967282, 'continue'],
 (10, 3, 't'): [0.7496443812233284, 'continue'],
 (10, 4, 'h'): [0.7522522522522521, 'continue'],
 (10, 4, 't'): [0.7477477477477474, 'continue'],
 (10, 5, 'h'): [0.7499999999999998, 'continue'],
 (10, 5, 't'): [0.7460317460317456, 'continue'],
 (10, 6, 'h'): [0.7478991596638652, 'continue'],
 (10, 6, 't'): [0.74453781512605, 'continue'],
 (10, 7, 'h'): [0.7459893048128339, 'continue'],
 (10, 7, 't'): [0.7433155080213901, 'continue'],
 (10, 8, 'h'): [0.7443181818181815, 'continue'],
 (10, 8, 't'): [0.7424242424242422, 'continue'],
 (10, 9, 'h'): [0.7429435483870965, 'continue'],
 (10, 9, 't'): [0.7419354838709675, 'continue'],
 (10, 10, 'h'): [0.7419354838709675, 'continue'],
 (10, 10, 't'): [0.7419354838709675, 'continue'],
 (10, 11, 'h'): [0.7413793103448274, 'continue'],
 (10, 11, 't'): [0.7425287356321837, 'continue'],
 (10, 12, 'h'): [0.7413793103448274, 'continue'],
 (10, 12, 't'): [0.7438423645320195, 'continue'],
 (10, 13, 'h'): [0.7420634920634919, 'continue'],
 (10, 13, 't'): [0.7460317460317458, 'continue'],
 (10, 14, 'h'): [0.7435897435897434, 'continue'],
 (10, 14, 't'): [0.7492877492877492, 'continue'],
 (10, 15, 'h'): [0.7461538461538461, 'continue'],
 (10, 15, 't'): [0.7538461538461538, 'continue'],
 (10, 16, 'h'): [0.75, 'continue'],
 (10, 16, 't'): [0.7599999999999999, 'continue'],
 (10, 17, 'h'): [0.7554347826086956, 'continue'],
 (10, 17, 't'): [0.7681159420289853, 'continue'],
 (10, 18, 'h'): [0.7628458498023714, 'continue'],
 (10, 18, 't'): [0.7786561264822132, 'continue'],
 (10, 19, 'h'): [0.7727272727272725, 'continue'],
 (10, 19, 't'): [0.7922077922077921, 'continue'],
 (10, 20, 'h'): [0.7857142857142856, 'continue'],
 (10, 20, 't'): [0.8095238095238095, 'continue'],
 (10, 21, 'h'): [0.8026315789473684, 'continue'],
 (10, 21, 't'): [0.8315789473684212, 'continue'],
 (10, 22, 'h'): [0.824561403508772, 'continue'],
 (10, 22, 't'): [0.8596491228070176, 'continue'],
 (10, 23, 'h'): [0.8529411764705883, 'continue'],
 (10, 23, 't'): [0.895424836601307, 'continue'],
 (10, 24, 'h'): [0.8897058823529411, 'continue'],
 (10, 24, 't'): [0.9411764705882353, 'continue'],
 (10, 25, 'h'): [0.9375, 'either'],
 (10, 25, 't'): [1.0, 'continue'],
 (10, 26, 'h'): [1, 'stop'],
 (10, 26, 't'): [1, 'stop'],
 (11, 0, 'h'): [0.7666666666666666, 'continue'],
 (11, 0, 't'): [0.7596153846153846, 'continue'],
 (11, 1, 'h'): [0.7638326585695007, 'continue'],
 (11, 1, 't'): [0.7570850202429149, 'continue'],
 (11, 2, 'h'): [0.7610241820768135, 'continue'],
 (11, 2, 't'): [0.7546230440967282, 'continue'],
 (11, 3, 'h'): [0.7582582582582582, 'continue'],
 (11, 3, 't'): [0.7522522522522521, 'continue'],
 (11, 4, 'h'): [0.7555555555555555, 'continue'],
 (11, 4, 't'): [0.7499999999999998, 'continue'],
 (11, 5, 'h'): [0.7529411764705881, 'continue'],
 (11, 5, 't'): [0.7478991596638652, 'continue'],
 (11, 6, 'h'): [0.7504456327985738, 'continue'],
 (11, 6, 't'): [0.7459893048128339, 'continue'],
 (11, 7, 'h'): [0.7481060606060603, 'continue'],
 (11, 7, 't'): [0.7443181818181815, 'continue'],
 (11, 8, 'h'): [0.7459677419354835, 'continue'],
 (11, 8, 't'): [0.7429435483870965, 'continue'],
 (11, 9, 'h'): [0.7440860215053761, 'continue'],
 (11, 9, 't'): [0.7419354838709675, 'continue'],
 (11, 10, 'h'): [0.7425287356321837, 'continue'],
 (11, 10, 't'): [0.7413793103448274, 'continue'],
 (11, 11, 'h'): [0.7413793103448274, 'continue'],
 (11, 11, 't'): [0.7413793103448274, 'continue'],
 (11, 12, 'h'): [0.7407407407407405, 'continue'],
 (11, 12, 't'): [0.7420634920634919, 'continue'],
 (11, 13, 'h'): [0.7407407407407405, 'continue'],
 (11, 13, 't'): [0.7435897435897434, 'continue'],
 (11, 14, 'h'): [0.7415384615384614, 'continue'],
 (11, 14, 't'): [0.7461538461538461, 'continue'],
 (11, 15, 'h'): [0.7433333333333333, 'continue'],
 (11, 15, 't'): [0.75, 'continue'],
 (11, 16, 'h'): [0.7463768115942029, 'continue'],
 (11, 16, 't'): [0.7554347826086956, 'continue'],
 (11, 17, 'h'): [0.7509881422924901, 'continue'],
 (11, 17, 't'): [0.7628458498023714, 'continue'],
 (11, 18, 'h'): [0.7575757575757576, 'continue'],
 (11, 18, 't'): [0.7727272727272725, 'continue'],
 (11, 19, 'h'): [0.7666666666666665, 'continue'],
 (11, 19, 't'): [0.7857142857142856, 'continue'],
 (11, 20, 'h'): [0.7789473684210525, 'continue'],
 (11, 20, 't'): [0.8026315789473684, 'continue'],
 (11, 21, 'h'): [0.7953216374269004, 'continue'],
 (11, 21, 't'): [0.824561403508772, 'continue'],
 (11, 22, 'h'): [0.8169934640522876, 'continue'],
 (11, 22, 't'): [0.8529411764705883, 'continue'],
 (11, 23, 'h'): [0.8455882352941176, 'continue'],
 (11, 23, 't'): [0.8897058823529411, 'continue'],
 (11, 24, 'h'): [0.8833333333333333, 'continue'],
 (11, 24, 't'): [0.9375, 'continue'],
 (11, 25, 'h'): [0.9333333333333333, 'either'],
 (11, 25, 't'): [1.0, 'continue'],
 (11, 26, 'h'): [1, 'stop'],
 (11, 26, 't'): [1, 'stop'],
 (12, 0, 'h'): [0.7719298245614034, 'continue'],
 (12, 0, 't'): [0.7638326585695007, 'continue'],
 (12, 1, 'h'): [0.7688477951635846, 'continue'],
 (12, 1, 't'): [0.7610241820768135, 'continue'],
 (12, 2, 'h'): [0.7657657657657657, 'continue'],
 (12, 2, 't'): [0.7582582582582582, 'continue'],
 (12, 3, 'h'): [0.7626984126984127, 'continue'],
 (12, 3, 't'): [0.7555555555555555, 'continue'],
 (12, 4, 'h'): [0.7596638655462185, 'continue'],
 (12, 4, 't'): [0.7529411764705881, 'continue'],
 (12, 5, 'h'): [0.7566844919786095, 'continue'],
 (12, 5, 't'): [0.7504456327985738, 'continue'],
 (12, 6, 'h'): [0.7537878787878787, 'continue'],
 (12, 6, 't'): [0.7481060606060603, 'continue'],
 (12, 7, 'h'): [0.7510080645161288, 'continue'],
 (12, 7, 't'): [0.7459677419354835, 'continue'],
 (12, 8, 'h'): [0.7483870967741932, 'continue'],
 (12, 8, 't'): [0.7440860215053761, 'continue'],
 (12, 9, 'h'): [0.7459770114942526, 'continue'],
 (12, 9, 't'): [0.7425287356321837, 'continue'],
 (12, 10, 'h'): [0.7438423645320195, 'continue'],
 (12, 10, 't'): [0.7413793103448274, 'continue'],
 (12, 11, 'h'): [0.7420634920634919, 'continue'],
 (12, 11, 't'): [0.7407407407407405, 'continue'],
 (12, 12, 'h'): [0.7407407407407405, 'continue'],
 (12, 12, 't'): [0.7407407407407405, 'continue'],
 (12, 13, 'h'): [0.7399999999999998, 'continue'],
 (12, 13, 't'): [0.7415384615384614, 'continue'],
 (12, 14, 'h'): [0.7399999999999998, 'continue'],
 (12, 14, 't'): [0.7433333333333333, 'continue'],
 (12, 15, 'h'): [0.7409420289855071, 'continue'],
 (12, 15, 't'): [0.7463768115942029, 'continue'],
 (12, 16, 'h'): [0.7430830039525691, 'continue'],
 (12, 16, 't'): [0.7509881422924901, 'continue'],
 (12, 17, 'h'): [0.7467532467532467, 'continue'],
 (12, 17, 't'): [0.7575757575757576, 'continue'],
 (12, 18, 'h'): [0.7523809523809524, 'continue'],
 (12, 18, 't'): [0.7666666666666665, 'continue'],
 (12, 19, 'h'): [0.7605263157894736, 'continue'],
 (12, 19, 't'): [0.7789473684210525, 'continue'],
 (12, 20, 'h'): [0.7719298245614034, 'continue'],
 (12, 20, 't'): [0.7953216374269004, 'continue'],
 (12, 21, 'h'): [0.7875816993464051, 'continue'],
 (12, 21, 't'): [0.8169934640522876, 'continue'],
 (12, 22, 'h'): [0.8088235294117646, 'continue'],
 (12, 22, 't'): [0.8455882352941176, 'continue'],
 (12, 23, 'h'): [0.8375, 'continue'],
 (12, 23, 't'): [0.8833333333333333, 'continue'],
 (12, 24, 'h'): [0.8761904761904762, 'continue'],
 (12, 24, 't'): [0.9333333333333333, 'continue'],
 (12, 25, 'h'): [0.9285714285714286, 'either'],
 (12, 25, 't'): [1.0, 'continue'],
 (12, 26, 'h'): [1, 'stop'],
 (12, 26, 't'): [1, 'stop'],
 (13, 0, 'h'): [0.7780938833570412, 'continue'],
 (13, 0, 't'): [0.7688477951635846, 'continue'],
 (13, 1, 'h'): [0.7747747747747747, 'continue'],
 (13, 1, 't'): [0.7657657657657657, 'continue'],
 (13, 2, 'h'): [0.7714285714285714, 'continue'],
 (13, 2, 't'): [0.7626984126984127, 'continue'],
 (13, 3, 'h'): [0.7680672268907562, 'continue'],
 (13, 3, 't'): [0.7596638655462185, 'continue'],
 (13, 4, 'h'): [0.7647058823529411, 'continue'],
 (13, 4, 't'): [0.7566844919786095, 'continue'],
 (13, 5, 'h'): [0.7613636363636362, 'continue'],
 (13, 5, 't'): [0.7537878787878787, 'continue'],
 (13, 6, 'h'): [0.7580645161290321, 'continue'],
 (13, 6, 't'): [0.7510080645161288, 'continue'],
 (13, 7, 'h'): [0.7548387096774192, 'continue'],
 (13, 7, 't'): [0.7483870967741932, 'continue'],
 (13, 8, 'h'): [0.7517241379310343, 'continue'],
 (13, 8, 't'): [0.7459770114942526, 'continue'],
 (13, 9, 'h'): [0.7487684729064037, 'continue'],
 (13, 9, 't'): [0.7438423645320195, 'continue'],
 (13, 10, 'h'): [0.7460317460317458, 'continue'],
 (13, 10, 't'): [0.7420634920634919, 'continue'],
 (13, 11, 'h'): [0.7435897435897434, 'continue'],
 (13, 11, 't'): [0.7407407407407405, 'continue'],
 (13, 12, 'h'): [0.7415384615384614, 'continue'],
 (13, 12, 't'): [0.7399999999999998, 'continue'],
 (13, 13, 'h'): [0.7399999999999998, 'continue'],
 (13, 13, 't'): [0.7399999999999998, 'continue'],
 (13, 14, 'h'): [0.7391304347826084, 'continue'],
 (13, 14, 't'): [0.7409420289855071, 'continue'],
 (13, 15, 'h'): [0.7391304347826084, 'continue'],
 (13, 15, 't'): [0.7430830039525691, 'continue'],
 (13, 16, 'h'): [0.7402597402597401, 'continue'],
 (13, 16, 't'): [0.7467532467532467, 'continue'],
 (13, 17, 'h'): [0.7428571428571428, 'continue'],
 (13, 17, 't'): [0.7523809523809524, 'continue'],
 (13, 18, 'h'): [0.7473684210526315, 'continue'],
 (13, 18, 't'): [0.7605263157894736, 'continue'],
 (13, 19, 'h'): [0.7543859649122806, 'continue'],
 (13, 19, 't'): [0.7719298245614034, 'continue'],
 (13, 20, 'h'): [0.7647058823529411, 'continue'],
 (13, 20, 't'): [0.7875816993464051, 'continue'],
 (13, 21, 'h'): [0.7794117647058822, 'continue'],
 (13, 21, 't'): [0.8088235294117646, 'continue'],
 (13, 22, 'h'): [0.7999999999999999, 'continue'],
 (13, 22, 't'): [0.8375, 'continue'],
 (13, 23, 'h'): [0.8285714285714286, 'continue'],
 (13, 23, 't'): [0.8761904761904762, 'continue'],
 (13, 24, 'h'): [0.8681318681318682, 'continue'],
 (13, 24, 't'): [0.9285714285714286, 'continue'],
 (13, 25, 'h'): [0.9230769230769231, 'either'],
 (13, 25, 't'): [1.0, 'continue'],
 (13, 26, 'h'): [1, 'stop'],
 (13, 26, 't'): [1, 'stop'],
 (14, 0, 'h'): [0.7852852852852854, 'continue'],
 (14, 0, 't'): [0.7747747747747747, 'continue'],
 (14, 1, 'h'): [0.7817460317460317, 'continue'],
 (14, 1, 't'): [0.7714285714285714, 'continue'],
 (14, 2, 'h'): [0.7781512605042017, 'continue'],
 (14, 2, 't'): [0.7680672268907562, 'continue'],
 (14, 3, 'h'): [0.7745098039215687, 'continue'],
 (14, 3, 't'): [0.7647058823529411, 'continue'],
 (14, 4, 'h'): [0.7708333333333333, 'continue'],
 (14, 4, 't'): [0.7613636363636362, 'continue'],
 (14, 5, 'h'): [0.7671370967741935, 'continue'],
 (14, 5, 't'): [0.7580645161290321, 'continue'],
 (14, 6, 'h'): [0.7634408602150536, 'continue'],
 (14, 6, 't'): [0.7548387096774192, 'continue'],
 (14, 7, 'h'): [0.7597701149425287, 'continue'],
 (14, 7, 't'): [0.7517241379310343, 'continue'],
 (14, 8, 'h'): [0.7561576354679802, 'continue'],
 (14, 8, 't'): [0.7487684729064037, 'continue'],
 (14, 9, 'h'): [0.7526455026455026, 'continue'],
 (14, 9, 't'): [0.7460317460317458, 'continue'],
 (14, 10, 'h'): [0.7492877492877492, 'continue'],
 (14, 10, 't'): [0.7435897435897434, 'continue'],
 (14, 11, 'h'): [0.7461538461538461, 'continue'],
 (14, 11, 't'): [0.7415384615384614, 'continue'],
 (14, 12, 'h'): [0.7433333333333333, 'continue'],
 (14, 12, 't'): [0.7399999999999998, 'continue'],
 (14, 13, 'h'): [0.7409420289855071, 'continue'],
 (14, 13, 't'): [0.7391304347826084, 'continue'],
 (14, 14, 'h'): [0.7391304347826084, 'continue'],
 (14, 14, 't'): [0.7391304347826084, 'continue'],
 (14, 15, 'h'): [0.7380952380952379, 'continue'],
 (14, 15, 't'): [0.7402597402597401, 'continue'],
 (14, 16, 'h'): [0.7380952380952379, 'continue'],
 (14, 16, 't'): [0.7428571428571428, 'continue'],
 (14, 17, 'h'): [0.7394736842105263, 'continue'],
 (14, 17, 't'): [0.7473684210526315, 'continue'],
 (14, 18, 'h'): [0.7426900584795321, 'continue'],
 (14, 18, 't'): [0.7543859649122806, 'continue'],
 (14, 19, 'h'): [0.7483660130718954, 'continue'],
 (14, 19, 't'): [0.7647058823529411, 'continue'],
 (14, 20, 'h'): [0.7573529411764706, 'continue'],
 (14, 20, 't'): [0.7794117647058822, 'continue'],
 (14, 21, 'h'): [0.7708333333333333, 'continue'],
 (14, 21, 't'): [0.7999999999999999, 'continue'],
 (14, 22, 'h'): [0.7904761904761903, 'continue'],
 (14, 22, 't'): [0.8285714285714286, 'continue'],
 (14, 23, 'h'): [0.8186813186813187, 'continue'],
 (14, 23, 't'): [0.8681318681318682, 'continue'],
 (14, 24, 'h'): [0.858974358974359, 'continue'],
 (14, 24, 't'): [0.9230769230769231, 'continue'],
 (14, 25, 'h'): [0.9166666666666666, 'either'],
 (14, 25, 't'): [1.0, 'continue'],
 (14, 26, 'h'): [1, 'stop'],
 (14, 26, 't'): [1, 'stop'],
 (15, 0, 'h'): [0.7936507936507937, 'continue'],
 (15, 0, 't'): [0.7817460317460317, 'continue'],
 (15, 1, 'h'): [0.7899159663865547, 'continue'],
 (15, 1, 't'): [0.7781512605042017, 'continue'],
 (15, 2, 'h'): [0.786096256684492, 'continue'],
 (15, 2, 't'): [0.7745098039215687, 'continue'],
 (15, 3, 'h'): [0.7821969696969696, 'continue'],
 (15, 3, 't'): [0.7708333333333333, 'continue'],
 (15, 4, 'h'): [0.7782258064516128, 'continue'],
 (15, 4, 't'): [0.7671370967741935, 'continue'],
 (15, 5, 'h'): [0.7741935483870965, 'continue'],
 (15, 5, 't'): [0.7634408602150536, 'continue'],
 (15, 6, 'h'): [0.7701149425287355, 'continue'],
 (15, 6, 't'): [0.7597701149425287, 'continue'],
 (15, 7, 'h'): [0.7660098522167487, 'continue'],
 (15, 7, 't'): [0.7561576354679802, 'continue'],
 (15, 8, 'h'): [0.7619047619047619, 'continue'],
 (15, 8, 't'): [0.7526455026455026, 'continue'],
 (15, 9, 'h'): [0.7578347578347577, 'continue'],
 (15, 9, 't'): [0.7492877492877492, 'continue'],
 (15, 10, 'h'): [0.7538461538461538, 'continue'],
 (15, 10, 't'): [0.7461538461538461, 'continue'],
 (15, 11, 'h'): [0.75, 'continue'],
 (15, 11, 't'): [0.7433333333333333, 'continue'],
 (15, 12, 'h'): [0.7463768115942029, 'continue'],
 (15, 12, 't'): [0.7409420289855071, 'continue'],
 (15, 13, 'h'): [0.7430830039525691, 'continue'],
 (15, 13, 't'): [0.7391304347826084, 'continue'],
 (15, 14, 'h'): [0.7402597402597401, 'continue'],
 (15, 14, 't'): [0.7380952380952379, 'continue'],
 (15, 15, 'h'): [0.7380952380952379, 'continue'],
 (15, 15, 't'): [0.7380952380952379, 'continue'],
 (15, 16, 'h'): [0.7368421052631577, 'continue'],
 (15, 16, 't'): [0.7394736842105263, 'continue'],
 (15, 17, 'h'): [0.7368421052631577, 'continue'],
 (15, 17, 't'): [0.7426900584795321, 'continue'],
 (15, 18, 'h'): [0.7385620915032678, 'continue'],
 (15, 18, 't'): [0.7483660130718954, 'continue'],
 (15, 19, 'h'): [0.7426470588235293, 'continue'],
 (15, 19, 't'): [0.7573529411764706, 'continue'],
 (15, 20, 'h'): [0.75, 'continue'],
 (15, 20, 't'): [0.7708333333333333, 'continue'],
 (15, 21, 'h'): [0.7619047619047619, 'continue'],
 (15, 21, 't'): [0.7904761904761903, 'continue'],
 (15, 22, 'h'): [0.7802197802197801, 'continue'],
 (15, 22, 't'): [0.8186813186813187, 'continue'],
 (15, 23, 'h'): [0.8076923076923077, 'continue'],
 (15, 23, 't'): [0.858974358974359, 'continue'],
 (15, 24, 'h'): [0.8484848484848485, 'continue'],
 (15, 24, 't'): [0.9166666666666666, 'continue'],
 (15, 25, 'h'): [0.9090909090909091, 'either'],
 (15, 25, 't'): [1.0, 'continue'],
 (15, 26, 'h'): [1, 'stop'],
 (15, 26, 't'): [1, 'stop'],
 (16, 0, 'h'): [0.8033613445378152, 'continue'],
 (16, 0, 't'): [0.7899159663865547, 'continue'],
 (16, 1, 'h'): [0.7994652406417113, 'continue'],
 (16, 1, 't'): [0.786096256684492, 'continue'],
 (16, 2, 'h'): [0.7954545454545454, 'continue'],
 (16, 2, 't'): [0.7821969696969696, 'continue'],
 (16, 3, 'h'): [0.7913306451612901, 'continue'],
 (16, 3, 't'): [0.7782258064516128, 'continue'],
 (16, 4, 'h'): [0.7870967741935482, 'continue'],
 (16, 4, 't'): [0.7741935483870965, 'continue'],
 (16, 5, 'h'): [0.7827586206896548, 'continue'],
 (16, 5, 't'): [0.7701149425287355, 'continue'],
 (16, 6, 'h'): [0.7783251231527091, 'continue'],
 (16, 6, 't'): [0.7660098522167487, 'continue'],
 (16, 7, 'h'): [0.7738095238095235, 'continue'],
 (16, 7, 't'): [0.7619047619047619, 'continue'],
 (16, 8, 'h'): [0.7692307692307689, 'continue'],
 (16, 8, 't'): [0.7578347578347577, 'continue'],
 (16, 9, 'h'): [0.7646153846153845, 'continue'],
 (16, 9, 't'): [0.7538461538461538, 'continue'],
 (16, 10, 'h'): [0.7599999999999999, 'continue'],
 (16, 10, 't'): [0.75, 'continue'],
 (16, 11, 'h'): [0.7554347826086956, 'continue'],
 (16, 11, 't'): [0.7463768115942029, 'continue'],
 (16, 12, 'h'): [0.7509881422924901, 'continue'],
 (16, 12, 't'): [0.7430830039525691, 'continue'],
 (16, 13, 'h'): [0.7467532467532467, 'continue'],
 (16, 13, 't'): [0.7402597402597401, 'continue'],
 (16, 14, 'h'): [0.7428571428571428, 'continue'],
 (16, 14, 't'): [0.7380952380952379, 'continue'],
 (16, 15, 'h'): [0.7394736842105263, 'continue'],
 (16, 15, 't'): [0.7368421052631577, 'continue'],
 (16, 16, 'h'): [0.7368421052631577, 'continue'],
 (16, 16, 't'): [0.7368421052631577, 'continue'],
 (16, 17, 'h'): [0.7352941176470587, 'continue'],
 (16, 17, 't'): [0.7385620915032678, 'continue'],
 (16, 18, 'h'): [0.7352941176470587, 'continue'],
 (16, 18, 't'): [0.7426470588235293, 'continue'],
 (16, 19, 'h'): [0.7374999999999998, 'continue'],
 (16, 19, 't'): [0.75, 'continue'],
 (16, 20, 'h'): [0.7428571428571428, 'continue'],
 (16, 20, 't'): [0.7619047619047619, 'continue'],
 (16, 21, 'h'): [0.7527472527472527, 'continue'],
 (16, 21, 't'): [0.7802197802197801, 'continue'],
 (16, 22, 'h'): [0.7692307692307692, 'continue'],
 (16, 22, 't'): [0.8076923076923077, 'continue'],
 (16, 23, 'h'): [0.7954545454545454, 'continue'],
 (16, 23, 't'): [0.8484848484848485, 'continue'],
 (16, 24, 'h'): [0.8363636363636364, 'continue'],
 (16, 24, 't'): [0.9090909090909091, 'continue'],
 (16, 25, 'h'): [0.9, 'stop'],
 (16, 25, 't'): [1.0, 'continue'],
 (16, 26, 'h'): [1, 'stop'],
 (16, 26, 't'): [1, 'stop'],
 (17, 0, 'h'): [0.8146167557932262, 'continue'],
 (17, 0, 't'): [0.7994652406417113, 'continue'],
 (17, 1, 'h'): [0.8106060606060606, 'continue'],
 (17, 1, 't'): [0.7954545454545454, 'continue'],
 (17, 2, 'h'): [0.8064516129032258, 'continue'],
 (17, 2, 't'): [0.7913306451612901, 'continue'],
 (17, 3, 'h'): [0.8021505376344085, 'continue'],
 (17, 3, 't'): [0.7870967741935482, 'continue'],
 (17, 4, 'h'): [0.7977011494252872, 'continue'],
 (17, 4, 't'): [0.7827586206896548, 'continue'],
 (17, 5, 'h'): [0.7931034482758619, 'continue'],
 (17, 5, 't'): [0.7783251231527091, 'continue'],
 (17, 6, 'h'): [0.7883597883597881, 'continue'],
 (17, 6, 't'): [0.7738095238095235, 'continue'],
 (17, 7, 'h'): [0.7834757834757833, 'continue'],
 (17, 7, 't'): [0.7692307692307689, 'continue'],
 (17, 8, 'h'): [0.7784615384615383, 'continue'],
 (17, 8, 't'): [0.7646153846153845, 'continue'],
 (17, 9, 'h'): [0.7733333333333332, 'continue'],
 (17, 9, 't'): [0.7599999999999999, 'continue'],
 (17, 10, 'h'): [0.7681159420289853, 'continue'],
 (17, 10, 't'): [0.7554347826086956, 'continue'],
 (17, 11, 'h'): [0.7628458498023714, 'continue'],
 (17, 11, 't'): [0.7509881422924901, 'continue'],
 (17, 12, 'h'): [0.7575757575757576, 'continue'],
 (17, 12, 't'): [0.7467532467532467, 'continue'],
 (17, 13, 'h'): [0.7523809523809524, 'continue'],
 (17, 13, 't'): [0.7428571428571428, 'continue'],
 (17, 14, 'h'): [0.7473684210526315, 'continue'],
 (17, 14, 't'): [0.7394736842105263, 'continue'],
 (17, 15, 'h'): [0.7426900584795321, 'continue'],
 (17, 15, 't'): [0.7368421052631577, 'continue'],
 (17, 16, 'h'): [0.7385620915032678, 'continue'],
 (17, 16, 't'): [0.7352941176470587, 'continue'],
 (17, 17, 'h'): [0.7352941176470587, 'continue'],
 (17, 17, 't'): [0.7352941176470587, 'continue'],
 (17, 18, 'h'): [0.7333333333333332, 'continue'],
 (17, 18, 't'): [0.7374999999999998, 'continue'],
 (17, 19, 'h'): [0.7333333333333332, 'continue'],
 (17, 19, 't'): [0.7428571428571428, 'continue'],
 (17, 20, 'h'): [0.7362637362637361, 'continue'],
 (17, 20, 't'): [0.7527472527472527, 'continue'],
 (17, 21, 'h'): [0.7435897435897435, 'continue'],
 (17, 21, 't'): [0.7692307692307692, 'continue'],
 (17, 22, 'h'): [0.7575757575757575, 'continue'],
 (17, 22, 't'): [0.7954545454545454, 'continue'],
 (17, 23, 'h'): [0.7818181818181817, 'continue'],
 (17, 23, 't'): [0.8363636363636364, 'continue'],
 (17, 24, 'h'): [0.8222222222222223, 'continue'],
 (17, 24, 't'): [0.8999999999999999, 'continue'],
 (17, 25, 'h'): [0.8888888888888888, 'either'],
 (17, 25, 't'): [1.0, 'continue'],
 (17, 26, 'h'): [1, 'stop'],
 (17, 26, 't'): [1, 'stop'],
 (18, 0, 'h'): [0.8276515151515151, 'continue'],
 (18, 0, 't'): [0.8106060606060606, 'continue'],
 (18, 1, 'h'): [0.8235887096774194, 'continue'],
 (18, 1, 't'): [0.8064516129032258, 'continue'],
 (18, 2, 'h'): [0.8193548387096774, 'continue'],
 (18, 2, 't'): [0.8021505376344085, 'continue'],
 (18, 3, 'h'): [0.8149425287356322, 'continue'],
 (18, 3, 't'): [0.7977011494252872, 'continue'],
 (18, 4, 'h'): [0.8103448275862069, 'continue'],
 (18, 4, 't'): [0.7931034482758619, 'continue'],
 (18, 5, 'h'): [0.8055555555555556, 'continue'],
 (18, 5, 't'): [0.7883597883597881, 'continue'],
 (18, 6, 'h'): [0.8005698005698005, 'continue'],
 (18, 6, 't'): [0.7834757834757833, 'continue'],
 (18, 7, 'h'): [0.7953846153846152, 'continue'],
 (18, 7, 't'): [0.7784615384615383, 'continue'],
 (18, 8, 'h'): [0.7899999999999998, 'continue'],
 (18, 8, 't'): [0.7733333333333332, 'continue'],
 (18, 9, 'h'): [0.7844202898550723, 'continue'],
 (18, 9, 't'): [0.7681159420289853, 'continue'],
 (18, 10, 'h'): [0.7786561264822132, 'continue'],
 (18, 10, 't'): [0.7628458498023714, 'continue'],
 (18, 11, 'h'): [0.7727272727272725, 'continue'],
 (18, 11, 't'): [0.7575757575757576, 'continue'],
 (18, 12, 'h'): [0.7666666666666665, 'continue'],
 (18, 12, 't'): [0.7523809523809524, 'continue'],
 (18, 13, 'h'): [0.7605263157894736, 'continue'],
 (18, 13, 't'): [0.7473684210526315, 'continue'],
 (18, 14, 'h'): [0.7543859649122806, 'continue'],
 (18, 14, 't'): [0.7426900584795321, 'continue'],
 (18, 15, 'h'): [0.7483660130718954, 'continue'],
 (18, 15, 't'): [0.7385620915032678, 'continue'],
 (18, 16, 'h'): [0.7426470588235293, 'continue'],
 (18, 16, 't'): [0.7352941176470587, 'continue'],
 (18, 17, 'h'): [0.7374999999999998, 'continue'],
 (18, 17, 't'): [0.7333333333333332, 'continue'],
 (18, 18, 'h'): [0.7333333333333332, 'continue'],
 (18, 18, 't'): [0.7333333333333332, 'continue'],
 (18, 19, 'h'): [0.7307692307692306, 'continue'],
 (18, 19, 't'): [0.7362637362637361, 'continue'],
 (18, 20, 'h'): [0.7307692307692306, 'continue'],
 (18, 20, 't'): [0.7435897435897435, 'continue'],
 (18, 21, 'h'): [0.7348484848484848, 'continue'],
 (18, 21, 't'): [0.7575757575757575, 'continue'],
 (18, 22, 'h'): [0.7454545454545454, 'continue'],
 (18, 22, 't'): [0.7818181818181817, 'continue'],
 (18, 23, 'h'): [0.7666666666666666, 'continue'],
 (18, 23, 't'): [0.8222222222222223, 'continue'],
 (18, 24, 'h'): [0.8055555555555556, 'continue'],
 (18, 24, 't'): [0.8888888888888888, 'continue'],
 (18, 25, 'h'): [0.875, 'either'],
 (18, 25, 't'): [1.0, 'continue'],
 (18, 26, 'h'): [1, 'stop'],
 (18, 26, 't'): [1, 'stop'],
 (19, 0, 'h'): [0.842741935483871, 'continue'],
 (19, 0, 't'): [0.8235887096774194, 'continue'],
 (19, 1, 'h'): [0.8387096774193549, 'continue'],
 (19, 1, 't'): [0.8193548387096774, 'continue'],
 (19, 2, 'h'): [0.8344827586206898, 'continue'],
 (19, 2, 't'): [0.8149425287356322, 'continue'],
 (19, 3, 'h'): [0.830049261083744, 'continue'],
 (19, 3, 't'): [0.8103448275862069, 'continue'],
 (19, 4, 'h'): [0.8253968253968256, 'continue'],
 (19, 4, 't'): [0.8055555555555556, 'continue'],
 (19, 5, 'h'): [0.8205128205128207, 'continue'],
 (19, 5, 't'): [0.8005698005698005, 'continue'],
 (19, 6, 'h'): [0.8153846153846156, 'continue'],
 (19, 6, 't'): [0.7953846153846152, 'continue'],
 (19, 7, 'h'): [0.81, 'continue'],
 (19, 7, 't'): [0.7899999999999998, 'continue'],
 (19, 8, 'h'): [0.8043478260869565, 'continue'],
 (19, 8, 't'): [0.7844202898550723, 'continue'],
 (19, 9, 'h'): [0.7984189723320158, 'continue'],
 (19, 9, 't'): [0.7786561264822132, 'continue'],
 (19, 10, 'h'): [0.7922077922077921, 'continue'],
 (19, 10, 't'): [0.7727272727272725, 'continue'],
 (19, 11, 'h'): [0.7857142857142856, 'continue'],
 (19, 11, 't'): [0.7666666666666665, 'continue'],
 (19, 12, 'h'): [0.7789473684210525, 'continue'],
 (19, 12, 't'): [0.7605263157894736, 'continue'],
 (19, 13, 'h'): [0.7719298245614034, 'continue'],
 (19, 13, 't'): [0.7543859649122806, 'continue'],
 (19, 14, 'h'): [0.7647058823529411, 'continue'],
 (19, 14, 't'): [0.7483660130718954, 'continue'],
 (19, 15, 'h'): [0.7573529411764706, 'continue'],
 (19, 15, 't'): [0.7426470588235293, 'continue'],
 (19, 16, 'h'): [0.75, 'continue'],
 (19, 16, 't'): [0.7374999999999998, 'continue'],
 (19, 17, 'h'): [0.7428571428571428, 'continue'],
 (19, 17, 't'): [0.7333333333333332, 'continue'],
 (19, 18, 'h'): [0.7362637362637361, 'continue'],
 (19, 18, 't'): [0.7307692307692306, 'continue'],
 (19, 19, 'h'): [0.7307692307692306, 'continue'],
 (19, 19, 't'): [0.7307692307692306, 'continue'],
 (19, 20, 'h'): [0.7272727272727271, 'continue'],
 (19, 20, 't'): [0.7348484848484848, 'continue'],
 (19, 21, 'h'): [0.7272727272727271, 'continue'],
 (19, 21, 't'): [0.7454545454545454, 'continue'],
 (19, 22, 'h'): [0.7333333333333332, 'continue'],
 (19, 22, 't'): [0.7666666666666666, 'continue'],
 (19, 23, 'h'): [0.7499999999999999, 'continue'],
 (19, 23, 't'): [0.8055555555555556, 'continue'],
 (19, 24, 'h'): [0.7857142857142857, 'continue'],
 (19, 24, 't'): [0.875, 'continue'],
 (19, 25, 'h'): [0.8571428571428572, 'continue'],
 (19, 25, 't'): [1.0, 'continue'],
 (19, 26, 'h'): [1, 'stop'],
 (19, 26, 't'): [1, 'stop'],
 (20, 0, 'h'): [0.8602150537634408, 'continue'],
 (20, 0, 't'): [0.8387096774193549, 'continue'],
 (20, 1, 'h'): [0.8563218390804597, 'continue'],
 (20, 1, 't'): [0.8344827586206898, 'continue'],
 (20, 2, 'h'): [0.8522167487684729, 'continue'],
 (20, 2, 't'): [0.830049261083744, 'continue'],
 (20, 3, 'h'): [0.8478835978835979, 'continue'],
 (20, 3, 't'): [0.8253968253968256, 'continue'],
 (20, 4, 'h'): [0.8433048433048433, 'continue'],
 (20, 4, 't'): [0.8205128205128207, 'continue'],
 (20, 5, 'h'): [0.8384615384615386, 'continue'],
 (20, 5, 't'): [0.8153846153846156, 'continue'],
 (20, 6, 'h'): [0.8333333333333335, 'continue'],
 (20, 6, 't'): [0.81, 'continue'],
 (20, 7, 'h'): [0.8278985507246377, 'continue'],
 (20, 7, 't'): [0.8043478260869565, 'continue'],
 (20, 8, 'h'): [0.8221343873517787, 'continue'],
 (20, 8, 't'): [0.7984189723320158, 'continue'],
 (20, 9, 'h'): [0.816017316017316, 'continue'],
 (20, 9, 't'): [0.7922077922077921, 'continue'],
 (20, 10, 'h'): [0.8095238095238095, 'continue'],
 (20, 10, 't'): [0.7857142857142856, 'continue'],
 (20, 11, 'h'): [0.8026315789473684, 'continue'],
 (20, 11, 't'): [0.7789473684210525, 'continue'],
 (20, 12, 'h'): [0.7953216374269004, 'continue'],
 (20, 12, 't'): [0.7719298245614034, 'continue'],
 (20, 13, 'h'): [0.7875816993464051, 'continue'],
 (20, 13, 't'): [0.7647058823529411, 'continue'],
 (20, 14, 'h'): [0.7794117647058822, 'continue'],
 (20, 14, 't'): [0.7573529411764706, 'continue'],
 (20, 15, 'h'): [0.7708333333333333, 'continue'],
 (20, 15, 't'): [0.75, 'continue'],
 (20, 16, 'h'): [0.7619047619047619, 'continue'],
 (20, 16, 't'): [0.7428571428571428, 'continue'],
 (20, 17, 'h'): [0.7527472527472527, 'continue'],
 (20, 17, 't'): [0.7362637362637361, 'continue'],
 (20, 18, 'h'): [0.7435897435897435, 'continue'],
 (20, 18, 't'): [0.7307692307692306, 'continue'],
 (20, 19, 'h'): [0.7348484848484848, 'continue'],
 (20, 19, 't'): [0.7272727272727271, 'continue'],
 (20, 20, 'h'): [0.7272727272727271, 'continue'],
 (20, 20, 't'): [0.7272727272727271, 'continue'],
 (20, 21, 'h'): [0.7222222222222221, 'continue'],
 (20, 21, 't'): [0.7333333333333332, 'continue'],
 (20, 22, 'h'): [0.7222222222222221, 'continue'],
 (20, 22, 't'): [0.7499999999999999, 'continue'],
 (20, 23, 'h'): [0.7321428571428571, 'continue'],
 (20, 23, 't'): [0.7857142857142857, 'continue'],
 (20, 24, 'h'): [0.7619047619047619, 'continue'],
 (20, 24, 't'): [0.8571428571428572, 'continue'],
 (20, 25, 'h'): [0.8333333333333334, 'either'],
 (20, 25, 't'): [1.0, 'continue'],
 (20, 26, 'h'): [1, 'stop'],
 (20, 26, 't'): [1, 'stop'],
 (21, 0, 'h'): [0.8804597701149424, 'continue'],
 (21, 0, 't'): [0.8563218390804597, 'continue'],
 (21, 1, 'h'): [0.8768472906403939, 'continue'],
 (21, 1, 't'): [0.8522167487684729, 'continue'],
 (21, 2, 'h'): [0.8730158730158729, 'continue'],
 (21, 2, 't'): [0.8478835978835979, 'continue'],
 (21, 3, 'h'): [0.8689458689458689, 'continue'],
 (21, 3, 't'): [0.8433048433048433, 'continue'],
 (21, 4, 'h'): [0.8646153846153846, 'continue'],
 (21, 4, 't'): [0.8384615384615386, 'continue'],
 (21, 5, 'h'): [0.86, 'continue'],
 (21, 5, 't'): [0.8333333333333335, 'continue'],
 (21, 6, 'h'): [0.855072463768116, 'continue'],
 (21, 6, 't'): [0.8278985507246377, 'continue'],
 (21, 7, 'h'): [0.849802371541502, 'continue'],
 (21, 7, 't'): [0.8221343873517787, 'continue'],
 (21, 8, 'h'): [0.8441558441558442, 'continue'],
 (21, 8, 't'): [0.816017316017316, 'continue'],
 (21, 9, 'h'): [0.8380952380952382, 'continue'],
 (21, 9, 't'): [0.8095238095238095, 'continue'],
 (21, 10, 'h'): [0.8315789473684212, 'continue'],
 (21, 10, 't'): [0.8026315789473684, 'continue'],
 (21, 11, 'h'): [0.824561403508772, 'continue'],
 (21, 11, 't'): [0.7953216374269004, 'continue'],
 (21, 12, 'h'): [0.8169934640522876, 'continue'],
 (21, 12, 't'): [0.7875816993464051, 'continue'],
 (21, 13, 'h'): [0.8088235294117646, 'continue'],
 (21, 13, 't'): [0.7794117647058822, 'continue'],
 (21, 14, 'h'): [0.7999999999999999, 'continue'],
 (21, 14, 't'): [0.7708333333333333, 'continue'],
 (21, 15, 'h'): [0.7904761904761903, 'continue'],
 (21, 15, 't'): [0.7619047619047619, 'continue'],
 (21, 16, 'h'): [0.7802197802197801, 'continue'],
 (21, 16, 't'): [0.7527472527472527, 'continue'],
 (21, 17, 'h'): [0.7692307692307692, 'continue'],
 (21, 17, 't'): [0.7435897435897435, 'continue'],
 (21, 18, 'h'): [0.7575757575757575, 'continue'],
 (21, 18, 't'): [0.7348484848484848, 'continue'],
 (21, 19, 'h'): [0.7454545454545454, 'continue'],
 (21, 19, 't'): [0.7272727272727271, 'continue'],
 (21, 20, 'h'): [0.7333333333333332, 'continue'],
 (21, 20, 't'): [0.7222222222222221, 'continue'],
 (21, 21, 'h'): [0.7222222222222221, 'continue'],
 (21, 21, 't'): [0.7222222222222221, 'continue'],
 (21, 22, 'h'): [0.7142857142857142, 'continue'],
 (21, 22, 't'): [0.7321428571428571, 'continue'],
 (21, 23, 'h'): [0.7142857142857142, 'continue'],
 (21, 23, 't'): [0.7619047619047619, 'continue'],
 (21, 24, 'h'): [0.7333333333333333, 'continue'],
 (21, 24, 't'): [0.8333333333333334, 'continue'],
 (21, 25, 'h'): [0.8, 'either'],
 (21, 25, 't'): [1.0, 'continue'],
 (21, 26, 'h'): [1, 'stop'],
 (21, 26, 't'): [1, 'stop'],
 (22, 0, 'h'): [0.9039408866995072, 'continue'],
 (22, 0, 't'): [0.8768472906403939, 'continue'],
 (22, 1, 'h'): [0.9007936507936506, 'continue'],
 (22, 1, 't'): [0.8730158730158729, 'continue'],
 (22, 2, 'h'): [0.8974358974358972, 'continue'],
 (22, 2, 't'): [0.8689458689458689, 'continue'],
 (22, 3, 'h'): [0.8938461538461537, 'continue'],
 (22, 3, 't'): [0.8646153846153846, 'continue'],
 (22, 4, 'h'): [0.8899999999999999, 'continue'],
 (22, 4, 't'): [0.86, 'continue'],
 (22, 5, 'h'): [0.8858695652173911, 'continue'],
 (22, 5, 't'): [0.855072463768116, 'continue'],
 (22, 6, 'h'): [0.8814229249011856, 'continue'],
 (22, 6, 't'): [0.849802371541502, 'continue'],
 (22, 7, 'h'): [0.8766233766233764, 'continue'],
 (22, 7, 't'): [0.8441558441558442, 'continue'],
 (22, 8, 'h'): [0.8714285714285712, 'continue'],
 (22, 8, 't'): [0.8380952380952382, 'continue'],
 (22, 9, 'h'): [0.8657894736842104, 'continue'],
 (22, 9, 't'): [0.8315789473684212, 'continue'],
 (22, 10, 'h'): [0.8596491228070176, 'continue'],
 (22, 10, 't'): [0.824561403508772, 'continue'],
 (22, 11, 'h'): [0.8529411764705883, 'continue'],
 (22, 11, 't'): [0.8169934640522876, 'continue'],
 (22, 12, 'h'): [0.8455882352941176, 'continue'],
 (22, 12, 't'): [0.8088235294117646, 'continue'],
 (22, 13, 'h'): [0.8375, 'continue'],
 (22, 13, 't'): [0.7999999999999999, 'continue'],
 (22, 14, 'h'): [0.8285714285714286, 'continue'],
 (22, 14, 't'): [0.7904761904761903, 'continue'],
 (22, 15, 'h'): [0.8186813186813187, 'continue'],
 (22, 15, 't'): [0.7802197802197801, 'continue'],
 (22, 16, 'h'): [0.8076923076923077, 'continue'],
 (22, 16, 't'): [0.7692307692307692, 'continue'],
 (22, 17, 'h'): [0.7954545454545454, 'continue'],
 (22, 17, 't'): [0.7575757575757575, 'continue'],
 (22, 18, 'h'): [0.7818181818181817, 'continue'],
 (22, 18, 't'): [0.7454545454545454, 'continue'],
 (22, 19, 'h'): [0.7666666666666666, 'continue'],
 (22, 19, 't'): [0.7333333333333332, 'continue'],
 (22, 20, 'h'): [0.7499999999999999, 'continue'],
 (22, 20, 't'): [0.7222222222222221, 'continue'],
 (22, 21, 'h'): [0.7321428571428571, 'continue'],
 (22, 21, 't'): [0.7142857142857142, 'continue'],
 (22, 22, 'h'): [0.7142857142857142, 'continue'],
 (22, 22, 't'): [0.7142857142857142, 'continue'],
 (22, 23, 'h'): [0.7, 'continue'],
 (22, 23, 't'): [0.7333333333333333, 'continue'],
 (22, 24, 'h'): [0.7, 'continue'],
 (22, 24, 't'): [0.8, 'continue'],
 (22, 25, 'h'): [0.75, 'either'],
 (22, 25, 't'): [1.0, 'continue'],
 (22, 26, 'h'): [1, 'stop'],
 (22, 26, 't'): [1, 'stop'],
 (23, 0, 'h'): [0.9312169312169312, 'continue'],
 (23, 0, 't'): [0.9007936507936506, 'continue'],
 (23, 1, 'h'): [0.9287749287749287, 'continue'],
 (23, 1, 't'): [0.8974358974358972, 'continue'],
 (23, 2, 'h'): [0.9261538461538461, 'continue'],
 (23, 2, 't'): [0.8938461538461537, 'continue'],
 (23, 3, 'h'): [0.9233333333333331, 'continue'],
 (23, 3, 't'): [0.8899999999999999, 'continue'],
 (23, 4, 'h'): [0.9202898550724635, 'continue'],
 (23, 4, 't'): [0.8858695652173911, 'continue'],
 (23, 5, 'h'): [0.9169960474308297, 'continue'],
 (23, 5, 't'): [0.8814229249011856, 'continue'],
 (23, 6, 'h'): [0.9134199134199132, 'continue'],
 (23, 6, 't'): [0.8766233766233764, 'continue'],
 (23, 7, 'h'): [0.9095238095238094, 'continue'],
 (23, 7, 't'): [0.8714285714285712, 'continue'],
 (23, 8, 'h'): [0.9052631578947367, 'continue'],
 (23, 8, 't'): [0.8657894736842104, 'continue'],
 (23, 9, 'h'): [0.9005847953216373, 'continue'],
 (23, 9, 't'): [0.8596491228070176, 'continue'],
 (23, 10, 'h'): [0.895424836601307, 'continue'],
 (23, 10, 't'): [0.8529411764705883, 'continue'],
 (23, 11, 'h'): [0.8897058823529411, 'continue'],
 (23, 11, 't'): [0.8455882352941176, 'continue'],
 (23, 12, 'h'): [0.8833333333333333, 'continue'],
 (23, 12, 't'): [0.8375, 'continue'],
 (23, 13, 'h'): [0.8761904761904762, 'continue'],
 (23, 13, 't'): [0.8285714285714286, 'continue'],
 (23, 14, 'h'): [0.8681318681318682, 'continue'],
 (23, 14, 't'): [0.8186813186813187, 'continue'],
 (23, 15, 'h'): [0.858974358974359, 'continue'],
 (23, 15, 't'): [0.8076923076923077, 'continue'],
 (23, 16, 'h'): [0.8484848484848485, 'continue'],
 (23, 16, 't'): [0.7954545454545454, 'continue'],
 (23, 17, 'h'): [0.8363636363636364, 'continue'],
 (23, 17, 't'): [0.7818181818181817, 'continue'],
 (23, 18, 'h'): [0.8222222222222223, 'continue'],
 (23, 18, 't'): [0.7666666666666666, 'continue'],
 (23, 19, 'h'): [0.8055555555555556, 'continue'],
 (23, 19, 't'): [0.7499999999999999, 'continue'],
 (23, 20, 'h'): [0.7857142857142857, 'continue'],
 (23, 20, 't'): [0.7321428571428571, 'continue'],
 (23, 21, 'h'): [0.7619047619047619, 'continue'],
 (23, 21, 't'): [0.7142857142857142, 'continue'],
 (23, 22, 'h'): [0.7333333333333333, 'continue'],
 (23, 22, 't'): [0.7, 'continue'],
 (23, 23, 'h'): [0.7, 'continue'],
 (23, 23, 't'): [0.7, 'continue'],
 (23, 24, 'h'): [0.6666666666666666, 'continue'],
 (23, 24, 't'): [0.75, 'continue'],
 (23, 25, 'h'): [0.6666666666666666, 'either'],
 (23, 25, 't'): [1.0, 'continue'],
 (23, 26, 'h'): [1, 'stop'],
 (23, 26, 't'): [1, 'stop'],
 (24, 0, 'h'): [0.962962962962963, 'continue'],
 (24, 0, 't'): [0.9287749287749287, 'continue'],
 (24, 1, 'h'): [0.9615384615384616, 'continue'],
 (24, 1, 't'): [0.9261538461538461, 'continue'],
 (24, 2, 'h'): [0.9600000000000001, 'continue'],
 (24, 2, 't'): [0.9233333333333331, 'continue'],
 (24, 3, 'h'): [0.9583333333333334, 'continue'],
 (24, 3, 't'): [0.9202898550724635, 'continue'],
 (24, 4, 'h'): [0.9565217391304348, 'continue'],
 (24, 4, 't'): [0.9169960474308297, 'continue'],
 (24, 5, 'h'): [0.9545454545454545, 'continue'],
 (24, 5, 't'): [0.9134199134199132, 'continue'],
 (24, 6, 'h'): [0.9523809523809523, 'continue'],
 (24, 6, 't'): [0.9095238095238094, 'continue'],
 (24, 7, 'h'): [0.95, 'continue'],
 (24, 7, 't'): [0.9052631578947367, 'continue'],
 (24, 8, 'h'): [0.9473684210526314, 'continue'],
 (24, 8, 't'): [0.9005847953216373, 'continue'],
 (24, 9, 'h'): [0.9444444444444444, 'continue'],
 (24, 9, 't'): [0.895424836601307, 'continue'],
 (24, 10, 'h'): [0.9411764705882353, 'continue'],
 (24, 10, 't'): [0.8897058823529411, 'continue'],
 (24, 11, 'h'): [0.9375, 'continue'],
 (24, 11, 't'): [0.8833333333333333, 'continue'],
 (24, 12, 'h'): [0.9333333333333333, 'continue'],
 (24, 12, 't'): [0.8761904761904762, 'continue'],
 (24, 13, 'h'): [0.9285714285714286, 'continue'],
 (24, 13, 't'): [0.8681318681318682, 'continue'],
 (24, 14, 'h'): [0.9230769230769231, 'continue'],
 (24, 14, 't'): [0.858974358974359, 'continue'],
 (24, 15, 'h'): [0.9166666666666666, 'continue'],
 (24, 15, 't'): [0.8484848484848485, 'continue'],
 (24, 16, 'h'): [0.9090909090909091, 'continue'],
 (24, 16, 't'): [0.8363636363636364, 'continue'],
 (24, 17, 'h'): [0.8999999999999999, 'continue'],
 (24, 17, 't'): [0.8222222222222223, 'continue'],
 (24, 18, 'h'): [0.8888888888888888, 'continue'],
 (24, 18, 't'): [0.8055555555555556, 'continue'],
 (24, 19, 'h'): [0.875, 'continue'],
 (24, 19, 't'): [0.7857142857142857, 'continue'],
 (24, 20, 'h'): [0.8571428571428572, 'continue'],
 (24, 20, 't'): [0.7619047619047619, 'continue'],
 (24, 21, 'h'): [0.8333333333333334, 'continue'],
 (24, 21, 't'): [0.7333333333333333, 'continue'],
 (24, 22, 'h'): [0.8, 'continue'],
 (24, 22, 't'): [0.7, 'continue'],
 (24, 23, 'h'): [0.75, 'continue'],
 (24, 23, 't'): [0.6666666666666666, 'continue'],
 (24, 24, 'h'): [0.6666666666666666, 'continue'],
 (24, 24, 't'): [0.6666666666666666, 'continue'],
 (24, 25, 'h'): [0.5, 'stop'],
 (24, 25, 't'): [1.0, 'continue'],
 (24, 26, 'h'): [1, 'stop'],
 (24, 26, 't'): [1, 'stop'],
 (25, 0, 'h'): [1.0, 'continue'],
 (25, 0, 't'): [0.9615384615384616, 'either'],
 (25, 1, 'h'): [1.0, 'continue'],
 (25, 1, 't'): [0.9600000000000001, 'continue'],
 (25, 2, 'h'): [1.0, 'continue'],
 (25, 2, 't'): [0.9583333333333334, 'either'],
 (25, 3, 'h'): [1.0, 'continue'],
 (25, 3, 't'): [0.9565217391304348, 'either'],
 (25, 4, 'h'): [1.0, 'continue'],
 (25, 4, 't'): [0.9545454545454546, 'stop'],
 (25, 5, 'h'): [1.0, 'continue'],
 (25, 5, 't'): [0.9523809523809523, 'either'],
 (25, 6, 'h'): [1.0, 'continue'],
 (25, 6, 't'): [0.95, 'either'],
 (25, 7, 'h'): [1.0, 'continue'],
 (25, 7, 't'): [0.9473684210526315, 'stop'],
 (25, 8, 'h'): [1.0, 'continue'],
 (25, 8, 't'): [0.9444444444444444, 'either'],
 (25, 9, 'h'): [1.0, 'continue'],
 (25, 9, 't'): [0.9411764705882353, 'either'],
 (25, 10, 'h'): [1.0, 'continue'],
 (25, 10, 't'): [0.9375, 'either'],
 (25, 11, 'h'): [1.0, 'continue'],
 (25, 11, 't'): [0.9333333333333333, 'either'],
 (25, 12, 'h'): [1.0, 'continue'],
 (25, 12, 't'): [0.9285714285714286, 'either'],
 (25, 13, 'h'): [1.0, 'continue'],
 (25, 13, 't'): [0.9230769230769231, 'either'],
 (25, 14, 'h'): [1.0, 'continue'],
 (25, 14, 't'): [0.9166666666666666, 'either'],
 (25, 15, 'h'): [1.0, 'continue'],
 (25, 15, 't'): [0.9090909090909091, 'either'],
 (25, 16, 'h'): [1.0, 'continue'],
 (25, 16, 't'): [0.9, 'stop'],
 (25, 17, 'h'): [1.0, 'continue'],
 (25, 17, 't'): [0.8888888888888888, 'either'],
 (25, 18, 'h'): [1.0, 'continue'],
 (25, 18, 't'): [0.875, 'either'],
 (25, 19, 'h'): [1.0, 'continue'],
 (25, 19, 't'): [0.8571428571428572, 'continue'],
 (25, 20, 'h'): [1.0, 'continue'],
 (25, 20, 't'): [0.8333333333333334, 'either'],
 (25, 21, 'h'): [1.0, 'continue'],
 (25, 21, 't'): [0.8, 'either'],
 (25, 22, 'h'): [1.0, 'continue'],
 (25, 22, 't'): [0.75, 'either'],
 (25, 23, 'h'): [1.0, 'continue'],
 (25, 23, 't'): [0.6666666666666666, 'either'],
 (25, 24, 'h'): [1.0, 'continue'],
 (25, 24, 't'): [0.5, 'stop'],
 (25, 25, 'h'): [0, 'stop'],
 (25, 25, 't'): [0, 'stop'],
 (26, 0, 'h'): [1, 'stop'],
 (26, 0, 't'): [1, 'stop'],
 (26, 1, 'h'): [1, 'stop'],
 (26, 1, 't'): [1, 'stop'],
 (26, 2, 'h'): [1, 'stop'],
 (26, 2, 't'): [1, 'stop'],
 (26, 3, 'h'): [1, 'stop'],
 (26, 3, 't'): [1, 'stop'],
 (26, 4, 'h'): [1, 'stop'],
 (26, 4, 't'): [1, 'stop'],
 (26, 5, 'h'): [1, 'stop'],
 (26, 5, 't'): [1, 'stop'],
 (26, 6, 'h'): [1, 'stop'],
 (26, 6, 't'): [1, 'stop'],
 (26, 7, 'h'): [1, 'stop'],
 (26, 7, 't'): [1, 'stop'],
 (26, 8, 'h'): [1, 'stop'],
 (26, 8, 't'): [1, 'stop'],
 (26, 9, 'h'): [1, 'stop'],
 (26, 9, 't'): [1, 'stop'],
 (26, 10, 'h'): [1, 'stop'],
 (26, 10, 't'): [1, 'stop'],
 (26, 11, 'h'): [1, 'stop'],
 (26, 11, 't'): [1, 'stop'],
 (26, 12, 'h'): [1, 'stop'],
 (26, 12, 't'): [1, 'stop'],
 (26, 13, 'h'): [1, 'stop'],
 (26, 13, 't'): [1, 'stop'],
 (26, 14, 'h'): [1, 'stop'],
 (26, 14, 't'): [1, 'stop'],
 (26, 15, 'h'): [1, 'stop'],
 (26, 15, 't'): [1, 'stop'],
 (26, 16, 'h'): [1, 'stop'],
 (26, 16, 't'): [1, 'stop'],
 (26, 17, 'h'): [1, 'stop'],
 (26, 17, 't'): [1, 'stop'],
 (26, 18, 'h'): [1, 'stop'],
 (26, 18, 't'): [1, 'stop'],
 (26, 19, 'h'): [1, 'stop'],
 (26, 19, 't'): [1, 'stop'],
 (26, 20, 'h'): [1, 'stop'],
 (26, 20, 't'): [1, 'stop'],
 (26, 21, 'h'): [1, 'stop'],
 (26, 21, 't'): [1, 'stop'],
 (26, 22, 'h'): [1, 'stop'],
 (26, 22, 't'): [1, 'stop'],
 (26, 23, 'h'): [1, 'stop'],
 (26, 23, 't'): [1, 'stop'],
 (26, 24, 'h'): [1, 'stop'],
 (26, 24, 't'): [1, 'stop']}