res.ps

graph g {
	graph [bb="0,0,478.34,252"];
	node [label="\N"];
	Init	[height=0.5,
		pos="165.5,234",
		width=0.75];
	Explo	[height=0.5,
		pos="165.5,162",
		width=1.0291];
	Init -- Explo	[pos="165.5,215.7 165.5,204.85 165.5,190.92 165.5,180.1"];
	Boop	[height=0.5,
		pos="94.496,90",
		width=0.95686];
	Booped	[height=0.5,
		pos="45.496,18",
		width=1.2638];
	Boop -- Booped	[pos="83.131,72.765 75.328,61.618 65.001,46.865 57.139,35.633"];
	Booped -- Explo	[pos="41.861,36.06 38.767,55.299 36.862,86.676 51.496,108 69.713,134.54 104.78,148.09 131.24,154.81"];
	ShareMap	[height=0.5,
		pos="260.5,90",
		width=1.6249];
	R_MAP	[height=0.5,
		pos="165.5,18",
		width=1.2277];
	ShareMap -- R_MAP	[pos="238.94,73.116 223.06,61.418 201.61,45.61 185.99,34.101"];
	R_MAP -- Explo	[pos="170.09,36.189 172.97,63.52 172.97,116.58 170.08,143.87"];
	Explo -- Boop	[pos="149.74,145.46 137.97,133.86 121.96,118.08 110.21,106.49"];
	Explo -- ShareMap	[pos="185.18,146.5 200.83,134.96 222.71,118.85 238.85,106.95"];
	Explo -- R_MAP	[pos="160.91,143.87 158.03,116.58 158.02,63.52 160.91,36.189"];
	Explo -- Explo	[pos="191.83,174.81 206.74,177.31 220.54,173.04 220.54,162 220.54,150.96 206.74,146.69 191.83,149.19"];
	ComputeColl	[height=0.5,
		pos="407.5,90",
		width=1.9679];
	Explo -- ComputeColl	[pos="195.27,150.97 236.33,138.42 310.49,116.93 359.43,103.37"];
	ComputeColl -- Explo	[pos="365.64,104.69 317.9,119.07 241.1,141.19 197.75,152.97"];
}