tNcsrqNntnsNq00qsXspqXdXd00dsXssdXp0XXpX0XpsXsYsspXYf0XnilfsXcsYZcsYnfXaZtXntXsXnsXfX1X2nfX1X2antXtaXansXsaXanfX1X2faX1aX2aXX2.1tNqNqsXspqXdXqsXpqXdXqsXqXqsXdXdsXssdXdsXsdXdsXdXpsXsYsspXYpsXsYspXYpsXsYpXYfsXcsYZaZantXtaXantXaXansXsaXansXaXanfX1X2faX1aX2anfX1X2aX1anfX1X2aX2trueantXaXansXaXanfX1X2faX1aX2fsXcsYZaZanfX1X2aX1anfX1X2aX2true2nf202a140f2120022nil034a11nt11ns11nf212f22a11cs22t11s11f21200nil0antXaXansXaXfsXcsYZaZantXtaXansXsaXanfX1X2faX1aX2aXXfsXcsYZcsYnfXaZsXnsXtNcsrqNntnsNtXntXf0XnilfX1X2nfX1X2fsXcsYZaZfalseansXaXantXaXtrue1ns111nt111a111ansXaXantXaXansXaX1true1antXaX1true1antXtaXfalsetNqNfalseqsXqXtrue1s111q111qsXqXqsXqX1true1qsXdXfalseqsXpqXdXfalsedsXdXtrue1s111d111dsXdXdsXdX1true1psXsYpXYtrue1s111p21112psXsYpXYpsXsYpXY1true12true2qsXspqXdXfalsedsXssdXfalsedsXsdXfalsepsXsYsspXYfalsepsXsYspXYfalseansXsaXfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (12 real / 0 unknown / 0 assumptions / 12 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe