⇣ irrltl ⇣irr100ltl000irr500ltl000irr1000ltl000irr2000ltl000irr5000ltl000irr10000ltl000⇣ irrltl ⇣irr1,00000ltl000irr5,00000ltl000irr10,00000ltl000irr25,00000ltl000irr50,00000ltl000irr100,00000ltl000