Babai code using sage