streckfaktor(26)
aufg([],[kgr(s(n("D"),n("B")),s(n("D"),n("C"))),equ(s(n("B"),n("C")),z(8)),equ(s(n("A"),n("D")),z(7)),equ(w(n("C"),n("A"),n("B")),z(50))])
taskdegree(3)
taskfr("aufg",["norm","mp","kr","fasskr","schnp"],[],5,0)
zeile(0,"vor",kgr(s(n("D"),n("B")),s(n("D"),n("C"))),[],nil,nil)
zeile(0,"vor",s(n("B"),n("C")),[],nil,z(8))
zeile(0,"vor",s(n("A"),n("D")),[],nil,z(7))
zeile(0,"vor",w(n("C"),n("A"),n("B")),[],nil,z(50))
zeile(1,"s_mp",s(n("B"),n("D")),[s(n("B"),n("C")),kgr(s(n("D"),n("B")),s(n("D"),n("C")))],quot(s(n("B"),n("C")),z(2)),z(4))
zeile(1,"s_mp",s(n("C"),n("D")),[s(n("B"),n("C")),kgr(s(n("D"),n("B")),s(n("D"),n("C")))],quot(s(n("B"),n("C")),z(2)),z(4))
