|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
ThreeDivides.thy
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F65782F546872656544697669
6465732E7468790A2020202041757468
6F723A202020202042656E6A616D696E
20506F727465722C20323030350A2A29
0A0A73656374696F6E205C3C6F70656E
3E546872656520446976696465732054
68656F72656D5C3C636C6F73653E0A0A
7468656F727920546872656544697669
6465730A696D706F727473204D61696E
2022484F4C2D4C6962726172792E4C61
5465587375676172220A626567696E0A
0A73756273656374696F6E205C3C6F70
656E3E41627374726163745C3C636C6F
73653E0A0A74657874205C3C6F70656E
3E0A54686520666F6C6C6F77696E6720
646F63756D656E742070726573656E74
7320612070726F6F66206F6620746865
2054687265652044697669646573204E
207468656F72656D0A666F726D616C69
73656420696E20746865204973616265
6C6C652F49736172207468656F72656D
2070726F76696E672073797374656D2E
0A0A7B5C656D205468656F72656D7D3A
20243324206469766964657320246E24
20696620616E64206F6E6C7920696620
24332420646976696465732074686520
73756D206F6620616C6C0A6469676974
7320696E20246E242E0A0A7B5C656D20
496E666F726D616C2050726F6F667D3A
0A54616B6520246E203D205C73756D7B
6E5F6A202A2031305E6A7D2420776865
726520246E5F6A242069732074686520
246A24277468206C656173740A736967
6E69666963616E74206469676974206F
662074686520646563696D616C206465
6E6F746174696F6E206F662074686520
6E756D626572206E20616E6420746865
0A73756D2072616E676573206F766572
20616C6C206469676974732E20546865
6E20242420286E202D205C73756D7B6E
5F6A7D29203D205C73756D7B6E5F6A20
2A202831305E6A0A2D2031297D202424
205765206B6E6F7720245C666F72616C
6C206A5C3B20337C2831305E6A202D20
3129202420616E642068656E63652024
337C4C4853242C0A7468657265666F72
652024245C666F72616C6C206E5C3B20
337C6E205C4C6F6E676C656674726967
68746172726F7720337C5C73756D7B6E
5F6A7D24240A5C3C6F70656E3E5C3C62
6F783E5C3C636C6F73653E0A5C3C636C
6F73653E0A0A0A73756273656374696F
6E205C3C6F70656E3E466F726D616C20
70726F6F665C3C636C6F73653E0A0A73
756273756273656374696F6E205C3C6F
70656E3E4D697363656C6C616E656F75
732073756D6D6174696F6E206C656D6D
61735C3C636C6F73653E0A0A74657874
205C3C6F70656E3E4966202461242064
697669646573205C3C6F70656E3E4120
785C3C636C6F73653E20666F7220616C
6C2078207468656E2024612420646976
6964657320616E790A73756D206F7665
72207465726D73206F66207468652066
6F726D205C3C6F70656E3E2841207829
2A28502078295C3C636C6F73653E2066
6F722061726269747261727920245024
2E5C3C636C6F73653E0A0A6C656D6D61
206469765F73756D3A0A202066697865
7320613A3A6E617420616E64206E3A3A
6E61740A202073686F777320225C3C66
6F72616C6C3E782E2061206476642041
2078205C3C4C6F6E6772696768746172
726F773E20612064766420285C3C5375
6D3E783C6E2E20412078202A20442078
29220A70726F6F662028696E64756374
206E290A20206361736520302073686F
77203F636173652062792073696D700A
6E6578740A2020636173652028537563
206E290A202066726F6D205375630A20
20686176652022612064766420284120
6E202A2044206E292220627920287369
6D70206164643A206476645F6D756C74
32290A202077697468205375630A2020
68617665202261206476642028285C3C
53756D3E783C6E2E20412078202A2044
207829202B202841206E202A2044206E
292922206279202873696D7020616464
3A206476645F616464290A2020746875
73203F636173652062792073696D700A
7165640A0A0A73756273756273656374
696F6E205C3C6F70656E3E47656E6572
616C6973656420546872656520446976
696465735C3C636C6F73653E0A0A7465
7874205C3C6F70656E3E546869732073
656374696F6E20736F6C766573206120
67656E6572616C6973656420666F726D
206F6620746865207468726565206469
76696465730A70726F626C656D2E2048
6572652077652073686F772074686174
20666F7220616E792073657175656E63
65206F66206E756D6265727320746865
207468656F72656D0A686F6C64732E20
496E20746865206E6578742073656374
696F6E207765207370656369616C6973
652074686973207468656F72656D2074
6F206170706C790A6469726563746C79
20746F2074686520646563696D616C20
657870616E73696F6E206F6620746865
206E61747572616C206E756D62657273
2E5C3C636C6F73653E0A0A7465787420
5C3C6F70656E3E486572652077652073
686F7720746861742074686520666972
73742073746174656D656E7420696E20
74686520696E666F726D616C2070726F
6F662069730A7472756520666F722061
6C6C206E61747572616C206E756D6265
72732E204E6F74652077652061726520
7573696E67205C3C5E7465726D3E5C3C
6F70656E3E4420695C3C636C6F73653E
20746F0A64656E6F7465207468652024
692427746820656C656D656E7420696E
20612073657175656E6365206F66206E
756D626572732E5C3C636C6F73653E0A
0A6C656D6D612064696769745F646966
665F73706C69743A0A20206669786573
206E3A3A6E617420616E64206E643A3A
6E617420616E6420783A3A6E61740A20
2073686F777320226E203D20285C3C53
756D3E785C3C696E3E7B2E2E3C6E647D
2E2028442078292A282831303A3A6E61
74295E782929205C3C4C6F6E67726967
68746172726F773E0A20202020202020
202020202020286E202D20285C3C5375
6D3E783C6E642E202844207829292920
3D20285C3C53756D3E783C6E642E2028
442078292A2831305E78202D20312929
220A6279202873696D70206164643A20
73756D5F646966665F64697374726962
20646966665F6D756C745F6469737472
696232290A0A74657874205C3C6F7065
6E3E4E6F772077652070726F76652074
686174203320616C7761797320646976
69646573206E756D62657273206F6620
74686520666F726D202431305E78202D
2031242E5C3C636C6F73653E0A6C656D
6D612074687265655F646976735F303A
0A202073686F7773202228333A3A6E61
742920647664202831305E78202D2031
29220A70726F6F662028696E64756374
2078290A20206361736520302073686F
77203F636173652062792073696D700A
6E6578740A2020636173652028537563
206E290A20206C6574203F746872203D
202228333A3A6E617429220A20206861
766520223F7468722064766420392220
62792073696D700A20206D6F72656F76
65720A20206861766520223F74687220
647664202831302A2831305E6E202D20
31292922206279202872756C65206476
645F6D756C7429202872756C65205375
63290A202068656E636520223F746872
20647664202831305E286E2B3129202D
2031302922206279202873696D702061
64643A206E61745F6469737472696229
0A2020756C74696D6174656C790A2020
68617665223F74687220647664202828
31305E286E2B3129202D20313029202B
203929220A202020206279202873696D
70206F6E6C793A2061635F73696D7073
29202872756C65206476645F61646429
0A202074687573203F63617365206279
2073696D700A7165640A0A7465787420
5C3C6F70656E3E457870616E64696E67
206F6E207468652070726576696F7573
206C656D6D6120616E64206C656D6D61
205C3C6F70656E3E6469765F73756D5C
3C636C6F73653E2E5C3C636C6F73653E
0A6C656D6D612074687265655F646976
735F313A0A202066697865732044203A
3A20226E6174205C3C52696768746172
726F773E206E6174220A202073686F77
732022332064766420285C3C53756D3E
783C6E642E20442078202A202831305E
78202D20312929220A20206279202873
75627374206D756C742E636F6D6D7574
652C2072756C65206469765F73756D29
202873696D70206164643A2074687265
655F646976735F30205B73696D706C69
666965645D290A0A74657874205C3C6F
70656E3E5573696E67206C656D6D6173
205C3C6F70656E3E64696769745F6469
66665F73706C69745C3C636C6F73653E
20616E64200A5C3C6F70656E3E746872
65655F646976735F315C3C636C6F7365
3E207765206E6F772070726F76652074
686520666F6C6C6F77696E67206C656D
6D612E200A5C3C636C6F73653E0A6C65
6D6D612074687265655F646976735F32
3A0A20206669786573206E643A3A6E61
7420616E6420443A3A226E61745C3C52
696768746172726F773E6E6174220A20
2073686F777320223320647664202828
5C3C53756D3E783C6E642E2028442078
292A2831305E782929202D20285C3C53
756D3E783C6E642E2028442078292929
220A70726F6F66202D0A202066726F6D
2074687265655F646976735F31206861
76652022332064766420285C3C53756D
3E783C6E642E20442078202A20283130
205E2078202D2031292922202E0A2020
74687573203F74686573697320627920
2873696D70206F6E6C793A2064696769
745F646966665F73706C6974290A7165
640A0A74657874205C3C6F70656E3E0A
5765206E6F772070726573656E742074
68652066696E616C207468656F72656D
206F6620746869732073656374696F6E
2E20466F7220616E790A73657175656E
6365206F66206E756D62657273202864
6566696E656420627920612066756E63
74696F6E205C3C5E7465726D3E5C3C6F
70656E3E44203A3A20286E61745C3C52
696768746172726F773E6E6174295C3C
636C6F73653E292C0A77652073686F77
20746861742033206469766964657320
74686520657870616E73697665207375
6D20245C73756D7B28445C3B78292A31
305E787D24206F766572202478240A69
6620616E64206F6E6C79206966203320
64697669646573207468652073756D20
6F662074686520696E64697669647561
6C206E756D626572730A245C73756D7B
445C3B787D242E200A5C3C636C6F7365
3E0A6C656D6D612074687265655F6469
765F67656E6572616C3A0A2020666978
65732044203A3A20226E6174205C3C52
696768746172726F773E206E6174220A
202073686F7773202228332064766420
285C3C53756D3E783C6E642E20442078
202A2031305E782929203D2028332064
766420285C3C53756D3E783C6E642E20
4420782929220A70726F6F660A202068
617665206D6F6E6F3A2022285C3C5375
6D3E783C6E642E2044207829205C3C6C
653E20285C3C53756D3E783C6E642E20
442078202A2031305E7829220A202020
206279202872756C652073756D5F6D6F
6E6F292073696D700A2020747874205C
3C6F70656E3E54686973206C65747320
757320666F726D20746865207465726D
0A2020202020202020205C3C5E746572
6D3E5C3C6F70656E3E285C3C53756D3E
783C6E642E20442078202A2031305E78
29202D20285C3C53756D3E783C6E642E
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
