Quelle  Constrains.thy   Sprache: unbekannt

282A20205469746C653A202020202020
5A462F554E4954592F436F6E73747261
696E732E7468790A2020202041757468
6F723A202020202053696469204F2045
686D6574792C20436F6D707574657220
4C61626F7261746F72790A2020202043
6F707972696768742020203230303120
20556E6976657273697479206F662043
616D6272696467650A2A290A0A736563
74696F6E5C3C6F70656E3E5765616B20
5361666574792050726F706572746965
735C3C636C6F73653E0A0A7468656F72
7920436F6E73747261696E730A696D70
6F72747320554E4954590A626567696E
0A0A636F6E7374732074726163657320
3A3A20225B692C20695D205C3C526967
68746172726F773E2069220A2020282A
20496E697469616C2073746174657320
616E642070726F6772616D205C3C5269
6768746172726F773E202866696E616C
2073746174652C207265766572736564
20747261636520746F206974292E2E2E
200A20202020202074686520646F6D61
696E206D617920616C736F2062652073
746174652A6C69737428737461746529
202A290A696E64756374697665200A20
20646F6D61696E73200A202020202022
74726163657328696E69742C20616374
732922203C3D0A202020202020202020
2228696E6974205C3C756E696F6E3E20
285C3C556E696F6E3E6163745C3C696E
3E616374732E206669656C6428616374
2929292A6C697374285C3C556E696F6E
3E6163745C3C696E3E616374732E2066
69656C64286163742929220A2020696E
74726F73200A20202020202020202028
2A496E697469616C2074726163652069
7320656D7074792A290A20202020496E
69743A2022733A20696E6974205C3C4C
6F6E6772696768746172726F773E203C
732C5B5D3E205C3C696E3E2074726163
657328696E69742C6163747329220A0A
20202020416374733A20225C3C6C6272
616B6B3E6163743A616374733B20205C
3C6C616E676C653E732C6576735C3C72
616E676C653E205C3C696E3E20747261
63657328696E69742C61637473293B20
203C732C73273E3A206163745C3C7262
72616B6B3E0A20202020202020202020
205C3C4C6F6E6772696768746172726F
773E203C73272C20436F6E7328732C65
7673293E205C3C696E3E207472616365
7328696E69742C206163747329220A20
200A2020747970655F696E74726F7320
6C6973742E696E74726F7320556E4931
20556E493220554E5F49206669656C64
4932206669656C6449310A0A0A636F6E
73747320726561636861626C65203A3A
2022695C3C52696768746172726F773E
69220A696E647563746976650A202064
6F6D61696E730A202022726561636861
626C6528462922205C3C737562736574
65713E2022496E6974284629205C3C75
6E696F6E3E20285C3C556E696F6E3E61
63745C3C696E3E416374732846292E20
6669656C64286163742929220A202069
6E74726F73200A20202020496E69743A
2022733A496E6974284629205C3C4C6F
6E6772696768746172726F773E20733A
726561636861626C65284629220A0A20
202020416374733A20225C3C6C627261
6B6B3E6163743A20416374732846293B
2020733A726561636861626C65284629
3B20203C732C73273E3A206163745C3C
726272616B6B3E0A2020202020202020
2020205C3C4C6F6E6772696768746172
726F773E2073273A726561636861626C
65284629220A0A2020747970655F696E
74726F7320556E493120556E49322066
69656C64493220554E5F490A0A20200A
646566696E6974696F6E0A2020436F6E
73747261696E73203A3A20225B692C69
5D205C3C52696768746172726F773E20
6922202028696E6669786C205C3C6F70
656E3E436F5C3C636C6F73653E203630
29202077686572650A2020224120436F
2042205C3C65717569763E207B463A70
726F6772616D2E20463A287265616368
61626C65284629205C3C696E7465723E
20412920636F20427D220A0A64656669
6E6974696F6E0A20206F705F556E6C65
737320203A3A20225B692C20695D205C
3C52696768746172726F773E20692220
2028696E6669786C205C3C6F70656E3E
556E6C6573735C3C636C6F73653E2036
3029202077686572650A202022412055
6E6C6573732042205C3C65717569763E
2028412D422920436F202841205C3C75
6E696F6E3E204229220A0A646566696E
6974696F6E0A2020537461626C652020
2020203A3A202269205C3C5269676874
6172726F773E20692220207768657265
0A202022537461626C65284129205C3C
65717569763E204120436F2041220A0A
646566696E6974696F6E0A2020282A41
6C776179732069732074686520776561
6B20666F726D206F662022696E766172
69616E74222A290A2020416C77617973
203A3A202269205C3C52696768746172
726F773E206922202077686572650A20
2022416C77617973284129205C3C6571
7569763E20696E697469616C6C792841
29205C3C696E7465723E20537461626C
65284129220A0A0A282A2A2A20747261
63657320616E6420726561636861626C
65202A2A2A290A0A6C656D6D61207265
61636861626C655F747970653A202272
6561636861626C65284629205C3C7375
6273657465713E207374617465220A61
70706C7920286375745F746163204620
3D204620696E20496E69745F74797065
290A6170706C7920286375745F746163
2046203D204620696E20416374735F74
797065290A6170706C7920286375745F
7461632046203D204620696E20726561
636861626C652E646F6D5F7375627365
742C20626C617374290A646F6E650A0A
6C656D6D612073745F7365745F726561
636861626C653A202273745F73657428
726561636861626C6528462929220A20
20756E666F6C64696E672073745F7365
745F6465660A6170706C79202872756C
6520726561636861626C655F74797065
290A646F6E650A6465636C6172652073
745F7365745F726561636861626C6520
5B6966665D0A0A6C656D6D6120726561
636861626C655F496E745F7374617465
3A2022726561636861626C6528462920
5C3C696E7465723E207374617465203D
20726561636861626C65284629220A62
7920286375745F746163207265616368
61626C655F747970652C206175746F29
0A6465636C6172652072656163686162
6C655F496E745F7374617465205B6966
665D0A0A6C656D6D612073746174655F
496E745F726561636861626C653A2022
7374617465205C3C696E7465723E2072
6561636861626C65284629203D207265
61636861626C65284629220A62792028
6375745F74616320726561636861626C
655F747970652C206175746F290A6465
636C6172652073746174655F496E745F
726561636861626C65205B6966665D0A
0A6C656D6D6120726561636861626C65
5F65717569765F7472616365733A200A
2246205C3C696E3E2070726F6772616D
205C3C4C6F6E6772696768746172726F
773E20726561636861626C652846293D
7B73205C3C696E3E2073746174652E20
5C3C6578697374733E6576732E205C3C
6C616E676C653E732C6576735C3C7261
6E676C653E3A74726163657328496E69
742846292C2041637473284629297D22
0A6170706C79202872756C6520657175
616C697479492C2073616665290A6170
706C792028626C61737420646573743A
20726561636861626C655F7479706520
5B5448454E20737562736574445D290A
6170706C7920286572756C655F746163
205B325D207472616365732E696E6475
6374290A6170706C7920286572756C65
20726561636861626C652E696E647563
74290A6170706C792028626C61737420
696E74726F3A20726561636861626C65
2E696E74726F73207472616365732E69
6E74726F73292B0A646F6E650A0A6C65
6D6D6120496E69745F696E746F5F7265
61636861626C653A2022496E69742846
29205C3C73756273657465713E207265
61636861626C65284629220A62792028
626C61737420696E74726F3A20726561
636861626C652E696E74726F73290A0A
6C656D6D6120737461626C655F726561
636861626C653A20225C3C6C6272616B
6B3E46205C3C696E3E2070726F677261
6D3B2047205C3C696E3E2070726F6772
616D3B20200A20202020416374732847
29205C3C73756273657465713E204163
74732846295C3C726272616B6B3E205C
3C4C6F6E6772696768746172726F773E
2047205C3C696E3E20737461626C6528
726561636861626C6528462929220A61
70706C792028626C61737420696E7472
6F3A20737461626C654920636F6E7374
7261696E73492073745F736574490A20
20202020202020202020202072656163
6861626C655F74797065205B5448454E
20737562736574445D20726561636861
626C652E696E74726F73290A646F6E65
0A0A6465636C61726520737461626C65
5F726561636861626C65205B696E7472
6F215D0A6465636C6172652073746162
6C655F726561636861626C65205B7369
6D705D0A0A282A54686520736574206F
6620616C6C20726561636861626C6520
73746174657320697320616E20696E76
617269616E742E2E2E2A290A6C656D6D
6120696E76617269616E745F72656163
6861626C653A200A2020202246205C3C
696E3E2070726F6772616D205C3C4C6F
6E6772696768746172726F773E204620
5C3C696E3E20696E76617269616E7428
726561636861626C6528462929220A20
20756E666F6C64696E6720696E766172
69616E745F64656620696E697469616C
6C795F6465660A6170706C792028626C
61737420696E74726F3A207265616368
61626C655F74797065205B5448454E20
737562736574445D2072656163686162
6C652E696E74726F73290A646F6E650A
0A282A2E2E2E696E2066616374207468
65207374726F6E6765737420696E7661
7269616E74212A290A6C656D6D612069
6E76617269616E745F696E636C756465
735F726561636861626C653A20224620
5C3C696E3E20696E76617269616E7428
4129205C3C4C6F6E6772696768746172
726F773E20726561636861626C652846
29205C3C73756273657465713E204122
0A6170706C7920286375745F74616320
46203D204620696E20416374735F7479
7065290A6170706C7920286375745F74
61632046203D204620696E20496E6974
5F74797065290A6170706C7920286375
745F7461632046203D204620696E2072
6561636861626C655F74797065290A61
70706C79202873696D7020286E6F5F61
736D5F75736529206164643A20737461
626C655F64656620636F6E7374726169
6E735F64656620696E76617269616E74
5F64656620696E697469616C6C795F64
6566290A6170706C79202872756C6520
73756273657449290A6170706C792028
6572756C6520726561636861626C652E
696E64756374290A6170706C79202862
6C61737420696E74726F3A2072656163
6861626C652E696E74726F73292B0A64
6F6E650A0A282A2A2A20436F202A2A2A
290A0A6C656D6D6120636F6E73747261
696E735F726561636861626C655F496E
743A202246205C3C696E3E204220636F
2042275C3C4C6F6E6772696768746172
726F773E463A28726561636861626C65
284629205C3C696E7465723E20422920
636F2028726561636861626C65284629
205C3C696E7465723E20422729220A61
...

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