On Wed, 2016-05-18 at 14:30 +0300, Roman wrote: > Sergei, try also > > debug = \ {_ _ _} -> implic prime∣split It would be nice, but in my example it gives "unsolved metas". ------ Sergei