[2,1,13,31,73,181,443,2249,238839,6473,30001,40123,108539,251707,637321,7554079,4124437,241895689,27067097,69709723,179992919,1019958623,1208198863,3140421743,8179002173]
