p5Marked_++p1p10p2zyx+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)Marked_+(p1,+(p1,x))Marked_+(p2,x)Marked_+(p1,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p2,p1)Marked_+(p1,p2)Marked_+(p2,+(p1,x))Marked_+(p1,+(p2,x))Marked_+(p2,+(p1,x))Marked_+(p2,x)Marked_+(p2,+(p2,p2))Marked_+(p1,p5)Marked_+(p2,+(p2,+(p2,x)))Marked_+(p1,+(p5,x))Marked_+(p2,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p5,p1)Marked_+(p1,p5)Marked_+(p5,+(p1,x))Marked_+(p1,+(p5,x))Marked_+(p5,+(p1,x))Marked_+(p5,x)Marked_+(p5,p2)Marked_+(p2,p5)Marked_+(p5,+(p2,x))Marked_+(p2,+(p5,x))Marked_+(p5,+(p2,x))Marked_+(p5,x)Marked_+(p5,+(p5,x))Marked_+(p10,x)Marked_+(p10,p1)Marked_+(p1,p10)Marked_+(p10,+(p1,x))Marked_+(p1,+(p10,x))Marked_+(p10,+(p1,x))Marked_+(p10,x)Marked_+(p10,p2)Marked_+(p2,p10)Marked_+(p10,+(p2,x))Marked_+(p2,+(p10,x))Marked_+(p10,+(p2,x))Marked_+(p10,x)Marked_+(p10,p5)Marked_+(p5,p10)Marked_+(p10,+(p5,x))Marked_+(p5,+(p10,x))Marked_+(p10,+(p5,x))Marked_+(p10,x)+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(y,z)Marked_+1Marked_+(+(x,y),z)Marked_+(y,z)Marked_+(+(x,y),z)Marked_+(x,+(y,z))+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))Marked_+(p1,+(p1,x))Marked_+(p2,x)Marked_+(p1,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p2,+(p1,x))Marked_+(p1,+(p2,x))Marked_+(p2,+(p1,x))Marked_+(p2,x)Marked_+(p2,+(p2,+(p2,x)))Marked_+(p1,+(p5,x))Marked_+(p2,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p5,+(p1,x))Marked_+(p1,+(p5,x))Marked_+(p5,+(p1,x))Marked_+(p5,x)Marked_+(p5,+(p2,x))Marked_+(p2,+(p5,x))Marked_+(p5,+(p2,x))Marked_+(p5,x)Marked_+(p5,+(p5,x))Marked_+(p10,x)Marked_+(p10,+(p1,x))Marked_+(p1,+(p10,x))Marked_+(p10,+(p1,x))Marked_+(p10,x)Marked_+(p10,+(p2,x))Marked_+(p2,+(p10,x))Marked_+(p10,+(p2,x))Marked_+(p10,x)Marked_+(p10,+(p5,x))Marked_+(p5,+(p10,x))Marked_+(p10,+(p5,x))Marked_+(p10,x)p20p100p10+1210Marked_+10p50Marked_+(p1,+(p1,x))Marked_+(p2,x)Marked_+(p1,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p2,+(p1,x))Marked_+(p2,x)Marked_+(p2,+(p2,+(p2,x)))Marked_+(p1,+(p5,x))Marked_+(p2,+(p2,+(p2,x)))Marked_+(p5,x)Marked_+(p5,+(p1,x))Marked_+(p5,x)Marked_+(p5,+(p2,x))Marked_+(p5,x)Marked_+(p5,+(p5,x))Marked_+(p10,x)Marked_+(p10,+(p1,x))Marked_+(p10,x)Marked_+(p10,+(p2,x))Marked_+(p10,x)Marked_+(p10,+(p5,x))Marked_+(p10,x)+(p1,p1)p2+(p1,+(p2,p2))p5+(p5,p5)p10+(+(x,y),z)+(x,+(y,z))+(p1,+(p1,x))+(p2,x)+(p1,+(p2,+(p2,x)))+(p5,x)+(p2,p1)+(p1,p2)+(p2,+(p1,x))+(p1,+(p2,x))+(p2,+(p2,p2))+(p1,p5)+(p2,+(p2,+(p2,x)))+(p1,+(p5,x))+(p5,p1)+(p1,p5)+(p5,+(p1,x))+(p1,+(p5,x))+(p5,p2)+(p2,p5)+(p5,+(p2,x))+(p2,+(p5,x))+(p5,+(p5,x))+(p10,x)+(p10,p1)+(p1,p10)+(p10,+(p1,x))+(p1,+(p10,x))+(p10,p2)+(p2,p10)+(p10,+(p2,x))+(p2,+(p10,x))+(p10,p5)+(p5,p10)+(p10,+(p5,x))+(p5,+(p10,x))Marked_+(p2,+(p1,x))Marked_+(p1,+(p2,x))Marked_+(p5,+(p1,x))Marked_+(p1,+(p5,x))Marked_+(p5,+(p2,x))Marked_+(p2,+(p5,x))Marked_+(p10,+(p1,x))Marked_+(p1,+(p10,x))Marked_+(p10,+(p2,x))Marked_+(p2,+(p10,x))Marked_+(p10,+(p5,x))Marked_+(p5,+(p10,x))