lessx0falseless0sxtruelesssxsylessxyminus0sy0minusx0xminussxsyminusxyquotrem0sypair00quotremsxsypair0sxlessxytruequotremsxsypairsqrlessxyfalsequotremminusxysypairqrless200false0s1true0minus2quotrem2pair2ORIENTEDFULL./TRS/Ohl02/quotrem.trs