False 6 Options False dialog False vertical 12 True False True True 12 True False 12 True False 0 Solver engine: True engine 0 0 True False 1 0 0 0 True False True True 6 True False 0 Settings: True settings:border 0 0 True False True True 0 1 Edit... True True True start True 0 2 0 1 False True 0 False end gtk-ok True True True True True True False True 0 gtk-cancel True True True True False True 1 gtk-help True True True True False True 2 True False True end 2 ok cancel help