I mean yes, October 7th targeted military targets first and foremost. Even if you blame all casualties on Hamas (which is very much wrong; Israel shelled their own citizens during the attack) you’re looking at a military casualty ratio of 33%.