aboutsummaryrefslogtreecommitdiff
path: root/test/fac.blc.dump
diff options
context:
space:
mode:
Diffstat (limited to 'test/fac.blc.dump')
-rw-r--r--test/fac.blc.dump64
1 files changed, 32 insertions, 32 deletions
diff --git a/test/fac.blc.dump b/test/fac.blc.dump
index db72801..e46df2a 100644
--- a/test/fac.blc.dump
+++ b/test/fac.blc.dump
@@ -1,40 +1,40 @@
=== START BLOC ===
| entries: 35
-| 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 33: (<1> 1)
+| entry 32: [(((1 <18>) <24>) <22>)]
+| entry 31: (0 <5>)
+| entry 30: (<2> <33>)
+| entry 29: (<3> 1)
+| entry 28: (<2> <5>)
+| entry 27: ([([(1 (0 0))] [(1 (0 0))])] [[(((<31> [(<3> (2 0))]) [(<1> (2 0))]) [(<0> (2 0))])]])
| 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 25: [[(([([[((1 0) [[[0]]])]] ((((0 [[(((0 ([([(0 [[0]])] ((((0 (<28> [[[[(2 3)]]]])) [(0 [[(<19> (<1> 0))]])]) [(0 [[(<30> <12>)]])]) [(0 [[(<17> <29>)]])]))] <6>)) (<11> <6>)) <6>)]]) [[[((((1 (<32> 1)) [(((1 (<0> <26>)) <22>) <18>)]) <7>) <32>)]]]) [[[((((1 (<9> 1)) <7>) [(((1 <21>) (<0> <13>)) <23>)]) <9>)]]]) [[[((((1 (<7> 1)) <32>) <9>) <7>)]]]))] 1) <20>)]]
+| entry 24: (<0> <15>)
+| entry 23: (<3> <13>)
+| entry 22: (<3> <15>)
+| entry 21: (<1> <15>)
+| entry 20: ([(((<31> [[[[[(2 4)]]]]]) [[[[[(1 4)]]]]]) [[[[[(0 4)]]]]])] 0)
+| entry 19: (<2> <29>)
+| entry 18: (<1> <26>)
+| entry 17: (<2> <12>)
+| entry 16: (<0> 0)
+| entry 15: ((3 0) [[[0]]])
+| entry 14: (4 3)
+| entry 13: ((3 0) [[[1]]])
| 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 11: [([(0 [[0]])] ((((0 (<28> <8>)) [(0 [[(<19> <12>)]])]) [(0 [[(<30> (<3> 0))]])]) [(0 [[(<17> <33>)]])]))]
+| entry 10: [(1 [((1 1) 0)])]
+| entry 9: [(((1 <24>) <23>) <21>)]
+| entry 8: [[[[(1 3)]]]]
+| entry 7: [(([[[[[[((((5 2) 1) 0) <4>)]]]]]] 1) <15>)]
+| entry 6: (<27> 1)
+| entry 5: [[[[3]]]]
+| entry 4: (((<14> 2) 1) 0)
+| entry 3: [[[[[(2 <4>)]]]]]
+| entry 2: [[[((0 2) 1)]]]
+| entry 1: [[[[[(1 <4>)]]]]]
| 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))))]]]])
+| final: ([((((([(<10> <10>)] [[[[[(((([[(([((((0 [([((((0 [[1]]) [[[0]]]) [[[0]]]) [0])] (<27> 0))]) [[((((0 [[0]]) [(2 0)]) [[[0]]]) [[[0]]])]]) [[((((0 [[0]]) [[[0]]]) [(2 0)]) [[[0]]])]]) [[((((0 (1 0)) [[[0]]]) [[[0]]]) [(2 0)])]])] 1) <20>)]] 2) (<11> 1)) 3) ((((4 (([[((((1 <5>) [(([[((<25> 1) ([[[[[(((<14> 1) 2) 0)]]]]] 0))]] <16>) 1)]) [((<25> <16>) 1)]) [<16>])]] 3) (0 2))) (<11> 2)) 1) 0))]]]]]) <8>) <8>) 0) [0])] [[[[(0 (1 (0 (1 3))))]]]])
=== END BLOC ===