# pack-refs with: peeled fully-peeled sorted 
043f3475f49a02934c75fa5010a887387129d503 refs/remotes/origin/CI-tests
79cd8fe1c765a86c58f6fd8075a9f7685633c901 refs/remotes/origin/applied_fun_types
3010701c6815192495319d8c81cf374b1457af16 refs/remotes/origin/arg_types
5dd158f22f7d1ff7684bbae524477e64bf9ccc88 refs/remotes/origin/ast_gen_index
5c53b7df5f55c4e8f74e33a1c55bbe891eb01599 refs/remotes/origin/axiom_gen
a5b7a67511fb9434cd9b778c0d2cf385ea736809 refs/remotes/origin/benjaM1
18384af4f9039af39a29060a729393fbcc8d835a refs/remotes/origin/better_constr
525f97993961b8f9d9bb5d62ce311347e53cdf70 refs/remotes/origin/ccs-artifacts
42047fe74431eee653c0efc714d791b78bd7a95f refs/remotes/origin/cleanup_induction
1f5179cdb42d30a758e6226e174342418c784167 refs/remotes/origin/concrete
333220069a9e2b0917f636ebe4c84bcdfd34cbb6 refs/remotes/origin/crypto-corr
2d912e7ed3736ce506333e25194e68829218d4ca refs/remotes/origin/crypto_foo_fixed
73fbb55e72973aa413476342e531e400aac6daec refs/remotes/origin/crypto_oracle_subgoals
d477de58fd3c577b9707341b426b7648b6a9351e refs/remotes/origin/det
c95f19d59c0fe8e9ed4420f411e7798c5976dbde refs/remotes/origin/det_det
fb33e991e1f45d30607ce6beb4f7c2027b1906ad refs/remotes/origin/det_det_pq
cfcb218e69c6c93d015b209d57fe72291adb43f3 refs/remotes/origin/dev
9da4455d445602acead30d6958f7c6ccd489f445 refs/remotes/origin/dev_test_CI
63ec080b4bbd79fb030f70621a7f33c8eebcc52e refs/remotes/origin/enckp_context
df17b4bb2476d3db78c3487e82f9da058b5c859a refs/remotes/origin/encryption
8f338a66c63bd4af211e0c1a8c49d913cebd69a0 refs/remotes/origin/euf_cond
b4b108e187f8cd135e886e305f0d46d232d3cfe6 refs/remotes/origin/fadup-state
f11afa66666f414480ea3b2200e51315faf4c321 refs/remotes/origin/fix_iter_euf
f367e7e881b4e7f53477d5f86634bda86be0af31 refs/remotes/origin/fix_map_fold_capture
fde127155dbb4fb1267aedb13beb59788d86ed10 refs/remotes/origin/gdh
9db97cb6feed0ebe93c117963719cfaab4afe4eb refs/remotes/origin/gen_seq
2ba7a95645fd8b94cfd429640cd0c602f62d8b60 refs/remotes/origin/globalstate
371fa9764b9cb87432a3249e799ba4b6e04bb6e6 refs/remotes/origin/gprf
f14480aca6290b2ccd20bde22e388711284d8779 refs/remotes/origin/help
b036d6498d601650539aa862962df1953e5b746c refs/remotes/origin/html_output
a02f9d632dcc42c08af8f348cb7714524f237658 refs/remotes/origin/improved-matching
a568634dfdfecafe48a9c831c84edbc13ba6cbde refs/remotes/origin/jsquirrel
fd8896ee77a523a63a9e86b91a330af67b025d43 refs/remotes/origin/lambda
79377d199558845b088ba05b24d67dcb748f1032 refs/remotes/origin/let
b39b695b1b6485ff1f4182e6bc489abe86b82586 refs/remotes/origin/master
6890579b1d7594097a1dd68f6322fb8193d184ae refs/remotes/origin/namelength
927e4356b0bd7b4a595c22cadd653dd83e6df079 refs/remotes/origin/namespaces
4e1da4c6c1e5b0e7749bce46878b2cf2c3f51484 refs/remotes/origin/new_fms
cdadb85b3abd1f39bdd9f32e5ecc5bb5cdfec8ca refs/remotes/origin/new_match
821b1487bf66ffbf583e9edf70679c73f63d6562 refs/remotes/origin/newcca
8047ee093a4ce88771e9dfdad24b07b9d07b37c9 refs/remotes/origin/neweuf
fd3e720b946429822ea49e6f8e8131951da7c60f refs/remotes/origin/newintctxt
59098054ec8b01a4fdca6652b20b564cd2861f43 refs/remotes/origin/nsl-proof
5a8c43c339f56febb1716ac67a3596751461fed8 refs/remotes/origin/oneway
0fcee935227242baca8333f22d45d53be619ffd2 refs/remotes/origin/operator_resolution
d094381ad69f06499cc66a8e88936448f7d26c63 refs/remotes/origin/operators
db7fac4f212d4a417ab90828d131f930730d4c61 refs/remotes/origin/position
9f70b7b19edef315c1cc5dce02bc9121d1afc81e refs/remotes/origin/prelude
cbec6e515da0feac649e05ae4d17c5b8a353e74c refs/remotes/origin/prfbug
c53ea58564f4a0ef375ec32203f8a8852af4587b refs/remotes/origin/proof_terms
3366e05f56c766adffa42e859bbf6694b4bb0b62 refs/remotes/origin/quantum
a2e532bfde1077ee34230491d999ce54a36778c3 refs/remotes/origin/quantum_parsing
158bfc778376259fcfef59fe00319a6476d72b45 refs/remotes/origin/range_vars
bbc7a0af55bfe75f92fda7c38d2851075c553be4 refs/remotes/origin/refactor
886883b5d956becdd70a0eafec0b8bf575f1e7b2 refs/remotes/origin/refactor_symbols
479d0a0dbbfeb2dcc997d2a0d289aa4edc1c39e2 refs/remotes/origin/rewrite-test
2977ef0f59edbbbcbda31e76d2ebaa8600aad8f7 refs/remotes/origin/secrecy
a490d4a2cf24044c717d8997f94f3a6772ab5e17 refs/remotes/origin/simplify_let
4a2ee40e8fddb90a47c10fa3aedabff2893b8093 refs/remotes/origin/smt
d85bc6bb01d391bda9245dc04776d532304c0f73 refs/remotes/origin/state-conflicts
74a0cd346fd9b96d1d8f0ec699333dbb02d6a4c0 refs/remotes/origin/state-semantics
b5611b0bc0ed7d0566c04c12c02c9143a2a82cca refs/remotes/origin/stateless
c2d818b134086a313c51aa80324cac8418927a66 refs/remotes/origin/typing
f799fa838c666df797cf67b5134bb6bf199389ef refs/remotes/origin/user_predicates
