How to get the user list in batch wise from group

Hi

I have to extract all user details into excel manually from one specific group it has nearly 6.5k users as the data is huge the data is truncated and cant copy all the user details and post to Excel below is the logic using to get users from group can you confirm is there any way we can get all this user details in batch wise like 1-900 later 901-1800 like that

getdistinctusers(
    topeople(
      togroup(
        123456
      )
    )
  )