<?php

$program_name = 'gimp';
$input_text = 'We collect 4 traces of GIMP\'s allocation when doing:'."\n";
$input = array('Start program (trace of process n. 1)',
				'Start program (trace of process n. 2)',
				'Open SVG logo of Wikpedia and export as PNG (trace of process n. 1)',
				);

$input_ops = array(1587333, 1174729, 2961873);

$program_desc = 'GIMP (short for the GNU Image Manipulation Program) is a '."\n";
$program_desc .= 'free software raster graphics editor. It is primarily '."\n";
$program_desc .= 'employed as an image retouching and editing tool.'."\n";
$program_desc .= ' In addition to free-form drawing, GIMP can accomplish'."\n";
$program_desc .= ' essential image work-flow steps such as resizing, editing,'."\n";
$program_desc .= ' and cropping photos, combining multiple images, and converting'."\n";
$program_desc .= ' between different image formats. GIMP can also be used to create'."\n";
$program_desc .= ' basic animated images in the GIF format.'."\n";

require_once 'program_page.php';
?>