{{{id=1| import nosqlite db=nosqlite.Client(DATA+'localdb').db K.=NumberField(x^2-x-1) from psage.ellcurve.minmodel.sqrt5 import canonical_model /// }}} {{{id=2| def func(file,db,table): eta = lambda alpha: (alpha*alpha).trace() def find_small(alpha): while True: plus=a*alpha minus=alpha/a if eta(plus) e: table.update({'c_lbl':chr(ord(cl['c_lbl'])+1)},N=n,c_lbl=cl['c_lbl']) elif cl['eta'] < e: l += 1 table.insert({'N':n, 'cond1': str(I.gens_reduced()[0]), 'cond2': str(J.gens_reduced()[0]),'a_p': L.replace('%',"'?'"), 'Lstar':float(0.00), 'r':int(0), 'adj': 'mtrx', 'count':int(0),'optimal_curve': int(1),'c_lbl':chr(l),'i_lbl':'a','eta':e}) /// }}} {{{id=3| db.toy.delete() db.toy.insert({'N':0,'cond1':0,'cond2':0,'a_p':'delete'}) func(open('/home/psharaba/ellcurve_aplist1k.txt'), db, db.toy) /// }}} {{{id=77| list(db.toy.find('N=209')) /// [{u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'13*a - 8', u'cond2': u'-13*a + 5', u'a_p': u"[-3,-4,-4,-12,'?','?','?','?',2,-10,-8,4,0,0,-10,4,-4,6,-8,-14,16,-8,14,-6]", u'N': 209, u'c_lbl': u'd', u'eta': 427, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a - 15', u'cond2': u'-a - 14', u'a_p': u"[2,-2,0,8,'?','?','?','?',9,9,5,-10,-3,3,-3,-6,-4,2,0,3,8,2,6,6]", u'N': 209, u'c_lbl': u'a', u'eta': 423, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a - 15', u'cond2': u'-a - 14', u'a_p': u"[-2,2,4,-12,'?','?','?','?',7,1,-5,-2,-11,-3,-3,10,8,-2,12,-13,4,-10,-14,10]", u'N': 209, u'c_lbl': u'a', u'eta': 423, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'13*a - 8', u'cond2': u'-13*a + 5', u'a_p': u"[-1,4,0,8,'?','?','?','?',-6,6,-4,-4,0,-12,6,-12,-4,2,0,-6,8,-16,6,6]", u'N': 209, u'c_lbl': u'd', u'eta': 427, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'13*a - 8', u'cond2': u'-13*a + 5', u'a_p': u"[1,-2,2,6,'?','?','?','?',6,-2,0,0,6,6,8,4,-6,-2,0,-12,-16,8,18,10]", u'N': 209, u'c_lbl': u'd', u'eta': 427, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a - 15', u'cond2': u'-a - 14', u'a_p': u"[1,2,-2,-6,'?','?','?','?',-2,-2,-8,-8,10,-6,12,4,-10,-2,0,8,-8,8,10,10]", u'N': 209, u'c_lbl': u'a', u'eta': 423, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}] }}} {{{id=78| K.ideal(-6*a - 29).integral_basis() /// [979, a + 168] }}} {{{id=79| K.ideal(6*a - 35).integral_basis() /// [979, a + 810] }}} {{{id=55| len(list(db.toy.find('N=341'))) /// 1 }}} {{{id=4| len(list(db.toy.find('N=441'))) /// 3 }}} {{{id=10| db.toy.delete(a_p='delete') /// }}} {{{id=44| db("SELECT cond1 FROM toy WHERE a_p LIKE '%s';"%(L)) /// Traceback (most recent call last): File "", line 1, in File "_sage_input_7.py", line 10, in exec compile(u'open("___code___.py","w").write("# -*- coding: utf-8 -*-\\n" + _support_.preparse_worksheet_cell(base64.b64decode("ZGIoIlNFTEVDVCBjb25kMSBGUk9NIHRveSBXSEVSRSBhX3AgTElLRSAnJXMnOyIlKEwpKQ=="),globals())+"\\n"); execfile(os.path.abspath("___code___.py"))' + '\n', '', 'single') File "", line 1, in File "/private/var/folders/SW/SW-cfJI7GnuIEvIMHm0wsk+++Ts/-Tmp-/tmprxFVNf/___code___.py", line 2, in exec compile(u'db("SELECT cond1 FROM toy WHERE a_p LIKE \'%s\';"%(L))' + '\n', '', 'single') File "", line 1, in NameError: name 'L' is not defined }}} {{{id=32| db.toy.count() /// (337,) }}} {{{id=34| unmatched=db('select a_p from toy ORDER BY N') /// }}} {{{id=63| len(data) /// 337 }}} {{{id=75| data=sorted(data) /// }}} {{{id=74| for r in range(len(data)): print r,data[r] /// WARNING: Output truncated! full_output.txt 0 [-4, -3, -2, 0, -3, -7, 2, -6, 6, -4, -4, 12, -3, 5, 3, 0, -10, -1, -3, -12, -10, -10, 12, 0] 1 [-4, 0, '?', 0, 0, -7, -7, 0, 0, -4, -4, 0, 0, -13, 0, 0, -1, -1, 0, 0, 17, 17, 0, 0] 2 [-4, 3, -2, 3, 3, '?', '?', 6, 6, -4, -4, -6, -6, -13, -6, -6, -1, -1, 6, 6, 8, 8, 12, 12] 3 [-4, '?', -5, -3, -3, 2, 2, 3, 3, -4, -4, -12, -12, '?', 0, 0, 8, 8, 0, 0, -1, -1, -12, -12] 4 [-3, -4, -4, '?', '?', '?', '?', -10, 2, 4, -8, 0, 0, -12, 4, -10, 6, -4, -14, -8, -8, 16, -6, 14] 5 [-3, -4, -1, 0, -2, -5, -7, 6, 3, 8, -3, 2, -9, -10, -10, 9, -14, 0, -3, 16, -12, 6, -5, -6] 6 [-3, -3, -5, 1, -3, -2, 7, -6, -8, 4, 3, -11, 2, 6, -7, 10, -6, -7, -12, 14, -14, -1, -7, 0] 7 [-3, -3, -1, 0, -5, 1, -3, -2, -5, 6, -10, 6, 12, -5, 3, -7, 6, 2, -6, 10, 12, -8, -13, -18] 8 [-3, -3, 0, -4, -6, 0, 8, -5, 8, -8, 1, -10, 0, 0, -9, -11, 8, -7, 4, 3, 1, -2, 8, 4] 9 [-3, -2, -6, 0, 0, -4, -4, 6, 6, 4, 4, -6, -6, 2, -12, -12, -10, -10, -4, -4, 12, 12, 10, 10] 10 [-3, -2, -4, '?', '?', -4, -4, '?', '?', 0, -4, 6, -6, 8, -6, 0, 12, 8, -12, -10, 12, -10, -10, 6] 11 [-3, -2, -2, '?', '?', -4, 0, '?', '?', 8, -4, -2, 6, -10, 0, 4, 6, -10, 8, 12, -8, -8, 10, -14] 12 [-3, -2, 2, 4, -4, 4, -4, -2, -2, '?', '?', -6, -6, 2, 12, -4, 6, -2, -8, 0, 0, 16, 10, -6] 13 [-3, -2, '?', 4, 4, 4, 4, -2, -2, 0, 0, 2, 2, '?', 12, 12, -2, -2, 0, 0, -16, -16, -14, -14] 14 [-3, -1, -4, -1, -1, -4, 0, -3, -4, -1, -1, -6, 8, 2, 0, 12, 6, 5, 15, -14, -11, 1, 1, 6] 15 [-3, -1, -1, '?', '?', -6, -3, -1, -4, -4, -4, 5, 8, '?', 11, -7, 13, -14, 4, -2, 5, -10, -9, 6] 16 [-3, -1, 1, -6, -1, 5, -8, -3, -9, 2, 0, -9, 8, -2, 0, 0, 11, 2, 15, -6, 3, 11, -12, -16] 17 [-3, -1, '?', -6, 0, -2, -5, 6, 7, -7, -11, -12, 0, 6, '?', '?', -8, 15, -9, 14, 7, -8, 16, -9] 18 [-3, -1, '?', -5, 3, -1, -6, -9, -2, 3, -11, 6, 10, 5, -6, 10, '?', '?', -3, 0, 4, 6, -6, 1] 19 [-3, -1, '?', 2, -3, -7, 1, -6, -3, 4, -7, -4, 5, -2, -12, -6, -3, -14, 8, 6, 4, 0, 14, -1] 20 [-3, 0, -4, -5, -3, 2, 2, 0, -10, 10, 2, 0, -2, 6, -13, -12, 13, -10, 6, 6, -15, 10, -14, 7] 21 [-3, 0, -4, -1, 3, -3, -8, 2, 0, -2, -7, 0, 6, -2, 5, -10, -11, 3, -3, -3, -10, 2, 15, 8] 22 [-3, 0, -4, '?', '?', -4, 0, 2, -6, -2, 0, -12, -10, -8, 12, -6, -6, 0, -4, 16, 2, 8, '?', '?'] 23 [-3, 0, -2, -6, 4, 4, -6, 2, -10, -8, 0, 0, 0, -12, -6, -4, 6, 12, 16, -2, 4, -4, 6, 6] 24 [-3, 0, -1, -3, 1, -7, 0, -5, -4, 5, -2, 4, -8, 8, -3, -12, -7, -6, 6, 6, -8, 3, -6, 18] 25 [-3, 1, -4, -1, -5, '?', '?', 4, -2, '?', '?', 3, 0, -10, -1, -9, 1, 12, 12, -8, -11, 12, -9, 7] 26 [-3, 2, -2, -4, -4, -4, 4, -2, 2, '?', '?', -6, -6, 2, 12, -4, -6, -2, 8, 0, 0, 16, -10, -6] 27 [-3, 2, 2, 0, 4, 4, -4, -10, -2, 0, -8, -10, 2, -2, 0, 12, 10, 14, 0, 12, -16, -4, -6, -14] 28 [-3, 2, 2, '?', '?', -8, 4, 6, 6, 4, 0, 2, 6, -2, 4, -8, 2, 6, '?', '?', -12, -8, -6, 10] 29 [-3, 2, 2, '?', '?', 6, 6, 2, 2, -10, 8, -10, 8, '?', 2, 8, -14, 4, -8, -8, -4, -4, 0, 12] 30 [-3, '?', -6, '?', '?', -4, -4, 6, 6, -8, -8, 2, 2, -14, 4, 4, -10, -10, 8, 8, 8, 8, 10, 10] 31 [-3, '?', -5, -2, -1, -2, -2, -1, -4, -8, 0, -11, 9, 10, 0, -3, -10, -6, 13, 1, 7, 5, -4, -8] 32 [-3, '?', -4, '?', '?', 0, -2, -6, -6, 6, 0, -6, -6, 6, 6, 0, 6, 10, 0, -12, 0, -10, -6, 6] 33 [-3, '?', -2, -4, -2, -8, 2, 0, -2, 4, 0, -10, 12, -6, 0, -8, -10, 12, 0, 0, '?', '?', 12, 12] 34 [-3, '?', -2, -4, 0, 0, -4, -10, -2, -8, 0, 2, 6, 6, 12, -4, -6, -2, 0, 16, 4, 8, '?', '?'] 35 [-3, '?', -2, -3, -2, -5, -6, 3, -1, -5, 8, 2, -9, -8, 8, -14, 0, 5, 0, -10, 5, 1, 4, 10] 36 [-3, '?', -2, -2, -6, '?', '?', 10, -4, 2, -4, -2, -2, 4, 4, -12, -2, -6, -10, 12, -8, 0, 2, 8] 37 [-3, '?', -2, 2, 2, -6, -6, 2, 2, -10, -10, -6, -6, 2, 6, 6, 2, 2, 6, 6, -12, -12, 2, 2] 38 [-3, '?', 1, 1, -4, -7, 1, -9, -9, -3, -2, -6, 5, 8, 4, -10, 15, 4, 0, -12, -16, 10, 6, 2] 39 [-3, '?', 2, 0, 4, -4, 0, 6, 6, 8, 0, -6, 2, -6, 4, 0, -2, 14, -12, -4, -16, -4, -6, -6] 40 [-3, '?', '?', -4, -4, 4, 4, -2, -2, 0, 0, 10, 10, -14, -4, -4, -2, -2, -8, -8, 0, 0, -6, -6] 41 [-3, '?', '?', 4, 4, 4, 4, 2, 2, 0, 0, -10, -10, -14, 4, 4, -2, -2, 8, 8, 0, 0, 6, 6] 42 [-3, '?', '?', '?', '?', -8, -4, 6, -6, 4, -8, 6, -10, 2, 12, 4, -2, -6, 8, -4, -12, 0, 2, -6] 43 [-2, -4, 1, -5, -2, 1, -2, -5, 4, -4, -3, -10, 8, 5, 1, 14, 4, 7, -13, -10, -14, -8, 0, 0] 44 [-2, -3, -3, -4, 2, -4, -2, -1, 4, 1, 0, 0, -4, 8, -15, -6, 12, -5, 6, 9, 2, -12, -15, -14] 45 [-2, -3, -1, -3, -3, '?', '?', 6, 3, -5, -7, -3, 3, 2, -3, 12, -5, -14, 9, 0, 4, 5, 9, -18] 46 [-2, -3, 2, '?', '?', -2, -5, -4, 7, -2, -10, '?', '?', 8, -3, -4, -4, -8, 6, 1, 7, 0, 13, 0] 47 [-2, -3, '?', -1, 2, -6, -6, -10, 3, -4, -3, 8, -5, -8, 6, 7, -10, 7, '?', '?', -4, 8, -14, 0] 48 [-2, -3, '?', 0, -5, -8, 3, -2, -1, 6, 6, '?', '?', -10, 7, -8, 8, 6, -6, -9, 1, -12, -7, 6] 49 [-2, -2, -4, 1, -3, 0, 0, -8, -6, 5, -2, 6, -2, 5, -13, 7, 10, -1, 0, -8, -4, 13, 9, -7] 50 [-2, -2, -1, -2, -6, -5, 5, 5, -1, 4, 0, -3, -5, -4, 2, 4, 2, -12, -5, -2, 3, 14, -1, -8] 51 [-2, -2, -1, '?', '?', 0, -5, -9, 0, -6, 3, 0, -3, -4, '?', '?', 7, 5, 10, 2, -1, -6, 10, 2] 52 [-2, -2, '?', -3, -1, 4, -4, -9, -2, -5, -3, -10, 1, 10, 8, -5, 11, -8, 2, -9, '?', '?', 7, 6] 53 [-2, -1, -4, -2, 5, 6, -1, 2, 9, -10, 4, '?', '?', -6, -3, 4, 6, -8, -12, 9, -11, -4, -1, -8] 54 [-2, -1, -2, -4, -2, 3, 0, -4, -1, -8, -1, 6, -3, 6, 5, 10, -5, -7, 0, -7, -15, 8, 0, 12] 55 [-2, -1, -1, 0, -4, -5, 0, -6, -4, 0, 10, 5, -10, 5, -12, 6, 12, -14, 8, -4, 0, -1, -15, -8] 56 [-2, -1, '?', 5, -2, 6, 6, 2, 9, 4, -3, 0, -7, 8, -10, -3, 6, -1, '?', '?', -4, -4, 6, -8] 57 [-2, 0, -5, '?', '?', -6, -1, 7, -6, 4, 3, 2, 9, -2, '?', '?', -1, -7, -14, -4, 3, 6, -12, -10] 58 [-2, 0, '?', -5, -3, -6, -2, 5, 8, -1, 1, 12, -9, 4, 2, -3, -13, -12, -8, 13, '?', '?', 1, -14] ... 277 ['?', 0, 5, -4, 3, 6, -6, 9, -8, -3, 0, 0, -10, 8, 1, -10, '?', '?', -10, -7, 8, -13, 13, -4] 278 ['?', 0, '?', -2, 6, 8, 0, -4, -4, 0, 8, -6, 10, -6, -6, 2, 10, -6, -12, -12, 0, -8, -6, 10] 279 ['?', 0, '?', 4, -2, '?', '?', 8, 6, -4, 4, 0, 2, -2, -2, 2, -10, -14, -14, 6, 0, 4, 0, -2] 280 ['?', 1, -5, -3, 2, '?', '?', 5, -10, 7, -3, 2, 2, 0, 0, 10, -8, 12, -8, 7, 5, 15, 0, -15] 281 ['?', 1, 0, 2, -3, -5, 5, 0, 5, -8, 7, -8, -3, -10, 0, 10, -3, -8, 2, 12, 10, 0, 0, -15] 282 ['?', 1, 0, 2, -3, 0, -5, '?', '?', 7, -8, 12, -3, 5, 0, 0, 12, 2, -8, 7, -10, -5, 0, 15] 283 ['?', 1, 2, '?', '?', '?', '?', 4, -2, 4, 7, 9, -5, 0, -11, 0, -2, -1, -7, 6, 8, -2, -8, 7] 284 ['?', 1, 5, '?', '?', '?', '?', 0, -5, -3, -3, 2, 12, 10, 0, -10, 2, 2, -3, 12, -5, -15, 15, 0] 285 ['?', 1, '?', '?', '?', -5, -5, 5, 0, 2, -3, 2, 7, -5, 0, -5, 12, -13, -8, -3, 10, -10, 15, -10] 286 ['?', 1, '?', '?', '?', 5, -5, -5, 0, 2, 7, 2, -3, 5, 0, -15, -8, 7, -8, -13, -10, 10, -5, -10] 287 ['?', 2, -4, '?', '?', '?', '?', 8, 4, 0, 10, -4, -4, -4, -12, -14, -2, -2, 0, -4, -16, 4, -10, 14] 288 ['?', 2, -2, 4, -4, 4, -4, -2, -2, 0, 0, -2, -2, -10, -12, 12, 10, 10, 8, -8, -16, 16, -6, -6] 289 ['?', 2, -2, 4, 0, 6, 0, 6, -6, -4, -8, 0, 0, 10, '?', '?', 6, -12, 6, -12, 8, 16, -10, 6] 290 ['?', 2, 2, -2, -4, -6, 8, 8, -6, -4, -8, '?', '?', -6, 0, 4, 0, -8, 0, 0, 16, -4, 14, 10] 291 ['?', 2, 2, '?', '?', -4, -4, 10, 10, -8, -8, -2, -2, 14, 12, 12, -10, -10, 0, 0, -12, -12, -18, -18] 292 ['?', 2, 2, '?', '?', 0, -4, -2, 6, 4, -8, -2, -6, 6, -4, 4, -6, 14, 0, -16, 12, 0, 2, 18] 293 ['?', 2, 2, '?', '?', 0, 4, -2, -2, -4, -8, 6, 10, -2, -12, 4, 10, -2, -16, 8, 4, 8, -14, 2] 294 ['?', 2, 4, -1, -2, 0, -2, 3, 0, 5, -1, -6, -1, -4, 14, -9, -10, 7, -8, -4, -8, -10, 0, 17] 295 ['?', 2, 6, -2, -6, 0, 2, 8, 0, -8, 0, -6, 2, -2, 6, 4, -10, -6, 0, -8, -8, -4, 10, 2] 296 ['?', 2, 6, 0, 0, -4, -4, -2, -2, -8, -8, 6, 6, '?', 4, 4, -6, -6, 12, 12, 4, 4, 10, 10] 297 ['?', 2, '?', -4, -4, 0, 0, 6, 6, 4, 4, -10, -10, -2, -4, -4, 2, 2, 0, 0, 12, 12, 10, 10] 298 ['?', 2, '?', 0, 0, 4, -4, -6, 10, 0, -8, 2, 2, 2, -8, -8, 6, -10, 16, 0, 8, -16, -6, -6] 299 ['?', 2, '?', 0, 0, '?', '?', 2, 2, 0, -8, -6, 2, 2, 0, 8, -2, -2, 0, 0, -8, 0, -14, 10] 300 ['?', 3, -5, 0, 0, -7, 2, -3, -6, 5, -4, 6, -3, 14, -3, 3, -1, 8, 3, -12, '?', '?', 18, 0] 301 ['?', 3, -5, '?', '?', 8, -4, 3, 3, -4, -4, -6, -9, -1, 0, 12, -1, -13, -12, 0, 8, -4, 3, -6] 302 ['?', 3, -2, 3, 3, -4, -7, 6, -9, -7, -10, 3, 0, -4, 0, 6, 5, 11, 6, 12, -13, -4, 6, 6] 303 ['?', 3, -2, '?', '?', '?', '?', 0, -6, -4, 5, 3, 3, -4, -3, 0, -10, -1, 9, -6, 8, -10, 0, -3] 304 ['?', 3, 4, -6, 3, 2, -7, -6, -3, 2, -4, '?', '?', 2, 3, 12, -10, 8, -12, 3, -1, -4, -9, 0] 305 ['?', 3, '?', '?', '?', -7, 7, -7, 0, 6, -1, 2, -5, -11, 4, 11, -12, -5, 12, 5, -14, -14, -11, 10] 306 ['?', 3, '?', '?', '?', -1, -1, -9, 0, -10, 5, -6, 9, 11, -12, 9, 8, -1, 12, 3, -10, 14, 9, -6] 307 ['?', 4, -3, '?', '?', 7, 7, -3, -3, -5, -5, -8, -8, 13, -12, -12, 5, 5, -7, -7, 4, 4, 7, 7] 308 ['?', 4, 0, -4, 0, -6, 4, '?', '?', -2, -8, -12, 6, 2, 0, 6, 6, -4, 10, 16, -4, 4, 6, -6] 309 ['?', 4, '?', -2, -2, 0, 0, 0, 0, -8, -8, -2, -2, 10, 10, 10, 2, 2, -12, -12, 0, 0, -10, -10] 310 ['?', 4, '?', 2, 2, -8, -8, -8, -8, 0, 0, 2, 2, 10, 6, 6, 2, 2, -4, -4, 8, 8, -6, -6] 311 ['?', '?', -6, 4, 4, 0, 0, 6, 6, 8, 8, 2, 2, '?', -8, -8, -14, -14, -16, -16, -8, -8, 10, 10] 312 ['?', '?', -6, 4, 4, 4, 4, -2, -2, -8, -8, -6, -6, 2, -4, -4, -2, -2, 0, 0, 0, 0, -6, -6] 313 ['?', '?', -5, -3, -3, 5, 5, 0, 0, 2, 2, -3, -3, -10, 0, 0, 2, 2, 12, 12, -10, -10, 15, 15] 314 ['?', '?', -4, -4, -4, -6, 0, -6, 4, '?', '?', 6, -2, 2, -4, -4, -2, 10, -12, -2, -4, -4, -18, 6] 315 ['?', '?', -4, 0, -4, -2, -4, -2, -2, -6, 6, '?', '?', -4, 0, -8, -12, 0, 10, 8, 0, 8, 10, 0] 316 ['?', '?', -2, 0, 0, -4, -4, 6, 6, -4, -4, 6, 6, -10, 12, 12, 2, 2, -12, -12, 8, 8, -6, -6] 317 ['?', '?', -2, 0, 6, '?', '?', -6, 0, -4, -4, -6, 12, -4, 0, -12, -10, -10, 12, 0, 8, -10, 6, -18] 318 ['?', '?', -2, '?', '?', -4, -4, 6, -6, -4, 8, -6, 6, 2, 0, -12, 14, -10, 0, 0, -4, 8, -6, -6] 319 ['?', '?', 0, '?', '?', 0, 0, -10, 0, 2, -8, 2, -8, -10, 10, 0, 2, 2, 12, -8, 10, 0, 10, -10] 320 ['?', '?', 0, '?', '?', 6, 6, 8, -6, 8, 4, -10, -2, 2, 4, -6, -10, 2, -12, -8, 10, -6, -8, -4] 321 ['?', '?', 1, 0, -3, 5, 2, '?', '?', -1, 2, -9, 0, 8, -6, 6, -7, -10, -6, -6, 11, 2, 6, -15] 322 ['?', '?', 1, 0, 3, -1, 2, '?', '?', -1, 2, 3, 0, -4, -6, -6, 11, 2, -6, 6, -1, -10, -6, -3] 323 ['?', '?', 2, -4, 0, '?', '?', 6, 2, -8, -8, 10, -10, -2, -4, -4, 6, -10, 0, 8, 8, 4, 10, 2] 324 ['?', '?', 2, 0, 0, 4, 4, -6, -6, -4, -4, 6, 6, 10, -12, -12, 2, 2, -12, -12, -8, -8, 6, 6] 325 ['?', '?', 2, 4, -4, -4, -4, -10, 6, 0, 8, -6, 10, -6, 4, -12, -2, -2, -8, 0, 0, -16, 10, 10] 326 ['?', '?', 2, 4, 2, '?', '?', -2, 4, 0, 4, 2, -12, 0, 0, -4, 6, -2, -8, 0, -16, -6, -14, 6] 327 ['?', '?', 3, -4, 1, 7, 2, '?', '?', 3, -10, -5, -12, -4, -14, 6, 13, 10, -6, 2, -7, -14, -18, 7] 328 ['?', '?', 4, -3, 1, 5, 6, 7, -2, '?', '?', -4, 8, -9, 3, 6, -14, -5, -5, 14, 10, -14, -9, 10] 329 ['?', '?', 4, -2, 0, 4, 4, -8, 10, 2, 2, '?', '?', 12, 12, -12, -2, 10, -10, -12, 16, -4, 10, -16] 330 ['?', '?', 4, 3, -3, -7, 2, 9, 6, '?', '?', 0, -12, 5, -3, -6, -10, -1, 9, -6, -10, -10, 15, -6] 331 ['?', '?', 4, '?', '?', -4, 8, -6, 0, -10, -4, -6, 0, 2, -6, 12, 2, 14, -12, 0, -10, 8, 6, -6] 332 ['?', '?', 4, '?', '?', 2, 2, 0, -6, 8, 8, 6, -6, -10, -12, 6, 14, -10, 12, 0, 14, -10, 0, -12] 333 ['?', '?', 5, -3, -3, -5, -5, 0, 0, 2, 2, -3, -3, 10, 0, 0, 2, 2, 12, 12, 10, 10, -15, -15] 334 ['?', '?', '?', 0, 0, -4, -4, -6, -6, 8, 8, -6, -6, 2, 0, 0, -10, -10, 0, 0, 8, 8, 18, 18] 335 ['?', '?', '?', 0, 0, 4, 4, 6, 6, 8, 8, -6, -6, -2, 0, 0, -10, -10, 0, 0, -8, -8, -18, -18] 336 ['?', '?', '?', 2, 2, 0, 0, 0, 0, -8, -8, 2, 2, -10, 10, 10, 2, 2, 12, 12, 0, 0, -10, -10] }}} {{{id=73| data=[] for r in range(len(unmatched)): fox=[] A=eval(unmatched[r][0]) fox.append(A[0]) fox.append(A[2]) fox.append(A[1]) for s in range(4,14): fox.append(A[s]) fox.append(A[3]) for t in range(14,24): fox.append(A[t]) data.append(fox) /// }}} {{{id=66| prime_range(2,100) /// [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97] }}} {{{id=68| data[0] /// [-4, -5, '?', '?', -3, -3, 2, 2, 3, 3, -4, -4, -12, -12, 0, 0, 8, 8, 0, 0, -1, -1, -12, -12] }}} {{{id=70| for r in range(4,23): print data[0][r] /// -3 -3 2 2 3 3 -4 -4 -12 -12 0 0 8 8 0 0 -1 -1 -12 }}} {{{id=69| data[0][4:14] /// [-3, -3, 2, 2, 3, 3, -4, -4, -12, -12] }}} {{{id=71| /// }}} {{{id=67| db.toy2.delete() /// }}} {{{id=76| db2=nosqlite.Client('/home/psharaba/ECdb').db /// }}} {{{id=65| for r in range(len(data)): db2.ordering.insert({'fh': int(r), 'a_p': str(data[r]).replace(' ','')}) /// }}} {{{id=72| list(db.toy2) /// [{u'fh': 0, u'a_p': u'[-4,-3,-2,0,-3,-7,2,-6,6,-4,-4,12,-3,5,3,0,-10,-1,-3,-12,-10,-10,12,0]'}, {u'fh': 1, u'a_p': u"[-4,0,'?',0,0,-7,-7,0,0,-4,-4,0,0,-13,0,0,-1,-1,0,0,17,17,0,0]"}, {u'fh': 2, u'a_p': u"[-4,3,-2,3,3,'?','?',6,6,-4,-4,-6,-6,-13,-6,-6,-1,-1,6,6,8,8,12,12]"}, {u'fh': 3, u'a_p': u"[-4,'?',-5,-3,-3,2,2,3,3,-4,-4,-12,-12,'?',0,0,8,8,0,0,-1,-1,-12,-12]"}, {u'fh': 4, u'a_p': u"[-3,-4,-4,'?','?','?','?',-10,2,4,-8,0,0,-12,4,-10,6,-4,-14,-8,-8,16,-6,14]"}, {u'fh': 5, u'a_p': u'[-3,-4,-1,0,-2,-5,-7,6,3,8,-3,2,-9,-10,-10,9,-14,0,-3,16,-12,6,-5,-6]'}, {u'fh': 6, u'a_p': u'[-3,-3,-5,1,-3,-2,7,-6,-8,4,3,-11,2,6,-7,10,-6,-7,-12,14,-14,-1,-7,0]'}, {u'fh': 7, u'a_p': u'[-3,-3,-1,0,-5,1,-3,-2,-5,6,-10,6,12,-5,3,-7,6,2,-6,10,12,-8,-13,-18]'}, {u'fh': 8, u'a_p': u'[-3,-3,0,-4,-6,0,8,-5,8,-8,1,-10,0,0,-9,-11,8,-7,4,3,1,-2,8,4]'}, {u'fh': 9, u'a_p': u'[-3,-2,-6,0,0,-4,-4,6,6,4,4,-6,-6,2,-12,-12,-10,-10,-4,-4,12,12,10,10]'}, {u'fh': 10, u'a_p': u"[-3,-2,-4,'?','?',-4,-4,'?','?',0,-4,6,-6,8,-6,0,12,8,-12,-10,12,-10,-10,6]"}, {u'fh': 11, u'a_p': u"[-3,-2,-2,'?','?',-4,0,'?','?',8,-4,-2,6,-10,0,4,6,-10,8,12,-8,-8,10,-14]"}, {u'fh': 12, u'a_p': u"[-3,-2,2,4,-4,4,-4,-2,-2,'?','?',-6,-6,2,12,-4,6,-2,-8,0,0,16,10,-6]"}, {u'fh': 13, u'a_p': u"[-3,-2,'?',4,4,4,4,-2,-2,0,0,2,2,'?',12,12,-2,-2,0,0,-16,-16,-14,-14]"}, {u'fh': 14, u'a_p': u'[-3,-1,-4,-1,-1,-4,0,-3,-4,-1,-1,-6,8,2,0,12,6,5,15,-14,-11,1,1,6]'}, {u'fh': 15, u'a_p': u"[-3,-1,-1,'?','?',-6,-3,-1,-4,-4,-4,5,8,'?',11,-7,13,-14,4,-2,5,-10,-9,6]"}, {u'fh': 16, u'a_p': u'[-3,-1,1,-6,-1,5,-8,-3,-9,2,0,-9,8,-2,0,0,11,2,15,-6,3,11,-12,-16]'}, {u'fh': 17, u'a_p': u"[-3,-1,'?',-6,0,-2,-5,6,7,-7,-11,-12,0,6,'?','?',-8,15,-9,14,7,-8,16,-9]"}, {u'fh': 18, u'a_p': u"[-3,-1,'?',-5,3,-1,-6,-9,-2,3,-11,6,10,5,-6,10,'?','?',-3,0,4,6,-6,1]"}, {u'fh': 19, u'a_p': u"[-3,-1,'?',2,-3,-7,1,-6,-3,4,-7,-4,5,-2,-12,-6,-3,-14,8,6,4,0,14,-1]"}, {u'fh': 20, u'a_p': u'[-3,0,-4,-5,-3,2,2,0,-10,10,2,0,-2,6,-13,-12,13,-10,6,6,-15,10,-14,7]'}, {u'fh': 21, u'a_p': u'[-3,0,-4,-1,3,-3,-8,2,0,-2,-7,0,6,-2,5,-10,-11,3,-3,-3,-10,2,15,8]'}, {u'fh': 22, u'a_p': u"[-3,0,-4,'?','?',-4,0,2,-6,-2,0,-12,-10,-8,12,-6,-6,0,-4,16,2,8,'?','?']"}, {u'fh': 23, u'a_p': u'[-3,0,-2,-6,4,4,-6,2,-10,-8,0,0,0,-12,-6,-4,6,12,16,-2,4,-4,6,6]'}, {u'fh': 24, u'a_p': u'[-3,0,-1,-3,1,-7,0,-5,-4,5,-2,4,-8,8,-3,-12,-7,-6,6,6,-8,3,-6,18]'}, {u'fh': 25, u'a_p': u"[-3,1,-4,-1,-5,'?','?',4,-2,'?','?',3,0,-10,-1,-9,1,12,12,-8,-11,12,-9,7]"}, {u'fh': 26, u'a_p': u"[-3,2,-2,-4,-4,-4,4,-2,2,'?','?',-6,-6,2,12,-4,-6,-2,8,0,0,16,-10,-6]"}, {u'fh': 27, u'a_p': u'[-3,2,2,0,4,4,-4,-10,-2,0,-8,-10,2,-2,0,12,10,14,0,12,-16,-4,-6,-14]'}, {u'fh': 28, u'a_p': u"[-3,2,2,'?','?',-8,4,6,6,4,0,2,6,-2,4,-8,2,6,'?','?',-12,-8,-6,10]"}, {u'fh': 29, u'a_p': u"[-3,2,2,'?','?',6,6,2,2,-10,8,-10,8,'?',2,8,-14,4,-8,-8,-4,-4,0,12]"}, {u'fh': 30, u'a_p': u"[-3,'?',-6,'?','?',-4,-4,6,6,-8,-8,2,2,-14,4,4,-10,-10,8,8,8,8,10,10]"}, {u'fh': 31, u'a_p': u"[-3,'?',-5,-2,-1,-2,-2,-1,-4,-8,0,-11,9,10,0,-3,-10,-6,13,1,7,5,-4,-8]"}, {u'fh': 32, u'a_p': u"[-3,'?',-4,'?','?',0,-2,-6,-6,6,0,-6,-6,6,6,0,6,10,0,-12,0,-10,-6,6]"}, {u'fh': 33, u'a_p': u"[-3,'?',-2,-4,-2,-8,2,0,-2,4,0,-10,12,-6,0,-8,-10,12,0,0,'?','?',12,12]"}, {u'fh': 34, u'a_p': u"[-3,'?',-2,-4,0,0,-4,-10,-2,-8,0,2,6,6,12,-4,-6,-2,0,16,4,8,'?','?']"}, {u'fh': 35, u'a_p': u"[-3,'?',-2,-3,-2,-5,-6,3,-1,-5,8,2,-9,-8,8,-14,0,5,0,-10,5,1,4,10]"}, {u'fh': 36, u'a_p': u"[-3,'?',-2,-2,-6,'?','?',10,-4,2,-4,-2,-2,4,4,-12,-2,-6,-10,12,-8,0,2,8]"}, {u'fh': 37, u'a_p': u"[-3,'?',-2,2,2,-6,-6,2,2,-10,-10,-6,-6,2,6,6,2,2,6,6,-12,-12,2,2]"}, {u'fh': 38, u'a_p': u"[-3,'?',1,1,-4,-7,1,-9,-9,-3,-2,-6,5,8,4,-10,15,4,0,-12,-16,10,6,2]"}, {u'fh': 39, u'a_p': u"[-3,'?',2,0,4,-4,0,6,6,8,0,-6,2,-6,4,0,-2,14,-12,-4,-16,-4,-6,-6]"}, {u'fh': 40, u'a_p': u"[-3,'?','?',-4,-4,4,4,-2,-2,0,0,10,10,-14,-4,-4,-2,-2,-8,-8,0,0,-6,-6]"}, {u'fh': 41, u'a_p': u"[-3,'?','?',4,4,4,4,2,2,0,0,-10,-10,-14,4,4,-2,-2,8,8,0,0,6,6]"}, {u'fh': 42, u'a_p': u"[-3,'?','?','?','?',-8,-4,6,-6,4,-8,6,-10,2,12,4,-2,-6,8,-4,-12,0,2,-6]"}, {u'fh': 43, u'a_p': u'[-2,-4,1,-5,-2,1,-2,-5,4,-4,-3,-10,8,5,1,14,4,7,-13,-10,-14,-8,0,0]'}, {u'fh': 44, u'a_p': u'[-2,-3,-3,-4,2,-4,-2,-1,4,1,0,0,-4,8,-15,-6,12,-5,6,9,2,-12,-15,-14]'}, {u'fh': 45, u'a_p': u"[-2,-3,-1,-3,-3,'?','?',6,3,-5,-7,-3,3,2,-3,12,-5,-14,9,0,4,5,9,-18]"}, {u'fh': 46, u'a_p': u"[-2,-3,2,'?','?',-2,-5,-4,7,-2,-10,'?','?',8,-3,-4,-4,-8,6,1,7,0,13,0]"}, {u'fh': 47, u'a_p': u"[-2,-3,'?',-1,2,-6,-6,-10,3,-4,-3,8,-5,-8,6,7,-10,7,'?','?',-4,8,-14,0]"}, {u'fh': 48, u'a_p': u"[-2,-3,'?',0,-5,-8,3,-2,-1,6,6,'?','?',-10,7,-8,8,6,-6,-9,1,-12,-7,6]"}, {u'fh': 49, u'a_p': u'[-2,-2,-4,1,-3,0,0,-8,-6,5,-2,6,-2,5,-13,7,10,-1,0,-8,-4,13,9,-7]'}, {u'fh': 50, u'a_p': u'[-2,-2,-1,-2,-6,-5,5,5,-1,4,0,-3,-5,-4,2,4,2,-12,-5,-2,3,14,-1,-8]'}, {u'fh': 51, u'a_p': u"[-2,-2,-1,'?','?',0,-5,-9,0,-6,3,0,-3,-4,'?','?',7,5,10,2,-1,-6,10,2]"}, {u'fh': 52, u'a_p': u"[-2,-2,'?',-3,-1,4,-4,-9,-2,-5,-3,-10,1,10,8,-5,11,-8,2,-9,'?','?',7,6]"}, {u'fh': 53, u'a_p': u"[-2,-1,-4,-2,5,6,-1,2,9,-10,4,'?','?',-6,-3,4,6,-8,-12,9,-11,-4,-1,-8]"}, {u'fh': 54, u'a_p': u'[-2,-1,-2,-4,-2,3,0,-4,-1,-8,-1,6,-3,6,5,10,-5,-7,0,-7,-15,8,0,12]'}, {u'fh': 55, u'a_p': u'[-2,-1,-1,0,-4,-5,0,-6,-4,0,10,5,-10,5,-12,6,12,-14,8,-4,0,-1,-15,-8]'}, {u'fh': 56, u'a_p': u"[-2,-1,'?',5,-2,6,6,2,9,4,-3,0,-7,8,-10,-3,6,-1,'?','?',-4,-4,6,-8]"}, {u'fh': 57, u'a_p': u"[-2,0,-5,'?','?',-6,-1,7,-6,4,3,2,9,-2,'?','?',-1,-7,-14,-4,3,6,-12,-10]"}, {u'fh': 58, u'a_p': u"[-2,0,'?',-5,-3,-6,-2,5,8,-1,1,12,-9,4,2,-3,-13,-12,-8,13,'?','?',1,-14]"}, {u'fh': 59, u'a_p': u"[-2,4,2,'?','?','?','?',1,7,-2,-5,-3,-11,-12,10,-3,-2,8,-13,12,-10,4,10,-14]"}, {u'fh': 60, u'a_p': u"[-2,'?',-5,0,-3,7,-6,'?','?',-8,-7,8,-5,-6,9,-4,-7,6,6,0,-4,8,1,-14]"}, {u'fh': 61, u'a_p': u"[-2,'?',-4,-2,-2,-8,-1,2,-5,4,-3,0,7,1,4,4,-8,-1,9,-12,-11,3,-8,-1]"}, {u'fh': 62, u'a_p': u"[-2,'?',-4,0,-3,-2,-2,-3,6,'?','?',-9,3,1,-3,-9,8,2,6,-6,4,-17,6,15]"}, {u'fh': 63, u'a_p': u"[-2,'?',-2,-6,1,-4,-6,7,-8,'?','?',-1,-1,3,3,9,-14,-2,-8,-10,10,-11,0,1]"}, {u'fh': 64, u'a_p': u"[-2,'?',-2,3,-4,3,-5,-6,-8,9,-9,-3,-4,-13,13,-7,-12,6,8,6,4,-7,9,-2]"}, {u'fh': 65, u'a_p': u"[-2,'?',-1,-6,-3,-5,4,'?','?',2,5,0,-9,4,9,-12,5,-4,-6,12,-2,4,-15,6]"}, {u'fh': 66, u'a_p': u"[-2,'?',0,-5,-6,1,-7,4,8,-7,-5,9,-12,1,-1,11,2,10,0,-2,-6,15,-17,-14]"}, {u'fh': 67, u'a_p': u"[-2,'?',2,-4,-4,2,1,-6,-3,-4,-3,-10,-5,-1,4,0,0,-5,13,6,-1,-3,10,-11]"}, {u'fh': 68, u'a_p': u"[-2,'?',3,5,-2,-8,-1,'?','?',-3,-10,7,0,8,4,-3,-8,13,-12,2,-4,10,6,13]"}, {u'fh': 69, u'a_p': u'[-1,-4,-4,3,-1,-6,-6,-4,6,-10,10,4,2,6,-5,-12,-1,10,-14,-14,-5,6,-10,15]'}, {u'fh': 70, u'a_p': u"[-1,-4,-4,'?','?',6,0,6,2,'?','?',-6,-2,-6,-12,8,2,-12,10,-4,-4,-4,-6,-10]"}, {u'fh': 71, u'a_p': u'[-1,-4,0,0,4,-8,-4,-6,-6,2,0,-2,-12,-2,4,-8,8,4,6,0,10,-16,14,6]'}, {u'fh': 72, u'a_p': u"[-1,-4,2,-4,0,'?','?','?','?',-10,4,-2,-10,-10,4,0,14,8,-12,12,12,16,-2,-10]"}, {u'fh': 73, u'a_p': u"[-1,-3,-5,'?','?',2,-7,-9,0,-4,8,-9,0,'?',-9,9,-1,2,12,6,11,2,9,-6]"}, {u'fh': 74, u'a_p': u'[-1,-3,-4,-4,-3,4,3,0,0,10,-1,-10,-4,5,-5,-2,-1,-6,-15,0,0,-16,15,3]'}, {u'fh': 75, u'a_p': u"[-1,-3,-4,1,1,'?','?',-8,-6,'?','?',1,12,6,1,3,-5,-12,-12,12,-7,12,-9,-15]"}, {u'fh': 76, u'a_p': u'[-1,-3,-2,0,-3,-4,-1,9,0,-7,-1,-9,-3,5,6,3,-7,2,3,0,5,-4,-6,6]'}, {u'fh': 77, u'a_p': u'[-1,-3,-2,3,0,-4,-4,-9,-6,2,2,-3,3,-13,0,12,14,2,-15,-6,5,-16,18,3]'}, {u'fh': 78, u'a_p': u'[-1,-3,-1,0,-4,-3,0,3,-1,-6,-5,-2,9,-5,0,4,-8,4,-9,-3,4,14,5,10]'}, {u'fh': 79, u'a_p': u"[-1,-3,0,'?','?',-2,4,-10,-4,-6,-8,2,10,10,-11,1,'?','?',-12,-14,13,-14,18,3]"}, {u'fh': 80, u'a_p': u'[-1,-3,1,0,-3,-4,2,-6,-3,2,-10,-12,12,-4,0,12,-4,2,-6,-6,-13,5,6,12]'}, {u'fh': 81, u'a_p': u'[-1,-3,4,3,-3,8,2,0,6,-4,2,6,3,-4,6,0,2,8,9,12,2,-4,-6,-15]'}, {u'fh': 82, u'a_p': u"[-1,-3,'?',-6,3,-4,5,-6,-6,-10,-1,-3,6,-4,6,-3,2,2,9,0,2,-7,-18,0]"}, {u'fh': 83, u'a_p': u"[-1,-3,'?',-3,-5,3,-6,-5,6,-1,7,2,-10,-5,-6,-14,'?','?',13,16,8,-14,-2,13]"}, {u'fh': 84, u'a_p': u"[-1,-3,'?',-2,-4,2,1,-2,-9,1,-1,0,0,-6,'?','?',0,-11,7,-2,15,0,-12,15]"}, {u'fh': 85, u'a_p': u"[-1,-2,-6,'?','?',4,-4,-2,-6,4,-8,-2,2,10,'?','?',-2,-10,8,8,12,-8,2,-2]"}, {u'fh': 86, u'a_p': u'[-1,-2,-4,-4,-2,0,0,10,2,2,0,-2,-8,-4,-4,2,0,6,-6,-8,8,-4,6,2]'}, {u'fh': 87, u'a_p': u"[-1,-2,-4,'?','?',-4,-6,2,-6,0,4,-2,0,4,4,-8,-10,-8,0,10,'?','?',-2,6]"}, {u'fh': 88, u'a_p': u"[-1,-2,-2,-4,-4,'?','?','?','?',8,0,2,2,2,-4,0,-6,-2,-12,-8,-4,-8,10,-10]"}, {u'fh': 89, u'a_p': u"[-1,-2,-2,2,-4,0,-2,'?','?',-4,-2,0,-12,6,-12,12,-8,0,0,0,-4,6,6,14]"}, {u'fh': 90, u'a_p': u"[-1,-2,-2,3,-5,'?','?',0,-6,3,0,'?','?',-5,2,-6,-8,-2,1,6,-10,1,-3,10]"}, {u'fh': 91, u'a_p': u"[-1,-2,-2,'?','?',-2,2,-4,2,-4,-8,6,-6,2,4,6,8,-2,'?','?',-2,-10,2,-2]"}, {u'fh': 92, u'a_p': u'[-1,-2,-1,-5,-2,-3,1,-3,0,3,7,-6,-3,8,0,-3,-2,0,-1,-6,6,-4,1,-9]'}, {u'fh': 93, u'a_p': u'[-1,-2,1,-1,-6,0,-7,-1,4,10,2,-6,-8,-12,4,6,5,-8,14,-4,-17,-8,6,12]'}, {u'fh': 94, u'a_p': u"[-1,-2,'?',-2,-2,-2,0,-6,2,0,-2,-10,6,6,-6,0,6,-6,-8,-12,10,14,'?','?']"}, {u'fh': 95, u'a_p': u"[-1,-1,-4,'?','?',6,-8,6,0,10,-4,2,-10,6,7,5,'?','?',-12,-14,-3,10,2,-1]"}, {u'fh': 96, u'a_p': u'[-1,-1,-3,1,-4,4,-3,8,-8,-2,-8,6,-9,2,4,-8,2,-1,6,-1,-4,3,0,7]'}, {u'fh': 97, u'a_p': u'[-1,-1,0,-4,-6,-1,-6,9,0,9,-1,3,7,-10,6,-6,-11,10,-13,6,4,-8,4,-10]'}, {u'fh': 98, u'a_p': u"[-1,-1,'?',2,3,3,7,2,9,4,-1,-12,5,2,4,10,1,-10,0,14,0,-4,-6,3]"}, {u'fh': 99, u'a_p': u'[-1,0,-5,-6,3,-4,-4,-6,6,5,8,-6,0,5,9,-6,11,-10,9,-12,-4,-16,-6,15]'}, {u'fh': 100, u'a_p': u'[-1,0,-5,-3,-3,5,-4,3,0,-7,2,0,12,-4,-3,-12,5,2,6,6,-4,11,-18,-6]'}, {u'fh': 101, u'a_p': u"[-1,0,-4,-2,-4,0,-2,'?','?','?','?',10,-2,-10,-12,-4,0,10,12,-6,4,-4,6,2]"}, {u'fh': 102, u'a_p': u"[-1,0,-2,0,0,2,-4,6,-6,2,8,6,12,-4,-12,6,-4,-10,'?','?',14,-4,6,18]"}, {u'fh': 103, u'a_p': u"[-1,0,1,'?','?',8,5,0,-3,8,8,-3,-6,-4,'?','?',-4,-10,-15,-3,-1,8,-12,-9]"}, {u'fh': 104, u'a_p': u"[-1,0,4,0,-6,2,-4,6,6,-4,-4,6,0,-4,0,12,-4,14,12,0,2,-16,'?','?']"}, {u'fh': 105, u'a_p': u'[-1,0,4,3,-3,-1,8,-9,-3,-10,-7,6,3,5,0,12,2,-13,0,6,8,8,0,-12]'}, {u'fh': 106, u'a_p': u"[-1,0,4,'?','?','?','?',6,-6,-4,-4,-12,0,8,-12,6,2,-4,-6,0,-16,8,6,6]"}, {u'fh': 107, u'a_p': u"[-1,0,'?',0,0,-4,-4,0,0,8,8,0,0,14,0,0,2,2,0,0,-16,-16,0,0]"}, {u'fh': 108, u'a_p': u"[-1,0,'?',0,6,'?','?',0,-6,-4,-4,12,-6,-10,6,-6,14,2,6,-6,8,-4,12,6]"}, {u'fh': 109, u'a_p': u'[-1,2,2,-4,6,6,-4,-2,2,2,0,-8,0,8,12,6,6,-8,-14,-8,2,-16,6,-2]'}, {u'fh': 110, u'a_p': u"[-1,2,2,0,4,'?','?',2,0,-2,-6,'?','?',8,12,0,10,6,0,-2,-10,16,-2,-6]"}, {u'fh': 111, u'a_p': u'[-1,2,2,5,-3,0,2,1,2,-1,-3,-5,6,11,3,-12,-12,1,7,-2,5,11,-15,-2]'}, {u'fh': 112, u'a_p': u"[-1,2,2,'?','?',0,-4,10,6,0,0,-10,6,-10,'?','?',-10,-14,-12,0,0,12,10,6]"}, {u'fh': 113, u'a_p': u"[-1,2,'?',-2,2,4,0,6,0,'?','?',0,-12,-2,-4,10,-14,-6,8,10,-8,-8,12,-6]"}, {u'fh': 114, u'a_p': u"[-1,2,'?',2,0,8,4,0,6,4,-8,-8,0,-10,4,-14,'?','?',-12,6,8,-4,-2,-12]"}, {u'fh': 115, u'a_p': u'[-1,3,-2,6,0,-4,-1,-3,-3,-1,5,-6,12,5,6,-3,2,-1,-12,-12,-10,2,-15,-12]'}, {u'fh': 116, u'a_p': u'[-1,3,1,0,-3,-1,5,-6,3,-10,2,6,0,5,3,-9,2,-10,-6,-6,-16,8,3,6]'}, {u'fh': 117, u'a_p': u"[-1,3,1,'?','?',5,2,-6,-6,8,-4,'?','?',-4,-6,-9,14,5,12,-6,-10,-13,0,9]"}, {u'fh': 118, u'a_p': u"[-1,3,4,-3,3,'?','?',0,6,'?','?',9,0,-10,-3,15,-13,-4,12,0,5,-4,-9,-9]"}, {u'fh': 119, u'a_p': u'[-1,3,4,0,3,-1,-7,0,-6,-10,2,-3,9,14,0,-15,5,8,0,12,-10,-1,-3,-6]'}, {u'fh': 120, u'a_p': u"[-1,3,'?',6,-3,-4,5,6,6,-10,-1,3,-6,-4,-6,3,2,2,-9,0,2,-7,18,0]"}, {u'fh': 121, u'a_p': u"[-1,4,2,'?','?',0,-4,-2,2,-10,-8,2,4,8,'?','?',0,-8,6,0,-10,-8,14,10]"}, {u'fh': 122, u'a_p': u"[-1,4,'?',0,0,6,0,-6,6,-2,0,-10,0,-4,4,-2,-12,-2,'?','?',-14,16,-2,10]"}, {u'fh': 123, u'a_p': u"[-1,'?',-5,-3,0,-1,-7,3,3,-1,2,6,3,-4,-12,-6,-7,8,0,0,8,-10,6,-6]"}, {u'fh': 124, u'a_p': u"[-1,'?',-4,-4,-6,0,4,0,0,-10,2,-2,-2,10,-8,4,2,2,-6,12,4,-12,12,4]"}, {u'fh': 125, u'a_p': u"[-1,'?',-2,-3,-6,5,2,-9,3,-7,-4,6,-3,-4,0,6,8,-1,-12,6,11,5,12,-6]"}, {u'fh': 126, u'a_p': u"[-1,'?',-2,0,0,'?','?',-6,6,-4,8,-6,-6,2,12,12,-10,14,12,0,-16,8,6,-6]"}, {u'fh': 127, u'a_p': u"[-1,'?',-2,4,4,-4,4,6,-2,4,4,-6,2,2,-4,-4,-2,-2,-4,-12,-8,8,-2,6]"}, {u'fh': 128, u'a_p': u"[-1,'?',-2,6,0,8,2,-6,-6,-4,8,6,6,-10,0,6,-10,-10,6,-6,8,-10,-6,-6]"}, {u'fh': 129, u'a_p': u"[-1,'?',-2,'?','?',8,-4,-6,6,8,-4,-6,6,14,-12,0,-10,2,0,0,-4,8,-18,6]"}, {u'fh': 130, u'a_p': u"[-1,'?',-1,-6,-5,-6,2,9,4,4,-8,7,3,2,-12,15,-6,-2,-7,-1,-11,-11,-4,8]"}, {u'fh': 131, u'a_p': u"[-1,'?',2,0,0,4,4,10,2,-4,0,2,-6,-2,-12,4,6,-2,8,-12,8,0,-6,6]"}, {u'fh': 132, u'a_p': u"[-1,'?',2,0,4,4,0,2,2,'?','?',2,2,6,12,-12,10,-2,16,-4,8,-16,-18,-10]"}, {u'fh': 133, u'a_p': u"[-1,'?',4,6,0,-4,-4,0,-6,2,2,'?','?',-4,-12,12,-10,2,6,-12,8,-4,-6,0]"}, {u'fh': 134, u'a_p': u"[-1,'?',6,4,-4,4,-4,'?','?',8,0,-6,10,-2,12,-4,-2,-2,-16,0,-16,-8,-10,6]"}, {u'fh': 135, u'a_p': u"[-1,'?','?',-4,-4,'?','?',-2,2,0,-8,-2,-6,6,4,-8,2,10,-16,4,8,-8,2,6]"}, {u'fh': 136, u'a_p': u"[0,-4,5,-3,-3,0,0,5,5,2,2,2,2,'?',-10,-10,-8,-8,-8,-8,5,5,0,0]"}, {u'fh': 137, u'a_p': u"[0,-2,-5,-1,-1,'?','?',3,-3,-2,-10,0,0,'?',-10,12,2,-4,-4,0,3,-11,0,6]"}, {u'fh': 138, u'a_p': u"[0,-2,-1,-4,-2,-1,-5,10,-8,'?','?',9,-3,2,5,-3,-2,-6,3,7,-14,12,0,-14]"}, {u'fh': 139, u'a_p': u"[0,-1,-5,-4,-1,5,-5,-5,5,'?','?',9,-6,5,0,5,-9,-11,-4,3,0,-5,5,15]"}, {u'fh': 140, u'a_p': u"[0,1,-5,'?','?',0,0,0,0,7,7,-8,-8,-10,5,5,12,12,-3,-3,-10,-10,15,15]"}, {u'fh': 141, u'a_p': u'[0,1,0,2,-3,5,0,0,0,-8,2,-8,-3,5,-5,10,2,7,-3,2,10,-10,0,-10]'}, {u'fh': 142, u'a_p': u"[0,1,5,4,-1,-5,5,-5,-5,'?','?',9,-6,5,0,5,9,-11,4,-3,0,-5,-5,15]"}, {u'fh': 143, u'a_p': u'[0,4,2,0,0,-8,-8,5,5,-5,-5,-7,-7,13,-3,-3,-6,-6,13,13,14,14,14,14]'}, {u'fh': 144, u'a_p': u"[0,'?',1,5,-6,7,8,-6,0,2,-8,0,-9,9,5,-14,-5,0,-1,13,-6,-8,-1,-18]"}, {u'fh': 145, u'a_p': u"[0,'?',5,-3,2,-5,0,10,0,2,-8,-8,7,5,-15,10,-13,-8,7,-3,10,0,-5,-10]"}, {u'fh': 146, u'a_p': u"[0,'?','?',2,2,-5,-5,10,10,-3,-3,-8,-8,-5,-10,-10,7,7,-8,-8,0,0,0,0]"}, {u'fh': 147, u'a_p': u"[0,'?','?',2,2,5,5,-10,-10,-3,-3,-8,-8,5,10,10,7,7,-8,-8,0,0,0,0]"}, {u'fh': 148, u'a_p': u'[1,-4,-4,-3,-1,1,0,-6,-4,6,-5,-4,2,2,-9,6,3,13,-7,-1,-6,-10,15,4]'}, {u'fh': 149, u'a_p': u"[1,-2,-2,0,-4,4,8,6,-2,-8,0,2,-2,-2,-4,4,14,10,-16,12,'?','?',-14,18]"}, {u'fh': 150, u'a_p': u'[1,-2,2,0,4,4,0,6,-2,0,4,10,-2,2,0,-12,-6,-14,-8,4,0,8,-6,2]'}, {u'fh': 151, u'a_p': u'[1,-2,2,4,0,4,-4,-2,6,-4,-8,-6,-2,6,-4,-4,-2,-10,16,0,8,0,-6,2]'}, {u'fh': 152, u'a_p': u"[1,-2,2,'?','?','?','?',-2,-2,-8,-8,-6,10,-6,4,12,-2,-10,8,0,8,-8,10,10]"}, {u'fh': 153, u'a_p': u"[1,-2,'?',4,0,8,4,-2,-10,4,-4,'?','?',2,0,-8,-10,-10,-8,12,16,-12,10,-6]"}, {u'fh': 154, u'a_p': u"[1,-2,'?','?','?',-4,4,-2,6,8,-8,2,-6,2,12,12,-2,-2,-8,8,8,16,-14,2]"}, {u'fh': 155, u'a_p': u'[1,0,-2,2,2,6,5,-3,1,-5,4,-12,7,-8,12,9,-6,-7,6,-12,2,-17,-16,2]'}, {u'fh': 156, u'a_p': u'[1,0,0,-5,3,1,-4,7,5,2,1,-6,-3,-5,8,-4,-10,-11,12,10,12,0,4,4]'}, {u'fh': 157, u'a_p': u'[1,0,4,4,0,-4,-4,-2,2,-6,8,-2,12,-8,-4,0,10,-6,-8,0,10,16,6,-18]'}, {u'fh': 158, u'a_p': u"[1,0,4,4,0,-2,0,'?','?','?','?',-10,6,10,0,8,2,4,-10,2,0,6,-2,2]"}, {u'fh': 159, u'a_p': u'[1,1,-1,-5,3,-2,5,-2,0,-4,1,9,-2,-6,11,14,-14,5,-8,-6,2,-3,9,-4]'}, {u'fh': 160, u'a_p': u'[1,2,-2,-4,4,-8,-4,-2,6,8,8,6,-10,2,-4,8,10,-14,-8,0,12,16,2,-14]'}, {u'fh': 161, u'a_p': u"[1,2,-2,'?','?','?','?',-2,6,0,0,6,6,6,4,8,-2,-6,-12,0,8,-16,10,18]"}, {u'fh': 162, u'a_p': u'[1,2,2,-4,0,4,-4,-2,-2,4,0,-6,2,-10,4,8,2,-6,8,8,0,8,10,2]'}, {u'fh': 163, u'a_p': u'[1,2,2,-2,0,-4,2,-6,-6,8,-8,4,6,10,2,12,-8,-12,12,-10,16,0,-10,-10]'}, {u'fh': 164, u'a_p': u"[1,2,2,'?','?',2,-6,2,-6,10,-8,-10,4,'?',14,0,2,0,0,8,12,4,-4,-16]"}, {u'fh': 165, u'a_p': u"[1,2,2,'?','?',4,8,6,-2,-8,-4,-2,10,-2,0,-12,-2,2,'?','?',8,4,-6,-6]"}, {u'fh': 166, u'a_p': u"[1,2,'?',-4,4,0,0,2,-6,4,0,-6,-10,2,-4,12,6,14,'?','?',-4,-4,-6,-14]"}, {u'fh': 167, u'a_p': u"[1,2,'?',0,-4,-4,8,-2,-10,'?','?',-6,10,10,4,4,-14,14,0,-4,8,0,-6,10]"}, {u'fh': 168, u'a_p': u"[1,2,'?',4,-4,-8,0,6,-10,4,-4,6,6,'?',-4,12,6,-10,0,-8,-8,8,6,6]"}, {u'fh': 169, u'a_p': u"[1,2,'?',4,-4,0,-4,2,6,-4,-8,'?','?',6,0,4,-6,10,0,-12,-8,8,2,-2]"}, {u'fh': 170, u'a_p': u"[1,2,'?','?','?',-4,4,2,-6,8,-8,-2,6,2,-12,-12,-2,-2,8,-8,8,16,14,-2]"}, {u'fh': 171, u'a_p': u'[1,4,-4,4,-2,0,4,-10,2,-4,0,6,-8,8,-4,0,12,4,-12,0,4,-8,-2,-14]'}, {u'fh': 172, u'a_p': u"[1,'?',-6,-4,4,4,-4,'?','?',0,8,10,-6,2,4,-12,-2,-2,0,-16,8,16,-6,10]"}, {u'fh': 173, u'a_p': u"[1,'?',-2,0,4,-4,0,-2,-2,'?','?',2,2,-6,-12,12,10,-2,16,-4,-8,16,18,10]"}, {u'fh': 174, u'a_p': u"[1,'?',-2,4,4,4,-4,-2,6,8,4,-6,-2,-10,0,-4,14,-6,-8,-12,8,-4,-6,10]"}, {u'fh': 175, u'a_p': u"[1,'?',-2,'?','?',4,8,6,6,4,-8,-6,-6,-14,0,-12,-2,-10,0,0,-8,-4,-6,18]"}, {u'fh': 176, u'a_p': u"[1,'?',2,-4,-4,4,-4,6,-2,0,0,'?','?',10,4,-12,-2,14,-8,8,-8,0,-6,18]"}, {u'fh': 177, u'a_p': u"[1,'?',2,-4,0,0,0,-2,6,-8,-4,2,2,2,4,0,'?','?',-4,0,8,-4,-6,10]"}, {u'fh': 178, u'a_p': u"[1,'?',2,0,0,-8,4,-10,-2,0,4,10,2,-6,0,4,14,-2,-16,8,-12,-4,'?','?']"}, {u'fh': 179, u'a_p': u"[1,'?',2,0,0,'?','?',6,-6,-4,8,-6,-6,-2,-12,-12,-10,14,12,0,16,-8,-6,6]"}, {u'fh': 180, u'a_p': u"[1,'?',2,2,0,0,6,2,2,-4,-8,-2,2,2,0,6,2,2,-10,-2,-8,-14,2,-6]"}, {u'fh': 181, u'a_p': u"[1,'?',2,'?','?',-4,4,-2,6,-8,0,-6,2,2,-4,4,-2,6,-8,-8,8,0,-6,10]"}, {u'fh': 182, u'a_p': u"[1,'?',2,'?','?',4,-8,-6,6,-4,8,6,-6,-14,0,12,2,-10,0,0,-8,4,-6,18]"}, {u'fh': 183, u'a_p': u"[1,'?',4,-2,2,0,0,-4,6,0,-4,2,-6,4,12,4,-14,-10,4,-6,'?','?',0,0]"}, {u'fh': 184, u'a_p': u"[1,'?','?',-4,4,'?','?',-2,6,8,0,-6,-6,10,-12,-4,-10,-10,0,0,8,-8,10,2]"}, {u'fh': 185, u'a_p': u"[1,'?','?',2,0,'?','?',10,0,-6,-8,-2,6,-4,-2,4,0,-8,-4,0,4,-4,-6,4]"}, {u'fh': 186, u'a_p': u"[1,'?','?',4,0,'?','?',-6,-2,0,8,-2,2,2,-8,0,14,-2,-12,12,-8,-8,-10,-6]"}, {u'fh': 187, u'a_p': u"[1,'?','?','?','?',-4,-4,-2,-2,0,0,10,-6,2,-4,12,-2,-2,16,0,-8,-8,-6,-6]"}, {u'fh': 188, u'a_p': u"[2,-3,1,3,3,'?','?',-6,3,5,-7,-3,-3,2,-3,-12,5,14,-9,0,-4,5,-9,-18]"}, {u'fh': 189, u'a_p': u'[2,-3,1,6,0,-4,2,3,6,-7,-4,-6,-6,-4,9,6,-10,11,0,-3,-4,-10,-3,-12]'}, {u'fh': 190, u'a_p': u'[2,-3,4,6,0,-4,-4,-3,-6,8,5,9,3,-4,9,6,2,-7,-15,0,-1,-10,15,-6]'}, {u'fh': 191, u'a_p': u'[2,0,-5,0,6,-1,5,9,-9,2,-4,9,-9,-4,-12,-12,-4,8,3,-6,-1,-4,15,-6]'}, {u'fh': 192, u'a_p': u'[2,0,-2,3,0,-4,5,0,3,-7,2,-12,6,14,3,-3,-13,-1,-3,-6,-4,8,-3,-3]'}, {u'fh': 193, u'a_p': u"[2,0,-2,'?','?','?','?',9,9,-10,5,3,-3,8,-6,-3,2,-4,3,0,2,8,6,6]"}, {u'fh': 194, u'a_p': u"[2,0,'?',0,0,-1,8,0,0,11,-7,0,0,-13,0,0,14,-13,0,0,-4,-13,0,0]"}, {u'fh': 195, u'a_p': u"[2,1,'?',3,0,-6,0,6,3,-2,-3,2,-9,2,10,-5,-6,-5,'?','?',10,4,10,-2]"}, {u'fh': 196, u'a_p': u'[2,2,4,-5,-3,-2,1,9,6,-6,-8,-5,-6,-5,-8,14,-10,15,-10,6,8,13,-9,5]'}, {u'fh': 197, u'a_p': u'[2,3,-5,0,0,-1,2,0,6,-4,8,-3,-6,5,0,0,-10,-4,-12,-6,-10,-1,9,6]'}, {u'fh': 198, u'a_p': u"[2,3,-3,-6,6,-1,-4,8,8,'?','?',9,-6,-3,-13,-4,-4,8,-8,-5,10,-14,-10,14]"}, {u'fh': 199, u'a_p': u"[2,3,-2,-6,3,'?','?',0,3,8,-4,'?','?',-4,-9,0,-10,-10,0,15,5,2,-9,12]"}, {u'fh': 200, u'a_p': u"[2,'?',-3,-2,5,1,8,'?','?',-10,-3,0,7,-8,3,-4,13,-8,2,-12,-10,4,-13,-6]"}, {u'fh': 201, u'a_p': u"[2,'?',-2,3,0,5,5,6,0,-7,-1,-3,0,5,3,-9,-4,2,0,-6,8,-1,-9,-6]"}, {u'fh': 202, u'a_p': u"[2,'?',1,-3,-6,-4,5,'?','?',5,2,-9,0,-4,12,-9,-4,5,12,-6,-4,2,-6,15]"}, {u'fh': 203, u'a_p': u"[2,'?',2,-6,1,4,6,-7,8,'?','?',-1,-1,-3,-3,-9,-14,-2,-8,-10,-10,11,0,-1]"}, {u'fh': 204, u'a_p': u"[2,'?',4,0,-3,2,2,3,-6,'?','?',-9,3,-1,3,9,8,2,6,-6,-4,17,-6,-15]"}, {u'fh': 205, u'a_p': u"[2,'?',5,0,-3,-7,6,'?','?',-8,-7,8,-5,6,-9,4,-7,6,6,0,4,-8,-1,14]"}, {u'fh': 206, u'a_p': u"[3,-4,1,'?','?',4,7,-8,-3,0,-4,5,-2,-8,'?','?',-4,2,11,-1,-11,-8,-12,-1]"}, {u'fh': 207, u'a_p': u"[3,-2,-1,5,-2,'?','?',-2,-5,'?','?',-3,-6,11,2,9,-8,-6,0,-5,7,3,-18,-14]"}, {u'fh': 208, u'a_p': u'[3,-2,0,-4,0,-4,0,6,-6,10,-4,4,-6,2,4,-2,14,-14,-12,8,10,8,6,14]'}, {u'fh': 209, u'a_p': u"[3,-2,4,'?','?',4,6,2,0,-10,4,'?','?',-10,0,4,-14,-4,-8,2,14,-8,12,10]"}, {u'fh': 210, u'a_p': u"[3,-2,6,-4,-4,'?','?',6,6,-4,-4,-10,-10,10,0,0,2,2,4,4,-4,-4,2,2]"}, {u'fh': 211, u'a_p': u"[3,-2,'?',-2,2,4,-4,-2,4,'?','?',0,-12,-10,12,2,6,10,-8,-6,0,-8,-8,18]"}, {u'fh': 212, u'a_p': u"[3,-1,-1,'?','?',-6,3,-1,8,-4,-4,5,-4,'?',5,-1,-11,-2,-8,10,-13,14,-9,6]"}, {u'fh': 213, u'a_p': u"[3,-1,1,'?','?',1,-6,2,-6,0,4,'?','?',4,2,-1,6,-3,-12,-6,14,11,-16,-3]"}, {u'fh': 214, u'a_p': u"[3,-1,'?',3,-3,7,-2,1,-6,-5,3,6,-2,3,-14,6,'?','?',-5,-8,0,14,-10,-1]"}, {u'fh': 215, u'a_p': u"[3,0,4,-4,2,2,-8,'?','?','?','?',2,-2,-2,12,-4,-10,-4,10,-4,8,-4,-6,14]"}, {u'fh': 216, u'a_p': u"[3,0,4,'?','?',-2,4,-2,-10,-4,0,-10,0,4,-4,-4,12,6,4,8,14,4,'?','?']"}, {u'fh': 217, u'a_p': u'[3,2,-4,4,-4,0,0,2,-2,-8,6,0,-2,8,10,0,0,-4,0,-12,-4,-12,14,-10]'}, {u'fh': 218, u'a_p': u"[3,2,-1,'?','?',-5,2,1,-1,8,-4,-2,0,6,-3,0,-5,-10,8,3,4,4,'?','?']"}, {u'fh': 219, u'a_p': u"[3,2,'?',-6,-6,6,6,2,2,-10,-10,2,2,'?',8,8,-2,-2,10,10,-4,-4,-6,-6]"}, {u'fh': 220, u'a_p': u"[3,2,'?',-6,0,-8,4,-8,6,4,0,0,-8,6,4,-6,'?','?',4,-2,0,-4,14,-4]"}, {u'fh': 221, u'a_p': u"[3,'?',-4,-2,0,-4,4,-8,-6,10,-6,'?','?',4,12,4,6,2,-2,4,-16,-4,-6,-8]"}, {u'fh': 222, u'a_p': u"[3,'?',-4,'?','?',0,-2,-6,6,-6,0,6,-6,-6,6,0,-6,10,0,-12,0,-10,6,-6]"}, {u'fh': 223, u'a_p': u"[3,'?',-2,-4,0,4,-4,-6,6,-4,4,-6,-6,6,-4,4,-2,6,-16,-8,0,-8,14,18]"}, {u'fh': 224, u'a_p': u"[3,'?',-2,4,-4,-4,4,2,2,'?','?',-6,-6,-2,-12,4,6,-2,-8,0,0,-16,-10,6]"}, {u'fh': 225, u'a_p': u"[3,'?',-2,4,-4,4,4,2,-10,4,0,-2,6,-2,-12,-12,-10,6,-8,-8,-8,-4,2,10]"}, {u'fh': 226, u'a_p': u"[3,'?',2,-2,-6,'?','?',-10,4,2,-4,-2,-2,-4,-4,12,-2,-6,-10,12,8,0,-2,-8]"}, {u'fh': 227, u'a_p': u"[3,'?','?',-4,-4,-4,-4,2,2,0,0,10,10,14,4,4,-2,-2,-8,-8,0,0,6,6]"}, {u'fh': 228, u'a_p': u"[3,'?','?',2,-4,'?','?',-2,-8,-6,0,-2,-2,4,14,-4,4,4,-8,-8,12,12,6,-12]"}, {u'fh': 229, u'a_p': u"[3,'?','?','?','?',0,4,2,-2,-8,4,2,-10,-2,4,0,-10,-6,0,-8,4,-16,-10,14]"}, {u'fh': 230, u'a_p': u"['?',-4,-5,-3,-3,0,-5,10,0,-8,7,-8,-3,10,0,0,-3,7,-13,-3,0,-15,10,-15]"}, {u'fh': 231, u'a_p': u"['?',-4,-4,-5,-1,5,0,-5,-7,-2,-11,-2,9,-1,-12,12,-10,5,0,6,4,4,-8,0]"}, {u'fh': 232, u'a_p': u"['?',-4,-4,-2,-4,4,-4,'?','?',0,4,0,2,-2,-2,-8,10,-12,4,-6,-8,10,-2,-10]"}, {u'fh': 233, u'a_p': u"['?',-4,-3,3,3,8,8,1,1,-2,-2,-6,-6,'?',10,10,0,0,0,0,7,7,-8,-8]"}, {u'fh': 234, u'a_p': u"['?',-4,-2,-6,-2,-2,4,8,-6,0,0,-6,-6,-10,10,8,12,-10,0,-16,-4,0,'?','?']"}, {u'fh': 235, u'a_p': u"['?',-4,-2,-2,-4,-8,0,-10,2,0,4,-4,6,12,6,0,-12,-2,0,6,-8,2,-6,-18]"}, {u'fh': 236, u'a_p': u"['?',-4,-2,'?','?',-6,-4,-6,-6,10,-4,-12,2,-4,4,0,4,-2,12,0,14,0,14,-18]"}, {u'fh': 237, u'a_p': u"['?',-4,5,'?','?',5,5,-5,-5,7,7,-8,-8,5,0,0,-13,-13,-3,-3,0,0,15,15]"}, {u'fh': 238, u'a_p': u"['?',-4,'?',2,2,0,0,0,0,-8,-8,2,2,10,-10,-10,2,2,12,12,0,0,10,10]"}, {u'fh': 239, u'a_p': u"['?',-3,-5,6,6,2,2,6,6,-4,-4,0,0,-13,-6,-6,8,8,-3,-3,8,8,-6,-6]"}, {u'fh': 240, u'a_p': u"['?',-3,-5,'?','?',-8,-4,3,-3,4,4,6,-9,1,0,12,1,-13,-12,0,-8,-4,-3,6]"}, {u'fh': 241, u'a_p': u"['?',-3,-5,'?','?','?','?',8,-7,5,-5,-10,-4,2,-4,-10,-2,-6,1,12,11,11,3,0]"}, {u'fh': 242, u'a_p': u"['?',-3,-4,-6,-1,1,-1,0,1,0,9,0,5,-6,-8,-14,-7,-12,-10,16,10,-12,-4,-7]"}, {u'fh': 243, u'a_p': u"['?',-3,-4,-4,0,-6,-2,7,1,-5,-7,12,-2,-1,-13,-4,-8,4,-12,14,-10,11,1,12]"}, {u'fh': 244, u'a_p': u"['?',-3,-2,-3,-2,-6,4,-6,-7,-3,5,-5,2,4,-4,3,12,2,-6,2,-8,11,13,-9]"}, {u'fh': 245, u'a_p': u"['?',-3,-1,-5,-5,2,-3,-6,0,4,-3,9,-6,-10,-5,6,10,-7,12,-6,6,1,-7,8]"}, {u'fh': 246, u'a_p': u"['?',-3,1,3,-6,'?','?',3,-6,5,5,6,6,-4,-12,6,8,8,0,-9,-1,-1,0,9]"}, {u'fh': 247, u'a_p': u"['?',-3,1,'?','?','?','?',-8,-5,-7,-3,2,-12,10,0,14,-6,10,5,-12,-9,13,-13,-16]"}, {u'fh': 248, u'a_p': u"['?',-3,4,0,0,2,2,-3,3,5,5,0,-6,5,-3,0,8,8,0,-6,-10,-1,-15,0]"}, {u'fh': 249, u'a_p': u"['?',-2,-6,'?','?',4,-4,-2,6,-8,0,10,-6,2,-12,-4,6,14,-8,0,8,-8,-6,-6]"}, {u'fh': 250, u'a_p': u"['?',-2,-4,-4,0,0,-4,-4,4,4,-6,2,0,-12,-4,10,-2,10,8,2,-8,-10,-6,14]"}, {u'fh': 251, u'a_p': u"['?',-2,-3,-1,-6,-5,1,7,7,-9,-4,-2,11,4,-6,0,-5,-2,-12,6,0,0,-6,-4]"}, {u'fh': 252, u'a_p': u"['?',-2,-2,0,-6,6,-8,10,-6,-4,-6,0,-4,-10,8,2,2,-10,8,6,8,16,6,-2]"}, {u'fh': 253, u'a_p': u"['?',-2,-2,'?','?','?','?',2,2,-8,0,-10,-10,6,12,-8,-14,6,16,-8,8,0,6,18]"}, {u'fh': 254, u'a_p': u"['?',-2,-1,-5,-5,-2,5,-8,-6,10,-7,2,9,6,10,-10,-11,-1,1,-13,8,11,4,9]"}, {u'fh': 255, u'a_p': u"['?',-2,0,-1,6,4,2,9,-4,-5,-11,-2,3,-4,6,-5,-6,1,-16,-12,-8,6,12,9]"}, {u'fh': 256, u'a_p': u"['?',-2,2,-4,-4,4,4,-2,-2,0,0,2,2,10,12,12,-10,-10,8,8,-16,-16,-6,-6]"}, {u'fh': 257, u'a_p': u"['?',-2,2,4,4,-4,-4,-2,-2,0,0,2,2,10,-12,-12,-10,-10,-8,-8,16,16,-6,-6]"}, {u'fh': 258, u'a_p': u"['?',-2,4,0,2,'?','?',-10,2,-2,0,-10,-4,-6,-12,10,4,0,-2,-8,14,0,6,6]"}, {u'fh': 259, u'a_p': u"['?',-2,'?',-6,-4,'?','?',-10,8,4,0,8,-10,6,0,4,10,-6,-2,-14,-4,-12,12,-18]"}, {u'fh': 260, u'a_p': u"['?',-2,'?',4,4,-4,-4,6,6,8,8,-6,-6,-14,4,4,-2,-2,8,8,-8,-8,-6,-6]"}, {u'fh': 261, u'a_p': u"['?',-2,'?','?','?',4,4,6,-10,0,0,-6,-6,-14,-12,4,-2,14,-8,8,0,-16,-6,-6]"}, {u'fh': 262, u'a_p': u"['?',-1,-4,-2,5,-8,-1,'?','?',-3,4,0,-7,1,4,4,-8,6,16,9,10,-11,-8,-1]"}, {u'fh': 263, u'a_p': u"['?',-1,-2,-2,-2,-6,-4,-3,-1,5,-1,-4,6,-1,7,6,2,2,4,0,-16,1,-15,-6]"}, {u'fh': 264, u'a_p': u"['?',-1,-1,-3,-3,-4,-5,4,4,-8,1,-3,0,8,5,-6,6,-1,-10,-2,8,-3,9,-10]"}, {u'fh': 265, u'a_p': u"['?',-1,3,-2,-2,6,6,2,2,4,4,0,0,-13,-10,-10,-8,-8,-5,-5,-4,-4,6,6]"}, {u'fh': 266, u'a_p': u"['?',0,-5,-4,-2,1,-1,2,-1,-4,-1,-2,-5,6,14,3,-6,-8,-5,-8,-4,6,3,14]"}, {u'fh': 267, u'a_p': u"['?',0,-2,-6,0,2,2,6,0,'?','?',-6,6,14,-12,0,8,-10,0,-12,8,8,-6,6]"}, {u'fh': 268, u'a_p': u"['?',0,-2,0,0,2,2,-6,-6,-4,-4,6,6,'?',-6,-6,8,8,0,0,8,8,-6,-6]"}, {u'fh': 269, u'a_p': u"['?',0,-2,'?','?',2,-4,-6,-6,2,-4,0,-6,8,12,0,8,-10,12,0,-10,8,6,6]"}, {u'fh': 270, u'a_p': u"['?',0,-2,'?','?',6,4,10,2,-2,4,0,-6,-8,4,-8,-8,-10,4,-8,10,0,6,-10]"}, {u'fh': 271, u'a_p': u"['?',0,1,0,-3,2,2,-9,0,5,-4,0,-6,-4,3,6,'?','?',6,-3,8,-1,-3,12]"}, {u'fh': 272, u'a_p': u"['?',0,1,3,0,2,-7,9,6,-4,-4,0,-6,5,-6,-9,-1,8,3,-9,17,-1,-3,6]"}, {u'fh': 273, u'a_p': u"['?',0,1,'?','?',-1,5,3,-3,5,-7,0,0,-1,-12,0,-7,-1,9,-3,-4,8,9,-15]"}, {u'fh': 274, u'a_p': u"['?',0,2,-2,4,2,6,0,4,-8,-8,-10,-6,-2,0,2,8,-10,'?','?',4,12,-6,-10]"}, {u'fh': 275, u'a_p': u"['?',0,4,0,0,2,-4,'?','?',-10,8,0,6,2,-12,6,-10,8,-6,-12,-4,8,-18,-6]"}, {u'fh': 276, u'a_p': u"['?',0,4,'?','?','?','?',-6,6,-4,-4,0,0,-4,12,6,-10,8,6,0,8,8,-6,-18]"}, {u'fh': 277, u'a_p': u"['?',0,5,-4,3,6,-6,9,-8,-3,0,0,-10,8,1,-10,'?','?',-10,-7,8,-13,13,-4]"}, {u'fh': 278, u'a_p': u"['?',0,'?',-2,6,8,0,-4,-4,0,8,-6,10,-6,-6,2,10,-6,-12,-12,0,-8,-6,10]"}, {u'fh': 279, u'a_p': u"['?',0,'?',4,-2,'?','?',8,6,-4,4,0,2,-2,-2,2,-10,-14,-14,6,0,4,0,-2]"}, {u'fh': 280, u'a_p': u"['?',1,-5,-3,2,'?','?',5,-10,7,-3,2,2,0,0,10,-8,12,-8,7,5,15,0,-15]"}, {u'fh': 281, u'a_p': u"['?',1,0,2,-3,-5,5,0,5,-8,7,-8,-3,-10,0,10,-3,-8,2,12,10,0,0,-15]"}, {u'fh': 282, u'a_p': u"['?',1,0,2,-3,0,-5,'?','?',7,-8,12,-3,5,0,0,12,2,-8,7,-10,-5,0,15]"}, {u'fh': 283, u'a_p': u"['?',1,2,'?','?','?','?',4,-2,4,7,9,-5,0,-11,0,-2,-1,-7,6,8,-2,-8,7]"}, {u'fh': 284, u'a_p': u"['?',1,5,'?','?','?','?',0,-5,-3,-3,2,12,10,0,-10,2,2,-3,12,-5,-15,15,0]"}, {u'fh': 285, u'a_p': u"['?',1,'?','?','?',-5,-5,5,0,2,-3,2,7,-5,0,-5,12,-13,-8,-3,10,-10,15,-10]"}, {u'fh': 286, u'a_p': u"['?',1,'?','?','?',5,-5,-5,0,2,7,2,-3,5,0,-15,-8,7,-8,-13,-10,10,-5,-10]"}, {u'fh': 287, u'a_p': u"['?',2,-4,'?','?','?','?',8,4,0,10,-4,-4,-4,-12,-14,-2,-2,0,-4,-16,4,-10,14]"}, {u'fh': 288, u'a_p': u"['?',2,-2,4,-4,4,-4,-2,-2,0,0,-2,-2,-10,-12,12,10,10,8,-8,-16,16,-6,-6]"}, {u'fh': 289, u'a_p': u"['?',2,-2,4,0,6,0,6,-6,-4,-8,0,0,10,'?','?',6,-12,6,-12,8,16,-10,6]"}, {u'fh': 290, u'a_p': u"['?',2,2,-2,-4,-6,8,8,-6,-4,-8,'?','?',-6,0,4,0,-8,0,0,16,-4,14,10]"}, {u'fh': 291, u'a_p': u"['?',2,2,'?','?',-4,-4,10,10,-8,-8,-2,-2,14,12,12,-10,-10,0,0,-12,-12,-18,-18]"}, {u'fh': 292, u'a_p': u"['?',2,2,'?','?',0,-4,-2,6,4,-8,-2,-6,6,-4,4,-6,14,0,-16,12,0,2,18]"}, {u'fh': 293, u'a_p': u"['?',2,2,'?','?',0,4,-2,-2,-4,-8,6,10,-2,-12,4,10,-2,-16,8,4,8,-14,2]"}, {u'fh': 294, u'a_p': u"['?',2,4,-1,-2,0,-2,3,0,5,-1,-6,-1,-4,14,-9,-10,7,-8,-4,-8,-10,0,17]"}, {u'fh': 295, u'a_p': u"['?',2,6,-2,-6,0,2,8,0,-8,0,-6,2,-2,6,4,-10,-6,0,-8,-8,-4,10,2]"}, {u'fh': 296, u'a_p': u"['?',2,6,0,0,-4,-4,-2,-2,-8,-8,6,6,'?',4,4,-6,-6,12,12,4,4,10,10]"}, {u'fh': 297, u'a_p': u"['?',2,'?',-4,-4,0,0,6,6,4,4,-10,-10,-2,-4,-4,2,2,0,0,12,12,10,10]"}, {u'fh': 298, u'a_p': u"['?',2,'?',0,0,4,-4,-6,10,0,-8,2,2,2,-8,-8,6,-10,16,0,8,-16,-6,-6]"}, {u'fh': 299, u'a_p': u"['?',2,'?',0,0,'?','?',2,2,0,-8,-6,2,2,0,8,-2,-2,0,0,-8,0,-14,10]"}, {u'fh': 300, u'a_p': u"['?',3,-5,0,0,-7,2,-3,-6,5,-4,6,-3,14,-3,3,-1,8,3,-12,'?','?',18,0]"}, {u'fh': 301, u'a_p': u"['?',3,-5,'?','?',8,-4,3,3,-4,-4,-6,-9,-1,0,12,-1,-13,-12,0,8,-4,3,-6]"}, {u'fh': 302, u'a_p': u"['?',3,-2,3,3,-4,-7,6,-9,-7,-10,3,0,-4,0,6,5,11,6,12,-13,-4,6,6]"}, {u'fh': 303, u'a_p': u"['?',3,-2,'?','?','?','?',0,-6,-4,5,3,3,-4,-3,0,-10,-1,9,-6,8,-10,0,-3]"}, {u'fh': 304, u'a_p': u"['?',3,4,-6,3,2,-7,-6,-3,2,-4,'?','?',2,3,12,-10,8,-12,3,-1,-4,-9,0]"}, {u'fh': 305, u'a_p': u"['?',3,'?','?','?',-7,7,-7,0,6,-1,2,-5,-11,4,11,-12,-5,12,5,-14,-14,-11,10]"}, {u'fh': 306, u'a_p': u"['?',3,'?','?','?',-1,-1,-9,0,-10,5,-6,9,11,-12,9,8,-1,12,3,-10,14,9,-6]"}, {u'fh': 307, u'a_p': u"['?',4,-3,'?','?',7,7,-3,-3,-5,-5,-8,-8,13,-12,-12,5,5,-7,-7,4,4,7,7]"}, {u'fh': 308, u'a_p': u"['?',4,0,-4,0,-6,4,'?','?',-2,-8,-12,6,2,0,6,6,-4,10,16,-4,4,6,-6]"}, {u'fh': 309, u'a_p': u"['?',4,'?',-2,-2,0,0,0,0,-8,-8,-2,-2,10,10,10,2,2,-12,-12,0,0,-10,-10]"}, {u'fh': 310, u'a_p': u"['?',4,'?',2,2,-8,-8,-8,-8,0,0,2,2,10,6,6,2,2,-4,-4,8,8,-6,-6]"}, {u'fh': 311, u'a_p': u"['?','?',-6,4,4,0,0,6,6,8,8,2,2,'?',-8,-8,-14,-14,-16,-16,-8,-8,10,10]"}, {u'fh': 312, u'a_p': u"['?','?',-6,4,4,4,4,-2,-2,-8,-8,-6,-6,2,-4,-4,-2,-2,0,0,0,0,-6,-6]"}, {u'fh': 313, u'a_p': u"['?','?',-5,-3,-3,5,5,0,0,2,2,-3,-3,-10,0,0,2,2,12,12,-10,-10,15,15]"}, {u'fh': 314, u'a_p': u"['?','?',-4,-4,-4,-6,0,-6,4,'?','?',6,-2,2,-4,-4,-2,10,-12,-2,-4,-4,-18,6]"}, {u'fh': 315, u'a_p': u"['?','?',-4,0,-4,-2,-4,-2,-2,-6,6,'?','?',-4,0,-8,-12,0,10,8,0,8,10,0]"}, {u'fh': 316, u'a_p': u"['?','?',-2,0,0,-4,-4,6,6,-4,-4,6,6,-10,12,12,2,2,-12,-12,8,8,-6,-6]"}, {u'fh': 317, u'a_p': u"['?','?',-2,0,6,'?','?',-6,0,-4,-4,-6,12,-4,0,-12,-10,-10,12,0,8,-10,6,-18]"}, {u'fh': 318, u'a_p': u"['?','?',-2,'?','?',-4,-4,6,-6,-4,8,-6,6,2,0,-12,14,-10,0,0,-4,8,-6,-6]"}, {u'fh': 319, u'a_p': u"['?','?',0,'?','?',0,0,-10,0,2,-8,2,-8,-10,10,0,2,2,12,-8,10,0,10,-10]"}, {u'fh': 320, u'a_p': u"['?','?',0,'?','?',6,6,8,-6,8,4,-10,-2,2,4,-6,-10,2,-12,-8,10,-6,-8,-4]"}, {u'fh': 321, u'a_p': u"['?','?',1,0,-3,5,2,'?','?',-1,2,-9,0,8,-6,6,-7,-10,-6,-6,11,2,6,-15]"}, {u'fh': 322, u'a_p': u"['?','?',1,0,3,-1,2,'?','?',-1,2,3,0,-4,-6,-6,11,2,-6,6,-1,-10,-6,-3]"}, {u'fh': 323, u'a_p': u"['?','?',2,-4,0,'?','?',6,2,-8,-8,10,-10,-2,-4,-4,6,-10,0,8,8,4,10,2]"}, {u'fh': 324, u'a_p': u"['?','?',2,0,0,4,4,-6,-6,-4,-4,6,6,10,-12,-12,2,2,-12,-12,-8,-8,6,6]"}, {u'fh': 325, u'a_p': u"['?','?',2,4,-4,-4,-4,-10,6,0,8,-6,10,-6,4,-12,-2,-2,-8,0,0,-16,10,10]"}, {u'fh': 326, u'a_p': u"['?','?',2,4,2,'?','?',-2,4,0,4,2,-12,0,0,-4,6,-2,-8,0,-16,-6,-14,6]"}, {u'fh': 327, u'a_p': u"['?','?',3,-4,1,7,2,'?','?',3,-10,-5,-12,-4,-14,6,13,10,-6,2,-7,-14,-18,7]"}, {u'fh': 328, u'a_p': u"['?','?',4,-3,1,5,6,7,-2,'?','?',-4,8,-9,3,6,-14,-5,-5,14,10,-14,-9,10]"}, {u'fh': 329, u'a_p': u"['?','?',4,-2,0,4,4,-8,10,2,2,'?','?',12,12,-12,-2,10,-10,-12,16,-4,10,-16]"}, {u'fh': 330, u'a_p': u"['?','?',4,3,-3,-7,2,9,6,'?','?',0,-12,5,-3,-6,-10,-1,9,-6,-10,-10,15,-6]"}, {u'fh': 331, u'a_p': u"['?','?',4,'?','?',-4,8,-6,0,-10,-4,-6,0,2,-6,12,2,14,-12,0,-10,8,6,-6]"}, {u'fh': 332, u'a_p': u"['?','?',4,'?','?',2,2,0,-6,8,8,6,-6,-10,-12,6,14,-10,12,0,14,-10,0,-12]"}, {u'fh': 333, u'a_p': u"['?','?',5,-3,-3,-5,-5,0,0,2,2,-3,-3,10,0,0,2,2,12,12,10,10,-15,-15]"}, {u'fh': 334, u'a_p': u"['?','?','?',0,0,-4,-4,-6,-6,8,8,-6,-6,2,0,0,-10,-10,0,0,8,8,18,18]"}, {u'fh': 335, u'a_p': u"['?','?','?',0,0,4,4,6,6,8,8,-6,-6,-2,0,0,-10,-10,0,0,-8,-8,-18,-18]"}, {u'fh': 336, u'a_p': u"['?','?','?',2,2,0,0,0,0,-8,-8,2,2,-10,10,10,2,2,12,12,0,0,-10,-10]"}] }}} {{{id=36| data=[] for r in range(len(unmatched)): data.append(eval(unmatched[r][0])) /// }}} {{{id=35| for r in range(len(unmatched)): print unmatched[r] /// (179, u'12*a - 7', u'[1,0,0,-5,-5,3,1,-4,7,5,2,1,-6,-3,8,-4,-10,-11,12,10,12,0,4,4]') (205, u'-13*a + 4', u"[3,-4,'?',4,-2,0,-4,4,-8,-6,10,-6,'?','?',12,4,6,2,-2,4,-16,-4,-6,-8]") (209, u'-a - 14', u"[-2,2,4,-12,'?','?','?','?',1,7,-2,-5,-3,-11,10,-3,-2,8,-13,12,-10,4,10,-14]") (239, u'a + 15', u'[1,-1,1,-6,-5,3,-2,5,-2,0,-4,1,9,-2,11,14,-14,5,-8,-6,2,-3,9,-4]') (244, u'14*a - 6', u"['?',5,0,8,-4,3,6,-6,9,-8,-3,0,0,-10,1,-10,'?','?',-10,-7,8,-13,13,-4]") (275, u'15*a - 10', u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]") (284, u'2*a + 16', u"['?',2,0,-2,-2,4,2,6,0,4,-8,-8,-10,-6,0,2,8,-10,'?','?',4,12,-6,-10]") (341, u'a + 18', u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (341, u'-4*a + 21', u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (341, u'-4*a + 21', u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (355, u'-17*a + 11', u"[-1,-2,'?',-4,0,0,-4,2,-6,6,8,2,12,6,6,-12,-10,-4,'?','?',-4,14,18,6]") (380, u'4*a - 22', u"['?',2,'?',0,4,2,'?','?',-2,4,0,4,2,-12,0,-4,6,-2,-8,0,-16,-6,-14,6]") (395, u'-2*a + 21', u"[1,4,'?',4,-2,2,0,0,-4,6,0,-4,2,-6,12,4,-14,-10,4,-6,'?','?',0,0]") (396, u'18*a - 12', u"['?','?',3,-11,'?','?',-7,7,-7,0,6,-1,2,-5,4,11,-12,-5,12,5,-14,-14,-11,10]") (404, u'-18*a + 8', u"['?',4,2,-4,-1,-2,0,-2,3,0,5,-1,-6,-1,14,-9,-10,7,-8,-4,-8,-10,0,17]") (404, u'18*a - 8', u"['?',0,-2,-4,-1,6,4,2,9,-4,-5,-11,-2,3,6,-5,-6,1,-16,-12,-8,6,12,9]") (441, u'21', u"[1,'?',2,'?',-4,4,0,-8,-10,6,-4,4,6,6,12,-4,-10,6,-8,0,8,-8,6,6]") (445, u'-19*a + 7', u"[1,2,'?',-6,0,0,-8,4,-10,-2,0,4,10,2,0,4,14,-2,-16,8,-12,-4,'?','?']") (451, u'-3*a - 20', u"[-2,-4,-1,-6,'?','?',-1,6,9,2,4,-10,'?','?',4,-3,-8,6,9,-12,-4,-11,-8,-1]") (451, u'-19*a + 9', u"[3,1,-1,4,'?','?',1,-6,2,-6,0,4,'?','?',2,-1,6,-3,-12,-6,14,11,-16,-3]") (484, u'22', u"['?',1,0,-1,'?','?',5,-1,-3,3,-7,5,0,0,0,-12,-1,-7,-3,9,8,-4,-15,9]") (484, u'22', u"['?',-3,4,13,'?','?',7,7,-3,-3,-5,-5,-8,-8,-12,-12,5,5,-7,-7,4,4,7,7]") (495, u'3*a + 21', u"[3,'?','?',-2,'?','?',0,4,2,-2,-8,4,2,-10,4,0,-10,-6,0,-8,4,-16,-10,14]") (495, u'3*a + 21', u"[1,'?','?',2,'?','?',4,-4,6,-2,-8,8,-6,2,12,12,-2,-2,8,-8,16,8,2,-14]") (505, u'a + 22', u"[0,1,'?',9,5,-6,7,8,-6,0,2,-8,0,-9,5,-14,-5,0,-1,13,-6,-8,-1,-18]") (539, u'21*a - 14', u"[-3,-1,-1,'?','?','?',-6,-3,-1,-4,-4,-4,5,8,11,-7,13,-14,4,-2,5,-10,-9,6]") (539, u'21*a - 14', u"[3,-1,-1,'?','?','?',-6,3,-1,8,-4,-4,5,-4,5,-1,-11,-2,-8,10,-13,14,-9,6]") (539, u'-21*a + 14', u"[-3,2,2,'?','?','?',6,6,2,2,-10,8,-10,8,2,8,-14,4,-8,-8,-4,-4,0,12]") (545, u'-21*a + 13', u"[1,2,'?',2,2,0,0,6,2,2,-4,-8,-2,2,0,6,2,2,-10,-2,-8,-14,2,-6]") (549, u'-21*a + 9', u"[3,'?',-1,3,3,-3,7,-2,1,-6,-5,3,6,-2,-14,6,'?','?',-5,-8,0,14,-10,-1]") (576, u'24', u"['?','?',0,-6,6,-2,0,8,-4,-4,8,0,10,-6,2,-6,-6,10,-12,-12,-8,0,10,-6]") (576, u'24', u"['?','?',2,2,0,0,-4,4,10,-6,-8,0,2,2,-8,-8,-10,6,0,16,-16,8,-6,-6]") (580, u'-22*a + 16', u"['?',3,'?',-4,-4,1,7,2,'?','?',3,-10,-5,-12,-14,6,13,10,-6,2,-7,-14,-18,7]") (580, u'-22*a + 16', u"['?',-4,'?',1,5,-2,-1,-8,'?','?',4,-3,-7,0,4,4,6,-8,9,16,-11,10,-1,-8]") (580, u'22*a - 16', u"['?',0,'?',5,-3,2,-5,0,'?','?',-8,7,-3,12,0,0,2,12,7,-8,-5,-10,15,0]") (589, u'-22*a + 7', u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (589, u'-3*a - 23', u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (589, u'-3*a - 23', u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (599, u'a + 24', u'[-1,2,2,8,-4,6,6,-4,-2,2,2,0,-8,0,12,6,6,-8,-14,-8,2,-16,6,-2]') (599, u'-a - 24', u'[-1,2,2,11,5,-3,0,2,1,2,-1,-3,-5,6,3,-12,-12,1,7,-2,5,11,-15,-2]') (605, u'4*a + 23', u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]") (605, u'22*a - 11', u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]") (605, u'22*a - 11', u"[1,2,'?',2,'?','?',4,-4,6,-2,0,-8,2,-6,4,-4,6,-2,-8,-8,0,8,10,-6]") (605, u'4*a + 23', u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]") (620, u'-2*a - 24', u"['?',4,'?',-9,-3,1,5,6,7,-2,'?','?',-4,8,3,6,-14,-5,-5,14,10,-14,-9,10]") (639, u'3*a + 24', u"[2,'?',1,2,3,0,-6,0,6,3,-2,-3,2,-9,10,-5,-6,-5,'?','?',10,4,10,-2]") (639, u'3*a + 24', u"[-1,'?',4,-4,0,0,6,0,-6,6,-2,0,-10,0,4,-2,-12,-2,'?','?',-14,16,-2,10]") (649, u'-23*a + 15', u"[-2,-1,-2,-4,'?','?',0,-5,-9,0,-6,3,0,-3,'?','?',7,5,10,2,-1,-6,10,2]") (649, u'a + 25', u"[-1,2,4,8,'?','?',0,-4,-2,2,-10,-8,2,4,'?','?',0,-8,6,0,-10,-8,14,10]") (676, u'26', u"['?',-2,-2,-10,-6,0,-8,6,-6,10,-6,-4,-4,0,2,8,-10,2,6,8,16,8,-2,6]") (684, u'-24*a + 18', u"['?','?',0,-2,4,-2,'?','?',8,6,-4,4,0,2,-2,2,-10,-14,-14,6,0,4,0,-2]") (725, u'5*a + 25', u"[2,1,'?',-4,-6,-3,5,-4,'?','?',2,5,0,-9,-9,12,5,-4,-6,12,2,-4,15,-6]") (725, u'5*a + 25', u"[1,-6,'?',2,4,-4,-4,4,'?','?',8,0,-6,10,-12,4,-2,-2,-16,0,16,8,10,-6]") (725, u'5*a + 25', u"[-2,3,'?',8,-2,5,-1,-8,'?','?',-10,-3,0,7,-3,4,13,-8,2,-12,10,-4,13,6]") (729, u'27', u"[-1,'?',-3,-4,3,-6,5,-4,-6,-6,-1,-10,6,-3,-3,6,2,2,0,9,-7,2,0,-18]") (729, u'27', u"[-1,'?',3,-4,-3,6,5,-4,6,6,-1,-10,-6,3,3,-6,2,2,0,-9,-7,2,0,18]") (729, u'27', u"[2,'?',0,-13,0,0,8,-1,0,0,-7,11,0,0,0,0,-13,14,0,0,-13,-4,0,0]") (779, u'25*a - 11', u"[-2,-4,-1,-6,5,-2,'?','?',9,2,4,-10,'?','?',4,-3,-8,6,9,-12,-4,-11,-8,-1]") (781, u'25*a - 12', u"[-1,-2,0,-4,'?','?',-4,2,-6,6,8,2,12,6,6,-12,-10,-4,'?','?',-4,14,18,6]") (781, u'-25*a + 12', u"[1,2,2,-2,'?','?',4,8,6,-2,-8,-4,-2,10,0,-12,-2,2,'?','?',8,4,-6,-6]") (784, u'28', u"['?',-3,-4,'?',3,3,8,8,1,1,-2,-2,-6,-6,10,10,0,0,0,0,7,7,-8,-8]") (796, u'-6*a + 32', u"['?',-2,3,-4,3,3,-4,-7,6,-9,-7,-10,3,0,0,6,5,11,6,12,-13,-4,6,6]") (820, u'-26*a + 8', u"['?',4,'?',12,-2,0,4,4,-8,10,2,2,'?','?',12,-12,-2,10,-10,-12,16,-4,10,-16]") (836, u'-26*a + 10', u"['?',-4,2,-4,'?','?','?','?',8,4,0,10,-4,-4,-12,-14,-2,-2,0,-4,-16,4,-10,14]") (836, u'-2*a - 28', u"['?',1,-3,-4,'?','?','?','?',-6,3,5,5,6,6,6,-12,8,8,-9,0,-1,-1,9,0]") (836, u'-2*a - 28', u"['?',-5,-3,2,'?','?','?','?',8,-7,5,-5,-10,-4,-4,-10,-2,-6,1,12,11,11,3,0]") (836, u'-2*a - 28', u"['?',2,1,0,'?','?','?','?',4,-2,4,7,9,-5,-11,0,-2,-1,-7,6,8,-2,-8,7]") (836, u'-2*a - 28', u"['?',-5,1,0,'?','?','?','?',-10,5,-3,7,2,2,10,0,12,-8,7,-8,15,5,-15,0]") (841, u'29', u"[-1,-2,-2,6,-4,2,-2,0,'?','?',-2,-4,-12,0,12,-12,0,-8,0,0,6,-4,14,6]") (855, u'6*a - 33', u"[1,'?','?',2,4,0,'?','?',-6,-2,0,8,-2,2,-8,0,14,-2,-12,12,-8,-8,-10,-6]") (869, u'-27*a + 20', u"[1,-2,-2,-2,'?','?',8,4,-2,6,0,-8,-2,2,4,-4,10,14,12,-16,'?','?',18,-14]") (880, u'4*a + 28', u"['?',-2,'?',8,'?','?',-4,2,-6,-6,-4,2,-6,0,0,12,-10,8,0,12,8,-10,6,6]") (899, u'-27*a + 10', u"[-3,2,-2,2,-4,4,-4,4,'?','?','?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (909, u'27*a - 12', u"[-1,'?',-1,2,2,3,3,7,2,9,4,-1,-12,5,4,10,1,-10,0,14,0,-4,-6,3]") (955, u'-28*a + 9', u"[-3,2,'?',-2,4,0,-4,4,-2,-10,-8,0,2,-10,12,0,14,10,12,0,-4,-16,-14,-6]") (961, u'31', u"[2,-3,3,-3,-6,6,-1,-4,8,8,'?','?',9,-6,-13,-4,-4,8,-8,-5,10,-14,-10,14]") (961, u'31', u"[-3,2,-2,2,-4,4,-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]") (961, u'31', u"[2,-3,3,-3,6,-6,-4,-1,8,8,'?','?',-6,9,-4,-13,8,-4,-5,-8,-14,10,14,-10]") (961, u'31', u"[0,-1,-2,2,-2,-4,-5,-1,-8,10,'?','?',-3,9,-3,5,-6,-2,7,3,12,-14,-14,0]") (979, u'28*a - 15', u"[3,4,0,4,'?','?',-2,4,-2,-10,-4,0,-10,0,-4,-4,12,6,4,8,14,4,'?','?']") (979, u'-6*a - 29', u"[3,-1,2,6,'?','?',-5,2,1,-1,8,-4,-2,0,-3,0,-5,-10,8,3,4,4,'?','?']") (979, u'-6*a - 29', u"[-1,4,0,-4,'?','?',-4,2,6,6,-4,-4,0,6,12,0,14,-4,0,12,-16,2,'?','?']") (995, u'-29*a + 7', u"[3,0,'?',2,0,-4,0,-4,-6,6,-4,10,-6,4,-2,4,-14,14,8,-12,8,10,14,6]") (995, u'-29*a + 7', u"[-4,-2,'?',5,-3,0,2,-7,6,-6,-4,-4,-3,12,0,3,-1,-10,-12,-3,-10,-10,0,12]") (995, u'-29*a + 7', u"[0,0,'?',5,-3,2,0,5,0,0,2,-8,-3,-8,10,-5,7,2,2,-3,-10,10,-10,0]") }}} {{{id=33| list(db.toy.find(i_lbl='a')) /// [{u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'12*a - 7', u'a_p': u'[1,0,0,-5,-5,3,1,-4,7,5,2,1,-6,-3,8,-4,-10,-11,12,10,12,0,4,4]', u'cond2': u'-12*a + 5', u'N': 179, u'c_lbl': u'a', u'eta': 362, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-13*a + 4', u'a_p': u"[3,-4,'?',4,-2,0,-4,4,-8,-6,10,-6,'?','?',12,4,6,2,-2,4,-16,-4,-6,-8]", u'cond2': u'13*a - 9', u'N': 205, u'c_lbl': u'a', u'eta': 435, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-a - 14', u'a_p': u"[-2,2,4,-12,'?','?','?','?',1,7,-2,-5,-3,-11,10,-3,-2,8,-13,12,-10,4,10,-14]", u'cond2': u'a - 15', u'N': 209, u'c_lbl': u'a', u'eta': 423, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a + 15', u'a_p': u'[1,-1,1,-6,-5,3,-2,5,-2,0,-4,1,9,-2,11,14,-14,5,-8,-6,2,-3,9,-4]', u'cond2': u'-a + 16', u'N': 239, u'c_lbl': u'a', u'eta': 483, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'14*a - 6', u'a_p': u"['?',5,0,8,-4,3,6,-6,9,-8,-3,0,0,-10,1,-10,'?','?',-10,-7,8,-13,13,-4]", u'cond2': u'-14*a + 8', u'N': 244, u'c_lbl': u'a', u'eta': 492, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'15*a - 10', u'a_p': u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]", u'cond2': u'-15*a + 5', u'N': 275, u'c_lbl': u'a', u'eta': 575, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'2*a + 16', u'a_p': u"['?',2,0,-2,-2,4,2,6,0,4,-8,-8,-10,-6,0,2,8,-10,'?','?',4,12,-6,-10]", u'cond2': u'-2*a + 18', u'N': 284, u'c_lbl': u'a', u'eta': 588, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a + 18', u'a_p': u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'-a + 19', u'N': 341, u'c_lbl': u'a', u'eta': 687, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-4*a + 21', u'a_p': u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'4*a + 17', u'N': 341, u'c_lbl': u'b', u'eta': 762, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-4*a + 21', u'a_p': u"[-3,2,-2,2,'?','?',-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'4*a + 17', u'N': 341, u'c_lbl': u'b', u'eta': 762, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-17*a + 11', u'a_p': u"[-1,-2,'?',-4,0,0,-4,2,-6,6,8,2,12,6,6,-12,-10,-4,'?','?',-4,14,18,6]", u'cond2': u'17*a - 6', u'N': 355, u'c_lbl': u'a', u'eta': 735, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'4*a - 22', u'a_p': u"['?',2,'?',0,4,2,'?','?',-2,4,0,4,2,-12,0,-4,6,-2,-8,0,-16,-6,-14,6]", u'cond2': u'-4*a - 18', u'N': 380, u'c_lbl': u'a', u'eta': 840, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a + 21', u'a_p': u"[1,4,'?',4,-2,2,0,0,-4,6,0,-4,2,-6,12,4,-14,-10,4,-6,'?','?',0,0]", u'cond2': u'2*a + 19', u'N': 395, u'c_lbl': u'a', u'eta': 810, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'18*a - 12', u'a_p': u"['?','?',3,-11,'?','?',-7,7,-7,0,6,-1,2,-5,4,11,-12,-5,12,5,-14,-14,-11,10]", u'cond2': u'-18*a + 6', u'N': 396, u'c_lbl': u'a', u'eta': 828, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-18*a + 8', u'a_p': u"['?',4,2,-4,-1,-2,0,-2,3,0,5,-1,-6,-1,14,-9,-10,7,-8,-4,-8,-10,0,17]", u'cond2': u'18*a - 10', u'N': 404, u'c_lbl': u'a', u'eta': 812, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'18*a - 8', u'a_p': u"['?',0,-2,-4,-1,6,4,2,9,-4,-5,-11,-2,3,6,-5,-6,1,-16,-12,-8,6,12,9]", u'cond2': u'-18*a + 10', u'N': 404, u'c_lbl': u'a', u'eta': 812, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'21', u'a_p': u"[1,'?',2,'?',-4,4,0,-8,-10,6,-4,4,6,6,12,-4,-10,6,-8,0,8,-8,6,6]", u'cond2': u'21', u'N': 441, u'c_lbl': u'a', u'eta': 882, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-19*a + 7', u'a_p': u"[1,2,'?',-6,0,0,-8,4,-10,-2,0,4,10,2,0,4,14,-2,-16,8,-12,-4,'?','?']", u'cond2': u'19*a - 12', u'N': 445, u'c_lbl': u'a', u'eta': 915, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-3*a - 20', u'a_p': u"[-2,-4,-1,-6,'?','?',-1,6,9,2,4,-10,'?','?',4,-3,-8,6,9,-12,-4,-11,-8,-1]", u'cond2': u'3*a - 23', u'N': 451, u'c_lbl': u'd', u'eta': 947, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-19*a + 9', u'a_p': u"[3,1,-1,4,'?','?',1,-6,2,-6,0,4,'?','?',2,-1,6,-3,-12,-6,14,11,-16,-3]", u'cond2': u'19*a - 10', u'N': 451, u'c_lbl': u'a', u'eta': 903, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'22', u'a_p': u"['?',1,0,-1,'?','?',5,-1,-3,3,-7,5,0,0,0,-12,-1,-7,-3,9,8,-4,-15,9]", u'cond2': u'22', u'N': 484, u'c_lbl': u'a', u'eta': 968, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'22', u'a_p': u"['?',-3,4,13,'?','?',7,7,-3,-3,-5,-5,-8,-8,-12,-12,5,5,-7,-7,4,4,7,7]", u'cond2': u'22', u'N': 484, u'c_lbl': u'a', u'eta': 968, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'3*a + 21', u'a_p': u"[3,'?','?',-2,'?','?',0,4,2,-2,-8,4,2,-10,4,0,-10,-6,0,-8,4,-16,-10,14]", u'cond2': u'-3*a + 24', u'N': 495, u'c_lbl': u'a', u'eta': 1035, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'3*a + 21', u'a_p': u"[1,'?','?',2,'?','?',4,-4,6,-2,-8,8,-6,2,12,12,-2,-2,8,-8,16,8,2,-14]", u'cond2': u'-3*a + 24', u'N': 495, u'c_lbl': u'a', u'eta': 1035, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a + 22', u'a_p': u"[0,1,'?',9,5,-6,7,8,-6,0,2,-8,0,-9,5,-14,-5,0,-1,13,-6,-8,-1,-18]", u'cond2': u'-a + 23', u'N': 505, u'c_lbl': u'a', u'eta': 1015, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'21*a - 14', u'a_p': u"[-3,-1,-1,'?','?','?',-6,-3,-1,-4,-4,-4,5,8,11,-7,13,-14,4,-2,5,-10,-9,6]", u'cond2': u'-21*a + 7', u'N': 539, u'c_lbl': u'a', u'eta': 1127, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'21*a - 14', u'a_p': u"[3,-1,-1,'?','?','?',-6,3,-1,8,-4,-4,5,-4,5,-1,-11,-2,-8,10,-13,14,-9,6]", u'cond2': u'-21*a + 7', u'N': 539, u'c_lbl': u'a', u'eta': 1127, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-21*a + 14', u'a_p': u"[-3,2,2,'?','?','?',6,6,2,2,-10,8,-10,8,2,8,-14,4,-8,-8,-4,-4,0,12]", u'cond2': u'21*a - 7', u'N': 539, u'c_lbl': u'a', u'eta': 1127, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-21*a + 13', u'a_p': u"[1,2,'?',2,2,0,0,6,2,2,-4,-8,-2,2,0,6,2,2,-10,-2,-8,-14,2,-6]", u'cond2': u'21*a - 8', u'N': 545, u'c_lbl': u'a', u'eta': 1115, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-21*a + 9', u'a_p': u"[3,'?',-1,3,3,-3,7,-2,1,-6,-5,3,6,-2,-14,6,'?','?',-5,-8,0,14,-10,-1]", u'cond2': u'21*a - 12', u'N': 549, u'c_lbl': u'a', u'eta': 1107, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'24', u'a_p': u"['?','?',0,-6,6,-2,0,8,-4,-4,8,0,10,-6,2,-6,-6,10,-12,-12,-8,0,10,-6]", u'cond2': u'24', u'N': 576, u'c_lbl': u'a', u'eta': 1152, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'24', u'a_p': u"['?','?',2,2,0,0,-4,4,10,-6,-8,0,2,2,-8,-8,-10,6,0,16,-16,8,-6,-6]", u'cond2': u'24', u'N': 576, u'c_lbl': u'a', u'eta': 1152, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-22*a + 16', u'a_p': u"['?',3,'?',-4,-4,1,7,2,'?','?',3,-10,-5,-12,-14,6,13,10,-6,2,-7,-14,-18,7]", u'cond2': u'22*a - 6', u'N': 580, u'c_lbl': u'a', u'eta': 1260, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-22*a + 16', u'a_p': u"['?',-4,'?',1,5,-2,-1,-8,'?','?',4,-3,-7,0,4,4,6,-8,9,16,-11,10,-1,-8]", u'cond2': u'22*a - 6', u'N': 580, u'c_lbl': u'a', u'eta': 1260, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'22*a - 16', u'a_p': u"['?',0,'?',5,-3,2,-5,0,'?','?',-8,7,-3,12,0,0,2,12,7,-8,-5,-10,15,0]", u'cond2': u'-22*a + 6', u'N': 580, u'c_lbl': u'a', u'eta': 1260, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-22*a + 7', u'a_p': u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'22*a - 15', u'N': 589, u'c_lbl': u'f', u'eta': 1242, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-3*a - 23', u'a_p': u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'3*a - 26', u'N': 589, u'c_lbl': u'a', u'eta': 1223, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-3*a - 23', u'a_p': u"[-3,2,-2,2,-4,4,'?','?',-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'3*a - 26', u'N': 589, u'c_lbl': u'a', u'eta': 1223, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a + 24', u'a_p': u'[-1,2,2,8,-4,6,6,-4,-2,2,2,0,-8,0,12,6,6,-8,-14,-8,2,-16,6,-2]', u'cond2': u'-a + 25', u'N': 599, u'c_lbl': u'a', u'eta': 1203, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-a - 24', u'a_p': u'[-1,2,2,11,5,-3,0,2,1,2,-1,-3,-5,6,3,-12,-12,1,7,-2,5,11,-15,-2]', u'cond2': u'a - 25', u'N': 599, u'c_lbl': u'a', u'eta': 1203, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'4*a + 23', u'a_p': u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]", u'cond2': u'-4*a + 27', u'N': 605, u'c_lbl': u'e', u'eta': 1290, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'22*a - 11', u'a_p': u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]", u'cond2': u'-22*a + 11', u'N': 605, u'c_lbl': u'a', u'eta': 1210, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'22*a - 11', u'a_p': u"[1,2,'?',2,'?','?',4,-4,6,-2,0,-8,2,-6,4,-4,6,-2,-8,-8,0,8,10,-6]", u'cond2': u'-22*a + 11', u'N': 605, u'c_lbl': u'a', u'eta': 1210, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'4*a + 23', u'a_p': u"[-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18]", u'cond2': u'-4*a + 27', u'N': 605, u'c_lbl': u'e', u'eta': 1290, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a - 24', u'a_p': u"['?',4,'?',-9,-3,1,5,6,7,-2,'?','?',-4,8,3,6,-14,-5,-5,14,10,-14,-9,10]", u'cond2': u'2*a - 26', u'N': 620, u'c_lbl': u'a', u'eta': 1260, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'3*a + 24', u'a_p': u"[2,'?',1,2,3,0,-6,0,6,3,-2,-3,2,-9,10,-5,-6,-5,'?','?',10,4,10,-2]", u'cond2': u'-3*a + 27', u'N': 639, u'c_lbl': u'a', u'eta': 1323, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'3*a + 24', u'a_p': u"[-1,'?',4,-4,0,0,6,0,-6,6,-2,0,-10,0,4,-2,-12,-2,'?','?',-14,16,-2,10]", u'cond2': u'-3*a + 27', u'N': 639, u'c_lbl': u'a', u'eta': 1323, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-23*a + 15', u'a_p': u"[-2,-1,-2,-4,'?','?',0,-5,-9,0,-6,3,0,-3,'?','?',7,5,10,2,-1,-6,10,2]", u'cond2': u'23*a - 8', u'N': 649, u'c_lbl': u'e', u'eta': 1347, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'a + 25', u'a_p': u"[-1,2,4,8,'?','?',0,-4,-2,2,-10,-8,2,4,'?','?',0,-8,6,0,-10,-8,14,10]", u'cond2': u'-a + 26', u'N': 649, u'c_lbl': u'a', u'eta': 1303, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'26', u'a_p': u"['?',-2,-2,-10,-6,0,-8,6,-6,10,-6,-4,-4,0,2,8,-10,2,6,8,16,8,-2,6]", u'cond2': u'26', u'N': 676, u'c_lbl': u'a', u'eta': 1352, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-24*a + 18', u'a_p': u"['?','?',0,-2,4,-2,'?','?',8,6,-4,4,0,2,-2,2,-10,-14,-14,6,0,4,0,-2]", u'cond2': u'24*a - 6', u'N': 684, u'c_lbl': u'a', u'eta': 1512, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'5*a + 25', u'a_p': u"[2,1,'?',-4,-6,-3,5,-4,'?','?',2,5,0,-9,-9,12,5,-4,-6,12,2,-4,15,-6]", u'cond2': u'-5*a + 30', u'N': 725, u'c_lbl': u'a', u'eta': 1575, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'5*a + 25', u'a_p': u"[1,-6,'?',2,4,-4,-4,4,'?','?',8,0,-6,10,-12,4,-2,-2,-16,0,16,8,10,-6]", u'cond2': u'-5*a + 30', u'N': 725, u'c_lbl': u'a', u'eta': 1575, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'5*a + 25', u'a_p': u"[-2,3,'?',8,-2,5,-1,-8,'?','?',-10,-3,0,7,-3,4,13,-8,2,-12,10,-4,13,6]", u'cond2': u'-5*a + 30', u'N': 725, u'c_lbl': u'a', u'eta': 1575, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'27', u'a_p': u"[-1,'?',-3,-4,3,-6,5,-4,-6,-6,-1,-10,6,-3,-3,6,2,2,0,9,-7,2,0,-18]", u'cond2': u'27', u'N': 729, u'c_lbl': u'a', u'eta': 1458, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'27', u'a_p': u"[-1,'?',3,-4,-3,6,5,-4,6,6,-1,-10,-6,3,3,-6,2,2,0,-9,-7,2,0,18]", u'cond2': u'27', u'N': 729, u'c_lbl': u'a', u'eta': 1458, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'27', u'a_p': u"[2,'?',0,-13,0,0,8,-1,0,0,-7,11,0,0,0,0,-13,14,0,0,-13,-4,0,0]", u'cond2': u'27', u'N': 729, u'c_lbl': u'a', u'eta': 1458, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'25*a - 11', u'a_p': u"[-2,-4,-1,-6,5,-2,'?','?',9,2,4,-10,'?','?',4,-3,-8,6,9,-12,-4,-11,-8,-1]", u'cond2': u'-25*a + 14', u'N': 779, u'c_lbl': u'a', u'eta': 1567, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'25*a - 12', u'a_p': u"[-1,-2,0,-4,'?','?',-4,2,-6,6,8,2,12,6,6,-12,-10,-4,'?','?',-4,14,18,6]", u'cond2': u'-25*a + 13', u'N': 781, u'c_lbl': u'a', u'eta': 1563, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-25*a + 12', u'a_p': u"[1,2,2,-2,'?','?',4,8,6,-2,-8,-4,-2,10,0,-12,-2,2,'?','?',8,4,-6,-6]", u'cond2': u'25*a - 13', u'N': 781, u'c_lbl': u'a', u'eta': 1563, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'28', u'a_p': u"['?',-3,-4,'?',3,3,8,8,1,1,-2,-2,-6,-6,10,10,0,0,0,0,7,7,-8,-8]", u'cond2': u'28', u'N': 784, u'c_lbl': u'a', u'eta': 1568, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-6*a + 32', u'a_p': u"['?',-2,3,-4,3,3,-4,-7,6,-9,-7,-10,3,0,0,6,5,11,6,12,-13,-4,6,6]", u'cond2': u'6*a + 26', u'N': 796, u'c_lbl': u'a', u'eta': 1772, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-26*a + 8', u'a_p': u"['?',4,'?',12,-2,0,4,4,-8,10,2,2,'?','?',12,-12,-2,10,-10,-12,16,-4,10,-16]", u'cond2': u'26*a - 18', u'N': 820, u'c_lbl': u'a', u'eta': 1740, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-26*a + 10', u'a_p': u"['?',-4,2,-4,'?','?','?','?',8,4,0,10,-4,-4,-12,-14,-2,-2,0,-4,-16,4,-10,14]", u'cond2': u'26*a - 16', u'N': 836, u'c_lbl': u'h', u'eta': 1708, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a - 28', u'a_p': u"['?',1,-3,-4,'?','?','?','?',-6,3,5,5,6,6,6,-12,8,8,-9,0,-1,-1,9,0]", u'cond2': u'2*a - 30', u'N': 836, u'c_lbl': u'a', u'eta': 1692, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a - 28', u'a_p': u"['?',-5,-3,2,'?','?','?','?',8,-7,5,-5,-10,-4,-4,-10,-2,-6,1,12,11,11,3,0]", u'cond2': u'2*a - 30', u'N': 836, u'c_lbl': u'a', u'eta': 1692, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a - 28', u'a_p': u"['?',2,1,0,'?','?','?','?',4,-2,4,7,9,-5,-11,0,-2,-1,-7,6,8,-2,-8,7]", u'cond2': u'2*a - 30', u'N': 836, u'c_lbl': u'a', u'eta': 1692, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-2*a - 28', u'a_p': u"['?',-5,1,0,'?','?','?','?',-10,5,-3,7,2,2,10,0,12,-8,7,-8,15,5,-15,0]", u'cond2': u'2*a - 30', u'N': 836, u'c_lbl': u'a', u'eta': 1692, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'29', u'a_p': u"[-1,-2,-2,6,-4,2,-2,0,'?','?',-2,-4,-12,0,12,-12,0,-8,0,0,6,-4,14,6]", u'cond2': u'29', u'N': 841, u'c_lbl': u'a', u'eta': 1682, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'6*a - 33', u'a_p': u"[1,'?','?',2,4,0,'?','?',-6,-2,0,8,-2,2,-8,0,14,-2,-12,12,-8,-8,-10,-6]", u'cond2': u'-6*a - 27', u'N': 855, u'c_lbl': u'a', u'eta': 1890, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-27*a + 20', u'a_p': u"[1,-2,-2,-2,'?','?',8,4,-2,6,0,-8,-2,2,4,-4,10,14,12,-16,'?','?',18,-14]", u'cond2': u'27*a - 7', u'N': 869, u'c_lbl': u'b', u'eta': 1907, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'4*a + 28', u'a_p': u"['?',-2,'?',8,'?','?',-4,2,-6,-6,-4,2,-6,0,0,12,-10,8,0,12,8,-10,6,6]", u'cond2': u'-4*a + 32', u'N': 880, u'c_lbl': u'a', u'eta': 1840, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-27*a + 10', u'a_p': u"[-3,2,-2,2,-4,4,-4,4,'?','?','?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'27*a - 17', u'N': 899, u'c_lbl': u'a', u'eta': 1847, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'27*a - 12', u'a_p': u"[-1,'?',-1,2,2,3,3,7,2,9,4,-1,-12,5,4,10,1,-10,0,14,0,-4,-6,3]", u'cond2': u'-27*a + 15', u'N': 909, u'c_lbl': u'a', u'eta': 1827, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-28*a + 9', u'a_p': u"[-3,2,'?',-2,4,0,-4,4,-2,-10,-8,0,2,-10,12,0,14,10,12,0,-4,-16,-14,-6]", u'cond2': u'28*a - 19', u'N': 955, u'c_lbl': u'a', u'eta': 2010, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'31', u'a_p': u"[2,-3,3,-3,-6,6,-1,-4,8,8,'?','?',9,-6,-13,-4,-4,8,-8,-5,10,-14,-10,14]", u'cond2': u'31', u'N': 961, u'c_lbl': u'a', u'eta': 1922, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'31', u'a_p': u"[-3,2,-2,2,-4,4,-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10]", u'cond2': u'31', u'N': 961, u'c_lbl': u'a', u'eta': 1922, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'31', u'a_p': u"[2,-3,3,-3,6,-6,-4,-1,8,8,'?','?',-6,9,-4,-13,8,-4,-5,-8,-14,10,14,-10]", u'cond2': u'31', u'N': 961, u'c_lbl': u'a', u'eta': 1922, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'31', u'a_p': u"[0,-1,-2,2,-2,-4,-5,-1,-8,10,'?','?',-3,9,-3,5,-6,-2,7,3,12,-14,-14,0]", u'cond2': u'31', u'N': 961, u'c_lbl': u'a', u'eta': 1922, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'28*a - 15', u'a_p': u"[3,4,0,4,'?','?',-2,4,-2,-10,-4,0,-10,0,-4,-4,12,6,4,8,14,4,'?','?']", u'cond2': u'-28*a + 13', u'N': 979, u'c_lbl': u'a', u'eta': 1962, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-6*a - 29', u'a_p': u"[3,-1,2,6,'?','?',-5,2,1,-1,8,-4,-2,0,-3,0,-5,-10,8,3,4,4,'?','?']", u'cond2': u'6*a - 35', u'N': 979, u'c_lbl': u'b', u'eta': 2138, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-6*a - 29', u'a_p': u"[-1,4,0,-4,'?','?',-4,2,6,6,-4,-4,0,6,12,0,14,-4,0,12,-16,2,'?','?']", u'cond2': u'6*a - 35', u'N': 979, u'c_lbl': u'b', u'eta': 2138, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-29*a + 7', u'a_p': u"[3,0,'?',2,0,-4,0,-4,-6,6,-4,10,-6,4,-2,4,-14,14,8,-12,8,10,14,6]", u'cond2': u'29*a - 22', u'N': 995, u'c_lbl': u'a', u'eta': 2215, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-29*a + 7', u'a_p': u"[-4,-2,'?',5,-3,0,2,-7,6,-6,-4,-4,-3,12,0,3,-1,-10,-12,-3,-10,-10,0,12]", u'cond2': u'29*a - 22', u'N': 995, u'c_lbl': u'a', u'eta': 2215, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}, {u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'-29*a + 7', u'a_p': u"[0,0,'?',5,-3,2,0,5,0,0,2,-8,-3,-8,10,-5,7,2,2,-3,-10,10,-10,0]", u'cond2': u'29*a - 22', u'N': 995, u'c_lbl': u'a', u'eta': 2215, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}] }}} {{{id=6| f=open('/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt') /// }}} {{{id=12| A=f.readline().split();A /// ['(31,', "u'5*a-2',", "u'-5*a+3',", "u'[1,a+1,a,a,0]',", "u'[1,-a-1,a,0,0]',", "u'J')", '-3', '2', '-2', '2', '4', '-4', '4', '-4', '-2', '-2', "'?'", "'?'", '-6', '-6', '12', '-4', '6', '-2', '-8', '0', '0', '16', '10', '-6'] }}} {{{id=14| K(eval(eval(f.readline().split()[1])[0])) /// 6*a - 3 }}} {{{id=42| eval(A[1])[0] /// u'-2*a+31' }}} {{{id=41| (A[0]).replace('(','').replace(',','') /// '45' }}} {{{id=40| eval(A[3])[0] /// u'[a+1,a,a,0,0]' }}} {{{id=27| k=0 /// }}} {{{id=30| k /// 333 }}} {{{id=39| CL=[] /// }}} {{{id=48| len(list(db.toy.find(i_lbl='f'))) /// 57 }}} {{{id=53| f=open('/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt') for s in f.readlines(): A=s.split() I=K(eval(eval(A[1])[0])) I=K.ideal(I) J=K(eval(eval(A[2])[0])) J=K.ideal(J) L=A[6:] I,J = J,I for k in range(4,24,2): L[k],L[k+1] = L[k+1],L[k] L = str(L).replace("'",'').replace(' ','').replace('"',"'") found = db.toy.find(a_p=L) found = list(found) if found and K.ideal(eval(found[0]['cond1'])).divides(I): db.toy.delete(a_p=L) #db.toy.update({'i_lbl':'f'},a_p=L) print A[0:2],A[5], L, 'match' k+=1 else: print A[0:2],A[5], L, 'not matched' /// WARNING: Output truncated! full_output.txt ['(31,', "u'5*a-2',"] u'J') [-3,2,-2,2,-4,4,-4,4,-2,-2,'?','?',-6,-6,-4,12,-2,6,0,-8,16,0,-6,10] not matched ['(36,', "u'6',"] u'J') ['?','?',-4,10,2,2,0,0,0,0,-8,-8,2,2,-10,-10,2,2,12,12,0,0,10,10] match ['(41,', "u'a+6',"] u'J') [-2,-4,-1,-6,5,-2,-1,6,9,2,4,-10,'?','?',4,-3,-8,6,9,-12,-4,-11,-8,-1] not matched ['(45,', "u'6*a-3',"] u'J') [-3,'?','?',-14,-4,-4,4,4,-2,-2,0,0,10,10,-4,-4,-2,-2,-8,-8,0,0,-6,-6] match ['(49,', "u'7',"] u'J') [0,5,-4,'?',-3,-3,0,0,5,5,2,2,2,2,-10,-10,-8,-8,-8,-8,5,5,0,0] match ['(55,', "u'a+7',"] u'J') [-1,-2,'?',14,'?','?',-4,8,6,-6,-4,8,6,-6,0,-12,2,-10,0,0,8,-4,6,-18] not matched ['(64,', "u'8',"] u'J') ['?',2,-2,10,-4,-4,4,4,-2,-2,0,0,2,2,12,12,-10,-10,8,8,-16,-16,-6,-6] match ['(71,', "u'a+8',"] u'J') [-1,-2,0,-4,0,0,-4,2,-6,6,8,2,12,6,6,-12,-10,-4,'?','?',-4,14,18,6] not matched ['(76,', "u'8*a-6',"] u'J') ['?',-5,1,0,2,-3,'?','?',-10,5,-3,7,2,2,10,0,12,-8,7,-8,15,5,-15,0] not matched ['(76,', "u'8*a-6',"] u'J') ['?',1,-3,-4,-6,3,'?','?',-6,3,5,5,6,6,6,-12,8,8,-9,0,-1,-1,9,0] not matched ['(79,', "u'8*a-5',"] u'J') [1,-2,-2,-2,-4,0,8,4,-2,6,0,-8,-2,2,4,-4,10,14,12,-16,'?','?',18,-14] not matched ['(80,', "u'8*a-4',"] u'J') ['?',-2,'?',-10,0,0,-4,-4,6,6,-4,-4,6,6,12,12,2,2,-12,-12,8,8,-6,-6] match ['(81,', "u'9',"] u'J') [-1,'?',0,14,0,0,-4,-4,0,0,8,8,0,0,0,0,2,2,0,0,-16,-16,0,0] match ['(89,', "u'-a-9',"] u'J') [-1,4,0,-4,-6,0,-4,2,6,6,-4,-4,0,6,12,0,14,-4,0,12,-16,2,'?','?'] not matched ['(95,', "u'2*a-11',"] u'J') [-1,-2,'?',2,0,0,'?','?',6,-6,8,-4,-6,-6,12,12,14,-10,0,12,8,-16,-6,6] not matched ['(99,', "u'-9*a+6',"] u'J') [1,'?',-2,2,'?','?',4,-4,6,-2,-8,8,-6,2,12,12,-2,-2,8,-8,16,8,2,-14] not matched ['(100,', "u'10',"] u'J') ['?',5,'?',10,-3,-3,-5,-5,0,0,2,2,-3,-3,0,0,2,2,12,12,10,10,-15,-15] match ['(100,', "u'10',"] u'J') ['?',-5,'?',-10,-3,-3,5,5,0,0,2,2,-3,-3,0,0,2,2,12,12,-10,-10,15,15] match ['(116,', "u'2*a+10',"] u'J') ['?',0,1,5,-3,2,-5,0,'?','?',-8,7,-3,12,0,0,2,12,7,-8,-5,-10,15,0] not matched ['(116,', "u'2*a+10',"] u'J') ['?',-4,-1,1,5,-2,-1,-8,'?','?',4,-3,-7,0,4,4,6,-8,9,16,-11,10,-1,-8] not matched ['(121,', "u'11',"] u'J') [0,-5,1,-10,'?','?',0,0,0,0,7,7,-8,-8,5,5,12,12,-3,-3,-10,-10,15,15] match ['(124,', "u'10*a-4',"] u'J') ['?',-2,0,14,0,-6,2,2,0,6,'?','?',6,-6,0,-12,-10,8,-12,0,8,8,6,-6] not matched ['(144,', "u'12',"] u'J') ['?','?',2,-2,-4,-4,0,0,6,6,4,4,-10,-10,-4,-4,2,2,0,0,12,12,10,10] match ['(145,', "u'-11*a+8',"] u'J') [1,-6,'?',2,4,-4,-4,4,'?','?',8,0,-6,10,-12,4,-2,-2,-16,0,16,8,10,-6] not matched ['(145,', "u'11*a-8',"] u'J') [2,1,'?',-4,-6,-3,5,-4,'?','?',2,5,0,-9,-9,12,5,-4,-6,12,2,-4,15,-6] not matched ['(155,', "u'-a-12',"] u'J') [1,-2,'?',-6,4,0,0,-4,-2,-2,'?','?',2,2,12,-12,-2,10,-4,16,16,-8,10,18] not matched ['(164,', "u'-2*a-12',"] u'J') ['?',2,2,-6,-4,-2,8,-6,-6,8,-8,-4,'?','?',4,0,-8,0,0,0,-4,16,10,14] not matched ['(171,', "u'12*a-9',"] u'J') [-1,'?',0,-10,6,0,'?','?',-6,0,-4,-4,-6,12,-6,6,2,14,-6,6,-4,8,6,12] not matched ['(176,', "u'-12*a+8',"] u'J') ['?',-2,0,8,'?','?',-4,2,-6,-6,-4,2,-6,0,0,12,-10,8,0,12,8,-10,6,6] not matched ['(179,', "u'12*a-7',"] u'J') [-1,4,0,5,-3,3,8,-1,-3,-9,-7,-10,3,6,12,0,-13,2,6,0,8,8,-12,0] not matched ['(180,', "u'12*a-6',"] u'J') ['?','?','?',2,0,0,-4,-4,-6,-6,8,8,-6,-6,0,0,-10,-10,0,0,8,8,18,18] match ['(191,', "u'-2*a+15',"] u'J') [-3,2,2,-2,4,0,-4,4,-2,-10,-8,0,2,-10,12,0,14,10,12,0,-4,-16,-14,-6] not matched ['(196,', "u'14',"] u'J') ['?',-2,0,'?',0,0,2,2,-6,-6,-4,-4,6,6,-6,-6,8,8,0,0,8,8,-6,-6] match ['(199,', "u'-3*a+16',"] u'J') [-4,-2,-3,5,-3,0,2,-7,6,-6,-4,-4,-3,12,0,3,-1,-10,-12,-3,-10,-10,0,12] not matched ['(199,', "u'-3*a+16',"] u'J') [3,0,-2,2,0,-4,0,-4,-6,6,-4,10,-6,4,-2,4,-14,14,8,-12,8,10,14,6] not matched ['(205,', "u'-13*a+4',"] u'J') [-1,4,'?',-4,0,6,-4,-4,-6,0,2,2,'?','?',12,-12,2,-10,-12,6,-4,8,0,-6] not matched ['(205,', "u'13*a-4',"] u'J') [1,2,'?',10,-4,-4,-4,4,-2,6,0,0,'?','?',-12,4,14,-2,8,-8,0,-8,18,-6] not matched ['(209,', "u'-a-14',"] u'J') [1,2,-2,-6,'?','?','?','?',-2,-2,-8,-8,10,-6,12,4,-10,-2,0,8,-8,8,10,10] not matched ['(209,', "u'-a-14',"] u'J') [2,-2,0,8,'?','?','?','?',9,9,5,-10,-3,3,-3,-6,-4,2,0,3,8,2,6,6] not matched ['(209,', "u'-13*a+5',"] u'J') [-3,-4,-4,-12,'?','?','?','?',2,-10,-8,4,0,0,-10,4,-4,6,-8,-14,16,-8,14,-6] not matched ['(209,', "u'-13*a+5',"] u'J') [-1,4,0,8,'?','?','?','?',-6,6,-4,-4,0,-12,6,-12,-4,2,0,-6,8,-16,6,6] not matched ['(209,', "u'-13*a+5',"] u'J') [1,-2,2,6,'?','?','?','?',6,-2,0,0,6,6,8,4,-6,-2,0,-12,-16,8,18,10] not matched ['(220,', "u'2*a+14',"] u'J') ['?',0,'?',-10,'?','?',0,0,0,-10,-8,2,-8,2,0,10,2,2,-8,12,0,10,-10,10] not matched ['(220,', "u'2*a+14',"] u'J') ['?',4,'?',2,'?','?',8,-4,0,-6,-4,-10,0,-6,12,-6,14,2,0,-12,8,-10,-6,6] not matched ['(220,', "u'2*a+14',"] u'J') ['?',-2,'?',2,'?','?',-4,-4,-6,6,8,-4,6,-6,-12,0,-10,14,0,0,8,-4,-6,-6] not matched ['(225,', "u'15',"] u'J') [0,'?','?',5,2,2,5,5,-10,-10,-3,-3,-8,-8,10,10,7,7,-8,-8,0,0,0,0] match ['(225,', "u'15',"] u'J') [0,'?','?',-5,2,2,-5,-5,10,10,-3,-3,-8,-8,-10,-10,7,7,-8,-8,0,0,0,0] match ['(229,', "u'-3*a-14',"] u'J') [-3,-1,-4,-10,-2,0,-7,-5,3,6,-3,8,-9,2,9,-10,0,-14,16,-3,6,-12,-6,-5] not matched ['(239,', "u'a+15',"] u'J') [-3,-5,-3,6,-3,1,7,-2,-8,-6,3,4,2,-11,10,-7,-7,-6,14,-12,-1,-14,0,-7] not matched ['(239,', "u'-a-15',"] u'J') [1,2,-2,6,0,4,-4,4,6,-2,-8,-4,-2,-6,-4,-4,-10,-2,0,16,0,8,2,-6] not matched ['(244,', "u'14*a-6',"] u'J') ['?',1,0,-4,-3,0,2,2,0,-9,-4,5,-6,0,6,3,'?','?',-3,6,-1,8,12,-3] not matched ['(245,', "u'14*a-7',"] u'J') [-4,-5,'?','?',-3,-3,2,2,3,3,-4,-4,-12,-12,0,0,8,8,0,0,-1,-1,-12,-12] match ['(251,', "u'-2*a+17',"] u'J') [-3,0,-3,0,-6,-4,8,0,8,-5,1,-8,0,-10,-11,-9,-7,8,3,4,-2,1,4,8] not matched ['(256,', "u'16',"] u'J') ['?',2,-2,10,4,4,-4,-4,-2,-2,0,0,2,2,-12,-12,-10,-10,-8,-8,16,16,-6,-6] match ['(256,', "u'16',"] u'J') ['?',-2,2,-10,-4,4,-4,4,-2,-2,0,0,-2,-2,12,-12,10,10,-8,8,16,-16,-6,-6] not matched ['(256,', "u'16',"] u'J') ['?',-2,2,-10,4,-4,4,-4,-2,-2,0,0,-2,-2,-12,12,10,10,8,-8,-16,16,-6,-6] match ['(269,', "u'-15*a+11',"] u'J') [-3,-1,-3,-5,-5,0,-3,1,-5,-2,-10,6,12,6,-7,3,2,6,10,-6,-8,12,-18,-13] not matched ['(269,', "u'-15*a+11',"] u'J') [-1,1,3,5,-3,0,5,-1,3,-6,2,-10,0,6,-9,3,-10,2,-6,-6,8,-16,6,3] not matched ['(271,', "u'a+16',"] u'J') [1,-2,2,2,4,-4,-4,-8,6,-2,8,8,-10,6,8,-4,-14,10,0,-8,16,12,-14,2] not matched ... ['(484,', "u'22',"] u'CL') ['?',2,2,14,'?','?',-4,-4,10,10,-8,-8,-2,-2,12,12,-10,-10,0,0,-12,-12,-18,-18] not matched ['(484,', "u'20*a-6',"] u'CL') ['?',-5,3,-1,'?','?',-4,8,3,3,-4,-4,-9,-6,12,0,-13,-1,0,-12,-4,8,-6,3] not matched ['(495,', "u'3*a+21',"] u'CL') [-3,'?','?',2,'?','?',-4,-8,-6,6,-8,4,-10,6,4,12,-6,-2,-4,8,0,-12,-6,2] not matched ['(495,', "u'3*a+21',"] u'CL') [1,'?','?',2,'?','?',-4,-4,-2,-2,0,0,-6,10,12,-4,-2,-2,0,16,-8,-8,-6,-6] not matched ['(505,', "u'a+22',"] u'CL') [3,-2,'?',6,0,-4,-4,4,6,-6,4,-4,-6,-6,4,-4,6,-2,-8,-16,-8,0,18,14] not matched ['(539,', "u'-21*a+14',"] u'CL') [-1,-5,-3,'?','?','?',-7,2,0,-9,8,-4,0,-9,9,-9,2,-1,6,12,2,11,-6,9] not matched ['(545,', "u'-21*a+13',"] u'CL') [-1,-2,'?',-10,0,6,2,8,-6,-6,8,-4,6,6,6,0,-10,-10,-6,6,-10,8,-6,-6] not matched ['(549,', "u'-21*a+9',"] u'CL') [-1,'?',2,-10,0,2,4,8,6,0,-8,4,0,-8,-14,4,'?','?',6,-12,-4,8,-12,-2] not matched ['(576,', "u'24',"] u'CL') ['?','?',4,10,2,2,-8,-8,-8,-8,0,0,2,2,6,6,2,2,-4,-4,8,8,-6,-6] match ['(580,', "u'22*a-16',"] u'CL') ['?',1,'?',-4,3,0,2,-1,'?','?',2,-1,0,3,-6,-6,2,11,6,-6,-10,-1,-3,-6] not matched ['(605,', "u'22*a-11',"] u'CL') [1,2,'?',2,'?','?',4,-4,6,-2,0,-8,2,-6,4,-4,6,-2,-8,-8,0,8,10,-6] not matched ['(605,', "u'4*a+23',"] u'CL') [3,-4,'?',-6,'?','?',-2,0,6,-6,0,-6,-6,6,0,6,10,-6,-12,0,-10,0,-6,6] not matched ['(620,', "u'2*a+24',"] u'CL') ['?',4,'?',5,-3,3,2,-7,6,9,'?','?',-12,0,-6,-3,-1,-10,-6,9,-10,-10,-6,15] not matched ['(639,', "u'3*a+24',"] u'CL') [1,'?',2,2,4,-4,0,0,-6,2,0,4,-10,-6,12,-4,14,6,'?','?',-4,-4,-14,-6] not matched ['(649,', "u'a+25',"] u'CL') [-1,1,0,-4,'?','?',5,8,-3,0,8,8,-6,-3,'?','?',-10,-4,-3,-15,8,-1,-9,-12] not matched ['(649,', "u'-23*a+15',"] u'CL') [-1,2,2,-10,'?','?',-4,0,6,10,0,0,6,-10,'?','?',-14,-10,0,-12,12,0,6,10] not matched ['(704,', "u'24*a-16',"] u'CL') ['?',2,2,-2,'?','?',4,0,-2,-2,-8,-4,10,6,4,-12,-2,10,8,-16,8,4,2,-14] not matched ['(719,', "u'24*a-13',"] u'CL') [2,-5,3,5,0,0,2,-1,6,0,8,-4,-6,-3,0,0,-4,-10,-6,-12,-1,-10,6,9] not matched ['(725,', "u'5*a+25',"] u'CL') [-2,-1,'?',4,-3,-6,4,-5,'?','?',5,2,-9,0,-12,9,-4,5,12,-6,4,-2,6,-15] not matched ['(755,', "u'a+27',"] u'CL') [-1,-2,'?',-4,-6,-3,2,5,3,-9,-4,-7,-3,6,6,0,-1,8,6,-12,5,11,-6,12] not matched ['(775,', "u'25*a-10',"] u'CL') [3,-2,'?',-2,-4,4,4,-4,2,2,'?','?',-6,-6,4,-12,-2,6,0,-8,-16,0,6,-10] not matched ['(779,', "u'-2*a+29',"] u'CL') [2,-2,3,-4,3,-6,'?','?',3,0,-4,8,'?','?',0,-9,-10,-10,15,0,2,5,12,-9] not matched ['(781,', "u'-5*a+31',"] u'CL') [-3,2,2,-2,'?','?',4,-8,6,6,0,4,6,2,-8,4,6,2,'?','?',-8,-12,10,-6] not matched ['(801,', "u'3*a+27',"] u'CL') [-1,'?',-2,6,-2,-2,0,-2,2,-6,-2,0,6,-10,0,-6,-6,6,-12,-8,14,10,'?','?'] not matched ['(829,', "u'-26*a+17',"] u'CL') [-1,-2,-3,-13,0,3,-4,-4,-6,-9,2,2,3,-3,12,0,2,14,-6,-15,-16,5,3,18] not matched ['(836,', "u'-2*a-28',"] u'CL') ['?',-2,3,-4,'?','?','?','?',-6,0,5,-4,3,3,0,-3,-1,-10,-6,9,-10,8,-3,0] not matched ['(855,', "u'6*a-33',"] u'CL') [-1,'?','?',6,-4,-4,'?','?',2,-2,-8,0,-6,-2,-8,4,10,2,4,-16,-8,8,6,2] not matched ['(869,', "u'a+29',"] u'CL') [-1,-4,-2,4,'?','?',-6,-4,-6,2,4,0,0,-2,-8,4,-8,-10,10,0,'?','?',6,-2] not matched ['(880,', "u'4*a+28',"] u'CL') ['?',4,'?',-10,'?','?',2,2,-6,0,8,8,-6,6,6,-12,-10,14,0,12,-10,14,-12,0] not matched ['(899,', "u'-27*a+10',"] u'CL') [3,4,0,-2,2,-4,-8,2,'?','?','?','?',-2,2,-4,12,-4,-10,-4,10,-4,8,14,-6] not matched ['(899,', "u'-5*a+33',"] u'CL') [-1,-4,0,-10,-4,-2,-2,0,'?','?','?','?',-2,10,-4,-12,10,0,-6,12,-4,4,2,6] not matched ['(900,', "u'30',"] u'CL') ['?','?','?',-2,0,0,4,4,6,6,8,8,-6,-6,0,0,-10,-10,0,0,-8,-8,-18,-18] match ['(905,', "u'27*a-16',"] u'CL') [-1,2,'?',-2,0,0,4,4,2,10,0,-4,-6,2,4,-12,-2,6,-12,8,0,8,6,-6] not matched ['(979,', "u'-6*a-29',"] u'CL') [-3,-4,0,-8,'?','?',0,-4,-6,2,0,-2,-10,-12,-6,12,0,-6,16,-4,8,2,'?','?'] not matched ["(u'324',", "u'18',"] u'QT') ['?','?',4,10,-2,-2,0,0,0,0,-8,-8,-2,-2,10,10,2,2,-12,-12,0,0,-10,-10] match ["(u'400',", "u'20',"] u'QT') ['?',2,'?',10,0,0,4,4,-6,-6,-4,-4,6,6,-12,-12,2,2,-12,-12,-8,-8,6,6] match ["(u'405',", "u'18*a-9',"] u'QT') [-3,'?','?',-14,4,4,4,4,2,2,0,0,-10,-10,4,4,-2,-2,8,8,0,0,6,6] match ["(u'605',", "u'4*a+23',"] u'QT') [1,-2,'?',-14,'?','?',8,4,6,6,-8,4,-6,-6,-12,0,-10,-2,0,0,-4,-8,18,-6] not matched ["(u'725',", "u'5*a+25',"] u'QT') [2,-3,'?',-8,5,-2,8,1,'?','?',-3,-10,7,0,-4,3,-8,13,-12,2,4,-10,-6,-13] not matched ["(u'725',", "u'5*a+25',"] u'QT') [2,5,'?',6,-3,0,6,-7,'?','?',-7,-8,-5,8,4,-9,6,-7,0,6,-8,4,14,-1] not matched ["(u'775',", "u'25*a-10',"] u'QT') [-1,2,'?',6,4,0,0,4,2,2,'?','?',2,2,-12,12,-2,10,-4,16,-16,8,-10,-18] not matched ["(u'775',", "u'25*a-10',"] u'QT') [2,2,'?',-3,1,-6,6,4,8,-7,'?','?',-1,-1,-9,-3,-2,-14,-10,-8,11,-10,-1,0] not matched ["(u'891',", "u'27*a-18',"] u'QT') [1,'?',2,2,'?','?',4,-4,-6,2,-8,8,6,-2,-12,-12,-2,-2,-8,8,16,8,-2,14] not matched ["(u'961',", "u'-5*a-29',"] u'QT') [-3,-2,2,2,-4,-4,4,-4,2,-2,'?','?',-6,-6,-4,12,-2,-6,0,8,16,0,-6,-10] not matched ["(u'961',", "u'-5*a-29',"] u'QT') [0,5,1,5,-1,4,5,-5,-5,-5,'?','?',-6,9,5,0,-11,9,-3,4,-5,0,15,-5] not matched ["(u'145',", "u'11*a-8',"] u'TF') [-2,3,'?',8,-2,5,-1,-8,'?','?',-10,-3,0,7,-3,4,13,-8,2,-12,10,-4,13,6] not matched ["(u'199',", "u'-3*a+16',"] u'TF') [0,0,1,5,-3,2,0,5,0,0,2,-8,-3,-8,10,-5,7,2,2,-3,-10,10,-10,0] not matched ["(u'396',", "u'-18*a+12',"] u'TF') ['?','?',3,11,'?','?',-1,-1,0,-9,5,-10,9,-6,9,-12,-1,8,3,12,14,-10,-6,9] not matched ["(u'404',", "u'18*a-8',"] u'TF') ['?',0,1,-10,-3,2,5,-5,5,0,7,-8,-3,-8,10,0,-8,-3,12,2,0,10,-15,0] not matched ["(u'431',", "u'19*a-14',"] u'TF') [2,-5,0,-4,6,0,5,-1,-9,9,-4,2,-9,9,-12,-12,8,-4,-6,3,-4,-1,-6,15] not matched ["(u'464',", "u'4*a+20',"] u'TF') ['?',0,4,2,0,-4,4,-6,'?','?',-8,-2,6,-12,6,0,-4,6,16,10,4,-4,-6,6] not matched ["(u'484',", "u'22',"] u'TF') ['?',5,-4,5,'?','?',5,5,-5,-5,7,7,-8,-8,0,0,-13,-13,-3,-3,0,0,15,15] match ["(u'639',", "u'-3*a-24',"] u'TF') [-2,'?',-1,8,-2,5,6,6,9,2,-3,4,-7,0,-3,-10,-1,6,'?','?',-4,-4,-8,6] not matched ["(u'704',", "u'-24*a+16',"] u'TF') ['?',-2,0,-8,'?','?',4,6,2,10,4,-2,-6,0,-8,4,-10,-8,-8,4,0,10,-10,6] not matched ["(u'784',", "u'28',"] u'TF') ['?',6,2,'?',0,0,-4,-4,-2,-2,-8,-8,6,6,4,4,-6,-6,12,12,4,4,10,10] match ["(u'829',", "u'26*a-17',"] u'TF') [-1,-5,0,-4,-3,-3,-4,5,0,3,2,-7,12,0,-12,-3,2,5,6,6,11,-4,-6,-18] not matched ["(u'836',", "u'-2*a-28',"] u'TF') ['?',5,1,10,'?','?','?','?',-5,0,-3,-3,12,2,-10,0,2,2,12,-3,-15,-5,0,15] not matched ["(u'836',", "u'26*a-10',"] u'TF') ['?',4,0,-4,'?','?','?','?',6,-6,-4,-4,0,0,6,12,8,-10,0,6,8,8,-18,-6] not matched ["(u'836',", "u'-26*a+10',"] u'TF') ['?',4,0,-4,'?','?','?','?',6,-6,-4,-4,0,0,6,12,8,-10,0,6,8,8,-18,-6] not matched ["(u'895',", "u'-2*a+31',"] u'TF') [2,-2,'?',5,0,3,5,5,0,6,-1,-7,0,-3,-9,3,2,-4,-6,0,-1,8,-6,-9] not matched }}} {{{id=52| f=open('/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt') for s in f.readlines(): A=s.split() I=K(eval(eval(A[1])[0])) I=K.ideal(I) J=K(eval(eval(A[2])[0])) J=K.ideal(J) L=A[6:] L = str(L).replace("'",'').replace(' ','').replace('"',"'") found = db.toy.find(a_p=L) found = list(found) if found and K.ideal(eval(found[0]['cond1'])).divides(I): db.toy.delete(a_p=L) #db.toy.update({'i_lbl':'f'},a_p=L) print A[0:2],A[5], L, 'match' k+=1 else: print A[0:2],A[5], L, 'not matched' /// WARNING: Output truncated! full_output.txt ['(31,', "u'5*a-2',"] u'J') [-3,2,-2,2,4,-4,4,-4,-2,-2,'?','?',-6,-6,12,-4,6,-2,-8,0,0,16,10,-6] match ['(36,', "u'6',"] u'J') ['?','?',-4,10,2,2,0,0,0,0,-8,-8,2,2,-10,-10,2,2,12,12,0,0,10,10] not matched ['(41,', "u'a+6',"] u'J') [-2,-4,-1,-6,-2,5,6,-1,2,9,-10,4,'?','?',-3,4,6,-8,-12,9,-11,-4,-1,-8] match ['(45,', "u'6*a-3',"] u'J') [-3,'?','?',-14,-4,-4,4,4,-2,-2,0,0,10,10,-4,-4,-2,-2,-8,-8,0,0,-6,-6] not matched ['(49,', "u'7',"] u'J') [0,5,-4,'?',-3,-3,0,0,5,5,2,2,2,2,-10,-10,-8,-8,-8,-8,5,5,0,0] not matched ['(55,', "u'a+7',"] u'J') [-1,-2,'?',14,'?','?',8,-4,-6,6,8,-4,-6,6,-12,0,-10,2,0,0,-4,8,-18,6] match ['(64,', "u'8',"] u'J') ['?',2,-2,10,-4,-4,4,4,-2,-2,0,0,2,2,12,12,-10,-10,8,8,-16,-16,-6,-6] not matched ['(71,', "u'a+8',"] u'J') [-1,-2,0,-4,0,0,2,-4,6,-6,2,8,6,12,-12,6,-4,-10,'?','?',14,-4,6,18] match ['(76,', "u'8*a-6',"] u'J') ['?',-5,1,0,-3,2,'?','?',5,-10,7,-3,2,2,0,10,-8,12,-8,7,5,15,0,-15] not matched ['(76,', "u'8*a-6',"] u'J') ['?',1,-3,-4,3,-6,'?','?',3,-6,5,5,6,6,-12,6,8,8,0,-9,-1,-1,0,9] not matched ['(79,', "u'8*a-5',"] u'J') [1,-2,-2,-2,0,-4,4,8,6,-2,-8,0,2,-2,-4,4,14,10,-16,12,'?','?',-14,18] not matched ['(80,', "u'8*a-4',"] u'J') ['?',-2,'?',-10,0,0,-4,-4,6,6,-4,-4,6,6,12,12,2,2,-12,-12,8,8,-6,-6] not matched ['(81,', "u'9',"] u'J') [-1,'?',0,14,0,0,-4,-4,0,0,8,8,0,0,0,0,2,2,0,0,-16,-16,0,0] not matched ['(89,', "u'-a-9',"] u'J') [-1,4,0,-4,0,-6,2,-4,6,6,-4,-4,6,0,0,12,-4,14,12,0,2,-16,'?','?'] not matched ['(95,', "u'2*a-11',"] u'J') [-1,-2,'?',2,0,0,'?','?',-6,6,-4,8,-6,-6,12,12,-10,14,12,0,-16,8,6,-6] match ['(99,', "u'-9*a+6',"] u'J') [1,'?',-2,2,'?','?',-4,4,-2,6,8,-8,2,-6,12,12,-2,-2,-8,8,8,16,-14,2] not matched ['(100,', "u'10',"] u'J') ['?',5,'?',10,-3,-3,-5,-5,0,0,2,2,-3,-3,0,0,2,2,12,12,10,10,-15,-15] not matched ['(100,', "u'10',"] u'J') ['?',-5,'?',-10,-3,-3,5,5,0,0,2,2,-3,-3,0,0,2,2,12,12,-10,-10,15,15] not matched ['(116,', "u'2*a+10',"] u'J') ['?',0,1,5,2,-3,0,-5,'?','?',7,-8,12,-3,0,0,12,2,-8,7,-10,-5,0,15] match ['(116,', "u'2*a+10',"] u'J') ['?',-4,-1,1,-2,5,-8,-1,'?','?',-3,4,0,-7,4,4,-8,6,16,9,10,-11,-8,-1] not matched ['(121,', "u'11',"] u'J') [0,-5,1,-10,'?','?',0,0,0,0,7,7,-8,-8,5,5,12,12,-3,-3,-10,-10,15,15] not matched ['(124,', "u'10*a-4',"] u'J') ['?',-2,0,14,-6,0,2,2,6,0,'?','?',-6,6,-12,0,8,-10,0,-12,8,8,-6,6] match ['(144,', "u'12',"] u'J') ['?','?',2,-2,-4,-4,0,0,6,6,4,4,-10,-10,-4,-4,2,2,0,0,12,12,10,10] not matched ['(145,', "u'-11*a+8',"] u'J') [1,-6,'?',2,-4,4,4,-4,'?','?',0,8,10,-6,4,-12,-2,-2,0,-16,8,16,-6,10] not matched ['(145,', "u'11*a-8',"] u'J') [2,1,'?',-4,-3,-6,-4,5,'?','?',5,2,-9,0,12,-9,-4,5,12,-6,-4,2,-6,15] match ['(155,', "u'-a-12',"] u'J') [1,-2,'?',-6,0,4,-4,0,-2,-2,'?','?',2,2,-12,12,10,-2,16,-4,-8,16,18,10] match ['(164,', "u'-2*a-12',"] u'J') ['?',2,2,-6,-2,-4,-6,8,8,-6,-4,-8,'?','?',0,4,0,-8,0,0,16,-4,14,10] match ['(171,', "u'12*a-9',"] u'J') [-1,'?',0,-10,0,6,'?','?',0,-6,-4,-4,12,-6,6,-6,14,2,6,-6,8,-4,12,6] not matched ['(176,', "u'-12*a+8',"] u'J') ['?',-2,0,8,'?','?',2,-4,-6,-6,2,-4,0,-6,12,0,8,-10,12,0,-10,8,6,6] not matched ['(179,', "u'12*a-7',"] u'J') [-1,4,0,5,3,-3,-1,8,-9,-3,-10,-7,6,3,0,12,2,-13,0,6,8,8,0,-12] not matched ['(180,', "u'12*a-6',"] u'J') ['?','?','?',2,0,0,-4,-4,-6,-6,8,8,-6,-6,0,0,-10,-10,0,0,8,8,18,18] not matched ['(191,', "u'-2*a+15',"] u'J') [-3,2,2,-2,0,4,4,-4,-10,-2,0,-8,-10,2,0,12,10,14,0,12,-16,-4,-6,-14] not matched ['(196,', "u'14',"] u'J') ['?',-2,0,'?',0,0,2,2,-6,-6,-4,-4,6,6,-6,-6,8,8,0,0,8,8,-6,-6] not matched ['(199,', "u'-3*a+16',"] u'J') [-4,-2,-3,5,0,-3,-7,2,-6,6,-4,-4,12,-3,3,0,-10,-1,-3,-12,-10,-10,12,0] not matched ['(199,', "u'-3*a+16',"] u'J') [3,0,-2,2,-4,0,-4,0,6,-6,10,-4,4,-6,4,-2,14,-14,-12,8,10,8,6,14] not matched ['(205,', "u'-13*a+4',"] u'J') [-1,4,'?',-4,6,0,-4,-4,0,-6,2,2,'?','?',-12,12,-10,2,6,-12,8,-4,-6,0] not matched ['(205,', "u'13*a-4',"] u'J') [1,2,'?',10,-4,-4,4,-4,6,-2,0,0,'?','?',4,-12,-2,14,-8,8,-8,0,-6,18] match ['(209,', "u'-a-14',"] u'J') [1,2,-2,-6,'?','?','?','?',-2,-2,-8,-8,-6,10,4,12,-2,-10,8,0,8,-8,10,10] match ['(209,', "u'-a-14',"] u'J') [2,-2,0,8,'?','?','?','?',9,9,-10,5,3,-3,-6,-3,2,-4,3,0,2,8,6,6] match ['(209,', "u'-13*a+5',"] u'J') [-3,-4,-4,-12,'?','?','?','?',-10,2,4,-8,0,0,4,-10,6,-4,-14,-8,-8,16,-6,14] match ['(209,', "u'-13*a+5',"] u'J') [-1,4,0,8,'?','?','?','?',6,-6,-4,-4,-12,0,-12,6,2,-4,-6,0,-16,8,6,6] match ['(209,', "u'-13*a+5',"] u'J') [1,-2,2,6,'?','?','?','?',-2,6,0,0,6,6,4,8,-2,-6,-12,0,8,-16,10,18] match ['(220,', "u'2*a+14',"] u'J') ['?',0,'?',-10,'?','?',0,0,-10,0,2,-8,2,-8,10,0,2,2,12,-8,10,0,10,-10] not matched ['(220,', "u'2*a+14',"] u'J') ['?',4,'?',2,'?','?',-4,8,-6,0,-10,-4,-6,0,-6,12,2,14,-12,0,-10,8,6,-6] not matched ['(220,', "u'2*a+14',"] u'J') ['?',-2,'?',2,'?','?',-4,-4,6,-6,-4,8,-6,6,0,-12,14,-10,0,0,-4,8,-6,-6] match ['(225,', "u'15',"] u'J') [0,'?','?',5,2,2,5,5,-10,-10,-3,-3,-8,-8,10,10,7,7,-8,-8,0,0,0,0] not matched ['(225,', "u'15',"] u'J') [0,'?','?',-5,2,2,-5,-5,10,10,-3,-3,-8,-8,-10,-10,7,7,-8,-8,0,0,0,0] not matched ['(229,', "u'-3*a-14',"] u'J') [-3,-1,-4,-10,0,-2,-5,-7,6,3,8,-3,2,-9,-10,9,-14,0,-3,16,-12,6,-5,-6] match ['(239,', "u'a+15',"] u'J') [-3,-5,-3,6,1,-3,-2,7,-6,-8,4,3,-11,2,-7,10,-6,-7,-12,14,-14,-1,-7,0] match ['(239,', "u'-a-15',"] u'J') [1,2,-2,6,4,0,4,-4,-2,6,-4,-8,-6,-2,-4,-4,-2,-10,16,0,8,0,-6,2] not matched ['(244,', "u'14*a-6',"] u'J') ['?',1,0,-4,0,-3,2,2,-9,0,5,-4,0,-6,3,6,'?','?',6,-3,8,-1,-3,12] match ['(245,', "u'14*a-7',"] u'J') [-4,-5,'?','?',-3,-3,2,2,3,3,-4,-4,-12,-12,0,0,8,8,0,0,-1,-1,-12,-12] not matched ['(251,', "u'-2*a+17',"] u'J') [-3,0,-3,0,-4,-6,0,8,-5,8,-8,1,-10,0,-9,-11,8,-7,4,3,1,-2,8,4] not matched ['(256,', "u'16',"] u'J') ['?',2,-2,10,4,4,-4,-4,-2,-2,0,0,2,2,-12,-12,-10,-10,-8,-8,16,16,-6,-6] not matched ['(256,', "u'16',"] u'J') ['?',-2,2,-10,4,-4,4,-4,-2,-2,0,0,-2,-2,-12,12,10,10,8,-8,-16,16,-6,-6] not matched ['(256,', "u'16',"] u'J') ['?',-2,2,-10,-4,4,-4,4,-2,-2,0,0,-2,-2,12,-12,10,10,-8,8,16,-16,-6,-6] not matched ['(269,', "u'-15*a+11',"] u'J') [-3,-1,-3,-5,0,-5,1,-3,-2,-5,6,-10,6,12,3,-7,6,2,-6,10,12,-8,-13,-18] match ['(269,', "u'-15*a+11',"] u'J') [-1,1,3,5,0,-3,-1,5,-6,3,-10,2,6,0,3,-9,2,-10,-6,-6,-16,8,3,6] match ['(271,', "u'a+16',"] u'J') [1,-2,2,2,-4,4,-8,-4,-2,6,8,8,6,-10,-4,8,10,-14,-8,0,12,16,2,-14] match ... ['(484,', "u'22',"] u'CL') ['?',2,2,14,'?','?',-4,-4,10,10,-8,-8,-2,-2,12,12,-10,-10,0,0,-12,-12,-18,-18] not matched ['(484,', "u'20*a-6',"] u'CL') ['?',-5,3,-1,'?','?',8,-4,3,3,-4,-4,-6,-9,0,12,-1,-13,-12,0,8,-4,3,-6] match ['(495,', "u'3*a+21',"] u'CL') [-3,'?','?',2,'?','?',-8,-4,6,-6,4,-8,6,-10,12,4,-2,-6,8,-4,-12,0,2,-6] not matched ['(495,', "u'3*a+21',"] u'CL') [1,'?','?',2,'?','?',-4,-4,-2,-2,0,0,10,-6,-4,12,-2,-2,16,0,-8,-8,-6,-6] not matched ['(505,', "u'a+22',"] u'CL') [3,-2,'?',6,-4,0,4,-4,-6,6,-4,4,-6,-6,-4,4,-2,6,-16,-8,0,-8,14,18] not matched ['(539,', "u'-21*a+14',"] u'CL') [-1,-5,-3,'?','?','?',2,-7,-9,0,-4,8,-9,0,-9,9,-1,2,12,6,11,2,9,-6] not matched ['(545,', "u'-21*a+13',"] u'CL') [-1,-2,'?',-10,6,0,8,2,-6,-6,-4,8,6,6,0,6,-10,-10,6,-6,8,-10,-6,-6] not matched ['(549,', "u'-21*a+9',"] u'CL') [-1,'?',2,-10,2,0,8,4,0,6,4,-8,-8,0,4,-14,'?','?',-12,6,8,-4,-2,-12] not matched ['(576,', "u'24',"] u'CL') ['?','?',4,10,2,2,-8,-8,-8,-8,0,0,2,2,6,6,2,2,-4,-4,8,8,-6,-6] not matched ['(580,', "u'22*a-16',"] u'CL') ['?',1,'?',-4,0,3,-1,2,'?','?',-1,2,3,0,-6,-6,11,2,-6,6,-1,-10,-6,-3] not matched ['(605,', "u'22*a-11',"] u'CL') [1,2,'?',2,'?','?',-4,4,-2,6,-8,0,-6,2,-4,4,-2,6,-8,-8,8,0,-6,10] not matched ['(605,', "u'4*a+23',"] u'CL') [3,-4,'?',-6,'?','?',0,-2,-6,6,-6,0,6,-6,6,0,-6,10,0,-12,0,-10,6,-6] not matched ['(620,', "u'2*a+24',"] u'CL') ['?',4,'?',5,3,-3,-7,2,9,6,'?','?',0,-12,-3,-6,-10,-1,9,-6,-10,-10,15,-6] not matched ['(639,', "u'3*a+24',"] u'CL') [1,'?',2,2,-4,4,0,0,2,-6,4,0,-6,-10,-4,12,6,14,'?','?',-4,-4,-6,-14] not matched ['(649,', "u'a+25',"] u'CL') [-1,1,0,-4,'?','?',8,5,0,-3,8,8,-3,-6,'?','?',-4,-10,-15,-3,-1,8,-12,-9] not matched ['(649,', "u'-23*a+15',"] u'CL') [-1,2,2,-10,'?','?',0,-4,10,6,0,0,-10,6,'?','?',-10,-14,-12,0,0,12,10,6] not matched ['(704,', "u'24*a-16',"] u'CL') ['?',2,2,-2,'?','?',0,4,-2,-2,-4,-8,6,10,-12,4,10,-2,-16,8,4,8,-14,2] not matched ['(719,', "u'24*a-13',"] u'CL') [2,-5,3,5,0,0,-1,2,0,6,-4,8,-3,-6,0,0,-10,-4,-12,-6,-10,-1,9,6] not matched ['(725,', "u'5*a+25',"] u'CL') [-2,-1,'?',4,-6,-3,-5,4,'?','?',2,5,0,-9,9,-12,5,-4,-6,12,-2,4,-15,6] not matched ['(755,', "u'a+27',"] u'CL') [-1,-2,'?',-4,-3,-6,5,2,-9,3,-7,-4,6,-3,0,6,8,-1,-12,6,11,5,12,-6] not matched ['(775,', "u'25*a-10',"] u'CL') [3,-2,'?',-2,4,-4,-4,4,2,2,'?','?',-6,-6,-12,4,6,-2,-8,0,0,-16,-10,6] not matched ['(779,', "u'-2*a+29',"] u'CL') [2,-2,3,-4,-6,3,'?','?',0,3,8,-4,'?','?',-9,0,-10,-10,0,15,5,2,-9,12] not matched ['(781,', "u'-5*a+31',"] u'CL') [-3,2,2,-2,'?','?',-8,4,6,6,4,0,2,6,4,-8,2,6,'?','?',-12,-8,-6,10] not matched ['(801,', "u'3*a+27',"] u'CL') [-1,'?',-2,6,-2,-2,-2,0,-6,2,0,-2,-10,6,-6,0,6,-6,-8,-12,10,14,'?','?'] not matched ['(829,', "u'-26*a+17',"] u'CL') [-1,-2,-3,-13,3,0,-4,-4,-9,-6,2,2,-3,3,0,12,14,2,-15,-6,5,-16,18,3] not matched ['(836,', "u'-2*a-28',"] u'CL') ['?',-2,3,-4,'?','?','?','?',0,-6,-4,5,3,3,-3,0,-10,-1,9,-6,8,-10,0,-3] not matched ['(855,', "u'6*a-33',"] u'CL') [-1,'?','?',6,-4,-4,'?','?',-2,2,0,-8,-2,-6,4,-8,2,10,-16,4,8,-8,2,6] not matched ['(869,', "u'a+29',"] u'CL') [-1,-4,-2,4,'?','?',-4,-6,2,-6,0,4,-2,0,4,-8,-10,-8,0,10,'?','?',-2,6] not matched ['(880,', "u'4*a+28',"] u'CL') ['?',4,'?',-10,'?','?',2,2,0,-6,8,8,6,-6,-12,6,14,-10,12,0,14,-10,0,-12] not matched ['(899,', "u'-27*a+10',"] u'CL') [3,4,0,-2,-4,2,2,-8,'?','?','?','?',2,-2,12,-4,-10,-4,10,-4,8,-4,-6,14] not matched ['(899,', "u'-5*a+33',"] u'CL') [-1,-4,0,-10,-2,-4,0,-2,'?','?','?','?',10,-2,-12,-4,0,10,12,-6,4,-4,6,2] not matched ['(900,', "u'30',"] u'CL') ['?','?','?',-2,0,0,4,4,6,6,8,8,-6,-6,0,0,-10,-10,0,0,-8,-8,-18,-18] not matched ['(905,', "u'27*a-16',"] u'CL') [-1,2,'?',-2,0,0,4,4,10,2,-4,0,2,-6,-12,4,6,-2,8,-12,8,0,-6,6] not matched ['(979,', "u'-6*a-29',"] u'CL') [-3,-4,0,-8,'?','?',-4,0,2,-6,-2,0,-12,-10,12,-6,-6,0,-4,16,2,8,'?','?'] not matched ["(u'324',", "u'18',"] u'QT') ['?','?',4,10,-2,-2,0,0,0,0,-8,-8,-2,-2,10,10,2,2,-12,-12,0,0,-10,-10] not matched ["(u'400',", "u'20',"] u'QT') ['?',2,'?',10,0,0,4,4,-6,-6,-4,-4,6,6,-12,-12,2,2,-12,-12,-8,-8,6,6] not matched ["(u'405',", "u'18*a-9',"] u'QT') [-3,'?','?',-14,4,4,4,4,2,2,0,0,-10,-10,4,4,-2,-2,8,8,0,0,6,6] not matched ["(u'605',", "u'4*a+23',"] u'QT') [1,-2,'?',-14,'?','?',4,8,6,6,4,-8,-6,-6,0,-12,-2,-10,0,0,-8,-4,-6,18] match ["(u'725',", "u'5*a+25',"] u'QT') [2,-3,'?',-8,-2,5,1,8,'?','?',-10,-3,0,7,3,-4,13,-8,2,-12,-10,4,-13,-6] match ["(u'725',", "u'5*a+25',"] u'QT') [2,5,'?',6,0,-3,-7,6,'?','?',-8,-7,8,-5,-9,4,-7,6,6,0,4,-8,-1,14] not matched ["(u'775',", "u'25*a-10',"] u'QT') [-1,2,'?',6,0,4,4,0,2,2,'?','?',2,2,12,-12,10,-2,16,-4,8,-16,-18,-10] match ["(u'775',", "u'25*a-10',"] u'QT') [2,2,'?',-3,-6,1,4,6,-7,8,'?','?',-1,-1,-3,-9,-14,-2,-8,-10,-10,11,0,-1] match ["(u'891',", "u'27*a-18',"] u'QT') [1,'?',2,2,'?','?',-4,4,2,-6,8,-8,-2,6,-12,-12,-2,-2,8,-8,8,16,14,-2] match ["(u'961',", "u'-5*a-29',"] u'QT') [-3,-2,2,2,-4,-4,-4,4,-2,2,'?','?',-6,-6,12,-4,-6,-2,8,0,0,16,-10,-6] match ["(u'961',", "u'-5*a-29',"] u'QT') [0,5,1,5,4,-1,-5,5,-5,-5,'?','?',9,-6,0,5,9,-11,4,-3,0,-5,-5,15] match ["(u'145',", "u'11*a-8',"] u'TF') [-2,3,'?',8,5,-2,-8,-1,'?','?',-3,-10,7,0,4,-3,-8,13,-12,2,-4,10,6,13] match ["(u'199',", "u'-3*a+16',"] u'TF') [0,0,1,5,2,-3,5,0,0,0,-8,2,-8,-3,-5,10,2,7,-3,2,10,-10,0,-10] not matched ["(u'396',", "u'-18*a+12',"] u'TF') ['?','?',3,11,'?','?',-1,-1,-9,0,-10,5,-6,9,-12,9,8,-1,12,3,-10,14,9,-6] not matched ["(u'404',", "u'18*a-8',"] u'TF') ['?',0,1,-10,2,-3,-5,5,0,5,-8,7,-8,-3,0,10,-3,-8,2,12,10,0,0,-15] not matched ["(u'431',", "u'19*a-14',"] u'TF') [2,-5,0,-4,0,6,-1,5,9,-9,2,-4,9,-9,-12,-12,-4,8,3,-6,-1,-4,15,-6] not matched ["(u'464',", "u'4*a+20',"] u'TF') ['?',0,4,2,-4,0,-6,4,'?','?',-2,-8,-12,6,0,6,6,-4,10,16,-4,4,6,-6] match ["(u'484',", "u'22',"] u'TF') ['?',5,-4,5,'?','?',5,5,-5,-5,7,7,-8,-8,0,0,-13,-13,-3,-3,0,0,15,15] not matched ["(u'639',", "u'-3*a-24',"] u'TF') [-2,'?',-1,8,5,-2,6,6,2,9,4,-3,0,-7,-10,-3,6,-1,'?','?',-4,-4,6,-8] not matched ["(u'704',", "u'-24*a+16',"] u'TF') ['?',-2,0,-8,'?','?',6,4,10,2,-2,4,0,-6,4,-8,-8,-10,4,-8,10,0,6,-10] match ["(u'784',", "u'28',"] u'TF') ['?',6,2,'?',0,0,-4,-4,-2,-2,-8,-8,6,6,4,4,-6,-6,12,12,4,4,10,10] not matched ["(u'829',", "u'26*a-17',"] u'TF') [-1,-5,0,-4,-3,-3,5,-4,3,0,-7,2,0,12,-3,-12,5,2,6,6,-4,11,-18,-6] match ["(u'836',", "u'-2*a-28',"] u'TF') ['?',5,1,10,'?','?','?','?',0,-5,-3,-3,2,12,0,-10,2,2,-3,12,-5,-15,15,0] match ["(u'836',", "u'26*a-10',"] u'TF') ['?',4,0,-4,'?','?','?','?',-6,6,-4,-4,0,0,12,6,-10,8,6,0,8,8,-6,-18] match ["(u'836',", "u'-26*a+10',"] u'TF') ['?',4,0,-4,'?','?','?','?',-6,6,-4,-4,0,0,12,6,-10,8,6,0,8,8,-6,-18] not matched ["(u'895',", "u'-2*a+31',"] u'TF') [2,-2,'?',5,3,0,5,5,6,0,-7,-1,-3,0,3,-9,-4,2,0,-6,8,-1,-9,-6] not matched }}} {{{id=13| f=open('/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt') for s in f.readlines(): A=s.split() I=K(eval(eval(A[1])[0])) I=K.ideal(I) J=K(eval(eval(A[2])[0])) J=K.ideal(J) L=A[6:] if J.integral_basis()[1][0] < I.integral_basis()[1][0]: I,J = J,I for k in range(4,24,2): L[k],L[k+1] = L[k+1],L[k] R = L[:4] for k in range(4,24,2): R.append(L[k+1]) R.append(L[k]) R=str(R).replace("'",'').replace(' ','').replace('"',"'") found1=db.toy.find(a_p=R) found1=list(found1) L = str(L).replace("'",'').replace(' ','').replace('"',"'") found = db.toy.find(a_p=L) found = list(found) if found1 and (K.ideal(eval(found1[0]['cond1'])).divides(I) or K.ideal(eval(found1[0]['cond2'])).divides(I)): db.toy.delete(a_p=R) if found and (K.ideal(eval(found[0]['cond1'])).divides(I) or K.ideal(eval(found[0]['cond2'])).divides(I)): db.toy.delete(a_p=L) /// Traceback (most recent call last): J=K.ideal(J) File "", line 1, in File "/tmp/tmpC3jTBO/___code___.py", line 3, in f=open('/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt') IOError: [Errno 2] No such file or directory: '/Users/sharaba/Desktop/Curves/KnownIsoClasses.txt' }}} {{{id=26| len(list(db.toy.find('i_lbl!=1'))) /// 99 }}} {{{id=47| L /// '[1,?,2,?,4,-4,-8,0,6,-10,4,-4,6,6,-4,12,6,-10,0,-8,-8,8,6,6]' }}} {{{id=46| list(db.toy.find(a_p=L)) /// [{u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'21', u'a_p': u"[1,'?',2,'?',4,-4,-8,0,6,-10,4,-4,6,6,-4,12,6,-10,0,-8,-8,8,6,6]", u'cond2': u'21', u'N': 441, u'c_lbl': u'a', u'eta': 882, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}] }}} {{{id=16| A=f.readline().split();A /// ['(31,', "u'5*a-2',", "u'-5*a+3',", "u'[1,a+1,a,a,0]',", "u'[1,-a-1,a,0,0]',", "u'J')", '-3', '2', '-2', '2', '4', '-4', '4', '-4', '-2', '-2', "'?'", "'?'", '-6', '-6', '12', '-4', '6', '-2', '-8', '0', '0', '16', '10', '-6'] }}} {{{id=17| I=K(eval(eval(A[1])[0]));I /// 5*a - 2 }}} {{{id=18| I=K.ideal(I);I /// Fractional ideal (5*a - 2) }}} {{{id=19| L=A[6:];L /// ['-3', '2', '-2', '2', '4', '-4', '4', '-4', '-2', '-2', "'?'", "'?'", '-6', '-6', '12', '-4', '6', '-2', '-8', '0', '0', '16', '10', '-6'] }}} {{{id=20| L = str(L).replace("'",'').replace(' ','').replace('"',"'");L /// "[-3,2,-2,2,4,-4,4,-4,-2,-2,'?','?',-6,-6,12,-4,6,-2,-8,0,0,16,10,-6]" }}} {{{id=21| found=list(db.toy.find(a_p=L));found /// [{u'count': 0, u'Lstar': 0.0, u'i_lbl': u'a', u'cond1': u'5*a - 2', u'a_p': u"[-3,2,-2,2,4,-4,4,-4,-2,-2,'?','?',-6,-6,12,-4,6,-2,-8,0,0,16,10,-6]", u'cond2': u'-5*a + 3', u'N': 31, u'c_lbl': u'a', u'eta': 63, u'optimal_curve': 1, u'r': 0, u'adj': u'mtrx'}] }}} {{{id=22| db.toy.delete(a_p='delete') /// }}} {{{id=23| db.toy.find_one()['a_p'] /// u'[-3,2,-2,2,4,-4,4,-4,-2,-2,%,%,-6,-6,12,-4,6,-2,-8,0,0,16,10,-6]' }}} {{{id=24| len(CL) /// 0 }}} {{{id=54| /// }}} {{{id=25| def printer(): J=open('/Users/sharaba/Desktop/Unmatched.txt','w') for y in unmatched: S=[] for entry in y: s=str(entry) s.replace(' ','') S.append(s) J.write(' '.join(S)+'\n') /// }}} {{{id=37| printer() /// }}} {{{id=38| /// }}} {{{id=56| I1=K.ideal(4*a+17) I2=K.ideal(-4*a+21) I3=K.ideal(a+18) I4=K.ideal(a-19) I5=K.ideal(4*a+17) I6=K.ideal(-4*a+21) /// }}} {{{id=59| I3==I6 /// False }}} {{{id=58| I3.gens_reduced() /// (a + 18,) }}} {{{id=57| I6.gens_reduced() /// (-4*a + 21,) }}} {{{id=60| /// }}}