u := 1.25cm;
r := 2.5pt;

beginfig(1);
z0=(0,0);
z1=z0+u*dir45;
z2=z0+u*dir-45;
z3=z1+u*dir-45;
z4=z3+2u/sqrt6*dir-60;
z5=z3+1.5u*dir0;
z6=z5+u*dir30;
z7=z5+u*dir-30;
draw z0--z1--z3--z2--z0;
draw z4--z3--z5--z6--z7--z5;
pickup pencircle scaled 2r;
for i=0 upto 7:  draw z[i];  endfor
label.lft(btex$A$etex, z0+r*dir180);
label.top(btex$B$etex, z1+r*dir90);
label.bot(btex$C$etex, z2+r*dir-90);
label.urt(btex$D$etex, z3+r*dir45);
label.bot(btex$E$etex, z4+r*dir-90);
label.ulft(btex$F$etex, z5+r*dir135);
label.urt(btex$G$etex, z6+r*dir30);
label.lrt(btex$H$etex, z7+r*dir30);
endfig;

beginfig(2);
z0=(0,0);
z1=z2+u*dir-150;
z2=z0+u*dir-30;
z3=z2+u*dir30;
z4=z2+u*dir-30;
z5=z4+u*dir0;
z6=z3+u*dir0;
draw z0--z2--z3--z5--z4--z2--z1--z0;
draw z6--z3--z4;
pickup pencircle scaled 2r;
for i=0 upto 6:  draw z[i];  endfor
label.ulft(btex$P$etex, z0+r*dir135);
label.llft(btex$Q$etex, z1+r*dir-135);
label.top(btex$R$etex, z2+r*dir90);
label.top(btex$S$etex, z3+r*dir90);
label.bot(btex$T$etex, z4+r*dir-90);
label.urt(btex$U$etex, z6+r*dir45);
label.lrt(btex$V$etex, z5+r*dir-30);
endfig;

bye