# file: C:\Users\mikolaj\my\thesis\pqlattice\sagemath\sage_client.py
# hypothesis_version: 6.142.1

['get_engine', 'localhost']