3 ;; Copyright (C) 2016,2017 Matthew R. Wette
5 ;; This software is covered by the GNU GENERAL PUBLIC LICENCE, Version 3,
6 ;; or any later version published by the Free Software Foundation. See
7 ;; the file COPYING included with the this distribution.
10 #(1 1 1 1 3 1 4 4 3 3 3 2 2 6 7 1 3 1 3 2 1 1 2 2 2 2 4 1 1 1 1 1 1 1 4 1
11 3 3 3 1 3 3 1 3 3 1 3 3 3 3 1 3 3 1 3 1 3 1 3 1 3 1 3 1 5 1 3 1 1 1 1 1 1
12 1 1 1 1 1 1 3 1 5 3 0 1 2 1 2 1 2 1 2 1 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1
13 2 2 3 1 1 2 1 2 2 3 2 3 3 4 3 2 2 1 3 2 4 3 1 2 2 1 1 2 1 2 2 3 5 4 2 5 4
14 2 1 1 1 1 2 2 4 2 1 2 1 1 3 1 3 2 5 6 4 5 2 1 3 1 3 1 1 1 1 2 1 1 3 5 4 4
15 3 6 6 5 4 4 4 3 2 1 3 2 1 2 1 3 1 3 2 2 1 1 3 2 1 1 2 1 3 5 4 4 3 6 5 6 4
16 3 3 2 5 4 5 4 3 4 3 3 2 1 1 3 4 2 1 4 3 2 1 2 3 2 1 1 1 1 1 1 1 3 4 3 3 2
17 1 2 1 1 2 1 5 7 5 5 7 8 2 1 1 0 1 3 2 2 3 2 1 0 2 1 1 1 1 1 5 1 4 3 1 2 0
18 1 1 1 1 1 1 1 2 1 1 1 1))
21 #(((103 . 1) (182 . 2) (95 . -281) (-1 . -281)) ((22 . 3) (28 . 4) (29 . 5
22 ) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 .
23 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20)
24 (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27
25 ) (43 . 28) (44 . 29) (45 . 30) (47 . 31) (147 . 32) (148 . 33) (149 . 34)
26 (150 . 35) (1 . 36) (2 . 37) (95 . 38) (170 . 39) (48 . 40) (46 . 41) (
27 100 . 42) (110 . 43) (134 . 44) (106 . 45) (101 . 46) (102 . 47) (97 .
28 -280)) ((97 . 0)) ((-1 . -233)) ((85 . 85) (6 . 52) (7 . 53) (22 . 3) (138
29 . 80) (181 . 81) (137 . 86)) ((85 . 83) (6 . 52) (7 . 53) (22 . 3) (138
30 . 80) (181 . 81) (137 . 84)) ((85 . 79) (6 . 52) (7 . 53) (22 . 3) (138 .
31 80) (181 . 81) (137 . 82)) ((-1 . -138)) ((31 . 78) (-1 . -136)) ((31 . 77
32 ) (-1 . -135)) ((-1 . -132)) ((40 . 73) (38 . 74) (36 . 75) (34 . 76) (-1
33 . -127)) ((38 . 70) (36 . 71) (32 . 72) (-1 . -116)) ((-1 . -113)) ((40 .
34 66) (38 . 67) (36 . 68) (34 . 69) (-1 . -114)) ((38 . 65) (-1 . -109)) ((
35 -1 . -176)) ((-1 . -175)) ((-1 . -174)) ((-1 . -173)) ((-1 . -108)) ((-1
36 . -107)) ((-1 . -106)) ((-1 . -105)) ((-1 . -104)) ((-1 . -103)) ((-1 .
37 -102)) ((-1 . -101)) ((-1 . -100)) ((-1 . -99)) ((-1 . -98)) ((-1 . -96))
38 ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10)
39 (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26
40 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142
41 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 .
42 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 64) (-1 . -90)) ((
43 22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (
44 35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26
45 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142
46 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 .
47 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 63) (-1 . -88)) ((
48 22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (
49 35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26
50 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142
51 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 .
52 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 62) (-1 . -86)) ((
53 22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (
54 35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26
55 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142
56 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 .
57 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 61) (-1 . -84)) ((
58 95 . -306) (-1 . -306)) ((95 . -305) (-1 . -305)) ((95 . -304) (-1 . -304)
59 ) ((146 . 49) (153 . 50) (48 . 51) (6 . 52) (7 . 53) (80 . 54) (93 . 55) (
60 181 . 56) (126 . 57) (127 . 58) (145 . 59)) ((95 . -289) (-1 . -289)) ((8
61 . 48) (-1 . -97)) ((95 . -287) (-1 . -287)) ((95 . -286) (-1 . -286)) ((95
62 . -285) (-1 . -285)) ((95 . -284) (-1 . -284)) ((95 . -283) (-1 . -283))
63 ((95 . -282) (-1 . -282)) ((85 . 126)) ((48 . -92) (83 . -92)) ((152 . 124
64 ) (83 . 125) (48 . -83)) ((94 . 121) (98 . 122) (151 . 123) (95 . -294) (
65 -1 . -294)) ((-1 . -297)) ((-1 . -296)) ((25 . 17) (26 . 18) (27 . 19) (
66 148 . 118) (125 . 119) (80 . 54) (127 . 120) (-1 . -193)) ((6 . 52) (7 .
67 53) (80 . 54) (93 . 55) (181 . 56) (126 . 57) (127 . 58) (145 . 117)) ((-1
68 . -179)) ((91 . 115) (93 . 116) (-1 . -178)) ((6 . 52) (7 . 53) (93 . 55)
69 (181 . 56) (126 . 114)) ((85 . 108) (115 . 109) (22 . 3) (28 . 4) (29 . 5
70 ) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 .
71 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20)
72 (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27
73 ) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 33)
74 (149 . 34) (150 . 35) (170 . 110) (106 . 111) (99 . 112) (59 . 113) (48 .
75 -94) (83 . -94)) ((-1 . -97)) ((-1 . -85)) ((-1 . -87)) ((-1 . -89)) ((-1
76 . -91)) ((-1 . -110)) ((38 . 107) (-1 . -111)) ((-1 . -115)) ((36 . 105) (
77 38 . 106) (-1 . -118)) ((-1 . -133)) ((-1 . -117)) ((38 . 104) (-1 . -120)
78 ) ((31 . 103) (-1 . -137)) ((38 . 102) (-1 . -125)) ((-1 . -126)) ((36 .
79 100) (38 . 101) (-1 . -129)) ((-1 . -134)) ((-1 . -139)) ((-1 . -140)) ((
80 22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (
81 35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27
82 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (
83 143 . 26) (42 . 27) (148 . 92) (149 . 93) (95 . 38) (133 . 94) (134 . 95)
84 (135 . 96) (136 . 99)) ((-1 . -149)) ((-1 . -148)) ((85 . 98) (-1 . -144))
85 ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10)
86 (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27
87 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (
88 143 . 26) (42 . 27) (148 . 92) (149 . 93) (95 . 38) (133 . 94) (134 . 95)
89 (135 . 96) (136 . 97)) ((85 . 91) (-1 . -147)) ((6 . 52) (7 . 53) (181 .
90 88) (128 . 89) (129 . 90)) ((85 . 87) (-1 . -168)) ((6 . 52) (7 . 53) (181
91 . 88) (128 . 89) (129 . 228)) ((59 . 227) (84 . -171) (83 . -171)) ((84
92 . -169) (83 . -169)) ((84 . 225) (83 . 226)) ((22 . 3) (28 . 4) (29 . 5) (
93 30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13)
94 (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (
95 140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (148 . 92)
96 (149 . 93) (95 . 38) (133 . 94) (134 . 95) (135 . 96) (136 . 224)) ((22 .
97 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 .
98 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27 . 19)
99 (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26
100 ) (42 . 27) (148 . 92) (149 . 93) (133 . 223) (-1 . -158)) ((22 . 3) (28
101 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36
102 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27 . 19) (138 .
103 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42
104 . 27) (148 . 92) (149 . 93) (133 . 222) (-1 . -156)) ((6 . 52) (7 . 53) (
105 80 . 54) (93 . 55) (181 . 56) (126 . 57) (127 . 58) (60 . 218) (145 . 219)
106 (131 . 220) (132 . 221)) ((95 . -151) (-1 . -151)) ((95 . -150) (-1 .
107 -150)) ((84 . 217) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (
108 33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 .
109 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 .
110 24) (142 . 25) (143 . 26) (42 . 27) (148 . 92) (149 . 93) (133 . 94) (135
111 . 214) (95 . 38) (134 . 215)) ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7
112 ) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40
113 . 15) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141
114 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (148 . 92) (149 . 93) (95
115 . 38) (133 . 94) (134 . 95) (135 . 96) (136 . 216)) ((84 . 213) (22 . 3) (
116 28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (
117 36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27 . 19) (138
118 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42
119 . 27) (148 . 92) (149 . 93) (133 . 94) (135 . 214) (95 . 38) (134 . 215))
120 ((38 . 212) (-1 . -131)) ((-1 . -128)) ((-1 . -124)) ((-1 . -141)) ((-1
121 . -121)) ((38 . 211) (-1 . -122)) ((-1 . -119)) ((-1 . -112)) ((166 . 143)
122 (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (
123 8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (158 . 155) (179 . 156)
124 (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80
125 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170
126 ) (86 . 171) (87 . 172) (176 . 173) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (
127 31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14
128 ) (40 . 15) (168 . 174) (155 . 175) (6 . 52) (7 . 53) (24 . 16) (25 . 17)
129 (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24)
130 (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (
131 47 . 31) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187) (12 . 188) (
132 13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48 . 194) (178 .
133 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (147 . 32) (148 . 33) (
134 149 . 34) (150 . 35) (110 . 199) (111 . 200) (112 . 201) (113 . 202) (114
135 . 203) (115 . 204) (116 . 205) (170 . 110) (109 . 206) (106 . 207) (107 .
136 208) (108 . 209) (84 . 210)) ((95 . -291) (-1 . -291)) ((6 . 52) (7 . 53)
137 (80 . 54) (93 . 55) (181 . 56) (126 . 57) (127 . 58) (145 . 128) (146 . 49
138 ) (153 . 50) (48 . 51)) ((-1 . -292)) ((85 . 108) (115 . 182) (22 . 3) (28
139 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36
140 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 .
141 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143
142 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 .
143 32) (148 . 33) (149 . 34) (150 . 35) (170 . 110) (106 . 183)) ((166 . 143)
144 (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (
145 8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158
146 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 .
147 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (
148 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
149 . 174) (155 . 175) (85 . 179) (172 . 180) (144 . 181)) ((91 . 115) (93 .
150 116) (-1 . -177)) ((44 . 141) (90 . 142) (166 . 143) (165 . 144) (164 .
151 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (
152 4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (
153 180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 .
154 163) (80 . 164) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (
155 167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (172
156 . 176) (25 . 17) (26 . 18) (27 . 19) (148 . 118) (125 . 177)) ((92 . 134)
157 (6 . 52) (7 . 53) (181 . 135) (123 . 136) (22 . 3) (28 . 4) (29 . 5) (30
158 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (
159 37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139
160 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43
161 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 33) (149
162 . 34) (150 . 35) (170 . 137) (121 . 138) (122 . 139) (124 . 140)) ((92 .
163 133)) ((-1 . -196)) ((80 . 54) (127 . 131) (25 . 17) (26 . 18) (27 . 19) (
164 148 . 132) (-1 . -192)) ((-1 . -195)) ((95 . -303) (-1 . -303)) ((95 .
165 -295) (-1 . -295)) ((95 . -82) (-1 . -82)) ((48 . 130)) ((6 . 52) (7 . 53)
166 (80 . 54) (93 . 55) (181 . 56) (126 . 57) (127 . 58) (145 . 128) (146 .
167 129)) ((103 . 127) (95 . -281) (-1 . -281)) ((84 . 334) (22 . 3) (28 . 4)
168 (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12)
169 (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (
170 138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26)
171 (42 . 27) (43 . 28) (44 . 29) (45 . 30) (47 . 31) (147 . 32) (148 . 33) (
172 149 . 34) (150 . 35) (1 . 36) (2 . 37) (95 . 38) (170 . 39) (48 . 40) (46
173 . 41) (100 . 42) (110 . 43) (134 . 44) (106 . 45) (101 . 46) (102 . 47)) (
174 (59 . 113) (48 . -94) (83 . -94)) ((48 . -93) (83 . -93)) ((94 . 121) (98
175 . 122) (151 . 333) (95 . -294) (-1 . -294)) ((-1 . -194)) ((-1 . -197)) ((
176 -1 . -180)) ((-1 . -191)) ((92 . -205) (83 . -205)) ((92 . 331) (83 . 332)
177 ) ((6 . 52) (7 . 53) (181 . 56) (126 . 57) (145 . 325) (91 . 326) (93 .
178 327) (80 . 54) (120 . 328) (127 . 329) (169 . 330) (92 . -204) (83 . -204)
179 ) ((83 . -200) (92 . -200)) ((83 . 324) (92 . -198)) ((92 . 323)) ((25 .
180 17) (26 . 18) (27 . 19) (148 . 118) (125 . 322)) ((-1 . -184)) ((-1 . -35)
181 ) ((80 . 319) (75 . 320) (74 . 321) (-1 . -39)) ((79 . 317) (78 . 318) (-1
182 . -42)) ((73 . 315) (72 . 316) (-1 . -45)) ((71 . 311) (70 . 312) (69 .
183 313) (68 . 314) (-1 . -50)) ((67 . 309) (66 . 310) (-1 . -53)) ((81 . 308)
184 (-1 . -55)) ((-1 . -301)) ((-1 . -300)) ((-1 . -299)) ((-1 . -298)) ((65
185 . 307) (-1 . -57)) ((64 . 306) (-1 . -59)) ((8 . 305) (-1 . -3)) ((-1 . -2
186 )) ((-1 . -1)) ((63 . 304) (-1 . -61)) ((-1 . -32)) ((-1 . -31)) ((-1 .
187 -30)) ((-1 . -29)) ((90 . 303) (-1 . -28)) ((-1 . -27)) ((166 . 143) (165
188 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 .
189 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
190 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
191 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
192 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
193 ) (155 . 175) (172 . 184) (178 . 297) (22 . 3) (28 . 4) (29 . 5) (30 . 6)
194 (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 .
195 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21
196 ) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28
197 ) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 298) (149 .
198 299) (150 . 35) (170 . 300) (133 . 301) (174 . 302)) ((-1 . -5)) ((61 .
199 295) (62 . 296) (-1 . -63)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 .
200 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78
201 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170
202 ) (86 . 171) (87 . 172) (176 . 173) (168 . 293) (93 . 294)) ((8 . 150) (3
203 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181
204 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
205 177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 .
206 166) (168 . 231) (166 . 292)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6
207 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (
208 78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 289) (177 . 167) (82 .
209 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 291)) ((8 . 150)
210 (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (
211 181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 .
212 165) (93 . 289) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (
213 176 . 173) (168 . 290)) ((91 . 283) (93 . 284) (89 . 285) (88 . 286) (87
214 . 287) (86 . 288) (-1 . -21)) ((49 . 271) (50 . 272) (51 . 273) (52 . 274)
215 (53 . 275) (54 . 276) (55 . 277) (56 . 278) (57 . 279) (58 . 280) (59 .
216 281) (154 . 282) (-1 . -33)) ((-1 . -65)) ((90 . 270)) ((166 . 143) (165
217 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 .
218 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
219 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
220 (78 . 162) (79 . 163) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82
221 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 .
222 175) (172 . 266) (25 . 17) (26 . 18) (27 . 19) (148 . 132) (90 . 267) (44
223 . 268) (80 . 269)) ((-1 . -28)) ((166 . 143) (165 . 144) (164 . 145) (163
224 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (
225 5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157)
226 (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80
227 . 178) (81 . 165) (93 . 166) (177 . 167) (89 . 259) (91 . 260) (156 . 168)
228 (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (117 . 261) (168
229 . 174) (155 . 175) (118 . 262) (85 . 179) (172 . 180) (144 . 263) (119 .
230 264) (173 . 265)) ((83 . -234) (84 . -234) (48 . -234)) ((48 . -95) (83 .
231 -95)) ((95 . -290) (-1 . -290)) ((-1 . -293)) ((-1 . -78)) ((166 . 143) (
232 165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8
233 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
234 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
235 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
236 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
237 ) (155 . 175) (172 . 184) (178 . 257) (48 . 258)) ((48 . 256)) ((48 . 255)
238 ) ((6 . 52) (7 . 53) (181 . 254)) ((93 . 253)) ((166 . 143) (165 . 144) (
239 164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 .
240 151) (4 . 152) (5 . 153) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (
241 157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 .
242 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171)
243 (87 . 172) (176 . 173) (168 . 174) (155 . 175) (6 . 52) (7 . 53) (172 .
244 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187) (12 . 188) (13 . 189) (14 .
245 190) (15 . 191) (16 . 192) (19 . 193) (48 . 194) (178 . 195) (85 . 108) (
246 20 . 196) (21 . 197) (181 . 198) (110 . 199) (111 . 200) (112 . 201) (113
247 . 202) (114 . 203) (115 . 204) (116 . 205) (109 . 252)) ((93 . 251)) ((93
248 . 250)) ((93 . 249)) ((-1 . -263)) ((48 . 247) (83 . 248)) ((60 . 246)) ((
249 8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180
250 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178)
251 (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
252 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 .
253 146) (162 . 147) (161 . 148) (160 . 149) (159 . 154) (158 . 155) (157 .
254 159) (156 . 168) (155 . 232) (130 . 245)) ((60 . 244) (-1 . -1)) ((-1 .
255 -252)) ((-1 . -251)) ((-1 . -250)) ((-1 . -249)) ((-1 . -248)) ((-1 . -247
256 )) ((-1 . -246)) ((-1 . -261)) ((-1 . -260)) ((-1 . -258)) ((84 . 242) (
257 166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (
258 160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (158 . 155)
259 (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79
260 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169)
261 (167 . 170) (86 . 171) (87 . 172) (176 . 173) (22 . 3) (28 . 4) (29 . 5)
262 (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13
263 ) (37 . 14) (40 . 15) (168 . 174) (155 . 175) (6 . 52) (7 . 53) (24 . 16)
264 (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23)
265 (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (
266 46 . 60) (47 . 31) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187) (
267 12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48 . 194
268 ) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (147 . 32) (148
269 . 33) (149 . 34) (150 . 35) (110 . 199) (111 . 200) (112 . 201) (113 .
270 202) (114 . 203) (115 . 204) (116 . 205) (170 . 110) (109 . 206) (106 .
271 207) (107 . 243)) ((95 . -257) (-1 . -257)) ((-1 . -123)) ((-1 . -130)) ((
272 -1 . -143)) ((95 . -152) (-1 . -152)) ((95 . -153) (-1 . -153)) ((84 . 241
273 ) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10)
274 (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27
275 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (
276 143 . 26) (42 . 27) (148 . 92) (149 . 93) (133 . 94) (135 . 214) (95 . 38)
277 (134 . 215)) ((-1 . -146)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 .
278 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78
279 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170
280 ) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 143) (
281 165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (
282 159 . 154) (158 . 155) (157 . 159) (156 . 168) (155 . 232) (130 . 240)) ((
283 60 . 239) (48 . -161) (83 . -161)) ((48 . -159) (83 . -159)) ((48 . 237) (
284 83 . 238)) ((-1 . -155)) ((-1 . -157)) ((84 . 236) (22 . 3) (28 . 4) (29
285 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38
286 . 13) (37 . 14) (40 . 15) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139
287 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (148
288 . 92) (149 . 93) (133 . 94) (135 . 214) (95 . 38) (134 . 215)) ((-1 .
289 -166)) ((84 . 234) (6 . 52) (7 . 53) (181 . 88) (128 . 235)) ((8 . 150) (3
290 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181
291 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165)
292 (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93
293 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 .
294 147) (161 . 148) (160 . 149) (159 . 154) (158 . 155) (157 . 159) (156 .
295 168) (155 . 232) (130 . 233)) ((83 . 229) (84 . 230)) ((6 . 52) (7 . 53) (
296 181 . 88) (128 . 235) (84 . 412)) ((-1 . -164)) ((-1 . -33)) ((-1 . -80))
297 ((84 . -172) (83 . -172)) ((-1 . -167)) ((84 . -170) (83 . -170)) ((-1 .
298 -145)) ((94 . 121) (98 . 122) (151 . 411) (95 . -294) (-1 . -294)) ((6 .
299 52) (7 . 53) (80 . 54) (93 . 55) (181 . 56) (126 . 57) (127 . 58) (60 .
300 218) (145 . 219) (131 . 410)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6
301 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (
302 78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 .
303 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 143)
304 (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (
305 159 . 154) (158 . 155) (157 . 159) (156 . 168) (155 . 232) (130 . 409)) ((
306 48 . -163) (83 . -163)) ((-1 . -142)) ((95 . -256) (-1 . -256)) ((-1 .
307 -259)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161
308 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (
309 158 . 155) (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78
310 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168)
311 (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155
312 . 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 .
313 187) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48
314 . 194) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (110 .
315 199) (111 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (116 .
316 205) (109 . 408)) ((60 . 407)) ((166 . 143) (165 . 144) (164 . 145) (163
317 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (
318 5 . 153) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (157 . 159) (76
319 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (
320 177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
321 . 173) (168 . 174) (155 . 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9
322 . 185) (10 . 186) (11 . 187) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (
323 16 . 192) (19 . 193) (48 . 194) (178 . 195) (85 . 108) (20 . 196) (21 .
324 197) (181 . 198) (110 . 199) (111 . 200) (112 . 201) (113 . 202) (114 .
325 203) (115 . 204) (116 . 205) (109 . 406)) ((-1 . -262)) ((166 . 143) (165
326 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 .
327 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
328 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
329 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
330 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
331 ) (155 . 175) (172 . 405)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146
332 ) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 .
333 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (
334 181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 .
335 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170)
336 (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (172 . 184) (178
337 . 404)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161
338 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 .
339 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159
340 ) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 .
341 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172)
342 (176 . 173) (168 . 174) (155 . 175) (172 . 184) (178 . 403)) ((166 . 143)
343 (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8
344 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158
345 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 .
346 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (
347 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
348 . 174) (155 . 175) (172 . 184) (178 . 402)) ((15 . 401)) ((166 . 143) (165
349 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 .
350 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
351 155) (179 . 156) (180 . 157) (181 . 158) (22 . 3) (28 . 4) (29 . 5) (30 .
352 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37
353 . 14) (40 . 15) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (
354 80 . 178) (81 . 165) (93 . 166) (177 . 167) (24 . 16) (25 . 17) (26 . 18)
355 (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25)
356 (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (
357 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (147
358 . 32) (148 . 33) (149 . 34) (150 . 35) (168 . 174) (155 . 175) (170 . 110)
359 (172 . 184) (106 . 397) (48 . 398) (178 . 399) (105 . 400)) ((48 . 396))
360 ((-1 . -276)) ((-1 . -277)) ((48 . 395) (83 . 248)) ((-1 . -279)) ((6 . 52
361 ) (7 . 53) (181 . 394)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52)
362 (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78 .
363 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170) (
364 86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 143) (165
365 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (159 .
366 154) (158 . 155) (157 . 159) (156 . 168) (155 . 232) (130 . 393)) ((59 .
367 -242) (89 . -242) (91 . -242)) ((59 . 391) (89 . 259) (91 . 260) (117 .
368 392)) ((83 . -238) (84 . -238)) ((166 . 143) (165 . 144) (164 . 145) (163
369 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (
370 5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157)
371 (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80
372 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170
373 ) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (85 . 179) (
374 172 . 180) (144 . 390)) ((83 . 388) (84 . 389)) ((90 . 387)) ((-1 . -182))
375 ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148)
376 (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159
377 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 .
378 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (
379 177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
380 . 173) (168 . 174) (155 . 175) (172 . 386)) ((90 . 385) (-1 . -28)) ((-1
381 . -183)) ((-1 . -77)) ((-1 . -76)) ((-1 . -75)) ((-1 . -74)) ((-1 . -73))
382 ((-1 . -72)) ((-1 . -71)) ((-1 . -70)) ((-1 . -69)) ((-1 . -68)) ((-1 .
383 -67)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 .
384 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53)
385 (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (
386 76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166
387 ) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (
388 176 . 173) (168 . 174) (155 . 175) (172 . 384)) ((166 . 143) (165 . 144) (
389 164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 .
390 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 .
391 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162)
392 (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 .
393 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175)
394 (172 . 184) (178 . 383)) ((92 . 378) (166 . 143) (165 . 144) (164 . 145)
395 (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 .
396 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (22 . 3) (28 . 4) (29 . 5) (
397 30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13)
398 (37 . 14) (40 . 15) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (24
399 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141
400 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 .
401 30) (46 . 60) (47 . 31) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79
402 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (147 . 32) (148 . 33)
403 (149 . 34) (150 . 35) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 .
404 172) (176 . 173) (168 . 174) (155 . 175) (170 . 379) (171 . 380) (172 .
405 381) (175 . 382)) ((6 . 52) (7 . 53) (181 . 377)) ((6 . 52) (7 . 53) (181
406 . 376)) ((-1 . -11)) ((-1 . -12)) ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (31
407 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14)
408 (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (
409 140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (
410 44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 298) (149 . 299)
411 (150 . 35) (170 . 300) (133 . 301) (174 . 375) (166 . 143) (165 . 144) (
412 164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 .
413 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 .
414 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162)
415 (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 .
416 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175)
417 (172 . 184) (178 . 297)) ((-1 . -22)) ((-1 . -23)) ((-1 . -24)) ((-1 .
418 -25)) ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34
419 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17
420 ) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24
421 ) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60)
422 (47 . 31) (147 . 32) (148 . 298) (149 . 299) (150 . 35) (170 . 300) (133
423 . 301) (174 . 374) (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 .
424 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 .
425 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (
426 157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 .
427 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171)
428 (87 . 172) (176 . 173) (168 . 174) (155 . 175) (172 . 184) (178 . 297)) ((
429 166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (
430 160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159
431 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 .
432 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (
433 177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
434 . 173) (168 . 174) (155 . 175) (172 . 184) (178 . 373)) ((8 . 150) (3 .
435 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 .
436 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
437 177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 .
438 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 .
439 147) (161 . 148) (160 . 149) (159 . 154) (158 . 155) (157 . 372)) ((92 .
440 371) (83 . 248)) ((24 . 16) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 .
441 31) (147 . 32) (150 . 35) (170 . 63) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (
442 31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14
443 ) (40 . 15) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22)
444 (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (148 . 298) (149 .
445 299) (133 . 223) (92 . -88) (80 . -158) (91 . -158) (93 . -158)) ((24 . 16
446 ) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (150 . 35)
447 (170 . 62) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9)
448 (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (25 . 17) (26
449 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142
450 . 25) (143 . 26) (42 . 27) (148 . 298) (149 . 299) (133 . 222) (92 . -86)
451 (80 . -156) (91 . -156) (93 . -156)) ((92 . -208)) ((91 . 326) (93 . 368)
452 (80 . 54) (120 . 328) (127 . 369) (169 . 370)) ((92 . 367)) ((-1 . -188))
453 ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (
454 180 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 .
455 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (
456 176 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163
457 . 146) (162 . 147) (161 . 148) (160 . 149) (159 . 154) (158 . 366)) ((-1
458 . -302)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179
459 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163)
460 (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87
461 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 .
462 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (159 . 365)) ((8 .
463 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 .
464 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (
465 81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 .
466 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 . 146
467 ) (162 . 147) (161 . 148) (160 . 364)) ((8 . 150) (3 . 151) (4 . 152) (5
468 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (
469 77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 .
470 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231)
471 (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 363)) (
472 (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180
473 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178)
474 (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
475 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 .
476 146) (162 . 362)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 .
477 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (
478 79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 .
479 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144)
480 (164 . 145) (163 . 146) (162 . 361)) ((8 . 150) (3 . 151) (4 . 152) (5 .
481 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77
482 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169)
483 (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166
484 . 143) (165 . 144) (164 . 145) (163 . 360)) ((8 . 150) (3 . 151) (4 . 152)
485 (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160
486 ) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82
487 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231
488 ) (166 . 143) (165 . 144) (164 . 145) (163 . 359)) ((8 . 150) (3 . 151) (4
489 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (
490 76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 .
491 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (
492 168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 . 358)) ((8 . 150) (3
493 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181
494 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
495 177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 .
496 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 . 357)) ((8 .
497 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 .
498 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (
499 81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 .
500 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 356)) ((8 . 150
501 ) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157)
502 (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 .
503 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173)
504 (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 355)) ((8 . 150) (3
505 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181
506 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
507 177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 .
508 166) (168 . 231) (166 . 143) (165 . 354)) ((8 . 150) (3 . 151) (4 . 152) (
509 5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160)
510 (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 .
511 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231)
512 (166 . 143) (165 . 353)) ((8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52)
513 (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77 . 161) (78 .
514 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169) (167 . 170) (
515 86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166 . 352)) ((8
516 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180 .
517 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (
518 81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 .
519 173) (93 . 166) (168 . 231) (166 . 351)) ((8 . 150) (3 . 151) (4 . 152) (5
520 . 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (
521 77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 .
522 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231)
523 (166 . 350)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147)
524 (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (
525 7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157
526 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
527 93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 .
528 172) (176 . 173) (168 . 174) (155 . 175) (172 . 349) (25 . 17) (26 . 18) (
529 27 . 19) (148 . 132)) ((-1 . -189)) ((22 . 3) (28 . 4) (29 . 5) (30 . 6) (
530 31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14
531 ) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21)
532 (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28)
533 (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 33) (149 . 34) (
534 150 . 35) (170 . 137) (121 . 347) (23 . 348)) ((92 . -202) (83 . -202)) ((
535 166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (
536 160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159
537 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 .
538 160) (77 . 161) (78 . 162) (79 . 163) (81 . 165) (93 . 166) (177 . 167) (
539 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
540 . 174) (155 . 175) (172 . 342) (90 . 343) (44 . 344) (25 . 17) (26 . 18) (
541 27 . 19) (148 . 118) (125 . 345) (80 . 346)) ((91 . 326) (120 . 328) (169
542 . 339) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34
543 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17
544 ) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24
545 ) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60)
546 (47 . 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 137) (121 .
547 138) (122 . 139) (124 . 340) (92 . 341) (6 . 52) (7 . 53) (80 . 54) (93 .
548 327) (181 . 56) (126 . 57) (127 . 329) (145 . 117)) ((91 . 337) (93 . 338)
549 (92 . -211) (83 . -211)) ((91 . 326) (120 . 336) (6 . 52) (7 . 53) (93 .
550 327) (181 . 56) (126 . 114) (92 . -209) (83 . -209)) ((92 . -203) (83 .
551 -203)) ((-1 . -190)) ((6 . 52) (7 . 53) (181 . 335)) ((95 . -81) (-1 . -81
552 )) ((95 . -288) (-1 . -288)) ((92 . -206) (83 . -206)) ((91 . 337) (93 .
553 338) (92 . -210) (83 . -210)) ((44 . 446) (90 . 447) (166 . 143) (165 .
554 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150)
555 (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (
556 179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78
557 . 162) (79 . 163) (80 . 448) (81 . 165) (93 . 166) (177 . 167) (156 . 168)
558 (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155
559 . 175) (172 . 449) (25 . 17) (26 . 18) (27 . 19) (148 . 118) (125 . 450))
560 ((92 . 444) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9
561 ) (34 . 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (
562 25 . 17) (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (
563 41 . 24) (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46
564 . 60) (47 . 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 137) (
565 121 . 138) (122 . 139) (124 . 445)) ((92 . 443)) ((92 . 442)) ((-1 . -232)
566 ) ((90 . 441)) ((-1 . -223)) ((25 . 17) (26 . 18) (27 . 19) (148 . 118) (
567 125 . 440)) ((44 . 437) (25 . 17) (26 . 18) (27 . 19) (148 . 132) (90 .
568 438) (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 .
569 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53)
570 (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (
571 76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166
572 ) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (
573 176 . 173) (168 . 174) (155 . 175) (172 . 439)) ((90 . 436) (-1 . -28)) ((
574 83 . -201) (92 . -201)) ((92 . -199)) ((90 . 435)) ((-1 . -38)) ((-1 . -37
575 )) ((-1 . -36)) ((80 . 319) (75 . 320) (74 . 321) (-1 . -41)) ((80 . 319)
576 (75 . 320) (74 . 321) (-1 . -40)) ((79 . 317) (78 . 318) (-1 . -44)) ((79
577 . 317) (78 . 318) (-1 . -43)) ((73 . 315) (72 . 316) (-1 . -49)) ((73 .
578 315) (72 . 316) (-1 . -48)) ((73 . 315) (72 . 316) (-1 . -47)) ((73 . 315)
579 (72 . 316) (-1 . -46)) ((71 . 311) (70 . 312) (69 . 313) (68 . 314) (-1
580 . -52)) ((71 . 311) (70 . 312) (69 . 313) (68 . 314) (-1 . -51)) ((67 .
581 309) (66 . 310) (-1 . -54)) ((81 . 308) (-1 . -56)) ((65 . 307) (-1 . -58)
582 ) ((64 . 306) (-1 . -60)) ((85 . 433) (8 . 150) (3 . 151) (4 . 152) (5 .
583 153) (6 . 52) (7 . 53) (179 . 156) (180 . 157) (181 . 158) (76 . 160) (77
584 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (177 . 167) (82 . 169)
585 (167 . 170) (86 . 171) (87 . 172) (176 . 173) (93 . 166) (168 . 231) (166
586 . 434)) ((91 . 326) (93 . 368) (80 . 54) (120 . 328) (127 . 369) (169 .
587 339) (22 . 3) (28 . 4) (29 . 5) (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 .
588 10) (35 . 11) (36 . 12) (38 . 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17)
589 (26 . 18) (27 . 19) (138 . 20) (139 . 21) (140 . 22) (141 . 23) (41 . 24)
590 (142 . 25) (143 . 26) (42 . 27) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (
591 47 . 31) (147 . 32) (148 . 33) (149 . 34) (150 . 35) (170 . 137) (121 .
592 138) (122 . 139) (124 . 340) (92 . 341)) ((91 . 326) (93 . 368) (120 . 336
593 ) (92 . -209) (83 . -209)) ((92 . -207)) ((-1 . -4)) ((63 . 304) (-1 . -62
594 )) ((60 . 432) (83 . 248)) ((92 . 431)) ((92 . 430)) ((-1 . -10)) ((-1 .
595 -9)) ((-1 . -8)) ((91 . 326) (93 . 368) (80 . 54) (120 . 328) (127 . 369)
596 (169 . 429) (92 . -20) (83 . -20)) ((92 . -17) (83 . -17)) ((92 . -15) (83
597 . -15)) ((92 . 427) (83 . 428)) ((90 . 426) (83 . 248)) ((-1 . -66)) ((-1
598 . -187)) ((90 . 425)) ((-1 . -181)) ((166 . 143) (165 . 144) (164 . 145)
599 (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 .
600 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180
601 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163)
602 (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167
603 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (85 . 179
604 ) (172 . 180) (144 . 422) (89 . 259) (91 . 260) (117 . 261) (118 . 262) (
605 119 . 423) (84 . 424)) ((83 . -235) (84 . -235) (48 . -235)) ((83 . -237)
606 (84 . -237)) ((-1 . -241)) ((59 . -243) (89 . -243) (91 . -243)) ((90 .
607 421)) ((59 . -245) (91 . -245) (89 . -245)) ((-1 . -278)) ((-1 . -275)) ((
608 -1 . -272)) ((-1 . -271)) ((48 . 420) (83 . 248)) ((166 . 143) (165 . 144)
609 (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3
610 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179
611 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162
612 ) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82
613 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 .
614 175) (172 . 184) (178 . 418) (104 . 419) (48 . -273)) ((93 . 417)) ((92 .
615 416) (83 . 248)) ((92 . 415) (83 . 248)) ((83 . 248) (92 . 414)) ((-1 .
616 -79)) ((-1 . -255)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162
617 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (
618 159 . 154) (158 . 155) (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77
619 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167)
620 (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
621 . 174) (155 . 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 .
622 186) (11 . 187) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19
623 . 193) (48 . 194) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198
624 ) (110 . 199) (111 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204)
625 (116 . 205) (109 . 413)) ((-1 . -253)) ((48 . -162) (83 . -162)) ((48 .
626 -160) (83 . -160)) ((95 . -154) (-1 . -154)) ((-1 . -165)) ((-1 . -254)) (
627 (166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (
628 160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (158 . 155)
629 (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79
630 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169)
631 (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (6
632 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187) (12 .
633 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48 . 194) (
634 178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (110 . 199) (111
635 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (116 . 205) (109 .
636 471)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 .
637 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (158
638 . 155) (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78 . 162
639 ) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82
640 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 .
641 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187
642 ) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48 .
643 194) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (110 . 199)
644 (111 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (116 . 205) (
645 109 . 470)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (
646 161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154)
647 (158 . 155) (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78
648 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168
649 ) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (
650 155 . 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11
651 . 187) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193)
652 (48 . 194) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (110
653 . 199) (111 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (116 .
654 205) (109 . 469)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 .
655 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 .
656 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (
657 157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 .
658 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171)
659 (87 . 172) (176 . 173) (168 . 174) (155 . 175) (172 . 184) (178 . 468)) ((
660 83 . 248) (48 . -274) (92 . -274)) ((48 . 467)) ((-1 . -270)) ((59 . -244)
661 (91 . -244) (89 . -244)) ((83 . -240) (84 . -240)) ((166 . 143) (165 .
662 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150)
663 (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (
664 179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78
665 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168)
666 (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155
667 . 175) (85 . 179) (172 . 180) (144 . 466)) ((83 . -236) (84 . -236) (48
668 . -236)) ((-1 . -186)) ((-1 . -6)) ((-1 . -7)) ((22 . 3) (28 . 4) (29 . 5)
669 (30 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 11) (36 . 12) (38 .
670 13) (37 . 14) (40 . 15) (24 . 16) (25 . 17) (26 . 18) (27 . 19) (138 . 20)
671 (139 . 21) (140 . 22) (141 . 23) (41 . 24) (142 . 25) (143 . 26) (42 . 27
672 ) (43 . 28) (44 . 29) (45 . 30) (46 . 60) (47 . 31) (147 . 32) (148 . 33)
673 (149 . 34) (150 . 35) (170 . 379) (171 . 464) (166 . 143) (165 . 144) (164
674 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151
675 ) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156
676 ) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79
677 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169
678 ) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (
679 172 . 465)) ((92 . -19) (83 . -19)) ((85 . 433)) ((85 . 433) (-1 . -26)) (
680 (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (179 . 156) (180
681 . 157) (181 . 158) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178)
682 (81 . 165) (177 . 167) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176
683 . 173) (93 . 166) (168 . 231) (166 . 143) (165 . 144) (164 . 145) (163 .
684 146) (162 . 147) (161 . 148) (160 . 149) (159 . 154) (158 . 155) (157 .
685 159) (156 . 168) (155 . 463)) ((166 . 143) (165 . 144) (164 . 145) (163 .
686 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5
687 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (
688 181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 .
689 178) (81 . 165) (93 . 166) (177 . 167) (89 . 259) (91 . 260) (156 . 168) (
690 82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (117 . 261) (168
691 . 174) (155 . 175) (118 . 262) (85 . 179) (172 . 180) (144 . 263) (119 .
692 264) (173 . 462)) ((-1 . -34)) ((-1 . -185)) ((-1 . -228)) ((166 . 143) (
693 165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8
694 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
695 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
696 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
697 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
698 ) (155 . 175) (172 . 461)) ((-1 . -221)) ((90 . 460)) ((166 . 143) (165 .
699 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150)
700 (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (
701 179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161) (78
702 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168)
703 (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155
704 . 175) (172 . 458) (25 . 17) (26 . 18) (27 . 19) (148 . 132) (90 . 459))
705 ((-1 . -222)) ((-1 . -231)) ((-1 . -212)) ((-1 . -230)) ((92 . 457)) ((25
706 . 17) (26 . 18) (27 . 19) (148 . 118) (125 . 456)) ((-1 . -216)) ((90 .
707 455) (-1 . -28)) ((90 . 454)) ((166 . 143) (165 . 144) (164 . 145) (163 .
708 146) (162 . 147) (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5
709 . 153) (6 . 52) (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (
710 181 . 158) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 .
711 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170)
712 (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (172 . 451) (25
713 . 17) (26 . 18) (27 . 19) (148 . 132) (90 . 452) (44 . 453)) ((90 . 482))
714 ((-1 . -214)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147)
715 (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52)
716 (7 . 53) (159 . 154) (158 . 155) (179 . 156) (180 . 157) (181 . 158) (157
717 . 159) (76 . 160) (77 . 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (
718 93 . 166) (177 . 167) (156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 .
719 172) (176 . 173) (168 . 174) (155 . 175) (172 . 481)) ((-1 . -215)) ((-1
720 . -227)) ((90 . 479) (25 . 17) (26 . 18) (27 . 19) (148 . 132) (166 . 143)
721 (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (
722 8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158
723 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 .
724 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (
725 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
726 . 174) (155 . 175) (172 . 480)) ((-1 . -229)) ((90 . 478)) ((-1 . -225)) (
727 (-1 . -220)) ((90 . 477)) ((84 . 475) (83 . 476)) ((-1 . -64)) ((92 . -18)
728 (83 . -18)) ((92 . -16) (83 . -16)) ((83 . -239) (84 . -239)) ((166 . 143
729 ) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149)
730 (8 . 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158
731 . 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 .
732 161) (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (
733 156 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168
734 . 174) (155 . 175) (172 . 184) (178 . 418) (104 . 474) (92 . -273)) ((92
735 . 473) (83 . 248)) ((-1 . -267)) ((-1 . -266)) ((17 . 472) (-1 . -264)) ((
736 166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (
737 160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 . 154) (158 . 155)
738 (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161) (78 . 162) (79
739 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156 . 168) (82 . 169)
740 (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174) (155 . 175) (6
741 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186) (11 . 187) (12 .
742 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 . 193) (48 . 194) (
743 178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (110 . 199) (111
744 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (116 . 205) (109 .
745 488)) ((48 . 487)) ((92 . 486)) ((-1 . -13)) ((84 . 485) (166 . 143) (165
746 . 144) (164 . 145) (163 . 146) (162 . 147) (161 . 148) (160 . 149) (8 .
747 150) (3 . 151) (4 . 152) (5 . 153) (6 . 52) (7 . 53) (159 . 154) (158 .
748 155) (179 . 156) (180 . 157) (181 . 158) (157 . 159) (76 . 160) (77 . 161)
749 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
750 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
751 ) (155 . 175) (85 . 179) (172 . 180) (144 . 422) (89 . 259) (91 . 260) (
752 117 . 261) (118 . 262) (119 . 423)) ((-1 . -226)) ((-1 . -224)) ((-1 .
753 -218)) ((90 . 484)) ((90 . 483)) ((-1 . -213)) ((-1 . -219)) ((-1 . -217))
754 ((-1 . -14)) ((166 . 143) (165 . 144) (164 . 145) (163 . 146) (162 . 147)
755 (161 . 148) (160 . 149) (8 . 150) (3 . 151) (4 . 152) (5 . 153) (159 .
756 154) (158 . 155) (179 . 156) (180 . 157) (157 . 159) (76 . 160) (77 . 161)
757 (78 . 162) (79 . 163) (80 . 178) (81 . 165) (93 . 166) (177 . 167) (156
758 . 168) (82 . 169) (167 . 170) (86 . 171) (87 . 172) (176 . 173) (168 . 174
759 ) (155 . 175) (6 . 52) (7 . 53) (172 . 184) (2 . 37) (9 . 185) (10 . 186)
760 (11 . 187) (12 . 188) (13 . 189) (14 . 190) (15 . 191) (16 . 192) (19 .
761 193) (48 . 194) (178 . 195) (85 . 108) (20 . 196) (21 . 197) (181 . 198) (
762 110 . 199) (111 . 200) (112 . 201) (113 . 202) (114 . 203) (115 . 204) (
763 116 . 205) (109 . 489)) ((-1 . -268)) ((-1 . -265)) ((-1 . -269))))
766 #(#f 177 177 177 177 176 176 176 176 176 176 176 176 176 176 175 175 175
767 175 171 171 168 168 168 168 168 168 167 167 167 167 167 167 166 166 165
768 165 165 165 164 164 164 163 163 163 162 162 162 162 162 161 161 161 160
769 160 159 159 158 158 157 157 156 156 155 155 172 172 154 154 154 154 154
770 154 154 154 154 154 154 178 178 130 106 106 152 170 170 170 170 170 170
771 170 170 153 153 146 146 150 150 150 150 150 149 149 149 149 149 149 149
772 149 143 143 143 143 143 143 143 143 143 143 143 143 143 143 143 143 143
773 143 143 143 143 143 143 143 143 143 142 142 142 141 141 141 141 140 140
774 140 140 140 140 137 137 136 136 136 136 135 133 133 133 133 132 132 131
775 131 131 139 139 139 139 139 129 129 128 128 148 148 148 147 145 145 126
776 126 126 126 126 126 126 126 126 126 126 126 126 127 127 127 127 125 125
777 124 124 122 122 121 121 121 123 123 174 174 169 169 169 120 120 120 120
778 120 120 120 120 120 120 120 120 120 120 120 120 120 120 120 120 120 138
779 144 144 144 173 173 173 173 119 118 118 117 117 109 109 109 109 109 109
780 109 116 116 116 115 115 108 108 107 107 114 114 113 113 113 112 112 112
781 105 105 105 104 104 111 111 111 111 111 182 103 103 102 102 102 102 102
782 102 102 101 101 99 99 151 151 181 181 180 180 180 179 179 98 134 110 100))
785 '((cpp-pragma . 1) (cpp-stmt . 2) ($chlit . 3) ($float . 4) ($fixed . 5) (
786 cpp-ident . 6) ($ident . 7) ($string . 8) ("return" . 9) ("break" . 10) (
787 "continue" . 11) ("goto" . 12) ("for" . 13) ("do" . 14) ("while" . 15) (
788 "switch" . 16) ("else" . 17) (then . 18) ("if" . 19) ("default" . 20) (
789 "case" . 21) (typename . 22) ("..." . 23) ("inline" . 24) ("restrict" . 25
790 ) ("volatile" . 26) ("const" . 27) ("enum" . 28) ("union" . 29) ("struct"
791 . 30) ("_Complex" . 31) ("double" . 32) ("float" . 33) ("char" . 34) (
792 "unsigned" . 35) ("long" . 36) ("signed" . 37) ("int" . 38) (imp . 39) (
793 "short" . 40) ("_Bool" . 41) ("void" . 42) ("typedef" . 43) ("static" . 44
794 ) ("register" . 45) ("extern" . 46) ("auto" . 47) (";" . 48) ("|=" . 49) (
795 "^=" . 50) ("&=" . 51) (">>=" . 52) ("<<=" . 53) ("%=" . 54) ("/=" . 55) (
796 "*=" . 56) ("-=" . 57) ("+=" . 58) ("=" . 59) (":" . 60) ("?" . 61) ("||"
797 . 62) ("&&" . 63) ("|" . 64) ("^" . 65) ("!=" . 66) ("==" . 67) (">=" . 68
798 ) ("<=" . 69) (">" . 70) ("<" . 71) (">>" . 72) ("<<" . 73) ("%" . 74) (
799 "/" . 75) ("!" . 76) ("~" . 77) ("-" . 78) ("+" . 79) ("*" . 80) ("&" . 81
800 ) ("sizeof" . 82) ("," . 83) ("}" . 84) ("{" . 85) ("--" . 86) ("++" . 87)
801 ("->" . 88) ("." . 89) ("]" . 90) ("[" . 91) (")" . 92) ("(" . 93) (
802 $code-comm . 94) ($lone-comm . 95) ($error . 96) ($end . 97)))