|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Quotient_Rat.thy
Sprache: VDM
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F546F6F6C732F51756F746965
6E742F71756F7469656E745F696E666F
2E4D4C0A20202020417574686F723A20
2020202043657A617279204B616C6973
7A796B20616E64204368726973746961
6E20557262616E0A0A436F6E74657874
206461746120666F7220746865207175
6F7469656E74207061636B6167652E0A
2A290A0A7369676E6174757265205155
4F5449454E545F494E464F203D0A7369
670A2020747970652071756F746D6170
73203D207B72656C6D61703A20737472
696E672C2071756F745F74686D3A2074
686D7D0A202076616C206C6F6F6B7570
5F71756F746D6170733A2050726F6F66
2E636F6E74657874202D3E2073747269
6E67202D3E2071756F746D617073206F
7074696F6E0A202076616C206C6F6F6B
75705F71756F746D6170735F676C6F62
616C3A207468656F7279202D3E207374
72696E67202D3E2071756F746D617073
206F7074696F6E0A202076616C207570
646174655F71756F746D6170733A2073
7472696E67202A2071756F746D617073
202D3E20436F6E746578742E67656E65
726963202D3E20436F6E746578742E67
656E657269630A202076616C20707269
6E745F71756F746D6170733A2050726F
6F662E636F6E74657874202D3E20756E
69740A0A202074797065206162735F72
6570203D207B616273203A207465726D
2C20726570203A207465726D7D0A2020
76616C207472616E73666F726D5F6162
735F7265703A206D6F72706869736D20
2D3E206162735F726570202D3E206162
735F7265700A202076616C206C6F6F6B
75705F6162735F7265703A2050726F6F
662E636F6E74657874202D3E20737472
696E67202D3E206162735F726570206F
7074696F6E0A202076616C206C6F6F6B
75705F6162735F7265705F676C6F6261
6C3A207468656F7279202D3E20737472
696E67202D3E206162735F726570206F
7074696F6E0A202076616C2075706461
74655F6162735F7265703A2073747269
6E67202A206162735F726570202D3E20
436F6E746578742E67656E6572696320
2D3E20436F6E746578742E67656E6572
69630A202076616C207072696E745F61
62735F7265703A2050726F6F662E636F
6E74657874202D3E20756E69740A0A20
20747970652071756F7469656E747320
3D207B717479703A207479702C207274
79703A207479702C2065717569765F72
656C3A207465726D2C2065717569765F
74686D3A2074686D2C2071756F745F74
686D3A2074686D7D0A202076616C2074
72616E73666F726D5F71756F7469656E
74733A206D6F72706869736D202D3E20
71756F7469656E7473202D3E2071756F
7469656E74730A202076616C206C6F6F
6B75705F71756F7469656E74733A2050
726F6F662E636F6E74657874202D3E20
737472696E67202D3E2071756F746965
6E7473206F7074696F6E0A202076616C
206C6F6F6B75705F71756F7469656E74
735F676C6F62616C3A207468656F7279
202D3E20737472696E67202D3E207175
6F7469656E7473206F7074696F6E0A20
2076616C207570646174655F71756F74
69656E74733A20737472696E67202A20
71756F7469656E7473202D3E20436F6E
746578742E67656E65726963202D3E20
436F6E746578742E67656E657269630A
202076616C20646573745F71756F7469
656E74733A2050726F6F662E636F6E74
657874202D3E2071756F7469656E7473
206C6973740A202076616C207072696E
745F71756F7469656E74733A2050726F
6F662E636F6E74657874202D3E20756E
69740A0A2020747970652071756F7463
6F6E737473203D207B71636F6E73743A
207465726D2C2072636F6E73743A2074
65726D2C206465663A2074686D7D0A20
2076616C207472616E73666F726D5F71
756F74636F6E7374733A206D6F727068
69736D202D3E2071756F74636F6E7374
73202D3E2071756F74636F6E7374730A
202076616C206C6F6F6B75705F71756F
74636F6E7374735F676C6F62616C3A20
7468656F7279202D3E207465726D202D
3E2071756F74636F6E737473206F7074
696F6E0A202076616C20757064617465
5F71756F74636F6E7374733A20737472
696E67202A2071756F74636F6E737473
202D3E20436F6E746578742E67656E65
726963202D3E20436F6E746578742E67
656E657269630A202076616C20646573
745F71756F74636F6E7374733A205072
6F6F662E636F6E74657874202D3E2071
756F74636F6E737473206C6973740A20
2076616C20646573745F71756F74636F
6E7374735F676C6F62616C3A20746865
6F7279202D3E2071756F74636F6E7374
73206C6973740A202076616C20707269
6E745F71756F74636F6E7374733A2050
726F6F662E636F6E74657874202D3E20
756E69740A656E640A0A737472756374
7572652051756F7469656E745F496E66
6F3A2051554F5449454E545F494E464F
203D0A7374727563740A0A282A2A2064
61746120636F6E7461696E657273202A
2A290A0A282A696E666F2061626F7574
206D61702D20616E642072656C2D6675
6E6374696F6E7320666F722061207479
70652A290A747970652071756F746D61
7073203D207B72656C6D61703A207374
72696E672C2071756F745F74686D3A20
74686D7D0A66756E207472616E73666F
726D5F71756F746D6170732070686920
3A2071756F746D617073202D3E207175
6F746D617073203D0A2020666E207B72
656C6D61702C2071756F745F74686D7D
203D3E207B72656C6D6170203D207265
6C6D61702C2071756F745F74686D203D
204D6F72706869736D2E74686D207068
692071756F745F74686D7D0A0A282A69
6E666F2061626F7574206162732F7265
70207465726D732A290A747970652061
62735F726570203D207B616273203A20
7465726D2C20726570203A207465726D
7D0A66756E207472616E73666F726D5F
6162735F72657020706869203A206162
735F726570202D3E206162735F726570
203D0A2020666E207B6162732C207265
707D203D3E207B616273203D204D6F72
706869736D2E7465726D207068692061
62732C20726570203D204D6F72706869
736D2E7465726D20706869207265707D
0A0A282A696E666F2061626F75742071
756F7469656E742074797065732A290A
747970652071756F7469656E7473203D
207B717479703A207479702C20727479
703A207479702C2065717569765F7265
6C3A207465726D2C2065717569765F74
686D3A2074686D2C2071756F745F7468
6D3A2074686D7D0A66756E207472616E
73666F726D5F71756F7469656E747320
706869203A2071756F7469656E747320
2D3E2071756F7469656E7473203D0A20
20666E207B717479702C20727479702C
2065717569765F72656C2C2065717569
765F74686D2C2071756F745F74686D7D
203D3E0A202020207B71747970203D20
4D6F72706869736D2E74797020706869
20717479702C0A202020202072747970
203D204D6F72706869736D2E74797020
70686920727479702C0A202020202065
717569765F72656C203D204D6F727068
69736D2E7465726D2070686920657175
69765F72656C2C0A2020202020657175
69765F74686D203D204D6F7270686973
6D2E74686D207068692065717569765F
74686D2C0A202020202071756F745F74
686D203D204D6F72706869736D2E7468
6D207068692071756F745F74686D7D0A
0A282A696E666F2061626F7574207175
6F7469656E7420636F6E7374616E7473
2A290A282A5765206E65656420746F20
62652061626C6520746F206C6F6F6B75
7020696E7374616E636573206F66206C
696674656420636F6E7374616E74732C
0A2020666F72206578616D706C652067
6976656E20226E617420667365742220
7765206E65656420746F2066696E6420
2227612066736574223B0A2020627574
206F7665726C6F6164656420636F6E73
74616E74732073686172652074686520
73616D65206E616D652E2A290A747970
652071756F74636F6E737473203D207B
71636F6E73743A207465726D2C207263
6F6E73743A207465726D2C206465663A
2074686D7D0A66756E2065715F71756F
74636F6E7374732028783A2071756F74
636F6E7374732C20793A2071756F7463
6F6E73747329203D202371636F6E7374
2078203D202371636F6E737420790A66
756E207472616E73666F726D5F71756F
74636F6E73747320706869203A207175
6F74636F6E737473202D3E2071756F74
636F6E737473203D0A2020666E207B71
636F6E73742C2072636F6E73742C2064
65667D203D3E0A202020207B71636F6E
7374203D204D6F72706869736D2E7465
726D207068692071636F6E73742C0A20
2020202072636F6E7374203D204D6F72
706869736D2E7465726D207068692072
636F6E73742C0A202020202064656620
3D204D6F72706869736D2E74686D2070
6869206465667D0A0A73747275637475
72652044617461203D2047656E657269
635F446174610A280A20207479706520
54203D0A2020202071756F746D617073
2053796D7461622E7461626C65202A0A
202020206162735F7265702053796D74
61622E7461626C65202A0A2020202071
756F7469656E74732053796D7461622E
7461626C65202A0A2020202071756F74
636F6E737473206C6973742053796D74
61622E7461626C650A202076616C2065
6D7074793A2054203D202853796D7461
622E656D7074792C2053796D7461622E
656D7074792C2053796D7461622E656D
7074792C2053796D7461622E656D7074
79290A202076616C20657874656E6420
3D20490A202066756E206D657267650A
202020282871756F746D617073312C20
6162735F726570312C2071756F746965
6E7473312C2071756F74636F6E737473
31292C0A202020202871756F746D6170
73322C206162735F726570322C207175
6F7469656E7473322C2071756F74636F
6E737473322929203A2054203D0A2020
202853796D7461622E6D657267652028
4B207472756529202871756F746D6170
73312C2071756F746D61707332292C0A
2020202053796D7461622E6D65726765
20284B20747275652920286162735F72
6570312C206162735F72657032292C0A
2020202053796D7461622E6D65726765
20284B207472756529202871756F7469
656E7473312C2071756F7469656E7473
32292C0A2020202053796D7461622E6D
657267655F6C6973742065715F71756F
74636F6E737473202871756F74636F6E
737473312C2071756F74636F6E737473
3229290A290A0A76616C206765745F71
756F746D617073203D202331206F2044
6174612E6765740A76616C206765745F
6162735F726570203D202332206F2044
6174612E6765740A76616C206765745F
71756F7469656E7473203D202333206F
20446174612E6765740A76616C206765
745F71756F74636F6E737473203D2023
34206F20446174612E6765740A0A7661
6C206D61705F71756F746D617073203D
20446174612E6D6170206F20407B6170
706C7920342831297D0A76616C206D61
705F6162735F726570203D2044617461
2E6D6170206F20407B6170706C792034
2832297D0A76616C206D61705F71756F
7469656E7473203D20446174612E6D61
70206F20407B6170706C792034283329
7D0A76616C206D61705F71756F74636F
6E737473203D20446174612E6D617020
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
