Bugfix: single precision compilation fix

[foam-extend-3.2.git] / tutorials / mesh / cfMesh / tetMesh / socketOctree / socket.fms

38(
object
wall
patch0
patch
patch1
patch
patch2
patch
patch3
patch
patch4
patch
patch5
patch
patch7
patch
patch8
patch
patch9
patch
patch10
patch
patch11
patch
patch13
patch
patch14
patch
patch15
patch
patch16
patch
patch17
patch
patch18
patch
patch19
patch
patch20
patch
patch21
patch
patch22
patch
patch23
patch
patch24
patch
patch25
patch
patch26
patch
path27
patch
patch28
patch
patch29
patch
patch30
patch
patch31
patch
patch32
patch
patch33
patch
patch34
patch
patch35
patch
patch36
patch
patch37
patch
patch6
patch)
836((-98.4808 17.3648 25) (-100 0 25) (-90.472 14.6634 25) (-58.9291 18.1066 25) (-67.9289 7.07107 25) (-50 9.6225 25) (-76.6044 -64.2788 25) (-64.2788 -76.6044 25) (-61.2753 -61.6257 25) (-50 -48.1125 25) (-50 -67.3575 25) (-82.0711 7.07107 25) (-81.203 24.5589 25) (-93.9693 34.202 25) (-67.5886 27.0128 25) (-50 28.8675 25) (-75 10 25) (-50 -86.6025 25) (-77.7885 41.2952 25) (-64.1254 44.5169 25) (-86.6025 50 25) (-50 48.1125 25) (-76.6044 64.2788 25) (-61.4482 60.1728 25) (-50 67.3575 25) (-64.2788 76.6044 25) (-50 86.6025 25) (-76.5403 -27.9427 25) (-75 -10 25) (-86.3348 -19.8135 25) (-62.9265 -20.6629 25) (-82.0711 -7.07107 25) (-93.9693 -34.202 25) (-67.9289 -7.07107 25) (-63.2012 -36.5076 25) (-91.3679 -8.97974 25) (-77.4233 -43.4472 25) (-98.4808 -17.3648 25) (-50 -9.6225 25) (-50 -28.8675 25) (-85 0 25) (-86.6025 -50 25) (-65.9129 -50.6425 25) (-65 0 25) (38.6275 74.5675 75) (50 67.3575 75) (50 86.6025 75) (27.5 78.4821 75) (27.5 60.8198 75) (38.8583 -55.5402 75) (27.5 -60.8198 75) (38.6268 -74.3693 75) (50 -67.3575 75) (38.9169 56.2753 75) (27.5 -43.1574 75) (50 -48.1125 75) (50 48.1125 75) (27.5 43.1574 75) (50 -86.6025 75) (27.5 -78.4821 75) (35.2517 93.5805 75) (42.7684 90.3928 75) (42.7684 -90.3928 75) (35.2517 -93.5805 75) (27.5 96.1444 75) (27.5 -96.1444 75) (36.3417 9.24839 75) (36.3417 -9.24839 75) (50 9.6225 75) (50 -9.6225 75) (38.7748 25.5778 75) (40.3789 -22.1533 75) (50 28.8675 75) (27.5 25.4951 75) (50 -28.8675 75) (27.5 -25.4951 75) (40.559 40.5083 75) (38.9258 -37.7032 75) (-20 81.4151 0) (-20 64.8505 0) (0 80.0149 0) (20 64.8505 0) (20 81.4151 0) (-13.3836 99.1004 0) (13.3836 99.1004 0) (-20 97.9796 0) (-6.70689 99.7748 0) (20 97.9796 0) (6.70689 99.7748 0) (0 100 0) (0 47.412 0) (0 60.5293 0) (-20 48.286 0) (20 48.286 0) (-6.99057 36.8427 0) (6.99057 36.8427 0) (-20 31.7214 0) (20 31.7214 0) (-50 -86.6025 41.6667) (-50 -86.6025 58.3333) (-50 -72.7398 45.1315) (-50 50 60) (-50 42.9289 57.0711) (-50 38.1931 66.569) (-50 28.8675 75) (-50 48.1125 75) (-50 -72.4016 61.5374) (-50 -86.6025 75) (-50 -67.3575 75) (-50 -57.0711 57.0711) (-50 -60 50) (-50 50 40) (-50 -57.0711 42.9289) (-50 24.777 61.2904) (-50 -59.3991 66.7554) (-50 42.9289 42.9289) (-50 40 50) (-50 9.6225 75) (-50 86.6025 58.3333) (-50 67.3575 75) (-50 86.6025 75) (-50 86.6025 41.6667) (-50 72.7615 54.9694) (-50 60 50) (-50 57.0711 57.0711) (-50 72.9043 38.7048) (-50 57.0711 42.9289) (-50 9.31671 41.8755) (-50 -42.9289 42.9289) (-50 -28.8675 75) (-50 -9.6225 75) (-50 -9.20725 58.1596) (-50 7.72654 59.5349) (-50 -42.9289 57.0711) (-50 -24.3431 54.6496) (-50 -7.54086 40.5115) (-50 -24.3141 38.9123) (-50 -40 50) (-50 -48.1125 75) (-50 -50 60) (-50 24.425 45.4369) (-50 -50 40) (-79.8138 -27.1233 -25) (-93.9693 -34.202 -25) (-87.1351 -19.2209 -25) (-75 -10 -25) (-67.9289 -7.07107 -25) (-67.1672 -27.2873 -25) (-58.8409 -18.1346 -25) (-50 -28.8675 -25) (-98.4808 -17.3648 -25) (-82.0711 -7.07107 -25) (-50 -9.6225 -25) (-91.5168 -8.74011 -25) (-100 0 -25) (-85 0 -25) (-65 0 -25) (-63.9539 -44.7004 -25) (-77.4794 -42.1095 -25) (-50 -48.1125 -25) (-86.6025 -50 -25) (-76.6044 -64.2788 -25) (-61.418 -60.2423 -25) (-50 -67.3575 -25) (-64.2788 -76.6044 -25) (-50 -86.6025 -25) (-63.77 35.8952 -25) (-78.1277 25.7829 -25) (-77.6899 42.7319 -25) (-63.1721 20.406 -25) (-93.9693 34.202 -25) (-66.0782 50.3346 -25) (-75 10 -25) (-50 28.8675 -25) (-86.6025 50 -25) (-89.7207 15.4527 -25) (-50 48.1125 -25) (-76.6044 64.2788 -25) (-67.9289 7.07107 -25) (-82.0711 7.07107 -25) (-50 9.6225 -25) (-64.2788 76.6044 -25) (-50 86.6025 -25) (-50 67.3575 -25) (-61.3177 61.5263 -25) (-98.4808 17.3648 -25) (33.5378 16.777 61.0519) (37.3559 3.28438 58.0102) (20 76.0222 15.0039) (20 97.9796 16.6667) (20 62.8929 25.7602) (20 60.6066 39.3934) (20 79.2233 32.1829) (22.6774 29.8661 50) (20 31.7214 50) (20 31.7214 33.3333) (27.5 25.4951 62.5) (27.5 35 50) (27.5 25.4951 50) (-36.3417 -9.24839 75) (-27.5 -25.4951 75) (-33.5351 -16.7824 61.0745) (-27.5 -25.4951 62.5) (-27.5 -25.4951 50) (-22.6774 -29.8661 50) (-20 -31.7214 33.3333) (-25.1837 -27.7854 50) (-20 -40 50) (-20 -42.9289 42.9289) (-20 -31.7214 50) (20 -31.7214 33.3333) (22.6774 -29.8661 50) (25.1837 -27.7854 50) (35.6194 -11.7263 53.7453) (27.5 -25.4951 50) (27.5 -25.4951 62.5) (20 -39.3934 39.3934) (20 -31.7214 50) (20 -43.758 25.2531) (20 -50 35) (20 -64.8505 0) (20 -49.8517 11.8026) (20 -48.286 0) (20 -59.5852 25.5168) (-20 97.9796 50) (-20 78.9898 50) (-20 97.9796 33.3333) (-27.5 42.9289 57.0711) (-27.5 50 60) (-27.5 38.8384 66.7925) (-27.5 25.4951 62.5) (-27.5 25.4951 75) (-20 -57.6764 13.4257) (-20 -75.6829 15.1229) (-20 -64.8505 0) (-20 -62.1725 27.2886) (-20 -57.0711 42.9289) (-20 -78.8495 31.6006) (-27.5 -42.9289 57.0711) (27.5 36.1733 68.1145) (27.5 39.3934 60.6066) (20 97.9796 33.3333) (20 65 50) (27.5 -35 50) (20 -35 50) (20 -69.4506 14.8283) (-27.5 55.2476 66.9116) (-27.5 43.1574 75) (-20 -81.4151 0) (-20 -50 40) (-20 97.9796 16.6667) (-20 83.9674 19.9229) (-27.5 25.4951 50) (-27.5 40 50) (-36.3417 9.24839 75) (-20 -48.286 0) (-20 -45.6982 25.7885) (-33.3967 -17.056 43.464) (-37.3561 -3.2825 58.0705) (-35.6139 11.743 53.8604) (33.3945 17.0604 43.4034) (25.1837 27.7854 50) (20 57.8078 12.7685) (20 50 35) (20 45.5064 24.0211) (20 39.3934 39.3934) (37.4402 2.11676 39.0684) (34.274 -15.2166 35.0879) (20 -31.7214 16.6667) (20 35 50) (20 -31.7214 0) (-20 60 50) (-20 74.5519 34.028) (27.5 60.6066 60.6066) (27.5 66.2171 67.7504) (27.5 76.8004 61.1116) (27.5 -66.2171 67.7504) (27.5 -50 65) (-27.5 96.1444 75) (-27.5 78.4821 75) (-27.5 96.1444 62.5) (-27.5 -73.4553 63.5117) (-27.5 -57.0711 57.0711) (-27.5 -55.2476 66.9116) (-27.5 -60.8198 75) (27.5 50 65) (20 -97.9796 50) (20 -81.4898 50) (20 -97.9796 33.3333) (-27.5 96.1444 50) (-27.5 78.0722 50) (-27.5 73.4553 63.5117) (-27.5 -50 60) (-27.5 -43.1574 75) (27.5 -36.1733 68.1145) (20 -81.4151 0) (20 -97.9796 0) (20 -97.9796 16.6667) (20 -84.3761 19.6041) (20 -76.0618 33.425) (20 -65 50) (-27.5 60 50) (-27.5 57.0711 57.0711) (27.5 -96.1444 50) (27.5 -96.1444 62.5) (27.5 -80.5722 50) (27.5 -65 50) (27.5 -76.8004 61.1116) (27.5 96.1444 50) (27.5 80.5722 50) (27.5 96.1444 62.5) (27.5 -60.6066 60.6066) (-27.5 -96.1444 50) (-27.5 -78.0722 50) (-27.5 -96.1444 62.5) (-27.5 -96.1444 75) (-27.5 -78.4821 75) (27.5 65 50) (-27.5 -60 50) (20 -60.6066 39.3934) (-27.5 60.8198 75) (-20 -97.9796 16.6667) (-20 -97.9796 0) (-20 -97.9796 33.3333) (-20 -78.9898 50) (-27.5 -38.8384 66.7925) (-27.5 -40 50) (20 81.4898 50) (27.5 -39.3934 60.6066) (-20 -97.9796 50) (-20 -60 50) (20 97.9796 50) (34.9655 13.5522 -56.227) (32.476 18.75 -75) (37.5 0 -75) (-20 43.9211 27.0189) (-20 31.7214 16.6667) (-20 49.7152 12.4405) (-20 31.7214 33.3333) (-33.4723 16.9073 18.2472) (-18.75 -32.476 -75) (-25.0898 -27.8703 -52.7154) (-9.77074 -36.2047 -55.3444) (-21.223 -30.9166 -34.874) (-37.4323 -2.25275 2.36658) (-32.3394 -18.9845 7.84387) (-30.9723 -21.1416 -14.419) (-13.4703 -34.9972 -18.3411) (-33.3888 17.0715 0.780048) (29.4828 23.1736 -15.3386) (32.1117 19.3672 7.48614) (31.5798 20.2229 -36.9367) (37.3331 3.53357 -18.437) (37.4996 -0.172499 -37.9034) (19.8668 31.805 -57.3293) (-33.7446 -16.3569 -59.8798) (-34.3296 -15.0907 -36.4073) (-37.4717 -1.45742 -15.9083) (11.0649 35.8304 -18.8367) (16.1087 33.8639 -36.7898) (20 31.7214 16.6667) (32.4669 18.7657 26.2883) (20 42.9891 10.7098) (37.4483 1.96876 20.689) (37.3569 3.2728 1.15635) (33.7839 -16.2758 -0.75261) (33.6967 -16.4554 -19.5029) (36.6441 -7.96625 -56.816) (32.0358 -19.4924 -39.2304) (-20 58.6722 27.2612) (-34.2369 15.2998 35.3898) (0 -37.5 -75) (-1.8284 -37.4554 -36.9408) (-20 -31.7214 0) (-37.4611 -1.70839 21.1626) (-24.242 28.6108 -21.0482) (-8.64115 36.4908 -17.8341) (-33.1556 17.5202 -16.5603) (-37.5 0 -75) (-37.4964 0.521254 -50.7867) (-37.3461 3.39372 -31.6059) (-33.2228 17.3925 -36.523) (-4.28242 37.2547 -37.0287) (-1.45427 37.4718 -55.7041) (-20.2142 31.5854 -56.3313) (-18.75 32.476 -75) (-21.8234 30.4957 -38.0135) (-33.2312 17.3763 -55.9708) (-32.476 18.75 -75) (18.75 32.476 -75) (-32.476 -18.75 -75) (0 37.5 -75) (23.2669 -29.4092 -22.2881) (17.3132 -33.2642 -38.6666) (26.8281 -26.2012 -56.9324) (32.476 -18.75 -75) (18.75 -32.476 -75) (-20 57.0711 42.9289) (-20 68.9073 15.3707) (-20 42.9289 42.9289) (-20 40 50) (-20 31.7214 50) (-22.6774 29.8661 50) (-25.1837 27.7854 50) (9.4897 -36.2794 -56.4108) (-20 -43.0859 11.2998) (-20 -31.7214 16.6667) (-32.4986 -18.7106 26.4243) (-37.4428 -2.06999 39.2501) (6.99057 -36.8427 0) (7.0086 -36.8392 -18.2398) (-6.99057 -36.8427 0) (33.6503 -16.5501 17.5219) (-20 50 40) (39.5601 35.3693 46.6922) (32.3647 39.5932 39.1973) (50 35 50) (50 39.3934 39.3934) (38.6605 63.1428 57.2297) (50 60.6066 60.6066) (38.7482 50.1971 64.9987) (38.773 37.2567 57.9126) (50 50 65) (50 39.3934 60.6066) (35.1847 56.4486 36.4569) (50 50 35) (50 60.6066 39.3934) (37.135 46.7259 35.3617) (36.8547 63.896 44.352) (50 65 50) (0 -71.7622 0) (0 -87.0832 0) (13.3836 -99.1004 0) (-13.3836 -99.1004 0) (6.70689 -99.7748 0) (-6.70689 -99.7748 0) (0 -100 0) (0 -54.2451 0) (-40.5084 -48.1569 59.8287) (-37.0198 -43.8869 57.9139) (-36.6093 -58.8915 45.4238) (-35.1456 -52.7371 40.3819) (-38.7903 -54.4475 58.9565) (-38.6088 -59.3911 53.4361) (-35.8862 -43.4206 42.4693) (-38.4021 -40.1766 51.8711) (50 -48.1125 25) (50 -50 35) (50 -67.3575 25) (50 -39.3934 60.6066) (50 74.3415 61.8582) (50 86.6025 58.3333) (50 74.2906 44.8203) (50 -39.3934 39.3934) (50 -35 50) (50 -22.2245 61.2431) (50 86.6025 41.6667) (50 67.3575 25) (50 86.6025 25) (50 -28.8675 25) (50 -23.0532 44.8966) (50 -86.6025 58.3333) (50 -75.4061 48.0166) (50 -74.3334 62.5671) (50 -86.6025 41.6667) (50 -65 50) (50 -60.6066 60.6066) (50 -86.6025 25) (50 -75.1752 35.2676) (50 -60.6066 39.3934) (50 -50 65) (50 -12.3722 39.0134) (50 -9.6225 25) (50 4.24366 42.6158) (50 11.8037 60.8572) (50 -5.58971 57.5541) (50 22.5939 54.2272) (50 48.1125 25) (50 9.6225 25) (50 28.2388 40.5597) (50 28.8675 25) (50 17.7589 37.3466) (63.1835 20.4106 25) (75 10 25) (78.1402 25.7865 25) (93.9693 34.202 25) (77.6996 42.7398 25) (67.9289 7.07107 25) (82.0711 7.07107 25) (89.7303 15.4472 25) (98.4808 17.3648 25) (65 0 25) (85 0 25) (100 0 25) (64.2788 -76.6044 25) (63.7764 35.8998 25) (86.6025 50 25) (76.6044 64.2788 25) (66.0812 50.3368 25) (61.3178 61.5265 25) (64.2788 76.6044 25) (79.858 -27.4478 25) (77.6146 -42.5462 25) (93.9693 -34.202 25) (67.3911 -29.0453 25) (86.6025 -50 25) (87.1138 -19.2772 25) (75 -10 25) (63.9444 -45.2133 25) (76.6044 -64.2788 25) (98.4808 -17.3648 25) (60.991 -18.0167 25) (91.5102 -8.75708 25) (82.0711 -7.07107 25) (61.3915 -60.3858 25) (67.9289 -7.07107 25) (-8.17844 -47.0148 -75) (-20.3431 -50.1686 -75) (30.1879 -43.3257 -75) (50 -28.8675 -75) (-10.2498 -63.5607 -75) (-32.3359 -60.5982 -75) (-50 -67.3575 -75) (-27.8383 -78.2461 -75) (50 -48.1125 -75) (-50 -86.6025 -75) (8.34963 -49.0482 -75) (-50 -48.1125 -75) (-32.2308 -45.3474 -75) (50 -9.6225 -75) (-36.7316 -34.2036 -75) (50 9.6225 -75) (-50 -28.8675 -75) (34.202 -93.9693 -75) (17.3648 -98.4808 -75) (16.7654 -81.8564 -75) (0 -100 -75) (35.8735 -78.2658 -75) (50 -86.6025 -75) (-4.71315 -80.8405 -75) (50 -67.3575 -75) (31.9366 -62.7449 -75) (-17.3648 -98.4808 -75) (12.119 -63.9104 -75) (-34.202 -93.9693 -75) (9.37727 64.3489 -75) (14.8182 47.9341 -75) (-6.73263 49.1968 -75) (17.3648 98.4808 -75) (34.202 93.9693 -75) (26.8879 77.9891 -75) (-50 48.1125 -75) (-29.95 43.1732 -75) (-50 28.8675 -75) (1.4079 82.2671 -75) (-12.9612 63.5763 -75) (-32.8384 61.9158 -75) (0 100 -75) (-50 67.3575 -75) (-20.4052 79.7278 -75) (-17.3648 98.4808 -75) (-37.0799 77.7597 -75) (-50 86.6025 -75) (-34.202 93.9693 -75) (50 28.8675 -75) (-50 -9.6225 -75) (33.5608 39.2491 -75) (50 48.1125 -75) (-50 9.6225 -75) (31.0341 58.4031 -75) (50 67.3575 -75) (50 86.6025 -75) (-50 38.9141 -40.8553) (-50 56.9708 -41.6522) (-50 48.9286 -56.1358) (-50 32.7919 -58.1342) (-50 20.6227 -41.5526) (-50 14.0935 -58.3566) (-50 -86.6025 -58.3333) (-50 1.31775 -41.8772) (-50 -6.16398 -58.6027) (-50 66.6042 -60.9663) (-50 72.4408 -45.1781) (-50 86.6025 -41.6667) (-50 86.6025 -58.3333) (-50 -39.6067 -42.3045) (-50 -18.9388 -42.4878) (-50 -61.0775 -40.8996) (-50 -29.0415 -59.9655) (-50 -51.7631 -58.1259) (-50 -70.3049 -55.1289) (-50 -86.6025 -41.6667) (93.9693 34.202 -25) (81.2015 24.5598 -25) (77.7882 41.2953 -25) (75 10 -25) (67.5854 27.0152 -25) (50 28.8675 -25) (58.9285 18.1069 -25) (50 9.6225 -25) (67.9289 7.07107 -25) (90.4705 14.6652 -25) (82.0711 7.07107 -25) (98.4808 17.3648 -25) (65 0 -25) (100 0 -25) (85 0 -25) (50 -9.6225 -25) (86.6025 50 -25) (64.1232 44.519 -25) (76.6044 64.2788 -25) (50 48.1125 -25) (61.4484 60.172 -25) (50 67.3575 -25) (64.2788 76.6044 -25) (50 86.6025 -25) (77.4232 -43.4472 -25) (86.6025 -50 -25) (76.6044 -64.2788 -25) (93.9693 -34.202 -25) (65.9129 -50.6425 -25) (76.5403 -27.9427 -25) (61.2753 -61.6257 -25) (63.2012 -36.5076 -25) (86.3348 -19.8135 -25) (64.2788 -76.6044 -25) (50 -48.1125 -25) (62.9265 -20.6629 -25) (75 -10 -25) (98.4808 -17.3648 -25) (50 -67.3575 -25) (67.9289 -7.07107 -25) (91.3679 -8.97975 -25) (82.0711 -7.07107 -25) (50 -28.8675 -25) (50 -86.6025 -25) (50 -51.5177 -41.872) (50 -28.0125 -40.2176) (50 -39.6697 -57.6908) (50 -61.1182 -59.0886) (50 74.9599 -41.2947) (50 58.5014 -41.5594) (50 70.779 -58.5287) (50 86.6025 -58.3333) (50 -19.3334 -57.7609) (50 86.6025 -41.6667) (50 -70.2628 -44.8561) (50 -86.6025 -58.3333) (50 -86.6025 -41.6667) (50 14.8663 -58.4416) (50 33.981 -58.2872) (50 19.8883 -41.7934) (50 -1.76026 -61.2305) (50 52.8706 -58.3816) (50 -2.82931 -43.2484) (50 39.9586 -41.6283) (38.627 -36.0851 55.6013) (38.7419 -44.3385 63.8906) (36.6956 -63.5667 43.6012) (35.0899 -55.5723 36.0734) (38.7411 -55.9092 63.787) (38.6185 -63.971 55.46) (36.7146 -36.3923 43.6888) (35.0929 -44.3639 36.0991) (65.7761 75.3227 14.953) (53.0082 84.7946 7.18018) (36.3222 93.1703 20.308) (37.053 92.882 37.1706) (83.5447 54.9571 -0.204582) (76.6544 64.2192 -12.9205) (70.3409 71.0786 1.47508) (79.3607 60.8431 12.6644) (25.4911 -96.6964 -55.8091) (38.8506 -92.1446 -54.264) (36.2141 -93.2123 -36.9311) (34.7327 -93.7744 -16.0932) (56.9654 -82.1884 -12.8692) (49.9874 -86.6098 -1.35914) (34.3321 -93.9218 4.1825) (20.5118 -97.8737 -36.1001) (9.04165 -99.5904 -55.6649) (61.2701 79.0315 -10.042) (14.1378 -98.9956 -18.6292) (88.8787 45.8321 -12.4096) (92.8747 37.0715 -0.1349) (89.4625 44.6818 12.2368) (22.5155 97.4323 50) (25.016 96.8204 50) (39.2656 91.9685 55.8745) (34.3396 -93.9191 21.8686) (46.1781 -88.6994 12.2251) (35.6132 93.4436 4.12214) (47.4798 88.0095 -7.63112) (34.7811 93.7564 -13.9596) (2.17111 -99.9764 -37.0793) (-4.15257 -99.9137 -18.4073) (-16.4069 -98.6449 -37.1516) (-9.63293 -99.535 -55.7352) (-30.515 -95.2304 -54.0087) (30.5386 95.2229 -54.0167) (34.1021 94.0056 -33.0557) (-35.2517 -93.5805 75) (20.6881 97.8366 -19.0489) (-42.7684 -90.3928 75) (-39.2656 -91.9685 55.8744) (39.2665 -91.9681 55.9636) (76.1299 -64.8401 13.1775) (95.647 -29.1831 -12.5165) (86.8246 -49.6135 -13.4291) (91.9574 -39.2917 -0.568089) (88.4105 -46.7288 12.1154) (81.6519 -57.7318 -0.197758) (99.5185 -9.80141 -12.3868) (99.5907 9.03858 -12.3789) (99.9991 -0.416489 -0.064092) (99.6001 8.93394 12.3255) (96.2174 27.2437 12.3115) (98.264 18.5522 -0.061308) (22.5155 -97.4323 50) (25.016 -96.8204 50) (36.9775 -92.9121 37.5153) (99.5329 -9.65377 12.257) (95.9067 -28.318 12.0851) (98.0268 -19.7673 -0.202037) (60.4894 -79.6306 11.9434) (67.4343 -73.8418 -0.134955) (73.4611 -67.8488 -12.3904) (96.1185 27.5906 -12.3821) (-34.6546 93.8033 -16.1476) (-56.9547 82.1959 -12.8877) (-49.9767 86.616 -1.38088) (-34.3293 93.9228 21.8746) (-46.1796 88.6986 12.2171) (-79.3664 -60.8356 12.6628) (-96.131 -27.5468 -12.3849) (-88.8886 -45.8128 -12.411) (-92.8816 -37.0542 -0.137898) (-83.5527 -54.9449 -0.206588) (-89.468 -44.6708 12.2345) (-60.486 79.6332 11.9276) (-67.4208 73.8541 -0.150617) (-73.4484 67.8625 -12.4043) (-99.5881 -9.06697 -12.3787) (-98.2656 -18.5439 -0.056713) (-36.9782 92.9119 37.517) (-65.7797 -75.3195 14.9518) (-76.661 -64.2113 -12.9207) (-70.347 -71.0725 1.47391) (-61.2739 -79.0286 -10.0423) (-53.0109 -84.7929 7.17859) (-34.285 93.939 4.174) (-36.1727 93.2284 -36.9681) (-76.1193 64.8525 13.1683) (-81.6289 57.7643 -0.210629) (-88.3918 46.7642 12.1066) (-99.6002 -8.93358 12.3277) (-96.2203 -27.2335 12.3122) (-99.9992 0.407363 -0.064789) (-99.5096 9.89181 -12.4091) (-98.004 19.8799 -0.222364) (-95.6263 29.2507 -12.5369) (-91.9278 39.3609 -0.583074) (-86.8061 49.6458 -13.4447) (-99.534 9.64234 12.2585) (-95.8872 28.3838 12.0748) (-25.016 -96.8204 50) (-34.0799 -94.0136 -33.0533) (-20.6573 -97.8431 -19.044) (-34.7716 -93.76 -13.9625) (4.20548 99.9115 -18.4222) (9.68083 99.5303 -55.7605) (-8.98427 99.5956 -55.7105) (-2.08806 99.9782 -37.1245) (16.4596 98.6361 -37.1697) (-37.053 -92.882 37.1703) (-35.6133 -93.4435 4.12026) (-36.323 -93.17 20.3068) (-25.4516 96.7069 -55.8478) (-35.2517 93.5805 75) (-22.5155 -97.4323 50) (-39.2668 91.968 55.9654) (-42.7684 90.3928 75) (-25.016 96.8204 50) (-22.5155 97.4323 50) (-47.479 -88.0099 -7.63341) (-14.0535 99.0076 -18.6679) (-38.8343 92.1515 -54.2819) (-20.4194 97.893 -36.1707) (85 0 8.33333) (82.0711 -7.07107 8.33333) (85 0 -8.33333) (82.0711 -7.07107 -8.33333) (82.0711 7.07107 8.33333) (75 10 -8.33333) (75 10 8.33333) (67.9289 7.07107 -8.33333) (75 -10 8.33333) (75 -10 -8.33333) (82.0711 7.07107 -8.33333) (65 0 8.33333) (67.9289 -7.07107 8.33333) (67.9289 7.07107 8.33333) (67.9289 -7.07107 -8.33333) (65 0 -8.33333) (-67.9289 -7.07107 -8.33333) (-65 0 -8.33333) (-67.9289 -7.07107 8.33333) (-65 0 8.33333) (-75 -10 -8.33333) (-82.0711 -7.07107 -8.33333) (-82.0711 -7.07107 8.33333) (-85 0 8.33333) (-67.9289 7.07107 -8.33333) (-67.9289 7.07107 8.33333) (-75 -10 8.33333) (-82.0711 7.07107 -8.33333) (-75 10 -8.33333) (-85 0 -8.33333) (-75 10 8.33333) (-82.0711 7.07107 8.33333) (-36.2567 58.1386 44.1894) (-40.1038 59.9273 51.2039) (-38.7364 45.8624 59.1039) (-38.5748 40.5611 53.3026) (-38.6983 53.2097 59.4709) (-36.9531 58.2533 55.6466) (-35.0499 49.8411 40.0013) (-36.4184 41.5206 44.6991) (-38.9169 56.2753 75) (-40.559 40.5083 75) (-38.7748 25.5778 75) (-38.6268 -74.3694 75) (-38.6275 74.5675 75) (-38.9258 -37.7032 75) (-40.3789 -22.1533 75) (-38.8583 -55.5405 75))
1696
(
((0 1 2) 7)
((3 4 5) 7)
((6 7 8) 7)
((9 8 10) 7)
((11 12 2) 7)
((0 2 13) 7)
((14 4 3) 7)
((15 3 5) 7)
((8 7 10) 7)
((11 16 12) 7)
((13 2 12) 7)
((15 14 3) 7)
((16 4 14) 7)
((10 7 17) 7)
((12 16 14) 7)
((13 12 18) 7)
((15 19 14) 7)
((18 12 14) 7)
((13 18 20) 7)
((15 21 19) 7)
((18 14 19) 7)
((18 22 20) 7)
((19 21 23) 7)
((19 22 18) 7)
((23 21 24) 7)
((22 19 23) 7)
((25 23 24) 7)
((25 22 23) 7)
((26 25 24) 7)
((27 28 29) 7)
((27 30 28) 7)
((28 31 29) 7)
((32 27 29) 7)
((30 33 28) 7)
((27 34 30) 7)
((29 31 35) 7)
((32 36 27) 7)
((32 29 37) 7)
((38 33 30) 7)
((27 36 34) 7)
((34 39 30) 7)
((31 40 35) 7)
((37 29 35) 7)
((32 41 36) 7)
((11 2 40) 7)
((9 42 8) 7)
((42 6 8) 7)
((5 4 43) 7)
((1 40 2) 7)
((9 34 42) 7)
((42 36 6) 7)
((5 43 38) 7)
((36 41 6) 7)
((37 35 1) 7)
((35 40 1) 7)
((9 39 34) 7)
((34 36 42) 7)
((39 38 30) 7)
((38 43 33) 7)
((44 45 46) 2)
((47 48 44) 2)
((49 50 51) 2)
((52 49 51) 2)
((53 45 44) 2)
((48 53 44) 2)
((54 50 49) 2)
((52 55 49) 2)
((53 56 45) 2)
((48 57 53) 2)
((52 51 58) 2)
((50 59 51) 2)
((47 44 60) 2)
((61 44 46) 2)
((62 58 51) 2)
((51 59 63) 2)
((61 60 44) 2)
((64 47 60) 2)
((62 51 63) 2)
((59 65 63) 2)
((66 67 68) 2)
((67 69 68) 2)
((66 68 70) 2)
((71 69 67) 2)
((68 72 70) 2)
((73 66 70) 2)
((71 74 69) 2)
((75 71 67) 2)
((70 72 76) 2)
((73 70 57) 2)
((77 74 71) 2)
((75 77 71) 2)
((76 57 70) 2)
((72 56 76) 2)
((77 55 74) 2)
((54 77 75) 2)
((57 76 53) 2)
((76 56 53) 2)
((49 55 77) 2)
((54 49 77) 2)
((78 79 80) 28)
((81 82 80) 28)
((83 78 80) 28)
((80 82 84) 28)
((83 85 78) 28)
((83 80 86) 28)
((82 87 84) 28)
((88 80 84) 28)
((80 89 86) 28)
((88 89 80) 28)
((90 91 92) 28)
((91 90 93) 28)
((91 79 92) 28)
((92 94 90) 28)
((90 95 93) 28)
((81 91 93) 28)
((80 79 91) 28)
((94 95 90) 28)
((96 94 92) 28)
((93 95 97) 28)
((81 80 91) 28)
((98 10 17) 37)
((99 100 98) 37)
((101 102 103) 37)
((104 105 103) 37)
((106 107 108) 37)
((109 110 106) 37)
((21 111 24) 37)
((110 112 100) 37)
((98 100 10) 37)
((103 102 113) 37)
((104 103 113) 37)
((106 108 114) 37)
((109 106 114) 37)
((115 111 21) 37)
((100 112 10) 37)
((116 113 102) 37)
((117 104 113) 37)
((118 119 120) 37)
((121 122 118) 37)
((118 122 119) 37)
((122 123 124) 37)
((121 125 122) 37)
((122 124 119) 37)
((125 123 122) 37)
((26 125 121) 37)
((119 124 101) 37)
((125 126 123) 37)
((26 24 125) 37)
((105 119 101) 37)
((24 126 125) 37)
((99 106 100) 37)
((105 101 103) 37)
((99 107 106) 37)
((24 111 126) 37)
((106 110 100) 37)
((15 5 127) 37)
((39 9 128) 37)
((129 130 131) 37)
((127 131 132) 37)
((133 129 134) 37)
((5 135 127) 37)
((39 128 136) 37)
((129 131 134) 37)
((131 127 135) 37)
((133 134 137) 37)
((128 137 136) 37)
((5 38 135) 37)
((38 39 136) 37)
((135 134 131) 37)
((136 137 134) 37)
((38 136 135) 37)
((135 136 134) 37)
((114 108 138) 37)
((109 114 139) 37)
((115 140 116) 37)
((115 21 15) 37)
((112 141 10) 37)
((116 140 113) 37)
((117 113 132) 37)
((139 114 138) 37)
((115 15 140) 37)
((10 141 9) 37)
((140 132 113) 37)
((130 117 132) 37)
((139 138 133) 37)
((15 127 140) 37)
((9 141 128) 37)
((132 140 127) 37)
((130 132 131) 37)
((133 138 129) 37)
((142 143 144) 8)
((144 145 142) 8)
((145 146 147) 8)
((147 148 149) 8)
((144 143 150) 8)
((151 145 144) 8)
((146 148 147) 8)
((149 148 152) 8)
((144 150 153) 8)
((151 144 153) 8)
((146 152 148) 8)
((153 150 154) 8)
((151 153 155) 8)
((156 152 146) 8)
((147 149 157) 8)
((142 145 147) 8)
((143 142 158) 8)
((158 147 157) 8)
((157 149 159) 8)
((158 142 147) 8)
((160 143 158) 8)
((157 161 158) 8)
((162 157 159) 8)
((160 158 161) 8)
((161 157 162) 8)
((162 159 163) 8)
((164 161 162) 8)
((164 162 163) 8)
((165 164 163) 8)
((166 167 168) 8)
((167 166 169) 8)
((170 168 167) 8)
((171 166 168) 8)
((169 172 167) 8)
((173 169 166) 8)
((170 174 168) 8)
((170 167 175) 8)
((176 166 171) 8)
((171 168 177) 8)
((178 172 169) 8)
((172 179 167) 8)
((173 180 169) 8)
((176 173 166) 8)
((168 174 177) 8)
((181 182 183) 8)
((155 153 154) 8)
((156 180 152) 8)
((181 183 184) 8)
((175 155 154) 8)
((156 178 180) 8)
((181 184 177) 8)
((183 176 184) 8)
((185 175 154) 8)
((179 155 175) 8)
((180 178 169) 8)
((184 171 177) 8)
((184 176 171) 8)
((170 175 185) 8)
((167 179 175) 8)
((186 187 66) 36)
((188 189 82) 15)
((190 191 192) 15)
((192 189 188) 15)
((193 194 195) 36)
((196 197 198) 12)
((196 186 73) 36)
((199 200 201) 36)
((202 203 201) 36)
((204 205 206) 36)
((207 208 209) 23)
((210 211 212) 36)
((213 67 187) 36)
((214 215 213) 36)
((210 216 217) 19)
((218 219 216) 19)
((220 221 222) 19)
((221 223 218) 19)
((224 225 226) 27)
((227 228 229) 24)
((230 229 231) 24)
((232 233 234) 23)
((235 236 237) 23)
((204 209 205) 36)
((238 203 202) 20)
((202 201 200) 36)
((73 239 196) 12)
((240 197 196) 12)
((241 189 192) 15)
((191 242 192) 15)
((189 87 82) 15)
((186 66 73) 36)
((210 217 211) 36)
((187 67 66) 36)
((215 67 213) 36)
((215 214 243) 16)
((216 244 217) 19)
((220 245 221) 19)
((223 219 218) 19)
((223 221 245) 19)
((228 246 229) 24)
((229 247 231) 24)
((234 233 248) 23)
((235 237 233) 23)
((249 236 235) 23)
((250 226 251) 27)
((78 85 250) 27)
((227 229 230) 24)
((252 253 227) 24)
((230 231 254) 36)
((255 232 234) 23)
((232 256 235) 23)
((256 205 208) 23)
((257 203 205) 36)
((258 201 257) 36)
((259 254 258) 36)
((198 260 186) 36)
((195 198 261) 36)
((188 262 190) 15)
((263 190 264) 15)
((263 264 265) 15)
((265 195 194) 15)
((262 188 81) 15)
((260 266 187) 36)
((210 214 267) 36)
((267 213 266) 36)
((210 268 218) 19)
((233 232 235) 23)
((249 235 256) 23)
((208 205 209) 23)
((249 256 208) 23)
((205 203 206) 36)
((203 257 201) 36)
((201 258 199) 36)
((258 254 199) 36)
((196 198 186) 36)
((193 195 261) 36)
((190 192 188) 15)
((263 191 190) 15)
((269 265 194) 15)
((81 188 82) 15)
((260 187 186) 36)
((210 212 214) 36)
((266 213 187) 36)
((267 214 213) 36)
((210 218 216) 19)
((221 270 222) 19)
((218 268 221) 19)
((225 271 272) 27)
((226 225 272) 27)
((273 274 275) 12)
((274 47 275) 12)
((276 50 277) 16)
((278 279 280) 24)
((281 282 283) 20)
((284 281 283) 20)
((285 274 273) 12)
((48 47 274) 12)
((277 50 54) 16)
((286 287 288) 19)
((289 280 290) 24)
((280 279 291) 24)
((283 282 292) 20)
((284 283 293) 20)
((285 48 274) 12)
((277 54 294) 16)
((295 296 297) 19)
((297 288 298) 19)
((288 287 299) 19)
((287 300 299) 19)
((290 280 291) 24)
((301 290 302) 24)
((303 304 305) 16)
((306 305 307) 16)
((305 304 307) 16)
((65 59 304) 16)
((308 309 310) 12)
((306 307 311) 16)
((304 59 307) 16)
((312 313 314) 20)
((315 314 316) 20)
((309 317 275) 12)
((310 309 275) 12)
((64 310 47) 12)
((311 307 276) 16)
((307 59 276) 16)
((314 313 281) 20)
((318 282 313) 20)
((314 281 316) 20)
((273 275 317) 12)
((310 275 47) 12)
((311 276 277) 16)
((59 50 276) 16)
((313 282 281) 20)
((284 316 281) 20)
((299 319 223) 19)
((302 291 246) 24)
((246 320 247) 24)
((321 322 248) 23)
((237 323 321) 23)
((236 324 237) 23)
((238 202 325) 20)
((238 326 203) 20)
((202 200 325) 20)
((73 57 239) 12)
((239 240 196) 12)
((327 241 192) 15)
((242 327 192) 15)
((75 67 215) 36)
((215 243 328) 16)
((295 245 220) 19)
((223 319 219) 19)
((299 223 245) 19)
((228 302 246) 24)
((246 247 229) 24)
((233 321 248) 23)
((321 233 237) 23)
((291 279 320) 24)
((329 323 324) 23)
((283 292 325) 20)
((283 325 293) 20)
((285 57 48) 12)
((294 54 75) 16)
((328 277 294) 16)
((295 297 298) 19)
((298 288 299) 19)
((299 300 319) 19)
((302 290 291) 24)
((291 320 246) 24)
((330 324 236) 23)
((324 323 237) 23)
((238 325 292) 20)
((325 200 293) 20)
((285 239 57) 12)
((285 240 239) 12)
((331 241 327) 15)
((215 294 75) 16)
((215 328 294) 16)
((295 298 245) 19)
((298 299 245) 19)
((332 333 334) 36)
((335 336 337) 27)
((337 96 92) 27)
((336 338 339) 36)
((340 341 342) 36)
((343 342 341) 36)
((344 345 346) 36)
((347 343 346) 36)
((339 344 348) 36)
((97 349 350) 36)
((349 351 352) 36)
((351 332 353) 36)
((354 333 332) 36)
((336 96 337) 27)
((336 339 348) 36)
((341 340 355) 36)
((356 343 341) 36)
((346 357 344) 36)
((356 346 343) 36)
((344 357 348) 36)
((349 97 358) 36)
((349 359 351) 36)
((360 350 361) 36)
((362 97 360) 15)
((363 350 364) 36)
((364 352 365) 36)
((352 353 366) 36)
((353 367 368) 36)
((332 334 367) 36)
((337 369 335) 27)
((79 337 92) 27)
((338 336 335) 27)
((339 338 370) 36)
((342 371 340) 36)
((372 342 343) 36)
((373 346 345) 36)
((344 374 345) 36)
((346 373 347) 36)
((347 372 343) 36)
((339 374 344) 36)
((360 97 350) 36)
((364 350 349) 36)
((352 364 349) 36)
((352 351 353) 36)
((353 332 367) 36)
((96 375 376) 36)
((96 377 375) 36)
((378 379 355) 36)
((380 356 379) 36)
((380 381 377) 36)
((376 382 358) 36)
((382 383 359) 36)
((384 385 383) 36)
((375 386 376) 36)
((377 381 375) 36)
((379 378 387) 36)
((380 379 381) 36)
((376 386 382) 36)
((383 382 384) 36)
((388 387 378) 36)
((388 385 384) 36)
((375 381 386) 36)
((381 379 387) 36)
((382 386 384) 36)
((388 384 387) 36)
((381 387 386) 36)
((386 387 384) 36)
((351 354 332) 36)
((354 389 333) 36)
((336 348 96) 36)
((340 390 355) 36)
((356 341 355) 36)
((357 346 356) 36)
((348 357 377) 36)
((94 376 95) 36)
((358 97 95) 36)
((358 359 349) 36)
((359 354 351) 36)
((383 389 354) 36)
((383 391 389) 36)
((94 96 376) 36)
((96 348 377) 36)
((355 390 378) 36)
((356 355 379) 36)
((380 357 356) 36)
((380 377 357) 36)
((376 358 95) 36)
((358 382 359) 36)
((359 383 354) 36)
((385 391 383) 36)
((268 365 270) 36)
((366 392 270) 36)
((392 368 393) 36)
((394 395 396) 36)
((272 397 369) 27)
((251 272 398) 27)
((78 251 398) 27)
((399 400 401) 27)
((338 402 403) 36)
((252 230 259) 36)
((394 396 404) 36)
((393 394 404) 36)
((255 373 405) 23)
((405 406 256) 23)
((205 406 407) 36)
((408 257 407) 36)
((409 410 411) 36)
((392 393 410) 36)
((408 370 259) 36)
((195 361 260) 36)
((362 264 262) 15)
((264 360 195) 15)
((268 270 221) 19)
((272 271 397) 27)
((251 226 272) 27)
((78 250 251) 27)
((401 402 338) 36)
((252 227 230) 24)
((259 230 254) 36)
((255 405 232) 23)
((405 256 232) 23)
((256 406 205) 23)
((205 407 257) 36)
((408 258 257) 36)
((409 270 410) 36)
((270 392 410) 36)
((408 259 258) 36)
((260 198 195) 36)
((262 264 190) 15)
((264 195 265) 15)
((93 262 81) 15)
((260 361 266) 36)
((210 267 412) 36)
((267 266 363) 36)
((210 412 268) 36)
((195 360 361) 36)
((362 360 264) 15)
((93 97 362) 15)
((363 361 350) 36)
((412 363 364) 36)
((412 364 365) 36)
((365 352 366) 36)
((366 353 368) 36)
((368 367 394) 36)
((367 334 395) 36)
((369 413 335) 27)
((369 337 398) 27)
((79 398 337) 27)
((338 335 399) 27)
((252 370 338) 36)
((404 371 342) 36)
((372 404 342) 36)
((406 373 345) 36)
((374 407 345) 36)
((411 347 373) 36)
((410 372 347) 36)
((339 370 374) 36)
((93 362 262) 15)
((266 361 363) 36)
((267 363 412) 36)
((412 365 268) 36)
((365 366 270) 36)
((366 368 392) 36)
((368 394 393) 36)
((367 395 394) 36)
((369 397 413) 27)
((272 369 398) 27)
((78 398 79) 27)
((374 370 408) 36)
((410 393 372) 36)
((411 410 347) 36)
((407 374 408) 36)
((406 345 407) 36)
((405 373 406) 23)
((393 404 372) 36)
((404 396 371) 36)
((252 259 370) 36)
((252 338 403) 36)
((335 413 399) 27)
((338 399 401) 27)
((197 414 415) 30)
((414 416 417) 30)
((197 415 265) 30)
((418 273 317) 30)
((419 420 418) 30)
((197 421 414) 30)
((421 416 414) 30)
((197 265 269) 30)
((420 273 418) 30)
((419 422 420) 30)
((197 240 421) 30)
((421 423 416) 30)
((420 285 273) 30)
((420 422 423) 30)
((421 240 420) 30)
((423 421 420) 30)
((240 285 420) 30)
((424 425 426) 30)
((427 425 424) 30)
((428 424 426) 30)
((417 425 427) 30)
((263 427 424) 30)
((191 424 428) 30)
((428 426 429) 30)
((415 417 427) 30)
((427 263 415) 30)
((191 263 424) 30)
((317 191 428) 30)
((418 428 429) 30)
((417 415 414) 30)
((415 263 265) 30)
((428 418 317) 30)
((242 191 317) 30)
((419 418 429) 30)
((411 373 255) 29)
((430 248 431) 29)
((432 295 431) 29)
((431 248 433) 29)
((432 296 295) 29)
((432 431 434) 29)
((248 322 433) 29)
((435 431 433) 29)
((431 436 434) 29)
((435 436 431) 29)
((220 222 437) 29)
((222 409 437) 29)
((220 437 430) 29)
((409 411 437) 29)
((270 409 222) 29)
((295 220 430) 29)
((234 430 437) 29)
((437 411 255) 29)
((295 430 431) 29)
((234 248 430) 29)
((234 437 255) 29)
((292 438 439) 33)
((438 133 439) 33)
((318 236 440) 33)
((112 440 441) 33)
((438 292 442) 33)
((139 133 438) 33)
((330 236 318) 33)
((440 443 318) 33)
((112 110 440) 33)
((442 139 438) 33)
((442 292 282) 33)
((443 440 110) 33)
((443 282 318) 33)
((109 139 442) 33)
((442 282 443) 33)
((109 443 110) 33)
((109 442 443) 33)
((208 326 444) 33)
((208 207 326) 33)
((326 445 444) 33)
((208 444 249) 33)
((326 238 445) 33)
((445 137 444) 33)
((444 441 249) 33)
((238 439 445) 33)
((141 444 128) 33)
((112 441 141) 33)
((440 236 441) 33)
((439 133 445) 33)
((238 292 439) 33)
((141 441 444) 33)
((249 441 236) 33)
((444 137 128) 33)
((445 133 137) 33)
((446 447 448) 5)
((449 74 55) 5)
((450 46 45) 5)
((419 429 450) 5)
((451 450 452) 5)
((446 453 447) 5)
((454 455 449) 5)
((455 74 449) 5)
((419 450 45) 5)
((450 429 452) 5)
((456 457 458) 5)
((451 452 456) 5)
((459 453 446) 5)
((454 453 460) 5)
((454 460 455) 5)
((69 74 455) 5)
((419 45 422) 5)
((461 462 463) 5)
((461 463 58) 5)
((464 462 461) 5)
((462 465 463) 5)
((58 463 52) 5)
((465 466 463) 5)
((464 467 468) 5)
((464 468 462) 5)
((469 465 462) 5)
((463 466 52) 5)
((468 467 448) 5)
((468 469 462) 5)
((466 470 52) 5)
((469 468 448) 5)
((52 470 55) 5)
((448 447 469) 5)
((449 55 470) 5)
((451 46 450) 5)
((471 472 473) 5)
((474 475 473) 5)
((72 474 476) 5)
((72 476 423) 5)
((477 425 417) 5)
((473 472 478) 5)
((473 476 474) 5)
((476 416 423) 5)
((417 416 479) 5)
((480 477 417) 5)
((473 478 481) 5)
((476 473 481) 5)
((479 416 476) 5)
((480 417 479) 5)
((481 478 480) 5)
((481 479 476) 5)
((479 481 480) 5)
((429 426 452) 5)
((456 452 457) 5)
((460 453 459) 5)
((475 455 460) 5)
((69 455 475) 5)
((56 422 45) 5)
((452 426 457) 5)
((460 459 471) 5)
((471 475 460) 5)
((69 475 68) 5)
((423 422 56) 5)
((426 425 457) 5)
((471 459 472) 5)
((475 471 473) 5)
((475 474 68) 5)
((72 68 474) 5)
((72 423 56) 5)
((457 425 477) 5)
((482 483 484) 6)
((485 486 484) 6)
((487 483 482) 6)
((478 482 480) 6)
((483 488 484) 6)
((485 484 489) 6)
((487 482 478) 6)
((484 488 489) 6)
((485 489 490) 6)
((487 478 491) 6)
((488 492 489) 6)
((490 489 493) 6)
((467 494 448) 6)
((472 491 478) 6)
((480 482 495) 6)
((485 496 486) 6)
((495 484 486) 6)
((484 495 482) 6)
((477 480 495) 6)
((486 496 497) 6)
((486 498 495) 6)
((498 477 495) 6)
((498 486 497) 6)
((499 477 498) 6)
((497 499 498) 6)
((457 477 499) 6)
((499 497 500) 6)
((457 499 500) 6)
((457 500 458) 6)
((501 502 503) 6)
((502 501 504) 6)
((502 505 503) 6)
((503 506 501) 6)
((507 504 501) 6)
((502 504 508) 6)
((509 505 502) 6)
((503 510 506) 6)
((507 501 506) 6)
((507 511 504) 6)
((509 502 508) 6)
((508 504 459) 6)
((510 512 506) 6)
((507 506 513) 6)
((459 504 511) 6)
((489 492 493) 6)
((514 448 494) 6)
((446 448 514) 6)
((515 491 472) 6)
((492 513 512) 6)
((493 492 512) 6)
((509 514 494) 6)
((446 514 508) 6)
((511 515 472) 6)
((459 511 472) 6)
((512 513 506) 6)
((510 493 512) 6)
((446 508 459) 6)
((509 508 514) 6)
((507 515 511) 6)
((516 517 340) 4)
((518 395 519) 4)
((520 521 517) 4)
((522 521 523) 4)
((371 516 340) 4)
((516 520 517) 4)
((524 518 519) 4)
((396 395 518) 4)
((523 521 520) 4)
((525 522 523) 4)
((371 526 516) 4)
((522 527 521) 4)
((521 528 517) 4)
((519 395 529) 4)
((517 528 340) 4)
((527 528 521) 4)
((529 395 334) 4)
((530 340 528) 4)
((528 527 530) 4)
((529 334 531) 4)
((390 340 530) 4)
((530 527 532) 4)
((531 334 333) 4)
((533 534 535) 4)
((535 534 536) 4)
((533 537 538) 4)
((533 535 537) 4)
((536 539 535) 4)
((537 540 538) 4)
((535 541 537) 4)
((539 536 542) 4)
((539 543 535) 4)
((541 540 537) 4)
((541 535 543) 4)
((523 542 544) 4)
((523 539 542) 4)
((543 539 520) 4)
((543 526 518) 4)
((524 540 541) 4)
((543 518 541) 4)
((520 526 543) 4)
((371 396 526) 4)
((525 523 544) 4)
((523 520 539) 4)
((526 396 518) 4)
((524 541 518) 4)
((516 526 520) 4)
((545 546 547) 4)
((548 549 550) 4)
((551 552 553) 4)
((547 385 552) 4)
((550 545 554) 4)
((545 547 555) 4)
((548 550 554) 4)
((551 556 552) 4)
((555 547 552) 4)
((554 545 555) 4)
((548 554 557) 4)
((551 558 556) 4)
((555 552 556) 4)
((554 555 559) 4)
((560 557 554) 4)
((561 558 562) 4)
((556 558 561) 4)
((559 555 556) 4)
((560 554 559) 4)
((563 561 562) 4)
((559 556 561) 4)
((560 559 563) 4)
((563 559 561) 4)
((390 530 532) 4)
((564 531 333) 4)
((390 532 565) 4)
((564 333 566) 4)
((390 565 378) 4)
((567 564 566) 4)
((333 389 566) 4)
((565 568 378) 4)
((567 566 569) 4)
((566 389 546) 4)
((568 388 378) 4)
((570 567 569) 4)
((550 569 545) 4)
((391 385 547) 4)
((385 388 552) 4)
((552 388 553) 4)
((571 550 549) 4)
((546 391 547) 4)
((569 546 545) 4)
((570 569 550) 4)
((553 388 568) 4)
((571 570 550) 4)
((389 391 546) 4)
((569 566 546) 4)
((572 176 573) 9)
((574 575 572) 9)
((575 551 553) 9)
((173 176 572) 9)
((572 575 576) 9)
((575 553 577) 9)
((173 572 576) 9)
((576 575 577) 9)
((577 553 568) 9)
((525 578 522) 9)
((173 576 180) 9)
((576 577 579) 9)
((577 568 580) 9)
((574 551 575) 9)
((574 572 573) 9)
((176 183 573) 9)
((574 581 551) 9)
((574 573 581) 9)
((573 183 582) 9)
((558 551 581) 9)
((573 582 581) 9)
((183 583 582) 9)
((558 581 562) 9)
((582 584 581) 9)
((583 584 582) 9)
((182 583 183) 9)
((581 584 562) 9)
((149 585 159) 9)
((149 586 585) 9)
((587 159 585) 9)
((586 588 585) 9)
((152 586 149) 9)
((589 587 585) 9)
((163 159 587) 9)
((586 580 588) 9)
((589 585 588) 9)
((152 579 586) 9)
((589 590 587) 9)
((163 587 591) 9)
((580 565 588) 9)
((590 578 591) 9)
((522 578 590) 9)
((180 576 579) 9)
((527 588 532) 9)
((527 522 589) 9)
((579 577 580) 9)
((588 565 532) 9)
((580 568 565) 9)
((163 591 165) 9)
((587 590 591) 9)
((589 522 590) 9)
((180 579 152) 9)
((527 589 588) 9)
((579 580 586) 9)
((592 593 594) 10)
((593 595 596) 10)
((597 598 599) 10)
((596 600 598) 10)
((593 592 601) 10)
((602 595 593) 10)
((598 600 599) 10)
((601 592 603) 10)
((601 602 593) 10)
((599 600 604) 10)
((605 601 603) 10)
((606 602 601) 10)
((607 599 604) 10)
((606 601 605) 10)
((597 596 598) 10)
((595 600 596) 10)
((594 593 596) 10)
((608 592 594) 10)
((597 609 596) 10)
((594 596 609) 10)
((608 594 610) 10)
((597 611 609) 10)
((609 610 594) 10)
((609 611 612) 10)
((610 609 612) 10)
((612 611 613) 10)
((614 610 612) 10)
((614 612 613) 10)
((615 614 613) 10)
((616 617 618) 10)
((619 617 616) 10)
((620 616 618) 10)
((619 616 621) 10)
((618 622 620) 10)
((616 620 623) 10)
((623 621 616) 10)
((619 621 624) 10)
((622 618 625) 10)
((622 626 620) 10)
((620 626 623) 10)
((621 623 627) 10)
((621 628 624) 10)
((619 624 629) 10)
((630 622 625) 10)
((631 607 604) 10)
((606 605 632) 10)
((606 632 633) 10)
((631 627 607) 10)
((605 629 632) 10)
((633 632 624) 10)
((607 627 634) 10)
((631 628 627) 10)
((630 625 635) 10)
((632 629 624) 10)
((633 624 628) 10)
((634 627 623) 10)
((627 628 621) 10)
((626 634 623) 10)
((630 626 622) 10)
((626 636 637) 11)
((638 639 524) 11)
((626 637 634) 11)
((640 613 641) 11)
((640 642 643) 11)
((638 637 636) 11)
((519 638 524) 11)
((637 607 634) 11)
((641 613 611) 11)
((642 640 641) 11)
((643 642 571) 11)
((644 637 638) 11)
((519 644 638) 11)
((639 638 636) 11)
((645 640 643) 11)
((640 615 613) 11)
((524 639 540) 11)
((626 630 636) 11)
((636 646 639) 11)
((645 615 640) 11)
((639 647 540) 11)
((636 630 646) 11)
((646 647 639) 11)
((647 538 540) 11)
((630 648 646) 11)
((648 647 646) 11)
((635 648 630) 11)
((649 564 650) 11)
((649 531 564) 11)
((650 564 567) 11)
((651 649 650) 11)
((652 531 649) 11)
((650 567 653) 11)
((649 651 654) 11)
((650 655 651) 11)
((529 531 652) 11)
((654 652 649) 11)
((653 567 570) 11)
((655 650 653) 11)
((651 599 654) 11)
((654 607 637) 11)
((641 611 655) 11)
((641 653 642) 11)
((642 570 571) 11)
((644 654 637) 11)
((519 529 644) 11)
((655 611 597) 11)
((651 597 599) 11)
((654 599 607) 11)
((653 641 655) 11)
((653 570 642) 11)
((644 652 654) 11)
((644 529 652) 11)
((655 597 651) 11)
((656 449 657) 32)
((328 657 277) 32)
((306 658 319) 32)
((658 469 659) 32)
((449 470 657) 32)
((277 657 660) 32)
((658 306 661) 32)
((300 306 319) 32)
((465 469 658) 32)
((657 470 660) 32)
((277 660 311) 32)
((661 306 311) 32)
((661 465 658) 32)
((466 660 470) 32)
((660 661 311) 32)
((466 465 661) 32)
((466 661 660) 32)
((662 216 663) 32)
((216 662 243) 32)
((219 663 216) 32)
((663 453 662) 32)
((243 662 656) 32)
((244 216 243) 32)
((219 659 663) 32)
((453 454 662) 32)
((447 453 663) 32)
((662 454 656) 32)
((243 656 328) 32)
((319 659 219) 32)
((659 447 663) 32)
((454 449 656) 32)
((328 656 657) 32)
((319 658 659) 32)
((469 447 659) 32)
((458 664 665) 3)
((458 666 667) 3)
((308 667 241) 3)
((668 669 670) 3)
((671 670 664) 3)
((608 610 669) 3)
((534 533 672) 3)
((673 674 672) 3)
((635 674 648) 3)
((675 635 676) 3)
((675 677 678) 3)
((296 675 678) 3)
((675 674 635) 3)
((679 672 674) 3)
((680 534 672) 3)
((669 610 614) 3)
((664 670 665) 3)
((670 669 681) 3)
((666 241 667) 3)
((458 665 666) 3)
((682 296 432) 3)
((675 296 682) 3)
((592 608 683) 3)
((496 671 497) 3)
((684 683 668) 3)
((685 668 671) 3)
((241 686 687) 3)
((308 310 688) 3)
((688 456 667) 3)
((497 664 500) 3)
((297 678 689) 3)
((677 690 678) 3)
((675 676 677) 3)
((676 635 625) 3)
((674 673 648) 3)
((672 533 673) 3)
((683 608 669) 3)
((497 671 664) 3)
((669 668 683) 3)
((671 668 670) 3)
((308 241 687) 3)
((308 688 667) 3)
((458 667 456) 3)
((458 500 664) 3)
((297 296 678) 3)
((691 692 693) 3)
((694 682 695) 3)
((694 696 697) 3)
((542 697 698) 3)
((542 698 544) 3)
((578 525 544) 3)
((695 436 435) 3)
((643 549 699) 3)
((692 615 693) 3)
((643 699 645) 3)
((615 645 700) 3)
((691 693 87) 3)
((315 701 314) 3)
((694 695 696) 3)
((696 698 697) 3)
((698 578 544) 3)
((433 695 435) 3)
((548 699 549) 3)
((693 615 700) 3)
((700 645 699) 3)
((702 87 693) 3)
((99 703 107) 3)
((701 703 704) 3)
((674 675 679) 3)
((672 679 680) 3)
((536 534 680) 3)
((669 614 681) 3)
((670 681 665) 3)
((189 241 666) 3)
((691 666 665) 3)
((434 682 432) 3)
((682 679 675) 3)
((694 680 679) 3)
((697 536 680) 3)
((681 614 615) 3)
((665 681 692) 3)
((189 666 691) 3)
((691 665 692) 3)
((434 695 682) 3)
((694 679 682) 3)
((694 697 680) 3)
((542 536 697) 3)
((434 436 695) 3)
((643 571 549) 3)
((615 692 681) 3)
((189 691 87) 3)
((304 705 63) 3)
((464 461 705) 3)
((505 509 706) 3)
((619 707 708) 3)
((707 709 708) 3)
((505 706 710) 3)
((710 711 709) 3)
((712 605 713) 3)
((714 712 713) 3)
((490 715 716) 3)
((717 715 714) 3)
((718 288 719) 3)
((304 303 705) 3)
((464 705 720) 3)
((494 706 509) 3)
((619 708 617) 3)
((711 708 709) 3)
((706 711 710) 3)
((605 603 713) 3)
((714 713 717) 3)
((490 716 485) 3)
((715 717 716) 3)
((721 510 722) 3)
((503 722 510) 3)
((493 510 721) 3)
((721 722 723) 3)
((461 58 62) 3)
((723 722 709) 3)
((503 710 722) 3)
((707 629 712) 3)
((707 712 723) 3)
((493 721 715) 3)
((714 721 723) 3)
((63 705 62) 3)
((65 304 63) 3)
((705 461 62) 3)
((619 629 707) 3)
((707 723 709) 3)
((505 710 503) 3)
((710 709 722) 3)
((629 605 712) 3)
((723 712 714) 3)
((493 715 490) 3)
((721 714 715) 3)
((718 286 288) 3)
((310 64 60) 3)
((61 451 688) 3)
((288 689 720) 3)
((690 467 689) 3)
((724 467 690) 3)
((725 724 677) 3)
((726 625 618) 3)
((726 725 676) 3)
((538 647 533) 3)
((727 592 683) 3)
((683 684 727) 3)
((496 685 671) 3)
((668 685 684) 3)
((331 686 241) 3)
((688 310 60) 3)
((451 456 688) 3)
((288 297 689) 3)
((690 689 678) 3)
((724 690 677) 3)
((677 676 725) 3)
((676 625 726) 3)
((673 647 648) 3)
((533 647 673) 3)
((288 303 719) 3)
((303 720 705) 3)
((464 720 467) 3)
((494 724 706) 3)
((708 618 617) 3)
((708 711 726) 3)
((711 706 725) 3)
((713 603 727) 3)
((727 717 713) 3)
((485 716 685) 3)
((684 716 717) 3)
((61 46 451) 3)
((720 303 288) 3)
((467 720 689) 3)
((494 467 724) 3)
((724 725 706) 3)
((726 618 708) 3)
((725 726 711) 3)
((603 592 727) 3)
((717 727 684) 3)
((485 685 496) 3)
((716 684 685) 3)
((61 688 60) 3)
((728 729 730) 3)
((182 181 729) 3)
((731 732 26) 3)
((41 733 6) 3)
((734 143 735) 3)
((736 735 737) 3)
((738 737 733) 3)
((739 732 730) 3)
((730 729 740) 3)
((729 181 741) 3)
((739 26 732) 3)
((41 738 733) 3)
((734 150 143) 3)
((735 736 734) 3)
((737 738 736) 3)
((181 177 741) 3)
((740 739 730) 3)
((741 740 729) 3)
((25 26 739) 3)
((32 738 41) 3)
((742 150 734) 3)
((743 734 736) 3)
((744 289 226) 3)
((17 7 745) 3)
((746 160 161) 3)
((747 746 748) 3)
((747 749 745) 3)
((728 750 85) 3)
((728 751 182) 3)
((750 731 250) 3)
((121 744 26) 3)
((744 226 731) 3)
((6 745 7) 3)
((735 160 746) 3)
((737 746 747) 3)
((733 747 745) 3)
((728 730 750) 3)
((728 182 729) 3)
((750 732 731) 3)
((744 731 26) 3)
((6 733 745) 3)
((735 143 160) 3)
((746 737 735) 3)
((733 737 747) 3)
((730 732 750) 3)
((752 753 754) 3)
((20 22 752) 3)
((37 755 756) 3)
((757 758 742) 3)
((743 755 757) 3)
((759 760 758) 3)
((761 762 760) 3)
((754 753 761) 3)
((20 752 754) 3)
((1 755 37) 3)
((759 758 757) 3)
((763 757 755) 3)
((761 760 759) 3)
((754 761 764) 3)
((20 754 13) 3)
((1 763 755) 3)
((757 763 759) 3)
((764 761 759) 3)
((13 754 764) 3)
((0 763 1) 3)
((764 759 763) 3)
((13 764 0) 3)
((0 764 763) 3)
((756 736 738) 3)
((177 174 762) 3)
((741 177 762) 3)
((739 740 752) 3)
((740 741 753) 3)
((25 739 752) 3)
((32 756 738) 3)
((742 154 150) 3)
((734 743 742) 3)
((736 756 743) 3)
((758 185 154) 3)
((760 170 185) 3)
((762 174 170) 3)
((762 753 741) 3)
((753 752 740) 3)
((25 752 22) 3)
((37 756 32) 3)
((758 154 742) 3)
((757 742 743) 3)
((755 743 756) 3)
((760 185 758) 3)
((762 170 760) 3)
((753 762 761) 3)
((323 765 312) 3)
((766 767 768) 3)
((591 766 165) 3)
((767 322 768) 3)
((769 89 88) 3)
((770 557 771) 3)
((772 773 770) 3)
((769 702 773) 3)
((98 774 704) 3)
((323 312 774) 3)
((321 775 322) 3)
((323 776 321) 3)
((766 768 165) 3)
((768 322 775) 3)
((769 86 89) 3)
((562 584 563) 3)
((557 560 771) 3)
((560 563 777) 3)
((771 772 770) 3)
((772 769 773) 3)
((778 278 280) 3)
((98 17 774) 3)
((314 701 704) 3)
((323 329 779) 3)
((695 767 696) 3)
((766 698 696) 3)
((591 578 698) 3)
((433 767 695) 3)
((548 770 699) 3)
((700 702 693) 3)
((773 700 699) 3)
((84 87 702) 3)
((704 703 99) 3)
((312 314 704) 3)
((323 779 765) 3)
((766 696 767) 3)
((591 698 766) 3)
((433 322 767) 3)
((769 88 84) 3)
((548 557 770) 3)
((770 773 699) 3)
((702 700 773) 3)
((769 84 702) 3)
((98 704 99) 3)
((774 312 704) 3)
((780 118 781) 3)
((280 289 780) 3)
((226 782 783) 3)
((164 165 748) 3)
((776 17 749) 3)
((749 748 784) 3)
((83 785 85) 3)
((786 583 751) 3)
((787 777 751) 3)
((785 787 728) 3)
((121 118 780) 3)
((780 289 744) 3)
((289 782 226) 3)
((164 746 161) 3)
((164 748 746) 3)
((749 17 745) 3)
((747 748 749) 3)
((785 728 85) 3)
((751 583 182) 3)
((787 751 728) 3)
((750 250 85) 3)
((121 780 744) 3)
((731 226 250) 3)
((323 774 776) 3)
((776 775 321) 3)
((784 165 768) 3)
((784 768 775) 3)
((785 86 769) 3)
((563 584 786) 3)
((771 560 777) 3)
((777 563 786) 3)
((772 771 787) 3)
((785 769 772) 3)
((778 780 781) 3)
((785 772 787) 3)
((777 786 751) 3)
((787 771 777) 3)
((584 583 786) 3)
((83 86 785) 3)
((749 784 775) 3)
((748 165 784) 3)
((775 776 749) 3)
((774 17 776) 3)
((224 226 783) 3)
((778 280 780) 3)
((118 120 781) 3)
((513 788 789) 34)
((789 790 791) 34)
((606 633 791) 34)
((492 488 792) 34)
((793 792 794) 34)
((600 793 795) 34)
((513 789 507) 34)
((789 791 796) 34)
((791 633 797) 34)
((792 488 794) 34)
((793 794 795) 34)
((600 795 604) 34)
((600 595 793) 34)
((793 798 792) 34)
((492 792 788) 34)
((790 606 791) 34)
((788 790 789) 34)
((492 788 513) 34)
((793 595 798) 34)
((792 798 788) 34)
((602 606 790) 34)
((788 798 790) 34)
((595 602 798) 34)
((798 602 790) 34)
((491 799 487) 34)
((491 800 799) 34)
((487 799 801) 34)
((800 802 799) 34)
((515 800 491) 34)
((799 803 801) 34)
((487 801 483) 34)
((800 797 802) 34)
((803 799 802) 34)
((515 796 800) 34)
((801 803 795) 34)
((483 801 794) 34)
((507 789 796) 34)
((631 604 803) 34)
((796 791 797) 34)
((628 631 802) 34)
((633 628 797) 34)
((483 794 488) 34)
((801 795 794) 34)
((803 604 795) 34)
((507 796 515) 34)
((802 631 803) 34)
((796 797 800) 34)
((797 628 802) 34)
((156 804 805) 35)
((805 806 807) 35)
((33 43 807) 35)
((145 808 146) 35)
((809 810 808) 35)
((811 40 810) 35)
((156 805 178) 35)
((805 807 812) 35)
((807 43 813) 35)
((145 809 808) 35)
((11 40 811) 35)
((809 811 810) 35)
((31 810 40) 35)
((814 808 810) 35)
((804 146 808) 35)
((806 33 807) 35)
((804 806 805) 35)
((156 146 804) 35)
((31 814 810) 35)
((814 804 808) 35)
((28 33 806) 35)
((814 806 804) 35)
((31 28 814) 35)
((814 28 806) 35)
((179 815 155) 35)
((179 816 815) 35)
((155 815 817) 35)
((816 818 815) 35)
((172 816 179) 35)
((815 819 817) 35)
((155 817 151) 35)
((816 813 818) 35)
((815 818 819) 35)
((172 812 816) 35)
((811 817 819) 35)
((151 817 809) 35)
((813 4 818) 35)
((812 813 816) 35)
((818 16 819) 35)
((178 812 172) 35)
((817 811 809) 35)
((819 11 811) 35)
((151 809 145) 35)
((43 4 813) 35)
((4 16 818) 35)
((812 807 813) 35)
((16 11 819) 35)
((178 805 812) 35)
((686 331 327) 13)
((317 309 242) 13)
((686 327 687) 13)
((309 308 687) 13)
((242 309 327) 13)
((327 309 687) 13)
((197 261 198) 14)
((193 261 197) 14)
((269 193 197) 14)
((269 194 193) 14)
((217 244 211) 18)
((212 243 214) 18)
((211 244 243) 18)
((212 211 243) 18)
((305 306 300) 17)
((305 300 287) 17)
((305 287 719) 17)
((287 718 719) 17)
((305 719 303) 17)
((286 718 287) 17)
((318 313 330) 21)
((779 329 324) 21)
((330 313 324) 21)
((779 324 765) 21)
((324 313 765) 21)
((313 312 765) 21)
((326 206 203) 22)
((204 206 326) 22)
((207 204 326) 22)
((207 209 204) 22)
((403 402 253) 25)
((402 400 253) 25)
((403 253 252) 25)
((401 400 402) 25)
((224 783 225) 26)
((290 782 289) 26)
((225 783 782) 26)
((290 225 782) 26)
((290 271 225) 26)
((290 301 271) 26)
((301 820 397) 31)
((821 123 820) 31)
((822 102 101) 31)
((227 823 822) 31)
((820 301 821) 31)
((271 301 397) 31)
((124 123 821) 31)
((824 822 101) 31)
((227 822 228) 31)
((301 825 821) 31)
((124 821 825) 31)
((824 228 822) 31)
((124 824 101) 31)
((302 825 301) 31)
((124 825 824) 31)
((824 302 228) 31)
((824 825 302) 31)
((826 115 827) 31)
((826 111 115) 31)
((827 115 116) 31)
((827 399 826) 31)
((126 111 826) 31)
((827 116 823) 31)
((826 399 413) 31)
((399 827 253) 31)
((820 126 826) 31)
((823 116 102) 31)
((253 827 823) 31)
((397 826 413) 31)
((400 399 253) 31)
((397 820 826) 31)
((123 126 820) 31)
((823 102 822) 31)
((253 823 227) 31)
((828 105 829) 1)
((247 828 829) 1)
((829 105 104) 1)
((247 829 830) 1)
((315 316 701) 1)
((829 104 830) 1)
((247 830 231) 1)
((701 316 831) 1)
((703 701 831) 1)
((830 104 117) 1)
((247 320 828) 1)
((119 105 828) 1)
((828 320 832) 1)
((119 828 832) 1)
((320 279 832) 1)
((119 832 120) 1)
((832 279 778) 1)
((781 120 832) 1)
((279 278 778) 1)
((781 832 778) 1)
((129 833 834) 1)
((138 833 129) 1)
((833 200 834) 1)
((129 834 130) 1)
((138 835 833) 1)
((293 200 833) 1)
((200 199 834) 1)
((834 199 130) 1)
((108 835 138) 1)
((835 293 833) 1)
((130 199 117) 1)
((108 831 835) 1)
((284 293 835) 1)
((117 199 254) 1)
((108 107 831) 1)
((831 284 835) 1)
((254 830 117) 1)
((703 831 107) 1)
((316 284 831) 1)
((830 254 231) 1)
)
412
(
(216 244)
(0 1)
(419 422)
(244 217)
(578 591)
(423 416)
(6 7)
(422 423)
(247 231)
(248 234)
(10 9)
(425 426)
(591 165)
(249 236)
(250 226)
(13 0)
(417 425)
(85 250)
(5 15)
(599 597)
(252 253)
(11 16)
(253 227)
(426 429)
(231 254)
(16 4)
(602 595)
(234 255)
(7 17)
(17 10)
(592 603)
(317 242)
(600 604)
(429 419)
(603 605)
(20 13)
(606 602)
(15 21)
(607 599)
(22 20)
(595 600)
(432 296)
(608 592)
(434 432)
(21 24)
(322 433)
(198 261)
(433 435)
(436 434)
(25 22)
(610 608)
(435 436)
(26 25)
(597 611)
(24 26)
(265 263)
(611 613)
(28 31)
(614 610)
(615 614)
(33 28)
(613 615)
(617 618)
(619 617)
(37 32)
(208 249)
(203 206)
(318 330)
(254 199)
(31 40)
(261 193)
(263 191)
(269 265)
(32 41)
(618 625)
(194 269)
(212 214)
(40 11)
(270 222)
(225 271)
(4 43)
(629 619)
(207 326)
(604 631)
(38 5)
(41 6)
(765 312)
(278 279)
(1 37)
(633 606)
(9 39)
(280 278)
(39 38)
(43 33)
(605 629)
(45 46)
(47 48)
(634 607)
(273 285)
(631 628)
(448 446)
(625 635)
(286 287)
(635 630)
(628 633)
(288 286)
(289 280)
(626 634)
(630 626)
(290 289)
(54 50)
(282 292)
(52 55)
(453 447)
(293 284)
(56 45)
(48 57)
(449 454)
(295 296)
(58 52)
(296 297)
(50 59)
(457 458)
(297 288)
(458 456)
(456 451)
(46 61)
(62 58)
(446 459)
(287 300)
(454 453)
(778 278)
(571 643)
(301 290)
(61 60)
(64 47)
(302 301)
(60 64)
(303 304)
(63 62)
(329 779)
(59 65)
(305 303)
(65 63)
(643 645)
(306 305)
(66 67)
(58 461)
(461 464)
(69 68)
(304 65)
(645 615)
(308 309)
(465 466)
(310 308)
(68 72)
(311 306)
(464 467)
(73 66)
(647 538)
(312 313)
(74 69)
(314 312)
(469 465)
(648 647)
(779 765)
(315 314)
(635 648)
(67 75)
(316 315)
(467 448)
(309 317)
(57 73)
(466 470)
(64 310)
(782 783)
(447 469)
(72 56)
(470 449)
(451 46)
(55 74)
(318 282)
(75 54)
(313 318)
(78 79)
(317 273)
(277 311)
(284 316)
(81 82)
(472 478)
(83 85)
(320 247)
(85 78)
(321 322)
(289 782)
(86 83)
(322 248)
(480 477)
(82 87)
(87 84)
(323 321)
(84 88)
(89 86)
(88 89)
(478 480)
(238 326)
(326 203)
(79 92)
(242 327)
(781 778)
(243 328)
(783 224)
(300 306)
(120 781)
(93 81)
(220 295)
(94 95)
(319 219)
(96 94)
(92 96)
(228 302)
(459 472)
(95 97)
(97 93)
(279 320)
(477 457)
(17 98)
(329 323)
(324 329)
(98 99)
(101 102)
(487 483)
(104 105)
(328 277)
(483 488)
(243 244)
(107 108)
(300 319)
(109 110)
(330 324)
(236 330)
(292 238)
(200 293)
(490 485)
(110 112)
(285 240)
(491 487)
(331 241)
(488 492)
(327 331)
(493 490)
(467 494)
(333 334)
(485 496)
(115 111)
(102 116)
(496 497)
(117 104)
(119 120)
(120 118)
(118 121)
(123 124)
(497 500)
(500 458)
(121 26)
(124 101)
(505 503)
(126 123)
(105 119)
(509 505)
(99 107)
(111 126)
(503 510)
(129 130)
(513 507)
(686 687)
(515 491)
(492 513)
(137 133)
(128 137)
(494 509)
(108 138)
(510 493)
(507 515)
(139 109)
(687 308)
(116 115)
(112 141)
(371 340)
(130 117)
(519 524)
(133 139)
(525 522)
(141 128)
(138 129)
(522 527)
(145 146)
(529 519)
(315 701)
(143 150)
(151 145)
(531 529)
(527 532)
(152 149)
(533 534)
(703 107)
(701 703)
(534 536)
(150 154)
(155 151)
(538 533)
(146 156)
(378 388)
(388 385)
(540 538)
(400 253)
(536 542)
(149 159)
(160 143)
(389 333)
(301 271)
(340 390)
(542 544)
(161 160)
(159 163)
(164 161)
(524 540)
(165 164)
(163 165)
(544 525)
(391 389)
(390 378)
(385 391)
(548 549)
(553 551)
(170 174)
(395 396)
(719 718)
(178 172)
(172 179)
(173 180)
(557 548)
(399 400)
(551 558)
(176 173)
(400 401)
(174 177)
(181 182)
(182 183)
(402 403)
(560 557)
(180 152)
(558 562)
(156 178)
(255 373)
(562 563)
(177 181)
(183 176)
(563 560)
(564 531)
(154 185)
(179 155)
(532 565)
(185 170)
(567 564)
(411 409)
(718 286)
(565 568)
(193 194)
(570 567)
(194 195)
(197 198)
(271 397)
(401 402)
(338 401)
(549 571)
(199 200)
(409 270)
(568 553)
(571 570)
(206 204)
(207 208)
(331 686)
(209 207)
(211 212)
(303 719)
(334 395)
(525 578)
(217 210)
(219 216)
(222 220)
(224 225)
(226 224)
(227 228)
(373 411)
(397 413)
(583 584)
(182 583)
(584 562)
(396 371)
(403 252)
(204 209)
(413 399)
(209 205)
(416 417)
(240 197)
(241 189)
(191 242)
(189 87)
(217 211)
(214 243)
(269 197)
)0()
2(subset1
2
16
(
1615
1588
1589
1590
1591
1608
1609
1592
1610
1593
1611
1594
1612
1595
1613
1614
) subset2
2
24
(
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1616
1617
1618
1582
1619
1620
1583
1621
1584
1585
1586
1587
))0()