@@ -46,8 +46,8 @@ sort: 11
46 $(fol =>(fol [2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]))
46 $(fol =>(fol [2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]))
48 {$7 b/* c/*} $(fol =>(fol [2 b 1 c]))
48 {$7 b/* c/*} $(fol =>(fol [2 b 1 c]))
49− {$8 b/* c/*} $(fol =>(fol [7 [[0 1] b] c]))
49+ {$8 b/* c/*} $(fol =>(fol [7 [[7 [0 1] b] 0 1] c]))
50− {$9 b/* c/*} $(fol =>(fol [7 c 0 b]))
50+ {$9 b/* c/*} $(fol =>(fol [7 c 2 [0 1] 0 b]))
51 {$10 @ c/*} $(fol c.fol)
51 {$10 @ c/*} $(fol c.fol)
52 {$10 {b/* c/*} d/*} =+($(fol c.fol) $(fol d.fol))
52 {$10 {b/* c/*} d/*} =+($(fol c.fol) $(fol d.fol))