一名男子在12:00抵达了某巴士站,并且在12:00-12:59期间他将在那里逗留。
巴士站有很多巴士路线,巴士抵达的时间均已给出。
该男子观察巴士的抵达时间,有所发现:
1、在12:00 ~12:59 期间,同一线路上的巴士以相同的时间间隔到站。
2、每条巴士线路至少有两辆车到达本站。
3、不同线路的巴士可以同时到达本站。
4、不同巴士线路的车首次到达本站的时间和到站的时间间隔都有可能相同。
5、测试用例中的总线路不会超过17条。
请你编写一个程序,求出在所有巴士到达本站的时刻满足输入数据的要求的情况下,巴士线路的总数量最小是多少。