# pack-refs with: peeled fully-peeled sorted 
374446e66861caf931a3d4c3b4d69e8549448417 refs/remotes/origin/atomics
6ccd1dbf9a5423a1287b11d3530c6973540cfc5d refs/remotes/origin/atomics2
112bc3f70d7630fd2660cd49e1299367e00e212d refs/remotes/origin/atomics3
56e770cb7c192207706b8f12993f5cce143ffd4b refs/remotes/origin/blast
23bb330cb6d5448d8e3a80365e5ea943b5cdaf1a refs/remotes/origin/changes
4f9f12577fa998e71956d9b1650265b1249bed7a refs/remotes/origin/cmain
c691b391e09573b68428ad36df6247e011729fc1 refs/remotes/origin/draft
59adfd583a3e59a83d36be5fa7e412bfa636b282 refs/remotes/origin/egraph
6b2cab1d99bed4ab9336227592743e319ba84514 refs/remotes/origin/fixABS
5331683fa61a5860e921ec957324bfd94256a7f8 refs/remotes/origin/instsubst
f19566f596985dcbf83ef20a5e70c6e63b37dc5b refs/remotes/origin/lambdafol
874c3ce3b351949a8ef1111e86d1e60955db580c refs/remotes/origin/lambdafol2
5e1aa08e5f57e9b01d1ac3ee7310cca66ba7056d refs/remotes/origin/lattices
f64366dc407c471234887d03d2ef83ad0861e8f0 refs/remotes/origin/lattices2
12f73c4f43820262da7c7ea88e8e013ffc82015d refs/remotes/origin/localdefs
e3ab2ea0506d220d25f33ebe021f7b7200bb63a6 refs/remotes/origin/locdefs
712da94931109fe02afb828e906a4c83d312a97e refs/remotes/origin/main
7c078dafd839f7c2957add05f293a7daae2d93c4 refs/remotes/origin/manual
2d8457777135d48d82593ae507aa22f2571122b5 refs/remotes/origin/moveListsExamples
b97cb93e7a10f3ddf97c544df9b7fbf4a502e681 refs/remotes/origin/proofCheckerFix
ebac87ad28770261802d0998bd8697e46c832dd2 refs/remotes/origin/saveProofs
f608d6dc946c2650fa75b76415e38619c9be0a31 refs/remotes/origin/sctptpCade
2e78f1e5c5968d973b986e6104b0f394da833fec refs/remotes/origin/sctptpCade2
eb73b291f22c328750d830f7a85a6b81317e915e refs/remotes/origin/smallLattices
4b8008cb421f260328db8f7ec65f6586e36fa798 refs/remotes/origin/smallTacticImprovement
e24c6d5ced680017d089ca71910eff7b9a87bf92 refs/remotes/origin/tableau
f3532d1b67bd97f97156dad623fd9ef27d4b6adc refs/remotes/origin/tableauFix
9aeeb22fdd1f44556061d168741a373789718447 refs/remotes/origin/tableauxColors
6a9b1dcc729dee67d9a9fba2d72ab9407bf284dc refs/remotes/origin/testfixes
458e5c91c5cfb2a2a92153d3cd741a33a03ddb44 refs/remotes/origin/tstp
744f232da42b3a956ca1d6fd4edbaa83a09455a8 refs/remotes/origin/types
562d23c5ca1717b0ced3471d67d9873d478d12a2 refs/remotes/origin/types3
a1b2659307d2cc4f3fae143ad1f85cdf2aeadc36 refs/remotes/origin/types4
4a2e05ed54fcba5d9f0aaffddea525a9e4072fa8 refs/remotes/origin/types5
a1b2659307d2cc4f3fae143ad1f85cdf2aeadc36 refs/remotes/origin/types7
d5d76e886689e570dbed41e1c99306f5cc426f3b refs/remotes/origin/typesv2
e4eee5084141212ef4d481e0fe9ee2f3fc74ecd4 refs/remotes/origin/upgradeto351
ed8dd5441b0b046ddd549c508492dac17f3f38bc refs/tags/Demo
