<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/75938>75938</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            llvm crash: Assertion `L->isRecursivelyLCSSAForm(LAR.DT, LI) && "Loops must remain in LCSSA form!"' 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>
    llvm -O2/3 crashes on the following test case. It should be in the `LoopIodiomRecognizePass`.

Bisected to 9d2903c8e50944224eb294afe7bef13138e1ea7b, which was committed by @markoshorro 

Compiler explorer: https://godbolt.org/z/adPo1xxj9

```console
% cat reduced.ll
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@c = external global i16
@e = external global i8
@d = internal global [2 x i64] [i64 2738442171664406024, i64 2738442171664406024]
@f = external global i8
@g = external global i64

define void @h(i32 %.pre.pre, i64 %idxprom) {
entry:
  br label %for.cond

for.cond: ; preds = %for.cond1, %entry
  br label %for.cond1

for.cond1:                                        ; preds = %if.then, %for.cond
  %0 = phi i16 [ 0, %for.cond ], [ %inc, %if.then ]
  store i16 %0, ptr @c, align 2
  %conv = sext i16 %0 to i32
 %tobool.not = icmp eq i32 %conv, %.pre.pre
  br i1 %tobool.not, label %for.cond, label %for.body

for.body: ; preds = %for.cond1
  %arrayidx = getelementptr [2 x i64], ptr @d, i64 0, i64 %idxprom
  %1 = load i64, ptr %arrayidx, align 8
  %2 = load i8, ptr @f, align 1
  %conv2 = sext i8 %2 to i64
  %add3 = add i64 %conv2, 2
  store i64 %add3, ptr @g, align 8
  %cmp.not = icmp slt i64 %1, %add3
  br i1 %cmp.not, label %if.else, label %land.lhs.true

land.lhs.true:                                    ; preds = %for.body
  %3 = load i8, ptr @e, align 1
  %dec = add i8 %3, 1
  store i8 %dec, ptr @e, align 1
  %tobool7.not = icmp eq i8 %3, 0
  br i1 %tobool7.not, label %if.else, label %if.then

if.then: ; preds = %land.lhs.true
  store i8 0, ptr @f, align 1
  %inc = add i16 %0, 1
  br label %for.cond1

if.else:                                          ; preds = %land.lhs.true, %for.body
  ret void
}
%
% opt -disable-output -O2 reduced.ll
opt: /tmp/tmp5ru6ncoi/tmpeo0uglbj/llvm/lib/Transforms/Scalar/LoopPassManager.cpp:282: llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::FunctionAnalysisManager&)::<lambda(llvm::StringRef, llvm::Any)>: Assertion `L->isRecursivelyLCSSAForm(LAR.DT, LI) && "Loops must remain in LCSSA form!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/opt -disable-output -O2 reduced.ll
 #0 0x00007f832c4600bf llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x92d0bf)
 #1 0x00007f832c45d5e4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f832b748090 (/lib/x86_64-linux-gnu/libc.so.6+0x43090)
 #3 0x00007f832b74800b raise /build/glibc-wuryBv/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #4 0x00007f832b727859 abort /build/glibc-wuryBv/glibc-2.31/stdlib/abort.c:81:7
 #5 0x00007f832b727729 get_sysdep_segment_value /build/glibc-wuryBv/glibc-2.31/intl/loadmsgcat.c:509:8
 #6 0x00007f832b727729 _nl_load_domain /build/glibc-wuryBv/glibc-2.31/intl/loadmsgcat.c:970:34
 #7 0x00007f832b738fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x00007f832da9691e void llvm::detail::UniqueFunctionBase<void, llvm::StringRef, llvm::Any>::CallImpl<llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&)::'lambda'(llvm::StringRef, llvm::Any)>(void*, llvm::StringRef, llvm::Any&) LoopPassManager.cpp:0:0
 #9 0x00007f832da97082 bool llvm::PassInstrumentation::runBeforePass<llvm::Loop, llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>>(llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&> const&, llvm::Loop const&) const (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x1f64082)
#10 0x00007f832da97671 std::optional<llvm::PreservedAnalyses> llvm::PassManager<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>::runSinglePass<llvm::Loop, std::unique_ptr<llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>, std::default_delete<llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>>>>(llvm::Loop&, std::unique_ptr<llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>, std::default_delete<llvm::detail::PassConcept<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>>>&, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&, llvm::PassInstrumentation&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x1f64671)
#11 0x00007f832da97da6 llvm::PassManager<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>::runWithoutLoopNestPasses(llvm::Loop&, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x1f64da6)
#12 0x00007f832da991bd llvm::PassManager<llvm::Loop, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&>::run(llvm::Loop&, llvm::AnalysisManager<llvm::Loop, llvm::LoopStandardAnalysisResults&>&, llvm::LoopStandardAnalysisResults&, llvm::LPMUpdater&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x1f661bd)
#13 0x00007f832da9a412 llvm::FunctionToLoopPassAdaptor::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x1f67412)
#14 0x00007f832f3695c6 llvm::detail::PassModel<llvm::Function, llvm::FunctionToLoopPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x38365c6)
#15 0x00007f832c67498d llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0xb4198d)
#16 0x00007f832f3625e6 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-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x382f5e6)
#17 0x00007f832e143ab1 llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x2610ab1)
#18 0x00007f832f369576 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x3836576)
#19 0x00007f832e13c41f 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x260941f)
#20 0x00007f832dd927f6 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x225f7f6)
#21 0x00007f832e1400dd llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x260d0dd)
#22 0x00007f832dd927a6 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&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x225f7a6)
#23 0x00007f832e13e1ad llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x260b1ad)
#24 0x00007f832dd97d67 llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x2264d67)
#25 0x00007f832f368b76 llvm::detail::PassModel<llvm::Module, llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0x3835b76)
#26 0x00007f832c67119d llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/../lib/libLLVM-18git.so+0xb3e19d)
#27 0x000056309e9ca315 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/opt+0x26315)
#28 0x000056309e9bde6a main (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/opt+0x19e6a)
#29 0x00007f832b729083 __libc_start_main /build/glibc-wuryBv/glibc-2.31/csu/../csu/libc-start.c:342:3
#30 0x000056309e9bea3e _start (/zdata/shaoli/compilers/ccbuilder-compilers/clang-9d2903c8e50944224eb294afe7bef13138e1ea7b/bin/opt+0x1aa3e)
[1] 1660780 abort       -disable-output -O2 reduced.ll
%
```

The above IR is reduced from the following C code:
```C
int a;
char b, e, f;
short c;
static long d[] = {2738442171664406024, 2738442171664406024};
long g;
void h() {
  for (;;) {
    c = 0;
    for (; a + c; c++) {
      char *i = &e;
      if (d[b] >= (g = 2 + f) && (*i)--)
        f = 0;
      else
        for (;;)
 ;
    }
  }
}
int main() {}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsPF1T4zi2v8a8qJKyJH8-8BBCZy916TtUw-4-UrIlJ5pRJK8k09C__pZkJ7GSQIceZqaXgaLTtnR0dL7PkfEJMYYvJWPnUXoRpZdnpLMrpc_NiqjJqiMTwc8qRZ_OhXhYg8kvKEILDGpNzIoZoCSwKwYaJYT6yuUSWGYsqIlhU3BlgVmpTlBQMcB7wCiLr5VqrxTlav2F1Wop-Td2Q4yJsngaxZdRPOs_L7hhtWUUWAVKisoY1wVL4zJJEEpYhcqENCyvWAMxxAWDjORVhObg64rXK_CVGFCr9Zpbh6J6AlESr4n-TZmV0lqB8U5ztW65YBqwx1YozXSEZ2BlbWsiPIvQIkKLpaKVEnaq9DJCi28RWhB6o-Dj46_lGFOUxf1vraRRgg2jKAU1sUAz2tWMToXoxy3RS2YBJZYI8qQ6CyJ8CSKE2GQd4RmbtCiPIzzDyH-4Wxjeuqss8R8Tvr2AqIjwDKJi0hTxcCX9ULZZniWTWweGUECK1bwVbEPGY5HdZ8mkk79J9VVOBJfd42Qpu-2q4TOJa7-EPVqmJRFgKVRFBOAw20Kw4xDFFoB6AC5DgCi9QOARON7SS3fHswSgHBdJgmAOsyxJ4ixGiVP8c1Pp5XaT5ntULI8DZMmYYcoaLhl4UJw6s1pFqOAYgQil01Yz929DToRSTh9brdYRKkGUX_QImLT6ydmWvwOg0kCQigkH3yg9rZWk4w23Y3gGInwBWs2oGbS0XQDdphFKe-QvYIbHUDvDAif-HJDAm6ldMTkQEHIA3FDsIdsVdzbh1AjiPWDg1OSG0guPUdYDwIAbbNUIgLFKsx4TSj2i1mqnCb-GCL6UAI12r5V88AQY9mi361xc4XgDF6HUqkopMZWq90Ner1vA_gMG1TokA0lbLe-EzGGIwUEeqnR_0IXVfWX4sZf1vOOMaE2eOH30MEtmmWBrJq0Xx9hzRjKiG9uMjxjpDjP0KIUi1KPYrN9tuRN1MVqGRsuK0a7NDhzuaQaNVFP0OJxmNi7X80kp9mCE0g3Nfq1Di_bsop92S0YELI_TW6_bUOFG2A2GjUN5TPuqHhYGKuXNlAnDgjFBJJ2KlZla3bGxrsOJ05zvqE3sjMhzhJ_RADuuAcrqnWC9-L3U4J5MiwH2-wh7H8gP3WiHPH7GcfKTJLoJNiNZboaOuc0RBYy4ir9vo1yOJDSKOfDkGLvh4vQIe0TVIR-74DlWv2bWZ6Vh8_xyW3_sChHVWjCh3JBKsInqbNtZV9QdFCeqtV6eaGHXbf-Z6i6TteL9HVNxtxTVrxFauMrQ_cerCC3uNJGmUXptIrS4rYkgOkILV_S5Ku8zkWTJ9LRu2wjPUOGKEeDX41mEZ4tO1pYreac2C2aUtFbpflp3MkLFIXiEMm8jBxMzScST4ZttPVzZg0R4Lsi6oiTAeGs1l8svrAnxzeSTX_jJkTszhmmH3Vezkwh_4uYLqztt-AMTT9fz29vZQul1hIrr2Zfp5Z3DdX3lSwBHgLMh5PgzYN0ZVxeuCZeuQvZLQePXQldmoRw0hAtGh9L45vrT7PYTMF215hYQUHVLoFmrtHVBc69m5XbVVdNarUcqEg_rSavVr6y2EVpwYzrm9ASIpIDLWnSU-Trd1_egIvVvVpOaDdvfWlL_Bmi3brfVSzztDfZGq6Uma0D0snM5yAzW882VtxFauOOEcKZTD9W227auq44LyvQkGBVELien1_yLissILU61bBAhHIP4MY7jOG8KjOoki-OqGanbPJn-4kZzaT3Xd04Mgalo8vVeGasZWQ_2x6XtlVz8qYxPp1vnE7y6vv7X5wksltxOjYrQRfxYIhpXjbPfLf8w5D-lKUvALV9KIv6HSCqcqxQDO_2wGVw29v-2iNAYUZUnRVzGgwB6ioZDxOjw4CbqqVHTzFOX4LiMA-LwAc64Appww5xBecE583ZoJl87_XTxsL1FUwydzD3JG9GYJ0NZ6wTcSf7YDzx4OmTnbj3qaR3hWerKYLijJAkpQXmRloBUzt1OpcTSXg5-ld-kcJvku03S_U1yVLpi7r6n-96wpXOo-wciupMlwKV1_Ls6YG2WNem3TmMX_Ird3tmxve-luHcL76nygel3bVn2R9hkt2ce7omLhmavMxmMG5oFJlOMcVJSZiUcDmg7f6XMEi76639K_p-ObbLEBXHZee5TZxD2X8gGPhVEeDYnQlytW-HSyZunsf30dWwPR8k4raF8k9by12U2VPQCmJ0sA78tOJ7a9-JEuaegPC4QcEXfCKVDciWN1T6BkJ65QV4XrFG6f040FoLbO6RrrGUHPleyZq6WeXHVS4I-hHYjt5ZISjTdrPzCTCescTJxsnwFeAh78_mfLSW2r1WckX0KtPjO2AO1ksYeginVjqbK_vqnS6ywyZK4QNtI5BJrvG_oWQ6BsbRnTLXOqkkYLW40M0w_sEF6zDjBhG5xmuJ-WjVv3fiWy6V43o23cup8fL5vbcjEO7P-gGXKGtIJe0-ZYJa9a7a3v-PI1pOUfZjB38wMXlPz_BC9R3LLj5EcTB0rVvpc9TNmqSyHQZaC-1mKkuydppx_c7tSnXW4_o8Z61hj5rnI819hhj-niVGSBSaG9kyshBV9pyb2YU1vbU0ZrGhgTXjPmkgC0R_w3PhVB-6fUXB5AsPzSPAIq8FZmdbZC8flz4qy488yjj9gPxR4mCUPjjY_JO7nfO2d6hEXOEvrMJwGTwnrLE_K4pRwelx7H3I_KvcqgWURxp1sz31Qyt7Cff4wdX143xt4H2pSFnpf8MyawQSTCo4Ynv_jdj6_Uxvevpt_rsm3pzkR4h-atKt-6HY-f13V8AyKINMHMM9UDvswwaxnrK8W-nLiJ9UZymBMqvCMUxxkvvx1rnuKiF_Q_Fu54g9r-neq-dkC98N4_4B0n4cBpwwDDq4T2JxyejpBsB-29je2NZTFZQKbsa2h8E8WtER58_aB8h1a7EeA_3C605wOpU3eBAEewb2KMo7p-Dx3yR64trfz-RfWMmIZ7f9m9qGuPydG0pgG50CEDmIkefsYeVzpH2Hmw25PDzPhU3iE9-pIBsk4zHxWtBPsTt0oY3_RlGnP63fPr_2yV6lqWPLTnvpRFleQhE6f7Dl9TrP8QHhXUnDJ9L81aVumnw_T71FmKEtolgcyS_dO3UX1ylP3Rk7zUyT9VrFxJ-nnotU7VB8ucFqF506U7T1mhrA85THzMaV9yHv_8TJmsAwjzOa5YprhuGRlTTBMR9zqzj9RuuEtc6Z_yvucz8jtzjd4fib1yuOZHZu95pUm-ulKNsq_0XoApZT4xb9Xv-DiCJLfNf3ca6Zakyc3Grww52QiuiWXB_WJau29VWqIMP1-_8slfQnqX0zzhjO9gavczKv___PtTbV2SF0YpoFZFaFZVZRlBAzvcv81NMKSZSSgsdx79byMCwzu7wWv6ntjibb3r3n5vDbdxgP7Sz_p8fjX0HHiu6a32287QDYiYgQz0G_81wmJEMx2QkovYJReAphlcV7EQ99B_3NKn8uu7WvTlT5uSrtbMYfxgYGrL4CbzWrQaLXea-mfg1pRFuH9Jvf50N4mLSARHnqb6xXRwDfi-3TQbCfMypFf7-4tsbwGQskloP1XD_S9bvnFMw3ex4bzyy1Cj2m5vfVv_6-8Kket1wA0SnsF4wv3G84B0Pf6xVssbmy3AhAQoQvPBKgjdOF_9zAA4EUQoRkfevcyFqADgDcOn2O66rn-1AMWffs58ps0Qb9Y4fBFqJxMdn0Pw09zhGQAfMdhCLfH-Obl_PG6bc_g6HJ74RTtfHIk0y3MxibO6DmmJS7JGTuHeYzKMi_i4mx1zhBkDGYNzLKqzmAVwzLLaZViVMCSYHrGz1GMMESwhEmaJcW0TOIEwySBBUR1USZRErM14WLq4vhU6eWZb187z9MSF2e-BdP477BASLKvwE9GCEXp5Zn2X14xqbqliZJYcGPNDovlVrD-2y1819tf1uJ31mlx_uM9fF4O_x8AAP__RVtbOQ">