nagini-1.3.1.dist-info/licenses/LICENSE.txt,sha256=HyVuytGSiAUQ6ErWBHTqt1iSGHhLmlC8fO7jTCuR8dU,16725
nagini_contracts/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_contracts/adt.py,sha256=hHTezXBQtOmIxr3k91yKqs3vvFsCr5z6sPnvCDopQgs,1116
nagini_contracts/contracts.py,sha256=Xr4SdeDs3U0m-CWDRmjiRiV6XU8lGIlObHsBMy_bT8I,17520
nagini_contracts/io_builtins.py,sha256=XNg3qCpFCd7Ta_YQQ0Mm13jgNvMr0Ij1mbVxJCqziaA,5553
nagini_contracts/io_contracts.py,sha256=PIpclEJ7Ili1wvyv_zr5j3bW_2Hy6tvEZWIs0lLWlfQ,10775
nagini_contracts/lock.py,sha256=xq0B-GIVED8S7_OoEi1NLbMe8sn9J1j3GYk4C0Tg-_c,2675
nagini_contracts/obligations.py,sha256=VQjkJCXlFHdEZ6F200NJBEqy2eL9rigB4WJzXKIwjAk,1287
nagini_contracts/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
nagini_contracts/thread.py,sha256=RSb85sTSjU2oslWUzCpwOhv1VRaeoytioZL-FVqzzkM,3254
nagini_translation/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/analyzer.py,sha256=T9mvDYafwKWChoNHQ5ol2LGYQKcPItaTxeoKtG_LnbU,92403
nagini_translation/analyzer_io.py,sha256=FGeA1gEcjsaTB8_md9dbEeOSrotgFSHtqCb-IxTYy2E,14108
nagini_translation/client.py,sha256=SlHuRBklC50-ETuoYsHOvKMiF8F7P0wPAwgUyYD7RlM,1011
nagini_translation/conftest.py,sha256=tXqigUnUMU_NudN5fLGDUPzH9IdoZcAyCBgFixZFHN8,14451
nagini_translation/lsp_server.py,sha256=w1jIGMs9O7ve0zdC-48ZBv7K9ftsB2KfwYK_eUK2b5M,12215
nagini_translation/main.py,sha256=J78qJOZyKkJEyhj9zAODJS6vjXomhpC14OQuTmbs4kY,25021
nagini_translation/mcp_server.py,sha256=5jCUmjqehgMkeRea1dLWlAPLIEY3fEIXYuXX0Y4SVWs,6247
nagini_translation/service.py,sha256=RS_MA3RWTH3TvWRK8FEJnZeJRcVZPyauCv49Bb-x7Mc,27238
nagini_translation/sif_translator.py,sha256=OEC7m1ESfoPQUSHXN_ku6dOOpGq90UrLeKTJV3c7s0I,3993
nagini_translation/tests.py,sha256=WSxEGqko8DXZcU6YxLS8RDhTljG4Y6G4rLDvBeFORMc,24614
nagini_translation/translator.py,sha256=lQHFMfOHEV0_EDBi9nxSJVOpDbemclDMfotGBYOZc5U,6858
nagini_translation/verifier.py,sha256=uFXhoy814pgqILC_-Syqe3cTdX7bSkmVi85tL2QxLqE,7797
nagini_translation/viper_server.py,sha256=UQB73-ZsCPw8q73tC8sBEmsiR7q52n0KSwovZhzFq7Y,9954
nagini_translation/wp.py,sha256=CGrLPQa8-tJ1GihuBzKT_CCofszTL9s3IvE3ijYCxdY,4123
nagini_translation/external/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/external/ast_util.py,sha256=hIvKHjOjTuzp_d1OOao7qOg5oO2xAF7rAovu1FXqz3w,12624
nagini_translation/lib/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/lib/config.py,sha256=diIgkN3Rf03hiisvBeXaFoezsPxbGkbttGepjjemVQE,10200
nagini_translation/lib/constants.py,sha256=Kj1rEMWXJOlJ9k4twh0zEESFXHYnxCuoasllRo7Whw8,8338
nagini_translation/lib/context.py,sha256=ahE8eIT4KH4zmK43MKVNkiJSMdNPzfrKEDhrI_G77Zs,7748
nagini_translation/lib/guard_collectors.py,sha256=zqIJhBR2LD3V5pKi_z4Cd05OMb06gJQSesDKKw704ZY,1832
nagini_translation/lib/io_checkers.py,sha256=fRlOBAM2Evmqh72wOqAAwc6SXcy_TVJiEZEJ9qG8mtw,3275
nagini_translation/lib/io_context.py,sha256=BRna0Mbc8zwauIgLcKFqGZ6SIloZm_AWSosdKFHBTKk,3167
nagini_translation/lib/jvmaccess.py,sha256=46JYADmwRoVCzYufdXZj_B-c1e4Qp-qaCsz97iwHpbk,3374
nagini_translation/lib/obligation_context.py,sha256=LmBl8uFHutWQ0zu1b9614CYUyq5TWIGuPlxv4QkyJ9g,1988
nagini_translation/lib/program_nodes.py,sha256=Ct4c0UmMwN4V54jOILwI6GFcv_Gecbh7oSFHf__JKts,72074
nagini_translation/lib/resolver.py,sha256=akZ5HPg1Wml0J4xpBHSK4TeFzl2j91Tklrbe0yT9v2k,31857
nagini_translation/lib/typedefs.py,sha256=zMVZ0YobcD8XzuvSkHzrlmFeNSg3qzIiWextp6OfI5s,1042
nagini_translation/lib/typeinfo.py,sha256=Znh-umGCYIFSnt4Oss_VpjkfJO6Lv3JCeBqTJEZ099s,21174
nagini_translation/lib/util.py,sha256=SNqleta8hMdl70DXvGOUe1Gc6tPk08yKrvKlXa8tfNY,14048
nagini_translation/lib/views.py,sha256=XFjyalbVqI6o7wvYvR4HAJI_XMxwwf4oxU37PCh48Uk,4533
nagini_translation/lib/viper_ast.py,sha256=hix5y7QzNf8qe_stIPRJFLjN0gPzyljZILmDxBLV6CY,23584
nagini_translation/lib/errors/__init__.py,sha256=RfwqsHcE_JBjGLSu2zQbDrm8ECPnR_XPxUrNMNILkrQ,586
nagini_translation/lib/errors/manager.py,sha256=RSYLhBL2ZGxxgEE1UDRMSOFZYDXPNXWNtFdPv2FA6YU,7097
nagini_translation/lib/errors/messages.py,sha256=Q_ixv4os9RKc2Qw_BisCbvMNBRFirmqetInfo0OTffQ,10684
nagini_translation/lib/errors/rules.py,sha256=xIsIk0AoQas5DsY9sJTz_Hkc5vXUglAc1xCARVWpTo0,6129
nagini_translation/lib/errors/wrappers.py,sha256=3Nal69OqEItDctSc04NiGipvpz7uoc8zz9YGJzfLeT4,8312
nagini_translation/lib/silver_nodes/__init__.py,sha256=ycZmqP7PckHUryadRR5ZLt_xT32hmTUYk4An7enilTI,1106
nagini_translation/lib/silver_nodes/base.py,sha256=V3nopjQH1fQgt3W6jPzuiS_2bPvcLba50VGKvJLS3JM,1180
nagini_translation/lib/silver_nodes/bool_expr.py,sha256=LHGcdnKJPkSr0Rd3rWlIBZlzGw-GNdJGSAeE0xKFFWc,10295
nagini_translation/lib/silver_nodes/call.py,sha256=xaYJebpk0bGBP26WBTvfsx6owRXr_HdMqzausFXpxII,2387
nagini_translation/lib/silver_nodes/expression.py,sha256=G0qdKlLToqe3kv8SDkVJpjWHbQ2a8i-kbCe3bpCrLzE,1506
nagini_translation/lib/silver_nodes/int_cmp_expr.py,sha256=d9SX6c6QpKInI74RHdIOpVK9YigT-z9Lwl4iU2e6Gtk,3782
nagini_translation/lib/silver_nodes/int_expr.py,sha256=fVY6BKVP4kiz-ddQgCxXp6q31gDMQaTux-3mfDmJToo,6642
nagini_translation/lib/silver_nodes/location_expr.py,sha256=SgxTFxEnvLdJM1EXb6oCV-02haFCZQUEXujP3Xuyb8s,2855
nagini_translation/lib/silver_nodes/perm_cmp_expr.py,sha256=M90xgmVDz_DJ37D-OUSV-6w8b0DmckpcFRI6a2UO_bA,2883
nagini_translation/lib/silver_nodes/perm_expr.py,sha256=0r3GMy2U1Tksv5Kiw1jGCgmUyRm4VmUPcOdWnQujtIY,4827
nagini_translation/lib/silver_nodes/program.py,sha256=EqGZ96tHpWK9g0lS44drV51x5X7gWXNeQSe-N6zndVk,1551
nagini_translation/lib/silver_nodes/reference_expr.py,sha256=GoGJHoxhvKWde9wv87lQH7sQ55dUCT8RMEnw1jBpZQg,2472
nagini_translation/lib/silver_nodes/statement.py,sha256=UIVgpmUbKwTN-x4i2OcQ5DiUwE671WpdSfxWBgTUlsI,3234
nagini_translation/lib/silver_nodes/types.py,sha256=OmVarGIMsG3xs8raQitUlC_vT62-nhE0WgeSmEDIpDE,5363
nagini_translation/models/__init__.py,sha256=12MtgyVcvyZ0nzMg14dxbmQZCJj6PpSrrHbSY8vhB6Y,231
nagini_translation/models/converter.py,sha256=khaDxUaJBVkhCpgW-yccwJr3BnWv4l8E687kIdpSEbk,35822
nagini_translation/models/extractor.py,sha256=91H1RRSiRhegeoTKZ5meTKgPl2sS3T3dAeEMXZt5IZ8,5099
nagini_translation/mypy_patches/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/mypy_patches/visitor.py,sha256=nHzwkb2JBABnyK2U9pDL4Ds2tVdYbLj7H00zA3ZeBJg,10869
nagini_translation/resources/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/resources/all.sil,sha256=k0bqFvLesVJWBPG7llz516FaBequDqBV61NDbhbdkIQ,895
nagini_translation/resources/bool.sil,sha256=lIIWAjJWfMyzo_UdGHhmIcDqvpY01hr0xjqONcN_ahI,29054
nagini_translation/resources/builtins.json,sha256=nB9oBaADC4w6EBeBswtOd1PDZ0364sMHRPIQsgSzHM0,28818
nagini_translation/resources/bytearray.sil,sha256=bOS3W-WjVUkSw8ryyHEtGeZfcmqmW49XCOioL52K_Pg,7929
nagini_translation/resources/bytes.sil,sha256=_n2Lk_hUzUrCY46WtbS32P_Y6ucvIaOtiB7CoT5tK1U,4760
nagini_translation/resources/byteseq.sil,sha256=AjObNJ0zfChnRzT7hBw1xm8QwykceARYaNiBlj6_MCQ,3587
nagini_translation/resources/float.sil,sha256=h8_oCD6bpd9KeBrPZXlmy5JR_aCEkKb4hd7q91y2bSU,6100
nagini_translation/resources/float_ieee32.sil,sha256=jCXXbImvHUI9pmkewBg_QwI4if8poAm1JCxY_9aqUvE,7028
nagini_translation/resources/float_real.sil,sha256=6RntLCleOT76H3_WFHBxXf6PNRiyHGKyNRBqh7Tk33Q,26336
nagini_translation/resources/intbv.sil,sha256=lODIdSFqP96Qy6_9gXSXE55iuBx7kceJHlttgwSQe8o,1088
nagini_translation/resources/iterator.sil,sha256=h8u-syToYxxP7X958KR9glTV0SM3T6wntDsysbqK7z8,3405
nagini_translation/resources/list.sil,sha256=jpBvoB8PKn4hbhQwd99lZPColG6lgO1JpuDlXDrmUmw,7303
nagini_translation/resources/lock.sil,sha256=16aqaHFMEdhFp6v1MTJGMUuzmnzl50uKNH0ESG4arPQ,288
nagini_translation/resources/measures.sil,sha256=0nG8NbSUPqtvPscyQE9Bi6HWuwgv9W1Kyk4cNXRSD9o,1171
nagini_translation/resources/name_domain.sil,sha256=3SPaV5WG7weWBew4DIUPNyEbo80ijMlX6hQLu0qsrMc,1873
nagini_translation/resources/pset.sil,sha256=QISRIYVZI5Ds3nw67c-LzwaGo_9ZLV4ccltLc9-rIuE,4986
nagini_translation/resources/pytype.sil,sha256=fkjD5tdItDE710LpPl4SYGDX7gOhMYm1XoUV1mU0rTo,1732
nagini_translation/resources/range.sil,sha256=tANBecwffszuiPoZJPrJR_1CFaS6k2-55plXa3XGtyY,4053
nagini_translation/resources/references.sil,sha256=-QHV7fmhxoOziYvRj0MszZfbApajDfTkNCSFEMIQGg0,681
nagini_translation/resources/seq.sil,sha256=VhzWTLQvdbjtougy9vWEc_FO4aNKd5c7-wgbvdWdo0M,3906
nagini_translation/resources/set_dict.sil,sha256=2hI7CaLYrOJT9Rm3TUBC9IsUEZLeJTZ2_lt7A5_qLvs,7155
nagini_translation/resources/slice.sil,sha256=BnzH8vdz4g_WbjWdBECzv5EwdTmKaCcESlMON9pflUI,1452
nagini_translation/resources/str.sil,sha256=0wYq_KDqnKsTArr5V7f9_uoVPZkE6ixXSoWwZV2ni6g,2206
nagini_translation/resources/tuple.sil,sha256=XS73f5ESI8OyfbepwubFAXNrqjMNUS0G3BAhp2cICh4,16642
nagini_translation/resources/backends/silicon-sif-extension.jar,sha256=0bSBZL2FlLKUljDtMwW-Pk9MRl9UOwcMkMrnizEyUGo,23487
nagini_translation/resources/backends/silver-sif-extension.jar,sha256=HDPOslmJSC_cSd9Db98x0DGmo7nYM0xblUrqa3NZ_dg,488638
nagini_translation/resources/backends/viperserver.jar,sha256=Jnl34qdX8LvGFTvZUzFMao0rqQjdWdsQAfbTE_kZPcI,85735524
nagini_translation/sif/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/lib/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/lib/util.py,sha256=5vf-_2I4VUFm80vlSibVyXLNIb0xQHosDxUXYvk8tHs,3465
nagini_translation/sif/lib/viper_ast_extended.py,sha256=OialUG_nJE0tWZ5IaE-aRQ5hN_uUqjqVp-qSzD8j3eI,6005
nagini_translation/sif/translators/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/translators/call.py,sha256=s4nG2VSfSg3irsvMzZ2GGBy-JPaW-RqKI1f0fsVfmwY,1246
nagini_translation/sif/translators/contract.py,sha256=9NnCQtXYAxpjE6TQaQQmM598trYn0txpaOlN9QQy0HM,5351
nagini_translation/sif/translators/expression.py,sha256=43Pv27OyK7W5ekqUvFtrao0R2m-MTJCglvTHYlxjD7M,1508
nagini_translation/sif/translators/method.py,sha256=esICHNuOL8cmPmbZ_qeiahzS_QHwB8RQ15xwzQZjkrM,3490
nagini_translation/sif/translators/program.py,sha256=uj82wmvxbmFQbzILm9xYZvXm3KsjCgCkv1roY1FS5Ws,758
nagini_translation/sif/translators/statement.py,sha256=aOeQs3YT-a_B_4PFqOXl9vjuZa7T1_u4pJyW2U2uriM,15098
nagini_translation/translators/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/translators/abstract.py,sha256=Y68aXVvR7I-CyfPwyOLDyu7pHso-ssg4hS6hnUPAHBI,17191
nagini_translation/translators/call.py,sha256=PEheTDPJBwVHmNmx5CfWgPL8IrG9KWrOUVtFCRrDWbY,92039
nagini_translation/translators/common.py,sha256=cTpiOx2DmfHMQx_5TfxLAex2KFuhgICf3Z_WbWRD4vA,46178
nagini_translation/translators/contract.py,sha256=WzhHOKr68UPDeRd1xEAyMy9v55Cw8KCR9BPUeUOIh1Y,58885
nagini_translation/translators/expression.py,sha256=yRdXj5fdZrpbJBGK41zyIX-jMZRLkU6H2wcesiXuvZY,88280
nagini_translation/translators/method.py,sha256=r9mSOb0csSW3jew4GuIPF7hcOgtr2T4qBVHSjUW6o_8,51117
nagini_translation/translators/permission.py,sha256=3z_P1d-f5VDJLl3mhgDzoHG7eyuQ95grezemmcqiT2w,8737
nagini_translation/translators/predicate.py,sha256=yeYOAyD4SnVn3WmLbVcSzF_zG9_ECu4H7uH8ig_1rNs,10246
nagini_translation/translators/program.py,sha256=wKLJeT-fFdHou_EbbyaXnsndTMOre550JRnpaPpadeA,82676
nagini_translation/translators/pure.py,sha256=zlfE0nL6SYRhRGQqBo8Xrl3d062ItkgsjG2SL-60QYg,27436
nagini_translation/translators/statement.py,sha256=iH97jbImmq_WZ_szW8uGLBPtZFbdt18vaM8GD875iYM,92948
nagini_translation/translators/type.py,sha256=RBCGfJmxbyXBz8cgGpbauQezP-cLlzvRO4m3tUKFmx4,3903
nagini_translation/translators/type_domain_factory.py,sha256=5_wSRTzF1fEbFB4cAqf1z18BCXTHW73iyFow5INTERY,47534
nagini_translation/translators/io_operation/__init__.py,sha256=SJwKEfTtaDpv1NfqKauMOEaf6P0GudB3B4qw1s7mNh8,4885
nagini_translation/translators/io_operation/common.py,sha256=p_0lmygxRv2vMuPQycwxCjBx8C19KR7XGM1pRL5Czn4,3235
nagini_translation/translators/io_operation/definition.py,sha256=yzzNzL43n61pwXGlx6sPXImOlTuPqy9t1HhZ9JrncJc,8120
nagini_translation/translators/io_operation/interface.py,sha256=mpafgLNV_T23CBhTAQUGTuDUMRu5CjXJLQ5xffwf-88,3211
nagini_translation/translators/io_operation/opener.py,sha256=h11eXTEUjurtzh1RgeRc2aPZspBv9nl3jGoemBMneQU,8168
nagini_translation/translators/io_operation/result_translator.py,sha256=OimiVBjVRmOk7PaS_iNLeBGbeu4TL2Y4SpnbdEtAqmM,7461
nagini_translation/translators/io_operation/termination_check.py,sha256=1TElIJnkM-Z8OM9y1Y2XIgrpQNDWwaDtRVtOEZp5QzQ,7718
nagini_translation/translators/io_operation/use.py,sha256=5oxaOENaBkSR7-iZWwk0B9ojuUDaEcP0wSMmx0MnTq4,12404
nagini_translation/translators/io_operation/utils.py,sha256=5kRxZ4xFGTbpkw_EcdU3RXM9BqEKhVJSVJVTA9pLzKw,2619
nagini_translation/translators/obligation/__init__.py,sha256=6xXVyNqs54AHIa9BbBQrU40vVAXfC3_jb7ZPlnXarBs,370
nagini_translation/translators/obligation/common.py,sha256=oAtgjaXrPua-GzUHCcF6y_XAlHtZPaBVSodqeMf4Z3I,4461
nagini_translation/translators/obligation/fork.py,sha256=sWIQLoj9O-eli-JmaOtlgza6UXpX2qu0c8oEcmI5nLc,11558
nagini_translation/translators/obligation/inexhale.py,sha256=hx5sMil3noVLjgp9D7HdprRlBnUy1V3r88Bfwq2YqyI,8540
nagini_translation/translators/obligation/interface.py,sha256=CoC-0mFF7XBLxhREoCqutOzfqmGZEF0IThw6SsC5XgA,11062
nagini_translation/translators/obligation/loop.py,sha256=dJOsS-0D4T0GmY0oULIvRxNZCJojGhhNPKTR5NnXR2U,2650
nagini_translation/translators/obligation/loop_node.py,sha256=jOCgOkEVC_sHJ5P4sJj6B45B2DpGZrN0W7Z9PdWmyxo,11162
nagini_translation/translators/obligation/manager.py,sha256=8RhvxaXshzGd_erF5slNLHGX_blH8KhABnq_KRWDYr4,3075
nagini_translation/translators/obligation/measures.py,sha256=s57MbNuEH7MVDMJHPn0BMYrEXAHckmAjVXefA69Yelo,3303
nagini_translation/translators/obligation/method.py,sha256=-bdtiLXvTtaFBWEDYTeDcjj8mRqXNR5Iq1L4G87U2bs,4600
nagini_translation/translators/obligation/method_call_node.py,sha256=84jN6rpeFV0dZ_YOLpUgp5w9gXdEg0v46ugJlE-8TuI,4273
nagini_translation/translators/obligation/method_node.py,sha256=dz3u8WkuC2CNgcfG8jgv-X3lF5MyOKMZGxU3IDyrOPc,14383
nagini_translation/translators/obligation/node_constructor.py,sha256=hqBEEMTOsrlo6Ov3Y3UcWCh9s7jGu2cKqrl8bVHZfSE,5169
nagini_translation/translators/obligation/obligation_info.py,sha256=1LtS-GKTTLau7z-brFgT1Lsw9_r_OFqIvwLRJO4wsjY,19657
nagini_translation/translators/obligation/utils.py,sha256=GoxZiAjwKpAfw1gztlYBXoIotufbnSnc2tsuukB4UFc,1645
nagini_translation/translators/obligation/waitlevel.py,sha256=m52jzY2-y1qllSdDgvxAQomIl0R7gdV66ywuy-ofO6A,8904
nagini_translation/translators/obligation/types/__init__.py,sha256=QRUzyHF-TvD29GMOB7gYvnAWeRMDjtufYGlmS7e6S9o,438
nagini_translation/translators/obligation/types/base.py,sha256=F0OnGoWlVg3GzR464mPN-sA4QriBrYnYDLbRBUjOZFU,5243
nagini_translation/translators/obligation/types/must_invoke.py,sha256=8xr2iHJ_PJaj4i4_FuGY41Fy1nhYh2kBqjBL6VVfzpI,3932
nagini_translation/translators/obligation/types/must_release.py,sha256=CS9_MtI_Uoipp_rEdpSIonh1i5Qu9HOxrzg3ZXylmt8,3250
nagini_translation/translators/obligation/types/must_terminate.py,sha256=c64kBCZHNAuVtD7DI9nvO7iNJwnqQOAuuqGLTL1HR8s,10782
nagini-1.3.1.dist-info/METADATA,sha256=O-IYFjsi9j9MkHS62UbOQNMmJUjwarqTkH2kL-_p_sA,15354
nagini-1.3.1.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
nagini-1.3.1.dist-info/entry_points.txt,sha256=VDruMWmz-7l4uXtax8PDwsMcsne9PkDUoYtqLwakr2I,199
nagini-1.3.1.dist-info/top_level.txt,sha256=DPm_IoHgncWTKcHdQunxbwj2nTx3_Z_QbBkbAqgiNzs,36
nagini-1.3.1.dist-info/RECORD,,
