smh this lecture slide uses a rounded result halfway so their answer is off :|
Small server part of the pixie.town infrastructure. Registration is closed.