The first version of AKS with FLINT