{
  "name": "modulo",
  "rankdir": "LR",
  "start": "r0",
  "accepting": ["r0"],
  "states": [
    {"id": "r0", "label": "r₀", "accepting": true},
    {"id": "r1", "label": "r₁"},
    {"id": "r2", "label": "r₂"},
    {"id": "r3", "label": "r₃"},
    {"id": "r4", "label": "r₄"}
  ],
  "transitions": [
    {"from": "r0", "to": "r0", "label": "0"},
    {"from": "r0", "to": "r1", "label": "1"},
    {"from": "r1", "to": "r2", "label": "0"},
    {"from": "r1", "to": "r3", "label": "1"},
    {"from": "r2", "to": "r4", "label": "0"},
    {"from": "r2", "to": "r0", "label": "1"},
    {"from": "r3", "to": "r1", "label": "0"},
    {"from": "r3", "to": "r2", "label": "1"},
    {"from": "r4", "to": "r3", "label": "0"},
    {"from": "r4", "to": "r4", "label": "1"}
  ]
}