2 2 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9) (12 . 12)) 155 0.5713 4.4859 ((5 . 1) (8 . 5) (9 . 7) (12 . 8)) 329 0.4455 4.9415 ((4 . 1) (5 . 3) (8 . 8) (9 . 9)) 591 0.4437 12.8996 ((3 . 7) (8 . 12) (9 . 13) (12 . 15)) 967 0.5709 6.9829 ((3 . 8) (4 . 9) (5 . 11) (8 . 13)) 3137 0.5665 12.1575 ((2 . 10) (3 . 11) (9 . 19) (12 . 21)) 5080 0.2477 9.1634 ((2 . 8) (3 . 9) (4 . 11) (5 . 12)) 5323 0.5652 12.8577 ((3 . 8) (4 . 9) (8 . 15) (9 . 16)) 5442 0.7143 2.5579 ((4 . 31) (5 . 32) (8 . 35) (9 . 36) (12 . 39)) 5462 0.8559 5.1851 ((3 . 4) (4 . 5) (5 . 7) (8 . 14) (9 . 21) (12 . 22)) 6580 0.5713 4.3819 ((4 . 1) (5 . 2) (8 . 7) (12 . 10)) END