Quelle  Term.thy   Sprache: unbekannt

282A20205469746C653A202020202020
43434C2F5465726D2E7468790A202020
20417574686F723A20202020204D6172
74696E20436F656E0A20202020436F70
79726967687420202031393933202055
6E6976657273697479206F662043616D
6272696467650A2A290A0A7365637469
6F6E205C3C6F70656E3E446566696E69
74696F6E73206F6620757375616C2070
726F6772616D20636F6E737472756374
7320696E2043434C5C3C636C6F73653E
0A0A7468656F7279205465726D0A696D
706F7274732043434C0A626567696E0A
0A646566696E6974696F6E206F6E6520
3A3A202269220A202077686572652022
6F6E65203D3D2074727565220A0A6465
66696E6974696F6E2022696622203A3A
20225B692C692C695D5C3C5269676874
6172726F773E69220A20202020285C3C
6F70656E3E285C3C6F70656E3E696E64
656E743D33206E6F746174696F6E3D5C
3C6F70656E3E6D697866697820696620
7468656E20656C73655C3C636C6F7365
3E5C3C636C6F73653E6966205F2F2074
68656E205F2F20656C7365205F295C3C
636C6F73653E205B302C302C36305D20
3630290A202077686572652022696620
62207468656E207420656C7365207520
203D3D206361736528622C20742C2075
2C205C3C6C616D6264613E207820792E
20626F742C205C3C6C616D6264613E76
2E20626F7429220A0A646566696E6974
696F6E20696E6C203A3A2022695C3C52
696768746172726F773E69220A202077
686572652022696E6C286129203D3D20
3C747275652C613E220A0A646566696E
6974696F6E20696E72203A3A2022695C
3C52696768746172726F773E69220A20
2077686572652022696E72286229203D
3D203C66616C73652C623E220A0A6465
66696E6974696F6E2073706C6974203A
3A20225B692C5B692C695D5C3C526967
68746172726F773E695D5C3C52696768
746172726F773E69220A202077686572
65202273706C697428742C6629203D3D
206361736528742C20626F742C20626F
742C20662C205C3C6C616D6264613E75
2E20626F7429220A0A646566696E6974
696F6E20227768656E22203A3A20225B
692C695C3C52696768746172726F773E
692C695C3C52696768746172726F773E
695D5C3C52696768746172726F773E69
220A2020776865726520227768656E28
742C662C6729203D3D2073706C697428
742C205C3C6C616D6264613E6220782E
2069662062207468656E206628782920
656C7365206728782929220A0A646566
696E6974696F6E20667374203A3A2022
695C3C52696768746172726F773E6922
0A202077686572652022667374287429
203D3D2073706C697428742C205C3C6C
616D6264613E7820792E207829220A0A
646566696E6974696F6E20736E64203A
3A2022695C3C52696768746172726F77
3E69220A202077686572652022736E64
287429203D3D2073706C697428742C20
5C3C6C616D6264613E7820792E207929
220A0A646566696E6974696F6E207468
64203A3A2022695C3C52696768746172
726F773E69220A202077686572652022
746864287429203D3D2073706C697428
742C205C3C6C616D6264613E7820702E
2073706C697428702C205C3C6C616D62
64613E79207A2E207A2929220A0A6465
66696E6974696F6E207A65726F203A3A
202269220A2020776865726520227A65
726F203D3D20696E6C286F6E6529220A
0A646566696E6974696F6E2073756363
203A3A2022695C3C5269676874617272
6F773E69220A20207768657265202273
756363286E29203D3D20696E72286E29
220A0A646566696E6974696F6E206E63
617365203A3A20225B692C692C695C3C
52696768746172726F773E695D5C3C52
696768746172726F773E69220A202077
6865726520226E63617365286E2C622C
6329203D3D207768656E286E2C205C3C
6C616D6264613E782E20622C205C3C6C
616D6264613E792E206328792929220A
0A646566696E6974696F6E20226C6574
3122203A3A20225B692C695C3C526967
68746172726F773E695D5C3C52696768
746172726F773E69220A202077686572
65206C65745F6465663A20226C657431
28742C206629203D3D20636173652874
2C662874727565292C662866616C7365
292C205C3C6C616D6264613E7820792E
2066283C782C793E292C205C3C6C616D
6264613E752E2066286C616D20782E20
752878292929220A0A73796E74617820
225F6C65743122203A3A20225B696474
2C692C695D5C3C52696768746172726F
773E69220A2020285C3C6F70656E3E28
5C3C6F70656E3E696E64656E743D3320
6E6F746174696F6E3D5C3C6F70656E3E
6D6978666978206C657420626520696E
5C3C636C6F73653E5C3C636C6F73653E
6C6574205F206265205F2F20696E205F
295C3C636C6F73653E205B302C302C36
305D203630290A73796E7461785F636F
6E73747320225F6C65743122203D3D20
6C6574310A7472616E736C6174696F6E
7320226C65742078206265206120696E
206522203D3D2022434F4E5354206C65
743128612C205C3C6C616D6264613E78
2E206529220A0A646566696E6974696F
6E206C6574726563203A3A20225B5B69
2C695C3C52696768746172726F773E69
5D5C3C52696768746172726F773E692C
28695C3C52696768746172726F773E69
295C3C52696768746172726F773E695D
5C3C52696768746172726F773E69220A
2020776865726520226C657472656328
682C206229203D3D2062285C3C6C616D
6264613E782E20666978285C3C6C616D
6264613E662E206C616D20782E206828
782C5C3C6C616D6264613E792E206660
792929607829220A0A646566696E6974
696F6E206C657472656332203A3A2022
5B5B692C692C695C3C52696768746172
726F773E695C3C52696768746172726F
773E695D5C3C52696768746172726F77
3E692C28695C3C52696768746172726F
773E695C3C52696768746172726F773E
69295C3C52696768746172726F773E69
5D5C3C52696768746172726F773E6922
0A2020776865726520226C6574726563
322028682C206629203D3D0A20202020
6C657472656320285C3C6C616D626461
3E702067272E2073706C697428702C5C
3C6C616D6264613E7820792E20682878
2C792C5C3C6C616D6264613E7520762E
206727283C752C763E2929292C205C3C
6C616D6264613E67272E2066285C3C6C
616D6264613E7820792E206727283C78
2C793E292929220A0A646566696E6974
696F6E206C657472656333203A3A2022
5B5B692C692C692C695C3C5269676874
6172726F773E695C3C52696768746172
726F773E695C3C52696768746172726F
773E695D5C3C52696768746172726F77
3E692C28695C3C52696768746172726F
773E695C3C52696768746172726F773E
695C3C52696768746172726F773E6929
5C3C52696768746172726F773E695D5C
3C52696768746172726F773E69220A20
20776865726520226C65747265633320
28682C206629203D3D0A202020206C65
7472656320285C3C6C616D6264613E70
2067272E2073706C697428702C5C3C6C
616D6264613E782078732E2073706C69
742878732C5C3C6C616D6264613E7920
7A2E206828782C792C7A2C5C3C6C616D
6264613E75207620772E206727283C75
2C3C762C773E3E292929292C0A202020
2020205C3C6C616D6264613E67272E20
66285C3C6C616D6264613E782079207A
2E206727283C782C3C792C7A3E3E2929
29220A0A73796E7461780A2020225F6C
657472656322203A3A20225B6964742C
6964742C692C695D5C3C526967687461
72726F773E69220A20202020285C3C6F
70656E3E285C3C6F70656E3E696E6465
6E743D33206E6F746174696F6E3D5C3C
6F70656E3E6D6978666978206C657472
656320626520696E5C3C636C6F73653E
5C3C636C6F73653E6C6574726563205F
205F206265205F2F20696E205F295C3C
636C6F73653E205B302C302C302C3630
5D203630290A2020225F6C6574726563
3222203A3A20225B6964742C6964742C
6964742C692C695D5C3C526967687461
72726F773E69220A20202020285C3C6F
70656E3E285C3C6F70656E3E696E6465
6E743D33206E6F746174696F6E3D5C3C
6F70656E3E6D6978666978206C657472
656320626520696E5C3C636C6F73653E
5C3C636C6F73653E6C6574726563205F
205F205F206265205F2F20696E205F29
5C3C636C6F73653E205B302C302C302C
302C36305D203630290A2020225F6C65
747265633322203A3A20225B6964742C
6964742C6964742C6964742C692C695D
5C3C52696768746172726F773E69220A
20202020285C3C6F70656E3E285C3C6F
70656E3E696E64656E743D33206E6F74
6174696F6E3D5C3C6F70656E3E6D6978
666978206C657472656320626520696E
5C3C636C6F73653E5C3C636C6F73653E
6C6574726563205F205F205F205F2062
65205F2F20696E205F295C3C636C6F73
653E205B302C302C302C302C302C3630
5D203630290A73796E7461785F636F6E
7374730A2020225F6C65747265632220
3D3D206C657472656320616E640A2020
225F6C65747265633222203D3D206C65
747265633220616E640A2020225F6C65
747265633322203D3D206C6574726563
330A70617273655F7472616E736C6174
696F6E205C3C6F70656E3E0A20206C65
740A2020202066756E206162735F7472
20742075203D2053796E7461785F5472
616E732E6162735F7472205B742C2075
5D3B0A2020202066756E206C65747265
635F7472205B662C20782C20612C2062
5D203D0A20202020202053796E746178
2E636F6E7374205C3C5E636F6E73745F
73796E7461783E5C3C6F70656E3E6C65
747265635C3C636C6F73653E20242061
62735F7472207820286162735F747220
662061292024206162735F7472206620
623B0A2020202066756E206C65747265
63325F7472205B662C20782C20792C20
612C20625D203D0A2020202020205379
6E7461782E636F6E7374205C3C5E636F
6E73745F73796E7461783E5C3C6F7065
6E3E6C6574726563325C3C636C6F7365
3E2024206162735F7472207820286162
735F7472207920286162735F74722066
206129292024206162735F7472206620
623B0A2020202066756E206C65747265
63335F7472205B662C20782C20792C20
7A2C20612C20625D203D0A2020202020
2053796E7461782E636F6E7374205C3C
5E636F6E73745F73796E7461783E5C3C
6F70656E3E6C6574726563335C3C636C
6F73653E2024206162735F7472207820
286162735F7472207920286162735F74
72207A20286162735F74722066206129
29292024206162735F7472206620623B
0A2020696E0A202020205B285C3C5E73
796E7461785F636F6E73743E5C3C6F70
656E3E5F6C65747265635C3C636C6F73
653E2C204B206C65747265635F747229
2C0A2020202020285C3C5E73796E7461
785F636F6E73743E5C3C6F70656E3E5F
6C6574726563325C3C636C6F73653E2C
204B206C6574726563325F7472292C0A
2020202020285C3C5E73796E7461785F
636F6E73743E5C3C6F70656E3E5F6C65
74726563335C3C636C6F73653E2C204B
206C6574726563335F7472295D0A2020
656E640A5C3C636C6F73653E0A707269
6E745F7472616E736C6174696F6E205C
3C6F70656E3E0A20206C65740A202020
2076616C20626F756E64203D2053796E
...

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