|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
synch_protocol_invariants.prf
Sprache: Lisp
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
2873796E63685F70726F746F636F6C5F
696E76617269616E74730D0A2028616C
6C5F706572696F6469635F7072656369
73696F6E5F6966665F706565725F7072
65636973696F6E20300D0A202028616C
6C5F706572696F6469635F7072656369
73696F6E5F6966665F706565725F7072
65636973696F6E2D31206E696C203333
39393036383636380D0A202020282222
0D0A2020202028657870616E642A2022
706565725F707265636973696F6E3F22
2022616C6C5F706572696F6469635F70
7265636973696F6E3F220D0A20202020
2022706572696F6469635F7072656369
73696F6E3F22290D0A202020206E696C
206E696C290D0A202020282870657269
6F6469635F707265636973696F6E3F20
636F6E73742D6465636C2022626F6F6C
222073796E63685F70726F746F636F6C
5F696E76617269616E74730D0A202020
20206E696C290D0A2020202028616C6C
5F706572696F6469635F707265636973
696F6E3F20636F6E73742D6465636C20
22626F6F6C220D0A202020202073796E
63685F70726F746F636F6C5F696E7661
7269616E7473206E696C290D0A202020
2028706565725F707265636973696F6E
3F20636F6E73742D6465636C2022626F
6F6C2220696E74657276616C5F636C6F
636B73206E696C29290D0A2020206E69
6C29290D0A2028616C6C5F706572696F
6469635F707265636973696F6E20300D
0A202028616C6C5F706572696F646963
5F707265636973696F6E2D31206E696C
20333339393036383638330D0A202020
2822222028657870616E642022616C6C
5F706572696F6469635F707265636973
696F6E3F22290D0A2020202028282222
2028736B6F73696D702A290D0A202020
20202028282222202867656E6572616C
697A652D736B6F6C656D2D636F6E7374
616E7473290D0A202020202020202028
2822222028696E6475637420226A5F31
22290D0A202020202020202020202828
2231222028736B6F73696D702A290D0A
20202020202020202020202028282231
222028657870616E642022696E697469
616C5F707265636973696F6E3F22290D
0A202020202020202020202020202028
28223122202870726F70617829206E69
6C206E696C2929206E696C29290D0A20
20202020202020202020206E696C290D
0A202020202020202020202028223222
2028736B6F73696D702A290D0A202020
20202020202020202028282232222028
696E73743F290D0A2020202020202020
20202020202028282232222028617373
657274290D0A20202020202020202020
20202020202028282232222028657870
616E642022706572696F6469635F7072
65636973696F6E5F656E68616E63656D
656E743F22290D0A2020202020202020
20202020202020202020282822322220
28696E73743F29202828223222202861
737365727429206E696C206E696C2929
206E696C2929206E696C29290D0A2020
20202020202020202020202020206E69
6C29290D0A2020202020202020202020
2020206E696C29290D0A202020202020
2020202020206E696C29290D0A202020
202020202020206E696C29290D0A2020
2020202020206E696C29290D0A202020
2020206E696C29290D0A202020206E69
6C290D0A202020282870726564207479
70652D65712D6465636C206E696C2064
6566696E65645F7479706573206E696C
290D0A20202020286E61745F696E6475
6374696F6E20666F726D756C612D6465
636C206E696C206E61747572616C6E75
6D62657273206E696C290D0A20202020
28706F73696E745F706C75735F6E6E69
6E745F69735F706F73696E7420617070
6C69636174696F6E2D6A756467656D65
6E742022706F73696E74220D0A202020
2020696E746567657273206E696C290D
0A2020202028696E745F6D696E75735F
696E745F69735F696E74206170706C69
636174696F6E2D6A756467656D656E74
2022696E742220696E74656765727320
6E696C290D0A20202020286E6E696E74
5F706C75735F706F73696E745F69735F
706F73696E74206170706C6963617469
6F6E2D6A756467656D656E742022706F
73696E74220D0A2020202020696E7465
67657273206E696C290D0A2020202028
626F6F6C65616E206E6F6E656D707479
2D747970652D6465636C206E696C2062
6F6F6C65616E73206E696C290D0A2020
202028626F6F6C206E6F6E656D707479
2D747970652D65712D6465636C206E69
6C20626F6F6C65616E73206E696C290D
0A2020202028494D504C49455320636F
6E73742D6465636C20225B626F6F6C2C
20626F6F6C202D3E20626F6F6C5D2220
626F6F6C65616E73206E696C290D0A20
20202028414E4420636F6E73742D6465
636C20225B626F6F6C2C20626F6F6C20
2D3E20626F6F6C5D2220626F6F6C6561
6E73206E696C290D0A20202020286E75
6D626572206E6F6E656D7074792D7479
70652D6465636C206E696C206E756D62
657273206E696C290D0A20202020286E
756D6265725F6669656C645F70726564
20636F6E73742D6465636C20225B6E75
6D626572202D3E20626F6F6C65616E5D
22206E756D6265725F6669656C64730D
0A20202020206E696C290D0A20202020
286E756D6265725F6669656C64206E6F
6E656D7074792D747970652D66726F6D
2D6465636C206E696C206E756D626572
5F6669656C6473206E696C290D0A2020
2020287265616C5F7072656420636F6E
73742D6465636C20225B6E756D626572
5F6669656C64202D3E20626F6F6C6561
6E5D22207265616C73206E696C290D0A
20202020287265616C206E6F6E656D70
74792D747970652D66726F6D2D646563
6C206E696C207265616C73206E696C29
0D0A2020202028726174696F6E616C5F
7072656420636F6E73742D6465636C20
225B7265616C202D3E20626F6F6C6561
6E5D2220726174696F6E616C73206E69
6C290D0A2020202028726174696F6E61
6C206E6F6E656D7074792D747970652D
66726F6D2D6465636C206E696C207261
74696F6E616C73206E696C290D0A2020
202028696E74656765725F7072656420
636F6E73742D6465636C20225B726174
696F6E616C202D3E20626F6F6C65616E
5D2220696E746567657273206E696C29
0D0A2020202028696E74206E6F6E656D
7074792D747970652D65712D6465636C
206E696C20696E746567657273206E69
6C290D0A20202020283E3D20636F6E73
742D6465636C2022626F6F6C22207265
616C73206E696C290D0A20202020286E
6174206E6F6E656D7074792D74797065
2D65712D6465636C206E696C206E6174
7572616C6E756D62657273206E696C29
0D0A20202020283C3D20636F6E73742D
6465636C2022626F6F6C22207265616C
73206E696C290D0A20202020286E756D
6669656C64206E6F6E656D7074792D74
7970652D65712D6465636C206E696C20
6E756D6265725F6669656C6473206E69
6C290D0A20202020282F3D20636F6E73
742D6465636C2022626F6F6C65616E22
206E6F74657175616C206E696C290D0A
20202020286E7A6E756D206E6F6E656D
7074792D747970652D65712D6465636C
206E696C206E756D6265725F6669656C
6473206E696C290D0A20202020282F20
636F6E73742D6465636C20225B6E756D
6669656C642C206E7A6E756D202D3E20
6E756D6669656C645D22206E756D6265
725F6669656C6473206E696C290D0A20
202020286E6F6E6E65675F7265616C20
6E6F6E656D7074792D747970652D6571
2D6465636C206E696C207265616C5F74
79706573206E696C290D0A2020202028
3E20636F6E73742D6465636C2022626F
6F6C22207265616C73206E696C290D0A
2020202028706F737265616C206E6F6E
656D7074792D747970652D65712D6465
636C206E696C207265616C5F74797065
73206E696C290D0A20202020286E6E72
65616C20747970652D65712D6465636C
206E696C207265616C5F747970657320
6E696C290D0A202020202872686F2066
6F726D616C2D636F6E73742D6465636C
20226E6E7265616C222073796E63685F
70726F746F636F6C5F696E7661726961
6E7473206E696C290D0A202020202872
61746520636F6E73742D6465636C2022
706F737265616C222070687973696361
6C5F636C6F636B73206E696C290D0A20
202020282D20636F6E73742D6465636C
20225B6E756D6669656C642C206E756D
6669656C64202D3E206E756D6669656C
645D22206E756D6265725F6669656C64
73206E696C290D0A20202020282B2063
6F6E73742D6465636C20225B6E756D66
69656C642C206E756D6669656C64202D
3E206E756D6669656C645D22206E756D
6265725F6669656C6473206E696C290D
0A2020202028676F6F645F636C6F636B
206E6F6E656D7074792D747970652D65
712D6465636C206E696C207068797369
63616C5F636C6F636B73206E696C290D
0A202020202873657420747970652D65
712D6465636C206E696C207365747320
6E696C290D0A202020202869735F6669
6E69746520636F6E73742D6465636C20
22626F6F6C222066696E6974655F7365
7473206E696C290D0A20202020286669
6E6974655F73657420747970652D6571
2D6465636C206E696C2066696E697465
5F73657473206E696C290D0A20202020
284E4F5420636F6E73742D6465636C20
225B626F6F6C202D3E20626F6F6C5D22
20626F6F6C65616E73206E696C290D0A
2020202028656D7074793F20636F6E73
742D6465636C2022626F6F6C22207365
7473206E696C290D0A20202020286E6F
6E5F656D7074795F66696E6974655F73
657420747970652D65712D6465636C20
6E696C2066696E6974655F7365747320
6E696C290D0A2020202028696E697469
616C5F707265636973696F6E3F20636F
6E73742D6465636C2022626F6F6C2220
73796E63685F70726F746F636F6C5F69
6E76617269616E74730D0A2020202020
6E696C290D0A2020202028706572696F
6469635F707265636973696F6E5F656E
68616E63656D656E743F20636F6E7374
2D6465636C2022626F6F6C220D0A2020
20202073796E63685F70726F746F636F
6C5F696E76617269616E7473206E696C
290D0A2020202028706572696F646963
5F707265636973696F6E3F20636F6E73
742D6465636C2022626F6F6C22207379
6E63685F70726F746F636F6C5F696E76
617269616E74730D0A20202020206E69
6C290D0A2020202028616C6C5F706572
696F6469635F707265636973696F6E3F
20636F6E73742D6465636C2022626F6F
6C220D0A202020202073796E63685F70
726F746F636F6C5F696E76617269616E
7473206E696C29290D0A2020206E696C
29290D0A20286D696E6D61785F61646A
7573746D656E745F6C6F7765725F626F
756E6420300D0A2020286D696E6D6178
5F61646A7573746D656E745F6C6F7765
725F626F756E642D31206E696C203333
39393036383639390D0A202020282222
2028657870616E64202261646A757374
6D656E745F6C6F7765725F626F756E64
3F22290D0A2020202028282222202873
6B6F73696D702A290D0A202020202020
282822222028657870616E642A202261
6C6C5F706572696F6469635F70726563
6973696F6E3F222022706572696F6469
635F707265636973696F6E3F22290D0A
2020202020202020282822222028696E
73743F290D0A20202020202020202020
282822220D0A20202020202020202020
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
