{12870,
 698607816,
 58591381296256,
 5831528022482629710,
 645855159466371391947660,
 76083336332947513655554918994,
 9369363517501208819530429967280708,
 1191064812882685539785713745400934044308,
 155023302820254133629368881178138076738462112,
 20527337238769032315796332007167102984745417344046,
 2753810232976351788081274786378733309236298426977203848,
 373119178357778061717948099980013460229206030805799398500854,
 50951326753537773696400958035190445392087069512323700346738258636,
 7001162596299842157702522497248382790653327031255175591724416502728794,
 966918156762047374049563581178321127271676374172817641602527807743236910652,
 134100978847306666852550587026111599776363772639552777375059719339646310419710896,
 18664228339245633893851832183949947880771544631932975734722213479087757473479065334444,
 2605526910762563057030987210900283501780529452173630628353968032218854960586185973358091454,
 364673608565360713300771203275086348424906207007985202772928628432718870931881513401629957272384,
 51154648871609659957574880203630521927527282543661607906860585063101600286195377349259149568691881358}