|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
ZLcm.v
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A290A282A202020
2020202020202A20202054686520436F
712050726F6F6620417373697374616E
74202F2054686520436F712044657665
6C6F706D656E74205465616D20202020
2020202A290A282A2020762020202020
202A202020494E5249412C20434E5253
20616E6420636F6E7472696275746F72
73202D20436F70797269676874203139
39392D32303138202020202020202A29
0A282A203C4F5F5F5F2C2C202A202020
20202020287365652043524544495453
2066696C6520666F7220746865206C69
7374206F6620617574686F7273292020
2020202020202020202A290A282A2020
205C56562F20202A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A290A282A202020202F2F20
20202A20202020546869732066696C65
20697320646973747269627574656420
756E64657220746865207465726D7320
6F66207468652020202020202020202A
290A282A2020202020202020202A2020
202020474E55204C6573736572204765
6E6572616C205075626C6963204C6963
656E73652056657273696F6E20322E31
202020202020202020202A290A282A20
20202020202020202A20202020202873
6565204C4943454E53452066696C6520
666F72207468652074657874206F6620
746865206C6963656E73652920202020
20202020202A290A282A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A290A0A5265717569726520496D706F
7274205A4178696F6D73205A4D756C4F
72646572205A53676E416273205A4763
64205A4469765472756E63205A446976
466C6F6F722E0A0A282A2A202A204C65
61737420436F6D6D6F6E204D756C7469
706C65202A290A0A282A2A20556E6C69
6B65206F746865722066756E6374696F
6E732061726F756E642C207765207769
6C6C20646566696E65206C636D206265
6C6F7720696E7374656164206F660A20
206178696F6D6174697A696E67206974
2E20496E646565642C20746865726520
6973206E6F20227072696F7220617274
222061626F7574206C636D20696E2074
68650A20207374616E64617264206C69
627261727920746F20626520636F6D70
6C69616E7420776974682C20616E6420
7468652067656E657269632064656669
6E6974696F6E0A20206F66206C636D20
76696120676364206973207175697465
20726561736F6E61626C652E0A0A2020
427920746865207761792C2077652061
6C736F20737461746520686572652073
6F6D6520636F6D62696E65642070726F
70657274696573206F66206469762F6D
6F640A2020616E642071756F742F7265
6D20616E64206763642E0A2A290A0A4D
6F64756C652054797065205A4C636D50
726F700A2028496D706F72742041203A
205A4178696F6D7353696727290A2028
496D706F72742042203A205A4D756C4F
7264657250726F702041290A2028496D
706F72742043203A205A53676E416273
50726F7020412042290A2028496D706F
72742044203A205A44697650726F7020
4120422043290A2028496D706F727420
45203A205A51756F7450726F70204120
422043290A2028496D706F7274204620
3A205A47636450726F70204120422043
292E0A0A282A2A205468652074776F20
6E6F74696F6E73206F66206469766973
696F6E2061726520657175616C206F6E
206E6F6E2D6E65676174697665206E75
6D62657273202A290A0A4C656D6D6120
71756F745F6469765F6E6F6E6E656720
3A20666F72616C6C206120622C20303C
3D61202D3E20303C62202D3E2061F762
203D3D20612F622E0A50726F6F662E0A
20696E74726F732E206170706C792064
69765F756E697175655F706F73207769
74682028612072656D2062292E0A206E
6F77206170706C792072656D5F626F75
6E645F706F732E0A206170706C792071
756F745F72656D2E206F726465722E0A
5165642E0A0A4C656D6D612072656D5F
6D6F645F6E6F6E6E6567203A20666F72
616C6C206120622C20303C3D61202D3E
20303C62202D3E20612072656D206220
3D3D2061206D6F6420622E0A50726F6F
662E0A20696E74726F732E206170706C
79206D6F645F756E697175655F706F73
2077697468202861F762292E0A206E6F
77206170706C792072656D5F626F756E
645F706F732E0A206170706C79207175
6F745F72656D2E206F726465722E0A51
65642E0A0A282A2A2057652063616E20
75736520746865207369676E2072756C
6520746F206861766520616E2072656C
6174696F6E206265747765656E206469
766973696F6E732E202A290A0A4C656D
6D612071756F745F646976203A20666F
72616C6C206120622C20627E3D30202D
3E0A2061F762203D3D202873676E2061
292A2873676E2062292A286162732061
202F206162732062292E0A50726F6F66
2E0A206173736572742028415558203A
20666F72616C6C206120622C20303C62
202D3E2061F762203D3D202873676E20
61292A2873676E2062292A2861627320
61202F20616273206229292E0A202069
6E74726F73206120622048622E207265
7772697465202873676E5F706F732062
292C20286162735F65712062292C206D
756C5F315F72206279206F726465722E
0A2020646573747275637420286C745F
74726963686F746F6D79203020612920
6173205B48617C5B48617C48615D5D2E
0A2020726577726974652073676E5F70
6F732C206162735F65712C206D756C5F
315F6C2C2071756F745F6469765F6E6F
6E6E65673B206F726465722E0A202072
657772697465203C2D2048612C206162
735F302C2073676E5F302C2071756F74
5F305F6C2C206469765F305F6C2C206D
756C5F305F6C3B206F726465722E0A20
20726577726974652073676E5F6E6567
2C206162735F6E65712C206D756C5F6F
70705F6C2C206D756C5F315F6C2C2065
715F6F70705F722C203C2D71756F745F
6F70705F6C0A202020206279206F7264
65722E0A2020206170706C792071756F
745F6469765F6E6F6E6E65673B207472
697669616C2E206170706C79206F7070
5F6E6F6E6E65675F6E6F6E706F733B20
6F726465722E0A20282A206D61696E20
2A290A20696E74726F73206120622048
622E0A206170706C79206E65675F706F
735F636173657320696E2048622E2064
65737472756374204862206173205B48
627C48625D3B205B7C6E6F7720617070
6C79204155585D2E0A20726577726974
65203C2D20286F70705F696E766F6C75
7469766520622920617420312E207265
77726974652071756F745F6F70705F72
2E0A2072657772697465204155582C20
6162735F6F70702C2073676E5F6F7070
2C206D756C5F6F70705F722C206D756C
5F6F70705F6C2C206F70705F696E766F
6C75746976652E0A207265666C657869
766974792E0A206E6F77206170706C79
206F70705F706F735F6E65672E0A2072
6577726974652065715F6F70705F6C2C
206F70705F303B206F726465722E0A51
65642E0A0A4C656D6D612072656D5F6D
6F64203A20666F72616C6C206120622C
20627E3D30202D3E0A20612072656D20
62203D3D202873676E206129202A2028
28616273206129206D6F642028616273
206229292E0A50726F6F662E0A20696E
74726F73206120622048622E0A207265
7772697465203C2D2072656D5F616273
5F72206279207472697669616C2E0A20
6173736572742028486227203A3D2070
726F6A3220286162735F706F73206229
204862292E0A20646573747275637420
286C745F74726963686F746F6D792030
206129206173205B48617C5B48617C48
615D5D2E0A2072657772697465202861
62735F65712061292C2073676E5F706F
732C206D756C5F315F6C2C2072656D5F
6D6F645F6E6F6E6E65673B206F726465
722E0A2072657772697465203C2D2048
612C206162735F302C2073676E5F302C
206D6F645F305F6C2C2072656D5F305F
6C2C206D756C5F305F6C3B206F726465
722E0A20726577726974652073676E5F
6E65672C20286162735F6E6571206129
2C206D756C5F6F70705F6C2C206D756C
5F315F6C2C2065715F6F70705F722C20
3C2D72656D5F6F70705F6C0A20202020
6279206F726465722E0A20206170706C
792072656D5F6D6F645F6E6F6E6E6567
3B207472697669616C2E206170706C79
206F70705F6E6F6E6E65675F6E6F6E70
6F733B206F726465722E0A5165642E0A
0A282A2A204D6F64756C6F20616E6420
72656D61696E64657220617265206E75
6C6C206174207468652073616D652070
6C6163652C0A20202020616E64207468
697320636F72726573706F6E6420746F
207468652064697669736962696C6974
792072656C6174696F6E2E202A290A0A
4C656D6D61206D6F645F646976696465
203A20666F72616C6C206120622C2062
7E3D30202D3E202861206D6F64206220
3D3D2030203C2D3E2028627C6129292E
0A50726F6F662E0A20696E74726F7320
6120622048622E2073706C69742E0A20
696E74726F73204861622E2065786973
74732028612F62292E20726577726974
65206D756C5F636F6D6D2E0A20726577
7269746520286469765F6D6F64206120
622048622920617420312E2072657772
697465204861623B206E6F77206E7A73
696D706C2E0A20696E74726F73202863
2C4863292E2072657772697465204863
2E206E6F77206170706C79206D6F645F
6D756C2E0A5165642E0A0A4C656D6D61
2072656D5F646976696465203A20666F
72616C6C206120622C20627E3D30202D
3E2028612072656D2062203D3D203020
3C2D3E2028627C6129292E0A50726F6F
662E0A20696E74726F73206120622048
622E2073706C69742E0A20696E74726F
73204861622E20657869737473202861
F762292E2072657772697465206D756C
5F636F6D6D2E0A207265777269746520
2871756F745F72656D20612062204862
2920617420312E207265777269746520
4861623B206E6F77206E7A73696D706C
2E0A20696E74726F732028632C486329
2E20726577726974652048632E206E6F
77206170706C792072656D5F6D756C2E
0A5165642E0A0A4C656D6D612072656D
5F6D6F645F65715F30203A20666F7261
6C6C206120622C20627E3D30202D3E20
28612072656D2062203D3D2030203C2D
3E2061206D6F642062203D3D2030292E
0A50726F6F662E0A20696E74726F7320
6120622048622E206E6F772072657772
697465206D6F645F6469766964652C20
72656D5F6469766964652E0A5165642E
0A0A282A2A205768656E206469766973
696F6E2069732065786163742C206469
7620616E642071756F74206167726565
202A290A0A4C656D6D612071756F745F
6469765F6578616374203A20666F7261
6C6C206120622C20627E3D30202D3E20
28627C6129202D3E2061F762203D3D20
612F622E0A50726F6F662E0A20696E74
726F732061206220486220482E0A2061
70706C79206D756C5F63616E63656C5F
6C207769746820623B20747269766961
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
