% 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
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
