Proofgold bounties

Open bounties

TMNct..^t32_series_3 25.00
TMJs6..^t33_yellow10 25.00
TMK5y..^t20_fib_num3 25.00
TMGAb..^t33_mboolean 25.00
TMKWL..^t1_axioms 25.00
TMHyo..^t33_fintopo2 25.00
TMbTe..^t1_sin_cos2 25.00
TMVeR..^t1_comseq_2 25.00
TMGkU..^t20_quin_1 25.00
TMbMi..^t32_domain_1 25.00
TMNL2..^t33_fuzzy_2 25.00
TMX55..^t19_taxonom2 25.00
TMVAu..^t19_topgen_1 25.00
TMXAP..^t1_bvfunc_7 25.00
TMKH2..^t1_algspec1 25.00
TMWRm..^t32_tops_1 25.00
TMEzA..^t19_measure2 25.00
TMYg3..^t19_toler_1 25.00
TMHqs..^t32_ordinal2 25.00
TMZAg..^t33_setfam_1 25.00

Collected bounties

34346.. 25.00
20620.. 25.00
4098c.. 25.00
1c18f.. 25.00
133cc.. 25.00
63812.. 25.00
51178.. 25.00
69709.. 25.00
5b581.. 25.00
100e6.. 25.00
da269.. 25.00
ebc25..^{conj_Diophantine_TMHefzm8R6PycQg5cKUWKcqsn1C4J4NRUZt} 25.00
15a64.. 25.00
6c904.. 25.00
0d55d.. 25.00
64e09.. 25.00
59ccc..^{conj_Diophantine_TMEzzxbPUZAg2PoZj6zitYaMiU3oHCYCwWM} 25.00
0b9a6.. 25.00
3ce40.. 25.00
da36c.. 25.00

Open sum
308,364.07

Collected sum
209,545.88