<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/107953>107953</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] [arith] -arith-unsigned-when-equivalent crashes in llvm-project/llvm/lib/Support/APInt.cpp:293:int llvm::APInt::compareSigned(const APInt &) const: Assertion `BitWidth == RHS.BitWidth && "Bit widths must be same for comparison"' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
axeabc
</td>
</tr>
</table>
<pre>
git version: 0f5033053a3d4
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -arith-unsigned-when-equivalent a.mlir`
a.mlir:
```
func.func @test() -> i1 {
%cst1_i1 = arith.constant 0 : i1
%0= test.with_bounds { umin = 0 : i64, umax = 12 : i64, smin = 0 : i64, smax = 12 : i64} : i1
%1= arith.cmpi sgt, %0, %cst1_i1 : i1
%2= arith.cmpi slt, %0, %cst1_i1 : i1
%3 = arith.andi %1, %2 : i1
return %3 : i1
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/APInt.cpp:293: int llvm::APInt::compareSigned(const APInt &) const: Assertion `BitWidth == RHS.BitWidth && "Bit widths must be same for comparison"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0. Program arguments: /data/szy/MLIR/llvm-debug/llvm-project/build/bin/mlir-opt -arith-unsigned-when-equivalent a.twXBPBsQjz.mlir
#0 0x00005596c2857859 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/Unix/Signals.inc:723:11
#1 0x00005596c2857d0b PrintStackTraceSignalHandler(void*) /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/Unix/Signals.inc:798:1
#2 0x00005596c2855f3f llvm::sys::RunSignalHandlers() /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/Signals.cpp:105:5
#3 0x00005596c28583de SignalHandler(int) /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/Unix/Signals.inc:413:1
#4 0x00007f9dfaa23420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#5 0x00007f9dfa06000b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#6 0x00007f9dfa03f859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#7 0x00007f9dfa03f729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#8 0x00007f9dfa03f729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#9 0x00007f9dfa050fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#10 0x00005596c292d7ba llvm::APInt::compareSigned(llvm::APInt const&) const /data/szy/MLIR/llvm-debug/llvm-project/llvm/lib/Support/APInt.cpp:0:3
#11 0x00005596c293893d llvm::APInt::sle(llvm::APInt const&) const /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/APInt.h:1159:64
#12 0x00005596c293890d llvm::APInt::sgt(llvm::APInt const&) const /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/APInt.h:1194:45
#13 0x00005596cad6e807 isStaticallyTrue(mlir::intrange::CmpPredicate, mlir::ConstantIntRanges const&, mlir::ConstantIntRanges const&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Interfaces/Utils/InferIntRangeCommon.cpp:666:5
#14 0x00005596cad6e655 mlir::intrange::evaluatePred(mlir::intrange::CmpPredicate, mlir::ConstantIntRanges const&, mlir::ConstantIntRanges const&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Interfaces/Utils/InferIntRangeCommon.cpp:694:7
#15 0x00005596c2d861db mlir::arith::CmpIOp::inferResultRanges(llvm::ArrayRef<mlir::ConstantIntRanges>, llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Dialect/Arith/IR/InferIntRangeInterfaceImpls.cpp:285:36
#16 0x00005596c2d04356 mlir::detail::InferIntRangeInterfaceInterfaceTraits::Model<mlir::arith::CmpIOp>::inferResultRanges(mlir::detail::InferIntRangeInterfaceInterfaceTraits::Concept const*, mlir::Operation*, llvm::ArrayRef<mlir::ConstantIntRanges>, llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>) /data/szy/MLIR/llvm-debug/llvm-project/build/tools/mlir/include/mlir/Interfaces/InferIntRangeInterface.h.inc:123:3
#17 0x00005596cbe529c3 mlir::InferIntRangeInterface::inferResultRanges(llvm::ArrayRef<mlir::ConstantIntRanges>, llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>) /data/szy/MLIR/llvm-debug/llvm-project/build/tools/mlir/include/mlir/Interfaces/InferIntRangeInterface.cpp.inc:25:7
#18 0x00005596cbe53837 mlir::intrange::detail::defaultInferResultRanges(mlir::InferIntRangeInterface, llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Interfaces/InferIntRangeInterface.cpp:164:1
#19 0x00005596c2d04441 mlir::detail::InferIntRangeInterfaceTrait<mlir::arith::CmpIOp>::inferResultRangesFromOptional(llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>) /data/szy/MLIR/llvm-debug/llvm-project/build/tools/mlir/include/mlir/Interfaces/InferIntRangeInterface.h.inc:116:5
#20 0x00005596c2d043c6 mlir::detail::InferIntRangeInterfaceInterfaceTraits::Model<mlir::arith::CmpIOp>::inferResultRangesFromOptional(mlir::detail::InferIntRangeInterfaceInterfaceTraits::Concept const*, mlir::Operation*, llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>) /data/szy/MLIR/llvm-debug/llvm-project/build/tools/mlir/include/mlir/Interfaces/InferIntRangeInterface.h.inc:127:3
#21 0x00005596cbe52a54 mlir::InferIntRangeInterface::inferResultRangesFromOptional(llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>) /data/szy/MLIR/llvm-debug/llvm-project/build/tools/mlir/include/mlir/Interfaces/InferIntRangeInterface.cpp.inc:37:7
#22 0x00005596c7c04170 mlir::dataflow::IntegerRangeAnalysis::visitOperation(mlir::Operation*, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice const*>, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice*>) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/IntegerRangeAnalysis.cpp:104:10
#23 0x00005596c2e0d8ad mlir::dataflow::SparseForwardDataFlowAnalysis<mlir::dataflow::IntegerValueRangeLattice>::visitOperationImpl(mlir::Operation*, llvm::ArrayRef<mlir::dataflow::AbstractSparseLattice const*>, llvm::ArrayRef<mlir::dataflow::AbstractSparseLattice*>) /data/szy/MLIR/llvm-debug/llvm-project/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h:335:12
#24 0x00005596c7c0a625 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visitOperation(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp:156:10
#25 0x00005596c7c09d07 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp:70:14
#26 0x00005596c7c09e46 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp:78:20
#27 0x00005596c7c09e46 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp:78:20
#28 0x00005596c7c09cc5 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initialize(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp:63:10
#29 0x00005596c7bbda89 mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Analysis/DataFlowFramework.cpp:105:25
#30 0x00005596c2e11d0a (anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation() /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Dialect/Arith/Transforms/UnsignedWhenEquivalent.cpp:123:23
#31 0x00005596c7c278c4 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_1::operator()() const /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Pass/Pass.cpp:0:17
#32 0x00005596c7c27865 void llvm::function_ref<void ()>::callback_fn<mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_1>(long) /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:45:5
#33 0x00005596c287b8f9 llvm::function_ref<void ()>::operator()() const /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:68:5
#34 0x00005596c7c2a55b void mlir::MLIRContext::executeAction<mlir::PassExecutionAction, mlir::Pass&>(llvm::function_ref<void ()>, llvm::ArrayRef<mlir::IRUnit>, mlir::Pass&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/include/mlir/IR/MLIRContext.h:276:3
#35 0x00005596c7c234a0 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Pass/Pass.cpp:533:17
#36 0x00005596c7c239b7 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Pass/Pass.cpp:593:16
#37 0x00005596c7c252d8 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Pass/Pass.cpp:904:10
#38 0x00005596c7c2520d mlir::PassManager::run(mlir::Operation*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Pass/Pass.cpp:884:60
#39 0x00005596c7c19b9d performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:413:17
#40 0x00005596c7c19802 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPoolInterface*) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:478:12
#41 0x00005596c7c195fc mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0::operator()(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:561:12
#42 0x00005596c7c19596 llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:45:12
#43 0x00005596c7d90492 llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::operator()(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const /data/szy/MLIR/llvm-debug/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:68:12
#44 0x00005596c7d8faa5 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Support/ToolUtilities.cpp:27:12
#45 0x00005596c7c16483 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:564:10
#46 0x00005596c7c16825 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:605:14
#47 0x00005596c7c169f8 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) /data/szy/MLIR/llvm-debug/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:621:10
#48 0x00005596c27e1a23 main /data/szy/MLIR/llvm-debug/llvm-project/mlir/tools/mlir-opt/mlir-opt.cpp:317:33
#49 0x00007f9dfa041083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#50 0x00005596c27e164e _start (/data/szy/MLIR/llvm-debug/llvm-project/build/bin/mlir-opt+0x251464e)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsXFtT47gS_jXmRUVKlnx94CFcUksVFBxgzp63lGzLiXZsySvJXPbXn5LsxBeSIUBg2ZmtmiK23JK6v261unUZohRbcEqPHP_Y8U8PSK2XQh6RR0qS9CAR2dPRgmlwT6Vigjt4CmDuQ4yhjwnOPAeeOnDa_FVPStPSkDgB_JbUXNfAjSbQmwTg4u7WCWCfWtJKiqxOKXhgetnWKgsmD0WlwSGRTC8Pa265yw4flpQf0j9rdk8KyjUgE0M6arItxO2r-Wr_geY9r3k6MX-A40FNlXZQ5KAYHDr4DDAXOOFxQwiAg_xUaXduSvEpsMxMUsGVJlwDCAy7zO1RQ0Nm2pwYaeaJqHmmTIugLhm3jbS1As9BJ6AuyaMtdVG_WG0kVhuIw9PnTLg9XsuKAbXQprplr_nthBpVReOqxc5VcQ8iwjPWcNJUQiNySXUt-apW98UJTzfrTGmSfgdakpR2et1IuTIda0lolhFNHDRTfz05aHZ5cX7joFlR3JeHGU3qxeqlkuIPmur21fywxEGz27qqhDTF0-tzridpVTl4imJseeYaWGo8dfDUEjSPqSgrIumttVgHRdZegCUADgqMqdki08hUKSo1E9xY_THTv7NMLw2QBsub324nXZmpGQAHoWOmwYMpU6CslQYJBYqUFORCgqZvpgR3EHJQCHLCCppNGmyuL86mt2dA1UnJNCAgqRdAUiMi0AIsta6UEQHNHDRbML2sk0kqyh4qQ6yYUjVVDpoBwjPAeFrUGQV6SUEqiVqChKTfrcra7m-tErO6rNY6hBMHxtdSLCQpAZGLuqRcqzfqLqlZkZlfxh00e4UP0Q__O74-Vv_546_GczRW6iAMAXyEEELfj4MURX4Y-XFP6epJNQ_XknFtxbuzJoqijkiSh7lQWlJSWh2eGMsxRrA_6_zG2aMpYAtOCjVhPHXwNETGTF23k8YdS5PBBIxYb9r4jfCsoNJB0b1gmYOmn8FvHBl-O3bRiF0_x_km8G9qPuBatf58f_yuGG3Gvwt9B0_9jlE8YjTCGQVjID9H6Z6LhyB6LW9hHmc5IQh7CIL5XFKlhaRzaVxStG79MQrmgXdYMF4_Hi543Xyo9FJSkk2UmEAHHcNH1_MQdFDcdeMPuoEBhDABkjBFQW9gLgqWpIcX6TmCj-tXNMGugcPK4aDZZGLenlRGK-Nb6kZM9aTuLTe8Nq-26YmR2Mx2fYGDISc4N0OWJMJKuhsnOmvQsLVsJ5HpJOw6CcedhCgGC6rnDd9zRRfGkc3vSVHvjADj2shfCJKVapGSpmsfxoaBru9oU99zXsxNxXkmSmJih_d0GYfQwVPsdX3Gwz59mGfBDoaTGpMJrMlgnGfB2mSMMxr61hhlYUJ2m1BHRO1s2ptZP2jit6h0AgzdaYyjGGebBVAF_WC228m3K5ie3q25X9p5wDd2FHgd_-gZ_3Ab_yaA_Lv5jz3j3_yO_4HbJVlAIxgCpm410SwlRfF0J2uD-yoZwFPGtSR8QZu3k7K6ljRjKdHUTMsd3Ukb4Z9zfWPoVU_WXene5Opt0ysjPOeaypykNsT6plmhbGFO5aq_E1GWgrfWGQRBNy0ZfLwxPoHvg21gUOOqiKYGkV8IM2tUYYeZPxgTWRS4WdJj3kaSayTOr6oVRjmVN1TVRSvTcLRISZ5uaO7gkx_A4OAzA1RXzWSoJjOYS1vVBGJgoJn_msnlFeDaHt4P8SkjRVM8tWigma0_AHmthvOyWsdNKDJxEw46tIMh2tDDftCTJqOasKJ53tL86uFOEqbbePBSZLQYgL1BbWfbNfduBk4ET2m1dpDToY6uKiqJUWz75WcylFXMoYWwI681nM67twWDYboZ2cmyDWldm8f05t2wbzUJ9VGc4p5om5v7NQbqPvFPq6rVAPKHTjIaKQBHONw6sfTHUEZzUhf6_IeDbov-Xh4phnZBpUX7pmFgD5p61uoHuNQd1WEGQ-B16Y7RRTx2oZ7nvsqFWsf1Vm85k6K8qgykJnV7aSj9oxT0Ia7MHYZoCD6bANO_ewIcqfRrTYb_WhAKB5MhcseTIfG9t06G_47mV06MOBxMjGiQUYcp9NwQ9ocz0SQvxMNAUtv4lJPiSbF2yNwzxXRvZERvHi8be-ywvSBas5R2Y3OswXc0umru_bPjGhw0OyWazEzXjabG8K0XaO0kCTvFDFdoKcwikm1VzG1FpKIzIR-IzFY9dhp6PRIrXzvUq0mN9qfbaaK0JKlumN-HYje2uA-tPht0mxXc9LtWrZm-MPatD-wU641GHAmQv1WxQ4m2KvhVQ_CjzHskfWvYfjAybH8kf5zBcB_yM840IwX7i97QtJaK3dPi6avAYJen3W4lEwVjFKgX_PwoRCY169lC-C8KCKNojEKa7sUjdCh8FdEDPHIGg1wwTJKMRHFP9FV7t6K4p3Is1ZRnN_Wne7qZJCV9EPL7YG8VdSnSaAueum4GiYkiCRf8qRS1ApyUVFV2jSBezW5ML7-1-_2_Lyk_W-_2XxPVKlTW_Ir3XfzHLI7eScJVLmRpV6Q38rSS3S50oS64H27YhykKo9Tbkh5eVXfiqjLSTTNSaSHXQg5UasV_KQnrvqw0dkk4WVBpPiZCFPbkUitKe5qhoXeQN3ebR2EbFbIBtoX3zdtEA5AbIexPb2fO7QJxjJ4BF_jA5h8vZidtmmFJUlIUCUm_z3M-DJS-KvBnJm0TfPG-kwZbNuNu7y5mLWakOHvUkjRRmecPFjXGxyHCJMrj1-G-X9t5m1RBNJRqFGki4vtJY1Kd1gwzJ4Jr-thunNJHmtaaTm3zAxMy9nBmvzLB2-8DC2gMJmh1uiN6O6yg3HzjTLe0z3vbb2BvK_ZAscCiMBgsYeBRDIuwR-AX9XIf4Lp8jEfOKxjjESfhq_G4ZhUtGB8HK4Z0LWawd4DGJnXOlZb2TJ8ZzNMfETQ9Nx9a3q-JpFyf81z0Vg8_RAf2RKfb7UziUSyNfJRFI9ZXYKwRJ0qNtjJegehHiBWP10Fw9EwsmL0g1odGhM95jiLDc9DjeRjVpm6cxBmoqDQxVeM41QvnLZXOmk9qSSTN5pWWDj7patyKWqb0ciEdfLbl1ELfs491eVkweVXpS8L4ieA5W-z1RMNdb8XSnmtGs16HLWrtsb_OiXhwjFoEEaikSKlSx3We2zOJO4FWc_ZnTZ-BdklLIZ9WTfXo202-eUYLqun2OmayP9sdyT5dG2Xf0AVTWj6137t-7ux5xWshit7-4V4Mdjdt2KS0t0zluWNt-Hm6We4vqJXNaO9o_114CrfEdp8n0nZg95WZ7GQefuCOzAM9M4846HF7IRYsJUWzVbM9kt5W4atg_GJa9asMgy5L-0xJfmT9n5sr9k1_kCyGWQy9GP0EJv6zebl35NB9bQ-T6CzKCekvzqqqYHrKs-tRnPJ3gPcPtLwfUvS_3WrJ-OKG5luL3x8pdUfozaT4TbOCaUbXZ0HDkWWMFgHcwIvwrxEhfVbQMcoFvWCMeDTYOh0i3mb36ZI0efz0tQb1ElyfBENg9xd6e4deOIYhzqO9wPA15EXuSO2DJQAUUpcgDFZ3ht7IkH7Oyuqx5QO79txSt-rnja4UeS6MMJjPC5akc6WJ1PPXXGRKVb26OtY82o-2HXulCXtosOjowzEMgUdB03F7sWk_t0_t5Sfku17g0e760_rO8kF2hLMYx-SAHrkh8mPsxyE-WB6RgCYoTX2E_Zx6GEMaBmmQYS-NoecT_4AdIYg8GLsQIhxjPMEJCYM0ShAOaYRg7HiQloQVE8PnRMjFgb2ve-TCMPbxQUESWih73R-hRo_I8U8P5JGVK6kXyvFgwZRWXQua6cL-FwG2gn8KHP-4OVvon754z7a5FUwVYBxsDi9evnX9j7p0fVDL4ujtt6pbRd0fof8HAAD__waVfu0">