Quelle  Ssum.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F484F4C43462F5373756D2E74
68790A20202020417574686F723A2020
2020204672616E7A20526567656E7362
75726765720A20202020417574686F72
3A2020202020427269616E2048756666
6D616E0A2A290A0A73656374696F6E20
5C3C6F70656E3E546865207479706520
6F66207374726963742073756D735C3C
636C6F73653E0A0A7468656F72792053
73756D0A2020696D706F727473205472
0A626567696E0A0A7375627365637469
6F6E205C3C6F70656E3E446566696E69
74696F6E206F66207374726963742073
756D20747970655C3C636C6F73653E0A
0A646566696E6974696F6E2022737375
6D203D0A20207B70203A3A207472205C
3C74696D65733E202827613A3A706370
6F205C3C74696D65733E2027623A3A70
63706F292E2070203D205C3C626F7474
6F6D3E205C3C6F723E0A202020202866
73742070203D205454205C3C616E643E
206673742028736E64207029205C3C6E
6F7465713E205C3C626F74746F6D3E20
5C3C616E643E20736E642028736E6420
7029203D205C3C626F74746F6D3E2920
5C3C6F723E0A20202020286673742070
203D204646205C3C616E643E20667374
2028736E64207029203D205C3C626F74
746F6D3E205C3C616E643E20736E6420
28736E64207029205C3C6E6F7465713E
205C3C626F74746F6D3E297D220A0A70
63706F646566202827613A3A7063706F
2C2027623A3A7063706F29207373756D
2020285C3C6F70656E3E285C3C6F7065
6E3E6E6F746174696F6E3D5C3C6F7065
6E3E696E666978207374726963742073
756D5C3C636C6F73653E5C3C636C6F73
653E5F205C3C6F706C75733E2F205F29
5C3C636C6F73653E205B32312C203230
5D20323029203D0A2020227373756D20
3A3A20287472205C3C74696D65733E20
2761205C3C74696D65733E2027622920
736574220A20206279202873696D705F
616C6C206164643A207373756D5F6465
66290A0A696E7374616E636520737375
6D203A3A2028227B636866696E2C7063
706F7D222C20227B636866696E2C7063
706F7D222920636866696E0A20206279
202872756C6520747970656465665F63
6866696E205B4F4620747970655F6465
66696E6974696F6E5F7373756D206265
6C6F775F7373756D5F6465665D290A0A
747970655F6E6F746174696F6E202841
53434949290A20207373756D20202869
6E66697872205C3C6F70656E3E2B2B5C
3C636C6F73653E203130290A0A0A7375
6273656374696F6E205C3C6F70656E3E
446566696E6974696F6E73206F662063
6F6E7374727563746F72735C3C636C6F
73653E0A0A646566696E6974696F6E20
73696E6C203A3A202227613A3A706370
6F205C3C72696768746172726F773E20
282761202B2B2027623A3A7063706F29
220A20207768657265202273696E6C20
3D20285C3C4C616D6264613E20612E20
4162735F7373756D20287365715C3C63
646F743E615C3C63646F743E54542C20
612C205C3C626F74746F6D3E2929220A
0A646566696E6974696F6E2073696E72
203A3A202227623A3A7063706F205C3C
72696768746172726F773E202827613A
3A7063706F202B2B20276229220A2020
7768657265202273696E72203D20285C
3C4C616D6264613E20622E204162735F
7373756D20287365715C3C63646F743E
625C3C63646F743E46462C205C3C626F
74746F6D3E2C20622929220A0A6C656D
6D612073696E6C5F7373756D3A202228
7365715C3C63646F743E615C3C63646F
743E54542C20612C205C3C626F74746F
6D3E29205C3C696E3E207373756D220A
20206279202873696D70206164643A20
7373756D5F646566207365715F636F6E
765F6966290A0A6C656D6D612073696E
725F7373756D3A2022287365715C3C63
646F743E625C3C63646F743E46462C20
5C3C626F74746F6D3E2C206229205C3C
696E3E207373756D220A202062792028
73696D70206164643A207373756D5F64
6566207365715F636F6E765F6966290A
0A6C656D6D61205265705F7373756D5F
73696E6C3A20225265705F7373756D20
2873696E6C5C3C63646F743E6129203D
20287365715C3C63646F743E615C3C63
646F743E54542C20612C205C3C626F74
746F6D3E29220A20206279202873696D
70206164643A2073696E6C5F64656620
636F6E745F4162735F7373756D204162
735F7373756D5F696E76657273652073
696E6C5F7373756D290A0A6C656D6D61
205265705F7373756D5F73696E723A20
225265705F7373756D202873696E725C
3C63646F743E6229203D20287365715C
3C63646F743E625C3C63646F743E4646
2C205C3C626F74746F6D3E2C20622922
0A20206279202873696D70206164643A
2073696E725F64656620636F6E745F41
62735F7373756D204162735F7373756D
5F696E76657273652073696E725F7373
756D290A0A6C656D6D6173205265705F
7373756D5F73696D7073203D0A202052
65705F7373756D5F696E6A656374205B
73796D6D65747269635D2062656C6F77
5F7373756D5F6465660A202070726F64
5F65715F6966662062656C6F775F7072
6F645F6465660A20205265705F737375
6D5F737472696374205265705F737375
6D5F73696E6C205265705F7373756D5F
73696E720A0A0A73756273656374696F
6E205C3C6F70656E3E50726F70657274
696573206F66205C656D70687B73696E
6C7D20616E64205C656D70687B73696E
727D5C3C636C6F73653E0A0A74657874
205C3C6F70656E3E4F72646572696E67
5C3C636C6F73653E0A0A6C656D6D6120
73696E6C5F62656C6F77205B73696D70
5D3A202273696E6C5C3C63646F743E78
205C3C737173756273657465713E2073
696E6C5C3C63646F743E79205C3C6C6F
6E676C65667472696768746172726F77
3E2078205C3C73717375627365746571
3E2079220A20206279202873696D7020
6164643A205265705F7373756D5F7369
6D7073207365715F636F6E765F696629
0A0A6C656D6D612073696E725F62656C
6F77205B73696D705D3A202273696E72
5C3C63646F743E78205C3C7371737562
73657465713E2073696E725C3C63646F
743E79205C3C6C6F6E676C6566747269
6768746172726F773E2078205C3C7371
73756273657465713E2079220A202062
79202873696D70206164643A20526570
5F7373756D5F73696D7073207365715F
636F6E765F6966290A0A6C656D6D6120
73696E6C5F62656C6F775F73696E7220
5B73696D705D3A202273696E6C5C3C63
646F743E78205C3C7371737562736574
65713E2073696E725C3C63646F743E79
205C3C6C6F6E676C6566747269676874
6172726F773E2078203D205C3C626F74
746F6D3E220A20206279202873696D70
206164643A205265705F7373756D5F73
696D7073207365715F636F6E765F6966
290A0A6C656D6D612073696E725F6265
6C6F775F73696E6C205B73696D705D3A
202273696E725C3C63646F743E78205C
3C737173756273657465713E2073696E
6C5C3C63646F743E79205C3C6C6F6E67
6C65667472696768746172726F773E20
78203D205C3C626F74746F6D3E220A20
206279202873696D70206164643A2052
65705F7373756D5F73696D7073207365
715F636F6E765F6966290A0A74657874
205C3C6F70656E3E457175616C697479
5C3C636C6F73653E0A0A6C656D6D6120
73696E6C5F6571205B73696D705D3A20
2273696E6C5C3C63646F743E78203D20
73696E6C5C3C63646F743E79205C3C6C
6F6E676C65667472696768746172726F
773E2078203D2079220A202062792028
73696D70206164643A20706F5F65715F
636F6E76290A0A6C656D6D612073696E
725F6571205B73696D705D3A20227369
6E725C3C63646F743E78203D2073696E
725C3C63646F743E79205C3C6C6F6E67
6C65667472696768746172726F773E20
78203D2079220A20206279202873696D
70206164643A20706F5F65715F636F6E
76290A0A6C656D6D612073696E6C5F65
715F73696E72205B73696D705D3A2022
73696E6C5C3C63646F743E78203D2073
696E725C3C63646F743E79205C3C6C6F
6E676C65667472696768746172726F77
3E2078203D205C3C626F74746F6D3E20
5C3C616E643E2079203D205C3C626F74
746F6D3E220A20206279202873756273
7420706F5F65715F636F6E7629207369
6D700A0A6C656D6D612073696E725F65
715F73696E6C205B73696D705D3A2022
73696E725C3C63646F743E78203D2073
696E6C5C3C63646F743E79205C3C6C6F
6E676C65667472696768746172726F77
3E2078203D205C3C626F74746F6D3E20
5C3C616E643E2079203D205C3C626F74
746F6D3E220A20206279202873756273
7420706F5F65715F636F6E7629207369
6D700A0A6C656D6D612073696E6C5F69
6E6A6563743A202273696E6C5C3C6364
6F743E78203D2073696E6C5C3C63646F
743E79205C3C4C6F6E67726967687461
72726F773E2078203D2079220A202062
79202872756C652073696E6C5F657120
5B5448454E2069666644315D290A0A6C
656D6D612073696E725F696E6A656374
3A202273696E725C3C63646F743E7820
3D2073696E725C3C63646F743E79205C
3C4C6F6E6772696768746172726F773E
2078203D2079220A2020627920287275
6C652073696E725F6571205B5448454E
2069666644315D290A0A74657874205C
3C6F70656E3E5374726963746E657373
5C3C636C6F73653E0A0A6C656D6D6120
73696E6C5F737472696374205B73696D
705D3A202273696E6C5C3C63646F743E
5C3C626F74746F6D3E203D205C3C626F
74746F6D3E220A20206279202873696D
70206164643A205265705F7373756D5F
73696D7073290A0A6C656D6D61207369
6E725F737472696374205B73696D705D
3A202273696E725C3C63646F743E5C3C
626F74746F6D3E203D205C3C626F7474
6F6D3E220A20206279202873696D7020
6164643A205265705F7373756D5F7369
6D7073290A0A6C656D6D612073696E6C
5F626F74746F6D5F696666205B73696D
705D3A202273696E6C5C3C63646F743E
78203D205C3C626F74746F6D3E205C3C
6C6F6E676C6566747269676874617272
6F773E2078203D205C3C626F74746F6D
3E220A20207573696E672073696E6C5F
6571205B6F662022782220225C3C626F
74746F6D3E225D2062792073696D700A
0A6C656D6D612073696E725F626F7474
6F6D5F696666205B73696D705D3A2022
73696E725C3C63646F743E78203D205C
3C626F74746F6D3E205C3C6C6F6E676C
65667472696768746172726F773E2078
203D205C3C626F74746F6D3E220A2020
7573696E672073696E725F6571205B6F
662022782220225C3C626F74746F6D3E
225D2062792073696D700A0A6C656D6D
612073696E6C5F646566696E65643A20
2278205C3C6E6F7465713E205C3C626F
74746F6D3E205C3C4C6F6E6772696768
746172726F773E2073696E6C5C3C6364
6F743E78205C3C6E6F7465713E205C3C
626F74746F6D3E220A20206279207369
6D700A0A6C656D6D612073696E725F64
6566696E65643A202278205C3C6E6F74
65713E205C3C626F74746F6D3E205C3C
4C6F6E6772696768746172726F773E20
73696E725C3C63646F743E78205C3C6E
6F7465713E205C3C626F74746F6D3E22
0A202062792073696D700A0A74657874
205C3C6F70656E3E436F6D706163746E
...

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