# This was run without a script
# Just run gnubg-cli.exe
# set the player levels and cubeful/cubeless once
# after that for each session
# set the seed
# (No game) set seed 1000, 2000, 3000, etc.
# enter number of games to run
# (No game) new session 1000
# manually save the session and/or the results