Quelle  primes.txt

% File to be checked
% Every record has the form:
%   Input in PVS syntax, e.g., natural number
%   Output in PVS syntax, e.g., boolean
% PVS comments and empty lines are ignored

% This is the first record
1           % This is an input in PVS syntax
TRUE     % This is an output in PVS syntax
 
% This is the second record, etc.  
5
TRUE

9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE
1 
TRUE 
5
TRUE
9
FALSE
10
FALSE
9 
FALSE
3
TRUE
17 
FALSE