(Q109124554)
Statements
[#6R1]1~[#6R1]~[#6R1]~[#6R2]([r;!r3;!r4;!r5;!r6;!r7;!r8])~[#6R3]2([r;!r3;!r4;!r5;!r6;!r7;!r8])~[#6R1]~[#7R1]~[#6R1]~[#6R2]~2~1
0 references
[#6]1~[#6]~[#6]~[#6]~[#6]~[#6]~[#6]2~[#6]3[#8][#6]~3~[#6]~[#6]3~[#6](~[#6]~[#6]4~[#6]~[#7]~[#6]5~[#6]~[#6]~[#6]~[#6]~[#6]~4~5)~[#7]~[#6]~[#6]~3~2~[#6]~[#6]~[#6]~[#6]~[#6]~1
0 references