%------------------------------------------------------------------------------ % File : E-Darwin---1.5 % Problem : CAT001-10 : TPTP v7.5.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : e-darwin -pev TPTP -pmd true -if tptp -pl 2 -pc false -ps false %s % Computer : n018.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % DateTime : Sun Mar 21 12:55:21 EDT 2021 % Result : Satisfiable 273.42s % Output : Model 274.12s % Verified : % SZS Type : None (Parsing solution fails) % Syntax : Number of formulae : 0 % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : CAT001-10 : TPTP v7.5.0. Released v7.5.0. % 0.07/0.13 % Command : e-darwin -pev TPTP -pmd true -if tptp -pl 2 -pc false -ps false %s % 0.12/0.34 % Computer : n018.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % DateTime : Fri Mar 19 15:58:07 EDT 2021 % 0.12/0.34 % CPUTime : % 0.12/0.35 E-Darwin 1.5 2012/06/20 (based on Darwin 1.3) % 0.12/0.35 % 0.12/0.35 % 0.12/0.35 Defaulting to tptp format. % 0.12/0.35 Parsing /export/starexec/sandbox/benchmark/theBenchmark.p ... % 0.12/0.35 % 0.12/0.35 % 0.12/0.35 % 0.12/0.36 Proving ... % 0.12/0.36 % 273.42/273.76 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 273.42/273.76 % 273.42/273.76 START OF MODEL (DIG): % 274.02/274.36 (domain(domain(_0)) = domain(_0)) % 274.02/274.36 (domain(a) = domain(compose(a, g))) % 274.02/274.36 (domain(a) = domain(compose(a, b))) % 274.02/274.36 (compose(_0, codomain(_0)) = _0) % 274.02/274.36 (compose(domain(_0), _0) = _0) % 274.02/274.36 (compose(domain(_0), domain(_0)) = domain(_0)) % 274.02/274.36 (compose(h, codomain(g)) = h) % 274.02/274.36 (compose(a, g) = compose(domain(a), compose(a, g))) % 274.02/274.36 (compose(a, g) = compose(compose(a, g), codomain(g))) % 274.02/274.36 (compose(a, g) = compose(a, h)) % 274.02/274.36 (compose(a, b) = compose(domain(a), compose(a, b))) % 274.02/274.36 (compose(a, b) = compose(compose(a, b), codomain(b))) % 274.02/274.36 (compose(codomain(a), h) = h) % 274.02/274.36 (compose(codomain(a), g) = g) % 274.02/274.36 (ifeq(_0, _0, _1, _2) = _1) % 274.02/274.36 (ifeq(domain(_0), domain(_1), domain(compose(domain(_0), domain(_1))), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), domain(compose(domain(_0), _1)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), domain(compose(domain(_0), _1)), domain(domain(_0))) = domain(domain(_0))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), compose(domain(_0), _1), compose(compose(domain(_0), _1), codomain(_1))) = compose(compose(domain(_0), _1), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), compose(domain(_0), _1), compose(compose(domain(_0), domain(_1)), _1)) = compose(compose(domain(_0), domain(_1)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), compose(domain(_0), domain(_1)), compose(compose(domain(_0), domain(_1)), domain(_1))) = compose(compose(domain(_0), domain(_1)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), compose(domain(_0), compose(domain(_0), _1)), compose(domain(_0), _1)) = compose(domain(_0), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), compose(domain(_0), compose(domain(_0), domain(_1))), compose(domain(_0), domain(_1))) = compose(domain(_0), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(domain(_0), _1)), compose(compose(domain(_2), domain(_0)), _1)), compose(compose(domain(_2), domain(_0)), _1)) = compose(compose(domain(_2), domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(domain(_0), domain(_1))), compose(compose(domain(_2), domain(_0)), domain(_1))), compose(compose(domain(_2), domain(_0)), domain(_1))) = compose(compose(domain(_2), domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(domain(compose(domain(_0), _1)), domain(_0), compose(domain(_0), _1), compose(compose(domain(compose(domain(_0), _1)), domain(_0)), _1)), compose(compose(domain(compose(domain(_0), _1)), domain(_0)), _1)) = compose(compose(domain(compose(domain(_0), _1)), domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(domain(compose(domain(_0), domain(_1))), domain(_0), compose(domain(_0), domain(_1)), compose(compose(domain(compose(domain(_0), domain(_1))), domain(_0)), domain(_1))), compose(compose(domain(compose(domain(_0), domain(_1))), domain(_0)), domain(_1))) = compose(compose(domain(compose(domain(_0), domain(_1))), domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(_2), domain(domain(_0)), compose(_2, compose(domain(_0), _1)), compose(compose(_2, domain(_0)), _1)), compose(compose(_2, domain(_0)), _1)) = compose(compose(_2, domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(domain(_0), _1)), compose(compose(_2, domain(_0)), _1)), compose(compose(_2, domain(_0)), _1)) = compose(compose(_2, domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(domain(_0), domain(_1))), compose(compose(_2, domain(_0)), domain(_1))), compose(compose(_2, domain(_0)), domain(_1))) = compose(compose(_2, domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(domain(_0), _1)), compose(compose(codomain(_2), domain(_0)), _1)), compose(compose(codomain(_2), domain(_0)), _1)) = compose(compose(codomain(_2), domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(domain(_0), domain(_1))), compose(compose(codomain(_2), domain(_0)), domain(_1))), compose(compose(codomain(_2), domain(_0)), domain(_1))) = compose(compose(codomain(_2), domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), _1)), compose(compose(h, domain(_0)), _1)), compose(compose(h, domain(_0)), _1)) = compose(compose(h, domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), domain(_1))), compose(compose(h, domain(_0)), domain(_1))), compose(compose(h, domain(_0)), domain(_1))) = compose(compose(h, domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), _1)), compose(compose(compose(a, g), domain(_0)), _1)), compose(compose(compose(a, g), domain(_0)), _1)) = compose(compose(compose(a, g), domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), domain(_1))), compose(compose(compose(a, g), domain(_0)), domain(_1))), compose(compose(compose(a, g), domain(_0)), domain(_1))) = compose(compose(compose(a, g), domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), _1)), compose(compose(compose(a, b), domain(_0)), _1)), compose(compose(compose(a, b), domain(_0)), _1)) = compose(compose(compose(a, b), domain(_0)), _1)) % 274.02/274.36 (ifeq(domain(_0), domain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), domain(_1))), compose(compose(compose(a, b), domain(_0)), domain(_1))), compose(compose(compose(a, b), domain(_0)), domain(_1))) = compose(compose(compose(a, b), domain(_0)), domain(_1))) % 274.02/274.36 (ifeq(domain(_0), domain(_1), codomain(compose(domain(_0), domain(_1))), domain(_1)) = domain(_1)) % 274.02/274.36 (ifeq(domain(_0), domain(a), domain(compose(domain(_0), compose(a, g))), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), domain(compose(domain(_0), compose(a, b))), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(domain(_0), compose(a, g))), compose(domain(_0), compose(a, g))) = compose(domain(_0), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(domain(_0), compose(a, b))), compose(domain(_0), compose(a, b))) = compose(domain(_0), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, g)), compose(compose(domain(_0), domain(a)), compose(a, g))) = compose(compose(domain(_0), domain(a)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, g)), compose(compose(domain(_0), compose(a, g)), codomain(g))) = compose(compose(domain(_0), compose(a, g)), codomain(g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, g)), compose(compose(domain(_0), a), h)) = compose(compose(domain(_0), a), h)) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, g)), compose(compose(domain(_0), a), g)) = compose(compose(domain(_0), a), g)) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, b)), compose(compose(domain(_0), domain(a)), compose(a, b))) = compose(compose(domain(_0), domain(a)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, b)), compose(compose(domain(_0), compose(a, b)), codomain(b))) = compose(compose(domain(_0), compose(a, b)), codomain(b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), compose(domain(_0), compose(a, b)), compose(compose(domain(_0), a), b)) = compose(compose(domain(_0), a), b)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), compose(a, g))), compose(compose(domain(_1), domain(_0)), compose(a, g))), compose(compose(domain(_1), domain(_0)), compose(a, g))) = compose(compose(domain(_1), domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), compose(a, b))), compose(compose(domain(_1), domain(_0)), compose(a, b))), compose(compose(domain(_1), domain(_0)), compose(a, b))) = compose(compose(domain(_1), domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_0), domain(a), domain(_0), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), _2, ifeq(compose(domain(_1), compose(a, b)), _2, domain(_1), domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(domain(_1), compose(a, b)), compose(domain(_0), compose(a, b)), domain(_1), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(domain(_1), compose(a, b)), domain(_1), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(compose(domain(_0), compose(a, g))), domain(_0), compose(domain(_0), compose(a, g)), compose(compose(domain(compose(domain(_0), compose(a, g))), domain(_0)), compose(a, g))), compose(compose(domain(compose(domain(_0), compose(a, g))), domain(_0)), compose(a, g))) = compose(compose(domain(compose(domain(_0), compose(a, g))), domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(domain(compose(domain(_0), compose(a, b))), domain(_0), compose(domain(_0), compose(a, b)), compose(compose(domain(compose(domain(_0), compose(a, b))), domain(_0)), compose(a, b))), compose(compose(domain(compose(domain(_0), compose(a, b))), domain(_0)), compose(a, b))) = compose(compose(domain(compose(domain(_0), compose(a, b))), domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), _1, ifeq(compose(a, b), _1, domain(a), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(a, b), domain(_0), domain(a)), domain(a)) = domain(a)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(a, b), domain(a), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(a, b), _1, ifeq(compose(domain(_0), compose(a, b)), _1, domain(_0), domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(a, b), compose(domain(_0), compose(a, b)), domain(_0), domain(a)), domain(a)) = domain(a)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(compose(a, b), compose(domain(_0), compose(a, b)), domain(a), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), compose(a, g))), compose(compose(_1, domain(_0)), compose(a, g))), compose(compose(_1, domain(_0)), compose(a, g))) = compose(compose(_1, domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), compose(a, b))), compose(compose(_1, domain(_0)), compose(a, b))), compose(compose(_1, domain(_0)), compose(a, b))) = compose(compose(_1, domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), compose(a, g))), compose(compose(codomain(_1), domain(_0)), compose(a, g))), compose(compose(codomain(_1), domain(_0)), compose(a, g))) = compose(compose(codomain(_1), domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), compose(a, b))), compose(compose(codomain(_1), domain(_0)), compose(a, b))), compose(compose(codomain(_1), domain(_0)), compose(a, b))) = compose(compose(codomain(_1), domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_1, compose(a, b)), compose(domain(_0), compose(a, b)), _1, domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), _2, ifeq(compose(_1, compose(a, b)), _2, _1, domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), _2, ifeq(compose(codomain(_1), compose(a, b)), _2, codomain(_1), domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(_1, compose(a, b)), _1, domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(codomain(_1), compose(a, b)), codomain(_1), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_1), compose(a, b)), compose(domain(_0), compose(a, b)), codomain(_1), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), compose(a, g))), compose(compose(h, domain(_0)), compose(a, g))), compose(compose(h, domain(_0)), compose(a, g))) = compose(compose(h, domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), compose(a, b))), compose(compose(h, domain(_0)), compose(a, b))), compose(compose(h, domain(_0)), compose(a, b))) = compose(compose(h, domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), compose(a, g))), compose(compose(compose(a, g), domain(_0)), compose(a, g))), compose(compose(compose(a, g), domain(_0)), compose(a, g))) = compose(compose(compose(a, g), domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), compose(a, b))), compose(compose(compose(a, g), domain(_0)), compose(a, b))), compose(compose(compose(a, g), domain(_0)), compose(a, b))) = compose(compose(compose(a, g), domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(domain(_0), compose(a, b)), _1, ifeq(compose(h, compose(a, b)), _1, h, domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(domain(_0), compose(a, b)), _1, ifeq(compose(compose(a, g), compose(a, b)), _1, compose(a, g), domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(h, compose(a, b)), h, domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, g), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(domain(_0), compose(a, b)), h, domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(domain(_0), compose(a, b)), compose(a, g), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), compose(a, g))), compose(compose(compose(a, b), domain(_0)), compose(a, g))), compose(compose(compose(a, b), domain(_0)), compose(a, g))) = compose(compose(compose(a, b), domain(_0)), compose(a, g))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), compose(a, b))), compose(compose(compose(a, b), domain(_0)), compose(a, b))), compose(compose(compose(a, b), domain(_0)), compose(a, b))) = compose(compose(compose(a, b), domain(_0)), compose(a, b))) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(domain(_0), compose(a, b)), _1, ifeq(compose(compose(a, b), compose(a, b)), _1, compose(a, b), domain(_0)), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, b), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(domain(_0), compose(a, b)), compose(a, b), domain(_0)), domain(_0)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), domain(compose(domain(_0), codomain(_1))), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), compose(domain(_0), compose(domain(_0), codomain(_1))), compose(domain(_0), codomain(_1))) = compose(domain(_0), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), compose(domain(_0), codomain(_1)), compose(compose(domain(_0), codomain(_1)), codomain(_1))) = compose(compose(domain(_0), codomain(_1)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(domain(_0), codomain(_1))), compose(compose(domain(_2), domain(_0)), codomain(_1))), compose(compose(domain(_2), domain(_0)), codomain(_1))) = compose(compose(domain(_2), domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(domain(compose(domain(_0), codomain(_1))), domain(_0), compose(domain(_0), codomain(_1)), compose(compose(domain(compose(domain(_0), codomain(_1))), domain(_0)), codomain(_1))), compose(compose(domain(compose(domain(_0), codomain(_1))), domain(_0)), codomain(_1))) = compose(compose(domain(compose(domain(_0), codomain(_1))), domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(domain(_0), codomain(_1))), compose(compose(_2, domain(_0)), codomain(_1))), compose(compose(_2, domain(_0)), codomain(_1))) = compose(compose(_2, domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(domain(_0), codomain(_1))), compose(compose(codomain(_2), domain(_0)), codomain(_1))), compose(compose(codomain(_2), domain(_0)), codomain(_1))) = compose(compose(codomain(_2), domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), codomain(_1))), compose(compose(h, domain(_0)), codomain(_1))), compose(compose(h, domain(_0)), codomain(_1))) = compose(compose(h, domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), codomain(_1))), compose(compose(compose(a, g), domain(_0)), codomain(_1))), compose(compose(compose(a, g), domain(_0)), codomain(_1))) = compose(compose(compose(a, g), domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), codomain(_1))), compose(compose(compose(a, b), domain(_0)), codomain(_1))), compose(compose(compose(a, b), domain(_0)), codomain(_1))) = compose(compose(compose(a, b), domain(_0)), codomain(_1))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(domain(_1), domain(_0))), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), codomain(compose(domain(_1), domain(_0))))), compose(domain(_1), domain(_0))), compose(domain(_1), domain(_0))) = compose(domain(_1), domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(_1, domain(_0))), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), codomain(compose(_1, domain(_0))))), compose(_1, domain(_0))), compose(_1, domain(_0))) = compose(_1, domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(h, domain(_0))), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), codomain(compose(h, domain(_0))))), compose(h, domain(_0))), compose(h, domain(_0))) = compose(h, domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(compose(a, g), domain(_0))), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), codomain(compose(compose(a, g), domain(_0))))), compose(compose(a, g), domain(_0))), compose(compose(a, g), domain(_0))) = compose(compose(a, g), domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(compose(a, b), domain(_0))), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), codomain(compose(compose(a, b), domain(_0))))), compose(compose(a, b), domain(_0))), compose(compose(a, b), domain(_0))) = compose(compose(a, b), domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(compose(codomain(_1), domain(_0))), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), codomain(compose(codomain(_1), domain(_0))))), compose(codomain(_1), domain(_0))), compose(codomain(_1), domain(_0))) = compose(codomain(_1), domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(a), domain(compose(domain(_0), h)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), domain(compose(domain(_0), g)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), domain(compose(domain(_0), b)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), domain(compose(domain(_0), b)), domain(domain(_0))) = domain(domain(_0))) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), h), compose(compose(domain(_0), h), codomain(g))) = compose(compose(domain(_0), h), codomain(g))) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), h), compose(compose(domain(_0), codomain(a)), h)) = compose(compose(domain(_0), codomain(a)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), g), compose(compose(domain(_0), g), codomain(g))) = compose(compose(domain(_0), g), codomain(g))) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), g), compose(compose(domain(_0), codomain(a)), g)) = compose(compose(domain(_0), codomain(a)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), compose(domain(_0), h)), compose(domain(_0), h)) = compose(domain(_0), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), compose(domain(_0), g)), compose(domain(_0), g)) = compose(domain(_0), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), compose(domain(_0), b)), compose(domain(_0), b)) = compose(domain(_0), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), b), compose(compose(domain(_0), b), codomain(b))) = compose(compose(domain(_0), b), codomain(b))) % 274.02/274.36 (ifeq(domain(_0), codomain(a), compose(domain(_0), b), compose(compose(domain(_0), codomain(a)), b)) = compose(compose(domain(_0), codomain(a)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), h)), compose(compose(domain(_1), domain(_0)), h)), compose(compose(domain(_1), domain(_0)), h)) = compose(compose(domain(_1), domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), g)), compose(compose(domain(_1), domain(_0)), g)), compose(compose(domain(_1), domain(_0)), g)) = compose(compose(domain(_1), domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(domain(_0), b)), compose(compose(domain(_1), domain(_0)), b)), compose(compose(domain(_1), domain(_0)), b)) = compose(compose(domain(_1), domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(compose(domain(_0), h)), domain(_0), compose(domain(_0), h), compose(compose(domain(compose(domain(_0), h)), domain(_0)), h)), compose(compose(domain(compose(domain(_0), h)), domain(_0)), h)) = compose(compose(domain(compose(domain(_0), h)), domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(compose(domain(_0), g)), domain(_0), compose(domain(_0), g), compose(compose(domain(compose(domain(_0), g)), domain(_0)), g)), compose(compose(domain(compose(domain(_0), g)), domain(_0)), g)) = compose(compose(domain(compose(domain(_0), g)), domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(domain(compose(domain(_0), b)), domain(_0), compose(domain(_0), b), compose(compose(domain(compose(domain(_0), b)), domain(_0)), b)), compose(compose(domain(compose(domain(_0), b)), domain(_0)), b)) = compose(compose(domain(compose(domain(_0), b)), domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(domain(_0)), compose(_1, compose(domain(_0), b)), compose(compose(_1, domain(_0)), b)), compose(compose(_1, domain(_0)), b)) = compose(compose(_1, domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), h)), compose(compose(_1, domain(_0)), h)), compose(compose(_1, domain(_0)), h)) = compose(compose(_1, domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), g)), compose(compose(_1, domain(_0)), g)), compose(compose(_1, domain(_0)), g)) = compose(compose(_1, domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(domain(_0), b)), compose(compose(_1, domain(_0)), b)), compose(compose(_1, domain(_0)), b)) = compose(compose(_1, domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), h)), compose(compose(codomain(_1), domain(_0)), h)), compose(compose(codomain(_1), domain(_0)), h)) = compose(compose(codomain(_1), domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), g)), compose(compose(codomain(_1), domain(_0)), g)), compose(compose(codomain(_1), domain(_0)), g)) = compose(compose(codomain(_1), domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(domain(_0), b)), compose(compose(codomain(_1), domain(_0)), b)), compose(compose(codomain(_1), domain(_0)), b)) = compose(compose(codomain(_1), domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), h)), compose(compose(h, domain(_0)), h)), compose(compose(h, domain(_0)), h)) = compose(compose(h, domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), g)), compose(compose(h, domain(_0)), g)), compose(compose(h, domain(_0)), g)) = compose(compose(h, domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(domain(_0), b)), compose(compose(h, domain(_0)), b)), compose(compose(h, domain(_0)), b)) = compose(compose(h, domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), h)), compose(compose(compose(a, g), domain(_0)), h)), compose(compose(compose(a, g), domain(_0)), h)) = compose(compose(compose(a, g), domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), g)), compose(compose(compose(a, g), domain(_0)), g)), compose(compose(compose(a, g), domain(_0)), g)) = compose(compose(compose(a, g), domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(domain(_0), b)), compose(compose(compose(a, g), domain(_0)), b)), compose(compose(compose(a, g), domain(_0)), b)) = compose(compose(compose(a, g), domain(_0)), b)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), h)), compose(compose(compose(a, b), domain(_0)), h)), compose(compose(compose(a, b), domain(_0)), h)) = compose(compose(compose(a, b), domain(_0)), h)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), g)), compose(compose(compose(a, b), domain(_0)), g)), compose(compose(compose(a, b), domain(_0)), g)) = compose(compose(compose(a, b), domain(_0)), g)) % 274.02/274.36 (ifeq(domain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(domain(_0), b)), compose(compose(compose(a, b), domain(_0)), b)), compose(compose(compose(a, b), domain(_0)), b)) = compose(compose(compose(a, b), domain(_0)), b)) % 274.02/274.36 (ifeq(compose(a, b), _0, ifeq(compose(a, b), _0, domain(a), domain(a)), domain(a)) = domain(a)) % 274.02/274.36 (ifeq(codomain(h), domain(_0), compose(a, compose(h, _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.36 (ifeq(codomain(h), domain(_0), compose(codomain(a), compose(h, _0)), compose(h, _0)) = compose(h, _0)) % 274.02/274.36 (ifeq(codomain(h), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(h, _0)), compose(compose(domain(_1), h), _0)), compose(compose(domain(_1), h), _0)) = compose(compose(domain(_1), h), _0)) % 274.02/274.36 (ifeq(codomain(h), domain(_0), ifeq(domain(compose(h, _0)), codomain(a), compose(h, _0), compose(compose(domain(compose(h, _0)), h), _0)), compose(compose(domain(compose(h, _0)), h), _0)) = compose(compose(domain(compose(h, _0)), h), _0)) % 274.02/274.36 (ifeq(codomain(h), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(h, _0)), compose(compose(_1, h), _0)), compose(compose(_1, h), _0)) = compose(compose(_1, h), _0)) % 274.02/274.36 (ifeq(codomain(h), codomain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(h, codomain(_0))), compose(compose(_1, h), codomain(_0))), compose(compose(_1, h), codomain(_0))) = compose(compose(_1, h), codomain(_0))) % 274.02/274.36 (ifeq(codomain(h), codomain(compose(_0, h)), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, codomain(compose(_0, h)))), compose(_0, h)), compose(_0, h)) = compose(_0, h)) % 274.02/274.36 (ifeq(codomain(h), codomain(a), compose(a, compose(h, h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.36 (ifeq(codomain(h), codomain(a), compose(a, compose(h, b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.36 (ifeq(codomain(h), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, h)), compose(compose(_0, h), h)), compose(compose(_0, h), h)) = compose(compose(_0, h), h)) % 274.02/274.36 (ifeq(codomain(h), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, g)), compose(compose(_0, h), g)), compose(compose(_0, h), g)) = compose(compose(_0, h), g)) % 274.02/274.36 (ifeq(codomain(h), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, b)), compose(compose(_0, h), b)), compose(compose(_0, h), b)) = compose(compose(_0, h), b)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), domain(compose(_0, _1)), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), domain(compose(_0, domain(_1))), domain(_0)) = domain(_0)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(domain(_0), compose(_0, _1)), compose(_0, _1)) = compose(_0, _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(domain(_0), compose(_0, domain(_1))), compose(_0, domain(_1))) = compose(_0, domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(_0, _1), compose(compose(_0, _1), codomain(_1))) = compose(compose(_0, _1), codomain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(_0, _1), compose(compose(_0, domain(_1)), _1)) = compose(compose(_0, domain(_1)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(_0, domain(_1)), compose(compose(_0, domain(_1)), domain(_1))) = compose(compose(_0, domain(_1)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(_0, compose(codomain(_0), _1)), compose(_0, _1)) = compose(_0, _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(_0, compose(codomain(_0), domain(_1))), compose(_0, domain(_1))) = compose(_0, domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(codomain(_0), _1), compose(compose(codomain(_0), _1), codomain(_1))) = compose(compose(codomain(_0), _1), codomain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(codomain(_0), _1), compose(compose(codomain(_0), domain(_1)), _1)) = compose(compose(codomain(_0), domain(_1)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(codomain(_0), domain(_1)), compose(compose(codomain(_0), domain(_1)), domain(_1))) = compose(compose(codomain(_0), domain(_1)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(codomain(_0), compose(codomain(_0), _1)), compose(codomain(_0), _1)) = compose(codomain(_0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), compose(codomain(_0), compose(codomain(_0), domain(_1))), compose(codomain(_0), domain(_1))) = compose(codomain(_0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(_0, _1)), compose(compose(domain(_2), _0), _1)), compose(compose(domain(_2), _0), _1)) = compose(compose(domain(_2), _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(_0, domain(_1))), compose(compose(domain(_2), _0), domain(_1))), compose(compose(domain(_2), _0), domain(_1))) = compose(compose(domain(_2), _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(_2), codomain(_0), compose(domain(_2), compose(codomain(_0), _1)), compose(compose(domain(_2), codomain(_0)), _1)), compose(compose(domain(_2), codomain(_0)), _1)) = compose(compose(domain(_2), codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(_2), codomain(_0), compose(domain(_2), compose(codomain(_0), domain(_1))), compose(compose(domain(_2), codomain(_0)), domain(_1))), compose(compose(domain(_2), codomain(_0)), domain(_1))) = compose(compose(domain(_2), codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(compose(_0, _1)), domain(_0), compose(_0, _1), compose(compose(domain(compose(_0, _1)), _0), _1)), compose(compose(domain(compose(_0, _1)), _0), _1)) = compose(compose(domain(compose(_0, _1)), _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(compose(_0, domain(_1))), domain(_0), compose(_0, domain(_1)), compose(compose(domain(compose(_0, domain(_1))), _0), domain(_1))), compose(compose(domain(compose(_0, domain(_1))), _0), domain(_1))) = compose(compose(domain(compose(_0, domain(_1))), _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(compose(codomain(_0), _1)), codomain(_0), compose(codomain(_0), _1), compose(compose(domain(compose(codomain(_0), _1)), codomain(_0)), _1)), compose(compose(domain(compose(codomain(_0), _1)), codomain(_0)), _1)) = compose(compose(domain(compose(codomain(_0), _1)), codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(domain(compose(codomain(_0), domain(_1))), codomain(_0), compose(codomain(_0), domain(_1)), compose(compose(domain(compose(codomain(_0), domain(_1))), codomain(_0)), domain(_1))), compose(compose(domain(compose(codomain(_0), domain(_1))), codomain(_0)), domain(_1))) = compose(compose(domain(compose(codomain(_0), domain(_1))), codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(_0, _1)), compose(compose(_2, _0), _1)), compose(compose(_2, _0), _1)) = compose(compose(_2, _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(_0, domain(_1))), compose(compose(_2, _0), domain(_1))), compose(compose(_2, _0), domain(_1))) = compose(compose(_2, _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(_0, _1)), compose(compose(codomain(_2), _0), _1)), compose(compose(codomain(_2), _0), _1)) = compose(compose(codomain(_2), _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(_0, domain(_1))), compose(compose(codomain(_2), _0), domain(_1))), compose(compose(codomain(_2), _0), domain(_1))) = compose(compose(codomain(_2), _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), codomain(_0), compose(_2, compose(codomain(_0), _1)), compose(compose(_2, codomain(_0)), _1)), compose(compose(_2, codomain(_0)), _1)) = compose(compose(_2, codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), codomain(_0), compose(_2, compose(codomain(_0), domain(_1))), compose(compose(_2, codomain(_0)), domain(_1))), compose(compose(_2, codomain(_0)), domain(_1))) = compose(compose(_2, codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), codomain(_0), compose(codomain(_2), compose(codomain(_0), _1)), compose(compose(codomain(_2), codomain(_0)), _1)), compose(compose(codomain(_2), codomain(_0)), _1)) = compose(compose(codomain(_2), codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(_2), codomain(_0), compose(codomain(_2), compose(codomain(_0), domain(_1))), compose(compose(codomain(_2), codomain(_0)), domain(_1))), compose(compose(codomain(_2), codomain(_0)), domain(_1))) = compose(compose(codomain(_2), codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(_0, _1)), compose(compose(h, _0), _1)), compose(compose(h, _0), _1)) = compose(compose(h, _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(_0, domain(_1))), compose(compose(h, _0), domain(_1))), compose(compose(h, _0), domain(_1))) = compose(compose(h, _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, _1)), compose(compose(compose(a, g), _0), _1)), compose(compose(compose(a, g), _0), _1)) = compose(compose(compose(a, g), _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, domain(_1))), compose(compose(compose(a, g), _0), domain(_1))), compose(compose(compose(a, g), _0), domain(_1))) = compose(compose(compose(a, g), _0), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), _1)), compose(compose(h, codomain(_0)), _1)), compose(compose(h, codomain(_0)), _1)) = compose(compose(h, codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), domain(_1))), compose(compose(h, codomain(_0)), domain(_1))), compose(compose(h, codomain(_0)), domain(_1))) = compose(compose(h, codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), _1)), compose(compose(compose(a, g), codomain(_0)), _1)), compose(compose(compose(a, g), codomain(_0)), _1)) = compose(compose(compose(a, g), codomain(_0)), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), domain(_1))), compose(compose(compose(a, g), codomain(_0)), domain(_1))), compose(compose(compose(a, g), codomain(_0)), domain(_1))) = compose(compose(compose(a, g), codomain(_0)), domain(_1))) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, _1)), compose(compose(compose(a, b), _0), _1)), compose(compose(compose(a, b), _0), _1)) = compose(compose(compose(a, b), _0), _1)) % 274.02/274.36 (ifeq(codomain(_0), domain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, domain(_1))), compose(compose(compose(a, b), _0), domain(_1))), compose(compose(compose(a, b), _0), domain(_1))) = compose(compose(compose(a, b), _0), domain(_1))) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), _1)), compose(compose(compose(a, b), codomain(_0)), _1)), compose(compose(compose(a, b), codomain(_0)), _1)) = compose(compose(compose(a, b), codomain(_0)), _1)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), domain(_1))), compose(compose(compose(a, b), codomain(_0)), domain(_1))), compose(compose(compose(a, b), codomain(_0)), domain(_1))) = compose(compose(compose(a, b), codomain(_0)), domain(_1))) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), codomain(compose(_0, domain(_1))), domain(_1)) = domain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), codomain(compose(codomain(_0), domain(_1))), domain(_1)) = domain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(domain(_1)), codomain(compose(_0, domain(_1))), domain(_1)) = domain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(compose(a, b)), ifeq(codomain(_0), domain(compose(a, b)), _0, _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(compose(a, b)), ifeq(codomain(_1), domain(compose(a, b)), ifeq(compose(_0, compose(a, b)), _2, ifeq(compose(_1, compose(a, b)), _2, _1, _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(compose(a, b)), ifeq(codomain(_1), domain(compose(a, b)), ifeq(compose(_0, compose(a, b)), compose(_1, compose(a, b)), _1, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(compose(a, b)), ifeq(codomain(_1), domain(compose(a, b)), ifeq(compose(_1, compose(a, b)), compose(_0, compose(a, b)), _1, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), domain(compose(_0, compose(a, g))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), domain(compose(_0, compose(a, b))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(domain(_0), compose(_0, compose(a, g))), compose(_0, compose(a, g))) = compose(_0, compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(domain(_0), compose(_0, compose(a, b))), compose(_0, compose(a, b))) = compose(_0, compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, g)), compose(compose(_0, domain(a)), compose(a, g))) = compose(compose(_0, domain(a)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, g)), compose(compose(_0, compose(a, g)), codomain(g))) = compose(compose(_0, compose(a, g)), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, g)), compose(compose(_0, a), h)) = compose(compose(_0, a), h)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, g)), compose(compose(_0, a), g)) = compose(compose(_0, a), g)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, b)), compose(compose(_0, domain(a)), compose(a, b))) = compose(compose(_0, domain(a)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, b)), compose(compose(_0, compose(a, b)), codomain(b))) = compose(compose(_0, compose(a, b)), codomain(b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(a, b)), compose(compose(_0, a), b)) = compose(compose(_0, a), b)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(codomain(_0), compose(a, g))), compose(_0, compose(a, g))) = compose(_0, compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(_0, compose(codomain(_0), compose(a, b))), compose(_0, compose(a, b))) = compose(_0, compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, g)), compose(compose(codomain(_0), domain(a)), compose(a, g))) = compose(compose(codomain(_0), domain(a)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, g)), compose(compose(codomain(_0), compose(a, g)), codomain(g))) = compose(compose(codomain(_0), compose(a, g)), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, g)), compose(compose(codomain(_0), a), h)) = compose(compose(codomain(_0), a), h)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, g)), compose(compose(codomain(_0), a), g)) = compose(compose(codomain(_0), a), g)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, b)), compose(compose(codomain(_0), domain(a)), compose(a, b))) = compose(compose(codomain(_0), domain(a)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, b)), compose(compose(codomain(_0), compose(a, b)), codomain(b))) = compose(compose(codomain(_0), compose(a, b)), codomain(b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(a, b)), compose(compose(codomain(_0), a), b)) = compose(compose(codomain(_0), a), b)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(codomain(_0), compose(a, g))), compose(codomain(_0), compose(a, g))) = compose(codomain(_0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(codomain(_0), compose(a, b))), compose(codomain(_0), compose(a, b))) = compose(codomain(_0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, compose(a, g))), compose(compose(domain(_1), _0), compose(a, g))), compose(compose(domain(_1), _0), compose(a, g))) = compose(compose(domain(_1), _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, compose(a, b))), compose(compose(domain(_1), _0), compose(a, b))), compose(compose(domain(_1), _0), compose(a, b))) = compose(compose(domain(_1), _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(domain(_1), compose(a, b)), compose(_0, compose(a, b)), domain(_1), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(_0, compose(a, b)), _2, ifeq(compose(domain(_1), compose(a, b)), _2, domain(_1), _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(_0, compose(a, b)), compose(domain(_1), compose(a, b)), domain(_1), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), compose(a, g))), compose(compose(domain(_1), codomain(_0)), compose(a, g))), compose(compose(domain(_1), codomain(_0)), compose(a, g))) = compose(compose(domain(_1), codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), compose(a, b))), compose(compose(domain(_1), codomain(_0)), compose(a, b))), compose(compose(domain(_1), codomain(_0)), compose(a, b))) = compose(compose(domain(_1), codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(compose(_0, compose(a, g))), domain(_0), compose(_0, compose(a, g)), compose(compose(domain(compose(_0, compose(a, g))), _0), compose(a, g))), compose(compose(domain(compose(_0, compose(a, g))), _0), compose(a, g))) = compose(compose(domain(compose(_0, compose(a, g))), _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(compose(_0, compose(a, b))), domain(_0), compose(_0, compose(a, b)), compose(compose(domain(compose(_0, compose(a, b))), _0), compose(a, b))), compose(compose(domain(compose(_0, compose(a, b))), _0), compose(a, b))) = compose(compose(domain(compose(_0, compose(a, b))), _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(compose(codomain(_0), compose(a, g))), codomain(_0), compose(codomain(_0), compose(a, g)), compose(compose(domain(compose(codomain(_0), compose(a, g))), codomain(_0)), compose(a, g))), compose(compose(domain(compose(codomain(_0), compose(a, g))), codomain(_0)), compose(a, g))) = compose(compose(domain(compose(codomain(_0), compose(a, g))), codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(compose(codomain(_0), compose(a, b))), codomain(_0), compose(codomain(_0), compose(a, b)), compose(compose(domain(compose(codomain(_0), compose(a, b))), codomain(_0)), compose(a, b))), compose(compose(domain(compose(codomain(_0), compose(a, b))), codomain(_0)), compose(a, b))) = compose(compose(domain(compose(codomain(_0), compose(a, b))), codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), _1, ifeq(compose(a, b), _1, domain(a), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), compose(a, b), domain(a), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), compose(a, b), _0, domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), _1, ifeq(compose(_0, compose(a, b)), _1, _0, domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), _1, ifeq(compose(codomain(_0), compose(a, b)), _1, codomain(_0), domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), compose(_0, compose(a, b)), domain(a), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), compose(_0, compose(a, b)), _0, domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), compose(codomain(_0), compose(a, b)), codomain(_0), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(a, b), codomain(_0), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, compose(a, g))), compose(compose(_1, _0), compose(a, g))), compose(compose(_1, _0), compose(a, g))) = compose(compose(_1, _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, compose(a, b))), compose(compose(_1, _0), compose(a, b))), compose(compose(_1, _0), compose(a, b))) = compose(compose(_1, _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, compose(a, g))), compose(compose(codomain(_1), _0), compose(a, g))), compose(compose(codomain(_1), _0), compose(a, g))) = compose(compose(codomain(_1), _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, compose(a, b))), compose(compose(codomain(_1), _0), compose(a, b))), compose(compose(codomain(_1), _0), compose(a, b))) = compose(compose(codomain(_1), _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_0), domain(a), _0, _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_0, compose(a, b)), _2, ifeq(compose(_1, compose(a, b)), _2, _1, _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_0, compose(a, b)), _2, ifeq(compose(codomain(_1), compose(a, b)), _2, codomain(_1), _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_1, compose(a, b)), compose(_0, compose(a, b)), _1, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_0, compose(a, b)), compose(_1, compose(a, b)), _1, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_0, compose(a, b)), compose(codomain(_1), compose(a, b)), codomain(_1), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_1), compose(a, b)), compose(_0, compose(a, b)), codomain(_1), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), compose(a, g))), compose(compose(_1, codomain(_0)), compose(a, g))), compose(compose(_1, codomain(_0)), compose(a, g))) = compose(compose(_1, codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), compose(a, b))), compose(compose(_1, codomain(_0)), compose(a, b))), compose(compose(_1, codomain(_0)), compose(a, b))) = compose(compose(_1, codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), compose(a, g))), compose(compose(codomain(_1), codomain(_0)), compose(a, g))), compose(compose(codomain(_1), codomain(_0)), compose(a, g))) = compose(compose(codomain(_1), codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), compose(a, b))), compose(compose(codomain(_1), codomain(_0)), compose(a, b))), compose(compose(codomain(_1), codomain(_0)), compose(a, b))) = compose(compose(codomain(_1), codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(h, compose(_0, compose(a, g))), compose(compose(h, _0), compose(a, g))), compose(compose(h, _0), compose(a, g))) = compose(compose(h, _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(h, compose(_0, compose(a, b))), compose(compose(h, _0), compose(a, b))), compose(compose(h, _0), compose(a, b))) = compose(compose(h, _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, compose(a, g))), compose(compose(compose(a, g), _0), compose(a, g))), compose(compose(compose(a, g), _0), compose(a, g))) = compose(compose(compose(a, g), _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, compose(a, b))), compose(compose(compose(a, g), _0), compose(a, b))), compose(compose(compose(a, g), _0), compose(a, b))) = compose(compose(compose(a, g), _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(_0, compose(a, b)), _1, ifeq(compose(h, compose(a, b)), _1, h, _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(_0, compose(a, b)), _1, ifeq(compose(compose(a, g), compose(a, b)), _1, compose(a, g), _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(_0, compose(a, b)), compose(h, compose(a, b)), h, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(_0, compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, g), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(_0, compose(a, b)), h, _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(_0, compose(a, b)), compose(a, g), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), compose(a, g))), compose(compose(h, codomain(_0)), compose(a, g))), compose(compose(h, codomain(_0)), compose(a, g))) = compose(compose(h, codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), compose(a, b))), compose(compose(h, codomain(_0)), compose(a, b))), compose(compose(h, codomain(_0)), compose(a, b))) = compose(compose(h, codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), compose(a, g))), compose(compose(compose(a, g), codomain(_0)), compose(a, g))), compose(compose(compose(a, g), codomain(_0)), compose(a, g))) = compose(compose(compose(a, g), codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), compose(a, b))), compose(compose(compose(a, g), codomain(_0)), compose(a, b))), compose(compose(compose(a, g), codomain(_0)), compose(a, b))) = compose(compose(compose(a, g), codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, compose(a, g))), compose(compose(compose(a, b), _0), compose(a, g))), compose(compose(compose(a, b), _0), compose(a, g))) = compose(compose(compose(a, b), _0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, compose(a, b))), compose(compose(compose(a, b), _0), compose(a, b))), compose(compose(compose(a, b), _0), compose(a, b))) = compose(compose(compose(a, b), _0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(_0, compose(a, b)), _1, ifeq(compose(compose(a, b), compose(a, b)), _1, compose(a, b), _0), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(_0, compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, b), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(_0, compose(a, b)), compose(a, b), _0), _0), _0) = _0) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), compose(a, g))), compose(compose(compose(a, b), codomain(_0)), compose(a, g))), compose(compose(compose(a, b), codomain(_0)), compose(a, g))) = compose(compose(compose(a, b), codomain(_0)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), compose(a, b))), compose(compose(compose(a, b), codomain(_0)), compose(a, b))), compose(compose(compose(a, b), codomain(_0)), compose(a, b))) = compose(compose(compose(a, b), codomain(_0)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), domain(compose(_0, codomain(_1))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), compose(domain(_0), compose(_0, codomain(_1))), compose(_0, codomain(_1))) = compose(_0, codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), compose(_0, compose(codomain(_0), codomain(_1))), compose(_0, codomain(_1))) = compose(_0, codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), compose(_0, codomain(_1)), compose(compose(_0, codomain(_1)), codomain(_1))) = compose(compose(_0, codomain(_1)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), compose(codomain(_0), compose(codomain(_0), codomain(_1))), compose(codomain(_0), codomain(_1))) = compose(codomain(_0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), compose(codomain(_0), codomain(_1)), compose(compose(codomain(_0), codomain(_1)), codomain(_1))) = compose(compose(codomain(_0), codomain(_1)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(domain(_2), domain(_0), compose(domain(_2), compose(_0, codomain(_1))), compose(compose(domain(_2), _0), codomain(_1))), compose(compose(domain(_2), _0), codomain(_1))) = compose(compose(domain(_2), _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(domain(_2), codomain(_0), compose(domain(_2), compose(codomain(_0), codomain(_1))), compose(compose(domain(_2), codomain(_0)), codomain(_1))), compose(compose(domain(_2), codomain(_0)), codomain(_1))) = compose(compose(domain(_2), codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(domain(compose(_0, codomain(_1))), domain(_0), compose(_0, codomain(_1)), compose(compose(domain(compose(_0, codomain(_1))), _0), codomain(_1))), compose(compose(domain(compose(_0, codomain(_1))), _0), codomain(_1))) = compose(compose(domain(compose(_0, codomain(_1))), _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(domain(compose(codomain(_0), codomain(_1))), codomain(_0), compose(codomain(_0), codomain(_1)), compose(compose(domain(compose(codomain(_0), codomain(_1))), codomain(_0)), codomain(_1))), compose(compose(domain(compose(codomain(_0), codomain(_1))), codomain(_0)), codomain(_1))) = compose(compose(domain(compose(codomain(_0), codomain(_1))), codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(_2), domain(_0), compose(_2, compose(_0, codomain(_1))), compose(compose(_2, _0), codomain(_1))), compose(compose(_2, _0), codomain(_1))) = compose(compose(_2, _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(_2), domain(_0), compose(codomain(_2), compose(_0, codomain(_1))), compose(compose(codomain(_2), _0), codomain(_1))), compose(compose(codomain(_2), _0), codomain(_1))) = compose(compose(codomain(_2), _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(_2), codomain(_0), compose(_2, compose(codomain(_0), codomain(_1))), compose(compose(_2, codomain(_0)), codomain(_1))), compose(compose(_2, codomain(_0)), codomain(_1))) = compose(compose(_2, codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(_2), codomain(_0), compose(codomain(_2), compose(codomain(_0), codomain(_1))), compose(compose(codomain(_2), codomain(_0)), codomain(_1))), compose(compose(codomain(_2), codomain(_0)), codomain(_1))) = compose(compose(codomain(_2), codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(g), domain(_0), compose(h, compose(_0, codomain(_1))), compose(compose(h, _0), codomain(_1))), compose(compose(h, _0), codomain(_1))) = compose(compose(h, _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, codomain(_1))), compose(compose(compose(a, g), _0), codomain(_1))), compose(compose(compose(a, g), _0), codomain(_1))) = compose(compose(compose(a, g), _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), codomain(_1))), compose(compose(h, codomain(_0)), codomain(_1))), compose(compose(h, codomain(_0)), codomain(_1))) = compose(compose(h, codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), codomain(_1))), compose(compose(compose(a, g), codomain(_0)), codomain(_1))), compose(compose(compose(a, g), codomain(_0)), codomain(_1))) = compose(compose(compose(a, g), codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, codomain(_1))), compose(compose(compose(a, b), _0), codomain(_1))), compose(compose(compose(a, b), _0), codomain(_1))) = compose(compose(compose(a, b), _0), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(_1), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), codomain(_1))), compose(compose(compose(a, b), codomain(_0)), codomain(_1))), compose(compose(compose(a, b), codomain(_0)), codomain(_1))) = compose(compose(compose(a, b), codomain(_0)), codomain(_1))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(domain(_1), _0)), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, codomain(compose(domain(_1), _0)))), compose(domain(_1), _0)), compose(domain(_1), _0)) = compose(domain(_1), _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(domain(_1), codomain(_0))), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), codomain(compose(domain(_1), codomain(_0))))), compose(domain(_1), codomain(_0))), compose(domain(_1), codomain(_0))) = compose(domain(_1), codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(_1, _0)), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, codomain(compose(_1, _0)))), compose(_1, _0)), compose(_1, _0)) = compose(_1, _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(_1, codomain(_0))), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), codomain(compose(_1, codomain(_0))))), compose(_1, codomain(_0))), compose(_1, codomain(_0))) = compose(_1, codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(h, _0)), ifeq(codomain(g), domain(_0), compose(h, compose(_0, codomain(compose(h, _0)))), compose(h, _0)), compose(h, _0)) = compose(h, _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(h, codomain(_0))), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), codomain(compose(h, codomain(_0))))), compose(h, codomain(_0))), compose(h, codomain(_0))) = compose(h, codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(compose(a, g), _0)), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, codomain(compose(compose(a, g), _0)))), compose(compose(a, g), _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(compose(a, g), codomain(_0))), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), codomain(compose(compose(a, g), codomain(_0))))), compose(compose(a, g), codomain(_0))), compose(compose(a, g), codomain(_0))) = compose(compose(a, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(compose(a, b), _0)), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, codomain(compose(compose(a, b), _0)))), compose(compose(a, b), _0)), compose(compose(a, b), _0)) = compose(compose(a, b), _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(compose(a, b), codomain(_0))), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), codomain(compose(compose(a, b), codomain(_0))))), compose(compose(a, b), codomain(_0))), compose(compose(a, b), codomain(_0))) = compose(compose(a, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(codomain(_1), _0)), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, codomain(compose(codomain(_1), _0)))), compose(codomain(_1), _0)), compose(codomain(_1), _0)) = compose(codomain(_1), _0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(compose(codomain(_1), codomain(_0))), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), codomain(compose(codomain(_1), codomain(_0))))), compose(codomain(_1), codomain(_0))), compose(codomain(_1), codomain(_0))) = compose(codomain(_1), codomain(_0))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), domain(compose(_0, h)), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), domain(compose(_0, g)), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), domain(compose(_0, b)), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(domain(_0), compose(_0, h)), compose(_0, h)) = compose(_0, h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(domain(_0), compose(_0, g)), compose(_0, g)) = compose(_0, g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(domain(_0), compose(_0, b)), compose(_0, b)) = compose(_0, b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, h), compose(compose(_0, h), codomain(h))) = compose(compose(_0, h), codomain(h))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, h), compose(compose(_0, h), codomain(g))) = compose(compose(_0, h), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, h), compose(compose(_0, codomain(a)), h)) = compose(compose(_0, codomain(a)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, g), compose(compose(_0, g), codomain(g))) = compose(compose(_0, g), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, g), compose(compose(_0, codomain(a)), g)) = compose(compose(_0, codomain(a)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, compose(codomain(_0), h)), compose(_0, h)) = compose(_0, h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, compose(codomain(_0), g)), compose(_0, g)) = compose(_0, g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, compose(codomain(_0), b)), compose(_0, b)) = compose(_0, b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, b), compose(compose(_0, b), codomain(b))) = compose(compose(_0, b), codomain(b))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(_0, b), compose(compose(_0, codomain(a)), b)) = compose(compose(_0, codomain(a)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), h), compose(compose(codomain(_0), h), codomain(g))) = compose(compose(codomain(_0), h), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), h), compose(compose(codomain(_0), codomain(a)), h)) = compose(compose(codomain(_0), codomain(a)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(codomain(_0), h)), compose(codomain(_0), h)) = compose(codomain(_0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(codomain(_0), g)), compose(codomain(_0), g)) = compose(codomain(_0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(codomain(_0), b)), compose(codomain(_0), b)) = compose(codomain(_0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), g), compose(compose(codomain(_0), g), codomain(g))) = compose(compose(codomain(_0), g), codomain(g))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), g), compose(compose(codomain(_0), codomain(a)), g)) = compose(compose(codomain(_0), codomain(a)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), b), compose(compose(codomain(_0), b), codomain(b))) = compose(compose(codomain(_0), b), codomain(b))) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), compose(codomain(_0), b), compose(compose(codomain(_0), codomain(a)), b)) = compose(compose(codomain(_0), codomain(a)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, h)), compose(compose(domain(_1), _0), h)), compose(compose(domain(_1), _0), h)) = compose(compose(domain(_1), _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, g)), compose(compose(domain(_1), _0), g)), compose(compose(domain(_1), _0), g)) = compose(compose(domain(_1), _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), domain(_0), compose(domain(_1), compose(_0, b)), compose(compose(domain(_1), _0), b)), compose(compose(domain(_1), _0), b)) = compose(compose(domain(_1), _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), h)), compose(compose(domain(_1), codomain(_0)), h)), compose(compose(domain(_1), codomain(_0)), h)) = compose(compose(domain(_1), codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), g)), compose(compose(domain(_1), codomain(_0)), g)), compose(compose(domain(_1), codomain(_0)), g)) = compose(compose(domain(_1), codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(_1), codomain(_0), compose(domain(_1), compose(codomain(_0), b)), compose(compose(domain(_1), codomain(_0)), b)), compose(compose(domain(_1), codomain(_0)), b)) = compose(compose(domain(_1), codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(_0, h)), domain(_0), compose(_0, h), compose(compose(domain(compose(_0, h)), _0), h)), compose(compose(domain(compose(_0, h)), _0), h)) = compose(compose(domain(compose(_0, h)), _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(_0, g)), domain(_0), compose(_0, g), compose(compose(domain(compose(_0, g)), _0), g)), compose(compose(domain(compose(_0, g)), _0), g)) = compose(compose(domain(compose(_0, g)), _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(_0, b)), domain(_0), compose(_0, b), compose(compose(domain(compose(_0, b)), _0), b)), compose(compose(domain(compose(_0, b)), _0), b)) = compose(compose(domain(compose(_0, b)), _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(codomain(_0), h)), codomain(_0), compose(codomain(_0), h), compose(compose(domain(compose(codomain(_0), h)), codomain(_0)), h)), compose(compose(domain(compose(codomain(_0), h)), codomain(_0)), h)) = compose(compose(domain(compose(codomain(_0), h)), codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(codomain(_0), g)), codomain(_0), compose(codomain(_0), g), compose(compose(domain(compose(codomain(_0), g)), codomain(_0)), g)), compose(compose(domain(compose(codomain(_0), g)), codomain(_0)), g)) = compose(compose(domain(compose(codomain(_0), g)), codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(domain(compose(codomain(_0), b)), codomain(_0), compose(codomain(_0), b), compose(compose(domain(compose(codomain(_0), b)), codomain(_0)), b)), compose(compose(domain(compose(codomain(_0), b)), codomain(_0)), b)) = compose(compose(domain(compose(codomain(_0), b)), codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, h)), compose(compose(_1, _0), h)), compose(compose(_1, _0), h)) = compose(compose(_1, _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, g)), compose(compose(_1, _0), g)), compose(compose(_1, _0), g)) = compose(compose(_1, _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(_1, compose(_0, b)), compose(compose(_1, _0), b)), compose(compose(_1, _0), b)) = compose(compose(_1, _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, h)), compose(compose(codomain(_1), _0), h)), compose(compose(codomain(_1), _0), h)) = compose(compose(codomain(_1), _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, g)), compose(compose(codomain(_1), _0), g)), compose(compose(codomain(_1), _0), g)) = compose(compose(codomain(_1), _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), domain(_0), compose(codomain(_1), compose(_0, b)), compose(compose(codomain(_1), _0), b)), compose(compose(codomain(_1), _0), b)) = compose(compose(codomain(_1), _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), h)), compose(compose(_1, codomain(_0)), h)), compose(compose(_1, codomain(_0)), h)) = compose(compose(_1, codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), g)), compose(compose(_1, codomain(_0)), g)), compose(compose(_1, codomain(_0)), g)) = compose(compose(_1, codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), b)), compose(compose(_1, codomain(_0)), b)), compose(compose(_1, codomain(_0)), b)) = compose(compose(_1, codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), h)), compose(compose(codomain(_1), codomain(_0)), h)), compose(compose(codomain(_1), codomain(_0)), h)) = compose(compose(codomain(_1), codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), g)), compose(compose(codomain(_1), codomain(_0)), g)), compose(compose(codomain(_1), codomain(_0)), g)) = compose(compose(codomain(_1), codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(_1), codomain(_0), compose(codomain(_1), compose(codomain(_0), b)), compose(compose(codomain(_1), codomain(_0)), b)), compose(compose(codomain(_1), codomain(_0)), b)) = compose(compose(codomain(_1), codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(_0, h)), compose(compose(h, _0), h)), compose(compose(h, _0), h)) = compose(compose(h, _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(_0, g)), compose(compose(h, _0), g)), compose(compose(h, _0), g)) = compose(compose(h, _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(h, compose(_0, b)), compose(compose(h, _0), b)), compose(compose(h, _0), b)) = compose(compose(h, _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, h)), compose(compose(compose(a, g), _0), h)), compose(compose(compose(a, g), _0), h)) = compose(compose(compose(a, g), _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, g)), compose(compose(compose(a, g), _0), g)), compose(compose(compose(a, g), _0), g)) = compose(compose(compose(a, g), _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(_0, b)), compose(compose(compose(a, g), _0), b)), compose(compose(compose(a, g), _0), b)) = compose(compose(compose(a, g), _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), h)), compose(compose(h, codomain(_0)), h)), compose(compose(h, codomain(_0)), h)) = compose(compose(h, codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), g)), compose(compose(h, codomain(_0)), g)), compose(compose(h, codomain(_0)), g)) = compose(compose(h, codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(_0), b)), compose(compose(h, codomain(_0)), b)), compose(compose(h, codomain(_0)), b)) = compose(compose(h, codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), h)), compose(compose(compose(a, g), codomain(_0)), h)), compose(compose(compose(a, g), codomain(_0)), h)) = compose(compose(compose(a, g), codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), g)), compose(compose(compose(a, g), codomain(_0)), g)), compose(compose(compose(a, g), codomain(_0)), g)) = compose(compose(compose(a, g), codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(_0), b)), compose(compose(compose(a, g), codomain(_0)), b)), compose(compose(compose(a, g), codomain(_0)), b)) = compose(compose(compose(a, g), codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, h)), compose(compose(compose(a, b), _0), h)), compose(compose(compose(a, b), _0), h)) = compose(compose(compose(a, b), _0), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, g)), compose(compose(compose(a, b), _0), g)), compose(compose(compose(a, b), _0), g)) = compose(compose(compose(a, b), _0), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(_0, b)), compose(compose(compose(a, b), _0), b)), compose(compose(compose(a, b), _0), b)) = compose(compose(compose(a, b), _0), b)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), h)), compose(compose(compose(a, b), codomain(_0)), h)), compose(compose(compose(a, b), codomain(_0)), h)) = compose(compose(compose(a, b), codomain(_0)), h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), g)), compose(compose(compose(a, b), codomain(_0)), g)), compose(compose(compose(a, b), codomain(_0)), g)) = compose(compose(compose(a, b), codomain(_0)), g)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(_0), b)), compose(compose(compose(a, b), codomain(_0)), b)), compose(compose(compose(a, b), codomain(_0)), b)) = compose(compose(compose(a, b), codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), domain(compose(compose(a, g), _0)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), domain(compose(compose(a, g), domain(_0))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(domain(a), compose(compose(a, g), _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(domain(a), compose(compose(a, g), domain(_0))), compose(compose(a, g), domain(_0))) = compose(compose(a, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(h, _0), compose(compose(h, _0), codomain(_0))) = compose(compose(h, _0), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(h, _0), compose(compose(h, domain(_0)), _0)) = compose(compose(h, domain(_0)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(h, domain(_0)), compose(compose(h, domain(_0)), domain(_0))) = compose(compose(h, domain(_0)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(h, compose(codomain(g), _0)), compose(h, _0)) = compose(h, _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(h, compose(codomain(g), domain(_0))), compose(h, domain(_0))) = compose(h, domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(compose(a, g), _0), compose(compose(compose(a, g), _0), codomain(_0))) = compose(compose(compose(a, g), _0), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(compose(a, g), _0), compose(compose(compose(a, g), domain(_0)), _0)) = compose(compose(compose(a, g), domain(_0)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(compose(a, g), domain(_0)), compose(compose(compose(a, g), domain(_0)), domain(_0))) = compose(compose(compose(a, g), domain(_0)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(codomain(g), _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(compose(a, g), compose(codomain(g), domain(_0))), compose(compose(a, g), domain(_0))) = compose(compose(a, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(a, compose(h, _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(a, compose(h, domain(_0))), compose(compose(a, g), domain(_0))) = compose(compose(a, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(a, compose(g, _0)), compose(compose(a, g), _0)) = compose(compose(a, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(a, compose(g, domain(_0))), compose(compose(a, g), domain(_0))) = compose(compose(a, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(codomain(a), compose(h, _0)), compose(h, _0)) = compose(h, _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(codomain(a), compose(h, domain(_0))), compose(h, domain(_0))) = compose(h, domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(codomain(a), compose(g, _0)), compose(g, _0)) = compose(g, _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), compose(codomain(a), compose(g, domain(_0))), compose(g, domain(_0))) = compose(g, domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, g), _0)), compose(compose(domain(_1), compose(a, g)), _0)), compose(compose(domain(_1), compose(a, g)), _0)) = compose(compose(domain(_1), compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, g), domain(_0))), compose(compose(domain(_1), compose(a, g)), domain(_0))), compose(compose(domain(_1), compose(a, g)), domain(_0))) = compose(compose(domain(_1), compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(h, _0)), compose(compose(domain(_1), h), _0)), compose(compose(domain(_1), h), _0)) = compose(compose(domain(_1), h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(h, domain(_0))), compose(compose(domain(_1), h), domain(_0))), compose(compose(domain(_1), h), domain(_0))) = compose(compose(domain(_1), h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(g, _0)), compose(compose(domain(_1), g), _0)), compose(compose(domain(_1), g), _0)) = compose(compose(domain(_1), g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(g, domain(_0))), compose(compose(domain(_1), g), domain(_0))), compose(compose(domain(_1), g), domain(_0))) = compose(compose(domain(_1), g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(h, _0)), codomain(a), compose(h, _0), compose(compose(domain(compose(h, _0)), h), _0)), compose(compose(domain(compose(h, _0)), h), _0)) = compose(compose(domain(compose(h, _0)), h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(h, domain(_0))), codomain(a), compose(h, domain(_0)), compose(compose(domain(compose(h, domain(_0))), h), domain(_0))), compose(compose(domain(compose(h, domain(_0))), h), domain(_0))) = compose(compose(domain(compose(h, domain(_0))), h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(g, _0)), codomain(a), compose(g, _0), compose(compose(domain(compose(g, _0)), g), _0)), compose(compose(domain(compose(g, _0)), g), _0)) = compose(compose(domain(compose(g, _0)), g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(g, domain(_0))), codomain(a), compose(g, domain(_0)), compose(compose(domain(compose(g, domain(_0))), g), domain(_0))), compose(compose(domain(compose(g, domain(_0))), g), domain(_0))) = compose(compose(domain(compose(g, domain(_0))), g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(compose(a, g), _0)), domain(a), compose(compose(a, g), _0), compose(compose(domain(compose(compose(a, g), _0)), compose(a, g)), _0)), compose(compose(domain(compose(compose(a, g), _0)), compose(a, g)), _0)) = compose(compose(domain(compose(compose(a, g), _0)), compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(domain(compose(compose(a, g), domain(_0))), domain(a), compose(compose(a, g), domain(_0)), compose(compose(domain(compose(compose(a, g), domain(_0))), compose(a, g)), domain(_0))), compose(compose(domain(compose(compose(a, g), domain(_0))), compose(a, g)), domain(_0))) = compose(compose(domain(compose(compose(a, g), domain(_0))), compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, g), _0)), compose(compose(_1, compose(a, g)), _0)), compose(compose(_1, compose(a, g)), _0)) = compose(compose(_1, compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, g), domain(_0))), compose(compose(_1, compose(a, g)), domain(_0))), compose(compose(_1, compose(a, g)), domain(_0))) = compose(compose(_1, compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, g), _0)), compose(compose(codomain(_1), compose(a, g)), _0)), compose(compose(codomain(_1), compose(a, g)), _0)) = compose(compose(codomain(_1), compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, g), domain(_0))), compose(compose(codomain(_1), compose(a, g)), domain(_0))), compose(compose(codomain(_1), compose(a, g)), domain(_0))) = compose(compose(codomain(_1), compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(h, _0)), compose(compose(_1, h), _0)), compose(compose(_1, h), _0)) = compose(compose(_1, h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(h, domain(_0))), compose(compose(_1, h), domain(_0))), compose(compose(_1, h), domain(_0))) = compose(compose(_1, h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(g, _0)), compose(compose(_1, g), _0)), compose(compose(_1, g), _0)) = compose(compose(_1, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(g, domain(_0))), compose(compose(_1, g), domain(_0))), compose(compose(_1, g), domain(_0))) = compose(compose(_1, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(h, _0)), compose(compose(codomain(_1), h), _0)), compose(compose(codomain(_1), h), _0)) = compose(compose(codomain(_1), h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(h, domain(_0))), compose(compose(codomain(_1), h), domain(_0))), compose(compose(codomain(_1), h), domain(_0))) = compose(compose(codomain(_1), h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(g, _0)), compose(compose(codomain(_1), g), _0)), compose(compose(codomain(_1), g), _0)) = compose(compose(codomain(_1), g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(g, domain(_0))), compose(compose(codomain(_1), g), domain(_0))), compose(compose(codomain(_1), g), domain(_0))) = compose(compose(codomain(_1), g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), _0)), compose(compose(h, compose(a, g)), _0)), compose(compose(h, compose(a, g)), _0)) = compose(compose(h, compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), domain(_0))), compose(compose(h, compose(a, g)), domain(_0))), compose(compose(h, compose(a, g)), domain(_0))) = compose(compose(h, compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), _0)), compose(compose(compose(a, g), compose(a, g)), _0)), compose(compose(compose(a, g), compose(a, g)), _0)) = compose(compose(compose(a, g), compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), domain(_0))), compose(compose(compose(a, g), compose(a, g)), domain(_0))), compose(compose(compose(a, g), compose(a, g)), domain(_0))) = compose(compose(compose(a, g), compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(h, _0)), compose(compose(h, h), _0)), compose(compose(h, h), _0)) = compose(compose(h, h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(h, domain(_0))), compose(compose(h, h), domain(_0))), compose(compose(h, h), domain(_0))) = compose(compose(h, h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(g, _0)), compose(compose(h, g), _0)), compose(compose(h, g), _0)) = compose(compose(h, g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(g, domain(_0))), compose(compose(h, g), domain(_0))), compose(compose(h, g), domain(_0))) = compose(compose(h, g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, _0)), compose(compose(compose(a, g), h), _0)), compose(compose(compose(a, g), h), _0)) = compose(compose(compose(a, g), h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, domain(_0))), compose(compose(compose(a, g), h), domain(_0))), compose(compose(compose(a, g), h), domain(_0))) = compose(compose(compose(a, g), h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, _0)), compose(compose(compose(a, g), g), _0)), compose(compose(compose(a, g), g), _0)) = compose(compose(compose(a, g), g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, domain(_0))), compose(compose(compose(a, g), g), domain(_0))), compose(compose(compose(a, g), g), domain(_0))) = compose(compose(compose(a, g), g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), _0)), compose(compose(compose(a, b), compose(a, g)), _0)), compose(compose(compose(a, b), compose(a, g)), _0)) = compose(compose(compose(a, b), compose(a, g)), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), domain(_0))), compose(compose(compose(a, b), compose(a, g)), domain(_0))), compose(compose(compose(a, b), compose(a, g)), domain(_0))) = compose(compose(compose(a, b), compose(a, g)), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, _0)), compose(compose(compose(a, b), h), _0)), compose(compose(compose(a, b), h), _0)) = compose(compose(compose(a, b), h), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, domain(_0))), compose(compose(compose(a, b), h), domain(_0))), compose(compose(compose(a, b), h), domain(_0))) = compose(compose(compose(a, b), h), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, _0)), compose(compose(compose(a, b), g), _0)), compose(compose(compose(a, b), g), _0)) = compose(compose(compose(a, b), g), _0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, domain(_0))), compose(compose(compose(a, b), g), domain(_0))), compose(compose(compose(a, b), g), domain(_0))) = compose(compose(compose(a, b), g), domain(_0))) % 274.02/274.37 (ifeq(codomain(g), domain(_0), codomain(compose(h, domain(_0))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(g), domain(_0), codomain(compose(compose(a, g), domain(_0))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(g), domain(a), domain(compose(compose(a, g), compose(a, g))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), domain(compose(compose(a, g), compose(a, b))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(domain(a), compose(compose(a, g), compose(a, g))), compose(compose(a, g), compose(a, g))) = compose(compose(a, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(domain(a), compose(compose(a, g), compose(a, b))), compose(compose(a, g), compose(a, b))) = compose(compose(a, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, g)), compose(compose(h, domain(a)), compose(a, g))) = compose(compose(h, domain(a)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, g)), compose(compose(h, compose(a, g)), codomain(g))) = compose(compose(h, compose(a, g)), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, g)), compose(compose(h, a), h)) = compose(compose(h, a), h)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, g)), compose(compose(h, a), g)) = compose(compose(h, a), g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, b)), compose(compose(h, domain(a)), compose(a, b))) = compose(compose(h, domain(a)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, b)), compose(compose(h, compose(a, b)), codomain(b))) = compose(compose(h, compose(a, b)), codomain(b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(a, b)), compose(compose(h, a), b)) = compose(compose(h, a), b)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(codomain(g), compose(a, g))), compose(h, compose(a, g))) = compose(h, compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(h, compose(codomain(g), compose(a, b))), compose(h, compose(a, b))) = compose(h, compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, g)), compose(compose(compose(a, g), domain(a)), compose(a, g))) = compose(compose(compose(a, g), domain(a)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, g)), compose(compose(compose(a, g), compose(a, g)), codomain(g))) = compose(compose(compose(a, g), compose(a, g)), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, g)), compose(compose(compose(a, g), a), h)) = compose(compose(compose(a, g), a), h)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, g)), compose(compose(compose(a, g), a), g)) = compose(compose(compose(a, g), a), g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, b)), compose(compose(compose(a, g), domain(a)), compose(a, b))) = compose(compose(compose(a, g), domain(a)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, b)), compose(compose(compose(a, g), compose(a, b)), codomain(b))) = compose(compose(compose(a, g), compose(a, b)), codomain(b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(a, b)), compose(compose(compose(a, g), a), b)) = compose(compose(compose(a, g), a), b)) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(codomain(g), compose(a, g))), compose(compose(a, g), compose(a, g))) = compose(compose(a, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(compose(a, g), compose(codomain(g), compose(a, b))), compose(compose(a, g), compose(a, b))) = compose(compose(a, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(a, compose(h, compose(a, g))), compose(compose(a, g), compose(a, g))) = compose(compose(a, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(a, compose(h, compose(a, b))), compose(compose(a, g), compose(a, b))) = compose(compose(a, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(a, compose(g, compose(a, g))), compose(compose(a, g), compose(a, g))) = compose(compose(a, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(a, compose(g, compose(a, b))), compose(compose(a, g), compose(a, b))) = compose(compose(a, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(codomain(a), compose(h, compose(a, g))), compose(h, compose(a, g))) = compose(h, compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(codomain(a), compose(h, compose(a, b))), compose(h, compose(a, b))) = compose(h, compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(codomain(a), compose(g, compose(a, g))), compose(g, compose(a, g))) = compose(g, compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), compose(codomain(a), compose(g, compose(a, b))), compose(g, compose(a, b))) = compose(g, compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), compose(a, g))), compose(compose(domain(_0), compose(a, g)), compose(a, g))), compose(compose(domain(_0), compose(a, g)), compose(a, g))) = compose(compose(domain(_0), compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), compose(a, b))), compose(compose(domain(_0), compose(a, g)), compose(a, b))), compose(compose(domain(_0), compose(a, g)), compose(a, b))) = compose(compose(domain(_0), compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(h, compose(a, b)), _1, ifeq(compose(domain(_0), compose(a, b)), _1, domain(_0), h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(h, compose(a, b)), compose(domain(_0), compose(a, b)), domain(_0), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(h, compose(a, b)), domain(_0), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(compose(a, g), compose(a, b)), domain(_0), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _1, ifeq(compose(domain(_0), compose(a, b)), _1, domain(_0), compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(domain(_0), compose(a, b)), domain(_0), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, compose(a, g))), compose(compose(domain(_0), h), compose(a, g))), compose(compose(domain(_0), h), compose(a, g))) = compose(compose(domain(_0), h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, compose(a, b))), compose(compose(domain(_0), h), compose(a, b))), compose(compose(domain(_0), h), compose(a, b))) = compose(compose(domain(_0), h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, compose(a, g))), compose(compose(domain(_0), g), compose(a, g))), compose(compose(domain(_0), g), compose(a, g))) = compose(compose(domain(_0), g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, compose(a, b))), compose(compose(domain(_0), g), compose(a, b))), compose(compose(domain(_0), g), compose(a, b))) = compose(compose(domain(_0), g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(h, compose(a, g))), codomain(a), compose(h, compose(a, g)), compose(compose(domain(compose(h, compose(a, g))), h), compose(a, g))), compose(compose(domain(compose(h, compose(a, g))), h), compose(a, g))) = compose(compose(domain(compose(h, compose(a, g))), h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(h, compose(a, b))), codomain(a), compose(h, compose(a, b)), compose(compose(domain(compose(h, compose(a, b))), h), compose(a, b))), compose(compose(domain(compose(h, compose(a, b))), h), compose(a, b))) = compose(compose(domain(compose(h, compose(a, b))), h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(g, compose(a, g))), codomain(a), compose(g, compose(a, g)), compose(compose(domain(compose(g, compose(a, g))), g), compose(a, g))), compose(compose(domain(compose(g, compose(a, g))), g), compose(a, g))) = compose(compose(domain(compose(g, compose(a, g))), g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(g, compose(a, b))), codomain(a), compose(g, compose(a, b)), compose(compose(domain(compose(g, compose(a, b))), g), compose(a, b))), compose(compose(domain(compose(g, compose(a, b))), g), compose(a, b))) = compose(compose(domain(compose(g, compose(a, b))), g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(compose(a, g), compose(a, g))), domain(a), compose(compose(a, g), compose(a, g)), compose(compose(domain(compose(compose(a, g), compose(a, g))), compose(a, g)), compose(a, g))), compose(compose(domain(compose(compose(a, g), compose(a, g))), compose(a, g)), compose(a, g))) = compose(compose(domain(compose(compose(a, g), compose(a, g))), compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(domain(compose(compose(a, g), compose(a, b))), domain(a), compose(compose(a, g), compose(a, b)), compose(compose(domain(compose(compose(a, g), compose(a, b))), compose(a, g)), compose(a, b))), compose(compose(domain(compose(compose(a, g), compose(a, b))), compose(a, g)), compose(a, b))) = compose(compose(domain(compose(compose(a, g), compose(a, b))), compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), _0, ifeq(compose(a, b), _0, domain(a), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(a, b), h, domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(a, b), domain(a), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _0, ifeq(compose(a, b), _0, domain(a), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(a, b), domain(a), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(a, b), compose(a, g), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), _0, ifeq(compose(h, compose(a, b)), _0, h, domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), _0, ifeq(compose(compose(a, g), compose(a, b)), _0, compose(a, g), domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), compose(h, compose(a, b)), h, domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), compose(h, compose(a, b)), domain(a), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), compose(compose(a, g), compose(a, b)), domain(a), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(compose(a, b), compose(compose(a, g), compose(a, b)), compose(a, g), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), compose(a, g))), compose(compose(_0, compose(a, g)), compose(a, g))), compose(compose(_0, compose(a, g)), compose(a, g))) = compose(compose(_0, compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), compose(a, b))), compose(compose(_0, compose(a, g)), compose(a, b))), compose(compose(_0, compose(a, g)), compose(a, b))) = compose(compose(_0, compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), compose(a, g))), compose(compose(codomain(_0), compose(a, g)), compose(a, g))), compose(compose(codomain(_0), compose(a, g)), compose(a, g))) = compose(compose(codomain(_0), compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), compose(a, b))), compose(compose(codomain(_0), compose(a, g)), compose(a, b))), compose(compose(codomain(_0), compose(a, g)), compose(a, b))) = compose(compose(codomain(_0), compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), compose(h, compose(a, b)), _0, h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), compose(compose(a, g), compose(a, b)), _0, compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(h, compose(a, b)), _1, ifeq(compose(_0, compose(a, b)), _1, _0, h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(h, compose(a, b)), _1, ifeq(compose(codomain(_0), compose(a, b)), _1, codomain(_0), h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(h, compose(a, b)), compose(_0, compose(a, b)), _0, h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(h, compose(a, b)), compose(codomain(_0), compose(a, b)), codomain(_0), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _1, ifeq(compose(_0, compose(a, b)), _1, _0, compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _1, ifeq(compose(codomain(_0), compose(a, b)), _1, codomain(_0), compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(_0, compose(a, b)), _0, compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(codomain(_0), compose(a, b)), codomain(_0), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(h, compose(a, b)), codomain(_0), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(compose(a, g), compose(a, b)), codomain(_0), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, compose(a, g))), compose(compose(_0, h), compose(a, g))), compose(compose(_0, h), compose(a, g))) = compose(compose(_0, h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, compose(a, b))), compose(compose(_0, h), compose(a, b))), compose(compose(_0, h), compose(a, b))) = compose(compose(_0, h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, compose(a, g))), compose(compose(_0, g), compose(a, g))), compose(compose(_0, g), compose(a, g))) = compose(compose(_0, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, compose(a, b))), compose(compose(_0, g), compose(a, b))), compose(compose(_0, g), compose(a, b))) = compose(compose(_0, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, compose(a, g))), compose(compose(codomain(_0), h), compose(a, g))), compose(compose(codomain(_0), h), compose(a, g))) = compose(compose(codomain(_0), h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, compose(a, b))), compose(compose(codomain(_0), h), compose(a, b))), compose(compose(codomain(_0), h), compose(a, b))) = compose(compose(codomain(_0), h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, compose(a, g))), compose(compose(codomain(_0), g), compose(a, g))), compose(compose(codomain(_0), g), compose(a, g))) = compose(compose(codomain(_0), g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, compose(a, b))), compose(compose(codomain(_0), g), compose(a, b))), compose(compose(codomain(_0), g), compose(a, b))) = compose(compose(codomain(_0), g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), h, h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), compose(a, g))), compose(compose(h, compose(a, g)), compose(a, g))), compose(compose(h, compose(a, g)), compose(a, g))) = compose(compose(h, compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), compose(a, b))), compose(compose(h, compose(a, g)), compose(a, b))), compose(compose(h, compose(a, g)), compose(a, b))) = compose(compose(h, compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), compose(a, g))), compose(compose(compose(a, g), compose(a, g)), compose(a, g))), compose(compose(compose(a, g), compose(a, g)), compose(a, g))) = compose(compose(compose(a, g), compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), compose(a, b))), compose(compose(compose(a, g), compose(a, g)), compose(a, b))), compose(compose(compose(a, g), compose(a, g)), compose(a, b))) = compose(compose(compose(a, g), compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), compose(a, g), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), _0, ifeq(compose(h, compose(a, b)), _0, h, h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), _0, ifeq(compose(compose(a, g), compose(a, b)), _0, compose(a, g), h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(compose(a, g), compose(a, b)), h, compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, g), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _0, ifeq(compose(h, compose(a, b)), _0, h, compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _0, ifeq(compose(compose(a, g), compose(a, b)), _0, compose(a, g), compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(h, compose(a, b)), h, compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(h, compose(a, b)), compose(a, g), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(h, compose(a, g))), compose(compose(h, h), compose(a, g))), compose(compose(h, h), compose(a, g))) = compose(compose(h, h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(h, compose(a, b))), compose(compose(h, h), compose(a, b))), compose(compose(h, h), compose(a, b))) = compose(compose(h, h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(g, compose(a, g))), compose(compose(h, g), compose(a, g))), compose(compose(h, g), compose(a, g))) = compose(compose(h, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(g, compose(a, b))), compose(compose(h, g), compose(a, b))), compose(compose(h, g), compose(a, b))) = compose(compose(h, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, compose(a, g))), compose(compose(compose(a, g), h), compose(a, g))), compose(compose(compose(a, g), h), compose(a, g))) = compose(compose(compose(a, g), h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, compose(a, b))), compose(compose(compose(a, g), h), compose(a, b))), compose(compose(compose(a, g), h), compose(a, b))) = compose(compose(compose(a, g), h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, compose(a, g))), compose(compose(compose(a, g), g), compose(a, g))), compose(compose(compose(a, g), g), compose(a, g))) = compose(compose(compose(a, g), g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, compose(a, b))), compose(compose(compose(a, g), g), compose(a, b))), compose(compose(compose(a, g), g), compose(a, b))) = compose(compose(compose(a, g), g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), compose(a, g))), compose(compose(compose(a, b), compose(a, g)), compose(a, g))), compose(compose(compose(a, b), compose(a, g)), compose(a, g))) = compose(compose(compose(a, b), compose(a, g)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), compose(a, b))), compose(compose(compose(a, b), compose(a, g)), compose(a, b))), compose(compose(compose(a, b), compose(a, g)), compose(a, b))) = compose(compose(compose(a, b), compose(a, g)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(h, compose(a, b)), _0, ifeq(compose(compose(a, b), compose(a, b)), _0, compose(a, b), h), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(h, compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, b), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, g), compose(a, b)), _0, ifeq(compose(compose(a, b), compose(a, b)), _0, compose(a, b), compose(a, g)), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, b), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(h, compose(a, b)), compose(a, b), h), h), h) = h) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, b), compose(a, g)), compose(a, g)), compose(a, g)) = compose(a, g)) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, compose(a, g))), compose(compose(compose(a, b), h), compose(a, g))), compose(compose(compose(a, b), h), compose(a, g))) = compose(compose(compose(a, b), h), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, compose(a, b))), compose(compose(compose(a, b), h), compose(a, b))), compose(compose(compose(a, b), h), compose(a, b))) = compose(compose(compose(a, b), h), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, compose(a, g))), compose(compose(compose(a, b), g), compose(a, g))), compose(compose(compose(a, b), g), compose(a, g))) = compose(compose(compose(a, b), g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, compose(a, b))), compose(compose(compose(a, b), g), compose(a, b))), compose(compose(compose(a, b), g), compose(a, b))) = compose(compose(compose(a, b), g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), domain(compose(compose(a, g), codomain(_0))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(domain(a), compose(compose(a, g), codomain(_0))), compose(compose(a, g), codomain(_0))) = compose(compose(a, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(h, compose(codomain(g), codomain(_0))), compose(h, codomain(_0))) = compose(h, codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(h, codomain(_0)), compose(compose(h, codomain(_0)), codomain(_0))) = compose(compose(h, codomain(_0)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(compose(a, g), compose(codomain(g), codomain(_0))), compose(compose(a, g), codomain(_0))) = compose(compose(a, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(compose(a, g), codomain(_0)), compose(compose(compose(a, g), codomain(_0)), codomain(_0))) = compose(compose(compose(a, g), codomain(_0)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(a, compose(h, codomain(_0))), compose(compose(a, g), codomain(_0))) = compose(compose(a, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(a, compose(g, codomain(_0))), compose(compose(a, g), codomain(_0))) = compose(compose(a, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(codomain(a), compose(h, codomain(_0))), compose(h, codomain(_0))) = compose(h, codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), compose(codomain(a), compose(g, codomain(_0))), compose(g, codomain(_0))) = compose(g, codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, g), codomain(_0))), compose(compose(domain(_1), compose(a, g)), codomain(_0))), compose(compose(domain(_1), compose(a, g)), codomain(_0))) = compose(compose(domain(_1), compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(h, codomain(_0))), compose(compose(domain(_1), h), codomain(_0))), compose(compose(domain(_1), h), codomain(_0))) = compose(compose(domain(_1), h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(g, codomain(_0))), compose(compose(domain(_1), g), codomain(_0))), compose(compose(domain(_1), g), codomain(_0))) = compose(compose(domain(_1), g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(compose(h, codomain(_0))), codomain(a), compose(h, codomain(_0)), compose(compose(domain(compose(h, codomain(_0))), h), codomain(_0))), compose(compose(domain(compose(h, codomain(_0))), h), codomain(_0))) = compose(compose(domain(compose(h, codomain(_0))), h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(compose(g, codomain(_0))), codomain(a), compose(g, codomain(_0)), compose(compose(domain(compose(g, codomain(_0))), g), codomain(_0))), compose(compose(domain(compose(g, codomain(_0))), g), codomain(_0))) = compose(compose(domain(compose(g, codomain(_0))), g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(domain(compose(compose(a, g), codomain(_0))), domain(a), compose(compose(a, g), codomain(_0)), compose(compose(domain(compose(compose(a, g), codomain(_0))), compose(a, g)), codomain(_0))), compose(compose(domain(compose(compose(a, g), codomain(_0))), compose(a, g)), codomain(_0))) = compose(compose(domain(compose(compose(a, g), codomain(_0))), compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, g), codomain(_0))), compose(compose(_1, compose(a, g)), codomain(_0))), compose(compose(_1, compose(a, g)), codomain(_0))) = compose(compose(_1, compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, g), codomain(_0))), compose(compose(codomain(_1), compose(a, g)), codomain(_0))), compose(compose(codomain(_1), compose(a, g)), codomain(_0))) = compose(compose(codomain(_1), compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(h, codomain(_0))), compose(compose(_1, h), codomain(_0))), compose(compose(_1, h), codomain(_0))) = compose(compose(_1, h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(g, codomain(_0))), compose(compose(_1, g), codomain(_0))), compose(compose(_1, g), codomain(_0))) = compose(compose(_1, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(h, codomain(_0))), compose(compose(codomain(_1), h), codomain(_0))), compose(compose(codomain(_1), h), codomain(_0))) = compose(compose(codomain(_1), h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(g, codomain(_0))), compose(compose(codomain(_1), g), codomain(_0))), compose(compose(codomain(_1), g), codomain(_0))) = compose(compose(codomain(_1), g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), codomain(_0))), compose(compose(h, compose(a, g)), codomain(_0))), compose(compose(h, compose(a, g)), codomain(_0))) = compose(compose(h, compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), codomain(_0))), compose(compose(compose(a, g), compose(a, g)), codomain(_0))), compose(compose(compose(a, g), compose(a, g)), codomain(_0))) = compose(compose(compose(a, g), compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(h, codomain(_0))), compose(compose(h, h), codomain(_0))), compose(compose(h, h), codomain(_0))) = compose(compose(h, h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(g, codomain(_0))), compose(compose(h, g), codomain(_0))), compose(compose(h, g), codomain(_0))) = compose(compose(h, g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, codomain(_0))), compose(compose(compose(a, g), h), codomain(_0))), compose(compose(compose(a, g), h), codomain(_0))) = compose(compose(compose(a, g), h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, codomain(_0))), compose(compose(compose(a, g), g), codomain(_0))), compose(compose(compose(a, g), g), codomain(_0))) = compose(compose(compose(a, g), g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), codomain(_0))), compose(compose(compose(a, b), compose(a, g)), codomain(_0))), compose(compose(compose(a, b), compose(a, g)), codomain(_0))) = compose(compose(compose(a, b), compose(a, g)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, codomain(_0))), compose(compose(compose(a, b), h), codomain(_0))), compose(compose(compose(a, b), h), codomain(_0))) = compose(compose(compose(a, b), h), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, codomain(_0))), compose(compose(compose(a, b), g), codomain(_0))), compose(compose(compose(a, b), g), codomain(_0))) = compose(compose(compose(a, b), g), codomain(_0))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(domain(_0), h)), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, codomain(compose(domain(_0), h)))), compose(domain(_0), h)), compose(domain(_0), h)) = compose(domain(_0), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(domain(_0), g)), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, codomain(compose(domain(_0), g)))), compose(domain(_0), g)), compose(domain(_0), g)) = compose(domain(_0), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(domain(_0), compose(a, g))), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), codomain(compose(domain(_0), compose(a, g))))), compose(domain(_0), compose(a, g))), compose(domain(_0), compose(a, g))) = compose(domain(_0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(_0, h)), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, codomain(compose(_0, h)))), compose(_0, h)), compose(_0, h)) = compose(_0, h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(_0, g)), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, codomain(compose(_0, g)))), compose(_0, g)), compose(_0, g)) = compose(_0, g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(_0, compose(a, g))), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), codomain(compose(_0, compose(a, g))))), compose(_0, compose(a, g))), compose(_0, compose(a, g))) = compose(_0, compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(h, h)), ifeq(codomain(g), codomain(a), compose(h, compose(h, codomain(compose(h, h)))), compose(h, h)), compose(h, h)) = compose(h, h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(h, g)), ifeq(codomain(g), codomain(a), compose(h, compose(g, codomain(compose(h, g)))), compose(h, g)), compose(h, g)) = compose(h, g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(h, compose(a, g))), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), codomain(compose(h, compose(a, g))))), compose(h, compose(a, g))), compose(h, compose(a, g))) = compose(h, compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, g), h)), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, codomain(compose(compose(a, g), h)))), compose(compose(a, g), h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, g), g)), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, codomain(compose(compose(a, g), g)))), compose(compose(a, g), g)), compose(compose(a, g), g)) = compose(compose(a, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, g), compose(a, g))), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), codomain(compose(compose(a, g), compose(a, g))))), compose(compose(a, g), compose(a, g))), compose(compose(a, g), compose(a, g))) = compose(compose(a, g), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, b), h)), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, codomain(compose(compose(a, b), h)))), compose(compose(a, b), h)), compose(compose(a, b), h)) = compose(compose(a, b), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, b), g)), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, codomain(compose(compose(a, b), g)))), compose(compose(a, b), g)), compose(compose(a, b), g)) = compose(compose(a, b), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(compose(a, b), compose(a, g))), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), codomain(compose(compose(a, b), compose(a, g))))), compose(compose(a, b), compose(a, g))), compose(compose(a, b), compose(a, g))) = compose(compose(a, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(codomain(_0), h)), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, codomain(compose(codomain(_0), h)))), compose(codomain(_0), h)), compose(codomain(_0), h)) = compose(codomain(_0), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(codomain(_0), g)), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, codomain(compose(codomain(_0), g)))), compose(codomain(_0), g)), compose(codomain(_0), g)) = compose(codomain(_0), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(compose(codomain(_0), compose(a, g))), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), codomain(compose(codomain(_0), compose(a, g))))), compose(codomain(_0), compose(a, g))), compose(codomain(_0), compose(a, g))) = compose(codomain(_0), compose(a, g))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), domain(compose(compose(a, g), h)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), domain(compose(compose(a, g), g)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), domain(compose(compose(a, g), b)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(domain(a), compose(compose(a, g), h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(domain(a), compose(compose(a, g), g)), compose(compose(a, g), g)) = compose(compose(a, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(domain(a), compose(compose(a, g), b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, h), compose(compose(h, h), codomain(g))) = compose(compose(h, h), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, h), compose(compose(h, codomain(a)), h)) = compose(compose(h, codomain(a)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, g), compose(compose(h, g), codomain(g))) = compose(compose(h, g), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, g), compose(compose(h, codomain(a)), g)) = compose(compose(h, codomain(a)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, compose(codomain(g), h)), compose(h, h)) = compose(h, h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, compose(codomain(g), g)), compose(h, g)) = compose(h, g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, compose(codomain(g), b)), compose(h, b)) = compose(h, b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, b), compose(compose(h, codomain(a)), b)) = compose(compose(h, codomain(a)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(h, b), compose(compose(h, b), codomain(b))) = compose(compose(h, b), codomain(b))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), h), compose(compose(compose(a, g), h), codomain(g))) = compose(compose(compose(a, g), h), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), h), compose(compose(compose(a, g), codomain(a)), h)) = compose(compose(compose(a, g), codomain(a)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(codomain(g), h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(codomain(g), g)), compose(compose(a, g), g)) = compose(compose(a, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(codomain(g), b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), g), compose(compose(compose(a, g), g), codomain(g))) = compose(compose(compose(a, g), g), codomain(g))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), g), compose(compose(compose(a, g), codomain(a)), g)) = compose(compose(compose(a, g), codomain(a)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), b), compose(compose(compose(a, g), b), codomain(b))) = compose(compose(compose(a, g), b), codomain(b))) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(compose(a, g), b), compose(compose(compose(a, g), codomain(a)), b)) = compose(compose(compose(a, g), codomain(a)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(h, h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(h, g)), compose(compose(a, g), g)) = compose(compose(a, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(h, b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(g, h)), compose(compose(a, g), h)) = compose(compose(a, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(g, g)), compose(compose(a, g), g)) = compose(compose(a, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(a, compose(g, b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(h, h)), compose(h, h)) = compose(h, h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(h, g)), compose(h, g)) = compose(h, g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(h, b)), compose(h, b)) = compose(h, b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(g, h)), compose(g, h)) = compose(g, h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(g, g)), compose(g, g)) = compose(g, g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), compose(codomain(a), compose(g, b)), compose(g, b)) = compose(g, b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), h)), compose(compose(domain(_0), compose(a, g)), h)), compose(compose(domain(_0), compose(a, g)), h)) = compose(compose(domain(_0), compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), g)), compose(compose(domain(_0), compose(a, g)), g)), compose(compose(domain(_0), compose(a, g)), g)) = compose(compose(domain(_0), compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, g), b)), compose(compose(domain(_0), compose(a, g)), b)), compose(compose(domain(_0), compose(a, g)), b)) = compose(compose(domain(_0), compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, h)), compose(compose(domain(_0), h), h)), compose(compose(domain(_0), h), h)) = compose(compose(domain(_0), h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, g)), compose(compose(domain(_0), h), g)), compose(compose(domain(_0), h), g)) = compose(compose(domain(_0), h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(h, b)), compose(compose(domain(_0), h), b)), compose(compose(domain(_0), h), b)) = compose(compose(domain(_0), h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, h)), compose(compose(domain(_0), g), h)), compose(compose(domain(_0), g), h)) = compose(compose(domain(_0), g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, g)), compose(compose(domain(_0), g), g)), compose(compose(domain(_0), g), g)) = compose(compose(domain(_0), g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(g, b)), compose(compose(domain(_0), g), b)), compose(compose(domain(_0), g), b)) = compose(compose(domain(_0), g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(h, h)), codomain(a), compose(h, h), compose(compose(domain(compose(h, h)), h), h)), compose(compose(domain(compose(h, h)), h), h)) = compose(compose(domain(compose(h, h)), h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(h, g)), codomain(a), compose(h, g), compose(compose(domain(compose(h, g)), h), g)), compose(compose(domain(compose(h, g)), h), g)) = compose(compose(domain(compose(h, g)), h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(h, b)), codomain(a), compose(h, b), compose(compose(domain(compose(h, b)), h), b)), compose(compose(domain(compose(h, b)), h), b)) = compose(compose(domain(compose(h, b)), h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(g, h)), codomain(a), compose(g, h), compose(compose(domain(compose(g, h)), g), h)), compose(compose(domain(compose(g, h)), g), h)) = compose(compose(domain(compose(g, h)), g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(g, g)), codomain(a), compose(g, g), compose(compose(domain(compose(g, g)), g), g)), compose(compose(domain(compose(g, g)), g), g)) = compose(compose(domain(compose(g, g)), g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(g, b)), codomain(a), compose(g, b), compose(compose(domain(compose(g, b)), g), b)), compose(compose(domain(compose(g, b)), g), b)) = compose(compose(domain(compose(g, b)), g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(compose(a, g), h)), domain(a), compose(compose(a, g), h), compose(compose(domain(compose(compose(a, g), h)), compose(a, g)), h)), compose(compose(domain(compose(compose(a, g), h)), compose(a, g)), h)) = compose(compose(domain(compose(compose(a, g), h)), compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(compose(a, g), g)), domain(a), compose(compose(a, g), g), compose(compose(domain(compose(compose(a, g), g)), compose(a, g)), g)), compose(compose(domain(compose(compose(a, g), g)), compose(a, g)), g)) = compose(compose(domain(compose(compose(a, g), g)), compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(domain(compose(compose(a, g), b)), domain(a), compose(compose(a, g), b), compose(compose(domain(compose(compose(a, g), b)), compose(a, g)), b)), compose(compose(domain(compose(compose(a, g), b)), compose(a, g)), b)) = compose(compose(domain(compose(compose(a, g), b)), compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), h)), compose(compose(_0, compose(a, g)), h)), compose(compose(_0, compose(a, g)), h)) = compose(compose(_0, compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), g)), compose(compose(_0, compose(a, g)), g)), compose(compose(_0, compose(a, g)), g)) = compose(compose(_0, compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, g), b)), compose(compose(_0, compose(a, g)), b)), compose(compose(_0, compose(a, g)), b)) = compose(compose(_0, compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), h)), compose(compose(codomain(_0), compose(a, g)), h)), compose(compose(codomain(_0), compose(a, g)), h)) = compose(compose(codomain(_0), compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), g)), compose(compose(codomain(_0), compose(a, g)), g)), compose(compose(codomain(_0), compose(a, g)), g)) = compose(compose(codomain(_0), compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, g), b)), compose(compose(codomain(_0), compose(a, g)), b)), compose(compose(codomain(_0), compose(a, g)), b)) = compose(compose(codomain(_0), compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, h)), compose(compose(_0, h), h)), compose(compose(_0, h), h)) = compose(compose(_0, h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, g)), compose(compose(_0, h), g)), compose(compose(_0, h), g)) = compose(compose(_0, h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(h, b)), compose(compose(_0, h), b)), compose(compose(_0, h), b)) = compose(compose(_0, h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, h)), compose(compose(_0, g), h)), compose(compose(_0, g), h)) = compose(compose(_0, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, g)), compose(compose(_0, g), g)), compose(compose(_0, g), g)) = compose(compose(_0, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(g, b)), compose(compose(_0, g), b)), compose(compose(_0, g), b)) = compose(compose(_0, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, h)), compose(compose(codomain(_0), h), h)), compose(compose(codomain(_0), h), h)) = compose(compose(codomain(_0), h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, g)), compose(compose(codomain(_0), h), g)), compose(compose(codomain(_0), h), g)) = compose(compose(codomain(_0), h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(h, b)), compose(compose(codomain(_0), h), b)), compose(compose(codomain(_0), h), b)) = compose(compose(codomain(_0), h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, h)), compose(compose(codomain(_0), g), h)), compose(compose(codomain(_0), g), h)) = compose(compose(codomain(_0), g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, g)), compose(compose(codomain(_0), g), g)), compose(compose(codomain(_0), g), g)) = compose(compose(codomain(_0), g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(g, b)), compose(compose(codomain(_0), g), b)), compose(compose(codomain(_0), g), b)) = compose(compose(codomain(_0), g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), h)), compose(compose(h, compose(a, g)), h)), compose(compose(h, compose(a, g)), h)) = compose(compose(h, compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), g)), compose(compose(h, compose(a, g)), g)), compose(compose(h, compose(a, g)), g)) = compose(compose(h, compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, g), b)), compose(compose(h, compose(a, g)), b)), compose(compose(h, compose(a, g)), b)) = compose(compose(h, compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), h)), compose(compose(compose(a, g), compose(a, g)), h)), compose(compose(compose(a, g), compose(a, g)), h)) = compose(compose(compose(a, g), compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), g)), compose(compose(compose(a, g), compose(a, g)), g)), compose(compose(compose(a, g), compose(a, g)), g)) = compose(compose(compose(a, g), compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, g), b)), compose(compose(compose(a, g), compose(a, g)), b)), compose(compose(compose(a, g), compose(a, g)), b)) = compose(compose(compose(a, g), compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(h, h)), compose(compose(h, h), h)), compose(compose(h, h), h)) = compose(compose(h, h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(h, g)), compose(compose(h, h), g)), compose(compose(h, h), g)) = compose(compose(h, h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(h, b)), compose(compose(h, h), b)), compose(compose(h, h), b)) = compose(compose(h, h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(g, h)), compose(compose(h, g), h)), compose(compose(h, g), h)) = compose(compose(h, g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(g, g)), compose(compose(h, g), g)), compose(compose(h, g), g)) = compose(compose(h, g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(g, b)), compose(compose(h, g), b)), compose(compose(h, g), b)) = compose(compose(h, g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, h)), compose(compose(compose(a, g), h), h)), compose(compose(compose(a, g), h), h)) = compose(compose(compose(a, g), h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, g)), compose(compose(compose(a, g), h), g)), compose(compose(compose(a, g), h), g)) = compose(compose(compose(a, g), h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(h, b)), compose(compose(compose(a, g), h), b)), compose(compose(compose(a, g), h), b)) = compose(compose(compose(a, g), h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, h)), compose(compose(compose(a, g), g), h)), compose(compose(compose(a, g), g), h)) = compose(compose(compose(a, g), g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, g)), compose(compose(compose(a, g), g), g)), compose(compose(compose(a, g), g), g)) = compose(compose(compose(a, g), g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(g, b)), compose(compose(compose(a, g), g), b)), compose(compose(compose(a, g), g), b)) = compose(compose(compose(a, g), g), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), h)), compose(compose(compose(a, b), compose(a, g)), h)), compose(compose(compose(a, b), compose(a, g)), h)) = compose(compose(compose(a, b), compose(a, g)), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), g)), compose(compose(compose(a, b), compose(a, g)), g)), compose(compose(compose(a, b), compose(a, g)), g)) = compose(compose(compose(a, b), compose(a, g)), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, g), b)), compose(compose(compose(a, b), compose(a, g)), b)), compose(compose(compose(a, b), compose(a, g)), b)) = compose(compose(compose(a, b), compose(a, g)), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, h)), compose(compose(compose(a, b), h), h)), compose(compose(compose(a, b), h), h)) = compose(compose(compose(a, b), h), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, g)), compose(compose(compose(a, b), h), g)), compose(compose(compose(a, b), h), g)) = compose(compose(compose(a, b), h), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(h, b)), compose(compose(compose(a, b), h), b)), compose(compose(compose(a, b), h), b)) = compose(compose(compose(a, b), h), b)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, h)), compose(compose(compose(a, b), g), h)), compose(compose(compose(a, b), g), h)) = compose(compose(compose(a, b), g), h)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, g)), compose(compose(compose(a, b), g), g)), compose(compose(compose(a, b), g), g)) = compose(compose(compose(a, b), g), g)) % 274.02/274.37 (ifeq(codomain(g), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(g, b)), compose(compose(compose(a, b), g), b)), compose(compose(compose(a, b), g), b)) = compose(compose(compose(a, b), g), b)) % 274.02/274.37 (ifeq(codomain(codomain(_0)), domain(_1), ifeq(codomain(_2), codomain(_0), compose(_2, compose(codomain(_0), _1)), compose(compose(_2, codomain(_0)), _1)), compose(compose(_2, codomain(_0)), _1)) = compose(compose(_2, codomain(_0)), _1)) % 274.02/274.37 (ifeq(codomain(codomain(_0)), codomain(a), ifeq(codomain(_1), codomain(_0), compose(_1, compose(codomain(_0), b)), compose(compose(_1, codomain(_0)), b)), compose(compose(_1, codomain(_0)), b)) = compose(compose(_1, codomain(_0)), b)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), domain(compose(compose(a, b), _0)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), domain(compose(compose(a, b), domain(_0))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(domain(a), compose(compose(a, b), _0)), compose(compose(a, b), _0)) = compose(compose(a, b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(domain(a), compose(compose(a, b), domain(_0))), compose(compose(a, b), domain(_0))) = compose(compose(a, b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(compose(a, b), _0), compose(compose(compose(a, b), _0), codomain(_0))) = compose(compose(compose(a, b), _0), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(compose(a, b), _0), compose(compose(compose(a, b), domain(_0)), _0)) = compose(compose(compose(a, b), domain(_0)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(compose(a, b), domain(_0)), compose(compose(compose(a, b), domain(_0)), domain(_0))) = compose(compose(compose(a, b), domain(_0)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(codomain(b), _0)), compose(compose(a, b), _0)) = compose(compose(a, b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(compose(a, b), compose(codomain(b), domain(_0))), compose(compose(a, b), domain(_0))) = compose(compose(a, b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(a, compose(b, _0)), compose(compose(a, b), _0)) = compose(compose(a, b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(a, compose(b, domain(_0))), compose(compose(a, b), domain(_0))) = compose(compose(a, b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(codomain(a), compose(b, _0)), compose(b, _0)) = compose(b, _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), compose(codomain(a), compose(b, domain(_0))), compose(b, domain(_0))) = compose(b, domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, b), _0)), compose(compose(domain(_1), compose(a, b)), _0)), compose(compose(domain(_1), compose(a, b)), _0)) = compose(compose(domain(_1), compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, b), domain(_0))), compose(compose(domain(_1), compose(a, b)), domain(_0))), compose(compose(domain(_1), compose(a, b)), domain(_0))) = compose(compose(domain(_1), compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(b, _0)), compose(compose(domain(_1), b), _0)), compose(compose(domain(_1), b), _0)) = compose(compose(domain(_1), b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(b, domain(_0))), compose(compose(domain(_1), b), domain(_0))), compose(compose(domain(_1), b), domain(_0))) = compose(compose(domain(_1), b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(compose(compose(a, b), _0)), domain(a), compose(compose(a, b), _0), compose(compose(domain(compose(compose(a, b), _0)), compose(a, b)), _0)), compose(compose(domain(compose(compose(a, b), _0)), compose(a, b)), _0)) = compose(compose(domain(compose(compose(a, b), _0)), compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(compose(compose(a, b), domain(_0))), domain(a), compose(compose(a, b), domain(_0)), compose(compose(domain(compose(compose(a, b), domain(_0))), compose(a, b)), domain(_0))), compose(compose(domain(compose(compose(a, b), domain(_0))), compose(a, b)), domain(_0))) = compose(compose(domain(compose(compose(a, b), domain(_0))), compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(compose(b, _0)), codomain(a), compose(b, _0), compose(compose(domain(compose(b, _0)), b), _0)), compose(compose(domain(compose(b, _0)), b), _0)) = compose(compose(domain(compose(b, _0)), b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(domain(compose(b, domain(_0))), codomain(a), compose(b, domain(_0)), compose(compose(domain(compose(b, domain(_0))), b), domain(_0))), compose(compose(domain(compose(b, domain(_0))), b), domain(_0))) = compose(compose(domain(compose(b, domain(_0))), b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, b), _0)), compose(compose(_1, compose(a, b)), _0)), compose(compose(_1, compose(a, b)), _0)) = compose(compose(_1, compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, b), domain(_0))), compose(compose(_1, compose(a, b)), domain(_0))), compose(compose(_1, compose(a, b)), domain(_0))) = compose(compose(_1, compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, b), _0)), compose(compose(codomain(_1), compose(a, b)), _0)), compose(compose(codomain(_1), compose(a, b)), _0)) = compose(compose(codomain(_1), compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, b), domain(_0))), compose(compose(codomain(_1), compose(a, b)), domain(_0))), compose(compose(codomain(_1), compose(a, b)), domain(_0))) = compose(compose(codomain(_1), compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(b, _0)), compose(compose(_1, b), _0)), compose(compose(_1, b), _0)) = compose(compose(_1, b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(b, domain(_0))), compose(compose(_1, b), domain(_0))), compose(compose(_1, b), domain(_0))) = compose(compose(_1, b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(b, _0)), compose(compose(codomain(_1), b), _0)), compose(compose(codomain(_1), b), _0)) = compose(compose(codomain(_1), b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(b, domain(_0))), compose(compose(codomain(_1), b), domain(_0))), compose(compose(codomain(_1), b), domain(_0))) = compose(compose(codomain(_1), b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), _0)), compose(compose(h, compose(a, b)), _0)), compose(compose(h, compose(a, b)), _0)) = compose(compose(h, compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), domain(_0))), compose(compose(h, compose(a, b)), domain(_0))), compose(compose(h, compose(a, b)), domain(_0))) = compose(compose(h, compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), _0)), compose(compose(compose(a, g), compose(a, b)), _0)), compose(compose(compose(a, g), compose(a, b)), _0)) = compose(compose(compose(a, g), compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), domain(_0))), compose(compose(compose(a, g), compose(a, b)), domain(_0))), compose(compose(compose(a, g), compose(a, b)), domain(_0))) = compose(compose(compose(a, g), compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(b, _0)), compose(compose(h, b), _0)), compose(compose(h, b), _0)) = compose(compose(h, b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(b, domain(_0))), compose(compose(h, b), domain(_0))), compose(compose(h, b), domain(_0))) = compose(compose(h, b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, _0)), compose(compose(compose(a, g), b), _0)), compose(compose(compose(a, g), b), _0)) = compose(compose(compose(a, g), b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, domain(_0))), compose(compose(compose(a, g), b), domain(_0))), compose(compose(compose(a, g), b), domain(_0))) = compose(compose(compose(a, g), b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), _0)), compose(compose(compose(a, b), compose(a, b)), _0)), compose(compose(compose(a, b), compose(a, b)), _0)) = compose(compose(compose(a, b), compose(a, b)), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), domain(_0))), compose(compose(compose(a, b), compose(a, b)), domain(_0))), compose(compose(compose(a, b), compose(a, b)), domain(_0))) = compose(compose(compose(a, b), compose(a, b)), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, _0)), compose(compose(compose(a, b), b), _0)), compose(compose(compose(a, b), b), _0)) = compose(compose(compose(a, b), b), _0)) % 274.02/274.37 (ifeq(codomain(b), domain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, domain(_0))), compose(compose(compose(a, b), b), domain(_0))), compose(compose(compose(a, b), b), domain(_0))) = compose(compose(compose(a, b), b), domain(_0))) % 274.02/274.37 (ifeq(codomain(b), domain(_0), codomain(compose(compose(a, b), domain(_0))), domain(_0)) = domain(_0)) % 274.02/274.37 (ifeq(codomain(b), domain(a), domain(compose(compose(a, b), compose(a, g))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(a), domain(compose(compose(a, b), compose(a, b))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(domain(a), compose(compose(a, b), compose(a, g))), compose(compose(a, b), compose(a, g))) = compose(compose(a, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(domain(a), compose(compose(a, b), compose(a, b))), compose(compose(a, b), compose(a, b))) = compose(compose(a, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, g)), compose(compose(compose(a, b), domain(a)), compose(a, g))) = compose(compose(compose(a, b), domain(a)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, g)), compose(compose(compose(a, b), compose(a, g)), codomain(g))) = compose(compose(compose(a, b), compose(a, g)), codomain(g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, g)), compose(compose(compose(a, b), a), h)) = compose(compose(compose(a, b), a), h)) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, g)), compose(compose(compose(a, b), a), g)) = compose(compose(compose(a, b), a), g)) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, b)), compose(compose(compose(a, b), domain(a)), compose(a, b))) = compose(compose(compose(a, b), domain(a)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, b)), compose(compose(compose(a, b), compose(a, b)), codomain(b))) = compose(compose(compose(a, b), compose(a, b)), codomain(b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(a, b)), compose(compose(compose(a, b), a), b)) = compose(compose(compose(a, b), a), b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(codomain(b), compose(a, g))), compose(compose(a, b), compose(a, g))) = compose(compose(a, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(compose(a, b), compose(codomain(b), compose(a, b))), compose(compose(a, b), compose(a, b))) = compose(compose(a, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(a, compose(b, compose(a, g))), compose(compose(a, b), compose(a, g))) = compose(compose(a, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(a, compose(b, compose(a, b))), compose(compose(a, b), compose(a, b))) = compose(compose(a, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(codomain(a), compose(b, compose(a, g))), compose(b, compose(a, g))) = compose(b, compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), compose(codomain(a), compose(b, compose(a, b))), compose(b, compose(a, b))) = compose(b, compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), compose(a, g))), compose(compose(domain(_0), compose(a, b)), compose(a, g))), compose(compose(domain(_0), compose(a, b)), compose(a, g))) = compose(compose(domain(_0), compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), compose(a, b))), compose(compose(domain(_0), compose(a, b)), compose(a, b))), compose(compose(domain(_0), compose(a, b)), compose(a, b))) = compose(compose(domain(_0), compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(domain(_0), compose(a, b)), compose(compose(a, b), compose(a, b)), domain(_0), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _1, ifeq(compose(domain(_0), compose(a, b)), _1, domain(_0), compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(domain(_0), compose(a, b)), domain(_0), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, compose(a, g))), compose(compose(domain(_0), b), compose(a, g))), compose(compose(domain(_0), b), compose(a, g))) = compose(compose(domain(_0), b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, compose(a, b))), compose(compose(domain(_0), b), compose(a, b))), compose(compose(domain(_0), b), compose(a, b))) = compose(compose(domain(_0), b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(compose(compose(a, b), compose(a, g))), domain(a), compose(compose(a, b), compose(a, g)), compose(compose(domain(compose(compose(a, b), compose(a, g))), compose(a, b)), compose(a, g))), compose(compose(domain(compose(compose(a, b), compose(a, g))), compose(a, b)), compose(a, g))) = compose(compose(domain(compose(compose(a, b), compose(a, g))), compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(compose(compose(a, b), compose(a, b))), domain(a), compose(compose(a, b), compose(a, b)), compose(compose(domain(compose(compose(a, b), compose(a, b))), compose(a, b)), compose(a, b))), compose(compose(domain(compose(compose(a, b), compose(a, b))), compose(a, b)), compose(a, b))) = compose(compose(domain(compose(compose(a, b), compose(a, b))), compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(compose(b, compose(a, g))), codomain(a), compose(b, compose(a, g)), compose(compose(domain(compose(b, compose(a, g))), b), compose(a, g))), compose(compose(domain(compose(b, compose(a, g))), b), compose(a, g))) = compose(compose(domain(compose(b, compose(a, g))), b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(domain(compose(b, compose(a, b))), codomain(a), compose(b, compose(a, b)), compose(compose(domain(compose(b, compose(a, b))), b), compose(a, b))), compose(compose(domain(compose(b, compose(a, b))), b), compose(a, b))) = compose(compose(domain(compose(b, compose(a, b))), b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _0, ifeq(compose(a, b), _0, domain(a), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(a, b), domain(a), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(a, b), compose(a, b), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(a, b), _0, ifeq(compose(compose(a, b), compose(a, b)), _0, compose(a, b), domain(a)), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(a, b), compose(compose(a, b), compose(a, b)), domain(a), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(compose(a, b), compose(compose(a, b), compose(a, b)), compose(a, b), domain(a)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), compose(a, g))), compose(compose(_0, compose(a, b)), compose(a, g))), compose(compose(_0, compose(a, b)), compose(a, g))) = compose(compose(_0, compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), compose(a, b))), compose(compose(_0, compose(a, b)), compose(a, b))), compose(compose(_0, compose(a, b)), compose(a, b))) = compose(compose(_0, compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), compose(a, g))), compose(compose(codomain(_0), compose(a, b)), compose(a, g))), compose(compose(codomain(_0), compose(a, b)), compose(a, g))) = compose(compose(codomain(_0), compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), compose(a, b))), compose(compose(codomain(_0), compose(a, b)), compose(a, b))), compose(compose(codomain(_0), compose(a, b)), compose(a, b))) = compose(compose(codomain(_0), compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(_0, compose(a, b)), compose(compose(a, b), compose(a, b)), _0, compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _1, ifeq(compose(_0, compose(a, b)), _1, _0, compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _1, ifeq(compose(codomain(_0), compose(a, b)), _1, codomain(_0), compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(_0, compose(a, b)), _0, compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(codomain(_0), compose(a, b)), codomain(_0), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(compose(a, b), compose(a, b)), codomain(_0), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, compose(a, g))), compose(compose(_0, b), compose(a, g))), compose(compose(_0, b), compose(a, g))) = compose(compose(_0, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, compose(a, b))), compose(compose(_0, b), compose(a, b))), compose(compose(_0, b), compose(a, b))) = compose(compose(_0, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, compose(a, g))), compose(compose(codomain(_0), b), compose(a, g))), compose(compose(codomain(_0), b), compose(a, g))) = compose(compose(codomain(_0), b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, compose(a, b))), compose(compose(codomain(_0), b), compose(a, b))), compose(compose(codomain(_0), b), compose(a, b))) = compose(compose(codomain(_0), b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), compose(a, g))), compose(compose(h, compose(a, b)), compose(a, g))), compose(compose(h, compose(a, b)), compose(a, g))) = compose(compose(h, compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), compose(a, b))), compose(compose(h, compose(a, b)), compose(a, b))), compose(compose(h, compose(a, b)), compose(a, b))) = compose(compose(h, compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), compose(a, g))), compose(compose(compose(a, g), compose(a, b)), compose(a, g))), compose(compose(compose(a, g), compose(a, b)), compose(a, g))) = compose(compose(compose(a, g), compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), compose(a, b))), compose(compose(compose(a, g), compose(a, b)), compose(a, b))), compose(compose(compose(a, g), compose(a, b)), compose(a, b))) = compose(compose(compose(a, g), compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(compose(a, b), compose(a, b)), h, compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, g), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _0, ifeq(compose(h, compose(a, b)), _0, h, compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _0, ifeq(compose(compose(a, g), compose(a, b)), _0, compose(a, g), compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(h, compose(a, b)), h, compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, g), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(b, compose(a, g))), compose(compose(h, b), compose(a, g))), compose(compose(h, b), compose(a, g))) = compose(compose(h, b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), codomain(a), compose(h, compose(b, compose(a, b))), compose(compose(h, b), compose(a, b))), compose(compose(h, b), compose(a, b))) = compose(compose(h, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, compose(a, g))), compose(compose(compose(a, g), b), compose(a, g))), compose(compose(compose(a, g), b), compose(a, g))) = compose(compose(compose(a, g), b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, compose(a, b))), compose(compose(compose(a, g), b), compose(a, b))), compose(compose(compose(a, g), b), compose(a, b))) = compose(compose(compose(a, g), b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), compose(a, g))), compose(compose(compose(a, b), compose(a, b)), compose(a, g))), compose(compose(compose(a, b), compose(a, b)), compose(a, g))) = compose(compose(compose(a, b), compose(a, b)), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), compose(a, b))), compose(compose(compose(a, b), compose(a, b)), compose(a, b))), compose(compose(compose(a, b), compose(a, b)), compose(a, b))) = compose(compose(compose(a, b), compose(a, b)), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), domain(a), compose(a, b), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), _0, ifeq(compose(compose(a, b), compose(a, b)), _0, compose(a, b), compose(a, b)), compose(a, b)), compose(a, b)), compose(a, b)) = compose(a, b)) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, compose(a, g))), compose(compose(compose(a, b), b), compose(a, g))), compose(compose(compose(a, b), b), compose(a, g))) = compose(compose(compose(a, b), b), compose(a, g))) % 274.02/274.37 (ifeq(codomain(b), domain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, compose(a, b))), compose(compose(compose(a, b), b), compose(a, b))), compose(compose(compose(a, b), b), compose(a, b))) = compose(compose(compose(a, b), b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), domain(compose(compose(a, b), codomain(_0))), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), compose(domain(a), compose(compose(a, b), codomain(_0))), compose(compose(a, b), codomain(_0))) = compose(compose(a, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), compose(compose(a, b), compose(codomain(b), codomain(_0))), compose(compose(a, b), codomain(_0))) = compose(compose(a, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), compose(compose(a, b), codomain(_0)), compose(compose(compose(a, b), codomain(_0)), codomain(_0))) = compose(compose(compose(a, b), codomain(_0)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), compose(a, compose(b, codomain(_0))), compose(compose(a, b), codomain(_0))) = compose(compose(a, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), compose(codomain(a), compose(b, codomain(_0))), compose(b, codomain(_0))) = compose(b, codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(domain(_1), domain(a), compose(domain(_1), compose(compose(a, b), codomain(_0))), compose(compose(domain(_1), compose(a, b)), codomain(_0))), compose(compose(domain(_1), compose(a, b)), codomain(_0))) = compose(compose(domain(_1), compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(domain(_1), codomain(a), compose(domain(_1), compose(b, codomain(_0))), compose(compose(domain(_1), b), codomain(_0))), compose(compose(domain(_1), b), codomain(_0))) = compose(compose(domain(_1), b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(domain(compose(compose(a, b), codomain(_0))), domain(a), compose(compose(a, b), codomain(_0)), compose(compose(domain(compose(compose(a, b), codomain(_0))), compose(a, b)), codomain(_0))), compose(compose(domain(compose(compose(a, b), codomain(_0))), compose(a, b)), codomain(_0))) = compose(compose(domain(compose(compose(a, b), codomain(_0))), compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(domain(compose(b, codomain(_0))), codomain(a), compose(b, codomain(_0)), compose(compose(domain(compose(b, codomain(_0))), b), codomain(_0))), compose(compose(domain(compose(b, codomain(_0))), b), codomain(_0))) = compose(compose(domain(compose(b, codomain(_0))), b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(_1), domain(a), compose(_1, compose(compose(a, b), codomain(_0))), compose(compose(_1, compose(a, b)), codomain(_0))), compose(compose(_1, compose(a, b)), codomain(_0))) = compose(compose(_1, compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(_1), domain(a), compose(codomain(_1), compose(compose(a, b), codomain(_0))), compose(compose(codomain(_1), compose(a, b)), codomain(_0))), compose(compose(codomain(_1), compose(a, b)), codomain(_0))) = compose(compose(codomain(_1), compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(_1), codomain(a), compose(_1, compose(b, codomain(_0))), compose(compose(_1, b), codomain(_0))), compose(compose(_1, b), codomain(_0))) = compose(compose(_1, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(_1), codomain(a), compose(codomain(_1), compose(b, codomain(_0))), compose(compose(codomain(_1), b), codomain(_0))), compose(compose(codomain(_1), b), codomain(_0))) = compose(compose(codomain(_1), b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), codomain(_0))), compose(compose(h, compose(a, b)), codomain(_0))), compose(compose(h, compose(a, b)), codomain(_0))) = compose(compose(h, compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), codomain(_0))), compose(compose(compose(a, g), compose(a, b)), codomain(_0))), compose(compose(compose(a, g), compose(a, b)), codomain(_0))) = compose(compose(compose(a, g), compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(g), codomain(a), compose(h, compose(b, codomain(_0))), compose(compose(h, b), codomain(_0))), compose(compose(h, b), codomain(_0))) = compose(compose(h, b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, codomain(_0))), compose(compose(compose(a, g), b), codomain(_0))), compose(compose(compose(a, g), b), codomain(_0))) = compose(compose(compose(a, g), b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), codomain(_0))), compose(compose(compose(a, b), compose(a, b)), codomain(_0))), compose(compose(compose(a, b), compose(a, b)), codomain(_0))) = compose(compose(compose(a, b), compose(a, b)), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(_0), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, codomain(_0))), compose(compose(compose(a, b), b), codomain(_0))), compose(compose(compose(a, b), b), codomain(_0))) = compose(compose(compose(a, b), b), codomain(_0))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(domain(_0), compose(a, b))), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), codomain(compose(domain(_0), compose(a, b))))), compose(domain(_0), compose(a, b))), compose(domain(_0), compose(a, b))) = compose(domain(_0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(domain(_0), b)), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, codomain(compose(domain(_0), b)))), compose(domain(_0), b)), compose(domain(_0), b)) = compose(domain(_0), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(_0, compose(a, b))), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), codomain(compose(_0, compose(a, b))))), compose(_0, compose(a, b))), compose(_0, compose(a, b))) = compose(_0, compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(_0, b)), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, codomain(compose(_0, b)))), compose(_0, b)), compose(_0, b)) = compose(_0, b)) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(h, compose(a, b))), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), codomain(compose(h, compose(a, b))))), compose(h, compose(a, b))), compose(h, compose(a, b))) = compose(h, compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(h, b)), ifeq(codomain(g), codomain(a), compose(h, compose(b, codomain(compose(h, b)))), compose(h, b)), compose(h, b)) = compose(h, b)) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(compose(a, g), compose(a, b))), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), codomain(compose(compose(a, g), compose(a, b))))), compose(compose(a, g), compose(a, b))), compose(compose(a, g), compose(a, b))) = compose(compose(a, g), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(compose(a, g), b)), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, codomain(compose(compose(a, g), b)))), compose(compose(a, g), b)), compose(compose(a, g), b)) = compose(compose(a, g), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(compose(a, b), compose(a, b))), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), codomain(compose(compose(a, b), compose(a, b))))), compose(compose(a, b), compose(a, b))), compose(compose(a, b), compose(a, b))) = compose(compose(a, b), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(compose(a, b), b)), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, codomain(compose(compose(a, b), b)))), compose(compose(a, b), b)), compose(compose(a, b), b)) = compose(compose(a, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(codomain(_0), compose(a, b))), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), codomain(compose(codomain(_0), compose(a, b))))), compose(codomain(_0), compose(a, b))), compose(codomain(_0), compose(a, b))) = compose(codomain(_0), compose(a, b))) % 274.02/274.37 (ifeq(codomain(b), codomain(compose(codomain(_0), b)), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, codomain(compose(codomain(_0), b)))), compose(codomain(_0), b)), compose(codomain(_0), b)) = compose(codomain(_0), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), domain(compose(compose(a, b), h)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), domain(compose(compose(a, b), g)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), domain(compose(compose(a, b), b)), domain(a)) = domain(a)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(domain(a), compose(compose(a, b), h)), compose(compose(a, b), h)) = compose(compose(a, b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(domain(a), compose(compose(a, b), g)), compose(compose(a, b), g)) = compose(compose(a, b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(domain(a), compose(compose(a, b), b)), compose(compose(a, b), b)) = compose(compose(a, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), h), compose(compose(compose(a, b), h), codomain(g))) = compose(compose(compose(a, b), h), codomain(g))) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), h), compose(compose(compose(a, b), codomain(a)), h)) = compose(compose(compose(a, b), codomain(a)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(codomain(b), h)), compose(compose(a, b), h)) = compose(compose(a, b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(codomain(b), g)), compose(compose(a, b), g)) = compose(compose(a, b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(codomain(b), b)), compose(compose(a, b), b)) = compose(compose(a, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), g), compose(compose(compose(a, b), g), codomain(g))) = compose(compose(compose(a, b), g), codomain(g))) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), g), compose(compose(compose(a, b), codomain(a)), g)) = compose(compose(compose(a, b), codomain(a)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), b), compose(compose(compose(a, b), b), codomain(b))) = compose(compose(compose(a, b), b), codomain(b))) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(compose(a, b), b), compose(compose(compose(a, b), codomain(a)), b)) = compose(compose(compose(a, b), codomain(a)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(a, compose(b, h)), compose(compose(a, b), h)) = compose(compose(a, b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(a, compose(b, g)), compose(compose(a, b), g)) = compose(compose(a, b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(a, compose(b, b)), compose(compose(a, b), b)) = compose(compose(a, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(codomain(a), compose(b, h)), compose(b, h)) = compose(b, h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(codomain(a), compose(b, g)), compose(b, g)) = compose(b, g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), compose(codomain(a), compose(b, b)), compose(b, b)) = compose(b, b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), h)), compose(compose(domain(_0), compose(a, b)), h)), compose(compose(domain(_0), compose(a, b)), h)) = compose(compose(domain(_0), compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), g)), compose(compose(domain(_0), compose(a, b)), g)), compose(compose(domain(_0), compose(a, b)), g)) = compose(compose(domain(_0), compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), domain(a), compose(domain(_0), compose(compose(a, b), b)), compose(compose(domain(_0), compose(a, b)), b)), compose(compose(domain(_0), compose(a, b)), b)) = compose(compose(domain(_0), compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, h)), compose(compose(domain(_0), b), h)), compose(compose(domain(_0), b), h)) = compose(compose(domain(_0), b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, g)), compose(compose(domain(_0), b), g)), compose(compose(domain(_0), b), g)) = compose(compose(domain(_0), b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(_0), codomain(a), compose(domain(_0), compose(b, b)), compose(compose(domain(_0), b), b)), compose(compose(domain(_0), b), b)) = compose(compose(domain(_0), b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(compose(a, b), h)), domain(a), compose(compose(a, b), h), compose(compose(domain(compose(compose(a, b), h)), compose(a, b)), h)), compose(compose(domain(compose(compose(a, b), h)), compose(a, b)), h)) = compose(compose(domain(compose(compose(a, b), h)), compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(compose(a, b), g)), domain(a), compose(compose(a, b), g), compose(compose(domain(compose(compose(a, b), g)), compose(a, b)), g)), compose(compose(domain(compose(compose(a, b), g)), compose(a, b)), g)) = compose(compose(domain(compose(compose(a, b), g)), compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(compose(a, b), b)), domain(a), compose(compose(a, b), b), compose(compose(domain(compose(compose(a, b), b)), compose(a, b)), b)), compose(compose(domain(compose(compose(a, b), b)), compose(a, b)), b)) = compose(compose(domain(compose(compose(a, b), b)), compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(b, h)), codomain(a), compose(b, h), compose(compose(domain(compose(b, h)), b), h)), compose(compose(domain(compose(b, h)), b), h)) = compose(compose(domain(compose(b, h)), b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(b, g)), codomain(a), compose(b, g), compose(compose(domain(compose(b, g)), b), g)), compose(compose(domain(compose(b, g)), b), g)) = compose(compose(domain(compose(b, g)), b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(domain(compose(b, b)), codomain(a), compose(b, b), compose(compose(domain(compose(b, b)), b), b)), compose(compose(domain(compose(b, b)), b), b)) = compose(compose(domain(compose(b, b)), b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), h)), compose(compose(_0, compose(a, b)), h)), compose(compose(_0, compose(a, b)), h)) = compose(compose(_0, compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), g)), compose(compose(_0, compose(a, b)), g)), compose(compose(_0, compose(a, b)), g)) = compose(compose(_0, compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(_0, compose(compose(a, b), b)), compose(compose(_0, compose(a, b)), b)), compose(compose(_0, compose(a, b)), b)) = compose(compose(_0, compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), h)), compose(compose(codomain(_0), compose(a, b)), h)), compose(compose(codomain(_0), compose(a, b)), h)) = compose(compose(codomain(_0), compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), g)), compose(compose(codomain(_0), compose(a, b)), g)), compose(compose(codomain(_0), compose(a, b)), g)) = compose(compose(codomain(_0), compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), domain(a), compose(codomain(_0), compose(compose(a, b), b)), compose(compose(codomain(_0), compose(a, b)), b)), compose(compose(codomain(_0), compose(a, b)), b)) = compose(compose(codomain(_0), compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, h)), compose(compose(_0, b), h)), compose(compose(_0, b), h)) = compose(compose(_0, b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, g)), compose(compose(_0, b), g)), compose(compose(_0, b), g)) = compose(compose(_0, b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(_0, compose(b, b)), compose(compose(_0, b), b)), compose(compose(_0, b), b)) = compose(compose(_0, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, h)), compose(compose(codomain(_0), b), h)), compose(compose(codomain(_0), b), h)) = compose(compose(codomain(_0), b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, g)), compose(compose(codomain(_0), b), g)), compose(compose(codomain(_0), b), g)) = compose(compose(codomain(_0), b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(_0), codomain(a), compose(codomain(_0), compose(b, b)), compose(compose(codomain(_0), b), b)), compose(compose(codomain(_0), b), b)) = compose(compose(codomain(_0), b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), h)), compose(compose(h, compose(a, b)), h)), compose(compose(h, compose(a, b)), h)) = compose(compose(h, compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), g)), compose(compose(h, compose(a, b)), g)), compose(compose(h, compose(a, b)), g)) = compose(compose(h, compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(h, compose(compose(a, b), b)), compose(compose(h, compose(a, b)), b)), compose(compose(h, compose(a, b)), b)) = compose(compose(h, compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), h)), compose(compose(compose(a, g), compose(a, b)), h)), compose(compose(compose(a, g), compose(a, b)), h)) = compose(compose(compose(a, g), compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), g)), compose(compose(compose(a, g), compose(a, b)), g)), compose(compose(compose(a, g), compose(a, b)), g)) = compose(compose(compose(a, g), compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), domain(a), compose(compose(a, g), compose(compose(a, b), b)), compose(compose(compose(a, g), compose(a, b)), b)), compose(compose(compose(a, g), compose(a, b)), b)) = compose(compose(compose(a, g), compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(b, h)), compose(compose(h, b), h)), compose(compose(h, b), h)) = compose(compose(h, b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(b, g)), compose(compose(h, b), g)), compose(compose(h, b), g)) = compose(compose(h, b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(h, compose(b, b)), compose(compose(h, b), b)), compose(compose(h, b), b)) = compose(compose(h, b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, h)), compose(compose(compose(a, g), b), h)), compose(compose(compose(a, g), b), h)) = compose(compose(compose(a, g), b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, g)), compose(compose(compose(a, g), b), g)), compose(compose(compose(a, g), b), g)) = compose(compose(compose(a, g), b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(g), codomain(a), compose(compose(a, g), compose(b, b)), compose(compose(compose(a, g), b), b)), compose(compose(compose(a, g), b), b)) = compose(compose(compose(a, g), b), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), h)), compose(compose(compose(a, b), compose(a, b)), h)), compose(compose(compose(a, b), compose(a, b)), h)) = compose(compose(compose(a, b), compose(a, b)), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), g)), compose(compose(compose(a, b), compose(a, b)), g)), compose(compose(compose(a, b), compose(a, b)), g)) = compose(compose(compose(a, b), compose(a, b)), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), domain(a), compose(compose(a, b), compose(compose(a, b), b)), compose(compose(compose(a, b), compose(a, b)), b)), compose(compose(compose(a, b), compose(a, b)), b)) = compose(compose(compose(a, b), compose(a, b)), b)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, h)), compose(compose(compose(a, b), b), h)), compose(compose(compose(a, b), b), h)) = compose(compose(compose(a, b), b), h)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, g)), compose(compose(compose(a, b), b), g)), compose(compose(compose(a, b), b), g)) = compose(compose(compose(a, b), b), g)) % 274.02/274.37 (ifeq(codomain(b), codomain(a), ifeq(codomain(b), codomain(a), compose(compose(a, b), compose(b, b)), compose(compose(compose(a, b), b), b)), compose(compose(compose(a, b), b), b)) = compose(compose(compose(a, b), b), b)) % 274.02/274.37 (b = compose(codomain(a), b)) % 274.02/274.37 (ifeq(domain(_0), codomain(a), codomain(compose(domain(_0), h)), codomain(h)) = codomain(h)) % 274.02/274.37 (ifeq(codomain(_0), codomain(a), codomain(compose(_0, h)), codomain(h)) = codomain(h)) % 274.02/274.37 (domain(codomain(_0)) = codomain(_0)) % 274.02/274.37 (compose(codomain(_0), codomain(_0)) = codomain(_0)) % 274.02/274.37 (ifeq(domain(_0), domain(_1), codomain(compose(domain(_0), _1)), codomain(_1)) = codomain(_1)) % 274.02/274.37 (ifeq(domain(_0), codomain(_1), codomain(compose(domain(_0), codomain(_1))), codomain(_1)) = codomain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), domain(compose(codomain(_0), _1)), codomain(_0)) = codomain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), domain(compose(codomain(_0), domain(_1))), codomain(_0)) = codomain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), codomain(compose(_0, _1)), codomain(_1)) = codomain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(_1), codomain(compose(codomain(_0), _1)), codomain(_1)) = codomain(_1)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), domain(compose(codomain(_0), compose(a, g))), codomain(_0)) = codomain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), domain(compose(codomain(_0), compose(a, b))), codomain(_0)) = codomain(_0)) % 274.02/274.37 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(domain(_1), compose(a, b)), compose(codomain(_0), compose(a, b)), domain(_1), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _2, ifeq(compose(domain(_1), compose(a, b)), _2, domain(_1), codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(domain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(domain(_1), compose(a, b)), domain(_1), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(compose(a, b), compose(codomain(_0), compose(a, b)), domain(a), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _1, ifeq(compose(a, b), _1, domain(a), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(a, b), domain(a), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(_1, compose(a, b)), compose(codomain(_0), compose(a, b)), _1, codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _2, ifeq(compose(_1, compose(a, b)), _2, _1, codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _2, ifeq(compose(codomain(_1), compose(a, b)), _2, codomain(_1), codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(_1, compose(a, b)), _1, codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.02/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_1), compose(a, b)), compose(codomain(_0), compose(a, b)), codomain(_1), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_1), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(codomain(_1), compose(a, b)), codomain(_1), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(_0), domain(a), codomain(_0), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(h, compose(a, b)), compose(codomain(_0), compose(a, b)), h, codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(compose(a, g), compose(a, b)), compose(codomain(_0), compose(a, b)), compose(a, g), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _1, ifeq(compose(h, compose(a, b)), _1, h, codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _1, ifeq(compose(compose(a, g), compose(a, b)), _1, compose(a, g), codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(h, compose(a, b)), h, codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(g), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(compose(a, g), compose(a, b)), compose(a, g), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(compose(a, b), compose(a, b)), compose(codomain(_0), compose(a, b)), compose(a, b), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(codomain(_0), compose(a, b)), _1, ifeq(compose(compose(a, b), compose(a, b)), _1, compose(a, b), codomain(_0)), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), ifeq(codomain(b), domain(a), ifeq(compose(codomain(_0), compose(a, b)), compose(compose(a, b), compose(a, b)), compose(a, b), codomain(_0)), codomain(_0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), codomain(_1), domain(compose(codomain(_0), codomain(_1))), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), codomain(_1), codomain(compose(_0, codomain(_1))), codomain(_1)) = codomain(_1)) % 274.12/274.38 (ifeq(codomain(_0), codomain(_1), codomain(compose(codomain(_0), codomain(_1))), codomain(_1)) = codomain(_1)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), domain(compose(codomain(_0), h)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), domain(compose(codomain(_0), g)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), domain(compose(codomain(_0), b)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(g), domain(_0), codomain(compose(h, _0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(g), domain(_0), codomain(compose(compose(a, g), _0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(g), codomain(_0), codomain(compose(h, codomain(_0))), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(g), codomain(_0), codomain(compose(compose(a, g), codomain(_0))), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(b), domain(_0), codomain(compose(compose(a, b), _0)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(b), codomain(_0), codomain(compose(compose(a, b), codomain(_0))), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(codomain(_0)), domain(_1), domain(compose(codomain(_0), _1)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(codomain(codomain(_0)), codomain(a), domain(compose(codomain(_0), b)), codomain(_0)) = codomain(_0)) % 274.12/274.38 (codomain(domain(_0)) = domain(_0)) % 274.12/274.38 (codomain(compose(a, g)) = codomain(h)) % 274.12/274.38 (ifeq(domain(_0), domain(a), codomain(compose(domain(_0), compose(a, g))), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(domain(_0), codomain(a), codomain(compose(domain(_0), h)), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(domain(_0), codomain(a), codomain(compose(domain(_0), g)), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), codomain(compose(_0, compose(a, g))), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), codomain(compose(codomain(_0), compose(a, g))), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(_0, h)), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(_0, g)), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(codomain(_0), h)), codomain(g)) = codomain(g)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(codomain(_0), g)), codomain(g)) = codomain(g)) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), domain(a), codomain(compose(h, compose(a, g))), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), domain(a), codomain(compose(compose(a, g), compose(a, g))), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), codomain(a), codomain(compose(h, h)), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), codomain(a), codomain(compose(h, g)), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), codomain(a), codomain(compose(compose(a, g), h)), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(g), codomain(a), codomain(compose(compose(a, g), g)), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(b), domain(a), codomain(compose(compose(a, b), compose(a, g))), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(b), codomain(a), codomain(compose(compose(a, b), h)), codomain(g))) % 274.12/274.38 (codomain(g) = ifeq(codomain(b), codomain(a), codomain(compose(compose(a, b), g)), codomain(g))) % 274.12/274.38 (codomain(g) = codomain(h)) % 274.12/274.38 (codomain(a) = domain(h)) % 274.12/274.38 (codomain(a) = domain(g)) % 274.12/274.38 (codomain(a) = domain(b)) % 274.12/274.38 (ifeq(codomain(h), domain(_0), domain(compose(h, _0)), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(h), codomain(_0), domain(compose(h, codomain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (codomain(a) = ifeq(codomain(h), codomain(a), domain(compose(h, h)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(h), codomain(a), domain(compose(h, g)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(h), codomain(a), domain(compose(h, b)), codomain(a))) % 274.12/274.38 (ifeq(codomain(g), domain(_0), domain(compose(h, domain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(g), domain(_0), domain(compose(h, _0)), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(g), domain(_0), domain(compose(g, _0)), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(g), domain(_0), domain(compose(g, domain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), domain(a), domain(compose(h, compose(a, g))), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), domain(a), domain(compose(h, compose(a, b))), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), domain(a), domain(compose(g, compose(a, g))), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), domain(a), domain(compose(g, compose(a, b))), codomain(a))) % 274.12/274.38 (ifeq(codomain(g), codomain(_0), domain(compose(h, codomain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(g), codomain(_0), domain(compose(g, codomain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(h, h)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(h, g)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(h, b)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(g, h)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(g, g)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(g), codomain(a), domain(compose(g, b)), codomain(a))) % 274.12/274.38 (ifeq(codomain(b), domain(_0), domain(compose(b, _0)), codomain(a)) = codomain(a)) % 274.12/274.38 (ifeq(codomain(b), domain(_0), domain(compose(b, domain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (codomain(a) = ifeq(codomain(b), domain(a), domain(compose(b, compose(a, g))), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(b), domain(a), domain(compose(b, compose(a, b))), codomain(a))) % 274.12/274.38 (ifeq(codomain(b), codomain(_0), domain(compose(b, codomain(_0))), codomain(a)) = codomain(a)) % 274.12/274.38 (codomain(a) = ifeq(codomain(b), codomain(a), domain(compose(b, h)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(b), codomain(a), domain(compose(b, g)), codomain(a))) % 274.12/274.38 (codomain(a) = ifeq(codomain(b), codomain(a), domain(compose(b, b)), codomain(a))) % 274.12/274.38 (codomain(codomain(_0)) = codomain(_0)) % 274.12/274.38 (ifeq(domain(_0), domain(a), codomain(compose(domain(_0), compose(a, b))), codomain(b)) = codomain(b)) % 274.12/274.38 (ifeq(domain(_0), codomain(a), codomain(compose(domain(_0), b)), codomain(b)) = codomain(b)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), codomain(compose(_0, compose(a, b))), codomain(b)) = codomain(b)) % 274.12/274.38 (ifeq(codomain(_0), domain(a), codomain(compose(codomain(_0), compose(a, b))), codomain(b)) = codomain(b)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(_0, b)), codomain(b)) = codomain(b)) % 274.12/274.38 (ifeq(codomain(_0), codomain(a), codomain(compose(codomain(_0), b)), codomain(b)) = codomain(b)) % 274.12/274.38 (codomain(b) = ifeq(codomain(g), domain(a), codomain(compose(h, compose(a, b))), codomain(b))) % 274.12/274.38 (codomain(b) = ifeq(codomain(g), domain(a), codomain(compose(compose(a, g), compose(a, b))), codomain(b))) % 274.12/274.38 (codomain(b) = ifeq(codomain(g), codomain(a), codomain(compose(h, b)), codomain(b))) % 274.12/274.38 (codomain(b) = ifeq(codomain(g), codomain(a), codomain(compose(compose(a, g), b)), codomain(b))) % 274.12/274.38 (codomain(b) = ifeq(codomain(b), domain(a), codomain(compose(compose(a, b), compose(a, b))), codomain(b))) % 274.12/274.38 (codomain(b) = ifeq(codomain(b), codomain(a), codomain(compose(compose(a, b), b)), codomain(b))) % 274.12/274.38 (codomain(b) = codomain(compose(a, b))) % 274.12/274.38 END OF MODEL %------------------------------------------------------------------------------