# pack-refs with: peeled fully-peeled sorted 
be6099eb526965e0ab6f0665cc5383fb08759789 refs/remotes/origin/appveyor
1ed8f291eff55c3fb677b8bff0896bd93873af2f refs/remotes/origin/ci
f3e46eb3be718e5c20d7769695fc9504c8695804 refs/remotes/origin/coverity
535e0fe07bb29aceaafca9b4c98bcbfa82d20c84 refs/remotes/origin/coverity_scan
d6c298eb520fb1fcf8fe4e007ddecd73fbaeed59 refs/remotes/origin/devel
b1539637ed37503a5d06c3635aa1a139816443c6 refs/remotes/origin/doc-fix
e904a0b8c4ea939f5ae755679417f539f6d663af refs/remotes/origin/hugespace
d340e17a52b2d88e2685137559a354f87c069443 refs/remotes/origin/less-ci-debug
17e46b28c77ec8bfa98ca8b1f82830c4e16d7884 refs/remotes/origin/limits
f3cf84282f8a33a6fcdd293f3190193346996049 refs/remotes/origin/lsids
566f0029c512b56ee55223e15e2c03d377cbb7ff refs/remotes/origin/master
35a14c73d9b3ba3a5afd504b9dec0b6bea9c1364 refs/remotes/origin/minisat-2.2.1-extended
37dc6c67e2af26379d88ce349eb9c4c6160e8543 refs/remotes/origin/niklasso/master
682ab16bc1f0089d2122fa51da8ce78ab1dfc359 refs/remotes/origin/parallel
11526deec02a036a0d445f06bea9737349246324 refs/remotes/origin/small-fixes
d179f5c1f6ecd7a6eb65faca7d4709b5262b6a31 refs/remotes/origin/solver-COMiniSatPS_Main_Sequence
fd8138e195ae3bc6986bedc59b3d3d037a7faeb5 refs/remotes/origin/solver-MapleLCMDistChronoBT
98af7fd1a0d644c2bf901a3db471fe3e56328f01 refs/remotes/origin/solver-MapleLCMDistChronoBT-DL
43c224f6fe12fe7ad9741a4f4ff23969dfbd1415 refs/remotes/origin/solver-Maple_LCM
3b088d5010a5ff6a4d948297280ba41502d0fc84 refs/remotes/origin/solver-Maple_LCM_Dist
acd06f929400f5032fd3bf9f26ce43697e8bf1d7 refs/remotes/origin/solver-SWDiA5BY
ba577a9bc1932befc9c3031b0db8d19c47e3798e refs/remotes/origin/solver-glucose-2.0
b520959369b5d22bec300f432691acc96a43d3c7 refs/remotes/origin/solver-glucose-2.1
c2755c0dc84d05e4518b541d39d395f07849a1a1 refs/remotes/origin/solver-glucose-2.3
010fdcf0802e4768d3bd38c490f4b32f3144c046 refs/remotes/origin/solver-glucose-3.0
261ebf184e5c1ecf945db0dc6e67337a621536ed refs/remotes/origin/solver-minisat2.2.0
bf7bf8e738462abb144e30b020a380bea3987fcc refs/remotes/origin/wip-maxsat
06620952db3563e3e829d68752d6e4acea0fcd5e refs/tags/2.2.1
45a6a21f1316e283fcdd7e5a045816211e1a7c19 refs/tags/minisatv2.2.0
^4902741beaeed3eedbfd6310b1c35c7c23f7f028
322f7580fde5e8f43301a9e0d5b275a215084a50 refs/tags/releases/2.0
eb01ad68b75bb3b34ff8657c37ad6a31faae0fc3 refs/tags/releases/2.2.0
29bb7bcf84f8987938a4f23a03dd309ebe2967e7 refs/tags/releases/2.2.1
bf177f59040df7012294bfc0ed72abb8e1caf17c refs/tags/satrace-2019
^ceca1afb50ee5d2bc788bdd8ece57c0ea602dbfa
27e3b06fae04c26f7a85a9b7598367e262a37ddb refs/tags/v1.0
34c46352d33def42a0190a535829aae0be15ff6c refs/tags/v2.2.0
^eb01ad68b75bb3b34ff8657c37ad6a31faae0fc3
8eaa245bb9b17fa79c3e11a08ef6dfab7e2f3fa5 refs/tags/v3.0
^b74c8b6467b1ea0a6254d9f7a2e9a1c120a892bf
