add infdec.pl