This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 | |
| 657 1361 -1538 -1537 0 | |
| -1489 1538 1537 849 0 | |
| -1534 -524 -657 -1361 1538 0 | |
| -1534 -1535 -657 -1361 1538 0 | |
| 1535 524 1361 17 -1538 0 | |
| -1534 -524 -1489 -17 1538 0 | |
| -1534 -1535 -17 1538 849 0 | |
| 17 -1538 -1537 -849 0 | |
| 1535 -1538 -1537 -849 0 | |
| 1489 1361 -1538 -1537 0 | |
| 1534 1489 -1538 -1537 0 | |
| -1489 -657 1538 1537 0 | |
| 1534 1535 -1538 -1537 0 | |
| -1361 -17 1538 1537 0 | |
| 1534 1535 524 1489 657 1361 17 -849 0 | |
| -1534 -1535 -524 -1489 -657 -1361 -17 849 0 | |
| c var 1539/2 a[5]_rhs[17] | |
| 1536 1537 658 1362 18 -1539 -850 0 | |
| 1536 1537 525 658 18 -1539 -850 0 | |
| 1536 1537 1490 658 18 -1539 -850 0 | |
| -525 -1490 -658 -1362 -18 1539 850 0 | |
| 1537 525 658 1362 18 -1539 -850 0 | |
| 1537 1490 658 1362 18 -1539 -850 0 | |
| -1536 -1537 -525 -1490 -658 1539 850 0 | |
| -1536 -525 -1490 -658 -18 1539 850 0 | |
| 1537 525 1490 658 18 -1539 -850 0 | |
| -1536 1537 -525 -1490 658 1362 -18 -850 0 | |
| -1536 -1490 -658 -1362 -18 1539 850 0 | |
| -1536 -525 -658 -1362 -18 1539 850 0 | |
| 1536 525 658 1362 18 -1539 -850 0 | |
| 1536 1490 658 1362 18 -1539 -850 0 | |
| -1537 -525 -1490 -658 -18 1539 850 0 | |
| 1536 525 1490 658 18 -1539 -850 0 | |
| -1537 -1490 -658 -1362 -18 1539 850 0 | |
| -1537 -525 -658 -1362 -18 1539 850 0 | |
| 525 1490 658 1362 18 -1539 -850 0 | |
| -1536 -1537 525 -1490 658 1362 -18 -850 0 | |
| 1537 525 1490 658 1362 -1539 -850 0 | |
| -1536 -1537 -1490 -658 -18 1539 850 0 | |
| -1536 -1537 -525 -658 -18 1539 850 0 | |
| -1536 -1537 -658 -1362 -18 1539 850 0 | |
| 1536 1537 525 658 1362 18 -1539 0 | |
| 1536 1537 1490 658 1362 18 -1539 0 | |
| -1536 -525 -1490 -1362 -18 1539 850 0 | |
| 1536 1537 525 1490 658 18 -1539 0 | |
| 1537 525 1490 658 1362 18 -1539 0 | |
| -1537 -525 -1490 -1362 -18 1539 850 0 | |
| -1536 -1537 -525 -1490 -18 1539 850 0 | |
| 1536 525 1490 658 1362 18 -1539 0 | |
| -1536 -1537 -1490 -1362 -18 1539 850 0 | |
| -1536 -1537 -525 -1362 -18 1539 850 0 | |
| 1536 1537 525 1490 658 1362 -1539 0 | |
| -1536 -525 -1490 -658 -1362 -18 1539 0 | |
| 1536 1537 525 1362 18 -1539 -850 0 | |
| 1536 1537 525 1490 18 -1539 -850 0 | |
| 1536 -525 1490 -658 -1362 -18 -1539 0 | |
| -1537 -525 -1490 -658 -1362 -18 1539 0 | |
| 1537 525 1490 1362 18 -1539 -850 0 | |
| -1490 -658 -18 1540 850 0 | |
| -1536 -1537 -525 -1490 -658 -18 1539 0 | |
| -1536 -1537 -1490 -658 -1362 -18 1539 0 | |
| -1536 -1537 -525 -658 -1362 -18 1539 0 | |
| 1536 525 1490 1362 18 -1539 -850 0 | |
| 1537 525 1490 -1540 -850 0 | |
| 1536 1537 525 1490 658 -1539 -850 0 | |
| -1537 -658 -1362 -18 1540 0 | |
| 1536 525 1490 -1540 -850 0 | |
| -1536 1537 -525 -1490 -658 -1362 18 850 0 | |
| 1536 1537 525 1490 -658 1362 -18 -850 0 | |
| 1536 -1537 -525 -1490 -658 -1362 18 850 0 | |
| 1536 1537 525 1490 1362 18 -1539 0 | |
| -1536 -1537 -525 -1490 -1362 -18 1539 0 | |
| -1536 -1537 525 -1490 -658 -1362 18 850 0 | |
| -1536 -1537 -525 1490 -658 -1362 18 850 0 | |
| 1536 1537 525 -1490 658 1362 -18 -850 0 | |
| 1536 1537 -525 1490 658 1362 -18 -850 0 | |
| -1536 -1537 -525 -1490 658 -1362 18 850 0 | |
| -1537 525 658 -1362 18 1539 -850 0 | |
| 1536 1537 1490 1362 18 -1539 -850 0 | |
| 1536 1537 525 -1540 -850 0 | |
| -1536 -1537 -525 -1490 -658 -1362 1539 0 | |
| -1536 -525 -658 -18 1540 0 | |
| -1537 -525 -658 -18 1540 0 | |
| 1536 525 1362 18 -1540 0 | |
| 1536 -1537 -525 -1490 -658 1362 18 -850 0 | |
| 1536 1537 -525 -1490 -658 1362 -18 -850 0 | |
| -1537 -525 -1490 -18 1540 0 | |
| 1536 -1537 525 -1490 -658 -1362 18 -850 0 | |
| -1536 -1537 525 -1490 -658 1362 18 -850 0 | |
| -1536 1537 525 -1490 -658 1362 -18 -850 0 | |
| 1536 1537 -525 658 18 1539 850 0 | |
| -1536 1537 -525 -1490 658 -1362 18 -850 0 | |
| -1536 -1537 -1490 658 -1362 18 -1539 0 | |
| -1537 -525 658 -1362 18 -1539 850 0 | |
| 1536 1537 525 -1490 -658 -1362 18 850 0 | |