2 for (int c0
= a2
; c0
<= min(min(a1
- 1, a3
- 1), b2
); c0
+= 1)
4 for (int c0
= a3
; c0
<= min(min(a1
- 1, b3
), a2
- 1); c0
+= 1)
6 for (int c0
= max(a3
, a2
); c0
<= min(min(a1
- 1, b3
), b2
); c0
+= 1) {
10 for (int c0
= max(max(a3
, b3
+ 1), a2
); c0
<= min(a1
- 1, b2
); c0
+= 1)
12 for (int c0
= a1
; c0
<= min(min(b1
, a3
- 1), a2
- 1); c0
+= 1)
14 for (int c0
= max(a1
, a2
); c0
<= min(min(b1
, a3
- 1), b2
); c0
+= 1) {
18 for (int c0
= max(a1
, a3
); c0
<= min(min(b1
, b3
), a2
- 1); c0
+= 1) {
22 for (int c0
= max(max(a1
, a3
), b3
+ 1); c0
<= min(b1
, a2
- 1); c0
+= 1)
24 for (int c0
= max(max(a1
, a3
), a2
); c0
<= min(min(b1
, b3
), b2
); c0
+= 1) {
29 for (int c0
= max(max(max(a1
, a3
), b3
+ 1), a2
); c0
<= min(b1
, b2
); c0
+= 1) {
33 for (int c0
= max(max(a1
, a2
), b2
+ 1); c0
<= min(b1
, a3
- 1); c0
+= 1)
35 for (int c0
= max(max(a3
, a2
), b2
+ 1); c0
<= min(a1
- 1, b3
); c0
+= 1)
37 for (int c0
= max(max(max(a1
, a3
), a2
), b2
+ 1); c0
<= min(b1
, b3
); c0
+= 1) {
41 for (int c0
= max(max(max(max(a1
, a3
), b3
+ 1), a2
), b2
+ 1); c0
<= b1
; c0
+= 1)
43 for (int c0
= max(max(a1
, b1
+ 1), a2
); c0
<= min(a3
- 1, b2
); c0
+= 1)
45 for (int c0
= max(max(a1
, b1
+ 1), a3
); c0
<= min(b3
, a2
- 1); c0
+= 1)
47 for (int c0
= max(max(max(a1
, b1
+ 1), a3
), a2
); c0
<= min(b3
, b2
); c0
+= 1) {
51 for (int c0
= max(max(max(max(a1
, b1
+ 1), a3
), b3
+ 1), a2
); c0
<= b2
; c0
+= 1)
53 for (int c0
= max(max(max(max(a1
, b1
+ 1), a3
), a2
), b2
+ 1); c0
<= b3
; c0
+= 1)