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