deaduction/__init__.py,sha256=s9kRuL_C44i_TQ9NzEAqQGugTSykpwpTSqt8_yUDkWo,1038
deaduction/version.py,sha256=VIlu0_VUeGXTGclLpM0bq3mPLpsL2F--vOLop1MCMdE,417
deaduction/dui/__init__.py,sha256=L7cL0ppgTW1-EPYUT-nVCIFkeJ223boI_O8C5lJnpi8,1013
deaduction/dui/__main__.py,sha256=hC7n6tL3JGsaK7mxqfbGu8cXlBIR4z9Ynxo46f7COvk,29923
deaduction/dui/elements/__init__.py,sha256=X3l1uyZ-DXD73nw5ra6TYY7by7BlKSwGCkeFilvnRi0,1839
deaduction/dui/elements/actions_widgets_classes.py,sha256=NSfYX_aipYLuUTpoCB5oH6Vhd8V51uvCK7FvsRcfXgQ,51653
deaduction/dui/elements/config_window.py,sha256=sbNq-KvRC23oohibtBQNopBjyspsp0uRgRyvWr2v5NY,34890
deaduction/dui/elements/config_window_text.py,sha256=Lw55iiUTQ7ZSNXlMiX2syvAarOS7wFqWzLOMn9QzTcE,5760
deaduction/dui/elements/context_widgets_classes.py,sha256=BOPMAioffV_bG57TKwxINnBhWPuDN_uByOsTHO_A_mM,29995
deaduction/dui/elements/goal_widgets.py,sha256=GNmJOQmybKsmrL5AtYfGv9vE82UcIGccL9vLPs90R50,7817
deaduction/dui/elements/help.py,sha256=mdHBQ_qR1O35gNJ2bB4tk3SO3uiFOX0YMaxLixrEFGA,14555
deaduction/dui/elements/html_list_view.py,sha256=Ku6gWyT3HSK9WgDAz5eW6rIl-44UIJa05yAOAQSTz6k,4476
deaduction/dui/elements/lean_editor.py,sha256=bpaI_IQf2iDoGfL0_sF5fs9QTwUD4QV9Vc-I7Sl8a30,4971
deaduction/dui/elements/menubar.py,sha256=saHvMDHv2_cfRGePtKQZotMvBRIgvCeEvgeWoFDpYiI,7264
deaduction/dui/elements/proof_outline_widget.py,sha256=4ZLCtXvotQlbfRlVj9t5aWd383BxetnFvuKkVygqkLs,14456
deaduction/dui/elements/recent_courses_widgets.py,sha256=e7hMlBWRxFbnj16DTMai6DbD9TSy32fMJvkXnD4WbLA,6177
deaduction/dui/elements/start_coex_widget_classes.py,sha256=ERqoljOTVcs50KH9p5lbZoeaKfeDDE4Y-D0wfQ8NkOk,2435
deaduction/dui/elements/proof_tree/__init__.py,sha256=JqztUN_4r8ORS5Ylwhn70NjasqAZH57oAf1YVQ5uuBE,982
deaduction/dui/elements/proof_tree/proof_tree_controller.py,sha256=I0QdOW3SdOby0_LbjCTEGU2TPMpJ2auurJzhYRwilrg,12917
deaduction/dui/elements/proof_tree/proof_tree_primitives.py,sha256=AnR9qybIqEVxv7j0uxzvtfW59oTky477yF1tEB1RLgE,53534
deaduction/dui/elements/proof_tree/proof_tree_widget.py,sha256=ThiHwnjRLlzdj4RSbRfAtR9UYU7IRuj8ZQHYZss7ltQ,48739
deaduction/dui/primitives/__init__.py,sha256=lCfuEVgXseUkOvSgLAgy4La5QNQf-WdG-Iurj7wdOs8,1680
deaduction/dui/primitives/base_math_widgets_styling.py,sha256=30BrnJWZdzdnc2VCWopYF1O59tiVeC-Px101kr6m5nI,9852
deaduction/dui/primitives/buttons_dialog.py,sha256=UC3tn-2FePA7XzHeIdoofA6NCm7_OIUH5nePLIDYIIs,6534
deaduction/dui/primitives/disclosure_dict.py,sha256=Biycg5wIOl-Syiy6GhRNyGr5xgC5W8jSqJUnV1Uff3U,5151
deaduction/dui/primitives/disclosure_triangle.py,sha256=ShekcaPcSx4e18zWUz-4DvjU-IYlFsXXH55VVqB9-1E,3851
deaduction/dui/primitives/font_config.py,sha256=4OPGxuDfxrijHX5fxrzEOjuITCVTgktZRWFUObbxJU4,10988
deaduction/dui/primitives/text_edit_logger.py,sha256=lKZWTPVHPtwFlCT0wCZvcgJNYkN840FDcNF6fqoIASk,3468
deaduction/dui/primitives/yes_no_dialog.py,sha256=evC1dL--hs0tmSvXZ_8edErPwLV8ynD0bhuK1vhPT-M,5588
deaduction/dui/stages/__init__.py,sha256=HWc-FT3lS_A9pwVZuHV3AEkbQjBr_B99sGo6xi-qzuw,1036
deaduction/dui/stages/calculator/__init__.py,sha256=kbp1LKbS771B49Bn6qnFbOFTjxJAKMTkvZnXJiegvP0,1008
deaduction/dui/stages/calculator/calculator.py,sha256=aXztxsIaVKA6Q4Rj9nD2tRH_7iQx5TtGC0imGyPosUg,59882
deaduction/dui/stages/calculator/calculator_button.py,sha256=9yTr-4ArjdMRb8BgtTcFrOgMmLQt8lgBpJfItoyViAU,9012
deaduction/dui/stages/calculator/calculator_targets.py,sha256=JM4UlsQrZXtiejapdKVskmRFLlOL122K-g4eFtaXewc,18691
deaduction/dui/stages/exercise/Coordinator.py,sha256=tal29qMZZWy6vT82AoANKm1M0q0PBFycB4RJFLtcwxw,66774
deaduction/dui/stages/exercise/__init__.py,sha256=XsMeBTM8yrmyXYjoBg-wSS13ZNacP91FOgfXisCjx40,1163
deaduction/dui/stages/exercise/_exercise_main_window_widgets.py,sha256=Lnra43B0JI5_NIgdSNFDlgB1lnUWKdh_BnTx0Lfuopw,36113
deaduction/dui/stages/exercise/exercise_main_window.py,sha256=727uwIWAAiQA30GaGTrcw3_wJiFfN5LT_JS3HJgWI6E,43867
deaduction/dui/stages/missing_dependencies/__init__.py,sha256=7CE-WIAs-lXm6_lB6Wk9xHfMTGGIx-X4KTiQKlEiUho,1216
deaduction/dui/stages/missing_dependencies/missing_dependencies_dialogs.py,sha256=CSOZr9-4pja-GNycdovR3q0wKGS9MA9A8ksm1dk8oyU,8145
deaduction/dui/stages/quit_deaduction/__init__.py,sha256=LhGthEtBB0sMZdREWXPUCaGQDNGU1TxNT6G4A0NCrYI,1130
deaduction/dui/stages/quit_deaduction/really_want_quit.py,sha256=WXkybB-GDrpkEjINDtJ1MAwF-zR4_fsr6E170DRvmuw,2482
deaduction/dui/stages/select_language/__init__.py,sha256=Vxx_KMp6K9uhJ-oxjeQ6QM_NOeHHBh464mtK11cxNNk,1092
deaduction/dui/stages/select_language/select_language_dialog.py,sha256=fPc1bpUdOPT8Ep_m1IR8AuszzHFEcR0sXax11_jPyrM,2852
deaduction/dui/stages/start_coex/__init__.py,sha256=P6igAOXCTZoTu3ehJVpif92du1rog7KYyrqbKBZyMAU,1130
deaduction/dui/stages/start_coex/start_coex_widgets.py,sha256=dR-BTm-MDx9P1ACbkawIi2TBRd8iLCRKZtKz9RqLF3s,59635
deaduction/dui/stages/test/__init__.py,sha256=NaIIlGXLOzRWAwVMG4MVsJTpVGFKqQlfcxtx_2_1DSQ,1075
deaduction/dui/stages/test/test_window.py,sha256=HQP_FDEYZff-cGlNm_lfqOeL7aNSnMV7TwauFtVTQ0Y,6965
deaduction/dui/utils/__init__.py,sha256=tegjHMNv16nsGmN8dZeK5s-bf4CIavVrhniiwhYxvC8,1312
deaduction/dui/utils/global_geometry.py,sha256=DvDdeDUDY4KtXQEqGtlNdxYc7zbQmEUPAEBCaKpNJsA,505
deaduction/dui/utils/horizontal_line.py,sha256=GQYVJO9ctSLPSnLC5_BrzqmbCq91V7Ipj1bSrzVlGXI,1307
deaduction/dui/utils/replace_widget_layout.py,sha256=8qCjMM_z8-N4xM8WeUAl7ENRoKKa1hpdQSgtwi9oGeg,2108
deaduction/dui/utils/set_selectable.py,sha256=XcVIwPoSa57EePimCR0q-IdNk0aoKPfOGwgixYRsa6k,1745
deaduction/lean_src/compute.lean,sha256=7Xr9Nbe7VdIsjjNM2mUyxtByu7BSyttdZYNoFfKUsnE,5662
deaduction/lean_src/compute.olean,sha256=YOewA8gjlHt6VNBuPDa0bvcdAra4ncz1QGjL_b_mZzw,22281
deaduction/lean_src/compute_all.lean,sha256=OWY2PHBAo3WQqiBnCGxGQ3bxaXELtvGCexUfmLBXRjM,108
deaduction/lean_src/compute_all.olean,sha256=KXqvnimC-5H89IdFBj9hkFy9sEhwXzDuDtspxm8XqH4,2382
deaduction/lean_src/compute_simplify.lean,sha256=NQsWRLfNzFx7EkLyGcDl7UqH2NXWmIB534pT7UvTMQo,2576
deaduction/lean_src/compute_simplify.olean,sha256=5LukmjKapFEukzZTNWQQ0gPe03slABqyMHDdBxtXVWg,7884
deaduction/lean_src/compute_smart_tactics2.lean,sha256=Eos5cHrHeLv5Gr--j75tfg6ZYmJyaZilz967ZsiQD3Y,16675
deaduction/lean_src/compute_smart_tactics2.olean,sha256=QCEza99qfrJ5RlD6o49R_f9w-6F4DSyNz12EROen8gg,25570
deaduction/lean_src/compute_triangular_ineq.lean,sha256=xQlfcqd56gF7YN1UK-SPaZNdktVao7FsPWOcBJ9C5ho,5826
deaduction/lean_src/compute_triangular_ineq.olean,sha256=JrMOd1RFZavWM1LBlktMoGqD4AzlK4SVPLmDhumce-A,41093
deaduction/lean_src/deaduction_all_tactics.lean,sha256=pl_HBWy_5RizqonbVWPbgADxGq9Avcf1iJODB0vFjsQ,348
deaduction/lean_src/deaduction_all_tactics.olean,sha256=esy0C3v7E7RMHrk8a1fQV5IkIdnVaPOi4ge_l6fQACs,2366
deaduction/lean_src/induction.lean,sha256=aLxCtNGkMOH0HFTp2tc7r1Dv4SbyxivvrOr5X8mxM84,656
deaduction/lean_src/induction.olean,sha256=n8zWagDHBfoJQMjCoLXl4uOKbImQVt8qknc41aQtur8,2978
deaduction/lean_src/parser_analysis_definitions.lean,sha256=ctbKdJcmrmEuCTSzQ2Z_fTlc7ee5Tm8lRECd4ktb1bc,157
deaduction/lean_src/parser_analysis_definitions.olean,sha256=h1t0PslTpAUn7PxwFyU_mdlSsI64NDkvtmcel_LOai4,2801
deaduction/lean_src/push_neg_once.lean,sha256=HTyAxq_Hj9OlamhwNHSbsPU2-_rLiEJs4E4bQ8KU-rg,6764
deaduction/lean_src/push_neg_once.olean,sha256=xhBZ845hYLahIUREZ5yhOy-Ez6zlHGyjibcE7UA0w1M,26277
deaduction/lean_src/real_definitions.lean,sha256=2ccXTRFDZBk1djdTvGNRIihi8b7pdo0Njx1hKudQhbk,500
deaduction/lean_src/real_definitions.olean,sha256=DYQhWCgamSKMauZjx5BehBug4pXvI23HPWBKdEEC-FE,2317
deaduction/lean_src/set_definitions.lean,sha256=PWkJGw3cqiHq3T9bqBFsNmbpLJrNIkefCY8fmASYmE8,904
deaduction/lean_src/set_definitions.olean,sha256=DXfpdaygO0jIkqcW2FcdMjsoI8-DKFMU8Ntmxj4TIA0,5165
deaduction/lean_src/string_utils.lean,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deaduction/lean_src/string_utils.olean,sha256=14fYvI_kMwS7xlXtBN9QQgo-rRoSJvyB-k75UOvBacE,2199
deaduction/lean_src/structures2.lean,sha256=VKU9-ZIfiyCj6accOrpayLHyU_tcH9IMZ5kfbOCTQAY,19697
deaduction/lean_src/structures2.olean,sha256=jizMnHIs2vmU4S9Ojn-Nsvlft5mZ3MHpUr6jejho0Q4,143998
deaduction/lean_src/utils.lean,sha256=HYWhQ08u2WNJ6aJ81oQzu0ih-t36IdyJ8O_W8OeHeOo,2296
deaduction/lean_src/utils.olean,sha256=YzE1cd0saiLLa3K2NxpH1HO0zIVFC3juItItYit_7M8,5810
deaduction/pylib/__init__.py,sha256=KIMqGMMXO19OyYF7qJCL1jHNK6YIfKD8K4RU4Rwj1kk,1068
deaduction/pylib/actions/__init__.py,sha256=GQ-wgST2v6NUbtbt2VfKj2Y2Lpxpy7egDyC1fc75Fys,2298
deaduction/pylib/actions/actiondef.py,sha256=OzmBAJhA2e1_oeKOmRe_0JZHkH7hYa-aj815AHgB1FQ,3477
deaduction/pylib/actions/code_for_lean.py,sha256=lToDJljrzK10Hw-t58JIX11kUnhM2gJrWyAEwqi8jSo,38992
deaduction/pylib/actions/commun_actions.py,sha256=K4O41in0CdxO8x6Jj9THm-heD7ccFXUubzeq_ZWMF6U,23349
deaduction/pylib/actions/compute.py,sha256=E6Vj5mVoeTAXjEARxtjoBzBtj-wtEjd9-JmFA97aetA,12565
deaduction/pylib/actions/compute_utils.py,sha256=kHUW7WLxXC_O7K-L5kzGabBT3GTtmj_-Co_yggvQKng,5057
deaduction/pylib/actions/exceptions.py,sha256=rFoRmP_DSkeH1j2Hn13q9tAA46T-LGCWPeDdJ2hGHgM,16210
deaduction/pylib/actions/generic.py,sha256=4dkf3fmWHIdkb9VPqu7LSgelVBMYoXkX5mrH6agjsgE,10873
deaduction/pylib/actions/logic.py,sha256=hOxpRjjWtMyM8-yZL6p19G6v8kPmdR7bPZ4LyX3tZC4,72637
deaduction/pylib/actions/magic.py,sha256=Akq3BjCD7aMt0x9uiMpF33wZJyzS35e7xBpnORDgOCo,17914
deaduction/pylib/actions/proofs.py,sha256=UyyrVevDGzGvn3XzLkxFttl1ClJXa3wLLYMZH_XKPzk,22867
deaduction/pylib/actions/special_actions.py,sha256=AloQV3Cd2d3pQI7j4S3vakZcnbV4aSVMdkKITMJyJF4,2887
deaduction/pylib/actions/synthetic_proof_step.py,sha256=Um50U9gX1V7LdioUJxJZQtGyZOwIojA-osjrOeAgIkI,2284
deaduction/pylib/actions/utils.py,sha256=uHj9d-255X-E_nJR3KypzHRGgYQdjtCi89OPp7cWoUc,5758
deaduction/pylib/autotest/__init__.py,sha256=Cl_IRHAXbXR5TtCPF-NAoZ1VY8qiMyHaBe6M0BZqHok,1047
deaduction/pylib/autotest/__main__.py,sha256=5yzNIVBrZ8GmUUKOaXkdSI5PGYtG32H3mwu531uYPks,21077
deaduction/pylib/autotest/choose_coex_for_test.py,sha256=kFRKMH_bi-SnFAXXvq5VhuwY5frm4cRjFJ-WyjHWq6I,3513
deaduction/pylib/config/__init__.py,sha256=sutZzQvTvibyPaFI4X6qH6mFw_ixohWLXwz-ySzTXHE,953
deaduction/pylib/config/course.py,sha256=rV7TV703ARQJ6nlpmH5la_SHl5Pry5_wKY-PSxh4s6o,5855
deaduction/pylib/config/dirs.py,sha256=U-RuYbgRvebXK2xrIa552wnvwi5Gfzpu6oS7c3w5aLU,3595
deaduction/pylib/config/environ.py,sha256=9A_LF3kvVkBXnxWg38G7ZJLozg-708luZnifPwl3Y0k,1930
deaduction/pylib/config/i18n.py,sha256=PBnaSLL7vQNl16cUTa79ykAN7RvFUUF2tHJOrOf2WFk,2180
deaduction/pylib/config/request_method.py,sha256=3KZEqAfjYXz5mVTTjCVC902PXQl4aUe1oO1HCdfLNi0,1514
deaduction/pylib/config/site_installation.py,sha256=s-DK0CXwpX_IKnq-ksQ5ydq9N_pviJuIunwmdr7cZVk,2830
deaduction/pylib/config/vars.py,sha256=8bC3ghngL7vKLdgn0KY1C_hlO1VFNEJFH9Yq0AhP0U4,6105
deaduction/pylib/coursedata/__init__.py,sha256=BTYs_z4kX9G9BOwEeO2ZrhGsx5zpI3S4O53ZK6LhEn4,1235
deaduction/pylib/coursedata/auto_steps.py,sha256=yrL6E8A8Sr0iz3IqlHxFYrJz7W_VaFyXlmMrGjvRbpk,19058
deaduction/pylib/coursedata/course.py,sha256=k-XRVhTFAR5gu3Newz6q-iVp13bkHY_zXis3QmsjZ0E,26322
deaduction/pylib/coursedata/course_metadata_translations.py,sha256=_17KOudxS9chS_HWg8RaT6WU_Izouzzyl5jzu7PZCg8,1948
deaduction/pylib/coursedata/exercise_classes.py,sha256=dVPdJQ2j5OmpVJm-SgPLoiAFSBk4-hDaQnMHZdeJJ2k,48997
deaduction/pylib/coursedata/parser_course.py,sha256=hf250MOS8JYNs4l1dcBzjXxB-hrw1lJvWi4q5T8MCXE,25033
deaduction/pylib/coursedata/settings_parser.py,sha256=4qhhFympngF6CaJ2bOEYF17rwUoLfVAU_sJrkNQoeFw,5196
deaduction/pylib/coursedata/utils.py,sha256=P1Vz78H2uk3LjHCdwJZ8I4yedcJxuN9sHoJrQ9V9zLg,4634
deaduction/pylib/editing/__init__.py,sha256=8Kmj_NTtJSAqTji0K5__yLn-kDOflzlIzXXaQV8_20k,17357
deaduction/pylib/give_name/__init__.py,sha256=XwxkSXtve7LEWD_c45-8YZtWKt54qWgQGcfB67xh5dM,1003
deaduction/pylib/give_name/get_new_hyp.py,sha256=Df-Mx_Vq-Qd8yxdzY6tyg8xxw6JRrbuvp_EO99o2CTk,28184
deaduction/pylib/give_name/name_hint.py,sha256=1KmKdj8S_7MKyyepVLSnAeI_SpFFYUgYTGBESoipqao,14229
deaduction/pylib/give_name/names.py,sha256=y5pIxcBAhDkx12CF0szghw2pJ6Tfnu2czKVqKnU_GjA,13280
deaduction/pylib/lean/__init__.py,sha256=s9kRuL_C44i_TQ9NzEAqQGugTSykpwpTSqt8_yUDkWo,1038
deaduction/pylib/lean/installation.py,sha256=JkXoFNkoVN8iVIQKIdjCEarFMZTErvFUh4K7vTSMvmg,5198
deaduction/pylib/lean/request.py,sha256=Q5dEcNOqzqF7J6_mdGtPsWClaJKKVbN29EoxxpmVgSA,3444
deaduction/pylib/lean/response.py,sha256=LLX_rWqw2OIfmuBpzZNEvLMnUcNMdNHTY40NWjeWihg,9077
deaduction/pylib/lean/server.py,sha256=M6SABNYClobM1M6UufqwArWdGJkfHWhEfte5FC37mIk,12348
deaduction/pylib/logger/__init__.py,sha256=HednUhdW43UC8E5QL3a8XVOvmy-YAfIDn9kZIU4_Slk,4172
deaduction/pylib/logger/test_logger.py,sha256=ljQ4Ff5bK85NSz9doaBstoaPqpF4b_M0omv8ftRudMQ,948
deaduction/pylib/marked_pattern_math_object/__init__.py,sha256=aWy2StFUSRhneHer6FWiL8GSMHfDL5ahrRXkwHJDf2k,1175
deaduction/pylib/marked_pattern_math_object/calculator_pattern_strings.py,sha256=PHiM_oTpTPjyZyXGob2dC8-2Rk8Rp-K3unBllETZch0,10975
deaduction/pylib/marked_pattern_math_object/marked_pattern_math_object.py,sha256=jPK8IupX5z9kAbUmtqj58PAUoK0xRvDYdIx959NgsvQ,72946
deaduction/pylib/math_display/__init__.py,sha256=O55TiCNo2nV6SfLJ6W0VRJfwYsmQE3syq55W6abO61c,1885
deaduction/pylib/math_display/app_pattern_data.py,sha256=ws6jPNF5LMQ_ygNvCgfj-KzmwsVXHLVRP_Ne2m8AgQA,20138
deaduction/pylib/math_display/display.py,sha256=BfA-fX320ixs3VZk0q3ztBqSIvdBb9e1lIoMfpkMvA0,2596
deaduction/pylib/math_display/display_data.py,sha256=z75vg62-pOvVDU4Zz4O75NZ9iYQU3Nash-t-o96KNLI,36132
deaduction/pylib/math_display/display_parser.py,sha256=80QKZ0SfUOcLhGtC4o6vO8ngOZzun1q4aCuSRmpukjQ,4520
deaduction/pylib/math_display/display_utils.py,sha256=xhISiFnwPOO9mn6VY2jm5YwPq6g4PLNxYqwKL41jIa4,5374
deaduction/pylib/math_display/html_display.py,sha256=8VMGzHMBF2WX536oOIXLFgg8h1yEdVbKYPy8XqNQsPA,7894
deaduction/pylib/math_display/math_cursor.py,sha256=QTaz1B7VwNxWbyyXyGjAsa8sD6vlsAnYrSC10C7zQNo,19749
deaduction/pylib/math_display/more_display_utils.py,sha256=wOxNl6gu_mlsKmGkFmO1rAaenzD4Lq7L7LAAdLM7y4M,4939
deaduction/pylib/math_display/new_display.py,sha256=-FZEWGXElir0cg419526Gkm3jO4QFFpypcDSLrny3_o,39619
deaduction/pylib/math_display/nodes.py,sha256=eALK4vu_ARXBzzWAYwy5nWo6UivuYoDPZkNCgD92xZU,21715
deaduction/pylib/math_display/pattern_data.py,sha256=0B6KdeuCH515fvICzPw1_ACH6FRSSUyCGC0GzJMv8eE,15017
deaduction/pylib/math_display/pattern_init.py,sha256=C-sjMW_MVXDeb5vt-y_Rp3aY4gmmgqJBb9-bRDh-qXA,5097
deaduction/pylib/math_display/utf8_display.py,sha256=esT0UY-UqRM_L2PT1TDQvuJeNWjj2KdfopetYhQtpXk,7795
deaduction/pylib/mathobj/__init__.py,sha256=_g3Yzt_uCudkjb5XBw_D89UMkNZnOrENv4spgw1X4h0,1265
deaduction/pylib/mathobj/context_math_object.py,sha256=bE_dcB8XUb7yvaAhctNR7wEq9_04Wopv-HqV6Jz9W_o,17462
deaduction/pylib/mathobj/drag_n_drop.py,sha256=OIPsYT5IZFWTJKLYCR8u3NzHxlvUe47b9YewjEfMBTg,1277
deaduction/pylib/mathobj/lean_analysis.py,sha256=eOicsyNBWAi5uXKZ8l5Cl-D1Tgw58qwkoLcNrMaxjDs,9383
deaduction/pylib/mathobj/math_object.py,sha256=QIdJt_NDb9cLaofwisfHTpldYRDEdoGlyXYqWnXkuIs,88261
deaduction/pylib/memory/__init__.py,sha256=1rhlvFPDgtP0m4-xmNgbEs3ze55Mie-6nQjr3in7ZDs,5802
deaduction/pylib/packager/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
deaduction/pylib/packager/exceptions.py,sha256=uU9TNB6oyYnuOJ4y47u7sa_2B4Zg6d5qTfFRo1CWTGg,1342
deaduction/pylib/packager/package.py,sha256=mdaw7c6EzEqDJR9UK1TMCPghxOlNfoX1yjv23y8f2KA,16319
deaduction/pylib/pattern_math_obj/__init__.py,sha256=4IkpWQim4aCnoSL9CfL6hfxY1P85ioMeCqQAr4ckY40,1085
deaduction/pylib/pattern_math_obj/definition_math_object.py,sha256=fzA5vdso2mDUZoGCd7AUxhiyolMGeHMgApvYAno_crM,6751
deaduction/pylib/pattern_math_obj/pattern_math_objects.py,sha256=zMYocNQ0qD_AP-hfAd6K3XSowSLRcOtznGQeKgdWR1k,36749
deaduction/pylib/pattern_math_obj/pattern_parser.py,sha256=3SpKJegTcjihpegxc7LDW6ue_nV0gVNLd1TvWkDBQuU,5860
deaduction/pylib/pre_processing/__init__.py,sha256=fbbhtzo7K9F2aqpmvYRyRWmGPcXOS2mgG6lUoFWetno,1125
deaduction/pylib/pre_processing/__main__.py,sha256=Cs2Ng_2c0eUwiOKFYUfIuEUX5UjEBgqfR3P2Z2DVeN0,15113
deaduction/pylib/pre_processing/server_course.py,sha256=MXJ5cMryGHZ_raH0-_C_zkcnaibw3W3s4FvM0ghlCTI,12678
deaduction/pylib/proof_state/__init__.py,sha256=cqkSJ_vFuJGxYxvk390hAcWlEVEu3pUGbtLBqb8AmYo,1121
deaduction/pylib/proof_state/lean_response.py,sha256=zjPVxR0PmWtrZ1NZ9MdMRz6sMJH1ZKNMtuI5n4wcwZw,4005
deaduction/pylib/proof_state/proof_state.py,sha256=UKD9dFhko-Qafbd80h5GOJ_hE_koFogdJ-to0meuhEg,60556
deaduction/pylib/proof_step/__init__.py,sha256=dE6ctt-Dl6F1B8rPHU7Oky7fbjT5mBfKCnwNFi-y96c,1054
deaduction/pylib/proof_step/proof_step.py,sha256=TyUVzbrkbwjyMgC7l-iS5QuSTCbtzIwUPddh_JQvyJI,29586
deaduction/pylib/proof_tree/__init__.py,sha256=hT5ZUb-YkMtXUVZmWkv0O36s5Gi2jCRrz7jWpY-6Y-k,1077
deaduction/pylib/proof_tree/proof_tree.py,sha256=zIA3blhN2_-TJxpBGdJMgCkCeWy8ytGxQX3gQWNVIJg,43971
deaduction/pylib/proof_tree/user_action.py,sha256=poNhBwrfvWaqXJOWe4don3QGn5Xsgtjp-zpRBjilxOA,9640
deaduction/pylib/server/__init__.py,sha256=RRveGF2Csh3GgwewOd7uJEdmiXwornXyAe-Zrw4TWIo,33860
deaduction/pylib/server/exceptions.py,sha256=TXRS6gDFjieY1EVuipjiE2HOYwElBZy9Nfyx-j3fPDI,1634
deaduction/pylib/server/high_level_request.py,sha256=gaDSSDYS56Wdvo9u16XFqjYfmGXbs1A4uQx4f4D85k0,19197
deaduction/pylib/text/__init__.py,sha256=yBI0x1-MPi4wEas91j7ngIqeQnNmgDd0YtYE_mGC9Ng,1446
deaduction/pylib/text/help_msgs.py,sha256=1leL7z5rDLZcXk40HavKqT4TSgS5G0Id9IyeWVu8pis,14973
deaduction/pylib/text/text.py,sha256=Q46DW-9w8daR7my-IFOa49xDQ9kIyopRL6YW6OPnbFA,1360
deaduction/pylib/text/tooltips.py,sha256=5UfMNgW7bRHAi-SGpMQepwuUTvu-8RocXMk7MNI8KA8,11394
deaduction/pylib/utils/__init__.py,sha256=V-RxS6rERPADSxLum_mKahQ_czbW6DPe8X_Fo75Pps0,1201
deaduction/pylib/utils/ansiterm.py,sha256=cCq6Dy9xUtHQOHL5Vj7BwPalKp1t5ejmcI8wd6x_Gv8,3366
deaduction/pylib/utils/dict.py,sha256=rvvxiH4n4SLxsmQgHDiMqlCzqeWNVP2p_3KMTb4Ywzo,3076
deaduction/pylib/utils/exceptions.py,sha256=pWaHYaORxGHH8onM_Oxa-ORBSB849PsQ7iE73Y56dnk,1819
deaduction/pylib/utils/filesystem.py,sha256=w9y7Snf8N-mls96_s5Kdw_LlxwJduIaMTFDuI4i-qjw,8658
deaduction/pylib/utils/list_methods.py,sha256=60RX-ZWznWWSi190Dkzs_efdN7g2_VJ5A7TlG6oOaZs,999
deaduction/pylib/utils/nice_display_tree.py,sha256=22f5Uf7HNXIEbnwjxd1vEMyojaI19sB8gu4_B3SNjXw,8947
deaduction/pylib/utils/pickle_utils.py,sha256=6FGnvzpHwtc4SQYdZ2QgE8o-eWwRCgvYrKg_Kcfs5-c,1974
deaduction/share/config.toml,sha256=uU8n4fwn61eB7i-38AowIx-Fhfda-YYxSw6bWe_QrA0,6428
deaduction/share/applications/deaduction.desktop,sha256=mo4k4_qTUY24goIS_f_s9umu-_8frYIWgsJ2BNZ0qWA,178
deaduction/share/autotests/autotest_buttons/test_forall_ineq.lean,sha256=K5YU_7nenAk68mWzQD0M7c3qGMUM3wR3R53FRoHNe4Y,2740
deaduction/share/autotests/autotest_buttons/test_logic_buttons.lean,sha256=jIQJyvggEIITD8Wxo0iZDpHOiNe4l0brbpMZCasdh5Q,14881
deaduction/share/autotests/autotest_buttons/test_magic_buttons.lean,sha256=ZDv6xb2ueTse0avb1K2Riv9D8M9MoGcfewk28Hrxv-s,7662
deaduction/share/autotests/autotest_buttons/test_proof_buttons.lean,sha256=zi1xAeo1zbBCso2NC1YITfANsZe7bbkgzIXKFw8Uaw0,5630
deaduction/share/autotests/autotest_buttons/test_statements.lean,sha256=Bd0e_REC7XYEvUjw_Pjwb-JPdtZOC1FazUItKcM3ozM,6175
deaduction/share/autotests/autotests_exercises/test_Tutoriel_decouverte_deaduction_1.lean,sha256=Z99Pm6XnXG9aUIJwUu_ES0cd1Zu3x17KOAi8MflfYv0,24544
deaduction/share/autotests/autotests_exercises/test_Tutoriel_decouverte_deaduction_2.lean,sha256=0nBz8qijC8LwzkJUvcRB9zqmH7SDs9lSbQU5BJncCvI,16768
deaduction/share/autotests/autotests_exercises/test_Tutoriel_decouverte_deaduction_3.lean,sha256=D_nwxGjI6SZDqsiQxRHI7zx6Xp9kMF1NjACbnNfCbP4,10610
deaduction/share/autotests/autotests_exercises/test_Tutoriel_decouverte_deaduction_4.lean,sha256=VfiuMHW4fTbPGpj1bAcgeTpDDmoZBUd_LUVnNmD_JbU,16167
deaduction/share/courses/Ensembles_et_applications.lean,sha256=ybDwVHmKluD3WkqIYFAfgQwfqbuD4m5vp5vq-3I9bc0,18294
deaduction/share/courses/Ensembles_et_applications.olean,sha256=WRgHfG9kUn3DQuz0h1bXL5YsYECP6DYs0G1mZCnyZwc,15336
deaduction/share/courses/Logique_et_inegalites.lean,sha256=2ANv2GhJZcTvgc1ydy0xcqCtOuLUe0ebbASbotaL3n4,5745
deaduction/share/courses/Logique_et_inegalites.olean,sha256=B_lIk2oEtvurCX2-QQ0d-pT25eJI2oQfnPXtc1YiT14,5170
deaduction/share/courses/exercices_limite_continuite.lean,sha256=f_WXx8z5tD-trgEmDdjhH2NAITy1AuExsBSrXlFiCoM,16894
deaduction/share/courses/exercices_limite_continuite.olean,sha256=wqOwEI_zV0nhX55G4NIV62MEFIMY13vCSFAoKaG0Olk,18269
deaduction/share/courses/Isabelle/Applications_ensembles_deaduction.lean,sha256=Qc07s-JUw4GDY7LjFe9MAWNKt-NG1LzM22HMdTCvqw4,10827
deaduction/share/courses/Isabelle/Applications_ensembles_deaduction.olean,sha256=K8lKxi76d46WB78tTOmShTp_0awTt5Qisu6NjAa0Gf0,11288
deaduction/share/courses/Isabelle/Applications_fonction_carree_deaduction.lean,sha256=aqHXQFkzHC1CIdAbM0ruX5uS7iip9RPsUlJD7w2PGJA,11102
deaduction/share/courses/Isabelle/Applications_fonction_carree_deaduction.olean,sha256=deDDgFaZeK8fU88T6jKDlXqiv8I1vUtM8nQ9kQenjfw,10146
deaduction/share/courses/Isabelle/Definitions_ensembles_deaduction.lean,sha256=dpr0ws0qUWcPknVAZSCVgPsBKoYM04KDw8uRkm1i9iU,4611
deaduction/share/courses/Isabelle/Definitions_ensembles_deaduction.olean,sha256=neVeXd2pN15bLQR8neXgqOZmvACy-oDSFfMCr8mzOuU,4991
deaduction/share/courses/Isabelle/Operations_ensembles_deaduction.lean,sha256=7F5VIn_2mKZdV173OGEX9Aas0j5DEdSD1nLF35yy0b4,13143
deaduction/share/courses/Isabelle/Operations_ensembles_deaduction.olean,sha256=GGDbMpqbbI248BXbHUUcoW18k68Pl9G8Qb0I-CO-zEM,10586
deaduction/share/courses/Isabelle/Recurrence_deaduction.lean,sha256=5155MDmwNRkY5FZnSc6cjWBzdQlp0VHENUuDw0g4X2g,4160
deaduction/share/courses/Isabelle/Recurrence_deaduction.olean,sha256=lLOjWOUo68Q-FdbAiWrR6QLhZTUdvM5SiptcmM1eisc,4983
deaduction/share/courses/Isabelle/Tutoriel_decouverte_deaduction_1_v2.lean,sha256=7DMDt_X33BodzG2KVOLV4Nu7ZahF0aoHz-UmdkG0GXQ,7970
deaduction/share/courses/Isabelle/VF_Applications_surinbijectivite_exemples_deaduction.lean,sha256=o-cGJL4NITrpUSkIrmDbTMLncqHbaMDTBvnxEFIdufg,5837
deaduction/share/courses/Isabelle/VF_Quantificateurs_et_nombres_deaduction.lean,sha256=7PYTHpqc-sZdf9D48HB444Rv46-4c1i3YuILJXvhff0,4808
deaduction/share/courses/Isabelle/readme.txt,sha256=M10CencF4RhiLiRp_VYES1cPjX_-ikITyfY5lWre-GI,152
deaduction/share/courses/Tutoriels/Logique_propositionnelle.lean,sha256=XJpNLnTyKHnvmSvwY88Ej1tmVsXJdANs_O82K4Qvg3Y,5917
deaduction/share/courses/Tutoriels/Logique_propositionnelle.olean,sha256=CO7oK3TJm5eikT5yPGhSjw-_R21h83kPgxdaGKxKoiE,3518
deaduction/share/courses/Tutoriels/Recurrence_deaduction.lean,sha256=5155MDmwNRkY5FZnSc6cjWBzdQlp0VHENUuDw0g4X2g,4160
deaduction/share/courses/Tutoriels/Recurrence_deaduction.olean,sha256=Gr-OnbU6Ya6MDyP6mEUfhrBiCc_JrClXjHc9qv32jrE,4936
deaduction/share/courses/Tutoriels/Tutoriel.lean,sha256=tWBQLmi_3FRRJCKTUYZIywhA205vxllhHUKMWrXn_lo,5545
deaduction/share/courses/Tutoriels/Tutoriel.olean,sha256=DJR0BrjP_W5xLDgc0GEyxaLSithuAHOfqNhMQ3oSXGI,4321
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_1.lean,sha256=7DMDt_X33BodzG2KVOLV4Nu7ZahF0aoHz-UmdkG0GXQ,7970
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_1.olean,sha256=_7JirrlE1N1WNW0nyCw13aNMOkSzs7E7Bt7SsJZeohU,5883
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_1_old.lean,sha256=iZvYmTNsQKKJnOig4e7maSai43egjoTFjymZq5mJ3LM,7583
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_1_old.olean,sha256=q5GU9YObkcBPNez6NaSaEFAUg2F1S7CqdTMBrecYYMQ,5582
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_2.lean,sha256=k_19RJbPyk7OCzHcKruDU77ioTQSiIutuYDj52D_1cg,4377
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_2.olean,sha256=ybm-0sKTiQAzsk1H6jfwno5dzBVXAF3G1i0_17NhGUQ,3832
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_3.lean,sha256=OIS63G4qhzDMO-EAEr_hQ9gZiuD9L1ZtpiXiEd5cBNQ,4172
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_3.olean,sha256=IzQXP7ycI-vGkWEDpIIUuu4gfUEeIsmxCpWbG-rOpAc,4384
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_4.lean,sha256=PeRFkWgs_YJKm13PnmdZRbNpIsMHs0rVwggJ7YMupRE,9173
deaduction/share/courses/Tutoriels/Tutoriel_decouverte_deaduction_4.olean,sha256=0A8V7_MldhoNZ1xxvqSv3_92rbJraQ02HV_H86BM6BE,9203
deaduction/share/courses/Tutoriels/VF_Quantificateurs_et_nombres_deaduction.lean,sha256=7PYTHpqc-sZdf9D48HB444Rv46-4c1i3YuILJXvhff0,4808
deaduction/share/courses/Tutoriels/VF_Quantificateurs_et_nombres_deaduction.olean,sha256=0BF71ze94BX5ZdWIw6E1rnXXTi8-beYF5jThdE6geaE,5134
deaduction/share/courses/experimental/arithmetique.lean,sha256=uSlHvXAmG6A24gRYEox3ZnWWfQ58otzPe6LhRNsFyWI,11771
deaduction/share/courses/experimental/arithmetique.olean,sha256=cZEmlGKb0kauUKJDQBFOpbebmmy_Z0kKemZ4kXbYhVs,9920
deaduction/share/courses/experimental/exercices_math_discretes.lean,sha256=Q3gwM6-I9YyFuuGkLkVwe0jNdVpnV1-6TE0oc_M6mIs,22717
deaduction/share/courses/experimental/exercices_math_discretes.olean,sha256=0NL71QLMriAbSE38LBDcIebj3nevyWsiPw8xmL4vXAo,25181
deaduction/share/courses/experimental/exercices_theorie_des_ensembles.lean,sha256=eOrS6CHNYAn9Ah4cIjT-Ps0QrxIguPWCC5d925uwvSA,22309
deaduction/share/courses/experimental/exercices_theorie_des_ensembles.olean,sha256=tSEbC-JafNADxQEKzLFSh_etOhOJXdXm1N4G9zNT18E,19002
deaduction/share/courses/experimental/test1.lean,sha256=T4TJoXB5WGZMlyAApsymZ0J8-_klc66clJGC2akt9-c,6917
deaduction/share/courses/experimental/test2.lean,sha256=q_E_0dLXK1oh7odwwZKqAhSU6cbeDYwTbhevv2-oBRY,4266
deaduction/share/courses_not_distrib/exercices_ensembles_et_applications.lean,sha256=JDZ6JtpEVXGuc6Irju6SMcYPT3M7ctR9uTGQf9xjDGg,9308
deaduction/share/courses_not_distrib/exercices_logique_propositionnelle.lean,sha256=YjQpTvp4UjVPDiXgkBwxXw0Y0XDMpyAny1P4nt89HSM,5883
deaduction/share/courses_not_distrib/exercices_math_discretes.lean,sha256=96r52EDKq7S1uF_UPzTo-bQ6zPL3NykEJ4dDA5_qLuU,22174
deaduction/share/courses_not_distrib/exercices_nombres_L1.lean,sha256=j8AKU-kcrtV0mhD_nJM9lKRGy5fd1CCsfjMM98jvhbQ,5780
deaduction/share/courses_not_distrib/exercices_tutoriel.lean,sha256=ZozBMhNGMbvjc2EhRAhqySVmo6TSZ1aV1_etj7ZQDgw,6377
deaduction/share/fonts/DejaVuMathTeXGyre.ttf,sha256=7R2GF0UA5AqZPDaNF8-jD-P-bCDHbNQ8OT6kUfm6sbE,577708
deaduction/share/fonts/DejaVuSans.ttf,sha256=Q3pezsLsF3y6koTL_8VgVTETR_Pp_k8rS0AyPQKQpts,757076
deaduction/share/fonts/latinmodern-math.otf,sha256=YHVWK3cfi4LwwXnjYziWhPLdCd4wA4Jp4mKOUEvXvg8,733736
deaduction/share/graphical_resources/icons/cancel.png,sha256=SqYp7qMuzNedGwff3q7ugwT8nKO7x6I3a1zYdyZ9y7s,7036
deaduction/share/graphical_resources/icons/change_exercise.png,sha256=Bq47VAX2rdQFCw25EfYWczKUVQ-WO2wlVdLv__DM1v4,7065
deaduction/share/graphical_resources/icons/checked.png,sha256=Bf28WDa5LkV2W7gYHV7UK3Z8jEdk3H0Llxgh_KvHJZM,6518
deaduction/share/graphical_resources/icons/confetti.png,sha256=kbmXVfEJTh4r6LlMN0jvbKfODL9wkCxlxTGoOsEmPOQ,52026
deaduction/share/graphical_resources/icons/context_menu.png,sha256=XL1G1KxAZSkcBnUqOvFL9rs6sp8euo3dB1ChpSZYoi8,251
deaduction/share/graphical_resources/icons/go-end-96.png,sha256=sf86e6Zb7V6b-QybE2EPLkX9fPUaQZbgMXrmQWPEvn4,3556
deaduction/share/graphical_resources/icons/goback-begining.png,sha256=Gr-6N974wRA0EldTEUgOXprzdFP2XypxzVHQvWZ-Yj8,3887
deaduction/share/graphical_resources/icons/help-48.png,sha256=dwa40HsK8fyawnw6qDZdoWxWuhfb0GOG6gpF1vLJnZY,1662
deaduction/share/graphical_resources/icons/icons8-back-48.png,sha256=JfqNrI9rtu8u9luo2JBkiYQvlWQkRSHE9WI0rs8fJDI,852
deaduction/share/graphical_resources/icons/icons8-clear-48.png,sha256=dDHtN4Fy_TZQJk_m3N6zyWa-aGYOjcJyGlrX0kRetjo,1298
deaduction/share/graphical_resources/icons/icons8-delete-96.png,sha256=oqEiHO6PZKQ4-DsQ93yfUOqxjd2qbFM_DmeyEy2jpRw,3172
deaduction/share/graphical_resources/icons/icons8-double-left-48.png,sha256=_54Tlla-JR9zu6FSscl5PTQds0wQq7TpE-DTB_pYs8I,908
deaduction/share/graphical_resources/icons/icons8-double-right-48.png,sha256=Bmg6uNIeXhzxt_k6VF3dWwOfu8b4KL9i7TVU8va9tmI,877
deaduction/share/graphical_resources/icons/icons8-expand-48.png,sha256=w3Y0hvRNjooRTMYF-klMOCVKAKRFNJdsLss6OF08By8,889
deaduction/share/graphical_resources/icons/icons8-forward-48.png,sha256=-sP5dRM_Zg0hMcAlFvTCTf7KBhnWyoDhYgBbDd6k_iU,834
deaduction/share/graphical_resources/icons/icons8-hint-48.png,sha256=iNHr-33JJCNfcRu009TzzvU4-6R6t_f6rlGq2FPXTnQ,948
deaduction/share/graphical_resources/icons/icons8-history-folder-96.png,sha256=zClsKUtfZRy6xS6vCLUvq2vMKmlj0JP4G7npkLcV1g8,2740
deaduction/share/graphical_resources/icons/icons8-in-progress-96.png,sha256=Hn64Xsmz4_b42wpqlR8q3N_JokwdzS-nMlPUnJvcrqI,3712
deaduction/share/graphical_resources/icons/icons8-list-48.png,sha256=r3n28PDghhAbXDgFBc_3brBpeaZAaPa___vZjp2KC4s,307
deaduction/share/graphical_resources/icons/icons8-save-96.png,sha256=soCToi01RSfclojr_ZNps10SswmHjB4BzMwPZjkpkwA,2447
deaduction/share/graphical_resources/icons/icons8-shrink-48.png,sha256=dCbGNo1_Sqf5sHia2uXqzHRASOUZzwMgfyP_-NFCBV0,910
deaduction/share/graphical_resources/icons/icons8-stop-sign-48.png,sha256=syvLO4L0NpnOoYY2xcqW-Hcgo7nl2tltoEVUJtBZeHw,2022
deaduction/share/graphical_resources/icons/icons8-thick-arrow-pointing-up-48.png,sha256=A1BtJF43MA1r8JgmzmK-UijmNWJtCh4tM86h7XK0E68,657
deaduction/share/graphical_resources/icons/info.txt,sha256=y1Uj82dn9e_eunDR0YUgwx6O83ZVvFHB8R0L6_0w0W4,67
deaduction/share/graphical_resources/icons/lean_editor.png,sha256=k6WrAnPAYWoaB6-ZUzi5SvYJhB0ruhwwTN_rq-_y9n0,2938
deaduction/share/graphical_resources/icons/proof_outline.png,sha256=NZTuRIdDKeVKqWnfN3hpkRG9eZdreM8fqJ-y59lQaW8,806
deaduction/share/graphical_resources/icons/proof_tree.png,sha256=eD_JnGxR7C-QAPJBEiYkGUWQmFmKl3iJQtX8KlnB2eY,476
deaduction/share/graphical_resources/icons/redo_action.png,sha256=IEPUOV9kJ89T_hwVKm8VwAKdesJFkdpo-yKyG-SxUQk,1927
deaduction/share/graphical_resources/icons/reset_action.png,sha256=oTnYy-rscFvhhj_OElmK8Oo9xoawj9opMC2yLsv2Xbk,1869
deaduction/share/graphical_resources/icons/right_arrow.png,sha256=9d39ObH3krptbvaAeM-dA-n2rObAgJ8XBUHtCWiMI-M,184
deaduction/share/graphical_resources/icons/settings.png,sha256=dKv7fKYrIEgsojyKbJOssr2O2_pncJWg50hQhnLoM0w,1922
deaduction/share/graphical_resources/icons/undo_action.png,sha256=sV1ez6CoH86asGUtiA4BIyVuOjBal85OXe4ECN-IvQk,2124
deaduction/share/graphical_resources/icons/letters/a.png,sha256=-kvOigDD5uT_-QKEu3LWIf_s0VVOCvGtNSszO3BuBlc,13607
deaduction/share/graphical_resources/icons/letters/b.png,sha256=u_FlPXtAlIiOi70YYXfEhBc_gks-oyoEtjcc1c-01Hk,12213
deaduction/share/graphical_resources/icons/letters/c.png,sha256=ntZQIy2x8N7C4ZQC1Njsrr5F5QmlNCWfYg-RFlVtLHE,14026
deaduction/share/graphical_resources/icons/letters/d.png,sha256=FDMNDskmJeoprROUVuJQN78I-d8pBikpHK8LmV-6Kyg,11995
deaduction/share/graphical_resources/icons/letters/e.png,sha256=8HVs3AbL7x7pd8Z63GkDI77x_o04g5EC6nhbLrUM_LQ,7608
deaduction/share/graphical_resources/icons/letters/f.png,sha256=nvzR7GVCoeClLCaDC7qyrEuIp226VWJZXL4gm_oRQqo,7607
deaduction/share/graphical_resources/icons/letters/g.png,sha256=TngYXo4HUz_Wsh64Xf9PU8EVuQp1jnUXiSXW4R71kv4,13970
deaduction/share/graphical_resources/icons/letters/h.png,sha256=yqSqfwgHJLpyK-H094fFzMhGXc8w1phqn-OaVtwnOBg,7614
deaduction/share/graphical_resources/icons/letters/i.png,sha256=bs9VJufVFk2iAZpXMiAGC-gkVPKVjAeUL-01IT0h2AA,7538
deaduction/share/graphical_resources/icons/letters/j.png,sha256=HVnCZi5PU1aMGenLk47laq3hAzJS7p9bHz-AfVterHc,9363
deaduction/share/graphical_resources/icons/letters/k.png,sha256=nR1RN41VVBKkNKoPshBv2WrogzlLjXJSk36JCYInUY0,12816
deaduction/share/graphical_resources/icons/letters/l.png,sha256=QmCp2TR8Ri5N05Q5nvx06Q1BENdW2P-QXrNTrbQAk3I,7585
deaduction/share/graphical_resources/icons/letters/m.png,sha256=uLOXzqe1WgHsK_PC3bT7SEYrtRxilVGWkfV0bR0tMrc,12907
deaduction/share/graphical_resources/icons/letters/n.png,sha256=10pIYkwKygKpgSp1d9eKEPa4BxtEch3Q5vkwhS7L9xI,11419
deaduction/share/graphical_resources/icons/letters/o.png,sha256=31Eio4lLAvFiPHprOTiEYVkru2REiaNEx6XX0p1S8a0,15416
deaduction/share/graphical_resources/icons/letters/p.png,sha256=UU-LWSpCIrVdKUcwltidqeTVDVl0y4eU1SoDQQrLWZ0,10515
deaduction/share/graphical_resources/icons/letters/q.png,sha256=Udxk3-pjH0aOxRbcFEoLQ0eULtoDDrc_wUnXxcO-LnQ,16724
deaduction/share/graphical_resources/icons/letters/r.png,sha256=AtHzd-g0l4L072McDVzlJdT5Cj5g_SydvS1ecugOotc,12391
deaduction/share/graphical_resources/icons/letters/s.png,sha256=qzn7tqcLncWoYWrhbMCwErz1qqoMyZ-dEowlhMY3YKQ,14581
deaduction/share/graphical_resources/icons/letters/t.png,sha256=ULFC02RjTO2cWsXuhhJhOdfbrX1Jd3N3OOok4wmfx98,7606
deaduction/share/graphical_resources/icons/letters/u.png,sha256=TZWUwO3KXDwf4kRa-u16zkA6Bi18BUZsBUAEMvl_p50,10871
deaduction/share/graphical_resources/icons/letters/v.png,sha256=GU3b-A0dOH6wyfcG7srIeS798J5blo5KcVUN7plYlQM,14184
deaduction/share/graphical_resources/icons/letters/w.png,sha256=iGdJPmn2QvUH0pfWSp0pF2yO8M3n9GEcu7ZRCJu-7RE,16638
deaduction/share/graphical_resources/icons/letters/x.png,sha256=XCTZeuz021u2sWZheywHrcmDKY070Bp9EfCQHkX-YMI,16051
deaduction/share/graphical_resources/icons/letters/y.png,sha256=xmK3LzoNEdcZABQU4_7pUzKGqG7EarQW8Oe-Lzzq-is,12680
deaduction/share/graphical_resources/icons/letters/z.png,sha256=OYTr4f5OPOyJwHVW8URAnBA8NH0RMP5Qn4JwbXYUCUg,11834
deaduction/share/graphical_resources/icons/letters/blue/d.png,sha256=7oWjgADGa6W26hMqcjsY8NbkVzOI7smrGrerTMLBOaw,2706
deaduction/share/graphical_resources/icons/letters/blue/e.png,sha256=bvVZUjC4592CUkX72zwe3MicPAs5p6hqR0oiqJVT-4c,2447
deaduction/share/graphical_resources/icons/letters/blue/l.png,sha256=BC1q_9hQHVO2CFeHO_WTk9I0B7AKKuNd7s29yIUYyWg,2271
deaduction/share/graphical_resources/icons/letters/blue/t.png,sha256=TVvNFTXXSHOlfPTnumaKChkUUeYc7N8q25A752X1eZo,2313
deaduction/share/graphical_resources/icons/letters/blue/tag_different.png,sha256=YaSwQbkszan11XJVt9YH2qGqFYgAfbH7qxUr2dtVXMc,2211
deaduction/share/graphical_resources/icons/letters/blue/tag_plus.png,sha256=3-wDe1DgOhz6BjZfmbvrYoK1FtCynCouEcE7uy5D9Mk,2172
deaduction/share/graphical_resources/icons/letters/red/d.png,sha256=jNrmxGU62bC7pNK1lXJaKvU7Qhp1qhx5qNL3-U6xDig,2470
deaduction/share/graphical_resources/icons/letters/red/e.png,sha256=-Hd9E78sn41PB8tWOjqhdKojUliOx5CDxUD6qpVMkTQ,2227
deaduction/share/graphical_resources/icons/letters/red/l.png,sha256=kjoI87y2u7BgjHQm8UPIkzwvUitH7ltfTQNXhamLaf4,2066
deaduction/share/graphical_resources/icons/letters/red/t.png,sha256=sxwzwp3tP4esFcT7n-oquYCHuGFRNGVQ1lrmv9Zl6PI,2190
deaduction/share/graphical_resources/icons/letters/red/tag_different.png,sha256=ohY12AZhHqepY7EG4FA8HoQ8o9MFsVAVNIPW3BEPsMs,1835
deaduction/share/graphical_resources/icons/letters/red/tag_plus.png,sha256=wENxhndIeBESEBKUNsrj_kOpRNum9l3H5DaI6QjvAIA,1780
deaduction/share/graphical_resources/icons/letters/trials/d.png,sha256=JdIn-njFKcN2gn8WgzqbNQ1Hdt5xbkCUxhbwY4sMtg4,11568
deaduction/share/graphical_resources/icons/letters/trials/e.png,sha256=-Hd9E78sn41PB8tWOjqhdKojUliOx5CDxUD6qpVMkTQ,2227
deaduction/share/graphical_resources/icons/letters/trials/t.png,sha256=sxwzwp3tP4esFcT7n-oquYCHuGFRNGVQ1lrmv9Zl6PI,2190
deaduction/share/graphical_resources/icons/letters/trials/tag_different.png,sha256=ohY12AZhHqepY7EG4FA8HoQ8o9MFsVAVNIPW3BEPsMs,1835
deaduction/share/graphical_resources/icons/letters/trials/tag_plus.png,sha256=wENxhndIeBESEBKUNsrj_kOpRNum9l3H5DaI6QjvAIA,1780
deaduction/share/hlists/lean-3.16.5-darwin.hlist,sha256=9kuFwKGT6b-QbL2_nJ6dQUc6VlZ87Rj-QWJbiNJNcw4,24793
deaduction/share/hlists/lean-3.16.5-linux.hlist,sha256=y4HmQ_wZauddO-yr_Zb7J9TbwjtuDaszIjoQypGSD9I,24808
deaduction/share/hlists/lean-3.16.5-windows.hlist,sha256=sE3NZIqSnI-fUiwkZRHDpc78PlgESQX2ZCbbboyhFcw,24882
deaduction/share/hlists/mathlib.hlist,sha256=NOhxD3L5oSVHKoXuKVwAXiKmovTTahXABWDurdGPsdM,50612
deaduction/share/icons/deaduction.png,sha256=-6moUIIpaBjmnd6vLTIIrGyqd-EqOf-wn72EOKUioX0,5741
deaduction/share/icons/deaduction.svg,sha256=3_DCYaAyrZCLcupr8A-WtZ9t5DLLg40hXYRApoZxWvE,3538
deaduction/share/launcher/deaduction,sha256=aI9g8tq_wbZwI6iKsfXOl8OkIwKAdw6fjv1OdIehaxk,36
deaduction/share/locales/fr_FR/LC_MESSAGES/deaduction.mo,sha256=eQhAGP00J3NbOPbMc8ryQiNAmKahc6Zk_7XaK0MWgpY,74386
deaduction/share/locales/fr_FR/LC_MESSAGES/deaduction.po,sha256=GE4QKDJuZIveGIB-cb3t-93PyBBvzICY4HwGxxYQqYU,127355
deaduction/share/locales/fr_FR/OLD/deaduction.mo,sha256=29766rJc-B1TLaDAT2mrsp0Uv7lrHyUjpo9-la0V2LM,52280
deaduction/share/locales/fr_FR/OLD/deaduction.po,sha256=vVo6k4sw3-5elCjavFxqBCRlCh0-ezkAwfsuZAQZREw,88751
deaduction-0.3.9994.dist-info/METADATA,sha256=JMg1kVR-uoj_ZAc1yrm05XZtTgGxcAH0H95xRiGTuag,42762
deaduction-0.3.9994.dist-info/WHEEL,sha256=1yFddiXMmvYK7QYTqtRNtX66WJ0Mz8PYEiEUoOUUxRY,87
deaduction-0.3.9994.dist-info/entry_points.txt,sha256=jqOIyuFZ1yLKpCPHU6yEHCC0gN4FkB61vU2zcDf0VvQ,125
deaduction-0.3.9994.dist-info/licenses/LICENSE.md,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
deaduction-0.3.9994.dist-info/RECORD,,
