O, sym0, \{, 1.0, 0
O, sym1, \in, 1.0, 1
O, sym2, \in, 1.0, 2, 3
O, sym3, \}, 1.0, 4


# Relations:
R, sym1, sym3, Sub, 1.0
R, sym2, sym0, Inside, 1.0
R, sym2, sym1, Sub, 1.0


# Top k symbols
#(['0'], [('\\{', 13.607621), ('\\forall', 11.830705), ('\\Delta', 11.83065), ('T', 9.838196), ('I', 9.142617)])
#(['1'], [('\\in', 11.706426), ('c', 8.747572), ('T', 8.694855), ('I', 8.689401), ('P', 7.886931)])
#(['2', '3'], [('\\in', 11.179499), (',', 9.396549), ('\\sin', 8.249761), ('\\gt', 7.300568), ('I', 6.7198358)])
#(['4'], [('\\}', 14.1509285), ('\\mu', 10.08643), ('L', 10.079722), ('X', 7.5427017), ('I', 6.895609)])