<notostraca> (map #(vector (.bitCount %) (.toString % 16)) (take 100
(iterate #(.nextProbablePrime %) (biginteger 0x9E3779B97F4A7a80))))
<> => ([36 "9e3779b97f4a7a80"] [39 "9e3779b97f4a7a95"] [40
"9e3779b97f4a7aa7"] [40 "9e3779b97f4a7aab"] [40 "9e3779b97f4a7ae3"]
[41 "9e3779b97f4a7af5"] [41 "9e3779b97f4a7b3d"] [40 "9e3779b97f4a7b59"]
[41 "9e3779b97f4a7b79"] [42 "9e3779b97f4a7b7d"] [41 "9e3779b97f4a7bb5"]
[41 "9e3779b97f4a7bb9"] [39 "9e3779b97f4a7c55"] [40 "9e3779b97f4a7c75"]
[41 "9e3779b97f4a7cb7"] [40 "9e3779b97f4a7ccd"] [40 "9e3779b97f4a7d1d"]
[42 "9e3779b97f4a7d77"] [40 "9e3779b97f4a7d93"] [41 "9e3779b97f4a7dab"]
[41 "9e3779b97f4a7db3"] [42 "9e3779b97f4a7dbd"] [42 "9e3779b97f4a7dcf"]
[39 "9e3779b97f4a7e07"] [39 "9e3779b97f4a7e0b"] [41 "9e3779b97f4a7e3d"]
[40 "9e3779b97f4a7e55"] [41 "9e3779b97f4a7eb5"] [42 "9e3779b97f4a7ebb"]
[41 "9e3779b97f4a7ed3"] [43 "9e3779b97f4a7efd"] [41 "9e3779b97f4a7f2d"]
[41 "9e3779b97f4a7f33"] [42 "9e3779b97f4a7f9d"] [41 "9e3779b97f4a7fa5"]
[35 "9e3779b97f4a804b"] [34 "9e3779b97f4a8051"] [37 "9e3779b97f4a8077"]
[35 "9e3779b97f4a8095"] [35 "9e3779b97f4a8113"] [36 "9e3779b97f4a8155"]
[36 "9e3779b97f4a818b"] [35 "9e3779b97f4a820d"] [37 "9e3779b97f4a824f"]
[37 "9e3779b97f4a825d"] [37 "9e3779b97f4a8267"] [36 "9e3779b97f4a828d"]
[36 "9e3779b97f4a82a9"] [37 "9e3779b97f4a82c7"] [37 "9e3779b97f4a82d5"]
[37 "9e3779b97f4a82e5"] [37 "9e3779b97f4a8371"] [37 "9e3779b97f4a8393"]
[37 "9e3779b97f4a83a5"] [40 "9e3779b97f4a83bf"] [39 "9e3779b97f4a83f3"]
[34 "9e3779b97f4a8405"] [35 "9e3779b97f4a840b"] [37 "9e3779b97f4a842f"]
[37 "9e3779b97f4a843d"] [37 "9e3779b97f4a846d"] [39 "9e3779b97f4a847f"]
[37 "9e3779b97f4a84b3"] [37 "9e3779b97f4a84c7"] [38 "9e3779b97f4a84d7"]
[37 "9e3779b97f4a84e5"] [39 "9e3779b97f4a85f9"] [37 "9e3779b97f4a861b"]
[37 "9e3779b97f4a864d"] [38 "9e3779b97f4a86a7"] [37 "9e3779b97f4a86c3"]
[39 "9e3779b97f4a86cf"] [39 "9e3779b97f4a86db"] [39 "9e3779b97f4a871f"]
[37 "9e3779b97f4a8731"] [39 "9e3779b97f4a875b"] [39 "9e3779b97f4a876d"]
[37 "9e3779b97f4a8785"] [39 "9e3779b97f4a878f"] [39 "9e3779b97f4a87a7"]
[39 "9e3779b97f4a87b5"] [36 "9e3779b97f4a881b"] [36 "9e3779b97f4a8869"]
[37 "9e3779b97f4a88d9"] [38 "9e3779b97f4a88e7"] [36 "9e3779b97f4a890b"]
[37 "9e3779b97f4a8927"] [37 "9e3779b97f4a8987"] [36 "9e3779b97f4a8989"]
[37 "9e3779b97f4a89b1"] [39 "9e3779b97f4a89d7"] [38 "9e3779b97f4a89e3"]
[37 "9e3779b97f4a8a17"] [36 "9e3779b97f4a8a23"] [37 "9e3779b97f4a8a55"]
[36 "9e3779b97f4a8a85"] [38 "9e3779b97f4a8ab5"] [40 "9e3779b97f4a8adf"]
[38 "9e3779b97f4a8ae9"] [39 "9e3779b97f4a8aeb"])