-x0x-0sy0-sxsy-xydivx00div0y0divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrueltsxsyltxy00false0s1true0-2div2if3lt222.211-201102000div211102false00if30218213lt200102s1111true00-sxsy-xydivx00div0y0-x0x-0sy0-sxsy-xydivx00div0y0divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrueltsxsyltxy11-201102000div208102false00if33118213lt210102s1211true00divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrue-x0x-0sy0-sxsy-xydivx00div0y0divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrueltsxsyltxy11-211102001div224102false00if322112213lt200102s1611true00-x0x-0sy0-x0x-0sy0-sxsy-xydivx00div0y0divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrueltsxsyltxy2-211000div211111false00if3111213lt211s1111true00ltsxsyltxy-x0x-0sy0-sxsy-xydivx00div0y0divsxsyifltxy0sdiv-xysyiffalsexyyiftruexyxltx0falselt0sytrueltsxsyltxyTcT3.0.0