src/plugins/eukleides/progs
