You can target them by name using attribute selectors, it's not terribly efficient but it'll work and probably work well enough. Just change all your $('input:checkbox')
s to:
$('input[name="option[13]"], input[name="option[14]"], input[name="option[15]"]')
And at the end of the click handler (outside the if), do:
$('#a1').prop(
"checked",
$('input[name="option[13]"], input[name="option[14]"], input[name="option[15]"]')
.is(':checked')
);
EDIT: Actually, I just noticed the IDs on the group of interest, it'll be quicker (and less typing) to hit those. Use the selector:
$('#co33, #co34, #co35')