Algorithm Walter Randelshofer 2011
SF' (WD2 VF2 WD2 WR2 V3F2 WR' MF2 WR') SF
(N3F2 WD2)2
R2 WF' NL2 WF R2 WF' NL2 WF
VB L VB' VR2 VB L' VB' VR2
(N3R2 · NU2 ND2)2 (36 btm, 68 ftm, 110 qtm)
Algorithm Walter Randelshofer 2011
SF' (WD2 VF2 WD2 WR2 V3F2 WR' MF2 WR') SF
(N3F2 WD2)2
R2 WF' NL2 WF R2 WF' NL2 V3F L VB' VR2 VB L' VB' VR2
(N3R2 · NU2 ND2)2 (35 btm, 66 ftm, 108 qtm)
Algorithm Walter Randelshofer 2011
SF' (WD2 VF2 WD2 WR2 V3F2 WR' MF2 WR') SF
R2 WF' NL2 WF R2 WF' NL2 V3F L VB' VR2 VB L' VB' NR2 · NU2 ND2 · N3R2 M3D2 N3F2 WD2 N3F2 (32 btm, 60 ftm, 96 qtm)