Problem Fがとけたー！
なんかWrong AnswerとかTLEとか出しまくってたわけですが、
Wrong Answer → A-CとB-Cを満たすC（またはD-AとA-Dを満たすD）が存在し、かつA-E、E-Bを満たすEが存在する（またはB-F、F-Aを満たすFが存在する）という罠的状況を考慮しなかったため。
TLE → ループされるたびに作っていたデータを問題が与えられた時点で一括して作るようにしたら、劇的に速度アップした。
てな感じでした。しかし3870バイトってOCamlにしては長すぎ。
