Quelle  Isolated.thy   Sprache: unbekannt

7468656F72792049736F6C617465640A
2020696D706F7274732022456C656D65
6E746172795F4D65747269635F537061
6365732220225370617273655F496E22
0A0A626567696E0A0A73756273656374
696F6E205C3C6F70656E3E49736F6C61
746520616E642064697363726574655C
3C636C6F73653E0A0A646566696E6974
696F6E2028696E20746F706F6C6F6769
63616C5F7370616365292069736F6C61
7465645F696E3A3A20222761205C3C52
696768746172726F773E202761207365
74205C3C52696768746172726F773E20
626F6F6C22202028696E66697872205C
3C6F70656E3E69736F6C61746564275F
696E5C3C636C6F73653E203630290A20
2077686572652022782069736F6C6174
65645F696E2053205C3C6C6F6E676C65
667472696768746172726F773E202878
5C3C696E3E53205C3C616E643E20285C
3C6578697374733E542E206F70656E20
54205C3C616E643E2054205C3C696E74
65723E2053203D207B787D2929220A0A
646566696E6974696F6E2028696E2074
6F706F6C6F676963616C5F7370616365
292064697363726574653A3A20222761
20736574205C3C52696768746172726F
773E20626F6F6C220A20207768657265
202264697363726574652053205C3C6C
6F6E676C65667472696768746172726F
773E20285C3C666F72616C6C3E785C3C
696E3E532E20782069736F6C61746564
5F696E205329220A0A646566696E6974
696F6E2028696E206D65747269635F73
706163652920756E69666F726D5F6469
736372657465203A3A20222761207365
74205C3C52696768746172726F773E20
626F6F6C222077686572650A20202275
6E69666F726D5F646973637265746520
53205C3C6C6F6E676C65667472696768
746172726F773E20285C3C6578697374
733E653E302E205C3C666F72616C6C3E
785C3C696E3E532E205C3C666F72616C
6C3E795C3C696E3E532E206469737420
782079203C2065205C3C6C6F6E677269
6768746172726F773E2078203D207929
220A0A6C656D6D612064697363726574
65493A2022285C3C416E643E782E2078
205C3C696E3E2058205C3C4C6F6E6772
696768746172726F773E20782069736F
6C617465645F696E20582029205C3C4C
6F6E6772696768746172726F773E2064
697363726574652058220A2020756E66
6F6C64696E672064697363726574655F
646566206279206175746F0A0A6C656D
6D61206469736372657465443A202264
697363726574652058205C3C4C6F6E67
72696768746172726F773E2078205C3C
696E3E2058205C3C4C6F6E6772696768
746172726F773E20782069736F6C6174
65645F696E205820220A2020756E666F
6C64696E672064697363726574655F64
6566206279206175746F0A200A6C656D
6D6120756E69666F726D49313A0A2020
617373756D65732022653E302220225C
3C416E643E7820792E205C3C6C627261
6B6B3E785C3C696E3E533B795C3C696E
3E533B64697374207820793C655C3C72
6272616B6B3E205C3C4C6F6E67726967
68746172726F773E2078203D7920220A
202073686F77732022756E69666F726D
5F64697363726574652053220A756E66
6F6C64696E6720756E69666F726D5F64
697363726574655F646566207573696E
67206173736D73206279206175746F0A
0A6C656D6D6120756E69666F726D4932
3A0A2020617373756D65732022653E30
2220225C3C416E643E7820792E205C3C
6C6272616B6B3E785C3C696E3E533B79
5C3C696E3E533B785C3C6E6F7465713E
795C3C726272616B6B3E205C3C4C6F6E
6772696768746172726F773E20646973
74207820795C3C67653E6520220A2020
73686F77732022756E69666F726D5F64
697363726574652053220A756E666F6C
64696E6720756E69666F726D5F646973
63726574655F646566207573696E6720
6173736D73206E6F745F6C6573732062
7920626C6173740A0A6C656D6D612069
736F6C617465645F696E5F69736C696D
70745F6966663A2228782069736F6C61
7465645F696E205329205C3C6C6F6E67
6C65667472696768746172726F773E20
285C3C6E6F743E2028782069736C696D
7074205329205C3C616E643E20785C3C
696E3E5329220A2020756E666F6C6469
6E672069736F6C617465645F696E5F64
65662069736C696D70745F6465662062
79206175746F0A0A6C656D6D61206973
6F6C617465645F696E5F646973745F45
785F6966663A0A202066697865732078
3A3A2227613A3A6D65747269635F7370
616365220A202073686F777320227820
69736F6C617465645F696E2053205C3C
6C6F6E676C6566747269676874617272
6F773E2028785C3C696E3E53205C3C61
6E643E20285C3C6578697374733E653E
302E205C3C666F72616C6C3E795C3C69
6E3E532E206469737420782079203C20
65205C3C6C6F6E677269676874617272
6F773E20793D782929220A756E666F6C
64696E672069736F6C617465645F696E
5F69736C696D70745F6966662069736C
696D70745F617070726F61636861626C
6520627920286D657469732064697374
5F636F6D6D757465290A0A6C656D6D61
2064697363726574655F656D7074795B
73696D705D3A20226469736372657465
207B7D220A2020756E666F6C64696E67
2064697363726574655F646566206279
206175746F0A0A6C656D6D6120756E69
666F726D5F64697363726574655F656D
7074795B73696D705D3A2022756E6966
6F726D5F6469736372657465207B7D22
0A2020756E666F6C64696E6720756E69
666F726D5F64697363726574655F6465
66206279202873696D70206164643A20
67745F6578290A0A6C656D6D61206973
6F6C617465645F696E5F696E73657274
3A0A202066697865732078203A3A2022
27613A3A74315F7370616365220A2020
73686F77732022782069736F6C617465
645F696E2028696E7365727420612053
29205C3C6C6F6E676C65667472696768
746172726F773E20782069736F6C6174
65645F696E2053205C3C6F723E202878
3D61205C3C616E643E205C3C6E6F743E
2028782069736C696D70742053292922
0A627920286D65736F6E20696E736572
745F6966662069736C696D70745F696E
736572742069736F6C617465645F696E
5F69736C696D70745F696666290A0A6C
656D6D612069736F6C617465645F696E
493A0A2020617373756D65732022785C
3C696E3E532220226F70656E20542220
2254205C3C696E7465723E2053203D20
7B787D220A202073686F777320202022
782069736F6C617465645F696E205322
0A20207573696E67206173736D732075
6E666F6C64696E672069736F6C617465
645F696E5F646566206279206175746F
0A0A6C656D6D612069736F6C61746564
5F696E453A0A2020617373756D657320
22782069736F6C617465645F696E2053
220A20206F627461696E732054207768
657265202278205C3C696E3E20532220
226F70656E205422202254205C3C696E
7465723E2053203D207B787D220A2020
7573696E67206173736D732074686174
20756E666F6C64696E672069736F6C61
7465645F696E5F64656620627920666F
7263650A0A6C656D6D612069736F6C61
7465645F696E455F646973743A0A2020
617373756D65732022782069736F6C61
7465645F696E2053220A20206F627461
696E732064207768657265202264203E
20302220225C3C416E643E792E207920
5C3C696E3E2053205C3C4C6F6E677269
6768746172726F773E20646973742078
2079203C2064205C3C4C6F6E67726967
68746172726F773E2079203D2078220A
2020627920286D65736F6E206173736D
732069736F6C617465645F696E5F6469
73745F45785F696666290A0A6C656D6D
612069736F6C617465645F696E5F616C
746465663A200A202022782069736F6C
617465645F696E2053205C3C6C6F6E67
6C65667472696768746172726F773E20
28785C3C696E3E53205C3C616E643E20
6576656E7475616C6C7920285C3C6C61
6D6264613E792E2079205C3C6E6F7469
6E3E2053292028617420782929220A70
726F6F66200A2020617373756D652022
782069736F6C617465645F696E205322
0A202066726F6D2069736F6C61746564
5F696E455B4F4620746869735D200A20
206F627461696E205420776865726520
2278205C3C696E3E20532220616E6420
543A226F70656E205422202254205C3C
696E7465723E2053203D207B787D220A
202020206279206D657469730A202068
61766520225C3C666F72616C6C3E5C3C
5E7375623E46207920696E206E686473
20782E2079205C3C696E3E2054220A20
2020206170706C79202872756C652065
76656E7475616C6C795F6E6864735F69
6E5F6F70656E290A202020207573696E
672054206279206175746F0A20207468
656E20686176652020226576656E7475
616C6C7920285C3C6C616D6264613E79
2E2079205C3C696E3E2054202D207B78
7D2920286174207829220A2020202075
6E666F6C64696E67206576656E747561
6C6C795F61745F66696C746572206279
206576656E7475616C6C795F656C696D
206175746F0A20207468656E20686176
6520226576656E7475616C6C7920285C
3C6C616D6264613E792E2079205C3C6E
6F74696E3E2053292028617420782922
0A202020206279206576656E7475616C
6C795F656C696D202875736520542069
6E206175746F290A20207468656E2073
686F7720222078205C3C696E3E205320
5C3C616E643E20285C3C666F72616C6C
3E5C3C5E7375623E46207920696E2061
7420782E2079205C3C6E6F74696E3E20
532922207573696E67205C3C6F70656E
3E78205C3C696E3E20535C3C636C6F73
653E206279206175746F0A6E6578740A
2020617373756D65202278205C3C696E
3E2053205C3C616E643E20285C3C666F
72616C6C3E5C3C5E7375623E46207920
696E20617420782E2079205C3C6E6F74
696E3E20532922200A20207468656E20
6861766520225C3C666F72616C6C3E5C
3C5E7375623E46207920696E20617420
782E2079205C3C6E6F74696E3E205322
2022785C3C696E3E5322206279206175
746F0A202066726F6D20746869732831
29206861766520226576656E7475616C
6C7920285C3C6C616D6264613E792E20
79205C3C6E6F74696E3E2053205C3C6F
723E2079203D20782920286E68647320
7829220A20202020756E666F6C64696E
67206576656E7475616C6C795F61745F
66696C746572206279206576656E7475
616C6C795F656C696D206175746F0A20
207468656E206F627461696E20542077
6865726520543A226F70656E20542220
2278205C3C696E3E2054222022285C3C
666F72616C6C3E795C3C696E3E542E20
79205C3C6E6F74696E3E2053205C3C6F
723E2079203D20782922200A20202020
756E666F6C64696E67206576656E7475
616C6C795F6E68647320627920617574
6F0A202077697468205C3C6F70656E3E
78205C3C696E3E20535C3C636C6F7365
3E2068617665202254205C3C696E7465
723E2053203D207B787D2220200A2020
202062792066617374666F7263650A20
2077697468205C3C6F70656E3E785C3C
696E3E535C3C636C6F73653E205C3C6F
70656E3E6F70656E20545C3C636C6F73
653E0A202073686F772022782069736F
6C617465645F696E2053220A20202020
756E666F6C64696E672069736F6C6174
...

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