⇣ ltlimp ⇣ltl100imp000ltl500imp000ltl1000imp000ltl2000imp000ltl5000imp000ltl10000imp000⇣ ltlimp ⇣ltl1,00000imp000ltl5,00000imp000ltl10,00000imp000ltl25,00000imp000ltl50,00000imp000ltl100,00000imp000