Walk every six days, that is, 1, 7, 13. ......
You can only go once every 12 days, that is, 1,13,25. ......
Find the least common multiple of any two numbers in 4,6, 12 is 12.
A: 12 days, they will meet in the library.