2015 41 0.4117 6.1718 ((7 . 2) (12 . 3) (13 . 4) (15 . 5) (17 . 6) (18 . 7) (19 . 8)) 258 0.3529 3.9197 ((12 . 3) (13 . 4) (15 . 6) (17 . 7) (18 . 8) (19 . 9)) 505 0.3529 4.2938 ((9 . 2) (12 . 4) (13 . 5) (15 . 6) (17 . 8) (19 . 10)) 1116 0.2941 7.9547 ((9 . 3) (11 . 4) (12 . 5) (13 . 6) (16 . 9)) 1947 0.2941 5.6002 ((9 . 3) (13 . 7) (15 . 8) (17 . 10) (19 . 12)) 2015 1.0000 0.0000 ((1 . 1) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 2269 0.2941 6.7500 ((12 . 8) (17 . 9) (18 . 10) (19 . 11) (20 . 12)) 2308 0.3344 5.9246 ((3 . 3) (9 . 5) (12 . 6) (13 . 7) (15 . 8) (17 . 10) (18 . 11) (19 . 12)) 3609 0.2941 3.8070 ((9 . 2) (13 . 6) (15 . 7) (17 . 8) (19 . 10)) 3733 0.4118 2.9880 ((12 . 1) (13 . 2) (15 . 3) (17 . 4) (18 . 6) (19 . 7) (20 . 8)) 4350 0.2353 3.7723 ((13 . 2) (15 . 3) (17 . 4) (20 . 10)) 4446 0.2941 5.5368 ((9 . 1) (11 . 2) (12 . 3) (13 . 4) (15 . 5)) 6256 0.2941 6.3270 ((9 . 1) (11 . 2) (12 . 3) (13 . 4) (15 . 5)) END