fibNselNfib1s0s0fib1XYconsXn__fib1Yn__addXYadd0XXaddsXYsaddXYsel0consXXSXselsNconsXXSselNactivateXSfib1X1X2n__fib1X1X2addX1X2n__addX1X2activaten__fib1X1X2fib1activateX1activateX2activaten__addX1X2addactivateX1activateX2activateXX2.0fibNselNfib1s0s0fibNfib1s0s0addsXYaddXYselsNconsXXSselNactivateXSselsNconsXXSactivateXSactivaten__fib1X1X2fib1activateX1activateX2activaten__fib1X1X2activateX1activaten__fib1X1X2activateX2activaten__addX1X2addactivateX1activateX2activaten__addX1X2activateX1activaten__addX1X2activateX2truefibNselNfib1s0s0false123467fibNfib1s0s0false12356selsNconsXXSselNactivateXStrue12451sel211s1111cons20activate10n__fib120fib120n__add20add20000selsNconsXXSactivateXSfalse134activaten__fib1X1X2activateX2activaten__fib1X1X2activateX1activaten__addX1X2activateX1activaten__addX1X2activateX2true21activate141n__fib1252112n__add245152activaten__addX1X2addactivateX1activateX2falseaddsXYaddXYtrue1add211s1111activaten__fib1X1X2fib1activateX1activateX2false
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe