O, sym0, -, 1.0, 0 O, sym1, 6, 1.0, 1 O, sym2, COMMA, 1.0, 2 O, sym3, \in, 1.0, 3 O, sym4, x, 1.0, 4, 5 O, sym5, COMMA, 1.0, 6 O, sym6, 0, 1.0, 7 O, sym7, +, 1.0, 8, 9 O, sym8, I, 1.0, 10, 11 # Relations: R, sym1, sym0, Above, 1.0 R, sym1, sym2, Above, 1.0 R, sym3, sym1, Above, 1.0 R, sym4, sym5, Inside, 1.0 R, sym5, sym6, Inside, 1.0 R, sym6, sym7, Inside, 1.0 R, sym6, sym8, Inside, 1.0 R, sym7, sym3, Below, 1.0 # Top k symbols #(['0'], [('-', 24.255575), ('T', 19.318886), ('\\{', 16.918486), ('\\in', 16.875862), ('=', 14.01645)]) #(['1'], [('6', 11.460338), ('b', 10.830265), ('a', 10.731585), ('G', 9.305092), ('\\sigma', 7.4978733)]) #(['2'], [(',', 16.760254), ('.', 11.36672), ('\\ldots', 10.158601), ('\\mu', 8.957737), ('I', 8.922055)]) #(['3'], [('\\in', 8.144871), ('M', 7.059166), ('u', 6.7620335), ('\\Delta', 6.661337), ('r', 6.13617)]) #(['4', '5'], [('x', 12.910072), ('k', 11.085196), ('X', 9.389327), ('\\times', 8.101736), ('\\mu', 6.7958922)]) #(['6'], [(',', 8.546344), ('.', 5.7743735), ('d', 5.5848436), ('1', 5.1421137), ('\\mu', 4.9896774)]) #(['7'], [('0', 8.435532), ('C', 8.426647), ('c', 6.0243654), ('N', 5.920013), ('\\sin', 5.5146875)]) #(['8', '9'], [('+', 17.596985), ('H', 13.049231), ('\\neq', 12.449403), ('t', 12.12772), ('I', 11.433929)]) #(['10', '11'], [('I', 16.072878), ('\\in', 9.158218), ('7', 8.735651), ('T', 8.082097), ('\\theta', 6.5148706)])