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.29482072, -2.54183267) <<id: 'GUI1', snaptogrid: false, snaptopoints: false>>;
point(5.73827781, -2.69690514) <<id: 'GUI2', snaptogrid: false, snaptopoints: false>>;
point(1.82824488, 2.94378273) <<id: 'GUI3', snaptogrid: false, snaptopoints: false>>;
polygon(GUI1, GUI2, GUI3) <<borders: <<ids: [ 'GUI4', 'GUI5', 'GUI6' ], name: ''>>, id: 'GUI7',  fillOpacity: 0.5, name: '', hasInnerPoints:false, snaptogrid: false, snaptopoints: false, scalable:true>>;
point(202386.14342629, 76135.77429733) <<id:'GUI9', name:'', priv:true, visible:false >>;
GUI9.glide(GUI6);
point(202386.14342629, 76135.77429733) <<id:'GUI10', name:'', priv:true, visible:false >>;
GUI10.glide(GUI4);
intersection(GUI6, GUI4, 0) <<id:'GUI11', fillColor: '#fff', name:'', priv:true, visible:false >>;
bisector(GUI9, GUI11, GUI10) <<id: 'GUI12', name: '', point: <<id: 'GUI8', priv: true, name: 'GUI8'>> >>;
point(-225810.00053849, 84030.44612682) <<id:'GUI15', name:'', priv:true, visible:false >>;
GUI15.glide(GUI5);
point(-225810.00053849, 84030.44612682) <<id:'GUI16', name:'', priv:true, visible:false >>;
GUI16.glide(GUI4);
intersection(GUI5, GUI4, 0) <<id:'GUI17', fillColor: '#fff', name:'', priv:true, visible:false >>;
bisector(GUI15, GUI17, GUI16) <<id: 'GUI18', name: '', point: <<id: 'GUI14', priv: true, name: 'GUI14'>> >>;
intersection(GUI12, GUI18, 0) <<id: 'GUI19',  fillColor: '#fff'>>;
perpendicularsegment(GUI19, GUI5) <<id: 'GUI23', name: '', point: <<id: 'GUI22', name: 'GUI22'>> >>;
intersection(GUI5, GUI23, 0) <<id: 'GUI28',  fillColor: '#fff'>>;
circle(GUI19, GUI28) <<id: 'GUI32', name: '', fillOpacity: 0.5, snaptogrid: false, snaptopoints: false>>;
perpendicularsegment(GUI19, GUI6) <<id: 'GUI53', name: '', point: <<id: 'GUI52', name: 'GUI52'>> >>;
perpendicularsegment(GUI19, GUI4) <<id: 'GUI59', name: '', point: <<id: 'GUI58', name: 'GUI58'>> >>;
intersection(GUI6, GUI53, 0) <<id: 'GUI78',  fillColor: '#fff'>>;
intersection(GUI4, GUI59, 0) <<id: 'GUI91',  fillColor: '#fff'>>;
GUI12.strokeColor = '#cc0000ff';
GUI12.highlightStrokeColor = '#cc0000aa';
GUI18.visible = false;
GUI23.visible = false;
GUI59.visible = false;
GUI3.move([3.88047809, 3.37051793]);
GUI12.visible = false;
GUI53.visible = false;
