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

×

Project download

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

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

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

ELF

>
?M@0?
@8@
Us
Us
 
?}
?}!?}!?? ?}
?}!?}!?
?
?
?
?
$$P?td?U
?U
?U
||Q?tdR?td?}
?}!?}!pp
GNU?Q7%?"??U\???
凰?????T6hn?O?P ??J	\(]??$uW?9'?!:Y+#??%54k)1*???Hw??_?7?SQ?r?UAIj=?-x?cq????;p.3??yf?z@0C?}v8Mb^d?????seaL??[?,?XR????????g?B~
?2t?m/<VZ?N|`>i?o&GKE???
?D{?lF"??/
`a ?
(
???@L@I?$	$?DH???*"?( Ă??
	Q ?BC ???@?R4"$R??0	?$@??0??@?$(?Qf?
bP	???JA??/01278:;<=>?@BCDGHIJMNPQRTVXY\]^_abeghiklmoprstuvz{|}~???????????????????????????????????A??r?>??=?(?? -??ŰA??R?2??oۇS?Fo??鿣S?I???????	?Q?
??`?k?????Ş?6ݺ?zK
?cw	???g?&j߱/??nVnP???#?J3
`y??-?I??M!?tč?~??oI???????0??JPD&???M@?????2?:?#??Hߧ?^??6ʰA?????- VR?Ah?)??B???5????1.?l4?gr[	?J!1_(;?jX??p???~??OT????9???qX???{????B?(u?????&5?]????i???n?CSk{???ڨ?fH?O\V?H??YU????n?B?V?A??>}[???|6???a????"? 
U_	Po5h"@xr?
 ????_?Z@??
????pby
8??v??S?L"t-!?o?`N??

?T????I
????\???g?4PW_????!?"?|?
??J??j?DP
??0Q=f 
C?
0?I???C??|?	P?b????Q?; _j5
"?!
D??%"`)
?
+
O}
u" +
? `?" 9
6
?
??v???8?!
?PS??
n?N?"-
1
Y"0 
)
?B
&0S?A
_
??e?
?"? 
?
?P
]
p?%???9"2
?
PR?????!l
??????
?"?7
?
?	@?	U??
z
0]?
)??Jrp?j("@.
?
+
???@Z??"` 
U??w:"?s2?"?&
v

p???c?
?"@+
?
P??#?"@!
H?
"?!
??
?8??Y??\}*?
?z??Mu`?u
D"p{,
+0?!?"?$
?"01
?p ??__gmon_start___init_fini__cxa_finalize_Jv_RegisterClassesJava_kodkod_engine_satlab_ZChaffMincost_costOfJava_kodkod_engine_satlab_ZChaffMincost_valueOf_ZNSt8ios_base4InitC1Ev_ZNSt8ios_base4InitD1Ev__cxa_atexitJava_kodkod_engine_satlab_ZChaffMincost_solve_ZN7MSolver5solveEv__assert_failJava_kodkod_engine_satlab_ZChaffMincost_addClause_ZN7MSolver15add_orig_clauseEPiiiJava_kodkod_engine_satlab_ZChaffMincost_addVariables_ZN7MSolver12add_variableEv_ZN7MSolver19set_variable_numberEiJava_kodkod_engine_satlab_ZChaffMincost_setCost_ZN7MSolver17set_variable_costEiiJava_kodkod_engine_satlab_ZChaffMincost_free_ZN7MSolverD1Ev_ZdlPv_Unwind_ResumeJava_kodkod_engine_satlab_ZChaffMincost_make_Znwm_ZN7MSolverC1Ev__gxx_personality_v0_ZN9MVariable10self_checkEv_ZN7MClause10self_checkEv_ZN15MLitPoolElement4dumpERSo_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l_ZNSo9_M_insertImEERSoT__ZN7MClause4dumpERSo_ZNSo3putEc_ZNSo5flushEv_ZNKSt5ctypeIcE13_M_widen_initEv_ZSt16__throw_bad_castv_ZN9MVariable4dumpERSo_ZNSolsEi_ZN9MDatabase18estimate_mem_usageEv_ZN9MDatabase9mem_usageEv_ZN9MDatabase19mark_clause_deletedER7MClause_ZN9MDatabase14is_conflictingEi_ZN9MDatabase12is_satisfiedEi_ZN9MDatabase7is_unitEi_ZN9MDatabase17find_unit_literalEi_ZN9MDatabase16is_gid_allocatedEi_ZN9MVariableD1Ev_ZNSt6vectorI7MClauseSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEmRKS0__ZSt20__throw_length_errorPKc_ZN9MDatabase19get_free_clause_idxEv_ZN9MDatabase8free_gidEi_Z5fatalPcS_iS_z_ZN9MDatabase18merge_clause_groupEii_ZN9MDatabase9alloc_gidEv_Z7warningPcS_iS_z_ZNSt6vectorI9MVariableSaIS0_EED1Ev_ZN9MDatabaseD1Ev_ZN9MDatabaseD2Ev_ZSt22__uninitialized_move_aIP9MVariableS1_SaIS0_EET0_T_S4_S3_RT1_memmove_ZSt17__throw_bad_allocv__cxa_begin_catch__cxa_rethrow__cxa_end_catch_ZNSt6vectorIP15MLitPoolElementSaIS1_EEaSERKS3__ZN9MDatabase14detail_dump_clEiRSo_ZN9MDatabase4dumpERSo_ZSt4cout_ZN9MDatabase21output_lit_pool_statsEv_ZNSo9_M_insertIdEERSoT__ZNSt6vectorIP15MLitPoolElementSaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1__ZNSt6vectorIP15MLitPoolElementSaIS1_EE9push_backERKS1__ZN9MDatabase16compact_lit_poolEv_ZN9MDatabase16enlarge_lit_poolEvrealloc_ZN9MDatabase10add_clauseEPiii_ZNSt6vectorI9MVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEmRKS0__ZN9MDatabaseC2Evmalloc_ZN9MDatabaseC1Ev_Z12cmp_var_statRKSt4pairIP9MVariableiES4__ZN7MSolver15init_parametersEv_ZN7MSolver14set_time_limitEf_ZN7MSolver12cpu_run_timeEv_ZN7MSolver13set_mem_limitEi_ZN7MSolver14set_randomnessEi_ZN7MSolver19enable_cls_deletionEb_ZN7MSolver19current_lower_boundEv_ZN7MSolver15unset_var_valueEi_ZN7MSolver20decay_variable_scoreEv_ZN7MSolver21mark_var_unbranchableEi_ZN7MSolver19mark_var_branchableEi_ZNKSt5dequeIiSaIiEE4sizeEv_ZN7MSolver10back_trackEi_ZN7MSolver16find_another_satEv_ZN7MSolver16verify_integrityEv_ZN7MSolver19add_conflict_clauseEPiii_ZN7MSolver19add_clause_with_gidEPiii_ZN7MSolver10total_costEv__printf_chk_ZNSt11__copy_moveILb0ELb1ESt26random_access_iterator_tagE8__copy_mIiEEPT_PKS3_S6_S4__ZN9__gnu_cxx13new_allocatorIiE8allocateEmPKv_ZNSt11_Deque_baseI12MImplicationSaIS0_EED2Ev_ZNSt6vectorIiSaIiEED1Ev_ZNSt11_Deque_baseIiSaIiEED2Ev_ZSt22__copy_move_backward_aILb0EPSt4pairIP9MVariableiES4_ET1_T0_S6_S5__ZSt13__copy_move_aILb0EPSt4pairIP9MVariableiES4_ET1_T0_S6_S5__ZN7MSolver21adjust_variable_orderEPii_ZNSt6vectorISt4pairIiS0_IPFvPvEiEESaIS5_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS5_S7_EERKS5__ZN7MSolver8add_hookEPFvPvEi_ZN7MSolver9mem_usageEv_ZN7MSolver8time_outEv_Z12get_cpu_timev_ZN7MSolver16elapsed_cpu_timeEv_ZN7MSolver13re_init_statsEv_ZN7MSolver10init_statsEv_ZN7MSolver15set_random_seedEisrand_ZSt8__rotateIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9MVariableiESt6vectorIS5_SaIS5_EEEEEvT_SB_SB_St26random_access_iterator_tag_ZN7MSolver5resetEv_ZN7MSolver19delete_clause_groupEi_ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi_ZNSt11_Deque_baseI12MImplicationSaIS0_EE17_M_initialize_mapEm_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE_ZNSt3setIiSt4lessIiESaIiEED1Ev_ZNSt8_Rb_treeIdSt4pairIKdiESt10_Select1stIS2_ESt4lessIdESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEm_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZNSt8multimapIiiSt4lessIiESaISt4pairIKiiEEED1Ev_ZN7MSolver8find_MISEv_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS__ZSt18_Rb_tree_incrementPSt18_Rb_tree_node_base_ZSt18_Rb_tree_decrementPSt18_Rb_tree_node_base_ZN7MSolver9mark_varsEii_ZN7MSolver6MIS_LBEb_ZN7MSolverD2Ev_ZN7MSolver17queue_implicationEii_ZN7MSolver18decide_next_branchEv_ZNSt6vectorIP15MLitPoolElementSaIS1_EE7reserveEm_ZN7MSolverC2Ev_ZSt17__rotate_adaptiveIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9MVariableiESt6vectorIS5_SaIS5_EEEES6_lET_SB_SB_SB_T1_SC_T0_SC__ZN7MSolver16update_var_scoreEv_ZSt7nothrow_ZnwmRKSt9nothrow_t_ZdlPvRKSt9nothrow_t_ZN7MSolver25delete_unrelevant_clausesEv_ZNSt6vectorISt4pairIP9MVariableiESaIS3_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS3_S5_EEmRKS3__ZN7MSolver10init_solveEv_ZNSt6vectorIPS_IiSaIiEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2__ZNSt6vectorIiSaIiEEaSERKS1__ZN7MSolver17set_var_value_BCPEii_ZN7MSolver13set_var_valueEiiii_ZN7MSolver6deduceEv_ZN7MSolver22finish_add_conf_clauseEi_ZSt28_Rb_tree_rebalance_for_erasePSt18_Rb_tree_node_baseRS__ZN7MSolver26conflict_analysis_firstUIPEv_ZN7MSolver17analyze_conflictsEv_ZN7MSolver9print_clsERSo_ZN7MSolver21dump_assignment_stackERSo_ZN7MSolver22dump_implication_queueERSo_ZNSt6vectorIiSaIiEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPiS1_EEmRKi_ZN7MSolver14clean_up_dbaseEv_ZN7MSolver7restartEv_ZN7MSolver10preprocessEv_ZN7MSolver15add_clause_incrEPiii_ZN7MSolver24block_current_assignmentEib_ZSt18_Rb_tree_incrementPKSt18_Rb_tree_node_base_ZN7MSolver22run_periodic_functionsEv_ZN7MSolver10real_solveEvstderr__fprintf_chk__vfprintf_chkfflush_global_debug_leveli_global_check_levellibjvm.solibstdc++.so.6libm.so.6libgcc_s.so.1libc.so.6_edata__bss_start_endGCC_3.0GLIBC_2.2.5GLIBC_2.3.4GLIBCXX_3.4.9CXXABI_1.3GLIBCXX_3.4.11GLIBCXX_3.4











































































































































w P&y?
?0ui	?ti	?
^?)?ӯk?a???t)???}!?N?}!pQ?}!?[?}!???!?!?!?!?!?!?!?!?!?!%?!,?!
)?!?!v?!??!? ?!(?!B0?!K8?!@?!?H?!GP?!DX?!`?!?h?!2p?!^x?!M??!c??!8??!???!??!	??!
??!??!??!pȀ!?Ѐ!
؀!??!m?!N??!???!?!i?!V?!d?! ?!s(?!0?!8?!]@?!7H?!lP?!?X?!?`?!Wh?!?p?!<x?!??!F??!C??!O??!o??!\??!??!???!???!ȁ!?Ё!?؁!a??!?!I??!Y??!Z?!??!??!??!? ?!?(?!_0?!?8?!?@?!?H?!tP?!X?!`?!{h?!?p?!?x?!??!??!`??!???!??!L??!3??!???!??!?Ȃ!xЂ!Q؂!???!?!H??!???!/?!R?!??!q?!u ?! (?!?0?!@8?!!@?!"H?!#P?!fX?!$`?!0h?!hp?!9x?!&??!???!???!'??!=??!(??!*??!+??!X??!?ȃ!-Ѓ!?؃!5??!.?!z??!???!6H???????H????5j:!?%l:!@?%j:!h??????%b:!h
??????%Z:!h??????%R:!h?????%J:!h?????%B:!h?????%::!h?????%2:!h?p????%*:!h?`????%":!h	?P????%:!h
?@????%:!h?0????%
:!h? ????%:!h
?????%?9!h?????%?9!h??????%?9!h??????%?9!h??????%?9!h??????%?9!h?????%?9!h?????%?9!h?????%?9!h?????%?9!h?p????%?9!h?`????%?9!h?P????%?9!h?@????%?9!h?0????%?9!h? ????%?9!h?????%z9!h?????%r9!h??????%j9!h ??????%b9!h!??????%Z9!h"??????%R9!h#?????%J9!h$?????%B9!h%?????%:9!h&?????%29!h'?p????%*9!h(?`????%"9!h)?P????%9!h*?@????%9!h+?0????%
9!h,? ????%9!h-?????%?8!h.?????%?8!h/??????%?8!h0??????%?8!h1??????%?8!h2??????%?8!h3?????%?8!h4?????%?8!h5?????%?8!h6?????%?8!h7?p????%?8!h8?`????%?8!h9?P????%?8!h:?@????%?8!h;?0????%?8!h<? ????%?8!h=?????%z8!h>?????%r8!h???????%j8!h@??????%b8!hA??????%Z8!hB??????%R8!hC?????%J8!hD?????%B8!hE?????%:8!hF?????%28!hG?p????%*8!hH?`????%"8!hI?P????%8!hJ?@????%8!hK?0????%
8!hL? ????%8!hM?????%?7!hN?????%?7!hO??????%?7!hP??????%?7!hQ??????%?7!hR??????%?7!hS?????%?7!hT?????%?7!hU?????%?7!hV?????%?7!hW?p????%?7!hX?`????%?7!hY?P????%?7!hZ?@????%?7!h[?0????%?7!h\? ????%?7!h]?????%z7!h^?????%r7!h_??????%j7!h`??????%b7!ha??????%Z7!hb??????%R7!hc?????%J7!hd?????%B7!he?????%:7!hf?????%27!hg?p????%*7!hh?`????%"7!hi?P????%7!hj?@????%7!hk?0????%
7!hl? ????%7!hm?????%?6!hn?????%?6!ho??????%?6!hp??????%?6!hq??????%?6!hr??????%?6!hs?????%?6!ht?????%?6!hu?????%?6!hv?????%?6!hw?p????%?6!hx?`????%?6!hy?P????%?6!hz?@????%?6!h{?0????%?6!h|? ????%?6!h}?????%z6!h~?????%r6!h?????H??H?
2!H??t??H??Ð????????U?=X6!H??ATSubH?=?1!tH?=/6!?:???H??/!L?%?/!H?-6!L)?H??H??
H9?s DH??
H?
6!A??H?6!H9?r???5!
[A\??f?UH?=?/!H??tH?k1!H??tH?=/!???@?Ð?????Hc?H?BPH?IH???D??fff.?Hc?H?BPH?IH???Ѓ???
???H?=y5!H??????H?1!H?=?0!H?5[5!H???"???f?H??H???????P???
w????H???H?
J?H?5??H?=??J?????f?AVH??I??AUI??ATUH??SH???X??H?E1?L??H???????I???
I??A??I??A??A??A9?DG?E???
H??1?D?1??<6??
҃?
??I׃?
?H??D9?r?D9???A??E)?D????D??E??thE??f??K?4?fo-??1?1?fDfo??
fo?fo?fo?f??fr?
f??ff?fr?
f??f??f??fH??9?r?D
?E9?t-Hc?I??fD?1??<6??
҃?
??I׃?
?H??9????L??L??1???????H?EL??L??H??1?????[]A\??A]??A^?1?????ATA??USH?BXH??H+BPH??N??N??NH??H?ƒ?
t1??~?H?߃?
?e???A9??[]A\?H?߉?[]A\?]???ffff.?H?׉?D???S???H??SH??tH??????H??[????fD[?fffff.?S??H??????H??H???????H??H??[?H??H?D$?`???H?D$H?????????H?=?2!H???????H?I.!H?=*.!H?5?2!H???R???f?H??1?L?G(H?O0L)?H??H??t?H?5??H?=???=????H?
?H?5??H?=z??:?????H?
?H?5??H?="??B?????H?
??H?5??H?=???A??????H?\$?H?l$?H??L?d$?H??D?'H?3?H?5)?H???H??A??HE??????D??H?????S????EuH?$H?l$L?d$H???f.?H?5
H??H?l$H?$L?d$?
H???j???f.?AVAUATUH??S?GH???????D?uE??~%E1?E1?L??H}H??A??
I???I???E9??H?H?@?H???H??ta?}8t"?ECH?????????[]A\A]A^H???k???H??????H?E?
H???P0???H?5??H???????]????j???f.?AWAVAUATI??UH??SH??????jH?5?????L??D?mD?uD?}?M?????L???????H?5??H?úH???,???H??D???????H?5??H?úH???
???H??D??????H?5w?H?úH???????D??H???}???H??H?H?@?L???M????
A?}8?}
A?EC??H??L?=3?L?5&?E1?????H??????E??L???ID?L???w???H?5??
L???c???H?U(H?E0H)?H??H??tZ1?1?H?ʋ??~fDH????????L???
??????H?5"??H??????H?U(H?E0??H)?H??H9?r?H?5??
L???????I?$H?@?I???H?????{8tm?CC??L??A??
????H??H???3???A??????I?$H?@?I???H?????{8t\?CCL?????[???H??H??[]A\A]A^A_?????H???
???H??
H???P0?|???L???????I?E?
L???P0?l???H???????H??
H???P0?H?5???
L????????]?y???????????L?OhH?OxH?w@H?GHD???L)?H??H)?H+w8??H?O`H+OP??H??H??H??
???H?WpA?L)?H??D)??????ÐAV1?1?AUATUSL?GPL?OXL?W@L?_8H?_HL?w`L?oxM)?L?gh???I??1?Ei??N??E??tEf?Hcƃ?
H?@H??I??H?QPH?A8H+Q@H+A(H??H??A9??<8wˍ?M)?M)?L)?I??I??M)?A??H??I??G?t?D
?A?,??\??[]A\A]A^???G
?FH
G ?F?u?G
?FD?N??????FE??tML?L?WP1?f.?HcЃ?
I???????Hc???L?R??
H??J??I?҃l?
D9??
rƃ??
?fffff.?Hc?H??HGhD?@H?0E??~b?L?OP????????
Hc?H?RH??1?A?у?9?t0?=D?FH??????????
Hc?H??????u?K??
??	E4??H??[]?@H?
??H?5??1???????u1???????H??[]?fDAUI??ATUSH??H?8?????I?}hH??t????M?eXI?]PI9?t6?H???t H?{@H?k@H??t?????H?}?H??t?????H??hI9?u?I?}PH??tH??[]A\A]????H??[]A\A]?fDAUI??ATUSH??H?8?J???I?}hH??t?|???M?eXI?]PI9?t6?H???t H?{@H?k@H??t?P???H?}?H??t?B???H??hI9?u?I?}PH??tH??[]A\A]?!???H??[]A\A]?fDAWI??AVAUA??H?5n?ATUH?պH??SH??(?U???D??H??Mc??????I??MohA?E?????N
A?E????H?D$1?H?D$fDHc?A?0H??I}?????????
H?H?@H??H??IGP???9?t1?A?X??
?1DD?H??D?p??
?????H?5@??
H??????H?t$?
H??D?d$????H?5???
I??H???q???D??L??????H?5h??H???R???A9]?8???H?EH?@?H???H??tl?{8t-?CCH????????H??????H??([]A\A]A^A_??H??????H??
H???P0??H?5/??H???????????????f?AW?AVI??H?5??AUATUSH??L??H??????I?H?@?I???H???4
?}8?
?EC??L???W???H???????H?CpH+ChH??H??t1L?%?!1?DL???H??????H?CpH+Ch??
??H??H9?r?L?cPH?CXI??N??N??NL)?H??I??H??
v}A?
?
?H?5???L???????L??L???i???H?5???H??I??????Hc?L???
H?@A??H??I?????"???H???????f?苽??膽??聽??M??I??t6?
H+D$Hk?L?d(M9?tI??I?<$H??t??Ϸ????D?C???L???{???H9???
H??H??h?ֻ????H??L???ɻ??H???????Hk|$Xh?&???M??I??tj?
H+D$Hk?H?\(I9?tRH??H?;H??t??U?????H?=a?????M??I??tL?
H+D$ Hk?H?\(I9?t4H??H?;H??t???????L???˼??H?\$PH9?t.H??H??h?%?????L??諼??H?\$hH9?tH??H??h???????>???fD?3???H??????H???s???H?|$`H?\$Pt7H9\$`tH??H??h?ú??????H?|$P?t
H?|$P?t????߶??H?\$@H\$8H?l$hHk?hH\$PH9?t?H??H??h?v?????H??蜻??H???d???读??M??I??tl?
H+D$Hk?H?\(I9?tTH??H?;H??t????????H?Ÿ
H+D$L?|$pHk?I?\(I??(L9?t=H??H?;H??t??ǵ????D?+???L???s???H?\$`H9?t(H??H??h?͹????H???û??H??L?|$p?????????????@???????LJ?LJ???GLJ?_LJ?LJ? LJ?XLJ?????LJ?
LJ?LJ?LJ?LJ?(LJ?Ƈ?
LJ?dLJ?LJ?LJ?,
LJ? LJ?XƇ?
LJ??LJ??LJ??Ð@???ÐfD??
?\?
f?fZ?ÐfD?w0?fff.????Ð?@?????1?Ðfff.???t[Hc?H?vH??H??HGP??у???
tD????@?????@???????@
?@?????t??,

?@`;??}???????P)?
??f.?L?GPL?OXM)?I??Ei??N??A??
vC?
?Hcƒ?
H?@H??I???HX????????HX?H\???????A9щH\w?L???H???L)?H????t>??
1?A?????H??
H??DI?H?
?pX9p\Mp\?@??AD?H??H9??qu????Hc?H?vH??H??HGP?P??
t????P???<t??f???,

??Hc?H?vH??H??HGP?P??
u??
?P?????t?Ð??,

?@`;??}뉇???H?=?? H??谲??H?9? H?=? H?5?? H???B???f?AWAVAUI??ATUSH??D??x
?t$A9???Ic?H??H?$I???
H?$L?$I?$M?t$I)?I??A??
x,Ic?1?H???I?$?4(L???
H?????8???A9?y?I?$A??
H?,$D9|$I?D$~??T$1???
I?A??\

A??x
H??[]A\A]A^A_?H?
9?H?5??H?=?????Q????H?
I?H?5??H?=??H?????-????fff.?H????~0H?OPH?GXH)?H??i??N?ă?
9?Hc?H?vH???T?H???H?
A?H?52?H?=[????ɰ????AWH??N??N??NAVAUATUSH??L?OPH?wXL)?H??H??H??
va?
?
DHc?H?RH??I???????t.LcAH???
??N??HcYI?A??A)?D?B9?????
??H9?r?L?_hL?WpM)?I??M????E1?Ic?H??I??P???????$?D$?P???$
H?01?1?@Hcȋ???tHc?????
????
9?r???????L?$D?d$?ȃ?
??H?H?@H??I??D??A??
??H?H?<@H??I?,????9????M1???A9?t1???
9?w?A??
D??L9??)???H??[]A\A]A^A_?f.?Hcȋ???u4????????
Hc?H?,H???
A??A9???A?~;{???}??A9?u?E??u?????????
Hc?L?,J????A?T$????t?H?
s?H?5T?H?=E??!
?????f.?AWAVAUATUSH??H?ohL?OpH?T$PH??$?H?|$ HDŽ$?DŽ$?I??H?D$8H??I??L9?HDŽ$?H??$?H??$?H?D$x?D$XH?D$`H?T$@L?l$hL?l$p??E?
D?EE???
A?@?H?]L?T$ 1?H??1????u??I?rPHc?L?RJ???T???~
?H??H9?uӅ????*?E???
??D?eH?\$`A??H???Y??I*??^??L$u?f?H?CH??tH???C f.D$w?H?CH??u?L9?A?
t?C f.D$A?ƿ0?z???H???t?D$D?`(?@ A??L??H??H??????H?D$ H?D$x
L?HpH?? L9??????H?D$@H?T$hH??H?T$H9???H?T$ L?l$8H?D$0H?D$H??(I??H?T$HD?H(H?T$ Mc?I??LrhA?F???D$??M?H??$?1?1?A?A?0L????H??t1L??H???f?H?PH??tH??H??;X ~?H?PH??H??u?L9?tk;X |fH?|$茤??H?T$0H?D$H9??b???H?D$ H?t$`H?|$@ǀ?蛣??H??$?H?|$8?????H?ĸ[]A\A]A^A_????
H??A9??@???H?T$ H??0H;?8?
1?H??tD?H?T$ H??0A?V?T$H?T$ H??H??0D?T$E???5???E1??D$I?H??$?B?,8??H??u?R?H?CI?ܺ
H??tH??;k |?H?C1?I??H??u??H??u*;h H?D$HH????
9l$H?D$HE???i???A???????
H?T$@H?D$H1??D$H)?H??H???z?,?I??P??
H??u"?f?H?CI?ܺ
H??tH??;k |?H?C1?I??H??u??H????
;h ?	?D$
H?T$@H?D$H?L$H)?H??H9?r?D
|$0?|$7H???H
H?D$?T$0H?5??
H?D$1??"???E?eE????1?1??M?I??p????D??E??u!?T
H?D$H?5ם?
H?D$1??Җ????
H??A9???I?EI?NP?
???????H?H?4@H??H?5z???H?D$H?D$1???聖??I?E???j???I??p????????H???C???L?|$H??L9?IO?H??H?H9?t_H;T$0??
H??H?|$0?)?H?H??YH???XH??H9?t*H9??f
?Y;^}?H?H??^H???XH??H9?u?H?\$0H)?H??H??~%1?f?H?<H?4H??
H??H??H?/H?.??~?L?|$M
?L;|$@??
L?L$H?l$ L?\$(LD$ H?t$I??L??L
?H??I)?H?D$H?D$ f?J?M??L9??
H??L??H)?H??H??~2H??1?L?,L?$H??
H??H??M?uM?4$E?mE?l$?H??H
?H??I??H??L)?H??H??~2H??1?M?$H?<H??
H??H??M?,$L?/E?d$D?g?H??H?4L??L
?M
?H??L\$I9???H???B???f?H??H)?H?L$0H??H??H???????H??1?H?,H?H??
H??H??L?ML??m?k?H??H?L$0H
??h???I9??????H??M??A?Z;X|-I?H?A?ZI???ZH??L9??????L9?u??????DH?H??XH???Z??L?t$ H?D$@H?t$L??@H;D$HOD$H??H?
H9D$(uH???9H9?t?H?|$(H?‹Z;Y??H?H??ZH???^H??H9???I??L)?I??I??M??~2L??1?@H?,H?H??
H??H??L?EL??m?h?I??L
?H?L$(H)?H??H??~'1?@H?<H?H??
H??H??H?/H?+??{?L9|$8?4???H??h[]A\A]A^A_?H9??8????\????H?H??YH???^?3????f.?AVAUATUSH??H??H?l$P贌??Hǃ?
Hǃ?
1?Hǃ?
Hǃ?
H??Hǃ?
Hǃ?
H?D$PH?D$XH?D$`H?D$hH?D$pH?D$xHDŽ$?HDŽ$?HDŽ$?HDŽ$?????H?T$pH??$?L???
H+T$`H+?$?Hǃ?
Hǃ?
L??Hǃ?
Hǃ?
Hǃ?
Hǃ?
H??H??Hǃ?
H
?H??$?H+D$xHǃ?
Hǃ?
Hǃ?
H??H??H?t??V???H?|$pH?D$`H??$?H+?$?L??$?H?l$xH??H???
L???
H)?L???
H??H??H
?L??H)?H??H??H?L1?H??~YI???@H??L9?t/H??
tA?0H??H9??2u?I??H??I?L9?H??u?DI??H??
I?L??u?@H?|$PH??t*I??L9?sDH?}H???C???I9?w?H?|$P?4???1?H??H?$H?D$H?D$H?D$H?D$ H?D$(H?D$0H?D$8H?D$@H?D$H?
???H?T$ H?D$0L??H+T$H+D$8HǃHǃL??Hǃ Hǃ(Hǃ0Hǃ8H??H??Hǃ@H
?H?D$HH+D$(HǃHHǃPHǃXH??H??H?t??N???H?|$ H?D$H?L$0H+L$8L?t$HH?l$(H??H?? L??0H)?L??8H??H??H
?L??H)?H??H??H?L1?H??~ZI???DH??L9?t/H??
tAH?0H??H9?H?2u?I??H??I?L9?H??u?I??H??
I?L??u?@H?<$H??t*I??L9?sfDH?}H???C???I9?w?H?<$?5???H??H??Hǃ`HǃhHǃpH??H??H??HHǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ?Hǃ ǃHǃHǃ(Hǃ0Hǃ8HǃhǃHHǃPH??XH??`HǃpHǃxHǃ?Hǃ?Hǃ?Hǃ?軉??H??装??ǃx
ƃ?Hǃǃ?ǃ?HǃxHǃ?ǃ
???H?Ġ[]A\A]A^?I??H???
贄??H???
H??t?3???H??????L???S???H???I??脄??H??p?x???H??@?????H??(?`???H???????H????H???H????????9???H??I??辄????I????H??I?Ɛ????????fDH?\$?H?l$?H??L?d$?L?l$?L?t$?H??(H?WHH?w(H?GH??H)?H??L?e
H??H?L-H9?v8H)?H??H?,?H/H9???H??H??H)?H????k????tf?H????L?lH????????I9???J?HSP?????D?R?jXD?J\E??t	A9??AM???
H???~A9?w?L???M??M)?I??M??~hH?-L? ?f.?I??t[L??H??H???,r??H??t?L??I????H??H??tI?UH?A?U?PI??
u?L??L??L???
????H?-? @L??L??E1??R???H??L???gt??L???H???L)?H????t!1?1?f.?I?LH???A`??
9?w?ǃ?H??[]A\A]A^A_?L????????H??L??H????s??H???bv??f?AWAVAUATUSH??H???GH?wpL?gh?D$?GH??+GL)?+??H????,??O??aH?? E1????I9??0
???E1??????D$??I?? I9??
A?D$????
u?A?L$???M?$L?CP1?E1??f?A??
H??D9???
A?9????????
Hc?L?RJ??I??D?A??D1؃?
u?D?zE??u????p???1?E1?E1??&fD??????A
?C???
D??
9??@???Hc?A??????Hc???L?R??
J??A?Ѓ?1Ѓ?
u?A??
C???
~?L??H??I?? ?s??H?CpA??
H?p?I9??????H?5Ls1?D???
??n???D$;C??L?CPL9CXL????D1?H?t=0H?D=(H9?H??u?9f?H??H??H9?t+H?D?)E???H?R?H?H?V?H??H??H9?H??H?T=0u?H??H??0u?H??hH;kXu?L)?H??i??N?ă?
vU?
?@HKP?z??
9??zX?Q?Q\t3Hc?H?RH??H??I?D?bE??u̓?
?BXA?D\9?u?H??H??[]A\A]A^A_?hp??H??[]A\A]A^A_?D?\$A??
D??????E?????l$
???D??)‰?1?A????A)?E;D$?r??????j???M?<$L?[PE1?E1??f.?A??
D9??C???Ic?A??????Hc???L?R??
J??A?Ӄ?1?t??
????A
?D9?}??????????j?????SH??H??H?GpH+Gh??G?G?G,?G(H??+???GH?G+G H?G ?G??r??H???H9??ƃ???
H???H9????
??????
???????
??x
????
L?SXH?{P1?1?M??H??I)?I??Ei??N??E??u
?DDH??Hcȃ?
L?IJ??H??H
?H?A9?D?FD?FX?q?q\w?I)?L??H??i??N??H???H?????
?D$H?$H??H)?H??H9???H??H
?H???H???/n????d
H???1o??H?CpH+ChH???H??ǃT
H????
????_o??H??HǃHǃ ǃX
H??H??H??(H9?0t!H??[?@H???H??H)??nm???R???H???Ao??H??[?H?
txH?5mH?=?q?u
?j??H?
UxH?5?lH?=?r?t
?}j??H?
6xH?5?lH?=?q?x
?^j??H?
xH?5?lH?=?q?w
??j??H?
?wH?5?lH?=|q?v
? j??AWHc?H?vAVH??AUATUH??SH??8L?WPI??Hc?H?@L?$?I?\$(I;\$0??
H??L???I??0L?l$ H?D$H?D$,H?D$?fDA????A????
Mc?O?@O??O??E?A??A9??k
Hc?L?	I
?I??K?<H?w0H;w8??
E1?H??tH?L?O0H?T$ H?4	I??H?M?L?0?
?D?A?'?I?$H?@?H?I?$H??H??I?$H??H9???L?UPL?;A?7L??M??????Hc???H???
H?T$ ??~ ???'???H?L$ I??H???
H?T$ ?????
??9???A?
A????H?A??H?@D????
H??A?ƒ?1?????
t>H??PH??@?T$,H??H9???1?H??t
?PD?8H??@H??H??@I?$H??H9??$???H??8[]A\A]A^A_??L??H?L$ I???9??????L??L?|$ Hc?H?L$ I??????fD?ىL$,????DH???H;????1?H??t
?D$,?H???H??H???I?$?}???@K?|(L??D$?oh??H?T$ ?D$?3????H??XH??H+?H??H??H?H??
????$H?L$?5m??H?L$H?AH??@?$H??t?PD?8H??XH?PH?@H??XH??H??HH??@H??PI?$?????H?T$L???i??I?$????H?|$?$?9???H??X?$?c???f.?H?\$?H?l$?H??L?d$?L?l$?H??8??
A????
Hc?H?@L?,?I??LoPA?}????<????x
D9??
??A?MHcȃ?A?E?։????	?A?UH???
H?4?H?FH+H????
A?EtoH?<ʉ??
B?`H?wH;w?D$td1?H??t?H?WH??H?W??D??H???k??H??h

A?E
t??,

H?\$H?l$ L?d$(L?l$0H??8?A?E
?
?@H?T$?^h???H?
?rH?5?gH?=m?
?]e??H?
?rH?5?gH?=?l??>e??H?
?rH?5?gH?=?l??e???fffff.?ATUSH??H???MA??
??A9???
?P???t#?|$H?shHc?H??Hc?H???L1;L2s?x?@;?x
??
H??@H?? H9????PD? ?T$H??0D????H??H9?tPH??H?? Hc?H?@H??H??HCP??????S???D??D??x
?L$??
??H?߃?
??c???z???H??(?d??H??8H?PH?@H??8H??H??(H?? H??0?x???DH???H??H?? H9?t`H??0H??H9?u?H??(?c??H??8H?PH?@H??8H??H??(H?? H??0H??@H9?u?fDH???H+??H??H????H??[]??A\?@H???H;??t21?H??t
?D$?H???H??H??@H???H?? ?1???H?T$H?????e??H??@H?? ?
???H?
?nH?5,eH?=?j?%??b???f?AVH??N??N??NAUATUSH??H??pL?gXH?OPL??H)?H??H?ƒ?
?2?$?L$
H?D$(H?D$0H?D$8H?D$@H?D$H???H?D$P???D$?????D$?????$?V
?D$?????D$\?D$XHc??D$?D$H9??D$?D$$?D$ ?a
H?RH??L?4?M9?t7L??DH???t H?}@L?m@H??t?a??I?}?H??t?a??H??hI9?u?L?sXH?|$@H??t?fa??H?|$(H??t?Wa??H?SXH?KPH??N??N??NL???
L?d$hH??H)?H??H?Ń?
??,
H???
?cf???&g??H???
H;??
H?H?@H?@H?D$htZ1?H??t
H?H???
H?BH?KPH?SXH???
H)?H+??
H????H???J?H9?s???H9?u{H??p[]A\A]A^?DL??L???c??H???
H?SXH?KP?@H?PH)?H??L????`???????H??H???nd??H???ff??H?
?nH?5?bH?=h???7`??H?
?nH?5?bH?=?d???`???AWH??N??N??NAVAUATUSH??H??x?$?L$
H?D$(H?D$0H?D$8H?D$@H?D$H???H?D$P???D$?????D$?????$L?gXH?WP?D$?????D$\?D$XL???D$?D$H)??D$?D$$H???D$ H??H??
?m
H?@H??L?4?M9?t;L??f?H???t H?}@L?m@H??t??^??I?}?H??t??^??H??hI9?u?L?sXH?|$@H??t?^??H?|$(H??t?^??H?SXH?KPL???
??,

H???
H??N??N??NL?t$hI??I???]??d??H???
H;??
H?H?@H?@H?D$htr1?H??t
H?H???
H?BH?KPH?SXH???
H)?H+??
H????H???J?H9?s???H9?uvM)?H??N??N??NH??xI??L??[]A\A?E?A]A^A_?f?L??L????`??H???
H?SXH?KP?@H?PH??
L???<^???????H??H???a??H???c??H?
?kH?5?_H?=Gb???]???@AW??AVAUATUSH??H??8H???H???H)?H????c???????qH?CpH+ChH??H???H???H??H)??
H??????a??D???E???`Hcž
A?????H??HChD?@E????L?L?KPA?????Hc?H?@H??I?4????<?]??????
9??-D??x
1?A?????E1??LD9?DO??
D9?sXHc?A??????Hc?H?4@H??I?4????<????????
9????FD9?|?A????7??
D?$zD9?r?E??A?u
u(?
??\
?? 
E1?
?????
??$
H????]??H??PH??@H??H9??v1?H??t
?hD? H??@H??H??@H???H???H???H;?????P?H?H?H???????H?H?4@H???փ?
H??HCP?????9??=H????4??Q?H??????H?H?4@H???փ?
H??HCP?????9??????
?????H9ψu?H??????????H??8D??[]A\A]A^A_??H???ƃ?
H???H?? H9?@??A?
?L???H??L??L???^??D??X
L??HǃL??Hǃ E????H???H+??H???
ǃX
H??H??A)?H???
D
?T
H9??1?H??t
D?0H???
H??H???
H???
H???Y?????H9?s.H???
?)?T
H???
H??H9???H??H???
H???H+?????H??H9??????H??L???]??H???H???L??HǃL??Hǃ H)?H???D$ D?D$ L??E???[
E1?1?E1?B?42H?KP????H??Hc?H???1???????
@?
??H???
H?=?v L?t$ H?H?pH+0H????B??H?5?F?H??H??L?t$ ?3A??H?H?@?H???H?????}8?5?EC??H??L?t$ ??C??H??L?t$ ?A???
H?|$ H??t?l=??H??H??[]A\A]A^A_?H?T$L??M???H@???r???L??XL??H+?H??H??H?H??
??
?L?t$?+C??I?GH??@H??t?hD?(H??XH?PH?@H??XH??H??HH??@H??P?????L?-?u L?t$ L???A??H?5?B?$H??H??L?t$ ?????H?EH?@?L???M????
A?|$8?#
A?D$C??H??L?t$ ?B??H??L?t$ ?F@??????9???H?T$ H?D$(H)?H??H??tPL?d$ 1?1?f.??4?L??M???;??H?5v<?
H???^???H?T$ H?D$(??
??H)?H??H9?r?I?EH?@?J??(?H?????}8???EC??L??L?t$ ??A??H??L?t$ ????????H?|$M??????H??XH?D$?????H??L?t$ ?;??H?EL?t$ ?
H???P0????L??L?t$ ?i;??I?$L?t$ ?
L???P0????H?|$L?t$豸??L??X?????H??L?t$ ?(;??H?EL?t$ ?
H???P0?3???H?
xGH?5I=H?=?C????:??L?t$ ??9??L?t$ ??9??H??L???A?v
H???b8???<$
?h???H?

@H?5?8H?=?????I6??f?D??H???%8??E???????H???T9????f??????????L??XL??H+?H??H??H?H??
vv???;??I?EH??@H??tD?`?(H??XH?PH?@H??XH??H??HH??@H??P?A???1??R??????K???A?u
H???o7???E???H??????L??X?r???H?
?>H?5?7H?=-5?7?C5??H?
?>H?5?7H?=>???$5??H?
?>H?5n7H?=;?/?5??H?
?>H?5O7H?=5>????4??H?
>H?507H?=>????4???fDAWAVAUATUH??SH????x
?t$HDŽ$?HDŽ$?HDŽ$????	
H??$?H???
L??$?A?A?
H?D$fDJ?'H?pH?H??H)?H??H???????
?1??????
???
ul??L?EP??Hc?L?IJ??E?L?E??~O??
H??$?H;?$???$??+1?H??t?H??$?H???
J?'H??H??$?H?H?pH????
H)Љ?H??H9??l?????x
A??
I??A9??%????|$???"L??$?H?T$@H??$?H?\$pH?D$pH?D$xH??H?T$8HDŽ$?L??H??H?D$hH)??D$HH?D$PH??H?D$XH?D$`H??H?\$0?o
H??HH?D$H??$?H??E1?H?T$H?D$ 1?H??PH??H?????H?t$?H?HH??tH??H??9X }?H?HH??H??u?H9D$??
9X ??
H?t$xH;?$???1?H??t?H?D$xL??$?H??$?H??H?D$xL??A??
H??H)?D??H??H9??U???L?|$8H?\$X+D$I??L9???L??$?A???@D1?H??t
?C$?H?D$xH??H?D$xH+D$pH??I9?vFH??M????6??L9?H??t3H?t$xH;?$?u?H?|$0H?S$M???e4??H?D$xH+D$pH??I9?w?L??$?H?t$0L????4??H?t$PH?|$8?~5??H?|$pH??t?1??H??XL??HL??$??2?1?H??t
?H??$?H??H??$?H??M???h3??H??I9??X
?S H?MP????
???H?H?4@H??D?D?E??u?H??$?H;?$?u?H?S L??M???3???DH?T$L??M???p3??H???
J?'H?pH??????f???L?d$PH?UP??
???M??H?H?@H??D?|?u?DI?D$H??tI??E;|$ |?I?D$H??u?L;d$?D$/
t
E;|$ ?D$/?(L?t$ ??5??H???t?X$D?x ?|$/H?L$L??H??L?t$ ?3??H?D$h
L??$?H??$??????H?D$?7???H?|$0L?t$ ?2????L?d$?r???H??$?H??$?H)?H??H??t}H???H9????H?? H9?@??1?H??L??$???-??H??$?H??t?/??H?ĸ[]A\A]A^A_?H?
=H?5d1H?==5????.??H??t?H????.????H??L???10??H????4??H?|$8H????2??H?|$0?0????H????H?
?<H?51H?=?6?
?.??H?
?<H?5?0H?=r6?
?}.???fff.?H?\$?H?l$?H??L?d$?H??H?? H9?@tH?$H?l$L?d$H????H???
1?H?H?0H?HH)?H??H??t81?1?D????
u?????H?{P??Hc?L?RJ??l???
??H9?r?1?H???.??D??x
E??????
??

?)??????????\
9?(
?:
H??hH??`I?????????H??H)?H??I??H??????1?1??!DH????
H)ȉ?H??I??H9??????H?RH???9?@
|?PH?߉?PH??hH??`????
?,(9??6???ǃ?
????H??H?l$H?$L?d$?
H???
1?????\
;?
????H?? ?
???? 
H?߉?
?L1??H???4.????p
?gfff?????????)?)у?
?????H????,?????????H?߉?(
?|.???????fDAWAVL???AUL???
ATUH??N??N??NSH??H??(H?D$L?d$H?D$???
??
H???S1?????
??
H???n2?????N
H???H??t	H???Є?u???
;?
??
??
H???H?KXH???
L???
?D$H???H?CPH??H??L)?H)?H??H??H?Ճ?
H9???I??H???
H??H)?H??H?Ճ?
??A?
?%?H??A??
H)?H??H?Ճ?
A9???Ic?A??H?4RH??H???
D??A??D??H?4??????
u?D?^E??t?H???H;??D?|$?11?H??tD?>H???H?CPH?KXH??H????e???DH???@*??????
H????*????y?ǃ?
H??([]A\A]A^A_?L?{hL?CpM)?I??M??t`E1?Ic?H??I??Bu@D?JE???
L?A?
????Hc???H?4I??
H???ȃ?1?1Ƀ?
??A??
D??I9?w?1?1?H???.??H?? ??H??H?? H9?@t\H??0H??H9?u?H??(?`)??H??8H?PH?@H9?@H??8H??H??(H?? H??0u?DH????*???;???Hc?A?4?????Hc???H????H)?L??L???(??H?CPH?KX?7???H?T$L???H+??H?CPH?KX?C???H?5?1ǃ??
1??^(???????H?5?1ǃ??
1??<(????????fDS???H????tzL???
L???
??M9?t??
t[?fDM)?I??M??t4H?{P1?1?@??
A??Hc?H?4@??H?4??????	ȉ?L9Ɉ?r?ǃ??[???S(??H???*????u'ǃ?
?+???????
?S???DH???&???ِ??????G;F??Ð?????H?W H?G0H+WH+G8H??H??H
?H?GHH+G(H??H??H?D?Ð??????????????H?\$?H??H?l$?H)?H??H??H???H??H??H???'*??H?DH?\$H?l$H??Ð??H?????????H??H9?wH???H???&??H???~??I?<$???I?$I?D$???H??????H????????????????????AWAVI??AUATUH??SH??8M????
M?~M???j
I?GH?D$(H?|$(?A
H?D$(H?@H?D$ H?|$ ?
H?D$ H?@H?D$H?|$??H?D$H?@H??H?D$??H?D$L?hM??twM?eM??tX?I?\$H??u	?.@H??H?sH???	??H?CH??H?D$???H?D$H??u?I?\$L?????H??tI???I?]L???{??H??tI???H?D$H?XH???`??H??t
H?\$?[???H?D$H?XH???@??H?\$????H?D$ H?XH???%??H?\$ ?????H?D$(H?XH???
??H?\$(????I?_L??????I??????I?^L??????I???l???H??8[]A\A]A^A_Ð????????H??H?w???H???H????????????H?\$?H?l$?H??(H??PH??@H??H??H9?t01?H??t?P?0H??@H??H??@H?\$H?l$ H??(?H??XH??H+?H??H??H?H??
vk??$?t$?2??H?EH??@?$?t$H??t?P?0H??XH?PH?@H??XH??H??HH??@H??P?e????H???$?t$?E???H??X?t$?$?o?????H????????H?\$?H?l$?L?d$?L?l$?H??L?t$?H??(H9???L?7H?GL)?H??H9?w"H?$H?l$L?d$L?l$L?t$ H??(?DE1?1?H??L?gtL?,?L???*??H??M)?H??L??I???L???r??H?;H??t????N?d%H?+L
?H?kL?c?H?=???????ATI??UH??SH??H??H?D$0I9??	
H9?~,L??I)?H??H??I????$????J?#H??[]A\?fDI??1?E1?I)?L??I??M??L??~6fDH?4I?
H??
H??H??H?>H?:?v?r?M??I??K?
I??L??H)?H??H??~+1??H?|H?4H??
H??H??L?L???~?M??L??L??L???U???@H??H??H??
H?H??H?
?B?A?L??H??H??[I)?]L??A\?DL9??????I??1?1?I)?I??M??L??~.f?H?tI?
H??
H??H??H?>H?9?v?q?L??H??H)?H??H??~%@H??I??H??
H?UH??I?$?UA?T$?1?H??H??H???????fDI?4H?H??
H??H??H?.H?(?v?p?H??H??H??H?[]A\Ð??????????AUATUSH??H??8H???R
L?gH?GL)?H??H9??J
H?/H????????H??I)?I??L)?H9?? I9?H??IC?I
???
I9???
H??H)?H??H??M????E1?H??H??I?l-?@H??H??t
H?9H?}?y?}H??
u?H?;L??L??H9?I??H??tA?H??tH?)H?(?i?hH??H??H9?u?H?GH)?H???H?nL?/H?;I?l-H?sH??H
?L9?t5L??H??H??tH?
H??J?HH??H??H9?u?I??L)?H???H?l5H??t?h??O?d%L?+H?kL?cH??8[]A\A]?DH?
M??I)?I??H?D$ ?AL9‰D$(??H??L??L??H)?L??I9?H??u
?&@H??H??tH?(H?)?h?iH??I9?u?H?kH??H
?H)?H?kH??H??~ H??I??H??
H?H??I?$?OA?L$?H?H9??K???H?L$ fDH?
H??A?FH??H9?u?H??8[]A\A]??H??I??????H)?H??H??L??H?T$H?L$H?t$?e??H?t$I??H?L$H?T$?????fDL)?L??L??H??H??u?'DH??H??tH?l$ H?(?l$(?hH??
u?H?KH??H
?I9?H?KtvH??H???
fDH??H??tH?:H?9?z?yH??I9?u?H?VI??L
CI)?I???J?|&H9??9???H?L$ @H?H??Q?PH??H9?u?H??8[]A\A]?I??L
?H?K????I???????H?=]??????H?\$?H?l$?H??L?d$?L?l$?H??L?t$?L?|$?H??HH?GH;Gt^1?H??tH?H?H?H?{H?GH??H?CH?H?W?H)?H???H)??[??H?]H?\$H?l$ L?d$(L?l$0L?t$8L?|$@H??H?@L?'L)?H??H????L?<L9???H??I??????L)?I??I??L??H?T$???H?T$I??K?D?H??tH?H?H?3I??L??I)?I???L??O?t%???L?cL??H??I)?I???L??O?$&???H?;H??t???L?+M
?L?cL?k?&???DH??A?
L)?I??I??I???`???H????????I9??9???H??L)?I??I??M??u?E1??H??????????????????H?\$?L?d$?H??H?l$?L?l$?H??8H9?I??tXH?6I?l$H??H?CH)?H)?H??H??H9?v[E1?E1?H????L??L??????H?;H??t?4
??K?,,L?#H?kH?kH??H?l$ H?\$L?d$(L?l$0H??8?f?H?SH)?H??H9?wH??H???d??H+H?k?H??H???K??H?{I?T$H??H+3H???I4$H)?H????(??H+??H?????????H9?w"L?,?H?t$L?????H?t$I???#?????????????????AWAVAUATI??UH??SH??H??(H????
L?wH?GL)?H??H9???
M??D?)I)?I??L9??2L)???L????H??H?ރ?H9?HG?H???{H??L??1ɐH??
D?(H??
H??H9?w?H9?tlI??I)?L??H??L??M??tED?l$M??1?fnL$fp??H??H??
H??H9?fA0w?L)?M9?J??tfDD?(H??H??
u?I? H)?H??$?L?D$@L?L$HH???
??)z?)r?)j?)b?)Z?)R?)J?)B?I?}H?1?I?????H??tI?}H?
H?پ
1??~??H??tI?}H??H??
1??_??E??ujI?}H?J?
1??C??H??$
I?}H??L??
?$ H?D$H?D$ ?D$0H?D$???I?}????
???fDI?}H?gD??
1??????w????UH??SH??H?0; H???tH?#; H????H?H???u?H??[?Ð?H????
??H???../../lib/zchaff-mincost/jni/kodkod_engine_satlab_ZChaffMincost.cppstatus == UNSATISFIABLE || status == SATISFIABLEjboolean Java_kodkod_engine_satlab_ZChaffMincost_solve(JNIEnv*, _jobject*, jlong)



../../lib/zchaff-mincost/core/zchaff_base.cpp(unsigned)w[j]->var_sign() == inum_lits() ==1 || watched == 2!literal(num_lits() + 1).is_literal()w[j]->is_watched()num_lits() > 0literal(i).is_literal() + -			======removed=====V:   DL:   POS:   Ante: WNeg WPos (bool MVariable::self_check()bool MClause::self_check()../../lib/zchaff-mincost/core/zchaff_dbase.cppgid > 0 && "Can't free volatile or permanent group"gid <= 32 && "gid > WORD_WIDTH?"g1 >0 && g2> 0 && "Can't merge with permanent or volatile group"is_gid_allocated(g1) && is_gid_allocated(g2)../../lib/zchaff-mincost/core/zchaff_base.hn_lits <= (int)num_variables()_lit_pool_finish <= _lit_pool_end_storage(unsigned)var_idx < variables()->size()gid <= 32 && gid > 0vector::_M_fill_insertCan't free unallocated GIDg1 != g2i >= 1 && i <= 32Not enough GIDCL : @)  Dump Database: VID :	Lit_Pool Used  Free  Total  Num. Cl  Num. Lit  Efficiency (unsigned)var_idx > 0MClauseIdx MDatabase::add_clause(int*, int, int)void MDatabase::lit_pool_incr_size(int)int MDatabase::merge_clause_group(int, int)bool MClause::gid(int)void MClause::set_gid(int)bool MDatabase::is_gid_allocated(int)void MDatabase::free_gid(int)q=
ףp??????????????????@??????../../lib/zchaff-mincost/core/zchaff_solver.cppvar_idx > 0 && var_idx <= (int)num_variables()(*_assignment_stack[dlevel])[pos] == (int) (i+i+1-value)variable(lit.var_index()).dlevel() <= variable(vid1).dlevel()_ordered_vars[pos].first == & var_ordered_vars[pos].second == orig_score_resolvents.empty() || var_idx != -1variable(v).dlevel() < dlevel()variable(v).new_cl_phase() == (*itr).var_sign()variable(cl.literal(i).var_index()).value() == 2_assignment_stack[dlevel()]->size() > 0ptr->value() == 2 && ptr->is_branchable()Total %d conflict clauses. delete %d
_assignment_stack.size() == num_variables() + 1literal_value(clause(added_cl).literal(i)) == 0var.new_cl_phase() == (unsigned)(svar & 0x1)variable(assigned>>1).new_cl_phase() == 2var.new_cl_phase() == (unsigned)(s_var & 0x1)Database Cleaned, releasing (approximately)  Variables are defined but not used !_params.shrinking.enable || _shrinking_cls.empty()(*_assignment_stack[i])[j] > 1blevel <= dlevel()cl.num_lits() == 1watch_index == 2literal_value(lit) == 0%d %d
cost == _stats.total_costvar.value() != 2is_gid_allocated(gid)Total %d Clause: %d:%d SAT by +%d SAT by -%d s_var >= 2vector::reserve_conflict_lits.empty()_num_marked == 0_num_in_new_cl == 0_dlevel == 0value == 0 || value == 1var.value() == 2dl == dlevel()var.dlevel() <= dlevel()num_variables() == 0_implication_queue.empty()variable(vid).value() != 2unit_lit == -1dlevel() > 0ante_cl != -1!_conflicts.empty()_conflict_lits.size() == 00 cl.status() == CONFLICT_CLA Assignment Stack:  :) Implication Queue Previous: dlevel() == 0 BytesRestarting ... r == NO_CONFLICT vars set during preprocess; backtrack to 0
sat_dlevel > -1max_lit > 1is_conflicting(cl)TIME_OUT
ABORTED
MEM_OUT
Solution can't be verified
int MSolver::add_clause_incr(int*, int, int)void MSolver::restart()void MSolver::clean_up_dbase()void MSolver::print_cls(std::ostream&)bool MClause::gid(int)int MSolver::conflict_analysis_firstUIP()int MSolver::finish_add_conf_clause(int)int MSolver::analyze_conflicts()void MSolver::mark_vars(MClauseIdx, int)void MSolver::verify_integrity()int MSolver::deduce()void MSolver::back_track(int)bool MSolver::find_another_sat()MClauseIdx MSolver::add_clause_with_gid(int*, int, int)int MSolver::preprocess()bool MSolver::decide_next_branch()void MSolver::adjust_variable_order(int*, int)void MSolver::delete_clause_group(int)void MSolver::set_var_value(int, int, MClauseIdx, int)int MSolver::MIS_LB(bool)void MSolver::init_solve()int MSolver::total_cost()void MSolver::block_current_assignment(int, bool)int MSolver::add_variable()void MSolver::set_variable_cost(int, int)void MSolver::set_variable_number(int)@??*** in %s at %s:%d
;|????????????????????H???????0(???X8???ph???????????????????h??????0????`?
????
???????H??????x??(??@???X???pH???????h??X	??@?	???X
????
??H	????	(???	??? 
???P
????
????
???0???H???x"??`?"????%??(	?&???	x(??
?(???
?;???x??Xh>??p?>????>????????????
X@?? 
?C??X
8D??p
?D???
?D???
?E????G???HH???H??(?H??@I??XJ??pHJ???XJ????L????M??O????S????T??8U?? W??X?\???_????a???Hg?? ?n??Xp???s???hz??H8~??????Ȁ???H???@?????x???????X???(???`?????H????ȣ??Ȥ?? ????X????????????@???`?????X????????????0???h????h?????(????
h????
?????
???? ???8x???`????x?????????????@X???h?????X????x????8???(x???`8????X????h????8??? 8???????`X???????????????????H????
zPR
x??) ?
$????<????T???.Kl???>D,?@???}
BF?BC?B A(C??A0C?$?????SBC?AA G???????
?????"DC?
zPLR
x??( ?
$????=3AI ?L
????.Kd
?????D|
?????D?
P????M??I C?,?
?????BBB A(C????A0G?4?
p????BBB B(C????A0C?A8D@C?????_,40????BFB A(A0T?????d?????|H???????????H??????????DU??h???.K?????JGx??2EB?,$???-BBA A(C????Dp$Lp???}AAC??D@|?????N E??$?H????
BE?AB?A C??
??jAC?AE?D ,???rBC?BA A(D0D???,0
???BC?BA A(D0D???,D?
???BC?BA A(D0D???4l???BBB B(A0A8C??????Dp?x??,
M??N@H??4??
???
BC?BB C??I(A0C??I8D`?4 ??y
BGC??I B(A0A8C????G@$<h???
n@D??????$d????
M??[PJ?????h??3,?????
BLF??A C?A(D@D?4?p???BBB B(A0A8C??????D`48
???BC?BB C??B(A0C??A8C?Dp4<????WBBB B(A0A8C??????G?4t???5?BBB A(A0C?????D?
4????5?BBB A(A0C?????D?
?h???
0????0??	4?0??L?0??d?0??|?0????0????0??v? 1?????1??8??1??IX???1$2??.K4<(2???BBB C???B(A0A8DPT???t?2??#Y??2??WD4?03???BLB B(A0A8DPY????????6??CAC???6??bEC?	7??%AC?$	07???AC?FB?D D	`???=H?K?D d	????)N$|	????UBC?AA H???	м??$?	ؼ??UBC?AA H???	???H?	H???D4
?6??5BBB B(A0A8DPL??????,L
H????BBA A(C????D@|
?8??qD0?
09??oAC??
?9??%AC??
?9??AC??
?9??
KJ??
?:??&AC??:??,$ ???BHB B(A0A8F??????$T?:??QZ????N?
O??|?_?Q?{4?!???????W???T??"? 
"?!
?p???W?Q"???v?
?)?
???`?
b??&|?\???????"-
1
?"` 
U)"E0?!Zpby
q _j???-?0???"01
??0]?
  ??C?"?x??Y????J?"4
}^p?jn???
?? `??"?&
v
\}*PR?DPo5V?P
?"?7
?
?"2
?
e@?	??

??
???J?(=?|g?8????0Q=?0S??" 9
6
9???!E?"@xr????" 0

"0
E?S?Z`?u
}"?s2??"@.
?
< 
Ce??
w"@+
?
???? ??@Z?0C?N>q???0?I?"@!
H???8?!?P?5?X?L??wuPW_??j???"p{,
??
)??qF?????v? p
95 p?R "t-? ? ?j? ?b? !A
_
(!"?!
Dg!|!P???!?!???!?!?Z??!?!"#"=""@~3u""0 
)?"?"?q5?"`N?""?$
?#?N?#О
?#
hE?#?#??C
$p?%/$???call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.7382dtor_idx.7384frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxkodkod_engine_satlab_ZChaffMincost.cpp_GLOBAL__I_kodkod_engine_satlab_ZChaffMincost.cpp_ZStL8__ioinit_ZZ45Java_kodkod_engine_satlab_ZChaffMincost_solveE19__PRETTY_FUNCTION__zchaff_base.cpp_GLOBAL__I_zchaff_base.cpp_ZZN9MVariable10self_checkEvE19__PRETTY_FUNCTION___ZZN7MClause10self_checkEvE19__PRETTY_FUNCTION__zchaff_dbase.cpp_GLOBAL__I_zchaff_dbase.cpp_ZZN9MDatabase16is_gid_allocatedEiE19__PRETTY_FUNCTION___ZZN9MDatabase8free_gidEiE19__PRETTY_FUNCTION___ZZN9MDatabase18merge_clause_groupEiiE19__PRETTY_FUNCTION___ZZN7MClause3gidEiE19__PRETTY_FUNCTION___ZZN7MClause7set_gidEiE19__PRETTY_FUNCTION___ZZN9MDatabase10add_clauseEPiiiE19__PRETTY_FUNCTION___ZZN9MDatabase18lit_pool_incr_sizeEiE19__PRETTY_FUNCTION__zchaff_solver.cpp_GLOBAL__I_zchaff_solver.cpp_ZZN7MSolver10back_trackEiE19__PRETTY_FUNCTION___ZZN7MSolver16find_another_satEvE19__PRETTY_FUNCTION___ZZN7MSolver17set_variable_costEiiE19__PRETTY_FUNCTION___ZZN7MSolver16verify_integrityEvE19__PRETTY_FUNCTION___ZZN7MSolver19add_clause_with_gidEPiiiE19__PRETTY_FUNCTION___ZZN7MSolver10total_costEvE19__PRETTY_FUNCTION___ZZN7MSolver21adjust_variable_orderEPiiE19__PRETTY_FUNCTION__T.2420_ZZN7MSolver19delete_clause_groupEiE19__PRETTY_FUNCTION__T.2416T.2410_ZZN7MSolver9mark_varsEiiE19__PRETTY_FUNCTION___ZZN7MSolver6MIS_LBEbE19__PRETTY_FUNCTION__T.2413T.2412_ZZN7MSolver18decide_next_branchEvE19__PRETTY_FUNCTION__T.2417T.2411_ZZN7MSolver10init_solveEvE19__PRETTY_FUNCTION___ZZN7MSolver13set_var_valueEiiiiE19__PRETTY_FUNCTION___ZZN7MSolver6deduceEvE19__PRETTY_FUNCTION___ZZN7MSolver19set_variable_numberEiE19__PRETTY_FUNCTION___ZZN7MSolver12add_variableEvE19__PRETTY_FUNCTION___ZZN7MSolver22finish_add_conf_clauseEiE19__PRETTY_FUNCTION___ZZN7MSolver26conflict_analysis_firstUIPEvE19__PRETTY_FUNCTION___ZZN7MSolver17analyze_conflictsEvE19__PRETTY_FUNCTION___ZZN7MSolver9print_clsERSoE19__PRETTY_FUNCTION___ZZN7MSolver14clean_up_dbaseEvE19__PRETTY_FUNCTION___ZZN7MSolver7restartEvE19__PRETTY_FUNCTION___ZZN7MSolver10preprocessEvE19__PRETTY_FUNCTION___ZZN7MSolver15add_clause_incrEPiiiE19__PRETTY_FUNCTION___ZZN7MSolver24block_current_assignmentEibE19__PRETTY_FUNCTION__zchaff_utils.cppDW.ref.__gxx_personality_v0_GLOBAL_OFFSET_TABLE___dso_handle__DTOR_END___DYNAMIC_ZN7MSolver21dump_assignment_stackERSo_ZSt20__throw_length_errorPKc@@GLIBCXX_3.4_ZN7MSolver15add_clause_incrEPiii_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiEJava_kodkod_engine_satlab_ZChaffMincost_addVariables_ZN9MDatabase12is_satisfiedEi_ZNSt3setIiSt4lessIiESaIiEED1Ev_Z12cmp_var_statRKSt4pairIP9MVariableiES4__ZNSolsEi@@GLIBCXX_3.4_ZN7MSolver22finish_add_conf_clauseEi_ZNSt11_Deque_baseI12MImplicationSaIS0_EE17_M_initialize_mapEm_ZSt16__throw_bad_castv@@GLIBCXX_3.4_Z7warningPcS_iS_z_ZNSt11__copy_moveILb0ELb1ESt26random_access_iterator_tagE8__copy_mIiEEPT_PKS3_S6_S4__ZN7MSolver12cpu_run_timeEv_ZN7MSolver19current_lower_boundEv_ZN7MSolver12add_variableEv_ZN7MSolver16find_another_satEv__fprintf_chk@@GLIBC_2.3.4_ZN9MDatabaseD1Ev_ZN7MSolver10real_solveEv_ZNSt6vectorIiSaIiEE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPiS1_EEmRKi_ZNSt11_Deque_baseIiSaIiEED2Ev__gmon_start___Jv_RegisterClasses_ZN9MDatabase16is_gid_allocatedEi_ZN7MSolver13set_var_valueEiiii_ZNKSt5dequeIiSaIiEE4sizeEv_ZN7MSolver6deduceEv_ZdlPv@@GLIBCXX_3.4exit@@GLIBC_2.2.5__assert_fail@@GLIBC_2.2.5_ZNKSt5ctypeIcE13_M_widen_initEv@@GLIBCXX_3.4.11__printf_chk@@GLIBC_2.3.4_ZN9MDatabase16enlarge_lit_poolEv_ZN7MSolver6MIS_LBEb_fini_ZN9MDatabase21output_lit_pool_statsEv__cxa_rethrow@@CXXABI_1.3Java_kodkod_engine_satlab_ZChaffMincost_addClause_ZNSt8ios_base4InitC1Ev@@GLIBCXX_3.4_ZN7MSolver17analyze_conflictsEv_ZN7MSolver22dump_implication_queueERSo_ZNSt6vectorI9MVariableSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEmRKS0__ZN9MDatabase16compact_lit_poolEvmalloc@@GLIBC_2.2.5_ZN7MSolver9mem_usageEv_ZN7MSolver16elapsed_cpu_timeEv_ZN7MSolver8time_outEv_ZN7MSolver10init_solveEv_ZSt18_Rb_tree_decrementPSt18_Rb_tree_node_base@@GLIBCXX_3.4_ZNSt6vectorIP15MLitPoolElementSaIS1_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS1_S3_EERKS1__ZN7MSolver10total_costEv_ZnwmRKSt9nothrow_t@@GLIBCXX_3.4_ZN9MVariable10self_checkEv_global_check_level__cxa_atexit@@GLIBC_2.2.5_ZN7MSolver5resetEv_ZN9MDatabase9mem_usageEv_ZN9MVariable4dumpERSo_ZNSt6vectorIiSaIiEED1Ev_ZNSt6vectorISt4pairIiS0_IPFvPvEiEESaIS5_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS5_S7_EERKS5__ZNSt8ios_base4InitD1Ev@@GLIBCXX_3.4_ZN7MSolver17set_variable_costEiiJava_kodkod_engine_satlab_ZChaffMincost_free_ZN7MSolver15unset_var_valueEi_ZN7MSolver5solveEvfree@@GLIBC_2.2.5_ZN7MSolver7restartEv_ZN9MDatabase14detail_dump_clEiRSo_ZN7MSolver10init_statsEv_ZN9MDatabase8free_gidEi_ZN7MSolver10back_trackEi__vfprintf_chk@@GLIBC_2.3.4_ZNSt11_Deque_baseIiSaIiEE17_M_initialize_mapEm_ZNSt11_Deque_baseI12MImplicationSaIS0_EED2Ev__cxa_finalize@@GLIBC_2.2.5_global_debug_leveli_ZN9MDatabase4dumpERSo_ZN9MDatabase9alloc_gidEv_ZN7MSolver9print_clsERSo_ZN7MSolver20decay_variable_scoreEv_ZNSt6vectorIP15MLitPoolElementSaIS1_EE7reserveEm_ZN9MDatabase18merge_clause_groupEii_ZN7MSolver19set_variable_numberEi_ZSt18_Rb_tree_incrementPKSt18_Rb_tree_node_base@@GLIBCXX_3.4_ZSt22__uninitialized_move_aIP9MVariableS1_SaIS0_EET0_T_S4_S3_RT1__ZN9MDatabase14is_conflictingEi_ZN7MSolverC2Ev_ZNSt6vectorISt4pairIP9MVariableiESaIS3_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS3_S5_EEmRKS3__ZN7MSolverD1Ev_ZN7MSolver16update_var_scoreEv_ZSt4cout@@GLIBCXX_3.4_ZN9MDatabaseD2Ev_ZNSt6vectorIiSaIiEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPiS1_EERKi_ZN9MDatabase19get_free_clause_idxEv_ZN7MClause10self_checkEv_ZN9MDatabaseC2EvJava_kodkod_engine_satlab_ZChaffMincost_setCost_ZNSt6vectorIPS_IiSaIiEESaIS2_EE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPS2_S4_EERKS2__ZSt17__rotate_adaptiveIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9MVariableiESt6vectorIS5_SaIS5_EEEES6_lET_SB_SB_SB_T1_SC_T0_SC__ZN7MSolver14set_time_limitEf_ZN7MSolver14clean_up_dbaseEv_ZN7MSolver10preprocessEv_ZN7MSolverC1Ev_ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_l@@GLIBCXX_3.4.9memmove@@GLIBC_2.2.5_ZN7MSolver26conflict_analysis_firstUIPEv_ZN7MSolver21mark_var_unbranchableEi_ZN7MSolver19enable_cls_deletionEbJava_kodkod_engine_satlab_ZChaffMincost_make_ZN15MLitPoolElement4dumpERSo_ZNSt6vectorIiSaIiEEaSERKS1__ZdlPvRKSt9nothrow_t@@GLIBCXX_3.4__bss_start_ZSt29_Rb_tree_insert_and_rebalancebPSt18_Rb_tree_node_baseS0_RS_@@GLIBCXX_3.4_ZNSt6vectorI9MVariableSaIS0_EED1Ev_ZN7MSolver15set_random_seedEi_ZNSo5flushEv@@GLIBCXX_3.4_ZN7MSolver17queue_implicationEii_ZNSt8multimapIiiSt4lessIiESaISt4pairIKiiEEED1Ev_ZN7MClause4dumpERSo_ZN7MSolver19delete_clause_groupEi_ZN9MVariableD1Ev_ZSt28_Rb_tree_rebalance_for_erasePSt18_Rb_tree_node_baseRS_@@GLIBCXX_3.4_ZNSt8_Rb_treeIiSt4pairIKiiESt10_Select1stIS2_ESt4lessIiESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZN7MSolver24block_current_assignmentEib_Z12get_cpu_timev_ZNSt8_Rb_treeIdSt4pairIKdiESt10_Select1stIS2_ESt4lessIdESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E_ZN7MSolver14set_randomnessEi_ZN7MSolver16verify_integrityEv_ZN9MDatabase7is_unitEisrand@@GLIBC_2.2.5Java_kodkod_engine_satlab_ZChaffMincost_solve_ZN7MSolver8find_MISEv_ZN7MSolver19mark_var_branchableEi_ZSt22__copy_move_backward_aILb0EPSt4pairIP9MVariableiES4_ET1_T0_S6_S5__end_ZN7MSolver21adjust_variable_orderEPii_ZN9MDatabase19mark_clause_deletedER7MClause_ZN7MSolver25delete_unrelevant_clausesEv_ZN9MDatabase18estimate_mem_usageEv_ZN9MDatabase10add_clauseEPiii_ZNSo9_M_insertImEERSoT_@@GLIBCXX_3.4.9_ZNSt6vectorIP15MLitPoolElementSaIS1_EEaSERKS3__ZN7MSolver9mark_varsEii_ZN7MSolver8add_hookEPFvPvEi_ZSt18_Rb_tree_incrementPSt18_Rb_tree_node_base@@GLIBCXX_3.4_ZNSo9_M_insertIdEERSoT_@@GLIBCXX_3.4.9__cxa_end_catch@@CXXABI_1.3_ZN7MSolver17set_var_value_BCPEii_ZSt17__throw_bad_allocv@@GLIBCXX_3.4_ZN7MSolver22run_periodic_functionsEv_ZN7MSolver13set_mem_limitEi_ZNSt6vectorI7MClauseSaIS0_EE14_M_fill_insertEN9__gnu_cxx17__normal_iteratorIPS0_S2_EEmRKS0_stderr@@GLIBC_2.2.5_ZN7MSolverD2Ev_ZN7MSolver19add_clause_with_gidEPiii__cxa_begin_catch@@CXXABI_1.3_Z5fatalPcS_iS_z_ZSt13__copy_move_aILb0EPSt4pairIP9MVariableiES4_ET1_T0_S6_S5_realloc@@GLIBC_2.2.5_ZN7MSolver15init_parametersEvrand@@GLIBC_2.2.5_edata_ZN9MDatabase17find_unit_literalEi__gxx_personality_v0@@CXXABI_1.3_Znwm@@GLIBCXX_3.4_Unwind_Resume@@GCC_3.0_ZSt7nothrow@@GLIBCXX_3.4_ZNSt6vectorIP15MLitPoolElementSaIS1_EE9push_backERKS1__ZN9__gnu_cxx13new_allocatorIiE8allocateEmPKv_ZNSo3putEc@@GLIBCXX_3.4_ZN9MDatabaseC1EvJava_kodkod_engine_satlab_ZChaffMincost_costOf_ZSt8__rotateIN9__gnu_cxx17__normal_iteratorIPSt4pairIP9MVariableiESt6vectorIS5_SaIS5_EEEEEvT_SB_SB_St26random_access_iterator_tagJava_kodkod_engine_satlab_ZChaffMincost_valueOf_ZN7MSolver13re_init_statsEv_initfflush@@GLIBC_2.2.5_ZN7MSolver19add_conflict_clauseEPiii_ZN7MSolver15add_orig_clauseEPiii_ZN7MSolver18decide_next_branchEv