Quelle  Code_Lazy.thy   Sprache: unbekannt

282A20417574686F723A205061736361
6C2053746F6F702C20455448205A7572
6963680A202020417574686F723A2041
6E6472656173204C6F63686269686C65
722C204469676974616C204173736574
202A290A0A73656374696F6E205C3C6F
70656E3E4C617A792074797065732069
6E2067656E65726174656420636F6465
5C3C636C6F73653E0A0A7468656F7279
20436F64655F4C617A790A696D706F72
747320436173655F436F6E7665727465
720A6B6579776F7264730A202022636F
64655F6C617A795F74797065220A2020
2261637469766174655F6C617A795F74
797065220A2020226465616374697661
74655F6C617A795F74797065220A2020
2261637469766174655F6C617A795F74
79706573220A20202264656163746976
6174655F6C617A795F7479706573220A
2020227072696E745F6C617A795F7479
70657322203A3A207468795F6465636C
0A626567696E0A0A74657874205C3C6F
70656E3E0A202054686973207468656F
727920616E642074686520436F64654C
617A7920746F6F6C2064657363726962
656420696E205C3C5E636974653E5C3C
6F70656E3E224C6F63686269686C6572
53746F6F7032303138225C3C636C6F73
653E2E0A0A2020497420686F6F6B7320
696E746F2049736162656C6C65277320
636F64652067656E657261746F722073
7563682074686174207468652067656E
65726174656420636F6465206576616C
7561746573206120757365722D737065
6369666965640A2020736574206F6620
7479706520636F6E7374727563746F72
73206C617A696C792C206576656E2069
6E20746172676574206C616E67756167
65732077697468206561676572206576
616C756174696F6E2E0A202054686520
6C617A792074797065206D7573742062
6520616C676562726169632C20692E65
2E2C2076616C756573206D7573742062
65206275696C742066726F6D20636F6E
7374727563746F727320616E6420610A
2020636F72726573706F6E64696E6720
63617365206F70657261746F72206465
636F6D706F736573207468656D2E2045
7665727920646174617479706520616E
6420636F646174617479706520697320
616C676562726169630A2020616E6420
7468757320656C696769626C6520666F
72206C617A696669636174696F6E2E0A
5C3C636C6F73653E0A0A737562736563
74696F6E205C3C6F70656E3E54686520
74797065205C3C6F70656E3E6C617A79
5C3C636C6F73653E5C3C636C6F73653E
0A0A74797065646566202761206C617A
79203D2022554E4956203A3A20276120
73657422202E2E0A73657475705F6C69
6674696E6720747970655F646566696E
6974696F6E5F6C617A790A6C6966745F
646566696E6974696F6E2064656C6179
203A3A202228756E6974205C3C526967
68746172726F773E20276129205C3C52
696768746172726F773E202761206C61
7A79222020697320225C3C6C616D6264
613E662E206620282922202E0A6C6966
745F646566696E6974696F6E20666F72
6365203A3A20222761206C617A79205C
3C52696768746172726F773E20276122
20697320225C3C6C616D6264613E782E
207822202E0A0A636F64655F64617461
747970652064656C61790A6C656D6D61
20666F7263655F64656C6179205B636F
64655D3A2022666F726365202864656C
6179206629203D206620282922206279
207472616E73666572202872756C6520
7265666C290A6C656D6D612064656C61
795F666F7263653A202264656C617920
285C3C6C616D6264613E5F2E20666F72
6365207329203D207322206279207472
616E73666572202872756C6520726566
6C290A0A646566696E6974696F6E2074
65726D6966795F6C617A7932203A3A20
222761203A3A2074797065726570206C
617A79205C3C52696768746172726F77
3E207465726D220A2020776865726520
227465726D6966795F6C617A79322078
203D0A2020436F64655F4576616C7561
74696F6E2E4170702028436F64655F45
76616C756174696F6E2E436F6E737420
28535452202727436F64655F4C617A79
2E64656C617927272920285459504552
45502828756E6974205C3C5269676874
6172726F773E20276129205C3C526967
68746172726F773E202761206C617A79
2929290A2020202028436F64655F4576
616C756174696F6E2E436F6E73742028
535452202727507572652E64756D6D79
5F7061747465726E2727292028545950
455245502828756E6974205C3C526967
68746172726F773E2027612929292922
0A0A646566696E6974696F6E20746572
6D6966795F6C617A79203A3A0A202022
28537472696E672E6C69746572616C20
5C3C52696768746172726F773E202774
797065726570205C3C52696768746172
726F773E20277465726D29205C3C5269
6768746172726F773E0A202020282774
65726D205C3C52696768746172726F77
3E20277465726D205C3C526967687461
72726F773E20277465726D29205C3C52
696768746172726F773E0A2020202853
7472696E672E6C69746572616C205C3C
52696768746172726F773E2027747970
65726570205C3C52696768746172726F
773E20277465726D205C3C5269676874
6172726F773E20277465726D29205C3C
52696768746172726F773E0A20202027
74797065726570205C3C526967687461
72726F773E2028277479706572657020
5C3C52696768746172726F773E202774
797065726570205C3C52696768746172
726F773E20277479706572657029205C
3C52696768746172726F773E20282774
797065726570205C3C52696768746172
726F773E20277479706572657029205C
3C52696768746172726F773E0A202020
282761205C3C52696768746172726F77
3E20277465726D29205C3C5269676874
6172726F773E20277479706572657020
5C3C52696768746172726F773E202761
203A3A2074797065726570206C617A79
205C3C52696768746172726F773E2027
7465726D205C3C52696768746172726F
773E207465726D220A20207768657265
20227465726D6966795F6C617A79205F
205F205F205F205F205F205F205F2078
205F203D207465726D6966795F6C617A
79322078220A0A6465636C617265205B
5B636F64652064726F703A2022436F64
655F4576616C756174696F6E2E746572
6D5F6F66203A3A205F206C617A79205C
3C52696768746172726F773E205F225D
5D0A0A6C656D6D61207465726D5F6F66
5F6C617A795F636F6465205B636F6465
5D3A0A202022436F64655F4576616C75
6174696F6E2E7465726D5F6F66207820
5C3C65717569763E0A2020207465726D
6966795F6C617A790A2020202020436F
64655F4576616C756174696F6E2E436F
6E737420436F64655F4576616C756174
696F6E2E41707020436F64655F457661
6C756174696F6E2E4162730A20202020
205459504552455028756E6974292028
5C3C6C616D6264613E5420552E207479
70657265702E54797065726570202853
545220272766756E272729205B542C20
555D2920285C3C6C616D6264613E542E
20747970657265702E54797065726570
2028535452202727436F64655F4C617A
792E6C617A79272729205B545D290A20
20202020436F64655F4576616C756174
696F6E2E7465726D5F6F662054595045
5245502827612920782028436F64655F
4576616C756174696F6E2E436F6E7374
20285354522027272727292028545950
4552455028756E6974292929220A2020
666F722078203A3A20222761203A3A20
7B747970657265702C207465726D5F6F
667D206C617A79220A20206279202872
756C65207465726D5F6F665F616E7974
68696E67290A0A74657874205C3C6F70
656E3E0A202054686520696D706C656D
656E746174696F6E73206F66205C3C5E
7479703E5C3C6F70656E3E5F206C617A
795C3C636C6F73653E207573696E6720
6C616E6775616765207072696D697469
76657320636163686520666F72636564
2076616C7565732E0A0A20205465726D
207265636F6E737472756374696F6E20
666F72206C617A79206C6F6F6B732069
6E746F20746865206C617A792076616C
756520616E64207265636F6E73747275
63747320697420746F20746865206465
70746820697420686173206265656E20
6576616C75617465642E0A2020546869
73206973206E6F7420646F6E6520666F
72204861736B656C6C20617320776520
646F206E6F74206B6E6F77206F662061
6E7920706F727461626C652077617920
746F20696E7370656374207768657468
65722061206C617A792076616C75650A
2020686173206265656E206576616C75
6174656420746F206F72206E6F742E0A
5C3C636C6F73653E0A0A636F64655F70
72696E74696E6720636F64655F6D6F64
756C65204C617A79205C3C7269676874
686172706F6F6E75703E2028534D4C29
2066696C6520227E7E2F7372632F484F
4C2F4C6962726172792F546F6F6C732F
6C617A792E4D4C220A20202020666F72
20747970655F636F6E7374727563746F
72206C617A7920636F6E7374616E7420
64656C617920666F726365207465726D
6966795F6C617A790A7C20747970655F
636F6E7374727563746F72206C617A79
205C3C7269676874686172706F6F6E75
703E2028534D4C2920225F204C617A79
2E6C617A79220A7C20636F6E7374616E
742064656C6179205C3C726967687468
6172706F6F6E75703E2028534D4C2920
224C617A792E6C617A79220A7C20636F
6E7374616E7420666F726365205C3C72
69676874686172706F6F6E75703E2028
534D4C2920224C617A792E666F726365
220A7C20636F6E7374616E7420746572
6D6966795F6C617A79205C3C72696768
74686172706F6F6E75703E2028534D4C
2920224C617A792E7465726D69667927
5F6C617A79220A0A636F64655F726573
65727665642028534D4C29204C617A79
0A0A636F64655F7072696E74696E6720
5C3C636F6D6D656E743E205C3C6F7065
6E3E466F7220636F64652067656E6572
6174696F6E2077697468696E20746865
2049736162656C6C6520656E7669726F
6E6D656E742C20776520726575736520
746865207468726561642D736166650A
2020696D706C656D656E746174696F6E
206F66206C617A792066726F6D205C3C
5E66696C653E5C3C6F70656E3E7E7E2F
7372632F507572652F436F6E63757272
656E742F6C617A792E4D4C5C3C636C6F
73653E5C3C636C6F73653E0A2020636F
64655F6D6F64756C65204C617A79205C
3C7269676874686172706F6F6E75703E
20284576616C29205C3C6F70656E3E5C
3C636C6F73653E20666F7220636F6E73
74616E7420756E646566696E65640A7C
20747970655F636F6E7374727563746F
72206C617A79205C3C72696768746861
72706F6F6E75703E20284576616C2920
225F204C617A792E6C617A79220A7C20
636F6E7374616E742064656C6179205C
3C7269676874686172706F6F6E75703E
20284576616C2920224C617A792E6C61
7A79220A7C20636F6E7374616E742066
6F726365205C3C726967687468617270
6F6F6E75703E20284576616C2920224C
617A792E666F726365220A7C20636F64
655F6D6F64756C65205465726D696679
5F4C617A79205C3C7269676874686172
706F6F6E75703E20284576616C292066
696C6520227E7E2F7372632F484F4C2F
...

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