• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• cygglucose.dll

×

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-windows.cygglucose.dll Maven / Gradle / Ivy

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

$PEL
j?Q?
X?!
?
@??(n
p?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܋?d
9?????p
??l
9??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@?(n
zPL
|??(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? P
0(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?@(
@?(nI
A?B
F????
?A?A?A?AH
?A?A?A?C@l
P(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(n9
A?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
?4
1
?0
?4
?1
?0
5
?1
1
,5
?1
?1
?1
?1
2
2
 2
,2
<2
H2
T2
h2
|2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
3
3
 3
,3
@3
L3
X3
t3
?3
?3
?3
?3
?3
?3
4
4
04
D4
?1
?1
?1
2
2
 2
,2
<2
H2
T2
h2
|2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
?2
3
3
 3
,3
@3
L3
X3
t3
?3
?3
?3
?3
?3
?3
4
4
04
D4
__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_v0GetModuleHandleAEGetProcAddress0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
cygwin1.dll0
0
0
cyggcc_s-1.dll(0
(0
(0
(0
(0
(0
(0
(0
(0
(0
cygstdc++-6.dll<0
<0
KERNEL32.dllP	0$0;0B0I0T0o0?0?0?0?0494W4a4s4}4?4^;s;<<;<;>C>R>_>g>v>?>?>??#?2?\? @?1?1?1	22 2?4?4?4?4
555%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?8
9	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
/?2j
08	?3M?(n??(n41
2??`5?	P?(n
27
6?	7?	?`?8?	??(n
57?	?d?0? ?(n5?(n8?
1IQ

?9??2j
=?9?:src_ptr
??0???(n2?(np?
1IQ

?:dst
b?:obj
b?21
c?
?K	0???(n?(n??1IQ

?9??2%
I?
?2
J?2j
K?:src_type
L?:src_ptr
M?21
N??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?-&
.L
adjust_pointerJ&
?T&

nonvirtual_base_type}?

+??

?
long int
boolabi\L
,3?
?J ??
?
M!?
#
"__base_type?
-##
??


?M
S-$
~__si_class_type_info

U
?M



%
??

?M
f&
??
_ZN10__cxxabiv120__si_class_type_infoaSERKS0_q
?M
f'
__do_dyncast
,_ZNK10__cxxabiv120__si_class_type_info12__do_dyncastEiNS_17__class_type_info10__sub_kindEPKS1_PKvS4_S6_RNS1_16__dyncast_resultE
U
w
??
-&-&?'
__do_find_public_src
!_ZNK10__cxxabiv120__si_class_type_info20__do_find_public_srcEiPKvPKNS_17__class_type_infoES2_?

U
?w
?&-&(
__do_upcast
K_ZNK10__cxxabiv120__si_class_type_info11__do_upcastEPKNS_17__class_type_infoEPKvRNS1_15__upcast_resultE
U
w
-&?UY^
charlUU}U?)??T*baseJ&*offsetJ?)?
?+this?
+__in_chrg?
M

,?@?(n??(n?
7	-this7	
?.dst
L-?/?
L&?.result
M<	?w?,???(n??(n\

-this7	
?.src2dst
-??.access_path
.?
?.dst_type
/-?/?
0&?/?
1-?.src_ptr
2&?.result
3

?0??(n?(n
:1??1???,??(n%?(n?j
-this7	
?.src2dst
"??/?
#&?/?
$-?.src_ptr
%&?2???(n??(n`?
3??2?P?(nu?(n??
3??0?Z?(nh?(n
3???4??9
GNU 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 intstd9
3?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}?
+?
K
long int
boolabi\9
2
X@e_vptr.type_infop#
__name??#
~type_info

@
??
?

nameb_ZNKSt9type_info4nameEv?
??

beforei_ZNKSt9type_info6beforeERKS_,
?
?
operator==
&_ZNKSt9type_infoeqERKS_,
K?
?
operator!=?_ZNKSt9type_infoneERKS_,
??
?
__is_pointer_p
6_ZNKSt9type_info14__is_pointer_pEv,
@
??

__is_function_p
=_ZNKSt9type_info15__is_function_pEv,
@
%?

__do_catch
D_ZNKSt9type_info10__do_catchEPKS_PPvj,
@
??
??	

__do_upcast
K_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
?#`_lock
B#d_mbstate

0#h
?
??
?
??__FILE
5_glue
X	_next
X	#_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_malloc
oMainFunc
cygwin_attach_dll

??(n3?(n?h
??f
??u
?`)ndj
GNU 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 char
unsigned 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_tXQ
ptrdiff_t?
size_t?
long unsigned ints
char__gnuc_va_list(?
__builtin_va_listsva_listf{?%?_active(?#	version-
#	lmicrosec.
#	execing/?#
vsprntf&_ZN6strace7vsprntfEPcPKcS2_S0_

_?
m???
write'_ZN6strace5writeEjPKci
??

?

activate*_ZN6strace8activateEb
??
?
?+
??

microseconds,_ZN6strace12microsecondsEv

 ?

dll_info0_ZN6strace8dll_infoEv
O?

prntf1_ZN6strace5prntfEjPKcS1_z
??

??
vprntf2_ZN6strace6vprntfEjPKcS1_Pc
??

???
wm3_ZN6strace2wmEiii

?




write_childpid4_ZN6strace14write_childpidEm
K?
X
attached5_ZNK6strace8attachedEv?
?

active6_ZNK6strace6activeEv?
??

active_val7_ZN6strace10active_valEv
?

bool??s??wchar_t
WINBOOLg
DWORDuXfloatLPVOID?`
?LONG?b
HANDLE?`
__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_biscuit
X#$dll_major
X#$dll_minor
X#$impure_ptr_ptr
#$envptr
#$malloc
##$free
4#$realloc

N# $fmode_ptr
#$$main
m#($ctors
s#,$dtors
s#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
?_ZN11MTinterface4InitEv
q?
*
fixup_before_fork
?_ZN11MTinterface17fixup_before_forkEv
??
+
fixup_after_fork
?_ZN11MTinterface16fixup_after_forkEv
?
?,callback
?5$cb
??#$next
?5#MainFuncm-stdw.39.4J/nothrow_t
0j
E `
?J??w'?`
??1
_cygwin_crt0_common
E_cygwin_crt0_common@8
@?(nL?(n)@2f
EA?3u
E@m4?5newu
G@?5uwasnull
H??d6?:?

7_impure_ptr
)?


ss87isalpha_array h

9_data_start__(
s

9_data_end__(
s

9_bss_start__(
s

9_bss_end__(
s

9__CTOR_LIST__)
?

9__DTOR_LIST__*
?

9sec_none_nih?
p

:CYGTLS_PADSIZE

D?1
;_tlsbase
*%fs:4m

ix86_arch_indices
?
?X86_ARCH_CMOVEX86_ARCH_CMPXCHG
X86_ARCH_CMPXCHG8BX86_ARCH_XADDX86_ARCH_BSWAPX86_ARCH_LASTfloatdoubleVARENUMs3VT_EMPTYVT_NULL
VT_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

%
R
U:;I$>9
:;
:;<
<

:;	(


<

:;

:;


:;I8
.
?:;<I4I
:;.
?:;<
.
?:;2<
.
?:;?@I2<9

::;.
:;I<
4:;I<I&I:;&I
G:;
I8
2 .
?4<
!.
??@I4<
".
?:;<c
#.
?:;L<
$.
?:;?@ILM
2<
%.
?:;?@ILM
2<
&.
?:;?@ILM
<
'.
?:;?@I<
(.
?:;?@ILM
<
).
?:;?@ILM
<*+.
G 
,I4-I4.:;I/:;I0.
G

@
1I4
2:;I
3


44:;I
5
1R
UXY
6171
8
1R
UXY9I
::;I
;.
1

@
<
1

XY=4G

%
R
U:;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
0
1

XY112.
1

@
31
44G

%
R
U:;I$>9
:;
:;<<
<
	
:;
(
9

::;
4:;I<I&I:;
G:;

I8
4
:;I8
2.
?:;L<
I4.
?:;?@I<
I.
?:;?@ILM
<
.
?:;2<c
.
?:;?@I2<
.
?:;2<
I
II !.
G 
"I4#I4$.
1

@
%1
&.
G

@
'I4
(I
)
1

XY*:;I
+1

XY,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
'
'I
I
:;

:;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:;I4
U54:;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.cc
tinfo.h
stddef.hcstddefcxxabi.h
@?(n0
ti?<
????
??;
G<9.
Fcxxabi.h
@?(n?
Jg?e?;=;=;g;

??(n3
$??=#=,/=0.
n.?w?`=;=;!et.Y
??g

??(n%
J?L?;=;=;?;
,?

??(n
f=g

P?(n
t=?


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.cc
typeinfo
stddef.hcstddeftinfo.h
cxxabi.h
??(n
=?

P?(n7
",0

`?(n>
",0

@?(n?
",0

??(n
f=g

p?(n'
%Sfk$J<
n?<
J<y?	Xrh:0

0?(n?
h

??

?






/usr/src/debug/cygwin-1.7.18-1/winsup/cygwin/lib/usr/i686-pc-cygwin/sys-root/usr/include/w32apidll_entry.c
windef.hwtypes.h?(n
f*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.cc
windef.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.c
stddef.hwindef.hlock.h_types.hreent.hcygwin.hcrt0.h
?(n
v:>?=;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.cc
lock.h_types.hstddef.hstdarg.hstrace.hwindef.hwinnt.hreent.hwinbase.hcygwin.hcygwin-cxx.hthread.hcrt0.h
cstddefstring.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.h
wtypes.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? 4
P?(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
.bss

V(?

$.ctors?


.dtors?


?
p
.file3
??g
Solver.cc??


??
 
?0
?@?


?@?
 `?


:`?
 U??


y??
 ??

~
??
 ?P?

?P?
 "`?

?H`?
 i?

??
 ? ?

? ?
 ?@?

?@?
 ??

<??
 [??

????
 ???

w???
 ?@?

I
@?
 ___tcf_0P
 :(
n?
 ?H
??
 ??

 ??

?.?
 ?P?

X?P?
 ??


	?
 0	?

 ]	P
 ?	@?	??	?
 *
q
`?
@
 ?
 ?
?

2
?
?
 @?

2
<@?
 TP?

2
qP?
 ? ?

2
? ?
 ?0?

2
?0?
 ??

2
"?
 L?

2
i?
 > ?
 ????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
??g
Options.cc___tcf_0В
 
? ?
 ? 4
! ?
 @!8

?!?

A?!?
 ?!0?
 "??
 .textВ

??.data
.bss@
.rdata
???
d.file\
??g
System.cc>"??
 
.text??

.data
.bss@
.text??
.idata$7.idata$5?
.idata$4
.idata$6@feat.00
??.file?
??g
class_type_info.ccU"@?
 
?" ?
 ?"?
 *#??
 ?#p?
 ?#0?
 $?
,
/$0?
 W$?
 $?
?$ 
"?$
?$`

.text??

.data
.bss@
	%
n%
;=#%

B/%@?

bo% ?

?%?

B
&??

k?&p?

r
?&0?

?&?

%''
4
??
?4'
?
J?'	
r

O'

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

?)@?

r
O*??

??*??

u
9+??

i+P?

%''4



??
?4'?

?
F?'r
	
*

O'A

D
_'P
@n'p
0
|'r
Q.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??g
tinfo.cc?+??
 
?+?
 ?+??
 ?+P?
 ,`?
 :,@?
 ?,??
 ?,p?
 ?,0?
 .text?

.data
.bss@
	%9
:%
?*#%S

?,??


?,P?

-`?

B-@?

?-??

?-p?

^
?-0?


''8

4'?
?
<?'?	
?
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??g
dll_entry.c?-?
 
?-L.H.D#.@?
 9.PD. ?
 .text?


.data
.bss@
	%s
?%?
?#%q

?
''<
?4'p
I
?'?	
a
O'?

F
_'?
 |'?
.files??g
fake.text0?


.filew??g
fake.text8?


.file{??g
fake.text@?


.file??g
fake.textH?


.file???g
fake.textP?


.file???g
fake.textX?


.file???g
fake.text`?


.file???g
fake.texth?


.file???g
fake.textp?


.file???g
fake.textx?


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
fake.textȜ


.file???g
fake.textМ


.file???g
dll_main.ccd.??
 
.text??

.data
.bssT
	%e	
%?$
#%U

?
''?
44'?
8?'?	

O'


N
_'

 .file???g
fake.text?


.file???g
?.p.?
 
_u.21033`.text?

3.data
.bss`
?	%?	
?
%?&
?
#%

?

''?
84'?
8?'	
(
O'R


Y

_' 

 |'?
.file??g
?.?.@?
 
.text@?

=.data
 .bss 
	%j
I%?7
h#%?	

H
''4
@4')
??'8	
Y
O'?

$
_'@

 n'?
|'?
.file%??g
fake.textP?


.textX?
.idata$7p.idata$54
.idata$4|.idata$6,.file=??g
premain0.c?.`?
 
.text`?

.data 
.bss(
	%?
L%V
?#%?

l
''t
44'?
8?'?	
&
_'`

 .fileU??g
premain1.c?.p?
 
.textp?

.data 
.bss(
	%?
L%?V
?#%R


l
''?
44'#
8?'?	
&
_'?

 .filem??g
premain2.c?.??
 
.text??

.data 
.bss(
	%K
L%?W
?#%?


l
''?
44'[
8?'?	
&
_'?

 .file???g
premain3.c?.??
 
.text??

.data 
.bss(
	%?
L%?X
?#%*

l
''
44'?
8?'	
&
_'?

 .file???g
fake.text??


.file???g
fake.text??


.file???g
fake.text??


.file???g
$/	/??
 
.text??

.data 
.bss(
	%?
%%?Y
?#%?

t
''D
44'?
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???g
fakehname
fthunk?
.text?

.data 
.bss(
.idata$2<
.idata$4
.idata$5?
.file???g
fake.text?

.data 
.bss(
.idata$4

.idata$5?

.idata$7,

.file???g
libgcc2.c.text?

.data 
.bss(
	%
?%BZ
?#%



?'Y	
6
O'?

W
.file???g
cygming-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[3X
h3 __ZdlPv??
 ?3???3??
 ?3??3?_environ ?3?
?3ؠ
 44?
14?M4__dll__??]4p
i4??_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 c8x
q8???8?
?8??_reallocH?
 ?8d
?8?
 ?8??9H
9t
$9,
89O9
]9??9$
__end__?94_strtod??
 ?9?
_malloc??
 ?9?
_fcloseȜ
 ?9T
?9??3:P
A:?
 U:??n:?
?:?:(n??_atexit??
 ?:???:ؚ
 ?:|
?:?
?:<
?:h
; i

;?8;?
S;`m; 
|;D
?;?;??;?;?_pow??
 ___errnoP?
 <??><?e<0
u<\
?< 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