Values for table pt_nxopt31_HTM
 0               1
 1               6
 2              29
 3             164
 4            1433
 5           16772
 6          205033
 7         2513871
 8        30329976
 9       342440769
10      2815191126
11      6147967200
12       524918774
13            3546
14               0
15               0