Function get_level

    ∇ Z←get_level State;S;N;I;Eq;Eq1
[1]  Eq←State = ∆Initial_State
[2]  Z←1 'U+'  (Eq1⍳0) S←  N←+/Eq1←∧/Eq[I← 2  4  6  8;  ] ◊ →(N<⍴I)/0
[3]  Z←2 'U'   (Eq1⍳0) S←S+N←+/Eq1←∧/Eq[I← 1  3  7  9;  ] ◊ →(N<⍴I)/0
[4]  Z←3 'M'   (Eq1⍳0) S←S+N←+/Eq1←∧/Eq[I←16 10 12 18;  ] ◊ →(N<⍴I)/0
[5]  Z←4 'B+o' (Eq1⍳0) S←S+N←+/Eq1←  Eq[I←20 22 24 26; 3] ◊ →(N<⍴I)/0
[6]  Z←5 'B+'  (Eq1⍳0) S←S+N←+/Eq1←∧/Eq[I←20 22 24 26;  ] ◊ →(N<⍴I)/0
[7]  Z←6 'B'   (Eq1⍳0) S←S+N←+/Eq1←∧/Eq[I←19 21 25 27;  ] ◊ →(N<⍴I)/0
[8]  Z←7 'Done'     0  S
    ∇