This is the route I think I would go:
21-22 Breeding Season
Batman to Ivory = All with be Yellow Belly het Clown at least. Best case is Spotnose Leopard Yellow Belly het Clown -> holdback any females you want to pair back to dad, that gen can produce Batmans *you can holdback a male from this clutch instead of the other as a last resort if the other female doesn't go.
Batman to Highway = All will be Gravel/or/Yellowbelly het Clown. Best case is Spotnose Leopard Gravel/or/Yellow Belly het Clown -> holdback best male, holdback any females you want to go back to dad.
*You can holdback just one female or multiples depending how fast you want to hit Batman. If you really, really want to hit it when the female(s) are mature that first season, I'd keep at least 3.
Next Gen Highway Project
Asphalt/or/Yellowbelly Male to mom = You have a shot to produce Highway no matter what the male proves out, but if he proves out Gravel, you will get Super Gravels, if he proves out Yellow Belly you will get Ivories. Highway odds are 1/4 either way. Super Gravel/or/Yellowbelly odds are also 1/4. 1/2 will be Gravel/or/Yellow Belly. Leftovers from this clutch are going to be tougher to sell if you don't get a Spotnose Leo Gravel/or/YB het Clown.
Next Gen Batman Project
Batman to daughters = 1/2 have at least Clown. 1/8 chance for Batman. Most stuff from this clutch should sell well that you don't want to keep because Leo and Spotnose het Clowns are pretty high demand and valuable right now.
Hope that makes sense? If not or if you have more questions lmk and I'm happy to help.