diff options
Diffstat (limited to 'tex/thesis/implementation/experiments/nested-output')
| -rw-r--r-- | tex/thesis/implementation/experiments/nested-output | 387 |
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 |