|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
group_action.prf
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
2867726F75705F616374696F6E0D0A20
28494D505F67726F75705F5443433120
300D0A202028494D505F67726F75705F
544343312D31206E696C203335323937
37373730390D0A202020282222202872
657772697465202266756C6C7365745F
69735F67726F75702229206E696C206E
696C290D0A202020282866756C6C7365
745F69735F67726F757020666F726D75
6C612D6465636C206E696C2067726F75
705F616374696F6E206E696C2929206E
696C29290D0A202867726F75705F6163
74696F6E3F5F5443433120300D0A2020
2867726F75705F616374696F6E3F5F54
4343312D31206E696C20333532393339
353431360D0A2020202822222028736B
6F73696D702920282822222028726577
7269746520226F6E655F696E2229206E
696C206E696C2929206E696C290D0A20
202028286F6E655F696E20666F726D75
6C612D6465636C206E696C206D6F6E61
642022616C67656272612F22290D0A20
20202028626F6F6C65616E206E6F6E65
6D7074792D747970652D6465636C206E
696C20626F6F6C65616E73206E696C29
0D0A2020202028626F6F6C206E6F6E65
6D7074792D747970652D65712D646563
6C206E696C20626F6F6C65616E73206E
696C290D0A2020202028736574207479
70652D65712D6465636C206E696C2073
657473206E696C290D0A20202020286D
6F6E61643F20636F6E73742D6465636C
2022626F6F6C22206D6F6E61645F6465
662022616C67656272612F22290D0A20
202020286D6F6E6164206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C206D6F6E61642022616C676562
72612F22290D0A202020202867726F75
703F20636F6E73742D6465636C202262
6F6F6C222067726F75705F6465662022
616C67656272612F22290D0A20202020
2867726F7570206E6F6E656D7074792D
747970652D65712D6465636C206E696C
2067726F75702022616C67656272612F
22290D0A20202020285420666F726D61
6C2D747970652D6465636C206E696C20
67726F75705F616374696F6E206E696C
290D0A20202020282A20666F726D616C
2D636F6E73742D6465636C20225B542C
2054202D3E20545D222067726F75705F
616374696F6E206E696C290D0A202020
20286F6E6520666F726D616C2D636F6E
73742D6465636C202254222067726F75
705F616374696F6E206E696C29290D0A
2020206E696C29290D0A202867726F75
705F616374696F6E3F5F544343322030
0D0A20202867726F75705F616374696F
6E3F5F544343322D31206E696C203335
32393339353431360D0A202020282222
2028736B6F73696D7029202828222220
2872657772697465202270726F647563
745F696E2229206E696C206E696C2929
206E696C290D0A202020282870726F64
7563745F696E20666F726D756C612D64
65636C206E696C2067726F7570202261
6C67656272612F22290D0A2020202028
626F6F6C65616E206E6F6E656D707479
2D747970652D6465636C206E696C2062
6F6F6C65616E73206E696C290D0A2020
202028626F6F6C206E6F6E656D707479
2D747970652D65712D6465636C206E69
6C20626F6F6C65616E73206E696C290D
0A202020202873657420747970652D65
712D6465636C206E696C207365747320
6E696C290D0A202020202867726F7570
3F20636F6E73742D6465636C2022626F
6F6C222067726F75705F646566202261
6C67656272612F22290D0A2020202028
67726F7570206E6F6E656D7074792D74
7970652D65712D6465636C206E696C20
67726F75702022616C67656272612F22
290D0A20202020285420666F726D616C
2D747970652D6465636C206E696C2067
726F75705F616374696F6E206E696C29
0D0A20202020282A20666F726D616C2D
636F6E73742D6465636C20225B542C20
54202D3E20545D222067726F75705F61
6374696F6E206E696C290D0A20202020
286F6E6520666F726D616C2D636F6E73
742D6465636C202254222067726F7570
5F616374696F6E206E696C29290D0A20
20206E696C29290D0A20287374616269
6C697A65725F5443433120300D0A2020
2873746162696C697A65725F54434331
2D31206E696C20333532393439363737
30202822222028737562747970652D74
636329206E696C206E696C290D0A2020
202828626F6F6C65616E206E6F6E656D
7074792D747970652D6465636C206E69
6C20626F6F6C65616E73206E696C290D
0A2020202028626F6F6C206E6F6E656D
7074792D747970652D65712D6465636C
206E696C20626F6F6C65616E73206E69
6C290D0A20202020284E4F5420636F6E
73742D6465636C20225B626F6F6C202D
3E20626F6F6C5D2220626F6F6C65616E
73206E696C290D0A2020202028542066
6F726D616C2D747970652D6465636C20
6E696C2067726F75705F616374696F6E
206E696C290D0A202020202873657420
747970652D65712D6465636C206E696C
2073657473206E696C290D0A20202020
282A20666F726D616C2D636F6E73742D
6465636C20225B542C2054202D3E2054
5D222067726F75705F616374696F6E20
6E696C290D0A20202020286F6E652066
6F726D616C2D636F6E73742D6465636C
202254222067726F75705F616374696F
6E206E696C290D0A202020202867726F
75703F20636F6E73742D6465636C2022
626F6F6C222067726F75705F64656620
22616C67656272612F22290D0A202020
202867726F7570206E6F6E656D707479
2D747970652D65712D6465636C206E69
6C2067726F75702022616C6765627261
2F22290D0A2020202028543120666F72
6D616C2D747970652D6465636C206E69
6C2067726F75705F616374696F6E206E
696C290D0A2020202028696E765F6578
697374733F20636F6E73742D6465636C
2022626F6F6C222067726F75705F6465
662022616C67656272612F22290D0A20
202020286D6F6E6F69643F20636F6E73
742D6465636C2022626F6F6C22206D6F
6E6F69645F6465662022616C67656272
612F22290D0A20202020286173736F63
6961746976653F20636F6E73742D6465
636C2022626F6F6C22206F7065726174
6F725F64656673206E696C290D0A2020
2020286D6F6E61643F20636F6E73742D
6465636C2022626F6F6C22206D6F6E61
645F6465662022616C67656272612F22
290D0A20202020286964656E74697479
3F20636F6E73742D6465636C2022626F
6F6C22206F70657261746F725F646566
73206E696C290D0A20202020286C6566
745F6964656E7469747920666F726D75
6C612D6465636C206E696C206D6F6E61
642022616C67656272612F22290D0A20
20202028726573747269637420636F6E
73742D6465636C202252222072657374
72696374206E696C290D0A2020202028
72696768745F6964656E746974792066
6F726D756C612D6465636C206E696C20
6D6F6E61642022616C67656272612F22
290D0A20202020286F6E655F6D656D62
657220666F726D756C612D6465636C20
6E696C206D6F6E61642022616C676562
72612F22290D0A202020202873746172
5F636C6F7365643F20636F6E73742D64
65636C2022626F6F6C222067726F7570
6F69645F6465662022616C6765627261
2F22290D0A202020202847213120736B
6F6C656D2D636F6E73742D6465636C20
2267726F75705B542C202A2C206F6E65
5D222067726F75705F616374696F6E20
6E696C290D0A2020202028657874656E
6420636F6E73742D6465636C20225222
20657874656E64206E696C290D0A2020
2020286D656D62657220636F6E73742D
6465636C2022626F6F6C222073657473
206E696C290D0A202020202873756273
65743F20636F6E73742D6465636C2022
626F6F6C222073657473206E696C2929
0D0A2020206E696C29290D0A20286F72
6269745F5443433120300D0A2020286F
726269745F544343312D31206E696C20
33353239363037343139202822222028
737562747970652D74636329206E696C
206E696C290D0A2020202828626F6F6C
65616E206E6F6E656D7074792D747970
652D6465636C206E696C20626F6F6C65
616E73206E696C290D0A202020202862
6F6F6C206E6F6E656D7074792D747970
652D65712D6465636C206E696C20626F
6F6C65616E73206E696C290D0A202020
20284E4F5420636F6E73742D6465636C
20225B626F6F6C202D3E20626F6F6C5D
2220626F6F6C65616E73206E696C290D
0A20202020285420666F726D616C2D74
7970652D6465636C206E696C2067726F
75705F616374696F6E206E696C290D0A
202020202873657420747970652D6571
2D6465636C206E696C2073657473206E
696C290D0A20202020282A20666F726D
616C2D636F6E73742D6465636C20225B
542C2054202D3E20545D222067726F75
705F616374696F6E206E696C290D0A20
202020286F6E6520666F726D616C2D63
6F6E73742D6465636C20225422206772
6F75705F616374696F6E206E696C290D
0A202020202867726F75703F20636F6E
73742D6465636C2022626F6F6C222067
726F75705F6465662022616C67656272
612F22290D0A202020202867726F7570
206E6F6E656D7074792D747970652D65
712D6465636C206E696C2067726F7570
2022616C67656272612F22290D0A2020
202028543120666F726D616C2D747970
652D6465636C206E696C2067726F7570
5F616374696F6E206E696C290D0A2020
202028696E765F6578697374733F2063
6F6E73742D6465636C2022626F6F6C22
2067726F75705F6465662022616C6765
6272612F22290D0A20202020286D6F6E
6F69643F20636F6E73742D6465636C20
22626F6F6C22206D6F6E6F69645F6465
662022616C67656272612F22290D0A20
202020286173736F636961746976653F
20636F6E73742D6465636C2022626F6F
6C22206F70657261746F725F64656673
206E696C290D0A20202020286D6F6E61
643F20636F6E73742D6465636C202262
6F6F6C22206D6F6E61645F6465662022
616C67656272612F22290D0A20202020
286964656E746974793F20636F6E7374
2D6465636C2022626F6F6C22206F7065
7261746F725F64656673206E696C290D
0A20202020286C6566745F6964656E74
69747920666F726D756C612D6465636C
206E696C206D6F6E61642022616C6765
6272612F22290D0A2020202028726573
747269637420636F6E73742D6465636C
20225222207265737472696374206E69
6C290D0A202020202872696768745F69
64656E7469747920666F726D756C612D
6465636C206E696C206D6F6E61642022
616C67656272612F22290D0A20202020
286F6E655F6D656D62657220666F726D
756C612D6465636C206E696C206D6F6E
61642022616C67656272612F22290D0A
2020202028737461725F636C6F736564
3F20636F6E73742D6465636C2022626F
6F6C222067726F75706F69645F646566
2022616C67656272612F22290D0A2020
20202847213120736B6F6C656D2D636F
6E73742D6465636C202267726F75705B
542C202A2C206F6E655D222067726F75
705F616374696F6E206E696C290D0A20
20202028657874656E6420636F6E7374
2D6465636C2022522220657874656E64
206E696C290D0A20202020286D656D62
657220636F6E73742D6465636C202262
6F6F6C222073657473206E696C290D0A
20202020287375627365743F20636F6E
73742D6465636C2022626F6F6C222073
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
