Quelle  proof.ml   Sprache: unbekannt

282A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A290A282A202020
2020202020202A202020202020546865
20526F63712050726F766572202F2054
686520526F637120446576656C6F706D
656E74205465616D2020202020202020
2020202A290A282A2020762020202020
202A202020202020202020436F707972
6967687420494E5249412C20434E5253
20616E6420636F6E7472696275746F72
73202020202020202020202020202A29
0A282A203C4F5F5F5F2C2C202A202873
65652076657273696F6E20636F6E7472
6F6C20616E6420435245444954532066
696C6520666F7220617574686F727320
2620646174657329202A290A282A2020
205C56562F20202A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A290A282A202020202F2F20
20202A20202020546869732066696C65
20697320646973747269627574656420
756E64657220746865207465726D7320
6F66207468652020202020202020202A
290A282A2020202020202020202A2020
202020474E55204C6573736572204765
6E6572616C205075626C6963204C6963
656E73652056657273696F6E20322E31
202020202020202020202A290A282A20
20202020202020202A20202020202873
6565204C4943454E53452066696C6520
666F72207468652074657874206F6620
746865206C6963656E73652920202020
20202020202A290A282A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A2A
2A290A0A282A204D6F64756C65206465
66696E696E6720746865206C61737420
657373656E7469616C2074696C657320
6F6620696E7465726163746976652070
726F6F66732E0A202020412070726F6F
66206465616C73207769746820746865
20666F637573696E6720636F6D6D616E
64732028696E636C7564696E67207468
652062726163657320616E642062756C
6C657473292C0A202020746865207368
656C66202873656520746865205B7368
656C76655D207461637469632920616E
6420676976656E20757020676F616C20
2873656520746865205B676976655F75
705D0A202020746163746963292E2041
2070726F6F66206973206D616465206F
662074686520666F6C6C6F77696E673A
0A2020202D2050726F6F66766965773A
20612070726F6F66206973207072696D
6172696C79207468652064617461206F
66207468652063757272656E74207669
65772E0A202020202054686174207768
6963682069732073686F776E20746F20
74686520757365722028617320612072
656D61696E6465722C20612070726F6F
66766965770A20202020206973206D61
696E6C7920746865206C6F676963616C
207374617465206F6620746865207072
6F6F662C20746F676574686572207769
7468207468650A202020202063757272
656E746C7920666F637573656420676F
616C73292E0A2020202D20466F637573
3A20612070726F6F6620686173206120
666F63757320737461636B3A20746865
20746F70206F66207468652073746163
6B20636F6E7461696E730A2020202020
74686520636F6E7465787420696E2077
6869636820746F20756E666F63757320
7468652063757272656E742076696577
20746F2061207669657720666F637573
65640A20202020207769746820746865
2072657374206F662074686520737461
636B2E0A2020202020496E2061646469
74696F6E2C207468697320636F6E7461
696E732C20666F722065616368206F66
2074686520666F63757320636F6E7465
78742C2020610A202020202022666F63
7573206B696E642220616E6420612022
666F63757320636F6E646974696F6E22
2028696E2070726163746963652C2061
6E6420666F72206D6F64756C61726974
792C0A202020202074686520666F6375
73206B696E642069732061637475616C
6C792073746F72656420696E73696465
2074686520636F6E646974696F6E292E
20546F20756E666F6375732C206F6E65
0A20202020206E6565647320746F206B
6E6F772074686520666F637573206B69
6E642C20616E642074686520636F6E64
6974696F6E2028666F7220696E737461
6E636520226E6F20636F6E646974696F
6E22206F720A20202020207468652070
726F6F6620756E64657220666F637573
6564206D75737420626520636F6D706C
65746529206D757374206265206D6574
2E0A2020202D20476976656E20757020
676F616C733A206173206C6F6E672061
73207468657265206973206120676976
656E20757020676F616C2C2074686520
70726F6F66206973206E6F7420636F6D
706C657465642E0A2020202020476976
656E20757020676F616C732063616E6E
6F74206265207265747269657665642C
207468652075736572206D7573742067
6F206261636B20776865726520746865
207461637469630A20202020205B6769
76655F75705D207761732072756E2061
6E6420736F6C76652074686520676F61
6C2074686572652E0A2A290A0A6F7065
6E205574696C0A0A6D6F64756C652046
6F6375734B696E64203D2044796E2E4D
616B6528290A0A747970652027612066
6F6375735F6B696E64203D2027612046
6F6375734B696E642E7461670A747970
6520726561736F6E203D204E6F745468
6973576179207C20416C72656164794E
6F466F6375730A7479706520756E666F
63757361626C65203D0A20207C204361
6E6E6F74206F6620726561736F6E0A20
207C204C6F6F73650A20207C20537472
6963740A7479706520276120666F6375
735F636F6E646974696F6E203D0A2020
7C20436F6E644E6F202020202020206F
6620626F6F6C202A20276120666F6375
735F6B696E640A20207C20436F6E6444
6F6E6520202020206F6620626F6F6C20
2A20276120666F6375735F6B696E640A
20207C20436F6E64456E64537461636B
206F662020202020202020276120666F
6375735F6B696E6420282A206C6F6F73
655F656E642069732066616C73652068
657265202A290A0A6C6574206E65775F
666F6375735F6B696E64203D20466F63
75734B696E642E6372656174650A0A28
2A20546F20626520617574686F72697A
656420746F20756E666F637573206F6E
65206D757374206D6565742074686520
636F6E646974696F6E20707265736372
696265642062790A2020202074686520
616374696F6E20776869636820666F63
757365642E2A290A282A207370697761
636B3A20776520636F756C6420636F6E
736964657220686176696E672061206C
697374206F6620617574686F72697A65
6420666F6375735F6B696E6420696E73
746561640A202020206F66206A757374
206F6E652C20696620616E796F6E6520
6E65656473206974202A290A0A657863
657074696F6E2043616E6E6F74556E66
6F637573546869735761790A0A282A20
43616E6E6F7420666F637573206F6E20
6E6F6E2D6578697374696E6720737562
676F616C73202A290A65786365707469
6F6E204E6F53756368476F616C73206F
6620696E74202A20696E740A0A657863
657074696F6E204E6F53756368476F61
6C206F66204E616D65732E49642E7420
6F7074696F6E0A0A657863657074696F
6E2046756C6C79556E666F6375736564
0A0A6C6574205F203D20434572726F72
732E72656769737465725F68616E646C
657220626567696E2066756E6374696F
6E0A20207C2043616E6E6F74556E666F
63757354686973576179202D3E0A2020
2020536F6D65202850702E7374722022
546869732070726F6F6620697320666F
63757365642C206275742063616E6E6F
7420626520756E666F63757365642074
6869732077617922290A20207C204E6F
53756368476F616C732028692C6A2920
7768656E20496E742E657175616C2069
206A202D3E0A20202020536F6D652050
702E2873747220225B466F6375735D20
4E6F207375636820676F616C20282220
2B2B20696E742069202B2B2073747222
292E22290A20207C204E6F5375636847
6F616C732028692C6A29202D3E0A2020
2020536F6D652050702E287374722022
5B466F6375735D204E6F742065766572
7920676F616C20696E2072616E676520
5B222B2B20696E742069202B2B207374
72222C222B2B696E74206A2B2B737472
225D2065786973742E22290A20207C20
4E6F53756368476F616C2028536F6D65
20696429202D3E0A20202020536F6D65
2050702E2873747220225B466F637573
5D204E6F207375636820676F616C3A20
22202B2B2073747220284E616D65732E
49642E746F5F737472696E6720696429
202B2B2073747220222E22290A20207C
204E6F53756368476F616C204E6F6E65
202D3E0A20202020536F6D652050702E
2873747220225B466F6375735D204E6F
207375636820676F616C2E22290A2020
7C2046756C6C79556E666F6375736564
202D3E0A20202020536F6D6520285070
2E73747220225468652070726F6F6620
6973206E6F7420666F63757365642229
0A20207C205F202D3E204E6F6E650A65
6E640A0A6C657420636865636B5F636F
6E645F6B696E642063206B203D0A2020
6C6574206B696E645F6F665F636F6E64
203D2066756E6374696F6E0A20202020
7C20436F6E644E6F20285F2C6B29207C
20436F6E64446F6E65285F2C6B29207C
20436F6E64456E64537461636B206B20
2D3E206B20696E0A2020466F6375734B
696E642E657120286B696E645F6F665F
636F6E64206329206B0A0A6C65742065
7175616C5F6B696E642063206B203D20
6D6174636820466F6375734B696E642E
65712063206B20776974680A7C204E6F
6E65202D3E2066616C73650A7C20536F
6D65205F202D3E20747275650A0A6C65
7420746573745F636F6E642063206B31
207077203D0A20206D61746368206320
776974680A20207C20436F6E644E6F28
5F2C20202020206B29207768656E2065
7175616C5F6B696E64206B206B31202D
3E205374726963740A20207C20436F6E
644E6F28747275652C20205F29202020
202020202020202020202D3E204C6F6F
73650A20207C20436F6E644E6F286661
6C73652C205F29202020202020202020
202020202D3E2043616E6E6F74204E6F
74546869735761790A20207C20436F6E
64446F6E65285F2C20202020206B2920
7768656E20657175616C5F6B696E6420
6B206B312026262050726F6F66766965
772E66696E6973686564207077202D3E
205374726963740A20207C20436F6E64
446F6E6528747275652C20205F292020
20202020202020202020202020202020
20202020202020202020202020202020
202020202D3E204C6F6F73650A20207C
20436F6E64446F6E652866616C73652C
205F2920202020202020202020202020
20202020202020202020202020202020
2020202020202020202D3E2043616E6E
6F74204E6F74546869735761790A2020
7C20436F6E64456E64537461636B206B
207768656E20657175616C5F6B696E64
206B206B31202D3E205374726963740A
20207C20436F6E64456E64537461636B
...

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