Quelle  Mapping.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F4C6962726172792F4D617070
696E672E7468790A2020202041757468
6F723A2020202020466C6F7269616E20
486166746D616E6E20616E64204F6E64
72656A204B756E6361720A2A290A0A73
656374696F6E205C3C6F70656E3E416E
2061627374726163742076696577206F
6E206D61707320666F7220636F646520
67656E65726174696F6E2E5C3C636C6F
73653E0A0A7468656F7279204D617070
696E670A696D706F727473204D61696E
20414C6973740A626567696E0A0A7375
6273656374696F6E205C3C6F70656E3E
506172616D6574726963697479207472
616E736665722072756C65735C3C636C
6F73653E0A0A6C656D6D61206D61705F
6F665F666F6C64723A20226D61705F6F
66207873203D20666F6C647220285C3C
6C616D6264613E286B2C207629206D2E
206D286B205C3C6D617073746F3E2076
2929207873204D61702E656D70747922
2020282A204649584D45206D6F766520
2A290A20207573696E67206D61705F61
64645F6D61705F6F665F666F6C647220
5B6F66204D61702E656D7074795D2062
79206175746F0A0A636F6E7465787420
696E636C75646573206C696674696E67
5F73796E7461780A626567696E0A0A6C
656D6D6120656D7074795F706172616D
65747269633A20222841203D3D3D3E20
72656C5F6F7074696F6E204229204D61
702E656D707479204D61702E656D7074
79220A20206279207472616E73666572
5F70726F7665720A0A6C656D6D61206C
6F6F6B75705F706172616D6574726963
3A2022282841203D3D3D3E204229203D
3D3D3E2041203D3D3D3E20422920285C
3C6C616D6264613E6D206B2E206D206B
2920285C3C6C616D6264613E6D206B2E
206D206B29220A20206279207472616E
736665725F70726F7665720A0A6C656D
6D61207570646174655F706172616D65
747269633A0A2020617373756D657320
5B7472616E736665725F72756C655D3A
202262695F756E697175652041220A20
2073686F777320222841203D3D3D3E20
42203D3D3D3E202841203D3D3D3E2072
656C5F6F7074696F6E204229203D3D3D
3E2041203D3D3D3E2072656C5F6F7074
696F6E2042290A20202020285C3C6C61
6D6264613E6B2076206D2E206D286B20
5C3C6D617073746F3E2076292920285C
3C6C616D6264613E6B2076206D2E206D
286B205C3C6D617073746F3E20762929
220A20206279207472616E736665725F
70726F7665720A0A6C656D6D61206465
6C6574655F706172616D65747269633A
0A2020617373756D6573205B7472616E
736665725F72756C655D3A202262695F
756E697175652041220A202073686F77
7320222841203D3D3D3E202841203D3D
3D3E2072656C5F6F7074696F6E204229
203D3D3D3E2041203D3D3D3E2072656C
5F6F7074696F6E2042290A2020202028
5C3C6C616D6264613E6B206D2E206D28
6B203A3D204E6F6E65292920285C3C6C
616D6264613E6B206D2E206D286B203A
3D204E6F6E652929220A202062792074
72616E736665725F70726F7665720A0A
6C656D6D612069735F6E6F6E655F7061
72616D6574726963205B7472616E7366
65725F72756C655D3A0A202022287265
6C5F6F7074696F6E2041203D3D3D3E20
484F4C2E657129204F7074696F6E2E69
735F6E6F6E65204F7074696F6E2E6973
5F6E6F6E65220A202062792028617574
6F2073696D70206164643A204F707469
6F6E2E69735F6E6F6E655F6465662072
656C5F66756E5F6465662072656C5F6F
7074696F6E5F6966662073706C69743A
206F7074696F6E2E73706C6974290A0A
6C656D6D6120646F6D5F706172616D65
747269633A0A2020617373756D657320
5B7472616E736665725F72756C655D3A
202262695F746F74616C2041220A2020
73686F77732022282841203D3D3D3E20
72656C5F6F7074696F6E204229203D3D
3D3E2072656C5F73657420412920646F
6D20646F6D220A2020756E666F6C6469
6E6720646F6D5F646566205B6162735F
6465665D204F7074696F6E2E69735F6E
6F6E655F646566205B73796D6D657472
69635D206279207472616E736665725F
70726F7665720A0A6C656D6D61206772
6170685F706172616D65747269633A0A
2020617373756D6573202262695F746F
74616C2041220A202073686F77732022
282841203D3D3D3E2072656C5F6F7074
696F6E204229203D3D3D3E2072656C5F
736574202872656C5F70726F64204120
422929204D61702E6772617068204D61
702E6772617068220A70726F6F660A20
206669782066206720617373756D6520
222841203D3D3D3E2072656C5F6F7074
696F6E20422920662067220A20207769
7468206173736D735B756E666F6C6465
642062695F746F74616C5F6465665D20
73686F77202272656C5F736574202872
656C5F70726F64204120422920284D61
702E677261706820662920284D61702E
6772617068206729220A20202020756E
666F6C64696E672067726170685F6465
662072656C5F7365745F646566207265
6C5F66756E5F6465660A202020206279
206175746F20286D65746973206F7074
696F6E5F72656C5F536F6D6531206F70
74696F6E5F72656C5F536F6D6532292B
0A7165640A0A6C656D6D61206D61705F
6F665F706172616D6574726963205B74
72616E736665725F72756C655D3A0A20
20617373756D6573205B7472616E7366
65725F72756C655D3A202262695F756E
69717565205231220A202073686F7773
2022286C6973745F616C6C3220287265
6C5F70726F6420523120523229203D3D
3D3E205231203D3D3D3E2072656C5F6F
7074696F6E20523229206D61705F6F66
206D61705F6F66220A2020756E666F6C
64696E67206D61705F6F665F64656620
6279207472616E736665725F70726F76
65720A0A6C656D6D61206D61705F656E
7472795F706172616D6574726963205B
7472616E736665725F72756C655D3A0A
2020617373756D6573205B7472616E73
6665725F72756C655D3A202262695F75
6E697175652041220A202073686F7773
20222841203D3D3D3E202842203D3D3D
3E204229203D3D3D3E202841203D3D3D
3E2072656C5F6F7074696F6E20422920
3D3D3D3E2041203D3D3D3E2072656C5F
6F7074696F6E2042290A20202020285C
3C6C616D6264613E6B2066206D2E2028
63617365206D206B206F66204E6F6E65
205C3C52696768746172726F773E206D
0A2020202020207C20536F6D65207620
5C3C52696768746172726F773E206D20
286B205C3C6D617073746F3E20286620
762929292920285C3C6C616D6264613E
6B2066206D2E202863617365206D206B
206F66204E6F6E65205C3C5269676874
6172726F773E206D0A2020202020207C
20536F6D652076205C3C526967687461
72726F773E206D20286B205C3C6D6170
73746F3E202866207629292929220A20
206279207472616E736665725F70726F
7665720A0A6C656D6D6120746162756C
6174655F706172616D65747269633A0A
2020617373756D6573205B7472616E73
6665725F72756C655D3A202262695F75
6E697175652041220A202073686F7773
2022286C6973745F616C6C322041203D
3D3D3E202841203D3D3D3E204229203D
3D3D3E2041203D3D3D3E2072656C5F6F
7074696F6E2042290A20202020285C3C
6C616D6264613E6B7320662E20286D61
705F6F6620286D617020285C3C6C616D
6264613E6B2E20286B2C2066206B2929
206B7329292920285C3C6C616D626461
3E6B7320662E20286D61705F6F662028
6D617020285C3C6C616D6264613E6B2E
20286B2C2066206B2929206B73292929
220A20206279207472616E736665725F
70726F7665720A0A6C656D6D61206275
6C6B6C6F61645F706172616D65747269
633A0A202022286C6973745F616C6C32
2041203D3D3D3E20484F4C2E6571203D
3D3D3E2072656C5F6F7074696F6E2041
290A20202020285C3C6C616D6264613E
7873206B2E206966206B203C206C656E
677468207873207468656E20536F6D65
202878732021206B2920656C7365204E
6F6E65290A20202020285C3C6C616D62
64613E7873206B2E206966206B203C20
6C656E677468207873207468656E2053
6F6D65202878732021206B2920656C73
65204E6F6E6529220A70726F6F660A20
206669782078732079730A2020617373
756D6520226C6973745F616C6C322041
207873207973220A20207468656E2073
686F770A202020202228484F4C2E6571
203D3D3D3E2072656C5F6F7074696F6E
2041290A202020202020285C3C6C616D
6264613E6B2E206966206B203C206C65
6E677468207873207468656E20536F6D
65202878732021206B2920656C736520
4E6F6E65290A202020202020285C3C6C
616D6264613E6B2E206966206B203C20
6C656E677468207973207468656E2053
6F6D65202879732021206B2920656C73
65204E6F6E6529220A20202020627920
696E6475637420286175746F2073696D
70206164643A206C6973745F616C6C32
5F6C656E67746844206C6973745F616C
6C325F6E7468442072656C5F66756E49
290A7165640A0A6C656D6D61206D6170
5F706172616D65747269633A0A202022
282841203D3D3D3E204229203D3D3D3E
202843203D3D3D3E204429203D3D3D3E
202842203D3D3D3E2072656C5F6F7074
696F6E204329203D3D3D3E2041203D3D
3D3E2072656C5F6F7074696F6E204429
0A2020202020285C3C6C616D6264613E
662067206D2E20286D61705F6F707469
6F6E2067205C3C636972633E206D205C
3C636972633E2066292920285C3C6C61
6D6264613E662067206D2E20286D6170
5F6F7074696F6E2067205C3C63697263
3E206D205C3C636972633E2066292922
0A20206279207472616E736665725F70
726F7665720A0A6C656D6D6120636F6D
62696E655F776974685F6B65795F7061
72616D65747269633A0A202022282841
203D3D3D3E2042203D3D3D3E2042203D
3D3D3E204229203D3D3D3E202841203D
3D3D3E2072656C5F6F7074696F6E2042
29203D3D3D3E202841203D3D3D3E2072
656C5F6F7074696F6E204229203D3D3D
3E0A202020202841203D3D3D3E207265
6C5F6F7074696F6E2042292920285C3C
6C616D6264613E66206D31206D322078
2E20636F6D62696E655F6F7074696F6E
7320286620782920286D312078292028
6D32207829290A20202020285C3C6C61
6D6264613E66206D31206D3220782E20
636F6D62696E655F6F7074696F6E7320
286620782920286D3120782920286D32
20782929220A2020756E666F6C64696E
6720636F6D62696E655F6F7074696F6E
735F646566206279207472616E736665
725F70726F7665720A0A6C656D6D6120
636F6D62696E655F706172616D657472
69633A0A202022282842203D3D3D3E20
42203D3D3D3E204229203D3D3D3E2028
41203D3D3D3E2072656C5F6F7074696F
6E204229203D3D3D3E202841203D3D3D
3E2072656C5F6F7074696F6E20422920
3D3D3D3E0A202020202841203D3D3D3E
2072656C5F6F7074696F6E2042292920
285C3C6C616D6264613E66206D31206D
3220782E20636F6D62696E655F6F7074
696F6E73206620286D3120782920286D
32207829290A20202020285C3C6C616D
6264613E66206D31206D3220782E2063
6F6D62696E655F6F7074696F6E732066
20286D3120782920286D322078292922
...

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