|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Guard_OtwayRees.thy
Sprache: Text
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F417574682F47756172642F47
756172645F4F74776179526565732E74
68790A20202020417574686F723A2020
202020467265646572696320426C616E
7175692C20556E697665727369747920
6F662043616D62726964676520436F6D
7075746572204C61626F7261746F7279
0A20202020436F707972696768742020
20323030322020556E69766572736974
79206F662043616D6272696467650A2A
290A0A73656374696F6E5C3C6F70656E
3E4F747761792D526565732050726F74
6F636F6C5C3C636C6F73653E0A0A7468
656F72792047756172645F4F74776179
5265657320696D706F72747320477561
72645F53686172656420626567696E0A
0A73756273656374696F6E5C3C6F7065
6E3E6D65737361676573207573656420
696E207468652070726F746F636F6C5C
3C636C6F73653E0A0A61626272657669
6174696F6E0A20206E696C203A3A2022
6D7367222077686572650A2020226E69
6C203D3D204E756D6265722030220A0A
616262726576696174696F6E0A20206F
7231203A3A20226167656E74203D3E20
6167656E74203D3E206E6174203D3E20
6576656E74222077686572650A202022
6F723120412042204E41203D3D0A2020
20205361797320412042205C3C6C6272
6163653E4E6F6E6365204E412C204167
656E7420412C204167656E7420422C20
436970682041205C3C6C62726163653E
4E6F6E6365204E412C204167656E7420
412C204167656E7420425C3C72627261
63653E5C3C7262726163653E220A0A61
6262726576696174696F6E0A20206F72
3127203A3A20226167656E74203D3E20
6167656E74203D3E206167656E74203D
3E206E6174203D3E206D7367203D3E20
6576656E74222077686572650A202022
6F72312720412720412042204E412058
203D3D20536179732041272042205C3C
6C62726163653E4E6F6E6365204E412C
204167656E7420412C204167656E7420
422C20585C3C7262726163653E220A0A
616262726576696174696F6E0A20206F
7232203A3A20226167656E74203D3E20
6167656E74203D3E206E6174203D3E20
6E6174203D3E206D7367203D3E206576
656E74222077686572650A2020226F72
3220412042204E41204E422058203D3D
0A202020205361797320422053657276
6572205C3C6C62726163653E4E6F6E63
65204E412C204167656E7420412C2041
67656E7420422C20582C0A2020202020
20202020202020202020202020202043
6970682042205C3C6C62726163653E4E
6F6E6365204E412C204E6F6E6365204E
422C204167656E7420412C204167656E
7420425C3C7262726163653E5C3C7262
726163653E220A0A6162627265766961
74696F6E0A20206F723227203A3A2022
6167656E74203D3E206167656E74203D
3E206167656E74203D3E206E6174203D
3E206E6174203D3E206576656E742220
77686572650A2020226F723227204227
20412042204E41204E42203D3D0A2020
20205361797320422720536572766572
205C3C6C62726163653E4E6F6E636520
4E412C204167656E7420412C20416765
6E7420422C0A20202020202020202020
20202020202020202020204369706820
41205C3C6C62726163653E4E6F6E6365
204E412C204167656E7420412C204167
656E7420425C3C7262726163653E2C0A
20202020202020202020202020202020
2020202020436970682042205C3C6C62
726163653E4E6F6E6365204E412C204E
6F6E6365204E422C204167656E742041
2C204167656E7420425C3C7262726163
653E5C3C7262726163653E220A0A6162
62726576696174696F6E0A20206F7233
203A3A20226167656E74203D3E206167
656E74203D3E206E6174203D3E206E61
74203D3E206B6579203D3E206576656E
74222077686572650A2020226F723320
412042204E41204E42204B203D3D0A20
20202053617973205365727665722042
205C3C6C62726163653E4E6F6E636520
4E412C20436970682041205C3C6C6272
6163653E4E6F6E6365204E412C204B65
79204B5C3C7262726163653E2C0A2020
20202020202020202020202020202020
2020436970682042205C3C6C62726163
653E4E6F6E6365204E422C204B657920
4B5C3C7262726163653E5C3C72627261
63653E220A0A61626272657669617469
6F6E0A20206F7233273A3A2022616765
6E74203D3E206D7367203D3E20616765
6E74203D3E206167656E74203D3E206E
6174203D3E206E6174203D3E206B6579
203D3E206576656E7422207768657265
0A2020226F7233272053205920412042
204E41204E42204B203D3D0A20202020
5361797320532042205C3C6C62726163
653E4E6F6E6365204E412C20592C2043
6970682042205C3C6C62726163653E4E
6F6E6365204E422C204B6579204B5C3C
7262726163653E5C3C7262726163653E
220A0A616262726576696174696F6E0A
20206F7234203A3A20226167656E7420
3D3E206167656E74203D3E206E617420
3D3E206D7367203D3E206576656E7422
2077686572650A2020226F7234204120
42204E412058203D3D20536179732042
2041205C3C6C62726163653E4E6F6E63
65204E412C20582C206E696C5C3C7262
726163653E220A0A6162627265766961
74696F6E0A20206F723427203A3A2022
6167656E74203D3E206167656E74203D
3E206E6174203D3E206B6579203D3E20
6576656E74222077686572650A202022
6F7234272042272041204E41204B203D
3D20536179732042272041205C3C6C62
726163653E4E6F6E6365204E412C2043
6970682041205C3C6C62726163653E4E
6F6E6365204E412C204B6579204B5C3C
7262726163653E2C206E696C5C3C7262
726163653E220A0A7375627365637469
6F6E5C3C6F70656E3E646566696E6974
696F6E206F66207468652070726F746F
636F6C5C3C636C6F73653E0A0A696E64
7563746976655F736574206F72203A3A
20226576656E74206C69737420736574
220A77686572650A0A20204E696C3A20
225B5D205C3C696E3E206F72220A0A7C
2046616B653A20225B7C20657673205C
3C696E3E206F723B2058205C3C696E3E
2073796E74682028616E616C7A202873
70696573206576732929207C5D203D3D
3E205361797320537079204220582023
20657673205C3C696E3E206F72220A0A
7C204F52313A20225B7C206576733120
5C3C696E3E206F723B204E6F6E636520
4E41205C3C6E6F74696E3E2075736564
2065767331207C5D203D3D3E206F7231
20412042204E4120232065767331205C
3C696E3E206F72220A0A7C204F52323A
20225B7C2065767332205C3C696E3E20
6F723B206F7231272041272041204220
4E412058205C3C696E3E207365742065
7673323B204E6F6E6365204E42205C3C
6E6F74696E3E20757365642065767332
207C5D0A20203D3D3E206F7232204120
42204E41204E42205820232065767332
205C3C696E3E206F72220A0A7C204F52
333A20225B7C2065767333205C3C696E
3E206F723B206F723227204227204120
42204E41204E42205C3C696E3E207365
7420657673333B204B6579204B205C3C
6E6F74696E3E20757365642065767333
207C5D0A20203D3D3E206F7233204120
42204E41204E42204B20232065767333
205C3C696E3E206F72220A0A7C204F52
343A20225B7C2065767334205C3C696E
3E206F723B206F723220412042204E41
204E422058205C3C696E3E2073657420
657673343B206F723327205320592041
2042204E41204E42204B205C3C696E3E
207365742065767334207C5D0A20203D
3D3E206F723420412042204E41205820
232065767334205C3C696E3E206F7222
0A0A73756273656374696F6E5C3C6F70
656E3E6465636C61726174696F6E7320
666F7220746163746963735C3C636C6F
73653E0A0A6465636C617265206B6E6F
77735F5370795F70617274734573205B
656C696D5D0A6465636C617265204661
6B655F70617274735F696E7365727420
5B5448454E20737562736574442C2064
6573745D0A6465636C61726520696E69
7453746174652E73696D7073205B7369
6D702064656C5D0A0A73756273656374
696F6E5C3C6F70656E3E67656E657261
6C2070726F70657274696573206F6620
6F725C3C636C6F73653E0A0A6C656D6D
61206F725F6861735F6E6F5F47657473
3A2022657673205C3C696E3E206F7220
5C3C4C6F6E6772696768746172726F77
3E205C3C666F72616C6C3E4120582E20
4765747320412058205C3C6E6F74696E
3E2073657420657673220A6279202865
72756C65206F722E696E647563742C20
6175746F290A0A6C656D6D61206F725F
69735F476574735F636F727265637420
5B6966665D3A2022476574735F636F72
72656374206F72220A62792028617574
6F2073696D703A20476574735F636F72
726563745F64656620646573743A206F
725F6861735F6E6F5F47657473290A0A
6C656D6D61206F725F69735F6F6E655F
73746570205B6966665D3A20226F6E65
5F73746570206F72220A62792028756E
666F6C64206F6E655F737465705F6465
662C20636C61726966792C20696E645F
63617365732022657623657673205C3C
696E3E206F722220666F722065762065
76732C206175746F290A0A6C656D6D61
206F725F6861735F6F6E6C795F536179
7327205B72756C655F666F726D61745D
3A2022657673205C3C696E3E206F7220
5C3C4C6F6E6772696768746172726F77
3E0A6576205C3C696E3E207365742065
7673205C3C6C6F6E6772696768746172
726F773E20285C3C6578697374733E41
204220582E2065763D53617973204120
42205829220A627920286572756C6520
6F722E696E647563742C206175746F29
0A0A6C656D6D61206F725F6861735F6F
6E6C795F53617973205B6966665D3A20
226861735F6F6E6C795F53617973206F
72220A627920286175746F2073696D70
3A206861735F6F6E6C795F536179735F
64656620646573743A206F725F686173
5F6F6E6C795F5361797327290A0A7375
6273656374696F6E5C3C6F70656E3E6F
7220697320726567756C61725C3C636C
6F73653E0A0A6C656D6D61206F723127
5F70617274735F7370696573205B6465
73745D3A20226F723127204127204120
42204E412058205C3C696E3E20736574
206576730A5C3C4C6F6E677269676874
6172726F773E2058205C3C696E3E2070
61727473202873706965732065767329
220A627920626C6173740A0A6C656D6D
61206F72325F70617274735F73706965
73205B646573745D3A20226F72322041
2042204E41204E422058205C3C696E3E
20736574206576730A5C3C4C6F6E6772
696768746172726F773E2058205C3C69
6E3E2070617274732028737069657320
65767329220A627920626C6173740A0A
6C656D6D61206F72335F70617274735F
7370696573205B646573745D3A202253
61797320532042205C3C6C6272616365
3E4E412C20592C20436970682042205C
3C6C62726163653E4E422C204B5C3C72
62726163653E5C3C7262726163653E20
5C3C696E3E20736574206576730A5C3C
4C6F6E6772696768746172726F773E20
4B205C3C696E3E207061727473202873
706965732065767329220A627920626C
6173740A0A6C656D6D61206F725F6973
5F726567756C6172205B6966665D3A20
22726567756C6172206F72220A617070
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
