Quelle  Lipschitz.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416E616C797369732F4C6970
73636869747A2E7468790A2020202041
7574686F723A202020202053C3A96261
737469656E20476F75C3AB7A656C2020
2073656261737469656E2E676F75657A
656C40756E69762D72656E6E6573312E
66720A20202020417574686F723A2020
20202046616269616E20496D6D6C6572
2C205455204DC3BC6E6368656E0A2A29
0A73656374696F6E205C3C6F70656E3E
4C697073636869747A20436F6E74696E
756974795C3C636C6F73653E0A0A7468
656F7279204C697073636869747A0A20
20696D706F7274730A20202020446572
69766174697665204162737472616374
5F4D65747269635F5370616365730A62
6567696E0A0A646566696E6974696F6E
5C3C5E6D61726B65723E5C3C6F70656E
3E74616720696D706F7274616E745C3C
636C6F73653E206C697073636869747A
5F6F6E0A2020776865726520226C6970
73636869747A5F6F6E20432055206620
5C3C6C6F6E676C656674726967687461
72726F773E202830205C3C6C653E2043
205C3C616E643E20285C3C666F72616C
6C3E78205C3C696E3E20552E205C3C66
6F72616C6C3E795C3C696E3E552E2064
69737420286620782920286620792920
5C3C6C653E2043202A20646973742078
20792929220A0A6F70656E5F62756E64
6C65206C697073636869747A5F73796E
7461780A626567696E0A6E6F74617469
6F6E5C3C5E6D61726B65723E5C3C6F70
656E3E74616720696D706F7274616E74
5C3C636C6F73653E0A20206C69707363
6869747A5F6F6E20285C3C6F70656E3E
285C3C6F70656E3E6F70656E5F626C6F
636B206E6F746174696F6E3D5C3C6F70
656E3E706F7374666978206C69707363
6869747A5F6F6E5C3C636C6F73653E5C
3C636C6F73653E5F2D6C697073636869
747A275F6F6E295C3C636C6F73653E20
5B313030305D290A656E640A0A6C656D
6D61206C697073636869747A5F6F6E49
3A20224C2D6C697073636869747A5F6F
6E20582066220A2020696620225C3C41
6E643E7820792E2078205C3C696E3E20
58205C3C4C6F6E677269676874617272
6F773E2079205C3C696E3E2058205C3C
4C6F6E6772696768746172726F773E20
64697374202866207829202866207929
205C3C6C653E204C202A206469737420
78207922202230205C3C6C653E204C22
0A20207573696E672074686174206279
20286175746F2073696D703A206C6970
73636869747A5F6F6E5F646566290A0A
6C656D6D61206C697073636869747A5F
6F6E443A0A2020226469737420286620
7829202866207929205C3C6C653E204C
202A206469737420782079220A202069
6620224C2D6C697073636869747A5F6F
6E2058206622202278205C3C696E3E20
5822202279205C3C696E3E2058220A20
207573696E6720746861742062792028
6175746F2073696D703A206C69707363
6869747A5F6F6E5F646566290A0A6C65
6D6D61206C697073636869747A5F6F6E
5F6E6F6E6E65673A0A20202230205C3C
6C653E204C2220696620224C2D6C6970
73636869747A5F6F6E20582066220A20
207573696E6720746861742062792028
6175746F2073696D703A206C69707363
6869747A5F6F6E5F646566290A0A6C65
6D6D61206C697073636869747A5F6F6E
5F6E6F726D443A0A2020226E6F726D20
28662078202D2066207929205C3C6C65
3E204C202A206E6F726D202878202D20
7929220A2020696620226C6970736368
69747A5F6F6E204C2058206622202278
205C3C696E3E205822202279205C3C69
6E3E2058220A20207573696E67206C69
7073636869747A5F6F6E445B4F462074
6861745D0A20206279202873696D7020
6164643A20646973745F6E6F726D290A
0A6C656D6D61206C697073636869747A
5F6F6E5F6D6F6E6F3A20224C2D6C6970
73636869747A5F6F6E20442066222069
6620224D2D6C697073636869747A5F6F
6E2045206622202244205C3C73756273
657465713E20452220224D205C3C6C65
3E204C220A20207573696E6720746861
740A202062792028666F726365207369
6D703A206C697073636869747A5F6F6E
5F64656620696E74726F3A206F726465
725F7472616E735B4F46205F206D756C
745F72696768745F6D6F6E6F5D290A0A
6C656D6D6173206C697073636869747A
5F6F6E5F737562736574203D206C6970
73636869747A5F6F6E5F6D6F6E6F5B4F
46205F205F206F726465725F7265666C
5D0A2020616E64206C69707363686974
7A5F6F6E5F6C65203D206C6970736368
69747A5F6F6E5F6D6F6E6F5B4F46205F
206F726465725F7265666C5D0A0A6C65
6D6D61206C697073636869747A5F6F6E
5F6C65493A0A2020224C2D6C69707363
6869747A5F6F6E20582066220A202069
6620225C3C416E643E7820792E207820
5C3C696E3E2058205C3C4C6F6E677269
6768746172726F773E2079205C3C696E
3E2058205C3C4C6F6E67726967687461
72726F773E2078205C3C6C653E207920
5C3C4C6F6E6772696768746172726F77
3E206469737420286620782920286620
7929205C3C6C653E204C202A20646973
7420782079220A202020202230205C3C
6C653E204C220A2020666F7220663A3A
2227613A3A7B6C696E6F726465725F74
6F706F6C6F67792C206F726465726564
5F7265616C5F766563746F722C206D65
747269635F73706163657D205C3C5269
6768746172726F773E2027623A3A6D65
747269635F7370616365220A70726F6F
66202872756C65206C69707363686974
7A5F6F6E49290A202066697820782079
20617373756D652078793A202278205C
3C696E3E205822202279205C3C696E3E
2058220A2020636F6E73696465722022
79205C3C6C653E207822207C20227820
5C3C6C653E2079220A20202020627920
2872756C65206C655F6361736573290A
20207468656E2073686F772022646973
74202866207829202866207929205C3C
6C653E204C202A206469737420782079
220A202070726F6F662063617365730A
202020206361736520310A2020202074
68656E20686176652022646973742028
66207929202866207829205C3C6C653E
204C202A206469737420792078220A20
2020202020627920286175746F20696E
74726F213A2074686174207879290A20
2020207468656E2073686F77203F7468
657369730A2020202020206279202873
696D70206164643A20646973745F636F
6D6D757465290A202071656420286175
746F20696E74726F213A207468617420
7879290A71656420666163740A0A6C65
6D6D61206C697073636869747A5F6F6E
5F636F6E6361743A0A20206669786573
2061206220633A3A7265616C0A202061
7373756D657320663A20224C2D6C6970
73636869747A5F6F6E207B61202E2E20
627D2066220A2020617373756D657320
673A20224C2D6C697073636869747A5F
6F6E207B62202E2E20637D2067220A20
20617373756D65732066673A20226620
62203D20672062220A202073686F7773
20226C697073636869747A5F6F6E204C
207B61202E2E20637D20285C3C6C616D
6264613E782E2069662078205C3C6C65
3E2062207468656E2066207820656C73
652067207829220A2020202028697320
226C697073636869747A5F6F6E205F20
5F203F6622290A70726F6F6620287275
6C65206C697073636869747A5F6F6E5F
6C6549290A2020666978207820790A20
20617373756D6520783A202278205C3C
696E3E207B612E2E637D2220616E6420
793A202279205C3C696E3E207B612E2E
637D2220616E642078793A202278205C
3C6C653E2079220A2020636F6E736964
6572202278205C3C6C653E2062205C3C
616E643E2062203C207922207C202278
205C3C67653E2062205C3C6F723E2079
205C3C6C653E20622220627920617269
74680A20207468656E2073686F772022
6469737420283F6620782920283F6620
7929205C3C6C653E204C202A20646973
7420782079220A202070726F6F662063
617365730A202020206361736520310A
20202020686176652022646973742028
66207829202867207929205C3C6C653E
20646973742028662078292028662062
29202B20646973742028672062292028
67207929220A202020202020756E666F
6C64696E67206667206279202872756C
6520646973745F747269616E676C6529
0A20202020616C736F20686176652022
64697374202866207829202866206229
205C3C6C653E204C202A206469737420
782062220A2020202020207573696E67
203120780A2020202020206279202861
75746F20696E74726F213A206C697073
636869747A5F6F6E445B4F4620665D29
0A20202020616C736F20686176652022
64697374202867206229202867207929
205C3C6C653E204C202A206469737420
622079220A2020202020207573696E67
2031207820790A202020202020627920
286175746F20696E74726F213A206C69
7073636869747A5F6F6E445B4F462067
5D206C697073636869747A5F6F6E445B
4F4620665D290A2020202066696E616C
6C792068617665202264697374202866
207829202867207929205C3C6C653E20
4C202A206469737420782062202B204C
202A206469737420622079220A202020
20202062792073696D700A2020202061
6C736F206861766520225C3C646F7473
3E203D204C202A202864697374207820
62202B20646973742062207929220A20
20202020206279202873696D70206164
643A20616C67656272615F73696D7073
290A20202020616C736F206861766520
226469737420782062202B2064697374
20622079203D20646973742078207922
0A2020202020207573696E6720312078
20790A20202020202062792028617574
6F2073696D703A20646973745F726561
6C5F646566206162735F7265616C5F64
6566290A2020202066696E616C6C7920
73686F77203F7468657369730A202020
2020207573696E672031206279207369
6D700A20206E6578740A202020206361
736520320A2020202077697468206C69
7073636869747A5F6F6E445B4F462066
2C206F66207820795D206C6970736368
69747A5F6F6E445B4F4620672C206F66
207820795D207820792078790A202020
2073686F77203F7468657369730A2020
20202020627920286175746F2073696D
703A206667290A20207165640A716564
202872756C65206C697073636869747A
5F6F6E5F6E6F6E6E65675B4F4620665D
290A0A6C656D6D61206C697073636869
747A5F6F6E5F636F6E6361745F6D6178
3A0A202066697865732061206220633A
3A7265616C0A2020617373756D657320
663A20224C2D6C697073636869747A5F
6F6E207B61202E2E20627D2066220A20
20617373756D657320673A20224D2D6C
697073636869747A5F6F6E207B62202E
2E20637D2067220A2020617373756D65
732066673A2022662062203D20672062
220A202073686F77732022286D617820
4C204D292D6C697073636869747A5F6F
6E207B61202E2E20637D20285C3C6C61
6D6264613E782E2069662078205C3C6C
653E2062207468656E2066207820656C
73652067207829220A70726F6F66202D
0A20206861766520226C697073636869
747A5F6F6E20286D6178204C204D2920
7B61202E2E20627D20662220226C6970
73636869747A5F6F6E20286D6178204C
204D29207B62202E2E20637D2067220A
...

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