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

    <tr>
        <th>Summary</th>
        <td>
            [ClangSA] RangeConstraintManager: Assertion `find(State, MemberSym) == find(State, SimplifiedMemberSym)' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:static analyzer,
            crash
      </td>
    </tr>

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

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

<pre>
    Observed on most recent main branch as of earlier today, commit 4df36f168763af725ba5bc852a4321afd0f769c4.

Minimal Reproducer (`test.c`):
```
unsigned a, b;

void f(unsigned c)
{
    (void)(a <= (c != b || (c << a) != a) != a);
}
```

Command:
```
clang -cc1 -analyze -analyzer-checker=core -Wno-implicit-int test.c
```

Crash Output:
```
clang: /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2619: static clang::ento::ProgramStateRef {anonymous}::EquivalenceClass::simplify(clang::ento::SValBuilder&, clang::ento::RangeSet::Factory&, clang::ento::ProgramStateRef, {anonymous}::EquivalenceClass): Assertion `find(State, MemberSym) == find(State, SimplifiedMemberSym)' failed. 
PLEASE submit a bug report to https://bugs.llvm.org/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:                                                                         
0.      Program arguments: /llvm-project/build/bin/clang -cc1 -analyze -analyzer-checker=core test.c -Wno-implicit-int
1.      <eof> parser at end of file                                                 
2.      While analyzing stack:                                                      
        #0 Calling f                                                                
3.      test.c:5:12: Error evaluating statement                                     
4.      test.c:5:12: Error evaluating statement                                     
 #0 0x0000000005a7ee0f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /llvm-project/llvm/lib/Support/Unix/Signals.inc:569:22
 #1 0x0000000005a7eec6 PrintStackTraceSignalHandler(void*) /llvm-project/llvm/lib/Support/Unix/Signals.inc:636:1
 #2 0x0000000005a7ce47 llvm::sys::RunSignalHandlers() /llvm-project/llvm/lib/Support/Signals.cpp:104:20
 #3 0x0000000005a7e842 SignalHandler(int) /llvm-project/llvm/lib/Support/Unix/Signals.inc:407:1
 #4 0x00007fa1a63ae630 __restore_rt sigaction.c:0:0                                 
 #5 0x00007fa1a4ec2387 raise (/lib64/libc.so.6+0x36387)                             
 #6 0x00007fa1a4ec3a78 abort (/lib64/libc.so.6+0x37a78)                             
 #7 0x00007fa1a4ebb1a6 __assert_fail_base (/lib64/libc.so.6+0x2f1a6)                
 #8 0x00007fa1a4ebb252 (/lib64/libc.so.6+0x2f252)                                   
 #9 0x0000000008debe6f (anonymous namespace)::EquivalenceClass::simplify(clang::ento::SValBuilder&, clang::ento::RangeSet::Factory&, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, (anonymous namespace)::EquivalenceClass) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2619:7#10 0x0000000008de8d92 (anonymous namespace)::ConstraintAssignor::assignSymExprToConst(clang::ento::SymExpr const*, llvm::APSInt const&) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2139:75
#11 0x0000000008dfc1f4 (anonymous namespace)::ConstraintAssignorBase<(anonymous namespace)::ConstraintAssignor>::assignSymExprImpl(clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1972:5
#12 0x0000000008dfc593 (anonymous namespace)::ConstraintAssignorBase<(anonymous namespace)::ConstraintAssignor>::assignSymbolDataImpl(clang::ento::SymbolData const*, clang::ento::RangeSet) /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Symbols.def:46:1
#13 0x0000000008df7841 (anonymous namespace)::ConstraintAssignorBase<(anonymous namespace)::ConstraintAssignor>::assignSymbolRegionValueImpl(clang::ento::SymbolRegionValue const*, clang::ento::RangeSet) /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Symbols.def:51:3
#14 0x0000000008df440c (anonymous namespace)::ConstraintAssignorBase<(anonymous namespace)::ConstraintAssignor>::assignImpl(clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/Symbols.def:51:3
#15 0x0000000008df1707 (anonymous namespace)::ConstraintAssignorBase<(anonymous namespace)::ConstraintAssignor>::assign(clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1926:3
#16 0x0000000008de7fa4 (anonymous namespace)::ConstraintAssignor::assign(clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2049:12
#17 0x0000000008df3452 llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const> (anonymous namespace)::ConstraintAssignor::assign<clang::ento::SymExpr const*>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::SValBuilder&, clang::ento::RangeSet::Factory&, clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2003:24#18 0x0000000008dedb1b (anonymous namespace)::RangeConstraintManager::setRange(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::SymExpr const*, clang::ento::RangeSet) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2941:75
#19 0x0000000008dedc60 (anonymous namespace)::RangeConstraintManager::assumeSymNE(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::SymExpr const*, llvm::APSInt const&, llvm::APSInt const&) /llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2969:31
#20 0x0000000008e13d27 clang::ento::RangedConstraintManager::assumeSymRel(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::SymExpr const*, clang::BinaryOperatorKind, llvm::APSInt const&) /llvm-project/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:201:60
#21 0x0000000008e13082 clang::ento::RangedConstraintManager::assumeSym(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::SymExpr const*, bool) /llvm-project/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:41:66
#22 0x0000000008e3cc0e clang::ento::SimpleConstraintManager::assumeAux(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::NonLoc, bool) /llvm-project/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp:73:44
#23 0x0000000008e3c912 clang::ento::SimpleConstraintManager::assume(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::NonLoc, bool) /llvm-project/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp:46:44
#24 0x0000000008e3c88c clang::ento::SimpleConstraintManager::assumeInternal(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::DefinedSVal, bool) /llvm-project/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp:41:57
#25 0x0000000008d271cd clang::ento::ConstraintManager::assumeDual(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::DefinedSVal)::'lambda'(bool)::operator()(bool) const /llvm-project/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp:95:50
#26 0x0000000008d275c7 std::pair<llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>> clang::ento::ConstraintManager::assumeDualImpl<clang::ento::ConstraintManager::assumeDual(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::DefinedSVal)::'lambda'(bool)>(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>&, clang::ento::ConstraintManager::assumeDual(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::DefinedSVal)::'lambda'(bool)&) /llvm-project/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp:67:7#27 0x0000000008d2723c clang::ento::ConstraintManager::assumeDual(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::ento::DefinedSVal) /llvm-project/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp:98:1#28 0x0000000008483f5b clang::ento::ProgramState::assume(clang::ento::DefinedOrUnknownSVal) const /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:720:52
#29 0x0000000008d65d8d clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(clang::ento::ExplodedNodeSet&, clang::ento::ExplodedNodeSet&, clang::Expr const*) /llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:3731:15
#30 0x0000000008d5d516 clang::ento::ExprEngine::Visit(clang::Stmt const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&) /llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:2081:25
#31 0x0000000008d5868a clang::ento::ExprEngine::ProcessStmt(clang::Stmt const*, clang::ento::ExplodedNode*) /llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1125:15
#32 0x0000000008d57a0c clang::ento::ExprEngine::processCFGElement(clang::CFGElement, clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) /llvm-project/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:970:18
#33 0x0000000008d2a19c clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int, clang::ento::ExplodedNode*) /llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:499:1
#34 0x0000000008d28e91 clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*, clang::ProgramPoint, clang::ento::WorkListUnit const&) /llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:221:7
#35 0x0000000008d2869e clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>)::'lambda'(unsigned int)::operator()(unsigned int) const /llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:159:23
#36 0x0000000008d28a2d clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) /llvm-project/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp:163:41
#37 0x000000000841d973 clang::ento::ExprEngine::ExecuteWorkList(clang::LocationContext const*, unsigned int) /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h:189:34
#38 0x00000000083b3dd1 (anonymous namespace)::AnalysisConsumer::RunPathSensitiveChecks(clang::Decl*, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:730:22
#39 0x00000000083b3b78 (anonymous namespace)::AnalysisConsumer::HandleCode(clang::Decl*, unsigned int, clang::ento::ExprEngine::InliningModes, llvm::DenseSet<clang::Decl const*, llvm::DenseMapInfo<clang::Decl const*, void>>*) /llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:699:5
#40 0x00000000083b2caa (anonymous namespace)::AnalysisConsumer::HandleDeclsCallGraph(unsigned int) /llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:491:31#41 0x00000000083b3196 (anonymous namespace)::AnalysisConsumer::runAnalysisOnTranslationUnit(clang::ASTContext&) /llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:561:48
#42 0x00000000083b3538 (anonymous namespace)::AnalysisConsumer::HandleTranslationUnit(clang::ASTContext&) /llvm-project/clang/lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:616:74#43 0x0000000008ef8eff clang::ParseAST(clang::Sema&, bool, bool) /llvm-project/clang/lib/Parse/ParseAST.cpp:203:14
#44 0x0000000006a1441d clang::ASTFrontendAction::ExecuteAction() /llvm-project/clang/lib/Frontend/FrontendAction.cpp:1162:11
#45 0x0000000006a13d4d clang::FrontendAction::Execute() /llvm-project/clang/lib/Frontend/FrontendAction.cpp:1059:38
#46 0x000000000695039e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) /llvm-project/clang/lib/Frontend/CompilerInstance.cpp:1044:42
#47 0x0000000006b9b67d clang::ExecuteCompilerInvocation(clang::CompilerInstance*) /llvm-project/clang/lib/FrontendTool/ExecuteCompilerInvocation.cpp:266:38
#48 0x00000000026ba564 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) /llvm-project/clang/tools/driver/cc1_main.cpp:250:40
#49 0x00000000026adb79 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) /llvm-project/clang/tools/driver/driver.cpp:316:20
#50 0x00000000026ae1e8 clang_main(int, char**) /llvm-project/clang/tools/driver/driver.cpp:388:26
#51 0x00000000026d6d5e main /llvm-project/build/tools/clang/tools/driver/clang-driver.cpp:11:63
#52 0x00007fa1a4eae555 __libc_start_main (/lib64/libc.so.6+0x22555)              
#53 0x00000000026ac4e9 _start (/llvm-project/build/bin/clang+0x26ac4e9)          
Aborted (core dumped)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlW1tT4zoS_jXhRUXKlu8PPIQAZ6mdGSgyl0dKlmXixbGzss2B_fXbLdtxLOIkQICZXSrkYsvq7q9bfdElzKOnk6uwEPJBRCTPyCIvSiIFF1lJFizJSChZxueEFSSPiWAyTYQkZR6xpxGdEp4vFklJ7Ci23Nh0fc-1WOxRJ2ROyH2HMtuiJosjI_bcgNvjkXE2Mib1-9ckSxYsJTdiKfOo4tDviPoj1yhFUY45fBnRYGQ1rfFn_VI_q6xI7jLgmSEb4cg6Xe_6IU8iEkNvq2Yc-6pbeE1TAn_QBNviTeozMrKmI-sMr3J4M_F7SEbeFF7NRWwwRaJB20D_3rHinW1kvX6fAnIsi4bk4ynL7sgx5yY5ZhlLn_4jVl_kMZ8Lfi8kkOS5hBu_svw4WSzThCflcQKqayDcQl6yYk6uqnJZlVt5gJsg3UWaPiyOQU__EryEn_UtuJyE8D4rWZnwScMdXJgCV_BxA43ENM-KUoIplV-B_zshx3y5hF6pa6J2SaEeJi0xeIHt5fW3a5nfSbbA_sWNiEEVpyzLs6dFXhUIr2p0_u8qeWCpyLiYpqwo6quFwiN-QrVt6nr2k6WnVZJGyLCrbHlTMyXCTJT1rwvGy1w-bXtAYxnb7ce1snUyKWAslgmMRFBDnICBUF_1hR19FYtQyNnTQpmcdYYmp7eZ1XInIlpvPaIeiVmSimhMauVefzmfzM5JUYU4gBkJqzsY98tcgvHkZF6WSwUkvYAX3CvGaAHjXKLWCRguSTKeVpEg5VwQrqwpZPweNM0VH0uJw5oLkCciRV7J-jI-CdLmPAF-IyKrjBRcJsuycQ0gB78nUbVAEyGH-qv7Nsb1r0ZFhMm7agGaKzbbeIjWgZ9J1lr8vgOyHn7Px2XNh9nwAZ5E5PHIOidLJkHthJVEAD7gaGNQ1SulpE3vv-bYR81hAqwXiOyrQe1cpvpFLYNMWZpix_HretT7thq-G9dlTRz4NylyfC5lLomA4VKBr6hlKQWq7gX92-_cfw2K8Wi0fw7zhDBigmbV-KSnonUSYAzK1L_X48XvGkn29y0EYSnYovEzaDgqxugWqh5aOeFqiaMXvv3Ikke8AJGPpcUYBipK66J_obRj1nzGLHeJxlndxz9g1KboJ5tgOXk7O67lIvwdN1Tjhgvb2wTdTZX1mCowZ3gJOy0fdRQyDRthMTpGLB0W36ZEx-EgKrENr4-B3ZD2YmYyyKSECxZ1eyvBYsGr3IJrhmwGQhCEB2XBBv6_wDyd9f5twanlewRCcyFU5qXYdu36k4-LfAzmd2o8Wi60Q3H3o-JqVCzm-YSFGFm2UvGg3f5UvD6VMATEACum4uctxrrbkO0QjMbw0AaSHRVfp0IduqNLaLFLCp1KsG5yfiRC4cZIZZU1kIwtRLFUriL45KynG5OXWSmrInnAPGealdclxL_pzqQIagZICCHqqdTohUJuHHOHS0Y9dIuGpg0_CuguRrt-IYGDQZ7L-jpTvyAHO39cyu-5ajaom7pVgw862XWwJ9czwLu96b4fEqalkHCakgAAMfuAxNyM7ZcDcgqjEcunlwN5vgHLS7DzlwC53czfC0wz8KjKNFZYUh1LJ7A-E8swT89YyXbA2bQ6FKJN6bB2ZQjda1bOZwKK-BLcDLZTvBTjCCorCKBrOQSCa2nger5tfjK4N-IOojV43Ursxnit8e8GtWPCm9VBbWtQ27bBPw3qD3QG74Wno-Fpeob3aXj-CY6Vun0AXS1qQ8b2iiD1Z6FADRslMWkHg6fZkWVDwnqwlO2NgA6QegYo5ob-QfPMD50C_J0MxLDww0bT8LUREoVmuEuhm3uv7xWiVLc_Rle_D6aBjb57PUHW67eIu8ZbkIXhUi0EiPztgwbCyyqPTylLAjV_ZXXZHu3XacK0IuptsYloF9g3Iv0dTPk0yZh8uloKycDR_FNN778n4s9xWTkPtPPVshEgbuqIGz59C-KfBneY5-n7Aaf8g-t2uPWLPmFxbogBZnH-ZrtbmFSPH4Lbtzz7kvNDoDUgVIOWhxHKtju0LB2twBywsj3Q-p-CStW761DZOlS-P7CSugdUgI6QwNGHQHYm4iQTEaZgH4AbDkjH63DTqi3qmTzazOdWxM6qz0CrSSBG1EvZIowYfAEmGgTre3kTPeq1ke5uTenVKA_hG-BSmrMWKFwdX4d7pCijmrslSxCXg8J2uM6gynmdJahZiAFSf54ZHTjzHK6W_jho3pZzDY0hF9cCcf2BevrgodaAU_8doTu8c_FHOMkLwPQLWNu3YifcvQlnHZOhKZ1GhCv5I7vP8r-zVpZd7vL1s4HrHI7nqHqKq7lON5VDtarSdSJ_IEhhfnue3YEIzZ0Hlp4jhOnTRMkNNcXV8jSJK8kZrh4P4QAdpTnUr9_gTdXQw8N2Z1Mt6X69YXTSNRZheRYGdLOrwC1tzc6JHNPdD6ufCeikj8esXJS7JxrWAdi3XQvUAcGgho9g0DUwtPU6x3d9th8Y1_WOLQTgIJAcUE7TpI6mdG0tzfGYMeAodTmbnWnTi7_OU7XPpy_t-vX9tb_aa5pseQ7bN3OO4PBK8Xjw0RF46EhMv8NJWxajzAwGA4oU6zjVG16u86J8bhIA0mma8_ueWeyFwQHNpGO4TfUDNSPeCa8tVFFfBOZ-wkdJsWQln__K5f1lKRb7OM3no6Nx9Nf5NkSQxJekKH9kyWFmdp7hQqmatOxw0Usg3w0G5iR0XM4fBa9K0fLchwXqYBVhGuPeahwHTE02Z2x9gkO1kdbqzTWShrzpqI133VKVpVdHPqOD1ecfAP0BoXLVXNDa6O3nwrYZBZ61n4s_EFTvsxa85rTnylmrue1uYsfqp7pWaEXRzp0MimyRFJhIQ87XFAM3VdajPsWdykUfjjPB0x1xvYftZZYmWZLdfQWPV_TN6Qzo1ItlU43AwOqCeuArW15mcb7jIbX5VFXor40aFxIVjjPqFzpaq9lIY9Rtk0VVBLoqQs9_nSrqaDpVYWIA_n3j5_-LOlwVzruczzY0bVDO2Fu0gVIVuJP9L8mW8w3R4B2EsgO1-QNrWtvUrcsM3NfJI6usvXGVfZcsK1Ll4zCn6NvbZPZ9lXu-LsvYLaPjoox2l4XaVJfUsd40jj5dRNfE6XgP19Ztbc0ihlfcywLxgAcwpVVVYsGawrmeXNp_Ilx12H5Cx6tqECOo2UUSu5f_usy0IYiSPlKtqBO1s7wXPptLQ1vs-zytQdbvclXCuVR9dNw5GndWZPe428LaoZgyVH5mrVlqLz9zA8ew-qnxNF8sk1TIS_CFLONiM2LDUuxnkWuM6wS7swt4eMHugpXdy5fcMAhdL-pPyigmuw4f8k0zQs8k3M_Btyx_V0Z8MUhstena1ZDvpT3UDZnj2oRz8xaPovYmMydSsic8Xwcxas60vUMQN3vX2mC1S4oS-IYAehFJSJTQCbSkW4YdTA7sbqHDDvoMsyj0AtLKPTVrINbYni0g1PwUuIWoXS54xv0O63jGZP2lnRtTTol2LDqGxqIwhV-bRItqm2sAJwqil6LUZ8D3lWo7Bsw-A5EbOaI-W_ycRnvmrqUxrBm8cdyjbKpl967OctqI0xzeYMJxHHJ7iwc2bsGuZXnbcLHlOAeFZ54d5-hIWBq43BYBqTtv-915qLAmVD_bI1WTmeDJGchHcITi2UI8Gymi7jhze2b3SJyYrusGvmu5wVF0YkWBFbCjMilTcTJyTqdIazYZOWdkcO_RBxw_PapketI_XnqXlPMqHPN8MeoOUPVhS4qiwtz2wvFdzzuan5iWzyOfGp4PPsLnPHatWLixExux6cQ-PUpZKNICBR9R2rq25qwxW4V5Wh9CoeoAK_50zo6SE2pQahrUNwPbNYKxFceAaxyGNPQiMzRGtgGBO0lXR2KP5IniF8_Jws0U6s3uvOxRvflRKCVg_6wq57k8mURs8ZXdJUJeXM1mR0rCEyXefwFsl5vU">