Network Lockdown: LAB: OSPFv2/OSPFv3 Peering (PART 1)

I created this lab to help aspiring CCNAs/CCNPs to test their knowledge in OSPFv2/OSPFv3 basic peering.

This lab runs in EVE-NG with VIRL image vios-adventerprisek9-m.vmdk.SPA.156-1.T. (Please don't ask for the VIRL image, I can't help you with that)

Refer to the link below to download the UNL file.
RS-TSHOOT-OSPF

Ensure to import the ZIP file to your EVE-NG lab. Do not extract.

I'll upload the UNL file of the end state after a few days so you can practice it first :P

OVERVIEW:
Each router has a loopback interface with the IP address x.x.x.x/32 (where x is the router number). R1's routing table is missing IPv4 routes to the Loopback interface networks for each of its peers. R1 is also missing IPv6 routes to R13.

OBJECTIVE:
Resolve the OSPF issues so that R1's Loopback0 establishes connectivity(bidirectional) to all the Loopbacks of its peers

VALIDATE:
Ping the peer's Lo0 address and source using R1's Lo0 and vice-versa.

Below are some helpful commands:
ping x.x.x.x source Lo0
show ip ospf neighbor
show ip ospf interface brief
show ip route
show ip route ospfv3
show ipv6 interface brief
show ipv6 route
show ipv6 route ospf
show ipv6 ospf neighbor
show ospfv3 neighbor
show ospfv3 int brief
show ospfv3 int G0/0
show ospfv3 database

You may use this TCL script to verify connectivity from R1 to all the peer Loopbacks. Run the commands from the privilege prompt.

tclsh
foreach var {
1.1.1.1
2.2.2.2
3.3.3.3
4.4.4.4
5.5.5.5
6.6.6.6
7.7.7.7
8.8.8.8
9.9.9.9
10.10.10.10
11.11.11.11
12.12.12.12
13.13.13.13
2001:DB8:13::13
} { ping $var source lo0}

If you have resolved all the issues, you must be able to ping all the Loopbacks.