Quelle  Imperative_Reverse.thy   Sprache: unbekannt

3E2041727261792E6E74682061206A3B
0A202020202041727261792E75706420
69207920613B0A202020202041727261
792E757064206A207820613B0A202020
202072657475726E2028290A2020207D
220A0A66756E20726576203A3A202227
613A3A68656170206172726179205C3C
52696768746172726F773E206E617420
5C3C52696768746172726F773E206E61
74205C3C52696768746172726F773E20
756E6974204865617022207768657265
0A20202272657620612069206A203D20
286966202869203C206A29207468656E
20646F207B0A20202020207377617020
612069206A3B0A202020202072657620
61202869202B20312920286A202D2031
290A2020207D0A202020656C73652072
657475726E20282929220A0A6465636C
61726520737761702E73696D7073205B
73696D702064656C5D207265762E7369
6D7073205B73696D702064656C5D0A0A
6C656D6D6120737761705F706F696E74
776973653A20617373756D6573202265
66666563742028737761702061206920
6A2920682068272072220A202073686F
7773202241727261792E676574206827
20612021206B203D20286966206B203D
2069207468656E2041727261792E6765
74206820612021206A0A202020202020
656C7365206966206B203D206A207468
656E2041727261792E67657420682061
202120690A202020202020656C736520
41727261792E67657420682061202120
6B29220A7573696E67206173736D7320
756E666F6C64696E6720737761702E73
696D70730A62792028656C696D206566
666563745F656C696D73290A20286175
746F2073696D703A206C656E6774685F
646566290A0A6C656D6D61207265765F
706F696E74776973653A20617373756D
65732022656666656374202872657620
612069206A2920682068272072220A20
2073686F7773202241727261792E6765
7420682720612021206B203D20286966
206B203C2069207468656E2041727261
792E676574206820612021206B0A2020
20202020656C7365206966206A203C20
6B207468656E2041727261792E676574
206820612021206B0A20202020202065
6C73652041727261792E676574206820
61202120286A202D20286B202D206929
2929222028697320223F502061206920
6A206820682722290A7573696E672061
73736D732070726F6F662028696E6475
637420612069206A2061726269747261
72793A20682068272072756C653A2072
65762E696E64756374290A2020636173
6520283120612069206A206820682727
290A202074687573203F636173650A20
2070726F6F6620286361736573202269
203C206A22290A202020206361736520
547275650A202020207769746820315B
756E666F6C646564207265762E73696D
70735B6F6620612069206A5D5D0A2020
20206F627461696E2068272077686572
650A2020202020207377703A20226566
6665637420287377617020612069206A
292068206827202829220A2020202020
20616E64207265763A20226566666563
7420287265762061202869202B203129
20286A202D2031292920682720682727
202829220A2020202020206279202861
75746F20656C696D3A20656666656374
5F656C696D73290A2020202066726F6D
20726576203120547275650A20202020
686176652065713A20223F5020612028
69202B20312920286A202D2031292068
272068272722206279206175746F0A0A
202020206861766520226B203C206920
5C3C6F723E2069203D206B205C3C6F72
3E202869203C206B205C3C616E643E20
6B203C206A29205C3C6F723E206A203D
206B205C3C6F723E206A203C206B2220
62792061726974680A20202020776974
6820547275652073686F77203F746865
7369730A20202020202062792028656C
696D206469736A452920286175746F20
73696D703A20657120737761705F706F
696E74776973655B4F46207377705D29
0A20206E6578740A2020202063617365
2046616C73650A202020207769746820
315B756E666F6C646564207265762E73
696D70735B6F6620612069206A5D5D0A
2020202073686F77203F746865736973
0A202020202020627920286361736573
20226B203D206A222920286175746F20
656C696D3A206566666563745F656C69
6D73290A20207165640A7165640A0A6C
656D6D61207265765F6C656E6774683A
0A2020617373756D6573202265666665
6374202872657620612069206A292068
2068272072220A202073686F77732022
41727261792E6C656E67746820682061
203D2041727261792E6C656E67746820
68272061220A7573696E67206173736D
730A70726F6F662028696E6475637420
612069206A206172626974726172793A
20682068272072756C653A207265762E
696E64756374290A2020636173652028
3120612069206A206820682727290A20
2074687573203F636173650A20207072
6F6F6620286361736573202269203C20
6A22290A202020206361736520547275
650A202020207769746820315B756E66
6F6C646564207265762E73696D70735B
6F6620612069206A5D5D0A202020206F
627461696E2068272077686572650A20
20202020207377703A20226566666563
7420287377617020612069206A292068
206827202829220A202020202020616E
64207265763A20226566666563742028
7265762061202869202B20312920286A
202D2031292920682720682727202829
220A202020202020627920286175746F
20656C696D3A206566666563745F656C
696D73290A2020202066726F6D207377
7020726576203120547275652073686F
77203F7468657369730A202020202020
756E666F6C64696E6720737761702E73
696D70730A2020202020206279202865
6C696D206566666563745F656C696D73
292066617374666F7263650A20206E65
78740A20202020636173652046616C73
650A202020207769746820315B756E66
6F6C646564207265762E73696D70735B
6F6620612069206A5D5D0A2020202073
686F77203F7468657369730A20202020
2020627920286175746F20656C696D3A
206566666563745F656C696D73290A20
207165640A7165640A0A6C656D6D6120
726576325F726576273A20617373756D
65732022656666656374202872657620
612069206A2920682068272075220A20
20617373756D657320226A203C204172
7261792E6C656E67746820682061220A
202073686F7773202273756261727261
79206920286A202B2031292061206827
203D204C6973742E7265762028737562
6172726179206920286A202B20312920
61206829220A70726F6F66202D200A20
207B0A20202020666978206B0A202020
20617373756D6520226B203C20537563
206A202D2069220A2020202077697468
207265765F706F696E74776973655B4F
46206173736D732831295D2068617665
202241727261792E6765742068272061
2021202869202B206B29203D20417272
61792E67657420682061202120286A20
2D206B29220A20202020202062792061
75746F0A20207D200A20207769746820
6173736D73283229207265765F6C656E
6774685B4F46206173736D732831295D
2073686F77203F7468657369730A2020
756E666F6C64696E6720737562617272
61795F6465662041727261792E6C656E
6774685F6465660A2020627920286175
746F2073696D70206164643A206C656E
6774685F6E74687327207265765F6E74
68206D696E5F646566206E74685F6E74
68732720696E74726F213A206E74685F
657175616C69747949290A7165640A0A
6C656D6D6120726576325F7265763A20
0A2020617373756D6573202265666665
63742028726576206120302028417272
61792E6C656E67746820682061202D20
31292920682068272075220A20207368
6F7773202241727261792E6765742068
272061203D204C6973742E7265762028
41727261792E6765742068206129220A
20207573696E6720726576325F726576
275B4F46206173736D735D207265765F
6C656E6774685B4F46206173736D735D
206173736D730A202020206279202863
61736573202241727261792E6C656E67
746820682061203D2030222C20617574
6F2073696D70206164643A2041727261
792E6C656E6774685F6465660A202020
20202073756261727261795F64656620
7265762E73696D70735B776865726520
6A3D305D20656C696D213A2065666665
63745F656C696D73290A202028647275
6C652073796D5B6F6620224C6973742E
6C656E677468202841727261792E6765
742068206129225D2C2073696D70290A
0A646566696E6974696F6E2022657861
6D706C65203D202841727261792E6D61
6B65203130206964205C3C62696E643E
20285C3C6C616D6264613E612E207265
762061203020392929220A0A6578706F
72745F636F6465206578616D706C6520
636865636B696E6720534D4C20534D4C
5F696D70204F43616D6C3F204F43616D
6C5F696D703F204861736B656C6C3F20
5363616C61205363616C615F696D700A
0A656E640A0A00000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
00000000000000000000000000000000
000000
...

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