{"raw_statement":[{"iden":"statement","content":"See PDF statement in attachment.\n\n"},{"iden":"examples","content":"Input10 0 01 -1 -11 1 1Output0.707106781187Input31 2 10 2 21 1 11 1 12 2 21 2 10 0 -11 1 10 2 2Output1.247219128925Input21 0 10 0 01 -1 -11 -1 -10 0 00 -1 1Output1.837117307087"}],"translated_statement":null,"sample_group":[],"show_order":[],"formal_statement":"**Definitions**  \nLet $ d, w, m \\in \\mathbb{Z}^+ $ denote the hours until deadline, required work hours, and marathon duration, respectively.\n\n**Constraints**  \n$ 1 \\leq d, w, m \\leq 1000 $\n\n**Objective**  \nOutput \"good luck\" if:  \n$$ d \\geq w + m \\quad \\text{or} \\quad d < w $$  \nOtherwise, output \"see you next semester\".","simple_statement":"if d >= w + m or d < w: print(\"good luck\")  \nelse: print(\"see you next semester\")","has_page_source":false}