making scaled-gifs for photos/misc/katiag-1
=== generating photos/misc/katiag-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/misc/katiag-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/katiag-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/katiag-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/misc/katiag-1/p-icon.gif as icon for photos/misc/katiag-1/p.gif
making scaled-gifs for photos/misc/lucianorq-1
=== color-correcting photos/misc/lucianorq-1/p-raw.ppm.Z ===
=== generating photos/misc/lucianorq-1/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/misc/lucianorq-1/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/lucianorq-1/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/misc/lucianorq-1/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/misc/lucianorq-1/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
=== generating photos/misc/lucianorq-1/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 99 colors found
using photos/misc/lucianorq-1/p-icon.gif as icon for photos/misc/lucianorq-1/p.gif
making scaled-gifs for photos/misc/lucianorq-2
=== color-correcting photos/misc/lucianorq-2/p-raw.ppm.Z ===
=== generating photos/misc/lucianorq-2/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/lucianorq-2/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/lucianorq-2/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/misc/lucianorq-2/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/lucianorq-2/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
=== generating photos/misc/lucianorq-2/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 96 colors found
using photos/misc/lucianorq-2/p-icon.gif as icon for photos/misc/lucianorq-2/p.gif
making scaled-gifs for photos/misc/mariajo-1
=== color-correcting photos/misc/mariajo-1/p-raw.ppm.Z ===
=== generating photos/misc/mariajo-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/misc/mariajo-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/misc/mariajo-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/mariajo-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/mariajo-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/mariajo-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/misc/mariajo-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/mariajo-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
using photos/misc/mariajo-1/p-icon.gif as icon for photos/misc/mariajo-1/p.gif
making scaled-gifs for photos/misc/mariajo-3
=== color-correcting photos/misc/mariajo-3/p-raw.ppm.Z ===
=== generating photos/misc/mariajo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/misc/mariajo-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/misc/mariajo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/mariajo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/mariajo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/misc/mariajo-3/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/misc/mariajo-3/p-icon.gif as icon for photos/misc/mariajo-3/p.gif
making scaled-gifs for photos/misc/meidanis-4
=== color-correcting photos/misc/meidanis-4/p-raw.ppm.Z ===
=== generating photos/misc/meidanis-4/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/meidanis-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/misc/meidanis-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/misc/meidanis-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/meidanis-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/meidanis-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
=== generating photos/misc/meidanis-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 84 colors found
=== generating photos/misc/meidanis-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 colors found
using photos/misc/meidanis-4/p-icon.gif as icon for photos/misc/meidanis-4/p.gif
making scaled-gifs for photos/misc/poliusp-1
=== color-correcting photos/misc/poliusp-1/p-raw.ppm.Z ===
=== generating photos/misc/poliusp-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/poliusp-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/poliusp-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/poliusp-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/poliusp-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/poliusp-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/poliusp-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/misc/poliusp-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
using photos/misc/poliusp-1/p-icon.gif as icon for photos/misc/poliusp-1/p.gif
making scaled-gifs for photos/misc/ragazzi-1
=== color-correcting photos/misc/ragazzi-1/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/misc/ragazzi-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/misc/ragazzi-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/misc/ragazzi-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/ragazzi-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/misc/ragazzi-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/ragazzi-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/ragazzi-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/misc/ragazzi-1/p-icon.gif as icon for photos/misc/ragazzi-1/p.gif
making scaled-gifs for photos/misc/ragazzi-3
=== color-correcting photos/misc/ragazzi-3/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/ragazzi-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/ragazzi-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/ragazzi-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/ragazzi-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/misc/ragazzi-3/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
using photos/misc/ragazzi-3/p-icon.gif as icon for photos/misc/ragazzi-3/p.gif
making scaled-gifs for photos/misc/ranido-7
=== color-correcting photos/misc/ranido-7/p-raw.ppm.Z ===
=== generating photos/misc/ranido-7/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/misc/ranido-7/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/misc/ranido-7/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/misc/ranido-7/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/ranido-7/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/ranido-7/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/misc/ranido-7/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/ranido-7/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/misc/ranido-7/p-icon.gif as icon for photos/misc/ranido-7/p.gif
making scaled-gifs for photos/misc/rforrest-1
=== color-correcting photos/misc/rforrest-1/p-raw.ppm.Z ===
=== generating photos/misc/rforrest-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 27 colors found
=== generating photos/misc/rforrest-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 28 colors found
=== generating photos/misc/rforrest-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 32 colors found
=== generating photos/misc/rforrest-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 34 colors found
=== generating photos/misc/rforrest-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/misc/rforrest-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/rforrest-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/rforrest-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
using photos/misc/rforrest-1/p-icon.gif as icon for photos/misc/rforrest-1/p.gif
making scaled-gifs for photos/misc/rluis-2
=== color-correcting photos/misc/rluis-2/p-raw.ppm.Z ===
=== generating photos/misc/rluis-2/p-035x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/misc/rluis-2/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/rluis-2/p-070x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/rluis-2/p-100x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/misc/rluis-2/p-200x400.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/rluis-2/p-300x600.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/misc/rluis-2/p-icon.gif as icon for photos/misc/rluis-2/p.gif
making scaled-gifs for photos/misc/rluis-hcgl-1
=== color-correcting photos/misc/rluis-hcgl-1/p-raw.ppm.Z ===
=== generating photos/misc/rluis-hcgl-1/p-084x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/rluis-hcgl-1/p-120x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/rluis-hcgl-1/p-168x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/misc/rluis-hcgl-1/p-240x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/rluis-hcgl-1/p-540x450.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
using photos/misc/rluis-hcgl-1/p-icon.gif as icon for photos/misc/rluis-hcgl-1/p.gif
making scaled-gifs for photos/misc/sol-ros-1
=== color-correcting photos/misc/sol-ros-1/p-raw.ppm.Z ===
=== generating photos/misc/sol-ros-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/sol-ros-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/sol-ros-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/sol-ros-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
=== generating photos/misc/sol-ros-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/misc/sol-ros-1/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
=== generating photos/misc/sol-ros-1/p-700x980.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 95 colors found
using photos/misc/sol-ros-1/p-icon.gif as icon for photos/misc/sol-ros-1/p.gif
making scaled-gifs for photos/misc/stallman-2
=== color-correcting photos/misc/stallman-2/p-raw.ppm.Z ===
=== generating photos/misc/stallman-2/p-028x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/stallman-2/p-040x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/stallman-2/p-056x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/stallman-2/p-080x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/stallman-2/p-160x400.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/misc/stallman-2/p-240x600.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
using photos/misc/stallman-2/p-icon.gif as icon for photos/misc/stallman-2/p.gif
making scaled-gifs for photos/misc/stolfi-3
=== color-correcting photos/misc/stolfi-3/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/stolfi-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/stolfi-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/stolfi-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/stolfi-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/stolfi-3/p-450x630.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/misc/stolfi-3/p-icon.gif as icon for photos/misc/stolfi-3/p.gif
making scaled-gifs for photos/misc/stolfi-5
=== color-correcting photos/misc/stolfi-5/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-5/p-091x077.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/misc/stolfi-5/p-117x099.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/stolfi-5/p-156x132.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/misc/stolfi-5/p-234x198.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/misc/stolfi-5/p-468x396.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
using photos/misc/stolfi-5/p-icon.gif as icon for photos/misc/stolfi-5/p.gif
making scaled-gifs for photos/misc/stolfi-6
=== color-correcting photos/misc/stolfi-6/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-6/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/misc/stolfi-6/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/misc/stolfi-6/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/stolfi-6/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/stolfi-6/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
=== generating photos/misc/stolfi-6/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
using photos/misc/stolfi-6/p-icon.gif as icon for photos/misc/stolfi-6/p.gif
making scaled-gifs for photos/misc/tomasz-4
=== color-correcting photos/misc/tomasz-4/p-raw.ppm.Z ===
=== generating photos/misc/tomasz-4/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/misc/tomasz-4/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/misc/tomasz-4/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/tomasz-4/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/tomasz-4/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/tomasz-4/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
using photos/misc/tomasz-4/p-icon.gif as icon for photos/misc/tomasz-4/p.gif
making scaled-gifs for photos/misc/ufms-3
=== color-correcting photos/misc/ufms-3/p-raw.ppm.Z ===
=== generating photos/misc/ufms-3/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/misc/ufms-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/ufms-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/misc/ufms-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/misc/ufms-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/ufms-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/ufms-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/ufms-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
using photos/misc/ufms-3/p-icon.gif as icon for photos/misc/ufms-3/p.gif
making scaled-gifs for photos/misc/usp-cef-1
=== color-correcting photos/misc/usp-cef-1/p-raw.ppm.Z ===
=== generating photos/misc/usp-cef-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/misc/usp-cef-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/usp-cef-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/usp-cef-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/usp-cef-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/usp-cef-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/usp-cef-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/misc/usp-cef-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
using photos/misc/usp-cef-1/p-icon.gif as icon for photos/misc/usp-cef-1/p.gif
making scaled-gifs for photos/misc/usp-yo-yo-1
=== color-correcting photos/misc/usp-yo-yo-1/p-raw.ppm.Z ===
=== generating photos/misc/usp-yo-yo-1/p-126x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/misc/usp-yo-yo-1/p-180x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/misc/usp-yo-yo-1/p-252x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/misc/usp-yo-yo-1/p-360x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/misc/usp-yo-yo-1/p-504x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
=== generating photos/misc/usp-yo-yo-1/p-900x500.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
using photos/misc/usp-yo-yo-1/p-icon.gif as icon for photos/misc/usp-yo-yo-1/p.gif
making scaled-gifs for photos/areiao/afc-game-2
=== color-correcting photos/areiao/afc-game-2/p-raw.ppm.Z ===
=== generating photos/areiao/afc-game-2/p-120x060.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/areiao/afc-game-2/p-240x120.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/areiao/afc-game-2/p-480x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/areiao/afc-game-2/p-960x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
using photos/areiao/afc-game-2/p-icon.gif as icon for photos/areiao/afc-game-2/p.gif
making scaled-gifs for photos/areiao/afc-game-3
=== color-correcting photos/areiao/afc-game-3/p-raw.ppm.Z ===
=== generating photos/areiao/afc-game-3/p-090x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/areiao/afc-game-3/p-180x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/areiao/afc-game-3/p-630x720.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
using photos/areiao/afc-game-3/p-icon.gif as icon for photos/areiao/afc-game-3/p.gif
making scaled-gifs for photos/areiao/afc-team-3
=== color-correcting photos/areiao/afc-team-3/p-raw.ppm.Z ===
=== generating photos/areiao/afc-team-3/p-105x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/areiao/afc-team-3/p-210x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/areiao/afc-team-3/p-420x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/areiao/afc-team-3/p-630x450.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
using photos/areiao/afc-team-3/p-icon.gif as icon for photos/areiao/afc-team-3/p.gif
making scaled-gifs for photos/areiao/afc-team-4
=== color-correcting photos/areiao/afc-team-4/p-raw.ppm.Z ===
=== generating photos/areiao/afc-team-4/p-105x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/areiao/afc-team-4/p-210x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/areiao/afc-team-4/p-420x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/areiao/afc-team-4/p-630x450.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
using photos/areiao/afc-team-4/p-icon.gif as icon for photos/areiao/afc-team-4/p.gif
making scaled-gifs for photos/events/biocomp-1
=== color-correcting photos/events/biocomp-1/p-raw.ppm.Z ===
=== generating photos/events/biocomp-1/p-177x118.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/events/biocomp-1/p-531x354.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/events/biocomp-1/p-icon.gif as icon for photos/events/biocomp-1/p.gif
making scaled-gifs for photos/events/biocomp-2
=== color-correcting photos/events/biocomp-2/p-raw.ppm.Z ===
=== generating photos/events/biocomp-2/p-177x118.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/events/biocomp-2/p-531x354.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/events/biocomp-2/p-icon.gif as icon for photos/events/biocomp-2/p.gif
making scaled-gifs for photos/events/biocomp-3
=== color-correcting photos/events/biocomp-3/p-raw.ppm.Z ===
=== generating photos/events/biocomp-3/p-177x118.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/events/biocomp-3/p-531x354.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/events/biocomp-3/p-icon.gif as icon for photos/events/biocomp-3/p.gif
making scaled-gifs for photos/events/biocomp-4
=== color-correcting photos/events/biocomp-4/p-raw.ppm.Z ===
=== generating photos/events/biocomp-4/p-177x118.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/events/biocomp-4/p-531x354.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/events/biocomp-4/p-icon.gif as icon for photos/events/biocomp-4/p.gif
making scaled-gifs for photos/events/biocomp-5
=== color-correcting photos/events/biocomp-5/p-raw.ppm.Z ===
=== generating photos/events/biocomp-5/p-177x118.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/events/biocomp-5/p-531x354.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/events/biocomp-5/p-icon.gif as icon for photos/events/biocomp-5/p.gif
making scaled-gifs for photos/hype/blackout-1
=== color-correcting photos/hype/blackout-1/p-raw.ppm.Z ===
=== generating photos/hype/blackout-1/p-098x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/hype/blackout-1/p-140x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/hype/blackout-1/p-392x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/hype/blackout-1/p-490x350.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/hype/blackout-1/p-icon.gif as icon for photos/hype/blackout-1/p.gif
making scaled-gifs for photos/hype/clean-air-1
=== color-correcting photos/hype/clean-air-1/p-raw.ppm.Z ===
=== generating photos/hype/clean-air-1/p-098x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/hype/clean-air-1/p-140x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/hype/clean-air-1/p-392x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/hype/clean-air-1/p-490x350.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/hype/clean-air-1/p-icon.gif as icon for photos/hype/clean-air-1/p.gif
making scaled-gifs for photos/hype/scorched-3
=== color-correcting photos/hype/scorched-3/p-raw.ppm.Z ===
=== generating photos/hype/scorched-3/p-098x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/hype/scorched-3/p-140x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/hype/scorched-3/p-392x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/hype/scorched-3/p-490x350.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/hype/scorched-3/p-icon.gif as icon for photos/hype/scorched-3/p.gif
making scaled-gifs for photos/landscapes/clean-air-2
=== color-correcting photos/landscapes/clean-air-2/p-raw.ppm.Z ===
=== generating photos/landscapes/clean-air-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/landscapes/clean-air-2/p-480x360.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/landscapes/clean-air-2/p-840x600.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/landscapes/clean-air-2/p-icon.gif as icon for photos/landscapes/clean-air-2/p.gif
making scaled-gifs for photos/misc/aastolfi-1
echo: No match
Subscript out of range
making scaled-gifs for photos/areiao/afc-game-2
using photos/areiao/afc-game-2/p-icon.gif as icon for photos/areiao/afc-game-2/p.gif
making scaled-gifs for photos/areiao/afc-game-3
using photos/areiao/afc-game-3/p-icon.gif as icon for photos/areiao/afc-game-3/p.gif
making scaled-gifs for photos/areiao/afc-team-3
making scaled-gifs for photos/misc/aastolfi-1
=== color-correcting photos/misc/aastolfi-1/p-raw.ppm.Z ===
=== generating photos/misc/aastolfi-1/p-065x095.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/aastolfi-1/p-130x190.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/misc/aastolfi-1/p-598x874.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
using photos/misc/aastolfi-1/p-icon.gif as icon for photos/misc/aastolfi-1/p.gif
making scaled-gifs for photos/misc/abistolfi-3
=== color-correcting photos/misc/abistolfi-3/p-raw.ppm.Z ===
=== generating photos/misc/abistolfi-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/abistolfi-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/misc/abistolfi-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/misc/abistolfi-3/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 84 colors found
using photos/misc/abistolfi-3/p-icon.gif as icon for photos/misc/abistolfi-3/p.gif
making scaled-gifs for photos/misc/anammont-3
=== color-correcting photos/misc/anammont-3/p-raw.ppm.Z ===
=== generating photos/misc/anammont-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/misc/anammont-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/misc/anammont-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/misc/anammont-3/p-445x623.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/beatriz-2
=== color-correcting photos/misc/beatriz-2/p-raw.ppm.Z ===
=== generating photos/misc/beatriz-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/misc/beatriz-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/beatriz-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/beatriz-2/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
using photos/misc/beatriz-2/p-icon.gif as icon for photos/misc/beatriz-2/p.gif
making scaled-gifs for photos/misc/camila-1
=== color-correcting photos/misc/camila-1/p-raw.ppm.Z ===
=== generating photos/misc/camila-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/camila-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/misc/camila-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/misc/camila-1/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/misc/camila-1/p-icon.gif as icon for photos/misc/camila-1/p.gif
making scaled-gifs for photos/misc/hcgl-15
=== color-correcting photos/misc/hcgl-15/p-raw.ppm.Z ===
=== generating photos/misc/hcgl-15/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/hcgl-15/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/misc/hcgl-15/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/hcgl-15/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
using photos/misc/hcgl-15/p-icon.gif as icon for photos/misc/hcgl-15/p.gif
making scaled-gifs for photos/misc/machado-2
=== color-correcting photos/misc/machado-2/p-raw.ppm.Z ===
=== generating photos/misc/machado-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/misc/machado-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/misc/machado-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/misc/machado-2/p-450x630.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/misc/machado-2/p-icon.gif as icon for photos/misc/machado-2/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/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: 49 colors found
=== generating photos/misc/neucimar-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/neucimar-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/misc/neucimar-2/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/misc/neucimar-2/p-icon.gif as icon for photos/misc/neucimar-2/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/ragazzi-8
=== color-correcting photos/misc/ragazzi-8/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-8/p-075x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/misc/ragazzi-8/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/ragazzi-8/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
using photos/misc/ragazzi-8/p-icon.gif as icon for photos/misc/ragazzi-8/p.gif
making scaled-gifs for photos/misc/sam-claud-1
=== color-correcting photos/misc/sam-claud-1/p-raw.ppm.Z ===
=== generating photos/misc/sam-claud-1/p-100x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/misc/sam-claud-1/p-200x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/sam-claud-1/p-400x400.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/sam-claud-1/p-780x780.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/misc/sam-claud-1/p-icon.gif as icon for photos/misc/sam-claud-1/p.gif
making scaled-gifs for photos/misc/stolfi-7
=== color-correcting photos/misc/stolfi-7/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-7/p-098x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/stolfi-7/p-140x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/stolfi-7/p-392x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/misc/stolfi-7/p-490x350.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/misc/stolfi-7/p-980x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
using photos/misc/stolfi-7/p-icon.gif as icon for photos/misc/stolfi-7/p.gif
making scaled-gifs for photos/people/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 28 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 26 colors found
=== generating photos/people/anammont-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 26 colors found
=== generating photos/people/anammont-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 28 colors found
=== generating photos/people/anammont-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 30 colors found
=== generating photos/people/anammont-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/anammont-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/anammont-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/anammont-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 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/ariadne-11
=== color-correcting photos/people/ariadne-11/p-raw.ppm.Z ===
=== generating photos/people/ariadne-11/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/ariadne-11/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/ariadne-11/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/ariadne-11/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/ariadne-11/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/ariadne-11/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/ariadne-11/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/ariadne-11/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
using photos/people/ariadne-11/p-icon.gif as icon for photos/people/ariadne-11/p.gif
making scaled-gifs for photos/people/beatriz-3
=== color-correcting photos/people/beatriz-3/p-raw.ppm.Z ===
=== generating photos/people/beatriz-3/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/beatriz-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/beatriz-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/beatriz-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/beatriz-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/beatriz-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/beatriz-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/beatriz-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
using photos/people/beatriz-3/p-icon.gif as icon for photos/people/beatriz-3/p.gif
making scaled-gifs for photos/people/camila-2
=== color-correcting photos/people/camila-2/p-raw.ppm.Z ===
=== generating photos/people/camila-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/camila-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/camila-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/camila-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/camila-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/camila-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/camila-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/camila-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
using photos/people/camila-2/p-icon.gif as icon for photos/people/camila-2/p.gif
making scaled-gifs for photos/people/cid-2
=== color-correcting photos/people/cid-2/p-raw.ppm.Z ===
=== generating photos/people/cid-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/cid-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/cid-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/cid-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/cid-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/cid-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/cid-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/cid-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
using photos/people/cid-2/p-icon.gif as icon for photos/people/cid-2/p.gif
making scaled-gifs for photos/people/claudinho-1
=== color-correcting photos/people/claudinho-1/p-raw.ppm.Z ===
=== generating photos/people/claudinho-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/claudinho-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/claudinho-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/claudinho-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/claudinho-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/claudinho-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/claudinho-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/claudinho-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/people/claudinho-1/p-icon.gif as icon for photos/people/claudinho-1/p.gif
making scaled-gifs for photos/people/ext-ellis-2
=== color-correcting photos/people/ext-ellis-2/p-raw.ppm.Z ===
=== generating photos/people/ext-ellis-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/ext-ellis-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/ext-ellis-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/ext-ellis-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/ext-ellis-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ext-ellis-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/ext-ellis-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/ext-ellis-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
using photos/people/ext-ellis-2/p-icon.gif as icon for photos/people/ext-ellis-2/p.gif
making scaled-gifs for photos/people/giselec-1
=== color-correcting photos/people/giselec-1/p-raw.ppm.Z ===
=== generating photos/people/giselec-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/people/giselec-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/giselec-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/giselec-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/giselec-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/giselec-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/giselec-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/giselec-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
using photos/people/giselec-1/p-icon.gif as icon for photos/people/giselec-1/p.gif
making scaled-gifs for photos/people/hcgl-16
=== color-correcting photos/people/hcgl-16/p-raw.ppm.Z ===
=== generating photos/people/hcgl-16/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/hcgl-16/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/people/hcgl-16/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 32 colors found
=== generating photos/people/hcgl-16/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/hcgl-16/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/hcgl-16/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/hcgl-16/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/hcgl-16/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
using photos/people/hcgl-16/p-icon.gif as icon for photos/people/hcgl-16/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/jeronimo-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/jeronimo-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/jeronimo-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/jeronimo-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 21 colors found
=== generating photos/people/jeronimo-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/jeronimo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/people/jeronimo-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 34 colors found
=== generating photos/people/jeronimo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/jeronimo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 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/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 27 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-2/p.gif
making scaled-gifs for photos/people/kunio-1
=== color-correcting photos/people/kunio-1/p-raw.ppm.Z ===
photos/people/kunio-1/p.ppm: -- file unchanged
making scaled-gifs for photos/people/kunio-1
=== generating photos/people/kunio-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/kunio-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/kunio-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/kunio-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/kunio-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/kunio-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/kunio-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/people/kunio-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/marta-1
=== color-correcting photos/people/marta-1/p-raw.ppm.Z ===
=== generating photos/people/marta-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/marta-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/marta-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/marta-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/marta-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/marta-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/marta-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/marta-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
using photos/people/marta-1/p-icon.gif as icon for photos/people/marta-1/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/neucimar-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/neucimar-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 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: 55 colors found
=== generating photos/people/neucimar-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/neucimar-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/people/neucimar-3/p-icon.gif as icon for photos/people/neucimar-3/p.gif
making scaled-gifs for photos/people/paulo-1
=== color-correcting photos/people/paulo-1/p-raw.ppm.Z ===
=== generating photos/people/paulo-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/paulo-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/paulo-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/paulo-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/paulo-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/paulo-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/paulo-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/paulo-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/people/paulo-1/p-icon.gif as icon for photos/people/paulo-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 32 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/ragazzi-5
=== color-correcting photos/people/ragazzi-5/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-5/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/ragazzi-5/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/ragazzi-5/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/ragazzi-5/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/ragazzi-5/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/ragazzi-5/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/ragazzi-5/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/ragazzi-5/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/people/ragazzi-5/p-icon.gif as icon for photos/people/ragazzi-5/p.gif
making scaled-gifs for photos/people/ragazzi-6
=== color-correcting photos/people/ragazzi-6/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-6/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 27 colors found
=== generating photos/people/ragazzi-6/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/ragazzi-6/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/ragazzi-6/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/ragazzi-6/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/ragazzi-6/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/ragazzi-6/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ragazzi-6/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/people/ragazzi-6/p-icon.gif as icon for photos/people/ragazzi-6/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 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-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/ragazzi-9/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/ragazzi-9/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/ragazzi-9/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/ragazzi-9/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/ragazzi-9/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
using photos/people/ragazzi-9/p-icon.gif as icon for photos/people/ragazzi-9/p.gif
making scaled-gifs for photos/people/sindo-2
=== color-correcting photos/people/sindo-2/p-raw.ppm.Z ===
=== generating photos/people/sindo-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/sindo-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/sindo-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/sindo-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/sindo-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/sindo-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/sindo-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/sindo-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
using photos/people/sindo-2/p-icon.gif as icon for photos/people/sindo-2/p.gif
making scaled-gifs for photos/people/usrmurty-1
=== color-correcting photos/people/usrmurty-1/p-raw.ppm.Z ===
=== generating photos/people/usrmurty-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/usrmurty-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/usrmurty-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/usrmurty-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/usrmurty-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/usrmurty-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/usrmurty-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/usrmurty-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
using photos/people/usrmurty-1/p-icon.gif as icon for photos/people/usrmurty-1/p.gif
making scaled-gifs for photos/people/tomasz-5
=== color-correcting photos/people/tomasz-5/p-raw.ppm.Z ===
=== generating photos/people/tomasz-5/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/tomasz-5/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/tomasz-5/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/tomasz-5/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/tomasz-5/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/tomasz-5/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/tomasz-5/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/people/tomasz-5/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
using photos/people/tomasz-5/p-icon.gif as icon for photos/people/tomasz-5/p.gif
making scaled-gifs for photos/people/tomasz-1
=== color-correcting photos/people/tomasz-1/p-raw.ppm.Z ===
=== generating photos/people/tomasz-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/tomasz-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/tomasz-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/tomasz-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/tomasz-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/tomasz-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/tomasz-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/tomasz-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
using photos/people/tomasz-1/p-icon.gif as icon for photos/people/tomasz-1/p.gif
making scaled-gifs for photos/people/stolfi-4
=== color-correcting photos/people/stolfi-4/p-raw.ppm.Z ===
=== generating photos/people/stolfi-4/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 32 colors found
=== generating photos/people/stolfi-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/stolfi-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/stolfi-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/stolfi-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/stolfi-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/stolfi-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/stolfi-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
using photos/people/stolfi-4/p-icon.gif as icon for photos/people/stolfi-4/p.gif
making scaled-gifs for photos/people/stallman-1
=== color-correcting photos/people/stallman-1/p-raw.ppm.Z ===
=== generating photos/people/stallman-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/stallman-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/stallman-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/stallman-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/stallman-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/stallman-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/stallman-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/stallman-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
using photos/people/stallman-1/p-icon.gif as icon for photos/people/stallman-1/p.gif
making scaled-gifs for photos/people/rforrest-2
=== color-correcting photos/people/rforrest-2/p-raw.ppm.Z ===
=== generating photos/people/rforrest-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/rforrest-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/rforrest-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/rforrest-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/rforrest-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/rforrest-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/rforrest-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/rforrest-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/people/rforrest-2/p-icon.gif as icon for photos/people/rforrest-2/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/ragazzi-9/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/ragazzi-9/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/ragazzi-9/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/ragazzi-9/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/ragazzi-9/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/ragazzi-9/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/ragazzi-9/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
using photos/people/ragazzi-9/p-icon.gif as icon for photos/people/ragazzi-9/p.gif
making scaled-gifs for photos/people/ragazzi-6
=== color-correcting photos/people/ragazzi-6/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-6/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/ragazzi-6/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/ragazzi-6/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ragazzi-6/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/ragazzi-6/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/ragazzi-6/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/ragazzi-6/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/ragazzi-6/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
using photos/people/ragazzi-6/p-icon.gif as icon for photos/people/ragazzi-6/p.gif
making scaled-gifs for photos/people/ragazzi-5
=== color-correcting photos/people/ragazzi-5/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-5/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/ragazzi-5/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/ragazzi-5/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ragazzi-5/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/ragazzi-5/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ragazzi-5/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/ragazzi-5/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/ragazzi-5/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/people/ragazzi-5/p-icon.gif as icon for photos/people/ragazzi-5/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/paulo-1
=== color-correcting photos/people/paulo-1/p-raw.ppm.Z ===
=== generating photos/people/paulo-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/paulo-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/paulo-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/paulo-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/paulo-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/paulo-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/paulo-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/paulo-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
using photos/people/paulo-1/p-icon.gif as icon for photos/people/paulo-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 34 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/jeronimo-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/jeronimo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/jeronimo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 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-2
=== color-correcting photos/people/jeronimo-2/p-raw.ppm.Z ===
=== generating photos/people/jeronimo-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/jeronimo-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/jeronimo-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/jeronimo-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/jeronimo-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/jeronimo-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/jeronimo-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/jeronimo-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif
making scaled-gifs for photos/people/hcgl-16
=== color-correcting photos/people/hcgl-16/p-raw.ppm.Z ===
=== generating photos/people/hcgl-16/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/hcgl-16/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/hcgl-16/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/hcgl-16/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/hcgl-16/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/hcgl-16/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/hcgl-16/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/hcgl-16/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/people/hcgl-16/p-icon.gif as icon for photos/people/hcgl-16/p.gif
making scaled-gifs for photos/people/giselec-1
=== color-correcting photos/people/giselec-1/p-raw.ppm.Z ===
=== generating photos/people/giselec-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 33 colors found
=== generating photos/people/giselec-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 32 colors found
=== generating photos/people/giselec-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/giselec-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/giselec-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/giselec-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/giselec-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/giselec-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
using photos/people/giselec-1/p-icon.gif as icon for photos/people/giselec-1/p.gif
making scaled-gifs for photos/people/ext-ellis-2
=== color-correcting photos/people/ext-ellis-2/p-raw.ppm.Z ===
=== generating photos/people/ext-ellis-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/ext-ellis-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/ext-ellis-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/ext-ellis-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ext-ellis-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/ext-ellis-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/ext-ellis-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/ext-ellis-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
using photos/people/ext-ellis-2/p-icon.gif as icon for photos/people/ext-ellis-2/p.gif
making scaled-gifs for photos/people/elias-1
=== color-correcting photos/people/elias-1/p-raw.ppm.Z ===
ParseParams: parameter 11 = "kblack" extraneous or misplaced.
ParseParams: parameter 12 = "009" extraneous or misplaced.
ParseParams: parameter 13 = "009" extraneous or misplaced.
ParseParams: parameter 14 = "009" extraneous or misplaced.
ParseParams: parameter 15 = "/" extraneous or misplaced.
ParseParams: (and 1 more).
Usage: ColorCorrect \
  [ -black <r> <g> <b> [ / <scale>] ]\
  [ -white <r> <g> <b> [ / <scale>] ]\
  [ -inGamma <r> <g> <b> ]\
  [ -gamma <r> <g> <b> ]\
  [ -kappa <r> <g> <b> ]\
  [ -saturation <s> ]\
  [ -outGamma <r> <g> <b> ]
photos/people/elias-1/p.ppm: -- file unchanged
=== generating photos/people/elias-1/p-025x035.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-035x049.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-050x070.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-070x098.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-100x140.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-140x196.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-200x280.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
=== generating photos/people/elias-1/p-280x392.gif ===
pnmscale: EOF / read error reading magic number
ppmvquant: EOF / read error reading magic number
pnmgamma: EOF / read error reading magic number
ppmtogif: EOF / read error reading magic number
using photos/people/elias-1/p-icon.gif as icon for photos/people/elias-1/p.gif
making scaled-gifs for photos/people/claudinho-1
=== color-correcting photos/people/claudinho-1/p-raw.ppm.Z ===
=== generating photos/people/claudinho-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/claudinho-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/claudinho-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/claudinho-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/claudinho-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/claudinho-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/claudinho-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/claudinho-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
using photos/people/claudinho-1/p-icon.gif as icon for photos/people/claudinho-1/p.gif
making scaled-gifs for photos/people/cid-2
=== color-correcting photos/people/cid-2/p-raw.ppm.Z ===
=== generating photos/people/cid-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/cid-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/cid-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/cid-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/cid-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/cid-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/cid-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/cid-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/people/cid-2/p-icon.gif as icon for photos/people/cid-2/p.gif
making scaled-gifs for photos/people/capeleto-1
=== color-correcting photos/people/capeleto-1/p-raw.ppm.Z ===
=== generating photos/people/capeleto-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/capeleto-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/capeleto-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/capeleto-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/capeleto-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/capeleto-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/capeleto-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/capeleto-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/people/capeleto-1/p-icon.gif as icon for photos/people/capeleto-1/p.gif
making scaled-gifs for photos/people/camila-2
=== color-correcting photos/people/camila-2/p-raw.ppm.Z ===
=== generating photos/people/camila-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 34 colors found
=== generating photos/people/camila-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/camila-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/camila-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/camila-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/camila-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/camila-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/camila-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
using photos/people/camila-2/p-icon.gif as icon for photos/people/camila-2/p.gif
making scaled-gifs for photos/people/beatriz-3
=== color-correcting photos/people/beatriz-3/p-raw.ppm.Z ===
=== generating photos/people/beatriz-3/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/beatriz-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/beatriz-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/beatriz-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/beatriz-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/beatriz-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/beatriz-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/beatriz-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/people/beatriz-3/p-icon.gif as icon for photos/people/beatriz-3/p.gif
making scaled-gifs for photos/people/ariadne-11
=== color-correcting photos/people/ariadne-11/p-raw.ppm.Z ===
=== generating photos/people/ariadne-11/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/people/ariadne-11/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/ariadne-11/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ariadne-11/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/ariadne-11/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/ariadne-11/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/ariadne-11/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/ariadne-11/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
using photos/people/ariadne-11/p-icon.gif as icon for photos/people/ariadne-11/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/anammont-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/anammont-4/p-050x070.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: 71 colors found
=== generating photos/people/anammont-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
=== generating photos/people/anammont-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/people/anammont-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
=== generating photos/people/anammont-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 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/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/beatriz-1
using photos/people/beatriz-1/p-icon.gif as icon for photos/people/beatriz-1/p.gif
making scaled-gifs for photos/people/paulo-5
using photos/people/paulo-5/p-icon.gif as icon for photos/people/paulo-5/p.gif
making scaled-gifs for photos/people/frossler-3
using photos/people/frossler-3/p-icon.gif as icon for photos/people/frossler-3/p.gif
making scaled-gifs for photos/people/lucianorq-4
using photos/people/lucianorq-4/p-icon.gif as icon for photos/people/lucianorq-4/p.gif
making scaled-gifs for photos/people/lucianorq-3
using photos/people/lucianorq-3/p-icon.gif as icon for photos/people/lucianorq-3/p.gif
making scaled-gifs for photos/people/frossler-1
using photos/people/frossler-1/p-icon.gif as icon for photos/people/frossler-1/p.gif
making scaled-gifs for photos/people/hcgl-11
using photos/people/hcgl-11/p-icon.gif as icon for photos/people/hcgl-11/p.gif
making scaled-gifs for photos/people/ducatte-3
using photos/people/ducatte-3/p-icon.gif as icon for photos/people/ducatte-3/p.gif
making scaled-gifs for photos/people/nivaldo-1
using photos/people/nivaldo-1/p-icon.gif as icon for photos/people/nivaldo-1/p.gif
making scaled-gifs for photos/people/mnascim-1
using photos/people/mnascim-1/p-icon.gif as icon for photos/people/mnascim-1/p.gif
making scaled-gifs for photos/people/abistolfi-2
using photos/people/abistolfi-2/p-icon.gif as icon for photos/people/abistolfi-2/p.gif
making scaled-gifs for photos/people/usrmurty-1
=== color-correcting photos/people/usrmurty-1/p-raw.ppm.Z ===
=== generating photos/people/usrmurty-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/usrmurty-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/usrmurty-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/usrmurty-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/usrmurty-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/usrmurty-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/usrmurty-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/usrmurty-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
using photos/people/usrmurty-1/p-icon.gif as icon for photos/people/usrmurty-1/p.gif
making scaled-gifs for photos/people/tomasz-5
using photos/people/tomasz-5/p-icon.gif as icon for photos/people/tomasz-5/p.gif
making scaled-gifs for photos/people/stolfi-4
=== color-correcting photos/people/stolfi-4/p-raw.ppm.Z ===
=== generating photos/people/stolfi-4/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/stolfi-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/stolfi-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/stolfi-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/stolfi-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/stolfi-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/stolfi-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/stolfi-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/people/stolfi-4/p-icon.gif as icon for photos/people/stolfi-4/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-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: 55 colors found
=== generating photos/people/ragazzi-9/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/ragazzi-9/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/ragazzi-9/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/ragazzi-9/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/ragazzi-9/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/people/ragazzi-9/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
using photos/people/ragazzi-9/p-icon.gif as icon for photos/people/ragazzi-9/p.gif
making scaled-gifs for photos/people/ragazzi-6
=== color-correcting photos/people/ragazzi-6/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-6/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/ragazzi-6/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/ragazzi-6/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/ragazzi-6/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/ragazzi-6/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/ragazzi-6/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/ragazzi-6/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/ragazzi-6/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
using photos/people/ragazzi-6/p-icon.gif as icon for photos/people/ragazzi-6/p.gif
making scaled-gifs for photos/people/ragazzi-5
=== color-correcting photos/people/ragazzi-5/p-raw.ppm.Z ===
=== generating photos/people/ragazzi-5/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/ragazzi-5/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ragazzi-5/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ragazzi-5/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/ragazzi-5/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/ragazzi-5/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/ragazzi-5/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/people/ragazzi-5/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
using photos/people/ragazzi-5/p-icon.gif as icon for photos/people/ragazzi-5/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 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-050x070.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: 48 colors found
=== generating photos/people/jeronimo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 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-2
=== color-correcting photos/people/jeronimo-2/p-raw.ppm.Z ===
=== generating photos/people/jeronimo-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 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-050x070.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: 58 colors found
=== generating photos/people/jeronimo-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/jeronimo-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/jeronimo-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif
making scaled-gifs for photos/people/hcgl-16
=== color-correcting photos/people/hcgl-16/p-raw.ppm.Z ===
=== generating photos/people/hcgl-16/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/hcgl-16/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/hcgl-16/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/hcgl-16/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/hcgl-16/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/hcgl-16/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/hcgl-16/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/people/hcgl-16/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
using photos/people/hcgl-16/p-icon.gif as icon for photos/people/hcgl-16/p.gif
making scaled-gifs for photos/people/giselec-1
=== color-correcting photos/people/giselec-1/p-raw.ppm.Z ===
=== generating photos/people/giselec-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/giselec-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/giselec-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/giselec-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/giselec-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/giselec-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/giselec-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/giselec-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/people/giselec-1/p-icon.gif as icon for photos/people/giselec-1/p.gif
making scaled-gifs for photos/people/ext-ellis-2
=== color-correcting photos/people/ext-ellis-2/p-raw.ppm.Z ===
=== generating photos/people/ext-ellis-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/ext-ellis-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/ext-ellis-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ext-ellis-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/ext-ellis-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/ext-ellis-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/ext-ellis-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/ext-ellis-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
using photos/people/ext-ellis-2/p-icon.gif as icon for photos/people/ext-ellis-2/p.gif
making scaled-gifs for photos/people/elias-1
=== color-correcting photos/people/elias-1/p-raw.ppm.Z ===
=== generating photos/people/elias-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/elias-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/elias-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/elias-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/elias-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/elias-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/elias-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/elias-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
using photos/people/elias-1/p-icon.gif as icon for photos/people/elias-1/p.gif
making scaled-gifs for photos/people/claudinho-1
=== color-correcting photos/people/claudinho-1/p-raw.ppm.Z ===
=== generating photos/people/claudinho-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/claudinho-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/claudinho-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/claudinho-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/claudinho-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/claudinho-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/claudinho-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/claudinho-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/people/claudinho-1/p-icon.gif as icon for photos/people/claudinho-1/p.gif
making scaled-gifs for photos/people/usrmurty-1
using photos/people/usrmurty-1/p-icon.gif as icon for photos/people/usrmurty-1/p.gif
making scaled-gifs for photos/people/capeleto-1
=== color-correcting photos/people/capeleto-1/p-raw.ppm.Z ===
=== generating photos/people/capeleto-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 31 colors found
=== generating photos/people/capeleto-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/capeleto-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/capeleto-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/capeleto-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/capeleto-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/capeleto-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/capeleto-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
using photos/people/capeleto-1/p-icon.gif as icon for photos/people/capeleto-1/p.gif
making scaled-gifs for photos/people/ariadne-11
=== color-correcting photos/people/ariadne-11/p-raw.ppm.Z ===
=== generating photos/people/ariadne-11/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/ariadne-11/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/ariadne-11/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/ariadne-11/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/ariadne-11/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/ariadne-11/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/ariadne-11/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/ariadne-11/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/people/ariadne-11/p-icon.gif as icon for photos/people/ariadne-11/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/anammont-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/anammont-4/p-050x070.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: 67 colors found
=== generating photos/people/anammont-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/people/anammont-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/people/anammont-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
=== generating photos/people/anammont-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 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/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
=== color-correcting photos/people/kunio-1/p-raw.ppm.Z ===
=== generating photos/people/kunio-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 8 colors found
=== generating photos/people/kunio-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 10 colors found
=== generating photos/people/kunio-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 15 colors found
=== generating photos/people/kunio-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 16 colors found
=== generating photos/people/kunio-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 20 colors found
=== generating photos/people/kunio-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 29 colors found
=== generating photos/people/kunio-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/kunio-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/stolfi-4
using photos/people/stolfi-4/p-icon.gif as icon for photos/people/stolfi-4/p.gif
making scaled-gifs for photos/people/ragazzi-5
using photos/people/ragazzi-5/p-icon.gif as icon for photos/people/ragazzi-5/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/jeronimo-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/jeronimo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/jeronimo-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/jeronimo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/jeronimo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 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-2
=== color-correcting photos/people/jeronimo-2/p-raw.ppm.Z ===
=== generating photos/people/jeronimo-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/jeronimo-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/jeronimo-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/jeronimo-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/jeronimo-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/jeronimo-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/jeronimo-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/jeronimo-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif
making scaled-gifs for photos/people/hcgl-16
=== color-correcting photos/people/hcgl-16/p-raw.ppm.Z ===
=== generating photos/people/hcgl-16/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/hcgl-16/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/hcgl-16/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/hcgl-16/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/hcgl-16/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/hcgl-16/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/people/hcgl-16/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/hcgl-16/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
using photos/people/hcgl-16/p-icon.gif as icon for photos/people/hcgl-16/p.gif
making scaled-gifs for photos/people/giselec-1
=== color-correcting photos/people/giselec-1/p-raw.ppm.Z ===
=== generating photos/people/giselec-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/giselec-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/giselec-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/giselec-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/giselec-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/giselec-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/giselec-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/giselec-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
using photos/people/giselec-1/p-icon.gif as icon for photos/people/giselec-1/p.gif
making scaled-gifs for photos/people/ext-ellis-2
using photos/people/ext-ellis-2/p-icon.gif as icon for photos/people/ext-ellis-2/p.gif
making scaled-gifs for photos/people/elias-1
=== color-correcting photos/people/elias-1/p-raw.ppm.Z ===
=== generating photos/people/elias-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/people/elias-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/elias-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/elias-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/elias-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/elias-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/elias-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/elias-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/people/elias-1/p-icon.gif as icon for photos/people/elias-1/p.gif
making scaled-gifs for photos/people/claudinho-1
=== color-correcting photos/people/claudinho-1/p-raw.ppm.Z ===
=== generating photos/people/claudinho-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/claudinho-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/claudinho-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/claudinho-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/claudinho-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/claudinho-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/claudinho-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/claudinho-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
using photos/people/claudinho-1/p-icon.gif as icon for photos/people/claudinho-1/p.gif
making scaled-gifs for photos/people/usrmurty-1
using photos/people/usrmurty-1/p-icon.gif as icon for photos/people/usrmurty-1/p.gif
making scaled-gifs for photos/people/capeleto-1
using photos/people/capeleto-1/p-icon.gif as icon for photos/people/capeleto-1/p.gif
making scaled-gifs for photos/people/ariadne-11
=== color-correcting photos/people/ariadne-11/p-raw.ppm.Z ===
=== generating photos/people/ariadne-11/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/ariadne-11/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/ariadne-11/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/ariadne-11/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/ariadne-11/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/ariadne-11/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/ariadne-11/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/ariadne-11/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/people/ariadne-11/p-icon.gif as icon for photos/people/ariadne-11/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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/anammont-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/anammont-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/anammont-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/people/anammont-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/people/anammont-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
=== generating photos/people/anammont-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
=== generating photos/people/anammont-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 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/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 89 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
=== color-correcting photos/people/kunio-1/p-raw.ppm.Z ===
photos/people/kunio-1/p.ppm: -- file unchanged
=== generating photos/people/kunio-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/kunio-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/kunio-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/kunio-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/kunio-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/kunio-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/people/kunio-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/people/kunio-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/stolfi-4
=== color-correcting photos/people/stolfi-4/p-raw.ppm.Z ===
=== generating photos/people/stolfi-4/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/people/stolfi-4/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/stolfi-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/stolfi-4/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/stolfi-4/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/stolfi-4/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/stolfi-4/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/stolfi-4/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
using photos/people/stolfi-4/p-icon.gif as icon for photos/people/stolfi-4/p.gif
making scaled-gifs for photos/people/pimentel-1
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/jeronimo-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/jeronimo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 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: 61 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/jeronimo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 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-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: 42 colors found
=== generating photos/people/jeronimo-4/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 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: 62 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: 73 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-2
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif
making scaled-gifs for photos/people/hcgl-16
using photos/people/hcgl-16/p-icon.gif as icon for photos/people/hcgl-16/p.gif
making scaled-gifs for photos/people/giselec-1
=== color-correcting photos/people/giselec-1/p-raw.ppm.Z ===
=== generating photos/people/giselec-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 40 colors found
=== generating photos/people/giselec-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/giselec-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/giselec-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/giselec-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/giselec-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/giselec-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/giselec-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/people/giselec-1/p-icon.gif as icon for photos/people/giselec-1/p.gif
making scaled-gifs for photos/people/afalcao-1
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-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-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/jeronimo-3/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 39 colors found
=== generating photos/people/jeronimo-3/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/jeronimo-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/jeronimo-3/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/jeronimo-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/jeronimo-3/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/jeronimo-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 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/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
=== color-correcting photos/people/kunio-1/p-raw.ppm.Z ===
=== generating photos/people/kunio-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/kunio-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/kunio-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/people/kunio-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/kunio-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/kunio-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/kunio-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/kunio-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/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/jeronimo-2
using photos/people/jeronimo-2/p-icon.gif as icon for photos/people/jeronimo-2/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 84 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 98 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-2/p.gif
making scaled-gifs for photos/people/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 93 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/kunio-1
=== color-correcting photos/people/kunio-1/p-raw.ppm.Z ===
photos/people/kunio-1/p.ppm: -- file unchanged
=== generating photos/people/kunio-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 38 colors found
=== generating photos/people/kunio-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/kunio-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/kunio-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/kunio-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/kunio-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/kunio-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/kunio-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
using photos/people/kunio-1/p-icon.gif as icon for photos/people/kunio-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 59 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 73 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 96 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-2/p.gif
making scaled-gifs for photos/people/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 97 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 89 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-2/p.gif
making scaled-gifs for photos/people/afalcao-1
=== color-correcting photos/people/afalcao-1/p-raw.ppm.Z ===
=== generating photos/people/afalcao-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/afalcao-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/people/afalcao-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/people/afalcao-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
=== generating photos/people/afalcao-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
=== generating photos/people/afalcao-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
=== generating photos/people/afalcao-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 92 colors found
=== generating photos/people/afalcao-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 98 colors found
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 42 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/people/keidi-2
=== color-correcting photos/people/keidi-2/p-raw.ppm.Z ===
=== generating photos/people/keidi-2/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/people/keidi-2/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/people/keidi-2/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/people/keidi-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/people/keidi-2/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/people/keidi-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/people/keidi-2/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 86 colors found
=== generating photos/people/keidi-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 92 colors found
using photos/people/keidi-2/p-icon.gif as icon for photos/people/keidi-2/p.gif
making scaled-gifs for photos/people/afalcao-1
using photos/people/afalcao-1/p-icon.gif as icon for photos/people/afalcao-1/p.gif
making scaled-gifs for photos/people/pimentel-1
=== color-correcting photos/people/pimentel-1/p-raw.ppm.Z ===
=== generating photos/people/pimentel-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 43 colors found
=== generating photos/people/pimentel-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/people/pimentel-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 52 colors found
=== generating photos/people/pimentel-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/people/pimentel-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/people/pimentel-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 65 colors found
=== generating photos/people/pimentel-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/people/pimentel-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 79 colors found
using photos/people/pimentel-1/p-icon.gif as icon for photos/people/pimentel-1/p.gif
making scaled-gifs for photos/misc/stolfi-7
using photos/misc/stolfi-7/p-icon.gif as icon for photos/misc/stolfi-7/p.gif
making scaled-gifs for photos/misc/neucimar-2
using photos/misc/neucimar-2/p-icon.gif as icon for photos/misc/neucimar-2/p.gif
making scaled-gifs for photos/misc/hcgl-15
using photos/misc/hcgl-15/p-icon.gif as icon for photos/misc/hcgl-15/p.gif
making scaled-gifs for photos/misc/machado-2
using photos/misc/machado-2/p-icon.gif as icon for photos/misc/machado-2/p.gif
making scaled-gifs for photos/misc/sam-claud-1
using photos/misc/sam-claud-1/p-icon.gif as icon for photos/misc/sam-claud-1/p.gif
making scaled-gifs for photos/misc/ragazzi-8
using photos/misc/ragazzi-8/p-icon.gif as icon for photos/misc/ragazzi-8/p.gif
making scaled-gifs for photos/misc/camila-1
using photos/misc/camila-1/p-icon.gif as icon for photos/misc/camila-1/p.gif
making scaled-gifs for photos/misc/ragazzi-7
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/beatriz-2
using photos/misc/beatriz-2/p-icon.gif as icon for photos/misc/beatriz-2/p.gif
making scaled-gifs for photos/misc/aastolfi-1
using photos/misc/aastolfi-1/p-icon.gif as icon for photos/misc/aastolfi-1/p.gif
making scaled-gifs for photos/misc/stolfi-6
using photos/misc/stolfi-6/p-icon.gif as icon for photos/misc/stolfi-6/p.gif
making scaled-gifs for photos/misc/hcgl-14
=== color-correcting photos/misc/hcgl-14/p-raw.ppm.Z ===
=== generating photos/misc/hcgl-14/p-035x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/hcgl-14/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 53 colors found
=== generating photos/misc/hcgl-14/p-070x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/hcgl-14/p-100x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/hcgl-14/p-200x400.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/misc/hcgl-14/p-400x800.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
using photos/misc/hcgl-14/p-icon.gif as icon for photos/misc/hcgl-14/p.gif
making scaled-gifs for photos/misc/marcus-2
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/anammont-3
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/abistolfi-3
using photos/misc/abistolfi-3/p-icon.gif as icon for photos/misc/abistolfi-3/p.gif
making scaled-gifs for photos/misc/tomasz-4
using photos/misc/tomasz-4/p-icon.gif as icon for photos/misc/tomasz-4/p.gif
making scaled-gifs for photos/misc/rforrest-1
using photos/misc/rforrest-1/p-icon.gif as icon for photos/misc/rforrest-1/p.gif
making scaled-gifs for photos/misc/hcgl-15
=== color-correcting photos/misc/hcgl-15/p-raw.ppm.Z ===
=== generating photos/misc/hcgl-15/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/hcgl-15/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/misc/hcgl-15/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
=== generating photos/misc/hcgl-15/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
using photos/misc/hcgl-15/p-icon.gif as icon for photos/misc/hcgl-15/p.gif
making scaled-gifs for photos/misc/machado-2
=== color-correcting photos/misc/machado-2/p-raw.ppm.Z ===
=== generating photos/misc/machado-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/misc/machado-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 89 colors found
=== generating photos/misc/machado-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 97 colors found
=== generating photos/misc/machado-2/p-450x630.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 106 colors found
using photos/misc/machado-2/p-icon.gif as icon for photos/misc/machado-2/p.gif
making scaled-gifs for photos/misc/sam-claud-1
=== color-correcting photos/misc/sam-claud-1/p-raw.ppm.Z ===
=== generating photos/misc/sam-claud-1/p-100x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/sam-claud-1/p-200x200.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/sam-claud-1/p-400x400.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/sam-claud-1/p-780x780.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
using photos/misc/sam-claud-1/p-icon.gif as icon for photos/misc/sam-claud-1/p.gif
making scaled-gifs for photos/misc/ragazzi-8
=== color-correcting photos/misc/ragazzi-8/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-8/p-075x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/ragazzi-8/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
=== generating photos/misc/ragazzi-8/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 84 colors found
using photos/misc/ragazzi-8/p-icon.gif as icon for photos/misc/ragazzi-8/p.gif
making scaled-gifs for photos/misc/camila-1
=== color-correcting photos/misc/camila-1/p-raw.ppm.Z ===
=== generating photos/misc/camila-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/camila-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 51 colors found
=== generating photos/misc/camila-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 60 colors found
=== generating photos/misc/camila-1/p-400x560.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
using photos/misc/camila-1/p-icon.gif as icon for photos/misc/camila-1/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 85 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/beatriz-2
=== color-correcting photos/misc/beatriz-2/p-raw.ppm.Z ===
=== generating photos/misc/beatriz-2/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/beatriz-2/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/beatriz-2/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/beatriz-2/p-500x700.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
using photos/misc/beatriz-2/p-icon.gif as icon for photos/misc/beatriz-2/p.gif
making scaled-gifs for photos/misc/aastolfi-1
=== color-correcting photos/misc/aastolfi-1/p-raw.ppm.Z ===
=== generating photos/misc/aastolfi-1/p-065x095.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/aastolfi-1/p-130x190.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/aastolfi-1/p-598x874.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 92 colors found
using photos/misc/aastolfi-1/p-icon.gif as icon for photos/misc/aastolfi-1/p.gif
making scaled-gifs for photos/misc/stolfi-6
=== color-correcting photos/misc/stolfi-6/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-6/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 36 colors found
=== generating photos/misc/stolfi-6/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/stolfi-6/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/stolfi-6/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/stolfi-6/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/misc/stolfi-6/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
using photos/misc/stolfi-6/p-icon.gif as icon for photos/misc/stolfi-6/p.gif
making scaled-gifs for photos/misc/hcgl-14
using photos/misc/hcgl-14/p-icon.gif as icon for photos/misc/hcgl-14/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/anammont-3
=== color-correcting photos/misc/anammont-3/p-raw.ppm.Z ===
=== generating photos/misc/anammont-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/anammont-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 83 colors found
=== generating photos/misc/anammont-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 86 colors found
=== generating photos/misc/anammont-3/p-445x623.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 96 colors found
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/abistolfi-3
using photos/misc/abistolfi-3/p-icon.gif as icon for photos/misc/abistolfi-3/p.gif
making scaled-gifs for photos/misc/tomasz-4
=== color-correcting photos/misc/tomasz-4/p-raw.ppm.Z ===
=== generating photos/misc/tomasz-4/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 45 colors found
=== generating photos/misc/tomasz-4/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/tomasz-4/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/tomasz-4/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 58 colors found
=== generating photos/misc/tomasz-4/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/tomasz-4/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 89 colors found
using photos/misc/tomasz-4/p-icon.gif as icon for photos/misc/tomasz-4/p.gif
making scaled-gifs for photos/misc/rforrest-1
=== color-correcting photos/misc/rforrest-1/p-raw.ppm.Z ===
=== generating photos/misc/rforrest-1/p-025x035.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 35 colors found
=== generating photos/misc/rforrest-1/p-035x049.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 37 colors found
=== generating photos/misc/rforrest-1/p-050x070.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/misc/rforrest-1/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 46 colors found
=== generating photos/misc/rforrest-1/p-100x140.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 47 colors found
=== generating photos/misc/rforrest-1/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 49 colors found
=== generating photos/misc/rforrest-1/p-200x280.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 50 colors found
=== generating photos/misc/rforrest-1/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
using photos/misc/rforrest-1/p-icon.gif as icon for photos/misc/rforrest-1/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 71 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/aastolfi-1
=== color-correcting photos/misc/aastolfi-1/p-raw.ppm.Z ===
=== generating photos/misc/aastolfi-1/p-065x095.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/aastolfi-1/p-130x190.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/aastolfi-1/p-598x874.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 94 colors found
using photos/misc/aastolfi-1/p-icon.gif as icon for photos/misc/aastolfi-1/p.gif
making scaled-gifs for photos/misc/stolfi-6
=== color-correcting photos/misc/stolfi-6/p-raw.ppm.Z ===
=== generating photos/misc/stolfi-6/p-050x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 41 colors found
=== generating photos/misc/stolfi-6/p-070x105.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 44 colors found
=== generating photos/misc/stolfi-6/p-100x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 48 colors found
=== generating photos/misc/stolfi-6/p-140x210.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/stolfi-6/p-280x420.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/misc/stolfi-6/p-504x756.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
using photos/misc/stolfi-6/p-icon.gif as icon for photos/misc/stolfi-6/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 54 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 63 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/anammont-3
=== color-correcting photos/misc/anammont-3/p-raw.ppm.Z ===
=== generating photos/misc/anammont-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 64 colors found
=== generating photos/misc/anammont-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
=== generating photos/misc/anammont-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
=== generating photos/misc/anammont-3/p-445x623.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 94 colors found
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/ragazzi-7
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 76 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 87 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/anammont-3
=== color-correcting photos/misc/anammont-3/p-raw.ppm.Z ===
=== generating photos/misc/anammont-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 75 colors found
=== generating photos/misc/anammont-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
=== generating photos/misc/anammont-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 103 colors found
=== generating photos/misc/anammont-3/p-445x623.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 123 colors found
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/ragazzi-7
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 69 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/anammont-3
=== color-correcting photos/misc/anammont-3/p-raw.ppm.Z ===
=== generating photos/misc/anammont-3/p-070x098.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/misc/anammont-3/p-140x196.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 86 colors found
=== generating photos/misc/anammont-3/p-280x392.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 101 colors found
=== generating photos/misc/anammont-3/p-445x623.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 112 colors found
using photos/misc/anammont-3/p-icon.gif as icon for photos/misc/anammont-3/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 62 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 70 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 77 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 88 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/marcus-2
=== color-correcting photos/misc/marcus-2/p-raw.ppm.Z ===
=== generating photos/misc/marcus-2/p-100x075.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 61 colors found
=== generating photos/misc/marcus-2/p-200x150.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 74 colors found
=== generating photos/misc/marcus-2/p-400x300.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 81 colors found
=== generating photos/misc/marcus-2/p-940x705.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 91 colors found
using photos/misc/marcus-2/p-icon.gif as icon for photos/misc/marcus-2/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 56 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 66 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 72 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 82 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 55 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 67 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 80 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 90 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif
making scaled-gifs for photos/misc/ragazzi-7
=== color-correcting photos/misc/ragazzi-7/p-raw.ppm.Z ===
=== generating photos/misc/ragazzi-7/p-050x100.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 57 colors found
=== generating photos/misc/ragazzi-7/p-120x240.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 68 colors found
=== generating photos/misc/ragazzi-7/p-240x480.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 78 colors found
=== generating photos/misc/ragazzi-7/p-480x960.gif ===
ppmvquant: 216 colors found in colormap
ppmtogif: computing colormap...
ppmtogif: 89 colors found
using photos/misc/ragazzi-7/p-icon.gif as icon for photos/misc/ragazzi-7/p.gif