convert divu_0009.png A0.pnm
convert divu_0099.png A1.pnm
convert divu_0999.png A2.pnm

convert b2_0009.png B0.pnm
convert b2_0099.png B1.pnm
convert b2_0999.png B2.pnm

convert o2_0009.png C0.pnm
convert o2_0099.png C1.pnm
convert o2_0999.png C2.pnm

pnmcat -lr A0.pnm A1.pnm A2.pnm > A.pnm
pnmcat -lr B0.pnm B1.pnm B2.pnm > B.pnm
pnmcat -lr C0.pnm C1.pnm C2.pnm > C.pnm
pnmcat -tb A.pnm B.pnm C.pnm > ABC.pnm
convert ABC.pnm ABC.jpg
jpeg2ps ABC.jpg > ABC.eps
