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


Quelle  TimeFileMaker.py   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
66726F6D205F5F6675747572655F5F20
696D706F727420776974685F73746174
656D656E740A66726F6D205F5F667574
7572655F5F20696D706F727420646976
6973696F6E0A66726F6D205F5F667574
7572655F5F20696D706F727420756E69
636F64655F6C69746572616C730A6672
6F6D205F5F6675747572655F5F20696D
706F7274207072696E745F66756E6374
696F6E0A696D706F7274207379730A69
6D706F72742072650A696D706F727420
61726770617273650A696D706F727420
6F730A696D706F7274206D6174680A66
726F6D20696F20696D706F7274206F70
656E0A0A232054686973207363726970
742070617273657320746865206F7574
707574206F6620606D616B652054494D
45443D316020696E746F206120646963
74696F6E6172790A23206D617070696E
67206E616D6573206F6620636F6D7069
6C65642066696C657320746F20746865
206E756D626572206F66206D696E7574
657320616E64207365636F6E64730A23
2074686174207468657920746F6F6B20
746F20636F6D70696C652E0A0A535452
49505F524547203D2072652E636F6D70
696C6528275E283F3A25732F293F2863
6F712F7C636F6E747269622F7C29283F
3A7468656F726965732F7C7372632F29
3F2720252072652E657363617065286F
732E676574637764282929290A535452
49505F524550203D2072275C31270A49
4E46494E49545920203D20275C753232
3165270A0A54494D455F4B4559203D20
2774696D65270A4D454D5F4B4559203D
20276D656D270A0A646566206E6F6E6E
6567617469766528617267293A0A2020
202076203D20696E7428617267290A20
20202069662076203C20303A20726169
73652061726770617273652E41726775
6D656E74547970654572726F72282225
7320697320616E20696E76616C696420
6E6F6E2D6E6567617469766520696E74
2076616C756522202520617267290A20
20202072657475726E20760A0A646566
206164645F736F72745F627928706172
736572293A0A2020202072657475726E
207061727365722E6164645F61726775
6D656E74280A2020202020202020272D
2D736F72742D6279272C20747970653D
7374722C20646573743D27736F72745F
6279272C2063686F696365733D282761
75746F272C20276162736F6C75746527
2C20276469666627292C0A2020202020
20202064656661756C743D276175746F
272C0A202020202020202068656C703D
2827486F7720746F20736F7274207468
65207461626C6520656E74726965732E
5C6E27202B0A20202020202020202020
202020202754686520226175746F2220
6D6574686F6420736F72747320627920
6162736F6C7574652074696D65206469
66666572656E6365732027202B0A2020
20202020202020202020202027726F75
6E64656420746F7761726473207A6572
6F20746F20612077686F6C652D6E756D
626572206F66207365636F6E64732C20
7468656E2027202B0A20202020202020
202020202020202762792074696D6573
20696E20746865202261667465722220
636F6C756D6E2C20616E642066696E61
6C6C792027202B0A2020202020202020
202020202020276C657869636F677261
70686963616C6C792062792066696C65
206E616D652E20546869732077696C6C
20707574207468652027202B0A202020
20202020202020202020202762696767
657374206368616E67657320696E2065
697468657220646972656374696F6E20
66697273742C20616E642077696C6C20
27202B0A202020202020202020202020
20202770726566657220736F7274696E
67206279206275696C642D74696D6520
6F766572207375627365636F6E642063
68616E67657320696E2027202B0A2020
20202020202020202020202027627569
6C642074696D65202877686963682061
7265206672657175656E746C79206E6F
697365293B206C657869636F67726170
6869632027202B0A2020202020202020
20202020202027736F7274696E672066
6F7263657320616E206F72646572206F
6E2066696C6573207768696368207461
6B65206566666563746976656C792027
202B0A20202020202020202020202020
20276E6F2074696D6520746F20636F6D
70696C652E5C6E27202B0A2020202020
20202020202020202027546865202261
62736F6C75746522206D6574686F6420
736F7274732062792074686520746F74
616C2074696D652074616B656E2E5C6E
27202B0A202020202020202020202020
20202754686520226469666622206D65
74686F6420736F727473206279207468
65207369676E65642064696666657265
6E636520696E2074696D652E2729290A
0A646566206164645F736F72745F6279
5F6D656D28706172736572293A0A2020
202072657475726E207061727365722E
6164645F617267756D656E74280A2020
202020202020272D2D736F72742D6279
2D6D656D272C20616374696F6E3D2773
746F72655F74727565272C2064657374
3D27736F72745F62795F6D656D272C0A
202020202020202068656C703D282753
6F727420746865207461626C6520656E
7472696573206279206D656D6F727920
726174686572207468616E2074696D65
2E2729290A0A646566206164645F6675
7A7A28706172736572293A0A20202020
72657475726E207061727365722E6164
645F617267756D656E74280A20202020
20202020272D2D66757A7A272C206465
73743D2766757A7A272C206D65746176
61723D274E272C20747970653D6E6F6E
6E656761746976652C2064656661756C
743D302C0A202020202020202068656C
703D282742792064656661756C742C20
74776F206C696E657320617265206F6E
6C7920636F6E73696465726564207468
652073616D652069662027202B0A2020
20202020202020202020202027746865
20636861726163746572206F66667365
747320616E6420696E697469616C2063
6F646520737472696E6773206D617463
682E2020270A20202020202020202020
202020202754686973206F7074696F6E
2072656C61786573207468697320636F
6E73747261696E7420627920616C6C6F
77696E67207468652027202B0A202020
20202020202020202020202763686172
6163746572206F66667365747320746F
2064696666657220627920757020746F
204E20636861726163746572732C2061
73206C6F6E672027202B0A2020202020
20202020202020202027617320746865
20746F74616C206E756D626572206F66
206368617261637465727320616E6420
696E697469616C20636F646520737472
696E67732027202B0A20202020202020
2020202020202027636F6E74696E7565
20746F206D617463682E202054686973
2069732075736566756C207768656E20
74686572652061726520736D616C6C20
6368616E6765732027202B0A20202020
2020202020202020202027746F206120
66696C652C20616E6420796F75207761
6E7420746F206D61746368206C617465
72206C696E6573207468617420686176
65206E6F742027202B0A202020202020
2020202020202020276368616E676564
206576656E2074686F75676820746865
20636861726163746572206F66667365
74732068617665206368616E6765642E
2729290A0A646566206164645F726561
6C287061727365722C2073696E676C65
5F74696D696E673D46616C7365293A0A
2020202072657475726E207061727365
722E6164645F617267756D656E74280A
2020202020202020272D2D7265616C27
2C20616374696F6E3D2773746F72655F
74727565272C0A202020202020202068
656C703D287227272755736520726561
6C2074696D6573207261746865722074
68616E20757365722074696D65732E0A
0A272727202B20282727274279206465
6661756C742C2074686520696E707574
20697320657870656374656420746F20
636F6E7461696E206C696E657320696E
2074686520666F726D61743A0A46494C
455F4E414D4520282E2E2E757365723A
204E554D4245525F494E5F5345434F4E
44532E2E2E6D656D3A204E554D424552
206B6F2E2E2E290A4966202D2D726561
6C206973207061737365642C20746865
6E20746865206C696E65732061726520
696E7374656164206578706563746564
20696E2074686520666F726D61743A0A
46494C455F4E414D4520282E2E2E7265
616C3A204E554D4245525F494E5F5345
434F4E44532E2E2E6D656D3A204E554D
424552206B6F2E2E2E29272727206966
206E6F742073696E676C655F74696D69
6E6720656C73650A2727275468652069
6E707574206973206578706563746564
20746F20636F6E7461696E206C696E65
7320696E2074686520666F726D61743A
0A4368617273205354415254202D2045
4E4420434F4D4D414E44204E554D4245
52207365637320284E554D424552752E
2E2E292727272929290A0A6465662061
64645F75736572287061727365722C20
73696E676C655F74696D696E673D4661
6C7365293A0A2020202072657475726E
207061727365722E6164645F61726775
6D656E74280A2020202020202020272D
2D75736572272C20646573743D277265
616C272C20616374696F6E3D2773746F
72655F66616C7365272C0A2020202020
20202068656C703D2872272727557365
20757365722074696D65732072617468
6572207468616E207265616C2074696D
65732E0A0A272727202B202827272742
792064656661756C742C207468652069
6E707574206973206578706563746564
20746F20636F6E7461696E206C696E65
7320696E2074686520666F726D61743A
0A46494C455F4E414D4520282E2E2E72
65616C3A204E554D4245525F494E5F53
45434F4E44532E2E2E6D656D3A204E55
4D424552206B6F2E2E2E290A4966202D
2D75736572206973207061737365642C
207468656E20746865206C696E657320
61726520696E73746561642065787065
6374656420696E2074686520666F726D
61743A0A46494C455F4E414D4520282E
2E2E757365723A204E554D4245525F49
4E5F5345434F4E44532E2E2E6D656D3A
204E554D424552206B6F2E2E2E292727
27206966206E6F742073696E676C655F
74696D696E6720656C73650A27272754
686520696E7075742069732065787065
6374656420746F20636F6E7461696E20
6C696E657320696E2074686520666F72
6D61743A0A4368617273205354415254
202D20454E4420434F4D4D414E44204E
554D424552207365637320284E554D42
4552752E2E2E292727272929290A0A64
6566206164645F696E636C7564655F6D
656D28706172736572293A0A20202020
72657475726E207061727365722E6164
645F617267756D656E74280A20202020
20202020272D2D6E6F2D696E636C7564
652D6D656D272C20646573743D27696E
636C7564655F6D656D272C2064656661
756C743D547275652C20616374696F6E
3D2773746F72655F66616C7365272C0A
202020202020202068656C703D287227
2727446F6E277420696E636C75646520
6D656D6F727920696E20746865207461
626C652E27272729290A0A23204E2E42
2E205765206E65656420746F20696E63
6C7564652064656661756C743D4E6F6E
6520666F72206E617267733D272A272C
20632E662E2C2068747470733A2F2F62
7567732E707974686F6E2E6F72672F69
...

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