['coeff_0',
 ('3412𝟓', True),
 'coeff_1',
 ('1243𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 'coeff_2',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_3',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_4',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_5',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_6',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_7',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_8',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_9',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_10',
 ('3412𝟓', True),
 'coeff_11',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_12',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_13',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_14',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_15',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_16',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_17',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_18',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_19',
 ('2134𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 'coeff_20',
 ('3412𝟓', True),
 'coeff_21',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_22',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_23',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_24',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_25',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_26',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_27',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_28',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_29',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_30',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_31',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_32',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_33',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_34',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_35',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_36',
 ('3412𝟓', True),
 'coeff_37',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_38',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 ('4312𝟓', True),
 ('4321𝟓', True),
 'coeff_39',
 ('2134𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 'coeff_40',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_41',
 ('2143𝟓', False),
 'coeff_42',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_43',
 ('2143𝟓', False),
 'coeff_44',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_45',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_46',
 'coeff_47',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_48',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_49',
 ('1243𝟓', False),
 ('3412𝟓', True),
 ('4312𝟓', True),
 'coeff_50',
 ('3412𝟓', True),
 'coeff_51',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_52',
 ('2143𝟓', False),
 'coeff_53',
 ('3412𝟓', True),
 'coeff_54',
 ('2143𝟓', False),
 'coeff_55',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_56',
 'coeff_57',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_58',
 ('2143𝟓', False),
 'coeff_59',
 ('1243𝟓', False),
 ('3412𝟓', True),
 ('4312𝟓', True),
 'coeff_60',
 ('2143𝟓', False),
 ('3412𝟓', True),
 'coeff_61',
 'coeff_62',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_63',
 ('2134𝟓', False),
 ('3412𝟓', True),
 ('3421𝟓', True),
 'coeff_64',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_65',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_66',
 ('3412𝟓', True),
 'coeff_67',
 'coeff_68',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_69',
 'coeff_70',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_71',
 ('2143𝟓', False),
 'coeff_72',
 'coeff_73',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_74',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_75',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_76',
 'coeff_77',
 ('2143𝟓', False),
 'coeff_78',
 ('1243𝟓', False),
 ('3412𝟓', True),
 ('4312𝟓', True),
 'coeff_79',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_80',
 ('2143𝟓', False),
 ('3412𝟓', True),
 'coeff_81',
 'coeff_82',
 ('1243𝟓', False),
 ('2134𝟓', False),
 ('2143𝟓', False),
 'coeff_83',
 ('3412𝟓', True),
 'coeff_84',
 ('2143𝟓', False),
 'coeff_85',
 ('2143𝟓', False),
 ('3412𝟓', True),
 ('4321𝟓', True),
 'coeff_86',
 ('2143𝟓', False),
 'coeff_87',
 ('2143𝟓', False)]