Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Simplex_Content.thy
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A0A20202046696C653A2020202020
20416E616C797369732F53696D706C65
785F436F6E74656E742E7468790A2020
20417574686F723A202020204D616E75
656C20456265726C203C656265726C6D
40696E2E74756D2E64653E0A0A202020
54686520636F6E74656E74206F662061
6E206E2D64696D656E73696F6E616C20
73696D706C65782C20696E636C756469
6E672074686520666F726D756C612066
6F722074686520636F6E74656E74206F
6620610A202020747269616E676C6520
616E64204865726F6E277320666F726D
756C612E0A2A290A73656374696F6E20
5C3C6F70656E3E566F6C756D65206F66
20612053696D706C65785C3C636C6F73
653E0A0A7468656F72792053696D706C
65785F436F6E74656E740A696D706F72
7473204368616E67655F4F665F566172
730A626567696E0A0A6C656D6D612066
6163745F6E65715F746F705F656E6E72
65616C205B73696D705D3A2022666163
74206E205C3C6E6F7465713E2028746F
70203A3A20656E6E7265616C29220A20
2062792028696E64756374696F6E206E
2920286175746F2073696D703A20656E
6E7265616C5F6D756C745F65715F746F
705F696666290A0A6C656D6D6120656E
6E7265616C5F666163743A2022656E6E
7265616C202866616374206E29203D20
66616374206E220A202062792028696E
64756374696F6E206E2920286175746F
2073696D703A20656E6E7265616C5F6D
756C7420616C67656272615F73696D70
7320656E6E7265616C5F6F665F6E6174
5F65715F7265616C5F6F665F6E617429
0A0A636F6E746578740A202066697865
732053203A3A2022276120736574205C
3C52696768746172726F773E20726561
6C205C3C52696768746172726F773E20
282761205C3C52696768746172726F77
3E207265616C2920736574220A202064
6566696E6573202253205C3C65717569
763E20285C3C6C616D6264613E412074
2E207B782E20285C3C666F72616C6C3E
695C3C696E3E412E2030205C3C6C653E
2078206929205C3C616E643E2073756D
20782041205C3C6C653E20747D29220A
626567696E0A0A6C656D6D6120656D65
61737572655F7374645F73696D706C65
785F6175785F737465703A0A20206173
73756D6573202262205C3C6E6F74696E
3E204122202266696E6974652041220A
202073686F777320202022782862203A
3D207929205C3C696E3E20532028696E
7365727420622041292074205C3C6C6F
6E676C65667472696768746172726F77
3E2079205C3C696E3E207B302E2E747D
205C3C616E643E2078205C3C696E3E20
532041202874202D207929220A202075
73696E67206173736D732073756D5F6E
6F6E6E65675B6F66204120785D20756E
666F6C64696E6720535F6465660A2020
62792028666F7263652073696D703A20
73756D5F64656C74615F6E6F746D656D
20616C67656272615F73696D7073290A
0A6C656D6D6120656D6561737572655F
7374645F73696D706C65785F6175783A
0A202066697865732074203A3A207265
616C0A2020617373756D657320226669
6E697465202841203A3A202761207365
742922202274205C3C67653E2030220A
202073686F777320202022656D656173
757265202850695C3C5E7375623E4D20
4120285C3C6C616D6264613E5F2E206C
626F72656C2929200A20202020202020
202020202020285320412074205C3C69
6E7465723E207370616365202850695C
3C5E7375623E4D204120285C3C6C616D
6264613E5F2E206C626F72656C292929
203D2074205E20636172642041202F20
66616374202863617264204129220A20
207573696E67206173736D7328312C32
290A70726F6F662028696E6475637469
6F6E206172626974726172793A207420
72756C653A2066696E6974655F696E64
756374290A2020636173652028656D70
74792074290A202074687573203F6361
7365206279202873696D70206164643A
2050694D5F656D70747920535F646566
290A6E6578740A202063617365202869
6E73657274206220412074290A202064
6566696E65206E20776865726520226E
203D2053756320286361726420412922
0A202068617665206E5F706F733A2022
6E203E203022206279202873696D7020
6164643A206E5F646566290A20206C65
74203F4D203D20225C3C6C616D626461
3E412E202850695C3C5E7375623E4D20
4120285C3C6C616D6264613E5F2E206C
626F72656C2929220A20207B0A202020
206669782041203A3A20222761207365
742220616E642074203A3A207265616C
20617373756D65202266696E69746520
4122200A202020206861766520225320
412074205C3C696E7465723E20737061
6365202850695C3C5E7375623E4D2041
20285C3C6C616D6264613E5F2E206C62
6F72656C2929203D0A20202020202020
202020202050695C3C5E7375623E4520
4120285C3C6C616D6264613E5F2E207B
302E2E7D29205C3C696E7465723E2028
5C3C6C616D6264613E782E2073756D20
78204129202D60207B2E2E747D205C3C
696E7465723E20737061636520285069
5C3C5E7375623E4D204120285C3C6C61
6D6264613E5F2E206C626F72656C2929
220A202020202020627920286175746F
2073696D703A20535F64656620737061
63655F50694D290A20202020616C736F
206861766520225C3C646F74733E205C
3C696E3E2073657473202850695C3C5E
7375623E4D204120285C3C6C616D6264
613E5F2E206C626F72656C2929220A20
20202020207573696E67205C3C6F7065
6E3E66696E69746520415C3C636C6F73
653E206279206D656173757261626C65
0A2020202066696E616C6C7920686176
6520225320412074205C3C696E746572
3E207370616365202850695C3C5E7375
623E4D204120285C3C6C616D6264613E
5F2E206C626F72656C2929205C3C696E
3E2073657473202850695C3C5E737562
3E4D204120285C3C6C616D6264613E5F
2E206C626F72656C292922202E0A2020
7D206E6F7465206D656173205B6D6561
73757261626C655D203D20746869730A
0A2020696E746572707265742070726F
647563745F7369676D615F66696E6974
6520225C3C6C616D6264613E5F2E206C
626F72656C220A202020206279207374
616E646172640A202068617665202265
6D65617375726520283F4D2028696E73
6572742062204129292028532028696E
7365727420622041292074205C3C696E
7465723E20737061636520283F4D2028
696E7365727420622041292929203D0A
20202020202020206E6E5F696E746567
72616C20283F4D2028696E7365727420
62204129290A20202020202020202020
285C3C6C616D6264613E782E20696E64
696361746F722028532028696E736572
7420622041292074205C3C696E746572
3E20737061636520283F4D2028696E73
65727420622041292929207829220A20
2020207573696E6720696E736572742E
6879707320627920287375627374206E
6E5F696E74656772616C5F696E646963
61746F7229206175746F0A2020616C73
6F206861766520225C3C646F74733E20
3D20285C3C696E74656772616C3E5C3C
5E7375703E2B20792E205C3C696E7465
6772616C3E5C3C5E7375703E2B20782E
20696E64696361746F72202853202869
6E7365727420622041292074205C3C69
6E7465723E20737061636520283F4D20
28696E73657274206220412929290A20
20202020202020202020202020202020
20202028782862203A3D20792929205C
3C7061727469616C3E3F4D2041205C3C
7061727469616C3E6C626F72656C2922
0A202020207573696E6720696E736572
742E7072656D7320696E736572742E68
7970732062792028696E74726F207072
6F647563745F6E6E5F696E7465677261
6C5F696E736572745F72657629206175
746F0A2020616C736F20686176652022
5C3C646F74733E203D20285C3C696E74
656772616C3E5C3C5E7375703E2B2079
2E205C3C696E74656772616C3E5C3C5E
7375703E2B20782E20696E6469636174
6F72207B302E2E747D2079202A20696E
64696361746F72202853204120287420
2D207929205C3C696E7465723E207370
61636520283F4D2041292920780A2020
20202020202020202020202020202020
20205C3C7061727469616C3E3F4D2041
205C3C7061727469616C3E6C626F7265
6C29220A202020207573696E6720696E
736572742E6879707320696E73657274
2E7072656D7320656D6561737572655F
7374645F73696D706C65785F6175785F
737465705B6F66206220415D0A202020
2062792028696E74726F206E6E5F696E
74656772616C5F636F6E67290A202020
20202020286175746F2073696D703A20
66756E5F65715F69666620696E646963
61746F725F6465662073706163655F50
694D205069455F64656620657874656E
73696F6E616C5F646566290A2020616C
736F206861766520225C3C646F74733E
203D20285C3C696E74656772616C3E5C
3C5E7375703E2B20792E20696E646963
61746F72207B302E2E747D2079202A20
285C3C696E74656772616C3E5C3C5E73
75703E2B20782E20696E64696361746F
722028532041202874202D207929205C
3C696E7465723E20737061636520283F
4D2041292920780A2020202020202020
2020202020202020202020205C3C7061
727469616C3E3F4D204129205C3C7061
727469616C3E6C626F72656C29222075
73696E67205C3C6F70656E3E66696E69
746520415C3C636C6F73653E0A202020
20627920287375627374206E6E5F696E
74656772616C5F636D756C7429206175
746F0A2020616C736F20686176652022
5C3C646F74733E203D20285C3C696E74
656772616C3E5C3C5E7375703E2B2079
2E20696E64696361746F72207B302E2E
747D2079202A20656D65617375726520
283F4D2041292028532041202874202D
207929205C3C696E7465723E20737061
636520283F4D20412929205C3C706172
7469616C3E6C626F72656C29220A2020
20207573696E67205C3C6F70656E3E66
696E69746520415C3C636C6F73653E20
627920287375627374206E6E5F696E74
656772616C5F696E64696361746F7229
206175746F0A2020616C736F20686176
6520225C3C646F74733E203D20285C3C
696E74656772616C3E5C3C5E7375703E
2B20792E20696E64696361746F72207B
302E2E747D2079202A202874202D2079
29205E20636172642041202F20656E6E
7265616C202866616374202863617264
20412929205C3C7061727469616C3E6C
626F72656C29220A202020207573696E
6720696E736572742E49482062792028
696E74726F206E6E5F696E7465677261
6C5F636F6E672920286175746F207369
6D703A20696E64696361746F725F6465
66206469766964655F656E6E7265616C
290A2020616C736F206861766520225C
3C646F74733E203D20285C3C696E7465
6772616C3E5C3C5E7375703E2B20792E
20696E64696361746F72207B302E2E74
7D2079202A202874202D207929205E20
636172642041205C3C7061727469616C
3E6C626F72656C29202F20656E6E7265
616C2028666163742028636172642041
2929220A202020207573696E67205C3C
6F70656E3E66696E69746520415C3C63
6C6F73653E2062792028737562737420
6E6E5F696E74656772616C5F64697669
646529206175746F0A2020616C736F20
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|