import graph3;
import three;
size(7.5cm,0);
pen p=black+1;
draw(unithemisphere,white+opacity(0.1));
currentprojection=orthographic((-0.741718000546,-0.670711866353,0.3));
draw((0.118931763534,0.67449678734,0.729444230966)--(3.61327200918e-08,-1.75094954478e-08,0.729444230966),p);
draw((3.61327200918e-08,-1.75094954478e-08,0.729444230966)--(0.342450786603,0.593142594915,0.729444230966),p);
draw(Arc((0.237564680901,0.652704236729,0.729444230966),(0.342450786603,0.593142594915,0.729444230966),(0.118931763534,0.67449678734,0.729444230966),(0,0,1),false),p);
draw((0.135244211839,0.767009449133,2.38658556716e-08)--(-9.76442465584e-10,-7.70969694932e-10,2.38658556716e-08),p);
label("$1$",(0.0676221054313,0.383504724181,2.38658556716e-08));
draw((-9.76442465584e-10,-7.70969694932e-10,2.38658556716e-08)--(0.389420670098,0.674496874484,2.38658556716e-08),p);
label("$1$",(0.194710334561,0.337248436857,2.38658556716e-08));
draw(Arc((0.358201085758,0.984150356006,2.38658556716e-08),(0.389420670098,0.674496874484,2.38658556716e-08),(0.135244211839,0.767009449133,2.38658556716e-08),(0,0,1),false),p);
label("$1$",(0.251756540708,0.691696086257,2.38658556716e-08));
draw((3.61327200918e-08,-1.75094954478e-08,0.729444224944)--(-9.76442465584e-10,-7.70969694932e-10,-8.69904751322e-10),p);
label("$23\bar2$",(1.75781388131e-08,-9.14023257135e-09,0.364722112037),align=right);
draw((0.135244211839,0.767009449133,2.38658556716e-08)--(0.135244211839,0.767009449133,0.641462493244),p);
draw((0.135244211839,0.767009449133,0.641462493244)--(0.118931763534,0.67449678734,0.729444230966),p);
label("$13\bar1$",(0.127087987687,0.720753118237,0.685453362105),align=right);
draw((0.389420670098,0.674496874484,2.38658580283e-08)--(0.389420670098,0.674496874484,0.641462493244),p);
draw((0.389420670098,0.674496874484,0.641462493244)--(0.342450786603,0.593142594915,0.72944423811),p);
label("$12\bar1$",(0.36593572835,0.633819734699,0.685453365677),align=right);
pen dp = blue+4;
pen dpi = red+4;
dot((0.118931763534,0.67449678734,0.729444230966),dp);
dot((3.61327200918e-08,-1.75094954478e-08,0.729444224944),dp);
dot((0.342450786603,0.593142594915,0.72944423811),dp);
dot((0.135244211839,0.767009449133,2.38658556716e-08),dp);
dot((-9.76442465584e-10,-7.70969694932e-10,-8.69904751322e-10),dp);
dot((0.389420670098,0.674496874484,2.38658580283e-08),dp);
dot((0.135244211839,0.767009449133,0.641462493244),dp);
dot((0.389420670098,0.674496874484,0.641462493244),dp);