|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
predicate_compile.ML
Sprache: SML
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F546F6F6C732F507265646963
6174655F436F6D70696C652F70726564
69636174655F636F6D70696C652E4D4C
0A20202020417574686F723A20202020
204C756B61732042756C7761686E2C20
5455204D75656E6368656E0A0A456E74
727920706F696E7420666F7220746865
2070726564696361746520636F6D7069
6C65723B20646566696E6974696F6E20
6F6620546F706C6576656C0A636F6D6D
616E647320636F64655F707265642061
6E642076616C7565732E0A2A290A0A73
69676E61747572652050524544494341
54455F434F4D50494C45203D0A736967
0A202076616C2070726570726F636573
73203A205072656469636174655F436F
6D70696C655F4175782E6F7074696F6E
73202D3E207465726D202D3E20746865
6F7279202D3E207468656F72790A2020
76616C20696E74726F5F686F6F6B203A
20287468656F7279202D3E2074686D20
2D3E20756E697429206F7074696F6E20
556E73796E6368726F6E697A65642E72
65660A656E643B0A0A73747275637475
7265205072656469636174655F436F6D
70696C65203A20505245444943415445
5F434F4D50494C45203D0A7374727563
740A0A76616C20696E74726F5F686F6F
6B203D20556E73796E6368726F6E697A
65642E726566204E4F4E45203A202874
68656F7279202D3E2074686D202D3E20
756E697429206F7074696F6E20556E73
796E6368726F6E697A65642E7265660A
0A6F70656E205072656469636174655F
436F6D70696C655F4175783B0A0A6675
6E207072696E745F696E74726F737320
6F7074696F6E7320746879206D736720
696E74726F7373203D0A202069662073
686F775F696E7465726D656469617465
5F726573756C7473206F7074696F6E73
207468656E0A2020202074726163696E
6720286D7367205E0A20202020202028
6361745F6C696E657320286D61700A20
2020202020202028666E2028632C2069
6E74726F7329203D3E2022496E74726F
64756374696F6E2072756C6528732920
6F662022205E2063205E20223A5C6E22
205E0A2020202020202020202020636F
6D6D617320286D6170202854686D2E73
7472696E675F6F665F74686D5F676C6F
62616C207468792920696E74726F7329
2920696E74726F73732929290A202065
6C73652028290A0A66756E207072696E
745F7370656373206F7074696F6E7320
746879207370656373203D0A20206966
2073686F775F696E7465726D65646961
74655F726573756C7473206F7074696F
6E73207468656E0A202020206D617020
28666E2028632C2074686D7329203D3E
0A20202020202022436F6E7374616E74
2022205E2063205E2022206861732073
706563696669636174696F6E3A5C6E22
205E0A2020202020202020286361745F
6C696E657320286D6170202854686D2E
737472696E675F6F665F74686D5F676C
6F62616C20746879292074686D732929
205E20225C6E22292073706563730A20
2020207C3E206361745F6C696E657320
7C3E2074726163696E670A2020656C73
652028290A0A66756E206F7665726C6F
61645F636F6E7374207468792073203D
207468655F64656661756C7420732028
4F7074696F6E2E6D6170206673742028
4178636C6173732E696E73745F6F665F
706172616D20746879207329290A0A66
756E206D61705F737065637320662073
70656373203D0A20206D61702028666E
2028732C2074687329203D3E2028732C
20662074687329292073706563730A0A
66756E2070726F636573735F73706563
696669636174696F6E206F7074696F6E
732073706563732074687927203D0A20
206C65740A2020202076616C205F203D
207072696E745F73746570206F707469
6F6E732022436F6D70696C696E672070
72656469636174657320746F20666C61
7420696E74726F72756C65732E2E2E22
0A2020202076616C207370656373203D
0A2020202020206D61700A2020202020
202020286170736E6420286D61700A20
20202020202020202028666E20746820
3D3E0A20202020202020202020202069
662069735F6571756174696F6E6C696B
65207468207468656E20507265646963
6174655F436F6D70696C655F44617461
2E6E6F726D616C697A655F6571756174
696F6E207468792720746820656C7365
2074682929290A202020202020202073
706563730A2020202076616C2028696E
74726F7373312C20746879272729203D
0A202020202020617066737420666C61
742028666F6C645F6D61702028507265
6469636174655F436F6D70696C655F50
7265642E70726570726F63657373206F
7074696F6E7329207370656373207468
7927290A2020202076616C205F203D20
7072696E745F696E74726F7373206F70
74696F6E732074687927272022466C61
7474656E656420696E74726F64756374
696F6E2072756C65733A202220696E74
726F7373310A2020202076616C205F20
3D207072696E745F73746570206F7074
696F6E7320225265706C6163696E6720
66756E6374696F6E7320696E20696E74
726F72756C65732E2E2E220A20202020
76616C20696E74726F737332203D0A20
202020202069662066756E6374696F6E
5F666C617474656E696E67206F707469
6F6E73207468656E0A20202020202020
206966206661696C5F736166655F6675
6E6374696F6E5F666C617474656E696E
67206F7074696F6E73207468656E0A20
20202020202020202028636173652074
727920286D61705F737065637320286D
61707320285072656469636174655F43
6F6D70696C655F46756E2E7265777269
74655F696E74726F2074687927272929
2920696E74726F737331206F660A2020
20202020202020202020534F4D452069
6E74726F7373203D3E20696E74726F73
730A202020202020202020207C204E4F
4E45203D3E0A20202020202020202020
20202869662073686F775F6361756768
745F6661696C75726573206F7074696F
6E73207468656E2074726163696E6720
2246756E6374696F6E207265706C6163
656D656E74206661696C656421222065
6C73652028293B0A2020202020202020
2020202020696E74726F73733129290A
2020202020202020656C7365206D6170
5F737065637320286D61707320285072
656469636174655F436F6D70696C655F
46756E2E726577726974655F696E7472
6F207468792727292920696E74726F73
73310A202020202020656C73650A2020
202020202020696E74726F7373310A20
20202076616C205F203D207072696E74
5F696E74726F7373206F7074696F6E73
2074687927272022496E74726F647563
74696F6E2072756C6573207769746820
7265706C616365642066756E6374696F
6E733A202220696E74726F7373320A20
20202076616C205F203D207072696E74
5F73746570206F7074696F6E730A2020
2020202022496E74726F647563696E67
206E657720636F6E7374616E74732066
6F72206162737472616374696F6E7320
6174206869676865722D6F7264657220
617267756D656E7420706F736974696F
6E732E2E2E220A2020202076616C2028
696E74726F7373332C20286E65775F64
6566732C207468792727272929203D0A
2020202020205072656469636174655F
436F6D70696C655F507265642E666C61
745F6869676865725F6F726465725F61
7267756D656E74732028696E74726F73
73322C207468792727290A2020202076
616C20286E65775F696E74726F73732C
207468792727272729203D0A20202020
20206966206E6F7420286E756C6C206E
65775F6465667329207468656E0A2020
2020202020206C65740A202020202020
2020202076616C205F203D0A20202020
20202020202020207072696E745F7374
6570206F7074696F6E73202252656375
72736976656C79206F627461696E696E
6720696E74726F64756374696F6E2072
756C657320666F72206E657720646566
696E6974696F6E732E2E2E220A202020
2020202020696E2070726F636573735F
73706563696669636174696F6E206F70
74696F6E73206E65775F646566732074
687927272720656E640A202020202020
656C736520285B5D2C20746879272727
290A2020696E0A2020202028696E7472
6F7373332040206E65775F696E74726F
73732C2074687927272727290A202065
6E640A0A66756E2070726570726F6365
73735F7374726F6E675F636F6E6E5F63
6F6E73746E616D6573206F7074696F6E
7320677220747320746879203D0A2020
696620666F72616C6C2028666E202843
6F6E73742028632C205F2929203D3E20
436F72655F446174612E69735F726567
69737465726564202850726F6F665F43
6F6E746578742E696E69745F676C6F62
616C20746879292063292074730A2020
7468656E207468790A2020656C73650A
202020206C65740A2020202020206675
6E206765745F7370656373207473203D
206D61705F66696C7465722028666E20
74203D3E0A2020202020202020546572
6D5F47726170682E6765745F6E6F6465
2067722074207C3E0A20202020202020
2028666E20746873203D3E206966206E
756C6C20746873207468656E204E4F4E
4520656C736520534F4D452028667374
2028646573745F436F6E73742074292C
207468732929290A2020202020202020
74730A20202020202076616C205F203D
207072696E745F73746570206F707469
6F6E7320282250726570726F63657373
696E6720736363206F662022205E0A20
20202020202020636F6D6D617320286D
6170202853796E7461782E737472696E
675F6F665F7465726D5F676C6F62616C
207468792920747329290A2020202020
2076616C2028707265646E616D65732C
2066756E6E616D657329203D204C6973
742E706172746974696F6E2028666E20
74203D3E20626F64795F747970652028
666173747970655F6F66207429203D20
5C3C5E7479703E5C3C6F70656E3E626F
6F6C5C3C636C6F73653E292074730A20
2020202020282A20756E74616E676C65
20726563757273696F6E206279206465
66696E696E6720707265646963617465
7320666F7220616C6C2066756E637469
6F6E73202A290A20202020202076616C
205F203D207072696E745F7374657020
6F7074696F6E730A2020202020202020
2822436F6D70696C696E672066756E63
74696F6E73202822205E20636F6D6D61
7320286D6170202853796E7461782E73
7472696E675F6F665F7465726D5F676C
6F62616C20746879292066756E6E616D
657329205E0A20202020202020202020
222920746F2070726564696361746573
2E2E2E22290A20202020202076616C20
2866756E5F707265645F73706563732C
207468793129203D0A20202020202020
202869662066756E6374696F6E5F666C
617474656E696E67206F7074696F6E73
20616E64616C736F20286E6F7420286E
756C6C2066756E6E616D657329292074
68656E0A202020202020202020206966
206661696C5F736166655F66756E6374
696F6E5F666C617474656E696E67206F
7074696F6E73207468656E0A20202020
20202020202020202863617365207472
7920285072656469636174655F436F6D
70696C655F46756E2E646566696E655F
7072656469636174657320286765745F
73706563732066756E6E616D65732929
20746879206F660A2020202020202020
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|