# pack-refs with: peeled fully-peeled sorted 
38fd0f161a08125cebc3619494a1b81714b46675 refs/heads/attr-checks
46d4aebe9485bb92daa1035cb7c4cb459e519412 refs/heads/cvc5
762fcdddcd3cd8ca6b74f4c4de240bf34f8668e2 refs/heads/develop
52ae74d07301ab3f9b5f1535bdad54083b58c01c refs/heads/develop2
55d717e466718efb82a3b4f53e2182ff3c5bd337 refs/heads/eqRewriter
7b590199cd5d8b73cb98f6489ce5688cdbbb1522 refs/heads/eqRewriter2
95a702876831600fdabb4ae3096af9b9d930b5b2 refs/heads/eqRewriter3
9763df4ce4f26bde86031edb3a8220f4887f6a9c refs/heads/eqRewriter4
e32acb62fc31fe6676cf934d9d829eaf31e9d001 refs/heads/extVariant
2de1dc2e2b3c73e3217ee1201b1e7e54b9f028b7 refs/heads/master
ad4489b03c97daf87485fb18f08b1441519977d3 refs/heads/matchIndex
e686751de05689424680eb5b09c1ce487245db65 refs/heads/matchIndex2
87b45555ddab3123ccfd4ed6792f3eaa2476dfcd refs/heads/newEqRewriter
ab7796fb9417a09173aac2ea7308814136582d15 refs/heads/readline
0824e7b6f2190e22992fc37960fd1ba52c222103 refs/heads/rpo
741c176b4907d0f07341b5c85a437217f23aa0bf refs/heads/unroll
bcd9e90cdf1192dd8bc4c3726c47951bd6465e23 refs/heads/unroll2
ce094cec1e1124181567a7f9fb82fcca2764d1a5 refs/heads/unroll3
8d53814eaf65adc86b390823e3438c616c5ec737 refs/heads/unroll4
baa887c7714b577f7795ce20d68cf76d6e31ea73 refs/heads/viewFix
c98c45cb6b31b0bb5c9f076bb8cc1b6940321e05 refs/pull/1/head
1dab5409ce0c4f7f450c9905fb2aa6a9c6ac6f9e refs/pull/10/head
5e62de945f2c8d276b6544e5376a601e822acac1 refs/pull/10/merge
a33068b96e3fcb094643d989a807c88fce503e8b refs/pull/12/head
756ef0797b22b75089468f90a16af72f9da89c0e refs/pull/14/head
244d9e29d729a304efb02ce435f87e6491c148df refs/pull/15/head
b2c5a1cf41f0e8d4d5f2d4af810b5c0d5b003f51 refs/pull/16/head
088cbb796cd2042b9fd2beab1d1e61454f34a1d1 refs/pull/9/head
a8e0763b0a3b918d98029cb1cf321ef398b438dc refs/tags/3.2.1
5633bfac848c42e8bbbefdd05a87a2a8d0679f46 refs/tags/3.2.2
fa007492c5938e47cbb3dfad1d02ff7ce0c6e07b refs/tags/3.2beta
a7bcd1bb031b31ab472f5f79b7827dc278bd27e5 refs/tags/Alpha133
c6f042a60ca79f3b3d3dfacece6016feac5473de refs/tags/Alpha134
4b3cd6ada8f7887845f0bf04d879d86b4f0e5a53 refs/tags/Alpha135
2c80ef9244616474acae90a45df501fa47579253 refs/tags/Alpha136
b1edb4f68ec04e3663535139ac3a6af5fc30bad8 refs/tags/Alpha139
26af9f280b43d59c2709b7067ffc6e46964ade49 refs/tags/Alpha140
7a17d0f9ec2b02a96d36a17472a9dd3a615d6b20 refs/tags/Alpha141
e6a939f025841c81df56ce59de1d1ebab19f471f refs/tags/Alpha144
efe25b6a2b2415c9178ed15425e2b800cd126bd6 refs/tags/Alpha146
80af5d07fa6209f4c183e7a670e12556ca5f0052 refs/tags/Alpha147
1d9862b26274b7ce868075a18611351d5ae0b8a9 refs/tags/Alpha148
174571254bd58fcfe7976590d9fc23ed6e0ae2ba refs/tags/Alpha149
8d8d93f071810a0016dc6903088d025b48c8c42f refs/tags/Alpha150
ac09422c2a4d2687dbaa85869f9e4e5165723a56 refs/tags/Alpha151
15ca5b2e7fe85d93ea1d38ae9cf8716c10de4bdc refs/tags/Alpha152
a99e7cbea18ebb1b5cd08e4ee0b0851ebc910938 refs/tags/Alpha153
2a733954e38e53feda0fbe9faaca6488016d32de refs/tags/Alpha154
7ea21f1ba32e6f5a456536933a4555cc8e871cbd refs/tags/Alpha155
ceb45942642b2e5efdab7c747769c9de35ac3202 refs/tags/Alpha156
b58a500b05508db5e84bfb489af427d1635c9a1e refs/tags/Alpha157
afc6f2bd6129e4892632d61e88c6e69b5819a5b6 refs/tags/Alpha160
bb99ad5a1e082c8f1f585d0acf36171c78af5b53 refs/tags/Alpha161
e4732f7b80fa6be9f07f11d00e3b94cda260f22a refs/tags/Alpha162
242b70437b33fc0f903102ef59b72d6a26598e61 refs/tags/Maude2.0
242b70437b33fc0f903102ef59b72d6a26598e61 refs/tags/Maude2.0.1
1466a55e767b1a9f056e95640e0dcc3d25b4d37a refs/tags/Maude2.1
1466a55e767b1a9f056e95640e0dcc3d25b4d37a refs/tags/Maude2.1.1
f58b8fe516155f11652c0598137115938bf65eed refs/tags/Maude2.2
13282c95769dfb09a7edd47d2bb8c07f170ceaab refs/tags/Maude2.3
241f8e6f80146b7515ea04994fa6ac5f6f069a73 refs/tags/Maude2.4
616431b33d93e83030aa5383534c2041531944a8 refs/tags/Maude2.5
ba33c4f425d127b93fce93b98c980225197b963a refs/tags/Maude2.6
ca0cab72c8535a6190a1a4096ee5731aeb5c2693 refs/tags/Maude2.7
7935c19a6dd2f2b7f5ca7826e8119ed3f0baf40c refs/tags/Maude2.7.1
990706bfc947fbeec7a74dbd8903ebe1e4fd0db9 refs/tags/Maude3.0
797a2f1ddd63d3b3718c51e74e655981e5cd721c refs/tags/Maude3.1
6cf842fd1490b55a38954562571b69365e8aad44 refs/tags/Maude3.2
ee2514f6fc0c3f082d8238a4ee6292bbacd42013 refs/tags/Maude3.3
5cf20150cceda6693c63930bc3287412b8f774a2 refs/tags/Maude3.3.1
1c34086ce4a8d5a2015efbf4720e5e554869e739 refs/tags/Maude3.3beta
1686c27c9e3a423e302e17e6dfb82e731915150a refs/tags/Maude3.4
b84977558a4b7afe8da5333daf20f3bc8de14215 refs/tags/Maude3.4beta
cfcf562b96b621fb7985e3abc2ba3e71010109a7 refs/tags/Maude3.5
7269fc720072a2cd8b7222736721ba26dd3752b2 refs/tags/Maude3.5.1
889953a0041584a83d18d295bd67871791dae1c0 refs/tags/Maude3.5beta
2c80ef9244616474acae90a45df501fa47579253 refs/tags/alpha136
2de1dc2e2b3c73e3217ee1201b1e7e54b9f028b7 refs/tags/nightly
