@WheatWizard i'll give it a try

@WheatWizard I think the formula f n=round(sqrt$2*n)^2-n+1 might lead to a shorter answer, but it will take some wrestling with the type system

I don't know haskell but I must say this room name is legendary :D

@xnor Well here it is in 31

I guess that's pretty disaointing