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