aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorMarvin Borner2023-05-21 18:09:04 +0200
committerMarvin Borner2023-05-21 18:51:58 +0200
commit7ebabbb0022bce1cd6c05db583acb20d8659a356 (patch)
treed95ce3a5f6897ad19bc4ea6ccdfb603035a5908d /test
parent8499010b91a2c7496d6af74cce35a6b4e0378633 (diff)
Added additional optimizer
This will be useful for variadic index lengths
Diffstat (limited to 'test')
-rw-r--r--test/aoc.blc.dump190
-rw-r--r--test/fac.blc.dump70
2 files changed, 130 insertions, 130 deletions
diff --git a/test/aoc.blc.dump b/test/aoc.blc.dump
index 33452fa..0cc6113 100644
--- a/test/aoc.blc.dump
+++ b/test/aoc.blc.dump
@@ -1,100 +1,100 @@
=== START BLOC ===
| entries: 95
-| entry 93: (4 3)
-| entry 92: [(0 [[1]])]
-| entry 91: (0 (1 3))
-| entry 90: (0 [[[2]]])
-| entry 89: [[[[3]]]]
-| entry 88: ([(0 [[0]])] 0)
-| entry 87: (<92> 0)
-| entry 86: ((3 0) [[0]])
-| entry 85: ((3 0) [[1]])
-| entry 84: (0 <89>)
-| entry 83: ((3 0) [[[0]]])
-| entry 82: ((0 [[0]]) [[1]])
-| entry 81: [[[((0 2) 1)]]]
-| entry 80: (((3 2) 1) 0)
-| entry 79: [[[((2 0) 1)]]]
-| entry 78: [[[(2 (1 0))]]]
-| entry 77: [[[[(1 3)]]]]
-| entry 76: ((3 0) [[[1]]])
-| entry 75: [(1 [((1 1) 0)])]
-| entry 74: (1 <87>)
-| entry 73: ((3 0) [[[2]]])
-| entry 72: ([((3 3) 0)] 0)
-| entry 71: [<82>]
-| entry 70: ((0 [[1]]) [[[0]]])
-| entry 69: (<81> 0)
-| entry 68: ((2 1) <88>)
-| entry 67: (((<93> 2) 1) 0)
-| entry 66: [((0 [[[[[0]]]]]) [[1]])]
-| entry 65: [(<70> [0])]
-| entry 64: (<81> [[[2]]])
-| entry 63: [[[[(0 <80>)]]]]
-| entry 62: (<66> 0)
-| entry 61: [[[[(1 <80>)]]]]
-| entry 60: (<81> <89>)
-| entry 59: (<62> 1)
-| entry 58: (<63> 1)
-| entry 57: (<81> <87>)
-| entry 56: (<61> 1)
-| entry 55: [((<70> [[[0]]]) [0])]
-| entry 54: (<62> [[0]])
-| entry 53: [[[[[(0 <67>)]]]]]
-| entry 52: ([[[[[(((<93> 1) 2) 0)]]]]] 0)
-| entry 51: [[[[[(1 <67>)]]]]]
-| entry 50: [[[[[(2 <67>)]]]]]
-| entry 49: [(<75> <75>)]
-| entry 48: (<53> 0)
-| entry 47: ((<78> <71>) 1)
-| entry 46: (<53> 1)
-| entry 45: [[[[[(((4 1) 0) <80>)]]]]]
-| entry 44: (<51> 1)
-| entry 43: (<50> 1)
-| entry 42: (<45> 1)
-| entry 41: ([(<69> [[0]])] <87>)
-| entry 40: (<81> <58>)
-| entry 39: (<81> <56>)
-| entry 38: ([[((([<70>] 1) ([[[(0 2)]]] 0)) 1)]] 0)
-| entry 37: ([((<90> <77>) [[[[(0 3)]]]])] 0)
-| entry 36: (<53> <83>)
-| entry 35: (<51> <83>)
-| entry 34: (<50> <83>)
-| entry 33: (<51> <73>)
-| entry 32: (<50> <76>)
-| entry 31: (<81> <46>)
-| entry 30: (<81> <44>)
-| entry 29: (<81> <43>)
-| entry 28: [(<42> <86>)]
-| entry 27: [(((0 [[0]]) [((<81> [[1]]) 0)]) [((<81> [[0]]) 0)])]
-| entry 26: [(([[[[[[((((5 2) 1) 0) <67>)]]]]]] 1) <83>)]
-| entry 25: [((1 (<63> <85>)) (<61> <86>))]
-| entry 24: ([(0 0)] [[((<90> [(<61> <72>)]) [(<63> <72>)])]])
-| entry 23: (<49> [[[[(<59> (((3 2) ((2 1) <87>)) <88>))]]]])
-| entry 22: (<24> 1)
-| entry 21: (<49> [[[(((<66> 1) 0) ((<81> (<92> 1)) ((2 ([(0 [[0]])] 1)) 0)))]]])
-| entry 20: (<49> [[[(<54> ((<81> <74>) <68>))]]])
-| entry 19: (((<49> [[[(<54> ((<74> <68>) 0))]]]) <47>) 0)
-| entry 18: [(([[((0 1) [0])]] [[[0]]]) ((((0 [[1]]) [(<38> [[[2]]])]) [(<38> [[[1]]])]) [0]))]
-| entry 17: [(((1 <36>) <32>) <35>)]
-| entry 16: [(((1 <33>) <36>) <34>)]
-| entry 15: (([([(1 (0 0))] [(1 (0 0))])] [[(((<84> [(<50> (2 0))]) [(<51> (2 0))]) [(<53> (2 0))])]]) 1)
-| entry 14: ((<79> (<49> [[[(<54> (((<74> <57>) [0]) <68>))]]])) <88>)
-| entry 13: (<81> (((<49> [[[(<54> ((<74> (<57> <68>)) [[0]]))]]]) <47>) 0))
-| entry 12: [([(0 [[0]])] (((0 (<64> [[[(1 2)]]])) [(0 [[(<39> (<63> 0))]])]) [(0 [[(<40> <56>)]])]))]
-| entry 11: ((<78> <12>) [[[[(((3 2) 0) 1)]]]])
-| entry 10: [[(([(((0 [(<65> (<24> 0))]) [[(((0 [[0]]) [(2 0)]) [[[0]]])]]) [[(((0 (1 0)) [[[0]]]) [(2 0)])]])] 1) <37>)]]
-| entry 9: [([(0 [[0]])] ((((0 (<60> <77>)) [(0 [[(<29> <46>)]])]) [(0 [[(<30> (<50> 0))]])]) [(0 [[(<31> <44>)]])]))]
-| entry 8: [([(0 [[0]])] ((((0 (<60> [[[[(2 3)]]]])) [(0 [[(<29> (<51> 0))]])]) [(0 [[(<30> <46>)]])]) [(0 [[(<31> <43>)]])]))]
-| entry 7: (2 (<9> 1))
-| entry 6: ((<49> [[[(<59> (<7> <88>))]]]) <89>)
-| entry 5: (<49> [[[(<54> (((<55> 1) [[0]]) (<57> ((2 (<8> 1)) <88>))))]]])
-| entry 4: [[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 (<8> <15>)) (<9> <15>)) <15>)]]) [[[((((1 (<16> 1)) [(((1 (<53> <73>)) <34>) <33>)]) <26>) <16>)]]]) [[[((((1 (<17> 1)) <26>) [(((1 <35>) (<53> <76>)) <32>)]) <17>)]]]) [[[((((1 (<26> 1)) <16>) <17>) <26>)]]]))] 1) ([(((<84> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0))]]
-| entry 3: [[((<4> 1) <52>)]]
-| entry 2: ((<23> <4>) <89>)
-| entry 1: [[(((<78> [(<82> [[0]])]) <18>) ((<3> 1) 0))]]
-| entry 0: [[((([[[((<49> [[((<62> 3) ((4 <87>) (1 <88>)))]]) 0)]]] <45>) [[[2]]]) ((([[[((<21> 0) (((<79> (([[[[((3 0) (2 1))]]]] <5>) (<49> [[(<69> (1 0))]]))) ([(((((<78> [(((0 [[1]]) [[0]]) [[0]])]) <18>) 0) <52>) 0)] ((<3> 2) (<6> 0)))) 1))]]] (<6> (<27> ([(<92> (((0 (<64> [[1]])) [(0 [[(<39> [[0]])]])]) [(0 [[((<81> (<90> <58>)) 0)]])]))] 1)))) [[0]]) (<27> 0)))]]
-| final: [([(<57> (<2> ((<5> [[[[<91>]]]]) 0)))] ((<49> [[(<54> ((<21> ((<21> (1 (<14> ((<79> (<79> [[(<71> ((<1> 1) 0))]])) <87>)))) <41>)) (1 (<14> ((<79> (<79> <1>)) <87>)))))]]) ((<20> <2>) (((<49> [[[(<54> ([(<57> ((3 2) <88>))] (([[(<13> ([(<54> <88>)] <19>))]] 1) 0)))]]]) <55>) ((<20> ((<78> ((<23> [[((<4> (([[((((1 <89>) [((<3> <48>) 1)]) [((<4> <48>) 1)]) [<48>])]] [[[[(1 <91>)]]]]) 1)) 0)]]) <89>)) (<20> [(((<49> [[[(((<65> 0) 1) (<7> ([([(0 [[0]])] (((0 (<64> [[[2]]])) [(0 [[(<39> <58>)]])]) [(0 [[(<40> (<61> 0))]])]))] 0)))]]]) <89>) (([[((((<10> 0) 1) [[[2]]]) (<11> (([[(([([[((1 0) [[0]])]] (((0 [[((0 (<12> <22>)) <22>)]]) [[[(((1 (<25> 1)) [(<42> <85>)]) <25>)]]]) [[[(((1 (<28> 1)) <25>) <28>)]]]))] 1) <37>)]] ((<0> 1) 0)) (<11> ((<0> 0) 1)))))]] 0) [[[(0 (0 (0 (0 (1 (1 (0 (0 2))))))))]]]))]))) ((<49> [[([(((<66> <88>) <41>) (<57> (2 ([(0 [[0]])] <88>))))] (([[(<13> <19>)]] (<10> [[[(0 (1 (0 (1 (0 (0 (0 (0 2))))))))]]])) 0))]]) 0))))))]
+| entry 93: [[[[(1 3)]]]]
+| entry 92: (<20> 1)
+| entry 91: ((<9> (<2> [[[(<1> (((<18> <8>) [0]) <42>))]]])) <6>)
+| entry 90: ((3 0) [[0]])
+| entry 89: (<0> <92>)
+| entry 88: ([(0 0)] [[((<46> [(<38> <76>)]) [(<22> <76>)])]])
+| entry 87: ((0 [[0]]) [[1]])
+| entry 86: (2 (<39> 1))
+| entry 85: ((3 0) [[[1]]])
+| entry 84: ((3 0) [[1]])
+| entry 83: [[[[[(((4 1) 0) <41>)]]]]]
+| entry 82: ((<19> <49>) [[[[(((3 2) 0) 1)]]]])
+| entry 81: (<10> <85>)
+| entry 80: (<2> [[[[(<25> (((3 2) ((2 1) <14>)) <6>))]]]])
+| entry 79: (<0> <12>)
+| entry 78: [(([[[[[[((((5 2) 1) 0) <5>)]]]]]] 1) <7>)]
+| entry 77: (<83> 1)
+| entry 76: ([((3 3) 0)] 0)
+| entry 75: [[((([[[((<2> [[((<15> 3) ((4 <14>) (1 <6>)))]]) 0)]]] <83>) [[[2]]]) ((([[[((<54> 0) (((<9> (([[[[((3 0) (2 1))]]]] <47>) (<2> [[(<52> (1 0))]]))) ([(((((<19> [(((0 [[1]]) [[0]]) [[0]])]) <44>) 0) <56>) 0)] ((<34> 2) (<61> 0)))) 1))]]] (<61> (<73> ([(<45> (((0 (<21> [[1]])) [(0 [[(<26> [[0]])]])]) [(0 [[((<0> (<46> <12>)) 0)]])]))] 1)))) [[0]]) (<73> 0)))]]
+| entry 74: (<20> <7>)
+| entry 73: [(((0 [[0]]) [((<0> [[1]]) 0)]) [((<0> [[0]]) 0)])]
+| entry 72: ((3 0) [[[2]]])
+| entry 71: (4 3)
+| entry 70: (<0> (((<2> [[[(<1> ((<18> (<8> <42>)) [[0]]))]]]) <27>) 0))
+| entry 69: [(1 [((1 1) 0)])]
+| entry 68: (<0> <3>)
+| entry 67: (<20> <72>)
+| entry 66: [<87>]
+| entry 65: (<0> <40>)
+| entry 64: [[(([(((0 [(<59> (<88> 0))]) [[(((0 [[0]]) [(2 0)]) [[[0]]])]]) [[(((0 (1 0)) [[[0]]]) [(2 0)])]])] 1) <55>)]]
+| entry 63: [([(0 [[0]])] ((((0 (<68> [[[[(2 3)]]]])) [(0 [[(<37> (<20> 0))]])]) [(0 [[(<89> <40>)]])]) [(0 [[(<65> <51>)]])]))]
+| entry 62: [((1 (<22> <84>)) (<38> <90>))]
+| entry 61: ((<2> [[[(<25> (<86> <6>))]]]) <3>)
+| entry 60: (0 <3>)
+| entry 59: [(<33> [0])]
+| entry 58: (0 (1 3))
+| entry 57: (<38> 1)
+| entry 56: ([[[[[(((<71> 1) 2) 0)]]]]] 0)
+| entry 55: ([((<46> <93>) [[[[(0 3)]]]])] 0)
+| entry 54: (<2> [[[(((<31> 1) 0) ((<0> (<45> 1)) ((2 ([(0 [[0]])] 1)) 0)))]]])
+| entry 53: ([[((([<33>] 1) ([[[(0 2)]]] 0)) 1)]] 0)
+| entry 52: (<0> 0)
+| entry 51: (<10> 1)
+| entry 50: [(<77> <90>)]
+| entry 49: [([(0 [[0]])] (((0 (<21> [[[(1 2)]]])) [(0 [[(<26> (<22> 0))]])]) [(0 [[(<79> <57>)]])]))]
+| entry 48: ((<80> <16>) <3>)
+| entry 47: (<2> [[[(<1> (((<32> 1) [[0]]) (<8> ((2 (<63> 1)) <6>))))]]])
+| entry 46: (0 [[[2]]])
+| entry 45: [(0 [[1]])]
+| entry 44: [(([[((0 1) [0])]] [[[0]]]) ((((0 [[1]]) [(<53> [[[2]]])]) [(<53> [[[1]]])]) [0]))]
+| entry 43: (<10> <7>)
+| entry 42: ((2 1) <6>)
+| entry 41: (((3 2) 1) 0)
+| entry 40: (<4> 1)
+| entry 39: [([(0 [[0]])] ((((0 (<68> <93>)) [(0 [[(<37> <40>)]])]) [(0 [[(<89> (<10> 0))]])]) [(0 [[(<65> <92>)]])]))]
+| entry 38: [[[[(1 <41>)]]]]
+| entry 37: (<0> <51>)
+| entry 36: (<4> <7>)
+| entry 35: ([(<52> [[0]])] <14>)
+| entry 34: [[((<16> 1) <56>)]]
+| entry 33: ((0 [[1]]) [[[0]]])
+| entry 32: [((<33> [[[0]]]) [0])]
+| entry 31: [((0 [[[[[0]]]]]) [[1]])]
+| entry 30: (<2> [[[(<1> ((<0> <18>) <42>))]]])
+| entry 29: (((<2> [[[(<1> ((<18> <42>) 0))]]]) <27>) 0)
+| entry 28: [[(((<19> [(<87> [[0]])]) <44>) ((<34> 1) 0))]]
+| entry 27: ((<19> <66>) 1)
+| entry 26: (<0> <57>)
+| entry 25: (<15> 1)
+| entry 24: (<4> 0)
+| entry 23: [(((1 <36>) <81>) <74>)]
+| entry 22: [[[[(0 <41>)]]]]
+| entry 21: (<0> [[[2]]])
+| entry 20: [[[[[(1 <5>)]]]]]
+| entry 19: [[[(2 (1 0))]]]
+| entry 18: (1 <14>)
+| entry 17: (([([(1 (0 0))] [(1 (0 0))])] [[(((<60> [(<10> (2 0))]) [(<20> (2 0))]) [(<4> (2 0))])]]) 1)
+| entry 16: [[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 (<63> <17>)) (<39> <17>)) <17>)]]) [[[((((1 (<11> 1)) [(((1 (<4> <72>)) <43>) <67>)]) <78>) <11>)]]]) [[[((((1 (<23> 1)) <78>) [(((1 <74>) (<4> <85>)) <81>)]) <23>)]]]) [[[((((1 (<78> 1)) <11>) <23>) <78>)]]]))] 1) ([(((<60> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0))]]
+| entry 15: (<31> 0)
+| entry 14: (<45> 0)
+| entry 13: (<88> 1)
+| entry 12: (<22> 1)
+| entry 11: [(((1 <67>) <36>) <43>)]
+| entry 10: [[[[[(2 <5>)]]]]]
+| entry 9: [[[((2 0) 1)]]]
+| entry 8: (<0> <14>)
+| entry 7: ((3 0) [[[0]]])
+| entry 6: ([(0 [[0]])] 0)
+| entry 5: (((<71> 2) 1) 0)
+| entry 4: [[[[[(0 <5>)]]]]]
+| entry 3: [[[[3]]]]
+| entry 2: [(<69> <69>)]
+| entry 1: (<15> [[0]])
+| entry 0: [[[((0 2) 1)]]]
+| final: [([(<8> (<48> ((<47> [[[[<58>]]]]) 0)))] ((<2> [[(<1> ((<54> ((<54> (1 (<91> ((<9> (<9> [[(<66> ((<28> 1) 0))]])) <14>)))) <35>)) (1 (<91> ((<9> (<9> <28>)) <14>)))))]]) ((<30> <48>) (((<2> [[[(<1> ([(<8> ((3 2) <6>))] (([[(<70> ([(<1> <6>)] <29>))]] 1) 0)))]]]) <32>) ((<30> ((<19> ((<80> [[((<16> (([[((((1 <3>) [((<34> <24>) 1)]) [((<16> <24>) 1)]) [<24>])]] [[[[(1 <58>)]]]]) 1)) 0)]]) <3>)) (<30> [(((<2> [[[(((<59> 0) 1) (<86> ([([(0 [[0]])] (((0 (<21> [[[2]]])) [(0 [[(<26> <12>)]])]) [(0 [[(<79> (<38> 0))]])]))] 0)))]]]) <3>) (([[((((<64> 0) 1) [[[2]]]) (<82> (([[(([([[((1 0) [[0]])]] (((0 [[((0 (<49> <13>)) <13>)]]) [[[(((1 (<62> 1)) [(<77> <84>)]) <62>)]]]) [[[(((1 (<50> 1)) <62>) <50>)]]]))] 1) <55>)]] ((<75> 1) 0)) (<82> ((<75> 0) 1)))))]] 0) [[[(0 (0 (0 (0 (1 (1 (0 (0 2))))))))]]]))]))) ((<2> [[([(((<31> <6>) <35>) (<8> (2 ([(0 [[0]])] <6>))))] (([[(<70> <29>)]] (<64> [[[(0 (1 (0 (1 (0 (0 (0 (0 2))))))))]]])) 0))]]) 0))))))]
=== END BLOC ===
diff --git a/test/fac.blc.dump b/test/fac.blc.dump
index 51a658c..db72801 100644
--- a/test/fac.blc.dump
+++ b/test/fac.blc.dump
@@ -1,40 +1,40 @@
=== START BLOC ===
| entries: 35
-| entry 33: (4 3)
-| entry 32: [[[[3]]]]
-| entry 31: (0 <32>)
-| entry 30: ((3 0) [[[0]]])
-| entry 29: [[[((0 2) 1)]]]
-| entry 28: [[[[(1 3)]]]]
-| entry 27: ((3 0) [[[1]]])
-| entry 26: [(1 [((1 1) 0)])]
-| entry 25: ((3 0) [[[2]]])
-| entry 24: (((<33> 2) 1) 0)
-| entry 23: (<29> <32>)
-| entry 22: [[[[[(0 <24>)]]]]]
-| entry 21: [[[[[(1 <24>)]]]]]
-| entry 20: [[[[[(2 <24>)]]]]]
-| entry 19: (<22> 0)
-| entry 18: (<22> 1)
-| entry 17: (<21> 1)
-| entry 16: (<20> 1)
-| entry 15: (<22> <30>)
-| entry 14: (<21> <30>)
-| entry 13: (<20> <30>)
-| entry 12: (<20> <27>)
-| entry 11: (<21> <25>)
-| entry 10: (<29> <18>)
-| entry 9: (<29> <17>)
-| entry 8: (<29> <16>)
-| entry 7: [(([[[[[[((((5 2) 1) 0) <24>)]]]]]] 1) <30>)]
-| entry 6: ([(((<31> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0)
-| entry 5: [(((1 <15>) <12>) <14>)]
-| entry 4: [(((1 <11>) <15>) <13>)]
-| entry 3: ([([(1 (0 0))] [(1 (0 0))])] [[(((<31> [(<20> (2 0))]) [(<21> (2 0))]) [(<22> (2 0))])]])
-| entry 2: (<3> 1)
-| entry 1: [([(0 [[0]])] ((((0 (<23> <28>)) [(0 [[(<8> <18>)]])]) [(0 [[(<9> (<20> 0))]])]) [(0 [[(<10> <17>)]])]))]
-| entry 0: [[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(0 [[0]])] ((((0 (<23> [[[[(2 3)]]]])) [(0 [[(<8> (<21> 0))]])]) [(0 [[(<9> <18>)]])]) [(0 [[(<10> <16>)]])]))] <2>)) (<1> <2>)) <2>)]]) [[[((((1 (<4> 1)) [(((1 (<22> <25>)) <13>) <11>)]) <7>) <4>)]]]) [[[((((1 (<5> 1)) <7>) [(((1 <14>) (<22> <27>)) <12>)]) <5>)]]]) [[[((((1 (<7> 1)) <4>) <5>) <7>)]]]))] 1) <6>)]]
-| final: ([((((([(<26> <26>)] [[[[[(((([[(([((((0 [([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] (<3> 0))]) [[((((0 [[0]]) [(2 0)]) [[[0]]]) [[[0]]])]]) [[((((0 [[0]]) [[[0]]]) [(2 0)]) [[[0]]])]]) [[((((0 (1 0)) [[[0]]]) [[[0]]]) [(2 0)])]])] 1) <6>)]] 2) (<1> 1)) 3) ((((4 (([[((((1 <32>) [(([[((<0> 1) ([[[[[(((<33> 1) 2) 0)]]]]] 0))]] <19>) 1)]) [((<0> <19>) 1)]) [<19>])]] 3) (0 2))) (<1> 2)) 1) 0))]]]]]) <28>) <28>) 0) [0])] [[[[(0 (1 (0 (1 3))))]]]])
+| entry 33: (<2> <26>)
+| entry 32: (<2> 1)
+| entry 31: (<5> <32>)
+| entry 30: [[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(0 [[0]])] ((((0 (<27> [[[[(2 3)]]]])) [(0 [[(<13> (<2> 0))]])]) [(0 [[(<31> <12>)]])]) [(0 [[(<24> <19>)]])]))] <11>)) (<8> <11>)) <11>)]]) [[[((((1 (<10> 1)) [(((1 (<0> <26>)) <18>) <33>)]) <14>) <10>)]]]) [[[((((1 (<9> 1)) <14>) [(((1 <29>) (<0> <25>)) <17>)]) <9>)]]]) [[[((((1 (<14> 1)) <10>) <9>) <14>)]]]))] 1) <20>)]]
+| entry 29: (<2> <1>)
+| entry 28: (4 3)
+| entry 27: (<5> <3>)
+| entry 26: ((3 0) [[[2]]])
+| entry 25: ((3 0) [[[1]]])
+| entry 24: (<5> <12>)
+| entry 23: (<0> <1>)
+| entry 22: (<0> 0)
+| entry 21: ([([(1 (0 0))] [(1 (0 0))])] [[(((<16> [(<6> (2 0))]) [(<2> (2 0))]) [(<0> (2 0))])]])
+| entry 20: ([(((<16> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0)
+| entry 19: (<6> 1)
+| entry 18: (<6> <1>)
+| entry 17: (<6> <25>)
+| entry 16: (0 <3>)
+| entry 15: [(1 [((1 1) 0)])]
+| entry 14: [(([[[[[[((((5 2) 1) 0) <4>)]]]]]] 1) <1>)]
+| entry 13: (<5> <19>)
+| entry 12: (<0> 1)
+| entry 11: (<21> 1)
+| entry 10: [(((1 <33>) <23>) <18>)]
+| entry 9: [(((1 <23>) <17>) <29>)]
+| entry 8: [([(0 [[0]])] ((((0 (<27> <7>)) [(0 [[(<13> <12>)]])]) [(0 [[(<31> (<6> 0))]])]) [(0 [[(<24> <32>)]])]))]
+| entry 7: [[[[(1 3)]]]]
+| entry 6: [[[[[(2 <4>)]]]]]
+| entry 5: [[[((0 2) 1)]]]
+| entry 4: (((<28> 2) 1) 0)
+| entry 3: [[[[3]]]]
+| entry 2: [[[[[(1 <4>)]]]]]
+| entry 1: ((3 0) [[[0]]])
+| entry 0: [[[[[(0 <4>)]]]]]
+| final: ([((((([(<15> <15>)] [[[[[(((([[(([((((0 [([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] (<21> 0))]) [[((((0 [[0]]) [(2 0)]) [[[0]]]) [[[0]]])]]) [[((((0 [[0]]) [[[0]]]) [(2 0)]) [[[0]]])]]) [[((((0 (1 0)) [[[0]]]) [[[0]]]) [(2 0)])]])] 1) <20>)]] 2) (<8> 1)) 3) ((((4 (([[((((1 <3>) [(([[((<30> 1) ([[[[[(((<28> 1) 2) 0)]]]]] 0))]] <22>) 1)]) [((<30> <22>) 1)]) [<22>])]] 3) (0 2))) (<8> 2)) 1) 0))]]]]]) <7>) <7>) 0) [0])] [[[[(0 (1 (0 (1 3))))]]]])
=== END BLOC ===