Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/complex_alt/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 462 kB image not shown  


Quelle  polar.bin   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
0100000019CE0100050000000B000000
18000000000000000400000063000000
6F0000006E000000730000000F000000
02000000330000003000000000000000
07000000690000006E00000074000000
65000000670000006500000072000000
340000003C000000550000005C000000
5C0000005C0000006100000070000000
5C000000860000001B2900005C000000
5C0000004D740000F7BE01007CBF0100
9EBF01001EC001005C00000024C00100
5C00000057C401005C0000005C000000
5C0000005C00000013CE01005C000000
00000000060000006D0000006F000000
64000000750000006C00000065000000
42000000040000004A0000004D000000
500000004A0000000000000006000000
76000000650000006300000074000000
6F000000720000000F00000001000000
390000000F0000000100000030000000
0F000000030000003100000030000000
31000000000000000500000070000000
6F0000006C0000006100000072000000
00000000030000006E00000069000000
6C000000680000000500000070000000
6F0000006C0000006100000072000000
00000000060000007300000074000000
72000000690000006E00000067000000
73000000010000007900000000000000
040000006C0000006900000073000000
74000000000000000B00000074000000
79000000700000006500000063000000
6800000065000000630000006B000000
65000000640000007300000001000000
8900000073000000020000008D000000
05290000A0000000AC0000005C000000
C10000005C000000C600000018000000
DD0400005C000000D7040000D7040000
832500005C0000005C0000000B000000
89250000B2250000BA250000EB270000
000000000A000000630000006F000000
6E00000073000000740000002D000000
6400000065000000630000006C000000
4200000004000000B2000000B6000000
B9000000BD0000000F00000002000000
35000000320000000F00000001000000
320000000F0000000200000035000000
340000000F0000000200000037000000
30000000000000000300000061000000
72000000670000007300000001000000
C90000007300000001000000CC000000
DC0000004D0000005C0000005C000000
5C0000005C0000005C0000005C000000
5C0000005C0000005C000000EF000000
FB0000005C000000FE0000005C000000
0000000011000000750000006E000000
74000000790000007000000065000000
640000002D0000006200000069000000
6E000000640000002D00000064000000
65000000630000006C00000042000000
04000000B2000000F5000000B2000000
F80000000F0000000100000036000000
0F000000010000003700000000000000
010000007A000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
290100005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C000000000000000D00000061000000
64000000740000002D00000074000000
7900000070000000650000002D000000
6E000000610000006D00000065000000
0000000007000000630000006F000000
6D000000700000006C00000065000000
7800000073000000010000002C010000
300100003C010000570100006C010000
000000000A0000007200000065000000
730000006F0000006C00000075000000
74000000690000006F0000006E000000
3F010000480100000300000000000000
07000000640000006500000063000000
6C000000720000006500000066000000
000000000D000000630000006F000000
6D000000700000006C00000065000000
780000005F0000007400000079000000
70000000650000007300000063010000
5C0000005C0000005C0000005C000000
5C0000005C0000005C00000048010000
5C0000005C0000005C00000000000000
070000006D0000006F00000064000000
6E000000610000006D00000065000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C0000007F0100005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
0100000082010000300100003C010000
8601000092010000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
A50100005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C0000007300000001000000A8010000
300100003C010000AC010000B8010000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000CB0100005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
01000000CE010000300100003C010000
D2010000DE010000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
F10100005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C0000007300000001000000F4010000
300100003C010000F801000004020000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000170200005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
010000001A020000300100003C010000
1E0200002A020000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
3D0200005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C000000730000000100000040020000
300100003C0100004402000050020000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000630200005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
0100000066020000300100003C010000
6A02000076020000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
890200005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C00000073000000010000008C020000
300100003C010000900200009C020000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000AF0200005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
01000000B2020000300100003C010000
B6020000C2020000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
D50200005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C0000007300000001000000D8020000
300100003C010000DC020000E8020000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000FB0200005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
01000000FE020000300100003C010000
020300000E030000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
210300005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C000000730000000100000024030000
300100003C0100002803000034030000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000470300005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
010000004A030000300100003C010000
4E0300005A030000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
6D0300005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C000000730000000100000070030000
300100003C0100007403000080030000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000930300005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
0100000096030000300100003C010000
9A030000A6030000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
B90300005C0000004D0000005C000000
5C000000D7040000DA040000D7040000
5C0000007300000001000000BC030000
300100003C010000C0030000CC030000
630100005C0000005C0000005C000000
5C0000005C0000005C0000005C000000
480100005C0000005C0000005C000000
110100005C0000005C0000005C000000
5C0000005C0000005C00000020010000
5C0000005C000000DF0300005C000000
4D0000005C0000005C000000D7040000
DA040000D70400005C00000073000000
01000000E2030000300100003C010000
E6030000F2030000630100005C000000
5C0000005C0000005C0000005C000000
5C0000005C000000480100005C000000
5C0000005C000000110100005C000000
5C0000005C0000005C0000005C000000
5C000000200100005C0000005C000000
050400005C0000004D0000005C000000
...

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