fixed claim.sh
fixed typo
fixed dekker
fixed dekker algorithm
fixed prototype4
add rule