[2,5,13,31,73,173,409,967,3450844193,39661481813, 2076849234433,52134281654579,14838980942616539, 260230524377962793,4563650703502319197, 80032531899785490253,172111744128569095516889]