b9b400a4-ed84-42eb-a063-9b7bf30906c2 2 Martin Kraska 3 5 false true false 0 7 decimal

&[DATE] &[TIME] - &[FILENAME]

$vcolscollectMClearn.cn.ccolsat:1tryn.ccolstracen.cIsDefined\neg vlength2mod0\equiv n.c2:n.c3:ififn.rvlengthn.c/n.cn.c1+/+:r1n.rrangec1n.crangeMrcelvcr1-(n.c*+el:Mrcel:tryforforM71line:$ M 3 collect : $M12345678933mat$ $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ M $1$ $2$ $3$ $4$ $5$ $6$ $7$ $8$ $9$ $M2collect12345678952mat$ $M4collect12345678934mat$ M 3 collect : $M31245678933mat$ $3$ $1$ $2$ $4$ $5$ $6$ $7$ $8$ $9$