[6,15,35,95,187,259,671,903,905,1273,1967,2938,
3161,4382,6004,6005,9718,11049,12371,14194,16181,
17285,20842,27242,27257,31937,35758,35767,50407,
54071,56345,59917,59923,75898,86833,86839,106999,
116651,116653,134027,134034,134041,156138,171613,
173499,188170,194554,194555,228122,253291,253327,
260374,302371,302395,302396,346837,368983,376262,
376267,376268,376270]
|