#(2088 128028 4872 128008 5591 9804 7560 128000 7707 128066 9062 8978 15662 128065 16258
128104 19195 8893 30271 128015 31858 9737 52472 128027 52478 128652 52978 128102 53138
128276 53172 128719 55640 128022 57325 128002 101928 9978 110572 128127 111250 128138
119544 128021 120274 128273 120994 9926 128776 128186 147636 8892 153486 128456 158716
128004 201810 10750 209177 128704 225016 127787 232154 128103 232328 128016 232987 9881
236462 128371 296144 8711 307182 128067 330226 127991 349598 128482 407103 128650 407166
8872 418418 128118 423707 128023 445979 127824 488536 128141 501214 128064 535598 8736
535897 9765 835946 127974 914658 127842 949107 127807 978926 127801 1017938 128012 ..)