Update unsynthesized xs19 soup counts

fetch_xs19.sh

curl -o xs19.txt https://catagolue.appspot.com/textcensus/b3s23/C1/xs19
curl -o xs19-synth.txt https://catagolue.appspot.com/textcensus/b3s23/synthesis-costs/xs19

find_unsynthed_by_soups.py

import operator

unsynthed = []
with open("xs19-synth.txt") as Fin:
  for line in Fin.readlines():
    if not line[1:5] == "xs19":
      continue
    parts = line.split(',')
    code = parts[0].strip('"')
    cost = parts[1].strip().strip('"')
    if cost == '999999999999999999':
      unsynthed.append(code)

occurrences = []
with open("xs19.txt") as Fin:
  for line in Fin.readlines():
    if not line[1:5] == "xs19":
      continue
    parts = line.split(',')
    code = parts[0].strip('"')
    if code in unsynthed:
      cost = int(parts[1].strip().strip('"'))
      occurrences.append((code, cost))

occurrences.sort(key=operator.itemgetter(1), reverse=True)
for object in occurrences:
  print("{} - {}".format(object[0], object[1]))