CREATE TABLE `players` (
`player_id` int(11) NOT NULL AUTO_INCREMENT,
`display_name` varchar(32) NOT NULL,
`auth_system` varchar(6) NOT NULL,
`platform_id` varchar(32) NOT NULL,
`user_level` int(11) NOT NULL,
`rating` double NOT NULL,
PRIMARY KEY (`player_id`),
KEY `platform_auth` (`auth_system`(1),`platform_id`) USING BTREE,
KEY `rating` (`rating`)
) ENGINE=InnoDB AUTO_INCREMENT=7132 DEFAULT CHARSET=latin1