Quelle  Circus_Actions.thy   Sprache: unbekannt

73656374696F6E205C3C6F70656E3E43
697263757320616374696F6E735C3C63
6C6F73653E0A0A7468656F7279204369
726375735F416374696F6E730A696D70
6F72747320484F4C4346204353505F50
726F6365737365730A626567696E0A0A
74657874205C3C6F70656E3E496E2074
6869732073656374696F6E2C20776520
696E74726F6475636520646566696E69
74696F6E7320666F7220436972637573
20616374696F6E732077697468200A73
6F6D652075736566756C207468656F72
656D7320616E64206C656D6D61732E5C
3C636C6F73653E0A0A64656661756C74
5F736F727420747970650A0A73756273
656374696F6E205C3C6F70656E3E4465
66696E6974696F6E735C3C636C6F7365
3E0A0A74657874205C3C6F70656E3E54
68652043697263757320616374696F6E
73207479706520697320646566696E65
642061732074686520736574206F6620
616C6C2074686520435350206865616C
7468792072656163746976652070726F
6365737365732E5C3C636C6F73653E0A
0A747970656465662028275C3C746865
74613E3A3A2265765F6571222C275C3C
7369676D613E29202022616374696F6E
22203D20227B703A3A28275C3C746865
74613E2C275C3C7369676D613E292072
656C6174696F6E5F72702E2069735F43
53505F70726F6365737320707D220A20
2020206D6F72706869736D732072656C
6174696F6E5F6F6620616374696F6E5F
6F660A70726F6F66202D0A2020206861
7665202252202866616C7365205C3C74
75726E7374696C653E20747275652920
5C3C696E3E207B70203A3A2028275C3C
74686574613E2C275C3C7369676D613E
292072656C6174696F6E5F72702E2069
735F4353505F70726F6365737320707D
220A2020202020202020627920286175
746F20696E74726F3A2072645F69735F
435350290A20202074687573203F7468
65736973206279206175746F0A716564
0A0A7072696E745F7468656F72656D73
0A0A74657874205C3C6F70656E3E5468
6520747970652D646566696E6974696F
6E20696E74726F64756365732061206E
65772074797065206279207374617469
6E672061207365742E20496E206F7572
20636173652C200A2069742069732074
686520736574206F6620726561637469
76652070726F63657373657320746861
74207361746973667920746865206865
616C7468696E6573732D636F6E646974
696F6E730A20666F72204353502D7072
6F6365737365732C2069736F6D6F7270
68696320746F20746865206E65772074
7970652E0A20546563686E6963616C6C
792C207468697320636F6E7374727563
7420696E74726F64756365732074776F
20636F6E7374616E747320286D6F7270
6869736D732920646566696E6974696F
6E73202472656C6174696F6E5C5F6F66
240A20616E642024616374696F6E5C5F
6F66242061732077656C6C2061732074
686520757375616C206178696F6D7320
65787072657373696E67207468652062
696A656374696F6E20407B74686D2072
656C6174696F6E5F6F665F696E766572
73657D0A20616E6420407B74686D2061
6374696F6E5F6F665F696E7665727365
7D2E5C3C636C6F73653E0A0A6C656D6D
612072656C6174696F6E5F6F665F4353
503A202269735F4353505F70726F6365
7373202872656C6174696F6E5F6F6620
7829220A70726F6F66202D0A68617665
20222872656C6174696F6E5F6F662078
29203A7B702E2069735F4353505F7072
6F6365737320707D2220627920287275
6C652072656C6174696F6E5F6F66290A
7468656E2073686F77202269735F4353
505F70726F63657373202872656C6174
696F6E5F6F6620782922202E2E0A7165
640A0A6C656D6D612072656C6174696F
6E5F6F665F435350313A20222872656C
6174696F6E5F6F662078292069732043
535031206865616C746879220A627920
2872756C65204353505F69735F435350
315B4F462072656C6174696F6E5F6F66
5F4353505D290A0A6C656D6D61207265
6C6174696F6E5F6F665F435350323A20
222872656C6174696F6E5F6F66207829
2069732043535032206865616C746879
220A6279202872756C65204353505F69
735F435350325B4F462072656C617469
6F6E5F6F665F4353505D290A0A6C656D
6D612072656C6174696F6E5F6F665F52
3A20222872656C6174696F6E5F6F6620
78292069732052206865616C74687922
0A6279202872756C65204353505F6973
5F525B4F462072656C6174696F6E5F6F
665F4353505D290A0A73756273656374
696F6E205C3C6F70656E3E50726F6F66
735C3C636C6F73653E0A0A7465787420
5C3C6F70656E3E496E2074686520666F
6C6C6F77696E672C2043697263757320
616374696F6E73206172652070726F76
656420746F20626520616E20696E7374
616E6365206F66207468652024436F6D
706C6574655C5F4C6174746963652420
636C6173732E5C3C636C6F73653E0A0A
6C656D6D612072656C6174696F6E5F6F
665F737065635F665F663A200A225C3C
666F72616C6C3E6120622E202872656C
6174696F6E5F6F662079205C3C6C6F6E
6772696768746172726F773E2072656C
6174696F6E5F6F662078292028612C20
6229205C3C4C6F6E6772696768746172
726F773E0A2020202020202020202020
2872656C6174696F6E5F6F662079295C
3C5E7375703E665C3C5E7375623E6620
28615C3C6C706172723E7472203A3D20
5B5D5C3C72706172723E2C206229205C
3C4C6F6E6772696768746172726F773E
0A202020202020202020202020202020
202020202020202872656C6174696F6E
5F6F662078295C3C5E7375703E665C3C
5E7375623E662028615C3C6C70617272
3E7472203A3D205B5D5C3C7270617272
3E2C206229220A627920286175746F20
73696D703A20737065635F646566290A
0A6C656D6D612072656C6174696F6E5F
6F665F737065635F745F663A200A225C
3C666F72616C6C3E6120622E20287265
6C6174696F6E5F6F662079205C3C6C6F
6E6772696768746172726F773E207265
6C6174696F6E5F6F662078292028612C
206229205C3C4C6F6E67726967687461
72726F773E0A20202020202020202020
202872656C6174696F6E5F6F66207929
5C3C5E7375703E745C3C5E7375623E66
2028615C3C6C706172723E7472203A3D
205B5D5C3C72706172723E2C20622920
5C3C4C6F6E6772696768746172726F77
3E0A2020202020202020202020202020
202020202020202872656C6174696F6E
5F6F662078295C3C5E7375703E745C3C
5E7375623E662028615C3C6C70617272
3E7472203A3D205B5D5C3C7270617272
3E2C206229220A627920286175746F20
73696D703A20737065635F646566290A
0A696E7374616E74696174696F6E2022
616374696F6E223A3A2865765F65712C
2074797065292062656C6F770A626567
696E0A646566696E6974696F6E207265
665F646566203A202250205C3C737173
756273657465713E2051205C3C657175
69763E205B2872656C6174696F6E5F6F
66205129205C3C6C6F6E677269676874
6172726F773E202872656C6174696F6E
5F6F662050295D220A696E7374616E63
65202E2E0A656E640A0A696E7374616E
63652022616374696F6E22203A3A2028
65765F65712C20747970652920706F0A
70726F6F660A20206669782078207920
7A3A3A222827612C2027622920616374
696F6E220A20207B0A2020202073686F
77202278205C3C737173756273657465
713E207822206279202873696D702061
64643A207265665F646566207574705F
64656673290A20206E6578740A202020
20617373756D65202278205C3C737173
756273657465713E20792220616E6420
2279205C3C737173756273657465713E
207A22207468656E2073686F77202220
78205C3C737173756273657465713E20
7A220A2020202020206279202873696D
70206164643A207265665F6465662075
74705F64656673290A20206E6578740A
20202020617373756D6520413A227820
5C3C737173756273657465713E207922
20616E6420423A2279205C3C73717375
6273657465713E207822207468656E20
73686F7720222078203D2079220A2020
20202020627920286175746F2073696D
70206164643A207265665F6465662072
656C6174696F6E5F6F665F696E6A6563
745B73796D6D65747269635D2066756E
5F65715F696666290A20207D0A716564
0A0A696E7374616E74696174696F6E20
22616374696F6E2220203A3A20202865
765F65712C207479706529206C617474
6963650A626567696E0A0A646566696E
6974696F6E20696E665F616374696F6E
203A202228696E6620502051205C3C65
717569763E20616374696F6E5F6F6620
282872656C6174696F6E5F6F66205029
205C3C7371696E7465723E202872656C
6174696F6E5F6F662051292929220A64
6566696E6974696F6E207375705F6163
74696F6E203A20222873757020502051
205C3C65717569763E20616374696F6E
5F6F6620282872656C6174696F6E5F6F
66205029205C3C7371756E696F6E3E20
2872656C6174696F6E5F6F6620512929
29220A646566696E6974696F6E206C65
73735F65715F616374696F6E203A2022
286C6573735F65712028503A3A282761
2C2027622920616374696F6E29205120
5C3C65717569763E2050205C3C737173
756273657465713E205129220A646566
696E6974696F6E206C6573735F616374
696F6E203A2022286C6573732028503A
3A2827612C2027622920616374696F6E
292051205C3C65717569763E2050205C
3C737173756273657465713E2051205C
3C616E643E205C3C6E6F743E2051205C
3C737173756273657465713E20502922
0A0A696E7374616E6365200A70726F6F
660A202066697820782079207A3A3A22
2827612C2027622920616374696F6E22
0A20207B0A2020202073686F77202228
78203C207929203D202878205C3C6C65
3E2079205C3C616E643E205C3C6E6F74
3E2079205C3C6C653E207829220A2020
202020206279202873696D7020616464
3A206C6573735F616374696F6E206C65
73735F65715F616374696F6E290A2020
6E6578740A2020202073686F77202228
78205C3C6C653E207829222062792028
73696D70206164643A206C6573735F65
715F616374696F6E290A20206E657874
0A20202020617373756D65202278205C
3C6C653E20792220616E64202279205C
3C6C653E207A22200A20202020746865
6E2073686F7720222078205C3C6C653E
207A220A202020202020627920287369
6D70206164643A206C6573735F65715F
616374696F6E207265665F6465662075
74705F64656673290A20206E6578740A
20202020617373756D65202278205C3C
6C653E20792220616E64202279205C3C
6C653E2078220A202020207468656E20
73686F7720222078203D2079220A2020
20202020627920286175746F2073696D
70206164643A206C6573735F65715F61
6374696F6E207265665F646566207265
6C6174696F6E5F6F665F696E6A656374
5B73796D6D65747269635D207574705F
64656673290A20206E6578740A202020
2073686F772022696E6620782079205C
3C6C653E2078220A2020202020206170
706C7920286175746F2073696D702061
64643A206C6573735F65715F61637469
6F6E20696E665F616374696F6E207265
...

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