metagraphoptimization.jl/examples/ABAB->ABAB.txt

['A1', 'B1', 'A2', 'B2', 'A3', 'B3', 'A4', 'B4', 'C(A1,B1)', 'B(C(A1,B1),A2)', 'C(B(C(A1,B1),A2),A3)', 'A(C(B(C(A1,B1),A2),A3),B2)', 'C(A(C(B(C(A1,B1),A2),A3),B2),B3)', 'M(C(A(C(B(C(A1,B1),A2),A3),B2),B3),A4,B4)', 'C(A(C(B(C(A1,B1),A2),A3),B2),B4)', 'M(C(A(C(B(C(A1,B1),A2),A3),B2),B4),B3,A4)', 'A(C(B(C(A1,B1),A2),A3),B3)', 'C(A(C(B(C(A1,B1),A2),A3),B3),B2)', 'M(C(A(C(B(C(A1,B1),A2),A3),B3),B2),A4,B4)', 'C(A(C(B(C(A1,B1),A2),A3),B3),B4)', 'M(C(A(C(B(C(A1,B1),A2),A3),B3),B4),B2,A4)', 'A(C(B(C(A1,B1),A2),A3),B4)', 'C(A(C(B(C(A1,B1),A2),A3),B4),B2)', 'M(C(A(C(B(C(A1,B1),A2),A3),B4),B2),B3,A4)', 'C(A(C(B(C(A1,B1),A2),A3),B4),B3)', 'M(C(A(C(B(C(A1,B1),A2),A3),B4),B3),B2,A4)', 'C(B(C(A1,B1),A2),A4)', 'A(C(B(C(A1,B1),A2),A4),B2)', 'C(A(C(B(C(A1,B1),A2),A4),B2),B3)', 'M(C(A(C(B(C(A1,B1),A2),A4),B2),B3),A3,B4)', 'C(A(C(B(C(A1,B1),A2),A4),B2),B4)', 'M(C(A(C(B(C(A1,B1),A2),A4),B2),B4),A3,B3)', 'A(C(B(C(A1,B1),A2),A4),B3)', 'C(A(C(B(C(A1,B1),A2),A4),B3),B2)', 'M(C(A(C(B(C(A1,B1),A2),A4),B3),B2),A3,B4)', 'C(A(C(B(C(A1,B1),A2),A4),B3),B4)', 'M(C(A(C(B(C(A1,B1),A2),A4),B3),B4),B2,A3)', 'A(C(B(C(A1,B1),A2),A4),B4)', 'C(A(C(B(C(A1,B1),A2),A4),B4),B2)', 'M(C(A(C(B(C(A1,B1),A2),A4),B4),B2),A3,B3)', 'C(A(C(B(C(A1,B1),A2),A4),B4),B3)', 'M(C(A(C(B(C(A1,B1),A2),A4),B4),B3),B2,A3)', 'A(C(A1,B1),B2)', 'C(A(C(A1,B1),B2),B3)', 'B(C(A(C(A1,B1),B2),B3),A2)', 'C(B(C(A(C(A1,B1),B2),B3),A2),A3)', 'M(C(B(C(A(C(A1,B1),B2),B3),A2),A3),A4,B4)', 'C(B(C(A(C(A1,B1),B2),B3),A2),A4)', 'M(C(B(C(A(C(A1,B1),B2),B3),A2),A4),A3,B4)', 'B(C(A(C(A1,B1),B2),B3),A3)', 'C(B(C(A(C(A1,B1),B2),B3),A3),A2)', 'M(C(B(C(A(C(A1,B1),B2),B3),A3),A2),A4,B4)', 'C(B(C(A(C(A1,B1),B2),B3),A3),A4)', 'M(C(B(C(A(C(A1,B1),B2),B3),A3),A4),A2,B4)', 'B(C(A(C(A1,B1),B2),B3),A4)', 'C(B(C(A(C(A1,B1),B2),B3),A4),A2)', 'M(C(B(C(A(C(A1,B1),B2),B3),A4),A2),A3,B4)', 'C(B(C(A(C(A1,B1),B2),B3),A4),A3)', 'M(C(B(C(A(C(A1,B1),B2),B3),A4),A3),A2,B4)', 'C(A(C(A1,B1),B2),B4)', 'B(C(A(C(A1,B1),B2),B4),A2)', 'C(B(C(A(C(A1,B1),B2),B4),A2),A3)', 'M(C(B(C(A(C(A1,B1),B2),B4),A2),A3),B3,A4)', 'C(B(C(A(C(A1,B1),B2),B4),A2),A4)', 'M(C(B(C(A(C(A1,B1),B2),B4),A2),A4),A3,B3)', 'B(C(A(C(A1,B1),B2),B4),A3)', 'C(B(C(A(C(A1,B1),B2),B4),A3),A2)', 'M(C(B(C(A(C(A1,B1),B2),B4),A3),A2),B3,A4)', 'C(B(C(A(C(A1,B1),B2),B4),A3),A4)', 'M(C(B(C(A(C(A1,B1),B2),B4),A3),A4),A2,B3)', 'B(C(A(C(A1,B1),B2),B4),A4)', 'C(B(C(A(C(A1,B1),B2),B4),A4),A2)', 'M(C(B(C(A(C(A1,B1),B2),B4),A4),A2),A3,B3)', 'C(B(C(A(C(A1,B1),B2),B4),A4),A3)', 'M(C(B(C(A(C(A1,B1),B2),B4),A4),A3),A2,B3)', 'B(C(A1,B1),A3)', 'C(B(C(A1,B1),A3),A2)', 'A(C(B(C(A1,B1),A3),A2),B2)', 'C(A(C(B(C(A1,B1),A3),A2),B2),B3)', 'M(C(A(C(B(C(A1,B1),A3),A2),B2),B3),A4,B4)', 'C(A(C(B(C(A1,B1),A3),A2),B2),B4)', 'M(C(A(C(B(C(A1,B1),A3),A2),B2),B4),B3,A4)', 'A(C(B(C(A1,B1),A3),A2),B3)', 'C(A(C(B(C(A1,B1),A3),A2),B3),B2)', 'M(C(A(C(B(C(A1,B1),A3),A2),B3),B2),A4,B4)', 'C(A(C(B(C(A1,B1),A3),A2),B3),B4)', 'M(C(A(C(B(C(A1,B1),A3),A2),B3),B4),B2,A4)', 'A(C(B(C(A1,B1),A3),A2),B4)', 'C(A(C(B(C(A1,B1),A3),A2),B4),B2)', 'M(C(A(C(B(C(A1,B1),A3),A2),B4),B2),B3,A4)', 'C(A(C(B(C(A1,B1),A3),A2),B4),B3)', 'M(C(A(C(B(C(A1,B1),A3),A2),B4),B3),B2,A4)', 'C(B(C(A1,B1),A3),A4)', 'A(C(B(C(A1,B1),A3),A4),B2)', 'C(A(C(B(C(A1,B1),A3),A4),B2),B3)', 'M(C(A(C(B(C(A1,B1),A3),A4),B2),B3),A2,B4)', 'C(A(C(B(C(A1,B1),A3),A4),B2),B4)', 'M(C(A(C(B(C(A1,B1),A3),A4),B2),B4),A2,B3)', 'A(C(B(C(A1,B1),A3),A4),B3)', 'C(A(C(B(C(A1,B1),A3),A4),B3),B2)', 'M(C(A(C(B(C(A1,B1),A3),A4),B3),B2),A2,B4)', 'C(A(C(B(C(A1,B1),A3),A4),B3),B4)', 'M(C(A(C(B(C(A1,B1),A3),A4),B3),B4),A2,B2)', 'A(C(B(C(A1,B1),A3),A4),B4)', 'C(A(C(B(C(A1,B1),A3),A4),B4),B2)', 'M(C(A(C(B(C(A1,B1),A3),A4),B4),B2),A2,B3)', 'C(A(C(B(C(A1,B1),A3),A4),B4),B3)', 'M(C(A(C(B(C(A1,B1),A3),A4),B4),B3),A2,B2)', 'A(C(A1,B1),B3)', 'C(A(C(A1,B1),B3),B2)', 'B(C(A(C(A1,B1),B3),B2),A2)', 'C(B(C(A(C(A1,B1),B3),B2),A2),A3)', 'M(C(B(C(A(C(A1,B1),B3),B2),A2),A3),A4,B4)', 'C(B(C(A(C(A1,B1),B3),B2),A2),A4)', 'M(C(B(C(A(C(A1,B1),B3),B2),A2),A4),A3,B4)', 'B(C(A(C(A1,B1),B3),B2),A3)', 'C(B(C(A(C(A1,B1),B3),B2),A3),A2)', 'M(C(B(C(A(C(A1,B1),B3),B2),A3),A2),A4,B4)', 'C(B(C(A(C(A1,B1),B3),B2),A3),A4)',
[('A1', 'C(A1,B1)'), ('A1', 'C(A1,B2)'), ('A1', 'C(A1,B3)'), ('A1', 'C(A1,B4)'), ('B1', 'C(A1,B1)'), ('B1', 'A(C(A1,B2),B1)'), ('B1', 'A(C(B(C(A1,B2),A2),A3),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A2),A3),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A2),A3),B3),B4),B1,A4)'), ('B1', 'C(A(C(B(C(A1,B2),A2),A3),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A2),A3),B4),B3),B1,A4)'), ('B1', 'A(C(B(C(A1,B2),A2),A4),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A2),A4),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A2),A4),B3),B4),B1,A3)'), ('B1', 'C(A(C(B(C(A1,B2),A2),A4),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A2),A4),B4),B3),B1,A3)'), ('B1', 'A(C(B(C(A1,B2),A3),A2),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A3),A2),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A3),A2),B3),B4),B1,A4)'), ('B1', 'C(A(C(B(C(A1,B2),A3),A2),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A3),A2),B4),B3),B1,A4)'), ('B1', 'A(C(B(C(A1,B2),A3),A4),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A3),A4),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A3),A4),B3),B4),B1,A2)'), ('B1', 'C(A(C(B(C(A1,B2),A3),A4),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A3),A4),B4),B3),B1,A2)'), ('B1', 'C(A(C(A1,B2),B3),B1)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A2),A3),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A2),A4),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A3),A2),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A3),A4),B1,A2)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A4),A2),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B2),B3),B4),A4),A3),B1,A2)'), ('B1', 'A(C(B(C(A1,B2),A4),A2),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A4),A2),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A4),A2),B3),B4),B1,A3)'), ('B1', 'C(A(C(B(C(A1,B2),A4),A2),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A4),A2),B4),B3),B1,A3)'), ('B1', 'A(C(B(C(A1,B2),A4),A3),B1)'), ('B1', 'C(A(C(B(C(A1,B2),A4),A3),B3),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A4),A3),B3),B4),B1,A2)'), ('B1', 'C(A(C(B(C(A1,B2),A4),A3),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B2),A4),A3),B4),B3),B1,A2)'), ('B1', 'C(A(C(A1,B2),B4),B1)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A2),A3),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A2),A4),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A3),A2),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A3),A4),B1,A2)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A4),A2),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B2),B4),B3),A4),A3),B1,A2)'), ('B1', 'A(C(A1,B3),B1)'), ('B1', 'A(C(B(C(A1,B3),A2),A3),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A2),A3),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A2),A3),B2),B4),B1,A4)'), ('B1', 'C(A(C(B(C(A1,B3),A2),A3),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A2),A3),B4),B2),B1,A4)'), ('B1', 'A(C(B(C(A1,B3),A2),A4),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A2),A4),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A2),A4),B2),B4),B1,A3)'), ('B1', 'C(A(C(B(C(A1,B3),A2),A4),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A2),A4),B4),B2),B1,A3)'), ('B1', 'C(A(C(A1,B3),B2),B1)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A2),A3),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A2),A4),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A3),A2),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A3),A4),B1,A2)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A4),A2),B1,A3)'), ('B1', 'M(C(B(C(A(C(A1,B3),B2),B4),A4),A3),B1,A2)'), ('B1', 'A(C(B(C(A1,B3),A3),A2),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A3),A2),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A3),A2),B2),B4),B1,A4)'), ('B1', 'C(A(C(B(C(A1,B3),A3),A2),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A3),A2),B4),B2),B1,A4)'), ('B1', 'A(C(B(C(A1,B3),A3),A4),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A3),A4),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A3),A4),B2),B4),B1,A2)'), ('B1', 'C(A(C(B(C(A1,B3),A3),A4),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A3),A4),B4),B2),B1,A2)'), ('B1', 'A(C(B(C(A1,B3),A4),A2),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A4),A2),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A4),A2),B2),B4),B1,A3)'), ('B1', 'C(A(C(B(C(A1,B3),A4),A2),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A4),A2),B4),B2),B1,A3)'), ('B1', 'A(C(B(C(A1,B3),A4),A3),B1)'), ('B1', 'C(A(C(B(C(A1,B3),A4),A3),B2),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A4),A3),B2),B4),B1,A2)'), ('B1', 'C(A(C(B(C(A1,B3),A4),A3),B4),B1)'), ('B1', 'M(C(A(C(B(C(A1,B3),A4),A3),B4),B2),B1,A2)'), ('B1', 'C(A(C(A1,B3),B4),B1)'), ('B1', 'M(C(B(C(A(C(A1,B3),B4),B2),A2),A3),B1,A4)'), ('B1', 'M(C(B(C(A(C(A1,