Quelle  homomorphism_lemmas.bin   Sprache: unbekannt

0100000049340300050000000B000000
18000000000000000400000063000000
6F0000006E000000730000000F000000
02000000330000003000000000000000
07000000690000006E00000074000000
65000000670000006500000072000000
340000003C000000590000006E000000
A200000045040000351500004A150000
A20000005A1500000E1C0100A2000000
F5890100C1920100CB1A0300F31B0300
051C0300201D0300A2000000261D0300
A2000000A51E0300A200000094320300
A2000000A200000043340300A2000000
00000000060000006D0000006F000000
64000000750000006C00000065000000
42000000040000004A0000004E000000
51000000550000000000000006000000
76000000650000006300000074000000
6F000000720000000F00000002000000
31000000320000000F00000001000000
300000000F0000000200000038000000
370000000F0000000200000032000000
33000000000000001300000068000000
6F0000006D0000006F0000006D000000
6F000000720000007000000068000000
69000000730000006D0000005F000000
6C000000650000006D0000006D000000
61000000730000007600000006000000
7C0000000201000053020000B6020000
F2020000EA0300000000000004000000
6C000000690000007300000074000000
90000000A2000000A7000000A7000000
EE000000A2000000C2000000A2000000
A200000018000000A2000000A2000000
FC000000A2000000A2000000A2000000
A20000004E000000A2000000FF000000
0000000010000000660000006F000000
720000006D000000610000006C000000
2D000000740000007900000070000000
650000002D0000006400000065000000
630000006C0000000000000003000000
6E000000690000006C000000B7000000
A2000000A2000000A2000000A2000000
A2000000A2000000C2000000A2000000
A2000000C6000000A20000004E000000
A2000000A2000000A200000000000000
09000000740000007900000070000000
650000002D0000006E00000061000000
6D000000650000000000000002000000
54000000310000007600000001000000
C9000000CD0000007C000000D9000000
A7000000000000000A00000072000000
65000000730000006F0000006C000000
7500000074000000690000006F000000
6E000000E5000000A2000000A2000000
A2000000A2000000A2000000A2000000
A200000059000000A2000000A2000000
A200000000000000070000006D000000
6F000000640000006E00000061000000
6D000000650000004200000004000000
4A000000F40000004A000000F8000000
0F000000020000003200000034000000
0F000000020000003200000038000000
00000000010000007400000076000000
01000000B70000001501000028010000
2802000047020000A20000004D020000
A2000000A20000001800000050020000
A2000000FC000000A2000000A2000000
A2000000A20000004E000000FC000000
A2000000000000001100000066000000
6F000000720000006D00000061000000
6C0000002D000000630000006F000000
6E00000073000000740000002D000000
6400000065000000630000006C000000
30010000390100004E000000A2000000
A2000000A200000047010000E7010000
00000000070000006600000075000000
6E000000740000007900000070000000
6500000042000000040000004A000000
3F0100004A000000430100000F000000
0200000033000000330000000F000000
0200000034000000360000004F010000
A20000004E000000A2000000A2000000
A200000061010000A200000000000000
10000000640000006F0000006D000000
61000000690000006E0000002D000000
7400000075000000700000006C000000
65000000740000007900000070000000
65000000760000000200000065010000
A6010000B7000000A2000000A2000000
A2000000A2000000A2000000A2000000
C2000000A2000000A200000075010000
980100004E000000A2000000A2000000
A2000000760000000100000078010000
CD0000007C0000007C01000088010000
E5000000A2000000A2000000A2000000
A2000000A2000000A2000000A2000000
59000000A2000000A2000000A2000000
B7000000A2000000A2000000A2000000
A2000000A2000000A2000000C2000000
A2000000A2000000C6000000A2000000
4E000000A2000000A2000000A2000000
42000000040000004A0000009E010000
4A000000A20100000F00000002000000
33000000340000000F00000002000000
3300000036000000B7000000A2000000
A2000000A2000000A2000000A2000000
A2000000C2000000A2000000A2000000
B6010000D90100004E000000A2000000
A2000000A20000007600000001000000
B9010000CD0000007C000000BD010000
C9010000E5000000A2000000A2000000
A2000000A2000000A2000000A2000000
A200000059000000A2000000A2000000
A2000000B7000000A2000000A2000000
A2000000A2000000A2000000A2000000
C2000000A2000000A2000000C6000000
A20000004E000000A2000000A2000000
A200000042000000040000004A000000
DF0100004A000000E30100000F000000
0200000033000000370000000F000000
020000003300000039000000B7000000
A2000000A2000000A2000000A2000000
A2000000A2000000C2000000A2000000
A2000000F70100001A0200004E000000
A2000000A2000000A200000076000000
01000000FA010000CD0000007C000000
FE0100000A020000E5000000A2000000
A2000000A2000000A2000000A2000000
A2000000A200000059000000A2000000
A2000000A2000000B7000000A2000000
A2000000A2000000A2000000A2000000
A2000000C2000000A2000000A2000000
C6000000A20000004E000000A2000000
A2000000A20000004200000004000000
4A000000200200004A00000024020000
0F000000020000003400000033000000
0F000000020000003400000035000000
30010000A20000004E000000A2000000
A2000000FC000000300200000A020000
38020000A20000004E000000A2000000
A2000000A200000043020000A2000000
00000000090000007400000075000000
700000006C0000006500000074000000
79000000700000006500000076000000
0200000088010000C901000042000000
040000004A0000003F0100004A000000
4301000000000000010000002A000000
76000000010000007C00000015010000
6602000089020000A7020000A2000000
AD020000A2000000A200000018000000
B3020000A2000000FC000000A2000000
A2000000A2000000A20000004E000000
FC000000A2000000B7000000A2000000
A2000000A2000000A2000000A2000000
A2000000C2000000A2000000A2000000
76020000990200004E000000A2000000
A2000000A20000007600000001000000
79020000CD0000007C0000007D020000
89020000E5000000A2000000A2000000
A2000000A2000000A2000000A2000000
A200000059000000A2000000A2000000
A2000000B7000000A2000000A2000000
A2000000A2000000A2000000A2000000
C2000000A2000000A2000000C6000000
A20000004E000000A2000000A2000000
FC00000042000000040000004A000000
9F0200004A000000A30200000F000000
0200000035000000340000000F000000
02000000350000003600000042000000
040000004A0000009F0200004A000000
A302000000000000040000006F000000
6E000000650000003100000076000000
010000007C00000090000000A2000000
CA020000CA020000E5020000A2000000
DA020000A2000000A200000018000000
A2000000A2000000FC000000A2000000
A2000000A2000000A20000004E000000
A2000000EF020000B7000000A2000000
A2000000A2000000A2000000A2000000
A2000000DA020000A2000000A2000000
DE020000A20000004E000000A2000000
A2000000A20000000000000002000000
54000000320000007600000001000000
E1020000CD000000B6020000D9000000
CA0200004200000004000000EB020000
F4000000EB020000F80000000F000000
02000000310000003300000076000000
01000000B70000001501000005030000
CA030000DE030000A2000000E4030000
A2000000A200000018000000E7030000
A2000000FC000000A2000000A2000000
A2000000A20000004E000000FC000000
A2000000300100000D0300004E000000
A2000000A2000000A200000013030000
910300004200000004000000EB020000
3F010000EB020000430100004F010000
A20000004E000000A2000000A2000000
A20000001B030000A200000076000000
020000001F03000058030000B7000000
A2000000A2000000A2000000A2000000
A2000000A2000000DA020000A2000000
A20000002F030000520300004E000000
A2000000A2000000A200000076000000
0100000032030000CD000000B6020000
3603000042030000E5000000A2000000
A2000000A2000000A2000000A2000000
A2000000A200000059000000A2000000
A2000000A2000000B7000000A2000000
A2000000A2000000A2000000A2000000
A2000000DA020000A2000000A2000000
DE020000A20000004E000000A2000000
A2000000A20000004200000004000000
EB0200009E010000EB020000A2010000
B7000000A2000000A2000000A2000000
A2000000A2000000A2000000DA020000
A2000000A2000000680300008B030000
4E000000A2000000A2000000A2000000
76000000010000006B030000CD000000
B60200006F0300007B030000E5000000
A2000000A2000000A2000000A2000000
A2000000A2000000A200000059000000
A2000000A2000000A2000000B7000000
A2000000A2000000A2000000A2000000
A2000000A2000000DA020000A2000000
A2000000DE020000A20000004E000000
A2000000A2000000A200000042000000
04000000EB020000DF010000EB020000
E3010000B7000000A2000000A2000000
A2000000A2000000A2000000A2000000
DA020000A2000000A2000000A1030000
C40300004E000000A2000000A2000000
A20000007600000001000000A4030000
CD000000B6020000A8030000B4030000
E5000000A2000000A2000000A2000000
A2000000A2000000A2000000A2000000
59000000A2000000A2000000A2000000
B7000000A2000000A2000000A2000000
A2000000A2000000A2000000DA020000
A2000000A2000000DE020000A2000000
4E000000A2000000A2000000A2000000
4200000004000000EB02000020020000
EB0200002402000030010000A2000000
4E000000A2000000A2000000FC000000
D2030000B403000038020000A2000000
4E000000A2000000A2000000A2000000
DA030000A20000007600000002000000
420300007B0300004200000004000000
EB0200003F010000EB02000043010000
00000000010000004F00000076000000
01000000B602000015010000FD030000
2004000036040000A20000003C040000
A2000000A20000001800000042040000
A2000000FC000000A2000000A2000000
A2000000A20000004E000000FC000000
A2000000B7000000A2000000A2000000
...

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