%------------------------------------------------------------------------------ % File : ZenonModulo---0.5.0 % Problem : LCL652+1.020 : TPTP v9.3.1. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_zenon_modulo %d %s % Computer : n011.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8046.5625MB % OS : Linux 6.8.0-71-generic % CPULimit : 300s % WCLimit : 300s % DateTime : Mon Sep 7 01:34:16 PM UTC 2026 % Result : Unknown 0.37s 0.66s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.03 % Problem : LCL652+1.020 : TPTP v9.3.1. Released v4.0.0. % 0.00/0.03 % Command : run_zenon_modulo %d %s % 0.07/0.34 % Computer : n011.cluster.edu % 0.07/0.34 % Model : x86_64 x86_64 % 0.07/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.07/0.34 % Memory : 8046.5625MB % 0.07/0.34 % OS : Linux 6.8.0-71-generic % 0.07/0.34 % CPULimit : 300 % 0.07/0.34 % WCLimit : 300 % 0.07/0.34 % DateTime : Fri Sep 4 14:37:28 UTC 2026 % 0.07/0.34 % CPUTime : % 0.37/0.64 Zenon error: exhausted search space without finding a proof % 0.37/0.64 (* Current branch: % 0.37/0.64 (zenon_Vyk != zenon_Vjl) % 0.37/0.64 (zenon_Vqo != zenon_Vxi) % 0.37/0.64 (zenon_Vpj != zenon_Vhh) % 0.37/0.64 (zenon_Vzj != zenon_Vcd) % 0.37/0.64 (zenon_Vcm != zenon_Vjd) % 0.37/0.64 (zenon_Vsl != zenon_Vfb) % 0.37/0.64 (zenon_Vcp != zenon_Vim) % 0.37/0.64 (zenon_Vkn != zenon_Vhc) % 0.37/0.64 (-. (p1 zenon_Vxi)) % 0.37/0.64 (zenon_Vio != zenon_Vbi) % 0.37/0.64 (p1 zenon_Vym) % 0.37/0.64 (zenon_Vkn != zenon_Vq) % 0.37/0.64 (zenon_Veo != zenon_Vxf) % 0.37/0.64 (zenon_Vfj != zenon_Vlh) % 0.37/0.64 (p1 zenon_Vkn) % 0.37/0.64 (zenon_Vyo != zenon_Vgj) % 0.37/0.64 (zenon_Vwi != zenon_Vxi) % 0.37/0.64 (zenon_Vnl != zenon_Vmb) % 0.37/0.64 (zenon_Vok != zenon_Vim) % 0.37/0.64 (zenon_Vop != zenon_Vfk) % 0.37/0.64 (zenon_Vmo != zenon_Vka) % 0.37/0.64 (zenon_Vcp != zenon_Vqj) % 0.37/0.64 (zenon_Vaj != zenon_Vcd) % 0.37/0.64 (zenon_Vyk != zenon_Vfk) % 0.37/0.64 (zenon_Vuj != zenon_Vfb) % 0.37/0.64 (zenon_Vok != zenon_Vng) % 0.37/0.64 (zenon_Vyo != zenon_Vvj) % 0.37/0.64 (zenon_Vek != zenon_Voc) % 0.37/0.64 (zenon_Vcn != zenon_Vim) % 0.37/0.64 (zenon_Vwn != zenon_Vq) % 0.37/0.64 (zenon_Vgn != zenon_Vlh) % 0.37/0.64 (zenon_Vkn != zenon_Vjg) % 0.37/0.64 (zenon_Vpj != zenon_Vth) % 0.37/0.64 (zenon_Vjk != zenon_Vdm) % 0.37/0.64 (zenon_Vek != zenon_Vdm) % 0.37/0.64 (zenon_Vyo != zenon_Vw) % 0.37/0.64 (zenon_Vkj != zenon_Vrg) % 0.37/0.64 (zenon_Vdl != zenon_Vkk) % 0.37/0.64 (zenon_Vgp != zenon_Vbi) % 0.37/0.64 (-. (p1 zenon_Vth)) % 0.37/0.64 (zenon_Vrp != zenon_Vle) % 0.37/0.64 (zenon_Vym != zenon_Vtb) % 0.37/0.64 (zenon_Von != zenon_Vse) % 0.37/0.64 (zenon_Vcn != zenon_Vtb) % 0.37/0.64 (zenon_Vfj != zenon_Vbi) % 0.37/0.64 (zenon_Vok != zenon_Vgj) % 0.37/0.64 (zenon_Vjk != zenon_Vtb) % 0.37/0.64 (zenon_Vcn != zenon_Vfk) % 0.37/0.64 (zenon_Vmm != zenon_Vee) % 0.37/0.64 (zenon_Vxl != zenon_Vxf) % 0.37/0.64 (zenon_Vyo != zenon_Vqd) % 0.37/0.64 (zenon_Vwn != zenon_Vxd) % 0.37/0.64 (zenon_Vpj != zenon_Vph) % 0.37/0.64 (zenon_Vgp != zenon_Vak) % 0.37/0.64 (zenon_Vwn != zenon_Vol) % 0.37/0.64 (zenon_Vkn != zenon_Vxf) % 0.37/0.64 (zenon_Vdl != zenon_Vjg) % 0.37/0.64 (zenon_Vxl != zenon_Vth) % 0.37/0.64 (zenon_Vum != zenon_Vfi) % 0.37/0.64 (zenon_Vao != zenon_Vlh) % 0.37/0.64 (zenon_Vcp != zenon_Vni) % 0.37/0.64 (zenon_Vym != zenon_Vmb) % 0.37/0.64 (zenon_Vmo != zenon_Vcd) % 0.37/0.64 (zenon_Vdl != zenon_Vfi) % 0.37/0.64 (zenon_Vop != zenon_Vda) % 0.37/0.64 (zenon_Vop != zenon_Vee) % 0.37/0.64 (zenon_Vsl != zenon_Vqj) % 0.37/0.64 (zenon_Vuj != zenon_Vol) % 0.37/0.64 (zenon_Vpj != zenon_Vpk) % 0.37/0.64 (zenon_Vgp != zenon_Vee) % 0.37/0.64 (zenon_Vgn != zenon_Vph) % 0.37/0.64 (zenon_Vmo != zenon_Vxd) % 0.37/0.64 (p1 zenon_Vok) % 0.37/0.64 (zenon_Vwn != zenon_Vlj) % 0.37/0.64 (zenon_Vhm != zenon_Vfb) % 0.37/0.64 (zenon_Vhm != zenon_Vxi) % 0.37/0.64 (zenon_Veo != zenon_Vxd) % 0.37/0.64 (zenon_Vaj != zenon_Vui) % 0.37/0.64 (zenon_Vwn != zenon_Vuk) % 0.37/0.64 (zenon_Vgp != zenon_Vfg) % 0.37/0.64 (zenon_Vek != zenon_Vlh) % 0.37/0.64 (zenon_Vnl != zenon_Vfi) % 0.37/0.64 (zenon_Vaj != zenon_Vxi) % 0.37/0.64 (zenon_Vok != zenon_Vbg) % 0.37/0.64 (zenon_Vnl != zenon_Vph) % 0.37/0.64 (zenon_Vfj != zenon_Vxh) % 0.37/0.64 (zenon_Von != zenon_Vkk) % 0.37/0.64 (zenon_Vpj != zenon_Vjd) % 0.37/0.64 (zenon_Vjk != zenon_Vgj) % 0.37/0.64 (zenon_Vyo != zenon_Vji) % 0.37/0.64 (-. (p1 zenon_Vka)) % 0.37/0.64 (zenon_Vjk != zenon_Vvg) % 0.37/0.64 (zenon_Vmo != zenon_Vtb) % 0.37/0.64 (zenon_Vsl != zenon_Vim) % 0.37/0.64 (zenon_Vok != zenon_Vfb) % 0.37/0.64 (zenon_Vzj != zenon_Vdh) % 0.37/0.64 (r1 zenon_Vam zenon_Vbm) % 0.37/0.64 (zenon_Vdl != zenon_Vvj) % 0.37/0.64 (zenon_Vsn != zenon_Vjg) % 0.37/0.64 (zenon_Vok != zenon_Vji) % 0.37/0.64 (zenon_Vtk != zenon_Vri) % 0.37/0.64 (zenon_Vcm != zenon_Vri) % 0.37/0.64 (zenon_Vgn != zenon_Vbj) % 0.37/0.64 (zenon_Vgp != zenon_Vim) % 0.37/0.64 (zenon_Vio != zenon_Vxf) % 0.37/0.64 (zenon_Vsn != zenon_Vlh) % 0.37/0.64 (zenon_Vhm != zenon_Vlh) % 0.37/0.64 (zenon_Vek != zenon_Vq) % 0.37/0.64 (zenon_Vzj != zenon_Vim) % 0.37/0.64 (zenon_Vok != zenon_Vqd) % 0.37/0.64 (zenon_Vfj != zenon_Vxi) % 0.37/0.64 (zenon_Vrp != zenon_Vdh) % 0.37/0.64 (zenon_Vnl != zenon_Vxh) % 0.37/0.64 (zenon_Vio != zenon_Voc) % 0.37/0.64 (zenon_Vuj != zenon_Vxf) % 0.37/0.64 (zenon_Vfj != zenon_Vuk) % 0.37/0.64 (zenon_Vop != zenon_Vnm) % 0.37/0.64 (zenon_Vgn != zenon_Vbi) % 0.37/0.64 (-. (p1 zenon_Vol)) % 0.37/0.64 (p1 zenon_Vil) % 0.37/0.64 (-. (p1 zenon_Vji)) % 0.37/0.64 (zenon_Vcn != zenon_Vtl) % 0.37/0.64 (zenon_Vuj != zenon_Vfk) % 0.37/0.64 (zenon_Von != zenon_Vra) % 0.37/0.64 (zenon_Vnl != zenon_Vqj) % 0.37/0.64 (zenon_Vgp != zenon_Vlj) % 0.37/0.64 (zenon_Vsn != zenon_Vse) % 0.37/0.64 (zenon_Vaj != zenon_Vjl) % 0.37/0.64 (zenon_Vao != zenon_Vle) % 0.37/0.64 (zenon_Vkn != zenon_Vdh) % 0.37/0.64 (zenon_Vqo != zenon_Vxd) % 0.37/0.64 (zenon_Veo != zenon_Vee) % 0.37/0.64 (zenon_Vsn != zenon_Vel) % 0.37/0.64 (zenon_Vio != zenon_Vxi) % 0.37/0.64 (zenon_Vop != zenon_Vol) % 0.37/0.64 (zenon_Vpj != zenon_Vzg) % 0.37/0.64 (zenon_Veo != zenon_Vhh) % 0.37/0.64 (zenon_Vum != zenon_Vak) % 0.37/0.64 (zenon_Vyo != zenon_Vfk) % 0.37/0.64 (zenon_Vok != zenon_Vtb) % 0.37/0.64 (zenon_Vuo != zenon_Vle) % 0.37/0.64 (zenon_Vqo != zenon_Vji) % 0.37/0.64 (zenon_Vzj != zenon_Vmb) % 0.37/0.64 (zenon_Vjk != zenon_Vel) % 0.37/0.64 (zenon_Vek != zenon_Vng) % 0.37/0.64 (zenon_Vzj != zenon_Vrg) % 0.37/0.64 (zenon_Vjk != zenon_Vnm) % 0.37/0.64 (zenon_Vuj != zenon_Vqd) % 0.37/0.64 (zenon_Vpj != zenon_Vni) % 0.37/0.64 (zenon_Vcp != zenon_Vth) % 0.37/0.64 (zenon_Veo != zenon_Vph) % 0.37/0.64 (zenon_Vyk != zenon_Vph) % 0.37/0.64 (zenon_Vkj != zenon_Vfi) % 0.37/0.64 (zenon_Von != zenon_Vlj) % 0.37/0.64 (r1 zenon_Vnj zenon_Vqj) % 0.37/0.64 (zenon_Vmm != zenon_Vol) % 0.37/0.64 (zenon_Vdl != zenon_Vfb) % 0.37/0.64 (zenon_Vkj != zenon_Vfg) % 0.37/0.64 (zenon_Vcm != zenon_Vel) % 0.37/0.64 (zenon_Von != zenon_Vxi) % 0.37/0.64 (zenon_Vcp != zenon_Vdh) % 0.37/0.64 (zenon_Vmm != zenon_Vka) % 0.37/0.64 (zenon_Vcp != zenon_Vtb) % 0.37/0.64 (zenon_Vyo != zenon_Vxd) % 0.37/0.64 (zenon_Von != zenon_Vfi) % 0.37/0.64 (-. (p2 zenon_Vqm)) % 0.37/0.64 (zenon_Vcm != zenon_Vuk) % 0.37/0.64 (zenon_Vwi != zenon_Vda) % 0.37/0.64 (zenon_Von != zenon_Vdh) % 0.37/0.64 (zenon_Vop != zenon_Vfb) % 0.37/0.64 (zenon_Vqo != zenon_Vbg) % 0.37/0.64 (zenon_Vdl != zenon_Vcd) % 0.37/0.64 (zenon_Vrp != zenon_Vcd) % 0.37/0.64 (zenon_Vym != zenon_Vfb) % 0.37/0.64 (r1 Tau_1 zenon_Vxi) % 0.37/0.64 (zenon_Vfj != zenon_Vw) % 0.37/0.64 (zenon_Vgn != zenon_Vcd) % 0.37/0.64 (zenon_Vmm != zenon_Vfg) % 0.37/0.64 (zenon_Vrp != zenon_Vph) % 0.37/0.64 (zenon_Vpj != zenon_Vol) % 0.37/0.64 (zenon_Vaj != zenon_Vq) % 0.37/0.64 (zenon_Vum != zenon_Vra) % 0.37/0.64 (zenon_Vgp != zenon_Vjd) % 0.37/0.64 (zenon_Veo != zenon_Vvc) % 0.37/0.64 (zenon_Vcm != zenon_Vji) % 0.37/0.64 (p1 zenon_Vop) % 0.37/0.64 (zenon_Vuo != zenon_Vak) % 0.37/0.64 (zenon_Vfj != zenon_Vdm) % 0.37/0.64 (zenon_Vyo != zenon_Vya) % 0.37/0.64 (zenon_Vwn != zenon_Vfi) % 0.37/0.64 (r1 zenon_X7 zenon_Vrp) % 0.37/0.64 (zenon_Vok != zenon_Vjl) % 0.37/0.64 (zenon_Vek != zenon_Vph) % 0.37/0.64 (zenon_Vhm != zenon_Vji) % 0.37/0.64 (zenon_Vnl != zenon_Vvj) % 0.37/0.64 (zenon_Veo != zenon_Vcd) % 0.37/0.64 (zenon_Von != zenon_Voc) % 0.37/0.64 (zenon_Vfj != zenon_Vda) % 0.37/0.64 (r1 zenon_Vfo zenon_Vio) % 0.37/0.64 (zenon_Vwn != zenon_Vyl) % 0.37/0.64 (zenon_Vjk != zenon_Vph) % 0.37/0.64 (zenon_Vtk != zenon_Vtb) % 0.37/0.64 (zenon_Vym != zenon_Vuk) % 0.37/0.64 (zenon_Vcm != zenon_Vim) % 0.37/0.64 (zenon_Vuo != zenon_Vri) % 0.37/0.64 (zenon_Vuo != zenon_Vvc) % 0.37/0.64 (r1 zenon_Vul zenon_Vzl) % 0.37/0.64 (p1 zenon_Vcm) % 0.37/0.64 (zenon_Vym != zenon_Vxf) % 0.37/0.64 (zenon_Vum != zenon_Vee) % 0.37/0.64 (zenon_Veo != zenon_Vse) % 0.37/0.64 (zenon_Vwi != zenon_Vhh) % 0.37/0.64 (zenon_Vuj != zenon_Vfg) % 0.37/0.64 (zenon_Vzj != zenon_Vri) % 0.37/0.64 (zenon_Vsl != zenon_Vw) % 0.37/0.64 (zenon_Vaj != zenon_Vji) % 0.37/0.64 (-. (p1 zenon_Vtb)) % 0.37/0.64 (zenon_Vpj != zenon_Vbg) % 0.37/0.64 (zenon_Vuj != zenon_Vjg) % 0.37/0.64 (-. (p4 zenon_X3)) % 0.37/0.64 (zenon_Vzj != zenon_Vni) % 0.37/0.64 (r1 zenon_Vld zenon_Vpd) % 0.37/0.64 (zenon_Vkn != zenon_Vbi) % 0.37/0.64 (p1 zenon_Vfj) % 0.37/0.64 (zenon_Vwi != zenon_Vol) % 0.37/0.64 (zenon_Vmo != zenon_Vzg) % 0.37/0.64 (zenon_Von != zenon_Vqj) % 0.37/0.64 (zenon_Vcn != zenon_Vhc) % 0.37/0.64 (r1 zenon_Voi zenon_Vri) % 0.37/0.64 (zenon_Vkn != zenon_Vpk) % 0.37/0.64 (zenon_Vdl != zenon_Vdm) % 0.37/0.64 (zenon_Vfj != zenon_Vvj) % 0.37/0.64 (zenon_Vaj != zenon_Vda) % 0.37/0.64 (zenon_Vio != zenon_Vle) % 0.37/0.64 (p1 zenon_Vzj) % 0.37/0.64 (zenon_Vgn != zenon_Vle) % 0.37/0.64 (zenon_Vtk != zenon_Vse) % 0.37/0.64 (zenon_Veo != zenon_Vdh) % 0.37/0.64 (zenon_Von != zenon_Vgj) % 0.37/0.64 (zenon_Vio != zenon_Vqj) % 0.37/0.64 (zenon_Vcm != zenon_Vhc) % 0.37/0.64 (zenon_Vgp != zenon_Vvc) % 0.37/0.64 (zenon_Vmo != zenon_Vim) % 0.37/0.64 (zenon_Vio != zenon_Vpk) % 0.37/0.64 (zenon_Vnl != zenon_Vya) % 0.37/0.64 (zenon_Vmo != zenon_Vdh) % 0.37/0.64 (zenon_Vgn != zenon_Vtl) % 0.37/0.64 (zenon_Vym != zenon_Vrg) % 0.37/0.64 (p1 zenon_Vpj) % 0.37/0.64 (zenon_Vcm != zenon_Vnm) % 0.37/0.64 (zenon_Vaj != zenon_Vzg) % 0.37/0.64 (zenon_Vao != zenon_Vng) % 0.37/0.64 (zenon_Vcn != zenon_Voc) % 0.37/0.64 (zenon_Veo != zenon_Vfk) % 0.37/0.64 (r1 zenon_Vab zenon_Veb) % 0.37/0.64 (-. (p1 zenon_Vdh)) % 0.37/0.64 (zenon_Vcn != zenon_Vkk) % 0.37/0.64 (zenon_Vym != zenon_Vw) % 0.37/0.64 (zenon_Vyo != zenon_Vlh) % 0.37/0.64 (zenon_Vtk != zenon_Vui) % 0.37/0.64 (zenon_Vek != zenon_Vxd) % 0.37/0.64 (zenon_Vkn != zenon_Vni) % 0.37/0.64 (zenon_Vym != zenon_Vzk) % 0.37/0.64 (zenon_Vyk != zenon_Vrg) % 0.37/0.64 (zenon_Vuj != zenon_Vqj) % 0.37/0.64 (zenon_Vil != zenon_Vya) % 0.37/0.64 (zenon_Vkn != zenon_Vrg) % 0.37/0.64 (r1 zenon_Vdn zenon_Vgn) % 0.37/0.64 (zenon_Vok != zenon_Vq) % 0.37/0.64 (zenon_Vym != zenon_Vka) % 0.37/0.64 (zenon_Vtk != zenon_Vim) % 0.37/0.64 (zenon_Vkp != zenon_Vxd) % 0.37/0.64 (zenon_Vmm != zenon_Vuk) % 0.37/0.64 (zenon_Vyo != zenon_Vlj) % 0.37/0.64 (zenon_Vcp != zenon_Vxi) % 0.37/0.64 (zenon_Vaj != zenon_Vdm) % 0.37/0.64 (zenon_Vop != zenon_Vim) % 0.37/0.64 (zenon_Vsn != zenon_Vw) % 0.37/0.64 (zenon_Vkp != zenon_Vzg) % 0.37/0.64 (zenon_Vyo != zenon_Vse) % 0.37/0.64 (zenon_Vym != zenon_Vpk) % 0.37/0.64 (zenon_Vwn != zenon_Vra) % 0.37/0.64 (zenon_Vmo != zenon_Voc) % 0.37/0.64 (zenon_Vpj != zenon_Vhc) % 0.37/0.64 (zenon_Vrp != zenon_Vvc) % 0.37/0.64 (zenon_Vum != zenon_Vzk) % 0.37/0.64 (zenon_Vum != zenon_Vvg) % 0.37/0.64 (zenon_Vtk != zenon_Vq) % 0.37/0.64 (zenon_Vjk != zenon_Vfb) % 0.37/0.64 (zenon_Vsn != zenon_Vtb) % 0.37/0.64 (zenon_Vkn != zenon_Vse) % 0.37/0.64 (r1 zenon_Vrk zenon_Vsk) % 0.37/0.64 (zenon_Vtk != zenon_Vxi) % 0.37/0.64 (zenon_Vao != zenon_Vee) % 0.37/0.64 (zenon_Vek != zenon_Vac) % 0.37/0.64 (zenon_Vmo != zenon_Vmb) % 0.37/0.64 (zenon_Vuo != zenon_Vnm) % 0.37/0.64 (zenon_Vgp != zenon_Vxf) % 0.37/0.64 (zenon_Vxl != zenon_Vng) % 0.37/0.64 (zenon_Vkn != zenon_Vbg) % 0.37/0.64 (zenon_Vnl != zenon_Vjg) % 0.37/0.64 (zenon_Vcn != zenon_Vak) % 0.37/0.64 (zenon_Von != zenon_Vji) % 0.37/0.64 (zenon_Vgn != zenon_Vmb) % 0.37/0.64 (zenon_Vum != zenon_Vfg) % 0.37/0.64 (r1 zenon_Vll zenon_Vol) % 0.37/0.64 (zenon_Von != zenon_Vuk) % 0.37/0.64 (zenon_Vmo != zenon_Vfg) % 0.37/0.64 (zenon_Vok != zenon_Vvc) % 0.37/0.64 (zenon_Vcm != zenon_Vfi) % 0.37/0.64 (zenon_Vyo != zenon_Vqj) % 0.37/0.64 (zenon_Vmo != zenon_Vbj) % 0.37/0.64 (zenon_Vjk != zenon_Vda) % 0.37/0.64 (zenon_Vxl != zenon_Vyl) % 0.37/0.64 (zenon_Vcp != zenon_Vvj) % 0.37/0.64 (zenon_Vaj != zenon_Vgj) % 0.37/0.64 (zenon_Vqo != zenon_Vya) % 0.37/0.64 (zenon_Vmm != zenon_Vac) % 0.37/0.64 (zenon_Vcm != zenon_Vcd) % 0.37/0.64 (zenon_Vcm != zenon_Vjg) % 0.37/0.64 (zenon_Von != zenon_Vrg) % 0.37/0.64 (zenon_Vkn != zenon_Vtl) % 0.37/0.64 (zenon_Vuj != zenon_Vbj) % 0.37/0.64 (zenon_Vrp != zenon_Vgj) % 0.37/0.64 (zenon_Vek != zenon_Vfk) % 0.37/0.64 (p1 zenon_Vaj) % 0.37/0.64 (zenon_Vuj != zenon_Vjl) % 0.37/0.64 (r1 zenon_Vxj zenon_Vak) % 0.37/0.64 (zenon_Vtk != zenon_Vzg) % 0.37/0.64 (zenon_Vkp != zenon_Vri) % 0.37/0.64 (zenon_Vok != zenon_Vel) % 0.37/0.64 (zenon_Vjk != zenon_Vac) % 0.37/0.64 (zenon_Vkj != zenon_Vfk) % 0.37/0.64 (zenon_Vwi != zenon_Vxh) % 0.37/0.64 (zenon_Vqo != zenon_Vxh) % 0.37/0.64 (zenon_Vwi != zenon_Vee) % 0.37/0.64 (zenon_Vgn != zenon_Vvj) % 0.37/0.64 (-. (p1 zenon_Vya)) % 0.37/0.64 (zenon_Vil != zenon_Vxh) % 0.37/0.64 (zenon_Vyk != zenon_Vgj) % 0.37/0.64 (zenon_Vuo != zenon_Vkk) % 0.37/0.64 (zenon_Vdl != zenon_Vzg) % 0.37/0.64 (zenon_Vmm != zenon_Vnm) % 0.37/0.64 (zenon_Vao != zenon_Vqj) % 0.37/0.64 (zenon_Vyk != zenon_Vtl) % 0.37/0.64 (zenon_Vkj != zenon_Vya) % 0.37/0.64 (zenon_Vkn != zenon_Vjd) % 0.37/0.64 (r1 zenon_Ved zenon_Vid) % 0.37/0.64 (zenon_Vcm != zenon_Vmb) % 0.37/0.64 (zenon_Vqo != zenon_Vth) % 0.37/0.64 (zenon_Vyk != zenon_Vim) % 0.37/0.64 (zenon_Vok != zenon_Vuk) % 0.37/0.64 (zenon_Vuj != zenon_Vw) % 0.37/0.64 (zenon_Vgn != zenon_Vak) % 0.37/0.64 (zenon_Vio != zenon_Vzk) % 0.37/0.64 (zenon_Vrp != zenon_Vzk) % 0.37/0.64 (zenon_Vyo != zenon_Vui) % 0.37/0.64 (zenon_Vym != zenon_Vjl) % 0.37/0.64 (zenon_Vek != zenon_Vol) % 0.37/0.64 (zenon_Vsl != zenon_Vya) % 0.37/0.64 (zenon_Vym != zenon_Vlj) % 0.37/0.64 (zenon_Vpj != zenon_Vjl) % 0.37/0.64 (-. (p1 zenon_Vbj)) % 0.37/0.64 (r1 zenon_Vih zenon_Vlh) % 0.37/0.64 (zenon_Vil != zenon_Vtb) % 0.37/0.64 (zenon_Vgn != zenon_Vni) % 0.37/0.64 (zenon_Vsn != zenon_Vyl) % 0.37/0.64 (zenon_Vaj != zenon_Vvg) % 0.37/0.64 (zenon_Vmo != zenon_Vvj) % 0.37/0.64 (zenon_Vao != zenon_Vjd) % 0.37/0.64 (zenon_Vcm != zenon_Vw) % 0.37/0.64 (zenon_Vgp != zenon_Vtb) % 0.37/0.64 (zenon_Vuj != zenon_Vxh) % 0.37/0.64 (r1 zenon_Vcg zenon_Vfg) % 0.37/0.64 (r1 Tau_0 Tau_2) % 0.37/0.64 (zenon_Vum != zenon_Vpk) % 0.37/0.64 (zenon_Vsl != zenon_Vhc) % 0.37/0.64 (zenon_Vuo != zenon_Vji) % 0.37/0.64 (zenon_Vuo != zenon_Vq) % 0.37/0.64 (zenon_Vao != zenon_Vnm) % 0.37/0.64 (zenon_Vuj != zenon_Vzg) % 0.37/0.64 (zenon_Vkn != zenon_Vth) % 0.37/0.64 (zenon_Vuj != zenon_Vji) % 0.37/0.64 (zenon_Vok != zenon_Vlh) % 0.37/0.64 (zenon_Vmm != zenon_Vzk) % 0.37/0.64 (zenon_Vcm != zenon_Vph) % 0.37/0.64 (zenon_Vcp != zenon_Vxh) % 0.37/0.64 (zenon_Vil != zenon_Vji) % 0.37/0.64 (zenon_Vao != zenon_Vth) % 0.37/0.64 (zenon_Vum != zenon_Vda) % 0.37/0.64 (zenon_Vuj != zenon_Vhc) % 0.37/0.64 (zenon_Vgp != zenon_Vni) % 0.37/0.64 (zenon_Vop != zenon_Vui) % 0.37/0.64 (zenon_Vxl != zenon_Vpk) % 0.37/0.64 (zenon_Vsl != zenon_Vfg) % 0.37/0.64 (zenon_Vwi != zenon_Vbi) % 0.37/0.64 (zenon_Vqo != zenon_Vri) % 0.37/0.64 (zenon_Vcp != zenon_Vya) % 0.37/0.64 (zenon_Vuj != zenon_Vng) % 0.37/0.64 (zenon_Vpj != zenon_Vxh) % 0.37/0.64 (zenon_Vdl != zenon_Vhc) % 0.37/0.64 (zenon_Vhm != zenon_Vol) % 0.37/0.64 (p1 zenon_Vuo) % 0.37/0.64 (zenon_Vkp != zenon_Vlj) % 0.37/0.64 (-. (p1 zenon_Vcd)) % 0.37/0.64 (zenon_Vzj != zenon_Vpk) % 0.37/0.64 (zenon_Vyk != zenon_Vlh) % 0.37/0.64 (zenon_Vpj != zenon_Vji) % 0.37/0.64 (r1 zenon_Vln zenon_Von) % 0.37/0.64 (zenon_Vkj != zenon_Vle) % 0.37/0.64 (zenon_Vyo != zenon_Vvc) % 0.37/0.64 (zenon_Vyk != zenon_Vjd) % 0.37/0.64 (zenon_Vtk != zenon_Vph) % 0.37/0.64 (zenon_Vnl != zenon_Vri) % 0.37/0.64 (zenon_Vsn != zenon_Vvj) % 0.37/0.64 (zenon_Vkn != zenon_Vnm) % 0.37/0.64 (zenon_Vgp != zenon_Vqj) % 0.37/0.64 (zenon_Vtk != zenon_Vdh) % 0.37/0.64 (zenon_Vwi != zenon_Vzk) % 0.37/0.64 (zenon_Vxl != zenon_Vak) % 0.37/0.64 (zenon_Vrp != zenon_Vse) % 0.37/0.64 (zenon_Vek != zenon_Vhc) % 0.37/0.64 (zenon_Vkj != zenon_Vui) % 0.37/0.64 (zenon_Vgp != zenon_Vra) % 0.37/0.64 (zenon_Vmm != zenon_Vni) % 0.37/0.64 (zenon_Vdl != zenon_Vw) % 0.37/0.64 (zenon_Vio != zenon_Vfb) % 0.37/0.64 (zenon_Vjk != zenon_Vhc) % 0.37/0.64 (zenon_Vwi != zenon_Vvg) % 0.37/0.64 (zenon_Vio != zenon_Vni) % 0.37/0.64 (r1 zenon_Vdj zenon_Vgj) % 0.37/0.64 (zenon_Vsl != zenon_Vjl) % 0.37/0.64 (zenon_Vcn != zenon_Vjd) % 0.37/0.64 (zenon_Vsl != zenon_Vjg) % 0.37/0.64 (zenon_Vnl != zenon_Vac) % 0.37/0.64 (zenon_Vgp != zenon_Vqd) % 0.37/0.64 (zenon_Vil != zenon_Vdm) % 0.37/0.64 (zenon_Vyk != zenon_Vxi) % 0.37/0.64 (r1 zenon_Vlp zenon_Vop) % 0.37/0.64 (zenon_Vuj != zenon_Vni) % 0.37/0.64 (zenon_Vdl != zenon_Vle) % 0.37/0.64 (zenon_Vkp != zenon_Vbg) % 0.37/0.64 (zenon_Vwi != zenon_Vlh) % 0.37/0.64 (zenon_Vop != zenon_Vni) % 0.37/0.64 (zenon_Vtk != zenon_Vdm) % 0.37/0.64 (zenon_Vrp != zenon_Vxh) % 0.37/0.64 (zenon_Vcn != zenon_Vpk) % 0.37/0.64 (zenon_Vio != zenon_Vgj) % 0.37/0.64 (zenon_Vyo != zenon_Vuk) % 0.37/0.64 (zenon_Veo != zenon_Vbg) % 0.37/0.64 (zenon_Vwi != zenon_Vng) % 0.37/0.64 (zenon_Von != zenon_Vjl) % 0.37/0.64 (zenon_Vwn != zenon_Vxf) % 0.37/0.64 (zenon_Vuj != zenon_Vtb) % 0.37/0.64 (zenon_Vym != zenon_Vnm) % 0.37/0.64 (zenon_Vjk != zenon_Vee) % 0.37/0.64 (zenon_Vrp != zenon_Vim) % 0.37/0.64 (-. (p1 zenon_Vda)) % 0.37/0.64 (zenon_Vhm != zenon_Vxh) % 0.37/0.64 (zenon_Vcm != zenon_Vbj) % 0.37/0.64 (zenon_Vym != zenon_Vlh) % 0.37/0.64 (zenon_Vkp != zenon_Vxf) % 0.37/0.64 (p1 zenon_Vkp) % 0.37/0.64 (zenon_Vwi != zenon_Vra) % 0.37/0.64 (zenon_Vmo != zenon_Vri) % 0.37/0.64 (zenon_Vsn != zenon_Vle) % 0.37/0.64 (-. (p1 zenon_Vvj)) % 0.37/0.64 (zenon_Vhm != zenon_Vac) % 0.37/0.64 (zenon_Vek != zenon_Vse) % 0.37/0.64 (zenon_Vkp != zenon_Vui) % 0.37/0.64 (zenon_Vtk != zenon_Vhc) % 0.37/0.64 (zenon_Vsn != zenon_Vee) % 0.37/0.64 (zenon_Vdl != zenon_Vak) % 0.37/0.64 (zenon_Vpj != zenon_Vra) % 0.37/0.64 (zenon_Vzj != zenon_Vvc) % 0.37/0.64 (zenon_Vao != zenon_Vyl) % 0.37/0.64 (zenon_Vmo != zenon_Vlj) % 0.37/0.64 (zenon_Vum != zenon_Vq) % 0.37/0.64 (zenon_Vzj != zenon_Vya) % 0.37/0.64 (zenon_Vzj != zenon_Vhc) % 0.37/0.64 (zenon_Vsn != zenon_Vvc) % 0.37/0.64 (zenon_Veo != zenon_Vel) % 0.37/0.64 (zenon_Vek != zenon_Vee) % 0.37/0.64 (zenon_Vuo != zenon_Vqj) % 0.37/0.64 (zenon_Vhm != zenon_Vbg) % 0.37/0.64 (zenon_Veo != zenon_Vgj) % 0.37/0.64 (zenon_Vsn != zenon_Vhc) % 0.37/0.64 (zenon_Vhm != zenon_Vse) % 0.37/0.64 (zenon_Vsl != zenon_Vrg) % 0.37/0.64 (zenon_Vzj != zenon_Vyl) % 0.37/0.64 (zenon_Vop != zenon_Vjg) % 0.37/0.64 (zenon_Vkn != zenon_Vri) % 0.37/0.64 (zenon_Vuj != zenon_Vda) % 0.37/0.64 (zenon_Vek != zenon_Vvg) % 0.37/0.64 (r1 zenon_Vfl zenon_Vkl) % 0.37/0.64 (zenon_Vio != zenon_Vng) % 0.37/0.64 (zenon_Vcp != zenon_Vzk) % 0.37/0.64 (zenon_Vkn != zenon_Vui) % 0.37/0.64 (zenon_Vrp != zenon_Vnm) % 0.37/0.64 (zenon_Vxl != zenon_Vzk) % 0.37/0.64 (zenon_Vdl != zenon_Vim) % 0.37/0.64 (zenon_Vok != zenon_Vxi) % 0.37/0.64 (zenon_Vcn != zenon_Vbg) % 0.37/0.64 (zenon_Vil != zenon_Vjg) % 0.37/0.64 (r1 zenon_Vuf zenon_Vxf) % 0.37/0.64 (zenon_Vgp != zenon_Vse) % 0.37/0.64 (zenon_Vsl != zenon_Vfk) % 0.37/0.64 (zenon_Vqo != zenon_Vjg) % 0.37/0.64 (zenon_Vwi != zenon_Vri) % 0.37/0.64 (zenon_Vao != zenon_Vfi) % 0.37/0.64 (zenon_Vcm != zenon_Vxd) % 0.37/0.64 (zenon_Vjk != zenon_Vxh) % 0.37/0.64 (zenon_Vaj != zenon_Vhc) % 0.37/0.64 (zenon_Vnl != zenon_Vfk) % 0.37/0.64 (zenon_Vuo != zenon_Vpk) % 0.37/0.64 (zenon_Vrp != zenon_Vqj) % 0.37/0.64 (zenon_Vym != zenon_Vjg) % 0.37/0.64 (zenon_Vao != zenon_Vxd) % 0.37/0.64 (zenon_Vop != zenon_Vlj) % 0.37/0.64 (zenon_Vyk != zenon_Vbj) % 0.37/0.64 (zenon_Vzj != zenon_Vak) % 0.37/0.64 (zenon_Veo != zenon_Vqd) % 0.37/0.64 (zenon_Vjk != zenon_Vbj) % 0.37/0.64 (zenon_Vpj != zenon_Vka) % 0.37/0.64 (r1 zenon_X4 zenon_Vp) % 0.37/0.64 (zenon_Von != zenon_Vhh) % 0.37/0.64 (zenon_Vpj != zenon_Vfi) % 0.37/0.64 (zenon_Vaj != zenon_Vxd) % 0.37/0.64 (zenon_Vcp != zenon_Vbj) % 0.37/0.64 (zenon_Vop != zenon_Voc) % 0.37/0.64 (r1 zenon_Vgk zenon_Vlk) % 0.37/0.64 (zenon_Vkj != zenon_Vyl) % 0.37/0.64 (zenon_Von != zenon_Vbi) % 0.37/0.64 (zenon_Vok != zenon_Vvj) % 0.37/0.64 (zenon_Vfj != zenon_Vvg) % 0.37/0.64 (zenon_Vxl != zenon_Vbg) % 0.37/0.64 (zenon_Vyk != zenon_Vjg) % 0.37/0.64 (zenon_Vcp != zenon_Vfi) % 0.37/0.64 (zenon_Vrp != zenon_Vel) % 0.37/0.64 (zenon_Vyo != zenon_Vjd) % 0.37/0.64 (zenon_Vop != zenon_Vw) % 0.37/0.64 (zenon_Vmo != zenon_Vzk) % 0.37/0.64 (zenon_Vcp != zenon_Vjd) % 0.37/0.64 (zenon_Vtk != zenon_Vqd) % 0.37/0.64 (zenon_Vuj != zenon_Vbi) % 0.37/0.64 (zenon_Vuo != zenon_Vol) % 0.37/0.64 (zenon_Von != zenon_Vac) % 0.37/0.64 (zenon_Vuj != zenon_Vse) % 0.37/0.64 (p1 zenon_Vgn) % 0.37/0.64 (zenon_Vcn != zenon_Vvj) % 0.37/0.64 (zenon_Vwn != zenon_Vfk) % 0.37/0.64 (r1 zenon_Vrm zenon_Vum) % 0.37/0.64 (zenon_Vcn != zenon_Vw) % 0.37/0.64 (zenon_Vwn != zenon_Vgj) % 0.37/0.64 (zenon_Vcn != zenon_Vra) % 0.37/0.64 (zenon_Vym != zenon_Vdm) % 0.37/0.64 (zenon_Vxl != zenon_Vfk) % 0.37/0.64 (zenon_Vzj != zenon_Vtb) % 0.37/0.64 (zenon_Vum != zenon_Vlh) % 0.37/0.64 (zenon_Vkp != zenon_Vng) % 0.37/0.64 (zenon_Vgp != zenon_Vvj) % 0.37/0.64 (zenon_Vyk != zenon_Vvg) % 0.37/0.64 (zenon_Vkp != zenon_Vle) % 0.37/0.64 (zenon_Vil != zenon_Vxd) % 0.37/0.64 (zenon_Vsl != zenon_Vbj) % 0.37/0.64 (zenon_Vyo != zenon_Vnm) % 0.37/0.64 (zenon_Vhm != zenon_Voc) % 0.37/0.64 (zenon_Vqo != zenon_Vfg) % 0.37/0.64 (r1 zenon_Vma zenon_Vqa) % 0.37/0.64 (zenon_Vuj != zenon_Vak) % 0.37/0.64 (zenon_Vwi != zenon_Vth) % 0.37/0.64 (zenon_Vdl != zenon_Vq) % 0.37/0.64 (zenon_Vkn != zenon_Vac) % 0.37/0.64 (zenon_Vmm != zenon_Vbj) % 0.37/0.64 (zenon_Vnl != zenon_Vol) % 0.37/0.64 (zenon_Vkp != zenon_Vee) % 0.37/0.64 (-. (p2 zenon_Vcf)) % 0.37/0.64 (zenon_Vdl != zenon_Vjl) % 0.37/0.64 (zenon_Vuj != zenon_Vmb) % 0.37/0.64 (zenon_Vcp != zenon_Vqd) % 0.37/0.64 (zenon_Vyo != zenon_Vph) % 0.37/0.64 (zenon_Vpj != zenon_Vvc) % 0.37/0.64 (zenon_Vhm != zenon_Vqd) % 0.37/0.64 (zenon_Vyk != zenon_Vol) % 0.37/0.64 (zenon_Vsn != zenon_Vri) % 0.37/0.64 (zenon_Vqo != zenon_Vqj) % 0.37/0.64 (zenon_Vwi != zenon_Vqj) % 0.37/0.64 (zenon_Vnl != zenon_Vui) % 0.37/0.64 (r1 zenon_Vij zenon_Vjj) % 0.37/0.64 (zenon_Vnl != zenon_Vnm) % 0.37/0.64 (zenon_Vsl != zenon_Vbi) % 0.37/0.64 (zenon_Vkp != zenon_Vnm) % 0.37/0.64 (zenon_Vcm != zenon_Vfg) % 0.37/0.64 (zenon_Vsl != zenon_Vtl) % 0.37/0.64 (zenon_Vcm != zenon_Vpk) % 0.37/0.64 (zenon_Vfj != zenon_Vji) % 0.37/0.64 (zenon_Vfj != zenon_Vmb) % 0.37/0.64 (zenon_Vrp != zenon_Vol) % 0.37/0.64 (zenon_Vqo != zenon_Vtl) % 0.37/0.64 (-. (p1 zenon_Vq)) % 0.37/0.64 (p1 zenon_Vek) % 0.37/0.64 (zenon_Vek != zenon_Vfb) % 0.37/0.64 (zenon_Vym != zenon_Vbi) % 0.37/0.64 (zenon_Vym != zenon_Vel) % 0.37/0.64 (zenon_Vyo != zenon_Vvg) % 0.37/0.64 (zenon_Vio != zenon_Vel) % 0.37/0.64 (zenon_Vcp != zenon_Vfb) % 0.37/0.64 (zenon_Vuo != zenon_Vw) % 0.37/0.64 (zenon_Vao != zenon_Vel) % 0.37/0.64 (zenon_Vkp != zenon_Vvj) % 0.37/0.64 (zenon_Veo != zenon_Vtb) % 0.37/0.64 (zenon_Vxl != zenon_Vxd) % 0.37/0.64 (zenon_Vtk != zenon_Vbi) % 0.37/0.64 (zenon_Vdl != zenon_Vng) % 0.37/0.64 (r1 zenon_Vwk zenon_Vzk) % 0.37/0.64 (zenon_Vxl != zenon_Vjl) % 0.37/0.64 (zenon_Vaj != zenon_Vrg) % 0.37/0.64 (zenon_Vxl != zenon_Vxi) % 0.37/0.64 (-. (p1 zenon_Vfi)) % 0.37/0.64 (zenon_Vio != zenon_Vqd) % 0.37/0.64 (r1 zenon_Vcj zenon_Vdj) % 0.37/0.64 (r1 zenon_Vwj zenon_Vxj) % 0.37/0.64 (zenon_Vio != zenon_Vhh) % 0.37/0.64 (r1 zenon_Vwj zenon_Vbk) % 0.37/0.64 (zenon_Vtk != zenon_Vbg) % 0.37/0.64 (zenon_Vym != zenon_Vol) % 0.37/0.64 (zenon_Vzj != zenon_Vbj) % 0.37/0.64 (r1 zenon_Vbo zenon_Veo) % 0.37/0.64 (p1 zenon_Veo) % 0.37/0.64 (zenon_Vcm != zenon_Vkk) % 0.37/0.64 (zenon_Vuj != zenon_Vvg) % 0.37/0.64 (zenon_Vil != zenon_Vzg) % 0.37/0.64 (zenon_Veo != zenon_Vol) % 0.37/0.64 (zenon_Vkn != zenon_Vxd) % 0.37/0.64 (zenon_Vgp != zenon_Vrg) % 0.37/0.64 (zenon_Vhm != zenon_Vqj) % 0.37/0.64 (zenon_Vcp != zenon_Vjg) % 0.37/0.64 (zenon_Vhm != zenon_Vdm) % 0.37/0.64 (zenon_Vyk != zenon_Vuk) % 0.37/0.64 (zenon_Vaj != zenon_Vbi) % 0.37/0.64 (zenon_Veo != zenon_Vzk) % 0.37/0.64 (r1 zenon_Vpl zenon_Vql) % 0.37/0.64 (zenon_Veo != zenon_Vq) % 0.37/0.64 (zenon_Vcm != zenon_Vbg) % 0.37/0.64 (zenon_Vfj != zenon_Vee) % 0.37/0.64 (zenon_Vum != zenon_Vqj) % 0.37/0.64 (zenon_Vxl != zenon_Vbi) % 0.37/0.64 (zenon_Vao != zenon_Voc) % 0.37/0.64 (zenon_Vmm != zenon_Vjd) % 0.37/0.64 (zenon_Vok != zenon_Vvg) % 0.37/0.64 (zenon_Vao != zenon_Vac) % 0.37/0.64 (zenon_Vwi != zenon_Vuk) % 0.37/0.64 (zenon_Vwi != zenon_Vmb) % 0.37/0.64 (zenon_Vgp != zenon_Vth) % 0.37/0.64 (zenon_Vcm != zenon_Vse) % 0.37/0.64 (zenon_Vkj != zenon_Vni) % 0.37/0.64 (r1 zenon_Vog zenon_Vrg) % 0.37/0.64 (zenon_Vym != zenon_Vq) % 0.37/0.64 (zenon_Vjk != zenon_Vtl) % 0.37/0.64 (zenon_Vmo != zenon_Vbi) % 0.37/0.64 (zenon_Vkn != zenon_Vol) % 0.37/0.64 (zenon_Vjk != zenon_Vqj) % 0.37/0.64 (zenon_Vmm != zenon_Vhh) % 0.37/0.64 (zenon_Vmo != zenon_Vlh) % 0.37/0.65 (zenon_Vzj != zenon_Vxf) % 0.37/0.65 (zenon_Vil != zenon_Vle) % 0.37/0.65 (zenon_Vmm != zenon_Vim) % 0.37/0.65 (zenon_Vcm != zenon_Vui) % 0.37/0.65 (zenon_Vwi != zenon_Vyl) % 0.37/0.65 (zenon_Vyk != zenon_Vda) % 0.37/0.65 (r1 zenon_Vaf zenon_Vbf) % 0.37/0.65 (zenon_Vcm != zenon_Vgj) % 0.37/0.65 (zenon_Vwi != zenon_Vji) % 0.37/0.65 (zenon_Vfj != zenon_Vjl) % 0.37/0.65 (zenon_Vok != zenon_Vee) % 0.37/0.65 (zenon_Vcm != zenon_Vvg) % 0.37/0.65 (zenon_Vgp != zenon_Vdh) % 0.37/0.65 (r1 zenon_Vvm zenon_Vym) % 0.37/0.65 (zenon_Vyk != zenon_Vlj) % 0.37/0.65 (zenon_Vcn != zenon_Vcd) % 0.37/0.65 (zenon_Vzj != zenon_Vtl) % 0.37/0.65 (zenon_Vuo != zenon_Vfb) % 0.37/0.65 (zenon_Vkn != zenon_Vgj) % 0.37/0.65 (zenon_Vsl != zenon_Vcd) % 0.37/0.65 (-. (p1 zenon_Vyl)) % 0.37/0.65 (zenon_Vyk != zenon_Vri) % 0.37/0.65 (zenon_Vsl != zenon_Vtb) % 0.37/0.65 (zenon_Vuo != zenon_Vng) % 0.37/0.65 (zenon_Vmm != zenon_Vcd) % 0.37/0.65 (zenon_Vnl != zenon_Vse) % 0.37/0.65 (zenon_Vym != zenon_Vvj) % 0.37/0.65 (zenon_Vjk != zenon_Vuk) % 0.37/0.65 (zenon_Vwn != zenon_Vel) % 0.37/0.65 (zenon_Vwn != zenon_Vee) % 0.37/0.65 (zenon_Vao != zenon_Vbi) % 0.37/0.65 (zenon_Vcn != zenon_Vdm) % 0.37/0.65 (r1 zenon_Vzo zenon_Vcp) % 0.37/0.65 (zenon_Vmm != zenon_Vvc) % 0.37/0.65 (r1 zenon_Vyi zenon_Vbj) % 0.37/0.65 (r1 zenon_Vlk zenon_Vqk) % 0.37/0.65 (zenon_Vtk != zenon_Vni) % 0.37/0.65 (zenon_Vnl != zenon_Vle) % 0.37/0.65 (zenon_Vsl != zenon_Vkk) % 0.37/0.65 (zenon_Vyk != zenon_Vxf) % 0.37/0.65 (zenon_Vgp != zenon_Vda) % 0.37/0.65 (zenon_Vqo != zenon_Vvj) % 0.37/0.65 (zenon_Vpj != zenon_Vse) % 0.37/0.65 (zenon_Vyk != zenon_Vng) % 0.37/0.65 (zenon_Vok != zenon_Vni) % 0.37/0.65 (zenon_Vok != zenon_Vdm) % 0.37/0.65 (zenon_Vyo != zenon_Vkk) % 0.37/0.65 (zenon_Vym != zenon_Vac) % 0.37/0.65 (zenon_Vof != zenon_Vqm) % 0.37/0.65 (r1 zenon_Vob zenon_Vsb) % 0.37/0.65 (zenon_Vrp != zenon_Vka) % 0.37/0.65 (zenon_Von != zenon_Vbj) % 0.37/0.65 (zenon_Vgn != zenon_Vlj) % 0.37/0.65 (zenon_Von != zenon_Vda) % 0.37/0.65 (zenon_Vsn != zenon_Vng) % 0.37/0.65 (zenon_Vyk != zenon_Vzk) % 0.37/0.65 (zenon_Vgn != zenon_Vya) % 0.37/0.65 (zenon_Vxl != zenon_Vrg) % 0.37/0.65 (zenon_Vqo != zenon_Vhh) % 0.37/0.65 (zenon_Vek != zenon_Vni) % 0.37/0.65 (zenon_Vuo != zenon_Vzk) % 0.37/0.65 (zenon_Vpj != zenon_Vw) % 0.37/0.65 (zenon_Vum != zenon_Vcd) % 0.37/0.65 (zenon_Vhm != zenon_Vee) % 0.37/0.65 (zenon_Vjk != zenon_Vfg) % 0.37/0.65 (zenon_Vqo != zenon_Vlh) % 0.37/0.65 (zenon_Vuo != zenon_Vtb) % 0.37/0.65 (zenon_Von != zenon_Vnm) % 0.37/0.65 (zenon_Vsn != zenon_Vuk) % 0.37/0.65 (zenon_Vmo != zenon_Vpk) % 0.37/0.65 (zenon_Von != zenon_Vel) % 0.37/0.65 (zenon_Vuo != zenon_Vuk) % 0.37/0.65 (zenon_Vym != zenon_Vgj) % 0.37/0.65 (zenon_Vsn != zenon_Vol) % 0.37/0.65 (zenon_Vpj != zenon_Vmb) % 0.37/0.65 (zenon_Vkp != zenon_Vkk) % 0.37/0.65 (p1 zenon_Vsn) % 0.37/0.65 (zenon_Vzj != zenon_Vra) % 0.37/0.65 (zenon_Vaj != zenon_Vel) % 0.37/0.65 (zenon_Vsl != zenon_Vxh) % 0.37/0.65 (zenon_Vek != zenon_Vfi) % 0.37/0.65 (zenon_Vgp != zenon_Vjl) % 0.37/0.65 (zenon_Vtk != zenon_Vak) % 0.37/0.65 (zenon_Vym != zenon_Vvg) % 0.37/0.65 (zenon_Vum != zenon_Vw) % 0.37/0.65 (zenon_Vek != zenon_Vzk) % 0.37/0.65 (zenon_Vwn != zenon_Vng) % 0.37/0.65 (zenon_Vum != zenon_Vxf) % 0.37/0.65 (zenon_Vrp != zenon_Vyl) % 0.37/0.65 (zenon_Vmm != zenon_Vel) % 0.37/0.65 (zenon_Vyk != zenon_Vvc) % 0.37/0.65 (zenon_Vhm != zenon_Vth) % 0.37/0.65 (-. (p1 zenon_Vxh)) % 0.37/0.65 (zenon_Vsl != zenon_Vel) % 0.37/0.65 (zenon_Vcp != zenon_Vyl) % 0.37/0.65 (zenon_Vzj != zenon_Vji) % 0.37/0.65 (zenon_Vnl != zenon_Vbg) % 0.37/0.65 (zenon_Vop != zenon_Vqj) % 0.37/0.65 (zenon_Von != zenon_Vfk) % 0.37/0.65 (zenon_Vmo != zenon_Vxh) % 0.37/0.65 (zenon_Vcn != zenon_Vee) % 0.37/0.65 (zenon_Vwi != zenon_Vni) % 0.37/0.65 (zenon_Vum != zenon_Vim) % 0.37/0.65 (zenon_Vgn != zenon_Vpk) % 0.37/0.65 (zenon_Vcm != zenon_Vtb) % 0.37/0.65 (zenon_Vwn != zenon_Vle) % 0.37/0.65 (zenon_Vuo != zenon_Vth) % 0.37/0.65 (zenon_Vhm != zenon_Vkk) % 0.37/0.65 (zenon_Vio != zenon_Vxd) % 0.37/0.65 (zenon_Vdl != zenon_Vqj) % 0.37/0.65 (zenon_Vkj != zenon_Vjg) % 0.37/0.65 (r1 zenon_Vyf zenon_Vbg) % 0.37/0.65 (-. (p1 zenon_Vng)) % 0.37/0.65 (zenon_Vil != zenon_Vxi) % 0.37/0.65 (zenon_Vao != zenon_Vhh) % 0.37/0.65 (zenon_Vxl != zenon_Vhh) % 0.37/0.65 (-. (p1 zenon_Vfb)) % 0.37/0.65 (zenon_Vil != zenon_Vol) % 0.37/0.65 (zenon_Vkj != zenon_Vhh) % 0.37/0.65 (zenon_Vcp != zenon_Vjl) % 0.37/0.65 (zenon_Vwn != zenon_Vvc) % 0.37/0.65 (zenon_Vmm != zenon_Vse) % 0.37/0.65 (zenon_Vek != zenon_Vxi) % 0.37/0.65 (r1 zenon_Vvo zenon_Vyo) % 0.37/0.65 (r1 zenon_Vkl zenon_Vpl) % 0.37/0.65 (zenon_Vcp != zenon_Vac) % 0.37/0.65 (zenon_Vcn != zenon_Vqd) % 0.37/0.65 (zenon_Vok != zenon_Vph) % 0.37/0.65 (zenon_Vsn != zenon_Vra) % 0.37/0.65 (zenon_Vdl != zenon_Vya) % 0.37/0.65 (zenon_Vmm != zenon_Vxh) % 0.37/0.65 (zenon_Vok != zenon_Vse) % 0.37/0.65 (zenon_Vnl != zenon_Vlj) % 0.37/0.65 (zenon_Vyo != zenon_Vfb) % 0.37/0.65 (zenon_Vop != zenon_Vhc) % 0.37/0.65 (zenon_Vek != zenon_Vbg) % 0.37/0.65 (zenon_Vdl != zenon_Vni) % 0.37/0.65 (r1 zenon_Vlk zenon_Vmk) % 0.37/0.65 (zenon_Vhm != zenon_Vnm) % 0.37/0.65 (zenon_Vkp != zenon_Vyl) % 0.37/0.65 (zenon_Vmm != zenon_Vtl) % 0.37/0.65 (zenon_Vzj != zenon_Vlj) % 0.37/0.65 (zenon_Vkp != zenon_Vq) % 0.37/0.65 (r1 zenon_Vqc zenon_Vuc) % 0.37/0.65 (zenon_Vwi != zenon_Vcd) % 0.37/0.65 (zenon_Vtk != zenon_Vji) % 0.37/0.65 (zenon_Vuj != zenon_Vq) % 0.37/0.65 (zenon_Vsl != zenon_Vth) % 0.37/0.65 (r1 zenon_Vbl zenon_Vcl) % 0.37/0.65 (zenon_Vjk != zenon_Vxd) % 0.37/0.65 (zenon_Vqo != zenon_Vel) % 0.37/0.65 (zenon_Vop != zenon_Vzk) % 0.37/0.65 (zenon_Vuo != zenon_Voc) % 0.37/0.65 (zenon_Vyk != zenon_Vqj) % 0.37/0.65 (zenon_Vao != zenon_Vhc) % 0.37/0.65 (zenon_Vcn != zenon_Vka) % 0.37/0.65 (-. (p1 zenon_Vnm)) % 0.37/0.65 (r1 zenon_Vjo zenon_Vmo) % 0.37/0.65 (zenon_Vcn != zenon_Vuk) % 0.37/0.65 (zenon_Vkj != zenon_Vvc) % 0.37/0.65 (zenon_Vyk != zenon_Vji) % 0.37/0.65 (zenon_Vsl != zenon_Vak) % 0.37/0.65 (zenon_Vjk != zenon_Vjg) % 0.37/0.65 (zenon_Vwn != zenon_Vtl) % 0.37/0.65 (zenon_Vym != zenon_Vji) % 0.37/0.65 (zenon_Vxl != zenon_Vhc) % 0.37/0.65 (zenon_Vcn != zenon_Vdh) % 0.37/0.65 (zenon_Vop != zenon_Vxh) % 0.37/0.65 (zenon_Vwn != zenon_Vzk) % 0.37/0.65 (zenon_Vkn != zenon_Vqj) % 0.37/0.65 (zenon_Vtk != zenon_Vjl) % 0.37/0.65 (p1 zenon_Vcn) % 0.37/0.65 (zenon_Vcm != zenon_Vxi) % 0.37/0.65 (zenon_Vao != zenon_Vxh) % 0.37/0.65 (r1 zenon_Vjm zenon_Vkm) % 0.37/0.65 (zenon_Vop != zenon_Vra) % 0.37/0.65 (zenon_Vym != zenon_Vya) % 0.37/0.65 (zenon_Vio != zenon_Vnm) % 0.37/0.65 (zenon_Vxl != zenon_Vzg) % 0.37/0.65 (zenon_Vcm != zenon_Vdh) % 0.37/0.65 (zenon_Vmo != zenon_Vhh) % 0.37/0.65 (zenon_Vio != zenon_Vq) % 0.37/0.65 (zenon_Veo != zenon_Vrg) % 0.37/0.65 (zenon_Vek != zenon_Vth) % 0.37/0.65 (zenon_Vil != zenon_Vfi) % 0.37/0.65 (zenon_Vve != zenon_Vif) % 0.37/0.65 (zenon_Vhm != zenon_Vim) % 0.37/0.65 (zenon_Vkn != zenon_Vya) % 0.37/0.65 (zenon_Vyk != zenon_Vxd) % 0.37/0.65 (zenon_Vxl != zenon_Vq) % 0.37/0.65 (zenon_Vil != zenon_Vph) % 0.37/0.65 (zenon_Vgn != zenon_Vq) % 0.37/0.65 (zenon_Vdl != zenon_Vbj) % 0.37/0.65 (zenon_Vjk != zenon_Vak) % 0.37/0.65 (zenon_Vsn != zenon_Vkk) % 0.37/0.65 (zenon_Vum != zenon_Vvc) % 0.37/0.65 (zenon_Vzj != zenon_Vxd) % 0.37/0.65 (zenon_Veo != zenon_Vmb) % 0.37/0.65 (zenon_Vkn != zenon_Vhh) % 0.37/0.65 (r1 zenon_Vyi zenon_Vzi) % 0.37/0.65 (zenon_Vyk != zenon_Vq) % 0.37/0.65 (zenon_Vaj != zenon_Vfg) % 0.37/0.65 (zenon_Vaj != zenon_Vkk) % 0.37/0.65 (zenon_Vmo != zenon_Vel) % 0.37/0.65 (zenon_Vkp != zenon_Vol) % 0.37/0.65 (zenon_Vok != zenon_Vmb) % 0.37/0.65 (zenon_Vfj != zenon_Vxf) % 0.37/0.65 (-. (p1 zenon_Vfg)) % 0.37/0.65 (zenon_Veo != zenon_Vbi) % 0.37/0.65 (zenon_Vmo != zenon_Vxi) % 0.37/0.65 (zenon_Vgp != zenon_Vyl) % 0.37/0.65 (zenon_Vpj != zenon_Vda) % 0.37/0.65 (zenon_Vmo != zenon_Vqj) % 0.37/0.65 (zenon_Vum != zenon_Vlj) % 0.37/0.65 (zenon_Vao != zenon_Vda) % 0.37/0.65 (r1 zenon_Vem zenon_Vfm) % 0.37/0.65 (zenon_Vfj != zenon_Vfk) % 0.37/0.65 (zenon_Vrp != zenon_Vjl) % 0.37/0.65 (zenon_Vxl != zenon_Vcd) % 0.37/0.65 (-. (p1 zenon_Vzk)) % 0.37/0.65 (zenon_Vop != zenon_Vvc) % 0.37/0.65 (zenon_Vio != zenon_Vtl) % 0.37/0.65 (zenon_Vmo != zenon_Vdm) % 0.37/0.65 (zenon_Vcp != zenon_Vse) % 0.37/0.65 (zenon_Vop != zenon_Vzg) % 0.37/0.65 (zenon_Vmm != zenon_Vvj) % 0.37/0.65 (zenon_Vxl != zenon_Vqj) % 0.37/0.65 (zenon_Vao != zenon_Vlj) % 0.37/0.65 (zenon_Vcm != zenon_Vda) % 0.37/0.65 (zenon_Vyk != zenon_Vdm) % 0.37/0.65 (zenon_Vop != zenon_Vbj) % 0.37/0.65 (zenon_Vcp != zenon_Vbi) % 0.37/0.65 (p1 zenon_Vtk) % 0.37/0.65 (zenon_Vxl != zenon_Vel) % 0.37/0.65 (zenon_Vaj != zenon_Vse) % 0.37/0.65 (zenon_Vcp != zenon_Vak) % 0.37/0.65 (zenon_Vhm != zenon_Vel) % 0.37/0.65 (zenon_Vcn != zenon_Vol) % 0.37/0.65 (zenon_Vek != zenon_Vjl) % 0.37/0.65 (zenon_Vfj != zenon_Vjg) % 0.37/0.65 (zenon_Vhm != zenon_Vhh) % 0.37/0.65 (zenon_Vqo != zenon_Vhc) % 0.37/0.65 (zenon_Vaj != zenon_Vlh) % 0.37/0.65 (zenon_Vkp != zenon_Vbj) % 0.37/0.65 (zenon_Vqo != zenon_Vdm) % 0.37/0.65 (zenon_Vpj != zenon_Vtl) % 0.37/0.65 (zenon_Vkp != zenon_Vda) % 0.37/0.65 (zenon_Vdl != zenon_Vvg) % 0.37/0.65 (zenon_Vpj != zenon_Vlj) % 0.37/0.65 (zenon_Vio != zenon_Vui) % 0.37/0.65 (r1 zenon_Vte zenon_Vsf) % 0.37/0.65 (r1 zenon_Vfm zenon_Vim) % 0.37/0.65 (zenon_Veo != zenon_Vji) % 0.37/0.65 (zenon_Vkp != zenon_Vya) % 0.37/0.65 (zenon_Vjk != zenon_Vui) % 0.37/0.65 (zenon_Vwi != zenon_Vak) % 0.37/0.65 (zenon_Vkn != zenon_Vji) % 0.37/0.65 (zenon_Vum != zenon_Vqd) % 0.37/0.65 (zenon_Vrp != zenon_Vak) % 0.37/0.65 (zenon_Vum != zenon_Vka) % 0.37/0.65 (zenon_Vzj != zenon_Vui) % 0.37/0.65 (zenon_Vyk != zenon_Vcd) % 0.37/0.65 (zenon_Vcm != zenon_Vra) % 0.37/0.65 (zenon_Vop != zenon_Vya) % 0.37/0.65 (zenon_Veo != zenon_Voc) % 0.37/0.65 (zenon_Vtk != zenon_Voc) % 0.37/0.65 (zenon_Vil != zenon_Vth) % 0.37/0.65 (-. (p2 zenon_Vif)) % 0.37/0.65 (p1 zenon_Vum) % 0.37/0.65 (-. (p3 zenon_Vwe)) % 0.37/0.65 (zenon_Vdl != zenon_Vnm) % 0.37/0.65 (zenon_Vyo != zenon_Vzk) % 0.37/0.65 (zenon_Vkj != zenon_Vee) % 0.37/0.65 (zenon_Vcm != zenon_Vfb) % 0.37/0.65 (zenon_Vgn != zenon_Vui) % 0.37/0.65 (zenon_Vjk != zenon_Vbg) % 0.37/0.65 (zenon_Vao != zenon_Vvc) % 0.37/0.65 (zenon_Vjk != zenon_Vcd) % 0.37/0.65 (zenon_Vuo != zenon_Vlh) % 0.37/0.65 (zenon_Vmo != zenon_Vnm) % 0.37/0.65 (zenon_Vkp != zenon_Vmb) % 0.37/0.65 (zenon_Vwn != zenon_Vph) % 0.37/0.65 (zenon_Vgn != zenon_Vgj) % 0.37/0.65 (zenon_Vop != zenon_Vtb) % 0.37/0.65 (zenon_Vsl != zenon_Vhh) % 0.37/0.65 (zenon_Vkj != zenon_Vra) % 0.37/0.65 (zenon_Vtk != zenon_Vvc) % 0.37/0.65 (zenon_Vjk != zenon_Vzk) % 0.37/0.65 (zenon_Vil != zenon_Vq) % 0.37/0.65 (zenon_Vuj != zenon_Vee) % 0.37/0.65 (zenon_Vmm != zenon_Vri) % 0.37/0.65 (zenon_Vrp != zenon_Vbj) % 0.37/0.65 (-. (p1 zenon_Vgj)) % 0.37/0.65 (zenon_Vkn != zenon_Vfb) % 0.37/0.65 (zenon_Vwn != zenon_Vjd) % 0.37/0.65 (zenon_Vcm != zenon_Vya) % 0.37/0.65 (zenon_Von != zenon_Vni) % 0.37/0.65 (zenon_Vok != zenon_Vnm) % 0.37/0.65 (zenon_Vwi != zenon_Vw) % 0.37/0.65 (-. (p1 zenon_Voc)) % 0.37/0.65 (r1 zenon_Vnf zenon_Vof) % 0.37/0.65 (zenon_Vao != zenon_Vak) % 0.37/0.65 (zenon_Vwi != zenon_Vjl) % 0.37/0.65 (r1 zenon_Vwg zenon_Vzg) % 0.37/0.65 (zenon_Vio != zenon_Vuk) % 0.37/0.65 (zenon_Vwi != zenon_Vfi) % 0.37/0.65 (zenon_Vcn != zenon_Vmb) % 0.37/0.65 (zenon_Vaj != zenon_Vri) % 0.37/0.65 (zenon_Vsl != zenon_Vra) % 0.37/0.65 (zenon_Vhm != zenon_Vhc) % 0.37/0.65 (-. (p1 zenon_Vuk)) % 0.37/0.65 (zenon_Vmo != zenon_Vjg) % 0.37/0.65 (zenon_Vum != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vyl) % 0.37/0.65 (zenon_Vio != zenon_Vdh) % 0.37/0.65 (zenon_Vmm != zenon_Vth) % 0.37/0.65 (zenon_Vym != zenon_Vhc) % 0.37/0.65 (r1 zenon_Vhj zenon_Vmj) % 0.37/0.65 (zenon_Vym != zenon_Vak) % 0.37/0.65 (zenon_Vio != zenon_Vyl) % 0.37/0.65 (zenon_Vym != zenon_Vkk) % 0.37/0.65 (zenon_Vwn != zenon_Vvj) % 0.37/0.65 (zenon_Vzj != zenon_Vhh) % 0.37/0.65 (zenon_Vwi != zenon_Vbj) % 0.37/0.65 (zenon_Vtk != zenon_Vth) % 0.37/0.65 (zenon_Vsn != zenon_Vjd) % 0.37/0.65 (zenon_Von != zenon_Vui) % 0.37/0.65 (zenon_Vyk != zenon_Vel) % 0.37/0.65 (zenon_Vfj != zenon_Vgj) % 0.37/0.65 (zenon_Vcp != zenon_Vee) % 0.37/0.65 (zenon_Vdl != zenon_Vjd) % 0.37/0.65 (zenon_Vdl != zenon_Vxh) % 0.37/0.65 (zenon_Vqo != zenon_Vvg) % 0.37/0.65 (zenon_Vpj != zenon_Vac) % 0.37/0.65 (zenon_Vsn != zenon_Vxh) % 0.37/0.65 (r1 zenon_Vbk zenon_Vgk) % 0.37/0.65 (zenon_Vek != zenon_Vzg) % 0.37/0.65 (zenon_Vio != zenon_Vvj) % 0.37/0.65 (zenon_Vio != zenon_Vji) % 0.37/0.65 (zenon_Vtk != zenon_Vuk) % 0.37/0.65 (zenon_Vsl != zenon_Vbg) % 0.37/0.65 (zenon_Vsl != zenon_Vji) % 0.37/0.65 (zenon_Vrp != zenon_Vtb) % 0.37/0.65 (zenon_Vwi != zenon_Vzg) % 0.37/0.65 (zenon_Vkp != zenon_Vqj) % 0.37/0.65 (zenon_Vcp != zenon_Vra) % 0.37/0.65 (zenon_Veo != zenon_Vim) % 0.37/0.65 (zenon_Vkn != zenon_Vvj) % 0.37/0.65 (zenon_Vkj != zenon_Vtl) % 0.37/0.65 (zenon_Vuj != zenon_Vdm) % 0.37/0.65 (zenon_Vqo != zenon_Vlj) % 0.37/0.65 (zenon_Vym != zenon_Vyl) % 0.37/0.65 (zenon_Vmo != zenon_Vjl) % 0.37/0.65 (zenon_Vio != zenon_Vjd) % 0.37/0.65 (zenon_Vok != zenon_Vka) % 0.37/0.65 (r1 zenon_Vbl zenon_Vel) % 0.37/0.65 (r1 zenon_Vve zenon_Vwe) % 0.37/0.65 (-. (p1 zenon_Vw)) % 0.37/0.65 (zenon_Vkp != zenon_Vse) % 0.37/0.65 (zenon_Vop != zenon_Vbi) % 0.37/0.65 (zenon_Vmm != zenon_Vqj) % 0.37/0.65 (r1 zenon_Vvb zenon_Vzb) % 0.37/0.65 (zenon_Vek != zenon_Vri) % 0.37/0.65 (zenon_Vcp != zenon_Vph) % 0.37/0.65 (zenon_Vmm != zenon_Voc) % 0.37/0.65 (zenon_Vxl != zenon_Vtl) % 0.37/0.65 (zenon_Vop != zenon_Vjl) % 0.37/0.65 (r1 zenon_Vem zenon_Vjm) % 0.37/0.65 (zenon_Veo != zenon_Vak) % 0.37/0.65 (zenon_Vcm != zenon_Vrg) % 0.37/0.65 (r1 zenon_Vxj zenon_Vyj) % 0.37/0.65 (zenon_Vok != zenon_Vzk) % 0.37/0.65 (zenon_Vqo != zenon_Vq) % 0.37/0.65 (zenon_Vfj != zenon_Vfb) % 0.37/0.65 (zenon_Vgn != zenon_Vjl) % 0.37/0.65 (zenon_Vzj != zenon_Vfk) % 0.37/0.65 (zenon_Vtk != zenon_Vjd) % 0.37/0.65 (zenon_Vfj != zenon_Vth) % 0.37/0.65 (zenon_Vfj != zenon_Vyl) % 0.37/0.65 (zenon_Vaj != zenon_Vjd) % 0.37/0.65 (zenon_Vqo != zenon_Vxf) % 0.37/0.65 (zenon_Vek != zenon_Vji) % 0.37/0.65 (r1 zenon_Vcc zenon_Vgc) % 0.37/0.65 (zenon_Vmm != zenon_Vyl) % 0.37/0.65 (zenon_Vtk != zenon_Vnm) % 0.37/0.65 (zenon_Vil != zenon_Vra) % 0.37/0.65 (r1 zenon_Vxn zenon_Vao) % 0.37/0.65 (zenon_Vxl != zenon_Vuk) % 0.37/0.65 (zenon_Vym != zenon_Vph) % 0.37/0.65 (zenon_Vum != zenon_Vdm) % 0.37/0.65 (zenon_Vzj != zenon_Vol) % 0.37/0.65 (zenon_Vcp != zenon_Vgj) % 0.37/0.65 (zenon_Vhm != zenon_Vle) % 0.37/0.65 (r1 zenon_Vno zenon_Vqo) % 0.37/0.65 (zenon_Vhm != zenon_Vuk) % 0.37/0.65 (zenon_Vtk != zenon_Vng) % 0.37/0.65 (zenon_Vym != zenon_Vqd) % 0.37/0.65 (zenon_Veo != zenon_Vqj) % 0.37/0.65 (zenon_Vtk != zenon_Vda) % 0.37/0.65 (zenon_Vcn != zenon_Vjg) % 0.37/0.65 (zenon_Vsn != zenon_Vvg) % 0.37/0.65 (p1 zenon_Vao) % 0.37/0.65 (zenon_Vum != zenon_Vng) % 0.37/0.65 (zenon_Vil != zenon_Vlh) % 0.37/0.65 (zenon_Vcm != zenon_Voc) % 0.37/0.65 (zenon_Vio != zenon_Vcd) % 0.37/0.65 (zenon_Vcn != zenon_Vda) % 0.37/0.65 (zenon_Vek != zenon_Vqd) % 0.37/0.65 (zenon_Vyo != zenon_Vzg) % 0.37/0.65 (zenon_Vxl != zenon_Vlj) % 0.37/0.65 (zenon_Vnl != zenon_Vfg) % 0.37/0.65 (zenon_Vuo != zenon_Vvj) % 0.37/0.65 (zenon_Vek != zenon_Vlj) % 0.37/0.65 (zenon_Vwi != zenon_Vui) % 0.37/0.65 (zenon_Vrp != zenon_Vui) % 0.37/0.65 (zenon_Vfj != zenon_Vqj) % 0.37/0.65 (zenon_Vgp != zenon_Vri) % 0.37/0.65 (zenon_Vsn != zenon_Vzg) % 0.37/0.65 (zenon_Vxl != zenon_Vui) % 0.37/0.65 (zenon_Vwn != zenon_Vxi) % 0.37/0.65 (zenon_Vyo != zenon_Vka) % 0.37/0.65 (-. (p1 zenon_Vri)) % 0.37/0.65 (zenon_Veo != zenon_Vac) % 0.37/0.65 (zenon_Vzj != zenon_Vth) % 0.37/0.65 (zenon_Vkp != zenon_Vcd) % 0.37/0.65 (zenon_Vop != zenon_Vcd) % 0.37/0.65 (zenon_Vjk != zenon_Vlj) % 0.37/0.65 (zenon_Vil != zenon_Vhh) % 0.37/0.65 (zenon_Vqo != zenon_Vse) % 0.37/0.65 (zenon_Vum != zenon_Vfk) % 0.37/0.65 (zenon_Vtk != zenon_Vfb) % 0.37/0.65 (zenon_Vsl != zenon_Vse) % 0.37/0.65 (zenon_Vuo != zenon_Vim) % 0.37/0.65 (zenon_Vpj != zenon_Vyl) % 0.37/0.65 (zenon_Vhm != zenon_Vbj) % 0.37/0.65 (zenon_Vwn != zenon_Vya) % 0.37/0.65 (zenon_Vwn != zenon_Vdh) % 0.37/0.65 (zenon_Vqo != zenon_Vfk) % 0.37/0.65 (zenon_Vok != zenon_Vhh) % 0.37/0.65 (zenon_Vaj != zenon_Vpk) % 0.37/0.65 (zenon_Vum != zenon_Vol) % 0.37/0.65 (zenon_Vwi != zenon_Vfk) % 0.37/0.65 (zenon_Vcn != zenon_Vni) % 0.37/0.65 (zenon_Vsl != zenon_Vdm) % 0.37/0.65 (zenon_Vsl != zenon_Vle) % 0.37/0.65 (zenon_Vdl != zenon_Vvc) % 0.37/0.65 (zenon_Vsl != zenon_Vfi) % 0.37/0.65 (zenon_Vqo != zenon_Vfb) % 0.37/0.65 (zenon_Vgn != zenon_Vri) % 0.37/0.65 (zenon_Vrp != zenon_Vbi) % 0.37/0.65 (zenon_Vsn != zenon_Vxi) % 0.37/0.65 (zenon_Vsl != zenon_Vnm) % 0.37/0.65 (zenon_Vsn != zenon_Vnm) % 0.37/0.65 (zenon_Vnl != zenon_Vbj) % 0.37/0.65 (zenon_Vuj != zenon_Vfi) % 0.37/0.65 (zenon_Vcp != zenon_Vui) % 0.37/0.65 (r1 zenon_Vgg zenon_Vjg) % 0.37/0.65 (zenon_Vdl != zenon_Vrg) % 0.37/0.65 (r1 zenon_Vkl zenon_Vll) % 0.37/0.65 (zenon_Vjk != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vzg) % 0.37/0.65 (zenon_Von != zenon_Vth) % 0.37/0.65 (zenon_Vsl != zenon_Vlj) % 0.37/0.65 (zenon_Vok != zenon_Vra) % 0.37/0.65 (zenon_Vek != zenon_Vgj) % 0.37/0.65 (zenon_Vcp != zenon_Vq) % 0.37/0.65 (zenon_Vop != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vbi) % 0.37/0.65 (r1 zenon_Vmh zenon_Vph) % 0.37/0.65 (zenon_Vhm != zenon_Vlj) % 0.37/0.65 (zenon_Vcp != zenon_Vzg) % 0.37/0.65 (zenon_Vxl != zenon_Vji) % 0.37/0.65 (zenon_Vkp != zenon_Vfg) % 0.37/0.65 (zenon_Vsn != zenon_Vq) % 0.37/0.65 (zenon_Vtk != zenon_Vee) % 0.37/0.65 (zenon_Vrp != zenon_Vda) % 0.37/0.65 (zenon_Vxl != zenon_Vmb) % 0.37/0.65 (zenon_Vum != zenon_Vyl) % 0.37/0.65 (zenon_Vwi != zenon_Vlj) % 0.37/0.65 (zenon_Vao != zenon_Vw) % 0.37/0.65 (zenon_Vok != zenon_Vya) % 0.37/0.65 (zenon_Vsl != zenon_Vgj) % 0.37/0.65 (zenon_Vzj != zenon_Vqj) % 0.37/0.65 (zenon_Vmo != zenon_Vvc) % 0.37/0.65 (zenon_Vum != zenon_Vse) % 0.37/0.65 (zenon_Vyk != zenon_Vmb) % 0.37/0.65 (zenon_Vkp != zenon_Vvc) % 0.37/0.65 (zenon_Vuj != zenon_Vui) % 0.37/0.65 (zenon_Vaj != zenon_Vjg) % 0.37/0.65 (-. (p1 zenon_Vni)) % 0.37/0.65 (zenon_Vyk != zenon_Vak) % 0.37/0.65 (zenon_Vkj != zenon_Vse) % 0.37/0.65 (zenon_Vsl != zenon_Vxf) % 0.37/0.65 (zenon_Vcp != zenon_Vbg) % 0.37/0.65 (zenon_Vok != zenon_Vxh) % 0.37/0.65 (zenon_Vcm != zenon_Vol) % 0.37/0.65 (zenon_Vjk != zenon_Vdh) % 0.37/0.65 (zenon_Vyk != zenon_Voc) % 0.37/0.65 (zenon_Vym != zenon_Vle) % 0.37/0.65 (zenon_Von != zenon_Vol) % 0.37/0.65 (zenon_Veo != zenon_Vuk) % 0.37/0.65 (zenon_Vum != zenon_Vph) % 0.37/0.65 (zenon_Vum != zenon_Vtb) % 0.37/0.65 (zenon_Vuj != zenon_Vrg) % 0.37/0.65 (r1 Tau_0 Tau_1) % 0.37/0.65 (r1 zenon_Vsd zenon_Vwd) % 0.37/0.65 (zenon_Vwi != zenon_Vvj) % 0.37/0.65 (zenon_Vil != zenon_Vgj) % 0.37/0.65 (zenon_Vek != zenon_Vkk) % 0.37/0.65 (zenon_Vwi != zenon_Vxd) % 0.37/0.65 (zenon_Vsn != zenon_Vji) % 0.37/0.65 (zenon_Vsn != zenon_Vpk) % 0.37/0.65 (zenon_Vwi != zenon_Vtl) % 0.37/0.65 (zenon_Vxl != zenon_Vqd) % 0.37/0.65 (zenon_Vym != zenon_Vvc) % 0.37/0.65 (r1 zenon_Vgl zenon_Vjl) % 0.37/0.65 (zenon_Vil != zenon_Vtl) % 0.37/0.65 (zenon_Vek != zenon_Vak) % 0.37/0.65 (zenon_Vgp != zenon_Vac) % 0.37/0.65 (zenon_Vzj != zenon_Vee) % 0.37/0.65 (zenon_Vgn != zenon_Vkk) % 0.37/0.65 (zenon_Vzj != zenon_Vq) % 0.37/0.65 (zenon_Vfj != zenon_Vhc) % 0.37/0.65 (zenon_Vgp != zenon_Vjg) % 0.37/0.65 (zenon_Vil != zenon_Vse) % 0.37/0.65 (zenon_Vgp != zenon_Vya) % 0.37/0.65 (zenon_Vsn != zenon_Vqd) % 0.37/0.65 (zenon_Vjk != zenon_Vkk) % 0.37/0.65 (zenon_Vwi != zenon_Vq) % 0.37/0.65 (zenon_Vsl != zenon_Vvc) % 0.37/0.65 (zenon_Vop != zenon_Vvg) % 0.37/0.65 (zenon_Vfj != zenon_Vzg) % 0.37/0.65 (p1 zenon_Vxl) % 0.37/0.65 (zenon_Vqo != zenon_Vw) % 0.37/0.65 (zenon_Vqo != zenon_Vmb) % 0.37/0.65 (zenon_Vrp != zenon_Vra) % 0.37/0.65 (zenon_Vok != zenon_Vle) % 0.37/0.65 (zenon_Vao != zenon_Vui) % 0.37/0.65 (zenon_Vgn != zenon_Vxi) % 0.37/0.65 (zenon_Vzj != zenon_Vka) % 0.37/0.65 (zenon_Vil != zenon_Vee) % 0.37/0.65 (zenon_Vdl != zenon_Vlh) % 0.37/0.65 (zenon_Vuo != zenon_Vrg) % 0.37/0.65 (zenon_Vdl != zenon_Vgj) % 0.37/0.65 (zenon_Vhm != zenon_Vbi) % 0.37/0.65 (zenon_Vrp != zenon_Vxd) % 0.37/0.65 (zenon_Vyo != zenon_Vq) % 0.37/0.65 (zenon_Vmo != zenon_Vbg) % 0.37/0.65 (zenon_Vuj != zenon_Vzk) % 0.37/0.65 (zenon_Vop != zenon_Vpk) % 0.37/0.65 (p1 zenon_Vcp) % 0.37/0.65 (zenon_Vkp != zenon_Vtb) % 0.37/0.65 (zenon_Vcp != zenon_Vvc) % 0.37/0.65 (-. (p1 zenon_Vqj)) % 0.37/0.65 (zenon_Vkn != zenon_Vdm) % 0.37/0.65 (zenon_Vkp != zenon_Voc) % 0.37/0.65 (zenon_Vtk != zenon_Vfi) % 0.37/0.65 (zenon_Vjk != zenon_Vpk) % 0.37/0.65 (zenon_Von != zenon_Vka) % 0.37/0.65 (zenon_Vcn != zenon_Vth) % 0.37/0.65 (zenon_Vmo != zenon_Vkk) % 0.37/0.65 (zenon_Vok != zenon_Vzg) % 0.37/0.65 (zenon_Vil != zenon_Vzk) % 0.37/0.65 (zenon_Vaj != zenon_Vim) % 0.37/0.65 (zenon_Vio != zenon_Vee) % 0.37/0.65 (zenon_Von != zenon_Vle) % 0.37/0.65 (zenon_Vyo != zenon_Vni) % 0.37/0.65 (zenon_Vnl != zenon_Vuk) % 0.37/0.65 (zenon_Vxl != zenon_Vni) % 0.37/0.65 (zenon_Von != zenon_Vyl) % 0.37/0.65 (p1 zenon_Vuj) % 0.37/0.65 (zenon_Vkj != zenon_Vka) % 0.37/0.65 (zenon_Vio != zenon_Vak) % 0.37/0.65 (r1 zenon_Vdj zenon_Vej) % 0.37/0.65 (zenon_Vwn != zenon_Vqj) % 0.37/0.65 (zenon_Vkn != zenon_Vyl) % 0.37/0.65 (zenon_Vqo != zenon_Vol) % 0.37/0.65 (zenon_Vkn != zenon_Vqd) % 0.37/0.65 (zenon_Vmm != zenon_Vvg) % 0.37/0.65 (zenon_Vwi != zenon_Vph) % 0.37/0.65 (zenon_Vkj != zenon_Vth) % 0.37/0.65 (zenon_Vqo != zenon_Vnm) % 0.37/0.65 (zenon_Vdl != zenon_Vhh) % 0.37/0.65 (zenon_Vxl != zenon_Vfb) % 0.37/0.65 (zenon_Vil != zenon_Vfg) % 0.37/0.65 (zenon_Vwn != zenon_Vxh) % 0.37/0.65 (zenon_Vyo != zenon_Vcd) % 0.37/0.65 (zenon_Vwn != zenon_Vcd) % 0.37/0.65 (zenon_Vym != zenon_Vxh) % 0.37/0.65 (-. (p1 zenon_Vlj)) % 0.37/0.65 (zenon_Vpj != zenon_Vui) % 0.37/0.65 (zenon_Vrp != zenon_Vw) % 0.37/0.65 (r1 zenon_Vge zenon_Vke) % 0.37/0.65 (zenon_Vzj != zenon_Vse) % 0.37/0.65 (zenon_Vkn != zenon_Vel) % 0.37/0.65 (zenon_Vyk != zenon_Vle) % 0.37/0.65 (zenon_Vgp != zenon_Vzg) % 0.37/0.65 (zenon_Vuo != zenon_Vee) % 0.37/0.65 (zenon_Vkj != zenon_Vac) % 0.37/0.65 (zenon_Vyo != zenon_Voc) % 0.37/0.65 (-. (p1 zenon_Vjl)) % 0.37/0.65 (zenon_Vek != zenon_Vbj) % 0.37/0.65 (zenon_Vpj != zenon_Vqj) % 0.37/0.65 (zenon_Von != zenon_Vee) % 0.37/0.65 (zenon_Vhm != zenon_Vra) % 0.37/0.65 (zenon_Vmo != zenon_Vgj) % 0.37/0.65 (zenon_Vum != zenon_Vjg) % 0.37/0.65 (zenon_Veo != zenon_Vw) % 0.37/0.65 (zenon_Vgn != zenon_Vfb) % 0.37/0.65 (zenon_Vok != zenon_Vlj) % 0.37/0.65 (zenon_Vwi != zenon_Vle) % 0.37/0.65 (zenon_Vek != zenon_Vfg) % 0.37/0.65 (zenon_Vil != zenon_Vdh) % 0.37/0.65 (zenon_Vum != zenon_Vji) % 0.37/0.65 (zenon_Vek != zenon_Vim) % 0.37/0.65 (zenon_Vok != zenon_Vac) % 0.37/0.65 (zenon_Vnl != zenon_Vw) % 0.37/0.65 (zenon_Vkn != zenon_Vim) % 0.37/0.65 (zenon_Vok != zenon_Vak) % 0.37/0.65 (zenon_Vnl != zenon_Vra) % 0.37/0.65 (zenon_Vao != zenon_Vya) % 0.37/0.65 (zenon_Vkj != zenon_Vri) % 0.37/0.65 (p1 zenon_Vnl) % 0.37/0.65 (zenon_Vao != zenon_Vqd) % 0.37/0.65 (zenon_Vum != zenon_Vmb) % 0.37/0.65 (zenon_Vyk != zenon_Vfb) % 0.37/0.65 (zenon_Vgn != zenon_Vqj) % 0.37/0.65 (zenon_Vuo != zenon_Vra) % 0.37/0.65 (zenon_Vjk != zenon_Vka) % 0.37/0.65 (zenon_Vgn != zenon_Vhc) % 0.37/0.65 (zenon_Vnl != zenon_Voc) % 0.37/0.65 (zenon_Vdl != zenon_Vdh) % 0.37/0.65 (zenon_Vym != zenon_Vtl) % 0.37/0.65 (zenon_Vwi != zenon_Vse) % 0.37/0.65 (zenon_Vkp != zenon_Vel) % 0.37/0.65 (zenon_Vaj != zenon_Vbj) % 0.37/0.65 (zenon_Vym != zenon_Vfg) % 0.37/0.65 (zenon_Vok != zenon_Vpk) % 0.37/0.65 (zenon_Vio != zenon_Vka) % 0.37/0.65 (zenon_Vfj != zenon_Vel) % 0.37/0.65 (zenon_Vve != zenon_Vqm) % 0.37/0.65 (zenon_Vym != zenon_Vda) % 0.37/0.65 (zenon_Vaj != zenon_Vfi) % 0.37/0.65 (zenon_Vwn != zenon_Vui) % 0.37/0.65 (zenon_Vil != zenon_Vjl) % 0.37/0.65 (zenon_Vxl != zenon_Vya) % 0.37/0.65 (zenon_Veo != zenon_Vfb) % 0.37/0.65 (zenon_Vuo != zenon_Vjg) % 0.37/0.65 (zenon_Vyk != zenon_Vui) % 0.37/0.65 (zenon_Vcp != zenon_Vda) % 0.37/0.65 (zenon_Vkp != zenon_Vji) % 0.37/0.65 (zenon_Vrp != zenon_Voc) % 0.37/0.65 (-. (p1 zenon_Vzg)) % 0.37/0.65 (zenon_Vaj != zenon_Vth) % 0.37/0.65 (zenon_Vkp != zenon_Vfk) % 0.37/0.65 (zenon_Vkp != zenon_Vlh) % 0.37/0.65 (zenon_Vaj != zenon_Vee) % 0.37/0.65 (zenon_Vcm != zenon_Vle) % 0.37/0.65 (zenon_Vcp != zenon_Vxf) % 0.37/0.65 (zenon_Vio != zenon_Vfg) % 0.37/0.65 (zenon_Vwn != zenon_Vqd) % 0.37/0.65 (zenon_Vyo != zenon_Vjl) % 0.37/0.65 (zenon_Vjk != zenon_Vse) % 0.37/0.65 (zenon_Veo != zenon_Vng) % 0.37/0.65 (zenon_Vkj != zenon_Vvg) % 0.37/0.65 (r1 zenon_Vqk zenon_Vrk) % 0.37/0.65 (zenon_Von != zenon_Vmb) % 0.37/0.65 (zenon_Vwi != zenon_Vnm) % 0.37/0.65 (zenon_Vuo != zenon_Vda) % 0.37/0.65 (zenon_Vzj != zenon_Vda) % 0.37/0.65 (zenon_Vkp != zenon_Vni) % 0.37/0.65 (zenon_Vkn != zenon_Vkk) % 0.37/0.65 (p1 zenon_Vjk) % 0.37/0.65 (zenon_Vsn != zenon_Vgj) % 0.37/0.65 (zenon_Vjk != zenon_Voc) % 0.37/0.65 (-. (p1 zenon_Vpk)) % 0.37/0.65 (zenon_Vpj != zenon_Vng) % 0.37/0.65 (zenon_Vmo != zenon_Vuk) % 0.37/0.65 (zenon_Vwn != zenon_Vjg) % 0.37/0.65 (zenon_Vaj != zenon_Vvj) % 0.37/0.65 (p1 zenon_Vrp) % 0.37/0.65 (zenon_Veo != zenon_Vjd) % 0.37/0.65 (zenon_Vuo != zenon_Vph) % 0.37/0.65 (zenon_Vgn != zenon_Vfi) % 0.37/0.65 (zenon_Vfj != zenon_Vya) % 0.37/0.65 (r1 zenon_Vam zenon_Vdm) % 0.37/0.65 (zenon_Von != zenon_Vpk) % 0.37/0.65 (zenon_Vuj != zenon_Vxd) % 0.37/0.65 (zenon_Vof != zenon_Vcf) % 0.37/0.65 (zenon_Vwn != zenon_Vfg) % 0.37/0.65 (zenon_Vym != zenon_Vbj) % 0.37/0.65 (zenon_Vaj != zenon_Vol) % 0.37/0.65 (zenon_Vmo != zenon_Vw) % 0.37/0.65 (zenon_Vtk != zenon_Vya) % 0.37/0.65 (zenon_Vil != zenon_Vbg) % 0.37/0.65 (zenon_Vkn != zenon_Vxh) % 0.37/0.65 (p2 zenon_Vof) % 0.37/0.65 (zenon_Vgn != zenon_Vka) % 0.37/0.65 (zenon_Vok != zenon_Vdh) % 0.37/0.65 (zenon_Vkp != zenon_Vhh) % 0.37/0.65 (zenon_Vyo != zenon_Vfi) % 0.37/0.65 (zenon_Vio != zenon_Vfi) % 0.37/0.65 (zenon_Vdl != zenon_Vui) % 0.37/0.65 (zenon_Vsl != zenon_Vol) % 0.37/0.65 (zenon_Vwn != zenon_Vak) % 0.37/0.65 (zenon_Vil != zenon_Vac) % 0.37/0.65 (-. (p1 zenon_Vim)) % 0.37/0.65 (zenon_Vuo != zenon_Vbg) % 0.37/0.65 (r1 zenon_Vul zenon_Vvl) % 0.37/0.65 (zenon_Vmm != zenon_Vdm) % 0.37/0.65 (zenon_Vaj != zenon_Vnm) % 0.37/0.65 (zenon_Vcm != zenon_Vzk) % 0.37/0.65 (zenon_Vkp != zenon_Vzk) % 0.37/0.65 (zenon_Vnl != zenon_Vvc) % 0.37/0.65 (zenon_Vqo != zenon_Vng) % 0.37/0.65 (zenon_Vkn != zenon_Vcd) % 0.37/0.65 (zenon_Vsn != zenon_Vni) % 0.37/0.65 (r1 zenon_Vzm zenon_Vcn) % 0.37/0.65 (zenon_Vgn != zenon_Vnm) % 0.37/0.65 (zenon_Vdl != zenon_Vee) % 0.37/0.65 (zenon_Vcm != zenon_Vvj) % 0.37/0.65 (zenon_Vcn != zenon_Vfi) % 0.37/0.65 (zenon_Vmo != zenon_Vji) % 0.37/0.65 (zenon_Vxl != zenon_Vim) % 0.37/0.65 (zenon_Vaj != zenon_Vtl) % 0.37/0.65 (zenon_Vcn != zenon_Vxd) % 0.37/0.65 (zenon_Vyk != zenon_Vka) % 0.37/0.65 (zenon_Vmm != zenon_Vtb) % 0.37/0.65 (zenon_Vhm != zenon_Vjd) % 0.37/0.65 (zenon_Vhm != zenon_Vzg) % 0.37/0.65 (zenon_Vkj != zenon_Vbi) % 0.37/0.65 (zenon_Vao != zenon_Vol) % 0.37/0.65 (zenon_Vjk != zenon_Vq) % 0.37/0.65 (zenon_Vio != zenon_Vxh) % 0.37/0.65 (-. (p1 zenon_Vhh)) % 0.37/0.65 (zenon_Vkp != zenon_Vtl) % 0.37/0.65 (zenon_Vjk != zenon_Vth) % 0.37/0.65 (zenon_Vsn != zenon_Vac) % 0.37/0.65 (zenon_Vil != zenon_Vim) % 0.37/0.65 (zenon_Vtk != zenon_Vxf) % 0.37/0.65 (zenon_Vcm != zenon_Vxh) % 0.37/0.65 (zenon_Vzj != zenon_Vbg) % 0.37/0.65 (zenon_Vfj != zenon_Vjd) % 0.37/0.65 (zenon_Vek != zenon_Vw) % 0.37/0.65 (zenon_Vuj != zenon_Vle) % 0.37/0.65 (zenon_Vym != zenon_Vdh) % 0.37/0.65 (zenon_Vjk != zenon_Vim) % 0.37/0.65 (zenon_Vfj != zenon_Vdh) % 0.37/0.65 (p1 zenon_Vmm) % 0.37/0.65 (zenon_Veo != zenon_Vui) % 0.37/0.65 (zenon_Vcn != zenon_Vrg) % 0.37/0.65 (zenon_Veo != zenon_Vlh) % 0.37/0.65 (zenon_Vgp != zenon_Vhc) % 0.37/0.65 (zenon_Veo != zenon_Vvj) % 0.37/0.65 (zenon_Vio != zenon_Vvc) % 0.37/0.65 (zenon_Vek != zenon_Vjd) % 0.37/0.65 (zenon_Vxl != zenon_Vse) % 0.37/0.65 (zenon_Vum != zenon_Vvj) % 0.37/0.65 (zenon_Vtk != zenon_Vol) % 0.37/0.65 (zenon_Vkp != zenon_Vqd) % 0.37/0.65 (zenon_Vnl != zenon_Vng) % 0.37/0.65 (zenon_Vzj != zenon_Vzg) % 0.37/0.65 (zenon_Vuo != zenon_Vni) % 0.37/0.65 (zenon_Vok != zenon_Vtl) % 0.37/0.65 (zenon_Vnl != zenon_Vq) % 0.37/0.65 (zenon_Vao != zenon_Vra) % 0.37/0.65 (zenon_Vrp != zenon_Vng) % 0.37/0.65 (zenon_Vtk != zenon_Vel) % 0.37/0.65 (zenon_Vum != zenon_Vbj) % 0.37/0.65 (zenon_Vop != zenon_Vjd) % 0.37/0.65 (-. (p1 zenon_Vxf)) % 0.37/0.65 (zenon_Vop != zenon_Vel) % 0.37/0.65 (zenon_Vao != zenon_Vfg) % 0.37/0.65 (zenon_Vcm != zenon_Vni) % 0.37/0.65 (zenon_Von != zenon_Vak) % 0.37/0.65 (zenon_Vcn != zenon_Vvc) % 0.37/0.65 (zenon_Vjk != zenon_Vjd) % 0.37/0.65 (zenon_Vkn != zenon_Vng) % 0.37/0.65 (zenon_Vgp != zenon_Vlh) % 0.37/0.65 (zenon_Vdl != zenon_Vph) % 0.37/0.65 (zenon_Vil != zenon_Vxf) % 0.37/0.65 (zenon_Vsn != zenon_Vfk) % 0.37/0.65 (zenon_Vpj != zenon_Vak) % 0.37/0.65 (zenon_Vgn != zenon_Vqd) % 0.37/0.65 (zenon_Vmm != zenon_Vzg) % 0.37/0.65 (zenon_Vok != zenon_Vda) % 0.37/0.65 (zenon_Vgn != zenon_Voc) % 0.37/0.65 (zenon_Vwi != zenon_Vya) % 0.37/0.65 (zenon_Vxl != zenon_Vvc) % 0.37/0.65 (r1 zenon_Vyh zenon_Vbi) % 0.37/0.65 (zenon_Vaj != zenon_Vxh) % 0.37/0.65 (zenon_Vxl != zenon_Vlh) % 0.37/0.65 (zenon_Vum != zenon_Vya) % 0.37/0.65 (zenon_Vxl != zenon_Vkk) % 0.37/0.65 (zenon_Vsn != zenon_Vak) % 0.37/0.65 (zenon_Vyo != zenon_Vxf) % 0.37/0.65 (-. (p1 zenon_Vxd)) % 0.37/0.65 (zenon_Vcn != zenon_Vnm) % 0.37/0.65 (zenon_Vkn != zenon_Vuk) % 0.37/0.65 (zenon_Vwn != zenon_Vbj) % 0.37/0.65 (zenon_Vpj != zenon_Vfb) % 0.37/0.65 (zenon_Vwn != zenon_Vji) % 0.37/0.65 (r1 zenon_Vll zenon_Vml) % 0.37/0.65 (zenon_Vsn != zenon_Voc) % 0.37/0.65 (zenon_Vgp != zenon_Vfi) % 0.37/0.65 (zenon_Vqo != zenon_Vni) % 0.37/0.65 (zenon_Vum != zenon_Vxd) % 0.37/0.65 (zenon_Vek != zenon_Vrg) % 0.37/0.65 (zenon_Vok != zenon_Vfg) % 0.37/0.65 (zenon_Vcm != zenon_Vqj) % 0.37/0.65 (zenon_Vtk != zenon_Vrg) % 0.37/0.65 (zenon_Vym != zenon_Vhh) % 0.37/0.65 (zenon_Vrp != zenon_Vfb) % 0.37/0.65 (zenon_Vum != zenon_Vle) % 0.37/0.65 (zenon_Vok != zenon_Vkk) % 0.37/0.65 (zenon_Vkj != zenon_Vdm) % 0.37/0.65 (zenon_Vsn != zenon_Vbj) % 0.37/0.65 (zenon_Vcp != zenon_Vnm) % 0.37/0.65 (zenon_Vmm != zenon_Vra) % 0.37/0.65 (zenon_Vwn != zenon_Vfb) % 0.37/0.65 (zenon_Vek != zenon_Vjg) % 0.37/0.65 (r1 zenon_Vck zenon_Vfk) % 0.37/0.65 (zenon_Vyk != zenon_Vyl) % 0.37/0.65 (zenon_Vao != zenon_Vim) % 0.37/0.65 (zenon_Vuo != zenon_Vjd) % 0.37/0.65 (zenon_Vxl != zenon_Vdm) % 0.37/0.65 (zenon_Vao != zenon_Vuk) % 0.37/0.65 (zenon_Vfj != zenon_Vol) % 0.37/0.65 (zenon_Vpj != zenon_Vtb) % 0.37/0.65 (zenon_Vaj != zenon_Vfb) % 0.37/0.65 (zenon_Vyk != zenon_Vkk) % 0.37/0.65 (zenon_Vuj != zenon_Vbg) % 0.37/0.65 (zenon_Vmm != zenon_Vq) % 0.37/0.65 (zenon_Vkp != zenon_Vph) % 0.37/0.65 (zenon_Vok != zenon_Vw) % 0.37/0.65 (zenon_Vrp != zenon_Vya) % 0.37/0.65 (r1 zenon_Vy zenon_Vca) % 0.37/0.65 (zenon_Vtk != zenon_Vw) % 0.37/0.65 (zenon_Vhm != zenon_Vyl) % 0.37/0.65 (zenon_Vuj != zenon_Vph) % 0.37/0.65 (r1 zenon_Vpl zenon_Vul) % 0.37/0.65 (zenon_Vqo != zenon_Vbi) % 0.37/0.65 (zenon_Vxl != zenon_Vfg) % 0.37/0.65 (zenon_Vnl != zenon_Vjl) % 0.37/0.65 (zenon_Veo != zenon_Vra) % 0.37/0.65 (zenon_Vof != zenon_Vif) % 0.37/0.65 (r1 zenon_X6 zenon_Vui) % 0.37/0.65 (zenon_Vuo != zenon_Vel) % 0.37/0.65 (zenon_Vdl != zenon_Voc) % 0.37/0.65 (zenon_Vjk != zenon_Vlh) % 0.37/0.65 (zenon_Vyo != zenon_Vel) % 0.37/0.65 (zenon_Vmm != zenon_Vdh) % 0.37/0.65 (zenon_Vmm != zenon_Vda) % 0.37/0.65 (zenon_Vuj != zenon_Vtl) % 0.37/0.65 (zenon_Vfj != zenon_Vnm) % 0.37/0.65 (r1 zenon_Vfl zenon_Vgl) % 0.37/0.65 (zenon_Vsl != zenon_Vzg) % 0.37/0.65 (zenon_Vhm != zenon_Vtl) % 0.37/0.65 (zenon_Vpj != zenon_Vbj) % 0.37/0.65 (zenon_Vwn != zenon_Vlh) % 0.37/0.65 (zenon_Vcn != zenon_Vxh) % 0.37/0.65 (zenon_Vpj != zenon_Vdm) % 0.37/0.65 (zenon_Vyo != zenon_Vac) % 0.37/0.65 (zenon_Vnl != zenon_Vxf) % 0.37/0.65 (zenon_Veo != zenon_Vtl) % 0.37/0.65 (zenon_Vmo != zenon_Vya) % 0.37/0.65 (zenon_Vsn != zenon_Vim) % 0.37/0.65 (zenon_Vuo != zenon_Vqd) % 0.37/0.65 (zenon_Vgp != zenon_Vbg) % 0.37/0.65 (zenon_Vnl != zenon_Vdm) % 0.37/0.65 (zenon_Vtk != zenon_Vzk) % 0.37/0.65 (zenon_Vkj != zenon_Vph) % 0.37/0.65 (zenon_Vwn != zenon_Vhh) % 0.37/0.65 (zenon_Vok != zenon_Vqj) % 0.37/0.65 (zenon_Vio != zenon_Vhc) % 0.37/0.65 (zenon_Vuo != zenon_Vzg) % 0.37/0.65 (zenon_Vpj != zenon_Vbi) % 0.37/0.65 (-. (p1 zenon_Vak)) % 0.37/0.65 (zenon_Vop != zenon_Vq) % 0.37/0.65 (zenon_Vwi != zenon_Vxf) % 0.37/0.65 (zenon_Vym != zenon_Vng) % 0.37/0.65 (zenon_Vpj != zenon_Vvj) % 0.37/0.65 (r1 zenon_Vqk zenon_Vvk) % 0.37/0.65 (zenon_Vkj != zenon_Vq) % 0.37/0.65 (zenon_Vzj != zenon_Vjg) % 0.37/0.65 (zenon_Vtk != zenon_Vac) % 0.37/0.65 (zenon_Vcp != zenon_Vlh) % 0.37/0.65 (zenon_Vhm != zenon_Vfi) % 0.37/0.65 (zenon_Von != zenon_Vvj) % 0.37/0.65 (zenon_Vmo != zenon_Vhc) % 0.37/0.65 (zenon_Vaj != zenon_Vak) % 0.37/0.65 (zenon_Vil != zenon_Vcd) % 0.37/0.65 (zenon_Vok != zenon_Vcd) % 0.37/0.65 (zenon_Vwn != zenon_Vse) % 0.37/0.65 (zenon_Vwn != zenon_Vbg) % 0.37/0.65 (zenon_Vwn != zenon_Vzg) % 0.37/0.65 (zenon_Vdl != zenon_Vyl) % 0.37/0.65 (zenon_Vpj != zenon_Vxd) % 0.37/0.65 (zenon_Vyk != zenon_Vfg) % 0.37/0.65 (zenon_Vzj != zenon_Vuk) % 0.37/0.65 (zenon_Vkj != zenon_Vxh) % 0.37/0.65 (zenon_Vkn != zenon_Vfk) % 0.37/0.65 (zenon_Vgn != zenon_Vvg) % 0.37/0.65 (r1 zenon_Vci zenon_Vfi) % 0.37/0.65 (zenon_Vio != zenon_Vol) % 0.37/0.65 (zenon_Vcp != zenon_Vcd) % 0.37/0.65 (zenon_Vyk != zenon_Vhc) % 0.37/0.65 (zenon_Vwn != zenon_Vac) % 0.37/0.65 (-. (p1 zenon_Vlh)) % 0.37/0.65 (zenon_Vcn != zenon_Vyl) % 0.37/0.65 (zenon_Vkp != zenon_Vbi) % 0.37/0.65 (zenon_Vfj != zenon_Vvc) % 0.37/0.65 (zenon_Vao != zenon_Vjg) % 0.37/0.65 (zenon_Vqo != zenon_Vfi) % 0.37/0.65 (zenon_Vgn != zenon_Vac) % 0.37/0.65 (zenon_Vfj != zenon_Vbj) % 0.37/0.65 (zenon_Vrp != zenon_Vkk) % 0.37/0.65 (zenon_Vgn != zenon_Vjg) % 0.37/0.65 (zenon_Von != zenon_Vxd) % 0.37/0.65 (zenon_Vcp != zenon_Vhh) % 0.37/0.65 (-. (p3 zenon_Vpf)) % 0.37/0.65 (zenon_Vio != zenon_Vtb) % 0.37/0.65 (-. (p1 zenon_Vjd)) % 0.37/0.65 (zenon_Vqo != zenon_Vac) % 0.37/0.65 (zenon_Vwn != zenon_Vjl) % 0.37/0.65 (zenon_Vkj != zenon_Vcd) % 0.37/0.65 (zenon_Vao != zenon_Vjl) % 0.37/0.65 (zenon_Vyk != zenon_Vra) % 0.37/0.65 (zenon_Vmm != zenon_Vmb) % 0.37/0.65 (zenon_Vsn != zenon_Vfb) % 0.37/0.65 (zenon_Vkn != zenon_Voc) % 0.37/0.65 (zenon_Vmm != zenon_Vng) % 0.37/0.65 (zenon_Vnl != zenon_Vel) % 0.37/0.65 (zenon_Vwn != zenon_Vvg) % 0.37/0.65 (zenon_Vxl != zenon_Vjd) % 0.37/0.65 (zenon_Vyo != zenon_Vbg) % 0.37/0.65 (zenon_Vaj != zenon_Vqj) % 0.37/0.65 (zenon_Von != zenon_Vvc) % 0.37/0.65 (zenon_Vzj != zenon_Vlh) % 0.37/0.65 (zenon_Vaj != zenon_Vka) % 0.37/0.65 (zenon_Vnl != zenon_Vtb) % 0.37/0.65 (zenon_Vuo != zenon_Vfg) % 0.37/0.65 (zenon_Vkp != zenon_Vra) % 0.37/0.65 (zenon_Vyk != zenon_Vtb) % 0.37/0.65 (zenon_Vrp != zenon_Vxi) % 0.37/0.65 (zenon_Vyo != zenon_Vyl) % 0.37/0.65 (zenon_Vyk != zenon_Vbi) % 0.37/0.65 (zenon_Vek != zenon_Vvj) % 0.37/0.65 (zenon_Vwi != zenon_Vfg) % 0.37/0.65 (zenon_Von != zenon_Vzg) % 0.37/0.65 (zenon_Vqo != zenon_Vzg) % 0.37/0.65 (zenon_Vcp != zenon_Vtl) % 0.37/0.65 (zenon_Vaj != zenon_Vmb) % 0.37/0.65 (zenon_Vsn != zenon_Vui) % 0.37/0.65 (zenon_Vnl != zenon_Vda) % 0.37/0.65 (zenon_Vmo != zenon_Vui) % 0.37/0.65 (zenon_Vdl != zenon_Vxi) % 0.37/0.65 (zenon_Vio != zenon_Vim) % 0.37/0.65 (zenon_Vgp != zenon_Vji) % 0.37/0.65 (zenon_Vum != zenon_Vui) % 0.37/0.65 (r1 zenon_Vvk zenon_Vwk) % 0.37/0.65 (zenon_Vok != zenon_Vxf) % 0.37/0.65 (r1 zenon_Vhb zenon_Vlb) % 0.37/0.65 (zenon_Veo != zenon_Vkk) % 0.37/0.65 (zenon_Vmm != zenon_Vhc) % 0.37/0.65 (r1 zenon_Vvl zenon_Vyl) % 0.37/0.65 (zenon_Vuo != zenon_Vjl) % 0.37/0.65 (zenon_Vao != zenon_Vdh) % 0.37/0.65 (zenon_Vek != zenon_Vnm) % 0.37/0.65 (zenon_Vkp != zenon_Vuk) % 0.37/0.65 (zenon_Vkj != zenon_Vhc) % 0.37/0.65 (zenon_Vyo != zenon_Vee) % 0.37/0.65 (zenon_Vrp != zenon_Vac) % 0.37/0.65 (zenon_Vgp != zenon_Vol) % 0.37/0.65 (zenon_Vfj != zenon_Vim) % 0.37/0.65 (zenon_Vhm != zenon_Vda) % 0.37/0.65 (zenon_Vnl != zenon_Vjd) % 0.37/0.65 (zenon_Vve != zenon_Vcf) % 0.37/0.65 (zenon_Vxl != zenon_Vac) % 0.37/0.65 (zenon_Vwi != zenon_Vkk) % 0.37/0.65 (zenon_Vcp != zenon_Vxd) % 0.37/0.65 (zenon_Vek != zenon_Vle) % 0.37/0.65 (zenon_Vsl != zenon_Vxi) % 0.37/0.65 (zenon_Vcn != zenon_Vbi) % 0.37/0.65 (zenon_Vdl != zenon_Vac) % 0.37/0.65 (zenon_Vyo != zenon_Vle) % 0.37/0.65 (zenon_Von != zenon_Vfg) % 0.37/0.65 (-. (p1 zenon_Vkk)) % 0.37/0.65 (zenon_Vxl != zenon_Vdh) % 0.37/0.65 (zenon_Vcn != zenon_Vse) % 0.37/0.65 (zenon_Veo != zenon_Vdm) % 0.37/0.65 (zenon_Vkj != zenon_Vng) % 0.37/0.65 (r1 zenon_Vhk zenon_Vkk) % 0.37/0.65 (zenon_Vwi != zenon_Vvc) % 0.37/0.65 (zenon_Vfj != zenon_Vle) % 0.37/0.65 (zenon_Vmm != zenon_Vjg) % 0.37/0.65 (zenon_Vcm != zenon_Vq) % 0.37/0.65 (zenon_Vil != zenon_Vyl) % 0.37/0.65 (zenon_Vfj != zenon_Vbg) % 0.37/0.65 (zenon_Vhm != zenon_Vzk) % 0.37/0.65 (r1 zenon_Vpn zenon_Vsn) % 0.37/0.65 (zenon_Vum != zenon_Vdh) % 0.37/0.65 (r1 zenon_Vmj zenon_Vnj) % 0.37/0.65 (zenon_Vek != zenon_Vuk) % 0.37/0.65 (zenon_Vio != zenon_Vra) % 0.37/0.65 (zenon_Vmm != zenon_Vbi) % 0.37/0.65 (zenon_Vwi != zenon_Vim) % 0.37/0.65 (zenon_Vym != zenon_Vbg) % 0.37/0.65 (zenon_Vdl != zenon_Vra) % 0.37/0.65 (zenon_Vgp != zenon_Voc) % 0.37/0.65 (zenon_Vil != zenon_Vmb) % 0.37/0.65 (zenon_Vyk != zenon_Vdh) % 0.37/0.65 (zenon_Vwn != zenon_Vni) % 0.37/0.65 (zenon_Vcn != zenon_Vel) % 0.37/0.65 (zenon_Vmm != zenon_Vw) % 0.37/0.65 (zenon_Vwi != zenon_Voc) % 0.37/0.65 (zenon_Vgp != zenon_Vgj) % 0.37/0.65 (zenon_Vsn != zenon_Vdh) % 0.37/0.65 (zenon_Vkn != zenon_Vfi) % 0.37/0.65 (zenon_Vkj != zenon_Vbj) % 0.37/0.65 (zenon_Vuj != zenon_Vgj) % 0.37/0.65 (zenon_Vgp != zenon_Vfk) % 0.37/0.65 (zenon_Vdl != zenon_Vmb) % 0.37/0.65 (zenon_Vaj != zenon_Vph) % 0.37/0.65 (zenon_Vqo != zenon_Voc) % 0.37/0.65 (zenon_Vzj != zenon_Vjl) % 0.37/0.65 (zenon_Vek != zenon_Vdh) % 0.37/0.65 (zenon_Vrp != zenon_Vhc) % 0.37/0.65 (zenon_Vzj != zenon_Vac) % 0.37/0.65 (zenon_Vzj != zenon_Vbi) % 0.37/0.65 (zenon_Vcp != zenon_Vol) % 0.37/0.65 (zenon_Vym != zenon_Vri) % 0.37/0.65 (zenon_Vil != zenon_Vhc) % 0.37/0.65 (zenon_Vsn != zenon_Vlj) % 0.37/0.65 (zenon_Vyo != zenon_Vdm) % 0.37/0.65 (zenon_Vil != zenon_Vvc) % 0.37/0.65 (zenon_Vzj != zenon_Vzk) % 0.37/0.65 (zenon_Veo != zenon_Vpk) % 0.37/0.65 (zenon_Vkj != zenon_Vqj) % 0.37/0.65 (zenon_Vxl != zenon_Vvg) % 0.37/0.65 (zenon_Vjk != zenon_Vjl) % 0.37/0.65 (zenon_Vmo != zenon_Vac) % 0.37/0.65 (zenon_Vwi != zenon_Vqd) % 0.37/0.65 (zenon_Vtk != zenon_Vle) % 0.37/0.65 (-. (p1 zenon_Vle)) % 0.37/0.65 (zenon_Vwn != zenon_Vbi) % 0.37/0.65 (zenon_Vkn != zenon_Vak) % 0.37/0.65 (zenon_Vaj != zenon_Vyl) % 0.37/0.65 (zenon_Von != zenon_Vtb) % 0.37/0.65 (-. (p1 zenon_Vvc)) % 0.37/0.65 (r1 zenon_Vjf zenon_Vmf) % 0.37/0.65 (zenon_Vpj != zenon_Vlh) % 0.37/0.65 (zenon_Vyo != zenon_Vth) % 0.37/0.65 (zenon_Vsn != zenon_Vdm) % 0.37/0.65 (zenon_Vil != zenon_Vw) % 0.37/0.65 (r1 zenon_Vr zenon_Vv) % 0.37/0.65 (zenon_Vyk != zenon_Vzg) % 0.37/0.65 (-. (p1 zenon_Vac)) % 0.37/0.65 (zenon_Vyk != zenon_Vth) % 0.37/0.65 (zenon_Vmm != zenon_Vui) % 0.37/0.65 (zenon_Vao != zenon_Vfk) % 0.37/0.65 (zenon_Von != zenon_Vya) % 0.37/0.65 (zenon_Vcm != zenon_Vlj) % 0.37/0.65 (zenon_Vop != zenon_Vyl) % 0.37/0.65 (zenon_Vxl != zenon_Vw) % 0.37/0.65 (zenon_Vkn != zenon_Vka) % 0.37/0.65 (zenon_Veo != zenon_Vhc) % 0.37/0.65 (zenon_Vfj != zenon_Vse) % 0.37/0.65 (zenon_Vof != zenon_Vtf) % 0.37/0.65 (zenon_Vgn != zenon_Vuk) % 0.37/0.65 (zenon_Veo != zenon_Vyl) % 0.37/0.65 (zenon_Vop != zenon_Vji) % 0.37/0.65 (zenon_Vmo != zenon_Vni) % 0.37/0.65 (zenon_Vcp != zenon_Vw) % 0.37/0.65 (zenon_Vnl != zenon_Vak) % 0.37/0.65 (zenon_Vkj != zenon_Vxi) % 0.37/0.65 (zenon_Vgp != zenon_Vpk) % 0.37/0.65 (zenon_Vwi != zenon_Vgj) % 0.37/0.65 (zenon_Vyk != zenon_Vnm) % 0.37/0.65 (zenon_Vao != zenon_Vmb) % 0.37/0.65 (zenon_Vgp != zenon_Vxh) % 0.37/0.65 (zenon_Von != zenon_Vim) % 0.37/0.65 (zenon_Vjk != zenon_Vol) % 0.37/0.65 (zenon_Vkj != zenon_Vmb) % 0.37/0.65 (zenon_Vyk != zenon_Vhh) % 0.37/0.65 (zenon_Vmo != zenon_Vq) % 0.37/0.65 (zenon_Vjk != zenon_Vhh) % 0.37/0.65 (zenon_Vop != zenon_Vth) % 0.37/0.65 (r1 zenon_Vmk zenon_Vnk) % 0.37/0.65 (zenon_Vtk != zenon_Vyl) % 0.37/0.65 (zenon_Vgp != zenon_Vxd) % 0.37/0.65 (r1 zenon_Vrk zenon_Vuk) % 0.37/0.65 (zenon_Vhm != zenon_Vpk) % 0.37/0.65 (zenon_Vil != zenon_Vuk) % 0.37/0.65 (zenon_Vmm != zenon_Vjl) % 0.37/0.65 (zenon_Vuo != zenon_Vac) % 0.37/0.65 (zenon_Vkj != zenon_Vda) % 0.37/0.65 (zenon_Vfj != zenon_Vtb) % 0.37/0.65 (zenon_Vkj != zenon_Vw) % 0.37/0.65 (zenon_Vcp != zenon_Vji) % 0.37/0.65 (zenon_Vkn != zenon_Vvg) % 0.37/0.65 (zenon_Vym != zenon_Vjd) % 0.37/0.65 (-. (p1 zenon_Vhc)) % 0.37/0.65 (zenon_Vcm != zenon_Vng) % 0.37/0.65 (zenon_Vuo != zenon_Vyl) % 0.37/0.65 (zenon_Vgn != zenon_Vhh) % 0.37/0.65 (r1 zenon_Vgl zenon_Vhl) % 0.37/0.65 (zenon_Vrp != zenon_Vhh) % 0.37/0.65 (zenon_Vnl != zenon_Vyl) % 0.37/0.65 (zenon_Vgn != zenon_Vng) % 0.37/0.65 (zenon_Vnl != zenon_Vxi) % 0.37/0.65 (zenon_Vfj != zenon_Vlj) % 0.37/0.65 (zenon_Vcn != zenon_Vfg) % 0.37/0.65 (zenon_Vtk != zenon_Vlh) % 0.37/0.65 (zenon_Vkp != zenon_Vjd) % 0.37/0.65 (zenon_Vkj != zenon_Vlh) % 0.37/0.65 (zenon_Vyk != zenon_Vni) % 0.37/0.65 (zenon_Vxl != zenon_Vle) % 0.37/0.65 (zenon_Vmo != zenon_Vph) % 0.37/0.65 (zenon_Vzj != zenon_Vnm) % 0.37/0.65 (zenon_Vok != zenon_Vfi) % 0.37/0.65 (zenon_Vkj != zenon_Vkk) % 0.37/0.65 (zenon_Vuo != zenon_Vxd) % 0.37/0.65 (zenon_Vok != zenon_Vrg) % 0.37/0.65 (zenon_Vpj != zenon_Vqd) % 0.37/0.65 (zenon_Vzj != zenon_Vxh) % 0.37/0.65 (zenon_Vao != zenon_Vkk) % 0.37/0.65 (zenon_Vcn != zenon_Vac) % 0.37/0.65 (r1 zenon_Val zenon_Vbl) % 0.37/0.65 (zenon_Vcm != zenon_Vhh) % 0.37/0.65 (zenon_Vgn != zenon_Vji) % 0.37/0.65 (r1 zenon_Vrj zenon_Vwj) % 0.37/0.65 (zenon_Vil != zenon_Vpk) % 0.37/0.65 (zenon_Vcp != zenon_Vri) % 0.37/0.65 (zenon_Vil != zenon_Vak) % 0.37/0.65 (zenon_Vkn != zenon_Vzg) % 0.37/0.65 (zenon_Vuj != zenon_Vyl) % 0.37/0.65 (zenon_Vop != zenon_Vlh) % 0.37/0.65 (zenon_Vsn != zenon_Vbi) % 0.37/0.65 (zenon_Vrp != zenon_Vbg) % 0.37/0.65 (zenon_Vsl != zenon_Vvj) % 0.37/0.65 (zenon_Vzj != zenon_Vng) % 0.37/0.65 (zenon_Vhm != zenon_Vcd) % 0.37/0.65 (zenon_Vaj != zenon_Vdh) % 0.37/0.65 (zenon_Vtk != zenon_Vxd) % 0.37/0.65 (zenon_Vyo != zenon_Vjg) % 0.37/0.65 (zenon_Vuo != zenon_Vgj) % 0.37/0.65 (zenon_Vgp != zenon_Vmb) % 0.37/0.65 (zenon_Vao != zenon_Vzk) % 0.37/0.65 (zenon_Vqo != zenon_Vjd) % 0.37/0.65 (zenon_Vnl != zenon_Vrg) % 0.37/0.65 (zenon_Vmm != zenon_Vgj) % 0.37/0.65 (zenon_Vil != zenon_Vkk) % 0.37/0.65 (zenon_Vsl != zenon_Vmb) % 0.37/0.65 (zenon_Vwn != zenon_Vtb) % 0.37/0.65 (r1 zenon_Vcj zenon_Vhj) % 0.37/0.65 (zenon_Vcm != zenon_Vfk) % 0.37/0.65 (zenon_Vwi != zenon_Vac) % 0.37/0.65 (r1 zenon_Vwk zenon_Vxk) % 0.37/0.65 (zenon_Vio != zenon_Vph) % 0.37/0.65 (zenon_Vsl != zenon_Vph) % 0.37/0.65 (zenon_Vao != zenon_Vgj) % 0.37/0.65 (zenon_Vkj != zenon_Vxd) % 0.37/0.65 (zenon_Vek != zenon_Vmb) % 0.37/0.65 (-. (p1 zenon_Vse)) % 0.37/0.65 (zenon_Vcp != zenon_Vdm) % 0.37/0.65 (zenon_Vil != zenon_Vqj) % 0.37/0.65 (zenon_Vgn != zenon_Vw) % 0.37/0.65 (zenon_Vfj != zenon_Vac) % 0.37/0.65 (zenon_Veo != zenon_Vjg) % 0.37/0.65 (zenon_Vum != zenon_Vuk) % 0.37/0.65 (zenon_Vkn != zenon_Vw) % 0.37/0.65 (zenon_Vcn != zenon_Vq) % 0.37/0.65 (zenon_Vuo != zenon_Vfi) % 0.37/0.65 (zenon_Vhm != zenon_Vjl) % 0.37/0.65 (zenon_Veo != zenon_Vfi) % 0.37/0.65 (zenon_Vym != zenon_Vfk) % 0.37/0.65 (zenon_Vil != zenon_Vrg) % 0.37/0.65 (zenon_Vio != zenon_Vya) % 0.37/0.65 (zenon_Vop != zenon_Vkk) % 0.37/0.65 (zenon_Vjk != zenon_Vw) % 0.37/0.65 (zenon_Vfj != zenon_Vng) % 0.37/0.65 (zenon_Vhm != zenon_Vrg) % 0.37/0.65 (r1 zenon_Vfa zenon_Vja) % 0.37/0.65 (zenon_Vzj != zenon_Vw) % 0.37/0.65 (zenon_Vtk != zenon_Vcd) % 0.37/0.65 (zenon_Vsn != zenon_Vtl) % 0.37/0.65 (zenon_Vqo != zenon_Vqd) % 0.37/0.65 (zenon_Vok != zenon_Vui) % 0.37/0.65 (zenon_Veo != zenon_Vvg) % 0.37/0.65 (zenon_Vgp != zenon_Vng) % 0.37/0.65 (zenon_Vkj != zenon_Vzg) % 0.37/0.65 (zenon_Vek != zenon_Vui) % 0.37/0.65 (zenon_Vzj != zenon_Vle) % 0.37/0.65 (zenon_Vio != zenon_Vrg) % 0.37/0.65 (zenon_Vyk != zenon_Vxh) % 0.37/0.65 (zenon_Vuo != zenon_Vmb) % 0.37/0.65 (zenon_Von != zenon_Vxh) % 0.37/0.65 (zenon_Vrp != zenon_Vqd) % 0.37/0.65 (zenon_Vkn != zenon_Vvc) % 0.37/0.65 (zenon_Vao != zenon_Vfb) % 0.37/0.65 (zenon_Vmm != zenon_Vji) % 0.37/0.65 (zenon_Vqo != zenon_Vak) % 0.37/0.65 (zenon_Vwi != zenon_Vdm) % 0.37/0.65 (zenon_Vsn != zenon_Vda) % 0.37/0.65 (zenon_Vcn != zenon_Vbj) % 0.37/0.65 (zenon_Vgp != zenon_Vhh) % 0.37/0.65 (zenon_Vrp != zenon_Vlj) % 0.37/0.65 (zenon_Vxl != zenon_Vka) % 0.37/0.65 (zenon_Vaj != zenon_Vvc) % 0.37/0.65 (zenon_Vwn != zenon_Vdm) % 0.37/0.65 (r1 zenon_Vvl zenon_Vwl) % 0.37/0.65 (zenon_Vtk != zenon_Vxh) % 0.37/0.65 (zenon_Vil != zenon_Voc) % 0.37/0.65 (zenon_Vuo != zenon_Vui) % 0.37/0.65 (zenon_Vrp != zenon_Vdm) % 0.37/0.65 (zenon_Vsl != zenon_Vq) % 0.37/0.65 (zenon_Vtk != zenon_Vmb) % 0.37/0.65 (zenon_Vum != zenon_Vxi) % 0.37/0.65 (zenon_Vkn != zenon_Vmb) % 0.37/0.65 (zenon_Vsl != zenon_Vac) % 0.37/0.65 (zenon_Vrp != zenon_Vlh) % 0.37/0.65 (zenon_Vxl != zenon_Vbj) % 0.37/0.65 (zenon_Vcn != zenon_Vgj) % 0.37/0.65 (zenon_Vok != zenon_Vol) % 0.37/0.65 (zenon_Vkj != zenon_Vel) % 0.37/0.65 (zenon_Vgp != zenon_Vnm) % 0.37/0.65 (zenon_Vnl != zenon_Vdh) % 0.37/0.65 (zenon_Vyo != zenon_Vri) % 0.37/0.65 (zenon_Vhm != zenon_Vni) % 0.37/0.65 (r1 zenon_Vpm zenon_Vqm) % 0.37/0.65 (zenon_Vmo != zenon_Vtl) % 0.37/0.65 (zenon_Vyo != zenon_Vpk) % 0.37/0.65 (zenon_Vao != zenon_Vzg) % 0.37/0.65 (r1 zenon_Vxc zenon_Vbd) % 0.37/0.65 (zenon_Von != zenon_Vdm) % 0.37/0.65 (zenon_Vmo != zenon_Vfi) % 0.37/0.65 (zenon_Vpj != zenon_Vya) % 0.37/0.65 (zenon_Vpj != zenon_Vle) % 0.37/0.65 (zenon_Vkp != zenon_Vjl) % 0.37/0.65 (zenon_Vyo != zenon_Vhc) % 0.37/0.65 (p1 zenon_Vsl) % 0.37/0.65 (zenon_Vzj != zenon_Vdm) % 0.37/0.65 (zenon_Vsn != zenon_Vmb) % 0.37/0.65 (zenon_Vop != zenon_Vac) % 0.37/0.65 (zenon_Vnl != zenon_Vni) % 0.37/0.65 (zenon_Vcp != zenon_Vuk) % 0.37/0.65 (zenon_Vzj != zenon_Vph) % 0.37/0.65 (zenon_Von != zenon_Vtl) % 0.37/0.65 (zenon_Vnl != zenon_Vlh) % 0.37/0.65 (zenon_Vuj != zenon_Vvj) % 0.37/0.65 (zenon_Vmm != zenon_Vbg) % 0.37/0.65 (zenon_Vkp != zenon_Vrg) % 0.37/0.65 (zenon_Vio != zenon_Vbg) % 0.37/0.65 (-. (p1 zenon_Vph)) % 0.37/0.65 (zenon_Vuj != zenon_Vcd) % 0.37/0.65 (zenon_Vum != zenon_Vbg) % 0.37/0.65 (zenon_Vkj != zenon_Vdh) % 0.37/0.65 (zenon_Vqo != zenon_Vtb) % 0.37/0.65 (zenon_Vhm != zenon_Vq) % 0.37/0.65 (zenon_Vwi != zenon_Vtb) % 0.37/0.65 (zenon_Vmo != zenon_Vse) % 0.37/0.65 (zenon_Vcn != zenon_Vqj) % 0.37/0.65 (r1 zenon_Val zenon_Vfl) % 0.37/0.65 (-. (p1 zenon_Vee)) % 0.37/0.65 (zenon_Vyo != zenon_Vhh) % 0.37/0.65 (zenon_Vuj != zenon_Vlh) % 0.37/0.65 (r1 zenon_Vrj zenon_Vsj) % 0.37/0.65 (zenon_Vwn != zenon_Vka) % 0.37/0.65 (zenon_Veo != zenon_Vri) % 0.37/0.65 (zenon_Vpj != zenon_Vim) % 0.37/0.65 (zenon_Vuo != zenon_Vka) % 0.37/0.65 (zenon_Vkp != zenon_Vim) % 0.37/0.65 (zenon_Vmm != zenon_Vxf) % 0.37/0.65 (zenon_Vop != zenon_Vdh) % 0.37/0.65 (zenon_Vdl != zenon_Vbi) % 0.37/0.65 (zenon_Vfj != zenon_Vq) % 0.37/0.65 (zenon_Vao != zenon_Vse) % 0.37/0.65 (r1 zenon_Vdp zenon_Vgp) % 0.37/0.65 (zenon_Vcn != zenon_Vya) % 0.37/0.65 (zenon_Vsn != zenon_Vka) % 0.37/0.65 (zenon_Vwi != zenon_Vel) % 0.37/0.65 (zenon_Veo != zenon_Vlj) % 0.37/0.65 (zenon_Vop != zenon_Vng) % 0.37/0.65 (zenon_Vop != zenon_Vgj) % 0.37/0.65 (zenon_Vhm != zenon_Vvc) % 0.37/0.65 (zenon_Vwn != zenon_Vmb) % 0.37/0.65 (zenon_Vop != zenon_Vbg) % 0.37/0.65 (zenon_Vtk != zenon_Vjg) % 0.37/0.65 (r1 zenon_Vof zenon_Vpf) % 0.37/0.65 (zenon_Vyk != zenon_Vac) % 0.37/0.65 (zenon_Vjk != zenon_Vle) % 0.37/0.65 (zenon_Vmm != zenon_Vlj) % 0.37/0.65 (zenon_Vdl != zenon_Vol) % 0.37/0.65 (zenon_Vgp != zenon_Vtl) % 0.37/0.65 (zenon_Vcp != zenon_Vvg) % 0.37/0.65 (zenon_Vsl != zenon_Vee) % 0.37/0.65 (zenon_Vqo != zenon_Vrg) % 0.37/0.65 (r1 zenon_Vnj zenon_Voj) % 0.37/0.65 (zenon_Vop != zenon_Vfi) % 0.37/0.65 (zenon_Vtk != zenon_Vlj) % 0.37/0.65 (zenon_Vao != zenon_Vq) % 0.37/0.65 (zenon_Vio != zenon_Vw) % 0.37/0.65 (zenon_Vdl != zenon_Vqd) % 0.37/0.65 (zenon_Vuo != zenon_Vbi) % 0.37/0.65 (zenon_Vdl != zenon_Vzk) % 0.37/0.65 (zenon_Vpj != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vji) % 0.37/0.65 (zenon_Vao != zenon_Vbj) % 0.37/0.65 (zenon_Vpj != zenon_Vgj) % 0.37/0.65 (zenon_Vil != zenon_Vka) % 0.37/0.65 (zenon_Vrp != zenon_Vtl) % 0.37/0.65 (zenon_Vuj != zenon_Vuk) % 0.37/0.65 (zenon_Vgp != zenon_Vbj) % 0.37/0.65 (zenon_Vgp != zenon_Vka) % 0.37/0.65 (zenon_Vcn != zenon_Vhh) % 0.37/0.65 (zenon_Vhm != zenon_Vri) % 0.37/0.65 (zenon_Vcn != zenon_Vji) % 0.37/0.65 (zenon_Vhm != zenon_Vvj) % 0.37/0.65 (zenon_Vnl != zenon_Vfb) % 0.37/0.65 (zenon_Vtk != zenon_Vgj) % 0.37/0.65 (zenon_Vrp != zenon_Vri) % 0.37/0.65 (zenon_Vnl != zenon_Vkk) % 0.37/0.65 (zenon_Vum != zenon_Vgj) % 0.37/0.65 (zenon_Vnl != zenon_Vbi) % 0.37/0.65 (zenon_Vuo != zenon_Vbj) % 0.37/0.65 (zenon_Vop != zenon_Vmb) % 0.37/0.65 (zenon_Vmm != zenon_Vxd) % 0.37/0.65 (zenon_Vyo != zenon_Vfg) % 0.37/0.65 (zenon_Vdl != zenon_Vth) % 0.37/0.65 (zenon_Vil != zenon_Vbj) % 0.37/0.65 (zenon_Vrp != zenon_Vni) % 0.37/0.65 (zenon_Vuo != zenon_Vse) % 0.37/0.65 (r1 zenon_Vmj zenon_Vrj) % 0.37/0.65 (zenon_Vcn != zenon_Vlj) % 0.37/0.65 (zenon_Vuo != zenon_Vtl) % 0.37/0.65 (zenon_Vcp != zenon_Vrg) % 0.37/0.65 (zenon_Vio != zenon_Vth) % 0.37/0.65 (zenon_Vkj != zenon_Vlj) % 0.37/0.65 (zenon_Vum != zenon_Voc) % 0.37/0.65 (zenon_Vkn != zenon_Vjl) % 0.37/0.65 (zenon_Vqo != zenon_Vbj) % 0.37/0.65 (zenon_Vfj != zenon_Vzk) % 0.37/0.65 (zenon_Vmo != zenon_Vyl) % 0.37/0.65 (zenon_Vkj != zenon_Vzk) % 0.37/0.65 (zenon_Vkp != zenon_Vfb) % 0.37/0.65 (zenon_Vcm != zenon_Vak) % 0.37/0.65 (zenon_Vym != zenon_Vth) % 0.37/0.65 (zenon_Vgn != zenon_Vzk) % 0.37/0.65 (zenon_Vqo != zenon_Vjl) % 0.37/0.65 (zenon_Vop != zenon_Vka) % 0.37/0.65 (zenon_Vcm != zenon_Vzg) % 0.37/0.65 (zenon_Vcp != zenon_Vel) % 0.37/0.65 (zenon_Vxl != zenon_Vee) % 0.37/0.65 (zenon_Vwi != zenon_Vbg) % 0.37/0.65 (zenon_Vjk != zenon_Vng) % 0.37/0.65 (zenon_Vil != zenon_Vri) % 0.37/0.65 (zenon_Vil != zenon_Vni) % 0.37/0.65 (zenon_Vmm != zenon_Vpk) % 0.37/0.65 (zenon_Vcn != zenon_Vlh) % 0.37/0.65 (zenon_Vrp != zenon_Vfk) % 0.37/0.65 (zenon_Vcn != zenon_Vfb) % 0.37/0.65 (zenon_Veo != zenon_Vth) % 0.37/0.65 (zenon_Vkp != zenon_Vth) % 0.37/0.65 (-. (p1 zenon_Vrg)) % 0.37/0.65 (zenon_Vop != zenon_Vak) % 0.37/0.65 (zenon_Veo != zenon_Vni) % 0.37/0.65 (r1 zenon_Vgk zenon_Vhk) % 0.37/0.65 (zenon_Vfj != zenon_Vcd) % 0.37/0.65 (zenon_Von != zenon_Vq) % 0.37/0.65 (r1 zenon_Vvk zenon_Val) % 0.37/0.65 (p1 zenon_Vkj) % 0.37/0.65 (zenon_Vwi != zenon_Vjd) % 0.37/0.65 (zenon_Vyk != zenon_Vse) % 0.37/0.65 (zenon_Vio != zenon_Vda) % 0.37/0.65 (zenon_Vuj != zenon_Vel) % 0.37/0.65 (zenon_Vil != zenon_Vjd) % 0.37/0.65 (zenon_Vop != zenon_Vhh) % 0.37/0.65 (zenon_Vgn != zenon_Vel) % 0.37/0.65 (zenon_Vfj != zenon_Vak) % 0.37/0.65 (r1 Tau_2 zenon_Vyi) % 0.37/0.65 (r1 Tau_2 zenon_Vcj) % 0.37/0.65 (zenon_Vzj != zenon_Vkk) % 0.37/0.65 (zenon_Vio != zenon_Vse) % 0.37/0.65 (zenon_Vxl != zenon_Vri) % 0.37/0.65 (zenon_Vdl != zenon_Vpk) % 0.37/0.65 (zenon_Vio != zenon_Vlh) % 0.37/0.65 (zenon_Vjk != zenon_Vqd) % 0.37/0.65 (zenon_Vuj != zenon_Vya) % 0.37/0.65 (zenon_Vkp != zenon_Vdh) % 0.37/0.65 (zenon_Vqo != zenon_Vdh) % 0.37/0.65 (r1 zenon_Vsj zenon_Vtj) % 0.37/0.65 (zenon_Vve != zenon_Vtf) % 0.37/0.65 (zenon_Vcn != zenon_Vri) % 0.37/0.65 (zenon_Vuo != zenon_Vhc) % 0.37/0.65 (zenon_Vdl != zenon_Vuk) % 0.37/0.65 (zenon_Vxl != zenon_Vol) % 0.37/0.65 (zenon_Vgp != zenon_Vw) % 0.37/0.65 (zenon_Vwn != zenon_Vri) % 0.37/0.65 (zenon_Vuj != zenon_Vim) % 0.37/0.65 (zenon_Vkp != zenon_Vjg) % 0.37/0.65 (zenon_Vym != zenon_Voc) % 0.37/0.65 (zenon_Vcn != zenon_Vle) % 0.37/0.65 (zenon_Vum != zenon_Vri) % 0.37/0.65 (r1 zenon_Vhj zenon_Vij) % 0.37/0.65 (zenon_Vxl != zenon_Vtb) % 0.37/0.65 (zenon_Vzj != zenon_Vjd) % 0.37/0.65 (zenon_Vxl != zenon_Vgj) % 0.37/0.65 (zenon_Vkj != zenon_Vgj) % 0.37/0.65 (zenon_Vjk != zenon_Vni) % 0.37/0.65 (zenon_Vwi != zenon_Vpk) % 0.37/0.65 (zenon_Vwi != zenon_Vfb) % 0.37/0.65 (zenon_Vwn != zenon_Vhc) % 0.37/0.65 (zenon_Vsl != zenon_Vui) % 0.37/0.65 (zenon_Vpj != zenon_Vvg) % 0.37/0.65 (zenon_Vnl != zenon_Vim) % 0.37/0.65 (zenon_Vgp != zenon_Vel) % 0.37/0.65 (zenon_Vdl != zenon_Vka) % 0.37/0.65 (zenon_Vsl != zenon_Vka) % 0.37/0.65 (zenon_Vsl != zenon_Vng) % 0.37/0.65 (zenon_Von != zenon_Vfb) % 0.37/0.65 (p1 zenon_Vhm) % 0.37/0.65 (zenon_Vmo != zenon_Vra) % 0.37/0.65 (zenon_Vgp != zenon_Vph) % 0.37/0.65 (p1 zenon_Vgp) % 0.37/0.65 (zenon_Vgp != zenon_Vle) % 0.37/0.65 (zenon_Vxl != zenon_Vnm) % 0.37/0.65 (zenon_Vyo != zenon_Vxi) % 0.37/0.65 (zenon_Vwi != zenon_Vrg) % 0.37/0.65 (zenon_Vrp != zenon_Vth) % 0.37/0.65 (zenon_Von != zenon_Vcd) % 0.37/0.65 (zenon_Vsn != zenon_Vrg) % 0.37/0.65 (zenon_Vnl != zenon_Vzg) % 0.37/0.65 (zenon_Vmo != zenon_Vda) % 0.37/0.65 (zenon_Vmm != zenon_Vle) % 0.37/0.65 (zenon_Vil != zenon_Vfk) % 0.37/0.65 (zenon_Vfj != zenon_Vpk) % 0.37/0.65 (p1 zenon_Von) % 0.37/0.65 (zenon_Vnl != zenon_Vpk) % 0.37/0.65 (zenon_Vcp != zenon_Vlj) % 0.37/0.65 (zenon_Vpj != zenon_Vfg) % 0.37/0.65 (zenon_Vpj != zenon_Vzk) % 0.37/0.65 (zenon_Vkp != zenon_Vka) % 0.37/0.65 (zenon_Vmo != zenon_Vqd) % 0.37/0.65 (zenon_Vao != zenon_Vph) % 0.37/0.65 (zenon_Vcn != zenon_Vjl) % 0.37/0.65 (zenon_Vsn != zenon_Vzk) % 0.37/0.65 (zenon_Vop != zenon_Vxf) % 0.37/0.65 (zenon_Vgp != zenon_Vui) % 0.37/0.65 (zenon_Vhm != zenon_Vgj) % 0.37/0.65 (zenon_Vek != zenon_Vyl) % 0.37/0.65 (zenon_Vpj != zenon_Vxi) % 0.37/0.65 (zenon_Vuj != zenon_Vac) % 0.37/0.65 (zenon_Vio != zenon_Vri) % 0.37/0.65 (zenon_Vym != zenon_Vee) % 0.37/0.65 (zenon_Vwi != zenon_Vjg) % 0.37/0.65 (zenon_Von != zenon_Vph) % 0.37/0.65 (r1 zenon_Vql zenon_Vrl) % 0.37/0.65 (-. (p1 zenon_Vbi)) % 0.37/0.65 (zenon_Vcn != zenon_Vzk) % 0.37/0.65 (zenon_Vnl != zenon_Vee) % 0.37/0.65 (zenon_Vuo != zenon_Vvg) % 0.37/0.65 (zenon_Vcn != zenon_Vph) % 0.37/0.65 (zenon_Vil != zenon_Vel) % 0.37/0.65 (zenon_Von != zenon_Vw) % 0.37/0.65 (zenon_Vkj != zenon_Vim) % 0.37/0.65 (-. (p1 zenon_Vfk)) % 0.37/0.65 (zenon_Vek != zenon_Vxh) % 0.37/0.65 (zenon_Vkp != zenon_Vdm) % 0.37/0.65 (zenon_Vyo != zenon_Vmb) % 0.37/0.65 (zenon_Vnl != zenon_Vgj) % 0.37/0.65 (zenon_Veo != zenon_Vda) % 0.37/0.65 (zenon_Vqo != zenon_Vka) % 0.37/0.65 (zenon_Vaj != zenon_Vle) % 0.37/0.65 (zenon_Vop != zenon_Vfg) % 0.37/0.65 (zenon_Vkp != zenon_Vxh) % 0.37/0.65 (zenon_Vkj != zenon_Vji) % 0.37/0.65 (zenon_Vgn != zenon_Vyl) % 0.37/0.65 (zenon_Vhm != zenon_Vya) % 0.37/0.65 (zenon_Vrp != zenon_Vfg) % 0.37/0.65 (zenon_Vfj != zenon_Vkk) % 0.37/0.65 (zenon_Vao != zenon_Vbg) % 0.37/0.65 (zenon_Vil != zenon_Vvj) % 0.37/0.65 (zenon_Vkj != zenon_Vjd) % 0.37/0.65 (zenon_Vjk != zenon_Vri) % 0.37/0.65 (r1 zenon_Vkm zenon_Vlm) % 0.37/0.65 (zenon_Vhm != zenon_Vak) % 0.37/0.65 (zenon_Vao != zenon_Vtl) % 0.37/0.65 (zenon_Vaj != zenon_Vlj) % 0.37/0.65 (zenon_Vxl != zenon_Voc) % 0.37/0.65 (zenon_Vpj != zenon_Vuk) % 0.37/0.65 (zenon_Vjk != zenon_Vvc) % 0.37/0.65 (zenon_Vio != zenon_Vjg) % 0.37/0.65 (zenon_Vym != zenon_Vfi) % 0.37/0.65 (r1 zenon_Vzl zenon_Vam) % 0.37/0.65 (zenon_Vdl != zenon_Vtl) % 0.37/0.65 (zenon_Vuo != zenon_Vdm) % 0.37/0.65 (zenon_Vyo != zenon_Vol) % 0.37/0.65 (zenon_Vym != zenon_Vcd) % 0.37/0.65 (zenon_Vum != zenon_Vac) % 0.37/0.65 (zenon_Vuj != zenon_Vdh) % 0.37/0.65 (zenon_Vym != zenon_Vra) % 0.37/0.65 (zenon_Veo != zenon_Vya) % 0.37/0.65 (zenon_Vdl != zenon_Vbg) % 0.37/0.65 (zenon_Vtk != zenon_Vvg) % 0.37/0.65 (p1 zenon_Vmo) % 0.37/0.65 (r1 zenon_Vro zenon_Vuo) % 0.37/0.65 (zenon_Vhm != zenon_Vfg) % 0.37/0.65 (zenon_Vgn != zenon_Vfk) % 0.37/0.65 (zenon_Vxl != zenon_Vph) % 0.37/0.65 (zenon_Vkj != zenon_Vtb) % 0.37/0.65 (zenon_Vsn != zenon_Vth) % 0.37/0.65 (zenon_Vfj != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vfi) % 0.37/0.65 (zenon_Vkn != zenon_Vle) % 0.37/0.65 (r1 zenon_Vsg zenon_Vvg) % 0.37/0.65 (zenon_Vum != zenon_Vtl) % 0.37/0.65 (zenon_Vyk != zenon_Vpk) % 0.37/0.65 (zenon_Vaj != zenon_Vxf) % 0.37/0.65 (zenon_Vqo != zenon_Vle) % 0.37/0.65 (zenon_Vmm != zenon_Vya) % 0.37/0.65 (r1 zenon_Vck zenon_Vdk) % 0.37/0.65 (zenon_Vkn != zenon_Vtb) % 0.37/0.65 (r1 Tau_1 zenon_Vvi) % 0.37/0.65 (zenon_Vcp != zenon_Vfk) % 0.37/0.65 (zenon_Vgn != zenon_Vim) % 0.37/0.65 (zenon_Vzj != zenon_Vel) % 0.37/0.65 (zenon_Vuj != zenon_Vkk) % 0.37/0.65 (zenon_Vdl != zenon_Vri) % 0.37/0.65 (zenon_Vop != zenon_Vvj) % 0.37/0.65 (zenon_Vwn != zenon_Vw) % 0.37/0.65 (zenon_Vkj != zenon_Voc) % 0.37/0.65 (zenon_Vsn != zenon_Vxd) % 0.37/0.65 (zenon_Vfj != zenon_Vri) % 0.37/0.65 (p1 zenon_Vqo) % 0.37/0.65 (zenon_Vek != zenon_Vbi) % 0.37/0.65 (zenon_Vzj != zenon_Vvj) % 0.37/0.65 (zenon_Vcp != zenon_Voc) % 0.37/0.65 (-. (p1 zenon_Vmb)) % 0.37/0.65 (zenon_Vpj != zenon_Vee) % 0.37/0.65 (zenon_Vuj != zenon_Vnm) % 0.37/0.65 (zenon_Vzj != zenon_Vfg) % 0.37/0.65 (zenon_Vdl != zenon_Vji) % 0.37/0.65 (-. (p1 zenon_Vtl)) % 0.37/0.65 (zenon_Vek != zenon_Vel) % 0.37/0.65 (zenon_Vdl != zenon_Vda) % 0.37/0.65 (zenon_Vgn != zenon_Vbg) % 0.37/0.65 (-. (p1 zenon_Vvg)) % 0.37/0.65 (zenon_Vio != zenon_Vjl) % 0.37/0.65 (zenon_Vyo != zenon_Vbj) % 0.37/0.65 (zenon_Vop != zenon_Vqd) % 0.37/0.65 (r1 zenon_Vhp zenon_Vkp) % 0.37/0.65 (zenon_Vnl != zenon_Vtl) % 0.37/0.65 (zenon_Vkj != zenon_Vol) % 0.37/0.65 (zenon_Vok != zenon_Vhc) % 0.37/0.65 (r1 zenon_Vfm zenon_Vgm) % 0.37/0.65 (zenon_Vyo != zenon_Vak) % 0.37/0.65 (zenon_Veo != zenon_Vfg) % 0.37/0.65 (zenon_Vio != zenon_Vzg) % 0.37/0.65 (zenon_Vfj != zenon_Vtl) % 0.37/0.65 (zenon_Vuj != zenon_Vka) % 0.37/0.65 (zenon_Vcm != zenon_Vka) % 0.37/0.65 (zenon_Vxl != zenon_Vra) % 0.37/0.65 (zenon_Vuo != zenon_Vdh) % 0.37/0.65 (zenon_Vkj != zenon_Vjl) % 0.37/0.65 (r1 zenon_Vah zenon_Vdh) % 0.37/0.65 (zenon_Vnl != zenon_Vth) % 0.37/0.65 (zenon_Vum != zenon_Vel) % 0.37/0.65 (zenon_Vuo != zenon_Vhh) % 0.37/0.65 (r1 zenon_Vuh zenon_Vxh) % 0.37/0.65 (zenon_Vdl != zenon_Vfg) % 0.37/0.65 (zenon_Vek != zenon_Vda) % 0.37/0.65 (zenon_Vmo != zenon_Vvg) % 0.37/0.65 (zenon_Vcm != zenon_Vvc) % 0.37/0.65 (zenon_Vqo != zenon_Vph) % 0.37/0.65 (zenon_Vyk != zenon_Vqd) % 0.37/0.65 (p1 zenon_Vio) % 0.37/0.65 (zenon_Vjk != zenon_Vfk) % 0.37/0.65 (zenon_Vmm != zenon_Vph) % 0.37/0.65 (zenon_Vuj != zenon_Vth) % 0.37/0.65 (zenon_Vgn != zenon_Vdm) % 0.37/0.65 (zenon_Vgn != zenon_Vxh) % 0.37/0.65 (zenon_Vek != zenon_Vtl) % 0.37/0.65 (zenon_Vek != zenon_Vxf) % 0.37/0.65 (zenon_Vao != zenon_Vji) % 0.37/0.65 (r1 zenon_Vjm zenon_Vom) % 0.37/0.65 (zenon_Vwn != zenon_Vkk) % 0.37/0.65 (-. (p1 zenon_Vdm)) % 0.37/0.65 (zenon_Vtk != zenon_Vpk) % 0.37/0.65 (zenon_Vmm != zenon_Vkk) % 0.37/0.65 (zenon_Vok != zenon_Voc) % 0.37/0.65 (zenon_Vgp != zenon_Vzk) % 0.37/0.65 (zenon_Vao != zenon_Vka) % 0.37/0.65 (zenon_Vcm != zenon_Vxf) % 0.37/0.65 (zenon_Veo != zenon_Vzg) % 0.37/0.65 (zenon_Vcm != zenon_Vlh) % 0.37/0.65 (zenon_Vwn != zenon_Vth) % 0.37/0.65 (zenon_Vnl != zenon_Vji) % 0.37/0.65 (zenon_Vkn != zenon_Vzk) % 0.37/0.65 (zenon_Vnl != zenon_Vcd) % 0.37/0.65 (zenon_Vgp != zenon_Vvg) % 0.37/0.65 (zenon_Vyo != zenon_Vxh) % 0.37/0.65 (zenon_Vsn != zenon_Vjl) % 0.37/0.65 (zenon_Vpj != zenon_Vnm) % 0.37/0.65 (zenon_Vao != zenon_Vxf) % 0.37/0.65 (zenon_Vop != zenon_Vph) % 0.37/0.65 (zenon_Vgn != zenon_Vzg) % 0.37/0.65 (zenon_Vkn != zenon_Vxi) % 0.37/0.65 (zenon_Vao != zenon_Vxi) % 0.37/0.65 (zenon_Vaj != zenon_Vng) % 0.37/0.65 (r1 zenon_Vij zenon_Vlj) % 0.37/0.65 (zenon_Vcm != zenon_Vac) % 0.37/0.65 (r1 zenon_Vkm zenon_Vnm) % 0.37/0.65 (zenon_Vyk != zenon_Vee) % 0.37/0.65 (zenon_Vpj != zenon_Vdh) % 0.37/0.65 (zenon_Vkj != zenon_Vvj) % 0.37/0.65 (zenon_Vcn != zenon_Vzg) % 0.37/0.65 (zenon_Vum != zenon_Vfb) % 0.37/0.65 (zenon_Vwn != zenon_Vpk) % 0.37/0.65 (zenon_Vsl != zenon_Vni) % 0.37/0.65 (zenon_Vio != zenon_Vlj) % 0.37/0.65 (zenon_Vdl != zenon_Vel) % 0.37/0.65 (zenon_Vdl != zenon_Vtb) % 0.37/0.65 (zenon_Vaj != zenon_Vbg) % 0.37/0.65 (zenon_Vgn != zenon_Vse) % 0.37/0.65 (-. (p1 zenon_Vra)) % 0.37/0.65 (zenon_Vaj != zenon_Voc) % 0.37/0.65 (p1 zenon_Vwn) % 0.37/0.65 (zenon_Veo != zenon_Vbj) % 0.37/0.65 (zenon_Vkj != zenon_Vuk) % 0.37/0.65 (zenon_Vpj != zenon_Vq) % 0.37/0.65 (zenon_Vym != zenon_Vqj) % 0.37/0.65 (zenon_Vkp != zenon_Vxi) % 0.37/0.65 (zenon_Vsn != zenon_Vcd) % 0.37/0.65 (zenon_Vop != zenon_Vse) % 0.37/0.65 (zenon_Vao != zenon_Vrg) % 0.37/0.65 (zenon_Vjk != zenon_Vxi) % 0.37/0.65 (zenon_Vil != zenon_Vqd) % 0.37/0.65 (zenon_Vaj != zenon_Vhh) % 0.37/0.65 (zenon_Vkj != zenon_Vqd) % 0.37/0.65 (-. (p2 zenon_Vtf)) % 0.37/0.65 (zenon_Vqo != zenon_Vim) % 0.37/0.65 (zenon_Vqo != zenon_Vpk) % 0.37/0.65 (zenon_Vsl != zenon_Vuk) % 0.37/0.65 (zenon_Vym != zenon_Vzg) % 0.37/0.65 (p1 zenon_Vyo) % 0.37/0.65 (zenon_Vsl != zenon_Vjd) % 0.37/0.65 (zenon_Vxl != zenon_Vvj) % 0.37/0.65 (zenon_Vop != zenon_Vdm) % 0.37/0.65 (zenon_Vtk != zenon_Vvj) % 0.37/0.65 (zenon_Vsl != zenon_Vvg) % 0.37/0.65 (zenon_Vpj != zenon_Vri) % 0.37/0.65 (zenon_Vrp != zenon_Vmb) % 0.37/0.65 (r1 zenon_Vhn zenon_Vkn) % 0.37/0.65 (zenon_Vcm != zenon_Vtl) % 0.37/0.65 (zenon_Von != zenon_Vhc) % 0.37/0.65 (zenon_Vyk != zenon_Vw) % 0.37/0.65 (zenon_Vcp != zenon_Vka) % 0.37/0.65 (zenon_Vek != zenon_Vcd) % 0.37/0.65 (zenon_Vsl != zenon_Voc) % 0.37/0.65 (r1 zenon_Vki zenon_Vni) % 0.37/0.65 (zenon_Vyo != zenon_Vbi) % 0.37/0.65 (r1 zenon_Vne zenon_Vre) % 0.37/0.65 (zenon_Vyk != zenon_Vya) % 0.37/0.65 (zenon_Vcp != zenon_Vle) % 0.37/0.65 (zenon_Vil != zenon_Vlj) % 0.37/0.65 (zenon_Vuj != zenon_Vra) % 0.37/0.65 (zenon_Vcp != zenon_Vhc) % 0.37/0.65 (zenon_Vkp != zenon_Vak) % 0.37/0.65 (zenon_Vgn != zenon_Vxf) % 0.37/0.65 (zenon_Vrp != zenon_Vfi) % 0.37/0.65 (zenon_Von != zenon_Vxf) % 0.37/0.65 (zenon_Vtk != zenon_Vbj) % 0.37/0.65 (zenon_Vyo != zenon_Vdh) % 0.37/0.65 (zenon_Vil != zenon_Vvg) % 0.37/0.65 (zenon_Vkp != zenon_Vvg) % 0.37/0.65 (r1 zenon_Vgi zenon_Vji) % 0.37/0.65 (zenon_Vdl != zenon_Vfk) % 0.37/0.65 (zenon_Von != zenon_Vbg) % 0.37/0.65 (zenon_Vrp != zenon_Vjd) % 0.37/0.65 (zenon_Vpj != zenon_Vel) % 0.37/0.65 (zenon_Vkn != zenon_Vra) % 0.37/0.65 (zenon_Vnl != zenon_Vvg) % 0.37/0.65 (zenon_Vao != zenon_Vpk) % 0.37/0.65 (zenon_Vao != zenon_Vcd) % 0.37/0.65 (zenon_Vyk != zenon_Vfi) % 0.37/0.65 (r1 zenon_Vbk zenon_Vck) % 0.37/0.65 (zenon_Vum != zenon_Vnm) % 0.37/0.65 (zenon_Vtk != zenon_Vkk) % 0.37/0.65 (zenon_Vgp != zenon_Vuk) % 0.37/0.65 (r1 zenon_Vhk zenon_Vik) % 0.37/0.65 (zenon_Vdl != zenon_Vxf) % 0.37/0.65 (zenon_Vcm != zenon_Vbi) % 0.37/0.65 (zenon_Vsl != zenon_Vri) % 0.37/0.65 (zenon_Vsn != zenon_Vbg) % 0.37/0.65 (zenon_Von != zenon_Vjg) % 0.37/0.65 (zenon_Vio != zenon_Vbj) % 0.37/0.65 (zenon_Vzj != zenon_Vfb) % 0.37/0.65 (zenon_Vnl != zenon_Vhc) % 0.37/0.65 (zenon_Vym != zenon_Vui) % 0.37/0.65 (zenon_Vxl != zenon_Vda) % 0.37/0.65 (zenon_Vcn != zenon_Vng) % 0.37/0.65 (zenon_Vao != zenon_Vvg) % 0.37/0.65 (zenon_Vqo != zenon_Vyl) % 0.37/0.65 (zenon_Vqo != zenon_Vgj) % 0.37/0.65 (zenon_Vtk != zenon_Vfg) % 0.37/0.65 (zenon_Vkn != zenon_Vlj) % 0.37/0.65 (zenon_Vio != zenon_Vdm) % 0.37/0.65 (zenon_Vmm != zenon_Vxi) % 0.37/0.65 (zenon_Vuj != zenon_Vhh) % 0.37/0.65 (zenon_Vhm != zenon_Vxd) % 0.37/0.65 (zenon_Vkj != zenon_Vfb) % 0.37/0.65 (zenon_Vhm != zenon_Vjg) % 0.37/0.65 (zenon_Vsn != zenon_Vfi) % 0.37/0.65 (p1 zenon_Vdl) % 0.37/0.65 (zenon_Vfj != zenon_Vfi) % 0.37/0.65 (zenon_Vek != zenon_Vqj) % 0.37/0.65 (zenon_Vgp != zenon_Vxi) % 0.37/0.65 (zenon_Vao != zenon_Vri) % 0.37/0.65 (zenon_Vcn != zenon_Vxf) % 0.37/0.65 (zenon_Vgn != zenon_Vol) % 0.37/0.65 (zenon_Vqo != zenon_Vuk) % 0.37/0.65 (zenon_Vnl != zenon_Vxd) % 0.37/0.65 (zenon_Vhm != zenon_Vvg) % 0.37/0.65 (r1 zenon_Vte zenon_Vhf) % 0.37/0.65 (-. (p1 zenon_Vui)) % 0.37/0.65 (zenon_Vjk != zenon_Vvj) % 0.37/0.65 (zenon_Vok != zenon_Vjd) % 0.37/0.65 (zenon_Vrp != zenon_Vvg) % 0.37/0.65 (zenon_Vsl != zenon_Vyl) % 0.37/0.65 (zenon_Vmo != zenon_Vrg) % 0.37/0.65 (zenon_Vum != zenon_Vzg) % 0.37/0.65 (zenon_Vum != zenon_Vkk) % 0.37/0.65 (zenon_Von != zenon_Vjd) % 0.37/0.65 (zenon_Vmm != zenon_Vrg) % 0.37/0.65 (zenon_Vpj != zenon_Vxf) % 0.37/0.65 (r1 zenon_Vqh zenon_Vth) % 0.37/0.65 (zenon_Vwn != zenon_Vim) % 0.37/0.65 (zenon_Vmo != zenon_Vol) % 0.37/0.65 (zenon_Vzj != zenon_Voc) % 0.37/0.65 (zenon_Vum != zenon_Vni) % 0.37/0.65 (zenon_Vtk != zenon_Vfk) % 0.37/0.65 (zenon_Vmo != zenon_Vjd) % 0.37/0.65 (zenon_Vuo != zenon_Vxf) % 0.37/0.65 (zenon_Von != zenon_Vzk) % 0.37/0.65 (zenon_Vzj != zenon_Vfi) % 0.37/0.65 (zenon_Vmo != zenon_Vfb) % 0.37/0.65 (zenon_Vyo != zenon_Vtb) % 0.37/0.65 (zenon_Vaj != zenon_Vqd) % 0.37/0.65 (zenon_Vfj != zenon_Vui) % 0.37/0.65 (zenon_Vmm != zenon_Vak) % 0.37/0.65 (zenon_Vok != zenon_Vbj) % 0.37/0.65 (zenon_Vhm != zenon_Vph) % 0.37/0.65 (zenon_Vio != zenon_Vkk) % 0.37/0.65 (zenon_Vuj != zenon_Voc) % 0.37/0.65 (zenon_Vek != zenon_Vhh) % 0.37/0.65 (zenon_Vum != zenon_Vbi) % 0.37/0.65 (zenon_Vfj != zenon_Vni) % 0.37/0.65 (zenon_Vrp != zenon_Vvj) % 0.37/0.65 (zenon_Vkj != zenon_Vak) % 0.37/0.65 (zenon_Vok != zenon_Vri) % 0.37/0.65 (zenon_Vio != zenon_Vac) % 0.37/0.65 (zenon_Vnl != zenon_Vhh) % 0.37/0.65 (zenon_Vkp != zenon_Vgj) % 0.37/0.65 (zenon_Vyo != zenon_Vra) % 0.37/0.65 (zenon_Vsn != zenon_Vfg) % 0.37/0.65 (zenon_Vil != zenon_Vbi) % 0.37/0.65 (zenon_Vzj != zenon_Vgj) % 0.37/0.65 (zenon_Vjk != zenon_Vya) % 0.37/0.65 (zenon_Vsn != zenon_Vya) % 0.37/0.65 (zenon_Vyo != zenon_Vda) % 0.37/0.65 (zenon_Vfj != zenon_Vhh) % 0.37/0.65 (zenon_Vfj != zenon_Vqd) % 0.37/0.65 (p1 zenon_Vwi) % 0.37/0.65 (zenon_Vwi != zenon_Vdh) % 0.37/0.65 (r1 zenon_Veh zenon_Vhh) % 0.37/0.65 (zenon_Vym != zenon_Vse) % 0.37/0.65 (zenon_Vsl != zenon_Vdh) % 0.37/0.65 (zenon_Veo != zenon_Vxi) % 0.37/0.65 (zenon_Vkj != zenon_Vxf) % 0.37/0.65 (zenon_Vrp != zenon_Vuk) % 0.37/0.65 (zenon_Vmo != zenon_Vfk) % 0.37/0.65 (zenon_Von != zenon_Vng) % 0.37/0.65 (zenon_Vkn != zenon_Vlh) % 0.37/0.65 (zenon_Vok != zenon_Vyl) % 0.37/0.65 (zenon_Vkj != zenon_Vpk) % 0.37/0.65 (zenon_Vzj != zenon_Vvg) % 0.37/0.65 (r1 zenon_Vmk zenon_Vpk) % 0.37/0.65 (zenon_Vek != zenon_Vra) % 0.37/0.65 (zenon_Vqo != zenon_Vcd) % 0.37/0.65 (zenon_Vuj != zenon_Vri) % 0.37/0.65 (zenon_Vrp != zenon_Vee) % 0.37/0.65 (zenon_Vrp != zenon_Vpk) % 0.37/0.65 (r1 zenon_Vql zenon_Vtl) % 0.37/0.65 (zenon_Vaj != zenon_Vw) % 0.37/0.65 (zenon_Vym != zenon_Vni) % 0.37/0.65 (zenon_Vyo != zenon_Vrg) % 0.37/0.65 (zenon_Vcp != zenon_Vmb) % 0.37/0.65 (zenon_Vkp != zenon_Vfi) % 0.37/0.65 (zenon_Vpj != zenon_Voc) % 0.37/0.65 (zenon_Vgn != zenon_Vra) % 0.37/0.65 (p2 zenon_Vve) % 0.37/0.65 (zenon_Vek != zenon_Vtb) % 0.37/0.65 (zenon_Vkj != zenon_Vbg) % 0.37/0.65 (zenon_Vtk != zenon_Vhh) % 0.37/0.65 (r1 zenon_Vsj zenon_Vvj) % 0.37/0.65 (zenon_Vcm != zenon_Vjl) % 0.37/0.65 (zenon_Vym != zenon_Vxi) % 0.37/0.65 (zenon_Vhm != zenon_Vtb) % 0.37/0.65 (zenon_Vil != zenon_Vng) % 0.37/0.65 (zenon_Vsn != zenon_Vqj) % 0.37/0.65 (zenon_Vuo != zenon_Vlj) % 0.37/0.65 (zenon_Vfj != zenon_Vra) % 0.37/0.65 (zenon_Vym != zenon_Vim) % 0.37/0.65 (zenon_Vdl != zenon_Vse) % 0.37/0.65 (zenon_Vuo != zenon_Vxh) % 0.37/0.65 (zenon_Vil != zenon_Vnm) % 0.37/0.65 (zenon_Vwn != zenon_Vrg) % 0.37/0.65 (zenon_Vrp != zenon_Vq) % 0.37/0.65 (zenon_Vaj != zenon_Vya) % 0.37/0.65 (zenon_Vum != zenon_Vjl) % 0.37/0.65 (zenon_Vcn != zenon_Vxi) % 0.37/0.65 (zenon_Vkn != zenon_Vda) % 0.37/0.65 (r1 zenon_Vzl zenon_Vem) % 0.37/0.65 (r1 zenon_Vkg zenon_Vng) % 0.37/0.65 (zenon_Veo != zenon_Vjl) % 0.37/0.65 (zenon_Vek != zenon_Vpk) % 0.37/0.65 (zenon_Vuj != zenon_Vxi) % 0.37/0.65 (zenon_Vmo != zenon_Vng) % 0.37/0.65 (zenon_Vio != zenon_Vvg) % 0.37/0.65 (zenon_Vaj != zenon_Vzk) % 0.37/0.65 (zenon_Vhm != zenon_Vka) % 0.37/0.65 (zenon_Vkn != zenon_Vee) % 0.37/0.65 (zenon_Von != zenon_Vvg) % 0.37/0.65 (zenon_Vyo != zenon_Vim) % 0.37/0.65 (zenon_Vcm != zenon_Vyl) % 0.37/0.65 (zenon_Vhm != zenon_Vfk) % 0.37/0.65 (-. (p1 zenon_Vjg)) % 0.37/0.65 (zenon_Vmm != zenon_Vqd) % 0.37/0.65 (zenon_Vok != zenon_Vfk) % 0.37/0.65 (zenon_Vfj != zenon_Voc) % 0.37/0.65 (zenon_Vum != zenon_Vhh) % 0.37/0.65 (zenon_Vrp != zenon_Vzg) % 0.37/0.65 (zenon_Vhm != zenon_Vmb) % 0.37/0.65 (zenon_Vnl != zenon_Vka) % 0.37/0.65 (zenon_Vgn != zenon_Vxd) % 0.37/0.65 (zenon_Vgn != zenon_Vth) % 0.37/0.65 (zenon_Vum != zenon_Vjd) % 0.37/0.65 (zenon_Vop != zenon_Vle) % 0.37/0.65 (zenon_Vyk != zenon_Vbg) % 0.37/0.65 (zenon_Vjk != zenon_Vra) % 0.37/0.65 (zenon_Vsl != zenon_Vxd) % 0.37/0.65 (zenon_Vcp != zenon_Vng) % 0.37/0.65 (zenon_Vaj != zenon_Vra) % 0.37/0.65 (zenon_Vpj != zenon_Vcd) % 0.37/0.65 (zenon_Vcn != zenon_Vui) % 0.37/0.65 (zenon_Vtk != zenon_Vra) % 0.37/0.65 (zenon_Vpj != zenon_Vjg) % 0.37/0.65 (zenon_Vgn != zenon_Vfg) % 0.37/0.65 (zenon_Vkj != zenon_Vnm) % 0.37/0.65 (zenon_Vyo != zenon_Vng) % 0.37/0.65 (zenon_Vqo != zenon_Vui) % 0.37/0.65 (zenon_Vek != zenon_Vka) % 0.37/0.65 (zenon_Vop != zenon_Vri) % 0.37/0.65 (zenon_Veo != zenon_Vka) % 0.37/0.65 (zenon_Vfj != zenon_Vxd) % 0.37/0.65 (zenon_Vek != zenon_Vvc) % 0.37/0.65 (zenon_Vyk != zenon_Vvj) % 0.37/0.65 (zenon_Vcp != zenon_Vpk) % 0.37/0.65 (zenon_Vcm != zenon_Vee) % 0.37/0.65 (zenon_Veo != zenon_Vxh) % 0.37/0.65 (zenon_Vjk != zenon_Vmb) % 0.37/0.65 (zenon_Vrp != zenon_Vrg) % 0.37/0.65 (-. (p1 zenon_Vel)) % 0.37/0.65 (zenon_Vwn != zenon_Vnm) % 0.37/0.65 (zenon_Vtk != zenon_Vtl) % 0.37/0.65 (zenon_Vrp != zenon_Vxf) % 0.37/0.65 (zenon_Vuj != zenon_Vjd) % 0.37/0.65 (zenon_Vao != zenon_Vni) % 0.37/0.65 (-. (p1 zenon_Vbg)) % 0.37/0.65 (zenon_Vwn != zenon_Vda) % 0.37/0.65 (zenon_Vaj != zenon_Vni) % 0.37/0.65 (zenon_Vcm != zenon_Vth) % 0.37/0.65 (zenon_Vum != zenon_Vth) % 0.37/0.65 (zenon_Von != zenon_Vri) % 0.37/0.65 (zenon_Vgn != zenon_Vee) % 0.37/0.65 (zenon_Vfj != zenon_Vph) % 0.37/0.65 (zenon_Vsl != zenon_Vpk) % 0.37/0.65 (zenon_Vdl != zenon_Vlj) % 0.37/0.65 (zenon_Vgn != zenon_Vrg) % 0.37/0.65 (zenon_Vsn != zenon_Vhh) % 0.37/0.65 (zenon_Vrp != zenon_Vjg) % 0.37/0.65 (zenon_Vop != zenon_Vxd) % 0.37/0.65 (zenon_Vok != zenon_Vxd) % 0.37/0.65 (zenon_Vmo != zenon_Vth) % 0.37/0.65 (zenon_Vuo != zenon_Vxi) % 0.37/0.65 (zenon_Vaj != zenon_Vfk) % 0.37/0.65 (zenon_Vop != zenon_Vtl) % 0.37/0.65 (zenon_Vio != zenon_Vfk) % 0.37/0.65 (zenon_Vgp != zenon_Vkk) % 0.37/0.65 (zenon_Vum != zenon_Vxh) % 0.37/0.65 (zenon_Vpj != zenon_Vfk) % 0.37/0.65 (zenon_Vhm != zenon_Vui) % 0.37/0.65 (p1 zenon_Vyk) % 0.37/0.65 (zenon_Vuj != zenon_Vpk) % 0.37/0.65 (zenon_Vek != zenon_Vya) % 0.37/0.65 (zenon_Vsn != zenon_Vph) % 0.37/0.65 (zenon_Vgn != zenon_Vjd) % 0.37/0.65 (zenon_Vhm != zenon_Vdh) % 0.37/0.65 (zenon_Vnl != zenon_Vzk) % 0.37/0.65 (zenon_Von != zenon_Vlh) % 0.37/0.65 (zenon_Vkp != zenon_Vw) % 0.37/0.65 (zenon_Vaj != zenon_Vtb) % 0.37/0.65 (r1 zenon_Vzd zenon_Vde) % 0.37/0.65 (zenon_Vuj != zenon_Vvc) % 0.37/0.65 (r1 zenon_Vue zenon_Vve) % 0.37/0.65 (zenon_Vqo != zenon_Vkk) % 0.37/0.65 (zenon_Vzj != zenon_Vxi) % 0.37/0.65 (zenon_Vgn != zenon_Vda) % 0.37/0.65 (zenon_Vio != zenon_Vmb) % 0.37/0.65 (zenon_Vaj != zenon_Vuk) % 0.37/0.65 (zenon_Vil != zenon_Vfb) % 0.37/0.65 (zenon_Vum != zenon_Vhc) % 0.37/0.65 (zenon_Vgp != zenon_Vfb) % 0.37/0.65 (zenon_Vqo != zenon_Vzk) % 0.37/0.65 (zenon_Vhm != zenon_Vxf) % 0.37/0.65 (zenon_Vyo != zenon_Vtl) % 0.37/0.65 (zenon_Vaj != zenon_Vac) % 0.37/0.65 (zenon_Vuo != zenon_Vcd) % 0.37/0.65 (zenon_Vcm != zenon_Vdm) % 0.37/0.65 (zenon_Vmo != zenon_Vak) % 0.37/0.65 (zenon_Vmm != zenon_Vfk) % 0.37/0.65 (zenon_Vqo != zenon_Vra) % 0.37/0.65 (zenon_Vao != zenon_Vtb) % 0.37/0.65 (zenon_Vuo != zenon_Vya) % 0.37/0.65 (zenon_Vhm != zenon_Vng) % 0.37/0.65 (zenon_Vkn != zenon_Vbj) % 0.37/0.65 (zenon_Vuj != zenon_Vlj) % 0.37/0.65 (zenon_Vcm != zenon_Vqd) % 0.37/0.65 (zenon_Vmo != zenon_Vee) % 0.37/0.65 (zenon_Vmo != zenon_Vxf) % 0.37/0.65 (zenon_Vcp != zenon_Vkk) % 0.37/0.65 (zenon_Vkp != zenon_Vac) % 0.37/0.65 (zenon_Vao != zenon_Vvj) % 0.37/0.65 (zenon_Vkp != zenon_Vhc) % 0.37/0.65 (zenon_Vkn != zenon_Vph) % 0.37/0.65 (zenon_Vnl != zenon_Vqd) % 0.37/0.65 (zenon_Vkp != zenon_Vpk) % 0.37/0.65 (zenon_Veo != zenon_Vle) % 0.37/0.65 (zenon_Vil != zenon_Vui) % 0.37/0.65 (zenon_Vao != zenon_Vdm) % 0.37/0.65 (zenon_Veo != zenon_Vnm) % 0.37/0.65 (zenon_Vcp != zenon_Vfg) % 0.37/0.65 (zenon_Vtk != zenon_Vqj) % 0.37/0.65 (zenon_Vqo != zenon_Vee) % 0.37/0.65 (zenon_Vxl != zenon_Vfi) % 0.37/0.65 (zenon_Vgp != zenon_Vdm) % 0.37/0.65 (zenon_Vgn != zenon_Vvc) % 0.37/0.65 (zenon_Vgn != zenon_Vdh) % 0.37/0.65 (zenon_Von != zenon_Vqd) % 0.37/0.65 (zenon_Vfj != zenon_Vfg) % 0.37/0.65 (zenon_Vjk != zenon_Vxf) % 0.37/0.65 (zenon_Vmo != zenon_Vle) % 0.37/0.65 (zenon_Vgn != zenon_Vtb) % 0.37/0.65 (zenon_Vqo != zenon_Vvc) % 0.37/0.65 (zenon_Vmm != zenon_Vfi) % 0.37/0.65 (zenon_Vsl != zenon_Vda) % 0.37/0.65 (zenon_Vym != zenon_Vxd) % 0.37/0.65 (zenon_Vok != zenon_Vbi) % 0.37/0.65 (zenon_Vpj != zenon_Vkk) % 0.37/0.65 (zenon_Vsn != zenon_Vxf) % 0.37/0.65 (zenon_Vgp != zenon_Vcd) % 0.37/0.65 (zenon_Vgp != zenon_Vq) % 0.37/0.65 (zenon_Vwi != zenon_Vhc) % 0.37/0.65 (r1 zenon_Vta zenon_Vxa) % 0.37/0.65 (zenon_Vhm != zenon_Vw) % 0.37/0.65 (zenon_Vqo != zenon_Vda) % 0.37/0.65 (zenon_Vil != zenon_Vda) % 0.37/0.65 (zenon_Vmm != zenon_Vfb) % 0.37/0.65 (zenon_Vfj != zenon_Vka) % 0.37/0.65 (zenon_Vkn != zenon_Vfg) % 0.37/0.65 (zenon_Vxl != zenon_Vxh) % 0.37/0.65 (zenon_Vop != zenon_Vuk) % 0.37/0.65 (zenon_Vtk != zenon_Vka) % 0.37/0.65 (zenon_Vcn != zenon_Vvg) % 0.37/0.65 (zenon_Vmm != zenon_Vlh) % 0.37/0.65 (zenon_Vzj != zenon_Vqd) % 0.37/0.65 (zenon_Vdl != zenon_Vxd) % 0.37/0.65 (zenon_Vsl != zenon_Vzk) % 0.37/0.65 (zenon_Vsl != zenon_Vlh) % 0.37/0.65 (zenon_Vwn != zenon_Voc) % 0.37/0.65 (zenon_Vxl != zenon_Vjg) % 0.37/0.65 (zenon_Vrp != zenon_Vji) % 0.37/0.65 (r1 zenon_Vtn zenon_Vwn) % 0.37/0.65 (zenon_Vuo != zenon_Vfk) % 0.37/0.65 (zenon_Vop != zenon_Vxi) % 0.37/0.65 (zenon_Vwi != zenon_Vka) % 0.37/0.65 (-. (p1 zenon_Vqd)) % 0.37/0.65 (zenon_Vsl != zenon_Vqd) % 0.37/0.65 (r1 zenon_Vjc zenon_Vnc) % 0.37/0.65 (zenon_Vok != zenon_Vjg) % 0.37/0.65 (zenon_Vok != zenon_Vth) % 0.37/0.65 *) % 0.37/0.65 (* NO-PROOF *) % 0.37/0.65 % SZS status GaveUp % 0.37/0.65 Number of rewrites on terms: 0 % 0.37/0.65 Number of rewrites on props: 0 % 0.37/0.65 nodes searched: 3165 % 0.37/0.65 max branch formulas: 3422 % 0.37/0.65 proof nodes created: 0 % 0.37/0.65 formulas created: 16999 % 0.37/0.65 %------------------------------------------------------------------------------