<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/56044>56044</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[SCEV] Assertion `isAvailableAtLoopEntry(LHS, L) && "LHS is not available at Loop Entry"' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
max-quazan
</td>
</tr>
</table>
<pre>
https://godbolt.org/z/8E8KGPaaT
Run
```
opt -passes='loop(indvars,loop-deletion),loop-unroll<no-partial;peeling;no-runtime;no-upperbound;no-profile-peeling;full-unroll-max=0;O3>' -S test.ll
```
on the following test:
```
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-ni:1-p2:32:8:8:32-ni:2"
target triple = "aarch64-none-linux-gnu"
define void @test() {
bb:
%tmp = load atomic i64, i64 addrspace(1)* undef unordered, align 8
br label %bb14
bb1: ; preds = %bb3
%tmp2 = add i32 2, %tmp7
ret void
bb3: ; preds = %bb10, %bb3
%tmp4 = phi i32 [ 0, %bb10 ], [ %tmp8, %bb3 ]
%tmp5 = phi i32 [ 0, %bb10 ], [ 2, %bb3 ]
%tmp6 = phi i32 [ %tmp12, %bb10 ], [ %tmp7, %bb3 ]
%tmp7 = add i32 %tmp5, %tmp6
%tmp8 = add nuw nsw i32 %tmp4, 1
%tmp9 = icmp ult i32 %tmp8, %tmp13
br i1 %tmp9, label %bb3, label %bb1
bb10: ; preds = %bb14
%tmp11 = trunc i64 %tmp17 to i32
%tmp12 = sub i32 undef, %tmp11
%tmp13 = load atomic i32, i32 addrspace(1)* undef unordered, align 8
br label %bb3
bb14: ; preds = %bb14, %bb
%tmp15 = phi i32 [ 5, %bb ], [ 18, %bb14 ]
call void @wibble() [ "deopt"(i32 %tmp15) ]
%tmp16 = load atomic i64, i64 addrspace(1)* undef unordered, align 8
%tmp17 = add i64 %tmp, %tmp16
%tmp18 = icmp sgt i32 undef, 4
br i1 %tmp18, label %bb10, label %bb14
}
declare void @wibble()
```
Stack trace:
```
opt: /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:11042: bool llvm::ScalarEvolution::isLoopEntryGuardedByCond(const llvm::Loop*, llvm::CmpInst::Predicate, const llvm::SCEV*, const llvm::SCEV*): Assertion `isAvailableAtLoopEntry(LHS, L) && "LHS 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.
Stack dump:
0. Program arguments: /localhome/mkazantsev/work/llvm/build/RA/bin/opt -passes=loop(indvars,loop-deletion),loop-unroll<no-partial;peeling;no-runtime;no-upperbound;no-profile-peeling;full-unroll-max=0;O3> -S ./reduced.ll
#0 0x00000000021e8ffc llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Support/Unix/Signals.inc:573:0
#1 0x00000000021e70a4 llvm::sys::RunSignalHandlers() /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Support/Signals.cpp:103:0
#2 0x00000000021e7763 SignalHandler(int) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Support/Unix/Signals.inc:397:0
#3 0x00007f3b887d5630 __restore_rt sigaction.c:0:0
#4 0x00007f3b87331387 raise (/lib64/libc.so.6+0x36387)
#5 0x00007f3b87332a78 abort (/lib64/libc.so.6+0x37a78)
#6 0x00007f3b8732a1a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)
#7 0x00007f3b8732a252 (/lib64/libc.so.6+0x2f252)
#8 0x0000000001249af9 (/localhome/mkazantsev/work/llvm/build/RA/bin/opt+0x1249af9)
#9 0x0000000001249b2c llvm::ScalarEvolution::isKnownOnEveryIteration(llvm::CmpInst::Predicate, llvm::SCEVAddRecExpr const*, llvm::SCEV const*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:10458:0
#10 0x000000000125cfeb llvm::ScalarEvolution::proveNoUnsignedWrapViaInduction(llvm::SCEVAddRecExpr const*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:5053:0
#11 0x0000000001252ddb llvm::ScalarEvolution::getZeroExtendExpr(llvm::SCEV const*, llvm::Type*, unsigned int) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:1742:0
#12 0x00000000012207c2 llvm::ScalarEvolution::willNotOverflow(llvm::Instruction::BinaryOps, bool, llvm::SCEV const*, llvm::SCEV const*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:2316:0
#13 0x000000000126c5ad llvm::ScalarEvolution::getStrengthenedNoWrapFlagsFromBinOp(llvm::OverflowingBinaryOperator const*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Analysis/ScalarEvolution.cpp:2345:0
#14 0x0000000002385677 std::tuple<llvm::SCEV::NoWrapFlags&, bool&>& std::tuple<llvm::SCEV::NoWrapFlags&, bool&>::operator=<llvm::SCEV::NoWrapFlags, bool>(std::pair<llvm::SCEV::NoWrapFlags, bool>&&) /home/buildmaster/sw/centaurea/gcc-7.4.0-rhel6/include/c++/7.4.0/tuple:1253:0
#15 0x0000000002385677 strengthenOverflowingOperation /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:724:0
#16 0x0000000002385677 simplifyUsers /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:891:0
#17 0x0000000002385677 llvm::simplifyUsersOfIV(llvm::PHINode*, llvm::ScalarEvolution*, llvm::DominatorTree*, llvm::LoopInfo*, llvm::TargetTransformInfo const*, llvm::SmallVectorImpl<llvm::WeakTrackingVH>&, llvm::SCEVExpander&, llvm::IVVisitor*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:922:0
#18 0x0000000002387113 llvm::ilist_node_impl<llvm::ilist_detail::node_options<llvm::Instruction, true, false, void>>::getNext() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/ilist_node.h:67:0
#19 0x0000000002387113 llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Instruction, true, false, void>, false, false>::operator++() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/ilist_iterator.h:157:0
#20 0x0000000002387113 llvm::simplifyLoopIVs(llvm::Loop*, llvm::ScalarEvolution*, llvm::DominatorTree*, llvm::LoopInfo*, llvm::TargetTransformInfo const*, llvm::SmallVectorImpl<llvm::WeakTrackingVH>&) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp:936:0
#21 0x00000000022c8b11 llvm::simplifyLoopAfterUnroll(llvm::Loop*, bool, llvm::LoopInfo*, llvm::ScalarEvolution*, llvm::DominatorTree*, llvm::AssumptionCache*, llvm::TargetTransformInfo const*) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Utils/LoopUnroll.cpp:222:0
#22 0x0000000001fea45d tryToUnrollLoop(llvm::Loop*, llvm::DominatorTree&, llvm::LoopInfo*, llvm::ScalarEvolution&, llvm::TargetTransformInfo const&, llvm::AssumptionCache&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::ProfileSummaryInfo*, bool, int, bool, bool, llvm::Optional<unsigned int>, llvm::Optional<unsigned int>, llvm::Optional<bool>, llvm::Optional<bool>, llvm::Optional<bool>, llvm::Optional<bool>, llvm::Optional<bool>, llvm::Optional<unsigned int>) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Scalar/LoopUnrollPass.cpp:1295:0
#23 0x0000000001feb1da llvm::LoopUnrollPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/Transforms/Scalar/LoopUnrollPass.cpp:1623:0
#24 0x00000000024c01cd llvm::detail::PassModel<llvm::Function, llvm::LoopUnrollPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManagerInternal.h:89:0
#25 0x0000000001a12929 llvm::SmallPtrSet<void*, 2u>::operator=(llvm::SmallPtrSet<void*, 2u>&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:489:0
#26 0x0000000001a12929 llvm::PreservedAnalyses::operator=(llvm::PreservedAnalyses&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:152:0
#27 0x0000000001a12929 llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:522:0
#28 0x00000000024bcc7d 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>&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManagerInternal.h:89:0
#29 0x0000000001a123b0 llvm::SmallPtrSet<void*, 2u>::operator=(llvm::SmallPtrSet<void*, 2u>&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:489:0
#30 0x0000000001a123b0 llvm::PreservedAnalyses::operator=(llvm::PreservedAnalyses&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:152:0
#31 0x0000000001a123b0 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /localhome/mkazantsev/work/llvm/llvm/llvm/lib/IR/PassManager.cpp:127:0
#32 0x00000000024c1c2d llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManagerInternal.h:89:0
#33 0x0000000001a10c0a llvm::SmallPtrSet<void*, 2u>::operator=(llvm::SmallPtrSet<void*, 2u>&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:489:0
#34 0x0000000001a10c0a llvm::PreservedAnalyses::operator=(llvm::PreservedAnalyses&&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:152:0
#35 0x0000000001a10c0a llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:522:0
#36 0x00000000007f3818 llvm::SmallPtrSetImplBase::~SmallPtrSetImplBase() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:83:0
#37 0x00000000007f3818 llvm::SmallPtrSetImpl<llvm::AnalysisKey*>::~SmallPtrSetImpl() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:344:0
#38 0x00000000007f3818 llvm::SmallPtrSet<llvm::AnalysisKey*, 2u>::~SmallPtrSet() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallPtrSet.h:450:0
#39 0x00000000007f3818 llvm::PreservedAnalyses::~PreservedAnalyses() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/IR/PassManager.h:152:0
#40 0x00000000007f3818 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool) /localhome/mkazantsev/work/llvm/llvm/llvm/tools/opt/NewPMDriver.cpp:496:0
#41 0x00000000007659fd llvm::SmallVectorTemplateCommon<llvm::StringRef, void>::end() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallVector.h:251:0
#42 0x00000000007659fd llvm::SmallVector<llvm::StringRef, 4u>::~SmallVector() /localhome/mkazantsev/work/llvm/llvm/llvm/include/llvm/ADT/SmallVector.h:1192:0
#43 0x00000000007659fd main /localhome/mkazantsev/work/llvm/llvm/llvm/tools/opt/opt.cpp:792:0
#44 0x00007f3b8731d555 __libc_start_main (/lib64/libc.so.6+0x22555)
#45 0x00000000007e7a00 _start (/localhome/mkazantsev/work/llvm/build/RA/bin/opt+0x7e7a00)
Aborted (core dumped)
```
Our triage points at the following patch:
```
commit 20d798bd47ec5191de1b2a8a031da06a04e612e1
Author: Florian Hahn <flo@fhahn.com>
Date: Thu Jun 9 15:20:10 2022 +0100
Recommit "[SCEV] Look through single value PHIs." (take 3)
This reverts commit 1fbdbb559569641f6d509b569966901c8fb02b63.
All known issues surfaced by this patch should have been fixed now.
The fixes included fixing issues with SCEV expansion in LV and DA's
reliance on LCSSA phis.
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztW1tzo7gS_jXOi8ouEPeHPDgX7-RMZpKaZLJV5yUlQNg6wcAKkcT767clwEaY2MnEmd2dOlMZ20itVl--brVAhHm8Ol4IUZQjazrCM_ib53GYp2KS8zlc_Qn__XP_82_XhNyOjLORMf1WZfWPkWs0f-oyLwQaF6QsKTA7G2EvzfNihH2WxY-ElyN8KhvGMU2pYHk2wkHbVGU8T9ORdZrlwIALRuDipKA0ZdkcfkEzrzLBlrS-qIqC8jCvsri-LniesJSONyOSKk0btuMleQZ5DGi9skbWOQiGxjdI0FJMYNJBTTIkFhQlMDp_AoaKWBpoiFgQPqcCxUSQlKzySiCYDY0wpuMljKFj5sOX_G_hMTNd-KE-5JVrww_XhmYsCeBznFm4brtRV0w2jwusBjR8Gl6qD8NEmhyCsyKlrQyE8GgBzLI8o2OwTfU8nmfVekz9GdOEZRQ95ixGI9tQyoI8OEAj76QmCcO1-gj4OmJZqCnSnMSIiHzJIiS1wafyC5E45mVBIgp8TOXoKQJv0QQ-cx5TTmNJSlI2z5Df8g05SklIUzlBGJp2V0a4BgnQm_6Bx1EBU5WNNYCppeuAVQ9Ii5iFEZYy1R1eS8fBpNIwuizWIWQxjWa-LbFsRVQsmBJr5JygDalpQMOZuoT2mt7fMFKdGjPn1czwLjbuFpu63cQ7RfN28fQ08zfibpzg6tT-mjqrnlBWPnVGKeSZOn2g6FkEUK1S0SH2N1OYVgd8zGxHSoIOFK3etdlDpvFWOAyhwdalN03VJyDxqdBqmz0kcqlLj7pGclmFSk8Vax0te5Yxre3gtZQf5eBDBK_Vs5B9GAu1WOqpsw1xZ03ahaS5CRTT7sIxImm6zn9PLAxT2mZAhWQcU1jdZNqE5WyNI9OpKXqoNt3Dp8a189cBs0ZEx829gDH9TQSUc6Ejwx4Cfm2gLtKNfkOblb0zfQmJUsLpoA27dL21s_68ESR6AKRLo7ywyErrA4KgGElzcNYih1IAz5YP5E-SiZI-wsVTzh9kf_q43P5iIXxOM5KuSgaVyOwGmBB-_pinlaxFJlFRyIXWNGy5yKIwz1OkxoI81rRHXTey8hJql_NM8NVvFQHPxSer0xxKEuxHeVaKzvhLVQhNlSnXjafL4iKrywpreg1uZxERVNL0h9-cnt81w1_sCqTYU6i9uJQQgeFYOX0kDFyX0qlYiwrSXX66kawuFXixC38S4dCKWImyXCDSjgP4IjkSNUOxrJ0S6KTxpPbL9eX59OZc5p0lg4EorOawZBY5FzJN9QpLJhZVOInynn9k-fY_GkF4zVhZVlT6B5EMMJ5FaRVTVYtFnJQLFAJQFE4mXeTE1bJYA8eY1AnkmudzTpYIqqJqSQEkb8NPWLEUXDn7JoUPGVSrM72-_WcWt7KynYCsAKcqAi-1BS5obhnIeDbaf9ikfpJEHSiVq7LFIsuEsuwtr_PUhoiTp_u8FJySpYIO5LRM1EB6T2TegNKAGfj1PWPPsgGyH0nLCUAAZnU8WXAZG1XMniqeQewhVWCrUnP6BHhKqfSTf0hpWzGb9GH0xMR9MT3XQppACkEfb0Ar8HTJrEYyL7FC3_dixwV43N9zKP1zTu8hfEs2J1GdG9VQbbjdHe5Zlmn5HuKElbDxkBaWUsklT35HkzKfAFROjGfLBbr1iiAZOT1GmHg-IqHMHzsZeUCnMXJ1RpiYxAWFiMqI9zJn3Ydkj3g4gUEaV6_PFTt4Dwug0Fj4XQyY2A5IErQs3pOK1HQNP23CoD9hiKP9a9nnLH_KrrLzR8pXF4JyUmcx_zXrlb4cTeP4G43Onwter1ZbC58k6nS9F_r7V3XDdvwNfmX6MHQbOVFCw302gjz8SL_m3zOIjIzGv3NS3DFykUGi3bLVi3b4cGUdw7F0Xc2erjiO9-o6p-K_lOfnz4JmsVRhS7sXfHu7KmjTWDWGOswKsd_LnirdOopjXXFseBHep_gTS9OvubiCMEjS_ElTW6KfN85WDScsI3x1VcjVX5WMO3H-d4YAWMPVjWPpxnEjB3Yr-1FxA0t_NoeCDBz7NZcxMEvJvJzxfAnWuCo0g7VWhKqlNZVMLPlPDQhYrBxddVtblS3fcT0PlSKuhRZVARsX67RXY6tfHY2b6qf2uqtuK7oHYKIo8sZM8i7qK3g0DKQI_lqCgjD-xsGu-lMOaXyhVp4lKYUsVGYlhMMsglKaVFD_yYI-isbexJ4YY76gqSvr97pil3SwPqm_maKA78YmU0hBvQzlDDukRVoHRjWA1AbnXaiBwjYrk5wvJW6-C5Yq_LBlkbJkBSn9jvAGPh62dWHdQWGbod-h2ih_mmx-YOqyeUOydcrirpRXycWdFq3Xny6-5jHdzlW9VNDvP8uXENwA11tOt0fL7eNFluTbK4W6Xb1WVtK8lCyXJE3vYIOY8wtQQEP175SoXcoDgOPuUwvjfqqFFQzKbQniXufF3R0rmQy1Q-Si13suwL21yu95zjMhQ2_kZCkrxX0G7rlnfRPUfTEVUOPWLYoOSkTwVqmRdlcwsAP8VvVbAhsF9UPd6JZZ6Hyd8L_SZ_HOTdMmKTQN07Nb2bzWabKAuVxPt0jwGosw0WbKjzVIt63-sZWrm3T3cZZqdVXWMh3dXNjYba429FU43pVa4A_enfoXRv1PDF9Lr6awfj8CR34IZfew9acJ-PF7fU_oBS9sl5Iv2vN9bpqWZbVUYXFKosV2_25vfYi9paa1ddr6rZcqsV7WJ5TYTgyRu7rN63G1Iffhu2cY90ft7b7aYu4e2_f6r6Bvyf5U1c43uiT84XzJhBhYxE7ABw8zTv-oaBatBsW-ru8h3lRLYNQlaaGm9miby20EXilR5a3LU21jVyfHd9GtC9B_aP-WHgcFfo0oDfnXpFzfUsSBvnvBVg_-oRmTHnI3XOo2Xul3J2ZVFg2it91MfSEZmVN9VV0P-ohsu8cILtZ3DFjfwtmRYUbd3Wt37Zd8vsD6nw5rsxX2HeP1QohC2fxI49pItPwx07V1wz_MJ1uVx8U3-FC2q-e9yCD1gCiq-vAD3R3aBs4kAFoQpbeUXwt-QyF-TlVNVWcfXA3uebV7TbvHdjethyy5OtMqje2-yu5ulbfRslPLAXAdXLG-R5s6sre6env02ox_RTz96kGhTOj0CxR9L2eHUeQdIjl9mOn_n-ZemeaCfmxYofFrpzn9mfG2yv_WNKc_QN7WC2KySult3iJP8pvGpFA6DeG6HvAmVDdDDlROband1o_6fYLeI2k7MiP8tuTUanr6SnMdKrtszPVSbvkbffCuvGJZPTAakUF-8bxi71b5X5tX-pVwX68X1vChoPp1g2GwbLK0ilqeuPBNfzgK5P3AE1LSumPknQ_1fcid2D6ufX1fanlv0kGzfuuZz3QlQ7T167Z2P0czy9afe-nnWHaqtkstPWvpyv0cxWzH0BULdiv2QioC0QeyzmEVeFXKsY3d8kNikCyuWSGPD-qn-W4EZ9n8W30geG_uqO9tfiHRQvEZvFd8yULe3GGssdqnyvP0qhJFJWYsHWDyru4X1JlyTlayVXscvqbt74AGyZUJ02rOsi36vBD3Qt1CVPcNlXifWRbvorqjnCWM8pauf991-PvHoSVnlvfZ1Lmx2Vf6dP3ljLPHdZloB_oDDdvUQeU6QRL3o71-OHNLwc9E0NN8uZRbtEEbd58tyh6qjkl_VLTXgqlowY7-iNzGr1bsZVXs7QzWDPkpOplm0EsB1pBSS8J-_JiEDhj4bI9D9KfunQQ1Y8dx0P29PBV5XwrCxX0jx44zkxjGbN4TkAd2dH2oRwwD1ewOdnSy5rqedirPnNIYqdP7nKoz5fJNjP1vL1xVXL50BwkaFTkDOeSpef31wYKISHpukEsEgcMEwkbsBX4Y2x6NHDMwY2qGmPjEAJsSwyWGTV0T0-ZNnmklFmovisAUMHmGPpEFmNk6TdJ8ZBvJAi7VUXtAqhpxJg9rqpdwbhcV-k-VoQCZ8tkCluuhaYAAWJ5tPTFMQ9NPHqb_Rhsp5TsAzok6S-ScyXcDHkBVnlfzBSpB05SiR5JWFF1_uignI8XQF-SBIqtnSqQEYSXiFNIQGK2ZwEzCOAwdJ3DcwLXNxI0dIwjhInDdwDAjPwkNHLrWpM9smqboQR5iRfVLBKiseEIicGm4AhlhJuUFVC7yKo3RgjxSFFKaoYQ9AxGM3GJ5K50IvWX7JkIsL6VDmymemFggdZaPyhMmpTyYBGC_vFOvL5wB6Lxyw47DAkyyiCKgujy9uZnKN5bKSQ8UR_GxFQdWQI4EEyk97pj7p77fcVTxtP9m8Bte4HBcw7aPFsdGGHuhEfgRDZMIxw6NMHGJbSXYNVxK8JF6t6iUaoKKR-xYwtBwTcfwbctxJzH1XY9SI8Y4jGyfALYpZJR0IieW7ygf8WMlQ1jNS-iURyXKTScs2_LZHW35ExU3x0vyPP6jkmnjSEl8rMT9C98rdW0">