discard """
  output: '''5 5 5'''
"""

import mdotlookup

foo(7)