Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/structures/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 267 kB image not shown  


Quelle  lib-ffi.m4   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
230A2320436F70797269676874202863
2920323031352C20323032302C204F72
61636C6520616E642F6F722069747320
616666696C69617465732E20416C6C20
7269676874732072657365727665642E
0A2320444F204E4F5420414C54455220
4F522052454D4F564520434F50595249
474854204E4F5449434553204F522054
4849532046494C45204845414445522E
0A230A23205468697320636F64652069
73206672656520736F6674776172653B
20796F752063616E2072656469737472
696275746520697420616E642F6F7220
6D6F646966792069740A2320756E6465
7220746865207465726D73206F662074
686520474E552047656E6572616C2050
75626C6963204C6963656E7365207665
7273696F6E2032206F6E6C792C206173
0A23207075626C697368656420627920
746865204672656520536F6674776172
6520466F756E646174696F6E2E20204F
7261636C652064657369676E61746573
20746869730A2320706172746963756C
61722066696C65206173207375626A65
637420746F207468652022436C617373
706174682220657863657074696F6E20
61732070726F76696465640A23206279
204F7261636C6520696E20746865204C
4943454E53452066696C652074686174
206163636F6D70616E69656420746869
7320636F64652E0A230A232054686973
20636F64652069732064697374726962
7574656420696E2074686520686F7065
20746861742069742077696C6C206265
2075736566756C2C2062757420574954
484F55540A2320414E59205741525241
4E54593B20776974686F757420657665
6E2074686520696D706C696564207761
7272616E7479206F66204D4552434841
4E544142494C495459206F720A232046
49544E45535320464F52204120504152
544943554C415220505552504F53452E
20205365652074686520474E55204765
6E6572616C205075626C6963204C6963
656E73650A232076657273696F6E2032
20666F72206D6F72652064657461696C
7320286120636F707920697320696E63
6C7564656420696E20746865204C4943
454E53452066696C6520746861740A23
206163636F6D70616E69656420746869
7320636F6465292E0A230A2320596F75
2073686F756C64206861766520726563
6569766564206120636F7079206F6620
74686520474E552047656E6572616C20
5075626C6963204C6963656E73652076
657273696F6E0A23203220616C6F6E67
2077697468207468697320776F726B3B
206966206E6F742C2077726974652074
6F20746865204672656520536F667477
61726520466F756E646174696F6E2C0A
2320496E632E2C203531204672616E6B
6C696E2053742C20466966746820466C
6F6F722C20426F73746F6E2C204D4120
30323131302D31333031205553412E0A
230A2320506C6561736520636F6E7461
6374204F7261636C652C20353030204F
7261636C65205061726B7761792C2052
6564776F6F642053686F7265732C2043
41203934303635205553410A23206F72
207669736974207777772E6F7261636C
652E636F6D20696620796F75206E6565
64206164646974696F6E616C20696E66
6F726D6174696F6E206F722068617665
20616E790A23207175657374696F6E73
2E0A230A0A2323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23232323230A23205365747570206C69
626666692028466F726569676E204675
6E6374696F6E20496E74657266616365
290A2323232323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23232323232323232323232323232323
23230A41435F444546554E5F4F4E4345
285B4C49425F53455455505F4C494246
46495D2C0A5B0A20205554494C5F4152
475F454E41424C45284E414D453A206C
69626666692D62756E646C696E672C20
44454641554C543A2066616C73652C0A
202020202020524553554C543A20454E
41424C455F4C49424646495F42554E44
4C494E472C0A20202020202044455343
3A205B656E61626C652062756E646C69
6E67206F66206C69626666692E736F20
746F206D616B6520746865206275696C
74204A444B2072756E6E61626C65206F
6E206D6F72652073797374656D735D29
0A0A202041435F4152475F5749544828
6C69626666692C205B41535F48454C50
5F535452494E47285B2D2D776974682D
6C69626666695D2C0A2020202020205B
73706563696679207072656669782064
69726563746F727920666F7220746865
206C6962666669207061636B6167650A
20202020202028657870656374696E67
20746865206C69627261726965732075
6E64657220504154482F6C696220616E
6420746865206865616465727320756E
64657220504154482F696E636C756465
295D295D290A202041435F4152475F57
495448286C69626666692D696E636C75
64652C205B41535F48454C505F535452
494E47285B2D2D776974682D6C696266
66692D696E636C7564655D2C0A202020
2020205B737065636966792064697265
63746F727920666F7220746865206C69
6266666920696E636C7564652066696C
65735D295D290A202041435F4152475F
57495448286C69626666692D6C69622C
205B41535F48454C505F535452494E47
285B2D2D776974682D6C69626666692D
6C69625D2C0A2020202020205B737065
63696679206469726563746F72792066
6F7220746865206C6962666669206C69
62726172795D295D290A0A2020696620
74657374202278244E454544535F4C49
425F46464922203D207866616C73653B
207468656E0A20202020696620287465
7374202278247B776974685F6C696266
66697D2220213D207820262620746573
74202278247B776974685F6C69626666
697D2220213D20786E6F29207C7C205C
0A202020202020202028746573742022
78247B776974685F6C69626666695F69
6E636C7564657D2220213D2078202626
2074657374202278247B776974685F6C
69626666695F696E636C7564657D2220
213D20786E6F29207C7C205C0A202020
20202020202874657374202278247B77
6974685F6C69626666695F6C69627D22
20213D20782026262074657374202278
247B776974685F6C69626666695F6C69
627D2220213D20786E6F293B20746865
6E0A20202020202041435F4D53475F57
41524E285B5B6C6962666669206E6F74
20757365642C20736F202D2D77697468
2D6C69626666695B2D2A5D2069732069
676E6F7265645D5D290A202020206669
0A202020204C49424646495F43464C41
47533D0A202020204C49424646495F4C
4942533D0A2020656C73650A20202020
4C49424646495F464F554E443D6E6F0A
0A202020206966207465737420227824
7B776974685F6C69626666697D22203D
20786E6F207C7C207465737420227824
7B776974685F6C69626666695F696E63
6C7564657D22203D20786E6F207C7C20
74657374202278247B776974685F6C69
626666695F6C69627D22203D20786E6F
3B207468656E0A20202020202041435F
4D53475F4552524F52285B4974206973
206E6F7420706F737369626C6520746F
2064697361626C652074686520757365
206F66206C69626666692E2052656D6F
766520746865202D2D776974686F7574
2D6C6962666669206F7074696F6E2E5D
290A2020202066690A0A202020206966
2074657374202278247B776974685F6C
69626666697D2220213D20783B207468
656E0A2020202020204C49424646495F
4C49425F504154483D22247B77697468
5F6C69626666697D2F6C6962220A2020
202020204C49424646495F4C4942533D
222D4C247B776974685F6C6962666669
7D2F6C6962202D6C666669220A202020
2020204C49424646495F43464C414753
3D222D49247B776974685F6C69626666
697D2F696E636C756465220A20202020
20204C49424646495F464F554E443D79
65730A2020202066690A202020206966
2074657374202278247B776974685F6C
69626666695F696E636C7564657D2220
213D20783B207468656E0A2020202020
204C49424646495F43464C4147533D22
2D49247B776974685F6C69626666695F
696E636C7564657D220A202020202020
4C49424646495F464F554E443D796573
0A2020202066690A2020202069662074
657374202278247B776974685F6C6962
6666695F6C69627D2220213D20783B20
7468656E0A2020202020204C49424646
495F4C49425F504154483D22247B7769
74685F6C69626666695F6C69627D220A
2020202020204C49424646495F4C4942
533D222D4C247B776974685F6C696266
66695F6C69627D202D6C666669220A20
20202020204C49424646495F464F554E
443D7965730A2020202066690A202020
202320446F206E6F742074727920706B
672D636F6E6669672069662077652068
617665206120737973726F6F74207365
742E0A20202020696620746573742022
7824535953524F4F5422203D20783B20
7468656E0A2020202020206966207465
7374202278244C49424646495F464F55
4E4422203D20786E6F3B207468656E0A
20202020202020202320466967757265
206F7574204C49424646495F43464C41
475320616E64204C49424646495F4C49
42530A2020202020202020504B475F43
4845434B5F4D4F44554C4553285B4C49
424646495D2C205B6C69626666695D2C
205B4C49424646495F464F554E443D79
65735D2C205B4C49424646495F464F55
4E443D6E6F5D290A2020202020206669
0A2020202066690A2020202069662074
657374202278244C49424646495F464F
554E4422203D20786E6F3B207468656E
0A20202020202041435F434845434B5F
48454144455253285B6666692E685D2C
0A202020202020202020205B0A202020
2020202020202020204C49424646495F
464F554E443D7965730A202020202020
2020202020204C49424646495F43464C
4147533D0A2020202020202020202020
204C49424646495F4C4942533D2D6C66
66690A202020202020202020205D2C0A
202020202020202020205B4C49424646
495F464F554E443D6E6F5D0A20202020
2020290A2020202066690A2020202023
206F6E206D61636F73207765206E6565
642061207370656369616C2063617365
20666F722073797374656D2773206C69
626666692061730A2020202023206865
616465727320617265206C6F63617465
64206F6E6C7920696E2073646B20696E
2024535953524F4F5420616E6420696E
2066666920737562666F6C6465720A20
20202069662074657374202278244C49
424646495F464F554E4422203D20786E
6F3B207468656E0A2020202020206966
207465737420227824535953524F4F54
2220213D202278223B207468656E0A20
2020202020202041435F434845434B5F
484541444552285B24535953524F4F54
2F7573722F696E636C7564652F666669
2F6666692E685D2C0A20202020202020
20202020205B0A202020202020202020
20202020204C49424646495F464F554E
443D7965730A20202020202020202020
202020204C49424646495F43464C4147
533D222D49247B535953524F4F547D2F
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!