|
|
5931, 23720, 53367, 94872, 148235, 213456, 290535, 379472, 480267, 592920, 717431, 853800, 1002027, 1162112, 1334055, 1517856, 1713515, 1921032, 2140407, 2371640, 2614731, 2869680, 3136487, 3415152, 3705675, 4008056, 4322295, 4648392, 4986347
(list; graph; refs; listen; history; internal format)
|
|
