00102x100122x100102x100212x100102x101022x100102x101122x100102x101202x100102x101220x100102x101222x100102x102102x100102x102122x100102x102210x100102x102212x100102x110022x100102x110202x100102x110220x100102x110222x100102x111022x100102x112022x100102x112102x100102x112202x100102x112220x100102x121022x100102x122102x100102x122210x101202x101022x101202x101122x101202x101222x101202x102102x101202x102122x101202x102210x101202x102212x101202x110222x101202x112022x101202x112202x101202x112220x110102x101222x110102x102122x110102x110022x110102x110122x110102x110202x110102x110212x110102x110220x110102x110222x110102x111022x110102x112022x110102x112102x110102x112202x110102x112220x110102x120122x110102x120212x110102x121022x110102x121202x110102x121220x110102x122012x110102x122102x110102x122120x110102x122210x110202x110222x110202x112022x110202x112202x110202x112220x110202x121022x110202x122102x111202x101222x111202x102122x111202x102212x111202x110022x111202x110122x111202x110202x111202x110212x111202x110220x111202x110222x111202x111022x111202x112022x111202x112102x111202x112202x111202x112220x111202x120122x111202x121022x111202x121202x111202x122012x111202x122102x111202x122210x112202x110222x120102x120122x120102x120212x120102x121022x120102x121202x120102x121220x120102x122012x120102x122102x120102x122120x120102x122210x121102x120102x121102x120212x121102x121202x121102x122102x121202x120122x121202x121022x121202x122102x121202x122210x12.120100x122100x120100x121200x120100x122010x120100x122110x120100x120210x120100x102210x120100x122210x120100x120120x120100x122120x120100x101220x120100x121220x120100x122001x120100x120201x120100x102201x120100x122201x120100x122011x120100x122021x120100x120121x120100x120221x120100x102221x120100x122012x120100x120122x120100x101222x120210x122010x120210x122110x120210x122210x120210x120120x120210x122120x120210x101220x120210x121220x120210x122201x120210x122021x120210x120221x120210x102221x120101x122210x120101x122120x120101x122001x120101x122101x120101x120201x120101x121201x120101x102201x120101x122201x120101x122011x120101x122021x120101x120121x120101x120221x120101x102221x120101x122102x120101x121202x120101x122012x120101x120212x120101x102212x120101x121022x120101x120122x120101x102122x120101x101222x120201x122201x120201x122021x120201x120221x120201x102221x120201x122012x120201x120122x120211x122210x120211x122120x120211x121220x120211x122001x120211x122101x120211x120201x120211x121201x120211x102201x120211x122201x120211x122011x120211x122021x120211x120121x120211x120221x120211x102221x120211x122102x120211x122012x120211x120212x120211x121022x120211x120122x120211x101222x120221x122201x120102x122102x120102x121202x120102x122012x120102x120212x120102x102212x120102x121022x120102x120122x120102x102122x120102x101222x120112x120102x120112x121202x120112x120212x120112x120122x120212x122102x120212x122012x120212x120122x120212x101222x112111011111111120210x122010x120210x122110x120210x120120x120210x101220x120211x122001x120211x122101x120211x120201x120211x121201x120211x102201x120211x122011x120211x120121x120221x122201x120112x120102x120212x122102x120212x122012x120212x120122x120212x101222x120210x122010x120210x12010x120210x122110x120210x12110x120210x120120x120210x120x120210x1220x120211x122001x120211x12001x120211x122101x120211x12101x120211x120201x120211x1201x120211x121201x120211x12201x120211x122011x120211x12011x120211x120121x120211x121x120221x122201x120221x12201x120221x1201x120112x120102x120212x122102x120212x12102x120212x122012x120212x12012x120212x120122x120212x122x120212x1222x1true20210x1220x120210x120x120211x120201x120221x122201x120221x12201x120212x122012x120212x122x120212x1222x120211x12201x120211x122011x1true1211101111211111111120211x120201x120221x122201x120212x122012x120211x122011x120211x120201x1false20211x122011x1false20212x122012x120221x122201x1true121-221212101-22111120210x120120x1false20211x1201x1false20211x12011x1false20221x1201x1false20212x12012x1false20212x120122x1false20210x122010x1false20210x12010x1false20210x122110x1false20210x12110x1false20211x122001x1false20211x12001x1false20211x122101x1false20211x12101x1false20211x121201x1false20211x120121x1false20211x121x1false20112x120102x1false20212x122102x1false20212x12102x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe