363 FreeLog2k-1Theorem.AcceptedVersion.pdf 103 + 466 .