{
  "license": "CC0-1.0",
  "proof_locator": "OA-FLOW-ED.md#oa-flow.ergdec.example; E1-E5",
  "group": "C2={e,s}, s^2=e",
  "action": "s(y,i)=(y,1-i)",
  "base_points": [
    "a",
    "b"
  ],
  "base_masses": [
    "1/3",
    "2/3"
  ],
  "conditional_masses": [
    [
      "1/4",
      "3/4"
    ],
    [
      "2/5",
      "3/5"
    ]
  ],
  "global_masses": [
    [
      "1/12",
      "1/4"
    ],
    [
      "4/15",
      "2/5"
    ]
  ],
  "pushforward_density_at_i": [
    [
      "3",
      "1/3"
    ],
    [
      "3/2",
      "2/3"
    ]
  ],
  "conditional_invariance": [
    false,
    false
  ],
  "conditional_ergodicity": [
    true,
    true
  ],
  "unitarity_check": "mu_y(i)*r_s(y,i)=mu_y(1-i)",
  "group_law_check": "r_s(y,0)*r_s(y,1)=1"
}