Algorithm Walter Randelshofer 2014
N3F2 N3R2 NU2 N3R2 N3F2 NU2
NF2 NR2 M2U2 NR2 NF2 M2U2
M3R2 M3D M3R2 M3D'
L2 MF2 L2 ND L2 MF2 L2 ND' (24 btm)
Algorithm Walter Randelshofer 2014
N3F2 N3R2 NU2 N3R2 N3F2 NU2
NF2 NR2 M2U2 NR2 NF2 M2U2
M3R2 M3D M3R2 M3D'
MR' (ND MR ND2 MR' ND) MR (23 btm)
Algorithm Walter Randelshofer 2014
N3F2 N3R2 NU2 N3R2 VF2 V4R2 M3D M3R2 · M3D' M2U2 · NR2 NF2 V3U2
MR' (ND MR ND2 MR' ND) MR (20 btm)
Algorithm Walter Randelshofer 2014
N3F2 M2L2 M3D M3R2 R2 MF2 R2 ND R2 MF2 R2 V4D'
NU2 N3R2 VF2 NR2 M2U2 NR2 NF2 V3U2 (20 btm)