1 12687dd9 2023-08-04 jrmu #reader(lib"read.ss""wxme")WXME0108 ## 
   2 12687dd9 2023-08-04 jrmu #|
   3 12687dd9 2023-08-04 jrmu    This file is in plt scheme editor format.
   4 12687dd9 2023-08-04 jrmu    Open this file in dr-scheme version 4.2 or later to read it.
   5 12687dd9 2023-08-04 jrmu 
   6 12687dd9 2023-08-04 jrmu    Most likely, it was created by saving a program in DrScheme,
   7 12687dd9 2023-08-04 jrmu    and it probably contains a program with non-text elements
   8 12687dd9 2023-08-04 jrmu    (such as images or comment boxes).
   9 12687dd9 2023-08-04 jrmu 
  10 12687dd9 2023-08-04 jrmu             http://www.plt-scheme.org
  11 12687dd9 2023-08-04 jrmu |#
  12 12687dd9 2023-08-04 jrmu  29 7 #"wxtext\0"
  13 12687dd9 2023-08-04 jrmu 3 1 6 #"wxtab\0"
  14 12687dd9 2023-08-04 jrmu 1 1 8 #"wxmedia\0"
  15 12687dd9 2023-08-04 jrmu 4 1 8 #"wximage\0"
  16 12687dd9 2023-08-04 jrmu 2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0"
  17 12687dd9 2023-08-04 jrmu 1 0 16 #"drscheme:number\0"
  18 12687dd9 2023-08-04 jrmu 3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0"
  19 12687dd9 2023-08-04 jrmu 1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0"
  20 12687dd9 2023-08-04 jrmu 1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0"
  21 12687dd9 2023-08-04 jrmu 0 0 19 #"drscheme:sexp-snip\0"
  22 12687dd9 2023-08-04 jrmu 0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0"
  23 12687dd9 2023-08-04 jrmu 1 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0"
  24 12687dd9 2023-08-04 jrmu 0 0 29 #"drscheme:bindings-snipclass%\0"
  25 12687dd9 2023-08-04 jrmu 1 0 25 #"(lib \"matrix.ss\" \"htdp\")\0"
  26 12687dd9 2023-08-04 jrmu 1 0 22 #"drscheme:lambda-snip%\0"
  27 12687dd9 2023-08-04 jrmu 1 0 56
  28 12687dd9 2023-08-04 jrmu #"(lib \"hrule-snip.ss\" \"macro-debugger\" \"syntax-browser\")\0"
  29 12687dd9 2023-08-04 jrmu 1 0 18 #"java-comment-box%\0"
  30 12687dd9 2023-08-04 jrmu 1 0 23 #"java-interactions-box%\0"
  31 12687dd9 2023-08-04 jrmu 1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0"
  32 12687dd9 2023-08-04 jrmu 1 0 26 #"drscheme:pict-value-snip%\0"
  33 12687dd9 2023-08-04 jrmu 0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0"
  34 12687dd9 2023-08-04 jrmu 2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0"
  35 12687dd9 2023-08-04 jrmu 1 0 18 #"drscheme:xml-snip\0"
  36 12687dd9 2023-08-04 jrmu 1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0"
  37 12687dd9 2023-08-04 jrmu 1 0 21 #"drscheme:scheme-snip\0"
  38 12687dd9 2023-08-04 jrmu 2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0"
  39 12687dd9 2023-08-04 jrmu 1 0 10 #"text-box%\0"
  40 12687dd9 2023-08-04 jrmu 1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0"
  41 12687dd9 2023-08-04 jrmu 1 0 15 #"test-case-box%\0"
  42 12687dd9 2023-08-04 jrmu 2 0 1 6 #"wxloc\0"
  43 12687dd9 2023-08-04 jrmu           0 0 80 0 1 #"\0"
  44 12687dd9 2023-08-04 jrmu 0 75 1 #"\0"
  45 12687dd9 2023-08-04 jrmu 0 12 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9
  46 12687dd9 2023-08-04 jrmu #"Standard\0"
  47 12687dd9 2023-08-04 jrmu 0 75 11 #" Monospace\0"
  48 12687dd9 2023-08-04 jrmu 0 16 90 -1 90 -1 2 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1
  49 12687dd9 2023-08-04 jrmu #"\0"
  50 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  51 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24
  52 12687dd9 2023-08-04 jrmu #"framework:default-color\0"
  53 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  54 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
  55 12687dd9 2023-08-04 jrmu #"\0"
  56 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  57 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15
  58 12687dd9 2023-08-04 jrmu #"text:ports out\0"
  59 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  60 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1
  61 12687dd9 2023-08-04 jrmu #"\0"
  62 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  63 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
  64 12687dd9 2023-08-04 jrmu -1 2 15 #"text:ports err\0"
  65 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  66 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1
  67 12687dd9 2023-08-04 jrmu -1 2 1 #"\0"
  68 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  69 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17
  70 12687dd9 2023-08-04 jrmu #"text:ports value\0"
  71 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  72 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1
  73 12687dd9 2023-08-04 jrmu #"\0"
  74 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  75 12687dd9 2023-08-04 jrmu 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
  76 12687dd9 2023-08-04 jrmu -1 2 27 #"Matching Parenthesis Style\0"
  77 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  78 12687dd9 2023-08-04 jrmu 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1
  79 12687dd9 2023-08-04 jrmu -1 2 1 #"\0"
  80 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  81 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37
  82 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:symbol\0"
  83 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  84 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38
  85 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:keyword\0"
  86 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  87 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
  88 12687dd9 2023-08-04 jrmu #"\0"
  89 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  90 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
  91 12687dd9 2023-08-04 jrmu 38 #"framework:syntax-color:scheme:comment\0"
  92 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  93 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1
  94 12687dd9 2023-08-04 jrmu #"\0"
  95 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  96 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37
  97 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:string\0"
  98 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
  99 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39
 100 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:constant\0"
 101 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 102 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1
 103 12687dd9 2023-08-04 jrmu #"\0"
 104 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 105 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42
 106 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:parenthesis\0"
 107 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 108 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1
 109 12687dd9 2023-08-04 jrmu #"\0"
 110 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 111 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36
 112 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:error\0"
 113 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 114 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1
 115 12687dd9 2023-08-04 jrmu #"\0"
 116 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 117 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36
 118 12687dd9 2023-08-04 jrmu #"framework:syntax-color:scheme:other\0"
 119 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 120 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
 121 12687dd9 2023-08-04 jrmu #"\0"
 122 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 123 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2
 124 12687dd9 2023-08-04 jrmu 38 #"drscheme:check-syntax:lexically-bound\0"
 125 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 126 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1
 127 12687dd9 2023-08-04 jrmu #"\0"
 128 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 129 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31
 130 12687dd9 2023-08-04 jrmu #"drscheme:check-syntax:imported\0"
 131 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 132 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 41
 133 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:block-comment\0"
 134 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 135 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
 136 12687dd9 2023-08-04 jrmu 35 #"profj:syntax-colors:scheme:keyword\0"
 137 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 138 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1
 139 12687dd9 2023-08-04 jrmu #"\0"
 140 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 141 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 37
 142 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:prim-type\0"
 143 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 144 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 38
 145 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:identifier\0"
 146 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 147 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1
 148 12687dd9 2023-08-04 jrmu #"\0"
 149 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 150 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 34
 151 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:string\0"
 152 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 153 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 35
 154 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:literal\0"
 155 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 156 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 35
 157 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:comment\0"
 158 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 159 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2
 160 12687dd9 2023-08-04 jrmu 33 #"profj:syntax-colors:scheme:error\0"
 161 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 162 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 35
 163 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:default\0"
 164 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 165 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 37
 166 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:uncovered\0"
 167 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 168 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 35
 169 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:covered\0"
 170 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 171 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 4 1
 172 12687dd9 2023-08-04 jrmu #"\0"
 173 12687dd9 2023-08-04 jrmu 0 70 1 #"\0"
 174 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
 175 12687dd9 2023-08-04 jrmu -1 -1 4 4 #"XML\0"
 176 12687dd9 2023-08-04 jrmu 0 70 1 #"\0"
 177 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
 178 12687dd9 2023-08-04 jrmu -1 -1 8 1 #"\0"
 179 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 180 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 8 24
 181 12687dd9 2023-08-04 jrmu #"drscheme:text:ports err\0"
 182 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 183 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 4 1
 184 12687dd9 2023-08-04 jrmu #"\0"
 185 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 186 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
 187 12687dd9 2023-08-04 jrmu -1 -1 4 1 #"\0"
 188 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 189 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
 190 12687dd9 2023-08-04 jrmu -1 4 1 #"\0"
 191 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 192 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1
 193 12687dd9 2023-08-04 jrmu -1 4 1 #"\0"
 194 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 195 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1
 196 12687dd9 2023-08-04 jrmu -1 2 1 #"\0"
 197 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 198 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0
 199 12687dd9 2023-08-04 jrmu -1 -1 2 1 #"\0"
 200 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 201 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1
 202 12687dd9 2023-08-04 jrmu -1 22 1 #"\0"
 203 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 204 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 15 1
 205 12687dd9 2023-08-04 jrmu #"\0"
 206 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 207 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 4 1
 208 12687dd9 2023-08-04 jrmu #"\0"
 209 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 210 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 14 1
 211 12687dd9 2023-08-04 jrmu #"\0"
 212 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 213 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 22 1
 214 12687dd9 2023-08-04 jrmu #"\0"
 215 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 216 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 15 1
 217 12687dd9 2023-08-04 jrmu #"\0"
 218 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 219 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 4 1
 220 12687dd9 2023-08-04 jrmu #"\0"
 221 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 222 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 14 1
 223 12687dd9 2023-08-04 jrmu #"\0"
 224 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 225 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 20 1
 226 12687dd9 2023-08-04 jrmu #"\0"
 227 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 228 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 17 1
 229 12687dd9 2023-08-04 jrmu #"\0"
 230 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 231 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 232 12687dd9 2023-08-04 jrmu 4 1 #"\0"
 233 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 234 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 235 12687dd9 2023-08-04 jrmu 22 1 #"\0"
 236 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 237 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 238 12687dd9 2023-08-04 jrmu 15 1 #"\0"
 239 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 240 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 241 12687dd9 2023-08-04 jrmu 14 1 #"\0"
 242 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 243 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 244 12687dd9 2023-08-04 jrmu 20 1 #"\0"
 245 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 246 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 247 12687dd9 2023-08-04 jrmu 17 1 #"\0"
 248 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 249 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 20 1
 250 12687dd9 2023-08-04 jrmu #"\0"
 251 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 252 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 4 1
 253 12687dd9 2023-08-04 jrmu #"\0"
 254 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 255 12687dd9 2023-08-04 jrmu 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 255 255 0 -1 -1 19
 256 12687dd9 2023-08-04 jrmu 1 #"\0"
 257 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 258 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 24 1
 259 12687dd9 2023-08-04 jrmu #"\0"
 260 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 261 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 19 1
 262 12687dd9 2023-08-04 jrmu #"\0"
 263 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 264 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 24 1
 265 12687dd9 2023-08-04 jrmu #"\0"
 266 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 267 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 19 1
 268 12687dd9 2023-08-04 jrmu #"\0"
 269 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 270 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 271 12687dd9 2023-08-04 jrmu 24 1 #"\0"
 272 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 273 12687dd9 2023-08-04 jrmu 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 255 255 255 -1 -1
 274 12687dd9 2023-08-04 jrmu 0 1 #"\0"
 275 12687dd9 2023-08-04 jrmu 0 75 11 #" Monospace\0"
 276 12687dd9 2023-08-04 jrmu 0.0 16 90 -1 90 -1 2 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
 277 12687dd9 2023-08-04 jrmu 255 255 1 -1 17 1 #"\0"
 278 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 279 12687dd9 2023-08-04 jrmu 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1
 280 12687dd9 2023-08-04 jrmu           0 823 0 4 3 85
 281 12687dd9 2023-08-04 jrmu (
 282 12687dd9 2023-08-04 jrmu  #";; The first three lines of this file were inserted by DrScheme. The"
 283 12687dd9 2023-08-04 jrmu  #"y record metadata"
 284 12687dd9 2023-08-04 jrmu ) 0 0 4 29 1 #"\n"
 285 12687dd9 2023-08-04 jrmu 0 0 4 3 85
 286 12687dd9 2023-08-04 jrmu (
 287 12687dd9 2023-08-04 jrmu  #";; about the language level of this file in a form that our tools ca"
 288 12687dd9 2023-08-04 jrmu  #"n easily process."
 289 12687dd9 2023-08-04 jrmu ) 0 0 4 29 1 #"\n"
 290 12687dd9 2023-08-04 jrmu 0 0 4 3 393
 291 12687dd9 2023-08-04 jrmu (
 292 12687dd9 2023-08-04 jrmu  #"#reader(lib \"htdp-intermediate-lambda-reader.ss\" \"lang\")((modnam"
 293 12687dd9 2023-08-04 jrmu  #"e |#27.3|) (read-case-sensitive #t) (teachpacks ((lib \"draw.ss\" \""
 294 12687dd9 2023-08-04 jrmu  #"teachpack\" \"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib"
 295 12687dd9 2023-08-04 jrmu  #" \"gui.ss\" \"teachpack\" \"htdp\"))) (htdp-settings #(#t constructo"
 296 12687dd9 2023-08-04 jrmu  #"r repeating-decimal #f #t none #f ((lib \"draw.ss\" \"teachpack\" \""
 297 12687dd9 2023-08-04 jrmu  #"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\" \""
 298 12687dd9 2023-08-04 jrmu  #"teachpack\" \"htdp\")))))"
 299 12687dd9 2023-08-04 jrmu ) 0 0 4 29 1 #"\n"
 300 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 301 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"A"
 302 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 303 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"table"
 304 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 305 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"is"
 306 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 307 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
 308 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 309 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"function"
 310 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 311 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"that"
 312 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 313 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"consumes"
 314 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 315 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"only"
 316 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 317 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"natural"
 318 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 319 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"numbers"
 320 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 321 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"between"
 322 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 323 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"0"
 324 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 325 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 326 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"inclusive"
 327 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #")"
 328 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 329 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"and"
 330 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 331 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"VL"
 332 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 333 12687dd9 2023-08-04 jrmu 0 0 17 3 33 #"(exclusive) and returns a number."
 334 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 335 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 336 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 337 12687dd9 2023-08-04 jrmu 0 0 17 3 32 #";Formally, a table is a function"
 338 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 339 12687dd9 2023-08-04 jrmu 0 0 17 3 37 #";g : N[>=0 and <= (- VL 1)] -> number"
 340 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 341 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 342 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 343 12687dd9 2023-08-04 jrmu 0 0 17 3 72
 344 12687dd9 2023-08-04 jrmu (
 345 12687dd9 2023-08-04 jrmu  #";The root of a table is the value x such that (g x) is the closest t"
 346 12687dd9 2023-08-04 jrmu  #"o 0."
 347 12687dd9 2023-08-04 jrmu ) 0 0 64 29 1 #"\n"
 348 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 349 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 350 12687dd9 2023-08-04 jrmu 0 0 17 3 40 #";find-root-linear : (N -> number) N -> N"
 351 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 352 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 353 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"Given"
 354 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 355 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"a-table"
 356 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 357 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 358 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"table"
 359 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #") "
 360 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"and"
 361 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 362 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"index"
 363 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 364 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"i"
 365 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 366 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 367 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"find"
 368 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 369 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 370 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 371 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"root"
 372 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 373 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"of"
 374 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 375 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
 376 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 377 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"table."
 378 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"  "
 379 12687dd9 2023-08-04 jrmu 0 0 17 3 16 #"find-root-linear"
 380 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 381 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"finds"
 382 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 383 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 384 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 385 12687dd9 2023-08-04 jrmu 0 0 17 3 48 #"root using structural induction (linear search)."
 386 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 387 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 388 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 389 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 390 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 391 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 392 12687dd9 2023-08-04 jrmu 0 0 14 3 16 #"find-root-linear"
 393 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 394 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 395 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 396 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 397 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 398 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 399 12687dd9 2023-08-04 jrmu 0 0 64 3 2 #"  "
 400 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 401 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 402 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 403 12687dd9 2023-08-04 jrmu 0 0 64 3 4 #"    "
 404 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 405 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"zero?"
 406 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 407 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 408 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 409 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 410 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 411 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
 412 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 413 12687dd9 2023-08-04 jrmu 0 0 64 3 4 #"    "
 414 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 415 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 416 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 417 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 418 12687dd9 2023-08-04 jrmu 0 0 15 3 5 #"local"
 419 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 420 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 421 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 422 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 423 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"a-table-i"
 424 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 425 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 426 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 427 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 428 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 429 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 430 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 431 12687dd9 2023-08-04 jrmu 0 0 64 3 18 #"                  "
 432 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 433 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 434 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 435 12687dd9 2023-08-04 jrmu 0 0 14 3 12 #"root-of-rest"
 436 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 437 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 438 12687dd9 2023-08-04 jrmu 0 0 14 3 16 #"find-root-linear"
 439 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 440 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 441 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 442 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 443 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"sub1"
 444 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 445 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 446 12687dd9 2023-08-04 jrmu 0 0 22 3 4 #"))))"
 447 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 448 12687dd9 2023-08-04 jrmu 0 0 64 3 12 #"            "
 449 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 450 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 451 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 452 12687dd9 2023-08-04 jrmu 0 0 64 3 14 #"              "
 453 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 454 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
 455 12687dd9 2023-08-04 jrmu 0 0 67 3 1 #" "
 456 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 457 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 458 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 459 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"a-table-i"
 460 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 461 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 462 12687dd9 2023-08-04 jrmu 0 0 64 3 19 #"                   "
 463 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 464 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 465 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 466 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 467 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 468 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 469 12687dd9 2023-08-04 jrmu 0 0 14 3 12 #"root-of-rest"
 470 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 471 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 472 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"i"
 473 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
 474 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 475 12687dd9 2023-08-04 jrmu 0 0 64 3 14 #"              "
 476 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 477 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 478 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 479 12687dd9 2023-08-04 jrmu 0 0 14 3 12 #"root-of-rest"
 480 12687dd9 2023-08-04 jrmu 0 0 22 3 6 #"]))]))"
 481 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 482 12687dd9 2023-08-04 jrmu 0 0 64 3 0 #""
 483 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 484 12687dd9 2023-08-04 jrmu 0 0 64 3 0 #""
 485 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 486 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 487 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 488 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 489 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"t"
 490 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 491 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"x"
 492 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 493 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 494 12687dd9 2023-08-04 jrmu 0 0 64 3 2 #"  "
 495 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 496 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"+"
 497 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 498 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 499 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"+"
 500 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 501 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 502 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"*"
 503 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 504 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"3"
 505 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 506 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 507 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"sin"
 508 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 509 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"x"
 510 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 511 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 512 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 513 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"*"
 514 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 515 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"5"
 516 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 517 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"x"
 518 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 519 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 520 12687dd9 2023-08-04 jrmu 0 0 64 3 5 #"     "
 521 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 522 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"*"
 523 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 524 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"-1"
 525 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 526 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"x"
 527 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 528 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 529 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"sqrt"
 530 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 531 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"x"
 532 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 533 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 534 12687dd9 2023-08-04 jrmu 0 0 64 3 5 #"     "
 535 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"3"
 536 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 537 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 538 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 539 12687dd9 2023-08-04 jrmu 0 0 17 3 19 #";find-root-discrete"
 540 12687dd9 2023-08-04 jrmu 0 0 17 3 25 #" : (N -> number) N N -> N"
 541 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 542 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #";Given"
 543 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 544 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"a-table"
 545 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 546 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 547 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"left"
 548 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 549 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 550 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"and"
 551 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 552 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"right"
 553 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 554 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 555 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"find"
 556 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 557 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
 558 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 559 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"root"
 560 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 561 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"of"
 562 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 563 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 564 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 565 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"table"
 566 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 567 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"using"
 568 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 569 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"binary"
 570 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #" search"
 571 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 572 12687dd9 2023-08-04 jrmu 0 0 17 3 10 #"generative"
 573 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 574 12687dd9 2023-08-04 jrmu 0 0 17 3 83
 575 12687dd9 2023-08-04 jrmu (
 576 12687dd9 2023-08-04 jrmu  #"recursion.  If there are multiple roots, only the root closest to ze"
 577 12687dd9 2023-08-04 jrmu  #"ro is returned."
 578 12687dd9 2023-08-04 jrmu ) 0 0 64 29 1 #"\n"
 579 12687dd9 2023-08-04 jrmu 0 0 17 3 12 #";Termination"
 580 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 581 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"Argument:"
 582 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 583 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"The"
 584 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 585 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"interval"
 586 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 587 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"of"
 588 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 589 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #"find-root-discrete"
 590 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 591 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"decreases"
 592 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 593 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"by"
 594 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #" half"
 595 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 596 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"each"
 597 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 598 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"time"
 599 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 600 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"until"
 601 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 602 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 603 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 604 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"interval"
 605 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 606 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"size"
 607 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 608 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"is"
 609 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 610 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"only"
 611 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 612 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"1."
 613 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"  "
 614 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"Once"
 615 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 616 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"this"
 617 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 618 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"occurs"
 619 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 620 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 621 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #"find-root-discrete"
 622 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 623 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"either"
 624 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 625 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"returns"
 626 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 627 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 628 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 629 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"left"
 630 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 631 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"or"
 632 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 633 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 634 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 635 12687dd9 2023-08-04 jrmu 0 0 17 3 67
 636 12687dd9 2023-08-04 jrmu #"right index as the root.  Hence, find-root-discrete must terminate."
 637 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 638 12687dd9 2023-08-04 jrmu 0 0 17 3 17 #";midpoint : Given"
 639 12687dd9 2023-08-04 jrmu 0 0 17 3 71
 640 12687dd9 2023-08-04 jrmu (
 641 12687dd9 2023-08-04 jrmu  #" left and right, determine the midpoint rounded to the nearest integ"
 642 12687dd9 2023-08-04 jrmu  #"er."
 643 12687dd9 2023-08-04 jrmu ) 0 0 64 29 1 #"\n"
 644 12687dd9 2023-08-04 jrmu 0 0 17 3 44 #";No assumption about a-table being monotonic"
 645 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 646 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
 647 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 648 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 649 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 650 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 651 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 652 12687dd9 2023-08-04 jrmu 0 0 14 3 19 #"find-root-discrete2"
 653 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 654 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 655 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 656 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 657 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 658 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 659 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 660 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 661 12687dd9 2023-08-04 jrmu 0 0 63 3 2 #"  "
 662 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 663 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 664 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 665 12687dd9 2023-08-04 jrmu 0 0 63 3 4 #"    "
 666 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 667 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"="
 668 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 669 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 670 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"-"
 671 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 672 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 673 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 674 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 675 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 676 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 677 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"1"
 678 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 679 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 680 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
 681 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 682 12687dd9 2023-08-04 jrmu 0 0 63 3 5 #"     "
 683 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 684 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 685 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 686 12687dd9 2023-08-04 jrmu 0 0 63 3 7 #"       "
 687 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 688 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
 689 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 690 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 691 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 692 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 693 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 694 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 695 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 696 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 697 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 698 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 699 12687dd9 2023-08-04 jrmu 0 0 63 3 12 #"            "
 700 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 701 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 702 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 703 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 704 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 705 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 706 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 707 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 708 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 709 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 710 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
 711 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 712 12687dd9 2023-08-04 jrmu 0 0 63 3 7 #"       "
 713 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 714 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 715 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 716 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 717 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #"])]"
 718 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 719 12687dd9 2023-08-04 jrmu 0 0 63 3 4 #"    "
 720 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 721 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 722 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 723 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 724 12687dd9 2023-08-04 jrmu 0 0 15 3 5 #"local"
 725 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 726 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 727 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 728 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 729 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
 730 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 731 12687dd9 2023-08-04 jrmu 0 0 63 3 20 #"                    "
 732 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 733 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"round"
 734 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 735 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 736 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"+"
 737 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 738 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 739 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 740 12687dd9 2023-08-04 jrmu 0 0 63 3 30 #"                              "
 741 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 742 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"/"
 743 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 744 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 745 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"-"
 746 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 747 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 748 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 749 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 750 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 751 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 752 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"2"
 753 12687dd9 2023-08-04 jrmu 0 0 22 3 4 #"))))"
 754 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 755 12687dd9 2023-08-04 jrmu 0 0 63 3 18 #"                  "
 756 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 757 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 758 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 759 12687dd9 2023-08-04 jrmu 0 0 14 3 14 #"left-side-root"
 760 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 761 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 762 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
 763 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 764 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 765 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 766 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 767 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 768 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
 769 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 770 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 771 12687dd9 2023-08-04 jrmu 0 0 63 3 18 #"                  "
 772 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 773 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 774 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 775 12687dd9 2023-08-04 jrmu 0 0 14 3 15 #"right-side-root"
 776 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 777 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 778 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
 779 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 780 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 781 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 782 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
 783 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 784 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 785 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 786 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 787 12687dd9 2023-08-04 jrmu 0 0 63 3 12 #"            "
 788 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 789 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 790 12687dd9 2023-08-04 jrmu 0 0 63 3 14 #"              "
 791 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 792 12687dd9 2023-08-04 jrmu 0 0 63 3 14 #"              "
 793 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 794 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
 795 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 796 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 797 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 798 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 799 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 800 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 801 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 802 12687dd9 2023-08-04 jrmu 0 0 14 3 14 #"left-side-root"
 803 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 804 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 805 12687dd9 2023-08-04 jrmu 0 0 63 3 19 #"                   "
 806 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 807 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
 808 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 809 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 810 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 811 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 812 12687dd9 2023-08-04 jrmu 0 0 14 3 15 #"right-side-root"
 813 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 814 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 815 12687dd9 2023-08-04 jrmu 0 0 14 3 14 #"left-side-root"
 816 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
 817 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 818 12687dd9 2023-08-04 jrmu 0 0 63 3 14 #"              "
 819 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 820 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 821 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
 822 12687dd9 2023-08-04 jrmu 0 0 14 3 15 #"right-side-root"
 823 12687dd9 2023-08-04 jrmu 0 0 22 3 6 #"]))]))"
 824 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 825 12687dd9 2023-08-04 jrmu 0 0 63 29 1 #"\n"
 826 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 827 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 828 12687dd9 2023-08-04 jrmu 0 0 17 3 44 #";find-root-discrete : (N -> number) N N -> N"
 829 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 830 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #";Given"
 831 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 832 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"a-table"
 833 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 834 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 835 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"left"
 836 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 837 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 838 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"and"
 839 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 840 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"right"
 841 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 842 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 843 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"find"
 844 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 845 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
 846 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 847 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"root "
 848 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"of"
 849 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 850 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 851 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 852 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"table"
 853 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 854 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"using"
 855 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 856 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"binary"
 857 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #" search"
 858 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 859 12687dd9 2023-08-04 jrmu 0 0 17 3 10 #"generative"
 860 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 861 12687dd9 2023-08-04 jrmu 0 0 17 3 83
 862 12687dd9 2023-08-04 jrmu (
 863 12687dd9 2023-08-04 jrmu  #"recursion.  If there are multiple roots, only the root closest to ze"
 864 12687dd9 2023-08-04 jrmu  #"ro is returned."
 865 12687dd9 2023-08-04 jrmu ) 0 0 77 29 1 #"\n"
 866 12687dd9 2023-08-04 jrmu 0 0 17 3 12 #";Termination"
 867 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 868 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"Argument:"
 869 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 870 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"The"
 871 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 872 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"interval"
 873 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 874 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"of"
 875 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 876 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #"find-root-discrete"
 877 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 878 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"decreases"
 879 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 880 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"by"
 881 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #" half"
 882 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 883 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"each"
 884 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 885 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"time"
 886 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 887 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"until"
 888 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 889 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 890 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 891 12687dd9 2023-08-04 jrmu 0 0 17 3 8 #"interval"
 892 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 893 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"size"
 894 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 895 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"is"
 896 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 897 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"only"
 898 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 899 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"1."
 900 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"  "
 901 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"Once"
 902 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 903 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"this"
 904 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 905 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"occurs"
 906 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 907 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 908 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #"find-root-discrete"
 909 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 910 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"either"
 911 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 912 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #"returns"
 913 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 914 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 915 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 916 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"left"
 917 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 918 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"or"
 919 12687dd9 2023-08-04 jrmu 0 0 17 11 1 #" "
 920 12687dd9 2023-08-04 jrmu 0 0 17 3 71
 921 12687dd9 2023-08-04 jrmu (
 922 12687dd9 2023-08-04 jrmu  #"the right index as the root.  Hence, find-root-discrete must termina"
 923 12687dd9 2023-08-04 jrmu  #"te."
 924 12687dd9 2023-08-04 jrmu ) 0 0 77 29 1 #"\n"
 925 12687dd9 2023-08-04 jrmu 0 0 17 3 88
 926 12687dd9 2023-08-04 jrmu (
 927 12687dd9 2023-08-04 jrmu  #";midpoint : Given left and right, determine the midpoint rounded to "
 928 12687dd9 2023-08-04 jrmu  #"the nearest integer."
 929 12687dd9 2023-08-04 jrmu ) 0 0 77 29 1 #"\n"
 930 12687dd9 2023-08-04 jrmu 0 0 17 3 70
 931 12687dd9 2023-08-04 jrmu (
 932 12687dd9 2023-08-04 jrmu  #";ASSUMPTION : a-table is monotonic increasing or monotonic decreasin"
 933 12687dd9 2023-08-04 jrmu  #"g."
 934 12687dd9 2023-08-04 jrmu ) 0 0 77 29 1 #"\n"
 935 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 936 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 937 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 938 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 939 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 940 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
 941 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 942 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
 943 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 944 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 945 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 946 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 947 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 948 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 949 12687dd9 2023-08-04 jrmu 0 0 77 3 2 #"  "
 950 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 951 12687dd9 2023-08-04 jrmu 0 0 15 3 5 #"local"
 952 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 953 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 954 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 955 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 956 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
 957 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 958 12687dd9 2023-08-04 jrmu 0 0 77 3 12 #"            "
 959 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 960 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"round"
 961 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 962 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 963 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"+"
 964 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 965 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 966 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 967 12687dd9 2023-08-04 jrmu 0 0 77 3 22 #"                      "
 968 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 969 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"/"
 970 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 971 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 972 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"-"
 973 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 974 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 975 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 976 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 977 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 978 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 979 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"2"
 980 12687dd9 2023-08-04 jrmu 0 0 22 3 5 #")))))"
 981 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 982 12687dd9 2023-08-04 jrmu 0 0 77 3 4 #"    "
 983 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 984 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 985 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
 986 12687dd9 2023-08-04 jrmu 0 0 77 3 6 #"      "
 987 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 988 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"="
 989 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 990 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 991 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"-"
 992 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 993 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
 994 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 995 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
 996 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 997 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
 998 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"1"
 999 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
1000 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1001 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1002 12687dd9 2023-08-04 jrmu 0 0 77 3 7 #"       "
1003 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1004 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
1005 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1006 12687dd9 2023-08-04 jrmu 0 0 77 3 9 #"         "
1007 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
1008 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
1009 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1010 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1011 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
1012 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1013 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1014 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1015 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1016 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
1017 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1018 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1019 12687dd9 2023-08-04 jrmu 0 0 77 3 14 #"              "
1020 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1021 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"abs"
1022 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1023 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1024 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1025 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1026 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
1027 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
1028 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1029 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
1030 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
1031 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1032 12687dd9 2023-08-04 jrmu 0 0 77 3 9 #"         "
1033 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
1034 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
1035 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1036 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
1037 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #"])]"
1038 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1039 12687dd9 2023-08-04 jrmu 0 0 77 3 6 #"      "
1040 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
1041 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"or"
1042 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1043 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1044 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
1045 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1046 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1047 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1048 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1049 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
1050 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
1051 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1052 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"0"
1053 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1054 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1055 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1056 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1057 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
1058 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1059 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1060 12687dd9 2023-08-04 jrmu 0 0 77 3 11 #"           "
1061 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1062 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"<="
1063 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1064 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1065 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1066 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1067 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
1068 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
1069 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1070 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"0"
1071 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1072 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1073 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1074 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1075 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
1076 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
1077 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1078 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1079 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
1080 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1081 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1082 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1083 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"left"
1084 12687dd9 2023-08-04 jrmu 0 0 64 11 1 #" "
1085 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
1086 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
1087 12687dd9 2023-08-04 jrmu 0 0 77 29 1 #"\n"
1088 12687dd9 2023-08-04 jrmu 0 0 77 3 6 #"      "
1089 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
1090 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
1091 12687dd9 2023-08-04 jrmu 0 0 77 3 1 #" "
1092 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1093 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
1094 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1095 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"a-table"
1096 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1097 12687dd9 2023-08-04 jrmu 0 0 14 3 8 #"midpoint"
1098 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1099 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"right"
1100 12687dd9 2023-08-04 jrmu 0 0 22 3 5 #")])))"
1101 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
1102 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
1103 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1104 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"time"
1105 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1106 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1107 12687dd9 2023-08-04 jrmu 0 0 14 3 16 #"find-root-linear"
1108 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1109 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"t"
1110 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1111 12687dd9 2023-08-04 jrmu 0 0 20 3 5 #"30000"
1112 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1113 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
1114 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1115 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"time"
1116 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
1117 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1118 12687dd9 2023-08-04 jrmu 0 0 14 3 19 #"find-root-discrete2"
1119 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
1120 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"t"
1121 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
1122 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"0"
1123 12687dd9 2023-08-04 jrmu 0 0 63 3 1 #" "
1124 12687dd9 2023-08-04 jrmu 0 0 20 3 5 #"30000"
1125 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1126 12687dd9 2023-08-04 jrmu 0 0 64 29 1 #"\n"
1127 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1128 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"time"
1129 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1130 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1131 12687dd9 2023-08-04 jrmu 0 0 14 3 18 #"find-root-discrete"
1132 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1133 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"t"
1134 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1135 12687dd9 2023-08-04 jrmu 0 0 20 3 1 #"0"
1136 12687dd9 2023-08-04 jrmu 0 0 64 3 1 #" "
1137 12687dd9 2023-08-04 jrmu 0 0 20 3 5 #"30000"
1138 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1139 12687dd9 2023-08-04 jrmu 0           0