Skip to content

Instantly share code, notes, and snippets.

@vegard
Created March 21, 2013 15:39
Show Gist options
  • Save vegard/5214011 to your computer and use it in GitHub Desktop.
Save vegard/5214011 to your computer and use it in GitHub Desktop.
This file has been truncated, but you can view the full file.
p cnf 3168 90125
c
c Instance generated by sha1-sat
c Written by Vegard Nossum <vegard.nossum@gmail.com>
c <https://github.com/vegard/sha1-sat>
c
c command line: ./main --seed 22662 --attack preimage --rounds 16 --hash-bits 1 --cnf
c parameter seed = 22662
c sha1
c parameter nr_rounds = 16
c var 1/32 w[0]
c var 33/32 w[1]
c var 65/32 w[2]
c var 97/32 w[3]
c var 129/32 w[4]
c var 161/32 w[5]
c var 193/32 w[6]
c var 225/32 w[7]
c var 257/32 w[8]
c var 289/32 w[9]
c var 321/32 w[10]
c var 353/32 w[11]
c var 385/32 w[12]
c var 417/32 w[13]
c var 449/32 w[14]
c var 481/32 w[15]
c var 513/32 h_in0
c var 545/32 h_in1
c var 577/32 h_in2
c var 609/32 h_in3
c var 641/32 h_in4
c var 673/32 h_out0
c var 705/32 h_out1
c var 737/32 h_out2
c var 769/32 h_out3
c var 801/32 h_out4
c var 833/32 a[5]
c var 865/32 a[6]
c var 897/32 a[7]
c var 929/32 a[8]
c var 961/32 a[9]
c var 993/32 a[10]
c var 1025/32 a[11]
c var 1057/32 a[12]
c var 1089/32 a[13]
c var 1121/32 a[14]
c var 1153/32 a[15]
c var 1185/32 a[16]
c var 1217/32 a[17]
c var 1249/32 a[18]
c var 1281/32 a[19]
c var 1313/32 a[20]
c var 1345/32 k[0]
c constant32 (1518500249)
1345 0
-1346 0
-1347 0
1348 0
1349 0
-1350 0
-1351 0
1352 0
1353 0
-1354 0
-1355 0
1356 0
1357 0
1358 0
1359 0
-1360 0
-1361 0
1362 0
-1363 0
-1364 0
-1365 0
-1366 0
-1367 0
1368 0
-1369 0
1370 0
-1371 0
1372 0
1373 0
-1374 0
1375 0
-1376 0
c var 1377/32 k[1]
c constant32 (1859775393)
1377 0
-1378 0
-1379 0
-1380 0
-1381 0
1382 0
-1383 0
1384 0
1385 0
1386 0
-1387 0
1388 0
-1389 0
1390 0
1391 0
1392 0
1393 0
-1394 0
-1395 0
1396 0
1397 0
-1398 0
1399 0
1400 0
-1401 0
1402 0
1403 0
1404 0
-1405 0
1406 0
1407 0
-1408 0
c var 1409/32 k[2]
c constant32 (2400959708)
-1409 0
-1410 0
1411 0
1412 0
1413 0
-1414 0
1415 0
1416 0
-1417 0
-1418 0
1419 0
1420 0
1421 0
1422 0
-1423 0
1424 0
1425 0
1426 0
-1427 0
1428 0
1429 0
-1430 0
-1431 0
-1432 0
1433 0
1434 0
1435 0
1436 0
-1437 0
-1438 0
-1439 0
1440 0
c var 1441/32 k[3]
c constant32 (3395469782)
-1441 0
1442 0
1443 0
-1444 0
1445 0
-1446 0
1447 0
1448 0
1449 0
-1450 0
-1451 0
-1452 0
-1453 0
-1454 0
1455 0
1456 0
-1457 0
1458 0
-1459 0
-1460 0
-1461 0
1462 0
1463 0
-1464 0
-1465 0
1466 0
-1467 0
1468 0
-1469 0
-1470 0
1471 0
1472 0
c constant32 (1732584193)
513 0
-514 0
-515 0
-516 0
-517 0
-518 0
-519 0
-520 0
521 0
522 0
-523 0
-524 0
-525 0
526 0
-527 0
-528 0
529 0
-530 0
531 0
-532 0
-533 0
-534 0
535 0
-536 0
537 0
538 0
539 0
-540 0
-541 0
542 0
543 0
-544 0
c constant32 (4023233417)
545 0
-546 0
-547 0
548 0
-549 0
-550 0
-551 0
552 0
553 0
554 0
-555 0
556 0
-557 0
558 0
-559 0
560 0
561 0
-562 0
563 0
564 0
-565 0
-566 0
567 0
568 0
569 0
570 0
571 0
572 0
-573 0
574 0
575 0
576 0
c constant32 (2562383102)
-577 0
578 0
579 0
580 0
581 0
582 0
583 0
584 0
-585 0
-586 0
587 0
588 0
589 0
-590 0
591 0
592 0
-593 0
594 0
-595 0
596 0
597 0
598 0
-599 0
600 0
-601 0
-602 0
-603 0
604 0
605 0
-606 0
-607 0
608 0
c constant32 (271733878)
-609 0
610 0
611 0
-612 0
613 0
614 0
615 0
-616 0
-617 0
-618 0
619 0
-620 0
621 0
-622 0
623 0
-624 0
-625 0
626 0
-627 0
-628 0
629 0
630 0
-631 0
-632 0
-633 0
-634 0
-635 0
-636 0
637 0
-638 0
-639 0
-640 0
c constant32 (3285377520)
-641 0
-642 0
-643 0
-644 0
645 0
646 0
647 0
648 0
649 0
-650 0
-651 0
-652 0
-653 0
654 0
655 0
656 0
-657 0
658 0
-659 0
-660 0
661 0
-662 0
663 0
664 0
665 0
666 0
-667 0
-668 0
-669 0
-670 0
671 0
672 0
c var 1473/32 f[0]
-1473 -545 577 0
-1473 545 609 0
-1473 577 609 0
1473 -545 -577 0
1473 545 -609 0
1473 -577 -609 0
-1474 -546 578 0
-1474 546 610 0
-1474 578 610 0
1474 -546 -578 0
1474 546 -610 0
1474 -578 -610 0
-1475 -547 579 0
-1475 547 611 0
-1475 579 611 0
1475 -547 -579 0
1475 547 -611 0
1475 -579 -611 0
-1476 -548 580 0
-1476 548 612 0
-1476 580 612 0
1476 -548 -580 0
1476 548 -612 0
1476 -580 -612 0
-1477 -549 581 0
-1477 549 613 0
-1477 581 613 0
1477 -549 -581 0
1477 549 -613 0
1477 -581 -613 0
-1478 -550 582 0
-1478 550 614 0
-1478 582 614 0
1478 -550 -582 0
1478 550 -614 0
1478 -582 -614 0
-1479 -551 583 0
-1479 551 615 0
-1479 583 615 0
1479 -551 -583 0
1479 551 -615 0
1479 -583 -615 0
-1480 -552 584 0
-1480 552 616 0
-1480 584 616 0
1480 -552 -584 0
1480 552 -616 0
1480 -584 -616 0
-1481 -553 585 0
-1481 553 617 0
-1481 585 617 0
1481 -553 -585 0
1481 553 -617 0
1481 -585 -617 0
-1482 -554 586 0
-1482 554 618 0
-1482 586 618 0
1482 -554 -586 0
1482 554 -618 0
1482 -586 -618 0
-1483 -555 587 0
-1483 555 619 0
-1483 587 619 0
1483 -555 -587 0
1483 555 -619 0
1483 -587 -619 0
-1484 -556 588 0
-1484 556 620 0
-1484 588 620 0
1484 -556 -588 0
1484 556 -620 0
1484 -588 -620 0
-1485 -557 589 0
-1485 557 621 0
-1485 589 621 0
1485 -557 -589 0
1485 557 -621 0
1485 -589 -621 0
-1486 -558 590 0
-1486 558 622 0
-1486 590 622 0
1486 -558 -590 0
1486 558 -622 0
1486 -590 -622 0
-1487 -559 591 0
-1487 559 623 0
-1487 591 623 0
1487 -559 -591 0
1487 559 -623 0
1487 -591 -623 0
-1488 -560 592 0
-1488 560 624 0
-1488 592 624 0
1488 -560 -592 0
1488 560 -624 0
1488 -592 -624 0
-1489 -561 593 0
-1489 561 625 0
-1489 593 625 0
1489 -561 -593 0
1489 561 -625 0
1489 -593 -625 0
-1490 -562 594 0
-1490 562 626 0
-1490 594 626 0
1490 -562 -594 0
1490 562 -626 0
1490 -594 -626 0
-1491 -563 595 0
-1491 563 627 0
-1491 595 627 0
1491 -563 -595 0
1491 563 -627 0
1491 -595 -627 0
-1492 -564 596 0
-1492 564 628 0
-1492 596 628 0
1492 -564 -596 0
1492 564 -628 0
1492 -596 -628 0
-1493 -565 597 0
-1493 565 629 0
-1493 597 629 0
1493 -565 -597 0
1493 565 -629 0
1493 -597 -629 0
-1494 -566 598 0
-1494 566 630 0
-1494 598 630 0
1494 -566 -598 0
1494 566 -630 0
1494 -598 -630 0
-1495 -567 599 0
-1495 567 631 0
-1495 599 631 0
1495 -567 -599 0
1495 567 -631 0
1495 -599 -631 0
-1496 -568 600 0
-1496 568 632 0
-1496 600 632 0
1496 -568 -600 0
1496 568 -632 0
1496 -600 -632 0
-1497 -569 601 0
-1497 569 633 0
-1497 601 633 0
1497 -569 -601 0
1497 569 -633 0
1497 -601 -633 0
-1498 -570 602 0
-1498 570 634 0
-1498 602 634 0
1498 -570 -602 0
1498 570 -634 0
1498 -602 -634 0
-1499 -571 603 0
-1499 571 635 0
-1499 603 635 0
1499 -571 -603 0
1499 571 -635 0
1499 -603 -635 0
-1500 -572 604 0
-1500 572 636 0
-1500 604 636 0
1500 -572 -604 0
1500 572 -636 0
1500 -604 -636 0
-1501 -573 605 0
-1501 573 637 0
-1501 605 637 0
1501 -573 -605 0
1501 573 -637 0
1501 -605 -637 0
-1502 -574 606 0
-1502 574 638 0
-1502 606 638 0
1502 -574 -606 0
1502 574 -638 0
1502 -606 -638 0
-1503 -575 607 0
-1503 575 639 0
-1503 607 639 0
1503 -575 -607 0
1503 575 -639 0
1503 -607 -639 0
-1504 -576 608 0
-1504 576 640 0
-1504 608 640 0
1504 -576 -608 0
1504 576 -640 0
1504 -608 -640 0
c add5
c var 1505/2 a[5]_rhs[0]
-540 -1345 -1 -1505 833 0
-1473 -641 -1 -1505 833 0
540 1473 1 -1505 -833 0
641 1345 1 -1505 -833 0
-540 -641 -1345 -1505 833 0
-540 -1473 -641 -1505 833 0
-1473 -641 -1345 -1505 833 0
1473 641 1345 1 -1505 0
540 1473 641 1 -1505 0
540 641 1345 1 -1505 0
-540 -641 -1345 -1 -1505 0
-540 -1473 -1345 -1 -1505 0
540 1473 1345 -1505 -833 0
-540 1473 -641 1345 1 -833 0
540 1473 641 -1505 -833 0
540 641 1345 -1505 -833 0
-540 1473 641 -1345 1 -833 0
540 -1473 -641 1345 1 -833 0
540 -1473 641 -1345 1 -833 0
540 1473 -1506 0
540 1473 641 1345 -1505 0
-540 1473 -641 1345 -1 833 0
540 1473 -641 -1345 -1 833 0
-540 -1473 641 1345 -1 833 0
540 -1473 641 -1345 -1 833 0
-641 -1345 1506 1505 0
-540 -1473 641 -1345 1 833 0
540 1473 -641 1345 1 833 0
-540 -1473 -641 -1 1506 0
540 -1506 -833 0
-1473 -641 -1345 -1 -1505 0
1473 641 1345 -1505 -833 0
-540 -1473 -641 -1345 1506 0
-641 1345 -1 1505 -833 0
-1473 641 -1 1505 -833 0
-540 1473 641 -1 1505 0
540 1345 -1 1505 833 0
-540 -1473 1 1505 -833 0
540 -1345 1 1505 833 0
-540 1473 1 1505 833 0
-1473 1345 1 1505 833 0
1473 -1506 -833 0
-1345 -1 1506 1505 0
-1506 -1505 0
540 1473 641 1345 1 -833 0
-540 -1473 -641 -1345 -1 833 0
c var 1507/2 a[5]_rhs[1]
-1505 -1474 -642 -1346 -2 1507 834 0
-1505 -541 -642 -1346 -2 1507 834 0
-1505 -541 -1474 -642 -2 1507 834 0
-1505 -541 -1474 -642 -1346 1507 834 0
-1505 -541 -1474 -1346 -2 1507 834 0
1505 541 1474 642 -1507 -834 0
1505 541 642 1346 -1507 -834 0
-541 -1474 -642 -1346 -1507 -834 0
1505 541 642 2 -1507 -834 0
1505 541 1474 642 1346 -1507 0
-541 -642 -1346 1508 834 0
541 1474 642 2 -1507 -834 0
1505 642 1346 2 -1507 -834 0
1474 642 1346 2 -1507 -834 0
1505 1474 642 1346 2 -1507 0
541 1474 642 1346 2 -1507 0
-1505 -541 -1474 1508 834 0
-541 -1474 -642 -1346 -2 1507 834 0
-1505 -541 -1474 -642 -1346 -2 -834 0
-1474 -642 -1346 -2 1508 0
1505 541 1474 2 -1507 -834 0
1505 541 1346 2 -1507 -834 0
-1505 -1474 -642 1508 834 0
1505 1474 642 1346 -1507 -834 0
541 1474 642 1346 -1507 -834 0
1505 541 1474 1346 2 -1507 0
1505 -541 1474 -642 1346 2 -834 0
-1505 541 1474 -642 1346 2 -834 0
1505 -541 1474 642 -1346 2 -834 0
1505 541 1474 1346 -1507 -834 0
1505 541 1474 -642 1507 834 0
-1505 -642 -1346 -2 -1507 -834 0
1505 -541 -1474 -642 1346 -2 -834 0
-1505 541 -1474 -642 1346 -2 -834 0
1505 541 -1474 -642 1346 -2 834 0
-1505 -541 -1474 -2 -1507 -834 0
-1505 -541 1474 -642 1346 -2 -834 0
-1505 541 1474 -642 1346 -2 834 0
1505 541 -1474 -642 -1346 2 834 0
-541 642 -1346 -2 -1507 834 0
1505 541 -1474 642 -1346 -2 834 0
-1505 -541 -642 -1346 1508 0
-1505 -541 -1474 -642 1508 0
-1505 -1346 -2 1508 834 0
-1505 541 1474 -642 -1346 2 834 0
1505 -541 -1474 -642 1346 2 834 0
-1505 -541 1474 642 -1346 -2 -834 0
-1505 541 -1474 642 1346 2 -834 0
-1505 541 -1474 642 1346 -2 834 0
1505 541 1474 642 -1346 2 834 0
1505 541 -1474 642 1346 2 834 0
-1505 -541 1474 -642 1346 2 834 0
-1505 -541 -1474 642 -1346 2 -834 0
-1505 -541 1474 642 1346 -2 834 0
-1505 541 -1474 642 -1346 2 834 0
1505 541 -1508 -834 0
-1505 -541 1474 642 -1346 2 834 0
541 1474 -1508 -834 0
1346 -1508 -1507 0
1505 -642 -1346 2 1507 -834 0
1505 642 -1346 -2 1507 -834 0
-1505 541 642 -2 1507 -834 0
-1474 -642 1346 2 1507 -834 0
1505 1474 642 -2 1507 834 0
541 -642 1346 2 1507 834 0
1505 -1474 642 1346 -2 1507 0
-541 642 1346 -2 1507 -834 0
-1505 541 -1346 2 1507 -834 0
1505 -541 -642 -1346 -2 -1507 0
-1505 541 1474 642 1507 834 0
-1505 -541 1474 2 1507 -834 0
1474 -642 -1346 -2 -1507 834 0
1505 -541 1474 2 1507 834 0
1505 -1474 642 -1346 2 1507 0
-541 -642 1346 -2 -1507 834 0
-541 -1474 642 1346 2 1507 0
-1505 642 1346 2 1507 834 0
-541 -1474 642 -1346 -2 -1507 0
-1505 -1474 -642 -1346 1508 0
-541 -1474 -2 1508 834 0
-541 -1474 -1346 1508 834 0
1505 1474 -1508 -834 0
-1505 -1474 -1346 -2 1508 0
2 -1508 -1507 0
1505 1474 1346 -1508 0
-642 -2 1508 1507 0
541 -1508 -1507 0
1505 541 1474 642 1346 2 -834 0
c var 1509/2 a[5]_rhs[2]
1506 1507 643 1347 3 -1509 -835 0
1506 1507 542 643 3 -1509 -835 0
1506 1507 1475 643 3 -1509 -835 0
-542 -1475 -643 -1347 -3 1509 835 0
1507 542 643 1347 3 -1509 -835 0
1507 1475 643 1347 3 -1509 -835 0
-1506 -1507 -542 -1475 -643 1509 835 0
-1506 -542 -1475 -643 -3 1509 835 0
1507 542 1475 643 3 -1509 -835 0
-1506 1507 -542 -1475 643 1347 -3 -835 0
-1506 -1475 -643 -1347 -3 1509 835 0
-1506 -542 -643 -1347 -3 1509 835 0
1506 542 643 1347 3 -1509 -835 0
1506 1475 643 1347 3 -1509 -835 0
-1507 -542 -1475 -643 -3 1509 835 0
1506 542 1475 643 3 -1509 -835 0
-1507 -1475 -643 -1347 -3 1509 835 0
-1507 -542 -643 -1347 -3 1509 835 0
542 1475 643 1347 3 -1509 -835 0
-1506 -1507 542 -1475 643 1347 -3 -835 0
1507 542 1475 643 1347 -1509 -835 0
-1506 -1507 -1475 -643 -3 1509 835 0
-1506 -1507 -542 -643 -3 1509 835 0
-1506 -1507 -643 -1347 -3 1509 835 0
1506 1507 542 643 1347 3 -1509 0
1506 1507 1475 643 1347 3 -1509 0
-1506 -542 -1475 -1347 -3 1509 835 0
1506 1507 542 1475 643 3 -1509 0
1507 542 1475 643 1347 3 -1509 0
-1507 -542 -1475 -1347 -3 1509 835 0
-1506 -1507 -542 -1475 -3 1509 835 0
1506 542 1475 643 1347 3 -1509 0
-1506 -1507 -1475 -1347 -3 1509 835 0
-1506 -1507 -542 -1347 -3 1509 835 0
1506 1507 542 1475 643 1347 -1509 0
-1506 -542 -1475 -643 -1347 -3 1509 0
1506 1507 542 1347 3 -1509 -835 0
1506 1507 542 1475 3 -1509 -835 0
1506 -542 1475 -643 -1347 -3 -1509 0
-1507 -542 -1475 -643 -1347 -3 1509 0
1507 542 1475 1347 3 -1509 -835 0
-1475 -643 -3 1510 835 0
-1506 -1507 -542 -1475 -643 -3 1509 0
-1506 -1507 -1475 -643 -1347 -3 1509 0
-1506 -1507 -542 -643 -1347 -3 1509 0
1506 542 1475 1347 3 -1509 -835 0
1507 542 1475 -1510 -835 0
1506 1507 542 1475 643 -1509 -835 0
-1507 -643 -1347 -3 1510 0
1506 542 1475 -1510 -835 0
-1506 1507 -542 -1475 -643 -1347 3 835 0
1506 1507 542 1475 -643 1347 -3 -835 0
1506 -1507 -542 -1475 -643 -1347 3 835 0
1506 1507 542 1475 1347 3 -1509 0
-1506 -1507 -542 -1475 -1347 -3 1509 0
-1506 -1507 542 -1475 -643 -1347 3 835 0
-1506 -1507 -542 1475 -643 -1347 3 835 0
1506 1507 542 -1475 643 1347 -3 -835 0
1506 1507 -542 1475 643 1347 -3 -835 0
-1506 -1507 -542 -1475 643 -1347 3 835 0
-1507 542 643 -1347 3 1509 -835 0
1506 1507 1475 1347 3 -1509 -835 0
1506 1507 542 -1510 -835 0
-1506 -1507 -542 -1475 -643 -1347 1509 0
-1506 -542 -643 -3 1510 0
-1507 -542 -643 -3 1510 0
1506 542 1347 3 -1510 0
1506 -1507 -542 -1475 -643 1347 3 -835 0
1506 1507 -542 -1475 -643 1347 -3 -835 0
-1507 -542 -1475 -3 1510 0
1506 -1507 542 -1475 -643 -1347 3 -835 0
-1506 -1507 542 -1475 -643 1347 3 -835 0
-1506 1507 542 -1475 -643 1347 -3 -835 0
1506 1507 -542 643 3 1509 835 0
-1506 1507 -542 -1475 643 -1347 3 -835 0
-1506 -1507 -1475 643 -1347 3 -1509 0
-1507 -542 643 -1347 3 -1509 835 0
1506 1507 542 -1475 -643 -1347 3 835 0
1506 1507 -542 1475 -643 -1347 3 835 0
1506 -1507 -542 -1475 643 -1347 3 -835 0
1506 1507 -542 -1475 643 -1347 -3 -835 0
-1506 -1507 542 1475 -643 1347 -3 -835 0
-1506 1507 -542 1475 -643 1347 3 835 0
1506 -1507 1475 643 3 1509 835 0
-1506 1507 542 -1475 643 -1347 -3 -835 0
-1506 1507 -542 1475 643 -1347 -3 -835 0
1506 -1507 -542 1475 -643 1347 3 835 0
-1507 1475 643 -1347 -3 -1509 835 0
1506 1507 -542 1475 -643 1347 -3 835 0
1506 -1507 542 1475 -643 -1347 3 835 0
1506 1507 542 1475 -643 -1347 -3 835 0
-1506 1507 542 1475 -643 1347 -3 835 0
-1506 -1507 -542 1475 643 1347 -3 -835 0
-1506 542 1475 643 1347 1509 835 0
-1506 1507 -542 -1475 643 1347 3 835 0
1506 -1507 542 1475 -643 1347 -3 835 0
1506 -1507 542 1475 643 1347 -3 -835 0
1506 -1507 -542 -1475 643 1347 3 835 0
1506 1507 -542 -1475 643 1347 -3 835 0
1506 -1507 542 -1475 643 -1347 3 835 0
1506 1507 542 -1475 643 -1347 -3 835 0
1506 1507 -542 1475 643 -1347 -3 835 0
-1506 -1507 542 -1475 643 1347 3 835 0
-1506 -1507 -542 1475 643 1347 3 835 0
-1506 1507 542 -1475 643 1347 -3 835 0
-1506 1507 -542 1475 643 1347 -3 835 0
-1506 -1507 542 1475 643 -1347 3 835 0
-1506 1507 542 1475 643 -1347 -3 835 0
1506 -1507 542 -1475 643 1347 -3 835 0
-542 -1475 -643 -1347 1510 0
1506 1475 3 -1510 -835 0
1506 -1475 -643 -1347 -3 -1509 -835 0
542 1475 -643 -1347 3 1509 -835 0
-1507 -1475 -643 1347 -3 -1509 -835 0
-1506 1475 -643 -1347 -3 -1509 -835 0
-1506 1475 -643 1347 3 1509 -835 0
-1507 -542 -643 -1347 1510 0
1507 -542 1475 -1347 3 1509 -835 0
-1506 -1507 -542 -643 1510 0
1506 1507 -1475 -1347 3 1509 -835 0
1506 -542 1475 -643 1347 1509 -835 0
1507 542 643 3 -1510 0
-1506 1507 542 -1347 3 1509 -835 0
-1506 -1507 -542 -1347 1510 0
1506 -1507 542 -643 1347 1509 -835 0
-1506 1507 542 -1475 -643 -1347 -1509 0
-1507 -542 643 -1347 -3 -1509 -835 0
-1506 -542 643 1347 3 1509 -835 0
1507 542 1475 -643 3 1509 835 0
1506 -542 -1475 -643 1347 -1509 835 0
-1506 -1507 542 -1347 -3 -1509 -835 0
-1506 1507 -1475 -643 1347 -1509 835 0
-1507 1475 643 -1347 3 1509 -835 0
1506 -542 -1475 643 1347 1509 -835 0
1506 -1507 542 -1475 -643 -1509 835 0
-1506 -1507 -542 -1475 1347 3 -1509 0
-1506 1507 1475 1347 -3 1509 -835 0
-1506 542 1475 -643 -1347 -1509 835 0
-1506 -1507 542 -643 1347 -1509 835 0
1506 1507 -542 1347 3 1509 835 0
-1506 542 -1475 643 1347 1509 -835 0
1506 -1507 542 -1475 643 1509 -835 0
1506 -1507 -542 1475 643 1509 -835 0
-1506 1507 -542 1475 -1347 -1509 835 0
-1506 -1507 542 1475 643 1509 -835 0
1506 -542 -1475 643 -1347 -1509 835 0
-1507 542 -1475 643 -1347 -3 -1509 0
-1506 1507 -1475 643 -1347 -1509 835 0
-1506 1507 1475 643 3 1509 835 0
-1507 -542 1475 643 -3 -1509 835 0
1506 1507 542 1347 -3 1509 835 0
-1507 542 1475 1347 3 1509 835 0
1506 1475 643 1347 -3 1509 835 0
1506 542 1475 643 -1347 1509 835 0
1507 1347 3 -1510 -835 0
-1506 -542 -1475 -643 1510 0
1506 1507 1475 -1510 -835 0
643 1347 -1510 -1509 0
-1475 1510 1509 835 0
-1506 -542 -643 -1347 1510 0
-1506 -1507 -643 -1347 1510 0
1507 542 1347 3 -1510 0
-1506 -542 -1475 -3 1510 0
-1506 -1507 -3 1510 835 0
3 -1510 -1509 -835 0
1507 -1510 -1509 -835 0
1475 1347 -1510 -1509 0
1506 1475 -1510 -1509 0
-1475 -643 1510 1509 0
1506 1507 -1510 -1509 0
-1347 -3 1510 1509 0
1506 1507 542 1475 643 1347 3 -835 0
-1506 -1507 -542 -1475 -643 -1347 -3 835 0
c var 1511/2 a[5]_rhs[3]
1508 1509 644 1348 4 -1511 -836 0
1508 1509 543 644 4 -1511 -836 0
1508 1509 1476 644 4 -1511 -836 0
-543 -1476 -644 -1348 -4 1511 836 0
1509 543 644 1348 4 -1511 -836 0
1509 1476 644 1348 4 -1511 -836 0
-1508 -1509 -543 -1476 -644 1511 836 0
-1508 -543 -1476 -644 -4 1511 836 0
1509 543 1476 644 4 -1511 -836 0
-1508 1509 -543 -1476 644 1348 -4 -836 0
-1508 -1476 -644 -1348 -4 1511 836 0
-1508 -543 -644 -1348 -4 1511 836 0
1508 543 644 1348 4 -1511 -836 0
1508 1476 644 1348 4 -1511 -836 0
-1509 -543 -1476 -644 -4 1511 836 0
1508 543 1476 644 4 -1511 -836 0
-1509 -1476 -644 -1348 -4 1511 836 0
-1509 -543 -644 -1348 -4 1511 836 0
543 1476 644 1348 4 -1511 -836 0
-1508 -1509 543 -1476 644 1348 -4 -836 0
1509 543 1476 644 1348 -1511 -836 0
-1508 -1509 -1476 -644 -4 1511 836 0
-1508 -1509 -543 -644 -4 1511 836 0
-1508 -1509 -644 -1348 -4 1511 836 0
1508 1509 543 644 1348 4 -1511 0
1508 1509 1476 644 1348 4 -1511 0
-1508 -543 -1476 -1348 -4 1511 836 0
1508 1509 543 1476 644 4 -1511 0
1509 543 1476 644 1348 4 -1511 0
-1509 -543 -1476 -1348 -4 1511 836 0
-1508 -1509 -543 -1476 -4 1511 836 0
1508 543 1476 644 1348 4 -1511 0
-1508 -1509 -1476 -1348 -4 1511 836 0
-1508 -1509 -543 -1348 -4 1511 836 0
1508 1509 543 1476 644 1348 -1511 0
-1508 -543 -1476 -644 -1348 -4 1511 0
1508 1509 543 1348 4 -1511 -836 0
1508 1509 543 1476 4 -1511 -836 0
1508 -543 1476 -644 -1348 -4 -1511 0
-1509 -543 -1476 -644 -1348 -4 1511 0
1509 543 1476 1348 4 -1511 -836 0
-1476 -644 -4 1512 836 0
-1508 -1509 -543 -1476 -644 -4 1511 0
-1508 -1509 -1476 -644 -1348 -4 1511 0
-1508 -1509 -543 -644 -1348 -4 1511 0
1508 543 1476 1348 4 -1511 -836 0
1509 543 1476 -1512 -836 0
1508 1509 543 1476 644 -1511 -836 0
-1509 -644 -1348 -4 1512 0
1508 543 1476 -1512 -836 0
-1508 1509 -543 -1476 -644 -1348 4 836 0
1508 1509 543 1476 -644 1348 -4 -836 0
1508 -1509 -543 -1476 -644 -1348 4 836 0
1508 1509 543 1476 1348 4 -1511 0
-1508 -1509 -543 -1476 -1348 -4 1511 0
-1508 -1509 543 -1476 -644 -1348 4 836 0
-1508 -1509 -543 1476 -644 -1348 4 836 0
1508 1509 543 -1476 644 1348 -4 -836 0
1508 1509 -543 1476 644 1348 -4 -836 0
-1508 -1509 -543 -1476 644 -1348 4 836 0
-1509 543 644 -1348 4 1511 -836 0
1508 1509 1476 1348 4 -1511 -836 0
1508 1509 543 -1512 -836 0
-1508 -1509 -543 -1476 -644 -1348 1511 0
-1508 -543 -644 -4 1512 0
-1509 -543 -644 -4 1512 0
1508 543 1348 4 -1512 0
1508 -1509 -543 -1476 -644 1348 4 -836 0
1508 1509 -543 -1476 -644 1348 -4 -836 0
-1509 -543 -1476 -4 1512 0
1508 -1509 543 -1476 -644 -1348 4 -836 0
-1508 -1509 543 -1476 -644 1348 4 -836 0
-1508 1509 543 -1476 -644 1348 -4 -836 0
1508 1509 -543 644 4 1511 836 0
-1508 1509 -543 -1476 644 -1348 4 -836 0
-1508 -1509 -1476 644 -1348 4 -1511 0
-1509 -543 644 -1348 4 -1511 836 0
1508 1509 543 -1476 -644 -1348 4 836 0
1508 1509 -543 1476 -644 -1348 4 836 0
1508 -1509 -543 -1476 644 -1348 4 -836 0
1508 1509 -543 -1476 644 -1348 -4 -836 0
-1508 -1509 543 1476 -644 1348 -4 -836 0
-1508 1509 -543 1476 -644 1348 4 836 0
1508 -1509 1476 644 4 1511 836 0
-1508 1509 543 -1476 644 -1348 -4 -836 0
-1508 1509 -543 1476 644 -1348 -4 -836 0
1508 -1509 -543 1476 -644 1348 4 836 0
-1509 1476 644 -1348 -4 -1511 836 0
1508 1509 -543 1476 -644 1348 -4 836 0
1508 -1509 543 1476 -644 -1348 4 836 0
1508 1509 543 1476 -644 -1348 -4 836 0
-1508 1509 543 1476 -644 1348 -4 836 0
-1508 -1509 -543 1476 644 1348 -4 -836 0
-1508 543 1476 644 1348 1511 836 0
-1508 1509 -543 -1476 644 1348 4 836 0
1508 -1509 543 1476 -644 1348 -4 836 0
1508 -1509 543 1476 644 1348 -4 -836 0
1508 -1509 -543 -1476 644 1348 4 836 0
1508 1509 -543 -1476 644 1348 -4 836 0
1508 -1509 543 -1476 644 -1348 4 836 0
1508 1509 543 -1476 644 -1348 -4 836 0
1508 1509 -543 1476 644 -1348 -4 836 0
-1508 -1509 543 -1476 644 1348 4 836 0
-1508 -1509 -543 1476 644 1348 4 836 0
-1508 1509 543 -1476 644 1348 -4 836 0
-1508 1509 -543 1476 644 1348 -4 836 0
-1508 -1509 543 1476 644 -1348 4 836 0
-1508 1509 543 1476 644 -1348 -4 836 0
1508 -1509 543 -1476 644 1348 -4 836 0
-543 -1476 -644 -1348 1512 0
1508 1476 4 -1512 -836 0
1508 -1476 -644 -1348 -4 -1511 -836 0
543 1476 -644 -1348 4 1511 -836 0
-1509 -1476 -644 1348 -4 -1511 -836 0
-1508 1476 -644 -1348 -4 -1511 -836 0
-1508 1476 -644 1348 4 1511 -836 0
-1509 -543 -644 -1348 1512 0
1509 -543 1476 -1348 4 1511 -836 0
-1508 -1509 -543 -644 1512 0
1508 1509 -1476 -1348 4 1511 -836 0
1508 -543 1476 -644 1348 1511 -836 0
1509 543 644 4 -1512 0
-1508 1509 543 -1348 4 1511 -836 0
-1508 -1509 -543 -1348 1512 0
1508 -1509 543 -644 1348 1511 -836 0
-1508 1509 543 -1476 -644 -1348 -1511 0
-1509 -543 644 -1348 -4 -1511 -836 0
-1508 -543 644 1348 4 1511 -836 0
1509 543 1476 -644 4 1511 836 0
1508 -543 -1476 -644 1348 -1511 836 0
-1508 -1509 543 -1348 -4 -1511 -836 0
-1508 1509 -1476 -644 1348 -1511 836 0
-1509 1476 644 -1348 4 1511 -836 0
1508 -543 -1476 644 1348 1511 -836 0
1508 -1509 543 -1476 -644 -1511 836 0
-1508 -1509 -543 -1476 1348 4 -1511 0
-1508 1509 1476 1348 -4 1511 -836 0
-1508 543 1476 -644 -1348 -1511 836 0
-1508 -1509 543 -644 1348 -1511 836 0
1508 1509 -543 1348 4 1511 836 0
-1508 543 -1476 644 1348 1511 -836 0
1508 -1509 543 -1476 644 1511 -836 0
1508 -1509 -543 1476 644 1511 -836 0
-1508 1509 -543 1476 -1348 -1511 836 0
-1508 -1509 543 1476 644 1511 -836 0
1508 -543 -1476 644 -1348 -1511 836 0
-1509 543 -1476 644 -1348 -4 -1511 0
-1508 1509 -1476 644 -1348 -1511 836 0
-1508 1509 1476 644 4 1511 836 0
-1509 -543 1476 644 -4 -1511 836 0
1508 1509 543 1348 -4 1511 836 0
-1509 543 1476 1348 4 1511 836 0
1508 1476 644 1348 -4 1511 836 0
1508 543 1476 644 -1348 1511 836 0
1509 1348 4 -1512 -836 0
-1508 -543 -1476 -644 1512 0
1508 1509 1476 -1512 -836 0
644 1348 -1512 -1511 0
-1476 1512 1511 836 0
-1508 -543 -644 -1348 1512 0
-1508 -1509 -644 -1348 1512 0
1509 543 1348 4 -1512 0
-1508 -543 -1476 -4 1512 0
-1508 -1509 -4 1512 836 0
4 -1512 -1511 -836 0
1509 -1512 -1511 -836 0
1476 1348 -1512 -1511 0
1508 1476 -1512 -1511 0
-1476 -644 1512 1511 0
1508 1509 -1512 -1511 0
-1348 -4 1512 1511 0
1508 1509 543 1476 644 1348 4 -836 0
-1508 -1509 -543 -1476 -644 -1348 -4 836 0
c var 1513/2 a[5]_rhs[4]
1510 1511 645 1349 5 -1513 -837 0
1510 1511 544 645 5 -1513 -837 0
1510 1511 1477 645 5 -1513 -837 0
-544 -1477 -645 -1349 -5 1513 837 0
1511 544 645 1349 5 -1513 -837 0
1511 1477 645 1349 5 -1513 -837 0
-1510 -1511 -544 -1477 -645 1513 837 0
-1510 -544 -1477 -645 -5 1513 837 0
1511 544 1477 645 5 -1513 -837 0
-1510 1511 -544 -1477 645 1349 -5 -837 0
-1510 -1477 -645 -1349 -5 1513 837 0
-1510 -544 -645 -1349 -5 1513 837 0
1510 544 645 1349 5 -1513 -837 0
1510 1477 645 1349 5 -1513 -837 0
-1511 -544 -1477 -645 -5 1513 837 0
1510 544 1477 645 5 -1513 -837 0
-1511 -1477 -645 -1349 -5 1513 837 0
-1511 -544 -645 -1349 -5 1513 837 0
544 1477 645 1349 5 -1513 -837 0
-1510 -1511 544 -1477 645 1349 -5 -837 0
1511 544 1477 645 1349 -1513 -837 0
-1510 -1511 -1477 -645 -5 1513 837 0
-1510 -1511 -544 -645 -5 1513 837 0
-1510 -1511 -645 -1349 -5 1513 837 0
1510 1511 544 645 1349 5 -1513 0
1510 1511 1477 645 1349 5 -1513 0
-1510 -544 -1477 -1349 -5 1513 837 0
1510 1511 544 1477 645 5 -1513 0
1511 544 1477 645 1349 5 -1513 0
-1511 -544 -1477 -1349 -5 1513 837 0
-1510 -1511 -544 -1477 -5 1513 837 0
1510 544 1477 645 1349 5 -1513 0
-1510 -1511 -1477 -1349 -5 1513 837 0
-1510 -1511 -544 -1349 -5 1513 837 0
1510 1511 544 1477 645 1349 -1513 0
-1510 -544 -1477 -645 -1349 -5 1513 0
1510 1511 544 1349 5 -1513 -837 0
1510 1511 544 1477 5 -1513 -837 0
1510 -544 1477 -645 -1349 -5 -1513 0
-1511 -544 -1477 -645 -1349 -5 1513 0
1511 544 1477 1349 5 -1513 -837 0
-1477 -645 -5 1514 837 0
-1510 -1511 -544 -1477 -645 -5 1513 0
-1510 -1511 -1477 -645 -1349 -5 1513 0
-1510 -1511 -544 -645 -1349 -5 1513 0
1510 544 1477 1349 5 -1513 -837 0
1511 544 1477 -1514 -837 0
1510 1511 544 1477 645 -1513 -837 0
-1511 -645 -1349 -5 1514 0
1510 544 1477 -1514 -837 0
-1510 1511 -544 -1477 -645 -1349 5 837 0
1510 1511 544 1477 -645 1349 -5 -837 0
1510 -1511 -544 -1477 -645 -1349 5 837 0
1510 1511 544 1477 1349 5 -1513 0
-1510 -1511 -544 -1477 -1349 -5 1513 0
-1510 -1511 544 -1477 -645 -1349 5 837 0
-1510 -1511 -544 1477 -645 -1349 5 837 0
1510 1511 544 -1477 645 1349 -5 -837 0
1510 1511 -544 1477 645 1349 -5 -837 0
-1510 -1511 -544 -1477 645 -1349 5 837 0
-1511 544 645 -1349 5 1513 -837 0
1510 1511 1477 1349 5 -1513 -837 0
1510 1511 544 -1514 -837 0
-1510 -1511 -544 -1477 -645 -1349 1513 0
-1510 -544 -645 -5 1514 0
-1511 -544 -645 -5 1514 0
1510 544 1349 5 -1514 0
1510 -1511 -544 -1477 -645 1349 5 -837 0
1510 1511 -544 -1477 -645 1349 -5 -837 0
-1511 -544 -1477 -5 1514 0
1510 -1511 544 -1477 -645 -1349 5 -837 0
-1510 -1511 544 -1477 -645 1349 5 -837 0
-1510 1511 544 -1477 -645 1349 -5 -837 0
1510 1511 -544 645 5 1513 837 0
-1510 1511 -544 -1477 645 -1349 5 -837 0
-1510 -1511 -1477 645 -1349 5 -1513 0
-1511 -544 645 -1349 5 -1513 837 0
1510 1511 544 -1477 -645 -1349 5 837 0
1510 1511 -544 1477 -645 -1349 5 837 0
1510 -1511 -544 -1477 645 -1349 5 -837 0
1510 1511 -544 -1477 645 -1349 -5 -837 0
-1510 -1511 544 1477 -645 1349 -5 -837 0
-1510 1511 -544 1477 -645 1349 5 837 0
1510 -1511 1477 645 5 1513 837 0
-1510 1511 544 -1477 645 -1349 -5 -837 0
-1510 1511 -544 1477 645 -1349 -5 -837 0
1510 -1511 -544 1477 -645 1349 5 837 0
-1511 1477 645 -1349 -5 -1513 837 0
1510 1511 -544 1477 -645 1349 -5 837 0
1510 -1511 544 1477 -645 -1349 5 837 0
1510 1511 544 1477 -645 -1349 -5 837 0
-1510 1511 544 1477 -645 1349 -5 837 0
-1510 -1511 -544 1477 645 1349 -5 -837 0
-1510 544 1477 645 1349 1513 837 0
-1510 1511 -544 -1477 645 1349 5 837 0
1510 -1511 544 1477 -645 1349 -5 837 0
1510 -1511 544 1477 645 1349 -5 -837 0
1510 -1511 -544 -1477 645 1349 5 837 0
1510 1511 -544 -1477 645 1349 -5 837 0
1510 -1511 544 -1477 645 -1349 5 837 0
1510 1511 544 -1477 645 -1349 -5 837 0
1510 1511 -544 1477 645 -1349 -5 837 0
-1510 -1511 544 -1477 645 1349 5 837 0
-1510 -1511 -544 1477 645 1349 5 837 0
-1510 1511 544 -1477 645 1349 -5 837 0
-1510 1511 -544 1477 645 1349 -5 837 0
-1510 -1511 544 1477 645 -1349 5 837 0
-1510 1511 544 1477 645 -1349 -5 837 0
1510 -1511 544 -1477 645 1349 -5 837 0
-544 -1477 -645 -1349 1514 0
1510 1477 5 -1514 -837 0
1510 -1477 -645 -1349 -5 -1513 -837 0
544 1477 -645 -1349 5 1513 -837 0
-1511 -1477 -645 1349 -5 -1513 -837 0
-1510 1477 -645 -1349 -5 -1513 -837 0
-1510 1477 -645 1349 5 1513 -837 0
-1511 -544 -645 -1349 1514 0
1511 -544 1477 -1349 5 1513 -837 0
-1510 -1511 -544 -645 1514 0
1510 1511 -1477 -1349 5 1513 -837 0
1510 -544 1477 -645 1349 1513 -837 0
1511 544 645 5 -1514 0
-1510 1511 544 -1349 5 1513 -837 0
-1510 -1511 -544 -1349 1514 0
1510 -1511 544 -645 1349 1513 -837 0
-1510 1511 544 -1477 -645 -1349 -1513 0
-1511 -544 645 -1349 -5 -1513 -837 0
-1510 -544 645 1349 5 1513 -837 0
1511 544 1477 -645 5 1513 837 0
1510 -544 -1477 -645 1349 -1513 837 0
-1510 -1511 544 -1349 -5 -1513 -837 0
-1510 1511 -1477 -645 1349 -1513 837 0
-1511 1477 645 -1349 5 1513 -837 0
1510 -544 -1477 645 1349 1513 -837 0
1510 -1511 544 -1477 -645 -1513 837 0
-1510 -1511 -544 -1477 1349 5 -1513 0
-1510 1511 1477 1349 -5 1513 -837 0
-1510 544 1477 -645 -1349 -1513 837 0
-1510 -1511 544 -645 1349 -1513 837 0
1510 1511 -544 1349 5 1513 837 0
-1510 544 -1477 645 1349 1513 -837 0
1510 -1511 544 -1477 645 1513 -837 0
1510 -1511 -544 1477 645 1513 -837 0
-1510 1511 -544 1477 -1349 -1513 837 0
-1510 -1511 544 1477 645 1513 -837 0
1510 -544 -1477 645 -1349 -1513 837 0
-1511 544 -1477 645 -1349 -5 -1513 0
-1510 1511 -1477 645 -1349 -1513 837 0
-1510 1511 1477 645 5 1513 837 0
-1511 -544 1477 645 -5 -1513 837 0
1510 1511 544 1349 -5 1513 837 0
-1511 544 1477 1349 5 1513 837 0
1510 1477 645 1349 -5 1513 837 0
1510 544 1477 645 -1349 1513 837 0
1511 1349 5 -1514 -837 0
-1510 -544 -1477 -645 1514 0
1510 1511 1477 -1514 -837 0
645 1349 -1514 -1513 0
-1477 1514 1513 837 0
-1510 -544 -645 -1349 1514 0
-1510 -1511 -645 -1349 1514 0
1511 544 1349 5 -1514 0
-1510 -544 -1477 -5 1514 0
-1510 -1511 -5 1514 837 0
5 -1514 -1513 -837 0
1511 -1514 -1513 -837 0
1477 1349 -1514 -1513 0
1510 1477 -1514 -1513 0
-1477 -645 1514 1513 0
1510 1511 -1514 -1513 0
-1349 -5 1514 1513 0
1510 1511 544 1477 645 1349 5 -837 0
-1510 -1511 -544 -1477 -645 -1349 -5 837 0
c var 1515/2 a[5]_rhs[5]
1512 1513 646 1350 6 -1515 -838 0
1512 1513 513 646 6 -1515 -838 0
1512 1513 1478 646 6 -1515 -838 0
-513 -1478 -646 -1350 -6 1515 838 0
1513 513 646 1350 6 -1515 -838 0
1513 1478 646 1350 6 -1515 -838 0
-1512 -1513 -513 -1478 -646 1515 838 0
-1512 -513 -1478 -646 -6 1515 838 0
1513 513 1478 646 6 -1515 -838 0
-1512 1513 -513 -1478 646 1350 -6 -838 0
-1512 -1478 -646 -1350 -6 1515 838 0
-1512 -513 -646 -1350 -6 1515 838 0
1512 513 646 1350 6 -1515 -838 0
1512 1478 646 1350 6 -1515 -838 0
-1513 -513 -1478 -646 -6 1515 838 0
1512 513 1478 646 6 -1515 -838 0
-1513 -1478 -646 -1350 -6 1515 838 0
-1513 -513 -646 -1350 -6 1515 838 0
513 1478 646 1350 6 -1515 -838 0
-1512 -1513 513 -1478 646 1350 -6 -838 0
1513 513 1478 646 1350 -1515 -838 0
-1512 -1513 -1478 -646 -6 1515 838 0
-1512 -1513 -513 -646 -6 1515 838 0
-1512 -1513 -646 -1350 -6 1515 838 0
1512 1513 513 646 1350 6 -1515 0
1512 1513 1478 646 1350 6 -1515 0
-1512 -513 -1478 -1350 -6 1515 838 0
1512 1513 513 1478 646 6 -1515 0
1513 513 1478 646 1350 6 -1515 0
-1513 -513 -1478 -1350 -6 1515 838 0
-1512 -1513 -513 -1478 -6 1515 838 0
1512 513 1478 646 1350 6 -1515 0
-1512 -1513 -1478 -1350 -6 1515 838 0
-1512 -1513 -513 -1350 -6 1515 838 0
1512 1513 513 1478 646 1350 -1515 0
-1512 -513 -1478 -646 -1350 -6 1515 0
1512 1513 513 1350 6 -1515 -838 0
1512 1513 513 1478 6 -1515 -838 0
1512 -513 1478 -646 -1350 -6 -1515 0
-1513 -513 -1478 -646 -1350 -6 1515 0
1513 513 1478 1350 6 -1515 -838 0
-1478 -646 -6 1516 838 0
-1512 -1513 -513 -1478 -646 -6 1515 0
-1512 -1513 -1478 -646 -1350 -6 1515 0
-1512 -1513 -513 -646 -1350 -6 1515 0
1512 513 1478 1350 6 -1515 -838 0
1513 513 1478 -1516 -838 0
1512 1513 513 1478 646 -1515 -838 0
-1513 -646 -1350 -6 1516 0
1512 513 1478 -1516 -838 0
-1512 1513 -513 -1478 -646 -1350 6 838 0
1512 1513 513 1478 -646 1350 -6 -838 0
1512 -1513 -513 -1478 -646 -1350 6 838 0
1512 1513 513 1478 1350 6 -1515 0
-1512 -1513 -513 -1478 -1350 -6 1515 0
-1512 -1513 513 -1478 -646 -1350 6 838 0
-1512 -1513 -513 1478 -646 -1350 6 838 0
1512 1513 513 -1478 646 1350 -6 -838 0
1512 1513 -513 1478 646 1350 -6 -838 0
-1512 -1513 -513 -1478 646 -1350 6 838 0
-1513 513 646 -1350 6 1515 -838 0
1512 1513 1478 1350 6 -1515 -838 0
1512 1513 513 -1516 -838 0
-1512 -1513 -513 -1478 -646 -1350 1515 0
-1512 -513 -646 -6 1516 0
-1513 -513 -646 -6 1516 0
1512 513 1350 6 -1516 0
1512 -1513 -513 -1478 -646 1350 6 -838 0
1512 1513 -513 -1478 -646 1350 -6 -838 0
-1513 -513 -1478 -6 1516 0
1512 -1513 513 -1478 -646 -1350 6 -838 0
-1512 -1513 513 -1478 -646 1350 6 -838 0
-1512 1513 513 -1478 -646 1350 -6 -838 0
1512 1513 -513 646 6 1515 838 0
-1512 1513 -513 -1478 646 -1350 6 -838 0
-1512 -1513 -1478 646 -1350 6 -1515 0
-1513 -513 646 -1350 6 -1515 838 0
1512 1513 513 -1478 -646 -1350 6 838 0
1512 1513 -513 1478 -646 -1350 6 838 0
1512 -1513 -513 -1478 646 -1350 6 -838 0
1512 1513 -513 -1478 646 -1350 -6 -838 0
-1512 -1513 513 1478 -646 1350 -6 -838 0
-1512 1513 -513 1478 -646 1350 6 838 0
1512 -1513 1478 646 6 1515 838 0
-1512 1513 513 -1478 646 -1350 -6 -838 0
-1512 1513 -513 1478 646 -1350 -6 -838 0
1512 -1513 -513 1478 -646 1350 6 838 0
-1513 1478 646 -1350 -6 -1515 838 0
1512 1513 -513 1478 -646 1350 -6 838 0
1512 -1513 513 1478 -646 -1350 6 838 0
1512 1513 513 1478 -646 -1350 -6 838 0
-1512 1513 513 1478 -646 1350 -6 838 0
-1512 -1513 -513 1478 646 1350 -6 -838 0
-1512 513 1478 646 1350 1515 838 0
-1512 1513 -513 -1478 646 1350 6 838 0
1512 -1513 513 1478 -646 1350 -6 838 0
1512 -1513 513 1478 646 1350 -6 -838 0
1512 -1513 -513 -1478 646 1350 6 838 0
1512 1513 -513 -1478 646 1350 -6 838 0
1512 -1513 513 -1478 646 -1350 6 838 0
1512 1513 513 -1478 646 -1350 -6 838 0
1512 1513 -513 1478 646 -1350 -6 838 0
-1512 -1513 513 -1478 646 1350 6 838 0
-1512 -1513 -513 1478 646 1350 6 838 0
-1512 1513 513 -1478 646 1350 -6 838 0
-1512 1513 -513 1478 646 1350 -6 838 0
-1512 -1513 513 1478 646 -1350 6 838 0
-1512 1513 513 1478 646 -1350 -6 838 0
1512 -1513 513 -1478 646 1350 -6 838 0
-513 -1478 -646 -1350 1516 0
1512 1478 6 -1516 -838 0
1512 -1478 -646 -1350 -6 -1515 -838 0
513 1478 -646 -1350 6 1515 -838 0
-1513 -1478 -646 1350 -6 -1515 -838 0
-1512 1478 -646 -1350 -6 -1515 -838 0
-1512 1478 -646 1350 6 1515 -838 0
-1513 -513 -646 -1350 1516 0
1513 -513 1478 -1350 6 1515 -838 0
-1512 -1513 -513 -646 1516 0
1512 1513 -1478 -1350 6 1515 -838 0
1512 -513 1478 -646 1350 1515 -838 0
1513 513 646 6 -1516 0
-1512 1513 513 -1350 6 1515 -838 0
-1512 -1513 -513 -1350 1516 0
1512 -1513 513 -646 1350 1515 -838 0
-1512 1513 513 -1478 -646 -1350 -1515 0
-1513 -513 646 -1350 -6 -1515 -838 0
-1512 -513 646 1350 6 1515 -838 0
1513 513 1478 -646 6 1515 838 0
1512 -513 -1478 -646 1350 -1515 838 0
-1512 -1513 513 -1350 -6 -1515 -838 0
-1512 1513 -1478 -646 1350 -1515 838 0
-1513 1478 646 -1350 6 1515 -838 0
1512 -513 -1478 646 1350 1515 -838 0
1512 -1513 513 -1478 -646 -1515 838 0
-1512 -1513 -513 -1478 1350 6 -1515 0
-1512 1513 1478 1350 -6 1515 -838 0
-1512 513 1478 -646 -1350 -1515 838 0
-1512 -1513 513 -646 1350 -1515 838 0
1512 1513 -513 1350 6 1515 838 0
-1512 513 -1478 646 1350 1515 -838 0
1512 -1513 513 -1478 646 1515 -838 0
1512 -1513 -513 1478 646 1515 -838 0
-1512 1513 -513 1478 -1350 -1515 838 0
-1512 -1513 513 1478 646 1515 -838 0
1512 -513 -1478 646 -1350 -1515 838 0
-1513 513 -1478 646 -1350 -6 -1515 0
-1512 1513 -1478 646 -1350 -1515 838 0
-1512 1513 1478 646 6 1515 838 0
-1513 -513 1478 646 -6 -1515 838 0
1512 1513 513 1350 -6 1515 838 0
-1513 513 1478 1350 6 1515 838 0
1512 1478 646 1350 -6 1515 838 0
1512 513 1478 646 -1350 1515 838 0
1513 1350 6 -1516 -838 0
-1512 -513 -1478 -646 1516 0
1512 1513 1478 -1516 -838 0
646 1350 -1516 -1515 0
-1478 1516 1515 838 0
-1512 -513 -646 -1350 1516 0
-1512 -1513 -646 -1350 1516 0
1513 513 1350 6 -1516 0
-1512 -513 -1478 -6 1516 0
-1512 -1513 -6 1516 838 0
6 -1516 -1515 -838 0
1513 -1516 -1515 -838 0
1478 1350 -1516 -1515 0
1512 1478 -1516 -1515 0
-1478 -646 1516 1515 0
1512 1513 -1516 -1515 0
-1350 -6 1516 1515 0
1512 1513 513 1478 646 1350 6 -838 0
-1512 -1513 -513 -1478 -646 -1350 -6 838 0
c var 1517/2 a[5]_rhs[6]
1514 1515 647 1351 7 -1517 -839 0
1514 1515 514 647 7 -1517 -839 0
1514 1515 1479 647 7 -1517 -839 0
-514 -1479 -647 -1351 -7 1517 839 0
1515 514 647 1351 7 -1517 -839 0
1515 1479 647 1351 7 -1517 -839 0
-1514 -1515 -514 -1479 -647 1517 839 0
-1514 -514 -1479 -647 -7 1517 839 0
1515 514 1479 647 7 -1517 -839 0
-1514 1515 -514 -1479 647 1351 -7 -839 0
-1514 -1479 -647 -1351 -7 1517 839 0
-1514 -514 -647 -1351 -7 1517 839 0
1514 514 647 1351 7 -1517 -839 0
1514 1479 647 1351 7 -1517 -839 0
-1515 -514 -1479 -647 -7 1517 839 0
1514 514 1479 647 7 -1517 -839 0
-1515 -1479 -647 -1351 -7 1517 839 0
-1515 -514 -647 -1351 -7 1517 839 0
514 1479 647 1351 7 -1517 -839 0
-1514 -1515 514 -1479 647 1351 -7 -839 0
1515 514 1479 647 1351 -1517 -839 0
-1514 -1515 -1479 -647 -7 1517 839 0
-1514 -1515 -514 -647 -7 1517 839 0
-1514 -1515 -647 -1351 -7 1517 839 0
1514 1515 514 647 1351 7 -1517 0
1514 1515 1479 647 1351 7 -1517 0
-1514 -514 -1479 -1351 -7 1517 839 0
1514 1515 514 1479 647 7 -1517 0
1515 514 1479 647 1351 7 -1517 0
-1515 -514 -1479 -1351 -7 1517 839 0
-1514 -1515 -514 -1479 -7 1517 839 0
1514 514 1479 647 1351 7 -1517 0
-1514 -1515 -1479 -1351 -7 1517 839 0
-1514 -1515 -514 -1351 -7 1517 839 0
1514 1515 514 1479 647 1351 -1517 0
-1514 -514 -1479 -647 -1351 -7 1517 0
1514 1515 514 1351 7 -1517 -839 0
1514 1515 514 1479 7 -1517 -839 0
1514 -514 1479 -647 -1351 -7 -1517 0
-1515 -514 -1479 -647 -1351 -7 1517 0
1515 514 1479 1351 7 -1517 -839 0
-1479 -647 -7 1518 839 0
-1514 -1515 -514 -1479 -647 -7 1517 0
-1514 -1515 -1479 -647 -1351 -7 1517 0
-1514 -1515 -514 -647 -1351 -7 1517 0
1514 514 1479 1351 7 -1517 -839 0
1515 514 1479 -1518 -839 0
1514 1515 514 1479 647 -1517 -839 0
-1515 -647 -1351 -7 1518 0
1514 514 1479 -1518 -839 0
-1514 1515 -514 -1479 -647 -1351 7 839 0
1514 1515 514 1479 -647 1351 -7 -839 0
1514 -1515 -514 -1479 -647 -1351 7 839 0
1514 1515 514 1479 1351 7 -1517 0
-1514 -1515 -514 -1479 -1351 -7 1517 0
-1514 -1515 514 -1479 -647 -1351 7 839 0
-1514 -1515 -514 1479 -647 -1351 7 839 0
1514 1515 514 -1479 647 1351 -7 -839 0
1514 1515 -514 1479 647 1351 -7 -839 0
-1514 -1515 -514 -1479 647 -1351 7 839 0
-1515 514 647 -1351 7 1517 -839 0
1514 1515 1479 1351 7 -1517 -839 0
1514 1515 514 -1518 -839 0
-1514 -1515 -514 -1479 -647 -1351 1517 0
-1514 -514 -647 -7 1518 0
-1515 -514 -647 -7 1518 0
1514 514 1351 7 -1518 0
1514 -1515 -514 -1479 -647 1351 7 -839 0
1514 1515 -514 -1479 -647 1351 -7 -839 0
-1515 -514 -1479 -7 1518 0
1514 -1515 514 -1479 -647 -1351 7 -839 0
-1514 -1515 514 -1479 -647 1351 7 -839 0
-1514 1515 514 -1479 -647 1351 -7 -839 0
1514 1515 -514 647 7 1517 839 0
-1514 1515 -514 -1479 647 -1351 7 -839 0
-1514 -1515 -1479 647 -1351 7 -1517 0
-1515 -514 647 -1351 7 -1517 839 0
1514 1515 514 -1479 -647 -1351 7 839 0
1514 1515 -514 1479 -647 -1351 7 839 0
1514 -1515 -514 -1479 647 -1351 7 -839 0
1514 1515 -514 -1479 647 -1351 -7 -839 0
-1514 -1515 514 1479 -647 1351 -7 -839 0
-1514 1515 -514 1479 -647 1351 7 839 0
1514 -1515 1479 647 7 1517 839 0
-1514 1515 514 -1479 647 -1351 -7 -839 0
-1514 1515 -514 1479 647 -1351 -7 -839 0
1514 -1515 -514 1479 -647 1351 7 839 0
-1515 1479 647 -1351 -7 -1517 839 0
1514 1515 -514 1479 -647 1351 -7 839 0
1514 -1515 514 1479 -647 -1351 7 839 0
1514 1515 514 1479 -647 -1351 -7 839 0
-1514 1515 514 1479 -647 1351 -7 839 0
-1514 -1515 -514 1479 647 1351 -7 -839 0
-1514 514 1479 647 1351 1517 839 0
-1514 1515 -514 -1479 647 1351 7 839 0
1514 -1515 514 1479 -647 1351 -7 839 0
1514 -1515 514 1479 647 1351 -7 -839 0
1514 -1515 -514 -1479 647 1351 7 839 0
1514 1515 -514 -1479 647 1351 -7 839 0
1514 -1515 514 -1479 647 -1351 7 839 0
1514 1515 514 -1479 647 -1351 -7 839 0
1514 1515 -514 1479 647 -1351 -7 839 0
-1514 -1515 514 -1479 647 1351 7 839 0
-1514 -1515 -514 1479 647 1351 7 839 0
-1514 1515 514 -1479 647 1351 -7 839 0
-1514 1515 -514 1479 647 1351 -7 839 0
-1514 -1515 514 1479 647 -1351 7 839 0
-1514 1515 514 1479 647 -1351 -7 839 0
1514 -1515 514 -1479 647 1351 -7 839 0
-514 -1479 -647 -1351 1518 0
1514 1479 7 -1518 -839 0
1514 -1479 -647 -1351 -7 -1517 -839 0
514 1479 -647 -1351 7 1517 -839 0
-1515 -1479 -647 1351 -7 -1517 -839 0
-1514 1479 -647 -1351 -7 -1517 -839 0
-1514 1479 -647 1351 7 1517 -839 0
-1515 -514 -647 -1351 1518 0
1515 -514 1479 -1351 7 1517 -839 0
-1514 -1515 -514 -647 1518 0
1514 1515 -1479 -1351 7 1517 -839 0
1514 -514 1479 -647 1351 1517 -839 0
1515 514 647 7 -1518 0
-1514 1515 514 -1351 7 1517 -839 0
-1514 -1515 -514 -1351 1518 0
1514 -1515 514 -647 1351 1517 -839 0
-1514 1515 514 -1479 -647 -1351 -1517 0
-1515 -514 647 -1351 -7 -1517 -839 0
-1514 -514 647 1351 7 1517 -839 0
1515 514 1479 -647 7 1517 839 0
1514 -514 -1479 -647 1351 -1517 839 0
-1514 -1515 514 -1351 -7 -1517 -839 0
-1514 1515 -1479 -647 1351 -1517 839 0
-1515 1479 647 -1351 7 1517 -839 0
1514 -514 -1479 647 1351 1517 -839 0
1514 -1515 514 -1479 -647 -1517 839 0
-1514 -1515 -514 -1479 1351 7 -1517 0
-1514 1515 1479 1351 -7 1517 -839 0
-1514 514 1479 -647 -1351 -1517 839 0
-1514 -1515 514 -647 1351 -1517 839 0
1514 1515 -514 1351 7 1517 839 0
-1514 514 -1479 647 1351 1517 -839 0
1514 -1515 514 -1479 647 1517 -839 0
1514 -1515 -514 1479 647 1517 -839 0
-1514 1515 -514 1479 -1351 -1517 839 0
-1514 -1515 514 1479 647 1517 -839 0
1514 -514 -1479 647 -1351 -1517 839 0
-1515 514 -1479 647 -1351 -7 -1517 0
-1514 1515 -1479 647 -1351 -1517 839 0
-1514 1515 1479 647 7 1517 839 0
-1515 -514 1479 647 -7 -1517 839 0
1514 1515 514 1351 -7 1517 839 0
-1515 514 1479 1351 7 1517 839 0
1514 1479 647 1351 -7 1517 839 0
1514 514 1479 647 -1351 1517 839 0
1515 1351 7 -1518 -839 0
-1514 -514 -1479 -647 1518 0
1514 1515 1479 -1518 -839 0
647 1351 -1518 -1517 0
-1479 1518 1517 839 0
-1514 -514 -647 -1351 1518 0
-1514 -1515 -647 -1351 1518 0
1515 514 1351 7 -1518 0
-1514 -514 -1479 -7 1518 0
-1514 -1515 -7 1518 839 0
7 -1518 -1517 -839 0
1515 -1518 -1517 -839 0
1479 1351 -1518 -1517 0
1514 1479 -1518 -1517 0
-1479 -647 1518 1517 0
1514 1515 -1518 -1517 0
-1351 -7 1518 1517 0
1514 1515 514 1479 647 1351 7 -839 0
-1514 -1515 -514 -1479 -647 -1351 -7 839 0
c var 1519/2 a[5]_rhs[7]
1516 1517 648 1352 8 -1519 -840 0
1516 1517 515 648 8 -1519 -840 0
1516 1517 1480 648 8 -1519 -840 0
-515 -1480 -648 -1352 -8 1519 840 0
1517 515 648 1352 8 -1519 -840 0
1517 1480 648 1352 8 -1519 -840 0
-1516 -1517 -515 -1480 -648 1519 840 0
-1516 -515 -1480 -648 -8 1519 840 0
1517 515 1480 648 8 -1519 -840 0
-1516 1517 -515 -1480 648 1352 -8 -840 0
-1516 -1480 -648 -1352 -8 1519 840 0
-1516 -515 -648 -1352 -8 1519 840 0
1516 515 648 1352 8 -1519 -840 0
1516 1480 648 1352 8 -1519 -840 0
-1517 -515 -1480 -648 -8 1519 840 0
1516 515 1480 648 8 -1519 -840 0
-1517 -1480 -648 -1352 -8 1519 840 0
-1517 -515 -648 -1352 -8 1519 840 0
515 1480 648 1352 8 -1519 -840 0
-1516 -1517 515 -1480 648 1352 -8 -840 0
1517 515 1480 648 1352 -1519 -840 0
-1516 -1517 -1480 -648 -8 1519 840 0
-1516 -1517 -515 -648 -8 1519 840 0
-1516 -1517 -648 -1352 -8 1519 840 0
1516 1517 515 648 1352 8 -1519 0
1516 1517 1480 648 1352 8 -1519 0
-1516 -515 -1480 -1352 -8 1519 840 0
1516 1517 515 1480 648 8 -1519 0
1517 515 1480 648 1352 8 -1519 0
-1517 -515 -1480 -1352 -8 1519 840 0
-1516 -1517 -515 -1480 -8 1519 840 0
1516 515 1480 648 1352 8 -1519 0
-1516 -1517 -1480 -1352 -8 1519 840 0
-1516 -1517 -515 -1352 -8 1519 840 0
1516 1517 515 1480 648 1352 -1519 0
-1516 -515 -1480 -648 -1352 -8 1519 0
1516 1517 515 1352 8 -1519 -840 0
1516 1517 515 1480 8 -1519 -840 0
1516 -515 1480 -648 -1352 -8 -1519 0
-1517 -515 -1480 -648 -1352 -8 1519 0
1517 515 1480 1352 8 -1519 -840 0
-1480 -648 -8 1520 840 0
-1516 -1517 -515 -1480 -648 -8 1519 0
-1516 -1517 -1480 -648 -1352 -8 1519 0
-1516 -1517 -515 -648 -1352 -8 1519 0
1516 515 1480 1352 8 -1519 -840 0
1517 515 1480 -1520 -840 0
1516 1517 515 1480 648 -1519 -840 0
-1517 -648 -1352 -8 1520 0
1516 515 1480 -1520 -840 0
-1516 1517 -515 -1480 -648 -1352 8 840 0
1516 1517 515 1480 -648 1352 -8 -840 0
1516 -1517 -515 -1480 -648 -1352 8 840 0
1516 1517 515 1480 1352 8 -1519 0
-1516 -1517 -515 -1480 -1352 -8 1519 0
-1516 -1517 515 -1480 -648 -1352 8 840 0
-1516 -1517 -515 1480 -648 -1352 8 840 0
1516 1517 515 -1480 648 1352 -8 -840 0
1516 1517 -515 1480 648 1352 -8 -840 0
-1516 -1517 -515 -1480 648 -1352 8 840 0
-1517 515 648 -1352 8 1519 -840 0
1516 1517 1480 1352 8 -1519 -840 0
1516 1517 515 -1520 -840 0
-1516 -1517 -515 -1480 -648 -1352 1519 0
-1516 -515 -648 -8 1520 0
-1517 -515 -648 -8 1520 0
1516 515 1352 8 -1520 0
1516 -1517 -515 -1480 -648 1352 8 -840 0
1516 1517 -515 -1480 -648 1352 -8 -840 0
-1517 -515 -1480 -8 1520 0
1516 -1517 515 -1480 -648 -1352 8 -840 0
-1516 -1517 515 -1480 -648 1352 8 -840 0
-1516 1517 515 -1480 -648 1352 -8 -840 0
1516 1517 -515 648 8 1519 840 0
-1516 1517 -515 -1480 648 -1352 8 -840 0
-1516 -1517 -1480 648 -1352 8 -1519 0
-1517 -515 648 -1352 8 -1519 840 0
1516 1517 515 -1480 -648 -1352 8 840 0
1516 1517 -515 1480 -648 -1352 8 840 0
1516 -1517 -515 -1480 648 -1352 8 -840 0
1516 1517 -515 -1480 648 -1352 -8 -840 0
-1516 -1517 515 1480 -648 1352 -8 -840 0
-1516 1517 -515 1480 -648 1352 8 840 0
1516 -1517 1480 648 8 1519 840 0
-1516 1517 515 -1480 648 -1352 -8 -840 0
-1516 1517 -515 1480 648 -1352 -8 -840 0
1516 -1517 -515 1480 -648 1352 8 840 0
-1517 1480 648 -1352 -8 -1519 840 0
1516 1517 -515 1480 -648 1352 -8 840 0
1516 -1517 515 1480 -648 -1352 8 840 0
1516 1517 515 1480 -648 -1352 -8 840 0
-1516 1517 515 1480 -648 1352 -8 840 0
-1516 -1517 -515 1480 648 1352 -8 -840 0
-1516 515 1480 648 1352 1519 840 0
-1516 1517 -515 -1480 648 1352 8 840 0
1516 -1517 515 1480 -648 1352 -8 840 0
1516 -1517 515 1480 648 1352 -8 -840 0
1516 -1517 -515 -1480 648 1352 8 840 0
1516 1517 -515 -1480 648 1352 -8 840 0
1516 -1517 515 -1480 648 -1352 8 840 0
1516 1517 515 -1480 648 -1352 -8 840 0
1516 1517 -515 1480 648 -1352 -8 840 0
-1516 -1517 515 -1480 648 1352 8 840 0
-1516 -1517 -515 1480 648 1352 8 840 0
-1516 1517 515 -1480 648 1352 -8 840 0
-1516 1517 -515 1480 648 1352 -8 840 0
-1516 -1517 515 1480 648 -1352 8 840 0
-1516 1517 515 1480 648 -1352 -8 840 0
1516 -1517 515 -1480 648 1352 -8 840 0
-515 -1480 -648 -1352 1520 0
1516 1480 8 -1520 -840 0
1516 -1480 -648 -1352 -8 -1519 -840 0
515 1480 -648 -1352 8 1519 -840 0
-1517 -1480 -648 1352 -8 -1519 -840 0
-1516 1480 -648 -1352 -8 -1519 -840 0
-1516 1480 -648 1352 8 1519 -840 0
-1517 -515 -648 -1352 1520 0
1517 -515 1480 -1352 8 1519 -840 0
-1516 -1517 -515 -648 1520 0
1516 1517 -1480 -1352 8 1519 -840 0
1516 -515 1480 -648 1352 1519 -840 0
1517 515 648 8 -1520 0
-1516 1517 515 -1352 8 1519 -840 0
-1516 -1517 -515 -1352 1520 0
1516 -1517 515 -648 1352 1519 -840 0
-1516 1517 515 -1480 -648 -1352 -1519 0
-1517 -515 648 -1352 -8 -1519 -840 0
-1516 -515 648 1352 8 1519 -840 0
1517 515 1480 -648 8 1519 840 0
1516 -515 -1480 -648 1352 -1519 840 0
-1516 -1517 515 -1352 -8 -1519 -840 0
-1516 1517 -1480 -648 1352 -1519 840 0
-1517 1480 648 -1352 8 1519 -840 0
1516 -515 -1480 648 1352 1519 -840 0
1516 -1517 515 -1480 -648 -1519 840 0
-1516 -1517 -515 -1480 1352 8 -1519 0
-1516 1517 1480 1352 -8 1519 -840 0
-1516 515 1480 -648 -1352 -1519 840 0
-1516 -1517 515 -648 1352 -1519 840 0
1516 1517 -515 1352 8 1519 840 0
-1516 515 -1480 648 1352 1519 -840 0
1516 -1517 515 -1480 648 1519 -840 0
1516 -1517 -515 1480 648 1519 -840 0
-1516 1517 -515 1480 -1352 -1519 840 0
-1516 -1517 515 1480 648 1519 -840 0
1516 -515 -1480 648 -1352 -1519 840 0
-1517 515 -1480 648 -1352 -8 -1519 0
-1516 1517 -1480 648 -1352 -1519 840 0
-1516 1517 1480 648 8 1519 840 0
-1517 -515 1480 648 -8 -1519 840 0
1516 1517 515 1352 -8 1519 840 0
-1517 515 1480 1352 8 1519 840 0
1516 1480 648 1352 -8 1519 840 0
1516 515 1480 648 -1352 1519 840 0
1517 1352 8 -1520 -840 0
-1516 -515 -1480 -648 1520 0
1516 1517 1480 -1520 -840 0
648 1352 -1520 -1519 0
-1480 1520 1519 840 0
-1516 -515 -648 -1352 1520 0
-1516 -1517 -648 -1352 1520 0
1517 515 1352 8 -1520 0
-1516 -515 -1480 -8 1520 0
-1516 -1517 -8 1520 840 0
8 -1520 -1519 -840 0
1517 -1520 -1519 -840 0
1480 1352 -1520 -1519 0
1516 1480 -1520 -1519 0
-1480 -648 1520 1519 0
1516 1517 -1520 -1519 0
-1352 -8 1520 1519 0
1516 1517 515 1480 648 1352 8 -840 0
-1516 -1517 -515 -1480 -648 -1352 -8 840 0
c var 1521/2 a[5]_rhs[8]
1518 1519 649 1353 9 -1521 -841 0
1518 1519 516 649 9 -1521 -841 0
1518 1519 1481 649 9 -1521 -841 0
-516 -1481 -649 -1353 -9 1521 841 0
1519 516 649 1353 9 -1521 -841 0
1519 1481 649 1353 9 -1521 -841 0
-1518 -1519 -516 -1481 -649 1521 841 0
-1518 -516 -1481 -649 -9 1521 841 0
1519 516 1481 649 9 -1521 -841 0
-1518 1519 -516 -1481 649 1353 -9 -841 0
-1518 -1481 -649 -1353 -9 1521 841 0
-1518 -516 -649 -1353 -9 1521 841 0
1518 516 649 1353 9 -1521 -841 0
1518 1481 649 1353 9 -1521 -841 0
-1519 -516 -1481 -649 -9 1521 841 0
1518 516 1481 649 9 -1521 -841 0
-1519 -1481 -649 -1353 -9 1521 841 0
-1519 -516 -649 -1353 -9 1521 841 0
516 1481 649 1353 9 -1521 -841 0
-1518 -1519 516 -1481 649 1353 -9 -841 0
1519 516 1481 649 1353 -1521 -841 0
-1518 -1519 -1481 -649 -9 1521 841 0
-1518 -1519 -516 -649 -9 1521 841 0
-1518 -1519 -649 -1353 -9 1521 841 0
1518 1519 516 649 1353 9 -1521 0
1518 1519 1481 649 1353 9 -1521 0
-1518 -516 -1481 -1353 -9 1521 841 0
1518 1519 516 1481 649 9 -1521 0
1519 516 1481 649 1353 9 -1521 0
-1519 -516 -1481 -1353 -9 1521 841 0
-1518 -1519 -516 -1481 -9 1521 841 0
1518 516 1481 649 1353 9 -1521 0
-1518 -1519 -1481 -1353 -9 1521 841 0
-1518 -1519 -516 -1353 -9 1521 841 0
1518 1519 516 1481 649 1353 -1521 0
-1518 -516 -1481 -649 -1353 -9 1521 0
1518 1519 516 1353 9 -1521 -841 0
1518 1519 516 1481 9 -1521 -841 0
1518 -516 1481 -649 -1353 -9 -1521 0
-1519 -516 -1481 -649 -1353 -9 1521 0
1519 516 1481 1353 9 -1521 -841 0
-1481 -649 -9 1522 841 0
-1518 -1519 -516 -1481 -649 -9 1521 0
-1518 -1519 -1481 -649 -1353 -9 1521 0
-1518 -1519 -516 -649 -1353 -9 1521 0
1518 516 1481 1353 9 -1521 -841 0
1519 516 1481 -1522 -841 0
1518 1519 516 1481 649 -1521 -841 0
-1519 -649 -1353 -9 1522 0
1518 516 1481 -1522 -841 0
-1518 1519 -516 -1481 -649 -1353 9 841 0
1518 1519 516 1481 -649 1353 -9 -841 0
1518 -1519 -516 -1481 -649 -1353 9 841 0
1518 1519 516 1481 1353 9 -1521 0
-1518 -1519 -516 -1481 -1353 -9 1521 0
-1518 -1519 516 -1481 -649 -1353 9 841 0
-1518 -1519 -516 1481 -649 -1353 9 841 0
1518 1519 516 -1481 649 1353 -9 -841 0
1518 1519 -516 1481 649 1353 -9 -841 0
-1518 -1519 -516 -1481 649 -1353 9 841 0
-1519 516 649 -1353 9 1521 -841 0
1518 1519 1481 1353 9 -1521 -841 0
1518 1519 516 -1522 -841 0
-1518 -1519 -516 -1481 -649 -1353 1521 0
-1518 -516 -649 -9 1522 0
-1519 -516 -649 -9 1522 0
1518 516 1353 9 -1522 0
1518 -1519 -516 -1481 -649 1353 9 -841 0
1518 1519 -516 -1481 -649 1353 -9 -841 0
-1519 -516 -1481 -9 1522 0
1518 -1519 516 -1481 -649 -1353 9 -841 0
-1518 -1519 516 -1481 -649 1353 9 -841 0
-1518 1519 516 -1481 -649 1353 -9 -841 0
1518 1519 -516 649 9 1521 841 0
-1518 1519 -516 -1481 649 -1353 9 -841 0
-1518 -1519 -1481 649 -1353 9 -1521 0
-1519 -516 649 -1353 9 -1521 841 0
1518 1519 516 -1481 -649 -1353 9 841 0
1518 1519 -516 1481 -649 -1353 9 841 0
1518 -1519 -516 -1481 649 -1353 9 -841 0
1518 1519 -516 -1481 649 -1353 -9 -841 0
-1518 -1519 516 1481 -649 1353 -9 -841 0
-1518 1519 -516 1481 -649 1353 9 841 0
1518 -1519 1481 649 9 1521 841 0
-1518 1519 516 -1481 649 -1353 -9 -841 0
-1518 1519 -516 1481 649 -1353 -9 -841 0
1518 -1519 -516 1481 -649 1353 9 841 0
-1519 1481 649 -1353 -9 -1521 841 0
1518 1519 -516 1481 -649 1353 -9 841 0
1518 -1519 516 1481 -649 -1353 9 841 0
1518 1519 516 1481 -649 -1353 -9 841 0
-1518 1519 516 1481 -649 1353 -9 841 0
-1518 -1519 -516 1481 649 1353 -9 -841 0
-1518 516 1481 649 1353 1521 841 0
-1518 1519 -516 -1481 649 1353 9 841 0
1518 -1519 516 1481 -649 1353 -9 841 0
1518 -1519 516 1481 649 1353 -9 -841 0
1518 -1519 -516 -1481 649 1353 9 841 0
1518 1519 -516 -1481 649 1353 -9 841 0
1518 -1519 516 -1481 649 -1353 9 841 0
1518 1519 516 -1481 649 -1353 -9 841 0
1518 1519 -516 1481 649 -1353 -9 841 0
-1518 -1519 516 -1481 649 1353 9 841 0
-1518 -1519 -516 1481 649 1353 9 841 0
-1518 1519 516 -1481 649 1353 -9 841 0
-1518 1519 -516 1481 649 1353 -9 841 0
-1518 -1519 516 1481 649 -1353 9 841 0
-1518 1519 516 1481 649 -1353 -9 841 0
1518 -1519 516 -1481 649 1353 -9 841 0
-516 -1481 -649 -1353 1522 0
1518 1481 9 -1522 -841 0
1518 -1481 -649 -1353 -9 -1521 -841 0
516 1481 -649 -1353 9 1521 -841 0
-1519 -1481 -649 1353 -9 -1521 -841 0
-1518 1481 -649 -1353 -9 -1521 -841 0
-1518 1481 -649 1353 9 1521 -841 0
-1519 -516 -649 -1353 1522 0
1519 -516 1481 -1353 9 1521 -841 0
-1518 -1519 -516 -649 1522 0
1518 1519 -1481 -1353 9 1521 -841 0
1518 -516 1481 -649 1353 1521 -841 0
1519 516 649 9 -1522 0
-1518 1519 516 -1353 9 1521 -841 0
-1518 -1519 -516 -1353 1522 0
1518 -1519 516 -649 1353 1521 -841 0
-1518 1519 516 -1481 -649 -1353 -1521 0
-1519 -516 649 -1353 -9 -1521 -841 0
-1518 -516 649 1353 9 1521 -841 0
1519 516 1481 -649 9 1521 841 0
1518 -516 -1481 -649 1353 -1521 841 0
-1518 -1519 516 -1353 -9 -1521 -841 0
-1518 1519 -1481 -649 1353 -1521 841 0
-1519 1481 649 -1353 9 1521 -841 0
1518 -516 -1481 649 1353 1521 -841 0
1518 -1519 516 -1481 -649 -1521 841 0
-1518 -1519 -516 -1481 1353 9 -1521 0
-1518 1519 1481 1353 -9 1521 -841 0
-1518 516 1481 -649 -1353 -1521 841 0
-1518 -1519 516 -649 1353 -1521 841 0
1518 1519 -516 1353 9 1521 841 0
-1518 516 -1481 649 1353 1521 -841 0
1518 -1519 516 -1481 649 1521 -841 0
1518 -1519 -516 1481 649 1521 -841 0
-1518 1519 -516 1481 -1353 -1521 841 0
-1518 -1519 516 1481 649 1521 -841 0
1518 -516 -1481 649 -1353 -1521 841 0
-1519 516 -1481 649 -1353 -9 -1521 0
-1518 1519 -1481 649 -1353 -1521 841 0
-1518 1519 1481 649 9 1521 841 0
-1519 -516 1481 649 -9 -1521 841 0
1518 1519 516 1353 -9 1521 841 0
-1519 516 1481 1353 9 1521 841 0
1518 1481 649 1353 -9 1521 841 0
1518 516 1481 649 -1353 1521 841 0
1519 1353 9 -1522 -841 0
-1518 -516 -1481 -649 1522 0
1518 1519 1481 -1522 -841 0
649 1353 -1522 -1521 0
-1481 1522 1521 841 0
-1518 -516 -649 -1353 1522 0
-1518 -1519 -649 -1353 1522 0
1519 516 1353 9 -1522 0
-1518 -516 -1481 -9 1522 0
-1518 -1519 -9 1522 841 0
9 -1522 -1521 -841 0
1519 -1522 -1521 -841 0
1481 1353 -1522 -1521 0
1518 1481 -1522 -1521 0
-1481 -649 1522 1521 0
1518 1519 -1522 -1521 0
-1353 -9 1522 1521 0
1518 1519 516 1481 649 1353 9 -841 0
-1518 -1519 -516 -1481 -649 -1353 -9 841 0
c var 1523/2 a[5]_rhs[9]
1520 1521 650 1354 10 -1523 -842 0
1520 1521 517 650 10 -1523 -842 0
1520 1521 1482 650 10 -1523 -842 0
-517 -1482 -650 -1354 -10 1523 842 0
1521 517 650 1354 10 -1523 -842 0
1521 1482 650 1354 10 -1523 -842 0
-1520 -1521 -517 -1482 -650 1523 842 0
-1520 -517 -1482 -650 -10 1523 842 0
1521 517 1482 650 10 -1523 -842 0
-1520 1521 -517 -1482 650 1354 -10 -842 0
-1520 -1482 -650 -1354 -10 1523 842 0
-1520 -517 -650 -1354 -10 1523 842 0
1520 517 650 1354 10 -1523 -842 0
1520 1482 650 1354 10 -1523 -842 0
-1521 -517 -1482 -650 -10 1523 842 0
1520 517 1482 650 10 -1523 -842 0
-1521 -1482 -650 -1354 -10 1523 842 0
-1521 -517 -650 -1354 -10 1523 842 0
517 1482 650 1354 10 -1523 -842 0
-1520 -1521 517 -1482 650 1354 -10 -842 0
1521 517 1482 650 1354 -1523 -842 0
-1520 -1521 -1482 -650 -10 1523 842 0
-1520 -1521 -517 -650 -10 1523 842 0
-1520 -1521 -650 -1354 -10 1523 842 0
1520 1521 517 650 1354 10 -1523 0
1520 1521 1482 650 1354 10 -1523 0
-1520 -517 -1482 -1354 -10 1523 842 0
1520 1521 517 1482 650 10 -1523 0
1521 517 1482 650 1354 10 -1523 0
-1521 -517 -1482 -1354 -10 1523 842 0
-1520 -1521 -517 -1482 -10 1523 842 0
1520 517 1482 650 1354 10 -1523 0
-1520 -1521 -1482 -1354 -10 1523 842 0
-1520 -1521 -517 -1354 -10 1523 842 0
1520 1521 517 1482 650 1354 -1523 0
-1520 -517 -1482 -650 -1354 -10 1523 0
1520 1521 517 1354 10 -1523 -842 0
1520 1521 517 1482 10 -1523 -842 0
1520 -517 1482 -650 -1354 -10 -1523 0
-1521 -517 -1482 -650 -1354 -10 1523 0
1521 517 1482 1354 10 -1523 -842 0
-1482 -650 -10 1524 842 0
-1520 -1521 -517 -1482 -650 -10 1523 0
-1520 -1521 -1482 -650 -1354 -10 1523 0
-1520 -1521 -517 -650 -1354 -10 1523 0
1520 517 1482 1354 10 -1523 -842 0
1521 517 1482 -1524 -842 0
1520 1521 517 1482 650 -1523 -842 0
-1521 -650 -1354 -10 1524 0
1520 517 1482 -1524 -842 0
-1520 1521 -517 -1482 -650 -1354 10 842 0
1520 1521 517 1482 -650 1354 -10 -842 0
1520 -1521 -517 -1482 -650 -1354 10 842 0
1520 1521 517 1482 1354 10 -1523 0
-1520 -1521 -517 -1482 -1354 -10 1523 0
-1520 -1521 517 -1482 -650 -1354 10 842 0
-1520 -1521 -517 1482 -650 -1354 10 842 0
1520 1521 517 -1482 650 1354 -10 -842 0
1520 1521 -517 1482 650 1354 -10 -842 0
-1520 -1521 -517 -1482 650 -1354 10 842 0
-1521 517 650 -1354 10 1523 -842 0
1520 1521 1482 1354 10 -1523 -842 0
1520 1521 517 -1524 -842 0
-1520 -1521 -517 -1482 -650 -1354 1523 0
-1520 -517 -650 -10 1524 0
-1521 -517 -650 -10 1524 0
1520 517 1354 10 -1524 0
1520 -1521 -517 -1482 -650 1354 10 -842 0
1520 1521 -517 -1482 -650 1354 -10 -842 0
-1521 -517 -1482 -10 1524 0
1520 -1521 517 -1482 -650 -1354 10 -842 0
-1520 -1521 517 -1482 -650 1354 10 -842 0
-1520 1521 517 -1482 -650 1354 -10 -842 0
1520 1521 -517 650 10 1523 842 0
-1520 1521 -517 -1482 650 -1354 10 -842 0
-1520 -1521 -1482 650 -1354 10 -1523 0
-1521 -517 650 -1354 10 -1523 842 0
1520 1521 517 -1482 -650 -1354 10 842 0
1520 1521 -517 1482 -650 -1354 10 842 0
1520 -1521 -517 -1482 650 -1354 10 -842 0
1520 1521 -517 -1482 650 -1354 -10 -842 0
-1520 -1521 517 1482 -650 1354 -10 -842 0
-1520 1521 -517 1482 -650 1354 10 842 0
1520 -1521 1482 650 10 1523 842 0
-1520 1521 517 -1482 650 -1354 -10 -842 0
-1520 1521 -517 1482 650 -1354 -10 -842 0
1520 -1521 -517 1482 -650 1354 10 842 0
-1521 1482 650 -1354 -10 -1523 842 0
1520 1521 -517 1482 -650 1354 -10 842 0
1520 -1521 517 1482 -650 -1354 10 842 0
1520 1521 517 1482 -650 -1354 -10 842 0
-1520 1521 517 1482 -650 1354 -10 842 0
-1520 -1521 -517 1482 650 1354 -10 -842 0
-1520 517 1482 650 1354 1523 842 0
-1520 1521 -517 -1482 650 1354 10 842 0
1520 -1521 517 1482 -650 1354 -10 842 0
1520 -1521 517 1482 650 1354 -10 -842 0
1520 -1521 -517 -1482 650 1354 10 842 0
1520 1521 -517 -1482 650 1354 -10 842 0
1520 -1521 517 -1482 650 -1354 10 842 0
1520 1521 517 -1482 650 -1354 -10 842 0
1520 1521 -517 1482 650 -1354 -10 842 0
-1520 -1521 517 -1482 650 1354 10 842 0
-1520 -1521 -517 1482 650 1354 10 842 0
-1520 1521 517 -1482 650 1354 -10 842 0
-1520 1521 -517 1482 650 1354 -10 842 0
-1520 -1521 517 1482 650 -1354 10 842 0
-1520 1521 517 1482 650 -1354 -10 842 0
1520 -1521 517 -1482 650 1354 -10 842 0
-517 -1482 -650 -1354 1524 0
1520 1482 10 -1524 -842 0
1520 -1482 -650 -1354 -10 -1523 -842 0
517 1482 -650 -1354 10 1523 -842 0
-1521 -1482 -650 1354 -10 -1523 -842 0
-1520 1482 -650 -1354 -10 -1523 -842 0
-1520 1482 -650 1354 10 1523 -842 0
-1521 -517 -650 -1354 1524 0
1521 -517 1482 -1354 10 1523 -842 0
-1520 -1521 -517 -650 1524 0
1520 1521 -1482 -1354 10 1523 -842 0
1520 -517 1482 -650 1354 1523 -842 0
1521 517 650 10 -1524 0
-1520 1521 517 -1354 10 1523 -842 0
-1520 -1521 -517 -1354 1524 0
1520 -1521 517 -650 1354 1523 -842 0
-1520 1521 517 -1482 -650 -1354 -1523 0
-1521 -517 650 -1354 -10 -1523 -842 0
-1520 -517 650 1354 10 1523 -842 0
1521 517 1482 -650 10 1523 842 0
1520 -517 -1482 -650 1354 -1523 842 0
-1520 -1521 517 -1354 -10 -1523 -842 0
-1520 1521 -1482 -650 1354 -1523 842 0
-1521 1482 650 -1354 10 1523 -842 0
1520 -517 -1482 650 1354 1523 -842 0
1520 -1521 517 -1482 -650 -1523 842 0
-1520 -1521 -517 -1482 1354 10 -1523 0
-1520 1521 1482 1354 -10 1523 -842 0
-1520 517 1482 -650 -1354 -1523 842 0
-1520 -1521 517 -650 1354 -1523 842 0
1520 1521 -517 1354 10 1523 842 0
-1520 517 -1482 650 1354 1523 -842 0
1520 -1521 517 -1482 650 1523 -842 0
1520 -1521 -517 1482 650 1523 -842 0
-1520 1521 -517 1482 -1354 -1523 842 0
-1520 -1521 517 1482 650 1523 -842 0
1520 -517 -1482 650 -1354 -1523 842 0
-1521 517 -1482 650 -1354 -10 -1523 0
-1520 1521 -1482 650 -1354 -1523 842 0
-1520 1521 1482 650 10 1523 842 0
-1521 -517 1482 650 -10 -1523 842 0
1520 1521 517 1354 -10 1523 842 0
-1521 517 1482 1354 10 1523 842 0
1520 1482 650 1354 -10 1523 842 0
1520 517 1482 650 -1354 1523 842 0
1521 1354 10 -1524 -842 0
-1520 -517 -1482 -650 1524 0
1520 1521 1482 -1524 -842 0
650 1354 -1524 -1523 0
-1482 1524 1523 842 0
-1520 -517 -650 -1354 1524 0
-1520 -1521 -650 -1354 1524 0
1521 517 1354 10 -1524 0
-1520 -517 -1482 -10 1524 0
-1520 -1521 -10 1524 842 0
10 -1524 -1523 -842 0
1521 -1524 -1523 -842 0
1482 1354 -1524 -1523 0
1520 1482 -1524 -1523 0
-1482 -650 1524 1523 0
1520 1521 -1524 -1523 0
-1354 -10 1524 1523 0
1520 1521 517 1482 650 1354 10 -842 0
-1520 -1521 -517 -1482 -650 -1354 -10 842 0
c var 1525/2 a[5]_rhs[10]
1522 1523 651 1355 11 -1525 -843 0
1522 1523 518 651 11 -1525 -843 0
1522 1523 1483 651 11 -1525 -843 0
-518 -1483 -651 -1355 -11 1525 843 0
1523 518 651 1355 11 -1525 -843 0
1523 1483 651 1355 11 -1525 -843 0
-1522 -1523 -518 -1483 -651 1525 843 0
-1522 -518 -1483 -651 -11 1525 843 0
1523 518 1483 651 11 -1525 -843 0
-1522 1523 -518 -1483 651 1355 -11 -843 0
-1522 -1483 -651 -1355 -11 1525 843 0
-1522 -518 -651 -1355 -11 1525 843 0
1522 518 651 1355 11 -1525 -843 0
1522 1483 651 1355 11 -1525 -843 0
-1523 -518 -1483 -651 -11 1525 843 0
1522 518 1483 651 11 -1525 -843 0
-1523 -1483 -651 -1355 -11 1525 843 0
-1523 -518 -651 -1355 -11 1525 843 0
518 1483 651 1355 11 -1525 -843 0
-1522 -1523 518 -1483 651 1355 -11 -843 0
1523 518 1483 651 1355 -1525 -843 0
-1522 -1523 -1483 -651 -11 1525 843 0
-1522 -1523 -518 -651 -11 1525 843 0
-1522 -1523 -651 -1355 -11 1525 843 0
1522 1523 518 651 1355 11 -1525 0
1522 1523 1483 651 1355 11 -1525 0
-1522 -518 -1483 -1355 -11 1525 843 0
1522 1523 518 1483 651 11 -1525 0
1523 518 1483 651 1355 11 -1525 0
-1523 -518 -1483 -1355 -11 1525 843 0
-1522 -1523 -518 -1483 -11 1525 843 0
1522 518 1483 651 1355 11 -1525 0
-1522 -1523 -1483 -1355 -11 1525 843 0
-1522 -1523 -518 -1355 -11 1525 843 0
1522 1523 518 1483 651 1355 -1525 0
-1522 -518 -1483 -651 -1355 -11 1525 0
1522 1523 518 1355 11 -1525 -843 0
1522 1523 518 1483 11 -1525 -843 0
1522 -518 1483 -651 -1355 -11 -1525 0
-1523 -518 -1483 -651 -1355 -11 1525 0
1523 518 1483 1355 11 -1525 -843 0
-1483 -651 -11 1526 843 0
-1522 -1523 -518 -1483 -651 -11 1525 0
-1522 -1523 -1483 -651 -1355 -11 1525 0
-1522 -1523 -518 -651 -1355 -11 1525 0
1522 518 1483 1355 11 -1525 -843 0
1523 518 1483 -1526 -843 0
1522 1523 518 1483 651 -1525 -843 0
-1523 -651 -1355 -11 1526 0
1522 518 1483 -1526 -843 0
-1522 1523 -518 -1483 -651 -1355 11 843 0
1522 1523 518 1483 -651 1355 -11 -843 0
1522 -1523 -518 -1483 -651 -1355 11 843 0
1522 1523 518 1483 1355 11 -1525 0
-1522 -1523 -518 -1483 -1355 -11 1525 0
-1522 -1523 518 -1483 -651 -1355 11 843 0
-1522 -1523 -518 1483 -651 -1355 11 843 0
1522 1523 518 -1483 651 1355 -11 -843 0
1522 1523 -518 1483 651 1355 -11 -843 0
-1522 -1523 -518 -1483 651 -1355 11 843 0
-1523 518 651 -1355 11 1525 -843 0
1522 1523 1483 1355 11 -1525 -843 0
1522 1523 518 -1526 -843 0
-1522 -1523 -518 -1483 -651 -1355 1525 0
-1522 -518 -651 -11 1526 0
-1523 -518 -651 -11 1526 0
1522 518 1355 11 -1526 0
1522 -1523 -518 -1483 -651 1355 11 -843 0
1522 1523 -518 -1483 -651 1355 -11 -843 0
-1523 -518 -1483 -11 1526 0
1522 -1523 518 -1483 -651 -1355 11 -843 0
-1522 -1523 518 -1483 -651 1355 11 -843 0
-1522 1523 518 -1483 -651 1355 -11 -843 0
1522 1523 -518 651 11 1525 843 0
-1522 1523 -518 -1483 651 -1355 11 -843 0
-1522 -1523 -1483 651 -1355 11 -1525 0
-1523 -518 651 -1355 11 -1525 843 0
1522 1523 518 -1483 -651 -1355 11 843 0
1522 1523 -518 1483 -651 -1355 11 843 0
1522 -1523 -518 -1483 651 -1355 11 -843 0
1522 1523 -518 -1483 651 -1355 -11 -843 0
-1522 -1523 518 1483 -651 1355 -11 -843 0
-1522 1523 -518 1483 -651 1355 11 843 0
1522 -1523 1483 651 11 1525 843 0
-1522 1523 518 -1483 651 -1355 -11 -843 0
-1522 1523 -518 1483 651 -1355 -11 -843 0
1522 -1523 -518 1483 -651 1355 11 843 0
-1523 1483 651 -1355 -11 -1525 843 0
1522 1523 -518 1483 -651 1355 -11 843 0
1522 -1523 518 1483 -651 -1355 11 843 0
1522 1523 518 1483 -651 -1355 -11 843 0
-1522 1523 518 1483 -651 1355 -11 843 0
-1522 -1523 -518 1483 651 1355 -11 -843 0
-1522 518 1483 651 1355 1525 843 0
-1522 1523 -518 -1483 651 1355 11 843 0
1522 -1523 518 1483 -651 1355 -11 843 0
1522 -1523 518 1483 651 1355 -11 -843 0
1522 -1523 -518 -1483 651 1355 11 843 0
1522 1523 -518 -1483 651 1355 -11 843 0
1522 -1523 518 -1483 651 -1355 11 843 0
1522 1523 518 -1483 651 -1355 -11 843 0
1522 1523 -518 1483 651 -1355 -11 843 0
-1522 -1523 518 -1483 651 1355 11 843 0
-1522 -1523 -518 1483 651 1355 11 843 0
-1522 1523 518 -1483 651 1355 -11 843 0
-1522 1523 -518 1483 651 1355 -11 843 0
-1522 -1523 518 1483 651 -1355 11 843 0
-1522 1523 518 1483 651 -1355 -11 843 0
1522 -1523 518 -1483 651 1355 -11 843 0
-518 -1483 -651 -1355 1526 0
1522 1483 11 -1526 -843 0
1522 -1483 -651 -1355 -11 -1525 -843 0
518 1483 -651 -1355 11 1525 -843 0
-1523 -1483 -651 1355 -11 -1525 -843 0
-1522 1483 -651 -1355 -11 -1525 -843 0
-1522 1483 -651 1355 11 1525 -843 0
-1523 -518 -651 -1355 1526 0
1523 -518 1483 -1355 11 1525 -843 0
-1522 -1523 -518 -651 1526 0
1522 1523 -1483 -1355 11 1525 -843 0
1522 -518 1483 -651 1355 1525 -843 0
1523 518 651 11 -1526 0
-1522 1523 518 -1355 11 1525 -843 0
-1522 -1523 -518 -1355 1526 0
1522 -1523 518 -651 1355 1525 -843 0
-1522 1523 518 -1483 -651 -1355 -1525 0
-1523 -518 651 -1355 -11 -1525 -843 0
-1522 -518 651 1355 11 1525 -843 0
1523 518 1483 -651 11 1525 843 0
1522 -518 -1483 -651 1355 -1525 843 0
-1522 -1523 518 -1355 -11 -1525 -843 0
-1522 1523 -1483 -651 1355 -1525 843 0
-1523 1483 651 -1355 11 1525 -843 0
1522 -518 -1483 651 1355 1525 -843 0
1522 -1523 518 -1483 -651 -1525 843 0
-1522 -1523 -518 -1483 1355 11 -1525 0
-1522 1523 1483 1355 -11 1525 -843 0
-1522 518 1483 -651 -1355 -1525 843 0
-1522 -1523 518 -651 1355 -1525 843 0
1522 1523 -518 1355 11 1525 843 0
-1522 518 -1483 651 1355 1525 -843 0
1522 -1523 518 -1483 651 1525 -843 0
1522 -1523 -518 1483 651 1525 -843 0
-1522 1523 -518 1483 -1355 -1525 843 0
-1522 -1523 518 1483 651 1525 -843 0
1522 -518 -1483 651 -1355 -1525 843 0
-1523 518 -1483 651 -1355 -11 -1525 0
-1522 1523 -1483 651 -1355 -1525 843 0
-1522 1523 1483 651 11 1525 843 0
-1523 -518 1483 651 -11 -1525 843 0
1522 1523 518 1355 -11 1525 843 0
-1523 518 1483 1355 11 1525 843 0
1522 1483 651 1355 -11 1525 843 0
1522 518 1483 651 -1355 1525 843 0
1523 1355 11 -1526 -843 0
-1522 -518 -1483 -651 1526 0
1522 1523 1483 -1526 -843 0
651 1355 -1526 -1525 0
-1483 1526 1525 843 0
-1522 -518 -651 -1355 1526 0
-1522 -1523 -651 -1355 1526 0
1523 518 1355 11 -1526 0
-1522 -518 -1483 -11 1526 0
-1522 -1523 -11 1526 843 0
11 -1526 -1525 -843 0
1523 -1526 -1525 -843 0
1483 1355 -1526 -1525 0
1522 1483 -1526 -1525 0
-1483 -651 1526 1525 0
1522 1523 -1526 -1525 0
-1355 -11 1526 1525 0
1522 1523 518 1483 651 1355 11 -843 0
-1522 -1523 -518 -1483 -651 -1355 -11 843 0
c var 1527/2 a[5]_rhs[11]
1524 1525 652 1356 12 -1527 -844 0
1524 1525 519 652 12 -1527 -844 0
1524 1525 1484 652 12 -1527 -844 0
-519 -1484 -652 -1356 -12 1527 844 0
1525 519 652 1356 12 -1527 -844 0
1525 1484 652 1356 12 -1527 -844 0
-1524 -1525 -519 -1484 -652 1527 844 0
-1524 -519 -1484 -652 -12 1527 844 0
1525 519 1484 652 12 -1527 -844 0
-1524 1525 -519 -1484 652 1356 -12 -844 0
-1524 -1484 -652 -1356 -12 1527 844 0
-1524 -519 -652 -1356 -12 1527 844 0
1524 519 652 1356 12 -1527 -844 0
1524 1484 652 1356 12 -1527 -844 0
-1525 -519 -1484 -652 -12 1527 844 0
1524 519 1484 652 12 -1527 -844 0
-1525 -1484 -652 -1356 -12 1527 844 0
-1525 -519 -652 -1356 -12 1527 844 0
519 1484 652 1356 12 -1527 -844 0
-1524 -1525 519 -1484 652 1356 -12 -844 0
1525 519 1484 652 1356 -1527 -844 0
-1524 -1525 -1484 -652 -12 1527 844 0
-1524 -1525 -519 -652 -12 1527 844 0
-1524 -1525 -652 -1356 -12 1527 844 0
1524 1525 519 652 1356 12 -1527 0
1524 1525 1484 652 1356 12 -1527 0
-1524 -519 -1484 -1356 -12 1527 844 0
1524 1525 519 1484 652 12 -1527 0
1525 519 1484 652 1356 12 -1527 0
-1525 -519 -1484 -1356 -12 1527 844 0
-1524 -1525 -519 -1484 -12 1527 844 0
1524 519 1484 652 1356 12 -1527 0
-1524 -1525 -1484 -1356 -12 1527 844 0
-1524 -1525 -519 -1356 -12 1527 844 0
1524 1525 519 1484 652 1356 -1527 0
-1524 -519 -1484 -652 -1356 -12 1527 0
1524 1525 519 1356 12 -1527 -844 0
1524 1525 519 1484 12 -1527 -844 0
1524 -519 1484 -652 -1356 -12 -1527 0
-1525 -519 -1484 -652 -1356 -12 1527 0
1525 519 1484 1356 12 -1527 -844 0
-1484 -652 -12 1528 844 0
-1524 -1525 -519 -1484 -652 -12 1527 0
-1524 -1525 -1484 -652 -1356 -12 1527 0
-1524 -1525 -519 -652 -1356 -12 1527 0
1524 519 1484 1356 12 -1527 -844 0
1525 519 1484 -1528 -844 0
1524 1525 519 1484 652 -1527 -844 0
-1525 -652 -1356 -12 1528 0
1524 519 1484 -1528 -844 0
-1524 1525 -519 -1484 -652 -1356 12 844 0
1524 1525 519 1484 -652 1356 -12 -844 0
1524 -1525 -519 -1484 -652 -1356 12 844 0
1524 1525 519 1484 1356 12 -1527 0
-1524 -1525 -519 -1484 -1356 -12 1527 0
-1524 -1525 519 -1484 -652 -1356 12 844 0
-1524 -1525 -519 1484 -652 -1356 12 844 0
1524 1525 519 -1484 652 1356 -12 -844 0
1524 1525 -519 1484 652 1356 -12 -844 0
-1524 -1525 -519 -1484 652 -1356 12 844 0
-1525 519 652 -1356 12 1527 -844 0
1524 1525 1484 1356 12 -1527 -844 0
1524 1525 519 -1528 -844 0
-1524 -1525 -519 -1484 -652 -1356 1527 0
-1524 -519 -652 -12 1528 0
-1525 -519 -652 -12 1528 0
1524 519 1356 12 -1528 0
1524 -1525 -519 -1484 -652 1356 12 -844 0
1524 1525 -519 -1484 -652 1356 -12 -844 0
-1525 -519 -1484 -12 1528 0
1524 -1525 519 -1484 -652 -1356 12 -844 0
-1524 -1525 519 -1484 -652 1356 12 -844 0
-1524 1525 519 -1484 -652 1356 -12 -844 0
1524 1525 -519 652 12 1527 844 0
-1524 1525 -519 -1484 652 -1356 12 -844 0
-1524 -1525 -1484 652 -1356 12 -1527 0
-1525 -519 652 -1356 12 -1527 844 0
1524 1525 519 -1484 -652 -1356 12 844 0
1524 1525 -519 1484 -652 -1356 12 844 0
1524 -1525 -519 -1484 652 -1356 12 -844 0
1524 1525 -519 -1484 652 -1356 -12 -844 0
-1524 -1525 519 1484 -652 1356 -12 -844 0
-1524 1525 -519 1484 -652 1356 12 844 0
1524 -1525 1484 652 12 1527 844 0
-1524 1525 519 -1484 652 -1356 -12 -844 0
-1524 1525 -519 1484 652 -1356 -12 -844 0
1524 -1525 -519 1484 -652 1356 12 844 0
-1525 1484 652 -1356 -12 -1527 844 0
1524 1525 -519 1484 -652 1356 -12 844 0
1524 -1525 519 1484 -652 -1356 12 844 0
1524 1525 519 1484 -652 -1356 -12 844 0
-1524 1525 519 1484 -652 1356 -12 844 0
-1524 -1525 -519 1484 652 1356 -12 -844 0
-1524 519 1484 652 1356 1527 844 0
-1524 1525 -519 -1484 652 1356 12 844 0
1524 -1525 519 1484 -652 1356 -12 844 0
1524 -1525 519 1484 652 1356 -12 -844 0
1524 -1525 -519 -1484 652 1356 12 844 0
1524 1525 -519 -1484 652 1356 -12 844 0
1524 -1525 519 -1484 652 -1356 12 844 0
1524 1525 519 -1484 652 -1356 -12 844 0
1524 1525 -519 1484 652 -1356 -12 844 0
-1524 -1525 519 -1484 652 1356 12 844 0
-1524 -1525 -519 1484 652 1356 12 844 0
-1524 1525 519 -1484 652 1356 -12 844 0
-1524 1525 -519 1484 652 1356 -12 844 0
-1524 -1525 519 1484 652 -1356 12 844 0
-1524 1525 519 1484 652 -1356 -12 844 0
1524 -1525 519 -1484 652 1356 -12 844 0
-519 -1484 -652 -1356 1528 0
1524 1484 12 -1528 -844 0
1524 -1484 -652 -1356 -12 -1527 -844 0
519 1484 -652 -1356 12 1527 -844 0
-1525 -1484 -652 1356 -12 -1527 -844 0
-1524 1484 -652 -1356 -12 -1527 -844 0
-1524 1484 -652 1356 12 1527 -844 0
-1525 -519 -652 -1356 1528 0
1525 -519 1484 -1356 12 1527 -844 0
-1524 -1525 -519 -652 1528 0
1524 1525 -1484 -1356 12 1527 -844 0
1524 -519 1484 -652 1356 1527 -844 0
1525 519 652 12 -1528 0
-1524 1525 519 -1356 12 1527 -844 0
-1524 -1525 -519 -1356 1528 0
1524 -1525 519 -652 1356 1527 -844 0
-1524 1525 519 -1484 -652 -1356 -1527 0
-1525 -519 652 -1356 -12 -1527 -844 0
-1524 -519 652 1356 12 1527 -844 0
1525 519 1484 -652 12 1527 844 0
1524 -519 -1484 -652 1356 -1527 844 0
-1524 -1525 519 -1356 -12 -1527 -844 0
-1524 1525 -1484 -652 1356 -1527 844 0
-1525 1484 652 -1356 12 1527 -844 0
1524 -519 -1484 652 1356 1527 -844 0
1524 -1525 519 -1484 -652 -1527 844 0
-1524 -1525 -519 -1484 1356 12 -1527 0
-1524 1525 1484 1356 -12 1527 -844 0
-1524 519 1484 -652 -1356 -1527 844 0
-1524 -1525 519 -652 1356 -1527 844 0
1524 1525 -519 1356 12 1527 844 0
-1524 519 -1484 652 1356 1527 -844 0
1524 -1525 519 -1484 652 1527 -844 0
1524 -1525 -519 1484 652 1527 -844 0
-1524 1525 -519 1484 -1356 -1527 844 0
-1524 -1525 519 1484 652 1527 -844 0
1524 -519 -1484 652 -1356 -1527 844 0
-1525 519 -1484 652 -1356 -12 -1527 0
-1524 1525 -1484 652 -1356 -1527 844 0
-1524 1525 1484 652 12 1527 844 0
-1525 -519 1484 652 -12 -1527 844 0
1524 1525 519 1356 -12 1527 844 0
-1525 519 1484 1356 12 1527 844 0
1524 1484 652 1356 -12 1527 844 0
1524 519 1484 652 -1356 1527 844 0
1525 1356 12 -1528 -844 0
-1524 -519 -1484 -652 1528 0
1524 1525 1484 -1528 -844 0
652 1356 -1528 -1527 0
-1484 1528 1527 844 0
-1524 -519 -652 -1356 1528 0
-1524 -1525 -652 -1356 1528 0
1525 519 1356 12 -1528 0
-1524 -519 -1484 -12 1528 0
-1524 -1525 -12 1528 844 0
12 -1528 -1527 -844 0
1525 -1528 -1527 -844 0
1484 1356 -1528 -1527 0
1524 1484 -1528 -1527 0
-1484 -652 1528 1527 0
1524 1525 -1528 -1527 0
-1356 -12 1528 1527 0
1524 1525 519 1484 652 1356 12 -844 0
-1524 -1525 -519 -1484 -652 -1356 -12 844 0
c var 1529/2 a[5]_rhs[12]
1526 1527 653 1357 13 -1529 -845 0
1526 1527 520 653 13 -1529 -845 0
1526 1527 1485 653 13 -1529 -845 0
-520 -1485 -653 -1357 -13 1529 845 0
1527 520 653 1357 13 -1529 -845 0
1527 1485 653 1357 13 -1529 -845 0
-1526 -1527 -520 -1485 -653 1529 845 0
-1526 -520 -1485 -653 -13 1529 845 0
1527 520 1485 653 13 -1529 -845 0
-1526 1527 -520 -1485 653 1357 -13 -845 0
-1526 -1485 -653 -1357 -13 1529 845 0
-1526 -520 -653 -1357 -13 1529 845 0
1526 520 653 1357 13 -1529 -845 0
1526 1485 653 1357 13 -1529 -845 0
-1527 -520 -1485 -653 -13 1529 845 0
1526 520 1485 653 13 -1529 -845 0
-1527 -1485 -653 -1357 -13 1529 845 0
-1527 -520 -653 -1357 -13 1529 845 0
520 1485 653 1357 13 -1529 -845 0
-1526 -1527 520 -1485 653 1357 -13 -845 0
1527 520 1485 653 1357 -1529 -845 0
-1526 -1527 -1485 -653 -13 1529 845 0
-1526 -1527 -520 -653 -13 1529 845 0
-1526 -1527 -653 -1357 -13 1529 845 0
1526 1527 520 653 1357 13 -1529 0
1526 1527 1485 653 1357 13 -1529 0
-1526 -520 -1485 -1357 -13 1529 845 0
1526 1527 520 1485 653 13 -1529 0
1527 520 1485 653 1357 13 -1529 0
-1527 -520 -1485 -1357 -13 1529 845 0
-1526 -1527 -520 -1485 -13 1529 845 0
1526 520 1485 653 1357 13 -1529 0
-1526 -1527 -1485 -1357 -13 1529 845 0
-1526 -1527 -520 -1357 -13 1529 845 0
1526 1527 520 1485 653 1357 -1529 0
-1526 -520 -1485 -653 -1357 -13 1529 0
1526 1527 520 1357 13 -1529 -845 0
1526 1527 520 1485 13 -1529 -845 0
1526 -520 1485 -653 -1357 -13 -1529 0
-1527 -520 -1485 -653 -1357 -13 1529 0
1527 520 1485 1357 13 -1529 -845 0
-1485 -653 -13 1530 845 0
-1526 -1527 -520 -1485 -653 -13 1529 0
-1526 -1527 -1485 -653 -1357 -13 1529 0
-1526 -1527 -520 -653 -1357 -13 1529 0
1526 520 1485 1357 13 -1529 -845 0
1527 520 1485 -1530 -845 0
1526 1527 520 1485 653 -1529 -845 0
-1527 -653 -1357 -13 1530 0
1526 520 1485 -1530 -845 0
-1526 1527 -520 -1485 -653 -1357 13 845 0
1526 1527 520 1485 -653 1357 -13 -845 0
1526 -1527 -520 -1485 -653 -1357 13 845 0
1526 1527 520 1485 1357 13 -1529 0
-1526 -1527 -520 -1485 -1357 -13 1529 0
-1526 -1527 520 -1485 -653 -1357 13 845 0
-1526 -1527 -520 1485 -653 -1357 13 845 0
1526 1527 520 -1485 653 1357 -13 -845 0
1526 1527 -520 1485 653 1357 -13 -845 0
-1526 -1527 -520 -1485 653 -1357 13 845 0
-1527 520 653 -1357 13 1529 -845 0
1526 1527 1485 1357 13 -1529 -845 0
1526 1527 520 -1530 -845 0
-1526 -1527 -520 -1485 -653 -1357 1529 0
-1526 -520 -653 -13 1530 0
-1527 -520 -653 -13 1530 0
1526 520 1357 13 -1530 0
1526 -1527 -520 -1485 -653 1357 13 -845 0
1526 1527 -520 -1485 -653 1357 -13 -845 0
-1527 -520 -1485 -13 1530 0
1526 -1527 520 -1485 -653 -1357 13 -845 0
-1526 -1527 520 -1485 -653 1357 13 -845 0
-1526 1527 520 -1485 -653 1357 -13 -845 0
1526 1527 -520 653 13 1529 845 0
-1526 1527 -520 -1485 653 -1357 13 -845 0
-1526 -1527 -1485 653 -1357 13 -1529 0
-1527 -520 653 -1357 13 -1529 845 0
1526 1527 520 -1485 -653 -1357 13 845 0
1526 1527 -520 1485 -653 -1357 13 845 0
1526 -1527 -520 -1485 653 -1357 13 -845 0
1526 1527 -520 -1485 653 -1357 -13 -845 0
-1526 -1527 520 1485 -653 1357 -13 -845 0
-1526 1527 -520 1485 -653 1357 13 845 0
1526 -1527 1485 653 13 1529 845 0
-1526 1527 520 -1485 653 -1357 -13 -845 0
-1526 1527 -520 1485 653 -1357 -13 -845 0
1526 -1527 -520 1485 -653 1357 13 845 0
-1527 1485 653 -1357 -13 -1529 845 0
1526 1527 -520 1485 -653 1357 -13 845 0
1526 -1527 520 1485 -653 -1357 13 845 0
1526 1527 520 1485 -653 -1357 -13 845 0
-1526 1527 520 1485 -653 1357 -13 845 0
-1526 -1527 -520 1485 653 1357 -13 -845 0
-1526 520 1485 653 1357 1529 845 0
-1526 1527 -520 -1485 653 1357 13 845 0
1526 -1527 520 1485 -653 1357 -13 845 0
1526 -1527 520 1485 653 1357 -13 -845 0
1526 -1527 -520 -1485 653 1357 13 845 0
1526 1527 -520 -1485 653 1357 -13 845 0
1526 -1527 520 -1485 653 -1357 13 845 0
1526 1527 520 -1485 653 -1357 -13 845 0
1526 1527 -520 1485 653 -1357 -13 845 0
-1526 -1527 520 -1485 653 1357 13 845 0
-1526 -1527 -520 1485 653 1357 13 845 0
-1526 1527 520 -1485 653 1357 -13 845 0
-1526 1527 -520 1485 653 1357 -13 845 0
-1526 -1527 520 1485 653 -1357 13 845 0
-1526 1527 520 1485 653 -1357 -13 845 0
1526 -1527 520 -1485 653 1357 -13 845 0
-520 -1485 -653 -1357 1530 0
1526 1485 13 -1530 -845 0
1526 -1485 -653 -1357 -13 -1529 -845 0
520 1485 -653 -1357 13 1529 -845 0
-1527 -1485 -653 1357 -13 -1529 -845 0
-1526 1485 -653 -1357 -13 -1529 -845 0
-1526 1485 -653 1357 13 1529 -845 0
-1527 -520 -653 -1357 1530 0
1527 -520 1485 -1357 13 1529 -845 0
-1526 -1527 -520 -653 1530 0
1526 1527 -1485 -1357 13 1529 -845 0
1526 -520 1485 -653 1357 1529 -845 0
1527 520 653 13 -1530 0
-1526 1527 520 -1357 13 1529 -845 0
-1526 -1527 -520 -1357 1530 0
1526 -1527 520 -653 1357 1529 -845 0
-1526 1527 520 -1485 -653 -1357 -1529 0
-1527 -520 653 -1357 -13 -1529 -845 0
-1526 -520 653 1357 13 1529 -845 0
1527 520 1485 -653 13 1529 845 0
1526 -520 -1485 -653 1357 -1529 845 0
-1526 -1527 520 -1357 -13 -1529 -845 0
-1526 1527 -1485 -653 1357 -1529 845 0
-1527 1485 653 -1357 13 1529 -845 0
1526 -520 -1485 653 1357 1529 -845 0
1526 -1527 520 -1485 -653 -1529 845 0
-1526 -1527 -520 -1485 1357 13 -1529 0
-1526 1527 1485 1357 -13 1529 -845 0
-1526 520 1485 -653 -1357 -1529 845 0
-1526 -1527 520 -653 1357 -1529 845 0
1526 1527 -520 1357 13 1529 845 0
-1526 520 -1485 653 1357 1529 -845 0
1526 -1527 520 -1485 653 1529 -845 0
1526 -1527 -520 1485 653 1529 -845 0
-1526 1527 -520 1485 -1357 -1529 845 0
-1526 -1527 520 1485 653 1529 -845 0
1526 -520 -1485 653 -1357 -1529 845 0
-1527 520 -1485 653 -1357 -13 -1529 0
-1526 1527 -1485 653 -1357 -1529 845 0
-1526 1527 1485 653 13 1529 845 0
-1527 -520 1485 653 -13 -1529 845 0
1526 1527 520 1357 -13 1529 845 0
-1527 520 1485 1357 13 1529 845 0
1526 1485 653 1357 -13 1529 845 0
1526 520 1485 653 -1357 1529 845 0
1527 1357 13 -1530 -845 0
-1526 -520 -1485 -653 1530 0
1526 1527 1485 -1530 -845 0
653 1357 -1530 -1529 0
-1485 1530 1529 845 0
-1526 -520 -653 -1357 1530 0
-1526 -1527 -653 -1357 1530 0
1527 520 1357 13 -1530 0
-1526 -520 -1485 -13 1530 0
-1526 -1527 -13 1530 845 0
13 -1530 -1529 -845 0
1527 -1530 -1529 -845 0
1485 1357 -1530 -1529 0
1526 1485 -1530 -1529 0
-1485 -653 1530 1529 0
1526 1527 -1530 -1529 0
-1357 -13 1530 1529 0
1526 1527 520 1485 653 1357 13 -845 0
-1526 -1527 -520 -1485 -653 -1357 -13 845 0
c var 1531/2 a[5]_rhs[13]
1528 1529 654 1358 14 -1531 -846 0
1528 1529 521 654 14 -1531 -846 0
1528 1529 1486 654 14 -1531 -846 0
-521 -1486 -654 -1358 -14 1531 846 0
1529 521 654 1358 14 -1531 -846 0
1529 1486 654 1358 14 -1531 -846 0
-1528 -1529 -521 -1486 -654 1531 846 0
-1528 -521 -1486 -654 -14 1531 846 0
1529 521 1486 654 14 -1531 -846 0
-1528 1529 -521 -1486 654 1358 -14 -846 0
-1528 -1486 -654 -1358 -14 1531 846 0
-1528 -521 -654 -1358 -14 1531 846 0
1528 521 654 1358 14 -1531 -846 0
1528 1486 654 1358 14 -1531 -846 0
-1529 -521 -1486 -654 -14 1531 846 0
1528 521 1486 654 14 -1531 -846 0
-1529 -1486 -654 -1358 -14 1531 846 0
-1529 -521 -654 -1358 -14 1531 846 0
521 1486 654 1358 14 -1531 -846 0
-1528 -1529 521 -1486 654 1358 -14 -846 0
1529 521 1486 654 1358 -1531 -846 0
-1528 -1529 -1486 -654 -14 1531 846 0
-1528 -1529 -521 -654 -14 1531 846 0
-1528 -1529 -654 -1358 -14 1531 846 0
1528 1529 521 654 1358 14 -1531 0
1528 1529 1486 654 1358 14 -1531 0
-1528 -521 -1486 -1358 -14 1531 846 0
1528 1529 521 1486 654 14 -1531 0
1529 521 1486 654 1358 14 -1531 0
-1529 -521 -1486 -1358 -14 1531 846 0
-1528 -1529 -521 -1486 -14 1531 846 0
1528 521 1486 654 1358 14 -1531 0
-1528 -1529 -1486 -1358 -14 1531 846 0
-1528 -1529 -521 -1358 -14 1531 846 0
1528 1529 521 1486 654 1358 -1531 0
-1528 -521 -1486 -654 -1358 -14 1531 0
1528 1529 521 1358 14 -1531 -846 0
1528 1529 521 1486 14 -1531 -846 0
1528 -521 1486 -654 -1358 -14 -1531 0
-1529 -521 -1486 -654 -1358 -14 1531 0
1529 521 1486 1358 14 -1531 -846 0
-1486 -654 -14 1532 846 0
-1528 -1529 -521 -1486 -654 -14 1531 0
-1528 -1529 -1486 -654 -1358 -14 1531 0
-1528 -1529 -521 -654 -1358 -14 1531 0
1528 521 1486 1358 14 -1531 -846 0
1529 521 1486 -1532 -846 0
1528 1529 521 1486 654 -1531 -846 0
-1529 -654 -1358 -14 1532 0
1528 521 1486 -1532 -846 0
-1528 1529 -521 -1486 -654 -1358 14 846 0
1528 1529 521 1486 -654 1358 -14 -846 0
1528 -1529 -521 -1486 -654 -1358 14 846 0
1528 1529 521 1486 1358 14 -1531 0
-1528 -1529 -521 -1486 -1358 -14 1531 0
-1528 -1529 521 -1486 -654 -1358 14 846 0
-1528 -1529 -521 1486 -654 -1358 14 846 0
1528 1529 521 -1486 654 1358 -14 -846 0
1528 1529 -521 1486 654 1358 -14 -846 0
-1528 -1529 -521 -1486 654 -1358 14 846 0
-1529 521 654 -1358 14 1531 -846 0
1528 1529 1486 1358 14 -1531 -846 0
1528 1529 521 -1532 -846 0
-1528 -1529 -521 -1486 -654 -1358 1531 0
-1528 -521 -654 -14 1532 0
-1529 -521 -654 -14 1532 0
1528 521 1358 14 -1532 0
1528 -1529 -521 -1486 -654 1358 14 -846 0
1528 1529 -521 -1486 -654 1358 -14 -846 0
-1529 -521 -1486 -14 1532 0
1528 -1529 521 -1486 -654 -1358 14 -846 0
-1528 -1529 521 -1486 -654 1358 14 -846 0
-1528 1529 521 -1486 -654 1358 -14 -846 0
1528 1529 -521 654 14 1531 846 0
-1528 1529 -521 -1486 654 -1358 14 -846 0
-1528 -1529 -1486 654 -1358 14 -1531 0
-1529 -521 654 -1358 14 -1531 846 0
1528 1529 521 -1486 -654 -1358 14 846 0
1528 1529 -521 1486 -654 -1358 14 846 0
1528 -1529 -521 -1486 654 -1358 14 -846 0
1528 1529 -521 -1486 654 -1358 -14 -846 0
-1528 -1529 521 1486 -654 1358 -14 -846 0
-1528 1529 -521 1486 -654 1358 14 846 0
1528 -1529 1486 654 14 1531 846 0
-1528 1529 521 -1486 654 -1358 -14 -846 0
-1528 1529 -521 1486 654 -1358 -14 -846 0
1528 -1529 -521 1486 -654 1358 14 846 0
-1529 1486 654 -1358 -14 -1531 846 0
1528 1529 -521 1486 -654 1358 -14 846 0
1528 -1529 521 1486 -654 -1358 14 846 0
1528 1529 521 1486 -654 -1358 -14 846 0
-1528 1529 521 1486 -654 1358 -14 846 0
-1528 -1529 -521 1486 654 1358 -14 -846 0
-1528 521 1486 654 1358 1531 846 0
-1528 1529 -521 -1486 654 1358 14 846 0
1528 -1529 521 1486 -654 1358 -14 846 0
1528 -1529 521 1486 654 1358 -14 -846 0
1528 -1529 -521 -1486 654 1358 14 846 0
1528 1529 -521 -1486 654 1358 -14 846 0
1528 -1529 521 -1486 654 -1358 14 846 0
1528 1529 521 -1486 654 -1358 -14 846 0
1528 1529 -521 1486 654 -1358 -14 846 0
-1528 -1529 521 -1486 654 1358 14 846 0
-1528 -1529 -521 1486 654 1358 14 846 0
-1528 1529 521 -1486 654 1358 -14 846 0
-1528 1529 -521 1486 654 1358 -14 846 0
-1528 -1529 521 1486 654 -1358 14 846 0
-1528 1529 521 1486 654 -1358 -14 846 0
1528 -1529 521 -1486 654 1358 -14 846 0
-521 -1486 -654 -1358 1532 0
1528 1486 14 -1532 -846 0
1528 -1486 -654 -1358 -14 -1531 -846 0
521 1486 -654 -1358 14 1531 -846 0
-1529 -1486 -654 1358 -14 -1531 -846 0
-1528 1486 -654 -1358 -14 -1531 -846 0
-1528 1486 -654 1358 14 1531 -846 0
-1529 -521 -654 -1358 1532 0
1529 -521 1486 -1358 14 1531 -846 0
-1528 -1529 -521 -654 1532 0
1528 1529 -1486 -1358 14 1531 -846 0
1528 -521 1486 -654 1358 1531 -846 0
1529 521 654 14 -1532 0
-1528 1529 521 -1358 14 1531 -846 0
-1528 -1529 -521 -1358 1532 0
1528 -1529 521 -654 1358 1531 -846 0
-1528 1529 521 -1486 -654 -1358 -1531 0
-1529 -521 654 -1358 -14 -1531 -846 0
-1528 -521 654 1358 14 1531 -846 0
1529 521 1486 -654 14 1531 846 0
1528 -521 -1486 -654 1358 -1531 846 0
-1528 -1529 521 -1358 -14 -1531 -846 0
-1528 1529 -1486 -654 1358 -1531 846 0
-1529 1486 654 -1358 14 1531 -846 0
1528 -521 -1486 654 1358 1531 -846 0
1528 -1529 521 -1486 -654 -1531 846 0
-1528 -1529 -521 -1486 1358 14 -1531 0
-1528 1529 1486 1358 -14 1531 -846 0
-1528 521 1486 -654 -1358 -1531 846 0
-1528 -1529 521 -654 1358 -1531 846 0
1528 1529 -521 1358 14 1531 846 0
-1528 521 -1486 654 1358 1531 -846 0
1528 -1529 521 -1486 654 1531 -846 0
1528 -1529 -521 1486 654 1531 -846 0
-1528 1529 -521 1486 -1358 -1531 846 0
-1528 -1529 521 1486 654 1531 -846 0
1528 -521 -1486 654 -1358 -1531 846 0
-1529 521 -1486 654 -1358 -14 -1531 0
-1528 1529 -1486 654 -1358 -1531 846 0
-1528 1529 1486 654 14 1531 846 0
-1529 -521 1486 654 -14 -1531 846 0
1528 1529 521 1358 -14 1531 846 0
-1529 521 1486 1358 14 1531 846 0
1528 1486 654 1358 -14 1531 846 0
1528 521 1486 654 -1358 1531 846 0
1529 1358 14 -1532 -846 0
-1528 -521 -1486 -654 1532 0
1528 1529 1486 -1532 -846 0
654 1358 -1532 -1531 0
-1486 1532 1531 846 0
-1528 -521 -654 -1358 1532 0
-1528 -1529 -654 -1358 1532 0
1529 521 1358 14 -1532 0
-1528 -521 -1486 -14 1532 0
-1528 -1529 -14 1532 846 0
14 -1532 -1531 -846 0
1529 -1532 -1531 -846 0
1486 1358 -1532 -1531 0
1528 1486 -1532 -1531 0
-1486 -654 1532 1531 0
1528 1529 -1532 -1531 0
-1358 -14 1532 1531 0
1528 1529 521 1486 654 1358 14 -846 0
-1528 -1529 -521 -1486 -654 -1358 -14 846 0
c var 1533/2 a[5]_rhs[14]
1530 1531 655 1359 15 -1533 -847 0
1530 1531 522 655 15 -1533 -847 0
1530 1531 1487 655 15 -1533 -847 0
-522 -1487 -655 -1359 -15 1533 847 0
1531 522 655 1359 15 -1533 -847 0
1531 1487 655 1359 15 -1533 -847 0
-1530 -1531 -522 -1487 -655 1533 847 0
-1530 -522 -1487 -655 -15 1533 847 0
1531 522 1487 655 15 -1533 -847 0
-1530 1531 -522 -1487 655 1359 -15 -847 0
-1530 -1487 -655 -1359 -15 1533 847 0
-1530 -522 -655 -1359 -15 1533 847 0
1530 522 655 1359 15 -1533 -847 0
1530 1487 655 1359 15 -1533 -847 0
-1531 -522 -1487 -655 -15 1533 847 0
1530 522 1487 655 15 -1533 -847 0
-1531 -1487 -655 -1359 -15 1533 847 0
-1531 -522 -655 -1359 -15 1533 847 0
522 1487 655 1359 15 -1533 -847 0
-1530 -1531 522 -1487 655 1359 -15 -847 0
1531 522 1487 655 1359 -1533 -847 0
-1530 -1531 -1487 -655 -15 1533 847 0
-1530 -1531 -522 -655 -15 1533 847 0
-1530 -1531 -655 -1359 -15 1533 847 0
1530 1531 522 655 1359 15 -1533 0
1530 1531 1487 655 1359 15 -1533 0
-1530 -522 -1487 -1359 -15 1533 847 0
1530 1531 522 1487 655 15 -1533 0
1531 522 1487 655 1359 15 -1533 0
-1531 -522 -1487 -1359 -15 1533 847 0
-1530 -1531 -522 -1487 -15 1533 847 0
1530 522 1487 655 1359 15 -1533 0
-1530 -1531 -1487 -1359 -15 1533 847 0
-1530 -1531 -522 -1359 -15 1533 847 0
1530 1531 522 1487 655 1359 -1533 0
-1530 -522 -1487 -655 -1359 -15 1533 0
1530 1531 522 1359 15 -1533 -847 0
1530 1531 522 1487 15 -1533 -847 0
1530 -522 1487 -655 -1359 -15 -1533 0
-1531 -522 -1487 -655 -1359 -15 1533 0
1531 522 1487 1359 15 -1533 -847 0
-1487 -655 -15 1534 847 0
-1530 -1531 -522 -1487 -655 -15 1533 0
-1530 -1531 -1487 -655 -1359 -15 1533 0
-1530 -1531 -522 -655 -1359 -15 1533 0
1530 522 1487 1359 15 -1533 -847 0
1531 522 1487 -1534 -847 0
1530 1531 522 1487 655 -1533 -847 0
-1531 -655 -1359 -15 1534 0
1530 522 1487 -1534 -847 0
-1530 1531 -522 -1487 -655 -1359 15 847 0
1530 1531 522 1487 -655 1359 -15 -847 0
1530 -1531 -522 -1487 -655 -1359 15 847 0
1530 1531 522 1487 1359 15 -1533 0
-1530 -1531 -522 -1487 -1359 -15 1533 0
-1530 -1531 522 -1487 -655 -1359 15 847 0
-1530 -1531 -522 1487 -655 -1359 15 847 0
1530 1531 522 -1487 655 1359 -15 -847 0
1530 1531 -522 1487 655 1359 -15 -847 0
-1530 -1531 -522 -1487 655 -1359 15 847 0
-1531 522 655 -1359 15 1533 -847 0
1530 1531 1487 1359 15 -1533 -847 0
1530 1531 522 -1534 -847 0
-1530 -1531 -522 -1487 -655 -1359 1533 0
-1530 -522 -655 -15 1534 0
-1531 -522 -655 -15 1534 0
1530 522 1359 15 -1534 0
1530 -1531 -522 -1487 -655 1359 15 -847 0
1530 1531 -522 -1487 -655 1359 -15 -847 0
-1531 -522 -1487 -15 1534 0
1530 -1531 522 -1487 -655 -1359 15 -847 0
-1530 -1531 522 -1487 -655 1359 15 -847 0
-1530 1531 522 -1487 -655 1359 -15 -847 0
1530 1531 -522 655 15 1533 847 0
-1530 1531 -522 -1487 655 -1359 15 -847 0
-1530 -1531 -1487 655 -1359 15 -1533 0
-1531 -522 655 -1359 15 -1533 847 0
1530 1531 522 -1487 -655 -1359 15 847 0
1530 1531 -522 1487 -655 -1359 15 847 0
1530 -1531 -522 -1487 655 -1359 15 -847 0
1530 1531 -522 -1487 655 -1359 -15 -847 0
-1530 -1531 522 1487 -655 1359 -15 -847 0
-1530 1531 -522 1487 -655 1359 15 847 0
1530 -1531 1487 655 15 1533 847 0
-1530 1531 522 -1487 655 -1359 -15 -847 0
-1530 1531 -522 1487 655 -1359 -15 -847 0
1530 -1531 -522 1487 -655 1359 15 847 0
-1531 1487 655 -1359 -15 -1533 847 0
1530 1531 -522 1487 -655 1359 -15 847 0
1530 -1531 522 1487 -655 -1359 15 847 0
1530 1531 522 1487 -655 -1359 -15 847 0
-1530 1531 522 1487 -655 1359 -15 847 0
-1530 -1531 -522 1487 655 1359 -15 -847 0
-1530 522 1487 655 1359 1533 847 0
-1530 1531 -522 -1487 655 1359 15 847 0
1530 -1531 522 1487 -655 1359 -15 847 0
1530 -1531 522 1487 655 1359 -15 -847 0
1530 -1531 -522 -1487 655 1359 15 847 0
1530 1531 -522 -1487 655 1359 -15 847 0
1530 -1531 522 -1487 655 -1359 15 847 0
1530 1531 522 -1487 655 -1359 -15 847 0
1530 1531 -522 1487 655 -1359 -15 847 0
-1530 -1531 522 -1487 655 1359 15 847 0
-1530 -1531 -522 1487 655 1359 15 847 0
-1530 1531 522 -1487 655 1359 -15 847 0
-1530 1531 -522 1487 655 1359 -15 847 0
-1530 -1531 522 1487 655 -1359 15 847 0
-1530 1531 522 1487 655 -1359 -15 847 0
1530 -1531 522 -1487 655 1359 -15 847 0
-522 -1487 -655 -1359 1534 0
1530 1487 15 -1534 -847 0
1530 -1487 -655 -1359 -15 -1533 -847 0
522 1487 -655 -1359 15 1533 -847 0
-1531 -1487 -655 1359 -15 -1533 -847 0
-1530 1487 -655 -1359 -15 -1533 -847 0
-1530 1487 -655 1359 15 1533 -847 0
-1531 -522 -655 -1359 1534 0
1531 -522 1487 -1359 15 1533 -847 0
-1530 -1531 -522 -655 1534 0
1530 1531 -1487 -1359 15 1533 -847 0
1530 -522 1487 -655 1359 1533 -847 0
1531 522 655 15 -1534 0
-1530 1531 522 -1359 15 1533 -847 0
-1530 -1531 -522 -1359 1534 0
1530 -1531 522 -655 1359 1533 -847 0
-1530 1531 522 -1487 -655 -1359 -1533 0
-1531 -522 655 -1359 -15 -1533 -847 0
-1530 -522 655 1359 15 1533 -847 0
1531 522 1487 -655 15 1533 847 0
1530 -522 -1487 -655 1359 -1533 847 0
-1530 -1531 522 -1359 -15 -1533 -847 0
-1530 1531 -1487 -655 1359 -1533 847 0
-1531 1487 655 -1359 15 1533 -847 0
1530 -522 -1487 655 1359 1533 -847 0
1530 -1531 522 -1487 -655 -1533 847 0
-1530 -1531 -522 -1487 1359 15 -1533 0
-1530 1531 1487 1359 -15 1533 -847 0
-1530 522 1487 -655 -1359 -1533 847 0
-1530 -1531 522 -655 1359 -1533 847 0
1530 1531 -522 1359 15 1533 847 0
-1530 522 -1487 655 1359 1533 -847 0
1530 -1531 522 -1487 655 1533 -847 0
1530 -1531 -522 1487 655 1533 -847 0
-1530 1531 -522 1487 -1359 -1533 847 0
-1530 -1531 522 1487 655 1533 -847 0
1530 -522 -1487 655 -1359 -1533 847 0
-1531 522 -1487 655 -1359 -15 -1533 0
-1530 1531 -1487 655 -1359 -1533 847 0
-1530 1531 1487 655 15 1533 847 0
-1531 -522 1487 655 -15 -1533 847 0
1530 1531 522 1359 -15 1533 847 0
-1531 522 1487 1359 15 1533 847 0
1530 1487 655 1359 -15 1533 847 0
1530 522 1487 655 -1359 1533 847 0
1531 1359 15 -1534 -847 0
-1530 -522 -1487 -655 1534 0
1530 1531 1487 -1534 -847 0
655 1359 -1534 -1533 0
-1487 1534 1533 847 0
-1530 -522 -655 -1359 1534 0
-1530 -1531 -655 -1359 1534 0
1531 522 1359 15 -1534 0
-1530 -522 -1487 -15 1534 0
-1530 -1531 -15 1534 847 0
15 -1534 -1533 -847 0
1531 -1534 -1533 -847 0
1487 1359 -1534 -1533 0
1530 1487 -1534 -1533 0
-1487 -655 1534 1533 0
1530 1531 -1534 -1533 0
-1359 -15 1534 1533 0
1530 1531 522 1487 655 1359 15 -847 0
-1530 -1531 -522 -1487 -655 -1359 -15 847 0
c var 1535/2 a[5]_rhs[15]
1532 1533 656 1360 16 -1535 -848 0
1532 1533 523 656 16 -1535 -848 0
1532 1533 1488 656 16 -1535 -848 0
-523 -1488 -656 -1360 -16 1535 848 0
1533 523 656 1360 16 -1535 -848 0
1533 1488 656 1360 16 -1535 -848 0
-1532 -1533 -523 -1488 -656 1535 848 0
-1532 -523 -1488 -656 -16 1535 848 0
1533 523 1488 656 16 -1535 -848 0
-1532 1533 -523 -1488 656 1360 -16 -848 0
-1532 -1488 -656 -1360 -16 1535 848 0
-1532 -523 -656 -1360 -16 1535 848 0
1532 523 656 1360 16 -1535 -848 0
1532 1488 656 1360 16 -1535 -848 0
-1533 -523 -1488 -656 -16 1535 848 0
1532 523 1488 656 16 -1535 -848 0
-1533 -1488 -656 -1360 -16 1535 848 0
-1533 -523 -656 -1360 -16 1535 848 0
523 1488 656 1360 16 -1535 -848 0
-1532 -1533 523 -1488 656 1360 -16 -848 0
1533 523 1488 656 1360 -1535 -848 0
-1532 -1533 -1488 -656 -16 1535 848 0
-1532 -1533 -523 -656 -16 1535 848 0
-1532 -1533 -656 -1360 -16 1535 848 0
1532 1533 523 656 1360 16 -1535 0
1532 1533 1488 656 1360 16 -1535 0
-1532 -523 -1488 -1360 -16 1535 848 0
1532 1533 523 1488 656 16 -1535 0
1533 523 1488 656 1360 16 -1535 0
-1533 -523 -1488 -1360 -16 1535 848 0
-1532 -1533 -523 -1488 -16 1535 848 0
1532 523 1488 656 1360 16 -1535 0
-1532 -1533 -1488 -1360 -16 1535 848 0
-1532 -1533 -523 -1360 -16 1535 848 0
1532 1533 523 1488 656 1360 -1535 0
-1532 -523 -1488 -656 -1360 -16 1535 0
1532 1533 523 1360 16 -1535 -848 0
1532 1533 523 1488 16 -1535 -848 0
1532 -523 1488 -656 -1360 -16 -1535 0
-1533 -523 -1488 -656 -1360 -16 1535 0
1533 523 1488 1360 16 -1535 -848 0
-1488 -656 -16 1536 848 0
-1532 -1533 -523 -1488 -656 -16 1535 0
-1532 -1533 -1488 -656 -1360 -16 1535 0
-1532 -1533 -523 -656 -1360 -16 1535 0
1532 523 1488 1360 16 -1535 -848 0
1533 523 1488 -1536 -848 0
1532 1533 523 1488 656 -1535 -848 0
-1533 -656 -1360 -16 1536 0
1532 523 1488 -1536 -848 0
-1532 1533 -523 -1488 -656 -1360 16 848 0
1532 1533 523 1488 -656 1360 -16 -848 0
1532 -1533 -523 -1488 -656 -1360 16 848 0
1532 1533 523 1488 1360 16 -1535 0
-1532 -1533 -523 -1488 -1360 -16 1535 0
-1532 -1533 523 -1488 -656 -1360 16 848 0
-1532 -1533 -523 1488 -656 -1360 16 848 0
1532 1533 523 -1488 656 1360 -16 -848 0
1532 1533 -523 1488 656 1360 -16 -848 0
-1532 -1533 -523 -1488 656 -1360 16 848 0
-1533 523 656 -1360 16 1535 -848 0
1532 1533 1488 1360 16 -1535 -848 0
1532 1533 523 -1536 -848 0
-1532 -1533 -523 -1488 -656 -1360 1535 0
-1532 -523 -656 -16 1536 0
-1533 -523 -656 -16 1536 0
1532 523 1360 16 -1536 0
1532 -1533 -523 -1488 -656 1360 16 -848 0
1532 1533 -523 -1488 -656 1360 -16 -848 0
-1533 -523 -1488 -16 1536 0
1532 -1533 523 -1488 -656 -1360 16 -848 0
-1532 -1533 523 -1488 -656 1360 16 -848 0
-1532 1533 523 -1488 -656 1360 -16 -848 0
1532 1533 -523 656 16 1535 848 0
-1532 1533 -523 -1488 656 -1360 16 -848 0
-1532 -1533 -1488 656 -1360 16 -1535 0
-1533 -523 656 -1360 16 -1535 848 0
1532 1533 523 -1488 -656 -1360 16 848 0
1532 1533 -523 1488 -656 -1360 16 848 0
1532 -1533 -523 -1488 656 -1360 16 -848 0
1532 1533 -523 -1488 656 -1360 -16 -848 0
-1532 -1533 523 1488 -656 1360 -16 -848 0
-1532 1533 -523 1488 -656 1360 16 848 0
1532 -1533 1488 656 16 1535 848 0
-1532 1533 523 -1488 656 -1360 -16 -848 0
-1532 1533 -523 1488 656 -1360 -16 -848 0
1532 -1533 -523 1488 -656 1360 16 848 0
-1533 1488 656 -1360 -16 -1535 848 0
1532 1533 -523 1488 -656 1360 -16 848 0
1532 -1533 523 1488 -656 -1360 16 848 0
1532 1533 523 1488 -656 -1360 -16 848 0
-1532 1533 523 1488 -656 1360 -16 848 0
-1532 -1533 -523 1488 656 1360 -16 -848 0
-1532 523 1488 656 1360 1535 848 0
-1532 1533 -523 -1488 656 1360 16 848 0
1532 -1533 523 1488 -656 1360 -16 848 0
1532 -1533 523 1488 656 1360 -16 -848 0
1532 -1533 -523 -1488 656 1360 16 848 0
1532 1533 -523 -1488 656 1360 -16 848 0
1532 -1533 523 -1488 656 -1360 16 848 0
1532 1533 523 -1488 656 -1360 -16 848 0
1532 1533 -523 1488 656 -1360 -16 848 0
-1532 -1533 523 -1488 656 1360 16 848 0
-1532 -1533 -523 1488 656 1360 16 848 0
-1532 1533 523 -1488 656 1360 -16 848 0
-1532 1533 -523 1488 656 1360 -16 848 0
-1532 -1533 523 1488 656 -1360 16 848 0
-1532 1533 523 1488 656 -1360 -16 848 0
1532 -1533 523 -1488 656 1360 -16 848 0
-523 -1488 -656 -1360 1536 0
1532 1488 16 -1536 -848 0
1532 -1488 -656 -1360 -16 -1535 -848 0
523 1488 -656 -1360 16 1535 -848 0
-1533 -1488 -656 1360 -16 -1535 -848 0
-1532 1488 -656 -1360 -16 -1535 -848 0
-1532 1488 -656 1360 16 1535 -848 0
-1533 -523 -656 -1360 1536 0
1533 -523 1488 -1360 16 1535 -848 0
-1532 -1533 -523 -656 1536 0
1532 1533 -1488 -1360 16 1535 -848 0
1532 -523 1488 -656 1360 1535 -848 0
1533 523 656 16 -1536 0
-1532 1533 523 -1360 16 1535 -848 0
-1532 -1533 -523 -1360 1536 0
1532 -1533 523 -656 1360 1535 -848 0
-1532 1533 523 -1488 -656 -1360 -1535 0
-1533 -523 656 -1360 -16 -1535 -848 0
-1532 -523 656 1360 16 1535 -848 0
1533 523 1488 -656 16 1535 848 0
1532 -523 -1488 -656 1360 -1535 848 0
-1532 -1533 523 -1360 -16 -1535 -848 0
-1532 1533 -1488 -656 1360 -1535 848 0
-1533 1488 656 -1360 16 1535 -848 0
1532 -523 -1488 656 1360 1535 -848 0
1532 -1533 523 -1488 -656 -1535 848 0
-1532 -1533 -523 -1488 1360 16 -1535 0
-1532 1533 1488 1360 -16 1535 -848 0
-1532 523 1488 -656 -1360 -1535 848 0
-1532 -1533 523 -656 1360 -1535 848 0
1532 1533 -523 1360 16 1535 848 0
-1532 523 -1488 656 1360 1535 -848 0
1532 -1533 523 -1488 656 1535 -848 0
1532 -1533 -523 1488 656 1535 -848 0
-1532 1533 -523 1488 -1360 -1535 848 0
-1532 -1533 523 1488 656 1535 -848 0
1532 -523 -1488 656 -1360 -1535 848 0
-1533 523 -1488 656 -1360 -16 -1535 0
-1532 1533 -1488 656 -1360 -1535 848 0
-1532 1533 1488 656 16 1535 848 0
-1533 -523 1488 656 -16 -1535 848 0
1532 1533 523 1360 -16 1535 848 0
-1533 523 1488 1360 16 1535 848 0
1532 1488 656 1360 -16 1535 848 0
1532 523 1488 656 -1360 1535 848 0
1533 1360 16 -1536 -848 0
-1532 -523 -1488 -656 1536 0
1532 1533 1488 -1536 -848 0
656 1360 -1536 -1535 0
-1488 1536 1535 848 0
-1532 -523 -656 -1360 1536 0
-1532 -1533 -656 -1360 1536 0
1533 523 1360 16 -1536 0
-1532 -523 -1488 -16 1536 0
-1532 -1533 -16 1536 848 0
16 -1536 -1535 -848 0
1533 -1536 -1535 -848 0
1488 1360 -1536 -1535 0
1532 1488 -1536 -1535 0
-1488 -656 1536 1535 0
1532 1533 -1536 -1535 0
-1360 -16 1536 1535 0
1532 1533 523 1488 656 1360 16 -848 0
-1532 -1533 -523 -1488 -656 -1360 -16 848 0
c var 1537/2 a[5]_rhs[16]
1534 1535 657 1361 17 -1537 -849 0
1534 1535 524 657 17 -1537 -849 0
1534 1535 1489 657 17 -1537 -849 0
-524 -1489 -657 -1361 -17 1537 849 0
1535 524 657 1361 17 -1537 -849 0
1535 1489 657 1361 17 -1537 -849 0
-1534 -1535 -524 -1489 -657 1537 849 0
-1534 -524 -1489 -657 -17 1537 849 0
1535 524 1489 657 17 -1537 -849 0
-1534 1535 -524 -1489 657 1361 -17 -849 0
-1534 -1489 -657 -1361 -17 1537 849 0
-1534 -524 -657 -1361 -17 1537 849 0
1534 524 657 1361 17 -1537 -849 0
1534 1489 657 1361 17 -1537 -849 0
-1535 -524 -1489 -657 -17 1537 849 0
1534 524 1489 657 17 -1537 -849 0
-1535 -1489 -657 -1361 -17 1537 849 0
-1535 -524 -657 -1361 -17 1537 849 0
524 1489 657 1361 17 -1537 -849 0
-1534 -1535 524 -1489 657 1361 -17 -849 0
1535 524 1489 657 1361 -1537 -849 0
-1534 -1535 -1489 -657 -17 1537 849 0
-1534 -1535 -524 -657 -17 1537 849 0
-1534 -1535 -657 -1361 -17 1537 849 0
1534 1535 524 657 1361 17 -1537 0
1534 1535 1489 657 1361 17 -1537 0
-1534 -524 -1489 -1361 -17 1537 849 0
1534 1535 524 1489 657 17 -1537 0
1535 524 1489 657 1361 17 -1537 0
-1535 -524 -1489 -1361 -17 1537 849 0
-1534 -1535 -524 -1489 -17 1537 849 0
1534 524 1489 657 1361 17 -1537 0
-1534 -1535 -1489 -1361 -17 1537 849 0
-1534 -1535 -524 -1361 -17 1537 849 0
1534 1535 524 1489 657 1361 -1537 0
-1534 -524 -1489 -657 -1361 -17 1537 0
1534 1535 524 1361 17 -1537 -849 0
1534 1535 524 1489 17 -1537 -849 0
1534 -524 1489 -657 -1361 -17 -1537 0
-1535 -524 -1489 -657 -1361 -17 1537 0
1535 524 1489 1361 17 -1537 -849 0
-1489 -657 -17 1538 849 0
-1534 -1535 -524 -1489 -657 -17 1537 0
-1534 -1535 -1489 -657 -1361 -17 1537 0
-1534 -1535 -524 -657 -1361 -17 1537 0
1534 524 1489 1361 17 -1537 -849 0
1535 524 1489 -1538 -849 0
1534 1535 524 1489 657 -1537 -849 0
-1535 -657 -1361 -17 1538 0
1534 524 1489 -1538 -849 0
-1534 1535 -524 -1489 -657 -1361 17 849 0
1534 1535 524 1489 -657 1361 -17 -849 0
1534 -1535 -524 -1489 -657 -1361 17 849 0
1534 1535 524 1489 1361 17 -1537 0
-1534 -1535 -524 -1489 -1361 -17 1537 0
-1534 -1535 524 -1489 -657 -1361 17 849 0
-1534 -1535 -524 1489 -657 -1361 17 849 0
1534 1535 524 -1489 657 1361 -17 -849 0
1534 1535 -524 1489 657 1361 -17 -849 0
-1534 -1535 -524 -1489 657 -1361 17 849 0
-1535 524 657 -1361 17 1537 -849 0
1534 1535 1489 1361 17 -1537 -849 0
1534 1535 524 -1538 -849 0
-1534 -1535 -524 -1489 -657 -1361 1537 0
-1534 -524 -657 -17 1538 0
-1535 -524 -657 -17 1538 0
1534 524 1361 17 -1538 0
1534 -1535 -524 -1489 -657 1361 17 -849 0
1534 1535 -524 -1489 -657 1361 -17 -849 0
-1535 -524 -1489 -17 1538 0
1534 -1535 524 -1489 -657 -1361 17 -849 0
-1534 -1535 524 -1489 -657 1361 17 -849 0
-1534 1535 524 -1489 -657 1361 -17 -849 0
1534 1535 -524 657 17 1537 849 0
-1534 1535 -524 -1489 657 -1361 17 -849 0
-1534 -1535 -1489 657 -1361 17 -1537 0
-1535 -524 657 -1361 17 -1537 849 0
1534 1535 524 -1489 -657 -1361 17 849 0
1534 1535 -524 1489 -657 -1361 17 849 0
1534 -1535 -524 -1489 657 -1361 17 -849 0
1534 1535 -524 -1489 657 -1361 -17 -849 0
-1534 -1535 524 1489 -657 1361 -17 -849 0
-1534 1535 -524 1489 -657 1361 17 849 0
1534 -1535 1489 657 17 1537 849 0
-1534 1535 524 -1489 657 -1361 -17 -849 0
-1534 1535 -524 1489 657 -1361 -17 -849 0
1534 -1535 -524 1489 -657 1361 17 849 0
-1535 1489 657 -1361 -17 -1537 849 0
1534 1535 -524 1489 -657 1361 -17 849 0
1534 -1535 524 1489 -657 -1361 17 849 0
1534 1535 524 1489 -657 -1361 -17 849 0
-1534 1535 524 1489 -657 1361 -17 849 0
-1534 -1535 -524 1489 657 1361 -17 -849 0
-1534 524 1489 657 1361 1537 849 0
-1534 1535 -524 -1489 657 1361 17 849 0
1534 -1535 524 1489 -657 1361 -17 849 0
1534 -1535 524 1489 657 1361 -17 -849 0
1534 -1535 -524 -1489 657 1361 17 849 0
1534 1535 -524 -1489 657 1361 -17 849 0
1534 -1535 524 -1489 657 -1361 17 849 0
1534 1535 524 -1489 657 -1361 -17 849 0
1534 1535 -524 1489 657 -1361 -17 849 0
-1534 -1535 524 -1489 657 1361 17 849 0
-1534 -1535 -524 1489 657 1361 17 849 0
-1534 1535 524 -1489 657 1361 -17 849 0
-1534 1535 -524 1489 657 1361 -17 849 0
-1534 -1535 524 1489 657 -1361 17 849 0
-1534 1535 524 1489 657 -1361 -17 849 0
1534 -1535 524 -1489 657 1361 -17 849 0
-524 -1489 -657 -1361 1538 0
1534 1489 17 -1538 -849 0
1534 -1489 -657 -1361 -17 -1537 -849 0
524 1489 -657 -1361 17 1537 -849 0
-1535 -1489 -657 1361 -17 -1537 -849 0
-1534 1489 -657 -1361 -17 -1537 -849 0
-1534 1489 -657 1361 17 1537 -849 0
-1535 -524 -657 -1361 1538 0
1535 -524 1489 -1361 17 1537 -849 0
-1534 -1535 -524 -657 1538 0
1534 1535 -1489 -1361 17 1537 -849 0
1534 -524 1489 -657 1361 1537 -849 0
1535 524 657 17 -1538 0
-1534 1535 524 -1361 17 1537 -849 0
-1534 -1535 -524 -1361 1538 0
1534 -1535 524 -657 1361 1537 -849 0
-1534 1535 524 -1489 -657 -1361 -1537 0
-1535 -524 657 -1361 -17 -1537 -849 0
-1534 -524 657 1361 17 1537 -849 0
1535 524 1489 -657 17 1537 849 0
1534 -524 -1489 -657 1361 -1537 849 0
-1534 -1535 524 -1361 -17 -1537 -849 0
-1534 1535 -1489 -657 1361 -1537 849 0
-1535 1489 657 -1361 17 1537 -849 0
1534 -524 -1489 657 1361 1537 -849 0
1534 -1535 524 -1489 -657 -1537 849 0
-1534 -1535 -524 -1489 1361 17 -1537 0
-1534 1535 1489 1361 -17 1537 -849 0
-1534 524 1489 -657 -1361 -1537 849 0
-1534 -1535 524 -657 1361 -1537 849 0
1534 1535 -524 1361 17 1537 849 0
-1534 524 -1489 657 1361 1537 -849 0
1534 -1535 524 -1489 657 1537 -849 0
1534 -1535 -524 1489 657 1537 -849 0
-1534 1535 -524 1489 -1361 -1537 849 0
-1534 -1535 524 1489 657 1537 -849 0
1534 -524 -1489 657 -1361 -1537 849 0
-1535 524 -1489 657 -1361 -17 -1537 0
-1534 1535 -1489 657 -1361 -1537 849 0
-1534 1535 1489 657 17 1537 849 0
-1535 -524 1489 657 -17 -1537 849 0
1534 1535 524 1361 -17 1537 849 0
-1535 524 1489 1361 17 1537 849 0
1534 1489 657 1361 -17 1537 849 0
1534 524 1489 657 -1361 1537 849 0
1535 1361 17 -1538 -849 0
-1534 -524 -1489 -657 1538 0
1534 1535 1489 -1538 -849 0