File "<stdin>", line 1
    ^
    ^