Proofgold bounties

Open bounties

TMNsi..^t4_conmetr1 25.00
TMLoD..^t4_series_4 25.00
TMdXP..^t4_bvfunc14 25.00
TMWEM..^t76_cat_3 25.00
TMGFA..^t4_series_5 25.00
TMGFt..^t67_sin_cos7 25.00
TMMgA..^t6_aff_3 25.00
TMEqy..^t4_closure1 25.00
TMLGe..^t8_sin_cos8 25.00
TMJVW..^t65_diff_3 25.00
TMbBk..^t8_waybel10 25.00
TMRAB..^t5_zf_colla 25.00
TMEhR..^t59_robbins2 25.00
TMF7d..^t45_sin_cos4 25.00
TMWxc..^t6_diff_2 25.00
TMKGz..^t45_diff_3 25.00
TMJVp..^t51_seq_1 25.00
TMPng..^t74_complex2 25.00
TMWvE..^t74_group_11 25.00
TMLAN..^t9_bvfunc_4 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