{
 "1RB0RA_1LC0LF_1LE0LD_1LB---_1RA1LE_0LB0RC": {
  "HL1 00 <B -> <E 11": "25/25",
  "HL2 1 <E -> <E 1": "25/25",
  "HL3 0 <E -> 1 A>": "25/25",
  "HL4 A> 1 -> 0 A>": "25/25",
  "HL5 A> 11 -> 00 A>": "25/25",
  "HR1 A> 101 -> 010 A>": "25/25",
  "HR2 A> 101 00 101 -> <B 00 101 101": "25/25",
  "HR3 010 <B -> <B 101": "25/25",
  "HE0 0 00 A> 00 101 -> <E 11101101": "25/25",
  "HE1 A> 11101101 -> 00010 010 A>": "25/25",
  "HE3 00010 <B -> <E 11 101": "25/25",
  "HE2 010 A> 0^inf -> <B 00 101 0^inf": "25/25"
 },
 "1RB0RA_1LC0LF_1LE0LD_1LB---_1RA1LB_0LD0RC": {
  "HL1 00 <B -> <E 11": "25/25",
  "HL2 1 <E -> <E 1": "0/25",
  "HL3 0 <E -> 1 A>": "25/25",
  "HL4 A> 1 -> 0 A>": "25/25",
  "HL5 A> 11 -> 00 A>": "25/25",
  "HR1 A> 101 -> 010 A>": "25/25",
  "HR2 A> 101 00 101 -> <B 00 101 101": "0/25",
  "HR3 010 <B -> <B 101": "25/25",
  "HE0 0 00 A> 00 101 -> <E 11101101": "25/25",
  "HE1 A> 11101101 -> 00010 010 A>": "25/25",
  "HE3 00010 <B -> <E 11 101": "25/25",
  "HE2 010 A> 0^inf -> <B 00 101 0^inf": "0/25"
 }
}