.PHONY: 013 004 007 005 006 003 001 002 000
all: 013 004 007 005 006 003 001 002 000
013:
	make -C $@
004:
	make -C $@
007:
	make -C $@
005:
	make -C $@
006:
	make -C $@
003:
	make -C $@
001:
	make -C $@
002:
	make -C $@
000:
	make -C $@