x=readFile(1)
y=readFile(2)
while x!=(-1) && y!=(-1)
  if x==y
    if readFile(3)!=x
      <error>
    else
      x=readFile(1)
      y=readFile(2)
  else if x<y
    if readFile(3)!=x
      <error>
    else
      x=readFile(1)
  else if readFile(3)!=y
    <error>

if x!=(-1)
  i=1
else
  i=2
  x=y
while x!=(-1)
  if readFile(3)!=x
    <error>
  else
    x=readFile(i)
if readFile(3)!=(-1)
  <error>