Files
project4-tracking/test_cases/q9/1-JointParticleUpdate.solution
2019-04-11 14:26:37 -07:00

66 lines
41 KiB
Plaintext
Executable File

# move_number action likelihood_dictionary
correctActions: """
0 None [{(8, 9): 0.09090909090909091, (1, 3): 0.09090909090909091, (2, 3): 0.09090909090909091, (9, 9): 0.09090909090909091, (5, 6): 0.09090909090909091, (2, 8): 0.09090909090909091, (9, 8): 0.09090909090909091, (9, 3): 0.09090909090909091, (2, 4): 0.09090909090909091, (1, 4): 0.09090909090909091, (8, 8): 0.09090909090909091}, {(8, 9): 0.09090909090909091, (1, 3): 0.09090909090909091, (2, 3): 0.09090909090909091, (9, 9): 0.09090909090909091, (5, 6): 0.09090909090909091, (2, 8): 0.09090909090909091, (9, 8): 0.09090909090909091, (9, 3): 0.09090909090909091, (2, 4): 0.09090909090909091, (1, 4): 0.09090909090909091, (8, 8): 0.09090909090909091}]
1 Stop [{(1, 3): 0.07142857142857142, (5, 6): 0.0, (2, 8): 0.07142857142857142, (9, 8): 0.14285714285714285, (9, 3): 0.07142857142857142, (9, 9): 0.07142857142857142, (1, 4): 0.14285714285714285, (1, 1): 0.0, (8, 9): 0.14285714285714285, (8, 8): 0.07142857142857142, (2, 3): 0.14285714285714285, (2, 4): 0.07142857142857142}, {(1, 3): 0.1739130434782609, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.04347826086956522, (9, 8): 0.08695652173913045, (9, 3): 0.1739130434782609, (9, 9): 0.1739130434782609, (1, 4): 0.08695652173913045, (8, 9): 0.08695652173913045, (8, 8): 0.04347826086956522, (2, 3): 0.08695652173913045, (2, 4): 0.04347826086956522}]
2 Stop [{(1, 3): 0.03225806451612904, (5, 6): 0.0, (2, 8): 0.12903225806451615, (9, 8): 0.12903225806451615, (9, 3): 0.03225806451612904, (9, 9): 0.03225806451612904, (1, 4): 0.12903225806451615, (1, 1): 0.0, (8, 9): 0.12903225806451615, (8, 8): 0.12903225806451615, (2, 3): 0.12903225806451615, (2, 4): 0.12903225806451615}, {(1, 3): 0.23880597014925373, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.014925373134328358, (9, 8): 0.05970149253731343, (9, 3): 0.23880597014925373, (9, 9): 0.23880597014925373, (1, 4): 0.05970149253731343, (8, 9): 0.05970149253731343, (8, 8): 0.014925373134328358, (2, 3): 0.05970149253731343, (2, 4): 0.014925373134328358}]
3 Stop [{(1, 3): 0.012048192771084338, (5, 6): 0.0, (2, 8): 0.1927710843373494, (9, 8): 0.0963855421686747, (9, 3): 0.012048192771084338, (9, 9): 0.012048192771084338, (1, 4): 0.0963855421686747, (1, 1): 0.0, (8, 9): 0.0963855421686747, (8, 8): 0.1927710843373494, (2, 3): 0.0963855421686747, (2, 4): 0.1927710843373494}, {(1, 3): 0.28193832599118945, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.004405286343612335, (9, 8): 0.03524229074889868, (9, 3): 0.28193832599118945, (9, 9): 0.28193832599118945, (1, 4): 0.03524229074889868, (8, 9): 0.03524229074889868, (8, 8): 0.004405286343612335, (2, 3): 0.03524229074889868, (2, 4): 0.004405286343612335}]
4 Stop [{(1, 3): 0.0038610038610038615, (5, 6): 0.0, (2, 8): 0.24710424710424714, (9, 8): 0.061776061776061784, (9, 3): 0.0038610038610038615, (9, 9): 0.0038610038610038615, (1, 4): 0.061776061776061784, (1, 1): 0.0, (8, 9): 0.061776061776061784, (8, 8): 0.24710424710424714, (2, 3): 0.061776061776061784, (2, 4): 0.24710424710424714}, {(1, 3): 0.30658682634730544, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0011976047904191619, (9, 8): 0.01916167664670659, (9, 3): 0.30658682634730544, (9, 9): 0.30658682634730544, (1, 4): 0.01916167664670659, (8, 9): 0.01916167664670659, (8, 8): 0.0011976047904191619, (2, 3): 0.01916167664670659, (2, 4): 0.0011976047904191619}]
5 Stop [{(1, 3): 0.003095975232198143, (5, 6): 0.0, (2, 8): 0.19814241486068115, (9, 8): 0.09907120743034058, (9, 3): 0.003095975232198143, (9, 9): 0.003095975232198143, (1, 4): 0.09907120743034058, (1, 1): 0.0, (8, 9): 0.09907120743034058, (8, 8): 0.19814241486068115, (2, 3): 0.09907120743034058, (2, 4): 0.19814241486068115}, {(1, 3): 0.31970028098657505, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0003122073056509522, (9, 8): 0.00999063378083047, (9, 3): 0.31970028098657505, (9, 9): 0.31970028098657505, (1, 4): 0.00999063378083047, (8, 9): 0.00999063378083047, (8, 8): 0.0003122073056509522, (2, 3): 0.00999063378083047, (2, 4): 0.0003122073056509522}]
6 Stop [{(1, 3): 0.0009737098344693282, (5, 6): 0.0, (2, 8): 0.249269717624148, (9, 8): 0.062317429406037, (9, 3): 0.0009737098344693282, (9, 9): 0.0009737098344693282, (1, 4): 0.062317429406037, (1, 1): 0.0, (8, 9): 0.062317429406037, (8, 8): 0.249269717624148, (2, 3): 0.062317429406037, (2, 4): 0.249269717624148}, {(1, 3): 0.3074151906334434, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 0.0003002101471029721, (9, 8): 0.019213449414590213, (9, 3): 0.3074151906334434, (9, 9): 0.3074151906334434, (1, 4): 0.019213449414590213, (8, 9): 0.019213449414590213, (8, 8): 0.0003002101471029721, (2, 3): 0.019213449414590213, (2, 4): 0.0003002101471029721}]
7 Stop [{(1, 3): 0.000779423226812159, (5, 6): 0.0, (2, 8): 0.1995323460639127, (9, 8): 0.09976617303195635, (9, 3): 0.000779423226812159, (9, 9): 0.000779423226812159, (1, 4): 0.09976617303195635, (1, 1): 0.0, (8, 9): 0.09976617303195635, (8, 8): 0.1995323460639127, (2, 3): 0.09976617303195635, (2, 4): 0.1995323460639127}, {(1, 3): 0.31992501757400604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.810669374365382e-05, (9, 8): 0.009997656799187689, (9, 3): 0.31992501757400604, (9, 9): 0.31992501757400604, (1, 4): 0.009997656799187689, (8, 9): 0.009997656799187689, (8, 8): 7.810669374365382e-05, (2, 3): 0.009997656799187689, (2, 4): 7.810669374365382e-05}]
8 Stop [{(1, 3): 0.00024396194193705782, (5, 6): 0.0, (2, 8): 0.2498170285435472, (9, 8): 0.0624542571358868, (9, 3): 0.00024396194193705782, (9, 9): 0.00024396194193705782, (1, 4): 0.0624542571358868, (1, 1): 0.0, (8, 9): 0.0624542571358868, (8, 8): 0.2498170285435472, (2, 3): 0.0624542571358868, (2, 4): 0.2498170285435472}, {(1, 3): 0.32651109029673775, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9928655413619247e-05, (9, 8): 0.005101735785886527, (9, 3): 0.32651109029673775, (9, 9): 0.32651109029673775, (1, 4): 0.005101735785886527, (8, 9): 0.005101735785886527, (8, 8): 1.9928655413619247e-05, (2, 3): 0.005101735785886527, (2, 4): 1.9928655413619247e-05}]
9 Stop [{(1, 3): 6.973987028384127e-05, (5, 6): 0.0, (2, 8): 0.28565450868261383, (9, 8): 0.03570681358532673, (9, 3): 6.973987028384127e-05, (9, 9): 6.973987028384127e-05, (1, 4): 0.03570681358532673, (1, 1): 0.0, (8, 9): 0.03570681358532673, (8, 8): 0.28565450868261383, (2, 3): 0.03570681358532673, (2, 4): 0.28565450868261383}, {(1, 3): 0.32989192535953565, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 5.033751302483149e-06, (9, 8): 0.0025772806668713723, (9, 3): 0.32989192535953565, (9, 9): 0.32989192535953565, (1, 4): 0.0025772806668713723, (8, 9): 0.0025772806668713723, (8, 8): 5.033751302483149e-06, (2, 3): 0.0025772806668713723, (2, 4): 5.033751302483149e-06}]
10 Stop [{(1, 3): 1.8778990065914254e-05, (5, 6): 0.0, (2, 8): 0.30767497323993914, (9, 8): 0.019229685827496196, (9, 3): 1.8778990065914254e-05, (9, 9): 1.8778990065914254e-05, (1, 4): 0.019229685827496196, (1, 1): 0.0, (8, 9): 0.019229685827496196, (8, 8): 0.30767497323993914, (2, 3): 0.019229685827496196, (2, 4): 0.30767497323993914}, {(1, 3): 0.33160495919831096, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2649725311214865e-06, (9, 8): 0.0012953318718684022, (9, 3): 0.33160495919831096, (9, 9): 0.33160495919831096, (1, 4): 0.0012953318718684022, (8, 9): 0.0012953318718684022, (8, 8): 1.2649725311214865e-06, (2, 3): 0.0012953318718684022, (2, 4): 1.2649725311214865e-06}]
11 Stop [{(1, 3): 4.882740975473991e-06, (5, 6): 0.0, (2, 8): 0.3199953125686635, (9, 8): 0.009999853517770734, (9, 3): 4.882740975473991e-06, (9, 9): 4.882740975473991e-06, (1, 4): 0.009999853517770734, (1, 1): 0.0, (8, 9): 0.009999853517770734, (8, 8): 0.3199953125686635, (2, 3): 0.009999853517770734, (2, 4): 0.3199953125686635}, {(1, 3): 0.33246721622563397, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.170654451614704e-07, (9, 8): 0.0006493500316906913, (9, 3): 0.33246721622563397, (9, 9): 0.33246721622563397, (1, 4): 0.0006493500316906913, (8, 9): 0.0006493500316906913, (8, 8): 3.170654451614704e-07, (2, 3): 0.0006493500316906913, (2, 4): 3.170654451614704e-07}]
12 Stop [{(1, 3): 1.2456107790174372e-06, (5, 6): 0.0, (2, 8): 0.32652939205474707, (9, 8): 0.005102021750855423, (9, 3): 1.2456107790174372e-06, (9, 9): 1.2456107790174372e-06, (1, 4): 0.005102021750855423, (1, 1): 0.0, (8, 9): 0.005102021750855423, (8, 8): 0.32652939205474707, (2, 3): 0.005102021750855423, (2, 4): 0.32652939205474707}, {(1, 3): 0.3316059030111176, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.162440328704048e-07, (9, 8): 0.001295335558637178, (9, 3): 0.3316059030111176, (9, 9): 0.3316059030111176, (1, 4): 0.001295335558637178, (8, 9): 0.001295335558637178, (8, 8): 3.162440328704048e-07, (2, 3): 0.001295335558637178, (2, 4): 3.162440328704048e-07}]
13 Stop [{(1, 3): 3.1461391052820845e-07, (5, 6): 0.0, (2, 8): 0.3298965958460267, (9, 8): 0.0025773171550470837, (9, 3): 3.1461391052820845e-07, (9, 9): 3.1461391052820845e-07, (1, 4): 0.0025773171550470837, (1, 1): 0.0, (8, 9): 0.0025773171550470837, (8, 8): 0.3298965958460267, (2, 3): 0.0025773171550470837, (2, 4): 0.3298965958460267}, {(1, 3): 0.33246745340700146, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.926641783881222e-08, (9, 8): 0.0006493504949355497, (9, 3): 0.33246745340700146, (9, 9): 0.33246745340700146, (1, 4): 0.0006493504949355497, (8, 9): 0.0006493504949355497, (8, 8): 7.926641783881222e-08, (2, 3): 0.0006493504949355497, (2, 4): 7.926641783881222e-08}]
14 Stop [{(1, 3): 7.90610644734284e-08, (5, 6): 0.0, (2, 8): 0.3316061389651586, (9, 8): 0.0012953364803326508, (9, 3): 7.90610644734284e-08, (9, 9): 7.90610644734284e-08, (1, 4): 0.0012953364803326508, (1, 1): 0.0, (8, 9): 0.0012953364803326508, (8, 8): 0.3316061389651586, (2, 3): 0.0012953364803326508, (2, 4): 0.3316061389651586}, {(1, 3): 0.33289985014441376, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9842377313638553e-08, (9, 8): 0.00032509750990665406, (9, 3): 0.33289985014441376, (9, 9): 0.33289985014441376, (1, 4): 0.00032509750990665406, (8, 9): 0.00032509750990665406, (8, 8): 1.9842377313638553e-08, (2, 3): 0.00032509750990665406, (2, 4): 1.9842377313638553e-08}]
15 Stop [{(1, 3): 1.9816607993983994e-08, (5, 6): 0.0, (2, 8): 0.33246751270239616, (9, 8): 0.0006493506107468675, (9, 3): 1.9816607993983994e-08, (9, 9): 1.9816607993983994e-08, (1, 4): 0.0006493506107468675, (1, 1): 0.0, (8, 9): 0.0006493506107468675, (8, 8): 0.33246751270239616, (2, 3): 0.0006493506107468675, (2, 4): 0.33246751270239616}, {(1, 3): 0.33311645567701337, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.963822002366384e-09, (9, 8): 0.00016265451937354168, (9, 3): 0.33311645567701337, (9, 9): 0.33311645567701337, (1, 4): 0.00016265451937354168, (8, 9): 0.00016265451937354168, (8, 8): 4.963822002366384e-09, (2, 3): 0.00016265451937354168, (2, 4): 4.963822002366384e-09}]
16 Stop [{(1, 3): 1.976526963434943e-08, (5, 6): 0.0, (2, 8): 0.3316061979537214, (9, 8): 0.0012953367107567243, (9, 3): 1.976526963434943e-08, (9, 9): 1.976526963434943e-08, (1, 4): 0.0012953367107567243, (1, 1): 0.0, (8, 9): 0.0012953367107567243, (8, 8): 0.3316061979537214, (2, 3): 0.0012953367107567243, (2, 4): 0.3316061979537214}, {(1, 3): 0.3332248604577105, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.241359339869434e-09, (9, 8): 8.135372569768323e-05, (9, 3): 0.3332248604577105, (9, 9): 0.3332248604577105, (1, 4): 8.135372569768323e-05, (8, 9): 8.135372569768323e-05, (8, 8): 1.241359339869434e-09, (2, 3): 8.135372569768323e-05, (2, 4): 1.241359339869434e-09}]
17 Stop [{(1, 3): 1.9663386807192762e-08, (5, 6): 0.0, (2, 8): 0.3298968877558233, (9, 8): 0.0025773194355923697, (9, 3): 1.9663386807192762e-08, (9, 9): 1.9663386807192762e-08, (1, 4): 0.0025773194355923697, (1, 1): 0.0, (8, 9): 0.0025773194355923697, (8, 8): 0.3298968877558233, (2, 3): 0.0025773194355923697, (2, 4): 0.3298968877558233}, {(1, 3): 0.3331164556770132, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.963822002366382e-09, (9, 8): 0.0001626545193735416, (9, 3): 0.3331164556770132, (9, 9): 0.3331164556770132, (1, 4): 0.0001626545193735416, (8, 9): 0.0001626545193735416, (8, 8): 4.963822002366382e-09, (2, 3): 0.0001626545193735416, (2, 4): 4.963822002366382e-09}]
18 Stop [{(1, 3): 7.785094642227802e-08, (5, 6): 0.0, (2, 8): 0.3265305359827464, (9, 8): 0.005102039624730412, (9, 3): 7.785094642227802e-08, (9, 9): 7.785094642227802e-08, (1, 4): 0.005102039624730412, (1, 1): 0.0, (8, 9): 0.005102039624730412, (8, 8): 0.3265305359827464, (2, 3): 0.005102039624730412, (2, 4): 0.3265305359827464}, {(1, 3): 0.33322486045771044, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2413593398694338e-09, (9, 8): 8.135372569768321e-05, (9, 3): 0.33322486045771044, (9, 9): 0.33322486045771044, (1, 4): 8.135372569768321e-05, (8, 9): 8.135372569768321e-05, (8, 8): 1.2413593398694338e-09, (2, 3): 8.135372569768321e-05, (2, 4): 1.2413593398694338e-09}]
19 Stop [{(1, 3): 1.9663386807192765e-08, (5, 6): 0.0, (2, 8): 0.3298968877558234, (9, 8): 0.00257731943559237, (9, 3): 1.9663386807192765e-08, (9, 9): 1.9663386807192765e-08, (1, 4): 0.00257731943559237, (1, 1): 0.0, (8, 9): 0.00257731943559237, (8, 8): 0.3298968877558234, (2, 3): 0.00257731943559237, (2, 4): 0.3298968877558234}, {(1, 3): 0.3331164593974576, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.2409555144513309e-09, (9, 8): 0.00016265452119016484, (9, 3): 0.3331164593974576, (9, 9): 0.3331164593974576, (1, 4): 0.00016265452119016484, (8, 9): 0.00016265452119016484, (8, 8): 1.2409555144513309e-09, (2, 3): 0.00016265452119016484, (2, 4): 1.2409555144513309e-09}]
20 Stop [{(1, 3): 4.941317628336927e-09, (5, 6): 0.0, (2, 8): 0.3316062127008654, (9, 8): 0.0012953367683627554, (9, 3): 4.941317628336927e-09, (9, 9): 4.941317628336927e-09, (1, 4): 0.0012953367683627554, (1, 1): 0.0, (8, 9): 0.0012953367683627554, (8, 8): 0.3316062127008654, (2, 3): 0.0012953367683627554, (2, 4): 0.3316062127008654}, {(1, 3): 0.33322486138842694, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.1033983583415574e-10, (9, 8): 8.135372592490892e-05, (9, 3): 0.33322486138842694, (9, 9): 0.33322486138842694, (1, 4): 8.135372592490892e-05, (8, 9): 8.135372592490892e-05, (8, 8): 3.1033983583415574e-10, (2, 3): 8.135372592490892e-05, (2, 4): 3.1033983583415574e-10}]
21 Stop [{(1, 3): 4.91584691928814e-09, (5, 6): 0.0, (2, 8): 0.32989690235132674, (9, 8): 0.00257731954961974, (9, 3): 4.91584691928814e-09, (9, 9): 4.91584691928814e-09, (1, 4): 0.00257731954961974, (1, 1): 0.0, (8, 9): 0.00257731954961974, (8, 8): 0.32989690235132674, (2, 3): 0.00257731954961974, (2, 4): 0.32989690235132674}, {(1, 3): 0.3331164603275687, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.102388794790662e-10, (9, 8): 0.00016265452164432065, (9, 3): 0.3331164603275687, (9, 9): 0.3331164603275687, (1, 4): 0.00016265452164432065, (8, 9): 0.00016265452164432065, (8, 8): 3.102388794790662e-10, (2, 3): 0.00016265452164432065, (2, 4): 3.102388794790662e-10}]
22 Stop [{(1, 3): 1.2353294208185804e-09, (5, 6): 0.0, (2, 8): 0.33160621638765153, (9, 8): 0.0012953367827642638, (9, 3): 1.2353294208185804e-09, (9, 9): 1.2353294208185804e-09, (1, 4): 0.0012953367827642638, (1, 1): 0.0, (8, 9): 0.0012953367827642638, (8, 8): 0.33160621638765153, (2, 3): 0.0012953367827642638, (2, 4): 0.33160621638765153}, {(1, 3): 0.33322486162110604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.758495901271376e-11, (9, 8): 8.135372598171534e-05, (9, 3): 0.33322486162110604, (9, 9): 0.33322486162110604, (1, 4): 8.135372598171534e-05, (8, 9): 8.135372598171534e-05, (8, 8): 7.758495901271376e-11, (2, 3): 8.135372598171534e-05, (2, 4): 7.758495901271376e-11}]
23 Stop [{(1, 3): 3.096345180260969e-10, (5, 6): 0.0, (2, 8): 0.3324675321587022, (9, 8): 0.0006493506487474652, (9, 3): 3.096345180260969e-10, (9, 9): 3.096345180260969e-10, (1, 4): 0.0006493506487474652, (1, 1): 0.0, (8, 9): 0.0006493506487474652, (8, 8): 0.3324675321587022, (2, 3): 0.0006493506487474652, (2, 4): 0.3324675321587022}, {(1, 3): 0.3331164603275687, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.102388794790662e-10, (9, 8): 0.00016265452164432065, (9, 3): 0.3331164603275687, (9, 9): 0.3331164603275687, (1, 4): 0.00016265452164432065, (8, 9): 0.00016265452164432065, (8, 8): 3.102388794790662e-10, (2, 3): 0.00016265452164432065, (2, 4): 3.102388794790662e-10}]
24 Stop [{(1, 3): 1.2353294208185804e-09, (5, 6): 0.0, (2, 8): 0.33160621638765153, (9, 8): 0.0012953367827642638, (9, 3): 1.2353294208185804e-09, (9, 9): 1.2353294208185804e-09, (1, 4): 0.0012953367827642638, (1, 1): 0.0, (8, 9): 0.0012953367827642638, (8, 8): 0.33160621638765153, (2, 3): 0.0012953367827642638, (2, 4): 0.33160621638765153}, {(1, 3): 0.33322486162110604, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.758495901271376e-11, (9, 8): 8.135372598171534e-05, (9, 3): 0.33322486162110604, (9, 9): 0.33322486162110604, (1, 4): 8.135372598171534e-05, (8, 9): 8.135372598171534e-05, (8, 8): 7.758495901271376e-11, (2, 3): 8.135372598171534e-05, (2, 4): 7.758495901271376e-11}]
25 Stop [{(1, 3): 3.096345180260969e-10, (5, 6): 0.0, (2, 8): 0.3324675321587022, (9, 8): 0.0006493506487474652, (9, 3): 3.096345180260969e-10, (9, 9): 3.096345180260969e-10, (1, 4): 0.0006493506487474652, (1, 1): 0.0, (8, 9): 0.0006493506487474652, (8, 8): 0.3324675321587022, (2, 3): 0.0006493506487474652, (2, 4): 0.3324675321587022}, {(1, 3): 0.33327908867059564, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.9399396182887468e-11, (9, 8): 4.068348250373482e-05, (9, 3): 0.33327908867059564, (9, 9): 0.33327908867059564, (1, 4): 4.068348250373482e-05, (8, 9): 4.068348250373482e-05, (8, 8): 1.9399396182887468e-11, (2, 3): 4.068348250373482e-05, (2, 4): 1.9399396182887468e-11}]
26 Stop [{(1, 3): 7.750929097728333e-11, (5, 6): 0.0, (2, 8): 0.3328998698835798, (9, 8): 0.0003250975291831834, (9, 3): 7.750929097728333e-11, (9, 9): 7.750929097728333e-11, (1, 4): 0.0003250975291831834, (1, 1): 0.0, (8, 9): 0.0003250975291831834, (8, 8): 0.3328998698835798, (2, 3): 0.0003250975291831834, (2, 4): 0.3328998698835798}, {(1, 3): 0.33330620879977224, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.850243695542627e-12, (9, 8): 2.0343396533189224e-05, (9, 3): 0.33330620879977224, (9, 9): 0.33330620879977224, (1, 4): 2.0343396533189224e-05, (8, 9): 2.0343396533189224e-05, (8, 8): 4.850243695542627e-12, (2, 3): 2.0343396533189224e-05, (2, 4): 4.850243695542627e-12}]
27 Stop [{(1, 3): 1.938992998436026e-11, (5, 6): 0.0, (2, 8): 0.3331164606182284, (9, 8): 0.00016265452178624434, (9, 3): 1.938992998436026e-11, (9, 9): 1.938992998436026e-11, (1, 4): 0.00016265452178624434, (1, 1): 0.0, (8, 9): 0.00016265452178624434, (8, 8): 0.3331164606182284, (2, 3): 0.00016265452178624434, (2, 4): 0.3331164606182284}, {(1, 3): 0.3332790886851428, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.849849045933556e-12, (9, 8): 4.068348250551059e-05, (9, 3): 0.3332790886851428, (9, 9): 0.3332790886851428, (1, 4): 4.068348250551059e-05, (8, 9): 4.068348250551059e-05, (8, 8): 4.849849045933556e-12, (2, 3): 4.068348250551059e-05, (2, 4): 4.849849045933556e-12}]
28 Stop [{(1, 3): 4.849059939352713e-12, (5, 6): 0.0, (2, 8): 0.3332248616938183, (9, 8): 8.135372599946736e-05, (9, 3): 4.849059939352713e-12, (9, 9): 4.849059939352713e-12, (1, 4): 8.135372599946736e-05, (1, 1): 0.0, (8, 9): 8.135372599946736e-05, (8, 8): 0.3332248616938183, (2, 3): 8.135372599946736e-05, (2, 4): 0.3332248616938183}, {(1, 3): 0.3333062088034095, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.212560923898889e-12, (9, 8): 2.0343396533411224e-05, (9, 3): 0.3333062088034095, (9, 9): 0.3333062088034095, (1, 4): 2.0343396533411224e-05, (8, 9): 2.0343396533411224e-05, (8, 8): 1.212560923898889e-12, (2, 3): 2.0343396533411224e-05, (2, 4): 1.212560923898889e-12}]
29 Stop [{(1, 3): 1.2124622614966196e-12, (5, 6): 0.0, (2, 8): 0.3332790886887796, (9, 8): 4.068348250595454e-05, (9, 3): 1.2124622614966196e-12, (9, 9): 1.2124622614966196e-12, (1, 4): 4.068348250595454e-05, (1, 1): 0.0, (8, 9): 4.068348250595454e-05, (8, 8): 0.3332790886887796, (2, 3): 4.068348250595454e-05, (2, 4): 0.3332790886887796}, {(1, 3): 0.3333197705168471, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 3.031525652812407e-13, (9, 8): 1.0172112137354952e-05, (9, 3): 0.3333197705168471, (9, 9): 0.3333197705168471, (1, 4): 1.0172112137354952e-05, (8, 9): 1.0172112137354952e-05, (8, 8): 3.031525652812407e-13, (2, 3): 1.0172112137354952e-05, (2, 4): 3.031525652812407e-13}]
30 Stop [{(1, 3): 3.031402309755494e-13, (5, 6): 0.0, (2, 8): 0.33330620880431894, (9, 8): 2.0343396533466732e-05, (9, 3): 3.031402309755494e-13, (9, 9): 3.031402309755494e-13, (1, 4): 2.0343396533466732e-05, (1, 1): 0.0, (8, 9): 2.0343396533466732e-05, (8, 8): 0.33330620880431894, (2, 3): 2.0343396533466732e-05, (2, 4): 0.33330620880431894}, {(1, 3): 0.3333265517872007, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.578968320267466e-14, (9, 8): 5.086159542651378e-06, (9, 3): 0.3333265517872007, (9, 9): 0.3333265517872007, (1, 4): 5.086159542651378e-06, (8, 9): 5.086159542651378e-06, (8, 8): 7.578968320267466e-14, (2, 3): 5.086159542651378e-06, (2, 4): 7.578968320267466e-14}]
31 Stop [{(1, 3): 7.578814132036186e-14, (5, 6): 0.0, (2, 8): 0.3333197705170744, (9, 8): 1.017211213736189e-05, (9, 3): 7.578814132036186e-14, (9, 9): 7.578814132036186e-14, (1, 4): 1.017211213736189e-05, (1, 1): 0.0, (8, 9): 1.017211213736189e-05, (8, 8): 0.3333197705170744, (2, 3): 1.017211213736189e-05, (2, 4): 0.3333197705170744}, {(1, 3): 0.3333299425257936, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.894761354184275e-14, (9, 8): 2.5431056406081667e-06, (9, 3): 0.3333299425257936, (9, 9): 0.3333299425257936, (1, 4): 2.5431056406081667e-06, (8, 9): 2.5431056406081667e-06, (8, 8): 1.894761354184275e-14, (2, 3): 2.5431056406081667e-06, (2, 4): 1.894761354184275e-14}]
32 Stop [{(1, 3): 1.8947420800671896e-14, (5, 6): 0.0, (2, 8): 0.33332655178725756, (9, 8): 5.0861595426522455e-06, (9, 3): 1.8947420800671896e-14, (9, 9): 1.8947420800671896e-14, (1, 4): 5.0861595426522455e-06, (1, 1): 0.0, (8, 9): 5.0861595426522455e-06, (8, 8): 0.33332655178725756, (2, 3): 5.0861595426522455e-06, (2, 4): 0.33332655178725756}, {(1, 3): 0.33333163792094495, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.7369274784748675e-15, (9, 8): 1.2715592877233312e-06, (9, 3): 0.33333163792094495, (9, 9): 0.33333163792094495, (1, 4): 1.2715592877233312e-06, (8, 9): 1.2715592877233312e-06, (8, 8): 4.7369274784748675e-15, (2, 3): 1.2715592877233312e-06, (2, 4): 4.7369274784748675e-15}]
33 Stop [{(1, 3): 1.89470353300937e-14, (5, 6): 0.0, (2, 8): 0.3333197705171313, (9, 8): 1.0172112137363626e-05, (9, 3): 1.89470353300937e-14, (9, 9): 1.89470353300937e-14, (1, 4): 1.0172112137363626e-05, (1, 1): 0.0, (8, 9): 1.0172112137363626e-05, (8, 8): 0.3333197705171313, (2, 3): 1.0172112137363626e-05, (2, 4): 0.3333197705171313}, {(1, 3): 0.3333299425258078, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.736903385460888e-15, (9, 8): 2.5431056406082747e-06, (9, 3): 0.3333299425258078, (9, 9): 0.3333299425258078, (1, 4): 2.5431056406082747e-06, (8, 9): 2.5431056406082747e-06, (8, 8): 4.736903385460888e-15, (2, 3): 2.5431056406082747e-06, (2, 4): 4.736903385460888e-15}]
34 Stop [{(1, 3): 4.736855200168175e-15, (5, 6): 0.0, (2, 8): 0.3333265517872717, (9, 8): 5.0861595426524615e-06, (9, 3): 4.736855200168175e-15, (9, 9): 4.736855200168175e-15, (1, 4): 5.0861595426524615e-06, (1, 1): 0.0, (8, 9): 5.0861595426524615e-06, (8, 8): 0.3333265517872717, (2, 3): 5.0861595426524615e-06, (2, 4): 0.3333265517872717}, {(1, 3): 0.33333163792094855, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1842318696187297e-15, (9, 8): 1.271559287723345e-06, (9, 3): 0.33333163792094855, (9, 9): 0.33333163792094855, (1, 4): 1.271559287723345e-06, (8, 9): 1.271559287723345e-06, (8, 8): 1.1842318696187297e-15, (2, 3): 1.271559287723345e-06, (2, 4): 1.1842318696187297e-15}]
35 Stop [{(1, 3): 1.1842258463652347e-15, (5, 6): 0.0, (2, 8): 0.33332994252581133, (9, 8): 2.5431056406083018e-06, (9, 3): 1.1842258463652347e-15, (9, 9): 1.1842258463652347e-15, (1, 4): 2.5431056406083018e-06, (1, 1): 0.0, (8, 9): 2.5431056406083018e-06, (8, 8): 0.33332994252581133, (2, 3): 2.5431056406083018e-06, (2, 4): 0.33332994252581133}, {(1, 3): 0.3333299425258078, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.736903385460888e-15, (9, 8): 2.5431056406082747e-06, (9, 3): 0.3333299425258078, (9, 9): 0.3333299425258078, (1, 4): 2.5431056406082747e-06, (8, 9): 2.5431056406082747e-06, (8, 8): 4.736903385460888e-15, (2, 3): 2.5431056406082747e-06, (2, 4): 4.736903385460888e-15}]
36 Stop [{(1, 3): 1.1842138000420564e-15, (5, 6): 0.0, (2, 8): 0.33332655178727527, (9, 8): 5.086159542652516e-06, (9, 3): 1.1842138000420564e-15, (9, 9): 1.1842138000420564e-15, (1, 4): 5.086159542652516e-06, (1, 1): 0.0, (8, 9): 5.086159542652516e-06, (8, 8): 0.33332655178727527, (2, 3): 5.086159542652516e-06, (2, 4): 0.33332655178727527}, {(1, 3): 0.33333163792094855, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1842318696187297e-15, (9, 8): 1.271559287723345e-06, (9, 3): 0.33333163792094855, (9, 9): 0.33333163792094855, (1, 4): 1.271559287723345e-06, (8, 9): 1.271559287723345e-06, (8, 8): 1.1842318696187297e-15, (2, 3): 1.271559287723345e-06, (2, 4): 1.1842318696187297e-15}]
37 Stop [{(1, 3): 4.736758832523626e-15, (5, 6): 0.0, (2, 8): 0.33331977051714545, (9, 8): 1.0172112137364058e-05, (9, 3): 4.736758832523626e-15, (9, 9): 4.736758832523626e-15, (1, 4): 1.0172112137364058e-05, (1, 1): 0.0, (8, 9): 1.0172112137364058e-05, (8, 8): 0.33331977051714545, (2, 3): 1.0172112137364058e-05, (2, 4): 0.33331977051714545}, {(1, 3): 0.33333248562498535, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.960587203171142e-16, (9, 8): 6.357812607288081e-07, (9, 3): 0.33333248562498535, (9, 9): 0.33333248562498535, (1, 4): 6.357812607288081e-07, (8, 9): 6.357812607288081e-07, (8, 8): 2.960587203171142e-16, (2, 3): 6.357812607288081e-07, (2, 4): 2.960587203171142e-16}]
38 Stop [{(1, 3): 1.8946264435987987e-14, (5, 6): 0.0, (2, 8): 0.33330620880460304, (9, 8): 2.0343396533484072e-05, (9, 3): 1.8946264435987987e-14, (9, 9): 1.8946264435987987e-14, (1, 4): 2.0343396533484072e-05, (1, 1): 0.0, (8, 9): 2.0343396533484072e-05, (8, 8): 0.33330620880460304, (2, 3): 2.0343396533484072e-05, (2, 4): 0.33330620880460304}, {(1, 3): 0.33333290947862054, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.401477419369152e-17, (9, 8): 3.1789103458272986e-07, (9, 3): 0.33333290947862054, (9, 9): 0.33333290947862054, (1, 4): 3.1789103458272986e-07, (8, 9): 3.1789103458272986e-07, (8, 8): 7.401477419369152e-17, (2, 3): 3.1789103458272986e-07, (2, 4): 7.401477419369152e-17}]
39 Stop [{(1, 3): 7.577889134379713e-14, (5, 6): 0.0, (2, 8): 0.33327908868991607, (9, 8): 4.068348250609327e-05, (9, 3): 7.577889134379713e-14, (9, 9): 7.577889134379713e-14, (1, 4): 4.068348250609327e-05, (1, 1): 0.0, (8, 9): 4.068348250609327e-05, (8, 8): 0.33327908868991607, (2, 3): 4.068348250609327e-05, (2, 4): 0.33327908868991607}, {(1, 3): 0.33333312140584226, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8503705312746935e-17, (9, 8): 1.5894561834613908e-07, (9, 3): 0.33333312140584226, (9, 9): 0.33333312140584226, (1, 4): 1.5894561834613908e-07, (8, 9): 1.5894561834613908e-07, (8, 8): 1.8503705312746935e-17, (2, 3): 1.5894561834613908e-07, (2, 4): 1.8503705312746935e-17}]
40 Stop [{(1, 3): 1.894626443598799e-14, (5, 6): 0.0, (2, 8): 0.3333062088046031, (9, 8): 2.0343396533484076e-05, (9, 3): 1.894626443598799e-14, (9, 9): 1.894626443598799e-14, (1, 4): 2.0343396533484076e-05, (1, 1): 0.0, (8, 9): 2.0343396533484076e-05, (8, 8): 0.3333062088046031, (2, 3): 2.0343396533484076e-05, (2, 4): 0.3333062088046031}, {(1, 3): 0.3333332273695541, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.625927798728642e-18, (9, 8): 7.947283443678716e-08, (9, 3): 0.3333332273695541, (9, 9): 0.3333332273695541, (1, 4): 7.947283443678716e-08, (8, 9): 7.947283443678716e-08, (8, 8): 4.625927798728642e-18, (2, 3): 7.947283443678716e-08, (2, 4): 4.625927798728642e-18}]
41 Stop [{(1, 3): 1.8944722835952517e-14, (5, 6): 0.0, (2, 8): 0.33327908868997297, (9, 8): 4.0683482506100216e-05, (9, 3): 1.8944722835952517e-14, (9, 9): 1.8944722835952517e-14, (1, 4): 4.0683482506100216e-05, (1, 1): 0.0, (8, 9): 4.0683482506100216e-05, (8, 8): 0.33327908868997297, (2, 3): 4.0683482506100216e-05, (2, 4): 0.33327908868997297}, {(1, 3): 0.33333328035143533, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1564821334999869e-18, (9, 8): 3.9736423534326e-08, (9, 3): 0.33333328035143533, (9, 9): 0.33333328035143533, (1, 4): 3.9736423534326e-08, (8, 9): 3.9736423534326e-08, (8, 8): 1.1564821334999869e-18, (2, 3): 3.9736423534326e-08, (2, 4): 1.1564821334999869e-18}]
42 Stop [{(1, 3): 4.7365661089971995e-15, (5, 6): 0.0, (2, 8): 0.3333062088046173, (9, 8): 2.0343396533484943e-05, (9, 3): 4.7365661089971995e-15, (9, 9): 4.7365661089971995e-15, (1, 4): 2.0343396533484943e-05, (1, 1): 0.0, (8, 9): 2.0343396533484943e-05, (8, 8): 0.3333062088046173, (2, 3): 2.0343396533484943e-05, (2, 4): 0.3333062088046173}, {(1, 3): 0.3333333068423821, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.8912055635223035e-19, (9, 8): 1.986821334614647e-08, (9, 3): 0.3333333068423821, (9, 9): 0.3333333068423821, (1, 4): 1.986821334614647e-08, (8, 9): 1.986821334614647e-08, (8, 8): 2.8912055635223035e-19, (2, 3): 1.986821334614647e-08, (2, 4): 2.8912055635223035e-19}]
43 Stop [{(1, 3): 4.73618070898833e-15, (5, 6): 0.0, (2, 8): 0.3332790886899871, (9, 8): 4.0683482506101944e-05, (9, 3): 4.73618070898833e-15, (9, 9): 4.73618070898833e-15, (1, 4): 4.0683482506101944e-05, (1, 1): 0.0, (8, 9): 4.0683482506101944e-05, (8, 8): 0.3332790886899871, (2, 3): 4.0683482506101944e-05, (2, 4): 0.3332790886899871}, {(1, 3): 0.3333333200878572, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228014196021216e-20, (9, 8): 9.934107067819155e-09, (9, 3): 0.3333333200878572, (9, 9): 0.3333333200878572, (1, 4): 9.934107067819155e-09, (8, 9): 9.934107067819155e-09, (8, 8): 7.228014196021216e-20, (2, 3): 9.934107067819155e-09, (2, 4): 7.228014196021216e-20}]
44 Stop [{(1, 3): 1.8941640388371008e-14, (5, 6): 0.0, (2, 8): 0.3332248616986469, (9, 8): 8.135372600064622e-05, (9, 3): 1.8941640388371008e-14, (9, 9): 1.8941640388371008e-14, (1, 4): 8.135372600064622e-05, (1, 1): 0.0, (8, 9): 8.135372600064622e-05, (8, 8): 0.3332248616986469, (2, 3): 8.135372600064622e-05, (2, 4): 0.3332248616986469}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228013908805761e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 7.228013908805761e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 7.228013908805761e-20}]
45 Stop [{(1, 3): 7.574191400579593e-14, (5, 6): 0.0, (2, 8): 0.33311646063753, (9, 8): 0.00016265452179566893, (9, 3): 7.574191400579593e-14, (9, 9): 7.574191400579593e-14, (1, 4): 0.00016265452179566893, (1, 1): 0.0, (8, 9): 0.00016265452179566893, (8, 8): 0.33311646063753, (2, 3): 0.00016265452179566893, (2, 4): 0.33311646063753}, {(1, 3): 0.33333332008785715, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070035490053038e-20, (9, 8): 9.934107067819153e-09, (9, 3): 0.33333332008785715, (9, 9): 0.33333332008785715, (1, 4): 9.934107067819153e-09, (8, 9): 9.934107067819153e-09, (8, 8): 1.8070035490053038e-20, (2, 3): 9.934107067819153e-09, (2, 4): 1.8070035490053038e-20}]
46 Stop [{(1, 3): 7.569266698758671e-14, (5, 6): 0.0, (2, 8): 0.33289986996091264, (9, 8): 0.00032509752925870375, (9, 3): 7.569266698758671e-14, (9, 9): 7.569266698758671e-14, (1, 4): 0.00032509752925870375, (1, 1): 0.0, (8, 9): 0.00032509752925870375, (8, 8): 0.33289986996091264, (2, 3): 0.00032509752925870375, (2, 4): 0.33289986996091264}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014403e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 1.8070034772014403e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 1.8070034772014403e-20}]
47 Stop [{(1, 3): 3.023774592904655e-13, (5, 6): 0.0, (2, 8): 0.3324675324672309, (9, 8): 0.0006493506493500603, (9, 3): 3.023774592904655e-13, (9, 9): 3.023774592904655e-13, (1, 4): 0.0006493506493500603, (1, 1): 0.0, (8, 9): 0.0006493506493500603, (8, 8): 0.3324675324672309, (2, 3): 0.0006493506493500603, (2, 4): 0.3324675324672309}, {(1, 3): 0.33333332008785715, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.5175088725132595e-21, (9, 8): 9.934107067819153e-09, (9, 3): 0.33333332008785715, (9, 9): 0.33333332008785715, (1, 4): 9.934107067819153e-09, (8, 9): 9.934107067819153e-09, (8, 8): 4.5175088725132595e-21, (2, 3): 9.934107067819153e-09, (2, 4): 4.5175088725132595e-21}]
48 Stop [{(1, 3): 7.569266698758672e-14, (5, 6): 0.0, (2, 8): 0.3328998699609127, (9, 8): 0.0003250975292587038, (9, 3): 7.569266698758672e-14, (9, 9): 7.569266698758672e-14, (1, 4): 0.0003250975292587038, (1, 1): 0.0, (8, 9): 0.0003250975292587038, (8, 8): 0.3328998699609127, (2, 3): 0.0003250975292587038, (2, 4): 0.3328998699609127}, {(1, 3): 0.3333333068423822, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014403e-20, (9, 8): 1.9868213346146477e-08, (9, 3): 0.3333333068423822, (9, 9): 0.3333333068423822, (1, 4): 1.9868213346146477e-08, (8, 9): 1.9868213346146477e-08, (8, 8): 1.8070034772014403e-20, (2, 3): 1.9868213346146477e-08, (2, 4): 1.8070034772014403e-20}]
49 Stop [{(1, 3): 1.8935478501452213e-14, (5, 6): 0.0, (2, 8): 0.3331164606375868, (9, 8): 0.0001626545217956967, (9, 3): 1.8935478501452213e-14, (9, 9): 1.8935478501452213e-14, (1, 4): 0.0001626545217956967, (1, 1): 0.0, (8, 9): 0.0001626545217956967, (8, 8): 0.3331164606375868, (2, 3): 0.0001626545217956967, (2, 4): 0.3331164606375868}, {(1, 3): 0.33333328035143533, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.228013334374918e-20, (9, 8): 3.9736423534326e-08, (9, 3): 0.33333328035143533, (9, 9): 0.33333328035143533, (1, 4): 3.9736423534326e-08, (8, 9): 3.9736423534326e-08, (8, 8): 7.228013334374918e-20, (2, 3): 3.9736423534326e-08, (2, 4): 7.228013334374918e-20}]
50 Stop [{(1, 3): 1.8923166746899905e-14, (5, 6): 0.0, (2, 8): 0.33289986996096943, (9, 8): 0.0003250975292587592, (9, 3): 1.8923166746899905e-14, (9, 9): 1.8923166746899905e-14, (1, 4): 0.0003250975292587592, (1, 1): 0.0, (8, 9): 0.0003250975292587592, (8, 8): 0.33289986996096943, (2, 3): 0.0003250975292587592, (2, 4): 0.33289986996096943}, {(1, 3): 0.3333333068423821, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.8070034772014397e-20, (9, 8): 1.986821334614647e-08, (9, 3): 0.3333333068423821, (9, 9): 0.3333333068423821, (1, 4): 1.986821334614647e-08, (8, 9): 1.986821334614647e-08, (8, 8): 1.8070034772014397e-20, (2, 3): 1.986821334614647e-08, (2, 4): 1.8070034772014397e-20}]
51 Stop [{(1, 3): 4.7338696253632545e-15, (5, 6): 0.0, (2, 8): 0.333116460637601, (9, 8): 0.0001626545217957036, (9, 3): 4.7338696253632545e-15, (9, 9): 4.7338696253632545e-15, (1, 4): 0.0001626545217957036, (1, 1): 0.0, (8, 9): 0.0001626545217957036, (8, 8): 0.333116460637601, (2, 3): 0.0001626545217957036, (2, 4): 0.333116460637601}, {(1, 3): 0.3333333200878572, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.51750887251326e-21, (9, 8): 9.934107067819155e-09, (9, 3): 0.3333333200878572, (9, 9): 0.3333333200878572, (1, 4): 9.934107067819155e-09, (8, 9): 9.934107067819155e-09, (8, 8): 4.51750887251326e-21, (2, 3): 9.934107067819155e-09, (2, 4): 4.51750887251326e-21}]
52 Stop [{(1, 3): 1.183852524273251e-15, (5, 6): 0.0, (2, 8): 0.33322486169866466, (9, 8): 8.135372600065055e-05, (9, 3): 1.183852524273251e-15, (9, 9): 1.183852524273251e-15, (1, 4): 8.135372600065055e-05, (1, 1): 0.0, (8, 9): 8.135372600065055e-05, (8, 8): 0.33322486169866466, (2, 3): 8.135372600065055e-05, (2, 4): 0.33322486169866466}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1293772405670237e-21, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 1.1293772405670237e-21, (2, 3): 4.967053632596062e-09, (2, 4): 1.1293772405670237e-21}]
53 Stop [{(1, 3): 2.960112943117746e-16, (5, 6): 0.0, (2, 8): 0.33327908868999156, (9, 8): 4.0683482506102486e-05, (9, 3): 2.960112943117746e-16, (9, 9): 2.960112943117746e-16, (1, 4): 4.0683482506102486e-05, (1, 1): 0.0, (8, 9): 4.0683482506102486e-05, (8, 8): 0.33327908868999156, (2, 3): 4.0683482506102486e-05, (2, 4): 0.33327908868999156}, {(1, 3): 0.33333332008785727, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1293772181283153e-21, (9, 8): 9.934107067819156e-09, (9, 3): 0.33333332008785727, (9, 9): 0.33333332008785727, (1, 4): 9.934107067819156e-09, (8, 9): 9.934107067819156e-09, (8, 8): 1.1293772181283153e-21, (2, 3): 9.934107067819156e-09, (2, 4): 1.1293772181283153e-21}]
54 Stop [{(1, 3): 7.400884545308227e-17, (5, 6): 0.0, (2, 8): 0.3333062088046219, (9, 8): 2.0343396533485224e-05, (9, 3): 7.400884545308227e-17, (9, 9): 7.400884545308227e-17, (1, 4): 2.0343396533485224e-05, (1, 1): 0.0, (8, 9): 2.0343396533485224e-05, (8, 8): 0.3333062088046219, (2, 3): 2.0343396533485224e-05, (2, 4): 0.3333062088046219}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.8234431014175593e-22, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 2.8234431014175593e-22, (2, 3): 4.967053632596062e-09, (2, 4): 2.8234431014175593e-22}]
55 Stop [{(1, 3): 1.8502964189545677e-17, (5, 6): 0.0, (2, 8): 0.33331977051715017, (9, 8): 1.0172112137364202e-05, (9, 3): 1.8502964189545677e-17, (9, 9): 1.8502964189545677e-17, (1, 4): 1.0172112137364202e-05, (1, 1): 0.0, (8, 9): 1.0172112137364202e-05, (8, 8): 0.33331977051715017, (2, 3): 1.0172112137364202e-05, (2, 4): 0.33331977051715017}, {(1, 3): 0.33333332008785727, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 2.823443045320788e-22, (9, 8): 9.934107067819156e-09, (9, 3): 0.33333332008785727, (9, 9): 0.33333332008785727, (1, 4): 9.934107067819156e-09, (8, 9): 9.934107067819156e-09, (8, 8): 2.823443045320788e-22, (2, 3): 9.934107067819156e-09, (2, 4): 2.823443045320788e-22}]
56 Stop [{(1, 3): 4.625835156414299e-18, (5, 6): 0.0, (2, 8): 0.33332655178727644, (9, 8): 5.0861595426525335e-06, (9, 3): 4.625835156414299e-18, (9, 9): 4.625835156414299e-18, (1, 4): 5.0861595426525335e-06, (1, 1): 0.0, (8, 9): 5.0861595426525335e-06, (8, 8): 0.33332655178727644, (2, 3): 5.0861595426525335e-06, (2, 4): 0.33332655178727644}, {(1, 3): 0.33333332671059507, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 7.058607753543898e-23, (9, 8): 4.967053632596062e-09, (9, 3): 0.33333332671059507, (9, 9): 0.33333332671059507, (1, 4): 4.967053632596062e-09, (8, 9): 4.967053632596062e-09, (8, 8): 7.058607753543898e-23, (2, 3): 4.967053632596062e-09, (2, 4): 7.058607753543898e-23}]
57 Stop [{(1, 3): 1.1564705530910536e-18, (5, 6): 0.0, (2, 8): 0.3333299425258125, (9, 8): 2.5431056406083107e-06, (9, 3): 1.1564705530910536e-18, (9, 9): 1.1564705530910536e-18, (1, 4): 2.5431056406083107e-06, (1, 1): 0.0, (8, 9): 2.5431056406083107e-06, (8, 8): 0.3333299425258125, (2, 3): 2.5431056406083107e-06, (2, 4): 0.3333299425258125}, {(1, 3): 0.33333333002196414, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.7646519559162165e-23, (9, 8): 2.483526840969653e-09, (9, 3): 0.33333333002196414, (9, 9): 0.33333333002196414, (1, 4): 2.483526840969653e-09, (8, 9): 2.483526840969653e-09, (8, 8): 1.7646519559162165e-23, (2, 3): 2.483526840969653e-09, (2, 4): 1.7646519559162165e-23}]
58 Stop [{(1, 3): 4.6258351564143e-18, (5, 6): 0.0, (2, 8): 0.3333265517872765, (9, 8): 5.086159542652534e-06, (9, 3): 4.6258351564143e-18, (9, 9): 4.6258351564143e-18, (1, 4): 5.086159542652534e-06, (1, 1): 0.0, (8, 9): 5.086159542652534e-06, (8, 8): 0.3333265517872765, (2, 3): 5.086159542652534e-06, (2, 4): 0.3333265517872765}, {(1, 3): 0.3333333316776487, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.411629911703344e-24, (9, 8): 1.2417634266527322e-09, (9, 3): 0.3333333316776487, (9, 9): 0.3333333316776487, (1, 4): 1.2417634266527322e-09, (8, 9): 1.2417634266527322e-09, (8, 8): 4.411629911703344e-24, (2, 3): 1.2417634266527322e-09, (2, 4): 4.411629911703344e-24}]
59 Stop [{(1, 3): 1.1564705530910536e-18, (5, 6): 0.0, (2, 8): 0.3333299425258125, (9, 8): 2.5431056406083107e-06, (9, 3): 1.1564705530910536e-18, (9, 9): 1.1564705530910536e-18, (1, 4): 2.5431056406083107e-06, (1, 1): 0.0, (8, 9): 2.5431056406083107e-06, (8, 8): 0.3333299425258125, (2, 3): 2.5431056406083107e-06, (2, 4): 0.3333299425258125}, {(1, 3): 0.333333332505491, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1029074806649365e-24, (9, 8): 6.208817148683425e-10, (9, 3): 0.333333332505491, (9, 9): 0.333333332505491, (1, 4): 6.208817148683425e-10, (8, 9): 6.208817148683425e-10, (8, 8): 1.1029074806649365e-24, (2, 3): 6.208817148683425e-10, (2, 4): 1.1029074806649365e-24}]
60 Stop [{(1, 3): 2.891191087936362e-19, (5, 6): 0.0, (2, 8): 0.3333316379209497, (9, 8): 1.2715592877233495e-06, (9, 3): 2.891191087936362e-19, (9, 9): 2.891191087936362e-19, (1, 4): 1.2715592877233495e-06, (1, 1): 0.0, (8, 9): 1.2715592877233495e-06, (8, 8): 0.3333316379209497, (2, 3): 1.2715592877233495e-06, (2, 4): 0.3333316379209497}, {(1, 3): 0.3333333316776487, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 4.411629911703344e-24, (9, 8): 1.2417634266527322e-09, (9, 3): 0.3333333316776487, (9, 9): 0.3333333316776487, (1, 4): 1.2417634266527322e-09, (8, 9): 1.2417634266527322e-09, (8, 8): 4.411629911703344e-24, (2, 3): 1.2417634266527322e-09, (2, 4): 4.411629911703344e-24}]
61 None [{(1, 3): 7.227996101492053e-20, (5, 6): 0.0, (2, 8): 0.3333324856249857, (9, 8): 6.357812607288088e-07, (9, 3): 7.227996101492053e-20, (9, 9): 7.227996101492053e-20, (1, 4): 6.357812607288088e-07, (1, 1): 0.0, (8, 9): 6.357812607288088e-07, (8, 8): 0.3333324856249857, (2, 3): 6.357812607288088e-07, (2, 4): 0.3333324856249857}, {(1, 3): 0.333333332505491, (3, 1): 0.0, (5, 6): 0.0, (2, 8): 1.1029074806649365e-24, (9, 8): 6.208817148683425e-10, (9, 3): 0.333333332505491, (9, 9): 0.333333332505491, (1, 4): 6.208817148683425e-10, (8, 9): 6.208817148683425e-10, (8, 8): 1.1029074806649365e-24, (2, 3): 6.208817148683425e-10, (2, 4): 1.1029074806649365e-24}]
"""