|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
soccer.tex
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
736574206F6620737562737469747574
65732E0A5C6974656D204174206D6F73
74206F6E65206F662074686520706C61
796572732069732074686520676F616C
2D6B65657065722E200A5C6974656D20
5468652072756C6573206F6620736F63
63657220616C6C6F7720666F72207468
6520737562737469747574696F6E206F
66206120706C61796572206279206F6E
65206F66207468650A73756273746974
757465732E200A5C6974656D204F6E63
65206120706C61796572206861732062
65656E207265706C6163656420627920
616E6F746865722C206865206D617920
6E6F206C6F6E6765722074616B652070
61727420696E0A746865206D61746368
2E0A5C6974656D205468657265206973
2061206D6178696D756D206E756D6265
72206F6620616C6C6F77656420737562
737469747574696F6E73202875737561
6C6C79206F6E6520676F616C0A6B6565
70657220616E642074776F206669656C
6420706C6179657273292E0A5C656E64
7B6974656D697A657D0A200A44757269
6E6720746865203139393420576F726C
64204375702C20612070726F626C656D
2061726F73652061626F757420746865
20696E746572707265746174696F6E20
6F662074686573650A72756C65732077
68656E2074686520676F616C206B6565
706572206F66204974616C7920776173
206578636C7564656420647572696E67
2061206D6174636820616761696E7374
204E6F727761792E0A54686520696D70
6F7274616E7420706861736573206F66
2074686973206D617463680A77657265
3A200A0A5C626567696E7B656E756D65
726174657D0A5C6974656D2054686520
6974616C69616E20676F616C6B656570
6572205061676C69756B6120286E756D
626572203129206973206578636C7564
65642E0A5C6974656D2042616767696F
20286E756D6265722031302920657869
747320746865206669656C6420616E64
20697320737562737469747574656420
62792074686520737562737469747574
650A676F616C6B656570657220286E75
6D626572203132292E0A5C6974656D20
54776F20667572746865722073756273
7469747574696F6E73206F6620666965
6C6420706C6179657273206172652070
6572666F726D65642E0A5C656E647B65
6E756D65726174657D0A0A5468652071
75657374696F6E20776173207468656E
20746F206B6E6F772077686574686572
207468652072756C6573206861642062
65656E20666F6C6C6F776564206F7220
6E6F742E20486F770A6D616E79206669
656C6420706C61796572207375627374
69747574696F6E732064696420616374
75616C6C792074616B6520706C616365
3F0A0A546F206D6F64656C2074686973
20706172746963756C61722070726F62
6C656D2C207765206E65656420612066
7572746865722072756C653A0A0A5C62
6567696E7B6974656D697A657D0A5C69
74656D20546865207265666572656520
6D6179206578636C756465206F6E6520
6F662074686520706C61796572732028
696E636C7564696E6720746865207375
627374697475746573292E0A5C656E64
7B6974656D697A657D0A0A46696E616C
6C792C2074686520464946412072756C
657320616C736F20616C6C6F7720746F
2065786368616E67652074686520726F
6C65206F6620676F616C6B6565706572
206265747765656E0A74776F20706C61
796572732E2054686973206368616E67
65206D75737420626520666F726D616C
6C79206E6F74696669656420746F2074
68652072656665726565202877686F20
6D7573740A616C77617973206B6E6F77
2077686F20697320616C6C6F77656420
746F20746F756368207468652062616C
6C2077697468206869732068616E6473
292E0A0A5C6E6577706167650A5C696E
636C7564657B67656E6572617465642F
6C617465782F73706563696669636174
696F6E2F736F636365722E76646D736C
7D0A0A5C656E647B646F63756D656E74
7D0A0000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
