deaduction/__init__.py,sha256=s9kRuL_C44i_TQ9NzEAqQGugTSykpwpTSqt8_yUDkWo,1038
deaduction/version.py,sha256=riKOamQ_VcXgZ1yTnJL_Eo_5WdXYvUFRZU7KINUmYno,712
deaduction/dui/__init__.py,sha256=L7cL0ppgTW1-EPYUT-nVCIFkeJ223boI_O8C5lJnpi8,1013
deaduction/dui/__main__.py,sha256=wkL9EHncWRENVLiGVTCibU4HnU7oc1CiFbXLcA2GV6w,30643
deaduction/dui/elements/__init__.py,sha256=98F9BdnUhY_2nz7S2MdpjiUFLyO3CCswWannTSm07Dc,1883
deaduction/dui/elements/actions_widgets_classes.py,sha256=ncFq2y_anBE1o5Du3xQRhgG9elumniCns2W2romXXCI,54121
deaduction/dui/elements/config_window.py,sha256=i6YWOKRYL_E4R0tf9jMgpbVBTu7oXRa_dSiAi4EmT3Y,36975
deaduction/dui/elements/config_window_text.py,sha256=TtxzbtUd-byzQStZ7X816Y_NHhQXUTXJP3zE8CCEPm0,5982
deaduction/dui/elements/context_widgets_classes.py,sha256=BOPMAioffV_bG57TKwxINnBhWPuDN_uByOsTHO_A_mM,29995
deaduction/dui/elements/goal_widgets.py,sha256=inVzfcsj-xO0zHcTbIHsEmRlsvh7ST3a_GncsOuUg1g,7941
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=Mig39BIysT6sR74O6HDyGhV8wQImSUh9oFHQiFJ_y-w,6215
deaduction/dui/elements/start_coex_widget_classes.py,sha256=ERqoljOTVcs50KH9p5lbZoeaKfeDDE4Y-D0wfQ8NkOk,2435
deaduction/dui/elements/statusbar.py,sha256=8cNeGmF2Vr04Re4L986Dl1zz2rYku9ZvcHspXQKmhT4,6202
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=quUnk4V9sSkDM5S1tNbuUu5-M1X17BXqJgkmzcjzS_8,1729
deaduction/dui/primitives/base_math_widgets_styling.py,sha256=QSfCw77-TVcHNXBiDc61b-hDhPaXS0wZSHuesWNfJRE,10815
deaduction/dui/primitives/buttons_dialog.py,sha256=RwQY07QED3LUNZzdCjYcO_ZY-50Pub80VTPLnkVifnY,7616
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/radio_tool_button.py,sha256=1KLZ44hWiV81Fm4jeWmy8RkoWdW75oo0LqK1CGe7Ttw,3596
deaduction/dui/primitives/rich_tool_button.py,sha256=eZMhKwTrsp8mrzhlsRJ1BkHsNP-47YJuAz6wKCHwcSk,3355
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=tiDxNIf35RCP6wsALWedSjSdGjeWiOgQpmEgwolITKE,65141
deaduction/dui/stages/calculator/calculator_button.py,sha256=dXzwjUWV_qyczqRULQSNPMGU0XL35TjLGk-zuAXH3vM,10739
deaduction/dui/stages/calculator/calculator_targets.py,sha256=yMyGNNonzyq4FmNwHs7uHY769Ktqd6baIuKFKHN9LuY,21050
deaduction/dui/stages/exercise/Coordinator.py,sha256=dAOx1tWKexo4VyXpq8nhNfPmNEu2UT_s9eV6cJk5p0A,73140
deaduction/dui/stages/exercise/__init__.py,sha256=ofDTksKrfHF3RpmkmNPiALPjTRBJ3pWKEWaCThCflm8,1164
deaduction/dui/stages/exercise/_exercise_main_window_widgets.py,sha256=QWr9XDrndFQK_vTRbvA58syV1z6qXPzaBSxWf9uZm9w,33031
deaduction/dui/stages/exercise/coordinator_mode.py,sha256=JP5nxIJgmtEbh12RkYuXbmoBPJIfApMBNz4A01jDFeU,223
deaduction/dui/stages/exercise/exercise_main_window.py,sha256=sMo6GftSOd23eeo0Ox3F_9Oi6sUddU9Z-PEXMwr8bfU,46020
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=P3e6Av45Va-dlRWmCO9ME6YBjY8f2UxYcMwkYFgn6e0,59341
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=7ro8n5vLn0Ja02KRszh7EzBcS-3LboPNoFvBiNtIj6c,22281
deaduction/lean_src/compute_all.lean,sha256=OWY2PHBAo3WQqiBnCGxGQ3bxaXELtvGCexUfmLBXRjM,108
deaduction/lean_src/compute_all.olean,sha256=fesCPVsnnsolPLouyW9WcRkgiSXzbqKRQJuqoKlygxU,2382
deaduction/lean_src/compute_simplify.lean,sha256=P9-I9iZ2So5Hp9ghDN-Nij15Dj0RUU6qQJuJ6TyzUfA,3938
deaduction/lean_src/compute_simplify.olean,sha256=PNxrQIimhKrA_UsAo-bvLH-Ug4ifSyuMledC5x2tAPY,11545
deaduction/lean_src/compute_smart_tactics2.lean,sha256=UysE3yaRVqyo64Z54MbBmu2t-vqYsCL5rB0BqYJ1_CY,18473
deaduction/lean_src/compute_smart_tactics2.olean,sha256=D2tfP-3-3be8qZc4otKnN1Pp5hJSbOs4GJmgT3NSQTA,26195
deaduction/lean_src/compute_triangular_ineq.lean,sha256=ihwkzmvL__ZIUA0T0sl6ed6b1c6c_FKEPfknaNRF-V0,5973
deaduction/lean_src/compute_triangular_ineq.olean,sha256=hTRkOlxLA_pPQQ-dCMl34irk7x7bTFqhWqAp4dAIrpo,41093
deaduction/lean_src/deaduction_all_tactics.lean,sha256=pl_HBWy_5RizqonbVWPbgADxGq9Avcf1iJODB0vFjsQ,348
deaduction/lean_src/deaduction_all_tactics.olean,sha256=GiaYdzTqHOnu-yG3bDnZpKDVEUPZyjj37fLBHUZY3Jw,2366
deaduction/lean_src/induction.lean,sha256=aLxCtNGkMOH0HFTp2tc7r1Dv4SbyxivvrOr5X8mxM84,656
deaduction/lean_src/induction.olean,sha256=S4snYwgn2Qzy-RZdbyAbZ3ruWnylgFaNICT7Xxl7YKk,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=OSLADeNJ81MOQqtYbQL06s36ZLzt19AN0HkTV2QhNm0,501
deaduction/lean_src/real_definitions.olean,sha256=YlDteTpvjRDS59DMX6rkX9IWfDjSZLUbJr82u4wQiuo,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=gvbnTxxQ3Dc0EiYnTO8ckRCE_hn6PBOneS21ZXxRzlk,4064
deaduction/lean_src/utils.olean,sha256=8yOVanixSrSDIw6_Lr5ZutwqsJU1cbkhEQOvE-7QlM4,8789
deaduction/pylib/__init__.py,sha256=KIMqGMMXO19OyYF7qJCL1jHNK6YIfKD8K4RU4Rwj1kk,1068
deaduction/pylib/actions/__init__.py,sha256=LfUk_6Dld6BcwHWKsIi5o4NmCjF6sa-bLneHXybaAkE,2377
deaduction/pylib/actions/actiondef.py,sha256=OzmBAJhA2e1_oeKOmRe_0JZHkH7hYa-aj815AHgB1FQ,3477
deaduction/pylib/actions/code_for_lean.py,sha256=lTAnWqG08_xVREuQ8OTJz9zCagYUgPU0ab9msQUEPws,45488
deaduction/pylib/actions/commun_actions.py,sha256=30w_wWcGd-G3XbElolYYSFw5zoMcpIBNEtlrlLWKMdE,21192
deaduction/pylib/actions/compute.py,sha256=UCVNL4LXv3yybCGOVs0Mi2Tw-F5H-CMvuxzDFEseTRM,17571
deaduction/pylib/actions/compute_utils.py,sha256=kHUW7WLxXC_O7K-L5kzGabBT3GTtmj_-Co_yggvQKng,5057
deaduction/pylib/actions/exceptions.py,sha256=V-X53klRJNFvXv9SVxM7K3FPImfdPPAjkcQiNw4_djE,19195
deaduction/pylib/actions/generic.py,sha256=1P9sTbOG3GNaBiBGSenNITOvwBWyROpc8jMP5ejrCEk,10962
deaduction/pylib/actions/logic.py,sha256=4dtQiOdE_eIqE-EfzwTJyDuieVnHhE9ka2MoaPbUeyw,72206
deaduction/pylib/actions/magic.py,sha256=iIPOB_Yb9NJCZ4Ev7zBTJbCVVh5OSYAw3559Ne44F1A,18288
deaduction/pylib/actions/proofs.py,sha256=Kn7MlGD_LozFTGNsbbPwvyje6vgSLk3IEmA7t16I7G0,40178
deaduction/pylib/actions/special_actions.py,sha256=hl0mguIt-WAH6NSw31IYMYkMM8zvKm-OPGylmwoNsLk,2888
deaduction/pylib/actions/synthetic_proof_step.py,sha256=Um50U9gX1V7LdioUJxJZQtGyZOwIojA-osjrOeAgIkI,2284
deaduction/pylib/actions/utils.py,sha256=oXDFaX8777hH1kN-u0v-wWtKZHryiuhoItrG8OfT4yo,5734
deaduction/pylib/autotest/__init__.py,sha256=Cl_IRHAXbXR5TtCPF-NAoZ1VY8qiMyHaBe6M0BZqHok,1047
deaduction/pylib/autotest/__main__.py,sha256=ljN3dqmhVe4KGCmvn_qUPI5t4U1dXp5kMXyQxzCUm2o,21511
deaduction/pylib/autotest/choose_coex_for_test.py,sha256=_0CYz9jfZse41Qmjkfr5BNXvv1H9JTcNO599oA8nsCY,3559
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=I20t1VCXfCZcVdw3sMBuvbiLNRU0odBvYnHBM_voglY,3627
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=bk3klfwQ7Eyjmjvax6cHpbVn3QE6RzltNq8_sXmOAXI,2838
deaduction/pylib/config/vars.py,sha256=sZjeFaX0SRMGS5O1iiFjC0bQeXjt1e6kENiwT63QoJw,9923
deaduction/pylib/coursedata/__init__.py,sha256=BTYs_z4kX9G9BOwEeO2ZrhGsx5zpI3S4O53ZK6LhEn4,1235
deaduction/pylib/coursedata/auto_steps.py,sha256=0cAl4KzmRq_W9hsShba-WUP2Q7acyJKRcFBpew4WQws,23644
deaduction/pylib/coursedata/course.py,sha256=hbUsag9MG_vOMpx18lzdZHs6Elb3-_xA7ansD0qjxQU,30614
deaduction/pylib/coursedata/course_metadata_translations.py,sha256=_17KOudxS9chS_HWg8RaT6WU_Izouzzyl5jzu7PZCg8,1948
deaduction/pylib/coursedata/exercise_classes.py,sha256=Ws_1tKEZfXQyLpFOUmp6GRfYJk4Ru2AFlB7hJngZJAI,58536
deaduction/pylib/coursedata/parser_course.py,sha256=j73mxNjNC3_Wm_kiurjDapKZND4-QGfJbaRikbVJfkQ,27093
deaduction/pylib/coursedata/settings_parser.py,sha256=Brm56B_oeJE6tHm5uEh_eT931eUkIYY0r0Mi3pi2A38,5255
deaduction/pylib/coursedata/utils.py,sha256=P1Vz78H2uk3LjHCdwJZ8I4yedcJxuN9sHoJrQ9V9zLg,4634
deaduction/pylib/editing/__init__.py,sha256=-gZUiP_f_ESlG7hlmQe7ebmBMPB8gq0jiw5A2bbHGN8,17953
deaduction/pylib/give_name/__init__.py,sha256=F6qz4Uk-W7BafJNEC1-LCmBDJHE8bt3L5i0aiSXMlME,1017
deaduction/pylib/give_name/get_new_hyp.py,sha256=w5SjON_tYyRXeHbQCF3JQO9dusECuDC8UsywXv_CiCo,28429
deaduction/pylib/give_name/name_hint.py,sha256=bih2XalTM4Hwb9xOizq9mlvEoiSoN4pyx1YuQFhindQ,14286
deaduction/pylib/give_name/names.py,sha256=l3Zew0w8AzX3EuzsGWaQb3gvK8d6pOzv_H3Gini--G4,13280
deaduction/pylib/lean/__init__.py,sha256=s9kRuL_C44i_TQ9NzEAqQGugTSykpwpTSqt8_yUDkWo,1038
deaduction/pylib/lean/installation.py,sha256=I-LvKjmI3b9AaIe-fqc0LrTe2WI1-ToifVEo5ZF4ST8,5461
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=kiFWLKLqIvOQDVNRp2xuy6zRgtk4gh8WrzPO_80JFpA,14732
deaduction/pylib/marked_pattern_math_object/marked_pattern_math_object.py,sha256=JLxJbuvoV8oVVMJWv2kVF7oquPDFvuskntjMR89q4wY,66612
deaduction/pylib/math_display/__init__.py,sha256=suGx1VZQIvSp3c8HnpPTDY8MTI70B1Nzmth60e3wIw8,1918
deaduction/pylib/math_display/app_pattern_data.py,sha256=-_HNtTHA4PHVS_NT22rJkXgIVXRxGblkvBdRAza2YDU,21512
deaduction/pylib/math_display/display.py,sha256=S3CF0h5CTb769ctT71IMKlFQdwN5ExAtIPFyVod0YaU,2674
deaduction/pylib/math_display/display_data.py,sha256=LibrEF3tydq2mzMfWEtZ5dnfm5gFDs0KpXYlz9q5dwI,37859
deaduction/pylib/math_display/display_parser.py,sha256=80QKZ0SfUOcLhGtC4o6vO8ngOZzun1q4aCuSRmpukjQ,4520
deaduction/pylib/math_display/display_utils.py,sha256=Jjd2aDsQi-V8hRiJMXHOdF5BLiVcAi-CikGpGdoTK-Y,5438
deaduction/pylib/math_display/html_display.py,sha256=UYqqF749sIEVIiAuUhMDiIHPKNmyXC7t5J8MFJ83IU0,8106
deaduction/pylib/math_display/math_cursor.py,sha256=L8ZgOyvi2kVKXe3WV_pW6pZ2tsfuN2iPAhyxRvQw1eY,30857
deaduction/pylib/math_display/more_display_utils.py,sha256=wOxNl6gu_mlsKmGkFmO1rAaenzD4Lq7L7LAAdLM7y4M,4939
deaduction/pylib/math_display/new_display.py,sha256=oZamtLjhCKelV4fT5rrGmmdxg9duY7yNfFldFK6tBGE,41580
deaduction/pylib/math_display/nodes.py,sha256=pSjMEGHP9VI6WaM9PWHIX-pP38rc7EBDr65f6rx9LEk,24911
deaduction/pylib/math_display/pattern_data.py,sha256=_kbrQHexfBNPseLzBEOpV19WOE6X4Ayac0_71lAUi7k,18095
deaduction/pylib/math_display/pattern_init.py,sha256=bWD3kw_2Th_GYmfOphRTJnf_KNURwTY5xleX2Askquo,5331
deaduction/pylib/math_display/utf8_display.py,sha256=z942Z9z-6oJ0fnDTCv_LDMB-KlJ_phn-Uj_jmo3nRrE,9623
deaduction/pylib/mathobj/__init__.py,sha256=_g3Yzt_uCudkjb5XBw_D89UMkNZnOrENv4spgw1X4h0,1265
deaduction/pylib/mathobj/context_math_object.py,sha256=F9B7rNC-vrBCEM63FvIREmx50ZBOJT3rU6O0tw2VpKo,17842
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=QwxBi59qta83TyxhjquMt-W7I2X8HHDpFI8_RF4UytY,97642
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=llY_WxzwYbsPocSrYpVTKYLjJOvgnP5AARjjNHLsDP4,18855
deaduction/pylib/pattern_math_obj/__init__.py,sha256=4IkpWQim4aCnoSL9CfL6hfxY1P85ioMeCqQAr4ckY40,1085
deaduction/pylib/pattern_math_obj/definition_math_object.py,sha256=gs-a3YTSMVjK5h_YuVVTIQaEKRDTiJpie8JiSI4y5Nc,6666
deaduction/pylib/pattern_math_obj/pattern_math_objects.py,sha256=MZI35UMltz_5Ns92GvPBn5h_Xr0-5pdl792Fx214If0,42372
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=J-mW73XzsxLIvfBRu0C5kzpGUNBfnm9wzmAKcKkFcFo,4323
deaduction/pylib/proof_state/proof_state.py,sha256=r4uK0610XyK53kcGvDiwM0VNtJ1SZOwCyMliDezgp2U,51623
deaduction/pylib/proof_step/__init__.py,sha256=dE6ctt-Dl6F1B8rPHU7Oky7fbjT5mBfKCnwNFi-y96c,1054
deaduction/pylib/proof_step/proof_step.py,sha256=-eNw6egsviBlUX1o-GydYC9cX7deFYni4MaHq9ytqGQ,30857
deaduction/pylib/proof_tree/__init__.py,sha256=hT5ZUb-YkMtXUVZmWkv0O36s5Gi2jCRrz7jWpY-6Y-k,1077
deaduction/pylib/proof_tree/proof_tree.py,sha256=72jgLybl_Axcpr_4OfIvPZEwRarnWGgI9W3Ig17yQLw,43970
deaduction/pylib/proof_tree/user_action.py,sha256=poNhBwrfvWaqXJOWe4don3QGn5Xsgtjp-zpRBjilxOA,9640
deaduction/pylib/server/__init__.py,sha256=fNuWc5y0vMAnLhcFwkaMk-F66nov4bkcVZQIZebBGE8,34962
deaduction/pylib/server/exceptions.py,sha256=TXRS6gDFjieY1EVuipjiE2HOYwElBZy9Nfyx-j3fPDI,1634
deaduction/pylib/server/high_level_request.py,sha256=Wd0NZrM3XsKeueaxwUh9cFH7yrBF6Yu5oiOjuY8AzFo,19009
deaduction/pylib/text/__init__.py,sha256=Lv51XaMeqJOeBHZzhw6Bh5wn5BvP9EGLxD2-Jw3VWB4,1448
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=RKm9HKve5G5CcX0bZZyHfk74wVUW8c0clDR8KqSlZTA,10797
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=XQfVNu5zs9BezGokaUevdgHcrbITVDTkAbw3qUrhgFI,3355
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=0PpXvn_sfADv8L2gRXHfClprSSmMBAFXpJrFjOVA4Jo,7859
deaduction/share/applications/deaduction.desktop,sha256=mo4k4_qTUY24goIS_f_s9umu-_8frYIWgsJ2BNZ0qWA,178
deaduction/share/autotests/autotest_buttons/test_forall_ineq.lean,sha256=HH1pS4fQ404yaniagEA9aSu6hrXk7bHbE43NOXFn6vM,3497
deaduction/share/autotests/autotest_buttons/test_logic_buttons.lean,sha256=IKziwDUZbBgGkquhhCwenvrmTfpmmxpYT3mQ6heXFYk,19600
deaduction/share/autotests/autotest_buttons/test_magic_buttons.lean,sha256=qDeFdX0Gn7pLaMk80DmVcWBfU2WcLHaEIIGtORtQ0jc,8246
deaduction/share/autotests/autotest_buttons/test_proof_buttons.lean,sha256=eMJaEClwEPX79q8EBhLwLtnB7NojBeavhxXuxbfoUXc,6847
deaduction/share/autotests/autotest_buttons/test_statements.lean,sha256=3dHJ4N4H0yBlyQaZpUspcEsokAHxSE7d8YLfCbGmVd4,6526
deaduction/share/autotests/autotests_exercises/test_Applications_ensembles_deaduction.lean,sha256=S6rQEaM8-UzghIuUsBtAw1cP-HD8C-hyV5aFLWhRZa0,35366
deaduction/share/autotests/autotests_exercises/test_Tutoriel.lean,sha256=TqiHts5ovDQAcaAbyDugtbUDACn4bzTWcQNE1uNIc8Q,14756
deaduction/share/autotests/autotests_exercises/test_Tutoriel_decouverte_deaduction_1.lean,sha256=tLzX0aWrFd9t5Dkxho7N5iyUe_DrpfMkRaCdcODI7Ww,32471
deaduction/share/autotests_new/autotests_exercises/test_Tutoriel_decouverte_deaduction_1.lean,sha256=Z99Pm6XnXG9aUIJwUu_ES0cd1Zu3x17KOAi8MflfYv0,24544
deaduction/share/autotests_new/autotests_exercises/test_Tutoriel_decouverte_deaduction_2.lean,sha256=0nBz8qijC8LwzkJUvcRB9zqmH7SDs9lSbQU5BJncCvI,16768
deaduction/share/autotests_new/autotests_exercises/test_Tutoriel_decouverte_deaduction_3.lean,sha256=D_nwxGjI6SZDqsiQxRHI7zx6Xp9kMF1NjACbnNfCbP4,10610
deaduction/share/autotests_new/autotests_exercises/test_Tutoriel_decouverte_deaduction_4.lean,sha256=VfiuMHW4fTbPGpj1bAcgeTpDDmoZBUd_LUVnNmD_JbU,16167
deaduction/share/courses/Arithmetique.lean,sha256=HpGISWsEpb9DdggJiIXc4x483BAgJ7XbWMufXGE6qHY,13724
deaduction/share/courses/Course list,sha256=YH7Wy0AKa8KXw56bBPNQ_y0v32s29jUNxlAwXWMRX0k,579
deaduction/share/courses/ANALYSE/Fonctions_paires.lean,sha256=FziV2Z0g6-8n-GfaNSkEL9moXcecLRSxmQbBI0Zc_84,9721
deaduction/share/courses/ANALYSE/Limite_et_continuite.lean,sha256=TLlp3MiDpuqyZpxEbXXiJhOiL0akicEyII0aaPVEhws,20441
deaduction/share/courses/ANALYSE/Suites_constantes.lean,sha256=dAw7slpGuJrNDwxiusyJ0Fq4ZtSZCq_y4ekcg4W8rus,10240
deaduction/share/courses/ANALYSE/Suites_croissantes.lean,sha256=0PSM7u6A_zB80OsiqJ96eI4zT-2F9r-P6NWu32TFo6s,14557
deaduction/share/courses/ENSEMBLES/Applications_ensembles_deaduction.lean,sha256=JjbMDEqf6labKT41xZXxjA1RAgI_eQwmJmpoq6E4-Sc,11305
deaduction/share/courses/ENSEMBLES/Applications_fonction_carree.lean,sha256=55aJoGYlxlqBiJZUkWiO77_B6O5yRt77pvZXtYP-RXI,12016
deaduction/share/courses/ENSEMBLES/Definitions_ensembles_deaduction.lean,sha256=YSlXaK9hRP4db9b70E-1IBwhdp-gWeCh6Vl6Pwi-i-g,4822
deaduction/share/courses/ENSEMBLES/Ensembles_et_applications.lean,sha256=-speDIs3EtRDlALr7AZnDoH8D3De9ZHor3tkDW_YBkQ,18599
deaduction/share/courses/ENSEMBLES/Operations_ensembles_deaduction.lean,sha256=_DRF-DYGQuFUHW3m_3L0Kw3Qpx7wWrwIoqWcIlhJgXA,13391
deaduction/share/courses/ENSEMBLES/VF_Applications_surinbijectivite_exemples_deaduction.lean,sha256=_AjPSMhciSVWWalf3axbOSXBdWrVh3NTSDZFduhbRr0,6103
deaduction/share/courses/Isabelle-new/Applications_ensembles_deaduction.lean,sha256=BMK-zYGsZCY5EtmoNrBwcWnGZnC5CmUyS0GzoL1t97Q,11105
deaduction/share/courses/Isabelle-new/Applications_fonction_carree_deaduction.lean,sha256=wSJcwGssWFkSIFrOVpC3yDU5PBsje1Eh8VCOLyQmY70,11115
deaduction/share/courses/Isabelle-new/Definitions_ensembles_deaduction.lean,sha256=0uiu5vl33jJqGrGe8et0R70BlZNQNQenKw7BHkzjGXw,4622
deaduction/share/courses/Isabelle-new/Operations_ensembles_deaduction.lean,sha256=P15btGzcQgVZnvoqcHWoWDVHyVi6hKvXJve23Ti8PGo,13179
deaduction/share/courses/Isabelle-new/Recurrence_deaduction.lean,sha256=3wkYc-unXtk0WXx2vsRga2zsqNq-Z031ohcPnNvVxck,4310
deaduction/share/courses/Isabelle-new/Tutoriel_decouverte_deaduction_1_v2.lean,sha256=3JMrq9vmfpXCFC5ABM5-A8LJo5GmYHNej2HaHpTQaec,7992
deaduction/share/courses/Isabelle-new/VF_Applications_surinbijectivite_exemples_deaduction.lean,sha256=1URBS5UZ28dF8t4Qx0bJgPFvDIo0XB6tOVuelu6883M,5892
deaduction/share/courses/Isabelle-new/VF_Quantificateurs_et_nombres_deaduction.lean,sha256=V7btahkXYWHTuZidEVL9Y2dx23pmGaRLGuaXiebho8U,4809
deaduction/share/courses/Isabelle-old/Recurrence_deaduction.lean,sha256=3wkYc-unXtk0WXx2vsRga2zsqNq-Z031ohcPnNvVxck,4310
deaduction/share/courses/Isabelle-old/Tutoriel_decouverte_deaduction_1_v2.lean,sha256=3JMrq9vmfpXCFC5ABM5-A8LJo5GmYHNej2HaHpTQaec,7992
deaduction/share/courses/LOGIQUE/Logique_et_inegalites.lean,sha256=Lg7SpgNolD6tNzWVm3U2K3hKihNWCy_KyG-h11LIK6Y,7208
deaduction/share/courses/LOGIQUE/Recurrence.lean,sha256=59EAFbD0n9q7_0VlLD4EbJMUdu5kPaicbkAWp2jPUU4,4430
deaduction/share/courses/LOGIQUE/VF_Quantificateurs_et_nombres_deaduction.lean,sha256=wi8dxBBlLK3lq0A4uO8Q5T2JVv1pDTunuyy9LZ2SKZ8,5009
deaduction/share/courses/TUTORIELS/Logique_propositionnelle.lean,sha256=p2c_L7ZQZMhTVKFwcs_edlX0rpEX-i_ORNacQEYfecg,6111
deaduction/share/courses/TUTORIELS/Tutoriel.lean,sha256=-OiUpa2m3xMB2Ql-WhNpdmytXxt-kc9rdZDkNNN-TPg,5581
deaduction/share/courses/TUTORIELS/Tutoriel_decouverte_deaduction_1.lean,sha256=Tl3iGZt-Qo7txwYZA1gcggAABiP9KXHJWNAesWcUQ1M,8205
deaduction/share/courses/TUTORIELS/Tutoriel_decouverte_deaduction_2.lean,sha256=ULUUv4gnmeJFfFlU2c73O3Hq7EHUKmndI9WGjLXdlc4,4592
deaduction/share/courses/TUTORIELS/Tutoriel_decouverte_deaduction_3.lean,sha256=-isymjrj0Ng2Vn0QHXn6g6HLIZoptdDFxWC8bJlaCxo,4358
deaduction/share/courses/TUTORIELS/Tutoriel_decouverte_deaduction_4.lean,sha256=9YWIS6P1-hT_QME0jfZvM7djg5SacAhT-RQfSVvZ5yU,9416
deaduction/share/courses/experimental/Didactique_Suites.lean,sha256=p8aZc9ve4DRhRj0BjxM_vKk0goTdQnVm2NuJ5RTCDtg,10846
deaduction/share/courses/experimental/VF_Applications_surinbijectivite_exemples.lean,sha256=9cK_r4E3J_G69-w0FojxD1svGants3E8Aq5J6Kfduvc,5541
deaduction/share/courses/experimental/VF_Applications_surinbijectivite_exemples.olean,sha256=dXUbjvis9cHiZYuDOp4n_5oQO0kkzxG19UFoCZ5XTqg,4366
deaduction/share/courses/experimental/VF_Quantificateurs_et_nombres.lean,sha256=h3jeFc18MncGZtRPnorw_unvg-de5oMqGfgFdJPPEYw,4821
deaduction/share/courses/experimental/VF_Quantificateurs_et_nombres.olean,sha256=PIio-X13cgzd10HfMApxNsQCyfk6aUvDyPiShG83_mQ,5130
deaduction/share/courses/experimental/exercices_math_discretes.lean,sha256=CpLjhoxFxAPBVPrirUE06Y19NUJhhdMkUQ3sx6Iw-4E,22760
deaduction/share/courses/experimental/exercices_math_discretes.olean,sha256=clSESE_QI5SU1saKtltoTrJUzFlRuulmcRBLZHUpG7g,25173
deaduction/share/courses/experimental/exercices_parite_monotonie.lean,sha256=AMz4D39eqvL4XmtgaRU7J9hTiJ4MWvm2LaeKJNpQd8Q,13019
deaduction/share/courses/experimental/exercices_theorie_des_ensembles.lean,sha256=nHI44dHzB7tR1WO6msUCM94NkiU6xvCvPrjnMHpq9oY,22399
deaduction/share/courses/experimental/exercices_theorie_des_ensembles.olean,sha256=tSEbC-JafNADxQEKzLFSh_etOhOJXdXm1N4G9zNT18E,19002
deaduction/share/courses/experimental/formalisation_universel.lean,sha256=VWUkaodolQ8Ii0vkWGx4ie4WnhyRbpLsnMWOk9MHzu8,5597
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-plus-48.png,sha256=OEA81LH30Pn_1DEdrJbNARsO2Y0CrX-21Wiz3RvOrOc,1435
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=JrAcx3BvIevUxs_dnPDlMgrEZ3BUg85SKBe9aKXxf5I,113
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=D-ZWioSJVujkZfz7ml7-KgENBtxUxgpsaw7En7lYdRE,81082
deaduction/share/locales/fr_FR/LC_MESSAGES/deaduction.po,sha256=0UBU_c4uMeOCXeEptWvsGVkema6D6Spr7920KETBokA,143712
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.99984.dist-info/METADATA,sha256=g_h7erKwLlcOJwHWMl6axcpuQr37E97gRxJrQOa7lQI,42786
deaduction-0.3.99984.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
deaduction-0.3.99984.dist-info/entry_points.txt,sha256=jqOIyuFZ1yLKpCPHU6yEHCC0gN4FkB61vU2zcDf0VvQ,125
deaduction-0.3.99984.dist-info/licenses/LICENSE.md,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
deaduction-0.3.99984.dist-info/RECORD,,
