jz3/__init__.py,sha256=FnIiJDqiPgmmmBGxXfWUzQQHmSqvMzI47KZ0pBCFCq8,56
jz3/solver.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/analysis/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/analysis/compare_easy_sudokus.py,sha256=StfAfyTjE4TLgE67CRk9uYiEjjSoSpKUzy2YjsOJPUc,7252
jz3/analysis/compare_whole_problems.py,sha256=StfAfyTjE4TLgE67CRk9uYiEjjSoSpKUzy2YjsOJPUc,7252
jz3/analysis/plot_comparison.py,sha256=VcdD8AsmDa7zROjXnzmLx8V7YqAVXVAgA9J-HgJslyI,7093
jz3/analysis/archive/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/analysis/archive/export_to_excel.py,sha256=4IRKAYkBuEGni9CtP6BTIuDIpZKaMxp-SKvZXumZflI,2859
jz3/solvers/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/cad.py,sha256=HjGnS7znlNCB0SHPaLhHLgIidUrV3KYH7TwfD2I3uuQ,3116
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/plot.py,sha256=-F7DmczypyzfWJnZK9R6Jvg0ZGZgHi6Fe7IYg8358H0,1148
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/sign_table.py,sha256=8BMJUBhyqCyaDaTdgvoqyOMEfFT-3BqSCQimcH5xi3c,1462
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/check.py,sha256=WkhpfkxZe6w8PZve4BcJclIG2-srZP9PRLU81MyAdIM,1801
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/polypy_test.py,sha256=o3p3jVbNifnAYQedY3p9gaCzlroezwHCrYLh3JWw9NM,4904
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/algebraic_number.py,sha256=qruQFcnfP9Du17UX4rCt4tIxFK8aoAzk3K0aoKdvQbg,4580
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_arithmetic.py,sha256=jTGWJqF4Owbc4Q-NyxCblXYc_iUT9EIdK0l7vHMSUJ8,5869
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_eval.py,sha256=SH5_3PbrgMoDPLRfgeGxsXaiEZUQmhlLhmezlkp6Ssc,1595
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_factorization.py,sha256=Npsmu3t4dbNE9aSvh0KMwo27KrPTNOdEW_SDe3gK0Ss,3805
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_feasibility.py,sha256=dbS5GO14CNiqh19PTL6yCKYmtYgeu4Ug8shhpEkrDsI,5610
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_gcd.py,sha256=o07sJ_7zUP9TQy-OLA4lzyc6UkaigrIwcIr80U1PCDQ,4946
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_mgcd.py,sha256=Kh8PJgXYUV4AVJ-x17KV5T7wtoNFjtH003lcoF0Os-o,4434
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_resultants.py,sha256=qoiU1Rjr1e8ibGCQ7vHBb_WejVS_IRXtQOPbAkp687E,6784
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_roots.py,sha256=ak0Ucv-_l9J-SStnYASF4ueR248JZb3NtrfHkZ3JYAs,4241
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_sgn.py,sha256=XRLN-bgh3Aga312BdcwesKCM_NgoyO_tXfC2NdUgjps,3185
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_factor.py,sha256=uGuYHOf67g6-01_ncj5T_Xb88339WaBWwijuVs3j6ts,3694
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_gcd.py,sha256=yhG2s9lwXrGcxdnsPtYOcqvTpf8SLmbNCINsaDCsKuc,3292
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_roots.py,sha256=ME3OCkLQXElOClCmlAx4jj_v8jUExv1Gu8_hY08CPLU,3150
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/value.py,sha256=ArSWfNJNgiCPHSjnB-7QlpEiWVUeyyW3VHQBgnn8rio,2528
jz3/solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/variable.py,sha256=tJEA-yEIhUa82ORRDldpQ3HNbmplqKE_ZbFXKJm0ya8,1941
jz3/solvers/cvc5-main/contrib/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/contrib/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/contrib/learn_resource_weights.py,sha256=Jn_6GhWrojZtoZF3KODZ0r7xx7-EQHG-u1P0417Du7o,6875
jz3/solvers/cvc5-main/contrib/make-release.py,sha256=CpOitQgYMk_giIPyJLCpnp2IXjY5jUNGKGnKdqhD9nA,3724
jz3/solvers/cvc5-main/contrib/uncovered-api-functions.py,sha256=S9JDggwvK42CKiC_e0aF2gRSIo9zbxQleQFPd-70Atg,1501
jz3/solvers/cvc5-main/contrib/packaging_python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/contrib/packaging_python/mk_build_dir.py,sha256=8RWClMu4Jgo9cZKbjAB1VJpGfyvuPwQKkl7Vj0JqJ7w,1258
jz3/solvers/cvc5-main/contrib/packaging_python/mk_wheel.py,sha256=5DNZ3NP2z2rmbjxREjwfyeZw8xNLOO1fx9kD0CYRd_M,4275
jz3/solvers/cvc5-main/docs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/docs/ext/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/docs/ext/autoenum.py,sha256=XwxL2EfEH62r_2riNElpojl4IziYs54gZTl5TPzusyg,1380
jz3/solvers/cvc5-main/docs/ext/examples.py,sha256=HqdfWwWQ__lutp3rmgWaBS1dVicMOs6mQPzOb9FybMg,4089
jz3/solvers/cvc5-main/docs/ext/include_build_file.py,sha256=PiUwV1FBT9mgm18WeefqZ4y0hmbwnXp5Lt1-XUx_uVU,1522
jz3/solvers/cvc5-main/docs/ext/run_command.py,sha256=AFs5A2VU0zUqtWZl-H7DjYbulzXuBgGCBnn_XdYkhx4,1809
jz3/solvers/cvc5-main/docs/ext/smtliblexer.py,sha256=orJeY0Qf3pgPPck0ecO1KUuNnsj97Pr_mClDK88dJzY,6014
jz3/solvers/cvc5-main/examples/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/examples/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/examples/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/examples/api/python/bags.py,sha256=oNWQqE-7KqtCwapvY_n7DMeotot5TLTv3NXhMCYR8x4,3445
jz3/solvers/cvc5-main/examples/api/python/bitvectors.py,sha256=12XYwhFUOtTVkSEitXylr3wq2KwLyvbwfJXRZLzPxlM,4302
jz3/solvers/cvc5-main/examples/api/python/bitvectors_and_arrays.py,sha256=WQBmRRYDPyld1Twjmper8QpQYN7H_ioMH2i7DePTU7c,3399
jz3/solvers/cvc5-main/examples/api/python/combination.py,sha256=ne-nsg7H1FaUwv2_PnqDL2v9ehgyN0CIDYWcEUbmRfs,3390
jz3/solvers/cvc5-main/examples/api/python/datatypes.py,sha256=AM2gv_5MPdup-HkJN4fg4xAluWZnMsdEdgYb-65ToRw,6001
jz3/solvers/cvc5-main/examples/api/python/exceptions.py,sha256=yhXQ-Ws310gsugi6u-UuzJo2waNZoj-jiKSA1Gia7Fk,1428
jz3/solvers/cvc5-main/examples/api/python/extract.py,sha256=hHL5FCVOqsxsizoapC8wTzqfyO180WbBRxwuXZiT3Tg,1570
jz3/solvers/cvc5-main/examples/api/python/finite_field.py,sha256=I4jpa1izQZFGJ8RJf8_e7SeBt8ntYx9CHRltivavqcs,1538
jz3/solvers/cvc5-main/examples/api/python/floating_point.py,sha256=B4vqtN1jwLpINasiCc87c_7sVhu_b4ib8dMqteU1MlM,4111
jz3/solvers/cvc5-main/examples/api/python/helloworld.py,sha256=0TTk1Ek14CONViO03s0KRvmRyH8TWbX-m6kuRGkVi5U,842
jz3/solvers/cvc5-main/examples/api/python/id.py,sha256=1V4dfrpsXhgr5-THVRtgNehChS7_JFkWeWp47oRF6Bo,1026
jz3/solvers/cvc5-main/examples/api/python/linear_arith.py,sha256=3l-sGmtuf9HI8KOAlUKGGHdumr2ZYfOS7E1tBsO7mAA,2257
jz3/solvers/cvc5-main/examples/api/python/quickstart.py,sha256=IMRDzdHfB4BDNNHf5DwF3o0Pq_U2e80eBmdsd_2cIUI,6561
jz3/solvers/cvc5-main/examples/api/python/relations.py,sha256=PXkGrPrmmO3x2XMy5KNJ89v6PpufH4TMSpFqi_eznUk,6283
jz3/solvers/cvc5-main/examples/api/python/sequences.py,sha256=Npc-TFm7gTO0_PqQQmFGNeILXbtPACw6C5pSKWwZrIg,2035
jz3/solvers/cvc5-main/examples/api/python/sets.py,sha256=-lFzXE5xTRKWxNh5RF_NGXIUFAIKFf_FfyqGWgON5uc,2878
jz3/solvers/cvc5-main/examples/api/python/strings.py,sha256=UPqAuKYxEN_VS7oAuonOd3SMiMGozIiQgwmIW-nE_Fo,3128
jz3/solvers/cvc5-main/examples/api/python/sygus-fun.py,sha256=Ied6V4guoAgUxNt0hztOj1eG6ojPuEXL6ildVoKtDYc,3243
jz3/solvers/cvc5-main/examples/api/python/sygus-inv.py,sha256=4ugnQIx-QKP7qKijNeUVDa8nSd_5fJpY4EKzwjvqNU4,2152
jz3/solvers/cvc5-main/examples/api/python/transcendentals.py,sha256=gspDQtP_kHpW5ZTSuFr8JtxZTuPsNbAbt0urOZhUCaI,1375
jz3/solvers/cvc5-main/examples/api/python/utils.py,sha256=H9lcI57wfvQvbAL7-r2aFA7teDBgU6wvWyCGOEASEVU,1847
jz3/solvers/cvc5-main/examples/api/python/pythonic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/examples/api/python/pythonic/bitvectors.py,sha256=wzD0rOJrXUbFsGHqGpdWhinh6JIabH01e2vpUSFrTeo,1000
jz3/solvers/cvc5-main/examples/api/python/pythonic/bitvectors_and_arrays.py,sha256=Z3kptyiVCOUQxPeeHlEQa19pkvg1RfF878DoGwSA8-k,946
jz3/solvers/cvc5-main/examples/api/python/pythonic/combination.py,sha256=OsD78jxdHEk0o-rP53KezvTWyF6NUM6BS4uyW0MlT3Q,801
jz3/solvers/cvc5-main/examples/api/python/pythonic/datatypes.py,sha256=D8mMv8AjgYtQ0XvDztJLUAeCQFRGDPALXTT21XoG_9k,1459
jz3/solvers/cvc5-main/examples/api/python/pythonic/exceptions.py,sha256=q2eDvfL-XAzbSL1TUqHp4QX15IMCK3Zr_mWbUINhZ2g,390
jz3/solvers/cvc5-main/examples/api/python/pythonic/extract.py,sha256=w24NkU8qRFmgIRf9DCxDBqme8wa4m4sNqyyJhoJ1IQM,402
jz3/solvers/cvc5-main/examples/api/python/pythonic/floating_point.py,sha256=JLL6Irh-2SyxYphYX3I2wXa8w3Uy6JMt0me1fJcKuQ4,766
jz3/solvers/cvc5-main/examples/api/python/pythonic/helloworld.py,sha256=9Fac_MVFsFwpkHl1NskbSsBU1cTQqv19CYUl47wdvIE,102
jz3/solvers/cvc5-main/examples/api/python/pythonic/id.py,sha256=V3-Uke0nes60Gp7eI7v3RetfQLKqpn1eHfg8wq1VFmk,348
jz3/solvers/cvc5-main/examples/api/python/pythonic/linear_arith.py,sha256=P2K0SEeyRCKpRStVJUW8BRvJXRHTuhKSyjlEysioPic,232
jz3/solvers/cvc5-main/examples/api/python/pythonic/quickstart.py,sha256=HXi6TFVoRT7DsFTlW8uKqaFE4Fhxc4c2hki7hgk6iaw,1444
jz3/solvers/cvc5-main/examples/api/python/pythonic/sets.py,sha256=EzgjeBvDTagf2i3QgFFj4dR7U2KMlJvrgXlDHLIU2cM,441
jz3/solvers/cvc5-main/examples/api/python/pythonic/transcendentals.py,sha256=niB2Ra-7m_8gHlAvg6VzMBdBv1B6wympPqY-49x9CX8,156
jz3/solvers/cvc5-main/src/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/api/parseenums.py,sha256=77h5Tqq2VjqfOsgl-kEl_hvg1VY5sLKXLqwHtFV0QBk,7110
jz3/solvers/cvc5-main/src/api/java/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/base/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/base/collect_tags.py,sha256=rOhfg8brioWNiNoqNQKQZlfD9HOcFx94NWKxwmXeuzM,3208
jz3/solvers/cvc5-main/src/options/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/options/mkoptions.py,sha256=KRyBQ0LVbubjQT4lXahRZklnKD8zrBWmVbytrmhg99o,43409
jz3/solvers/cvc5-main/src/rewriter/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/src/rewriter/mkrewrites.py,sha256=khiwuw1E2MDqvKCrM3V9AI1vnlC2rnaa92Xe2r8_GWQ,11371
jz3/solvers/cvc5-main/src/rewriter/node.py,sha256=X7pIcFL1sboZS9Z0AcQbfrZRtkG-8mEw2MT1iDiRYJk,7288
jz3/solvers/cvc5-main/src/rewriter/rule 2.py,sha256=kjoH3I2BzXeDxHOj1tmntbGrWLiRCyLWRyTy3cD6Us8,1382
jz3/solvers/cvc5-main/src/rewriter/rule.py,sha256=kjoH3I2BzXeDxHOj1tmntbGrWLiRCyLWRyTy3cD6Us8,1382
jz3/solvers/cvc5-main/src/rewriter/rw_parser.py,sha256=yX3aKuqscnprFjp-h30Ki3xoodaIVfeF6x9iUTlgYXs,10506
jz3/solvers/cvc5-main/src/rewriter/util.py,sha256=f4tE_CCHT3iyR93pA8kKrPABleQFXKh1jNbRqRW9ha0,2178
jz3/solvers/cvc5-main/test/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/api/python/boilerplate.py,sha256=pfb-SuEhK4BgItZ8QKIC1cGuaApJ-zBEwFlFUeVnnwg,824
jz3/solvers/cvc5-main/test/api/python/finite_field.py,sha256=3JaJxyPmmgfFeKlpNCdsP-QI8GhGOQ5Cd-EPwkNXUT8,1433
jz3/solvers/cvc5-main/test/api/python/issue4889.py,sha256=5PmQjLQTldfX2B_oMw7u_yCrXw6cusJKk2bJutw_bDw,1127
jz3/solvers/cvc5-main/test/api/python/issue5074.py,sha256=uSJlX8iYLIinqzXpjxWPCBJeXRR9V4JVtjMvZ5UsWUc,888
jz3/solvers/cvc5-main/test/api/python/issue6111.py,sha256=eyWPYI0XTbvaR6mBWTh0_qmSnqSVATg0njJVYEr8bDI,1519
jz3/solvers/cvc5-main/test/api/python/proj-issue306.py,sha256=V-UfNnK0XX0LFCTiLn7PPunT3hWQtyA3YaFq6fFLGpU,1008
jz3/solvers/cvc5-main/test/api/python/reset_assertions.py,sha256=AuiaHQe-xFObc6PSOHSfpdDFEQIR_CYlDwwOO7LfFlU,1545
jz3/solvers/cvc5-main/test/api/python/sep_log_api.py,sha256=_4dW0DBff4qAkzRHoCYcX3avt5eY-wUy-w3spdPUHOQ,6607
jz3/solvers/cvc5-main/test/api/python/two_solvers.py,sha256=KGBAsonw4DVy0v310S47tKdSVr6I-ecWmqksp4uawzA,756
jz3/solvers/cvc5-main/test/binary/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/binary/interactive_shell.py,sha256=ZLvEENisMSSuuKZMyLryJY1NwgChPD1uNvh9N6pfmsg,2445
jz3/solvers/cvc5-main/test/regress/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/regress/cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/regress/cli/run_regression.py,sha256=e4ouMrdbTaD7zwf3BJR4XFxb_HKECQUwwooA_uv26mU,31784
jz3/solvers/cvc5-main/test/unit/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/unit/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/unit/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/solvers/cvc5-main/test/unit/api/python/test_datatype_api.py,sha256=xutSAp_qWgfGMDnD11GfcApeGu21pLuIkuktLqPrbN8,18818
jz3/solvers/cvc5-main/test/unit/api/python/test_finite_field.py,sha256=7IkKStcr3u6r_ltWixv8DxwsRfhKeCNZZOFcvM-FCSo,1506
jz3/solvers/cvc5-main/test/unit/api/python/test_grammar.py,sha256=LKAAAhoVlFMRyWTBy-YofWV40EAZhp2iZhfsX-bMsp0,4112
jz3/solvers/cvc5-main/test/unit/api/python/test_op.py,sha256=Zrq-8tFkt_D__TwWW2TdiXnaWBIH-bBzV3Pw2lgmgug,7537
jz3/solvers/cvc5-main/test/unit/api/python/test_proof.py,sha256=mEHc2z4KBiLnwa5v0xSnXiBRYjhXNVy7hAJaPUeItXc,2221
jz3/solvers/cvc5-main/test/unit/api/python/test_result.py,sha256=HKhev9TT1onLB8RPKTy2KVdcYNAtIzsIg2XDfgB3WJs,2456
jz3/solvers/cvc5-main/test/unit/api/python/test_solver.py,sha256=BXJtH-k0Vw35-N-AbZiQnfs61QJpNJqHlv-_N7Ya8eE,99840
jz3/solvers/cvc5-main/test/unit/api/python/test_sort.py,sha256=yfPUkL-atDvMiLtPPFxKWRpXf_tJZvBOjICkKiXHgwM,19318
jz3/solvers/cvc5-main/test/unit/api/python/test_synth_result.py,sha256=vvSDqaV09MDQ5fJ5c1pGs6svAF8o1xpM64kWJ1PNwgc,1822
jz3/solvers/cvc5-main/test/unit/api/python/test_term.py,sha256=wis3-zUVtGAbobkl-brhUhmkx1wd-zKAS9uad6B9Vds,42934
jz3/solvers/cvc5-main/test/unit/api/python/test_to_python_obj.py,sha256=OOphjbEIKMudMBYsiZr7NT2DQJBhPT6yuFLLgvCPAps,3300
jz3/src/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/src/clean_up.py,sha256=h-pFTSrepV0RIBid7Y6obq-6EAs-bji9oZHDncbUSPI,84
jz3/src/run_solvers.py,sha256=5YUwxZk4s7oQezYx6JCSxEv3gnobT84zvD060CxDADo,3437
jz3/src/z3_quick_start_guide.py,sha256=KRDE6QRuEqBd1D65jKTTcH-pKfBddMYexygdPEBsVCw,335
jz3/src/z3_wrapper.py,sha256=w9AiaCjM-FvIkUaCJ9i_4CYU2Zmuwuaj3fxMQEze1Kk,10939
jz3/src/SMTs/SMTs.py,sha256=kHvkABvZ4QMo9Aoct0bFhzk0R9QxxHWOGJsAv5zYilc,11530
jz3/src/SMTs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/src/Sudokus/Sudoku.py,sha256=iDRj_DpCKSLWgfoYqruo_jgABMkl6jpktO92JbKaJD4,36923
jz3/src/Sudokus/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/src/Sudokus/sudoku_exhaustive_search_condition.py,sha256=TkNegdbYDMcCncRiayi-DX6YxUInjUA2mf8GO6vijSI,23468
jz3/src/Sudokus/sudoku_heuristic_search_condition.py,sha256=yFRFC57KBjacjfBxhMd3ge5uRd3gV87erVR80ujZ6aI,22912
jz3/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3/tests/test_solver.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/cad.py,sha256=HjGnS7znlNCB0SHPaLhHLgIidUrV3KYH7TwfD2I3uuQ,3116
solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/plot.py,sha256=-F7DmczypyzfWJnZK9R6Jvg0ZGZgHi6Fe7IYg8358H0,1148
solvers/cvc5-main/build/deps/src/Poly-EP/examples/cad/sign_table.py,sha256=8BMJUBhyqCyaDaTdgvoqyOMEfFT-3BqSCQimcH5xi3c,1462
solvers/cvc5-main/build/deps/src/Poly-EP/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/check.py,sha256=WkhpfkxZe6w8PZve4BcJclIG2-srZP9PRLU81MyAdIM,1801
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/polypy_test.py,sha256=o3p3jVbNifnAYQedY3p9gaCzlroezwHCrYLh3JWw9NM,4904
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/algebraic_number.py,sha256=qruQFcnfP9Du17UX4rCt4tIxFK8aoAzk3K0aoKdvQbg,4580
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_arithmetic.py,sha256=jTGWJqF4Owbc4Q-NyxCblXYc_iUT9EIdK0l7vHMSUJ8,5869
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_eval.py,sha256=SH5_3PbrgMoDPLRfgeGxsXaiEZUQmhlLhmezlkp6Ssc,1595
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_factorization.py,sha256=Npsmu3t4dbNE9aSvh0KMwo27KrPTNOdEW_SDe3gK0Ss,3805
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_feasibility.py,sha256=dbS5GO14CNiqh19PTL6yCKYmtYgeu4Ug8shhpEkrDsI,5610
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_gcd.py,sha256=o07sJ_7zUP9TQy-OLA4lzyc6UkaigrIwcIr80U1PCDQ,4946
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_mgcd.py,sha256=Kh8PJgXYUV4AVJ-x17KV5T7wtoNFjtH003lcoF0Os-o,4434
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_resultants.py,sha256=qoiU1Rjr1e8ibGCQ7vHBb_WejVS_IRXtQOPbAkp687E,6784
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_roots.py,sha256=ak0Ucv-_l9J-SStnYASF4ueR248JZb3NtrfHkZ3JYAs,4241
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/polynomial_sgn.py,sha256=XRLN-bgh3Aga312BdcwesKCM_NgoyO_tXfC2NdUgjps,3185
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_factor.py,sha256=uGuYHOf67g6-01_ncj5T_Xb88339WaBWwijuVs3j6ts,3694
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_gcd.py,sha256=yhG2s9lwXrGcxdnsPtYOcqvTpf8SLmbNCINsaDCsKuc,3292
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/upolynomial_roots.py,sha256=ME3OCkLQXElOClCmlAx4jj_v8jUExv1Gu8_hY08CPLU,3150
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/value.py,sha256=ArSWfNJNgiCPHSjnB-7QlpEiWVUeyyW3VHQBgnn8rio,2528
solvers/cvc5-main/build/deps/src/Poly-EP/test/python/tests/variable.py,sha256=tJEA-yEIhUa82ORRDldpQ3HNbmplqKE_ZbFXKJm0ya8,1941
solvers/cvc5-main/contrib/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/contrib/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/contrib/learn_resource_weights.py,sha256=Jn_6GhWrojZtoZF3KODZ0r7xx7-EQHG-u1P0417Du7o,6875
solvers/cvc5-main/contrib/make-release.py,sha256=CpOitQgYMk_giIPyJLCpnp2IXjY5jUNGKGnKdqhD9nA,3724
solvers/cvc5-main/contrib/uncovered-api-functions.py,sha256=S9JDggwvK42CKiC_e0aF2gRSIo9zbxQleQFPd-70Atg,1501
solvers/cvc5-main/contrib/packaging_python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/contrib/packaging_python/mk_build_dir.py,sha256=8RWClMu4Jgo9cZKbjAB1VJpGfyvuPwQKkl7Vj0JqJ7w,1258
solvers/cvc5-main/contrib/packaging_python/mk_wheel.py,sha256=5DNZ3NP2z2rmbjxREjwfyeZw8xNLOO1fx9kD0CYRd_M,4275
solvers/cvc5-main/examples/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/examples/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/examples/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/examples/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/examples/api/python/bags.py,sha256=oNWQqE-7KqtCwapvY_n7DMeotot5TLTv3NXhMCYR8x4,3445
solvers/cvc5-main/examples/api/python/bitvectors.py,sha256=12XYwhFUOtTVkSEitXylr3wq2KwLyvbwfJXRZLzPxlM,4302
solvers/cvc5-main/examples/api/python/bitvectors_and_arrays.py,sha256=WQBmRRYDPyld1Twjmper8QpQYN7H_ioMH2i7DePTU7c,3399
solvers/cvc5-main/examples/api/python/combination.py,sha256=ne-nsg7H1FaUwv2_PnqDL2v9ehgyN0CIDYWcEUbmRfs,3390
solvers/cvc5-main/examples/api/python/datatypes.py,sha256=AM2gv_5MPdup-HkJN4fg4xAluWZnMsdEdgYb-65ToRw,6001
solvers/cvc5-main/examples/api/python/exceptions.py,sha256=yhXQ-Ws310gsugi6u-UuzJo2waNZoj-jiKSA1Gia7Fk,1428
solvers/cvc5-main/examples/api/python/extract.py,sha256=hHL5FCVOqsxsizoapC8wTzqfyO180WbBRxwuXZiT3Tg,1570
solvers/cvc5-main/examples/api/python/finite_field.py,sha256=I4jpa1izQZFGJ8RJf8_e7SeBt8ntYx9CHRltivavqcs,1538
solvers/cvc5-main/examples/api/python/floating_point.py,sha256=B4vqtN1jwLpINasiCc87c_7sVhu_b4ib8dMqteU1MlM,4111
solvers/cvc5-main/examples/api/python/helloworld.py,sha256=0TTk1Ek14CONViO03s0KRvmRyH8TWbX-m6kuRGkVi5U,842
solvers/cvc5-main/examples/api/python/id.py,sha256=1V4dfrpsXhgr5-THVRtgNehChS7_JFkWeWp47oRF6Bo,1026
solvers/cvc5-main/examples/api/python/linear_arith.py,sha256=3l-sGmtuf9HI8KOAlUKGGHdumr2ZYfOS7E1tBsO7mAA,2257
solvers/cvc5-main/examples/api/python/quickstart.py,sha256=IMRDzdHfB4BDNNHf5DwF3o0Pq_U2e80eBmdsd_2cIUI,6561
solvers/cvc5-main/examples/api/python/relations.py,sha256=PXkGrPrmmO3x2XMy5KNJ89v6PpufH4TMSpFqi_eznUk,6283
solvers/cvc5-main/examples/api/python/sequences.py,sha256=Npc-TFm7gTO0_PqQQmFGNeILXbtPACw6C5pSKWwZrIg,2035
solvers/cvc5-main/examples/api/python/sets.py,sha256=-lFzXE5xTRKWxNh5RF_NGXIUFAIKFf_FfyqGWgON5uc,2878
solvers/cvc5-main/examples/api/python/strings.py,sha256=UPqAuKYxEN_VS7oAuonOd3SMiMGozIiQgwmIW-nE_Fo,3128
solvers/cvc5-main/examples/api/python/sygus-fun.py,sha256=Ied6V4guoAgUxNt0hztOj1eG6ojPuEXL6ildVoKtDYc,3243
solvers/cvc5-main/examples/api/python/sygus-inv.py,sha256=4ugnQIx-QKP7qKijNeUVDa8nSd_5fJpY4EKzwjvqNU4,2152
solvers/cvc5-main/examples/api/python/transcendentals.py,sha256=gspDQtP_kHpW5ZTSuFr8JtxZTuPsNbAbt0urOZhUCaI,1375
solvers/cvc5-main/examples/api/python/utils.py,sha256=H9lcI57wfvQvbAL7-r2aFA7teDBgU6wvWyCGOEASEVU,1847
solvers/cvc5-main/examples/api/python/pythonic/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/examples/api/python/pythonic/bitvectors.py,sha256=wzD0rOJrXUbFsGHqGpdWhinh6JIabH01e2vpUSFrTeo,1000
solvers/cvc5-main/examples/api/python/pythonic/bitvectors_and_arrays.py,sha256=Z3kptyiVCOUQxPeeHlEQa19pkvg1RfF878DoGwSA8-k,946
solvers/cvc5-main/examples/api/python/pythonic/combination.py,sha256=OsD78jxdHEk0o-rP53KezvTWyF6NUM6BS4uyW0MlT3Q,801
solvers/cvc5-main/examples/api/python/pythonic/datatypes.py,sha256=D8mMv8AjgYtQ0XvDztJLUAeCQFRGDPALXTT21XoG_9k,1459
solvers/cvc5-main/examples/api/python/pythonic/exceptions.py,sha256=q2eDvfL-XAzbSL1TUqHp4QX15IMCK3Zr_mWbUINhZ2g,390
solvers/cvc5-main/examples/api/python/pythonic/extract.py,sha256=w24NkU8qRFmgIRf9DCxDBqme8wa4m4sNqyyJhoJ1IQM,402
solvers/cvc5-main/examples/api/python/pythonic/floating_point.py,sha256=JLL6Irh-2SyxYphYX3I2wXa8w3Uy6JMt0me1fJcKuQ4,766
solvers/cvc5-main/examples/api/python/pythonic/helloworld.py,sha256=9Fac_MVFsFwpkHl1NskbSsBU1cTQqv19CYUl47wdvIE,102
solvers/cvc5-main/examples/api/python/pythonic/id.py,sha256=V3-Uke0nes60Gp7eI7v3RetfQLKqpn1eHfg8wq1VFmk,348
solvers/cvc5-main/examples/api/python/pythonic/linear_arith.py,sha256=P2K0SEeyRCKpRStVJUW8BRvJXRHTuhKSyjlEysioPic,232
solvers/cvc5-main/examples/api/python/pythonic/quickstart.py,sha256=HXi6TFVoRT7DsFTlW8uKqaFE4Fhxc4c2hki7hgk6iaw,1444
solvers/cvc5-main/examples/api/python/pythonic/sets.py,sha256=EzgjeBvDTagf2i3QgFFj4dR7U2KMlJvrgXlDHLIU2cM,441
solvers/cvc5-main/examples/api/python/pythonic/transcendentals.py,sha256=niB2Ra-7m_8gHlAvg6VzMBdBv1B6wympPqY-49x9CX8,156
solvers/cvc5-main/test/__init__ 2.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/binary/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/binary/interactive_shell.py,sha256=ZLvEENisMSSuuKZMyLryJY1NwgChPD1uNvh9N6pfmsg,2445
solvers/cvc5-main/test/regress/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/regress/cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/regress/cli/run_regression.py,sha256=e4ouMrdbTaD7zwf3BJR4XFxb_HKECQUwwooA_uv26mU,31784
solvers/cvc5-main/test/unit/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/unit/api/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/unit/api/python/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solvers/cvc5-main/test/unit/api/python/test_datatype_api.py,sha256=xutSAp_qWgfGMDnD11GfcApeGu21pLuIkuktLqPrbN8,18818
solvers/cvc5-main/test/unit/api/python/test_finite_field.py,sha256=7IkKStcr3u6r_ltWixv8DxwsRfhKeCNZZOFcvM-FCSo,1506
solvers/cvc5-main/test/unit/api/python/test_grammar.py,sha256=LKAAAhoVlFMRyWTBy-YofWV40EAZhp2iZhfsX-bMsp0,4112
solvers/cvc5-main/test/unit/api/python/test_op.py,sha256=Zrq-8tFkt_D__TwWW2TdiXnaWBIH-bBzV3Pw2lgmgug,7537
solvers/cvc5-main/test/unit/api/python/test_proof.py,sha256=mEHc2z4KBiLnwa5v0xSnXiBRYjhXNVy7hAJaPUeItXc,2221
solvers/cvc5-main/test/unit/api/python/test_result.py,sha256=HKhev9TT1onLB8RPKTy2KVdcYNAtIzsIg2XDfgB3WJs,2456
solvers/cvc5-main/test/unit/api/python/test_solver.py,sha256=BXJtH-k0Vw35-N-AbZiQnfs61QJpNJqHlv-_N7Ya8eE,99840
solvers/cvc5-main/test/unit/api/python/test_sort.py,sha256=yfPUkL-atDvMiLtPPFxKWRpXf_tJZvBOjICkKiXHgwM,19318
solvers/cvc5-main/test/unit/api/python/test_synth_result.py,sha256=vvSDqaV09MDQ5fJ5c1pGs6svAF8o1xpM64kWJ1PNwgc,1822
solvers/cvc5-main/test/unit/api/python/test_term.py,sha256=wis3-zUVtGAbobkl-brhUhmkx1wd-zKAS9uad6B9Vds,42934
solvers/cvc5-main/test/unit/api/python/test_to_python_obj.py,sha256=OOphjbEIKMudMBYsiZr7NT2DQJBhPT6yuFLLgvCPAps,3300
tests/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tests/test_solver.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
jz3-0.1.3.dist-info/LICENSE-Z3.txt,sha256=5hfK0quTR-MSnCsXHoeQkzIXTheWHFw0EtB5lGkREzc,1096
jz3-0.1.3.dist-info/LICENSE.txt,sha256=K23_FLVd2aKOuI3iaezQJ0uHkxU73Nl3ga5Jt2rvXjQ,1092
jz3-0.1.3.dist-info/METADATA,sha256=TivdX-pYo9TRToTOSO0iopmVrwcfceSFGvijlZJnmtY,3012
jz3-0.1.3.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
jz3-0.1.3.dist-info/top_level.txt,sha256=LIeolQV5hMl7b0JKZAVmGScVbzNpba_9UTGrZ9FjLYU,4
jz3-0.1.3.dist-info/RECORD,,
