Proofgold bounties

Open bounties

TMWPn..^t8_bvfunc_1 25.00
TMLGe..^t8_sin_cos8 25.00
TMHs9..^t58_transgeo 25.00
TMGFt..^t67_sin_cos7 25.00
TMJa1..^t7_aff_3 25.00
TMXWD..^t6_real_3 25.00
TMapT..^t5_latsum_1 25.00
TMPZN..^t58_funct_5 25.00
TMJqV..^t50_ordinal3 25.00
TMVsU..^t57_sin_cos7 25.00
TMW8V..^t4_polyeq_3 25.00
TMYoj..^t80_transgeo 25.00
TMHPP..^t4_waybel20 25.00
TMQsv..^t50_nat_1 25.00
TMVPB..^t5_yellow12 25.00
TMLJm..^t9_bvfunc_3 25.00
TMdPT..^t7_pre_topc 25.00
TMHHF..^t69_group_11 25.00
TMKNo..^t86_setlim_2 25.00
TMMcT..^t63_setlim_2 25.00

Collected bounties

TwoRamseyProp_3_5_Power_4^{TwoRamseyProp_3_5_Power_4} 500.00
c642e..^{not_TwoRamseyProp_6_7_Power_4} 500.00
ce62b..^{not_TwoRamseyProp_4_4_Power_3} 375.00
TwoRamseyProp_3_4_Power_4^{TwoRamseyProp_3_4_Power_4} 375.00
TwoRamseyProp_3_4_Power_5^{TwoRamseyProp_3_4_Power_5} 375.00
TwoRamseyProp_4_4_18^{TwoRamseyProp_4_4_18} 375.00
not_TwoRamseyProp_4_4_17^{not_TwoRamseyProp_4_4_17} 375.00
ea57c.. 375.00
485cd..^{not_TwoRamseyProp_4_4_Power_4} 375.00
TwoRamseyProp_4_4_Power_6^{TwoRamseyProp_4_4_Power_6} 375.00
TwoRamseyProp_4_4_Power_5^{TwoRamseyProp_4_4_Power_5} 375.00
not_TwoRamseyProp_3_7_22^{not_TwoRamseyProp_3_7_22} 300.00
not_TwoRamseyProp_4_6_35^{not_TwoRamseyProp_4_6_35} 300.00
df410.. 280.00
0e5d4.. 280.00
a13e1.. 280.00
b6c37.. 280.00
1288f.. 280.00
57004.. 280.00
c7cce.. 280.00

Open sum
308,364.07

Collected sum
209,545.88