%------------------------------------------------------------------------------ % File : ZenonModulo---0.5.0 % Problem : LCL638+1.005 : TPTP v9.3.1. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_zenon_modulo %d %s % Computer : n007.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:11 PM UTC 2026 % Result : Unknown 2.43s 2.77s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.03 % Problem : LCL638+1.005 : TPTP v9.3.1. Released v4.0.0. % 0.00/0.03 % Command : run_zenon_modulo %d %s % 0.08/0.34 % Computer : n007.cluster.edu % 0.08/0.34 % Model : x86_64 x86_64 % 0.08/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.08/0.34 % Memory : 8046.5625MB % 0.08/0.34 % OS : Linux 6.8.0-71-generic % 0.08/0.35 % CPULimit : 300 % 0.08/0.35 % WCLimit : 300 % 0.08/0.35 % DateTime : Fri Sep 4 13:42:54 UTC 2026 % 0.08/0.35 % CPUTime : % 2.43/2.76 Zenon error: exhausted search space without finding a proof % 2.43/2.76 (* Current branch: % 2.43/2.76 (zenon_Vzb != zenon_Vab) % 2.43/2.76 (r1 zenon_Vtd zenon_Vwd) % 2.43/2.76 (zenon_Vfe != zenon_Vdc) % 2.43/2.76 (Tau_1 != zenon_X27) % 2.43/2.76 (Tau_2 != zenon_X27) % 2.43/2.76 (Tau_3 != zenon_X27) % 2.43/2.76 (Tau_4 != zenon_X27) % 2.43/2.76 (Tau_5 != zenon_X27) % 2.43/2.76 (zenon_Vbe != zenon_Vv) % 2.43/2.76 (zenon_Vac != zenon_Vna) % 2.43/2.76 (zenon_Vta != zenon_Vna) % 2.43/2.76 (zenon_Vre != zenon_Vkc) % 2.43/2.76 (zenon_X26 != zenon_Vbd) % 2.43/2.76 (zenon_Vyd != zenon_Vfe) % 2.43/2.76 (Tau_3 != zenon_Vwa) % 2.43/2.76 (Tau_3 != zenon_Vdc) % 2.43/2.76 (Tau_3 != zenon_Vce) % 2.43/2.76 (Tau_3 != zenon_Vga) % 2.43/2.76 (Tau_3 != zenon_Vv) % 2.43/2.76 (Tau_3 != zenon_Vna) % 2.43/2.76 (Tau_3 != zenon_Vkd) % 2.43/2.76 (Tau_3 != zenon_Vyc) % 2.43/2.76 (Tau_3 != zenon_Vtc) % 2.43/2.76 (Tau_3 != zenon_Vkc) % 2.43/2.76 (Tau_3 != zenon_Vvb) % 2.43/2.76 (Tau_3 != zenon_Vpb) % 2.43/2.76 (Tau_3 != zenon_Vfb) % 2.43/2.76 (Tau_3 != zenon_Vsd) % 2.43/2.76 (Tau_3 != zenon_Vp) % 2.43/2.76 (Tau_3 != zenon_Vpe) % 2.43/2.76 (Tau_3 != zenon_Vme) % 2.43/2.76 (Tau_3 != zenon_Vde) % 2.43/2.76 (zenon_Vac != zenon_Vde) % 2.43/2.76 (Tau_3 != zenon_Vhd) % 2.43/2.76 (Tau_3 != zenon_Vgc) % 2.43/2.76 (Tau_3 != zenon_Vab) % 2.43/2.76 (Tau_3 != zenon_Vec) % 2.43/2.76 (Tau_3 != zenon_Vxa) % 2.43/2.76 (Tau_3 != zenon_Vwd) % 2.43/2.76 (Tau_3 != zenon_Vle) % 2.43/2.76 (Tau_3 != zenon_Vfe) % 2.43/2.76 (Tau_3 != zenon_Vqe) % 2.43/2.76 (Tau_3 != zenon_Vyd) % 2.43/2.76 (Tau_3 != zenon_Vrd) % 2.43/2.76 (Tau_3 != zenon_Vbd) % 2.43/2.76 (Tau_3 != zenon_Vsc) % 2.43/2.76 (Tau_3 != zenon_Vzb) % 2.43/2.76 (Tau_3 != zenon_Vob) % 2.43/2.76 (Tau_3 != zenon_Vsa) % 2.43/2.76 (Tau_3 != zenon_Vfa) % 2.43/2.76 (zenon_Vte != zenon_Vna) % 2.43/2.76 (r1 zenon_Vyb zenon_Vzb) % 2.43/2.76 (zenon_Vgd != zenon_Vfe) % 2.43/2.76 (zenon_Vae != zenon_Vp) % 2.43/2.76 (zenon_Vob != zenon_Vwa) % 2.43/2.76 (zenon_Vdd != zenon_Vxa) % 2.43/2.76 (-. (p1 zenon_Vfa)) % 2.43/2.76 (zenon_Vgc != zenon_Vwa) % 2.43/2.76 (zenon_Vzd != zenon_Vsd) % 2.43/2.76 (zenon_Vob != zenon_Vsc) % 2.43/2.76 (-. (r1 Tau_0 zenon_Vue)) % 2.43/2.76 (zenon_Vcd != zenon_Vvb) % 2.43/2.76 (zenon_Vzb != zenon_Vvb) % 2.43/2.76 (zenon_Vcc != zenon_Vp) % 2.43/2.76 (zenon_X26 != zenon_Vyc) % 2.43/2.76 (zenon_Vp != zenon_Vga) % 2.43/2.76 (zenon_Vhd != zenon_Vwd) % 2.43/2.76 (-. (p1 zenon_Vyc)) % 2.43/2.76 (zenon_Vva != zenon_Vyc) % 2.43/2.76 (zenon_Vde != zenon_Vvb) % 2.43/2.76 (zenon_Vab != zenon_Vyc) % 2.43/2.76 (zenon_X26 != zenon_Vsa) % 2.43/2.76 (-. (p1 zenon_Vga)) % 2.43/2.76 (zenon_Vgd != zenon_Vpe) % 2.43/2.76 (zenon_Vzb != zenon_Vyc) % 2.43/2.76 (r1 zenon_Vka zenon_Vna) % 2.43/2.76 (zenon_Vsc != zenon_Vme) % 2.43/2.76 (zenon_Ved != zenon_Vgd) % 2.43/2.76 (zenon_Vp != zenon_Vvb) % 2.43/2.76 (zenon_Vp != zenon_Vwa) % 2.43/2.76 (zenon_Vec != zenon_Vle) % 2.43/2.76 (zenon_Vwd != zenon_Vdc) % 2.43/2.76 (zenon_Vyc != zenon_Vna) % 2.43/2.76 (zenon_Vbe != zenon_Vab) % 2.43/2.76 (zenon_Vab != zenon_Vna) % 2.43/2.76 (zenon_Vbd != zenon_Vme) % 2.43/2.76 (zenon_Vbc != zenon_Vvb) % 2.43/2.76 (zenon_Vob != zenon_Vga) % 2.43/2.76 (zenon_Vta != zenon_Vkc) % 2.43/2.76 (zenon_Vsc != zenon_Vec) % 2.43/2.76 (zenon_Vsa != zenon_Vfd) % 2.43/2.76 (zenon_Vob != zenon_Vzb) % 2.43/2.76 (zenon_Vsc != zenon_Vrd) % 2.43/2.76 (zenon_Vzb != zenon_Vpb) % 2.43/2.76 (zenon_Vzb != zenon_Vgc) % 2.43/2.76 (zenon_Vbd != zenon_Vyd) % 2.43/2.76 (zenon_Vab != zenon_Vme) % 2.43/2.76 (zenon_Vrd != zenon_Vkd) % 2.43/2.76 (zenon_Vsc != zenon_Vvb) % 2.43/2.76 (-. (p1 zenon_X27)) % 2.43/2.76 (zenon_Vyd != zenon_Vvb) % 2.43/2.76 (r1 zenon_Vra zenon_Vsa) % 2.43/2.76 (zenon_Vvb != zenon_Vkc) % 2.43/2.76 (zenon_Ved != zenon_Vve) % 2.43/2.76 (zenon_Vob != zenon_Vkc) % 2.43/2.76 (r1 zenon_Ved zenon_Vfd) % 2.43/2.76 (zenon_Vcc != zenon_Vv) % 2.43/2.76 (zenon_Vgc != zenon_Vna) % 2.43/2.76 (zenon_Vzd != zenon_Vhd) % 2.43/2.76 (zenon_Vva != zenon_Vsd) % 2.43/2.76 (zenon_Vob != zenon_Vgd) % 2.43/2.76 (-. (p1 zenon_Vkc)) % 2.43/2.76 (zenon_Vna != zenon_Vga) % 2.43/2.76 (zenon_Vzd != zenon_Vfb) % 2.43/2.76 (zenon_Vvb != zenon_Vkd) % 2.43/2.76 (zenon_Vre != zenon_Vsd) % 2.43/2.76 (zenon_Vae != zenon_Vgc) % 2.43/2.76 (zenon_Vgc != zenon_Vdc) % 2.43/2.76 (zenon_Vbd != zenon_Vxa) % 2.43/2.76 (zenon_Ved != zenon_Vab) % 2.43/2.76 (zenon_X26 != zenon_Vfa) % 2.43/2.76 (zenon_Vua != zenon_Vhd) % 2.43/2.76 (zenon_Vua != zenon_Vtc) % 2.43/2.76 (zenon_Vrd != zenon_Vgc) % 2.43/2.76 (zenon_Vcd != zenon_Vfb) % 2.43/2.76 (zenon_Vyd != zenon_Vpe) % 2.43/2.76 (zenon_Vsa != zenon_Vle) % 2.43/2.76 (zenon_Vdd != zenon_Vkd) % 2.43/2.76 (zenon_Vzd != zenon_Vna) % 2.43/2.76 (zenon_Vob != zenon_Vtc) % 2.43/2.76 (zenon_Vcc != zenon_Vgd) % 2.43/2.76 (zenon_Vbc != zenon_Vpe) % 2.43/2.76 (zenon_X26 != zenon_Vpb) % 2.43/2.76 (zenon_Vue != zenon_Vce) % 2.43/2.76 (zenon_Vbd != zenon_Vwa) % 2.43/2.76 (zenon_Vbc != zenon_Vp) % 2.43/2.76 (zenon_Vgd != zenon_Vna) % 2.43/2.76 (zenon_Vec != zenon_Vwd) % 2.43/2.76 (zenon_Vna != zenon_Vv) % 2.43/2.76 (zenon_Vcd != zenon_Vpe) % 2.43/2.76 (zenon_Vrd != zenon_Vna) % 2.43/2.76 (zenon_Vbc != zenon_Vwa) % 2.43/2.76 (zenon_Vhd != zenon_Vyc) % 2.43/2.76 (zenon_Vac != zenon_Vkd) % 2.43/2.76 (zenon_Vob != zenon_Vme) % 2.43/2.76 (zenon_Vdd != zenon_Vde) % 2.43/2.76 (Tau_1 != zenon_Vxa) % 2.43/2.76 (zenon_Ved != zenon_Vce) % 2.43/2.76 (zenon_Vfe != zenon_Vle) % 2.43/2.76 (zenon_Vzb != zenon_Vfd) % 2.43/2.76 (zenon_Vse != zenon_Vue) % 2.43/2.76 (zenon_Vec != zenon_Vdc) % 2.43/2.76 (zenon_Vac != zenon_Vyc) % 2.43/2.76 (zenon_Vyd != zenon_Vue) % 2.43/2.76 (zenon_Vbe != zenon_Vfb) % 2.43/2.76 (zenon_Vab != zenon_Vle) % 2.43/2.76 (Tau_5 != zenon_Vwa) % 2.43/2.76 (Tau_5 != zenon_Vdc) % 2.43/2.76 (Tau_5 != zenon_Vfd) % 2.43/2.76 (Tau_5 != zenon_Vce) % 2.43/2.76 (Tau_5 != zenon_Vga) % 2.43/2.76 (Tau_5 != zenon_Vv) % 2.43/2.76 (Tau_5 != zenon_Vna) % 2.43/2.76 (Tau_5 != zenon_Vkd) % 2.43/2.76 (Tau_5 != zenon_Vyc) % 2.43/2.76 (Tau_5 != zenon_Vtc) % 2.43/2.76 (Tau_5 != zenon_Vkc) % 2.43/2.76 (Tau_5 != zenon_Vvb) % 2.43/2.76 (Tau_5 != zenon_Vpb) % 2.43/2.76 (Tau_5 != zenon_Vfb) % 2.43/2.76 (Tau_5 != zenon_Vsd) % 2.43/2.76 (Tau_5 != zenon_Vp) % 2.43/2.76 (Tau_5 != zenon_Vme) % 2.43/2.76 (Tau_5 != zenon_Vgd) % 2.43/2.76 (Tau_5 != zenon_Vde) % 2.43/2.76 (Tau_5 != zenon_Vhd) % 2.43/2.76 (Tau_5 != zenon_Vgc) % 2.43/2.76 (Tau_5 != zenon_Vab) % 2.43/2.76 (Tau_5 != zenon_Vec) % 2.43/2.76 (Tau_5 != zenon_Vxa) % 2.43/2.76 (Tau_5 != zenon_Vwd) % 2.43/2.76 (Tau_5 != zenon_Vle) % 2.43/2.76 (Tau_5 != zenon_Vfe) % 2.43/2.76 (Tau_5 != zenon_Vyd) % 2.43/2.76 (Tau_5 != zenon_Vrd) % 2.43/2.76 (Tau_5 != zenon_Vbd) % 2.43/2.76 (Tau_5 != zenon_Vsc) % 2.43/2.76 (Tau_5 != zenon_Vzb) % 2.43/2.76 (Tau_5 != zenon_Vob) % 2.43/2.76 (Tau_5 != zenon_Vsa) % 2.43/2.76 (Tau_5 != zenon_Vfa) % 2.43/2.76 (zenon_Vvb != zenon_Vwa) % 2.43/2.76 (zenon_Vbd != zenon_Vde) % 2.43/2.76 (zenon_Vcd != zenon_Vab) % 2.43/2.76 (zenon_X26 != zenon_Vpe) % 2.43/2.76 (zenon_Vxa != zenon_Vwa) % 2.43/2.76 (zenon_Vde != zenon_Vna) % 2.43/2.76 (zenon_Vbe != zenon_Vue) % 2.43/2.76 (Tau_5 != zenon_Vpe) % 2.43/2.76 (zenon_Vab != zenon_Vkd) % 2.43/2.76 (zenon_Vzb != zenon_Vhd) % 2.43/2.76 (zenon_Vsc != zenon_Vdc) % 2.43/2.76 (zenon_Vsc != zenon_Vna) % 2.43/2.76 (zenon_Vac != zenon_Vkc) % 2.43/2.76 (zenon_Vua != zenon_Vvb) % 2.43/2.76 (zenon_Vbc != zenon_Vde) % 2.43/2.76 (zenon_Vyc != zenon_Vkd) % 2.43/2.76 (zenon_Vyc != zenon_Vfd) % 2.43/2.76 (zenon_Vxa != zenon_Vpb) % 2.43/2.76 (-. (p1 zenon_Vna)) % 2.43/2.76 (zenon_Vgc != zenon_Vkc) % 2.43/2.76 (zenon_Vyd != zenon_Vv) % 2.43/2.76 (-. (p1 zenon_Vpe)) % 2.43/2.76 (zenon_Vdd != zenon_Vfb) % 2.43/2.76 (zenon_Vde != zenon_Vfd) % 2.43/2.76 (zenon_Vre != zenon_Vce) % 2.43/2.76 (zenon_Vbc != zenon_Vsd) % 2.43/2.76 (zenon_Ved != zenon_Vsd) % 2.43/2.76 (zenon_Vzd != zenon_Vp) % 2.43/2.76 (zenon_Vsa != zenon_Vrd) % 2.43/2.76 (zenon_Vyd != zenon_Vyc) % 2.43/2.76 (zenon_Vyd != zenon_Vxa) % 2.43/2.76 (zenon_Vsa != zenon_Vkd) % 2.43/2.76 (zenon_Vyd != zenon_Vtc) % 2.43/2.76 (zenon_Vrd != zenon_Vdc) % 2.43/2.76 (zenon_Vte != zenon_Vv) % 2.43/2.76 (zenon_Vcc != zenon_Vab) % 2.43/2.76 (zenon_Vva != Tau_0) % 2.43/2.76 (zenon_Vcc != Tau_0) % 2.43/2.76 (zenon_Ved != Tau_0) % 2.43/2.76 (zenon_Vbe != Tau_0) % 2.43/2.76 (zenon_Vte != Tau_0) % 2.43/2.76 (zenon_Vka != Tau_0) % 2.43/2.76 (zenon_Vvc != Tau_0) % 2.43/2.76 (zenon_Vcc != zenon_Vkc) % 2.43/2.76 (zenon_Vsb != Tau_0) % 2.43/2.76 (zenon_Vtd != Tau_0) % 2.43/2.76 (zenon_Vrd != zenon_Vwd) % 2.43/2.76 (zenon_Vyd != Tau_0) % 2.43/2.76 (zenon_Vrd != Tau_0) % 2.43/2.76 (zenon_Vbd != Tau_0) % 2.43/2.76 (zenon_Vsc != Tau_0) % 2.43/2.76 (zenon_Vzb != Tau_0) % 2.43/2.76 (zenon_Vob != Tau_0) % 2.43/2.76 (zenon_Vsa != Tau_0) % 2.43/2.76 (zenon_Vfa != Tau_0) % 2.43/2.76 (zenon_Vse != Tau_0) % 2.43/2.76 (zenon_Vre != Tau_0) % 2.43/2.76 (zenon_Vae != Tau_0) % 2.43/2.76 (zenon_Vzd != Tau_0) % 2.43/2.76 (zenon_Vdd != Tau_0) % 2.43/2.76 (zenon_Vcd != Tau_0) % 2.43/2.76 (zenon_Vbc != Tau_0) % 2.43/2.76 (zenon_Vac != Tau_0) % 2.43/2.76 (zenon_Vua != Tau_0) % 2.43/2.76 (zenon_Vta != Tau_0) % 2.43/2.76 (zenon_Vfe != Tau_0) % 2.43/2.76 (zenon_Vee != Tau_0) % 2.43/2.76 (zenon_Vxd != Tau_0) % 2.43/2.76 (zenon_Vnd != Tau_0) % 2.43/2.76 (zenon_Vad != Tau_0) % 2.43/2.76 (zenon_Voc != Tau_0) % 2.43/2.76 (zenon_Vyb != Tau_0) % 2.43/2.76 (zenon_Vkb != Tau_0) % 2.43/2.76 (zenon_Vra != Tau_0) % 2.43/2.76 (zenon_Vba != Tau_0) % 2.43/2.76 (zenon_Vta != zenon_Vme) % 2.43/2.76 (zenon_Vbd != zenon_Vve) % 2.43/2.76 (Tau_2 != zenon_Vue) % 2.43/2.76 (zenon_Vfe != zenon_Vme) % 2.43/2.76 (zenon_Vsc != zenon_Vwa) % 2.43/2.76 (zenon_Vae != zenon_Vv) % 2.43/2.76 (zenon_Vwd != zenon_Vtc) % 2.43/2.76 (zenon_Vcd != zenon_Vgd) % 2.43/2.76 (zenon_Vna != zenon_Vue) % 2.43/2.76 (zenon_Vsa != zenon_Vtc) % 2.43/2.76 (zenon_Vbd != zenon_Vab) % 2.43/2.76 (zenon_Vna != zenon_Vwa) % 2.43/2.76 (zenon_Vse != zenon_Vga) % 2.43/2.76 (zenon_Vva != zenon_Vde) % 2.43/2.76 (zenon_Vbe != zenon_Vgc) % 2.43/2.76 (zenon_Vxa != zenon_Vfd) % 2.43/2.76 (zenon_X30 != Tau_0) % 2.43/2.76 (zenon_Vcc != zenon_Vgc) % 2.43/2.76 (zenon_Vac != zenon_Vec) % 2.43/2.76 (zenon_Vsa != zenon_X27) % 2.43/2.76 (zenon_Vta != zenon_Vwd) % 2.43/2.76 (zenon_Vbe != zenon_Vhd) % 2.43/2.76 (zenon_Vbe != zenon_Vve) % 2.43/2.76 (zenon_Vsc != zenon_Vkc) % 2.43/2.76 (zenon_Vec != zenon_Vpe) % 2.43/2.76 (Tau_2 != zenon_Vve) % 2.43/2.76 (Tau_4 != zenon_Vde) % 2.43/2.76 (zenon_Vsc != zenon_Vve) % 2.43/2.76 (zenon_Vzd != zenon_Vve) % 2.43/2.76 (-. (p1 zenon_Vzb)) % 2.43/2.76 (zenon_Vta != zenon_Vpb) % 2.43/2.76 (zenon_Vxa != zenon_Vdc) % 2.43/2.76 (r1 zenon_Vse zenon_Vte) % 2.43/2.76 (r1 zenon_Voc zenon_Vsc) % 2.43/2.76 (zenon_Vcc != zenon_Vwa) % 2.43/2.76 (zenon_Vgd != zenon_Vme) % 2.43/2.76 (zenon_Vzb != zenon_Vsd) % 2.43/2.76 (r1 Tau_2 zenon_Vac) % 2.43/2.76 (zenon_Vte != zenon_Vab) % 2.43/2.76 (zenon_Vp != zenon_Vue) % 2.43/2.76 (zenon_Vbd != zenon_Vkc) % 2.43/2.76 (zenon_Vsa != zenon_Vde) % 2.43/2.76 (zenon_Vfe != zenon_Vga) % 2.43/2.76 (zenon_Vse != zenon_Vpb) % 2.43/2.76 (zenon_Vwd != zenon_Vv) % 2.43/2.76 (zenon_Vyc != zenon_Vv) % 2.43/2.76 (Tau_3 != zenon_Vgd) % 2.43/2.76 (zenon_Vsa != zenon_Vga) % 2.43/2.76 (zenon_Vsc != zenon_Vfd) % 2.43/2.76 (zenon_Vfa != zenon_Vtc) % 2.43/2.76 (zenon_Vfa != zenon_Vwd) % 2.43/2.76 (zenon_Vwd != zenon_Vvb) % 2.43/2.76 (zenon_Vre != zenon_Vue) % 2.43/2.76 (zenon_Vcd != zenon_Vyc) % 2.43/2.76 (zenon_Vte != zenon_Vga) % 2.43/2.76 (zenon_Vte != zenon_Vpe) % 2.43/2.76 (zenon_Vdd != zenon_Vec) % 2.43/2.76 (-. (p1 zenon_Vpb)) % 2.43/2.76 (zenon_Vgc != zenon_Vfb) % 2.43/2.76 (zenon_Vac != zenon_Vue) % 2.43/2.76 (zenon_Vbe != zenon_Vpb) % 2.43/2.76 (zenon_Vcd != zenon_Vue) % 2.43/2.76 (r1 zenon_Vsb zenon_Vvb) % 2.43/2.76 (zenon_Vgc != zenon_Vce) % 2.43/2.76 (zenon_Vrd != zenon_Vv) % 2.43/2.76 (zenon_X26 != Tau_1) % 2.43/2.76 (zenon_X26 != Tau_3) % 2.43/2.76 (zenon_X26 != Tau_2) % 2.43/2.76 (zenon_X26 != Tau_5) % 2.43/2.76 (zenon_X26 != Tau_4) % 2.43/2.76 (zenon_Vec != zenon_Vpb) % 2.43/2.76 (zenon_Vfe != zenon_Vyc) % 2.43/2.76 (zenon_Vde != zenon_Vwa) % 2.43/2.76 (zenon_Vve != zenon_Vfb) % 2.43/2.76 (zenon_Vxa != zenon_Vce) % 2.43/2.76 (zenon_Vgd != zenon_Vtc) % 2.43/2.76 (zenon_Vre != zenon_Vve) % 2.43/2.76 (zenon_Vse != zenon_Vwd) % 2.43/2.76 (zenon_Vvb != zenon_Vga) % 2.43/2.76 (zenon_Vyd != zenon_Vwa) % 2.43/2.76 (-. (r1 Tau_0 Tau_0)) % 2.43/2.76 (zenon_Vsc != zenon_Vpe) % 2.43/2.76 (zenon_Vvb != zenon_Vdc) % 2.43/2.76 (zenon_Vre != zenon_Vpb) % 2.43/2.76 (zenon_Vzd != zenon_Vpe) % 2.43/2.76 (zenon_Vac != zenon_Vga) % 2.43/2.76 (zenon_Vob != zenon_Vfb) % 2.43/2.76 (zenon_Vna != zenon_Vce) % 2.43/2.76 (zenon_Vgd != zenon_Vfd) % 2.43/2.76 (zenon_Ved != zenon_Vkc) % 2.43/2.76 (zenon_Vyd != zenon_Vde) % 2.43/2.76 (zenon_Vbd != zenon_Vkd) % 2.43/2.76 (zenon_Vwd != zenon_Vme) % 2.43/2.76 (zenon_Vdd != zenon_Vpe) % 2.43/2.76 (r1 zenon_Vte zenon_Vue) % 2.43/2.76 (zenon_Vae != zenon_Vce) % 2.43/2.76 (zenon_Vre != zenon_Vyc) % 2.43/2.76 (zenon_Vzd != zenon_Vde) % 2.43/2.76 (zenon_Vab != zenon_Vdc) % 2.43/2.76 (zenon_Vwd != zenon_Vue) % 2.43/2.76 (zenon_Vde != zenon_Vpb) % 2.43/2.76 (zenon_Vrd != zenon_Vfd) % 2.43/2.76 (zenon_Vac != zenon_Vgc) % 2.43/2.76 (zenon_Vte != zenon_Vp) % 2.43/2.76 (zenon_Ved != zenon_Vue) % 2.43/2.76 (zenon_Vfe != zenon_Vce) % 2.43/2.76 (r1 Tau_1 zenon_Vta) % 2.43/2.76 (Tau_5 != zenon_Vqe) % 2.43/2.76 (zenon_Vve != zenon_Vyc) % 2.43/2.76 (zenon_Vzb != zenon_Vve) % 2.43/2.76 (zenon_Vta != zenon_Vwa) % 2.43/2.76 (zenon_Vec != zenon_Vfe) % 2.43/2.76 (r1 zenon_Vac zenon_Vbc) % 2.43/2.76 (zenon_Vab != zenon_Vqe) % 2.43/2.76 (zenon_Ved != zenon_Vpe) % 2.43/2.76 (zenon_Vbc != zenon_Vkd) % 2.43/2.76 (zenon_Vua != zenon_Vsd) % 2.43/2.76 (zenon_Vyd != zenon_Vab) % 2.43/2.76 (zenon_Vve != zenon_Vce) % 2.43/2.76 (zenon_Vp != zenon_Vpb) % 2.43/2.76 (zenon_Ved != zenon_Vvb) % 2.43/2.76 (zenon_Vva != zenon_Vpb) % 2.43/2.76 (zenon_Vcd != zenon_Vde) % 2.43/2.76 (zenon_Vdd != zenon_Vgc) % 2.43/2.76 (zenon_Vob != zenon_Vpe) % 2.43/2.76 (zenon_Vqe != zenon_X27) % 2.43/2.76 (zenon_Vfa != zenon_Vyd) % 2.43/2.76 (zenon_Vsc != zenon_Vce) % 2.43/2.76 (zenon_X26 != zenon_Vkd) % 2.43/2.76 (zenon_Vdd != zenon_Vfd) % 2.43/2.76 (zenon_Vzb != zenon_Vme) % 2.43/2.76 (zenon_Vde != zenon_Vfe) % 2.43/2.76 (zenon_Vyd != zenon_Vgd) % 2.43/2.76 (zenon_Vua != zenon_Vgc) % 2.43/2.76 (p1 zenon_Vhd) % 2.43/2.76 (zenon_Vhd != zenon_Vna) % 2.43/2.76 (zenon_Vde != zenon_Vce) % 2.43/2.76 (zenon_Vp != zenon_Vv) % 2.43/2.76 (zenon_Vsc != zenon_Vyc) % 2.43/2.76 (zenon_Vzb != zenon_Vpe) % 2.43/2.76 (zenon_Vfa != zenon_Vpe) % 2.43/2.76 (zenon_Vrd != zenon_X27) % 2.43/2.76 (Tau_5 != zenon_Vve) % 2.43/2.76 (zenon_Vab != zenon_Vwd) % 2.43/2.76 (zenon_Vcc != zenon_Vme) % 2.43/2.76 (zenon_Vzd != zenon_Vtc) % 2.43/2.76 (zenon_Vrd != zenon_Vab) % 2.43/2.76 (r1 zenon_Vdd zenon_Ved) % 2.43/2.76 (zenon_Vxa != zenon_Vyc) % 2.43/2.76 (zenon_Vte != zenon_Vkc) % 2.43/2.76 (zenon_X26 != zenon_Vdc) % 2.43/2.76 (zenon_Vp != zenon_Vfe) % 2.43/2.76 (zenon_X26 != zenon_Vwa) % 2.43/2.76 (zenon_Vob != zenon_Vsd) % 2.43/2.76 (zenon_Vva != zenon_Vfd) % 2.43/2.76 (zenon_Vab != zenon_Vpe) % 2.43/2.76 (zenon_Vfe != zenon_Vtc) % 2.43/2.76 (zenon_Vfa != zenon_Vbd) % 2.43/2.76 (zenon_Vua != zenon_Vfd) % 2.43/2.76 (-. (p1 zenon_Vsc)) % 2.43/2.76 (zenon_Vyd != zenon_Vsd) % 2.43/2.76 (zenon_Vac != zenon_Vgd) % 2.43/2.76 (zenon_Vxa != zenon_Vfb) % 2.43/2.76 (Tau_3 != zenon_Vve) % 2.43/2.76 (zenon_Vcc != zenon_Vue) % 2.43/2.76 (zenon_Vsc != zenon_Vsd) % 2.43/2.76 (zenon_Vxa != zenon_Vv) % 2.43/2.76 (zenon_Vgd != zenon_Vyc) % 2.43/2.76 (zenon_Vcd != zenon_Vv) % 2.43/2.76 (zenon_Vac != zenon_Vtc) % 2.43/2.76 (zenon_Vte != zenon_Vhd) % 2.43/2.76 (zenon_Vfa != zenon_X27) % 2.43/2.76 (r1 zenon_Vba zenon_Vfa) % 2.43/2.76 (zenon_Vyd != zenon_Vga) % 2.43/2.76 (zenon_Vva != zenon_Vec) % 2.43/2.76 (zenon_Vxa != zenon_Vle) % 2.43/2.76 (-. (p1 zenon_Vle)) % 2.43/2.76 (zenon_Vae != zenon_Vdc) % 2.43/2.76 (zenon_Vfa != zenon_Vde) % 2.43/2.76 (zenon_Vta != zenon_Vhd) % 2.43/2.76 (zenon_Vte != zenon_Vwa) % 2.43/2.76 (zenon_Vac != zenon_Vhd) % 2.43/2.76 (zenon_Vzb != zenon_Vdc) % 2.43/2.76 (zenon_Vwd != zenon_Vna) % 2.43/2.76 (zenon_Vcd != zenon_Vp) % 2.43/2.76 (zenon_Vse != zenon_Vve) % 2.43/2.76 (zenon_Vgc != zenon_Vvb) % 2.43/2.76 (zenon_Vob != zenon_Vyc) % 2.43/2.76 (zenon_Vfa != zenon_Vsc) % 2.43/2.76 (zenon_Vxa != zenon_Vqe) % 2.43/2.76 (r1 zenon_Vkb zenon_Vob) % 2.43/2.76 (zenon_Vre != zenon_Vtc) % 2.43/2.76 (zenon_Vac != zenon_Vfb) % 2.43/2.76 (zenon_Vac != zenon_Vme) % 2.43/2.76 (zenon_Vva != zenon_Vce) % 2.43/2.76 (zenon_Vob != zenon_Vp) % 2.43/2.76 (zenon_Vve != zenon_Vvb) % 2.43/2.76 (zenon_Vbc != zenon_Vkc) % 2.43/2.76 (zenon_Vfe != zenon_Vfb) % 2.43/2.76 (zenon_Vve != zenon_Vtc) % 2.43/2.76 (zenon_Vde != zenon_Vme) % 2.43/2.76 (zenon_Vhd != zenon_Vpe) % 2.43/2.76 (zenon_Vbd != zenon_Vdc) % 2.43/2.76 (zenon_Vbd != zenon_Vfb) % 2.43/2.76 (zenon_Vec != zenon_Vsd) % 2.43/2.76 (zenon_Vrd != zenon_Vyc) % 2.43/2.76 (zenon_Vre != zenon_Vxa) % 2.43/2.76 (zenon_Vob != zenon_Vhd) % 2.43/2.76 (zenon_Vab != zenon_Vpb) % 2.43/2.76 (zenon_Vta != zenon_Vp) % 2.43/2.76 (zenon_Vgc != zenon_Vga) % 2.43/2.76 (zenon_Vdd != zenon_Vpb) % 2.43/2.76 (zenon_Vbd != zenon_Vle) % 2.43/2.76 (zenon_Vcc != zenon_Vdc) % 2.43/2.76 (zenon_Vua != zenon_Vga) % 2.43/2.76 (zenon_Vbc != zenon_Vue) % 2.43/2.76 (zenon_Vec != zenon_Vna) % 2.43/2.76 (zenon_Vdd != zenon_Vvb) % 2.43/2.76 (zenon_Vzb != zenon_Vna) % 2.43/2.76 (zenon_Vsc != zenon_Vgd) % 2.43/2.76 (zenon_Vsc != zenon_Vfb) % 2.43/2.76 (zenon_Vre != zenon_Vpe) % 2.43/2.76 (zenon_Vwd != zenon_Vsd) % 2.43/2.76 (zenon_Vac != zenon_Vp) % 2.43/2.76 (zenon_Vre != zenon_Vec) % 2.43/2.76 (zenon_Vde != zenon_Vdc) % 2.43/2.76 (zenon_Vva != zenon_Vwa) % 2.43/2.76 (zenon_Vgc != zenon_Vsd) % 2.43/2.76 (zenon_Vse != zenon_Vgc) % 2.43/2.76 (zenon_Vdd != zenon_Vme) % 2.43/2.76 (zenon_Vsa != zenon_Vgc) % 2.43/2.76 (zenon_Vab != zenon_Vfb) % 2.43/2.76 (zenon_Vec != zenon_Vv) % 2.43/2.76 (r1 Tau_5 zenon_Vre) % 2.43/2.76 (zenon_Vua != zenon_Vue) % 2.43/2.76 (zenon_Vec != zenon_Vce) % 2.43/2.76 (Tau_4 != zenon_Vwa) % 2.43/2.76 (Tau_4 != zenon_Vdc) % 2.43/2.76 (Tau_4 != zenon_Vfd) % 2.43/2.76 (Tau_4 != zenon_Vga) % 2.43/2.76 (Tau_4 != zenon_Vv) % 2.43/2.76 (Tau_4 != zenon_Vna) % 2.43/2.76 (Tau_4 != zenon_Vkd) % 2.43/2.76 (Tau_4 != zenon_Vyc) % 2.43/2.76 (Tau_4 != zenon_Vtc) % 2.43/2.76 (Tau_4 != zenon_Vkc) % 2.43/2.76 (Tau_4 != zenon_Vvb) % 2.43/2.76 (Tau_4 != zenon_Vpb) % 2.43/2.76 (Tau_4 != zenon_Vfb) % 2.43/2.76 (Tau_4 != zenon_Vsd) % 2.43/2.76 (Tau_4 != zenon_Vp) % 2.43/2.76 (Tau_4 != zenon_Vpe) % 2.43/2.76 (Tau_4 != zenon_Vme) % 2.43/2.76 (Tau_4 != zenon_Vgd) % 2.43/2.76 (Tau_4 != zenon_Vhd) % 2.43/2.76 (Tau_4 != zenon_Vgc) % 2.43/2.76 (Tau_4 != zenon_Vab) % 2.43/2.76 (Tau_4 != zenon_Vec) % 2.43/2.76 (Tau_4 != zenon_Vxa) % 2.43/2.76 (Tau_4 != zenon_Vwd) % 2.43/2.76 (Tau_4 != zenon_Vle) % 2.43/2.76 (Tau_4 != zenon_Vfe) % 2.43/2.76 (Tau_4 != zenon_Vqe) % 2.43/2.76 (Tau_4 != zenon_Vyd) % 2.43/2.76 (Tau_4 != zenon_Vrd) % 2.43/2.76 (Tau_4 != zenon_Vbd) % 2.43/2.76 (Tau_4 != zenon_Vsc) % 2.43/2.76 (Tau_4 != zenon_Vzb) % 2.43/2.76 (Tau_4 != zenon_Vob) % 2.43/2.76 (Tau_4 != zenon_Vsa) % 2.43/2.76 (Tau_4 != zenon_Vfa) % 2.43/2.76 (r1 Tau_0 Tau_1) % 2.43/2.76 (r1 Tau_0 Tau_2) % 2.43/2.76 (r1 Tau_0 Tau_3) % 2.43/2.76 (r1 Tau_0 Tau_4) % 2.43/2.76 (r1 Tau_0 Tau_5) % 2.43/2.76 (Tau_5 != zenon_Vue) % 2.43/2.76 (zenon_Vrd != zenon_Vve) % 2.43/2.76 (zenon_Vob != zenon_X27) % 2.43/2.76 (zenon_Vde != zenon_Vkd) % 2.43/2.76 (zenon_Vdd != zenon_Vna) % 2.43/2.76 (zenon_Vbc != zenon_Vce) % 2.43/2.76 (zenon_Vse != zenon_Vfb) % 2.43/2.76 (zenon_Vve != zenon_Vpb) % 2.43/2.76 (zenon_Vab != zenon_Vsd) % 2.43/2.76 (zenon_Vhd != zenon_Vme) % 2.43/2.76 (zenon_Vta != zenon_Vfd) % 2.43/2.76 (zenon_Vzb != zenon_Vga) % 2.43/2.76 (r1 zenon_Vua zenon_Vva) % 2.43/2.76 (zenon_Vbe != zenon_Vna) % 2.43/2.76 (zenon_Vzd != zenon_Vce) % 2.43/2.76 (-. (p1 zenon_Vyd)) % 2.43/2.76 (r1 zenon_X29 zenon_Vpe) % 2.43/2.76 (zenon_Vp != zenon_Vfd) % 2.43/2.76 (zenon_Vae != zenon_Vab) % 2.43/2.76 (zenon_Vrd != zenon_Vce) % 2.43/2.76 (zenon_Vwd != zenon_Vwa) % 2.43/2.76 (zenon_Vbd != zenon_Vqe) % 2.43/2.76 (zenon_Vcc != zenon_Vce) % 2.43/2.76 (zenon_Vfa != zenon_Vsd) % 2.43/2.76 (zenon_Vrd != zenon_Vwa) % 2.43/2.76 (zenon_Ved != zenon_Vv) % 2.43/2.76 (zenon_Vse != zenon_Vec) % 2.43/2.76 (zenon_Vab != zenon_Vue) % 2.43/2.76 (zenon_Vab != zenon_Vkc) % 2.43/2.76 (zenon_Vrd != zenon_Vfe) % 2.43/2.76 (zenon_Vae != zenon_Vyc) % 2.43/2.76 (zenon_Ved != zenon_Vp) % 2.43/2.76 (zenon_Vre != zenon_Vwd) % 2.43/2.76 (zenon_Vte != zenon_Vve) % 2.43/2.76 (r1 zenon_Vbc zenon_Vcc) % 2.43/2.76 (zenon_Vae != zenon_Vkc) % 2.43/2.76 (zenon_Ved != zenon_Vtc) % 2.43/2.76 (zenon_Vta != zenon_Vgd) % 2.43/2.76 (-. (p1 zenon_Vrd)) % 2.43/2.76 (zenon_Vec != zenon_Vyc) % 2.43/2.76 (zenon_Vhd != zenon_Vga) % 2.43/2.76 (zenon_Vvb != zenon_Vce) % 2.43/2.76 (zenon_Vde != zenon_Vtc) % 2.43/2.76 (r1 zenon_Vre zenon_Vse) % 2.43/2.76 (zenon_Vcd != zenon_Vce) % 2.43/2.76 (zenon_Vae != zenon_Vde) % 2.43/2.76 (zenon_Vcd != zenon_Vdc) % 2.43/2.76 (zenon_Ved != zenon_Vgc) % 2.43/2.76 (zenon_Vyc != zenon_Vce) % 2.43/2.76 (zenon_Vbe != zenon_Vme) % 2.43/2.76 (zenon_Vfe != zenon_Vna) % 2.43/2.76 (zenon_Vbe != zenon_Vvb) % 2.43/2.76 (zenon_Vve != zenon_Vdc) % 2.43/2.76 (zenon_Vdd != zenon_Vwa) % 2.43/2.76 (zenon_X29 != Tau_0) % 2.43/2.76 (zenon_Vbd != zenon_Vna) % 2.43/2.76 (zenon_Vse != zenon_Vp) % 2.43/2.76 (zenon_Vre != zenon_Vhd) % 2.43/2.76 (zenon_Vde != zenon_X27) % 2.43/2.76 (zenon_Vzd != zenon_Vdc) % 2.43/2.76 (zenon_Vcc != zenon_Vkd) % 2.43/2.76 (zenon_Ved != zenon_Vhd) % 2.43/2.76 (zenon_Vxa != zenon_Vna) % 2.43/2.76 (zenon_Vte != zenon_Vdc) % 2.43/2.76 (zenon_Vbc != zenon_Vdc) % 2.43/2.76 (zenon_Vbe != zenon_Vp) % 2.43/2.76 (zenon_Vrd != zenon_Vme) % 2.43/2.76 (zenon_Vse != zenon_Vdc) % 2.43/2.76 (zenon_Vse != zenon_Vsd) % 2.43/2.76 (zenon_Vfa != zenon_Vv) % 2.43/2.76 (zenon_Vte != zenon_Vec) % 2.43/2.76 (zenon_Vac != zenon_Vv) % 2.43/2.76 (zenon_Vac != zenon_Vdc) % 2.43/2.76 (zenon_Vae != zenon_Vtc) % 2.43/2.76 (zenon_Vbe != zenon_Vce) % 2.43/2.76 (zenon_Vob != zenon_Vpb) % 2.43/2.76 (zenon_Vzb != zenon_Vxa) % 2.43/2.76 (zenon_Vfa != zenon_Vgd) % 2.43/2.76 (zenon_Vdd != zenon_Vgd) % 2.43/2.76 (zenon_Vfe != zenon_Vpb) % 2.43/2.76 (zenon_Vgd != zenon_Vce) % 2.43/2.76 (zenon_Vgc != zenon_Vme) % 2.43/2.76 (zenon_Vva != zenon_Vga) % 2.43/2.76 (zenon_Vfa != zenon_Vab) % 2.43/2.76 (zenon_Vfa != zenon_Vp) % 2.43/2.76 (zenon_Vte != zenon_Vce) % 2.43/2.76 (zenon_Vsc != zenon_Vde) % 2.43/2.76 (Tau_1 != zenon_Vve) % 2.43/2.76 (zenon_Vob != zenon_Vce) % 2.43/2.76 (zenon_Vp != zenon_Vpe) % 2.43/2.76 (zenon_Vcc != zenon_Vtc) % 2.43/2.76 (zenon_Vdd != zenon_Vtc) % 2.43/2.76 (r1 zenon_Vva zenon_Vwa) % 2.43/2.76 (-. (p1 zenon_Vfd)) % 2.43/2.76 (zenon_Vna != zenon_Vfd) % 2.43/2.76 (zenon_Vdd != zenon_Vv) % 2.43/2.76 (zenon_Vre != zenon_Vp) % 2.43/2.76 (zenon_Vzb != zenon_Vwd) % 2.43/2.76 (zenon_Vvb != zenon_Vyc) % 2.43/2.76 (zenon_Vbd != zenon_Vwd) % 2.43/2.76 (zenon_Vgd != zenon_Vqe) % 2.43/2.76 (r1 zenon_Vee zenon_Vfe) % 2.43/2.76 (zenon_Vyd != zenon_Vp) % 2.43/2.76 (zenon_Ved != zenon_Vfb) % 2.43/2.76 (zenon_Vbe != zenon_Vgd) % 2.43/2.76 (-. (p1 zenon_Vdc)) % 2.43/2.76 (zenon_Vgd != zenon_Vkc) % 2.43/2.76 (zenon_Vbe != zenon_Vkd) % 2.43/2.76 (zenon_X26 != zenon_Vrd) % 2.43/2.76 (zenon_Vre != zenon_Vv) % 2.43/2.76 (zenon_Vcc != zenon_Vpb) % 2.43/2.76 (zenon_Vte != zenon_Vfd) % 2.43/2.76 (zenon_Vse != zenon_Vfd) % 2.43/2.76 (r1 zenon_X28 zenon_Vle) % 2.43/2.76 (zenon_Vae != zenon_Vhd) % 2.43/2.76 (zenon_Vae != zenon_Vue) % 2.43/2.76 (zenon_Vab != zenon_Vfe) % 2.43/2.76 (zenon_Vp != zenon_Vme) % 2.43/2.76 (r1 Tau_4 zenon_Vzd) % 2.43/2.76 (zenon_Vbd != zenon_Vue) % 2.43/2.76 (zenon_Vsa != zenon_Vsc) % 2.43/2.76 (zenon_Vta != zenon_Vce) % 2.43/2.76 (zenon_Vzb != zenon_Vue) % 2.43/2.76 (zenon_Vbd != zenon_Vv) % 2.43/2.76 (zenon_Vyd != zenon_Vme) % 2.43/2.76 (zenon_Ved != zenon_Vdc) % 2.43/2.76 (zenon_Vp != zenon_Vtc) % 2.43/2.76 (zenon_Vgc != zenon_Vyc) % 2.43/2.76 (zenon_Vcc != zenon_Vyc) % 2.43/2.76 (zenon_Vyd != zenon_Vkc) % 2.43/2.76 (zenon_Vyd != zenon_X27) % 2.43/2.76 (zenon_Vta != zenon_Vsd) % 2.43/2.76 (zenon_Vgc != zenon_Vue) % 2.43/2.76 (zenon_Vua != zenon_Vab) % 2.43/2.76 (zenon_Vrd != zenon_Vga) % 2.43/2.76 (r1 zenon_Vta zenon_Vua) % 2.43/2.76 (zenon_Vzd != zenon_Vv) % 2.43/2.76 (zenon_Vzd != zenon_Vgc) % 2.43/2.76 (zenon_Vue != zenon_Vga) % 2.43/2.76 (zenon_Vse != zenon_Vv) % 2.43/2.76 (zenon_Vfa != zenon_Vxa) % 2.43/2.76 (zenon_Vdd != zenon_Vab) % 2.43/2.76 (zenon_Vzd != zenon_Vkd) % 2.43/2.76 (zenon_Vbc != zenon_Vxa) % 2.43/2.76 (zenon_Vbe != zenon_Vwd) % 2.43/2.76 (zenon_X26 != zenon_Vna) % 2.43/2.76 (zenon_Vhd != zenon_Vvb) % 2.43/2.76 (zenon_Vxa != zenon_Vvb) % 2.43/2.76 (zenon_Vbe != zenon_Vxa) % 2.43/2.76 (zenon_X26 != zenon_Vwd) % 2.43/2.76 (zenon_Vte != zenon_Vyc) % 2.43/2.76 (zenon_Vde != zenon_Vfb) % 2.43/2.76 (zenon_Vyd != zenon_Vgc) % 2.43/2.76 (zenon_Vua != zenon_Vkd) % 2.43/2.76 (zenon_Vzd != zenon_Vec) % 2.43/2.76 (zenon_Vve != zenon_Vfe) % 2.43/2.76 (zenon_Vbc != zenon_Vfb) % 2.43/2.76 (zenon_Vob != zenon_Vab) % 2.43/2.76 (zenon_Vac != zenon_Vce) % 2.43/2.76 (zenon_Vre != zenon_Vgd) % 2.43/2.76 (zenon_Vbc != zenon_Vfd) % 2.43/2.76 (zenon_Vcc != zenon_Vhd) % 2.43/2.76 (zenon_Vxa != zenon_Vga) % 2.43/2.76 (zenon_Vua != zenon_Vyc) % 2.43/2.76 (zenon_Ved != zenon_Vme) % 2.43/2.76 (zenon_Vp != zenon_Vwd) % 2.43/2.76 (zenon_Vre != zenon_Vme) % 2.43/2.76 (zenon_Vsa != zenon_Vue) % 2.43/2.76 (Tau_3 != zenon_Vue) % 2.43/2.76 (zenon_Ved != zenon_Vga) % 2.43/2.76 (zenon_Vte != zenon_Vfb) % 2.43/2.76 (zenon_Vse != zenon_Vme) % 2.43/2.76 (zenon_Vae != zenon_Vkd) % 2.43/2.76 (zenon_Vta != zenon_Vpe) % 2.43/2.76 (zenon_Vbe != zenon_Vfd) % 2.43/2.76 (zenon_Vzd != zenon_Vfd) % 2.43/2.76 (zenon_Vcc != zenon_Vec) % 2.43/2.76 (Tau_4 != zenon_Vve) % 2.43/2.76 (zenon_Vta != zenon_Vkd) % 2.43/2.76 (zenon_Vzd != zenon_Vxa) % 2.43/2.76 (zenon_Vva != zenon_Vwd) % 2.43/2.76 (zenon_Vac != zenon_Vvb) % 2.43/2.76 (zenon_Vrd != zenon_Vtc) % 2.43/2.76 (zenon_Vgc != zenon_Vfd) % 2.43/2.76 (zenon_Vhd != zenon_Vfb) % 2.43/2.76 (zenon_Vyd != zenon_Vfb) % 2.43/2.76 (zenon_Vfa != zenon_Vkc) % 2.43/2.76 (zenon_Vab != zenon_Vfd) % 2.43/2.76 (zenon_Vp != zenon_Vkd) % 2.43/2.76 (-. (p1 zenon_Vob)) % 2.43/2.76 (zenon_Vbd != zenon_Vhd) % 2.43/2.76 (zenon_Vdd != zenon_Vdc) % 2.43/2.76 (zenon_Vua != zenon_Vce) % 2.43/2.76 (zenon_Vsa != zenon_Vme) % 2.43/2.76 (zenon_Vva != zenon_Vp) % 2.43/2.76 (zenon_Vsc != zenon_Vab) % 2.43/2.76 (zenon_Vxa != zenon_Vue) % 2.43/2.76 (zenon_Vua != zenon_Vme) % 2.43/2.76 (zenon_Vce != zenon_Vdc) % 2.43/2.76 (zenon_Vrd != zenon_Vpb) % 2.43/2.76 (zenon_Vbc != zenon_Vwd) % 2.43/2.76 (zenon_Vp != zenon_Vle) % 2.43/2.76 (zenon_Vrd != zenon_Vue) % 2.43/2.76 (zenon_Vsa != zenon_Vsd) % 2.43/2.76 (zenon_Vzd != zenon_Vab) % 2.43/2.76 (zenon_Vrd != zenon_Vp) % 2.43/2.76 (zenon_Vdd != zenon_Vce) % 2.43/2.76 (zenon_Vte != zenon_Vkd) % 2.43/2.76 (zenon_Vsa != zenon_Vzb) % 2.43/2.76 (zenon_Vta != zenon_Vde) % 2.43/2.76 (zenon_Vrd != zenon_Vyd) % 2.43/2.76 (zenon_Vob != zenon_Vrd) % 2.43/2.76 (p1 zenon_Vgc) % 2.43/2.76 (zenon_Vgc != zenon_Vv) % 2.43/2.76 (zenon_Vve != zenon_Vme) % 2.43/2.76 (zenon_Vrd != zenon_Vec) % 2.43/2.76 (zenon_Vsa != zenon_Vab) % 2.43/2.76 (zenon_Vgd != zenon_Vdc) % 2.43/2.76 (zenon_Vac != zenon_Vpe) % 2.43/2.76 (zenon_Vfa != zenon_Vec) % 2.43/2.76 (p1 zenon_Vp) % 2.43/2.76 (zenon_Vhd != zenon_Vwa) % 2.43/2.76 (zenon_Vob != zenon_Vv) % 2.43/2.76 (zenon_Vrd != zenon_Vsd) % 2.43/2.76 (zenon_Vab != zenon_Vga) % 2.43/2.76 (zenon_Vve != zenon_Vwd) % 2.43/2.76 (zenon_Vbd != zenon_Vrd) % 2.43/2.76 (zenon_Vfa != zenon_Vpb) % 2.43/2.76 (Tau_1 != zenon_Vwa) % 2.43/2.76 (zenon_Vec != zenon_Vfd) % 2.43/2.76 (zenon_Vcd != zenon_Vec) % 2.43/2.76 (Tau_5 != Tau_0) % 2.43/2.76 (Tau_4 != Tau_0) % 2.43/2.76 (Tau_3 != Tau_0) % 2.43/2.76 (Tau_2 != Tau_0) % 2.43/2.76 (Tau_1 != Tau_0) % 2.43/2.76 (zenon_Vyc != zenon_Vue) % 2.43/2.76 (zenon_Vva != zenon_Vna) % 2.43/2.76 (zenon_Vte != zenon_Vde) % 2.43/2.76 (zenon_Vbe != zenon_Vde) % 2.43/2.76 (zenon_Vcd != zenon_Vxa) % 2.43/2.76 (zenon_Vyd != zenon_Vle) % 2.43/2.76 (zenon_Vvb != zenon_Vue) % 2.43/2.76 (zenon_Vfa != zenon_Vue) % 2.43/2.76 (zenon_Vgc != zenon_Vwd) % 2.43/2.76 (zenon_Vta != zenon_Vve) % 2.43/2.76 (zenon_Vgc != zenon_Vqe) % 2.43/2.76 (zenon_Vve != zenon_Vga) % 2.43/2.76 (zenon_Vve != zenon_Vkc) % 2.43/2.76 (zenon_Vfe != zenon_Vsd) % 2.43/2.76 (zenon_Vfa != zenon_Vrd) % 2.43/2.76 (zenon_X26 != zenon_Vue) % 2.43/2.76 (zenon_Vgd != zenon_Vwa) % 2.43/2.76 (zenon_Vcc != zenon_Vsd) % 2.43/2.76 (zenon_Vcd != zenon_Vpb) % 2.43/2.76 (zenon_Vve != zenon_Vwa) % 2.43/2.76 (zenon_Vbd != zenon_Vyc) % 2.43/2.76 (zenon_Vsc != zenon_Vp) % 2.43/2.76 (zenon_Vgc != zenon_Vle) % 2.43/2.76 (-. (p1 zenon_Vqe)) % 2.43/2.76 (zenon_Vxa != zenon_Vtc) % 2.43/2.76 (zenon_Vfd != zenon_Vdc) % 2.43/2.76 (zenon_Vsa != zenon_Vpb) % 2.43/2.76 (-. (p1 zenon_Vvb)) % 2.43/2.76 (zenon_Vvb != zenon_Vfd) % 2.43/2.76 (zenon_Vua != zenon_Vxa) % 2.43/2.76 (zenon_Vdd != zenon_Vga) % 2.43/2.76 (zenon_Vsa != zenon_Vec) % 2.43/2.76 (zenon_Vva != zenon_Vkc) % 2.43/2.76 (zenon_Vbd != zenon_Vfe) % 2.43/2.76 (zenon_Vob != zenon_Vgc) % 2.43/2.76 (zenon_Vec != zenon_Vtc) % 2.43/2.76 (zenon_Vcc != zenon_Vpe) % 2.43/2.76 (-. (p1 zenon_Vce)) % 2.43/2.76 (zenon_Vvb != zenon_Vna) % 2.43/2.76 (zenon_Vzb != zenon_Vbd) % 2.43/2.76 (zenon_Vyd != zenon_Vwd) % 2.43/2.76 (zenon_Vhd != zenon_Vfd) % 2.43/2.76 (zenon_Vbe != zenon_Vga) % 2.43/2.76 (zenon_Vsc != zenon_Vxa) % 2.43/2.76 (zenon_Vgd != zenon_Vsd) % 2.43/2.76 (zenon_Vob != zenon_Vec) % 2.43/2.76 (zenon_Vce != zenon_Vwa) % 2.43/2.76 (zenon_Vcd != zenon_Vme) % 2.43/2.76 (zenon_Vzb != zenon_Vgd) % 2.43/2.76 (zenon_Vob != zenon_Vxa) % 2.43/2.76 (r1 zenon_Vcc zenon_Vdc) % 2.43/2.76 (zenon_Vec != zenon_Vme) % 2.43/2.76 (zenon_Vyc != zenon_Vwa) % 2.43/2.76 (zenon_Vcc != zenon_Vna) % 2.43/2.76 (r1 zenon_X30 zenon_Vqe) % 2.43/2.76 (zenon_Vxa != zenon_Vpe) % 2.43/2.76 (zenon_Ved != zenon_Vec) % 2.43/2.76 (zenon_Vsa != zenon_Vwd) % 2.43/2.76 (zenon_Vae != zenon_Vxa) % 2.43/2.76 (zenon_Vhd != zenon_Vqe) % 2.43/2.76 (zenon_Vbd != zenon_Vgc) % 2.43/2.76 (zenon_Vzb != zenon_Vqe) % 2.43/2.76 (zenon_Ved != zenon_Vde) % 2.43/2.76 (zenon_Vrd != zenon_Vhd) % 2.43/2.76 (-. (p1 zenon_Vfb)) % 2.43/2.76 (-. (p1 zenon_Vwd)) % 2.43/2.76 (zenon_Vyc != zenon_Vdc) % 2.43/2.76 (zenon_Vob != zenon_Vfe) % 2.43/2.76 (p1 zenon_Vab) % 2.43/2.76 (zenon_Vwd != zenon_Vfd) % 2.43/2.76 (zenon_Vhd != zenon_Vsd) % 2.43/2.76 (r1 zenon_Vcd zenon_Vdd) % 2.43/2.76 (zenon_Vhd != zenon_X27) % 2.43/2.76 (zenon_Vua != zenon_Vwd) % 2.43/2.76 (zenon_Vyd != zenon_Vqe) % 2.43/2.76 (zenon_Vwd != zenon_Vce) % 2.43/2.76 (zenon_Vac != zenon_Vwa) % 2.43/2.76 (zenon_Vxa != zenon_Vsd) % 2.43/2.76 (Tau_3 != zenon_Vfd) % 2.43/2.76 (-. (p1 zenon_Vme)) % 2.43/2.76 (zenon_Vzd != zenon_Vue) % 2.43/2.76 (zenon_Vcd != zenon_Vsd) % 2.43/2.76 (zenon_Vec != zenon_X27) % 2.43/2.76 (zenon_Vse != zenon_Vwa) % 2.43/2.76 (zenon_Vbe != zenon_Vdc) % 2.43/2.76 (zenon_Vbe != zenon_Vec) % 2.43/2.76 (zenon_Vdd != zenon_Vkc) % 2.43/2.76 (p1 zenon_Vgd) % 2.43/2.76 (r1 zenon_Vxd zenon_Vyd) % 2.43/2.76 (-. (p1 zenon_Vsd)) % 2.43/2.76 (zenon_Vde != zenon_Vga) % 2.43/2.76 (zenon_Vbe != zenon_Vpe) % 2.43/2.76 (zenon_Vta != zenon_Vec) % 2.43/2.76 (zenon_Vde != zenon_Vkc) % 2.43/2.76 (zenon_Vue != zenon_Vfd) % 2.43/2.76 (zenon_Vbd != zenon_Vtc) % 2.43/2.76 (zenon_Vzb != zenon_Vec) % 2.43/2.76 (zenon_Vwd != zenon_Vkd) % 2.43/2.76 (zenon_Ved != zenon_Vxa) % 2.43/2.76 (zenon_Vse != zenon_Vtc) % 2.43/2.76 (zenon_Vp != zenon_Vdc) % 2.43/2.76 (zenon_Vab != zenon_Vtc) % 2.43/2.76 (zenon_Vua != zenon_Vgd) % 2.43/2.76 (zenon_Vac != zenon_Vve) % 2.43/2.76 (r1 zenon_Vzd zenon_Vae) % 2.43/2.76 (zenon_Vzd != zenon_Vkc) % 2.43/2.76 (zenon_Vse != zenon_Vyc) % 2.43/2.76 (zenon_Vbd != zenon_Vga) % 2.43/2.76 (zenon_Vcc != zenon_Vvb) % 2.43/2.76 (zenon_Vec != zenon_Vwa) % 2.43/2.76 (zenon_Vva != zenon_Vv) % 2.43/2.76 (-. (r1 Tau_0 zenon_Vqe)) % 2.43/2.76 (zenon_Vde != zenon_Vpe) % 2.43/2.76 (zenon_Vbe != zenon_Vwa) % 2.43/2.76 (zenon_Vcc != zenon_Vxa) % 2.43/2.76 (zenon_Vde != zenon_Vv) % 2.43/2.76 (zenon_X26 != zenon_Vv) % 2.43/2.76 (zenon_Vua != zenon_Vp) % 2.43/2.76 (zenon_Vbc != zenon_Vec) % 2.43/2.76 (zenon_Vzb != zenon_Vkc) % 2.43/2.76 (zenon_Vdd != zenon_Vsd) % 2.43/2.76 (zenon_Vua != zenon_Vve) % 2.43/2.76 (zenon_Vae != zenon_Vfb) % 2.43/2.76 (zenon_Vyd != zenon_Vce) % 2.43/2.76 (zenon_Vrd != zenon_Vpe) % 2.43/2.76 (zenon_Vre != zenon_Vvb) % 2.43/2.76 (-. (r1 Tau_0 zenon_Vve)) % 2.43/2.76 (zenon_Vgc != zenon_Vpb) % 2.43/2.76 (zenon_Vac != zenon_Vxa) % 2.43/2.76 (zenon_Vta != zenon_Vtc) % 2.43/2.76 (zenon_Vfa != zenon_Vle) % 2.43/2.76 (zenon_Vva != zenon_Vxa) % 2.43/2.76 (zenon_Vae != zenon_Vpe) % 2.43/2.76 (zenon_Vte != zenon_Vwd) % 2.43/2.76 (zenon_Ved != zenon_Vna) % 2.43/2.76 (zenon_Vfa != zenon_Vkd) % 2.43/2.76 (zenon_Vsa != zenon_Vwa) % 2.43/2.76 (zenon_Vve != zenon_Vle) % 2.43/2.76 (zenon_Vhd != zenon_Vkd) % 2.43/2.76 (zenon_Vva != zenon_Vkd) % 2.43/2.76 (zenon_Vsa != zenon_Vyd) % 2.43/2.76 (zenon_Vdd != zenon_Vyc) % 2.43/2.76 (-. (p1 zenon_Vv)) % 2.43/2.76 (zenon_Vrd != zenon_Vqe) % 2.43/2.76 (zenon_Vfa != zenon_Vga) % 2.43/2.76 (zenon_Vhd != zenon_Vle) % 2.43/2.76 (zenon_Vwd != zenon_Vfb) % 2.43/2.76 (zenon_Vwd != zenon_Vpb) % 2.43/2.76 (zenon_Vac != zenon_Vab) % 2.43/2.76 (p1 zenon_X26) % 2.43/2.76 (zenon_Vcd != zenon_Vwa) % 2.43/2.76 (zenon_Vyd != zenon_Vve) % 2.43/2.76 (zenon_Vp != zenon_X27) % 2.43/2.76 (zenon_Vfa != zenon_Vfb) % 2.43/2.76 (zenon_Vsc != zenon_Vbd) % 2.43/2.76 (zenon_Vrd != zenon_Vxa) % 2.43/2.76 (zenon_Vzb != zenon_Vyd) % 2.43/2.76 (zenon_Vsa != zenon_Vce) % 2.43/2.76 (zenon_Vob != zenon_Vue) % 2.43/2.76 (zenon_Vua != zenon_Vkc) % 2.43/2.76 (zenon_Vsc != zenon_Vv) % 2.43/2.76 (zenon_Vbd != zenon_Vvb) % 2.43/2.76 (zenon_Vsc != zenon_Vwd) % 2.43/2.76 (zenon_Vgd != zenon_Vga) % 2.43/2.76 (zenon_Vse != zenon_Vvb) % 2.43/2.76 (zenon_Vbd != zenon_Vp) % 2.43/2.76 (zenon_Vsa != zenon_Vqe) % 2.43/2.76 (zenon_Vce != zenon_Vfd) % 2.43/2.76 (zenon_Vre != zenon_Vna) % 2.43/2.76 (zenon_Vbc != zenon_Vna) % 2.43/2.76 (zenon_Vhd != zenon_Vkc) % 2.43/2.76 (zenon_X26 != zenon_Vvb) % 2.43/2.76 (zenon_Vfe != zenon_X27) % 2.43/2.76 (zenon_Vsc != zenon_Vtc) % 2.43/2.76 (zenon_Vsc != zenon_Vgc) % 2.43/2.76 (zenon_Vob != zenon_Vvb) % 2.43/2.76 (zenon_Vfa != zenon_Vgc) % 2.43/2.76 (zenon_Vfa != zenon_Vqe) % 2.43/2.76 (zenon_Vfe != zenon_Vkd) % 2.43/2.76 (zenon_Vvb != zenon_Vv) % 2.43/2.76 (-. (p1 zenon_Vue)) % 2.43/2.76 (zenon_Vde != zenon_Vsd) % 2.43/2.76 (Tau_4 != zenon_Vue) % 2.43/2.76 (zenon_Vve != zenon_Vqe) % 2.43/2.76 (zenon_Vsa != zenon_Vp) % 2.43/2.76 (zenon_Vyc != zenon_Vga) % 2.43/2.76 (zenon_Vrd != zenon_Vgd) % 2.43/2.76 (zenon_Vdd != zenon_Vwd) % 2.43/2.76 (zenon_Vec != zenon_Vfb) % 2.43/2.76 (zenon_Vab != zenon_Vv) % 2.43/2.76 (zenon_Vzd != zenon_Vwa) % 2.43/2.76 (zenon_Vob != zenon_Vde) % 2.43/2.76 (-. (p1 zenon_Vtc)) % 2.43/2.76 (zenon_Vva != zenon_Vve) % 2.43/2.76 (zenon_Vdd != zenon_Vp) % 2.43/2.76 (Tau_2 != zenon_Vdc) % 2.43/2.76 (zenon_Vae != zenon_Vfd) % 2.43/2.76 (zenon_Vzb != zenon_X27) % 2.43/2.76 (zenon_Vyd != zenon_Vfd) % 2.43/2.76 (zenon_Vfa != zenon_Vve) % 2.43/2.76 (zenon_X26 != zenon_Vle) % 2.43/2.76 (zenon_Vte != zenon_Vpb) % 2.43/2.76 (zenon_Vzd != zenon_Vgd) % 2.43/2.77 (zenon_Vfa != zenon_Vhd) % 2.43/2.77 (zenon_Vre != zenon_Vfd) % 2.43/2.77 (zenon_Vp != zenon_Vqe) % 2.43/2.77 (zenon_Vp != zenon_Vce) % 2.43/2.77 (zenon_Vua != zenon_Vec) % 2.43/2.77 (zenon_Vcd != zenon_Vfd) % 2.43/2.77 (zenon_Vyd != zenon_Vna) % 2.43/2.77 (zenon_Vbe != zenon_Vkc) % 2.43/2.77 (zenon_Vgd != zenon_X27) % 2.43/2.77 (zenon_Vgd != zenon_Vwd) % 2.43/2.77 (zenon_Vsc != zenon_Vkd) % 2.43/2.77 (zenon_Vyd != zenon_Vhd) % 2.43/2.77 (zenon_Vec != zenon_Vvb) % 2.43/2.77 (zenon_Vta != zenon_Vdc) % 2.43/2.77 (zenon_Ved != zenon_Vkd) % 2.43/2.77 (zenon_Vfe != zenon_Vue) % 2.43/2.77 (zenon_X26 != zenon_X27) % 2.43/2.77 (zenon_Vve != zenon_Vpe) % 2.43/2.77 (zenon_Vsa != zenon_Vhd) % 2.43/2.77 (zenon_Vzd != zenon_Vpb) % 2.43/2.77 (zenon_Vcc != zenon_Vde) % 2.43/2.77 (zenon_Vcc != zenon_Vwd) % 2.43/2.77 (zenon_Vxa != zenon_Vwd) % 2.43/2.77 (zenon_Vse != zenon_Vkc) % 2.43/2.77 (zenon_Vdc != zenon_Vwa) % 2.43/2.77 (zenon_Vcd != zenon_Vhd) % 2.43/2.77 (zenon_Vzb != zenon_Vfe) % 2.43/2.77 (r1 zenon_Vvc zenon_Vyc) % 2.43/2.77 (zenon_Vve != zenon_Vna) % 2.43/2.77 (zenon_Vae != zenon_Vec) % 2.43/2.77 (zenon_Vzd != zenon_Vme) % 2.43/2.77 (zenon_Vse != zenon_Vab) % 2.43/2.77 (zenon_X26 != zenon_Vfe) % 2.43/2.77 (zenon_Vte != zenon_Vtc) % 2.43/2.77 (zenon_Vp != zenon_Vfb) % 2.43/2.77 (zenon_Vsa != zenon_Vkc) % 2.43/2.77 (zenon_Vyd != zenon_Vkd) % 2.43/2.77 (zenon_Vzb != zenon_Vkd) % 2.43/2.77 (zenon_X26 != zenon_Vme) % 2.43/2.77 (zenon_Vrd != zenon_Vvb) % 2.43/2.77 (zenon_Vac != zenon_Vwd) % 2.43/2.77 (zenon_Vue != zenon_Vwa) % 2.43/2.77 (zenon_Vae != zenon_Vgd) % 2.43/2.77 (zenon_Vae != zenon_Vve) % 2.43/2.77 (zenon_Vcc != zenon_Vfd) % 2.43/2.77 (zenon_Vta != zenon_Vfb) % 2.43/2.77 (zenon_Vob != zenon_Vqe) % 2.43/2.77 (zenon_Vgd != zenon_Vvb) % 2.43/2.77 (zenon_Ved != zenon_Vwd) % 2.43/2.77 (zenon_Vua != zenon_Vde) % 2.43/2.77 (zenon_Vte != zenon_Vue) % 2.43/2.77 (Tau_2 != zenon_Vec) % 2.43/2.77 (zenon_Vgd != zenon_Vkd) % 2.43/2.77 (zenon_Vae != zenon_Vme) % 2.43/2.77 (zenon_Vfe != zenon_Vwa) % 2.43/2.77 (zenon_Vbd != zenon_Vpb) % 2.43/2.77 (zenon_Ved != zenon_Vyc) % 2.43/2.77 (zenon_Vae != zenon_Vwd) % 2.43/2.77 (zenon_Vva != zenon_Vfb) % 2.43/2.77 (zenon_Vsa != zenon_Vfb) % 2.43/2.77 (zenon_Vsc != zenon_Vqe) % 2.43/2.77 (zenon_Vac != zenon_Vpb) % 2.43/2.77 (zenon_Vhd != zenon_Vpb) % 2.43/2.77 (zenon_Vbd != zenon_Vce) % 2.43/2.77 (zenon_Vve != zenon_Vkd) % 2.43/2.77 (zenon_Vse != zenon_Vhd) % 2.43/2.77 (zenon_Vsc != zenon_Vyd) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vpe)) % 2.43/2.77 (zenon_X26 != zenon_Vfd) % 2.43/2.77 (zenon_Vcc != zenon_Vve) % 2.43/2.77 (r1 zenon_Vbe zenon_Vce) % 2.43/2.77 (zenon_Vva != zenon_Vpe) % 2.43/2.77 (r1 zenon_Vad zenon_Vbd) % 2.43/2.77 (zenon_Vsa != zenon_Vyc) % 2.43/2.77 (zenon_Vfa != zenon_Vme) % 2.43/2.77 (zenon_Vbd != zenon_Vgd) % 2.43/2.77 (zenon_Vve != zenon_Vv) % 2.43/2.77 (zenon_Vre != zenon_Vga) % 2.43/2.77 (zenon_Vcd != zenon_Vtc) % 2.43/2.77 (zenon_Vua != zenon_Vfb) % 2.43/2.77 (zenon_Vbd != zenon_Vsd) % 2.43/2.77 (zenon_Vte != zenon_Vgc) % 2.43/2.77 (zenon_Vte != zenon_Vxa) % 2.43/2.77 (zenon_Vta != zenon_Vxa) % 2.43/2.77 (zenon_Vde != zenon_Vyc) % 2.43/2.77 (zenon_Vob != zenon_Vwd) % 2.43/2.77 (zenon_Vrd != zenon_Vde) % 2.43/2.77 (zenon_Vbc != zenon_Vtc) % 2.43/2.77 (zenon_X26 != zenon_Vsd) % 2.43/2.77 (zenon_Vsa != zenon_Vfe) % 2.43/2.77 (zenon_X26 != zenon_Vqe) % 2.43/2.77 (zenon_Vab != zenon_X27) % 2.43/2.77 (zenon_Vve != zenon_Vfd) % 2.43/2.77 (zenon_Vre != zenon_Vde) % 2.43/2.77 (zenon_Vua != zenon_Vdc) % 2.43/2.77 (zenon_Vzb != zenon_Vsc) % 2.43/2.77 (zenon_Vre != zenon_Vdc) % 2.43/2.77 (zenon_Vzb != zenon_Vtc) % 2.43/2.77 (zenon_Vre != zenon_Vwa) % 2.43/2.77 (zenon_X26 != zenon_Vtc) % 2.43/2.77 (zenon_Vfa != zenon_Vzb) % 2.43/2.77 (zenon_Vcc != zenon_Vfb) % 2.43/2.77 (zenon_Vse != zenon_Vde) % 2.43/2.77 (zenon_Vdd != zenon_Vhd) % 2.43/2.77 (zenon_Vwd != zenon_Vga) % 2.43/2.77 (zenon_Vec != zenon_Vga) % 2.43/2.77 (zenon_Vhd != zenon_Vtc) % 2.43/2.77 (zenon_Vva != zenon_Vdc) % 2.43/2.77 (zenon_Vec != zenon_Vkd) % 2.43/2.77 (zenon_Vdd != zenon_Vve) % 2.43/2.77 (-. (p1 zenon_Vsa)) % 2.43/2.77 (zenon_Vbc != zenon_Vme) % 2.43/2.77 (zenon_Vcd != zenon_Vwd) % 2.43/2.77 (zenon_Vsc != zenon_Vhd) % 2.43/2.77 (zenon_X26 != zenon_Vsc) % 2.43/2.77 (zenon_Vzb != zenon_Vv) % 2.43/2.77 (-. (p1 Tau_1)) % 2.43/2.77 (-. (p1 Tau_3)) % 2.43/2.77 (-. (p1 Tau_2)) % 2.43/2.77 (-. (p1 Tau_5)) % 2.43/2.77 (-. (p1 Tau_4)) % 2.43/2.77 (zenon_Vfa != zenon_Vdc) % 2.43/2.77 (zenon_Vfa != zenon_Vsa) % 2.43/2.77 (zenon_Vyd != zenon_Vdc) % 2.43/2.77 (Tau_1 != zenon_Vdc) % 2.43/2.77 (Tau_1 != zenon_Vfd) % 2.43/2.77 (Tau_1 != zenon_Vce) % 2.43/2.77 (Tau_1 != zenon_Vga) % 2.43/2.77 (Tau_1 != zenon_Vv) % 2.43/2.77 (Tau_1 != zenon_Vna) % 2.43/2.77 (Tau_1 != zenon_Vkd) % 2.43/2.77 (zenon_Vta != zenon_Vyc) % 2.43/2.77 (Tau_1 != zenon_Vyc) % 2.43/2.77 (Tau_1 != zenon_Vtc) % 2.43/2.77 (Tau_1 != zenon_Vkc) % 2.43/2.77 (Tau_1 != zenon_Vvb) % 2.43/2.77 (zenon_Ved != zenon_Vpb) % 2.43/2.77 (Tau_1 != zenon_Vpb) % 2.43/2.77 (Tau_1 != zenon_Vfb) % 2.43/2.77 (Tau_1 != zenon_Vsd) % 2.43/2.77 (Tau_1 != zenon_Vp) % 2.43/2.77 (Tau_1 != zenon_Vpe) % 2.43/2.77 (Tau_1 != zenon_Vme) % 2.43/2.77 (Tau_1 != zenon_Vgd) % 2.43/2.77 (Tau_1 != zenon_Vde) % 2.43/2.77 (Tau_1 != zenon_Vhd) % 2.43/2.77 (Tau_1 != zenon_Vgc) % 2.43/2.77 (Tau_1 != zenon_Vab) % 2.43/2.77 (Tau_1 != zenon_Vec) % 2.43/2.77 (Tau_1 != zenon_Vwd) % 2.43/2.77 (zenon_Vfe != zenon_Vvb) % 2.43/2.77 (Tau_1 != zenon_Vle) % 2.43/2.77 (Tau_1 != zenon_Vfe) % 2.43/2.77 (Tau_1 != zenon_Vqe) % 2.43/2.77 (Tau_1 != zenon_Vyd) % 2.43/2.77 (Tau_1 != zenon_Vrd) % 2.43/2.77 (Tau_1 != zenon_Vbd) % 2.43/2.77 (Tau_1 != zenon_Vsc) % 2.43/2.77 (Tau_1 != zenon_Vzb) % 2.43/2.77 (Tau_1 != zenon_Vob) % 2.43/2.77 (Tau_1 != zenon_Vsa) % 2.43/2.77 (Tau_1 != zenon_Vfa) % 2.43/2.77 (zenon_X26 != zenon_Vce) % 2.43/2.77 (zenon_Vva != zenon_Vue) % 2.43/2.77 (zenon_Vae != zenon_Vpb) % 2.43/2.77 (zenon_Vhd != zenon_Vdc) % 2.43/2.77 (zenon_Vcd != zenon_Vgc) % 2.43/2.77 (zenon_Vwd != zenon_Vpe) % 2.43/2.77 (zenon_Vgc != zenon_Vkd) % 2.43/2.77 (zenon_Vwd != zenon_Vkc) % 2.43/2.77 (zenon_Vta != zenon_Vab) % 2.43/2.77 (zenon_X26 != zenon_Vob) % 2.43/2.77 (zenon_Vhd != zenon_Vv) % 2.43/2.77 (r1 zenon_Vae zenon_Vbe) % 2.43/2.77 (zenon_Vgc != zenon_Vtc) % 2.43/2.77 (zenon_Vta != zenon_Vgc) % 2.43/2.77 (zenon_Vzd != zenon_Vga) % 2.43/2.77 (zenon_Vbd != zenon_X27) % 2.43/2.77 (zenon_Vsa != zenon_Vvb) % 2.43/2.77 (zenon_Vta != zenon_Vvb) % 2.43/2.77 (zenon_Vbe != zenon_Vyc) % 2.43/2.77 (zenon_Vzb != zenon_Vfb) % 2.43/2.77 (zenon_Vfa != zenon_Vwa) % 2.43/2.77 (zenon_Vde != zenon_Vwd) % 2.43/2.77 (zenon_Vcd != zenon_Vna) % 2.43/2.77 (zenon_Vp != zenon_Vsd) % 2.43/2.77 (zenon_X26 != zenon_Vfb) % 2.43/2.77 (zenon_Vsa != zenon_Vna) % 2.43/2.77 (zenon_Vec != zenon_Vqe) % 2.43/2.77 (zenon_Vfa != zenon_Vce) % 2.43/2.77 (p1 zenon_Vve) % 2.43/2.77 (zenon_Vcc != zenon_Vga) % 2.43/2.77 (zenon_Vae != zenon_Vwa) % 2.43/2.77 (Tau_1 != zenon_Vue) % 2.43/2.77 (zenon_X26 != zenon_Vga) % 2.43/2.77 (zenon_Vde != zenon_Vqe) % 2.43/2.77 (zenon_Vgc != zenon_Vfe) % 2.43/2.77 (zenon_Vhd != zenon_Vce) % 2.43/2.77 (zenon_X26 != zenon_Vkc) % 2.43/2.77 (zenon_Vbc != zenon_Vv) % 2.43/2.77 (zenon_Vbe != zenon_Vtc) % 2.43/2.77 (zenon_X26 != zenon_Vzb) % 2.43/2.77 (zenon_Vxa != zenon_Vfe) % 2.43/2.77 (zenon_Vfa != zenon_Vob) % 2.43/2.77 (zenon_Vse != zenon_Vce) % 2.43/2.77 (zenon_Vte != zenon_Vvb) % 2.43/2.77 (zenon_Vre != zenon_Vgc) % 2.43/2.77 (zenon_Vle != zenon_X27) % 2.43/2.77 (zenon_Vbd != zenon_Vfd) % 2.43/2.77 (zenon_Vob != zenon_Vna) % 2.43/2.77 (-. (r1 Tau_0 zenon_X26)) % 2.43/2.77 (zenon_Vsa != zenon_Vpe) % 2.43/2.77 (Tau_4 != zenon_Vce) % 2.43/2.77 (zenon_Vse != zenon_Vxa) % 2.43/2.77 (-. (p1 zenon_Vkd)) % 2.43/2.77 (r1 zenon_Vnd zenon_Vrd) % 2.43/2.77 (zenon_Vab != zenon_Vwa) % 2.43/2.77 (zenon_Vte != zenon_Vgd) % 2.43/2.77 (zenon_X28 != Tau_0) % 2.43/2.77 (zenon_Vfe != zenon_Vpe) % 2.43/2.77 (zenon_Vp != zenon_Vna) % 2.43/2.77 (zenon_Vbd != zenon_Vec) % 2.43/2.77 (zenon_Ved != zenon_Vfd) % 2.43/2.77 (zenon_Vse != zenon_Vgd) % 2.43/2.77 (p1 zenon_Vec) % 2.43/2.77 (zenon_Vzd != zenon_Vyc) % 2.43/2.77 (zenon_Vsa != zenon_Vbd) % 2.43/2.77 (zenon_Vre != zenon_Vab) % 2.43/2.77 (zenon_Vsa != zenon_Vve) % 2.43/2.77 (-. (r1 Tau_0 zenon_X27)) % 2.43/2.77 (zenon_Vbc != zenon_Vyc) % 2.43/2.77 (zenon_Vva != zenon_Vgd) % 2.43/2.77 (zenon_Vzb != zenon_Vde) % 2.43/2.77 (zenon_Vxa != zenon_X27) % 2.43/2.77 (zenon_Vte != zenon_Vsd) % 2.43/2.77 (zenon_Vac != zenon_Vsd) % 2.43/2.77 (zenon_Vsa != zenon_Vgd) % 2.43/2.77 (zenon_Vfa != zenon_Vfe) % 2.43/2.77 (zenon_Vbc != zenon_Vga) % 2.43/2.77 (zenon_Vfd != zenon_Vwa) % 2.43/2.77 (zenon_Vve != zenon_X27) % 2.43/2.77 (zenon_Vp != zenon_Vkc) % 2.43/2.77 (zenon_Vob != zenon_Vdc) % 2.43/2.77 (zenon_Vua != zenon_Vv) % 2.43/2.77 (zenon_Vta != zenon_Vue) % 2.43/2.77 (zenon_Vxa != zenon_Vkc) % 2.43/2.77 (zenon_Vgc != zenon_Vpe) % 2.43/2.77 (zenon_Vrd != zenon_Vkc) % 2.43/2.77 (zenon_Vzb != zenon_Vce) % 2.43/2.77 (zenon_Vva != zenon_Vme) % 2.43/2.77 (zenon_Vob != zenon_Vve) % 2.43/2.77 (zenon_Vgd != zenon_Vle) % 2.43/2.77 (zenon_Vyd != zenon_Vpb) % 2.43/2.77 (zenon_Vbc != zenon_Vpb) % 2.43/2.77 (zenon_Vbc != zenon_Vab) % 2.43/2.77 (zenon_Vbc != zenon_Vgd) % 2.43/2.77 (zenon_Vzb != zenon_Vrd) % 2.43/2.77 (zenon_Vbc != zenon_Vve) % 2.43/2.77 (zenon_Vre != zenon_Vfb) % 2.43/2.77 (zenon_Vva != zenon_Vhd) % 2.43/2.77 (zenon_Vrd != zenon_Vle) % 2.43/2.77 (Tau_2 != zenon_Vwa) % 2.43/2.77 (Tau_2 != zenon_Vfd) % 2.43/2.77 (Tau_2 != zenon_Vce) % 2.43/2.77 (Tau_2 != zenon_Vga) % 2.43/2.77 (Tau_2 != zenon_Vv) % 2.43/2.77 (zenon_Vfa != zenon_Vna) % 2.43/2.77 (Tau_2 != zenon_Vna) % 2.43/2.77 (Tau_2 != zenon_Vkd) % 2.43/2.77 (Tau_2 != zenon_Vyc) % 2.43/2.77 (Tau_2 != zenon_Vtc) % 2.43/2.77 (Tau_2 != zenon_Vkc) % 2.43/2.77 (Tau_2 != zenon_Vvb) % 2.43/2.77 (Tau_2 != zenon_Vpb) % 2.43/2.77 (Tau_2 != zenon_Vfb) % 2.43/2.77 (zenon_Vae != zenon_Vsd) % 2.43/2.77 (Tau_2 != zenon_Vsd) % 2.43/2.77 (Tau_2 != zenon_Vp) % 2.43/2.77 (Tau_2 != zenon_Vpe) % 2.43/2.77 (Tau_2 != zenon_Vme) % 2.43/2.77 (Tau_2 != zenon_Vgd) % 2.43/2.77 (Tau_2 != zenon_Vde) % 2.43/2.77 (Tau_2 != zenon_Vhd) % 2.43/2.77 (Tau_2 != zenon_Vgc) % 2.43/2.77 (Tau_2 != zenon_Vab) % 2.43/2.77 (Tau_2 != zenon_Vxa) % 2.43/2.77 (Tau_2 != zenon_Vwd) % 2.43/2.77 (zenon_Vfe != zenon_Vfd) % 2.43/2.77 (Tau_2 != zenon_Vle) % 2.43/2.77 (Tau_2 != zenon_Vfe) % 2.43/2.77 (Tau_2 != zenon_Vqe) % 2.43/2.77 (Tau_2 != zenon_Vyd) % 2.43/2.77 (Tau_2 != zenon_Vrd) % 2.43/2.77 (Tau_2 != zenon_Vbd) % 2.43/2.77 (Tau_2 != zenon_Vsc) % 2.43/2.77 (Tau_2 != zenon_Vzb) % 2.43/2.77 (Tau_2 != zenon_Vob) % 2.43/2.77 (Tau_2 != zenon_Vsa) % 2.43/2.77 (Tau_2 != zenon_Vfa) % 2.43/2.77 (p1 zenon_Vxa) % 2.43/2.77 (zenon_Vsa != zenon_Vdc) % 2.43/2.77 (zenon_Vob != zenon_Vkd) % 2.43/2.77 (zenon_Vre != zenon_Vkd) % 2.43/2.77 (zenon_Vsa != zenon_Vxa) % 2.43/2.77 (zenon_Vvb != zenon_Vtc) % 2.43/2.77 (zenon_Vob != zenon_Vle) % 2.43/2.77 (zenon_Vta != zenon_Vga) % 2.43/2.77 (zenon_Vse != zenon_Vna) % 2.43/2.77 (zenon_Vrd != zenon_Vfb) % 2.43/2.77 (zenon_Vgd != zenon_Vv) % 2.43/2.77 (zenon_Vbc != zenon_Vgc) % 2.43/2.77 (zenon_Vde != zenon_Vue) % 2.43/2.77 (zenon_Vgd != zenon_Vfb) % 2.43/2.77 (zenon_Vab != zenon_Vce) % 2.43/2.77 (-. (p1 zenon_Vfe)) % 2.43/2.77 (zenon_Vsa != zenon_Vv) % 2.43/2.77 (zenon_Vva != zenon_Vgc) % 2.43/2.77 (zenon_Vyd != zenon_Vec) % 2.43/2.77 (p1 zenon_Vde) % 2.43/2.77 (zenon_Vcd != zenon_Vve) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vwa)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vdc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vfd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vce)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vga)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vv)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vna)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vkd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vyc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vtc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vkc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vvb)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vpb)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vfb)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vsd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vp)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vme)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vgd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vde)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vhd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vgc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vab)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vec)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vxa)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vwd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vle)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vfe)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vyd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vrd)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vbd)) % 2.43/2.77 (zenon_Vsc != zenon_X27) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vsc)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vzb)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vob)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vsa)) % 2.43/2.77 (-. (r1 Tau_0 zenon_Vfa)) % 2.43/2.77 (zenon_Vsc != zenon_Vle) % 2.43/2.77 (zenon_Vbe != zenon_Vsd) % 2.43/2.77 (zenon_Vzb != zenon_Vp) % 2.43/2.77 (zenon_Vcd != zenon_Vga) % 2.43/2.77 (zenon_Vab != zenon_Vvb) % 2.43/2.77 (zenon_Vfe != zenon_Vv) % 2.43/2.77 (zenon_Vfa != zenon_Vyc) % 2.43/2.77 (zenon_Vua != zenon_Vpe) % 2.43/2.77 (zenon_Vec != zenon_Vkc) % 2.43/2.77 (zenon_Vxa != zenon_Vme) % 2.43/2.77 (zenon_Vna != zenon_Vdc) % 2.43/2.77 (zenon_Vua != zenon_Vpb) % 2.43/2.77 (zenon_Vhd != zenon_Vue) % 2.43/2.77 (zenon_Vzb != zenon_Vwa) % 2.43/2.77 (zenon_Vva != zenon_Vtc) % 2.43/2.77 (zenon_Vse != zenon_Vpe) % 2.43/2.77 (zenon_Vbd != zenon_Vpe) % 2.43/2.77 (zenon_Vob != zenon_Vbd) % 2.43/2.77 (zenon_Vp != zenon_Vyc) % 2.43/2.77 (zenon_Vdd != zenon_Vue) % 2.43/2.77 (zenon_Vgd != zenon_Vue) % 2.43/2.77 (zenon_Vec != zenon_Vue) % 2.43/2.77 (zenon_Vue != zenon_Vdc) % 2.43/2.77 (zenon_Vsa != zenon_Vob) % 2.43/2.77 (zenon_Vfa != zenon_Vvb) % 2.43/2.77 (zenon_Vob != zenon_Vfd) % 2.43/2.77 (zenon_Vva != zenon_Vab) % 2.43/2.77 (r1 Tau_3 zenon_Vcd) % 2.43/2.77 (zenon_Vva != zenon_Vvb) % 2.43/2.77 (zenon_Vgc != zenon_X27) % 2.43/2.77 (zenon_Vsc != zenon_Vga) % 2.43/2.77 (zenon_X26 != zenon_Vyd) % 2.43/2.77 (zenon_Vxa != zenon_Vkd) % 2.43/2.77 (zenon_Vbc != zenon_Vhd) % 2.43/2.77 (zenon_Vfe != zenon_Vkc) % 2.43/2.77 (zenon_Vae != zenon_Vna) % 2.43/2.77 (zenon_Vzb != zenon_Vle) % 2.43/2.77 (zenon_Vcd != zenon_Vkd) % 2.43/2.77 (zenon_Vve != zenon_Vue) % 2.43/2.77 (zenon_Vae != zenon_Vvb) % 2.43/2.77 (zenon_Vsc != zenon_Vpb) % 2.43/2.77 (zenon_Vte != zenon_Vme) % 2.43/2.77 (zenon_Vgd != zenon_Vpb) % 2.43/2.77 (zenon_Vsc != zenon_Vue) % 2.43/2.77 (zenon_Vfa != zenon_Vfd) % 2.43/2.77 (zenon_Vzd != zenon_Vwd) % 2.43/2.77 (-. (p1 zenon_Vwa)) % 2.43/2.77 (zenon_Vfe != zenon_Vwd) % 2.43/2.77 (zenon_Vua != zenon_Vna) % 2.43/2.77 (zenon_Vae != zenon_Vga) % 2.43/2.77 (zenon_Vwd != zenon_Vyc) % 2.43/2.77 (zenon_Vzd != zenon_Vvb) % 2.43/2.77 (zenon_Vob != zenon_Vyd) % 2.43/2.77 (-. (p1 zenon_Vbd)) % 2.43/2.77 (zenon_Vta != zenon_Vv) % 2.43/2.77 (zenon_Vde != zenon_Vle) % 2.43/2.77 (zenon_Vhd != zenon_Vfe) % 2.43/2.77 (zenon_Vac != zenon_Vfd) % 2.43/2.77 (zenon_Vsc != zenon_Vfe) % 2.43/2.77 (zenon_Ved != zenon_Vwa) % 2.43/2.77 (zenon_Vve != zenon_Vsd) % 2.43/2.77 (zenon_Vse != zenon_Vkd) % 2.43/2.77 (zenon_Vua != zenon_Vwa) % 2.43/2.77 (zenon_Vcd != zenon_Vkc) % 2.43/2.77 (zenon_Vue != zenon_Vv) % 2.43/2.77 *) % 2.43/2.77 (* NO-PROOF *) % 2.43/2.77 % SZS status GaveUp % 2.43/2.77 Number of rewrites on terms: 0 % 2.43/2.77 Number of rewrites on props: 0 % 2.43/2.77 nodes searched: 2659 % 2.43/2.77 max branch formulas: 1773 % 2.43/2.77 proof nodes created: 75 % 2.43/2.77 formulas created: 12032 % 2.43/2.77 %------------------------------------------------------------------------------