Quelle  Array_SBlit.thy   Sprache: unbekannt

7468656F72792041727261795F53426C
69740A2020696D706F72747320225365
7061726174696F6E5F4C6F6769635F49
6D70657261746976655F484F4C2E4172
7261795F426C6974220A626567696E0A
0A282A205265736F6C76657320544F44
4F206279205065746572204C616D6D69
6368202A290A282A204F43616D6C2068
616E646C657320746865206361736520
6F66206C656E3D3020636F7272656374
6C792028692E652E0A61732073706563
69666965642062792074686520486F61
726520547269706C6520696E20417272
61795F426C69740A6E6F742067656E65
726174696E6720616E20657863657074
696F6E2069662073692B6C656E205C3C
6C653E206172726179206C656E677468
20616E64207375636829202A29200A63
6F64655F7072696E74696E6720636F64
655F6D6F64756C65202261727261795F
626C697422205C3C7269676874686172
706F6F6E75703E20284F43616D6C290A
20205C3C6F70656E3E0A6C6574206172
7261795F626C69742073726320736920
647374206469206C656E203D20280A20
206966207372633D647374207468656E
0A202020202072616973652028496E76
616C69645F617267756D656E74202261
727261795F626C69743A2053616D6520
61727261797322290A2020656C73650A
2020202041727261792E626C69742073
726320285A2E746F5F696E7420736929
2064737420285A2E746F5F696E742064
692920285A2E746F5F696E74206C656E
290A293B3B0A5C3C636C6F73653E0A0A
636F64655F7072696E74696E6720636F
6E7374616E7420626C697427205C3C72
69676874686172706F6F6E75703E0A20
284F43616D6C2920222866756E202829
202D3E202F6172726179275F626C6974
205F205F205F205F205F29220A0A0A65
78706F72745F636F646520626C697420
636865636B696E67204F43616D6C0A0A
73656374696F6E202253616D65206172
72617920426C6974220A0A7465787420
22546865207374616E64617264206672
616D65776F726B20616C726561647920
70726F766964657320612066756E6374
696F6E20746F20636F70792061727261
790A202020202020656C656D656E7473
2E220A0A7465726D20626C69740A7468
6D20626C69745F72756C650A74686D20
626C69742E73696D70730A2020282A20
53616D6520617272617920424C495420
2A290A646566696E6974696F6E202273
626C6974206120732064206C205C3C65
717569763E20626C6974206120732061
2064206C220A0A746578742022576865
6E20636F7079696E672076616C756573
2077697468696E206172726179732C0A
202020202020626C6974206F6E6C7920
776F726B7320666F72206D6F76696E67
20656C656D656E747320746F20746865
206C6566742E220A0A6C656D6D612073
626C69745F72756C655B7365705F6865
61705F72756C65735D3A0A2020617373
756D6573204C454E3A0A202020202273
692B6C656E205C3C6C653E206C656E67
7468206C737263220A20202020616E64
204453545F534D3A20226469205C3C6C
653E207369220A202073686F77730A20
202020223C20737263205C3C6D617073
746F3E5C3C5E7375623E61206C737263
20203E0A2020202073626C6974207372
63207369206469206C656E0A20202020
3C5C3C6C616D6264613E5F2E20737263
205C3C6D617073746F3E5C3C5E737562
3E61202874616B65206469206C737263
20402074616B65206C656E202864726F
70207369206C7372632920402064726F
70202864692B6C656E29206C73726329
0A202020203E220A2020756E666F6C64
696E672073626C69745F6465660A2020
7573696E67204C454E204453545F534D
0A70726F6F662028696E64756374696F
6E206C656E206172626974726172793A
206C737263207369206469290A202063
61736520302074687573203F63617365
206279207365705F6175746F0A6E6578
740A2020636173652028537563206C65
6E29200A20206E6F7465205B7365705F
686561705F72756C65735D203D205375
632E49482020202020200A0A20206861
7665205B73696D705D3A20225C3C416E
643E782E206C73726320212073692023
2074616B65206C656E202864726F7020
2853756320736929206C737263292040
20780A2020202020203D2074616B6520
28537563206C656E29202864726F7020
7369206C7372632920402078220A2020
20206170706C792073696D700A202020
20627920286D65746973205375632E70
72656D73283129206164645F5375635F
726967687420436F6E735F6E74685F64
726F705F5375630A2020202020202020
6C6573735F5375635F65715F6C652061
64642E636F6D6D757465206E6F745F6C
6573735F65712074616B655F5375635F
436F6E73200A20202020202020204E61
742E7472616E735F6C655F6164643229
0A0A202066726F6D205375632E707265
6D732073686F77203F636173650A2020
2020627920287365705F6175746F2073
696D703A2074616B655F757064617465
5F6C6173742064726F705F7570645F69
7272656C6576616E74290A7165640A0A
73756273656374696F6E202241207265
766572736520626C6974220A0A746578
7420225468652066756E6374696F6E20
72626C6974206D617920626520757365
6420746F20636F707920656C656D656E
7473206120646566696E6564206F6666
73657420746F20746865207269676874
220A0A282A20526967687420424C4954
206F72205265766572736520424C4954
202A290A7072696D7265632072626C69
74203A3A20225F206172726179205C3C
52696768746172726F773E206E617420
5C3C52696768746172726F773E205F20
6172726179205C3C5269676874617272
6F773E206E6174205C3C526967687461
72726F773E206E6174205C3C52696768
746172726F773E20756E697420486561
70222077686572650A20202272626C69
74205F205F205F205F2030203D207265
7475726E202829220A7C202272626C69
74207372632073692064737420646920
28537563206C29203D20646F207B0A20
202020202078205C3C6C656674617272
6F773E2041727261792E6E7468207372
63202873692B6C293B0A202020202020
41727261792E757064202864692B6C29
2078206473743B0A2020202020207262
6C697420737263207369206473742064
69206C0A202020207D220A0A74657874
2022466F722073657061726174656420
61727261797320697420697320657175
6976616C656E7420746F206E6F726D61
6C20626C69742E0A2020202020205468
652070726F6F6620666F6C6C6F777320
73696D696C61726C7920746F20746865
20636F72726573706F6E64696E672070
726F6F6620666F7220626C69742E220A
0A6C656D6D612072626C69745F72756C
655B7365705F686561705F72756C6573
5D3A0A2020617373756D6573204C454E
3A202273692B6C656E205C3C6C653E20
6C656E677468206C7372632220226469
2B6C656E205C3C6C653E206C656E6774
68206C647374220A202073686F77730A
20202020223C20737263205C3C6D6170
73746F3E5C3C5E7375623E61206C7372
63200A2020202020202A20647374205C
3C6D617073746F3E5C3C5E7375623E61
206C647374203E0A2020202072626C69
74207372632073692064737420646920
6C656E0A202020203C5C3C6C616D6264
613E5F2E20737263205C3C6D61707374
6F3E5C3C5E7375623E61206C73726320
0A2020202020202A20647374205C3C6D
617073746F3E5C3C5E7375623E612028
74616B65206469206C64737420402074
616B65206C656E202864726F70207369
206C7372632920402064726F70202864
692B6C656E29206C647374290A202020
203E220A20207573696E67204C454E0A
70726F6F662028696E64756374696F6E
206C656E206172626974726172793A20
6C647374290A20206361736520302074
687573203F6361736520627920736570
5F6175746F0A6E6578740A2020636173
652028537563206C656E29200A20206E
6F7465205B7365705F686561705F7275
6C65735D203D205375632E49480A0A20
2068617665205B73696D705D3A202264
726F7020286469202B206C656E292028
6C6473745B6469202B206C656E203A3D
206C737263202120287369202B206C65
6E295D290A2020202020203D206C7372
63202120287369202B206C656E292023
202064726F7020285375632028646920
2B206C656E2929206C647374220A2020
2020627920286D6574697320436F6E73
5F6E74685F64726F705F537563205375
632E7072656D73283229205375635F6C
655F6571206164645F5375635F726967
68742064726F705F7570645F69727265
6C6576616E74206C656E6774685F6C69
73745F757064617465206C6573734920
6E74685F6C6973745F7570646174655F
6571290A0A202068617665202274616B
65206C656E202864726F70207369206C
737263292040205B6C73726320212028
7369202B206C656E295D203D2074616B
652028537563206C656E29202864726F
70207369206C73726329220A20207072
6F6F66202D0A20202020686176652022
6C656E203C206C656E67746820286472
6F70207369206C73726329220A202020
2020207573696E67205375632E707265
6D7328312920627920666F7263650A20
2020207468656E2073686F7720227461
6B65206C656E202864726F7020736920
6C737263292040205B6C737263202120
287369202B206C656E295D203D207461
6B652028537563206C656E2920286472
6F70207369206C73726329220A202020
202020627920286D6574697320286E6F
5F747970657329205375632E7072656D
73283129206164645F6C654431206E74
685F64726F702074616B655F5375635F
636F6E765F6170705F6E7468290A2020
7165640A20207468656E206861766520
5B73696D705D3A20225C3C416E643E78
2E2074616B65206C656E202864726F70
207369206C7372632920400A20202020
206C737263202120287369202B206C65
6E2920232078203D2074616B65202853
7563206C656E29202864726F70207369
206C7372632920402078220A20202020
62792073696D700A202066726F6D2053
75632E7072656D732073686F77203F63
6173650A20202020627920287365705F
6175746F2073696D703A206C6973745F
7570646174655F6265796F6E64207461
6B655F7570646174655F6C6173742064
726F705F7570645F697272656C657661
6E74290A7165640A0A646566696E6974
696F6E20227372626C69742061207320
64206C205C3C65717569763E2072626C
69742061207320612064206C220A0A74
6578742022486F77657665722C207769
7468696E206172726179732077652063
616E206E6F7720636F707920746F2074
68652072696768742E220A0A6C656D6D
61207372626C69745F72756C655B7365
705F686561705F72756C65735D3A0A20
20617373756D6573204C454E3A0A2020
20202264692B6C656E205C3C6C653E20
6C656E677468206C737263220A202020
20616E64204453545F47523A20226469
205C3C67653E207369220A202073686F
77730A20202020223C20737263205C3C
6D617073746F3E5C3C5E7375623E6120
6C73726320203E0A202020207372626C
697420737263207369206469206C656E
...

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