@prefix : <http://example.org/#>.

(0 0) :ackermann 1 .
(0 6) :ackermann 7 .
(1 2) :ackermann 4 .
(1 7) :ackermann 9 .
(2 2) :ackermann 7 .
(2 9) :ackermann 21 .
(3 4) :ackermann 125 .
(3 14) :ackermann 131069 .
(4 0) :ackermann 13 .
(4 1) :ackermann 65533 .
(4 2) :ackermann [encoded data, 19729 characters] .
