AGM mining LLC (#42390)