• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• libglucose.so

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

amd64-linux.libglucose.so Maven / Gradle / Ivy

ELF

>
 @@?C
@8@
?/
?/
 
P;
P;!P;!p? h=
h=!h=!?
?
?
?
?
$$P?td(
(
(
??Q?tdR?tdP;
P;!P;!??
GNU??ljV?O
5ɔͻ?!??????i???+?<27C/?	}Z?|c {$!Fl?h'"p?w#8v?%?&?ye>?@Ont??\Jrsa*?T:PYLNH??=_k3[?(.)?
B?dmSMgG40Q~?jR`^VqEuK?DUozWb?
56X;]9?,x??1f-AIa)
J@???"? $???`@??$
	Bh

?
?HA??? ?h?
???b?? ?І@@?
D`??aA
$		?

?DH?)?2),-./014689;=>ABCEGHKLMNOPQRTUZ[\]`adfhikmopqsuvwxz{|~????????????—??z?X?hb?	c?-?5??WF?G?ȹ)x??X????~??7?>?????8?9?}-#S????]??\U???}җ?$?D ɵ)eYB?;ϵ?a(?B????
???(Q&??/E?Ȑ?l?$?CE??5d
)????cZ?KpD?r??n?#Mn @!?(@!A0@!8@!@@!RH@!?P@!kX@!`@!h@!p@!	x@!a?@!
?@!??@!??@!?@!??@!i?@!X?@!8?@!?@!
?@!H?@!M?@!?@!?@!|?@!mA!GA!A!A! A!Q(A!K0A!08A!@A!;HA!?PA!XA!O`A!/hA!lpA!xA!b?A!1?A!??A!e?A!E?A!I?A!??A!r?A!<?A!?A!s?A!?A!?A!?A!6?A!h?A!B!B!FB! B!? B!!(B!"0B!Z8B!?@B!:HB!$PB!{XB!&`B!}hB!'pB!7xB!3?B!+?B!??B!(?B!@?B!?H???o?
?U?H????5*!?%,!@?%*!h??????%"!h
??????%!h??????%!h?????%
!h?????%!h?????%?!h?????%?!h?p????%?!h?`????%?!h	?P????%?!h
?@????%?!h?0????%?!h? ????%?!h
?????%?!h?????%?!h??????%?!h??????%?!h??????%?!h??????%?!h?????%?!h?????%?!h?????%z!h?????%r!h?p????%j!h?`????%b!h?P????%Z!h?@????%R!h?0????%J!h? ????%B!h?????%:!h?????%2!h??????%*!h ??????%"!h!??????%!h"??????%!h#?????%
!h$?????%!h%?????%?!h&?????%?!h'?p????%?!h(?`????%?!h)?P????%?!h*?@????%?!h+?0????%?!h,? ????%?!h-?????%?!h.?????%?!h/??????%?!h0??????%?!h1??????%?!h2??????%?!h3?????%?!h4?????%?!h5?????%z!h6?????%r!h7?p????%j!h8?`????%b!h9?P????%Z!h:?@????%R!h;?0????%J!h<? ????%B!h=?????%:!h>?????%2!h???????%*!h@??????%"!hA??????%!hB??????%!hC?????%
!hD?????%!hE?????%?!hF?????%?!hG?p????%?!hH?`????%?!hI?P????%?!hJ?@????%?!hK?0????%?!hL? ????%?!hM?????%?!hN?????%?!hO??????%?!hP??????%?!hQ??????%?!hR??????%?!hS?????%?!hT????H??H?? H??t??H??Ð????????U?=x!H??ATSubH?=0? tH?=G!?z???H?? L?%?? H?M!L)?H??H??
H9?s DH??
H?-!A??H?"!H9?r??!
[A\??f?UH?=?? H??tH?{? H??tH?=?? ???@?Ð?????H??tH?H??H?@?????fDH?B??
Hcɀ<???fffff.?H?=?
!H??????H?I? H?=? H?5{
!H???????f?AT??A??USH??~1??
?
H?߃?
?????A9??[]A\ÐS?H???????H??H???????C(H??H??[?H??H?D$????H?D$H???????fff.?H??H??xHǂ????Hǂ????t
ǂ?H???????????H???AWH??AVAUI??ATI??US1?H??8H?H?L$(??XA??I?E1?H?t$(L?????1?E??H????1?E1?E1?A?????@E9?t,?A?O
H??D9?A??}h?D???L???Ѝ??
E9?u?D??????????F????ǃ???!?
?D??D)?9????
????H?5?? 1?H???????f.?I??$???
ADŽ$?1?9?????~ I??$?1?1??4??
?4H??9??I??$?L???????I?E1?H??H?t$(L????H??A??$D
tH???
???H??8??[]A\A]A^A_?f?F?H??H?T$ ?L$D?L$Ic?D?D$H??????H??H??H?T$ ?L$D?D$D?L$??????f????8H?T$ ?L$D?D$D?L$?????????DA??$?9????lj???)ƒ???
????????)???A??!?A??A!?A
к???)?A9?~?
?1???H?5? 1?H???`???A?I??$??L$A??$?H?H?4??????H??I??$??L$tPA??$?9?~*Hc?H??DI??$?H
?t???
H??9??A??$??:???A??$??%????L$?O????8?L$u??F???H??H??tH???q???H???y????????????D?FE??~E?FH???
????1?????
Hc?8u ?0??VH???у?
??Hc?8t??
D9?|?1????
Ðfffff.?AWI??H??AVM??AUI??ATI??UH??SH??8????????u1ۅ??D??
9???Hc?M??$?
?D?A?‰?A????
Ic???A28<
t?A?uA9???A?J
L??9???M?]A?C???
A??L?G???
??H???H?
??H?`??
L??HE?A??
1???????u??
9??`???H??8L??H???[]A\A]A^A_?
1??????M?]L??E??A???u?A?J
9??a?????L??H?$?L$L?L$D?T$?????A?u?L$H?$L?L$D?T$9???M?]????A?D:Hc?I????Hǃ?ǃ?H???t+H???ǃ??	???Hǃ?ǃ?H???t+H???ǃ??Խ??Hǃ?ǃ?H???t+H???ǃ?蟽??Hǃ?ǃ?H??Xt+H??Xǃ`?j???HǃXǃdH??t+H??ǃ ?5???Hǃǃ$H???H??t????H???t+H???ǃ?????Hǃ?ǃ?H???t+H???ǃ?躼??Hǃ?ǃ?H???t+H???ǃ?腼??Hǃ?ǃ?H???t+H???ǃ??P???Hǃ?ǃ?H??xt+H??xǃ?????Hǃxǃ?H??Xt+H??Xǃ`????HǃXǃdH??Ht+H??HǃP豻??HǃHǃTH??8t+H??8ǃ@?|???Hǃ8ǃDH??(t+H??(ǃ0?G???Hǃ(ǃ4H??t+H??ǃ ????Hǃǃ$H??t+H??ǃ?ݺ??HǃǃH???
t+H???
ǃ診??Hǃ?
ǃH???
t+H???
ǃ?
?s???Hǃ?
ǃ?
H???
t+H???
ǃ?
?>???Hǃ?
ǃ?
H???
?ݼ??H??h
?Ѽ??H??P
t+H??P
ǃX
????HǃP
ǃ\
H?{tH?{?C ?Ź??H?C?C$H?{tH?{?C蟹??H?C?C[?fffff.?AWAVAUATU??SH??H??(H?:?8?B?
1?9B??
H?
H??,??rD??PE???V
H?????Lc?B?8
H??H??0?8??
9??
Lc?L???????I???Z?D?@E???
?B;B?
H?2Hc?A??
??
D?4?L??H???B?H??HL????8??
I??9???H??(F?4 E??A??Mc?K?4(?>t?H??XJ??D?A????r???D;???`
E??1?I??L??E?QA????D9?|?w???H??XL???Hc?A?t???Hc??|???~	A?0
E?Q??
D9?|?L??H???4???L???fDC?8H??([]A\A]A^A_?@??????????w???A????A??A!?A
???)?A9?~8?
薹??H?5? 1?H???Ź??H??H?T$????H?T$?B?p
????D
?H?:H?T$?BH??L$H?4?????H?T$H??H?ƋL$H?t?B?W????B?p
?????H?T$?L$H?D$?͸???8H?T$?L$H?t$u??U???H?
??H?5o?H?=L}??????H?
??H?5??H?=?~?D?ǵ???fDAWAVAUATUSH??H??X??D
H?t$ ??D$8?D$<1??D$LD???
E1?H?D$0E????H???
?0;?????E1?E1?L?t$0?H???
?4(H??;??????H??M??H??H???N???<
???
A??A??
A9?|????!H???
?0;????H?D$0?E1?E1?H?D$(I???8f?A??
D;??
??
H???
?4(;??H?E?@L?d$(I??H?ʼn?H??H??H??赶????u?H???
B?0;?????H??H??D?BE??~?E1???A??
E9??k???Ic?H???
?D?????
??Lc?B26<
tӋD$89?}H?|$0B?????H??9??T$8?Q???A?41H?|$0?T$H?L$?t$?
H??H?XD?IE?????9?tD??E???A??E??u~???A9?}>Ic?D??H????H???H?????
?2H????Hc?????9?|Չ?D)?9?A????1?E????D)?1????H??([]A\A]A^A_??
???;????H???Hc???
D?,???????;??tNH????}Hc???
D?,????A??
A9??(????????f.??
H??([]A\A]A^A_?@??????????N????σ???!?
ω?)?9????
跮??H?5?? 1?H????????????????N????σ???!?
ω?)?9??
?H????T$???H?D?D$H?4??,???H??H??H????T$D?D$t}????????H???蝮??????p
????
?H????T$???H?D?D$H?4??Ȯ??H??H??H????T$D?D$tH???????????p
?????T$D?D$H?D$?t????8?T$H?L$D?D$?Y?????????T$D?D$H?D$?E????8?T$H?L$D?D$u?????H?
?H?5?tH?=?q???^???H?
??H?5puH?=az??????H?
x?H?5QuH?=rz?? ???H?
??H?5zuH?=?r?@?
????AWAVAUATU??SH??H???B;BH?T$XH??$?L??$???H?L$XHc?H??Ht	??AH?t$X??
????F??0?;???????
A?????L?4?L??H????-x??D$|?%t??D$T?l??
l?@A????A???A?~A??E??A9??H??XH???L?t$@I???I??A??
A9???
L?L$@Ic?E?l?D????HcȀ<u?L??F?LE??~?L??H?P
??`
?X?f.?vP??`?????~.f(?1?1ҐH??H?P
??
H????Y??;?`|??Y?`
??`
;????H????4?????L???Hcƅ?I?Mc?fB.?wH?|$H??H???p???fD?։?Hc??,???@;???
H???????uUL?L$@H???A?y?????L?t$XA?FA;FtyL??M?6H??L?L$@Hcȃ?
E?,?I?ЉFH???A?y???????;????L???L?T$@Hcȃ?
E?,?H???I?Љ??A?z?J??????????????Q????փ???!?
ֺ???)?9??c	?
?????H?5ݧ 1?H???#???L?T$XD???
H???I????
ǃ?1?L?|$XE?wA9??>E??~0H?t$XH???1?1?H?I??@?4??
?4E?pH??D9?|ꋃ?????E1???
?+	Ic?H
?0
E9?D????E??~H?L$XD??D)?A?ƉAH?H
?8
D9s`E???:H??$?L?D$X?H???E?pH??
E??H???~r1?1?L??$??f?H???I?H??X???H?HcD?H??H??H90tH?0A?

E?p??
H??D9?|?L??$??CdE??A;
??
H???L?T$XH??
A?z
H???~???
I?L???M???
fDH????0??
H????A;IHc?I?fD??
9??'
E?:H??XH??A??Mc?B??;??N???H?????????%???A9$v?L?P
??`
?AX?Af.?vTD??`?؀E??~0f(?1?1?H??H?P
??
H????Y??;?`|??Y?`
??`
D9??~LH???B?4???x=L???Hcƅ?M??E?2Mc?L?|$@?B
f.?E?2H???H?L$@?4??????
L???9??????M??t
ǃ?D???E??~31?1??H???H?????
?H????H??;??|?H?Ę[]A\A]A^A_É?????????Q????փ???!?
ֺ???)?9??^???
?H????$???H??\$H?4??d$ ?l$0?????H??I??H????$?\$?d$ ?l$0?????H??X????H???L??X?????L????N?M??I????M?)Lc?Oc??CD?fC.D??????L?EL?m?G??$A?FH??\$H?4??d$ ?l$0?H??(H??B?(??
B?2D???A9???H???B?~??H??I??I?$??A?D$????@??????????Q????փ???!ι???
?)?9???????40I?<$A?t$Hc?H????}??H??I??I?$tgA?D$??????40I?<$A?t$Hc?H???}??H??I??I?$t
A?D$?????}|???8u??e????k|???8?D???f??M????S|???8u??;???H?
?ZH?5?DH?=?B???zy??H?
SH?5?CH?=?@???[y???f.?ATUH??SH??H?? D??PE????
1???D
uH?? []A\?fD?v?$H?}?x{??D?M1?E????L?]H???
A??‰?????
Hc?2tj???teA?A?????1?1??D??I????
9?tBD?ր?
A??tA9?A??tD?V
Hc?A??A??D?M??
D9?}%C??Ɖ?????
Hc?27u?H?? ?
[]A\?f?D)?D9?????D??~D??)ЉE??tQ??
tXH???1?H????x?????
;??
teH???
Hc??
H?߉??Ɖ??
?}z???
?????ƃD
????H?E?????H?ߋ0?Aw??H???Ix?????????D
?????r
H???
?D$??x?????
?D$?y???H?
/YH?5?BH?=?@???ww??H?
?UH?5?BH?=???@?Xw???AWAVAUATUSH??H????D
?CH???H???
L?T$xL?t$`H?D$`?D$hH?D$PH?D$|?D$l?D$_A????L?T$@H?D$HfDH??M???Mw????????rH???D?k(H??
E??H???~HcK,1?H??H???U??P??????<;?8??0ƃ@?P??
H????<H??0??H
?H??0Hc?(????(??
;?8??(uǃ(ǃ,H???'v??|;?x??H?|$`t?D$hL?D$@H?L$HL???H??M???wu??H??
H??
??|;?x?D$xƃ????
H??X??|H??p??H
?H??pHc?h????h??
;?x??huǃhǃl?D$x?t$|H???H*??X??????=v???D$h??
?P??
H?L?,?I??E???c
???H?|$PD
??t?????A
?D9?D????
??	A??I??L??H????????????T$h?P??????@??T$h??~1?1ɐH?t$`??
?4?tH??;L$h|????t?????P?D?;???L$x??H???L
???????????	ʉ?|$xwH???
;????H???B?|(?????
;??
??H???
Hcȃ?
??,?H?߉??
??
1??g??H?5?>?
1??g??H?5?>?
1??g??@1?H????i??????t{?S(??~H?5?>?
1??Qg??@????D??`D;c??
E??~#1?H???
Hc?H?K??
?4@?4;?`|?H??1??h??H????[]A\?f.?H??H??x
H9???l???H??H??x
H9???S???@???4???@?@???@??
@u??C ??u?ƃD
?|?????$9????Ɖ???)ƒ???
????????)?????!???!?
׺???)?9?~~?
? i??H?5	j 1?H???Oi???D??H???=g????`A9?~:D??Hc?)?H?????
H?L
H??@H??HUt?H??H9?u?D??`??????H???$??$H?H?4??Xi??H??H???$???? 9?~#Hc?H??f?H??I$t?
??
H??9?扫 ?????H?{D???li???sA9?~)Hc?A?L$?H?B
)?H??H??
HSt?H9?H??u?D?cD??`??????g???8?$?e??????????H??h H??H?ÐAUATUS??H??????D?k?E??~mE1?I??E?H
D9?~RE?"M?ZD??L??D???Ic?H?,?9?DL?HL?Lƒ?
H??9?uߋEE9?A?D?eM??~E??E?H
D9??L??E?"M?Z??H??[]A\A]É?H??????A?????H??4?fDD?MA??
D9?.?B?H?H??f.????
I??H??9??A9?}?ME?H???D???$?Cf?????D$@H??[H??D)?]A\A]?'f?????????H??g H??H?ÐH??g H??H?ÐH??g H??H?ÐATH?X*1?A???
UH??SH??g H?OL?G H?;??b???M(?????H?;H?0*?
1???b??H?;H?*1??
?b???M,?????tsH?;H??)?
1??b???M0H?;H??)1??
?|b??E??u[]A\?f?H?;H?MH??)?
1??Vb??H?;H?E?
[]A\1??-t??@?Z
H??
H??
8????H??H)???u?H?}H?1????t88??H?G
H???D?q
H??
H??
@8????H??H)???u?H
?H?	(L?
(?;=H??t?[?y
H??
H??
@8?uG?H??L)DŽ?u?H
?H?t$?
H???b??H?|$t;E,!;E(|J?E0H???
[]?@H??1?[]?L?EH?l*H??H?zd ?
H?81???_???
?1`??L?EH??H?s*?АH?1d H??H???_???????????????H?d H??H???_???????????????H??c H??H??_???????????????H??c H??H??_???????????????SH??H??t?GH???`??H??C[Ð??????SH??H??t?GH???W`??H??C[Ð??????SH??H??t?GH???'`??H??C[Ð??????SH??H??t?GH????_??H??C[Ð??????SH??H??t?GH????_??H??C[Ð??????SH??H??t?GH???_??H??C[Ð??????SH??H??t?GH???g_??H??C[Ð??????AUI??ATUSH??H?H??tm?G??~EE1?1??	DI?]L
?H?;t!H?;?C?_???CA?EH???
I??9?|?I?}A?E??^??I?EA?EH??[]A\A]Ð??SH??H??t?GH???^??H??C[Ð??????H?\$?L?d$?H??H?l$?H??H??a L?%4a H?wH?WH?OH??L?G H?A?<$t~H?-oa ?E;Et'L?eHcЃ?
I?ԉEH?$H?l$L?d$H?????????????Q????փ???!ι???
?)?9?~r?
??_??H?5?` 1?H???`???L???h\?????r???H?-?` L??H?E?E?E??]??H??` H?=?` H???E]???9????40H?}?uHc?H???:`??H??I??H?Et?E?????_???8u??U??????????S?GH??9?}m??)?????
??????????)?????!???!Ϲ???
?)?9?}?
??^??H?5?_ 1?H???,_??@
lj{Hc?H?4?H?;?_??H??H?t[?fD?{^???8t?[DÐ??????????????S?GH??9?}m??)?????
??????????)?????!???!Ϲ???
?)?9?}?
?]^??H?5F_ 1?H???^??@
lj{Hc?H?4?H?;?_??H??H?t[?fD??]???8t?[DÐ??????????????S?GH??9?}e??)?????
??????????)?????!???!Ϲ???
?)?9?}?
?]??H?5?^ 1?H????]??@
lj{Hc?H?;?h^??H??H?t[?fD?C]???8t?[Ð???????????H?\$?H?l$?H??L?d$?H???G;GH??t/L?'H?MHcЃ?
I?ԉCH?l$H?$L?d$H??????????????Q????փ???!ι???
?)?9?~"?
??\??H?5?] 1?H???]????40?wH??Hc?H???]??H??I??H?t?C?d????k\???8u?fD뤐?????????????S?GH??9?}m??)?????
??????????)?????!???!Ϲ???
?)?9?}?
?M\??H?56] 1?H???|\??@
lj{Hc?H?4?H?;??\??H??H?t[?fD??[???8t?[DÐ??????????????S?GH??9?}e??)?????
??????????)?????!???!Ϲ???
?)?9?}?
?[??H?5?\ 1?H????[??@
lj{Hc?H?;?X\??H??H?t[?fD?3[???8t?[Ð???????????ATUH??S?W??9?}I?G9?IL?'Hc?H???	DL?eI
?tI?$A?D$A?D$??
H??9?҉][]A\?f??Ɖ???)ƒ???
????????)?????!???!?????
?)?9?~ ?
??Z??H?5?[ 1?H????Z??D?H?}Hc??EH???j[??H??I??H?Et?U9??=????t???fD?3Z???8u?뜐???????????AVH??1?A?AUE1?ATA???
UH??SH?d[ H?OH?;I????V???H?;H?%?
1?A??
?V??H?}?
X??L??D??H)?H??H
?H9?r?H?;H???
1??V???}(H?H?
H?;H??
HE?1??WV??E??u[]A\A]A^?f?H?;H?MH???
1??&V??H?;H??8?
[]A\A]A^1??V??????????UH??8H??L??8SH??H???>-t???j
H??
H??
@8?ug?H??L)DŽ?u?H?<>H?`??nH?G
t?T@?0H??
H??
@8?u@?
H??H)???u?H
?1?H?s?X????u@?k(H???
[]ÐH??1?[]???
?ː????????UH?
8H??H??H?=?7SH???>-t?
@?Z
H??
H??
8????H??H)???u?H?}H?1????t88??H?G
H???D?q
H??
H??
@8????H??H)???u?H
?H?)L?!?;=H??t??y
H??
H??
@8?uw?H??L)DŽ?u?H
?H?t$H???Y??H?|$tR?M0f.?r?}9tJf.?zDu??M(f.?Dr?}8tWf.?zQf?uM?E@H???
[]?DH??1?[]?L?EH?\H??H?jX ?
H?81???S???
?!T??L?EH??H?c?АUSH??H???9?sF??fD?????????T???
?9?sT9?w???CtN??H?;H?4??W??H??H??t
H?+H??[]??nV???8u?
?V??H?5?W 1?H????V???C??H?
,H?5H?=??h?zS????????????H??;ws??H??HH???H?
?,H?5?H?=????:S????????????H???t
?GH??H?D??H?
3.H?5?H?=r????R?????????????S?tLD?O1?E??~7A?A?1Ҿ
L??1?f.??L??H????????	?L9?u?E??B?T?[?H?
?-H?5XH?=????R?????????????????SH??H??t?GH???GS??H??C[Ð??????AWAVAUATUH??SH???W(???
H?G E1?E1?f.?N?<(L?uIcA?<??H??H]1?D?[E??~lH?;L?U0?A;B??I???1?1??fDL?7H??A?
A;BsD??M???A??A?Ѓ?<
tI?
D?B
Hc?H??D?[??
D9?|?D)?A9?|k??~A)?D?[IcA?H?E ?U(A??
I??A9??;???H??t?E(H??[]A\A]A^A_?H?
	*H?5?H?=w?@?Q??H?G ??H?
D*H?5eH?=??@??P??????????????SH?H??t?G H??Q??H?C?C$H?{tH?{?C?Q??H?C?C[Ð?????????????AVA??AUATUH??S?GH??D	?A????FH?L?$?I??E???
?wD
??mO???EA
?D9?D?e???
??H??HUtv?
A??
A??
A??A?????D	?D	???
?K?J?
????
?B?D?sE??~ 1?1?fDH?;??
?<?|
H??;s|??
??t??t?J?D?[]A\A]A^?f?D?B1?E??~0A?H?1?1??
H?,??LA??H??????A??D	?H9?u?E??B?t?[]A\A]A^ÿ
?*R??H?5S 1?H???YR??H?
?)H?5?H?=??r?
O??H?
?)H?5tH?=Q?B??N?????????????AUATUH??SH??H? t?G(H? ?O??H?E ?E,H?}tH?}?E?O??H?E?EH?}tg?E??~AE1?E1?H?]L
?H?;tH?;?C?DO??H??CA??
I??D;e|?H?}?E?O??H?E?EH??[]A\A]Ð?????????????H?\$?L?d$?H??H?l$?L?l$?I??L?t$?L?|$?H??H?.;o?O??H??H/D?mA??t)?E?H?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??HÐA??A??
D??
BA????EH?L?4?I??E???\?rH??D
??L??A?D$A
?D9?E?t$??
???H??I<$td?A??A??
A?????D	?D	?????U?W??????G?D?UE??~1?1?fD?t??
?tH??;M|????????U?E???U???3A;t$?+
I?$???????	Ј??3A;t$?
??H??I$???u`???????L????M??H?\$H?l$ H??L?d$(L?l$0L?t$8L?|$@H??H?N??D?????W?D??W?????????E?P???M?ҋL??L??E?3??%???A;t$scI?$???????????%?	Љ??A;L$?Es8I?$?ɉÃ??D???	؈D????????D$?gM???D$????H?
%H?5?H?=????_K??H?
x&H?5H?=????@K???
?&N??H?5O 1?H???UN??H?
?%H?5?H?=l?B?K??H?
_%H?5pH?=??r??J?????????AWAVAUATUH??S??H??X??H?|$0??
H?|$8?C????D$L?o
E1?L?t$8H?l$@E?o
A9??9
?A?H?D$@?L$,?hA?N9??z?|$,L?I?v??D??D?l$A???xA9??TE??O??E?cA????9??7A???@
A?E?+??A??%???A?????D9???A?׃?
9?}m@?H??9?????A?ˉ?A??O??E?BA???v???A9???E??O??E?cA??t?A???p???9???A???p???????
9?|?H?T$8Mc?D?l$?L$,J???A?I??D9l$L?~,E??E?o
A9??????A?L??A?I??D9l$L?щT$,??H??X[]A\A]A^A_?Dr?A??@A?E???CD??,E???CL?.?????????X???fDA??????????A???H?\$0?t$@????D?ED?l$@H?A?????D?4?E??I???p@E9???B?L????????/??H??T$?
J???D??H??????????L$ ??I????L$ ?T$??%???9???
D?Ef?H???A??
H?\$8D9??-H?}?ЋD????m???E9??B?L???tƒ??h??????h???E9???
A?E?H?L$0H?}H?\$H?H??N???Mf?D9???
??H?4?D?NA??Y????E??A????A??????????A9?vXH??A?JA??
???~?D9??i
??H?4?D?NA??t?A??~???u?E9?H?\$?}b???
D?E??????r?A??@
????AD??.
E???BL?.??w????DA???H???E9?H?\$|?H?|$0H??D???F??D)d$@?|$@	?\$@?????H?\$0?D$@?????f???H??T$?"H???D??H??????????L$ ?H????L$ ?T$??%???9?s(D?E?i???D??H??T$??G???x?T$??????؉?H????G??H???HF??D???H???D$,?G??H???+F???.D$,v?????H?
?H?5eH?=B
????E??H?
? H?5?H?=4
???E???????????????H??I H?8?DH?iI H?8?DAWA??AVAUATUSH??8H??I H?H????L?5?I H?1??
I?>??D??H?-I ?}?bH?SI ?s?$E??H?;E1?E1??I???EH?D$ H?D$D?|$,?f?D;k???}?<H?J? L?xL;|$H?@ ??I?>H?'L???
1??YD???}??
H??t$,J?< H??P?E????H?J?"H?JH?L$H?R A??
I??H?T$ ???i???H????C?????Y???H??H??C?C?E??H?%H H?=VH H????D??D;k?&???@I?>H?m&?
1??C??H??G I?>H?q&?
1?H??C??H?I?>H?}&?
1??iC??I?>H?-&?
1??SC??1??C??@H???0C????t3H??H??C?C??D??H?hG H?=?G H???D??H?J?"H?BH?D$?E???????H????B????t3H??H??C?C?tD??H?
G H?=>G H???C??H??EJ?"?|???fDH???B?????9???H??H??C?C?D??H??F H?=?F H???eC???
???H???8B????t3H??H??C?C??C??H?pF H?=?F H???!C??H??}J? L?x?{???H????A????t3H??H??C?C?C??H?F H?=MF H????B??H?L;|$J? H?@ ?5???H;D$ ?C???I?>H?`$?
1??A???(????H???hA?????????H??E H??H??C?C??B??H??E H?=?E H???FB???V????L?5?E ?1???@AWI??AVAUATUSH??(??H?t$?T$?D$
?D$
??
?Q
I??L?%?#I??DI?uH??#?>-H??t?@
?Z
H??
H??
8??,
?H??L)??u?H??D H?1?H?(?E??t98??H?E
H???fD?q
H??
H??
@8????H??H)??u?H
?H?#?;hH??t!???i
H??
H??
@8???H??"H??H)????u?H?+?
?????-H??"t?=f.??Z
H??
H??
8?u#???u?H?t$?
?C??f.?A???D$
I??;|$?????|$+|$A??H??([]A\A]A^A_?L?5?C 1??D$H?-?C A?>tC?D$9E??A?>?
H?EI?uH?<H??H??P???z????D$
A?>u?L????????t?L??H?E?E?E?@??H?>C H?=oC H????????D$9E?}???f??|$??I?MH??!?9-H?A
t?@?0H??
H??
@8????H??H)΄?u?H??B H
?H??!I?M?
L?H??B H?81??Y>???
?>???L???0>?????????L??H?E?E?E?????H?cB H?=?B H???????????I?MHcD$H?T$?D$
A??H???,???H?t$1???A??A???????????AWAVAUATUSH??h??H?|$0?t$,?M
????
???D$\?-
?D$ ?T$ H?|$@??
9T$,?T$<??DH?D$@A??H?T$@H?H??H?T$PH??H?D$HI??L?p?GfDuI?w H?{ ?i@????xKHcD$ H?T$0A??
H??D;l$,M??L??H??H?D$t7M??I??H?]L??H?l$L?cL???@????}?D?l$ H??A??
D;l$,u?H?D$HH?T$@H?H?T$H??T$\9T$L??D$
I??G?????|?uH?D$ I? H?p ?.?????x?A?D$?H?T$0H?H??H?+L??A??
H?u??????|u?H?T$ H?u H?z ??>?????v???H???Ƌt$H?|$0?$??????t$,Ƅ$?L??+t$H??h[]A\A]A^A_????????????USH??(
H?\$dH?%(H??$
1??Z??H?5?H????;??H??1?H??t+H?l$?D$fDH???h>????t,H???>???D$H??$
dH3%(u?H??(
[]?H?5-H??H???v>????
t?H???>????u?H???M??H?5
H????:??H??H??tNH?T$H?5?H??1???=????
u7H???=???D$H??$
dH3%(u	H?? 
[??? 0r >= 0 && r < szheader.has_extrasz < capKRszLBDQueueszTrailQueuefirstReduceDBIncrement for reduce DBincReduceDBspecialIncReduceDBminLBDFrozenClauseminSizeMinimizingClauseminLBDMinimizingClausevar-decaycla-decayrnd-freqrnd-seedccmin-modephase-savingrnd-initgc-fracnelems <= szindex < heap.size()sz > 0size > 0c[1] == false_litlevel(x) > 0p cnf 1 2
1 0
-1 0
p cnf %d %d
%s%d 0
wrcould not open file %s
confl != CRef_Undef!inHeap(n)c.size() > 1j < ts.size()decisionLevel() == 0oklast==firstlearnts.size()>0CORE -- RESTARTCORE -- REDUCECORE -- MINIMIZECORE  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)
ERROR! value <%s> is too large for option "%s".
ERROR! value <%s> is too small for option "%s".
/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alloc.h/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/SolverTypes.h../sources/glucose/core/Solver.ccvalue(p) == (lbool((uint8_t)2))/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Vec.hThe constant used to force restartThe constant used to block restartThe size of moving average for LBD (restarts)The size of moving average for trail (block restarts)The number of conflicts before the first reduce DBSpecial increment for reduce DBProtect clauses if their LBD decrease and is lower than (for one turn)The min size required to minimize clauseThe min LBD required to minimize clauseThe variable activity decay factorThe clause activity decay factorThe frequency with which the decision heuristic tries to choose a random variableUsed by the random variable selectionControls conflict clause minimization (0=none, 1=basic, 2=deep)Controls the level of phase saving (0=none, 1=limited, 2=full)Randomize the initial activityThe fraction of wasted memory allowed before a garbage collection is triggered/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Heap.h|  Garbage collection:   %12d bytes => %12d bytes             |
value(assumptions[i]) != (lbool((uint8_t)1))Wrote %d clauses with %d variables.
reason(var(analyze_stack.last())) != CRef_Undefvalue(c[1])==(lbool((uint8_t)0))/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alg.hc | %8d   %7d    %5d | %7d %8d %8d | %5d %8d   %6d %8d | %6.3f %% |
/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/BoundedQueue.hc ========================================[ MAGIC CONSTANTS ]==============================================
c | Constants are supposed to work well together :-)                                                      |
c | however, if you find better choices, please let us known...                                           |
c |-------------------------------------------------------------------------------------------------------|
c |                                |                                |                                     |
c | - Restarts:                    | - Reduce Clause DB:            | - Minimize Asserting:               |
c |   * LBD Queue    : %6d      |   * First     : %6d         |    * size < %3d                     |
c |   * Trail  Queue : %6d      |   * Inc       : %6d         |    * lbd  < %3d                     |
c |   * K            : %6.2f      |   * Special   : %6d         |                                     |
c |   * R            : %6.2f      |   * Protected :  (lbd)< %2d     |                                     |
c ==================================[ Search Statistics (every %6d conflicts) ]=========================
c |                                                                                                       |
c |          RESTARTS           |          ORIGINAL         |              LEARNT              | Progress |
c |       NB   Blocked  Avg Cfc |    Vars  Clauses Literals |   Red   Learnts    LBD2  Removed |          |
c =========================================================================================================
N7Glucose6SolverEN7Glucose9IntOptionEN7Glucose6OptionEN7Glucose10BoolOptionEN7Glucose12DoubleOptionEvoid Glucose::RegionAllocator::capacity(uint32_t) [with T = unsigned int]const T& Glucose::RegionAllocator::operator[](uint32_t) const [with T = unsigned int]void Glucose::vec::shrink(int) [with T = Glucose::Solver::Watcher]T& Glucose::RegionAllocator::operator[](uint32_t) [with T = unsigned int]const T* Glucose::RegionAllocator::lea(uint32_t) const [with T = unsigned int]uint32_t Glucose::RegionAllocator::alloc(int) [with T = unsigned int]T* Glucose::RegionAllocator::lea(uint32_t) [with T = unsigned int]float& Glucose::Clause::activity()void Glucose::Clause::calcAbstraction()void Glucose::Solver::toDimacs(FILE*, const Glucose::vec&)Glucose::lbool Glucose::Solver::search(int)void Glucose::bqueue::push(T) [with T = unsigned int]bool Glucose::Solver::simplify()void Glucose::vec::shrink(int) [with T = unsigned int]Glucose::CRef Glucose::Solver::propagate()void Glucose::Solver::uncheckedEnqueue(Glucose::Lit, Glucose::CRef)void Glucose::vec::push_(const T&) [with T = Glucose::Lit]void Glucose::Solver::analyzeFinal(Glucose::Lit, Glucose::vec&)bool Glucose::Solver::litRedundant(Glucose::Lit, uint32_t)void Glucose::vec::shrink(int) [with T = Glucose::Lit]void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, int&, unsigned int&)int Glucose::Heap::operator[](int) const [with Comp = Glucose::Solver::VarOrderLt]void Glucose::vec::pop() [with T = int]void Glucose::Heap::insert(int) [with Comp = Glucose::Solver::VarOrderLt]void Glucose::vec::shrink(int) [with T = int]void Glucose::Solver::detachClause(Glucose::CRef, bool)void Glucose::remove(V&, const T&) [with V = Glucose::vec, T = Glucose::Solver::Watcher]void Glucose::vec::pop() [with T = Glucose::Solver::Watcher]void Glucose::Solver::attachClause(Glucose::CRef)bool Glucose::Solver::addClause_(Glucose::vec&)???????????????????45A?????A????????@??x?D#B????;}Ô%?I?T0??.?++?h㈵??>Y@@
%s OPTIONS:


HELP OPTIONS:

--help-verb  --%shelp        Print help message.
  --%shelp-verb   Print verbose help message.
ERROR! Unknown flag "%s". Use '--%shelp' for help.
/proc/%d/statusVmPeak: %d kB/proc/%d/statm%dERROR! Failed to parse memory statistics from "/proc".
?>
;?[?!???!?? "??88"??Ph"????"????"???&??(x&????(??`?)??xh*???h5???x5??H	?8???	8@?? 
?G??H
?K???
?N???
?S???
(Y??0Z??X?^??p?c????f???xm??0n??Pxr????????????X???0
????X
ؚ??x
????
????
؟???
(??? (???H8????????????@ȸ??pظ????????????????????H??? h???8????P????hȼ????????(????X????????????????????(????Xؾ??p(?????????h????????????0x???H???`?????????????X???????H???0????H????8???	?????	?????	?????	x????
???????????????????????HX??????????????x?????????
zPR
x??  ?
$???<???T???.K$l???/BE?AA C??
zPLR
x?? ?
$???DKAI ?????@D<\ ??#BEB C???B(C?A0A8B??Dp,
????D
?!??a,\
`???
BBA A(B????D@?
P????
H????
@???$?
8???
BL?FC?A G??
0????M??I0K????O
AJ?KD0E?< ???T(???l0????8????@???)AG??X???)AG??p???)AG??????)AG??????)AG?????)AG?,з??)AG?,D????BC?BA A(D0C???tH???)AG??`???I
M??I l???????AF?4????]BC?EC?B C?B(C?A0C?A8Dp??????AF?h????AF?,????M??I K?L?????AF?d(????AF?$|?????BAC??A E?,?x???
BO?BC?B C?F(C?A0G??X????ARC??D ?????
AJ?KD0E?X????AAC??D 4????6DL???5Dd8???qAE?|p ???F,?!???BFB C???A(A0DPh??4??!???
BhB J???B(C?A0A8G?f????,?????)AG?4, ???T
BBB B(A0C?????A8D@K?4d(,??BBB B(A0A8D`W??????????RAH?,?X????
BC?BB A(C???A0G?,??????BBA C???A(D0G?$??.???AZC??K0$?6????AKC??K04??=????BBB B(A0C?????A8Dpg?$?????M??[PB????4?A???BBC??I B(C??A0A8D`????C???HC?4?H???BBB B(A0A8C??????K?
$??M???AAC??D@t?N???HC???S???HC?4?XX???BBB B(A0B?????A8C?D`4?????#BBB B(A0C?????A8B?D?
4??Z???OBBB B(A0A8C??????D?
L	@a???H?T??L0C?4l	?a??oBC?BB B(A0B????A8C?D`4?	?e???BBB B(A0B?????A8C?G?
4?	Px??k
BC?BG?B B(A0A8C????D`4
?????BBB B(A0A8C??????D?
$L
 ???6BAA I???t
8???6
M??N0N??4?
X???-
BBC??B C?B(A0B??A8D@K??
P???

AJ?,?
H????BBB A(A0K?????$ؑ??EM??[PL????$<????
BAC??A C?D@4?
ؖ??
BBB B(A0A8C??????G?
$?????]BAA C???D0????????4?x???XBBB B(A0A8D?
R??????4,????BC?BB B(A0A8DpS?????4d????[BC?BB B(A0A8D`d??????0????AAG?E???????AG?E??????#A??????=D??

*???
!?
?????
?
?
???
?
?
???
?
?????
8H.?
?
??
?
?
?
?~??
~???????????0A?T????????4
D
S
d

A
K
Z
d
r?:
H
?
???oh?@

???!??2P,`	???o?+???o???on*???o	?B!h=!?:?:?:;;&;6;F;V;f;v;?;?;?;?;?;?;?;?;<<&<6<F<V<f<v<?<?<?<?<?<?<?<?<==&=6=F=V=f=v=?=?=?=?=?=?=?=?=>>&>6>F>V>f>v>?>?>?>?>?>?>?>?>??&?6?F?V?f?v?????????????????@@?B!
GCC: (Ubuntu 4.4.3-4ubuntu5.1) 4.4.3.symtab.strtab.shstrtab.note.gnu.build-id.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.gcc_except_table.ctors.dtors.jcr.data.rel.ro.dynamic.got.got.plt.data.bss.comment?
?
$2?
?
x.???ohh?8@
@
X@???
H???on*n*2
U???o?+?+?dP,P,`n?2?2?x
?:?:s
?:?:`~
 @ @(??
H
H
?
`
`
? ?
(
(
??
"
"

?
/
/
?
?
P;!P;
 ?
p;!p;
?
?;!?;
?
?;!?;
?
 ?h=!h=
?
?
8?!8?
??
??!??
??
?B!?B
??B!?B
? ?
0?B
%

?B



?K
`m	d
?

?
?
h@
?n*?+P,	?2
?:?: @
H
`
(
"
/
P;!p;!?;!?;!h=!8?!??!?B!?B!
 @??
P;!*
p;!8
?;!E@@[
?B!
j
?B!x?@???
h;!?
/
?
?;!?
????0A.

?B!

??'

 
Mi

@
M?

?
#?


(
?
D\
@
>??I?
?
?B!H?
?;!?
@C!H?
?C!8?
?C!8 
?;!4
 D!8W
`D!8x
?D!8?
?D!8?
?;!?
 E!8
`E!8/
?;!B
?E!H_
F!H
`F!H?
?F!H?
 G!8?
`G!8?
?G!0
?G!H??TT
?
Y?
?
F?
 
+
?
YK

I?
`
F?
?
R
?
+;
?
N?
@
I?
?
;
 
:X
`
_?
`
P?
?
1 	
@
sw	

8?	
?
@?	
`
:'

 
!\


2?

@
>?

?
,
?
9G??R??\???n?
?s
?B!?
????!?
?B!?
x;!?
??h=!?"????`A/"?@I"0?
h"?)"??#?`?]?H???-
)
"@??Y
" ?O
y
"??
?
?
???!?"??)U d x B?"??? ?[??0y?4N
H
T"p?5r!?B!??m???!?;!(?"p?@??,"??)CV?????r??"??R?" ??
6J?

=eg???!?B!?Px???6
6H\?H??????! =!0?!?;!?"???""Tt??j??"??)?"0?6?ADDP??
w"????!?
????"??q!P=!$0?oO"??m?T?!?
?!
??"?????A<"?I
^"???0Ea?"??"??)?P?
 "??
_!?
u?E?????!p?A@f"???" ?
?"???"@????(??6L?q"?????"??)????B!%"`?T
??"??X???E]#?

#9"???`"0????
?:?"0?)?!