How params are converted and stored in lib.get_params()

This is because relay.build optimizes the constants through constant folding. That said, those constants you marked have been folded and simplified.

Actually, it is simplified in the bind_params_by_name function in relay.build. And if you print the output module of that you see:

def @main(%input: Tensor[(7), int32]) -> Tensor[(7), int32] {
  %0 = (meta[relay.Constant][0], meta[relay.Constant][1]);
  %1 = concatenate(%0, axis=-1) /* ty=Tensor[(7), int32] */;
  add(%1, %input) /* ty=Tensor[(7), int32] */
}

You may also want to read the comments: