{
    "properties": {
        "gps_time": {
            "type": "number",
            "minimum": 0,
            "maximum": 4294967295
        }
    },
    "required": [
        "gps_time"
    ],
    "type": "object"
}