success_target = ['mathd_algebra_478',
 'mathd_algebra_141',
 'mathd_numbertheory_3',
 'mathd_numbertheory_1124',
 'mathd_algebra_33',
 'mathd_numbertheory_299',
 'amc12b_2020_p2',
 'mathd_algebra_419',
 'mathd_algebra_398',
 'mathd_algebra_160',
 'mathd_algebra_24',
 'mathd_algebra_176',
 'mathd_numbertheory_12',
 'mathd_numbertheory_345',
 'mathd_numbertheory_447',
 'mathd_algebra_171',
 'mathd_algebra_188',
 'mathd_numbertheory_175',
 'mathd_algebra_346',
 'mathd_numbertheory_728',
 'mathd_algebra_44',
 'mathd_numbertheory_293',
 'mathd_numbertheory_769',
 'mathd_numbertheory_207',
 'mathd_numbertheory_342',
 'mathd_algebra_107',
 'mathd_algebra_412',
 'amc12a_2013_p4',
 'mathd_numbertheory_343',
 'mathd_algebra_388',
 'mathd_algebra_432',
 'amc12b_2020_p6',
 'mathd_algebra_427',
 'mathd_algebra_76',
 'algebra_sqineq_unitcircatbpamblt1',
 'mathd_algebra_329',
 'mathd_numbertheory_229',
 'amc12a_2002_p6',
 'mathd_algebra_129',
 'mathd_numbertheory_551',
 'mathd_algebra_304',
 'amc12b_2002_p19',
 'mathd_algebra_113',
 'mathd_numbertheory_212',
 'mathd_algebra_125',
 'mathd_algebra_148',
 'mathd_algebra_440',
 'mathd_numbertheory_254',
 'mathd_algebra_513',
 'mathd_algebra_143',
 'mathd_algebra_354',
 'mathd_algebra_246',
 'mathd_numbertheory_85',
 'mathd_numbertheory_239',
 'amc12b_2002_p2',
 'mathd_numbertheory_517',
 'mathd_numbertheory_66',
 'mathd_numbertheory_235',
 'mathd_algebra_359',
 'mathd_algebra_314',
 'mathd_algebra_302',
 'mathd_algebra_139',
 'aime_1989_p8',
 'mathd_algebra_142',
 'mathd_algebra_400',
 'mathd_algebra_338',
 'mathd_algebra_270',
 'mathd_numbertheory_185',
 'mathd_algebra_441',
 'mathd_numbertheory_582',
 'mathd_algebra_209',
 'mathd_numbertheory_237',
 'algebra_sqineq_at2malt1',
 'mathd_algebra_80',
 'mathd_algebra_263',
 'mathd_algebra_484',
 'mathd_numbertheory_100']

valid_success = ['mathd_algebra_182', 'mathd_numbertheory_169', 'mathd_numbertheory_149', 'mathd_algebra_462', 'mathd_numbertheory_48', 'mathd_numbertheory_466', 'mathd_algebra_48', 'mathd_numbertheory_132', 'amc12a_2009_p5', 'mathd_numbertheory_188', 'mathd_algebra_101', 'amc12_2000_p5', 'mathd_numbertheory_200', 'mathd_algebra_455', 'mathd_numbertheory_45', 'mathd_numbertheory_739', 'mathd_algebra_245', 'mathd_algebra_126', 'amc12a_2008_p2', 'mathd_algebra_35', 'mathd_numbertheory_335', 'amc12a_2021_p7', 'mathd_algebra_192', 'mathd_numbertheory_102', 'mathd_numbertheory_81', 'mathd_algebra_110', 'mathd_algebra_15', 'mathd_numbertheory_211', 'mathd_numbertheory_640', 'algebra_2rootsintpoly_am10tap11eqasqpam110', 'mathd_algebra_55', 'mathd_algebra_214', 'mathd_algebra_96', 'algebra_binomnegdiscrineq_10alt28asqp1', 'amc12a_2009_p2', 'mathd_algebra_234', 'mathd_algebra_536', 'mathd_algebra_22', 'algebra_2complexrootspoly_xsqp49eqxp7itxpn7i', 'mathd_numbertheory_37', 'mathd_algebra_37', 'mathd_numbertheory_301', 'algebra_sqineq_36azm9asqle36zsq', 'mathd_algebra_104', 'mathd_numbertheory_252', 'algebra_3rootspoly_amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta', 'mathd_numbertheory_403', 'mathd_algebra_190', 'mathd_numbertheory_269', 'mathd_numbertheory_101', 'mathd_algebra_451', 'mathd_algebra_144', 'mathd_algebra_410', 'mathd_algebra_109', 'algebra_2rootspoly_apatapbeq2asqp2ab', 'mathd_algebra_568', 'mathd_algebra_616', 'mathd_algebra_159', 'mathd_algebra_323', 'algebra_manipexpr_apbeq2cceqiacpbceqm2', 'mathd_numbertheory_370', 'mathd_algebra_67', 'mathd_algebra_123', 'mathd_numbertheory_30', 'mathd_numbertheory_961', 'algebra_manipexpr_2erprsqpesqeqnrpnesq', 'mathd_algebra_119', 'numbertheory_2dvd4expn', 'algebra_sqineq_2unitcircatblt1', 'amc12a_2017_p2', 'mathd_numbertheory_202', 'mathd_algebra_51', 'mathd_algebra_10', 'amc12a_2013_p7', 'mathd_algebra_251', 'mathd_numbertheory_84', 'amc12a_2008_p4', 'mathd_numbertheory_109', 'mathd_numbertheory_24', 'algebra_apb4leq8ta4pb4', 'mathd_algebra_43', 'algebra_sqineq_2at2pclta2c2p41pc', 'mathd_numbertheory_461', 'mathd_numbertheory_136', 'amc12b_2003_p9', 'mathd_algebra_132', 'algebra_sqineq_4bap1lt4bsqpap1sq', 'mathd_numbertheory_232', 'amc12a_2003_p1', 'algebra_2varlineareq_xpeeq7_2xpeeq3_eeq11_xeqn4', 'mathd_numbertheory_668', 'mathd_algebra_181', 'amc12a_2016_p3']

valid_success_bak = ['mathd_algebra_182',
 'mathd_numbertheory_169',
 'mathd_numbertheory_149',
 'mathd_algebra_462',
 'mathd_numbertheory_48',
 'mathd_numbertheory_466',
 'mathd_algebra_48',
 'mathd_numbertheory_132',
 'amc12a_2009_p5',
 'mathd_numbertheory_188',
 'mathd_algebra_101',
 'mathd_numbertheory_200',
 'mathd_algebra_455',
 'mathd_numbertheory_45',
 'mathd_numbertheory_739',
 'mathd_algebra_126',
 'amc12a_2008_p2',
 'mathd_algebra_35',
 'amc12a_2021_p7',
 'mathd_numbertheory_102',
 'mathd_numbertheory_81',
 'mathd_algebra_110',
 'mathd_algebra_15',
 'mathd_numbertheory_211',
 'mathd_numbertheory_640',
 'algebra_2rootsintpoly_am10tap11eqasqpam110',
 'mathd_algebra_55',
 'mathd_algebra_214',
 'mathd_algebra_96',
 'amc12a_2009_p2',
 'mathd_algebra_536',
 'algebra_2complexrootspoly_xsqp49eqxp7itxpn7i',
 'mathd_numbertheory_37',
 'mathd_algebra_37',
 'algebra_sqineq_36azm9asqle36zsq',
 'mathd_algebra_104',
 'mathd_numbertheory_252',
 'algebra_3rootspoly_amdtamctambeqnasqmbpctapcbtdpasqmbpctapcbta',
 'mathd_numbertheory_403',
 'mathd_algebra_190',
 'mathd_numbertheory_269',
 'mathd_numbertheory_101',
 'mathd_algebra_144',
 'mathd_algebra_109',
 'algebra_2rootspoly_apatapbeq2asqp2ab',
 'mathd_algebra_568',
 'mathd_algebra_616',
 'mathd_algebra_159',
 'mathd_algebra_323',
 'mathd_numbertheory_370',
 'mathd_algebra_123',
 'mathd_numbertheory_30',
 'mathd_numbertheory_961',
 'algebra_manipexpr_2erprsqpesqeqnrpnesq',
 'mathd_algebra_119',
 'numbertheory_2dvd4expn',
 'mathd_numbertheory_202',
 'mathd_algebra_51',
 'mathd_algebra_10',
 'mathd_numbertheory_335',
 'mathd_algebra_192',
 'algebra_sqineq_2at2pclta2c2p41pc',
 'mathd_algebra_234',
 'mathd_algebra_22',
 'amc12b_2003_p9',
 'mathd_algebra_132',
 'algebra_sqineq_4bap1lt4bsqpap1sq',
 'mathd_algebra_410',
 'mathd_algebra_67',
 'mathd_numbertheory_84',
 'mathd_algebra_181',
 'amc12a_2017_p2']

test_success = ['mathd_algebra_478', 'mathd_algebra_141', 'mathd_numbertheory_3', 'mathd_numbertheory_1124', 'mathd_algebra_33', 'mathd_numbertheory_299', 'amc12b_2020_p2', 'mathd_algebra_419', 'mathd_algebra_398', 'mathd_algebra_160', 'mathd_algebra_24', 'mathd_algebra_176', 'mathd_numbertheory_12', 'mathd_numbertheory_345', 'mathd_numbertheory_447', 'mathd_algebra_171', 'mathd_algebra_188', 'mathd_numbertheory_175', 'mathd_algebra_346', 'mathd_numbertheory_728', 'mathd_algebra_44', 'mathd_numbertheory_293', 'mathd_numbertheory_769', 'mathd_numbertheory_207', 'mathd_numbertheory_342', 'mathd_algebra_107', 'mathd_algebra_412', 'amc12a_2013_p4', 'mathd_numbertheory_343', 'mathd_algebra_388', 'mathd_algebra_432', 'amc12b_2020_p6', 'mathd_algebra_427', 'mathd_algebra_76', 'algebra_sqineq_unitcircatbpamblt1', 'mathd_algebra_329', 'mathd_numbertheory_229', 'amc12a_2002_p6', 'mathd_algebra_129', 'mathd_numbertheory_551', 'mathd_algebra_304', 'amc12b_2002_p19', 'mathd_algebra_113', 'mathd_numbertheory_212', 'mathd_algebra_125', 'mathd_algebra_148', 'mathd_algebra_440', 'mathd_numbertheory_254', 'mathd_algebra_513', 'mathd_algebra_143', 'mathd_algebra_354', 'mathd_algebra_246', 'mathd_numbertheory_85', 'mathd_numbertheory_239', 'amc12b_2002_p2', 'mathd_numbertheory_517', 'mathd_numbertheory_66', 'mathd_numbertheory_235', 'mathd_algebra_359', 'mathd_algebra_314', 'mathd_algebra_302', 'mathd_algebra_139', 'aime_1989_p8', 'mathd_algebra_142', 'mathd_algebra_400', 'mathd_algebra_338', 'mathd_algebra_209', 'mathd_numbertheory_237', 'mathd_numbertheory_427', 'mathd_numbertheory_353', 'mathd_numbertheory_328', 'algebra_sqineq_at2malt1', 'mathd_algebra_296', 'mathd_algebra_80', 'mathd_numbertheory_135', 'mathd_algebra_275', 'mathd_algebra_263', 'mathd_numbertheory_233', 'mathd_algebra_270', 'mathd_numbertheory_185', 'mathd_algebra_441', 'mathd_numbertheory_582', 'mathd_algebra_484', 'mathd_numbertheory_100', 'mathd_numbertheory_150', 'aime_1990_p4', 'mathd_numbertheory_321', 'amc12a_2021_p9', 'mathd_numbertheory_341', 'mathd_numbertheory_127', 'mathd_algebra_158']

