bueno ya que tienes los registros solo basta hacer un ciclo y que escribas los checkbox mediante echo....
Código PHP:
Ver original<form...>
for($i=0;$i<$total_registros;$i++)
{
<input type="checkbox" name="<?=$a[$i]?>" value="1" />user1<br />
<input type="checkbox" name="<?=$a[$i]?>" value="2" />user2<br />
} ....</form>