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