Create ladder-lamport.sh