incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLnatsadxzeroszeroscons0n__zerosheadconsXLXtailconsXLactivateLincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXX2.1incrnilnilincrconsXLconssXn__incractivateLadxnilniladxconsXLincrconsXn__adxactivateLzeroscons0n__zerosincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXincrnilnilincrconsXLconssXn__incractivateLadxconsXLincrconsXn__adxactivateLzeroscons0n__zerosincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXincrconsXLactivateLadxconsXLincrconsXn__adxactivateLadxconsXLactivateLactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerostrueactivaten__incrXincrXincrconsXLactivateLactivaten__adxXadxXadxconsXLincrconsXn__adxactivateLadxconsXLactivateLincrnilnilincrconsXLconssXn__incractivateLadxconsXLincrconsXn__adxactivateLzeroscons0n__zerosincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXactivaten__incrXincrXincrconsXLactivateLactivaten__adxXadxXadxconsXLincrconsXn__adxactivateLincrnilnilincrconsXLconssXn__incractivateLadxconsXLincrconsXn__adxactivateLzeroscons0n__zerosincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXincrconsXLactivateLactivaten__adxXadxXadxconsXLincrconsXn__adxactivateLincrnilnilincrconsXLconssXn__incractivateLadxconsXLincrconsXn__adxactivateLzeroscons0n__zerosincrXn__incrXadxXn__adxXzerosn__zerosactivaten__incrXincrXactivaten__adxXadxXactivaten__zeroszerosactivateXXactivaten__adxXadxXadxconsXLincrconsXn__adxactivateLincrconsy_0n__adxy_2activaten__adxy_2adxactivaten__zeros1activaten__zeroszerosadxzeros1zeroscons0n__zerosadxcons0n__zerosadxconsXLincrconsXn__adxactivateLincrcons0n__adxactivaten__zerosincrconsy_0n__adxy_2activaten__adxy_2activaten__adxactivaten__zerosactivaten__adxXadxXadxactivaten__zerosAProVEunknownStatistics for single proof: 100,00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe