% 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
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet)
¤
*Bot Zugriff
|
|
