Quelle  Spec.thy   Sprache: unbekannt

282A3A6D61784C696E654C656E3D3738
3A2A290A0A7468656F72792053706563
0A2020696D706F727473204D61696E20
426173650A626567696E0A0A63686170
746572205C3C6F70656E3E5370656369
6669636174696F6E735C3C636C6F7365
3E0A0A74657874205C3C6F70656E3E0A
20205468652049736162656C6C652F49
736172207468656F727920666F726D61
7420696E746567726174657320737065
63696669636174696F6E7320616E6420
70726F6F66732C20776974680A202073
7570706F727420666F7220696E746572
61637469766520646576656C6F706D65
6E7420627920636F6E74696E756F7573
20646F63756D656E742065646974696E
672E2054686572652069730A20206120
736570617261746520646F63756D656E
74207072657061726174696F6E207379
7374656D2028736565205C6368726566
7B63683A646F63756D656E742D707265
707D292C20666F720A20207479706573
657474696E6720666F726D616C206465
76656C6F706D656E747320746F676574
686572207769746820696E666F726D61
6C20746578742E205468652072657375
6C74696E670A202068797065722D6C69
6E6B65642050444620646F63756D656E
74732063616E20626520757365642062
6F746820666F72205757572070726573
656E746174696F6E20616E6420707269
6E7465640A2020636F706965732E0A0A
202054686520497361722070726F6F66
206C616E67756167652028736565205C
63687265667B63683A70726F6F66737D
2920697320656D62656464656420696E
746F20746865207468656F72790A2020
6C616E67756167652061732061207072
6F706572207375622D6C616E67756167
652E2050726F6F66206D6F6465206973
20656E74657265642062792073746174
696E6720736F6D650A20205C3C5E7468
656F72795F746578743E5C3C6F70656E
3E7468656F72656D5C3C636C6F73653E
206F72205C3C5E7468656F72795F7465
78743E5C3C6F70656E3E6C656D6D615C
3C636C6F73653E206174207468652074
68656F7279206C6576656C2C20616E64
206C65667420616761696E2077697468
207468652066696E616C0A2020636F6E
636C7573696F6E2028652E672E5C2076
6961205C3C5E7468656F72795F746578
743E5C3C6F70656E3E7165645C3C636C
6F73653E292E0A5C3C636C6F73653E0A
0A0A73656374696F6E205C3C6F70656E
3E446566696E696E67207468656F7269
6573205C6C6162656C7B7365633A6265
67696E2D7468797D5C3C636C6F73653E
0A0A74657874205C3C6F70656E3E0A20
205C626567696E7B6D61746861727261
797D7B72636C7D0A20202020407B636F
6D6D616E645F64656620227468656F72
79227D2026203A2026205C3C6F70656E
3E746F706C6576656C205C3C72696768
746172726F773E207468656F72795C3C
636C6F73653E205C5C0A20202020407B
636F6D6D616E645F6465662028676C6F
62616C292022656E64227D2026203A20
26205C3C6F70656E3E7468656F727920
5C3C72696768746172726F773E20746F
706C6576656C5C3C636C6F73653E205C
5C0A20202020407B636F6D6D616E645F
64656620227468795F64657073227D5C
3C6F70656E3E5C3C5E7375703E2A5C3C
636C6F73653E2026203A2026205C3C6F
70656E3E7468656F7279205C3C726967
68746172726F773E5C3C636C6F73653E
205C5C0A20205C656E647B6D61746861
727261797D0A0A202049736162656C6C
652F49736172207468656F7269657320
61726520646566696E65642076696120
7468656F72792066696C65732C207768
69636820636F6E73697374206F662061
6E0A20206F757465726D6F7374207365
7175656E6365206F6620646566696E69
74696F6E2D2D73746174656D656E742D
2D70726F6F6620656C656D656E74732E
20536F6D650A2020646566696E697469
6F6E73206172652073656C662D737566
66696369656E742028652E672E5C205C
3C5E7468656F72795F746578743E5C3C
6F70656E3E66756E5C3C636C6F73653E
20696E2049736162656C6C652F484F4C
292C20776974680A2020666F756E6461
74696F6E616C2070726F6F6673207065
72666F726D656420696E7465726E616C
6C792E204F7468657220646566696E69
74696F6E73207265717569726520616E
0A20206578706C696369742070726F6F
66206173206A75737469666963617469
6F6E2028652E672E5C205C3C5E746865
6F72795F746578743E5C3C6F70656E3E
66756E6374696F6E5C3C636C6F73653E
20616E64205C3C5E7468656F72795F74
6578743E5C3C6F70656E3E7465726D69
6E6174696F6E5C3C636C6F73653E2069
6E0A202049736162656C6C652F484F4C
292E20506C61696E2073746174656D65
6E7473206C696B65205C3C5E7468656F
72795F746578743E5C3C6F70656E3E74
68656F72656D5C3C636C6F73653E206F
72205C3C5E7468656F72795F74657874
3E5C3C6F70656E3E6C656D6D615C3C63
6C6F73653E20617265206D6572656C79
20610A20207370656369616C20636173
65206F6620746861742C20646566696E
696E672061207468656F72656D206672
6F6D206120676976656E2070726F706F
736974696F6E20616E64206974730A20
2070726F6F662E0A0A20205468652074
68656F727920626F6479206D61792062
65207375622D73747275637475726564
206279206D65616E73206F66205C3C5E
656D70683E5C3C6F70656E3E6C6F6361
6C207468656F72792074617267657473
5C3C636C6F73653E2C0A202073756368
206173205C3C5E7468656F72795F7465
78743E5C3C6F70656E3E6C6F63616C65
5C3C636C6F73653E20616E64205C3C5E
7468656F72795F746578743E5C3C6F70
656E3E636C6173735C3C636C6F73653E
2E20497420697320616C736F20706F73
7369626C6520746F20757365205C3C5E
7468656F72795F746578743E5C3C6F70
656E3E636F6E7465787420626567696E
205C3C646F74733E0A2020656E645C3C
636C6F73653E20626C6F636B7320746F
2064656C696D697465642061206C6F63
616C207468656F727920636F6E746578
743A2061205C3C5E656D70683E5C3C6F
70656E3E6E616D656420636F6E746578
745C3C636C6F73653E20746F0A202061
75676D656E742061206C6F63616C6520
6F7220636C6173732073706563696669
636174696F6E2C206F7220616E205C3C
5E656D70683E5C3C6F70656E3E756E6E
616D656420636F6E746578745C3C636C
6F73653E20746F2072656665720A2020
746F206C6F63616C20706172616D6574
65727320616E6420617373756D707469
6F6E7320746861742061726520646973
63686172676564206C617465722E2053
65650A20205C7365637265667B736563
3A7461726765747D20666F72206D6F72
652064657461696C732E0A0A20205C3C
5E6D6564736B69703E0A202041207468
656F727920697320636F6D6D656E6365
6420627920746865205C3C5E7468656F
72795F746578743E5C3C6F70656E3E74
68656F72795C3C636C6F73653E20636F
6D6D616E642C20776869636820696E64
69636174657320696D706F727473206F
660A202070726576696F757320746865
6F726965732C206163636F7264696E67
20746F20616E20616379636C69632066
6F756E646174696F6E616C206F726465
722E204265666F7265207468650A2020
696E697469616C205C3C5E7468656F72
795F746578743E5C3C6F70656E3E7468
656F72795C3C636C6F73653E20636F6D
6D616E642C207468657265206D617920
6265206F7074696F6E616C20646F6375
6D656E7420686561646572206D617465
7269616C0A2020286C696B65205C3C5E
7468656F72795F746578743E5C3C6F70
656E3E73656374696F6E5C3C636C6F73
653E206F72205C3C5E7468656F72795F
746578743E5C3C6F70656E3E74657874
5C3C636C6F73653E2C20736565205C73
65637265667B7365633A6D61726B7570
7D292E2054686520646F63756D656E74
206865616465720A20206973206F7574
73696465206F662074686520666F726D
616C207468656F727920636F6E746578
742C2074686F7567682E0A0A20204120
7468656F727920697320636F6E636C75
64656420627920612066696E616C2040
7B636F6D6D616E642028676C6F62616C
292022656E64227D20636F6D6D616E64
2C206F6E6520746861740A2020646F65
73206E6F742062656C6F6E6720746F20
61206C6F63616C207468656F72792074
61726765742E204E6F20667572746865
7220636F6D6D616E6473206D61792066
6F6C6C6F770A20207375636820612067
6C6F62616C20407B636F6D6D616E6420
28676C6F62616C292022656E64227D2E
0A0A20205C3C5E7261696C3E5C3C6F70
656E3E0A2020202040407B636F6D6D61
6E64207468656F72797D20407B73796E
7461782073797374656D5F6E616D657D
0A2020202020204027696D706F727473
272028407B73796E7461782073797374
656D5F6E616D657D202B29205C3C6E65
776C696E653E0A2020202020206B6579
776F7264733F20616262726576733F20
4027626567696E270A202020203B0A20
2020206B6579776F7264733A2040276B
6579776F7264732720286B6579776F72
645F6465636C73202B204027616E6427
290A202020203B0A202020206B657977
6F72645F6465636C733A2028407B7379
6E74617820737472696E677D202B2920
28273A3A2720407B73796E746178206E
616D657D20407B73796E746178207461
67737D293F0A202020203B0A20202020
616262726576733A2040276162627265
76732720282828746578742B2920273D
272028746578742B2929202B20402761
6E6427290A202020203B0A2020202040
407B636F6D6D616E64207468795F6465
70737D20287468795F626F756E647320
7468795F626F756E64733F293F0A2020
20203B0A202020207468795F626F756E
64733A20407B73796E746178206E616D
657D207C202728272028407B73796E74
6178206E616D657D202B2040277C2729
202729270A20205C3C636C6F73653E0A
0A20205C3C5E64657363723E205C3C5E
7468656F72795F746578743E5C3C6F70
656E3E7468656F7279204120696D706F
72747320425C3C5E7375623E31205C3C
646F74733E20425C3C5E7375623E6E20
626567696E5C3C636C6F73653E207374
617274732061206E6577207468656F72
79205C3C6F70656E3E415C3C636C6F73
653E206261736564206F6E207468650A
20206D65726765206F66206578697374
696E67207468656F72696573205C3C6F
70656E3E425C3C5E7375623E31205C3C
646F74733E20425C3C5E7375623E6E5C
3C636C6F73653E2E2044756520746F20
74686520706F73736962696C69747920
746F20696D706F72740A20206D6F7265
207468616E206F6E6520616E63657374
6F722C2074686520726573756C74696E
67207468656F72792073747275637475
7265206F6620616E2049736162656C6C
650A202073657373696F6E20666F726D
73206120646972656374656420616379
636C6963206772617068202844414729
2E2049736162656C6C652074616B6573
206361726520746861740A2020736F75
7263657320636F6E747269627574696E
6720746F2074686520646576656C6F70
6D656E74206772617068206172652061
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!