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