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