level-1 seed · prime 1193 · ◊·κ=1