Cross Reference: test06.in
xref
: /
hets
/
GMP
/
tests
/
graded
/
test06.in
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
([0](p0 -> p1) -> (<12>p0 -> <12>p1)) -> <2>([1]p0 -> <1>p0)