Quelle  Sum_Topology.thy   Sprache: unbekannt

73656374696F6E5C3C6F70656E3E4469
736A6F696E742073756D206F66206172
6269746172696C79206D616E79207370
616365735C3C636C6F73653E0A0A7468
656F72792053756D5F546F706F6C6F67
790A2020696D706F7274732041627374
726163745F546F706F6C6F67790A6265
67696E0A0A0A646566696E6974696F6E
2073756D5F746F706F6C6F6779203A3A
2022282761205C3C5269676874617272
6F773E20276220746F706F6C6F677929
205C3C52696768746172726F773E2027
6120736574205C3C5269676874617272
6F773E20282761205C3C74696D65733E
2027622920746F706F6C6F6779222077
686572650A20202273756D5F746F706F
6C6F677920582049205C3C6571756976
3E0A20202020746F706F6C6F67792028
5C3C6C616D6264613E552E2055205C3C
73756273657465713E205369676D6120
492028746F707370616365205C3C6369
72633E205829205C3C616E643E20285C
3C666F72616C6C3E69205C3C696E3E20
492E206F70656E696E20285820692920
7B782E2028692C7829205C3C696E3E20
557D2929220A0A6C656D6D612069735F
73756D5F746F706F6C6F67793A202269
73746F706F6C6F677920285C3C6C616D
6264613E552E2055205C3C7375627365
7465713E205369676D6120492028746F
707370616365205C3C636972633E2058
29205C3C616E643E20285C3C666F7261
6C6C3E695C3C696E3E492E206F70656E
696E202858206929207B782E2028692C
207829205C3C696E3E20557D2929220A
70726F6F66202D0A2020686176652031
3A20227B782E2028692C207829205C3C
696E3E2053205C3C696E7465723E2054
7D203D207B782E2028692C207829205C
3C696E3E20537D205C3C696E7465723E
207B783A3A27622E2028692C20782920
5C3C696E3E20547D2220666F72205320
5420616E6420693A3A27610A20202020
6279206175746F0A2020686176652032
3A20227B782E2028692C207829205C3C
696E3E205C3C556E696F6E3E205C3C4B
3E7D203D20285C3C556E696F6E3E4B5C
3C696E3E5C3C4B3E2E207B783A3A2762
2E2028692C207829205C3C696E3E204B
7D292220666F72205C3C4B3E20616E64
20693A3A27610A202020206279206175
746F0A202073686F77203F7468657369
730A20202020756E666F6C64696E6720
6973746F706F6C6F67795F6465662031
203220627920626C6173740A7165640A
0A6C656D6D61206F70656E696E5F7375
6D5F746F706F6C6F67793A0A20202022
6F70656E696E202873756D5F746F706F
6C6F677920582049292055205C3C6C6F
6E676C65667472696768746172726F77
3E0A202020202020202055205C3C7375
6273657465713E205369676D61204920
28746F707370616365205C3C63697263
3E205829205C3C616E643E20285C3C66
6F72616C6C3E69205C3C696E3E20492E
206F70656E696E202858206929207B78
2E2028692C7829205C3C696E3E20557D
29220A2020627920286175746F207369
6D703A2073756D5F746F706F6C6F6779
5F6465662069735F73756D5F746F706F
6C6F6779290A0A6C656D6D61206F7065
6E696E5F6469736A6F696E745F756E69
6F6E3A0A202020226F70656E696E2028
73756D5F746F706F6C6F677920582049
2920285369676D612049205529205C3C
6C6F6E676C6566747269676874617272
6F773E20285C3C666F72616C6C3E6920
5C3C696E3E20492E206F70656E696E20
285820692920285520692929220A2020
7573696E67206F70656E696E5F737562
7365742062792028666F726365207369
6D703A206F70656E696E5F73756D5F74
6F706F6C6F6779290A0A6C656D6D6120
746F7073706163655F73756D5F746F70
6F6C6F6779205B73696D705D3A0A2020
2022746F7073706163652873756D5F74
6F706F6C6F67792058204929203D2053
69676D6120492028746F707370616365
205C3C636972633E205829220A202062
7920286D6574697320636F6D705F6170
706C79206F70656E696E5F6469736A6F
696E745F756E696F6E206F70656E696E
5F737562736574206F70656E696E5F73
756D5F746F706F6C6F6779206F70656E
696E5F746F7073706163652073756273
65745F616E746973796D290A0A6C656D
6D61206F70656E696E5F73756D5F746F
706F6C6F67795F616C743A0A20202022
6F70656E696E202873756D5F746F706F
6C6F677920582049292055205C3C6C6F
6E676C65667472696768746172726F77
3E20285C3C6578697374733E542E2055
203D205369676D6120492054205C3C61
6E643E20285C3C666F72616C6C3E6920
5C3C696E3E20492E206F70656E696E20
28582069292028542069292929220A20
20627920286265737473696D70207369
6D703A206F70656E696E5F73756D5F74
6F706F6C6F677920646573743A206F70
656E696E5F737562736574290A0A6C65
6D6D6120666F72616C6C5F6F70656E69
6E5F73756D5F746F706F6C6F67793A0A
20202022285C3C666F72616C6C3E552E
206F70656E696E202873756D5F746F70
6F6C6F677920582049292055205C3C6C
6F6E6772696768746172726F773E2050
205529205C3C6C6F6E676C6566747269
6768746172726F773E20285C3C666F72
616C6C3E542E20285C3C666F72616C6C
3E69205C3C696E3E20492E206F70656E
696E2028582069292028542069292920
5C3C6C6F6E6772696768746172726F77
3E2050285369676D6120492054292922
0A2020627920286175746F2073696D70
3A206F70656E696E5F73756D5F746F70
6F6C6F67795F616C74290A0A6C656D6D
61206578697374735F6F70656E696E5F
73756D5F746F706F6C6F67793A0A2020
2022285C3C6578697374733E552E206F
70656E696E202873756D5F746F706F6C
6F677920582049292055205C3C616E64
3E2050205529205C3C6C6F6E676C6566
7472696768746172726F773E0A202020
20285C3C6578697374733E542E20285C
3C666F72616C6C3E69205C3C696E3E20
492E206F70656E696E20285820692920
285420692929205C3C616E643E205028
5369676D61204920542929220A202062
7920286175746F2073696D703A206F70
656E696E5F73756D5F746F706F6C6F67
795F616C74290A0A6C656D6D6120636C
6F736564696E5F73756D5F746F706F6C
6F67793A0A20202022636C6F73656469
6E202873756D5F746F706F6C6F677920
582049292055205C3C6C6F6E676C6566
7472696768746172726F773E2055205C
3C73756273657465713E205369676D61
20492028746F707370616365205C3C63
6972633E205829205C3C616E643E2028
5C3C666F72616C6C3E69205C3C696E3E
20492E20636C6F736564696E20285820
6929207B782E2028692C7829205C3C69
6E3E20557D29220A2020202020286973
20223F6C6873203D203F72687322290A
70726F6F660A2020617373756D65204C
3A203F6C68730A20207468656E206861
766520553A202255205C3C7375627365
7465713E205369676D6120492028746F
707370616365205C3C636972633E2058
29220A202020207573696E6720636C6F
736564696E5F73756273657420627920
66617374666F7263650A20207468656E
206861766520225C3C666F72616C6C3E
695C3C696E3E492E207B782E2028692C
207829205C3C696E3E20557D205C3C73
756273657465713E20746F7073706163
65202858206929220A20202020627920
66617374666F7263650A20206D6F7265
6F766572206861766520226F70656E69
6E2028582069292028746F7073706163
65202858206929202D207B782E202869
2C207829205C3C696E3E20557D292220
69662022695C3C696E3E492220666F72
20690A202020206170706C7920287375
627374206F70656E696E5F7375626F70
656E290A202020207573696E67204C20
7468617420756E666F6C64696E672063
6C6F736564696E5F646566206F70656E
696E5F73756D5F746F706F6C6F67790A
20202020627920286265737473696D70
2073696D703A206F5F64656620737562
7365745F696666290A2020756C74696D
6174656C792073686F77203F7268730A
202020206279202873696D7020616464
3A205520636C6F736564696E5F646566
290A6E6578740A2020617373756D6520
523A203F7268730A20207468656E2068
61766520226F70656E696E2028582069
29207B782E2028692C207829205C3C69
6E3E20746F707370616365202873756D
5F746F706F6C6F67792058204929202D
20557D222069662022695C3C696E3E49
2220666F7220690A202020206170706C
7920287375627374206F70656E696E5F
7375626F70656E290A20202020757369
6E67207468617420756E666F6C64696E
6720636C6F736564696E5F646566206F
70656E696E5F73756D5F746F706F6C6F
67790A20202020627920286265737473
696D702073696D703A206F5F64656620
7375627365745F696666290A20207468
656E2073686F77203F6C68730A202020
206279202873696D70206164643A2052
20636C6F736564696E5F646566206F70
656E696E5F73756D5F746F706F6C6F67
79290A7165640A0A6C656D6D6120636C
6F736564696E5F6469736A6F696E745F
756E696F6E3A0A20202022636C6F7365
64696E202873756D5F746F706F6C6F67
79205820492920285369676D61204920
5529205C3C6C6F6E676C656674726967
68746172726F773E20285C3C666F7261
6C6C3E69205C3C696E3E20492E20636C
6F736564696E20285820692920285520
692929220A20207573696E6720636C6F
736564696E5F73756273657420627920
28666F7263652073696D703A20636C6F
736564696E5F73756D5F746F706F6C6F
6779290A0A6C656D6D6120636C6F7365
64696E5F73756D5F746F706F6C6F6779
5F616C743A0A20202022636C6F736564
696E202873756D5F746F706F6C6F6779
20582049292055205C3C6C6F6E676C65
667472696768746172726F773E20285C
3C6578697374733E542E2055203D2053
69676D6120492054205C3C616E643E20
285C3C666F72616C6C3E69205C3C696E
3E20492E20636C6F736564696E202858
2069292028542069292929220A202075
73696E6720636C6F736564696E5F7375
6273657420756E666F6C64696E672063
6C6F736564696E5F73756D5F746F706F
6C6F6779206279206175746F20626C61
73740A0A6C656D6D6120666F72616C6C
5F636C6F736564696E5F73756D5F746F
706F6C6F67793A0A20202022285C3C66
6F72616C6C3E552E20636C6F73656469
6E202873756D5F746F706F6C6F677920
582049292055205C3C6C6F6E67726967
68746172726F773E2050205529205C3C
6C6F6E676C6566747269676874617272
6F773E0A2020202020202020285C3C66
6F72616C6C3E742E20285C3C666F7261
6C6C3E69205C3C696E3E20492E20636C
6F736564696E20285820692920287420
692929205C3C6C6F6E67726967687461
72726F773E2050285369676D61204920
742929220A2020627920286D65746973
20636C6F736564696E5F73756D5F746F
706F6C6F67795F616C74290A0A6C656D
6D61206578697374735F636C6F736564
696E5F73756D5F746F706F6C6F67793A
0A20202022285C3C6578697374733E55
2E20636C6F736564696E202873756D5F
746F706F6C6F67792058204929205520
5C3C616E643E2050205529205C3C6C6F
...

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