#!/bin/sh
cat $1 | \
aigstrip | \
aigtoaig -a | \
awk '
/^aag /{
  print
  n=$3
  next
}
{
  if (NR > n + 1) print;
  else {
    inputs[NR-2]=$1;
    if (NR == n+1) {
      for (i = 0; i < n/2; i++)
	print inputs[2*i];
      for (i = 0; i < n/2; i++)
	print inputs[2*i + 1];
    }
  }
}'|aigtoaig - $2