10 init 2set restoreflush 1 3set cover 1 41 set deduplicate 0 52 set elimocclim 0 63 set covermineff 0 74 set decompose 0 85 set lucky 0 96 add 1 107 add -2 118 add -3 129 add 0 1310 add -1 1411 add 2 1512 add 0 1613 add -2 1714 add -1 1815 add 0 1916 solve 0 2017 add 2 2118 add -3 2219 add 0 2320 add 3 2421 add 2 2522 add 0 2623 limit preprocessing 1 2724 limit localsearch 1 2825 solve 0 29