01234x102314x1051234x1012534x1051234x1052134x1051234x1502314x1052314x1015234x12.143210x141320x1432150x1435210x1432150x1431250x1432150x1413205x1413250x1432510x110123450123454000401040204030404040503001301130213031304130512002201220222032204220521003101310231033104310530004001400240034004400545005501550255035504550550109219831871176416001190129013901490159119122112115111103110651914211413111310510051105120513051405150511214211410AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (2 real / 0 unknown / 0 assumptions / 2 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe