// 800*6^800+1
2655157536813910982430862323314285396236460552397528553545918728\
8699961096521822249769492783572032886718695309130747884917506519\
5632869937798776290755600434789461040062351671753021223375189207\
1708878959740551305439308548623598731821846110656218212296007145\
0200732095449549502627045186600610352426698958049913766970067133\
0719447299011449125901738223403703546689466834397850538412555299\
4865357382590441923901903310130386222544366657081695686421005366\
8762056984003193814896832556549150680049971506864380717714743019\
7556687354257382359543057848815838313682226128374984186179855851\
33918074386392601712603297476166806576395242700801