Deluxe Nachos

• 12 corn tortillas
• 2 jalapeno chiles
• 1 onion
• 1 ham hock
• 475 gr dry pinto beans
• 160 gr tomatoes (finely diced)
• 140 gr cilantro (finely chopped)
• 120 gr jack cheese (shredded)
• 110 gr cheddar cheese (shredded)
• 65 gr lard salt