1 for (int c0
= a2
; c0
<= min(min(a1
- 1, a3
- 1), b2
); c0
+= 1)
3 for (int c0
= a3
; c0
<= min(min(a1
- 1, b3
), a2
- 1); c0
+= 1)
5 for (int c0
= max(a3
, a2
); c0
<= min(min(a1
- 1, b3
), b2
); c0
+= 1) {
9 for (int c0
= max(max(a3
, b3
+ 1), a2
); c0
<= min(a1
- 1, b2
); c0
+= 1)
11 for (int c0
= a1
; c0
<= min(min(b1
, a3
- 1), a2
- 1); c0
+= 1)
13 for (int c0
= max(a1
, a2
); c0
<= min(min(b1
, a3
- 1), b2
); c0
+= 1) {
17 for (int c0
= max(a1
, a3
); c0
<= min(min(b1
, b3
), a2
- 1); c0
+= 1) {
21 for (int c0
= max(max(a1
, a3
), b3
+ 1); c0
<= min(b1
, a2
- 1); c0
+= 1)
23 for (int c0
= max(max(a1
, a3
), a2
); c0
<= min(min(b1
, b3
), b2
); c0
+= 1) {
28 for (int c0
= max(max(max(a1
, a3
), b3
+ 1), a2
); c0
<= min(b1
, b2
); c0
+= 1) {
32 for (int c0
= max(max(a1
, a2
), b2
+ 1); c0
<= min(b1
, a3
- 1); c0
+= 1)
34 for (int c0
= max(max(a3
, a2
), b2
+ 1); c0
<= min(a1
- 1, b3
); c0
+= 1)
36 for (int c0
= max(max(max(a1
, a3
), a2
), b2
+ 1); c0
<= min(b1
, b3
); c0
+= 1) {
40 for (int c0
= max(max(max(max(a1
, a3
), b3
+ 1), a2
), b2
+ 1); c0
<= b1
; c0
+= 1)
42 for (int c0
= max(max(a1
, b1
+ 1), a2
); c0
<= min(a3
- 1, b2
); c0
+= 1)
44 for (int c0
= max(max(a1
, b1
+ 1), a3
); c0
<= min(b3
, a2
- 1); c0
+= 1)
46 for (int c0
= max(max(max(a1
, b1
+ 1), a3
), a2
); c0
<= min(b3
, b2
); c0
+= 1) {
50 for (int c0
= max(max(max(max(a1
, b1
+ 1), a3
), b3
+ 1), a2
); c0
<= b2
; c0
+= 1)
52 for (int c0
= max(max(max(max(a1
, b1
+ 1), a3
), a2
), b2
+ 1); c0
<= b3
; c0
+= 1)