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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes at -Os and above with -mllvm -enable-constraint-elimination: Assertion `isa<BranchInst>(BB.getTerminator())' failed 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          zhendongsu
      </td>
    </tr>
</table>

<pre>
    ```
[534] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git e4ab2024a65a2233d258fc3377bd6c84376376aa)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
[535] % 
[535] % clangtk -Os small.c
[536] % 
[536] % clangtk -Os -mllvm -enable-constraint-elimination small.c
clang-15: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:422: eliminateConstraints(llvm::Function&, llvm::DominatorTree&)::<lambda(llvm::BasicBlock*)>: Assertion `isa<BranchInst>(BB.getTerminator())' 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/suz-local/software/local/clang-trunk/bin/clang-15 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -disable-free -clear-ast-before-backend -main-file-name small.c -mrelocation-model static -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -mllvm -treat-scalable-fixed-error-as-warning -debugger-tuning=gdb -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20220308-clangtk-m64-Os-mllvm-enable-constraint-elimination-build-164453/delta -resource-dir /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0 -I /usr/local/include/csmith -I /local/suz-local/software/local/include -internal-isystem /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../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/20220308-clangtk-m64-Os-mllvm-enable-constraint-elimination-build-164453/delta -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -mllvm -enable-constraint-elimination -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-fadad5.o -x c small.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x000055ed2e794e3f PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x000055ed2e7925fd SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f3975748980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
 #3 0x00007f39743f9e87 raise /build/glibc-uZu3wS/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007f39743fb7f1 abort /build/glibc-uZu3wS/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00007f39743eb3fa __assert_fail_base /build/glibc-uZu3wS/glibc-2.27/assert/assert.c:89:0
 #6 0x00007f39743eb472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
 #7 0x000055ed2e4310b2 (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x37620b2)
 #8 0x000055ed2e435674 eliminateConstraints(llvm::Function&, llvm::DominatorTree&) ConstraintElimination.cpp:0:0
 #9 0x000055ed2e43765c llvm::ConstraintEliminationPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x376865c)
#10 0x000055ed2f9bf181 llvm::detail::PassModel<llvm::Function, llvm::ConstraintEliminationPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4cf0181)
#11 0x000055ed2def969c llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x322a69c)
#12 0x000055ed2c390a01 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/suz-local/software/local/clang-trunk/bin/clang-15+0x16c1a01)
#13 0x000055ed2d5e837b llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x291937b)
#14 0x000055ed2c391731 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/suz-local/software/local/clang-trunk/bin/clang-15+0x16c2731)
#15 0x000055ed2d5e1093 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/suz-local/software/local/clang-trunk/bin/clang-15+0x2912093)
#16 0x000055ed2e01cd21 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/suz-local/software/local/clang-trunk/bin/clang-15+0x334dd21)
#17 0x000055ed2d5e4570 llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x2915570)
#18 0x000055ed2e01cce1 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/suz-local/software/local/clang-trunk/bin/clang-15+0x334dce1)
#19 0x000055ed2d5e2b1f llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x2913b1f)
#20 0x000055ed2e01cd61 llvm::detail::PassModel<llvm::Module, llvm::ModuleToPostOrderCGSCCPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x334dd61)
#21 0x000055ed2def7874 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3228874)
#22 0x000055ed2e02160e llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x335260e)
#23 0x000055ed2f860fa1 llvm::detail::PassModel<llvm::Module, llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4b91fa1)
#24 0x000055ed2def7874 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3228874)
#25 0x000055ed2ead1ba0 (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> >&) (.constprop.836) BackendUtil.cpp:0:0
#26 0x000055ed2ead4b72 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3e05b72)
#27 0x000055ed2f7e26cb clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4b136cb)
#28 0x000055ed306f64a9 clang::ParseAST(clang::Sema&, bool, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x5a274a9)
#29 0x000055ed2f7e11c8 clang::CodeGenAction::ExecuteAction() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4b121c8)
#30 0x000055ed2f177fe1 clang::FrontendAction::Execute() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x44a8fe1)
#31 0x000055ed2f1125da clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x44435da)
#32 0x000055ed2f245ed3 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4576ed3)
#33 0x000055ed2c0ce301 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x13ff301)
#34 0x000055ed2c0ca199 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) driver.cpp:0:0
#35 0x000055ed2c012979 main (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x1343979)
#36 0x00007f39743dcc87 __libc_start_main /build/glibc-uZu3wS/glibc-2.27/csu/../csu/libc-start.c:344:0
#37 0x000055ed2c0c9d0a _start (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x13fad0a)
clang-15: error: unable to execute command: Aborted
clang-15: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 15.0.0 (https://github.com/llvm/llvm-project.git e4ab2024a65a2233d258fc3377bd6c84376376aa)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clang-15: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-15: note: diagnostic msg: /tmp/small-8c532d.c
clang-15: note: diagnostic msg: /tmp/small-8c532d.sh
clang-15: note: diagnostic msg: 

********************
[537] % 
[537] % cat small.c
volatile int a;
unsigned b;
int main() {
  int *d;
  a = 0;
  if (a)
    (*d)++;
  if (!b)
    goto L;
  b > 1 || a;
  while (a) {
  L:
    ;
  }
  return 0;
}
```

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztW1lv27gW_jXOCyFDovaHPDhO0gbI3ASxOwPcF4OSKFtTbZeSsv36ew4pO6LjJE7rAJ1pCjeWKfIs31lISodRlTwcjzyz_5inI3Myck9c2xm5p2REXRLnrFy234lxq-7K3-SWiyarSmK5Y3NsQsdg1bZ1M7InI3oOn2XWrrpoHFcF_Mjz2_WXUYvqbx63Y-hAuMMialKHeS6j1LYT6gZpbNu-HyVeHDi278GHsRENFe85E0veAhNyH3gLzzG68ntZ3ZVGnpXdvbEsu77fSnCWkKJKeI6966rJ7tWti7JpWZ7z5DQTeAvlqmKWw3fTPRrr66pOu8dHuIiyUg08r7oyITErkyxhLSdfplOSKWKsBSh6Yl0jkGQWIQhxDH8zL_AGAtLz4CcJ9roPSXofQHIMpj08Wf8DSH6MpL2ZZjwHf-XJoUScboQrurzNcCAQGo_sk5FjFp7zWi-b9t3g4pVu95t-9-uOGy1eYyoD310H_q62TTK4akhTABLjeNDN2zHU2zXUKDAXEIOXLMq5EVcAq2BZ2Ro8z4qslPjqDORww3JfidmmSts7Jjhcyt5Rl-XJVt4ZZCNpsblgZZNWomjgxwzoMLTmdCPQ2ZM847iugbtDKcqwFpQ_9QUSgSQOSdCenHdlLN2EeiM6JU83Tis5sBJzwbm8G6obI3uasyJKmEbnhDVZfAI6fh_Riex7hvwnTcOFhAnydtYwGHwCusQrTHDYhwYnJ2PIlnMuen7QhOPx45OUZZAExwrc68uzyeyMNF1UQFpmJOqWRPC6Ei1pK_K-zI4Zr2k6joAScE-ImTjvEk7aFSexYM2KRCz-DpDFHIGpgZGoYg76JKSpOqGacSRrmirOGLqt6MAfYpHVbS_yrAUiJOkKtIlqMuFWeC2qpWAFgZmiKzgaZS-HWTcpN2uB3fc--a_bLJcYcWwRuJnVOX9xBgKvBhCNKvqbGEYheM7uDfgL9NFa4PsJWAu9PgXzA8mcM2GwpjUiDn7IDQSHg_JGAT5lpGAlo2QFX0cDkTR7aoac4QjkpDbDOylozo26AmfkMLudllUJLNKCtSuDC1FW8COtMd4QfnCTU_AfIy0rQ2DizEBN7AuUVEh2MbiNwfKMNRwkT7vyLisTo0X5AdhTCmjIKdmI6w4RMTwHmrqSy4YlL7mQgqlwb2FWbo0Go0wCkN3zBOVCHo0BlihBAgCIg_8tuUBC0AB8lkkE3OMKVh1sifmiqDOVhAFNVPRtA6NReNMiPbBrt0T3hLUHNW0zMPrcZEAmhPSkxH09ORkyuRiW5ziuDaTADC0jYGjlwSjWD3udykyyDb77FZZxMZhs-mF9ZGHnBtRb9Z32ZLqOS0N6S8lyI2sempYXBxX8LUY7NXq16z4zLT0fj5__2dH9OUN-jxfxc8ZPaG_TeX30-1moOTKVcfALO3uqQhf7tcQKoQGwiI1-awCCOmM6tmTg5tAvydiyrECqGJS75ZhaskcO4le11tDk9Z4LBCNlSQLMIGecLhawPlt8nfx5tjj9a3JzThfT84vFZPYHyAEyVAhyC5MF4ISJFIeyxB1DRrwnsb7UsHAegfmUVylMpKRmAqZawmC_Amm5SgnmZNWTYs-rugWRHiHhyjZgZJvEvDfhn-vyhHI_dLidkmsB8stpa45z3yxbgi98hXku5zg131ZZomZ4om41_YLDlP83tK0t2tRNE7JNDDi9SYj2hPzUDn3Xd4IwMMliASkMDMEXMPfLBUMfcDtiB27UrdxpjZsKg-7EvLcoUNns15CNPWTj2GnIA5-ALRtOpHOqNdoSiMVG99_OvpttftIx9dFgUot1EEPMJLxGj4bZ4V413EppQDL4lqTBlPbEtXSFnS1JIj-1CIsqqel-krSJQkOOkkyCLSauzoRHdsoAVSaXawtcdS0itr_uatzmQrEMdZbeNkvHp3vYLkaredJqtglDNKv5mpc5tmVGG5o_v5JSTH2PAlWNbbDF1vV857BLbfLa2n4rQsItaXzPjQfUd1K6BkOp26D5flJOwLsfmqz5g5WwuhG4DXg-CFf0Uv6DGyEArTZGwASjZa80jFIrsAbiJrwFL1bXqO0f6inLLqE1NV-GS-t2DQmIi1ueKFh480NgEbVN-qeYwYlTE1DWzKAl-oSnoRcOvU9C_5qovwFsNqUMUNFgo0PYYjs0mXkI7_04uD-93_JiC6ykmdHWvN_lge1Hw2TyZTadzqu1ZGidScJqfMqxU-9L9vgwhTXeF8HqlWoCAu9C4SUSw_F6H6DeI_ZqHz1LomLfanymd8ObLm8_BHEaWiEAqiHubAWO5dvvC5x9AHrFboeKgx-2008a6aWQ-3S97WCn4Fma67lbwW6Zob1H7t0Hlk9P-cd6CiQpCo6geYqnLclNK07o4ZPUv9DfPpPrbxEytu0kEBFayPhbydVxfXO4R-a3mWhBuBtec3zX8vIO9hPs7fzkApYa2MF2for54fPTbpN9hvhv4XUY4uBUmteFWyFOIysdCAZe1uV8Xl1XTXslEi6kpG_umdSwdwHdD_mgfSIEnA2aDVWn5rMFgfe-gFtrOX0XYIcKtg1gL2_ZfzkzyEnG0zyQbj-s8gPf2WNFtQv8fx1clAaAhgYX1b2WWp7Jn_nfRZlnJRd_QbKpuXh5Wv71NLZdCgppGmvPc9LAM1N2qDjdgdPvHJ5OFFoAroa-8xme7wlP7XkEZ4kVMVnjysqqfCiqriFYktPUsoSpr946K7IWi7KKKH_4yvOa97PqTVf2b4jVC4-s5uiuQE0VSshOJ6roZ7J5lNy0ibrTldn_Or6oWx0Twe4W9Z3IWr5osKym0AaBhRmsPxYQQ7zlbwxcP4b29uE7r6r8qmvrrj3PlGfsw3Rr1ICjtOZYvt-vRVWPA1s29nh8a7P8-as5tJC3ZSEn8ikZAIrW6Ikoxjrep0-1CGflUppDqj_o8hWocjHjTMQrNCDWbkk5n3edQrL6wss3eqni5Tc6XcLVri5PWM5akZXLG57uSoWygEAj-Ct41sFDlptuNHhhjQ6h7XJTn1MvjnbggC8hu2Idm6pgQtaAqgqbb2W25SmT2RzGtPz-Y1bzTmTZIKmmynAPaZte6jksHKpyjQUpIJcu6IwXrHeWCMLt6fvQIruM-iCRJnK4hb5lxcGOCOm9UEXoPY-7lq8dM_gQbCnIMRRUr8xJLd9PYX8-EPRcoLE38TKU9GNkdFiQ6rs5vcIntSzqJkwHEyvCuJBHGUqYgnbi-bJSH-LHjmO7CdP00Ba5KXXQnbUcrSR-Uue2L2vVpX-mriqSOrD8ru-BeJr82pI1NmNum-ArsbXAylxtUTMRgj1gSran8YqJdeae9I9F9DZoGNR6Hfjlip2mtv4m1Xa21GBWGJI19lNrLpPEQJkZ1sL9KcvxLoo636mT9KBEZLdc7JyfbVdnatHQDwnidnCFHRtIawpv1UMlcRz4ZLHAkieYmZhoF70ge1VgxQ3WS8nSM3Upb0o6shrLdhxddX8L7zAxGVGMD29tBsQ3yg_PSMjaTLzoZAkl1vFzZXOwZFHAxIc3J1jHxpNXhqvjXmmfQdZj--MDJOkkZVWhh9p1DSfGrWzjnGSDkB7K-BseHxuCW1a4dJqQp4pYUjRLSa73op_4KArDYx2T-Xwy_UrmX8_I-dXl5dVfF__5Qs4vLs9mZH4lm0--fSE3Z9dXN3O0gBq761hG0GDcv3g0Y9NBcCKPKMBd1m5I7gmBXqcbxK5Nk12ngN5Loln9gCUOZQ88CuXvOB61aQO09Crk2wqXpDkGUUsYntSSzV2JwQbARpsm7NBPSXJG8ft2IoeCDMmmKyEMluSnxBy0ZKnc2j7VYcI_SQrG4VmhE_xsdx9RK9JGLCuI-ctBvwjX_sQCcabwGWhAyN0K9eqZDuW93PiKFOJpxMg_XV8K3naiHGiwubd9jFX9dcx0xVYlOUqO7SS0Q3bUZm3Oj1UikgeSeIPV3Vh0L107qm45uZPnKfYpQx8d7DQWOepEfvzjx61chwbW0erYDlLXCVPfjDzH8gKeWqYFrhbGNKGO50RHOYt43hyDB44oLfkdkSTgGrzxKDteHxWwAte3_HEcpw73TDuIYJft2glACnsN2JmjHONKLI_EsRRJnjRwzDxr2ubpJqQK9Fgu2QF91rWrShw_rmA-qcpl0x1J7sdS-v8DjD-wBg">