s0 = point(0, 0) <<strokecolor: '#0000ff', fillcolor: 'red', highlightfillcolor: 'none', gradient: null, withlabel: false, visible: false, traceattributes: <<>> , needsregularupdate: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P1'>> ;

s1 = point(1, 0) <<strokecolor: '#0000ff', fillcolor: 'red', highlightfillcolor: 'none', gradient: null, withlabel: false, visible: false, traceattributes: <<>> , needsregularupdate: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P2'>> ;

// x
s2 = axis("jxgBoard1P1", "jxgBoard1P2") <<fillcolor: 'none', gradient: null, withlabel: true, layer: 2, traceattributes: <<>> , draft: false, firstarrow: false, lastarrow: <<type: 1, highlightsize: 8, size: 8>> , point1: <<needsregularupdate: false, visible: false>> , point2: <<needsregularupdate: false, visible: false>> , ticks: <<gradient: null, layer: 2, traceattributes: <<>> , draft: false, generatelabeltext: null, generatelabelvalue: null, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [0,-3], autoposition: false, parse: false, needsregularupdate: false, display: 'internal', layer: 9, anchorx: 'middle', anchory: 'top', fontsize: 12>> , tickendings: [0,1], labels: [], id: 'jxgBoard1L3_ticks_1', name: ''>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'rt', offset: [-10,10], autoposition: false>> , snapsizex: 1, snapsizey: 1, touchfirstpoint: false, touchlastpoint: false, linecap: 'butt', name: 'x', id: 'jxgBoard1L3'>> ;

s3 = point(0, 0) <<strokecolor: '#0000ff', fillcolor: 'red', highlightfillcolor: 'none', gradient: null, withlabel: false, visible: false, traceattributes: <<>> , needsregularupdate: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P13'>> ;

s4 = point(0, 1) <<strokecolor: '#0000ff', fillcolor: 'red', highlightfillcolor: 'none', gradient: null, withlabel: false, visible: false, traceattributes: <<>> , needsregularupdate: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P14'>> ;

// y
s5 = axis("jxgBoard1P13", "jxgBoard1P14") <<fillcolor: 'none', gradient: null, withlabel: true, layer: 2, traceattributes: <<>> , draft: false, firstarrow: false, lastarrow: <<type: 1, highlightsize: 8, size: 8>> , point1: <<needsregularupdate: false, visible: false>> , point2: <<needsregularupdate: false, visible: false>> , ticks: <<gradient: null, layer: 2, traceattributes: <<>> , draft: false, generatelabeltext: null, generatelabelvalue: null, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [-6,0], autoposition: false, parse: false, needsregularupdate: false, display: 'internal', layer: 9, anchorx: 'right', anchory: 'middle', fontsize: 12>> , tickendings: [1,0], labels: [], id: 'jxgBoard1L15_ticks_1', name: ''>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'rt', offset: [8,0], autoposition: false>> , snapsizex: 1, snapsizey: 1, touchfirstpoint: false, touchlastpoint: false, linecap: 'butt', name: 'y', id: 'jxgBoard1L15'>> ;

// s_{a}
s6 = grid([], [], -6, 6.000000000000002) <<fillcolor: 'none', gradient: null, fixed: true, layer: 1, traceattributes: <<>> , draft: false, useqdt: false, handdrawing: false, curvetype: 'plot', rdpsmoothing: false, numberpointshigh: 1600, numberpointslow: 400, doadvancedplot: true, recursiondepthhigh: 17, recursiondepthlow: 15, doadvancedplotold: false, plotversion: 2, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , firstarrow: false, lastarrow: false, snapsizex: 2, snapsizey: 2, id: 'jxgBoard1G25', name: 's_{a}'>> ;

// A
s7 = point(-2.625, 0.975) <<gradient: null, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], id: 'jxgBoard1P28', name: 'A'>> ;

// B
s8 = point(-0.775, 2.025) <<gradient: null, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], id: 'jxgBoard1P30', name: 'B'>> ;

// C
s9 = glider(-3.565069060773482, 2.6313121546961353, "jxgBoard1L36") <<strokecolor: '#ff0000', fillcolor: '#ff0000', highlightfillcolor: '#EEEEEE', gradient: null, withlabel: true, layer: 9, traceattributes: <<>> , draft: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , style: 5, face: 'o', size: 3, sizeunit: 'screen', zoom: false, showinfobox: 'inherit', infoboxdigits: 'auto', attractors: [], attractorunit: 'user', attractordistance: 0, snatchdistance: 0, snapsizex: 1, snapsizey: 1, snaptopoints: false, ignoredsnaptopoints: [], snapwidth: -1, id: 'jxgBoard1P32', name: 'C'>> ;

// a
s10 = line("jxgBoard1P28", "jxgBoard1P30") <<gradient: null, visible: false, layer: 7, traceattributes: <<>> , draft: false, point1: <<visible: false, withLabel: false, fixed: false, name: ''>> , point2: <<visible: false, withLabel: false, fixed: false, name: ''>> , ticks: <<drawlabels: true, label: <<offset: [4,-9]>> , drawzero: false, insertticks: false, minticksdistance: 50, minorheight: 4, majorheight: -1, minorticks: 4, defaultdistance: 1, strokeopacity: 0.3, visible: 'inherit'>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'llft', offset: [10,10], autoposition: false>> , id: 'jxgBoard1L34', name: 'a'>> ;

s11 = point(0, 0.4936055194583818, -0.8696859152361968) <<gradient: null, withlabel: false, visible: false, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P35'>> ;

// b
s12 = normal("jxgBoard1L34", "jxgBoard1P28") <<highlightstrokecolor: '#888888', fillcolor: 'none', gradient: null, visible: false, layer: 7, traceattributes: <<>> , draft: false, firstarrow: false, lastarrow: false, margin: 0, straightfirst: true, straightlast: true, withticks: false, point1: <<visible: false, withLabel: false, fixed: false, name: ''>> , point2: <<visible: false, withLabel: false, fixed: false, name: ''>> , ticks: <<drawlabels: true, label: <<offset: [4,-9]>> , drawzero: false, insertticks: false, minticksdistance: 50, minorheight: 4, majorheight: -1, minorticks: 4, defaultdistance: 1, strokeopacity: 0.3, visible: 'inherit'>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , snapsizex: 1, snapsizey: 1, touchfirstpoint: false, touchlastpoint: false, linecap: 'butt', point: <<gradient: null, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], id: 'jxgBoard1P35', name: ''>> , id: 'jxgBoard1L36', name: 'b'>> ;

s13 = point(0, 0.4936055194583818, -0.8696859152361968) <<gradient: null, withlabel: false, visible: false, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P37'>> ;

// c
s14 = normal("jxgBoard1L34", "jxgBoard1P30") <<highlightstrokecolor: '#888888', fillcolor: 'none', gradient: null, visible: false, layer: 7, traceattributes: <<>> , draft: false, firstarrow: false, lastarrow: false, margin: 0, straightfirst: true, straightlast: true, withticks: false, point1: <<visible: false, withLabel: false, fixed: false, name: ''>> , point2: <<visible: false, withLabel: false, fixed: false, name: ''>> , ticks: <<drawlabels: true, label: <<offset: [4,-9]>> , drawzero: false, insertticks: false, minticksdistance: 50, minorheight: 4, majorheight: -1, minorticks: 4, defaultdistance: 1, strokeopacity: 0.3, visible: 'inherit'>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , snapsizex: 1, snapsizey: 1, touchfirstpoint: false, touchlastpoint: false, linecap: 'butt', point: <<gradient: null, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], id: 'jxgBoard1P37', name: ''>> , id: 'jxgBoard1L38', name: 'c'>> ;

s15 = point(0, -0.8696859152361968, -0.4936055194583818) <<gradient: null, withlabel: false, visible: false, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], name: '', id: 'jxgBoard1P39'>> ;

// d
s16 = normal("jxgBoard1L36", "jxgBoard1P32") <<highlightstrokecolor: '#888888', fillcolor: 'none', gradient: null, visible: false, layer: 7, traceattributes: <<>> , draft: false, firstarrow: false, lastarrow: false, margin: 0, straightfirst: true, straightlast: true, withticks: false, point1: <<visible: false, withLabel: false, fixed: false, name: ''>> , point2: <<visible: false, withLabel: false, fixed: false, name: ''>> , ticks: <<drawlabels: true, label: <<offset: [4,-9]>> , drawzero: false, insertticks: false, minticksdistance: 50, minorheight: 4, majorheight: -1, minorticks: 4, defaultdistance: 1, strokeopacity: 0.3, visible: 'inherit'>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , snapsizex: 1, snapsizey: 1, touchfirstpoint: false, touchlastpoint: false, linecap: 'butt', point: <<gradient: null, layer: 9, traceattributes: <<>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , attractors: [], ignoredsnaptopoints: [], id: 'jxgBoard1P39', name: ''>> , id: 'jxgBoard1L40', name: 'd'>> ;

// D
s17 = intersection("jxgBoard1L40", "jxgBoard1L38", 0, 0) <<strokecolor: '#ff0000', fillcolor: '#ff0000', highlightfillcolor: '#EEEEEE', gradient: null, withlabel: true, layer: 9, traceattributes: <<>> , draft: false, label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [10,10], autoposition: false>> , style: 5, face: 'o', size: 3, sizeunit: 'screen', zoom: false, showinfobox: 'inherit', infoboxdigits: 'auto', attractors: [], attractorunit: 'user', attractordistance: 0, snatchdistance: 0, snapsizex: 1, snapsizey: 1, snaptopoints: false, ignoredsnaptopoints: [], id: 'jxgBoard1P41', name: 'D'>> ;

// P_{a}
s18 = polygon("jxgBoard1P30", "jxgBoard1P41", "jxgBoard1P32", "jxgBoard1P28") <<gradient: null, layer: 3, traceattributes: <<>> , draft: false, borders: <<withlabel: false, strokewidth: 1, highlightstrokewidth: 1, layer: 5, label: <<position: 'top'>> , visible: 'inherit'>> , vertices: <<layer: 9, withLabel: false, name: '', strokeColor: '#ff0000', fillColor: '#ff0000', fixed: false, visible: 'inherit'>> , label: <<visible: 'inherit', strokecolor: 'black', strokeopacity: 1, highlightstrokeopacity: 0.666666, highlightstrokecolor: 'black', fixed: true, position: 'urt', offset: [0,0], autoposition: false>> , id: 'jxgBoard1Py47', name: 'P_{a}', lines: <<ids: ['jxgBoard1L46','jxgBoard1L43','jxgBoard1L44','jxgBoard1L45'], colors: ['#0000ff','#0000ff','#0000ff','#0000ff']>> >> ;

$board.setBoundingBox([-5,5,5,-5], true);