le0ytruelesx0falselesxsylexyminusxx0minusx0xminus0x0minussxsyminusxyisZero0trueisZerosxfalsemodxyif_modisZeroyleyxxyminusxyif_modtruebxyzdivByZeroErrorif_modfalsefalsexyzxif_modfalsetruexyzmodzy2.0ledivByZeroError0divByZeroError0if_mod5if_mod0mod2mod0isZero1isZero0minus2minus0false0false0s1s0s1true0true0000001le00x401x4les0x7x8s1x7x801ytrue0s1x00false0s1xs0ylexyminus0xx00minus0x00xminus000x00minus0s0xs0yminus0xyisZero000true0isZero0s0xfalse0mod0xyif_mod0isZero0yleyxxyminus0xyif_mod0true0bxyzdivByZeroError0if_mod0false0false0xyzxif_mod0false0true0xyzmod0zyle00x401x4les0x7x8s1x7x8s1xs0ylexyminus0s0xs0yminus0xymod0xyminus0xymod0xyleyxmod0xyisZero0ymod0xyif_mod0isZero0yleyxxyminus0xyif_mod0false0true0xyzmod0zyle00x401x4les0x7x8s1x7x8trueif_mod0false0true0xyzmod0zymod0xyif_mod0isZero0yleyxxyminus0xytruemod0xyisZero0yfalsemod0xyleyxfalseles0x7x8s1x7x8s1xs0ylexytrues122le22les0x7x8s1x7x8les0x7x8s1x7x8falsele00x401x4falsemod0xyminus0xyfalseminus0s0xs0yminus0xytrueminus022