[7,23,71,311,479,1559,5711,10559,18191,31391,
118271,366791,366791,2155919,2155919,2155919,
6077111,6077111,98538359,120293879,131486759,
131486759,508095719,2570169839,2570169839,
2570169839,2570169839,2570169839,2570169839,
328878692999,328878692999,513928659191,
844276851239]
|