Initialize with blackjax0's r25