Karabiner-Elements mouse buttons to change spaces

mouse_buttons_to_spaces.json

{
    "description": "Mouse buttons to change spaces (ctrl+arrows)",
    "manipulators": [
        {
            "from": { "pointing_button": "button4" },
            "to": [
                {
                    "key_code": "right_arrow",
                    "modifiers": ["left_control"]
                }
            ],
            "type": "basic"
        },
        {
            "from": { "pointing_button": "button5" },
            "to": [
                {
                    "key_code": "left_arrow",
                    "modifiers": ["left_control"]
                }
            ],
            "type": "basic"
        }
    ]
}