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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes at -O1 and above on x86_64-linux-gnu: Assertion `NotOp0 != nullptr && NotOp1 != nullptr && "isFreeToInvert desynced with getFreelyInverted"' failed
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </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 as it doesn't reproduce with 17.0.1. 

Compiler Explorer: https://godbolt.org/z/EecEod569

```
[516] % clangtk -v
clang version 18.0.0git (https://github.com/llvm/llvm-project.git 985c00819583a23b58d8c8cdeaefe6f9ed49e9cf)
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
Found CUDA installation: /usr/local/cuda, version 11.8
[517] % 
[517] % clangtk -O1 small.c
clang-18: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp:2262: llvm::Instruction* llvm::InstCombinerImpl::visitSub(llvm::BinaryOperator&): Assertion `NotOp0 != nullptr && NotOp1 != nullptr && "isFreeToInvert desynced with getFreelyInverted"' 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-18 -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 -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20231213-clangtk-m64-O3-Weverything-pipe-fPIC-build-073208/delta -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20231213-clangtk-m64-O3-Weverything-pipe-fPIC-build-073208/delta -resource-dir /local/home/suz/suz-local/software/local/clang-trunk/lib/clang/18 -I /usr/local/include -I /local/suz-local/software/local/include -internal-isystem /local/home/suz/suz-local/software/local/clang-trunk/lib/clang/18/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 -O1 -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-774606.o -x c small.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x0000560e7b2a6e70 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x3ddce70)
 #1 0x0000560e7b2a427f llvm::sys::RunSignalHandlers() (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x3dda27f)
 #2 0x0000560e7b2a43d5 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f918e5cc520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007f918e620a7c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x96a7c)
 #5 0x00007f918e5cc476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #6 0x00007f918e5b27f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #7 0x00007f918e5b271b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #8 0x00007f918e5c3e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #9 0x0000560e7ae3445b llvm::InstCombinerImpl::visitSub(llvm::BinaryOperator&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x396a45b)
#10 0x0000560e7ae20995 llvm::InstCombinerImpl::run() (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x3956995)
#11 0x0000560e7ae21fdc combineInstructionsOverFunction(llvm::Function&, llvm::InstructionWorklist&, llvm::AAResults*, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::TargetTransformInfo&, llvm::DominatorTree&, llvm::OptimizationRemarkEmitter&, llvm::BlockFrequencyInfo*, llvm::ProfileSummaryInfo*, llvm::LoopInfo*, llvm::InstCombineOptions const&) InstructionCombining.cpp:0:0
#12 0x0000560e7ae23043 llvm::InstCombinePass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x3959043)
#13 0x0000560e7b4fbb26 llvm::detail::PassModel<llvm::Function, llvm::InstCombinePass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x4031b26)
#14 0x0000560e7898ad5a 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-18+0x14c0d5a)
#15 0x0000560e7a1bb0fc 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-18+0x2cf10fc)
#16 0x0000560e7896f786 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-18+0x14a5786)
#17 0x0000560e7a1b4bfd 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-18+0x2ceabfd)
#18 0x0000560e7c5b7916 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-18+0x50ed916)
#19 0x0000560e7a1bbebe 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-18+0x2cf1ebe)
#20 0x0000560e7c5b7966 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-18+0x50ed966)
#21 0x0000560e7a1b6c3d llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x2cecc3d)
#22 0x0000560e7c79a06f llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x52d006f)
#23 0x0000560e7c5b6ff6 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-18+0x50ecff6)
#24 0x0000560e7ac73ea1 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-18+0x37a9ea1)
#25 0x0000560e7b50cba7 (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>>&, clang::BackendConsumer*) BackendUtil.cpp:0:0
#26 0x0000560e7b5102b5 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>>, clang::BackendConsumer*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x40462b5)
#27 0x0000560e7bb04027 clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x463a027)
#28 0x0000560e7d57b499 clang::ParseAST(clang::Sema&, bool, bool) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x60b1499)
#29 0x0000560e7bd8c9e9 clang::FrontendAction::Execute() (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x48c29e9)
#30 0x0000560e7bd069c5 clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x483c9c5)
#31 0x0000560e7be57335 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x498d335)
#32 0x0000560e78593369 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x10c9369)
#33 0x0000560e7858b0f3 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#34 0x0000560e7858f578 clang_main(int, char**, llvm::ToolContext const&) (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x10c5578)
#35 0x0000560e784a20b3 main (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0xfd80b3)
#36 0x00007f918e5b3d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#37 0x00007f918e5b3e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#38 0x0000560e78589d35 _start (/local/home/suz/suz-local/software/local/clang-trunk/bin/clang-18+0x10bfd35)
clangtk: error: unable to execute command: Aborted
clangtk: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 18.0.0git (https://github.com/llvm/llvm-project.git 985c00819583a23b58d8c8cdeaefe6f9ed49e9cf)
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-c68dd5.c
clangtk: note: diagnostic msg: /tmp/small-c68dd5.sh
clangtk: note: diagnostic msg: 

********************
[518] % 
[518] % cat small.c
char a, b;
int c;
static int d;
int main() {
  while (a) {
    d = -3;
    int f = -1, h = a, i = b;
    unsigned g;
    g = a = -((3 ^ h) + (~(g | i) >> c));
    b = (-c ^ 407370955161) | ((b ^ h) ^ f);
 if (i > d)
      __builtin_unreachable();
  }
  return 0;
}
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzse11T27r296cxNxpnbCl-u-AiJKRlpvvAEPbpZUaWlhOd2pKPJFPoxfPZn5HsQBwChZ7S2f-926FgS0tL6_W3ZFuixoiNBDgNkrMgWZzQzm6VPv22BcmV3JjupFT8_vTCItq2QLVBVqESEEUaGEiLNGw0GCOURNQgYRFXYGSAM9fVasU7BuirsFsUZ5NoEk9QEC2CaNb_nqumFTVodH7X1kqDDsgMba1tTUBmAV4GeLlRvFS1nSi9CfDyW4CX58DOFU_SYp9TkEbDT3-bnCVxGiQLFOAEsZrKjf2Cwtu-19-jW9Be7jifRJNoIywKcH4wubDbrpww1QR4Wde3uz9hq9V_gNmJG1XkCYuiPC6SnFBMyiTnOcsZBwoVpFUBfFpAwaoADxLfUL0B61S9y9N1Og07-UWqrzKshezuwo3sBrqtBspRozjUjrpVRtz1XRfSWFrXwBfC28zJpRitA7w03bdwd63aqvvmbFYK2Q9cqk5yxKjkglML6MN8jkTPjFqh5MCsM9qxFKUzAmMBXg6iPoqIl3H8Djxxz3MFNTAL_Kcwmz-I1nS1FW4UmaFJQM6CadSk04MpXyLqdZ3_uZi9INVgfdZxGuD5Y6DFk3wvPLNdeB5rewjZyxiZhtb1hO3FbhjnL3jdqMp-pRqcCI667ETNDyJ3L569DW80laZSujEBXrromqumFBLGdzPOVy4f2jYgM4xT7KTwfMgsID4qdce8QfBhx8BCXzRt3bfeCiPsqisDnD-SnglJ9f1lC5papQOcurQhMzQzBrTjjII0-peyl22EAhwHZIFkV9et1cgTp8h3xs90BhgLs9QAN-pC3oK2iIO5lwx4j1IbsK63vu97gQcYBzhDFRU18Envg6tP57PVOTJd2QiLKCq7jUM7pa2Dx7dBSICXwpgOnN0RlRwJyeqOA7JbQExTs0UlZV-spgxcMLUeVhkYAxwZ1em-2Y2kxigmqAth3UlkmBatHUReWcq-IN41znN9UzQJouJKq42mDaJ60zUgrTmIq61qoA-v54PsId59aFrdyS8D5Oza4hyFjMUotFq0NTyLeyiERthQlf9BoZOVC41oiEIuDC1rCCsNgEJWA9UhNTYsoVIaQmcgkByFDRUyrEQNoaQN7BIHhY0GJ6QLn9DDKWoFQ2ErWFjDLdQI9zfChK0AFDaVpg2ErRLSuqK0kEoCCquG2m0IWkuFwqpqQ6akc4wNyEJJFFZShdoBhJCb0NGisGFqSAqlQ1oLasCgsOrkVyF5aJ1WJiALjELrq0LI2s6ZJ0ynKLSdBN-wAQnaScyh7DYb0K5LyE1AFhteorDy7SHz5bRXk7vCsPg-QjiDg7GOGV6W3cbFIY4wiXFMwgGFwiadhpck_Ay3oO_t1qnXihbC6upiHnp4CaOM4CgP8JJDbSkKK6ZuQdMN_KWk0tCnjBPk54R5D5--zVWcHIUXTyvBLqf7vu_o_mSQD0JJ61CYe2OheR_BvzfjMxq9QPrd4oyXk8nTX0don84Gd-6CPZ11ID3C5-XRb5_C1-awAq2VDmvhSkFcoLDayI6FQ80PyGI6wZPY50OtdMgF3UhlrGAOBijn2ogNChfr9Yf5fP1x9u_z9eLz7HqJ1_PlxXq2-iMgixiFys1um9Y51oFamGXTNEonCoV3iI1XCLHD9YDMQVUBOUct1QY0ohY5iFQVcvjYU2JHedla0YhvoPs2FGASoeguiqIoSSPISkxTyKK9am7uTX9xpYW0vrLc9OVpr45r-nWtjNVAG1963SrOBrhwi-x3qC8BPovuCOcMsuhhoe10iQ90meKsOqbLdSdXYiNp_ZFKXoM2Xs73FpfirBqJiw_FJTxBI8ECnA-W7JvNsByL_P8HRmRglFVFnEPCWIKjnTI-MY-kWS1KNjFqknrxpjjBY1tORzxTHNGModb6x5T1F1HXb5ugSGnGRhMkh0JPsxRtjNfzrcJPs3TEOx3zLnFWEURLt2h7E2ecZxUZcc6ecI7LN_OMyxHP_MASBIr0bTxJAcXYAsV-bFEg02lS_rxF-rtmSpHSafJoIZfX0VgbHBVF8l1tdCd_QV4XSVoUyUja-EDauOIMsV6-vccmc3kLetnJ4Rlqz-SPjR5Mjz50fVb6Sy2MfUIzm12D6WprAjw76DGma1o3eE7ZFp6M7N9VfBKlpvr-QlbqGYqH58ejNAvVCOlC5UbD0zmGCuRXiNfQUP3lvBHWLbwPKc9qxb4sNfy3A8kGcQ4UutLKFbhV1zQPEh-QfFKqPdqxFzOX3iYG-eX7EOB7lu6phNw8BV_nbXzgbRJNyfF5rqgx-6H5CofPJK3vjTB_UEk37ulkfmQQOf8VWZkU0ZSM4pyM6te0Kkuc7snOwVIx5KJT_Y_-3dYxDZ7zjLfYgcvBgL4F3lsGzI_Zy_3833TENCJxidORI6b7jsiLnPKE_gRHeNqX9P1R0__26L5H4ymLeEJHHk1GoBKXZVSxPdnnH1bz-Y3aiekcNeO0dfX5qBE-0W_3c1rXHzRtt33Taj5_k0meYzEC2xENTnfme5Fm1OsV-7Pl1EJfxd7f_JhVcVSxkfnTcUKlVZa_DdleY60XnPizEuSHnfY_euy5ZPwdhy_BAE2yfAzs2QEMTMuKvwKgX2Oj32Hz9wgbzICWFR-FTb4fNiwpsyL--fD1Nwy-37D7z8ufJAJexGPYLQ5XX1DC_hMu3AptV_P5NbRALfDnH-x-W_7lhReUsG95HD1BrvTnI9dx__1O_n9eCPrkT0fJj-OD5E8Z2V9z_aF4V8ONulLGXmoO2ov93SewftibrD4M-RWPoJgBY2S0iMCj91osK2iUVk_scCFrIUF_1rRtQT-Pg39t9RPMoyitRuqTAyRKq-ptSLRTef4ao_0s8Hk02nNw8Bf3RASsqsYJOXq7RVlGgMavWIces__f2XQkowXQeGS60WukMolYSTMnA5VK3jeqM0jSBkzrP-gWvcjnjbAzY6Ap6_uPULcwINp1J_df3l-JFmq_aSzv9xV4orN-d87s4f2gsbzv6aT4bwfr1o4NpOnXdftVCwvr3QfkvUEcKtrVds2hBgvfGTi8W0xfM-2NUvVlZ9vOLkUfJK-Z82DU_oRPbTBX0nQNaP_loUBD659W1Ee_I-B07Ks4wmWyz9b5ZWDSyzC2_OJxs8G53HjHHAr2ESgHvQKq2fbpN48R6Vxx-ADyO1T956DvEH2icnOM5NGsK6uF3FxDdQwshw83L8XY_qcDqzsjbuEaqrm0Vwdev62G8uTct_I7PYaV168P01eEzLt-RZimuBx9tsSjl01lGU0jnL0kZB9TfqOC_yLYb_v6U4qDyJytbuZKWrj7BQu6aUpohLORXqO3ITzJymlR7Ot1RbWB2epmLPUKGjpEaqlU_fj3XeVPozKeFsVI_tHTaMlzVsBI_qV21n1IiB4s7oB1Ft7_-_c0Z7iAkcAHW4p4lBYsGYNLfxLAb2yXDEYi79I6f17D94-inLCCjbLjYG8RJBkhY3juxX_U7XbYhDpW5Ynu75_qRc4JGSszWtvnSUFIWiDG4nVDxXjNM9Oa3jtoJnO2pXqH4LMdho3a8BzdKsHfX6c4YgVJx1FHxjrlZVQRtPPKPL7xybun2aqhdf1vYFYNe0aOKHi4_UGpeoCy0WYBrsUt6KNlnUwPxKqSLO_jZmdsv8OrN6W33Ox1k76veZMky0fmHS0l8ynFUUmQ0-A9Bal4HpWjTQdPtnYRXrxxrxsueBGNeB5u6iIwjdB67YatjaXarvcVfe0sMB3Pkh9EQsFJgnr-7-vMsuJ7-T_sqA7IDPntrO6ik7SsAVmFoE8YxFTTUMn9aYxS-cMRz47uj1hVA0jvhg7HKBDvPOPHjX2dARTe-jYAJPaAsvjHH9naM69Ubik5Q4-7iFFjNp7bEFL_w8_eabrhgMvs5mY2_4huPp6j5eWnT5efL_71AS0vPp2v0M2lbz778wO6Pr-6vL4JdsdKro4dUMmNg6dnD6k8EGhA_qAGcETtA8vXWWC8QZqlOefJ6NTUj3Ew27e74Wc5IzlL4vzIMbGHNkbtwfEwV6_8qbMyIGd9m5AWsYc7Y6kT2DXyEclQenwdyYZ2hL5uRQ3-_cBBB0IcBWSBQvLAxTU6TlXfETsxtv7aSyT8ZTki76Q_gMrRZtS86Uf1fLxQOUFBco62fZk7cxL9vwDnGxRkcyR8q3-KQn7XBi5G7ErPKMB5yDyXaZSRLCqSJE7jXq15D7d5uTdLco6qESdROSqnxjl6fDGK_L_1uuxEbYVcd1IDZVuHnr0590QJssXuUoPttETRQ-9D3-FZVv_7hJ8SXpCCnsBpnEV4WiQkwyfb07zMSyAlLkuWJwmJSYZpRQkUjEwJpNmJON2dnIkLjJNoggsa4wgyd0MzjoNpBA0V9cTh5ETpzYk_kXaaJSQtTmpaQm38AWGMh-MiOEgWJ_rU46o_nTONamGseeRgha3htEdtf4oNDKLWH5nwKFCqW0BKoic1869y1O-k0_Xpjx_l87b7_wEAAP__uoDjQA">