{
 "type": "excalidraw",
 "version": 2,
 "source": "gen.py",
 "elements": [
  {
   "id": "el1303365",
   "type": "text",
   "x": 20,
   "y": 0,
   "width": 726.0000000000001,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 403015,
   "version": 1,
   "versionNonce": 347601,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Lomuto partition, pivot = last element (3): one left-to-right scan",
   "fontSize": 20,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Lomuto partition, pivot = last element (3): one left-to-right scan",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9681099",
   "type": "text",
   "x": 40,
   "y": 60.25,
   "width": 38.5,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 654235,
   "version": 1,
   "versionNonce": 309807,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "start",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "start",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9594334",
   "type": "rectangle",
   "x": 190,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 67414,
   "version": 1,
   "versionNonce": 118332,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4834497",
   "type": "text",
   "x": 208.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 918964,
   "version": 1,
   "versionNonce": 109870,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2410314",
   "type": "rectangle",
   "x": 236,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 278465,
   "version": 1,
   "versionNonce": 285130,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1664179",
   "type": "text",
   "x": 254.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 949904,
   "version": 1,
   "versionNonce": 816839,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4045926",
   "type": "rectangle",
   "x": 282,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 283584,
   "version": 1,
   "versionNonce": 792490,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el3173581",
   "type": "text",
   "x": 300.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 859599,
   "version": 1,
   "versionNonce": 442766,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5338739",
   "type": "rectangle",
   "x": 328,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 425668,
   "version": 1,
   "versionNonce": 156624,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9636619",
   "type": "text",
   "x": 346.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 598313,
   "version": 1,
   "versionNonce": 518639,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6486963",
   "type": "rectangle",
   "x": 374,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 93808,
   "version": 1,
   "versionNonce": 292619,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1965134",
   "type": "text",
   "x": 392.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 838429,
   "version": 1,
   "versionNonce": 721636,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4076002",
   "type": "rectangle",
   "x": 420,
   "y": 50,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 445978,
   "version": 1,
   "versionNonce": 938775,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2214906",
   "type": "text",
   "x": 438.6,
   "y": 59.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 281987,
   "version": 1,
   "versionNonce": 983931,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1282389",
   "type": "text",
   "x": 209.15,
   "y": 93.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#e8590c",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 665259,
   "version": 1,
   "versionNonce": 92869,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5371335",
   "type": "text",
   "x": 578,
   "y": 60.25,
   "width": 238.70000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 87811,
   "version": 1,
   "versionNonce": 637721,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i = -1: nothing known small yet",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i = -1: nothing known small yet",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4731386",
   "type": "text",
   "x": 40,
   "y": 130.25,
   "width": 138.60000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 69859,
   "version": 1,
   "versionNonce": 277297,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j=0,1: 7 and 5 > 3",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j=0,1: 7 and 5 > 3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3041410",
   "type": "rectangle",
   "x": 190,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 475817,
   "version": 1,
   "versionNonce": 12108,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6690022",
   "type": "text",
   "x": 208.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 579930,
   "version": 1,
   "versionNonce": 438054,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5493940",
   "type": "rectangle",
   "x": 236,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 651904,
   "version": 1,
   "versionNonce": 135503,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1724871",
   "type": "text",
   "x": 254.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 552511,
   "version": 1,
   "versionNonce": 744004,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5000295",
   "type": "rectangle",
   "x": 282,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 983697,
   "version": 1,
   "versionNonce": 114769,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el3708666",
   "type": "text",
   "x": 300.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 274618,
   "version": 1,
   "versionNonce": 52827,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4039125",
   "type": "rectangle",
   "x": 328,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 211570,
   "version": 1,
   "versionNonce": 977532,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6234363",
   "type": "text",
   "x": 346.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 659210,
   "version": 1,
   "versionNonce": 319822,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9910141",
   "type": "rectangle",
   "x": 374,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 796392,
   "version": 1,
   "versionNonce": 215872,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5864735",
   "type": "text",
   "x": 392.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 467337,
   "version": 1,
   "versionNonce": 524381,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3984664",
   "type": "rectangle",
   "x": 420,
   "y": 120,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 283664,
   "version": 1,
   "versionNonce": 363857,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1304726",
   "type": "text",
   "x": 438.6,
   "y": 129.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 262615,
   "version": 1,
   "versionNonce": 38745,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1257465",
   "type": "text",
   "x": 255.15,
   "y": 163.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#e8590c",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 19330,
   "version": 1,
   "versionNonce": 768691,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9483466",
   "type": "text",
   "x": 578,
   "y": 130.25,
   "width": 254.10000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 577817,
   "version": 1,
   "versionNonce": 198660,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "they stay, region '> pivot' grows",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "they stay, region '> pivot' grows",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9627430",
   "type": "text",
   "x": 40,
   "y": 200.25,
   "width": 84.7,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 497823,
   "version": 1,
   "versionNonce": 257614,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j=2: 1 <= 3",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j=2: 1 <= 3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8500347",
   "type": "rectangle",
   "x": 190,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 111445,
   "version": 1,
   "versionNonce": 690299,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8250736",
   "type": "text",
   "x": 208.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 688401,
   "version": 1,
   "versionNonce": 519047,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7594889",
   "type": "rectangle",
   "x": 236,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 531299,
   "version": 1,
   "versionNonce": 322734,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4610140",
   "type": "text",
   "x": 254.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 240718,
   "version": 1,
   "versionNonce": 359352,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4332365",
   "type": "rectangle",
   "x": 282,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 872716,
   "version": 1,
   "versionNonce": 924769,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el3344092",
   "type": "text",
   "x": 300.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 424357,
   "version": 1,
   "versionNonce": 364435,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1912488",
   "type": "rectangle",
   "x": 328,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 877646,
   "version": 1,
   "versionNonce": 136125,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1239161",
   "type": "text",
   "x": 346.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 74159,
   "version": 1,
   "versionNonce": 655831,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5288153",
   "type": "rectangle",
   "x": 374,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 451665,
   "version": 1,
   "versionNonce": 171177,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1929476",
   "type": "text",
   "x": 392.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 88589,
   "version": 1,
   "versionNonce": 697542,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7390135",
   "type": "rectangle",
   "x": 420,
   "y": 190,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 912826,
   "version": 1,
   "versionNonce": 530520,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5730055",
   "type": "text",
   "x": 438.6,
   "y": 199.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 627865,
   "version": 1,
   "versionNonce": 253979,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5916705",
   "type": "text",
   "x": 209.15,
   "y": 233.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 47435,
   "version": 1,
   "versionNonce": 481772,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4109691",
   "type": "text",
   "x": 301.15,
   "y": 233.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#e8590c",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 165186,
   "version": 1,
   "versionNonce": 282106,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8479695",
   "type": "text",
   "x": 578,
   "y": 200.25,
   "width": 200.20000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 3799,
   "version": 1,
   "versionNonce": 276031,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i += 1, swap A[i] and A[j]",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i += 1, swap A[i] and A[j]",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7109278",
   "type": "text",
   "x": 40,
   "y": 270.25,
   "width": 77.0,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 344905,
   "version": 1,
   "versionNonce": 573649,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j=3: 8 > 3",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j=3: 8 > 3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6427998",
   "type": "rectangle",
   "x": 190,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 256321,
   "version": 1,
   "versionNonce": 36121,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6193352",
   "type": "text",
   "x": 208.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 228449,
   "version": 1,
   "versionNonce": 373906,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4069524",
   "type": "rectangle",
   "x": 236,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 1121,
   "version": 1,
   "versionNonce": 351622,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el7402632",
   "type": "text",
   "x": 254.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 87966,
   "version": 1,
   "versionNonce": 497700,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5679649",
   "type": "rectangle",
   "x": 282,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 527187,
   "version": 1,
   "versionNonce": 687885,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4371885",
   "type": "text",
   "x": 300.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 260235,
   "version": 1,
   "versionNonce": 529254,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1083056",
   "type": "rectangle",
   "x": 328,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 95265,
   "version": 1,
   "versionNonce": 277001,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2505812",
   "type": "text",
   "x": 346.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 150854,
   "version": 1,
   "versionNonce": 418918,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1699055",
   "type": "rectangle",
   "x": 374,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 413117,
   "version": 1,
   "versionNonce": 23587,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6027226",
   "type": "text",
   "x": 392.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 319024,
   "version": 1,
   "versionNonce": 660257,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4905896",
   "type": "rectangle",
   "x": 420,
   "y": 260,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 88587,
   "version": 1,
   "versionNonce": 614029,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9878327",
   "type": "text",
   "x": 438.6,
   "y": 269.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 894695,
   "version": 1,
   "versionNonce": 786999,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3604698",
   "type": "text",
   "x": 209.15,
   "y": 303.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 689485,
   "version": 1,
   "versionNonce": 936170,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7535001",
   "type": "text",
   "x": 347.15,
   "y": 303.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#e8590c",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 801439,
   "version": 1,
   "versionNonce": 341978,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9291145",
   "type": "text",
   "x": 578,
   "y": 270.25,
   "width": 38.5,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 156724,
   "version": 1,
   "versionNonce": 297981,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "stays",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "stays",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3428539",
   "type": "text",
   "x": 40,
   "y": 340.25,
   "width": 84.7,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 45916,
   "version": 1,
   "versionNonce": 864926,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j=4: 2 <= 3",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j=4: 2 <= 3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9606396",
   "type": "rectangle",
   "x": 190,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 657806,
   "version": 1,
   "versionNonce": 450096,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9481571",
   "type": "text",
   "x": 208.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 146075,
   "version": 1,
   "versionNonce": 954087,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9787189",
   "type": "rectangle",
   "x": 236,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 789439,
   "version": 1,
   "versionNonce": 528872,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1269773",
   "type": "text",
   "x": 254.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 866553,
   "version": 1,
   "versionNonce": 719818,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4857765",
   "type": "rectangle",
   "x": 282,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 89226,
   "version": 1,
   "versionNonce": 32675,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1702329",
   "type": "text",
   "x": 300.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 139559,
   "version": 1,
   "versionNonce": 668069,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7051667",
   "type": "rectangle",
   "x": 328,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 110013,
   "version": 1,
   "versionNonce": 394913,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8573003",
   "type": "text",
   "x": 346.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 585659,
   "version": 1,
   "versionNonce": 53248,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1316094",
   "type": "rectangle",
   "x": 374,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 656647,
   "version": 1,
   "versionNonce": 557260,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5103030",
   "type": "text",
   "x": 392.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 513063,
   "version": 1,
   "versionNonce": 276607,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1055605",
   "type": "rectangle",
   "x": 420,
   "y": 330,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 479146,
   "version": 1,
   "versionNonce": 836447,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2176276",
   "type": "text",
   "x": 438.6,
   "y": 339.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 784614,
   "version": 1,
   "versionNonce": 977802,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9438453",
   "type": "text",
   "x": 255.15,
   "y": 373.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 941472,
   "version": 1,
   "versionNonce": 561198,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2542529",
   "type": "text",
   "x": 393.15,
   "y": 373.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#e8590c",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 691326,
   "version": 1,
   "versionNonce": 551541,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "j",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "j",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2108141",
   "type": "text",
   "x": 578,
   "y": 340.25,
   "width": 200.20000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 781953,
   "version": 1,
   "versionNonce": 772579,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i += 1, swap A[1] and A[4]",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i += 1, swap A[1] and A[4]",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8950025",
   "type": "text",
   "x": 40,
   "y": 410.25,
   "width": 130.9,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 264445,
   "version": 1,
   "versionNonce": 848528,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "end: pivot to i+1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "end: pivot to i+1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2249063",
   "type": "rectangle",
   "x": 190,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 887236,
   "version": 1,
   "versionNonce": 278458,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4939049",
   "type": "text",
   "x": 208.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 764764,
   "version": 1,
   "versionNonce": 793187,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4442978",
   "type": "rectangle",
   "x": 236,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 241945,
   "version": 1,
   "versionNonce": 775767,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8723224",
   "type": "text",
   "x": 254.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 517943,
   "version": 1,
   "versionNonce": 886604,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7418299",
   "type": "rectangle",
   "x": 282,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 80468,
   "version": 1,
   "versionNonce": 502279,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5820415",
   "type": "text",
   "x": 300.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 804227,
   "version": 1,
   "versionNonce": 49019,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4326756",
   "type": "rectangle",
   "x": 328,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 81236,
   "version": 1,
   "versionNonce": 628837,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el3473382",
   "type": "text",
   "x": 346.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 347890,
   "version": 1,
   "versionNonce": 266276,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6107272",
   "type": "rectangle",
   "x": 374,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 651324,
   "version": 1,
   "versionNonce": 595342,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el3238768",
   "type": "text",
   "x": 392.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 13075,
   "version": 1,
   "versionNonce": 505855,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "5",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2017722",
   "type": "rectangle",
   "x": 420,
   "y": 400,
   "width": 46,
   "height": 38,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 509397,
   "version": 1,
   "versionNonce": 281829,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2669652",
   "type": "text",
   "x": 438.6,
   "y": 409.0,
   "width": 8.8,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 725809,
   "version": 1,
   "versionNonce": 228269,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "7",
   "fontSize": 16,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9214365",
   "type": "text",
   "x": 301.15,
   "y": 443.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 304986,
   "version": 1,
   "versionNonce": 743306,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "i",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "i",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9666030",
   "type": "text",
   "x": 578,
   "y": 410.25,
   "width": 200.20000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 299415,
   "version": 1,
   "versionNonce": 487235,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "pivot at its final index 2",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "pivot at its final index 2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8816464",
   "type": "rectangle",
   "x": 190,
   "y": 470,
   "width": 22,
   "height": 22,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": {
    "type": 3
   },
   "seed": 488993,
   "version": 1,
   "versionNonce": 804436,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2988148",
   "type": "text",
   "x": 220,
   "y": 472.25,
   "width": 61.60000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 937074,
   "version": 1,
   "versionNonce": 575749,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "<= pivot",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "<= pivot",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4342860",
   "type": "rectangle",
   "x": 320,
   "y": 470,
   "width": 22,
   "height": 22,
   "angle": 0,
   "strokeColor": "#e03131",
   "backgroundColor": "#ffc9c9",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": {
    "type": 3
   },
   "seed": 326815,
   "version": 1,
   "versionNonce": 90025,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8934703",
   "type": "text",
   "x": 350,
   "y": 472.25,
   "width": 53.900000000000006,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 18355,
   "version": 1,
   "versionNonce": 303656,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "> pivot",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "> pivot",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8700252",
   "type": "rectangle",
   "x": 440,
   "y": 470,
   "width": 22,
   "height": 22,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": {
    "type": 3
   },
   "seed": 80179,
   "version": 1,
   "versionNonce": 859726,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9499648",
   "type": "text",
   "x": 470,
   "y": 472.25,
   "width": 115.50000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 471284,
   "version": 1,
   "versionNonce": 281708,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "not scanned yet",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "not scanned yet",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7490238",
   "type": "rectangle",
   "x": 610,
   "y": 470,
   "width": 22,
   "height": 22,
   "angle": 0,
   "strokeColor": "#f08c00",
   "backgroundColor": "#ffec99",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": {
    "type": 3
   },
   "seed": 220031,
   "version": 1,
   "versionNonce": 961078,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4535107",
   "type": "text",
   "x": 640,
   "y": 472.25,
   "width": 38.5,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 78238,
   "version": 1,
   "versionNonce": 609718,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "pivot",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "pivot",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2515034",
   "type": "rectangle",
   "x": 190,
   "y": 510,
   "width": 560,
   "height": 50,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "#a5d8ff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": {
    "type": 3
   },
   "seed": 148626,
   "version": 1,
   "versionNonce": 783797,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9792363",
   "type": "text",
   "x": 219.74999999999997,
   "y": 517.5,
   "width": 500.50000000000006,
   "height": 35.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 274527,
   "version": 1,
   "versionNonce": 999021,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "invariant after each step: A[lo..i] <= pivot, A[i+1..j-1] > pivot\nrecurse on the green and red halves; the pivot never moves again",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "invariant after each step: A[lo..i] <= pivot, A[i+1..j-1] > pivot\nrecurse on the green and red halves; the pivot never moves again",
   "autoResize": true,
   "lineHeight": 1.25
  }
 ],
 "appState": {
  "gridSize": 20,
  "gridStep": 5,
  "gridModeEnabled": false,
  "viewBackgroundColor": "#fdf8f6"
 },
 "files": {}
}