# data file for pack-rig.mod # Original AMPL coding by Sven Leyffer, University of Dundee param n := 32; # ... discretization (element/node table, conforming triangles) set elements := ( 1, 2, 34 ) ( 35, 34, 2 ) ( 2, 3, 35 ) ( 36, 35, 3 ) ( 3, 4, 36 ) ( 37, 36, 4 ) ( 4, 5, 37 ) ( 38, 37, 5 ) ( 5, 6, 38 ) ( 39, 38, 6 ) ( 6, 7, 39 ) ( 40, 39, 7 ) ( 7, 8, 40 ) ( 41, 40, 8 ) ( 8, 9, 41 ) ( 42, 41, 9 ) ( 9, 10, 42 ) ( 43, 42, 10 ) ( 10, 11, 43 ) ( 44, 43, 11 ) ( 11, 12, 44 ) ( 45, 44, 12 ) ( 12, 13, 45 ) ( 46, 45, 13 ) ( 13, 14, 46 ) ( 47, 46, 14 ) ( 14, 15, 47 ) ( 48, 47, 15 ) ( 15, 16, 48 ) ( 49, 48, 16 ) ( 16, 17, 49 ) ( 50, 49, 17 ) ( 17, 18, 50 ) ( 51, 50, 18 ) ( 18, 19, 51 ) ( 52, 51, 19 ) ( 19, 20, 52 ) ( 53, 52, 20 ) ( 20, 21, 53 ) ( 54, 53, 21 ) ( 21, 22, 54 ) ( 55, 54, 22 ) ( 22, 23, 55 ) ( 56, 55, 23 ) ( 23, 24, 56 ) ( 57, 56, 24 ) ( 24, 25, 57 ) ( 58, 57, 25 ) ( 25, 26, 58 ) ( 59, 58, 26 ) ( 26, 27, 59 ) ( 60, 59, 27 ) ( 27, 28, 60 ) ( 61, 60, 28 ) ( 28, 29, 61 ) ( 62, 61, 29 ) ( 29, 30, 62 ) ( 63, 62, 30 ) ( 30, 31, 63 ) ( 64, 63, 31 ) ( 31, 32, 64 ) ( 65, 64, 32 ) ( 32, 33, 65 ) ( 66, 65, 33 ) ( 34, 35, 67 ) ( 68, 67, 35 ) ( 35, 36, 68 ) ( 69, 68, 36 ) ( 36, 37, 69 ) ( 70, 69, 37 ) ( 37, 38, 70 ) ( 71, 70, 38 ) ( 38, 39, 71 ) ( 72, 71, 39 ) ( 39, 40, 72 ) ( 73, 72, 40 ) ( 40, 41, 73 ) ( 74, 73, 41 ) ( 41, 42, 74 ) ( 75, 74, 42 ) ( 42, 43, 75 ) ( 76, 75, 43 ) ( 43, 44, 76 ) ( 77, 76, 44 ) ( 44, 45, 77 ) ( 78, 77, 45 ) ( 45, 46, 78 ) ( 79, 78, 46 ) ( 46, 47, 79 ) ( 80, 79, 47 ) ( 47, 48, 80 ) ( 81, 80, 48 ) ( 48, 49, 81 ) ( 82, 81, 49 ) ( 49, 50, 82 ) ( 83, 82, 50 ) ( 50, 51, 83 ) ( 84, 83, 51 ) ( 51, 52, 84 ) ( 85, 84, 52 ) ( 52, 53, 85 ) ( 86, 85, 53 ) ( 53, 54, 86 ) ( 87, 86, 54 ) ( 54, 55, 87 ) ( 88, 87, 55 ) ( 55, 56, 88 ) ( 89, 88, 56 ) ( 56, 57, 89 ) ( 90, 89, 57 ) ( 57, 58, 90 ) ( 91, 90, 58 ) ( 58, 59, 91 ) ( 92, 91, 59 ) ( 59, 60, 92 ) ( 93, 92, 60 ) ( 60, 61, 93 ) ( 94, 93, 61 ) ( 61, 62, 94 ) ( 95, 94, 62 ) ( 62, 63, 95 ) ( 96, 95, 63 ) ( 63, 64, 96 ) ( 97, 96, 64 ) ( 64, 65, 97 ) ( 98, 97, 65 ) ( 65, 66, 98 ) ( 99, 98, 66 ) ( 67, 68, 100 ) ( 101, 100, 68 ) ( 68, 69, 101 ) ( 102, 101, 69 ) ( 69, 70, 102 ) ( 103, 102, 70 ) ( 70, 71, 103 ) ( 104, 103, 71 ) ( 71, 72, 104 ) ( 105, 104, 72 ) ( 72, 73, 105 ) ( 106, 105, 73 ) ( 73, 74, 106 ) ( 107, 106, 74 ) ( 74, 75, 107 ) ( 108, 107, 75 ) ( 75, 76, 108 ) ( 109, 108, 76 ) ( 76, 77, 109 ) ( 110, 109, 77 ) ( 77, 78, 110 ) ( 111, 110, 78 ) ( 78, 79, 111 ) ( 112, 111, 79 ) ( 79, 80, 112 ) ( 113, 112, 80 ) ( 80, 81, 113 ) ( 114, 113, 81 ) ( 81, 82, 114 ) ( 115, 114, 82 ) ( 82, 83, 115 ) ( 116, 115, 83 ) ( 83, 84, 116 ) ( 117, 116, 84 ) ( 84, 85, 117 ) ( 118, 117, 85 ) ( 85, 86, 118 ) ( 119, 118, 86 ) ( 86, 87, 119 ) ( 120, 119, 87 ) ( 87, 88, 120 ) ( 121, 120, 88 ) ( 88, 89, 121 ) ( 122, 121, 89 ) ( 89, 90, 122 ) ( 123, 122, 90 ) ( 90, 91, 123 ) ( 124, 123, 91 ) ( 91, 92, 124 ) ( 125, 124, 92 ) ( 92, 93, 125 ) ( 126, 125, 93 ) ( 93, 94, 126 ) ( 127, 126, 94 ) ( 94, 95, 127 ) ( 128, 127, 95 ) ( 95, 96, 128 ) ( 129, 128, 96 ) ( 96, 97, 129 ) ( 130, 129, 97 ) ( 97, 98, 130 ) ( 131, 130, 98 ) ( 98, 99, 131 ) ( 132, 131, 99 ) ( 100, 101, 133 ) ( 134, 133, 101 ) ( 101, 102, 134 ) ( 135, 134, 102 ) ( 102, 103, 135 ) ( 136, 135, 103 ) ( 103, 104, 136 ) ( 137, 136, 104 ) ( 104, 105, 137 ) ( 138, 137, 105 ) ( 105, 106, 138 ) ( 139, 138, 106 ) ( 106, 107, 139 ) ( 140, 139, 107 ) ( 107, 108, 140 ) ( 141, 140, 108 ) ( 108, 109, 141 ) ( 142, 141, 109 ) ( 109, 110, 142 ) ( 143, 142, 110 ) ( 110, 111, 143 ) ( 144, 143, 111 ) ( 111, 112, 144 ) ( 145, 144, 112 ) ( 112, 113, 145 ) ( 146, 145, 113 ) ( 113, 114, 146 ) ( 147, 146, 114 ) ( 114, 115, 147 ) ( 148, 147, 115 ) ( 115, 116, 148 ) ( 149, 148, 116 ) ( 116, 117, 149 ) ( 150, 149, 117 ) ( 117, 118, 150 ) ( 151, 150, 118 ) ( 118, 119, 151 ) ( 152, 151, 119 ) ( 119, 120, 152 ) ( 153, 152, 120 ) ( 120, 121, 153 ) ( 154, 153, 121 ) ( 121, 122, 154 ) ( 155, 154, 122 ) ( 122, 123, 155 ) ( 156, 155, 123 ) ( 123, 124, 156 ) ( 157, 156, 124 ) ( 124, 125, 157 ) ( 158, 157, 125 ) ( 125, 126, 158 ) ( 159, 158, 126 ) ( 126, 127, 159 ) ( 160, 159, 127 ) ( 127, 128, 160 ) ( 161, 160, 128 ) ( 128, 129, 161 ) ( 162, 161, 129 ) ( 129, 130, 162 ) ( 163, 162, 130 ) ( 130, 131, 163 ) ( 164, 163, 131 ) ( 131, 132, 164 ) ( 165, 164, 132 ) ( 133, 134, 166 ) ( 167, 166, 134 ) ( 134, 135, 167 ) ( 168, 167, 135 ) ( 135, 136, 168 ) ( 169, 168, 136 ) ( 136, 137, 169 ) ( 170, 169, 137 ) ( 137, 138, 170 ) ( 171, 170, 138 ) ( 138, 139, 171 ) ( 172, 171, 139 ) ( 139, 140, 172 ) ( 173, 172, 140 ) ( 140, 141, 173 ) ( 174, 173, 141 ) ( 141, 142, 174 ) ( 175, 174, 142 ) ( 142, 143, 175 ) ( 176, 175, 143 ) ( 143, 144, 176 ) ( 177, 176, 144 ) ( 144, 145, 177 ) ( 178, 177, 145 ) ( 145, 146, 178 ) ( 179, 178, 146 ) ( 146, 147, 179 ) ( 180, 179, 147 ) ( 147, 148, 180 ) ( 181, 180, 148 ) ( 148, 149, 181 ) ( 182, 181, 149 ) ( 149, 150, 182 ) ( 183, 182, 150 ) ( 150, 151, 183 ) ( 184, 183, 151 ) ( 151, 152, 184 ) ( 185, 184, 152 ) ( 152, 153, 185 ) ( 186, 185, 153 ) ( 153, 154, 186 ) ( 187, 186, 154 ) ( 154, 155, 187 ) ( 188, 187, 155 ) ( 155, 156, 188 ) ( 189, 188, 156 ) ( 156, 157, 189 ) ( 190, 189, 157 ) ( 157, 158, 190 ) ( 191, 190, 158 ) ( 158, 159, 191 ) ( 192, 191, 159 ) ( 159, 160, 192 ) ( 193, 192, 160 ) ( 160, 161, 193 ) ( 194, 193, 161 ) ( 161, 162, 194 ) ( 195, 194, 162 ) ( 162, 163, 195 ) ( 196, 195, 163 ) ( 163, 164, 196 ) ( 197, 196, 164 ) ( 164, 165, 197 ) ( 198, 197, 165 ) ( 166, 167, 199 ) ( 200, 199, 167 ) ( 167, 168, 200 ) ( 201, 200, 168 ) ( 168, 169, 201 ) ( 202, 201, 169 ) ( 169, 170, 202 ) ( 203, 202, 170 ) ( 170, 171, 203 ) ( 204, 203, 171 ) ( 171, 172, 204 ) ( 205, 204, 172 ) ( 172, 173, 205 ) ( 206, 205, 173 ) ( 173, 174, 206 ) ( 207, 206, 174 ) ( 174, 175, 207 ) ( 208, 207, 175 ) ( 175, 176, 208 ) ( 209, 208, 176 ) ( 176, 177, 209 ) ( 210, 209, 177 ) ( 177, 178, 210 ) ( 211, 210, 178 ) ( 178, 179, 211 ) ( 212, 211, 179 ) ( 179, 180, 212 ) ( 213, 212, 180 ) ( 180, 181, 213 ) ( 214, 213, 181 ) ( 181, 182, 214 ) ( 215, 214, 182 ) ( 182, 183, 215 ) ( 216, 215, 183 ) ( 183, 184, 216 ) ( 217, 216, 184 ) ( 184, 185, 217 ) ( 218, 217, 185 ) ( 185, 186, 218 ) ( 219, 218, 186 ) ( 186, 187, 219 ) ( 220, 219, 187 ) ( 187, 188, 220 ) ( 221, 220, 188 ) ( 188, 189, 221 ) ( 222, 221, 189 ) ( 189, 190, 222 ) ( 223, 222, 190 ) ( 190, 191, 223 ) ( 224, 223, 191 ) ( 191, 192, 224 ) ( 225, 224, 192 ) ( 192, 193, 225 ) ( 226, 225, 193 ) ( 193, 194, 226 ) ( 227, 226, 194 ) ( 194, 195, 227 ) ( 228, 227, 195 ) ( 195, 196, 228 ) ( 229, 228, 196 ) ( 196, 197, 229 ) ( 230, 229, 197 ) ( 197, 198, 230 ) ( 231, 230, 198 ) ( 199, 200, 232 ) ( 233, 232, 200 ) ( 200, 201, 233 ) ( 234, 233, 201 ) ( 201, 202, 234 ) ( 235, 234, 202 ) ( 202, 203, 235 ) ( 236, 235, 203 ) ( 203, 204, 236 ) ( 237, 236, 204 ) ( 204, 205, 237 ) ( 238, 237, 205 ) ( 205, 206, 238 ) ( 239, 238, 206 ) ( 206, 207, 239 ) ( 240, 239, 207 ) ( 207, 208, 240 ) ( 241, 240, 208 ) ( 208, 209, 241 ) ( 242, 241, 209 ) ( 209, 210, 242 ) ( 243, 242, 210 ) ( 210, 211, 243 ) ( 244, 243, 211 ) ( 211, 212, 244 ) ( 245, 244, 212 ) ( 212, 213, 245 ) ( 246, 245, 213 ) ( 213, 214, 246 ) ( 247, 246, 214 ) ( 214, 215, 247 ) ( 248, 247, 215 ) ( 215, 216, 248 ) ( 249, 248, 216 ) ( 216, 217, 249 ) ( 250, 249, 217 ) ( 217, 218, 250 ) ( 251, 250, 218 ) ( 218, 219, 251 ) ( 252, 251, 219 ) ( 219, 220, 252 ) ( 253, 252, 220 ) ( 220, 221, 253 ) ( 254, 253, 221 ) ( 221, 222, 254 ) ( 255, 254, 222 ) ( 222, 223, 255 ) ( 256, 255, 223 ) ( 223, 224, 256 ) ( 257, 256, 224 ) ( 224, 225, 257 ) ( 258, 257, 225 ) ( 225, 226, 258 ) ( 259, 258, 226 ) ( 226, 227, 259 ) ( 260, 259, 227 ) ( 227, 228, 260 ) ( 261, 260, 228 ) ( 228, 229, 261 ) ( 262, 261, 229 ) ( 229, 230, 262 ) ( 263, 262, 230 ) ( 230, 231, 263 ) ( 264, 263, 231 ) ( 232, 233, 265 ) ( 266, 265, 233 ) ( 233, 234, 266 ) ( 267, 266, 234 ) ( 234, 235, 267 ) ( 268, 267, 235 ) ( 235, 236, 268 ) ( 269, 268, 236 ) ( 236, 237, 269 ) ( 270, 269, 237 ) ( 237, 238, 270 ) ( 271, 270, 238 ) ( 238, 239, 271 ) ( 272, 271, 239 ) ( 239, 240, 272 ) ( 273, 272, 240 ) ( 240, 241, 273 ) ( 274, 273, 241 ) ( 241, 242, 274 ) ( 275, 274, 242 ) ( 242, 243, 275 ) ( 276, 275, 243 ) ( 243, 244, 276 ) ( 277, 276, 244 ) ( 244, 245, 277 ) ( 278, 277, 245 ) ( 245, 246, 278 ) ( 279, 278, 246 ) ( 246, 247, 279 ) ( 280, 279, 247 ) ( 247, 248, 280 ) ( 281, 280, 248 ) ( 248, 249, 281 ) ( 282, 281, 249 ) ( 249, 250, 282 ) ( 283, 282, 250 ) ( 250, 251, 283 ) ( 284, 283, 251 ) ( 251, 252, 284 ) ( 285, 284, 252 ) ( 252, 253, 285 ) ( 286, 285, 253 ) ( 253, 254, 286 ) ( 287, 286, 254 ) ( 254, 255, 287 ) ( 288, 287, 255 ) ( 255, 256, 288 ) ( 289, 288, 256 ) ( 256, 257, 289 ) ( 290, 289, 257 ) ( 257, 258, 290 ) ( 291, 290, 258 ) ( 258, 259, 291 ) ( 292, 291, 259 ) ( 259, 260, 292 ) ( 293, 292, 260 ) ( 260, 261, 293 ) ( 294, 293, 261 ) ( 261, 262, 294 ) ( 295, 294, 262 ) ( 262, 263, 295 ) ( 296, 295, 263 ) ( 263, 264, 296 ) ( 297, 296, 264 ) ( 265, 266, 298 ) ( 299, 298, 266 ) ( 266, 267, 299 ) ( 300, 299, 267 ) ( 267, 268, 300 ) ( 301, 300, 268 ) ( 268, 269, 301 ) ( 302, 301, 269 ) ( 269, 270, 302 ) ( 303, 302, 270 ) ( 270, 271, 303 ) ( 304, 303, 271 ) ( 271, 272, 304 ) ( 305, 304, 272 ) ( 272, 273, 305 ) ( 306, 305, 273 ) ( 273, 274, 306 ) ( 307, 306, 274 ) ( 274, 275, 307 ) ( 308, 307, 275 ) ( 275, 276, 308 ) ( 309, 308, 276 ) ( 276, 277, 309 ) ( 310, 309, 277 ) ( 277, 278, 310 ) ( 311, 310, 278 ) ( 278, 279, 311 ) ( 312, 311, 279 ) ( 279, 280, 312 ) ( 313, 312, 280 ) ( 280, 281, 313 ) ( 314, 313, 281 ) ( 281, 282, 314 ) ( 315, 314, 282 ) ( 282, 283, 315 ) ( 316, 315, 283 ) ( 283, 284, 316 ) ( 317, 316, 284 ) ( 284, 285, 317 ) ( 318, 317, 285 ) ( 285, 286, 318 ) ( 319, 318, 286 ) ( 286, 287, 319 ) ( 320, 319, 287 ) ( 287, 288, 320 ) ( 321, 320, 288 ) ( 288, 289, 321 ) ( 322, 321, 289 ) ( 289, 290, 322 ) ( 323, 322, 290 ) ( 290, 291, 323 ) ( 324, 323, 291 ) ( 291, 292, 324 ) ( 325, 324, 292 ) ( 292, 293, 325 ) ( 326, 325, 293 ) ( 293, 294, 326 ) ( 327, 326, 294 ) ( 294, 295, 327 ) ( 328, 327, 295 ) ( 295, 296, 328 ) ( 329, 328, 296 ) ( 296, 297, 329 ) ( 330, 329, 297 ) ( 298, 299, 331 ) ( 332, 331, 299 ) ( 299, 300, 332 ) ( 333, 332, 300 ) ( 300, 301, 333 ) ( 334, 333, 301 ) ( 301, 302, 334 ) ( 335, 334, 302 ) ( 302, 303, 335 ) ( 336, 335, 303 ) ( 303, 304, 336 ) ( 337, 336, 304 ) ( 304, 305, 337 ) ( 338, 337, 305 ) ( 305, 306, 338 ) ( 339, 338, 306 ) ( 306, 307, 339 ) ( 340, 339, 307 ) ( 307, 308, 340 ) ( 341, 340, 308 ) ( 308, 309, 341 ) ( 342, 341, 309 ) ( 309, 310, 342 ) ( 343, 342, 310 ) ( 310, 311, 343 ) ( 344, 343, 311 ) ( 311, 312, 344 ) ( 345, 344, 312 ) ( 312, 313, 345 ) ( 346, 345, 313 ) ( 313, 314, 346 ) ( 347, 346, 314 ) ( 314, 315, 347 ) ( 348, 347, 315 ) ( 315, 316, 348 ) ( 349, 348, 316 ) ( 316, 317, 349 ) ( 350, 349, 317 ) ( 317, 318, 350 ) ( 351, 350, 318 ) ( 318, 319, 351 ) ( 352, 351, 319 ) ( 319, 320, 352 ) ( 353, 352, 320 ) ( 320, 321, 353 ) ( 354, 353, 321 ) ( 321, 322, 354 ) ( 355, 354, 322 ) ( 322, 323, 355 ) ( 356, 355, 323 ) ( 323, 324, 356 ) ( 357, 356, 324 ) ( 324, 325, 357 ) ( 358, 357, 325 ) ( 325, 326, 358 ) ( 359, 358, 326 ) ( 326, 327, 359 ) ( 360, 359, 327 ) ( 327, 328, 360 ) ( 361, 360, 328 ) ( 328, 329, 361 ) ( 362, 361, 329 ) ( 329, 330, 362 ) ( 363, 362, 330 ) ( 331, 332, 364 ) ( 365, 364, 332 ) ( 332, 333, 365 ) ( 366, 365, 333 ) ( 333, 334, 366 ) ( 367, 366, 334 ) ( 334, 335, 367 ) ( 368, 367, 335 ) ( 335, 336, 368 ) ( 369, 368, 336 ) ( 336, 337, 369 ) ( 370, 369, 337 ) ( 337, 338, 370 ) ( 371, 370, 338 ) ( 338, 339, 371 ) ( 372, 371, 339 ) ( 339, 340, 372 ) ( 373, 372, 340 ) ( 340, 341, 373 ) ( 374, 373, 341 ) ( 341, 342, 374 ) ( 375, 374, 342 ) ( 342, 343, 375 ) ( 376, 375, 343 ) ( 343, 344, 376 ) ( 377, 376, 344 ) ( 344, 345, 377 ) ( 378, 377, 345 ) ( 345, 346, 378 ) ( 379, 378, 346 ) ( 346, 347, 379 ) ( 380, 379, 347 ) ( 347, 348, 380 ) ( 381, 380, 348 ) ( 348, 349, 381 ) ( 382, 381, 349 ) ( 349, 350, 382 ) ( 383, 382, 350 ) ( 350, 351, 383 ) ( 384, 383, 351 ) ( 351, 352, 384 ) ( 385, 384, 352 ) ( 352, 353, 385 ) ( 386, 385, 353 ) ( 353, 354, 386 ) ( 387, 386, 354 ) ( 354, 355, 387 ) ( 388, 387, 355 ) ( 355, 356, 388 ) ( 389, 388, 356 ) ( 356, 357, 389 ) ( 390, 389, 357 ) ( 357, 358, 390 ) ( 391, 390, 358 ) ( 358, 359, 391 ) ( 392, 391, 359 ) ( 359, 360, 392 ) ( 393, 392, 360 ) ( 360, 361, 393 ) ( 394, 393, 361 ) ( 361, 362, 394 ) ( 395, 394, 362 ) ( 362, 363, 395 ) ( 396, 395, 363 ) ( 364, 365, 397 ) ( 398, 397, 365 ) ( 365, 366, 398 ) ( 399, 398, 366 ) ( 366, 367, 399 ) ( 400, 399, 367 ) ( 367, 368, 400 ) ( 401, 400, 368 ) ( 368, 369, 401 ) ( 402, 401, 369 ) ( 369, 370, 402 ) ( 403, 402, 370 ) ( 370, 371, 403 ) ( 404, 403, 371 ) ( 371, 372, 404 ) ( 405, 404, 372 ) ( 372, 373, 405 ) ( 406, 405, 373 ) ( 373, 374, 406 ) ( 407, 406, 374 ) ( 374, 375, 407 ) ( 408, 407, 375 ) ( 375, 376, 408 ) ( 409, 408, 376 ) ( 376, 377, 409 ) ( 410, 409, 377 ) ( 377, 378, 410 ) ( 411, 410, 378 ) ( 378, 379, 411 ) ( 412, 411, 379 ) ( 379, 380, 412 ) ( 413, 412, 380 ) ( 380, 381, 413 ) ( 414, 413, 381 ) ( 381, 382, 414 ) ( 415, 414, 382 ) ( 382, 383, 415 ) ( 416, 415, 383 ) ( 383, 384, 416 ) ( 417, 416, 384 ) ( 384, 385, 417 ) ( 418, 417, 385 ) ( 385, 386, 418 ) ( 419, 418, 386 ) ( 386, 387, 419 ) ( 420, 419, 387 ) ( 387, 388, 420 ) ( 421, 420, 388 ) ( 388, 389, 421 ) ( 422, 421, 389 ) ( 389, 390, 422 ) ( 423, 422, 390 ) ( 390, 391, 423 ) ( 424, 423, 391 ) ( 391, 392, 424 ) ( 425, 424, 392 ) ( 392, 393, 425 ) ( 426, 425, 393 ) ( 393, 394, 426 ) ( 427, 426, 394 ) ( 394, 395, 427 ) ( 428, 427, 395 ) ( 395, 396, 428 ) ( 429, 428, 396 ) ( 397, 398, 430 ) ( 431, 430, 398 ) ( 398, 399, 431 ) ( 432, 431, 399 ) ( 399, 400, 432 ) ( 433, 432, 400 ) ( 400, 401, 433 ) ( 434, 433, 401 ) ( 401, 402, 434 ) ( 435, 434, 402 ) ( 402, 403, 435 ) ( 436, 435, 403 ) ( 403, 404, 436 ) ( 437, 436, 404 ) ( 404, 405, 437 ) ( 438, 437, 405 ) ( 405, 406, 438 ) ( 439, 438, 406 ) ( 406, 407, 439 ) ( 440, 439, 407 ) ( 407, 408, 440 ) ( 441, 440, 408 ) ( 408, 409, 441 ) ( 442, 441, 409 ) ( 409, 410, 442 ) ( 443, 442, 410 ) ( 410, 411, 443 ) ( 444, 443, 411 ) ( 411, 412, 444 ) ( 445, 444, 412 ) ( 412, 413, 445 ) ( 446, 445, 413 ) ( 413, 414, 446 ) ( 447, 446, 414 ) ( 414, 415, 447 ) ( 448, 447, 415 ) ( 415, 416, 448 ) ( 449, 448, 416 ) ( 416, 417, 449 ) ( 450, 449, 417 ) ( 417, 418, 450 ) ( 451, 450, 418 ) ( 418, 419, 451 ) ( 452, 451, 419 ) ( 419, 420, 452 ) ( 453, 452, 420 ) ( 420, 421, 453 ) ( 454, 453, 421 ) ( 421, 422, 454 ) ( 455, 454, 422 ) ( 422, 423, 455 ) ( 456, 455, 423 ) ( 423, 424, 456 ) ( 457, 456, 424 ) ( 424, 425, 457 ) ( 458, 457, 425 ) ( 425, 426, 458 ) ( 459, 458, 426 ) ( 426, 427, 459 ) ( 460, 459, 427 ) ( 427, 428, 460 ) ( 461, 460, 428 ) ( 428, 429, 461 ) ( 462, 461, 429 ) ( 430, 431, 463 ) ( 464, 463, 431 ) ( 431, 432, 464 ) ( 465, 464, 432 ) ( 432, 433, 465 ) ( 466, 465, 433 ) ( 433, 434, 466 ) ( 467, 466, 434 ) ( 434, 435, 467 ) ( 468, 467, 435 ) ( 435, 436, 468 ) ( 469, 468, 436 ) ( 436, 437, 469 ) ( 470, 469, 437 ) ( 437, 438, 470 ) ( 471, 470, 438 ) ( 438, 439, 471 ) ( 472, 471, 439 ) ( 439, 440, 472 ) ( 473, 472, 440 ) ( 440, 441, 473 ) ( 474, 473, 441 ) ( 441, 442, 474 ) ( 475, 474, 442 ) ( 442, 443, 475 ) ( 476, 475, 443 ) ( 443, 444, 476 ) ( 477, 476, 444 ) ( 444, 445, 477 ) ( 478, 477, 445 ) ( 445, 446, 478 ) ( 479, 478, 446 ) ( 446, 447, 479 ) ( 480, 479, 447 ) ( 447, 448, 480 ) ( 481, 480, 448 ) ( 448, 449, 481 ) ( 482, 481, 449 ) ( 449, 450, 482 ) ( 483, 482, 450 ) ( 450, 451, 483 ) ( 484, 483, 451 ) ( 451, 452, 484 ) ( 485, 484, 452 ) ( 452, 453, 485 ) ( 486, 485, 453 ) ( 453, 454, 486 ) ( 487, 486, 454 ) ( 454, 455, 487 ) ( 488, 487, 455 ) ( 455, 456, 488 ) ( 489, 488, 456 ) ( 456, 457, 489 ) ( 490, 489, 457 ) ( 457, 458, 490 ) ( 491, 490, 458 ) ( 458, 459, 491 ) ( 492, 491, 459 ) ( 459, 460, 492 ) ( 493, 492, 460 ) ( 460, 461, 493 ) ( 494, 493, 461 ) ( 461, 462, 494 ) ( 495, 494, 462 ) ( 463, 464, 496 ) ( 497, 496, 464 ) ( 464, 465, 497 ) ( 498, 497, 465 ) ( 465, 466, 498 ) ( 499, 498, 466 ) ( 466, 467, 499 ) ( 500, 499, 467 ) ( 467, 468, 500 ) ( 501, 500, 468 ) ( 468, 469, 501 ) ( 502, 501, 469 ) ( 469, 470, 502 ) ( 503, 502, 470 ) ( 470, 471, 503 ) ( 504, 503, 471 ) ( 471, 472, 504 ) ( 505, 504, 472 ) ( 472, 473, 505 ) ( 506, 505, 473 ) ( 473, 474, 506 ) ( 507, 506, 474 ) ( 474, 475, 507 ) ( 508, 507, 475 ) ( 475, 476, 508 ) ( 509, 508, 476 ) ( 476, 477, 509 ) ( 510, 509, 477 ) ( 477, 478, 510 ) ( 511, 510, 478 ) ( 478, 479, 511 ) ( 512, 511, 479 ) ( 479, 480, 512 ) ( 513, 512, 480 ) ( 480, 481, 513 ) ( 514, 513, 481 ) ( 481, 482, 514 ) ( 515, 514, 482 ) ( 482, 483, 515 ) ( 516, 515, 483 ) ( 483, 484, 516 ) ( 517, 516, 484 ) ( 484, 485, 517 ) ( 518, 517, 485 ) ( 485, 486, 518 ) ( 519, 518, 486 ) ( 486, 487, 519 ) ( 520, 519, 487 ) ( 487, 488, 520 ) ( 521, 520, 488 ) ( 488, 489, 521 ) ( 522, 521, 489 ) ( 489, 490, 522 ) ( 523, 522, 490 ) ( 490, 491, 523 ) ( 524, 523, 491 ) ( 491, 492, 524 ) ( 525, 524, 492 ) ( 492, 493, 525 ) ( 526, 525, 493 ) ( 493, 494, 526 ) ( 527, 526, 494 ) ( 494, 495, 527 ) ( 528, 527, 495 ) ( 496, 497, 529 ) ( 530, 529, 497 ) ( 497, 498, 530 ) ( 531, 530, 498 ) ( 498, 499, 531 ) ( 532, 531, 499 ) ( 499, 500, 532 ) ( 533, 532, 500 ) ( 500, 501, 533 ) ( 534, 533, 501 ) ( 501, 502, 534 ) ( 535, 534, 502 ) ( 502, 503, 535 ) ( 536, 535, 503 ) ( 503, 504, 536 ) ( 537, 536, 504 ) ( 504, 505, 537 ) ( 538, 537, 505 ) ( 505, 506, 538 ) ( 539, 538, 506 ) ( 506, 507, 539 ) ( 540, 539, 507 ) ( 507, 508, 540 ) ( 541, 540, 508 ) ( 508, 509, 541 ) ( 542, 541, 509 ) ( 509, 510, 542 ) ( 543, 542, 510 ) ( 510, 511, 543 ) ( 544, 543, 511 ) ( 511, 512, 544 ) ( 545, 544, 512 ) ( 512, 513, 545 ) ( 546, 545, 513 ) ( 513, 514, 546 ) ( 547, 546, 514 ) ( 514, 515, 547 ) ( 548, 547, 515 ) ( 515, 516, 548 ) ( 549, 548, 516 ) ( 516, 517, 549 ) ( 550, 549, 517 ) ( 517, 518, 550 ) ( 551, 550, 518 ) ( 518, 519, 551 ) ( 552, 551, 519 ) ( 519, 520, 552 ) ( 553, 552, 520 ) ( 520, 521, 553 ) ( 554, 553, 521 ) ( 521, 522, 554 ) ( 555, 554, 522 ) ( 522, 523, 555 ) ( 556, 555, 523 ) ( 523, 524, 556 ) ( 557, 556, 524 ) ( 524, 525, 557 ) ( 558, 557, 525 ) ( 525, 526, 558 ) ( 559, 558, 526 ) ( 526, 527, 559 ) ( 560, 559, 527 ) ( 527, 528, 560 ) ( 561, 560, 528 ) ( 529, 530, 562 ) ( 563, 562, 530 ) ( 530, 531, 563 ) ( 564, 563, 531 ) ( 531, 532, 564 ) ( 565, 564, 532 ) ( 532, 533, 565 ) ( 566, 565, 533 ) ( 533, 534, 566 ) ( 567, 566, 534 ) ( 534, 535, 567 ) ( 568, 567, 535 ) ( 535, 536, 568 ) ( 569, 568, 536 ) ( 536, 537, 569 ) ( 570, 569, 537 ) ( 537, 538, 570 ) ( 571, 570, 538 ) ( 538, 539, 571 ) ( 572, 571, 539 ) ( 539, 540, 572 ) ( 573, 572, 540 ) ( 540, 541, 573 ) ( 574, 573, 541 ) ( 541, 542, 574 ) ( 575, 574, 542 ) ( 542, 543, 575 ) ( 576, 575, 543 ) ( 543, 544, 576 ) ( 577, 576, 544 ) ( 544, 545, 577 ) ( 578, 577, 545 ) ( 545, 546, 578 ) ( 579, 578, 546 ) ( 546, 547, 579 ) ( 580, 579, 547 ) ( 547, 548, 580 ) ( 581, 580, 548 ) ( 548, 549, 581 ) ( 582, 581, 549 ) ( 549, 550, 582 ) ( 583, 582, 550 ) ( 550, 551, 583 ) ( 584, 583, 551 ) ( 551, 552, 584 ) ( 585, 584, 552 ) ( 552, 553, 585 ) ( 586, 585, 553 ) ( 553, 554, 586 ) ( 587, 586, 554 ) ( 554, 555, 587 ) ( 588, 587, 555 ) ( 555, 556, 588 ) ( 589, 588, 556 ) ( 556, 557, 589 ) ( 590, 589, 557 ) ( 557, 558, 590 ) ( 591, 590, 558 ) ( 558, 559, 591 ) ( 592, 591, 559 ) ( 559, 560, 592 ) ( 593, 592, 560 ) ( 560, 561, 593 ) ( 594, 593, 561 ) ( 562, 563, 595 ) ( 596, 595, 563 ) ( 563, 564, 596 ) ( 597, 596, 564 ) ( 564, 565, 597 ) ( 598, 597, 565 ) ( 565, 566, 598 ) ( 599, 598, 566 ) ( 566, 567, 599 ) ( 600, 599, 567 ) ( 567, 568, 600 ) ( 601, 600, 568 ) ( 568, 569, 601 ) ( 602, 601, 569 ) ( 569, 570, 602 ) ( 603, 602, 570 ) ( 570, 571, 603 ) ( 604, 603, 571 ) ( 571, 572, 604 ) ( 605, 604, 572 ) ( 572, 573, 605 ) ( 606, 605, 573 ) ( 573, 574, 606 ) ( 607, 606, 574 ) ( 574, 575, 607 ) ( 608, 607, 575 ) ( 575, 576, 608 ) ( 609, 608, 576 ) ( 576, 577, 609 ) ( 610, 609, 577 ) ( 577, 578, 610 ) ( 611, 610, 578 ) ( 578, 579, 611 ) ( 612, 611, 579 ) ( 579, 580, 612 ) ( 613, 612, 580 ) ( 580, 581, 613 ) ( 614, 613, 581 ) ( 581, 582, 614 ) ( 615, 614, 582 ) ( 582, 583, 615 ) ( 616, 615, 583 ) ( 583, 584, 616 ) ( 617, 616, 584 ) ( 584, 585, 617 ) ( 618, 617, 585 ) ( 585, 586, 618 ) ( 619, 618, 586 ) ( 586, 587, 619 ) ( 620, 619, 587 ) ( 587, 588, 620 ) ( 621, 620, 588 ) ( 588, 589, 621 ) ( 622, 621, 589 ) ( 589, 590, 622 ) ( 623, 622, 590 ) ( 590, 591, 623 ) ( 624, 623, 591 ) ( 591, 592, 624 ) ( 625, 624, 592 ) ( 592, 593, 625 ) ( 626, 625, 593 ) ( 593, 594, 626 ) ( 627, 626, 594 ) ( 595, 596, 628 ) ( 629, 628, 596 ) ( 596, 597, 629 ) ( 630, 629, 597 ) ( 597, 598, 630 ) ( 631, 630, 598 ) ( 598, 599, 631 ) ( 632, 631, 599 ) ( 599, 600, 632 ) ( 633, 632, 600 ) ( 600, 601, 633 ) ( 634, 633, 601 ) ( 601, 602, 634 ) ( 635, 634, 602 ) ( 602, 603, 635 ) ( 636, 635, 603 ) ( 603, 604, 636 ) ( 637, 636, 604 ) ( 604, 605, 637 ) ( 638, 637, 605 ) ( 605, 606, 638 ) ( 639, 638, 606 ) ( 606, 607, 639 ) ( 640, 639, 607 ) ( 607, 608, 640 ) ( 641, 640, 608 ) ( 608, 609, 641 ) ( 642, 641, 609 ) ( 609, 610, 642 ) ( 643, 642, 610 ) ( 610, 611, 643 ) ( 644, 643, 611 ) ( 611, 612, 644 ) ( 645, 644, 612 ) ( 612, 613, 645 ) ( 646, 645, 613 ) ( 613, 614, 646 ) ( 647, 646, 614 ) ( 614, 615, 647 ) ( 648, 647, 615 ) ( 615, 616, 648 ) ( 649, 648, 616 ) ( 616, 617, 649 ) ( 650, 649, 617 ) ( 617, 618, 650 ) ( 651, 650, 618 ) ( 618, 619, 651 ) ( 652, 651, 619 ) ( 619, 620, 652 ) ( 653, 652, 620 ) ( 620, 621, 653 ) ( 654, 653, 621 ) ( 621, 622, 654 ) ( 655, 654, 622 ) ( 622, 623, 655 ) ( 656, 655, 623 ) ( 623, 624, 656 ) ( 657, 656, 624 ) ( 624, 625, 657 ) ( 658, 657, 625 ) ( 625, 626, 658 ) ( 659, 658, 626 ) ( 626, 627, 659 ) ( 660, 659, 627 ) ( 628, 629, 661 ) ( 662, 661, 629 ) ( 629, 630, 662 ) ( 663, 662, 630 ) ( 630, 631, 663 ) ( 664, 663, 631 ) ( 631, 632, 664 ) ( 665, 664, 632 ) ( 632, 633, 665 ) ( 666, 665, 633 ) ( 633, 634, 666 ) ( 667, 666, 634 ) ( 634, 635, 667 ) ( 668, 667, 635 ) ( 635, 636, 668 ) ( 669, 668, 636 ) ( 636, 637, 669 ) ( 670, 669, 637 ) ( 637, 638, 670 ) ( 671, 670, 638 ) ( 638, 639, 671 ) ( 672, 671, 639 ) ( 639, 640, 672 ) ( 673, 672, 640 ) ( 640, 641, 673 ) ( 674, 673, 641 ) ( 641, 642, 674 ) ( 675, 674, 642 ) ( 642, 643, 675 ) ( 676, 675, 643 ) ( 643, 644, 676 ) ( 677, 676, 644 ) ( 644, 645, 677 ) ( 678, 677, 645 ) ( 645, 646, 678 ) ( 679, 678, 646 ) ( 646, 647, 679 ) ( 680, 679, 647 ) ( 647, 648, 680 ) ( 681, 680, 648 ) ( 648, 649, 681 ) ( 682, 681, 649 ) ( 649, 650, 682 ) ( 683, 682, 650 ) ( 650, 651, 683 ) ( 684, 683, 651 ) ( 651, 652, 684 ) ( 685, 684, 652 ) ( 652, 653, 685 ) ( 686, 685, 653 ) ( 653, 654, 686 ) ( 687, 686, 654 ) ( 654, 655, 687 ) ( 688, 687, 655 ) ( 655, 656, 688 ) ( 689, 688, 656 ) ( 656, 657, 689 ) ( 690, 689, 657 ) ( 657, 658, 690 ) ( 691, 690, 658 ) ( 658, 659, 691 ) ( 692, 691, 659 ) ( 659, 660, 692 ) ( 693, 692, 660 ) ( 661, 662, 694 ) ( 695, 694, 662 ) ( 662, 663, 695 ) ( 696, 695, 663 ) ( 663, 664, 696 ) ( 697, 696, 664 ) ( 664, 665, 697 ) ( 698, 697, 665 ) ( 665, 666, 698 ) ( 699, 698, 666 ) ( 666, 667, 699 ) ( 700, 699, 667 ) ( 667, 668, 700 ) ( 701, 700, 668 ) ( 668, 669, 701 ) ( 702, 701, 669 ) ( 669, 670, 702 ) ( 703, 702, 670 ) ( 670, 671, 703 ) ( 704, 703, 671 ) ( 671, 672, 704 ) ( 705, 704, 672 ) ( 672, 673, 705 ) ( 706, 705, 673 ) ( 673, 674, 706 ) ( 707, 706, 674 ) ( 674, 675, 707 ) ( 708, 707, 675 ) ( 675, 676, 708 ) ( 709, 708, 676 ) ( 676, 677, 709 ) ( 710, 709, 677 ) ( 677, 678, 710 ) ( 711, 710, 678 ) ( 678, 679, 711 ) ( 712, 711, 679 ) ( 679, 680, 712 ) ( 713, 712, 680 ) ( 680, 681, 713 ) ( 714, 713, 681 ) ( 681, 682, 714 ) ( 715, 714, 682 ) ( 682, 683, 715 ) ( 716, 715, 683 ) ( 683, 684, 716 ) ( 717, 716, 684 ) ( 684, 685, 717 ) ( 718, 717, 685 ) ( 685, 686, 718 ) ( 719, 718, 686 ) ( 686, 687, 719 ) ( 720, 719, 687 ) ( 687, 688, 720 ) ( 721, 720, 688 ) ( 688, 689, 721 ) ( 722, 721, 689 ) ( 689, 690, 722 ) ( 723, 722, 690 ) ( 690, 691, 723 ) ( 724, 723, 691 ) ( 691, 692, 724 ) ( 725, 724, 692 ) ( 692, 693, 725 ) ( 726, 725, 693 ) ( 694, 695, 727 ) ( 728, 727, 695 ) ( 695, 696, 728 ) ( 729, 728, 696 ) ( 696, 697, 729 ) ( 730, 729, 697 ) ( 697, 698, 730 ) ( 731, 730, 698 ) ( 698, 699, 731 ) ( 732, 731, 699 ) ( 699, 700, 732 ) ( 733, 732, 700 ) ( 700, 701, 733 ) ( 734, 733, 701 ) ( 701, 702, 734 ) ( 735, 734, 702 ) ( 702, 703, 735 ) ( 736, 735, 703 ) ( 703, 704, 736 ) ( 737, 736, 704 ) ( 704, 705, 737 ) ( 738, 737, 705 ) ( 705, 706, 738 ) ( 739, 738, 706 ) ( 706, 707, 739 ) ( 740, 739, 707 ) ( 707, 708, 740 ) ( 741, 740, 708 ) ( 708, 709, 741 ) ( 742, 741, 709 ) ( 709, 710, 742 ) ( 743, 742, 710 ) ( 710, 711, 743 ) ( 744, 743, 711 ) ( 711, 712, 744 ) ( 745, 744, 712 ) ( 712, 713, 745 ) ( 746, 745, 713 ) ( 713, 714, 746 ) ( 747, 746, 714 ) ( 714, 715, 747 ) ( 748, 747, 715 ) ( 715, 716, 748 ) ( 749, 748, 716 ) ( 716, 717, 749 ) ( 750, 749, 717 ) ( 717, 718, 750 ) ( 751, 750, 718 ) ( 718, 719, 751 ) ( 752, 751, 719 ) ( 719, 720, 752 ) ( 753, 752, 720 ) ( 720, 721, 753 ) ( 754, 753, 721 ) ( 721, 722, 754 ) ( 755, 754, 722 ) ( 722, 723, 755 ) ( 756, 755, 723 ) ( 723, 724, 756 ) ( 757, 756, 724 ) ( 724, 725, 757 ) ( 758, 757, 725 ) ( 725, 726, 758 ) ( 759, 758, 726 ) ( 727, 728, 760 ) ( 761, 760, 728 ) ( 728, 729, 761 ) ( 762, 761, 729 ) ( 729, 730, 762 ) ( 763, 762, 730 ) ( 730, 731, 763 ) ( 764, 763, 731 ) ( 731, 732, 764 ) ( 765, 764, 732 ) ( 732, 733, 765 ) ( 766, 765, 733 ) ( 733, 734, 766 ) ( 767, 766, 734 ) ( 734, 735, 767 ) ( 768, 767, 735 ) ( 735, 736, 768 ) ( 769, 768, 736 ) ( 736, 737, 769 ) ( 770, 769, 737 ) ( 737, 738, 770 ) ( 771, 770, 738 ) ( 738, 739, 771 ) ( 772, 771, 739 ) ( 739, 740, 772 ) ( 773, 772, 740 ) ( 740, 741, 773 ) ( 774, 773, 741 ) ( 741, 742, 774 ) ( 775, 774, 742 ) ( 742, 743, 775 ) ( 776, 775, 743 ) ( 743, 744, 776 ) ( 777, 776, 744 ) ( 744, 745, 777 ) ( 778, 777, 745 ) ( 745, 746, 778 ) ( 779, 778, 746 ) ( 746, 747, 779 ) ( 780, 779, 747 ) ( 747, 748, 780 ) ( 781, 780, 748 ) ( 748, 749, 781 ) ( 782, 781, 749 ) ( 749, 750, 782 ) ( 783, 782, 750 ) ( 750, 751, 783 ) ( 784, 783, 751 ) ( 751, 752, 784 ) ( 785, 784, 752 ) ( 752, 753, 785 ) ( 786, 785, 753 ) ( 753, 754, 786 ) ( 787, 786, 754 ) ( 754, 755, 787 ) ( 788, 787, 755 ) ( 755, 756, 788 ) ( 789, 788, 756 ) ( 756, 757, 789 ) ( 790, 789, 757 ) ( 757, 758, 790 ) ( 791, 790, 758 ) ( 758, 759, 791 ) ( 792, 791, 759 ) ( 760, 761, 793 ) ( 794, 793, 761 ) ( 761, 762, 794 ) ( 795, 794, 762 ) ( 762, 763, 795 ) ( 796, 795, 763 ) ( 763, 764, 796 ) ( 797, 796, 764 ) ( 764, 765, 797 ) ( 798, 797, 765 ) ( 765, 766, 798 ) ( 799, 798, 766 ) ( 766, 767, 799 ) ( 800, 799, 767 ) ( 767, 768, 800 ) ( 801, 800, 768 ) ( 768, 769, 801 ) ( 802, 801, 769 ) ( 769, 770, 802 ) ( 803, 802, 770 ) ( 770, 771, 803 ) ( 804, 803, 771 ) ( 771, 772, 804 ) ( 805, 804, 772 ) ( 772, 773, 805 ) ( 806, 805, 773 ) ( 773, 774, 806 ) ( 807, 806, 774 ) ( 774, 775, 807 ) ( 808, 807, 775 ) ( 775, 776, 808 ) ( 809, 808, 776 ) ( 776, 777, 809 ) ( 810, 809, 777 ) ( 777, 778, 810 ) ( 811, 810, 778 ) ( 778, 779, 811 ) ( 812, 811, 779 ) ( 779, 780, 812 ) ( 813, 812, 780 ) ( 780, 781, 813 ) ( 814, 813, 781 ) ( 781, 782, 814 ) ( 815, 814, 782 ) ( 782, 783, 815 ) ( 816, 815, 783 ) ( 783, 784, 816 ) ( 817, 816, 784 ) ( 784, 785, 817 ) ( 818, 817, 785 ) ( 785, 786, 818 ) ( 819, 818, 786 ) ( 786, 787, 819 ) ( 820, 819, 787 ) ( 787, 788, 820 ) ( 821, 820, 788 ) ( 788, 789, 821 ) ( 822, 821, 789 ) ( 789, 790, 822 ) ( 823, 822, 790 ) ( 790, 791, 823 ) ( 824, 823, 791 ) ( 791, 792, 824 ) ( 825, 824, 792 ) ( 793, 794, 826 ) ( 827, 826, 794 ) ( 794, 795, 827 ) ( 828, 827, 795 ) ( 795, 796, 828 ) ( 829, 828, 796 ) ( 796, 797, 829 ) ( 830, 829, 797 ) ( 797, 798, 830 ) ( 831, 830, 798 ) ( 798, 799, 831 ) ( 832, 831, 799 ) ( 799, 800, 832 ) ( 833, 832, 800 ) ( 800, 801, 833 ) ( 834, 833, 801 ) ( 801, 802, 834 ) ( 835, 834, 802 ) ( 802, 803, 835 ) ( 836, 835, 803 ) ( 803, 804, 836 ) ( 837, 836, 804 ) ( 804, 805, 837 ) ( 838, 837, 805 ) ( 805, 806, 838 ) ( 839, 838, 806 ) ( 806, 807, 839 ) ( 840, 839, 807 ) ( 807, 808, 840 ) ( 841, 840, 808 ) ( 808, 809, 841 ) ( 842, 841, 809 ) ( 809, 810, 842 ) ( 843, 842, 810 ) ( 810, 811, 843 ) ( 844, 843, 811 ) ( 811, 812, 844 ) ( 845, 844, 812 ) ( 812, 813, 845 ) ( 846, 845, 813 ) ( 813, 814, 846 ) ( 847, 846, 814 ) ( 814, 815, 847 ) ( 848, 847, 815 ) ( 815, 816, 848 ) ( 849, 848, 816 ) ( 816, 817, 849 ) ( 850, 849, 817 ) ( 817, 818, 850 ) ( 851, 850, 818 ) ( 818, 819, 851 ) ( 852, 851, 819 ) ( 819, 820, 852 ) ( 853, 852, 820 ) ( 820, 821, 853 ) ( 854, 853, 821 ) ( 821, 822, 854 ) ( 855, 854, 822 ) ( 822, 823, 855 ) ( 856, 855, 823 ) ( 823, 824, 856 ) ( 857, 856, 824 ) ( 824, 825, 857 ) ( 858, 857, 825 ) ( 826, 827, 859 ) ( 860, 859, 827 ) ( 827, 828, 860 ) ( 861, 860, 828 ) ( 828, 829, 861 ) ( 862, 861, 829 ) ( 829, 830, 862 ) ( 863, 862, 830 ) ( 830, 831, 863 ) ( 864, 863, 831 ) ( 831, 832, 864 ) ( 865, 864, 832 ) ( 832, 833, 865 ) ( 866, 865, 833 ) ( 833, 834, 866 ) ( 867, 866, 834 ) ( 834, 835, 867 ) ( 868, 867, 835 ) ( 835, 836, 868 ) ( 869, 868, 836 ) ( 836, 837, 869 ) ( 870, 869, 837 ) ( 837, 838, 870 ) ( 871, 870, 838 ) ( 838, 839, 871 ) ( 872, 871, 839 ) ( 839, 840, 872 ) ( 873, 872, 840 ) ( 840, 841, 873 ) ( 874, 873, 841 ) ( 841, 842, 874 ) ( 875, 874, 842 ) ( 842, 843, 875 ) ( 876, 875, 843 ) ( 843, 844, 876 ) ( 877, 876, 844 ) ( 844, 845, 877 ) ( 878, 877, 845 ) ( 845, 846, 878 ) ( 879, 878, 846 ) ( 846, 847, 879 ) ( 880, 879, 847 ) ( 847, 848, 880 ) ( 881, 880, 848 ) ( 848, 849, 881 ) ( 882, 881, 849 ) ( 849, 850, 882 ) ( 883, 882, 850 ) ( 850, 851, 883 ) ( 884, 883, 851 ) ( 851, 852, 884 ) ( 885, 884, 852 ) ( 852, 853, 885 ) ( 886, 885, 853 ) ( 853, 854, 886 ) ( 887, 886, 854 ) ( 854, 855, 887 ) ( 888, 887, 855 ) ( 855, 856, 888 ) ( 889, 888, 856 ) ( 856, 857, 889 ) ( 890, 889, 857 ) ( 857, 858, 890 ) ( 891, 890, 858 ) ( 859, 860, 892 ) ( 893, 892, 860 ) ( 860, 861, 893 ) ( 894, 893, 861 ) ( 861, 862, 894 ) ( 895, 894, 862 ) ( 862, 863, 895 ) ( 896, 895, 863 ) ( 863, 864, 896 ) ( 897, 896, 864 ) ( 864, 865, 897 ) ( 898, 897, 865 ) ( 865, 866, 898 ) ( 899, 898, 866 ) ( 866, 867, 899 ) ( 900, 899, 867 ) ( 867, 868, 900 ) ( 901, 900, 868 ) ( 868, 869, 901 ) ( 902, 901, 869 ) ( 869, 870, 902 ) ( 903, 902, 870 ) ( 870, 871, 903 ) ( 904, 903, 871 ) ( 871, 872, 904 ) ( 905, 904, 872 ) ( 872, 873, 905 ) ( 906, 905, 873 ) ( 873, 874, 906 ) ( 907, 906, 874 ) ( 874, 875, 907 ) ( 908, 907, 875 ) ( 875, 876, 908 ) ( 909, 908, 876 ) ( 876, 877, 909 ) ( 910, 909, 877 ) ( 877, 878, 910 ) ( 911, 910, 878 ) ( 878, 879, 911 ) ( 912, 911, 879 ) ( 879, 880, 912 ) ( 913, 912, 880 ) ( 880, 881, 913 ) ( 914, 913, 881 ) ( 881, 882, 914 ) ( 915, 914, 882 ) ( 882, 883, 915 ) ( 916, 915, 883 ) ( 883, 884, 916 ) ( 917, 916, 884 ) ( 884, 885, 917 ) ( 918, 917, 885 ) ( 885, 886, 918 ) ( 919, 918, 886 ) ( 886, 887, 919 ) ( 920, 919, 887 ) ( 887, 888, 920 ) ( 921, 920, 888 ) ( 888, 889, 921 ) ( 922, 921, 889 ) ( 889, 890, 922 ) ( 923, 922, 890 ) ( 890, 891, 923 ) ( 924, 923, 891 ) ( 892, 893, 925 ) ( 926, 925, 893 ) ( 893, 894, 926 ) ( 927, 926, 894 ) ( 894, 895, 927 ) ( 928, 927, 895 ) ( 895, 896, 928 ) ( 929, 928, 896 ) ( 896, 897, 929 ) ( 930, 929, 897 ) ( 897, 898, 930 ) ( 931, 930, 898 ) ( 898, 899, 931 ) ( 932, 931, 899 ) ( 899, 900, 932 ) ( 933, 932, 900 ) ( 900, 901, 933 ) ( 934, 933, 901 ) ( 901, 902, 934 ) ( 935, 934, 902 ) ( 902, 903, 935 ) ( 936, 935, 903 ) ( 903, 904, 936 ) ( 937, 936, 904 ) ( 904, 905, 937 ) ( 938, 937, 905 ) ( 905, 906, 938 ) ( 939, 938, 906 ) ( 906, 907, 939 ) ( 940, 939, 907 ) ( 907, 908, 940 ) ( 941, 940, 908 ) ( 908, 909, 941 ) ( 942, 941, 909 ) ( 909, 910, 942 ) ( 943, 942, 910 ) ( 910, 911, 943 ) ( 944, 943, 911 ) ( 911, 912, 944 ) ( 945, 944, 912 ) ( 912, 913, 945 ) ( 946, 945, 913 ) ( 913, 914, 946 ) ( 947, 946, 914 ) ( 914, 915, 947 ) ( 948, 947, 915 ) ( 915, 916, 948 ) ( 949, 948, 916 ) ( 916, 917, 949 ) ( 950, 949, 917 ) ( 917, 918, 950 ) ( 951, 950, 918 ) ( 918, 919, 951 ) ( 952, 951, 919 ) ( 919, 920, 952 ) ( 953, 952, 920 ) ( 920, 921, 953 ) ( 954, 953, 921 ) ( 921, 922, 954 ) ( 955, 954, 922 ) ( 922, 923, 955 ) ( 956, 955, 923 ) ( 923, 924, 956 ) ( 957, 956, 924 ) ( 925, 926, 958 ) ( 959, 958, 926 ) ( 926, 927, 959 ) ( 960, 959, 927 ) ( 927, 928, 960 ) ( 961, 960, 928 ) ( 928, 929, 961 ) ( 962, 961, 929 ) ( 929, 930, 962 ) ( 963, 962, 930 ) ( 930, 931, 963 ) ( 964, 963, 931 ) ( 931, 932, 964 ) ( 965, 964, 932 ) ( 932, 933, 965 ) ( 966, 965, 933 ) ( 933, 934, 966 ) ( 967, 966, 934 ) ( 934, 935, 967 ) ( 968, 967, 935 ) ( 935, 936, 968 ) ( 969, 968, 936 ) ( 936, 937, 969 ) ( 970, 969, 937 ) ( 937, 938, 970 ) ( 971, 970, 938 ) ( 938, 939, 971 ) ( 972, 971, 939 ) ( 939, 940, 972 ) ( 973, 972, 940 ) ( 940, 941, 973 ) ( 974, 973, 941 ) ( 941, 942, 974 ) ( 975, 974, 942 ) ( 942, 943, 975 ) ( 976, 975, 943 ) ( 943, 944, 976 ) ( 977, 976, 944 ) ( 944, 945, 977 ) ( 978, 977, 945 ) ( 945, 946, 978 ) ( 979, 978, 946 ) ( 946, 947, 979 ) ( 980, 979, 947 ) ( 947, 948, 980 ) ( 981, 980, 948 ) ( 948, 949, 981 ) ( 982, 981, 949 ) ( 949, 950, 982 ) ( 983, 982, 950 ) ( 950, 951, 983 ) ( 984, 983, 951 ) ( 951, 952, 984 ) ( 985, 984, 952 ) ( 952, 953, 985 ) ( 986, 985, 953 ) ( 953, 954, 986 ) ( 987, 986, 954 ) ( 954, 955, 987 ) ( 988, 987, 955 ) ( 955, 956, 988 ) ( 989, 988, 956 ) ( 956, 957, 989 ) ( 990, 989, 957 ) ( 958, 959, 991 ) ( 992, 991, 959 ) ( 959, 960, 992 ) ( 993, 992, 960 ) ( 960, 961, 993 ) ( 994, 993, 961 ) ( 961, 962, 994 ) ( 995, 994, 962 ) ( 962, 963, 995 ) ( 996, 995, 963 ) ( 963, 964, 996 ) ( 997, 996, 964 ) ( 964, 965, 997 ) ( 998, 997, 965 ) ( 965, 966, 998 ) ( 999, 998, 966 ) ( 966, 967, 999 ) ( 1000, 999, 967 ) ( 967, 968, 1000 ) ( 1001, 1000, 968 ) ( 968, 969, 1001 ) ( 1002, 1001, 969 ) ( 969, 970, 1002 ) ( 1003, 1002, 970 ) ( 970, 971, 1003 ) ( 1004, 1003, 971 ) ( 971, 972, 1004 ) ( 1005, 1004, 972 ) ( 972, 973, 1005 ) ( 1006, 1005, 973 ) ( 973, 974, 1006 ) ( 1007, 1006, 974 ) ( 974, 975, 1007 ) ( 1008, 1007, 975 ) ( 975, 976, 1008 ) ( 1009, 1008, 976 ) ( 976, 977, 1009 ) ( 1010, 1009, 977 ) ( 977, 978, 1010 ) ( 1011, 1010, 978 ) ( 978, 979, 1011 ) ( 1012, 1011, 979 ) ( 979, 980, 1012 ) ( 1013, 1012, 980 ) ( 980, 981, 1013 ) ( 1014, 1013, 981 ) ( 981, 982, 1014 ) ( 1015, 1014, 982 ) ( 982, 983, 1015 ) ( 1016, 1015, 983 ) ( 983, 984, 1016 ) ( 1017, 1016, 984 ) ( 984, 985, 1017 ) ( 1018, 1017, 985 ) ( 985, 986, 1018 ) ( 1019, 1018, 986 ) ( 986, 987, 1019 ) ( 1020, 1019, 987 ) ( 987, 988, 1020 ) ( 1021, 1020, 988 ) ( 988, 989, 1021 ) ( 1022, 1021, 989 ) ( 989, 990, 1022 ) ( 1023, 1022, 990 ) ( 991, 992, 1024 ) ( 1025, 1024, 992 ) ( 992, 993, 1025 ) ( 1026, 1025, 993 ) ( 993, 994, 1026 ) ( 1027, 1026, 994 ) ( 994, 995, 1027 ) ( 1028, 1027, 995 ) ( 995, 996, 1028 ) ( 1029, 1028, 996 ) ( 996, 997, 1029 ) ( 1030, 1029, 997 ) ( 997, 998, 1030 ) ( 1031, 1030, 998 ) ( 998, 999, 1031 ) ( 1032, 1031, 999 ) ( 999, 1000, 1032 ) ( 1033, 1032, 1000 ) ( 1000, 1001, 1033 ) ( 1034, 1033, 1001 ) ( 1001, 1002, 1034 ) ( 1035, 1034, 1002 ) ( 1002, 1003, 1035 ) ( 1036, 1035, 1003 ) ( 1003, 1004, 1036 ) ( 1037, 1036, 1004 ) ( 1004, 1005, 1037 ) ( 1038, 1037, 1005 ) ( 1005, 1006, 1038 ) ( 1039, 1038, 1006 ) ( 1006, 1007, 1039 ) ( 1040, 1039, 1007 ) ( 1007, 1008, 1040 ) ( 1041, 1040, 1008 ) ( 1008, 1009, 1041 ) ( 1042, 1041, 1009 ) ( 1009, 1010, 1042 ) ( 1043, 1042, 1010 ) ( 1010, 1011, 1043 ) ( 1044, 1043, 1011 ) ( 1011, 1012, 1044 ) ( 1045, 1044, 1012 ) ( 1012, 1013, 1045 ) ( 1046, 1045, 1013 ) ( 1013, 1014, 1046 ) ( 1047, 1046, 1014 ) ( 1014, 1015, 1047 ) ( 1048, 1047, 1015 ) ( 1015, 1016, 1048 ) ( 1049, 1048, 1016 ) ( 1016, 1017, 1049 ) ( 1050, 1049, 1017 ) ( 1017, 1018, 1050 ) ( 1051, 1050, 1018 ) ( 1018, 1019, 1051 ) ( 1052, 1051, 1019 ) ( 1019, 1020, 1052 ) ( 1053, 1052, 1020 ) ( 1020, 1021, 1053 ) ( 1054, 1053, 1021 ) ( 1021, 1022, 1054 ) ( 1055, 1054, 1022 ) ( 1022, 1023, 1055 ) ( 1056, 1055, 1023 ) ( 1024, 1025, 1057 ) ( 1058, 1057, 1025 ) ( 1025, 1026, 1058 ) ( 1059, 1058, 1026 ) ( 1026, 1027, 1059 ) ( 1060, 1059, 1027 ) ( 1027, 1028, 1060 ) ( 1061, 1060, 1028 ) ( 1028, 1029, 1061 ) ( 1062, 1061, 1029 ) ( 1029, 1030, 1062 ) ( 1063, 1062, 1030 ) ( 1030, 1031, 1063 ) ( 1064, 1063, 1031 ) ( 1031, 1032, 1064 ) ( 1065, 1064, 1032 ) ( 1032, 1033, 1065 ) ( 1066, 1065, 1033 ) ( 1033, 1034, 1066 ) ( 1067, 1066, 1034 ) ( 1034, 1035, 1067 ) ( 1068, 1067, 1035 ) ( 1035, 1036, 1068 ) ( 1069, 1068, 1036 ) ( 1036, 1037, 1069 ) ( 1070, 1069, 1037 ) ( 1037, 1038, 1070 ) ( 1071, 1070, 1038 ) ( 1038, 1039, 1071 ) ( 1072, 1071, 1039 ) ( 1039, 1040, 1072 ) ( 1073, 1072, 1040 ) ( 1040, 1041, 1073 ) ( 1074, 1073, 1041 ) ( 1041, 1042, 1074 ) ( 1075, 1074, 1042 ) ( 1042, 1043, 1075 ) ( 1076, 1075, 1043 ) ( 1043, 1044, 1076 ) ( 1077, 1076, 1044 ) ( 1044, 1045, 1077 ) ( 1078, 1077, 1045 ) ( 1045, 1046, 1078 ) ( 1079, 1078, 1046 ) ( 1046, 1047, 1079 ) ( 1080, 1079, 1047 ) ( 1047, 1048, 1080 ) ( 1081, 1080, 1048 ) ( 1048, 1049, 1081 ) ( 1082, 1081, 1049 ) ( 1049, 1050, 1082 ) ( 1083, 1082, 1050 ) ( 1050, 1051, 1083 ) ( 1084, 1083, 1051 ) ( 1051, 1052, 1084 ) ( 1085, 1084, 1052 ) ( 1052, 1053, 1085 ) ( 1086, 1085, 1053 ) ( 1053, 1054, 1086 ) ( 1087, 1086, 1054 ) ( 1054, 1055, 1087 ) ( 1088, 1087, 1055 ) ( 1055, 1056, 1088 ) ( 1089, 1088, 1056 ) ; # ... i-j coordinates (i=0 => x=0, i=n => x=1 etc) param: i_ref, j_ref := 1 0 0 2 1 0 3 2 0 4 3 0 5 4 0 6 5 0 7 6 0 8 7 0 9 8 0 10 9 0 11 10 0 12 11 0 13 12 0 14 13 0 15 14 0 16 15 0 17 16 0 18 17 0 19 18 0 20 19 0 21 20 0 22 21 0 23 22 0 24 23 0 25 24 0 26 25 0 27 26 0 28 27 0 29 28 0 30 29 0 31 30 0 32 31 0 33 32 0 34 0 1 35 1 1 36 2 1 37 3 1 38 4 1 39 5 1 40 6 1 41 7 1 42 8 1 43 9 1 44 10 1 45 11 1 46 12 1 47 13 1 48 14 1 49 15 1 50 16 1 51 17 1 52 18 1 53 19 1 54 20 1 55 21 1 56 22 1 57 23 1 58 24 1 59 25 1 60 26 1 61 27 1 62 28 1 63 29 1 64 30 1 65 31 1 66 32 1 67 0 2 68 1 2 69 2 2 70 3 2 71 4 2 72 5 2 73 6 2 74 7 2 75 8 2 76 9 2 77 10 2 78 11 2 79 12 2 80 13 2 81 14 2 82 15 2 83 16 2 84 17 2 85 18 2 86 19 2 87 20 2 88 21 2 89 22 2 90 23 2 91 24 2 92 25 2 93 26 2 94 27 2 95 28 2 96 29 2 97 30 2 98 31 2 99 32 2 100 0 3 101 1 3 102 2 3 103 3 3 104 4 3 105 5 3 106 6 3 107 7 3 108 8 3 109 9 3 110 10 3 111 11 3 112 12 3 113 13 3 114 14 3 115 15 3 116 16 3 117 17 3 118 18 3 119 19 3 120 20 3 121 21 3 122 22 3 123 23 3 124 24 3 125 25 3 126 26 3 127 27 3 128 28 3 129 29 3 130 30 3 131 31 3 132 32 3 133 0 4 134 1 4 135 2 4 136 3 4 137 4 4 138 5 4 139 6 4 140 7 4 141 8 4 142 9 4 143 10 4 144 11 4 145 12 4 146 13 4 147 14 4 148 15 4 149 16 4 150 17 4 151 18 4 152 19 4 153 20 4 154 21 4 155 22 4 156 23 4 157 24 4 158 25 4 159 26 4 160 27 4 161 28 4 162 29 4 163 30 4 164 31 4 165 32 4 166 0 5 167 1 5 168 2 5 169 3 5 170 4 5 171 5 5 172 6 5 173 7 5 174 8 5 175 9 5 176 10 5 177 11 5 178 12 5 179 13 5 180 14 5 181 15 5 182 16 5 183 17 5 184 18 5 185 19 5 186 20 5 187 21 5 188 22 5 189 23 5 190 24 5 191 25 5 192 26 5 193 27 5 194 28 5 195 29 5 196 30 5 197 31 5 198 32 5 199 0 6 200 1 6 201 2 6 202 3 6 203 4 6 204 5 6 205 6 6 206 7 6 207 8 6 208 9 6 209 10 6 210 11 6 211 12 6 212 13 6 213 14 6 214 15 6 215 16 6 216 17 6 217 18 6 218 19 6 219 20 6 220 21 6 221 22 6 222 23 6 223 24 6 224 25 6 225 26 6 226 27 6 227 28 6 228 29 6 229 30 6 230 31 6 231 32 6 232 0 7 233 1 7 234 2 7 235 3 7 236 4 7 237 5 7 238 6 7 239 7 7 240 8 7 241 9 7 242 10 7 243 11 7 244 12 7 245 13 7 246 14 7 247 15 7 248 16 7 249 17 7 250 18 7 251 19 7 252 20 7 253 21 7 254 22 7 255 23 7 256 24 7 257 25 7 258 26 7 259 27 7 260 28 7 261 29 7 262 30 7 263 31 7 264 32 7 265 0 8 266 1 8 267 2 8 268 3 8 269 4 8 270 5 8 271 6 8 272 7 8 273 8 8 274 9 8 275 10 8 276 11 8 277 12 8 278 13 8 279 14 8 280 15 8 281 16 8 282 17 8 283 18 8 284 19 8 285 20 8 286 21 8 287 22 8 288 23 8 289 24 8 290 25 8 291 26 8 292 27 8 293 28 8 294 29 8 295 30 8 296 31 8 297 32 8 298 0 9 299 1 9 300 2 9 301 3 9 302 4 9 303 5 9 304 6 9 305 7 9 306 8 9 307 9 9 308 10 9 309 11 9 310 12 9 311 13 9 312 14 9 313 15 9 314 16 9 315 17 9 316 18 9 317 19 9 318 20 9 319 21 9 320 22 9 321 23 9 322 24 9 323 25 9 324 26 9 325 27 9 326 28 9 327 29 9 328 30 9 329 31 9 330 32 9 331 0 10 332 1 10 333 2 10 334 3 10 335 4 10 336 5 10 337 6 10 338 7 10 339 8 10 340 9 10 341 10 10 342 11 10 343 12 10 344 13 10 345 14 10 346 15 10 347 16 10 348 17 10 349 18 10 350 19 10 351 20 10 352 21 10 353 22 10 354 23 10 355 24 10 356 25 10 357 26 10 358 27 10 359 28 10 360 29 10 361 30 10 362 31 10 363 32 10 364 0 11 365 1 11 366 2 11 367 3 11 368 4 11 369 5 11 370 6 11 371 7 11 372 8 11 373 9 11 374 10 11 375 11 11 376 12 11 377 13 11 378 14 11 379 15 11 380 16 11 381 17 11 382 18 11 383 19 11 384 20 11 385 21 11 386 22 11 387 23 11 388 24 11 389 25 11 390 26 11 391 27 11 392 28 11 393 29 11 394 30 11 395 31 11 396 32 11 397 0 12 398 1 12 399 2 12 400 3 12 401 4 12 402 5 12 403 6 12 404 7 12 405 8 12 406 9 12 407 10 12 408 11 12 409 12 12 410 13 12 411 14 12 412 15 12 413 16 12 414 17 12 415 18 12 416 19 12 417 20 12 418 21 12 419 22 12 420 23 12 421 24 12 422 25 12 423 26 12 424 27 12 425 28 12 426 29 12 427 30 12 428 31 12 429 32 12 430 0 13 431 1 13 432 2 13 433 3 13 434 4 13 435 5 13 436 6 13 437 7 13 438 8 13 439 9 13 440 10 13 441 11 13 442 12 13 443 13 13 444 14 13 445 15 13 446 16 13 447 17 13 448 18 13 449 19 13 450 20 13 451 21 13 452 22 13 453 23 13 454 24 13 455 25 13 456 26 13 457 27 13 458 28 13 459 29 13 460 30 13 461 31 13 462 32 13 463 0 14 464 1 14 465 2 14 466 3 14 467 4 14 468 5 14 469 6 14 470 7 14 471 8 14 472 9 14 473 10 14 474 11 14 475 12 14 476 13 14 477 14 14 478 15 14 479 16 14 480 17 14 481 18 14 482 19 14 483 20 14 484 21 14 485 22 14 486 23 14 487 24 14 488 25 14 489 26 14 490 27 14 491 28 14 492 29 14 493 30 14 494 31 14 495 32 14 496 0 15 497 1 15 498 2 15 499 3 15 500 4 15 501 5 15 502 6 15 503 7 15 504 8 15 505 9 15 506 10 15 507 11 15 508 12 15 509 13 15 510 14 15 511 15 15 512 16 15 513 17 15 514 18 15 515 19 15 516 20 15 517 21 15 518 22 15 519 23 15 520 24 15 521 25 15 522 26 15 523 27 15 524 28 15 525 29 15 526 30 15 527 31 15 528 32 15 529 0 16 530 1 16 531 2 16 532 3 16 533 4 16 534 5 16 535 6 16 536 7 16 537 8 16 538 9 16 539 10 16 540 11 16 541 12 16 542 13 16 543 14 16 544 15 16 545 16 16 546 17 16 547 18 16 548 19 16 549 20 16 550 21 16 551 22 16 552 23 16 553 24 16 554 25 16 555 26 16 556 27 16 557 28 16 558 29 16 559 30 16 560 31 16 561 32 16 562 0 17 563 1 17 564 2 17 565 3 17 566 4 17 567 5 17 568 6 17 569 7 17 570 8 17 571 9 17 572 10 17 573 11 17 574 12 17 575 13 17 576 14 17 577 15 17 578 16 17 579 17 17 580 18 17 581 19 17 582 20 17 583 21 17 584 22 17 585 23 17 586 24 17 587 25 17 588 26 17 589 27 17 590 28 17 591 29 17 592 30 17 593 31 17 594 32 17 595 0 18 596 1 18 597 2 18 598 3 18 599 4 18 600 5 18 601 6 18 602 7 18 603 8 18 604 9 18 605 10 18 606 11 18 607 12 18 608 13 18 609 14 18 610 15 18 611 16 18 612 17 18 613 18 18 614 19 18 615 20 18 616 21 18 617 22 18 618 23 18 619 24 18 620 25 18 621 26 18 622 27 18 623 28 18 624 29 18 625 30 18 626 31 18 627 32 18 628 0 19 629 1 19 630 2 19 631 3 19 632 4 19 633 5 19 634 6 19 635 7 19 636 8 19 637 9 19 638 10 19 639 11 19 640 12 19 641 13 19 642 14 19 643 15 19 644 16 19 645 17 19 646 18 19 647 19 19 648 20 19 649 21 19 650 22 19 651 23 19 652 24 19 653 25 19 654 26 19 655 27 19 656 28 19 657 29 19 658 30 19 659 31 19 660 32 19 661 0 20 662 1 20 663 2 20 664 3 20 665 4 20 666 5 20 667 6 20 668 7 20 669 8 20 670 9 20 671 10 20 672 11 20 673 12 20 674 13 20 675 14 20 676 15 20 677 16 20 678 17 20 679 18 20 680 19 20 681 20 20 682 21 20 683 22 20 684 23 20 685 24 20 686 25 20 687 26 20 688 27 20 689 28 20 690 29 20 691 30 20 692 31 20 693 32 20 694 0 21 695 1 21 696 2 21 697 3 21 698 4 21 699 5 21 700 6 21 701 7 21 702 8 21 703 9 21 704 10 21 705 11 21 706 12 21 707 13 21 708 14 21 709 15 21 710 16 21 711 17 21 712 18 21 713 19 21 714 20 21 715 21 21 716 22 21 717 23 21 718 24 21 719 25 21 720 26 21 721 27 21 722 28 21 723 29 21 724 30 21 725 31 21 726 32 21 727 0 22 728 1 22 729 2 22 730 3 22 731 4 22 732 5 22 733 6 22 734 7 22 735 8 22 736 9 22 737 10 22 738 11 22 739 12 22 740 13 22 741 14 22 742 15 22 743 16 22 744 17 22 745 18 22 746 19 22 747 20 22 748 21 22 749 22 22 750 23 22 751 24 22 752 25 22 753 26 22 754 27 22 755 28 22 756 29 22 757 30 22 758 31 22 759 32 22 760 0 23 761 1 23 762 2 23 763 3 23 764 4 23 765 5 23 766 6 23 767 7 23 768 8 23 769 9 23 770 10 23 771 11 23 772 12 23 773 13 23 774 14 23 775 15 23 776 16 23 777 17 23 778 18 23 779 19 23 780 20 23 781 21 23 782 22 23 783 23 23 784 24 23 785 25 23 786 26 23 787 27 23 788 28 23 789 29 23 790 30 23 791 31 23 792 32 23 793 0 24 794 1 24 795 2 24 796 3 24 797 4 24 798 5 24 799 6 24 800 7 24 801 8 24 802 9 24 803 10 24 804 11 24 805 12 24 806 13 24 807 14 24 808 15 24 809 16 24 810 17 24 811 18 24 812 19 24 813 20 24 814 21 24 815 22 24 816 23 24 817 24 24 818 25 24 819 26 24 820 27 24 821 28 24 822 29 24 823 30 24 824 31 24 825 32 24 826 0 25 827 1 25 828 2 25 829 3 25 830 4 25 831 5 25 832 6 25 833 7 25 834 8 25 835 9 25 836 10 25 837 11 25 838 12 25 839 13 25 840 14 25 841 15 25 842 16 25 843 17 25 844 18 25 845 19 25 846 20 25 847 21 25 848 22 25 849 23 25 850 24 25 851 25 25 852 26 25 853 27 25 854 28 25 855 29 25 856 30 25 857 31 25 858 32 25 859 0 26 860 1 26 861 2 26 862 3 26 863 4 26 864 5 26 865 6 26 866 7 26 867 8 26 868 9 26 869 10 26 870 11 26 871 12 26 872 13 26 873 14 26 874 15 26 875 16 26 876 17 26 877 18 26 878 19 26 879 20 26 880 21 26 881 22 26 882 23 26 883 24 26 884 25 26 885 26 26 886 27 26 887 28 26 888 29 26 889 30 26 890 31 26 891 32 26 892 0 27 893 1 27 894 2 27 895 3 27 896 4 27 897 5 27 898 6 27 899 7 27 900 8 27 901 9 27 902 10 27 903 11 27 904 12 27 905 13 27 906 14 27 907 15 27 908 16 27 909 17 27 910 18 27 911 19 27 912 20 27 913 21 27 914 22 27 915 23 27 916 24 27 917 25 27 918 26 27 919 27 27 920 28 27 921 29 27 922 30 27 923 31 27 924 32 27 925 0 28 926 1 28 927 2 28 928 3 28 929 4 28 930 5 28 931 6 28 932 7 28 933 8 28 934 9 28 935 10 28 936 11 28 937 12 28 938 13 28 939 14 28 940 15 28 941 16 28 942 17 28 943 18 28 944 19 28 945 20 28 946 21 28 947 22 28 948 23 28 949 24 28 950 25 28 951 26 28 952 27 28 953 28 28 954 29 28 955 30 28 956 31 28 957 32 28 958 0 29 959 1 29 960 2 29 961 3 29 962 4 29 963 5 29 964 6 29 965 7 29 966 8 29 967 9 29 968 10 29 969 11 29 970 12 29 971 13 29 972 14 29 973 15 29 974 16 29 975 17 29 976 18 29 977 19 29 978 20 29 979 21 29 980 22 29 981 23 29 982 24 29 983 25 29 984 26 29 985 27 29 986 28 29 987 29 29 988 30 29 989 31 29 990 32 29 991 0 30 992 1 30 993 2 30 994 3 30 995 4 30 996 5 30 997 6 30 998 7 30 999 8 30 1000 9 30 1001 10 30 1002 11 30 1003 12 30 1004 13 30 1005 14 30 1006 15 30 1007 16 30 1008 17 30 1009 18 30 1010 19 30 1011 20 30 1012 21 30 1013 22 30 1014 23 30 1015 24 30 1016 25 30 1017 26 30 1018 27 30 1019 28 30 1020 29 30 1021 30 30 1022 31 30 1023 32 30 1024 0 31 1025 1 31 1026 2 31 1027 3 31 1028 4 31 1029 5 31 1030 6 31 1031 7 31 1032 8 31 1033 9 31 1034 10 31 1035 11 31 1036 12 31 1037 13 31 1038 14 31 1039 15 31 1040 16 31 1041 17 31 1042 18 31 1043 19 31 1044 20 31 1045 21 31 1046 22 31 1047 23 31 1048 24 31 1049 25 31 1050 26 31 1051 27 31 1052 28 31 1053 29 31 1054 30 31 1055 31 31 1056 32 31 1057 0 32 1058 1 32 1059 2 32 1060 3 32 1061 4 32 1062 5 32 1063 6 32 1064 7 32 1065 8 32 1066 9 32 1067 10 32 1068 11 32 1069 12 32 1070 13 32 1071 14 32 1072 15 32 1073 16 32 1074 17 32 1075 18 32 1076 19 32 1077 20 32 1078 21 32 1079 22 32 1080 23 32 1081 24 32 1082 25 32 1083 26 32 1084 27 32 1085 28 32 1086 29 32 1087 30 32 1088 31 32 1089 32 32; # ... boundary nodes set bnd_nodes := 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 66, 99, 132, 165, 198, 231, 264, 297, 330, 363, 396, 429, 462, 495, 528, 561, 594, 627, 660, 693, 726, 759, 792, 825, 858, 891, 924, 957, 990,1023,1056, 34, 67, 100, 133, 166, 199, 232, 265, 298, 331, 364, 397, 430, 463, 496, 529, 562, 595, 628, 661, 694, 727, 760, 793, 826, 859, 892, 925, 958, 991,1024,1057,1089,1088, 1087,1086,1085,1084,1083,1082,1081,1080,1079,1078,1077,1076,1075,1074, 1073,1072,1071,1070,1069,1068,1067,1066,1065,1064,1063,1062,1061,1060, 1059,1058; # ... boundary conditions let{i in bnd_nodes} u0[i] := 0.0; # ... region, where membrane is fixed to obstacle (in interior) let Omega0 := { }; for {k in int_nodes} if (n<=4*i_ref[k])&&(4*i_ref[k]<=2*n)&& (n<=4*j_ref[k])&&(4*j_ref[k]<=3*n) then { let Omega0 := Omega0 union { k } }; # ... set fixed nodes let fix_nodes := { }; for {k in nodes} if i_ref[k]<=n/2 then { let fix_nodes := fix_nodes union { k } };