BEGIN {
  FS="( |:|=)"
  FLDidx=4
  FLDname=5
}

{
  if ( $FLDname == "state" && $NF == "6" )
     state6[$FLDidx]
  if ( $FLDname == "sessionID" )
     sessionID[$FLDidx] = $NF
}
END {
  for (i in state6)
    printf("state6 idx->[%d] sessionID->[%d]\n", i, sessionID[i])
}