0q00x100q0x10q0hx100q0hx10q01x101q0x11q00x100q1x11q0hx100q1hx11q01x101q1x11q10x110q1x11q1hx110q1hx11q11x111q1x10q10x100q2x10q1hx100q2hx10q11x101q2x11q20x110q2x11q2hx110q2hx11q21x111q2x10q2x1q31x11q3x1q31x10q3x1q40x11q4x1q41x10q40x110q5x10q4hx110q5hx10q41x111q5x11q50x100q1x11q5hx100q1hx11q51x101q1x1hq0x1h0q0x1hq1x1h0q1x1hq2x1h0q2x1hq3x1h0q3x1hq4x1h0q4x1hq5x1h0q5x12.10q00x100q0x10q00x10q0x10q0hx100q0hx10q0hx10q0hx10q01x101q0x10q01x11q0x11q00x100q1x11q00x10q1x11q0hx100q1hx11q0hx10q1hx11q01x101q1x11q01x11q1x11q10x110q1x11q10x10q1x11q1hx110q1hx11q1hx10q1hx11q11x111q1x11q11x11q1x10q10x100q2x10q10x10q2x10q1hx100q2hx10q1hx10q2hx10q11x101q2x10q11x11q2x11q20x110q2x11q20x10q2x11q2hx110q2hx11q2hx10q2hx11q21x111q2x11q21x11q2x10q2x11x11q3x11x10q3x10x11q4x11x10q40x110q5x10q40x10q5x10q4hx110q5hx10q4hx10q5hx10q41x111q5x10q41x11q5x11q50x100q1x11q50x10q1x11q5hx100q1hx11q5hx10q1hx11q51x101q1x11q51x11q1x1hq0x1h0q0x1hq0x10q0x1hq1x1h0q1x1hq1x10q1x1hq2x1h0q2x1hq2x10q2x1hq3x1h0q3x1hq3x10q3x1hq4x1h0q4x1hq4x10q4x1hq5x1h0q5x1hq5x10q5x1true0q3x10x10q00x100q0x10q41x111q5x11q3x11x11q00x100q1x10q41x11q5x11q50x100q1x11q50x10q1x10q10x100q2x10q10x10q2x10q2x11x11q00x10q1x10q1hx100q2hx10q1hx10q2hx10q11x101q2x10q11x11q2x11q20x110q2x11q4x11x11q0hx100q1hx11q0hx10q1hx11q01x101q1x11q01x11q1x11q10x110q1x11q10x10q1x11q1hx110q1hx11q1hx10q1hx11q11x111q1x11q11x11q1x11q20x10q2x11q2hx110q2hx11q2hx10q2hx11q21x111q2x11q21x11q2x11q5hx100q1hx11q5hx10q1hx11q51x101q1x11q51x11q1x10q00x10q0x10q0hx100q0hx10q0hx10q0hx10q01x101q0x10q01x11q0x10q0hx10q0hx10q0hx10q0hx1x1x1
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml53079