/* Generated automatically, do not edit. */

localparam [255:0] ED25519_D_HASHED_LSB_6 =
	{32'hd113a775, 32'hbfac968b, 32'h5bf260cc, 32'h37789168, 
	 32'h05382510, 32'h82f24eae, 32'hbd117736, 32'ha026eb91};

localparam [255:0] ED25519_Q_Y_6          =
	{32'hd77e1772, 32'h5eef1ad5, 32'h47a37ed5, 32'hc524d9b5, 
	 32'h3b52c180, 32'h961658d5, 32'h62b991b1, 32'h1fc5a8f9};