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(-3.86454183, -3.57768924) <<id: 'GUI1', snaptogrid: false, snaptopoints: false>>;
point(3.41832669, -3.43426295) <<id: 'GUI2', snaptogrid: false, snaptopoints: false>>;
point(3.01992032, 2.04780876) <<id: 'GUI3', snaptogrid: false, snaptopoints: false>>;
line(GUI1, GUI2) <<id: 'GUI6', name: '', snaptogrid: false, snaptopoints: false>>;
parallel(GUI6, GUI3) <<id: 'GUI11', name: '', point: <<id: 'GUI10', name: 'GUI10'>> >>;
point(-0.45418327, 1.96812749) <<id: 'GUI12', fillColor: '#ff0'>>;
GUI12.glide(GUI11);
polygon(GUI1, GUI2, GUI3, GUI12) <<borders: <<ids: [ 'GUI17', 'GUI18', 'GUI19', 'GUI20' ], name: ''>>, id: 'GUI21',  fillOpacity: 0.5, name: '', hasInnerPoints:false, snaptogrid: false, snaptopoints: false, scalable:true>>;
segment(GUI1, GUI3) <<id: 'GUI24', name: '', snaptogrid: false, snaptopoints: false>>;
segment(GUI12, GUI2) <<id: 'GUI27', name: '', snaptogrid: false, snaptopoints: false>>;
intersection(GUI24, GUI27, 0) <<id: 'GUI28',  fillColor: '#fff'>>;
GUI11.visible = false;
GUI6.visible = false;
