pngtopnm A1_ss.png > 11.pnm
pngtopnm A2_ss.png > 22.pnm
pngtopnm A3_ss.png > 33.pnm
pngtopnm A4_ss.png > 44.pnm
pngtopnm A5_ss.png > 55.pnm
pngtopnm B5_ss.png > 66.pnm
pngtopnm D3_ss.png > 77.pnm
pnmmargin -white 24 11.pnm > 1.pnm
pnmmargin -white 24 22.pnm > 2.pnm
pnmmargin -white 24 33.pnm > 3.pnm
pnmmargin -white 24 44.pnm > 4.pnm
pnmmargin -white 24 55.pnm > 5.pnm
pnmmargin -white 24 66.pnm > 6.pnm
pnmmargin -white 24 77.pnm > 7.pnm
pnmcat -lr 1.pnm 2.pnm 3.pnm 4.pnm >l1.pnm
pnmcat -lr 5.pnm 6.pnm 7.pnm >l2.pnm
pnmcat -tb l1.pnm l2.pnm >boxes.pnm
pnmtopng boxes.pnm > boxes.png
