• Home
• de.hhu.stups
• alloy2b
• 1.03-BETA
• source code
• minisatprover.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.minisatprover.dll Maven / Gradle / Ivy

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

$PEL
?F?F?
? 
8??

  
?
0
$@
,.text??``.datah
?@?.bss,
??.edata?
 
??.idata$0
?@?.reloc,@

??.stab?8P
:
B.stabstrQ~?
?:
BU???VS?]??
u蓏?E???PS?EP?Ҏ?ƃ???u?Ԏ?e??[^??]??
?????????????U???1?]Í?&bad_allocFile.hmode == READmode == WRITEGlobal.hsize == 0 || tmp != NULLFile.C!(has_r && has_w)has_r || has_w || has_a?U???WVS?u?}????t???P????????jrW????????E????jwW????????Ã??jaW????????E????j+W???????E????jxW???????€}?t??t6???jh?h???????u?}?u???jh?h??r??????}?t????}?u?
??}?u??
??t????t?????h?
P?u????????????}?t	?F??F
?F
?F?}?t???jj?6????????h???????u???jDh?h????v?F?~u???hP?6?s??F?	???F?????e?[^_?ÐU???,WVS?]?u?}???:u??????,????wa?{u/???j
?C?S)‰?P?3???C???????C
?C?C=u???P?s?3????C?S?C???????wx?????΀?{u/???j
?C?S)‰?P?3???C???????C
?C?C=u???P?s?3?d??C???S?C???C????????????????Π?{u/???j
?C?S)‰?P?3? ??C???????C
?C?C=u???P?s?3????C???S?C???C???????{u/???j
?C?S)‰?P?3???C???????C
?C?C=u???P?s?3?s??C???S?C???C????????????{u/???j
?C?S)‰?P?3?????
?
??
?
???????B??P???DžT?????p?????X???Dž\???U+??`?????P????B??P????B?ʅ?t??|??????
???????U?B?B?B ???????B??B??B??B??B?E?
?????????B??????Dž?????????????????@0-?`???????B?E???tg????F0??V)‰?
?
?RPV????1??2??????F?u???h?h?(h?2????~t/???V艵???h?v?6賦?F?? ?F?FjjjV?'????]????E??????E??E??E??????E??E?
???h?2?uS?Q??????W?B?E??E????]؍EЉB?}???
?G?P??P???S?G?????
?~
u/???V?ɴ???h?v?6???F?? ?F?F?V?F9?}
?F??F?B?=?~#???h?v?6该?F?F????u
???????v?F??F
?Ã}?u0???j
?E?U?)‰?P?u??o??E????????E?
?E??E?=u???P?u??u??.??E????U??E??E??~t???jmh?(h?(?6????F9F?????=?~'???h?v?6?ߤ?F?F?????????jjjV?R??????~
t/???j
?F?V)‰?P?6覤?F???????F
?F?G?P??P???E?P?????
?e?[^_?ÐU???WVS??j??x????E?8?u???h?h?(h?2?^????U?zt5???R?޲???h?M?q?1???U?B?? ?B?Bjjj?MQ?s??????}?u'?U?B=?u???j>h?(h?(????H?E?E??M9M???????EP?????Ɖ׉????
??????	??A
??????fj?U??$?U?R?}???????
??E????E??u???x????M??A??;Au???@PS艵???S???EP$??x????@?E??E??m??E?7?e??E???x????A?E??A??t???U??B?q
u??M??M??u???x????C;Cu???@PS?????S???EP$??x????@?E??E??m??E?v7?e??E???x????A?E??A??t???C???UR?c????Ɖ׃?	??t???????M?
S?P
?R?@?/??????fj?E??0??|???P?
???????fj?]??= 0ok(n)inHeap(n)File.hmode == READmode == WRITEProof.hid_counter != ClauseId_NULLSolver.hexprSolver.Cj < ws.size()learnt || id == ClauseId_NULLdecisionLevel() == 0nelems <= sz??@??x?DU????WVS??b?ǀ}u?}?t???jBh?<h=莜???E?8???E??E??E??G?P?U??E?x??U??U?M??H?}?X?]???t???jGh?<h =?%??????????fj?E?P??????U?r?M?Q?Ҫ1Ƀ? ?];K}I??E??????G?E??E??E??E??E?U>?eЍ]??_?E??G??t
?]????A?E;H|????U?R?????E?H??~#?]??ƺ
?v?ы?4
9D????B9?|?1ɋU?9?}?(
?M??E???ȅ?|;C?„?u???jKhv<h?<?x??]??d?C??u??E??C;Cu???@PS?؞???S???MQd?E??@?E??E??m??E??O?e??M??E??H?E??M??A??t???C?E???G??G???E??????]?K?]???t]?u????u??v?????G??\????????]????????E??
????t%????\????G???G??????u??G?u??4??G???E??E??U????]??M?;
?:????u??V?ы]?+9?~???h?h2<h5=?5????~?ȉ?JHu??u??V??|????P??+E9?~???h?h2<h5=??????~
JHu???|????Q?]??C?u?????8???[^_??confl != NULLlevel[v] > 0??@??x?D}Ô%?I?TU????WVS??N??x????E??E??E??5?
?U???
??t????]??ƒ?
??
??t?Q?%???????x????}?G;Gu???@PW?Z????E?P????x????@?E??E??m??E?.R?e??]???x????Y?E??A??t??????}?G?E??U???I?M???
??d????}u???h
h?<hGQ藇?v?]??
t/??D??}??G(?]??E???hQ????Eu???W??(??;5?
??????v?]?D??E??????؋u?B??l????8?f?4????}???8?,?Ǭ??h????E???XP????E?I
?U?B8????BH??pQ????Eu???R??'???}??`??M??p??|;Y????u???jFhv<h?<萆?Urp????????|;Y?„?u???jGhv<h?<?\????|;Y?„?u???jFhv<h?<?8???u???jGhv<h?<? ??‹M?Ad???E?????t]?]????]??v?????w??,????????u????????E??
????t%????,????0G???G??ʉ???u??G?M????G???E????]??
?U????u???????h???;Gu?E???v?]???x????U?B;Bu???@PR聗???M?Q????x????@?E??E??m??E?U?e??}???x????~?E??F??t???E?@?U????M????]???9?}?ȋu???}???
??t???Sw?6P?x???????l????M?
??9??`????E??M??]????????u???<t?}??\??މ????}??????E?
?M?t8???
??????????R?U??ƒ?
??
Ћ]?t?Q????????{????v?u???
??}???
???E??F??
~.????
?M????x?????????????	E???Ou??????fj??d???S贏?E?
?
???E??u;F???????΋U2?????H????U?????p?????H???? 0?vU???WVS??A?E???????fj?E?
P腇???E???u>???
?????@=?u???j>h?<h?<?V{??H?U???
????M????M??]???
??t????}??ƒ?
??
??t?Q????????}???؋U???M????M?9?}f?????4?v??????ȋ}???8~
?E??
?"?v?}???
??t???RO?1P?P???????C?U???9?|??M????]?;S|???J???????}??????U?;??
??U????]??????????U?K?]??8?r
???Ћ]???0???????:???h?
h?<hH^??y?v??
?M??]?ü
?u??E??U???
;??
u???@PS?????M???
????
?E??@?E??E??m??E?`?e??M??E??H?E??M??A??t???C?]?K?]???E???
??t???W??ƒ?
??
??t?Q????????E?
???9E?}d?^????M?????NjE????
t??????????v????????;?
t&??
t
??????	?v???;?
????????Ӄ?
??Ȉ??????????????????S????E?
?E?E????C;Cu???@PS?ۉ???K???????B?E??E??m??E?b?e??E??B?E??B??t?U???
?C?
??x???[^_??c[1] == false_lit???????????????????????unit_id[var(first)] == ClauseId_NULL || value(first) == l_FalseU???WVS?#=??p????E??U???;??????M??P

??T
?ȃ???????????????????E??@??????U???E??E??B??E??E??????d???9E????v?U??2???U??M??M??u?
?E?9Fu?F?F?U??V?M?9Nt???h?
h?<h?b??u?F??|????Ǩ
t???M?????ى?l??????|??????M??????l???;
?
u?E??0???E??2????????????L??\?????
t????l????
?????????l????
;
?
????\????T??F?E???F4
?@?M??????u??u???p????C;Cu???@PS赇???S????p????@?E??E??m??E?Ne?e??M???p????H?E???p????A??t???C?G??B????9??????E??U?????h?????`????x??
?M???
????
????؃?
??
??t?R?h?<h?<?lH????P???fj
W?MQ???????}?
u?E?????]??????u?FP????????E?̀?@s
?FH???^H??؋U?B(?J0?Z(?M??Q?B??B??????fj
W??w???????v?}|?]9]??????u??~u1???EP?Q??????U?:u???h?h?<h?k?k?v?}|!?M????Y)É?;E|???Q???????u??H

??L
??X?u??U??k݂?????k????E?@???}?f?M?f??f?M??m??]؋E??mމE??E???????????ݒ?????????E??
???zh
??????????ыQX?J?}?f?]?f??f?]??m??]ȋE??mΉE??E??????ɋuݖ???M??E????}?f?E?f
f?E??m??]??M??m????;?
u???|
??E??s
?????؉??E????x
?V
?U????U??E??M??Q?Z?]??u??F???D??B?A?@??A?
?A???F?P??V??
???E?
?A?@?E??????M????M??E?
??X
?u??>?ƋE?;X}:?U??B??????|?????M????????|????????E??
????t?ދU??J?????]?????????E??
????t/?E?????U?B???B?M???u???
??]?;C?]????u??F?M??U????F???]???U??;?
??????u??~
?????????????u`????]?Ô?s?E?P?hy1Ƀ?;K}"???U???
?ʋu?????A;K|?????E???P??????
?6?v
?4
???P?UR?g????????(??????h?h?<h?<?ih??X???[^_?É?U??? 0??????????????????????????==================================[MINISAT]===================================
????????????????| Conflicts |     ORIGINAL     |              LEARNT              | Progress |
????????????????|           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
????????????????==============================================================================
????????????????| %9d | %7d %8d | %7d %7d %8d %7.1f | %6.3f %% |
??Y@??????????U????WVS?+??= 0ok(n)inHeap(n)File.hmode == READmode == WRITEProof.hid_counter != ClauseId_NULLSolver.hexpr??t&??ٕAffffff??+??????{?G?z??U???|WVS?;#???????????????h?
??:?????????????B?E??E??E?m??@ ??`?M??J?????????????????????
???????????????B?@?@???????C?E??E??M??Ē??eЍE??C?Ѓ??B?@?@?C?E??E??M??E???e??U??S???????????????C?@?@???????B?E??E??M??E????e??]??Z???????ƒ?8?@8?@(?@,???@0?@4???B?B???????C??`???Džd?????h???Džl???@???p?????`????C???????AH?AL???AP?AT????X??????????????????????????CX?Q??`?????????????????????????S`?ڃ?d?Cd?B?B???????A??@???DžD?????`?????H???DžL???,???P?????@????A????????p???????Ap?@?@???????C?? ???Dž$?????`?????(???Dž,???????0????? ????KDž?????????????????????????????????B;Bu???@P??P?~n?????????B????????Ad???????R?????Dž????? ????????Dž??????????????????????J????????????S?…?t
???????
????????C???????B??B??B?
???Š???????A??????Dž??????`?????????Dž???????????????????A??????????????fj
P?f?????????B??B?????Š???????A??????Dž??????`?????????Dž???????????????????A??????????????fj
P?Hf?????????B??B?Z???Š?9??Š?-????????A??`???Džd?????`?????h???Džl???
???p?????`????A????????|?Z(?A??A???????A?? ???Dž$????]???(???Dž,???????0????? ????A?????????????ǂ??@?@?A?????Dž????ى????Dž???H??????????????????C???ǂ??@?@?C??????Dž?????ʉ?????Dž????ؑ?????????????K?????????????ǃ??@?@???????B??????Dž?????M???????Dž????h??????????????Z?????????????ǂ??@?@???????A??????Dž?????]???????Dž???????????????????A???ǂ??@?@?A??????Dž?????ډ?????Dž???????????????????Y?????????????ǂ??@?@?A??`???Džd????M???h???Džl??????p?????`??????????C???ǂ??@?@?C??@???DžD????ʉ?H???DžL???????P?????@????K??????ǃ?ǃ???????ǀ?ǀ??????????????ǂ??@?@???????A?? ???Dž$????]???(???Dž,???8???0????? ????Aǂ?ǂ
ǂ
?A?????Dž????ډ????Dž???Ȏ???????????Y??????ǀ
ǀ
ǀ
?A??????Dž??????????Dž????X??????????????Y??????ǀ
ǀ 
ǀ$
?A??????Dž??????????Dž??????????????????Y??????ǀ(
ǀ,
ǀ0
?A??????Dž??????????Dž????x??????????????Y??????ǀ4
ǀ8
ǀ<
?A??????Dž??????????Dž??????????????????Y??????ǀ@
ǀD
??????ǂH
ǂL
??????ǁP
ǁT
??????ǃX
ǃ\
??????ǀ`
ǀd
??????ǂh
ǂl
??????ǁp
ǁt
??????ǃx
ǃ|
??|?}?}??ݛ?
ƃ?

ǃ?
ǃ?
ǃ?
ǃ?
ǃ?
ݛ?
ݛ?
ǃ?
ǃ?
???????B??`???Džd????M???h???Džl???????p?????`????Z??????ǀ?
ǀ?
ǀ?
?B??@???DžD????ʉ?H???DžL???(???P?????@??????????Y??????ǀ?
???0?????????Dž0???Dž4???Dž8??????h
jR?`?????????Q?B?? ???Dž$???x?????????(????? ????B????????4????????????????P?P?ƒ???????t??u???jDh2|h;|?aP????????@?????Dž????? ????????Dž?????????????????????C??????C?Ѕ?tE???A1҉??????????
s?4???
҉1?;?4???}????0??????D?B;?4???|?ȋ???????
????????4????????????????P?O??????????t??u???jDh2|h;|?uO????????P?????Dž????? ????????Dž???????????????P??????P?ȅ?tC???A1??????????
s?4???
ۉ1?;?4???}????0??????D?B;?4???|?ȋ???????
???j
??
P?]???j??????(
P?]?? ???j??????4
P?k]???????Q?B??B??0???????????fj
P?bZ?????????C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C??C?????????????i	??? ???????B??????Dž?????M???????Dž??????????????????Z???????
??????fj
P?Y?????????B??B?b???? ???????A??????Dž?????]???????Dž???????????????????A???????
??????fj
P?dY?????????B??B?????? ???????A??`???Džd????]???h???Džl??????p?????`????A??????4
??????fj
P?X?????????B??B????? ???????A??@???DžD????]???H???DžL??????P?????@????A??????(
??????fj
P?8X?????????B??B????? ???????A?? ???Dž$????]???(???Dž,??????0????? ????A??????
??????fj
P??W?????????B??B????? ???????A?????Dž????]??????Dž???????????????A??????
??????fj
P?XW?????????B??B?2???? ???????A??????Dž?????]???????Dž???? ??????????????A?????????????fj
P??V?????????B??B?????? ???????A??????Dž?????]???????Dž????(??????????????A?????????????fj
P?W?????????B??B?R???? ???????A??????Dž?????]???????Dž????0??????????????A?????????????fj
P??W?????????B??B?????? ???????A??????Dž?????]???????Dž????8??????????????A?????????????fj
P?`W?????????B??B?r???? ???????A??`???Džd????]???h???Džl???@???p?????`????A?????????????fj
P??U?????????B??B????? ???????A??@???DžD????]???H???DžL???H???P?????@????A?????????????fj
P?V?????????B??B????? ???????A?? ???Dž$????]???(???Dž,???P???0????? ????A?????????????fj
P?HT?????????B??B?"???? ???????A?????Dž????]??????Dž???X????????????A?????????????fj
P?U?????????B??B????? ???????A??????Dž?????]???????Dž????`??????????????A?????????????fj
P?|U?????????B??B?B???? ???????A??????Dž?????]???????Dž????h??????????????A????????p??????fj
P??T??????????d??????fj
P?T?????????B??B?
??? ???????A??????Dž?????]???????Dž????p??????????????A????????8??????fj
P??S?????????B??B?L
?? ???????A??????Dž?????]???????Dž????x??????????????A??????????????fj
P??S?????????B??B???? ???????A??`???Džd????]???h???Džl???????p?????`????A??????????????fj
P?2R?????????B??B?t?? ???????A??@???DžD????]???H???DžL???????P?????@????A??????????????fj
P??Q?????????B??B??? ??
?? ??
?? ??
?? ??
?? ??
?? ??
?? ?
?? ?
?? ?
?? ?
?? ?
?? ?
?? ?
?? ?
?? ?|
?? ?t
?? ?l
?? ?d
?? ?\
?? ?T
???????A??A???jH?t"?????????????C?? ???Dž$?????(?????(????@???`?? ????C??􋕠???R?#????????????
?C??C?????????????????v???????B?????Dž??????????????@??`??????J?
??t???????S? ?????????B??B?u
????????A??????Dž?????????????????@??`???????Y?
??t??􋅠???P?K ?????????B??B?
????v???v??x???[^_???vU???lWVS?E?U?E??U??]????
??tW?Fh?|h?|?=??????M????E?h
?G?E??E??M??E???eЍE??G?E?
?E?B?U?U?U?E??E????hA?R?@???Љ????E?jQSP????ЉE?G??G?>???? ?G?E??E??U??U??E?P??e??E??G?E?h
?G??G????W?B?E??E????u??E??B???h?V?U?R?????M?W?B??B?E?h
?ȍ?h???[^_???U??}??u3?}t-??

???????
?
?
????? 
??14ProofTraverser14TraceGenerator?U???VS?E?u??~?Ã??V??????Ku?e?[^??U????CP
?E??B?E??E??E??E??E?u??eЍE??B?Ch

?B??B[??U???????u?u????1҄?t?U???ÍvU???WVS?u?}?]???WV?p???????u%????V?J?u?uS?uW?A
?R?A????v?؍e?[^_?É?U???WVS????EP?UR????????t?E?
?E?1??U??E;P???E?H?}t?D???<
???D?%????]
??D? t???????P?EP?EPS?EP?EP?B?P?B?ЉÃ? ??tv?}?tf9]?tk?}ta????E?Pjj?E?Pj
?EP?BEP?B?Љƃ? ????E?PjjSj
?EP?BEP?B?Ѓ? 9?t;ut;Eu?]???1??G?U;z?????E??e?[^_??9type_info8bad_cast10bad_typeid16__user_type_info14__si_type_info17__class_type_info9exception?vU????
?ЍvU?????????U??E?
?
???ÍvU??E?
?
???ÍvU????
?ЍvU????}???????É?U????i?????ÐU????Y?????@
?@?É?U???????u??*????u?K????v?É?U???????u?*?ÐU???S?]?U?E??tf?xt1??%????u?C????҃???s ?sP????t?C?]??ÍvU???WVS?]?u???j$?c????NjE?G?_?w?G?G?G ?X?f?Gf?G
?|????‹?G?:?e?[^_?ÍvU???S?]?Y????‹C?H??K??
ut?9?u?{th??t?K9?t????P?@??t9?u???u?3????v?
?C??t
???j?s ?Ѓ?????s?w????u????s ?????????S?????]???U???????????u????????@?É?U???
WVS?????????????????????????Dž?????}?u??WV?E?P?3??????????;u?????E?P?E?P?U?R?E?p??????????U?R?E?P?????U?B?E??E?B?e?[^_?ÐU???WVS?`
??v?[??t!?;u???S???????E;r?;Cs????1??11??s9?s&?[?>????P9Us???P9Ur	?y
9?r?1??e?[^_??eh?vU???,WVS?E?]?P???)ЉE???	?E??U쿵??
???1??t?
?E?????t)?֋}???1??t?
??t?}??	zt1???3??װ????????эL??M??B?}???????u?u?F
?C????
?v?C????CPR?h????ƒ???CPR????????CB??? ?8zu????E?PR?9?????U??Ѝe?[^_?É?U???WVS?]?u?U?C?@t????F
???}????E?? 
???t????E??W
???/???$?????????????L?????l??@???????????????????????????????????????????????????????????????????`??????? ?
C???
????v??????
??????E?PS??????Ã???E?PS??????ËM??N?M??U??E?D\
?E?????
?v????E?PS?????ËE??U?D\?
?????E?PS?o????Ã???E?PS?`????ËM??E?D
\?ƒ??E???W
?v????E?PS?3????Ã???E?PS?$????ËE??Uf?BX?E??B?!
?????E?PS??????ËE??Mf?AX?
??????E?PS??????ËE??U?B???v???jt???Nju???U?Bp????M?Ap?ω??????P???E???u??\?M???0
?U??????????B
?E???v??f??????E?PS?C????ËE??U?B?J??????E?PS?'????Ã???E?PS?????ËM??N?M??U??E?D\
?E???ى???[?v?؍e?[^_?É?U??E?U?B?B??B?B?`
?B?`
?ÐU???S?]???j????PS?????]??ÐU??E?U?B?B?B??B?`
?B?`
?ÐU???S?]???j?`???PS?????]??ÐU???S?E?`
?=`
t)?9Cu?C??;t????s?????S?{u??R???]??ÍvU?????????u????P????U????WVS???EP???????T???????t ????]?S??T???R?\?????L???????u1??

??`???1????E?f?E??E䉅d?????T????B???)??r??`?????T?????9?L???s"??j?M?QS??L???P???????L?????9?r???L????E??8zu'?????\???P??R???????L?????\???
?L???????T????p??T????B??X???9?L???s7;Ew2??X?????W?M?QS??L???P?j?????L?????9?s?U9?X???v֋}?????E??(???[^_?ÍvU???WVS?E?@?E????????????%???????e?1?;}?sm?Ӎ??U??G
?E??&?U?J??????E?@?U????E??????t?E??????@?I)??ȉօ?|??U??E?????}?;}?r?1?1?;]?s???E?????t??CG;}?r?U?Z?e?[^_??bad_alloc??U???WVS?E?]????ЉNjw?F?E?S?U??P?EP?UR?U??P?F
?P?U??B?Ѝe?[^_?ÐU????U?E????0?2????ÍvU???WVS?u?]???SV?;???????t?E???E???tM???Sh???S?
?Pj
h???r?@????? ????t#????Ajj?URj
V?P
?R?@???????????Sh???S?
?Pj
h???r??????? ?Å??Z???R???Vh???V?
?Pj
h???r?????? ???&?s?x??t4???Vh???F?
?Pj
h`??F?p?|????? ??t	?X?p??1ۅ?t6???Wh???G?
?Pj
h`??G?p?B????? ??t?P?U??x??E??ڃ?
?E???
9??????E???9??????VW?????????f????PW????????t:??t+???Vh???F?
?Pj
h???F?p?????? ??u?U?U????tP???Vh???F?
?Pj
h???F?p?x????? ????t#????Ajj?URj
W?P
?R?@????
?????
???Vh???F?
?Pj
h???F?p? ????? ?ƅ???
????
???Wh???G?
?Pj
h???G?p??????? ?Å??V
?E?$
?E?????u1??)???Wh???G?
?Pj
h???G?p?????? ?Å?u1??,?v???Vh???F?
?Pj
h???F?p?l????? ?ƅ????????E?4
?
t?E??{?v??t4???Vh???F?
?Pj
h`??F?p?????? ??t	?X?p??1ۅ?t6???Wh???G?
?Pj
h`??G?p??????? ??t?P?U??x??E??ڃ?
?M???
9?6???E???9?)?}?u9?|9?|???VW?U?????????????E?E??E??e?[^_?ÐU????M??u1??$?v???Qh???Q?
?Pj
h???r?C?????????U???tS?]?!????‹B?E??E??m??E?c??e??E??B?E??B??tD?CP
?E??B?E??E??E??E??E̫??eЍE??B?C?

?E?C?B??B[?É?U???tS?]?????‹B?E??E??m??E????e??E??B?E??B??tJ?CP
?E??B?E??E??E??E??E?5??eЍE??B?C

?E?C?E?C?B??B[??U???tS?]?????‹B?E??E??m??E?o??e??E??B?E??B??t>?CP
?E??B?E??E??E??E??E̱??eЍE??B?C 

?B??B[??U???tS?]?????‹B?E??E??m??E????e??E??B?E??B??t>?CP
?E??B?E??E??E??E??E?-??eЍE??B?CP

?B??B[??U???tS?]?????‹B?E??E??m??E?g??e??E??B?E??B??t>?CP
?E??B?E??E??E??E??E̩??eЍE??B?C8

?B??B[??U???tS?]?????‹B?E??E??m??E????e??E??B?E??B??t>?CP
?E??B?E??E??E??E??E?%??eЍE??B?C?

?B??B[??v??U???h?%????¹p
?=p
ui?B?E??E??m??E?m??e??E??B?E??B??t??AP
?
(??B?E??E??E??E??Ḛ??eЍE??B?A?

?B??B?p
??x?vU???h?????¹x
?=x
ui?B?E??E??m??E????e??E??B?E??B??t??AP
?
???B?E??E??E??E??E?@??eЍE??B?A?

?B??B?x
??l?vU???h?????¹?
?=?
ui?B?E??E??m??E???e??E??B?E??B??t??AP
?
G??B?E??E??E??E??E????eЍE??B?A?

?B??B??
??i?vU???h?u????¹?
?=?
ui?B?E??E??m??E???e??E??B?E??B??t??AP
?
???B?E??E??E??E??E?`??eЍE??B?A?

?B??B??
??s?vU???h??????¹?
?=?
ui?B?E??E??m??E???e??E??B?E??B??t??AP
?
g??B?E??E??E??E??E????eЍE??B?A?

?B??B??
??b?vU???h?U????¹?
?=?
ui?B?E??E??m??E?=??e??E??B?E??B??t??AP
?
???B?E??E??E??E??È??eЍE??B?A?

?B??B??
??c?vU???h??????¹?
?=?
ui?B?E??E??m??E????e??E??B?E??B??t??AP
?
???B?E??E??E??E??E???eЍE??B?A?

?B??B??
??w?vU???h?5????¹?
?=?
ui?B?E??E??m??E?]??e??E??B?E??B??t??AP
?
??B?E??E??E??E??E̠??eЍE??B?A?

?B??B??
??r?vU???h?????¹?
?=?
ui?B?E??E??m??E????e??E??B?E??B??t??AP
?
???B?E??E??E??E??E?0??eЍE??B?A?

?B??B??
??d?vU???h?????¹?
?=?
ui?B?E??E??m??E?}??e??E??B?E??B??t??AP
?
7??B?E??E??E??E??E????eЍE??B?A?

?B??B??
??f?vU???h?????¹?
?=?
ui?B?E??E??m??E?
??e??E??B?E??B??t??AP
?
???B?E??E??E??E??E?P??eЍE??B?A?

?B??B??
??Ui??U???h??????¹?
?=?
ui?B?E??E??m??E???e??E??B?E??B??t??AP
?
W??B?E??E??E??E??E????eЍE??B?A?

?B??B??
??Ul??U???h?e????¹?
?=?
ui?B?E??E??m??E?-??e??E??B?E??B??t??AP
?
???B?E??E??E??E??E?p??eЍE??B?A?

?B??B??
??Ux??U???h??????¹?
?=?
ui?B?E??E??m??E???e??E??B?E??B??t??AP
?
w??B?E??E??E??E??E???eЍE??B?A?

?B??B??
??Us??U???h?E????¹?
?=?
ui?B?E??E??m??E?M??e??E??B?E??B??t??AP
?
??B?E??E??E??E??E̐??eЍE??B?A?

?B??B??
??Uc??U???h?????¹?
?=?
ui?B?E??E??m??E????e??E??B?E??B??t??AP
?
???B?E??E??E??E??E? ??eЍE??B?A?

?B??B??
??Sc??U???h?%????¹?
?=?
ui?B?E??E??m??E?m??e??E??B?E??B??t??AP
?
'??B?E??E??E??E??Ḛ??eЍE??B?A?

?B??B??
??9type_info16__user_type_info19__pointer_type_info16__attr_type_info19__builtin_type_info16__func_type_info16__ptmf_type_info16__ptmd_type_info17__array_type_info?vbad_alloc?U??E??
??
????9bad_alloc9exception?Q???=r???	-??)??	???̋?@???v?%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
???%?0
??U????U?E?0
?
t	???R?????ÍvU????U?E?0
?
t	???R?}????ÍvU????U?E?h
?
t	???R?Y????ÍvU????U?E?h
?
t	???R?5????ÍvU???????u?u?????É?U???????u?u??????É?U???????u?u??????É?U???????u?u?????É?U???????u?u?????É?U???????u?u?????É?U???????u?u?t????É?U???????u?u?\????É?U???????u?u?D????É?U???????u?u?,????É?U???VS?u?]???V?K??????
t	???V?????e?[^?ÐU????U?E?0
?
t	???R??????ÍvU????U?E?0
?
t	???R??????ÍvU????U?E?0
?
t	???R?????ÍvU???VS?u?]??????fj
V?s	????
t	???V?v????e?[^?ÍvU???LWVS?????‹E?0
?B?E??E??E?m??@??`?E??B?E?(
?B??B?E[^_?ÍvU???LWVS?F????‹E?0
?B?E??E??E?m??@X??`?E??B?E?H
?B??B?E[^_?ÍvU???WVS??????‹E?@P
?M??B?E??E??m??E???e??E??B?M?Ah

?B??B?B?E??E??E??m??@???`?E??B?M?A?
?E?A?B??B??[^_?É?U???LWVS?V????‹E?@P
?M??B?E??E??E?m??@N??`?E??B?M?Ah

?B??B??[^_?ÐU???WVS??????‹E?@P
?M??B?E??E??m??E???e??E??B?M?Ah

?B??B?B?E??E??E??m??@???`?E??B?M?A?

?E?A?E?A?B??B??[^_??U???LWVS?^????‹E?0
?B?E??E??E?m??@@??`?E??B?E??

?B??B?E[^_?ÍvU??E?0
?É?U??U?E?BP
????É?U???????u?u????4
??U???lWVS??????‹B?E??E??E?m??@???`?E??B?E??B?E[^_?ÍvU???S?<
?=<
u?????hl
h5?S?3????؋]???U???S??
?=?
u???hr&S??????؋]??É?U????=?
u5?=l
u???h۶hl
?????????hl
h?h?
??????
?ÐU???S?
?=
u???h?S?a????؋]??É?U????=
u5?=
u???h?h
?.????????h
h?h
?D????
?ÐU????=L
uX?=|
u8?=,
u???h ?h,
??????????h,
hB?h|
??????????h|
hU?hL
??????L
?É?U????=
u5?=,
u???h??h,
?r????????h,
h??h
?????
?ÐU????=?
u5?=,
u???h??h,
?&????????h,
h?h?
?tS1?;^}#1???????????fj
P?U???????C;^|??F?}t???t	???P??????F?e?[^_??U???ÍvU???ÍvU???ÍvU???ÍvU???S?]?{
t???jvhjh~?H???????s?s?3?????C?]???U???lWVS?}?c????ƋE9G???G9E~[??u?E??}??
???D@
??;E|??G?_?????P?7?????????t??u???jIhr(h{(????????W;U}?????????F?E??E??m??E???e??E??F?E??F??t?
????B;U|ËE?G?e?[^_?ÐU???lWVS?}苶???ƋE9G???G9E~[??u?E??}??
???D@
??;E|??G?_?????P?7?????????t??u???jIh2<h;<?????????W;U}@????????F?E??E??m??E?y??e??]??^?E??F??t?]??
B;U|‹E?G?e?[^_??U???lWVS?}賵???ƋE9G???G9E~[??u?E??}??
???D@
??;E|??G?_?????P?7?%???????t??u???jIh2<h;<?????????W;U}?????????F?E??E??m??E?Q??e??E??F?E??F??t?
B;U|ËE?G?e?[^_?ÐU???lWVS?}?۴???ƋE9G???G9E~[??u?E??}??
???D@
??;E|??G?_?????P?7?M???????t??u???jIh2<h;<?&???????W;U}@????????F?E??E??m??E?)??e??]??^?E??F??t?]??
B;U|‹E?G?e?[^_??U???VS?u?U?F9?~Y??u?Ѓ?}????D@
??9?|??F?^?????P?6????????t??u???jIhr(h{(?c????v??e?[^?ÍvU???VS?u?U?F9?~Y??u?Ѓ?}????D@
??9?|??F?^?????P?6????????t??u???jIh2<h;<??????v??e?[^?ÍvU???VS?u?U?F9?~Y??u?Ѓ?}????D@
??9?|??F?^?????P?6????????t??u???jIhr(h{(?s????v??e?[^?ÍvU???VS?u?U?F9?~Q??u?Ѓ?}????D@
??9?|??F?^???S?6?)???????t??u???jIh2<h;<????????e?[^?ÍvU???VS?u?U?F9?~Y??u?Ѓ?}????D@
??9?|??F?^?????P?6????????t??u???jIh2<h;<?????v??e?[^?ÍvU???VS?u?U?F9?~Y??u?Ѓ?}????D@
??9?|??F?^?????P?6?:???????t??u???jIhr(h{(?????v??e?[^?ÍvU???VS?u?U?F9?~U??u?Ѓ?}????D@
??9?|??F?^????[??P?6?????????t??u???jIh2<h;<??????e?[^?ÍvU??E??у?
??
ʍD??ÐU??E??É?U???ÍvU???WVS?]?}?{???C?????wP????Љƃ??C????jVP????Љ???1?;W}??????
t????????@??B;W|?C?jQVP???ЋC?V?s?sP????ЋC????VP?B\???C?e?[^_?ÍvU?????????fj?u??ÍvU???WVS?}?ȯ???E??W?U???E???G?G?]??]???tg?E??x:?]?P???fjR?E?P?k???
?U????|????
;u?}(?U????]???9?|???}???|?????FA?E?;|ދU??2??????fj
W????????U??B?E??E??m??E?b??e??]??Z?E??B??t?E??U???G?G??X???[^_?ÐU???\WVS?}???E??EH?E?9E??h
???u܉?B?U??щ?}???]ċ}9?}&?E????U?????׋?????9?~??A;M|?U???M܉??]ĉ??u??u܋}?9?|?????E??
xz??z?????}?f?U?f??f?U??m??]??E??m??E??E??????ɋM????????E?M?u?u؋U???}?f?]?f??f?]??m??]?E??m???????EԉuЉE̐?]؋?uԋ?G?u????9??EЋ?Ű4?vI?E??????;4??9?}?]??????붉??uV?EPW?UR????V?MQ)}?]S?u??P?n????e?[^_?É?U???$S?E?M??P?E???{?]?PQRS?=????]???U???m>?0p00?0?0?0;1?122
33?3?3?4?4?5?5$6)6?6]7M8?8W9?:?:?:?:?:?:?:?:
;;(;:;J;?;?;?;?;x=}=?=?=?=B>?>p?????@\?0?01?2?2?2*3?34?4b5?5v6{6?6?6?7?7?7n8?8a9?9?99:?:;P;U;?;?;
<:=?=Q>?G?L???????PT?0?0
11?12o2t2?2?2=3v3{3?3?3?3?3?3?3?4A8?8?8%:*:;	;y;?;?;?< =?=?=>?>?>`P0$0?0?12?2
44]4?4/5h6w6|6?6?7?7l9q9?9?9;;?;?;?;`>?>?>??pt?0o1?1?1?1?45h5m5*6p6u6?6|7?7?7?7?7?78828?8S8`8x8?8/9?9P9?9?9::':M:?:?:?:?:?:;;f;?;?;?;\=?=?=B>?>n????\]0?0]1?1?152?2?2O3?34d4?4U5?5?5S6?6?6?7?7?7}8?8,9S9?9?9?9?:?:?:S?>?>c????dC0?0#1?12s2?2k3?3C4?4?5H6?6;?;|?>??"?+?P?]?e???????????hc0s0?0?0?0?0?0?0?0?0?0?01a12c2>3?8?899]9?9?9:{:?:?:?:?:;S;s;?;?;?;?; <:?>?>?>?>?>???tU1?1]2v2?2?2?23!363a3i3?394R4n4~4?4?4?45(505}5?5?5?5?5626G6l6t6C7?7?7O8}8?8?8?8?8$9E9_9t9?9?9/:?:G???????111 1$1(1,1014181<1@1D1H1L1P1T1X1\1`1d1h1l1p1t1x1|1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?1?10494?4?4?4?488a8q8?8?8?8?899?9?9?9?9):9:b:r:?:?:?:?:-;=;g;w;	<!>T>n>?>?>?>?>	??:?@?Z?t?z??????????????t
0
0$040A0Z0`0z0?0?0?0?0?0?0?0
1$1*1D1T1a1z1?1?1?1?1?1?1?1
22*2D2J2d2t2?2?2?2?2?2?2?233*303J3d3j3?3?3?3?3?3?3?3?34$414J4P4j4?4?4?4?4?4?4?4?45545D5Q5j5p5?5?5?5?5?5?5?56646:6T6d6q6?6?6?6?6?6?6?6
77 7:7T7Z7t7?7?7?7?7?7?7?788!8:8@8Z8t8z8?8?8?8x9}9?9?9?9?9?9?9?9::::&:.:6:>:F:N:V:j:?:?:?:<>->@>m>?>?>?>?>??1?P?d????????????D
00040=0H0M0]0b0g0q0?0?0?0?0?0?0?0?0?0?0?0?0
1
111*1/141D1I1N1X1h1q1|1?1?1?1?1?1?1?1?1?1?1?1?1?12	222)2.232=2L2U2`2e2u2z22?2?2?2?2?2?2?2?2?2?2?2?2?2
333!30393B3M3R3b3g3l3|3?3?3?3?3?3?3?3?3?3?3?3?3?344444)484>4N4S4l4u4?4?4?4?4?4?4?4?4?4?4?4?4.5?8?8X9]9?90:5:f:;
;>;?;?;	>{>?>?>?>j?o??,?0O12!233?3?3/555?6?6?6?6?6?6?67
x0000,040<0L0T0\0l0t0|0?0?0?0?0?0?0?0?0?0?0?0?011$1,1<1D1T1\1l1t1|1?1?1?1?1?1?1?1?1?1?1?1222$242<2D2T2\2
?Q~d؟Gd؟S???????
?E
??
??
??-?S?x????????*?N?x????????????????????B?#???B??S?V?p???????????????????:????
F??[?
?q?M
??N
??????:??9??f?5
?{????J	??^	?
?s	?@?	?	????	?,?	?5?	?8?	?@
?F$
?M9
?PN
?Wc
?Zx
?a?
?d?
?k?
?n??
?<?
???C??????
????
???
?.?????????a??b??c
?d"?e8?gN?hd?kz?q?????
??I	?"??6$?؟$R ?{$?$?$????????$!?$?$???E
?????<???D???M+???]??h??T?wo??t??$% ?$;?&Q
$X\?$($`l?$>$x??$\$???$Kv$??$?$???$
?$#
?$??$[
???Z
$A?$~
P??}
%@}
$3$?
\?R??
%@?
$`$?
h????
???
?@?
$?$?
????
R??
???
???
???
$??sq??"'?????$/???.?.3?.E@.P@.$C^$V??Uo?U}?UE@U?@U$S?$tT???so?s??sP@s?@s$V?$???$$????????&??7??O@?$
`$Q??$?p$~P???~?@~$?d?d???d??S???????
?E
??
??
??-?S?x????????*?N???????????l???????5
???ܨ
???????????????0 ??R ??!?/?"?5??#??$?`&?"v&?%?&?,(?7??)?#@??)??*???*$(?+?(+?($+@(0+@($"A+$-(?g+?-{+?-?+@-?+@-$,?+$4T??+?4?+?4?+?4?+?4?+@4?+@4,@4,@4$?,$8,??+?8,,?86,?8?+@8A,@8K,@8$?V,$????+???+???+@??+@?$|j,$Fx??,?F?,?F?+?F$!?,$K??-?K?,?K-?K?+?K*-?K6-?KE-@KR-@K?+@K$R]-$T??-?T?-?T?-?T?-?T*-?T6-?T$0
?- 7. 3. R. 5k. /?. #?. ??. ??. ?/ ?7/ ?T/ ?t/$#??$*?/$X?+?,,?$+@A,@$?/$ ???/? ?+@ $
?/$'p??/?'?/?'$?/$/0?$40$-??%0?-$U20$.?%0?.+?.G0@.0+@.$!T0$5??$4m0$3???0?3$U?0$4\??0?4+?4?0@40+@4$!?0$d??0?+?$?0$??$K?0$???0?,,?$[1$??:1?+?$G1$??$nd1$`?:1?,,??1??1@$??1$7???1?7+?7$?1$7(?$n?1$2T??1?2?+?2?+?2?+?2,@2,@2$?:2 Q2 ?h2$??$*2$T??2?+??2@0+@$!d??d???2d??S???????
?E
??
??
??-?S?x????????*?N??????????????????????????
?2?3?3?<?4?D?5?M?6?]?7?h?7?w?8?~??9$,??$
?9$2??$:&7
0:$;??N:?;[:@;$h:$D???:?D?:@D$?:$MԮ$
?:?b	<$t?$%<$??$:<$??$U<$? ?h<??$"t<$?D??<??$?<???<$?X??<???<???<??=@?=@?.=@?$IF=$???b=??p=??}=???=@??=@?$]?=$???=???=@?$??=$
??$?=$
??
>?
>?
$Q3>$@
?$D
L>$F
T?$D
g>$N
??$?>$U
???>?U
?>@U
$#?> 5?> /? ? 6? W
`? W
?? W
?? W
??$??$*??$H??????@$2$T????+???@0+@$!	@$,?$K%@$??@?$UL@$???@?+?g@@0+@$!t@$/0?$K20$.??@?.+?.?@@.0+@.$!?@$5??$K?0$4\??@?4+?4?@@40+@4$!d
?d??@d?S???????
?E
??
??
??-?S?x????????*?N??????????)?#@??????@$4??@?4$?d?d?	Ad?S???????
?E
??
??
??-?S?x????????*?N??????????)?#@?????A$G?,A?G$?6A `A wA Y?A Y?A$??$*2$T??A?+?B@0+@$!B$0?&B?+?2B@0+@$!>B$d?$KUB$??oB?$Cd?d?Gd?S???????
?E
??
??
??-?S?x????????*?N?x??????????????????B?p?????????:???
?????:??9??s	?@?	?
????
??????a??b??c
?d"?e8?gN?hd?kz?q??????B?J?B?5??B ??B ?d?d??Bd?S???????
?E
??
??
??-?S?x????????*?N?x??????????????????B?p?????????:???
?????:??9??s	?@?	??C??		C??G?AI?
P??X?tY??Y?Z?wZ??Z?S[??[?'\?d\?W]??]??_??`????rVa?Rb?"mb??
??I	%c&7$
:c?CNc?Dbc?Evc?F?c?G?c?d??d?p?d?$e?xe$???e???e???e@??e@?$:?e$?$??e???e???e@??e@?$Gf?Vf??f?

?f?
g?
 g$?
l?2g??
Eg??
$nXg$?
ܻmg??
?g??
$?
?g$?
???g??
?g@?
$.?g$?
???g??
?g??
?g??
?g??
?g@?

h@?
$ah$?
 ?+h??
$
7h$j?>$a
)j(t`
:j$)
??Lj?(
[j?(
$?d\?d\?kjd\?S???????
?E
??
??
??-?S?x????????*?N?????????????ܨ
????????)?#@?zj$$h??j?$?j?$-?$?j?$*-?$6-?$?j@$?j@$$K?j$-??k?-(k?-4k@-Ak@-$Mk?8?l?=?l?Dn?J>o?PQp?Vdq?\wr?b?s$l???s?l?s?l?-?l?s@l?s@l$t$????<??%t@?
$</t$
,??+?
,,?
Bt?
?+@
A,@
Mt@
$?Xt$
???+?
,,?
lt?
Bt?
?+@
A,@
{t@
Mt@
$??t$
8??+?
?+?
?+@
?+@
$|?t$
???+?
?+?
?+@
?+@
$|?t$
0??+?
?+?
?+@
?+@
$|?t$
???+?
?+?
?+@
?+@
$|?t$)
,?$??t$)
??$??t$)
L?$?u$)
??$?u$)
l?$?!u$)
??$?/u$*
??$?=u$*
?$?Ku$*
??$?Yu$*

 }xA
 $??XN
 ?(S
 ?X
 ??Y
 ?[
 /?U?j
 *?k
 Yx?

?
?x?
 ???

?
???
 ? F ??

?6??
 N?a
 jt?

,?t?
 ??

,	?
 :?J
 ? ^ ?

xt ?
 ???

p???
 ??

t??
 ??j
 	??

x4	??
 L	?Q
  l	?d
 ?	P-
 ?	06
 @ ?	??

??	??
 
T?

L
"
T?
 ? 9
x?

8N
x?
 ^
??

L
|
??
 ?
?k
 ?
Pk
 ?
p?

??
p?
 ? ??

??
 #L?

<L?
 .text(,

@9
.data
.bss?
P.ctor??


.file 
??g
?(l
;(l
Pm
 $
??
 ???
 ?D?
 h
@4?
@_l_True?_l_False?_l_Undef
/ 
U??
 O?
 ?0?
 ???
 ???
 '
??

D
??
 \
??

}
??
 ?
\?

?
\?
 ?
??

??
 7x?

,Rx?
 h??

???
 ???

???
 ?d?

?d?
 )??

?S??
 x??

L
???
 ???

$???
 ???

$???
 ? @ ?	 "
 ? N
 8?

L
8?
 0?

lU?
 u??

L
???
 |
 ?
 ? m .text(l

?"?.data
.bss?
P.ctor??


.file,
??g
dllmain.c??
??
???
 
.text??

.data
.bss0

.file<
??g
gccmain.c?
?
_p.3??
 
?H?
 ?___main??
 .text?

?.data

.bss0

.filee
??g
libgcc2.c؏
؏
؏
 
?
 &?
 ___empty?
 : ?
 JZ\?
 ll?
 {??
 _eh.390
?@
?P
???
 ??
 ???
 ??
 ??
 
P?
 "\?
 ;h?
 W?
 o??
 }?
 ?T?
 ???
 ???
 ___throw??
 ?P?
 .text؏

 
!.data
.bss0

0.stab
.file?
??g
tinfo.cc??
;??
?P
?T?
 ?h

 ?

 %,?
 0?
 K??
 Xx?
 ???
 ??
 (
 ?

 -p?


Qp?
 p??

X???
 ?0
 ???

X???
 ???

,???
 ???

,??
 ?

$&?
 40?

4H0?
 W\?

$m\?
 ~??

4???
 ???

L
???
 ???


???
 ??

p&??
 <??


Y??
 q(?

p?(?
 ?`?

??`?
 T?

?ET?
 ???

???
 ?d?


?d?
 ???

\???
 ?
 &X?


<X?
 M(?
 lT?

$?T?
 .text??

?.data
.bss`

.stab
?	 .file?
??g
exception.cc??
;??
???
 ???
 ????
 ???
 ?Ԟ
 
?
 ??
 -?
 A ?
 MD?
 XX?
 n??
 ??
 ???
 ???
 ?H
 ??
 ?T?
 ???
 ??
 ? H ? m & (??

$A??
 U?

Xm?
 ?,?

L
?,?
 ? ?H?


?H?
 .text??

?B.data

.bss`

.stab?
?!.file??g
new2.cc?
;?
??
 .text?



.data
.bss`

.stab
.file!??g
new1.cc?
;?
??
 ?
 ? ??

D??
 1d?

L
Fd?
 V0?

$j0?
 ? .text?

?.data
.bss`

.stab|
0	.file-??g
libgcc2.c?
?
.text?

.data
.bss`

.stab 
?.fileN??g
frame.c?
?
y$??
 
?$?
 ?l?
 ?ܫ
 ???
 ???
 ? ?
 ?&??W&??e&?s&??&?_abortT?
 ?&?_pow