/* Global assumption:
E<e> := GF(2,6);
V6 := VectorSpace(GF(2), 6);
V24 := VectorSpace(GF(2), 24); */

BunnyTNInv := function(m, k)
  local W;

  W := KeyScheduleStep1(k);
  W := KeyScheduleStep2(W, 15);

  return Decode(m, W);
end function;