code: def test_verify_bsgs():
      S = SymmetricGroup(5)
      S.schreier_sims()
      base = S.base
      strong_gens = S.strong_gens
      assert _verify_bsgs(S, base, strong_gens) is True
      assert _verify_bsgs(S, base[:-1], strong_gens) is False
      assert _verify_bsgs(S, base, S.generators) is False
  
file_path: sympy/sympy/combinatorics/tests/test_testutil.py
imports: from sympy.combinatorics.named_groups import SymmetricGroup, AlternatingGroup, CyclicGroup
  from sympy.combinatorics.testutil import _verify_bsgs, _cmp_perm_lists, _naive_list_centralizer, _verify_centralizer, _verify_normal_closure
  from sympy.combinatorics.permutations import Permutation
  from sympy.combinatorics.perm_groups import PermutationGroup
  from sympy.core.random import shuffle
label_desc: Use image node_id 3 for calling a global function with example usage: test_verify_bsgs() without return types