CCIE SD-WAN KBITS.viptela file

I am working on labs for the SD-WAN part. I am stuck at uploading the serial.viptela file for adding a list of vEdges and cEdges in vManage (following the process mentioned in Initializing the WAN Edges video in the SD-WAN course). I wanted to know how I can add the needed file and proceed with adding a list of vEdges and cEdges to register the devices with vManage through CLI? I wanted to mention I am building a lab on a bare-metal EVE-NG server. I am not sure how to get a list of vEdges and cEdges to make the serial.viptela file to upload it to vManage.