Proofgold bounties

Open bounties

TMWSm..^t26_series_4 25.00
TMdmG..^l29_projred2 25.00
TMZNE..^t19_bvfunc_3 25.00
TMFsq..^l18_hessenbe 25.00
TMY5y..^t19_arytm_3 25.00
TMMVz..^t17_decomp_1 25.00
TMdkT..^t10_series_4 25.00
TMJgP..^t18_fib_num4 25.00
TMaFc..^{t162_xxreal_1} 25.00
TMYPA..^t12_radix_6 25.00
TMJvD..^l9_fib_num 25.00
TMdDV..^t174_xreal_1 25.00
TMXMt..^t16_bvfunc10 25.00
TMThr..^t14_cfunct_1 25.00
TMJUg..^t13_sin_cos4 25.00
TMVrY..^l30_substlat 25.00
TMKYg..^t19_cqc_the2 25.00
TMV51..^t14_power 25.00
TMcPp..^t19_sin_cos5 25.00
TMUvu..^t19_midsp_2 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