act4e_checks/__init__.py,sha256=EzLLdSJg99u7zmKHeJy2J4a8UQLhgsrdaP3JwlgERBo,96
act4e_checks/actual_tests.py,sha256=4F9SWp1yygQXOqsTL-jxlD6d4uzTwxr5QIsyTfrzpU8,208
act4e_checks/currency_checks.py,sha256=Gdm20_dcVSBoXDqSKoVUCnSpRkXjmHOpLl8oYsc6R2Y,4898
act4e_checks/data.py,sha256=2-W7Cb-noVLOPWt-N8y1iVgfSw3JdBhmAyvgXwAL9DE,9854
act4e_checks/intro.py,sha256=tXPtcKQ9xNP46hYHrZ2LnOPN3rgneE7t2wu3gvpqRtc,315
act4e_checks/loading.py,sha256=bGerrH37ra47CHNkCZ80beCF3pbeVPyNivQXPwI8Q3I,539
act4e_checks/maps.py,sha256=uBS4Vqk5RX8WYSIL8h-D-nA6VbuNj-GUl4JLNzwHAiA,6970
act4e_checks/posets_bounds.py,sha256=rnYVNErdyfHXoqwIRp2jlb4stZi64-n2LLyhZBb-uZQ,10505
act4e_checks/posets_construction.py,sha256=qcqcaQAnDG51CouqeSPSRm0X_emKImbrfCcDdu2a-ds,2364
act4e_checks/posets_interval.py,sha256=12DmXYOfMm8k4aH1x3eooIjvVyvxSlbkSH5brh4Bpow,4325
act4e_checks/posets_lattices.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
act4e_checks/posets_maps.py,sha256=VNMBlWtWAkIbSG7kFcPOGaJ0fQewJ_znvzh-nfFZgKg,1156
act4e_checks/posets_monoidal.py,sha256=BleaFSp4-yBWu_ZFWuoIXv13e8tA-2ZwdDBPAcwLI88,283
act4e_checks/posets_product.py,sha256=1DK49KIwFf2Za9G3wbmKPiVx0zlxbo-raRNtFBMhUfE,1742
act4e_checks/posets_representation.py,sha256=PBV3EmqXOPFU6UbYSWQDsHBl5qAPfxbc8_nnBEbc9oU,1137
act4e_checks/posets_sum.py,sha256=z40tMHVMpMNPnFDow9ZAFCYBjolFEFeUZRqLn6kfl4w,1373
act4e_checks/posets_utils.py,sha256=As48mBCiB1ulFZJs849EaU7uS8KYGbSEYsYCZModNtE,5102
act4e_checks/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
act4e_checks/relations.py,sha256=TZsXNpYyH408ZOcAwHMUSS6-rCUCY4dQHk5y_y2KCyc,9213
act4e_checks/semicat_representation.py,sha256=6zEeV6N8DezvCCzBWNZxsXleMVtLUSBtNOWhtvOuq-g,6139
act4e_checks/semigroups.py,sha256=JD0s0cbo8AjxMC0EFBvc-ZpzqYWgKf8zTleJ9f_LwjU,10294
act4e_checks/semigroups_morphisms_operations.py,sha256=7Ca_t8AbrLLm8ls4qQ5h6_ty-qUBO6Ug_rdtjCJ7NhY,2941
act4e_checks/semigroups_morphisms_representation.py,sha256=UaCcoR344toQghNgR7aRW3VnU4FTXRncTqASUhERbNs,6312
act4e_checks/setoids_operations.py,sha256=IsCEHAtVBRkgbSOvhz-CIVXwFUl1SoGairKWUjG08BM,445
act4e_checks/sets.py,sha256=JLtTa7YW4fqUQWytVZf_9f-vfiYBqX1rWn0UoxTiALs,2447
act4e_checks/sets_power.py,sha256=H8nWrsWgGx8J7KW9xl1KRc85n0422eiLEe8Mq3eh42I,2122
act4e_checks/sets_product.py,sha256=OWRAdO9X3PoxgbaXXvypyByXmLS6Y7hFQhr8AOliECo,2435
act4e_checks/sets_representation.py,sha256=Hqs3ac98-dBqdAKioR5Q8ilHlKf_GOA-cggQiTzaqYw,4687
act4e_checks/sets_sum.py,sha256=cv2RVP3tgCShv9EIsVANlFYlLPEZWb4d3J-d_nWYwQI,2388
act4e_checks/sets_union_inter.py,sha256=qCKEz7giOpXbFRNOq9KU22QS9OfrVog_lZmZlRNp9bw,1381
act4e_checks/sets_utils.py,sha256=-Wv8SXPWYfrZ7k6FrOYh3XLwcAB-wus4bMdTSLaQdro,3533
act4e_checks/todo.py,sha256=xF_HLKVAF9Tw-pwHc3RibByXg0EsZboiwW5rl2ALOA8,1830
act4e_checks/good/__init__.py,sha256=WfiZWiNqIqX4diPOpLSrweTdUqwjHmow5xzAXxL02V0,67
act4e_checks/good/finite_set.py,sha256=s_RQFXYc44sKL_uMCzomQw664XNVOTtSLjBTNeKUABE,744
act4e_checks/good/finite_set_representation.py,sha256=iMCGxTvOwDuRCC11q19mAGahVpJ9WiQRvVpDRhq831A,865
act4e_checks/good/intro.py,sha256=4FOAFm0PKtPAxO3s-xAg04N17tU3qia-MT9ljkivpRg,146
act4e_checks/good/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
act4e_checks/thedata/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
act4e_checks/thedata/categories.yaml,sha256=a2WfSlKNLdorjPzDA2YGIy8pqP8kZAvZ894c3W3ReUc,5581
act4e_checks/thedata/categories_composite.yaml,sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM,7
act4e_checks/thedata/categories_curr.yaml,sha256=yL-AnRMBgLa1b9n7evBN6arN_4cAb70v-jMp5naaM5c,3904
act4e_checks/thedata/dps.yaml,sha256=f463EG52enkotorzWjebaEybXsvE-j-d2SY_oOdEhBc,91
act4e_checks/thedata/dps_composite.yaml,sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM,7
act4e_checks/thedata/functors.yaml,sha256=bn7DW0aR-4BTMEkjG1GSMczu-K-VuEsucWh4CnqJHMs,270
act4e_checks/thedata/graphs.yaml,sha256=AfGnieWzMN53ponNdw0frJF8N8OHvux2ULyJuisLcGM,7
act4e_checks/thedata/maps.yaml,sha256=stTzutMmVs-cx0SsChgmdm8sysC1xvwdpCP_-_Nskc8,1953
act4e_checks/thedata/natural.yaml,sha256=JVhk3xdL8xssy8mzvOsItW1PElxRHAH8JrRA1R9f1AM,113
act4e_checks/thedata/posets.yaml,sha256=DjEciGzKnRTvG3iwg2dloVPDeJagEYnigAXVL__8oDY,7553
act4e_checks/thedata/posets_composite.yaml,sha256=HwxXimkxgI4OcpFc-Uv-KLKbjxr6dT-hQk4-Cy8dNEE,323
act4e_checks/thedata/relations.yaml,sha256=XeKpVQRKn5UbEvtDjBR9CWlSDRL3jwbk8CTr3vrF6F0,3489
act4e_checks/thedata/semigroups.yaml,sha256=JjIb6fTOKxn80M37qQHXIFQ9AiaHjVIqqbhtqmaw-Ko,4498
act4e_checks/thedata/semigroups_morphisms.yaml,sha256=TT-t-IGr8BAEOsAeMm-931TlaSILIPHsaERtTLMWDaM,844
act4e_checks/thedata/sets.yaml,sha256=E6h02z0fSpCeU8vYtikmOl554QgUNuYWqHGaERhheNw,608
act4e_checks/thedata/sets_composite.yaml,sha256=ty0pWGUxe1atifV4aLi9-DE9O_NqRGI_8vgi1682tTc,1323
act4e_interfaces/__init__.py,sha256=gjx8zIaXRvfarWxwZx73NkX9TvUmtfERafj12Ox_28Y,1320
act4e_interfaces/adjunctions.py,sha256=CJOnpcm4nftAe25-tvUnlLLdamSzYit28HrtElfOKxk,1990
act4e_interfaces/adjunctions_representation.py,sha256=E6A3ABaW1Ly3cyqxJnq5DUlbST2csLnJF-NkxeEWxdU,575
act4e_interfaces/categories.py,sha256=cg4pDF92MLbB8zpOtHADWuwTHl2UkAso1wgaXZV7sxw,3759
act4e_interfaces/categories_monoidal.py,sha256=0MYs-BBXBqWs6NkwxHnEmKcSxaULo_J5ZqyLi_BmSS4,775
act4e_interfaces/categories_representation.py,sha256=AwKeJhdUq5mqXx-QxJv_ZFsEEa5avvUEskeDtggq1ds,2542
act4e_interfaces/currency_ex.py,sha256=ydxKX265XbaoNc2fBvWzIytsYnZxF8uoFf43A17t65w,2827
act4e_interfaces/dps.py,sha256=lAtEHTqoJ-PtS2QzA5CzrH-IKx23tIIc4_BdghShBgk,2285
act4e_interfaces/dps_representation.py,sha256=LB1cqqhG28Ddu5hwppX4G707JA-MBiilsDoGJ79g2kQ,667
act4e_interfaces/exceptions.py,sha256=OnE4qdy6WyrBF6hPxBGEQ-HoPFarBxlYren0AjIJdi8,238
act4e_interfaces/functors.py,sha256=hsaDXfgGC2kjaz3SvJyaJ7JHjMYrNLQpm-hTsaVMT_s,973
act4e_interfaces/functors_representation.py,sha256=Jxzl_VZi0ubX_mlP2VBCv_T4NhZmYyB_0jjQZ-YcGH0,728
act4e_interfaces/helper.py,sha256=JnX1FjHSKrfHexE8iAVXY5ejnqUrctRTwKstEeWtf90,897
act4e_interfaces/intro.py,sha256=5M5n66ow32fXO3fTQ6SnIzNWHEimtKEjm2LxxP4vWbA,198
act4e_interfaces/maps.py,sha256=cGLi8Y0mMV5Jrm9WhZ1JVBvaGoaGZTxUfGk0Rg8CWRQ,1170
act4e_interfaces/maps_representation.py,sha256=wbY_VOm3PFOgiwEpeBAKZLeZz7d1zv2_haOw0CwixDE,556
act4e_interfaces/natural.py,sha256=ZJw8mWnyrM_a3-7Kdv_zel7wz2Np0FM4Syd0mQ6yqhA,1035
act4e_interfaces/natural_representation.py,sha256=J4A-iOkPuPeoYiXZ7Vmmn883Ga9jkYHPyYKa9YM9VQk,698
act4e_interfaces/posets.py,sha256=IZ16M-Fd2ZOfsnLcoe9rAHZ4o0QXYYNdhVeeEIC5jZo,677
act4e_interfaces/posets_bounds.py,sha256=Aswx_S1FHp6zqQg9y6HAoXJ5xY7-7WWrdlMTUew6K8Q,2622
act4e_interfaces/posets_construction.py,sha256=s5sDZI_voJz76d2J0cgfDpuGRAwwGn7friHZY9oS8CI,1585
act4e_interfaces/posets_interval.py,sha256=EV7pZd1gjt-PhqRiY8IW-Wu94G_5zMee7J7eGNNq02I,1560
act4e_interfaces/posets_lattices.py,sha256=fgTcuCvTRUI9kS5H5ynQ3ByMv6JjLwG7SoREpLmlJ4U,823
act4e_interfaces/posets_maps.py,sha256=6CfwIWwIMyYhqaymCN2OjP_WEIfqHo5GnU_K1_hBTwU,1037
act4e_interfaces/posets_monoidal.py,sha256=3BT0ZCrI2wbEn7Trc4d0_gpZcyDQSlvFzxFZnbJ8VMs,1036
act4e_interfaces/posets_product.py,sha256=73Tve_HEgXtDz_haXVSySV7bKN5mv4HFBpGlddp1r1I,1230
act4e_interfaces/posets_representation.py,sha256=A2X5tY95BXGdZuq_NlSg9673aARoDIQ3YMBbjhK6B8A,1233
act4e_interfaces/posets_sum.py,sha256=1dFL2pB6fWoURz2hrY9Y2AdFdWAUGOCvRZ9cb4dwkDs,1310
act4e_interfaces/profunctors.py,sha256=znfyz31szvwBxXvhIPEsEbi9UP6ZTndVAwuCCc8HbLc,1145
act4e_interfaces/profunctors_representation.py,sha256=DMxcjaETDlc0bGF4zt1BNo1N9-PG_ACjhNWOvE-ah4g,458
act4e_interfaces/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
act4e_interfaces/relations.py,sha256=12w_Kw8szba_cbo6fMuWdepIt1PpjUoL1Z1LIF2vGsQ,3150
act4e_interfaces/relations_representation.py,sha256=02iHbyPjPLIPUmQT75Kw1HhbfDIDZ-9t-3XTSWbxT0Y,862
act4e_interfaces/semigroups.py,sha256=7In3ymYj4u7I9_Ou1WKK-mW6YbntGCR92W--OkQ4HuA,3529
act4e_interfaces/semigroups_operations.py,sha256=3_d_IKqcUMFQnveXgf4Y_i_5I52551OQR2YtDwxzw4Y,3110
act4e_interfaces/semigroups_representation.py,sha256=wR6eMutSn-40t0lyQAG6D9r2oPeo1-jN_hfvtnsdqD0,1074
act4e_interfaces/sets.py,sha256=nBZWi0OpPtYA4fk_pHqBgdMbZRMiFSiOsTGnWVZYZzg,2303
act4e_interfaces/sets_power.py,sha256=jZbvzvmpfgzGKDPBWhf9rBgCY3etCPuYCKx_dgcG0zA,1145
act4e_interfaces/sets_product.py,sha256=2o9okXxrzEsXaJyTekwJMtHGADhlsIYl7fI2bhUhnLM,1385
act4e_interfaces/sets_representation.py,sha256=ROT9dP77zGR389EjDIG9B9fcN0xr9L9emz_4D9VjkBI,1533
act4e_interfaces/sets_sum.py,sha256=EECJXQ9y_-X869p2lAxxvtr24n0j2waWgtX-FSmICpM,1640
act4e_interfaces/sets_union_inter.py,sha256=AiopfrzTrDTssJ09LR4L4jYef4tS4dCMRHNBR91Y26s,1907
act4e_interfaces/types.py,sha256=Zrq8NWAGi0FufZc93-ome76hcWWHxWc_5WiO17i5vYY,197
act4e_interfaces/z_ex_rope.py,sha256=Py7eG8aYK7YyjcOe7YXxwngcOnp0tg-Qe2e2HmmKsaM,1272
ACT4E_exercises-7.3.2310261700.dist-info/METADATA,sha256=AC5q5X8KdcvPiWiDNMS1Lb28vJU7U9QZ1mi_F0vSIW4,385
ACT4E_exercises-7.3.2310261700.dist-info/WHEEL,sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo,92
ACT4E_exercises-7.3.2310261700.dist-info/top_level.txt,sha256=uVFDf_hej5jIXbNm9Hxz4_Tc1-FVFx62jSgS55f3EXU,30
ACT4E_exercises-7.3.2310261700.dist-info/zip-safe,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
ACT4E_exercises-7.3.2310261700.dist-info/RECORD,,
