cat ../../../../as/sum_10.casl
../../../../casl2 -slaTo ../../../../as/sum_10.casl