#
#**************************
# SET UP THE INITIAL DATA *
#**************************
#   Problem :
#   *********
#   A nonconvex unconstrained function with a unique minimum value.
#   SIF input: Nick Gould, April 1996
#   classification OUR2-AN-V-0
#   The number of variables
#IE N                   10
#IE N                   100
#IE N                   10000
#  Other useful values.
#  Objective function groups:
#  the i-th square and cosine elements have nonzeros in positions 
#  i, mod( 2i - 1, n ) + 1 and mod( 3i - 1, n ) + 1
# n positive rank-one terms
#   Solution
#LO SOLUTION            2.3168084D+1   $ (n=10)
#LO SOLUTION            2.3992406D+2   $ (n=100)
#LO SOLUTION            2.3564870D+3   $ (n=1000)
	param n := 1000;
	param ri := 1000;

	var x1 := 1.0;
	var x2 := 2.0;
	var x3 := 3.0;
	var x4 := 4.0;
	var x5 := 5.0;
	var x6 := 6.0;
	var x7 := 7.0;
	var x8 := 8.0;
	var x9 := 9.0;
	var x10 := 10.0;
	var x11 := 11.0;
	var x12 := 12.0;
	var x13 := 13.0;
	var x14 := 14.0;
	var x15 := 15.0;
	var x16 := 16.0;
	var x17 := 17.0;
	var x18 := 18.0;
	var x19 := 19.0;
	var x20 := 20.0;
	var x21 := 21.0;
	var x22 := 22.0;
	var x23 := 23.0;
	var x24 := 24.0;
	var x25 := 25.0;
	var x26 := 26.0;
	var x27 := 27.0;
	var x28 := 28.0;
	var x29 := 29.0;
	var x30 := 30.0;
	var x31 := 31.0;
	var x32 := 32.0;
	var x33 := 33.0;
	var x34 := 34.0;
	var x35 := 35.0;
	var x36 := 36.0;
	var x37 := 37.0;
	var x38 := 38.0;
	var x39 := 39.0;
	var x40 := 40.0;
	var x41 := 41.0;
	var x42 := 42.0;
	var x43 := 43.0;
	var x44 := 44.0;
	var x45 := 45.0;
	var x46 := 46.0;
	var x47 := 47.0;
	var x48 := 48.0;
	var x49 := 49.0;
	var x50 := 50.0;
	var x51 := 51.0;
	var x52 := 52.0;
	var x53 := 53.0;
	var x54 := 54.0;
	var x55 := 55.0;
	var x56 := 56.0;
	var x57 := 57.0;
	var x58 := 58.0;
	var x59 := 59.0;
	var x60 := 60.0;
	var x61 := 61.0;
	var x62 := 62.0;
	var x63 := 63.0;
	var x64 := 64.0;
	var x65 := 65.0;
	var x66 := 66.0;
	var x67 := 67.0;
	var x68 := 68.0;
	var x69 := 69.0;
	var x70 := 70.0;
	var x71 := 71.0;
	var x72 := 72.0;
	var x73 := 73.0;
	var x74 := 74.0;
	var x75 := 75.0;
	var x76 := 76.0;
	var x77 := 77.0;
	var x78 := 78.0;
	var x79 := 79.0;
	var x80 := 80.0;
	var x81 := 81.0;
	var x82 := 82.0;
	var x83 := 83.0;
	var x84 := 84.0;
	var x85 := 85.0;
	var x86 := 86.0;
	var x87 := 87.0;
	var x88 := 88.0;
	var x89 := 89.0;
	var x90 := 90.0;
	var x91 := 91.0;
	var x92 := 92.0;
	var x93 := 93.0;
	var x94 := 94.0;
	var x95 := 95.0;
	var x96 := 96.0;
	var x97 := 97.0;
	var x98 := 98.0;
	var x99 := 99.0;
	var x100 := 100.0;
	var x101 := 101.0;
	var x102 := 102.0;
	var x103 := 103.0;
	var x104 := 104.0;
	var x105 := 105.0;
	var x106 := 106.0;
	var x107 := 107.0;
	var x108 := 108.0;
	var x109 := 109.0;
	var x110 := 110.0;
	var x111 := 111.0;
	var x112 := 112.0;
	var x113 := 113.0;
	var x114 := 114.0;
	var x115 := 115.0;
	var x116 := 116.0;
	var x117 := 117.0;
	var x118 := 118.0;
	var x119 := 119.0;
	var x120 := 120.0;
	var x121 := 121.0;
	var x122 := 122.0;
	var x123 := 123.0;
	var x124 := 124.0;
	var x125 := 125.0;
	var x126 := 126.0;
	var x127 := 127.0;
	var x128 := 128.0;
	var x129 := 129.0;
	var x130 := 130.0;
	var x131 := 131.0;
	var x132 := 132.0;
	var x133 := 133.0;
	var x134 := 134.0;
	var x135 := 135.0;
	var x136 := 136.0;
	var x137 := 137.0;
	var x138 := 138.0;
	var x139 := 139.0;
	var x140 := 140.0;
	var x141 := 141.0;
	var x142 := 142.0;
	var x143 := 143.0;
	var x144 := 144.0;
	var x145 := 145.0;
	var x146 := 146.0;
	var x147 := 147.0;
	var x148 := 148.0;
	var x149 := 149.0;
	var x150 := 150.0;
	var x151 := 151.0;
	var x152 := 152.0;
	var x153 := 153.0;
	var x154 := 154.0;
	var x155 := 155.0;
	var x156 := 156.0;
	var x157 := 157.0;
	var x158 := 158.0;
	var x159 := 159.0;
	var x160 := 160.0;
	var x161 := 161.0;
	var x162 := 162.0;
	var x163 := 163.0;
	var x164 := 164.0;
	var x165 := 165.0;
	var x166 := 166.0;
	var x167 := 167.0;
	var x168 := 168.0;
	var x169 := 169.0;
	var x170 := 170.0;
	var x171 := 171.0;
	var x172 := 172.0;
	var x173 := 173.0;
	var x174 := 174.0;
	var x175 := 175.0;
	var x176 := 176.0;
	var x177 := 177.0;
	var x178 := 178.0;
	var x179 := 179.0;
	var x180 := 180.0;
	var x181 := 181.0;
	var x182 := 182.0;
	var x183 := 183.0;
	var x184 := 184.0;
	var x185 := 185.0;
	var x186 := 186.0;
	var x187 := 187.0;
	var x188 := 188.0;
	var x189 := 189.0;
	var x190 := 190.0;
	var x191 := 191.0;
	var x192 := 192.0;
	var x193 := 193.0;
	var x194 := 194.0;
	var x195 := 195.0;
	var x196 := 196.0;
	var x197 := 197.0;
	var x198 := 198.0;
	var x199 := 199.0;
	var x200 := 200.0;
	var x201 := 201.0;
	var x202 := 202.0;
	var x203 := 203.0;
	var x204 := 204.0;
	var x205 := 205.0;
	var x206 := 206.0;
	var x207 := 207.0;
	var x208 := 208.0;
	var x209 := 209.0;
	var x210 := 210.0;
	var x211 := 211.0;
	var x212 := 212.0;
	var x213 := 213.0;
	var x214 := 214.0;
	var x215 := 215.0;
	var x216 := 216.0;
	var x217 := 217.0;
	var x218 := 218.0;
	var x219 := 219.0;
	var x220 := 220.0;
	var x221 := 221.0;
	var x222 := 222.0;
	var x223 := 223.0;
	var x224 := 224.0;
	var x225 := 225.0;
	var x226 := 226.0;
	var x227 := 227.0;
	var x228 := 228.0;
	var x229 := 229.0;
	var x230 := 230.0;
	var x231 := 231.0;
	var x232 := 232.0;
	var x233 := 233.0;
	var x234 := 234.0;
	var x235 := 235.0;
	var x236 := 236.0;
	var x237 := 237.0;
	var x238 := 238.0;
	var x239 := 239.0;
	var x240 := 240.0;
	var x241 := 241.0;
	var x242 := 242.0;
	var x243 := 243.0;
	var x244 := 244.0;
	var x245 := 245.0;
	var x246 := 246.0;
	var x247 := 247.0;
	var x248 := 248.0;
	var x249 := 249.0;
	var x250 := 250.0;
	var x251 := 251.0;
	var x252 := 252.0;
	var x253 := 253.0;
	var x254 := 254.0;
	var x255 := 255.0;
	var x256 := 256.0;
	var x257 := 257.0;
	var x258 := 258.0;
	var x259 := 259.0;
	var x260 := 260.0;
	var x261 := 261.0;
	var x262 := 262.0;
	var x263 := 263.0;
	var x264 := 264.0;
	var x265 := 265.0;
	var x266 := 266.0;
	var x267 := 267.0;
	var x268 := 268.0;
	var x269 := 269.0;
	var x270 := 270.0;
	var x271 := 271.0;
	var x272 := 272.0;
	var x273 := 273.0;
	var x274 := 274.0;
	var x275 := 275.0;
	var x276 := 276.0;
	var x277 := 277.0;
	var x278 := 278.0;
	var x279 := 279.0;
	var x280 := 280.0;
	var x281 := 281.0;
	var x282 := 282.0;
	var x283 := 283.0;
	var x284 := 284.0;
	var x285 := 285.0;
	var x286 := 286.0;
	var x287 := 287.0;
	var x288 := 288.0;
	var x289 := 289.0;
	var x290 := 290.0;
	var x291 := 291.0;
	var x292 := 292.0;
	var x293 := 293.0;
	var x294 := 294.0;
	var x295 := 295.0;
	var x296 := 296.0;
	var x297 := 297.0;
	var x298 := 298.0;
	var x299 := 299.0;
	var x300 := 300.0;
	var x301 := 301.0;
	var x302 := 302.0;
	var x303 := 303.0;
	var x304 := 304.0;
	var x305 := 305.0;
	var x306 := 306.0;
	var x307 := 307.0;
	var x308 := 308.0;
	var x309 := 309.0;
	var x310 := 310.0;
	var x311 := 311.0;
	var x312 := 312.0;
	var x313 := 313.0;
	var x314 := 314.0;
	var x315 := 315.0;
	var x316 := 316.0;
	var x317 := 317.0;
	var x318 := 318.0;
	var x319 := 319.0;
	var x320 := 320.0;
	var x321 := 321.0;
	var x322 := 322.0;
	var x323 := 323.0;
	var x324 := 324.0;
	var x325 := 325.0;
	var x326 := 326.0;
	var x327 := 327.0;
	var x328 := 328.0;
	var x329 := 329.0;
	var x330 := 330.0;
	var x331 := 331.0;
	var x332 := 332.0;
	var x333 := 333.0;
	var x334 := 334.0;
	var x335 := 335.0;
	var x336 := 336.0;
	var x337 := 337.0;
	var x338 := 338.0;
	var x339 := 339.0;
	var x340 := 340.0;
	var x341 := 341.0;
	var x342 := 342.0;
	var x343 := 343.0;
	var x344 := 344.0;
	var x345 := 345.0;
	var x346 := 346.0;
	var x347 := 347.0;
	var x348 := 348.0;
	var x349 := 349.0;
	var x350 := 350.0;
	var x351 := 351.0;
	var x352 := 352.0;
	var x353 := 353.0;
	var x354 := 354.0;
	var x355 := 355.0;
	var x356 := 356.0;
	var x357 := 357.0;
	var x358 := 358.0;
	var x359 := 359.0;
	var x360 := 360.0;
	var x361 := 361.0;
	var x362 := 362.0;
	var x363 := 363.0;
	var x364 := 364.0;
	var x365 := 365.0;
	var x366 := 366.0;
	var x367 := 367.0;
	var x368 := 368.0;
	var x369 := 369.0;
	var x370 := 370.0;
	var x371 := 371.0;
	var x372 := 372.0;
	var x373 := 373.0;
	var x374 := 374.0;
	var x375 := 375.0;
	var x376 := 376.0;
	var x377 := 377.0;
	var x378 := 378.0;
	var x379 := 379.0;
	var x380 := 380.0;
	var x381 := 381.0;
	var x382 := 382.0;
	var x383 := 383.0;
	var x384 := 384.0;
	var x385 := 385.0;
	var x386 := 386.0;
	var x387 := 387.0;
	var x388 := 388.0;
	var x389 := 389.0;
	var x390 := 390.0;
	var x391 := 391.0;
	var x392 := 392.0;
	var x393 := 393.0;
	var x394 := 394.0;
	var x395 := 395.0;
	var x396 := 396.0;
	var x397 := 397.0;
	var x398 := 398.0;
	var x399 := 399.0;
	var x400 := 400.0;
	var x401 := 401.0;
	var x402 := 402.0;
	var x403 := 403.0;
	var x404 := 404.0;
	var x405 := 405.0;
	var x406 := 406.0;
	var x407 := 407.0;
	var x408 := 408.0;
	var x409 := 409.0;
	var x410 := 410.0;
	var x411 := 411.0;
	var x412 := 412.0;
	var x413 := 413.0;
	var x414 := 414.0;
	var x415 := 415.0;
	var x416 := 416.0;
	var x417 := 417.0;
	var x418 := 418.0;
	var x419 := 419.0;
	var x420 := 420.0;
	var x421 := 421.0;
	var x422 := 422.0;
	var x423 := 423.0;
	var x424 := 424.0;
	var x425 := 425.0;
	var x426 := 426.0;
	var x427 := 427.0;
	var x428 := 428.0;
	var x429 := 429.0;
	var x430 := 430.0;
	var x431 := 431.0;
	var x432 := 432.0;
	var x433 := 433.0;
	var x434 := 434.0;
	var x435 := 435.0;
	var x436 := 436.0;
	var x437 := 437.0;
	var x438 := 438.0;
	var x439 := 439.0;
	var x440 := 440.0;
	var x441 := 441.0;
	var x442 := 442.0;
	var x443 := 443.0;
	var x444 := 444.0;
	var x445 := 445.0;
	var x446 := 446.0;
	var x447 := 447.0;
	var x448 := 448.0;
	var x449 := 449.0;
	var x450 := 450.0;
	var x451 := 451.0;
	var x452 := 452.0;
	var x453 := 453.0;
	var x454 := 454.0;
	var x455 := 455.0;
	var x456 := 456.0;
	var x457 := 457.0;
	var x458 := 458.0;
	var x459 := 459.0;
	var x460 := 460.0;
	var x461 := 461.0;
	var x462 := 462.0;
	var x463 := 463.0;
	var x464 := 464.0;
	var x465 := 465.0;
	var x466 := 466.0;
	var x467 := 467.0;
	var x468 := 468.0;
	var x469 := 469.0;
	var x470 := 470.0;
	var x471 := 471.0;
	var x472 := 472.0;
	var x473 := 473.0;
	var x474 := 474.0;
	var x475 := 475.0;
	var x476 := 476.0;
	var x477 := 477.0;
	var x478 := 478.0;
	var x479 := 479.0;
	var x480 := 480.0;
	var x481 := 481.0;
	var x482 := 482.0;
	var x483 := 483.0;
	var x484 := 484.0;
	var x485 := 485.0;
	var x486 := 486.0;
	var x487 := 487.0;
	var x488 := 488.0;
	var x489 := 489.0;
	var x490 := 490.0;
	var x491 := 491.0;
	var x492 := 492.0;
	var x493 := 493.0;
	var x494 := 494.0;
	var x495 := 495.0;
	var x496 := 496.0;
	var x497 := 497.0;
	var x498 := 498.0;
	var x499 := 499.0;
	var x500 := 500.0;
	var x501 := 501.0;
	var x502 := 502.0;
	var x503 := 503.0;
	var x504 := 504.0;
	var x505 := 505.0;
	var x506 := 506.0;
	var x507 := 507.0;
	var x508 := 508.0;
	var x509 := 509.0;
	var x510 := 510.0;
	var x511 := 511.0;
	var x512 := 512.0;
	var x513 := 513.0;
	var x514 := 514.0;
	var x515 := 515.0;
	var x516 := 516.0;
	var x517 := 517.0;
	var x518 := 518.0;
	var x519 := 519.0;
	var x520 := 520.0;
	var x521 := 521.0;
	var x522 := 522.0;
	var x523 := 523.0;
	var x524 := 524.0;
	var x525 := 525.0;
	var x526 := 526.0;
	var x527 := 527.0;
	var x528 := 528.0;
	var x529 := 529.0;
	var x530 := 530.0;
	var x531 := 531.0;
	var x532 := 532.0;
	var x533 := 533.0;
	var x534 := 534.0;
	var x535 := 535.0;
	var x536 := 536.0;
	var x537 := 537.0;
	var x538 := 538.0;
	var x539 := 539.0;
	var x540 := 540.0;
	var x541 := 541.0;
	var x542 := 542.0;
	var x543 := 543.0;
	var x544 := 544.0;
	var x545 := 545.0;
	var x546 := 546.0;
	var x547 := 547.0;
	var x548 := 548.0;
	var x549 := 549.0;
	var x550 := 550.0;
	var x551 := 551.0;
	var x552 := 552.0;
	var x553 := 553.0;
	var x554 := 554.0;
	var x555 := 555.0;
	var x556 := 556.0;
	var x557 := 557.0;
	var x558 := 558.0;
	var x559 := 559.0;
	var x560 := 560.0;
	var x561 := 561.0;
	var x562 := 562.0;
	var x563 := 563.0;
	var x564 := 564.0;
	var x565 := 565.0;
	var x566 := 566.0;
	var x567 := 567.0;
	var x568 := 568.0;
	var x569 := 569.0;
	var x570 := 570.0;
	var x571 := 571.0;
	var x572 := 572.0;
	var x573 := 573.0;
	var x574 := 574.0;
	var x575 := 575.0;
	var x576 := 576.0;
	var x577 := 577.0;
	var x578 := 578.0;
	var x579 := 579.0;
	var x580 := 580.0;
	var x581 := 581.0;
	var x582 := 582.0;
	var x583 := 583.0;
	var x584 := 584.0;
	var x585 := 585.0;
	var x586 := 586.0;
	var x587 := 587.0;
	var x588 := 588.0;
	var x589 := 589.0;
	var x590 := 590.0;
	var x591 := 591.0;
	var x592 := 592.0;
	var x593 := 593.0;
	var x594 := 594.0;
	var x595 := 595.0;
	var x596 := 596.0;
	var x597 := 597.0;
	var x598 := 598.0;
	var x599 := 599.0;
	var x600 := 600.0;
	var x601 := 601.0;
	var x602 := 602.0;
	var x603 := 603.0;
	var x604 := 604.0;
	var x605 := 605.0;
	var x606 := 606.0;
	var x607 := 607.0;
	var x608 := 608.0;
	var x609 := 609.0;
	var x610 := 610.0;
	var x611 := 611.0;
	var x612 := 612.0;
	var x613 := 613.0;
	var x614 := 614.0;
	var x615 := 615.0;
	var x616 := 616.0;
	var x617 := 617.0;
	var x618 := 618.0;
	var x619 := 619.0;
	var x620 := 620.0;
	var x621 := 621.0;
	var x622 := 622.0;
	var x623 := 623.0;
	var x624 := 624.0;
	var x625 := 625.0;
	var x626 := 626.0;
	var x627 := 627.0;
	var x628 := 628.0;
	var x629 := 629.0;
	var x630 := 630.0;
	var x631 := 631.0;
	var x632 := 632.0;
	var x633 := 633.0;
	var x634 := 634.0;
	var x635 := 635.0;
	var x636 := 636.0;
	var x637 := 637.0;
	var x638 := 638.0;
	var x639 := 639.0;
	var x640 := 640.0;
	var x641 := 641.0;
	var x642 := 642.0;
	var x643 := 643.0;
	var x644 := 644.0;
	var x645 := 645.0;
	var x646 := 646.0;
	var x647 := 647.0;
	var x648 := 648.0;
	var x649 := 649.0;
	var x650 := 650.0;
	var x651 := 651.0;
	var x652 := 652.0;
	var x653 := 653.0;
	var x654 := 654.0;
	var x655 := 655.0;
	var x656 := 656.0;
	var x657 := 657.0;
	var x658 := 658.0;
	var x659 := 659.0;
	var x660 := 660.0;
	var x661 := 661.0;
	var x662 := 662.0;
	var x663 := 663.0;
	var x664 := 664.0;
	var x665 := 665.0;
	var x666 := 666.0;
	var x667 := 667.0;
	var x668 := 668.0;
	var x669 := 669.0;
	var x670 := 670.0;
	var x671 := 671.0;
	var x672 := 672.0;
	var x673 := 673.0;
	var x674 := 674.0;
	var x675 := 675.0;
	var x676 := 676.0;
	var x677 := 677.0;
	var x678 := 678.0;
	var x679 := 679.0;
	var x680 := 680.0;
	var x681 := 681.0;
	var x682 := 682.0;
	var x683 := 683.0;
	var x684 := 684.0;
	var x685 := 685.0;
	var x686 := 686.0;
	var x687 := 687.0;
	var x688 := 688.0;
	var x689 := 689.0;
	var x690 := 690.0;
	var x691 := 691.0;
	var x692 := 692.0;
	var x693 := 693.0;
	var x694 := 694.0;
	var x695 := 695.0;
	var x696 := 696.0;
	var x697 := 697.0;
	var x698 := 698.0;
	var x699 := 699.0;
	var x700 := 700.0;
	var x701 := 701.0;
	var x702 := 702.0;
	var x703 := 703.0;
	var x704 := 704.0;
	var x705 := 705.0;
	var x706 := 706.0;
	var x707 := 707.0;
	var x708 := 708.0;
	var x709 := 709.0;
	var x710 := 710.0;
	var x711 := 711.0;
	var x712 := 712.0;
	var x713 := 713.0;
	var x714 := 714.0;
	var x715 := 715.0;
	var x716 := 716.0;
	var x717 := 717.0;
	var x718 := 718.0;
	var x719 := 719.0;
	var x720 := 720.0;
	var x721 := 721.0;
	var x722 := 722.0;
	var x723 := 723.0;
	var x724 := 724.0;
	var x725 := 725.0;
	var x726 := 726.0;
	var x727 := 727.0;
	var x728 := 728.0;
	var x729 := 729.0;
	var x730 := 730.0;
	var x731 := 731.0;
	var x732 := 732.0;
	var x733 := 733.0;
	var x734 := 734.0;
	var x735 := 735.0;
	var x736 := 736.0;
	var x737 := 737.0;
	var x738 := 738.0;
	var x739 := 739.0;
	var x740 := 740.0;
	var x741 := 741.0;
	var x742 := 742.0;
	var x743 := 743.0;
	var x744 := 744.0;
	var x745 := 745.0;
	var x746 := 746.0;
	var x747 := 747.0;
	var x748 := 748.0;
	var x749 := 749.0;
	var x750 := 750.0;
	var x751 := 751.0;
	var x752 := 752.0;
	var x753 := 753.0;
	var x754 := 754.0;
	var x755 := 755.0;
	var x756 := 756.0;
	var x757 := 757.0;
	var x758 := 758.0;
	var x759 := 759.0;
	var x760 := 760.0;
	var x761 := 761.0;
	var x762 := 762.0;
	var x763 := 763.0;
	var x764 := 764.0;
	var x765 := 765.0;
	var x766 := 766.0;
	var x767 := 767.0;
	var x768 := 768.0;
	var x769 := 769.0;
	var x770 := 770.0;
	var x771 := 771.0;
	var x772 := 772.0;
	var x773 := 773.0;
	var x774 := 774.0;
	var x775 := 775.0;
	var x776 := 776.0;
	var x777 := 777.0;
	var x778 := 778.0;
	var x779 := 779.0;
	var x780 := 780.0;
	var x781 := 781.0;
	var x782 := 782.0;
	var x783 := 783.0;
	var x784 := 784.0;
	var x785 := 785.0;
	var x786 := 786.0;
	var x787 := 787.0;
	var x788 := 788.0;
	var x789 := 789.0;
	var x790 := 790.0;
	var x791 := 791.0;
	var x792 := 792.0;
	var x793 := 793.0;
	var x794 := 794.0;
	var x795 := 795.0;
	var x796 := 796.0;
	var x797 := 797.0;
	var x798 := 798.0;
	var x799 := 799.0;
	var x800 := 800.0;
	var x801 := 801.0;
	var x802 := 802.0;
	var x803 := 803.0;
	var x804 := 804.0;
	var x805 := 805.0;
	var x806 := 806.0;
	var x807 := 807.0;
	var x808 := 808.0;
	var x809 := 809.0;
	var x810 := 810.0;
	var x811 := 811.0;
	var x812 := 812.0;
	var x813 := 813.0;
	var x814 := 814.0;
	var x815 := 815.0;
	var x816 := 816.0;
	var x817 := 817.0;
	var x818 := 818.0;
	var x819 := 819.0;
	var x820 := 820.0;
	var x821 := 821.0;
	var x822 := 822.0;
	var x823 := 823.0;
	var x824 := 824.0;
	var x825 := 825.0;
	var x826 := 826.0;
	var x827 := 827.0;
	var x828 := 828.0;
	var x829 := 829.0;
	var x830 := 830.0;
	var x831 := 831.0;
	var x832 := 832.0;
	var x833 := 833.0;
	var x834 := 834.0;
	var x835 := 835.0;
	var x836 := 836.0;
	var x837 := 837.0;
	var x838 := 838.0;
	var x839 := 839.0;
	var x840 := 840.0;
	var x841 := 841.0;
	var x842 := 842.0;
	var x843 := 843.0;
	var x844 := 844.0;
	var x845 := 845.0;
	var x846 := 846.0;
	var x847 := 847.0;
	var x848 := 848.0;
	var x849 := 849.0;
	var x850 := 850.0;
	var x851 := 851.0;
	var x852 := 852.0;
	var x853 := 853.0;
	var x854 := 854.0;
	var x855 := 855.0;
	var x856 := 856.0;
	var x857 := 857.0;
	var x858 := 858.0;
	var x859 := 859.0;
	var x860 := 860.0;
	var x861 := 861.0;
	var x862 := 862.0;
	var x863 := 863.0;
	var x864 := 864.0;
	var x865 := 865.0;
	var x866 := 866.0;
	var x867 := 867.0;
	var x868 := 868.0;
	var x869 := 869.0;
	var x870 := 870.0;
	var x871 := 871.0;
	var x872 := 872.0;
	var x873 := 873.0;
	var x874 := 874.0;
	var x875 := 875.0;
	var x876 := 876.0;
	var x877 := 877.0;
	var x878 := 878.0;
	var x879 := 879.0;
	var x880 := 880.0;
	var x881 := 881.0;
	var x882 := 882.0;
	var x883 := 883.0;
	var x884 := 884.0;
	var x885 := 885.0;
	var x886 := 886.0;
	var x887 := 887.0;
	var x888 := 888.0;
	var x889 := 889.0;
	var x890 := 890.0;
	var x891 := 891.0;
	var x892 := 892.0;
	var x893 := 893.0;
	var x894 := 894.0;
	var x895 := 895.0;
	var x896 := 896.0;
	var x897 := 897.0;
	var x898 := 898.0;
	var x899 := 899.0;
	var x900 := 900.0;
	var x901 := 901.0;
	var x902 := 902.0;
	var x903 := 903.0;
	var x904 := 904.0;
	var x905 := 905.0;
	var x906 := 906.0;
	var x907 := 907.0;
	var x908 := 908.0;
	var x909 := 909.0;
	var x910 := 910.0;
	var x911 := 911.0;
	var x912 := 912.0;
	var x913 := 913.0;
	var x914 := 914.0;
	var x915 := 915.0;
	var x916 := 916.0;
	var x917 := 917.0;
	var x918 := 918.0;
	var x919 := 919.0;
	var x920 := 920.0;
	var x921 := 921.0;
	var x922 := 922.0;
	var x923 := 923.0;
	var x924 := 924.0;
	var x925 := 925.0;
	var x926 := 926.0;
	var x927 := 927.0;
	var x928 := 928.0;
	var x929 := 929.0;
	var x930 := 930.0;
	var x931 := 931.0;
	var x932 := 932.0;
	var x933 := 933.0;
	var x934 := 934.0;
	var x935 := 935.0;
	var x936 := 936.0;
	var x937 := 937.0;
	var x938 := 938.0;
	var x939 := 939.0;
	var x940 := 940.0;
	var x941 := 941.0;
	var x942 := 942.0;
	var x943 := 943.0;
	var x944 := 944.0;
	var x945 := 945.0;
	var x946 := 946.0;
	var x947 := 947.0;
	var x948 := 948.0;
	var x949 := 949.0;
	var x950 := 950.0;
	var x951 := 951.0;
	var x952 := 952.0;
	var x953 := 953.0;
	var x954 := 954.0;
	var x955 := 955.0;
	var x956 := 956.0;
	var x957 := 957.0;
	var x958 := 958.0;
	var x959 := 959.0;
	var x960 := 960.0;
	var x961 := 961.0;
	var x962 := 962.0;
	var x963 := 963.0;
	var x964 := 964.0;
	var x965 := 965.0;
	var x966 := 966.0;
	var x967 := 967.0;
	var x968 := 968.0;
	var x969 := 969.0;
	var x970 := 970.0;
	var x971 := 971.0;
	var x972 := 972.0;
	var x973 := 973.0;
	var x974 := 974.0;
	var x975 := 975.0;
	var x976 := 976.0;
	var x977 := 977.0;
	var x978 := 978.0;
	var x979 := 979.0;
	var x980 := 980.0;
	var x981 := 981.0;
	var x982 := 982.0;
	var x983 := 983.0;
	var x984 := 984.0;
	var x985 := 985.0;
	var x986 := 986.0;
	var x987 := 987.0;
	var x988 := 988.0;
	var x989 := 989.0;
	var x990 := 990.0;
	var x991 := 991.0;
	var x992 := 992.0;
	var x993 := 993.0;
	var x994 := 994.0;
	var x995 := 995.0;
	var x996 := 996.0;
	var x997 := 997.0;
	var x998 := 998.0;
	var x999 := 999.0;
	var x1000 := 1000.0;

minimize obj:
	(x3) * (x3) + (4.0*cos((x3))) + (x6) * (x6) + (4.0*cos((x6))) + (x9) * (x9) + 
	(4.0*cos((x9))) + (x12) * (x12) + (4.0*cos((x12))) + (x15) * (x15) + 
	(4.0*cos((x15))) + (x18) * (x18) + (4.0*cos((x18))) + (x21) * (x21) + 
	(4.0*cos((x21))) + (x24) * (x24) + (4.0*cos((x24))) + (x27) * (x27) + 
	(4.0*cos((x27))) + (x30) * (x30) + (4.0*cos((x30))) + (x33) * (x33) + 
	(4.0*cos((x33))) + (x36) * (x36) + (4.0*cos((x36))) + (x39) * (x39) + 
	(4.0*cos((x39))) + (x42) * (x42) + (4.0*cos((x42))) + (x45) * (x45) + 
	(4.0*cos((x45))) + (x48) * (x48) + (4.0*cos((x48))) + (x51) * (x51) + 
	(4.0*cos((x51))) + (x54) * (x54) + (4.0*cos((x54))) + (x57) * (x57) + 
	(4.0*cos((x57))) + (x60) * (x60) + (4.0*cos((x60))) + (x63) * (x63) + 
	(4.0*cos((x63))) + (x66) * (x66) + (4.0*cos((x66))) + (x69) * (x69) + 
	(4.0*cos((x69))) + (x72) * (x72) + (4.0*cos((x72))) + (x75) * (x75) + 
	(4.0*cos((x75))) + (x78) * (x78) + (4.0*cos((x78))) + (x81) * (x81) + 
	(4.0*cos((x81))) + (x84) * (x84) + (4.0*cos((x84))) + (x87) * (x87) + 
	(4.0*cos((x87))) + (x90) * (x90) + (4.0*cos((x90))) + (x93) * (x93) + 
	(4.0*cos((x93))) + (x96) * (x96) + (4.0*cos((x96))) + (x99) * (x99) + 
	(4.0*cos((x99))) + (x102) * (x102) + (4.0*cos((x102))) + (x105) * (x105) + 
	(4.0*cos((x105))) + (x108) * (x108) + (4.0*cos((x108))) + (x111) * (x111) + 
	(4.0*cos((x111))) + (x114) * (x114) + (4.0*cos((x114))) + (x117) * (x117) + 
	(4.0*cos((x117))) + (x120) * (x120) + (4.0*cos((x120))) + (x123) * (x123) + 
	(4.0*cos((x123))) + (x126) * (x126) + (4.0*cos((x126))) + (x129) * (x129) + 
	(4.0*cos((x129))) + (x132) * (x132) + (4.0*cos((x132))) + (x135) * (x135) + 
	(4.0*cos((x135))) + (x138) * (x138) + (4.0*cos((x138))) + (x141) * (x141) + 
	(4.0*cos((x141))) + (x144) * (x144) + (4.0*cos((x144))) + (x147) * (x147) + 
	(4.0*cos((x147))) + (x150) * (x150) + (4.0*cos((x150))) + (x153) * (x153) + 
	(4.0*cos((x153))) + (x156) * (x156) + (4.0*cos((x156))) + (x159) * (x159) + 
	(4.0*cos((x159))) + (x162) * (x162) + (4.0*cos((x162))) + (x165) * (x165) + 
	(4.0*cos((x165))) + (x168) * (x168) + (4.0*cos((x168))) + (x171) * (x171) + 
	(4.0*cos((x171))) + (x174) * (x174) + (4.0*cos((x174))) + (x177) * (x177) + 
	(4.0*cos((x177))) + (x180) * (x180) + (4.0*cos((x180))) + (x183) * (x183) + 
	(4.0*cos((x183))) + (x186) * (x186) + (4.0*cos((x186))) + (x189) * (x189) + 
	(4.0*cos((x189))) + (x192) * (x192) + (4.0*cos((x192))) + (x195) * (x195) + 
	(4.0*cos((x195))) + (x198) * (x198) + (4.0*cos((x198))) + (x201) * (x201) + 
	(4.0*cos((x201))) + (x204) * (x204) + (4.0*cos((x204))) + (x207) * (x207) + 
	(4.0*cos((x207))) + (x210) * (x210) + (4.0*cos((x210))) + (x213) * (x213) + 
	(4.0*cos((x213))) + (x216) * (x216) + (4.0*cos((x216))) + (x219) * (x219) + 
	(4.0*cos((x219))) + (x222) * (x222) + (4.0*cos((x222))) + (x225) * (x225) + 
	(4.0*cos((x225))) + (x228) * (x228) + (4.0*cos((x228))) + (x231) * (x231) + 
	(4.0*cos((x231))) + (x234) * (x234) + (4.0*cos((x234))) + (x237) * (x237) + 
	(4.0*cos((x237))) + (x240) * (x240) + (4.0*cos((x240))) + (x243) * (x243) + 
	(4.0*cos((x243))) + (x246) * (x246) + (4.0*cos((x246))) + (x249) * (x249) + 
	(4.0*cos((x249))) + (x252) * (x252) + (4.0*cos((x252))) + (x255) * (x255) + 
	(4.0*cos((x255))) + (x258) * (x258) + (4.0*cos((x258))) + (x261) * (x261) + 
	(4.0*cos((x261))) + (x264) * (x264) + (4.0*cos((x264))) + (x267) * (x267) + 
	(4.0*cos((x267))) + (x270) * (x270) + (4.0*cos((x270))) + (x273) * (x273) + 
	(4.0*cos((x273))) + (x276) * (x276) + (4.0*cos((x276))) + (x279) * (x279) + 
	(4.0*cos((x279))) + (x282) * (x282) + (4.0*cos((x282))) + (x285) * (x285) + 
	(4.0*cos((x285))) + (x288) * (x288) + (4.0*cos((x288))) + (x291) * (x291) + 
	(4.0*cos((x291))) + (x294) * (x294) + (4.0*cos((x294))) + (x297) * (x297) + 
	(4.0*cos((x297))) + (x300) * (x300) + (4.0*cos((x300))) + (x303) * (x303) + 
	(4.0*cos((x303))) + (x306) * (x306) + (4.0*cos((x306))) + (x309) * (x309) + 
	(4.0*cos((x309))) + (x312) * (x312) + (4.0*cos((x312))) + (x315) * (x315) + 
	(4.0*cos((x315))) + (x318) * (x318) + (4.0*cos((x318))) + (x321) * (x321) + 
	(4.0*cos((x321))) + (x324) * (x324) + (4.0*cos((x324))) + (x327) * (x327) + 
	(4.0*cos((x327))) + (x330) * (x330) + (4.0*cos((x330))) + (x333) * (x333) + 
	(4.0*cos((x333))) + (x336) * (x336) + (4.0*cos((x336))) + (x339) * (x339) + 
	(4.0*cos((x339))) + (x342) * (x342) + (4.0*cos((x342))) + (x345) * (x345) + 
	(4.0*cos((x345))) + (x348) * (x348) + (4.0*cos((x348))) + (x351) * (x351) + 
	(4.0*cos((x351))) + (x354) * (x354) + (4.0*cos((x354))) + (x357) * (x357) + 
	(4.0*cos((x357))) + (x360) * (x360) + (4.0*cos((x360))) + (x363) * (x363) + 
	(4.0*cos((x363))) + (x366) * (x366) + (4.0*cos((x366))) + (x369) * (x369) + 
	(4.0*cos((x369))) + (x372) * (x372) + (4.0*cos((x372))) + (x375) * (x375) + 
	(4.0*cos((x375))) + (x378) * (x378) + (4.0*cos((x378))) + (x381) * (x381) + 
	(4.0*cos((x381))) + (x384) * (x384) + (4.0*cos((x384))) + (x387) * (x387) + 
	(4.0*cos((x387))) + (x390) * (x390) + (4.0*cos((x390))) + (x393) * (x393) + 
	(4.0*cos((x393))) + (x396) * (x396) + (4.0*cos((x396))) + (x399) * (x399) + 
	(4.0*cos((x399))) + (x402) * (x402) + (4.0*cos((x402))) + (x405) * (x405) + 
	(4.0*cos((x405))) + (x408) * (x408) + (4.0*cos((x408))) + (x411) * (x411) + 
	(4.0*cos((x411))) + (x414) * (x414) + (4.0*cos((x414))) + (x417) * (x417) + 
	(4.0*cos((x417))) + (x420) * (x420) + (4.0*cos((x420))) + (x423) * (x423) + 
	(4.0*cos((x423))) + (x426) * (x426) + (4.0*cos((x426))) + (x429) * (x429) + 
	(4.0*cos((x429))) + (x432) * (x432) + (4.0*cos((x432))) + (x435) * (x435) + 
	(4.0*cos((x435))) + (x438) * (x438) + (4.0*cos((x438))) + (x441) * (x441) + 
	(4.0*cos((x441))) + (x444) * (x444) + (4.0*cos((x444))) + (x447) * (x447) + 
	(4.0*cos((x447))) + (x450) * (x450) + (4.0*cos((x450))) + (x453) * (x453) + 
	(4.0*cos((x453))) + (x456) * (x456) + (4.0*cos((x456))) + (x459) * (x459) + 
	(4.0*cos((x459))) + (x462) * (x462) + (4.0*cos((x462))) + (x465) * (x465) + 
	(4.0*cos((x465))) + (x468) * (x468) + (4.0*cos((x468))) + (x471) * (x471) + 
	(4.0*cos((x471))) + (x474) * (x474) + (4.0*cos((x474))) + (x477) * (x477) + 
	(4.0*cos((x477))) + (x480) * (x480) + (4.0*cos((x480))) + (x483) * (x483) + 
	(4.0*cos((x483))) + (x486) * (x486) + (4.0*cos((x486))) + (x489) * (x489) + 
	(4.0*cos((x489))) + (x492) * (x492) + (4.0*cos((x492))) + (x495) * (x495) + 
	(4.0*cos((x495))) + (x498) * (x498) + (4.0*cos((x498))) + (x501) * (x501) + 
	(4.0*cos((x501))) + (x504) * (x504) + (4.0*cos((x504))) + (x507) * (x507) + 
	(4.0*cos((x507))) + (x510) * (x510) + (4.0*cos((x510))) + (x513) * (x513) + 
	(4.0*cos((x513))) + (x516) * (x516) + (4.0*cos((x516))) + (x519) * (x519) + 
	(4.0*cos((x519))) + (x522) * (x522) + (4.0*cos((x522))) + (x525) * (x525) + 
	(4.0*cos((x525))) + (x528) * (x528) + (4.0*cos((x528))) + (x531) * (x531) + 
	(4.0*cos((x531))) + (x534) * (x534) + (4.0*cos((x534))) + (x537) * (x537) + 
	(4.0*cos((x537))) + (x540) * (x540) + (4.0*cos((x540))) + (x543) * (x543) + 
	(4.0*cos((x543))) + (x546) * (x546) + (4.0*cos((x546))) + (x549) * (x549) + 
	(4.0*cos((x549))) + (x552) * (x552) + (4.0*cos((x552))) + (x555) * (x555) + 
	(4.0*cos((x555))) + (x558) * (x558) + (4.0*cos((x558))) + (x561) * (x561) + 
	(4.0*cos((x561))) + (x564) * (x564) + (4.0*cos((x564))) + (x567) * (x567) + 
	(4.0*cos((x567))) + (x570) * (x570) + (4.0*cos((x570))) + (x573) * (x573) + 
	(4.0*cos((x573))) + (x576) * (x576) + (4.0*cos((x576))) + (x579) * (x579) + 
	(4.0*cos((x579))) + (x582) * (x582) + (4.0*cos((x582))) + (x585) * (x585) + 
	(4.0*cos((x585))) + (x588) * (x588) + (4.0*cos((x588))) + (x591) * (x591) + 
	(4.0*cos((x591))) + (x594) * (x594) + (4.0*cos((x594))) + (x597) * (x597) + 
	(4.0*cos((x597))) + (x600) * (x600) + (4.0*cos((x600))) + (x603) * (x603) + 
	(4.0*cos((x603))) + (x606) * (x606) + (4.0*cos((x606))) + (x609) * (x609) + 
	(4.0*cos((x609))) + (x612) * (x612) + (4.0*cos((x612))) + (x615) * (x615) + 
	(4.0*cos((x615))) + (x618) * (x618) + (4.0*cos((x618))) + (x621) * (x621) + 
	(4.0*cos((x621))) + (x624) * (x624) + (4.0*cos((x624))) + (x627) * (x627) + 
	(4.0*cos((x627))) + (x630) * (x630) + (4.0*cos((x630))) + (x633) * (x633) + 
	(4.0*cos((x633))) + (x636) * (x636) + (4.0*cos((x636))) + (x639) * (x639) + 
	(4.0*cos((x639))) + (x642) * (x642) + (4.0*cos((x642))) + (x645) * (x645) + 
	(4.0*cos((x645))) + (x648) * (x648) + (4.0*cos((x648))) + (x651) * (x651) + 
	(4.0*cos((x651))) + (x654) * (x654) + (4.0*cos((x654))) + (x657) * (x657) + 
	(4.0*cos((x657))) + (x660) * (x660) + (4.0*cos((x660))) + (x663) * (x663) + 
	(4.0*cos((x663))) + (x666) * (x666) + (4.0*cos((x666))) + (x669) * (x669) + 
	(4.0*cos((x669))) + (x672) * (x672) + (4.0*cos((x672))) + (x675) * (x675) + 
	(4.0*cos((x675))) + (x678) * (x678) + (4.0*cos((x678))) + (x681) * (x681) + 
	(4.0*cos((x681))) + (x684) * (x684) + (4.0*cos((x684))) + (x687) * (x687) + 
	(4.0*cos((x687))) + (x690) * (x690) + (4.0*cos((x690))) + (x693) * (x693) + 
	(4.0*cos((x693))) + (x696) * (x696) + (4.0*cos((x696))) + (x699) * (x699) + 
	(4.0*cos((x699))) + (x702) * (x702) + (4.0*cos((x702))) + (x705) * (x705) + 
	(4.0*cos((x705))) + (x708) * (x708) + (4.0*cos((x708))) + (x711) * (x711) + 
	(4.0*cos((x711))) + (x714) * (x714) + (4.0*cos((x714))) + (x717) * (x717) + 
	(4.0*cos((x717))) + (x720) * (x720) + (4.0*cos((x720))) + (x723) * (x723) + 
	(4.0*cos((x723))) + (x726) * (x726) + (4.0*cos((x726))) + (x729) * (x729) + 
	(4.0*cos((x729))) + (x732) * (x732) + (4.0*cos((x732))) + (x735) * (x735) + 
	(4.0*cos((x735))) + (x738) * (x738) + (4.0*cos((x738))) + (x741) * (x741) + 
	(4.0*cos((x741))) + (x744) * (x744) + (4.0*cos((x744))) + (x747) * (x747) + 
	(4.0*cos((x747))) + (x750) * (x750) + (4.0*cos((x750))) + (x753) * (x753) + 
	(4.0*cos((x753))) + (x756) * (x756) + (4.0*cos((x756))) + (x759) * (x759) + 
	(4.0*cos((x759))) + (x762) * (x762) + (4.0*cos((x762))) + (x765) * (x765) + 
	(4.0*cos((x765))) + (x768) * (x768) + (4.0*cos((x768))) + (x771) * (x771) + 
	(4.0*cos((x771))) + (x774) * (x774) + (4.0*cos((x774))) + (x777) * (x777) + 
	(4.0*cos((x777))) + (x780) * (x780) + (4.0*cos((x780))) + (x783) * (x783) + 
	(4.0*cos((x783))) + (x786) * (x786) + (4.0*cos((x786))) + (x789) * (x789) + 
	(4.0*cos((x789))) + (x792) * (x792) + (4.0*cos((x792))) + (x795) * (x795) + 
	(4.0*cos((x795))) + (x798) * (x798) + (4.0*cos((x798))) + (x801) * (x801) + 
	(4.0*cos((x801))) + (x804) * (x804) + (4.0*cos((x804))) + (x807) * (x807) + 
	(4.0*cos((x807))) + (x810) * (x810) + (4.0*cos((x810))) + (x813) * (x813) + 
	(4.0*cos((x813))) + (x816) * (x816) + (4.0*cos((x816))) + (x819) * (x819) + 
	(4.0*cos((x819))) + (x822) * (x822) + (4.0*cos((x822))) + (x825) * (x825) + 
	(4.0*cos((x825))) + (x828) * (x828) + (4.0*cos((x828))) + (x831) * (x831) + 
	(4.0*cos((x831))) + (x834) * (x834) + (4.0*cos((x834))) + (x837) * (x837) + 
	(4.0*cos((x837))) + (x840) * (x840) + (4.0*cos((x840))) + (x843) * (x843) + 
	(4.0*cos((x843))) + (x846) * (x846) + (4.0*cos((x846))) + (x849) * (x849) + 
	(4.0*cos((x849))) + (x852) * (x852) + (4.0*cos((x852))) + (x855) * (x855) + 
	(4.0*cos((x855))) + (x858) * (x858) + (4.0*cos((x858))) + (x861) * (x861) + 
	(4.0*cos((x861))) + (x864) * (x864) + (4.0*cos((x864))) + (x867) * (x867) + 
	(4.0*cos((x867))) + (x870) * (x870) + (4.0*cos((x870))) + (x873) * (x873) + 
	(4.0*cos((x873))) + (x876) * (x876) + (4.0*cos((x876))) + (x879) * (x879) + 
	(4.0*cos((x879))) + (x882) * (x882) + (4.0*cos((x882))) + (x885) * (x885) + 
	(4.0*cos((x885))) + (x888) * (x888) + (4.0*cos((x888))) + (x891) * (x891) + 
	(4.0*cos((x891))) + (x894) * (x894) + (4.0*cos((x894))) + (x897) * (x897) + 
	(4.0*cos((x897))) + (x900) * (x900) + (4.0*cos((x900))) + (x903) * (x903) + 
	(4.0*cos((x903))) + (x906) * (x906) + (4.0*cos((x906))) + (x909) * (x909) + 
	(4.0*cos((x909))) + (x912) * (x912) + (4.0*cos((x912))) + (x915) * (x915) + 
	(4.0*cos((x915))) + (x918) * (x918) + (4.0*cos((x918))) + (x921) * (x921) + 
	(4.0*cos((x921))) + (x924) * (x924) + (4.0*cos((x924))) + (x927) * (x927) + 
	(4.0*cos((x927))) + (x930) * (x930) + (4.0*cos((x930))) + (x933) * (x933) + 
	(4.0*cos((x933))) + (x936) * (x936) + (4.0*cos((x936))) + (x939) * (x939) + 
	(4.0*cos((x939))) + (x942) * (x942) + (4.0*cos((x942))) + (x945) * (x945) + 
	(4.0*cos((x945))) + (x948) * (x948) + (4.0*cos((x948))) + (x951) * (x951) + 
	(4.0*cos((x951))) + (x954) * (x954) + (4.0*cos((x954))) + (x957) * (x957) + 
	(4.0*cos((x957))) + (x960) * (x960) + (4.0*cos((x960))) + (x963) * (x963) + 
	(4.0*cos((x963))) + (x966) * (x966) + (4.0*cos((x966))) + (x969) * (x969) + 
	(4.0*cos((x969))) + (x972) * (x972) + (4.0*cos((x972))) + (x975) * (x975) + 
	(4.0*cos((x975))) + (x978) * (x978) + (4.0*cos((x978))) + (x981) * (x981) + 
	(4.0*cos((x981))) + (x984) * (x984) + (4.0*cos((x984))) + (x987) * (x987) + 
	(4.0*cos((x987))) + (x990) * (x990) + (4.0*cos((x990))) + (x993) * (x993) + 
	(4.0*cos((x993))) + (x996) * (x996) + (4.0*cos((x996))) + (x999) * (x999) + 
	(4.0*cos((x999))) + (x2) * (x2) + (4.0*cos((x2))) + (x5) * (x5) + 
	(4.0*cos((x5))) + (x8) * (x8) + (4.0*cos((x8))) + (x11) * (x11) + 
	(4.0*cos((x11))) + (x14) * (x14) + (4.0*cos((x14))) + (x17) * (x17) + 
	(4.0*cos((x17))) + (x20) * (x20) + (4.0*cos((x20))) + (x23) * (x23) + 
	(4.0*cos((x23))) + (x26) * (x26) + (4.0*cos((x26))) + (x29) * (x29) + 
	(4.0*cos((x29))) + (x32) * (x32) + (4.0*cos((x32))) + (x35) * (x35) + 
	(4.0*cos((x35))) + (x38) * (x38) + (4.0*cos((x38))) + (x41) * (x41) + 
	(4.0*cos((x41))) + (x44) * (x44) + (4.0*cos((x44))) + (x47) * (x47) + 
	(4.0*cos((x47))) + (x50) * (x50) + (4.0*cos((x50))) + (x53) * (x53) + 
	(4.0*cos((x53))) + (x56) * (x56) + (4.0*cos((x56))) + (x59) * (x59) + 
	(4.0*cos((x59))) + (x62) * (x62) + (4.0*cos((x62))) + (x65) * (x65) + 
	(4.0*cos((x65))) + (x68) * (x68) + (4.0*cos((x68))) + (x71) * (x71) + 
	(4.0*cos((x71))) + (x74) * (x74) + (4.0*cos((x74))) + (x77) * (x77) + 
	(4.0*cos((x77))) + (x80) * (x80) + (4.0*cos((x80))) + (x83) * (x83) + 
	(4.0*cos((x83))) + (x86) * (x86) + (4.0*cos((x86))) + (x89) * (x89) + 
	(4.0*cos((x89))) + (x92) * (x92) + (4.0*cos((x92))) + (x95) * (x95) + 
	(4.0*cos((x95))) + (x98) * (x98) + (4.0*cos((x98))) + (x101) * (x101) + 
	(4.0*cos((x101))) + (x104) * (x104) + (4.0*cos((x104))) + (x107) * (x107) + 
	(4.0*cos((x107))) + (x110) * (x110) + (4.0*cos((x110))) + (x113) * (x113) + 
	(4.0*cos((x113))) + (x116) * (x116) + (4.0*cos((x116))) + (x119) * (x119) + 
	(4.0*cos((x119))) + (x122) * (x122) + (4.0*cos((x122))) + (x125) * (x125) + 
	(4.0*cos((x125))) + (x128) * (x128) + (4.0*cos((x128))) + (x131) * (x131) + 
	(4.0*cos((x131))) + (x134) * (x134) + (4.0*cos((x134))) + (x137) * (x137) + 
	(4.0*cos((x137))) + (x140) * (x140) + (4.0*cos((x140))) + (x143) * (x143) + 
	(4.0*cos((x143))) + (x146) * (x146) + (4.0*cos((x146))) + (x149) * (x149) + 
	(4.0*cos((x149))) + (x152) * (x152) + (4.0*cos((x152))) + (x155) * (x155) + 
	(4.0*cos((x155))) + (x158) * (x158) + (4.0*cos((x158))) + (x161) * (x161) + 
	(4.0*cos((x161))) + (x164) * (x164) + (4.0*cos((x164))) + (x167) * (x167) + 
	(4.0*cos((x167))) + (x170) * (x170) + (4.0*cos((x170))) + (x173) * (x173) + 
	(4.0*cos((x173))) + (x176) * (x176) + (4.0*cos((x176))) + (x179) * (x179) + 
	(4.0*cos((x179))) + (x182) * (x182) + (4.0*cos((x182))) + (x185) * (x185) + 
	(4.0*cos((x185))) + (x188) * (x188) + (4.0*cos((x188))) + (x191) * (x191) + 
	(4.0*cos((x191))) + (x194) * (x194) + (4.0*cos((x194))) + (x197) * (x197) + 
	(4.0*cos((x197))) + (x200) * (x200) + (4.0*cos((x200))) + (x203) * (x203) + 
	(4.0*cos((x203))) + (x206) * (x206) + (4.0*cos((x206))) + (x209) * (x209) + 
	(4.0*cos((x209))) + (x212) * (x212) + (4.0*cos((x212))) + (x215) * (x215) + 
	(4.0*cos((x215))) + (x218) * (x218) + (4.0*cos((x218))) + (x221) * (x221) + 
	(4.0*cos((x221))) + (x224) * (x224) + (4.0*cos((x224))) + (x227) * (x227) + 
	(4.0*cos((x227))) + (x230) * (x230) + (4.0*cos((x230))) + (x233) * (x233) + 
	(4.0*cos((x233))) + (x236) * (x236) + (4.0*cos((x236))) + (x239) * (x239) + 
	(4.0*cos((x239))) + (x242) * (x242) + (4.0*cos((x242))) + (x245) * (x245) + 
	(4.0*cos((x245))) + (x248) * (x248) + (4.0*cos((x248))) + (x251) * (x251) + 
	(4.0*cos((x251))) + (x254) * (x254) + (4.0*cos((x254))) + (x257) * (x257) + 
	(4.0*cos((x257))) + (x260) * (x260) + (4.0*cos((x260))) + (x263) * (x263) + 
	(4.0*cos((x263))) + (x266) * (x266) + (4.0*cos((x266))) + (x269) * (x269) + 
	(4.0*cos((x269))) + (x272) * (x272) + (4.0*cos((x272))) + (x275) * (x275) + 
	(4.0*cos((x275))) + (x278) * (x278) + (4.0*cos((x278))) + (x281) * (x281) + 
	(4.0*cos((x281))) + (x284) * (x284) + (4.0*cos((x284))) + (x287) * (x287) + 
	(4.0*cos((x287))) + (x290) * (x290) + (4.0*cos((x290))) + (x293) * (x293) + 
	(4.0*cos((x293))) + (x296) * (x296) + (4.0*cos((x296))) + (x299) * (x299) + 
	(4.0*cos((x299))) + (x302) * (x302) + (4.0*cos((x302))) + (x305) * (x305) + 
	(4.0*cos((x305))) + (x308) * (x308) + (4.0*cos((x308))) + (x311) * (x311) + 
	(4.0*cos((x311))) + (x314) * (x314) + (4.0*cos((x314))) + (x317) * (x317) + 
	(4.0*cos((x317))) + (x320) * (x320) + (4.0*cos((x320))) + (x323) * (x323) + 
	(4.0*cos((x323))) + (x326) * (x326) + (4.0*cos((x326))) + (x329) * (x329) + 
	(4.0*cos((x329))) + (x332) * (x332) + (4.0*cos((x332))) + (x335) * (x335) + 
	(4.0*cos((x335))) + (x338) * (x338) + (4.0*cos((x338))) + (x341) * (x341) + 
	(4.0*cos((x341))) + (x344) * (x344) + (4.0*cos((x344))) + (x347) * (x347) + 
	(4.0*cos((x347))) + (x350) * (x350) + (4.0*cos((x350))) + (x353) * (x353) + 
	(4.0*cos((x353))) + (x356) * (x356) + (4.0*cos((x356))) + (x359) * (x359) + 
	(4.0*cos((x359))) + (x362) * (x362) + (4.0*cos((x362))) + (x365) * (x365) + 
	(4.0*cos((x365))) + (x368) * (x368) + (4.0*cos((x368))) + (x371) * (x371) + 
	(4.0*cos((x371))) + (x374) * (x374) + (4.0*cos((x374))) + (x377) * (x377) + 
	(4.0*cos((x377))) + (x380) * (x380) + (4.0*cos((x380))) + (x383) * (x383) + 
	(4.0*cos((x383))) + (x386) * (x386) + (4.0*cos((x386))) + (x389) * (x389) + 
	(4.0*cos((x389))) + (x392) * (x392) + (4.0*cos((x392))) + (x395) * (x395) + 
	(4.0*cos((x395))) + (x398) * (x398) + (4.0*cos((x398))) + (x401) * (x401) + 
	(4.0*cos((x401))) + (x404) * (x404) + (4.0*cos((x404))) + (x407) * (x407) + 
	(4.0*cos((x407))) + (x410) * (x410) + (4.0*cos((x410))) + (x413) * (x413) + 
	(4.0*cos((x413))) + (x416) * (x416) + (4.0*cos((x416))) + (x419) * (x419) + 
	(4.0*cos((x419))) + (x422) * (x422) + (4.0*cos((x422))) + (x425) * (x425) + 
	(4.0*cos((x425))) + (x428) * (x428) + (4.0*cos((x428))) + (x431) * (x431) + 
	(4.0*cos((x431))) + (x434) * (x434) + (4.0*cos((x434))) + (x437) * (x437) + 
	(4.0*cos((x437))) + (x440) * (x440) + (4.0*cos((x440))) + (x443) * (x443) + 
	(4.0*cos((x443))) + (x446) * (x446) + (4.0*cos((x446))) + (x449) * (x449) + 
	(4.0*cos((x449))) + (x452) * (x452) + (4.0*cos((x452))) + (x455) * (x455) + 
	(4.0*cos((x455))) + (x458) * (x458) + (4.0*cos((x458))) + (x461) * (x461) + 
	(4.0*cos((x461))) + (x464) * (x464) + (4.0*cos((x464))) + (x467) * (x467) + 
	(4.0*cos((x467))) + (x470) * (x470) + (4.0*cos((x470))) + (x473) * (x473) + 
	(4.0*cos((x473))) + (x476) * (x476) + (4.0*cos((x476))) + (x479) * (x479) + 
	(4.0*cos((x479))) + (x482) * (x482) + (4.0*cos((x482))) + (x485) * (x485) + 
	(4.0*cos((x485))) + (x488) * (x488) + (4.0*cos((x488))) + (x491) * (x491) + 
	(4.0*cos((x491))) + (x494) * (x494) + (4.0*cos((x494))) + (x497) * (x497) + 
	(4.0*cos((x497))) + (x500) * (x500) + (4.0*cos((x500))) + (x503) * (x503) + 
	(4.0*cos((x503))) + (x506) * (x506) + (4.0*cos((x506))) + (x509) * (x509) + 
	(4.0*cos((x509))) + (x512) * (x512) + (4.0*cos((x512))) + (x515) * (x515) + 
	(4.0*cos((x515))) + (x518) * (x518) + (4.0*cos((x518))) + (x521) * (x521) + 
	(4.0*cos((x521))) + (x524) * (x524) + (4.0*cos((x524))) + (x527) * (x527) + 
	(4.0*cos((x527))) + (x530) * (x530) + (4.0*cos((x530))) + (x533) * (x533) + 
	(4.0*cos((x533))) + (x536) * (x536) + (4.0*cos((x536))) + (x539) * (x539) + 
	(4.0*cos((x539))) + (x542) * (x542) + (4.0*cos((x542))) + (x545) * (x545) + 
	(4.0*cos((x545))) + (x548) * (x548) + (4.0*cos((x548))) + (x551) * (x551) + 
	(4.0*cos((x551))) + (x554) * (x554) + (4.0*cos((x554))) + (x557) * (x557) + 
	(4.0*cos((x557))) + (x560) * (x560) + (4.0*cos((x560))) + (x563) * (x563) + 
	(4.0*cos((x563))) + (x566) * (x566) + (4.0*cos((x566))) + (x569) * (x569) + 
	(4.0*cos((x569))) + (x572) * (x572) + (4.0*cos((x572))) + (x575) * (x575) + 
	(4.0*cos((x575))) + (x578) * (x578) + (4.0*cos((x578))) + (x581) * (x581) + 
	(4.0*cos((x581))) + (x584) * (x584) + (4.0*cos((x584))) + (x587) * (x587) + 
	(4.0*cos((x587))) + (x590) * (x590) + (4.0*cos((x590))) + (x593) * (x593) + 
	(4.0*cos((x593))) + (x596) * (x596) + (4.0*cos((x596))) + (x599) * (x599) + 
	(4.0*cos((x599))) + (x602) * (x602) + (4.0*cos((x602))) + (x605) * (x605) + 
	(4.0*cos((x605))) + (x608) * (x608) + (4.0*cos((x608))) + (x611) * (x611) + 
	(4.0*cos((x611))) + (x614) * (x614) + (4.0*cos((x614))) + (x617) * (x617) + 
	(4.0*cos((x617))) + (x620) * (x620) + (4.0*cos((x620))) + (x623) * (x623) + 
	(4.0*cos((x623))) + (x626) * (x626) + (4.0*cos((x626))) + (x629) * (x629) + 
	(4.0*cos((x629))) + (x632) * (x632) + (4.0*cos((x632))) + (x635) * (x635) + 
	(4.0*cos((x635))) + (x638) * (x638) + (4.0*cos((x638))) + (x641) * (x641) + 
	(4.0*cos((x641))) + (x644) * (x644) + (4.0*cos((x644))) + (x647) * (x647) + 
	(4.0*cos((x647))) + (x650) * (x650) + (4.0*cos((x650))) + (x653) * (x653) + 
	(4.0*cos((x653))) + (x656) * (x656) + (4.0*cos((x656))) + (x659) * (x659) + 
	(4.0*cos((x659))) + (x662) * (x662) + (4.0*cos((x662))) + (x665) * (x665) + 
	(4.0*cos((x665))) + (x668) * (x668) + (4.0*cos((x668))) + (x671) * (x671) + 
	(4.0*cos((x671))) + (x674) * (x674) + (4.0*cos((x674))) + (x677) * (x677) + 
	(4.0*cos((x677))) + (x680) * (x680) + (4.0*cos((x680))) + (x683) * (x683) + 
	(4.0*cos((x683))) + (x686) * (x686) + (4.0*cos((x686))) + (x689) * (x689) + 
	(4.0*cos((x689))) + (x692) * (x692) + (4.0*cos((x692))) + (x695) * (x695) + 
	(4.0*cos((x695))) + (x698) * (x698) + (4.0*cos((x698))) + (x701) * (x701) + 
	(4.0*cos((x701))) + (x704) * (x704) + (4.0*cos((x704))) + (x707) * (x707) + 
	(4.0*cos((x707))) + (x710) * (x710) + (4.0*cos((x710))) + (x713) * (x713) + 
	(4.0*cos((x713))) + (x716) * (x716) + (4.0*cos((x716))) + (x719) * (x719) + 
	(4.0*cos((x719))) + (x722) * (x722) + (4.0*cos((x722))) + (x725) * (x725) + 
	(4.0*cos((x725))) + (x728) * (x728) + (4.0*cos((x728))) + (x731) * (x731) + 
	(4.0*cos((x731))) + (x734) * (x734) + (4.0*cos((x734))) + (x737) * (x737) + 
	(4.0*cos((x737))) + (x740) * (x740) + (4.0*cos((x740))) + (x743) * (x743) + 
	(4.0*cos((x743))) + (x746) * (x746) + (4.0*cos((x746))) + (x749) * (x749) + 
	(4.0*cos((x749))) + (x752) * (x752) + (4.0*cos((x752))) + (x755) * (x755) + 
	(4.0*cos((x755))) + (x758) * (x758) + (4.0*cos((x758))) + (x761) * (x761) + 
	(4.0*cos((x761))) + (x764) * (x764) + (4.0*cos((x764))) + (x767) * (x767) + 
	(4.0*cos((x767))) + (x770) * (x770) + (4.0*cos((x770))) + (x773) * (x773) + 
	(4.0*cos((x773))) + (x776) * (x776) + (4.0*cos((x776))) + (x779) * (x779) + 
	(4.0*cos((x779))) + (x782) * (x782) + (4.0*cos((x782))) + (x785) * (x785) + 
	(4.0*cos((x785))) + (x788) * (x788) + (4.0*cos((x788))) + (x791) * (x791) + 
	(4.0*cos((x791))) + (x794) * (x794) + (4.0*cos((x794))) + (x797) * (x797) + 
	(4.0*cos((x797))) + (x800) * (x800) + (4.0*cos((x800))) + (x803) * (x803) + 
	(4.0*cos((x803))) + (x806) * (x806) + (4.0*cos((x806))) + (x809) * (x809) + 
	(4.0*cos((x809))) + (x812) * (x812) + (4.0*cos((x812))) + (x815) * (x815) + 
	(4.0*cos((x815))) + (x818) * (x818) + (4.0*cos((x818))) + (x821) * (x821) + 
	(4.0*cos((x821))) + (x824) * (x824) + (4.0*cos((x824))) + (x827) * (x827) + 
	(4.0*cos((x827))) + (x830) * (x830) + (4.0*cos((x830))) + (x833) * (x833) + 
	(4.0*cos((x833))) + (x836) * (x836) + (4.0*cos((x836))) + (x839) * (x839) + 
	(4.0*cos((x839))) + (x842) * (x842) + (4.0*cos((x842))) + (x845) * (x845) + 
	(4.0*cos((x845))) + (x848) * (x848) + (4.0*cos((x848))) + (x851) * (x851) + 
	(4.0*cos((x851))) + (x854) * (x854) + (4.0*cos((x854))) + (x857) * (x857) + 
	(4.0*cos((x857))) + (x860) * (x860) + (4.0*cos((x860))) + (x863) * (x863) + 
	(4.0*cos((x863))) + (x866) * (x866) + (4.0*cos((x866))) + (x869) * (x869) + 
	(4.0*cos((x869))) + (x872) * (x872) + (4.0*cos((x872))) + (x875) * (x875) + 
	(4.0*cos((x875))) + (x878) * (x878) + (4.0*cos((x878))) + (x881) * (x881) + 
	(4.0*cos((x881))) + (x884) * (x884) + (4.0*cos((x884))) + (x887) * (x887) + 
	(4.0*cos((x887))) + (x890) * (x890) + (4.0*cos((x890))) + (x893) * (x893) + 
	(4.0*cos((x893))) + (x896) * (x896) + (4.0*cos((x896))) + (x899) * (x899) + 
	(4.0*cos((x899))) + (x902) * (x902) + (4.0*cos((x902))) + (x905) * (x905) + 
	(4.0*cos((x905))) + (x908) * (x908) + (4.0*cos((x908))) + (x911) * (x911) + 
	(4.0*cos((x911))) + (x914) * (x914) + (4.0*cos((x914))) + (x917) * (x917) + 
	(4.0*cos((x917))) + (x920) * (x920) + (4.0*cos((x920))) + (x923) * (x923) + 
	(4.0*cos((x923))) + (x926) * (x926) + (4.0*cos((x926))) + (x929) * (x929) + 
	(4.0*cos((x929))) + (x932) * (x932) + (4.0*cos((x932))) + (x935) * (x935) + 
	(4.0*cos((x935))) + (x938) * (x938) + (4.0*cos((x938))) + (x941) * (x941) + 
	(4.0*cos((x941))) + (x944) * (x944) + (4.0*cos((x944))) + (x947) * (x947) + 
	(4.0*cos((x947))) + (x950) * (x950) + (4.0*cos((x950))) + (x953) * (x953) + 
	(4.0*cos((x953))) + (x956) * (x956) + (4.0*cos((x956))) + (x959) * (x959) + 
	(4.0*cos((x959))) + (x962) * (x962) + (4.0*cos((x962))) + (x965) * (x965) + 
	(4.0*cos((x965))) + (x968) * (x968) + (4.0*cos((x968))) + (x971) * (x971) + 
	(4.0*cos((x971))) + (x974) * (x974) + (4.0*cos((x974))) + (x977) * (x977) + 
	(4.0*cos((x977))) + (x980) * (x980) + (4.0*cos((x980))) + (x983) * (x983) + 
	(4.0*cos((x983))) + (x986) * (x986) + (4.0*cos((x986))) + (x989) * (x989) + 
	(4.0*cos((x989))) + (x992) * (x992) + (4.0*cos((x992))) + (x995) * (x995) + 
	(4.0*cos((x995))) + (x998) * (x998) + (4.0*cos((x998))) + (x1) * (x1) + 
	(4.0*cos((x1))) + (x4) * (x4) + (4.0*cos((x4))) + (x7) * (x7) + (4.0*cos((x7))) 
	+ (x10) * (x10) + (4.0*cos((x10))) + (x13) * (x13) + (4.0*cos((x13))) + (x16) * 
	(x16) + (4.0*cos((x16))) + (x19) * (x19) + (4.0*cos((x19))) + (x22) * (x22) + 
	(4.0*cos((x22))) + (x25) * (x25) + (4.0*cos((x25))) + (x28) * (x28) + 
	(4.0*cos((x28))) + (x31) * (x31) + (4.0*cos((x31))) + (x34) * (x34) + 
	(4.0*cos((x34))) + (x37) * (x37) + (4.0*cos((x37))) + (x40) * (x40) + 
	(4.0*cos((x40))) + (x43) * (x43) + (4.0*cos((x43))) + (x46) * (x46) + 
	(4.0*cos((x46))) + (x49) * (x49) + (4.0*cos((x49))) + (x52) * (x52) + 
	(4.0*cos((x52))) + (x55) * (x55) + (4.0*cos((x55))) + (x58) * (x58) + 
	(4.0*cos((x58))) + (x61) * (x61) + (4.0*cos((x61))) + (x64) * (x64) + 
	(4.0*cos((x64))) + (x67) * (x67) + (4.0*cos((x67))) + (x70) * (x70) + 
	(4.0*cos((x70))) + (x73) * (x73) + (4.0*cos((x73))) + (x76) * (x76) + 
	(4.0*cos((x76))) + (x79) * (x79) + (4.0*cos((x79))) + (x82) * (x82) + 
	(4.0*cos((x82))) + (x85) * (x85) + (4.0*cos((x85))) + (x88) * (x88) + 
	(4.0*cos((x88))) + (x91) * (x91) + (4.0*cos((x91))) + (x94) * (x94) + 
	(4.0*cos((x94))) + (x97) * (x97) + (4.0*cos((x97))) + (x100) * (x100) + 
	(4.0*cos((x100))) + (x103) * (x103) + (4.0*cos((x103))) + (x106) * (x106) + 
	(4.0*cos((x106))) + (x109) * (x109) + (4.0*cos((x109))) + (x112) * (x112) + 
	(4.0*cos((x112))) + (x115) * (x115) + (4.0*cos((x115))) + (x118) * (x118) + 
	(4.0*cos((x118))) + (x121) * (x121) + (4.0*cos((x121))) + (x124) * (x124) + 
	(4.0*cos((x124))) + (x127) * (x127) + (4.0*cos((x127))) + (x130) * (x130) + 
	(4.0*cos((x130))) + (x133) * (x133) + (4.0*cos((x133))) + (x136) * (x136) + 
	(4.0*cos((x136))) + (x139) * (x139) + (4.0*cos((x139))) + (x142) * (x142) + 
	(4.0*cos((x142))) + (x145) * (x145) + (4.0*cos((x145))) + (x148) * (x148) + 
	(4.0*cos((x148))) + (x151) * (x151) + (4.0*cos((x151))) + (x154) * (x154) + 
	(4.0*cos((x154))) + (x157) * (x157) + (4.0*cos((x157))) + (x160) * (x160) + 
	(4.0*cos((x160))) + (x163) * (x163) + (4.0*cos((x163))) + (x166) * (x166) + 
	(4.0*cos((x166))) + (x169) * (x169) + (4.0*cos((x169))) + (x172) * (x172) + 
	(4.0*cos((x172))) + (x175) * (x175) + (4.0*cos((x175))) + (x178) * (x178) + 
	(4.0*cos((x178))) + (x181) * (x181) + (4.0*cos((x181))) + (x184) * (x184) + 
	(4.0*cos((x184))) + (x187) * (x187) + (4.0*cos((x187))) + (x190) * (x190) + 
	(4.0*cos((x190))) + (x193) * (x193) + (4.0*cos((x193))) + (x196) * (x196) + 
	(4.0*cos((x196))) + (x199) * (x199) + (4.0*cos((x199))) + (x202) * (x202) + 
	(4.0*cos((x202))) + (x205) * (x205) + (4.0*cos((x205))) + (x208) * (x208) + 
	(4.0*cos((x208))) + (x211) * (x211) + (4.0*cos((x211))) + (x214) * (x214) + 
	(4.0*cos((x214))) + (x217) * (x217) + (4.0*cos((x217))) + (x220) * (x220) + 
	(4.0*cos((x220))) + (x223) * (x223) + (4.0*cos((x223))) + (x226) * (x226) + 
	(4.0*cos((x226))) + (x229) * (x229) + (4.0*cos((x229))) + (x232) * (x232) + 
	(4.0*cos((x232))) + (x235) * (x235) + (4.0*cos((x235))) + (x238) * (x238) + 
	(4.0*cos((x238))) + (x241) * (x241) + (4.0*cos((x241))) + (x244) * (x244) + 
	(4.0*cos((x244))) + (x247) * (x247) + (4.0*cos((x247))) + (x250) * (x250) + 
	(4.0*cos((x250))) + (x253) * (x253) + (4.0*cos((x253))) + (x256) * (x256) + 
	(4.0*cos((x256))) + (x259) * (x259) + (4.0*cos((x259))) + (x262) * (x262) + 
	(4.0*cos((x262))) + (x265) * (x265) + (4.0*cos((x265))) + (x268) * (x268) + 
	(4.0*cos((x268))) + (x271) * (x271) + (4.0*cos((x271))) + (x274) * (x274) + 
	(4.0*cos((x274))) + (x277) * (x277) + (4.0*cos((x277))) + (x280) * (x280) + 
	(4.0*cos((x280))) + (x283) * (x283) + (4.0*cos((x283))) + (x286) * (x286) + 
	(4.0*cos((x286))) + (x289) * (x289) + (4.0*cos((x289))) + (x292) * (x292) + 
	(4.0*cos((x292))) + (x295) * (x295) + (4.0*cos((x295))) + (x298) * (x298) + 
	(4.0*cos((x298))) + (x301) * (x301) + (4.0*cos((x301))) + (x304) * (x304) + 
	(4.0*cos((x304))) + (x307) * (x307) + (4.0*cos((x307))) + (x310) * (x310) + 
	(4.0*cos((x310))) + (x313) * (x313) + (4.0*cos((x313))) + (x316) * (x316) + 
	(4.0*cos((x316))) + (x319) * (x319) + (4.0*cos((x319))) + (x322) * (x322) + 
	(4.0*cos((x322))) + (x325) * (x325) + (4.0*cos((x325))) + (x328) * (x328) + 
	(4.0*cos((x328))) + (x331) * (x331) + (4.0*cos((x331))) + (x334) * (x334) + 
	(4.0*cos((x334))) + (x337) * (x337) + (4.0*cos((x337))) + (x340) * (x340) + 
	(4.0*cos((x340))) + (x343) * (x343) + (4.0*cos((x343))) + (x346) * (x346) + 
	(4.0*cos((x346))) + (x349) * (x349) + (4.0*cos((x349))) + (x352) * (x352) + 
	(4.0*cos((x352))) + (x355) * (x355) + (4.0*cos((x355))) + (x358) * (x358) + 
	(4.0*cos((x358))) + (x361) * (x361) + (4.0*cos((x361))) + (x364) * (x364) + 
	(4.0*cos((x364))) + (x367) * (x367) + (4.0*cos((x367))) + (x370) * (x370) + 
	(4.0*cos((x370))) + (x373) * (x373) + (4.0*cos((x373))) + (x376) * (x376) + 
	(4.0*cos((x376))) + (x379) * (x379) + (4.0*cos((x379))) + (x382) * (x382) + 
	(4.0*cos((x382))) + (x385) * (x385) + (4.0*cos((x385))) + (x388) * (x388) + 
	(4.0*cos((x388))) + (x391) * (x391) + (4.0*cos((x391))) + (x394) * (x394) + 
	(4.0*cos((x394))) + (x397) * (x397) + (4.0*cos((x397))) + (x400) * (x400) + 
	(4.0*cos((x400))) + (x403) * (x403) + (4.0*cos((x403))) + (x406) * (x406) + 
	(4.0*cos((x406))) + (x409) * (x409) + (4.0*cos((x409))) + (x412) * (x412) + 
	(4.0*cos((x412))) + (x415) * (x415) + (4.0*cos((x415))) + (x418) * (x418) + 
	(4.0*cos((x418))) + (x421) * (x421) + (4.0*cos((x421))) + (x424) * (x424) + 
	(4.0*cos((x424))) + (x427) * (x427) + (4.0*cos((x427))) + (x430) * (x430) + 
	(4.0*cos((x430))) + (x433) * (x433) + (4.0*cos((x433))) + (x436) * (x436) + 
	(4.0*cos((x436))) + (x439) * (x439) + (4.0*cos((x439))) + (x442) * (x442) + 
	(4.0*cos((x442))) + (x445) * (x445) + (4.0*cos((x445))) + (x448) * (x448) + 
	(4.0*cos((x448))) + (x451) * (x451) + (4.0*cos((x451))) + (x454) * (x454) + 
	(4.0*cos((x454))) + (x457) * (x457) + (4.0*cos((x457))) + (x460) * (x460) + 
	(4.0*cos((x460))) + (x463) * (x463) + (4.0*cos((x463))) + (x466) * (x466) + 
	(4.0*cos((x466))) + (x469) * (x469) + (4.0*cos((x469))) + (x472) * (x472) + 
	(4.0*cos((x472))) + (x475) * (x475) + (4.0*cos((x475))) + (x478) * (x478) + 
	(4.0*cos((x478))) + (x481) * (x481) + (4.0*cos((x481))) + (x484) * (x484) + 
	(4.0*cos((x484))) + (x487) * (x487) + (4.0*cos((x487))) + (x490) * (x490) + 
	(4.0*cos((x490))) + (x493) * (x493) + (4.0*cos((x493))) + (x496) * (x496) + 
	(4.0*cos((x496))) + (x499) * (x499) + (4.0*cos((x499))) + (x502) * (x502) + 
	(4.0*cos((x502))) + (x505) * (x505) + (4.0*cos((x505))) + (x508) * (x508) + 
	(4.0*cos((x508))) + (x511) * (x511) + (4.0*cos((x511))) + (x514) * (x514) + 
	(4.0*cos((x514))) + (x517) * (x517) + (4.0*cos((x517))) + (x520) * (x520) + 
	(4.0*cos((x520))) + (x523) * (x523) + (4.0*cos((x523))) + (x526) * (x526) + 
	(4.0*cos((x526))) + (x529) * (x529) + (4.0*cos((x529))) + (x532) * (x532) + 
	(4.0*cos((x532))) + (x535) * (x535) + (4.0*cos((x535))) + (x538) * (x538) + 
	(4.0*cos((x538))) + (x541) * (x541) + (4.0*cos((x541))) + (x544) * (x544) + 
	(4.0*cos((x544))) + (x547) * (x547) + (4.0*cos((x547))) + (x550) * (x550) + 
	(4.0*cos((x550))) + (x553) * (x553) + (4.0*cos((x553))) + (x556) * (x556) + 
	(4.0*cos((x556))) + (x559) * (x559) + (4.0*cos((x559))) + (x562) * (x562) + 
	(4.0*cos((x562))) + (x565) * (x565) + (4.0*cos((x565))) + (x568) * (x568) + 
	(4.0*cos((x568))) + (x571) * (x571) + (4.0*cos((x571))) + (x574) * (x574) + 
	(4.0*cos((x574))) + (x577) * (x577) + (4.0*cos((x577))) + (x580) * (x580) + 
	(4.0*cos((x580))) + (x583) * (x583) + (4.0*cos((x583))) + (x586) * (x586) + 
	(4.0*cos((x586))) + (x589) * (x589) + (4.0*cos((x589))) + (x592) * (x592) + 
	(4.0*cos((x592))) + (x595) * (x595) + (4.0*cos((x595))) + (x598) * (x598) + 
	(4.0*cos((x598))) + (x601) * (x601) + (4.0*cos((x601))) + (x604) * (x604) + 
	(4.0*cos((x604))) + (x607) * (x607) + (4.0*cos((x607))) + (x610) * (x610) + 
	(4.0*cos((x610))) + (x613) * (x613) + (4.0*cos((x613))) + (x616) * (x616) + 
	(4.0*cos((x616))) + (x619) * (x619) + (4.0*cos((x619))) + (x622) * (x622) + 
	(4.0*cos((x622))) + (x625) * (x625) + (4.0*cos((x625))) + (x628) * (x628) + 
	(4.0*cos((x628))) + (x631) * (x631) + (4.0*cos((x631))) + (x634) * (x634) + 
	(4.0*cos((x634))) + (x637) * (x637) + (4.0*cos((x637))) + (x640) * (x640) + 
	(4.0*cos((x640))) + (x643) * (x643) + (4.0*cos((x643))) + (x646) * (x646) + 
	(4.0*cos((x646))) + (x649) * (x649) + (4.0*cos((x649))) + (x652) * (x652) + 
	(4.0*cos((x652))) + (x655) * (x655) + (4.0*cos((x655))) + (x658) * (x658) + 
	(4.0*cos((x658))) + (x661) * (x661) + (4.0*cos((x661))) + (x664) * (x664) + 
	(4.0*cos((x664))) + (x667) * (x667) + (4.0*cos((x667))) + (x670) * (x670) + 
	(4.0*cos((x670))) + (x673) * (x673) + (4.0*cos((x673))) + (x676) * (x676) + 
	(4.0*cos((x676))) + (x679) * (x679) + (4.0*cos((x679))) + (x682) * (x682) + 
	(4.0*cos((x682))) + (x685) * (x685) + (4.0*cos((x685))) + (x688) * (x688) + 
	(4.0*cos((x688))) + (x691) * (x691) + (4.0*cos((x691))) + (x694) * (x694) + 
	(4.0*cos((x694))) + (x697) * (x697) + (4.0*cos((x697))) + (x700) * (x700) + 
	(4.0*cos((x700))) + (x703) * (x703) + (4.0*cos((x703))) + (x706) * (x706) + 
	(4.0*cos((x706))) + (x709) * (x709) + (4.0*cos((x709))) + (x712) * (x712) + 
	(4.0*cos((x712))) + (x715) * (x715) + (4.0*cos((x715))) + (x718) * (x718) + 
	(4.0*cos((x718))) + (x721) * (x721) + (4.0*cos((x721))) + (x724) * (x724) + 
	(4.0*cos((x724))) + (x727) * (x727) + (4.0*cos((x727))) + (x730) * (x730) + 
	(4.0*cos((x730))) + (x733) * (x733) + (4.0*cos((x733))) + (x736) * (x736) + 
	(4.0*cos((x736))) + (x739) * (x739) + (4.0*cos((x739))) + (x742) * (x742) + 
	(4.0*cos((x742))) + (x745) * (x745) + (4.0*cos((x745))) + (x748) * (x748) + 
	(4.0*cos((x748))) + (x751) * (x751) + (4.0*cos((x751))) + (x754) * (x754) + 
	(4.0*cos((x754))) + (x757) * (x757) + (4.0*cos((x757))) + (x760) * (x760) + 
	(4.0*cos((x760))) + (x763) * (x763) + (4.0*cos((x763))) + (x766) * (x766) + 
	(4.0*cos((x766))) + (x769) * (x769) + (4.0*cos((x769))) + (x772) * (x772) + 
	(4.0*cos((x772))) + (x775) * (x775) + (4.0*cos((x775))) + (x778) * (x778) + 
	(4.0*cos((x778))) + (x781) * (x781) + (4.0*cos((x781))) + (x784) * (x784) + 
	(4.0*cos((x784))) + (x787) * (x787) + (4.0*cos((x787))) + (x790) * (x790) + 
	(4.0*cos((x790))) + (x793) * (x793) + (4.0*cos((x793))) + (x796) * (x796) + 
	(4.0*cos((x796))) + (x799) * (x799) + (4.0*cos((x799))) + (x802) * (x802) + 
	(4.0*cos((x802))) + (x805) * (x805) + (4.0*cos((x805))) + (x808) * (x808) + 
	(4.0*cos((x808))) + (x811) * (x811) + (4.0*cos((x811))) + (x814) * (x814) + 
	(4.0*cos((x814))) + (x817) * (x817) + (4.0*cos((x817))) + (x820) * (x820) + 
	(4.0*cos((x820))) + (x823) * (x823) + (4.0*cos((x823))) + (x826) * (x826) + 
	(4.0*cos((x826))) + (x829) * (x829) + (4.0*cos((x829))) + (x832) * (x832) + 
	(4.0*cos((x832))) + (x835) * (x835) + (4.0*cos((x835))) + (x838) * (x838) + 
	(4.0*cos((x838))) + (x841) * (x841) + (4.0*cos((x841))) + (x844) * (x844) + 
	(4.0*cos((x844))) + (x847) * (x847) + (4.0*cos((x847))) + (x850) * (x850) + 
	(4.0*cos((x850))) + (x853) * (x853) + (4.0*cos((x853))) + (x856) * (x856) + 
	(4.0*cos((x856))) + (x859) * (x859) + (4.0*cos((x859))) + (x862) * (x862) + 
	(4.0*cos((x862))) + (x865) * (x865) + (4.0*cos((x865))) + (x868) * (x868) + 
	(4.0*cos((x868))) + (x871) * (x871) + (4.0*cos((x871))) + (x874) * (x874) + 
	(4.0*cos((x874))) + (x877) * (x877) + (4.0*cos((x877))) + (x880) * (x880) + 
	(4.0*cos((x880))) + (x883) * (x883) + (4.0*cos((x883))) + (x886) * (x886) + 
	(4.0*cos((x886))) + (x889) * (x889) + (4.0*cos((x889))) + (x892) * (x892) + 
	(4.0*cos((x892))) + (x895) * (x895) + (4.0*cos((x895))) + (x898) * (x898) + 
	(4.0*cos((x898))) + (x901) * (x901) + (4.0*cos((x901))) + (x904) * (x904) + 
	(4.0*cos((x904))) + (x907) * (x907) + (4.0*cos((x907))) + (x910) * (x910) + 
	(4.0*cos((x910))) + (x913) * (x913) + (4.0*cos((x913))) + (x916) * (x916) + 
	(4.0*cos((x916))) + (x919) * (x919) + (4.0*cos((x919))) + (x922) * (x922) + 
	(4.0*cos((x922))) + (x925) * (x925) + (4.0*cos((x925))) + (x928) * (x928) + 
	(4.0*cos((x928))) + (x931) * (x931) + (4.0*cos((x931))) + (x934) * (x934) + 
	(4.0*cos((x934))) + (x937) * (x937) + (4.0*cos((x937))) + (x940) * (x940) + 
	(4.0*cos((x940))) + (x943) * (x943) + (4.0*cos((x943))) + (x946) * (x946) + 
	(4.0*cos((x946))) + (x949) * (x949) + (4.0*cos((x949))) + (x952) * (x952) + 
	(4.0*cos((x952))) + (x955) * (x955) + (4.0*cos((x955))) + (x958) * (x958) + 
	(4.0*cos((x958))) + (x961) * (x961) + (4.0*cos((x961))) + (x964) * (x964) + 
	(4.0*cos((x964))) + (x967) * (x967) + (4.0*cos((x967))) + (x970) * (x970) + 
	(4.0*cos((x970))) + (x973) * (x973) + (4.0*cos((x973))) + (x976) * (x976) + 
	(4.0*cos((x976))) + (x979) * (x979) + (4.0*cos((x979))) + (x982) * (x982) + 
	(4.0*cos((x982))) + (x985) * (x985) + (4.0*cos((x985))) + (x988) * (x988) + 
	(4.0*cos((x988))) + (x991) * (x991) + (4.0*cos((x991))) + (x994) * (x994) + 
	(4.0*cos((x994))) + (x997) * (x997) + (4.0*cos((x997))) + (x1000) * (x1000) + 
	(4.0*cos((x1000)));


solve;
	display x1;
	display x2;
	display x3;
	display x4;
	display x5;
	display x6;
	display x7;
	display x8;
	display x9;
	display x10;
	display x11;
	display x12;
	display x13;
	display x14;
	display x15;
	display x16;
	display x17;
	display x18;
	display x19;
	display x20;
	display x21;
	display x22;
	display x23;
	display x24;
	display x25;
	display x26;
	display x27;
	display x28;
	display x29;
	display x30;
	display x31;
	display x32;
	display x33;
	display x34;
	display x35;
	display x36;
	display x37;
	display x38;
	display x39;
	display x40;
	display x41;
	display x42;
	display x43;
	display x44;
	display x45;
	display x46;
	display x47;
	display x48;
	display x49;
	display x50;
	display x51;
	display x52;
	display x53;
	display x54;
	display x55;
	display x56;
	display x57;
	display x58;
	display x59;
	display x60;
	display x61;
	display x62;
	display x63;
	display x64;
	display x65;
	display x66;
	display x67;
	display x68;
	display x69;
	display x70;
	display x71;
	display x72;
	display x73;
	display x74;
	display x75;
	display x76;
	display x77;
	display x78;
	display x79;
	display x80;
	display x81;
	display x82;
	display x83;
	display x84;
	display x85;
	display x86;
	display x87;
	display x88;
	display x89;
	display x90;
	display x91;
	display x92;
	display x93;
	display x94;
	display x95;
	display x96;
	display x97;
	display x98;
	display x99;
	display x100;
	display x101;
	display x102;
	display x103;
	display x104;
	display x105;
	display x106;
	display x107;
	display x108;
	display x109;
	display x110;
	display x111;
	display x112;
	display x113;
	display x114;
	display x115;
	display x116;
	display x117;
	display x118;
	display x119;
	display x120;
	display x121;
	display x122;
	display x123;
	display x124;
	display x125;
	display x126;
	display x127;
	display x128;
	display x129;
	display x130;
	display x131;
	display x132;
	display x133;
	display x134;
	display x135;
	display x136;
	display x137;
	display x138;
	display x139;
	display x140;
	display x141;
	display x142;
	display x143;
	display x144;
	display x145;
	display x146;
	display x147;
	display x148;
	display x149;
	display x150;
	display x151;
	display x152;
	display x153;
	display x154;
	display x155;
	display x156;
	display x157;
	display x158;
	display x159;
	display x160;
	display x161;
	display x162;
	display x163;
	display x164;
	display x165;
	display x166;
	display x167;
	display x168;
	display x169;
	display x170;
	display x171;
	display x172;
	display x173;
	display x174;
	display x175;
	display x176;
	display x177;
	display x178;
	display x179;
	display x180;
	display x181;
	display x182;
	display x183;
	display x184;
	display x185;
	display x186;
	display x187;
	display x188;
	display x189;
	display x190;
	display x191;
	display x192;
	display x193;
	display x194;
	display x195;
	display x196;
	display x197;
	display x198;
	display x199;
	display x200;
	display x201;
	display x202;
	display x203;
	display x204;
	display x205;
	display x206;
	display x207;
	display x208;
	display x209;
	display x210;
	display x211;
	display x212;
	display x213;
	display x214;
	display x215;
	display x216;
	display x217;
	display x218;
	display x219;
	display x220;
	display x221;
	display x222;
	display x223;
	display x224;
	display x225;
	display x226;
	display x227;
	display x228;
	display x229;
	display x230;
	display x231;
	display x232;
	display x233;
	display x234;
	display x235;
	display x236;
	display x237;
	display x238;
	display x239;
	display x240;
	display x241;
	display x242;
	display x243;
	display x244;
	display x245;
	display x246;
	display x247;
	display x248;
	display x249;
	display x250;
	display x251;
	display x252;
	display x253;
	display x254;
	display x255;
	display x256;
	display x257;
	display x258;
	display x259;
	display x260;
	display x261;
	display x262;
	display x263;
	display x264;
	display x265;
	display x266;
	display x267;
	display x268;
	display x269;
	display x270;
	display x271;
	display x272;
	display x273;
	display x274;
	display x275;
	display x276;
	display x277;
	display x278;
	display x279;
	display x280;
	display x281;
	display x282;
	display x283;
	display x284;
	display x285;
	display x286;
	display x287;
	display x288;
	display x289;
	display x290;
	display x291;
	display x292;
	display x293;
	display x294;
	display x295;
	display x296;
	display x297;
	display x298;
	display x299;
	display x300;
	display x301;
	display x302;
	display x303;
	display x304;
	display x305;
	display x306;
	display x307;
	display x308;
	display x309;
	display x310;
	display x311;
	display x312;
	display x313;
	display x314;
	display x315;
	display x316;
	display x317;
	display x318;
	display x319;
	display x320;
	display x321;
	display x322;
	display x323;
	display x324;
	display x325;
	display x326;
	display x327;
	display x328;
	display x329;
	display x330;
	display x331;
	display x332;
	display x333;
	display x334;
	display x335;
	display x336;
	display x337;
	display x338;
	display x339;
	display x340;
	display x341;
	display x342;
	display x343;
	display x344;
	display x345;
	display x346;
	display x347;
	display x348;
	display x349;
	display x350;
	display x351;
	display x352;
	display x353;
	display x354;
	display x355;
	display x356;
	display x357;
	display x358;
	display x359;
	display x360;
	display x361;
	display x362;
	display x363;
	display x364;
	display x365;
	display x366;
	display x367;
	display x368;
	display x369;
	display x370;
	display x371;
	display x372;
	display x373;
	display x374;
	display x375;
	display x376;
	display x377;
	display x378;
	display x379;
	display x380;
	display x381;
	display x382;
	display x383;
	display x384;
	display x385;
	display x386;
	display x387;
	display x388;
	display x389;
	display x390;
	display x391;
	display x392;
	display x393;
	display x394;
	display x395;
	display x396;
	display x397;
	display x398;
	display x399;
	display x400;
	display x401;
	display x402;
	display x403;
	display x404;
	display x405;
	display x406;
	display x407;
	display x408;
	display x409;
	display x410;
	display x411;
	display x412;
	display x413;
	display x414;
	display x415;
	display x416;
	display x417;
	display x418;
	display x419;
	display x420;
	display x421;
	display x422;
	display x423;
	display x424;
	display x425;
	display x426;
	display x427;
	display x428;
	display x429;
	display x430;
	display x431;
	display x432;
	display x433;
	display x434;
	display x435;
	display x436;
	display x437;
	display x438;
	display x439;
	display x440;
	display x441;
	display x442;
	display x443;
	display x444;
	display x445;
	display x446;
	display x447;
	display x448;
	display x449;
	display x450;
	display x451;
	display x452;
	display x453;
	display x454;
	display x455;
	display x456;
	display x457;
	display x458;
	display x459;
	display x460;
	display x461;
	display x462;
	display x463;
	display x464;
	display x465;
	display x466;
	display x467;
	display x468;
	display x469;
	display x470;
	display x471;
	display x472;
	display x473;
	display x474;
	display x475;
	display x476;
	display x477;
	display x478;
	display x479;
	display x480;
	display x481;
	display x482;
	display x483;
	display x484;
	display x485;
	display x486;
	display x487;
	display x488;
	display x489;
	display x490;
	display x491;
	display x492;
	display x493;
	display x494;
	display x495;
	display x496;
	display x497;
	display x498;
	display x499;
	display x500;
	display x501;
	display x502;
	display x503;
	display x504;
	display x505;
	display x506;
	display x507;
	display x508;
	display x509;
	display x510;
	display x511;
	display x512;
	display x513;
	display x514;
	display x515;
	display x516;
	display x517;
	display x518;
	display x519;
	display x520;
	display x521;
	display x522;
	display x523;
	display x524;
	display x525;
	display x526;
	display x527;
	display x528;
	display x529;
	display x530;
	display x531;
	display x532;
	display x533;
	display x534;
	display x535;
	display x536;
	display x537;
	display x538;
	display x539;
	display x540;
	display x541;
	display x542;
	display x543;
	display x544;
	display x545;
	display x546;
	display x547;
	display x548;
	display x549;
	display x550;
	display x551;
	display x552;
	display x553;
	display x554;
	display x555;
	display x556;
	display x557;
	display x558;
	display x559;
	display x560;
	display x561;
	display x562;
	display x563;
	display x564;
	display x565;
	display x566;
	display x567;
	display x568;
	display x569;
	display x570;
	display x571;
	display x572;
	display x573;
	display x574;
	display x575;
	display x576;
	display x577;
	display x578;
	display x579;
	display x580;
	display x581;
	display x582;
	display x583;
	display x584;
	display x585;
	display x586;
	display x587;
	display x588;
	display x589;
	display x590;
	display x591;
	display x592;
	display x593;
	display x594;
	display x595;
	display x596;
	display x597;
	display x598;
	display x599;
	display x600;
	display x601;
	display x602;
	display x603;
	display x604;
	display x605;
	display x606;
	display x607;
	display x608;
	display x609;
	display x610;
	display x611;
	display x612;
	display x613;
	display x614;
	display x615;
	display x616;
	display x617;
	display x618;
	display x619;
	display x620;
	display x621;
	display x622;
	display x623;
	display x624;
	display x625;
	display x626;
	display x627;
	display x628;
	display x629;
	display x630;
	display x631;
	display x632;
	display x633;
	display x634;
	display x635;
	display x636;
	display x637;
	display x638;
	display x639;
	display x640;
	display x641;
	display x642;
	display x643;
	display x644;
	display x645;
	display x646;
	display x647;
	display x648;
	display x649;
	display x650;
	display x651;
	display x652;
	display x653;
	display x654;
	display x655;
	display x656;
	display x657;
	display x658;
	display x659;
	display x660;
	display x661;
	display x662;
	display x663;
	display x664;
	display x665;
	display x666;
	display x667;
	display x668;
	display x669;
	display x670;
	display x671;
	display x672;
	display x673;
	display x674;
	display x675;
	display x676;
	display x677;
	display x678;
	display x679;
	display x680;
	display x681;
	display x682;
	display x683;
	display x684;
	display x685;
	display x686;
	display x687;
	display x688;
	display x689;
	display x690;
	display x691;
	display x692;
	display x693;
	display x694;
	display x695;
	display x696;
	display x697;
	display x698;
	display x699;
	display x700;
	display x701;
	display x702;
	display x703;
	display x704;
	display x705;
	display x706;
	display x707;
	display x708;
	display x709;
	display x710;
	display x711;
	display x712;
	display x713;
	display x714;
	display x715;
	display x716;
	display x717;
	display x718;
	display x719;
	display x720;
	display x721;
	display x722;
	display x723;
	display x724;
	display x725;
	display x726;
	display x727;
	display x728;
	display x729;
	display x730;
	display x731;
	display x732;
	display x733;
	display x734;
	display x735;
	display x736;
	display x737;
	display x738;
	display x739;
	display x740;
	display x741;
	display x742;
	display x743;
	display x744;
	display x745;
	display x746;
	display x747;
	display x748;
	display x749;
	display x750;
	display x751;
	display x752;
	display x753;
	display x754;
	display x755;
	display x756;
	display x757;
	display x758;
	display x759;
	display x760;
	display x761;
	display x762;
	display x763;
	display x764;
	display x765;
	display x766;
	display x767;
	display x768;
	display x769;
	display x770;
	display x771;
	display x772;
	display x773;
	display x774;
	display x775;
	display x776;
	display x777;
	display x778;
	display x779;
	display x780;
	display x781;
	display x782;
	display x783;
	display x784;
	display x785;
	display x786;
	display x787;
	display x788;
	display x789;
	display x790;
	display x791;
	display x792;
	display x793;
	display x794;
	display x795;
	display x796;
	display x797;
	display x798;
	display x799;
	display x800;
	display x801;
	display x802;
	display x803;
	display x804;
	display x805;
	display x806;
	display x807;
	display x808;
	display x809;
	display x810;
	display x811;
	display x812;
	display x813;
	display x814;
	display x815;
	display x816;
	display x817;
	display x818;
	display x819;
	display x820;
	display x821;
	display x822;
	display x823;
	display x824;
	display x825;
	display x826;
	display x827;
	display x828;
	display x829;
	display x830;
	display x831;
	display x832;
	display x833;
	display x834;
	display x835;
	display x836;
	display x837;
	display x838;
	display x839;
	display x840;
	display x841;
	display x842;
	display x843;
	display x844;
	display x845;
	display x846;
	display x847;
	display x848;
	display x849;
	display x850;
	display x851;
	display x852;
	display x853;
	display x854;
	display x855;
	display x856;
	display x857;
	display x858;
	display x859;
	display x860;
	display x861;
	display x862;
	display x863;
	display x864;
	display x865;
	display x866;
	display x867;
	display x868;
	display x869;
	display x870;
	display x871;
	display x872;
	display x873;
	display x874;
	display x875;
	display x876;
	display x877;
	display x878;
	display x879;
	display x880;
	display x881;
	display x882;
	display x883;
	display x884;
	display x885;
	display x886;
	display x887;
	display x888;
	display x889;
	display x890;
	display x891;
	display x892;
	display x893;
	display x894;
	display x895;
	display x896;
	display x897;
	display x898;
	display x899;
	display x900;
	display x901;
	display x902;
	display x903;
	display x904;
	display x905;
	display x906;
	display x907;
	display x908;
	display x909;
	display x910;
	display x911;
	display x912;
	display x913;
	display x914;
	display x915;
	display x916;
	display x917;
	display x918;
	display x919;
	display x920;
	display x921;
	display x922;
	display x923;
	display x924;
	display x925;
	display x926;
	display x927;
	display x928;
	display x929;
	display x930;
	display x931;
	display x932;
	display x933;
	display x934;
	display x935;
	display x936;
	display x937;
	display x938;
	display x939;
	display x940;
	display x941;
	display x942;
	display x943;
	display x944;
	display x945;
	display x946;
	display x947;
	display x948;
	display x949;
	display x950;
	display x951;
	display x952;
	display x953;
	display x954;
	display x955;
	display x956;
	display x957;
	display x958;
	display x959;
	display x960;
	display x961;
	display x962;
	display x963;
	display x964;
	display x965;
	display x966;
	display x967;
	display x968;
	display x969;
	display x970;
	display x971;
	display x972;
	display x973;
	display x974;
	display x975;
	display x976;
	display x977;
	display x978;
	display x979;
	display x980;
	display x981;
	display x982;
	display x983;
	display x984;
	display x985;
	display x986;
	display x987;
	display x988;
	display x989;
	display x990;
	display x991;
	display x992;
	display x993;
	display x994;
	display x995;
	display x996;
	display x997;
	display x998;
	display x999;
	display x1000;
display obj;