#!/usr/bin/python3
# Expects e.g. ^A copy from Nonograms dprint preview cols, then blank line, then rows
#  rows are space-separated
#  cols are one-digit-after-another, unless some 2-digit, in which case x is separator
# E.g.
# 13x1x2
# 19
# maps to
# 13
# 1  1
# 2  9

import sys

Red=''
eRed=''
RedFmt=Red+'%s'+eRed

def interleave(*args):
  for vals in zip(*args):
    yield from vals

class Vector(list):
  # reads top-to-bottom or left-to-right
  def __init__(self,n,m,runs):
    list.__init__(self,list(range(n)))
    self.n=n
    self.margin0=0 # a run can start here, so if >0 then self[m0-1].val must be False
    self.marginN=n-1 # a run can end here, so if <n-1 then self[mN+1].val ditto
    self.runs=self.origRuns=runs
    self.initialComplete=[]
    self.finalComplete=[]
    self.resetAllRuns()

  def __repr__(self):
    return "V@%s%s:%s"%(self.x,self.origRuns,list.__repr__(self))

  def __str__(self):
    return '%s|'%('|'.join(str(c) for c in self))

  def myPrintSize(self):
    return sum(len(str(run)) for run in self.runs)+len(self.runs)-1

  def resetAllRuns(self):
    # compute the set of all possible layouts for runs
    self.rn=len(self.runs)
    rtot=sum(self.runs)
    self.allRuns=list(self.seedList(0,0,0,
                                    sum(1+self.runs[k] for k in range(self.rn))-1))
    self.nar=len(self.allRuns)

  def seedList(self,i,j,pos,runLen):
    """
    :param i: starting skip before next run
    :type i: 0 if pos==0 else 1
    :param j: next run number
    :type j: int
    :param pos: left margin
    :type pos: int
    """
    bound=self.n-(pos+runLen)+1
    #dprint('s',i,j,pos,runLen,bound)
    if j==self.rn:
        yield []
        return
    r=self.runs[j]
    for v in range(i,bound):
      for sub in self.seedList(1,j+1,pos+v+r,runLen-(r+1)):
        yield [-v,r]+sub

  def step(self):
    scratch=[0 if c.val is None else c.val for c in self]
    wins=0
    for k,runs in enumerate(self.allRuns):
      dprint('=====pass %s======'%k)
      if self.onepass(self.margin0,self.marginN+1,scratch,runs.copy()):
        wins+=1
    dprint(wins, scratch)
    maybeSeq=None
    inSeq=None
    for i in range(self.n):
      if scratch[i]==wins:
        # If blobby in _every_ pass, then must be a blob
        if inSeq is None:
          inSeq=i if maybeSeq is None else maybeSeq
          dprint('s1',inSeq)
          maybeSeq=None
        if self[i].val is None:
          self.newBlob(i,True)         # Check cross-vector
        elif self[i].val is True:
          # already there
          pass
        else:
          print("Shouldn't happen: attempt to blob where x already present! %s at %s"%(self,i),file=sys.stderr)
          exit(101)
      elif inSeq is not None:
        if self[i].val is not True:
          inSeq=None
          maybeSeq=None
          dprint('s2',i-1)
          self.checkNew(i-1)
      elif self[i].val is True and maybeSeq is None:
        dprint('s3',i)
        maybeSeq=i
    dprint('s4',inSeq,i)
    if inSeq is not None:
      self.checkNew(i)

  def onepass(self,i0,iBound,scratch,stack):
    """note that stack is not a simple run, but one with _negative_ numbers between
     and possibly before the positive ones, indicating obligatory skips
     """
    i=i0 # starting index into self/scratch/maybe
    maybe=[0]*(iBound-i0)
    dprint('r: %s'%stack)
    req=sum((-r if r<0 else r) for r in stack)
    while stack and i<iBound:
      r=rr=stack.pop(0)
      dprint('pop:',r)
      if r<1:
        # obligatory skip
        # (Above init of self.allRuns is easier if we allow a 0 to be ignored
        for k in range(i,i-r):
          if self[k] is True:
            # has to be False or None to skip
            dprint('x0',k)
            return False
        i-=r
        req+=r
        r=rr=stack.pop(0)
      # rr is run remaining -- how many we still need
      # First, check if we can start here:  0 is OK, and n>0 iff n-1 is None or False
      # if i>0 and self[i-1].val is True:
      #  dprint('x1',i)
      #  return
      if (iBound-i)<req:
        # Can't win, give up altogether
        dprint('x2',i,iBound,req)
        return False
      j=i # start of run, if we find it
      gapsFilled=0
      dprint('top:',j)
      while rr>0:
        # guaranteed by check above that we won't run over the far end
        c=self[i].val
        if c is False:
          dprint('x3',i)
          return False
        if c is None:
          # we could add a blob here
          gapsFilled+=1
        # and a blob already present is OK
        rr-=1
        i+=1
      # Maybe a win?
      # look ahead, can we stop here?
      if i<self.n and self[i].val is True:
        dprint('x4',i)
        return False
#       elif gapsFilled==0:
#         # We must have crossed at least one gap...
#         print("Shouldn't happen: no gap! me:%s i:%s j:%s rr:%s"%(self,i, j, rr),file=sys.stderr)
#         raise Exception
      # Victory!
      dprint('c6',r,j,i)
      for k in range(j,i):
        maybe[k]+=1
      req-=r
      # on to the next run
    # end of inner loop, did we win?
    if (not stack) or i==iBound:
      # yes
      dprint('win:',maybe)
      for k in range(iBound):
        scratch[k]+=maybe[k]
      return True
    print("Shouldn't happen? - fell through",stack,i,iBound)

  def checkNew(self,pos):
    # New blob at pos, can we complete anything?
    # Assuming @@ FTTB that it's never possible to definitively complete a
    #  non-marginal run, which is wrong if the length is unique and it's bounded...
    changed=False
    # First, find our boundaries:
    s=pos # start index of our run
    while s>self.margin0 and self[s-1].val is True:
      s-=1
    f=pos # finish index of our run
    while f<self.marginN and self[f+1].val is True:
      f+=1
    l=(f-s)+1 # our length
    print('%s:%s,%s,%s,%s:<%s>'%(str(self.__class__.__name__)[0],s,f,l,self.runs,self))
    c=self.runs.count(l)
    if c==0:
      # not big enough yet
      dprint('x0')
      return
    if self.runs[0]==l:
      # is it safely left marginal, i.e. no blobs or big enough gaps before us?
      if self.marginal(range(self.margin0,s),l):
        changed=True
        dprint('n1')
        # mark our margins
        for i in range(self.margin0+1,s):
          if self[i].val is None:
            self[i].setVal(False)
        if f<self.marginN-1:
          if self[f+1].val is None:
            self[f+1].setVal(False)
        self.found0(f) # pull in the start margin at least to f+2
        if f<self.marginN-2 and self[f+2].val is True:
          dprint('n1a')
          self.checkNew(f+2) # I think@@
      else:
        dprint('x1a')
    else:
      dprint('x1b')
    if self.runs[-1]==l:
      # is it safely _right_ marginal, i.e. no blobs or big enough gaps _after_ us?
      if self.marginal(range(self.marginN-1,f,-1),l):
        changed=True
        dprint('n2')
        # mark our margins
        for i in range(self.marginN-1,f,-1):
          if self[i].val is None:
            self[i].setVal(False)
        if s>self.margin0+1:
          if self[s-1].val is None:
            self[s-1].setVal(False)
        self.foundN(s) # pull in the finish margin at least to s-2
        if s>self.margin0+2 and self[s-2].val is True:
          dprint('n2a')
          self.checkNew(s-2) # I think@@
      else:
        dprint('x2a')
    else:
      dprint('x2b')
    if changed:
      self.resetAllRuns()

  def marginal(self,rng,l):
    g=0 # length of a gap
    for i in rng:
      if self[i].val is True:
        dprint('mx0')
        return False
      if self[i].val is False:
        g=0
      else:
        # None
        g+=1
        if g==l:
          dprint('mx1')
          return False
    return True

  def found0(self,i):
    print('found0 called on %s at %s'%(self,i))
    i=self.margin0
    while self[i].val is False:
      i+=1
    if self[i].val is True:
      r=self.runs.pop(0)
      self.initialComplete.append(r)
      self.margin0+=r+1
      self.updateHeader(r=r)

  def foundN(self,i):
    print('foundN called on %s at %s'%(self,i))
    i=self.marginN
    while self[i].val is False:
      i-=1
    if self[i].val is True:
      r=self.runs.pop()
      self.finalComplete=[r]+self.finalComplete
      self.marginN-=r+1
      self.updateHeader(r=r)
    

class Row(Vector):
  def __init__(self,n,m,runs,pos):
    Vector.__init__(self,n,m,runs)
    self.y=pos
    self.width=self.myPrintSize()

  def __str__(self):
    return ((self.fmt%(' '.join(str(r) for r in self.runs)))+
            Vector.__str__(self))

  def updateHeader(self,*,maxWidth=None,r=None,pre=None):
    if maxWidth is None:
      # update
      if pre:
        self.infix+=(RedFmt%r)+" "
      else:
        # post
        self.suffix=" "+RedFmt%r+self.suffix
      self.fmt="%s%s%%s%s|"%(self.prespace,self.infix,self.suffix)
    else:
      # init
      self.maxWidth=maxWidth
      self.prespace=' '*(maxWidth-self.width)
      self.fmt="%s%%s|"%self.prespace
      self.infix=""
      self.suffix=""

  def newBlob(self,x,crossCheck=False):
    self[x].setVal(True)
    if crossCheck:
      self[x].column.checkNew(self.y)

class Column(Vector):
  def __init__(self,n,m,runs,pos):
    Vector.__init__(self,n,m,runs)
    self.x=pos
    self.height=self.myPrintSize()

  def updateHeader(self,*,maxHeight=None,r=None,pre=None):
    if maxHeight is None:
      # update
      if pre:
        self.infix+=(RedFmt%r)+" "
      else:
        # post
        self.suffix=" "+RedFmt%r+self.suffix
      self.fmt="%s%s%%s%s"%(self.prespace,self.infix,self.suffix)
    else:
      # init
      self.maxHeight=maxHeight
      self.infix=""
      self.suffix=""
      header=('-'.join(str(c) for c in self.runs))
      self.prespace=' '*(maxHeight - self.height) # pad to same 'height'
      self.fmt="%s%%s"%self.prespace
      self.header=self.fmt%header

  def newBlob(self,y,crossCheck=False):
    self[y].setVal(True)
    if crossCheck:
      self[y].row.checkNew(self.x)

class Cell:
  def __init__(self,row,y,column,x):
    # At the intersection of row and column Vectors
    self.row=row
    self.column=column
    self.x=x
    self.y=y
    self.val=None # three valued: None(unknown), True(filled), False(empty)
    self.row[x]=self
    self.column[y]=self

  def __repr__(self):
    return "C@(%s,%s):%s"%(self.x,self.y,self.val)

  def __str__(self):
    return ' ' if self.val is None else ('\u25A0' if self.val else 'x')

  def setVal(self,v):
    if v is True:
      if self.val is False:
        print("Warning: x -> * at %s,%s"%(self.x,self.y),file=sys.stderr)
      elif self.val is True:
        # No-op
        return
      self.val=v
    else:
      if self.val is not None:
        print("Warning: %s -> %s at %s,%s"%(self.val,v,self.x,self.y),file=sys.stderr)
      self.val=v

class Nono(dict):
  # 0,0 is upper left, so increasing y goes _downwards_, to match the standard layout
  def __init__(self,runsPerRow,runsPerCol):
    n=self.n=len(runsPerCol)
    if n!=len(runsPerRow):
      print("losing r:%s x c:%s"%(len(runsPerRow),n),sys.stderr)
      exit(1)
    self.rc=runsPerRow
    self.cc=runsPerCol
    # print col nums>9 vertically :-(
    self.columns=cc=[Column(n,self,runsPerCol[i],i) for i in range(n)]
    self.maxCRheight=maxCRheight=max(col.height for col in cc)
    for c in cc:
      c.updateHeader(maxHeight=maxCRheight)
    self.rows=rr=[Row(n,self,runsPerRow[i],i) for i in range(n)]
    maxRRwidth=max(row.width for row in rr)
    for r in rr:
      r.updateHeader(maxWidth=maxRRwidth)
    self.rowfmt="%s|%%s|"%(' '*maxRRwidth)
    for x in range(n):
      for y in range(n):
        self[(x,y)]=Cell(rr[y],y,cc[x],x)

  def __str__(self):
    lines=[self.rowfmt%('|'.join([(self.columns[i]).header[j] for i in range(self.n)])) # 'rotate'
           for j in range(self.maxCRheight)]
    lines+=[str(r) for r in self.rows]
    return "\n".join(lines)

def dprint(*args):
  print(*args)

if __name__ == '__main__':
  if len(sys.argv)>1:
    f=open(sys.argv[1])
  else:
    f=sys.stdin

  cols=[]

  for l in f:
    l=l.rstrip()
    if l=='':
      break
    if 'x' in l:
      vv=[int(s) for s in l.split('x')]
    else:
      vv=[int(c) for c in l]
    cols.append(vv)

  rows=[[int(s) for s in l.split()] for l in f]

  solver=Nono(rows,cols)
  print(solver)
  for c in solver.columns:
    c.step()
  print()
  print(solver)
  for r in solver.rows:
    r.step()
  print()
  print(solver)