run script

run_sage.sh

@@ -0,0 +1,2 @@
+#!/bin/bash
+PYTHONPATH=src sage src/tea3/tea3model.py

src/tea3/tea3model.py

@@ -1,5 +1,8 @@
 from sage.all import *
 
+from tea3.constants import TEA3_SBOX, T_F1, T_F2
+
+
 F = GF(2)
 
 names = (