16 lines
416 B
Text
16 lines
416 B
Text
computing fact1(15)
|
|
in wrapper1-pre: fact(15)
|
|
in wrapper2-pre: fact(14)
|
|
in wrapper1-pre: fact(13)
|
|
in wrapper2-pre: fact(12)
|
|
in wrapper1-pre: fact(11)
|
|
in wrapper2-pre: fact(10)
|
|
in wrapper1-pre: fact(9)
|
|
in wrapper2-pre: fact(8)
|
|
in wrapper1-pre: fact(7)
|
|
in wrapper2-pre: fact(6)
|
|
in wrapper1-pre: fact(5)
|
|
in wrapper2-pre: fact(4)
|
|
in wrapper1-pre: fact(3)
|
|
in wrapper2-pre: fact(2)
|
|
in wrapper1-pre: fact(1)
|