Rank		Username	Points	Problems ▴
801		David	279	158
802	1955	KurbyDoo	343	164
803		Eric_Zhang	394	188
804	1533	Serog1sPerog1s	351	230
805		deodeo	417	245