Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
select_minmax.prf
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
2873656C6563745F6D696E6D61780D0A
2028765F6D696E5F5443433120300D0A
202028765F6D696E5F544343312D3120
6E696C20333239323334353938360D0A
2020202822222028736B6F73696D702A
290D0A20202020282822222028747970
657072656420226E6F64655F73657421
3122290D0A2020202020202828222220
28657870616E642022656D7074793F22
290D0A20202020202020202828222220
28657870616E642022696D6167652229
0D0A2020202020202020202028282222
2028657870616E6420226D656D626572
22290D0A202020202020202020202020
282822222028736B6F73696D702A290D
0A202020202020202020202020202028
2822222028696E7374202D2022762131
2878213129222920282822222028696E
73743F29206E696C206E696C2929206E
696C29290D0A20202020202020202020
202020206E696C29290D0A2020202020
202020202020206E696C29290D0A2020
20202020202020206E696C29290D0A20
202020202020206E696C29290D0A2020
202020206E696C29290D0A202020206E
696C290D0A20202028286E6F6E5F656D
7074795F66696E6974655F7365742074
7970652D65712D6465636C206E696C20
66696E6974655F73657473206E696C29
0D0A2020202028656D7074793F20636F
6E73742D6465636C2022626F6F6C2220
73657473206E696C290D0A2020202028
66696E6974655F73657420747970652D
65712D6465636C206E696C2066696E69
74655F73657473206E696C290D0A2020
20202869735F66696E69746520636F6E
73742D6465636C2022626F6F6C222066
696E6974655F73657473206E696C290D
0A202020202873657420747970652D65
712D6465636C206E696C207365747320
6E696C290D0A202020202862656C6F77
20747970652D65712D6465636C206E69
6C206E61747572616C6E756D62657273
206E696C290D0A20202020284E20666F
726D616C2D636F6E73742D6465636C20
22706F736E6174222073656C6563745F
6D696E6D6178206E696C290D0A202020
2028706F736E6174206E6F6E656D7074
792D747970652D65712D6465636C206E
696C20696E746567657273206E696C29
0D0A20202020283E20636F6E73742D64
65636C2022626F6F6C22207265616C73
206E696C290D0A20202020286E6F6E6E
65675F696E74206E6F6E656D7074792D
747970652D65712D6465636C206E696C
20696E746567657273206E696C290D0A
20202020283C20636F6E73742D646563
6C2022626F6F6C22207265616C73206E
696C290D0A20202020286E6174206E6F
6E656D7074792D747970652D65712D64
65636C206E696C206E61747572616C6E
756D62657273206E696C290D0A202020
20283E3D20636F6E73742D6465636C20
22626F6F6C22207265616C73206E696C
290D0A2020202028696E74206E6F6E65
6D7074792D747970652D65712D646563
6C206E696C20696E746567657273206E
696C290D0A2020202028696E74656765
725F7072656420636F6E73742D646563
6C20225B726174696F6E616C202D3E20
626F6F6C65616E5D2220696E74656765
7273206E696C290D0A20202020287261
74696F6E616C206E6F6E656D7074792D
747970652D66726F6D2D6465636C206E
696C20726174696F6E616C73206E696C
290D0A2020202028726174696F6E616C
5F7072656420636F6E73742D6465636C
20225B7265616C202D3E20626F6F6C65
616E5D2220726174696F6E616C73206E
696C290D0A20202020287265616C206E
6F6E656D7074792D747970652D66726F
6D2D6465636C206E696C207265616C73
206E696C290D0A20202020287265616C
5F7072656420636F6E73742D6465636C
20225B6E756D6265725F6669656C6420
2D3E20626F6F6C65616E5D2220726561
6C73206E696C290D0A20202020286E75
6D6265725F6669656C64206E6F6E656D
7074792D747970652D66726F6D2D6465
636C206E696C206E756D6265725F6669
656C6473206E696C290D0A2020202028
6E756D6265725F6669656C645F707265
6420636F6E73742D6465636C20225B6E
756D626572202D3E20626F6F6C65616E
5D22206E756D6265725F6669656C6473
0D0A20202020206E696C290D0A202020
20286E756D626572206E6F6E656D7074
792D747970652D6465636C206E696C20
6E756D62657273206E696C290D0A2020
2020284E4F5420636F6E73742D646563
6C20225B626F6F6C202D3E20626F6F6C
5D2220626F6F6C65616E73206E696C29
0D0A2020202028626F6F6C206E6F6E65
6D7074792D747970652D65712D646563
6C206E696C20626F6F6C65616E73206E
696C290D0A2020202028626F6F6C6561
6E206E6F6E656D7074792D747970652D
6465636C206E696C20626F6F6C65616E
73206E696C290D0A2020202028696D61
676520636F6E73742D6465636C202273
65745B525D222066756E6374696F6E5F
696D616765206E696C290D0A20202020
2878213120736B6F6C656D2D636F6E73
742D6465636C202262656C6F77284E29
222073656C6563745F6D696E6D617820
6E696C290D0A20202020286E6F64655F
736574213120736B6F6C656D2D636F6E
73742D6465636C20226E6F6E5F656D70
74795F66696E6974655F7365745B6265
6C6F77284E295D220D0A202020202073
656C6563745F6D696E6D6178206E696C
290D0A20202020285420666F726D616C
2D6E6F6E656D7074792D747970652D64
65636C206E696C2073656C6563745F6D
696E6D6178206E696C290D0A20202020
2876656320747970652D65712D646563
6C206E696C206E6F6465206E696C290D
0A20202020286D656D62657220636F6E
73742D6465636C2022626F6F6C222073
657473206E696C29290D0A2020207368
6F7374616B29290D0A2028765F6D696E
5F7769746E65737320300D0A20202876
5F6D696E5F7769746E6573732D31206E
696C20333239323334363136300D0A20
20202822222028736B6F73696D702A29
0D0A2020202028282222202865787061
6E642022765F6D696E22290D0A202020
20202028282222202874797065707265
6420226D696E28696D61676528762131
2C206E6F64655F736574213129292229
0D0A2020202020202020282822312220
2868696465202D32290D0A2020202020
20202020202828223122202872657772
6974652022696D61676522202D31290D
0A202020202020202020202020282822
31222028736B6F73696D702A290D0A20
20202020202020202020202020282822
31222028696E73743F29202828223122
202861737365727429206E696C206E69
6C2929206E696C2929206E696C29290D
0A2020202020202020202020206E696C
29290D0A202020202020202020206E69
6C290D0A202020202020202020282232
2220287573652022765F6D696E5F5443
43312229206E696C206E696C29290D0A
20202020202020206E696C29290D0A20
20202020206E696C29290D0A20202020
6E696C290D0A2020202828765F6D696E
20636F6E73742D6465636C2022542220
73656C6563745F6D696E6D6178206E69
6C290D0A2020202028765F6D696E5F54
43433120737562747970652D74636320
6E696C2073656C6563745F6D696E6D61
78206E696C290D0A202020202866696E
6974655F696D616765206170706C6963
6174696F6E2D6A756467656D656E7420
2266696E6974655F7365745B525D220D
0A202020202066756E6374696F6E5F69
6D6167655F617578206E696C290D0A20
20202028626F6F6C65616E206E6F6E65
6D7074792D747970652D6465636C206E
696C20626F6F6C65616E73206E696C29
0D0A2020202028626F6F6C206E6F6E65
6D7074792D747970652D65712D646563
6C206E696C20626F6F6C65616E73206E
696C290D0A20202020284E4F5420636F
6E73742D6465636C20225B626F6F6C20
2D3E20626F6F6C5D2220626F6F6C6561
6E73206E696C290D0A20202020286E75
6D626572206E6F6E656D7074792D7479
70652D6465636C206E696C206E756D62
657273206E696C290D0A20202020286E
756D6265725F6669656C645F70726564
20636F6E73742D6465636C20225B6E75
6D626572202D3E20626F6F6C65616E5D
22206E756D6265725F6669656C64730D
0A20202020206E696C290D0A20202020
286E756D6265725F6669656C64206E6F
6E656D7074792D747970652D66726F6D
2D6465636C206E696C206E756D626572
5F6669656C6473206E696C290D0A2020
2020287265616C5F7072656420636F6E
73742D6465636C20225B6E756D626572
5F6669656C64202D3E20626F6F6C6561
6E5D22207265616C73206E696C290D0A
20202020287265616C206E6F6E656D70
74792D747970652D66726F6D2D646563
6C206E696C207265616C73206E696C29
0D0A2020202028726174696F6E616C5F
7072656420636F6E73742D6465636C20
225B7265616C202D3E20626F6F6C6561
6E5D2220726174696F6E616C73206E69
6C290D0A2020202028726174696F6E61
6C206E6F6E656D7074792D747970652D
66726F6D2D6465636C206E696C207261
74696F6E616C73206E696C290D0A2020
202028696E74656765725F7072656420
636F6E73742D6465636C20225B726174
696F6E616C202D3E20626F6F6C65616E
5D2220696E746567657273206E696C29
0D0A2020202028696E74206E6F6E656D
7074792D747970652D65712D6465636C
206E696C20696E746567657273206E69
6C290D0A20202020283E3D20636F6E73
742D6465636C2022626F6F6C22207265
616C73206E696C290D0A20202020286E
6174206E6F6E656D7074792D74797065
2D65712D6465636C206E696C206E6174
7572616C6E756D62657273206E696C29
0D0A20202020283C20636F6E73742D64
65636C2022626F6F6C22207265616C73
206E696C290D0A20202020286E6F6E6E
65675F696E74206E6F6E656D7074792D
747970652D65712D6465636C206E696C
20696E746567657273206E696C290D0A
20202020283E20636F6E73742D646563
6C2022626F6F6C22207265616C73206E
696C290D0A2020202028706F736E6174
206E6F6E656D7074792D747970652D65
712D6465636C206E696C20696E746567
657273206E696C290D0A20202020284E
20666F726D616C2D636F6E73742D6465
636C2022706F736E6174222073656C65
63745F6D696E6D6178206E696C290D0A
202020202862656C6F7720747970652D
65712D6465636C206E696C206E617475
72616C6E756D62657273206E696C290D
0A20202020285420666F726D616C2D6E
6F6E656D7074792D747970652D646563
6C206E696C2073656C6563745F6D696E
6D6178206E696C290D0A202020202873
657420747970652D65712D6465636C20
6E696C2073657473206E696C290D0A20
20202028696D61676520636F6E73742D
6465636C20227365745B525D22206675
6E6374696F6E5F696D616765206E696C
290D0A20202020287665632074797065
2D65712D6465636C206E696C206E6F64
65206E696C290D0A202020202869735F
66696E69746520636F6E73742D646563
6C2022626F6F6C222066696E6974655F
73657473206E696C290D0A2020202028
66696E6974655F73657420747970652D
65712D6465636C206E696C2066696E69
74655F73657473206E696C290D0A2020
202028656D7074793F20636F6E73742D
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|