|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Product.thy
Sprache: SML
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F4D6963726F4A6176612F4446
412F50726F647563742E7468790A2020
2020417574686F723A2020202020546F
62696173204E69706B6F770A20202020
436F7079726967687420202032303030
2054554D0A2A290A0A73656374696F6E
205C3C6F70656E3E50726F6475637473
2061732053656D696C61747469636573
5C3C636C6F73653E0A0A7468656F7279
2050726F647563740A696D706F727473
204572720A626567696E0A0A64656669
6E6974696F6E206C65203A3A20222761
206F7264205C3C52696768746172726F
773E202762206F7264205C3C52696768
746172726F773E20282761202A202762
29206F7264222077686572650A226C65
207241207242203D3D202528612C6229
202861272C6227292E2061203C3D5F72
4120612720262062203C3D5F72422062
27220A0A646566696E6974696F6E2073
7570203A3A20222761206562696E6F70
205C3C52696768746172726F773E2027
62206562696E6F70205C3C5269676874
6172726F773E20282761202A20276229
6562696E6F70222077686572650A2273
757020662067203D3D20252861312C62
31292861322C6232292E204572722E73
7570205061697220286131202B5F6620
61322920286231202B5F672062322922
0A0A646566696E6974696F6E2065736C
203A3A202227612065736C205C3C5269
6768746172726F773E2027622065736C
205C3C52696768746172726F773E2028
2761202A20276220292065736C222077
686572650A2265736C203D3D20252841
2C72412C6641292028422C72422C6642
292E202841205C3C74696D65733E2042
2C206C652072412072422C2073757020
664120664229220A0A61626272657669
6174696F6E0A20206C6573756270726F
645F736E746178203A3A20222761202A
202762205C3C52696768746172726F77
3E202761206F7264205C3C5269676874
6172726F773E202762206F7264205C3C
52696768746172726F773E202761202A
202762205C3C52696768746172726F77
3E20626F6F6C220A2020202020202028
22285F202F3C3D27285F2C5F2729205F
2922205B35302C20302C20302C203531
5D203530290A20207768657265202270
203C3D2872412C7242292071203D3D20
70203C3D5F286C652072412072422920
71220A0A6C656D6D6120756E666F6C64
5F6C657375625F70726F643A0A202022
70203C3D2872412C7242292071203D3D
206C6520724120724220702071220A20
206279202873696D70206164643A206C
657375625F646566290A0A6C656D6D61
206C655F70726F645F506169725F636F
6E76205B6966665D3A0A202022282861
312C623129203C3D2872412C72422920
2861322C62322929203D20286131203C
3D5F72412061322026206231203C3D5F
724220623229220A2020627920287369
6D70206164643A206C657375625F6465
66206C655F646566290A0A6C656D6D61
206C6573735F70726F645F506169725F
636F6E763A0A202022282861312C6231
29203C5F2850726F647563742E6C6520
724120724229202861322C6232292920
3D200A2020286131203C5F7241206132
2026206231203C3D5F7242206232207C
206131203C3D5F724120613220262062
31203C5F724220623229220A6170706C
792028756E666F6C64206C6573737375
625F646566290A6170706C792073696D
700A6170706C7920626C6173740A646F
6E650A0A6C656D6D61206F726465725F
6C655F70726F64205B6966665D3A0A20
20226F726465722850726F647563742E
6C6520724120724229203D20286F7264
65722072412026206F72646572207242
29220A6170706C792028756E666F6C64
2053656D696C61742E6F726465725F64
6566290A6170706C792073696D700A61
70706C79206D65736F6E0A646F6E6520
0A0A6C656D6D61206163635F6C655F70
726F6449205B696E74726F215D3A0A20
20225C3C6C6272616B6B3E2061636320
725C3C5E7375623E413B206163632072
5C3C5E7375623E42205C3C726272616B
6B3E205C3C4C6F6E6772696768746172
726F773E206163632850726F64756374
2E6C6520725C3C5E7375623E4120725C
3C5E7375623E4229220A6170706C7920
28756E666F6C64206163635F64656629
0A6170706C79202872756C652077665F
737562736574290A206170706C792028
6572756C652077665F6C65785F70726F
64290A206170706C7920617373756D70
74696F6E0A6170706C7920286175746F
2073696D70206164643A206C65737373
75625F646566206C6573735F70726F64
5F506169725F636F6E76206C65785F70
726F645F646566290A646F6E650A0A6C
656D6D6120636C6F7365645F6C696674
325F7375703A0A2020225C3C6C627261
6B6B3E20636C6F736564202865727220
412920286C696674322066293B20636C
6F736564202865727220422920286C69
667432206729205C3C726272616B6B3E
205C3C4C6F6E6772696768746172726F
773E200A2020636C6F73656420286572
7228415C3C74696D65733E4229292028
6C696674322873757020662067292922
0A6170706C792028756E666F6C642063
6C6F7365645F64656620706C75737375
625F646566206C696674325F64656620
6572725F646566207375705F64656629
0A6170706C79202873696D702073706C
69743A206572722E73706C6974290A61
70706C7920626C6173740A646F6E6520
0A0A6C656D6D6120756E666F6C645F70
6C75737375625F6C696674323A0A2020
226531202B5F286C6966743220662920
6532203D3D206C696674322066206531
206532220A20206279202873696D7020
6164643A20706C75737375625F646566
290A0A0A6C656D6D6120706C75735F65
715F4572725F636F6E76205B73696D70
5D3A0A2020617373756D657320227820
5C3C696E3E20412220616E6420227920
5C3C696E3E2041220A20202020616E64
202273656D696C61742865727220412C
204572722E6C6520722C206C69667432
206629220A202073686F777320222878
202B5F662079203D2045727229203D20
285C3C6E6F743E285C3C657869737473
3E7A5C3C696E3E412E2078203C3D5F72
207A20262079203C3D5F72207A292922
0A70726F6F66202D0A20206861766520
706C75735F6C655F636F6E76323A0A20
202020225C3C416E643E722066207A2E
205C3C6C6272616B6B3E207A205C3C69
6E3E2065727220413B2073656D696C61
74202865727220412C20722C2066293B
204F4B2078205C3C696E3E2065727220
413B204F4B2079205C3C696E3E206572
7220413B0A2020202020202020202020
2020202020204F4B2078202B5F66204F
4B2079203C3D5F72207A5C3C72627261
6B6B3E205C3C4C6F6E67726967687461
72726F773E204F4B2078203C3D5F7220
7A205C3C616E643E204F4B2079203C3D
5F72207A220A20202020627920287275
6C652053656D696C61742E706C75735F
6C655F636F6E76205B4F462053656D69
6C61742E696E74726F2C205448454E20
69666644315D290A202066726F6D2061
73736D732073686F77203F7468657369
730A20206170706C79202872756C655F
7461632069666649290A202020617070
6C7920636C61726966790A2020206170
706C7920286472756C65204F4B5F6C65
5F6572725F4F4B205B5448454E206966
6644325D290A2020206170706C792028
6472756C65204F4B5F6C655F6572725F
4F4B205B5448454E2069666644325D29
0A2020206170706C7920286472756C65
2053656D696C61742E6C7562205B4F46
2053656D696C61742E696E74726F2C20
6F66205F205F205F20224F4B20782220
5F20224F4B2079225D290A2020202020
2020206170706C7920617373756D7074
696F6E0A202020202020206170706C79
20617373756D7074696F6E0A20202020
20206170706C792073696D700A202020
20206170706C792073696D700A202020
206170706C792073696D700A20202061
70706C792073696D700A20206170706C
792028636173655F746163202278202B
5F66207922290A2020206170706C7920
617373756D7074696F6E0A2020617070
6C79202872656E616D655F7461632022
7A22290A20206170706C792028737562
676F616C5F74616320224F4B207A205C
3C696E3E20657272204122290A202061
70706C7920286672756C6520706C7573
5F6C655F636F6E7632290A2020202020
20206170706C7920617373756D707469
6F6E0A2020202020206170706C792073
696D700A2020202020206170706C7920
626C6173740A20202020206170706C79
2073696D700A202020206170706C7920
28626C61737420646573743A2053656D
696C61742E6F7264657249205B4F4620
53656D696C61742E696E74726F5D206F
726465725F7265666C290A2020206170
706C7920626C6173740A20206170706C
7920286572756C65207375627374290A
20206170706C792028756E666F6C6420
73656D696C61745F646566206572725F
64656620636C6F7365645F646566290A
20206170706C792073696D700A202064
6F6E650A7165640A0A6C656D6D612065
72725F73656D696C61745F50726F6475
63745F65736C3A0A2020225C3C416E64
3E4C31204C322E205C3C6C6272616B6B
3E206572725F73656D696C6174204C31
3B206572725F73656D696C6174204C32
205C3C726272616B6B3E205C3C4C6F6E
6772696768746172726F773E20657272
5F73656D696C61742850726F64756374
2E65736C204C31204C3229220A617070
6C792028756E666F6C642065736C5F64
6566204572722E736C5F646566290A61
70706C79202873696D7020286E6F5F61
736D5F73696D7029206F6E6C793A2073
706C69745F7475706C65645F616C6C29
0A6170706C792073696D700A6170706C
79202873696D7020286E6F5F61736D29
206F6E6C793A2073656D696C61745F44
6566290A6170706C79202873696D7020
286E6F5F61736D5F73696D7029206F6E
6C793A2053656D696C61742E636C6F73
656449205B4F462053656D696C61742E
696E74726F5D20636C6F7365645F6C69
6674325F737570290A6170706C792028
73696D7020286E6F5F61736D29206F6E
6C793A20756E666F6C645F6C65737562
5F657272204572722E6C655F64656620
756E666F6C645F706C75737375625F6C
69667432207375705F646566290A6170
706C7920286175746F20656C696D3A20
73656D696C61745F6C655F6572725F4F
4B312073656D696C61745F6C655F6572
725F4F4B320A20202020202020202020
202073696D70206164643A206C696674
325F646566202073706C69743A206572
722E73706C6974290A6170706C792028
626C61737420646573743A2053656D69
6C61742E6F7264657249205B4F462053
656D696C61742E696E74726F5D290A61
70706C792028626C6173742064657374
3A2053656D696C61742E6F7264657249
205B4F462053656D696C61742E696E74
726F5D290A0A6170706C79202872756C
65204F4B5F6C655F6572725F4F4B205B
5448454E2069666644315D290A617070
6C7920286572756C652073756273742C
207375627374204F4B5F6C696674325F
4F4B205B73796D6D65747269635D2C20
72756C652053656D696C61742E6C7562
205B4F462053656D696C61742E696E74
726F5D290A6170706C792073696D700A
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
