<notostraca> (map #(vector (.bitCount %) (.toString % 16)) (take 100
(iterate #(.nextProbablePrime %) (biginteger 0x9E3779B97F4A7800))))
<> => ([34 "9e3779b97f4a7800"] [38 "9e3779b97f4a7835"] [37
"9e3779b97f4a7843"] [37 "9e3779b97f4a7849"] [39 "9e3779b97f4a78b3"]
[38 "9e3779b97f4a7919"] [38 "9e3779b97f4a7943"] [40 "9e3779b97f4a7967"]
[40 "9e3779b97f4a799d"] [41 "9e3779b97f4a79f3"] [39 "9e3779b97f4a7a33"]
[39 "9e3779b97f4a7a4b"] [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"])