0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#*#x#*0xy0*xy*1xy+0*xyysumnil0#sumconsxl+xsumlprodnil1#prodconsxl*xprodl2.1+0x0y0+xy+0x0y+xy+0x1y+xy+1x0y+xy+1x1y0++xy1#+1x1y++xy1#+1x1y+xy*0xy0*xy*0xy*xy*1xy+0*xyy*1xy0*xy*1xy*xysumnil0#sumconsxl+xsumlsumconsxlsumlprodconsxl*xprodlprodconsxlprodltrueprodconsxlprodltrue20prodconsxlprodl1true1prodconsxl*xprodlfalse*1xy*xy*0xy*xytrue111110111*21112*1xy*xy*0xy*xy*1xy*xy1true12false2*0xy*xy1true12false2sumconsxlsumltrue20sumconsxlsuml1true1*1xy+0*xyyfalsesumconsxl+xsumlfalse+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xytrue1+21112#0001111111+21112+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xy+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#0##1#04201011113+220+230+0x0y0+xyfalse+1x1y0++xy1#false*0xy0*xyfalse*1xy0*xyfalsesumnil0#falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (15 real / 0 unknown / 0 assumptions / 15 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe