%------------------------------------------------------------------------------ % File : ZenonModulo---0.5.0 % Problem : LCL671+1.015 : TPTP v9.3.1. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_zenon_modulo %d %s % Computer : n012.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:23 PM UTC 2026 % Result : Unknown 0.27s 0.60s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.01 % Problem : LCL671+1.015 : TPTP v9.3.1. Released v4.0.0. % 0.00/0.01 % Command : run_zenon_modulo %d %s % 0.03/0.29 % Computer : n012.cluster.edu % 0.03/0.29 % Model : x86_64 x86_64 % 0.03/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.03/0.29 % Memory : 8046.5625MB % 0.03/0.29 % OS : Linux 6.8.0-71-generic % 0.03/0.29 % CPULimit : 300 % 0.03/0.29 % WCLimit : 300 % 0.03/0.29 % DateTime : Sat Sep 5 20:11:42 UTC 2026 % 0.03/0.29 % CPUTime : % 0.27/0.59 Zenon error: exhausted search space without finding a proof % 0.27/0.59 (* Current branch: % 0.27/0.59 (zenon_Vjg != zenon_Vhj) % 0.27/0.59 (zenon_Vln != zenon_Vyh) % 0.27/0.59 (zenon_Vtl != zenon_Vdf) % 0.27/0.59 (zenon_Vqf != zenon_Vkg) % 0.27/0.59 (zenon_Vjo != zenon_Vfc) % 0.27/0.59 (zenon_Vvj != zenon_Vug) % 0.27/0.59 (zenon_Vro != zenon_Voh) % 0.27/0.59 (zenon_Vzf != zenon_Vzg) % 0.27/0.59 (zenon_Vvm != zenon_Vlf) % 0.27/0.59 (zenon_Veg != zenon_Vbe) % 0.27/0.59 (r1 zenon_Vtj zenon_Vuj) % 0.27/0.59 (zenon_Vhp != zenon_Vfc) % 0.27/0.59 (zenon_Vdn != zenon_Vpg) % 0.27/0.59 (zenon_Vlj != zenon_Vxd) % 0.27/0.59 (zenon_Vxl != zenon_Vqk) % 0.27/0.59 (r1 zenon_Vij zenon_Vnj) % 0.27/0.59 (zenon_Vgj != zenon_Vdd) % 0.27/0.59 (zenon_Vog != zenon_Vgk) % 0.27/0.59 (zenon_Vtl != zenon_Vof) % 0.27/0.59 (zenon_Vfk != zenon_Vzg) % 0.27/0.59 (zenon_Vbo != zenon_Vqk) % 0.27/0.59 (zenon_Veg != zenon_Vbk) % 0.27/0.59 (zenon_Vkk != zenon_Vvf) % 0.27/0.59 (zenon_Vdh != zenon_Vlf) % 0.27/0.59 (zenon_Vjg != zenon_Vgk) % 0.27/0.59 (zenon_Vsh != zenon_Vlk) % 0.27/0.59 (zenon_Vno != zenon_Vni) % 0.27/0.59 (zenon_Vno != zenon_Vre) % 0.27/0.59 (zenon_Vog != zenon_Vld) % 0.27/0.59 (zenon_Vbo != zenon_Vcj) % 0.27/0.59 (zenon_Vrm != zenon_Vlb) % 0.27/0.59 (zenon_Vrm != zenon_Vlk) % 0.27/0.59 (zenon_Vdp != zenon_Vfg) % 0.27/0.59 (zenon_Veg != zenon_Vxd) % 0.27/0.59 (zenon_Vxl != zenon_Vfc) % 0.27/0.59 (zenon_Vak != zenon_Vdf) % 0.27/0.59 (p1 zenon_Vtl) % 0.27/0.59 (p1 zenon_Vtn) % 0.27/0.59 (zenon_Vtg != zenon_Vii) % 0.27/0.59 (zenon_Vsh != zenon_Vyh) % 0.27/0.59 (r1 zenon_Vgh zenon_Vjh) % 0.27/0.59 (zenon_Vak != zenon_Vkg) % 0.27/0.59 (zenon_Vqf != zenon_Vpg) % 0.27/0.59 (zenon_Vvj != zenon_Vje) % 0.27/0.59 (zenon_Vuf != zenon_Vzc) % 0.27/0.59 (zenon_Vvo != zenon_Vbk) % 0.27/0.59 (zenon_Vlj != zenon_Vbc) % 0.27/0.59 (zenon_Vqf != zenon_Vxb) % 0.27/0.59 (zenon_Vpk != zenon_Vlk) % 0.27/0.59 (zenon_Vln != zenon_Vpd) % 0.27/0.59 (zenon_Vro != zenon_Vre) % 0.27/0.59 (zenon_Vvo != zenon_Vgk) % 0.27/0.59 (zenon_Vhl != zenon_Vii) % 0.27/0.59 (zenon_Vwi != zenon_Vpg) % 0.27/0.59 (zenon_Vvj != zenon_Vtb) % 0.27/0.59 (zenon_Vzf != zenon_Vcj) % 0.27/0.59 (zenon_Vuk != zenon_Vrc) % 0.27/0.59 (zenon_Vjm != zenon_Vwj) % 0.27/0.59 (zenon_Vkk != zenon_Vhf) % 0.27/0.59 (zenon_Vpk != zenon_Vgk) % 0.27/0.59 (zenon_Vro != zenon_Vqk) % 0.27/0.59 (zenon_Vvo != zenon_Vof) % 0.27/0.59 (zenon_Vpk != zenon_Vlf) % 0.27/0.59 (zenon_Vlj != zenon_Vxb) % 0.27/0.59 (zenon_Vdp != zenon_Voh) % 0.27/0.59 (zenon_Vzk != zenon_Vld) % 0.27/0.59 (zenon_Vln != zenon_Vxb) % 0.27/0.59 (zenon_Vfk != zenon_Vbc) % 0.27/0.59 (zenon_Vzo != zenon_Vqk) % 0.27/0.59 (zenon_Vvj != zenon_Vfc) % 0.27/0.59 (r1 zenon_Vun zenon_Vxn) % 0.27/0.59 (zenon_Vpl != zenon_Vgk) % 0.27/0.59 (zenon_Vri != zenon_Vpg) % 0.27/0.59 (zenon_Vfo != zenon_Vzg) % 0.27/0.59 (zenon_Vno != zenon_Vfc) % 0.27/0.59 (zenon_Vnh != zenon_Vbk) % 0.27/0.59 (zenon_Vzo != zenon_Vhj) % 0.27/0.59 (zenon_Vfk != zenon_Vpb) % 0.27/0.59 (zenon_Vkk != zenon_Vrf) % 0.27/0.59 (zenon_Vfk != zenon_Vfc) % 0.27/0.59 (zenon_Vvm != zenon_Vvf) % 0.27/0.59 (zenon_Vri != zenon_Vvk) % 0.27/0.59 (zenon_Vyg != zenon_Vve) % 0.27/0.59 (p1 zenon_Vbj) % 0.27/0.59 (zenon_Vjm != zenon_Vxi) % 0.27/0.59 (zenon_Vih != zenon_Vvf) % 0.27/0.59 (zenon_Vsh != zenon_Veh) % 0.27/0.59 (zenon_Vuf != zenon_Vfg) % 0.27/0.59 (zenon_Vqj != zenon_Vqk) % 0.27/0.59 (zenon_Vpn != zenon_Vag) % 0.27/0.59 (zenon_Vdp != zenon_Vxb) % 0.27/0.59 (zenon_Vdp != zenon_Vag) % 0.27/0.59 (zenon_Vll != zenon_Vbe) % 0.27/0.59 (zenon_Vln != zenon_Vcj) % 0.27/0.59 (zenon_Vdh != zenon_Vkg) % 0.27/0.59 (zenon_Vtl != zenon_Vpd) % 0.27/0.59 (zenon_Vhi != zenon_Vjh) % 0.27/0.59 (zenon_Vjo != zenon_Vjc) % 0.27/0.59 (-. (p1 zenon_Vof)) % 0.27/0.59 (zenon_Vfo != zenon_Vfc) % 0.27/0.59 (zenon_Vpl != zenon_Vnc) % 0.27/0.59 (zenon_Vzk != zenon_Vbc) % 0.27/0.59 (zenon_Vuk != zenon_Vrj) % 0.27/0.59 (zenon_Vrm != zenon_Vni) % 0.27/0.59 (zenon_Vzm != zenon_Voh) % 0.27/0.59 (zenon_Veg != zenon_Vhb) % 0.27/0.59 (zenon_Vgj != zenon_Vre) % 0.27/0.59 (zenon_Vog != zenon_Vzc) % 0.27/0.59 (r1 zenon_Voo zenon_Vro) % 0.27/0.59 (zenon_Vri != zenon_Vhf) % 0.27/0.59 (zenon_Vih != zenon_Vmj) % 0.27/0.59 (zenon_Vfk != zenon_Vjc) % 0.27/0.59 (zenon_Vhn != zenon_Vjh) % 0.27/0.59 (zenon_Vmi != zenon_Vne) % 0.27/0.59 (zenon_Vak != zenon_Vxb) % 0.27/0.59 (zenon_Vrm != zenon_Vzg) % 0.27/0.59 (zenon_Vlp != zenon_Voh) % 0.27/0.59 (zenon_Vdp != zenon_Vjh) % 0.27/0.59 (r1 zenon_Vwf zenon_Vbg) % 0.27/0.59 (zenon_Vjo != zenon_Vug) % 0.27/0.59 (zenon_Vhi != zenon_Vyh) % 0.27/0.59 (zenon_Vlj != zenon_Vdd) % 0.27/0.59 (zenon_Vrm != zenon_Vii) % 0.27/0.59 (zenon_Vdn != zenon_Vvk) % 0.27/0.59 (zenon_Vdh != zenon_Vjc) % 0.27/0.59 (zenon_Vpn != zenon_Vof) % 0.27/0.59 (zenon_Vvo != zenon_Vfe) % 0.27/0.59 (zenon_Vlj != zenon_Vve) % 0.27/0.59 (p1 zenon_Vvo) % 0.27/0.59 (zenon_Vbj != zenon_Vfg) % 0.27/0.59 (zenon_Vfo != zenon_Vre) % 0.27/0.59 (zenon_Vzf != zenon_Vvk) % 0.27/0.59 (zenon_Vrm != zenon_Veh) % 0.27/0.59 (zenon_Vxn != zenon_Vdf) % 0.27/0.59 (zenon_Vci != zenon_Vvc) % 0.27/0.59 (zenon_Vvm != zenon_Vvc) % 0.27/0.59 (zenon_Vci != zenon_Vzg) % 0.27/0.59 (zenon_Vvj != zenon_Vvc) % 0.27/0.59 (-. (p1 zenon_Vyh)) % 0.27/0.59 (zenon_Vkk != zenon_Vwj) % 0.27/0.59 (zenon_Vxn != zenon_Vnc) % 0.27/0.59 (-. (p1 zenon_Vpd)) % 0.27/0.59 (r1 zenon_Vqb zenon_Vtb) % 0.27/0.59 (zenon_Vdp != zenon_Vtd) % 0.27/0.59 (zenon_Vkk != zenon_Vhd) % 0.27/0.59 (zenon_Vhi != zenon_Voh) % 0.27/0.59 (zenon_Vzo != zenon_Voh) % 0.27/0.59 (r1 zenon_Vwc zenon_Vzc) % 0.27/0.59 (zenon_Vxl != zenon_Val) % 0.27/0.59 (zenon_Vri != zenon_Vtd) % 0.27/0.59 (zenon_Vqj != zenon_Vne) % 0.27/0.59 (zenon_Vuk != zenon_Vtd) % 0.27/0.59 (zenon_Vpk != zenon_Vyh) % 0.27/0.59 (zenon_Vxl != zenon_Vyh) % 0.27/0.59 (zenon_Vvm != zenon_Val) % 0.27/0.59 (zenon_Vro != zenon_Vlb) % 0.27/0.59 (r1 zenon_Vbg zenon_Vcg) % 0.27/0.59 (zenon_Vlj != zenon_Vrc) % 0.27/0.59 (r1 Tau_0 Tau_1) % 0.27/0.59 (zenon_Vfk != zenon_Vrc) % 0.27/0.59 (r1 zenon_Vzi zenon_Vaj) % 0.27/0.59 (zenon_Vfo != zenon_Vvf) % 0.27/0.59 (zenon_Vfo != zenon_Vtd) % 0.27/0.59 (zenon_Vfk != zenon_Vjh) % 0.27/0.59 (zenon_Vhp != zenon_Vre) % 0.27/0.59 (-. (p1 zenon_Vne)) % 0.27/0.59 (zenon_Vuf != zenon_Vni) % 0.27/0.59 (zenon_Vpn != zenon_Vhf) % 0.27/0.59 (r1 zenon_Vmn zenon_Vpn) % 0.27/0.59 (zenon_Vln != zenon_Vnc) % 0.27/0.59 (zenon_Vwi != zenon_Vbc) % 0.27/0.59 (zenon_Vpn != zenon_Vld) % 0.27/0.59 (zenon_Vih != zenon_Vrc) % 0.27/0.59 (zenon_Vxh != zenon_Vii) % 0.27/0.59 (zenon_Vrm != zenon_Vvk) % 0.27/0.59 (zenon_Vvo != zenon_Vlk) % 0.27/0.59 (r1 zenon_Voi zenon_Vpi) % 0.27/0.59 (p1 zenon_Vhp) % 0.27/0.59 (zenon_Vri != zenon_Vzg) % 0.27/0.59 (zenon_Vci != zenon_Vqk) % 0.27/0.59 (r1 zenon_Vtj zenon_Vwj) % 0.27/0.59 (zenon_Vvo != zenon_Vag) % 0.27/0.59 (zenon_Vhn != zenon_Vlk) % 0.27/0.59 (zenon_Vro != zenon_Vag) % 0.27/0.59 (zenon_Vzm != zenon_Vpb) % 0.27/0.59 (r1 zenon_Vji zenon_Vki) % 0.27/0.59 (zenon_Vnh != zenon_Vne) % 0.27/0.59 (zenon_Vxh != zenon_Vrj) % 0.27/0.59 (zenon_Vxh != zenon_Vbe) % 0.27/0.59 (zenon_Vop != zenon_Vyh) % 0.27/0.59 (zenon_Vsh != zenon_Vhj) % 0.27/0.59 (zenon_Vbo != zenon_Vzc) % 0.27/0.59 (zenon_Vyg != zenon_Vbk) % 0.27/0.59 (zenon_Vmi != zenon_Vni) % 0.27/0.59 (zenon_Vdn != zenon_Voh) % 0.27/0.59 (zenon_Vci != zenon_Vgk) % 0.27/0.59 (zenon_Vvj != zenon_Vfe) % 0.27/0.59 (zenon_Vop != zenon_Vbk) % 0.27/0.59 (zenon_Vbo != zenon_Vxd) % 0.27/0.59 (zenon_Vbo != zenon_Vii) % 0.27/0.59 (zenon_Vqf != zenon_Vxd) % 0.27/0.59 (zenon_Vhp != zenon_Vfe) % 0.27/0.59 (zenon_Vbo != zenon_Vbc) % 0.27/0.59 (zenon_Vpn != zenon_Vni) % 0.27/0.59 (zenon_Vfo != zenon_Vcj) % 0.27/0.59 (zenon_Vnh != zenon_Veh) % 0.27/0.59 (zenon_Veg != zenon_Veh) % 0.27/0.59 (zenon_Vih != zenon_Vhf) % 0.27/0.59 (zenon_Vzk != zenon_Vfg) % 0.27/0.59 (r1 zenon_Vyb zenon_Vbc) % 0.27/0.59 (zenon_Vhp != zenon_Vrf) % 0.27/0.59 (zenon_Vbm != zenon_Vbe) % 0.27/0.59 (zenon_Vpn != zenon_Vug) % 0.27/0.59 (zenon_Vop != zenon_Vlf) % 0.27/0.59 (zenon_Vzk != zenon_Vzc) % 0.27/0.59 (zenon_Vwi != zenon_Val) % 0.27/0.59 (zenon_Vtn != zenon_Vve) % 0.27/0.59 (zenon_Vri != zenon_Vzc) % 0.27/0.59 (zenon_Vlp != zenon_Vwj) % 0.27/0.59 (zenon_Vzk != zenon_Vpb) % 0.27/0.59 (zenon_Vpk != zenon_Vdf) % 0.27/0.59 (zenon_Vsh != zenon_Vag) % 0.27/0.59 (r1 zenon_Vrg zenon_Vsg) % 0.27/0.59 (zenon_Vdn != zenon_Vpd) % 0.27/0.59 (zenon_Vdh != zenon_Vbc) % 0.27/0.59 (zenon_Vzf != zenon_Vvc) % 0.27/0.59 (zenon_Vln != zenon_Vxd) % 0.27/0.59 (zenon_Vrm != zenon_Val) % 0.27/0.59 (zenon_Vbo != zenon_Vpg) % 0.27/0.59 (zenon_Vhn != zenon_Vpd) % 0.27/0.59 (zenon_Vdn != zenon_Vwj) % 0.27/0.59 (zenon_Vyg != zenon_Vrc) % 0.27/0.59 (zenon_Vak != zenon_Vxi) % 0.27/0.59 (zenon_Vrm != zenon_Vhf) % 0.27/0.59 (zenon_Vll != zenon_Val) % 0.27/0.59 (zenon_Vxn != zenon_Vof) % 0.27/0.59 (zenon_Vbm != zenon_Vtd) % 0.27/0.59 (zenon_Vpk != zenon_Vje) % 0.27/0.59 (zenon_Vtn != zenon_Vii) % 0.27/0.59 (zenon_Vno != zenon_Vne) % 0.27/0.59 (r1 zenon_Voc zenon_Vrc) % 0.27/0.59 (r1 zenon_Vai zenon_Vbi) % 0.27/0.59 (zenon_Vhp != zenon_Vof) % 0.27/0.59 (zenon_Vuk != zenon_Vjh) % 0.27/0.59 (zenon_Vfm != zenon_Vjh) % 0.27/0.59 (zenon_Vjm != zenon_Vzg) % 0.27/0.59 (zenon_Vuk != zenon_Voh) % 0.27/0.59 (zenon_Vrm != zenon_Vwj) % 0.27/0.59 (zenon_Veg != zenon_Vrj) % 0.27/0.59 (zenon_Vvm != zenon_Vdd) % 0.27/0.59 (zenon_Vri != zenon_Vii) % 0.27/0.59 (zenon_Vfo != zenon_Vze) % 0.27/0.59 (zenon_Vxh != zenon_Vth) % 0.27/0.59 (zenon_Vll != zenon_Vof) % 0.27/0.59 (zenon_Vhp != zenon_Vpb) % 0.27/0.59 (zenon_Vhl != zenon_Vbe) % 0.27/0.59 (zenon_Vro != zenon_Vhj) % 0.27/0.59 (zenon_Vsh != zenon_Vre) % 0.27/0.59 (zenon_Vop != zenon_Vni) % 0.27/0.59 (zenon_Vtn != zenon_Vug) % 0.27/0.59 (zenon_Vog != zenon_Vyh) % 0.27/0.59 (zenon_Vpl != zenon_Vrc) % 0.27/0.59 (zenon_Vpk != zenon_Vrc) % 0.27/0.59 (zenon_Vdh != zenon_Vve) % 0.27/0.59 (zenon_Vsh != zenon_Val) % 0.27/0.59 (zenon_Vdn != zenon_Vvf) % 0.27/0.59 (zenon_Veg != zenon_Vof) % 0.27/0.59 (zenon_Vhp != zenon_Vze) % 0.27/0.59 (zenon_Vbo != zenon_Vpd) % 0.27/0.59 (zenon_Vfm != zenon_Vyh) % 0.27/0.59 (zenon_Vuf != zenon_Vtd) % 0.27/0.59 (zenon_Vzk != zenon_Vpd) % 0.27/0.59 (zenon_Vjg != zenon_Vag) % 0.27/0.59 (zenon_Vxh != zenon_Vvk) % 0.27/0.59 (zenon_Vqj != zenon_Vdf) % 0.27/0.59 (zenon_Vtn != zenon_Voh) % 0.27/0.59 (zenon_Vzo != zenon_Vug) % 0.27/0.59 (zenon_Vpk != zenon_Vbe) % 0.27/0.59 (zenon_Vpl != zenon_Veh) % 0.27/0.59 (zenon_Vtl != zenon_Vre) % 0.27/0.59 (zenon_Vpl != zenon_Vxi) % 0.27/0.59 (r1 zenon_Veb zenon_Vhb) % 0.27/0.59 (zenon_Vvm != zenon_Vxd) % 0.27/0.59 (zenon_Vfm != zenon_Vbk) % 0.27/0.59 (zenon_Vrm != zenon_Vsi) % 0.27/0.59 (zenon_Vak != zenon_Vtd) % 0.27/0.59 (zenon_Vzm != zenon_Vrf) % 0.27/0.59 (zenon_Vri != zenon_Vjh) % 0.27/0.59 (zenon_Vbo != zenon_Vxi) % 0.27/0.59 (zenon_Vqj != zenon_Vtb) % 0.27/0.59 (zenon_Vbo != zenon_Vpb) % 0.27/0.59 (zenon_Vpk != zenon_Vxi) % 0.27/0.59 (r1 zenon_Vqg zenon_Vvg) % 0.27/0.59 (zenon_Vtn != zenon_Vhf) % 0.27/0.59 (zenon_Vjo != zenon_Vze) % 0.27/0.59 (zenon_Vqf != zenon_Vve) % 0.27/0.59 (zenon_Vri != zenon_Vsi) % 0.27/0.59 (zenon_Vzf != zenon_Vlb) % 0.27/0.59 (zenon_Vsh != zenon_Vxb) % 0.27/0.59 (zenon_Vak != zenon_Vth) % 0.27/0.59 (zenon_Vqj != zenon_Vag) % 0.27/0.59 (zenon_Vjo != zenon_Vni) % 0.27/0.59 (zenon_Vog != zenon_Veh) % 0.27/0.59 (zenon_Vzf != zenon_Vth) % 0.27/0.59 (zenon_Vlj != zenon_Vje) % 0.27/0.59 (zenon_Vpl != zenon_Vkg) % 0.27/0.59 (zenon_Vvm != zenon_Vve) % 0.27/0.59 (zenon_Vak != zenon_Vtb) % 0.27/0.59 (zenon_Vvo != zenon_Vzc) % 0.27/0.59 (zenon_Vwi != zenon_Vbk) % 0.27/0.59 (zenon_Vsh != zenon_Vfe) % 0.27/0.59 (zenon_Vih != zenon_Vnc) % 0.27/0.59 (zenon_Vhl != zenon_Vnc) % 0.27/0.59 (zenon_Vih != zenon_Vrj) % 0.27/0.59 (zenon_Vvj != zenon_Vnc) % 0.27/0.59 (zenon_Vtl != zenon_Vrf) % 0.27/0.59 (zenon_Vsh != zenon_Vth) % 0.27/0.59 (zenon_Vhp != zenon_Vbk) % 0.27/0.59 (zenon_Vrm != zenon_Vrj) % 0.27/0.59 (zenon_Vnh != zenon_Vni) % 0.27/0.59 (zenon_Vdh != zenon_Vlb) % 0.27/0.59 (r1 zenon_Vef zenon_Vhf) % 0.27/0.59 (zenon_Vzk != zenon_Vje) % 0.27/0.59 (zenon_Vzo != zenon_Vjc) % 0.27/0.59 (zenon_Vmi != zenon_Vpd) % 0.27/0.59 (zenon_Vtn != zenon_Vvc) % 0.27/0.59 (zenon_Vxl != zenon_Vdi) % 0.27/0.59 (zenon_Vbo != zenon_Vne) % 0.27/0.59 (zenon_Vzo != zenon_Vii) % 0.27/0.59 (zenon_Vfm != zenon_Vtb) % 0.27/0.59 (zenon_Vdp != zenon_Vbe) % 0.27/0.59 (r1 zenon_Vpi zenon_Vsi) % 0.27/0.59 (zenon_Vrm != zenon_Vrf) % 0.27/0.59 (zenon_Vzo != zenon_Vfc) % 0.27/0.59 (zenon_Vdp != zenon_Vth) % 0.27/0.59 (zenon_Vhn != zenon_Vxb) % 0.27/0.59 (zenon_Vgj != zenon_Vfc) % 0.27/0.59 (zenon_Vak != zenon_Vdi) % 0.27/0.59 (zenon_Vtn != zenon_Vxi) % 0.27/0.59 (zenon_Vbo != zenon_Vrj) % 0.27/0.59 (zenon_Vhp != zenon_Vqk) % 0.27/0.59 (zenon_Vlp != zenon_Vje) % 0.27/0.59 (zenon_Vxl != zenon_Vre) % 0.27/0.59 (zenon_Vno != zenon_Vyh) % 0.27/0.59 (zenon_Vhn != zenon_Vsi) % 0.27/0.59 (-. (p1 zenon_Vre)) % 0.27/0.59 (zenon_Vxh != zenon_Vsi) % 0.27/0.59 (zenon_Vhn != zenon_Vlf) % 0.27/0.59 (zenon_Vtl != zenon_Vne) % 0.27/0.59 (zenon_Vzk != zenon_Vgk) % 0.27/0.59 (zenon_Vvj != zenon_Vrc) % 0.27/0.59 (zenon_Vno != zenon_Vxi) % 0.27/0.59 (zenon_Vsh != zenon_Vni) % 0.27/0.59 (zenon_Vlp != zenon_Vdd) % 0.27/0.59 (zenon_Vbj != zenon_Vbe) % 0.27/0.59 (r1 zenon_Vcl zenon_Vdl) % 0.27/0.59 (zenon_Vhl != zenon_Vjh) % 0.27/0.59 (zenon_Vkk != zenon_Vxb) % 0.27/0.59 (zenon_Vwi != zenon_Vth) % 0.27/0.59 (zenon_Vjo != zenon_Vag) % 0.27/0.59 (zenon_Vnm != zenon_Vug) % 0.27/0.59 (zenon_Vjg != zenon_Vxi) % 0.27/0.59 (zenon_Vjm != zenon_Vni) % 0.27/0.59 (zenon_Vbo != zenon_Val) % 0.27/0.59 (zenon_Vll != zenon_Vfe) % 0.27/0.59 (zenon_Vfo != zenon_Vrj) % 0.27/0.59 (zenon_Vhl != zenon_Vlk) % 0.27/0.59 (r1 zenon_Voe zenon_Vre) % 0.27/0.59 (zenon_Vhi != zenon_Veh) % 0.27/0.59 (zenon_Vxh != zenon_Vfe) % 0.27/0.59 (zenon_Veg != zenon_Vhd) % 0.27/0.59 (zenon_Vxn != zenon_Vlk) % 0.27/0.59 (zenon_Vtl != zenon_Vth) % 0.27/0.59 (zenon_Veg != zenon_Vjc) % 0.27/0.59 (r1 zenon_Voi zenon_Vti) % 0.27/0.59 (r1 zenon_Vij zenon_Vjj) % 0.27/0.59 (zenon_Vmi != zenon_Vvc) % 0.27/0.59 (zenon_Vll != zenon_Voh) % 0.27/0.59 (zenon_Vtl != zenon_Vcj) % 0.27/0.59 (zenon_Vyg != zenon_Vre) % 0.27/0.59 (zenon_Vog != zenon_Vag) % 0.27/0.59 (zenon_Vhn != zenon_Vfc) % 0.27/0.59 (zenon_Vxn != zenon_Vpg) % 0.27/0.59 (zenon_Vfo != zenon_Vjh) % 0.27/0.59 (zenon_Vyg != zenon_Voh) % 0.27/0.59 (zenon_Vwi != zenon_Vjc) % 0.27/0.59 (zenon_Vjo != zenon_Vxb) % 0.27/0.59 (zenon_Vop != zenon_Vre) % 0.27/0.59 (zenon_Vwi != zenon_Vwj) % 0.27/0.59 (zenon_Vdn != zenon_Vcj) % 0.27/0.59 (zenon_Vtg != zenon_Vag) % 0.27/0.59 (zenon_Vdp != zenon_Vhf) % 0.27/0.59 (zenon_Vzk != zenon_Vvk) % 0.27/0.59 (zenon_Vpn != zenon_Vwj) % 0.27/0.59 (zenon_Vxn != zenon_Vlb) % 0.27/0.59 (zenon_Vrm != zenon_Vxb) % 0.27/0.59 (r1 zenon_Vna zenon_Vcb) % 0.27/0.59 (zenon_Vpk != zenon_Vbc) % 0.27/0.59 (zenon_Vjg != zenon_Vzg) % 0.27/0.59 (zenon_Vyg != zenon_Vlf) % 0.27/0.59 (zenon_Vop != zenon_Vgk) % 0.27/0.59 (-. (p1 zenon_Vvk)) % 0.27/0.59 (zenon_Vqf != zenon_Vrf) % 0.27/0.59 (p1 zenon_Vro) % 0.27/0.59 (zenon_Vog != zenon_Vhb) % 0.27/0.59 (zenon_Vtn != zenon_Vcj) % 0.27/0.59 (zenon_Veg != zenon_Vxb) % 0.27/0.59 (zenon_Vfo != zenon_Vdi) % 0.27/0.59 (zenon_Vuk != zenon_Vbk) % 0.27/0.59 (zenon_Vzo != zenon_Vrj) % 0.27/0.59 (zenon_Vhl != zenon_Vcj) % 0.27/0.59 (zenon_Vrm != zenon_Vzc) % 0.27/0.59 (zenon_Vtg != zenon_Vtd) % 0.27/0.59 (zenon_Vhi != zenon_Vfg) % 0.27/0.59 (zenon_Vbm != zenon_Vhd) % 0.27/0.59 (zenon_Vfk != zenon_Vvc) % 0.27/0.59 (zenon_Vxh != zenon_Val) % 0.27/0.59 (-. (p1 zenon_Vld)) % 0.27/0.59 (zenon_Vjg != zenon_Vbe) % 0.27/0.59 (zenon_Vog != zenon_Val) % 0.27/0.59 (-. (p1 zenon_Vhd)) % 0.27/0.59 (zenon_Vnh != zenon_Vkg) % 0.27/0.59 (zenon_Vih != zenon_Vii) % 0.27/0.59 (zenon_Vfo != zenon_Vni) % 0.27/0.59 (-. (p1 zenon_Vhj)) % 0.27/0.59 (zenon_Vuk != zenon_Vdi) % 0.27/0.59 (zenon_Vbm != zenon_Vzc) % 0.27/0.59 (zenon_Vop != zenon_Vhb) % 0.27/0.59 (r1 zenon_Van zenon_Vdn) % 0.27/0.59 (zenon_Vrm != zenon_Vze) % 0.27/0.59 (zenon_Vjm != zenon_Vvc) % 0.27/0.59 (zenon_Vdn != zenon_Vbk) % 0.27/0.59 (zenon_Vlp != zenon_Vzc) % 0.27/0.59 (zenon_Vkk != zenon_Vlk) % 0.27/0.59 (zenon_Vtn != zenon_Vkg) % 0.27/0.59 (zenon_Vgj != zenon_Vxd) % 0.27/0.59 (zenon_Vdh != zenon_Vrc) % 0.27/0.59 (zenon_Vqj != zenon_Vvk) % 0.27/0.59 (zenon_Vjg != zenon_Vne) % 0.27/0.59 (zenon_Veg != zenon_Vag) % 0.27/0.59 (zenon_Vjg != zenon_Vbc) % 0.27/0.59 (zenon_Vpn != zenon_Vbe) % 0.27/0.59 (zenon_Vhi != zenon_Vpb) % 0.27/0.59 (zenon_Vzf != zenon_Vxi) % 0.27/0.59 (zenon_Vpn != zenon_Voh) % 0.27/0.59 (zenon_Vih != zenon_Vbk) % 0.27/0.59 (zenon_Vxh != zenon_Vrf) % 0.27/0.59 (-. (p1 zenon_Vve)) % 0.27/0.59 (zenon_Vak != zenon_Vhd) % 0.27/0.59 (zenon_Vlj != zenon_Vvk) % 0.27/0.59 (zenon_Vtn != zenon_Vtd) % 0.27/0.59 (zenon_Vbm != zenon_Vnc) % 0.27/0.59 (zenon_Vih != zenon_Vpg) % 0.27/0.59 (zenon_Vjg != zenon_Vni) % 0.27/0.59 (zenon_Vtn != zenon_Vwj) % 0.27/0.59 (zenon_Vlp != zenon_Vii) % 0.27/0.59 (zenon_Vdn != zenon_Vlf) % 0.27/0.59 (zenon_Vpl != zenon_Vfe) % 0.27/0.59 (zenon_Vog != zenon_Vjh) % 0.27/0.59 (zenon_Vog != zenon_Vze) % 0.27/0.59 (zenon_Vtn != zenon_Vrf) % 0.27/0.59 (zenon_Vog != zenon_Vmj) % 0.27/0.59 (zenon_Vzf != zenon_Vjc) % 0.27/0.59 (zenon_Vwi != zenon_Voh) % 0.27/0.59 (zenon_Vzk != zenon_Vjc) % 0.27/0.59 (zenon_Vpk != zenon_Vdi) % 0.27/0.59 (zenon_Vwi != zenon_Vlk) % 0.27/0.59 (zenon_Vih != zenon_Vxd) % 0.27/0.59 (zenon_Vog != zenon_Vtb) % 0.27/0.59 (zenon_Vrm != zenon_Voh) % 0.27/0.59 (zenon_Vmi != zenon_Vxi) % 0.27/0.59 (zenon_Vdp != zenon_Vlf) % 0.27/0.59 (zenon_Vdn != zenon_Vhf) % 0.27/0.59 (zenon_Vrm != zenon_Vbk) % 0.27/0.59 (zenon_Vbj != zenon_Vvk) % 0.27/0.59 (zenon_Vdh != zenon_Vth) % 0.27/0.59 (zenon_Vzf != zenon_Vmj) % 0.27/0.59 (zenon_Vdp != zenon_Vrc) % 0.27/0.59 (r1 zenon_Vkh zenon_Vph) % 0.27/0.59 (zenon_Vln != zenon_Vdi) % 0.27/0.59 (zenon_Vdp != zenon_Vcj) % 0.27/0.59 (p1 zenon_Vdn) % 0.27/0.59 (zenon_Vtl != zenon_Vlb) % 0.27/0.59 (r1 Tau_0 Tau_2) % 0.27/0.59 (zenon_Vuk != zenon_Vyh) % 0.27/0.59 (zenon_Vmi != zenon_Vfe) % 0.27/0.59 (zenon_Vog != zenon_Vbc) % 0.27/0.59 (zenon_Vno != zenon_Voh) % 0.27/0.59 (zenon_Vpk != zenon_Vwj) % 0.27/0.59 (zenon_Vxn != zenon_Vcj) % 0.27/0.59 (zenon_Vhi != zenon_Vvf) % 0.27/0.59 (zenon_Vro != zenon_Vmj) % 0.27/0.59 (zenon_Vno != zenon_Vdd) % 0.27/0.59 (zenon_Vak != zenon_Vlk) % 0.27/0.59 (zenon_Vih != zenon_Vug) % 0.27/0.59 (zenon_Vln != zenon_Vth) % 0.27/0.59 (zenon_Vak != zenon_Vmj) % 0.27/0.59 (zenon_Vsh != zenon_Vbe) % 0.27/0.59 (zenon_Vtl != zenon_Vrj) % 0.27/0.59 (zenon_Vtn != zenon_Vxd) % 0.27/0.59 (zenon_Vjg != zenon_Vhb) % 0.27/0.59 (zenon_Vwi != zenon_Vni) % 0.27/0.59 (zenon_Vtg != zenon_Vdf) % 0.27/0.59 (zenon_Vpl != zenon_Vcj) % 0.27/0.59 (r1 zenon_Vvg zenon_Vah) % 0.27/0.59 (zenon_Vmi != zenon_Vpg) % 0.27/0.59 (zenon_Vop != zenon_Vje) % 0.27/0.59 (zenon_Vzm != zenon_Vvk) % 0.27/0.59 (zenon_Vzo != zenon_Vzg) % 0.27/0.59 (zenon_Vzm != zenon_Vxb) % 0.27/0.59 (zenon_Vih != zenon_Vtd) % 0.27/0.59 (zenon_Vfk != zenon_Vnc) % 0.27/0.59 (zenon_Vfo != zenon_Vpb) % 0.27/0.59 (zenon_Vln != zenon_Vwj) % 0.27/0.59 (zenon_Vbm != zenon_Vni) % 0.27/0.59 (zenon_Vhp != zenon_Val) % 0.27/0.59 (zenon_Vyg != zenon_Vwj) % 0.27/0.59 (zenon_Vpk != zenon_Vcj) % 0.27/0.59 (zenon_Vjm != zenon_Vlk) % 0.27/0.59 (zenon_Vih != zenon_Vkg) % 0.27/0.59 (zenon_Vvo != zenon_Veh) % 0.27/0.59 (zenon_Vno != zenon_Vnc) % 0.27/0.59 (zenon_Vak != zenon_Vrj) % 0.27/0.59 (zenon_Vjm != zenon_Vcj) % 0.27/0.59 (zenon_Vpk != zenon_Vnc) % 0.27/0.59 (r1 zenon_Vxf zenon_Vyf) % 0.27/0.59 (zenon_Vvo != zenon_Vdd) % 0.27/0.59 (r1 zenon_Vip zenon_Vlp) % 0.27/0.59 (zenon_Vdp != zenon_Vvk) % 0.27/0.59 (zenon_Vtl != zenon_Vjc) % 0.27/0.59 (zenon_Vxn != zenon_Vdd) % 0.27/0.59 (zenon_Vci != zenon_Vyh) % 0.27/0.59 (zenon_Vop != zenon_Vvf) % 0.27/0.59 (zenon_Vzo != zenon_Vlb) % 0.27/0.59 (p1 zenon_Vzm) % 0.27/0.59 (zenon_Vhi != zenon_Vxd) % 0.27/0.59 (zenon_Vog != zenon_Vsi) % 0.27/0.59 (zenon_Vdh != zenon_Vzg) % 0.27/0.59 (zenon_Vtg != zenon_Vjh) % 0.27/0.59 (zenon_Vuf != zenon_Vkg) % 0.27/0.59 (zenon_Vwi != zenon_Vof) % 0.27/0.59 (zenon_Vjm != zenon_Vpd) % 0.27/0.59 (zenon_Vmi != zenon_Vbc) % 0.27/0.59 (zenon_Vnm != zenon_Vni) % 0.27/0.59 (zenon_Vyg != zenon_Vje) % 0.27/0.59 (r1 zenon_Vrk zenon_Vwk) % 0.27/0.59 (zenon_Vlp != zenon_Vpb) % 0.27/0.59 (zenon_Vak != zenon_Vsi) % 0.27/0.59 (zenon_Vzf != zenon_Vlk) % 0.27/0.59 (zenon_Vqj != zenon_Vhf) % 0.27/0.59 (zenon_Vuf != zenon_Vld) % 0.27/0.59 (zenon_Vak != zenon_Vug) % 0.27/0.59 (zenon_Vdp != zenon_Vne) % 0.27/0.59 (zenon_Vlj != zenon_Vfe) % 0.27/0.59 (zenon_Vxl != zenon_Vzg) % 0.27/0.59 (zenon_Vbj != zenon_Vrj) % 0.27/0.59 (zenon_Vvo != zenon_Vfc) % 0.27/0.59 (zenon_Vuf != zenon_Vwj) % 0.27/0.59 (zenon_Vvm != zenon_Vcj) % 0.27/0.59 (zenon_Vak != zenon_Vpg) % 0.27/0.59 (zenon_Vsh != zenon_Vvk) % 0.27/0.59 (zenon_Vlp != zenon_Vpd) % 0.27/0.59 (r1 zenon_Vyi zenon_Vzi) % 0.27/0.59 (zenon_Vhl != zenon_Vxi) % 0.27/0.59 (zenon_Vjm != zenon_Vgk) % 0.27/0.59 (zenon_Vdn != zenon_Vof) % 0.27/0.59 (zenon_Vpl != zenon_Vrj) % 0.27/0.59 (zenon_Vop != zenon_Vcj) % 0.27/0.59 (-. (p1 zenon_Vfg)) % 0.27/0.59 (zenon_Vih != zenon_Vdd) % 0.27/0.59 (p1 zenon_Vlp) % 0.27/0.59 (zenon_Vhl != zenon_Vhb) % 0.27/0.59 (zenon_Vtg != zenon_Vhf) % 0.27/0.59 (zenon_Vkk != zenon_Vfe) % 0.27/0.59 (zenon_Vtn != zenon_Vyh) % 0.27/0.59 (zenon_Vhl != zenon_Vrc) % 0.27/0.59 (zenon_Vxh != zenon_Vhb) % 0.27/0.59 (zenon_Vtg != zenon_Vfe) % 0.27/0.59 (zenon_Vvm != zenon_Vtd) % 0.27/0.59 (zenon_Vri != zenon_Vnc) % 0.27/0.59 (r1 Tau_2 zenon_Vsf) % 0.27/0.59 (r1 Tau_2 zenon_Vwf) % 0.27/0.59 (zenon_Vmi != zenon_Vii) % 0.27/0.59 (zenon_Vsh != zenon_Vrj) % 0.27/0.59 (zenon_Veg != zenon_Vfg) % 0.27/0.59 (zenon_Vhl != zenon_Vbc) % 0.27/0.59 (zenon_Vri != zenon_Vlk) % 0.27/0.59 (zenon_Vvm != zenon_Vze) % 0.27/0.59 (zenon_Vln != zenon_Vsi) % 0.27/0.59 (zenon_Vjg != zenon_Vje) % 0.27/0.59 (zenon_Vwi != zenon_Vdf) % 0.27/0.59 (zenon_Vri != zenon_Vlf) % 0.27/0.59 (zenon_Vro != zenon_Vrc) % 0.27/0.59 (zenon_Vdh != zenon_Vtb) % 0.27/0.59 (zenon_Vll != zenon_Vxb) % 0.27/0.59 (zenon_Vbm != zenon_Vfg) % 0.27/0.59 (zenon_Vjg != zenon_Vrc) % 0.27/0.59 (zenon_Veg != zenon_Vgk) % 0.27/0.59 (zenon_Vzf != zenon_Vld) % 0.27/0.59 (zenon_Vgj != zenon_Vdi) % 0.27/0.59 (zenon_Vpk != zenon_Vhd) % 0.27/0.59 (zenon_Vpl != zenon_Vzc) % 0.27/0.59 (zenon_Vdh != zenon_Vdi) % 0.27/0.59 (zenon_Vwi != zenon_Vve) % 0.27/0.59 (zenon_Vpl != zenon_Vlk) % 0.27/0.59 (zenon_Vlj != zenon_Vlk) % 0.27/0.59 (zenon_Vro != zenon_Vni) % 0.27/0.59 (zenon_Vhl != zenon_Vfe) % 0.27/0.59 (zenon_Vak != zenon_Vhf) % 0.27/0.59 (zenon_Vjg != zenon_Vkg) % 0.27/0.59 (zenon_Vmi != zenon_Vxd) % 0.27/0.59 (zenon_Vzm != zenon_Vof) % 0.27/0.59 (zenon_Vxl != zenon_Vgk) % 0.27/0.59 (zenon_Vdn != zenon_Vjh) % 0.27/0.59 (zenon_Vnh != zenon_Vof) % 0.27/0.59 (zenon_Vzm != zenon_Vwj) % 0.27/0.59 (zenon_Vpl != zenon_Vag) % 0.27/0.59 (zenon_Vtl != zenon_Vxi) % 0.27/0.59 (zenon_Vhi != zenon_Vbe) % 0.27/0.59 (zenon_Vjm != zenon_Vxd) % 0.27/0.59 (zenon_Vno != zenon_Vlk) % 0.27/0.59 (zenon_Vop != zenon_Vtb) % 0.27/0.59 (zenon_Vog != zenon_Vni) % 0.27/0.59 (p1 zenon_Vvm) % 0.27/0.59 (zenon_Vxn != zenon_Vug) % 0.27/0.59 (zenon_Vih != zenon_Vlb) % 0.27/0.59 (zenon_Vop != zenon_Vpg) % 0.27/0.59 (zenon_Vxn != zenon_Vhf) % 0.27/0.59 (zenon_Vnm != zenon_Vjc) % 0.27/0.59 (zenon_Vpn != zenon_Vmj) % 0.27/0.59 (zenon_Vsh != zenon_Vrf) % 0.27/0.59 (zenon_Vqf != zenon_Vnc) % 0.27/0.59 (zenon_Vdh != zenon_Vhb) % 0.27/0.59 (zenon_Vdp != zenon_Vwj) % 0.27/0.59 (zenon_Vwi != zenon_Vhd) % 0.27/0.59 (zenon_Vvm != zenon_Vsi) % 0.27/0.59 (zenon_Vfk != zenon_Vug) % 0.27/0.59 (r1 zenon_Vti zenon_Vyi) % 0.27/0.59 (zenon_Vrm != zenon_Vbe) % 0.27/0.59 (zenon_Vvm != zenon_Vbc) % 0.27/0.59 (zenon_Vih != zenon_Veh) % 0.27/0.59 (zenon_Vxh != zenon_Vyh) % 0.27/0.59 (zenon_Vmi != zenon_Vag) % 0.27/0.59 (zenon_Vci != zenon_Vve) % 0.27/0.59 (zenon_Vxl != zenon_Vbk) % 0.27/0.59 (zenon_Vvm != zenon_Vpb) % 0.27/0.59 (zenon_Vpn != zenon_Veh) % 0.27/0.59 (zenon_Vnm != zenon_Vre) % 0.27/0.59 (-. (p1 zenon_Vsi)) % 0.27/0.59 (zenon_Vnm != zenon_Vve) % 0.27/0.59 (zenon_Vtg != zenon_Vlk) % 0.27/0.59 (zenon_Vlp != zenon_Vtd) % 0.27/0.59 (zenon_Vxn != zenon_Vxi) % 0.27/0.59 (zenon_Vpn != zenon_Vne) % 0.27/0.59 (-. (p1 zenon_Vbe)) % 0.27/0.59 (zenon_Vyg != zenon_Vhb) % 0.27/0.59 (zenon_Vkk != zenon_Vzg) % 0.27/0.59 (zenon_Vll != zenon_Vre) % 0.27/0.59 (zenon_Vnm != zenon_Val) % 0.27/0.59 (zenon_Vpl != zenon_Vlb) % 0.27/0.59 (zenon_Vzk != zenon_Vrj) % 0.27/0.59 (zenon_Vbj != zenon_Vlf) % 0.27/0.59 (zenon_Vbj != zenon_Vsi) % 0.27/0.59 (zenon_Vwi != zenon_Vzg) % 0.27/0.59 (zenon_Vih != zenon_Vre) % 0.27/0.59 (zenon_Vkk != zenon_Vlb) % 0.27/0.59 (zenon_Vlp != zenon_Vlf) % 0.27/0.59 (zenon_Vpk != zenon_Vld) % 0.27/0.59 (r1 zenon_Vwk zenon_Vbl) % 0.27/0.59 (zenon_Vkk != zenon_Vii) % 0.27/0.59 (zenon_Vtn != zenon_Vld) % 0.27/0.59 (zenon_Vhp != zenon_Vgk) % 0.27/0.59 (zenon_Vbj != zenon_Vii) % 0.27/0.59 (zenon_Vpn != zenon_Vpd) % 0.27/0.59 (zenon_Veg != zenon_Voh) % 0.27/0.59 (zenon_Vbj != zenon_Voh) % 0.27/0.59 (zenon_Vpl != zenon_Vwj) % 0.27/0.59 (zenon_Vgj != zenon_Vkg) % 0.27/0.59 (zenon_Vzf != zenon_Vhf) % 0.27/0.59 (zenon_Vak != zenon_Vvf) % 0.27/0.59 (zenon_Vlp != zenon_Vxd) % 0.27/0.59 (zenon_Vbj != zenon_Vzg) % 0.27/0.59 (zenon_Vpk != zenon_Veh) % 0.27/0.59 (zenon_Vwi != zenon_Vnc) % 0.27/0.59 (zenon_Vzo != zenon_Vpg) % 0.27/0.59 (zenon_Vqf != zenon_Vrj) % 0.27/0.59 (zenon_Vyg != zenon_Vvf) % 0.27/0.59 (zenon_Vhp != zenon_Vdi) % 0.27/0.59 (zenon_Vsh != zenon_Vof) % 0.27/0.59 (zenon_Vfo != zenon_Vfe) % 0.27/0.59 (zenon_Vll != zenon_Vmj) % 0.27/0.59 (zenon_Vtg != zenon_Vkg) % 0.27/0.59 (zenon_Vwi != zenon_Vzc) % 0.27/0.59 (zenon_Vqj != zenon_Vjh) % 0.27/0.59 (zenon_Vzk != zenon_Vni) % 0.27/0.59 (zenon_Vdp != zenon_Vtb) % 0.27/0.59 (zenon_Vpl != zenon_Vof) % 0.27/0.59 (zenon_Vtl != zenon_Vxb) % 0.27/0.59 (zenon_Vlp != zenon_Vvc) % 0.27/0.59 (zenon_Vhl != zenon_Vsi) % 0.27/0.59 (zenon_Vfm != zenon_Vld) % 0.27/0.59 (zenon_Vgj != zenon_Vve) % 0.27/0.59 (zenon_Vxn != zenon_Vje) % 0.27/0.59 (zenon_Vkk != zenon_Vqk) % 0.27/0.59 (zenon_Vtl != zenon_Vbk) % 0.27/0.59 (r1 zenon_Vfh zenon_Vkh) % 0.27/0.59 (zenon_Vlj != zenon_Vrj) % 0.27/0.59 (zenon_Vdh != zenon_Vbk) % 0.27/0.59 (zenon_Vhl != zenon_Vdf) % 0.27/0.59 (zenon_Vog != zenon_Vdd) % 0.27/0.59 (zenon_Vxl != zenon_Vkg) % 0.27/0.59 (zenon_Vuf != zenon_Vrc) % 0.27/0.59 (p1 zenon_Vdh) % 0.27/0.59 (zenon_Vdh != zenon_Vfg) % 0.27/0.59 (zenon_Vjg != zenon_Vwj) % 0.27/0.59 (zenon_Vhl != zenon_Vkg) % 0.27/0.59 (zenon_Vgj != zenon_Veh) % 0.27/0.59 (zenon_Vbo != zenon_Vje) % 0.27/0.59 (p1 zenon_Vhi) % 0.27/0.59 (zenon_Vmi != zenon_Vcj) % 0.27/0.59 (zenon_Vog != zenon_Vje) % 0.27/0.59 (zenon_Vlj != zenon_Vtb) % 0.27/0.59 (zenon_Vjo != zenon_Vhf) % 0.27/0.59 (zenon_Vlp != zenon_Vof) % 0.27/0.59 (zenon_Vhi != zenon_Vtd) % 0.27/0.59 (zenon_Vuk != zenon_Vxb) % 0.27/0.59 (zenon_Vkk != zenon_Veh) % 0.27/0.59 (zenon_Vri != zenon_Vvf) % 0.27/0.59 (zenon_Vyg != zenon_Val) % 0.27/0.59 (r1 zenon_Vso zenon_Vvo) % 0.27/0.59 (zenon_Vfm != zenon_Vag) % 0.27/0.59 (zenon_Vpk != zenon_Vtd) % 0.27/0.59 (zenon_Vuk != zenon_Vfc) % 0.27/0.59 (zenon_Vbo != zenon_Vdd) % 0.27/0.59 (zenon_Vhl != zenon_Vjc) % 0.27/0.59 (zenon_Vln != zenon_Vvf) % 0.27/0.59 (p1 zenon_Vzk) % 0.27/0.59 (zenon_Vzf != zenon_Val) % 0.27/0.59 (zenon_Vvm != zenon_Vfc) % 0.27/0.59 (zenon_Vdh != zenon_Vne) % 0.27/0.59 (zenon_Vyg != zenon_Vdi) % 0.27/0.59 (zenon_Vyg != zenon_Vof) % 0.27/0.59 (zenon_Vfm != zenon_Vvf) % 0.27/0.59 (zenon_Vog != zenon_Vfe) % 0.27/0.59 (r1 zenon_Vce zenon_Vfe) % 0.27/0.59 (zenon_Vno != zenon_Vdf) % 0.27/0.59 (zenon_Vpl != zenon_Vve) % 0.27/0.59 (zenon_Vqj != zenon_Vzg) % 0.27/0.59 (zenon_Vqj != zenon_Vdi) % 0.27/0.59 (zenon_Vci != zenon_Vhf) % 0.27/0.59 (zenon_Vbj != zenon_Vne) % 0.27/0.59 (zenon_Vpk != zenon_Vne) % 0.27/0.59 (zenon_Vri != zenon_Vhd) % 0.27/0.59 (zenon_Vpk != zenon_Vfg) % 0.27/0.59 (zenon_Vqf != zenon_Vsi) % 0.27/0.59 (zenon_Vnm != zenon_Vzg) % 0.27/0.59 (zenon_Vvo != zenon_Vvc) % 0.27/0.59 (zenon_Vvj != zenon_Vve) % 0.27/0.59 (zenon_Vdp != zenon_Vbc) % 0.27/0.59 (-. (p1 zenon_Vni)) % 0.27/0.59 (zenon_Vjm != zenon_Vth) % 0.27/0.59 (zenon_Vvj != zenon_Vkg) % 0.27/0.59 (zenon_Vro != zenon_Vwj) % 0.27/0.59 (zenon_Vgj != zenon_Vii) % 0.27/0.59 (zenon_Vlp != zenon_Vfc) % 0.27/0.59 (r1 Tau_1 zenon_Vpf) % 0.27/0.59 (zenon_Vxh != zenon_Vhj) % 0.27/0.59 (zenon_Vrm != zenon_Vpb) % 0.27/0.59 (zenon_Vuf != zenon_Vhj) % 0.27/0.59 (zenon_Vzk != zenon_Vrf) % 0.27/0.59 (zenon_Vvo != zenon_Vug) % 0.27/0.59 (zenon_Vfk != zenon_Voh) % 0.27/0.59 (zenon_Vrm != zenon_Vje) % 0.27/0.59 (zenon_Vwi != zenon_Vxd) % 0.27/0.59 (zenon_Vjo != zenon_Vhj) % 0.27/0.59 (zenon_Vdn != zenon_Vii) % 0.27/0.59 (zenon_Vrm != zenon_Vdf) % 0.27/0.59 (zenon_Vpn != zenon_Vvk) % 0.27/0.59 (zenon_Vmi != zenon_Vug) % 0.27/0.59 (zenon_Vjg != zenon_Vlk) % 0.27/0.59 (zenon_Vuk != zenon_Vnc) % 0.27/0.59 (zenon_Vyg != zenon_Vag) % 0.27/0.59 (zenon_Veg != zenon_Vug) % 0.27/0.59 (r1 zenon_Vvg zenon_Vwg) % 0.27/0.59 (zenon_Vjm != zenon_Vnc) % 0.27/0.59 (zenon_Vhn != zenon_Vld) % 0.27/0.59 (zenon_Vgj != zenon_Vzg) % 0.27/0.59 (zenon_Vln != zenon_Vvk) % 0.27/0.59 (zenon_Vvo != zenon_Vbc) % 0.27/0.59 (zenon_Vtg != zenon_Vrc) % 0.27/0.59 (zenon_Vqf != zenon_Vvk) % 0.27/0.59 (zenon_Vhn != zenon_Vxd) % 0.27/0.59 (zenon_Vjo != zenon_Vxi) % 0.27/0.59 (zenon_Veg != zenon_Vvc) % 0.27/0.59 (zenon_Vuk != zenon_Vlk) % 0.27/0.59 (zenon_Vnh != zenon_Vdi) % 0.27/0.59 (zenon_Vhp != zenon_Vhj) % 0.27/0.59 (zenon_Vhl != zenon_Vlf) % 0.27/0.59 (zenon_Vqj != zenon_Vkg) % 0.27/0.59 (zenon_Vfm != zenon_Vof) % 0.27/0.59 (zenon_Vnm != zenon_Vxi) % 0.27/0.59 (r1 zenon_Vzi zenon_Vcj) % 0.27/0.59 (zenon_Vri != zenon_Vre) % 0.27/0.59 (zenon_Vzk != zenon_Vbe) % 0.27/0.59 (zenon_Vuk != zenon_Vve) % 0.27/0.59 (zenon_Vfm != zenon_Vlb) % 0.27/0.59 (zenon_Vak != zenon_Vyh) % 0.27/0.59 (zenon_Vhi != zenon_Vne) % 0.27/0.59 (zenon_Vvm != zenon_Vje) % 0.27/0.59 (zenon_Vfo != zenon_Vfg) % 0.27/0.59 (zenon_Vqf != zenon_Vld) % 0.27/0.59 (zenon_Vdn != zenon_Vkg) % 0.27/0.59 (zenon_Vfo != zenon_Vsi) % 0.27/0.59 (zenon_Vzo != zenon_Vtb) % 0.27/0.59 (r1 zenon_Vkc zenon_Vnc) % 0.27/0.59 (zenon_Vno != zenon_Vhj) % 0.27/0.59 (zenon_Vxl != zenon_Vpb) % 0.27/0.59 (r1 zenon_Vdj zenon_Vej) % 0.27/0.59 (zenon_Vvj != zenon_Vlk) % 0.27/0.59 (zenon_Vbo != zenon_Vni) % 0.27/0.59 (zenon_Vno != zenon_Vpg) % 0.27/0.59 (zenon_Vlj != zenon_Vhj) % 0.27/0.59 (zenon_Vjg != zenon_Vsi) % 0.27/0.59 (zenon_Vfm != zenon_Vze) % 0.27/0.59 (zenon_Vbj != zenon_Vje) % 0.27/0.59 (zenon_Vtn != zenon_Vrc) % 0.27/0.59 (zenon_Vvj != zenon_Vdi) % 0.27/0.59 (zenon_Vnh != zenon_Vag) % 0.27/0.59 (zenon_Vdh != zenon_Voh) % 0.27/0.59 (zenon_Vwi != zenon_Vpd) % 0.27/0.59 (zenon_Veg != zenon_Vhj) % 0.27/0.59 (zenon_Vtg != zenon_Vhd) % 0.27/0.59 (zenon_Vtn != zenon_Vzc) % 0.27/0.59 (r1 zenon_Vel zenon_Vhl) % 0.27/0.59 (zenon_Vxl != zenon_Vsi) % 0.27/0.59 (zenon_Vdh != zenon_Vnc) % 0.27/0.59 (zenon_Vqj != zenon_Vth) % 0.27/0.59 (zenon_Vuf != zenon_Vcj) % 0.27/0.59 (zenon_Vnm != zenon_Vdf) % 0.27/0.59 (zenon_Vpk != zenon_Vre) % 0.27/0.59 (zenon_Vqf != zenon_Vbc) % 0.27/0.59 (zenon_Vjm != zenon_Vdi) % 0.27/0.59 (zenon_Vfk != zenon_Vxb) % 0.27/0.59 (zenon_Vln != zenon_Vlf) % 0.27/0.59 (zenon_Vfo != zenon_Voh) % 0.27/0.59 (zenon_Vbm != zenon_Vje) % 0.27/0.59 (zenon_Vhi != zenon_Vbk) % 0.27/0.59 (zenon_Vzm != zenon_Vpd) % 0.27/0.59 (zenon_Vll != zenon_Vhd) % 0.27/0.59 (r1 zenon_Vui zenon_Vxi) % 0.27/0.59 (zenon_Vhi != zenon_Val) % 0.27/0.59 (zenon_Vdh != zenon_Vmj) % 0.27/0.59 (zenon_Vdh != zenon_Vii) % 0.27/0.59 (zenon_Vbj != zenon_Vhf) % 0.27/0.59 (zenon_Vvm != zenon_Vkg) % 0.27/0.59 (zenon_Vhi != zenon_Vmj) % 0.27/0.59 (zenon_Vci != zenon_Vag) % 0.27/0.59 (zenon_Vtl != zenon_Vld) % 0.27/0.59 (zenon_Vjm != zenon_Vfc) % 0.27/0.59 (zenon_Vci != zenon_Vhj) % 0.27/0.59 (zenon_Vbj != zenon_Vjc) % 0.27/0.59 (zenon_Vfm != zenon_Vzg) % 0.27/0.59 (zenon_Vpl != zenon_Vne) % 0.27/0.59 (zenon_Vuf != zenon_Vbk) % 0.27/0.59 (zenon_Vci != zenon_Vdf) % 0.27/0.59 (r1 zenon_Vik zenon_Vlk) % 0.27/0.59 (zenon_Vbj != zenon_Vcj) % 0.27/0.59 (zenon_Vog != zenon_Vkg) % 0.27/0.59 (zenon_Vuk != zenon_Vze) % 0.27/0.59 (p1 zenon_Vgj) % 0.27/0.59 (zenon_Vbm != zenon_Vth) % 0.27/0.59 (zenon_Vll != zenon_Vkg) % 0.27/0.59 (zenon_Vpl != zenon_Vfg) % 0.27/0.59 (r1 zenon_Vhg zenon_Vig) % 0.27/0.59 (zenon_Vxn != zenon_Vxb) % 0.27/0.59 (zenon_Vzk != zenon_Vof) % 0.27/0.59 (zenon_Vpn != zenon_Vpb) % 0.27/0.59 (zenon_Vzo != zenon_Vsi) % 0.27/0.59 (zenon_Vll != zenon_Vfc) % 0.27/0.59 (zenon_Vwi != zenon_Vsi) % 0.27/0.59 (zenon_Vtn != zenon_Vhd) % 0.27/0.59 (zenon_Vxn != zenon_Vth) % 0.27/0.59 (zenon_Vro != zenon_Vkg) % 0.27/0.59 (zenon_Vdp != zenon_Vjc) % 0.27/0.59 (zenon_Vdn != zenon_Vtd) % 0.27/0.59 (zenon_Vjo != zenon_Vii) % 0.27/0.59 (zenon_Vno != zenon_Vzc) % 0.27/0.59 (zenon_Vri != zenon_Vdf) % 0.27/0.59 (zenon_Vsh != zenon_Vrc) % 0.27/0.59 (zenon_Vyg != zenon_Vrf) % 0.27/0.59 (zenon_Vvo != zenon_Vbe) % 0.27/0.59 (zenon_Vsh != zenon_Vvf) % 0.27/0.59 (zenon_Vkk != zenon_Vdd) % 0.27/0.59 (zenon_Vpl != zenon_Vtb) % 0.27/0.59 (zenon_Vhn != zenon_Vqk) % 0.27/0.59 (zenon_Vvj != zenon_Vpb) % 0.27/0.59 (zenon_Vqf != zenon_Vwj) % 0.27/0.59 (zenon_Vfm != zenon_Vvk) % 0.27/0.59 (zenon_Vuf != zenon_Vze) % 0.27/0.59 (zenon_Vkk != zenon_Vtb) % 0.27/0.59 (zenon_Vln != zenon_Vbc) % 0.27/0.59 (p1 zenon_Vqf) % 0.27/0.59 (zenon_Vzo != zenon_Vof) % 0.27/0.59 (zenon_Vbm != zenon_Vcj) % 0.27/0.59 (zenon_Vfk != zenon_Vhb) % 0.27/0.59 (zenon_Vbo != zenon_Vfe) % 0.27/0.59 (zenon_Vfo != zenon_Vbk) % 0.27/0.59 (zenon_Vrm != zenon_Vof) % 0.27/0.59 (zenon_Vvm != zenon_Vpg) % 0.27/0.59 (zenon_Vhi != zenon_Vrc) % 0.27/0.59 (zenon_Vxh != zenon_Vjc) % 0.27/0.59 (-. (p1 zenon_Vjh)) % 0.27/0.59 (zenon_Vhp != zenon_Vni) % 0.27/0.59 (zenon_Vxl != zenon_Vdd) % 0.27/0.59 (r1 zenon_Voj zenon_Vrj) % 0.27/0.59 (zenon_Vtl != zenon_Vbc) % 0.27/0.59 (zenon_Vak != zenon_Vii) % 0.27/0.59 (zenon_Vci != zenon_Vhb) % 0.27/0.59 (zenon_Vxl != zenon_Vrf) % 0.27/0.59 (zenon_Vpn != zenon_Vpg) % 0.27/0.59 (zenon_Vsh != zenon_Vje) % 0.27/0.59 (zenon_Vri != zenon_Vbe) % 0.27/0.59 (zenon_Vnm != zenon_Vjh) % 0.27/0.59 (zenon_Vdp != zenon_Vhj) % 0.27/0.59 (zenon_Vgj != zenon_Vlk) % 0.27/0.59 (zenon_Vpl != zenon_Vdf) % 0.27/0.59 (zenon_Vfk != zenon_Vld) % 0.27/0.59 (r1 zenon_Vfi zenon_Vgi) % 0.27/0.59 (zenon_Vmi != zenon_Vdf) % 0.27/0.59 (zenon_Vkk != zenon_Voh) % 0.27/0.59 (zenon_Vro != zenon_Vvc) % 0.27/0.59 (zenon_Vtl != zenon_Vvc) % 0.27/0.59 (zenon_Vhp != zenon_Vwj) % 0.27/0.59 (zenon_Vll != zenon_Vrj) % 0.27/0.59 (zenon_Vmi != zenon_Vmj) % 0.27/0.59 (zenon_Vnh != zenon_Vlf) % 0.27/0.59 (zenon_Veg != zenon_Vzc) % 0.27/0.59 (zenon_Vuk != zenon_Vje) % 0.27/0.59 (zenon_Vrm != zenon_Vre) % 0.27/0.59 (zenon_Vfm != zenon_Vrc) % 0.27/0.59 (zenon_Vjo != zenon_Vmj) % 0.27/0.59 (zenon_Vqj != zenon_Vpb) % 0.27/0.59 (zenon_Vop != zenon_Vfc) % 0.27/0.59 (zenon_Vvm != zenon_Vld) % 0.27/0.59 (zenon_Vbo != zenon_Vgk) % 0.27/0.59 (zenon_Vxl != zenon_Vdf) % 0.27/0.59 (zenon_Vvj != zenon_Vjh) % 0.27/0.59 (zenon_Vbj != zenon_Vug) % 0.27/0.59 (zenon_Vkk != zenon_Vve) % 0.27/0.59 (zenon_Vbj != zenon_Vof) % 0.27/0.59 (zenon_Vdn != zenon_Vsi) % 0.27/0.59 (zenon_Vih != zenon_Vtb) % 0.27/0.59 (zenon_Vxn != zenon_Vmj) % 0.27/0.59 (zenon_Vzf != zenon_Vjh) % 0.27/0.59 (zenon_Vjm != zenon_Vbk) % 0.27/0.59 (zenon_Vbo != zenon_Vtd) % 0.27/0.59 (zenon_Vhl != zenon_Vtb) % 0.27/0.59 (zenon_Vll != zenon_Vgk) % 0.27/0.59 (zenon_Vxn != zenon_Vrc) % 0.27/0.59 (zenon_Vhi != zenon_Vag) % 0.27/0.59 (zenon_Vxl != zenon_Vvc) % 0.27/0.59 (zenon_Vqj != zenon_Vbk) % 0.27/0.59 (zenon_Vpk != zenon_Vfe) % 0.27/0.59 (zenon_Vqf != zenon_Vfc) % 0.27/0.59 (zenon_Vhn != zenon_Vvk) % 0.27/0.59 (zenon_Vyg != zenon_Vjh) % 0.27/0.59 (zenon_Vdh != zenon_Vld) % 0.27/0.59 (zenon_Vbj != zenon_Vpd) % 0.27/0.59 (zenon_Vlj != zenon_Vqk) % 0.27/0.59 (zenon_Vsh != zenon_Vxd) % 0.27/0.59 (r1 zenon_Vil zenon_Vll) % 0.27/0.59 (zenon_Vpn != zenon_Vii) % 0.27/0.59 (zenon_Vdn != zenon_Vrf) % 0.27/0.59 (zenon_Vln != zenon_Vpg) % 0.27/0.59 (zenon_Vih != zenon_Vje) % 0.27/0.59 (zenon_Vbj != zenon_Vtb) % 0.27/0.59 (zenon_Vbj != zenon_Val) % 0.27/0.59 (zenon_Vlj != zenon_Vpg) % 0.27/0.59 (zenon_Vbm != zenon_Vvf) % 0.27/0.59 (zenon_Vlj != zenon_Voh) % 0.27/0.59 (zenon_Vci != zenon_Vxi) % 0.27/0.59 (zenon_Vjm != zenon_Vtb) % 0.27/0.59 (zenon_Vpn != zenon_Vvf) % 0.27/0.59 (zenon_Vbo != zenon_Vmj) % 0.27/0.59 (zenon_Vbj != zenon_Vhj) % 0.27/0.59 (zenon_Vrm != zenon_Vtd) % 0.27/0.59 (zenon_Vsh != zenon_Vhf) % 0.27/0.59 (zenon_Vlj != zenon_Val) % 0.27/0.59 (zenon_Vdn != zenon_Vni) % 0.27/0.59 (zenon_Vbm != zenon_Vbc) % 0.27/0.59 (zenon_Vkk != zenon_Vvc) % 0.27/0.59 (zenon_Vzf != zenon_Vbc) % 0.27/0.59 (-. (p1 zenon_Vbk)) % 0.27/0.59 (zenon_Vxh != zenon_Veh) % 0.27/0.59 (zenon_Vhp != zenon_Vvk) % 0.27/0.59 (zenon_Vlj != zenon_Vhf) % 0.27/0.59 (zenon_Vop != zenon_Vjh) % 0.27/0.59 (r1 zenon_Vxf zenon_Vag) % 0.27/0.59 (zenon_Vxl != zenon_Vfg) % 0.27/0.59 (zenon_Vbm != zenon_Vdd) % 0.27/0.59 (zenon_Vlj != zenon_Vpb) % 0.27/0.59 (zenon_Vfk != zenon_Val) % 0.27/0.59 (zenon_Vkk != zenon_Vjh) % 0.27/0.59 (zenon_Vak != zenon_Vvc) % 0.27/0.59 (zenon_Vlj != zenon_Vmj) % 0.27/0.59 (zenon_Vdh != zenon_Vgk) % 0.27/0.59 (zenon_Vuf != zenon_Vhd) % 0.27/0.59 (zenon_Vnm != zenon_Vfc) % 0.27/0.59 (zenon_Vri != zenon_Vrj) % 0.27/0.59 (r1 zenon_Vlh zenon_Voh) % 0.27/0.59 (zenon_Vih != zenon_Vni) % 0.27/0.59 (zenon_Vnh != zenon_Vzg) % 0.27/0.59 (zenon_Vpk != zenon_Vjh) % 0.27/0.59 (zenon_Vzf != zenon_Vag) % 0.27/0.59 (zenon_Vbm != zenon_Vze) % 0.27/0.59 (zenon_Vci != zenon_Vne) % 0.27/0.59 (zenon_Vpk != zenon_Vpg) % 0.27/0.59 (zenon_Vhl != zenon_Vfc) % 0.27/0.59 (zenon_Vll != zenon_Vhj) % 0.27/0.59 (zenon_Vnh != zenon_Vzc) % 0.27/0.59 (zenon_Vvo != zenon_Vne) % 0.27/0.59 (zenon_Vqj != zenon_Vpg) % 0.27/0.59 (zenon_Vrm != zenon_Vxi) % 0.27/0.59 (zenon_Vhn != zenon_Vof) % 0.27/0.59 (zenon_Vxn != zenon_Vtd) % 0.27/0.59 (zenon_Vbm != zenon_Vxd) % 0.27/0.59 (zenon_Vfo != zenon_Vhb) % 0.27/0.59 (zenon_Vzk != zenon_Vag) % 0.27/0.59 (zenon_Vlp != zenon_Vrf) % 0.27/0.59 (zenon_Vvo != zenon_Vpb) % 0.27/0.59 (zenon_Vop != zenon_Vag) % 0.27/0.59 (r1 zenon_Vge zenon_Vje) % 0.27/0.59 (zenon_Vjo != zenon_Vjh) % 0.27/0.59 (zenon_Vlp != zenon_Vld) % 0.27/0.59 (zenon_Vno != zenon_Vwj) % 0.27/0.59 (zenon_Vjo != zenon_Vpg) % 0.27/0.59 (zenon_Vxn != zenon_Vne) % 0.27/0.59 (zenon_Vtl != zenon_Vvf) % 0.27/0.59 (zenon_Vfm != zenon_Vqk) % 0.27/0.59 (zenon_Vtn != zenon_Vlk) % 0.27/0.59 (-. (p1 zenon_Vze)) % 0.27/0.59 (zenon_Vuf != zenon_Vzg) % 0.27/0.59 (zenon_Vll != zenon_Vpg) % 0.27/0.59 (zenon_Vxl != zenon_Voh) % 0.27/0.59 (zenon_Vxn != zenon_Vag) % 0.27/0.59 (zenon_Vjg != zenon_Vfg) % 0.27/0.59 (zenon_Vqf != zenon_Vpd) % 0.27/0.59 (zenon_Vtg != zenon_Vlb) % 0.27/0.59 (zenon_Vlj != zenon_Vhb) % 0.27/0.59 (zenon_Vxh != zenon_Vfc) % 0.27/0.59 (p1 zenon_Vdp) % 0.27/0.59 (zenon_Vvm != zenon_Vjc) % 0.27/0.59 (zenon_Vlj != zenon_Vof) % 0.27/0.59 (zenon_Vbm != zenon_Vug) % 0.27/0.59 (zenon_Vxn != zenon_Voh) % 0.27/0.59 (zenon_Vtg != zenon_Vni) % 0.27/0.59 (zenon_Vhp != zenon_Vjh) % 0.27/0.59 (-. (p1 zenon_Vdd)) % 0.27/0.59 (zenon_Vak != zenon_Vwj) % 0.27/0.59 (zenon_Vbm != zenon_Vhf) % 0.27/0.59 (r1 zenon_Vyn zenon_Vbo) % 0.27/0.59 (zenon_Vbo != zenon_Vjh) % 0.27/0.59 (zenon_Vbj != zenon_Vnc) % 0.27/0.59 (zenon_Vtn != zenon_Vvf) % 0.27/0.59 (zenon_Vri != zenon_Vje) % 0.27/0.59 (-. (p1 zenon_Vpb)) % 0.27/0.59 (zenon_Vqf != zenon_Vgk) % 0.27/0.59 (zenon_Vjg != zenon_Vbk) % 0.27/0.59 (zenon_Vjm != zenon_Vlf) % 0.27/0.59 (zenon_Vhi != zenon_Vjc) % 0.27/0.59 (zenon_Vop != zenon_Vwj) % 0.27/0.59 (zenon_Vjo != zenon_Vld) % 0.27/0.59 (zenon_Vzk != zenon_Vxb) % 0.27/0.59 (zenon_Vog != zenon_Vfc) % 0.27/0.59 (zenon_Vnh != zenon_Vyh) % 0.27/0.59 (zenon_Vlp != zenon_Vvk) % 0.27/0.59 (zenon_Vhp != zenon_Vhd) % 0.27/0.59 (zenon_Vuk != zenon_Vbc) % 0.27/0.59 (zenon_Vnm != zenon_Vcj) % 0.27/0.59 (r1 zenon_Vdj zenon_Vij) % 0.27/0.59 (zenon_Vwi != zenon_Vfg) % 0.27/0.59 (zenon_Vnh != zenon_Voh) % 0.27/0.59 (zenon_Vfo != zenon_Vwj) % 0.27/0.59 (zenon_Vri != zenon_Vpb) % 0.27/0.59 (zenon_Vri != zenon_Veh) % 0.27/0.59 (zenon_Vll != zenon_Vje) % 0.27/0.59 (zenon_Vtn != zenon_Vrj) % 0.27/0.59 (-. (p1 zenon_Vmj)) % 0.27/0.59 (zenon_Vjg != zenon_Vvk) % 0.27/0.59 (zenon_Vfk != zenon_Vtb) % 0.27/0.59 (zenon_Vak != zenon_Vze) % 0.27/0.59 (zenon_Vmi != zenon_Vgk) % 0.27/0.59 (zenon_Vxh != zenon_Vcj) % 0.27/0.59 (zenon_Vbm != zenon_Vyh) % 0.27/0.59 (zenon_Vxl != zenon_Vvf) % 0.27/0.59 (zenon_Vno != zenon_Vzg) % 0.27/0.59 (zenon_Vri != zenon_Vhj) % 0.27/0.59 (zenon_Vxh != zenon_Vwj) % 0.27/0.59 (zenon_Vzo != zenon_Vkg) % 0.27/0.59 (zenon_Vln != zenon_Vlk) % 0.27/0.59 (zenon_Vlj != zenon_Vlf) % 0.27/0.59 (zenon_Vdh != zenon_Vxd) % 0.27/0.59 (zenon_Vci != zenon_Vfc) % 0.27/0.59 (zenon_Vln != zenon_Val) % 0.27/0.59 (zenon_Vuf != zenon_Vug) % 0.27/0.59 (zenon_Vdn != zenon_Vjc) % 0.27/0.59 (zenon_Vzk != zenon_Veh) % 0.27/0.59 (zenon_Vpn != zenon_Vqk) % 0.27/0.59 (zenon_Vzo != zenon_Vxd) % 0.27/0.59 (zenon_Vjg != zenon_Vld) % 0.27/0.59 (zenon_Vzf != zenon_Vzc) % 0.27/0.59 (r1 zenon_Vsj zenon_Vxj) % 0.27/0.59 (zenon_Vyg != zenon_Vpg) % 0.27/0.59 (zenon_Vqf != zenon_Vbe) % 0.27/0.59 (r1 zenon_Vgc zenon_Vjc) % 0.27/0.59 (zenon_Vpl != zenon_Vhf) % 0.27/0.59 (zenon_Vzm != zenon_Vth) % 0.27/0.59 (zenon_Vno != zenon_Vjh) % 0.27/0.59 (zenon_Vno != zenon_Vsi) % 0.27/0.59 (zenon_Vfm != zenon_Vxd) % 0.27/0.59 (zenon_Vwi != zenon_Vvc) % 0.27/0.59 (zenon_Vnh != zenon_Vpb) % 0.27/0.59 (zenon_Vvm != zenon_Vwj) % 0.27/0.59 (zenon_Vro != zenon_Vfe) % 0.27/0.59 (zenon_Vrm != zenon_Vxd) % 0.27/0.59 (zenon_Vzm != zenon_Vag) % 0.27/0.59 (zenon_Vhp != zenon_Vfg) % 0.27/0.59 (zenon_Vtg != zenon_Vbe) % 0.27/0.59 (p1 zenon_Vsh) % 0.27/0.59 (zenon_Vvj != zenon_Vag) % 0.27/0.59 (zenon_Vri != zenon_Vkg) % 0.27/0.59 (zenon_Vjg != zenon_Vqk) % 0.27/0.59 (zenon_Vfk != zenon_Vmj) % 0.27/0.59 (zenon_Vwi != zenon_Vne) % 0.27/0.59 (r1 zenon_Vhk zenon_Vmk) % 0.27/0.59 (zenon_Vuf != zenon_Voh) % 0.27/0.59 (zenon_Vhp != zenon_Vmj) % 0.27/0.59 (zenon_Vog != zenon_Vtd) % 0.27/0.59 (zenon_Vop != zenon_Vtd) % 0.27/0.59 (zenon_Vhn != zenon_Val) % 0.27/0.59 (zenon_Veg != zenon_Vdi) % 0.27/0.59 (zenon_Vjm != zenon_Vfg) % 0.27/0.59 (zenon_Vmi != zenon_Vvk) % 0.27/0.59 (zenon_Vvj != zenon_Vxi) % 0.27/0.59 (zenon_Vci != zenon_Vpg) % 0.27/0.59 (zenon_Vro != zenon_Vth) % 0.27/0.59 (zenon_Vzo != zenon_Veh) % 0.27/0.59 (zenon_Vhp != zenon_Vlk) % 0.27/0.59 (zenon_Vdn != zenon_Vug) % 0.27/0.59 (zenon_Vzf != zenon_Vdf) % 0.27/0.59 (zenon_Veg != zenon_Vlf) % 0.27/0.59 (zenon_Vri != zenon_Vni) % 0.27/0.59 (zenon_Vdp != zenon_Vyh) % 0.27/0.59 (zenon_Vbj != zenon_Vjh) % 0.27/0.59 (zenon_Vqf != zenon_Vqk) % 0.27/0.59 (zenon_Vrm != zenon_Vjc) % 0.27/0.59 (zenon_Vbm != zenon_Vwj) % 0.27/0.59 (zenon_Vno != zenon_Vii) % 0.27/0.59 (zenon_Vyg != zenon_Vjc) % 0.27/0.59 (zenon_Vlj != zenon_Vze) % 0.27/0.59 (zenon_Vlp != zenon_Vve) % 0.27/0.59 (zenon_Vop != zenon_Vze) % 0.27/0.59 (zenon_Vtl != zenon_Vfg) % 0.27/0.59 (zenon_Vro != zenon_Vdf) % 0.27/0.59 (zenon_Vgj != zenon_Vze) % 0.27/0.59 (zenon_Vop != zenon_Vbc) % 0.27/0.59 (r1 zenon_Voj zenon_Vpj) % 0.27/0.59 (zenon_Vbj != zenon_Vwj) % 0.27/0.59 (zenon_Vci != zenon_Vlf) % 0.27/0.59 (zenon_Vpn != zenon_Vze) % 0.27/0.59 (zenon_Vop != zenon_Vth) % 0.27/0.59 (r1 zenon_Vmk zenon_Vnk) % 0.27/0.59 (p1 zenon_Vnm) % 0.27/0.59 (zenon_Vno != zenon_Vtd) % 0.27/0.59 (zenon_Vzm != zenon_Vqk) % 0.27/0.59 (zenon_Vgj != zenon_Vvf) % 0.27/0.59 (zenon_Vfk != zenon_Vxd) % 0.27/0.59 (zenon_Vfo != zenon_Vzc) % 0.27/0.59 (zenon_Vbj != zenon_Vzc) % 0.27/0.59 (zenon_Vfo != zenon_Vbc) % 0.27/0.59 (zenon_Vyg != zenon_Vfe) % 0.27/0.59 (zenon_Vtn != zenon_Vbe) % 0.27/0.59 (zenon_Vwi != zenon_Vdd) % 0.27/0.59 (zenon_Vvo != zenon_Vld) % 0.27/0.59 (zenon_Vbm != zenon_Vpb) % 0.27/0.59 (zenon_Vzf != zenon_Vof) % 0.27/0.59 (zenon_Vfo != zenon_Vag) % 0.27/0.59 (zenon_Vro != zenon_Vtb) % 0.27/0.59 (zenon_Vci != zenon_Vpd) % 0.27/0.59 (zenon_Vfo != zenon_Vvc) % 0.27/0.59 (r1 zenon_Vrg zenon_Vug) % 0.27/0.59 (zenon_Vtl != zenon_Vjh) % 0.27/0.59 (zenon_Vop != zenon_Vdd) % 0.27/0.59 (r1 zenon_Vif zenon_Vlf) % 0.27/0.59 (zenon_Vnh != zenon_Vbe) % 0.27/0.59 (zenon_Vyg != zenon_Vqk) % 0.27/0.59 (zenon_Vro != zenon_Vxd) % 0.27/0.59 (zenon_Vhn != zenon_Vdi) % 0.27/0.59 (zenon_Vhn != zenon_Vni) % 0.27/0.59 (zenon_Vvj != zenon_Vwj) % 0.27/0.59 (zenon_Vtg != zenon_Val) % 0.27/0.59 (zenon_Vro != zenon_Vld) % 0.27/0.59 (zenon_Vih != zenon_Vdf) % 0.27/0.59 (zenon_Vzo != zenon_Vpd) % 0.27/0.59 (zenon_Veg != zenon_Vne) % 0.27/0.59 (zenon_Vdn != zenon_Vne) % 0.27/0.59 (p1 zenon_Vlj) % 0.27/0.59 (zenon_Vhl != zenon_Vzg) % 0.27/0.59 (zenon_Vxn != zenon_Vfc) % 0.27/0.59 (r1 zenon_Vgm zenon_Vjm) % 0.27/0.59 (zenon_Vak != zenon_Vxd) % 0.27/0.59 (zenon_Vhi != zenon_Vhd) % 0.27/0.59 (zenon_Vpn != zenon_Vrc) % 0.27/0.59 (p1 zenon_Vvj) % 0.27/0.59 (zenon_Vll != zenon_Vdi) % 0.27/0.59 (zenon_Vsh != zenon_Vfg) % 0.27/0.59 (zenon_Vuf != zenon_Vxd) % 0.27/0.59 (zenon_Vnm != zenon_Vrc) % 0.27/0.59 (zenon_Vjg != zenon_Vfc) % 0.27/0.59 (zenon_Vjg != zenon_Vnc) % 0.27/0.59 (zenon_Vuf != zenon_Vpd) % 0.27/0.59 (zenon_Vog != zenon_Vdi) % 0.27/0.59 (zenon_Vln != zenon_Vqk) % 0.27/0.59 (zenon_Vci != zenon_Vre) % 0.27/0.59 (zenon_Vln != zenon_Vjc) % 0.27/0.59 (zenon_Vhi != zenon_Vcj) % 0.27/0.59 (zenon_Vjm != zenon_Vdf) % 0.27/0.59 (zenon_Vrm != zenon_Vyh) % 0.27/0.59 (r1 zenon_Vwk zenon_Vxk) % 0.27/0.59 (p1 zenon_Vjm) % 0.27/0.59 (zenon_Vxh != zenon_Vmj) % 0.27/0.59 (zenon_Vmi != zenon_Vje) % 0.27/0.59 (zenon_Vog != zenon_Vjc) % 0.27/0.59 (zenon_Vhn != zenon_Voh) % 0.27/0.59 (zenon_Vjo != zenon_Voh) % 0.27/0.59 (zenon_Vuf != zenon_Vvc) % 0.27/0.59 (zenon_Vak != zenon_Vof) % 0.27/0.59 (zenon_Vpk != zenon_Vvc) % 0.27/0.59 (zenon_Vgj != zenon_Vhd) % 0.27/0.59 (zenon_Vrm != zenon_Vfc) % 0.27/0.59 (zenon_Vzk != zenon_Vyh) % 0.27/0.59 (zenon_Veg != zenon_Vpb) % 0.27/0.59 (zenon_Vak != zenon_Val) % 0.27/0.59 (zenon_Vzm != zenon_Vdf) % 0.27/0.59 (zenon_Vvo != zenon_Vwj) % 0.27/0.59 (zenon_Vzf != zenon_Vrj) % 0.27/0.59 (zenon_Vbm != zenon_Vvc) % 0.27/0.59 (zenon_Vbo != zenon_Vfg) % 0.27/0.59 (zenon_Vhp != zenon_Vlb) % 0.27/0.59 (zenon_Vzo != zenon_Vdi) % 0.27/0.59 (zenon_Vop != zenon_Vmj) % 0.27/0.59 (zenon_Vog != zenon_Vii) % 0.27/0.59 (zenon_Vxh != zenon_Voh) % 0.27/0.59 (zenon_Vjg != zenon_Vxd) % 0.27/0.59 (zenon_Vro != zenon_Vyh) % 0.27/0.59 (zenon_Vlj != zenon_Vdi) % 0.27/0.59 (zenon_Vqf != zenon_Vze) % 0.27/0.59 (zenon_Vln != zenon_Vdd) % 0.27/0.59 (zenon_Vnh != zenon_Vlb) % 0.27/0.59 (zenon_Vak != zenon_Vhj) % 0.27/0.59 (zenon_Vbj != zenon_Vve) % 0.27/0.59 (zenon_Vak != zenon_Vve) % 0.27/0.59 (p1 zenon_Vxn) % 0.27/0.59 (zenon_Vxn != zenon_Vbe) % 0.27/0.59 (zenon_Vpn != zenon_Vdf) % 0.27/0.59 (zenon_Vhn != zenon_Vrj) % 0.27/0.59 (zenon_Vtn != zenon_Vvk) % 0.27/0.59 (zenon_Vqj != zenon_Vsi) % 0.27/0.59 (zenon_Vlj != zenon_Vzc) % 0.27/0.59 (zenon_Vqf != zenon_Voh) % 0.27/0.59 (zenon_Vjo != zenon_Vrc) % 0.27/0.59 (zenon_Vfm != zenon_Vug) % 0.27/0.59 (zenon_Vvj != zenon_Vhf) % 0.27/0.59 (zenon_Vpn != zenon_Vre) % 0.27/0.59 (zenon_Vhn != zenon_Vne) % 0.27/0.59 (zenon_Vfm != zenon_Vdf) % 0.27/0.59 (zenon_Vdp != zenon_Vii) % 0.27/0.59 (zenon_Vjg != zenon_Vfe) % 0.27/0.59 (zenon_Vop != zenon_Vsi) % 0.27/0.59 (zenon_Vkk != zenon_Vxi) % 0.27/0.59 (zenon_Veg != zenon_Vsi) % 0.27/0.59 (zenon_Vvj != zenon_Vze) % 0.27/0.59 (zenon_Vhn != zenon_Vbc) % 0.27/0.59 (zenon_Vyg != zenon_Vzc) % 0.27/0.59 (p1 zenon_Vnh) % 0.27/0.59 (zenon_Vkk != zenon_Vhb) % 0.27/0.59 (zenon_Vgj != zenon_Vnc) % 0.27/0.59 (zenon_Vnh != zenon_Vfc) % 0.27/0.59 (zenon_Vzk != zenon_Val) % 0.27/0.59 (zenon_Vxh != zenon_Vpb) % 0.27/0.59 (zenon_Vdp != zenon_Vug) % 0.27/0.59 (zenon_Vbm != zenon_Vjc) % 0.27/0.59 (zenon_Vjo != zenon_Vlk) % 0.27/0.59 (zenon_Vri != zenon_Vbk) % 0.27/0.59 (zenon_Vnh != zenon_Vvf) % 0.27/0.59 (zenon_Vqf != zenon_Vfg) % 0.27/0.59 (zenon_Vll != zenon_Vni) % 0.27/0.59 (zenon_Vdp != zenon_Vof) % 0.27/0.59 (p1 zenon_Vbm) % 0.27/0.59 (zenon_Vjm != zenon_Vre) % 0.27/0.59 (zenon_Vfm != zenon_Vfc) % 0.27/0.59 (zenon_Vri != zenon_Vfc) % 0.27/0.59 (zenon_Vop != zenon_Vne) % 0.27/0.59 (zenon_Vwi != zenon_Vtb) % 0.27/0.59 (zenon_Vzo != zenon_Vxb) % 0.27/0.59 (zenon_Vgj != zenon_Vbk) % 0.27/0.59 (zenon_Vih != zenon_Vsi) % 0.27/0.59 (p1 zenon_Vno) % 0.27/0.59 (zenon_Vbo != zenon_Voh) % 0.27/0.59 (zenon_Vbj != zenon_Vrf) % 0.27/0.59 (zenon_Vjg != zenon_Vpg) % 0.27/0.59 (zenon_Vbj != zenon_Vqk) % 0.27/0.59 (zenon_Vmi != zenon_Vfg) % 0.27/0.59 (zenon_Vyg != zenon_Vmj) % 0.27/0.59 (zenon_Vro != zenon_Veh) % 0.27/0.59 (zenon_Vuf != zenon_Vbc) % 0.27/0.59 (zenon_Vxn != zenon_Vjc) % 0.27/0.59 (zenon_Vro != zenon_Vlk) % 0.27/0.59 (zenon_Vll != zenon_Vjh) % 0.27/0.59 (zenon_Vuf != zenon_Vdd) % 0.27/0.59 (zenon_Vdn != zenon_Vdf) % 0.27/0.59 (zenon_Vtg != zenon_Vdd) % 0.27/0.59 (zenon_Vkk != zenon_Vgk) % 0.27/0.59 (zenon_Vpn != zenon_Vdd) % 0.27/0.59 (zenon_Vfk != zenon_Vth) % 0.27/0.59 (zenon_Vbm != zenon_Vxi) % 0.27/0.59 (zenon_Vrm != zenon_Vag) % 0.27/0.59 (zenon_Vak != zenon_Vbc) % 0.27/0.59 (r1 zenon_Vnj zenon_Voj) % 0.27/0.59 (zenon_Vyg != zenon_Vrj) % 0.27/0.59 (zenon_Vog != zenon_Vnc) % 0.27/0.59 (zenon_Vxn != zenon_Veh) % 0.27/0.59 (zenon_Vmi != zenon_Vhf) % 0.27/0.59 (zenon_Vvj != zenon_Vtd) % 0.27/0.59 (zenon_Vvj != zenon_Vvf) % 0.27/0.59 (zenon_Veg != zenon_Vlb) % 0.27/0.59 (-. (p1 zenon_Vtd)) % 0.27/0.59 (zenon_Vih != zenon_Vth) % 0.27/0.59 (zenon_Vln != zenon_Vlb) % 0.27/0.59 (zenon_Vwi != zenon_Vmj) % 0.27/0.59 (zenon_Vpn != zenon_Vhd) % 0.27/0.59 (zenon_Vih != zenon_Vpb) % 0.27/0.59 (zenon_Vri != zenon_Vhb) % 0.27/0.59 (zenon_Vop != zenon_Vnc) % 0.27/0.59 (zenon_Vjm != zenon_Vze) % 0.27/0.59 (zenon_Vlj != zenon_Vii) % 0.27/0.59 (zenon_Vpn != zenon_Vfc) % 0.27/0.59 (zenon_Vvm != zenon_Vfg) % 0.27/0.59 (zenon_Vfo != zenon_Vlf) % 0.27/0.59 (zenon_Vzm != zenon_Vrc) % 0.27/0.59 (zenon_Vtn != zenon_Vdi) % 0.27/0.59 (zenon_Vhp != zenon_Vve) % 0.27/0.59 (zenon_Vqj != zenon_Vpd) % 0.27/0.59 (zenon_Vdn != zenon_Vxb) % 0.27/0.59 (zenon_Vlp != zenon_Vlb) % 0.27/0.59 (zenon_Vkk != zenon_Vkg) % 0.27/0.59 (zenon_Vpl != zenon_Vre) % 0.27/0.59 (zenon_Vqj != zenon_Vyh) % 0.27/0.59 (zenon_Vlp != zenon_Vnc) % 0.27/0.59 (zenon_Vkk != zenon_Vld) % 0.27/0.59 (zenon_Vpl != zenon_Vyh) % 0.27/0.59 (zenon_Vjg != zenon_Vth) % 0.27/0.59 (zenon_Vdh != zenon_Val) % 0.27/0.59 (zenon_Vxh != zenon_Vlf) % 0.27/0.59 (zenon_Vvo != zenon_Vvf) % 0.27/0.59 (zenon_Vpl != zenon_Vbc) % 0.27/0.59 (zenon_Vmi != zenon_Vlb) % 0.27/0.59 (zenon_Vjo != zenon_Vhd) % 0.27/0.59 (zenon_Vgj != zenon_Vcj) % 0.27/0.59 (zenon_Veg != zenon_Vve) % 0.27/0.59 (zenon_Vfm != zenon_Vni) % 0.27/0.59 (zenon_Vzm != zenon_Vkg) % 0.27/0.59 (zenon_Vzo != zenon_Vvf) % 0.27/0.59 (zenon_Vfk != zenon_Vlk) % 0.27/0.59 (zenon_Vpk != zenon_Vvf) % 0.27/0.59 (zenon_Vzk != zenon_Vze) % 0.27/0.59 (zenon_Vjm != zenon_Vhb) % 0.27/0.59 (zenon_Vtn != zenon_Vfc) % 0.27/0.59 (p1 zenon_Vak) % 0.27/0.59 (zenon_Vtn != zenon_Vnc) % 0.27/0.59 (zenon_Vjm != zenon_Vhd) % 0.27/0.59 (zenon_Vhp != zenon_Vdf) % 0.27/0.59 (zenon_Vtl != zenon_Vhf) % 0.27/0.59 (zenon_Vzk != zenon_Vre) % 0.27/0.59 (zenon_Vxh != zenon_Vvf) % 0.27/0.59 (zenon_Vnm != zenon_Vqk) % 0.27/0.59 (zenon_Vvo != zenon_Vii) % 0.27/0.59 (zenon_Vzm != zenon_Vnc) % 0.27/0.59 (zenon_Vqj != zenon_Vhb) % 0.27/0.59 (zenon_Vuk != zenon_Vld) % 0.27/0.59 (zenon_Vhn != zenon_Vvc) % 0.27/0.59 (zenon_Vkk != zenon_Vfg) % 0.27/0.59 (zenon_Vyg != zenon_Vtb) % 0.27/0.59 (zenon_Vhp != zenon_Vtb) % 0.27/0.59 (zenon_Vll != zenon_Vve) % 0.27/0.59 (zenon_Vpl != zenon_Vxb) % 0.27/0.59 (zenon_Vwi != zenon_Vag) % 0.27/0.59 (zenon_Vjo != zenon_Vgk) % 0.27/0.59 (zenon_Vdh != zenon_Vdf) % 0.27/0.59 (zenon_Vvj != zenon_Vvk) % 0.27/0.59 (zenon_Vsh != zenon_Vtd) % 0.27/0.59 (r1 zenon_Ven zenon_Vhn) % 0.27/0.59 (zenon_Vpl != zenon_Vni) % 0.27/0.59 (zenon_Vfm != zenon_Vhd) % 0.27/0.59 (zenon_Vsh != zenon_Vjh) % 0.27/0.59 (zenon_Vci != zenon_Vfe) % 0.27/0.59 (zenon_Vnh != zenon_Vje) % 0.27/0.59 (zenon_Vrm != zenon_Vlf) % 0.27/0.59 (zenon_Vnm != zenon_Vpd) % 0.27/0.59 (zenon_Vpk != zenon_Vxb) % 0.27/0.59 (zenon_Vbj != zenon_Vvc) % 0.27/0.59 (zenon_Vhi != zenon_Vof) % 0.27/0.59 (zenon_Vfm != zenon_Vsi) % 0.27/0.59 (zenon_Vbo != zenon_Vth) % 0.27/0.59 (zenon_Vqj != zenon_Vxd) % 0.27/0.59 (zenon_Vkk != zenon_Vre) % 0.27/0.59 (zenon_Vzf != zenon_Vxd) % 0.27/0.59 (zenon_Vpl != zenon_Vxd) % 0.27/0.59 (zenon_Vqj != zenon_Vlb) % 0.27/0.59 (zenon_Vzm != zenon_Vne) % 0.27/0.59 (zenon_Vhi != zenon_Vhj) % 0.27/0.59 (zenon_Vxh != zenon_Vqk) % 0.27/0.59 (zenon_Vlp != zenon_Vag) % 0.27/0.59 (zenon_Vxl != zenon_Vhb) % 0.27/0.59 (zenon_Vbm != zenon_Vmj) % 0.27/0.59 (zenon_Vbj != zenon_Vbk) % 0.27/0.59 (zenon_Vpl != zenon_Vqk) % 0.27/0.59 (zenon_Vln != zenon_Vkg) % 0.27/0.59 (zenon_Vsh != zenon_Voh) % 0.27/0.59 (-. (p1 zenon_Vdf)) % 0.27/0.59 (zenon_Vxn != zenon_Vhj) % 0.27/0.59 (zenon_Vog != zenon_Vfg) % 0.27/0.59 (zenon_Vzo != zenon_Vgk) % 0.27/0.59 (zenon_Vhp != zenon_Vhf) % 0.27/0.59 (zenon_Vpl != zenon_Vhd) % 0.27/0.59 (zenon_Vfk != zenon_Vqk) % 0.27/0.59 (zenon_Vjm != zenon_Vkg) % 0.27/0.59 (zenon_Vfo != zenon_Vrc) % 0.27/0.59 (zenon_Vbo != zenon_Vsi) % 0.27/0.59 (zenon_Vgj != zenon_Vqk) % 0.27/0.59 (zenon_Vlp != zenon_Vrj) % 0.27/0.59 (zenon_Vzm != zenon_Vlf) % 0.27/0.59 (zenon_Vpn != zenon_Vbc) % 0.27/0.59 (zenon_Vuf != zenon_Vne) % 0.27/0.59 (zenon_Vjm != zenon_Vve) % 0.27/0.59 (zenon_Vyg != zenon_Vnc) % 0.27/0.59 (zenon_Vbm != zenon_Vhj) % 0.27/0.59 (zenon_Vsh != zenon_Vvc) % 0.27/0.59 (zenon_Vog != zenon_Vhj) % 0.27/0.59 (r1 zenon_Vmb zenon_Vpb) % 0.27/0.59 (zenon_Vnh != zenon_Vnc) % 0.27/0.59 (zenon_Vuk != zenon_Vug) % 0.27/0.59 (zenon_Vlp != zenon_Vbc) % 0.27/0.59 (zenon_Vxh != zenon_Vve) % 0.27/0.59 (zenon_Vzm != zenon_Vmj) % 0.27/0.59 (zenon_Vzm != zenon_Vcj) % 0.27/0.59 (zenon_Vdh != zenon_Vhd) % 0.27/0.59 (r1 zenon_Vej zenon_Vhj) % 0.27/0.59 (zenon_Vmi != zenon_Vyh) % 0.27/0.59 (-. (p1 zenon_Vii)) % 0.27/0.59 (zenon_Vfk != zenon_Vlf) % 0.27/0.59 (zenon_Vmi != zenon_Vkg) % 0.27/0.59 (zenon_Vfo != zenon_Vyh) % 0.27/0.59 (zenon_Vtl != zenon_Vvk) % 0.27/0.59 (zenon_Vvj != zenon_Vxd) % 0.27/0.59 (zenon_Vll != zenon_Vtb) % 0.27/0.59 (zenon_Vqj != zenon_Vug) % 0.27/0.59 (zenon_Vfk != zenon_Vwj) % 0.27/0.59 (zenon_Vxh != zenon_Vjh) % 0.27/0.59 (zenon_Vuk != zenon_Vhj) % 0.27/0.59 (zenon_Vzm != zenon_Val) % 0.27/0.59 (r1 zenon_Vad zenon_Vdd) % 0.27/0.59 (zenon_Vpk != zenon_Vhf) % 0.27/0.59 (zenon_Vpk != zenon_Vni) % 0.27/0.59 (zenon_Vci != zenon_Val) % 0.27/0.59 (zenon_Vll != zenon_Vlf) % 0.27/0.59 (zenon_Vyg != zenon_Vdd) % 0.27/0.59 (zenon_Vbj != zenon_Vdd) % 0.27/0.59 (r1 zenon_Vyj zenon_Vbk) % 0.27/0.59 (zenon_Vxn != zenon_Val) % 0.27/0.59 (zenon_Vro != zenon_Vpg) % 0.27/0.59 (zenon_Vdh != zenon_Vyh) % 0.27/0.59 (p1 zenon_Vih) % 0.27/0.59 (zenon_Vvm != zenon_Vzg) % 0.27/0.59 (zenon_Vpl != zenon_Vtd) % 0.27/0.59 (zenon_Vvj != zenon_Vbe) % 0.27/0.59 (zenon_Vsh != zenon_Vgk) % 0.27/0.59 (zenon_Vhp != zenon_Vlf) % 0.27/0.59 (zenon_Vmi != zenon_Vzc) % 0.27/0.59 (zenon_Vkk != zenon_Vcj) % 0.27/0.59 (zenon_Vvo != zenon_Vrf) % 0.27/0.59 (zenon_Vvo != zenon_Vhb) % 0.27/0.59 (zenon_Vhn != zenon_Vcj) % 0.27/0.59 (zenon_Vrm != zenon_Vve) % 0.27/0.59 (zenon_Vjm != zenon_Vzc) % 0.27/0.59 (zenon_Vtl != zenon_Vtd) % 0.27/0.59 (zenon_Vhp != zenon_Vag) % 0.27/0.59 (zenon_Vjo != zenon_Vvk) % 0.27/0.59 (zenon_Vhi != zenon_Vxb) % 0.27/0.59 (zenon_Vbj != zenon_Vxb) % 0.27/0.59 (zenon_Vuf != zenon_Vag) % 0.27/0.59 (zenon_Vnh != zenon_Vfe) % 0.27/0.59 (zenon_Vci != zenon_Voh) % 0.27/0.59 (zenon_Vuk != zenon_Vtb) % 0.27/0.59 (zenon_Vdp != zenon_Vxi) % 0.27/0.59 (zenon_Vjm != zenon_Vhj) % 0.27/0.59 (r1 zenon_Vmk zenon_Vrk) % 0.27/0.59 (zenon_Vdn != zenon_Vth) % 0.27/0.59 (zenon_Vjo != zenon_Vth) % 0.27/0.59 (zenon_Vuk != zenon_Vfe) % 0.27/0.59 (zenon_Vhn != zenon_Vrf) % 0.27/0.59 (zenon_Vxh != zenon_Vgk) % 0.27/0.59 (zenon_Vhl != zenon_Vhf) % 0.27/0.59 (zenon_Vvm != zenon_Vrf) % 0.27/0.59 (zenon_Vxh != zenon_Vxi) % 0.27/0.59 (zenon_Vxl != zenon_Vhj) % 0.27/0.59 (zenon_Vfo != zenon_Vhf) % 0.27/0.59 (zenon_Vln != zenon_Vje) % 0.27/0.59 (zenon_Vlp != zenon_Vbe) % 0.27/0.59 (zenon_Vbj != zenon_Vhd) % 0.27/0.59 (zenon_Vtg != zenon_Vsi) % 0.27/0.59 (zenon_Vak != zenon_Vpd) % 0.27/0.59 (zenon_Vzo != zenon_Vxi) % 0.27/0.59 (zenon_Vdh != zenon_Vtd) % 0.27/0.59 (zenon_Vhp != zenon_Vjc) % 0.27/0.59 (zenon_Vqj != zenon_Vrf) % 0.27/0.59 (zenon_Vln != zenon_Vni) % 0.27/0.59 (zenon_Vnm != zenon_Vje) % 0.27/0.59 (zenon_Vci != zenon_Vrj) % 0.27/0.59 (zenon_Vdp != zenon_Vdf) % 0.27/0.59 (zenon_Vno != zenon_Vbe) % 0.27/0.59 (zenon_Vdp != zenon_Vhd) % 0.27/0.59 (zenon_Vbo != zenon_Vyh) % 0.27/0.59 (zenon_Vpk != zenon_Vpd) % 0.27/0.59 (zenon_Vjo != zenon_Vpb) % 0.27/0.59 (zenon_Vfo != zenon_Vof) % 0.27/0.59 (zenon_Vvo != zenon_Vdf) % 0.27/0.59 (zenon_Vbj != zenon_Vtd) % 0.27/0.59 (-. (p1 zenon_Vgk)) % 0.27/0.59 (zenon_Vvj != zenon_Vhj) % 0.27/0.59 (zenon_Vtl != zenon_Vzg) % 0.27/0.59 (zenon_Vlp != zenon_Vcj) % 0.27/0.59 (zenon_Vln != zenon_Vld) % 0.27/0.59 (zenon_Vkk != zenon_Vni) % 0.27/0.59 (zenon_Vhl != zenon_Vve) % 0.27/0.59 (zenon_Vlj != zenon_Vne) % 0.27/0.59 (zenon_Vwi != zenon_Vlf) % 0.27/0.59 (zenon_Veg != zenon_Vje) % 0.27/0.59 (zenon_Vfk != zenon_Vsi) % 0.27/0.59 (zenon_Vpn != zenon_Vjh) % 0.27/0.59 (p1 zenon_Vxh) % 0.27/0.59 (zenon_Vzf != zenon_Vyh) % 0.27/0.59 (zenon_Vtg != zenon_Vug) % 0.27/0.59 (zenon_Vog != zenon_Vcj) % 0.27/0.59 (zenon_Vdn != zenon_Vhd) % 0.27/0.59 (zenon_Vxn != zenon_Vpb) % 0.27/0.59 (zenon_Vtl != zenon_Vii) % 0.27/0.59 (zenon_Vxh != zenon_Vze) % 0.27/0.59 (zenon_Vjo != zenon_Vsi) % 0.27/0.59 (zenon_Veg != zenon_Vqk) % 0.27/0.59 (zenon_Vno != zenon_Vhd) % 0.27/0.59 (zenon_Vop != zenon_Vhf) % 0.27/0.59 (zenon_Vqf != zenon_Vlb) % 0.27/0.59 (zenon_Vll != zenon_Vne) % 0.27/0.59 (zenon_Vrm != zenon_Vpg) % 0.27/0.59 (zenon_Vnh != zenon_Vug) % 0.27/0.59 (r1 zenon_Vyd zenon_Vbe) % 0.27/0.59 (zenon_Vyg != zenon_Vvk) % 0.27/0.59 (zenon_Vgj != zenon_Vbe) % 0.27/0.59 (zenon_Veg != zenon_Vbc) % 0.27/0.59 (zenon_Vpn != zenon_Vxi) % 0.27/0.59 (zenon_Vlj != zenon_Vjc) % 0.27/0.59 (zenon_Vqj != zenon_Vii) % 0.27/0.59 (zenon_Vzk != zenon_Vtd) % 0.27/0.59 (-. (p2 zenon_Vdl)) % 0.27/0.59 (zenon_Vnm != zenon_Veh) % 0.27/0.59 (zenon_Vnm != zenon_Vtb) % 0.27/0.59 (zenon_Vpk != zenon_Vrf) % 0.27/0.59 (zenon_Vbj != zenon_Vpg) % 0.27/0.59 (zenon_Vwi != zenon_Vcj) % 0.27/0.59 (zenon_Vdn != zenon_Vzg) % 0.27/0.59 (p1 zenon_Vpl) % 0.27/0.59 (zenon_Vno != zenon_Vgk) % 0.27/0.59 (zenon_Vtg != zenon_Veh) % 0.27/0.59 (zenon_Vog != zenon_Vqk) % 0.27/0.59 (zenon_Vzo != zenon_Vbk) % 0.27/0.59 (zenon_Vjm != zenon_Veh) % 0.27/0.59 (zenon_Vtg != zenon_Vxi) % 0.27/0.59 (zenon_Vgj != zenon_Vhj) % 0.27/0.59 (zenon_Vtg != zenon_Voh) % 0.27/0.59 (zenon_Vno != zenon_Vug) % 0.27/0.59 (zenon_Vyg != zenon_Vld) % 0.27/0.59 (zenon_Vci != zenon_Vld) % 0.27/0.59 (zenon_Vbm != zenon_Vrc) % 0.27/0.59 (zenon_Vdp != zenon_Vdi) % 0.27/0.59 (zenon_Vih != zenon_Vpd) % 0.27/0.59 (zenon_Vuf != zenon_Vvk) % 0.27/0.59 (zenon_Vfk != zenon_Vcj) % 0.27/0.59 (zenon_Vln != zenon_Vvc) % 0.27/0.59 (zenon_Vvj != zenon_Vpg) % 0.27/0.59 (zenon_Vll != zenon_Vzc) % 0.27/0.59 (r1 zenon_Vki zenon_Vni) % 0.27/0.59 (zenon_Vri != zenon_Vlb) % 0.27/0.59 (zenon_Vwi != zenon_Vxb) % 0.27/0.59 (zenon_Vbo != zenon_Vbk) % 0.27/0.59 (zenon_Vmi != zenon_Vlf) % 0.27/0.59 (zenon_Vzo != zenon_Vhb) % 0.27/0.59 (-. (p1 zenon_Vag)) % 0.27/0.59 (zenon_Vdp != zenon_Val) % 0.27/0.59 (zenon_Vtl != zenon_Vxd) % 0.27/0.59 (zenon_Vhp != zenon_Vxi) % 0.27/0.59 (zenon_Vmi != zenon_Voh) % 0.27/0.59 (zenon_Vxn != zenon_Vdi) % 0.27/0.59 (zenon_Vzk != zenon_Vxd) % 0.27/0.59 (zenon_Vri != zenon_Vjc) % 0.27/0.59 (zenon_Vih != zenon_Vze) % 0.27/0.59 (zenon_Vjm != zenon_Vjc) % 0.27/0.59 (zenon_Vkk != zenon_Vth) % 0.27/0.59 (zenon_Vtl != zenon_Vyh) % 0.27/0.59 (zenon_Vuf != zenon_Vre) % 0.27/0.59 (zenon_Vjo != zenon_Vrf) % 0.27/0.59 (zenon_Vxh != zenon_Vdi) % 0.27/0.59 (zenon_Vll != zenon_Vhb) % 0.27/0.59 (zenon_Vjg != zenon_Vii) % 0.27/0.59 (zenon_Vvo != zenon_Vnc) % 0.27/0.59 (r1 zenon_Vhk zenon_Vik) % 0.27/0.59 (zenon_Vdp != zenon_Veh) % 0.27/0.59 (zenon_Vyg != zenon_Vxi) % 0.27/0.59 (zenon_Vno != zenon_Vag) % 0.27/0.59 (zenon_Vln != zenon_Vug) % 0.27/0.59 (zenon_Vjm != zenon_Vdd) % 0.27/0.59 (zenon_Vhi != zenon_Vbc) % 0.27/0.59 (zenon_Vhp != zenon_Vkg) % 0.27/0.59 (zenon_Vhi != zenon_Vth) % 0.27/0.59 (p1 zenon_Vpk) % 0.27/0.59 (zenon_Vhl != zenon_Vrf) % 0.27/0.59 (zenon_Vqf != zenon_Vug) % 0.27/0.59 (zenon_Vdh != zenon_Vxi) % 0.27/0.59 (zenon_Vfm != zenon_Vne) % 0.27/0.59 (zenon_Vzo != zenon_Vlk) % 0.27/0.59 (zenon_Vqf != zenon_Vtb) % 0.27/0.59 (zenon_Vjo != zenon_Vbe) % 0.27/0.59 (r1 Tau_1 zenon_Vrf) % 0.27/0.59 (zenon_Vlp != zenon_Vgk) % 0.27/0.59 (zenon_Vhn != zenon_Vre) % 0.27/0.59 (zenon_Vih != zenon_Vbc) % 0.27/0.59 (zenon_Vdn != zenon_Vrc) % 0.27/0.59 (zenon_Vtg != zenon_Vvk) % 0.27/0.59 (zenon_Vnh != zenon_Vth) % 0.27/0.59 (zenon_Vbo != zenon_Vxb) % 0.27/0.59 (zenon_Vak != zenon_Vrf) % 0.27/0.59 (zenon_Vjm != zenon_Vld) % 0.27/0.59 (zenon_Vfk != zenon_Vii) % 0.27/0.59 (zenon_Vfm != zenon_Vhb) % 0.27/0.59 (zenon_Vjm != zenon_Vrj) % 0.27/0.59 (zenon_Vwi != zenon_Vrc) % 0.27/0.59 (zenon_Vxh != zenon_Vzc) % 0.27/0.59 (zenon_Vop != zenon_Vii) % 0.27/0.59 (zenon_Vzo != zenon_Vfe) % 0.27/0.59 (zenon_Vqf != zenon_Vlk) % 0.27/0.59 (zenon_Vvm != zenon_Vzc) % 0.27/0.59 (zenon_Vgj != zenon_Vje) % 0.27/0.59 (zenon_Vro != zenon_Vgk) % 0.27/0.59 (zenon_Vfo != zenon_Vld) % 0.27/0.59 (zenon_Vzo != zenon_Vvc) % 0.27/0.59 (zenon_Vhl != zenon_Vni) % 0.27/0.59 (zenon_Vxh != zenon_Vpg) % 0.27/0.59 (zenon_Vtn != zenon_Vhb) % 0.27/0.59 (zenon_Vno != zenon_Vhb) % 0.27/0.59 (zenon_Vzo != zenon_Vvk) % 0.27/0.59 (zenon_Vln != zenon_Vtb) % 0.27/0.59 (zenon_Vtg != zenon_Vcj) % 0.27/0.59 (zenon_Vzo != zenon_Vbc) % 0.27/0.59 (zenon_Vfm != zenon_Vfg) % 0.27/0.59 (zenon_Vdn != zenon_Vpb) % 0.27/0.59 (zenon_Vjo != zenon_Vbc) % 0.27/0.59 (zenon_Vuk != zenon_Vxi) % 0.27/0.59 (r1 zenon_Vik zenon_Vjk) % 0.27/0.59 (zenon_Vbo != zenon_Vdi) % 0.27/0.59 (zenon_Vih != zenon_Vjh) % 0.27/0.59 (r1 zenon_Vnj zenon_Vsj) % 0.27/0.59 (r1 zenon_Vql zenon_Vtl) % 0.27/0.59 (zenon_Vhi != zenon_Vve) % 0.27/0.59 (zenon_Vxn != zenon_Vpd) % 0.27/0.59 (r1 zenon_Vmg zenon_Vpg) % 0.27/0.59 (zenon_Vxl != zenon_Vof) % 0.27/0.59 (p1 zenon_Vhn) % 0.27/0.59 (zenon_Vnm != zenon_Vhb) % 0.27/0.59 (r1 zenon_Vui zenon_Vvi) % 0.27/0.59 (zenon_Vhn != zenon_Vbe) % 0.27/0.59 (zenon_Vnm != zenon_Vlb) % 0.27/0.59 (zenon_Vnh != zenon_Vwj) % 0.27/0.59 (zenon_Vlp != zenon_Vdf) % 0.27/0.59 (zenon_Vtg != zenon_Vzc) % 0.27/0.59 (zenon_Vuf != zenon_Vmj) % 0.27/0.59 (zenon_Vzm != zenon_Vhf) % 0.27/0.59 (zenon_Vdn != zenon_Vfg) % 0.27/0.59 (r1 zenon_Vcg zenon_Vdg) % 0.27/0.59 (zenon_Vpk != zenon_Vhj) % 0.27/0.59 (zenon_Vri != zenon_Vdi) % 0.27/0.59 (zenon_Vhn != zenon_Vdd) % 0.27/0.59 (zenon_Vbj != zenon_Vag) % 0.27/0.59 (zenon_Vln != zenon_Vpb) % 0.27/0.59 (r1 zenon_Vlg zenon_Vmg) % 0.27/0.59 (p1 zenon_Vbo) % 0.27/0.59 (r1 zenon_Vap zenon_Vdp) % 0.27/0.59 (zenon_Vno != zenon_Vvk) % 0.27/0.59 (p1 zenon_Vzo) % 0.27/0.59 (zenon_Vog != zenon_Vxi) % 0.27/0.59 (zenon_Vfm != zenon_Vlk) % 0.27/0.59 (zenon_Vhl != zenon_Vld) % 0.27/0.59 (zenon_Vkk != zenon_Vze) % 0.27/0.59 (zenon_Vll != zenon_Vqk) % 0.27/0.59 (zenon_Vzf != zenon_Vwj) % 0.27/0.59 (zenon_Vdn != zenon_Vvc) % 0.27/0.59 (zenon_Vfo != zenon_Vkg) % 0.27/0.59 (zenon_Vqf != zenon_Vag) % 0.27/0.59 (zenon_Veg != zenon_Vmj) % 0.27/0.59 (zenon_Vih != zenon_Vfe) % 0.27/0.59 (zenon_Vrm != zenon_Vhj) % 0.27/0.59 (zenon_Vln != zenon_Vhf) % 0.27/0.59 (zenon_Vuk != zenon_Vvf) % 0.27/0.59 (zenon_Vsh != zenon_Vpg) % 0.27/0.59 (zenon_Vdh != zenon_Vfc) % 0.27/0.59 (zenon_Vci != zenon_Vzc) % 0.27/0.59 (zenon_Vih != zenon_Vag) % 0.27/0.59 (zenon_Vfk != zenon_Vvk) % 0.27/0.59 (zenon_Vvj != zenon_Vzg) % 0.27/0.59 (zenon_Vjm != zenon_Vtd) % 0.27/0.59 (zenon_Vqf != zenon_Vfe) % 0.27/0.59 (zenon_Vvm != zenon_Vth) % 0.27/0.59 (zenon_Vxn != zenon_Vtb) % 0.27/0.59 (zenon_Vnm != zenon_Voh) % 0.27/0.59 (zenon_Vln != zenon_Vhb) % 0.27/0.59 (zenon_Vhi != zenon_Vnc) % 0.27/0.59 (zenon_Vog != zenon_Vbk) % 0.27/0.59 (zenon_Vlp != zenon_Vbk) % 0.27/0.59 (zenon_Vdn != zenon_Vld) % 0.27/0.59 (r1 zenon_Vnk zenon_Vqk) % 0.27/0.59 (zenon_Vuf != zenon_Vdi) % 0.27/0.59 (zenon_Vhi != zenon_Vje) % 0.27/0.59 (zenon_Vpk != zenon_Vze) % 0.27/0.59 (zenon_Vdn != zenon_Vdd) % 0.27/0.59 (zenon_Vdh != zenon_Vbe) % 0.27/0.59 (zenon_Vpk != zenon_Vzc) % 0.27/0.59 (zenon_Vdn != zenon_Vfc) % 0.27/0.59 (zenon_Vgj != zenon_Vbc) % 0.27/0.59 (zenon_Vop != zenon_Vxd) % 0.27/0.59 (zenon_Vxn != zenon_Vzc) % 0.27/0.59 (zenon_Vno != zenon_Vof) % 0.27/0.59 (zenon_Vzo != zenon_Vve) % 0.27/0.59 (zenon_Vwi != zenon_Vgk) % 0.27/0.59 (zenon_Vpl != zenon_Voh) % 0.27/0.59 (zenon_Vtg != zenon_Vpg) % 0.27/0.59 (zenon_Vuk != zenon_Vpb) % 0.27/0.59 (zenon_Vuk != zenon_Vpd) % 0.27/0.59 (zenon_Vjo != zenon_Vvf) % 0.27/0.59 (zenon_Vxl != zenon_Vrj) % 0.27/0.59 (zenon_Vfm != zenon_Val) % 0.27/0.59 (zenon_Vvo != zenon_Vjh) % 0.27/0.59 (zenon_Vkk != zenon_Vpd) % 0.27/0.59 (r1 zenon_Vyi zenon_Vdj) % 0.27/0.59 (zenon_Vlp != zenon_Vfg) % 0.27/0.59 (zenon_Vri != zenon_Vxi) % 0.27/0.59 (zenon_Vvm != zenon_Vdi) % 0.27/0.59 (zenon_Vqj != zenon_Vhd) % 0.27/0.59 (zenon_Vtl != zenon_Vdd) % 0.27/0.59 (zenon_Vfo != zenon_Vxb) % 0.27/0.59 (zenon_Vop != zenon_Vlk) % 0.27/0.59 (zenon_Vdh != zenon_Vhj) % 0.27/0.59 (zenon_Vzf != zenon_Vkg) % 0.27/0.59 (zenon_Vxh != zenon_Vof) % 0.27/0.59 (zenon_Vsh != zenon_Vhd) % 0.27/0.59 (zenon_Vqj != zenon_Val) % 0.27/0.59 (zenon_Vqf != zenon_Vvf) % 0.27/0.59 (zenon_Vgj != zenon_Vvk) % 0.27/0.59 (zenon_Vzm != zenon_Vbc) % 0.27/0.59 (zenon_Vzk != zenon_Vmj) % 0.27/0.59 (zenon_Vbo != zenon_Vkg) % 0.27/0.59 (zenon_Vhl != zenon_Vzc) % 0.27/0.59 (zenon_Vnm != zenon_Vth) % 0.27/0.59 (zenon_Vno != zenon_Vbk) % 0.27/0.59 (zenon_Vxh != zenon_Vtd) % 0.27/0.59 (zenon_Vdp != zenon_Vxd) % 0.27/0.59 (zenon_Vdh != zenon_Vzc) % 0.27/0.59 (zenon_Vzf != zenon_Vze) % 0.27/0.59 (p1 zenon_Vog) % 0.27/0.59 (zenon_Vfk != zenon_Vag) % 0.27/0.59 (zenon_Vro != zenon_Vbk) % 0.27/0.59 (zenon_Vqf != zenon_Vne) % 0.27/0.59 (zenon_Vmi != zenon_Vrf) % 0.27/0.59 (zenon_Vvo != zenon_Vmj) % 0.27/0.59 (-. (p1 zenon_Vlk)) % 0.27/0.59 (zenon_Vjo != zenon_Vkg) % 0.27/0.59 (zenon_Vno != zenon_Vmj) % 0.27/0.59 (zenon_Vlp != zenon_Vvf) % 0.27/0.59 (zenon_Vlp != zenon_Vtb) % 0.27/0.59 (zenon_Vpl != zenon_Val) % 0.27/0.59 (zenon_Vsh != zenon_Vnc) % 0.27/0.59 (p1 zenon_Vuk) % 0.27/0.59 (zenon_Vbo != zenon_Vhj) % 0.27/0.59 (zenon_Vuf != zenon_Vdf) % 0.27/0.59 (zenon_Vtn != zenon_Vxb) % 0.27/0.59 (zenon_Vtg != zenon_Vfc) % 0.27/0.59 (zenon_Vdh != zenon_Vqk) % 0.27/0.59 (zenon_Vgj != zenon_Vjh) % 0.27/0.59 (zenon_Vqf != zenon_Vhb) % 0.27/0.59 (zenon_Vtl != zenon_Vhb) % 0.27/0.59 (zenon_Vpn != zenon_Vje) % 0.27/0.59 (zenon_Vuf != zenon_Vpg) % 0.27/0.59 (zenon_Vfm != zenon_Vbc) % 0.27/0.59 (zenon_Vwi != zenon_Vlb) % 0.27/0.59 (zenon_Vak != zenon_Vje) % 0.27/0.59 (zenon_Vvo != zenon_Vhj) % 0.27/0.59 (zenon_Vpl != zenon_Vpg) % 0.27/0.59 (zenon_Vkk != zenon_Vrc) % 0.27/0.59 (zenon_Vci != zenon_Vvk) % 0.27/0.59 (zenon_Vrm != zenon_Vcj) % 0.27/0.59 (zenon_Vdn != zenon_Vre) % 0.27/0.59 (zenon_Vop != zenon_Vxi) % 0.27/0.59 (zenon_Vno != zenon_Vvf) % 0.27/0.59 (zenon_Vhp != zenon_Vbc) % 0.27/0.59 (zenon_Vop != zenon_Vzc) % 0.27/0.59 (zenon_Vnm != zenon_Vrf) % 0.27/0.59 (zenon_Vzf != zenon_Vug) % 0.27/0.59 (zenon_Vlp != zenon_Vmj) % 0.27/0.59 (zenon_Vvj != zenon_Vfg) % 0.27/0.59 (-. (p1 zenon_Vxi)) % 0.27/0.59 (zenon_Vih != zenon_Vzc) % 0.27/0.59 (zenon_Vsh != zenon_Vhb) % 0.27/0.59 (r1 zenon_Vib zenon_Vlb) % 0.27/0.59 (zenon_Vog != zenon_Vrc) % 0.27/0.59 (zenon_Vwi != zenon_Vxi) % 0.27/0.59 (zenon_Vzf != zenon_Vdi) % 0.27/0.59 (zenon_Vlp != zenon_Vpg) % 0.27/0.59 (zenon_Vhi != zenon_Vrf) % 0.27/0.59 (zenon_Vvm != zenon_Vbk) % 0.27/0.59 (zenon_Vmi != zenon_Vre) % 0.27/0.59 (zenon_Vri != zenon_Vbc) % 0.27/0.59 (zenon_Vop != zenon_Vdf) % 0.27/0.59 (zenon_Vfm != zenon_Vpd) % 0.27/0.59 (zenon_Vbo != zenon_Vtb) % 0.27/0.59 (zenon_Vjg != zenon_Vmj) % 0.27/0.59 (zenon_Vjo != zenon_Vlf) % 0.27/0.59 (zenon_Vri != zenon_Vdd) % 0.27/0.59 (zenon_Vbo != zenon_Vrc) % 0.27/0.59 (zenon_Vzk != zenon_Vjh) % 0.27/0.59 (zenon_Vdp != zenon_Vdd) % 0.27/0.59 (zenon_Vnm != zenon_Vlk) % 0.27/0.59 (zenon_Vbm != zenon_Vdi) % 0.27/0.59 (zenon_Vhi != zenon_Vhf) % 0.27/0.59 (-. (p1 zenon_Vth)) % 0.27/0.59 (zenon_Vdp != zenon_Vvc) % 0.27/0.59 (zenon_Vpn != zenon_Vlk) % 0.27/0.59 (zenon_Vog != zenon_Vdf) % 0.27/0.59 (r1 zenon_Vdk zenon_Vek) % 0.27/0.59 (zenon_Vpn != zenon_Vtd) % 0.27/0.59 (-. (p1 zenon_Vug)) % 0.27/0.59 (zenon_Vzm != zenon_Vrj) % 0.27/0.59 (zenon_Vbm != zenon_Vii) % 0.27/0.59 (zenon_Vkk != zenon_Vdf) % 0.27/0.59 (zenon_Vjg != zenon_Vpd) % 0.27/0.59 (zenon_Vtl != zenon_Voh) % 0.27/0.59 (zenon_Vnh != zenon_Vhf) % 0.27/0.59 (zenon_Vfo != zenon_Vbe) % 0.27/0.59 (zenon_Vpk != zenon_Vdd) % 0.27/0.59 (zenon_Vhl != zenon_Vof) % 0.27/0.59 (zenon_Vbj != zenon_Vfc) % 0.27/0.59 (zenon_Vhi != zenon_Vlb) % 0.27/0.59 (zenon_Vxl != zenon_Vth) % 0.27/0.59 (zenon_Vln != zenon_Vjh) % 0.27/0.59 (zenon_Vfk != zenon_Vzc) % 0.27/0.59 (-. (p1 zenon_Vlb)) % 0.27/0.59 (zenon_Vhn != zenon_Vpg) % 0.27/0.59 (zenon_Veg != zenon_Vth) % 0.27/0.59 (r1 zenon_Vko zenon_Vno) % 0.27/0.59 (zenon_Vln != zenon_Vfe) % 0.27/0.59 (zenon_Vro != zenon_Vvk) % 0.27/0.59 (zenon_Vvo != zenon_Vlb) % 0.27/0.59 (zenon_Vak != zenon_Vhb) % 0.27/0.59 (zenon_Vvo != zenon_Vje) % 0.27/0.59 (zenon_Vqj != zenon_Vfe) % 0.27/0.59 (zenon_Vhn != zenon_Vii) % 0.27/0.59 (zenon_Vzm != zenon_Vfe) % 0.27/0.59 (zenon_Vvo != zenon_Vdi) % 0.27/0.59 (zenon_Vpn != zenon_Vlb) % 0.27/0.59 (zenon_Vuf != zenon_Vof) % 0.27/0.59 (zenon_Vpn != zenon_Val) % 0.27/0.59 (zenon_Vlj != zenon_Vnc) % 0.27/0.59 (zenon_Vxh != zenon_Vje) % 0.27/0.59 (zenon_Vdp != zenon_Vsi) % 0.27/0.59 (zenon_Vnh != zenon_Vhd) % 0.27/0.59 (zenon_Vnh != zenon_Vhj) % 0.27/0.59 (zenon_Vzf != zenon_Vfg) % 0.27/0.59 (zenon_Vsh != zenon_Vjc) % 0.27/0.59 (zenon_Vhn != zenon_Vpb) % 0.27/0.59 (zenon_Vln != zenon_Vfg) % 0.27/0.59 (zenon_Vbj != zenon_Vfe) % 0.27/0.59 (zenon_Vhi != zenon_Vpg) % 0.27/0.59 (zenon_Vqf != zenon_Vii) % 0.27/0.59 (zenon_Vxl != zenon_Vhd) % 0.27/0.59 (zenon_Vzo != zenon_Vne) % 0.27/0.59 (zenon_Vyg != zenon_Vhf) % 0.27/0.59 (zenon_Vvm != zenon_Vlb) % 0.27/0.59 (zenon_Vsh != zenon_Vbc) % 0.27/0.59 (zenon_Vuk != zenon_Vwj) % 0.27/0.59 (zenon_Vtn != zenon_Vbc) % 0.27/0.59 (zenon_Vfo != zenon_Vlk) % 0.27/0.59 (zenon_Vhn != zenon_Vkg) % 0.27/0.59 (zenon_Vih != zenon_Vbe) % 0.27/0.59 (zenon_Vzo != zenon_Vni) % 0.27/0.59 (zenon_Vkk != zenon_Vzc) % 0.27/0.59 (zenon_Vzo != zenon_Val) % 0.27/0.59 (zenon_Vqf != zenon_Veh) % 0.27/0.59 (zenon_Vdn != zenon_Vgk) % 0.27/0.59 (zenon_Vvo != zenon_Vxi) % 0.27/0.59 (zenon_Vtl != zenon_Vnc) % 0.27/0.59 (zenon_Vgj != zenon_Voh) % 0.27/0.59 (zenon_Vog != zenon_Voh) % 0.27/0.59 (zenon_Vtg != zenon_Vyh) % 0.27/0.59 (zenon_Vno != zenon_Vcj) % 0.27/0.59 (zenon_Vrm != zenon_Vfe) % 0.27/0.59 (zenon_Vnh != zenon_Vrf) % 0.27/0.59 (zenon_Vpn != zenon_Vxd) % 0.27/0.59 (p1 zenon_Vop) % 0.27/0.59 (zenon_Vqj != zenon_Vze) % 0.27/0.59 (zenon_Vhl != zenon_Vre) % 0.27/0.59 (zenon_Vbj != zenon_Vdi) % 0.27/0.59 (zenon_Vln != zenon_Vzc) % 0.27/0.59 (zenon_Vro != zenon_Val) % 0.27/0.59 (zenon_Vzo != zenon_Vwj) % 0.27/0.59 (zenon_Vgj != zenon_Vfg) % 0.27/0.59 (zenon_Vtn != zenon_Vgk) % 0.27/0.59 (zenon_Vdh != zenon_Vrj) % 0.27/0.59 (zenon_Vqf != zenon_Vth) % 0.27/0.59 (zenon_Vhp != zenon_Vii) % 0.27/0.59 (zenon_Vvo != zenon_Vhd) % 0.27/0.59 (zenon_Vno != zenon_Vrc) % 0.27/0.59 (zenon_Vzm != zenon_Vbk) % 0.27/0.59 (zenon_Vfo != zenon_Vxi) % 0.27/0.59 (zenon_Vwi != zenon_Vdi) % 0.27/0.59 (zenon_Vln != zenon_Vhj) % 0.27/0.59 (zenon_Vll != zenon_Vvk) % 0.27/0.59 (zenon_Vbj != zenon_Vxi) % 0.27/0.59 (zenon_Vjm != zenon_Val) % 0.27/0.59 (zenon_Vri != zenon_Vfe) % 0.27/0.59 (zenon_Vnh != zenon_Vrj) % 0.27/0.59 (zenon_Vog != zenon_Vvf) % 0.27/0.59 (zenon_Vzo != zenon_Vth) % 0.27/0.59 (zenon_Vsh != zenon_Vlb) % 0.27/0.59 (r1 zenon_Vnk zenon_Vok) % 0.27/0.59 (-. (p1 zenon_Vtb)) % 0.27/0.59 (zenon_Veg != zenon_Vpg) % 0.27/0.59 (zenon_Vnm != zenon_Vvk) % 0.27/0.59 (zenon_Vgj != zenon_Vlf) % 0.27/0.59 (zenon_Vvo != zenon_Vze) % 0.27/0.59 (zenon_Vqf != zenon_Vhf) % 0.27/0.59 (zenon_Vih != zenon_Vve) % 0.27/0.59 (zenon_Vtg != zenon_Vxb) % 0.27/0.59 (zenon_Vpk != zenon_Vpb) % 0.27/0.59 (zenon_Vzo != zenon_Vag) % 0.27/0.59 (zenon_Veg != zenon_Val) % 0.27/0.59 (r1 zenon_Vna zenon_Vya) % 0.27/0.59 (zenon_Vpn != zenon_Vgk) % 0.27/0.59 (zenon_Vtn != zenon_Veh) % 0.27/0.59 (zenon_Vvo != zenon_Vtd) % 0.27/0.59 (zenon_Vrm != zenon_Vkg) % 0.27/0.59 (zenon_Vog != zenon_Vre) % 0.27/0.59 (zenon_Vzf != zenon_Vje) % 0.27/0.59 (zenon_Vxn != zenon_Vhb) % 0.27/0.59 (zenon_Vfo != zenon_Veh) % 0.27/0.59 (zenon_Vxh != zenon_Vdd) % 0.27/0.59 (zenon_Vak != zenon_Vlb) % 0.27/0.59 (zenon_Vrm != zenon_Vth) % 0.27/0.59 (zenon_Vjo != zenon_Vfg) % 0.27/0.59 (zenon_Vgj != zenon_Vrj) % 0.27/0.59 (zenon_Vln != zenon_Vrc) % 0.27/0.59 (zenon_Vxh != zenon_Vug) % 0.27/0.59 (zenon_Vwi != zenon_Vfe) % 0.27/0.59 (zenon_Vak != zenon_Vvk) % 0.27/0.59 (zenon_Vqj != zenon_Vvf) % 0.27/0.59 (zenon_Vjm != zenon_Vhf) % 0.27/0.59 (zenon_Vkk != zenon_Vrj) % 0.27/0.59 (r1 zenon_Vom zenon_Vrm) % 0.27/0.59 (zenon_Vlj != zenon_Vrf) % 0.27/0.59 (zenon_Vih != zenon_Vfg) % 0.27/0.59 (zenon_Vlj != zenon_Vzg) % 0.27/0.59 (zenon_Vfm != zenon_Vvc) % 0.27/0.59 (zenon_Vuf != zenon_Vth) % 0.27/0.59 (zenon_Vqf != zenon_Vlf) % 0.27/0.59 (zenon_Vtn != zenon_Vze) % 0.27/0.59 (zenon_Vbo != zenon_Vbe) % 0.27/0.59 (zenon_Vhi != zenon_Vzg) % 0.27/0.59 (zenon_Vnh != zenon_Vvc) % 0.27/0.59 (zenon_Vhl != zenon_Vvk) % 0.27/0.59 (zenon_Vzo != zenon_Vrc) % 0.27/0.59 (zenon_Vno != zenon_Vdi) % 0.27/0.59 (zenon_Vhi != zenon_Vvk) % 0.27/0.59 (zenon_Vtg != zenon_Vgk) % 0.27/0.59 (zenon_Vvj != zenon_Vgk) % 0.27/0.59 (zenon_Vsh != zenon_Vbk) % 0.27/0.59 (zenon_Vdn != zenon_Vyh) % 0.27/0.59 (zenon_Vnh != zenon_Vvk) % 0.27/0.59 (zenon_Vjo != zenon_Vqk) % 0.27/0.59 (zenon_Vbo != zenon_Vld) % 0.27/0.59 (zenon_Vvj != zenon_Vmj) % 0.27/0.59 (r1 zenon_Vai zenon_Vdi) % 0.27/0.59 (r1 zenon_Vrk zenon_Vsk) % 0.27/0.59 (zenon_Vhl != zenon_Vvc) % 0.27/0.59 (zenon_Vtl != zenon_Vtb) % 0.27/0.59 (r1 zenon_Vqh zenon_Vrh) % 0.27/0.59 (-. (p1 zenon_Vxb)) % 0.27/0.59 (zenon_Vxl != zenon_Veh) % 0.27/0.59 (zenon_Vll != zenon_Vvc) % 0.27/0.59 (r1 zenon_Vmd zenon_Vpd) % 0.27/0.59 (zenon_Vlp != zenon_Vhd) % 0.27/0.59 (zenon_Vzm != zenon_Veh) % 0.27/0.59 (zenon_Vpn != zenon_Vcj) % 0.27/0.59 (zenon_Vyg != zenon_Vdf) % 0.27/0.59 (zenon_Vtn != zenon_Vfe) % 0.27/0.59 (zenon_Vlj != zenon_Vwj) % 0.27/0.59 (zenon_Vxl != zenon_Vje) % 0.27/0.59 (zenon_Vhp != zenon_Vrc) % 0.27/0.59 (zenon_Vpn != zenon_Vbk) % 0.27/0.59 (zenon_Vgj != zenon_Vag) % 0.27/0.59 (zenon_Vzm != zenon_Vxd) % 0.27/0.59 (zenon_Vjm != zenon_Vjh) % 0.27/0.59 (zenon_Vzf != zenon_Vfe) % 0.27/0.59 (zenon_Vqj != zenon_Vtd) % 0.27/0.59 (zenon_Vbm != zenon_Vlk) % 0.27/0.59 (zenon_Vjm != zenon_Voh) % 0.27/0.59 (zenon_Vlp != zenon_Vrc) % 0.27/0.59 (zenon_Vhn != zenon_Vug) % 0.27/0.59 (zenon_Vfk != zenon_Vpd) % 0.27/0.59 (zenon_Vci != zenon_Vpb) % 0.27/0.59 (zenon_Vgj != zenon_Vhf) % 0.27/0.59 (zenon_Vbm != zenon_Vxb) % 0.27/0.59 (p1 zenon_Vri) % 0.27/0.59 (zenon_Vhp != zenon_Vpg) % 0.27/0.59 (r1 zenon_Vwf zenon_Vxf) % 0.27/0.59 (zenon_Vkk != zenon_Vug) % 0.27/0.59 (zenon_Vyg != zenon_Vne) % 0.27/0.59 (zenon_Vhl != zenon_Voh) % 0.27/0.59 (zenon_Vzm != zenon_Vfg) % 0.27/0.59 (zenon_Vll != zenon_Vtd) % 0.27/0.59 (zenon_Vhl != zenon_Vlb) % 0.27/0.59 (zenon_Vhn != zenon_Vlb) % 0.27/0.59 (zenon_Vhl != zenon_Vvf) % 0.27/0.59 (zenon_Vnm != zenon_Vhj) % 0.27/0.59 (zenon_Vqj != zenon_Vrj) % 0.27/0.59 (zenon_Vkk != zenon_Vag) % 0.27/0.59 (zenon_Vpk != zenon_Vrj) % 0.27/0.59 (zenon_Vbj != zenon_Vth) % 0.27/0.59 (zenon_Vln != zenon_Vag) % 0.27/0.59 (zenon_Vxl != zenon_Vnc) % 0.27/0.59 (zenon_Vyg != zenon_Vtd) % 0.27/0.59 (zenon_Veg != zenon_Vhf) % 0.27/0.59 (zenon_Vpk != zenon_Voh) % 0.27/0.59 (zenon_Vwi != zenon_Vvf) % 0.27/0.59 (zenon_Vuf != zenon_Vhb) % 0.27/0.59 (zenon_Vxl != zenon_Vhf) % 0.27/0.59 (zenon_Vgj != zenon_Vxb) % 0.27/0.59 (zenon_Vxl != zenon_Vlb) % 0.27/0.59 (zenon_Vuk != zenon_Vof) % 0.27/0.59 (p1 zenon_Vmi) % 0.27/0.59 (zenon_Vvm != zenon_Vni) % 0.27/0.59 (zenon_Vbm != zenon_Vne) % 0.27/0.59 (zenon_Vjg != zenon_Voh) % 0.27/0.59 (zenon_Vop != zenon_Val) % 0.27/0.59 (zenon_Vgj != zenon_Vlb) % 0.27/0.59 (zenon_Vci != zenon_Vhd) % 0.27/0.59 (zenon_Vsh != zenon_Vcj) % 0.27/0.59 (zenon_Vxh != zenon_Vlk) % 0.27/0.59 (zenon_Vro != zenon_Vje) % 0.27/0.59 (zenon_Vzf != zenon_Vpd) % 0.27/0.59 (r1 zenon_Vcg zenon_Vfg) % 0.27/0.59 (zenon_Vhl != zenon_Vdi) % 0.27/0.59 (zenon_Vgj != zenon_Vug) % 0.27/0.59 (zenon_Vuf != zenon_Veh) % 0.27/0.59 (zenon_Vzm != zenon_Vhd) % 0.27/0.59 (zenon_Vwi != zenon_Vfc) % 0.27/0.59 (zenon_Vci != zenon_Vxd) % 0.27/0.59 (zenon_Vhl != zenon_Vxd) % 0.27/0.59 (zenon_Vfm != zenon_Vkg) % 0.27/0.59 (zenon_Vtl != zenon_Vbe) % 0.27/0.59 (zenon_Vog != zenon_Vhd) % 0.27/0.59 (zenon_Vvj != zenon_Vof) % 0.27/0.59 (zenon_Vvj != zenon_Vre) % 0.27/0.59 (zenon_Vlp != zenon_Vlk) % 0.27/0.59 (zenon_Vvj != zenon_Vzc) % 0.27/0.59 (zenon_Vwi != zenon_Vhb) % 0.27/0.59 (r1 zenon_Vwm zenon_Vzm) % 0.27/0.59 (zenon_Vro != zenon_Vlf) % 0.27/0.59 (zenon_Vxn != zenon_Vsi) % 0.27/0.59 (zenon_Vjm != zenon_Vpg) % 0.27/0.59 (zenon_Vtg != zenon_Vqk) % 0.27/0.59 (zenon_Vdp != zenon_Vpg) % 0.27/0.59 (zenon_Vdp != zenon_Vvf) % 0.27/0.59 (zenon_Vak != zenon_Vni) % 0.27/0.59 (zenon_Vsh != zenon_Vdf) % 0.27/0.59 (zenon_Vak != zenon_Vcj) % 0.27/0.59 (zenon_Vrm != zenon_Vrc) % 0.27/0.59 (zenon_Vzm != zenon_Vjh) % 0.27/0.59 (zenon_Vxn != zenon_Vrf) % 0.27/0.59 (zenon_Vxl != zenon_Vpd) % 0.27/0.59 (zenon_Vzk != zenon_Vnc) % 0.27/0.59 (zenon_Vhi != zenon_Vni) % 0.27/0.59 (zenon_Vlp != zenon_Vzg) % 0.27/0.59 (zenon_Vhi != zenon_Vgk) % 0.27/0.59 (zenon_Vtn != zenon_Vpd) % 0.27/0.59 (zenon_Vnh != zenon_Vre) % 0.27/0.59 (zenon_Vuk != zenon_Vne) % 0.27/0.59 (zenon_Vrm != zenon_Vjh) % 0.27/0.59 (zenon_Vjg != zenon_Vzc) % 0.27/0.59 (zenon_Vlj != zenon_Vvf) % 0.27/0.59 (zenon_Vtl != zenon_Vmj) % 0.27/0.59 (zenon_Vtl != zenon_Vlf) % 0.27/0.59 (zenon_Vgj != zenon_Vne) % 0.27/0.59 (zenon_Vpk != zenon_Vug) % 0.27/0.59 (zenon_Vfm != zenon_Vrf) % 0.27/0.59 (zenon_Vmi != zenon_Vxb) % 0.27/0.59 (zenon_Vnh != zenon_Vlk) % 0.27/0.59 (zenon_Vjo != zenon_Vje) % 0.27/0.59 (zenon_Vpl != zenon_Vbe) % 0.27/0.59 (-. (p1 zenon_Vzc)) % 0.27/0.59 (zenon_Veg != zenon_Vlk) % 0.27/0.59 (zenon_Vqf != zenon_Vdd) % 0.27/0.59 (zenon_Vbo != zenon_Vof) % 0.27/0.59 (zenon_Vxn != zenon_Vze) % 0.27/0.59 (zenon_Vpk != zenon_Vxd) % 0.27/0.59 (zenon_Vzk != zenon_Vzg) % 0.27/0.59 (zenon_Vqj != zenon_Vzc) % 0.27/0.59 (zenon_Vtl != zenon_Vni) % 0.27/0.59 (zenon_Vlj != zenon_Vag) % 0.27/0.59 (zenon_Vhn != zenon_Vyh) % 0.27/0.59 (r1 zenon_Vjj zenon_Vkj) % 0.27/0.59 (zenon_Vtn != zenon_Vof) % 0.27/0.59 (zenon_Vgj != zenon_Vof) % 0.27/0.59 (zenon_Vzk != zenon_Vii) % 0.27/0.59 (zenon_Vkk != zenon_Vpb) % 0.27/0.59 (p1 zenon_Vjo) % 0.27/0.59 (zenon_Vgj != zenon_Vni) % 0.27/0.59 (zenon_Vih != zenon_Vof) % 0.27/0.59 (zenon_Vzk != zenon_Vvf) % 0.27/0.59 (zenon_Vfk != zenon_Vze) % 0.27/0.59 (zenon_Vjg != zenon_Vlf) % 0.27/0.59 (r1 zenon_Vqn zenon_Vtn) % 0.27/0.59 (zenon_Vno != zenon_Vld) % 0.27/0.59 (zenon_Vtl != zenon_Vqk) % 0.27/0.59 (zenon_Vak != zenon_Vpb) % 0.27/0.59 (r1 zenon_X6 zenon_Vop) % 0.27/0.59 (zenon_Vuf != zenon_Vgk) % 0.27/0.59 (zenon_Vzk != zenon_Vdf) % 0.27/0.59 (zenon_Vbm != zenon_Vbk) % 0.27/0.59 (zenon_Vpl != zenon_Vjh) % 0.27/0.59 (zenon_Vfk != zenon_Vof) % 0.27/0.59 (r1 zenon_Vah zenon_Vbh) % 0.27/0.59 (zenon_Vvo != zenon_Vfg) % 0.27/0.59 (zenon_Vgj != zenon_Val) % 0.27/0.59 (zenon_Vzm != zenon_Vgk) % 0.27/0.59 (zenon_Vfm != zenon_Vdi) % 0.27/0.59 (zenon_Vvo != zenon_Vyh) % 0.27/0.59 (zenon_Vci != zenon_Vug) % 0.27/0.59 (zenon_Vsh != zenon_Vzc) % 0.27/0.59 (r1 zenon_Ved zenon_Vhd) % 0.27/0.59 (zenon_Vdp != zenon_Vzg) % 0.27/0.59 (zenon_Vci != zenon_Vdd) % 0.27/0.59 (r1 zenon_Vin zenon_Vln) % 0.27/0.59 (zenon_Vog != zenon_Vrj) % 0.27/0.59 (zenon_Vhl != zenon_Vqk) % 0.27/0.59 (zenon_Vhp != zenon_Vje) % 0.27/0.59 (zenon_Vwi != zenon_Vjh) % 0.27/0.59 (zenon_Vfk != zenon_Vhj) % 0.27/0.59 (zenon_Vhp != zenon_Vvc) % 0.27/0.59 (zenon_Vsh != zenon_Vlf) % 0.27/0.59 (zenon_Vhp != zenon_Veh) % 0.27/0.59 (zenon_Vkk != zenon_Vsi) % 0.27/0.59 (zenon_Vno != zenon_Vfg) % 0.27/0.59 (zenon_Vll != zenon_Vrc) % 0.27/0.59 (zenon_Vlp != zenon_Vze) % 0.27/0.59 (zenon_Vjo != zenon_Vve) % 0.27/0.59 (-. (p1 zenon_Veh)) % 0.27/0.59 (zenon_Vzk != zenon_Vvc) % 0.27/0.59 (zenon_Vhi != zenon_Vpd) % 0.27/0.59 (zenon_Vwi != zenon_Vyh) % 0.27/0.59 (zenon_Vnh != zenon_Vgk) % 0.27/0.59 (zenon_Vri != zenon_Vvc) % 0.27/0.59 (zenon_Vvm != zenon_Vnc) % 0.27/0.59 (zenon_Vqj != zenon_Vbc) % 0.27/0.59 (zenon_Vci != zenon_Vxb) % 0.27/0.59 (zenon_Vzo != zenon_Vdf) % 0.27/0.59 (zenon_Vzf != zenon_Vve) % 0.27/0.59 (zenon_Vvj != zenon_Vcj) % 0.27/0.59 (zenon_Vhp != zenon_Vld) % 0.27/0.59 (zenon_Vop != zenon_Vve) % 0.27/0.59 (zenon_Vlp != zenon_Vhb) % 0.27/0.59 (zenon_Vvj != zenon_Val) % 0.27/0.59 (zenon_Vuf != zenon_Vxb) % 0.27/0.59 (zenon_Vsh != zenon_Vqk) % 0.27/0.59 (zenon_Vzo != zenon_Vfg) % 0.27/0.59 (zenon_Vfk != zenon_Vhf) % 0.27/0.59 (zenon_Vfo != zenon_Vlb) % 0.27/0.59 (zenon_Vdh != zenon_Vvc) % 0.27/0.59 (zenon_Vjg != zenon_Vjc) % 0.27/0.59 (zenon_Vlj != zenon_Veh) % 0.27/0.59 (zenon_Vnm != zenon_Vof) % 0.27/0.59 (zenon_Vhn != zenon_Veh) % 0.27/0.59 (zenon_Vjm != zenon_Vne) % 0.27/0.59 (zenon_Vbo != zenon_Vvc) % 0.27/0.59 (zenon_Vll != zenon_Vbk) % 0.27/0.59 (zenon_Vlj != zenon_Vsi) % 0.27/0.59 (zenon_Vih != zenon_Vlf) % 0.27/0.59 (zenon_Vno != zenon_Veh) % 0.27/0.59 (zenon_Vvo != zenon_Vre) % 0.27/0.59 (zenon_Vvj != zenon_Vpd) % 0.27/0.59 (zenon_Vri != zenon_Vqk) % 0.27/0.59 (zenon_Vll != zenon_Vyh) % 0.27/0.59 (-. (p1 zenon_Vkg)) % 0.27/0.59 (zenon_Vpk != zenon_Vqk) % 0.27/0.59 (zenon_Vll != zenon_Vii) % 0.27/0.59 (zenon_Vpk != zenon_Vag) % 0.27/0.59 (zenon_Vlp != zenon_Vqk) % 0.27/0.59 (zenon_Vvo != zenon_Vcj) % 0.27/0.59 (zenon_Vhi != zenon_Vkg) % 0.27/0.59 (zenon_Vvo != zenon_Vve) % 0.27/0.59 (zenon_Vuf != zenon_Vqk) % 0.27/0.59 (zenon_Vbj != zenon_Vpb) % 0.27/0.59 (zenon_Vfm != zenon_Vdd) % 0.27/0.59 (zenon_Vvm != zenon_Vgk) % 0.27/0.59 (zenon_Vdp != zenon_Vre) % 0.27/0.59 (zenon_Vyg != zenon_Vth) % 0.27/0.59 (zenon_Vzm != zenon_Vje) % 0.27/0.59 (zenon_Vgj != zenon_Vpd) % 0.27/0.59 (zenon_Vnm != zenon_Vxd) % 0.27/0.59 (zenon_Vpn != zenon_Vhj) % 0.27/0.59 (zenon_Vxl != zenon_Vfe) % 0.27/0.59 (zenon_Vzf != zenon_Vrc) % 0.27/0.59 (zenon_Vci != zenon_Vmj) % 0.27/0.59 (zenon_Vci != zenon_Vtd) % 0.27/0.59 (zenon_Vak != zenon_Vjc) % 0.27/0.59 (zenon_Vxl != zenon_Vxd) % 0.27/0.59 (r1 zenon_Vcc zenon_Vfc) % 0.27/0.59 (zenon_Vln != zenon_Vii) % 0.27/0.59 (zenon_Vkk != zenon_Vvk) % 0.27/0.59 (zenon_Vxl != zenon_Vxi) % 0.27/0.59 (zenon_Vak != zenon_Vgk) % 0.27/0.59 (zenon_Vak != zenon_Vbk) % 0.27/0.59 (zenon_Vno != zenon_Val) % 0.27/0.59 (zenon_Vjg != zenon_Vvc) % 0.27/0.59 (zenon_Vpk != zenon_Val) % 0.27/0.59 (zenon_Vpn != zenon_Vjc) % 0.27/0.59 (zenon_Vln != zenon_Vbk) % 0.27/0.59 (zenon_Vsh != zenon_Vfc) % 0.27/0.59 (zenon_Vxn != zenon_Vzg) % 0.27/0.59 (zenon_Vzf != zenon_Vhd) % 0.27/0.59 (zenon_Vhl != zenon_Vth) % 0.27/0.59 (zenon_Vuf != zenon_Vnc) % 0.27/0.59 (p1 zenon_Veg) % 0.27/0.59 (zenon_Vdn != zenon_Vzc) % 0.27/0.59 (zenon_Vci != zenon_Vje) % 0.27/0.59 (zenon_Vci != zenon_Vni) % 0.27/0.59 (zenon_Vxh != zenon_Vbc) % 0.27/0.59 (zenon_Vzo != zenon_Vyh) % 0.27/0.59 (zenon_Vuk != zenon_Vre) % 0.27/0.59 (zenon_Vhn != zenon_Vhd) % 0.27/0.59 (zenon_Vbo != zenon_Vfc) % 0.27/0.59 (zenon_Vqj != zenon_Vlf) % 0.27/0.59 (zenon_Vpl != zenon_Vug) % 0.27/0.59 (r1 zenon_Vah zenon_Vfh) % 0.27/0.59 (zenon_Vlj != zenon_Vgk) % 0.27/0.59 (zenon_Vfo != zenon_Vxd) % 0.27/0.59 (r1 zenon_Vhg zenon_Vkg) % 0.27/0.59 (zenon_Vzo != zenon_Vhf) % 0.27/0.59 (zenon_Vqj != zenon_Vve) % 0.27/0.59 (zenon_Vnh != zenon_Vpd) % 0.27/0.59 (zenon_Vzo != zenon_Vrf) % 0.27/0.59 (zenon_Vlj != zenon_Vdf) % 0.27/0.59 (zenon_Vll != zenon_Vth) % 0.27/0.59 (zenon_Vxn != zenon_Vve) % 0.27/0.59 (zenon_Vrm != zenon_Vqk) % 0.27/0.59 (zenon_Vog != zenon_Vlf) % 0.27/0.59 (zenon_Vdn != zenon_Vqk) % 0.27/0.59 (zenon_Vrm != zenon_Vpd) % 0.27/0.59 (zenon_Vlp != zenon_Vkg) % 0.27/0.59 (zenon_Vyg != zenon_Vpd) % 0.27/0.59 (zenon_Vbo != zenon_Vhb) % 0.27/0.59 (r1 zenon_Vgg zenon_Vhg) % 0.27/0.59 (zenon_Vlp != zenon_Val) % 0.27/0.59 (-. (p1 zenon_Vjc)) % 0.27/0.59 (zenon_Vtg != zenon_Vnc) % 0.27/0.59 (zenon_Vhp != zenon_Vnc) % 0.27/0.59 (zenon_Vxl != zenon_Vbc) % 0.27/0.59 (zenon_Vjo != zenon_Vlb) % 0.27/0.59 (r1 zenon_Vlh zenon_Vmh) % 0.27/0.59 (zenon_Vtn != zenon_Vag) % 0.27/0.59 (zenon_Vmi != zenon_Vtd) % 0.27/0.59 (zenon_Vzm != zenon_Vsi) % 0.27/0.59 (zenon_Vjo != zenon_Veh) % 0.27/0.59 (zenon_Vhi != zenon_Vfe) % 0.27/0.59 (zenon_Vsh != zenon_Vsi) % 0.27/0.59 (zenon_Vqf != zenon_Vje) % 0.27/0.59 (zenon_Vll != zenon_Vpd) % 0.27/0.59 (zenon_Vhi != zenon_Vtb) % 0.27/0.59 (zenon_Vhp != zenon_Vcj) % 0.27/0.59 (zenon_Vuk != zenon_Vjc) % 0.27/0.59 (zenon_Vbm != zenon_Vlb) % 0.27/0.59 (zenon_Vtn != zenon_Vsi) % 0.27/0.59 (zenon_Vvo != zenon_Vsi) % 0.27/0.59 (zenon_Vbj != zenon_Vlb) % 0.27/0.59 (zenon_Vkk != zenon_Vof) % 0.27/0.59 (zenon_Vwi != zenon_Vrj) % 0.27/0.59 (zenon_Vbo != zenon_Vlk) % 0.27/0.59 (zenon_Vhp != zenon_Vtd) % 0.27/0.59 (zenon_Vbo != zenon_Vnc) % 0.27/0.59 (r1 zenon_Vuh zenon_Vzh) % 0.27/0.59 (zenon_Vak != zenon_Vdd) % 0.27/0.59 (zenon_Vuk != zenon_Vzc) % 0.27/0.59 (zenon_Vlp != zenon_Vjh) % 0.27/0.59 (zenon_Vqf != zenon_Vrc) % 0.27/0.59 (zenon_Vuk != zenon_Vdd) % 0.27/0.59 (zenon_Vci != zenon_Vwj) % 0.27/0.59 (zenon_Vuk != zenon_Vbe) % 0.27/0.59 (zenon_Vtg != zenon_Vvf) % 0.27/0.59 (zenon_Vgj != zenon_Vyh) % 0.27/0.59 (zenon_Vbm != zenon_Vpg) % 0.27/0.59 (zenon_Vll != zenon_Vnc) % 0.27/0.59 (zenon_Vyg != zenon_Vfc) % 0.27/0.59 (zenon_Vvm != zenon_Vxb) % 0.27/0.59 (r1 zenon_Vub zenon_Vxb) % 0.27/0.59 (zenon_Vxl != zenon_Vmj) % 0.27/0.59 (zenon_Vbj != zenon_Vkg) % 0.27/0.59 (zenon_Vjo != zenon_Vne) % 0.27/0.59 (r1 zenon_Vul zenon_Vxl) % 0.27/0.59 (zenon_Vnh != zenon_Vsi) % 0.27/0.59 (zenon_Veg != zenon_Vwj) % 0.27/0.59 (zenon_Vfo != zenon_Vjc) % 0.27/0.59 (zenon_Vog != zenon_Vlb) % 0.27/0.59 (zenon_Vci != zenon_Vlb) % 0.27/0.59 (zenon_Vdn != zenon_Val) % 0.27/0.59 (zenon_Vhi != zenon_Vdd) % 0.27/0.59 (zenon_Vpk != zenon_Vjc) % 0.27/0.59 (zenon_Vhl != zenon_Vgk) % 0.27/0.59 (zenon_Vdp != zenon_Vkg) % 0.27/0.59 (zenon_Vwi != zenon_Vqk) % 0.27/0.59 (zenon_Vuf != zenon_Vlf) % 0.27/0.59 (zenon_Vdp != zenon_Vfe) % 0.27/0.59 (r1 zenon_Vyj zenon_Vzj) % 0.27/0.59 (zenon_Vvj != zenon_Vii) % 0.27/0.59 (zenon_Vbo != zenon_Vlb) % 0.27/0.59 (zenon_Vvm != zenon_Vii) % 0.27/0.59 (zenon_Vnh != zenon_Val) % 0.27/0.59 (zenon_Vhn != zenon_Vvf) % 0.27/0.59 (zenon_Vpl != zenon_Vpb) % 0.27/0.59 (zenon_Vbj != zenon_Veh) % 0.27/0.59 (zenon_Vhn != zenon_Vtb) % 0.27/0.59 (zenon_Vvj != zenon_Voh) % 0.27/0.59 (zenon_Vnm != zenon_Vii) % 0.27/0.59 (zenon_Vbm != zenon_Vsi) % 0.27/0.59 (zenon_Vbo != zenon_Vze) % 0.27/0.59 (zenon_Vsh != zenon_Vpd) % 0.27/0.59 (zenon_Vnm != zenon_Vyh) % 0.27/0.59 (zenon_Vgj != zenon_Vzc) % 0.27/0.59 (zenon_Vhp != zenon_Vth) % 0.27/0.59 (zenon_Vbo != zenon_Vrf) % 0.27/0.59 (zenon_Vfk != zenon_Vni) % 0.27/0.59 (zenon_Vpl != zenon_Vbk) % 0.27/0.59 (zenon_Vog != zenon_Vth) % 0.27/0.59 (zenon_Veg != zenon_Vpd) % 0.27/0.59 (zenon_Veg != zenon_Vyh) % 0.27/0.59 (zenon_Vzk != zenon_Vbk) % 0.27/0.59 (zenon_Vbo != zenon_Vjc) % 0.27/0.59 (zenon_Vno != zenon_Vbc) % 0.27/0.59 (zenon_Vtn != zenon_Vni) % 0.27/0.59 (zenon_Vuf != zenon_Vfc) % 0.27/0.59 (zenon_Vdn != zenon_Vtb) % 0.27/0.59 (zenon_Vop != zenon_Vhd) % 0.27/0.59 (zenon_Vfm != zenon_Vzc) % 0.27/0.59 (zenon_Vyg != zenon_Vcj) % 0.27/0.59 (zenon_Vtn != zenon_Vje) % 0.27/0.59 (zenon_Vln != zenon_Vmj) % 0.27/0.59 (r1 zenon_Vpi zenon_Vqi) % 0.27/0.59 (zenon_Vro != zenon_Vsi) % 0.27/0.59 (zenon_Vpn != zenon_Vfg) % 0.27/0.59 (zenon_Vnh != zenon_Vmj) % 0.27/0.59 (zenon_Vyg != zenon_Vzg) % 0.27/0.59 (zenon_Vhn != zenon_Vhf) % 0.27/0.59 (zenon_Vvj != zenon_Vrj) % 0.27/0.59 (zenon_Vxh != zenon_Vxb) % 0.27/0.59 (zenon_Vpl != zenon_Vsi) % 0.27/0.59 (zenon_Vqf != zenon_Vhj) % 0.27/0.59 (zenon_Vpn != zenon_Vhb) % 0.27/0.59 (zenon_Vtg != zenon_Vdi) % 0.27/0.59 (zenon_Vzm != zenon_Vve) % 0.27/0.59 (zenon_Vuk != zenon_Vmj) % 0.27/0.59 (zenon_Veg != zenon_Vrf) % 0.27/0.59 (zenon_Vhn != zenon_Vtd) % 0.27/0.59 (zenon_Vro != zenon_Vjc) % 0.27/0.59 (zenon_Vdh != zenon_Vvf) % 0.27/0.59 (zenon_Veg != zenon_Vtd) % 0.27/0.59 (zenon_Vxn != zenon_Vre) % 0.27/0.59 (zenon_Vrm != zenon_Vbc) % 0.27/0.59 (zenon_Vhl != zenon_Vdd) % 0.27/0.59 (zenon_Veg != zenon_Vrc) % 0.27/0.59 (zenon_Veg != zenon_Vkg) % 0.27/0.59 (zenon_Vhl != zenon_Vyh) % 0.27/0.59 (zenon_Vqj != zenon_Vof) % 0.27/0.59 (zenon_Vjg != zenon_Vof) % 0.27/0.59 (zenon_Vmi != zenon_Vhb) % 0.27/0.59 (zenon_Vln != zenon_Vbe) % 0.27/0.59 (zenon_Vqj != zenon_Vxb) % 0.27/0.59 (zenon_Vhn != zenon_Vgk) % 0.27/0.59 (zenon_Vog != zenon_Vxd) % 0.27/0.59 (zenon_Vfo != zenon_Vpg) % 0.27/0.59 (zenon_Vtg != zenon_Vzg) % 0.27/0.59 (zenon_Vvo != zenon_Vkg) % 0.27/0.59 (zenon_Vuk != zenon_Vpg) % 0.27/0.59 (zenon_Vtl != zenon_Vpb) % 0.27/0.59 (-. (p4 zenon_X3)) % 0.27/0.59 (zenon_Vno != zenon_Vfe) % 0.27/0.59 (zenon_Vri != zenon_Vth) % 0.27/0.59 (zenon_Vll != zenon_Vld) % 0.27/0.59 (zenon_Vtn != zenon_Vne) % 0.27/0.59 (zenon_Vvj != zenon_Vhb) % 0.27/0.59 (zenon_Vvm != zenon_Vof) % 0.27/0.59 (zenon_Vop != zenon_Vvk) % 0.27/0.59 (zenon_Vzf != zenon_Vtd) % 0.27/0.59 (zenon_Vhl != zenon_Vxb) % 0.27/0.59 (zenon_Vwi != zenon_Vug) % 0.27/0.59 (zenon_Vjm != zenon_Vje) % 0.27/0.59 (zenon_Vln != zenon_Vfc) % 0.27/0.59 (zenon_Vbj != zenon_Vxd) % 0.27/0.59 (zenon_Vqf != zenon_Vhd) % 0.27/0.59 (zenon_Vmi != zenon_Vhj) % 0.27/0.59 (zenon_Vop != zenon_Vvc) % 0.27/0.59 (zenon_Vdn != zenon_Vmj) % 0.27/0.59 (zenon_Vop != zenon_Vzg) % 0.27/0.59 (zenon_Vro != zenon_Vtd) % 0.27/0.59 (zenon_Vtl != zenon_Vve) % 0.27/0.59 (zenon_Vpk != zenon_Vhb) % 0.27/0.59 (zenon_Vzo != zenon_Vje) % 0.27/0.59 (zenon_Vci != zenon_Vjc) % 0.27/0.59 (zenon_Vdh != zenon_Vpb) % 0.27/0.59 (zenon_Vjm != zenon_Vag) % 0.27/0.59 (zenon_Veg != zenon_Vii) % 0.27/0.59 (zenon_Vnh != zenon_Vhb) % 0.27/0.59 (zenon_Vrm != zenon_Vnc) % 0.27/0.59 (zenon_Vgj != zenon_Vxi) % 0.27/0.59 (zenon_Vuf != zenon_Vsi) % 0.27/0.59 (zenon_Vop != zenon_Vhj) % 0.27/0.59 (zenon_Vtg != zenon_Vrj) % 0.27/0.59 (zenon_Vno != zenon_Vxd) % 0.27/0.59 (zenon_Vxn != zenon_Vbc) % 0.27/0.59 (zenon_Vfk != zenon_Vgk) % 0.27/0.59 (zenon_Vbo != zenon_Vre) % 0.27/0.59 (zenon_Vtg != zenon_Vbc) % 0.27/0.59 (zenon_Vpn != zenon_Vlf) % 0.27/0.59 (zenon_Vxl != zenon_Vze) % 0.27/0.59 (zenon_Vtl != zenon_Veh) % 0.27/0.59 (zenon_Vtn != zenon_Vzg) % 0.27/0.59 (zenon_Vjg != zenon_Vdi) % 0.27/0.59 (zenon_Vzk != zenon_Vfc) % 0.27/0.59 (r1 zenon_Vgg zenon_Vlg) % 0.27/0.59 (zenon_Vxn != zenon_Vhd) % 0.27/0.59 (zenon_Vtn != zenon_Vfg) % 0.27/0.59 (zenon_Vno != zenon_Vkg) % 0.27/0.59 (zenon_Vro != zenon_Vjh) % 0.27/0.59 (zenon_Vnm != zenon_Vvf) % 0.27/0.59 (zenon_Vfk != zenon_Vdf) % 0.27/0.59 (zenon_Vtl != zenon_Vhd) % 0.27/0.59 (zenon_Vqj != zenon_Vrc) % 0.27/0.59 (r1 zenon_Vkh zenon_Vlh) % 0.27/0.59 (r1 zenon_Vbh zenon_Vch) % 0.27/0.59 (-. (p1 zenon_Vnc)) % 0.27/0.59 (zenon_Vvj != zenon_Vne) % 0.27/0.59 (r1 zenon_Vyl zenon_Vbm) % 0.27/0.59 (zenon_Vci != zenon_Veh) % 0.27/0.59 (zenon_Vdh != zenon_Vze) % 0.27/0.59 (zenon_Vzk != zenon_Vrc) % 0.27/0.59 (zenon_Vjo != zenon_Vzc) % 0.27/0.59 (zenon_Vpn != zenon_Vvc) % 0.27/0.59 (zenon_Vtl != zenon_Vje) % 0.27/0.59 (-. (p2 zenon_Vta)) % 0.27/0.59 (zenon_Vbm != zenon_Vfc) % 0.27/0.59 (zenon_Vvo != zenon_Vxb) % 0.27/0.59 (zenon_Vop != zenon_Vbe) % 0.27/0.59 (zenon_Vxn != zenon_Vyh) % 0.27/0.59 (zenon_Vhl != zenon_Vhj) % 0.27/0.59 (zenon_Vbo != zenon_Vag) % 0.27/0.59 (r1 zenon_Vvh zenon_Vyh) % 0.27/0.59 (p1 zenon_Vhl) % 0.27/0.59 (r1 zenon_Vwg zenon_Vzg) % 0.27/0.59 (zenon_Vbj != zenon_Vbc) % 0.27/0.59 (zenon_Vfm != zenon_Vre) % 0.27/0.59 (zenon_Vxh != zenon_Vvc) % 0.27/0.59 (zenon_Vzk != zenon_Vwj) % 0.27/0.59 (zenon_Vvj != zenon_Veh) % 0.27/0.59 (zenon_Vro != zenon_Vzg) % 0.27/0.59 (zenon_Vhp != zenon_Vug) % 0.27/0.59 (zenon_Vvj != zenon_Vld) % 0.27/0.59 (zenon_Vnm != zenon_Vbc) % 0.27/0.59 (zenon_Vqj != zenon_Vlk) % 0.27/0.59 (zenon_Vro != zenon_Vfg) % 0.27/0.59 (r1 zenon_X5 zenon_Vof) % 0.27/0.59 (zenon_Vuk != zenon_Vvk) % 0.27/0.59 (zenon_Vvo != zenon_Val) % 0.27/0.59 (zenon_Vgj != zenon_Vpg) % 0.27/0.59 (zenon_Vxl != zenon_Vjc) % 0.27/0.59 (zenon_Vsh != zenon_Vmj) % 0.27/0.59 (zenon_Vyg != zenon_Vyh) % 0.27/0.59 (zenon_Veg != zenon_Vnc) % 0.27/0.59 (zenon_Vpn != zenon_Vnc) % 0.27/0.59 (zenon_Vuk != zenon_Vsi) % 0.27/0.59 (zenon_Vdn != zenon_Vlk) % 0.27/0.59 (zenon_Vbm != zenon_Vre) % 0.27/0.59 (zenon_Vnm != zenon_Vnc) % 0.27/0.59 (zenon_Vnh != zenon_Vdf) % 0.27/0.59 (zenon_Vop != zenon_Vjc) % 0.27/0.59 (zenon_Vzm != zenon_Vdd) % 0.27/0.59 (zenon_Vak != zenon_Veh) % 0.27/0.59 (zenon_Vrm != zenon_Vvf) % 0.27/0.59 (zenon_Vlp != zenon_Vsi) % 0.27/0.59 (zenon_Vci != zenon_Vof) % 0.27/0.59 (zenon_Vrm != zenon_Vvc) % 0.27/0.59 (zenon_Vbm != zenon_Vjh) % 0.27/0.59 (zenon_Vsh != zenon_Vtb) % 0.27/0.59 (zenon_Vog != zenon_Vhf) % 0.27/0.59 (r1 zenon_Vco zenon_Vfo) % 0.27/0.59 (zenon_Vwi != zenon_Vkg) % 0.27/0.59 (zenon_Vro != zenon_Vhd) % 0.27/0.59 (zenon_Vpn != zenon_Vth) % 0.27/0.59 (zenon_Vjg != zenon_Vrj) % 0.27/0.59 (zenon_Vjm != zenon_Vlb) % 0.27/0.59 (r1 zenon_Vph zenon_Vuh) % 0.27/0.59 (zenon_Vno != zenon_Vhf) % 0.27/0.59 (zenon_Vro != zenon_Vxb) % 0.27/0.59 (zenon_Vvm != zenon_Vre) % 0.27/0.59 (zenon_Vjg != zenon_Vug) % 0.27/0.59 (zenon_Vjg != zenon_Vxb) % 0.27/0.59 (zenon_Vvo != zenon_Vrj) % 0.27/0.59 (zenon_Vzm != zenon_Vpg) % 0.27/0.59 (zenon_Vvj != zenon_Vsi) % 0.27/0.59 (zenon_Vvm != zenon_Vyh) % 0.27/0.59 (zenon_Vdh != zenon_Veh) % 0.27/0.59 (zenon_Vtn != zenon_Vtb) % 0.27/0.59 (p1 zenon_Vyg) % 0.27/0.59 (r1 zenon_Vxj zenon_Vyj) % 0.27/0.59 (zenon_Vvo != zenon_Vhf) % 0.27/0.59 (zenon_Vuk != zenon_Val) % 0.27/0.59 (zenon_Vtg != zenon_Vof) % 0.27/0.59 (zenon_Vzm != zenon_Vre) % 0.27/0.59 (zenon_Vtn != zenon_Vpg) % 0.27/0.59 (zenon_Vrm != zenon_Vne) % 0.27/0.59 (zenon_Vak != zenon_Vne) % 0.27/0.59 (zenon_Vyg != zenon_Vlb) % 0.27/0.59 (zenon_Vfk != zenon_Vlb) % 0.27/0.59 (zenon_Vmi != zenon_Vlk) % 0.27/0.59 (-. (p1 zenon_Vje)) % 0.27/0.59 (zenon_Vmi != zenon_Vld) % 0.27/0.59 (zenon_Vmi != zenon_Vjc) % 0.27/0.59 (zenon_Vop != zenon_Vpb) % 0.27/0.59 (zenon_Vri != zenon_Vag) % 0.27/0.59 (zenon_Vro != zenon_Vof) % 0.27/0.59 (zenon_Vxh != zenon_Vni) % 0.27/0.60 (zenon_Vbj != zenon_Vdf) % 0.27/0.60 (zenon_Vzm != zenon_Vzg) % 0.27/0.60 (p1 zenon_Vln) % 0.27/0.60 (r1 zenon_Vsk zenon_Vtk) % 0.27/0.60 (zenon_Vdn != zenon_Vbe) % 0.27/0.60 (zenon_Vvo != zenon_Vtb) % 0.27/0.60 (zenon_Vvj != zenon_Vxb) % 0.27/0.60 (zenon_Vfm != zenon_Vth) % 0.27/0.60 (zenon_Vlp != zenon_Vni) % 0.27/0.60 (r1 zenon_Vxj zenon_Vck) % 0.27/0.60 (-. (p1 zenon_Vqk)) % 0.27/0.60 (zenon_Vnh != zenon_Vpg) % 0.27/0.60 (zenon_Vfo != zenon_Vne) % 0.27/0.60 (zenon_Vop != zenon_Veh) % 0.27/0.60 (zenon_Vhl != zenon_Vrj) % 0.27/0.60 (zenon_Veg != zenon_Vni) % 0.27/0.60 (zenon_Vfm != zenon_Vve) % 0.27/0.60 (zenon_Vop != zenon_Vfe) % 0.27/0.60 (zenon_Vpn != zenon_Vxb) % 0.27/0.60 (zenon_Vbj != zenon_Vvf) % 0.27/0.60 (zenon_Vqf != zenon_Vtd) % 0.27/0.60 (zenon_Vdh != zenon_Vof) % 0.27/0.60 (zenon_Vhp != zenon_Vbe) % 0.27/0.60 (p1 zenon_Vci) % 0.27/0.60 (zenon_Vvm != zenon_Veh) % 0.27/0.60 (zenon_Vri != zenon_Voh) % 0.27/0.60 (zenon_Vrm != zenon_Vdd) % 0.27/0.60 (zenon_Vgj != zenon_Vmj) % 0.27/0.60 (zenon_Vkk != zenon_Vxd) % 0.27/0.60 (zenon_Vwi != zenon_Vpb) % 0.27/0.60 (zenon_Vci != zenon_Vrf) % 0.27/0.60 (zenon_Vll != zenon_Veh) % 0.27/0.60 (zenon_Vjm != zenon_Vfe) % 0.27/0.60 (zenon_Vsh != zenon_Vii) % 0.27/0.60 (zenon_Vbo != zenon_Vhf) % 0.27/0.60 (zenon_Vmi != zenon_Vbk) % 0.27/0.60 (zenon_Vzf != zenon_Vdd) % 0.27/0.60 (zenon_Vih != zenon_Vcj) % 0.27/0.60 (zenon_Vog != zenon_Vne) % 0.27/0.60 (zenon_Vyg != zenon_Vug) % 0.27/0.60 (r1 zenon_Vti zenon_Vui) % 0.27/0.60 (zenon_Vih != zenon_Vne) % 0.27/0.60 (r1 zenon_Vwo zenon_Vzo) % 0.27/0.60 (zenon_Vjo != zenon_Vdi) % 0.27/0.60 (zenon_Vop != zenon_Vkg) % 0.27/0.60 (zenon_Vzk != zenon_Vug) % 0.27/0.60 (zenon_Vro != zenon_Vpb) % 0.27/0.60 (-. (p1 zenon_Vfc)) % 0.27/0.60 (zenon_Vtl != zenon_Vlk) % 0.27/0.60 (zenon_Vfk != zenon_Vkg) % 0.27/0.60 (r1 zenon_Vck zenon_Vhk) % 0.27/0.60 (zenon_Vtl != zenon_Vzc) % 0.27/0.60 (zenon_Vln != zenon_Vrf) % 0.27/0.60 (-. (p1 zenon_Vlf)) % 0.27/0.60 (zenon_Veg != zenon_Vdf) % 0.27/0.60 (zenon_Vhn != zenon_Vfe) % 0.27/0.60 (zenon_Vdh != zenon_Vre) % 0.27/0.60 (zenon_Vnm != zenon_Vvc) % 0.27/0.60 (zenon_Vfk != zenon_Vrj) % 0.27/0.60 (zenon_Vnm != zenon_Vlf) % 0.27/0.60 (zenon_Vnh != zenon_Vze) % 0.27/0.60 (zenon_Vih != zenon_Vwj) % 0.27/0.60 (zenon_Vzm != zenon_Vld) % 0.27/0.60 (zenon_Vwi != zenon_Vhj) % 0.27/0.60 (zenon_Vdh != zenon_Vni) % 0.27/0.60 (zenon_Vdn != zenon_Veh) % 0.27/0.60 (zenon_Vjg != zenon_Vze) % 0.27/0.60 (zenon_Vpn != zenon_Vtb) % 0.27/0.60 (zenon_Vhi != zenon_Vvc) % 0.27/0.60 (zenon_Vbm != zenon_Val) % 0.27/0.60 (zenon_Vdp != zenon_Vnc) % 0.27/0.60 (zenon_Vll != zenon_Vfg) % 0.27/0.60 (zenon_Vhp != zenon_Vvf) % 0.27/0.60 (zenon_Vbm != zenon_Vzg) % 0.27/0.60 (zenon_Vlp != zenon_Vxi) % 0.27/0.60 (zenon_Vtg != zenon_Vre) % 0.27/0.60 (zenon_Vzk != zenon_Vlf) % 0.27/0.60 (zenon_Vzm != zenon_Vvc) % 0.27/0.60 (zenon_Vgj != zenon_Vwj) % 0.27/0.60 (zenon_Vhi != zenon_Vld) % 0.27/0.60 (zenon_Vsh != zenon_Vzg) % 0.27/0.60 (zenon_Vuk != zenon_Vfg) % 0.27/0.60 (zenon_Vuf != zenon_Vxi) % 0.27/0.60 (zenon_Vfo != zenon_Vtb) % 0.27/0.60 (zenon_Vjo != zenon_Val) % 0.27/0.60 (zenon_Vjo != zenon_Vcj) % 0.27/0.60 (zenon_Vqf != zenon_Vdf) % 0.27/0.60 (zenon_Vnm != zenon_Vrj) % 0.27/0.60 (zenon_Vlj != zenon_Vtd) % 0.27/0.60 (zenon_Vvj != zenon_Vrf) % 0.27/0.60 (zenon_Vdp != zenon_Vje) % 0.27/0.60 (zenon_Vyg != zenon_Vbe) % 0.27/0.60 (zenon_Vnm != zenon_Vfe) % 0.27/0.60 (zenon_Vfm != zenon_Vfe) % 0.27/0.60 (zenon_Vqj != zenon_Vld) % 0.27/0.60 (zenon_Vzm != zenon_Vlb) % 0.27/0.60 (zenon_Vqj != zenon_Vbe) % 0.27/0.60 (zenon_Vri != zenon_Vof) % 0.27/0.60 (zenon_Vdn != zenon_Vdi) % 0.27/0.60 (p1 zenon_Vkk) % 0.27/0.60 (zenon_Vxn != zenon_Vwj) % 0.27/0.60 (r1 zenon_Vfh zenon_Vgh) % 0.27/0.60 (zenon_Vri != zenon_Vld) % 0.27/0.60 (zenon_Vzf != zenon_Vre) % 0.27/0.60 (zenon_Vzk != zenon_Vfe) % 0.27/0.60 (r1 zenon_Vzh zenon_Vei) % 0.27/0.60 (zenon_Vro != zenon_Vnc) % 0.27/0.60 (p1 zenon_Vxl) % 0.27/0.60 (zenon_Vno != zenon_Vlf) % 0.27/0.60 (zenon_Vhl != zenon_Vhd) % 0.27/0.60 (zenon_Vih != zenon_Vhj) % 0.27/0.60 (zenon_Vbj != zenon_Vre) % 0.27/0.60 (zenon_Vyg != zenon_Vgk) % 0.27/0.60 (zenon_Vxn != zenon_Vlf) % 0.27/0.60 (zenon_Vzk != zenon_Vhj) % 0.27/0.60 (zenon_Vxl != zenon_Vrc) % 0.27/0.60 (zenon_Vbm != zenon_Vpd) % 0.27/0.60 (zenon_Vdp != zenon_Vfc) % 0.27/0.60 (zenon_Vfk != zenon_Veh) % 0.27/0.60 (zenon_Vno != zenon_Vqk) % 0.27/0.60 (zenon_Vnh != zenon_Vii) % 0.27/0.60 (zenon_Vtl != zenon_Vgk) % 0.27/0.60 (zenon_Vnm != zenon_Vhf) % 0.27/0.60 (zenon_Vrm != zenon_Vld) % 0.27/0.60 (zenon_Vop != zenon_Vqk) % 0.27/0.60 (zenon_Vfo != zenon_Vrf) % 0.27/0.60 (zenon_Vfm != zenon_Vbe) % 0.27/0.60 (zenon_Vxh != zenon_Vpd) % 0.27/0.60 (zenon_Vln != zenon_Voh) % 0.27/0.60 (zenon_Vwi != zenon_Vhf) % 0.27/0.60 (-. (p1 zenon_Vrj)) % 0.27/0.60 (zenon_Vgj != zenon_Vtb) % 0.27/0.60 (zenon_Vtg != zenon_Vld) % 0.27/0.60 (zenon_Vbm != zenon_Vhb) % 0.27/0.60 (zenon_Vbo != zenon_Vvf) % 0.27/0.60 (zenon_Vgj != zenon_Vld) % 0.27/0.60 (zenon_Vdp != zenon_Vzc) % 0.27/0.60 (zenon_Vmi != zenon_Vtb) % 0.27/0.60 (zenon_Vxl != zenon_Vni) % 0.27/0.60 (zenon_Vvm != zenon_Vne) % 0.27/0.60 (zenon_Vzf != zenon_Vtb) % 0.27/0.60 (zenon_Vqj != zenon_Voh) % 0.27/0.60 (zenon_Vhn != zenon_Vve) % 0.27/0.60 (zenon_Vih != zenon_Val) % 0.27/0.60 (zenon_Vdn != zenon_Vbc) % 0.27/0.60 (zenon_Vhp != zenon_Vyh) % 0.27/0.60 (zenon_Vxl != zenon_Vxb) % 0.27/0.60 (zenon_Vzk != zenon_Vtb) % 0.27/0.60 (zenon_Vnm != zenon_Vne) % 0.27/0.60 (zenon_Vzm != zenon_Vtb) % 0.27/0.60 (zenon_Vzo != zenon_Vze) % 0.27/0.60 (zenon_Vhn != zenon_Vxi) % 0.27/0.60 (zenon_Vih != zenon_Vhd) % 0.27/0.60 (zenon_Vzk != zenon_Vne) % 0.27/0.60 (zenon_Vvm != zenon_Vjh) % 0.27/0.60 (zenon_Vhi != zenon_Vqk) % 0.27/0.60 (zenon_Vrm != zenon_Vhb) % 0.27/0.60 (zenon_Vjm != zenon_Vyh) % 0.27/0.60 (zenon_Vak != zenon_Vlf) % 0.27/0.60 (zenon_Vhn != zenon_Vdf) % 0.27/0.60 (zenon_Vln != zenon_Vne) % 0.27/0.60 (r1 zenon_Vei zenon_Vji) % 0.27/0.60 (zenon_Vri != zenon_Vtb) % 0.27/0.60 (zenon_Vkk != zenon_Vyh) % 0.27/0.60 (zenon_Vro != zenon_Vxi) % 0.27/0.60 (zenon_Vkk != zenon_Vjc) % 0.27/0.60 (zenon_Vnm != zenon_Vbk) % 0.27/0.60 (zenon_Vxh != zenon_Vzg) % 0.27/0.60 (zenon_Vfk != zenon_Vxi) % 0.27/0.60 (zenon_Vqj != zenon_Vhj) % 0.27/0.60 (zenon_Vwi != zenon_Vrf) % 0.27/0.60 (zenon_Vlj != zenon_Vjh) % 0.27/0.60 (zenon_Vqf != zenon_Vzg) % 0.27/0.60 (zenon_Vog != zenon_Vpd) % 0.27/0.60 (-. (p1 zenon_Vpg)) % 0.27/0.60 (zenon_Vuk != zenon_Vni) % 0.27/0.60 (zenon_Vbm != zenon_Vgk) % 0.27/0.60 (zenon_Vvm != zenon_Vvk) % 0.27/0.60 (zenon_Vuf != zenon_Vrj) % 0.27/0.60 (-. (p1 zenon_Vzg)) % 0.27/0.60 (zenon_Vfo != zenon_Vpd) % 0.27/0.60 (zenon_Vzk != zenon_Vdi) % 0.27/0.60 (zenon_Vtl != zenon_Vpg) % 0.27/0.60 (zenon_Vpk != zenon_Vve) % 0.27/0.60 (zenon_Vih != zenon_Vdi) % 0.27/0.60 (zenon_Vxl != zenon_Vbe) % 0.27/0.60 (zenon_Vnm != zenon_Vag) % 0.27/0.60 (zenon_Vrm != zenon_Vgk) % 0.27/0.60 (zenon_Vsh != zenon_Vne) % 0.27/0.60 (zenon_Vxh != zenon_Vhd) % 0.27/0.60 (zenon_Vog != zenon_Vxb) % 0.27/0.60 (zenon_Vlp != zenon_Vfe) % 0.27/0.60 (zenon_Vhl != zenon_Vmj) % 0.27/0.60 (zenon_Vjg != zenon_Val) % 0.27/0.60 (zenon_Vqj != zenon_Veh) % 0.27/0.60 (zenon_Vhn != zenon_Vhj) % 0.27/0.60 (zenon_Vyg != zenon_Vni) % 0.27/0.60 (zenon_Vhi != zenon_Vwj) % 0.27/0.60 (p1 zenon_Vtg) % 0.27/0.60 (r1 zenon_Vsc zenon_Vvc) % 0.27/0.60 (zenon_Vzm != zenon_Vtd) % 0.27/0.60 (zenon_Vuf != zenon_Vtb) % 0.27/0.60 (zenon_Vlp != zenon_Vjc) % 0.27/0.60 (zenon_Vpk != zenon_Vii) % 0.27/0.60 (zenon_Vvm != zenon_Vhd) % 0.27/0.60 (zenon_Vzm != zenon_Vlk) % 0.27/0.60 (zenon_Vvo != zenon_Vlf) % 0.27/0.60 (zenon_Vzk != zenon_Vcj) % 0.27/0.60 (zenon_Vqj != zenon_Vfc) % 0.27/0.60 (zenon_Vtn != zenon_Vbk) % 0.27/0.60 (zenon_Vrm != zenon_Vdi) % 0.27/0.60 (zenon_Vuf != zenon_Vfe) % 0.27/0.60 (zenon_Vbm != zenon_Vrj) % 0.27/0.60 (zenon_Vqj != zenon_Vni) % 0.27/0.60 (zenon_Vro != zenon_Vve) % 0.27/0.60 (zenon_Vuk != zenon_Vhb) % 0.27/0.60 (zenon_Vxh != zenon_Vkg) % 0.27/0.60 (zenon_Vak != zenon_Vag) % 0.27/0.60 (zenon_Vxn != zenon_Vrj) % 0.27/0.60 (zenon_Vci != zenon_Vbc) % 0.27/0.60 (zenon_Vll != zenon_Vlb) % 0.27/0.60 (r1 zenon_Vra zenon_Vsa) % 0.27/0.60 (zenon_Vzk != zenon_Voh) % 0.27/0.60 (r1 zenon_Vgo zenon_Vjo) % 0.27/0.60 (zenon_Vqj != zenon_Vgk) % 0.27/0.60 (zenon_Vfm != zenon_Vnc) % 0.27/0.60 (zenon_Vro != zenon_Vhb) % 0.27/0.60 (zenon_Vln != zenon_Veh) % 0.27/0.60 (zenon_Vzo != zenon_Vzc) % 0.27/0.60 (zenon_Vyg != zenon_Vhd) % 0.27/0.60 (zenon_Vxh != zenon_Vrc) % 0.27/0.60 (zenon_Vqj != zenon_Vxi) % 0.27/0.60 (zenon_Vpl != zenon_Vth) % 0.27/0.60 (zenon_Vll != zenon_Vag) % 0.27/0.60 (zenon_Vvo != zenon_Vjc) % 0.27/0.60 (zenon_Vno != zenon_Vpb) % 0.27/0.60 (zenon_Vhl != zenon_Val) % 0.27/0.60 (zenon_Vfo != zenon_Vvk) % 0.27/0.60 (zenon_Vak != zenon_Vbe) % 0.27/0.60 (zenon_Vih != zenon_Vxb) % 0.27/0.60 (zenon_Vuk != zenon_Vhf) % 0.27/0.60 (zenon_Vxh != zenon_Vld) % 0.27/0.60 (-. (p1 zenon_Vxd)) % 0.27/0.60 (zenon_Vbm != zenon_Vvk) % 0.27/0.60 (zenon_Vtn != zenon_Val) % 0.27/0.60 (zenon_Vtg != zenon_Vfg) % 0.27/0.60 (zenon_Vno != zenon_Vve) % 0.27/0.60 (zenon_Vlj != zenon_Vld) % 0.27/0.60 (r1 zenon_Vph zenon_Vqh) % 0.27/0.60 (zenon_Vuf != zenon_Vvf) % 0.27/0.60 (-. (p1 zenon_Vrf)) % 0.27/0.60 (zenon_Vtn != zenon_Vjc) % 0.27/0.60 (p1 zenon_Vuf) % 0.27/0.60 (zenon_Vpk != zenon_Vmj) % 0.27/0.60 (zenon_Vfk != zenon_Vbk) % 0.27/0.60 (zenon_Vbo != zenon_Vvk) % 0.27/0.60 (zenon_Vdh != zenon_Vwj) % 0.27/0.60 (zenon_Vmi != zenon_Vsi) % 0.27/0.60 (zenon_Vkk != zenon_Vdi) % 0.27/0.60 (zenon_Vfo != zenon_Vqk) % 0.27/0.60 (zenon_Vvo != zenon_Vpg) % 0.27/0.60 (zenon_Vfm != zenon_Vje) % 0.27/0.60 (zenon_Vqj != zenon_Vdd) % 0.27/0.60 (zenon_Vnh != zenon_Vtd) % 0.27/0.60 (zenon_Vvj != zenon_Vjc) % 0.27/0.60 (p1 zenon_Vfm) % 0.27/0.60 (zenon_Vnm != zenon_Vpb) % 0.27/0.60 (zenon_Vuk != zenon_Vlb) % 0.27/0.60 (-. (p1 zenon_Vhf)) % 0.27/0.60 (zenon_Vdn != zenon_Vnc) % 0.27/0.60 (zenon_Vak != zenon_Vfc) % 0.27/0.60 (zenon_Vuk != zenon_Vcj) % 0.27/0.60 (zenon_Vhn != zenon_Vzc) % 0.27/0.60 (zenon_Vop != zenon_Vpd) % 0.27/0.60 (zenon_Vvm != zenon_Vrc) % 0.27/0.60 (zenon_Vrm != zenon_Vmj) % 0.27/0.60 (zenon_Vkk != zenon_Vmj) % 0.27/0.60 (zenon_Vhn != zenon_Vze) % 0.27/0.60 (zenon_Vdn != zenon_Vve) % 0.27/0.60 (zenon_Vzo != zenon_Vjh) % 0.27/0.60 (-. (p1 zenon_Vwj)) % 0.27/0.60 (zenon_Vjg != zenon_Vrf) % 0.27/0.60 (r1 zenon_Vsk zenon_Vvk) % 0.27/0.60 (zenon_Vdp != zenon_Vrf) % 0.27/0.60 (zenon_Vtl != zenon_Vfe) % 0.27/0.60 (zenon_Vri != zenon_Vxb) % 0.27/0.60 (zenon_Vzk != zenon_Vqk) % 0.27/0.60 (zenon_Vjm != zenon_Vqk) % 0.27/0.60 (zenon_Vzf != zenon_Veh) % 0.27/0.60 (zenon_Vvm != zenon_Vpd) % 0.27/0.60 (zenon_Vhi != zenon_Vfc) % 0.27/0.60 (zenon_Vpl != zenon_Vhb) % 0.27/0.60 (zenon_Vpl != zenon_Vzg) % 0.27/0.60 (-. (p1 zenon_Vvf)) % 0.27/0.60 (zenon_Vpn != zenon_Vrj) % 0.27/0.60 (zenon_Vfk != zenon_Vje) % 0.27/0.60 (zenon_Vvm != zenon_Vlk) % 0.27/0.60 (zenon_Vmi != zenon_Vdd) % 0.27/0.60 (-. (p1 zenon_Vdi)) % 0.27/0.60 (zenon_Vtl != zenon_Val) % 0.27/0.60 (zenon_Vog != zenon_Vvk) % 0.27/0.60 (zenon_Vll != zenon_Vdf) % 0.27/0.60 (zenon_Vtl != zenon_Vrc) % 0.27/0.60 (zenon_Vci != zenon_Vsi) % 0.27/0.60 (zenon_Vqj != zenon_Vre) % 0.27/0.60 (zenon_Vzf != zenon_Vfc) % 0.27/0.60 (zenon_Vzo != zenon_Vmj) % 0.27/0.60 (zenon_Vuk != zenon_Vhd) % 0.27/0.60 (zenon_Vhl != zenon_Vtd) % 0.27/0.60 (zenon_Vmi != zenon_Vnc) % 0.27/0.60 (zenon_Vtl != zenon_Vsi) % 0.27/0.60 (zenon_Vfo != zenon_Vmj) % 0.27/0.60 (zenon_Vkk != zenon_Vbc) % 0.27/0.60 (zenon_Vxh != zenon_Vtb) % 0.27/0.60 (zenon_Vwi != zenon_Vvk) % 0.27/0.60 (zenon_Vln != zenon_Vxi) % 0.27/0.60 (zenon_Vxn != zenon_Vfe) % 0.27/0.60 (zenon_Vfm != zenon_Vrj) % 0.27/0.60 (zenon_Vbo != zenon_Vwj) % 0.27/0.60 (zenon_Vdp != zenon_Vlk) % 0.27/0.60 (zenon_Vfk != zenon_Vre) % 0.27/0.60 (zenon_Vfk != zenon_Vfg) % 0.27/0.60 (zenon_Vtl != zenon_Vwj) % 0.27/0.60 (zenon_Vhn != zenon_Vmj) % 0.27/0.60 (zenon_Vdh != zenon_Vfe) % 0.27/0.60 (zenon_Vdn != zenon_Vfe) % 0.27/0.60 (zenon_Vak != zenon_Vfg) % 0.27/0.60 (zenon_Vfm != zenon_Vmj) % 0.27/0.60 (p1 zenon_Vll) % 0.27/0.60 (zenon_Vdn != zenon_Vhj) % 0.27/0.60 (zenon_Vjo != zenon_Vtb) % 0.27/0.60 (zenon_Vtn != zenon_Vdf) % 0.27/0.60 (zenon_Vxn != zenon_Vgk) % 0.27/0.60 (zenon_Vzm != zenon_Vjc) % 0.27/0.60 (zenon_Vhn != zenon_Vrc) % 0.27/0.60 (zenon_Vjg != zenon_Vyh) % 0.27/0.60 (zenon_Vdh != zenon_Vvk) % 0.27/0.60 (zenon_Vjg != zenon_Vlb) % 0.27/0.60 (zenon_Vro != zenon_Vii) % 0.27/0.60 (zenon_Vuf != zenon_Vjh) % 0.27/0.60 (zenon_Vnh != zenon_Vdd) % 0.27/0.60 (zenon_Vjo != zenon_Vwj) % 0.27/0.60 (zenon_Vak != zenon_Vld) % 0.27/0.60 (zenon_Vdh != zenon_Vpg) % 0.27/0.60 (zenon_Vzf != zenon_Vhb) % 0.27/0.60 (zenon_Vro != zenon_Vbe) % 0.27/0.60 (zenon_Vfo != zenon_Vhd) % 0.27/0.60 (zenon_Vzf != zenon_Vpg) % 0.27/0.60 (r1 zenon_Vdk zenon_Vgk) % 0.27/0.60 (-. (p1 zenon_Vhb)) % 0.27/0.60 (zenon_Vhn != zenon_Vnc) % 0.27/0.60 (zenon_Vfk != zenon_Vpg) % 0.27/0.60 (zenon_Vjo != zenon_Vdd) % 0.27/0.60 (r1 zenon_Vke zenon_Vne) % 0.27/0.60 (zenon_Vnh != zenon_Vxi) % 0.27/0.60 (zenon_Vqj != zenon_Vcj) % 0.27/0.60 (zenon_Vxh != zenon_Vag) % 0.27/0.60 (zenon_Vzm != zenon_Vzc) % 0.27/0.60 (zenon_Vro != zenon_Vne) % 0.27/0.60 (zenon_Vqf != zenon_Val) % 0.27/0.60 (zenon_Vmi != zenon_Vrc) % 0.27/0.60 (zenon_Vih != zenon_Vjc) % 0.27/0.60 (zenon_Vqf != zenon_Vzc) % 0.27/0.60 (zenon_Vrm != zenon_Vfg) % 0.27/0.60 (zenon_Vtl != zenon_Vfc) % 0.27/0.60 (zenon_Vzk != zenon_Vxi) % 0.27/0.60 (zenon_Vri != zenon_Vgk) % 0.27/0.60 (zenon_Vwi != zenon_Vbe) % 0.27/0.60 (zenon_Vci != zenon_Vdi) % 0.27/0.60 (zenon_Vln != zenon_Vhd) % 0.27/0.60 (zenon_Vll != zenon_Vzg) % 0.27/0.60 (zenon_Vjm != zenon_Vug) % 0.27/0.60 (zenon_Vtn != zenon_Vdd) % 0.27/0.60 (zenon_Vdn != zenon_Vxd) % 0.27/0.60 (zenon_Vhi != zenon_Vdf) % 0.27/0.60 (zenon_Vmi != zenon_Vwj) % 0.27/0.60 (zenon_Vdh != zenon_Vug) % 0.27/0.60 (zenon_Vtl != zenon_Vug) % 0.27/0.60 (zenon_Vhl != zenon_Vpd) % 0.27/0.60 (zenon_Vvo != zenon_Vvk) % 0.27/0.60 (zenon_Vtg != zenon_Vpb) % 0.27/0.60 (zenon_Vjg != zenon_Vve) % 0.27/0.60 (zenon_Vpk != zenon_Vfc) % 0.27/0.60 (zenon_Vog != zenon_Vof) % 0.27/0.60 (zenon_Vtn != zenon_Vqk) % 0.27/0.60 (zenon_Vll != zenon_Vhf) % 0.27/0.60 (zenon_Vpl != zenon_Vje) % 0.27/0.60 (zenon_Vog != zenon_Vug) % 0.27/0.60 (zenon_Vlj != zenon_Vvc) % 0.27/0.60 (zenon_Vqj != zenon_Vjc) % 0.27/0.60 (zenon_Vwi != zenon_Vtd) % 0.27/0.60 (zenon_Vxl != zenon_Vtd) % 0.27/0.60 (zenon_Vhl != zenon_Vag) % 0.27/0.60 (zenon_Vih != zenon_Vqk) % 0.27/0.60 (zenon_Vuk != zenon_Vzg) % 0.27/0.60 (zenon_Vfk != zenon_Vrf) % 0.27/0.60 (zenon_Vjm != zenon_Vvf) % 0.27/0.60 (zenon_Vvm != zenon_Vfe) % 0.27/0.60 (zenon_Vxl != zenon_Vwj) % 0.27/0.60 (zenon_Vfm != zenon_Vwj) % 0.27/0.60 (zenon_Vro != zenon_Vdd) % 0.27/0.60 (r1 zenon_Vaf zenon_Vdf) % 0.27/0.60 (zenon_Vuf != zenon_Vyh) % 0.27/0.60 (zenon_Vsh != zenon_Vxi) % 0.27/0.60 (zenon_Vdh != zenon_Vsi) % 0.27/0.60 (zenon_Vhl != zenon_Vpg) % 0.27/0.60 (zenon_Vnh != zenon_Vjc) % 0.27/0.60 (zenon_Vdh != zenon_Vpd) % 0.27/0.60 (zenon_Vtl != zenon_Vze) % 0.27/0.60 (zenon_Vpn != zenon_Vzc) % 0.27/0.60 (zenon_Vih != zenon_Voh) % 0.27/0.60 (zenon_Vdn != zenon_Vrj) % 0.27/0.60 (zenon_Vdn != zenon_Vhb) % 0.27/0.60 (r1 zenon_Vsf zenon_Vtf) % 0.27/0.60 (zenon_Vwi != zenon_Veh) % 0.27/0.60 (zenon_Vop != zenon_Vug) % 0.27/0.60 (zenon_Vbm != zenon_Vdf) % 0.27/0.60 (zenon_Vpl != zenon_Vze) % 0.27/0.60 (zenon_Vhp != zenon_Vdd) % 0.27/0.60 (zenon_Vxn != zenon_Vfg) % 0.27/0.60 (-. (p1 zenon_Val)) % 0.27/0.60 (zenon_Vvj != zenon_Vyh) % 0.27/0.60 (zenon_Vuk != zenon_Vvc) % 0.27/0.60 (zenon_Vrm != zenon_Vtb) % 0.27/0.60 (zenon_Veg != zenon_Vcj) % 0.27/0.60 (zenon_Vzk != zenon_Vve) % 0.27/0.60 (zenon_Vuk != zenon_Vth) % 0.27/0.60 (zenon_Vkk != zenon_Vnc) % 0.27/0.60 (-. (p1 zenon_Vvc)) % 0.27/0.60 (zenon_Vxn != zenon_Vii) % 0.27/0.60 (zenon_Vlp != zenon_Vhf) % 0.27/0.60 (zenon_Vuk != zenon_Vqk) % 0.27/0.60 (zenon_Veg != zenon_Vze) % 0.27/0.60 (zenon_Vhp != zenon_Vhb) % 0.27/0.60 (zenon_Vgj != zenon_Vhb) % 0.27/0.60 (r1 zenon_Vqg zenon_Vrg) % 0.27/0.60 (zenon_Vnm != zenon_Vld) % 0.27/0.60 (zenon_Vih != zenon_Vfc) % 0.27/0.60 (zenon_Vjg != zenon_Vhf) % 0.27/0.60 (zenon_Vbm != zenon_Vqk) % 0.27/0.60 (zenon_Vzm != zenon_Vni) % 0.27/0.60 (zenon_Vzk != zenon_Vlk) % 0.27/0.60 (zenon_Vfm != zenon_Vhf) % 0.27/0.60 (zenon_Vkk != zenon_Vbk) % 0.27/0.60 (zenon_Vzo != zenon_Vcj) % 0.27/0.60 (zenon_Vtl != zenon_Vag) % 0.27/0.60 (zenon_Vri != zenon_Vyh) % 0.27/0.60 (zenon_Vdh != zenon_Vcj) % 0.27/0.60 (zenon_Vlp != zenon_Vre) % 0.27/0.60 (zenon_Vci != zenon_Vfg) % 0.27/0.60 (zenon_Vfo != zenon_Vug) % 0.27/0.60 (zenon_Vdh != zenon_Vhf) % 0.27/0.60 (zenon_Vll != zenon_Vlk) % 0.27/0.60 (zenon_Vdh != zenon_Vlk) % 0.27/0.60 (zenon_Vfk != zenon_Vfe) % 0.27/0.60 (zenon_Vvj != zenon_Vbc) % 0.27/0.60 (zenon_Vyg != zenon_Vii) % 0.27/0.60 (zenon_Vro != zenon_Vcj) % 0.27/0.60 (zenon_Vjo != zenon_Vpd) % 0.27/0.60 (zenon_Vyg != zenon_Veh) % 0.27/0.60 (zenon_Vtg != zenon_Vwj) % 0.27/0.60 (zenon_Vri != zenon_Vrc) % 0.27/0.60 (zenon_Vbj != zenon_Vgk) % 0.27/0.60 (zenon_Vpl != zenon_Vlf) % 0.27/0.60 (zenon_Veg != zenon_Vtb) % 0.27/0.60 (zenon_Vvj != zenon_Vdd) % 0.27/0.60 (zenon_Vop != zenon_Voh) % 0.27/0.60 (zenon_Vpl != zenon_Vhj) % 0.27/0.60 (zenon_Vpk != zenon_Vlb) % 0.27/0.60 (zenon_Vno != zenon_Vje) % 0.27/0.60 (zenon_Veg != zenon_Vld) % 0.27/0.60 (zenon_Vzk != zenon_Vdd) % 0.27/0.60 (p1 zenon_Vjg) % 0.27/0.60 (zenon_Vzm != zenon_Vdi) % 0.27/0.60 (zenon_Vzk != zenon_Vhb) % 0.27/0.60 (zenon_Vqj != zenon_Vmj) % 0.27/0.60 (zenon_Vfo != zenon_Vdf) % 0.27/0.60 (zenon_Vlj != zenon_Vpd) % 0.27/0.60 (zenon_Vdp != zenon_Vrj) % 0.27/0.60 (zenon_Vuk != zenon_Vdf) % 0.27/0.60 (zenon_Vih != zenon_Vzg) % 0.27/0.60 (zenon_Vdp != zenon_Vpb) % 0.27/0.60 (zenon_Vtg != zenon_Vth) % 0.27/0.60 (zenon_Vdh != zenon_Vjh) % 0.27/0.60 (zenon_Vhp != zenon_Vzg) % 0.27/0.60 (zenon_Vlp != zenon_Vhj) % 0.27/0.60 (zenon_Vmi != zenon_Vfc) % 0.27/0.60 (zenon_Vfk != zenon_Vhd) % 0.27/0.60 (zenon_Vtg != zenon_Vje) % 0.27/0.60 (-. (p1 zenon_Vbc)) % 0.27/0.60 (zenon_Veg != zenon_Vdd) % 0.27/0.60 (zenon_Vhn != zenon_Vhb) % 0.27/0.60 (zenon_Vfk != zenon_Vbe) % 0.27/0.60 (zenon_Vfo != zenon_Vii) % 0.27/0.60 (zenon_Vdp != zenon_Vni) % 0.27/0.60 (zenon_Vhp != zenon_Vne) % 0.27/0.60 (zenon_Vbm != zenon_Veh) % 0.27/0.60 (zenon_Vdn != zenon_Vag) % 0.27/0.60 (zenon_Veg != zenon_Vjh) % 0.27/0.60 (zenon_Vzf != zenon_Voh) % 0.27/0.60 (zenon_Vlj != zenon_Vhd) % 0.27/0.60 (zenon_Vqf != zenon_Vvc) % 0.27/0.60 (-. (p2 zenon_Vdb)) % 0.27/0.60 (zenon_Vjg != zenon_Vtd) % 0.27/0.60 (zenon_Vci != zenon_Vrc) % 0.27/0.60 (zenon_Vuk != zenon_Vgk) % 0.27/0.60 (zenon_Vpn != zenon_Vdi) % 0.27/0.60 (zenon_Vhi != zenon_Vlf) % 0.27/0.60 (zenon_Vln != zenon_Vve) % 0.27/0.60 (zenon_Vpl != zenon_Vrf) % 0.27/0.60 (zenon_Vog != zenon_Vve) % 0.27/0.60 (zenon_Vkk != zenon_Vhj) % 0.27/0.60 (zenon_Vop != zenon_Vrc) % 0.27/0.60 (zenon_Vkk != zenon_Val) % 0.27/0.60 (zenon_Vqj != zenon_Vwj) % 0.27/0.60 (zenon_Vjg != zenon_Veh) % 0.27/0.60 (zenon_Vpk != zenon_Vvk) % 0.27/0.60 (zenon_Vhi != zenon_Vdi) % 0.27/0.60 (zenon_Vxn != zenon_Vbk) % 0.27/0.60 (zenon_Vpn != zenon_Vyh) % 0.27/0.60 (zenon_Vtl != zenon_Vkg) % 0.27/0.60 (zenon_Vbm != zenon_Voh) % 0.27/0.60 (zenon_Vak != zenon_Vqk) % 0.27/0.60 (zenon_Vtg != zenon_Vbk) % 0.27/0.60 (zenon_Vxn != zenon_Vxd) % 0.27/0.60 (r1 zenon_Vvh zenon_Vwh) % 0.27/0.60 (zenon_Vhn != zenon_Vag) % 0.27/0.60 (zenon_Vpl != zenon_Vdd) % 0.27/0.60 (zenon_Vjo != zenon_Vof) % 0.27/0.60 (zenon_Vro != zenon_Vdi) % 0.27/0.60 (zenon_Vhn != zenon_Vbk) % 0.27/0.60 (zenon_Vfk != zenon_Vdd) % 0.27/0.60 (zenon_Vyg != zenon_Vsi) % 0.27/0.60 (zenon_Vsh != zenon_Vld) % 0.27/0.60 (zenon_Vzo != zenon_Vre) % 0.27/0.60 (zenon_Vhi != zenon_Vsi) % 0.27/0.60 (zenon_Vak != zenon_Vnc) % 0.27/0.60 (r1 zenon_Vej zenon_Vfj) % 0.27/0.60 (zenon_Vqj != zenon_Vfg) % 0.27/0.60 (zenon_Vxl != zenon_Vii) % 0.27/0.60 (zenon_Vxh != zenon_Vlb) % 0.27/0.60 (zenon_Vkk != zenon_Vfc) % 0.27/0.60 (zenon_Vsh != zenon_Vpb) % 0.27/0.60 (r1 zenon_Vqd zenon_Vtd) % 0.27/0.60 (zenon_Vzk != zenon_Vpg) % 0.27/0.60 (zenon_Vuk != zenon_Vlf) % 0.27/0.60 (zenon_Vdp != zenon_Vqk) % 0.27/0.60 (zenon_Vwi != zenon_Vii) % 0.27/0.60 (zenon_Vtn != zenon_Vth) % 0.27/0.60 (zenon_Vlj != zenon_Vfg) % 0.27/0.60 (zenon_Vog != zenon_Vrf) % 0.27/0.60 (zenon_Vfk != zenon_Vve) % 0.27/0.60 (zenon_Vkk != zenon_Vpg) % 0.27/0.60 (zenon_Vxh != zenon_Vfg) % 0.27/0.60 (zenon_Vzf != zenon_Vbk) % 0.27/0.60 (zenon_Vpn != zenon_Vfe) % 0.27/0.60 (zenon_Vlj != zenon_Vbk) % 0.27/0.60 (zenon_Vxl != zenon_Vld) % 0.27/0.60 (zenon_Vjg != zenon_Vpb) % 0.27/0.60 (zenon_Vzf != zenon_Vni) % 0.27/0.60 (zenon_Vfm != zenon_Vhj) % 0.27/0.60 (zenon_Vci != zenon_Vtb) % 0.27/0.60 (zenon_Vjg != zenon_Vhd) % 0.27/0.60 (zenon_Vvj != zenon_Vni) % 0.27/0.60 (zenon_Vdh != zenon_Vrf) % 0.27/0.60 (zenon_Vmi != zenon_Vof) % 0.27/0.60 (zenon_Vuf != zenon_Vrf) % 0.27/0.60 (zenon_Vno != zenon_Vjc) % 0.27/0.60 (zenon_Vpl != zenon_Vmj) % 0.27/0.60 (zenon_Vln != zenon_Vtd) % 0.27/0.60 (zenon_Vjg != zenon_Vdd) % 0.27/0.60 (zenon_Vll != zenon_Vcj) % 0.27/0.60 (zenon_Vzo != zenon_Vlf) % 0.27/0.60 (zenon_Vuk != zenon_Vii) % 0.27/0.60 (zenon_Vjm != zenon_Vii) % 0.27/0.60 (zenon_Vdp != zenon_Vgk) % 0.27/0.60 (zenon_Vvo != zenon_Vpd) % 0.27/0.60 (zenon_Vlj != zenon_Vbe) % 0.27/0.60 (zenon_Vll != zenon_Vpb) % 0.27/0.60 (zenon_Vxl != zenon_Vjh) % 0.27/0.60 (zenon_Veg != zenon_Vvk) % 0.27/0.60 (zenon_Vjm != zenon_Vsi) % 0.27/0.60 (-. (p1 zenon_Voh)) % 0.27/0.60 (zenon_Vno != zenon_Vlb) % 0.27/0.60 (zenon_Vln != zenon_Vgk) % 0.27/0.60 (zenon_Vxn != zenon_Vni) % 0.27/0.60 (zenon_Vhi != zenon_Vug) % 0.27/0.60 (zenon_Vdp != zenon_Vbk) % 0.27/0.60 (zenon_Vnm != zenon_Vzc) % 0.27/0.60 (zenon_Vjo != zenon_Vdf) % 0.27/0.60 (zenon_Vih != zenon_Vvk) % 0.27/0.60 (zenon_Vzo != zenon_Vtd) % 0.27/0.60 (zenon_Vog != zenon_Vpb) % 0.27/0.60 (zenon_Vuf != zenon_Vpb) % 0.27/0.60 (p1 zenon_Vqj) % 0.27/0.60 (zenon_Vro != zenon_Vvf) % 0.27/0.60 (zenon_Vkk != zenon_Vne) % 0.27/0.60 (zenon_Vmi != zenon_Vzg) % 0.27/0.60 (zenon_Vfo != zenon_Vve) % 0.27/0.60 (zenon_Vwi != zenon_Vld) % 0.27/0.60 (zenon_Vuf != zenon_Vlk) % 0.27/0.60 (zenon_Vtg != zenon_Vze) % 0.27/0.60 (zenon_Vih != zenon_Vhb) % 0.27/0.60 (zenon_Vci != zenon_Vjh) % 0.27/0.60 (zenon_Vwi != zenon_Vze) % 0.27/0.60 (zenon_Vhl != zenon_Vne) % 0.27/0.60 (r1 zenon_Vgh zenon_Vhh) % 0.27/0.60 (zenon_Vpn != zenon_Vve) % 0.27/0.60 (zenon_Vxl != zenon_Vlk) % 0.27/0.60 (zenon_Vll != zenon_Vxd) % 0.27/0.60 (zenon_Vzk != zenon_Vhf) % 0.27/0.60 (zenon_Vzf != zenon_Vsi) % 0.27/0.60 (r1 zenon_Vxk zenon_Val) % 0.27/0.60 (zenon_Vqf != zenon_Vof) % 0.27/0.60 (r1 zenon_Vml zenon_Vpl) % 0.27/0.60 (zenon_Vtg != zenon_Vhb) % 0.27/0.60 (zenon_Vhn != zenon_Vje) % 0.27/0.60 (zenon_Vnm != zenon_Vgk) % 0.27/0.60 (zenon_Vtg != zenon_Vtb) % 0.27/0.60 (zenon_Vbm != zenon_Vag) % 0.27/0.60 (zenon_Vkk != zenon_Vje) % 0.27/0.60 (zenon_Vfo != zenon_Vhj) % 0.27/0.60 (zenon_Vgj != zenon_Vth) % 0.27/0.60 (zenon_Vbj != zenon_Vld) % 0.27/0.60 (zenon_Vbo != zenon_Veh) % 0.27/0.60 (zenon_Vgj != zenon_Vpb) % 0.27/0.60 (zenon_Vmi != zenon_Vrj) % 0.27/0.60 (r1 zenon_Vse zenon_Vve) % 0.27/0.60 (zenon_Vzo != zenon_Vhd) % 0.27/0.60 (zenon_Vvo != zenon_Vrc) % 0.27/0.60 (zenon_Vqf != zenon_Vni) % 0.27/0.60 (zenon_Vll != zenon_Vdd) % 0.27/0.60 (zenon_Vvm != zenon_Vtb) % 0.27/0.60 (zenon_Vyg != zenon_Vpb) % 0.27/0.60 (zenon_Vih != zenon_Vxi) % 0.27/0.60 (zenon_Vnh != zenon_Vxb) % 0.27/0.60 (zenon_Vln != zenon_Vzg) % 0.27/0.60 (zenon_Vjg != zenon_Vvf) % 0.27/0.60 (zenon_Vjg != zenon_Vtb) % 0.27/0.60 (zenon_Vvm != zenon_Vmj) % 0.27/0.60 (zenon_Vtn != zenon_Vlf) % 0.27/0.60 (zenon_Vlj != zenon_Vre) % 0.27/0.60 (zenon_Vfo != zenon_Vth) % 0.27/0.60 (zenon_Vyg != zenon_Vkg) % 0.27/0.60 (zenon_Vhl != zenon_Vje) % 0.27/0.60 (zenon_Vfm != zenon_Vtd) % 0.27/0.60 (zenon_Vlp != zenon_Vxb) % 0.27/0.60 (zenon_Vhn != zenon_Vwj) % 0.27/0.60 (zenon_Vnh != zenon_Vve) % 0.27/0.60 (zenon_Vqf != zenon_Vyh) % 0.27/0.60 (r1 zenon_Vlg zenon_Vqg) % 0.27/0.60 (zenon_Vfo != zenon_Val) % 0.27/0.60 (zenon_Vnm != zenon_Vze) % 0.27/0.60 (zenon_Vvm != zenon_Vxi) % 0.27/0.60 (zenon_Vfo != zenon_Vje) % 0.27/0.60 (zenon_Vtn != zenon_Vmj) % 0.27/0.60 (zenon_Vzf != zenon_Vgk) % 0.27/0.60 (zenon_Vci != zenon_Vnc) % 0.27/0.60 (zenon_Vhp != zenon_Vzc) % 0.27/0.60 (zenon_Vbo != zenon_Vdf) % 0.27/0.60 (zenon_Vzm != zenon_Vvf) % 0.27/0.60 (zenon_Vdp != zenon_Vmj) % 0.27/0.60 (zenon_Vzo != zenon_Vbe) % 0.27/0.60 (zenon_Vog != zenon_Vbe) % 0.27/0.60 (zenon_Vno != zenon_Vtb) % 0.27/0.60 (zenon_Vln != zenon_Vof) % 0.27/0.60 (zenon_Vbj != zenon_Vyh) % 0.27/0.60 (zenon_Vro != zenon_Vug) % 0.27/0.60 (r1 zenon_Vzh zenon_Vai) % 0.27/0.60 (zenon_Vgj != zenon_Vvc) % 0.27/0.60 (zenon_Vpn != zenon_Vsi) % 0.27/0.60 (zenon_Vzo != zenon_Vnc) % 0.27/0.60 (zenon_Vjo != zenon_Vvc) % 0.27/0.60 (zenon_Vtn != zenon_Vlb) % 0.27/0.60 (zenon_Vuf != zenon_Vlb) % 0.27/0.60 (zenon_Vih != zenon_Vlk) % 0.27/0.60 (zenon_Vlj != zenon_Vth) % 0.27/0.60 (zenon_Vpl != zenon_Vjc) % 0.27/0.60 (-. (p2 zenon_Vza)) % 0.27/0.60 (zenon_Vpn != zenon_Vkg) % 0.27/0.60 (zenon_Vjo != zenon_Vre) % 0.27/0.60 (r1 zenon_Vsj zenon_Vtj) % 0.27/0.60 (zenon_Vhn != zenon_Vfg) % 0.27/0.60 (zenon_Vxn != zenon_Vqk) % 0.27/0.60 (p1 zenon_Vfk) % 0.27/0.60 (zenon_Vmi != zenon_Vvf) % 0.27/0.60 (zenon_Vfo != zenon_Vgk) % 0.27/0.60 (r1 zenon_Vki zenon_Vli) % 0.27/0.60 (zenon_Vvj != zenon_Vhd) % 0.27/0.60 (zenon_Vxl != zenon_Vtb) % 0.27/0.60 (zenon_Vci != zenon_Vze) % 0.27/0.60 (zenon_Vvo != zenon_Vni) % 0.27/0.60 (zenon_Vfo != zenon_Vdd) % 0.27/0.60 (zenon_Vfk != zenon_Vyh) % 0.27/0.60 (r1 zenon_Vwe zenon_Vze) % 0.27/0.60 (zenon_Vrm != zenon_Vhd) % 0.27/0.60 (zenon_Vfm != zenon_Vii) % 0.27/0.60 (zenon_Vuk != zenon_Vag) % 0.27/0.60 (zenon_Vzf != zenon_Vqk) % 0.27/0.60 (zenon_Vbm != zenon_Vtb) % 0.27/0.60 (zenon_Vhi != zenon_Vlk) % 0.27/0.60 (zenon_Vuf != zenon_Vjc) % 0.27/0.60 (zenon_Vhl != zenon_Vug) % 0.27/0.60 (zenon_Vvm != zenon_Vqk) % 0.27/0.60 (zenon_Vdh != zenon_Vag) % 0.27/0.60 (zenon_Vlj != zenon_Vfc) % 0.27/0.60 (zenon_Vzf != zenon_Vpb) % 0.27/0.60 (zenon_Vih != zenon_Vld) % 0.27/0.60 (zenon_Vvj != zenon_Vlb) % 0.27/0.60 (zenon_Veg != zenon_Vzg) % 0.27/0.60 (zenon_Vsh != zenon_Vug) % 0.27/0.60 (zenon_Vxh != zenon_Vne) % 0.27/0.60 (zenon_Vkk != zenon_Vtd) % 0.27/0.60 (zenon_Vpl != zenon_Vii) % 0.27/0.60 (zenon_Vqf != zenon_Vmj) % 0.27/0.60 (zenon_Vpk != zenon_Vbk) % 0.27/0.60 (zenon_Vvm != zenon_Vhj) % 0.27/0.60 (zenon_Vri != zenon_Vcj) % 0.27/0.60 (zenon_Veg != zenon_Vxi) % 0.27/0.60 (zenon_Vro != zenon_Vzc) % 0.27/0.60 (zenon_Vxl != zenon_Vzc) % 0.27/0.60 (zenon_Vyg != zenon_Vxb) % 0.27/0.60 (zenon_Vhp != zenon_Vxd) % 0.27/0.60 (zenon_Vfm != zenon_Vpb) % 0.27/0.60 (zenon_Vpk != zenon_Vof) % 0.27/0.60 (zenon_Vxh != zenon_Vbk) % 0.27/0.60 (zenon_Vll != zenon_Vze) % 0.27/0.60 (zenon_Vxn != zenon_Vvc) % 0.27/0.60 (zenon_Vro != zenon_Vrj) % 0.27/0.60 (zenon_Vri != zenon_Vze) % 0.27/0.60 (zenon_Vvo != zenon_Vth) % 0.27/0.60 (zenon_Vzo != zenon_Vpb) % 0.27/0.60 (zenon_Vjm != zenon_Vrc) % 0.27/0.60 (zenon_Vnh != zenon_Vbc) % 0.27/0.60 (zenon_Vop != zenon_Vfg) % 0.27/0.60 (zenon_Vvo != zenon_Vzg) % 0.27/0.60 (p1 zenon_Vfo) % 0.27/0.60 (zenon_Vfm != zenon_Vcj) % 0.27/0.60 (zenon_Vlj != zenon_Vni) % 0.27/0.60 (zenon_Vlj != zenon_Vkg) % 0.27/0.60 (zenon_Vxh != zenon_Vxd) % 0.27/0.60 (zenon_Vno != zenon_Vrj) % 0.27/0.60 (zenon_Vop != zenon_Vrj) % 0.27/0.60 (zenon_Vln != zenon_Vrj) % 0.27/0.60 (zenon_Vkk != zenon_Vlf) % 0.27/0.60 (zenon_Vxh != zenon_Vhf) % 0.27/0.60 (zenon_Vgj != zenon_Vjc) % 0.27/0.60 (zenon_Vci != zenon_Vcj) % 0.27/0.60 (zenon_Vfk != zenon_Vtd) % 0.27/0.60 (zenon_Vbo != zenon_Vhd) % 0.27/0.60 (zenon_Vnh != zenon_Vtb) % 0.27/0.60 (zenon_Vqf != zenon_Vxi) % 0.27/0.60 (zenon_Vih != zenon_Vyh) % 0.27/0.60 (zenon_Vfm != zenon_Vlf) % 0.27/0.60 (zenon_Vro != zenon_Vfc) % 0.27/0.60 (zenon_Vvm != zenon_Vhb) % 0.27/0.60 (zenon_Vqf != zenon_Vjc) % 0.27/0.60 (zenon_Vuk != zenon_Vkg) % 0.27/0.60 (zenon_Vhn != zenon_Vth) % 0.27/0.60 (zenon_Vlp != zenon_Vyh) % 0.27/0.60 (zenon_Vsh != zenon_Vve) % 0.27/0.60 (zenon_Vjo != zenon_Vfe) % 0.27/0.60 (zenon_Vbj != zenon_Vze) % 0.27/0.60 (zenon_Vvj != zenon_Vqk) % 0.27/0.60 (zenon_Vnm != zenon_Vwj) % 0.27/0.60 (zenon_Vxn != zenon_Vjh) % 0.27/0.60 (zenon_Vjg != zenon_Vdf) % 0.27/0.60 (zenon_Vdn != zenon_Vze) % 0.27/0.60 (zenon_Vpk != zenon_Vzg) % 0.27/0.60 (zenon_Vci != zenon_Vvf) % 0.27/0.60 (zenon_Vjg != zenon_Vcj) % 0.27/0.60 (zenon_Vlp != zenon_Veh) % 0.27/0.60 (zenon_Vuf != zenon_Vbe) % 0.27/0.60 (zenon_Vog != zenon_Vvc) % 0.27/0.60 (r1 zenon_Vck zenon_Vdk) % 0.27/0.60 (zenon_Vxl != zenon_Vve) % 0.27/0.60 (zenon_Vtn != zenon_Vre) % 0.27/0.60 (zenon_Vfm != zenon_Vgk) % 0.27/0.60 (zenon_Vbm != zenon_Vve) % 0.27/0.60 (zenon_Vhl != zenon_Veh) % 0.27/0.60 (zenon_Vjo != zenon_Vzg) % 0.27/0.60 (zenon_Vri != zenon_Vne) % 0.27/0.60 (zenon_Vro != zenon_Vpd) % 0.27/0.60 (zenon_Vnh != zenon_Vcj) % 0.27/0.60 (zenon_Vjm != zenon_Vxb) % 0.27/0.60 (zenon_Vxl != zenon_Vug) % 0.27/0.60 (zenon_Vri != zenon_Vug) % 0.27/0.60 (zenon_Vog != zenon_Vzg) % 0.27/0.60 (r1 zenon_Vsf zenon_Vvf) % 0.27/0.60 (zenon_Vyg != zenon_Vhj) % 0.27/0.60 (r1 zenon_Vsm zenon_Vvm) % 0.27/0.60 (zenon_Vgj != zenon_Vsi) % 0.27/0.60 (r1 zenon_Vjj zenon_Vmj) % 0.27/0.60 (zenon_Vll != zenon_Vxi) % 0.27/0.60 (zenon_Vqf != zenon_Vdi) % 0.27/0.60 (zenon_Vxn != zenon_Vld) % 0.27/0.60 (zenon_Vhl != zenon_Vbk) % 0.27/0.60 (zenon_Vzm != zenon_Vxi) % 0.27/0.60 (zenon_Vll != zenon_Vbc) % 0.27/0.60 (r1 zenon_Vid zenon_Vld) % 0.27/0.60 (zenon_Vbj != zenon_Vmj) % 0.27/0.60 (zenon_Vhi != zenon_Vhb) % 0.27/0.60 (zenon_Vdn != zenon_Vje) % 0.27/0.60 (zenon_Vgj != zenon_Vtd) % 0.27/0.60 (zenon_Vgj != zenon_Vgk) % 0.27/0.60 (zenon_Vhp != zenon_Voh) % 0.27/0.60 (zenon_Vri != zenon_Vxd) % 0.27/0.60 (zenon_Vmi != zenon_Vjh) % 0.27/0.60 (zenon_Vxl != zenon_Vvk) % 0.27/0.60 (zenon_Vzf != zenon_Vvf) % 0.27/0.60 (zenon_Vzk != zenon_Vkg) % 0.27/0.60 (zenon_Vri != zenon_Vrf) % 0.27/0.60 (zenon_Vpl != zenon_Vvc) % 0.27/0.60 (zenon_Vlj != zenon_Vxi) % 0.27/0.60 (zenon_Vqf != zenon_Vcj) % 0.27/0.60 (zenon_Vyg != zenon_Vbc) % 0.27/0.60 (r1 zenon_Vud zenon_Vxd) % 0.27/0.60 (zenon_Vlp != zenon_Vth) % 0.27/0.60 (zenon_Veg != zenon_Vre) % 0.27/0.60 (zenon_Vxl != zenon_Vcj) % 0.27/0.60 (zenon_Vih != zenon_Vvc) % 0.27/0.60 (zenon_Vhi != zenon_Vii) % 0.27/0.60 (zenon_Vtl != zenon_Vhj) % 0.27/0.60 (zenon_Vnh != zenon_Vfg) % 0.27/0.60 (zenon_Vpl != zenon_Vvk) % 0.27/0.60 (zenon_Vvo != zenon_Vqk) % 0.27/0.60 (r1 zenon_Vkm zenon_Vnm) % 0.27/0.60 (zenon_Vmi != zenon_Vdi) % 0.27/0.60 (zenon_Vyg != zenon_Vlk) % 0.27/0.60 (zenon_Vdp != zenon_Vve) % 0.27/0.60 (p1 zenon_Vpn) % 0.27/0.60 (zenon_Vno != zenon_Vrf) % 0.27/0.60 (zenon_Vdh != zenon_Vxb) % 0.27/0.60 (zenon_Vjo != zenon_Vnc) % 0.27/0.60 (r1 zenon_Vfi zenon_Vii) % 0.27/0.60 (zenon_Vih != zenon_Vrf) % 0.27/0.60 (zenon_Vtn != zenon_Vjh) % 0.27/0.60 (zenon_Vno != zenon_Vze) % 0.27/0.60 (zenon_Vbm != zenon_Vkg) % 0.27/0.60 (zenon_Vzm != zenon_Vze) % 0.27/0.60 (zenon_Vpl != zenon_Vdi) % 0.27/0.60 (zenon_Vpl != zenon_Vfc) % 0.27/0.60 (zenon_Vsh != zenon_Vdi) % 0.27/0.60 (zenon_Vxh != zenon_Vre) % 0.27/0.60 (zenon_Vci != zenon_Vkg) % 0.27/0.60 (zenon_Vhp != zenon_Vpd) % 0.27/0.60 (zenon_Vll != zenon_Vvf) % 0.27/0.60 (zenon_Vyg != zenon_Vze) % 0.27/0.60 (zenon_Vmi != zenon_Vze) % 0.27/0.60 (zenon_Vjo != zenon_Vxd) % 0.27/0.60 (zenon_Vjo != zenon_Vyh) % 0.27/0.60 (zenon_Vri != zenon_Val) % 0.27/0.60 (zenon_Vzk != zenon_Vhd) % 0.27/0.60 (zenon_Vzm != zenon_Vyh) % 0.27/0.60 (p1 zenon_Vzf) % 0.27/0.60 (zenon_Vsh != zenon_Vdd) % 0.27/0.60 (zenon_Vtg != zenon_Vjc) % 0.27/0.60 (zenon_Vih != zenon_Vgk) % 0.27/0.60 (r1 zenon_Vji zenon_Voi) % 0.27/0.60 (zenon_Veg != zenon_Vfe) % 0.27/0.60 (zenon_Vlj != zenon_Vlb) % 0.27/0.60 (zenon_Vpn != zenon_Vrf) % 0.27/0.60 (zenon_Vmi != zenon_Vve) % 0.27/0.60 (zenon_Vzf != zenon_Vxb) % 0.27/0.60 (zenon_Vro != zenon_Vrf) % 0.27/0.60 (zenon_Vak != zenon_Vzg) % 0.27/0.60 (zenon_Vtg != zenon_Vhj) % 0.27/0.60 (zenon_Vci != zenon_Vbe) % 0.27/0.60 (zenon_Vbm != zenon_Vof) % 0.27/0.60 (-. (p1 zenon_Vcj)) % 0.27/0.60 (zenon_Vzk != zenon_Vth) % 0.27/0.60 (zenon_Vzm != zenon_Vug) % 0.27/0.60 (zenon_Vfk != zenon_Vvf) % 0.27/0.60 (zenon_Vnh != zenon_Vqk) % 0.27/0.60 (zenon_Vpk != zenon_Vsi) % 0.27/0.60 (zenon_Vak != zenon_Voh) % 0.27/0.60 (zenon_Vno != zenon_Vxb) % 0.27/0.60 (zenon_Vbm != zenon_Vrf) % 0.27/0.60 (zenon_Vvm != zenon_Vag) % 0.27/0.60 (zenon_Vvo != zenon_Voh) % 0.27/0.60 (zenon_Vjo != zenon_Vtd) % 0.27/0.60 (zenon_Vjm != zenon_Vpb) % 0.27/0.60 (zenon_Vln != zenon_Vdf) % 0.27/0.60 (zenon_Vxh != zenon_Vnc) % 0.27/0.60 (zenon_Vhl != zenon_Vwj) % 0.27/0.60 (zenon_Vll != zenon_Vug) % 0.27/0.60 (zenon_Vhl != zenon_Vze) % 0.27/0.60 (zenon_Vzo != zenon_Vdd) % 0.27/0.60 (zenon_Vvm != zenon_Vrj) % 0.27/0.60 (zenon_Vjo != zenon_Vrj) % 0.27/0.60 (zenon_Vtn != zenon_Vpb) % 0.27/0.60 (zenon_Vdp != zenon_Vhb) % 0.27/0.60 (zenon_Vqf != zenon_Vbk) % 0.27/0.60 (zenon_Vxh != zenon_Vdf) % 0.27/0.60 (zenon_Vbj != zenon_Vrc) % 0.27/0.60 (zenon_Vci != zenon_Vii) % 0.27/0.60 (zenon_Vtg != zenon_Vlf) % 0.27/0.60 (zenon_Vro != zenon_Vze) % 0.27/0.60 (zenon_Vbm != zenon_Vld) % 0.27/0.60 (zenon_Vvj != zenon_Vlf) % 0.27/0.60 (zenon_Vpk != zenon_Vth) % 0.27/0.60 (zenon_Vmi != zenon_Vth) % 0.27/0.60 (zenon_Vll != zenon_Vjc) % 0.27/0.60 (zenon_Vuf != zenon_Val) % 0.27/0.60 (zenon_Vnm != zenon_Vmj) % 0.27/0.60 (zenon_Vrm != zenon_Vug) % 0.27/0.60 (zenon_Vjm != zenon_Vbe) % 0.27/0.60 (zenon_Vmi != zenon_Vhd) % 0.27/0.60 (zenon_Vvj != zenon_Vth) % 0.27/0.60 (zenon_Vci != zenon_Vlk) % 0.27/0.60 (r1 zenon_Vcm zenon_Vfm) % 0.27/0.60 (zenon_Vgj != zenon_Vfe) % 0.27/0.60 (zenon_Vqj != zenon_Vvc) % 0.27/0.60 (zenon_Vuk != zenon_Vxd) % 0.27/0.60 (zenon_Vdp != zenon_Vlb) % 0.27/0.60 (r1 zenon_Vuh zenon_Vvh) % 0.27/0.60 (zenon_Vdh != zenon_Vdd) % 0.27/0.60 (r1 zenon_Vqh zenon_Vth) % 0.27/0.60 (r1 zenon_Vep zenon_Vhp) % 0.27/0.60 (zenon_Vjg != zenon_Vjh) % 0.27/0.60 (zenon_Vfk != zenon_Vdi) % 0.27/0.60 (zenon_Vxl != zenon_Vpg) % 0.27/0.60 (zenon_Vnm != zenon_Vdd) % 0.27/0.60 (zenon_Vyg != zenon_Vvc) % 0.27/0.60 (zenon_Vnh != zenon_Vrc) % 0.27/0.60 (zenon_Vzf != zenon_Vne) % 0.27/0.60 (zenon_Vdp != zenon_Vpd) % 0.27/0.60 (zenon_Vjm != zenon_Vvk) % 0.27/0.60 (zenon_Vxl != zenon_Vne) % 0.27/0.60 (zenon_Vog != zenon_Vlk) % 0.27/0.60 (zenon_Vqf != zenon_Vre) % 0.27/0.60 (zenon_Vtg != zenon_Vne) % 0.27/0.60 (zenon_Vvm != zenon_Vbe) % 0.27/0.60 (zenon_Vzk != zenon_Vsi) % 0.27/0.60 (zenon_Vvm != zenon_Vdf) % 0.27/0.60 (zenon_Vbj != zenon_Vhb) % 0.27/0.60 (zenon_Vno != zenon_Vth) % 0.27/0.60 (zenon_Vpl != zenon_Vpd) % 0.27/0.60 (zenon_Vtl != zenon_Vdi) % 0.27/0.60 (zenon_Veg != zenon_Vvf) % 0.27/0.60 (zenon_Vop != zenon_Vlb) % 0.27/0.60 (zenon_Vpl != zenon_Vvf) % 0.27/0.60 (zenon_Vbj != zenon_Vlk) % 0.27/0.60 (zenon_Vlp != zenon_Vne) % 0.27/0.60 (zenon_Vuf != zenon_Vhf) % 0.27/0.60 (zenon_Vwi != zenon_Vre) % 0.27/0.60 (zenon_Vno != zenon_Vvc) % 0.27/0.60 (zenon_Vvm != zenon_Voh) % 0.27/0.60 (zenon_Vsh != zenon_Vze) % 0.27/0.60 (zenon_Vhi != zenon_Vxi) % 0.27/0.60 (p1 zenon_Vwi) % 0.27/0.60 (zenon_Vgj != zenon_Vrc) % 0.27/0.60 (zenon_Vzf != zenon_Vrf) % 0.27/0.60 (zenon_Vdp != zenon_Vze) % 0.27/0.60 (zenon_Vnh != zenon_Vld) % 0.27/0.60 (zenon_Vak != zenon_Vrc) % 0.27/0.60 (zenon_Vmi != zenon_Vqk) % 0.27/0.60 (zenon_Vmi != zenon_Vpb) % 0.27/0.60 (zenon_Vfm != zenon_Voh) % 0.27/0.60 (zenon_Vnm != zenon_Vpg) % 0.27/0.60 (zenon_Vnm != zenon_Vfg) % 0.27/0.60 (zenon_Vln != zenon_Vre) % 0.27/0.60 (zenon_Vfm != zenon_Vxb) % 0.27/0.60 (zenon_Vfm != zenon_Veh) % 0.27/0.60 (zenon_Vuf != zenon_Vii) % 0.27/0.60 (zenon_Vwi != zenon_Vje) % 0.27/0.60 (zenon_Vln != zenon_Vze) % 0.27/0.60 (zenon_Vnm != zenon_Vdi) % 0.27/0.60 (zenon_Vop != zenon_Vxb) % 0.27/0.60 (zenon_Vjg != zenon_Vre) % 0.27/0.60 (zenon_Vnh != zenon_Vxd) % 0.27/0.60 (zenon_Vgj != zenon_Vrf) % 0.27/0.60 (zenon_Vxn != zenon_Vvk) % 0.27/0.60 (zenon_Vxn != zenon_Vkg) % 0.27/0.60 (zenon_Vbj != zenon_Vni) % 0.27/0.60 (r1 zenon_Vbg zenon_Vgg) % 0.27/0.60 (zenon_Vnm != zenon_Vxb) % 0.27/0.60 (zenon_Vri != zenon_Vmj) % 0.27/0.60 (zenon_Vhl != zenon_Vfg) % 0.27/0.60 (zenon_Vri != zenon_Vve) % 0.27/0.60 (zenon_Vbm != zenon_Vlf) % 0.27/0.60 (zenon_Vzm != zenon_Vbe) % 0.27/0.60 (zenon_Vop != zenon_Vrf) % 0.27/0.60 (zenon_Vhi != zenon_Vzc) % 0.27/0.60 (zenon_Vzm != zenon_Vhj) % 0.27/0.60 (zenon_Vnh != zenon_Vjh) % 0.27/0.60 (zenon_Vuf != zenon_Vve) % 0.27/0.60 (zenon_Vfm != zenon_Vxi) % 0.27/0.60 (zenon_Vvo != zenon_Vxd) % 0.27/0.60 (zenon_Vjo != zenon_Vbk) % 0.27/0.60 (zenon_Vbm != zenon_Vfe) % 0.27/0.60 (zenon_Vzm != zenon_Vhb) % 0.27/0.60 (zenon_Vhn != zenon_Vzg) % 0.27/0.60 (zenon_Vtg != zenon_Vpd) % 0.27/0.60 (zenon_Vzf != zenon_Vhj) % 0.27/0.60 (r1 zenon_Vwg zenon_Vxg) % 0.27/0.60 (zenon_Vnm != zenon_Vsi) % 0.27/0.60 (zenon_Vmi != zenon_Val) % 0.27/0.60 (zenon_Vlp != zenon_Vug) % 0.27/0.60 (zenon_Vhp != zenon_Vrj) % 0.27/0.60 (zenon_Vuk != zenon_Veh) % 0.27/0.60 (zenon_Vqj != zenon_Vnc) % 0.27/0.60 (zenon_Vtg != zenon_Vxd) % 0.27/0.60 (zenon_Vzf != zenon_Vlf) % 0.27/0.60 (zenon_Vhi != zenon_Vre) % 0.27/0.60 (zenon_Vog != zenon_Vpg) % 0.27/0.60 (zenon_Vlj != zenon_Vug) % 0.27/0.60 (zenon_Vjm != zenon_Vof) % 0.27/0.60 (r1 zenon_Vmg zenon_Vng) % 0.27/0.60 (zenon_Vmi != zenon_Veh) % 0.27/0.60 (zenon_Vbo != zenon_Vug) % 0.27/0.60 (zenon_Vpk != zenon_Vkg) % 0.27/0.60 (zenon_Vbo != zenon_Vzg) % 0.27/0.60 (zenon_Vtg != zenon_Vmj) % 0.27/0.60 (zenon_Vri != zenon_Vpd) % 0.27/0.60 (zenon_Vvm != zenon_Vhf) % 0.27/0.60 (r1 zenon_Vbh zenon_Veh) % 0.27/0.60 (zenon_Vdn != zenon_Vlb) % 0.27/0.60 (zenon_Vvj != zenon_Vdf) % 0.27/0.60 (zenon_Vop != zenon_Vld) % 0.27/0.60 (zenon_Vnm != zenon_Vkg) % 0.27/0.60 (zenon_Vzf != zenon_Vii) % 0.27/0.60 (zenon_Vzo != zenon_Vld) % 0.27/0.60 (zenon_Vhi != zenon_Vrj) % 0.27/0.60 (zenon_Vnm != zenon_Vbe) % 0.27/0.60 (r1 zenon_Vei zenon_Vfi) % 0.27/0.60 (zenon_Vri != zenon_Vfg) % 0.27/0.60 (zenon_Vgj != zenon_Vdf) % 0.27/0.60 (zenon_Vfm != zenon_Vjc) % 0.27/0.60 (r1 zenon_Vxk zenon_Vyk) % 0.27/0.60 (zenon_Vak != zenon_Vjh) % 0.27/0.60 (zenon_Vuf != zenon_Vje) % 0.27/0.60 (zenon_Vop != zenon_Vdi) % 0.27/0.60 (zenon_Vlj != zenon_Vyh) % 0.27/0.60 (zenon_Vuk != zenon_Vrf) % 0.27/0.60 (zenon_Vhp != zenon_Vsi) % 0.27/0.60 (zenon_Vfk != zenon_Vne) % 0.27/0.60 (zenon_Vzk != zenon_Vlb) % 0.27/0.60 (zenon_Vdn != zenon_Vxi) % 0.27/0.60 (zenon_Vzf != zenon_Vnc) % 0.27/0.60 (zenon_Vll != zenon_Vwj) % 0.27/0.60 (zenon_Vnm != zenon_Vhd) % 0.27/0.60 (zenon_Vtn != zenon_Vhj) % 0.27/0.60 (zenon_Vtg != zenon_Vve) % 0.27/0.60 (zenon_Vlj != zenon_Vcj) % 0.27/0.60 (zenon_Vjm != zenon_Vbc) % 0.27/0.60 (zenon_Veg != zenon_Vfc) % 0.27/0.60 (zenon_Vbo != zenon_Vlf) % 0.27/0.60 (zenon_Vqj != zenon_Vje) % 0.27/0.60 (zenon_Vqf != zenon_Vpb) % 0.27/0.60 (zenon_Vhi != zenon_Vze) % 0.27/0.60 (zenon_Vbo != zenon_Vve) % 0.27/0.60 (zenon_Vkk != zenon_Vbe) % 0.27/0.60 (zenon_Vhn != zenon_Vjc) % 0.27/0.60 (-. (p1 zenon_Vfe)) % 0.27/0.60 (zenon_Vak != zenon_Vfe) % 0.27/0.60 (zenon_Vmi != zenon_Vbe) % 0.27/0.60 (zenon_Vfm != zenon_Vpg) % 0.27/0.60 (zenon_Vnm != zenon_Vtd) % 0.27/0.60 (p1 zenon_Vrm) % 0.27/0.60 (-. (p1 zenon_Vrc)) % 0.27/0.60 (zenon_Vtg != zenon_Vvc) % 0.27/0.60 (zenon_Vsh != zenon_Vwj) % 0.27/0.60 (zenon_Vjm != zenon_Vmj) % 0.27/0.60 (zenon_Vtg != zenon_Vrf) % 0.27/0.60 (zenon_Vlp != zenon_Vdi) % 0.27/0.60 (zenon_Vzm != zenon_Vfc) % 0.27/0.60 (zenon_Vpn != zenon_Vzg) % 0.27/0.60 (zenon_Vci != zenon_Vbk) % 0.27/0.60 (zenon_Vvm != zenon_Vug) % 0.27/0.60 (zenon_Vll != zenon_Vrf) % 0.27/0.60 (zenon_Vxl != zenon_Vag) % 0.27/0.60 (zenon_Vzm != zenon_Vii) % 0.27/0.60 (zenon_Vjo != zenon_Vhb) % 0.27/0.60 (zenon_Vll != zenon_Vsi) % 0.27/0.60 (zenon_Vri != zenon_Vwj) % 0.27/0.60 (zenon_Vxl != zenon_Vlf) % 0.27/0.60 (zenon_Vdh != zenon_Vje) % 0.27/0.60 (zenon_Vop != zenon_Vof) % 0.27/0.60 (zenon_Vpl != zenon_Vld) % 0.27/0.60 (zenon_Vpk != zenon_Vtb) % 0.27/0.60 (zenon_Vvj != zenon_Vbk) % 0.27/0.60 (zenon_Vhl != zenon_Vpb) % 0.27/0.60 (zenon_Vxn != zenon_Vvf) % 0.27/0.60 (zenon_Vjm != zenon_Vrf) % 0.27/0.60 (zenon_Vog != zenon_Vwj) % 0.27/0.60 (zenon_Vno != zenon_Vpd) % 0.27/0.60 (zenon_Vyg != zenon_Vfg) % 0.27/0.60 (zenon_Vak != zenon_Vre) % 0.27/0.60 (zenon_Vsh != zenon_Vkg) % 0.27/0.60 (zenon_Vfo != zenon_Vnc) % 0.27/0.60 (zenon_Vhp != zenon_Vxb) % 0.27/0.60 (zenon_Vqf != zenon_Vjh) % 0.27/0.60 (zenon_Vro != zenon_Vhf) % 0.27/0.60 (zenon_Vyg != zenon_Vxd) % 0.27/0.60 (zenon_Vdp != zenon_Vld) % 0.27/0.60 (zenon_Vak != zenon_Vzc) % 0.27/0.60 (zenon_Vro != zenon_Vbc) % 0.27/0.60 (zenon_Vci != zenon_Vth) % 0.27/0.60 (zenon_Vzf != zenon_Vbe) % 0.27/0.60 *) % 0.27/0.60 (* NO-PROOF *) % 0.27/0.60 % SZS status GaveUp % 0.27/0.60 Number of rewrites on terms: 0 % 0.27/0.60 Number of rewrites on props: 0 % 0.27/0.60 nodes searched: 4240 % 0.27/0.60 max branch formulas: 4538 % 0.27/0.60 proof nodes created: 0 % 0.27/0.60 formulas created: 22001 % 0.27/0.60 %------------------------------------------------------------------------------