f163_0_factorial_GTf149_0_doSum_LTf1_0_main_ConstantStackPush__init1f149_0_doSum_LTx1_arg1x1_arg1P10_arg1P2f163_0_factorial_GTx1_xx1_x1_x_x1-1_x-113f149_0_doSum_LTx1_x2x1_x3_x2-11_x3-1_x2-114f163_0_factorial_GTx1_x4x1_x5_x4-11_x5_x4-11_x4-110_x4-115f1_0_main_ConstantStackPushx1_x6x1_x7002.1f163_0_factorial_GTf163_0_factorial_GTx1x1f149_0_doSum_LTf149_0_doSum_LTx1x1f1_0_main_ConstantStackPushf1_0_main_ConstantStackPushx1x1__init__initx1x1f149_0_doSum_LTf149_0_doSum_LT1x103f163_0_factorial_GTf163_0_factorial_GT1x104AProVEAProVE Commit ID: unknownStatistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe