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(-4.80537863, -1.89667374) <<id: 'GUI1', snaptogrid: false, snaptopoints: false>>;
point(2.13021939, -1.89667374) <<id: 'GUI2', snaptogrid: false, snaptopoints: false>>;
point(1.05449398, 2.80254777) <<id: 'GUI3', snaptogrid: false, snaptopoints: false>>;
segment(GUI1, GUI2) <<id: 'GUI6', name: '', snaptogrid: false, snaptopoints: false>>;
segment(GUI2, GUI3) <<id: 'GUI12', name: '', snaptogrid: false, snaptopoints: false>>;
segment(GUI3, GUI1) <<id: 'GUI15', name: '', snaptogrid: false, snaptopoints: false>>;
point(1.45081387, 0.87756546) <<id: 'GUI16', fillColor: '#ff0'>>;
GUI16.glide(GUI12);
point(-1.36588818, 0.86341118) <<id: 'GUI17', fillColor: '#ff0'>>;
GUI17.glide(GUI15);
point(-1.22434536, -1.91082803) <<id: 'GUI18', fillColor: '#ff0'>>;
GUI18.glide(GUI6);
