7039f3a8ea176381c584ca8630a78918513484aab86779a89706ec1725e819fe *certificate_sympy.json f63251053023d70a70cf8201fc277d607238fd9401b8c06d7efafb84d0e7f4f0 *independent_reproduction.md 9b5804bb6cfe600ae660189cd34ac6d999ddb060442e18c8b5e0775b6dd12eb8 *index.html a7fb72ca143142cfdf4fe18ac561a427013123e03bb5fd4704d2b03e1969e94b *manifest.json 8d9443e6445a9c272e043489d75763eddf23558879b0b1659e03437db122248b *paper.md fb615ebdba84657d871958b8cfb5be843c23fc2abac8968a56449388f90b0e91 *power-weighted-lifts-higher-weight-keller-maps.html eb8138ef0f4313252b1c1bd1a34c4d69da8eb837095f323bedd79fffb1aafe8c *README.md 630f8ff6a2a97d3ca8c5791a950e5b45988b3e30b9388e64dea40b5681d2aed7 *requirements.txt 3732868e99e1c1c0ac9341904873c11845a970d7c8a3e4dac2ebf9cbd9c95e3d *run_all.py cb3eda618738742de54e8b8bedc499c734203290a31b4ed5422f718bc23ff559 *verify_maple.mpl 140b502098ab842abb9cff362121a0fc7ca379dcee5670b5d038af5a4e262605 *verify_sage.py ab6f76ff669439c68af177c45731823e92b1a2261c5917c17990dbf09f334a98 *verify_sympy.py