swipl dsa.pl <dsa.in 


