OO = point(0, 0) <<id: 'GUIOO', name: 'OO', fixed: true, priv: true, visible: false>>;
E1 = point(1, 0) <<id: 'GUIE1', name: 'E1', fixed: true, priv: true, visible: false>>;
E2 = point(0, 1) <<id: 'GUIE2', name: 'E2', fixed: true, priv: true, visible: false>>;
x = axis(OO, E1) <<id: 'GUIx', name: 'x', ticks: <<minorHeight:0, majorHeight:10, ticksDistance: 1, drawLabels: true, drawZero: true>>>>;
y = axis(OO, E2) <<id: 'GUIy', name: 'y', ticks: <<minorHeight:0, majorHeight:10, ticksDistance: 1, drawLabels: true, drawZero: true>>>>;
GUIx.visible = false;
GUIy.visible = false;
delete jxgBoard1_infobox;
trunclen = 2;
point(0.05577689, 3.54581673) <<id: 'GUI1', snaptogrid: false, snaptopoints: false>>;
point(-1066140.99601594, 6371.14741036) <<id: 'GUI2', name: '', visible: false, snaptogrid: false, snaptopoints: false, priv: true>>;
point(0.00000000, 10.66135458, -0.06374502) <<id: 'GUI3', name: '', visible: false, snaptogrid: false, snaptopoints: false, priv: true>>;
line(GUI2, GUI3) <<id: 'GUI4', name: '', snaptogrid: false, snaptopoints: false>>;
point(-3.68924303, -3.35458167) <<id: 'GUI8', fillColor: '#ff0'>>;
GUI8.glide(GUI4);
circle(GUI1, GUI8) <<id: 'GUI11', name: '', fillOpacity: 0.5, snaptogrid: false, snaptopoints: false>>;
intersection(GUI4, GUI11, 0) <<id: 'GUI12',  fillColor: '#fff'>>;
point(0.83665339, -3.41832669) <<id: 'GUI14', fillColor: '#ff0'>>;
GUI14.glide(GUI4);
polygon(GUI1, GUI8, GUI12) <<borders: <<ids: [ 'GUI18', 'GUI19', 'GUI20' ], name: ''>>, id: 'GUI21',  fillOpacity: 0.5, name: '', hasInnerPoints:false, snaptogrid: false, snaptopoints: false, scalable:true>>;
GUI11.visible = false;
GUI4.visible = false;
GUI8.move([-3.27498135, -3.36812049]);
