# pack-refs with: peeled fully-peeled sorted 
cbd34a68b9434e8b1a3258edf274852e97f0c66c refs/remotes/origin/arrays
f3e3749d44b9c4a7cfa1640d50b77df362e7f6fe refs/remotes/origin/budget
e115340810fb3870a97d5a59cade58dcac0970db refs/remotes/origin/budget_dbg
4c6e8be9921abc289443b0a50080e99b87084920 refs/remotes/origin/cav14
f3721480ca4cb942de69dafd660b63e8aa9012e3 refs/remotes/origin/cav15
91f8b0d07f0b420ba60ac28d52c12fab47c72494 refs/remotes/origin/cex
bc37e343e4565df6a487de14139664bc06ce86a0 refs/remotes/origin/clean_array_abs
738394208ba80b557eb17bff37de56636c9d7a2b refs/remotes/origin/cleanup
983619b07fae36339dafb87acac5eada157d39cc refs/remotes/origin/distributed
34356513eeb17de744ddeda650555ab6a27b1aaf refs/remotes/origin/inconsistent_bug_fix
e3efa7236582fd2b57e7c8925e30e74a36a95b45 refs/remotes/origin/init
e9fe82775b13a13fac21e2beac78d5d7a0cd593c refs/remotes/origin/jorge-invs
711b6d41c5043c4cb4f850e6951eca80be34ed13 refs/remotes/origin/new_lemma_generalization
d447ab89d26359be29de1557f5b1b603ad3e76f8 refs/remotes/origin/nlg
87171f04fdab569cc262040a6e44b5beaba1eb1b refs/remotes/origin/nlg-dev
e450a745987af2fa9068b8b5efb9dd1dad21f745 refs/remotes/origin/p3
610ffa5f9d1fb31fc84fe39fd5bb0193346a1d67 refs/remotes/origin/psmc
9c993a28e382dc4cfee493531ac14743c489227d refs/remotes/origin/q3
c728b9ac689b9e36239a136715b4092636944753 refs/remotes/origin/quic3
ef1bd6a55650a027a22fe5afc8a50fd6be15d1a0 refs/remotes/origin/quic3_gen
6d1d9df245c9c58d5c62244828e49cb337f029de refs/remotes/origin/quic3_sort
7b8f000be6e2c1e3e10ccc37ff8e2bdea712a42b refs/remotes/origin/reach-as-initial
da739c3af6a17ec7386a076e9d88d8f047541b20 refs/remotes/origin/refactor
9d033219515d572fbd8e2f1469e091615fdd3827 refs/remotes/origin/select_reducer
87ff655fff57190a24728e43270c1ebdb0bb079c refs/remotes/origin/spacer
1c62648869bb940946d33a0d51c5b12535b0cad8 refs/remotes/origin/spacer-smt-context-cleanup
4de4c3608f82bcf0891c36e74635feff9e0717b5 refs/remotes/origin/spacer-t2
6cae15b4880fa84b1fea6c306e3d67ca1473279b refs/remotes/origin/spacer-z3-merge
9418605cf3ab24c8fef673b3552f09ff86a5427e refs/remotes/origin/spacer3
9105f208adb064d89b19171d2f4bc0ec2b305e25 refs/remotes/origin/unstable
c81f05592908bc61ae04721ae57e73ec3b406ce1 refs/tags/msr-opt-01-22-2015
^e50e02e6566f17aa2f1508aa1c17ad384efc8705
f271317baf3b16bb14cfca12ad2a1bf74091836b refs/tags/new-build-sys
^0f09822d09d5dd282b2807d303e0013baec8ecc0
bc5c1e2cc6f569bb22896e10195cc83d7992c2cb refs/tags/p3-waterloo
^e450a745987af2fa9068b8b5efb9dd1dad21f745
1544c728e1882be10f1f58f41449df6355941b75 refs/tags/quic3-legacy
^ee44f8585ea3c16117dbf20d235851430cbb9fa5
0969d3cd22e1556a96987b2bd1d175aa4ecfce80 refs/tags/spacer-cleanup-01-24-2015
^a850e6c9d418bcf49654b18e3c9d02e73dc6b32e
fda617006a58f1df351fa28af1e43e0b56434c01 refs/tags/spacer_start
^cf912707312483922799b7e740355b7f6b3cc6d8
ae1595360992aa67b6ba55118a6e0e729b786db4 refs/tags/v4.1.1
a6db55d21f22a561a02d9cc77935c28db9a51821 refs/tags/v4.3.0
89c1785b73225a1b363c0e485f854613121b70a7 refs/tags/v4.3.1
8bfbdf1e680d2fbfa64e7f60e28ba4eede7f5d6a refs/tags/z3-java
d889c5a12c3154d57de3cbc09ed8adb063c68104 refs/tags/z3-spacer-sync
^2e68122a1d729f3e7541f7e7971404c672aeb405
