준단순 리군에서의 반군: 플래그 유형과 코사이클 추정 | Synapse