import graph3;
import three;
size(7.5cm,0);
pen p=black+1;
draw(unithemisphere,white+opacity(0.1));
currentprojection=orthographic((0.380847321212,-0.924637938831,0.3));
draw(Arc((-2.26025351976,1.01491706455,-8.21463965528e-13),(7.13433975004e-13,0.841548532465,-8.21463965528e-13),(-0.533573477065,-0.453884709569,-8.21463965528e-13),(0,0,1),false),p);
label("$1$",(-0.164198504022,0.151577043179,-8.21463965528e-13));
draw(Arc((-8.45706627017e-12,-1.64217030622,-8.21463965528e-13),(-0.533573477065,-0.453884709569,-8.21463965528e-13),(0.533573477056,-0.453884709572,-8.21463965528e-13),(0,0,1),false),p);
label("$1$",(-4.20647113006e-12,-0.339586982732,-8.21463965528e-13));
draw(Arc((2.26025351979,1.01491706455,-8.21463965528e-13),(0.533573477056,-0.453884709572,-8.21463965528e-13),(7.13433975004e-13,0.841548532465,-8.21463965528e-13),(0,0,1),false),p);
label("$1$",(0.16419850402,0.151577043178,-8.21463965528e-13));
draw((-2.70670963797e-13,-1.68301817232e-13,0.962834868046)--(7.13433975004e-13,0.841548532465,-8.21463965528e-13),p);
label("$13\bar1$",(2.21381505604e-13,0.420774266232,0.481417434022),align=right);
draw((-0.533573477065,-0.453884709569,2.2499188373e-13)--(-0.533573477048,-0.453884709575,0.490360258716),p);
draw((-0.533573477048,-0.453884709575,0.490360258716)--(-2.70670963797e-13,-1.68301817232e-13,0.962834868046),p);
label("$123\bar2\bar1$",(-0.266786738524,-0.226942354788,0.726597563381),align=right);
draw((0.533573477056,-0.453884709572,1.91100701189e-12)--(0.533573477056,-0.453884709572,0.490360258721),p);
draw((0.533573477056,-0.453884709572,0.490360258721)--(-2.70670963797e-13,-1.68301817232e-13,0.962834868046),p);
label("$12\bar1$",(0.266786738528,-0.226942354786,0.726597563383),align=right);
pen dp = blue+4;
pen dpi = red+4;
dot((-2.70670963797e-13,-1.68301817232e-13,0.962834868046),dp);
dot((7.13433975004e-13,0.841548532465,-8.21463965528e-13),dp);
dot((-0.533573477065,-0.453884709569,2.2499188373e-13),dp);
dot((0.533573477056,-0.453884709572,1.91100701189e-12),dp);
dot((-0.533573477048,-0.453884709575,0.490360258716),dp);
dot((0.533573477056,-0.453884709572,0.490360258721),dp);