Lines Matching full:floordiv
46 FloorDiv,
233 operator.floordiv,
241 (op != operator.mod or op != operator.floordiv) and args[1][0] != 0
1463 # Note: we fully evaluate here since FloorDiv might not always do
1466 return shape_env.evaluate_expr(FloorDiv(x, y))
1494 # Tests how we simplify or evaluate FloorDiv without free variables
1497 exprs = (7 * FloorDiv(6, 2),)
1516 return FloorDiv(base, divisor)
1534 # In regular Python, x//x == 1.0 if x is a float, but FloorDiv
1705 dim_constraints.add(Ne(FloorDiv(s1, 2), 1))
1706 dim_constraints.add(Ne((FloorDiv(s1, 2)) ** 2, 1))
1707 dim_constraints.add(32 * (FloorDiv(s1, 2)) ** 2 <= 2147483647)
1708 dim_constraints.add((FloorDiv(s1, 2)) ** 2 > 1)
1709 dim_constraints.add(Ne(FloorDiv(s1, 2), 1))
1711 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 2)) ** 2
1712 + 128 * (FloorDiv((FloorDiv(s1, 2) - 1), 2))
1716 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 2) + 1, 1))
1719 (FloorDiv((FloorDiv(s1, 2) - 1), 2)) ** 2
1720 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 2))
1725 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 2) + 1, 1))
1727 (FloorDiv((FloorDiv(s1, 2) - 1), 2)) ** 2
1728 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 2))
1733 128 * (FloorDiv((FloorDiv(s1, 2) - 1), 4)) ** 2
1734 + 256 * (FloorDiv((FloorDiv(s1, 2) - 1), 4))
1738 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 4) + 1, 1))
1741 (FloorDiv((FloorDiv(s1, 2) - 1), 4)) ** 2
1742 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 4))
1747 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 4) + 1, 1))
1749 (FloorDiv((FloorDiv(s1, 2) - 1), 4)) ** 2
1750 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 4))
1755 256 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1756 + 512 * (FloorDiv((FloorDiv(s1, 2) - 1), 8))
1760 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) + 1, 1))
1763 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1764 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 8))
1769 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) + 1, 1))
1771 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1772 + 2 * (FloorDiv((FloorDiv(s1, 2) - 1), 8))
1776 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) + 1 >= 3)
1778 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1779 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1783 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1 >= 0)
1784 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1 >= 1)
1787 60 * s0 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1788 - 120 * s0 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1793 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1, 1))
1796 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1797 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1804 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1805 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1811 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1812 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1816 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1, 0))
1819 < 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1820 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1823 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1, -1))
1826 60 * s0 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1827 - 120 * s0 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1829 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1830 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1835 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1836 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1842 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2 * (Mod(s0, 2))
1843 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8) * Mod(s0, 2)
1850 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1851 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1859 * (FloorDiv(s0, 2))
1860 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1861 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1863 * FloorDiv(s0, 2)
1864 * FloorDiv(s0, (FloorDiv(s0, 2)))
1865 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1866 + 60 * (FloorDiv(s0, 2)) * (FloorDiv(s0, (FloorDiv(s0, 2)))),
1870 dim_constraints.add(Ne(FloorDiv(s0, 2), 1))
1873 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1874 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1880 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1881 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1888 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1889 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1890 - 120 * FloorDiv(s0, (FloorDiv(s0, 2))) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1891 + 60 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1897 dim_constraints.add(FloorDiv(s0, 2) >= 2)
1898 dim_constraints.add(Ne(FloorDiv(s0, 2), 1))
1899 dim_constraints.add(1 < FloorDiv(s0, 2))
1903 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1904 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1905 - 120 * FloorDiv(s0, (FloorDiv(s0, 2))) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1906 + 60 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1907 >= 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1908 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1913 * (FloorDiv(s0, 2))
1914 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1915 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1917 * FloorDiv(s0, 2)
1918 * FloorDiv(s0, (FloorDiv(s0, 2)))
1919 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1920 + 60 * (FloorDiv(s0, 2)) * (FloorDiv(s0, (FloorDiv(s0, 2))))
1926 * (FloorDiv(s0, 2))
1927 * (FloorDiv(s0, (FloorDiv(s0, 2))))
1928 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1930 * FloorDiv(s0, 2)
1931 * FloorDiv(s0, (FloorDiv(s0, 2)))
1932 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1933 + 60 * (FloorDiv(s0, 2)) * (FloorDiv(s0, (FloorDiv(s0, 2)))),
1934 3 * (FloorDiv(s0, 2)) * (FloorDiv(s0, (FloorDiv(s0, 2)))),
1939 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1940 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1946 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1947 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1953 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1954 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1965 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1966 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1976 * (FloorDiv((FloorDiv(s1, 2) - 1), 8))
1980 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1981 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
1983 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1984 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
1985 + 1 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1),
1991 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
1992 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
1994 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
1995 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
1996 + 1 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1),
2001 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1, 1))
2003 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2004 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2009 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2010 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2015 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2016 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2021 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2022 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2027 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2028 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2033 20 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2034 - 40 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2036 < 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2037 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2042 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2043 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2050 FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1,
2051 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2052 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2058 (FloorDiv((FloorDiv(s1, 2) - 1), 8))
2061 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2062 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
2064 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2065 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
2066 + 1 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1),
2071 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2072 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
2074 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2075 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1)
2076 + 1 / (FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1),
2084 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2085 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2087 FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1,
2092 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2093 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2095 >= (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2096 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2101 * (FloorDiv(s0, (FloorDiv(s0, 2))))
2102 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2103 - 120 * FloorDiv(s0, (FloorDiv(s0, 2))) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2104 + 60 * (FloorDiv(s0, (FloorDiv(s0, 2))))
2108 90 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2109 - 180 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2113 dim_constraints.add(FloorDiv(s0, 2) < 16)
2114 dim_constraints.add(FloorDiv(s0, 2) > 1)
2117 90 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2118 - 180 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2119 + 90 * (FloorDiv(s0, 2)),
2125 < 90 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2126 - 180 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2130 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2131 - 2 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2137 * (FloorDiv(s0, (FloorDiv(s0, 2))))
2138 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2139 - 120 * FloorDiv(s0, (FloorDiv(s0, 2))) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2140 + 60 * (FloorDiv(s0, (FloorDiv(s0, 2))))
2145 60 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2146 - 120 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2147 + 60 * (FloorDiv(s0, 2)),
2152 90 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2153 - 180 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2158 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2159 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2165 60 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2166 - 120 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2167 + 60 * (FloorDiv(s0, 2)),
2168 3 * (FloorDiv(s0, 2)),
2172 60 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2173 - 120 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2174 + 60 * (FloorDiv(s0, 2))
2178 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2179 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2185 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2186 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2193 < 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2194 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2199 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2200 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2206 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2207 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2213 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2214 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2220 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2221 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2226 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2227 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2233 90 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2234 - 180 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2240 120 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2241 - 240 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2246 90 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2247 - 180 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2252 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2253 - 120 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2259 240 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2260 - 480 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2266 dim_constraints.add(Eq(4, FloorDiv(s0, 2)))
2267 dim_constraints.add(Eq(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1, 4))
2270 64 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2271 - 128 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2272 + 64 * (FloorDiv(s0, 2)),
2278 < 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2279 - 128 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2283 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2284 - 128 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2289 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2290 - 128 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2295 62 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2296 - 124 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2302 62 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2303 - 124 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2304 + 62 * (FloorDiv(s0, 2)),
2310 < 62 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2311 - 124 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2314 dim_constraints.add(Ne(3 * (FloorDiv(s0, 2)), 3))
2315 dim_constraints.add(Ne(3 * (FloorDiv(s0, 2)), 3))
2316 dim_constraints.add(Eq(FloorDiv(s0, 2), 4))
2317 dim_constraints.add(Eq(4, FloorDiv(s0, 2)))
2318 dim_constraints.add(Eq(FloorDiv(s0, 2), 4))
2319 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 1 >= 3)
2321 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2322 - 384 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2326 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 3 >= 0)
2327 dim_constraints.add(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 3 >= 1)
2330 64 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2331 - 384 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2332 + 576 * (FloorDiv(s0, 2)),
2336 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 3, 1))
2339 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2340 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2347 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2348 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2354 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2355 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2359 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 3, 0))
2362 < 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2363 - 384 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2366 dim_constraints.add(Ne(FloorDiv((FloorDiv(s1, 2) - 1), 8) - 3, 1))
2369 64 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2370 - 384 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2371 + 576 * (FloorDiv(s0, 2)),
2380 (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2381 - 6 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2382 + 9 * (FloorDiv(s0, 2)),
2391 FloorDiv(s0, 2),
2392 FloorDiv(
2394 (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2395 - 6 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2396 + 9 * (FloorDiv(s0, 2))
2404 FloorDiv(
2406 (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2407 - 6 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2408 + 9 * (FloorDiv(s0, 2))
2412 FloorDiv(s0, 2),
2416 Ne(64 * (Mod(FloorDiv((FloorDiv(s1, 2) - 1), 8) + 1, 4)), 0)
2423 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2424 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2433 64 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2434 - 384 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2435 + 576 * (FloorDiv(s0, 2))
2439 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2440 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2446 64 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2447 - 384 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2453 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2454 - 360 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2460 60 * (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2461 - 360 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2462 + 540 * (FloorDiv(s0, 2)),
2468 < 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2469 - 360 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2473 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2474 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2480 (FloorDiv(s0, 2)) * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2481 - 6 * FloorDiv(s0, 2) * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2482 + 9 * (FloorDiv(s0, 2)),
2488 < (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2489 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2493 (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2494 - 6 * FloorDiv((FloorDiv(s1, 2) - 1), 8)
2499 60 * (FloorDiv((FloorDiv(s1, 2) - 1), 8)) ** 2
2500 - 360 * FloorDiv((FloorDiv(s1, 2) - 1), 8)