TSTP Solution File: HWV055+1 by Zenon---0.7.1
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Zenon---0.7.1
% Problem : HWV055+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon %s %d
% Computer : n007.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 21:30:53 EDT 2022
% Result : Unknown 182.38s 182.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : HWV055+1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.14 % Command : run_zenon %s %d
% 0.13/0.35 % Computer : n007.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Thu Jun 16 21:55:26 EDT 2022
% 0.13/0.35 % CPUTime :
% 5.00/5.17 Zenon warning: unused variable (V570 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V571 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V572 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V573 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V574 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V575 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V576 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V577 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V578 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V579 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V580 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V581 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V582 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V583 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V584 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V585 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V586 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V587 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V588 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V589 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V590 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V591 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V592 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V593 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V594 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V595 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V596 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V597 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V598 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V599 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V600 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V601 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V602 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V603 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V604 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V605 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V606 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V607 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V608 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V609 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V610 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V611 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V612 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V613 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V614 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V615 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V616 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V617 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V618 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V619 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V620 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V621 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V622 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V623 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V624 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V625 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V626 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V627 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V628 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V629 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V630 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V631 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V632 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V633 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V634 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V635 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V636 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V637 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V638 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V639 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V640 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V641 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V642 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V643 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V644 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V645 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V646 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V647 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V648 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V649 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V650 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V651 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V652 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V653 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V654 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V655 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V656 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V657 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V658 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V659 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V660 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V661 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V662 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V663 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V664 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V665 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V666 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V667 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V668 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V669 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V670 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V671 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V672 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V673 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V674 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V675 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V676 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V677 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V678 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V679 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V680 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V681 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V682 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V683 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V684 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V685 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V686 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V687 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V688 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V689 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V690 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V691 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V692 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V693 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V694 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V695 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V696 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V697 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V698 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V699 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V700 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V701 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V702 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V703 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V704 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V705 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V706 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V707 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V708 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V709 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V710 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V711 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V712 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V713 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V714 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V715 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V716 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V717 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V718 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V719 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V720 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V721 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V722 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V723 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V724 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V725 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V726 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V727 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V728 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V729 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V730 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V731 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V732 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V733 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V734 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V735 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V736 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V737 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V738 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V739 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V740 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V741 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V742 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V743 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V744 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V745 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V746 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V747 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V748 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V749 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V750 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V751 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V752 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V753 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V754 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V755 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V756 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V757 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V758 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V759 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V760 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V761 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V762 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V763 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V764 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V765 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V766 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V767 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V768 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V769 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V770 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V771 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V772 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V773 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V774 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V775 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V776 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V777 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V778 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V779 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V780 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V781 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V782 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V783 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V784 : zenon_U) in quant
% 5.00/5.17 Zenon warning: unused variable (V785 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V786 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V787 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V788 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V789 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V790 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V791 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V792 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V793 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V794 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V795 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V796 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V797 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V798 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V799 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V800 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V801 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V802 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V803 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V804 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V805 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V806 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V807 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V808 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V809 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V810 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V811 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V812 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V813 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V814 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V815 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V816 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V817 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V818 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V819 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V820 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V821 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V822 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V823 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V824 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V825 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V836 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V837 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V838 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V839 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V840 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V841 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V842 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V843 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1140 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1141 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1142 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1143 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1144 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1145 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1146 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1147 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1148 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1149 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1150 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1151 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1152 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1153 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1154 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1155 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1156 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1157 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1158 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1159 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1160 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1161 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1162 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1163 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1164 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1165 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1166 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1167 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1168 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1169 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1170 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1171 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1172 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1173 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1174 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1175 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1176 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1177 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1178 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1179 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1180 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1181 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1182 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1183 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1184 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1185 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1186 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1187 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1188 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1189 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1190 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1191 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1192 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1193 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1194 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1195 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1196 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1197 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1198 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1199 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1200 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1201 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1202 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1203 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1204 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1205 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1206 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1207 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1208 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1209 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1210 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1211 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1212 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1213 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1214 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1215 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1216 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1217 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1218 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1219 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1220 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1221 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1222 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1223 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1224 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1225 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1226 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1227 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1228 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1229 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1230 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1231 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1232 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1233 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1234 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1235 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1236 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1237 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1238 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1239 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1240 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1241 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1242 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1243 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1244 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1245 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1246 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1247 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1248 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1249 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1250 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1251 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1252 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1253 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1254 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1255 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1256 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1257 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1258 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1259 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1260 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1261 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1262 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1263 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1264 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1265 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1266 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1267 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1268 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1269 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1270 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1271 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1272 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1273 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1274 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1275 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1276 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1277 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1278 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1279 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1280 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1281 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1282 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1283 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1284 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1285 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1286 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1287 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1288 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1289 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1290 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1291 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1292 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1293 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1294 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1295 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1296 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1297 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1298 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1299 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1300 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1301 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1302 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1303 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1304 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1305 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1306 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1307 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1308 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1309 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1310 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1311 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1312 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1313 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1314 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1315 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1316 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1317 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1318 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1319 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1320 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1321 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1322 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1323 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1324 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1325 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1326 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1327 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1328 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1329 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1330 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1331 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1332 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1333 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1334 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1335 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1336 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1337 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1338 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1339 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1340 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1341 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1342 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1343 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1344 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1345 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1346 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1347 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1348 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1349 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1350 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1351 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1352 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1353 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1354 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1355 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1356 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1357 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1358 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1359 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1360 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1361 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1362 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1363 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1364 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1365 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1366 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1367 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1368 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1369 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1370 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1371 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1372 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1373 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1374 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1375 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1376 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1377 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1378 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1379 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1380 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1381 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1382 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1383 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1384 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1385 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1386 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1387 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1388 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1389 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1390 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1391 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1392 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1393 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1394 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1395 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1406 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1407 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1408 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1409 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1410 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1411 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1412 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1413 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1690 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1691 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1692 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1693 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1694 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1695 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1696 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1697 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1698 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1699 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1700 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1701 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1702 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1703 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1704 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1705 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1706 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1707 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1708 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1709 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1710 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1711 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1712 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1713 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1714 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1715 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1716 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1717 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1718 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1719 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1720 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1721 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1722 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1723 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1724 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1725 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1726 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1727 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1728 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1729 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1730 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1731 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1732 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1733 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1734 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1735 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1736 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1737 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1738 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1739 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1740 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1741 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1742 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1743 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1744 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1745 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1746 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1747 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1748 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1749 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1750 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1751 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1752 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1753 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1754 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1755 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1756 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1757 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1758 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1759 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1760 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1761 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1762 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1763 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1764 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1765 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1766 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1767 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1768 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1769 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1770 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1771 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1772 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1773 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1774 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1775 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1776 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1777 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1778 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1779 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1780 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1781 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1782 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1783 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1784 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1785 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1786 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1787 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1788 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1789 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1790 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1791 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1792 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1793 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1794 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1795 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1796 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1797 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1798 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1799 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1800 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1801 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1802 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1803 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1804 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1805 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1806 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1807 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1808 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1809 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1810 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1811 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1812 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1813 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1814 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1815 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1816 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1817 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1818 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1819 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1820 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1821 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1822 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1823 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1824 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1825 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1826 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1827 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1828 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1829 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1830 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1831 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1832 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1833 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1834 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1835 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1836 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1837 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1838 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1839 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1840 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1841 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1842 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1843 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1844 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1845 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1846 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1847 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1848 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1849 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1850 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1851 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1852 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1853 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1854 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1855 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1856 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1857 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1858 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1859 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1860 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1861 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1862 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1863 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1864 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1865 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1866 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1867 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1868 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1869 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1870 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1871 : zenon_U) in quant
% 5.00/5.18 Zenon warning: unused variable (V1872 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1873 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1874 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1875 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1876 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1877 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1878 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1879 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1880 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1881 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1882 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1883 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1884 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1885 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1886 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1887 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1888 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1889 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1890 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1891 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1892 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1893 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1894 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1895 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1896 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1897 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1898 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1899 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1900 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1901 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1902 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1903 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1904 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1905 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1906 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1907 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1908 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1909 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1910 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1911 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1912 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1913 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1914 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1915 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1916 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1917 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1918 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1919 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1920 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1921 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1922 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1923 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1924 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1925 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1926 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1927 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1928 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1929 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1930 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1931 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1932 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1933 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1934 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1935 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1936 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1937 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1938 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1939 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1940 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1941 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1942 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1943 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1944 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1945 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1956 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1957 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1958 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1959 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1960 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1961 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1962 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V1963 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2240 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2241 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2242 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2243 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2244 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2245 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2246 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2247 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2248 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2249 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2250 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2251 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2252 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2253 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2254 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2255 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2256 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2257 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2258 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2259 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2260 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2261 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2262 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2263 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2264 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2265 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2266 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2267 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2268 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2269 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2270 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2271 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2272 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2273 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2274 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2275 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2276 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2277 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2278 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2279 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2280 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2281 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2282 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2283 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2284 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2285 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2286 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2287 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2288 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2289 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2290 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2291 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2292 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2293 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2294 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2295 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2296 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2297 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2298 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2299 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2300 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2301 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2302 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2303 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2304 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2305 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2306 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2307 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2308 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2309 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2310 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2311 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2312 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2313 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2314 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2315 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2316 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2317 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2318 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2319 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2320 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2321 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2322 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2323 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2324 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2325 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2326 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2327 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2328 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2329 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2330 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2331 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2332 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2333 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2334 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2335 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2336 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2337 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2338 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2339 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2340 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2341 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2342 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2343 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2344 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2345 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2346 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2347 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2348 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2349 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2350 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2351 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2352 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2353 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2354 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2355 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2356 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2357 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2358 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2359 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2360 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2361 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2362 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2363 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2364 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2365 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2366 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2367 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2368 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2369 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2370 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2371 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2372 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2373 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2374 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2375 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2376 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2377 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2378 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2379 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2380 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2381 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2382 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2383 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2384 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2385 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2386 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2387 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2388 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2389 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2390 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2391 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2392 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2393 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2394 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2395 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2396 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2397 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2398 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2399 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2400 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2401 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2402 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2403 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2404 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2405 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2406 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2407 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2408 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2409 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2410 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2411 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2412 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2413 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2414 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2415 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2416 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2417 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2418 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2419 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2420 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2421 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2422 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2423 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2424 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2425 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2426 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2427 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2428 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2429 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2430 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2431 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2432 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2433 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2434 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2435 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2436 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2437 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2438 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2439 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2440 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2441 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2442 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2443 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2444 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2445 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2446 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2447 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2448 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2449 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2450 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2451 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2452 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2453 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2454 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2455 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2456 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2457 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2458 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2459 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2460 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2461 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2462 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2463 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2464 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2465 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2466 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2467 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2468 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2469 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2470 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2471 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2472 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2473 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2474 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2475 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2476 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2477 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2478 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2479 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2480 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2481 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2482 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2483 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2484 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2485 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2486 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2487 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2488 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2489 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2490 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2491 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2492 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2493 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2494 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2495 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2506 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2507 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2508 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2509 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2510 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2511 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2512 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2513 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2592 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2593 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2594 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2595 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2596 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2597 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2598 : zenon_U) in quant
% 5.00/5.19 Zenon warning: unused variable (V2599 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2600 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2601 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2602 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2603 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2604 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2605 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2606 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2607 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2608 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2609 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2610 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2611 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2612 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2613 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2614 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2615 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2616 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2617 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2618 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2619 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2620 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2621 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2622 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2623 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2624 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2625 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2626 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2627 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2628 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2629 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2630 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2631 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2632 : zenon_U) in quant
% 182.38/182.63 Zenon warning: unused variable (V2633 : zenon_U) in quant
% 182.38/182.63 Zenon error: could not find a proof within the memory size limit
% 182.38/182.63 (* NO-PROOF *)
% 182.38/182.63 % SZS status GaveUp
% 182.38/182.63 nodes searched: 63
% 182.38/182.63 max branch formulas: 65
% 182.38/182.63 proof nodes created: 0
% 182.38/182.63 formulas created: 771890
% 182.38/182.63
%------------------------------------------------------------------------------