newclid/__init__.py,sha256=xDderRhLCMTQJR1dK-1zk4-uMWnhT62w1X-rV81ItOQ,567
newclid/__main__.py,sha256=6MabZBTwLlJrIukzBuTkSJwMT1SxE5BOhZwqV4q6GvM,6426
newclid/_lazy_loading.py,sha256=p0ZCik8B29GYYpO0q0VJFNNRy2IEpWptLRiYJlcJhKc,466
newclid/api.py,sha256=wg5R2IKW_4zU-frIrBx0ENAYpHHpBDP6Kzymll7Bn4g,8707
newclid/combinatorics.py,sha256=kiLGe9MJXGN2o6DRwtCmTTf61XNGpuKrlIMXQG7YjKs,4252
newclid/configs.py,sha256=v7p-rmsTnrvEx1NewcDNVCcLw827q9sDn4UtOdEjaIc,331
newclid/geometry.py,sha256=ZATaXWKcclfgLh32JLoeXXh_pVTefCZ-XjtZl4jaF_o,12645
newclid/listing.py,sha256=HOzLoTvjkvbrHT1uew021RKgXL0jKeD7dn9ZiHRKWP0,335
newclid/match_theorems.py,sha256=E_Xt7_BKiL_aMa3p_js3LC7eB3WiMXRVT2vqx-U-6Pc,33786
newclid/points_manipulation.py,sha256=J0xm6yxMPCIPwrdVjHNbFbuTr4KjoLlTigG0G1h8PlM,1140
newclid/predicates.py,sha256=JH9UPoMZLqotpfnuo3CoaqOJwxaIEcpAz92nc3LZObk,5152
newclid/pretty.py,sha256=QBi-CiKvd2igY2wcVUJ8f07h55tS0fXR9DjpMNtqhPE,7549
newclid/problem.py,sha256=IXFAtOKGGdg9Xr-KD9k2ztW6Lk98o1PpdcP1NTP7OHs,5744
newclid/proof.py,sha256=SYWR1rqU8hUKusMM9rMiebFSiXwToRuvWqIGUnCwWMU,26917
newclid/proof_writing.py,sha256=FSmFPvDvdhGMADI77nuW9PxKcjgd1L2qQVV9Wrfyvu0,5882
newclid/ratios.py,sha256=RbQpxSLdpyowFxCPMWudOcm1TlPtj2ssnpdnOtgc2lM,181
newclid/run_loop.py,sha256=RdPOMdBiARspFdzxxJxpqHAb35o9wqO2Km8F7xWxeyM,1594
newclid/symbols_graph.py,sha256=2ZGMmZSu6Ou1KV4ZQ3swP9k_0E-JsIa8DVcttOO2NII,18781
newclid/theorem.py,sha256=Kr5CCRv6DAUsDPrgViFXEj7FQIYwC1GTJqGB05Kj-K8,2694
newclid/trace_back.py,sha256=65p_NFmwqFDzDZN9GEjyvWZmrxhsBYgjW6fHdJ8zKpY,11728
newclid/agent/__init__.py,sha256=aT5hoM9hoUl08ea_uAZJTSruh-8z2pzjMmp2W9xOnHE,57
newclid/agent/agents_interface.py,sha256=CPGoloTjgzBeOk6SeE3Qu50o3GG3VGkeQS7FLcO_8qo,3502
newclid/agent/breadth_first_search.py,sha256=5zRx-XH1K19HCyJqrnsdYtXn5ORRicef50lmpsr1EEw,9718
newclid/agent/human_agent.py,sha256=M9dgXn7YO2qE3m1IAaF6k_ckUbToPt6TJ4Gh4qKLQtM,16000
newclid/agent/registry.py,sha256=zgmraOPg2X4djo6kEBjVBnxiv56dZ3sjlaUFA5IHVrc,843
newclid/default_configs/defs.txt,sha256=D2UrjpVdbo1aqjbyfkq6LQgSUtE3rMsVh-r9_0zD1yk,8923
newclid/default_configs/legacy_defs.txt,sha256=bhyAt7u0bEM6coHtenS574zQk5KmnwL9nUCKQrzpHyM,7876
newclid/default_configs/new_rules.txt,sha256=1WGV3hgnB_XGu38-0yRIJ5eAJ0W7mowt7fXxEGN8JNw,3438
newclid/default_configs/rules.txt,sha256=9EKC2mMRUKGK_6w--WG22bncBESS4LKQNYLS-OFIHxY,2783
newclid/defs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
newclid/defs/clause.py,sha256=_t2HB5sqcZnaJ3aiOuIkiuKw9_XNtQ3VZU74i6p8cbw,2984
newclid/defs/definition.py,sha256=aCzr_Yebq4uMil8sDVdR44MOXBfV36CEW1psjeWddIg,2690
newclid/dependencies/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
newclid/dependencies/caching.py,sha256=dDb8UZPU1k2MXV77uBodlv9EukVh_HJw8cxrE78d27s,1099
newclid/dependencies/dependency.py,sha256=nLlJfUwyZn9nTMpAcXVLe0Sia5y0F0_2W_4Cl9UdHqM,1439
newclid/dependencies/dependency_building.py,sha256=f4lWK7yuPG92BDTkrILNtpBkXwFU6zJldHqvu_5_s_I,3289
newclid/dependencies/why_graph.py,sha256=AGbEYDqZMtir5fNp_xAkrXCkNQC58OpduoaTdsA5PJQ,6487
newclid/dependencies/why_predicates.py,sha256=Yf688jq1Ne2cczgsifox4WXNKJPFAVXW9TP4PVX1s18,23410
newclid/numerical/__init__.py,sha256=zqzChwPjgwBKoAhy6l1YPON30Yzhw937pboDP8zG8kc,122
newclid/numerical/angles.py,sha256=KiOfCn2SY-zhnpApRETUE_dIrn52vakUqYtJblZ8RFU,757
newclid/numerical/check.py,sha256=L1nhNzTmmDnMlxXH3PCKRboFkix8Tu9ETeC7bR-D8CE,8420
newclid/numerical/distances.py,sha256=1JDsT-fL2qGuoO0CPvpP3A1BihCW6cBlPCI4NzCkQes,936
newclid/numerical/draw_figure.py,sha256=1n0A-ge9B_mqQPL5MywiOXhFh8QVCKtWCOAw91nMUjg,17840
newclid/numerical/geometries.py,sha256=5Qn4DtjHjDn-pEx3yJUqxPxzvpw2HS7xgVD32liiKOw,20368
newclid/numerical/sketch.py,sha256=8kX_uZ1LpffLNWhW2MxDNAEAD2vNnHuOfxU5k2KpXug,22180
newclid/reasoning_engines/__init__.py,sha256=x9QLA0_6WWPhEgjoeEmY80P88Fs9Dg22rAPyEjHbp2k,285
newclid/reasoning_engines/engines_interface.py,sha256=6ZEXzhnGi-EzKFDDC2ENHz2iH2yAXphnX1v3qQBBAjY,680
newclid/reasoning_engines/formulas.py,sha256=EZWEi27449u9h4shvuIfuxFjzMGtR27jJUbPKtGz7d4,14038
newclid/reasoning_engines/algebraic_reasoning/__init__.py,sha256=sVuDdOIdN09vQYeCdQy5LIKOY76bE3KDmhkGrnWVY5s,267
newclid/reasoning_engines/algebraic_reasoning/algebraic_manipulator.py,sha256=o5EqxR6OO9PMPGWDJNwYbX7TmNnRHA4lLQN-XCHa8fg,10337
newclid/reasoning_engines/algebraic_reasoning/geometric_tables.py,sha256=zz_2hRfceZV1eFFKSpTXrN8MIx7qF3Nswy3irUxSEGI,23745
newclid/statements/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
newclid/statements/adder.py,sha256=YNZ279dvFJVu1obGK4TTKE0uV_GjMc4JNmsg53IV0Do,51326
newclid/statements/checker.py,sha256=fnnlHz7W-dYYb5CYpUeE3GYPdKGvFZetGZn-9Nit_XI,14705
newclid/statements/enumerator.py,sha256=eSZEyCK7ujjagyA-PXQ5RyoNaSUG7oVl501nhjLXABY,14642
newclid/statements/handler.py,sha256=Yw0Ww-mT2D3LKWdqem_hqwbTN30WufUTvS_MjBv9UP4,1156
newclid/statements/statement.py,sha256=YKJFSQyQWLnbSKt014GZEnMFn9a1OaXjHXo6V0xdcX4,7346
newclid-2.0.2.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
newclid-2.0.2.dist-info/METADATA,sha256=hacX1u4UDwK7enzNItTP9Q6tOGyVAWNfoPH8rfJmTVc,4994
newclid-2.0.2.dist-info/WHEEL,sha256=R06PA3UVYHThwHvxuRWMqaGcr-PuniXahwjmQRFMEkY,91
newclid-2.0.2.dist-info/entry_points.txt,sha256=aixDVlFDbZHxIFKS-SS7OVSReL28Vt2v5DN3h19Aca4,50
newclid-2.0.2.dist-info/top_level.txt,sha256=Wop-uq017oMNaikCk7cKkau-F6hDietD_wrhR44cj6w,8
newclid-2.0.2.dist-info/RECORD,,
