• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• liblingeling.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.

x86-linux.liblingeling.so Maven / Gradle / Ivy

ELF



?4??4 (
????
???????
?
?????


$$P?td?f?f?fllQ?tdR?td??????


GNU#?!74?k?P???:??G?]?%#	???  !D@`40
@!@"@ *?
 x??D0?

,?#()*-.012678:?ABCEFIJLMNOR?!fv??{????[$Y??$'?p????B?P??2?}Wotu?3Q?????_#Cz?`?S??cru??u*?<?4Q?dr?????Po$r?v$??P??%??4???P??RC??͛K?P?ロ`?uus???Qv??_?l?P?qX??|Xz>w?r???ݮCE??Xq$Bjt?.zQ˹??????]??
??
?
"??]??"2?
?

 ?
??
??
~?
?
?
+ ?
?
V0?
?;
pfS??
Dc???
G`?
???
?
p@e x5
??
?
?p\
?m`??
4
К?g
???q
p?
CpY
?Ѝ

h^
?'

@f&???
?@P?


?
?sW!??
?
z
?fl)?W
?u?7e9?X
?+??
?u?[
?6??
?U0Z
??`e??]
??&????
?
P ?
???%????


p?
G?????????? %????
??(?	??????P'n
? eh?Z
?	?0]
??pe?__gmon_start___init_fini__cxa_finalize_Jv_RegisterClassesJava_kodkod_engine_satlab_Lingeling_makelglinitJava_kodkod_engine_satlab_Lingeling_freelglreleaseJava_kodkod_engine_satlab_Lingeling_addVariablesJava_kodkod_engine_satlab_Lingeling_addClauselgladdJava_kodkod_engine_satlab_Lingeling_solvelglsatJava_kodkod_engine_satlab_Lingeling_valueOflglmaxvarlgldereflglbnrstrlen__fprintf_chkfputsfputcfflush__vfprintf_chkexit__printf_chkstdoutmallocmemsetlglprocesstimegetrusage__ctype_toupper_locgetenvstrtolreallocstderrlglsetidfwritelglsetermlglsetproduceunitlglsetconsumeunitslglsetlockeqlglsetunlockeqlglsetconsumedunitslglsetmsglocklglsetime__sprintf_chkpopenfopenlglusagelgloptslglrgoptslglhasoptstrcmplglfirstoptlglnextoptlglsetoptlglgetoptlglwtrapilglonabortlglassumelglseclglmaxmblglmbisattysleeplglfreezelglmeltlglstatssqrtlglgetpropslglgetconfslglgetdecslglsizespclosefcloselibm.so.6libpthread.so.0libc.so.6__stack_chk_fail_edata__bss_start_endGLIBC_2.0GLIBC_2.1.3GLIBC_2.4GLIBC_2.1GLIBC_2.3.4GLIBC_2.3


















































? ii


?si	ii
 ii
*ti	4ii

ii
@??ܟ??6?????
?2?????? ?	$?
(?.,?0?4?
8???uʋl$(??????;l$$?q????T$,?D$?$?^??0^_]É???U??1?W)?V??k????l?ƊB??????B??????d?L$????????????????????L$??
??????1?)????\?	??^_]?V1Ƀ???t?ы????1?)ʃ?
??????$?|??^?U??W??V?݃????D$??1?)ȋL$???t?H9?L$N?虉?1?)Ѓ????h
Ћ??
?8?@?u???
;T$t?ډ?????1?)????B??@
,?????t$1??l$ ?ŋ??ulj?l$ 9D$(?~
?D$?;T$t?֋?L
??1?)??
?4??????u܋D$H?h?8???u
???8u??Q???
??????
????9?t?֋?L
??1?)??
4?t?????uܺ????
???8u?1҃?;D$Ls??t??t$?;D$t????1?)ȋ?L
???????uۅ?????+D$???|$Pty??x1҉???????T$,????????t$?l$ ?l$?+9?t$??????1?)ʋ?X
?????م?Hщ??????????uϋT$$?D$?l$ ?T$?T$,?$???c????"???9???|#;??v?D$$???t$?D$D9D$??????0^_]?U??WV?ƉЃ?@???1?)у??????h?L$,?D$?<?|$???????0
9????T$???
?l$???????
ȍ9ЍU}?t$@?Љl$@??t$(?D$9ЍU}?t$@?Љl$@??t$(?D$~?L$D@;?du???y9~}?L$DB;?pu?1???
??P^_]?V?ƃ?1????ut??h
?
+?d
??9?Dt[??賶??udž?
?D???L???1???u?3?B
??D???????????d
??h
??D)???9?rҸ
??^?UW1?V?ƃ?`?Ћ?t?T$?1?)???
???I????????????
?????9???????????????????
??
??
??
??
?? 
??(
??,
??4
??8
??@
??D
??L
??P
??X
??\
?&?z?????z??R???1?)?k??l?B???9?u?dž??t?T$?H??9NT$??h?ЉT$?1?)Ѓ???
?
ЋT$?ډ????T$1?)???
ʉ????
??
ы?@???T$$????T$?T$$???T$?D$???
????????
????T$ ?$?]1҉??$?&
????D$$????l$,9l$$s
????????T$(??
?O????????|$$?
u	???f1???X
?????\
???
???
?&?H?????H??@???1?)?k??l?@???9?uЁ?0??^_]?UWVS??
??x?(??dc?D$?
?????D$\???????D$P??? ???D$H+D$(?T$LT$,)?D$(??x?????T$,??t	+?????T$(?L$,?t$?T$?T$h?L$+?d?$

ЉD$??4????D$?????$
?h?????˟???$
????y???EЉT$?׾?????????
?$?g?????蠿???????D$(1?)?k??l?B?6
??h???????
?9T?
?l$(?݉?????1?)ȃ???
?9T???T$(??蛿?????????芿???????|$\u'???"??t??`t?T$(???L??????????9?????;???}?T$(??????????j?D$(??L
??????$?E?????4
?$?nE????$?^E?????@
?$?HE????$?8E?????
?$?"E????$?E????$?E??X
???$??D?T$(?????????????$??D??
???$?D??
???$?D??(
???$?D?T$(??LJ?????????ꉇ????+??????????s??????1?????D$4?L$8???W;???h
u?\$8?D$4????$?o?????t??p???L$4?T$8?4$?L$??????D$4?>?vu???9??v???9????|;??w????Q ???]
??????????D$@?D$P?L$4???l$D???L$@;??u?\$4?D$P?>???u????>u???????$
??????????t???D$8?8??????1?)ʋ?X
?????م?H?9T$4t?$?T$D????B?D$8???E??u??T$D???$??B?l$P???T$4?4$?l$?۾??1҉??$???????|$8
???u??D$P????>u??D$@??9??v&???9????????|;??????????9?????;???1?T$(???a?????????1ɋ???|$\??????4??
?L$4?H?D$4?$?L$$?l$?D$???t$?t$?m????T$4???L$$?t$?l$?T$????L$?4$?H??????9?????;?????T$(?????????s??????????H????@
??$?????L$t?T$x?h?@?t$T??$?1퉄$???u?L$x?T$t?L$(?s?t$T?T$x?t$(?e?:?????uP????:u??L??????1?)ʋ?X
?????م?Hщ???1?)ƒ?
???t??9?????????u????;T$(r?E???k?????$?????$??L$t?D$p
?t$P????L$`?t$@?a?L$`?9???u_????????8u??D$`?8??
t=?????ʉ?1ƒ?
)ʋ?L
?,???X
?????م?Hщ??$?T$@????D$D????t$`?D$D???u??t$D???t$l?t$x?H
?>???u
???>u??0
?l$D???
??????
????l$8?D$(?b???tZ?????ʉ?1ƒ?
)ʍ??L$4??L
?D$(????
?t59?t(??X
?l$4?*???م?Hщ??$?T$@???D$8?????u??|$8
u,??u(??????????1?)????t????
L$P?W??t
???>u??I?|$\t+?|$8?|$D
?|$(
~?l$@???T$\?,$??????u?L$p?l$8?L$P9L$8N?l$p?D$l???????;t$Ts
?L$P???????????T$`??????
t????1?)ȋ?L
???????u܋??9??T$`???;????l$p9?????D$`?D$P??????t?L$x9L$`??????|$P?D$`????$???蕾????$????މ?t$(??????$?9?$?}?t$x?
??$??t$4?t$t?L$(?m?l$T?t$x?l$4????\?>???u
???>u??G1҉??????T$(???????+9?t$??????1?)ʋ?X
?????م?Hщ??]????????uσ?;t$4r?1҉??B????T$(?????5???????L$D???t$t?>???u_????????8u??D$t???
t=?????ʉ?1ƒ?
)ʋ?L
?,???X
?????م?Hщ??$?T$D?v<?D$P????t$t?D$P???u??l$P????L$@???l$l?l$x??
?}???u???}u??
?t$P???
??????
????t$8?D$4????????Љ?1???
)Ѝ??T$(??L
?D$4??9?tp
?tz?L$(??X
????څ?H™??1?)ы?p?
???م?Hр?|8uD?T$@?$???z;??X
?L$(????څ?H‹T$D?$???V;?D$8???u???O????|$8
u??t.??t???}u???|$\t?|$8?|$P

?|$4
?t$t?u?t$D???T$\?4$???????t?????b??
tO??????1?)ȋ?X
?????م?H???????1?)ʋ?p????م?Hр?|u?T$@?$???:?????u??????????D$l???????;l$Ts?|$`????????T$t??????
t????1?)ȋ?L
???????u܉T$t?D$t?l$x9l$t?0?????????Լ????l????????????????
??
??
??
??
?? 
??(
??,
??4
??8
??@
??D
??L
??P
??X
??\
?&?H?????H??@???1?)?k??l?@???9?u?LJ????????????l$P?|$??????9?t.??????9??T$,?D$(?????|9???????|$\?l$Pt?T$f???t?|$,??u(?$????????1?)֋?p?2???م?Hф?~;??9?v$??փ???
t????
w?????9?w⍶1???^_]Í?&?L$???w???4??u??
?׍???'???D$(?D$?D$$?t$?t$ ?\$?G?????$.?D$?D$
??X?$蠝????X?$
?D$?????\$?t$??Í?&??'VS????????-???$
???????D$??%????D$谞???D$$???????D$?D$ ?D$
?D$??$??????$
?D$薞????$??????[^Í?VS???t$ ?i?????F-???D$???$?????????x$?D$??;????D$?D$
???$?F????D$(?D$?D$$?D$
?D$???$?p??????$
?D$??????[^Ít&??,?\$??????è,?҉t$ ?Ɖ|$$?׉l$(tZ?$????????tP???????|$?D$
?9Љ??B‰???,$?9?????\$?t$ ?|$$?l$(??,Ív1??㍃?????|$?$??????v??'S?1?????,??h?D$?D$?$?]?????u)?D$?D$݃???????????D$ ?D$$??h??[?????f???h??[É???'UW??VS??\?l$p?t$'??????Þ+?D$e??D$L1??M?D$$L?D$%G?D$&L??t*?L$?Ԛ???L$???v?Ƀ?
??????
??u???D$$?$?t?????tZ?w?D$
?D$?$?Ŝ???W9?L‹W9?O?9?t+?T$?G??X??t?D$???????l$?D$?$?????D$Le3u??\[^_]??????????Vt&??
t!?֋?p????1?)?????م?H??Љ?^ɸ
?????t ???0?9?\|?
1???????Í???'UWV????`??~??\?
??f???
?"߃?9?~?X??t??????1?)????\?w??????`?҉$???
?D$?D$??????\
΋n??tX????t&?@???݅҉?HՉ?????1?)???
??(??
u?9?t#?P??u?? u??? ??D$??`?$??
;<$~??,$?D$??~G?4$?
?$f??$?????\?z??u?:??"u??????$??`??
9?~ɋ$ƀ?
??^_]À ??\???t&?R???݅ɉ?H͉?????1?)???
??*??
u?9???????J?????????? ?
??????1ɉt$?Ƌ??|$?l$??tR???
??uF???????????????D?H????;??}1ɉȋt$?|$?l$??Í?&~.???$?Ѕ???u-??X	????
?ꉆ?????;??s?1?뫍t&???UWV?L$9?tq?׉?????1?)??????????
t9?Nj?p????1?)??<1???م???H?????t&???؅?H???^_]É??퍶??'UWVS???r?l$?????Á%9??????
9?:?$?1?)?9D$<??????1?)?9D$<??????9?????~?ƒ??J???
F???tݨuى??????L$@u??‰???1?)?9D$<???????1ɉljЉʉ???t&???????
??

???
t?ωс???‰??????	ȉT$p?D$t?D$p???T$t?$?D$8?T$?T$P?Y????T$p?L$t?D$8?$?T$@?L$?=???9??(?????t&?L$d
L$P?l$H
??????D$`?D$T
?L$T;?x?L????D$T?????t&?t$T?|$`?l$`?v????????????DŋH?0?D$P?L$<9?????&????????1???t??f??????u?)????п?H?1?L$@????|$H???t$@?l$L??1Ґ?????
??
??

?9?u??????T$D??l$D?D$@?|$@?k?草???	??|$X?L$\??t2?|$X?l$\???D$8???<$?l$????????u?|$P??|$?
?? ^_]?f??Ћ????
Ѐ???D$tn?L$1??9??t+?͋T$?????$???e?????????????}??u݋L$?
1??
?L$?V?????&?1ҋL$?B????v???
?? ^_]?f??T$?$?T$????@????L$?D$?Q?D$???$?#??????t??O?????t&?у????4$??1?)Ή????t???|$?l$?y??
?Q?)??t)
??t#?i?Q??x%9?|E?4$?|$?l$??Í??i1҉Q??y?9??t׉?|$?4$?l$????????&??|$?4$?l$???????t&??'??,?щt$ ????1?)?1?k??|$$?l$(?l?T$?Q??u?y????
?/??u???|$$?t$ ?l$(??,Ít&?Gt2??4?|?y%???
????A
tQ???
????v?q??
t?
럐?t&??
??
?Q?T$????$???????t???f??T$?A
????$????????R??????t$??????1?)???k????l?|$?׋Q??u	։q????<$?????t$?|$??Ív???t$??????1?)?lk??l$?|$
΋n??uA?~???
???|=??t-?F
??l?L???D
t%?ڍ???$???3????t$?|$?l$??Ív????$???????t$?|$?l$???UW??V????x??|?????$??????P??h?????1?)?k??l9??Eu܍F?)??Ѓ??
?????D$9D$tF?t$?t&?P??H?????1?)?k??l9??Au܋D$??+D$?Ѓ??D$????D$??^_]ËD$??D$?T???U??W??????1?V)Ѓ? ??lk?
ЉD$?@???????
?H?p??<$?L$??????D$?L$?D$?T$?@
??t&?ȃ?
???D$????
?T$???????t?????@????????4????t?t&9?t????????????u싵??????)???9D$tc?T$???džXdž`dž\???džLdžTdžP?????ҋ?Ht)Ѓ??)???$?[>??dž@džHdžD?*????ҋ?<t)Ѓ??)???$?>??dž4dž<dž8?????ҋ?0t)Ѓ??)???$??=??dž(dž0dž,?????ҋ?$t)Ѓ??)???$?=??dždž$dž ?????ҋ?t)Ѓ??)???$?[=??dždždž?????ҋ?t)Ѓ??)???$?=??dždždž?}??????&UW??VS??,???????=?????????)????ɉL$???D$1?????v??
;t$?@????tV???????;t$u??????)?????~9???t$???)Ѓ???$???5???
Ɖ??????????,[^_]Ð?ҋ??t)Ѓ??)???$??;??LJ?LJ?LJ???,[^_]Ð?t&UWV?? ?D$???
????$?D$?$???)??????D$??1????$???4???1?)ƋD$k??l?.?F????с????	??
??	???
=
???
=
??
-

?l$?D$??t&?T$??
?L$;|$??Nu??D$??x??~{???t&??
9?ti?T$k??l?P??y?P??։$???????	???$	?t??
???
?D$?D$?T$??
?L$9??Hu??t&?D$?o????D$?$?????D$?????????????ҁ????	?t??	??$?D$???$?1??L$?T$????????????
f?=??
??
??

???
t?=??

??????????	?9T$|`9$s[??????1????t&???????
??

???
t??????ƋD$???????	׉??????v?? ^_]Ð?D$?D$?+????v?D$?????D$????????v=
??????=
?????-

?4$?D$????????
?T????$??

?T$?L$?N?????1?1???????&?D$1?1????????O?????&?D$?????D$????????vUWVS??L??x?Ս???ò??D$ ?D$<???T$4~,?Ջ?l1Ҹ?t&k??J
?D>Dу?
9?u?T$?|$ ?G???|$ ?F???t$(?D$ ?L$09L$ ???L$ ?9??????
?f????t$(?D$$?>?????t$(???????|$,??????T$$??p1҉T$4???????1?)?????څ???H??Ƀ??u???u?L$4???g????D$4?????u??T$4???[?L$,?D$$?$?L$?c????L$0?D$ 9L$ ?6????t$ ??T$P+L$(???ِ?t&?D$$J?$?y????D$$??x?ͅ??????1??L$$?T$X??????????ϋL$$
??????^_]ËL$(?9?????L$(??????T$4??t)?D$$????????k??l?E??<?m????D$,????
?D$4??D$`?D$?$?D$$?p????>????v?L$(?D$ ?T$(?9?L$ ???L$@?H?D$,?J?????T$8?~?L$@?T$(?L$ ???????t&?D$4??t?D$$?????????L$ ?D$$?I;???L$L???????ʃ|$4t?ȋL$$???@?????????
ʋ9D$?ȉ?4$?L$?{???L$?????T$ ?ȉ4$??z???L$???
?t$ ?t$,???7??t4?މ?????1?)Љ????B???D
??Dƅ??z??????ŋ7??űD$ ?L$0?????t$ ??9????D$T??4$?L$?uz???L$?????|$,	???ɋD$,D͋l$,?؅?E?9?to?D$T?ʉ4$?L$?3z???L$??uU?D$L?|$d??0
??t??4
?D$L???߉??D$?4$?W????D$L???D$?<$?A????D$L???
?t$4?;l$|???t$@9t$`????1?DŽ$???????߉?????1?)????4w??t$T?>??t?l$8?I??
?v?D??8?p?@???????????1?)????p??D$T?0??t?l$8??D$4xt?D$0?L$8??
?@???f???
;:?ʼn?y	??;D$ u?9D$4?l$0????n?V??$??l$,??$??)??$??.?i?n?i?n?
?D$,?Q?A?l$4???l$,???o????L$`?|$D
?D$X
?L$H???t$D9t$|?-?D$L?L$`?t$@?D$X
??D
??H9?L$H?[???D$l???8???ى?????1?)????Q??T$T?
??t ?t$l?l$8?R?D$l
?4v?l??M?U?}??9D$`w??L$`?|$l
?D$X
?L$H???D$L?L$l??D??H??
??
?L$t?#??D$D?D$X?D$D?L$H??|$HD$H?l$8?t$8??
?‰|$ ?<???|?
Љ??|$?D$4xt?D$0?L$8??
?@???f???
;:?ʼn?y	??;D$ u?9D$4?l$0???n?V??$ 
?l$,??$(
?)??$$
?.?i?n?i?n?
?D$,?Q?A?l$4???l$,???o????L$l?t$8?l$t?I???D$,?D??H??)΅?~2??H?x?p??$D
?H?H??$H
??$L
?P?H?x?p????
u??|$t
??
?L$8?D$ ?A?y?i?q;i?T$ ??$<
?A ??$8
?|$4??$@
??y6??f??|$8?R??
???8?:?x?z?@?B?ȃ?;(??x؋L$8?v?4???$<
?.?D$ 
?F??$@
?F?t$l9t$ ?
?L$4?e?????t??$?t?|$@?G?????D$X???????7??????
f?????????????????
?$?D$L?D$??????D$L?K??????????D$L1?ǀ?
???????
?D$X????????D$\?T$d?D$?D$@?$??D$L?L$??j???D$@?P?D$\?D$?D$d?$?D$L?j???L$???????L$ ?D$X?t$@t	??9t$`vB?????L$ ?8???ى?????1?)?t$T???Q?????u?}????9D$`w̋L$ ??9L$8s0?|$X?D$8????
?|$@?P??t9t
9Wt?????9?w???t$H?|$P
?y????|$P9|$|???T$@9T$H?D$`???????????1?)?????N??L$T?1??t$?|$`?ދI?l$8?D$`
?<?ٍl??u?M?E??9T$Hw??|$`
?b?D$L?L$`??D??H??
??
?L$t?)??D$D?D$l?D$D?L$P??&?|$PD$P?l$8?t$8??
?‰|$ ?<???|?
Љ??|$?D$4xt?D$0?L$8??
?@???f???
;:?ʼn?y	??;D$ u?9D$4?l$0???
?n?V??$?
?l$,??$?
?)??$?
?.?i?n?i?n?
?D$,?Q?A?l$4???l$,???o????L$`?t$8?l$t?I???D$,?D??H??)΅?~2??H?x?p??$?
?H?H??$?
??$?
?P?H?x?p????
u??|$t
???L$8?D$ ?A?y?i?q;i?T$ ??$?
?A ??$?
?|$4??$?
??y6??f??|$8?R??
???8?:?x?z?@?B?ȃ?;(??x؋L$8?v?4???$?
?.?D$ 
?F??$?
?F?t$`9t$ ?H?L$4?e????t$H+t$@?|$h??????1??1????????t$L??1????????p????|$@?L$\?t$d?L$?t$?G?$?D$L?? ???L$\?W?t$?L$??$?D$L襠???F????t$@?|$T??t$L?؉?????1?)щ????J???T?T$4?L$4??1?)ы?p?t$4?
???م?Hф??T????|$@??9|$`?|$ ?
?L$@?|$4?Q?ډ?????1?)?t$T???J??;|?????L$ ?0????ډ?????1?)??|$4???r?t$T??;|???????9L$`w͋T$T?l$ ?M??9?tx?ω?????1?)????????4w??1?)?????|}????
?
֋/9.?ȉ????΋v9w}1?G??u
?(?t&?A??t??????1?)??????O??
?;q܃D$ ?L$ 9L$`?h????T$T?t$L?ŋT$`?݋|$h?D$X
??
?t$`+t$@?T$H??????1??????????L$8L$,?D$X?y?|$,?|$8?L$ ???|$L;l$,???M9L$ ??U9U??T$d?΅??G
?L$0?(??t&?
??;t$ ???L$0??)?L?9M|v?V?F??<
??
????t??L$@?
9?t9Qu??L$\?‰??$???L$?c???L$@???Q?L$\?$?L$??b??1?;t$ ?y?????;l$,?)??????L$ ?D$X?l$@???t$T??L$ ???????1?)ʉ????Q?????u?E????9|$HwҋL$ 9L$8s1?t$X?D$8???
?t$@?P??t9t9Vt?U????9?w??E?l$H?????L$4?(????9t$ ?D????L$4??)?L?9M?/????N?F??<
??@
??
????t??D$@?9ȉD$0t?T$@?
9Ju??L$\???T$0?L$?L$d?$?a???L$@???Q?L$\?L$?L$d?$?a??1??Z???????????L$8?
L$,?D$X
?y?|$,?|$8?L$ ???|$L;l$,??????M9L$ ??
?U9U??
?T$d?΅????D$4?L$0?0???D$4
??9t$ ???L$0??)?E9D????L$4?V?F??<
??
????t??L$@?
9?t9Qu??L$\?‰??$???L$?`???L$@???Q?L$\?$?L$?`??9t$ ?D$4?k????D$4???
????L$4???t&??9t$ v?L$4??)?L?9M|ԋN?F??<
??@
??
????t??T$@?9ʉT$0t?T$@?
9Ju??L$\???T$0?L$?L$d?$??_???L$@???Q?L$\?L$?L$d?$??_??1??b???1??t$@?D$x?D$X
??t$H1??
1??Y??????,????P??t?????9?w???t$H?^????v?P??t?U????9?w??E?l$H?????|$h??????떃?9l$H?b?????????$??|$l?v?????D$,?d
?|$l?l$8?D??D?????t&??H??)΅?~2??H?x?p??$??H?H??$???$??P?H?x?p????
u??|$l
???L$8?D$ f??A?q?i;i?T$ ??$??A ??$???$??A?D$4y9?֐?t&?|$8?R??
???8?:?x?z?@?B?ȃ?;(??x؋L$8?v?4???$??D$ 
?.?F??$??F?t$ 9t$l|^?L$4?h????L$|?Dm???T$8?D$?I???$?D$L?[x???t$@9t$`?l$|?D$8?????D$L?D$,??D??H?|$8|$,????9T$8?|$ ??????l$8?u???y?4???H???#??9?w???????l$?}?~?}?~?E?D$4?U?T$X+D$H+T$4?M9???
?T$,?D$,?t$X?T$X+T$H????
??
??)ƒ?
?t$X?D$H?
????t$L???9???L?h??P??@?????l$X?D$H??????l$?}?~?}?~?E?D$4?U?T$P+D$D+T$4?M9??h
?T$,?D$,?t$P?T$P+T$D????
?h
??)ƒ?
?t$P?D$D??????t$L???9????????x??P??@?????|$P?D$D?????l$?}?~?}?~?E?D$4?U?T$H+D$D+T$4?M9????T$,?D$,?t$H?T$H+T$D????
????)ƒ?
?t$H?D$D??????t$L???9????????x??P??@?????|$H?D$D?????t$,?T$X?D$H?N?L$H+T$H??
?)????$?T$t?D$L?w???D$L?T$t?4$?xw???D$H?????t$,?T$P?D$D?N?L$D+T$D??
??????$?T$l?D$L??w???D$L?T$l?4$?/w???D$D?f????t$,?T$H?D$D?N?L$D+T$D??
?????$?T$X?D$L??v???D$L?T$X?4$??v???D$D?????D$ ?r?????9??r????p9t$ v?H9H?L$4?s?x?????D$L?l$d??
??t??
?D$L??
?t$`??+t$@?T$`?|$h??????1?T$H?????D$x
?
?D$X
?q????t$`?D$X
?t$H?????|$@?L$H?D$L?/?
?????????(
?'????l$0??????$?????D$,?S?????D$p??DŽ$?Ƅ$??D$d?7????|$@?t$d?t$?G?D$?G?$?D$L??????W?t$?G?D$??$?D$L?????W?t$?G?D$??$?D$L?˒?????D$L????
?t$@?L$H?
????F????F????????G????L$@?T$L?1?y?L$L????1?)ƃ????h???$?
Ƌ?V????
???8??
?8?|$L??
?V??$??(?t$ ?t$@?D$ 
?D$ ?|$$?T$$?T$$??$?F?>??(????1?)Ѓ????h???$??4???
?F?D$,????T$,???8?
?8??
?D$ ?V?t$L?T$$??
??$?D$d????(???????
?t$@?L$H?
????F????????????|$|?v???T$8?D$????$?D$L??q???t$|?D$8??????D$,??9L$ ??
?͋D$4+l$,?~9D=???
?D=?????????΋l$|????T$8?D$?Dm???$?D$L?cq???|$|?D$8????????
?9??????
?????????5????T$L??N????
?L$,???ы?$??(?T$ ?T$,?L$$?????????????L$L?V????
???????L$@1??l$0?l$?????x??x??$???$??Y???DŽ$???$???&??$???$?DŽ$?
??߉?$???$???$???$??D$|?L$l??1?)ƃ???$?????$???$??|$l1???$??h?$????
?(??$??@?,??L?9͉L$`?????%??????
?}?!????9t$`???>??????uՉ????????????D$x??1ȉL$t)ȋL$l?T$pk??l?L$t???????$??J?L$t??$??L$t???T$x????u?|$|??;?$??m????ҋD$l?????
?????
???
9t$`?L?????t&??$?)????ދB
Ƌ?$??D$l?4$?rQ???D$|
?|$|??????L$l??????9?t???;??????????.Q???3?????????????D$D???t??
?P?p????
ʅ???P?@???u9?}?T$(???????T$$?D$H?t????
?P?H?0????
?????P?@???E9??????T$0??\??[^_]????L$00?1?1???tc?|$0????|$0???D$0???|$0????n???T$0??????????
#T$0??
????G????D$0?‰ƋD$0????
???????
????4????t&?T$0?????|$0????????1ɋt$0? ??
????
???????9??eN?Oʉ?)ʃ?
u??????v????????
?$???D$?u?????????&?T$,??w?T$?T$$?t$?$?T$8?j???T$,??t$?T$?T$8?$?T$$?j???T$,??T$?T$$?T$?T$8?$???yj???|$,???C
????s????D$8?T$8?L$8??1?)‰????t????
?x?H???L$,???????
??H?@???9L$,}??????D$$?T$$?L$$??1?)‰????t????
?H?x?ɉ|$,?8??

?????
?H?@????9L$,}???T????????1?)‰????t????
?H?p?8???0

????&
?H?@????9??j????X???f????m????D$,?L$(???$??L$??s???O????D$8?|$8??p??1?)??9?L$?????ة????@
??D
??<
?$??Ɔ<
džH
'džL

džP
?????????E?????P?????X
??\
??T
?$??ƆT
dž`
džd
džh

?s????m?????f?????p
??t
??l
?$??Ɔl
džx

dž|
dž?

?&????w???????????
???
???
?$??Ɔ?
dž?
 Ndž?

dž?
@B????????????4??????
???
???
?$??Ɔ?
dž?
 Ndž?

dž?
??
???????????\??????
???
???
?$??Ɔ?
dž?
-1
dž?

dž?
????????ơ???????????????
?$??Ɔ?
dž
dždž
???????????????????????$??Ɔdž 0udž$
dž(@B?????????????????0??4??,?$??Ɔ,dž8@?dž<
dž@??
?X????Ƙ????̪????H??L??D?$??ƆDdžPZbdžT
džX???????ј????ۘ????`??d??\?$??Ɔ\džh??džldžp????
????????????????x??|??t?$??Ɔtdž??'	dž?dž?????q
?????????!?????????????$??Ɔ?dž?dž?dž???$
????:???????????
???
???
?$??Ɔ?
dž?
2dž?

dž?
???????E???????????
???
???
?$??Ɔ?
dž?
@Bdž?
ddž?
??????????????O?????????????$??Ɔ?dž?
dž?dž?
?=????c??????????X?????????????$??Ɔ?dž??dž?dž?????????H?????|?????????????$??Ɔ?dž?dž?dž?
?T????T???????????????????$??Ɔ?dž'dž
dž@B?????`?????Ȭ?????????$??Ɔdž'dž
dž @B?????j?????t?????(??,??$?$??Ɔ$dž0???dž4
dž8???m???????????????@??D??<?$??Ɔ<džHdžL
džP? ???????????????????????$??Ɔ?dž?dž?
dž????????????????4?????X??\??T?$??ƆTdž`džd
džh???????????????X?????p??t??l?$??Ɔldžx'dž|
dž??????9????	???????????????????$??Ɔ?dž?
dž?dž?
??????Қ????|?????????????$??Ɔ?dž?
dž?dž?
?????ٚ??????????????????$??Ɔ?dž???dž?dž?????R?????????ح????????????$??Ɔ?dž?@Bdž?dž?????????????????????????$??Ɔ?dž(dždž'???????????0??????????$??Ɔdž @dž$dž(????k?????????`?????0??4??,?$??Ɔ,dž8
dž<dž@
?????????????????H??L??D?$??ƆDdžP
džTdžX
?????????????????`??d??\?$??Ɔ\džh'džl
džp@B??????????̮????x??|??t?$??Ɔtdž? Ndž?
dž???
?7???? ???????????????????$??Ɔ?dž?-1
dž?
dž?????????+?????5?????????????$??Ɔ?dž?Zbdž?dž?????????K?????U?????????????$??Ɔ?dž??dž?dž?????P????k?????u?????????????$??Ɔ?dž?dž?dž?'????????????????????????$??Ɔ?dž?dž?dž????
?????????????????????$??Ɔdž
dždž
?i
??????????8????? ??$???$??Ɔdž(
dž,dž0
?
??????????`?????8??<??4?$??Ɔ4dž@ NdžD
džH??
??????ě??????????P??T??L?$??ƆLdžX-1
dž\
dž`?????????????Л????h??l??d?$??Ɔddžpdžt????džx
?5????ޛ????????????????|?$??Ɔ|dž?dž?dž?
?????????????????????????$??Ɔ?dž?
dž?dž?
???????????ԯ????????????$??Ɔ?dž?'dž?
dž?@B?N????????????????????????$??Ɔ?dž? Ndž?
dž???
?
??????????$?????????????$??Ɔ?dž?-1
dž?
dž?????????????? ?????????????$??Ɔ?džZbdždž????g?????6?????@??????????$??Ɔdž?dždž ?????????V?????`?????(??,??$?$??Ɔ$dž0dž4dž8'?????????????v?????@??D??<?$??Ɔ<džHdžLdžP???????????????H?????X??\??T?$??ƆTdž`
džddžh
?3???????????t?????p??t??l?$??Ɔldžxdž|dž???????????????????????????$??Ɔ?dž?
dž?dž?
????????????Ɯ????????????$??Ɔ?dž??dž?ddž??????L?????֜??????????????????$??Ɔ?dž?dž?dž????????????ޜ???????????????$??Ɔ?dž
dždž
??????????????????????$??Ɔdž  Ndž$dž(????e??????????Ȱ????0??4??,?$??Ɔ,dž8ddž<dž@'???????????%?????????????$??Ɔ?dž?
dž?dž?
???????=?????G?????????????$??Ɔ?dž??dž?dž??????~?????`??????????H??L??D?$??ƆDdžPFdžTdžX????1?????k??????????`??d??\?$??Ɔ\džh2džldžp????????v??????????x??|??t?$??Ɔtdž??dž?
dž???
??????????????????????????$??Ɔ?dž??dž?
dž?'?J???????????H?????????????$??Ɔ?dž?
dž?
dž???
?????????????h?????????????$??Ɔ?dž??dž?
dž???
??????0?????ɝ????????????$??Ɔ?dž?
dž?dž?
?c?????۝?????????????????$??Ɔ?dž?dž?
dž	?????????????????????	??	??	?$??Ɔ	dž	dž	dž	?????????????????? 	??$	??	?$??Ɔ	dž(	?dž,	dž0	'?|???????????????8	??<	??4	?$??Ɔ4	dž@	?
džD	džH	@B?/?????1?????9?????P	??T	??L	?$??ƆL	džX	n?
dž\	dž`	@B????????8lu?x
ou?xgt}??t&??ƍ??????t??ƍ??????u????;l$$v???<[^_]Í?&?U???D$?$
?T$?T$T?T$?T$,?T$?>???;l$$?d????f??xu???;l$$?M???뤍v?t$T?|$$?T$$?t&?E?T$$?D$?E???t$?T$?$
?D$?߇??9?vӃ?<[^_]Ë????????????D$???????D$??????D$?D$
??$?݇????D$?D$
?D$??m????$虆????$
?D$臇??1?趉??UWVS??,?|$@?g?????D??tQ?w??,9?ww???<[^_]ËD$,?????????1??$?H???????D$,????????'????X??Tw??\$,?t$0?|$4?l$8??<Í????\??????????????????D$???????D$??????D$?D$
?E?$??z????O????|$?D$?D$
?E?$??z???E?D$?$
?z??????|???????????????D$???????D$??????D$?D$
??$?vz????D$(?D$
?D$??ȳ???$?2y???닋????????????D$???????D$??????D$?D$
??$?z????D$ ?D$
?D$??????렍v??'VS??$?t$0?????Ö???~??T??݆??????????????Ʌ?܆ݖ??ݖ?~
?@
??1ҋ????$??????x??8??$?????T$`??4߬$?????$????س??????$????t	+?????\$pݜ$?ݜ$?ݜ$??4$?D$l?L$h?1v???D$l??$??L$h?l$,?D$0?D$`?|$݄$??\$L?D$(??$?݄$??\$D݄$??D$ ??$??\$?L$@?????|$D1?)??9???ك|$DH????4???k??L$X?|9???????????׃??|$?	
?????D$8???$?T$t?W????|$D?T$t?D$8?<$?C???9t$<??????l$h?L$l?|$L9?t'???萍t&?0???2??9?u??)?l$L???|??l$t?t$x9?t ????f?????
??9?u??)????|?+|$L?D$8?T$H???<$?O????D$h?D$l?D$t?D$x?L$T
L$(?l$4
??????D$8?D$P
?L$P;?x?b????T$h?D$p)Ѓ????t?t$8)???$?@Y???D$t?D$h?T$|?D$p?D$l??t?|$8)ƒ??)???$?Y???D$t?D$|?D$x?D$P??????t&?|$P???
?l$P?T$8?D$\
?D$X?Dm?????D$T?ƉNj6??t$L9??|$H?t$4?^
?.????????
??
?=???w???L$4???|$@?)???L$4?Ήt$?ȉt$H?΋L$`??t&??????9?r??D$`?t$H)????????|
???$???)?????B?$?D$L?????D$L???????u?v?D$L??$?
??$???$?;?x????????????$??l$L???&??t?T$p??4$??
?|$?,????~?T$L?D$h?D$`??x???8
?v?L$`?t$`?D$\
??މL$d?t$X?T$X?D$X?L$L??1?)Ѓ????
???h1?
‹?T$P?R???????D$T?T$l?l???????
?B??????D$?|$,)???9T$?D$`
?l$t?b
f??L$?,????
?????????1?)ʋ?p????م?Hф??

???ډ???1?)ʃ????h
ʋJ?????:???
??‹B??J?????1?)?k??l9??Au܋D$0??)??Ѓ??D$0????|$l
?!
?L$8???
?T$8??
?q?????A?Ѕ?t?ȃ???‰??B????p?H??u???@????%?????L$P?D$?A?D$?A?$????`????t$P?V?D$?F?D$??$???>????V?D$?F?D$??$??? ????F????F????F?????????t&?D$@D$t??+T$X9D$XF?;D$\??????|$X
??????l$@?t$X9t$\El$\???????l$\?D$@?|????t&?D$@+D$d?T$p?@???1?????t???p?????l$P??1?)ŋD$P?l$8
???D$h???؅?I„??T$?l?A?i?D$0?D$0??L$,?D$?l$?$???'o???T$0???D$?l$?4$?
o???T$0???D$?4$?T$????n???L$,???
?
?????????|$l??????T$P?*?J????1?)Ń????h????
ŋE?U????
???8t#????L$,???????
?E?U???L$,????
??D$P?U?l$P??$??(?m??
????$?l$0?h?d$0?L$0????1?)Ń????h??(
?h?D$l??l$8???
??
?l$8?,??E?l$h??t:?T$l???r????l$l?L$l??$?E???
?I?D????L$8??(?D$h?l$0?D$h?(?D$8?l$l??
??
???E??$??(9t$P?????D$P?v??????9?v??f????T$h?D$P?$?T$????L$,?Vn???D$P?P?D$h?$?D$???9n???L$,???A??????
늋L$P?Q??????1?)?????م?H??????????7????i?????l$01?)ŋD$P?l$l?(?l$0???څ?iIЄ҈?$??c?????????1?)ЋT$P??$?????؅?I„??T$P?4????D$?T$?؅?H?1????6?T$0??$??؅???$?Hи????D$P?T$P?؅?HЄ??)?D$0?T$h?????????Ƈ?
????؅?HЄ҈T$P????H???ډT$P???P
??Hu
?T$P??L?T$P???L$,?????T$P???D$?$?h???????????L$,?????T$l??p??T$0?D$P?؅??T$PHЋD$0?҈T$P?/?؉D$P??H?P
????Hu
?T$P??L?T$P???L$,?Q????T$P???D$?$?װ?????0????L$,??????$???p??D$P?T$P?؅?HЄ҈T$P????H???ލP
????Hu??L????L$,?ͯ??????D$?$?U??????????L$,???v1҉??9???Ƈ??]????|$L???(???LJ?????1҉??????6???1??
???9?$???????|$L??`?????????
??`?????9??t????k???9?f??L????A????D$P???
??
??90t??90u????&????P??u?|$l??@????????L$P?t$h?Q?t$?D$?
?$??聥???L$P?t$?D$?A?$????b????M??????
??
???|$ht;??$?
ȋ?(?q?Q?t$0?1??????1?)ŋD$0?l$8?l$0??1?)ʼnl$l?l$8???????
?????
???h
?l$0??$??????l$8?ŋ?m??
ЉD$h???l$P??t6??$????L$,? ?????$????
?L$,?E?m??
ЉD$h?l$P?l$8?D$P?T$h?,??‹?$??
??$??D$8?D$8
?D$8?U??(?l$l??$?D$0?T$?????$?DŽ$???$?DŽ$?DŽ$???t)ƒ??)???$????????DŽ$?DŽ$?DŽ$????????"??????J??????C??????,?????腙?????~?????觰????????????????????;?????????????J?????5??????????????a????|$,;???|?|$(;??u??d?????????
??d?????v??$???$??|$4)????ɉL$P?l????͋??????D$l
?t$$??i?i???
???i?PF???<????1?
??t$P??i?i???
ȉ?????T$D??????i?PF??
??

Љ??1??t$P??DT$l?֍?&9???s?????u?!???ȉ?1????u??
v??
9?D??͉???t$l?D$T??t&?D$$????????T$L;???^?t$$?G????L$H;???7????t&??x???ՉT$0??????$???Չt$$?D$8??t&????t&?։???????1???)???
????u?9?t)?ꐍt&?׉???1?)??f???????1?)?k??l?@????
?8
?D$l?$??\$ ??ڬ????
????????u??D$H?t$(??tO?T$8?D$8???R?????????H???????k?4??
?H????
?????????????????????????9?\|?????u??t&???	v????h
?P???h
?P???????1?)Nj?lk??D8???م?H???t‰?T$D??u???l$(
??
??l?t$ ?D8?t$L????
?H?@?L$4?D$8?F??????|$<
?t????????f???)???T$(;T$ ??
;T$L?I????|$<?>?????|?t$D??x?L$4????މL$8?L$4???L$@?L$4???L$??????1?)ЋT$(k??|$ ???l?M?E?L$4??
????l?T??T$??t&?P??p?????1?)?k??l?f?9?uߋD$(??)??Ѓ??D$(????T$49L$ ?????D$ 1Ґ?t&?09?Lփ?9?r?D$ ?Ѝ????
?????L$ ?t$$?D$T?t$T?|$_???????|$4u????&_?????[
??????????)???;D$ ?L$P?\?L$(???
?l$L
?D$ 
?<
?t$???9???????????9?f?????????????????|$ ??1??l$$?????? E?E??|$ ?l$$???????gfff????????L$ ??)‰????Z??????????????>???????UWVS???????b?????G
9????$?????$?????t]???
???J?????????????????D?H????;??????$????9?(??$????$???H??????$??????????
???????????????????D?H????;??|F;??r??T??$???$???ܤ???P??????????????1???????T????$??????????
???????????????????????D?H????;??|F;??r
??$???$??v?????P??+u-?p?h?????L$X????L$P?L$X+L$Pu?H)?+H?Dͅ?~?(?p??H???h?h?p?h??h?H?h?????
u???$?
????$??D$h???D$`?T$`?z?Ћr?J???t$P???t$h?|$X???&???
?P?P?P?P?P????+u ?P?T$p??)?u?P?|$X+|$p+T$PDׅ?x???$??v?T$P?D$h
??$??D???L$X?D$`9t$h?P?H?]?????$?9?$?~F??$???L??1????*??
?????????????)?$?;?$?????????uȋ?$???t#??$???$?)????$??$蚎????$?9?$?DŽ$???
k?4??$??ωL$x????D$|??$????????$?????$???$???$???$??I???~?L$`?D$h9????L$P???D$pf??.?N??????W??+D$`?‰D$X??????*??D$X??)‹D$h???:??X?D$P+D$`????
;L$P????T$P?Љ*?V????t?t&????????u?????D$P?q9??j????D$p?L$P+L$`?‰??????Չ΋D$|?T$p
?$?)
xh?ɋl$P??$??o?E???T$`?t$?G+D$`????$??$??????$??A
??G?G?D$x
?|$x?D$|49?$??r?????$???$???x)??????
?Nj?p???T$X?@?#?v??????1?)Ƌ?p?0???څɉ?Hń?t,k??l?v????
?F?t?????B?t&??
;L$X|??T$X???I
?D$x??$??L$x??&??h???D$`
??L$p?L$`?t$p?΋
?L$h??????$????Q1???
??????????9?r???????F???D$p
?????????t&???
??u??????f??T$P????*????D$P???T$|)‹?$??????T$P??????&?n??t
????1??u????L$P???w?????????w????T$`???G??t'??$?+D$`?T$`???)???$豇????$???$??F?F?A?????L$P1?1?1?1??D$p? ???9????????$????Q??h????D$
??c????
??????)?D????????D$??$??$???????$????
?????n???9?$??D$`?????9?$???????긫??*?????l$`??)‹?$??,??D???D$`?F??x?D$X?^??????????????????????????????????????????????????????????????$?1???>?????I??????????$?DŽ$?????D$x?&????ʋt$p???|$t?L$p?T$t???????i????
9??????????
?
??$??j???DŽ$??????DŽ$?DŽ$?????|?|$p	???????$?
????$???$?DŽ$????$???$???$??$???$?????
Ћ?$???
???@????p?x?L$P?Lm???ʉ?$??	??J?H?J?H?L$P?r?z?
??$???$??R?????+L$P?L$Pu*+p?t$Pu!?H???????L$P?H)?+t$P??E??|$P?L$P??~??X	????
?ꉆ????Ɔ?
???8???Ɔ??????????H???????????????
??D$8???????????????$??k????H??t??P?$?Ћ???????$c?D$?:m???????x??(????D$?T$?$
??l????$ ?D$?m????ķ???D$?$
??l???E??t,??(??????T$?T$4?D$?$
?l???E?T$4??uڋ?$
?D$?l????$?k????L??t??P?$???$
?.k????l???????????????\?????????x???}?????H??u,dž?
?d?????????????;???W????$???????????:?????x??~??l???8??
?`σ?9?u?p??u?????????????????8?????x??~S???????L$t?H
???????9D$tt
???*-??????D$???????D$?D$?4$?????? ??~?s????????x???????D$d??$???????d
??h
??@)???9??R	?A
??@?V????$
?D$?,W?????[Y???L$D??????????L$H?l$8?T$L??|??x????????V????D$H??????l$H???T$L??|??x???/??????`???T$D???????D$?D$?4$?T$??????E??$?????D$?D$?L$?4$??????l$H?l?_?????&??,?D$0?\$$?G?????$??t$(??t??`?\$$?t$(??,Ë???????\????D$???????D$??????D$??D$
?$?V????D$?D$
?D$??m????$??T????$
?D$??U??1???W??????'??,?t$$?t$0?\$ 蓩????p??|$(?|$4??X??t?? ???|$?D$?4$????????\
??`?`tK?@t>?????ͽ???Nj?X??t???????|$?D$?4$軵?????\$ ?t$$?|$(??,Ð??????빋???????f????D$???????D$??????D$?D$
??$??T????ˠ???D$???????D$?D$
??$??T????$
?D$?T??????V???v??'????>??$??h?Aa??a??$????	a?a???????L$ ??$?\$$?\$?D$??0????\$?T$?D$?$蘮????$?????$????ۄ$???????????=??=??)??????l`?j`??????$?\$?D$??l????\$?L$?T$?D$?<$??????x?D$??t?D$??p?<$?D$???????D$?????????$?D$???????D$?T$???????,$?D$??غ???T$?D$裭????$???????D$?T$???????4$?D$??????T$?D$?b?????$??????߭??????ʋ???????M<?O<??$????????^??^??????$?\$?D$??,????T$?\$?D$?$?۬????$??????????$???$????߬$?????????????;??;??$ߩ????????????B;?D;???????ɉt$??$?\$$?D$??X????\$?|$ ?T$?D$?4$?D$?+?????$?????????????2??$?ۄ$????????????k:?m:??]??]?????L$$??$?\$(?\$?T$ ?t$?|$?D$????$?D$???????D$薫????$????D$????D$????4$?D$??Ի???D$?_????????$??$????ۄ$????????????F9?H9??$?????\??\??$?????\??\???????L$??$?\$(?\$?D$??????\$?t$$?T$?D$?$軪????$??$??$??H??X??P??$(?D?$0??<?T??$??@??$
???$ ??L??$
Ƌ?$?7
鉔$@??$??8??$H??l??p??$??$??$߬$?????ʋ?d???ڋ?h??$8??$<??7??7??$??\??`??$8??$<?[?[??????$H?\$??$?\$?D$$??$?T$??$?D$??4??$@
?$?D$??H????D$?C?????$@
ۄ$@????????????6??6?ى?$?ۄ$????????????o6?q6???ɋ?$@?\$?L$??$?\$?D$???????D$?$?Ũ????$??$???Pۄ$?????????????5??5?ى?$???$ۄ$??????????ڋ?@??5??5???ɉt$??$?\$???????\$?D$?l$?4$?4?????$???Xۄ$????????????5?
5??ۄ$??$?????????ڋ?H??4??4???ɋ?$?\$??$?\$?|$?D$???????D$?$誧????$????????$???$????߬$?????????????3??3??$????????X??X??$??L??P?KX?IX???????t$??$?\$(?\$ ?D$??0????\$?T$?|$?D$?4$??????$??????????????$???$?߬$?????????????2??2?ً?$??p????\$?t$?|$?$?D$?v?????$???????4$?T$?D$
ЉD$???????D$?C?????????????4$?D$
ЉD$???????D$?L$?T$?
?????L??$??$???Tۄ$??X??????????1??1?ً?$?\$??P?D$??????D$?$?T$裥????$????D$????D$???????D$?T$????4$?D$??????D$?X???߮<߮????????????<1?>1????߬$?ݜ$???$????݄$????؋???????0??0?V?V???????ʋ?$??\$ ?ɋ?$???@????\$?\$?|$??$?t$?D$?<$襤????$????????$???$????߬$?????????????/??/?ىt$??$?\$?D$??|????T$?D$?|$?4$?,????????????$?ۄ$????????????G/?I/??T?v??T??????$?\$?D$???????\$?D$?T$?<$轣???????$????ۄ$?????????????.??.??$????VT?TT??????$?\$?D$??ؾ???\$?T$?D$?L$?<$?C????????$????ۄ$?????????????-??-?ً?$?\$?D$??????T$?D$?,$????????,$?D$??)????D$?Т???????????$?ۄ$????????????;-?=-?VS??&?MS??????$?\$?D$??,????\$?D$?T$?$?]?????$?????$?ۄ$?݆?????????????,??,?ً?$ۇ????????????g,?i,???????ɋ?$?\$?D$??X????\$?D$?,$?ԡ????????ۅ`????????????+??+?ً?$?\$?D$??|????T$?D$?$腡????$????D$????D$????4$?D$???????D$?N?????$???????D$?T$???????D$?T$???????<$?D$??ܿ???T$?D$???????$??D??H?D$?T$????D$????4$?D$??????D$踠???????$??$????ۄ$?????????????*??*?ً?$?\$?D$??0????D$?$?X?????$??$?? ??(?4$?T$?D$
?
ȉD$??`????L$?D$??????$???????$????<1????(?t$??$?D$???????L$
??T$?l$??D$?4$?L$讟????$?????????
?
?
Ή?$?ۄ$???????????'??'??O???O?v??'??O?v??'??O???T$(?L$$??$?T$?D$???????\$?D$ݜ$@
ݜ$??T$?t$?$???????$??݄$@
݄$????????8O?2O??$????O?O???????t$??$?\$?D$??????\$?T$?D$?4$?|?????,??0??$???$???4ۄ$????????????R&?T&?lN???dN?v??'?1N?v??'?%N????????$?\$(?\$?D$??0????\$?t$$?T$?L$?D$?,$?ϝ???? ??8??<??$?4
Ή?$???@ۄ$????????????-%?/%?{M??xM?v??'?EM?v??'?9M?v??'?M?v??'??L???????‰l$0??$?\$4?\$(?\$?D$??l????\$?L$$?T$?D$?t$?,$???????`????d????$???ۄ$?)????????????$?$?LL?JL?????L$??$?\$?D$???????\$?T$ ?$?D$?x?????$???ۆ`????????????%??%??$??d??K??K??$????}K?{K????????$?\$$?\$?D$???????\$?L$ ?T$?D$?,$????߬$????݄$??????%?%??$?????????ۋ??????
%?%??$????????J??J???????ʋ?$?\$ ?ɋ?$?\$??$?\$?D$??8????$?T$?D$?7?????$??????D$?????D$?T$??$??(?4$?D$??x????T$?D$??????̟????$??L$?4$?њ?????D$
?D$?????$?T$??>??$@??$D??$?$DŽ$HDŽ$Lthk?$d
?
??$`??$??$
ʉt$?|$?$?T$?e>?D$
?D$?????$?T$?C>??$H??$L??$,?$(DŽ$PDŽ$Tthk?$l
?
??$h??$(??$,
ʉt$?|$?$?T$??=?D$
?D$?????$?T$?=??$P??$T??$41?1??$0t^k?$t
?
??$p??$0??$4
ʉt$?|$?$?T$?[=?D$
?D$?????$?T$?9=?Ɖ׋?$???$?l$?$?;}????$4??$0??$,?T$L??$(?D$H??$ك?????T$P?T$8??$?T$@?L$]??݄݅$?????????ل$@
??????$??8????T$?ɉD$?\$ٜ$@
?<$??\???t$?<$??\??݄$?ܤ$݄$?????????ل$@
??????$??P????\$?D$?\$?4$?\??݄$???????????????????t&???؍t&?
?????؉?$???$??$?߬$?ܴ$??D$?T$?\$??<??@?$?D$???????T$?D$??[??݄$?س????ܴ$???$?????????$??D$?|$??$?t$?<$?\$?[???<$??????e????D$?<$?\$݄$??\$?[????$??<$?L$?|[??݇?݄$?????????
???؍?????$؋??????{????D$?$ܴ$??\$???\$ݜ$
?[????$݆?݄$
????????	???ؐ?t&????$؋???????????D$?$ܴ$??\$???\$ݜ$
?Z????$݆,݄$
??????$؋???????????D$?$ܴ$??\$???\$ݜ$??pZ????$݆$݄$?????????f?????$؋???????????D$?$ܴ$??\$???\$ݜ$??Z????$݆?݄$????????ؐ????$؋??????Ρ???D$?$ܴ$??\$???\$ݜ$??Y????$݆|݄$????????ؐ????$؋??????ߡ???D$?$ܴ$??\$???\$ݜ$??gY????$݆l݄$????????ؐ????$؋??????????D$?$ܴ$??\$???\$ݜ$??Y????$݆?݄$???????$؋??????????D$?$ܴ$??\$???\$ݜ$???X????$݆4݄$?????????f?????$؋??????????D$?$ܴ$??\$???\$ݜ$??gX????$݆?݄$????????ؐ????$؋??????.????D$?$ܴ$??\$???\$ݜ$??X????$݆d݄$???ݜ$??????f?????$؋??????E????D$??Z????$ܴ$??\$?\$?W????$?t$?<$?W??݇T?????ؐ????$؋??????r????D$?$ܴ$??\$?\$?`W????$݇<????$؋???????????D$?$ܴ$??\$?\$?#W????$݇?????؍?????$؋???????????D$?$ܴ$??\$?\$??V????$݇D?	????؍v????$؋???????????D$?$ܴ$??\$?\$?V????$݇??	????؍v????$؋??????͢???D$?$ܴ$??\$?\$?HV????$݇?	????؍v????$؋??????????D$?$ܴ$??\$?\$?V????$݇L????$؋???????????D$?$ܴ$??\$?\$??U????$݇\?????؍?????$؋??????
????D$?$ܴ$??\$?\$?xU????$݇t?	????؍v????$؋??????"????D$?$ܴ$??\$?\$?0U????$݇?	????؍v????$؋??????8????D$?$ܴ$??\$?\$??T???t$??$?4$??T??݄$?ܤ$?
???	?؍?&????$؋??????P????D$?$ܴ$??\$?\$?T??݄$؋????ܴ$???$?\$݄$??j????\$?D$?$?LT????$??????D$?4$?3T?????????D$?4$ك?????\$݄$??\$?T?????$????????[^_]Ív????t&??݄$????????????????????t&??݄$????????????|???????t&??݄$????????????)???????t&??ܴ$????????????????????t&??߬$pܴ$?ݜ$0??????t&????t&??߬$hܴ$?ݜ$(?~????t&????t&??߬$`ܴ$?ݜ$?4????t&????t&??߬$Xܴ$?ݜ$??????t&????t&??߬$?ܴ$?ݜ$?????t&????????????????????????????????$ݜ$
??ݜ$0
ݜ$ 
ݜ$@
????݄$@
݄$ 
݄$0
݄$
???????????C????????????݄$?س?????(??????$??ݜ$???ݜ$
ݜ$ 
ݜ$@
?@???݄$@
݄$ 
݄$
݄$????????????????$??ݜ$
??ݜ$0
ݜ$ 
ݜ$@
?????݄$@
݄$ 
݄$0
݄$
?????????N??????$??ݜ$
??ݜ$???ݜ$0
ݜ$ 
????݄$ 
݄$0
݄$?݄$
??????????????$??ݜ$
??ݜ$???ݜ$
ݜ$0
?E???݄$0
݄$
݄$?݄$
???????????>???????؉?$???$?߬$??????:???????؉?$?ۄ$???????????????؉?$???$ۄ$??????H???????؉?$?ۄ$??????????????؉?$?ۄ$?????????????????؉?$?ۄ$????????????????؉?$?ۄ$?????????????؉?$?ۄ$???????????????؉?$?ۄ$????????????$?ۄ$????????????$?ۄ$?????????????ى?$?ۄ$?????????????????ى?$?ۄ$??????????????؉?$?ۄ$??????????????؉?$?ۄ$??????B???????؉?$?ۄ$??????`???????????????????؉?$???$?߬$????????x???????؉?$???$??$?߬$??????*????????߬$8?????|???????؉?$?ۄ$????????????????؉?$???$ۄ$?????????????؉?$???$?߬$??????????????؉?$???$?߬$???????????????؉?$?ۄ$??????X???????؉?$?ۄ$???????????????؉?$???$ۄ$??????f???????'??,?T$0?\$ ????????z?t$$?҉|$(t,???????????\$ ???t$$???|$(??,Ë????????????D$???????D$??????D$?D$
??$??????D$?D$
?D$??m????$?X?????$
?D$?F???1??u????
???????????????,?D$0?\$$???????y?t$(??t??8?\$$??4?t$(??,Ë????????????D$???????D$??????D$??D$
?$???????D$?D$
?D$??m????$??????$
?D$????1???????&??,?D$0?\$$?g>????Dy?t$(??t??@?\$$??<?t$(??,Ë????????????D$???????D$??????D$??D$
?$?4?????D$?D$
?D$??m????$???????$
?D$?????1??
?????&S??=???Þx???D$?$
???????D$???????????D$?D$?$
?e?????ܣ???D$?D$?$
?G??????????D$?D$?$
?)?????????D$?D$?$
??????$????D$?D$?$
??????? %swcan not write '%sactsactavgmaxactstdminactstdmaxagileagility limit for restartsblkclslimmax blocked clause sizeblkmaxeffblkmineffblkreleffblkocclimcaplendeactivatedeactivate partitionsenable decomposedcpirrintincdcpcintincdcpvintincenable distillationdstirrintincdstcintincdstvintincdstmaxeffmax effort in distillingdstmineffmin effort in distillingdstreleffrel effort in distillingdefragfreedefragintenable eliminiationelmirrintincelmcintincelmvintincelmhteelmhtelimelmclslimelmaxeffmax effort in eliminiationelmineffmin effort in eliminiationelmreleffrel effort in eliminationelmocclimmax occurences in eliminationelmnostrelmreslimexitonabortgcirrintincgccintincgcvintincgc visits interval incrementgluescalehlaliminchlaminlimhlamaxlimenable hte & hlr removalhteredhtemaxeffhtemineffhtereleffkeepmaxgluelhbrlftirrintinclftcintinclftvintinclftmaxeffmax effort in liftinglftmineffmin effort in liftinglftreleffrel effort in liftingotfsenable on-the-fly subsumptionpartitionpartcintincpartvintincdefault phaseplainenable probingprbirrintincprbcintincprbvintincprbmaxeffmax effort in probingprbmineffmin effort in probingprbreleffrel effort in probingrandom number generator seedsmallvesmallvevarsenable rebiasing phasesrebintrebias intervalrebfliprephrasereinitialize phaserphrintrephrasing intervalrphrfacrandecenable random decisionsrandecintrandom decision intervalredlexpincredlexpfacredlinitinitial reduce limitredlincreduce limit incrementredlminincredlmaxincenable restartingrestartintrestart intervalrestartypescincincsyncintunit synchronization intervalterminttermination check intervalenable transitive reductiontrdirrintinctrdcintinctrdvintinctrdmaxefftrdminefftrdreleffenable unhidingunhdextstampunhdhbrunhdirrintincunhdcintincunhdvintincunhdmaxeffmax effort in unhidingunhdmineffmin effort in unhidingunhdreleffrel effort in unhidingunhdlnprunhdroundlimunhide round limitverboseverbosity levelprint witness--%%-%ds-%c|    %s [%d]
%s--%s=%d
check%s %d %d %d
UNUSED | OPTSET!(%s)UNUSEDcan only write one API traceadd %dadding melted literal %dassume %dassuming melted literal %dunsatisfiedun                 
satdecision bias %dactivated component %dreturn %dderef %dSATISFIED | EXTENDEDfreeze %dfreezing melted literal %dliteral %d frozen too oftenmelt %drphr: %d rephrasedconflictsresolvedforcingreducedadded%.1f seconds, %.1f MB%8.3f %3.0f%% elim%8.3f %3.0f%% decomp%8.3f %3.0f%% defrag%8.3f %3.0f%% distill%8.3f %3.0f%% gc%8.3f %3.0f%% lift%8.3f %3.0f%% part%8.3f %3.0f%% probe%8.3f %3.0f%% reduce%8.3f %3.0f%% transred%8.3f %3.0f%% unhide-----------------------%8.3f %3.0f%% analysis%8.3f %3.0f%% block%8.3f %3.0f%% block gc%8.3f %3.0f%% decomp trj%8.3f %3.0f%% decomp gc%8.3f %3.0f%% elim gc%8.3f %3.0f%% hte%8.3f %3.0f%% rebias%8.3f %3.0f%% restart%8.3f %3.0f%% unhide gc%8.3f %3.0f%% simplifying%8.3f %3.0f%% search=======================%8.3f %3.0f%% allc sizeof (int) == %ld
c sizeof (unsigned) == %ld
c sizeof (void*) == %ld
c sizeof (Stk) == %ld
c sizeof (AVar) == %ld
c sizeof (DVar) == %ld
c sizeof (EVar) == %ld
c sizeof (LGL) == %ld
c MAXVAR == %ld
c MAXREDLIDX == %ld
c MAXIRRLIDX == %ld
releaseout of memory allocating %ld bytesc %s seconds         irredundant          redundant clauses  agility  height
c %s         variables clauses conflicts large binary ternary    hits        MB
%d (%.0f%%) positive phase bias, %d (%.0f%%) negativeout of memory reallocating %ld to %ld byteslglsignedmarked (lgl, other) > 0c *LGLIB* covered line %d: %s
[unhd-%d-%d] %d unassigned variables out of %d (%.0f%%)[unhd-%d-%d] %d root literals out of %d (%.0f%%)[unhd-%d-%d] %d additional non-root searches out of %d (%.0f%%)[unhd-%d-%d] %d literals not in F2 out of %d (%.0f%%)[unhd-%d-%d] %d visited literals out of %d (%.0f%%)[unhd-%d-%d] %.2f average number visited literals per searchnumber of redundant large clause literals exhaustednumber of irredundant large clause literals exhausted*** API usage error of '%s' in '%s': activity based reduction: 0=disable,1=enable,2=dynglue average max limit for dyn actsglue standard deviation min limit for dyn actsglue standard deviation max limit for dyn actsdecision order initial bias (0=nobias,2=cutwidth)enable initial blocked clause eliminationmax effort in blocked clause eliminationmin effort in blocked clause eliminationrel effort in blocked clause eliminationmax occurrences in blocked clause eliminationcap long learned clauses in percent of averagedecompose irredundant interval incrementdecompose conflicts interval incrementdecompose visits interval incrementdistill irredundant interval incrementdistill conflict interval incrementdistill visits interval incrementdefragmentation free watches limitdefragmentation pushed watches intervaleliminiation irredundant interval inceliminiation conflicts interval incrementeliminiation visits interval incrementenabled hte during eliminationhte during elimination resolvent limitmax antecendent size in eliminationnumber of elimination rounds before strengtheningmax resolvent size in eliminationexit instead abort after internal errorgc irredundant interval incrementgc conflicts interval incrementglue scaling: 1=linear,2=sqrt,3=ldhidden literal addition limit incrementhidden literal addition min limithidden literal addition max limitenable hte & hlr in redundant/learned clausesmax effort in hidden tautology eliminationmin effort in hidden tautology eliminationrel effort in hidden tautology eliminationkeep maxglue (0=never,1=always,2=every2nd,...)enable lazy hyber binary reasoningenable double lookahead liftinglifting irredundant interval incrementlifting conflicts interval incrementlifting visits interval incrementminimization budget per literalpartition into disconnected componentspartitioning conflicts interval incpartitioning visits interval incrementplain mode disables all preprocessingprobing irredundant interval incrementprobing conflicts interval incrementprobing visits interval incrementenable small number variables eliminationvariables in small number variables eliminationrebias flip probability intervalreprasing interval increment factorexponential reduce limit increment hits limitexponential reduce limit increment factorrel min reduce limit incrementrel max reduce limit incrementrestart type: 0=top, 1=match, 2=perm, 3=reusescore increment increment in per milletransred irredundant interval incrementtransred conflicts interval incrementtransred visits interval incrementmax effort in transitive reductionmin effort in transitive reductionrel effort in transitive reductionused extended stamping featuresenable unhiding hidden binary resolutionunhiding irredundant interval incrementunhiding conflicts interval incrementunhiding reduction visits interval inunhide no progress round limitcan not assume invalid literal 0multiple assumptions not implemented yet%c %6.1f %7d %8d %9lld %7d %6d %5d %3.0f %3.0f %5.1f %4.0f[part-%d] found %d non-trivial connected components[part-%d] %d : %d vars, %d clauses, orig %d, %s[unhd-%d-%d] %d units, %d failed, %d tauts, %d hbrs, %d literals[hte-%d] %d hidden tautologies and %d literalsc k clauses %d, schedule %ld, limit %lldc e %d variables, schedule %ld, limit %lld%ssuccessfully eliminated %d = %d%% variables out of %d[needacts-%d] existing clauses glue average %.1f[needacts-%d] existing clauses glue standard deviation %.1f[needacts-%d] using primarily activities for reduction[needacts-%d] using primarily glues for reductionarithmetic increase of reduce limitexponential increase of reduce limitclause terminating zero missingcut width %d, max %d, min4 %d at %.0f%%, min10 %d at %.0f%%match trail level %d from current level %dpermute trail level %d from current level %dreuse trail level %d from current level %ddeactivated components up to %dunsatisfied original external clauseUNUSED | OPTSET | USED | RESET | SATISFIED | EXTENDEDOPTSET | USED | RESET | SATISFIED | EXTENDEDcan not melt fully unfrozen literal %dblkd: %d blocked clauses in %lld resolutionsblkd: %d blocking literals %.0f%%clls: %lld sat, %lld freeze, %lld meltclls: %lld add, %lld assume, %lld derefcoll: %d gcs, %d rescored vars, %d rescored clausesdcps: %d decompositions, %d equivalent %.0f%%decs: %lld decisions, %lld random %.3f%%dsts: %d distillations, %d redundant, %d failed, %d strengthenedelms: %d elims, %d rounds, %d skipped, %d eliminated %.0f%%elms: %d small %.0f%%, %d forced %.0f%%,  %d large %.0f%%elms: %d tried small, %d succeeded %.0f%%, %d failed %.0f%%elms: %d subsumed, %d strengthened, %d blockedelms: %lld copies, %lld resolutions, %d hteselms: %lld subchks, %lld strchksglue: %.1f avg, %.1f scaled avg, %d cappedglue: %lld maxredglue=%d (%.0f%%), %lld kept (%.0f%%)lift: %d phases, %d probed (%lld level1 %.0f%%, %lld level2 %.0f%%)lift: %d units, %d equivalences, %d implicationshbrs: %d static = %d trn %.0f%% + %d lrg %.0f%%, %d sub %.0f%%htes: %d htes, %lld steps (%.0f%% hla, %.0f%% cls), %d failedhtes: all: %d taut (%0.f%% trn), %d rem (%.0f%% trn)htes: irr: %d taut (%0.f%% trn), %d rem (%.0f%% trn)htes: red: %d taut (%0.f%% trn), %d rem (%.0f%% trn)lrnd: %lld clauses, %lld uips %.0f%%, %.1f length, %.1f gluemins: %lld learned lits, %.0f%% minimizedotfs: str %d dyn (%d red, %d irr)otfs: sub %d dyn (%d red, %d irr), %d drvpart: %d cnt, %d max, %.1f averageprbs: %d cnt, %lld probed, %d failed, %d liftedprps: %lld props, %.0f%% srch, %.0f%% simp, %.0f props/decpsns: %lld searches, %lld hits, %.0f%% hit raterebs: %d rebiased %.0f%%, %d skipped %.0f%%reds: %d reductions, %d acts %.0f%%, %d exp %.0f%%rmbd: %d removed, %d red %.0f%%rsts: %d restarts %.0f%%, %d skipped %.0f%%rsts: %d kept %.1f%% average %.1f%%tops: %d fixed %.0f%%, %d iterationstrds: %d transitive reductions, %d removed, %d failedtrds: %lld nodes, %lld edges, %lld stepsunhd: %d count, %d rounds, %lld stepsunhd: %d non-trivial sccs of average size %.1funhd: %d units, %d bin, %d trn, %d lrgunhd: %d failed, %d stamp, %d lits, %d bin, %d trn, %d lrgunhd: %d tauts, %d bin %.0f%%, %d trn %.0f%%, %d lrg %.0f%%unhd: %d tauts, %d stamp %.0f%%, %d red %.0f%%unhd: %d hbrs, %d trn %.0f%%, %d lrg %.0f%%, %d red %.0f%%unhd: %d strd, %d bin %.0f%%, %d trn %.0f%%, %d lrg %.0f%%, %d red %.0f%%vars: %d remaining %.0f%% and %d removed %.0f%% out of %dvars: %d fixed %.0f%%, %d eliminated %.0f%%, %d equivalent %.0f%%vsts: %lld visits, %.0f%% srch, %.0f%% simp, %.1f visits/propwchs: %lld pushed, %lld enlarged, %d defragsscaledglue%7s %3s %9s %3s %9s %3s %9s %3s %9sall %9lld %3.0f %9lld %3.0f %9lld %3.0f %9lld %3.0f %9lld %3.0f%2d  %9lld %3.0f%c%9lld %3.0f%c%9lld %3.0f%c%9lld %3.0f%c%9lld %3.0f%cavg  %14.1f%14.1f%14.1f%14.1f%14.1fstd  %14.1f%14.1f%14.1f%14.1f%14.1f%lld decisions, %lld conflicts, %.1f conflicts/sec%lld propagations, %.1f megaprops/seclglsetidlglsetermlglsetproduceunitlglsetconsumeunitslglsetlockeqlglsetunlockeqlglsetconsumedunitslglsetmsglocklglusagelgloptslglrgoptslglhasoptlglsetoptlglgetoptlglwtrapilglonabortlgladd?

lglassumelglseclglmaxmblglmblglsat????????????????????????????????????lglmaxvarlgldereflglfreezelglmeltlglgetpropslglgetconfslglgetdecs?????ư>?B?5P?G A@@@?@?@?@?@AA0A@APA`ApA$tI
;h?h?????????_??? n????????	/???
?????ͭ??8????I???ɲ??@????t6???\i???|????????????????L?????????????l?????.????O???d?????%8????X????x?????????X???8????X????|X?????????,???dH???h???(	??TH	??p?	????
???8??,	???X	X???	????	X
???	X??
???8
???L
h???
8???
????
???x??4X??th???H??(??P??????????????H
h??h
h???
????
? ??8#??L?%????&??8(??@?/???(1????1???X2???2??d?3????4???H5???5??8?6??hX8???9????9??H:??$?:??P????X@??C??<XC???hF??,(G??X(H????H????K????N??,XO??PhP????Q????T????X???Y??D(Z???]???8]??Ha??<?c??p?k???m??Hp??H?z???H}???(~???????8???h??????????L??????????????????H??????,????P????tH??????????????? ??P?"????#????$??@ ?$??T %??x ?&??? ?'??!?)??@!?*??d!?-???!h0???!x1??"82??$"?2??H"H5???"hJ???"?K??#8`??L#ha???#8????#Ȍ??4$????x$?????$8???%x???D%?????%?3??<&?S???&?T???&?U???&xW???&?X??$'8???h'????'?????'h????'?????'????H(???p(8????(
zR
|
?
 ܢ???FJtx?;*2$"@????A?NHA?`???? A?N OA??????8??????A?A?A?A?C@?F?A?A?A?????&A?N UA? ?(???SC D?S?H?p???<
d???lA?A?A?A?CP`A?A?A?A?4T
?????A?A?A?C$v
A?A?A?A4?
???t
A?A?A?C<

A?A?A?E4?
T???l
A?A?A?C[

C?A?A?B?
????HCJ??z??,l???gA?A?A?a?A?A?4L????A?A?C?C,?

A?A?A?G0?t???A?C?A?C?A?A?A?0?7???
A?A?A?C
A?A?A????? A?^? ????CG?I?M?x???4,L
???A?C?A?C(?
A?A?A?Hd?
??bC T?D?F???z???AA?C?C ??????A?A?N (???zA?A?N gA?A?(?X???A?A?C ?A?A?(????C0D?S?F?F?V
????D(H@??WA?Npw
C?GCC?<tt???A?A?C?A?Cp?
A?A?A?A?A?4??0D?k??H??34?t???
A?A?A?C>

A?A?A?A$????C H?R??c
???H,D????A?A?A?z
?C?A?G$t????C@F?J?W???????,?????A?C?A??
?A?A?A<?<???A?A?A?A?C?
A?A?A?A?FH???
A?A?A?C(?
A?A?A?EB
A?A?A?KDX?	???A?A?A?C ?
A?A?A?BCA?A?A?D?8
???A?A?A?C?
A?A?A?DyA?A?A?0??
???A?A?A?C?A?A?A? \???CK?P??????4@???
A?A?A?C0?
A?A?A?F4x???KA?A?A?CP?
A?A?A?F,????gA?A?A?a?A?A?????TC F?I?A??,????CH?U?O?V
???Cg???<0???A?A?A?A?Q?A?A?A?A?,p???

C H?H?W?O
???G????@?????A?A?A?A?F??

A?A?A?A?H@????xA?C?A?A?F??

A?A?A?A?HT(	 ???A?C?C?A?C 
A?A?A?A?BY
A?A?A?A?C?	????7A?LhA?4?	x???
A?C?D?G A

A?A?A?E@?	????A?A?A?A?F?
?
A?A?A?A?A(
\ ??7
C@D?S?H?H?~
????H0H
p!???A?A?C?E0?A?A?A?$|
?!??jC G?I?F?\
???C(?
D"??VA?C?G @E?A?(?
?????A?C?AwA?A?4?
L"??-
A?C?A?C0?
A?A?A?A44D#???A?C?G V
A?A?EnE?A?4l?#???CE?V?P?x
???Bh
???HP???(?4$???C0F?L?F?~
???Gn???,??$???C0F?L?F?p
???Ey???HH%???
A?A?A?E0?
A?A?A?C?
A?A?A?CTLP???=
A?A?A?C0?
A?A?A?Ei
A?A?A?AYA?A?A?0?5????A?A?A?EPrC?A?A?0??????
A?A?A?C@?
A?A?A?0
E???uF?E?C?H [A?A?A?0@
?%???EH?]??o
???Gd
???LP???$t
$&???C0H?e??c
???E?
?&??MC F?^?e??(?
'???C F?_??T
???D_???4?
?'???
A?A?C?C ?

A?A?A?A0 ()???
A?C?J?E0r
A?A?A?DT?*??A?A?C?C@?

A?A?A?EqC?A?A?4?L,???A?C?A?C`@
A?A?A?E??.??AC F?L?k???Ҡ??3A?E kA?0???&
A?C?C?E 
A?C?A?0Hס??ZA?A?C?C@NA?A?A?0|????+A?C?A?GPA?A?A?0??????A?A?C?G0uA?A?A?4?E???HA?C?A?F?9A?A?A?0U???&
A?C?A?G0
C?A?A?0PG????A?A?A?E`?A?A?A?<?d-??A?E?F?C?EP?
A?C?A?A?H(?40???C@F?M?^??[
????A$??0???C F?K?W?F
???G0?1???A?A?A?E ?A?A?A?4L,2???A?A?A?E0_
C?A?A?A<??4???A?A?A?C?HP~

A?A?A?A?H ??7???CF?S?F?k???0?8??
A?H?C?E ?A?A?A?0?8?? 
A?H?C?E 
A?A?A?4P?9??A?C?A?CP

A?A?A?E(??
C?A?A?A?E0lR???!A?A?C?EpC?A?A?X?????7A?A?C?F??
A?C?A?Bv
C?C?A?AF
C?F?A?A4????DA?A?C?H?1C?A?A? 4d????C0H?S?_
??A X????C0H?S?_
??A |?????C0H?S?_
??A ?8????C0H?S?_
??A ??????C0H?S?_
??A ?p????C0H?S?_
??A ????C0H?S?_
??A 0?????C0H?S?i
??ATD???<h@????'A?A?A?A?NP'
C?A?A?A?D<????
A?A?A?A?CpQ

A?A?A?A?AT??
???
A?A?A?A?CP?
A?A?A?A?H?
A?A?A?A?A<@???A?A?A?A?C@_
A?A?A?A?AT????
A?A?A?A?C@S
A?A?A?A?Bk
C?A?A?A?A?`?? ?\??DA?z
?EC?<????
A?A?A?A?CP?
A?A?A?A?CTP(??
A?A?A?A?C@Q
A?A?A?A?Dk
C?A?A?A?A,?????
C0H?H?W?z
???LO
???A ?????C0H?S?_
??A<?	??GA?A?A?A?CP
A?A?A?A?A(<,???C@H?D?S?N?

????G,h???

A?A?C0?
A?A?A ?p???C@H?S?j
??A ????C@H?S?j
??A@????DA?A?A?C?F?
?

A?A?A?A?G@$???A?A?A?A?F?
p
A?A?A?A?A4h?'??'
A?C?A?C ?
A?A?A?C@??(???A?A?A?A?F?
?
A?A?A?A?C4??P??QP?a f0

sp?

z???? ?x?????~7?p??
? ???Ж7
????Иj?@?V???	??-
К????'0??1М?;???
E?=
P1?[??
g?uu@??????M?0???С?
????
?0??@????A?3?Q&
wZ?+,?$?3?%HB?'&
I?(?Q@?[P??e??q??~Я??в??????@?
?P? 
?p?????????p????+?????
 ?
0?^$??(/??;
>?-M0??
T??c_0??g?Vrp??y 
???3???
?#??&
???@
??4!??P
7?79D?d	

?	d


	d

%d

-8d


?Ed

QTd

chd

uvd	

?d

??d


??d


??d


??d


??d


??d

?d

?e


)?e

;?e	

M?e

_??
Dn0?
vP?
'
???
?? ?
'
?P?
? ? ?
?
???
?	???
???s? 6??`O4	?{<?'??X'B?f

Pf


Zf	

*cf


=mf

Puf

c?f

v?f

???????e??2f
??3%
??
???
??
??	 5	??
??-	L	?&?W	??

a	^
?'i	{	?	?	?	??
?
?	?7e?	?	?fl?	?W
??	??
?
?	?????	
?X
?
P'n
$
?sW3
??
?
;
pfSg
x
x5~
?
?
????
0Z
??
??
??
"?

pY
?@f&=`en???p\
????]
?p?
G? ?
?? ????
D
0]
?*?%?6HYk????p? e??????????
???(?	?
pe?5
?Z
?B
 V
@e 
???
?
К??
`??
?
?[
??
?
P?


?
??
??
?
?
 %?Ѝ

!`?
?*<Mp?
V?
?
_	e??
qcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST____do_global_dtors_auxcompleted.6159dtor_idx.6161frame_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxlglib.clgleuplgledownlglcalglstoplglpopeschedlglcountlglemergelglchkoccs4elmlitlglorfunlglrandomprobelglunhdhasbinslgltrapilglabortlgldielglwrnlglprslglmalloclglgetenvlglcvallglstrlglfreezer.part.57lglterminatelglunhlca.isra.70lglrephead.part.78lglidereflglshrinkhtslglfloorldtablglrmtwchlglrmlwchlglrmbwchlglrmlocclglcmpreprlglduplglddownlglpopdschedlglrelstklglunhimplies2incllglsmallevalclslglbasevar2funtablglprtlglnegcofactorfunlglposcofactorfunlglvar2funauxlgls2funlglincjwhlglbias.part.87lglrealloclglrszvarslglpushstklgldschedlgldschedtraillglextendlgleschedlgldecocclglrmbclslglrmtclslglrmlclslglelrmclslglbacksublglflushlitlgleliminatedlglincocclglpoisonlglsignedmarknpushseenlgldstpulllgldstanaconflgldstanalitlglinnerprobelgldcpdislglpushnmarkseenlglepushlglepusheliminatedlglelmfrelitlglblocklit.part.83lgls2mlglinitsmallvelgli2mlgleclslglimportlglredstklglunassignlglbacktracklglprbana.isra.85lglenlwchslglwchbinlglwchtrnlglwchlrglgldcpconnaux.isra.86lgldcpconlglpushwtklglpushcontrollgluhtelglassignlglunitlgldcpclnstklgldcpclnlglfitlirslgldreschedulelglrescorevarslglmaplglbumplitlglpulllglsynceqslglbcplglsyncunitslglflushlglunhidegluelglstampalllgladdclslgltryforcedve.part.89lglsmalliposlgltrysmallve__FUNCTION__.6112__FUNCTION__.6120__FUNCTION__.6129__FUNCTION__.6139__FUNCTION__.6147__FUNCTION__.6157__FUNCTION__.6166__FUNCTION__.6176__FUNCTION__.6518__FUNCTION__.6529__FUNCTION__.6575__FUNCTION__.6585__FUNCTION__.6618__FUNCTION__.6639__FUNCTION__.6657__FUNCTION__.6668__FUNCTION__.7295__FUNCTION__.7306__FUNCTION__.7627__FUNCTION__.7647__FUNCTION__.7652lglrep.part.91lglpartlglincrebiasllglgclglincrestartllglunhidelgltrdlgldecomplgldistilllgliftlglana.part.92lglprobelglelimlglsimpaux__FUNCTION__.12201__FUNCTION__.12208__FUNCTION__.12216__FUNCTION__.12226__FUNCTION__.12237__FUNCTION__.12324__FUNCTION__.12329__FUNCTION__.12334kodkod_engine_satlab_Lingeling.clglbnr.c__i686.get_pc_thunk.bx__divdi3__udivdi3__DTOR_END____dso_handle_DYNAMIC__stack_chk_fail_local_GLOBAL_OFFSET_TABLE___ctype_toupper_loc@@GLIBC_2.3lglgetdecslglhasoptlglinitstrcmp@@GLIBC_2.0__vfprintf_chk@@GLIBC_2.3.4fflush@@GLIBC_2.0stderr@@GLIBC_2.0lglwtrapilglstatsfree@@GLIBC_2.0lglbnrlglsetidlglsetopt_edatafclose@@GLIBC_2.1lglsetermlglsizeslglprocesstimelgloptsJava_kodkod_engine_satlab_Lingeling_valueOfsleep@@GLIBC_2.0_finipopen@@GLIBC_2.1__stack_chk_fail@@GLIBC_2.4lglmaxvarlglsetconsumeunitslglonabort__cxa_finalize@@GLIBC_2.1.3fwrite@@GLIBC_2.0lglsetproduceunitJava_kodkod_engine_satlab_Lingeling_solveJava_kodkod_engine_satlab_Lingeling_addVariablesgetenv@@GLIBC_2.0realloc@@GLIBC_2.0malloc@@GLIBC_2.0lglsetconsumedunitsputs@@GLIBC_2.0lglsetimelgladdlglmb__gmon_start__exit@@GLIBC_2.0lglnextoptlglsetmsglockpclose@@GLIBC_2.1lglgetconfsstrlen@@GLIBC_2.0fopen@@GLIBC_2.1memset@@GLIBC_2.0_endsqrt@@GLIBC_2.0Java_kodkod_engine_satlab_Lingeling_makestdout@@GLIBC_2.0__bss_start__printf_chk@@GLIBC_2.3.4lglrgoptslglreleasefputc@@GLIBC_2.0Java_kodkod_engine_satlab_Lingeling_addClauselglsetlockeq_Jv_RegisterClassesJava_kodkod_engine_satlab_Lingeling_freelglfreezelglsatlglmeltlglsetunlockeq__fprintf_chk@@GLIBC_2.3.4lglseclglassumegetrusage@@GLIBC_2.0isatty@@GLIBC_2.0abort@@GLIBC_2.0lglgetpropslglgetoptlglmaxmbstrtol@@GLIBC_2.0fputs@@GLIBC_2.0lgldereflglusage_initlglfirstopt__sprintf_chk@@GLIBC_2.3.4