All Downloads are FREE. Search and download functionalities are using the official Maven repository.

x86-mac.libminisatprover.jnilib Maven / Gradle / Ivy

????G p0%?????	h??h__TEXT??
__text__TEXTH#`H?__symbol_stub1__TEXTkn?kn?__stub_helper__TEXTp$p__textcoal_nt__TEXT$s?"$s__eh_frame__TEXTؕ!ؕ__cstring__TEXT???__StaticInit__TEXT?????__const_coal__TEXTK?2K?__literal8__TEXT??`??__literal4__TEXT??x__DATA??__dyld__DATA??__nl_symbol_ptr__DATA?0?C__la_symbol_ptr__DATA@?@?I__const_coal__DATA`??`?__gcc_except_tab__DATA@?P@?__mod_init_func__DATA?? ??	__bss__DATA??]H__LINKEDIT?@?G0
0???H/var/tmp//cczqjCDN.out8??/Pllr?"???8??G8֥?D/usr/lib/libstdc++.6.dylib8C??D/usr/lib/libgcc_s.1.dylib8@?H
X/usr/lib/libSystem.B.dylibASL?????AS?%??????%??UH??H?}?H?E??]?UH??H?? H?}?H?E?H?E?H?E?H?@H?U?H?u?H?=?????Ѕ?t
H?E????????UH??H??0H?}?H?u??E?H?E?H?E?H?U?H?u?H?E?H?=?????Ѕ?t	?E??????(H?}?H?E??ЋE???uH?}?H?E????E??E??E܋E???UH??H??0H?u??4_??t
H?E??4H?E?H?E?H?}?u'??(?_H?E?H?}?u
H?E???H?E??@?????H?=V???^H?E?H?}???H?}?H?5R??^H??H?E?H?PH?}?H?5D??^H??H?E?H?PH?E?H?@H??tuH?E?H?@H??thH?E?H?pH?E?H?x?????E??}??tJ?}?u
H?E??@?0H?}?H?5??A^H??H?E?H?P H?E?H?@ H??tH?E??@H?E?H?E??H?u??^H?E?H?E???UH??H??0H?}?H?u? ??]H?E?H?}?uH?u???]?E??????gH?M?H?U?H?H?AH?BH?AH?BH?AH?E?H?PH?E?H?H?U?H?E?H?BH?u??}]?E??}?u	?E???E??????E܉E؋E???UH??H??0H?}?H?u?H?E?H?@H?E?H?}???H?E?H;E???H?E?H?H?E?H?PH?u??]H?E??@?E܃}?wKHcMܸH??H??H?U?H?EЃ?H??uH?EЃ?*H??u?H?E?H?@???H?E?H?PH?E?H?x??H?}??\??\H?E?H?}??A???H?E???UH??H??0H?}?H?E?H?E?H?E??E???l\H?E?H?}?t-H?E??@?E?H?E??@H?E?H?@H?E?H?u??"\H?E??@??tH?E?H?H?E?H?x???	H?E?H???H?}?t???[H?E?H?}?tH?u?H?}??y???H?E?H?}?tH?E??U??PH?u??[??UH??H??`H?}?H?u??5???H?E?H?}?u?E??????\H?E??@??uH?E??@<uH?u?H?}??Z????E??/H?E??@<??H?E??@??tPH?E?H?@H?E?H?uȿ?[?Eԃ}?t?E???????H?E?H?pH?E?H?8H?U?H?E??ЉE???H?E?H?@ H?E?H?uȿ??Z?Eԃ}?t?E??????H?E?H?8H?E??ЉE??H?E?H?@H?E?H?uȿ?Z?E??}?t	?E??????T??tZH?E?H?}?u	?E??????6H?M?H?U?H?H?H?BH?AH?BH?AH?U?H?u?H?E?H?=?????ЉE??E???UH??H??@H?}?H?u?H?U?H?E?H?E??E?H?E?H?E?H?u?H?}??;?????UH??H??0H?}?H?E?H?E??E?H?}?H?5L??????ÐUH??SH??H???u?????Y??????Y?S+SHc?H)?H??[]ÐUH??SH??H???bYH??tH??u???H??tH?
ߢ?DH?5?H?=ء?@YH??[]?UH??AVAUATSH??A??A??A?̋????t?YD?+D?sD?c?C???XH??H??uH?
r??DH?5??H?=k???XH?C?{u??;??X?C??C????[A\A]A^]ÐUH??AWAVAUATSH??I??H?u?H?Ӌ????t?X?rH???XH??A?žwH???qXH??A?ƾaH???]XH???EϾ+H???IXI?ǾxH???9XH??E??tE??t???H??tH?
???H?5??H?=????WE??uE??u
?}?u???H??tH?
{??H?5h?H?=J??WM??uA??????A???????????E??E?????H??E?H?}???wW??A?$?????D??4??A?D$A?D$A?D$?}?t?????W???VH??H??uH?
???DH?5??H?=????VI?D$A?|$u?A?<$??VA?D$?	A?D$????H??[A\A]A^A_]ÐUH??AUATSH??I??H??H?????????w
?V?'???w??@?΀?V??L???V?????w-??@?Π?hV????@??L???WV??L???LV????@????;V????@??L???*V????@??L???V??L???V?????UH??H??8L????UH??H??0??L????UH??H??(??L????UH??H?? ??L???UH??H????L???UH??H????L???UH??H????L???U??L???yUH??[A\A]]ÐUH??SH??H???????tC?{uHcSH?s?MU?CH?{H??t?UH?C?{t?;?U?????H??[]ÐUH??AUATSH??H??I??A?ԃu%HcWH?w????T?CD??L??;?T????u?G+GH?H)ƺ???T????TH?s??;?T?C?CH??[A\A]]ÐUH??AWAVAUATSH??H???u7HcWH?w???`T?CH?s??;?1T?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;??S?C?C??tH?C??CA???A?????A???u???SH?ǺH?5???SD??E???-	D????`????????r????{????{u7HcSH?s?;?fS?CH?s??;?7S?C?C?C?K?C9?}Hc?H?C??A?C?<=?~0H?s??;??R?C?C??tH?C??C????????D??????	??X?{u7HcSH?s?;??R?CH?s??;?R?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;?IR?C?C??tH?C??CA???A??????{u7HcSH?s?;?%R?CH?s??;??Q?C?C?C?K?C9?}Hc?H?C??A?C???<=?~0H?s??;?Q?C?C??tH?C??C????????D??????D????	?	??
?{u7HcSH?s?;?uQ?CH?s??;?FQ?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;??P?C?C??tH?C??CA???A??????{u7HcSH?s?;??P?CH?s??;?P?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;?cP?C?C??tH?C??CA???A??????{u7HcSH?s?;??P?CH?s??;?P?C?C?C?K?C9?}Hc?H?C??A?C???<=?~0H?s??;??O?C?C??tH?C??C????????D??????D????	?D????	?	??HcSH?s?;?O?CH?s??;?^O?C?C?C?K?C9?}Hc?H?C??A?C?U???=?~1H?s??;?O?C?C??tH?C??C?E???E??????{u7HcSH?s?;??N?CH?s??;??N?C?C?C?K?C9?}Hc?H?C??A?C?U???=?~1H?s??;?zN?C?C??tH?C??C?E???E??????{u7HcSH?s?;?UN?CH?s??;?&N?C?C?C?K?C9?}Hc?H?C??A?C?U???=?~1H?s??;??M?C?C??tH?C??C?E???E??????{u7HcSH?s?;?M?CH?s??;?M?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;?BM?C?C??tH?C??CA???A??????{u7HcSH?s?;?M?CH?s??;??L?C?C?C?K?C9?}Hc?H?C??A?CA???>=?~1H?s??;?L?C?C??tH?C??CA???A??????{u7HcSH?s?;?L?CH?s??;?TL?C?C?C?s?C9?}Hc?H?C??F?CA???>=?~1H?s??;?L?C?C??tH?C??CA???A??????{u7HcSH?s?;??K?CH?s??;?K?C?C?C?s?C9?}Hc?H?C??F?CA???>=?~1H?s??;?qK?C?C??tH?C??CA???A??????{u7HcSH?s?;?MK?CH?s??;?K?C?C?C?K?C9?}Hc?H?C??A?C???<=?~0H?s??;??J?C?C??tH?C??C?????????U????E???	‹E???	?D	?H?? D????D????	?D????	?	?H	??H??H???t?J?JH??[A\A]A^A_]ÐUH??SH??H??H?4??rJH??tH??u???H??tH?
???IH?5??H?=ے??IH??[]?UH??SH??H??H?4??JH??tH??u???H??tH?
;??IH?5O?H?=???IH??[]?UH??SH??H??H?4??IH??tH??u???H??tH?
??IH?5??H?=9??BIH??[]?UH??ATSH??A??H?0H??tH??P?;?t#?s(D)????Hc?H???S????H???F???[A\]ÐUH????uH?
????H?5??H?=ɑ??HH?
????H?5}?H?=???H?UH??AWAVAUATSH??H??L?oHL?wXA?F??A9EtH?
X??uH?54?H?=j??aHA?}uI?E??H?0H??tH?L??L???PI?߃;?tlI?E?s(+0???Hc?H???h???A?~~?A?Ic?I??4???Hc?L???D???A??Ic?I?E?s(+4?Hc?L???(???E;f|ǾL???????S(?B?C(??H??[A\A]A^A_]ÐUH??SH???=ž~A?Hc?H???H??C9C|)=???H?s??;??>?C?C??th?{??????????{u??`?s+sHc???;?p>?C?????C?C??/H??H?}??????H???|>????H???H?5??H?=??/=???E??}????E?H?C8H?E?H?SHH?U?H??XH?]?L??????I?Ũ??H?]??H???0=L??H??A??A?ŋC;Cu?pH???;=HcSH?H??H??tD?(?CL???9???H??t2A?E??C;Cu?pH????<HcSH?H??H??tD?(?C??H?U?H?H??H????H?]??H???<L?e??L???<D?}?L??H??E??A)ŋC;Cu?pH???<HcSH?H??H??tD?(?CL??????H??tpD?h?A?D$A;D$u?pL???G<IcT$I?$H??H??tD?(A?D$L???G???E??A)ŋC;Cu?pH???<HcSH?H??H??tD?(?C?A?|$u?m?H?E?H?H??0H?}??R?H?U?H?L??H??H?}??P?E??E?9E??5???H?U?H?H???P??L???%???A?~t0A?vA+vHc??A?>??:A?F????A?FA?FH??8[A\A]A^A_]ÐUH??SH??H???:H??tH??u???H??tH?
#??DH?57?H?=??:H??[]?UH??SH??H??H?4??:H??tH??u???H??tH?
Ƀ?IH?5݃H?=???*:H??[]?UH??SH??H??H?4??L:H??tH??u???H??tH?
o??IH?5??H?=Q???9H??[]?UH??SH??H??H?4???9H??tH??u???H??tH?
??IH?5)?H?=??v9H??[]?UH??SH??H??H?4??9H??tH??u???H??tH?
???IH?5ςH?=???9H??[]?UH??SH??H??H???B9H??tH??u???H??tH?
e??IH?5y?H?=b???8H??[]?UH??SH??H??H?4???8H??tH??u???H??tH?
??IH?5?H?=??l8H??[]?UH??SH??H???8H??tH??u???H??tH?
???IH?5́H?=Ȃ?8H??[]?UH??tH?H91ul?bA9?|H?
j??#H?5n?H?=????7A??Ic?H;4?uϋG??A9?} H?Ic?A??Ic?H??H?ʋG??D9???o?A??NjWA??]ÐUH??H?O?y~;??
c?Hc?H?H?Ћ??H?H???Z@?Y??Z??@??9q??-??YG8?G8]ÐUH??H????~~,??
?Hc?H?WHH????Y????9N????YGX?GX]ÐUH??ATSI??H???u~?~??Hc?H??I?$??????{??Hc?H??I?$?H???|?????t??H?I)?$?????H?I)?$?I??$H??t???????Hcҋt??
???H??tH???)6[A\]ÐUH??AWAVAUATSH??(I??L????A*N???^??E?A?~f???E??[H???H?E?D?=*?E?nf???E??H?U??D9?t!I??$??*??E??-6?XE??E?H??A9???A*F?M??^?f(?H??([A\A]A^A_]ÐUH??AVAUATSH?? I??H?_?*K?G8?^??E؈$H????5?S?????????A?A??bA?A?H?Ic?H?4?????~?F??H?I???H;4?u
Ic?H?4?A???
?L???????A???S???????D9??D;c}aH?;Ic?H?4Nj?????~(?F??H?I???H;4?tHc??ZD??M?f.?w
Ic?H?4?A???
?L??????A??D9c?D??D)?K9?~3H?
???H?5?}H?=?~?,4?????9?u??K????H?? [A\A]A^]?UH?僿?tlH?
???H?5nH?=?~??3Hc??T??Ѓ???t????H?H???????????H?H????D9?t(?????9????????~?D?Ҋ?띸]?UH??AWAVAUATSH??HH?}??u?H??9???H?H?E?D?xA??H??H???H?M?Hc?H??H?E?H??H???H?U?D9<?H??xH?]?H??H?]?H?M?H??H?M?Ic?H?]?H???A??A??Ic?H??H?E?H?????H?U?H???H??E??x2H?]?D;c }(??&Mc?H?E?I?EB?4??t??D???3???uH?
?}?FH?5?}H?=}?M2L?m?L?4?L??H?E?HP?:?"E??x
E;e}?????uH?
?}?KH?5?}H?=?|??1H?]??C??C;Cu?pH???O2HcSH?H??H??tD? ?CI?EA?4H?Hc?L??F?	A??A??????L?u?I?H?Mc?N?$?Ic?Hc??B"f.???????????I?H?Ic?H?Hc??B!f.????????D??H?Hc?H??Hc?L??B?	?H?HcI?E??Hc?A?D?????Hc?I?E?H?5?iH?=lj? ??A??8?DI??0H?U?I??H??tA?$??????Hc?A?t???????A?$??9?}VHc?A?D?????Hc?H?4?I????<0~
H?U?H???I??H??tI?E(?4???????A?$??9??A??I???H?M?;A|A??????
Hc?H?]?H???H?M?H?;?YA??Ic?I???H???????Lc?H?]?H?B?<8?I???N?$?M??ulI???B?HcSH?H??H??tD? ?C?[A\]?UH??AWAVAUATSH??HI??H?E???I???I??(A???PA??H?H?M?H???I???H?E?Hc?H??I??H?E?L?8Hc@I??H?E?I9??9M?????U?M?&I??I?T$?E?A9D$uA?D$A?D$?M?A?L$M?D$?E?A9D$tH?
,h??H?5PgH?=?f???E??t/??H?I???????.A?$??????=?r??&?E???H?I????;?ru?M?'I???qHc?A?T??Ѓ???t????H?I???????????H?I????9?tXHc?I???PA??U??PA???H?H??H??H?M?H?C;Cu?pH???}HcSH?H??H??tL? ?C????A?$??9??\???A????kI??H???[A?$??????Hc?A?t??g???A?$???~2?Hc?A?T???Hc?I?E(?4?I?????????A?$??9?|?I???????E?I?u(?E???HcЁH?5oWH?=;X??
?H?H?u??H????????}?uH?E????H?H??????C`f.?^r
?YCX?CX?C8?YC@?C8H?}????
?????H??H?}???
H???
?}?x?M?9M??I???u,H????????;uH?
Z??H?5?XH?=]X?
?}?x?C +??9E?H??????H???H??x????PH?ShH?U??-?]????Y???]f(??^??,??*??%?]?Y??X????f(??^?f.????????H?Kh?Q?Y?f(??^??,??*??Y??X?????^??*??Y??,??E?Hc?H??;yc?r?H??P?U?HcW?T???PH?NH?M?H?HcPH?F??HcE?H?E?H?FH?U????o?~.H?D?h?TMc?A?A?H?E?,H?M?H?F??H?U?H?H?H?M??9?b????Ic?L??E???Mc?N??I?>??,u?H?M???L???v???A???E??Y?V?E??E??Y?V?E?;?\?4???A??$~H?=?S?)H??VH?8? ?L???????D9=?\????H??h[A\A]A^A_]?UH??AUATSH??A??I?Յ?~?L?????????A9?u?H??[A\A]]ÐUH???Hc?H????;@\????]?UH??SH??H???H??tH??u???H??tH?
%N?DH?59NH?=aS?H??[]?UH??SH??H??H?E??E??E?H?u??????H??H?}??H???o??H?}??}?ۉ?H??[]?UH??SH??H??H?4??FH??tH??u???H??tH?
iM?IH?5}MH?=?R??H??[]?UH??SH??H??H?4???H??tH??u???H??tH?
M?IH?5#MH?=\R?pH??[]?UH??H?=?Z?1]?UH??AUATSH??I??I??H??H??t:H?{X??H?{H??H?{8??bH??跭??H????IDŽ$M??tL????L???H??[A\A]]ÐUH??ATSH??0L?????A?\$(???uH?
L?>H?5LH?=cQ?H?
TH??H?E??E??B?E?H?}ȈM?H?H?5[Q?P0H?}?L??H?‰?A??`H?E?H?u???L???????.H??H??SH??H?E??MH??H??SH??H?E??6H?E?H??0[A\]?UH??AWAVAUATSH??8I??H??H?M?H?H????XA??I??H?u?L?????H?E?H?]?H?E??E??E?E??~ZH??A????~D?d?????A??A???E?;E?u?pH?}???HcU?H?E?H??H??tD? ?E?A??H??E9?u?H?U?H???X(H?u????H?}??1???I??H?U?H?u?L?????H??H?}???:H???H?U?H??;X(????H?}?????H??8[A\A]A^A_]?UH??AUATSH???@?~I??H???y?h?iH??H????????&I??L???EL???I??H???2L???I??$L??H??[A\A]]??%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%?Q?%R?%R?%R?%R?%	R?%R?%
R?%R?%R?%R?%R?%R?%R?%R?%R?%R?%!R?%#R?%%R?%'R?%)R?%+R?%-R?%/R?%1R?%3R?%5R?%7R?%9R?%;R?%=R?%?R?%AR?%CR?%ER?%GR?%IR?%KR?%MR?%OR?%QR?%SRL?9P?H?5?CH?=?B??????]?UH??SH??H????H??u6?=???9?u??C??t&H?;H??t?????H??C?	?W?????H??[]?UH??SH??H????H??u6?=???9?u??C??t&H?;H??t?k???H??C?	?W?????H??[]?UH??SH??H????H??u6?=???9?u??C??t&H?;H??t????H??C?	?W?????H??[]?UH??ATS??D?c?E??~^H???D?XD9?H??I???/D??A??A??Ic?L??Hc?H???A;}A??I?ȃ?A9?u?H??A??A?H??D??E9?u?[A\]ÐUH??AVAUATSH??A??I?փ?
?$?a?????=I?
?Y??5If(??^??,??*??Y%I?X??
?^??*??Y??,?H?D????A?????A??Ic?H??D;???Hc?H?4??D9??D9?~????҈$L??D???G???D??D)?$L??H???3???H??[A\A]A^]?UH??H?? ?E???E??ٕAH?U??$??????UH??ATSH??H??I??6??tD?$?r????3A?<$??(??Hc???9?}Hclj??փ???A;$|?A?<$H??[A\]?UH??ATSH?? H???G?E?L?'H??G?GH?u?$L????????H???7???H??t?E?L?#?C?CH?? [A\]?UH??H???$???????UH??ATSI???G9?}r??u
???OƉG??D@??9??A?D$A?\$Hc?H??I?<$??????tH??u???H??tH?
???IH?5??H?=??8???I?$[A\]?UH??ATSH??A??9w}2?????CA9?~!??D??Hc?H?H??H??t???????9?u?D?c[A\]ÐUH??ATSI???G9?}r??u
???OƉG??D@??9??A?D$A?\$Hc?H??I?<$???????tH??u???H??tH?
??IH?5?H?=]>?f???I?$[A\]?UH??AVAUATSI??I????????H??H??uH?
5??/H?5?>H?=(>????H?&?H??L???]???A?<$?uH??t?H????????I??M??A?FA;Fu?pL???????IcT$I?$H??H??tL?(A?D$H??[A\A]A^]ÐUH??ATSI???G9?}r??u
???OƉG??D@??9??A?D$A?\$Hc?H??I?<$??????tH??u???H??tH?
?=?IH?5?=H?==?,???I?$[A\]?UH??@??uH?
b???H?5^?H?=W>?????]?UH??W9?}3H?
N???H?5?=H?=1>??????????9?u??W????]?UH??W9?}3H?
???H?5>=H?=?=?????????9?u??W????]?UH??SH??H????H??u6?=???9?u??C??t&H?;H??t?%???H??C?	?W?????H??[]?UH??SH??H????H??u6?=???9?u??C??t&H?;H??t?????H??C?	?W?????H??[]?UH???x;w }?????uH?
0>?FH?5,>H?=D=????Hc?H?G????]ÐUH??AVAUATSI??H?_?{~/I??A?Ic?I?H?4ºL???N???A??D9k~I????I??M?l$A?}~+?Hc?I?EH?4?H??t
?L????????A9]?I??$`?L??????I??$h?L???۬???wH??I??$(??????I??$??@???I??$???????I??$??????I??$p?????I??$P?????I??$@?????I??$0??X???I??$??z???I??$???h???I??$??????I??$???D???I??$??????I??$???????I??$???????I??$???????I??$???????I?|$H?????I?|$(???????L??????I?|$??????H???l???I??$(??x???I??$??????I??$???T???I??$???B???I??$p??0???I??$P?????I??$@?????I??$0??????I??$?????I??$???????I??$???$???I??$???????I??$??????I??$???x???I??$???l???I??$??????I??$???v???I?|$H??????I?|$(??X????L???????L??????[A\A]A^]Ð?UH??AUATSH??H??A??I??9w}2?????CA9?~!??D??Hc?H?H??H??tA?E???9?u?D?cH??[A\A]]?UH??AWAVAUATSH??I???H?GH??8???H?G?@?@H?WH??@???H?G?B?BH?G(H??H???H?G(?@?@H???H?G8H?G@H?WHH??P???H?GH?B?BH?GXH?G`H???H??0???H?_hH?GhH?SH?WxL???HLJ?A?EA?EH???H??X???HLJ??B?BA?EA;Eu?pL??????IcUI?EH??H??t?????A?E?C8??C???????2?
4?8???????Z?
?4?Z???????Z?
?4|???????Z?
?4<X???????Z?
?4tz???????Z?
?4?????????Z?
?<?????????I?
??4$Ȉ??????G?
<\؈????????

?????4?? y?
4?? ?
<????????u?
??<L?????????
????4?????????$?
<?????????d?
??<????????b?
??4D?????????
4|????????k!$?
?4??????????
4?8?????????
<$?????????
??<dJ???????I?
??<??????????
????<??????????
??<$\?????????
????<d??????????
??<?????????"?

?????<?F?????????!?

?????<$??????????
	???<d?????????
????<?N????????S!?
??<????????G?

?????zPLRx?E?4$v???????*?
4\h???????D?
4?t???????D?
4?"???????R?
?4H???????Z?
?4<j???????Z?
?4t̏??????Z?
?4????????Z?
?4????????Z?
?42???????Z?
?4TT???????V?
?4?r???????Z?
?4?????????R?
?4???????????
44???????]?
4l????????O?
4????????Q?
<?
?????????
??<4?????????
	?????<\,?????????

?????4??B?
4??
<??????????
	?????4LV???????D?
<?b???????9?
????4?\???????$?
4?H????????
<4(????????

?????4t????????!?
4??????????
<???????????
??<$????????e?

?????<d"???????X?
	???4?:???????A?
<?D?????????
??<??????????
??<\??????????
??<??????????
??<?d???????I?
??<	.???????l?
????<\	.???????l?
????4?	?????????
<?	x???????F?

?????<
~?????????

?????<T
??????????

?????<?
????????	?
?????<?
`?????????

?????<?????????
??<Tʣ??????=?

?????<?ȧ???????

?????<?????????e?
????<ȩ????????

?????<T2??????????

?????<?~?????????

?????zPLRx?u?4$????????
4\?????????
4??????????
4?l????????
4:????????
4<????????
<tN???????7?
	???4?F???????"?
4??????????
4$N????????
4\????????R?
?4?ڷ??????b?
?4?????????Z?
?4????????Z?
?4<????????Z?
?4t????????Z?
?4?ط???????
<?H?????????
	???4$?
f?
4\&?
<?\?????????
	???<?????????{?
	???42???????"?
4L???????'?
<?????????I?
????<?ҵ????????
	???<??????????
??<D????????H??

?????<?????????X?
	???<????????????
?????<>???????u??
	???/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexitflushxmallocopen!(has_r && has_w)File.Chas_r || has_w || has_aflusheoflastxreallocxreallocxrealloccompressendChainopenbeginChainresolvesavetraversemode == WRITEFile.hmode == READid_counter != ClauseId_NULLProof.hsize == 0 || tmp != NULLGlobal.h!fp.null()Proof.Cfalsechain_id.size() == chain_var.size() + 1name != NULLwx+start != ClauseId_NULLnext != ClauseId_NULLwolastcheckshrinkshrinkxmallocxreallocxreallocxreallocxreallocxreallocxreallocxreallocremoveWatchinHeapshrinkinsertsetBoundsincreasesimplifyanalyze_removableanalyzeanalyzeFinalpropagatesimplifyDBClause_newnewClausesearchsolveexprSolver.hnelems <= szj < ws.size()Solver.Cok(n)Heap.hsize >= 0inHeap(n)decisionLevel() == 0reason[var(p)] != NULLreason[var(analyze_stack.last())] != NULLconfl != NULLlevel[v] > 0level[x] > 0c[1] == false_litunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falselearnt || id == ClauseId_NULLroot_level == decisionLevel()okvar(p) < nVars()proof == NULL || unit_id[var(p)] != ClauseId_NULLconflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
lastxmallocxreallocxreallocClause_new[IUH?????u#??u??????????]ÐUH?????????]ÐUH?????uk??uf???????????????????H??????H???H?=?h???V??]ÐUH??????s???]ÐUH?????u4??u/?a??????R?D?6?????,]?UH?????????]ÐUH?????uX??uSH?=$?
???H??H?=8????_U?????????????????????]?UH?????????]?13Exception_EOF14ProofTraverser14TraceGenerator?45A?????A??????#B????;0??.?++??@??x?D}Ô%?I?TY@????????????_??_?ppp$p0p???A9'2LGҽb???6?@HPX`hpx???????????????? (08@HPX`hpx???????????????? (08@HP????H-\@bTvh?z!???*?????d????X$?$%8?&A?3T$4n~4??4?25??5??5?<6?i$?j>?jU8k^.?{4??3?7Qj_xE??P?.9??XR?8?-?D?>?DyY?:y?`???????????K???[???l???????'7Pi????????+6\?????????????(`?h???????????????????????????? ?(?0?8?h??????????????????????????u????????????|???????????x~}sty?w{z?????????????????????????????????????u????????????|???????????x~}sty?w{z?????? __mh_dylib_headerdyld_stub_binding_helper__dyld_func_lookup_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_get_globals_add_routine_run_routines_cxa_atexit_wrapper_atexit_common___cxa_atexit_atexit__Z7xmallocIhEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocIiEPT_S1_m__Z8xreallocIPKcEPT_S3_m___tcf_0__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocI5lboolEPT_S2_m__Z8xreallocIP6ClauseEPT_S3_m__Z8xreallocIiEPT_S1_m__Z8xreallocI3vecIP6ClauseEEPT_S5_m__Z8xreallocIdEPT_S1_m__Z8xreallocIcEPT_S1_m__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocIiEPT_S1_m___tcf_0__ZZN4File5flushEvE8__func____ZZ7xmallocIhEPT_mE8__func____ZZN4File4openEPKcS1_E8__func____ZZN4File5flushEvE8__func____ZZN4File3eofEvE8__func____ZZN5Proof4lastEvE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ8xreallocIPKcEPT_S3_mE8__func____ZZN5Proof8compressERS_iE8__func____ZZN5Proof8endChainEvE8__func____ZZN9TempFiles4openER4FileE8__func____ZZN5Proof10beginChainEiE8__func____ZZN5Proof7resolveEiiE8__func____ZZN5Proof4saveEPKcE8__func____ZZN5Proof8traverseER14ProofTraverseriE8__func____ZZN5Proof4lastEvE8__func____ZZ5checkbE8__func____ZZN3vecIiE6shrinkEiE8__func____ZZN3vecIP6ClauseE6shrinkEiE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocI5lboolEPT_S2_mE8__func____ZZ8xreallocIP6ClauseEPT_S3_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ8xreallocI3vecIP6ClauseEEPT_S5_mE8__func____ZZ8xreallocIdEPT_S1_mE8__func____ZZ8xreallocIcEPT_S1_mE8__func____ZZ11removeWatchR3vecIP6ClauseES1_E8__func____ZZN4HeapI11VarOrder_ltE6inHeapEiE8__func____ZZN3vecI3LitE6shrinkEiE8__func____ZZN4HeapI11VarOrder_ltE6insertEiE8__func____ZZN4HeapI11VarOrder_ltE9setBoundsEiE8__func____ZZN4HeapI11VarOrder_ltE8increaseEiE8__func____ZZNK7PSolver8simplifyEP6ClauseE8__func____ZZN7PSolver17analyze_removableE3LitjE8__func____ZZN7PSolver7analyzeEP6ClauseR3vecI3LitERiE8__func____ZZN7PSolver12analyzeFinalEP6ClausebE8__func____ZZN7PSolver9propagateEvE8__func____ZZN7PSolver10simplifyDBEvE8__func____ZZ10Clause_newbRK3vecI3LitEiE8__func____ZZN7PSolver9newClauseERK3vecI3LitEbiE8__func____ZZN7PSolver6searchEiiRK12SearchParamsE8__func____ZZN7PSolver5solveERK3vecI3LitEE8__func____ZZN5Proof4lastEvE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ10Clause_newbRK3vecI3LitEiE8__func____Z41__static_initialization_and_destruction_0ii__GLOBAL__I__ZN4File4openEi8FileModeb__Z41__static_initialization_and_destruction_0ii__GLOBAL__I__ZN5ProofC2Ev__Z41__static_initialization_and_destruction_0ii__GLOBAL__I__Z11removeWatchR3vecIP6ClauseES1___Z41__static_initialization_and_destruction_0ii__GLOBAL__I_Java_kodkod_engine_satlab_MiniSatProver_make_ClauseId_NULL_l_Undef_l_False_l_True_temp_files_lit_Error_lit_Undef_l_Undef_l_False_l_True_lit_Error_lit_Undef_l_Undef_l_False_l_True_lit_Error_lit_Undef_l_Undef_l_False_l_True__ZSt8__ioinit_Java_kodkod_engine_satlab_MiniSatProver_addClause_Java_kodkod_engine_satlab_MiniSatProver_addVariables_Java_kodkod_engine_satlab_MiniSatProver_free_Java_kodkod_engine_satlab_MiniSatProver_make_Java_kodkod_engine_satlab_MiniSatProver_solve_Java_kodkod_engine_satlab_MiniSatProver_trace_Java_kodkod_engine_satlab_MiniSatProver_valueOf__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3LitEvR3vecIT_E__Z11removeWatchR3vecIP6ClauseES1___Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortI3Lit14lastToFirst_ltEvPT_iT0___Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd__Z4sortI3Lit14lastToFirst_ltEvR3vecIT_ET0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z5checkb__Z7getUIntR4File__Z7putUIntR4Filey__ZN14ProofTraverser4doneEv__ZN14ProofTraverser4rootERK3vecI3LitE__ZN14ProofTraverser5chainERK3vecIiES3___ZN14ProofTraverser7deletedEi__ZN14ProofTraverserD0Ev__ZN14ProofTraverserD1Ev__ZN14TraceGenerator4doneEv__ZN14TraceGenerator4rootERK3vecI3LitE__ZN14TraceGenerator5chainERK3vecIiES3___ZN14TraceGenerator7deletedEi__ZN14TraceGeneratorD0Ev__ZN14TraceGeneratorD1Ev__ZN3vecI3LitE4growEi__ZN3vecI3LitE5clearEb__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6shrinkEi__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE6growToEi__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE6shrinkEi__ZN3vecIPKcE4growEi__ZN3vecIPKcE5clearEb__ZN3vecIS_IP6ClauseEE4growEi__ZN3vecIS_IP6ClauseEE5clearEb__ZN3vecIcE4growEi__ZN3vecIcE5clearEb__ZN3vecIdE4growEi__ZN3vecIdE5clearEb__ZN3vecIiE4growEi__ZN3vecIiE5clearEb__ZN3vecIiE6growToEiRKi__ZN3vecIiE6shrinkEi__ZN4File3eofEv__ZN4File4openEPKcS1___ZN4File4openEi8FileModeb__ZN4File4seekExi__ZN4File4tellEv__ZN4File5closeEv__ZN4File5flushEv__ZN4File7putCharEi__ZN4HeapI11VarOrder_ltE6inHeapEi__ZN4HeapI11VarOrder_ltE6insertEi__ZN4HeapI11VarOrder_ltE8increaseEi__ZN4HeapI11VarOrder_ltE9setBoundsEi__ZN5Proof10beginChainEi__ZN5Proof4lastEv__ZN5Proof4saveEPKc__ZN5Proof7addRootER3vecI3LitE__ZN5Proof7deletedEi__ZN5Proof7resolveEii__ZN5Proof8compressERS_i__ZN5Proof8endChainEv__ZN5Proof8traverseER14ProofTraverseri__ZN5ProofC1ER14ProofTraverser__ZN5ProofC1Ev__ZN5ProofC2ER14ProofTraverser__ZN5ProofC2Ev__ZN7PSolver10simplifyDBEv__ZN7PSolver11cancelUntilEi__ZN7PSolver12analyzeFinalEP6Clauseb__ZN7PSolver16progressEstimateEv__ZN7PSolver17analyze_removableE3Litj__ZN7PSolver18claRescaleActivityEv__ZN7PSolver18varRescaleActivityEv__ZN7PSolver5solveERK3vecI3LitE__ZN7PSolver6assumeE3Lit__ZN7PSolver6newVarEv__ZN7PSolver6removeEP6Clauseb__ZN7PSolver6searchEiiRK12SearchParams__ZN7PSolver7analyzeEP6ClauseR3vecI3LitERi__ZN7PSolver7enqueueE3LitP6Clause__ZN7PSolver8reduceDBEv__ZN7PSolver9newClauseERK3vecI3LitEbi__ZN7PSolver9propagateEv__ZN7PSolverC1Ev__ZN7PSolverD1Ev__ZN9TempFiles4openER4File__ZNK7PSolver8simplifyEP6Clause__ZTI13Exception_EOF__ZTI14ProofTraverser__ZTI14TraceGenerator__ZTS13Exception_EOF__ZTS14ProofTraverser__ZTS14TraceGenerator__ZTV14ProofTraverser__ZTV14TraceGenerator__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_call_unexpected___cxa_throw___gxx_personality_v0___stdoutp__keymgr_get_and_lock_processwide_ptr__keymgr_get_and_lock_processwide_ptr_2__keymgr_set_and_unlock_processwide_ptr_calloc_close_dlopen_dlsym_fflush_free_lseek_malloc_open_pow_printf_puts_read_realloc_remove_strchr_tempnam_write????D???__TEXT??
__text__TEXT??d??__cstring__TEXTtv?tv__textcoal_nt__TEXTd{? d{?__const_coal__TEXTY?2Y?__StaticInit__TEXT??????__eh_frame__TEXT|?|?h__constructor__TEXT????__destructor__TEXT????__literal8__TEXT??`??__literal4__TEXT?????__DATA??__data__DATA??__dyld__DATA??__mod_init_func__DATA??	__const_coal__DATA ?? ?__gcc_except_tab__DATA??H??__bss__DATA?U?__IMPORT??__jump_table__IMPORT????__pointers__IMPORT????V8__LINKEDIT?@?p?
0???H/var/tmp//cck7ahwM.outX?u?Hk/System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM4?u?H/usr/lib/libstdc++.6.dylib4C??D/usr/lib/libgcc_s.1.dylib4?u?H
X/usr/lib/libSystem.B.dylib(?3?T!PLL?#8??X???I??\????#?X??[???_????X??O???U????E???U??S??$?i?E?E?E?P?E?D$?E?D$???????$?҅?t	?E????????$[]?U??S??4?Ai?E??E?E?E??D$?E??D$???????$?E?Ѕ?t	?E??????*?E??$?E?ЋE???u?E??$?E???E??E??E?E??4[]?U??S??4??h?E?D$?$?s???t?E??5?E?E?}?u)?D$?$?H??E?}?u?E???E??@?????D$???c?$???E??}??????c?D$?E??$???‹E?P??d?D$?E??$?Ŭ?‹E?P?E?@??tp?E?@??tf?E?P?E?@?T$?$?????E?}??tE?}?u	?E??@?.??d?D$?E??$?d??‹E?P?E?@??t?E??@?E?E???E?D$?$?+??E??E??4[]?U???8?$???E??}?u?E?D$?$????E??????]?M??U??A?B?A?B?A?E?P?E???U?E??B?E?D$?$覫?E?}?u	?E???E??????E?E??E???U???8?E?@?E?}????E?;E???E??E?P?E?D$?$????E?@?E?}?wA????M???U??E?????u?E???*??u??E?@????E?P?E?@?$?ҋE?$?ڪ?$?ɪ?E?}?O????E??U???(?E?E??E??E??$蔪?E?}?t-?E??@?E??E??@?E?@?E??E?D$?$?m??E?@??t?E??E?@?$????E??Ѓ}?t?$?)??E?}?t?E??D$?E?$?????E?}?t?E??U??P?E?D$?$?????U??S??D?9e?\????E܃}?u?E??????g?E??@??u?E??@<u?E?D$?E܉$?????E??7?E??@<???E?@??tW?E܋@?E?E܉D$?$?j??E??}?t?E????????E?P?E??E?D$?T$?$?E??ЉE????E܋@?E?E܉D$?$???E??}?t?E???????E??$?E??ЉE???E܋@?E?E܉D$?$?ͨ?E?}?t	?E??????S?$誨?E??}?u	?E??????5?M??U???B?A?B?A?E?D$?E??D$??#????$?E??ЉEԋEԃ?D[]?U???(?E?E??E??E?E?E?D$?E?$???????U??S??$?vc?E?E??E???????D$?E?$?
?????$[]?U??WV???}?u$?D$?D$?D$??$???1?D$?D$?D$??$???w+w????)????^_]ÐU??WVS??,??b?u?U????t?$觧?D$r?4$蜧???????D$w?4$腧???E??D$a?4$?o????E??D$+?4$?Y??E??D$x?4$?F???????t
?}?t?????t*??$^?D$?D$??8^?D$??@^?$???????u?}?u
?}?u?????t*??`^?D$?D$??8^?D$??@^?$訦?}?u??<ҁ??????ҁ????Ѐ??}?EЉЀ???E??D$??T$?M?$?>??‹E????????4???M?A?A?A?}?t ?D$?D$?D$?$???$?????u*??x^?D$?D$D???^?D$??@^?$?ϥ?U?B?zu?D$?D$??$螥?M?A?
?E?@??????,[^_]?U??WVS???`?u?}????t?$?t??E??E?F???F?F?$????u*??F\?D$?D$D??b\?D$??\?$???F?~u?D$?D$??$???F??F??????[^_]?U??WV?? ?u?}???	????????u??w?t$?E?$蓤??}??w/?E?????D$?U?$?n??E?D$?E?$?[??q?}???wD?E?????D$?U?$?6??U??ƉD$?E?$?!??E?D$?U?$???$?E?????D$?E?$???E??????D$?U?$?ڣ?U??ƉD$?E?$?ţ?E?D$?U?$貣???D$??E?$蚣???????D$?U?$胣???????D$?E?$?l????????D$?U?$?U????‰D$?E?$?A????????D$?U?$?)????????D$?E?$?????????D$?U?$??????‰D$?E?$???? ^_]ÐU??V???u????tO?~u?F?D$?F?D$?$?ɢ?F?F??t?$?w??F?~t
??$覢???????^]?U??WV???u?}?E?xuB?‹@?D$?B?D$??$?_??E?@?U?T$?t$?|$?U??$?R??x?}u-?D$?U?B+B?)?׉t$?|$?U??$????E?D$?t$?|$?U??$???D$?U?B?D$??$?¡?U?B?B??^_]?U??WVS??L??\?}?uI?G?D$?G?D$??$艡?G?D$?G?D$??$?_??G?G?G?O?G9?}?G??A?G???D=?~8?D$?G?D$??$???G?G??t?G??G???????????u&?$?٠?D$????T$?$??????x?u??E??
????`????????r???U?????uI?G?D$?G?D$??$?m??G?D$?G?D$??$?C??G?G?G?O?G9?}?G??A?G?D=?~8?D$?G?D$??$????G?G??t?G??G??????????????	ЉE??E??	?uI?G?D$?G?D$??$訟?G?D$?G?D$??$?~??G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$?1??G?G??t?G??G?E???E??????uI?G?D$?G?D$??$????G?D$?G?D$??$?̞?G?G?G?O?G9?}?G??A?G???D=?~8?D$?G?D$??$耞?G?G??t?G??G???????????????U???	?	ȉE??E???uI?G?D$?G?D$??$?'??G?D$?G?D$??$????G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$谝?G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?u??G?D$?G?D$??$?K??G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$????G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?Ü?G?D$?G?D$??$虜?G?G?G?O?G9?}?G??A?G???D=?~8?D$?G?D$??$?M??G?G??t?G??G???????????????U???	ЋU???	?	ȉE??E????G?D$?G?D$??$???G?D$?G?D$??$?ț?G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$?{??G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?@??G?D$?G?D$??$???G?G?G?w?G9?}?G?0?F?G?U??G=?~9?D$?G?D$??$?ɚ?G?G??t?G??G?E???E??????uI?G?D$?G?D$??$莚?G?D$?G?D$??$?d??G?G?G?w?G9?}?G?0?F?G?U??G=?~9?D$?G?D$??$???G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?ܙ?G?D$?G?D$??$貙?G?G?G?O?G9?}?G??A?G???D=?~8?D$?G?D$??$?f??G?G??t?G??G?????????uI?G?D$?G?D$??$?.??G?D$?G?D$??$???G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$跘?G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?|??G?D$?G?D$??$?R??G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$???G?G??t?G??G?E???E??????uI?G?D$?G?D$??$?ʗ?G?D$?G?D$??$蠗?G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$?S??G?G??t?G??G?E???E??????uI?G?D$?G?D$??$???G?D$?G?D$??$???G?G?G?O?G9?}?G??A?G?U??G=?~9?D$?G?D$??$衖?G?G??t?G??G?E???E??????E????M???	ȋM???	?	??Ǿ?E????U???	ЋU???	?E؉?	??M??}?????t?$???$?&??E??U???L[^_]ÐU??WV???u?}?V ??t??|$?$?P?>?t3?F)?????D$??T$?4$????D$?D$?4$?'???^_]?U??S????P?E?8?u*???L?D$?D$????L?D$??>L?$胕???L?D$?D$????L?D$??>L?$?Y?U??WVS??,?dP?}?G0?E܍W??F?F?F?D$?D$?D$?4$?X??E??????E??E??E??????E??E???zD?D$?E?D$?EЉ$?V??}???(???F?D$?F?D$??$譋?F?D$?F?D$??$胋?F?F?F?V?F9?}?F?<?B?F?I=???????;?D$?F?D$??$?2??F?F??u??????
?F?8?F?}?u7?D$?E?+E܉D$??T$?EЉ$???E??????E??E??}?u!?D$?E؉D$?EЉ$躊?E??E??U؉?????E??~t*??~D?D$?D$m??rD?D$??vC?$?w??F9F|2=????D$?F?D$??$????}?nj?*O???r?^??EЃf???E??r?E????E܋?fv?U??G?E?f???EȋU??;E?t5?U????*??D$?E??$?݃?]??M??XM??Mȃ?9u???*G?M??^??M??E???L[^_]?U??WVS??L??=?E???E??*H?U?B(?^??E؈D$?$?:??}ЋW??????????E??E??r?E??E??EЋ0?Uԋ?????~?A???}???;?u?E???P?U???D$?L$?}?<$??????E??EЋP???????;E???Uԋ}?;W}?????EЋ?E????????~*?A???EċE????E?;?t?ZD??M?f.?w?E?U????@?E???D$?L$?U?$?8????E????EԋU?9B??M?+M?}ЋW9?~A???:?D$?D$????9?D$??09?$?#??????9?u??EЉP?????L[^_]ÐU??WVS???<?E?U9???'?˜?U??J???M??u?Ƥ?u????E̋U????u?;?)???M܃?\?U????U??E????E??U???M܋??????E?????s????M??????x;?E?;p}3??1?UȉU؋?UȋMԉ?M???U؉4???u??u??G???u*???8?D$?D$F???8?D$??w7?$???M??M??U??E?P?:?/??x;q}?????u*???8?D$?D$K???8?D$??w7?$??}??G??G;Gu???D$?<$??W?????t?0?G?U???M??4????Eԋ?Uȉ????E???????U??U????EȉE????EċE???E??f.????????????U???????E??E???E?f.???????u??΋?M??????Eԋ?
???M???M???????u??`????m??m??uЋ?M??U?;??????uЋ?M??A???u?+29??????8?D$?D$????7?D$??w7?$?5~?????9?u??U??B?MЋA??+M9?~V???8?D$?D$????7?D$??w7?$??}?????9?u??uЉF?U??B?M???????뛅????Č[^_]ÐU??WVS??,?8?}?u???tg???5?D$?D$???p5?D$??$4?$?b}?D??t?????????????????;E?t*?????9?ʸ?????~񋃔p?E?뫸??,[^_]ÐU??WVS??|?
8?}?nj?G?E??u?F;Fu???D$?4$?e}?F?@?????t??@?@?V?B?F;Fu?B?D$?4$?%}?F?@?????t??@?@?F?u?ư?F;Fu???D$?4$?}?V?????t??F???o?G;Gu???D$?<$?|?Gt???G?u?Ƽ?F;Fu???D$?4$?|?V?????t??????F?u????F;Fu???D$?4$??{?V?????t??????F?u??8?F;Fu???D$?4$?N|?V??Ѕ?t
??@?F?u??T?M?AT?P??\?M???y*??
5?D$?D$E???4?D$??z3?$?{?E??E????E??E?D$?T$?U??$?{??p??x?M?;q}?????u*???4?D$?D$K???4?D$??z3?$?z???E??}????M???G?M??
?G;Gu???D$?<$?z?W?????t?0?G?U???M??4????Eȋ?Uĉ????E????U??U????EĉE????E??Eԋ??E??f.??????U???????E??E???E?f.????uЉ΋?M??????Eȋ?
???M???MЉ?????u??e???D$?4$?7z?Ft??F?E???ts?ƃ??F;Fu???D$?4$?y?V?????t???l??F?=?UĉŰ?UċMȉ?M???Ủ4??u????F;Fu??o????uЋu??4????E???|[^_]ÐU??WVS??\?4?E?E??U?°?UЉ????M?????E???Eȹ?D??????EȀ<u?E?????L??????N$?D$??#?$?$l???M?????}????}ԋE?????t!?U??????‹}?D??D$?$?l????U???9?}]?M?D????????}????<~?Mԋ??#?E?????t?T$?@??D$?<$?l???M???9???}????Ǥ?}?;W|?E???????MЋ???}Ћ;?????E??U؋u??U????????U܋Mԋ?<?8?????}????<??uu?U????<*??%?D$?D$???f$?D$??#?$?j?6???M̋A;Au???D$?$?k?}̋W?????t?0?Ẽ@??E?????t??T$?????‹D??D$?$??j????~m????P?Uċ@?????M???????ủ|$?E??D$?U?$?b?????uD?M???u??u??F?U????M?9M?v?uȋ?Ủ???Ũ??u?9u?w?}?M?9M???????E?+E????uċN9?~_??F ?D$?D$???B?D$????$?Zd?????9?u??EĉH?U?˜?U??M???;B??????????ڋE??L[^_]ÐU??WVS????j?D$??6?$??X???D$?D$?E؉D$?E?$??????}?u?E؋???M??????}?GLf.?:Ir
?YGD?GD?E?@(?Y@0?@(?D$?E؉$??W???????D$?E؉$??W?4$?{W?}x?U9U????M???u:?$?e????}??u*????D$?D$?????D$??6?$?FW?}x?U?B+??9E?$?r????M??@??D?}?W??T?M????H?E?Hx?Y???If(??^??,??*???
I?Y??XȋU?Jxf(??^?f.????zd???M?QT?J?Y?f(??^??,??*??Y??Xȋ}?Ox?^??*??Y??,??E???U??;??L?~???H?M??V?T???P?}????}???P?M??A???}??}??A???n?~~8??@?E??~Z?E??E??E???M??Uȉ?}???M??Ủ??}????U??9??L?????M????Mȋ}Љ}?뷋E??E????E??E??E??}???;~|?U????U??C??M????Mȍ??EԋM????Eԋ?E??Eȋ?E???f.?v	?}??UԉUȋ>?Eȋ8?U????ȋU?f.?Z????U???????M???}Љ??T?D$?? ?$?FK??
M???E??E??B?E?Mԉ??U܋????D$?$?R?Uԋ
?D$?D$?t$?$????E??D$??EЉD$?Eĉ$??K?,?‹?M???EЉ$?J?‹?M???EЉ$?J?E؃?L[^_]?U??WV?? ?$???K?lj$?K?$H??K?Ɖ$?K?,?E?<$?K?E?$?0J?E?4$?tK?E?$?J???????? ^_]?U??S??$?:?E?D$?E?D$?E?D$?E?D$???K??$?PK???K??$??J?3K/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexit!(has_r && has_w)File.C%s:%u: failed assertion `%s'
has_r || has_w || has_asize == 0 || tmp != NULLGlobal.h!fp.null()Proof.Cfalsechain_id.size() == chain_var.size() + 1name != NULLwx+start != ClauseId_NULLnext != ClauseId_NULLmode == WRITEFile.hwomode == READid_counter != ClauseId_NULLProof.hj < ws.size()Solver.Cnelems <= szok(n)Heap.hdecisionLevel() == 0size >= 0reason[var(p)] != NULLreason[var(analyze_stack.last())] != NULLconfl != NULLlevel[v] > 0level[x] > 0c[1] == false_litunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falselearnt || id == ClauseId_NULLexprSolver.hroot_level == decisionLevel()okvar(p) < nVars()proof == NULL || unit_id[var(p)] != ClauseId_NULLconflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
[I?$?U??WV???u?}?~u6?D$?F+F?D$??T$??$??D?F?????F?F?~u ?D$?F?D$??$?rD?F?F?V??????F????^_]Ë$?U??V???u?M?>u6?=???9?u??F??t&???t?$??C??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?~C??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?&C??F?	?V????σ?^]?U??WVS???T????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?C??t??u?????t*???????D$?D$I??????D$???????$?B???[^_]ÐU??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?sB??t??u?????t*??^????D$?D$I??z????D$??&????$?B???[^_]ÐU??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$??A??t??u?????t*???????D$?D$I???????D$???????$?zA???[^_]ÐU??WV???u?E9F}A?D$?4$??A?V9U~'????})׉?t?????????9?u?E?F??^_]ÐU??WV???E???E??~h?U?U??H?M?9M?u?u??1?U?U??у??U?NjE?E?E?4??;}?׉΃???;U?u?M??????E??E?U?9?u???^_]?U??WVS??,?????}?D$?E?D$?U?$??@?????/?M?	?Y????/f(??^??,??*??Y??/?X??	?^??*E?Y??,??U???E??׋M?M??E?????????E????}?E?;?U܋E?L????????;E??M܍
?U???E܋U?9?~
?E????뮋U?T$?D$?M؉L$?E?$?@?U?T$??L$?E+E؉D$?4$?????,[^_]ÐU??S??$?E???E??ٕA?E??D$?D$?E?D$?E?$????$[]?U??WV?? ?U???te?D$?D$?u?4$?M??}?7?E?8	?E??4?U????E??9?}?u?}???ƃE??????E;|ދU?u??? ^_]ÐU??WV?? ?u?F?E?>??F?F?D$?E?D$?<$?>?D$?4$?>??t?E?>?F?F?? ^_]?U????D$?E?$?>?ÐU??V???u?M?>u6?=???9?u??F??t&???t?$?=??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?b=??F?	?V????σ?^]?U??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?M=??t??u?????t*??8????D$?D$I??T????D$??????$??<???[^_]ÐU??WVS????????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?<??t??u?????t*???????D$?D$I???????D$??b????$?T<???[^_]ÐU??WVS???T????}?U?G9?}y??u
???O‰G?
?D@??9???G?w?v???D$??$?<??t??u?????t*???????D$?D$I??????D$???????$?;???[^_]?U??WVS???????}?U?G9?}z??u
???O‰G?
?D@??9???G?w???D$??$?u;??t??u?????t*??`????D$?D$I??|????D$??(????$?;???[^_]ÐU??WVS???????}?U?G9?}s??u
???O‰G?
?D@??9???G?w?t$??$??:??t??u?????t*???????D$?D$I???????D$???????$?:???[^_]?U??WV??0?}?E9G}F?D$?<$?:?G9E~,????M)??M??t?E??????;u?u?M?O??0^_]?U??WV???u?E9F}A?D$?4$?:?V9U~'????})׉?t?????9?u?E?F??^_]ÐU??WV??0?E???E؅????U?U??H?M?9M
?u?u???p?U?U???M?E܋u?uԋE܋u?u6?=???9?u??F??t&???t?$?3??F?	?V????σ?^]?U??V???u?M?>u6?=???9?u??F??t&???t?$?V3??F?	?V????σ?^]?U??WV?? ?}?u?W?
?F?D$?$????E?G??D$?M?L$?$???????G??~~????????9V??G??D$?L$?M?L$?$???W?
?E?D$?G?D$?G?D$?$????G??M?L$?$?R\?G?? ^_]?U??WV??0?}?E9G}F?D$?<$?3?G9E~,????M)??M??t?E??????;u?u?M?O??0^_]?U??WV??@?u?~???V?
?}?G?D$?$????E??F??D$?M??L$?$????E?~????ǃ:??????.ǃ.?@?@???$?D$?D$??d????$?#??[]ÐU????????[????ÐU???l???????u7??u2ǁ?ǁ?????ǁ?ǁ?????ǁ?????]ÐU????????????ÐU??S???t???????ue??u`??l?$?#???#?D$?D$???????$?H"ǃhǃd????ǃ`ǃ\????ǃX??????[]ÐU????????k?????zPLR|?'#?,$ty??m?
??,T?y??2?
???,??{????
???,?4?????
??,??{????
??(?}??f?
?,@?}????
??,p?~?????
???zPLR|??!?($????X?
?(P????X?
?(|???X?
?,?>?????
???,???????
???,?????
???,8ֈ??`?
??(h???h?
?,?B???9?
???,?????[?
??,?(?????
??,$|???+?
???(Tx???8?
?,?????}?
??,?????`?
??$?????
,????
??,8????{?
?
???,hB????{
?
???,??????i
?
???,?"?????
???,???????
???,(???m??
???,XJ?????
???zPLR|??($R???X?
?(P~???X?
?,|??????
???,??????
???,???????
???,??????
???,<`?????
???,l??????
???,?ؕ????
??,?f???`?
??,?????[?
??,,??????
??,\b?????
??,???????
???(?N???8?
?$?Z??? ?
,R???\?
???(@~???;?
?$l????#?
,?b?????
???,????U?
	???,??????
???,$?????
???,T^????
???,?.???Z	?
	???,?X????
???,?>????
???,$???_?
???,DT???{?
???,t????m?
??,?޴??m<?
	???,????7?
???,???-?
	???zPLR|???$$?????
$L?????
$t?????
$?d????
$?B????
(?2???(?
?,????-?
??$H?????
$p?????
(?????p{?
?(?????X?
?(?????X?
?(???? ?
?,H??????
??,xT???`?
??(?l????
?$??????
,?0?????
??,,??????
??$\J???#?
(?F???3?
?,?N??????
??,??????
??,h???^??
??,@????:?
???,p,????B?
	???,? r ????d??H??L??P? T? X? \?% ?7 ?r@ ?q 
?? (?? S?? ??? ò? ̪? ?? p?!??&v0pi??????????	??P/??D?h{̞X?,?o? ???Y???+?@`S\??F?ءa?>~v?????|???????}??????{??8?2*ܣFP3Z?"PRR?(?@??`
?hS?@???a??(|?B?}??|?}?cx=????}??|x=????N? }?cxK???|?B?}h?|?=k?k??}i?N? |?????B?????!??<8c?8?8K????8/?A?|	?<|x?c??N?!8!`?????|?N? ?????!??|>x?~H?^H8??!????N? |???????!??|>xB????~x?x?8?^8?<_8b????x??x|x}??N?!|`x/?A??^88????!?|?????N? |???????!??|>xB????~x??|8?8?x?xB???8L<_8b~L|xHs	8P<_8b~`|xHr?8T<_8b~x|xHr?8X<_8b~?|xHr?8\<_8b~?|xHr??L/?A?4?P/?A?(?T/?A??X/?A??\/?@?8?hH?L|x}??N?!|`x?D8?HH܀P?~H|x}??N?!|`x?@<_?~@8?~?Hr?|`x/?@???T?~H|x}??N?!|`x?xB???8`Hp?|`x?@?@/?@?08`8?Hq|`x?@?@/?@?8?HH??^@?T>/?@?`<_8b|?8?Ho?|`x?xB????~x??|8`Hm?|`x?+?@??8/?@?8?HH8???H?H?L?L|x?!?|?????N? |?B?}??=?|?9?m}??N? |?B?}??=?|?9?lx}??N? |???????!??|>x?~x??|?^x??8?8/?A?؀8?^|?A?Ȁ^8??^x?8`??xHl??^8?B?^H?H+?A?p8?^H|0?L?^Lp@/?@??^Lp@*/?@? Hx?~x?x?D8?<8?88`Hj?|`x?@?@/?A?4?^@??8?^@8??^@??<8`??@Hj?^D?/?A?(?^D?"?^D?|x},Kx}??N?!H?^D?|x}??N?!?@/?A?8`Hj)|`x?@?@/?A??~@??x8`HiM|`x?/?@?T?^xB????~????K??i|`x?P?P/?@?8???XH@?^P?|t/?@??^P?T>/?@??~P???K??|`x?XH?^P?T>+?@?$?^??/?A???^P??H8`??PHg?|`x?L<_?B?@?|x?T>+?@??L/?A?8???XH??^??"?^???^H}#Kx|x???|Lx}??N?!|`x?XHL?^P??D8`??PHgY|`x?L<_?B?@?|x?T>+?@??L/?A?8???XH?^???^D|x|Lx}??N?!|`x?XH̀^P??@8`??PHf?|`x?8<_?B?@?|x?T>+?@??8/?A?8???XHt8`Hf|`x?x?~x??|????x?88?xB????~x?x?88?<8~8<_????K??%|`x|x?!?|?????N? |?B?}??=?|?9???}??N? |???????!??|~x?/?@??c8?8?8?Hf=H4?c8?8?8?Hf%?>?} HP}*Kx})?p|? |i8!P?|?????N? |??????!??B???|{x|?#x|?+x?c/???A?Hea??x8?rHeu0?????x8?wHea0?????x8?aHeM0?? ??x8?+He9|zx??x8?xHe)/?A?8/?@?8/?A?$<8co?c?x`??Ha}c?xW?>HaqH<`???@A?0WĄ>c?x`??HaMc?xW??>HaAc?xW?>Ha5H?W?F>c?x`??Ha!c?xWĆ>Hac?xW??>Ha	c?xW?>H`?H?c?x8??H`?W?F>c?xUD>H`?W??>c?xUD>H`?W??>c?xUD>H`?c?xW?>H`[email protected]?F>|
Sxc?xUD>H`?W??Wʄ>|
Sxc?xUD>H`?W??W??>|
Sxc?xUD>H`ic?xW?>H`]8!`?|??a??N? |???????!??|~x?c/???A?X?/?@?????H`?8??~/?A?H_8??/?A??~H`?8???8!P?|?????N? |??a???!??||x|?+x|?#x|?3x?/?@?4?c????H`%8??|??x??xf?xH`?H\/?@?0?#?} HP}*Kx})?p?c|??|??8?H`uH?cH`i?|??8?H_y?|8?8!`?|??a??N? |????ؐ?!??B???|~x?/?@?8?c????H_a;????~??8?H_	?~?????>??@??^|BH?8	?|]xHL/??@?@?~??8?H^??~8?/?A??^?B8?|]xH;???/???@?8`H^]??@??^|BH?8	?HH/??@???@??^|BH?8	?|\xHL/??@?@?~??8?H\?~8?/?A??^?B8?|\xH;????/?@?8?~????H\?;`?~?~??8?H\??~?~?~?>??@??^|BH?8	?|IxHL/??@?@?~??8?H\A?~8?/?A??^?B8?|IxH9 ??W???W?@.|x} x|x9`H?/?@?8?~????H\;????~??8?H[??~?????>??@??^|BH?8	?|ZxHL/??@?@?~??8?H[u?~8?/?A??^?B8?|ZxH;@???/?@?8?~????H[i;????~??8?H[?~?????>??@??^|BH?8	?|\xHL/??@?@?~??8?HZŐ~8?/?A??^?B8?|\xH;????/?@?8?~????HZ?;`?~?~??8?HZa?~?~?~?>??@??^|BH?8	?|IxHL/??@?@?~??8?HZ?~8?/?A??^?B8?|IxH9 ??W???WB?|xW?@.|x} x|x9`HЀ~????HY?;????~??8?HY??~?????~??@??^|BX?8?|VxHL/??@?@?~??8?HYM?~8?/?A??^?B8?|VxH:????/?@?8?~????HYA;????~??8?HX?~?????>??@??^|BH?8	?|WxHL/??@?@?~??8?HX??~8?/?A??^?B8?|WxH:????/?@?8?~????HX?;????~??8?HX9?~?????>??@??^|BH?8	?|XxHL/??@?@?~??8?HW?~8?/?A??^?B8?|XxH;???/?@?8?~????HW?;????~??8?HW??~?????>??@??^|BH?8	?|YxHL/??@?@?~??8?HW=?~8?/?A??^?B8?|YxH; ???/?@?8?~????HW1;????~??8?HVِ~?????>??@??^|BH?8	?|ZxHL/??@?@?~??8?HV??~8?/?A??^?B8?|ZxH;@???/?@?8?~????HV?;????~??8?HV)?~?????>??@??^|BH?8	?|[xHL/??@?@?~??8?HUݐ~8?/?A??^?B8?|[xH;`???/?@?8?~????HU?;????~??8?HUy?~?????>??@??^|BH?8	?|\xHL/??@?@?~??8?HU-?~8?/?A??^?B8?|\xH;????/?@?8?~????HU!;????~??8?HTɐ~?????>??@??^|BH?8	?|KxHL/??@?@?~??8?HT}?~8?/?A??^?B8?|KxH9`??V??V??})xW@.})x})?x9@WB?W`?|BxW?@.|Bx}bx|Cx8@}+x}LxH/???A?HSyHT}c[x}?cx8!p?|?????N? |???????!??|~x|?#x?c /?A??C??}??N?!?/???A?4??|? PT?<`?|?#x|??p??xHV9??x8?8?HV)8!P?|?????N? |???????!??B????/???@?$<8c^??@??^?H?8	?HH;???/??@??8!P?|?????N? |?ۡ????????????Ȑ?!?pB???|yx;C??Zl@??<<C0?8?8=?ɩ???h(=?ɩ????$/?A?<_?ƒ?Ht?c?<_??????;?=??Ƀ??C0<_ˢ??|خ|t??A?0?9?W?:|H.l??D?@?A@?B?(? ??HE???*;???A????l??L<C0?H?!H<_????!(?>$8!??|????ˡ??????????N? |??????A????!??B???|zx;??l??<<C0?8?8<_ɢ???h(ɣ(??$??xHCq?|p|B?A?;`;?Ht;`;??}W?:|?X.?T?~/?@??D?:?TB:|H.?@?Wb:|?Y.;{HC?x8?K??;??|p|???A?????@?|W?:?]|??.?T?~/?@?0?D?:?TB:|H.?A?Ub:|D????A?Wb:|?Q.;{HC?x8?K???;?;???A???|[?P?=?H@?4<8cIh=?=?:x:8?U|.|p?7?<_?B? |^I?W?:?W?8|I./?A?|J/?A?8@8`|KI.9k|kI.9k???^8B?^;?T;y\?YT??/?@?$<8cC?T:|BH.TB8}?,?|\???@??}KSx|
x?^Ui:UH:|@.|I.?^|I.?<TB:}bI.}@q@???H???x8?H9M?>?^|	/?A?8|	??^8B?^??/?A??;?????@???x8?H6y?T:?>|J/?A?<_?B}(|KI.?^8B?^H???>???;?8^??@?????9???A? 8p-??TB:|H.?A???xK???/?@??\W):|.|	.;9H?\??x|?.8?K???;{??@??HK???<8c) X?^\?^`?~d|cP|BI?^??~?HW?:K??t8!p?|?????N? |??a???!??|}x|?#x;?????????@???x8?HрT	:?^|	/?A??.?^8B?^??xd?x8?K??m8!`?|??a??N? |????ܐ?!??B???|zx|?#x|?3x|?+y@?8@<??@?8@/?A?$<8c&H??a8W?:|?Z|BX.p@A?|Ip?Z?|H?|t|@?H|Bp?8?|	?|t?d??A?W":?|Y.;9H(?z?/?A???|?p?:T?:|?H.H-;??<?A??p|Y?P?@?X<8c&HUb:|H.?
9k??XA???/?A??]TB:|]8?<??A? ?T?~T?|BTB:|]??/?A?4???G??TB:}B@.?/?A?8?8@HD9'9`8?|P|	??ITB:|@.?@?|
x}f[x9k9)B??|?3x;}TB:|8.?T?:|]?>?	??]TB:|]?ɺ(?h*?????<_?_???@?C?xK?Ե;?C?x????xK??%/?@?$<8c&H?TB:8|I.ɾL<_?W|??O??@??D?
2?D?(ɾ0?r?(8a<8?H?K???|}x8a<8?H???xH?/?A???@????/?@?8??xK???/?@?$<8c8T?I??2?X$??X?\l??d?a`ɡ`??P(??bzپx??X$lB??Al?ah?h?P(??2?h?p?At?I|Ю|t<_?B\??@??H??'?I?GTB:|BJ????	;=?G?B?=TB:8|I.W?x?=WB:8|I.?G8???/?@?4?G??/?A?T|?#x8?8??G|?).?9W?:|?I.?X?B|??|t<_?B\??A??H?U?:}?cxK???|?#xT?89?8?9?T?:?@?@?GU:T?:?]?b}*.U)8|J(.TB8}?\?|\???@?}Cx|ex?g|(.?]?"T8}?L?|L???@??tU?:|I.?G|I.?9TB:}?I.T????x???K?ё<_?B\??TH(??x8?K??)<_?B\??T8a<8?H}~??x8!??|??!??N? |?H
??a???!???|~x|?#xK??̀8`/?A???x?^|?>??~??H?AL?!P?aT???^??X?A\:??T<UU`UV|?|B?p|Pl??l<C0?hɡh<_?Q0??(<_?BVl??Ԁ/?@?;?>?>?;>?8?x?;W?:?H.?p???A?8w8?h8?W?:|BH.9 <??A?9 /?A?8w8?h8?`C0???<_?BQ?:?X<_ˢQp??/?A????p??tH????x??|??`??d?^T?4?\?u??x??xH?o`????a???<_ɢQ0?h(?!$?!??A??a??^??B2?Ax|_x??l??p??t??x?|?>??^??~h<_8bH]|lx<_8BL쑂?~h?^??>??|??x??t??p??l?!?|?????}??N? ???p???x????!???A???a??ځ??ڡ??????????????!???A???a??ہ??ۡ???????????N? ???p???x????!???A???a??ʁ??ʡ??????????????!???A???a??ˁ??ˡ??????|?????N? |?????|dxB????8_?!?p8a9?8H?8a8|}xH?<_}]|~x9"ȀBȈ	?i|].<_??x?
?j;????xH,@?|}???x??xHEHa8!??????|?N? |?B?}h?=k|???Fd}??N? |?B?}h?=k|???FH}??N? |?B?}h?=k|???F,}??N? |?B?}h?=k|???F}??N? |?B?}h?=k|???E?}??N? |?B?}h?=k|???E?}??N? |?B?}h?=k|???E?}??N? |?B?}h?=k|???E?}??N? |?B?}h?=k|???E?}??N? |?B?}h?=k|???Eh}??N? |?B?}h?=k|???EL}??N? |?B?}h?=k|???E0}??N? |?B?}h?=k|???E}??N? |?B?}h?=k|???D?}??N? |?B?}h?=k|???D?}??N? |?B?}h?=k|???D?}??N? |?B?}h?=k|???D?}??N? |?B?}h?=k|???D?}??N? |?B?}h?=k|???Dl}??N? |?B?}h?=k|???DP}??N? |?B?}h?=k|???D4}??N? |?B?}h?=k|???D}??N? |?B?}h?=k|???C?}??N? |?B?}h?=k|???C?}??N? |?B?}h?=k|???C?}??N? |?B?}h?=k|???C?}??N? |?B?}h?=k|???C?}??N? |?B?}h?=k|???Cp}??N? |?B?}h?=k|???CT}??N? |?B?}h?=k|???C8}??N? |?B?}h?=k|???C}??N? |?B?}h?=k|???C}??N? |?B?}h?=k|???B?}??N? |?B?}h?=k|???B?}??N? |?B?}h?=k|???B?}??N? |?B?}h?=k|???B?}??N? |?B?}h?=k|???Bt}??N? |?B?}h?=k|???BX}??N? |?B?}h?=k|???B<}??N? |?B?}h?=k|???B }??N? |?B?}h?=k|???B}??N? |?B?}h?=k|???A?}??N? |?B?}h?=k|???A?}??N? |?B?}h?=k|???A?}??N? |?B?}h?=k|???A?}??N? |?B?}h?=k|???Ax}??N? |?B?}h?=k|???A\}??N? |?B?}h?=k|???A@}??N? |?B?}h?=k|???A$}??N? |?B?}h?=k|???A}??N? |?B?}h?=k|???@?}??N? |?B?}h?=k|???@?}??N? |?B?}h?=k|???@?}??N? |?B?}h?=k|???@?}??N? |?B?}h?=k|???@|}??N? |?B?}h?=k|???@`}??N? |?B?}h?=k|???@D}??N? |?B?}h?=k|???@(}??N? |?B?}h?=k|???@}??N? |?B?}h?=k|?????}??N? |?B?}h?=k|?????}??N? |?B?}h?=k|?????}??N? |?B?}h?=k|?????}??N? |?B?}h?=k|?????}??N? |?B?}h?=k|????d}??N? |?B?}h?=k|????H}??N? |?B?}h?=k|????,}??N? |?B?}h?=k|????}??N? |?B?}h?=k|???>?}??N? |?B?}h?=k|???>?}??N? |?B?}h?=k|???>?}??N? |?B?}h?=k|???>?}??N? |?B?}h?=k|???>?}??N? |?B?}h?=k|???>h}??N? |?B?}h?=k|???>L}??N? |?B?}h?=k|???>0}??N? |?B?}h?=k|???>}??N? |?B?}h?=k|???=?}??N? |?B?}h?=k|???=?}??N? |?B?}h?=k|???=?}??N? |?B?}h?=k|???=?}??N? |?B?}h?=k|???=?}??N? |?B?}h?=k|???=l}??N? |?B?}h?=k|???=P}??N? |?B?}h?=k|???=4}??N? |?B?}h?=k|???=}??N? |?B?}h?=k|???= 0reason[var(p)] != NULLreason[var(analyze_stack.last())] != NULLconfl != NULLlevel[v] > 0level[x] > 0c[1] == false_litunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falselearnt || id == ClauseId_NULLSolver.hexprroot_level == decisionLevel()okvar(p) < nVars()proof == NULL || unit_id[var(p)] != ClauseId_NULLconflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
[Iprintf$LDBL128libSystem.13Exception_EOF14ProofTraverser14TraceGenerator|?B?}H?|?8`???L? /?L? ?>|i?8B?^8!P?|?????N? |???????!??|~x?/?@?|J/?A?}bI.8BB?蓾8!P?|?????N? ?? 5???L? |ex8@8??8A?|?+x|?+xHH|?+x9%|?;x|Hx| P|	?U:}C|C.?	?@?}h[x}*Kx9k9)B?؀?J?F?
8?|?;x?`@???N? |??a???!??B???|ex|?#x|?3x/?A?K??mH(Ɇ<_?+???2<_?b+??X$??8= C0<_?B+܀|J/?A??|I.8BB?䓾8!P?|?????N? |???????!??|~x|?#x?? @?DK????@?0T:9`|?P|	??>|J/?A?}bI.8BB?蓾8!P?|?????N? ????|?#x?? 7???@??|dx8@9??`A?|?#x|?#xH?|?#x9d}?cx|Ex|?P|	?}f[x?KT?:|?}.?T	?~/?@?|J/?A??|I.8BB?䓾8!P?|?????N? |??????!??|~x|?#x?/?A??c?C????P}??N?!||x?~?C??x8???p}??N?!|ex?/?@?H9`9 ?]|	.pA?|p|?H|p8|I.9k9)??XA??Ȁ~?C??x8????}??N?!?~?C??????x??<}??N?!?~?C??x???}??N?!?^8B?^8!P?|?????N? |??????!??|}x|?#x?/?@?`Hl;??}|`8?K???;????A???8?/?A?4?}/?A?K?ӝ8??H?/?@???K???8!P?|?????N? |?B?}H?|?ȐȐ??ؐ?9 9@?>??^?:^???:~?????:????:????;> ? ??;^,?,??8^8?>8?^x<_?x?x<_???	<_???	8@?^?????8@8`?^??~?;?????;~?????<@??^??8?	f?|	?La????È????
?ðG??g?????????? ????+??d\??h???8??????????????\?hx???N?Ȅ?R?	?H?	?Ɛ	????
??P
@??
r??,
???|
???
????!???M???y??4???t??Ǡ????%??tR?????????8??????????Ť
???
1??
N??
h???
???8
??ŀ
????
???
???X??h&???9??@O?? g????m??@?O`?Ȩ?dɠCK?d?Wp???I?? J,Ci~ ???oX??t???J?.ƴOw?v???Z???T?g4??@L?X?Tso??ʠ??Ѹ??x???W?4??P??H????D?pv?<?Ψ??T<???X???w??????|??????˔???:?ˬ\?? u??????????????d???X???(?͘R??hz?????`???@??????????4???P??xm??,??????????h??̘????
?̼$??$5???I??@Z??$n?????????????(??????q?????$N?V???
:"?G???8?M?FUkL	x	?R??	?ZN[`
IM????????+???;@5??$?	?	?
m
?
?
??????
??<]PѴ^PѰP??P??P??P??P??P??P??P??P??P??P??P??P??P??P???P???P???P???PѼP,1(/)-*9Z2 5!=#+8"06?c<e?Ti??X?gak7???R???Lu???mys??$??????4?.3??q??{??
?O:;?&?]%'?,1(/)-*9Z2 5!=#+8"06?c<e?Ti??X?gak7???R???Lu???mys??$??????4?.3??q??{??
?O:;???????????????????????????????????????????c`ab?????????????????????????d??????????efgh????	??
ijkl??R[_STUVWXYZ\mnopqrstuvwxyz{|}~???????????????????????????????????????
??]^????R"	?d25D??Hyp+
??8?\8EK*HM:JOHQPPQ&()*,-/19c`abR[_STUVWXYZ\]^ !"#%+/01258=?????????????????defghijklmnopqrstuvwxyz{|}~?????caRTXQ#%/0567<=???????????????????????????????????d????????????????ij??????????????????????????????????????mqsuy#$%'./13L46MN??????????????????????????????????????d????	
ijkl
?X{????Q#%/16LOMNO:;PQ___initialize_Cplusplus__dyld_func_lookupcfm_stub_binding_helperdyld_stub_binding_helper__mh_dylib_header___cxa_atexit_atexit___dso_handle___keymgr_global__keymgr_get_and_lock_processwide_ptr__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_free_malloc_strcmp__Z7getUIntR4File__Z7getUIntR4File.eh__Z7putUIntR4Filey__Z7putUIntR4Filey.eh__ZN4File4openEPKcS1___ZN4File4openEPKcS1_.eh__ZN4File4openEi8FileModeb__ZN4File4openEi8FileModeb.eh__ZN4File4seekExi__ZN4File4seekExi.eh__ZN4File4tellEv__ZN4File4tellEv.eh__ZN4File5closeEv__ZN4File5closeEv.eh__ZN4File7putCharEi__ZN4File7putCharEi.eh__ZTI13Exception_EOF__ZTS13Exception_EOF__Unwind_Resume__ZTVN10__cxxabiv117__class_type_infoE___cxa_allocate_exception___cxa_call_unexpected___cxa_throw___eprintf___gxx_personality_v0_close_lseek_open_read_strchr_write__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.eh__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.eh__Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E.eh__Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.eh__ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.eh__ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.eh__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.eh__ZN3vecIPKcE4growEi__ZN3vecIPKcE4growEi.eh__ZN3vecIPKcE5clearEb__ZN3vecIPKcE5clearEb.eh__ZN3vecIiE4growEi__ZN3vecIiE4growEi.eh__ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.eh__ZN5Proof10beginChainEi__ZN5Proof10beginChainEi.eh__ZN5Proof4saveEPKc__ZN5Proof4saveEPKc.eh__ZN5Proof7addRootER3vecI3LitE__ZN5Proof7addRootER3vecI3LitE.eh__ZN5Proof7deletedEi__ZN5Proof7deletedEi.eh__ZN5Proof7resolveEii__ZN5Proof7resolveEii.eh__ZN5Proof8compressERS_i__ZN5Proof8compressERS_i.eh__ZN5Proof8endChainEv__ZN5Proof8endChainEv.eh__ZN5Proof8traverseER14ProofTraverseri__ZN5Proof8traverseER14ProofTraverseri.eh__ZN5ProofC1ER14ProofTraverser__ZN5ProofC1ER14ProofTraverser.eh__ZN5ProofC1Ev__ZN5ProofC1Ev.eh__ZN5ProofC2ER14ProofTraverser__ZN5ProofC2ER14ProofTraverser.eh__ZN5ProofC2Ev__ZN5ProofC2Ev.eh_realloc_remove_tempnam__Z11removeWatchR3vecIP6ClauseES1___Z11removeWatchR3vecIP6ClauseES1_.eh__Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0___Z13selectionSortI3Lit14lastToFirst_ltEvPT_iT0_.eh__Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortI3Lit14lastToFirst_ltEvPT_iT0___Z4sortI3Lit14lastToFirst_ltEvPT_iT0_.eh__Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd__Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd.eh__Z4sortI3Lit14lastToFirst_ltEvR3vecIT_ET0___Z4sortI3Lit14lastToFirst_ltEvR3vecIT_ET0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_.eh__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.eh__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.eh__ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi.eh__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.eh__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.eh__ZN3vecIS_IP6ClauseEE4growEi__ZN3vecIS_IP6ClauseEE4growEi.eh__ZN3vecIcE4growEi__ZN3vecIcE4growEi.eh__ZN3vecIdE4growEi__ZN3vecIdE4growEi.eh__ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.eh__ZN7PSolver10simplifyDBEv__ZN7PSolver10simplifyDBEv.eh__ZN7PSolver11cancelUntilEi__ZN7PSolver11cancelUntilEi.eh__ZN7PSolver12analyzeFinalEP6Clauseb__ZN7PSolver12analyzeFinalEP6Clauseb.eh__ZN7PSolver16progressEstimateEv__ZN7PSolver16progressEstimateEv.eh__ZN7PSolver17analyze_removableE3Litj__ZN7PSolver17analyze_removableE3Litj.eh__ZN7PSolver18claRescaleActivityEv__ZN7PSolver18claRescaleActivityEv.eh__ZN7PSolver18varRescaleActivityEv__ZN7PSolver18varRescaleActivityEv.eh__ZN7PSolver5solveERK3vecI3LitE__ZN7PSolver5solveERK3vecI3LitE.eh__ZN7PSolver6assumeE3Lit__ZN7PSolver6assumeE3Lit.eh__ZN7PSolver6newVarEv__ZN7PSolver6newVarEv.eh__ZN7PSolver6removeEP6Clauseb__ZN7PSolver6removeEP6Clauseb.eh__ZN7PSolver6searchEiiRK12SearchParams__ZN7PSolver6searchEiiRK12SearchParams.eh__ZN7PSolver7analyzeEP6ClauseR3vecI3LitERi__ZN7PSolver7analyzeEP6ClauseR3vecI3LitERi.eh__ZN7PSolver7enqueueE3LitP6Clause__ZN7PSolver7enqueueE3LitP6Clause.eh__ZN7PSolver8reduceDBEv__ZN7PSolver8reduceDBEv.eh__ZN7PSolver9newClauseERK3vecI3LitEbi__ZN7PSolver9newClauseERK3vecI3LitEbi.eh__ZN7PSolver9propagateEv__ZN7PSolver9propagateEv.eh__ZNK7PSolver8simplifyEP6Clause__ZNK7PSolver8simplifyEP6Clause.eh___floatdidf___sF_fflush_pow_printf$LDBLStub_putsrestFPsaveFP_Java_kodkod_engine_satlab_MiniSatProver_addClause_Java_kodkod_engine_satlab_MiniSatProver_addClause.eh_Java_kodkod_engine_satlab_MiniSatProver_addVariables_Java_kodkod_engine_satlab_MiniSatProver_addVariables.eh_Java_kodkod_engine_satlab_MiniSatProver_free_Java_kodkod_engine_satlab_MiniSatProver_free.eh_Java_kodkod_engine_satlab_MiniSatProver_make_Java_kodkod_engine_satlab_MiniSatProver_make.eh_Java_kodkod_engine_satlab_MiniSatProver_solve_Java_kodkod_engine_satlab_MiniSatProver_solve.eh_Java_kodkod_engine_satlab_MiniSatProver_trace_Java_kodkod_engine_satlab_MiniSatProver_trace.eh_Java_kodkod_engine_satlab_MiniSatProver_valueOf_Java_kodkod_engine_satlab_MiniSatProver_valueOf.eh__ZN14ProofTraverser4doneEv__ZN14ProofTraverser4doneEv.eh__ZN14ProofTraverser4rootERK3vecI3LitE__ZN14ProofTraverser4rootERK3vecI3LitE.eh__ZN14ProofTraverser5chainERK3vecIiES3___ZN14ProofTraverser5chainERK3vecIiES3_.eh__ZN14ProofTraverser7deletedEi__ZN14ProofTraverser7deletedEi.eh__ZN14ProofTraverserD0Ev__ZN14ProofTraverserD0Ev.eh__ZN14ProofTraverserD1Ev__ZN14ProofTraverserD1Ev.eh__ZN14TraceGenerator4doneEv__ZN14TraceGenerator4doneEv.eh__ZN14TraceGenerator4rootERK3vecI3LitE__ZN14TraceGenerator4rootERK3vecI3LitE.eh__ZN14TraceGenerator5chainERK3vecIiES3___ZN14TraceGenerator5chainERK3vecIiES3_.eh__ZN14TraceGenerator7deletedEi__ZN14TraceGenerator7deletedEi.eh__ZN14TraceGeneratorD0Ev__ZN14TraceGeneratorD0Ev.eh__ZN14TraceGeneratorD1Ev__ZN14TraceGeneratorD1Ev.eh__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.eh__ZN3vecIS_IP6ClauseEE5clearEb__ZN3vecIS_IP6ClauseEE5clearEb.eh__ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.eh__ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.eh__ZN7PSolverC1Ev__ZN7PSolverC1Ev.eh__ZN7PSolverD1Ev__ZN7PSolverD1Ev.eh__ZTI14ProofTraverser__ZTI14TraceGenerator__ZTS14ProofTraverser__ZTS14TraceGenerator__ZTV14ProofTraverser__ZTV14TraceGenerator__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZTVN10__cxxabiv120__si_class_type_infoE__ZdlPv__Znwm___stub_getrealaddr_NSAddressOfSymbol_NSIsSymbolNameDefinedWithHint_NSLookupAndBindSymbolWithHint_strcpy_strlendylib1.ocrt3.oFile.oProof.oSolver.okodkod_engine_satlab_MiniSatProver.os_printf.odarwin-fpsave.ogetrealaddr.olink editordyld__mach_header_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_find_atexit_10_3_get_globals_our_atexit_add_routine_run_routines_cxa_atexit_wrapper_atexit_common__GLOBAL__I__ZN4File4openEi8FileModeb_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0iiGCC_except_table0__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__ZN4File4openEi8FileModeb.ehEH_frame1__GLOBAL__I__ZN5ProofC2Ev_temp_files_lit_Error_lit_Undef_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0ii___tcf_0GCC_except_table0GCC_except_table1GCC_except_table2GCC_except_table3__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__ZN5ProofC2Ev.ehEH_frame1___tcf_0.eh__GLOBAL__I__Z11removeWatchR3vecIP6ClauseES1__lit_Error_lit_Undef_l_Undef_l_False_l_True_ClauseId_NULL__Z41__static_initialization_and_destruction_0iiGCC_except_table0GCC_except_table1__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__Z11removeWatchR3vecIP6ClauseES1_.ehEH_frame1__GLOBAL__I_Java_kodkod_engine_satlab_MiniSatProver_make_lit_Error_lit_Undef_l_Undef_l_False_l_True__ZSt8__ioinitGCC_except_table0___tcf_0__Z41__static_initialization_and_destruction_0iiGCC_except_table1GCC_except_table2GCC_except_table3GCC_except_table4GCC_except_table5EH_frame1___tcf_0.eh__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I_Java_kodkod_engine_satlab_MiniSatProver_make.eh_funcptr




© 2015 - 2025 Weber Informatics LLC | Privacy Policy