>>11909000 (lb) nice digits.

Too expensive for taxpayers. 9mm to the dome for .49 cents a round. Hang em all with the same noose for $5 in rope. Use body for fertilizer or pet food or something useful. Help them turn their lives around posthumously.