{
  "random_joins": 161,
  "random_pins": 260,
  "empty_64_leaf_pin": {
    "V": 1,
    "A": 0,
    "E": 0,
    "deliveries": 0,
    "routed": 1
  },
  "later_join": {
    "V": 4,
    "A": 2,
    "E": 1,
    "deliveries": 1,
    "routed": 2
  },
  "negative_body_conflict": true,
  "private_chain": true,
  "duplicate_occurrences": true,
  "unseeded_cycle": true,
  "successful_pin_routing_identity": true,
  "scope": "Finite three-variable leaves, two boundary variables, at most five leaves in random oracle checks; 64 empty leaves; no pointer-cost or proof-assistant verification."
}