2 for (int c0
= 0; c0
<= min(min(T_2
- 1, T_67
- 1), T_66
); c0
+= 1) {
6 for (int c0
= T_2
; c0
<= min(T_67
- 1, T_66
); c0
+= 1)
8 for (int c0
= max(0, T_66
+ 1); c0
< min(T_2
, T_67
); c0
+= 1)
10 for (int c0
= T_67
; c0
<= min(T_2
- 1, T_66
); c0
+= 1) {
14 for (int c0
= max(T_67
, T_66
+ 1); c0
< T_2
; c0
+= 1)
16 if (T_2
== 0 && T_67
== 0)