1 |
( i L.( ltg ma-outlinks( (ring-leader1(i;R;uid;out;in));i).(destination(1of(
( i L.( ltg ma-outlinks( (ring-leader1(i;R;uid;out;in));i).(destination(ltg)) L)
( i L.( ltg ma-outlinks( (ring-leader1(i;R;uid;out;in));i).
interface-check( loc.
(ring-leader1(loc;R;uid;out;in));1of(ltg);1of(2of(ltg));2of(2of(ltg)))))
 | 9 steps |