<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/63368>63368</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Crash at -Os: Assertion `isAvailableAtLoopEntry(RHS, L) && "RHS is not available at Loop Entry"' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
shao-hua-li
</td>
</tr>
</table>
<pre>
clang-tk -Os crashes on the following test case.
```console
% cat a.c
static int a;
char b, f;
static int *c = &a, *d = &a, *g = &c, *h = &g, *i = &h, *j = &i;
void k() {
int e = 0;
for (; e <= 7; e++) {
b = 0;
for (; b <= 7; b++)
if (b + *d + 3)
break;
}
*j == 0;
for (; b + f >= 2; --f)
;
}
void main() {}
%
% clang-tk -w -Os a.c
clang-17: /zdata/shaoli/compilers/ccbuilder-repos/llvm-project/llvm/lib/Analysis/ScalarEvolution.cpp:11555: bool llvm::ScalarEvolution::isLoopEntryGuardedByCond(const llvm::Loop*, llvm::CmpInst::Predicate, const llvm::SCEV*, const llvm::SCEV*): Assertion `isAvailableAtLoopEntry(RHS, L) && "RHS is not available at Loop Entry"' 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: /zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -dumpdir a- -disable-free -clear-ast-before-backend -main-file-name crash_0_reduced.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=/zdata/shaoli/realsmith -resource-dir /zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/lib/clang/17 -internal-isystem /zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/lib/clang/17/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/11/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -Os -w -fdebug-compilation-dir=/zdata/shaoli/realsmith -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/crash_0_reduced-64e2b9.o -x c work98/work/wrong/crash_0_reduced.c
1. <eof> parser at end of file
2. Optimizer
#0 0x000055e5adc7027f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x3b4627f)
#1 0x000055e5adc6d9d4 SignalHandler(int) Signals.cpp:0:0
#2 0x00007fb127e89420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#3 0x00007fb1278da00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
#4 0x00007fb1278b9859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
#5 0x00007fb1278b9729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
#6 0x00007fb1278cafd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#7 0x000055e5acd82048 llvm::ScalarEvolution::isLoopEntryGuardedByCond(llvm::Loop const*, llvm::CmpInst::Predicate, llvm::SCEV const*, llvm::SCEV const*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c58048)
#8 0x000055e5acda4b40 llvm::ScalarEvolution::howManyGreaterThans(llvm::SCEV const*, llvm::SCEV const*, llvm::Loop const*, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c7ab40)
#9 0x000055e5acdabf31 llvm::ScalarEvolution::computeExitLimitFromICmp(llvm::Loop const*, llvm::CmpInst::Predicate, llvm::SCEV const*, llvm::SCEV const*, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c81f31)
#10 0x000055e5acdac368 llvm::ScalarEvolution::computeExitLimitFromICmp(llvm::Loop const*, llvm::ICmpInst*, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c82368)
#11 0x000055e5acdac98d llvm::ScalarEvolution::computeExitLimitFromCondImpl(llvm::ScalarEvolution::ExitLimitCache&, llvm::Loop const*, llvm::Value*, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c8298d)
#12 0x000055e5acdacbeb llvm::ScalarEvolution::computeExitLimitFromCondCached(llvm::ScalarEvolution::ExitLimitCache&, llvm::Loop const*, llvm::Value*, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c82beb)
#13 0x000055e5acdacd2d llvm::ScalarEvolution::computeExitLimitFromCond(llvm::Loop const*, llvm::Value*, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c82d2d)
#14 0x000055e5acd765e0 llvm::ScalarEvolution::computeExitLimit(llvm::Loop const*, llvm::BasicBlock*, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c4c5e0)
#15 0x000055e5acd76cb7 llvm::ScalarEvolution::computeBackedgeTakenCount(llvm::Loop const*, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c4ccb7)
#16 0x000055e5acdad6d6 llvm::ScalarEvolution::getPredicatedBackedgeTakenInfo(llvm::Loop const*) (.part.0) ScalarEvolution.cpp:0:0
#17 0x000055e5acdadcf6 llvm::PredicatedScalarEvolution::getBackedgeTakenCount() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2c83cf6)
#18 0x000055e5acc9e129 llvm::LoopAccessInfo::canAnalyzeLoop() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2b74129)
#19 0x000055e5accad62c llvm::LoopAccessInfo::LoopAccessInfo(llvm::Loop*, llvm::ScalarEvolution*, llvm::TargetLibraryInfo const*, llvm::AAResults*, llvm::DominatorTree*, llvm::LoopInfo*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2b8362c)
#20 0x000055e5accad85c llvm::LoopAccessInfoManager::getInfo(llvm::Loop&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x2b8385c)
#21 0x000055e5af446f47 llvm::LoopVectorizationLegality::canVectorizeMemory() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x531cf47)
#22 0x000055e5af44f95d llvm::LoopVectorizationLegality::canVectorize(bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x532595d)
#23 0x000055e5af34f63b llvm::LoopVectorizePass::processLoop(llvm::Loop*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x522563b)
#24 0x000055e5af35380d llvm::LoopVectorizePass::runImpl(llvm::Function&, llvm::ScalarEvolution&, llvm::LoopInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::BlockFrequencyInfo*, llvm::TargetLibraryInfo*, llvm::DemandedBits&, llvm::AssumptionCache&, llvm::LoopAccessInfoManager&, llvm::OptimizationRemarkEmitter&, llvm::ProfileSummaryInfo*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x522980d)
#25 0x000055e5af354a50 llvm::LoopVectorizePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x522aa50)
#26 0x000055e5aef626c6 llvm::detail::PassModel<llvm::Function, llvm::LoopVectorizePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x4e386c6)
#27 0x000055e5ab53319d 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>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x140919d)
#28 0x000055e5ad624acd llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x34faacd)
#29 0x000055e5ab516876 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x13ec876)
#30 0x000055e5ad622a4d llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x34f8a4d)
#31 0x000055e5adef0c4e (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
#32 0x000055e5adef3ca9 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>>) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x3dc9ca9)
#33 0x000055e5aef00f72 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x4dd6f72)
#34 0x000055e5b007d1e9 clang::ParseAST(clang::Sema&, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x5f531e9)
#35 0x000055e5aeeff578 clang::CodeGenAction::ExecuteAction() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x4dd5578)
#36 0x000055e5ae74fd79 clang::FrontendAction::Execute() (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x4625d79)
#37 0x000055e5ae6d4c86 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x45aac86)
#38 0x000055e5ae832326 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x4708326)
#39 0x000055e5ab18b0f4 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x10610f4)
#40 0x000055e5ab186e1a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#41 0x000055e5ab1883ec clang_main(int, char**, llvm::ToolContext const&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x105e3ec)
#42 0x000055e5ab09d165 main (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0xf73165)
#43 0x00007fb1278bb083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#44 0x000055e5ab181bfe _start (/zdata/shaoli/compilers/ccbuilder-compilers/clang-assertion/bin/clang-17+0x1057bfe)
clang-tk: error: unable to execute command: Aborted
clang-tk: 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 a734de6d3753b5ac8c58a68d28deaaaadd1d30fe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers
clang-tk: note: diagnostic msg:
********************
PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-tk: note: diagnostic msg: /tmp/crash_0_reduced-1fe21e.c
clang-tk: note: diagnostic msg: /tmp/crash_0_reduced-1fe21e.sh
clang-tk: note: diagnostic msg:
********************
%
% clang-tk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git a734de6d3753b5ac8c58a68d28deaaaadd1d30fe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
%
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsW11z46jS_jXKDSWXhD59kQvHiWemKvNOKsnuuXQhaNlsJPABlI_99W8hyY5QnMSZnXjPObVVnondaprup5umQUC05isBcOolZ15yfkIas5bqVK-J9NcN8St-Ukj2dEorIla-uUP-D42oInoNGkmBzBpQKatKPnCxQga0QZRomHjBuRfM-v_ToPtQKbSsoKfiBFFiEJnQjqANMZwiLgwiXnTWEemaKFR4eI7KHW3A6OEZRV50jjycEsvl4RkbE1ZbAu0J6y1h1RP4lrDuCX9sCXzX673kDN15OPfwFHlZT221gJY72LEiVEqFLGt01j6c2-dZ-8vDZ-1nKAMhVLwQ4QgpHCHFTsgzM0K8tNwF8vBZDwM-Q9GICaFCAbkb9ONl57uvveFvWNOJL5EXXVgubGm-Xzq97FruRLfY1YSLAXzbZx5OBgGxC7OHNtJ2wdE9CDMvmiEPL_5kxBAPL2ycVtzDCyrrDa9AafudFg2vGChfwUZaSlXd1_5GyT-Amv6n_cMLDy9mglRPmlu2G0oqoi7uZdUYLsWEbjZeNAvDJElsv4WUFWrbRjMvmo24OyLXl1JuLoRRT18aohiws6e5FMzDuY1-M2hvGT08sxH3TJzXm29Cm-7HlQLGKTFgecbNb-YXv_fNX300tWrPtAZlNUReGnA9uye8IkUFM7NT1cP59dcbK-qydQ9OPZwiD-PrrzeIaySkQWTbDhGDbEvUN8UezlBJeAWsH_ZXlxezmwukm6LmBhFUNCtkXaEMMhKtjdloqyheeHix4mbdFBMq64FjXHdxrRuw_kFEMMQFrRoGbeZpExEqCL0zitAWpo2CjZIUtAaGtGxUR7YtidaScmKAIdUIpKniG9OrfGMIvUOsqa3HO1Iw8YLplZIrRWpE1KqpQRj9sQB0qG0Ik603PLwo7IBYbEMb-ZSGyDeKbypAj3m6TGO_EXdCPgi_4qJ59FeiQT7U3Piy-AP5Vl3GFSI-8hnX1jl-qQCQTysgyifa-AWUUoFvMQLBkG9HoV_yCnxB6h7BZbBUwBoKbEKRXyuoJCVWR7-WDCq04RT5G079Cu6hQrj7wbW_4YD8ulSkBn8juTCgvOhcSAHIL2ti1j4oJSTyy3LjUymsl4wXnUuB_FJIX8lGMC5WvuVFft0GsmqokconFScaNPLLRjxwwXxj7dNedI6Rb4hagfHpprFA-WmMfNMIaAkrEKCsxgyKZrUCZR9xsfKi8xUrkF9SeQ-KrKD3Tmcp41b1fZ5VQCpdc6uggi6iLPcvi4IuDbV0Dy9sHLRAClL5XD9pA_WndWUHVz-c9nbaaGVbSUqqA1nbDlaUenjRR_Aucm2PoYcXk8nL__bwvuwNHu0X-rLXnnWPnLdbf7yLdlKyc1PZBtfHI6gEpaTyK24zYzhFfrkSDfXvQel2DjmPJ3gStkFaSeUzTlZCasOpRv492IHB_wS_knLjEHS1QX5JGFOar5B_vlx-mc-XX2e_XyzP_zW7XuDlfPFtObv57kXnIfKlNczUGxsMbgLw0xhwMZ1I5D8iih6kupvmHl7YL_aPkm3ovEgbXcoMbcr0ojnI0osu0IYoDcrOFzb1yBLZvNNxYsv5Y2N4zf8E1dcOHo4CFDwGQRAkCSSE0SzAWTmY2fST3k6NXJg2ad92mT9_ZlLkYSm1UUDqdiab2yKtm9fyz0ndHj4LHqMiTnE2KIU8HIWuOSmbshjd8JUg1VciWAXKw3mvXUfWfdURtP92gnAvKCuLEGeQT2McoOVSgTZSwVKZ3rhuAO4ZThUvNmatgLCJlpOg1TiMYxw4-kZONzkjQVAgRbiGA-RTKzltJcdREBSO5NiVXEzzZIpIIQ_SfCAZ4zyZOpKTseRs5-qDZWbYlZm6MikpWfoxmVFUstSRmQ1jgbIcB3H-F8pJt5DsasAPlJNutfhK89Gjzx5BmCZ5EOcOarmLGomLOHgPtbV8-E7E0xcFxIC6XROhHcAOt3iO3oDZrgde_v18kDJSxO6wnY5AKsoofA8k23Fj4OKRm0s7Gy2UrL_N7Zzwd4TW8VHMwzIKdyjaXB2MUKRR-u4A_asoftvC-PeGVI6jNHfACMdgTHP2M2DYbPWt3lTuANzXetdsTuga-pn7IBB_J1UDfzuC05w5COIxggUUP4tgCwn738ewgMLBMBpjyPBPR-GhQ_I_AwmG3WiKXSSyNIF358ExEocicEY0p2eVpHcODJ9vdkwTCByzk7HZtMgONPuM0DtgK7gldyDmshHv2H88I2mROUamoyhnKUvfM3IFZjfpMsfUb6KUb1naWjjZEGXsMmCK9u96DtYfVsVsrCIthyo-q_Kasnu9cZShFNEydeB2S0o6hRBPR0lyRilo3SLZhRQR7T7xn9Dt2h5D8yKLw8GyxGru1nmUsBTTdzQf0cZx8bIuG_lv_Py23Xm75IUi6smKfCWHzGbXoJvK6BdPzmXNBTFS3SqAvVV2p-kxFhxFHqWYDjHGwRjjPHkd4-9EkBWoXZS_gnF6HFPyxDXFqeHKOE7LOBuZ8nu_hdRuYV3CilTcPO1ifvsUvkMt29cEn29IEoW0jJ0EifHIkHKasJ8zxMP5cfJ8EuFkmjhzOHaqmTKKyzQqXjEDrojut7r61xl94tkzfD_dFIyTNHIKMxy7piRRHrzmkYEpqhEv1gKLRtCu7_SdTLSnmO3GW7ovRd0qInQpVb2XZ5SERk_b2meh4N8NCPq0S0dv5sGXeQ5qIhiwM26T4KiHmdZNvbF2vV6pv0wzY65-A7WN-Wuoibq7qLkxezivlCx5BTdNXQ_1PULoTPPAHQXJKHRikgQHhc5hYbN9n7tLzfM9jaKLoyTlBGNCEqeixU6xB2WKUzqspBgYwqveaUTr75JBtd-IFwHjwjbyP2hQ98A6eED_HGj281_rjRiiPKVOLYidurZIoiicsl_gjZb3LZN_Fv1_nDpyahgH03DqZhinwGcpjgkdOvW7ZE0Ft3KrqnXWjJGNkWo_EF2DD8HQNzkSCFFcEkJdEKZuZIdpnn0sz2ytnh8I3a8KzWfoXgvM_3h_hBHQPHMyzejNZooxidkBGWOfF_7H0YviMiexE82jF6lQBjRuX0kSIcVTLRuNBKlBb9p3wdN-M7TmZqY11EX19BWqzXaddt2IYeF0xTdQcWGXBt3JiH4PrD0wM9ula21Y96QR_N8NLDfGxUiRh-XmQXEDy-2750EjBiVpKrNkUIGBdxr2qT49pNtbKasfjdk0ZsG7ODmkz1Gr5w6nqDf8N8OrvVtBER65IqJkigbIWdh7IV0XLrDnz0caLsSqxb01dMDyFQgDdQNE0fWPtkjW212GMetcMvgC4h2urlh_h-mSiNU-lsGKxCguVtdQ7kuK27N4b4TQ4LWPMKrR_B6uoZwLczVy6n3ZV73WOzftUZR-8j9-FH76aGd0SomzzxVFbo0cBGWG9yA7l0I39XZYdwcq2mVfdyLnN8FHsTe7uZ1LYeDRHKfgZCwtM-yYNlw4F0GQsRCc0XNFlIbZza2r-A3UpA_H476KSMokCsH1jrOAAyjLJMv3jMk-7ruc8Ai0MbAdCkfYRooZS5LMeacZuUuvLC5Z5mC_UDY4diN2qPlxdE5xwjIXbGeBAimLaZ66YHedfBPaEEFhP96vG3mUcZAQQnO3HHJqdMijdmU8nEU6C57Nu-_PpLrWvDD_GLsacRbkEXbtccvtMC-CMkaUhsv-2Pug0FKKPNlJJJq3txt2--ddhndpeI7uJWdHMSsM0jAo46FZcTAyK4WQoK1v5uFtm4SGb6VrUlXdPkS707fPxvF2nZRVn5UH8-4UMcXvQe2tQeJwpFYeAe2iZ4t3e6iuQ7MFb7x990qnn41wAhE4m_SxU04VwZSFadLelfhkXcosCtPEUWV0-q8ogjxCy2XFC7rUhiizHOh16Nm6OMgjp5d45LuwKAF18j8f_qwoYafN9raJF81Qey7XfmlEe8nBSARdmCMq65oI1t6lKKQywN5o3hJR2SfZbdv-fgRiTStZt0c9rbWNBuTftzQAxAdZbqgj6s8HozCbBJPANvzYLYrJihtEsihmkLIoS6IiITSnSU7SnOGcASGEMBayKBjg05XN1qrXbiP0fO25UlR3WwgztJGaP3aP2rxcVcDOufrZqxMvwBbSFq8z9Hw6GtW6nRD6IPsLn8G9tf4ay-z2djb_im6_XqDFj8vLH__69n9f0OLb5cUNuv3Rks9--4KuL65-XN_udLjadw0l1zbFvHoVZcegALU3MIAhYnYiD0Lg9YPdYQk4BPc-1V8Vptcfd86vctH-a2P3_4ya4ahZyMYmISIYZ8QA-jKfI94JJ32Ne_jljeATZIa_XmbvhhuogNoh9Cv0m-80q5vKcNsqmqGJF515cVCn8ajLt5ieA3d7LfaEnUZsGk3JCZyGaZ4FIZ4Gwcn6lNAM8qRMQoyzIonDkgEA5AGkJIQ8wSf8FAc4CtIwC-M4jINJnqVJmFHIYRriIMNeHEBNeDWxYT2RanXSXqY7TaMozU8qUkCl26u_GAt4QO1DD2MvOT9Rp-1QKJqV9uKg4troZymGmwpO5-31O2KQ_0Mf-6bhSaOq05-_StgC8P8BAAD__0LFFIU">