⇣ ltlcop ⇣ltl100cop000ltl500cop000ltl1000cop000ltl2000cop000ltl5000cop000ltl10000cop000⇣ ltlcop ⇣ltl1,00000cop000ltl5,00000cop000ltl10,00000cop000ltl25,00000cop000ltl50,00000cop000ltl100,00000cop000