Quelle  Binary_Tree.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F4D657469735F4578616D706C
65732F42696E6172795F547265652E74
68790A20202020417574686F723A2020
2020204C617772656E636520432E2050
61756C736F6E2C2043616D6272696467
6520556E697665727369747920436F6D
7075746572204C61626F7261746F7279
0A20202020417574686F723A20202020
204A61736D696E20426C616E63686574
74652C205455204D75656E6368656E0A
0A4D65746973206578616D706C652066
6561747572696E672062696E61727920
74726565732E0A2A290A0A7365637469
6F6E205C3C6F70656E3E4D6574697320
4578616D706C6520466561747572696E
672042696E6172792054726565735C3C
636C6F73653E0A0A7468656F72792042
696E6172795F547265650A696D706F72
7473204D61696E0A626567696E0A0A64
65636C617265205B5B6D657469735F6E
65775F736B6F6C656D5D5D0A0A646174
6174797065202761206274203D0A2020
20204C660A20207C2042722027612020
22276120627422202022276120627422
0A0A7072696D726563206E5F6E6F6465
73203A3A20222761206274203D3E206E
6174222077686572650A2020226E5F6E
6F646573204C66203D2030220A7C2022
6E5F6E6F646573202842722061207431
20743229203D2053756320286E5F6E6F
646573207431202B206E5F6E6F646573
20743229220A0A7072696D726563206E
5F6C6561766573203A3A202227612062
74203D3E206E6174222077686572650A
2020226E5F6C6561766573204C66203D
205375632030220A7C20226E5F6C6561
76657320284272206120743120743229
203D206E5F6C6561766573207431202B
206E5F6C6561766573207432220A0A70
72696D726563206465707468203A3A20
222761206274203D3E206E6174222077
686572650A2020226465707468204C66
203D2030220A7C202264657074682028
4272206120743120743229203D205375
6320286D617820286465707468207431
29202864657074682074322929220A0A
7072696D726563207265666C65637420
3A3A20222761206274203D3E20276120
6274222077686572650A202022726566
6C656374204C66203D204C66220A7C20
227265666C6563742028427220612074
3120743229203D204272206120287265
666C6563742074322920287265666C65
637420743129220A0A7072696D726563
2062745F6D6170203A3A202228276120
3D3E20276229203D3E20282761206274
203D3E20276220627429222077686572
650A20202262745F6D61702066204C66
203D204C66220A7C202262745F6D6170
20662028427220612074312074322920
3D204272202866206129202862745F6D
6170206620743129202862745F6D6170
206620743229220A0A7072696D726563
207072656F72646572203A3A20222761
206274203D3E202761206C6973742220
77686572650A2020227072656F726465
72204C66203D205B5D220A7C20227072
656F7264657220284272206120743120
743229203D205B615D20402028707265
6F726465722074312920402028707265
6F7264657220743229220A0A7072696D
72656320696E6F72646572203A3A2022
2761206274203D3E202761206C697374
222077686572650A202022696E6F7264
6572204C66203D205B5D220A7C202269
6E6F7264657220284272206120743120
743229203D2028696E6F726465722074
31292040205B615D20402028696E6F72
64657220743229220A0A7072696D7265
6320706F73746F72646572203A3A2022
2761206274203D3E202761206C697374
222077686572650A202022706F73746F
72646572204C66203D205B5D220A7C20
22706F73746F72646572202842722061
20743120743229203D2028706F73746F
726465722074312920402028706F7374
6F72646572207432292040205B615D22
0A0A7072696D72656320617070656E64
203A3A20222761206274203D3E202761
206274203D3E20276120627422207768
6572650A202022617070656E64204C66
2074203D2074220A7C2022617070656E
64202842722061207431207432292074
203D20427220612028617070656E6420
74312074292028617070656E64207432
207429220A0A74657874205C3C6F7065
6E3E5C6D6564736B6970204254207369
6D706C696669636174696F6E5C3C636C
6F73653E0A0A6C656D6D61206E5F6C65
617665735F7265666C6563743A20226E
5F6C656176657320287265666C656374
207429203D206E5F6C65617665732074
220A70726F6F662028696E6475637420
74290A202063617365204C6620746875
73203F636173650A202070726F6F6620
2D0A202020206C657420223F705C3C5E
7375623E3120785C3C5E7375623E3122
203D2022785C3C5E7375623E31205C3C
6E6F7465713E206E5F6C656176657320
287265666C65637420284C663A3A2761
2062742929220A202020206861766520
225C3C6E6F743E203F705C3C5E737562
3E312028537563203029222062792028
6D65746973207265666C6563742E7369
6D7073283129206E5F6C65617665732E
73696D7073283129290A202020206865
6E636520225C3C6E6F743E203F705C3C
5E7375623E3120286E5F6C6561766573
20284C663A3A27612062742929222062
7920286D65746973206E5F6C65617665
732E73696D7073283129290A20202020
7468757320226E5F6C65617665732028
7265666C65637420284C663A3A276120
62742929203D206E5F6C656176657320
284C663A3A2761206274292220627920
6D657469730A20207165640A6E657874
0A202063617365202842722061207431
207432292074687573203F636173650A
20202020627920286D65746973206E5F
6C65617665732E73696D707328322920
6164642E636F6D6D757465207265666C
6563742E73696D7073283229290A7165
640A0A6C656D6D61206E5F6E6F646573
5F7265666C6563743A20226E5F6E6F64
657320287265666C656374207429203D
206E5F6E6F6465732074220A70726F6F
662028696E647563742074290A202063
617365204C662074687573203F636173
6520627920286D65746973207265666C
6563742E73696D7073283129290A6E65
78740A20206361736520284272206120
7431207432292074687573203F636173
650A20202020627920286D6574697320
6164642E636F6D6D757465206E5F6E6F
6465732E73696D707328322920726566
6C6563742E73696D7073283229290A71
65640A0A6C656D6D612064657074685F
7265666C6563743A2022646570746820
287265666C656374207429203D206465
7074682074220A6170706C792028696E
647563742074290A206170706C792028
6D657469732064657074682E73696D70
73283129207265666C6563742E73696D
7073283129290A627920286D65746973
2064657074682E73696D707328322920
6D61782E636F6D6D757465207265666C
6563742E73696D7073283229290A0A74
657874205C3C6F70656E3E0A54686520
66616D6F75732072656C6174696F6E73
686970206265747765656E2074686520
6E756D62657273206F66206C65617665
7320616E64206E6F6465732E0A5C3C63
6C6F73653E0A0A6C656D6D61206E5F6C
65617665735F6E6F6465733A20226E5F
6C65617665732074203D205375632028
6E5F6E6F646573207429220A6170706C
792028696E647563742074290A206170
706C7920286D65746973206E5F6C6561
7665732E73696D7073283129206E5F6E
6F6465732E73696D7073283129290A62
79206175746F0A0A6C656D6D61207265
666C6563745F7265666C6563745F6964
656E743A20227265666C656374202872
65666C656374207429203D2074220A61
70706C792028696E647563742074290A
206170706C7920286D65746973207265
666C6563742E73696D7073283129290A
70726F6F66202D0A2020666978206120
3A3A20276120616E64207431203A3A20
2227612062742220616E64207432203A
3A20222761206274220A202061737375
6D652041313A20227265666C65637420
287265666C65637420743129203D2074
31220A2020617373756D652041323A20
227265666C65637420287265666C6563
7420743229203D207432220A20206861
766520225C3C416E643E5620552E2072
65666C65637420284272205520562028
7265666C6563742074312929203D2042
72205520743120287265666C65637420
5629220A202020207573696E67204131
20627920286D65746973207265666C65
63742E73696D7073283229290A202068
656E636520225C3C416E643E5620552E
204272205520743120287265666C6563
7420287265666C65637420562929203D
207265666C65637420287265666C6563
7420284272205520743120562929220A
20202020627920286D65746973207265
666C6563742E73696D7073283229290A
202068656E636520225C3C416E643E55
2E207265666C65637420287265666C65
63742028427220552074312074322929
203D2042722055207431207432220A20
2020207573696E67204132206279206D
657469730A2020746875732022726566
6C65637420287265666C656374202842
7220612074312074322929203D204272
20612074312074322220627920626C61
73740A7165640A0A6C656D6D61206274
5F6D61705F6964656E743A202262745F
6D6170202825782E207829203D202825
792E207929220A6170706C7920287275
6C6520657874290A6170706C79202869
6E647563745F7461632079290A206170
706C7920286D657469732062745F6D61
702E73696D7073283129290A62792028
6D657469732062745F6D61702E73696D
7073283229290A0A6C656D6D61206274
5F6D61705F617070656E643A20226274
5F6D617020662028617070656E642074
207529203D20617070656E6420286274
5F6D61702066207429202862745F6D61
702066207529220A6170706C79202869
6E647563742074290A206170706C7920
286D6574697320617070656E642E7369
6D70732831292062745F6D61702E7369
6D7073283129290A627920286D657469
7320617070656E642E73696D70732832
292062745F6D61702E73696D70732832
29290A0A6C656D6D612062745F6D6170
5F636F6D706F73653A202262745F6D61
70202866206F2067292074203D206274
5F6D61702066202862745F6D61702067
207429220A6170706C792028696E6475
63742074290A206170706C7920286D65
7469732062745F6D61702E73696D7073
283129290A627920286D657469732062
745F6D61702E73696D7073283229206F
5F65715F646573745F6C6873290A0A6C
656D6D612062745F6D61705F7265666C
6563743A202262745F6D617020662028
7265666C656374207429203D20726566
6C656374202862745F6D617020662074
29220A6170706C792028696E64756374
2074290A206170706C7920286D657469
732062745F6D61702E73696D70732831
29207265666C6563742E73696D707328
3129290A627920286D65746973206274
5F6D61702E73696D7073283229207265
666C6563742E73696D7073283229290A
0A6C656D6D61207072656F726465725F
62745F6D61703A20227072656F726465
72202862745F6D61702066207429203D
206D6170206620287072656F72646572
...

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