Trigrand Kilofaxul

The  trigrand kilofaxul  is equal to ((...((200 ! )!)!...)!)! with  bigrand kilofaxul  nested factorials or 200(! 200(! 200(! 200(! 2) ) ) ) using  Nested Factorial Notation.