(23²⁰¹⁸ . 2²⁰¹⁷) : [(46²)⁵]²⁰¹ ​