// 247*12^247+1
8922051526070431177187620406742770542391822528839437743538090215\
9142679514083383591688095126765580254988018545755361396353527568\
7116391967954656120653534210696703106992859113745200196761159093\
5214709311384022348942794789246888930241554396309004967527733652\
4945857970177