import Data.List
count n
= foldl (\i j
-> i
+ div n j
) 0 [1..sq
] * 2 - (sq
^2) -- 積がn以下になる自然数の順序対の個数
f 0 = 0
f m
= f
(m
-1) + count
(m
^2 `
div`
4)
aW1wb3J0IERhdGEuTGlzdAoKY291bnQgbiA9IGZvbGRsIChcaSBqLT4gaSArIGRpdiBuIGopIDAgWzEuLnNxXSAqIDIgLSAoc3FeMikgLS0g56mN44GMbuS7peS4i+OBq+OBquOCi+iHqueEtuaVsOOBrumghuW6j+WvvuOBruWAi+aVsAogIHdoZXJlIHNxID0gZmxvb3IgJCBzcXJ0ICQgZnJvbUludGVncmFsIG4KCmYgMCA9IDAKZiBtID0gZiAobS0xKSArIGNvdW50IChtXjIgYGRpdmAgNCkKCm1haW4gPSBtYXBNXyAocHJpbnQuZi5yZWFkKS5saW5lcyA9PDwgZ2V0Q29udGVudHMK