dist_cdsa = \
	cdsa-cases/1.in     \
	cdsa-cases/2.in	    \
	cdsa-cases/3.in	    \
	cdsa-cases/4.in	    \
	cdsa-cases/5.in	    \
	cdsa-cases/6.in	    \
	cdsa-cases/7.in	    \
	cdsa-cases/8.in	    \
	cdsa-cases/9.in	    \
	cdsa-cases/10.in    \
	cdsa-cases/11.in    \
	cdsa-cases/12.in    \
	cdsa-cases/13.in    \
	cdsa-cases/14.in    \
	cdsa-cases/15.in    \
	cdsa-cases/16.in    \
	cdsa-cases/17.in    \
	cdsa-cases/18.in    \
	cdsa-cases/19.in    \
	cdsa-cases/20.in    \
	cdsa-cases/21.in    \
	cdsa-cases/22.in    \
	cdsa-cases/23.in    \
	cdsa-cases/24.in    \
	cdsa-cases/25.in    \
	cdsa-cases/26.in    \
	cdsa-cases/27.in    \
	cdsa-cases/28.in    \
	cdsa-cases/29.in    \
	cdsa-cases/30.in    \
	cdsa-cases/31.in    \
	cdsa-cases/32.in    \
	cdsa-cases/33.in    \
	cdsa-cases/34.in    \
	cdsa-cases/35.in    \
	cdsa-cases/36.in    \
	cdsa-cases/37.in    \
	cdsa-cases/38.in    \
	cdsa-cases/39.in    \
	cdsa-cases/40.in    \
	cdsa-cases/41.in    \
	cdsa-cases/42.in    \
	cdsa-cases/43.in    \
	cdsa-cases/44.in    \
	cdsa-cases/45.in    \
	cdsa-cases/46.in    \
	cdsa-cases/47.in    \
	cdsa-cases/48.in    \
	cdsa-cases/49.in    \
	cdsa-cases/50.in    \
	cdsa-cases/51.in    \
	cdsa-cases/52.in    \
	cdsa-cases/53.in    \
	cdsa-cases/54.in    \
	cdsa-cases/55.in    \
	cdsa-cases/56.in    \
	cdsa-cases/57.in    \
	cdsa-cases/58.in    \
	cdsa-cases/59.in    \
	cdsa-cases/60.in    \
	cdsa-cases/61.in    \
	cdsa-cases/62.in    \
	cdsa-cases/63.in    \
	cdsa-cases/64.in    \
	cdsa-cases/65.in    \
	cdsa-cases/66.in    \
	cdsa-cases/67.in    \
	cdsa-cases/68.in    \
	cdsa-cases/69.in    \
	cdsa-cases/70.in    \
	cdsa-cases/71.in    \
	cdsa-cases/72.in    \
	cdsa-cases/73.in    \
	cdsa-cases/74.in    \
	cdsa-cases/75.in    \
	cdsa-cases/76.in    \
	cdsa-cases/77.in    \
	cdsa-cases/78.in    \
	cdsa-cases/79.in    \
	cdsa-cases/80.in    \
	cdsa-cases/81.in    \
	cdsa-cases/82.in    \
	cdsa-cases/83.in    \
	cdsa-cases/84.in    \
	cdsa-cases/85.in    \
	cdsa-cases/86.in    \
	cdsa-cases/87.in    \
	cdsa-cases/88.in    \
	cdsa-cases/89.in    \
	cdsa-cases/90.in    \
	cdsa-cases/91.in    \
	cdsa-cases/1000.in  \
	cdsa-cases/1.out    \
	cdsa-cases/2.out    \
	cdsa-cases/3.out    \
	cdsa-cases/4.out    \
	cdsa-cases/5.out    \
	cdsa-cases/6.out    \
	cdsa-cases/7.out    \
	cdsa-cases/8.out    \
	cdsa-cases/9.out    \
	cdsa-cases/10.out   \
	cdsa-cases/11.out   \
	cdsa-cases/12.out   \
	cdsa-cases/13.out   \
	cdsa-cases/14.out   \
	cdsa-cases/15.out   \
	cdsa-cases/16.out   \
	cdsa-cases/17.out   \
	cdsa-cases/18.out   \
	cdsa-cases/19.out   \
	cdsa-cases/20.out   \
	cdsa-cases/21.out   \
	cdsa-cases/22.out   \
	cdsa-cases/23.out   \
	cdsa-cases/24.out   \
	cdsa-cases/25.out   \
	cdsa-cases/26.out   \
	cdsa-cases/27.out   \
	cdsa-cases/28.out   \
	cdsa-cases/29.out   \
	cdsa-cases/30.out   \
	cdsa-cases/31.out   \
	cdsa-cases/32.out   \
	cdsa-cases/33.out   \
	cdsa-cases/34.out   \
	cdsa-cases/35.out   \
	cdsa-cases/36.out   \
	cdsa-cases/37.out   \
	cdsa-cases/38.out   \
	cdsa-cases/39.out   \
	cdsa-cases/40.out   \
	cdsa-cases/41.out   \
	cdsa-cases/42.out   \
	cdsa-cases/43.out   \
	cdsa-cases/44.out   \
	cdsa-cases/45.out   \
	cdsa-cases/46.out   \
	cdsa-cases/47.out   \
	cdsa-cases/48.out   \
	cdsa-cases/49.out   \
	cdsa-cases/50.out   \
	cdsa-cases/51.out   \
	cdsa-cases/52.out   \
	cdsa-cases/53.out   \
	cdsa-cases/54.out   \
	cdsa-cases/55.out   \
	cdsa-cases/56.out   \
	cdsa-cases/57.out   \
	cdsa-cases/58.out   \
	cdsa-cases/59.out   \
	cdsa-cases/60.out   \
	cdsa-cases/61.out   \
	cdsa-cases/62.out   \
	cdsa-cases/63.out   \
	cdsa-cases/64.out   \
	cdsa-cases/65.out   \
	cdsa-cases/66.out   \
	cdsa-cases/67.out   \
	cdsa-cases/68.out   \
	cdsa-cases/69.out   \
	cdsa-cases/70.out   \
	cdsa-cases/71.out   \
	cdsa-cases/72.out   \
	cdsa-cases/73.out   \
	cdsa-cases/74.out   \
	cdsa-cases/75.out   \
	cdsa-cases/76.out   \
	cdsa-cases/77.out   \
	cdsa-cases/78.out   \
	cdsa-cases/79.out   \
	cdsa-cases/80.out   \
	cdsa-cases/81.out   \
	cdsa-cases/82.out   \
	cdsa-cases/83.out   \
	cdsa-cases/84.out   \
	cdsa-cases/85.out   \
	cdsa-cases/86.out   \
	cdsa-cases/87.out   \
	cdsa-cases/88.out   \
	cdsa-cases/89.out   \
	cdsa-cases/90.out   \
	cdsa-cases/91.out
