# ---
# jupyter:
#   jupytext:
#     text_representation:
#       extension: .py
#       format_name: light
#       format_version: '1.5'
#       jupytext_version: 1.14.4
#   kernelspec:
#     display_name: Python 3
#     language: python
#     name: python3
# ---

# +
import os

def tryer(fn,d):
    try:
        d0=fn[:-9]+" -> "+d.split("weight |")[1].split('"')[0]
    except:
        d0=None
    finally:
        return d0

for r, d, f in os.walk('0'):
    pass
u=[]
for fn in f:
    s="0\\"+fn
    with open(s,encoding="utf-8") as f1:
        d=f1.read()
        d0=tryer(fn,d)
        if d0:
           u+=[d0.split("&#10;")[0]]

with open("wolfram_result.txt","w",encoding="utf-8") as f2:
    f2.write('\n'.join(u))
# -

print(len(u))
u



StarcoderdataJupyterScriptsDedupFiltered