import os

# Save the original working directory
_cname = os.getcwd()
#print('Original: %s' % os.getcwd())

# Define the right working directory for the module
abspath = os.path.abspath(__file__)
_dname = os.path.dirname(abspath)
os.chdir(_dname)
#print('New: %s' % os.getcwd())

# Import the module
from sage.all_cmdline import * 
_sage_const_1 = Integer(1); _sage_const_0 = Integer(0); _sage_const_2 = Integer(2); _sage_const_4 = Integer(4); _sage_const_16 = Integer(16); _sage_const_8 = Integer(8); _sage_const_3 = Integer(3)
load("instance_gen.sage")

# Come back with the original working directory
os.chdir(_cname)
#print('Come back: %s' % os.getcwd())