sed -i "1s/import fitz,json,os/import fitz,json,os,unicodedata/;s/txt=' '.join(page.get_text().split())/txt=' '.join(unicodedata.normalize('NFKC',page.get_text()).split())/;s/\[(x\[2\],x\[3\]) for x in page.get_images()\]/[(x['width'],x['height']) for x in page.get_image_info()]/" /workspace/scratch/verify_final.py
python /workspace/scratch/verify_final.py > /workspace/scratch/verify_final.log && cat /workspace/scratch/verify_final.log