Remaining formatting issues

[Hillosanation]

spoilers:

• Imo2003P5
• Imo2004P3
• Imo2017P3
• Imo2018P4
• Imo2019P4
• Imo2026P1
• Imo2026P6 (states purely periodic before problem statement)
• Usa1974P4 (L118-119 uses a weaker hypothesis)
• Usa1975P5 (reflect)
• Usa1976P1 (counterexample)
• Usa1979P3 (L36-44)
• Usa1987P5 (altSeq)
• Usa1990P1 (L29-31)
• Usa1994P2
• Usa1997P1 (determine)
• Usa2002P6 (determine, phase)
• Usa2004P4 (determine who has winning strategy, the problem statement is also wrong)
• Usa2005P1 (determine)
• Usa2010P6 (strategy spoiler)
• Usa2011P2 (invariant)
• Usa2012P6 (determine)
• Usa2012P2 (determine)
• Usa2013P2 (adapts framing from solution, not statement)
• Usa2013P4 (Distinguished, it also might obscure the printed determine result?)
• Usa2014P4 (determine)
• Usa2017P2 (hm redundant)
• Usa2019P3 (determine)
• Usa2021P5 (determine)
• Usa2024P4 (determine)
• Usa2024P6 (determine)
• Usa2026P2 (determine)

bad snip:

• Usa1980P2 (snipped apCount)
• Usa1999P5 (snipped setup)
• Usa2002P6 (b depends on snipped content)
• Usa2006P3 (snipped Classification)
• Usa2010P2 (snipped Legal)
• Usa2014P4 (snipped statement)
• Usa2015P4 (StoneMove)
• Usa2017P2 (ainvCount)
• Usa2019P5 (Writable)
• Usa2020P2 (Beam, etc)
• Usa2012P2 (Park, etc)
• Usa2021P3 (Solvable, etc)
• Usa2022P6 (completable, etc)

documentation:

• Usa1988P1 (repeating decimal representation description)
• Usa2012P4 (function should have type Z+ -> Z+)

missing parts:

• Usa1977P5 (determine condition for equality)
• Usa2011P6 (determine condition for equality)
• Usa2021P4 (S is assumed to be nonempty)

move translation notes:
all files for Imo2026