// 273*80^273+1
9543970666190996592781162126334510385701946770022690601242084678\
6266119060807407659927522028443890948391298169150231000736210241\
5366336894436217298504288358935548667734170520497904876023408350\
3314081936336995181348790333416307812899161314550863626240000000\
0000000000000000000000000000000000000000000000000000000000000000\
0000000000000000000000000000000000000000000000000000000000000000\
0000000000000000000000000000000000000000000000000000000000000000\
0000000000000000000000000000000000000000000000000000000000000000\
0000000001