init
set cover 1
set restoreflush 1
set check 1
set elimocclim 0
set subsume 0
add -2
add -4
add 1
add 0
add 1
add 4
add 3
add 2
add 0
add 2
add -1
add 0
add -1
add -3
add 0
add 1
add -3
add 4
add 0
add -2
add 4
add 0
add -4
add 3
add 0
assume -3
limit preprocessing 1
solve 0
add 2
add 0
solve 0
