• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• libminisat.jnilib

×

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.libminisat.jnilib Maven / Gradle / Ivy

????
?[???
?ʰ????
	x??
?__TEXT??__text__TEXTQ@?__symbol_stub1__TEXTaG,
aG?__stub_helper__TEXT?HX?H__textcoal_nt__TEXT?J@?J
__eh_frame__TEXT(d?(d__cstring__TEXT?y??y__StaticInit__TEXT?~??~
__literal8__TEXT?`?(__DATA??__dyld__DATA??__nl_symbol_ptr__DATA??2__la_symbol_ptr__DATA(??
(?5__gcc_except_tab__DATA?? 
??__mod_init_func__DATA؂؂	__bss__DATA?)
H__LINKEDIT? ?[

0j??H/var/tmp//ccQ3BFCU.out???\??PKKB???g?48֥?D/usr/lib/libstdc++.6.dylib8C??D

/usr/lib/libgcc_s.1.dylib8@?H
X
/usr/lib/libSystem.B.dylibASL?????AS?%?x????%?xUH??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??b???t
H?E??4
H?E?H?E?H?}?u'?
?(?9?H?E?H?}?u
H?E???H?E??@?????H?=nq??H?E?H?}???H?}?H?5jq??>H??H?E?H?PH?}?H?5\q??>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?5q?o>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??5=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???<H?E?H?}?t-H?E??@?E?H?E??@
H?E?H?@H?E?H?u??P<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ȿ?L;?Eԃ}?t?E???????H?E?H?pH?E?H?8H?U?H?E??ЉE???H?E?H?@ H?E?H?uȿ??:?Eԃ}?t?E??????H?E?H?8H?E??ЉE??H?E?H?@H?E?H?uȿ?:?E??}?t	?E??????T??:H?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?5?r?????ÐUH??SH??H????9H??tH??u?
??H??tH?
?m?DH?5?mH?=Vl?9H??[]?UH??SH??H??H?4??9H??tH??u?
??H??tH?
gm?IH?5KmH?=l?X9H??[]?UH??SH??H??H?4??>9H??tH??u?
??H??tH?

m?IH?5?lH?=?k??8H??[]?UH??SH??H??H?4???8H??tH??u?
??H??tH?
?l?IH?5?lH?=bk?8H??[]?UH??SH??H??H?4??8H??tH??u?
??H??tH?
Yl?IH?5=lH?=k?J8H??[]?UH??SH??H??H???48H??tH??u?
??H??tH?
l?IH?5?kH?=?j??7H??[]?UH??SH??H??H?4???7H??tH??u?
??H??tH?
?k?IH?5?kH?=sj?7H??[]?UH??SH??H???7H??tH??u?
??H??tH?
Wk?IH?5;kH?=*j?H7H??[]?UH??SH??H??H?4??.7H??tH??u?
??H??tH?
?j?IH?5?jH?=?i??6H??[]?UH??H?O?y~;??
?nHc?H?
H?Ћ??H?H???Z@?Y??Z??@??
9q???n?YG0?G0]ÐUH??H????~~,??
jnHc?H?W@H????Y????
9N??Cn?YGP?GP]ÐUH??AWAVAUATSH??(I??L????A*N?n?^??E?A?~f???E??[H???H?E?D?=@qE?nf???E??H?U??D9?t!I??$??*??E??5?XE??E?H??
A9???A*F?M??^?f(?H??([A\A]A^A_]ÐUH??uq??A9?|H?
|i?!H?5?iH?=?h?=5A??
Ic?H;4?uϋG??
A9?} H?Ic?A??
Ic?H??H?ʋG??
A9?|??o
?
?H?H;1uA?뺋WA??{???]ÐUH?僿?tlH?
,i??H?5?hH?=?g?4Hc??T??Ѓ?
??t????H?H???????????H?H????D9?t(??
???9????????~?D??o?띸
]?UH??ATSI??H?????????uJ?v?t6
Hc??{??
Hc?H??I?$??????s?t6
Hc??{??
Hc?H??I?$??h????\@??
tH?
eg?jH?5qgH?=:f?3?~??
Hc?H??I?$??'????{??
Hc?H??I?$?H???
?????
t??H?I)?$?
????H?I)?$?
H??tH???C3[A\]ÐUH??AVAUATSH?? I??H?_?*K?G0?^??E؈$H???'3?S????
?????A?A??bA?A?H?Ic?H?4?????~#?F??H?I???H?¨
??H9???Ic?H?4?A??
A??
?S????
???D9??D;c}iH?Ic?H?4?????~?F??H?I???H?¨
uH9?u
Ic?H?4?A??
?$???H??ZD??M?f.?vܺL???????A??
D9c?D??D)??K9?~3H?
?e??H?5?eH?=?d??1???
??
9?u??K??????L???????$???H?? [A\A]A^]?UH??AWAVAUATSH??(I??L???A?D$?E?H????C;Cu?p
H???1HcCH??HtH??@?@?S?B
?C;Cu?rH???a1HcCH??HtH??@?@?C
I????C;Cu?p
H???'1HcSH?H??H??tH??C
?FlA?D$A;D$u?p
L????0IcD$I$t?A?D$
I????C;Cu?p
H????0HcSH?H??H??t??????C
I?^@?C;Cu?p
H???0HcSH?H??H??tH??C
I?^`I?F`?pM?~p??yH?
?d?EH?5PdH?=Ac?%0?E?M?oH?U?L???D0H?D?`A??
x
E;e}?
????uH?
?c?KH?5?cH?=?b??/Ic?H??H?E?I?_I?U?CH?M??
?C;Cu?p
H????/HcSH?H??H??tD? ?C
I?EH?U??4H?Hc?L??F?	A??A????I?H?Mc?N?$?Ic?Hc??Af.?vw?I?H?Ic?H?Hc??B!f.?vU??D??H?Hc?H??Hc?L??B?	?H?HcI?E??GI?????H?D??E?NA???
?
?+??
Hc?????H?D;?}D???ʃ?
D9?u?Hc‹?A?D$Hc?I??@A?D?A?$??H?I???Z@?AXE0?Z??@?Z?f.?JvL???'???L??H??
?€?
A??uH?
?E?jH?5?EH?=bD??A?t$L??L???3?????uH?
?E??H?5~EH?=;D?I?]?C;Cu?p
H????HcSH?H??H??tL? ?C
A?$??H?I
??
?II?]?C;Cu?p
H???HcSH?H??H??tL? ?C
A?$??H?I
??
L??H??
$
A??E??uH?
?D?jH?5?DH?=?C??M??A?D$??
M???H?H??H??I???C;Cu?p
H????HcSH?H??H??tL?0?C
A?D$??
H?H??H??I?C;Cu?p
H???HcSH?H??H??tL? ?C
?????H??H?}??
?H???H?}??
??3D??KH?????????9??????f????uȹ?L???H??([A\A]A^A_]?UH??AWAVAUATSH??hH???u??U?H??x?????u???H?5?>H?=?=?H??????????
??
H???m????IF?!?H???`????8FH?}??
???H??h[A\A]A^A_]ÐUH??AWAVAUATSH??hI??I???????A?<$u
???I??$?
H?E?I??$?
H?E?I??$?
H?E?I?D$H?E??HAL$(Hc?H??H??H??H
?H??H??H
?H??H??H
?H
?H?? ??)??*??E?D?=qEA?FA??$
A?~??
A?I??$?
H?E?H?E?Ic?I???????A;?$?|H?
???H?5?=H?=@=?	??L??????????????H?I??$?H??H??tg??
tI??$H
?؃?
?FH??H???F?H?ֺ
L???????A??A??
H?]??C;Cu?p
H???z	HcSH?H??H??tD?(?C
?AL?m??L???J	??
A?EA;Eu?p
L???8	IcUI?EH??H??t?A?E
?L???N?????.L???$???H??tQ?H??L???/???A??$H?
>??H?5?<H?=<??L??????????
A??
E;n?v???A??$
A;?$?tH?
q=??H?5m<H?=?;?*A??$?
~WH?=?=?H??@H?;?|H?=?=?jH?;?hH?=>?VH?;?TH?=L>?BH?;?@D;= C??????E?M?l$A??$?
?,]??xI??$?
?,]?????A?$?
?Y??H*??A*UE?MI??$?
H?u??VAT$(I??$?
?$?^?A??H?=?=??H???H?8??,u?H?M???L??????A???E??YC??E??E??Y9??E?9>B?0???A??$?
~H?=>=?4H?B?H?8?+?L???#???D9=B????H??h[A\A]A^A_]ÐUH??AUATSH??A??I?Յ?~?L????????
A9?u?H??[A\A]]ÐUH???
Hc?H???
??;?A????]?UH??SH??H???H??tH??u?
??H??tH?
?9?DH?5?9H?=?<??H??[]?UH??SH??H??H?E??E??E?H?u???????H??H?}?
??H??????H?}?
???ۉ?H??[]?UH??SH??H??H?4??hH??tH??u?
??H??tH?
79?IH?59H?=.<?(H??[]?UH??SH??H??H?4??H??tH??u?
??H??tH?
?8?IH?5?8H?=?;??H??[]?UH??H?=;@?;]?UH??AVAUATSI??H??????I??A?Ic?I?H?4º
L???6???A??
D9k~I????I??M?l$A?}~+?Hc?I?EH?4?H??t
?
L?????????
A9]?I??$?
?
?ZI??$?
?
?rI??$p
?
?6I??$`
?
?$I??$8
?
?I??$(
?
?I??$
?
?<I??$??
?0I??$??
??I??$??
?I??$??
?I??$??
??I??$??
??I??$??
??I?|$x?
?I?|$@?
??
L????
L???L????T
H??I??$?
?
?I??$?
?
?.I??$p
?
??I??$`
?
??I??$8
?
??I??$(
?
?I??$
?
??I??$??
??I??$??
?I??$??
??I??$??
?bI??$??
?I??$??
?I??$??
?I?|$x?
?qI?|$@?
?n?
L???gI?|$?
?XH???H?Z?{?6???????[A\A]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?p
H?}??<
HcU?H?E?H??H??tD? ?E?
A??
H??E9?u?H?u??H?}??"???I??H?U?H?u?L?????H??H?}??
??H????H?E??H?}??
???H??8[A\A]A^A_]?UH??ATS??
I??H???

?H??L????H???L??[A\]??%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%?8?%
9?%9?%9?%9?%	9?%9?%
9?%9?%9?%9?%9?%9?%9?%9?%9?%9?%!9?%#9L??7?t???L??7?h???L??7?\???L??7?P???L??7?D???L?}7?8???L?y7?,???L?u7? ???L?q7????L?m7????L?i7?????L?e7????L?a7????L?]7?ؽ??L?Y7?̽??L?U7?????L?Q7鴽??L?M7騽??L?I7霽??L?E7鐽??L?A7鄽??L?=7?x???L?97?l???L?57?`???L?17?T???L?-7?H???L?)7?
?

?????<tv???????F
?

?????<?|????????
?

?????<?????????
?

?????<4
?????????

?

?????<t
^????????
?
??<?
????????
?

?????<?
ҹ???????
?

?????<42???????e
?
????<tX????????

?

?????<?????????O?
?

?????<?????????+
?

?????
zPLR
x??
?
<$????????7
?
	???4d????????"
?
4?r???????R
?
?4?????????b?
?
?4
???????Z
?
?4D
(???????Z
?
?4|
J???????Z
?
?4?
l???????Z
?
?4?
????????Z
?
?4$????????Z
?
?4\???????
?
4? f
?
4?N
?
<v???????{
?
	???<DD???????#?	
?
????<?(???????(
a	
?

?????<?2???????X
?
	???<J????????	
?
?????<D????????9	
?
??/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexitGClause_newcheckshrinkshrinkxmallocxreallocxreallocxreallocxreallocxreallocxreallocxreallocxreallocinHeapshrinkremoveWatchshrinkinsertsetBoundsincreasesimplifyanalyze_removableanalyzeanalyzeFinalpropagatesimplifyDBClause_newnewClausesearchsolve((uintp)c & 1) == 0SolverTypes.hexprSolver.hnelems <= szGlobal.hsize == 0 || tmp != NULLok(n)Heap.hj < ws.size()Solver.Csize >= 0inHeap(n)decisionLevel() == 0reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
xmallocxreallocxreallocClause_newUH?????u4??
u/?-
??????????????]?UH?????
????]ÐUH?????uX??
uSH?=??b???H???H?=??????????
?????????????????]?UH?????
????]?#B????;0??.?++???45A?????A??????@??x?D}Ô%?I?TY@???????????_??_??H?H?H?H?H?H?H?H?H?HII I,I8IDIPI\IhItI?I?I?I?I?I?I?I?I?I?I?IJJJ(J4J@JLJXJdJpJ|J?J?J?J?J?J?J?J?J??d?1E??4YZ?,?
?
~%?
??&-A??7E?
??'!?U????4
:?S
'??',?~n(
0
8
@
H
P
X
`
h
p
x
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?








 

(

0

8

@

H

P

X

`

h

p

x

?

?

?

?

?

?

?

??

-
$@
*T
>h
{z
??
J	?
?	?
?
?
??
,
?
f
?
?
?
?


@$

?B

?Y

N}

??

??

P?

bA?

B?

pB

?Bz:zP"zp)z?0z?8z?Az
Jz*SzL\z{ez?nz?wz??z?z8?zf?z??z??z??z?zC?zs?z??z??z??z
{G{v{?{??~??~?~6?~^?~??~??n!?,?7??@?I??Q??\?g?p?y????
F?
A?
?B	
(G=	
?Af	
@A?	?RQ?	??Q

?R!
??J:

]
?hN?
?&M?
?.Q?
?TP%?PM??Nw?
HU
?0y
?)???\?
??

?


?



?


?





5

@

f

?

?

?

?

?

?

?

?

?

?

?

???????????\lfnrpt_^`gSi?de????osmqj???W[ZVYXQRca???????????????\lfnrpt_^`gSi?de????osmqj???W[ZVYXQRca? __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__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocI5lboolEPT_S2_m__Z8xreallocI7GClauseEPT_S2_m__Z8xreallocIiEPT_S1_m__Z8xreallocI3vecI7GClauseEEPT_S4_m__Z8xreallocIdEPT_S1_m__Z8xreallocIcEPT_S1_m__Z8xreallocIP6ClauseEPT_S3_m__Z7xmallocIcEPT_m__Z8xreallocI3LitEPT_S2_m__Z8xreallocIiEPT_S1_m___tcf_0__ZZ11GClause_newP6ClauseE8__func____ZZ5checkbE8__func____ZZN3vecIiE6shrinkEiE8__func____ZZN3vecIP6ClauseE6shrinkEiE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocI5lboolEPT_S2_mE8__func____ZZ8xreallocI7GClauseEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ8xreallocI3vecI7GClauseEEPT_S4_mE8__func____ZZ8xreallocIdEPT_S1_mE8__func____ZZ8xreallocIcEPT_S1_mE8__func____ZZ8xreallocIP6ClauseEPT_S3_mE8__func____ZZN4HeapI11VarOrder_ltE6inHeapEiE8__func____ZZN3vecI3LitE6shrinkEiE8__func____ZZ11removeWatchR3vecI7GClauseES0_E8__func____ZZN3vecI7GClauseE6shrinkEiE8__func____ZZN4HeapI11VarOrder_ltE6insertEiE8__func____ZZN4HeapI11VarOrder_ltE9setBoundsEiE8__func____ZZN4HeapI11VarOrder_ltE8increaseEiE8__func____ZZNK6Solver8simplifyEP6ClauseE8__func____ZZN6Solver17analyze_removableE3LitjE8__func____ZZN6Solver7analyzeEP6ClauseR3vecI3LitERiE8__func____ZZN6Solver12analyzeFinalEP6ClausebE8__func____ZZN6Solver9propagateEvE8__func____ZZN6Solver10simplifyDBEvE8__func____ZZ10Clause_newbRK3vecI3LitEE8__func____ZZN6Solver9newClauseERK3vecI3LitEbE8__func____ZZN6Solver6searchEiiRK12SearchParamsE8__func____ZZN6Solver5solveERK3vecI3LitEE8__func____ZZ7xmallocIcEPT_mE8__func____ZZ8xreallocI3LitEPT_S2_mE8__func____ZZ8xreallocIiEPT_S1_mE8__func____ZZ10Clause_newbRK3vecI3LitEE8__func____Z41__static_initialization_and_destruction_0ii__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0___Z41__static_initialization_and_destruction_0ii__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make_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_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_valueOf__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3LitEvR3vecIT_E__Z11GClause_newP6Clause__Z11removeWatchR3vecI7GClauseES0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z5checkb__ZN3vecI3LitE4growEi__ZN3vecI3LitE5clearEb__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6shrinkEi__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE6growToEi__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE6shrinkEi__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE6shrinkEi__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIcE4growEi__ZN3vecIcE5clearEb__ZN3vecIdE4growEi__ZN3vecIdE5clearEb__ZN3vecIiE4growEi__ZN3vecIiE5clearEb__ZN3vecIiE6growToEiRKi__ZN3vecIiE6shrinkEi__ZN4HeapI11VarOrder_ltE6inHeapEi__ZN4HeapI11VarOrder_ltE6insertEi__ZN4HeapI11VarOrder_ltE8increaseEi__ZN4HeapI11VarOrder_ltE9setBoundsEi__ZN6Solver10simplifyDBEv__ZN6Solver11cancelUntilEi__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver16progressEstimateEv__ZN6Solver17analyze_removableE3Litj__ZN6Solver18claRescaleActivityEv__ZN6Solver18varRescaleActivityEv__ZN6Solver5solveERK3vecI3LitE__ZN6Solver6assumeE3Lit__ZN6Solver6newVarEv__ZN6Solver6removeEP6Clauseb__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver8reduceDBEv__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9propagateEv__ZN6SolverC1Ev__ZNK6Solver8simplifyEP6Clause__Unwind_Resume__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm___assert_rtn___gxx_personality_v0___stdoutp__keymgr_get_and_lock_processwide_ptr__keymgr_get_and_lock_processwide_ptr_2__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_fflush_free_malloc_pow_printf_puts_realloc????x??

X__TEXTpp__text__TEXT<
B<?__cstring__TEXTLJ?LJ__textcoal_nt__TEXT?M}?M
?__literal8__TEXTXd`Xd__StaticInit__TEXT?d??d
?__eh_frame__TEXT?eH
?eh__constructor__TEXT?o?o__destructor__TEXT?o?o

?
__DATApp__data__DATApp
__dyld__DATApp__mod_init_func__DATApp	
__gcc_except_tab__DATAp 
p__bss__DATA4q)

?__IMPORT??__jump_table__IMPORT?
??__pointers__IMPORT??9
8__LINKEDIT?0??%

0j??H/var/tmp//cc1S3Mdb.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??h?HP00p??ph??????<????X???g???g???X???g??U????E?
??U??S??$?YE?E?E?E?P?E?D$?E?D$???????$?҅?t	?E????????$[]?U??S??4?E?E??E?E?E??D$?E??D$???????$?E?Ѕ?t	?E??????*?E??$?E?ЋE???u?E??$?E???E??E??E?E??4[]?U??S??4?D?E?D$?$??v??t?E??5
?E?E?}?u)?D$
?$?v?E?}?u?E??
?E??@?????D$??A?$?Ov?E??}?????4A?D$?E??$?Fv?‹E?P??DA?D$?E??$?)v?‹E?P?E?@??tp?E?@??tf?E?P?E?@?T$?$?????E?}??tE?}?u	?E??@?.??TA?D$?E??$??u?‹E?P?E?@??t?E??@?E?E???E?D$?$?u?E??E??4[]?U???8?$?hu?E??}?u?E?D$?$?Qu?E??????]?M??U??A?B?A?B?A?E?P?E???U?E??B?E?D$?$?
u?E?}?u	?E???E??????E?E??E???U???8?E?@?E?}????E?;E???E??E?P?E?D$?$?t?E?@?E?}?wA?
???M???U??E?????u?E???*??u??E?@????E?P?E?@?$?ҋE?$?>t?$?-t?E?}?O????E??U???(?E?E??E??E??$??s?E?}?t-?E??@?E??E??@
?E?@?E??E?D$?$??s?E?@??t?E??E?@?$????E??Ѓ}?t?$?s?E?}?t?E??D$?E?$?????E?}?t?E??U??P?E?D$?$?[s??U??S??D?
A?\????E܃}?u?E??????g
?E??@??u?E??@<
u?E?D$?E܉$?????E??7
?E??@<???E?@??tW?E܋@?E?E܉D$?$??r?E??}?t?E????????E?P?E??E?D$?T$?$?E??ЉE????E܋@?E?E܉D$?$?wr?E??}?t?E???????E??$?E??ЉE???E܋@?E?E܉D$?$?1r?E?}?t	?E??????S?$?r?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??$?J??E?E??E????r??D$?E?$?
?????$[]?U??WVS???}?O?y~3????U?
???????Z@?Y??Z??@??
9q????U?YG ?G [^_]ÐU??VS?>?u????y~'???@U?F0????Y????
9Q???@U?YF?}?DŽ?*O???T?^??EЃf???E??r?E????E܋??a?U??G?E?f???EȋU??;E?t5?U????*??D$?E??$?p?]??M??XM??Mȃ?
9u???*G?M??^??M??E???L[^_]?U??WVS???=?}?E?x????9?|*???:?D$?D$!???:?D$??p:?$??o??
???9?uƋU?B??
9?}+???X8?D$?D$????7?D$???7?$? l???
??
9?u??W?"?????D$?L$?E?$?*??????????\[^_]ÐU??WVS??|?*9?}?DŽ?G?E??u??x?F;Fu??
?D$?4$?k?F?@?????t??@?@?V?B
?F;Fu?B?D$?4$?lk?F?@?????t??@?@?F
?u?ƨ?F;Fu??
?D$?4$??j?V?????t??F
???\?G;Gu??
?D$?<$?j?Gt???G
?u?ƴ?F;Fu??
?D$?4$??j?V?????t??????F
?u??0?F;Fu??
?D$?4$?Nj?V??Ѕ?t
??@?F
?u??L?M?AL?P??T?M???y*???6?D$?D$E???6?D$??6?$?*j?E??E????E??E?D$?T$?U??$??i??p??
x?M?;q}?
????u*???6?D$?D$K???6?D$??6?$?i???E??}????M???G?M??
?G;Gu??
?D$?<$?i?W?????t?0?G
?U???M??4
????Eȋ
?Uĉ????E????U??U????EĉE????E??Eԋ??E??f.?v|??U???????E??E???E?f.?vV?uЉ΋?M??????Eȋ?
??
?M??
?MЉ?????u??!??
?D$?4$?lh?Ft???:?EĉE̋?MċUȉ?U???M̉4??u????F;Fu?붉uЋu??{????F
?E???|[^_]?U??WVS???5?E?U9???(??U??J??
?M??u?Ɯ?u????E̋U????u?;?*???M܃?T?U????U??E????E??U???M܋??????E????Y????ЋM?????x;?E?;p}3?
?1?UȉU؋?UȋMԉ
?M??
?U؉4??
?u??u??G
???u*??#3?D$?D$F??3?D$???2?$?:g?M??M??U??E?P?:?/
??x;q}?
????u*??#3?D$?D$K??3?D$???2?$??f?}??G??G;Gu??
?D$?<$??f?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?9??????uЋ?M??A???u?+9??????2?D$?D$???{2?D$???2?$?e???
??
9?u??U??B?MЋA??+M9?~V???2?D$?D$???{2?D$???2?$?De???
??
9?u??uЉF?U??B?M???????뛅????Č[^_]?U??WVS??\?P2?u?E??E؉????M?????????E?????Uċ?E???uu?U????u??<0*???$?D$?D$?
???#?D$???#?$?VX?1??
?UԋB;Bu??
?D$?$?dX?MԋQ?
????t?0?uԃF
?c?E?
t?U????M?????????t*????D$?D$1????D$??t?$??Q?4$?S?????t??????E?????U?9P?t????g???x
????Q?MċE?;H???/?U???M?
?E???
?Vx?Uȍ@?Vx?????}????U?9?L‰D$?<$??????D$
?E؉D$?<$?F????}?
u?E؋????????E?@Df.??+r
?Y@?Eȋ8?U????ȋU?f.?Z????U???????M??
?}Љ?????*8?D$
?E؉$??A????|[^_]ÐU??WVS?????E?$?N????U?:u
???M??\
?EЋ?`
?Eԋ?d
?E؋?h
?E܋?l
?E???p
?E???M??A???UJ?VUUU???????)??*??E???_2?EċU?B?M????z??
????E????
?M??U?
?U??M?
?4??????U;??|'??[
?D$?D$??M??L$????$?@?t$?E?$??????????????M???????th??
t???????
?A?????A????D$
?L$?U?$????????
?u??F;Fu??
?D$?4$?K@?V?????t?8?F
???}??D$?<$?@??
?G;Gu??
?D$?<$?
@?W?????t?0?G
?D$?M?$?[??????E?$??????tg?D$?D$?U?$??????M???
'??o
?D$?D$??E??D$????$?U??D$?U?$???????H??
?M;y?N????U???;??t*??7
?D$?D$????D$????$??>?M??x
~|???
?$??>??DB??X?$??>???
?$?>??DB??X?$?>??#?$?>??DB??X?$?>??s?$?>??DB??X?$?z>?E?;?_2?
???%?E??}????DB??X?E??U??x

?,u???M??D
??H
?,u????%?Y?|
?D$$RP?,$?d$?]??*G?M??^??L$?D$?G?D$?t$??<
?D$?U??BA?D$??4
?D$????$??=?M??$?=?EЉD$?t$?,E??D$?E?$??????E??E??Y??%?E??M??Y??%?M?9?_2?????E??x
~??s?$?-=??DB??X?$?&=?D$?U?$?????M?9?g2?????Ĝ[^_]?U??WV???}?}~??<$?&=??
;uu???^_]ÐU????E?
?U??
???;??-????]ÐU??V??$?E??E??E??E?D$?E?$?<????D$
?E?$?W<?4$??;???D$
?E?$?:<???????$^]?U??S???h	???,?$?{<??[]?U??WV?? ?E?E????????u???D$
?U????D$?E??$?)<??
9~~?u??ԉu?}????~-??????t?D$
?D$?U??$??;??
9w??D$
?E??
?$?i;?D$
?E??
?$?=;?D$
?E?
?$?9;?D$
?E?
?$?!;?D$
?E???$?	;?D$
?E???$??:?D$
?E???$?L;?D$
?E???$?9;?D$
?E???$?:?D$
?E???$?	;?D$
?E???$?y:?D$
?E???$??:?D$
?E???x?$?:?D$
?E???d?$?:?D$
?E???X?$?:?D$
?E???0?$?:?D$
?E?$?-:?D$
?<$?:?U??$?I:??
???D$
?E??
?$?9?D$
?E??
?$?9?D$
?E?
?$?9?D$
?E?
?$?t9?D$
?E???$?\9?D$
?E???$?D9?D$
?E???$?9?D$
?E???$?9?D$
?E???$??8?D$
?E???$?\9?D$
?E???$??8?D$
?E???$?'9?D$
?E???x?$??8?D$
?E???d?$?9?D$
?E???X?$??8?D$
?E???0?$??8?D$
?E?$?8?D$
?E????$?j8?4$??7?u????~?^????%????? ^_]ÐU??WV??0?u?U??U?T$?U?$????E܋U??D$?U?T$?U?$????E??u??E??E??E??}?~S??U?????~?|??	??
??ǃ?
?E?;E?u??
?D$?E?$?7?U??E????t?8?E?
??
;u?u??D$?E?D$?E?$?7?U??D$?U??T$?U?T$?U?$??????D$
?E?$??6?4$?6?E??0?D$
?E?$??6????0^_]?U??WV???$?
?@7?Ɖ$?7??lj4$?7?<$?A6???^_]?U??S??$???E?D$?E?D$?E?D$?E?D$??7??$??6??7??$?M6??6/usr/lib/libSystem.B.dylib__cxa_atexit__cxa_finalizeatexitsize == 0 || tmp != NULLGlobal.h%s:%u: failed assertion `%s'
j < ws.size()Solver.CdecisionLevel() == 0((uintp)c & 1) == 0SolverTypes.hnelems <= szsize >= 0Heap.hok(n)reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litexprSolver.hroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
?$?U??V???u?M?>u6?=???
9?u??F??t&???t?$??1??F?	?V????σ?^]?U??V???u?M?>u6?=???
9?u??F??t&???t?$?1??F?	?V????σ?^]?U??V???u?M?>u6?=???
9?u??F??t&???t?$?H1??F?	?V????σ?^]?U??WVS????????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$??0??t??u?
????t*???????D$?D$I???????D$???????$?
1???[^_]ÐU??WVS???H????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$?Y0??t??u?
????t*??????D$?D$I?? ????D$??,????$?l0???[^_]ÐU??WVS???????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$?/??t??u?
????t*??f????D$?D$I???????D$???????$??/???[^_]ÐU??WVS???????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$?/??t??u?
????t*???????D$?D$I???????D$???????$?0/???[^_]ÐU??WVS???n????}?U?G9?}y??u
??
?O‰G?
?D@
??9???G?w?v???D$??$?.??t??u?
????t*??*????D$?D$I??F????D$??R????$?.???[^_]?U??WVS????????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$??-??t??u?
????t*???????D$?D$I???????D$???????$??-???[^_]ÐU??WVS???4????}?U?G9?}s??u
??
?O‰G?
?D@
??9???G?w?t$??$?L-??t??u?
????t*???????D$?D$I??????D$??????$?_-???[^_]?U??WVS???????}?U?G9?}z??u
??
?O‰G?
?D@
??9???G?w???D$??$?,??t??u?
????t*??Z????D$?D$I??v????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$?e,?V9U~'????})׉?t???????
??9?u?E?F??^_]Ð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???F?F?D$?E?D$?<$?-&?D$
?4$?J&??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?$?%??F?	?V????σ?^]?U??V???u?M?>u6?=???
9?u??F??t&???t?$?$??F?	?V????σ?^]?U??V???u?M?>u6?=???
9?u??F??t&???t?$?T$??F?	?V????σ?^]?U??WV??0?}?E9G}F?D$?<$?$?G9E~,????M)??M??t?E??
??
??;u?u?M?O??0^_]?U??WV?? ?E?E??U?:ua?j???D$
???U?$??#??
???E9xۋU?B?}?t+???t?$?p#?E??@??U?z~?떃? ^_]?U??WVS??|?????}?
?G?E??G?@?@?W?U??G?B?B?G????G ?G(?O0?M??G0?A?A?G?	m

.1&
plA

?V
?jn

??
?j?

9?
?l?

`$?kQ
?(r?k?
???j?
?1??l
?)*lE
d`jU??o&
loV

?C?
Pm?

?D?
B?8?p??t??v????????????????????????L123456789:;<=>?@ABCDEFGHIJK??0MNOPQRSTUVW??XY??Z[??\]??^_??`abcdefghijklmnopqrstuvwxyz{|}~???????????0Vc

??r8

??-
??.
.
/?
?
?
?
?
?
?
?
L123456789:;<=>?@ABCDEFGHIJK0MNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~???????
-???
?
?
?
?
?
?
????????????FGHIJK??NOTU????????^_?????
p
t
v
?
?
?
?
?
/-??
?
?
-??
?
?
./__dyld_func_lookupdyld_stub_binding_helper__mh_dylib_header___cxa_atexit___i686.get_pc_thunk.bx_atexit___dso_handle__keymgr_get_and_lock_processwide_ptr__keymgr_get_and_lock_processwide_ptr_2__keymgr_set_and_unlock_processwide_ptr_calloc_dlopen_dlsym_free_malloc__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.eh__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.eh__Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E.eh__Z11removeWatchR3vecI7GClauseES0___Z11removeWatchR3vecI7GClauseES0_.eh__Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_.eh__ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.eh__ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.eh__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.eh__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.eh__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.eh__ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi.eh__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE4growEi.eh__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE5clearEb.eh__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.eh__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE4growEi.eh__ZN3vecIcE4growEi__ZN3vecIcE4growEi.eh__ZN3vecIdE4growEi__ZN3vecIdE4growEi.eh__ZN3vecIiE4growEi__ZN3vecIiE4growEi.eh__ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.eh__ZN6Solver10simplifyDBEv__ZN6Solver10simplifyDBEv.eh__ZN6Solver11cancelUntilEi__ZN6Solver11cancelUntilEi.eh__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver12analyzeFinalEP6Clauseb.eh__ZN6Solver16progressEstimateEv__ZN6Solver16progressEstimateEv.eh__ZN6Solver17analyze_removableE3Litj__ZN6Solver17analyze_removableE3Litj.eh__ZN6Solver18claRescaleActivityEv__ZN6Solver18claRescaleActivityEv.eh__ZN6Solver18varRescaleActivityEv__ZN6Solver18varRescaleActivityEv.eh__ZN6Solver5solveERK3vecI3LitE__ZN6Solver5solveERK3vecI3LitE.eh__ZN6Solver6assumeE3Lit__ZN6Solver6assumeE3Lit.eh__ZN6Solver6newVarEv__ZN6Solver6newVarEv.eh__ZN6Solver6removeEP6Clauseb__ZN6Solver6removeEP6Clauseb.eh__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver6searchEiiRK12SearchParams.eh__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi.eh__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver7enqueueE3Lit7GClause.eh__ZN6Solver8reduceDBEv__ZN6Solver8reduceDBEv.eh__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9newClauseERK3vecI3LitEb.eh__ZN6Solver9propagateEv__ZN6Solver9propagateEv.eh__ZNK6Solver8simplifyEP6Clause__ZNK6Solver8simplifyEP6Clause.eh___i686.get_pc_thunk.cx__Unwind_Resume___eprintf___gxx_personality_v0___sF_fflush_pow_printf_puts_realloc_Java_kodkod_engine_satlab_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addClause.eh_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_addVariables.eh_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_free.eh_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_make.eh_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_solve.eh_Java_kodkod_engine_satlab_MiniSat_valueOf_Java_kodkod_engine_satlab_MiniSat_valueOf.eh__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.eh__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.eh__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIS_I7GClauseEE5clearEb.eh__ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.eh__ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.eh__ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.eh__ZN6SolverC1Ev__ZN6SolverC1Ev.eh__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm_abort_fprintfdylib1.ocrt3.oSolver.okodkod_engine_satlab_MiniSat.o_eprintf.olink editordyld__mach_header_cxa_atexit_check_2_cxa_atexit_check_1_check_cxa_atexit_get_globals_add_routine_run_routines_cxa_atexit_wrapper_atexit_common__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0__lit_Error_lit_Undef_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0iiGCC_except_table0GCC_except_table1__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0_.ehEH_frame1__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_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_table4EH_frame1___tcf_0.eh__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make.eh?????
??
?__TEXT??	__text__TEXT@P\@?__picsymbolstub1__TEXT_??_?? __cstring__TEXTg?\g?__textcoal_nt__TEXTk??k??__literal8__TEXT?????__StaticInit__TEXT?(
X?(?__eh_frame__TEXT??	???h__constructor__TEXT??__destructor__TEXT??

__DATA??__data__DATA??
__dyld__DATA??__nl_symbol_ptr__DATA???__la_symbol_ptr__DATA? ?? 
D__mod_init_func__DATA??
	__gcc_except_tab__DATA?$
 ?$__bss__DATA?D0

8__LINKEDIT?0?*?

0H??j/var/tmp//ccKxOtdt.outXH?vk
/System/Library/Frameworks/JavaVM.framework/Versions/A/JavaVM4H?v/usr/lib/libstdc++.6.dylib4D?|&

/usr/lib/libgcc_s.1.dylib4H?vX

/usr/lib/libSystem.B.dylib????P66p???p????????B?|?B?}??|?}?cx=?
????}??|x=?
????N? }?cxK???|?B?}h?|?=k
?k??}i?N? |?????B????
?!??<8cW?8?8K????
8/?A?|	?<
|x?c?hN?!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<_8bV8|xHN?8P<_8bVL|xHN?8T<_8bVd|xHNm8X<_8bV||xHNY8\<_8bV?|xHNE?L/?A?4?P/?A?(?T/?A??X/?A??\/?@?8?hH
?L|x}??N?!|`x?D8?HH܀P?~H|x}??N?!|`x?@<_?~@8?V?HN-|`x/?@???T?~H|x}??N?!|`x?xB???8`HL)|`x?@?@/?@?08`8?
HL?|`x?@?@/?@?8?HH
??^@?T>/?@?
`<_8bT?8?HK?|`x?xB????~x??|8`HI|`x?+?@??8/?@?8?HH8???H?H?L?L|x?!?
|?????N? |?B?}??=?|?9?H?}??N? |?B?}??=?|?9?H}??N? |??????
?!??|>x?~x??|?^x??8?8/?A?؀8?^|?A?Ȁ^8??^x?8`??xHH?^8?B?^H?H+?A?p8
?^H|0?L?^Lp@/?@??^Lp@*/?@? Hx?~x?x?D8?<8?88`HFU|`x?@?@/?A?4?^@??8?^@8
??^@??<8`??@HFq?^D?/?A?(?^D?"?^D?|x},Kx}??N?!H?^D?|x}??N?!?@/?A?8`HE?|`x?@?@/?A??~@??x8`HD?|`x?/?
@?T?^xB????~????K??i|`x?P?P/?@?8???XH@?^P?|t/?@??^P?T>/?
@??~P???K??|`x?XH?^P?T>+?@?
$?^??/?A???^P??H8`??PHCu|`x?L<_?Bs?|x?T>+?@??L/?A?8???XH
??^??"?^???^H}#Kx|x???|Lx}??N?!|`x?XH
L?^P??D8`??PHB?|`x?L<_?Bs?|x?T>+?@??L/?A?8???XH?^???^D|x|Lx}??N?!|`x?XH̀^P??@8`??PHBe|`x?8<_?Bs?|x?T>+?@??8/?A?8???XHt8`HA?|`x?x?~x??|????x?88
?xB????~x?x?88?<8~8<_??pPK??%|`x|x?!?
|?????N? |?B?}??=?|?9???}??N? |?B?}?|?9c?/?@?H9@$8!??
|??
??ˡ??????????N? |??????
?!??B????8@/?A??H?B$<8cF4)K??Y?~hc
c?|c??xK??=?p
A?,T?~|x8@?=
D?]
H|cP|BI?]
D?}
HH,?T?~|x8@?=
=?=?:x:8?U|?.|p?7?<_?Bj?|^I?W?:?W?8|	./?A?|J/?A?8@8`|KI.9k|kI.9k???^8B
?^;?L;yT?YL??/?@?$<8c=??8?E?H65;?8?
8??x8?8H4??^?7???A??8@
?A?8@/?@?$<8c=??8?K?H5?W?:;??\?|?.????@???x8?
H6??T	:?^|	/?A??.?^8B
?^?\}Z.?~UH:|?@.|?;x}@qA??d?x?[?"T?8T:|BX.TB8}?L?|L???@??H??D?b?>T:|BH.TB8}?\?|\???@?l}KSx|
x?^Ui:UH:|@.|I.?^|I.?<TB:}bI.}@q@???H0??x8?
H2ف>?^|	/?A?H8|	?H:}_=?k
>?>??p?
A??W<C?x|?p8?
K??
/?@?x??/?@?????k
??|p??????@@????;?;???@@?xK???T?~/?@?
?<_?BTP9`H???;?;?H@??;??T?~/?A?8r*|8?*?8?
?Ȁ??A?D??/?A?8@???+?A?(???@??H?Wx.;^xk`
?^x??/?@?`;?Wv?TB:|H.p
@?$?@??\WI:|.|	.;Z
H(??xK??	/?A??܀\??x|?.8?K???;{
???@??@K???<8c&\
?	h
?[x??ITB<;?
????@???x8?
H?T	:?]|	/?A??.?]8B
?]?>?	h
?Z??ITB<;?
????@???x8?
H??T	:?]|	/?A??.?]8B
?]/?A?t?^??h?
T?<c?x??8?
K???/?@?$<8c#Ub:|H.?
9k
??A???/?A?
??\TB:|\8????G??TB:}B@.?/?A?8?
8@
HD9'9`8?
|P|	??ITB:|@.?@?|
x}f[x9k
9)B??|?3xTB:|8.?T?:|\?>?	??\TB:|\?ɻ ?h*?????<_??l??@?c?xK??I??k?
p
@?$<8c#?TB:8|I.ɾD<_?7??O??@??L?I??2?X$??
X?
\l??
d?a`ɡ`??P(??bzپp??X$lB??Al?ah?
h?P(??2?h?
p?At?I|Ю|t<_?BD??@?
?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<_?BD??A??H?U?:}?cxK???|?#xT?89?
8?9
?T?:?@?D?GU:T?:?]?b}*(.U)8|J.TB8}?\?|\???@?}CxH|ex?g|(.?]?"T8}?L?|L???@??pU?:|I.?G|I.?9TB:}?I.T?
|??x???K??<_?BD??TH(??x8?K???<_?BD??T8a<8?
H?~??x8!??
|??!??N? |?H
?A???!???|~x|?#xK??Y?8`/?A?h?
\?^
`?>
d?~
h?
H?AL?!P?aT?
l?^
p?
X?A\:??U?|B<UU`UV|?|B?p|Pl??
l<C0?
hɡh<_?1??(<_?">?????/?@?
?;`>?>?:?
?~??x?:Wb:?H.?p???A?8v?8?$8????@?
,<_??1`:?>>@C0???<_??
@?Vc?x??xH
?o@??
??A??
?<_ɢ1?h(?!$?!??A??a??^
|?B2?A???A???
x/?@? <8c?HI<?c?|C?x |`8!
?
|??A??H?|?????
?!??|?3x|?;y@?;???xH?;?
??@???8!P?
|?????N? |?B?}H?|?8????F
?T?:|g.x|_x??l??p??t??x?|?>??^??~h<_8bH?|lx<_8B4????~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|}xH5<_}]|~x9"??B??	?i|].<_??x?
?j;????xHy,@?|}???x??xH?H?8!??
????|?N? |?B?}h?=k|???0x}??N? |?B?}h?=k|???0\}??N? |?B?}h?=k|???0@}??N? |?B?}h?=k|???0$}??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|???/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|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+?}??N? |?B?}h?=k|???+p}??N? |?B?}h?=k|???+T}??N? |?B?}h?=k|???+8}??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|???*t}??N? |?B?}h?=k|???*X}??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? __dyld_call_module_initializers_for_dylib__dyld_image_count__dyld_get_image_name__dyld_get_image_header__dyld_NSLookupSymbolInImage__dyld_NSAddressOfSymbol/usr/lib/libSystem.B.dylib_atexit__cxa_atexit__cxa_finalizeatexit%s:%u: failed assertion `%s'
Global.hsize == 0 || tmp != NULLSolver.Cj < ws.size()decisionLevel() == 0SolverTypes.h((uintp)c & 1) == 0nelems <= szHeap.hok(n)size >= 0reason[var(p)] != GClause_NULLreason[var(analyze_stack.last())] != GClause_NULLconfl != GClause_NULLlevel[x] > 0c.size() > 2c[1] == false_litSolver.hexprroot_level == decisionLevel()okvar(p) < nVars()conflict.size() > 0==================================[MINISAT]===================================| Conflicts |     ORIGINAL     |              LEARNT              | Progress ||           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |==============================================================================| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
printf$LDBL128libSystem.|??????
?!??|~x?/?@?|J/?A??|I.8BB?䓾8!P?
|?????N? |??????
?!??|~x|?#x?? @?DK????@?0T:9`??|?P|	??>|J/?A?}bI.8BB?蓾8!P?
|?????N? |??????
?!??|~x|?#x?? @?DK??M??@?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?/?@?`Hl;??}|`8?
K??%;?
???A???8?/?A?4?}/?A?K??8??H?/?@???K???8!P?
|?????N? |??????
?!?`B???|~x8
?8C?AL8???8C?AH????<@??8`?^ ?~$?^(?~,:?0?0???^?????:^??????Đ?9 9@?>̑^?:~ԐԐ?:??????:????;^
?
??;~
?
??8^
?>
?^
 ?"?B?"?B?"?B?" ?B$?"(?B,?"0?B4?"8?B<9>
\<_?X?
\<_?`?	<_?h?	8@
?^
t?
x8@8`?^
|?~
?;
??
???;>
??
????
8?
?v??z??|???????3????????????????????6`:b@BJf?XRZV8\T?^?N??Fd0PLDH>?v??z??|???????3?????????????????R789:;<=>?@ABCDEFGHIJKLMNOPQ??6STUVWXYZ[\]??^_??`a??bc??de??fghijklmnopqrstuvwxyz{|}~??????????????3<C6Ve
L?x7

k?/v?1??3
??4
45??
?
?
?
?
?
?
?
R789:;<=>?@ABCDEFGHIJKLMNOPQ6STUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~?????????????
?
?
???
?
?
?
0?
?
12????????????LMNOPQ??TUZ[????????de?????
v
z
|
?
?
?
?
?
5?
??
?
?
03123?
?
?
?
?
45___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__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvPT_RiT0_.eh__Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0___Z10sortUniqueI3Lit16LessThan_defaultIS0_EEvR3vecIT_ET0_.eh__Z10sortUniqueI3LitEvR3vecIT_E__Z10sortUniqueI3LitEvR3vecIT_E.eh__Z11removeWatchR3vecI7GClauseES0___Z11removeWatchR3vecI7GClauseES0_.eh__Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z13selectionSortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0___Z13selectionSortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0___Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_.eh__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd__Z4sortI3Lit16LessThan_defaultIS0_EEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0___Z4sortIP6Clause11reduceDB_ltEvPT_iT0_.eh__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd__Z4sortIP6Clause11reduceDB_ltEvPT_iT0_Rd.eh__Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0___Z4sortIP6Clause11reduceDB_ltEvR3vecIT_ET0_.eh__ZN3vecI3LitE4growEi__ZN3vecI3LitE4growEi.eh__ZN3vecI3LitE5clearEb__ZN3vecI3LitE5clearEb.eh__ZN3vecI3LitE6growToEi__ZN3vecI3LitE6growToEi.eh__ZN3vecI5lboolE4growEi__ZN3vecI5lboolE4growEi.eh__ZN3vecI5lboolE5clearEb__ZN3vecI5lboolE5clearEb.eh__ZN3vecI5lboolE6growToEi__ZN3vecI5lboolE6growToEi.eh__ZN3vecI7GClauseE4growEi__ZN3vecI7GClauseE4growEi.eh__ZN3vecI7GClauseE5clearEb__ZN3vecI7GClauseE5clearEb.eh__ZN3vecIP6ClauseE4growEi__ZN3vecIP6ClauseE4growEi.eh__ZN3vecIS_I7GClauseEE4growEi__ZN3vecIS_I7GClauseEE4growEi.eh__ZN3vecIcE4growEi__ZN3vecIcE4growEi.eh__ZN3vecIdE4growEi__ZN3vecIdE4growEi.eh__ZN3vecIiE4growEi__ZN3vecIiE4growEi.eh__ZN3vecIiE6growToEiRKi__ZN3vecIiE6growToEiRKi.eh__ZN6Solver10simplifyDBEv__ZN6Solver10simplifyDBEv.eh__ZN6Solver11cancelUntilEi__ZN6Solver11cancelUntilEi.eh__ZN6Solver12analyzeFinalEP6Clauseb__ZN6Solver12analyzeFinalEP6Clauseb.eh__ZN6Solver16progressEstimateEv__ZN6Solver16progressEstimateEv.eh__ZN6Solver17analyze_removableE3Litj__ZN6Solver17analyze_removableE3Litj.eh__ZN6Solver18claRescaleActivityEv__ZN6Solver18claRescaleActivityEv.eh__ZN6Solver18varRescaleActivityEv__ZN6Solver18varRescaleActivityEv.eh__ZN6Solver5solveERK3vecI3LitE__ZN6Solver5solveERK3vecI3LitE.eh__ZN6Solver6assumeE3Lit__ZN6Solver6assumeE3Lit.eh__ZN6Solver6newVarEv__ZN6Solver6newVarEv.eh__ZN6Solver6removeEP6Clauseb__ZN6Solver6removeEP6Clauseb.eh__ZN6Solver6searchEiiRK12SearchParams__ZN6Solver6searchEiiRK12SearchParams.eh__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi__ZN6Solver7analyzeEP6ClauseR3vecI3LitERi.eh__ZN6Solver7enqueueE3Lit7GClause__ZN6Solver7enqueueE3Lit7GClause.eh__ZN6Solver8reduceDBEv__ZN6Solver8reduceDBEv.eh__ZN6Solver9newClauseERK3vecI3LitEb__ZN6Solver9newClauseERK3vecI3LitEb.eh__ZN6Solver9propagateEv__ZN6Solver9propagateEv.eh__ZNK6Solver8simplifyEP6Clause__ZNK6Solver8simplifyEP6Clause.eh__Unwind_Resume___eprintf___floatdidf___gxx_personality_v0___sF_fflush_pow_printf$LDBLStub_puts_reallocrestFPsaveFP_Java_kodkod_engine_satlab_MiniSat_addClause_Java_kodkod_engine_satlab_MiniSat_addClause.eh_Java_kodkod_engine_satlab_MiniSat_addVariables_Java_kodkod_engine_satlab_MiniSat_addVariables.eh_Java_kodkod_engine_satlab_MiniSat_free_Java_kodkod_engine_satlab_MiniSat_free.eh_Java_kodkod_engine_satlab_MiniSat_make_Java_kodkod_engine_satlab_MiniSat_make.eh_Java_kodkod_engine_satlab_MiniSat_solve_Java_kodkod_engine_satlab_MiniSat_solve.eh_Java_kodkod_engine_satlab_MiniSat_valueOf_Java_kodkod_engine_satlab_MiniSat_valueOf.eh__ZN3vecI3LitE6growToEiRKS0___ZN3vecI3LitE6growToEiRKS0_.eh__ZN3vecIP6ClauseE5clearEb__ZN3vecIP6ClauseE5clearEb.eh__ZN3vecIS_I7GClauseEE5clearEb__ZN3vecIS_I7GClauseEE5clearEb.eh__ZN3vecIcE5clearEb__ZN3vecIcE5clearEb.eh__ZN3vecIdE5clearEb__ZN3vecIdE5clearEb.eh__ZN3vecIiE5clearEb__ZN3vecIiE5clearEb.eh__ZN6SolverC1Ev__ZN6SolverC1Ev.eh__ZNSt8ios_base4InitC1Ev__ZNSt8ios_base4InitD1Ev__ZdlPv__Znwm___stub_getrealaddr_NSAddressOfSymbol_NSIsSymbolNameDefinedWithHint_NSLookupAndBindSymbolWithHint_strcpy_strlendylib1.ocrt3.oSolver.okodkod_engine_satlab_MiniSat.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__Z11removeWatchR3vecI7GClauseES0__lit_Error_lit_Undef_l_Undef_l_False_l_True__Z41__static_initialization_and_destruction_0iiGCC_except_table0GCC_except_table1__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I__Z11removeWatchR3vecI7GClauseES0_.ehEH_frame1__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_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_table4EH_frame1___tcf_0.eh__Z41__static_initialization_and_destruction_0ii.eh__GLOBAL__I_Java_kodkod_engine_satlab_MiniSat_make.eh_funcptr