Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Rewrite_Examples.thy
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
6C696D69745F76656374325F7265616C
3A205448454F52590D0A424547494E0D
0A0D0A2020494D504F5254494E472076
6563746F72734076656374325F66756E
5F6F70732C200D0A2020202020202020
202020207265616C73406162735F6C65
6D732C200D0A20202020202020202020
2020616E616C7973697340657073696C
6F6E5F6C656D6D61730D0A0D0A202066
2C2066312C2066323A20564152205B20
5665637432202D3E207265616C5D0D0A
202067203A20564152205B5665637432
202D3E206E7A7265616C5D0D0A202065
7073696C6F6E2C2064656C7461203A20
56415220706F737265616C0D0A202061
2C782C763A205641522056656374320D
0A20206C2C6C312C6C322C622C632C79
312C79323A20564152207265616C0D0A
0D0A2020252D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D0D0A202025202043
6F6E76657267656E6365206F66206620
6174206120706F696E74206120746F77
617264732061206C696D6974206C0D0A
2020252D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D0D0A0D0A2020636F6E76
657267656E636528662C20612C206C29
203A20626F6F6C203D200D0A09464F52
414C4C20657073696C6F6E203A204558
495354532064656C7461203A200D0A09
20202020464F52414C4C20783A202525
252030203C206E6F726D28782D612920
414E440D0A2020202020202020202020
20202020202020202020206E6F726D28
782D6129203C2064656C746120202020
202020202020252520414E4420782069
6E20646F6D2866290D0A202020202020
2020202020202020202020494D504C49
4553206162732866287829202D206C29
203C20657073696C6F6E0D0A0D0A2020
63765F756E69717565202020203A204C
454D4D4120636F6E76657267656E6365
28662C20612C206C312920414E442063
6F6E76657267656E636528662C20612C
206C32290D0A20202020202020202020
202020202020202020202020494D504C
494553206C31203D206C320D0A0D0A20
2063765F696E5F646F6D61696E203A20
4C454D4D4120636F6E76657267656E63
6528662C20782C206C2920494D504C49
4553206C203D20662878290D0A0D0A20
20252D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D0D0A20
20252020636F6E76657267656E636520
616E64206F7065726174696F6E73206F
6E2066756E6374696F6E730D0A202025
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D0D0A0D0A20
2063765F73756D2020203A204C454D4D
4120636F6E76657267656E6365286631
2C20612C206C312920414E4420636F6E
76657267656E63652866322C20612C20
6C32290D0A2020202020202020202020
20202020202020202020494D504C4945
5320636F6E76657267656E6365286631
202B2066322C20612C206C31202B206C
32290D0A0D0A202063765F6E65672020
203A204C454D4D4120636F6E76657267
656E636528662C20612C206C290D0A20
20202020202020202020202020202020
20202020494D504C49455320636F6E76
657267656E6365282D20662C20612C20
2D206C290D0A0D0A202063765F646966
6620203A204C454D4D4120636F6E7665
7267656E63652866312C20612C206C31
2920414E4420636F6E76657267656E63
652866322C20612C206C32290D0A2020
20202020202020202020202020202020
202020494D504C49455320636F6E7665
7267656E6365286631202D2066322C20
612C206C31202D206C32290D0A0D0A0D
0A202063765F70726F6420203A204C45
4D4D4120636F6E76657267656E636528
66312C20612C206C312920414E442063
6F6E76657267656E63652866322C2061
2C206C32290D0A202020202020202020
202020202020202020202020494D504C
49455320636F6E76657267656E636528
6631202A2066322C20612C206C31202A
206C32290D0A0D0A202063765F636F6E
7374203A204C454D4D4120636F6E7665
7267656E636528636F6E73745F66756E
2862292C20762C2062290D0A0D0A2020
63765F7363616C20203A204C454D4D41
20636F6E76657267656E636528662C20
612C206C290D0A202020202020202020
202020202020202020202020494D504C
49455320636F6E76657267656E636528
62202A20662C20612C2062202A206C29
0D0A0D0A0D0A202063765F696E762020
203A204C454D4D4120636F6E76657267
656E636528672C20612C206C2920414E
44206C202F3D20300D0A202020202020
20202020202020202020202020202049
4D504C49455320636F6E76657267656E
63652831202F20672C20612C2031202F
206C290D0A0D0A202063765F64697620
20203A204C454D4D4120636F6E766572
67656E636528662C20612C206C312920
414E4420636F6E76657267656E636528
672C20612C206C322920414E44206C32
202F3D20300D0A202020202020202020
202020202020202020202020494D504C
49455320636F6E76657267656E636528
66202F20672C20612C206C31202F206C
32290D0A0D0A2020252D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D0D0A20202520206620697320636F
6E76657267656E742061742061202020
200D0A2020252D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D0D
0A0D0A2020636F6E76657267656E743F
28662C206129203A20626F6F6C203D20
455849535453206C203A20636F6E7665
7267656E636528662C20612C206C290D
0A0D0A20206C696D28662C2028783020
3A207B61207C20636F6E76657267656E
743F28662C2061297D2929203A207265
616C203D20200D0A2020202020202020
63686F6F7365284C414D424441206C20
3A20636F6E76657267656E636528662C
2078302C206C29290D0A0D0A20206C69
6D5F66756E5F6C656D6D612020203A20
4C454D4D4120464F52414C4C20662C20
287830203A207B61207C20636F6E7665
7267656E743F28662C2061297D29203A
0D0A2020202020202020202020202020
202020202020202020202020636F6E76
657267656E636528662C2078302C206C
696D28662C20783029290D0A0D0A2020
6C696D5F66756E5F6465662020202020
3A204C454D4D4120464F52414C4C2066
2C206C2C20287830203A207B61207C20
636F6E76657267656E743F28662C2061
297D29203A0D0A202020202020202020
20202020202020202020202020202020
202020206C696D28662C20783029203D
206C2049464620636F6E76657267656E
636528662C2078302C206C290D0A0D0A
2020636F6E76657267656E63655F6571
756976202020203A204C454D4D412063
6F6E76657267656E636528662C20612C
206C2920494646200D0A202020202020
20202020202020202020202020202020
202020202020202020202020636F6E76
657267656E743F28662C20612920414E
44206C696D28662C206129203D206C0D
0A20202020202020200D0A2020636F6E
76657267656E745F696E5F646F6D6169
6E203A204C454D4D4120636F6E766572
67656E743F28662C2078292049464620
636F6E76657267656E636528662C2078
2C2066287829290D0A20202020202020
200D0A20206C696D5F696E5F646F6D61
696E20202020202020203A204C454D4D
4120636F6E76657267656E743F28662C
20782920494D504C494553206C696D28
662C207829203D20662878290D0A2020
2020202020200D0A0D0A2020252D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D0D0A20202520204F70
65726174696F6E732070726573657276
696E6720636F6E76657267656E636520
61742061200D0A2020252D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D0D0A0D0A202073756D5F6675
6E5F636F6E76657267656E7420203A20
4C454D4D4120636F6E76657267656E74
3F2866312C20612920414E4420636F6E
76657267656E743F2866322C2061290D
0A202020202020202020202020202020
20202020202020202020202020202020
20494D504C49455320636F6E76657267
656E743F286631202B2066322C206129
0D0A0D0A20206E65675F66756E5F636F
6E76657267656E74203A204C454D4D41
20636F6E76657267656E743F28662C20
612920494D504C49455320636F6E7665
7267656E743F282D20662C2061290D0A
20202020202020200D0A202064696666
5F66756E5F636F6E76657267656E7420
3A204C454D4D4120636F6E7665726765
6E743F2866312C20612920414E442063
6F6E76657267656E743F2866322C2061
290D0A20202020202020202020202020
20202020202020202020202020202020
202020494D504C49455320636F6E7665
7267656E743F286631202D2066322C20
61290D0A0D0A202070726F645F66756E
5F636F6E76657267656E74203A204C45
4D4D4120636F6E76657267656E743F28
66312C20612920414E4420636F6E7665
7267656E743F2866322C2061290D0A20
20202020202020202020202020202020
20202020202020202020202020202049
4D504C49455320636F6E76657267656E
743F286631202A2066322C2061290D0A
0D0A2020636F6E73745F66756E5F636F
6E76657267656E743A204C454D4D4120
636F6E76657267656E743F28636F6E73
745F66756E2862292C2076290D0A2020
2020202020200D0A20207363616C5F66
756E5F636F6E76657267656E74203A20
4C454D4D4120636F6E76657267656E74
3F28662C20612920494D504C49455320
636F6E76657267656E743F2862202A20
662C2061290D0A20202020202020200D
0A2020696E765F66756E5F636F6E7665
7267656E7420203A204C454D4D412063
6F6E76657267656E743F28672C206129
20414E44206C696D28672C206129202F
3D20300D0A2020202020202020202020
20202020202020202020202020202020
202020202020494D504C49455320636F
6E76657267656E743F28312F672C2061
290D0A0D0A20206469765F66756E5F63
6F6E76657267656E7420203A204C454D
4D4120636F6E76657267656E743F2866
2C20612920414E4420636F6E76657267
656E743F28672C2061290D0A20202020
20202020202020202020202020202020
202020202020202020202020414E4420
6C696D28672C206129202F3D20302049
4D504C49455320636F6E76657267656E
743F2866202F20672C2061290D0A0D0A
0D0A2020252D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D0D0A202025202053616D6520746869
6E67732077697468206C696D2861290D
0A2020252D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
0D0A0D0A20206C696D5F73756D5F6675
6E2020202020203A204C454D4D412063
6F6E76657267656E743F2866312C2061
2920414E4420636F6E76657267656E74
3F2866322C2061290D0A202020202020
20202020202020202020202020202020
20202020202020494D504C494553206C
696D286631202B2066322C206129203D
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|