Quelle  skolemization.bin   Sprache: unbekannt

01000000160F0000050000000B000000
18000000000000000400000063000000
6F0000006E000000730000000F000000
02000000330000003000000000000000
07000000690000006E00000074000000
65000000670000006500000072000000
340000003C0000005800000067000000
9700000097000000270100003E010000
97000000970000009700000097000000
970000004E010000D20D000097000000
97000000970000009700000097000000
97000000ED0D00009700000097000000
9700000097000000100F000097000000
00000000060000006D0000006F000000
64000000750000006C00000065000000
42000000040000004A0000004D000000
50000000540000000000000006000000
76000000650000006300000074000000
6F000000720000000F00000001000000
380000000F0000000100000030000000
0F000000020000003200000033000000
0F000000020000003100000037000000
000000000D000000730000006B000000
6F0000006C000000650000006D000000
690000007A0000006100000074000000
690000006F0000006E0000006B000000
0200000071000000F600000000000000
040000006C0000006900000073000000
7400000085000000970000009C000000
9C000000E200000097000000B7000000
97000000970000001800000097000000
F0000000F00000009700000097000000
97000000970000004D00000097000000
F3000000000000001000000066000000
6F000000720000006D00000061000000
6C0000002D0000007400000079000000
70000000650000002D00000064000000
65000000630000006C00000000000000
030000006E000000690000006C000000
AC000000970000009700000097000000
970000009700000097000000B7000000
9700000097000000BA00000097000000
4D000000970000009700000097000000
00000000090000007400000079000000
70000000650000002D0000006E000000
610000006D0000006500000000000000
01000000440000006B00000001000000
BD000000C100000071000000CD000000
9C000000000000000A00000072000000
65000000730000006F0000006C000000
7500000074000000690000006F000000
6E000000D90000009700000097000000
97000000970000009700000097000000
97000000580000009700000097000000
9700000000000000070000006D000000
6F000000640000006E00000061000000
6D000000650000004200000004000000
4A000000E80000004A000000EC000000
0F000000020000003200000030000000
0F000000020000003200000034000000
0000000001000000740000006B000000
01000000AC0000008500000097000000
0A0100000A010000E200000097000000
1A010000970000009700000018000000
9700000097000000F000000097000000
9700000097000000970000004D000000
9700000024010000AC00000097000000
97000000970000009700000097000000
970000001A0100009700000097000000
1D010000970000004D00000097000000
97000000970000000000000001000000
520000006B0000000100000020010000
C1000000F6000000CD0000000A010000
6B00000001000000AC00000036010000
0D000000730000006B0000006F000000
6C000000650000006D00000069000000
7A000000610000007400000069000000
6F0000006E0000000000000006000000
73000000740000007200000069000000
6E000000670000006B00000001000000
41010000000000000B00000074000000
79000000700000006500000063000000
6800000065000000630000006B000000
65000000640000006B00000006000000
56010000C40100001E020000DD020000
A8040000030A00006701000071010000
97000000820100009700000097000000
180000008501000097000000F0000000
97000000970000009700000097000000
4D00000088010000AB01000000000000
08000000760000006100000072000000
2D000000640000006500000063000000
6C000000420000000400000077010000
7B010000770100007E0100000F000000
0200000031000000320000000F000000
01000000320000000F00000002000000
31000000300000000000000001000000
640000006B0000000100000071000000
AC000000970000009700000097000000
970000009700000097000000B7000000
970000009700000098010000BB010000
4D000000970000009700000097000000
6B000000010000009B010000C1000000
710000009F010000AB010000D9000000
97000000970000009700000097000000
97000000970000009700000058000000
970000009700000097000000AC000000
97000000970000009700000097000000
9700000097000000B700000097000000
97000000BA000000970000004D000000
97000000970000009700000042000000
0400000077010000C101000077010000
7E0100000F0000000100000039000000
67010000D501000097000000DF010000
970000009700000018000000E2010000
97000000F00000009700000097000000
97000000970000004D000000E5010000
080200004200000004000000DB010000
7B010000DB0100007E0100000F000000
02000000310000003300000000000000
01000000720000006B00000001000000
F6000000AC0000009700000097000000
97000000970000009700000097000000
1A0100009700000097000000F5010000
180200004D0000009700000097000000
970000006B00000001000000F8010000
C1000000F6000000FC01000008020000
D9000000970000009700000097000000
97000000970000009700000097000000
58000000970000009700000097000000
AC000000970000009700000097000000
9700000097000000970000001A010000
97000000970000001D01000097000000
4D000000970000009700000097000000
4200000004000000DB010000C1010000
DB0100007E010000670100002F020000
97000000390200009700000097000000
180000003C02000097000000F0000000
97000000970000009700000097000000
4D00000040020000D502000042000000
04000000350200007B01000035020000
540000000F0000000200000031000000
34000000000000000100000066000000
6B00000002000000F600000071000000
48020000510200004D00000097000000
97000000970000005702000094020000
00000000070000006600000075000000
6E000000740000007900000070000000
65000000420000000400000035020000
C10100003502000054000000AC000000
97000000970000009700000097000000
9700000097000000B700000097000000
97000000670200008A0200004D000000
9700000097000000970000006B000000
010000006A020000C100000071000000
6E0200007A020000D900000097000000
97000000970000009700000097000000
97000000970000005800000097000000
9700000097000000AC00000097000000
97000000970000009700000097000000
97000000B70000009700000097000000
BA000000970000004D00000097000000
97000000970000004200000004000000
350200007E0100003502000090020000
0F000000020000003100000031000000
AC000000970000009700000097000000
9700000097000000970000001A010000
9700000097000000A4020000C7020000
4D000000970000009700000097000000
6B00000001000000A7020000C1000000
F6000000AB020000B7020000D9000000
97000000970000009700000097000000
97000000970000009700000058000000
970000009700000097000000AC000000
97000000970000009700000097000000
97000000970000001A01000097000000
970000001D010000970000004D000000
97000000970000009700000042000000
0400000035020000CD02000035020000
D10200000F0000000200000031000000
350000000F0000000200000031000000
3600000048020000970000004D000000
9700000097000000970000007A020000
B702000067010000EE02000097000000
F8020000970000009700000018000000
FB02000097000000F000000097000000
9700000097000000970000004D000000
1B030000290400004200000004000000
CD0200007B010000CD020000F4020000
0F000000020000003200000031000000
0000000001000000700000006B000000
0300000000030000F600000071000000
030300000C0300000100000000000000
07000000640000006500000063000000
6C000000720000006500000066000000
000000000D0000006400000065000000
66000000690000006E00000065000000
640000005F0000007400000079000000
700000006500000073000000AC000000
97000000970000002B03000097000000
9700000097000000DD03000097000000
97000000E3030000A20400004D000000
9700000097000000970000006B000000
010000002E030000320300003A030000
40030000D10300000000000006000000
61000000630000007400000075000000
610000006C0000004200000004000000
CD02000035020000CD020000E8000000
480300003A0300004D00000097000000
97000000970000005303000097000000
00000000090000007400000075000000
700000006C0000006500000074000000
7900000070000000650000006B000000
020000005703000090030000AC000000
97000000970000009700000097000000
9700000097000000B700000097000000
97000000670300008A0300004D000000
9700000097000000970000006B000000
010000006A030000C100000071000000
6E0300007A030000D900000097000000
97000000970000009700000097000000
97000000970000005800000097000000
9700000097000000AC00000097000000
97000000970000009700000097000000
97000000B70000009700000097000000
BA000000970000004D00000097000000
97000000970000004200000004000000
CD020000CD020000CD020000D1020000
AC000000970000009700000097000000
9700000097000000970000001A010000
9700000097000000A0030000C3030000
4D000000970000009700000097000000
6B00000001000000A3030000C1000000
F6000000A7030000B3030000D9000000
97000000970000009700000097000000
97000000970000009700000058000000
970000009700000097000000AC000000
97000000970000009700000097000000
97000000970000001A01000097000000
970000001D010000970000004D000000
97000000970000009700000042000000
04000000CD020000C9030000CD020000
CD0300000F0000000200000031000000
380000000F0000000200000031000000
3900000048030000970000004D000000
970000009700000097000000D9030000
970000006B000000020000007A030000
B3030000000000000400000070000000
7200000065000000640000006B000000
01000000E6030000C100000000030000
EA03000029040000D900000097000000
9700000097000000F603000097000000
97000000970000000C03000097000000
97000000970000006B00000001000000
F90300003203000097000000FD030000
D1030000480300003A0300004D000000
...

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