5(
object
wall
inlet
patch
outlet
symm
walls
wall)
852((-2 1.39469 -0.128242) (-2 1.415 -3.91402e-17) (-2 1.5 -4.9133e-17) (-2 1.31385 -0.101976) (-2 1.47553 -0.154509) (-2 1.33 -2.91474e-17) (-2 1.26698 -0.193969) (-2 1.40451 -0.293893) (-2 1.23301 -0.0757092) (-2 1.33574 -0.243931) (-2 1.245 -1.91546e-17) (-2 1.19821 -0.144007) (-2 1.19397 -0.266976) (-2 1.24393 -0.335742) (-2 1.15217 -0.0494427) (-2 1.14401 -0.198209) (-2 1.29389 -0.404509) (-2 1.16 -9.16178e-18) (-2 1.09405 -0.129443) (-2 1.12944 -0.0940456) (-2 1.10198 -0.313849) (-2 1.15451 -0.475528) (-2 1.07133 -0.0231763) (-2 1.07571 -0.233009) (-2 1.06068 -0.0440838) (-2 1.12824 -0.394688) (-2 1.075 8.31019e-19) (-2 1.04944 -0.152169) (-2 1 -0.33) (-2 1 -0.5) (-2 1.04408 -0.0606762) (-2 1 -0.245) (-2 1.02318 -0.0713292) (-2 1 -0.415) (-2 1 -0.16) (-2 1 -0.075) (-2 0.924291 -0.233009) (-2 0.898024 -0.313849) (-2 0.845491 -0.475528) (-2 0.871758 -0.394688) (-2 0.950557 -0.152169) (-2 0.806031 -0.266976) (-2 0.756069 -0.335742) (-2 0.905954 -0.129443) (-2 0.976824 -0.0713292) (-2 0.855993 -0.198209) (-2 0.706107 -0.404509) (-2 0.955916 -0.0606763) (-2 0.733024 -0.193969) (-2 0.595491 -0.293893) (-2 0.870557 -0.0940456) (-2 0.801791 -0.144007) (-2 0.664258 -0.243931) (-2 0.939324 -0.0440839) (-2 0.686151 -0.101976) (-2 0.766991 -0.0757092) (-2 0.524472 -0.154509) (-2 0.928671 -0.0231763) (-2 0.605312 -0.128242) (-2 0.847831 -0.0494427) (-2 0.67 -3.3749e-23) (-2 0.585 -4.33443e-23) (-2 0.84 -1.45584e-23) (-2 0.925 -4.96308e-24) (-2 0.755 -2.41537e-23) (-2 0.5 -5.29396e-23) (6 -0.585 4.32569e-18) (6 -0.605312 -0.128242) (6 -0.524472 -0.154509) (6 -0.686151 -0.101976) (6 -0.664258 -0.243931) (6 -0.5 6.21687e-18) (6 -0.67 2.43451e-18) (6 -0.595491 -0.293893) (6 -0.733024 -0.193969) (6 -0.766991 -0.0757092) (6 -0.756069 -0.335742) (6 -0.755 5.43323e-19) (6 -0.706107 -0.404509) (6 -0.801791 -0.144007) (6 -0.806031 -0.266976) (6 -0.84 -1.34786e-18) (6 -0.845491 -0.475528) (6 -0.870557 -0.0940456) (6 -0.855993 -0.198209) (6 -0.898024 -0.313849) (6 -0.847831 -0.0494427) (6 -0.871758 -0.394688) (6 -0.905954 -0.129443) (6 -0.924291 -0.233009) (6 -0.925 -3.23904e-18) (6 -1 -0.415) (6 -0.955916 -0.0606763) (6 -0.928671 -0.0231763) (6 -1 -0.33) (6 -1 -0.5) (6 -0.950557 -0.152169) (6 -0.939324 -0.0440839) (6 -1 -0.245) (6 -1.12824 -0.394689) (6 -0.976824 -0.0713292) (6 -1 -0.16) (6 -1.07571 -0.233009) (6 -1.15451 -0.475528) (6 -1 -0.075) (6 -1.10198 -0.313849) (6 -1.04944 -0.152169) (6 -1.24393 -0.335742) (6 -1.14401 -0.198209) (6 -1.09405 -0.129443) (6 -1.29389 -0.404509) (6 -1.02318 -0.0713293) (6 -1.19397 -0.266976) (6 -1.40451 -0.293893) (6 -1.33574 -0.243931) (6 -1.26698 -0.193969) (6 -1.19821 -0.144007) (6 -1.04408 -0.0606763) (6 -1.12944 -0.0940457) (6 -1.06068 -0.0440839) (6 -1.39469 -0.128242) (6 -1.23301 -0.0757092) (6 -1.15217 -0.0494427) (6 -1.47553 -0.154509) (6 -1.31385 -0.101976) (6 -1.5 1.05879e-22) (6 -1.415 1.11173e-22) (6 -1.33 1.16467e-22) (6 -1.245 1.21761e-22) (6 -1.07133 -0.0231763) (6 -1.16 1.27055e-22) (6 -1.075 1.32349e-22) (-1.6 0.5 -5.29396e-23) (-1.6 0.585 -4.33443e-23) (-1.2 0.585 -4.33443e-23) (-1.2 0.5 -5.29396e-23) (-1.2 0.67 -3.3749e-23) (-1.6 0.67 -3.3749e-23) (-0.8 0.585 -4.33443e-23) (-0.8 0.67 -3.3749e-23) (-0.8 0.5 -5.29396e-23) (-0.8 0.755 -2.41537e-23) (-1.2 0.755 -2.41537e-23) (-1.6 0.755 -2.41537e-23) (-0.4 0.585 -4.33443e-23) (-0.4 0.67 -3.3749e-23) (-0.4 0.755 -2.41537e-23) (-0.4 0.5 -5.29396e-23) (-0.4 0.84 -1.45584e-23) (-0.8 0.84 -1.45584e-23) (-1.2 0.84 -1.45584e-23) (-1.6 0.84 -1.45584e-23) (2.38228e-23 0.585 -4.33443e-23) (2.11758e-23 0.67 -3.3749e-23) (1.85288e-23 0.755 -2.41537e-23) (1.58819e-23 0.84 -1.45584e-23) (2.64698e-23 0.5 -5.29396e-23) (1.32349e-23 0.925 -4.96308e-24) (-0.4 0.925 -4.96308e-24) (-0.8 0.925 -4.96308e-24) (-1.2 0.925 -4.96308e-24) (-1.6 0.925 -4.96308e-24) (0.180775 0.556368 -3.40137e-23) (0.207041 0.637208 -2.69992e-23) (0.259574 0.798888 -1.29702e-23) (0.154509 0.475528 -4.10282e-23) (0.233308 0.718048 -1.99847e-23) (0.285841 0.879727 -5.9557e-24) (0.343854 0.473275 -2.46831e-23) (0.393816 0.542041 -2.02494e-23) (0.49374 0.679574 -1.1382e-23) (0.543701
1700
(
((0 1 2) 1)
((1 0 3) 1)
((2 4 0) 1)
((3 5 1) 1)
((6 3 0) 1)
((0 4 7) 1)
((5 3 8) 1)
((8 3 6) 1)
((0 9 6) 1)
((7 9 0) 1)
((8 10 5) 1)
((6 11 8) 1)
((12 6 9) 1)
((13 9 7) 1)
((10 8 14) 1)
((15 11 6) 1)
((14 8 11) 1)
((6 12 15) 1)
((9 13 12) 1)
((7 16 13) 1)
((14 17 10) 1)
((11 15 18) 1)
((11 19 14) 1)
((15 12 20) 1)
((20 12 13) 1)
((13 16 21) 1)
((17 14 22) 1)
((18 19 11) 1)
((18 15 23) 1)
((14 19 24) 1)
((20 23 15) 1)
((13 25 20) 1)
((21 25 13) 1)
((22 26 17) 1)
((24 22 14) 1)
((24 19 18) 1)
((23 27 18) 1)
((23 20 28) 1)
((28 20 25) 1)
((25 21 29) 1)
((18 30 24) 1)
((27 23 31) 1)
((18 27 32) 1)
((28 31 23) 1)
((25 33 28) 1)
((29 33 25) 1)
((32 30 18) 1)
((31 34 27) 1)
((35 32 27) 1)
((36 31 28) 1)
((37 28 33) 1)
((33 29 38) 1)
((34 31 36) 1)
((27 34 35) 1)
((28 37 36) 1)
((33 39 37) 1)
((38 39 33) 1)
((36 40 34) 1)
((35 34 40) 1)
((36 37 41) 1)
((37 39 42) 1)
((42 39 38) 1)
((43 40 36) 1)
((40 44 35) 1)
((42 41 37) 1)
((41 45 36) 1)
((38 46 42) 1)
((40 43 47) 1)
((36 45 43) 1)
((47 44 40) 1)
((48 41 42) 1)
((45 41 48) 1)
((42 46 49) 1)
((47 43 50) 1)
((43 45 51) 1)
((42 52 48) 1)
((48 51 45) 1)
((49 52 42) 1)
((51 50 43) 1)
((50 53 47) 1)
((54 48 52) 1)
((55 51 48) 1)
((52 49 56) 1)
((50 51 55) 1)
((57 53 50) 1)
((48 54 55) 1)
((52 58 54) 1)
((56 58 52) 1)
((55 59 50) 1)
((50 59 57) 1)
((55 54 60) 1)
((54 58 61) 1)
((61 58 56) 1)
((62 59 55) 1)
((63 57 59) 1)
((61 60 54) 1)
((60 64 55) 1)
((56 65 61) 1)
((59 62 63) 1)
((55 64 62) 1)
((66 67 68) 2)
((69 67 66) 2)
((68 67 70) 2)
((68 71 66) 2)
((70 67 69) 2)
((66 72 69) 2)
((70 73 68) 2)
((69 74 70) 2)
((75 69 72) 2)
((73 70 76) 2)
((74 69 75) 2)
((76 70 74) 2)
((72 77 75) 2)
((76 78 73) 2)
((75 79 74) 2)
((74 80 76) 2)
((75 77 81) 2)
((82 78 76) 2)
((83 79 75) 2)
((74 79 84) 2)
((84 80 74) 2)
((76 80 85) 2)
((81 86 75) 2)
((76 87 82) 2)
((79 83 88) 2)
((75 86 83) 2)
((88 84 79) 2)
((80 84 89) 2)
((85 87 76) 2)
((89 85 80) 2)
((86 81 90) 2)
((82 87 91) 2)
((92 88 83) 2)
((83 86 93) 2)
((89 84 88) 2)
((91 87 85) 2)
((94 85 89) 2)
((90 93 86) 2)
((91 95 82) 2)
((96 88 92) 2)
((83 97 92) 2)
((93 97 83) 2)
((88 96 89) 2)
((85 94 91) 2)
((89 98 94) 2)
((95 91 99) 2)
((92 100 96) 2)
((89 96 101) 2)
((99 91 94) 2)
((101 98 89) 2)
((94 98 102) 2)
((99 103 95) 2)
((96 100 104) 2)
((104 101 96) 2)
((94 105 99) 2)
((98 101 106) 2)
((102 105 94) 2)
((106 102 98) 2)
((103 99 107) 2)
((106 101 104) 2)
((107 99 105) 2)
((105 102 108) 2)
((102 106 109) 2)
((107 110 103) 2)
((104 111 106) 2)
((105 112 107) 2)
((108 112 105) 2)
((109 108 102) 2)
((109 106 111) 2)
((113 110 107) 2)
((114 107 112) 2)
((115 112 108) 2)
((116 108 109) 2)
((111 117 109) 2)
((107 114 113) 2)
((112 115 114) 2)
((108 116 115) 2)
((109 118 116) 2)
((109 117 119) 2)
((113 114 120) 2)
((120 114 115) 2)
((115 116 121) 2)
((116 118 122) 2)
((119 118 109) 2)
((120 123 113) 2)
((115 124 120) 2)
((121 124 115) 2)
((122 121 116) 2)
((122 118 119) 2)
((125 123 120) 2)
((126 120 124) 2)
((127 124 121) 2)
((128 121 122) 2)
((119 129 122) 2)
((120 126 125) 2)
((124 127 126) 2)
((121 128 127) 2)
((122 130 128) 2)
((130 122 129) 2)
((129 131 130) 2)
((65 132 133) 3)
((134 133 132) 3)
((133 61 65) 3)
((132 135 134) 3)
((133 134 136) 3)
((61 133 137) 3)
((138 134 135) 3)
((139 136 134) 3)
((136 137 133) 3)
((137 60 61) 3)
((135 140 138) 3)
((134 138 139) 3)
((136 139 141) 3)
((137 136 142) 3)
((60 137 143) 3)
((144 138 140) 3)
((145 139 138) 3)
((146 141 139) 3)
((141 142 136) 3)
((142 143 137) 3)
((143 64 60) 3)
((140 147 144) 3)
((138 144 145) 3)
((139 145 146) 3)
((141 146 148) 3)
((142 141 149) 3)
((143 142 150) 3)
((64 143 151) 3)
((152 144 147) 3)
((153 145 144) 3)
((154 146 145) 3)
((155 148 146) 3)
((148 149 141) 3)
((149 150 142) 3)
((150 151 143) 3)
((151 62 64) 3)
((147 156 152) 3)
((144 152 153) 3)
((145 153 154) 3)
((146 154 155) 3)
((148 155 157) 3)
((149 148 158) 3)
((150 149 159) 3)
((151 150 160) 3)
((62 151 161) 3)
((162 152 156) 3)
((163 153 152) 3)
((154 153 163) 3)
((164 155 154) 3)
((157 155 164) 3)
((157 158 148) 3)
((158 159 149) 3)
((159 160 150) 3)
((160 161 151) 3)
((161 63 62) 3)
((156 165 162) 3)
((152 162 163) 3)
((163 166 154) 3)
((154 166 164) 3)
((164 167 157) 3)
((168 162 165) 3)
((169 163 162) 3)
((166 163 169) 3)
((170 164 166) 3)
((171 167 164) 3)
((165 172 168) 3)
((162 168 169) 3)
((169 173 166) 3)
((166 173 170) 3)
((164 170 171) 3)
((174 168 172) 3)
((175 169 168) 3)
((176 173 169) 3)
((177 170 173) 3)
((178 171 170) 3)
((172 179 174) 3)
((168 174 175) 3)
((169 175 176) 3)
((173 176 177) 3)
((170 177 178) 3)
((174 179 180) 3)
((175 174 181) 3)
((182 176 175) 3)
((177 176 182) 3)
((178 177 183) 3)
((180 181 174) 3)
((181 184 175) 3)
((175 184 182) 3)
((182 183 177) 3)
((183 185 178) 3)
((181 180 186) 3)
((184 181 187) 3)
((188 182 184) 3)
((183 182 188) 3)
((189 185 183) 3)
((186 187 181) 3)
((187 190 184) 3)
((184 190 188) 3)
((188 191 183) 3)
((183 191 189) 3)
((187 186 192) 3)
((190 187 193) 3)
((194 188 190) 3)
((191 188 194) 3)
((195 189 191) 3)
((192 193 187) 3)
((193 196 190) 3)
((190 196 194) 3)
((194 197 191) 3)
((191 197 195) 3)
((193 192 198) 3)
((199 196 193) 3)
((194 196 199) 3)
((200 197 194) 3)
((195 197 200) 3)
((198 201 193) 3)
((193 201 199) 3)
((199 202 194) 3)
((194 202 200) 3)
((200 203 195) 3)
((204 201 198) 3)
((199 201 204) 3)
((202 199 205) 3)
((206 200 202) 3)
((207 203 200) 3)
((198 208 204) 3)
((204 205 199) 3)
((205 209 202) 3)
((200 206 207) 3)
((202 209 206) 3)
((204 208 210) 3)
((205 204 211) 3)
((212 209 205) 3)
((207 206 213) 3)
((213 206 209) 3)
((210 211 204) 3)
((211 214 205) 3)
((209 212 213) 3)
((205 214 212) 3)
((213 215 207) 3)
((211 210 216) 3)
((214 211 217) 3)
((213 212 218) 3)
((218 212 214) 3)
((215 213 219) 3)
((216 217 211) 3)
((217 220 214) 3)
((218 219 213) 3)
((214 220 218) 3)
((219 221 215) 3)
((222 217 216) 3)
((223 220 217) 3)
((224 219 218) 3)
((225 218 220) 3)
((226 221 219) 3)
((216 227 222) 3)
((217 222 223) 3)
((220 223 225) 3)
((218 225 224) 3)
((219 224 226) 3)
((228 222 227) 3)
((229 223 222) 3)
((230 225 223) 3)
((231 224 225) 3)
((232 226 224) 3)
((227 233 228) 3)
((222 228 229) 3)
((223 229 230) 3)
((225 230 231) 3)
((224 231 232) 3)
((234 228 233) 3)
((235 229 228) 3)
((236 230 229) 3)
((237 231 230) 3)
((238 232 231) 3)
((233 239 234) 3)
((228 234 235) 3)
((229 235 236) 3)
((230 236 237) 3)
((231 237 238) 3)
((240 234 239) 3)
((241 235 234) 3)
((242 236 235) 3)
((243 237 236) 3)
((244 238 237) 3)
((239 245 240) 3)
((234 240 241) 3)
((235 241 242) 3)
((236 242 243) 3)
((237 243 244) 3)
((246 240 245) 3)
((247 241 240) 3)
((248 242 241) 3)
((249 243 242) 3)
((250 244 243) 3)
((245 251 246) 3)
((240 246 247) 3)
((241 247 248) 3)
((242 248 249) 3)
((243 249 250) 3)
((252 246 251) 3)
((253 247 246) 3)
((254 248 247) 3)
((255 249 248) 3)
((256 250 249) 3)
((251 257 252) 3)
((246 252 253) 3)
((247 253 254) 3)
((248 254 255) 3)
((249 255 256) 3)
((258 252 257) 3)
((259 253 252) 3)
((260 254 253) 3)
((261 255 254) 3)
((262 256 255) 3)
((257 263 258) 3)
((252 258 259) 3)
((253 259 260) 3)
((254 260 261) 3)
((255 261 262) 3)
((264 258 263) 3)
((265 259 258) 3)
((266 260 259) 3)
((267 261 260) 3)
((268 262 261) 3)
((263 269 264) 3)
((258 264 265) 3)
((259 265 266) 3)
((260 266 267) 3)
((261 267 268) 3)
((270 264 269) 3)
((271 265 264) 3)
((272 266 265) 3)
((273 267 266) 3)
((274 268 267) 3)
((269 275 270) 3)
((264 270 271) 3)
((265 271 272) 3)
((266 272 273) 3)
((267 273 274) 3)
((126 270 275) 3)
((127 271 270) 3)
((128 272 271) 3)
((130 273 272) 3)
((131 274 273) 3)
((275 125 126) 3)
((270 126 127) 3)
((271 127 128) 3)
((272 128 130) 3)
((273 130 131) 3)
((2 1 276) 3)
((277 276 1) 3)
((276 278 2) 3)
((1 5 277) 3)
((276 277 279) 3)
((278 276 280) 3)
((281 277 5) 3)
((282 279 277) 3)
((279 280 276) 3)
((280 283 278) 3)
((5 10 281) 3)
((277 281 282) 3)
((279 282 284) 3)
((280 279 285) 3)
((283 280 286) 3)
((287 281 10) 3)
((288 282 281) 3)
((289 284 282) 3)
((284 285 279) 3)
((285 286 280) 3)
((286 290 283) 3)
((10 17 287) 3)
((281 287 288) 3)
((282 288 289) 3)
((284 289 291) 3)
((285 284 292) 3)
((286 285 293) 3)
((290 286 294) 3)
((295 287 17) 3)
((296 288 287) 3)
((297 289 288) 3)
((298 291 289) 3)
((291 292 284) 3)
((292 293 285) 3)
((293 294 286) 3)
((294 299 290) 3)
((17 26 295) 3)
((287 295 296) 3)
((288 296 297) 3)
((289 297 298) 3)
((291 298 300) 3)
((292 291 301) 3)
((293 292 302) 3)
((294 293 303) 3)
((299 294 304) 3)
((300 301 291) 3)
((301 302 292) 3)
((302 303 293) 3)
((303 304 294) 3)
((304 305 299) 3)
((301 300 306) 3)
((302 301 307) 3)
((303 302 308) 3)
((304 303 309) 3)
((310 305 304) 3)
((306 307 301) 3)
((307 308 302) 3)
((308 309 303) 3)
((309 311 304) 3)
((304 311 310) 3)
((312 307 306) 3)
((313 308 307) 3)
((309 308 313) 3)
((314 311 309) 3)
((315 310 311) 3)
((307 312 313) 3)
((306 316 312) 3)
((313 317 309) 3)
((311 314 315) 3)
((309 317 314) 3)
((318 313 312) 3)
((319 312 316) 3)
((320 317 313) 3)
((321 315 314) 3)
((322 314 317) 3)
((313 318 320) 3)
((312 319 318) 3)
((316 323 319) 3)
((317 320 322) 3)
((314 322 321) 3)
((324 320 318) 3)
((318 319 325) 3)
((319 323 326) 3)
((322 320 324) 3)
((321 322 327) 3)
((318 328 324) 3)
((325 328 318) 3)
((326 325 319) 3)
((324 327 322) 3)
((327 329 321) 3)
((330 324 328) 3)
((331 328 325) 3)
((332 325 326) 3)
((333 327 324) 3)
((329 327 333) 3)
((324 330 333) 3)
((328 331 330) 3)
((325 332 331) 3)
((326 334 332) 3)
((333 335 329) 3)
((336 333 330) 3)
((337 330 331) 3)
((338 331 332) 3)
((339 332 334) 3)
((340 335 333) 3)
((333 336 340) 3)
((330 337 336) 3)
((331 338 337) 3)
((332 339 338) 3)
((334 341 339) 3)
((340 336 342) 3)
((342 336 337) 3)
((337 338 343) 3)
((343 338 339) 3)
((339 341 344) 3)
((342 345 340) 3)
((337 346 342) 3)
((343 346 337) 3)
((339 347 343) 3)
((344 347 339) 3)
((345 342 348) 3)
((342 346 349) 3)
((349 346 343) 3)
((350 343 347) 3)
((351 347 344) 3)
((349 348 342) 3)
((348 352 345) 3)
((343 350 349) 3)
((347 351 350) 3)
((344 353 351) 3)
((354 348 349) 3)
((352 348 354) 3)
((349 350 355) 3)
((355 350 351) 3)
((351 353 356) 3)
((349 357 354) 3)
((354 358 352) 3)
((355 357 349) 3)
((351 359 355) 3)
((356 359 351) 3)
((360 354 357) 3)
((358 354 360) 3)
((357 355 361) 3)
((361 355 359) 3)
((359 356 362) 3)
((357 363 360) 3)
((360 364 358) 3)
((361 363 357) 3)
((359 365 361) 3)
((362 365 359) 3)
((360 363 366) 3)
((364 360 367) 3)
((363 361 368) 3)
((361 365 369) 3)
((365 362 370) 3)
((368 366 363) 3)
((366 367 360) 3)
((367 371 364) 3)
((369 368 361) 3)
((370 369 365) 3)
((366 368 372) 3)
((367 366 373) 3)
((371 367 374) 3)
((368 369 375) 3)
((369 370 376) 3)
((375 372 368) 3)
((372 373 366) 3)
((373 374 367) 3)
((374 377 371) 3)
((376 375 369) 3)
((372 375 378) 3)
((373 372 379) 3)
((374 373 380) 3)
((377 374 381) 3)
((375 376 382) 3)
((382 378 375) 3)
((378 379 372) 3)
((379 380 373) 3)
((380 381 374) 3)
((381 383 377) 3)
((378 382 384) 3)
((379 378 385) 3)
((380 379 386) 3)
((381 380 387) 3)
((383 381 388) 3)
((384 385 378) 3)
((385 386 379) 3)
((386 387 380) 3)
((387 388 381) 3)
((388 389 383) 3)
((385 384 390) 3)
((386 385 391) 3)
((387 386 392) 3)
((388 387 393) 3)
((389 388 394) 3)
((390 391 385) 3)
((391 392 386) 3)
((392 393 387) 3)
((393 394 388) 3)
((394 395 389) 3)
((391 390 396) 3)
((392 391 397) 3)
((393 392 398) 3)
((394 393 399) 3)
((395 394 400) 3)
((396 397 391) 3)
((397 398 392) 3)
((398 399 393) 3)
((399 400 394) 3)
((400 401 395) 3)
((397 396 402) 3)
((398 397 403) 3)
((399 398 404) 3)
((400 399 405) 3)
((401 400 406) 3)
((402 403 397) 3)
((403 404 398) 3)
((404 405 399) 3)
((405 406 400) 3)
((406 407 401) 3)
((403 402 408) 3)
((404 403 409) 3)
((405 404 410) 3)
((406 405 411) 3)
((407 406 412) 3)
((408 409 403) 3)
((409 410 404) 3)
((410 411 405) 3)
((411 412 406) 3)
((412 413 407) 3)
((409 408 414) 3)
((410 409 415) 3)
((411 410 416) 3)
((412 411 417) 3)
((413 412 418) 3)
((414 415 409) 3)
((415 416 410) 3)
((416 417 411) 3)
((417 418 412) 3)
((418 419 413) 3)
((415 414 90) 3)
((416 415 81) 3)
((417 416 77) 3)
((418 417 72) 3)
((419 418 66) 3)
((90 81 415) 3)
((81 77 416) 3)
((77 72 417) 3)
((72 66 418) 3)
((66 71 419) 3)
((63 161 420) 4)
((421 420 161) 4)
((420 57 63) 4)
((161 160 421) 4)
((420 421 422) 4)
((57 420 423) 4)
((424 421 160) 4)
((425 422 421) 4)
((422 423 420) 4)
((423 53 57) 4)
((160 159 424) 4)
((421 424 425) 4)
((422 425 426) 4)
((423 422 427) 4)
((53 423 428) 4)
((429 424 159) 4)
((430 425 424) 4)
((431 426 425) 4)
((426 427 422) 4)
((427 428 423) 4)
((428 47 53) 4)
((159 158 429) 4)
((424 429 430) 4)
((425 430 431) 4)
((426 431 432) 4)
((427 426 433) 4)
((428 427 434) 4)
((47 428 435) 4)
((436 429 158) 4)
((437 430 429) 4)
((438 431 430) 4)
((439 432 431) 4)
((432 433 426) 4)
((433 434 427) 4)
((434 435 428) 4)
((435 44 47) 4)
((158 157 436) 4)
((429 436 437) 4)
((430 437 438) 4)
((431 438 439) 4)
((432 439 440) 4)
((433 432 441) 4)
((434 433 442) 4)
((435 434 443) 4)
((44 435 444) 4)
((436 157 167) 4)
((437 436 445) 4)
((438 437 446) 4)
((447 439 438) 4)
((448 440 439) 4)
((440 441 432) 4)
((441 442 433) 4)
((442 443 434) 4)
((443 444 435) 4)
((444 35 44) 4)
((167 445 436) 4)
((445 446 437) 4)
((446 449 438) 4)
((438 449 447) 4)
((439 447 448) 4)
((440 448 450) 4)
((451 441 440) 4)
((452 442 441) 4)
((453 443 442) 4)
((454 444 443) 4)
((32 35 444) 4)
((445 167 171) 4)
((446 445 455) 4)
((449 446 456) 4)
((457 447 449) 4)
((458 448 447) 4)
((459 450 448) 4)
((450 460 440) 4)
((441 451 452) 4)
((440 460 451) 4)
((442 452 453) 4)
((443 453 454) 4)
((444 454 32) 4)
((171 455 445) 4)
((455 456 446) 4)
((456 461 449) 4)
((449 461 457) 4)
((447 457 458) 4)
((448 458 459) 4)
((450 459 462) 4)
((460 450 463) 4)
((464 452 451) 4)
((465 451 460) 4)
((466 453 452) 4)
((467 454 453) 4)
((30 32 454) 4)
((468 455 171) 4)
((469 456 455) 4)
((470 461 456) 4)
((471 457 461) 4)
((472 458 457) 4)
((473 459 458) 4)
((474 462 459) 4)
((462 463 450) 4)
((463 475 460) 4)
((452 464 466) 4)
((451 465 464) 4)
((460 475 465) 4)
((453 466 467) 4)
((454 467 30) 4)
((171 178 468) 4)
((455 468 469) 4)
((456 469 470) 4)
((461 470 471) 4)
((457 471 472) 4)
((458 472 473) 4)
((459 473 474) 4)
((462 474 476) 4)
((463 462 477) 4)
((475 463 478) 4)
((479 466 464) 4)
((480 464 465) 4)
((481 465 475) 4)
((482 467 466) 4)
((24 30 467) 4)
((483 468 178) 4)
((484 469 468) 4)
((485 470 469) 4)
((471 470 485) 4)
((472 471 486) 4)
((473 472 487) 4)
((474 473 488) 4)
((476 474 489) 4)
((476 477 462) 4)
((477 478 463) 4)
((478 490 475) 4)
((466 479 482) 4)
((464 480 479) 4)
((465 481 480) 4)
((475 490 481) 4)
((467 482 24) 4)
((178 185 483) 4)
((468 483 484) 4)
((469 484 485) 4)
((485 486 471) 4)
((486 487 472) 4)
((487 488 473) 4)
((488 489 474) 4)
((489 491 476) 4)
((477 476 492) 4)
((493 478 477) 4)
((494 490 478) 4)
((495 482 479) 4)
((496 479 480) 4)
((497 480 481) 4)
((498 481 490) 4)
((22 24 482) 4)
((499 483 185) 4)
((500 484 483) 4)
((501 485 484) 4)
((486 485 501) 4)
((487 486 502) 4)
((488 487 503) 4)
((489 488 504) 4)
((476 491 505) 4)
((491 489 506) 4)
((505 492 476) 4)
((492 507 477) 4)
((478 493 494) 4)
((477 507 493) 4)
((490 494 498) 4)
((482 495 22) 4)
((479 496 495) 4)
((480 497 496) 4)
((481 498 497) 4)
((185 189 499) 4)
((483 499 500) 4)
((484 500 501) 4)
((501 502 486) 4)
((502 503 487) 4)
((503 504 488) 4)
((504 506 489) 4)
((508 505 491) 4)
((506 509 491) 4)
((492 505 326) 4)
((507 492 323) 4)
((300 494 493) 4)
((306 493 507) 4)
((298 498 494) 4)
((26 22 495) 4)
((295 495 496) 4)
((296 496 497) 4)
((297 497 498) 4)
((510 499 189) 4)
((511 500 499) 4)
((501 500 511) 4)
((502 501 512) 4)
((503 502 513) 4)
((504 503 514) 4)
((506 504 515) 4)
((505 508 334) 4)
((491 509 508) 4)
((516 509 506) 4)
((334 326 505) 4)
((326 323 492) 4)
((323 316 507) 4)
((494 300 298) 4)
((493 306 300) 4)
((507 316 306) 4)
((498 298 297) 4)
((495 295 26) 4)
((496 296 295) 4)
((497 297 296) 4)
((499 510 511) 4)
((189 195 510) 4)
((511 512 501) 4)
((512 513 502) 4)
((513 514 503) 4)
((514 515 504) 4)
((515 517 506) 4)
((341 334 508) 4)
((518 508 509) 4)
((509 516 518) 4)
((506 517 516) 4)
((519 511 510) 4)
((520 510 195) 4)
((512 511 519) 4)
((513 512 521) 4)
((514 513 522) 4)
((515 514 523) 4)
((517 515 524) 4)
((508 518 341) 4)
((525 518 516) 4)
((526 516 517) 4)
((510 520 519) 4)
((195 203 520) 4)
((519 521 512) 4)
((521 522 513) 4)
((522 523 514) 4)
((523 524 515) 4)
((524 527 517) 4)
((344 341 518) 4)
((518 525 344) 4)
((516 526 525) 4)
((517 527 526) 4)
((528 519 520) 4)
((529 520 203) 4)
((521 519 528) 4)
((522 521 530) 4)
((531 523 522) 4)
((524 523 531) 4)
((527 524 532) 4)
((344 525 533) 4)
((533 525 526) 4)
((526 527 534) 4)
((520 529 528) 4)
((203 207 529) 4)
((528 530 521) 4)
((530 535 522) 4)
((522 535 531) 4)
((531 532 524) 4)
((532 534 527) 4)
((533 353 344) 4)
((526 536 533) 4)
((534 536 526) 4)
((528 529 537) 4)
((529 207 215) 4)
((538 530 528) 4)
((539 535 530) 4)
((540 531 535) 4)
((541 532 531) 4)
((542 534 532) 4)
((353 533 543) 4)
((533 536 544) 4)
((536 534 542) 4)
((215 537 529) 4)
((537 545 528) 4)
((530 538 539) 4)
((528 545 538) 4)
((535 539 540) 4)
((531 540 541) 4)
((532 541 542) 4)
((544 543 533) 4)
((543 356 353) 4)
((542 544 536) 4)
((537 215 221) 4)
((545 537 546) 4)
((547 539 538) 4)
((548 538 545) 4)
((549 540 539) 4)
((550 541 540) 4)
((551 542 541) 4)
((543 544 552) 4)
((356 543 553) 4)
((544 542 551) 4)
((221 546 537) 4)
((546 554 545) 4)
((539 547 549) 4)
((538 548 547) 4)
((545 554 548) 4)
((540 549 550) 4)
((541 550 551) 4)
((551 552 544) 4)
((552 553 543) 4)
((553 362 356) 4)
((555 546 221) 4)
((556 554 546) 4)
((557 549 547) 4)
((558 547 548) 4)
((559 548 554) 4)
((550 549 557) 4)
((551 550 560) 4)
((552 551 561) 4)
((553 552 562) 4)
((362 553 563) 4)
((221 226 555) 4)
((546 555 556) 4)
((554 556 559) 4)
((547 558 557) 4)
((548 559 558) 4)
((557 560 550) 4)
((560 561 551) 4)
((561 562 552) 4)
((562 563 553) 4)
((563 370 362) 4)
((564 555 226) 4)
((565 556 555) 4)
((566 559 556) 4)
((567 557 558) 4)
((568 558 559) 4)
((560 557 567) 4)
((561 560 569) 4)
((562 561 570) 4)
((563 562 571) 4)
((370 563 572) 4)
((226 232 564) 4)
((555 564 565) 4)
((556 565 566) 4)
((559 566 568) 4)
((558 568 567) 4)
((567 569 560) 4)
((569 570 561) 4)
((570 571 562) 4)
((571 572 563) 4)
((572 376 370) 4)
((573 564 232) 4)
((574 565 564) 4)
((575 566 565) 4)
((576 568 566) 4)
((577 567 568) 4)
((569 567 577) 4)
((570 569 578) 4)
((571 570 579) 4)
((572 571 580) 4)
((376 572 581) 4)
((232 238 573) 4)
((564 573 574) 4)
((565 574 575) 4)
((566 575 576) 4)
((568 576 577) 4)
((577 578 569) 4)
((578 579 570) 4)
((579 580 571) 4)
((580 581 572) 4)
((581 382 376) 4)
((582 573 238) 4)
((583 574 573) 4)
((584 575 574) 4)
((585 576 575) 4)
((586 577 576) 4)
((578 577 586) 4)
((579 578 587) 4)
((580 579 588) 4)
((581 580 589) 4)
((382 581 590) 4)
((238 244 582) 4)
((573 582 583) 4)
((574 583 584) 4)
((575 584 585) 4)
((576 585 586) 4)
((586 587 578) 4)
((587 588 579) 4)
((588 589 580) 4)
((589 590 581) 4)
((590 384 382) 4)
((591 582 244) 4)
((592 583 582) 4)
((593 584 583) 4)
((594 585 584) 4)
((595 586 585) 4)
((587 586 595) 4)
((588 587 596) 4)
((589 588 597) 4)
((590 589 598) 4)
((384 590 599) 4)
((244 250 591) 4)
((582 591 592) 4)
((583 592 593) 4)
((584 593 594) 4)
((585 594 595) 4)
((595 596 587) 4)
((596 597 588) 4)
((597 598 589) 4)
((598 599 590) 4)
((599 390 384) 4)
((600 591 250) 4)
((601 592 591) 4)
((602 593 592) 4)
((603 594 593) 4)
((604 595 594) 4)
((596 595 604) 4)
((597 596 605) 4)
((598 597 606) 4)
((599 598 607) 4)
((390 599 608) 4)
((250 256 600) 4)
((591 600 601) 4)
((592 601 602) 4)
((593 602 603) 4)
((594 603 604) 4)
((604 605 596) 4)
((605 606 597) 4)
((606 607 598) 4)
((607 608 599) 4)
((608 396 390) 4)
((609 600 256) 4)
((610 601 600) 4)
((611 602 601) 4)
((612 603 602) 4)
((613 604 603) 4)
((605 604 613) 4)
((606 605 614) 4)
((607 606 615) 4)
((608 607 616) 4)
((396 608 617) 4)
((256 262 609) 4)
((600 609 610) 4)
((601 610 611) 4)
((602 611 612) 4)
((603 612 613) 4)
((613 614 605) 4)
((614 615 606) 4)
((615 616 607) 4)
((616 617 608) 4)
((617 402 396) 4)
((618 609 262) 4)
((619 610 609) 4)
((620 611 610) 4)
((621 612 611) 4)
((622 613 612) 4)
((614 613 622) 4)
((615 614 623) 4)
((616 615 624) 4)
((617 616 625) 4)
((402 617 626) 4)
((262 268 618) 4)
((609 618 619) 4)
((610 619 620) 4)
((611 620 621) 4)
((612 621 622) 4)
((622 623 614) 4)
((623 624 615) 4)
((624 625 616) 4)
((625 626 617) 4)
((626 408 402) 4)
((627 618 268) 4)
((628 619 618) 4)
((629 620 619) 4)
((630 621 620) 4)
((631 622 621) 4)
((623 622 631) 4)
((624 623 632) 4)
((625 624 633) 4)
((626 625 634) 4)
((408 626 635) 4)
((268 274 627) 4)
((618 627 628) 4)
((619 628 629) 4)
((620 629 630) 4)
((621 630 631) 4)
((631 632 623) 4)
((632 633 624) 4)
((633 634 625) 4)
((634 635 626) 4)
((635 414 408) 4)
((129 627 274) 4)
((119 628 627) 4)
((117 629 628) 4)
((111 630 629) 4)
((104 631 630) 4)
((632 631 104) 4)
((633 632 100) 4)
((634 633 92) 4)
((635 634 97) 4)
((414 635 93) 4)
((274 131 129) 4)
((627 129 119) 4)
((628 119 117) 4)
((629 117 111) 4)
((630 111 104) 4)
((104 100 632) 4)
((100 92 633) 4)
((92 97 634) 4)
((97 93 635) 4)
((93 90 414) 4)
((2 278 636) 4)
((637 636 278) 4)
((636 4 2) 4)
((278 283 637) 4)
((636 637 638) 4)
((4 636 639) 4)
((640 637 283) 4)
((641 638 637) 4)
((638 639 636) 4)
((639 7 4) 4)
((283 290 640) 4)
((637 640 641) 4)
((638 641 642) 4)
((639 638 643) 4)
((7 639 644) 4)
((645 640 290) 4)
((646 641 640) 4)
((647 642 641) 4)
((642 643 638) 4)
((643 644 639) 4)
((644 16 7) 4)
((290 299 645) 4)
((640 645 646) 4)
((641 646 647) 4)
((642 647 648) 4)
((643 642 649) 4)
((644 643 650) 4)
((16 644 651) 4)
((652 645 299) 4)
((653 646 645) 4)
((654 647 646) 4)
((655 648 647) 4)
((648 649 642) 4)
((649 650 643) 4)
((650 651 644) 4)
((651 21 16) 4)
((299 305 652) 4)
((645 652 653) 4)
((646 653 654) 4)
((647 654 655) 4)
((648 655 656) 4)
((649 648 657) 4)
((650 649 658) 4)
((651 650 659) 4)
((21 651 660) 4)
((661 652 305) 4)
((653 652 661) 4)
((654 653 662) 4)
((655 654 663) 4)
((656 655 664) 4)
((656 657 648) 4)
((657 658 649) 4)
((658 659 650) 4)
((659 660 651) 4)
((660 29 21) 4)
((305 310 661) 4)
((661 662 653) 4)
((662 663 654) 4)
((663 664 655) 4)
((664 665 656) 4)
((666 657 656) 4)
((667 658 657) 4)
((668 659 658) 4)
((669 660 659) 4)
((38 29 660) 4)
((670 661 310) 4)
((662 661 670) 4)
((663 662 671) 4)
((664 663 672) 4)
((665 664 673) 4)
((656 665 674) 4)
((657 666 667) 4)
((656 675 666) 4)
((658 667 668) 4)
((659 668 669) 4)
((660 669 38) 4)
((310 315 670) 4)
((670 671 662) 4)
((671 672 663) 4)
((672 673 664) 4)
((673 676 665) 4)
((674 675 656) 4)
((677 674 665) 4)
((678 667 666) 4)
((679 666 675) 4)
((680 668 667) 4)
((681 669 668) 4)
((46 38 669) 4)
((682 670 315) 4)
((683 671 670) 4)
((684 672 671) 4)
((685 673 672) 4)
((686 676 673) 4)
((665 676 677) 4)
((675 674 687) 4)
((674 677 688) 4)
((667 678 680) 4)
((666 679 678) 4)
((675 689 679) 4)
((668 680 681) 4)
((669 681 46) 4)
((670 682 683) 4)
((315 321 682) 4)
((671 683 684) 4)
((672 684 685) 4)
((673 685 686) 4)
((677 676 686) 4)
((687 689 675) 4)
((688 687 674) 4)
((688 677 690) 4)
((691 680 678) 4)
((692 678 679) 4)
((693 679 689) 4)
((694 681 680) 4)
((49 46 681) 4)
((695 683 682) 4)
((682 321 329) 4)
((696 684 683) 4)
((697 685 684) 4)
((698 686 685) 4)
((686 690 677) 4)
((689 687 699) 4)
((687 688 700) 4)
((690 701 688) 4)
((680 691 694) 4)
((678 692 691) 4)
((679 693 692) 4)
((689 702 693) 4)
((681 694 49) 4)
((683 695 696) 4)
((682 703 695) 4)
((329 703 682) 4)
((684 696 697) 4)
((685 697 698) 4)
((690 686 698) 4)
((699 702 689) 4)
((700 699 687) 4)
((700 688 701) 4)
((701 690 704) 4)
((705 694 691) 4)
((706 691 692) 4)
((707 692 693) 4)
((708 693 702) 4)
((56 49 694) 4)
((709 696 695) 4)
((710 695 703) 4)
((703 329 335) 4)
((711 697 696) 4)
((712 698 697) 4)
((698 704 690) 4)
((702 699 713) 4)
((699 700 714) 4)
((701 715 700) 4)
((704 716 701) 4)
((694 705 56) 4)
((691 706 705) 4)
((692 707 706) 4)
((693 708 707) 4)
((702 717 708) 4)
((696 709 711) 4)
((695 710 709) 4)
((703 718 710) 4)
((335 718 703) 4)
((697 711 712) 4)
((704 698 712) 4)
((713 717 702) 4)
((714 713 699) 4)
((714 700 715) 4)
((715 701 716) 4)
((716 704 719) 4)
((65 56 705) 4)
((132 705 706) 4)
((135 706 707) 4)
((140 707 708) 4)
((147 708 717) 4)
((711 709 720) 4)
((709 710 721) 4)
((710 718 722) 4)
((718 335 340) 4)
((712 711 723) 4)
((712 719 704) 4)
((717 713 165) 4)
((713 714 172) 4)
((715 724 714) 4)
((716 725 715) 4)
((719 726 716) 4)
((705 132 65) 4)
((706 135 132) 4)
((707 140 135) 4)
((708 147 140) 4)
((717 156 147) 4)
((721 720 709) 4)
((720 723 711) 4)
((722 721 710) 4)
((340 722 718) 4)
((723 727 712) 4)
((728 719 712) 4)
((165 156 717) 4)
((172 165 713) 4)
((172 714 724) 4)
((724 715 725) 4)
((725 716 726) 4)
((729 726 719) 4)
((720 721 730) 4)
((723 720 731) 4)
((721 722 732) 4)
((722 340 345) 4)
((727 723 733) 4)
((712 727 728) 4)
((719 728 729) 4)
((724 179 172) 4)
((725 734 724) 4)
((726 735 725) 4)
((726 729 736) 4)
((732 730 721) 4)
((730 731 720) 4)
((731 733 723) 4)
((345 732 722) 4)
((733 737 727) 4)
((738 728 727) 4)
((739 729 728) 4)
((179 724 734) 4)
((734 725 735) 4)
((736 735 726) 4)
((740 736 729) 4)
((741 730 732) 4)
((731 730 741) 4)
((733 731 742) 4)
((743 732 345) 4)
((744 737 733) 4)
((727 737 738) 4)
((728 738 739) 4)
((729 739 740) 4)
((734 180 179) 4)
((735 745 734) 4)
((735 736 746) 4)
((736 740 747) 4)
((732 743 741) 4)
((741 742 731) 4)
((742 748 733) 4)
((345 352 743) 4)
((733 748 744) 4)
((738 737 744) 4)
((739 738 749) 4)
((740 739 750) 4)
((180 734 745) 4)
((746 745 735) 4)
((747 746 736) 4)
((751 747 740) 4)
((752 741 743) 4)
((753 742 741) 4)
((754 748 742) 4)
((755 743 352) 4)
((756 744 748) 4)
((744 749 738) 4)
((749 750 739) 4)
((750 757 740) 4)
((745 186 180) 4)
((186 745 746) 4)
((192 746 747) 4)
((198 747 751) 4)
((740 757 751) 4)
((743 755 752) 4)
((741 752 753) 4)
((742 753 754) 4)
((748 754 756) 4)
((352 358 755) 4)
((749 744 756) 4)
((750 749 758) 4)
((757 750 759) 4)
((746 192 186) 4)
((747 198 192) 4)
((751 208 198) 4)
((751 757 760) 4)
((761 752 755) 4)
((762 753 752) 4)
((763 754 753) 4)
((764 756 754) 4)
((765 755 358) 4)
((756 758 749) 4)
((758 759 750) 4)
((759 760 757) 4)
((210 208 751) 4)
((760 766 751) 4)
((755 765 761) 4)
((752 761 762) 4)
((753 762 763) 4)
((754 763 764) 4)
((758 756 764) 4)
((358 364 765) 4)
((759 758 767) 4)
((760 759 768) 4)
((751 766 210) 4)
((766 760 769) 4)
((770 761 765) 4)
((771 762 761) 4)
((772 763 762) 4)
((773 764 763) 4)
((764 767 758) 4)
((774 765 364) 4)
((767 768 759) 4)
((768 769 760) 4)
((216 210 766) 4)
((769 775 766) 4)
((765 774 770) 4)
((761 770 771) 4)
((762 771 772) 4)
((763 772 773) 4)
((767 764 773) 4)
((364 371 774) 4)
((768 767 776) 4)
((769 768 777) 4)
((766 775 216) 4)
((775 769 778) 4)
((779 770 774) 4)
((780 771 770) 4)
((781 772 771) 4)
((782 773 772) 4)
((773 776 767) 4)
((783 774 371) 4)
((776 777 768) 4)
((777 778 769) 4)
((216 775 784) 4)
((778 784 775) 4)
((774 783 779) 4)
((770 779 780) 4)
((771 780 781) 4)
((772 781 782) 4)
((776 773 782) 4)
((371 377 783) 4)
((777 776 785) 4)
((778 777 786) 4)
((784 227 216) 4)
((784 778 787) 4)
((788 779 783) 4)
((789 780 779) 4)
((790 781 780) 4)
((791 782 781) 4)
((782 785 776) 4)
((792 783 377) 4)
((785 786 777) 4)
((786 787 778) 4)
((227 784 793) 4)
((787 793 784) 4)
((783 792 788) 4)
((779 788 789) 4)
((780 789 790) 4)
((781 790 791) 4)
((785 782 791) 4)
((377 383 792) 4)
((786 785 794) 4)
((787 786 795) 4)
((793 233 227) 4)
((793 787 796) 4)
((797 788 792) 4)
((798 789 788) 4)
((799 790 789) 4)
((800 791 790) 4)
((791 794 785) 4)
((801 792 383) 4)
((794 795 786) 4)
((795 796 787) 4)
((233 793 802) 4)
((796 802 793) 4)
((792 801 797) 4)
((788 797 798) 4)
((789 798 799) 4)
((790 799 800) 4)
((794 791 800) 4)
((383 389 801) 4)
((795 794 803) 4)
((796 795 804) 4)
((802 239 233) 4)
((802 796 805) 4)
((806 797 801) 4)
((807 798 797) 4)
((808 799 798) 4)
((809 800 799) 4)
((800 803 794) 4)
((810 801 389) 4)
((803 804 795) 4)
((804 805 796) 4)
((239 802 811) 4)
((805 811 802) 4)
((801 810 806) 4)
((797 806 807) 4)
((798 807 808) 4)
((799 808 809) 4)
((803 800 809) 4)
((389 395 810) 4)
((804 803 812) 4)
((805 804 813) 4)
((811 245 239) 4)
((811 805 814) 4)
((815 806 810) 4)
((816 807 806) 4)
((817 808 807) 4)
((818 809 808) 4)
((809 812 803) 4)
((819 810 395) 4)
((812 813 804) 4)
((813 814 805) 4)
((245 811 820) 4)
((814 820 811) 4)
((810 819 815) 4)
((806 815 816) 4)
((807 816 817) 4)
((808 817 818) 4)
((812 809 818) 4)
((395 401 819) 4)
((813 812 821) 4)
((814 813 822) 4)
((820 251 245) 4)
((820 814 823) 4)
((824 815 819) 4)
((825 816 815) 4)
((826 817 816) 4)
((827 818 817) 4)
((818 821 812) 4)
((828 819 401) 4)
((821 822 813) 4)
((822 823 814) 4)
((251 820 829) 4)
((823 829 820) 4)
((819 828 824) 4)
((815 824 825) 4)
((816 825 826) 4)
((817 826 827) 4)
((821 818 827) 4)
((401 407 828) 4)
((822 821 830) 4)
((823 822 831) 4)
((829 257 251) 4)
((829 823 832) 4)
((833 824 828) 4)
((834 825 824) 4)
((835 826 825) 4)
((836 827 826) 4)
((827 830 821) 4)
((837 828 407) 4)
((830 831 822) 4)
((831 832 823) 4)
((257 829 838) 4)
((832 838 829) 4)
((828 837 833) 4)
((824 833 834) 4)
((825 834 835) 4)
((826 835 836) 4)
((830 827 836) 4)
((407 413 837) 4)
((831 830 839) 4)
((832 831 840) 4)
((838 263 257) 4)
((838 832 841) 4)
((842 833 837) 4)
((843 834 833) 4)
((844 835 834) 4)
((845 836 835) 4)
((836 839 830) 4)
((846 837 413) 4)
((839 840 831) 4)
((840 841 832) 4)
((263 838 847) 4)
((841 847 838) 4)
((837 846 842) 4)
((833 842 843) 4)
((834 843 844) 4)
((835 844 845) 4)
((839 836 845) 4)
((413 419 846) 4)
((840 839 848) 4)
((841 840 849) 4)
((847 269 263) 4)
((847 841 850) 4)
((73 842 846) 4)
((78 843 842) 4)
((82 844 843) 4)
((95 845 844) 4)
((845 848 839) 4)
((68 846 419) 4)
((848 849 840) 4)
((849 850 841) 4)
((269 847 851) 4)
((850 851 847) 4)
((846 68 73) 4)
((842 73 78) 4)
((843 78 82) 4)
((844 82 95) 4)
((848 845 95) 4)
((419 71 68) 4)
((849 848 103) 4)
((850 849 110) 4)
((851 275 269) 4)
((851 850 113) 4)
((95 103 848) 4)
((103 110 849) 4)
((110 113 850) 4)
((275 851 123) 4)
((113 123 851) 4)
((123 125 275) 4)
)
160
(389 383)
(384 390)
(1 2)
(2 4)
(203 195)
(5 1)
(4 7)
(299 290)
(26 295)
(110 103)
(207 203)
(295 296)
(395 389)
(104 111)
(296 297)
(390 396)
(198 208)
(297 298)
(298 300)
(10 5)
(113 110)
(208 210)
(111 117)
(401 395)
(396 402)
(305 299)
(7 16)
(300 306)
(17 10)
(117 119)
(215 207)
(210 216)
(310 305)
(16 21)
(407 401)
(402 408)
(123 113)
(221 215)
(125 123)
(315 310)
(22 26)
(26 17)
(306 316)
(24 22)
(119 129)
(413 407)
(226 221)
(408 414)
(126 125)
(216 227)
(127 126)
(128 127)
(21 29)
(130 128)
(30 24)
(129 131)
(321 315)
(131 130)
(65 132)
(316 323)
(132 135)
(32 30)
(419 413)
(232 226)
(414 90)
(227 233)
(35 32)
(323 326)
(29 38)
(71 419)
(135 140)
(238 232)
(329 321)
(233 239)
(44 35)
(140 147)
(326 334)
(38 46)
(244 238)
(335 329)
(239 245)
(47 44)
(46 49)
(340 335)
(334 341)
(250 244)
(245 251)
(53 47)
(147 156)
(341 344)
(49 56)
(345 340)
(57 53)
(256 250)
(251 257)
(157 158)
(63 57)
(352 345)
(158 159)
(159 160)
(61 60)
(160 161)
(60 64)
(344 353)
(262 256)
(161 63)
(156 165)
(56 65)
(257 263)
(65 61)
(62 63)
(64 62)
(353 356)
(167 157)
(68 71)
(358 352)
(71 66)
(66 72)
(268 262)
(171 167)
(263 269)
(165 172)
(73 68)
(356 362)
(72 77)
(364 358)
(78 73)
(274 268)
(178 171)
(269 275)
(172 179)
(77 81)
(82 78)
(179 180)
(362 370)
(371 364)
(131 274)
(275 125)
(278 2)
(185 178)
(180 186)
(370 376)
(81 90)
(377 371)
(189 185)
(283 278)
(90 93)
(95 82)
(186 192)
(376 382)
(97 92)
(93 97)
(195 189)
(383 377)
(382 384)
(92 100)
(290 283)
(192 198)
(103 95)
(100 104)
)0()
1(refFine
2
500
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
))0()
