Hej Jan,
Du har rätt i att en av de tre böckerna med husförhörslängder saknas under både perioden 1741-72 (AI:7) och 1777-91 (AI:9). Under båda perioderna är det samma byar som skulle varit med i den saknade boken (kanske med något undantag), bl.a. de byarna du nämnt. Andra byar saknas istället under tidigare perioder som 1705-35 (AI:3-4)
Förutom AI:8 som täcker byarna under perioden 1772-76 samt mantalslängder som redan nämnts så kan du även följa boende (eller iaf de över ca 15 år) under hela perioden 1689 upp till 1776 genom de rätt utförligt gjorda kommunionslängderna (DII:1 - DII:12).
Som exempel så hittar du Söder Bergsäng, Kullsbjörken respektive Torrberg i den sista av dessa längder (1769-76) på följande länkar hos SVAR:
https://sok.riksarkivet.se/bildvisning/C0013073_00110https://sok.riksarkivet.se/bildvisning/C0013073_00102https://sok.riksarkivet.se/bildvisning/C0013073_00156För perioden 1777-91 kan man tyvärr inte stödja sig på kommunionslängder som alternativ till saknade Hfl. Det har dock gjorts rätt omfattande genomgångar av de flesta Leksandsbyarna där händelser på olika gårdar pusslats ihop genom mantalslängder samt dop-,vigsel- och dödsnotiser. Så om du letar efter någon som försvinner under den perioden så lönar det sig kanske att skjuta iväg en fråga.
Mvh // Jonas