⇣ ltlsyp ⇣ltl100syp000ltl500syp000ltl1000syp000ltl2000syp000ltl5000syp000ltl10000syp000⇣ ltlsyp ⇣ltl1,00000syp000ltl5,00000syp000ltl10,00000syp000ltl25,00000syp000ltl50,00000syp000ltl100,00000syp000