intro2ai/p4_tracking/test_cases/q2/2-ExactElapse.solution

81 lines
38 KiB
Plaintext

# move_number action likelihood_dictionary
correctActions: """
0 None [{(2, 7): 0.0588235294118, (4, 7): 0.0588235294118, (1, 3): 0.0588235294118, (3, 3): 0.0588235294118, (1, 6): 0.0588235294118, (5, 6): 0.0588235294118, (5, 7): 0.0588235294118, (5, 4): 0.0588235294118, (1, 4): 0.0588235294118, (1, 5): 0.0588235294118, (3, 5): 0.0588235294118, (2, 3): 0.0588235294118, (4, 3): 0.0588235294118, (1, 7): 0.0588235294118, (3, 7): 0.0588235294118, (5, 3): 0.0588235294118, (5, 5): 0.0588235294118, }, ]
1 Stop [{(2, 7): 0.0588235294118, (4, 7): 0.0588235294118, (1, 3): 0.0588235294118, (3, 3): 0.0588235294118, (1, 6): 0.0588235294118, (5, 6): 0.0588235294118, (5, 7): 0.0588235294118, (5, 4): 0.0588235294118, (1, 4): 0.0588235294118, (1, 5): 0.0588235294118, (3, 5): 0.0588235294118, (2, 3): 0.0588235294118, (4, 3): 0.0588235294118, (1, 7): 0.0588235294118, (3, 7): 0.0588235294118, (5, 3): 0.0588235294118, (5, 5): 0.0588235294118, }, ]
2 Stop [{(2.0, 7.0): 0.0539215686275, (4.0, 7.0): 0.0539215686275, (1.0, 3.0): 0.0686274509804, (3.0, 3.0): 0.0588235294118, (1.0, 6.0): 0.0588235294118, (5.0, 6.0): 0.0588235294118, (5.0, 7.0): 0.0490196078431, (5.0, 4.0): 0.0637254901961, (1.0, 4.0): 0.0637254901961, (1.0, 5.0): 0.0588235294118, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0588235294118, (4.0, 3.0): 0.0588235294118, (1.0, 7.0): 0.0490196078431, (3.0, 7.0): 0.0588235294118, (5.0, 3.0): 0.0686274509804, (5.0, 5.0): 0.0588235294118, }, ]
3 Stop [{(2.0, 7.0): 0.0498366013072, (4.0, 7.0): 0.0498366013072, (1.0, 3.0): 0.0743464052288, (3.0, 3.0): 0.0588235294118, (1.0, 6.0): 0.0539215686275, (5.0, 6.0): 0.0539215686275, (5.0, 7.0): 0.0449346405229, (5.0, 4.0): 0.0682189542484, (1.0, 4.0): 0.0682189542484, (1.0, 5.0): 0.0600490196078, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.062091503268, (4.0, 3.0): 0.062091503268, (1.0, 7.0): 0.0449346405229, (3.0, 7.0): 0.0555555555556, (5.0, 3.0): 0.0743464052288, (5.0, 5.0): 0.0600490196078, }, ]
4 Stop [{(2.0, 7.0): 0.046364379085, (4.0, 7.0): 0.046364379085, (1.0, 3.0): 0.0795887799564, (3.0, 3.0): 0.0610021786492, (1.0, 6.0): 0.0509599673203, (5.0, 6.0): 0.0509599673203, (5.0, 7.0): 0.0413262527233, (5.0, 4.0): 0.0718613834423, (1.0, 4.0): 0.0718613834423, (1.0, 5.0): 0.0590277777778, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0650871459695, (4.0, 3.0): 0.0650871459695, (1.0, 7.0): 0.0413262527233, (3.0, 7.0): 0.05174291939, (5.0, 3.0): 0.0795887799564, (5.0, 5.0): 0.0590277777778, }, ]
5 Stop [{(2.0, 7.0): 0.0430339960058, (4.0, 7.0): 0.0430339960058, (1.0, 3.0): 0.0841560003631, (3.0, 3.0): 0.0637254901961, (1.0, 6.0): 0.0481600626362, (5.0, 6.0): 0.0481600626362, (5.0, 7.0): 0.0385263480392, (5.0, 4.0): 0.0740088280683, (1.0, 4.0): 0.0740088280683, (1.0, 5.0): 0.0582022739651, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0685593681917, (4.0, 3.0): 0.0685593681917, (1.0, 7.0): 0.0385263480392, (3.0, 7.0): 0.0481572258533, (5.0, 3.0): 0.0841560003631, (5.0, 5.0): 0.0582022739651, }, ]
6 Stop [{(2.0, 7.0): 0.0400286609628, (4.0, 7.0): 0.0400286609628, (1.0, 3.0): 0.0879095368857, (3.0, 3.0): 0.0669480755265, (1.0, 6.0): 0.0458537581699, (5.0, 6.0): 0.0458537581699, (5.0, 7.0): 0.0360162680041, (5.0, 4.0): 0.0756553441207, (1.0, 4.0): 0.0756553441207, (1.0, 5.0): 0.0571328068264, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.072146952917, (4.0, 3.0): 0.072146952917, (1.0, 7.0): 0.0360162680041, (3.0, 7.0): 0.0447417392883, (5.0, 3.0): 0.0879095368857, (5.0, 5.0): 0.0571328068264, }, ]
7 Stop [{(2.0, 7.0): 0.0372608670847, (4.0, 7.0): 0.0372608670847, (1.0, 3.0): 0.0911798353279, (3.0, 3.0): 0.0704139937868, (1.0, 6.0): 0.0437547752511, (5.0, 6.0): 0.0437547752511, (5.0, 7.0): 0.0338103935311, (5.0, 4.0): 0.0767834184053, (1.0, 4.0): 0.0767834184053, (1.0, 5.0): 0.0561239168217, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0756681884431, (4.0, 3.0): 0.0756681884431, (1.0, 7.0): 0.0338103935311, (3.0, 7.0): 0.0415996870713, (5.0, 3.0): 0.0911798353279, (5.0, 5.0): 0.0561239168217, }, ]
8 Stop [{(2.0, 7.0): 0.0347394497681, (4.0, 7.0): 0.0347394497681, (1.0, 3.0): 0.0940077171263, (3.0, 3.0): 0.0739167902243, (1.0, 6.0): 0.0418748697838, (5.0, 6.0): 0.0418748697838, (5.0, 7.0): 0.0318115812238, (5.0, 4.0): 0.0776510914548, (1.0, 4.0): 0.0776510914548, (1.0, 5.0): 0.0551042214323, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0790873391859, (4.0, 3.0): 0.0790873391859, (1.0, 7.0): 0.0318115812238, (3.0, 7.0): 0.0387071404136, (5.0, 3.0): 0.0940077171263, (5.0, 5.0): 0.0551042214323, }, ]
9 Stop [{(2.0, 7.0): 0.0324350920332, (4.0, 7.0): 0.0324350920332, (1.0, 3.0): 0.0965238978315, (3.0, 3.0): 0.0773638228654, (1.0, 6.0): 0.0401505634159, (5.0, 6.0): 0.0401505634159, (5.0, 7.0): 0.0300014293413, (5.0, 4.0): 0.0783007892886, (1.0, 4.0): 0.0783007892886, (1.0, 5.0): 0.0541262631137, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0823372821789, (4.0, 3.0): 0.0823372821789, (1.0, 7.0): 0.0300014293413, (3.0, 7.0): 0.0360620133166, (5.0, 3.0): 0.0965238978315, (5.0, 5.0): 0.0541262631137, }, ]
10 Stop [{(2.0, 7.0): 0.0303327257853, (4.0, 7.0): 0.0303327257853, (1.0, 3.0): 0.0987707879811, (3.0, 3.0): 0.0806794624077, (1.0, 6.0): 0.038569921303, (5.0, 6.0): 0.038569921303, (5.0, 7.0): 0.0283496955337, (5.0, 4.0): 0.0788129614895, (1.0, 4.0): 0.0788129614895, (1.0, 5.0): 0.0531820448086, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0854083342919, (4.0, 3.0): 0.0854083342919, (1.0, 7.0): 0.0283496955337, (3.0, 7.0): 0.0336440657943, (5.0, 3.0): 0.0987707879811, (5.0, 5.0): 0.0531820448086, }, ]
11 Stop [{(2.0, 7.0): 0.0284130210766, (4.0, 7.0): 0.0284130210766, (1.0, 3.0): 0.100799521502, (3.0, 3.0): 0.0838320436638, (1.0, 6.0): 0.0371128392948, (5.0, 6.0): 0.0371128392948, (5.0, 7.0): 0.0268408128043, (5.0, 4.0): 0.0792178587704, (1.0, 4.0): 0.0792178587704, (1.0, 5.0): 0.052283712226, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0882861948936, (4.0, 3.0): 0.0882861948936, (1.0, 7.0): 0.0268408128043, (3.0, 7.0): 0.0314365057883, (5.0, 3.0): 0.100799521502, (5.0, 5.0): 0.052283712226, }, ]
12 Stop [{(2.0, 7.0): 0.0266600454894, (4.0, 7.0): 0.0266600454894, (1.0, 3.0): 0.102637501517, (3.0, 3.0): 0.086801477817, (1.0, 6.0): 0.0357695442823, (5.0, 6.0): 0.0357695442823, (5.0, 7.0): 0.0254594200503, (5.0, 4.0): 0.0795461613064, (1.0, 4.0): 0.0795461613064, (1.0, 5.0): 0.0514318123965, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0909725866866, (4.0, 3.0): 0.0909725866866, (1.0, 7.0): 0.0254594200503, (3.0, 7.0): 0.0294208493139, (5.0, 3.0): 0.102637501517, (5.0, 5.0): 0.0514318123965, }, ]
13 Stop [{(2.0, 7.0): 0.0250584866137, (4.0, 7.0): 0.0250584866137, (1.0, 3.0): 0.104309776721, (3.0, 3.0): 0.0895822170634, (1.0, 6.0): 0.0345300491949, (5.0, 6.0): 0.0345300491949, (5.0, 7.0): 0.024193922913, (5.0, 4.0): 0.0798149470306, (1.0, 4.0): 0.0798149470306, (1.0, 5.0): 0.0506292655669, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0934705220069, (4.0, 3.0): 0.0934705220069, (1.0, 7.0): 0.024193922913, (3.0, 7.0): 0.0275803134309, (5.0, 3.0): 0.104309776721, (5.0, 5.0): 0.0506292655669, }, ]
14 Stop [{(2.0, 7.0): 0.0235947474097, (4.0, 7.0): 0.0235947474097, (1.0, 3.0): 0.105834239758, (3.0, 3.0): 0.0921744203591, (1.0, 6.0): 0.0333867901469, (5.0, 6.0): 0.0333867901469, (5.0, 7.0): 0.0230338218982, (5.0, 4.0): 0.0800382951148, (1.0, 4.0): 0.0800382951148, (1.0, 5.0): 0.0498760777468, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0957875052638, (4.0, 3.0): 0.0957875052638, (1.0, 7.0): 0.0230338218982, (3.0, 7.0): 0.0258990955527, (5.0, 3.0): 0.105834239758, (5.0, 5.0): 0.0498760777468, }, ]
15 Stop [{(2.0, 7.0): 0.0222564031287, (4.0, 7.0): 0.0222564031287, (1.0, 3.0): 0.107226395898, (3.0, 3.0): 0.0945831436289, (1.0, 6.0): 0.0323326279225, (5.0, 6.0): 0.0323326279225, (5.0, 7.0): 0.0219700688145, (5.0, 4.0): 0.0802256925714, (1.0, 4.0): 0.0802256925714, (1.0, 5.0): 0.0491719882889, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.097932055127, (4.0, 3.0): 0.097932055127, (1.0, 7.0): 0.0219700688145, (3.0, 7.0): 0.0243628634574, (5.0, 3.0): 0.107226395898, (5.0, 5.0): 0.0491719882889, }, ]
16 Stop [{(2.0, 7.0): 0.0210322727323, (4.0, 7.0): 0.0210322727323, (1.0, 3.0): 0.108498996627, (3.0, 3.0): 0.0968157512943, (1.0, 6.0): 0.0313611884601, (5.0, 6.0): 0.0313611884601, (5.0, 7.0): 0.0209944752272, (5.0, 4.0): 0.0803845492533, (1.0, 4.0): 0.0803845492533, (1.0, 5.0): 0.0485157341763, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.0999138648846, (4.0, 3.0): 0.0999138648846, (1.0, 7.0): 0.0209944752272, (3.0, 7.0): 0.0229585565716, (5.0, 3.0): 0.108498996627, (5.0, 5.0): 0.0485157341763, }, ]
17 Stop [{(2.0, 7.0): 0.0199122285748, (4.0, 7.0): 0.0199122285748, (1.0, 3.0): 0.109663228464, (3.0, 3.0): 0.0988811603545, (1.0, 6.0): 0.0304664682727, (5.0, 6.0): 0.0304664682727, (5.0, 7.0): 0.0200996734993, (5.0, 4.0): 0.0805203366106, (1.0, 4.0): 0.0805203366106, (1.0, 5.0): 0.0479056650875, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.101742870935, (4.0, 3.0): 0.101742870935, (1.0, 7.0): 0.0200996734993, (3.0, 7.0): 0.0216743673454, (5.0, 3.0): 0.109663228464, (5.0, 5.0): 0.0479056650875, }, ]
18 Stop [{(2.0, 7.0): 0.0188871170149, (4.0, 7.0): 0.0188871170149, (1.0, 3.0): 0.110728868105, (3.0, 3.0): 0.100788967408, (1.0, 6.0): 0.0296428700897, (5.0, 6.0): 0.0296428700897, (5.0, 7.0): 0.0192789449679, (5.0, 4.0): 0.0806373261844, (1.0, 4.0): 0.0806373261844, (1.0, 5.0): 0.0473397345609, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.103429086585, (4.0, 3.0): 0.103429086585, (1.0, 7.0): 0.0192789449679, (3.0, 7.0): 0.020499608165, (5.0, 3.0): 0.110728868105, (5.0, 5.0): 0.0473397345609, }, ]
19 Stop [{(2.0, 7.0): 0.0179486446353, (4.0, 7.0): 0.0179486446353, (1.0, 3.0): 0.111704647989, (3.0, 3.0): 0.102549046859, (1.0, 6.0): 0.0288851236466, (5.0, 6.0): 0.0288851236466, (5.0, 7.0): 0.018526159436, (5.0, 4.0): 0.0807388215282, (1.0, 4.0): 0.0807388215282, (1.0, 5.0): 0.0468157002311, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.104982307366, (4.0, 3.0): 0.104982307366, (1.0, 7.0): 0.018526159436, (3.0, 7.0): 0.0194246140649, (5.0, 3.0): 0.111704647989, (5.0, 5.0): 0.0468157002311, }, ]
20 Stop [{(2.0, 7.0): 0.0170892927591, (4.0, 7.0): 0.0170892927591, (1.0, 3.0): 0.112598395882, (3.0, 3.0): 0.10417122053, (1.0, 6.0): 0.0281882856874, (5.0, 6.0): 0.0281882856874, (5.0, 7.0): 0.0178357023157, (5.0, 4.0): 0.0808274381605, (1.0, 4.0): 0.0808274381605, (1.0, 5.0): 0.0463311922631, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.106412000738, (4.0, 3.0): 0.106412000738, (1.0, 7.0): 0.0178357023157, (3.0, 7.0): 0.0184406344451, (5.0, 3.0): 0.112598395882, (5.0, 5.0): 0.0463311922631, }, ]
21 Stop [{(2.0, 7.0): 0.016302234647, (4.0, 7.0): 0.016302234647, (1.0, 3.0): 0.11341718462, (3.0, 3.0): 0.105665074002, (1.0, 6.0): 0.0275477206455, (5.0, 6.0): 0.0275477206455, (5.0, 7.0): 0.0172024279205, (5.0, 4.0): 0.0809052542992, (1.0, 4.0): 0.0809052542992, (1.0, 5.0): 0.0458838004496, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.107727205717, (4.0, 3.0): 0.107727205717, (1.0, 7.0): 0.0172024279205, (3.0, 7.0): 0.0175397399878, (5.0, 3.0): 0.11341718462, (5.0, 5.0): 0.0458838004496, }, ]
22 Stop [{(2.0, 7.0): 0.0155812651917, (4.0, 7.0): 0.0155812651917, (1.0, 3.0): 0.114167423929, (3.0, 3.0): 0.107039828479, (1.0, 6.0): 0.026959094234, (5.0, 6.0): 0.026959094234, (5.0, 7.0): 0.0166216153572, (5.0, 4.0): 0.0809739420064, (1.0, 4.0): 0.0809739420064, (1.0, 5.0): 0.04547112401, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.108936488113, (4.0, 3.0): 0.108936488113, (1.0, 7.0): 0.0166216153572, (3.0, 7.0): 0.0167147364273, (5.0, 3.0): 0.114167423929, (5.0, 5.0): 0.04547112401, }, ]
23 Stop [{(2.0, 7.0): 0.0149207377123, (4.0, 7.0): 0.0149207377123, (1.0, 3.0): 0.114854941684, (3.0, 3.0): 0.108304268235, (1.0, 6.0): 0.0264183622396, (5.0, 6.0): 0.0264183622396, (5.0, 7.0): 0.0160889324617, (5.0, 4.0): 0.0810348554828, (1.0, 4.0): 0.0810348554828, (1.0, 5.0): 0.0450908136211, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.110047913507, (4.0, 3.0): 0.110047913507, (1.0, 7.0): 0.0160889324617, (3.0, 7.0): 0.0159590889369, (5.0, 3.0): 0.114854941684, (5.0, 5.0): 0.0450908136211, }, ]
24 Stop [{(2.0, 7.0): 0.0143155086651, (4.0, 7.0): 0.0143155086651, (1.0, 3.0): 0.115485046138, (3.0, 3.0): 0.109466698416, (1.0, 6.0): 0.025921760196, (5.0, 6.0): 0.025921760196, (5.0, 7.0): 0.0156004029127, (5.0, 4.0): 0.0810891012425, (1.0, 4.0): 0.0810891012425, (1.0, 5.0): 0.0447405983958, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.111069041142, (4.0, 3.0): 0.111069041142, (1.0, 7.0): 0.0156004029127, (3.0, 7.0): 0.0152668547871, (5.0, 3.0): 0.115485046138, (5.0, 5.0): 0.0447405983958, }, ]
25 Stop [{(2.0, 7.0): 0.0137608885456, (4.0, 7.0): 0.0137608885456, (1.0, 3.0): 0.116062579715, (3.0, 3.0): 0.1105349269, (1.0, 6.0): 0.0254657911043, (5.0, 6.0): 0.0254657911043, (5.0, 7.0): 0.0151523769989, (5.0, 4.0): 0.081137589888, (1.0, 4.0): 0.081137589888, (1.0, 5.0): 0.0444183050076, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.112006928565, (4.0, 3.0): 0.112006928565, (1.0, 7.0): 0.0151523769989, (3.0, 7.0): 0.0146326240391, (5.0, 3.0): 0.116062579715, (5.0, 5.0): 0.0444183050076, }, ]
26 Stop [{(2.0, 7.0): 0.0132525984446, (4.0, 7.0): 0.0132525984446, (1.0, 3.0): 0.116591964371, (3.0, 3.0): 0.111516261344, (1.0, 6.0): 0.0250472125274, (5.0, 6.0): 0.0250472125274, (5.0, 7.0): 0.0147415048743, (5.0, 4.0): 0.0811810765473, (1.0, 4.0): 0.0811810765473, (1.0, 5.0): 0.044121869276, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.11286814506, (4.0, 3.0): 0.11286814506, (1.0, 7.0): 0.0147415048743, (3.0, 7.0): 0.0140514670435, (5.0, 3.0): 0.116591964371, (5.0, 5.0): 0.044121869276, }, ]
27 Stop [{(2.0, 7.0): 0.0127867313813, (4.0, 7.0): 0.0127867313813, (1.0, 3.0): 0.117077241417, (3.0, 3.0): 0.112417517155, (1.0, 6.0): 0.024663022888, (5.0, 6.0): 0.024663022888, (5.0, 7.0): 0.0143647121653, (5.0, 4.0): 0.0812201918984, (1.0, 4.0): 0.0812201918984, (1.0, 5.0): 0.0438493427196, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.113658790258, (4.0, 3.0): 0.113658790258, (1.0, 7.0): 0.0143647121653, (3.0, 7.0): 0.0135188879776, (5.0, 3.0): 0.117077241417, (5.0, 5.0): 0.0438493427196, }, ]
28 Stop [{(2.0, 7.0): 0.0123597178276, (4.0, 7.0): 0.0123597178276, (1.0, 3.0): 0.117522106508, (3.0, 3.0): 0.113245032557, (1.0, 6.0): 0.0243104474846, (5.0, 6.0): 0.0243104474846, (5.0, 7.0): 0.0140191775571, (5.0, 4.0): 0.0812554664735, (1.0, 4.0): 0.0812554664735, (1.0, 5.0): 0.0435988950985, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.114384516277, (4.0, 3.0): 0.114384516277, (1.0, 7.0): 0.0140191775571, (3.0, 7.0): 0.0130307835801, (5.0, 3.0): 0.117522106508, (5.0, 5.0): 0.0435988950985, }, ]
29 Stop [{(2.0, 7.0): 0.0119682948585, (4.0, 7.0): 0.0119682948585, (1.0, 3.0): 0.117929940832, (3.0, 3.0): 0.11400468837, (1.0, 6.0): 0.0239869244243, (5.0, 6.0): 0.0239869244243, (5.0, 7.0): 0.013702312203, (5.0, 4.0): 0.0812873496702, (1.0, 4.0): 0.0812873496702, (1.0, 5.0): 0.0433688141353, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.11505055178, (4.0, 3.0): 0.11505055178, (1.0, 7.0): 0.013702312203, (3.0, 7.0): 0.0125834064118, (5.0, 3.0): 0.117929940832, (5.0, 5.0): 0.0433688141353, }, ]
30 Stop [{(2.0, 7.0): 0.0116094784742, (4.0, 7.0): 0.0116094784742, (1.0, 3.0): 0.118303839039, (3.0, 3.0): 0.114701930644, (1.0, 6.0): 0.0236900907414, (5.0, 6.0): 0.0236900907414, (5.0, 7.0): 0.0134117407763, (5.0, 4.0): 0.0813162247624, (1.0, 4.0): 0.0813162247624, (1.0, 5.0): 0.0431575031635, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.115661726994, (4.0, 3.0): 0.115661726994, (1.0, 7.0): 0.0134117407763, (3.0, 7.0): 0.0121733320429, (5.0, 3.0): 0.118303839039, (5.0, 5.0): 0.0431575031635, }, ]
31 Stop [{(2.0, 7.0): 0.0112805386998, (4.0, 7.0): 0.0112805386998, (1.0, 3.0): 0.118646634392, (3.0, 3.0): 0.115341794877, (1.0, 6.0): 0.0234177688644, (5.0, 6.0): 0.0234177688644, (5.0, 7.0): 0.0131452840375, (5.0, 4.0): 0.0813424207854, (1.0, 4.0): 0.0813424207854, (1.0, 5.0): 0.0429634773522, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.116222498892, (4.0, 3.0): 0.116222498892, (1.0, 7.0): 0.0131452840375, (3.0, 7.0): 0.0117974296638, (5.0, 3.0): 0.118646634392, (5.0, 5.0): 0.0429634773522, }, ]
32 Stop [{(2.0, 7.0): 0.0109789771305, (4.0, 7.0): 0.0109789771305, (1.0, 3.0): 0.118960921488, (3.0, 3.0): 0.115928930887, (1.0, 6.0): 0.0231679535729, (5.0, 6.0): 0.0231679535729, (5.0, 7.0): 0.0129009427921, (5.0, 4.0): 0.0813662220032, (1.0, 4.0): 0.0813662220032, (1.0, 5.0): 0.0427853589666, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.116736976054, (4.0, 3.0): 0.116736976054, (1.0, 7.0): 0.0129009427921, (3.0, 7.0): 0.0114528356878, (5.0, 3.0): 0.118960921488, (5.0, 5.0): 0.0427853589666, }, ]
33 Stop [{(2.0, 7.0): 0.0107025066375, (4.0, 7.0): 0.0107025066375, (1.0, 3.0): 0.119249076849, (3.0, 3.0): 0.116467627665, (1.0, 6.0): 0.0229387995309, (5.0, 6.0): 0.0229387995309, (5.0, 7.0): 0.0126768831347, (5.0, 4.0): 0.0813878754799, (1.0, 4.0): 0.0813878754799, (1.0, 5.0): 0.0426218720289, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.11720894281, (4.0, 3.0): 0.11720894281, (1.0, 7.0): 0.0126768831347, (3.0, 7.0): 0.011136929983, (5.0, 3.0): 0.119249076849, (5.0, 5.0): 0.0426218720289, }, ]
34 Stop [{(2.0, 7.0): 0.0104490329905, (4.0, 7.0): 0.0104490329905, (1.0, 3.0): 0.119513277626, (3.0, 3.0): 0.116961837761, (1.0, 6.0): 0.0227286094573, (5.0, 6.0): 0.0227286094573, (5.0, 7.0): 0.0124714228789, (5.0, 4.0): 0.0814075971673, (1.0, 4.0): 0.0814075971673, (1.0, 5.0): 0.0424718366426, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.117641882441, (4.0, 3.0): 0.117641882441, (1.0, 7.0): 0.0124714228789, (3.0, 7.0): 0.0108473144193, (5.0, 3.0): 0.119513277626, (5.0, 5.0): 0.0424718366426, }, ]
35 Stop [{(2.0, 7.0): 0.0102166381896, (4.0, 7.0): 0.0102166381896, (1.0, 3.0): 0.119755518606, (3.0, 3.0): 0.117415200881, (1.0, 6.0): 0.0225358229644, (5.0, 6.0): 0.0225358229644, (5.0, 7.0): 0.0122830190809, (5.0, 4.0): 0.0814255768218, (1.0, 4.0): 0.0814255768218, (1.0, 5.0): 0.0423341631811, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.118038999276, (4.0, 3.0): 0.118038999276, (1.0, 7.0): 0.0122830190809, (3.0, 7.0): 0.0105817934668, (5.0, 3.0): 0.119755518606, (5.0, 5.0): 0.0423341631811, }, ]
36 Stop [{(2.0, 7.0): 0.0100035653224, (4.0, 7.0): 0.0100035653224, (1.0, 3.0): 0.119977627705, (3.0, 3.0): 0.117831066478, (1.0, 6.0): 0.0223590060768, (5.0, 6.0): 0.0223590060768, (5.0, 7.0): 0.0121102565745, (5.0, 4.0): 0.081441981998, (1.0, 4.0): 0.081441981998, (1.0, 5.0): 0.042207846483, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.118403239588, (4.0, 3.0): 0.118403239588, (1.0, 7.0): 0.0121102565745, (3.0, 7.0): 0.0103383566154, (5.0, 3.0): 0.119977627705, (5.0, 5.0): 0.042207846483, }, ]
37 Stop [{(2.0, 7.0): 0.00980820478954, (4.0, 7.0): 0.00980820478954, (1.0, 3.0): 0.120181280097, (3.0, 3.0): 0.118212515218, (1.0, 6.0): 0.0221968414272, (5.0, 6.0): 0.0221968414272, (5.0, 7.0): 0.011951837437, (5.0, 4.0): 0.0814569613093, (1.0, 4.0): 0.0814569613093, (1.0, 5.0): 0.0420919601587, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.118737311257, (4.0, 3.0): 0.118737311257, (1.0, 7.0): 0.011951837437, (3.0, 7.0): 0.01011516242, (5.0, 3.0): 0.120181280097, (5.0, 5.0): 0.0420919601587, }, ]
38 Stop [{(2.0, 7.0): 0.00962908176243, (4.0, 7.0): 0.00962908176243, (1.0, 3.0): 0.120368011106, (3.0, 3.0): 0.118562379244, (1.0, 6.0): 0.022048119115, (5.0, 6.0): 0.022048119115, (5.0, 7.0): 0.0118065713126, (5.0, 4.0): 0.0814706471055, (1.0, 4.0): 0.0814706471055, (1.0, 5.0): 0.0419856510806, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.11904370219, (4.0, 3.0): 0.11904370219, (1.0, 7.0): 0.0118065713126, (3.0, 7.0): 0.0099105239997, (5.0, 3.0): 0.120368011106, (5.0, 5.0): 0.0419856510806, }, ]
39 Stop [{(2.0, 7.0): 0.00946484474885, (4.0, 7.0): 0.00946484474885, (1.0, 3.0): 0.120539227985, (3.0, 3.0): 0.118883261208, (1.0, 6.0): 0.0219117282052, (5.0, 6.0): 0.0219117282052, (5.0, 7.0): 0.0116733665277, (5.0, 4.0): 0.0814831576853, (1.0, 4.0): 0.0814831576853, (1.0, 5.0): 0.041888134104, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.119324697513, (4.0, 3.0): 0.119324697513, (1.0, 7.0): 0.0116733665277, (3.0, 7.0): 0.00972289584152, (5.0, 3.0): 0.120539227985, (5.0, 5.0): 0.041888134104, }, ]
40 Stop [{(2.0, 7.0): 0.00931425516204, (4.0, 7.0): 0.00931425516204, (1.0, 3.0): 0.120696220675, (3.0, 3.0): 0.119177552078, (1.0, 6.0): 0.0217866488411, (5.0, 6.0): 0.0217866488411, (5.0, 7.0): 0.0115512219328, (5.0, 4.0): 0.0814945991349, (1.0, 4.0): 0.0814945991349, (1.0, 5.0): 0.0417986870499, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.119582395569, (4.0, 3.0): 0.119582395569, (1.0, 7.0): 0.0115512219328, (3.0, 7.0): 0.00955086177974, (5.0, 3.0): 0.120696220675, (5.0, 5.0): 0.0417986870499, }, ]
41 Stop [{(2.0, 7.0): 0.00917617779714, (4.0, 7.0): 0.00917617779714, (1.0, 3.0): 0.120840171649, (3.0, 3.0): 0.119447447739, (1.0, 6.0): 0.0216719449392, (5.0, 6.0): 0.0216719449392, (5.0, 7.0): 0.0114392194142, (5.0, 4.0): 0.0815050668672, (1.0, 4.0): 0.0815050668672, (1.0, 5.0): 0.0417166459668, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.119818722774, (4.0, 3.0): 0.119818722774, (1.0, 7.0): 0.0114392194142, (3.0, 7.0): 0.00939312403461, (5.0, 3.0): 0.120840171649, (5.0, 5.0): 0.0417166459668, }, ]
42 Stop [{(2.0, 7.0): 0.00904957213079, (4.0, 7.0): 0.00904957213079, (1.0, 3.0): 0.120972164908, (3.0, 3.0): 0.119694964429, (1.0, 6.0): 0.0215667574336, (5.0, 6.0): 0.0215667574336, (5.0, 7.0): 0.0113365170207, (5.0, 4.0): 0.0815146469165, (1.0, 4.0): 0.0815146469165, (1.0, 5.0): 0.0416414006781, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120035447387, (4.0, 3.0): 0.120035447387, (1.0, 7.0): 0.0113365170207, (3.0, 7.0): 0.00924849320963, (5.0, 3.0): 0.120972164908, (5.0, 5.0): 0.0416414006781, }, ]
43 Stop [{(2.0, 7.0): 0.00893348436865, (4.0, 7.0): 0.00893348436865, (1.0, 3.0): 0.121093194223, (3.0, 3.0): 0.119921953068, (1.0, 6.0): 0.0214702980383, (5.0, 6.0): 0.0214702980383, (5.0, 7.0): 0.0112423426572, (5.0, 4.0): 0.0815234170375, (1.0, 4.0): 0.0815234170375, (1.0, 5.0): 0.0415723906154, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120234192241, (4.0, 3.0): 0.120234192241, (1.0, 7.0): 0.0112423426572, (3.0, 7.0): 0.00911587915707, (5.0, 3.0): 0.121093194223, (5.0, 5.0): 0.0415723906154, }, ]
44 Stop [{(2.0, 7.0): 0.00882704017287, (4.0, 7.0): 0.00882704017287, (1.0, 3.0): 0.121204170674, (3.0, 3.0): 0.120130112517, (1.0, 6.0): 0.021381843492, (5.0, 6.0): 0.021381843492, (5.0, 7.0): 0.0111559882967, (5.0, 4.0): 0.0815314476415, (1.0, 4.0): 0.0815314476415, (1.0, 5.0): 0.0415091009324, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120416446511, (4.0, 3.0): 0.120416446511, (1.0, 7.0): 0.0111559882967, (3.0, 7.0): 0.00899428263146, (5.0, 3.0): 0.121204170674, (5.0, 5.0): 0.0415091009324, }, ]
45 Stop [{(2.0, 7.0): 0.00872943800896, (4.0, 7.0): 0.00872943800896, (1.0, 3.0): 0.121305929549, (3.0, 3.0): 0.120321001846, (1.0, 6.0): 0.0213007302545, (5.0, 6.0): 0.0213007302545, (5.0, 7.0): 0.0110768046715, (5.0, 4.0): 0.0815388026011, (1.0, 4.0): 0.0815388026011, (1.0, 5.0): 0.0414510588895, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120583576567, (4.0, 3.0): 0.120583576567, (1.0, 7.0): 0.0110768046715, (3.0, 7.0): 0.00888278765906, (5.0, 3.0): 0.121305929549, (5.0, 5.0): 0.0414510588895, }, ]
46 Stop [{(2.0, 7.0): 0.00863994305721, (4.0, 7.0): 0.00863994305721, (1.0, 3.0): 0.121399236673, (3.0, 3.0): 0.12049605166, (1.0, 6.0): 0.0212263496217, (5.0, 6.0): 0.0212263496217, (5.0, 7.0): 0.0110041964011, (5.0, 4.0): 0.0815455399446, (1.0, 4.0): 0.0815455399446, (1.0, 5.0): 0.0413978304999, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120736835987, (4.0, 3.0): 0.120736835987, (1.0, 7.0): 0.0110041964011, (3.0, 7.0): 0.008780554559, (5.0, 3.0): 0.121399236673, (5.0, 5.0): 0.0413978304999, }, ]
47 Stop [{(2.0, 7.0): 0.00855788163902, (4.0, 7.0): 0.00855788163902, (1.0, 3.0): 0.121484794192, (3.0, 3.0): 0.120656574545, (1.0, 6.0): 0.021158143231, (5.0, 6.0): 0.021158143231, (5.0, 7.0): 0.0109376175248, (5.0, 4.0): 0.0815517124603, (1.0, 4.0): 0.0815517124603, (1.0, 5.0): 0.041349017422, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.120877374773, (4.0, 3.0): 0.120877374773, (1.0, 7.0): 0.0109376175248, (3.0, 7.0): 0.00868681355781, (5.0, 3.0): 0.121484794192, (5.0, 5.0): 0.041349017422, }, ]
48 Stop [{(2.0, 7.0): 0.00848263611347, (4.0, 7.0): 0.00848263611347, (1.0, 3.0): 0.121563245885, (3.0, 3.0): 0.120803774697, (1.0, 6.0): 0.0210955989256, (5.0, 6.0): 0.0210955989256, (5.0, 7.0): 0.0108765674019, (5.0, 4.0): 0.0815573682235, (1.0, 4.0): 0.0815573682235, (1.0, 5.0): 0.0413042540861, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121006247837, (4.0, 3.0): 0.121006247837, (1.0, 7.0): 0.0108765674019, (3.0, 7.0): 0.00860085894528, (5.0, 3.0): 0.121563245885, (5.0, 5.0): 0.0413042540861, }, ]
49 Stop [{(2.0, 7.0): 0.0084136402034, (4.0, 7.0): 0.0084136402034, (1.0, 3.0): 0.121635182019, (3.0, 3.0): 0.12093875679, (1.0, 6.0): 0.0210382469539, (5.0, 6.0): 0.0210382469539, (5.0, 7.0): 0.0108205869531, (5.0, 4.0): 0.0815625510607, (1.0, 4.0): 0.0815625510607, (1.0, 5.0): 0.0412632050402, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121124422806, (4.0, 3.0): 0.121124422806, (1.0, 7.0): 0.0108205869531, (3.0, 7.0): 0.00852204372408, (5.0, 3.0): 0.121635182019, (5.0, 5.0): 0.0412632050402, }, ]
50 Stop [{(2.0, 7.0): 0.00835037471409, (4.0, 7.0): 0.00835037471409, (1.0, 3.0): 0.121701143806, (3.0, 3.0): 0.121062534134, (1.0, 6.0): 0.0209856564751, (5.0, 6.0): 0.0209856564751, (5.0, 7.0): 0.0107692552112, (5.0, 4.0): 0.0815673009583, (1.0, 4.0): 0.0815673009583, (1.0, 5.0): 0.0412255625022, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121232787205, (4.0, 3.0): 0.121232787205, (1.0, 7.0): 0.0107692552112, (3.0, 7.0): 0.00844977471029, (5.0, 3.0): 0.121701143806, (5.0, 5.0): 0.0412255625022, }, ]
51 Stop [{(2.0, 7.0): 0.00829236361093, (4.0, 7.0): 0.00829236361093, (1.0, 3.0): 0.121761627483, (3.0, 3.0): 0.121176036182, (1.0, 6.0): 0.0209374323499, (5.0, 6.0): 0.0209374323499, (5.0, 7.0): 0.0107221861596, (5.0, 4.0): 0.0815716544259, (1.0, 4.0): 0.0815716544259, (1.0, 5.0): 0.0411910441027, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121332155048, (4.0, 3.0): 0.121332155048, (1.0, 7.0): 0.0107221861596, (3.0, 7.0): 0.00838350804616, (5.0, 3.0): 0.121761627483, (5.0, 5.0): 0.0411910441027, }, ]
52 Stop [{(2.0, 7.0): 0.00823917042559, (4.0, 7.0): 0.00823917042559, (1.0, 3.0): 0.121817088057, (3.0, 3.0): 0.121280115426, (1.0, 6.0): 0.0208932121929, (5.0, 6.0): 0.0208932121929, (5.0, 7.0): 0.010679025831, (5.0, 4.0): 0.0815756448187, (1.0, 4.0): 0.0815756448187, (1.0, 5.0): 0.0411593908071, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121423272904, (4.0, 3.0): 0.121423272904, (1.0, 7.0): 0.010679025831, (3.0, 7.0): 0.00832274508934, (5.0, 3.0): 0.121817088057, (5.0, 5.0): 0.0411593908071, }, ]
53 Stop [{(2.0, 7.0): 0.00819039496273, (4.0, 7.0): 0.00819039496273, (1.0, 3.0): 0.12186794273, (3.0, 3.0): 0.121375553745, (1.0, 6.0): 0.0208526636655, (5.0, 6.0): 0.0208526636655, (5.0, 7.0): 0.0106394496479, (5.0, 4.0): 0.0815793026271, (1.0, 4.0): 0.0815793026271, (1.0, 5.0): 0.0411303650029, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121506825462, (4.0, 3.0): 0.121506825462, (1.0, 7.0): 0.0106394496479, (3.0, 7.0): 0.00826702864684, (5.0, 3.0): 0.12186794273, (5.0, 5.0): 0.0411303650029, }, ]
54 Stop [{(2.0, 7.0): 0.00814567028182, (4.0, 7.0): 0.00814567028182, (1.0, 3.0): 0.121914574044, (3.0, 3.0): 0.121463068223, (1.0, 6.0): 0.020815481991, (5.0, 6.0): 0.020815481991, (5.0, 7.0): 0.0106031599826, (5.0, 4.0): 0.0815826557348, (1.0, 4.0): 0.0815826557348, (1.0, 5.0): 0.0411037487403, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121583440646, (4.0, 3.0): 0.121583440646, (1.0, 7.0): 0.0106031599826, (3.0, 7.0): 0.0082159395241, (5.0, 3.0): 0.121914574044, (5.0, 5.0): 0.0411037487403, }, ]
55 Stop [{(2.0, 7.0): 0.00810465993095, (4.0, 7.0): 0.00810465993095, (1.0, 3.0): 0.121957332764, (3.0, 3.0): 0.121543316505, (1.0, 6.0): 0.0207813876741, (5.0, 6.0): 0.0207813876741, (5.0, 7.0): 0.0105698839207, (5.0, 4.0): 0.0815857296519, (1.0, 4.0): 0.0815857296519, (1.0, 5.0): 0.0410793421143, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121653694304, (4.0, 3.0): 0.121653694304, (1.0, 7.0): 0.0105698839207, (3.0, 7.0): 0.00816909336258, (5.0, 3.0): 0.121957332764, (5.0, 5.0): 0.0410793421143, }, ]
56 Stop [{(2.0, 7.0): 0.00806705541135, (4.0, 7.0): 0.00806705541135, (1.0, 3.0): 0.121996540515, (3.0, 3.0): 0.121616901705, (1.0, 6.0): 0.0207501244074, (5.0, 6.0): 0.0207501244074, (5.0, 7.0): 0.010539371209, (5.0, 4.0): 0.0815885477248, (1.0, 4.0): 0.0815885477248, (1.0, 5.0): 0.0410569617786, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121718114524, (4.0, 3.0): 0.121718114524, (1.0, 7.0): 0.010539371209, (3.0, 7.0): 0.0081261377415, (5.0, 3.0): 0.121996540515, (5.0, 5.0): 0.0410569617786, }, ]
57 Stop [{(2.0, 7.0): 0.0080325738532, (4.0, 7.0): 0.0080325738532, (1.0, 3.0): 0.122032492209, (3.0, 3.0): 0.121684376918, (1.0, 6.0): 0.020721457151, (5.0, 6.0): 0.020721457151, (5.0, 7.0): 0.0105113923746, (5.0, 4.0): 0.0815911313257, (1.0, 4.0): 0.0815911313257, (1.0, 5.0): 0.0410364395796, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121777185581, (4.0, 3.0): 0.121777185581, (1.0, 7.0): 0.0105113923746, (3.0, 7.0): 0.0080867495214, (5.0, 3.0): 0.122032492209, (5.0, 5.0): 0.0410364395796, }, ]
58 Stop [{(2.0, 7.0): 0.00800095588517, (4.0, 7.0): 0.00800095588517, (1.0, 3.0): 0.12206545826, (3.0, 3.0): 0.12174624936, (1.0, 6.0): 0.0206951703699, (5.0, 6.0): 0.0206951703699, (5.0, 7.0): 0.0104857369991, (5.0, 4.0): 0.0815935000242, (1.0, 4.0): 0.0815935000242, (1.0, 5.0): 0.0410176213018, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121831351569, (4.0, 3.0): 0.121831351569, (1.0, 7.0): 0.0104857369991, (3.0, 7.0): 0.00805063240927, (5.0, 3.0): 0.12206545826, (5.0, 5.0): 0.0410176213018, }, ]
59 Stop [{(2.0, 7.0): 0.00797196368126, (4.0, 7.0): 0.00797196368126, (1.0, 3.0): 0.122095686622, (3.0, 3.0): 0.121802984166, (1.0, 6.0): 0.0206710664175, (5.0, 6.0): 0.0206710664175, (5.0, 7.0): 0.0104622121373, (5.0, 4.0): 0.0815956717435, (1.0, 4.0): 0.0815956717435, (1.0, 5.0): 0.0410003655165, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.12188101973, (4.0, 3.0): 0.12188101973, (1.0, 7.0): 0.0104622121373, (3.0, 7.0): 0.00801751472654, (5.0, 3.0): 0.122095686622, (5.0, 5.0): 0.0410003655165, }, ]
60 Stop [{(2.0, 7.0): 0.00794537917027, (4.0, 7.0): 0.00794537917027, (1.0, 3.0): 0.122123404656, (3.0, 3.0): 0.121855007875, (1.0, 6.0): 0.0206489640522, (5.0, 6.0): 0.0206489640522, (5.0, 7.0): 0.0104406408658, (5.0, 4.0): 0.0815976629014, (1.0, 4.0): 0.0815976629014, (1.0, 5.0): 0.0409845425237, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121926563506, (4.0, 3.0): 0.121926563506, (1.0, 7.0): 0.0104406408658, (3.0, 7.0): 0.00798714736302, (5.0, 3.0): 0.122123404656, (5.0, 5.0): 0.0409845425237, }, ]
61 Stop [{(2.0, 7.0): 0.00792100239421, (4.0, 7.0): 0.00792100239421, (1.0, 3.0): 0.122148820838, (3.0, 3.0): 0.121902711629, (1.0, 6.0): 0.0206286970769, (5.0, 6.0): 0.0206286970769, (5.0, 7.0): 0.0104208609529, (5.0, 4.0): 0.0815994885391, (1.0, 4.0): 0.0815994885391, (1.0, 5.0): 0.0409700333824, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.121968325346, (4.0, 3.0): 0.121968325346, (1.0, 7.0): 0.0104208609529, (3.0, 7.0): 0.00795930190118, (5.0, 3.0): 0.122148820838, (5.0, 5.0): 0.0409700333824, }, ]
62 Stop [{(2.0, 7.0): 0.00789865000336, (4.0, 7.0): 0.00789865000336, (1.0, 3.0): 0.122172126331, (3.0, 3.0): 0.121946454107, (1.0, 6.0): 0.0206101130913, (5.0, 6.0): 0.0206101130913, (5.0, 7.0): 0.0104027236388, (5.0, 4.0): 0.0816011624386, (1.0, 4.0): 0.0816011624386, (1.0, 5.0): 0.0409567290188, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122006619271, (4.0, 3.0): 0.122006619271, (1.0, 7.0): 0.0104027236388, (3.0, 7.0): 0.00793376889654, (5.0, 3.0): 0.122172126331, (5.0, 5.0): 0.0409567290188, }, ]
63 Stop [{(2.0, 7.0): 0.00787815387634, (4.0, 7.0): 0.00787815387634, (1.0, 3.0): 0.12219349642, (3.0, 3.0): 0.121986564216, (1.0, 6.0): 0.0205930723469, (5.0, 6.0): 0.0205930723469, (5.0, 7.0): 0.010386092517, (5.0, 4.0): 0.0816026972293, (1.0, 4.0): 0.0816026972293, (1.0, 5.0): 0.04094452941, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122041733236, (4.0, 3.0): 0.122041733236, (1.0, 7.0): 0.010386092517, (3.0, 7.0): 0.00791035630108, (5.0, 3.0): 0.12219349642, (5.0, 5.0): 0.04094452941, }, ]
64 Stop [{(2.0, 7.0): 0.00785935985505, (4.0, 7.0): 0.00785935985505, (1.0, 3.0): 0.122213091833, (3.0, 3.0): 0.122023343563, (1.0, 6.0): 0.0205774466977, (5.0, 6.0): 0.0205774466977, (5.0, 7.0): 0.0103708425081, (5.0, 4.0): 0.0816041044856, (1.0, 4.0): 0.0816041044856, (1.0, 5.0): 0.0409333428333, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122073931291, (4.0, 3.0): 0.122073931291, (1.0, 7.0): 0.0103708425081, (3.0, 7.0): 0.00788888801792, (5.0, 3.0): 0.122213091833, (5.0, 5.0): 0.0409333428333, }, ]
65 Stop [{(2.0, 7.0): 0.00784212658468, (4.0, 7.0): 0.00784212658468, (1.0, 3.0): 0.122231059951, (3.0, 3.0): 0.122057068715, (1.0, 6.0): 0.0205631186368, (5.0, 6.0): 0.0205631186368, (5.0, 7.0): 0.0103568589198, (5.0, 4.0): 0.0816053948158, (1.0, 4.0): 0.0816053948158, (1.0, 5.0): 0.0409230851786, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122103455562, (4.0, 3.0): 0.122103455562, (1.0, 7.0): 0.0103568589198, (3.0, 7.0): 0.00786920257601, (5.0, 3.0): 0.122231059951, (5.0, 5.0): 0.0409230851786, }, ]
66 Stop [{(2.0, 7.0): 0.00782632445018, (4.0, 7.0): 0.00782632445018, (1.0, 3.0): 0.122247535912, (3.0, 3.0): 0.12208799328, (1.0, 6.0): 0.0205499804137, (5.0, 6.0): 0.0205499804137, (5.0, 7.0): 0.010344036584, (5.0, 4.0): 0.0816065779435, (1.0, 4.0): 0.0816065779435, (1.0, 5.0): 0.040913679317, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122130528076, (4.0, 3.0): 0.122130528076, (1.0, 7.0): 0.010344036584, (3.0, 7.0): 0.00785115191513, (5.0, 3.0): 0.122247535912, (5.0, 5.0): 0.040913679317, }, ]
67 Stop [{(2.0, 7.0): 0.00781183460111, (4.0, 7.0): 0.00781183460111, (1.0, 3.0): 0.122262643634, (3.0, 3.0): 0.122116349811, (1.0, 6.0): 0.0205379332247, (5.0, 6.0): 0.0205379332247, (5.0, 7.0): 0.0103322790662, (5.0, 4.0): 0.0816076627818, (1.0, 4.0): 0.0816076627818, (1.0, 5.0): 0.040905054522, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122155352423, (4.0, 3.0): 0.122155352423, (1.0, 7.0): 0.0103322790662, (3.0, 7.0): 0.00783460027183, (5.0, 3.0): 0.122262643634, (5.0, 5.0): 0.040905054522, }, ]
68 Stop [{(2.0, 7.0): 0.00779854805753, (4.0, 7.0): 0.00779854805753, (1.0, 3.0): 0.122276496743, (3.0, 3.0): 0.122142351552, (1.0, 6.0): 0.0205268864698, (5.0, 6.0): 0.0205268864698, (5.0, 7.0): 0.0103214979398, (5.0, 4.0): 0.0816086575013, (1.0, 4.0): 0.0816086575013, (1.0, 5.0): 0.0408971459383, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122178115289, (4.0, 3.0): 0.122178115289, (1.0, 7.0): 0.0103214979398, (3.0, 7.0): 0.00781942315802, (5.0, 3.0): 0.122276496743, (5.0, 5.0): 0.0408971459383, }, ]
69 Stop [{(2.0, 7.0): 0.00778636489012, (4.0, 7.0): 0.00778636489012, (1.0, 3.0): 0.122289199428, (3.0, 3.0): 0.122166194043, (1.0, 6.0): 0.0205167570719, (5.0, 6.0): 0.0205167570719, (5.0, 7.0): 0.0103116121216, (5.0, 4.0): 0.0816095695922, (1.0, 4.0): 0.0816095695922, (1.0, 5.0): 0.0408898940948, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122198987861, (4.0, 3.0): 0.122198987861, (1.0, 7.0): 0.0103116121216, (3.0, 7.0): 0.00780550642436, (5.0, 3.0): 0.122289199428, (5.0, 5.0): 0.0408898940948, }, ]
70 Stop [{(2.0, 7.0): 0.00777519346855, (4.0, 7.0): 0.00777519346855, (1.0, 3.0): 0.122300847226, (3.0, 3.0): 0.122188056589, (1.0, 6.0): 0.0205074688524, (5.0, 6.0): 0.0205074688524, (5.0, 7.0): 0.0103025472617, (5.0, 4.0): 0.0816104059215, (1.0, 4.0): 0.0816104059215, (1.0, 5.0): 0.0408832444577, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122218127111, (4.0, 3.0): 0.122218127111, (1.0, 7.0): 0.0103025472617, (3.0, 7.0): 0.00779274540153, (5.0, 3.0): 0.122300847226, (5.0, 5.0): 0.0408832444577, }, ]
71 Stop [{(2.0, 7.0): 0.00776494977213, (4.0, 7.0): 0.00776494977213, (1.0, 3.0): 0.12231152774, (3.0, 3.0): 0.122208103604, (1.0, 6.0): 0.0204989519584, (5.0, 6.0): 0.0204989519584, (5.0, 7.0): 0.0102942351847, (5.0, 4.0): 0.0816111727846, (1.0, 4.0): 0.0816111727846, (1.0, 5.0): 0.040877147021, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122235676975, (4.0, 3.0): 0.122235676975, (1.0, 7.0): 0.0102942351847, (3.0, 7.0): 0.00778104411288, (5.0, 3.0): 0.12231152774, (5.0, 5.0): 0.040877147021, }, ]
72 Stop [{(2.0, 7.0): 0.00775555675785, (4.0, 7.0): 0.00775555675785, (1.0, 3.0): 0.122321321297, (3.0, 3.0): 0.122226485851, (1.0, 6.0): 0.0204911423372, (5.0, 6.0): 0.0204911423372, (5.0, 7.0): 0.0102866133765, (5.0, 4.0): 0.0816118759532, (1.0, 4.0): 0.0816118759532, (1.0, 5.0): 0.0408715559306, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.12225176944, (4.0, 3.0): 0.12225176944, (1.0, 7.0): 0.0102866133765, (3.0, 7.0): 0.00777031455238, (5.0, 3.0): 0.122321321297, (5.0, 5.0): 0.0408715559306, }, ]
73 Stop [{(2.0, 7.0): 0.00774694378087, (4.0, 7.0): 0.00774694378087, (1.0, 3.0): 0.122330301556, (3.0, 3.0): 0.122243341577, (1.0, 6.0): 0.0204839812552, (5.0, 6.0): 0.0204839812552, (5.0, 7.0): 0.0102796245144, (5.0, 4.0): 0.0816125207194, (1.0, 4.0): 0.0816125207194, (1.0, 5.0): 0.0408664291396, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122266525529, (4.0, 3.0): 0.122266525529, (1.0, 7.0): 0.0102796245144, (3.0, 7.0): 0.00776047602269, (5.0, 3.0): 0.122330301556, (5.0, 5.0): 0.0408664291396, }, ]
74 Stop [{(2.0, 7.0): 0.00773904606311, (4.0, 7.0): 0.00773904606311, (1.0, 3.0): 0.122338536055, (3.0, 3.0): 0.122258797545, (1.0, 6.0): 0.0204774148559, (5.0, 6.0): 0.0204774148559, (5.0, 7.0): 0.010273216036, (5.0, 4.0): 0.0816131119348, (1.0, 4.0): 0.0816131119348, (1.0, 5.0): 0.0408617280923, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122280056221, (4.0, 3.0): 0.122280056221, (1.0, 7.0): 0.010273216036, (3.0, 7.0): 0.00775145452814, (5.0, 3.0): 0.122338536055, (5.0, 5.0): 0.0408617280923, }, ]
75 Stop [{(2.0, 7.0): 0.00773180420609, (4.0, 7.0): 0.00773180420609, (1.0, 3.0): 0.122346086726, (3.0, 3.0): 0.122272969995, (1.0, 6.0): 0.0204713937551, (5.0, 6.0): 0.0204713937551, (5.0, 7.0): 0.010267339744, (5.0, 4.0): 0.0816136540481, (1.0, 4.0): 0.0816136540481, (1.0, 5.0): 0.0408574174347, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122292463273, (4.0, 3.0): 0.122292463273, (1.0, 7.0): 0.010267339744, (3.0, 7.0): 0.00774318221812, (5.0, 3.0): 0.122346086726, (5.0, 5.0): 0.0408574174347, }, ]
76 None [{(2.0, 7.0): 0.00773180420609, (4.0, 7.0): 0.00773180420609, (1.0, 3.0): 0.122346086726, (3.0, 3.0): 0.122272969995, (1.0, 6.0): 0.0204713937551, (5.0, 6.0): 0.0204713937551, (5.0, 7.0): 0.010267339744, (5.0, 4.0): 0.0816136540481, (1.0, 4.0): 0.0816136540481, (1.0, 5.0): 0.0408574174347, (3.0, 5.0): 0.0588235294118, (2.0, 3.0): 0.122292463273, (4.0, 3.0): 0.122292463273, (1.0, 7.0): 0.010267339744, (3.0, 7.0): 0.00774318221812, (5.0, 3.0): 0.122346086726, (5.0, 5.0): 0.0408574174347, }, ]
"""