minusxycondgexsyxycondfalsexy0condtruexysminusxsygeu0truege0svfalsegesusvgeuv2.0minusxygexsyminusxycondgexsyxycondtruexyminusxsygesusvgeuvtruecondtruexyminusxsyminusxycondgexsyxytrue3condminus2minus0true0true0true_cond#_10000false0false0cond3cond0ge2ge0ge_cond#_1s1s0minus2minus0condtruex25x26true_cond#_1x25x26condgex21x22x23x24ge_cond#_1x21x22x23x24condgeu0x27x28condtruex27x28condge0svx29x30condfalsex29x30condgesusvx31x32condgeuvx31x32condtrue0x25x26true_cond#_1x25x26condge0x21x22x23x24ge_cond#_1x21x22x23x24ge_cond#_1u00x27x28true_cond#_1x27x28ge_cond#_100s0vx29x30condfalse0x29x30ge_cond#_1s0us0vx31x32ge_cond#_1uvx31x32true_cond#_1xyminus0xs0yminus0xyge_cond#_1xs0yxyminus0xycond0ge0xs0yxycond0false0xy00cond0true0xys0minus0xs0yge0u00true0ge000s0vfalse0ge0s0us0vge0uvcondge0x21x22x23x24ge_cond#_1x21x22x23x24falsecondtrue0x25x26true_cond#_1x25x26falseminus0xyge_cond#_1xs0yxyge_cond#_1s0us0vx31x32ge_cond#_1uvx31x32ge_cond#_1u00x27x28true_cond#_1x27x28true_cond#_1xyminus0xs0ytruege_cond#_100s0vx29x30condfalse0x29x30falseminusxygexsyfalsegesusvgeuvtruege22