SEQ(p1,c1,t1):prob=p1,cost=c1,time=t1;
SEQ(p1,c1,t1,p2,c2,t2):prob=1 - (1 - p1)*(1 - p2),cost=c1 + c2*(1 - p1),time=t1 + (1 - p1)*t2;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3):prob=1 - (1 - p1)*(1 - p2)*(1 - p3),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7) + c9*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*t9;
SEQ(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10),cost=c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7) + c9*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8) + c10*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9),time=t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*t9 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*t10;
PAR(p1,c1,t1):prob=p1,cost=c1,time=p1*t1;
PAR(p1,c1,t1,p2,c2,t2):prob=1 - (1 - p1)*(1 - p2),cost=c1 + c2,time=p1*t1 + (1 - p1)*p2*t2;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3):prob=1 - (1 - p1)*(1 - p2)*(1 - p3),cost=c1 + c2 + c3,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4),cost=c1 + c2 + c3 + c4,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5),cost=c1 + c2 + c3 + c4 + c5,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6),cost=c1 + c2 + c3 + c4 + c5 + c6,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7),cost=c1 + c2 + c3 + c4 + c5 + c6 + c7,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8),cost=c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9),cost=c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 + c9,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*p9*t9;
PAR(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10):prob=1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10),cost=c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 + c9 + c10,time=p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*p9*t9 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*p10*t10;
PROB(p1,c1,t1,x1):prob=p1*x1,cost=c1*x1,time=t1*x1;
PROB(p1,c1,t1,p2,c2,t2,x1,x2):prob=p1*x1 + p2*x2,cost=c1*x1 + c2*x2,time=t1*x1 + t2*x2;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,x1,x2,x3):prob=p1*x1 + p2*x2 + p3*x3,cost=c1*x1 + c2*x2 + c3*x3,time=t1*x1 + t2*x2 + t3*x3;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,x1,x2,x3,x4):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4,time=t1*x1 + t2*x2 + t3*x3 + t4*x4;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,x1,x2,x3,x4,x5):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,x1,x2,x3,x4,x5,x6):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,x1,x2,x3,x4,x5,x6,x7):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,x1,x2,x3,x4,x5,x6,x7,x8):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,x1,x2,x3,x4,x5,x6,x7,x8,x9):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8 + p9*x9,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8 + c9*x9,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8 + t9*x9;
PROB(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10):prob=p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8 + p9*x9 + p10*x10,cost=c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8 + c9*x9 + c10*x10,time=t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8 + t9*x9 + t10*x10;
SEQ-R1(p1,c1,t1,r):prob=p1/(1 - (1 - p1)*r1),cost=c1/(1 - (1 - p1)*r1),time=t1/(1 - (1 - p1)*r1);
SEQ-R1(p1,c1,t1,p2,c2,t2,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5) + (c6*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)))/(1 - (1 - p6)*r6),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*t6)/(1 - (1 - p6)*r6);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5) + (c6*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)))/(1 - (1 - p6)*r6) + (c7*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6)))/(1 - (1 - p7)*r7),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*t6)/(1 - (1 - p6)*r6) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*t7)/(1 - (1 - p7)*r7);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5) + (c6*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)))/(1 - (1 - p6)*r6) + (c7*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6)))/(1 - (1 - p7)*r7) + (c8*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7)))/(1 - (1 - p8)*r8),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*t6)/(1 - (1 - p6)*r6) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*t7)/(1 - (1 - p7)*r7) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*t8)/(1 - (1 - p8)*r8);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*(1 - p9/(1 - (1 - p9)*r9)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5) + (c6*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)))/(1 - (1 - p6)*r6) + (c7*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6)))/(1 - (1 - p7)*r7) + (c8*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7)))/(1 - (1 - p8)*r8) + (c9*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8)))/(1 - (1 - p9)*r9),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*t6)/(1 - (1 - p6)*r6) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*t7)/(1 - (1 - p7)*r7) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*t8)/(1 - (1 - p8)*r8) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*t9)/(1 - (1 - p9)*r9);
SEQ-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,r):prob=1 - (1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*(1 - p9/(1 - (1 - p9)*r9))*(1 - p10/(1 - (1 - p10)*r10)),cost=c1/(1 - (1 - p1)*r1) + (c2*(1 - p1/(1 - (1 - p1)*r1)))/(1 - (1 - p2)*r2) + (c3*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2)))/(1 - (1 - p3)*r3) + (c4*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3)))/(1 - (1 - p4)*r4) + (c5*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4)))/(1 - (1 - p5)*r5) + (c6*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5)))/(1 - (1 - p6)*r6) + (c7*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6)))/(1 - (1 - p7)*r7) + (c8*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7)))/(1 - (1 - p8)*r8) + (c9*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8)))/(1 - (1 - p9)*r9) + (c10*(1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*(1 - p9/(1 - (1 - p9)*r9)))/(1 - (1 - p10)*r10),time=t1/(1 - (1 - p1)*r1) + ((1 - p1/(1 - (1 - p1)*r1))*t2)/(1 - (1 - p2)*r2) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*t3)/(1 - (1 - p3)*r3) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*t4)/(1 - (1 - p4)*r4) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*t5)/(1 - (1 - p5)*r5) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*t6)/(1 - (1 - p6)*r6) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*t7)/(1 - (1 - p7)*r7) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*t8)/(1 - (1 - p8)*r8) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*t9)/(1 - (1 - p9)*r9) + ((1 - p1/(1 - (1 - p1)*r1))*(1 - p2/(1 - (1 - p2)*r2))*(1 - p3/(1 - (1 - p3)*r3))*(1 - p4/(1 - (1 - p4)*r4))*(1 - p5/(1 - (1 - p5)*r5))*(1 - p6/(1 - (1 - p6)*r6))*(1 - p7/(1 - (1 - p7)*r7))*(1 - p8/(1 - (1 - p8)*r8))*(1 - p9/(1 - (1 - p9)*r9))*t10)/(1 - (1 - p10)*r10);
SEQ-R(p1,c1,t1,r):prob=p1/(1 - r*(1 - p1)),cost=c1/(1 - r*(1 - p1)),time=t1/(1 - r*(1 - p1));
SEQ-R(p1,c1,t1,p2,c2,t2,r):prob=(1 - (1 - p1)*(1 - p2))/(1 - r*(1 - p1)*(1 - p2)),cost=(c1 + c2*(1 - p1))/(1 - r*(1 - p1)*(1 - p2)),time=(t1 + (1 - p1)*t2)/(1 - r*(1 - p1)*(1 - p2));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7) + c9*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*t9)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9));
SEQ-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10)),cost=(c1 + c2*(1 - p1) + c3*(1 - p1)*(1 - p2) + c4*(1 - p1)*(1 - p2)*(1 - p3) + c5*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4) + c6*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5) + c7*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6) + c8*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7) + c9*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8) + c10*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10)),time=(t1 + (1 - p1)*t2 + (1 - p1)*(1 - p2)*t3 + (1 - p1)*(1 - p2)*(1 - p3)*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*t9 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*t10)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10));
PAR-R(p1,c1,t1,r):prob=p1/(1 - r*(1 - p1)),cost=c1/(1 - r*(1 - p1)),time=(p1*t1)/(1 - r*(1 - p1));
PAR-R(p1,c1,t1,p2,c2,t2,r):prob=(1 - (1 - p1)*(1 - p2))/(1 - r*(1 - p1)*(1 - p2)),cost=(c1 + c2)/(1 - r*(1 - p1)*(1 - p2)),time=(p1*t1 + (1 - p1)*p2*t2)/(1 - r*(1 - p1)*(1 - p2));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)),cost=(c1 + c2 + c3)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)),cost=(c1 + c2 + c3 + c4)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)),cost=(c1 + c2 + c3 + c4 + c5)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)),cost=(c1 + c2 + c3 + c4 + c5 + c6)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)),cost=(c1 + c2 + c3 + c4 + c5 + c6 + c7)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)),cost=(c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)),cost=(c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 + c9)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*p9*t9)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9));
PAR-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,r):prob=(1 - (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10))/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10)),cost=(c1 + c2 + c3 + c4 + c5 + c6 + c7 + c8 + c9 + c10)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10)),time=(p1*t1 + (1 - p1)*p2*t2 + (1 - p1)*(1 - p2)*p3*t3 + (1 - p1)*(1 - p2)*(1 - p3)*p4*t4 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*p5*t5 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*p6*t6 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*p7*t7 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*p8*t8 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*p9*t9 + (1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*p10*t10)/(1 - r*(1 - p1)*(1 - p2)*(1 - p3)*(1 - p4)*(1 - p5)*(1 - p6)*(1 - p7)*(1 - p8)*(1 - p9)*(1 - p10));
PROB-R1(p1,c1,t1,x1,r):prob=(p1*x1)/(1 - (1 - p1)*r1),cost=(c1*x1)/(1 - (1 - p1)*r1),time=(t1*x1)/(1 - (1 - p1)*r1);
PROB-R1(p1,c1,t1,p2,c2,t2,x1,x2,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,x1,x2,x3,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,x1,x2,x3,x4,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,x1,x2,x3,x4,x5,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,x1,x2,x3,x4,x5,x6,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5) + (p6*x6)/(1 - (1 - p6)*r6),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5) + (c6*x6)/(1 - (1 - p6)*r6),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5) + (t6*x6)/(1 - (1 - p6)*r6);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,x1,x2,x3,x4,x5,x6,x7,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5) + (p6*x6)/(1 - (1 - p6)*r6) + (p7*x7)/(1 - (1 - p7)*r7),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5) + (c6*x6)/(1 - (1 - p6)*r6) + (c7*x7)/(1 - (1 - p7)*r7),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5) + (t6*x6)/(1 - (1 - p6)*r6) + (t7*x7)/(1 - (1 - p7)*r7);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,x1,x2,x3,x4,x5,x6,x7,x8,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5) + (p6*x6)/(1 - (1 - p6)*r6) + (p7*x7)/(1 - (1 - p7)*r7) + (p8*x8)/(1 - (1 - p8)*r8),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5) + (c6*x6)/(1 - (1 - p6)*r6) + (c7*x7)/(1 - (1 - p7)*r7) + (c8*x8)/(1 - (1 - p8)*r8),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5) + (t6*x6)/(1 - (1 - p6)*r6) + (t7*x7)/(1 - (1 - p7)*r7) + (t8*x8)/(1 - (1 - p8)*r8);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,x1,x2,x3,x4,x5,x6,x7,x8,x9,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5) + (p6*x6)/(1 - (1 - p6)*r6) + (p7*x7)/(1 - (1 - p7)*r7) + (p8*x8)/(1 - (1 - p8)*r8) + (p9*x9)/(1 - (1 - p9)*r9),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5) + (c6*x6)/(1 - (1 - p6)*r6) + (c7*x7)/(1 - (1 - p7)*r7) + (c8*x8)/(1 - (1 - p8)*r8) + (c9*x9)/(1 - (1 - p9)*r9),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5) + (t6*x6)/(1 - (1 - p6)*r6) + (t7*x7)/(1 - (1 - p7)*r7) + (t8*x8)/(1 - (1 - p8)*r8) + (t9*x9)/(1 - (1 - p9)*r9);
PROB-R1(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,r):prob=(p1*x1)/(1 - (1 - p1)*r1) + (p2*x2)/(1 - (1 - p2)*r2) + (p3*x3)/(1 - (1 - p3)*r3) + (p4*x4)/(1 - (1 - p4)*r4) + (p5*x5)/(1 - (1 - p5)*r5) + (p6*x6)/(1 - (1 - p6)*r6) + (p7*x7)/(1 - (1 - p7)*r7) + (p8*x8)/(1 - (1 - p8)*r8) + (p9*x9)/(1 - (1 - p9)*r9) + (p10*x10)/(1 - (1 - p10)*r10),cost=(c1*x1)/(1 - (1 - p1)*r1) + (c2*x2)/(1 - (1 - p2)*r2) + (c3*x3)/(1 - (1 - p3)*r3) + (c4*x4)/(1 - (1 - p4)*r4) + (c5*x5)/(1 - (1 - p5)*r5) + (c6*x6)/(1 - (1 - p6)*r6) + (c7*x7)/(1 - (1 - p7)*r7) + (c8*x8)/(1 - (1 - p8)*r8) + (c9*x9)/(1 - (1 - p9)*r9) + (c10*x10)/(1 - (1 - p10)*r10),time=(t1*x1)/(1 - (1 - p1)*r1) + (t2*x2)/(1 - (1 - p2)*r2) + (t3*x3)/(1 - (1 - p3)*r3) + (t4*x4)/(1 - (1 - p4)*r4) + (t5*x5)/(1 - (1 - p5)*r5) + (t6*x6)/(1 - (1 - p6)*r6) + (t7*x7)/(1 - (1 - p7)*r7) + (t8*x8)/(1 - (1 - p8)*r8) + (t9*x9)/(1 - (1 - p9)*r9) + (t10*x10)/(1 - (1 - p10)*r10);
PROB-R(p1,c1,t1,x1,r):prob=(p1*x1)/(1 - r*(1 - p1*x1)),cost=(c1*x1)/(1 - r*(1 - p1*x1)),time=(t1*x1)/(1 - r*(1 - p1*x1));
PROB-R(p1,c1,t1,p2,c2,t2,x1,x2,r):prob=(p1*x1 + p2*x2)/(1 - r*(1 - p1*x1 - p2*x2)),cost=(c1*x1 + c2*x2)/(1 - r*(1 - p1*x1 - p2*x2)),time=(t1*x1 + t2*x2)/(1 - r*(1 - p1*x1 - p2*x2));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,x1,x2,x3,r):prob=(p1*x1 + p2*x2 + p3*x3)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3)),cost=(c1*x1 + c2*x2 + c3*x3)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3)),time=(t1*x1 + t2*x2 + t3*x3)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,x1,x2,x3,x4,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,x1,x2,x3,x4,x5,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,x1,x2,x3,x4,x5,x6,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,x1,x2,x3,x4,x5,x6,x7,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,x1,x2,x3,x4,x5,x6,x7,x8,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,x1,x2,x3,x4,x5,x6,x7,x8,x9,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8 + p9*x9)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8 + c9*x9)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8 + t9*x9)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9));
PROB-R(p1,c1,t1,p2,c2,t2,p3,c3,t3,p4,c4,t4,p5,c5,t5,p6,c6,t6,p7,c7,t7,p8,c8,t8,p9,c9,t9,p10,c10,t10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,r):prob=(p1*x1 + p2*x2 + p3*x3 + p4*x4 + p5*x5 + p6*x6 + p7*x7 + p8*x8 + p9*x9 + p10*x10)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9 - p10*x10)),cost=(c1*x1 + c2*x2 + c3*x3 + c4*x4 + c5*x5 + c6*x6 + c7*x7 + c8*x8 + c9*x9 + c10*x10)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9 - p10*x10)),time=(t1*x1 + t2*x2 + t3*x3 + t4*x4 + t5*x5 + t6*x6 + t7*x7 + t8*x8 + t9*x9 + t10*x10)/(1 - r*(1 - p1*x1 - p2*x2 - p3*x3 - p4*x4 - p5*x5 - p6*x6 - p7*x7 - p8*x8 - p9*x9 - p10*x10));



BASIC_1(p):
p1=p,
p0=1-p;

BASIC_2(p):
p2=p,
p1=0,
p0=1-p;

BASIC_1_1(p):
p11=p,
p10=0,
p01=0,
p00=1-p;

BASIC_1_2(p):
p12=p,
p11=0,
p10=0,
p02=0,
p01=0,
p00=1-p;

VIRTUALIZED_1_1(p,pVM):
p11=p*pVM*pVM,
p10=p*pVM*(1-pVM),
p01=p*(1-pVM)*pVM,
p00=(1-p)+p*(1-pVM)*(1-pVM);

VIRTUALIZED_2_1(p,pVM):
p21=p*pVM^3,
p20=p*pVM^2*(1-pVM),
p11=2*p*pVM*(1-pVM)*pVM,
p10=2*p*pVM*(1-pVM)^2,
p01=p*(1-pVM)^2*pVM,
p00=(1-p)+p*(1-pVM)^3;

VIRTUALIZED-M_1_1(p,pd,pm,r,pVM):
f_0_1=1-pVM,
f_1_1=pVM,
g_0_1=((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r),
g_1_1=1-g_0_1,
p11=p*f_1_1*f_1_1 + (1-p)*pd*g_1_1*g_1_1,
p10=p*f_1_1*f_0_1 + (1-p)*pd*g_1_1*g_0_1,
p01=p10,
p00=p*f_0_1*f_0_1 + (1-p)*pd*g_0_1*g_0_1+(1-p)*(1-pd);

VIRTUALIZED-M_2_1(p,pd,pm,r,pVM):
f_0_1=1-pVM,
f_1_1=pVM,
g_0_1=((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r),
g_1_1=1-g_0_1,
f_0_2=(1-pVM)^2,
f_1_2=2*pVM*(1-pVM),
f_2_2=1-f_0_2-f_1_2,
g_0_2=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^2,
g_1_2=2*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r)^2,
g_2_2=1-g_0_2-g_1_2,
p21=p*f_2_2*f_1_1 + (1-p)*pd*g_2_2*g_1_1,
p20=p*f_2_2*f_0_1 + (1-p)*pd*g_2_2*g_0_1,
p11=p*f_1_2*f_1_1 + (1-p)*pd*g_1_2*g_1_1,
p10=p*f_1_2*f_0_1 + (1-p)*pd*g_1_2*g_0_1,
p01=p*f_0_2*f_1_1 + (1-p)*pd*g_0_2*g_1_1,
p00=p*f_0_2*f_0_1 + (1-p)*pd*g_0_2*g_0_1+(1-p)*(1-pd);

VIRTUALIZED_2_2(p,pVM):
f_0_2=(1-pVM)^2,
f_1_2=2*pVM*(1-pVM),
f_2_2=1-f_0_2-f_1_2,
p22=p*f_2_2*f_2_2,
p21=p*f_2_2*f_1_2,
p20=p*f_2_2*f_0_2,
p12=p21,
p11=p*f_1_2*f_1_2,
p10=p*f_1_2*f_0_2,
p02=p20,
p01=p10,
p00=p*f_0_2*f_0_2+(1-p);

VIRTUALIZED_4_2(p,pVM):
f_0_2=(1-pVM)^2,
f_1_2=2*pVM*(1-pVM),
f_2_2=1-f_0_2-f_1_2,
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
p22=p*f_2_4*f_2_2,
p21=p*f_2_4*f_1_2,
p20=p*f_2_4*f_0_2,
p12=p*f_1_4*f_2_2,
p11=p*f_1_4*f_1_2,
p10=p*f_1_4*f_0_2,
p02=p*f_0_4*f_2_2,
p01=p*f_0_4*f_1_2,
p00=p*f_0_4*f_0_2+(1-p);

VIRTUALIZED-M_2_2(p,pd,pm,r,pVM):
f_0_2=(1-pVM)^2,
f_1_2=2*pVM*(1-pVM),
f_2_2=1-f_0_2-f_1_2,
g_0_2=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^2,
g_1_2=2*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r)^2,
g_2_2=1-g_0_2-g_1_2,
p22=p*f_2_2*f_2_2 + (1-p)*pd*g_2_2*g_2_2,
p21=p*f_2_2*f_1_2 + (1-p)*pd*g_2_2*g_1_2,
p20=p*f_2_2*f_0_2 + (1-p)*pd*g_2_2*g_0_2,
p12=p21,
p11=p*f_1_2*f_1_2 + (1-p)*pd*g_1_2*g_1_2,
p10=p*f_1_2*f_0_2 + (1-p)*pd*g_1_2*g_0_2,
p02=p20,
p01=p10,
p00=p*f_0_2*f_0_2 + (1-p)*pd*g_0_2*g_0_2+(1-p)*(1-pd);

VIRTUALIZED-M_4_2(p,pd,pm,r,pVM):
f_0_2=(1-pVM)^2,
f_1_2=2*pVM*(1-pVM),
f_2_2=1-f_0_2-f_1_2,
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
g_0_2=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^2,
g_1_2=2*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r)^2,
g_2_2=1-g_0_2-g_1_2,
g_0_4=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^4,
g_1_4=4*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))^3/(1-(1-pm)*r)^4,
g_2_4=1-g_0_4-g_1_4,
p22=p*f_2_4*f_2_2 + (1-p)*pd*g_2_4*g_2_2,
p21=p*f_2_4*f_1_2 + (1-p)*pd*g_2_4*g_1_2,
p20=p*f_2_4*f_0_2 + (1-p)*pd*g_2_4*g_0_2,
p12=p*f_1_4*f_2_2 + (1-p)*pd*g_1_4*g_2_2,
p11=p*f_1_4*f_1_2 + (1-p)*pd*g_1_4*g_1_2,
p10=p*f_1_4*f_0_2 + (1-p)*pd*g_1_4*g_0_2,
p02=p*f_0_4*f_2_2 + (1-p)*pd*g_0_4*g_2_2,
p01=p*f_0_4*f_1_2 + (1-p)*pd*g_0_4*g_1_2,
p00=p*f_0_4*f_0_2 + (1-p)*pd*g_0_4*g_0_2+(1-p)*(1-pd);

VIRTUALIZED_4_4(p,pVM):
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
p22=p*f_2_4*f_2_4,
p21=p*f_2_4*f_1_4,
p20=p*f_2_4*f_0_4,
p12=p21,
p11=p*f_1_4*f_1_4,
p10=p*f_1_4*f_0_4,
p02=p20,
p01=p10,
p00=p*f_0_4*f_0_4+(1-p);

VIRTUALIZED_8_4(p,pVM):
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
f_0_8=(1-pVM)^8,
f_1_8=8*pVM*(1-pVM)^7,
f_2_8=1-f_0_8-f_1_8,
p22=p*f_2_8*f_2_4,
p21=p*f_2_8*f_1_4,
p20=p*f_2_8*f_0_4,
p12=p*f_1_8*f_2_4,
p11=p*f_1_8*f_1_4,
p10=p*f_1_8*f_0_4,
p02=p*f_0_8*f_2_4,
p01=p*f_0_8*f_1_4,
p00=p*f_0_8*f_0_4+(1-p);

VIRTUALIZED-M_4_4(p,pd,pm,r,pVM):
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
g_0_4=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^4,
g_1_4=4*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))^3/(1-(1-pm)*r)^4,
g_2_4=1-g_0_4-g_1_4,
p22=p*f_2_4*f_2_4 + (1-p)*pd*g_2_4*g_2_4,
p21=p*f_2_4*f_1_4 + (1-p)*pd*g_2_4*g_1_4,
p20=p*f_2_4*f_0_4 + (1-p)*pd*g_2_4*g_0_4,
p12=p21,
p11=p*f_1_4*f_1_4 + (1-p)*pd*g_1_4*g_1_4,
p10=p*f_1_4*f_0_4 + (1-p)*pd*g_1_4*g_0_4,
p02=p20,
p01=p10,
p00=p*f_0_4*f_0_4 + (1-p)*pd*g_0_4*g_0_4 + (1-p)*(1-pd);

VIRTUALIZED-M_8_4(p,pd,pm,r,pVM):
f_0_4=(1-pVM)^4,
f_1_4=4*pVM*(1-pVM)^3,
f_2_4=1-f_0_4-f_1_4,
f_0_8=(1-pVM)^8,
f_1_8=8*pVM*(1-pVM)^7,
f_2_8=1-f_0_8-f_1_8,
g_0_4=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^4,
g_1_4=4*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))^3/(1-(1-pm)*r)^4,
g_2_4=1-g_0_4-g_1_4,
g_0_8=(((1-pm)*(1-r)+pm*(1-pVM))/(1-(1-pm)*r))^8,
g_1_8=4*pm*pVM*((1-pm)*(1-r)+pm*(1-pVM))^7/(1-(1-pm)*r)^8,
g_2_8=1-g_0_8-g_1_8,
p22=p*f_2_8*f_2_4 + (1-p)*pd*g_2_8*g_2_4,
p21=p*f_2_8*f_1_4 + (1-p)*pd*g_2_8*g_1_4,
p20=p*f_2_8*f_0_4 + (1-p)*pd*g_2_8*g_0_4,
p12=p*f_1_8*f_2_4 + (1-p)*pd*g_1_8*g_2_4,
p11=p*f_1_8*f_1_4 + (1-p)*pd*g_1_8*g_1_4,
p10=p*f_1_8*f_0_4 + (1-p)*pd*g_1_8*g_0_4,
p02=p*f_0_8*f_2_4 + (1-p)*pd*g_0_8*g_2_4,
p01=p*f_0_8*f_1_4 + (1-p)*pd*g_0_8*g_1_4,
p00=p*f_0_8*f_0_4 + (1-p)*pd*g_0_8*g_0_4 + (1-p)*(1-pd);
