• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• libminisatprover.dylib

×

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.

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

????

x???__TEXT??__text__TEXT?0???__symbol_stub1__TEXT???
?__cstring__TEXT?????__const__TEXT?????__stub_helper__TEXT?

??__gcc_except_tab__TEXT???__unwind_info__TEXT???
??__eh_frame__TEXTx??x?`?
__DATA??__mod_init_func__DATA? ?	__nl_symbol_ptr__DATA ?8 ?__la_symbol_ptr__DATAX??X?%__const__DATA`??`?__bss__DATA0?t
H__LINKEDIT?@??3

p
/Users/aleks/work/projects/kodkod/lib/minisat-p_v1.14/build/libminisatprover.dylib]1?}^??d8և??"?0?????????
P?h????

?P^^R??
C8	/usr/lib/libstdc++.6.dylib8}
/usr/lib/libSystem.B.dylibUH????t??fD????u?H?=A??0?H????1?H?=,?????!?
???????????????	???????UH?????
??|???????????????UH????t??fD????u????
?????????????UH?????
?????????????????UH????t??fD????u??~?
?x??????r??l??????f?????H?k??i??c?H?????1?H?=???	??UH?????
??l???????????????UH????t??fD????u???
????????????????????????@UH?????
?????????????????UH????Hc?H????;K?????????UH??SH??H??H?4??}?H??tH??tH??[??H?
Ӫ?IH?5?H?=1????UH??SH??H??H?4??-?H??tH??tH??[??H?
???IH?5??H?=ة裨?UH??AUATSH??I??A?̅?~1??L???X???D9?u?H??[A\A]??fDUH??SH??H??聨H??tH??tH??[??H?
???DH?5?H?=b?????UH??ATSH??0L?????A?\$(???tgH???H??H?E??E??B
?E?H?}ȈM?H?H?5??P0H?}?L?1?H?‰?A??`H?E?H?u???L???
FH?E?H??0[A\??H?
???>H?5	?H?=???a?H????H??H?;?H??H?E???fDUH??SH??H??H?E??E??E?H?u?蕌??H?}?H??t?E??$???H??[??H??H?}?H??t?E???H??蔦@UH??AWAVAUATSH??8H?}?H?U?H?M?H?H????XA??H?U?H?1?H?u?H?}????H?E?H?E??E??E?E????I??E1??'f?Hc?H??HE?tD? ?UȍB
?E?A??I??E9?twA?ED?d???~^?U?;U?uƍJ
9?}???u;???M??E?Hc]?H?4?H?}??N?H??t	H????H?E??U?끐?TR
??9???U??Đ??D?$A??
?H?U?H??D?`(H?u???1?H?}??rH?U?H?1?H?U?H?u?H?}???H?U?H???X(H?}?H??t?E?艥1?A9???H??8[A\A]A^A_??H?
	??IH?5?H?=^??)?H??H?}?H??t?E??;?H???ͤfD?UH??ATSI??H??H????H?{Xt!?C`H?{Xt??H?CX?CdH?{Ht!?CPH?{Ht?ˤH?CH?CTH?{8t!?C@H?{8t裤H?C8?CDH???6 H???N?IDŽ$M??u[A\??L????L??[A\??$?@UH??H?]?L?e?L?m?H?? ?@??I??H???ߣ?h??H??H????I??$L??H?]?L?e?L?m???I??L??辣L??膣I??H??諣L???s????UH????f.?UH????f.?UH????f.?UH????f.?UH????f.?UH????f.?UH??G(=?t????H?
???>H?5ãH?=K??????UH??H???H??H?????UH??H???H??H???fDfDUH??H???H??H??騢?UH??H???H??H???fDfDUH??AUATSH??I??H??H?H??v???I??I?|$H?1?L?????H??H?A?D$ ??{
~&?
??H???2??H??9K?I?|$H?1?H??L????I?|$H?A?T$I?t$L????pI?|$H?L?????A?D$H??[A\A]??f.?UH??AUATSH??I??H??uA?D$H??[A\A]??H?H??v???I??I?|$H?1?L?????H?‹C??~51?1??????Љ??H??9s~H???
u????????H??9s?I?|$H?1?L????I?|$H?A?T$I?t$L????pI?|$H?L?????A?D$H??[A\A]?Ðf?UH??AWAVAUATSH??I??? ??~'E1?1?I?EH?4?
L????LA??H??E9e ?A?u??~-E1?1ېI?EH?4H??t
?
L????LA??H??E9e?I??`
?
L???LI??h
?
L???LI??(t/ADž0I??(t?D?IDž(ADž4I??t/ADž I??t??IDžADž$I???
t/ADž?
I???
t?ҟIDž?
ADž?
I???
t/ADž?
I???
t號IDž?
ADž?
I??p
t/ADžx
I??p
t?`?IDžp
ADž|
I??P
t/ADžX
I??P
t?'?IDžP
ADž\
I??@
t/ADžH
I??@
t??IDž@
ADžL
I??0
t/ADž8
I??0
t赞IDž0
ADž<
I??
t/ADž
I??
t?|?IDž
ADž
I???t/ADž
I???t?C?IDž?ADž
I???t/ADž?I???t?
?IDž?ADž?I???t/ADž?I???t?ѝIDž?ADž?I???t/ADž?I???t蘝IDž?ADž?I???t/ADž?I???t?_?IDž?ADž?I???H???~A?????~HE1?E1?f?J?'H?;t&?CH?;t??H??CI???A??I??E9???ADž?H??t?ќIDž?ADž?I???t/ADž?I???t蘜IDž?ADž?I???t/ADž?I???t?_?IDž?ADž?I?}Ht#A?EPI?}Ht?/?I?EHA?ETI?}(t#A?E0I?}(t??I?E(A?E4I?}t#A?E I?}t?ۛI?EA?E$I?}t#A?EI?}t豛I?EA?EH??[A\A]A^A_??I??I??(t/ADž0I??(t?l?IDž(ADž4I??t/ADž I??t?3?IDžADž$I???
t/ADž?
I???
t???IDž?
ADž?
I???
t/ADž?
I???
t???IDž?
ADž?
I??p
t/ADžx
I??p
t舚IDžp
ADž|
I??P
t/ADžX
I??P
t?O?IDžP
ADž\
I??@
t/ADžH
I??@
t??IDž@
ADžL
I??0
t/ADž8
I??0
t?ݙIDž0
ADž<
I??
t/ADž
I??
t褙IDž
ADž
I???t/ADž
I???t?k?IDž?ADž
I???t/ADž?I???t?2?IDž?ADž?I???t/ADž?I???t???IDž?ADž?I???t/ADž?I???t???IDž?ADž?I???t/ADž?I???t臘IDž?ADž?I???H??t|A?????~FE1?E1?I???H?5D?H?=j?輅H?
}??DH?5?H?=P?蝅?UH??H?]?L?e?L?m?L?u?H?? H??A??A??A?΋????t芅D?#D?kD?s?C?膅H??tCH?C?K??t$?C????H?$L?d$L?l$L?t$????H?Ƌ;?a??C??H?
Ɇ?DH?5N?H?=?????fDfDUH??H?]?L?e?L?m?H?? H??I??A?ԃ
t]??
t8???݄H?s??;???C?CH?]?L?e?L?m???f??G+GH?I)ź
L???蒄?@HcWH?w??迄?CD??L??;H?]?L?e?L?m???\?UH??SH??H???????t(?{
tGH?{H??t?/?H?C?{u?????H??[?????;?????HcSH?s?1??C?f.?UH??H?]?L?e?L?m?L?u?L?}?H??@H???
?W
?S?C9?}}Hc?H?sD?,D?b
D?cD??E??yAD???`????
???U
?{
???K?C9???=??a??????H?]?L?e?L?m?L?u?L?}???f.?=?)?
??H??H?5ŧ1?????H?s??;???C?C??t?H?sD?.?C
?5????{
??D?c?CA9??#Ic?H?S?A??D?cA?ƃ{
?F?CA9??^Ic?H?S?A??D?cA??A??A??E	?D	?????HcWH?w??菂?CH?s??;?Z??C?C?C?m???????
?{
?>D?c?CA9??0=????E??????{
??CA9???Ic?H?S?A??D?cA?ǃ{
?[	?CA9???Ic?H?S?A??D?c?Eȃ{
???CA9??+Ic?H?S?A??D?c?Eă{
???CA9???Ic?H?S?A??D?c?E??{
? ?CA9???Ic?H?S?A??D?cA?ƃ{
???CA9??mIc?H?S?A??D?cA?Ń{
???CA9??<Ic?H?S?A??D?cA??A???e?Du?E	?D??	?A???e?D}??e?D}ȋE?D	?H?? H	??7????{
?r
D?c?CA9???=???A??????{
???CA9???Ic?H?S?A??D?cA?ƃ{
???CA9??0Ic?H?S?A??D?cA??A??A??A??E	?E	?D	?????Ic?H?S?A??D?cA???u???Ic?H?S?A??D?c?E??????Hc?H?S?D?a
D?cA??A??A	?D???A???=??
A??????????HcS?;??CH?s??;?y?C?C?C?????HcS?;?v?CH?s??;?A?C?C?C?G???HcS?;?>?CH?s??;?	?C?C?C?V???HcS?;??CH?s??;??~?C?C?C????=????????????=??z?E??????,???=??%?E?????????=????E??????????=???A??????g???=??????H?s??;?0~?C?C???????H?C??C
?t???=??????H?s??;??}?C?C???h???H?C??C
????=???A??????d???=???A?????????=?IA??????U???H?s??;?}}?CE1??C???R???H?C?A?
?C
?E??@???H?s??;??}?CE1??C??t?H?C?A?
?C
A???????H?s??;?}?C?C???}???H?C??C
A??A??A	?D???b???H?s??;??|?CE1??C???+???H?C?A?
?C
A??????H?s??;?|?C?C???????H?C??C
?z???H?s??;?O|?CE1??C???????H?C?A?
?C
?E??h???H?s??;?|?CE1??C???a???H?C?A?
?C
?E?????H?s??;??{?CE1??C???Q???H?C?A?
?C
?E?????H?s??;?{?CE1??C???????H?C?A?
?C
A??????H?s??;?W{?CE1??C???????H?C?A?
?C
A???E???H?s??;?{?CE1??C???D???H?C?A?
?C
A??????H?s??;??z?CE1??C??????H?C?A?
?C
A??????Ic?H?s?;?zE1??CH?s??;?z?C?C?C?A???Ic?H?s?;?zE1??CH?s??;?Gz?C?C?C?|???Ic?H?s?;?AzE1??CH?s??;?	z?C?C?C?????Ic?H?s?;?zE1??CH?s??;??y?C?C?C????Ic?H?s?;??yE1??CH?s??;?y?C?C?C?0???Ic?H?s?;?yE1??CH?s??;?Oy?C?C?C?????Ic?H?s?;?IyE1??CH?s??;?y?C?C?C????Ic?H?s?;?yE1??CH?s??;??x?C?C?C?9???Ic?H?s?;??xE1??CH?s??;?x?C?C?C?????Ic?H?s?;?xE1??CH?s??;?Wx?C?C?C?g???H??H??t?w??w??UH??ATSH??I??H?????wJ????
?w??????
f?H?s??;??w?C?
@?w???%????KHc?H?C???A
?C?K????=???sHc?H?SL??H??8?
?F
?C?S????=???sHc?H?SL??H??0?
?F
?CD?[E????=?}?sHc?H?SL??H??(?
?F
?CD?SE???E=???sHc?H?SL??H?? ?
?F
?CD?KE????=???sHc?H?SL??H???
?F
?CD?CE????=?;?sHc?H?SL??H???
?F
?C?{???!=???sHc?H?SL??H???
?F
?C?s??tu=?J????CHc?H?SD?$
???C[A\??f???????O???D????KHc?H?SD??????2?A
?C?S??u?f.?+CHc?
?;?u?C?????C
?C?j???@?w+wHc??
???Wu?C?????C
?C???????????
D?_E???4???KHc?H?SD??????2?A
?CD?SE????
+CHc?
?;??t?C?????C
?C??
?w+wHc??????+CHc?
?;?t?C?????C
?C?&???@+CHc?
?;?jt?C?????C
?C?X???@+CHc?
?;?:t?C?????C
?C?????@+CHc?
?;?
t?C?????C
?C????@+CHc?
?;??s?C?????C
?C?^???@+CHc?
?;?s?C?????C
?C?????@+CHc?
?;?zs?C?????C
?C????D?OE????
??d?KHc?H?SD??????2?A
?CD?CE????
=?M?sHc?H?SD?????
?F
?C?{???
???=??
?sHc?H?SD????????H?s??;?
s?C?????H?w?????r?C????H?s??;??r?C?!???H?s??;?r?C?g???H?s??;?r?C????H?s??;?ur?C?????H?s??;?Yr?C????H?s??;?=r?C?[????w+wHc??
????q?C?????C
?C?????w+wHc??
???q?C?????C
?C?K????w+wHc??
???|q?C?????C
?C????+CHc?
?;?Pq?C?????C
?C?#???H?w????hq?C?R???H?s??;?Lq?C????H?w????0q?C?????H?w????q?C????H?s??;??p?C??????????????????UH??SH??H???
uHcWH?w???p?CH??[??H?
,r?vH?5tqH?=?q?p??UH????????GH?G?G?????G?G
H?G8?G@?GDH?GH?GP?GTH?GX?G`?Gd?G(H?w0??fDUH??SH??H??H?4???oH??tH??tH??[??H?
3q?IH?5?pH?=?q?So?UH??SH??H??H?4??oH??tH??tH??[??H?
?p?IH?5hpH?=?q?o?UH??SH??H??H?4??=oH??tH??tH??[??H?
?p?IH?5pH?=?q?n?fDUH????tH?
?p??H?5?pH?=Mq?nH?
?p??H?5?pH?=.q?en??UH??H?]?L?e?H??H??A??H?0H??tH??P?;?uH?$L?d$??DfD?s(D)?
???
Hc?H???:???1?H??H?$L?d$??&???fDUH??AUATSH??H???WP?G`??9???????H?0H??tH?H?SXH?sH?P?;?u?S(?B
?C(??H??[A\A]??H?CH?s(+0
???
Hc?H???????S`??~?E1?E1?H?CXB?4 ??Hc?H??????A??H?CH?s(A+tHc?H???q???I??D9k`?1?H???]????|????H?GH???H??[A\A]??H?
.o?wH?5oH?=?o??l??UH????????GH?G?G?????G?G
H?G8?G@?GDH?GH?GP?GTH?GX?G`?Gd?G(H?w0??fDUH??H?]?L?e?L?m?H?? I??A???????H?Ht?GPI?|$Xt	A?D$`A?D$PA;D$Tt#H?H??ID$HtD?(A?D$PH?]?L?e?L?m??ÍP
9?}օ?u:???M?A?D$TIc\$TH?4?I?|$H?lH??tH??tH?5?]H?=?^?8\H?
'^?vH?5o]H?=?^?\?????????????UH??AVAUATSH??A??I?փ??|A?D$???~fI??E1?A?
E??E??L??I?[E9?~0I???Ic?H??L?ƋA?9?EO?HN?A??I??E9??A??A??I??A??I??E9?u?H??[A\A]A^???
?b?Y
??bf(??^??,??*??Y?b?X???^??*??Y??,?H?D??H????A??????A??D?E9?|/?A?H?H??fDfD??H?֋H??A9?|?A9?}?D?H?????$L??D???????E)?$L??D??H??????H??[A\A]A^?ÐUH??SH??H???G??uF?W1?9W|
?
???	H??[??f?H?w?????Z?C?C??????H??[??H?
.\?mH?5?[H?=?\?4Z?UH??AUATSH??I??H??fD?1?1??oZI??H????H?Q\H??H???????;?u
L???Z??A?EA;Et!H?H??IEtL? A?EL??H??[A\A]?ÍP
9?}؅?u5???M?A?EIc]H?4?I?}??YH??tH??t9I?EA?E럍D@
??9??A?E??H?
?[?/H?5W[H?=*\????~?M??$?D??nH?V1??%???H?B???D9?t"??H??9??r?????
u???H?B?D9?u?1?L??D?]??P???D?]??Q?????D)?9???~)CA??A??????A??$?A??$ 
I??$?
I?$?
I??$(
?????H?
J?[H?5?IH?=M?FH?
?I??H?5?IH?=?M?kFH?
`I??H?5?GH?=?L?LFUH??AWAVAUATSH??I??I???H??(t
LJ0A??
??u2I??H??t?@(=?????A??8H??[A\A]A^A_??I??H??tA?$?ƒ?
??
?Hc?A?t??`?????A?4$????9???
A??
A;????
I???H???;?
Hc?H??H?EȉU??H?E?I???A??A??Mc?I??0
B?<8??I???N?,?M???`
I??H??tA?E?ƒ?
??
?Hc?A?t?D??????A?u??????~oI?]A?
?"I??0
?
A?uA??H??????D9?~A???Hc?I????????I??H??t?I?F(?4??T???A?uA??H??????D9??I??0
A?I????M?H?m??E?9
?????I??H???e????e???A??8H??[A\A]A^A_??I??0
?
A?4$?É???9??u???Hc?A?T???Hc?I????????I??H??t?I?F(?4?????A?4$?A?????I????G???I???B??????A??A??
A??0A;?4tH?H??I?(tD? A??0??????P
9?}ۅ?uD???M?A??4Ic?4H?4?I??(?CH??tH??t#I??(A??0듍D@
??9??A??4?H?
?D?IH?5lDH?=`I?CDfDH?
qC?>H?5?DH?=FI??BH?
?F??
H?5?EH?=`I?Bf?UH??AWAVAUATSH??I???uĉU?????H?H???H?I??$0
D????Hc??<7??I??$?D??E????I??$?H?fDfDA??$X
;U?~>HcE?H?4??M??I??$0
I??$P
???H????A??$X
H??9?Ӊ?+M?9?81????^???A)?$X
1??O???H?
?A?m
H?5	AH?=D??=H?
?@??H?5?H?=rD?=?@UH??AWAVAUATSH??HI??H?u?I??H?M?D?-?dH??H??t??ƒ?
??
?Hcҋt?????A?GA;G??H?H??It?????A?GH?U??A??$??ɉM??E?H?}???H?E?D?A??
t7H??A??Ic?H???Z@?AXD$8?Z??@?Z?f.?D??D?E1?D9-)dA??D????A9???I??$0
I??Ic?H?U?D?l?D????Hcʀ<?"I??$???????fW?fA.D$`?|
H??ID$H??AXD$X?f.?CvN?
?CA??$???~,1?1?H??ID$H??C?Y???H??A9?$???AYL$X?AL$XD?????dA;?$??VHc?I??$??4????M??$?Hc?H??A?Lc?A??A????Ic?A???7I?A??
D?(A??$?
?.A?wE1??
~5M??$?I?H???
???H?A?????
??A	???H??9?u?I??$P
tADŽ$X
A?w?????E?
?E?
?H??I?0????H?I??$?H??H?E??E??E?M??}???A?D$??????
??D?m?A?\1??}????
?Hc?H??H???2I??H???%H???	A?G????A?D$
?A	?E?/A?T$??~+1?1???I?$?B?D:??H??A9L$?}?tA???H?A?D??}??tA??ƒ?
??
?HcҋE?A?D??}???M?$I?IA?AI?????H??Icʼn?A??A??D?U?H??E9?~FH?u??3??
u?????H?I????;@Qu?I??H??t?????Hc?I?F(?4??{????D??D)?A9?|x??~)E?I??H??t趻???E?L?e??????H?]??????
!1????H?
?,?GH?5?,H?=?0?a)H?
"+?DH?5?*H?=q0?B)H?
7,??H?5?*H?=?/?#)H?
Z,??H?5S,H?={/?)H??H?}?t?E?H?}?t?)H???(H?
?*?IH?5&*H?=Z/??(H?
?*?IH?5*H?=;/?(H?
c*?IH?5?)H?=/?(H?
D*?IH?5?)H?=?.?d(H?
%*?IH?5?)H?=?.?E(H?
*?IH?5?)H?=?.?&(f.?UH??H?]?L?e?L?m?L?u?H?? I??A??D?????????9?tKH?H??I?$?tD?(A??$?1?D??L????????H?$L?d$L?l$L?t$??DfD?H
9?}???uU???M????Ic?$?H?4?I??$???'H??tH??t4I??$?A??$??`???DfD?TR
??9??A??$??H?
?(?IH?5n(H?=?-?	'?fDfDUH??AWAVAUATSH??I???u?9???%????B??E?Hc?H??H?E?H???H?Mȋ9E???
HcE?L?????P
9??j?????u???M?A??$???D@
??9??A??$?Ic?$?H?4?I??$???H??t	H????I??$?A??$?????1?L???+?????BH?}???????E?H?}???????z??????^U??A?$A??$
L???0?????B????H?
??>H?5?H?=k!?H?
Z??H?5H?=E!??H?
??IH?5)H?=?!??H??H?}?t?E?H?}?t??H???dH?
a?IH?5?H?=? ??@UH??AWAVAUATSH??hI??I???T???1?A?<$??
I??$?
H?E?I??$?
H?E?I??$?
H?E?A?D$?E??}A?U?A?FA??$
E?nE????
I?D?(D?????E?H?E?A;?$?||?H?H??I?$?tD?8A??$?1?D??L??????????L???H???H???&?E??E?A9F??
I?H?U?D?,H??H?U?D????A;?$??9E??$?A??$?A;?$??k????P
9??`?????u\???M?A??$?Ic?$?H?4?I??$??eH??t	H???dI??$?A??$?????fDfD?D@
??9??A??$??I??$?D????Hc?H??YE??E?A??$?D,m???~pI??$?
E?L$ ?
??AY?$?H*??A*?I??$?
A?T$I??$?
?$?^?E??H?=#??EH??;H?;?H?;?
?,u?L??D??L???7????E?9&>?8???A??$??~H?=}??H??;H?8??1?L???????E?;?=????H??h[A\A]A^A_??1?H??L??????A??$0???????H?
?H?5rH?=??9fD?H?
??H?5FH?=`?
I??$tI?D$(?I??$?A??$?A9?~+Hc?H??fDH??I?$?t???H??A9??E??$?I?D$hD?hA???????H?
??KH?5?H?=??f?Hc?H???v????H
9??&??????????M?A??$?Ic?$?H?4?I??$??H??t	H????I??$?A??$???????J
9??x??????e???M?A??$?Ic?$?H??H??I??$??AH??t	H???7I??$??&????H
9?????????????M????Ic?$?H??H??I??$???H??t	H????I??$?A??$??????H
9??D??????z???M?A??$?Ic?$?I??$?H???H??t	H???bI??$?A??$???????H
9????????x???M?A??$
Ic?$
H?4?I??$??(H??t	H????I??$?A??$
?????H
9?????????@???M?A??$
Ic?$
H?4?I??$
??
H??t	H???}I??$
A??$
?????H
9??????????
???M?A?D$TIc\$TH?4?I?|$H?k
H??t	H????I?D$HA?D$P?l????H
9??????????
???M?A??$<
Ic?$<
I??$0
H???
H??t	H????
I??$0
A??$8
?????H
9?????????B
???M?A??$?Ic?$?H?4?I??$??H??t	H???h
I??$?A??$??5????H
9??n??????

???M?A?D$4Ic\$4H?4?I?|$(?VH??t	H???
I?D$(A?D$0?%????TR
??9??A??$??????TR
??9??A??$??????TR
??9??A??$??????TR
??9??A??$??????TR
??9??A??$
?????TR
??9??A?T$T?0????TR
??9??A??$
?????TR
??9??A??$??????TR
??9??A??$<
?B????TR
??9??A?T$4?????H?
p?EH?5?
H?=???
H?
??IH?5&H?=???
H?
??IH?5H?=??
H?
c?IH?5?H?=z?
H?
D?IH?5?H?=d?d
H?
%?IH?5?H?=??E
?????????UH??G9?|??~)??G??H?

??H?5lH?=??
?f.?UH??G9?|??~)??G??H?
???H?5,H?=???	?f.?UH??G9?|??~)??G??H?
???H?5?
H?=H?	?f.?UH???x(;w }#Hc?H?G????????????H?
O?FH?5IH?=??-	?UH??@??t??H?
X??H?5QH?=y?	fDUH??AWAVAUATSH??(I??A??I?׃???A?D$?????H??H?E?A?
?}?E??E9???
L?L?]?L?sL???0A????tH?Hc??AD?.D?v*D??I??A??H??E9?~'?Hc?M?T?I??H??
????M??A??H??E9??H?E?L?I?
H?E?A??L??E9??n???H??([A\A]A^A_???
??Y
??f(??^??,??*??Yz?X???^??*??Y??,?H?L??A?	H??A??A?????DA??H?;????k???????A?@?H?I?L?Hc?H???fDfDH?N?A??H??H?	?
???t?H??D?A.Dw?E9?}2H?H?>A?	H??놉????t??H?Hc??AD?.D?w??v????$L??D??L??????E)?$L??D??H???????H??([A\A]A^A_??I??H?I??L?s????A??Ic?I?t?H??p???f.?UH??AWAVAUATSH??I??A??H?M?I?׃???M???
H?E??Yf(??^?
?,??*??Y?
?X?H?E???^?
?A*??Y??,?H?A??I?7M??E????????Lc???M??A?:????H???B;??A?@?H?I?L?B??f.?A??I?ɋ
H????H?;??D9?}A?
A?A?9I?7I???H?M?L????L??????A)?A??????A?F???~vM??H?E?A?
D?U?E??L??I?[E9?~9M?H??Ic?I??H??????H?A????Hc?A;?EO?HN?A??H??E9??A??A??H?E?A??I??E9?u?H??[A\A]A^A_?Ð?UH??AUATSH?????
;w ??Hc?H?G?4?????L?WLc?J??E?,Mc??????Hc?E??H?H?N??Ic??Bf.?w4?^f?L?WIc?E??H?H?Ic??Bf.?vK??D??Lc?G??H?GJc?H?G?4?A??A??u?Hc?H????L?WE?,H?GB?4?H??[A\A]??Hc?H??????H?
s?GH?5H?=?
?H?
?GH?5?H?=?
???fDUH??AUATSH??I??A???????O 9?~.?G$9?2Hc?H??H??IT$t???H??A9??E?l$ H??[A\A]?Å?u???MƉG$?@?D@
??A9??A?D$$Ic\$$H?4?I?|$?H??tH??t4I?D$A?L$ A9??u????H?
??EH?5#H?=
?H?
??IH?5MH?=?	??fDfDUH??AVAUATSI??A?????r
;w ?i
Hc?L?4?H?W?GB?2?G?W9???H?H??ID$tD?(A?D$I?D$E?M?L$Ic?L??G?,Ic?D??????Hc?A?= 0c[1] == false_litunit_id[var(first)] == ClauseId_NULL || value(first) == l_Falselevel[x] > 0reason[var(p)] != NULLreason[var(analyze_stack.last())] != NULLconfl != NULLlevel[v] > 0learnt || 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 %% |
solvexreallocsearchlastxreallocchecksimplifyDBshrinkpropagatexreallocanalyzeFinalanalyze_removableshrinkanalyzeinHeapincreaseinsertxreallocshrinkxreallocxreallocsetBoundsxreallocsimplifynewClausexmallocremoveWatch14TraceGenerator14ProofTraverser13Exception_EOF?45A?????A??????0??.?++#B????;??@??x?D}Ô%?I?TY@??????????L?9AS?%)?h??????h??????h??????h??????h?????h?????hk????hV????h????h????h6????h?x???h?n???h?
?d???h?
?Z???h{
?P???hl
?F???h\
??H?????????????????????????????P0?????????????p??!WD`DWARBpWAQ@__ZTVN10__cxxabiv117__class_type_infoEQq?`??@__ZTVN10__cxxabiv120__si_class_type_infoEq??@__ZdlPvq?
`?@__Znwm?@___gxx_personality_v0q8?@___stdoutp?@dyld_stub_binder?@__Z4sortI3Lit14lastToFirst_ltEvPT_iT0_RdQq`?@__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd?@__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd?@__Z5checkb@__ZN14ProofTraverser4doneEv???@__ZN14ProofTraverser4rootERK3vecI3LitE??????????
?@__ZN14ProofTraverser5chainERK3vecIiES3_?@__ZN14ProofTraverser7deletedEi?@__ZN14ProofTraverserD0Ev??@__ZN14ProofTraverserD1Ev??????????
?@__ZN14TraceGenerator4doneEv??????????
?@__ZN14TraceGenerator4rootERK3vecI3LitE??????????
?@__ZN14TraceGenerator5chainERK3vecIiES3_?@__ZN14TraceGenerator7deletedEi?@__ZN14TraceGeneratorD0Ev??@__ZN14TraceGeneratorD1Ev??????????
?@__ZN3vecI3LitE6shrinkEi@__ZN3vecIP6ClauseE6shrinkEi@__ZN3vecIiE6shrinkEi@__ZN4File3eofEv@__ZN4File5flushEv@__ZN4HeapI11VarOrder_ltE6inHeapEi@__ZN4HeapI11VarOrder_ltE6insertEi@__ZN4HeapI11VarOrder_ltE8increaseEi@__ZN4HeapI11VarOrder_ltE9setBoundsEi@__ZN5Proof4lastEv@__ZN6SolverC2Ev??????????
?@__ZN6SolverD2Ev?@__ZN9TempFiles4openER4File@__ZTI13Exception_EOF??????????
?@__ZTI14ProofTraverser????@__ZTI14TraceGenerator??????????
?@__ZTS13Exception_EOF??
?@__ZTS14ProofTraverser??????????
?@__ZTS14TraceGenerator??????????
?@__ZTV14ProofTraverser??????????
?@__ZTV14TraceGenerator?@__ZdlPv?`?@__Znwm?qX@__Unwind_Resume?q?
@__ZNSt8ios_base4InitC1Ev?q?
@__ZNSt8ios_base4InitD1Ev?q?
@___assert_rtn?q?
@___cxa_allocate_exception?q?
@___cxa_atexit?q?
@___cxa_call_unexpected?q?
@___cxa_throw?q?
@_close?q?
@_fflush?q?
@_free?q?
@_lseek?q?
@_malloc?q?
@_open?q?@_pow?q?@_printf?q?@_puts?q?@_read?q?@_realloc?q?@_remove?q?@_strchr?q?@_tempnam?q?@_write?
_Java_kodkod_engine_satlab_MiniSatProver_6_Z?
valueOfdadditrace?
solve?
free?
make?
?#VariablesClause?
?%?&?(?(?,?.N?
7?4sortI?	11removeWatchR3vecIP6ClauseES1_?5checkb?T?14?5Proof?6Solver?4?9TempFiles4openER4File?
K6Solver8simplifyEP6Clause?3vecI?
ProofTraverser?TraceGenerator?4?5chainERK3vecIiES3_?7deletedEi?D?rootERK3vecI3LitE?doneEv??/?/?/?/7deletedEi?4?D?5chainERK3vecIiES3_??/doneEv?rootERK3vecI3LitE??/4?C?8?7?10beginChainEi?lastEv?saveEPKc?	?/0Ev?1Ev??0?00Ev?1Ev??0?1?1?3D2Ev?C2Ev?1?
6?8reduceDBEv?7?9?5solveERK3vecI3LitE?
?4?IFile?HeapI11VarOrder_ltE?4?5?3eofEv?
tellEv?openE?seekExi??ePKcS1_?i8FileModeb??f?k?lcloseEv?flushEv??ngetUIntR4File?putUIntR4Filey??o??
Е
2E?1E?R14ProofTraverser?v?	??
compressERS_i?endChainEv?traverseER14ProofTraverseri?	??
deletedEi?resolveEii?addRootER3vecI3LitE???
К
R14ProofTraverser?v?	??
??
?
??
??
?
?
??
3Lit1?	P6Clause11reduceDB_ltEvPT_iT0_Rd?6LessThan_defaultIS0_EEvPT_iT0_Rd?
4lastToFirst_ltEvPT_iT0_Rd???
??
??
8?6progressEstimateEv?0simplifyDBEv?
2analyzeFinalEP6Clauseb?
7analyze_removableE3Litj?
1cancelUntilEi?
varRescaleActivityEv?claRescaleActivityEv???
??
??
??
??
removeEP6Clauseb?assumeE3Lit?
searchEiiRK12SearchParams?
newVarEv?
??
??
enqueueE3LitP6Clause?analyzeEP6ClauseR3vecI3LitERi?
??
propagateEv?
newClauseERK3vecI3LitEbi?
??
??
??
??
??
????????????P6ClauseE6shrinkEi?iE6shrinkEi?3LitE6shrinkEi???????6in?8increaseEi?9setBoundsEi?HeapEi?sertEi???????????????S1?V14?I1?4?3Exception_EOF?TraceGenerator?ProofTraverser???????TraceGenerator?ProofTraverser???4?3Exception_EOF?TraceGenerator?ProofTraverser?????????

?E
@~
`?
??
?

@ 

`Q

?

?

P?

??

 3?

?K?

?K
@L 
?c<
dS
Pdj
?d?
?d?
@e?
?e?
?f?
0??
P?g?l?Du?f~??߼?????ѽڽ/߽T?v??????????	??3?W%?}*??????????!??>??e??{?????????????B??r?????????&?S?u'??.??7??@?	J?8	S?b	\??	f??	n??	??	
0??	
4?

8?


?Q]
?Lr
?O?
?L?
PM?
?Y?
`N?
`V
 K+
 T:
0rT
@?o
?t?
?e?
?x?
?b?
 b
??;
 ?S
 ?h
?g?
???
?}?
k?
?i

 ?2
?lJ
??$Z
?`j
?a?
?f?? ????????????????????&???<?`?R

b


{


?

?

?
?
?
?
?






*


A


N

d
o

v

~

?

?

?

?

?

?

?

?

?

?

?

?

?
?fgh???????????????????????????????@@?fgh?????????????????????????? __mh_dylib_header__Z41__static_initialization_and_destruction_0ii__GLOBAL__I_Java_kodkod_engine_satlab_MiniSatProver_make__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___Z8xreallocIiEPT_S1_m__Z8xreallocI3LitEPT_S2_m__Z7xmallocIcEPT_m__Z7xmallocIhEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocIiEPT_S1_m__Z8xreallocIPKcEPT_S3_m__Z8xreallocI5lboolEPT_S2_m__Z8xreallocIdEPT_S1_m__Z8xreallocIiEPT_S1_m__Z8xreallocIcEPT_S1_m__Z8xreallocI3vecIP6ClauseEEPT_S5_m__Z8xreallocIP6ClauseEPT_S3_m__Z8xreallocI3LitEPT_S2_m__Z7xmallocIcEPT_m___tcf_0___tcf_0__ZZN5Proof4lastEvE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ7xmallocIcEPT_mE8__func____ZZN4File5flushEvE8__func____ZZN4File4openEPKcS1_E8__func____ZZ7xmallocIhEPT_mE8__func____ZZN5Proof8traverseER14ProofTraverseriE8__func____ZZN5Proof4lastEvE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZN4File5flushEvE8__func____ZZN5Proof4saveEPKcE8__func____ZZN4File3eofEvE8__func____ZZN5Proof8compressERS_iE8__func____ZZN5Proof8endChainEvE8__func____ZZN5Proof7resolveEiiE8__func____ZZN5Proof10beginChainEiE8__func____ZZN9TempFiles4openER4FileE8__func____ZZ8xreallocIPKcEPT_S3_mE8__func____ZZN6Solver5solveERK3vecI3LitEE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZN6Solver6searchEiiRK12SearchParamsE8__func____ZZN5Proof4lastEvE8__func____ZZ8xreallocI5lboolEPT_S2_mE8__func____ZZ5checkbE8__func____ZZN6Solver10simplifyDBEvE8__func____ZZN3vecIP6ClauseE6shrinkEiE8__func____ZZN6Solver9propagateEvE8__func____ZZ8xreallocIP6ClauseEPT_S3_mE8__func____ZZN6Solver12analyzeFinalEP6ClausebE8__func____ZZN6Solver17analyze_removableE3LitjE8__func____ZZN3vecI3LitE6shrinkEiE8__func____ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE8__func____ZZN4HeapI11VarOrder_ltE6inHeapEiE8__func____ZZN4HeapI11VarOrder_ltE8increaseEiE8__func____ZZN4HeapI11VarOrder_ltE6insertEiE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZN3vecIiE6shrinkEiE8__func____ZZ8xreallocI3vecIP6ClauseEEPT_S5_mE8__func____ZZ8xreallocIdEPT_S1_mE8__func____ZZN4HeapI11VarOrder_ltE9setBoundsEiE8__func____ZZ8xreallocIcEPT_S1_mE8__func____ZZNK6Solver8simplifyEP6ClauseE8__func____ZZN6Solver9newClauseERK3vecI3LitEbiE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ11removeWatchR3vecIP6ClauseES1_E8__func__ stub helpers__ZStL8__ioinit__ZL6l_True__ZL7l_False__ZL7l_Undef__ZL9lit_Undef__ZL9lit_Error__ZL6l_True__ZL7l_False__ZL7l_Undef__ZL6l_True__ZL7l_False__ZL7l_Undef__ZL9lit_Undef__ZL9lit_Error__ZL10temp_files__ZL6l_True__ZL7l_False__ZL7l_Undef__ZL9lit_Undef__ZL9lit_Error_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__Z11removeWatchR3vecIP6ClauseES1___Z4sortI3Lit14lastToFirst_ltEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z5checkb__Z7getUIntR4File__Z7putUIntR4Filey__ZN14ProofTraverser4doneEv__ZN14ProofTraverser4rootERK3vecI3LitE__ZN14ProofTraverser5chainERK3vecIiES3___ZN14ProofTraverser7deletedEi__ZN14ProofTraverserD0Ev__ZN14ProofTraverserD1Ev__ZN14TraceGenerator4doneEv__ZN14TraceGenerator4rootERK3vecI3LitE__ZN14TraceGenerator5chainERK3vecIiES3___ZN14TraceGenerator7deletedEi__ZN14TraceGeneratorD0Ev__ZN14TraceGeneratorD1Ev__ZN3vecI3LitE6shrinkEi__ZN3vecIP6ClauseE6shrinkEi__ZN3vecIiE6shrinkEi__ZN4File3eofEv__ZN4File4openEPKcS1___ZN4File4openEi8FileModeb__ZN4File4seekExi__ZN4File4tellEv__ZN4File5closeEv__ZN4File5flushEv__ZN4HeapI11VarOrder_ltE6inHeapEi__ZN4HeapI11VarOrder_ltE6insertEi__ZN4HeapI11VarOrder_ltE8increaseEi__ZN4HeapI11VarOrder_ltE9setBoundsEi__ZN5Proof10beginChainEi__ZN5Proof4lastEv__ZN5Proof4saveEPKc__ZN5Proof7addRootER3vecI3LitE__ZN5Proof7deletedEi__ZN5Proof7resolveEii__ZN5Proof8compressERS_i__ZN5Proof8endChainEv__ZN5Proof8traverseER14ProofTraverseri__ZN5ProofC1ER14ProofTraverser__ZN5ProofC1Ev__ZN5ProofC2ER14ProofTraverser__ZN5ProofC2Ev__ZN6Solver10simplifyDBEv__ZN6Solver11cancelUntilEi__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver16progressEstimateEv__ZN6Solver17analyze_removableE3Litj__ZN6Solver18claRescaleActivityEv__ZN6Solver18varRescaleActivityEv__ZN6Solver5solveERK3vecI3LitE__ZN6Solver6assumeE3Lit__ZN6Solver6newVarEv__ZN6Solver6removeEP6Clauseb__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7enqueueE3LitP6Clause__ZN6Solver8reduceDBEv__ZN6Solver9newClauseERK3vecI3LitEbi__ZN6Solver9propagateEv__ZN6SolverC2Ev__ZN6SolverD2Ev__ZN9TempFiles4openER4File__ZNK6Solver8simplifyEP6Clause__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_atexit___cxa_call_unexpected___cxa_throw___gxx_personality_v0___stdoutp_close_fflush_free_lseek_malloc_open_pow_printf_puts_read_realloc_remove_strchr_tempnam_writedyld_stub_binder