>>219614
ACL2はグループ分けされてるね、
ACLEはグループって枠はないはず。