Proofgold bounties

Open bounties

TMacw..^t13_bvfunc_2 25.00
TMXAM..^t12_projred2 25.00
TMGgh..^{t144_member_1} 25.00
TMZ3x..^t12_pythtrip 25.00
TMXeZ..^t14_partit1 25.00
TMNrV..^t17_autgroup 25.00
TMdR6..^t18_polyeq_1 25.00
TMdet..^t19_connsp_2 25.00
TMEy1..^t10_radix_1 25.00
TMKGG..^t16_int_1 25.00
TMXAp..^t18_bcialg_3 25.00
TMPNf..^l7_series_2 25.00
TMLt3..^t17_rfunct_2 25.00
TMNYT..^t12_polyeq_1 25.00
TMH4V..^l13_euclid_6 25.00
TMPLr..^l21_menelaus 25.00
TMFQY..^t16_hessenbe 25.00
TMMCy..^l70_aff_4 25.00
TMSeq..^l20_series_5 25.00
TMQQE..^t17_yellow20 25.00

Collected bounties

cae9a.. 25.00
8c107.. 25.00
3f0d2.. 25.00
d22fa.. 25.00
aefa3.. 25.00
90f17.. 25.00
d7022.. 25.00
0008e.. 25.00
5f782.. 25.00
35e2b.. 25.00
11a9d.. 25.00
1ddc7.. 25.00
7fba8.. 25.00
056f4.. 25.00
3ab71..^{MetaCat_struct_b_quasigroup_initial} 25.00
aa3f3..^{MetaCat_struct_b_semigroup_terminal} 25.00
ad386..^{MetaCat_struct_b_abelian_group_terminal} 25.00
40a5e..^{MetaCat_struct_c_terminal} 25.00
05e4b..^{MetaCat_struct_c_initial} 25.00
e4b9e..^{MetaCat_struct_b_monoid_terminal} 25.00

Open sum
308,364.07

Collected sum
209,545.88