traces/zziplib/perturbed_good.zip.txt	traces/zziplib/good.zip.txt	traces/zziplib/evil.zip.txt	traces/zziplib/dir.zip.txt
33: looking for 1, False	33: looking for 1, False	33: looking for 1, False	33: looking for 1, False
239: open(file0);	239: open(file0);	239: open(file0);	239: open(file0);
240: looking for -1, False	240: looking for -1, False	240: looking for -1, False	240: looking for -1, False
460: __fxstat(file0);	460: __fxstat(file0);	460: __fxstat(file0);	460: __fxstat(file0);
115: looking for 22, False	115: looking for 22, False	115: looking for 22, False	115: looking for 22, False
118: looking for 65536, False	118: looking for 65536, False	118: looking for 65536, False	118: looking for 65536, False
121: looking for 512, False	121: looking for 512, False	121: looking for 512, False	121: looking for 512, False
122: looking for 243, True	122: looking for 189, True	122: looking for 318, True	122: looking for 252, True
123: looking for 4096, False	123: looking for 4096, False	123: looking for 4096, False	123: looking for 4096, False
124: looking for 4096, True	124: looking for 4096, True	124: looking for 4096, True	124: looking for 4096, True
126: looking for 243, True	126: looking for 189, True	126: looking for 318, True	126: looking for 252, True
137/147: looking for 80, False * 42	137/147: looking for 80, False * 42	137/147: looking for 80, False * 42	137/147: looking for 80, False * 42
137: looking for 80, True	137: looking for 80, True	137: looking for 80, True	137: looking for 80, True
138: looking for 20, True	138: looking for 20, True	138: looking for 20, True	138: looking for 20, True
139: looking for 80, True	139: looking for 80, True	139: looking for 80, True	139: looking for 80, True
140: looking for 75, True	140: looking for 75, True	140: looking for 75, True	140: looking for 75, True
141: looking for 5, True	141: looking for 5, True	141: looking for 5, True	141: looking for 5, True
142: looking for 6, True	142: looking for 6, True	142: looking for 6, True	142: looking for 6, True
145: looking for 243, False	145: looking for 189, False	145: looking for 318, False	145: looking for 252, False
146: looking for 243, False	146: looking for 189, False	146: looking for 318, False	146: looking for 252, False
159: looking for 133, False	159: looking for 89, False	159: looking for 154, False	159: looking for 140, False
163: looking for 243, False	163: looking for 189, False	163: looking for 318, False	163: looking for 252, False
170: looking for 1, False	170: looking for 1, False	170: looking for 1, False	170: looking for 1, False
176: looking for 88, False	176: looking for 78, False	176: looking for 142, False	176: looking for 90, False
177: looking for 80, True	177: looking for 80, True	177: looking for 80, True	177: looking for 80, True
178: looking for 75, True	178: looking for 75, True	178: looking for 75, True	178: looking for 75, True
179: looking for 1, True	179: looking for 1, True	179: looking for 1, True	179: looking for 1, True
180: looking for 2, True	180: looking for 2, True	180: looking for 2, True	180: looking for 2, True
181: looking for 254, False	181: looking for 254, False	181: looking for 254, False	181: looking for 254, False
182: looking for 88, False	182: looking for 78, False	182: looking for 142, False	182: looking for 90, False
184: looking for 88, False	184: looking for 78, False	184: looking for 142, False	184: looking for 90, False
170: looking for 1, True	170: looking for 1, True	170: looking for 1, True	170: looking for 1, True
171: looking for 88, False	171: looking for 78, False	171: looking for 142, False	171: looking for 90, False
191: looking for 1, True	191: looking for 1, True	191: looking for 1, True	191: looking for 1, True
40: looking for 2, True	40: looking for 2, True	40: looking for 2, True	40: looking for 2, True
30: looking for 47, False * 19	30: looking for 47, False * 9	30: looking for 47, False * 2	30: looking for 47, False * 5
71: fopen(file1);	71: fopen(file1);	30: looking for 47, True	30: looking for 47, True
268: looking for -1, False	268: looking for -1, False	30: looking for 47, False * 2	30: looking for 47, False * 6
284: lseek(file0,0,SET);	284: lseek(file0,0,SET);	30: looking for 47, True	30: looking for 47, True
285: read(file0,30);	285: read(file0,30);	30: looking for 47, False * 2	30: looking for 47, False * 13
286: looking for 30, False	286: looking for 30, False	30: looking for 47, True	30: looking for 47, True
287: looking for 80, True	287: looking for 80, True	30: looking for 47, False * 2	30: looking for 47, False * 13
288: looking for 75, True	288: looking for 75, True	30: looking for 47, True	77: mkdir(first);
289: looking for 3, True	289: looking for 3, True	30: looking for 47, False * 2	78: looking for -1, False
290: looking for 4, True	290: looking for 4, True	30: looking for 47, True	77: mkdir(first/second);
290: lseek(file0,46,CUR);	290: lseek(file0,36,CUR);	30: looking for 47, False * 2	78: looking for -1, False
291: lseek(file0,0,CUR);	291: lseek(file0,0,CUR);	30: looking for 47, True	71: fopen(file1);
320: looking for 1024, False	320: looking for 1024, False	30: looking for 47, False * 2	268: looking for -1, False
329: looking for 32768, True	329: looking for 32768, True	30: looking for 47, True	284: lseek(file0,0,SET);
329: read(file0,57);	329: read(file0,23);	30: looking for 47, False * 2	285: read(file0,30);
331: inflate();	331: inflate();	30: looking for 47, True	286: looking for 30, False
332: looking for 1, True	332: looking for 1, True	30: looking for 47, False * 2	287: looking for 80, True
86: fwrite(file1,264);	86: fwrite(file1,95);	30: looking for 47, True	288: looking for 75, True
320: looking for 1024, False	320: looking for 1024, False	30: looking for 47, False * 2	289: looking for 3, True
251: inflateEnd();	251: inflateEnd();	30: looking for 47, True	290: looking for 4, True
50: fclose(file1);	50: fclose(file1);	30: looking for 47, False * 2	290: lseek(file0,48,CUR);
		30: looking for 47, True	291: lseek(file0,0,CUR);
		30: looking for 47, False * 2	320: looking for 1024, False
		30: looking for 47, True	329: looking for 32768, True
		30: looking for 47, False * 2	329: read(file0,62);
		30: looking for 47, True	331: inflate();
		30: looking for 47, False * 2	332: looking for 1, True
		30: looking for 47, True	86: fwrite(file1,935);
		30: looking for 47, False * 2	320: looking for 1024, False
		30: looking for 47, True	251: inflateEnd();
		30: looking for 47, False * 2	50: fclose(file1);
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 3
		30: looking for 47, True
		30: looking for 47, False * 11
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 6
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 2
		30: looking for 47, True
		30: looking for 47, False * 5
		30: looking for 47, True
		30: looking for 47, False * 6
		77: mkdir(..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../../../../../..);
		78: looking for -1, True
		80: looking for 17, True
		77: mkdir(../../../../../../../../../../../../../../../../../../../../tmp);
		78: looking for -1, True
		80: looking for 17, True
		71: fopen(file1);
		268: looking for -1, False
		284: lseek(file0,0,SET);
		285: read(file0,30);
		286: looking for 30, False
		287: looking for 80, True
		288: looking for 75, True
		289: looking for 3, True
		290: looking for 4, True
		290: lseek(file0,100,CUR);
		291: lseek(file0,0,CUR);
		320: looking for 1024, False
		329: looking for 32768, True
		329: read(file0,24);
		331: inflate();
		332: looking for 1, True
		86: fwrite(file1,100);
		320: looking for 1024, False
		251: inflateEnd();
		50: fclose(file1);