LoadPackage("cvec"); LoadPackage("atlasrep"); LoadPackage("orb"); f := IO_File("dataSuzOnMax17.gp"); gens := IO_Unpickle(f); slphelper := IO_Unpickle(f); slpfix := IO_Unpickle(f); bas := IO_Unpickle(f); basi := bas^-1; gens := List(gens,x->bas*x*basi); v := IO_Unpickle(f); v := v * basi; gensp := IO_Unpickle(f); IO_Close(f); hgens := ResultOfStraightLineProgram(slphelper,gens); hgensp := ResultOfStraightLineProgram(slphelper,gensp); ugens := ResultOfStraightLineProgram(slpfix,gens); if v*ugens[1] <> v or v*ugens[2] <> v then Error("something wrong"); fi; setup := OrbitBySuborbitBootstrapForVectors( [hgens,gens],[hgensp,gensp],[25920,448345497600],[18],rec() ); setup!.stabchainrandom := 900; # o := OrbitBySuborbit(setup,v,2,2,1,100);