The Ramanujan Machine

Pos.	User	Points	Championship credits
1	csbyseti	25	4,807,346
2	[AF] Kalianthys	18	4,119,262
3	entity	15	3,163,850
4	PecosRiverM	12	2,713,429
5	zombie67 [MM]	10	2,418,248
6	Cruncher Pete	8	2,246,223
7	FritzB	6	2,021,781
8	LCB001	4	1,815,500
9	gemini8	2	1,532,651
10	Yeti	1	1,465,662
11	miklos. m.	-	1,082,859
12	[DPC] hansR	-	958,628
13	SolidAir79	-	913,693
14	vaughan	-	790,123
15	Sphynx	-	676,712
16	[CSF] Christian Carquillat	-	598,255
17	Ron Shurtz [BlackOps]	-	476,905
18	Opolis	-	387,893
19	bill1024	-	148,825
20	[AF>Libristes] Davlabedave	-	119,508