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

x86-windows.cygglucose.dll Maven / Gradle / Ivy

MZ????@???	?!?L?!This program cannot be run in DOS mode.

$PELj?Q?X?!?@??(np?T  0<@?
1?.text???`P`.data?? ?@`?/4?
?@0?.bss8?`?.edata ?@[email protected]<0?@0?.reloc?
@@0B/14P@B/29?`@B/45&p@B/61f?h@B/73???@B/87%?@B/99x0?@0B/112
@?@B/123	P
?@B/134?`?@BU????$??L[^_]Ã??D$?<$辗?G??????L$?<$誗?G??H?b????@?}?H?K????D$??(n?D$??(n?D$??$??(n蛊?D$??(n?D$??(n?D$D?$p?(n?w????U??WVS??\?]??0??0?E؅??pǃ4?1?;?8?0?u??<?4???@?‰?4?}ԉM????????4??????0??????????????9????|??4???4?V??u?????N?E܋}܉M??E??????1?<u#?F?EċM?????8???}ċE??~?F??UċD???$?????U?ʉU?:?????Q?҉U????9?t?Ѻ????Uui??@;E?~4?UЋu??????$??<??????????@9?ۉ?+U?9??j??~)Љ?@??\1?[^_]Í?&?M????4;?8u???T$?U؉Ẻ$?W???4?E̋?0??????4??@;?Dt>??<???F????@?Eă?;}??5??????????t&??\?[^_]Ív?Mԃ??T$?Ẻ$?۔??@?E?뢋U؉D$?$?????4??0?B??????4?B?????D$?(n?D$?(n?D$?$p?(n談?D$??(n?D$??(n?D$??$??(n臇?D$?V?4??|0?u??N????H݇X??????(n??????v6????~?]?1??Ӎƃ??9????u??]????(n܏XݟX??L;?P?u???????????@?????2?U??u????P????Ű?<???u??u???UȋŰ??U??U???u?????????vM??<?U???Ɖ]???u??Ẻ}??׉uȍv???u؅??Ủ;?Tuڋ????8ũE?????;E܉>|ËM؋]Ћ}̅??N????????+u؃??u?~b?E?W???T?]̉U???MЉ}ĉEܸ??t&?]܋}????]Ћ
????9?t?}????]܍4??>??m??:??;E?|ˋ]̋}?;}??d?u1??M؋V?????9?|??}?UЉW?}????}????u????]ċ6?}؉uԋEԃ??ű@?E????D?????Uԋu؍???Uȉ????T??]??]?94??]?O?O]?O?Ouȃ?;MЉ]?uË]ċ}̋?M??U܉??u?}??T??w????T??~T??d???]؋??E?1??U?????]؋?T?]??????T??]܍?9
t?u?
?U??r??9?|̋]؋?t???u?????p????}܋?|?E????4ȍ?9???}??1????(n?-??;E??o?U܋}̋????4ύ?9???F?}ԋ4??}???????97v???H݃X??????(n??????v:????~1҉EЍ??׃??9????u??E????(n܋XݛX??L;?P?U??M????????B?????@??<?ɉ}??U????2?u?t{?y????}ȋ?<???u؋u????}ċ}ȋr?D$??(n?D$@?(n?D$C?$??(n?r?v??'U??WVS??\?M?]?E9????|?????r?U???u????}?????uh?U?M?Z??l????:?:?U?Z??؀8?j?J?M??U?????u????????})????\[^_]Ív?u?M?U?F??`?R???@???UЋP?ǃ??M؋?E܅?~1?;?????9????D$??(n?D$`?(n?D$(?$??(n??p??M??????ڋ])? ?$??\[^_]Ä???E?U?}䋀???E؋B?M؉}Ѓ??@???P?ǃ???E܅??v???1?;t??t&??9??`???;?u???9‰U?~4???}??]?????4???]ċ|?3?u??{???9?|܋]??Eԋ}܋U؉G?EЃ??@?90?(n???(?(n???)n???= ?(n?,?(n??)nh?(n??)n
??)n?????)n???)n8?(n??)n.?(n??)n????$ ?(n?F^??t6?(?(n?,?(n?0?(n?$ ?(n? ^?$P(n??_?,?(n?Z????$ ?(n??]??t6?(?(n?,?(n?0?(n?$ ?(n??]?$P(n?_?,?(n?????$ ?(n?]??t6?(?(n?,?(n?0?(n?$ ?(n?]?$P(n?D_?,?(n?????$ ?(n?V]??t6?(?(n?,?(n?0?(n?$ ?(n?0]?$P(n??^?,?(n??????$ ?(n?]??t6?(?(n?,?(n?0?(n?$ ?(n??\?$P(n?^?,?(n??????$ ?(n?\??t6?(?(n?,?(n?0?(n?$ ?(n?\?$P(n?T^?,?(n?"????$ ?(n?f\??t6?(?(n?,?(n?0?(n?$ ?(n?@\?$P(n?^?,?(n?J????$ ?(n?\??t6?(?(n?,?(n?0?(n?$ ?(n??[?$P(n?]?,?(n?r????$ ?(n??[??t6?(?(n?,?(n?0?(n?$ ?(n?[?$P(n?d]?,?(n?????$ ?(n?v[??t6?(?(n?,?(n?0?(n?$ ?(n?P[?$P(n?]?,?(n?????$ ?(n?&[???????$ ?(n?(?(n?,?(n?0?(n??Z?$P(n??\????????D$?$(?(n??l?,?(n???????D$?$(?(n??l?,?(n?????????D$?$(?(n?l?,?(n??????v???D$?$(?(n?l?,?(n?'????v???D$?$(?(n?ml?,?(n?????v???D$?$(?(n?Ml?,?(n??????v???D$?$(?(n?-l?,?(n?/????v???D$?$(?(n?
l?,?(n?w????v???D$?$(?(n??k?,?(n??????v???D$?$(?(n??k?,?(n?W????v???D$?$(?(n?k?,?(n?=????v???D$?$(?(n?k?,?(n?????v???D$?$(?(n?mk?,?(n?
????v???D$?$(?(n?Mk?,?(n?e????v???D$?$(?(n?-k?,?(n?o????v???D$?$(?(n?
k?,?(n??????v???D$?$(?(n??j?,?(n?W????v???D$?$(?(n??j?,?(n?????f?U??VS?? ?]??)n?P)n?[(?CH?)n??H??)n?[0??)n?CL?<)n?[8??)n?[@??)n?CP?\)n?P?(n?C?C?CT?|)n?C?C?C?CX??)n?C?C?C\?[`??)n?)n?[h?P)n?????)n?[p??)n?[xƃ??0)n?????)nݛ???ǃ?ǃ??????|ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ݓ@ǃ?ݛXǃ???ǃ?ǃ?ǃ?ǃ?ǃ?ǃǃǃǃǃǃǃǃǃ ǃ$ǃ(ǃ,ǃ0ǃ4ƃ<ǃHǃLǃPǃ`ǃdǃhǃlǃpǃtǃxǃ|ǃ????ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ????ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃǃǃǃǃǃǃǃǃ ????ǃ(ǃ,ǃ0ǃ4ǃ8??<ǃ@ǃDǃHǃLǃPǃTݛXƃ`ǃdǃhǃlǃpǃtǃxǃ|ǃ?ǃ?ǃ??D$?$?8`ƃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ƃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃ?ǃǃƃǃ$ǃ(ǃ,ǃ0ǃ4ǃ8ǃ<ǃ@ǃDǃHǃLǃPǃp????ǃt????ǃx????ǃ|????ƃ?ǃTǃ?ǃ?ǃ??? [^]Í?p?E?$?`??d?$?h??<?$?h??0?$?~`???$?Pb???$?rf????$?df????$?F`????$?hd????$?Zd????$?a????$?g????$?g????$??q??`?$??q?4$??d?S???$??_?$?`?E?$?P??v??'U??WVS??\?M?]?E?U?M??K?E܋E?U؅ɉE???E܋S????????<?Ѓ???8???1????U????t&?T??փ???87?l??9?|??}?1??C?M???}?? f???;u????D??????????ƒ?1?????tԋM??I9ȉM???????9E?U????E???U?M܋?????T??	???M??????(n?L$?M؅Һ??(nDƒ??D$?D$??(n?$??P?C?E?;u??Z????U??E?E?E??(n?U??\[^_]?P??&???M܋M??	??????M??u?????9E??I????U??D$?EЉ$?dc?M??EЋI9ȉM?~,?U??
?U?????????9??U??B?????v??\[^_]ËU??
??U??WVS??\?u??<??????E??E??E????E??U???????????|?9?MĉEЉU?9׉}?s{???E??E??u??v?UЍ??s??~:?M??C????ƒ???8t&1????&?T??у???8t??9??E??E??}?9}?}9?M̋}ċ?;E?r??E??D$??(n?D$??(n?D$??$??(n?E??1O??u??M??E??v?Uԍ??{???}?~A?S1??????????8???uċu???T??у???8????9??uċE?9E??
?E?1??????t&??;}?}X?T?????у???2?MԀ?t܋U?9?}	?E؃?C??E?E??U?9?????4???????|?;???v????u??U?????
B?E???C??C??E?E??U?9?????4???????|?;???9????u??U?????
B?E???C??E??t$?$?.????{~#?E????D$????$??(n???D$?-3?E􈃌??|??t?$?2?E䉃|?E艃??E쉃??E??????0[^]ÉÉ4$?>?$?1????U??WVS??l?]??|??`??~51????;w})???OG??<t?D$???<$??P;w|׋?x??t
ǃ|????????~<1????&??;w})???OG??<t?D$???<$?tP;w|׋????t
ǃ??E??E???????;???y?P?????????`?UԉE̍R???E????P?E??҉U????????P?׉??????91??????1??]ȉ??J??;u?}m?]????]ȋP????׉у????M?}Љߋ]??M?2???M????ك?t?????T$?D$?Eȉ$?ע???U??R?U?;u?|??]ȋM?M؉ΉMċF?	???????????}???????E?V??T?U????҉?T????d??1??}?1??]???t&?U?]???T?T????T??]؍?9
t?
????;E?uӍG?]?;EȋU??????M?]?9YTr?f????????%?	???]ЋU?????????T$?4$?=?V???????????u؉??]Љu??????u??E?????????)?(?,????1??9???1??k????D$??(n?D$??(n?D$??$??(n??,?D$??(n?D$??(n?D$??$p?(n??,?D$P?(n?D$@?(n?D$@?$?(n?,U??S??$?]???????<uƃ<1???$[]É$????????u䋓 ?9??tڃ?,~??$?[]?|	??(wꍃ??D$?$??????`t????D$?$?Է?????1҉U?1҉E?????m??U?E??m?܋???????wD?$??????????$?? ?? ????(???,??$[]Ð??$?P??D$??(n?D$@?(n?D$@?$p?(n?r+f?U??WVS??\?]?E?U????`?EЈU؉}ԍt	?M܋?d9?????p??l9??3?~9??j9??????????U?9?????????9??39???9?? ???;???S????????;?????Y??????????????@???~?`?(n?Kx?}??E??h?(n????f?E??m??]??m?E??E???L?E???;?P?????Sx???
??(n?=??H?ƒ???L??(;?,????$?????(??h;?l????d??????h???;????????MЈ????????;????????t	?????}܃????????$???|$?6?}??-?E????8?K?U؈??P9E܋?L}?M܋???x?E܃?\[^_]Ë???M܀<
t?9??9E????E܍??D???D;?H???@?}܉?
???6????D$|?(n?D$??(n?D$f?$??(n??$?t&????????????L?$?|$?7??P9??6??L??&????????9???9E܉?P??????]????]ԍP??????????L?????????U??WVS???$??(n?2?$0?(n?&?$??(n??D$?$??????????tO?C??~?$??(n???????B??<u?{??uƃ<?$?D$??????,??[^_]Ít&??t??p??x
9??w?s;??|??x??x9??r?y???9???m??????F????\???9???P???뷍???t$?$?????9?~%?????t&??t?????9?쉳??}??E?f?E???????t&????t$?$?~???9?~(??????&??t?????9?쉳?????????;S*???????1?????S????9???????{?T$?U܉<$???C?U?9?~??t???9???S??럍t&U???????????
?????????????U1???????????U????(?(n??t&?,?(n?$?O	?(?(n?0?(n?É???'U??E]?4?(nÍvU??E]?8?(nÍvU??WVS??,?4?(n?u??t?E?8?	?\$?|$?@?$?	?= ?(n???D$?,?(n1ۉD$?(?(n?$?c ??? ?(n???E??E??u???;,?(n???= ?(n???(?(n?4????x;}?@?(?|?|$?D$?(n?@?$?m?= ?(n???(?(n?M܋0??$?L$?R? ?(n???
?(?(n?2?J?M?R???U????Z????$ ?(n?v???F????(?(n?,?(n?0?(n?$ ?(n?L?$Т(n?;,?(n?????t&??@?D$?D$?$?(n?D$??8?(n??D$ ?(n?\$?@?$?v?8?(n?c?D$H?(n?\$?@?$?T?G?@?$
?D$?,?$?@?$ ?(n???t6?(?(n?,?(n?0?(n?$ ?(n?f?$Т(n?*?(?(n?2?B?E?? ?(n????????$ ?(n?(??t6?(?(n?,?(n?0?(n?$ ?(n??$Т(n???(?(n? ?(n?2?F?????$ ?(n??????????$ ?(n?(?(n?,?(n?0?(n??$Т(n?f???????$ ?(n?|??t6?(?(n?,?(n?0?(n?$ ?(n?V?$Т(n??(?(n?4??= ?(n???x?&????$ ?(n???t6?(?(n?,?(n?0?(n?$ ?(n???$Т(n??(?(n;}?0?@?????;E???????K?@?$
?D$?0??????$ ?(n????(????$ ?(n?(?(n?,?(n?0?(n?m?$Т(n?1?????????U??WVS???]??G?D$?E?$???????|#?t????U؋B?W?$?T$????????W???????빋UЋM?D$?T$?$?????D$?E+EЉD$?E܉$???????L[^_]ËE?????E?~??E??E؋U??9E?ỦE?????&?M̉ƋŰ	???UĉӋA?MȉMԉE??6u?MԋG?Q?$?T$?????????U؋M???U?????;ut:?;?E܉]??O?D$?$?M????????}??U???u؃?;u?}ԉU?uʍt&?EȋUԋM̉?M??U?9UЉ?EĉE??????MЉȃ?9E?M؉E??7????Ű
?U????UĉMԉȉ?붋E?}ԉu؉E??Z??????????????????U??WVS??l?U?E?]???E؉U??]????E??U؋;?s???M????}??E??????E????E????E??]؋}?U? is too large for option "%s".
ERROR! value <%s> is too small for option "%s".
onoff  -%s, -no-%s(default: %s)
no-index < heap.size()/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Heap.hsz > 0/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Vec.hvalue(p) == l_Undef../sources/glucose/core/Solver.ccsz < caplevel(x) > 0r >= 0 && r < sz/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alloc.hreason(var(analyze_stack.last())) != CRef_Undefvalue(c[1])==l_Truenelems <= szconfl != CRef_Undefheader.has_extra/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/SolverTypes.hc.size() > 1j < ts.size()/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/mtl/Alg.hKThe constant used to force restartCORE -- RESTARTRThe constant used to block restartszLBDQueueThe size of moving average for LBD (restarts)szTrailQueueThe size of moving average for trail (block restarts)firstReduceDBThe number of conflicts before the first reduce DBCORE -- REDUCEincReduceDBIncrement for reduce DBspecialIncReduceDBSpecial increment for reduce DBminLBDFrozenClauseProtect clauses if their LBD decrease and is lower than (for one turn)minSizeMinimizingClauseThe min size required to minimize clauseCORE -- MINIMIZEminLBDMinimizingClauseThe min LBD required to minimize clausevar-decayThe variable activity decay factorCOREcla-decayThe clause activity decay factorrnd-freqThe frequency with which the decision heuristic tries to choose a random variablernd-seedUsed by the random variable selectionccmin-modeControls conflict clause minimization (0=none, 1=basic, 2=deep)phase-savingControls the level of phase saving (0=none, 1=limited, 2=full)rnd-initRandomize the initial activitygc-fracThe fraction of wasted memory allowed before a garbage collection is triggeredcap > 0-%s%d 0
p cnf 1 2
1 0
-1 0
p cnf %d %d
value(assumptions[i]) != l_False%s%d 0
Wrote %d clauses with %d variables.
wrcould not open file %s
!inHeap(n)size > 0|  Garbage collection:   %12d bytes => %12d bytes             |
c[1] == false_litdecisionLevel() == 0okc | %8d   %7d    %5d | %7d %8d %8d | %5d %8d   %6d %8d | %6.3f %% |
last==first/home/aleks/work/projects/kodkod/lib/glucose-2.1/sources/glucose/core/BoundedQueue.hlearnts.size()>0c ========================================[ MAGIC CONSTANTS ]==============================================c | Constants are supposed to work well together :-)                                                      |c | however, if you find better choices, please let us known...                                           |c |-------------------------------------------------------------------------------------------------------|c |                                |                                |                                     |c | - Restarts:                    | - Reduce Clause DB:            | - Minimize Asserting:               |c |   * LBD Queue    : %6d      |   * First     : %6d         |    * size < %3d                     |
c |   * Trail  Queue : %6d      |   * Inc       : %6d         |    * lbd  < %3d                     |
c |   * K            : %6.2f      |   * Special   : %6d         |                                     |
c |   * R            : %6.2f      |   * Protected :  (lbd)< %2d     |                                     |
c ==================================[ Search Statistics (every %6d conflicts) ]=========================
c |                                                                                                       |c |          RESTARTS           |          ORIGINAL         |              LEARNT              | Progress |c |       NB   Blocked  Avg Cfc |    Vars  Clauses Literals |   Red   Learnts    LBD2  Removed |          |c =========================================================================================================void Glucose::RegionAllocator::capacity(uint32_t) [with T = unsigned int, uint32_t = unsigned int]const T& Glucose::RegionAllocator::operator[](Glucose::RegionAllocator::Ref) const [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]void Glucose::vec::shrink(int) [with T = Glucose::Solver::Watcher]T& Glucose::RegionAllocator::operator[](Glucose::RegionAllocator::Ref) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]const T* Glucose::RegionAllocator::lea(Glucose::RegionAllocator::Ref) const [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]Glucose::RegionAllocator::Ref Glucose::RegionAllocator::alloc(int) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]T* Glucose::RegionAllocator::lea(Glucose::RegionAllocator::Ref) [with T = unsigned int, Glucose::RegionAllocator::Ref = unsigned int]float& Glucose::Clause::activity()void Glucose::Solver::toDimacs(FILE*, const Glucose::vec&)Glucose::lbool Glucose::Solver::search(int)void Glucose::bqueue::push(T) [with T = unsigned int]bool Glucose::Solver::simplify()void Glucose::vec::shrink(int) [with T = unsigned int]Glucose::CRef Glucose::Solver::propagate()void Glucose::Solver::uncheckedEnqueue(Glucose::Lit, Glucose::CRef)void Glucose::vec::push_(const T&) [with T = Glucose::Lit]void Glucose::Solver::analyzeFinal(Glucose::Lit, Glucose::vec&)bool Glucose::Solver::litRedundant(Glucose::Lit, uint32_t)void Glucose::vec::shrink(int) [with T = Glucose::Lit]void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, int&, unsigned int&)int Glucose::Heap::operator[](int) const [with Comp = Glucose::Solver::VarOrderLt]void Glucose::vec::pop() [with T = int]void Glucose::Heap::insert(int) [with Comp = Glucose::Solver::VarOrderLt]void Glucose::vec::shrink(int) [with T = int]void Glucose::Solver::detachClause(Glucose::CRef, bool)void Glucose::remove(V&, const T&) [with V = Glucose::vec, T = Glucose::Solver::Watcher]void Glucose::Solver::attachClause(Glucose::CRef)bool Glucose::Solver::addClause_(Glucose::vec&) ??I?????A???@??x?D#B????;}Ô%?I?T0??.?++?????????@ffffff??ffffff??+?????????ٕA?????????h㈵??>?B@
%s OPTIONS:


HELP OPTIONS:

  --%shelp        Print help message.
  --%shelp-verb   Print verbose help message.
--help-verbERROR! Unknown flag "%s". Use '--%shelp' for help.
??(n ?(n?(n??(n`?(n??(n??(n??(n??(n??(n??(n??(n??(n??(n??(n ?(n??(n4?(n??(nH?(n??(n??(n`?(nN10__cxxabiv117__class_type_infoEN10__cxxabiv120__si_class_type_infoEN7Glucose10BoolOptionEN7Glucose12DoubleOptionEN7Glucose20OutOfMemoryExceptionEN7Glucose6OptionEN7Glucose6SolverEN7Glucose9IntOptionESt9type_info??(n0?(n?(nP?(n`?(np?(n@?(n??(n??(n ?(n??(n??(nP?(nP?(n`?(np?(n@?(n@?(n??(n??(n??(n@?(n ?(n??(n??(n??(n??(n??(n@?(nP?(n??(n?(n??(n?(n?(n?(n?(n?(ny(n?(n`?(n@?(n`?(n??(n?(n??(n??(nP?(n`?(n0?(n@?(nzPL|??(n?( ?(nI(?(nA?B
D?h
?A?C L0(nA?B
S?,pP(n>A?B
F???o?A?A?A? ??(nVA?B
K?0?p?(n?A?B
F?L???

???A?H0?(n?8?(nA?B
F???m
?A?A?A?G ,(nA?B
P? P0(nA?B
P?zPL|??(n?@ ??(n~A?B
F????
?A?A?A?Au
?A?A?A?E<dP?(n?A?B
I?M???

???A?A|
???A?@?`?(n?A?B
F???y
?A?A?A?AF
?A?A?A?A<???(n?A?B
F????
?A?A?A?Gu?A?A?A?@(@?(nIA?B
F????
?A?A?A?AH
?A?A?A?C@lP(n/A?B
F????
?A?A?A?A?
?A?A?A?A0??(n?A?B
I?I??\

???A?A0??A?B
F?L???

???A?H0 (n)A?B
F????
?A?A?A?A@L0"(n1A?B
F????
?A?A?A?H?
?A?A?A?D0?p%(n0A?B
I???L
?A?A?A?A8??4(n~A?B
E??h
?A?A?AD
?A?A?G0 7(n9A?B
F?F?F??

???A?D04`8(n&A?B
F????
?A?A?A?A@h?:(n A?B
F????
?A?A?A?D?
?A?A?A?A0??(n?A?B
F?L???

???A?H0??(n?A?B
F???M
?A?A?A?A,0R(n5L?(nA?B
E??,
?A?A?A0D??(n?A?B
F?L???

???A?H@xpZ(n?A?B
F???X
?A?A?A?Lt
?A?A?A?A0?`\(n?[?(nA?B
F????
?A?A?A?A0? b(n~A?B
F?F?F?{

???A?E0$?b(n?|?(nA?B
F???W
?A?A?A?A0X0e(n\A?B
F???

?A?A?A?G0?`?(n?A?B
F?L??

???A?A0?P?(n?A?B
F?L???

???A?H0???(n?A?B
F?L???

???A?H0(??(n?A?B
F?L??

???A?A0\`?(n?A?B
F?L???

???A?H0?p?(n?A?B
F?L???

???A?H0?@?(n?A?B
F?L???

???A?H@??h(n?A?B
F????
?A?A?A?CX
?A?A?A?E0<?(n?A?B
F????
?A?A?A?A0p?j(n{A?B
F????
?A?A?A?A,?y(n???(nA?B
E???
?A?A?A0??y(nA?B
F???8
?A?A?A?A<?(n>A?B
D?g
?A?Ar
?A?A?
?A?B0H??(n?A?B
F?L???

???A?E@|0?(nA?B
F???d
?A?A?A?A?
?A?A?A?B@?@?(n?A?B
F???b
?A?A?A?B?
?A?A?A?E0	??(nA?B
F????
?A?A?A?A08	@?(n?A?B
F???
?A?A?A?E@l	Ќ(n?A?B
F????
?A?A?A?AL
?A?A?A?B0?	??(n?
??(nA?B
I???

?A?A?A?E@?	`?(n<A?B
F???q
?A?A?A?Cx
?A?A?A?E|?0?(nTA?B
F???,8??(n?A?B
F???D
?A?A?A?A|? @?(nbA?B
D?Y?A? <??(nBA?B
D?y?A?,`??(nkA?B
F?I?F?t

???A?C@?p?(nrA?B
L??I?f

???A?A\

???A?CP???
A? ??(n%A?B
D?X?A?|?4@?(nrA?B
L??F?t

???A?F_
???A?8P??(n?A?B
O?F?L?R

???A?Ay

???A?B4???(nuA?B
F?F?F?o

???A?Bl
???A? ?P?(n%A?B
D?X?A?j?Qd ( @ X P0???s ? ? ? '!R!cygglucose.dllJava_kodkod_engine_satlab_Glucose_addClause@20Java_kodkod_engine_satlab_Glucose_addVariables@20Java_kodkod_engine_satlab_Glucose_free@16Java_kodkod_engine_satlab_Glucose_make@8Java_kodkod_engine_satlab_Glucose_solve@16Java_kodkod_engine_satlab_Glucose_valueOf@20d0?41?0?4?1?05?11,5?1?1?1?122 2,2<2H2T2h2|2?2?2?2?2?2?2?2?2?2?2?2?233 3,3@3L3X3t3?3?3?3?3?3?34404D4?1?1?122 2,2<2H2T2h2|2?2?2?2?2?2?2?2?2?2?2?2?233 3,3@3L3X3t3?3?3?3?3?3?34404D4__assert_func __errno6__getreent[__wrap__ZdlPv___wrap__Znwj_fopen64q_impure_ptr?atexit?callocEcygwin_detach_dllGcygwin_internal\dll_dllcrt0?exit?fclose?fprintf?fputc?freefwritemalloclpowrprintf?puts?realloc?strcmp?strlen?strtod?strtol_Unwind_Resumep__udivdi3r__umoddi3?
_ZNSt8ios_base4InitC1Ev?
_ZNSt8ios_base4InitD1EvR_ZdlPvV_Znwj[__cxa_allocate_exceptionj__cxa_guard_acquirek__cxa_guard_releasel__cxa_pure_virtualn__cxa_throw{__gxx_personality_v0GetModuleHandleAEGetProcAddress000000000000000000000000000cygwin1.dll000cyggcc_s-1.dll(0(0(0(0(0(0(0(0(0(0cygstdc++-6.dll<0<0KERNEL32.dllP	0$0;0B0I0T0o0?0?0?0?0494W4a4s4}4?4^;s;<<;<;>C>R>_>g>v>?>?>??#?2?\? @?1?1?1	22 2?4?4?4?4555%545A5I5X5?566?6?6?8%9?_???0|?3?3?3?3?3444)4D4L4[4?4?4?4?6?6?6?67788,898A8P8:&:5:B:J:Y:f:n:}:?;?;?;l?t?????????????????????????????????@00	00000#0'0-01070;0A0E0K0O0U0Y0_0c0i0m0s0w0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?0?011111"1&1,10161:1@1D1J1N1Z1f1o1x1~1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?122222$2.282B2F2L2P2V2Z2`2d2j2n2z2?2?2?2?2?2?2?2?2?2?2?2?2?2?2?2?2?2?2?23333$3*3.343>3H3R3V3\3`3f3j3p3t3z3~3?3?3?3?3?3?3?3?3?3?3?3?3?3?3?3?3?3?34444%4.444:4>4D4N4X4b4f4l4p4v4z4?4?4?4?4?4?4?4?4?4?4?4?4?4?4?4?4?4?4?455555"5.555>5D5J5N5T5^5h5r5v5|5?5?5?5?5?5?5?5?5?5?5?5?5?5?5?5?5?5?5?5666666"6&626>6G6P6V6\6d6j6n6t6z6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?6?677777"7&7,70767:7@7D7J7N7Z7f7o7x7~7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?7?788888$8(8.848;8A8H8L8R8V8\8`8f8j8p8t8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8?8999$9*90949:9D9N9X9\9b9f9l9p9v9z9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9?9	::: :&:,:2:6:<:B:I:O:Y:h:r:|:?:?:?:?:?:?:?:?:?:?:?:;;;';3;=;I;X;b;l;w;?;?;?;?;?;?;?;?;?;?;?;<<<#<-<9
>>(>2><>G>S>]>i>x>?>?>?>?>?>?>?>?>?>?>?>?>	??"?,?7?C?M?Y?h?r?|?????????????????????P?	00&0:0D0Z0d0z0?0?0?0?0?0?0?0?011$1:1D1Z1d1z1?1?1?1?1?1?1?1?122$2<2B2M2Y2b2j2s2|2?2?2?2?2?2?2?2?2?2	33w;?;?;?;L=T=c=?>?>?>?>??????`@1c1?1?1?1?1?1?1?1?12<2?26?6?6H8P8_8l8t8?8@:H:W:d:l:{:p<.868E8[8c8r88?8?8?8?8?8?8?8?89{9???????????????????411%192I2?2?7?7?7< .>6>E>	?p???????????????0&0D0^0j0y0?0?0?0?0?0?2?2?2?23(3;3f3v3?3?3?3?3?3?344*484Y4l4v4?4?4?4?4?4?4?4?4	5C5R5\5f5q5}5?5?5?5?5?5?5?5?5?5?5666'616A6S6b6l6v6?6?6?6?6?6?6?6?6?6?6?687L7R7\7f7v7?7?7F8y8?8?89	939C9I9S9]9m9}9?9?9?9?9?9?9?9?9	:?:?:?:?:?:?:?:?:?:?:?:?:;; ;);?;?;?;?;?;?;?;?;2<:> >.><>I>W>e>r>>?>?>?>?>?>?>?>?>?>?>?>?>?>?%?b?i?p?z????????????????????????h00$040C0R0?0?0?0?0?01;1\1?1?1
2%2=2l2?2+3H3?34D55?5?5?7?7?7?7?7?7|8?8?8?8"9?9?:?;??>???@?0?1?9?9?9 :(:7:?:;?;?;?;?;?;?;	=8=b=?=?=?=>L>?3?K?h???3?344444 4?0080????>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?>?????? ?$?(?,?4?8?	*F	<?+?|	,I|	-__in_chrg?		?+??	,I?	.d??+??	/%l?0?@?(n??(nQ
1IQ
?2/?2j08	?3M?(n??(n412??`5?	P?(n27
6?	7?	?`?8?	??(n57?	?d?0? ?(n5?(n8?
1IQ
?9??2j=?9?:src_ptr??0???(n2?(np?
1IQ
?:dstb?:objb?21c?
?K	0???(n?(n??1IQ
?9??2%I??2J?2jK?:src_typeL?:src_ptrM?21N??Q	0[p?(n??(n??1IQ
?:thr_type"@	?:thr_obj#8	?:outer$?;W	0?(nE?(n??7a	?;W	?(n%?(n?47a	????>D??_ZN10__cxxabiv117__class_type_info16__dyncast_resultaSERKS1_O>D__vmi_class_type_info?__flags_masks	__non_diamond_repeat_mask	__diamond_shaped_mask	__flags_unknown_mask?-&.Ladjust_pointerJ&?T&nonvirtual_base_type}?
+???long intboolabi\L,3??J ???M!?#"__base_type?-##???MS-$~__si_class_type_infoU?M%???Mf&??_ZN10__cxxabiv120__si_class_type_infoaSERKS0_q?Mf'__do_dyncast,_ZNK10__cxxabiv120__si_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultEUw??-&-&?'__do_find_public_src!_ZNK10__cxxabiv120__si_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2_?U?w?&-&(__do_upcastK_ZNK10__cxxabiv120__si_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultEUw-&?UY^charlUU}U?)??T*baseJ&*offsetJ?)??+this?+__in_chrg?M,?@?(n??(n?7	-this7	?.dstL-?/?L&?.resultM<	?w?,???(n??(n\
-this7	?.src2dst-??.access_path.??.dst_type/-?/?0&?/?1-?.src_ptr2&?.result3
?0??(n?(n:1??1???,??(n%?(n?j
-this7	?.src2dst"??/?#&?/?$-?.src_ptr%&?2???(n??(n`?
3??2?P?(nu?(n??
3??0?Z?(nh?(n3???4??9GNU C++ 4.5.3/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/src/gcc-4.5.3/libstdc++-v3/libsupc++/tinfo.cc/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/build/i686-pc-cygwin/libstdc++-v3/libsupc++?Sptrdiff_t??intsize_t?	unsigned intstd93?4??__cxxabiv1__class_type_info__vmi_class_type_info?	__flags_masks
__non_diamond_repeat_mask
__diamond_shaped_mask
__flags_unknown_mask
-.9
nonvirtual_base_type}?+?Klong intboolabi\92X@e_vptr.type_infop#__name??#~type_info@???nameb_ZNKSt9type_info4nameEv???beforei_ZNKSt9type_info6beforeERKS_,??operator==&_ZNKSt9type_infoeqERKS_,K??operator!=?_ZNKSt9type_infoneERKS_,???__is_pointer_p6_ZNKSt9type_info14__is_pointer_pEv,@??__is_function_p=_ZNKSt9type_info15__is_function_pEv,@%?__do_catchD_ZNKSt9type_info10__do_catchEPKS_PPvj,@????	__do_upcastK_ZNKSt9type_info11__do_upcastEPKN10__cxxabiv117__class_type_infoEPPv,@???????operator=?_ZNSt9type_infoaSERKS_?N???????pv__vtbl_ptr_typee??char@?@?@??? @!{?"??#__in_chrg???!?"??$???(n??(n?<%??&?P?(nW?(n_'??&?`?(ng?(n@?'??&?@?(nG?(nx?'??(?(??$???(n??(n??%??)???(n??(n!%??&p?(n??(n?I'??*arg'I?+??(n??(n-+??(n??(n-+??(n??(n-?&%0?(n?# ?G_fnargsH#_dso_handleI#?_fntypesKR#?_is_cxaNR#?	
?_atexit?Y`_nextZ`#_ind[?#_fns]f#?^?#?	xv
?v
__sbufi?_basejQ#_sizek?#??????_reent@D?_errnoF?#_stdinK^	#_stdoutK^	#_stderrK^	#_incM?#_emergencyN=#_current_categoryP?#0_current_localeQ?#4__sdidinitS?#8__cleanupUY#<_resultX?#@_result_kY?#D_p5sZ?#H_freelist[_#L_cvtlen^?#P_cvtbuf_?#T_new?#X_atexit?`#?_atexit0?#?_sig_func?q#?__sglue?	#?__sf?}#???????????????????	%
?	5
?
__sFILE64p??_p?Q#_r?#_w?#_flags?D#_file?D#_bf?~#_lbfsize?#_data??#_cookie?# _read?#$_write??#(_seek??#,_close?#0_ub?~#4_up?Q#<_ur??#@_ubuf?#D_nbuf?%#G_lb~#H_blksize?#P_flags2?#T_offset?#X_seek64?#`_lockB#d_mbstate
0#h??????__FILE5_glueX	_nextX	#_niobs?#_iobs^	#		_rand481?	_seed2?	#_mult3?	#_add4?#	??	
??c?_unused_rande?#_strtok_lastf?#_asctime_bufg?#_localtime_bufh?#$_gamma_signgami?#H_rand_nextjW#P_r48kd	#X_mblen_statel0#h_mbtowc_statem0#p_wctomb_staten0#x_l64a_bufo?#?_signal_bufp?#?_getdate_errq?#?_mbrlen_stater0#?_mbrtowc_states0#?_mbsrtowcs_statet0#?_wcrtomb_stateu0#?_wcsrtombs_statev0#?_h_errnow?#?	??
?	??
?	??
??|?_nextf?#_nmalloc?#x	Q
?	?
??a=_reentx?	_unused??	?M
?Y?M?q?we		?
?	?
?
HINSTANCE__??unusedҋ#HINSTANCE???HMODULE??double
per_process???initial_sp??#magic_biscuit?#dll_major?#dll_minor?#impure_ptr_ptr?#envptr?#malloc?#free?#realloc
?# fmode_ptr?#$main#(ctors#,dtors#0data_start#4data_end#8bss_start#<bss_end#@calloc'#Dpremain-#Hrun_ctors_p ?#Xunused"_#\cxx_malloc%?#xhmodule'?#|api_major)#?api_minor*#?unused2-?#?pseudo_reloc_start.#?pseudo_reloc_end/#?image_base0#?threadinterface5#?impure_ptr7?#?????????????????x'??	Y=
?S??S?=	o
?per_process_cxx_mallocoMainFunccygwin_attach_dll??(n3?(n?h??f??u?`)ndjGNU C++ 4.5.3 20110428 (Fedora Cygwin 4.5.3-4)/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/_cygwin_crt0_common.cc/usr/src/debug/cygwin-1.7.18-1/i686-pc-cygwin/winsup/cygwin@?(nL?(n?	signed charunsigned charshort intshort unsigned intintunsigned intlong long intlong long unsigned int_LOCK_T`long int_off64_t$&_fpos_t,b_fpos64_t2n_ssize_t<wint_t`M_mbstate_tP?__wchQ?__wchbR	__countN#	__valueS?#
?)_flock_tXQptrdiff_t?size_t?long unsigned intschar__gnuc_va_list(?
__builtin_va_listsva_listf{?%?_active(?#	version-#	lmicrosec.#	execing/?#vsprntf&_ZN6strace7vsprntfEPcPKcS2_S0__?m???write'_ZN6strace5writeEjPKci???activate*_ZN6strace8activateEb????+??microseconds,_ZN6strace12microsecondsEv ?dll_info0_ZN6strace8dll_infoEvO?prntf1_ZN6strace5prntfEjPKcS1_z????vprntf2_ZN6strace6vprntfEjPKcS1_Pc?????wm3_ZN6strace2wmEiii
?write_childpid4_ZN6strace14write_childpidEmK?Xattached5_ZNK6strace8attachedEv??active6_ZNK6strace6activeEv???active_val7_ZN6strace10active_valEv?bool??s??wchar_tWINBOOLgDWORDuXfloatLPVOID?`?LONG?bHANDLE?`__ULong	X_Bigint	-?	_next	.?#	_k	/#	_maxwds	/#	_sign	/#	_wds	/#	_x	0?#?
X__tm$	5?	__tm_sec	6#	__tm_min	7#	__tm_hour	8#	__tm_mday	9#	__tm_mon	:#	__tm_year	;#	__tm_wday	<#	__tm_yday	=#	__tm_isdst	># ?	G!	_fnargs	H!#	_dso_handle	I!#?	_fntypes	Kr#?	_is_cxa	Nr#?
`1_atexit?	Y?	_next	Z?#	_ind	[#	_fns	]?#?	^?#?1
???__sbuf	i?	_base	jR#	_size	k# ???`m?!_reent@	E?"?	b7#?	d?
$_unused_rand	e#$_strtok_last	fm#$_asctime_buf	g?#$_localtime_buf	h#$$_gamma_signgam	i#H$_rand_next	j7#P$_r48	k?#X$_mblen_state	l?#h$_mbtowc_state	m?#p$_wctomb_state	n?#x$_l64a_buf	o#?$_signal_buf	p#?$_getdate_err	q#?$_mbrlen_state	r?#?$_mbrtowc_state	s?#?$_mbsrtowcs_state	t?#?$_wcrtomb_state	u?#?$_wcsrtombs_state	v?#?$_h_errno	w#?#?	}$_nextf	,#$_nmalloc	?<#x%_reent	x	%_unused	??
$_errno	F#$_stdin	K?#$_stdout	K?#$_stderr	K?#$_inc	M#$_emergency	NL#$_current_category	P#0$_current_locale	Q?#4$__sdidinit	S#8$__cleanup	Um#<$_result	Xs#@$_result_k	Y#D$_p5s	Zs#H$_freelist	[y#L$_cvtlen	^#P$_cvtbuf	_m#T$_new	?	#X$_atexit	?#?$_atexit0	?1#?$_sig_func	??#?$__sglue	?X#?$__sf	??#?? ?
?`?? ~:
?`~
 T
?`@

?j

?z
__sFILE64p	?%	_p	?R#	_r	?#	_w	?#	_flags	??#	_file	??#	_bf	?#	_lbfsize	?#	_data	??#	_cookie	?`# 	_read	??#$	_write	?
#(	_seek	?:
#,	_close	?T
#0	_ub	??#4	_up	?R#<	_ur	?#@	_ubuf	?Z
#D	_nbuf	?j
#G$_lb	?#H$_blksize	#P$_flags2	#T$_offset	n#X$_seek64	C#`$_lock	)#d$_mbstate	
?#h ?C?`?%__FILE	z
&_glue	?$_next	?#$_niobs	#$_iobs	?#XI&_rand48	1?$_seed	2?#$_mult	3?#$_add	4?#
??
s
s
s,
R<
L
s\'gg?\?s1'???
z
?
X?HINSTANCE__??	unused?#HINSTANCE???HMODULE??_SECURITY_ATTRIBUTES
?p	nLength
?.#	lpSecurityDescriptor
?D#	bInheritHandle
?#SECURITY_ATTRIBUTES
?doublem(^cygwin_getinfo_typesd)CW_LOCK_PINFO)CW_UNLOCK_PINFO)CW_GETTHREADNAME)CW_GETPINFO)CW_SETPINFO)CW_SETTHREADNAME)CW_GETVERSIONINFO)CW_READ_V1_MOUNT_TABLES)CW_USER_DATA)CW_PERFILE	)CW_GET_CYGDRIVE_PREFIXES
)CW_GETPINFO_FULL)CW_INIT_EXCEPTIONS)CW_GET_CYGDRIVE_INFO
)CW_SET_CYGWIN_REGISTRY_NAME)CW_GET_CYGWIN_REGISTRY_NAME)CW_STRACE_TOGGLE)CW_STRACE_ACTIVE)CW_CYGWIN_PID_TO_WINPID)CW_EXTRACT_DOMAIN_AND_USER)CW_CMDLINE)CW_CHECK_NTSEC)CW_GET_ERRNO_FROM_WINERROR)CW_GET_POSIX_SECURITY_ATTRIBUTE)CW_GET_SHMLBA)CW_GET_UID_FROM_SID)CW_GET_GID_FROM_SID)CW_GET_BINMODE)CW_HOOK)CW_ARGV)CW_ENVP)CW_DEBUG_SELF)CW_SYNC_WINENV )CW_CYGTLS_PADSIZE!)CW_SET_DOS_FILE_WARNING")CW_SET_PRIV_KEY#)CW_SETERRNO$)CW_EXIT_PROCESS%)CW_SET_EXTERNAL_TOKEN&)CW_GET_INSTKEY')CW_INT_SETLOCALE()CW_CVT_MNT_OPTS))CW_LST_MNT_OPTS*)CW_STRERROR+)CW_CVT_ENV_TO_WINENV,)CW_ALLOC_DRIVE_MAP-)CW_MAP_DRIVE_MAP.)CW_FREE_DRIVE_MAP/per_process??	initial_sp?m#$magic_biscuitX#$dll_majorX#$dll_minorX#$impure_ptr_ptr#$envptr#$malloc##$free4#$realloc
N# $fmode_ptr#$$mainm#($ctorss#,$dtorss#0$data_start`#4$data_end`#8$bss_start`#<$bss_end`#@$calloc?#D$premain?#H$run_ctors_p #X$unused"?#\$cxx_malloc%?#x$hmodule'?#|$api_major).#?$api_minor*.#?$unused2-?#?$pseudo_reloc_start.`#?$pseudo_reloc_end/`#?$image_base0`#?$threadinterface3?#?$impure_ptr7?#??? `#J'4`) `N`J: m??T? `?JJy
??'???d?
X?per_process_cxx_malloc ?	oper_new##	oper_new__##	oper_delete4#	oper_delete__4#	oper_new_nt?#	oper_new___nt?#	oper_delete_nt?#	oper_delete___nt?#?&MTinterface
??$concurrency
?#$threadcount
?X#$pthread_prepare
?;#$pthread_child
?;#$pthread_parent
?;#*Init
?_ZN11MTinterface4InitEvq?*fixup_before_fork
?_ZN11MTinterface17fixup_before_forkEv??+fixup_after_fork
?_ZN11MTinterface16fixup_after_forkEv??,callback
?5$cb
??#$next
?5#MainFuncm-stdw.39.4J/nothrow_t0jE `?J??w'?`??1_cygwin_crt0_commonE_cygwin_crt0_common@8@?(nL?(n)@2fEA?3uE@m4?5newuG@?5uwasnullH??d6?:?7_impure_ptr)?
ss87isalpha_array h9_data_start__(s9_data_end__(s9_bss_start__(s9_bss_end__(s9__CTOR_LIST__)?9__DTOR_LIST__*?9sec_none_nih?p:CYGTLS_PADSIZE
D?1;_tlsbase*%fs:4mix86_arch_indices??X86_ARCH_CMOVEX86_ARCH_CMPXCHGX86_ARCH_CMPXCHG8BX86_ARCH_XADDX86_ARCH_BSWAPX86_ARCH_LASTfloatdoubleVARENUMs3VT_EMPTYVT_NULLVT_I2VT_I4VT_R4VT_R8VT_CYVT_DATEVT_BSTRVT_DISPATCH	VT_ERROR
VT_BOOLVT_VARIANTVT_UNKNOWN
VT_DECIMALVT_I1VT_UI1VT_UI2VT_UI4VT_I8VT_UI8VT_INTVT_UINTVT_VOIDVT_HRESULTVT_PTRVT_SAFEARRAYVT_CARRAYVT_USERDEFINEDVT_LPSTRVT_LPWSTRVT_RECORD$VT_INT_PTR%VT_UINT_PTR&VT_FILETIME?VT_BLOB?VT_STREAM?VT_STORAGE?VT_STREAMED_OBJECT?VT_STORED_OBJECT?VT_BLOB_OBJECT?VT_CF?VT_CLSID?VT_BSTR_BLOB?VT_VECTOR? VT_ARRAY??VT_BYREF??VT_RESERVED??VT_ILLEGAL??VT_ILLEGALMASKED?VT_TYPEMASK?complex floatcomplex doublelong doublecomplex long doublefunc_ptr+u	|?
?__CTOR_LIST__???(n__DTOR_LIST__???(n%RU:;I$>9:;:;<<:;	(

<:;:;

:;I8
.?:;<I4I:;.?:;<.?:;2<.?:;?@I2<9::;.:;I<4:;I<I&I:;&IG:;I8
2 .?4<!.??@I4<".?:;<c#.?:;L<$.?:;?@ILM
2<%.?:;?@ILM
2<&.?:;?@ILM
<'.?:;?@I<(.?:;?@ILM
<).?:;?@ILM
<*+.G ,I4-I4.:;I/:;I0.G@1I4
2:;I
344:;I
51RUXY6171
81RUXY9I
::;I
;.1@<1XY=4G%RU:;I$>9:;:;<<:;	(

<:;:;

:;I8
.?:;<I4I:;.?:;<.?:;2<.?:;?@I2<9::;.:;I</4:;I<<I&I:;&I G:;!I8
2"
:;I8
#.?:;<c$.?:;L<%.?:;2<&.?:;?@I2<'.?:;?@ILM
2<(.?:;?@ILM
2<).G *:;I+I4,.G@-I4
.:;I
/:;I
01XY112.1@31
44G%RU:;I$>9:;:;<<<	:;
(
9::;
4:;I<I&I:;G:;
I8
4
:;I8
2.?:;L<I4.?:;?@I<I.?:;?@ILM
<.?:;2<c.?:;?@I2<.?:;2<III !.G "I4#I4$.1@%1
&.G@'I4
(I
)1XY*:;I
+1XY,4G%$>I:;I:;
:;I8
:;	(

.:;'I@:;I
.?:;?@'I@
4:;I4:;I
4:;I?<4:;I?
%$>:;I:;
:;I8
I.?:;?@I@	:;I
%$>:;II:;I:;
:;I	I
!I/:;
:;I8

:;:;:;
:;I8
''II:;
:;I8
&I:;:;:;
:;I'<.?:;'I@:;I
4:;I
%$>:;I:;I:;:;
:;I	
:;I8

I!I/I
I:;
:;I8
2.?:;?@I2<I4I.?:;?@2<.?:;?@<.?:;<.?:;?@I<.?:;?@I<&II:;:;:;
:;I8
 I!:;":;#:;$
:;I8
%
:;I&:;'(:;)(
*.?:;?@<+.?:;?@<,:;-9:;.:;/<0G:;1.?:;?@I@2:;I
3:;I4U54:;I64:;I?<74:;I?<8!94:;I?<:4:;I;4:;?@I?<<4:;I=4:;I?
%.?:;'@:;I
$>I%.?:;'@:;I
$>I%.?:;'@:;I
$>I%.?:;'@:;I
$>I%.?:;@%$>'I:;(
:;:;I	I
!I/4:;I?
>U?
/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/src/gcc-4.5.3/libstdc++-v3/libsupc++/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/build/./gcc/include/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/build/i686-pc-cygwin/libstdc++-v3/includeclass_type_info.cctinfo.hstddef.hcstddefcxxabi.h@?(n0ti?<??????;G<9.Fcxxabi.h@?(n?Jg?e?;=;=;g;??(n3$??=#=,/=0.n.?w?`=;=;!et.Y??g??(n%J?L?;=;=;?;,???(nf=gP?(nt=?
W?
/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/src/gcc-4.5.3/libstdc++-v3/libsupc++/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/build/./gcc/include/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/build/i686-pc-cygwin/libstdc++-v3/includetinfo.cctypeinfostddef.hcstddeftinfo.hcxxabi.h??(n=?P?(n7",0`?(n>",0@?(n?",0??(nf=gp?(n'%Sfk$J<n?<J<y?	Xrh:00?(n?h???
/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/usr/i686-pc-cygwin/sys-root/usr/include/w32apidll_entry.cwindef.hwtypes.h?(nf*f#t?%.D?f???
/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/usr/i686-pc-cygwin/sys-root/usr/include/w32apidll_main.ccwindef.h?(n pX.?v?
/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/usr/lib64/gcc/i686-pc-cygwin/4.5.3/include/usr/i686-pc-cygwin/sys-root/usr/include/w32api/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/include/sys/usr/src/debug/cygwin-1.7.18-1/newlib/libc/include/syscygwin_attach_dll.cstddef.hwindef.hlock.h_types.hreent.hcygwin.hcrt0.h?(nv:>?=;q@D??
/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/include/sys/usr/src/debug/cygwin-1.7.18-1/newlib/libc/include/sys/usr/lib64/gcc/i686-pc-cygwin/4.5.3/include/usr/i686-pc-cygwin/sys-root/usr/include/w32api/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/usr/lib64/gcc/i686-pc-cygwin/4.5.3/include/c++._cygwin_crt0_common.cclock.h_types.hstddef.hstdarg.hstrace.hwindef.hwinnt.hreent.hwinbase.hcygwin.hcygwin-cxx.hthread.hcrt0.hcstddefstring.hwinsup.hsecurity.hcygtls.hcygwait.hglobals.hnew@?(n??g??fX.wu
t<i?
/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/src/gcc-4.5.3/libgcc/../gcc/config/i386/usr/i686-pc-cygwin/bin/../include/w32api/gnu/gcc/releases/respins/4.5.3-3/gcc4-4.5.3-3/src/gcc-4.5.3/libgcc/../gcci386.hwtypes.hlibgcc2.cgbl-ctors.h????|? @?(nbA?B
D?Y?A? ?(nA?B
G? ??(nBA?B
D?y?A?,??(nkA?B
F?I?F?t

???A?C@p?(nrA?B
L??I?f

???A?A\

???A?CP???
A?0?(nA?B
M? ?(n%A?B
D?X?A?????|?44@?(nrA?B
L??F?t

???A?F_
???A?84??(n?A?B
O?F?L?R

???A?Ay

???A?B44??(nuA?B
F?F?F?o

???A?Bl
???A?4??(nA?B
M? 4P?(n%A?B
D?X?A?????|?8??(nA?B
J?8P?(nA?D
A?8`?(nA?D
A?8@?(nA?D
A?8??(nA?B
M?,8p?(n^A?G
D?A
?A?BL?A?80?(nA?B
D?????|?<?(n*A?B
f?4<@?(n?A?B
g
?FN
?EA
?CN?< ?(nA?B
D?????|???(nA?G
A?????|? ??(n3A?B
D?g??????|?(4@?(nA?B
E???
?A?A?C????|?t`?(nA?B
A?????|??p?(nA?B
A?????|????(nA?B
A?????|???(nA?B
A?????|?D??(nA?B
A?dst_type__upcast_result__do_upcastaccess_pathresult__dyncast_resultthis__class_type_infooperator=obj_ptr__upcast_result__si_class_type_info__dyncast_resultoperator=obj_ptrsrc_typetype_infothis__dynamically_loaded_on_exit_argsstrace_on_exit_args@?(nA?(ntA?(nC?(ntC?(n??(nu??(n??(nt ?(n!?(nt!?(n#?(nt#?(n*?(nu*?(n5?(nt??(n??(nt??(n??(nt??(n1?(nu1?(n2?(nt??(n??(nt??(n??(nt??(n??(nu??(n??(nt??(n?(nt?(n?(nup?(nq?(ntq?(ns?(nts?(n??(nu??(n??(nt??(n??(nt??(n??(nu??(n??(nt??(n??(nt??(n??(nu??(n??(nt??(n??(nt0?(n1?(nt1?(n3?(nt3?(n@?(nu@?(nE?(nt?(n?(nt?(n?(nt?(n ?(nu ?(n%?(nt@?(nA?(ntA?(nC?(ntC?(n??(nu??(n??(nt??(n??(nt??(n??(nu??(n??(nt??(n??(nt??(n??(nt??(n??(nt??(n6?(nu6?(n7?(nt7?(n8?(nt8?(nq?(nuq?(nr?(ntr?(nt?(ntt?(n??(nu?(n)?(n?P?(n)?(n???(n??(nt??(n??(nt??(n??(nu??(n??(nt??(n??(nt??(n#?(nu#?(n$?(nt$?(n%?(nt??(n??(nt??(n??(nt??(n??(nu??(n??(ntP?(nQ?(ntQ?(nS?(ntS?(np?(nup?(nu?(nt??(n??(nt??(n??(nt??(n??(nu??(n??(ntP?(nQ?(ntQ?(nU?(ntU?(nV?(nuV?(nW?(nt`?(na?(nta?(ne?(nte?(nf?(nuf?(ng?(nt@?(nA?(ntA?(nE?(ntE?(nF?(nuF?(nG?(nt??(n??(nt??(n??(nt??(n??(nu??(n??(ntp?(nq?(ntq?(nx?(ntx?(n??(nu??(n??(nt??(n??(nu??(n??(nt0?(n1?(nt1?(n3?(nt3?(n7?(nu7?(np? d?? ? ??0 *?!.text?d.data.bssV(?$.ctors?.dtors??p.file3??gSolver.cc???? ?0?@??@? `?:`? U??y?? ??~?? ?P??P? "`??H`? i??? ? ?? ? ?@??@? ??<?? [?????? ???w??? ?@?I@? ___tcf_0P :(n? ?H?? ??
 ???.? ?P?X?P? ??	? 0	?
 ]	P ?	@?	??	? *
q
`?
@ ? ?
?2?
? @?2<@? TP?2qP? ? ?2? ? ?0?2?0? ??2"? L?2i? > ? ????F
0 r
?
@?
p %?q ??$ ?  ' 5@t`( ????* ?`W???? ??/ ??,?M?l`? ??????`H@q ??????&`; P ??`????	? I ?0B ?0B ??????? ?pJ B`L `? R ?R 00U S????`???`? 'P??]P? ??????? ??????? `??8`? Wp??{p? ?@???@? ?X %?`???? !?^@??Z ???Vi |?i ????o ?@(???e?? ?0q ???8?? @@y t ?????? 6@??	j@? ??| ??? ?
?>`? [?? q?? ??4??H ?  ; ?] ? ?? ?.textP~??.data.bss .rdata?HVL?r.ctors?.dtors??p$
3.fileL??gOptions.cc___tcf_0В ? ? ? 4! ? @!8?!?A?!? ?!0? "?? .textВ??.data.bss@.rdata???d.file\??gSystem.cc>"?? .text??.data.bss@.text??.idata$7.idata$5?.idata$4.idata$6@feat.00??.file???gclass_type_info.ccU"@? ?" ? ?"? *#?? ?#p? ?#0? $?,
/$0? W$? $??$ "?$?$`
.text??.data.bss@	%n%;=#%
B/%@?bo% ??%?B&??k?&p?r?&0??&?%''4???4'?J?'	rO'
A_'Pn'p|'r.text??.idata$7?.idata$5?.idata$4?.idata$6?@feat.00??.text??.idata$7?.idata$5?.idata$4?.idata$6?@feat.00??.text??.idata$7?.idata$5?.idata$4?.idata$6?@feat.00??.text??.idata$7.idata$5?.idata$4.idata$6@feat.00??.textȚ.idata$7?.idata$5?.idata$4?.idata$6X@feat.00??.textК.idata$7?.idata$5?.idata$4?.idata$6t@feat.00??.file??g?+?'@? ?'?? q(?? ?(?? ?(?,
+)?? V)P? ?)??)`%.textؚ.data.bss@	%n?%;?
'#%B
?)@?rO*????*??u9+??i+P?%''4
???4'??F?'r	*O'A
D_'P@n'p0
|'rQ.textؚ.idata$7.idata$5?.idata$4?.idata$6?@feat.00??.text??.idata$7.idata$5?.idata$4?.idata$6?@feat.00??.text?.idata$7.idata$5?.idata$4.idata$6?@feat.00??.fileM??gtinfo.cc?+?? ?+? ?+?? ?+P? ,`? :,@? ?,?? ?,p? ?,0? .text?.data.bss@	%9:%?*#%S
?,???,P?-`?B-@??-???-p?^?-0?''84'??<?'?	?O'?
9_'?Pn'?@|'?.text?.idata$7?.idata$5?.idata$4?.idata$6,@feat.00??.text??.idata$7?.idata$5?.idata$4?.idata$6L@feat.00??.text?.idata$7?.idata$5?.idata$4?.idata$6@@feat.00??.fileo??gdll_entry.c?-? ?-L.H.D#.@? 9.PD. ? .text?.data.bss@	%s?%??#%q
?''<?4'pI?'?	aO'?
F_'? |'?.files??gfake.text0?.filew??gfake.text8?.file{??gfake.text@?.file??gfake.textH?.file???gfake.textP?.file???gfake.textX?.file???gfake.text`?.file???gfake.texth?.file???gfake.textp?.file???gfake.textx?.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.text??.file???gfake.textȜ.file???gfake.textМ.file???gdll_main.ccd.?? .text??.data.bssT	%e	%?$#%U
?''?44'?8?'?	O'
N_' .file???gfake.text?.file???g?.p.? _u.21033`.text?3.data.bss`?	%?	?%?&?
#%
?''?84'?8?'	(O'R
Y_'  |'?.file??g?.?.@? .text@?=.data .bss 	%jI%?7h#%?	
H''4@4')??'8	YO'?
$_'@ n'?|'?.file%??gfake.textP?.textX?.idata$7p.idata$54.idata$4|.idata$6,.file=??gpremain0.c?.`? .text`?.data .bss(	%?L%V?#%?
l''t44'?8?'?	&_'` .fileU??gpremain1.c?.p? .textp?.data .bss(	%?L%?V?#%R

l''?44'#8?'?	&_'? .filem??gpremain2.c?.?? .text??.data .bss(	%KL%?W?#%?

l''?44'[8?'?	&_'? .file???gpremain3.c?.?? .text??.data .bss(	%?L%?X?#%*
l''44'?8?'	&_'? .file???gfake.text??.file???gfake.text??.file???gfake.text??.file???g$/	/?? .text??.data .bss(	%?%%?Y?#%?
t''D44'?8?')	0_'? .textР.data .bss(.idata$7$.idata$5?.idata$4.idata$60.textؠ.data .bss(.idata$7(.idata$5?.idata$4.idata$6D.file???gfakehnamefthunk?.text?.data .bss(.idata$2<.idata$4.idata$5?.file???gfake.text?.data .bss(.idata$4.idata$5?.idata$7,
.file???glibgcc2.c.text?.data .bss(	%?%BZ?#%

?'Y	6O'?
W.file???gcygming-crtend.c9/?
H/?U/? j/? .text?.data .bss(??
.jcr??/??/ ?.idata$2.idata$5.idata$4d.idata$2.idata$5?.idata$4?.idata$2(.idata$5?.idata$4?.idata$7X.idata$5.idata$4d.idata$6?@feat.00??.idata$7\.idata$5 .idata$4h.idata$6?@feat.00??.idata$7`.idata$5$.idata$4l.idata$6?@feat.00??.idata$7d.idata$5(.idata$4p.idata$6@feat.00??.idata$7h.idata$5,.idata$4t.idata$6@feat.00??.idata$7l.idata$50.idata$4x.idata$6 @feat.00??.idata$7t.idata$58.idata$4?.idata$6<@feat.00??.idata$7x.idata$5<.idata$4?.idata$6H@feat.00??.idata$7|.idata$5@.idata$4?.idata$6T@feat.00??.idata$7?.idata$5D.idata$4?.idata$6h@feat.00??.idata$7?.idata$5H.idata$4?.idata$6|@feat.00??.idata$7?.idata$5L.idata$4?.idata$6?@feat.00??.idata$7?.idata$5P.idata$4?.idata$6?@feat.00??.idata$7?.idata$5T.idata$4?.idata$6?@feat.00??.idata$7?.idata$5X.idata$4?.idata$6?@feat.00??.idata$7?.idata$5\.idata$4?.idata$6?@feat.00??.idata$7?.idata$5`.idata$4?.idata$6?@feat.00??.idata$7?.idata$5d.idata$4?.idata$6?@feat.00??.idata$7?.idata$5h.idata$4?.idata$6?@feat.00??.idata$7?.idata$5l.idata$4?.idata$6?@feat.00??.idata$7?.idata$5p.idata$4?.idata$6?@feat.00??.idata$7?.idata$5t.idata$4?.idata$6?@feat.00??.idata$7?.idata$5x.idata$4?.idata$6?@feat.00??.idata$7?.idata$5|.idata$4?.idata$6@feat.00??.idata$7?.idata$5?.idata$4?.idata$6@feat.00??.idata$7?.idata$5?.idata$4?.idata$6 @feat.00??.idata$4?.idata$5?.idata$7?.idata$4?.idata$5?.idata$7?.idata$4.idata$5?.idata$7?/ ?/??/)n???/??/?00&050?_free@? D0,_strcmp?? V0r0??0???0??0?0?0?0@1??K1?? `1???1?1???1???1??2 ?? 2??<2N2`2p2?? 2@?2`_putsМ ?28?2P? ?2(	3Ț "3Р 63 i_fputc`? M3[3Xh3 __ZdlPv?? ?3???3?? ?3??3?_environ ?3??3ؠ 44?14?M4__dll__??]4pi4??_fwriteX? ~48?4? ?4(n???4L?4???4??44?4?5?? 5???5)n??]5?n5(?5(?5?5?5??50? ?5?64"6?968? H68T6_fprintfp? d6{6`?6??6?_strtolx? ?6?6?? 
7?? $7,@7?_fopen?? _calloc?? O7h? __fmode$[7??n7??7??7H?7???7??78??<8 c8xq8???8??8??_reallocH? ?8d?8? ?8??9H9t$9,89O9]9??9$__end__?94_strtod?? ?9?_malloc?? ?9?_fcloseȜ ?9T?9??3:PA:? U:??n:??:?:(n??_atexit?? ?:???:ؚ ?:|?:??:<?:h; i;?8;?S;`m; |;D?;?;??;?;?_pow?? ___errnoP? <??><?e<0u<\?< i?<???<???<?? ?<l?<<=i"=*= [=??w=???=i#_strlen?? __Znaji'?=i!__Znwj?? _exit?? ?=??=? ?=?_printf?? > >??Z> |>H?>К ?>?>i$__ZdaPvi%?>`?>??>.eh_frame.debug_aranges.debug_pubnames.debug_pubtypes.debug_info.debug_abbrev.debug_line.debug_frame.debug_str.debug_loc.debug_ranges___EH_FRAME_BEGIN_____JCR_LIST_____gcc_register_frame___gcc_deregister_frame.eh_frame_Java_kodkod_engine_satlab_Glucose_make@8_Java_kodkod_engine_satlab_Glucose_free@16_Java_kodkod_engine_satlab_Glucose_addVariables@20_Java_kodkod_engine_satlab_Glucose_solve@16_Java_kodkod_engine_satlab_Glucose_valueOf@20.text$_ZN7Glucose3vecINS_3LitEED1Ev__ZN7Glucose3vecINS_3LitEED1Ev.text$_ZN7Glucose3vecINS_3LitEE8capacityEi__ZN7Glucose3vecINS_3LitEE8capacityEi.rdata$_ZTIN7Glucose20OutOfMemoryExceptionE_Java_kodkod_engine_satlab_Glucose_addClause@20__GLOBAL__I_kodkod_engine_satlab_Glucose.cpp__ZStL8__ioinit__GLOBAL__D_kodkod_engine_satlab_Glucose.cpp.rdata$_ZTSN7Glucose20OutOfMemoryExceptionE.gcc_except_tablekodkod_engine_satlab_Glucose.cpp.text$_ZN7Glucose6OptionD1Ev__ZN7Glucose6OptionD1Ev.rdata$_ZTVN7Glucose6OptionE.text$_ZN7Glucose10BoolOptionD1Ev__ZN7Glucose10BoolOptionD1Ev.text$_ZN7Glucose9IntOptionD1Ev__ZN7Glucose9IntOptionD1Ev.text$_ZN7Glucose12DoubleOptionD1Ev__ZN7Glucose12DoubleOptionD1Ev.text$_ZN7Glucose9IntOption4helpEb__ZN7Glucose9IntOption4helpEb.text$_ZN7Glucose12DoubleOption4helpEb__ZN7Glucose12DoubleOption4helpEb.text$_ZN7Glucose9IntOption5parseEPKc__ZN7Glucose9IntOption5parseEPKc.text$_ZN7Glucose6OptionD0Ev__ZN7Glucose6OptionD0Ev.text$_ZN7Glucose10BoolOptionD0Ev__ZN7Glucose10BoolOptionD0Ev.text$_ZN7Glucose9IntOptionD0Ev__ZN7Glucose9IntOptionD0Ev.text$_ZN7Glucose12DoubleOptionD0Ev__ZN7Glucose12DoubleOptionD0Ev.text$_ZN7Glucose10BoolOption4helpEb__ZN7Glucose10BoolOption4helpEb.text$_ZN7Glucose10BoolOption5parseEPKc__ZN7Glucose10BoolOption5parseEPKc.text$_ZN7Glucose12DoubleOption5parseEPKc__ZN7Glucose12DoubleOption5parseEPKc.data$_ZZN7Glucose6Option13getOptionListEvE7options__ZN7Glucose6SolverD2Ev.rdata$_ZTVN7Glucose6SolverE__ZN7Glucose6SolverD1Ev__ZN7Glucose6SolverD0Ev.text$_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev__ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEED1Ev.text$_ZN7Glucose4HeapINS_6Solver10VarOrderLtEED1Ev__ZN7Glucose4HeapINS_6Solver10VarOrderLtEED1Ev.text$_ZN7Glucose15ClauseAllocatorD1Ev__ZN7Glucose15ClauseAllocatorD1Ev__ZNK7Glucose6Solver9satisfiedERKNS_6ClauseE__ZN7Glucose6Solver13pickBranchLitEv__ZZN7Glucose3vecIiE3popEvE19__PRETTY_FUNCTION____ZZNK7Glucose4HeapINS_6Solver10VarOrderLtEEixEiE19__PRETTY_FUNCTION____ZN7Glucose6Solver16uncheckedEnqueueENS_3LitEj__ZZN7Glucose6Solver16uncheckedEnqueueENS_3LitEjE19__PRETTY_FUNCTION____ZZN7Glucose3vecINS_3LitEE5push_ERKS1_E19__PRETTY_FUNCTION____ZNK7Glucose6Solver16progressEstimateEv.text$_ZN7Glucose3vecINS_5lboolEED1Ev__ZN7Glucose3vecINS_5lboolEED1Ev.text$_ZN7Glucose3vecIdED1Ev__ZN7Glucose3vecIdED1Ev.text$_ZN7Glucose3vecIcED1Ev__ZN7Glucose3vecIcED1Ev.text$_ZN7Glucose3vecIjED1Ev__ZN7Glucose3vecIjED1Ev.text$_ZN7Glucose3vecIiED1Ev__ZN7Glucose3vecIiED1Ev.text$_ZN7Glucose3vecINS_6Solver7VarDataEED1Ev__ZN7Glucose3vecINS_6Solver7VarDataEED1Ev.text$_ZN7Glucose3vecImED1Ev__ZN7Glucose3vecImED1Ev__ZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EE__ZZN7Glucose15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION____ZZN7Glucose6Solver12analyzeFinalENS_3LitERNS_3vecIS1_EEE19__PRETTY_FUNCTION____ZN7Glucose6Solver12litRedundantENS_3LitEj__ZZN7Glucose6Solver12litRedundantENS_3LitEjE19__PRETTY_FUNCTION____ZZN7Glucose3vecINS_3LitEE6shrinkEiE19__PRETTY_FUNCTION____ZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRj__ZZN7Glucose6Solver7analyzeEjRNS_3vecINS_3LitEEERiRjE19__PRETTY_FUNCTION____ZZN7Glucose6Clause8activityEvE19__PRETTY_FUNCTION____ZN7Glucose6Solver12detachClauseEjb.clone.91__ZZN7Glucose6Solver12detachClauseEjbE19__PRETTY_FUNCTION____ZN7Glucose6Solver12removeClauseEj__ZZNK7Glucose15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION____ZN7Glucose6Solver15removeSatisfiedERNS_3vecIjEE__ZZN7Glucose3vecIjE6shrinkEiE19__PRETTY_FUNCTION____ZN7Glucose6Solver12detachClauseEjb__ZZN7GlucoseL6removeINS_3vecINS_6Solver7WatcherEEES3_EEvRT_RKT0_E19__PRETTY_FUNCTION__.text$_ZN7Glucose3vecIPNS_6OptionEE8capacityEi__ZN7Glucose3vecIPNS_6OptionEE8capacityEi__Z41__static_initialization_and_destruction_0ii.clone.81__ZN7GlucoseL16opt_garbage_fracE__ZN7GlucoseL16opt_rnd_init_actE__ZN7GlucoseL16opt_phase_savingE__ZN7GlucoseL14opt_ccmin_modeE__ZN7GlucoseL15opt_random_seedE__ZN7GlucoseL19opt_random_var_freqE__ZN7GlucoseL16opt_clause_decayE__ZN7GlucoseL13opt_var_decayE__ZN7GlucoseL27opt_lb_lbd_minimzing_clauseE__ZN7GlucoseL28opt_lb_size_minimzing_clauseE__ZN7GlucoseL24opt_lb_lbd_frozen_clauseE__ZN7GlucoseL22opt_spec_inc_reduce_dbE__ZN7GlucoseL17opt_inc_reduce_dbE__ZN7GlucoseL19opt_first_reduce_dbE__ZN7GlucoseL20opt_size_trail_queueE__ZN7GlucoseL18opt_size_lbd_queueE__ZN7GlucoseL5opt_RE__ZN7GlucoseL5opt_KE.data$_ZGVZN7Glucose6Option13getOptionListEvE7options.rdata$_ZTVN7Glucose12DoubleOptionE.rdata$_ZTVN7Glucose9IntOptionE.rdata$_ZTVN7Glucose10BoolOptionE.text$_ZN7Glucose15RegionAllocatorIjE8capacityEj__ZN7Glucose15RegionAllocatorIjE8capacityEj__ZZN7Glucose15RegionAllocatorIjE8capacityEjE19__PRETTY_FUNCTION____ZN7Glucose6SolverC2Ev__ZN7Glucose6SolverC1Ev.text$_ZN7Glucose3vecIiE8capacityEi__ZN7Glucose3vecIiE8capacityEi__ZN7Glucose6Solver8toDimacsEP9__sFILE64RNS_6ClauseERNS_3vecIiEERi__ZN7Glucose6Solver8toDimacsEP9__sFILE64RKNS_3vecINS_3LitEEE__ZZN7Glucose6Solver8toDimacsEP9__sFILE64RKNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION____ZN7Glucose6Solver8toDimacsEPKcRKNS_3vecINS_3LitEEE__ZN7Glucose6Solver16rebuildOrderHeapEv__ZN7Glucose6Solver11cancelUntilEi__ZZN7Glucose4HeapINS_6Solver10VarOrderLtEE6insertEiE19__PRETTY_FUNCTION____ZZN7Glucose3vecIiE6shrinkEiE19__PRETTY_FUNCTION__.text$_ZN7Glucose3vecINS_5lboolEE8capacityEi__ZN7Glucose3vecINS_5lboolEE8capacityEi.text$_ZN7Glucose3vecINS_6Solver7VarDataEE8capacityEi__ZN7Glucose3vecINS_6Solver7VarDataEE8capacityEi.text$_ZN7Glucose3vecIdE8capacityEi__ZN7Glucose3vecIdE8capacityEi.text$_ZN7Glucose3vecIcE8capacityEi__ZN7Glucose3vecIcE8capacityEi.text$_ZN7Glucose3vecImE8capacityEi__ZN7Glucose3vecImE8capacityEi.text$_ZN7Glucose3vecIjE8capacityEi__ZN7Glucose3vecIjE8capacityEi.text$_ZN7Glucose3vecINS_6Solver7WatcherEE8capacityEi__ZN7Glucose3vecINS_6Solver7WatcherEE8capacityEi__ZN7Glucose6Solver12attachClauseEj__ZZN7Glucose6Solver12attachClauseEjE19__PRETTY_FUNCTION__.text$_ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1___ZN7Glucose8OccListsINS_3LitENS_3vecINS_6Solver7WatcherEEENS3_14WatcherDeletedEE5cleanERKS1___ZZNK7Glucose15RegionAllocatorIjEixEjE19__PRETTY_FUNCTION____ZZN7Glucose3vecINS_6Solver7WatcherEE6shrinkEiE19__PRETTY_FUNCTION____ZN7Glucose6Solver8relocAllERNS_15ClauseAllocatorE__ZZN7Glucose15RegionAllocatorIjE5allocEiE19__PRETTY_FUNCTION____ZZN7Glucose15RegionAllocatorIjE3leaEjE19__PRETTY_FUNCTION____ZN7Glucose6Solver14garbageCollectEv__ZN7Glucose6Solver9propagateEv__ZZN7Glucose6Solver9propagateEvE19__PRETTY_FUNCTION____ZN7Glucose6Solver8simplifyEv__ZZN7Glucose6Solver8simplifyEvE19__PRETTY_FUNCTION__.text$_ZN7Glucose3vecINS0_INS_6Solver7WatcherEEEE8capacityEi__ZN7Glucose3vecINS0_INS_6Solver7WatcherEEEE8capacityEi__ZN7Glucose6Solver6newVarEbb.text$_ZN7Glucose4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0___ZN7Glucose4sortINS_3LitENS_16LessThan_defaultIS1_EEEEvPT_iT0___ZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEE__ZZN7Glucose6Solver10addClause_ERNS_3vecINS_3LitEEEE19__PRETTY_FUNCTION__.text$_ZN7Glucose13selectionSortIjNS_11reduceDB_ltEEEvPT_iT0___ZN7Glucose13selectionSortIjNS_11reduceDB_ltEEEvPT_iT0_.text$_ZN7Glucose4sortIjNS_11reduceDB_ltEEEvPT_iT0___ZN7Glucose4sortIjNS_11reduceDB_ltEEEvPT_iT0___ZN7Glucose6Solver8reduceDBEv__ZN7Glucose6Solver6searchEi__ZZN7Glucose6bqueueIjE4pushEjE19__PRETTY_FUNCTION____ZZN7Glucose6Solver6searchEiE19__PRETTY_FUNCTION____ZN7Glucose6Solver6solve_Ev__GLOBAL__I_Solver.cc__GLOBAL__D_Solver.cc.rdata$_ZTIN7Glucose6SolverE.rdata$_ZTSN7Glucose6SolverE.rdata$_ZTIN7Glucose9IntOptionE.rdata$_ZTSN7Glucose9IntOptionE.rdata$_ZTIN7Glucose6OptionE.rdata$_ZTSN7Glucose6OptionE.rdata$_ZTIN7Glucose10BoolOptionE.rdata$_ZTSN7Glucose10BoolOptionE.rdata$_ZTIN7Glucose12DoubleOptionE.rdata$_ZTSN7Glucose12DoubleOptionE__ZN7Glucose12setUsageHelpEPKc.data$_ZZN7Glucose6Option14getUsageStringEvE9usage_str__ZN7Glucose16setHelpPrefixStrEPKc.data$_ZZN7Glucose6Option19getHelpPrefixStringEvE15help_prefix_str.text$_ZN7Glucose4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0___ZN7Glucose4sortIPNS_6OptionENS1_8OptionLtEEEvPT_iT0___ZN7Glucose17printUsageAndExitEiPPcb__ZN7Glucose12parseOptionsERiPPcb__ZN7Glucose7memUsedEv__ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PPv__ZNK10__cxxabiv117__class_type_info20__do_find_public_srcEiPKvPKS0_S2___ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PKvRNS0_15__upcast_resultE__ZNK10__cxxabiv117__class_type_info12__do_dyncastEiNS0_10__sub_kindEPKS0_PKvS3_S5_RNS0_16__dyncast_resultE__ZNK10__cxxabiv117__class_type_info10__do_catchEPKSt9type_infoPPvj__ZN10__cxxabiv117__class_type_infoD2Ev.rdata$_ZTVN10__cxxabiv117__class_type_infoE__ZN10__cxxabiv117__class_type_infoD1Ev__ZN10__cxxabiv117__class_type_infoD0Ev.rdata$_ZTIN10__cxxabiv117__class_type_infoE.rdata$_ZTSN10__cxxabiv117__class_type_infoE.rdata$_ZTISt9type_info.rdata$_ZTSSt9type_info.debug_abbrev.debug_info.debug_line.text$_ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PPv.text$_ZNK10__cxxabiv117__class_type_info20__do_find_public_srcEiPKvPKS0_S2_.text$_ZNK10__cxxabiv117__class_type_info11__do_upcastEPKS0_PKvRNS0_15__upcast_resultE.text$_ZNK10__cxxabiv117__class_type_info12__do_dyncastEiNS0_10__sub_kindEPKS0_PKvS3_S5_RNS0_16__dyncast_resultE.text$_ZNK10__cxxabiv117__class_type_info10__do_catchEPKSt9type_infoPPvj.text$_ZN10__cxxabiv117__class_type_infoD2Ev.text$_ZN10__cxxabiv117__class_type_infoD0Ev.debug_frame.debug_loc.debug_pubnames.debug_pubtypes.debug_aranges.debug_ranges.debug_str__ZNK10__cxxabiv120__si_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultE__ZNK10__cxxabiv120__si_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultE__ZNK10__cxxabiv120__si_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2___ZN10__cxxabiv120__si_class_type_infoD2Ev.rdata$_ZTVN10__cxxabiv120__si_class_type_infoE__ZN10__cxxabiv120__si_class_type_infoD1Ev__ZN10__cxxabiv120__si_class_type_infoD0Ev.rdata$_ZTIN10__cxxabiv120__si_class_type_infoE.rdata$_ZTSN10__cxxabiv120__si_class_type_infoE.text$_ZNK10__cxxabiv120__si_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultE.text$_ZNK10__cxxabiv120__si_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultE.text$_ZNK10__cxxabiv120__si_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2_.text$_ZN10__cxxabiv120__si_class_type_infoD2Ev.text$_ZN10__cxxabiv120__si_class_type_infoD0Evsi_class_type_info.cc__ZNSt9type_infoD2Ev.rdata$_ZTVSt9type_info__ZNSt9type_infoD1Ev__ZNKSt9type_info14__is_pointer_pEv__ZNKSt9type_info15__is_function_pEv__ZNKSt9type_info11__do_upcastEPKN10__cxxabiv117__class_type_infoEPPv__ZNSt9type_infoD0Ev__ZNKSt9type_infoeqERKS___ZNKSt9type_info10__do_catchEPKS_PPvj.text$_ZNSt9type_infoD2Ev.text$_ZNKSt9type_info14__is_pointer_pEv.text$_ZNKSt9type_info15__is_function_pEv.text$_ZNKSt9type_info11__do_upcastEPKN10__cxxabiv117__class_type_infoEPPv.text$_ZNSt9type_infoD0Ev.text$_ZNKSt9type_infoeqERKS_.text$_ZNKSt9type_info10__do_catchEPKS_PPvj___dllMain_storedPtr_storedReason_storedHandle__cygwin_dll_entry@12_dll_index__cygwin_noncygwin_dll_entry@12_DllMain@12_cygwin_attach_dllcygwin_attach_dll.c__cygwin_crt0_common@8_cygwin_crt0_common.cc_cygwin_premain0_cygwin_premain1_cygwin_premain2_cygwin_premain3__pei386_runtime_relocatorpseudo-reloc-dummy.c___FRAME_END_____JCR_END___register_frame_ctor_deregister_frame_dtor.ctors.65535.dtors.65535__ZTSN7Glucose6OptionE__imp___Znwj___RUNTIME_PSEUDO_RELOC_LIST____imp____cxa_throw__ZTIN7Glucose12DoubleOptionE__ZTVN7Glucose6OptionE__data_start_____DTOR_LIST____nm___impure_ptr__ZTVN7Glucose10BoolOptionE__imp___Unwind_Resume.weak.__Jv_RegisterClasses.___gcc_register_frame__imp__strtod__imp____assert_func___tls_start____rt_psrelocs_start__imp__cygwin_detach_dll.weak.___register_frame_info.___gcc_register_frame___cxa_guard_release.weak.___real__Znwj.__cygwin_crt0_common@8__ZTVN7Glucose12DoubleOptionE__dll_characteristics____size_of_stack_commit__.weak.___real__ZdlPv.__cygwin_crt0_common@8__size_of_stack_reserve____major_subsystem_version_____crt_xl_start_____crt_xi_start_____crt_xi_end_____assert_func___dynamically_loaded__ZTSSt9type_info__ZZN7Glucose6Option19getHelpPrefixStringEvE15help_prefix_str_dll_dllcrt0__head_cygstdc___6_dll__ZNSt8ios_base4InitC1Ev_GetModuleHandleA@4___register_frame_info__bss_start____imp__fputc___RUNTIME_PSEUDO_RELOC_LIST_END____size_of_heap_commit_____umoddi3_cyggcc_s_1_dll_iname__ZTVSt9type_info__imp__GetProcAddress@8_GetProcAddress@8___crt_xp_start____imp___ZNSt8ios_base4InitD1Ev__ZTSN7Glucose10BoolOptionE___crt_xp_end____imp__puts__minor_os_version____imp__atexit___udivdi3__image_base____imp__exit__section_alignment____imp____cxa_guard_acquire__imp___impure_ptr__IAT_end___cygwin_internal.weak.___real__ZdaPv.__cygwin_crt0_common@8__RUNTIME_PSEUDO_RELOC_LIST____imp____umoddi3__ZZN7Glucose6Option13getOptionListEvE7options__imp____wrap__ZdlPv__ZTIN7Glucose9IntOptionE__head_cyggcc_s_1_dll__data_end_____wrap__Znwj__CTOR_LIST____ZTSN7Glucose6SolverE__ZTIN7Glucose6OptionE___wrap__ZdlPv__bss_end_____crt_xc_end___cygstdc___6_dll_iname__ZTSN10__cxxabiv120__si_class_type_infoE__imp___ZNSt8ios_base4InitC1Ev__ZTIN10__cxxabiv117__class_type_infoE___crt_xc_start_____cxa_throw___cxa_allocate_exception__lib32_libkernel32_a_iname___CTOR_LIST_____getreent__rt_psrelocs_size__ZTIN7Glucose10BoolOptionE__imp____udivdi3__ZTVN7Glucose6SolverE.weak.___real__ZnajRKSt9nothrow_t.__cygwin_crt0_common@8_cygwin1_dll_iname__head_cygwin1_dll.weak.___real__Znaj.__cygwin_crt0_common@8__ZTSN10__cxxabiv117__class_type_infoE__imp__strcmp__file_alignment____imp___ZdlPv.weak.___real__ZdaPvRKSt9nothrow_t.__cygwin_crt0_common@8__imp__malloc_cygwin_detach_dll__major_os_version____imp__dll_dllcrt0__imp__realloc__imp____wrap__Znwj__ZTIN7Glucose6SolverE__IAT_start____ZTIN7Glucose20OutOfMemoryExceptionE__imp____getreent__ZZN7Glucose6Option14getUsageStringEvE9usage_str__imp__GetModuleHandleA@4__DTOR_LIST____imp__fprintf.weak.___deregister_frame_info.___gcc_register_frame__imp__fclose___cxa_pure_virtual__size_of_heap_reserve____imp____cxa_allocate_exception___crt_xt_start_____ImageBase__subsystem_____cxa_guard_acquire__imp__strlen__imp__strtol__imp__calloc__imp__pow__Jv_RegisterClasses__ZTSN7Glucose12DoubleOptionE__imp____cxa_guard_release__ZTVN7Glucose9IntOptionE__imp____errno__imp__cygwin_internal___tls_end____ZTSN7Glucose20OutOfMemoryExceptionE___cygwin_cxx_malloc__ZTIN10__cxxabiv120__si_class_type_infoE.weak.___real__ZnwjRKSt9nothrow_t.__cygwin_crt0_common@8__ZTVN10__cxxabiv117__class_type_infoE__imp___fopen64__imp__free___deregister_frame_info__major_image_version____loader_flags_____gxx_personality_v0__imp__printf__head_lib32_libkernel32_a__ZdlPvRKSt9nothrow_t__rt_psrelocs_end__ZGVZN7Glucose6Option13getOptionListEvE7options__minor_subsystem_version____minor_image_version____ZnajRKSt9nothrow_t__ZdaPvRKSt9nothrow_t__imp____cxa_pure_virtual__Unwind_Resume__ZTVN10__cxxabiv120__si_class_type_infoE__ZTISt9type_info.weak.___real__ZdlPvRKSt9nothrow_t.__cygwin_crt0_common@8__RUNTIME_PSEUDO_RELOC_LIST_END____ZTSN7Glucose9IntOptionE__ZNSt8ios_base4InitD1Ev___crt_xt_end____ZnwjRKSt9nothrow_t__imp__fwrite__imp____gxx_personality_v0




© 2015 - 2025 Weber Informatics LLC | Privacy Policy