|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
vdmsl-2e.sty
Sprache: VDM
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
25204E616D653A2076646D736C2D3265
2E7374790A252056657273696F6E3A20
312E312E3335620A25202449643A2076
646D736C2D32652E7374792C7620312E
3320313939382F30392F31372030393A
32343A3137206572696B204578702024
0A252055706461746564203938303930
372C20494641442E200A252042617365
64206F6E3A20200A2520402823292076
646D736C2E7374792076657273696F6E
20312E312E3335206461746564203935
2F30372F30362061742031313A34363A
31390A2520436F6E746163743A206769
7040646974632E6E706C2E636F2E756B
0A250A2525202D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D250A252520207664
6D736C2E7374793A2020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202D25
0A252520202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202D250A2525202020202020
425349202850726F746F205374616E64
617264292056444D20534C20646F6375
6D656E747374796C65206F7074696F6E
20666F72204C6154655820202D250A25
25202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202D250A25252020202020202057
72697474656E20627920202020202020
20204A616E2D42657274204F6F737465
6E656E6B2C2031393930202020202020
202020202020202020202D250A252520
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
202D250A25252020202020204920616D
20612073747564656E7420486F676572
20496E666F726D6174696361204F6E64
657277696A73202848494F292C202020
20202020202020202D250A2525202020
20202020202020202020202020202020
2020486F67657363686F6F6C20456E73
63686564652C20546865204E65746865
726C616E64732E20202020202020202D
250A2525202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202020202D250A25252020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
202020202020202020202020202D250A
2525202020202020652D6D61696C2074
6F20477261656D652049205061726B69
6E202067697040646974632E6E706C2E
636F2E756B2020202020202020202020
202020202D250A252520202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202D250A2525
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202D250A2525202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202020202020202D250A25252020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2D250A25252020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
202020202020202D250A252520202020
202056657273696F6E2020312E312E33
350A2525202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202020202D250A25252020202020
20536F6D65207061727473206F662074
6869732066696C652061726520636F70
6965642077697468207065726D697373
696F6E2066726F6D20202020202D250A
25252020202020204D6172696F20576F
6C637A6B6F2066726F6D2076646D2E73
74792E204D61696E6C79207468652073
796D626F6C7320616E64207468652020
202020202D250A252520202020202064
6566696E6974696F6E206F6620746865
206D617468636F6465732E2020202020
20202020202020202020202020202020
20202020202020202020202D250A2525
202020202020446562756767696E6720
63617272696564206F75742062792049
2E502E4469636B696E736F6E20202020
20202020202020202020202020202020
20202D250A2525202020202020446562
756767696E6720616E64206675727468
657220646576656C6F706D656E742062
79204B2E4A2E4C696E65732020202020
2020202020202020202D250A25252020
202020205468616E6B7320746F204465
72656B20416E647265777320616E6420
5061756C204D616B6865726A65656920
20202020202020202020202020202020
2D25200A252520202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202D250A205C747970
656F75747B4253492056444D20534C20
7374796C65206F7074696F6E203C3936
2F30352F30373E2076657273696F6E20
312E312E33356220666F72204C615465
5832657D0A5C747970656F75747B5468
69732076657273696F6E206F66207468
65206D6163726F7320636F6E7461696E
7320736F6D65206368616E6765737D0A
5C747970656F75747B77686963682061
7265206E6F74206261636B7761726473
20636F6D70617469626C652077697468
2070726576696F75737D0A5C74797065
6F75747B76657273696F6E732E205365
652073656374696F6E7320362E342E31
302C2031322E342E3120616E64203132
2E342E327D0A5C747970656F75747B6F
66207468652075736572206775696465
2E7D0A5C747970656F75747B416C736F
207365652073656374696F6E7320352E
342E312C20352E352E312C20352E352E
3720616E6420352E362E317D0A252520
2D2D437573746F6D697A696E672D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D250A2020202020202020202020
20202020202020202020252520426563
61757365206F66206368616E67657320
746F206C617465782E74657820202020
20202020202020202020202020202020
2020202D250A20202020202020202020
20202020202020202020202525206368
616E6765206F72646572206F66205C62
6567696E67726F757020616E64205C64
65665C4063757272656E7669727B2E2E
2E7D2C202D250A202020202020202020
2020202020202020202020202525206E
656365737361727920666F72206C6174
65782076657273696F6E73206265666F
7265203234204D617920313938392020
20202020202D250A2020202020202020
20202020202020202020202020252520
436865636B20696E206C617465782E74
6578206966205C626567696E2C205C65
6E6420616E642C205C40636865636B65
6E64202020202D250A20202020202020
20202020202020202020202020202525
20617265206368616E676564206F6E20
3234204D617920313938392020202020
20202020202020202020202020202020
202020202020202D250A5C6465665C40
40707265636F6E647B5C626567696E67
726F7570205C6465665C406375727265
6E7669727B707265636F6E647D7D2520
202020202020252069660A2020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202025
202020202020206368616E6765640A20
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202025202020202020202D250A0A20
25205C6465665C4040707265636F6E64
7B5C6465665C4063757272656E766972
7B707265636F6E647D5C626567696E67
726F75707D2020202025206966206E6F
74206368616E676564202D250A5C6465
665C4040706F7374636F6E647B5C6265
67696E67726F7570205C6465665C4063
757272656E7669727B706F7374636F6E
647D7D2520202020202020252069660A
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202025202020202020206368616E
6765640A202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202520202020202020
2D250A0A2025205C6465665C4040706F
7374636F6E647B5C6465665C40637572
72656E7669727B706F7374636F6E647D
5C626567696E67726F75707D20202020
25206966206E6F74206368616E676564
202D250A0C0A5C6465665C56646D536C
417574686F727B7B5C736666616D696C
79204A616E2D42657274204F6F737465
6E656E6B7D7D0A205C6465665C56646D
536C56657273696F6E7B5C56646D536C
5C2076657273696F6E20312E312E3335
7D0A5C6465665C56646D536C7B7B5C72
6D5C6C65617665766D6F64657B5C7261
697365202E313565785C68626F787B56
7D5C6B65726E2D2E33656D250A202020
2020202020202020205C72616973652D
2E3465785C68626F787B5C736320645C
6B65726E2D2E3131656D206D7D5C6B65
726E2D2E3135656D250A202020202020
2020202020205C72616973652E313565
785C68626F787B537D5C6B65726E2D2E
3132656D250A20202020202020202020
20205C72616973652D2E3465785C6862
6F787B5C7363206C7D7D7D7D0A0C0A5C
6E657769665C69666F6C64616D73400A
5C6E657769665C6966616D73400A5C61
6D7340747275650A5C6F6C64616D7340
66616C73650A5C69666F6C64616D7340
0A20202020205C6966616D73400A2020
20202020202020205C406C6174657865
72727B43616E27742075736520626F74
6820414D53466F6E747320322E302061
6E64207468652070726576696F757320
76657273696F6E7D250A202020202020
2020202020202020202020202020207B
56444D534C2E53545920686173206265
656E2073657420757020736F20746861
7420697420697320747279696E672074
6F0A2020202020202020202020202020
202020202020202075736520626F7468
20414D53466F6E747320322E3020616E
64207468652070726576696F75732076
657273696F6E206F66207468650A2020
20202020202020202020202020202020
20202020414D5320666F6E74732E0A20
20202020202020202020202020202020
202020202054656C6C20796F75722073
797374656D206D616E6167657220746F
20686176652056444D534C2E53545920
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
