Rar! ϐs
t6 ] t d=SнD3 maxSAT\readme.txt ]a
̟́W HxIjRX z>*HEW\ѺtMYd39Fwg91bŋ,Xsuj=l}fsF`O1[d,g
zga'<y!~\E]̬]Lb0NFsP84*i1vPw*;}9sCGKۧ~ٔo~84 LO<=nHBt^f82؞|Y`.$OIğ([Y9
XӗDIfn6Z"y*\jJ٨
җQwRGaS6`JyZiT3 +l R[\JC-l,5\SZrUsPJR6JDk-Z!!ղ-%c&/kD"uvG o9Q#zvzTTj@'z&YhExWmaWdy6zxaq-=BҚ73N? Q-3 CM~V&RxCb=H=_'dwjĈV. JMP{lH${f@Q[${n;Džp
@gROfB{Lޫbr6;RY^mck^$[wM+Df맯5Ϟ4eMiĐ8edM:,p|%{b~/Ky%=Te=OU@~?dǩP;F`ݛvH4DjLc ntF ` jmRD3! maxSAT\scpclr\scpclr10_maxsat.cnf hYW@%O7F>.inUm匚mQ\AR#A`Pʙ`Wo?6>?~p>+
8l gҌg|w(wa@ %H$ \T
pS鯑P(
pi
h]<>?[|!?#or`0C;о,8(?woF<'% 8*FZ_)ŀj\[{7W,|6iwq8..D8l|_0yo;wfܣ}Ev#v?F7wGr}x[rqo/3Ѿ+DUU2TEMMK:J-onT6Zzeh|vg/[yeo&nN
H7|8?$&nQqfOC[%p呾3{v}ڷYjމK$)[.c7{AKm7l
.n(sum@3"G5:*jj]$QQpQPPs
[lmV[_[Q-=R>Vo;3dko)Kƍ(Ry]͑o"/˥;Hw;ͳ]@,Id4QgsC^UDJR*U)djw0``|Oru:=qy~mm>6= \7#Msu'r?
3`
.|Wy*U3TEMMK:*.
"*
vKm3gKOd,g#*睍'睁IyJ^EȂ/ddݷݑU4cQE.XlOD$bqbA_"ȓKϡ&Q+ܫ[*JT4Jc9e*crٖ59c6Xʖ18Dqe*LVK30xq5HQ(;>2J*5RV!U!SiZd&iMǍgϳ!ô3QجX>9a0Q*:,~K4]L3.|ϒ=VW<9guL띡s.t`#ř7ț3LLs4"UDY(\1+9+%Y)Szk' rdsG'i$%GQ?:t
~I|{IxIvu4W
"R+>k15XWV%0\qh@cXGXT$ʗ}AM_>D_ʚvC~yG~>N&<+}yƵߎC~y;7;nq|u3Ь:8*sNn7p>=/#>~Kt3ExG<nHQ(ɨTqEe~oVB
ZqipjSpiރH>^H1ţX0D0rD@DrQ+E(71gaSE"pAZUYSE)4!"~MTK0z9]\\(#Ap6Nѝ%BP?#C[ _C=B0/
Cp6JP`fN[ⴄhr_A%C/v +KBѠYBՠV
M\nդ#G>
+|yVL!.-{E_b X+w+X'&,~6('cxXk;X;Q,U!`&XUоzBդl&͎֒PŜY~֓"c_ZZH \"Wtt禛\+.%)`ڊrLdT}
X!@ 燗
׀1,Teo`!gӶvJF\[ϔR4<%~8}Y1elŎ>>`PP~bY*f
zER8!LK.,)AaHIsZP([ ΘRz!8&a4g3>LV0 xKeHĖ U.I"M E$~bJ?Q$/PרG"#}Ѝ\#)a4HDJ72KH
Q!T>T=42Kt!B6XAS)
R"@H
)u zMu4!LET1wߵzOW~%sK(/'4_5u|_ |kk3'Gt{ġ~-I$Am7ٽ6=Q'Gz\{-/}XkϪ