Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
vmvalues.ml
Sprache: Isabelle
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F52696E67732E7468790A2020
2020417574686F723A20202020204765
72747275642042617565720A20202020
417574686F723A202020202053746576
656E204F6275610A2020202041757468
6F723A2020202020546F62696173204E
69706B6F770A20202020417574686F72
3A20202020204C617772656E63652043
205061756C736F6E0A20202020417574
686F723A20202020204D61726B757320
57656E7A656C0A20202020417574686F
723A20202020204A6572656D79204176
696761640A2A290A0A73656374696F6E
205C3C6F70656E3E52696E67735C3C63
6C6F73653E0A0A7468656F7279205269
6E67730A2020696D706F727473204772
6F757073205365742046756E0A626567
696E0A0A73756273656374696F6E205C
3C6F70656E3E53656D6972696E677320
616E642072696E67735C3C636C6F7365
3E0A0A636C6173732073656D6972696E
67203D2061625F73656D6967726F7570
5F616464202B2073656D6967726F7570
5F6D756C74202B0A2020617373756D65
7320646973747269625F726967687420
5B616C67656272615F73696D70732C20
616C67656272615F73706C69745F7369
6D70735D3A20222861202B206229202A
2063203D2061202A2063202B2062202A
2063220A2020617373756D6573206469
73747269625F6C656674205B616C6765
6272615F73696D70732C20616C676562
72615F73706C69745F73696D70735D3A
202261202A202862202B206329203D20
61202A2062202B2061202A2063220A62
6567696E0A0A74657874205C3C6F7065
6E3E466F7220746865205C3C6F70656E
3E636F6D62696E655F6E756D6572616C
735C3C636C6F73653E2073696D70726F
635C3C636C6F73653E0A6C656D6D6120
636F6D62696E655F636F6D6D6F6E5F66
6163746F723A202261202A2065202B20
2862202A2065202B206329203D202861
202B206229202A2065202B2063220A20
206279202873696D70206164643A2064
6973747269625F72696768742061635F
73696D7073290A0A656E640A0A636C61
7373206D756C745F7A65726F203D2074
696D6573202B207A65726F202B0A2020
617373756D6573206D756C745F7A6572
6F5F6C656674205B73696D705D3A2022
30202A2061203D2030220A2020617373
756D6573206D756C745F7A65726F5F72
69676874205B73696D705D3A20226120
2A2030203D2030220A626567696E0A0A
6C656D6D61206D756C745F6E6F745F7A
65726F3A202261202A2062205C3C6E6F
7465713E2030205C3C4C6F6E67726967
68746172726F773E2061205C3C6E6F74
65713E2030205C3C616E643E2062205C
3C6E6F7465713E2030220A2020627920
6175746F0A0A656E640A0A636C617373
2073656D6972696E675F30203D207365
6D6972696E67202B20636F6D6D5F6D6F
6E6F69645F616464202B206D756C745F
7A65726F0A0A636C6173732073656D69
72696E675F305F63616E63656C203D20
73656D6972696E67202B2063616E6365
6C5F636F6D6D5F6D6F6E6F69645F6164
640A626567696E0A0A737562636C6173
732073656D6972696E675F300A70726F
6F660A20206669782061203A3A202761
0A202068617665202230202A2061202B
2030202A2061203D2030202A2061202B
2030220A202020206279202873696D70
206164643A20646973747269625F7269
676874205B73796D6D65747269635D29
0A20207468656E2073686F7720223020
2A2061203D2030220A20202020627920
2873696D70206F6E6C793A206164645F
6C6566745F63616E63656C290A202068
617665202261202A2030202B2061202A
2030203D2061202A2030202B2030220A
202020206279202873696D7020616464
3A20646973747269625F6C656674205B
73796D6D65747269635D290A20207468
656E2073686F77202261202A2030203D
2030220A202020206279202873696D70
206F6E6C793A206164645F6C6566745F
63616E63656C290A7165640A0A656E64
0A0A636C61737320636F6D6D5F73656D
6972696E67203D2061625F73656D6967
726F75705F616464202B2061625F7365
6D6967726F75705F6D756C74202B0A20
20617373756D65732064697374726962
3A20222861202B206229202A2063203D
2061202A2063202B2062202A2063220A
626567696E0A0A737562636C61737320
73656D6972696E670A70726F6F660A20
20666978206120622063203A3A202761
0A202073686F7720222861202B206229
202A2063203D2061202A2063202B2062
202A2063220A20202020627920287369
6D70206164643A206469737472696229
0A202068617665202261202A20286220
2B206329203D202862202B206329202A
2061220A202020206279202873696D70
206164643A2061635F73696D7073290A
2020616C736F206861766520225C3C64
6F74733E203D2062202A2061202B2063
202A2061220A20202020627920287369
6D70206F6E6C793A2064697374726962
290A2020616C736F206861766520225C
3C646F74733E203D2061202A2062202B
2061202A2063220A2020202062792028
73696D70206164643A2061635F73696D
7073290A202066696E616C6C79207368
6F77202261202A202862202B20632920
3D2061202A2062202B2061202A206322
0A20202020627920626C6173740A7165
640A0A656E640A0A636C61737320636F
6D6D5F73656D6972696E675F30203D20
636F6D6D5F73656D6972696E67202B20
636F6D6D5F6D6F6E6F69645F61646420
2B206D756C745F7A65726F0A62656769
6E0A0A737562636C6173732073656D69
72696E675F30202E2E0A0A656E640A0A
636C61737320636F6D6D5F73656D6972
696E675F305F63616E63656C203D2063
6F6D6D5F73656D6972696E67202B2063
616E63656C5F636F6D6D5F6D6F6E6F69
645F6164640A626567696E0A0A737562
636C6173732073656D6972696E675F30
5F63616E63656C202E2E0A0A73756263
6C61737320636F6D6D5F73656D697269
6E675F30202E2E0A0A656E640A0A636C
617373207A65726F5F6E65715F6F6E65
203D207A65726F202B206F6E65202B0A
2020617373756D6573207A65726F5F6E
65715F6F6E65205B73696D705D3A2022
30205C3C6E6F7465713E2031220A6265
67696E0A0A6C656D6D61206F6E655F6E
65715F7A65726F205B73696D705D3A20
2231205C3C6E6F7465713E2030220A20
206279202872756C65206E6F745F7379
6D29202872756C65207A65726F5F6E65
715F6F6E65290A0A646566696E697469
6F6E206F665F626F6F6C203A3A202262
6F6F6C205C3C52696768746172726F77
3E202761220A2020776865726520226F
665F626F6F6C2070203D202869662070
207468656E203120656C736520302922
0A0A6C656D6D61206F665F626F6F6C5F
6571205B73696D702C20636F64655D3A
0A2020226F665F626F6F6C2046616C73
65203D2030220A2020226F665F626F6F
6C2054727565203D2031220A20206279
202873696D705F616C6C206164643A20
6F665F626F6F6C5F646566290A0A6C65
6D6D61206F665F626F6F6C5F65715F69
66663A20226F665F626F6F6C2070203D
206F665F626F6F6C2071205C3C6C6F6E
676C65667472696768746172726F773E
2070203D2071220A2020627920287369
6D70206164643A206F665F626F6F6C5F
646566290A0A6C656D6D612073706C69
745F6F665F626F6F6C205B73706C6974
5D3A20225020286F665F626F6F6C2070
29205C3C6C6F6E676C65667472696768
746172726F773E202870205C3C6C6F6E
6772696768746172726F773E20502031
29205C3C616E643E20285C3C6E6F743E
2070205C3C6C6F6E6772696768746172
726F773E2050203029220A2020627920
2863617365732070292073696D705F61
6C6C0A0A6C656D6D612073706C69745F
6F665F626F6F6C5F61736D3A20225020
286F665F626F6F6C207029205C3C6C6F
6E676C65667472696768746172726F77
3E205C3C6E6F743E202870205C3C616E
643E205C3C6E6F743E20502031205C3C
6F723E205C3C6E6F743E2070205C3C61
6E643E205C3C6E6F743E205020302922
0A202062792028636173657320702920
73696D705F616C6C0A0A656E640A0A63
6C6173732073656D6972696E675F3120
3D207A65726F5F6E65715F6F6E65202B
2073656D6972696E675F30202B206D6F
6E6F69645F6D756C740A626567696E0A
0A6C656D6D61206F665F626F6F6C5F63
6F6E6A3A0A2020226F665F626F6F6C20
2850205C3C616E643E205129203D206F
665F626F6F6C2050202A206F665F626F
6F6C2051220A20206279206175746F0A
0A656E640A0A6C656D6D61206C616D62
64615F7A65726F3A2022285C3C6C616D
6264613E683A3A27613A3A6D756C745F
7A65726F2E203029203D20282A292030
220A20206279206175746F0A0A6C656D
6D61206C616D6264615F6F6E653A2022
285C3C6C616D6264613E783A3A27613A
3A6D6F6E6F69645F6D756C742E207829
203D20282A292031220A202062792061
75746F0A0A73756273656374696F6E20
5C3C6F70656E3E416273747261637420
64697669736962696C6974795C3C636C
6F73653E0A0A636C6173732064766420
3D2074696D65730A626567696E0A0A64
6566696E6974696F6E20647664203A3A
20222761205C3C52696768746172726F
773E202761205C3C5269676874617272
6F773E20626F6F6C222028696E666978
202264766422203530290A2020776865
7265202262206476642061205C3C6C6F
6E676C65667472696768746172726F77
3E20285C3C6578697374733E6B2E2061
203D2062202A206B29220A0A6C656D6D
612064766449205B696E74726F3F5D3A
202261203D2062202A206B205C3C4C6F
6E6772696768746172726F773E206220
6476642061220A2020756E666F6C6469
6E67206476645F646566202E2E0A0A6C
656D6D612064766445205B656C696D5D
3A202262206476642061205C3C4C6F6E
6772696768746172726F773E20285C3C
416E643E6B2E2061203D2062202A206B
205C3C4C6F6E6772696768746172726F
773E205029205C3C4C6F6E6772696768
746172726F773E2050220A2020756E66
6F6C64696E67206476645F6465662062
7920626C6173740A0A656E640A0A636F
6E7465787420636F6D6D5F6D6F6E6F69
645F6D756C740A626567696E0A0A7375
62636C61737320647664202E0A0A6C65
6D6D61206476645F7265666C205B7369
6D705D3A202261206476642061220A70
726F6F660A202073686F77202261203D
2061202A2031222062792073696D700A
7165640A0A6C656D6D61206476645F74
72616E73205B7472616E735D3A0A2020
617373756D6573202261206476642062
2220616E64202262206476642063220A
202073686F7773202261206476642063
220A70726F6F66202D0A202066726F6D
206173736D73206F627461696E207620
7768657265202262203D2061202A2076
220A202020206279206175746F0A2020
6D6F72656F7665722066726F6D206173
736D73206F627461696E207720776865
7265202263203D2062202A2077220A20
2020206279206175746F0A2020756C74
696D6174656C79206861766520226320
3D2061202A202876202A207729220A20
2020206279202873696D70206164643A
206D756C742E6173736F63290A202074
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|