del.x.yzf=xyxyzftruexyzdel.yzffalsexyz.xdel.yz=nilniltrue=.xynilfalse=nil.yzfalse=.xy.uvand=xu=yv2.0del.x.yzf=xyxyzdel.x.yz=xyftruexyzdel.yzffalsexyzdel.yz=.xy.uv=xu=.xy.uv=yvtrueftruexyzdel.yzdel.x.yzf=xyxyzffalsexyzdel.yztrue1231f4114true00del111.2112=20false00nil00u00v00and20ftruexyzdel.yzffalsexyzdel.yzftruexyzdel.yzfalseffalsexyzdel.yzfalsedel.x.yz=xyfalse12=.xy.uv=xufalse=.xy.uv=yvfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe