fibNselNfib1s0s0fib1XYconsXn__fib1Yn__addXYadd0XXaddsXYsaddXYsel0consXXSXselsNconsXXSselNactivateXSfib1X1X2n__fib1X1X2addX1X2n__addX1X2activaten__fib1X1X2fib1activateX1activateX2activaten__addX1X2addactivateX1activateX2activateXX2.1fib17sel25fib122s10006cons20n__fib120n__add21add23activate14fib11sel212fib1212s1100cons212n__fib1212n__add212add212activate11AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (2 real / 0 unknown / 0 assumptions / 2 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe