Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
finite_groups.prf
Sprache: VDM
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
2866696E6974655F67726F7570730D0A
2028494D505F67726F75705F54434331
20300D0A202028494D505F67726F7570
5F544343312D31206E696C2033343037
3038313831370D0A2020202822222028
6C656D6D61202266756C6C7365745F69
735F67726F7570222920282822222028
70726F70617829206E696C206E696C29
29206E696C290D0A202020282866756C
6C7365745F69735F67726F757020666F
726D756C612D6465636C206E696C2066
696E6974655F67726F757073206E696C
2929206E696C29290D0A202866696E69
74655F67656E6572617465645F627920
300D0A20202866696E6974655F67656E
6572617465645F62792D31206E696C20
333330363134343732350D0A20202028
22222028736B6F73696D702A290D0A20
2020202828222220286C656D6D612022
67656E6572617465645F69735F737562
67726F75702220282261222022612131
222022472220224721312229290D0A20
20202020202828222220286173736572
74290D0A202020202020202028282222
2028657870616E64202273756267726F
75703F22290D0A202020202020202020
20282822222028617373657274290D0A
20202020202020202020202028282222
20287479706570726564202247213122
290D0A20202020202020202020202020
20282822222028657870616E64202266
696E6974655F67726F75703F22290D0A
20202020202020202020202020202020
282822222028666C617474656E290D0A
20202020202020202020202020202020
20202828222220286C656D6D61202266
696E6974655F7375627365745B545D22
290D0A20202020202020202020202020
20202020202020282822222028696E73
743F2920282822222028617373657274
29206E696C206E696C2929206E696C29
29206E696C29290D0A20202020202020
20202020202020202020206E696C2929
0D0A2020202020202020202020202020
20206E696C29290D0A20202020202020
202020202020206E696C29290D0A2020
202020202020202020206E696C29290D
0A202020202020202020206E696C2929
0D0A20202020202020206E696C29290D
0A2020202020206E696C29290D0A2020
20206E696C290D0A20202028286F6E65
20666F726D616C2D636F6E73742D6465
636C202254222066696E6974655F6772
6F757073206E696C290D0A2020202028
2A20666F726D616C2D636F6E73742D64
65636C20225B542C2054202D3E20545D
222066696E6974655F67726F75707320
6E696C290D0A20202020285420666F72
6D616C2D6E6F6E656D7074792D747970
652D6465636C206E696C2066696E6974
655F67726F757073206E696C290D0A20
2020202866696E6974655F67726F7570
206E6F6E656D7074792D747970652D65
712D6465636C206E696C2067726F7570
206E696C290D0A202020202866696E69
74655F67726F75703F20636F6E73742D
6465636C2022626F6F6C222067726F75
705F646566206E696C290D0A20202020
2867726F7570206E6F6E656D7074792D
747970652D65712D6465636C206E696C
2067726F7570206E696C290D0A202020
202867726F75703F20636F6E73742D64
65636C2022626F6F6C222067726F7570
5F646566206E696C290D0A2020202028
73657420747970652D65712D6465636C
206E696C2073657473206E696C290D0A
2020202028626F6F6C206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C20626F6F6C65616E73206E696C
290D0A2020202028626F6F6C65616E20
6E6F6E656D7074792D747970652D6465
636C206E696C20626F6F6C65616E7320
6E696C290D0A202020202867656E6572
617465645F69735F73756267726F7570
20666F726D756C612D6465636C206E69
6C2067726F7570206E696C290D0A2020
20202873756267726F75703F20636F6E
73742D6465636C2022626F6F6C222067
726F75705F646566206E696C290D0A20
202020284E4F5420636F6E73742D6465
636C20225B626F6F6C202D3E20626F6F
6C5D2220626F6F6C65616E73206E696C
290D0A202020202869735F66696E6974
6520636F6E73742D6465636C2022626F
6F6C222066696E6974655F7365747320
6E696C290D0A20202020284721312073
6B6F6C656D2D636F6E73742D6465636C
202266696E6974655F67726F75705B54
2C202A2C206F6E655D222066696E6974
655F67726F757073206E696C290D0A20
2020202867656E6572617465645F6279
20636F6E73742D6465636C202267726F
7570222067726F7570206E696C290D0A
202020202866696E6974655F73657420
747970652D65712D6465636C206E696C
2066696E6974655F73657473206E696C
290D0A202020202866696E6974655F73
756273657420666F726D756C612D6465
636C206E696C2066696E6974655F7365
7473206E696C290D0A20202020287375
627365745F69735F7061727469616C5F
6F72646572206E616D652D6A75646765
6D656E742022287061727469616C5F6F
726465723F5B7365745B545D5D29220D
0A2020202020736574735F6C656D6D61
73206E696C290D0A20202020286D656D
62657220636F6E73742D6465636C2022
626F6F6C222073657473206E696C2929
0D0A20202073686F7374616B29290D0A
202866696E6974655F67656E65726174
65645F62795F6465665F544343312030
0D0A20202866696E6974655F67656E65
72617465645F62795F6465665F544343
312D31206E696C203332393332383537
37350D0A2020202822222028736B6F73
696D702A290D0A202020202828222220
286C656D6D61202266696E6974655F67
656E6572617465645F627922290D0A20
2020202020282822222028696E73743F
29202828222220286173736572742920
6E696C206E696C2929206E696C292920
6E696C29290D0A202020206E696C290D
0A202020282866696E6974655F67656E
6572617465645F627920666F726D756C
612D6465636C206E696C2066696E6974
655F67726F757073206E696C290D0A20
202020286D656D62657220636F6E7374
2D6465636C2022626F6F6C2220736574
73206E696C290D0A202020202866696E
6974655F67726F7570206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C2067726F7570206E696C290D0A
202020202866696E6974655F67726F75
703F20636F6E73742D6465636C202262
6F6F6C222067726F75705F646566206E
696C290D0A20202020286F6E6520666F
726D616C2D636F6E73742D6465636C20
2254222066696E6974655F67726F7570
73206E696C290D0A20202020282A2066
6F726D616C2D636F6E73742D6465636C
20225B542C2054202D3E20545D222066
696E6974655F67726F757073206E696C
290D0A20202020287365742074797065
2D65712D6465636C206E696C20736574
73206E696C290D0A2020202028626F6F
6C206E6F6E656D7074792D747970652D
65712D6465636C206E696C20626F6F6C
65616E73206E696C290D0A2020202028
626F6F6C65616E206E6F6E656D707479
2D747970652D6465636C206E696C2062
6F6F6C65616E73206E696C290D0A2020
2020285420666F726D616C2D6E6F6E65
6D7074792D747970652D6465636C206E
696C2066696E6974655F67726F757073
206E696C29290D0A20202073686F7374
616B29290D0A202866696E6974655F67
656E6572617465645F62795F64656620
300D0A20202866696E6974655F67656E
6572617465645F62795F6465662D3220
6E696C20333430373233373339370D0A
2020202822222028736B6F73696D702A
290D0A20202020282822222028636173
652022532131286121312922290D0A20
20202020202828223122202861737365
7274290D0A2020202020202020282822
31222028747970657072656420224721
3122290D0A2020202020202020202028
282231222028657870616E6420226669
6E6974655F67726F75703F22290D0A20
20202020202020202020202828223122
2028666C617474656E290D0A20202020
20202020202020202020282822312220
286C656D6D61202266696E6974655F73
75627365742220282273222022532131
222022412220224721312229290D0A20
20202020202020202020202020202028
282231222028617373657274290D0A20
20202020202020202020202020202020
20282822312220286C656D6D6120226E
6F6E656D7074795F6361726422202822
532220225321312229290D0A20202020
20202020202020202020202020202020
28282231222028666C617474656E202D
31290D0A202020202020202020202020
20202020202020202020282822312220
2868696465202D32290D0A2020202020
20202020202020202020202020202020
20202028282231222028636173652D72
65706C61636520226E6F6E656D707479
3F285321312922290D0A202020202020
20202020202020202020202020202020
2020202028282231220D0A2020202020
20202020202020202020202020202020
20202020202020286E616D6520225822
0D0A2020202020202020202020202020
20202020202020202020202020202020
20202020227B743A2054207C20455849
53545320286E3A20706F736E6174293A
206E203C3D2063617264285321312920
414E442074203D20612131205E206E7D
22290D0A202020202020202020202020
20202020202020202020202020202020
282822312220287265706C616365202D
31290D0A202020202020202020202020
20202020202020202020202020202020
202028282231220D0A20202020202020
20202020202020202020202020202020
20202020202020202028636173652022
7375627365743F28582C532131292229
0D0A2020202020202020202020202020
20202020202020202020202020202020
202028282231220D0A20202020202020
20202020202020202020202020202020
2020202020202020202020286E616D65
20224E22202263617264285321312922
290D0A20202020202020202020202020
20202020202020202020202020202020
202020202028282231220D0A20202020
20202020202020202020202020202020
20202020202020202020202020202020
287265706C616365202D31290D0A2020
20202020202020202020202020202020
20202020202020202020202020202020
202028282231220D0A20202020202020
20202020202020202020202020202020
20202020202020202020202020202028
636173650D0A20202020202020202020
20202020202020202020202020202020
2020202020202020202020202022464F
52414C4C20286E3A706F736E6174293A
206E203C204E203D3E206121315E6E20
2F3D206F6E6522290D0A202020202020
20202020202020202020202020202020
20202020202020202020202020202020
28282231220D0A202020202020202020
20202020202020202020202020202020
20202020202020202020202020202028
636173650D0A20202020202020202020
20202020202020202020202020202020
20202020202020202020202020202022
464F52414C4C2028692C6A3A706F736E
6174293A2069203C3D204E2026206A20
3C3D204E20262069202F3D206A203D3E
206121315E69202F3D206121315E6A22
290D0A20202020202020202020202020
20202020202020202020202020202020
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|