6268 25 0.5689 10.2073 ((9 . 9) (11 . 10) (12 . 12) (13 . 13)) 77 0.2477 11.6405 ((8 . 10) (9 . 12) (12 . 16) (13 . 17)) 91 0.5696 9.4445 ((9 . 15) (12 . 20) (13 . 22) (14 . 23)) 136 0.2477 9.6511 ((8 . 2) (11 . 4) (12 . 6) (14 . 9)) 147 0.5915 10.1696 ((8 . 5) (9 . 6) (10 . 7) (11 . 8) (12 . 9)) 155 0.3789 9.0214 ((10 . 5) (11 . 6) (12 . 7) (13 . 8)) 207 0.5695 9.5576 ((8 . 6) (9 . 10) (11 . 11) (13 . 14)) 259 0.4452 8.4236 ((11 . 2) (12 . 3) (13 . 5) (14 . 6)) 317 0.5710 6.4792 ((9 . 4) (11 . 6) (12 . 7) (13 . 9)) 329 0.4451 8.8149 ((8 . 1) (9 . 3) (12 . 7) (13 . 8)) 351 0.5702 8.4680 ((8 . 7) (9 . 8) (11 . 9) (12 . 10)) 361 0.5713 4.8535 ((8 . 5) (9 . 6) (11 . 7) (12 . 8)) 472 0.5691 10.0785 ((9 . 23) (11 . 24) (13 . 28) (14 . 29)) 495 0.2477 10.2769 ((8 . 4) (9 . 6) (12 . 10) (13 . 12)) 541 0.4370 19.1222 ((8 . 13) (12 . 19) (13 . 20) (14 . 22)) 553 0.2945 9.3165 ((8 . 4) (11 . 6) (12 . 7) (13 . 9)) 624 0.5699 9.0821 ((10 . 1) (11 . 2) (13 . 4) (14 . 6)) 635 0.3787 10.1052 ((9 . 7) (10 . 9) (11 . 11) (12 . 12)) 672 0.2477 11.4620 ((8 . 8) (9 . 9) (11 . 12) (13 . 17)) 678 0.5690 10.1777 ((8 . 30) (9 . 32) (11 . 36) (14 . 39)) 782 0.5650 12.9733 ((9 . 5) (10 . 6) (11 . 7) (12 . 9)) 792 0.2478 6.1428 ((9 . 1) (10 . 2) (11 . 3) (12 . 5)) 834 0.7125 7.0838 ((8 . 34) (9 . 35) (11 . 36) (12 . 39) (13 . 44)) 901 0.5382 20.1985 ((8 . 6) (11 . 8) (12 . 10) (13 . 11)) 928 0.2475 15.8720 ((8 . 9) (11 . 11) (12 . 13) (14 . 15)) 943 0.1992 10.1994 ((9 . 3) (11 . 5) (12 . 7) (14 . 10)) 945 0.4447 10.6812 ((9 . 20) (12 . 23) (13 . 24) (14 . 25)) 960 0.3784 12.1234 ((9 . 31) (10 . 32) (11 . 33) (14 . 37)) 978 0.3785 11.3866 ((8 . 9) (9 . 11) (11 . 12) (13 . 15)) 980 0.5641 13.4171 ((9 . 2) (11 . 4) (12 . 6) (14 . 8)) 1082 0.5707 7.4905 ((10 . 13) (11 . 14) (13 . 17) (14 . 18)) 1124 0.5698 9.1412 ((8 . 8) (9 . 10) (13 . 13) (14 . 14)) 1165 0.2944 10.8170 ((8 . 5) (11 . 9) (13 . 11) (14 . 13)) 1167 0.5690 10.1689 ((8 . 24) (9 . 26) (11 . 28) (13 . 29)) 1204 0.3786 10.9504 ((8 . 15) (9 . 18) (11 . 19) (13 . 21)) 1267 0.5706 7.6880 ((9 . 6) (10 . 7) (11 . 8) (14 . 14)) 1268 0.5707 7.4111 ((9 . 15) (11 . 16) (13 . 19) (14 . 28)) 1301 0.5666 12.0432 ((9 . 2) (11 . 3) (12 . 6) (13 . 7)) 1345 0.2478 5.7897 ((8 . 8) (11 . 10) (12 . 11) (14 . 15)) 1388 0.1498 8.8633 ((8 . 3) (11 . 6) (12 . 7) (13 . 10)) 1415 0.5713 5.2185 ((8 . 1) (9 . 4) (11 . 5) (12 . 6)) 1447 0.2477 10.5782 ((10 . 4) (12 . 6) (13 . 8) (14 . 10)) 1470 0.5708 7.1807 ((8 . 6) (9 . 7) (10 . 8) (13 . 9)) 1472 0.5697 9.3652 ((9 . 10) (11 . 11) (12 . 12) (13 . 13)) 1476 0.1992 12.0391 ((10 . 13) (12 . 16) (13 . 17) (14 . 19)) 1497 0.5684 10.6928 ((8 . 27) (9 . 28) (13 . 29) (14 . 31)) 1577 0.5707 7.5393 ((9 . 25) (10 . 26) (11 . 27) (13 . 31)) 1591 0.1332 12.0417 ((8 . 2) (9 . 3) (11 . 5) (14 . 7)) 1604 0.3788 9.7521 ((8 . 6) (9 . 8) (11 . 9) (12 . 11)) 1724 0.5417 7.8991 ((8 . 3) (9 . 4) (10 . 5) (11 . 6) (13 . 8)) 1761 0.2944 10.7512 ((9 . 6) (11 . 8) (12 . 10) (14 . 14)) 1763 0.3777 14.5890 ((10 . 2) (11 . 4) (13 . 6) (14 . 8)) 1793 0.1993 6.0333 ((8 . 15) (9 . 16) (10 . 17) (11 . 18)) 1796 0.5712 5.5855 ((9 . 2) (11 . 4) (12 . 5) (13 . 6)) 1897 0.2943 13.7313 ((8 . 37) (9 . 38) (13 . 44) (14 . 45)) 1908 0.5660 12.4074 ((8 . 1) (9 . 2) (12 . 4) (13 . 5)) 1957 0.1992 15.5976 ((8 . 10) (11 . 12) (12 . 14) (14 . 16)) 1987 0.7076 9.9061 ((8 . 9) (9 . 10) (11 . 11) (13 . 13) (14 . 14)) 2048 0.5664 12.2040 ((8 . 2) (11 . 5) (13 . 10) (14 . 12)) 2054 0.2477 9.1822 ((8 . 10) (10 . 12) (11 . 15) (12 . 16)) 2118 0.5709 7.0036 ((8 . 6) (11 . 8) (12 . 9) (13 . 10)) 2122 0.5615 14.5522 ((9 . 11) (10 . 13) (13 . 19) (14 . 20)) 2233 0.5681 10.9814 ((9 . 1) (11 . 2) (12 . 5) (14 . 7)) 2269 0.4455 4.5794 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 2295 0.5704 8.0986 ((10 . 3) (11 . 4) (12 . 5) (13 . 6)) 2298 0.5684 10.7459 ((8 . 5) (11 . 9) (13 . 11) (14 . 13)) 2340 0.4434 13.3362 ((8 . 8) (11 . 10) (12 . 12) (13 . 15)) 2342 0.3786 10.8982 ((8 . 13) (11 . 15) (12 . 16) (14 . 19)) 2344 0.3787 10.3666 ((8 . 4) (11 . 8) (12 . 9) (14 . 15)) 2364 0.5714 4.1772 ((8 . 1) (9 . 2) (11 . 6) (13 . 8)) 2443 0.5592 15.3640 ((8 . 6) (11 . 8) (12 . 9) (13 . 10)) 2447 0.5681 10.9620 ((10 . 26) (11 . 27) (13 . 29) (14 . 32)) 2465 0.5713 5.1383 ((9 . 3) (11 . 5) (12 . 6) (13 . 7)) 2510 0.2939 16.7816 ((8 . 2) (9 . 4) (12 . 6) (14 . 8)) 2525 0.4447 10.4614 ((8 . 42) (10 . 44) (11 . 46) (13 . 49)) 2533 0.3787 10.5662 ((9 . 1) (10 . 2) (12 . 5) (13 . 7)) 2544 0.3790 6.8505 ((11 . 18) (12 . 19) (13 . 21) (14 . 24)) 2557 0.3789 8.3712 ((9 . 1) (12 . 4) (13 . 5) (14 . 8)) 2595 0.5695 9.5320 ((8 . 5) (9 . 7) (13 . 14) (14 . 15)) 2627 0.5700 8.9279 ((8 . 56) (11 . 59) (13 . 61) (14 . 62)) 2634 0.5705 8.0539 ((11 . 3) (12 . 5) (13 . 6) (14 . 7)) 2658 0.5714 4.2538 ((8 . 4) (9 . 6) (10 . 7) (11 . 8)) 2703 0.1664 11.1000 ((8 . 3) (9 . 4) (10 . 5) (11 . 6)) 2753 0.5682 10.8870 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) 2773 0.1664 8.4199 ((8 . 4) (11 . 7) (12 . 8) (13 . 9)) 2830 0.5673 11.5937 ((8 . 4) (11 . 6) (13 . 10) (14 . 12)) 2840 0.3786 11.1848 ((9 . 2) (11 . 3) (13 . 7) (14 . 10)) 2950 0.8570 3.1478 ((8 . 7) (9 . 8) (10 . 9) (11 . 10) (12 . 11) (13 . 12)) 2990 0.1992 9.6907 ((8 . 10) (10 . 13) (13 . 17) (14 . 18)) 3014 0.2477 13.2056 ((9 . 10) (11 . 12) (13 . 14) (14 . 15)) 3041 0.2944 10.8954 ((9 . 10) (11 . 11) (12 . 13) (14 . 15)) 3084 0.1992 15.8539 ((8 . 12) (11 . 14) (12 . 16) (14 . 18)) 3127 0.5678 11.2492 ((9 . 7) (11 . 9) (12 . 12) (14 . 16)) 3197 0.2476 15.6087 ((8 . 4) (9 . 5) (10 . 6) (11 . 7)) 3202 0.5713 4.5471 ((9 . 3) (11 . 4) (13 . 6) (14 . 12)) 3286 0.3787 10.1294 ((8 . 8) (10 . 11) (11 . 12) (13 . 15)) 3334 0.5709 6.9427 ((8 . 9) (11 . 11) (12 . 12) (13 . 13)) 3339 0.5698 9.1119 ((8 . 25) (10 . 30) (12 . 34) (13 . 35)) 3391 0.3779 13.8905 ((8 . 2) (10 . 3) (12 . 5) (13 . 7)) 3415 0.5695 9.5634 ((8 . 18) (9 . 20) (11 . 21) (13 . 23)) 3446 0.5696 9.3977 ((9 . 8) (11 . 9) (12 . 10) (14 . 12)) 3470 0.5635 13.7309 ((8 . 14) (9 . 15) (10 . 16) (13 . 18)) 3495 0.5706 7.7120 ((9 . 5) (10 . 6) (13 . 10) (14 . 11)) 3496 0.5654 12.7659 ((9 . 21) (11 . 24) (13 . 25) (14 . 26)) 3585 0.5620 14.3373 ((9 . 17) (11 . 18) (13 . 21) (14 . 22)) 3613 0.3790 7.0153 ((11 . 42) (12 . 43) (13 . 44) (14 . 45)) 3628 0.1992 14.0997 ((8 . 11) (10 . 13) (11 . 15) (12 . 16)) 3651 0.1498 12.5492 ((8 . 2) (10 . 4) (12 . 7) (13 . 10)) 3658 0.4444 11.3219 ((10 . 9) (12 . 10) (13 . 12) (14 . 13)) 3661 0.5707 7.5635 ((9 . 14) (11 . 17) (12 . 18) (13 . 21)) 3663 0.2477 8.1918 ((8 . 3) (9 . 4) (11 . 6) (13 . 7)) 3733 0.5660 12.4174 ((9 . 2) (10 . 4) (11 . 5) (12 . 7)) 3778 0.3785 11.5419 ((11 . 17) (12 . 19) (13 . 20) (14 . 21)) 3787 0.4894 12.2333 ((8 . 14) (11 . 18) (13 . 20) (14 . 22)) 3829 0.5700 8.9081 ((11 . 3) (12 . 4) (13 . 6) (14 . 7)) 3847 0.0999 11.1312 ((11 . 10) (12 . 11) (13 . 12) (14 . 15)) 3870 0.2945 10.4894 ((9 . 6) (11 . 7) (12 . 9) (14 . 12)) 3968 0.1992 10.6072 ((9 . 4) (11 . 8) (12 . 10) (13 . 12)) 4009 0.4435 13.2178 ((8 . 16) (10 . 18) (13 . 24) (14 . 25)) 4030 0.5675 11.4271 ((9 . 13) (11 . 15) (13 . 17) (14 . 18)) 4037 0.5694 9.6877 ((8 . 5) (9 . 6) (11 . 7) (12 . 8)) 4077 0.5694 9.6324 ((9 . 7) (10 . 8) (13 . 12) (14 . 13)) 4082 0.5712 5.8028 ((9 . 1) (11 . 2) (12 . 3) (13 . 4)) 4115 0.3780 13.6607 ((8 . 12) (9 . 14) (11 . 16) (13 . 20)) 4134 0.3788 9.4617 ((9 . 23) (10 . 24) (13 . 26) (14 . 27)) 4151 0.2476 13.4408 ((9 . 14) (11 . 16) (13 . 18) (14 . 20)) 4190 0.4412 16.0729 ((11 . 2) (12 . 4) (13 . 6) (14 . 7)) 4204 0.1992 10.6448 ((8 . 1) (9 . 2) (12 . 4) (13 . 6)) 4216 0.5712 5.4696 ((8 . 9) (11 . 13) (12 . 14) (13 . 15)) 4226 0.2945 10.2426 ((8 . 10) (9 . 13) (10 . 15) (12 . 17)) 4242 0.5713 4.7539 ((9 . 2) (11 . 3) (13 . 6) (14 . 8)) 4243 0.5713 5.2042 ((8 . 1) (9 . 2) (11 . 5) (12 . 6)) 4254 0.4449 9.6866 ((10 . 7) (12 . 10) (13 . 12) (14 . 14)) 4261 0.3785 11.5536 ((8 . 12) (9 . 14) (12 . 15) (13 . 17)) 4265 0.5686 10.5007 ((9 . 27) (10 . 28) (11 . 30) (12 . 31)) 4266 0.5680 11.0652 ((8 . 9) (9 . 10) (11 . 14) (12 . 16)) 4275 0.2943 12.7540 ((9 . 22) (11 . 24) (12 . 26) (14 . 29)) 4281 0.5689 10.2278 ((8 . 9) (10 . 13) (11 . 14) (13 . 16)) 4299 0.5670 11.7768 ((8 . 7) (9 . 8) (11 . 10) (13 . 13)) 4352 0.5697 9.2457 ((9 . 12) (11 . 13) (12 . 14) (13 . 15)) 4386 0.4420 15.2705 ((10 . 12) (11 . 13) (13 . 15) (14 . 17)) 4419 0.2945 9.2578 ((8 . 1) (9 . 2) (11 . 5) (14 . 11)) 4470 0.5582 15.6808 ((9 . 11) (11 . 13) (12 . 15) (14 . 17)) 4492 0.5701 8.7548 ((9 . 9) (11 . 10) (13 . 12) (14 . 14)) 4495 0.2477 9.1106 ((8 . 1) (11 . 5) (13 . 7) (14 . 9)) 4504 0.1498 10.9653 ((9 . 2) (11 . 5) (13 . 10) (14 . 11)) 4505 0.2945 10.6086 ((9 . 27) (11 . 29) (12 . 31) (14 . 35)) 4538 0.5711 6.0122 ((8 . 27) (9 . 29) (13 . 36) (14 . 39)) 4560 0.3775 15.0861 ((8 . 5) (11 . 7) (12 . 10) (14 . 12)) 4579 0.5700 8.8692 ((8 . 11) (9 . 13) (12 . 16) (14 . 21)) 4589 0.1664 9.3296 ((8 . 17) (11 . 20) (12 . 21) (14 . 24)) 4607 0.6973 12.6313 ((8 . 13) (9 . 16) (11 . 17) (12 . 18) (14 . 20)) 4668 0.5582 15.6803 ((9 . 2) (11 . 6) (12 . 8) (14 . 10)) 4699 0.5703 8.4138 ((8 . 8) (9 . 10) (13 . 12) (14 . 13)) 4715 0.5712 5.4352 ((8 . 4) (9 . 5) (11 . 7) (13 . 9)) 4716 0.1992 12.2133 ((8 . 4) (11 . 7) (13 . 9) (14 . 10)) 4731 0.2477 12.1528 ((8 . 13) (9 . 15) (10 . 16) (12 . 19)) 4764 0.5713 5.1635 ((8 . 2) (9 . 3) (11 . 5) (12 . 6)) 4783 0.3786 11.0758 ((8 . 6) (11 . 8) (12 . 9) (13 . 10)) 4817 0.1993 7.9334 ((8 . 6) (11 . 9) (12 . 11) (13 . 12)) 4888 0.3781 13.5029 ((9 . 2) (10 . 5) (11 . 6) (13 . 10)) 4889 0.5712 5.7904 ((8 . 9) (9 . 21) (11 . 23) (12 . 24)) 4961 0.3783 12.5156 ((9 . 11) (11 . 13) (13 . 16) (14 . 18)) 4963 0.2477 10.0092 ((10 . 2) (11 . 3) (13 . 5) (14 . 6)) 4998 0.1992 12.1600 ((9 . 21) (11 . 22) (12 . 24) (14 . 27)) 5000 0.1992 12.9446 ((9 . 33) (11 . 35) (12 . 36) (14 . 38)) 5016 0.5703 8.3841 ((10 . 7) (11 . 8) (12 . 9) (13 . 10)) 5039 0.3787 10.4490 ((9 . 35) (11 . 36) (13 . 38) (14 . 40)) 5068 0.2477 8.5469 ((8 . 6) (9 . 9) (10 . 11) (12 . 14)) 5073 0.1992 11.5859 ((9 . 35) (10 . 37) (12 . 40) (14 . 41)) 5080 0.5705 8.0322 ((8 . 7) (9 . 9) (11 . 11) (12 . 13)) 5092 0.5688 10.3545 ((9 . 4) (11 . 5) (13 . 8) (14 . 9)) 5101 0.5691 10.0124 ((8 . 19) (9 . 20) (13 . 27) (14 . 28)) 5103 0.5548 16.6723 ((8 . 11) (9 . 12) (12 . 14) (14 . 16)) 5132 0.5683 10.7717 ((8 . 23) (9 . 24) (12 . 27) (13 . 29)) 5134 0.5704 8.1966 ((11 . 11) (12 . 12) (13 . 15) (14 . 16)) 5192 0.5555 16.4721 ((9 . 16) (11 . 19) (13 . 22) (14 . 23)) 5212 0.5558 16.3827 ((9 . 15) (10 . 16) (11 . 17) (13 . 19)) 5223 0.5693 9.8400 ((8 . 2) (9 . 4) (11 . 5) (13 . 9)) 5266 0.5678 11.2228 ((9 . 11) (10 . 12) (13 . 16) (14 . 18)) 5285 0.5696 9.4723 ((10 . 2) (11 . 3) (12 . 4) (13 . 5)) 5307 0.5694 9.6270 ((11 . 52) (12 . 54) (13 . 56) (14 . 59)) 5318 0.3790 6.0287 ((8 . 5) (11 . 14) (12 . 15) (13 . 16)) 5323 0.5713 4.9649 ((8 . 14) (9 . 15) (11 . 16) (14 . 18)) 5324 0.2478 6.2813 ((8 . 23) (9 . 26) (10 . 27) (12 . 29)) 5442 0.1663 16.1287 ((8 . 33) (10 . 35) (12 . 37) (14 . 39)) 5501 0.5698 9.1129 ((9 . 23) (11 . 26) (12 . 27) (14 . 32)) 5525 0.5696 9.3929 ((9 . 10) (11 . 11) (12 . 12) (13 . 13)) 5560 0.5702 8.5123 ((8 . 5) (9 . 6) (11 . 8) (13 . 10)) 5562 0.2477 11.9879 ((9 . 13) (12 . 16) (13 . 18) (14 . 20)) 5648 0.5704 8.1108 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 5656 0.2943 13.3925 ((9 . 12) (11 . 15) (13 . 17) (14 . 20)) 5689 0.5711 6.2384 ((8 . 1) (9 . 2) (13 . 4) (14 . 7)) 5702 0.5704 8.2556 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 5704 0.2944 11.4031 ((8 . 7) (9 . 8) (10 . 9) (11 . 10)) 5782 0.4445 11.1936 ((9 . 31) (11 . 33) (12 . 36) (13 . 38)) 5795 0.5640 13.4633 ((8 . 5) (9 . 7) (12 . 11) (13 . 12)) 5809 0.2476 15.4741 ((9 . 4) (11 . 6) (13 . 8) (14 . 10)) 5904 0.5697 9.2834 ((8 . 2) (9 . 3) (12 . 6) (13 . 8)) 5913 0.1992 11.7015 ((9 . 4) (12 . 8) (13 . 11) (14 . 12)) 5939 0.5656 12.6590 ((9 . 1) (10 . 3) (12 . 5) (13 . 7)) 5945 0.4407 16.5178 ((8 . 1) (10 . 4) (11 . 5) (13 . 8)) 5949 0.4448 10.1392 ((8 . 11) (11 . 15) (13 . 19) (14 . 20)) 5972 0.5690 10.1159 ((8 . 1) (9 . 4) (11 . 5) (13 . 8)) 6000 0.3772 15.7842 ((8 . 5) (9 . 6) (13 . 8) (14 . 11)) 6029 0.5674 11.5019 ((8 . 26) (9 . 28) (12 . 32) (13 . 34)) 6033 0.4454 7.2358 ((8 . 2) (11 . 4) (12 . 5) (13 . 6)) 6041 0.5681 10.9580 ((8 . 3) (9 . 5) (11 . 6) (13 . 9)) 6074 0.2944 11.2735 ((9 . 7) (11 . 10) (13 . 12) (14 . 14)) 6079 0.4444 11.3784 ((10 . 10) (12 . 12) (13 . 14) (14 . 15)) 6169 0.8437 9.4299 ((8 . 1) (9 . 2) (10 . 3) (11 . 4) (12 . 8) (13 . 12)) 6228 0.1992 10.8400 ((8 . 10) (11 . 13) (13 . 17) (14 . 18)) 6261 0.1993 6.5014 ((8 . 10) (10 . 14) (11 . 15) (13 . 17)) 6268 1.0000 0.0000 ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14)) 6329 0.5710 6.5504 ((8 . 11) (9 . 12) (10 . 13) (14 . 17)) 6348 0.3788 9.1850 ((8 . 2) (9 . 3) (12 . 6) (13 . 8)) 6356 0.5668 11.9380 ((9 . 8) (10 . 10) (12 . 12) (13 . 14)) 6359 0.5702 8.5544 ((10 . 3) (11 . 4) (13 . 6) (14 . 8)) 6369 0.5699 9.0001 ((8 . 25) (10 . 27) (11 . 28) (13 . 30)) 6384 0.3783 12.7874 ((9 . 2) (11 . 3) (12 . 4) (13 . 5)) 6391 0.2478 4.8934 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 6392 0.5660 12.4375 ((9 . 2) (10 . 4) (13 . 6) (14 . 8)) 6461 0.5687 10.4874 ((9 . 1) (10 . 2) (11 . 4) (12 . 5)) 6462 0.4445 11.2626 ((9 . 11) (12 . 14) (13 . 15) (14 . 17)) 6476 0.5705 7.9133 ((9 . 1) (10 . 2) (11 . 5) (12 . 7)) 6498 0.5439 19.1329 ((8 . 5) (9 . 8) (12 . 11) (14 . 15)) 6506 0.5615 14.5218 ((8 . 23) (9 . 24) (11 . 25) (13 . 28)) 6520 0.2477 10.7213 ((8 . 18) (10 . 21) (11 . 22) (13 . 23)) 6536 0.5709 6.8673 ((8 . 27) (11 . 29) (13 . 30) (14 . 32)) 6548 0.2477 10.7526 ((8 . 6) (9 . 8) (11 . 10) (13 . 14)) 6585 0.3788 9.5158 ((11 . 4) (12 . 5) (13 . 7) (14 . 9)) 6605 0.5711 6.3305 ((9 . 1) (10 . 2) (11 . 3) (12 . 4)) END