Code: Select all
# JavaLifeSearch status file, automatically generated
#
# Any changes to it, including changing order of lines, may cause
# any kinds of strange behaviour after loading it to JLS
# including errors, deadlocks, or crashes.
[Properties]
columns=17
rows=34
generations=4
periods={4,1,2,3,4,5,6}
outer_space_unset=No
symmetry=None
tile_horizontal=No
tile_horizontal_shift_down=0
tile_horizontal_shift_future=0
tile_vertical=No
tile_vertical_shift_right=0
tile_vertical_shift_future=0
tile_temporal=Yes
tile_temporal_shift_right=0
tile_temporal_shift_down=-2
translation=None
rule_birth={No,No,No,Yes,No,No,No,No,No}
rule_survival={No,No,Yes,Yes,No,No,No,No,No}
[SearchOptions]
sort_generations_first=Yes
sort_to_future=Yes
sort_start_column=0
sort_start_row=0
sort_type=Vertical
sort_reverse=No
prepare_in_background=Yes
ignore_subperiods=No
prune_with_combination=No
pause_each_iteration=No
pause_on_solution=No
save_solutions=Yes
save_solutions_file=\\csh-instruct-fp\wwei23$\My Documents\spaceships.lif
save_solutions_spacing=20
save_solutions_all_generations=No
save_status=Yes
save_status_file=\\csh-instruct-fp\wwei23$\My Documents\weirdx66.jdf
save_status_period=60
display_status=Yes
display_status_period=1
limit_generation_0=No
limit_generation_0_cells=1
limit_generation_0_variables_only=No
layers_live_constraint=No
layers_live_cells=1
layers_live_cells_variables_only=No
layers_active_constraint=No
layers_active_cells=1
layers_active_cells_variables_only=No
layers_from_sorting=Yes
layers_start_column=0
layers_start_row=0
layers_type=Rows
[CellArray]
read_only=Yes
cells{0,0}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,1}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,2}={0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,3}={0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,4}={0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,5}={0,1,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0}
cells{0,6}={0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0}
cells{0,7}={0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0}
cells{0,8}={0,0,1,1,1,1,1,0,0,0,0,1,0,0,0,0,0}
cells{0,9}={0,0,0,1,1,0,0,1,0,0,1,1,1,0,0,0,0}
cells{0,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{0}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{1}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{2}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{3}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{4}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{5}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{6}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{7}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{8}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{9}={16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{10}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{11}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{12}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{13}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{14}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{15}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{16}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{17}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{18}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{19}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{20}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{21}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{22}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{23}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{24}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{25}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
[Search]
cell_count=2312
search_mode=Yes
variable_count=1406
time_passed_ns=115903873700
iterations_done=66838494
solutions_found=2
cells{0,0}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,1}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,2}={0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,3}={0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,4}={0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,5}={0,1,0,0,0,0,1,1,1,0,0,0,0,0,0,0,0}
cells{0,6}={0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0}
cells{0,7}={0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0}
cells{0,8}={0,0,1,1,1,1,1,0,0,0,0,1,0,0,0,0,0}
cells{0,9}={0,0,0,1,1,0,0,1,0,0,1,1,1,0,0,0,0}
cells{0,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{0,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{0,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{1,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{1,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{2,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{2,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,0}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,1}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,2}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,3}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,4}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,5}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,6}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,7}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,8}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,9}={2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,10}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,11}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,12}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,13}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,14}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,15}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,16}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,17}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,18}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,19}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,20}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,21}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,22}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,23}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,24}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,25}={0,0,0,2,2,2,2,2,2,2,2,2,2,2,2,2,2}
cells{3,26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
cells{3,33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{0}={0,0,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{1}={0,16,16,16,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{2}={16,16,16,0,16,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{3}={16,16,16,16,16,0,0,16,0,0,0,0,0,0,0,0,0}
stacks{4}={16,16,16,16,16,0,16,16,16,0,0,0,0,0,0,0,0}
stacks{5}={16,16,16,0,16,16,16,16,0,16,0,0,0,0,0,0,0}
stacks{6}={0,16,16,16,16,16,16,16,16,16,0,0,0,0,0,0,0}
stacks{7}={0,0,16,16,16,0,16,16,16,0,16,16,16,0,0,0,0}
stacks{8}={0,16,0,16,16,16,16,16,16,0,16,16,16,16,0,0,0}
stacks{9}={0,0,16,16,16,0,16,16,16,16,16,16,16,16,0,0,0}
stacks{10}={0,0,0,0,0,0,0,0,16,0,16,16,16,16,0,0,0}
stacks{11}={0,0,0,0,0,0,0,0,0,16,16,16,16,16,0,0,0}
stacks{12}={0,0,0,0,16,16,16,0,0,0,16,16,16,0,0,0,0}
stacks{13}={0,0,0,16,16,16,16,0,0,0,0,16,16,16,0,0,0}
stacks{14}={0,0,0,16,16,16,16,16,0,16,16,0,0,0,0,0,0}
stacks{15}={0,0,0,16,16,16,16,16,0,0,0,16,16,0,0,0,0}
stacks{16}={0,0,0,0,16,16,16,16,0,16,0,0,0,0,0,0,0}
stacks{17}={0,0,0,16,16,16,16,16,16,16,16,16,16,0,0,0,0}
stacks{18}={0,0,0,0,16,16,16,16,16,16,16,16,16,16,16,16,16}
stacks{19}={0,0,0,16,16,16,0,0,0,0,0,0,0,0,0,0,16}
stacks{20}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{21}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{22}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{23}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{24}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{25}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{26}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{27}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{28}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{29}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{30}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{31}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{32}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
stacks{33}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
# Representatives:
# Variable index for each cell, -1 for cells without a variable
representative{0,0}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,1}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,2}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,3}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,4}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,5}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,6}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,7}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,8}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,9}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,10}={-1,-1,-1,895,891,887,883,879,875,871,867,863,859,855,851,847,843}
representative{0,11}={-1,-1,-1,839,835,831,827,823,819,815,811,807,803,799,795,791,787}
representative{0,12}={-1,-1,-1,783,779,775,771,767,763,759,755,751,747,743,739,735,731}
representative{0,13}={-1,-1,-1,727,723,719,715,711,707,703,699,695,691,687,683,679,675}
representative{0,14}={-1,-1,-1,671,667,663,659,655,651,647,643,639,635,631,627,623,619}
representative{0,15}={-1,-1,-1,615,611,607,603,599,595,591,587,583,579,575,571,567,563}
representative{0,16}={-1,-1,-1,559,555,551,547,543,539,535,531,527,523,519,515,511,507}
representative{0,17}={-1,-1,-1,503,499,495,491,487,483,479,475,471,467,463,459,455,451}
representative{0,18}={-1,-1,-1,447,443,439,435,431,427,423,419,415,411,407,403,399,395}
representative{0,19}={-1,-1,-1,391,387,383,379,375,371,367,363,359,355,351,347,343,339}
representative{0,20}={-1,-1,-1,335,331,327,323,319,315,311,307,303,299,295,291,287,283}
representative{0,21}={-1,-1,-1,279,275,271,267,263,259,255,251,247,243,239,235,231,227}
representative{0,22}={-1,-1,-1,223,219,215,211,207,203,199,195,191,187,183,179,175,171}
representative{0,23}={-1,-1,-1,167,163,159,155,151,147,143,139,135,131,127,123,119,115}
representative{0,24}={-1,-1,-1,111,107,103,99,95,91,87,83,79,75,71,67,63,59}
representative{0,25}={-1,-1,-1,55,51,47,43,39,35,31,27,23,19,15,11,7,3}
representative{0,26}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,27}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,28}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,29}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,30}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,31}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,32}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{0,33}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,0}={1405,1402,1399,1396,1393,1390,1387,1384,1381,1378,1375,1372,1369,1366,1363,1360,1357}
representative{1,1}={1354,1351,1348,1345,1342,1339,1336,1333,1330,1327,1324,1321,1318,1315,1312,1309,1306}
representative{1,2}={1303,1300,1297,1294,1291,1288,1285,1282,1279,1276,1273,1270,1267,1264,1261,1258,1255}
representative{1,3}={1252,1249,1246,1243,1240,1237,1234,1231,1228,1225,1222,1219,1216,1213,1210,1207,1204}
representative{1,4}={1201,1198,1195,1192,1189,1186,1183,1180,1177,1174,1171,1168,1165,1162,1159,1156,1153}
representative{1,5}={1150,1147,1144,1141,1138,1135,1132,1129,1126,1123,1120,1117,1114,1111,1108,1105,1102}
representative{1,6}={1099,1096,1093,1090,1087,1084,1081,1078,1075,1072,1069,1066,1063,1060,1057,1054,1051}
representative{1,7}={1048,1045,1042,1039,1036,1033,1030,1027,1024,1021,1018,1015,1012,1009,1006,1003,1000}
representative{1,8}={997,994,991,988,985,982,979,976,973,970,967,964,961,958,955,952,949}
representative{1,9}={946,943,940,937,934,931,928,925,922,919,916,913,910,907,904,901,898}
representative{1,10}={-1,-1,-1,894,890,886,882,878,874,870,866,862,858,854,850,846,842}
representative{1,11}={-1,-1,-1,838,834,830,826,822,818,814,810,806,802,798,794,790,786}
representative{1,12}={-1,-1,-1,782,778,774,770,766,762,758,754,750,746,742,738,734,730}
representative{1,13}={-1,-1,-1,726,722,718,714,710,706,702,698,694,690,686,682,678,674}
representative{1,14}={-1,-1,-1,670,666,662,658,654,650,646,642,638,634,630,626,622,618}
representative{1,15}={-1,-1,-1,614,610,606,602,598,594,590,586,582,578,574,570,566,562}
representative{1,16}={-1,-1,-1,558,554,550,546,542,538,534,530,526,522,518,514,510,506}
representative{1,17}={-1,-1,-1,502,498,494,490,486,482,478,474,470,466,462,458,454,450}
representative{1,18}={-1,-1,-1,446,442,438,434,430,426,422,418,414,410,406,402,398,394}
representative{1,19}={-1,-1,-1,390,386,382,378,374,370,366,362,358,354,350,346,342,338}
representative{1,20}={-1,-1,-1,334,330,326,322,318,314,310,306,302,298,294,290,286,282}
representative{1,21}={-1,-1,-1,278,274,270,266,262,258,254,250,246,242,238,234,230,226}
representative{1,22}={-1,-1,-1,222,218,214,210,206,202,198,194,190,186,182,178,174,170}
representative{1,23}={-1,-1,-1,166,162,158,154,150,146,142,138,134,130,126,122,118,114}
representative{1,24}={-1,-1,-1,110,106,102,98,94,90,86,82,78,74,70,66,62,58}
representative{1,25}={-1,-1,-1,54,50,46,42,38,34,30,26,22,18,14,10,6,2}
representative{1,26}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,27}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,28}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,29}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,30}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,31}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,32}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{1,33}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,0}={1404,1401,1398,1395,1392,1389,1386,1383,1380,1377,1374,1371,1368,1365,1362,1359,1356}
representative{2,1}={1353,1350,1347,1344,1341,1338,1335,1332,1329,1326,1323,1320,1317,1314,1311,1308,1305}
representative{2,2}={1302,1299,1296,1293,1290,1287,1284,1281,1278,1275,1272,1269,1266,1263,1260,1257,1254}
representative{2,3}={1251,1248,1245,1242,1239,1236,1233,1230,1227,1224,1221,1218,1215,1212,1209,1206,1203}
representative{2,4}={1200,1197,1194,1191,1188,1185,1182,1179,1176,1173,1170,1167,1164,1161,1158,1155,1152}
representative{2,5}={1149,1146,1143,1140,1137,1134,1131,1128,1125,1122,1119,1116,1113,1110,1107,1104,1101}
representative{2,6}={1098,1095,1092,1089,1086,1083,1080,1077,1074,1071,1068,1065,1062,1059,1056,1053,1050}
representative{2,7}={1047,1044,1041,1038,1035,1032,1029,1026,1023,1020,1017,1014,1011,1008,1005,1002,999}
representative{2,8}={996,993,990,987,984,981,978,975,972,969,966,963,960,957,954,951,948}
representative{2,9}={945,942,939,936,933,930,927,924,921,918,915,912,909,906,903,900,897}
representative{2,10}={-1,-1,-1,893,889,885,881,877,873,869,865,861,857,853,849,845,841}
representative{2,11}={-1,-1,-1,837,833,829,825,821,817,813,809,805,801,797,793,789,785}
representative{2,12}={-1,-1,-1,781,777,773,769,765,761,757,753,749,745,741,737,733,729}
representative{2,13}={-1,-1,-1,725,721,717,713,709,705,701,697,693,689,685,681,677,673}
representative{2,14}={-1,-1,-1,669,665,661,657,653,649,645,641,637,633,629,625,621,617}
representative{2,15}={-1,-1,-1,613,609,605,601,597,593,589,585,581,577,573,569,565,561}
representative{2,16}={-1,-1,-1,557,553,549,545,541,537,533,529,525,521,517,513,509,505}
representative{2,17}={-1,-1,-1,501,497,493,489,485,481,477,473,469,465,461,457,453,449}
representative{2,18}={-1,-1,-1,445,441,437,433,429,425,421,417,413,409,405,401,397,393}
representative{2,19}={-1,-1,-1,389,385,381,377,373,369,365,361,357,353,349,345,341,337}
representative{2,20}={-1,-1,-1,333,329,325,321,317,313,309,305,301,297,293,289,285,281}
representative{2,21}={-1,-1,-1,277,273,269,265,261,257,253,249,245,241,237,233,229,225}
representative{2,22}={-1,-1,-1,221,217,213,209,205,201,197,193,189,185,181,177,173,169}
representative{2,23}={-1,-1,-1,165,161,157,153,149,145,141,137,133,129,125,121,117,113}
representative{2,24}={-1,-1,-1,109,105,101,97,93,89,85,81,77,73,69,65,61,57}
representative{2,25}={-1,-1,-1,53,49,45,41,37,33,29,25,21,17,13,9,5,1}
representative{2,26}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,27}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,28}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,29}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,30}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,31}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,32}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{2,33}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,0}={1403,1400,1397,1394,1391,1388,1385,1382,1379,1376,1373,1370,1367,1364,1361,1358,1355}
representative{3,1}={1352,1349,1346,1343,1340,1337,1334,1331,1328,1325,1322,1319,1316,1313,1310,1307,1304}
representative{3,2}={1301,1298,1295,1292,1289,1286,1283,1280,1277,1274,1271,1268,1265,1262,1259,1256,1253}
representative{3,3}={1250,1247,1244,1241,1238,1235,1232,1229,1226,1223,1220,1217,1214,1211,1208,1205,1202}
representative{3,4}={1199,1196,1193,1190,1187,1184,1181,1178,1175,1172,1169,1166,1163,1160,1157,1154,1151}
representative{3,5}={1148,1145,1142,1139,1136,1133,1130,1127,1124,1121,1118,1115,1112,1109,1106,1103,1100}
representative{3,6}={1097,1094,1091,1088,1085,1082,1079,1076,1073,1070,1067,1064,1061,1058,1055,1052,1049}
representative{3,7}={1046,1043,1040,1037,1034,1031,1028,1025,1022,1019,1016,1013,1010,1007,1004,1001,998}
representative{3,8}={995,992,989,986,983,980,977,974,971,968,965,962,959,956,953,950,947}
representative{3,9}={944,941,938,935,932,929,926,923,920,917,914,911,908,905,902,899,896}
representative{3,10}={-1,-1,-1,892,888,884,880,876,872,868,864,860,856,852,848,844,840}
representative{3,11}={-1,-1,-1,836,832,828,824,820,816,812,808,804,800,796,792,788,784}
representative{3,12}={-1,-1,-1,780,776,772,768,764,760,756,752,748,744,740,736,732,728}
representative{3,13}={-1,-1,-1,724,720,716,712,708,704,700,696,692,688,684,680,676,672}
representative{3,14}={-1,-1,-1,668,664,660,656,652,648,644,640,636,632,628,624,620,616}
representative{3,15}={-1,-1,-1,612,608,604,600,596,592,588,584,580,576,572,568,564,560}
representative{3,16}={-1,-1,-1,556,552,548,544,540,536,532,528,524,520,516,512,508,504}
representative{3,17}={-1,-1,-1,500,496,492,488,484,480,476,472,468,464,460,456,452,448}
representative{3,18}={-1,-1,-1,444,440,436,432,428,424,420,416,412,408,404,400,396,392}
representative{3,19}={-1,-1,-1,388,384,380,376,372,368,364,360,356,352,348,344,340,336}
representative{3,20}={-1,-1,-1,332,328,324,320,316,312,308,304,300,296,292,288,284,280}
representative{3,21}={-1,-1,-1,276,272,268,264,260,256,252,248,244,240,236,232,228,224}
representative{3,22}={-1,-1,-1,220,216,212,208,204,200,196,192,188,184,180,176,172,168}
representative{3,23}={-1,-1,-1,164,160,156,152,148,144,140,136,132,128,124,120,116,112}
representative{3,24}={-1,-1,-1,108,104,100,96,92,88,84,80,76,72,68,64,60,56}
representative{3,25}={-1,-1,-1,52,48,44,40,36,32,28,24,20,16,12,8,4,0}
representative{3,26}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,27}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,28}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,29}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,30}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,31}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,32}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
representative{3,33}={-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1}
# Variable combination states:
combination{0}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
combination{100}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,2,0,0,0,0,1,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,2,2,2,2,2,2,1,0,1,2,0,2,0,0,0,0,0,0,0,0,0,0,2}
combination{200}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,2,1,0,2,2,0,2,2,1,0,2,1,0,0,2,0,0,2,0,0,2,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,2,2,2,1,0,1,2,0,2,0,0,2,1,0,2,1,0}
combination{300}={0,2,0,0,0,2,0,0,0,0,2,2,0,0,0,2,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,2,2,2,2,1,2,2,2,1,1,0,2,0,0,2,0,0,0,0,1,2,2,1,2,2,0,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,0}
combination{400}={1,2,2,0,2,1,0,0,0,2,2,2,2,2,2,2,0,2,2,0,0,0,1,1,2,0,2,0,2,1,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,2,0,0,0,0,2,0,0,0,2,0,2,0,2,2,2,1,2,1,1,2,2,1,0,2,0,0,0,0,0,2,2,0,2,2,0,0,0,0,0}
combination{500}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,2,2,0,2,2,0,0,2,2,2,2,0,0,2,2,2,2,0,0,0,2,0,0,0,2,2,2,0,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,2,2,0,0,2,2,1,1,2,1,1,1,0,0,0,0,0,0,2,0}
combination{600}={0,0,2,2,2,0,0,0,2,2,2,0,2,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,1,1,2,0,0,0,0,0,0,0,0,2,0,0,2,0,2,2,0,0,2,2,2,2,2,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,1,1,1,0,1,1,1,1}
combination{700}={0,0,0,0,0,0,0,0,0,0,0,0,2,2,0,0,2,2,2,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1}
combination{800}={1,1,0,0,0,0,1,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,0,0,1,0,0,0,0,0,0,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0}
combination{900}={0,0,0,0,0,1,1,0,0,1,1,0,0,0,0,0,0,0,1,1,0,1,0,0,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0,1,1,1,1,1,0,0,0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,1,1,1,0,1,0,0,0,0,0,0}
combination{1000}={0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,0,0,0,0,0,1,1,0,1,0,1,0,0,1,0,0,0,0,0,1,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,1,1,0,0,0,0,1,0,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0,0,0}
combination{1100}={0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,1,0,0,1,1,0,1,0,1,0,1,0,0,0,0,0,0,1,1,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,1,1,0,0,0,0,1,0,0,1,1,0,1,0,1,0,0,1,0}
combination{1200}={0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,1,1,1,1,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,1,1,0,0,1,1,0}
combination{1300}={1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0}
combination{1400}={0,0,0,0,0,0}
# Stack:
# - Variable index
# - Variable value, 0 = OFF, 1 = ON
# - Item type, 0 = closed, 1 = open (i.e. the other state was not tried yet)
stack{0}={992,0,1}
stack{1}={989,1,0}
stack{2}={939,0,0}
stack{3}={936,0,0}
stack{4}={941,0,0}
stack{5}={894,0,0}
stack{6}={890,0,0}
stack{7}={935,0,0}
stack{8}={938,0,0}
stack{9}={932,0,0}
stack{10}={893,0,0}
stack{11}={891,0,0}
stack{12}={965,1,0}
stack{13}={959,0,0}
stack{14}={863,0,0}
stack{15}={956,1,0}
stack{16}={953,0,0}
stack{17}={954,0,1}
stack{18}={950,0,1}
stack{19}={843,0,0}
stack{20}={901,0,0}
stack{21}={897,0,0}
stack{22}={930,0,1}
stack{23}={929,0,1}
stack{24}={927,1,0}
stack{25}={926,0,1}
stack{26}={925,0,1}
stack{27}={919,1,0}
stack{28}={875,0,0}
stack{29}={916,0,0}
stack{30}={867,1,0}
stack{31}={871,1,0}
stack{32}={914,0,0}
stack{33}={917,0,0}
stack{34}={920,0,0}
stack{35}={923,0,0}
stack{36}={924,1,0}
stack{37}={918,1,0}
stack{38}={874,0,0}
stack{39}={921,1,0}
stack{40}={912,0,0}
stack{41}={878,0,0}
stack{42}={870,1,0}
stack{43}={915,0,0}
stack{44}={906,1,0}
stack{45}={882,0,0}
stack{46}={909,1,0}
stack{47}={886,0,0}
stack{48}={903,0,0}
stack{49}={910,1,0}
stack{50}={908,0,1}
stack{51}={907,0,1}
stack{52}={904,0,0}
stack{53}={905,1,0}
stack{54}={859,0,0}
stack{55}={855,1,0}
stack{56}={851,0,0}
stack{57}={902,0,1}
stack{58}={899,0,0}
stack{59}={847,0,0}
stack{60}={842,0,0}
stack{61}={900,0,0}
stack{62}={896,0,0}
stack{63}={787,0,0}
stack{64}={846,0,0}
stack{65}={841,0,0}
stack{66}={892,0,1}
stack{67}={839,0,0}
stack{68}={835,0,0}
stack{69}={831,0,0}
stack{70}={838,0,0}
stack{71}={889,0,0}
stack{72}={888,0,1}
stack{73}={783,0,0}
stack{74}={834,0,0}
stack{75}={837,0,0}
stack{76}={885,0,1}
stack{77}={877,0,0}
stack{78}={881,0,0}
stack{79}={873,1,0}
stack{80}={876,0,0}
stack{81}={827,0,0}
stack{82}={823,0,0}
stack{83}={819,0,0}
stack{84}={815,0,0}
stack{85}={884,0,1}
stack{86}={880,0,1}
stack{87}={872,0,1}
stack{88}={869,1,0}
stack{89}={868,1,0}
stack{90}={864,0,0}
stack{91}={809,0,0}
stack{92}={813,0,0}
stack{93}={817,0,0}
stack{94}={865,0,0}
stack{95}={866,0,1}
stack{96}={861,0,1}
stack{97}={805,0,0}
stack{98}={860,1,0}
stack{99}={811,1,0}
stack{100}={801,1,0}
stack{101}={857,1,0}
stack{102}={849,0,0}
stack{103}={852,0,0}
stack{104}={853,0,0}
stack{105}={858,0,1}
stack{106}={856,1,0}
stack{107}={807,1,0}
stack{108}={803,0,0}
stack{109}={799,1,0}
stack{110}={797,0,0}
stack{111}={854,1,0}
stack{112}={850,0,0}
stack{113}={848,0,1}
stack{114}={791,0,0}
stack{115}={795,0,0}
stack{116}={786,0,0}
stack{117}={844,0,0}
stack{118}={845,0,0}
stack{119}={840,0,0}
stack{120}={731,0,0}
stack{121}={790,0,0}
stack{122}={785,0,0}
stack{123}={836,0,1}
stack{124}={779,0,0}
stack{125}={830,0,0}
stack{126}={782,0,0}
stack{127}={833,0,0}
stack{128}={832,0,1}
stack{129}={775,0,0}
stack{130}={727,0,0}
stack{131}={826,0,0}
stack{132}={778,0,0}
stack{133}={829,0,0}
stack{134}={781,0,0}
stack{135}={828,0,1}
stack{136}={771,0,0}
stack{137}={822,0,0}
stack{138}={825,0,1}
stack{139}={821,0,0}
stack{140}={824,0,1}
stack{141}={767,0,0}
stack{142}={820,0,1}
stack{143}={818,0,1}
stack{144}={814,1,0}
stack{145}={755,0,0}
stack{146}={759,0,0}
stack{147}={763,0,0}
stack{148}={816,0,1}
stack{149}={812,0,1}
stack{150}={810,0,1}
stack{151}={806,1,0}
stack{152}={751,1,0}
stack{153}={802,0,0}
stack{154}={798,0,0}
stack{155}={747,0,0}
stack{156}={794,0,0}
stack{157}={739,0,0}
stack{158}={743,0,0}
stack{159}={735,0,0}
stack{160}={730,0,0}
stack{161}={789,0,0}
stack{162}={784,0,0}
stack{163}={808,0,1}
stack{164}={804,0,0}
stack{165}={800,1,0}
stack{166}={796,1,0}
stack{167}={793,0,1}
stack{168}={792,0,1}
stack{169}={788,0,0}
stack{170}={675,0,0}
stack{171}={734,0,0}
stack{172}={729,0,0}
stack{173}={780,0,1}
stack{174}={723,0,0}
stack{175}={774,0,0}
stack{176}={726,0,0}
stack{177}={777,0,0}
stack{178}={776,1,0}
stack{179}={773,1,0}
stack{180}={772,1,0}
stack{181}={770,0,1}
stack{182}={714,1,0}
stack{183}={718,1,0}
stack{184}={722,1,0}
stack{185}={769,0,1}
stack{186}={768,1,0}
stack{187}={719,1,0}
stack{188}={766,0,1}
stack{189}={710,0,0}
stack{190}={765,0,1}
stack{191}={764,0,1}
stack{192}={715,0,0}
stack{193}={711,0,0}
stack{194}={762,0,0}
stack{195}={758,0,0}
stack{196}={754,0,0}
stack{197}={750,1,0}
stack{198}={746,0,0}
stack{199}={742,0,0}
stack{200}={761,0,1}
stack{201}={757,0,0}
stack{202}={753,0,0}
stack{203}={760,0,1}
stack{204}={707,0,0}
stack{205}={756,0,1}
stack{206}={703,0,0}
stack{207}={752,1,0}
stack{208}={695,0,0}
stack{209}={699,1,0}
stack{210}={748,0,0}
stack{211}={691,0,0}
stack{212}={687,1,0}
stack{213}={683,0,0}
stack{214}={749,1,0}
stack{215}={745,1,0}
stack{216}={741,0,0}
stack{217}={737,0,0}
stack{218}={744,1,0}
stack{219}={736,0,0}
stack{220}={740,0,0}
stack{221}={679,0,0}
stack{222}={738,0,0}
stack{223}={674,0,0}
stack{224}={733,0,0}
stack{225}={728,0,0}
stack{226}={732,0,1}
stack{227}={619,0,0}
stack{228}={678,0,0}
stack{229}={673,0,0}
stack{230}={725,0,1}
stack{231}={717,1,0}
stack{232}={721,1,0}
stack{233}={724,1,0}
stack{234}={665,1,0}
stack{235}={669,1,0}
stack{236}={720,0,0}
stack{237}={671,0,0}
stack{238}={667,1,0}
stack{239}={663,1,0}
stack{240}={716,0,1}
stack{241}={713,1,0}
stack{242}={709,0,0}
stack{243}={660,0,0}
stack{244}={712,1,0}
stack{245}={659,1,0}
stack{246}={607,0,0}
stack{247}={655,0,0}
stack{248}={706,0,0}
stack{249}={708,0,1}
stack{250}={704,0,0}
stack{251}={651,0,0}
stack{252}={705,0,1}
stack{253}={702,0,1}
stack{254}={701,0,1}
stack{255}={693,1,0}
stack{256}={697,1,0}
stack{257}={685,0,0}
stack{258}={689,0,0}
stack{259}={681,0,0}
stack{260}={700,0,1}
stack{261}={647,0,0}
stack{262}={698,1,0}
stack{263}={696,1,0}
stack{264}={639,0,0}
stack{265}={643,1,0}
stack{266}={692,1,0}
stack{267}={633,0,0}
stack{268}={637,0,0}
stack{269}={641,0,0}
stack{270}={694,1,0}
stack{271}={690,0,0}
stack{272}={686,0,0}
stack{273}={635,0,0}
stack{274}={631,0,0}
stack{275}={688,1,0}
stack{276}={583,0,0}
stack{277}={629,0,0}
stack{278}={684,0,0}
stack{279}={682,0,1}
stack{280}={680,0,1}
stack{281}={627,0,0}
stack{282}={623,0,0}
stack{283}={618,0,0}
stack{284}={677,0,0}
stack{285}={672,0,0}
stack{286}={676,0,1}
stack{287}={563,0,0}
stack{288}={622,0,0}
stack{289}={617,0,0}
stack{290}={670,0,1}
stack{291}={668,0,1}
stack{292}={609,1,0}
stack{293}={613,1,0}
stack{294}={664,0,0}
stack{295}={557,0,0}
stack{296}={615,0,0}
stack{297}={611,1,0}
stack{298}={666,1,0}
stack{299}={662,0,0}
stack{300}={606,0,0}
stack{301}={658,0,0}
stack{302}={661,0,0}
stack{303}={654,1,0}
stack{304}={599,1,0}
stack{305}={650,0,0}
stack{306}={603,1,0}
stack{307}={595,0,0}
stack{308}={657,1,0}
stack{309}={653,0,0}
stack{310}={598,0,0}
stack{311}={649,0,0}
stack{312}={594,0,0}
stack{313}={602,0,0}
stack{314}={656,1,0}
stack{315}={652,0,0}
stack{316}={648,0,0}
stack{317}={646,0,1}
stack{318}={645,0,1}
stack{319}={644,1,0}
stack{320}={642,1,0}
stack{321}={638,0,0}
stack{322}={634,0,0}
stack{323}={630,0,0}
stack{324}={640,0,1}
stack{325}={591,1,0}
stack{326}={587,1,0}
stack{327}={636,0,0}
stack{328}={579,1,0}
stack{329}={575,0,0}
stack{330}={571,0,0}
stack{331}={626,0,0}
stack{332}={632,0,1}
stack{333}={628,0,1}
stack{334}={624,0,0}
stack{335}={567,0,0}
stack{336}={562,0,0}
stack{337}={621,0,0}
stack{338}={616,0,0}
stack{339}={625,0,1}
stack{340}={620,0,1}
stack{341}={507,0,0}
stack{342}={566,0,0}
stack{343}={561,0,0}
stack{344}={614,0,1}
stack{345}={610,1,0}
stack{346}={612,0,1}
stack{347}={559,0,0}
stack{348}={553,1,0}
stack{349}={555,0,0}
stack{350}={608,0,0}
stack{351}={604,0,0}
stack{352}={503,0,0}
stack{353}={558,0,0}
stack{354}={554,1,0}
stack{355}={605,1,0}
stack{356}={597,0,0}
stack{357}={546,0,0}
stack{358}={601,0,0}
stack{359}={550,0,0}
stack{360}={593,0,0}
stack{361}={585,1,0}
stack{362}={589,1,0}
stack{363}={600,1,0}
stack{364}={551,1,0}
stack{365}={547,1,0}
stack{366}={596,0,1}
stack{367}={592,0,1}
stack{368}={543,1,0}
stack{369}={539,0,0}
stack{370}={535,1,0}
stack{371}={538,0,0}
stack{372}={590,1,0}
stack{373}={586,1,0}
stack{374}={531,0,0}
stack{375}={527,0,0}
stack{376}={588,1,0}
stack{377}={584,1,0}
stack{378}={582,0,1}
stack{379}={523,1,0}
stack{380}={581,1,0}
stack{381}={580,1,0}
stack{382}={572,0,0}
stack{383}={576,0,0}
stack{384}={515,0,0}
stack{385}={519,0,0}
stack{386}={570,0,0}
stack{387}={578,0,0}
stack{388}={574,0,0}
stack{389}={577,0,1}
stack{390}={573,0,0}
stack{391}={569,0,1}
stack{392}={568,0,1}
stack{393}={511,0,0}
stack{394}={506,0,0}
stack{395}={565,0,0}
stack{396}={560,0,0}
stack{397}={564,0,1}
stack{398}={451,0,0}
stack{399}={510,0,0}
stack{400}={505,0,0}
stack{401}={556,0,1}
stack{402}={499,0,0}
stack{403}={495,1,0}
stack{404}={502,0,0}
stack{405}={490,0,0}
stack{406}={498,0,0}
stack{407}={494,1,0}
stack{408}={549,1,0}
stack{409}={541,0,0}
stack{410}={552,0,0}
stack{411}={545,0,0}
stack{412}={447,0,0}
stack{413}={548,0,1}
stack{414}={544,1,0}
stack{415}={491,1,0}
stack{416}={542,0,0}
stack{417}={435,0,0}
stack{418}={534,0,0}
stack{419}={439,0,0}
stack{420}={443,0,0}
stack{421}={446,0,0}
stack{422}={501,0,0}
stack{423}={497,1,0}
stack{424}={540,0,1}
stack{425}={537,0,1}
stack{426}={536,0,1}
stack{427}={487,1,0}
stack{428}={533,1,0}
stack{429}={525,0,0}
stack{430}={528,0,0}
stack{431}={529,0,0}
stack{432}={479,1,0}
stack{433}={521,1,0}
stack{434}={530,0,0}
stack{435}={482,0,0}
stack{436}={517,0,0}
stack{437}={532,1,0}
stack{438}={483,1,0}
stack{439}={475,0,0}
stack{440}={419,0,0}
stack{441}={486,0,0}
stack{442}={526,0,1}
stack{443}={522,1,0}
stack{444}={524,0,1}
stack{445}={520,1,0}
stack{446}={471,1,0}
stack{447}={518,0,1}
stack{448}={516,0,1}
stack{449}={467,0,0}
stack{450}={463,0,0}
stack{451}={459,0,0}
stack{452}={514,0,0}
stack{453}={513,0,1}
stack{454}={512,0,1}
stack{455}={455,0,0}
stack{456}={450,0,0}
stack{457}={509,0,0}
stack{458}={504,0,0}
stack{459}={508,0,1}
stack{460}={395,0,0}
stack{461}={454,0,0}
stack{462}={449,0,0}
stack{463}={500,1,0}
stack{464}={496,0,1}
stack{465}={493,1,0}
stack{466}={485,0,0}
stack{467}={489,0,0}
stack{468}={492,0,1}
stack{469}={488,0,0}
stack{470}={484,0,0}
stack{471}={481,0,1}
stack{472}={477,0,0}
stack{473}={480,0,1}
stack{474}={431,0,0}
stack{475}={478,1,0}
stack{476}={474,0,0}
stack{477}={470,1,0}
stack{478}={466,1,0}
stack{479}={476,0,1}
stack{480}={427,0,0}
stack{481}={423,1,0}
stack{482}={426,0,0}
stack{483}={473,1,0}
stack{484}={472,0,1}
stack{485}={469,1,0}
stack{486}={468,0,1}
stack{487}={465,0,1}
stack{488}={464,1,0}
stack{489}={415,0,0}
stack{490}={411,1,0}
stack{491}={407,0,0}
stack{492}={458,0,0}
stack{493}={462,0,0}
stack{494}={403,0,0}
stack{495}={461,0,1}
stack{496}={460,0,1}
stack{497}={456,0,0}
stack{498}={399,0,0}
stack{499}={394,0,0}
stack{500}={453,0,0}
stack{501}={448,0,0}
stack{502}={457,0,1}
stack{503}={452,0,1}
stack{504}={339,0,0}
stack{505}={398,0,0}
stack{506}={393,0,0}
stack{507}={445,0,1}
stack{508}={441,1,0}
stack{509}={444,0,1}
stack{510}={391,0,0}
stack{511}={442,0,1}
stack{512}={438,1,0}
stack{513}={440,1,0}
stack{514}={437,1,0}
stack{515}={381,0,0}
stack{516}={385,0,0}
stack{517}={389,0,0}