1 for (int c0
= 1; c0
<= 15; c0
+= 1) {
2 if (8 * floord(7 * exprVar1
+ 7, 8) + 8 >= 7 * exprVar1
+ c0
) {
9 if (8 * floord(7 * exprVar1
+ 7, 8) + 8 >= 7 * exprVar1
+ c0
|| (exprVar1
+ 8 * floord(-exprVar1
+ c0
- 1, 8) + 1 == c0
&& c0
>= exprVar1
+ 1))