ftxyfgxyxsygsx0tgsxsygxy2.110ftxyfgxyxsyftxygxygsxsygxytrueftxyfgxyxsytruegsx0tgsxsygxygsx00gsx0sx11c0-1f3-1112-13-1t00g20s1111000ftxyfgxyxsyftxyfgxyxsyc10fgx0x1x0sx1ftx2x3ftx2x3cftx0x1fgx0x1x0sx1ftx2x3fgx2x3x2sx3fgx0x1x0sx1ftx2x3gx0x1tx0x2sx1x3ftx2x3cx2x0gx0x1tsx1x3ftx0x3cx3sx1gx0x1tftx0sx1cgx0x1tgsx40tttftsx4s0cttftsx4s0cgsx6sx5gx6x5gx6x5gx6x5tgx6x5tftx6sx5cftsx6ssx5cgx6x5tftx6sx5cftx6sx5cftsx6ssx5cfgx0x1x0sx1ftx2x3ftx2x3fgx2x3x2sx3ftx0x1fgx0x1x0sx1ftx2x3fgx2x3x2sx3fgx0x1x0sx1ftx2x3gx0x1tx0x2sx1x3ftx2x3fgx2x3x2sx3x2x0gx0x1tsx1x3ftx0x3fgx0x3x0sx3x3sx1gx0x1tftx0sx1fgx0sx1x0ssx1gx0x1tgsx40tttftsx4s0fgsx4s0sx4ss0ttftsx4s0fgsx4s0sx4ss0gsx6sx5gx6x5gx6x5gx6x5tgx6x5tftx6sx5fgx6sx5x6ssx5ftsx6ssx5fgsx6ssx5sx6sssx5gx6x5tftx6sx5fgx6sx5x6ssx5ftx6sx5fgx6sx5x6ssx5ftsx6ssx5fgsx6ssx5sx6sssx5ftxygxyfalsegsxsygxytruegsxsygxy1true12true2AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (10 real / 0 unknown / 0 assumptions / 10 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe