#TimeLimit=30
#DepthMax=32
TimeLimit=3
DepthMax=32
#
random_opening=1
print_dbase=1
print_distrib=1
