The code is used to help verify the results in our paper.

There are some mistakes in our previous code: the functions searchCollision3RPattern() and searchCollision4RPattern(). However, they will not affect the correctness of our analysis.