description redistribution with deaggr

addrouter r1
int eth1 eth 0000.0000.1111 $1a$ $1b$
!
vrf def v1
 rd 1:1
 exit
router isis4 1
 vrf v1
 net 48.4444.0000.1111.00
 is-type level2
 red conn
 exit
router isis6 1
 vrf v1
 net 48.6666.0000.1111.00
 is-type level2
 red conn
 exit
int lo1
 vrf for v1
 ipv4 addr 2.2.2.1 255.255.255.255
 ipv6 addr 4321::1 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
int lo2
 vrf for v1
 ipv4 addr 2.2.2.11 255.255.255.255
 ipv6 addr 4321::11 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
int lo3
 vrf for v1
 ipv4 addr 2.2.2.21 255.255.255.255
 ipv6 addr 4321::21 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
int eth1.11
 vrf for v1
 ipv4 addr 1.1.1.1 255.255.255.252
 router isis4 1 ena
 exit
int eth1.12
 vrf for v1
 ipv6 addr 1234:1::1 ffff:ffff::
 router isis6 1 ena
 exit
!

addrouter r2
int eth1 eth 0000.0000.2222 $1b$ $1a$
int eth2 eth 0000.0000.2222 $2a$ $2b$
!
vrf def v1
 rd 1:1
 exit
int lo1
 vrf for v1
 ipv4 addr 2.2.2.2 255.255.255.255
 ipv6 addr 4321::2 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
int lo2
 vrf for v1
 ipv4 addr 2.2.2.12 255.255.255.255
 ipv6 addr 4321::12 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
int lo3
 vrf for v1
 ipv4 addr 2.2.2.22 255.255.255.255
 ipv6 addr 4321::22 ffff:ffff:ffff:ffff:ffff:ffff:ffff:ffff
 exit
router isis4 1
 vrf v1
 net 48.4444.0000.2222.00
 is-type level2
 red deaggr4 1
 just lo1
 just lo2
 just lo3
 exit
router isis6 1
 vrf v1
 net 48.6666.0000.2222.00
 is-type level2
 red deaggr6 1
 just lo1
 just lo2
 just lo3
 exit
int eth1.11
 vrf for v1
 ipv4 addr 1.1.1.2 255.255.255.252
 router isis4 1 ena
 exit
int eth1.12
 vrf for v1
 ipv6 addr 1234:1::2 ffff:ffff::
 router isis6 1 ena
 exit
int eth2.11
 vrf for v1
 ipv4 addr 1.1.1.5 255.255.255.252
 exit
int eth2.12
 vrf for v1
 ipv6 addr 1234:2::1 ffff:ffff::
 exit
router deaggr4 1
 vrf v1
 just eth2.11
 exit
router deaggr6 1
 vrf v1
 just eth2.12
 exit
!

addrouter r3
int eth1 eth 0000.0000.3333 $2b$ $2a$
!
vrf def v1
 rd 1:1
 exit
int eth1.11
 vrf for v1
 ipv4 addr 1.1.1.6 255.255.255.252
 exit
int eth1.12
 vrf for v1
 ipv6 addr 1234:2::2 ffff:ffff::
 exit
ipv4 route v1 0.0.0.0 0.0.0.0 1.1.1.5
ipv6 route v1 :: :: 1234:2::1
!




r1 tping 100 40 2.2.2.2 vrf v1
r1 tping 100 40 2.2.2.12 vrf v1
r1 tping 100 40 2.2.2.22 vrf v1
r1 tping 100 40 4321::2 vrf v1
r1 tping 100 40 4321::12 vrf v1
r1 tping 100 40 4321::22 vrf v1

r2 tping 100 40 2.2.2.1 vrf v1
r2 tping 100 40 2.2.2.11 vrf v1
r2 tping 100 40 2.2.2.21 vrf v1
r2 tping 100 40 4321::1 vrf v1
r2 tping 100 40 4321::11 vrf v1
r2 tping 100 40 4321::21 vrf v1

!r3 tping 100 40 2.2.2.1 vrf v1
!r3 tping 100 40 2.2.2.11 vrf v1
!r3 tping 100 40 2.2.2.21 vrf v1
r3 tping 100 40 2.2.2.2 vrf v1
r3 tping 100 40 2.2.2.12 vrf v1
r3 tping 100 40 2.2.2.22 vrf v1
!r3 tping 100 40 4321::1 vrf v1
!r3 tping 100 40 4321::11 vrf v1
!r3 tping 100 40 4321::21 vrf v1
r3 tping 100 40 4321::2 vrf v1
r3 tping 100 40 4321::12 vrf v1
r3 tping 100 40 4321::22 vrf v1