1 for (int c0
= 0; c0
<= min(min(T_2
- 1, T_67
- 1), T_66
); c0
+= 1) {
5 for (int c0
= T_2
; c0
<= min(T_67
- 1, T_66
); c0
+= 1)
7 for (int c0
= max(0, T_66
+ 1); c0
< min(T_2
, T_67
); c0
+= 1)
9 for (int c0
= T_67
; c0
<= min(T_2
- 1, T_66
); c0
+= 1) {
13 for (int c0
= max(T_67
, T_66
+ 1); c0
< T_2
; c0
+= 1)
15 if (T_2
== 0 && T_67
== 0)