<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/62908>62908</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
clang crashes on valid code at -Os and above: Assertion `(Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"' failed
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
zhendongsu
</td>
</tr>
</table>
<pre>
It appears to be a recent regression.
Compiler Explorer: https://godbolt.org/z/sarv1Prda
```
[514] % clangtk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git cf1ef4161006e8119761b3a137423c23436bcf33)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Candidate multilib: .;@m64
Selected multilib: .;@m64
[515] %
[515] % clangtk -Os small.c
clang-17: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/Analysis/ValueTracking.cpp:2114: void computeKnownBits(const llvm::Value*, const llvm::APInt&, llvm::KnownBits&, unsigned int, const {anonymous}::Query&): Assertion `(Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0. Program arguments: /local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name small.c -mrelocation-model pic -pic-level 2 -pic-is-pie -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20230524-clangtk-m64-O3-build-023823/delta -resource-dir /local/home/suz/suz-local/software/local/clang-trunk/lib/clang/17 -I /usr/local/include -internal-isystem /local/home/suz/suz-local/software/local/clang-trunk/lib/clang/17/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/12/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -Os -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20230524-clangtk-m64-O3-build-023823/delta -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-d02ce2.o -x c small.c
1. <eof> parser at end of file
2. Optimizer
#0 0x000055f21f1b8c30 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x3acfc30)
#1 0x000055f21f1b6504 SignalHandler(int) Signals.cpp:0:0
#2 0x00007ffae51bb520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#3 0x00007ffae520fa7c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
#4 0x00007ffae520fa7c __pthread_kill_internal ./nptl/pthread_kill.c:78:10
#5 0x00007ffae520fa7c pthread_kill ./nptl/pthread_kill.c:89:10
#6 0x00007ffae51bb476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
#7 0x00007ffae51a17f3 abort ./stdlib/abort.c:81:7
#8 0x00007ffae51a171b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#9 0x00007ffae51b2e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#10 0x000055f21e33a72f computeKnownBits(llvm::Value const*, llvm::APInt const&, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#11 0x000055f21e33a7e3 computeKnownBits(llvm::Value const*, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#12 0x000055f21e347a2a computeKnownBitsFromOperator(llvm::Operator const*, llvm::APInt const&, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#13 0x000055f21e33a465 computeKnownBits(llvm::Value const*, llvm::APInt const&, llvm::KnownBits&, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#14 0x000055f21e342a48 isKnownNonZero(llvm::Value const*, llvm::APInt const&, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#15 0x000055f21e3452ce isKnownNonZero(llvm::Value const*, unsigned int, (anonymous namespace)::Query const&) ValueTracking.cpp:0:0
#16 0x000055f21e3459db llvm::isKnownNonZero(llvm::Value const*, llvm::DataLayout const&, unsigned int, llvm::AssumptionCache*, llvm::Instruction const*, llvm::DominatorTree const*, bool) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x2c5c9db)
#17 0x000055f21e17c77e simplifyICmpInst(unsigned int, llvm::Value*, llvm::Value*, llvm::SimplifyQuery const&, unsigned int) InstructionSimplify.cpp:0:0
#18 0x000055f22273b2b5 llvm::JumpThreadingPass::computeValueKnownInPredecessorsImpl(llvm::Value*, llvm::BasicBlock*, llvm::SmallVectorImpl<std::pair<llvm::Constant*, llvm::BasicBlock*>>&, llvm::jumpthreading::ConstantPreference, llvm::DenseSet<llvm::Value*, llvm::DenseMapInfo<llvm::Value*, void>>&, llvm::Instruction*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x70522b5)
#19 0x000055f2227422a5 llvm::JumpThreadingPass::processThreadableEdges(llvm::Value*, llvm::BasicBlock*, llvm::jumpthreading::ConstantPreference, llvm::Instruction*) (.part.0) JumpThreading.cpp:0:0
#20 0x000055f222745176 llvm::JumpThreadingPass::processBlock(llvm::BasicBlock*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x705c176)
#21 0x000055f2227460ba llvm::JumpThreadingPass::runImpl(llvm::Function&, llvm::AnalysisManager<llvm::Function>*, llvm::TargetLibraryInfo*, llvm::TargetTransformInfo*, llvm::LazyValueInfo*, llvm::AAResults*, std::unique_ptr<llvm::DomTreeUpdater, std::default_delete<llvm::DomTreeUpdater>>, std::optional<llvm::BlockFrequencyInfo*>, std::optional<llvm::BranchProbabilityInfo*>) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x705d0ba)
#22 0x000055f222746d27 llvm::JumpThreadingPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x705dd27)
#23 0x000055f21f4067a6 llvm::detail::PassModel<llvm::Function, llvm::JumpThreadingPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x3d1d7a6)
#24 0x000055f21c9e90da llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x13000da)
#25 0x000055f21e0d5c6c llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x29ecc6c)
#26 0x000055f21c9cedd6 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::CGSCCToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x12e5dd6)
#27 0x000055f21e0cd68d llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x29e468d)
#28 0x000055f220419b76 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x4d30b76)
#29 0x000055f21e0d179e llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x29e879e)
#30 0x000055f220419bc6 llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::DevirtSCCRepeatedPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x4d30bc6)
#31 0x000055f21e0cf6cd llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x29e66cd)
#32 0x000055f2205ea4f4 llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x4f014f4)
#33 0x000055f220419306 llvm::detail::PassModel<llvm::Module, llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x4d30306)
#34 0x000055f21eb5fac1 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x3476ac1)
#35 0x000055f21f4173e8 (anonymous namespace)::EmitAssemblyHelper::RunOptimizationPipeline(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>&, std::unique_ptr<llvm::ToolOutputFile, std::default_delete<llvm::ToolOutputFile>>&) BackendUtil.cpp:0:0
#36 0x000055f21f41aa8a clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream>>) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x3d31a8a)
#37 0x000055f2203b2ea9 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x4cc9ea9)
#38 0x000055f22131f679 clang::ParseAST(clang::Sema&, bool, bool) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x5c36679)
#39 0x000055f21fc18249 clang::FrontendAction::Execute() (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x452f249)
#40 0x000055f21fb9a47e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x44b147e)
#41 0x000055f21fce1a2f clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0x45f8a2f)
#42 0x000055f21c640c83 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0xf57c83)
#43 0x000055f21c63ca73 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#44 0x000055f21c63e10c clang_main(int, char**, llvm::ToolContext const&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0xf5510c)
#45 0x000055f21c551dc3 main (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0xe68dc3)
#46 0x00007ffae51a2d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#47 0x00007ffae51a2e40 call_init ./csu/../csu/libc-start.c:128:20
#48 0x00007ffae51a2e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#49 0x000055f21c6372e5 _start (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-17+0xf4e2e5)
clangtk: error: unable to execute command: Aborted
clangtk: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 17.0.0 (https://github.com/llvm/llvm-project.git cf1ef4161006e8119761b3a137423c23436bcf33)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clangtk: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clangtk: note: diagnostic msg: /tmp/small-9e2135.c
clangtk: note: diagnostic msg: /tmp/small-9e2135.sh
clangtk: note: diagnostic msg:
********************
[516] %
[516] % cat small.c
void a() {}
int b, c, *d;
int main() {
int g = -1, h = 0;
c = g || (0 & b) | h;
if (h) {
a();
g = 0;
}
if (b)
c = g = 18446744073709551615ULL << g;
if (g)
d = &h;
return 0;
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsfF1z27bS_6dhbjDUkABfxAtfyJKV-P9Paz-x2848NxoQWMpoSIAHAJ04n_4ZgJRNSrJjp3HOOW1m3FTCy2JffrtYkAtRY8RWApwE6WmQrt7Qzt4offLlBiRXcmu6N6XidyfnFtG2BaoNsgqVgCjSwEBapGGrwRih5CyIVkG06P9dqqYVNWh09rmtlQYdkAW6sbY1AVkEeB3g9VbxUtV2pvQ2wOsvAV4bqm_jS83pmFKQRcNf_zU9TeMkSFcowCliNZVb-xGFt32v_45uQTuGUJzPolmEAjzfW1nYm66cMdUEeF3Xt7v_ha1WfwKzs62wiFUxVEmcxVGUwTyOizyLS0JjkieYMEwSkpWsIiTARb_2NdVbsE7Oz_NskyVhJz9K9UmGtZDd53Aru2HcjQbKUaM41G50q4z43HedS2NpXQNfCa8wx5ditHa66b6Eu8-qrbovTmGlkP3EteokR4xKLji1gN4ul0j0xKgVSg7EOqMdSVE6JTAW4PXA6gOLeB3Hr0AT9zSvoAZmgX8XYst71pqutsLNIgs0C8hpkERNluwt-dQgj6p0h6pjbfdIuzDINLSuZ2wEuTDOn7CXUZX9RDUEeO1Hl52o-R7mRkj00i8kre-MMAFe_07rDq41ZR-F3M5Y2wZkgeM4cSveKsERU03bWfj_Dm2nwpoAz5mSxiJPkSwCsvA0ArwI8BLt9y0uz6UNcOb6HlpH1HxPJ32k4Ei4wTsqQX5KpZJ3jepMkK_6qf_Tgb7z0wrH48IY0M7IyHkxnnvKs_8FrVCAM9R_vZAQ4AIFZBWQFXJOm7nOAGPHA_KeNMQeJQEtfl2hL6BVQNYBxgHOUUVFDXwIQpfvzxZXZ8h0ZSMsoqjstkhDq7R1NF4WDQK8FsZ04EyBqHQKYHXHAdkbQExTc4NKyj5aTRk4xbQaWq0YGAMcGdXpvtnNpMYoJqhDo-4kMkyL1g4sX1nKPiLeNc68fVM0C6LiUqutpg2iets1IK3ZA9qNaqDH2-Oo2zX1WLW6kx-H6LFri3MUMhaj0GrR1vBoCEMhNMKGqvwThY5XLjSiIQq5MLSsIaw0AApZDVSH1NiwhEppCJ2CQHIUNlTIsBI1hJI2sPMkFDYaHJMOJaGPjKgVDIWtYGENt1Aj3H8RJmwFoLCpNG0gbJWQ1m0uK-lQEVYNtTchaC0VCquqDZmSzjA2ICslUVhJFWoX14Tchm4sChsPZN0xq3RIa0ENGBRWnfwkJA-tk8oEZIVRaH2AD1nbOfWEWYJC20nwDVuQoB3HHMpuuwXtuoTcBmS15SUKK6ZuQdMthMzvjL2k3IX51dejhtM5GOvo4XXZbR0UcYRJlOIkHCJT2GRJeEFCH1zCCJM5JgFec6gtRaGGHoluye-Dnj5M-TYXk3MUno8i-DBl5yqhN5OkdSjMnbHQvA4PX1vxBcw9dyfC69ns8J8jYw9Xg8_uAztcdRh6hM7Ts1--hN_OwsqD9t-EzAq0VjqshYvUcYHCais7Fg45XEBWyQzPYu9BtdIhF3QrlbGCGRTegvNa8QXCWql20mDqFoUV5VwbsUXharN5u1xu3i1-P9us_lh8WOPNcn2-WVz9EpBVjEK3Fa1t0zrpXEwKeYQZ4JlC4WfEpjt-7MJyQJagqoCcoZZqAxpRi1yEUxVy4a0fid3Ii9aKRnwB3behAJMIRZ-jKIrStMJxFZdzRqLR1mvuTP_hUgtp_cZw3e8u84dBmn7aKGM10GbYof3GXLh09xW2hwCfRp8JZRUj0X3K62SJ92TJ0ihBV2Iraf2OSl6DDvB8YK1vNkMOE_n_7gnhgVBeVRTSuCxTHO2E8W54xKlqUbKZUbPMs5fgFE-ZIxOaOKpoztBm01qfg28-irreiKatwe2sHvnIua9srdPHeNiMBWSRuJwrzx7oJ8-hPzjjk5TzeUAW8Ugb6THK42lPkpsXe-SyfeUmeYa2xtvDU-o_7uKXuTMcWufM_ekErzUVBjxt7FLdkQ7yKWka5xVBtHS5lidleW8-39RzFzuJHyjMDyjEJdrIelMryjdcuaTB0xLSi-uaG7NltCcXx7ljaWT2Yk9aDEX2MiiRAorsHkoO5hOfBUJojqtjmfdezt3nyUPmvZdz7_pemHkHeH6fcyOXRpnWB4dilH2PSBfo2AFi5HxOuvhAOiDfLt2_QwI8lSDJKaYHEqy1ai5a0NQqPZFm1_hfYi6yb64kS_8-YEz2TIlpMkfCeFZ-VdKdHP-CbD9CgnRPghQzeJkEP4LLbJ_Lgpcj1X2jxlfU0vf0TnVPq31kImO6pnWb75KyGzggeD6cz9zu_MiSqhHSue-1O36Ox5RK1a-cFGGWsoKXk80in2g2zlmeAzIu0xDV3fmyac89i_PHlTJ-YPO11quB8D4I9pVeoJEqd5OOQ2M-EgDjnJS4TEcr_r-uafvnmEJuL6kZ8tUhAnkuPXbO5aUGDgyMUdqcN219CKMDcU6pEey0VuzjoaQuD__dJ_meGFkay_uulrojy_Jh7NLpgcpDtEzpkzP3tx_2_nSI3Ak4pXepoQINsn-sMwIhSANXYCdMHJfQD_2FtueyUo8Ov1WCP8LdyIx-8KviO49SjMt0gu9iCo8EY_oMeAyPxfoeWtZwxrdwZJt6CSK-wVBHtTdrqbYzd3pAE-6PugeO9uRP4zx7tvyDIPNH5Xttc7I4n-S2ON4TJ4tK-nVxdCcPPHrdyUGxe5DdPc_-hUq6hamn3k9yUN-zb_9W5b0oNdV33l-Oj7jWVJpK6ebomPf0y52H1tHexeIDmK52OY7vuY8pnRT_6mDT2im_K9W4jea3llPrjrejGRwq2tV2w6EGC0_NGjx7NFf5PZDWk1keFWsN_-pAsnsFPGumppLdXGpV0lLUwk4mvzbEeFTSCcTwPsQ4zp8Fse8Mr-wHyM5xPpF9kq1XSZTldBwtOFgq6uGJDzXml_7N4DEJJjIf6mzSfanBgL4F3usGzLdpzP39d5qC8JjndBrpJkcLVkARcfodTOHHPiXvt6r-p0XHFo1JFEV8GlimR62IpyxjI96Xb6-Wy2u1Y9MZasFp687_R5Xgdoolreu3mrY3Q9K5XL5IJY-R2N-QHsbg7FiWdzBm0usF6zeTfvd6ffXjAhjL2ET92dShGHD-stj2HG09YcTv5SDfbLS_aLHHnPEnDp8IAxhSzqeBfXrijhjP5vwZAfo5OvoJm78HbHABSTbnE9hMnnNESVyU-fcPX39D8P0Mu_88_0k4icq9JwfFXvYV5wVMHnTdCm2vlssP0AK1wB8_2v3U_JORa54XMNb8pIagj1zs-0eu4_b76fz_PAh652cT55-WfkDEqoyNc65fFO9quFaXytgLzUF7tr96AuunvUjrw5QfcQTFBWQZmyQRZPJsK0qBJlVyoIdzWQsJ-g9N2xb043HwP1v8pIripEom4pP9SESil0WincjL5yjtewWfB6U9Fg7-wy3BSUSiqUNOX5yXaUVZ_Iw89Jj-_86qI0meURZPVJdOn9HGOYH51166nzXCLoyBpqzv3kHdwhDRPnRyKPrzJWWXogUH4wDP-1JVP-i0L4le3D8f_NpbB00_bdpPWljY7Mr-nvfi4XDi-K3i15a9Vqq-6Gzb2bXoQfKcNfdmPSxYoEHw36yoj75cI9meKSidUzTSnFP7QKRfYqrY1UOF6Jncer17QUdD3gHloK-AanZz4d-dmMlr89HQpeLwFuRXRvXvoL4y6D2V22NDHrR2ZbWQ2w9QHYuFu9sbT0DoYcq5tLoz4hY-QLWU9nLPqLfVsPs461z52uD9d0o_DIWv_A6AxHQ-eWJM8sl-RUoMtDii1qWSpmt2Pt3Xsvq3jH2J9G9S7AFvcXW9VNLC5x-RjjFWAC0mck2eZcQkrrJ8Itcl1QYWV9dTrq-goQMQ-2KZH1I0kzKSZfmU_8lZsmLxHCcT_tfaafce730s-Ayss-A5fV2Fp7jCyYThZFrGXRY0yWEaO_pLkP5an2QwYXnntfPHJXx9FCVlnOSTc2UyredmEFNcTaJvz_6DbLfDvZ2pKAeyv3phQ5JWc4qriTCTolCWJRGbE8RYvGmomGYsC63pnYu8ZMlu6KgOtA-L07Zddc6ry1SlOZuTiUhkKhJhNCdoZ5RlfO19dyTYYcnUoXx725CjMUSySUkh1-IW9NFNO0n22II4Yj1sdrre3Ru8odorbr-M45FFX1W7aRxNXmclkzSQpWnMGUG-_vwV-YBsztnUynv1-hTzIkKbTS1KtjGWarthtK4395XxzHSHtfvD7YBjk2Y3AVmk_tJB9rDqfik_hiRCfo6Qwu4v1H901ENPvS_Gx44oHiFjv7rfE52IckyKo8RJ7jLv9IF2sYe6HEOKeqqvCpwEMDxUxA33nAKyQP4yk_vQSVrWgKxC0PsmYqppqOT-RmyptAX--Oz-Hns1bAe7qcMdV8Q7T3i4vRHgeWcAhbe-DQCJUUgu_tn34ke6lcolpAv0cIEMNWbrqQ1w-gt_o98rGK4eL66vF8t36PrdGVpfvH9_8cf5r2_R-vz92RW6vvDNp7-9RR_OLi8-XAe7C7-Xx64Oz40Lg49eH74foAH5K7TAEbX3JJ-ngendtwJwTNLJBfdvo2BuXm6G72WM9DSNsyM3-u_bGLXTe33-Lj3dpZL5aZCv-g4hLSr93tVX4i94QE4fuob9bTerv4WEXM8WBWSFwthNu_Gfo_uZCDHfskVBvgxyX-Hvr727pRylJboZDRaV99e9RdCO39FINCw7XupelB2hh3J1N-GeE7JC8TxJsjxJopzkUZGmcRanv71_jwKyDMgSbQ942k5IcU8kwNmYeQ2203LE0T0_97_u8YafEF6Qgr6BkzibJ0WcJfP0zc0JjzLK4yKDOInwPCYkyuZplmbFnKd5NC_eiJPdhdNojmOczkiRJzFERUXJHOdFEiQRNFTUMxfLZkpv3_j7_CcZLqL5m5qWUJvd75_oEx_w_E3WJKqFseZhmhW2hpM-lvqL_2CQkuiW1v5HGDggav2NWu-spbqFH_3zB286XZ98-88beI38XwAAAP__Mi6Uqw">