/usr/share/doc/prover9-doc/examples/x2.raw 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 26 27 28 29 | % number = 1
% seconds = 0
% Interpretation of size 6
% Function * / 2 :
0 1 2 3 4 5
1 0 3 2 5 4
2 4 0 5 1 3
3 5 1 4 0 2
4 2 5 0 3 1
5 3 4 1 2 0
% Function ' / 1 :
0 1 2 4 3 5
% Function e / 0 :
0
% Function c1 / 0 :
1
% Function c2 / 0 :
2
|