Proofgold recent bounties

Recently placed bounties

6793d..^com__nil3_24 130.00
203c2..^aa1_45 130.00
bd861..^nil3_24__aa1 130.00
42fc4..^aK1 130.00
eac1e..^aa1 130.00
975e1..^com__aa1 130.00
79b0e..^{middle_Bol__aa1} 130.00
edea9..^KK_Kcom__aa1 130.00
6fb88..^T1dist__aa1 130.00
76b60..^nil3_24 130.00
6793d..^com__nil3_24 130.00
203c2..^aa1_45 130.00
bd861..^nil3_24__aa1 130.00
TMU92..^{FermatsLastTheorem3} 130.00
TMHZ9..^{FermatsLastTheorem} 5,000.00
6eafe.. 280.00
3f4ba.. 280.00
cc5f9.. 280.00
85942.. 280.00
60395.. 280.00

Recently collected bounties

d61cb.. 25.00
d1baf.. 25.00
7087a.. 25.00
1823d.. 25.00
ea880.. 25.00
aeb5f.. 25.00
d5be2.. 25.00
813f2.. 25.00
6cf9b.. 25.00
078d5.. 25.00
3f9dd.. 25.00
281bb.. 25.00
ce3d6.. 25.00
50893.. 25.00
3976e.. 25.00
45506.. 25.00
4eb01.. 25.00
058da..^{MetaCat_struct_r_partialord_terminal} 25.00
883bd..^{MetaCat_struct_u_inj_terminal} 25.00
bdf9a..^{MetaCat_struct_u_inj_initial} 25.00