2 for (int c0
= a3
; c0
<= min(min(a2
- 1, b3
), a1
- 1); c0
+= 1)
4 for (int c0
= a2
; c0
<= min(min(b2
, a3
- 1), a1
- 1); c0
+= 1)
6 for (int c0
= max(a3
, a2
); c0
<= min(min(b2
, b3
), a1
- 1); c0
+= 1) {
10 for (int c0
= max(max(a3
, a2
), b2
+ 1); c0
<= min(b3
, a1
- 1); c0
+= 1)
12 for (int c0
= a1
; c0
<= min(min(a2
- 1, a3
- 1), b1
); c0
+= 1)
14 for (int c0
= max(a1
, a3
); c0
<= min(min(a2
- 1, b3
), b1
); c0
+= 1) {
18 for (int c0
= max(max(a1
, b1
+ 1), a3
); c0
<= min(a2
- 1, b3
); c0
+= 1)
20 for (int c0
= max(a1
, a2
); c0
<= min(min(b2
, a3
- 1), b1
); c0
+= 1) {
24 for (int c0
= max(max(a1
, b1
+ 1), a2
); c0
<= min(b2
, a3
- 1); c0
+= 1)
26 for (int c0
= max(max(a1
, a3
), a2
); c0
<= min(min(b2
, b3
), b1
); c0
+= 1) {
31 for (int c0
= max(max(max(a1
, b1
+ 1), a3
), a2
); c0
<= min(b2
, b3
); c0
+= 1) {
35 for (int c0
= max(max(a1
, a2
), b2
+ 1); c0
<= min(a3
- 1, b1
); c0
+= 1)
37 for (int c0
= max(max(max(a1
, a3
), a2
), b2
+ 1); c0
<= min(b3
, b1
); c0
+= 1) {
41 for (int c0
= max(max(max(max(a1
, b1
+ 1), a3
), a2
), b2
+ 1); c0
<= b3
; c0
+= 1)
43 for (int c0
= max(max(a3
, b3
+ 1), a2
); c0
<= min(b2
, a1
- 1); c0
+= 1)
45 for (int c0
= max(max(a1
, a3
), b3
+ 1); c0
<= min(a2
- 1, b1
); c0
+= 1)
47 for (int c0
= max(max(max(a1
, a3
), b3
+ 1), a2
); c0
<= min(b2
, b1
); 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
, a3
), b3
+ 1), a2
), b2
+ 1); c0
<= b1
; c0
+= 1)