00**x1**11x111**x100##x1##00x100##x1##11x111##x1##$$x1**$$x1####x1##x1##**x1**x12.1**00x111**x1**11x1##00x100##x1##00x111##x1##11x1$$##x1$$**x1####x1##x1**##x1**x11*111101111111#1111$111**00x111**x1**11x1##00x100##x1##00x111##x1##11x1$$##x1$$**x1**00x111**x1**00x11**x1**00x1**x1**00x1*x1**11x100x1**11x10x100##x100x100##x10x111##x111x111##x11x1$$##x1$$**x1$$##x1$**x1$$##x1**x1$$##x1*x1true$$##x1$**x1$$##x1$$**x1true1$111$1111#11*110101111$$##x1$$**x1**00x111**x1**11x1##00x1$$##x1$$**x111##x1##11x11*1210123111331#1221$121$121$$##x1**x1false$$##x1*x1false**00x1*x1**00x1**x1true1*11101111111#111*111**00x1*x1**00x1**x1**00x111**x1**11x1##00x100##x1##00x111##x1##11x1**00x111**x1**11x1##00x100##x1##00x111##x1##11x11*111*1110111111111#10**00x111**x1**11x1##00x111##x1##11x1**11x100x1false**11x10x1false**00x111**x1false**00x11**x1false00##x10x100##x100x1true10111#111011100##x10x100##x100x100##x1##00x100##x1##00x120101121#111012100##x100x100##x1##00x110131#1331012111##x11x111##x111x1true11111#111111111##x11x111##x111x111##x1##11x111##x1##11x120111121#111112111##x111x111##x1##11x1111111111#1111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (20 real / 0 unknown / 0 assumptions / 20 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe