A bunch more thesis stuff.

1 files changed, 387 insertions, 0 deletions

diff --git a/tex/thesis/implementation/experiments/nested-output b/tex/thesis/implementation/experiments/nested-output
new file mode 100644
index 0000000..d6b55be
--- /dev/null
+++ b/tex/thesis/implementation/experiments/nested-output
@@ -0,0 +1,387 @@
+
+ [B9 (ENTRY)]
+   Succs (1): B8
+
+ [B1]
+   1: result
+   2: [B1.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: return [B1.2];
+   Preds (1): B2
+   Succs (1): B0
+
+ [B2]
+   1: i
+   2: [B2.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: 10
+   4: [B2.2] < [B2.3]
+   T: for (...; [B2.4]; ...)
+   Preds (2): B3 B8
+   Succs (2): B7 B1
+
+ [B3]
+   1: i
+   2: [B3.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: 1
+   4: [B3.2] + [B3.3]
+   5: i
+   6: [B3.5] = [B3.4]
+   Preds (1): B4
+   Succs (1): B2
+
+ [B4]
+   1: j
+   2: [B4.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: 10
+   4: [B4.2] < [B4.3]
+   T: for (...; [B4.4]; ...)
+   Preds (2): B5 B7
+   Succs (2): B6 B3
+
+ [B5]
+   1: j
+   2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: 1
+   4: [B5.2] + [B5.3]
+   5: j
+   6: [B5.5] = [B5.4]
+   Preds (1): B6
+   Succs (1): B4
+
+ [B6]
+   1: result
+   2: [B6.1] (ImplicitCastExpr, LValueToRValue, int)
+   3: 1
+   4: [B6.2] + [B6.3]
+   5: result
+   6: [B6.5] = [B6.4]
+   Preds (1): B4
+   Succs (1): B5
+
+ [B7]
+   1: 0
+   2: int j = 0;
+   Preds (1): B2
+   Succs (1): B4
+
+ [B8]
+   1: 0
+   2: int result = 0;
+   3: 0
+   4: int i = 0;
+   Preds (1): B9
+   Succs (1): B2
+
+ [B0 (EXIT)]
+   Preds (1): B1
+
+0-9-pre = max(-inf, inf)
+1-9-pre = max(-inf, inf)
+2-9-pre = max(-inf, inf)
+3-9-pre = max(-inf, inf)
+4-9-pre = max(-inf, inf)
+5-9-pre = max(-inf, inf)
+6-9-pre = max(-inf, inf)
+7-9-pre = max(-inf, inf)
+8-9-pre = max(-inf, inf)
+9-9-pre = max(-inf, inf)
+10-9-pre = max(-inf, inf)
+11-9-pre = max(-inf, inf)
+0-8-pre = max(-inf, 0-9-pre)
+1-8-pre = max(-inf, 1-9-pre)
+2-8-pre = max(-inf, 2-9-pre)
+3-8-pre = max(-inf, 3-9-pre)
+4-8-pre = max(-inf, 4-9-pre)
+5-8-pre = max(-inf, 5-9-pre)
+6-8-pre = max(-inf, 6-9-pre)
+7-8-pre = max(-inf, 7-9-pre)
+8-8-pre = max(-inf, 8-9-pre)
+9-8-pre = max(-inf, 9-9-pre)
+10-8-pre = max(-inf, 10-9-pre)
+11-8-pre = max(-inf, 11-9-pre)
+0-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+1-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+2-8-0 = max(-inf, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+3-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+4-8-0 = max(-inf, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+5-8-0 = max(-inf, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+6-8-0 = max(-inf, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+7-8-0 = max(-inf, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+8-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+9-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+10-8-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+11-8-0 = max(-inf, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-8-pre, 1-8-pre, 2-8-pre, 3-8-pre, 4-8-pre, 5-8-pre, 6-8-pre, 7-8-pre, 8-8-pre, 9-8-pre, 10-8-pre, 11-8-pre))
+0-2-pre = max(-inf, 0-8-0, 0-3-0)
+1-2-pre = max(-inf, 1-8-0, 1-3-0)
+2-2-pre = max(-inf, 2-8-0, 2-3-0)
+3-2-pre = max(-inf, 3-8-0, 3-3-0)
+4-2-pre = max(-inf, 4-8-0, 4-3-0)
+5-2-pre = max(-inf, 5-8-0, 5-3-0)
+6-2-pre = max(-inf, 6-8-0, 6-3-0)
+7-2-pre = max(-inf, 7-8-0, 7-3-0)
+8-2-pre = max(-inf, 8-8-0, 8-3-0)
+9-2-pre = max(-inf, 9-8-0, 9-3-0)
+10-2-pre = max(-inf, 10-8-0, 10-3-0)
+11-2-pre = max(-inf, 11-8-0, 11-3-0)
+0-7-pre = max(-inf, min(9, 0-2-pre))
+1-7-pre = max(-inf, 1-2-pre)
+2-7-pre = max(-inf, 2-2-pre)
+3-7-pre = max(-inf, 3-2-pre)
+4-7-pre = max(-inf, 4-2-pre)
+5-7-pre = max(-inf, 5-2-pre)
+6-7-pre = max(-inf, 6-2-pre)
+7-7-pre = max(-inf, 7-2-pre)
+8-7-pre = max(-inf, 8-2-pre)
+9-7-pre = max(-inf, 9-2-pre)
+10-7-pre = max(-inf, 10-2-pre)
+11-7-pre = max(-inf, 11-2-pre)
+0-1-pre = max(-inf, 0-2-pre)
+1-1-pre = max(-inf, min(-10, 1-2-pre))
+2-1-pre = max(-inf, 2-2-pre)
+3-1-pre = max(-inf, 3-2-pre)
+4-1-pre = max(-inf, 4-2-pre)
+5-1-pre = max(-inf, 5-2-pre)
+6-1-pre = max(-inf, 6-2-pre)
+7-1-pre = max(-inf, 7-2-pre)
+8-1-pre = max(-inf, 8-2-pre)
+9-1-pre = max(-inf, 9-2-pre)
+10-1-pre = max(-inf, 10-2-pre)
+11-1-pre = max(-inf, 11-2-pre)
+0-7-0 = max(-inf, MCF<[-1,1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+1-7-0 = max(-inf, MCF<[1,-1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+2-7-0 = max(-inf, MCF<[-1,1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+3-7-0 = max(-inf, MCF<[0,1,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+4-7-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+5-7-0 = max(-inf, MCF<[0,0,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+6-7-0 = max(-inf, MCF<[1,-1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+7-7-0 = max(-inf, MCF<[1,0,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+8-7-0 = max(-inf, MCF<[-1,0,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+9-7-0 = max(-inf, MCF<[1,0,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+10-7-0 = max(-inf, MCF<[0,-1,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+11-7-0 = max(-inf, MCF<[-1,0,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-7-pre, 1-7-pre, 2-7-pre, 3-7-pre, 4-7-pre, 5-7-pre, 6-7-pre, 7-7-pre, 8-7-pre, 9-7-pre, 10-7-pre, 11-7-pre))
+0-4-pre = max(-inf, 0-7-0, 0-5-0)
+1-4-pre = max(-inf, 1-7-0, 1-5-0)
+2-4-pre = max(-inf, 2-7-0, 2-5-0)
+3-4-pre = max(-inf, 3-7-0, 3-5-0)
+4-4-pre = max(-inf, 4-7-0, 4-5-0)
+5-4-pre = max(-inf, 5-7-0, 5-5-0)
+6-4-pre = max(-inf, 6-7-0, 6-5-0)
+7-4-pre = max(-inf, 7-7-0, 7-5-0)
+8-4-pre = max(-inf, 8-7-0, 8-5-0)
+9-4-pre = max(-inf, 9-7-0, 9-5-0)
+10-4-pre = max(-inf, 10-7-0, 10-5-0)
+11-4-pre = max(-inf, 11-7-0, 11-5-0)
+0-0-pre = max(-inf, 0-1-pre)
+1-0-pre = max(-inf, 1-1-pre)
+2-0-pre = max(-inf, 2-1-pre)
+3-0-pre = max(-inf, 3-1-pre)
+4-0-pre = max(-inf, 4-1-pre)
+5-0-pre = max(-inf, 5-1-pre)
+6-0-pre = max(-inf, 6-1-pre)
+7-0-pre = max(-inf, 7-1-pre)
+8-0-pre = max(-inf, 8-1-pre)
+9-0-pre = max(-inf, 9-1-pre)
+10-0-pre = max(-inf, 10-1-pre)
+11-0-pre = max(-inf, 11-1-pre)
+0-6-pre = max(-inf, 0-4-pre)
+1-6-pre = max(-inf, 1-4-pre)
+2-6-pre = max(-inf, 2-4-pre)
+3-6-pre = max(-inf, 3-4-pre)
+4-6-pre = max(-inf, min(9, 4-4-pre))
+5-6-pre = max(-inf, 5-4-pre)
+6-6-pre = max(-inf, 6-4-pre)
+7-6-pre = max(-inf, 7-4-pre)
+8-6-pre = max(-inf, 8-4-pre)
+9-6-pre = max(-inf, 9-4-pre)
+10-6-pre = max(-inf, 10-4-pre)
+11-6-pre = max(-inf, 11-4-pre)
+0-3-pre = max(-inf, 0-4-pre)
+1-3-pre = max(-inf, 1-4-pre)
+2-3-pre = max(-inf, 2-4-pre)
+3-3-pre = max(-inf, 3-4-pre)
+4-3-pre = max(-inf, 4-4-pre)
+5-3-pre = max(-inf, min(-10, 5-4-pre))
+6-3-pre = max(-inf, 6-4-pre)
+7-3-pre = max(-inf, 7-4-pre)
+8-3-pre = max(-inf, 8-4-pre)
+9-3-pre = max(-inf, 9-4-pre)
+10-3-pre = max(-inf, 10-4-pre)
+11-3-pre = max(-inf, 11-4-pre)
+0-6-0 = max(-inf, MCF<[-1,1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+1-6-0 = max(-inf, MCF<[1,-1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+2-6-0 = max(-inf, MCF<[0,1,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+3-6-0 = max(-inf, add(-1, MCF<[0,1,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+4-6-0 = max(-inf, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+5-6-0 = max(-inf, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+6-6-0 = max(-inf, MCF<[0,-1,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre))
+7-6-0 = max(-inf, add(-1, MCF<[0,0,1,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+8-6-0 = max(-inf, add(1, MCF<[-1,0,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+9-6-0 = max(-inf, add(-1, MCF<[1,0,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+10-6-0 = max(-inf, add(1, MCF<[0,-1,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+11-6-0 = max(-inf, add(1, MCF<[0,0,-1,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-6-pre, 1-6-pre, 2-6-pre, 3-6-pre, 4-6-pre, 5-6-pre, 6-6-pre, 7-6-pre, 8-6-pre, 9-6-pre, 10-6-pre, 11-6-pre)))
+0-5-pre = max(-inf, 0-6-0)
+1-5-pre = max(-inf, 1-6-0)
+2-5-pre = max(-inf, 2-6-0)
+3-5-pre = max(-inf, 3-6-0)
+4-5-pre = max(-inf, 4-6-0)
+5-5-pre = max(-inf, 5-6-0)
+6-5-pre = max(-inf, 6-6-0)
+7-5-pre = max(-inf, 7-6-0)
+8-5-pre = max(-inf, 8-6-0)
+9-5-pre = max(-inf, 9-6-0)
+10-5-pre = max(-inf, 10-6-0)
+11-5-pre = max(-inf, 11-6-0)
+0-3-0 = max(-inf, add(1, MCF<[-1,1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+1-3-0 = max(-inf, add(-1, MCF<[1,-1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+2-3-0 = max(-inf, add(1, MCF<[0,1,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+3-3-0 = max(-inf, add(1, MCF<[0,1,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+4-3-0 = max(-inf, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+5-3-0 = max(-inf, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+6-3-0 = max(-inf, add(-1, MCF<[0,-1,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+7-3-0 = max(-inf, MCF<[0,0,1,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+8-3-0 = max(-inf, MCF<[-1,0,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+9-3-0 = max(-inf, MCF<[1,0,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+10-3-0 = max(-inf, add(-1, MCF<[0,-1,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre)))
+11-3-0 = max(-inf, MCF<[0,0,-1,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-3-pre, 1-3-pre, 2-3-pre, 3-3-pre, 4-3-pre, 5-3-pre, 6-3-pre, 7-3-pre, 8-3-pre, 9-3-pre, 10-3-pre, 11-3-pre))
+0-5-0 = max(-inf, MCF<[-1,1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+1-5-0 = max(-inf, MCF<[1,-1,0,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+2-5-0 = max(-inf, add(-1, MCF<[0,1,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+3-5-0 = max(-inf, MCF<[0,1,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+4-5-0 = max(-inf, add(1, MCF<[-1,0,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+5-5-0 = max(-inf, add(-1, MCF<[1,0,-1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+6-5-0 = max(-inf, add(1, MCF<[0,-1,1,0],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+7-5-0 = max(-inf, add(1, MCF<[0,0,1,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+8-5-0 = max(-inf, MCF<[-1,0,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+9-5-0 = max(-inf, MCF<[1,0,0,-1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+10-5-0 = max(-inf, MCF<[0,-1,0,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre))
+11-5-0 = max(-inf, add(-1, MCF<[0,0,-1,1],[2:1,1:2,2:3,2:4,3:1,1:3,3:2,3:4,4:1,1:4,4:2,4:3]>(0-5-pre, 1-5-pre, 2-5-pre, 3-5-pre, 4-5-pre, 5-5-pre, 6-5-pre, 7-5-pre, 8-5-pre, 9-5-pre, 10-5-pre, 11-5-pre)))
+
+Block 0: 
+	i <= 0
+	-i <= -10
+	i - j <= inf
+	i - result <= 0
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= 0
+	-result <= 0
+	result - i <= 0
+	result - j <= inf
+Block 1: 
+	i <= 0
+	-i <= -10
+	i - j <= inf
+	i - result <= 0
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= 0
+	-result <= 0
+	result - i <= 0
+	result - j <= inf
+Block 2: 
+	i <= 0
+	-i <= 0
+	i - j <= inf
+	i - result <= 0
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= 0
+	-result <= 0
+	result - i <= 0
+	result - j <= inf
+Block 3: 
+	i <= 0
+	-i <= 0
+	i - j <= 0
+	i - result <= 0
+	j <= 10
+	-j <= -10
+	j - i <= 10
+	j - result <= 0
+	result <= 10
+	-result <= 0
+	result - i <= 10
+	result - j <= 0
+Block 4: 
+	i <= 0
+	-i <= 0
+	i - j <= 0
+	i - result <= 0
+	j <= 10
+	-j <= 0
+	j - i <= 10
+	j - result <= 0
+	result <= 10
+	-result <= 0
+	result - i <= 10
+	result - j <= 0
+Block 5: 
+	i <= 0
+	-i <= 0
+	i - j <= 0
+	i - result <= -1
+	j <= 9
+	-j <= 0
+	j - i <= 9
+	j - result <= -1
+	result <= 10
+	-result <= -1
+	result - i <= 10
+	result - j <= 1
+Block 6: 
+	i <= 0
+	-i <= 0
+	i - j <= 0
+	i - result <= 0
+	j <= 9
+	-j <= 0
+	j - i <= 10
+	j - result <= 0
+	result <= 10
+	-result <= 0
+	result - i <= 10
+	result - j <= 0
+Block 7: 
+	i <= 0
+	-i <= 0
+	i - j <= inf
+	i - result <= 0
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= 0
+	-result <= 0
+	result - i <= 0
+	result - j <= inf
+Block 8: 
+	i <= inf
+	-i <= inf
+	i - j <= inf
+	i - result <= inf
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= inf
+	-result <= inf
+	result - i <= inf
+	result - j <= inf
+Block 9: 
+	i <= inf
+	-i <= inf
+	i - j <= inf
+	i - result <= inf
+	j <= inf
+	-j <= inf
+	j - i <= inf
+	j - result <= inf
+	result <= inf
+	-result <= inf
+	result - i <= inf
+	result - j <= inf