#
/Users/neun/pxk/reduce-algebra/trunk/psl/dist/kernel/macintel/bpsl -td 10000000 -f /Users/neun/pxk/reduce-algebra/trunk/psl/bin/macintel/bare-psl.img $*
#
