⚠ [1982/1985] Replayed Carleson.DoublingMeasure
warning: ././././Carleson/DoublingMeasure.lean:219:6: declaration uses 'sorry'
warning: ././././Carleson/DoublingMeasure.lean:233:6: declaration uses 'sorry'
warning: ././././Carleson/DoublingMeasure.lean:239:6: declaration uses 'sorry'
warning: ././././Carleson/DoublingMeasure.lean:243:6: declaration uses 'sorry'
warning: ././././Carleson/DoublingMeasure.lean:247:6: declaration uses 'sorry'
warning: ././././Carleson/DoublingMeasure.lean:253:6: declaration uses 'sorry'
info: ././././Carleson/DoublingMeasure.lean:349:0: DoublingMeasure.toProperSpace
info: ././././Carleson/DoublingMeasure.lean:350:0: locally_compact_of_proper
info: ././././Carleson/DoublingMeasure.lean:351:0: complete_of_proper
info: ././././Carleson/DoublingMeasure.lean:352:0: sigmaCompactSpace_of_locally_compact_second_countable
info: ././././Carleson/DoublingMeasure.lean:353:0: sigmaFinite_of_locallyFinite
info: ././././Carleson/DoublingMeasure.lean:354:0: secondCountable_of_proper
info: ././././Carleson/DoublingMeasure.lean:355:0: SecondCountableTopology.to_separableSpace
info: ././././Carleson/DoublingMeasure.lean:361:0: T4Space.of_paracompactSpace_t2Space
info: ././././Carleson/DoublingMeasure.lean:362:0: PolishSpace.of_separableSpace_completeSpace_metrizable
info: ././././Carleson/DoublingMeasure.lean:363:0: measurableSingleton_of_standardBorel
⚠ [1985/1985] Built Carleson.Defs
warning: ././././Carleson/Defs.lean:280:6: declaration uses 'sorry'
warning: ././././Carleson/Defs.lean:318:6: declaration uses 'sorry'
warning: ././././Carleson/Defs.lean:321:6: declaration uses 'sorry'
warning: ././././Carleson/Defs.lean:327:6: declaration uses 'sorry'
info: stderr:
PANIC at Lean.Expr.appArg! Lean.Expr:896:15: application expected
backtrace:
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x769d79056e6e]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow+0x2c)[0x769d75c9e66c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow___boxed+0x31)[0x769d75c9f781]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_SimprocEntry_tryD+0x269)[0x769d75ec9a29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocCore___spec__1+0x3c36)[0x769d75ee4306]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocCore+0x64c)[0x769d75eec9cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocArrayCore___spec__1+0x56f)[0x769d75ef50bf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocArrayCore+0x166)[0x769d75ef6546]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs+0xbc)[0x769d75ef7d7c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs___boxed+0x22)[0x769d75ef8012]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x769d790688f0]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x7ab)[0x769d75e1640b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_mkMethods___elambda__1+0x85)[0x769d75e08dc5]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x107)[0x769d75e15d67]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x659)[0x769d79068b29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit_visitPost___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__3+0x133)[0x769d75bc0fe3]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0x166a)[0x769d75bceffa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__1+0x112)[0x769d75bd4fd2]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___lambda__3+0x247)[0x769d75bd5597]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_dsimp+0x11c)[0x769d75b9827c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0xd5f)[0x769d75e2ea7f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0x368)[0x769d75e2e088]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main_go+0xb5)[0x769d75bfc165]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main+0x1bb1)[0x769d75bfe431]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main___boxed+0x22)[0x769d75c00702]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x260)[0x769d79061e00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1+0xe)[0x769d75923dde]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed+0xf)[0x769d75923fdf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x149)[0x769d79061ce9]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_profileit+0x74)[0x769d78fba344]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg+0x60)[0x769d75923f00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simp+0x1c3)[0x769d75c02853]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTargetCore+0x312)[0x769d75c02d72]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTarget___lambda__1+0x25c)[0x769d75c042cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x446)[0x769d790657d6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__3+0x1a2)[0x769d75c1cc02]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4+0x8e6)[0x769d75c1e316]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4___boxed+0x74)[0x769d75c1f094]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x4d7)[0x769d79065867]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal+0xce)[0x769d75c1effe]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation_go+0x2f2)[0x769d76f13b52]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation___lambda__2+0x369)[0x769d76f15639]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x4d7)[0x769d79065867]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x59)[0x769d76c94f39]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x28b)[0x769d76c9535b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation+0x14f)[0x769d76f15b8f]
PANIC at Lean.Expr.appArg! Lean.Expr:896:15: application expected
backtrace:
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x769d79056e6e]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow+0x2c)[0x769d75c9e66c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow___boxed+0x31)[0x769d75c9f781]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_SimprocEntry_tryD+0x269)[0x769d75ec9a29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocCore___spec__1+0x3c36)[0x769d75ee4306]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocCore+0x64c)[0x769d75eec9cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocArrayCore___spec__1+0x56f)[0x769d75ef50bf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocArrayCore+0x166)[0x769d75ef6546]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs+0xbc)[0x769d75ef7d7c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs___boxed+0x22)[0x769d75ef8012]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x769d790688f0]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x7ab)[0x769d75e1640b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_mkMethods___elambda__1+0x85)[0x769d75e08dc5]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x107)[0x769d75e15d67]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x659)[0x769d79068b29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit_visitPost___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__3+0x133)[0x769d75bc0fe3]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0x166a)[0x769d75bceffa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__1+0x112)[0x769d75bd4fd2]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___lambda__3+0x247)[0x769d75bd5597]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_dsimp+0x11c)[0x769d75b9827c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0xd5f)[0x769d75e2ea7f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0x368)[0x769d75e2e088]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main_go+0xb5)[0x769d75bfc165]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main+0x1bb1)[0x769d75bfe431]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main___boxed+0x22)[0x769d75c00702]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x260)[0x769d79061e00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1+0xe)[0x769d75923dde]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed+0xf)[0x769d75923fdf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x149)[0x769d79061ce9]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_profileit+0x74)[0x769d78fba344]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg+0x60)[0x769d75923f00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simp+0x1c3)[0x769d75c02853]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTargetCore+0x312)[0x769d75c02d72]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTarget___lambda__1+0x25c)[0x769d75c042cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x446)[0x769d790657d6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__3+0x1a2)[0x769d75c1cc02]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4+0x8e6)[0x769d75c1e316]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4___boxed+0x74)[0x769d75c1f094]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x4d7)[0x769d79065867]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal+0xce)[0x769d75c1effe]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation_go+0x2f2)[0x769d76f13b52]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation___lambda__2+0x369)[0x769d76f15639]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x4d7)[0x769d79065867]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x59)[0x769d76c94f39]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x28b)[0x769d76c9535b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_simpLocation+0x14f)[0x769d76f15b8f]
PANIC at Lean.Expr.appArg! Lean.Expr:896:15: application expected
backtrace:
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x769d79056e6e]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow+0x2c)[0x769d75c9e66c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Nat_reducePow___boxed+0x31)[0x769d75c9f781]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_SimprocEntry_tryD+0x269)[0x769d75ec9a29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocCore___spec__1+0x3c36)[0x769d75ee4306]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocCore+0x64c)[0x769d75eec9cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_dsimprocArrayCore___spec__1+0x56f)[0x769d75ef50bf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dsimprocArrayCore+0x166)[0x769d75ef6546]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs+0xbc)[0x769d75ef7d7c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_userPostDSimprocs___boxed+0x22)[0x769d75ef8012]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x769d790688f0]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x7ab)[0x769d75e1640b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_mkMethods___elambda__1+0x85)[0x769d75e08dc5]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x5b6)[0x769d79068a86]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_dandThen+0x107)[0x769d75e15d67]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x659)[0x769d79068b29]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit_visitPost___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__3+0x133)[0x769d75bc0fe3]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0x166a)[0x769d75bceffa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_mapMUnsafe_map___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__10+0x25c)[0x769d75bcb06c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__13+0xe01)[0x769d75bce791]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1+0xfca)[0x769d75bd398a]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2___lambda__1___boxed+0xd8)[0x769d75bd4d78]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_10+0x44a)[0x769d790693fa]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_ReaderT_bind___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__14___rarg+0x316)[0x769d75bd0dc6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x769d79068953]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_withIncRecDepth___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__15+0x4a6)[0x769d75bd17c6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform_visit___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__2+0xa8b)[0x769d75bc2cbb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_transform___at___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___spec__1+0x112)[0x769d75bd4fd2]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Tactic_Simp_Main_0__Lean_Meta_Simp_dsimpImpl___lambda__3+0x247)[0x769d75bd5597]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_dsimp+0x11c)[0x769d75b9827c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_lambdaTelescopeDSimp_go___rarg+0x1ce)[0x769d75b97b0e]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLambda+0x207)[0x769d75baaf37]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4f5)[0x769d75bed305]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0x368)[0x769d75e2e088]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3___lambda__2+0x368)[0x769d75e2e088]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_congrArgs___spec__3+0xf74)[0x769d75e31774]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrArgs+0x464)[0x769d75e35204]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Expr_withAppAux___at_Lean_Meta_Simp_congrDefault___spec__1+0x50b)[0x769d75bd904b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congrDefault+0x80f)[0x769d75bd9a8f]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_congr+0x5b0)[0x769d75bec250]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpStep+0x4db)[0x769d75bed2eb]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop_visitPreContinue+0x47c)[0x769d75bf0d4c]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpLoop+0x1f8b)[0x769d75bf4c7b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go___lambda__2+0x32b)[0x769d75bfa5db]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_simpImpl_go+0x4b2)[0x769d75bfab32]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_simp+0xc0b)[0x769d75ba6d4b]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main_go+0xb5)[0x769d75bfc165]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main+0x1bb1)[0x769d75bfe431]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_Simp_main___boxed+0x22)[0x769d75c00702]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x260)[0x769d79061e00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1+0xe)[0x769d75923dde]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg___lambda__1___boxed+0xf)[0x769d75923fdf]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_1+0x149)[0x769d79061ce9]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_profileit+0x74)[0x769d78fba344]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___rarg+0x60)[0x769d75923f00]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simp+0x1c3)[0x769d75c02853]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTargetCore+0x312)[0x769d75c02d72]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpTarget___lambda__1+0x25c)[0x769d75c042cc]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x446)[0x769d790657d6]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__3+0x1a2)[0x769d75c1cc02]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4+0x8e6)[0x769d75c1e316]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_Meta_simpGoal___lambda__4___boxed+0x74)[0x769d75c1f094]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(lean_apply_5+0x4d7)[0x769d79065867]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x769d76336488]
/home/parclytaxel/.elan/toolchains/leanprover--lean4---v4.11.0-rc1/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x18)[0x769d767944c8]
Build completed successfully.