decConsNilNilNildecConsNilConsxxsdecConsxxsdecConsConsxxsNildecNildecConsConsx'xs'ConsxxsdecConsxxsisNilNilConsNilNilTrueisNilNilConsNilConsxxsFalseisNilNilConsConsxxsNilFalseisNilNilConsConsx'xs'ConsxxsFalsenestdecNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilnestdecConsxxsnestdecdecConsxxsnumber17nConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilConsNilNilgoalxnestdecxTrue0Cons2Nil0False0dec1isNilNil1nestdec1number171goal112.120012345Cons0000Nil00True00False00dec001isNilNil002nestdec003number17004goal005Nil11Cons1006dec161Nil17dec171True12False12Nil18Nil111Cons181110Cons18109Cons1899Cons1893dec1612nestdec1123Cons1894nestdec105Nil112dec1712Cons1895nestdec1125Nil213Nil216Cons2131615Cons2131514Cons2131414Cons213143Cons213145AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe