Quelle  AC16_WO4.thy   Sprache: unbekannt

282A20205469746C653A202020202020
5A462F41432F414331365F574F342E74
68790A20202020417574686F723A2020
2020204B727A79737A746F6620477261
62637A6577736B690A0A546865207072
6F6F66206F662041433136286E2C206B
29205C3C4C6F6E677269676874617272
6F773E20574F34286E2D6B290A0A5469
6469656420287573696E67206C6F6361
6C657329206279204C43500A2A290A0A
7468656F727920414331365F574F340A
696D706F72747320414331365F6C656D
6D61730A626567696E0A0A282A202A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A202A290A282A205468652063
617365206F662066696E697465207365
74202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202A290A282A202A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A202A
290A0A6C656D6D61206C656D6D61313A
0A2020202020225C3C6C6272616B6B3E
46696E6974652841293B20303C6D3B20
6D205C3C696E3E206E61745C3C726272
616B6B3E200A2020202020205C3C4C6F
6E6772696768746172726F773E205C3C
6578697374733E6120662E204F726428
6129205C3C616E643E20646F6D61696E
286629203D2061205C3C616E643E2020
200A2020202020202020202020202020
2020285C3C556E696F6E3E623C612E20
66606229203D2041205C3C616E643E20
285C3C666F72616C6C3E623C612E2066
6062205C3C6C65737373696D3E206D29
220A2020756E666F6C64696E67204669
6E6974655F6465660A6170706C792028
6572756C652062657845290A6170706C
7920286472756C65206571706F6C6C5F
73796D205B5448454E206571706F6C6C
5F646566205B5448454E206465665F69
6D705F6966662C205448454E20696666
44315D5D290A6170706C792028657275
6C6520657845290A6170706C79202872
756C655F7461632078203D206E20696E
20657849290A6170706C79202872756C
655F7461632078203D20225C3C6C616D
6264613E69205C3C696E3E206E2E207B
6660697D2220696E20657849290A6170
706C79202873696D70206164643A206C
74442062696A5F646566207375726A5F
646566290A6170706C79202866617374
20696E74726F213A206C7449206E6174
5F696E746F5F4F7264206C616D5F6675
6E74797065205B5448454E20646F6D61
696E5F6F665F66756E5D200A20202020
202020202020202020202073696E676C
65746F6E5F6571706F6C6C5F31205B54
48454E206571706F6C6C5F696D705F6C
65706F6C6C2C205448454E206C65706F
6C6C5F7472616E735D200A2020202020
2020202020202020202020202020206E
61745F315F6C65706F6C6C5F69666620
5B5448454E2069666644325D0A202020
20202020202020656C696D213A206170
706C795F74797065206C7445290A646F
6E650A0A282A202A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A202A29
0A282A205468652063617365206F6620
696E66696E6974652073657420202020
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202A290A282A
202A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A202A290A0A282A2077
656C6C5F6F726428782C7229205C3C4C
6F6E6772696768746172726F773E2077
656C6C5F6F7264287B7B792C7A7D2E20
79205C3C696E3E20787D2C20536F6D65
7468696E6728782C7A292920202A2A29
0A6C656D6D61732077656C6C5F6F7264
5F706169726564203D20706169726564
5F62696A205B5448454E2062696A5F69
735F696E6A2C205448454E2077656C6C
5F6F72645F7276696D6167655D0A0A6C
656D6D61206C65706F6C6C5F7472616E
73313A20225C3C6C6272616B6B3E4120
5C3C6C65737373696D3E20423B205C3C
6E6F743E2041205C3C6C65737373696D
3E20435C3C726272616B6B3E205C3C4C
6F6E6772696768746172726F773E205C
3C6E6F743E2042205C3C6C6573737369
6D3E2043220A62792028626C61737420
696E74726F3A206C65706F6C6C5F7472
616E73290A0A282A202A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A20
2A290A282A2054686572652065786973
747320612077656C6C206F7264657265
64207365742079207375636820746861
74202E2E2E2020202020202020202020
202020202020202020202020202A290A
282A202A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A202A290A0A6C65
6D6D6173206C65706F6C6C5F70616972
6564203D207061697265645F6571706F
6C6C205B5448454E206571706F6C6C5F
73796D2C205448454E206571706F6C6C
5F696D705F6C65706F6C6C5D0A0A6C65
6D6D61206C656D6D61323A20225C3C65
78697374733E7920522E2077656C6C5F
6F726428792C5229205C3C616E643E20
78205C3C696E7465723E2079203D2030
205C3C616E643E205C3C6E6F743E7920
5C3C6C65737373696D3E207A205C3C61
6E643E205C3C6E6F743E46696E697465
287929220A6170706C79202872756C65
5F7461632078203D20227B7B612C787D
2E2061205C3C696E3E206E6174205C3C
756E696F6E3E20486172746F6720287A
29207D2220696E20657849290A617070
6C79202872756C652077656C6C5F6F72
645F556E205B4F46204F72645F6E6174
205B5448454E2077656C6C5F6F72645F
4D656D72656C5D200A20202020202020
20202020202020202020202020202020
20204F72645F486172746F67205B5448
454E2077656C6C5F6F72645F4D656D72
656C5D2C205448454E206578455D290A
6170706C792028626C61737420696E74
726F213A204F72645F486172746F6720
77656C6C5F6F72645F4D656D72656C20
77656C6C5F6F72645F7061697265640A
20202020202020202020202020202020
2020202020206C65706F6C6C5F747261
6E7331205B4F46205F206E6F745F4861
72746F675F6C65706F6C6C5F73656C66
5D0A2020202020202020202020202020
20202020202020206C65706F6C6C5F74
72616E73205B4F46207375627365745F
696D705F6C65706F6C6C206C65706F6C
6C5F7061697265645D0A202020202020
20656C696D213A206E61745F6E6F745F
46696E697465205B5448454E206E6F74
455D0A20202020202020656C696D3A20
6D656D5F6173796D200A202020202020
2064657374213A20556E5F7570706572
31205B5448454E207375627365745F69
6D705F6C65706F6C6C2C205448454E20
6C65706F6C6C5F46696E6974655D0A20
202020202020202020202020206C6570
6F6C6C5F706169726564205B5448454E
206C65706F6C6C5F46696E6974655D29
0A646F6E650A0A6C656D6D6120696E66
696E6974655F556E3A20225C3C6E6F74
3E46696E697465284229205C3C4C6F6E
6772696768746172726F773E205C3C6E
6F743E46696E6974652841205C3C756E
696F6E3E204229220A62792028626C61
737420696E74726F3A20737562736574
5F46696E697465290A0A282A202A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A202A290A282A20546865726520
697320612076205C3C696E3E20732875
2920737563682074686174206B205C3C
6C65737373696D3E2078205C3C696E74
65723E20792028696E206F7572206361
73652073756363286B2929202020202A
290A282A205468652069646561206F66
207468652070726F6F66206973207468
6520666F6C6C6F77696E67205C3C696E
3E202020202020202020202020202020
20202020202020202020202020202020
2A290A282A20537570706F7365206E6F
742C20692E652E20657665727920656C
656D656E74206F662073287529206861
732065786163746C79206B2D3120656C
656D656E7473206F6620792020202A29
0A282A205468656E6365207920697320
6C657373207468616E206F7220657175
69706F6C6C656E7420746F207B76205C
3C696E3E20506F772878292E2076205C
3C617070726F783E206E232D6B7D2020
202020202A290A282A20202057652068
617665206F627461696E656420746869
7320726573756C7420696E2074776F20
7374657073205C3C696E3E2020202020
20202020202020202020202020202020
20202020202A290A282A202020312E20
79206973206C657373207468616E206F
722065717569706F6C6C656E7420746F
207B76205C3C696E3E20732875292E20
61205C3C73756273657465713E20767D
20202020202020202020202020202020
20202A290A282A202020202020776865
72652061206973206365727461696E20
6B2D3220656C656D656E742073756273
6574206F662079202020202020202020
2020202020202020202020202020202A
290A282A202020322E207B76205C3C69
6E3E20732875292E2061205C3C737562
73657465713E20767D206973206C6573
73207468616E206F722065717569706F
6C6C656E742020202020202020202020
2020202020202020202020202A290A28
2A202020202020746F207B76205C3C69
6E3E20506F772878292E2076205C3C61
7070726F783E206E2D6B7D2020202020
20202020202020202020202020202020
20202020202020202020202020202020
20202A290A282A202A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A202A
290A0A282A50726F6F662073696D706C
6966696564206279204C43502A290A6C
656D6D6120737563635F6E6F745F6C65
706F6C6C5F6C656D6D613A0A20202020
20225C3C6C6272616B6B3E5C3C6E6F74
3E285C3C6578697374733E78205C3C69
6E3E20412E206660783D79293B206620
5C3C696E3E20696E6A28412C2042293B
2079205C3C696E3E20425C3C72627261
6B6B3E2020200A2020202020205C3C4C
6F6E6772696768746172726F773E2028
5C3C6C616D6264613E61205C3C696E3E
20737563632841292E20696628613D41
2C20792C206660612929205C3C696E3E
20696E6A28737563632841292C204229
220A6170706C79202872756C655F7461
632064203D20225C3C6C616D6264613E
7A2E20696620287A3D792C20412C2063
6F6E76657273652028662920607A2920
2220696E206C616D5F696E6A65637469
7665290A6170706C792028666F726365
...

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