﻿<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<?application progid="SMath Studio Desktop" version="0.98.6179.21440"?>
<regions>
  <settings>
    <identity>
      <id>1667877a-9fc4-4a16-b61c-1aa34d0b287a</id>
      <revision>28</revision>
    </identity>
    <calculation>
      <precision>4</precision>
      <exponentialThreshold>5</exponentialThreshold>
      <fractions>decimal</fractions>
    </calculation>
    <pageModel active="true" printAreas="true" simpleEqualsOnly="false" printBackgroundImages="true">
      <paper id="1" orientation="Portrait" width="850" height="1100" />
      <margins left="39" right="39" top="39" bottom="39" />
      <header alignment="Center" color="#a9a9a9">&amp;[DATE] &amp;[TIME] - &amp;[FILENAME]</header>
      <footer alignment="Center" color="#a9a9a9">&amp;[PAGENUM] / &amp;[COUNT]</footer>
      <backgrounds />
    </pageModel>
    <dependencies>
      <assembly name="SMath Studio Desktop" version="0.98.6179.21440" guid="a37cba83-b69c-4c71-9992-55ff666763bd" />
      <assembly name="Math Region" version="0.98.6179.21440" guid="02f1ab51-215b-466e-a74d-5d8b1cf85e8d" />
      <assembly name="Special Functions" version="1.11.6179.21442" guid="2814e667-4e12-48b1-8d51-194e480eabc5" />
      <assembly name="Text Region" version="1.10.6179.21446" guid="485d28c5-349a-48b6-93be-12a35a1c1e39" />
      <assembly name="Nonlinear Solvers" version="1.1.6099.14159" guid="618b7e96-330a-406a-b055-9e577672f0b8" />
      <assembly name="Plot Region" version="1.9.6179.21450" guid="c451c2b5-798b-4f08-b9ec-b90963d1ddaa" />
    </dependencies>
  </settings>
  <region id="0" left="9" top="27" width="68" height="24" color="#000000" bgColor="#ffe1e1" fontSize="10">
    <math fractionType="fraction" decimalPlaces="6">
      <description active="true" position="Right" lang="eng">
        <p>'N' random in critical region</p>
      </description>
      <input>
        <e type="operand">N</e>
        <e type="operand">1000</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="1" left="315" top="27" width="96" height="26" color="#000000" bgColor="#ffe1e1" fontSize="10">
    <math>
      <input>
        <e type="operand">t0</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">time</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="2" left="441" top="27" width="324" height="163" border="true" color="#000000" bgColor="#e1ff80" fontSize="10">
    <math optimize="0" fractionType="fraction" decimalPlaces="6">
      <input>
        <e type="operand">data</e>
        <e type="operand">spec</e>
        <e type="function" args="2">pts</e>
        <e type="operand">i</e>
        <e type="operand">1</e>
        <e type="operand">data</e>
        <e type="function" preserve="true" args="1">rows</e>
        <e type="function" preserve="true" args="2">range</e>
        <e type="operand">p</e>
        <e type="operand">i</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operand">a</e>
        <e type="operand">b</e>
        <e type="operand">c</e>
        <e type="function" args="3">spec</e>
        <e type="operator" args="2">:</e>
        <e type="function" preserve="true" args="3">for</e>
        <e type="operand">v</e>
        <e type="operand">p</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operator" args="2">:</e>
        <e type="operand" style="string">Unest 'p' </e>
        <e type="operand">j</e>
        <e type="operand">2</e>
        <e type="operand">p</e>
        <e type="function" preserve="true" args="1">rows</e>
        <e type="function" preserve="true" args="2">range</e>
        <e type="operand">v</e>
        <e type="operand">v</e>
        <e type="operand">p</e>
        <e type="operand">j</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="function" preserve="true" args="2">stack</e>
        <e type="operator" args="2">:</e>
        <e type="function" preserve="true" args="3">for</e>
        <e type="operand">data</e>
        <e type="operand">v</e>
        <e type="function" preserve="true" args="2">augment</e>
        <e type="operand">5</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="7">line</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="3" left="9" top="63" width="196" height="91" border="true" color="#000000" bgColor="#ebebeb" fontSize="10">
    <math>
      <description active="true" position="Right" lang="eng">
        <p>size/define critical region.Plot first before filling</p>
      </description>
      <input>
        <e type="operand">xmin</e>
        <e type="operand">1</e>
        <e type="operator" args="1">-</e>
        <e type="operator" args="2">:</e>
        <e type="operand">xmax</e>
        <e type="operand">5</e>
        <e type="operator" args="2">:</e>
        <e type="operand">ymin</e>
        <e type="operand">5</e>
        <e type="operator" args="1">-</e>
        <e type="operator" args="2">:</e>
        <e type="operand">ymax</e>
        <e type="operand">0</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="6">mat</e>
        <e type="operand">space_x</e>
        <e type="operand">xmax</e>
        <e type="operand">xmin</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">:</e>
        <e type="operand">space_y</e>
        <e type="operand">ymax</e>
        <e type="operand">ymin</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">sys</e>
      </input>
    </math>
  </region>
  <region id="4" left="9" top="171" width="352" height="26" color="#000000" bgColor="#ebebeb" fontSize="10">
    <math optimize="2" fractionType="fraction" decimalPlaces="6">
      <description active="true" position="Top" lang="eng">
        <p>A function that tests an arbitrary point for its membership in the critical region.</p>
      </description>
      <input>
        <e type="operand">x</e>
        <e type="operand">y</e>
        <e type="function" args="2">Test</e>
        <e type="operand">x</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="operator" args="2">≤</e>
        <e type="bracket">(</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="operand">5</e>
        <e type="operator" args="2">≥</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">*</e>
        <e type="operand">x</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="operand">9</e>
        <e type="operator" args="2">≤</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="5" left="441" top="198" width="301" height="26" color="#000000" bgColor="#e1ff80" fontSize="10">
    <math>
      <input>
        <e type="operand">data</e>
        <e type="operand">spec</e>
        <e type="function" args="2">pts</e>
        <e type="operand" style="string">~ 12 times faster</e>
        <e type="operator" args="2">≡</e>
      </input>
    </math>
  </region>
  <region id="6" left="9" top="252" width="334" height="231" border="true" color="#000000" bgColor="#ebebeb" fontSize="10">
    <math optimize="2" fractionType="fraction" decimalPlaces="6">
      <description active="true" position="Top" lang="eng">
        <p>A routine that finds an array of N random pairs in the critical region.</p>
      </description>
      <input>
        <e type="operand">Pts</e>
        <e type="operand">i</e>
        <e type="operand">1</e>
        <e type="operand">N</e>
        <e type="function" preserve="true" args="2">range</e>
        <e type="operand">x</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">Random</e>
        <e type="operand">space_x</e>
        <e type="operator" args="2">*</e>
        <e type="operand">xmin</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operator" args="2">:</e>
        <e type="operand">y</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">Random</e>
        <e type="operand">space_y</e>
        <e type="operator" args="2">*</e>
        <e type="operand">ymin</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operator" args="2">:</e>
        <e type="operand">1</e>
        <e type="operand">x</e>
        <e type="operand">y</e>
        <e type="function" args="2">Test</e>
        <e type="operator" args="2">-</e>
        <e type="operand">x</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">Random</e>
        <e type="operand">space_x</e>
        <e type="operator" args="2">*</e>
        <e type="operand">xmin</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operator" args="2">:</e>
        <e type="operand">y</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">Random</e>
        <e type="operand">space_y</e>
        <e type="operator" args="2">*</e>
        <e type="operand">ymin</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="2">el</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="function" preserve="true" args="2">while</e>
        <e type="operand">P</e>
        <e type="operand">i</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">el</e>
        <e type="operand">x</e>
        <e type="operator" args="2">:</e>
        <e type="operand">P</e>
        <e type="operand">i</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="3">el</e>
        <e type="operand">y</e>
        <e type="operator" args="2">:</e>
        <e type="operand">5</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="7">line</e>
        <e type="function" preserve="true" args="3">for</e>
        <e type="operand">P</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="7" left="342" top="252" width="272" height="52" border="true" color="#000000" bgColor="#ffffe1" fontSize="10">
    <math>
      <input>
        <e type="operand">a</e>
        <e type="operand">b</e>
        <e type="operand">c</e>
        <e type="function" args="3">spec</e>
        <e type="operand" style="string">.</e>
        <e type="operand">6</e>
        <e type="operand" style="string">#808080</e>
        <e type="operand">1</e>
        <e type="operand">3</e>
        <e type="function" preserve="true" args="5">mat</e>
        <e type="operator" args="2">:</e>
        <e type="operand">fill</e>
        <e type="operand">Pts</e>
        <e type="operand">a</e>
        <e type="operand">b</e>
        <e type="operand">c</e>
        <e type="function" args="3">spec</e>
        <e type="function" args="2">pts</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
      </input>
    </math>
  </region>
  <region id="8" left="342" top="306" width="320" height="192" color="#000000" bgColor="#ffffff" fontSize="10" showInputData="False">
    <plot type="2d" render="lines" scale_x="2.26427417087124" scale_y="2.4898647990035" scale_z="28.5053486875039" rotate_x="0" rotate_y="0" rotate_z="0" transpose_x="-39" transpose_y="49" transpose_z="0">
      <description active="true" position="Top" lang="eng">
        <p>Filling a range of a PDF</p>
      </description>
      <input>
        <e type="operand">1</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">5</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">9</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">3</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="5">sys</e>
        <e type="operand">fill</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">sys</e>
      </input>
    </plot>
  </region>
  <region id="9" left="603" top="306" width="149" height="26" color="#000000" bgColor="#ffe1e1" fontSize="10">
    <math decimalPlaces="0">
      <input>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="1">time</e>
        <e type="operand">t0</e>
        <e type="operator" args="2">-</e>
      </input>
      <result action="numeric">
        <e type="operand">21</e>
        <e type="operand" style="unit">s</e>
        <e type="operator" args="2">*</e>
      </result>
    </math>
  </region>
  <region id="10" left="666" top="387" width="103" height="139" border="true" color="#000000" bgColor="#ebebeb" fontSize="10">
    <math>
      <input>
        <e type="operand">1</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">5</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">9</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">3</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="5">sys</e>
        <e type="operand">fill</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">sys</e>
      </input>
    </math>
  </region>
  <region id="11" left="9" top="549" width="348" height="31" color="#000000" bgColor="#80ffff" fontSize="14">
    <text lang="eng">
      <p bold="true">Solving for the X's, Y's Apex</p>
    </text>
  </region>
  <region id="12" left="9" top="594" width="305" height="26" color="#000000" bgColor="#ffe1e1" fontSize="10">
    <math>
      <description active="true" position="Right" lang="eng">
        <p>I hate FindRoot !</p>
      </description>
      <input>
        <e type="operand">f</e>
        <e type="operand">init</e>
        <e type="function" args="2">GivenFind</e>
        <e type="operand">f</e>
        <e type="operand">init</e>
        <e type="function" preserve="true" args="2">FindRoot</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="13" left="9" top="639" width="195" height="126" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <input>
        <e type="operand">f1</e>
        <e type="operand">1</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">5</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="2">-</e>
        <e type="operator" args="2">:</e>
        <e type="bracket">(</e>
        <e type="operand">0</e>
        <e type="operator" args="2">≡</e>
        <e type="operand">f2</e>
        <e type="operand">5</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">9</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="2">-</e>
        <e type="operator" args="2">:</e>
        <e type="bracket">(</e>
        <e type="operand">0</e>
        <e type="operator" args="2">≡</e>
        <e type="operand">f3</e>
        <e type="operand">9</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">1</e>
        <e type="operand">x</e>
        <e type="operator" args="2">-</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="2">+</e>
        <e type="operator" args="2">:</e>
        <e type="bracket">(</e>
        <e type="operand">0</e>
        <e type="operator" args="2">≡</e>
        <e type="operand">3</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="5">sys</e>
      </input>
    </math>
  </region>
  <region id="14" left="234" top="684" width="99" height="27" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <description active="true" position="Right" lang="eng">
        <p>common 'x'</p>
      </description>
      <input>
        <e type="operand">init</e>
        <e type="operand">x</e>
        <e type="operand">1</e>
        <e type="operator" args="2">≡</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="15" left="9" top="765" width="247" height="138" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <input>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operand">f1</e>
        <e type="operand">init</e>
        <e type="function" args="2">GivenFind</e>
        <e type="operator" args="2">:</e>
        <e type="operand">X1</e>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operand">f2</e>
        <e type="operand">init</e>
        <e type="function" args="2">GivenFind</e>
        <e type="operator" args="2">:</e>
        <e type="operand">X2</e>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operand">f3</e>
        <e type="operand">init</e>
        <e type="function" args="2">GivenFind</e>
        <e type="operator" args="2">:</e>
        <e type="operand">X3</e>
        <e type="operand">x</e>
        <e type="function" args="1">sol</e>
        <e type="operator" args="2">:</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">line</e>
        <e type="operand">3</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="5">sys</e>
      </input>
    </math>
  </region>
  <region id="16" left="315" top="774" width="186" height="127" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <input>
        <e type="operand">Apex1</e>
        <e type="operand">X1</e>
        <e type="operand">1</e>
        <e type="operand">X1</e>
        <e type="operator" args="2">-</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operand">1</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="4">mat</e>
        <e type="operator" args="2">:</e>
        <e type="operand">Apex2</e>
        <e type="operand">X2</e>
        <e type="operand">5</e>
        <e type="operand">5</e>
        <e type="operand">X2</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">1</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="4">mat</e>
        <e type="operator" args="2">:</e>
        <e type="operand">Apex3</e>
        <e type="operand">X3</e>
        <e type="operand">9</e>
        <e type="operand">X3</e>
        <e type="operator" args="2">-</e>
        <e type="bracket">(</e>
        <e type="operand">2</e>
        <e type="operator" args="2">/</e>
        <e type="operator" args="1">-</e>
        <e type="operand">1</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="4">mat</e>
        <e type="operator" args="2">:</e>
        <e type="operand">3</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="5">line</e>
      </input>
    </math>
  </region>
  <region id="17" left="315" top="909" width="365" height="72" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <description active="true" position="Top" lang="eng">
        <p>Coordinates of each Apex of the critical region</p>
      </description>
      <input>
        <e type="operand">Apex</e>
        <e type="operand">Apex1</e>
        <e type="operand">Apex2</e>
        <e type="operand">Apex3</e>
        <e type="function" preserve="true" args="3">stack</e>
        <e type="operator" args="2">:</e>
      </input>
      <result action="numeric">
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">0</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">1</e>
        <e type="operator" args="1">-</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">5</e>
        <e type="operator" args="1">-</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">5</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">2</e>
        <e type="operator" args="1">-</e>
        <e type="operand">1</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="3">mat</e>
        <e type="operand">3</e>
        <e type="operand">2</e>
        <e type="function" preserve="true" args="8">mat</e>
      </result>
    </math>
  </region>
  <region id="18" left="315" top="1044" width="368" height="26" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <description active="true" position="Top" lang="eng">
        <p>Validate the search in the critical domain</p>
      </description>
      <input>
        <e type="operand">x</e>
        <e type="operand">y</e>
        <e type="function" args="2">region</e>
        <e type="operand">x</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">+</e>
        <e type="operand">1</e>
        <e type="operator" args="2">≤</e>
        <e type="bracket">(</e>
        <e type="operand">5</e>
        <e type="operand">x</e>
        <e type="operator" args="2">*</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="operand">5</e>
        <e type="operator" args="2">≥</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">*</e>
        <e type="operand">x</e>
        <e type="operand">2</e>
        <e type="operand">y</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">-</e>
        <e type="operand">9</e>
        <e type="operator" args="2">≤</e>
        <e type="bracket">(</e>
        <e type="operator" args="2">*</e>
        <e type="operator" args="2">:</e>
      </input>
    </math>
  </region>
  <region id="19" left="315" top="1107" width="176" height="49" color="#000000" bgColor="#ffffff" fontSize="10">
    <math>
      <description active="true" position="Right" lang="eng">
        <p>1 ≡ valid search0 ≡ invalid search</p>
      </description>
      <input>
        <e type="operand">2</e>
        <e type="operand">2</e>
        <e type="operator" args="1">-</e>
        <e type="function" args="2">region</e>
        <e type="operand">2</e>
        <e type="operator" args="1">-</e>
        <e type="operand">2</e>
        <e type="operator" args="1">-</e>
        <e type="function" args="2">region</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">mat</e>
      </input>
      <result action="numeric">
        <e type="operand">1</e>
        <e type="operand">0</e>
        <e type="operand">2</e>
        <e type="operand">1</e>
        <e type="function" preserve="true" args="4">mat</e>
      </result>
    </math>
  </region>
  <region id="20" top="1206" color="#000000" bgColor="#ffe1e1">
    <area single="true" collapsed="true" />
  </region>
</regions>