⇣ ltlafn ⇣ltl100afn000ltl500afn000ltl1000afn000ltl2000afn000ltl5000afn000ltl10000afn000⇣ ltlafn ⇣ltl1,00000afn000ltl5,00000afn000ltl10,00000afn000ltl25,00000afn000ltl50,00000afn000ltl100,00000afn000