# pack-refs with: peeled fully-peeled sorted 
59f7f10087b32ec5bb7034800e1120bb3566b4cf refs/remotes/origin/BAPA-interpolation
5b80030682de74b949e8602f01466c67df08e874 refs/remotes/origin/algebra
aad6259c439922d0a7f1735e5281f3bbb9814bc4 refs/remotes/origin/arrays
df4a86ac5f4516ae5653b89eb5741179f0508afc refs/remotes/origin/benignQuantifiers
08f2ff7230f8d8d6d0b37abb3d9ce16b50ab63b6 refs/remotes/origin/bit-vectors
14edfbafcfbcc787dd92d9ee353b9a0a21138ad5 refs/remotes/origin/boolean-abbrev
8576aa75f1fb9251a7dd5d2f226663b1285ec584 refs/remotes/origin/breu-connect
f6fc522c0391e27729b49c8589e359c46572ca8d refs/remotes/origin/breu-connect2
26553a80269cfd6c20809ff1848763d2585f16ba refs/remotes/origin/capture-groups
fa6fa1f4629e063fae5a8e423eee87501ae2ad2c refs/remotes/origin/casc-tptp-classifier-version
ed757382fe6a588e26ac9b979a5fbe1dbeb81ded refs/remotes/origin/casc-tptp-version
825ae7841443bfc214b987c49375825272d9e6b8 refs/remotes/origin/generalised-smt-parser
47bc9ca739515bec8f83f9bd3d510f7ac388c962 refs/remotes/origin/heap
e8671ef7c279e498d3844cacd9d023b966d67a11 refs/remotes/origin/last-scala-2.9-version
a11c0c2ccc9f1ff647033d8f8108790109083518 refs/remotes/origin/lemmas
be118954ad83208c0d329ef59e16293ce832b247 refs/remotes/origin/main
28417eb3253c5926e9a32cff9473205277db25af refs/remotes/origin/master
0f3a734817546eefde6e80dd7644010e98f7e13e refs/remotes/origin/newFunctionEncoder
8a593ec1a6ebd19cd2f0693dff98782bb36b680b refs/remotes/origin/newProofFormat
5cb0f9d17ff0b0c3bd3a3ea15869e7f05f8d6439 refs/remotes/origin/nia
4f10bcfefec483e61a03593672490b7aeef1eb7c refs/remotes/origin/optimised-reducer
58b2e0e0974dc5349c45b0a22387321e88c7c485 refs/remotes/origin/optimisedLinearCombs
23c68f163623677f93af67b3011a14ee94410e33 refs/remotes/origin/scala-2.13
106785c3654733c021103175c91f3b36a72c4eed refs/remotes/origin/sorted-vars
188c63f36fe5d7eb0a20cb46795e96c44ecb058b refs/remotes/origin/string-theory
1b6cc6acb12643bd8f4208950305e432542b0e83 refs/remotes/origin/types
ec1dbdc157ece0755259b942c2fba27501936a92 refs/remotes/origin/unification-modulo
9e23e77517d234631cc6f5a6032df316d720dd50 refs/tags/2010-08-31
3e5e699eb44f15946bc4f58add760202c40a1276 refs/tags/casc-tptp-version-2012-06-04
b7613a658a7560f14e596dfd70aeb543ae376315 refs/tags/casc-tptp-version-2017-07-17
daac368a17c472fb536e0ee1a90ae454ff442715 refs/tags/snapshot-2010-08-31
d6492d4ce9887ddb4ed335e6a6125cc0674aa22f refs/tags/snapshot-2010-11-10
317a8e02931395f586c1cee1a506fce8e665324c refs/tags/snapshot-2011-05-02
59d141293d5e0149608aef42401939bc1b7610f3 refs/tags/snapshot-2011-05-27
dd67fc2034b1943a56fd55fe168ce6ffc6edac6a refs/tags/snapshot-2011-07-15
ec7374e3aeee11d24f9e56ec116ca84a6b166049 refs/tags/snapshot-2011-09-10
74443f0cc464016e280d37a3ed0d506b52385719 refs/tags/snapshot-2011-10-02
f7fa61a2f10fd19de3dae1bbffaff083eb8e9003 refs/tags/snapshot-2011-11-12
27d8de726db3d840626999a5656b06c4812e3519 refs/tags/snapshot-2012-01-03
4449af057d5b7f46a6150d1c313bb08ba0125c96 refs/tags/snapshot-2012-05-04
476ddfdf6390eadef7d58e450c57faecfd05047b refs/tags/snapshot-2012-06-04
4d1726ab39badd363e505f46dd85278b3a289f5d refs/tags/snapshot-2012-11-02
0f16e06c6119f4a4d48ce8b1755b24c5ff1e1f5d refs/tags/snapshot-2013-04-21
0f8b27050834d1093d793ae6c55bace7307b291a refs/tags/snapshot-2013-09-06
f358028ea4af7a122cf5092f8fdc08a0671ee9f7 refs/tags/snapshot-2014-02-10
965ca0c9c4685ef0ab64739c4a4cbc4f68323a04 refs/tags/snapshot-2014-08-27
291e09fa1e373e8edb5d472dca7350821fe40503 refs/tags/snapshot-2015-03-11
a1df3d1e270306de4f176218ad3d35170bfbc0e2 refs/tags/snapshot-2015-12-07
0eea266c012f7bee62aed6155ecd18cc982c0343 refs/tags/snapshot-2016-07-01
efe04980131a1c09ea732de9de39e57110eb5dda refs/tags/snapshot-2016-12-26
21944a79cf5df0c2f23a33d0d7e1fb337b491046 refs/tags/snapshot-2017-07-17
086bbd1902aa5a4707cecdede285e0eb2e9a19cb refs/tags/snapshot-2017-12-06
a1408ef3e8c8f154e3e2985fc44222068303e400 refs/tags/snapshot-2018-01-27
f5482ad16a1537ca0b11f02607c127eeb0f6c3a3 refs/tags/snapshot-2018-05-25
e6aaf5264e96feb5e4a4d0459470602efdeb3332 refs/tags/snapshot-2018-10-26
2ea9ac73827964f2e564a86ca618b0345c6cdd5e refs/tags/snapshot-2019-07-24
335650a0f64f71351b045d933466e4841b78edc3 refs/tags/snapshot-2019-10-02
f761f4e9ec4016d4644be3b25fb5a0ee0d90d237 refs/tags/snapshot-2019-11-20
fecbb83407feb5729db45afad2440cfde10fa033 refs/tags/snapshot-2020-03-12
53989147b4b501354e2862aa7a6299a14aaa2259 refs/tags/snapshot-2020-07-13
24e3d0b5912eeb920dd77ba066e710799055debc refs/tags/snapshot-2020-09-18
d5c28c673eb6128c34a6c4d8223fc352e754b651 refs/tags/snapshot-2021-03-10
dcab13aba4eb23e464f6083ee0a9c9a1d2ea37ae refs/tags/snapshot-2021-04-09
8311b03a6a599242ecd8b567fc958482b508f8b6 refs/tags/snapshot-2021-05-10
7df0da0e02a92684ffdc4b2387c86a9b1d7a7aa6 refs/tags/snapshot-2021-06-28
f96f4bb35c4eff90da0f4328b512c64883b6d644 refs/tags/snapshot-2021-11-15
cbd4d1331514b826d66ac2eb183a6704b9cd1ca4 refs/tags/snapshot-2022-07-01
b8280e70269a554c20b52dccb735af80e4bf1ab0 refs/tags/snapshot-2022-11-03
