# Test vectors for Noekeon

noekeon {
  00000000000000000000000000000000
    00000000000000000000000000000000 ba6933819299c71699a99f08f678178b;
  ffffffffffffffffffffffffffffffff
    ffffffffffffffffffffffffffffffff 52f88a7b283c1f7bdf7b6faa5011c7d8;
  ba6933819299c71699a99f08f678178b
    52f88a7b283c1f7bdf7b6faa5011c7d8 5096f2bfc82ae6e2d9495515c277fa70;
}