Quelle  Code_Target_Nat.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F4C6962726172792F436F6465
5F5461726765745F4E61742E7468790A
20202020417574686F723A2020202020
466C6F7269616E20486166746D616E6E
2C205455204D75656E6368656E0A2A29
0A0A73656374696F6E205C3C6F70656E
3E496D706C656D656E746174696F6E20
6F66206E61747572616C206E756D6265
7273206279207461726765742D6C616E
677561676520696E7465676572735C3C
636C6F73653E0A0A7468656F72792043
6F64655F5461726765745F4E61740A69
6D706F72747320436F64655F41627374
726163745F4E61740A626567696E0A0A
73756273656374696F6E205C3C6F7065
6E3E496D706C656D656E746174696F6E
20666F72205C3C5E7479703E5C3C6F70
656E3E6E61745C3C636C6F73653E5C3C
636C6F73653E0A0A636F6E746578740A
696E636C7564657320696E7465676572
2E6C696674696E670A626567696E0A0A
6C6966745F646566696E6974696F6E20
4E6174203A3A2022696E746567657220
5C3C52696768746172726F773E206E61
74220A20206973206E61740A20202E0A
0A6C656D6D61205B636F64655F706F73
745D3A0A2020224E61742030203D2030
220A2020224E61742031203D2031220A
2020224E617420286E756D6572616C20
6B29203D206E756D6572616C206B220A
2020627920287472616E736665722C20
73696D70292B0A0A6C656D6D61205B63
6F64655F6162627265765D3A0A202022
696E74656765725F6F665F6E6174203D
206F665F6E6174220A20206279207472
616E736665722072756C650A0A6C656D
6D61205B636F64655F756E666F6C645D
3A0A202022496E742E6E61742028696E
745F6F665F696E7465676572206B2920
3D206E61745F6F665F696E7465676572
206B220A20206279207472616E736665
722072756C650A0A6C656D6D61205B63
6F646520616273747970655D3A0A2020
22436F64655F5461726765745F4E6174
2E4E61742028696E74656765725F6F66
5F6E6174206E29203D206E220A202062
79207472616E736665722073696D700A
0A6C656D6D61205B636F646520616273
74726163745D3A0A202022696E746567
65725F6F665F6E617420286E61745F6F
665F696E7465676572206B29203D206D
61782030206B220A2020627920747261
6E73666572206175746F0A0A6C656D6D
61205B636F64655F6162627265765D3A
0A2020226E61745F6F665F696E746567
657220286E756D6572616C206B29203D
206E61745F6F665F6E756D206B220A20
206279207472616E7366657220287369
6D70206164643A206E61745F6F665F6E
756D5F6E756D6572616C290A0A636F6E
746578740A626567696E20200A0A7175
616C696669656420646566696E697469
6F6E206E61747572616C203A3A20226E
756D205C3C52696768746172726F773E
206E6174220A20207768657265205B73
696D705D3A20226E61747572616C203D
206E61745F6F665F6E756D220A0A6C65
6D6D61205B636F64655F636F6D707574
6174696F6E5F756E666F6C645D3A0A20
20226E756D6572616C203D206E617475
72616C220A2020226E61745F6F665F6E
756D203D206E61747572616C220A2020
6279202873696D705F616C6C20616464
3A206E61745F6F665F6E756D5F6E756D
6572616C290A0A656E640A0A6C656D6D
61205B636F6465206162737472616374
5D3A0A202022696E74656765725F6F66
5F6E617420286E61745F6F665F6E756D
206E29203D20696E74656765725F6F66
5F6E756D206E220A2020627920287369
6D70206164643A206E61745F6F665F6E
756D5F6E756D6572616C20696E746567
65725F6F665F6E61745F6E756D657261
6C290A0A6C656D6D61205B636F646520
61627374726163745D3A0A202022696E
74656765725F6F665F6E61742030203D
2030220A20206279207472616E736665
722073696D700A0A6C656D6D61205B63
6F64652061627374726163745D3A0A20
2022696E74656765725F6F665F6E6174
2031203D2031220A2020627920747261
6E736665722073696D700A0A6C656D6D
61205B636F64655D3A0A202022537563
206E203D206E202B2031220A20206279
2073696D700A0A6C656D6D61205B636F
64652061627374726163745D3A0A2020
22696E74656765725F6F665F6E617420
286D202B206E29203D206F665F6E6174
206D202B206F665F6E6174206E220A20
206279207472616E736665722073696D
700A0A6C656D6D61205B636F64652061
627374726163745D3A0A202022696E74
656765725F6F665F6E617420286D202D
206E29203D206D6178203020286F665F
6E6174206D202D206F665F6E6174206E
29220A20206279207472616E73666572
2073696D700A0A6C656D6D61205B636F
64652061627374726163745D3A0A2020
22696E74656765725F6F665F6E617420
286D202A206E29203D206F665F6E6174
206D202A206F665F6E6174206E220A20
206279207472616E7366657220287369
6D70206164643A206F665F6E61745F6D
756C74290A0A6C656D6D61205B636F64
652061627374726163745D3A0A202022
696E74656765725F6F665F6E61742028
6D20646976206E29203D206F665F6E61
74206D20646976206F665F6E6174206E
220A20206279207472616E7366657220
2873696D70206164643A207A6469765F
696E74290A0A6C656D6D61205B636F64
652061627374726163745D3A0A202022
696E74656765725F6F665F6E61742028
6D206D6F64206E29203D206F665F6E61
74206D206D6F64206F665F6E6174206E
220A20206279207472616E7366657220
2873696D70206164643A207A6D6F645F
696E74290A0A636F6E746578740A2020
696E636C7564657320696E7465676572
2E6C696674696E670A626567696E0A0A
6C656D6D61206469766D6F645F6E6174
5F636F6465205B636F64655D3A205C3C
5E6D61726B65723E5C3C6F70656E3E63
6F6E7472696275746F72205C3C6F7065
6E3E52656EC3A920546869656D616E6E
5C3C636C6F73653E5C3C636C6F73653E
205C3C5E6D61726B65723E5C3C6F7065
6E3E636F6E7472696275746F72205C3C
6F70656E3E416B69686973612059616D
6164615C3C636C6F73653E5C3C636C6F
73653E0A2020224575636C696465616E
5F52696E67732E6469766D6F645F6E61
74206D206E203D20280A20202020206C
6574206B203D20696E74656765725F6F
665F6E6174206D3B206C203D20696E74
656765725F6F665F6E6174206E0A2020
202020696E206D61705F70726F64206E
61745F6F665F696E7465676572206E61
745F6F665F696E74656765720A202020
20202020286966206B203D2030207468
656E2028302C2030290A202020202020
2020656C7365206966206C203D203020
7468656E2028302C206B2920656C7365
0A20202020202020202020436F64655F
4E756D6572616C2E6469766D6F645F61
6273206B206C2929220A202062792028
73696D70206164643A2070726F645F65
715F696666204C65745F646566204575
636C696465616E5F52696E67732E6469
766D6F645F6E61745F6465663B207472
616E73666572290A202020202873696D
70206164643A206E61745F6469765F64
697374726962206E61745F6D6F645F64
697374726962290A0A656E640A0A6C65
6D6D61205B636F64655D3A0A20202264
69766D6F64206D206E203D206D61705F
70726F64206E61745F6F665F696E7465
676572206E61745F6F665F696E746567
657220286469766D6F64206D206E2922
0A20206279202873696D70206F6E6C79
3A2070726F645F65715F696666206469
766D6F645F646566206D61705F70726F
645F64656620636173655F70726F645F
62657461206673745F636F6E7620736E
645F636F6E763B207472616E73666572
290A202020202873696D705F616C6C20
6F6E6C793A206E61745F6469765F6469
7374726962206E61745F6D6F645F6469
73747269620A20202020202020207A65
726F5F6C655F6E756D6572616C206E61
745F6E756D6572616C290A20200A6C65
6D6D61205B636F64655D3A0A20202248
4F4C2E657175616C206D206E203D2048
4F4C2E657175616C20286F665F6E6174
206D203A3A20696E7465676572292028
6F665F6E6174206E29220A2020627920
7472616E73666572202873696D702061
64643A20657175616C290A0A6C656D6D
61205B636F64655D3A0A2020226D205C
3C6C653E206E205C3C6C6F6E676C6566
7472696768746172726F773E20286F66
5F6E6174206D203A3A20696E74656765
7229205C3C6C653E206F665F6E617420
6E220A202062792073696D700A0A6C65
6D6D61205B636F64655D3A0A2020226D
203C206E205C3C6C6F6E676C65667472
696768746172726F773E20286F665F6E
6174206D203A3A20696E746567657229
203C206F665F6E6174206E220A202062
792073696D700A0A6C656D6D61206E75
6D5F6F665F6E61745F636F6465205B63
6F64655D3A0A2020226E756D5F6F665F
6E6174203D206E756D5F6F665F696E74
65676572205C3C636972633E206F665F
6E6174220A20206279207472616E7366
6572202873696D70206164643A206675
6E5F65715F696666290A0A656E640A0A
6C656D6D612028696E2073656D697269
6E675F3129206F665F6E61745F636F64
655F69663A0A2020226F665F6E617420
6E203D20286966206E203D2030207468
656E20300A2020202020656C7365206C
65740A20202020202020286D2C207129
203D204575636C696465616E5F52696E
67732E6469766D6F645F6E6174206E20
323B0A202020202020206D27203D2032
202A206F665F6E6174206D0A20202020
20696E2069662071203D203020746865
6E206D2720656C7365206D27202B2031
29220A2020627920286361736573206E
290A202020202873696D705F616C6C20
6164643A204C65745F64656620457563
6C696465616E5F52696E67732E646976
6D6F645F6E61745F6465662061635F73
696D70730A202020202020666C69703A
206F665F6E61745F6E756D6572616C20
6F665F6E61745F6D756C74206D696E75
735F6D6F645F65715F6D756C745F6469
76290A0A6465636C617265206F665F6E
61745F636F64655F6966205B636F6465
5D0A0A646566696E6974696F6E20696E
745F6F665F6E6174203A3A20226E6174
205C3C52696768746172726F773E2069
6E74222077686572650A20205B636F64
655F6162627265765D3A2022696E745F
6F665F6E6174203D206F665F6E617422
0A0A6C656D6D61205B636F64655D3A0A
202022696E745F6F665F6E6174206E20
3D20696E745F6F665F696E7465676572
20286F665F6E6174206E29220A202062
79202873696D70206164643A20696E74
5F6F665F6E61745F646566290A0A6C65
6D6D61205B636F646520616273747261
63745D3A0A202022696E74656765725F
6F665F6E617420286E6174206B29203D
206D617820302028696E74656765725F
6F665F696E74206B29220A2020696E63
6C7564696E6720696E74656765722E6C
696674696E67206279207472616E7366
6572206175746F0A0A646566696E6974
696F6E20636861725F6F665F6E617420
3A3A20226E6174205C3C526967687461
72726F773E2063686172220A20207768
657265205B636F64655F616262726576
5D3A2022636861725F6F665F6E617420
...

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