{
    "file": 1,
    "format": 1
}{
    "default_ui": "gtk"
}