all-repeats.out converttext(run(D,C,V7,E),E,V8) = converttext(run(F,C,V9,V6),V6,V8) ]]> exactly_correspond(compile(C,A,D,E,F),C,B,F) ]]>