import graph3;
import three;
size(7.5cm,0);
pen p=black+1;
draw(unithemisphere,white+opacity(0.1));
currentprojection=orthographic((-0.219437791846,0.975626493854,0.3));
draw(Arc((-0.564527917489,-1.02908551364,-1.95258250395e-16),(-0.797126211227,-0.46022103263,-1.95258250395e-16),(4.10022278253e-15,-0.786151377757,-1.95258250395e-16),(0,0,1),false),p);
label("$13\bar1$",(-0.331929623752,-0.46022103263,-1.95258250395e-16));
draw(Arc((0.940879862482,-1.02908551364,-1.95258250395e-16),(4.10022278253e-15,-0.786151377757,-1.95258250395e-16),(0.513352131959,-0.156450452666,-1.95258250395e-16),(0,0,1),false),p);
label("$13\bar1$",(0.187709464157,-0.41507715776,-1.95258250395e-16));
draw(Arc((1.52237559683,0.878943960635,-1.95258250395e-16),(0.513352131959,-0.156450452666,-1.95258250395e-16),(0.121185999537,0.522801213697,-1.95258250395e-16),(0,0,1),false),p);
label("$13\bar1$",(0.270326293559,0.156072958355,-1.95258250395e-16));
draw(Arc((-0.420774266234,1.32936861964,-1.95258250395e-16),(0.121185999537,0.522801213697,-1.95258250395e-16),(-0.680827064358,0.393075688879,-1.95258250395e-16),(0,0,1),false),p);
label("$13\bar1$",(-0.265612631072,0.37009974337,-1.95258250395e-16));
draw(Arc((-1.17347815622,0.0256472391267,-1.95258250395e-16),(-0.680827064358,0.393075688879,-1.95258250395e-16),(-0.797126211227,-0.46022103263,-1.95258250395e-16),(0,0,1),false),p);
label("$13\bar1$",(-0.564527917489,-0.0573489701224,-1.95258250395e-16));
draw((-6.08120285535e-15,2.43248114214e-14,0.899453719974)--(-0.797126211227,-0.46022103263,-1.95258250395e-16),p);
label("$2\bar3\bar2123\bar2$",(-0.398563105613,-0.230110516315,0.449726859987),align=right);
draw((-6.08120285535e-15,2.43248114214e-14,0.899453719974)--(4.10022278253e-15,-0.786151377757,-5.42258080184e-15),p);
label("$123\bar212\bar3\bar2\bar1$",(-9.90490036408e-16,-0.393075688879,0.449726859987),align=right);
draw((-6.08120285535e-15,2.43248114214e-14,0.899453719974)--(0.513352131959,-0.156450452666,-3.33488519767e-15),p);
label("$123\bar2\bar1$",(0.256676065979,-0.0782252263332,0.449726859987),align=right);
draw((-6.08120285535e-15,2.43248114214e-14,0.899453719974)--(0.121185999537,0.522801213697,6.06188906674e-14),p);
label("$1$",(0.0605929997684,0.261400606848,0.449726859987),align=right);
draw((-6.08120285535e-15,2.43248114214e-14,0.899453719974)--(-0.680827064358,0.393075688879,7.49242877226e-14),p);
label("$23\bar2$",(-0.340413532179,0.196537844439,0.449726859987),align=right);
pen dp = blue+4;
pen dpi = red+4;
dot((-6.08120285535e-15,2.43248114214e-14,0.899453719974),dp);
dot((-0.797126211227,-0.46022103263,-1.95258250395e-16),dp);
dot((4.10022278253e-15,-0.786151377757,-5.42258080184e-15),dp);
dot((0.513352131959,-0.156450452666,-3.33488519767e-15),dp);
dot((0.121185999537,0.522801213697,6.06188906674e-14),dp);
dot((-0.680827064358,0.393075688879,7.49242877226e-14),dp);
draw((0,0,0)--(0,0,0.899453719974),black+dashed);
draw((4.10022278253e-15,-0.786151377757,-5.42258080184e-15)--(0,0,0),black+dashed);
draw((0.513352131959,-0.156450452666,-3.33488519767e-15)--(0,0,0),black+dashed);