/usr/share/doc/prover9-doc/examples/x2.tabular is in prover9-doc 0.0.200902a-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | % number = 1
% seconds = 0
% Interpretation of size 6
* :
| 0 1 2 3 4 5
---+------------
0 | 0 1 2 3 4 5
1 | 1 0 3 2 5 4
2 | 2 4 0 5 1 3
3 | 3 5 1 4 0 2
4 | 4 2 5 0 3 1
5 | 5 3 4 1 2 0
' :
0 1 2 3 4 5
----------------
0 1 2 4 3 5
e : 0
c1 : 1
c2 : 2
|