73c6cca08098649678c398d72c68691cb42ce0ea	refs/heads/main
73c6cca08098649678c398d72c68691cb42ce0ea	refs/remotes/nim-propositional-logic.Azumabashi.github.com/main
73c6cca08098649678c398d72c68691cb42ce0ea	refs/remotes/origin/main
ffbeac64ad1048caeeeb3af9b840ca71f063861d	refs/tags/3.1.0
74313b3ef137b1d3467881b0b5a426d343a6d255	refs/tags/v1.0.0
4e552a905779742601ac298a330a04a0b72b4c4f	refs/tags/v1.1.0
5ba6b05bbbfa19f7f3fade9260f283787d72dad5	refs/tags/v1.2.0
02cffadd573c4eb3bd1365987a007276219bf154	refs/tags/v2.0.0
5fbf6f00f28252c413eaae5f3a5e50c6e6e43232	refs/tags/v2.0.2
d0b6925a429c83a4adcfd7b13d302f0dbe0a3a28	refs/tags/v2.1.0
008dd38cd2f2dd774d4ff1746031f0df288d1c06	refs/tags/v2.2.0
097b13fbf821c41e22af20a9322584599fe9eec0	refs/tags/v2.2.1
4b5633c9e9e60c88e6ee797e5413fbd02c67708e	refs/tags/v2.2.2
bb5b4f39e5894383916668ffb24818dabe14d41b	refs/tags/v2.3.0
6f294a72c4dee4adb1350745006a5c4a52df799b	refs/tags/v2.3.1
c11ff780225ba76f7c72f78ac8c27ba985a50b49	refs/tags/v3.0.0
9c80efb9d57c6e6bb9e7aea93320bc96ac704462	refs/tags/v3.2.0
0479612fc892cdb8e3b505f54d35f5eadc759a74	refs/tags/v3.2.1
73c6cca08098649678c398d72c68691cb42ce0ea	refs/tags/v3.3.0