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