f_0xaf_1xg_1xxg_1sxybf_0yg_1xyf_2xg_2xxg_2sxybf_1yg_2xyf_3xg_3xxg_3sxybf_2yg_3xyf_4xg_4xxg_4sxybf_3yg_4xyf_5xg_5xxg_5sxybf_4yg_5xyf_6xg_6xxg_6sxybf_5yg_6xyf_7xg_7xxg_7sxybf_6yg_7xyf_8xg_8xxg_8sxybf_7yg_8xyf_9xg_9xxg_9sxybf_8yg_9xyf_10xg_10xxg_10sxybf_9yg_10xy2.1f_010a00f_113g_122s16b21f_214g_223f_315g_324f_417g_425f_518g_527f_619g_628f_7110g_729f_8111g_8210f_9113g_9212f_10114g_10213f_011a0f_111g_1212s11b212f_211g_2212f_311g_3212f_411g_4212f_511g_5212f_611g_6212f_711g_7212f_811g_8212f_911g_9212f_1011g_10212AProVEAProVE 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