Add additional example on -K and update rabin2.1