making scaled-gifs for photos/misc/hcgl-7 === color-correcting photos/misc/hcgl-7/p-raw.ppm.Z === === generating photos/misc/hcgl-7/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 73 colors found === generating photos/misc/hcgl-7/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 59 colors found === generating photos/misc/hcgl-7/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 69 colors found === generating photos/misc/hcgl-7/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 77 colors found === generating photos/misc/hcgl-7/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 86 colors found === generating photos/misc/hcgl-7/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 91 colors found === generating photos/misc/hcgl-7/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 97 colors found === generating photos/misc/hcgl-7/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 104 colors found using photos/misc/hcgl-7/p-icon.gif as icon for photos/misc/hcgl-7/p.gif photos/misc/hcgl-9: ppm file(s) not found making scaled-gifs for photos/misc/hcgl-7 using photos/misc/hcgl-7/p-icon.gif as icon for photos/misc/hcgl-7/p.gif making scaled-gifs for photos/people/hcgl-9 === color-correcting photos/people/hcgl-9/p-raw.ppm.Z === === generating photos/people/hcgl-9/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 68 colors found === generating photos/people/hcgl-9/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 55 colors found === generating photos/people/hcgl-9/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/hcgl-9/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 75 colors found === generating photos/people/hcgl-9/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 77 colors found === generating photos/people/hcgl-9/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 90 colors found === generating photos/people/hcgl-9/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 95 colors found === generating photos/people/hcgl-9/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 113 colors found using photos/people/hcgl-9/p-icon.gif as icon for photos/people/hcgl-9/p.gif making scaled-gifs for photos/misc/hcgl-17 === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 31 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 33 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 33 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 33 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 41 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 47 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 53 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 54 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 61 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 63 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 73 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 79 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 88 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 93 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 100 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 111 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 === color-correcting photos/misc/hcgl-17/p-raw.ppm.Z === === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 106 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 112 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 118 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 129 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 142 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 150 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 === color-correcting photos/misc/hcgl-17/p-raw.ppm.Z === === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 73 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 79 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 88 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 93 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 100 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 111 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/misc/hcgl-17 === color-correcting photos/misc/hcgl-17/p-raw.ppm === === generating photos/misc/hcgl-17/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 79 colors found === generating photos/misc/hcgl-17/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 89 colors found === generating photos/misc/hcgl-17/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 94 colors found === generating photos/misc/hcgl-17/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 99 colors found === generating photos/misc/hcgl-17/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 105 colors found === generating photos/misc/hcgl-17/p-500x700.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 115 colors found using photos/misc/hcgl-17/p-icon.gif as icon for photos/misc/hcgl-17/p.gif making scaled-gifs for photos/people/anammont-4 === color-correcting photos/people/anammont-4/p-raw.ppm.Z === === generating photos/people/anammont-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 66 colors found === generating photos/people/anammont-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 51 colors found === generating photos/people/anammont-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/anammont-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 71 colors found === generating photos/people/anammont-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 79 colors found === generating photos/people/anammont-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 83 colors found === generating photos/people/anammont-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 88 colors found === generating photos/people/anammont-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 95 colors found using photos/people/anammont-4/p-icon.gif as icon for photos/people/anammont-4/p.gif making scaled-gifs for photos/people/anammont-4 === color-correcting photos/people/anammont-4/p-raw.ppm.Z === === generating photos/people/anammont-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 75 colors found === generating photos/people/anammont-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 55 colors found === generating photos/people/anammont-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 64 colors found === generating photos/people/anammont-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 81 colors found === generating photos/people/anammont-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 86 colors found === generating photos/people/anammont-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 88 colors found === generating photos/people/anammont-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 90 colors found === generating photos/people/anammont-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 101 colors found using photos/people/anammont-4/p-icon.gif as icon for photos/people/anammont-4/p.gif making scaled-gifs for photos/people/anammont-4 === color-correcting photos/people/anammont-4/p-raw.ppm.Z === === generating photos/people/anammont-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 69 colors found === generating photos/people/anammont-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 54 colors found === generating photos/people/anammont-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 59 colors found === generating photos/people/anammont-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 78 colors found === generating photos/people/anammont-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 83 colors found === generating photos/people/anammont-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 90 colors found === generating photos/people/anammont-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 94 colors found === generating photos/people/anammont-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 104 colors found using photos/people/anammont-4/p-icon.gif as icon for photos/people/anammont-4/p.gif making scaled-gifs for photos/people/jeronimo-2 === color-correcting photos/people/jeronimo-2/p-raw.ppm.Z === === generating photos/people/jeronimo-2/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/people/jeronimo-2/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating photos/people/jeronimo-2/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/jeronimo-2/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 53 colors found === generating photos/people/jeronimo-2/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 56 colors found === generating photos/people/jeronimo-2/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/jeronimo-2/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 71 colors found === generating photos/people/jeronimo-2/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 72 colors found using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif photos/people/jeronimo-2: ppm file(s) not found making scaled-gifs for photos/misc/jeronimo-2 using photos/misc/jeronimo-2/p-icon.gif as icon for photos/misc/jeronimo-2/p.gif making scaled-gifs for photos/people/jeronimo-3 === color-correcting photos/people/jeronimo-3/p-raw.ppm.Z === === generating photos/people/jeronimo-3/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/jeronimo-3/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 36 colors found === generating photos/people/jeronimo-3/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 45 colors found === generating photos/people/jeronimo-3/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 49 colors found === generating photos/people/jeronimo-3/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/jeronimo-3/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 62 colors found === generating photos/people/jeronimo-3/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 64 colors found === generating photos/people/jeronimo-3/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 68 colors found using photos/people/jeronimo-3/p-icon.gif as icon for photos/people/jeronimo-3/p.gif making scaled-gifs for photos/people/jeronimo-4 === color-correcting photos/people/jeronimo-4/p-raw.ppm.Z === === generating photos/people/jeronimo-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 45 colors found === generating photos/people/jeronimo-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating photos/people/jeronimo-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 43 colors found === generating photos/people/jeronimo-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/people/jeronimo-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/jeronimo-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/jeronimo-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 66 colors found === generating photos/people/jeronimo-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 71 colors found using photos/people/jeronimo-4/p-icon.gif as icon for photos/people/jeronimo-4/p.gif making scaled-gifs for photos/people/neucimar-3 === color-correcting photos/people/neucimar-3/p-raw.ppm.Z === === generating photos/people/neucimar-3/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 52 colors found === generating photos/people/neucimar-3/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/neucimar-3/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 49 colors found === generating photos/people/neucimar-3/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 52 colors found === generating photos/people/neucimar-3/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 55 colors found === generating photos/people/neucimar-3/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/neucimar-3/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 61 colors found === generating photos/people/neucimar-3/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 66 colors found using photos/people/neucimar-3/p-icon.gif as icon for photos/people/neucimar-3/p.gif making scaled-gifs for photos/misc/neucimar-2 === color-correcting photos/misc/neucimar-2/p-raw.ppm.Z === === generating photos/misc/neucimar-2/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/misc/neucimar-2/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/misc/neucimar-2/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 61 colors found === generating photos/misc/neucimar-2/p-400x560.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 67 colors found using photos/misc/neucimar-2/p-icon.gif as icon for photos/misc/neucimar-2/p.gif making scaled gifs for logos/unicamp-3 using logos/unicamp-3/p-icon.gif as icon for logos/unicamp-3/p.gif making scaled gifs for logos/las-1 === generating transparent logos/las-1/p-070x070.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 32 colors found === generating transparent logos/las-1/p-025x025.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 26 colors found === generating transparent logos/las-1/p-035x035.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 25 colors found === generating transparent logos/las-1/p-050x050.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 27 colors found === generating transparent logos/las-1/p-100x100.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 33 colors found === generating transparent logos/las-1/p-140x140.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 35 colors found === generating transparent logos/las-1/p-200x200.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 36 colors found === generating transparent logos/las-1/p-280x280.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating transparent logos/las-1/p-400x400.gif from logos/las-1/p-0.ppm logos/las-1/p-1.ppm === recomputing gamma-corrected transparent color warning: assuming maxval = 255 in input image and colormap transparent color in = 64 64 64 = rgb:40/40/40 transparent color out = 123 123 123 = rgb:7b/7b/7b ppmoquant: 216 colors found in colormap ppmoquant: "-transparent" pixel scaled to (64,64,64) to match colormap ppmtogif: computing colormap... ppmtogif: 40 colors found using logos/las-1/p-icon.gif as icon for logos/las-1/p.gif making scaled gifs for photos/people/giselle-1 photos/people/giselle-1/p.sizes not found making scaled gifs for photos/people/giselle-1 toolbin: Undefined variable making scaled gifs for photos/people/giselle-1 using photos/people/giselle-1/p-icon.gif as icon for photos/people/giselle-1/p.gif making scaled gifs for photos/people/pedrorub-1 === color-correcting photos/people/pedrorub-1/p-raw.ppm.Z === === generating photos/people/pedrorub-1/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating photos/people/pedrorub-1/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 31 colors found === generating photos/people/pedrorub-1/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 35 colors found === generating photos/people/pedrorub-1/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 41 colors found === generating photos/people/pedrorub-1/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 43 colors found === generating photos/people/pedrorub-1/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 46 colors found === generating photos/people/pedrorub-1/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/people/pedrorub-1/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 50 colors found using photos/people/pedrorub-1/p-icon.gif as icon for photos/people/pedrorub-1/p.gif making scaled gifs for photos/people/pedrorub-1 === color-correcting photos/people/pedrorub-1/p-raw.ppm.Z === === generating photos/people/pedrorub-1/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 46 colors found === generating photos/people/pedrorub-1/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 39 colors found === generating photos/people/pedrorub-1/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/pedrorub-1/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 52 colors found === generating photos/people/pedrorub-1/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 56 colors found === generating photos/people/pedrorub-1/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/pedrorub-1/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 61 colors found === generating photos/people/pedrorub-1/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 64 colors found using photos/people/pedrorub-1/p-icon.gif as icon for photos/people/pedrorub-1/p.gif making scaled gifs for photos/people/pedrorub-1 using photos/people/pedrorub-1/p-icon.gif as icon for photos/people/pedrorub-1/p.gif making scaled gifs for photos/people/jeronimo-4 === color-correcting photos/people/jeronimo-4/p-raw.ppm.Z === === generating photos/people/jeronimo-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 45 colors found === generating photos/people/jeronimo-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 39 colors found === generating photos/people/jeronimo-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/jeronimo-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/people/jeronimo-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 56 colors found === generating photos/people/jeronimo-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/jeronimo-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 66 colors found === generating photos/people/jeronimo-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 70 colors found using photos/people/jeronimo-4/p-icon.gif as icon for photos/people/jeronimo-4/p.gif making scaled gifs for photos/people/pedrorub-1 using photos/people/pedrorub-1/p-icon.gif as icon for photos/people/pedrorub-1/p.gif making scaled gifs for photos/people/jeronimo-4 === color-correcting photos/people/jeronimo-4/p-raw.ppm.Z === === generating photos/people/jeronimo-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 49 colors found === generating photos/people/jeronimo-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 39 colors found === generating photos/people/jeronimo-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating photos/people/jeronimo-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 51 colors found === generating photos/people/jeronimo-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 56 colors found === generating photos/people/jeronimo-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/jeronimo-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 63 colors found === generating photos/people/jeronimo-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 68 colors found using photos/people/jeronimo-4/p-icon.gif as icon for photos/people/jeronimo-4/p.gif making scaled gifs for photos/people/jeronimo-4 === color-correcting photos/people/jeronimo-4/p-raw.ppm.Z === === generating photos/people/jeronimo-4/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 44 colors found === generating photos/people/jeronimo-4/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 38 colors found === generating photos/people/jeronimo-4/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 42 colors found === generating photos/people/jeronimo-4/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 48 colors found === generating photos/people/jeronimo-4/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 53 colors found === generating photos/people/jeronimo-4/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 56 colors found === generating photos/people/jeronimo-4/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 62 colors found === generating photos/people/jeronimo-4/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 67 colors found using photos/people/jeronimo-4/p-icon.gif as icon for photos/people/jeronimo-4/p.gif making scaled gifs for photos/people/jeronimo-4 using photos/people/jeronimo-4/p-icon.gif as icon for photos/people/jeronimo-4/p.gif making scaled gifs for photos/people/pedrorub-1 === color-correcting photos/people/pedrorub-1/p-raw.ppm.Z === === generating photos/people/pedrorub-1/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 45 colors found === generating photos/people/pedrorub-1/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 36 colors found === generating photos/people/pedrorub-1/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 40 colors found === generating photos/people/pedrorub-1/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 49 colors found === generating photos/people/pedrorub-1/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/pedrorub-1/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 58 colors found === generating photos/people/pedrorub-1/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 57 colors found === generating photos/people/pedrorub-1/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 63 colors found using photos/people/pedrorub-1/p-icon.gif as icon for photos/people/pedrorub-1/p.gif making scaled gifs for photos/people/ragazzi-9 === color-correcting photos/people/ragazzi-9/p-raw.ppm.Z === === generating photos/people/ragazzi-9/p-050x070.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 55 colors found === generating photos/people/ragazzi-9/p-025x035.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 51 colors found === generating photos/people/ragazzi-9/p-035x049.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 50 colors found === generating photos/people/ragazzi-9/p-070x098.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 59 colors found === generating photos/people/ragazzi-9/p-100x140.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 66 colors found === generating photos/people/ragazzi-9/p-140x196.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 70 colors found === generating photos/people/ragazzi-9/p-200x280.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 76 colors found === generating photos/people/ragazzi-9/p-280x392.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 83 colors found using photos/people/ragazzi-9/p-icon.gif as icon for photos/people/ragazzi-9/p.gif making scaled gifs for photos/landscapes/campinas-1 === generating photos/landscapes/campinas-1/p-090x060.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 31 colors found === generating photos/landscapes/campinas-1/p-180x120.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 41 colors found === generating photos/landscapes/campinas-1/p-390x260.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 64 colors found === generating photos/landscapes/campinas-1/p-540x360.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 118 colors found using photos/landscapes/campinas-1/p-icon.gif as icon for photos/landscapes/campinas-1/p.gif making scaled gifs for photos/landscapes/campinas-1 === color-correcting photos/landscapes/campinas-1/p-raw.ppm.Z === === generating photos/landscapes/campinas-1/p-090x060.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 45 colors found === generating photos/landscapes/campinas-1/p-180x120.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 64 colors found === generating photos/landscapes/campinas-1/p-390x260.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 93 colors found === generating photos/landscapes/campinas-1/p-540x360.gif === ppmvquant: 216 colors found in colormap ppmtogif: computing colormap... ppmtogif: 124 colors found using photos/landscapes/campinas-1/p-icon.gif as icon for photos/landscapes/campinas-1/p.gif