x86-mac.libglucose.dylib Maven / Gradle / Ivy

Go to download
????
????__TEXT__text__TEXT?
???
?__symbol_stub1__TEXT`?`??__const__TEXTp??p?__cstring__TEXT`??`?__stub_helper__TEXT,?(,??__gcc_except_tab__TEXTT?-T?__unwind_info__TEXT??x??__eh_frame__TEXT???`(__DATA__mod_init_func__DATA	__nl_symbol_ptr__DATAh-__la_symbol_ptr__DATAxhx:__const__DATA???__data__DATA?@?__bss__DATA hH__LINKEDITPJ
h/Users/aleks/work/projects/kodkod/lib/glucose-2.1/build/libglucose.dylibyp?G5n('??????"?0  ????????+?<PTTs?"h:g8	/usr/lib/libstdc++.6.dylib8}/usr/lib/libSystem.B.dylibUH????t??fD????u?H?=a???H?5???1?H?=????fDUH??????????????????????UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;???H?H??tH??[??f????8u??f?H??H?5??1??m??f.?UH??AWAVAUATSH????tH??[A\A]A^A_??fDfD????u?L?=a?L?5J?I?FH?O?H???H?I?H???H?C?L?=D?H???H?>?H????;??L?-?L?%????A?MA;M??Hc?I?EH?5??H?4ЍAA?EH???H?BH?????????H???H?
??H???H?????????H???L??1?H?=???+?I?FH???H?5?H?5??H???H???L?=??H???H????;??A?MA;M??Hc?I?EH?5z?H?4ЍAA?EH???H?BH?]???????H?@H?n?H???H?U?H?ffffff??H?\?L??1?H?=???[?I?FH?`?H?5\?H?5Z?H?[?H?T?L?=U?H?t?H?O??;?nA?MA;M?Hc?I?EH?5
?H?4ЍAA?EH?0?H?BH???H?
???H????2L??1?H?=&?豽I?FH???H?5??H?5??H???H???L?=??H???H????;?~A?MA;M?ZHc?I?EH?5??H?4ЍAA?EH???H?BH???H?
???H???????L??1?H?=\???L?=X?I?FH???H?5??H?5?H???H?y?L?=z?H??H?t??;??
A?MA;M??Hc?I?EH?5/?H?4ЍAA?EH???H?BH??H????H?)??'??L??1?H?=???V?I?FH??H?5'?H?5?H?%?H??L?=?H?o?H?
??;??A?MA;M??Hc?I?EH?5??H?4ЍAA?EH?+?H?BH???I????L??????,L??1?H?=?謻I?FH???H?5??H?5??H???H???L?=??H???H????;??A?MA;M?Hc?I?EH?5[?H?4ЍAA?EH???H?BH?>?I????L?U??S??L??1?H?=7???I?FH?G?H?50?H?5A?H?:?H?;?L?=?L??1?H?=??!??6????qL??豭A?M?m????qL??蝭A?M??????qL??艭A?M?????qL???u?A?M?G????qL???a?A?M?p????qL???M?A?M?????qL???9?A?M?????qL???%?A?M??????qL????A?M?????qL?????A?M?V????qL????A?M?????qL???լA?M??????qL?????A?M?????qL??譬A?M?W????qL??虬A?M?????qL??腬A?M??????qL???q?A?M??????qL???]?A?M????@UH???????L???????????????UH??H??u??DH?H??L?X?A??f?UH????Hc?H?B?<???????UH??AUATSH??I??A?̅?~"1????L?????D9?u?H??[A\A]??fDfDUH??H?]?L?e?H????ԫI??H???mA?D$(L??H?$L?d$??H??L??衫H???!??UH??H??Hǂ????Hǂ????H??xt
ǂ??*]????????UH??AWAVAUATSH??8H?}?I??H?M?H?H????XA??H?U?H?1?H?u?H?}????H?E?H?E??E??E?E??~pI??E1?H?E?H?E??3???M?;M?t8Hc?H?U????A?E?A??I??E9?t-A?$?\?????Ѝ???M?;M?uȍqH?}??,??M??I???tAǆ??]?M???A;??????~+1?1?DfDI???H?U??
???H??9u??L??L???,H?U?H?1?H?U?H?u?H?}???A??DH?}?H??t?E??=???H??8[A\A]A^A_?É?L???m?A???9?~&Hc?H??H??I??t???H??9?u?A????]??2???H??H?}?H??t?E??ɩH??????????UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;舩H?H??tH??[??f??#??8u????H??H?5?1???????????????UH??D?FE??~5H???H?N1??@??H??A9?t?????H?:8u???1???f.?UH??AWAVAUATSH??8I???*?`?E??o??^E??E?D??PfW?E????E1?fW?E1?A?G?E??GfDI??HA?\?A*??E??U??^?+]??*??Y??U??X?A??I??D;e?t)?E?E??tI??HB?D(??E?E9?u?A??0?f(??^E?H??8[A\A]A^A_????UH??AWAVAUATSH??8H??H?E??E??E?D??`E??~fE1?1?L?m????D??Hc?H???<t-H????t ?M?;M???Hc?H?U?D?$??A?E?A??D9?`?D???E??~+1?1?H???HcH???????????H??9???H???t
ǃ??}ȅ?~pE1?E1?L????*Hc?H???C?,???F???A??I??D9u?~7H?E?Jc(H???D?4?L?e????;??u???L????????뢋?????????A??A???dIc?H??H?E??L	??M?I??A??H???F?<Ic?H?E?D??D9???I??I??E???o@Ic?L??B?4H???H?Hc???D??fA.D??Icщ4?H???Hc?H???D??D?D	???A9???H???A??C?L	9?}?Ic?L??F?$Hc?L??B?4H???H?Hc???Ic???f.??n???D??M??D??f(?fA.D?a???Ic?L??D??F?<H???H?U???A??H?m??m?A???t???L?U?D?E?????H?????H?}?H??t?E???H??8[A\A]A^A_?ÍqL???E??M??g???H??H?}?H??t?E?诤H???ۣDfDUH??O??~7L??6A91??I?QE1?????H??9?t6A??A9?u?H?
???(H?5èH?=Z?????D9?~͍A?D9?~HIc?H??A?@H?H????L?A??I?I?	?w?F?H??H??D9?߅?~
?G??E1??H?
???LH?5??H?=Զ?f?f?UH??A??H???????Hc?A??A???tQH?D??0?0H??H?X??PD??H?? H	?H???0;?4}7Hc?H??(?4??A??0??H?
???ZH?5?H?=µ?ҢH?
??KH?5?H?=??賢??UH??AWAVAUATSH???%??????Y????f(??^??,??*??-???Y??X????f(??^??Gxf.?v??????
A?????@A???t!Ic?H????tH???<?????????H???D?0HcҋT???H???HcH?????Ic?H???????????????H?ȉ?????p???L???E?8Ic?H?U?I??I??E1?A??xfD?Ic?L??C?4H???H?Hc???D??fB.*??Ic?A?4?H???Hc?H???D??D?T	???A9??L???A??C?L9?~?Ic?H??E?$Hc?L??C?4H???H?Hc???Ic???f.??n???D??I??D??f(?fB.*?a???Ic?L??D????L???G??H?
???QH?5??H?=\????f.?UH??AWAVAUATSH??(H?}?H?u?H?U?I??L?E?D?BE??~MH???I??I??L??1??????H??D9?tG?????H?:u?H??([A\A]A^A_??H?M???H?=ңH??([A\A]A^A_????M??E1??XfDI?B?????tf??H?w?H?
?HDэHH?5??H?}?1??j?A??I??H?E?D9x~?H?U?H???A?U?Ѓ?????Lc?B2'??t?A?~9?|??^9?|+J??H?U??I??
??H?U??I??A?U?h?????L???t?A?N9?~.Hc?H????I????????H??9??A?^?fDUH??AWAVAUATSH??8H??@?u??U?D??`G?,?E?eH??hH?E?D;?p?+E?eH??xH?U?D;???E?uE?eD;?p?UE?fD;????E?eH???H?E?D;???!E?eL???D;????E?fD;????E?fD;???:??;??rHc?H????B????`;?d??Hc?H??X?????H?4A??`fW????tH?
K??Y???C?f(??^??,??*??Y3??X?????^??Y+???X;?\?#Hc?H??P?A??X???;???wHc?H?????A??????;???hHc?H???H???A?????;??UHc?H???E??2?A???? ;?$?CH?H?t??? E?oH??(D??螚?}???Mc?H??B?< ????U?B? ???A9?}=H???F?4?E??x-fD?D??H??8[A\A]A^A_????H??B?< t?A9???A9??I??H???F?"E???:???A????;???Hc?H???D?????}?HcE?A?H??[A\A]A^A_?ËB??~p???M?A?OA;OtHc?I??uȉ4??AA?GL???돍qL???
?A?O?ӍqL?????A?O?`???H?
	???H?5ȌH?=Ϝ?@?H?
???DH?5Q?H?=(??!?L????C????UH??AWAVAUATSH??(H??A??U?H???t
Ǉ?H???H?Eȋ??;???;Hc?H???D?$??????????E?H???H?E??f???????????HH???H??Hc???H??X??H??HǃPǃ\H?{t?C H?{?>H?C?C$H?{t?CH?{?>H?C?CL???=?f?UH????????fDUH??AVAUATSI??H?+tH?H???t.Ǉ?H????$>IǄ$?AǄ$?I??$?t1AǄ$?I??$???=IǄ$?AǄ$?I??$?t1AǄ$?I??$??=IǄ$?AǄ$?I??$?t1AǄ$?I??$??p=IǄ$?AǄ$?I??$Xt1AǄ$`I??$X?4=IǄ$XAǄ$dI??$t1AǄ$ I??$??<IǄ$AǄ$$I??$?H??t??<I??$?t1AǄ$?I??$??<IǄ$?AǄ$?I??$?t1AǄ$?I??$??n<IǄ$?AǄ$?I??$?t1AǄ$?I??$??2<IǄ$?AǄ$?I??$?t1AǄ$?I??$???;IǄ$?AǄ$?I??$xt1AǄ$?I??$x?;IǄ$xAǄ$?I??$Xt1AǄ$`I??$X?~;IǄ$XAǄ$dI??$Ht1AǄ$PI??$H?B;IǄ$HAǄ$TI??$8t1AǄ$@I??$8?;IǄ$8AǄ$DI??$(t1AǄ$0I??$(??:IǄ$(AǄ$4I??$t1AǄ$ I??$?:IǄ$AǄ$$I??$t1AǄ$I??$?R:IǄ$AǄ$I??$?t1AǄ$I??$??:IǄ$?AǄ$I??$?t1AǄ$?I??$???9IǄ$?AǄ$?I??$?t1AǄ$?I??$??9IǄ$?AǄ$?I??$?t1AǄ$?I??$??b9IǄ$?AǄ$?I??$?t1AǄ$?I??$??&9IǄ$?AǄ$?I??$?H??tA??$???~JE1?E1?I?\=H?;t%?CH?;??8H??CI??$?A??I??E9?$??AǄ$??8IǄ$?AǄ$?I??$?t1AǄ$?I??$??^8IǄ$?AǄ$?I??$xt1AǄ$?I??$x?"8IǄ$xAǄ$?I??$hH????A??$p??~QE1?E1?DfDJ?/H?;t%?CH?;??7H??CI??$hA??I??E9?$p?AǄ$p?7IǄ$hAǄ$tI??$Pt1AǄ$XI??$P?O7IǄ$PAǄ$\I?|$t%A?D$ I?|$?7I?D$A?D$$I?|$t%A?D$I?|$??6I?D$A?D$L??[A\A]A^??y6?UH??AVAUATSI??H??lH?H???t.Ǉ?H????6IǄ$?AǄ$?I??$?t1AǄ$?I??$??X6IǄ$?AǄ$?I??$?t1AǄ$?I??$??6IǄ$?AǄ$?I??$?t1AǄ$?I??$???5IǄ$?AǄ$?I??$Xt1AǄ$`I??$X?5IǄ$XAǄ$dI??$t1AǄ$ I??$?h5IǄ$AǄ$$I??$?H??t?>5I??$?t1AǄ$?I??$??5IǄ$?AǄ$?I??$?t1AǄ$?I??$???4IǄ$?AǄ$?I??$?t1AǄ$?I??$??4IǄ$?AǄ$?I??$?t1AǄ$?I??$??f4IǄ$?AǄ$?I??$xt1AǄ$?I??$x?*4IǄ$xAǄ$?I??$Xt1AǄ$`I??$X??3IǄ$XAǄ$dI??$Ht1AǄ$PI??$H?3IǄ$HAǄ$TI??$8t1AǄ$@I??$8?v3IǄ$8AǄ$DI??$(t1AǄ$0I??$(?:3IǄ$(AǄ$4I??$t1AǄ$ I??$??2IǄ$AǄ$$I??$t1AǄ$I??$??2IǄ$AǄ$I??$?t1AǄ$I??$??2IǄ$?AǄ$I??$?t1AǄ$?I??$??J2IǄ$?AǄ$?I??$?t1AǄ$?I??$??2IǄ$?AǄ$?I??$?t1AǄ$?I??$???1IǄ$?AǄ$?I??$?t1AǄ$?I??$??1IǄ$?AǄ$?I??$?H??tA??$???~JE1?E1?I?\=H?;t%?CH?;?B1H??CI??$?A??I??E9?$??AǄ$??
1IǄ$?AǄ$?I??$?t1AǄ$?I??$???0IǄ$?AǄ$?I??$xt1AǄ$?I??$x?0IǄ$xAǄ$?I??$hH????A??$p??~QE1?E1?DfDJ?/H?;t%?CH?;?30H??CI??$hA??I??E9?$p?AǄ$p??/IǄ$hAǄ$tI??$Pt1AǄ$XI??$P?/IǄ$PAǄ$\I?|$t%A?D$ I?|$?/I?D$A?D$$I?|$t%A?D$I?|$?_/I?D$A?D$[A\A]A^???UH????f?????????UH??AVAUATSH?????t?C???~`I??E1?A?E??E??L??M?cD9?~*M??f?Ic?H??L??A??9?EO?HN?A??I??D9??A??A??I??A??M??A9?u?H??[A\A]A^?É???H?D??I????A??????A??E?$E9?|0?A?H?H??DfD??H?֋H??D9??A9?}
A?$D?I??뾈$D??????D)?$??L??????H??[A\A]A^??fDUH??AUATSH??H??A??H?O H?WL?%.bH?5'/I?<$1???-?S(?????H?5/I?<$1??-I?$??H?=/?-?S,?????tvH?5?.I?<$1??-?S0H?5?.I?<$1??o-E??uH??[A\A]????H?SH?5?.I?<$1??:-I?4$?
H??[A\A]??(-f?I?$??H?=k.?-?@I?$??H?==.??,?&????UH??H?]?L?e?L?m?H?? H??A???9E?A??̀8E?A???H?O H?WL?%?`?W@A??]?O0?G(A??[H?5.I?<$??u,E??uH?]?L?e?L?m???f?H?SH?5?-I?<$1??J,I?4$?
H?]?L?e?L?m???5,???UH??H?`H??H????+?UH??H??_H??H???fDfDUH??H??_H??H???+?UH??H??_H??H???fDfDUH??H??_H??H???@+?UH??H?u_H??H???fDfDUH??H?e_H??H???+?UH??H?E_H??H???fDfDUH??H?]?L?e?H??H??^?;t$L?%_L??H?$L?d$????H???*??t?L?%?^I?$A?D$A?D$H???*H??^??1?H?=['?f*?@UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?h*H?H??tH??[??f??*?8u???)H??H?5?]1???)?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;??)H?H??tH??[??f??c)?8u??6)H??H?5Z]1??=)?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?()H?H??tH??[??f???(?8u??(H??H?5?\1??(?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?(H?H??tH??[??f??#(?8u???'H??H?5\1???'?f.?UH??SH??H?????9?}G?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H?;??'H?H??tH??[??fD??'?8u??V'H??H?5z[1??]'?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?H'H?H??tH??[??f???&?8u??&H??H?5?Z1??&?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?&H?H??tH??[??f??C&?8u??&H??H?5:Z1??&?f.?UH??SH??H?????9?}G?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H?;?&H?H??tH??[??fD??%?8u??v%H??H?5?Y1??}%?f.?UH??SH??H?????9?}K?????????)??H?????)???????!?!?¸???)?9?7?4:?sHc?H??H?;?h%H?H??tH??[??f??%?8u???$H??H?5?X1???$?f.?UH??AWAVAUATSH??I??A??H?WL?5YH??H?5~&I?>1??$E1??DI?6? ?$D??I??I?}??$H?? H)?H9?r?I?6? ?}$H?8&A?}(H?/&HD?H?5(&I?>1??O$E??uH??[A\A]A^A_??I?UH?5?%I?>1??&$I?6?
H??[A\A]A^A_??$?f.?UH??G??~?ȉG??H?
?%?LH?5?%H?=?6?#???UH??G??~?ȉG??H?
?%?LH?5?%H?=?6?S#???UH??ATSH???9?sI??fD?????????D????9?s)9?w?K??tO??H??H?;?a#I??H??t&L?#[A\?ÉK???"H??H?5W1???"??"?8u????H?
%?hH?5%H?=	5?"?UH??H?]?L?e?H??H??A???~#w??!?SA??C9?w,??H?$L?d$??H?
%?rH?5?$H?=?4?8"??4"H??H?5XV1??;"??UH???G(?G$;G t@???G$H???HGHcG?4??G???G;G t??fDfD?G?G?ËO;Ou!Hc?H???H)G?A?G;G u??G?H?
g$?3H?5l$H?=M4?|!?UH??G9?|??~)??G??H?
?$?@H?5o#H?=4??!?f.?UH??G9?|??~)??G??H?
Q$?@H?5/#H?=?3?? ?f.?UH??D?GD;G}Ic?H????A?@?G??H?
$?KH?5?"H?=?3? ???UH??G??~?ȉG??H?
?"?LH?5?"H?=?3?s ???UH??9w~Hc?H?W????H?
?#?QH?5?#H?=m3?0 fDfDUH??G9?|??~)??G??H?
A#?@H?5"H?=B3???f.?UH??G9?|??~)??G??H?
#?@H?5?!H?=?2??f.?UH??9wv??H??H??H?
:#?CH?5?!H?=2?q?fDfDUH??9wv??H??H??H?
?"?BH?5?!H?=?1?1?fDfDUH??9wv??H??H??H?
?"?@H?5y!H?=n1???fDfDUH??9wv??H??H??H?
z"??H?59!H?=@1??fDfDUH???t
?GH?D???H?
L"??H?5R"H?=1?r??UH???t=D?GE1?E??~'H?WE1?1?f??
???????A	???H??D9?u?D??D?L???H?
?!??H?5?!H?=?0???f.?UH??ATSI??H?="??>-t?>?1H??H??8?u-?W??u?H?<H?5?!???nt31?I?t$???tA1?[A\?????9H??H??8?u??V??u?HϻI?t$????u???A?\$(?[A\?Ð@UH??ATSH??H??H?=X!??>-t#??fDfD?1H??H??8????W??u?H?H?{?1҄?t*?:t??H?J:2uuH???9??u?H?L?? ??>=t?TfD?2H??I??8?u@A?H??u?L?$H?u?
L????H?}?t;C,!;C(|E?C0?H??[A\??1?H??[A\??H?KL??H?5q H??PH?81??h??LH?KL??H?5? ????UH??ATSH??H??H?= ??>-t#?fDfD?1H??H??8????W??u?H?H?{?1҄?t.?:t???H?J:2??H???9??u?H?L????>=t&????2H??I??8??~A?H??u?L?$H?u?L???H?}?t^?K0f.?r?{9tdf.?z^u\?K(f.?rE?{8tf.?zt7H?KL??H?5NH?WOH?81??
???1?H??[A\???C@???H?KL??H?5?뻐?UH??AUATSH??;w |.H?
?TH?5?H?=?-?c??H?WHc?H?????x??4L?WHc?L??G?,Mc?????N???Hc?L??G?H?H?J??Ic??f.?w9?^f.??N???L?WHc?L??G?H?H?Ic??f.?v>A????Ic?E??H?GIcH?GD????u?E1?L?WG?,H?GB?4?H??[A\A]??Hc?L?????UH??AUATSH??H??A??E?e?G A9??\A9??Ic?L?$?H?SB?4"???{?CB?"?K;K?Hc?H?CD?,??A?CH?CF? L?KIc?H?4?E?,1Mc?E????A?H???Hc?L??A?#?H?U?D??H?}?????D)}??}?~	L?u??????L?u??E??ȅ??DL?m?H?E?A??}?E??D9}??1E?uA?EH?U?D?bA9??????H?U?H?M?]D???DD9????????H?4??N??uLD??A??D;U???Hc?H?M???A?I??D9????????L??E?AA???D9????????H?4??N??~UA??t?A???????????%???9?w?r?A??????D???AL??????????D?.??b????Z???A??u???u??M???Hc?H?M?H???A?UD?0H?E?A??I??D;}??????H??H[A\A]A^A_??L??E?uD???ɍG?H?H?U?H?4???H?M???I??D?A9??????D??I??D?AA??tPA???????????%???9?r6?:???A??????H?E??AL???????D???D?.??
???H??????G?H?H?M?H????I??D?D9??#???D??I???q????????????A???????????%???9?r0?????A??\????AK??M??????D?.??}???I?B?농G?H?H?U?H?4???H?M???I??D?D9??????D??I??D?AA???????????%???9?vH?????"???A??????H?U??AL???????D???D?.?w???????UH??SH??H??AH?;H??t?C?
H??CH??[???UH??H??AH?8??UH??H?mAH?8??UH??AWAVAUATSH??8H???H?KAH?0H??tH?H?QAH?81??
L?%?@A?<$?SL?5AA?v?$I?>?yE1?H?E??E?E1??ۉ]??gf?H??H?5 H??@H?81??A?<$??I?I?|H??u??PA?<$??I?I?DL?xI?I?DH?@ H?E??E?I??A?<$???E?A;F??A?<$?hI?J?(H?XH?@ L9??`???H;E??q???H?O@H?0?
?A?<$?]????L??????F???I?A?FA?FL???H?????1?H?=????|?
????L???n???@???I?A?FA?FL???MH?J???1?H?=?????,?E?A;F????H???H???H?=??AH?X?H?H?5?H?W?H?81??
H?H?5?H???1?H?=~?????	????I?A?FA?FL????	H??=??1?H?=E????	?g???I?A?FA?FL???	H??=??1?H?=????w	?????L???p	???????L?5?=I?A?FA?FL???H	H?E=??1?H?=?????'	?d???I?A?FA?FL???	H?=??1?H?=??????????f?UH??AWAVAUATSH??(H?}?H?u??U???1????II??I???E??E?M?H???A?8-t ?1?B?H??H??8???J??u?N?H??<H??1Ʉ?t7?A:t"????H?qB:??H?????u?I?H??A?8ht%?fD?B?H??H??8????J??u?I?0?0@????H?
?H??@??-t?/?BH??H??@8?u?q@??u?H?u??z???H?E??8?E?I??;}???????E?+E?)?H?U??:H??([A\A]A^A_??L?-p;E1?E1?H??;?1?D;s}uA?}??H?I?H??H????9??_????A??u?H?7I?H?e:H?H?5H?d:H?81?????1?H?u??????H?U??:?F?????????????UH??H?
:??UH??H?:??UH??AWAVAUATSH??xH?}??u????????ȅ???H?}?H?E??E??E??E?D?m?D9m???H?E?L?8L?}?H??H??x???I????L?u?A??I??D9m?~SHcE?H?U?H??H?E?M??I?$I?wH?{?a??|u?I?w H?{ ?M??y?D?m?I??A??I??D9m??H?E?H?U?L?:I?H?E??E?H??x???H?E??U?9U??@???H??x[A\A]A^A_?É?A????H?L????UH??H?]6H??H??=???UH??H?=6H??H?j=???UH??H?6H??H??<???UH??H?
6H??H?J;???UH??H??5H??H??:???UH??H??5H??H??:???UH??H??5H??H?*>???UH??H??5H??H??=???UH??H?m5H??H??;???UH??H?M5H??H??;???UH??H?-5H??H?*;???UH??H?
5H??H??:???UH??H??4H??H?j:????%5?%5?%5?%5?%5?%5?%5?% 5?%"5?%$5?%&5?%(5?%*5?%,5?%.5?%05?%25?%45?%65?%85?%:5?%<5?%>5?%@5?%B5?%D5?%F5?%H5?%J5?%L5?%N5?%P5?%R5?%T5?%V5?%X5?%Z5?%\5?%^5?%`5?%b5?%d5?%f5?%h5?%j5N7Glucose20OutOfMemoryExceptionEN7Glucose9IntOptionEN7Glucose6OptionEN7Glucose10BoolOptionEN7Glucose12DoubleOptionE???????45A?????A?????????h㈵??>@??x?D#B????;}Ô%?I?T0??.?++Y@@?>  -%-12s = %-8s [imin%4d .. imax] (default: %d)

        %s
  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)
  -%s, -no-%sonoff(default: %s)
sz > 0/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Vec.hcap > 0/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alloc.hsize > 0last==first/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/BoundedQueue.hnelems <= szsz < capindex < heap.size()/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Heap.hr >= 0 && r < szheader.has_extra/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/SolverTypes.h-no-=ERROR! value <%s> is too large for option "%s".
ERROR! value <%s> is too small for option "%s".
inHeap(n)!inHeap(n)j < ts.size()/Users/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alg.hvalue(p) == l_Undef../sources/glucose/core/Solver.cc%s%d 0
c[1] == false_litlevel(x) > 0reason(var(analyze_stack.last())) != CRef_Undefvalue(c[1])==l_Truec.size() > 1decisionLevel() == 0|  Garbage collection:   %12d bytes => %12d bytes             |
p cnf 1 2
1 0
-1 0
p cnf %d %d
value(assumptions[i]) != l_False%s%d 0
Wrote %d clauses with %d variables.
wrcould not open file %s
confl != CRef_UndefKThe constant used to force restartRThe constant used to block restartszLBDQueueThe size of moving average for LBD (restarts)szTrailQueueThe size of moving average for trail (block restarts)firstReduceDBThe number of conflicts before the first reduce DBincReduceDBIncrement for reduce DBspecialIncReduceDBSpecial increment for reduce DBminLBDFrozenClauseProtect clauses if their LBD decrease and is lower than (for one turn)minSizeMinimizingClauseThe min size required to minimize clauseminLBDMinimizingClauseThe min LBD required to minimize clausevar-decayThe variable activity decay factorcla-decayThe clause activity decay factorrnd-freqThe frequency with which the decision heuristic tries to choose a random variablernd-seedUsed by the random variable selectionccmin-modeControls conflict clause minimization (0=none, 1=basic, 2=deep)phase-savingControls the level of phase saving (0=none, 1=limited, 2=full)rnd-initRandomize the initial activitygc-fracThe fraction of wasted memory allowed before a garbage collection is triggeredokc | %8d   %7d    %5d | %7d %8d %8d | %5d %8d   %6d %8d | %6.3f %% |
learnts.size()>0c ========================================[ 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 =========================================================================================================N7Glucose6SolverECORE -- RESTARTCORE -- REDUCECORE -- MINIMIZECOREcapacityoperator[]shrinkoperator[]leaallocleaactivitycalcAbstractiontoDimacssearchpushsimplifyshrinkpropagateuncheckedEnqueuepush_analyzeFinallitRedundantpopshrinkanalyzedecreaseoperator[]popinsertshrinkdetachClauseremovepopattachClauseaddClause_
%s OPTIONS:


HELP OPTIONS:

  --%shelp        Print help message.
  --%shelp-verb   Print verbose help message.
--help-verbERROR! Unknown flag "%s". Use '--%shelp' for help.
L?= AS?%- ?h?????h?????h6?????h?????h????hV????hk????h?????h?????h?????h?????h??x???h??n???h??d???h??Z???h??P???h??F???h
?M,????4	?a???a|??4?
2?
?
C2O??(?	@D?X???XQQX?\????T?? ?P$??pT??`U??@o+???c?6??
?@T`??@ ? p"#`#P$?'@)E?J?KpT`U?Z?[?\^@o?}????Ѝ???????0? ???Щ?P?p????????0?P?p??? ?`?zPLRx?=?4$0;???????
4\;???????
4?&??????:?
4?&???????
4?????????
4<(=????????
?<t :??????D?
	???<?0:??????O?????????
??4?@:??????@?
<,H:???????6????????

?????zPLRx???4$x??Variables?Clause??????@?A_?0_INS_6Solver7WatcherEEEE8capacityEi?3LitEE?6Solver7?5lboolEE8capacityEi?8capacityEi?5push_ERKS1_?3popEv?6shrinkEi??D6Solver?4HeapINS_6Solver10VarOrderLtEEixEi?15RegionAllocatorIjE?9satisfiedERKNS_6ClauseE?16progressEstimateEv??F?FSolver?Option?bqueueIjE4pushEj?Clause?1?8?6?	9propagateEv?	7analyzeEjRNS_3vecINS_3LitEEERiRj?C?D?6?3pickBranchLitEv?1cancelUntilEi?	2?	0addClause_ERNS_3vecINS_3LitEEE?
4garbageCollectEv?5removeSatisfiedERNS_3vecIjEE?rebuildOrderHeapEv?uncheckedEnqueueENS_3LitEj??H?Q?RtoDimacsEP?re?
simplifyEv?7__sFILER?KcRKNS_3vecINS_3LitEEE?NS_6ClauseERNS_3vecIiEERi?	KNS_3vecINS_3LitEEE??YnewVarEbb?	s??\?m?ua?
litRedundantENS_3LitEj?
detachClauseEjb?
removeClauseEj?
nalyzeFinalENS_3LitERNS_3vecIS1_EE?
ttachClauseEj?
?Ѓ??????МlocAllERNS_15ClauseAllocatorE?duceDBEv?????????????earchEi?olve_Ev?????2Ev?1Ev?????0Ev?2Ev?1Ev?Л??sortI?HeapINS_6Solver10VarOrderLtEE?NS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0_?
jNS_11reduceDB_ltEEEvPT_iT0_?PNS_6OptionENS1_8OptionLtEEEvPT_iT0_???4helpEb?
D?5parseEPKc???2?0BoolOption?5?6setHelpPrefixStrEPKc?7printUsageAndExitEiPPcb?DoubleOption?setUsageHelpEPKc?parseOptionsERiPPcb?4helpEb?D?5parseEPKc???0Ev?1Ev?????0Ev?1Ev?????D?4helpEb?5parseEPKc?0Ev?1Ev?????D?1?0Ev?1Ev?????3getOptionListEv?4getUsageStringEv?9getHelpPrefixStringEv?????WatcherEE?VarDataEE8capacityEi?8capacityEi?3popEv?6shrinkEi???8capacityEi?6shrinkEi?????????????8capacityEi?3popEv?6shrinkEi?????????RegionAllocatorIjE?ClauseAllocator5relocERjRS0_?8capacityEj?5allocEi?3leaEj?ixEj?????????????????????3leaEj?ixEj?????????8activityEv?15calcAbstractionEv???????????8decreaseEi?6insertEi???????????????????????Ќ?SN7Glucose?IN7Glucose?VN7Glucose?20OutOfMemoryExceptionE?9IntOptionE?6?1????OptionE?SolverE???0BoolOptionE?2DoubleOptionE???ؙ??20OutOfMemoryExceptionE?6?9IntOptionE?1???6?9IntOptionE?1?SolverE?OptionE???SolverE?OptionE???????Ѕ??0BoolOptionE?2DoubleOptionE???0BoolOptionE?2DoubleOptionE?І????9getHelpPrefixStringEvE15help_prefix_str?3getOptionListEvE7options?4getUsageStringEvE9usage_str?Ї???????
E?
x??@??'
??????( ?2@?;`?D??N??X??b??l?v ?@??`???????????????? ??@?????S?#\?Tg??n??y??}?%??W???????????!??J??t??????????4??x??????
?J????'??+?*2?R9??F??M?Q?4^?s,??@?H?P?X? ?@??
	-	@R	?v	??	?	@?	?
?A
_
`?
??
 ?
??
?	%@	F? s??`???@ ?G
??x?0??????????????@?
??<
??[
? ?z
??
о?
????
???
?P?6???b????????????@?)??P??t?p"?????P???`????N?0??????????? ???????=?p?Z?Тy?p???????P???B?P?y????????@?????0?9?@?d???|???PN??6???$?KHEm?A??J?@)?pT?[:P$b?(?p.?@o??}?^?l>?Qr?\?`U??,
?ZB?:b??z???Ѝ???`???Щ?p??p?l????????@???`???@?	???/???_`#?#??P????????,0C??]???y?????p???????????? !?????Vm???
???
??
??&6Oh?????????(<IRhsy????????????????ehlpqruvwx{}~???????????????????????????????Z??????????@@?ehlpqruvwx{}~??????????????????????????????? __mh_dylib_header__Z41__static_initialization_and_destruction_0ii__GLOBAL__I_Java_kodkod_engine_satlab_Glucose_make__Z41__static_initialization_and_destruction_0ii__GLOBAL__I__ZN7Glucose6SolverC2Ev__ZN7GlucoseL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0____tcf_0___tcf_1___tcf_0___tcf_17___tcf_2___tcf_1___tcf_18___tcf_14___tcf_13___tcf_12___tcf_11___tcf_5___tcf_4___tcf_3___tcf_16___tcf_15___tcf_10___tcf_9___tcf_8___tcf_7___tcf_6__ZN7GlucoseL9lit_UndefE__ZZN7Glucose15RegionAllocatorIjE8capacityEjE8__func____ZZNK7Glucose15RegionAllocatorIjEixEjE8__func____ZZN7Glucose3vecINS_6Solver7WatcherEE6shrinkEiE8__func____ZZN7Glucose15RegionAllocatorIjEixEjE8__func____ZZNK7Glucose15RegionAllocatorIjE3leaEjE8__func____ZZN7Glucose15RegionAllocatorIjE5allocEiE8__func____ZZN7Glucose15RegionAllocatorIjE3leaEjE8__func____ZZN7Glucose6Clause8activityEvE8__func____ZZN7Glucose6Clause15calcAbstractionEvE8__func____ZZN7Glucose6Solver8toDimacsEP7__sFILERKNS_3vecINS_3LitEEEE8__func____ZZN7Glucose6Solver6searchEiE8__func____ZZN7Glucose6bqueueIjE4pushEjE8__func____ZZN7Glucose6Solver8simplifyEvE8__func____ZZN7Glucose3vecIjE6shrinkEiE8__func____ZZN7Glucose6Solver9propagateEvE8__func____ZZN7Glucose6Solver16uncheckedEnqueueENS_3LitEjE8__func____ZZN7Glucose3vecINS_3LitEE5push_ERKS1_E8__func____ZZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EEE8__func____ZZN7Glucose6Solver12litRedundantENS_3LitEjE8__func____ZZN7Glucose3vecINS_3LitEE3popEvE8__func____ZZN7Glucose3vecINS_3LitEE6shrinkEiE8__func____ZZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRjE8__func____ZZN7Glucose4HeapINS_6Solver10VarOrderLtEE8decreaseEiE8__func____ZZNK7Glucose4HeapINS_6Solver10VarOrderLtEEixEiE8__func____ZZN7Glucose3vecIiE3popEvE8__func____ZZN7Glucose4HeapINS_6Solver10VarOrderLtEE6insertEiE8__func____ZZN7Glucose3vecIiE6shrinkEiE8__func____ZZN7Glucose6Solver12detachClauseEjbE8__func____ZZN7GlucoseL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0_E8__func____ZZN7Glucose3vecINS_6Solver7WatcherEE3popEvE8__func____ZZN7Glucose6Solver12attachClauseEjE8__func____ZZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEEE8__func__ stub helpers__ZN7GlucoseL3_crE__ZN7GlucoseL5_credE__ZN7GlucoseL3_cmE__ZN7GlucoseL4_catE__ZStL8__ioinit__ZN7GlucoseL5opt_KE__ZN7GlucoseL5opt_RE__ZN7GlucoseL18opt_size_lbd_queueE__ZN7GlucoseL20opt_size_trail_queueE__ZN7GlucoseL19opt_first_reduce_dbE__ZN7GlucoseL17opt_inc_reduce_dbE__ZN7GlucoseL22opt_spec_inc_reduce_dbE__ZN7GlucoseL24opt_lb_lbd_frozen_clauseE__ZN7GlucoseL28opt_lb_size_minimzing_clauseE__ZN7GlucoseL27opt_lb_lbd_minimzing_clauseE__ZN7GlucoseL13opt_var_decayE__ZN7GlucoseL16opt_clause_decayE__ZN7GlucoseL19opt_random_var_freqE__ZN7GlucoseL15opt_random_seedE__ZN7GlucoseL14opt_ccmin_modeE__ZN7GlucoseL16opt_phase_savingE__ZN7GlucoseL16opt_rnd_init_actE__ZN7GlucoseL16opt_garbage_fracE_Java_kodkod_engine_satlab_Glucose_addClause_Java_kodkod_engine_satlab_Glucose_addVariables_Java_kodkod_engine_satlab_Glucose_free_Java_kodkod_engine_satlab_Glucose_make_Java_kodkod_engine_satlab_Glucose_solve_Java_kodkod_engine_satlab_Glucose_valueOf__ZGVZN7Glucose6Option13getOptionListEvE7options__ZN7Glucose10BoolOption4helpEb__ZN7Glucose10BoolOption5parseEPKc__ZN7Glucose10BoolOptionD0Ev__ZN7Glucose10BoolOptionD1Ev__ZN7Glucose12DoubleOption4helpEb__ZN7Glucose12DoubleOption5parseEPKc__ZN7Glucose12DoubleOptionD0Ev__ZN7Glucose12DoubleOptionD1Ev__ZN7Glucose12parseOptionsERiPPcb__ZN7Glucose12setUsageHelpEPKc__ZN7Glucose15ClauseAllocator5relocERjRS0___ZN7Glucose15RegionAllocatorIjE3leaEj__ZN7Glucose15RegionAllocatorIjE5allocEi__ZN7Glucose15RegionAllocatorIjE8capacityEj__ZN7Glucose15RegionAllocatorIjEixEj__ZN7Glucose16setHelpPrefixStrEPKc__ZN7Glucose17printUsageAndExitEiPPcb__ZN7Glucose3vecINS0_INS_6Solver7WatcherEEEE8capacityEi__ZN7Glucose3vecINS_3LitEE3popEv__ZN7Glucose3vecINS_3LitEE5push_ERKS1___ZN7Glucose3vecINS_3LitEE6shrinkEi__ZN7Glucose3vecINS_3LitEE8capacityEi__ZN7Glucose3vecINS_5lboolEE8capacityEi__ZN7Glucose3vecINS_6Solver7VarDataEE8capacityEi__ZN7Glucose3vecINS_6Solver7WatcherEE3popEv__ZN7Glucose3vecINS_6Solver7WatcherEE6shrinkEi__ZN7Glucose3vecINS_6Solver7WatcherEE8capacityEi__ZN7Glucose3vecIPNS_6OptionEE8capacityEi__ZN7Glucose3vecIcE8capacityEi__ZN7Glucose3vecIdE8capacityEi__ZN7Glucose3vecIiE3popEv__ZN7Glucose3vecIiE6shrinkEi__ZN7Glucose3vecIiE8capacityEi__ZN7Glucose3vecIjE6shrinkEi__ZN7Glucose3vecIjE8capacityEi__ZN7Glucose3vecImE8capacityEi__ZN7Glucose4HeapINS_6Solver10VarOrderLtEE6insertEi__ZN7Glucose4HeapINS_6Solver10VarOrderLtEE8decreaseEi__ZN7Glucose4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0___ZN7Glucose4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0___ZN7Glucose4sortIjNS_11reduceDB_ltEEEvPT_iT0___ZN7Glucose6Clause15calcAbstractionEv__ZN7Glucose6Clause8activityEv__ZN7Glucose6Option13getOptionListEv__ZN7Glucose6Option14getUsageStringEv__ZN7Glucose6Option19getHelpPrefixStringEv__ZN7Glucose6OptionD0Ev__ZN7Glucose6OptionD1Ev__ZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEE__ZN7Glucose6Solver11cancelUntilEi__ZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE__ZN7Glucose6Solver12attachClauseEj__ZN7Glucose6Solver12detachClauseEjb__ZN7Glucose6Solver12litRedundantENS_3LitEj__ZN7Glucose6Solver12removeClauseEj__ZN7Glucose6Solver13pickBranchLitEv__ZN7Glucose6Solver14garbageCollectEv__ZN7Glucose6Solver15removeSatisfiedERNS_3vecIjEE__ZN7Glucose6Solver16rebuildOrderHeapEv__ZN7Glucose6Solver16uncheckedEnqueueENS_3LitEj__ZN7Glucose6Solver6newVarEbb__ZN7Glucose6Solver6searchEi__ZN7Glucose6Solver6solve_Ev__ZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRj__ZN7Glucose6Solver8reduceDBEv__ZN7Glucose6Solver8relocAllERNS_15ClauseAllocatorE__ZN7Glucose6Solver8simplifyEv__ZN7Glucose6Solver8toDimacsEP7__sFILERKNS_3vecINS_3LitEEE__ZN7Glucose6Solver8toDimacsEP7__sFILERNS_6ClauseERNS_3vecIiEERi__ZN7Glucose6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEE__ZN7Glucose6Solver9propagateEv__ZN7Glucose6SolverC1Ev__ZN7Glucose6SolverC2Ev__ZN7Glucose6SolverD0Ev__ZN7Glucose6SolverD1Ev__ZN7Glucose6SolverD2Ev__ZN7Glucose6bqueueIjE4pushEj__ZN7Glucose7memUsedEv__ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE8cleanAllEv__ZN7Glucose9IntOption4helpEb__ZN7Glucose9IntOption5parseEPKc__ZN7Glucose9IntOptionD0Ev__ZN7Glucose9IntOptionD1Ev__ZNK7Glucose15RegionAllocatorIjE3leaEj__ZNK7Glucose15RegionAllocatorIjEixEj__ZNK7Glucose4HeapINS_6Solver10VarOrderLtEEixEi__ZNK7Glucose6Solver16progressEstimateEv__ZNK7Glucose6Solver9satisfiedERKNS_6ClauseE__ZTIN7Glucose10BoolOptionE__ZTIN7Glucose12DoubleOptionE__ZTIN7Glucose20OutOfMemoryExceptionE__ZTIN7Glucose6OptionE__ZTIN7Glucose6SolverE__ZTIN7Glucose9IntOptionE__ZTSN7Glucose10BoolOptionE__ZTSN7Glucose12DoubleOptionE__ZTSN7Glucose20OutOfMemoryExceptionE__ZTSN7Glucose6OptionE__ZTSN7Glucose6SolverE__ZTSN7Glucose9IntOptionE__ZTVN7Glucose10BoolOptionE__ZTVN7Glucose12DoubleOptionE__ZTVN7Glucose6OptionE__ZTVN7Glucose6SolverE__ZTVN7Glucose9IntOptionE__ZZN7Glucose6Option13getOptionListEvE7options__ZZN7Glucose6Option14getUsageStringEvE9usage_str__ZZN7Glucose6Option19getHelpPrefixStringEvE15help_prefix_str__Unwind_Resume__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZTVN10__cxxabiv117__class_type_infoE__ZTVN10__cxxabiv120__si_class_type_infoE__ZdlPv__Znwm___assert_rtn___cxa_allocate_exception___cxa_atexit___cxa_guard_acquire___cxa_guard_release___cxa_pure_virtual___cxa_throw___error___gxx_personality_v0___stderrp_exit_fclose_fopen_fprintf_fputc_free_fwrite_malloc_zone_statistics_pow_printf_puts_realloc_strcmp_strlen_strtod_strtoldyld_stub_binder