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 78 0 1 #"\0"
  44 12687dd9 2023-08-04 jrmu 0 75 1 #"\0"
  45 12687dd9 2023-08-04 jrmu 0 10 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 12 #"Courier New\0"
  48 12687dd9 2023-08-04 jrmu 0 9 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 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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 1
 133 12687dd9 2023-08-04 jrmu #"\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 41 #"profj:syntax-colors:scheme:block-comment\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 194 116 31 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 0 0 0 0 0 0 -1 -1 2 35
 142 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:keyword\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 0 0 0 0 0 0 -1 -1 2 1
 145 12687dd9 2023-08-04 jrmu #"\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 139 0 139 0 0 0 -1 -1 2 37
 148 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:prim-type\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 139 0 139 0 0 0 -1 -1 2 1
 151 12687dd9 2023-08-04 jrmu #"\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 38 38 128 0 0 0 -1 -1 2 38
 154 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:identifier\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 38 38 128 0 0 0 -1 -1 2 1
 157 12687dd9 2023-08-04 jrmu #"\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 34 139 34 0 0 0 -1 -1 2 34
 160 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:string\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 34 139 34 0 0 0 -1 -1 2 35
 163 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:literal\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 34 139 34 0 0 0 -1 -1 2 35
 166 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:comment\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 194 116 31 0 0 0 -1 -1 2 1
 169 12687dd9 2023-08-04 jrmu #"\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 255 0 0 0 0 0 -1 -1 2 33
 172 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:error\0"
 173 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 174 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
 175 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:default\0"
 176 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 177 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
 178 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:uncovered\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 0 0 0 0 0 0 -1 -1 2 35
 181 12687dd9 2023-08-04 jrmu #"profj:syntax-colors:scheme:covered\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 139 0 139 0 0 0 -1 -1 4 1
 184 12687dd9 2023-08-04 jrmu #"\0"
 185 12687dd9 2023-08-04 jrmu 0 70 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 4 #"XML\0"
 188 12687dd9 2023-08-04 jrmu 0 70 1 #"\0"
 189 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
 190 12687dd9 2023-08-04 jrmu -1 -1 8 1 #"\0"
 191 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 192 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
 193 12687dd9 2023-08-04 jrmu #"drscheme:text:ports err\0"
 194 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 195 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
 196 12687dd9 2023-08-04 jrmu #"\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 4 1 #"\0"
 200 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 201 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
 202 12687dd9 2023-08-04 jrmu -1 4 1 #"\0"
 203 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 204 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
 205 12687dd9 2023-08-04 jrmu -1 4 1 #"\0"
 206 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 207 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
 208 12687dd9 2023-08-04 jrmu -1 2 1 #"\0"
 209 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 210 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
 211 12687dd9 2023-08-04 jrmu -1 -1 2 1 #"\0"
 212 12687dd9 2023-08-04 jrmu 0 71 1 #"\0"
 213 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
 214 12687dd9 2023-08-04 jrmu -1 0 1 #"\0"
 215 12687dd9 2023-08-04 jrmu 0 75 12 #"Courier New\0"
 216 12687dd9 2023-08-04 jrmu 0.0 9 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 255
 217 12687dd9 2023-08-04 jrmu 255 1 -1 22 1 #"\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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 15 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 4 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 14 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 22 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 -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
 232 12687dd9 2023-08-04 jrmu #"\0"
 233 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 234 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
 235 12687dd9 2023-08-04 jrmu #"\0"
 236 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 237 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
 238 12687dd9 2023-08-04 jrmu #"\0"
 239 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 240 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
 241 12687dd9 2023-08-04 jrmu #"\0"
 242 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 243 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
 244 12687dd9 2023-08-04 jrmu #"\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 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
 250 12687dd9 2023-08-04 jrmu 22 1 #"\0"
 251 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 252 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
 253 12687dd9 2023-08-04 jrmu 15 1 #"\0"
 254 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 255 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
 256 12687dd9 2023-08-04 jrmu 14 1 #"\0"
 257 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 258 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
 259 12687dd9 2023-08-04 jrmu 20 1 #"\0"
 260 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 261 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
 262 12687dd9 2023-08-04 jrmu 17 1 #"\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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 17 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 20 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 -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 0 1
 271 12687dd9 2023-08-04 jrmu #"\0"
 272 12687dd9 2023-08-04 jrmu 0 -1 1 #"\0"
 273 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 200 0 0 0 0 0 -1 -1
 274 12687dd9 2023-08-04 jrmu           0 760 0 17 3 85
 275 12687dd9 2023-08-04 jrmu (
 276 12687dd9 2023-08-04 jrmu  #";; The first three lines of this file were inserted by DrScheme. The"
 277 12687dd9 2023-08-04 jrmu  #"y record metadata"
 278 12687dd9 2023-08-04 jrmu ) 0 0 68 29 1 #"\n"
 279 12687dd9 2023-08-04 jrmu 0 0 17 3 85
 280 12687dd9 2023-08-04 jrmu (
 281 12687dd9 2023-08-04 jrmu  #";; about the language level of this file in a form that our tools ca"
 282 12687dd9 2023-08-04 jrmu  #"n easily process."
 283 12687dd9 2023-08-04 jrmu ) 0 0 68 29 1 #"\n"
 284 12687dd9 2023-08-04 jrmu 0 0 24 3 7 #"#reader"
 285 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 286 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"lib"
 287 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 288 12687dd9 2023-08-04 jrmu 0 0 19 3 29 #"\"htdp-intermediate-reader.ss\""
 289 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 290 12687dd9 2023-08-04 jrmu 0 0 19 3 6 #"\"lang\""
 291 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")(("
 292 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"modname"
 293 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 294 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"|19|"
 295 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 296 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 297 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 298 12687dd9 2023-08-04 jrmu 0 0 14 3 19 #"read-case-sensitive"
 299 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 300 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"#t"
 301 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 302 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 303 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 304 12687dd9 2023-08-04 jrmu 0 0 14 3 10 #"teachpacks"
 305 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 306 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 307 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"lib"
 308 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 309 12687dd9 2023-08-04 jrmu 0 0 19 3 9 #"\"draw.ss\""
 310 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 311 12687dd9 2023-08-04 jrmu 0 0 19 3 11 #"\"teachpack\""
 312 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 313 12687dd9 2023-08-04 jrmu 0 0 19 3 6 #"\"htdp\""
 314 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 315 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 316 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 317 12687dd9 2023-08-04 jrmu 0 0 14 3 13 #"htdp-settings"
 318 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 319 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"#("
 320 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"#t"
 321 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 322 12687dd9 2023-08-04 jrmu 0 0 14 3 11 #"constructor"
 323 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 324 12687dd9 2023-08-04 jrmu 0 0 14 3 17 #"repeating-decimal"
 325 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 326 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"#f"
 327 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 328 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"#t"
 329 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 330 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"none"
 331 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 332 12687dd9 2023-08-04 jrmu 0 0 20 3 2 #"#f"
 333 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 334 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 335 12687dd9 2023-08-04 jrmu 0 0 14 3 3 #"lib"
 336 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 337 12687dd9 2023-08-04 jrmu 0 0 19 3 9 #"\"draw.ss\""
 338 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 339 12687dd9 2023-08-04 jrmu 0 0 19 3 11 #"\"teachpack\""
 340 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 341 12687dd9 2023-08-04 jrmu 0 0 19 3 6 #"\"htdp\""
 342 12687dd9 2023-08-04 jrmu 0 0 22 3 5 #")))))"
 343 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 344 12687dd9 2023-08-04 jrmu 0 0 17 3 27 #";; mini : nelon  ->  number"
 345 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 346 12687dd9 2023-08-04 jrmu 0 0 17 3 35 #";; to determine the smallest number"
 347 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 348 12687dd9 2023-08-04 jrmu 0 0 17 3 10 #";; on alon"
 349 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 350 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 351 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 352 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 353 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 354 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"mini"
 355 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 356 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 357 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 358 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 359 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 360 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 361 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 362 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 363 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 364 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 365 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"empty?"
 366 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 367 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 368 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 369 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 370 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 371 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 372 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 373 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 374 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 375 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 376 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 377 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 378 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 379 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 380 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 381 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 382 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 383 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 384 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 385 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 386 12687dd9 2023-08-04 jrmu 0 0 68 3 12 #"            "
 387 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 388 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"<"
 389 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 390 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 391 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 392 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 393 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 394 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 395 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 396 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 397 12687dd9 2023-08-04 jrmu 0 0 68 3 16 #"                "
 398 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 399 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"mini"
 400 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 401 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 402 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 403 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 404 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 405 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 406 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 407 12687dd9 2023-08-04 jrmu 0 0 68 3 13 #"             "
 408 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 409 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 410 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 411 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 412 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 413 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 414 12687dd9 2023-08-04 jrmu 0 0 68 3 12 #"            "
 415 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 416 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 417 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 418 12687dd9 2023-08-04 jrmu 0 0 68 3 13 #"             "
 419 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 420 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"mini"
 421 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 422 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 423 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 424 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 425 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 426 12687dd9 2023-08-04 jrmu 0 0 22 3 7 #"))])]))"
 427 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 428 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 429 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 430 12687dd9 2023-08-04 jrmu 0 0 17 3 27 #";; maxi : nelon  ->  number"
 431 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 432 12687dd9 2023-08-04 jrmu 0 0 17 3 34 #";; to determine the largest number"
 433 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 434 12687dd9 2023-08-04 jrmu 0 0 17 3 10 #";; on alon"
 435 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 436 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 437 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 438 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 439 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 440 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"maxi"
 441 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 442 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 443 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 444 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 445 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 446 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 447 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 448 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 449 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 450 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 451 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"empty?"
 452 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 453 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 454 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 455 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 456 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 457 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 458 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 459 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 460 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 461 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 462 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 463 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 464 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 465 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 466 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 467 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 468 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 469 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 470 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 471 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 472 12687dd9 2023-08-04 jrmu 0 0 68 3 12 #"            "
 473 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 474 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #">"
 475 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 476 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 477 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 478 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 479 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 480 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 481 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 482 12687dd9 2023-08-04 jrmu 0 0 68 3 16 #"                "
 483 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 484 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"maxi"
 485 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 486 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 487 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 488 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 489 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 490 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 491 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 492 12687dd9 2023-08-04 jrmu 0 0 68 3 13 #"             "
 493 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 494 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 495 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 496 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 497 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 498 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 499 12687dd9 2023-08-04 jrmu 0 0 68 3 12 #"            "
 500 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 501 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 502 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 503 12687dd9 2023-08-04 jrmu 0 0 68 3 13 #"             "
 504 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 505 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"maxi"
 506 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 507 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 508 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 509 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 510 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 511 12687dd9 2023-08-04 jrmu 0 0 22 3 7 #"))])]))"
 512 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 513 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 514 12687dd9 2023-08-04 jrmu 0 0 17 3 39 #";A non-empty-list-of-numbers (nelon) is"
 515 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 516 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #";1. (cons n empty)"
 517 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 518 12687dd9 2023-08-04 jrmu 0 0 17 3 15 #";2. (cons n ne)"
 519 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 520 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 521 12687dd9 2023-08-04 jrmu 0 0 17 3 66
 522 12687dd9 2023-08-04 jrmu #"where n is a number and ne is a non-empty-list-of-numbers (nelon)."
 523 12687dd9 2023-08-04 jrmu 0 0 72 29 1 #"\n"
 524 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 525 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 526 12687dd9 2023-08-04 jrmu 0 0 17 3 36 #";extrema : predicate nelon -> number"
 527 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 528 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 529 12687dd9 2023-08-04 jrmu 0 0 17 3 79
 530 12687dd9 2023-08-04 jrmu (
 531 12687dd9 2023-08-04 jrmu  #"Given predicate and a-lon, return the extreme value depending on the"
 532 12687dd9 2023-08-04 jrmu  #" predicate."
 533 12687dd9 2023-08-04 jrmu ) 0 0 68 29 1 #"\n"
 534 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 535 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 536 12687dd9 2023-08-04 jrmu 0 0 17 3 16 #"pick-interesting"
 537 12687dd9 2023-08-04 jrmu 0 0 17 3 28 #" : predicate list-of-numbers"
 538 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 539 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
 540 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"Given"
 541 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 542 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #"predicate"
 543 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 544 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"and"
 545 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 546 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"a-lon"
 547 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 548 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 549 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"pick"
 550 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 551 12687dd9 2023-08-04 jrmu 0 0 17 3 3 #"the"
 552 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 553 12687dd9 2023-08-04 jrmu 0 0 17 3 11 #"interesting"
 554 12687dd9 2023-08-04 jrmu 0 0 17 3 18 #" (extreme) number."
 555 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 556 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 557 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 558 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 559 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 560 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 561 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"extrema"
 562 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 563 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 564 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 565 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 566 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 567 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 568 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 569 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 570 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 571 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 572 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 573 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 574 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"empty?"
 575 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 576 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 577 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 578 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 579 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 580 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 581 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 582 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 583 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 584 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 585 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 586 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 587 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 588 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 589 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 590 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 591 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 592 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 593 12687dd9 2023-08-04 jrmu 0 0 15 3 5 #"local"
 594 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 595 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 596 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 597 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 598 12687dd9 2023-08-04 jrmu 0 0 14 3 17 #"extrema-recursion"
 599 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 600 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 601 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"extrema"
 602 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 603 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 604 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 605 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 606 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 607 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 608 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 609 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 610 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 611 12687dd9 2023-08-04 jrmu 0 0 68 3 18 #"                  "
 612 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 613 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 614 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 615 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 616 12687dd9 2023-08-04 jrmu 0 0 14 3 16 #"pick-interesting"
 617 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 618 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 619 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 620 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 621 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 622 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 623 12687dd9 2023-08-04 jrmu 0 0 68 3 20 #"                    "
 624 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 625 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 626 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 627 12687dd9 2023-08-04 jrmu 0 0 68 3 22 #"                      "
 628 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 629 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 630 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 631 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 632 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 633 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 634 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 635 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 636 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 637 12687dd9 2023-08-04 jrmu 0 0 14 3 17 #"extrema-recursion"
 638 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 639 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 640 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 641 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 642 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 643 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 644 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 645 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 646 12687dd9 2023-08-04 jrmu 0 0 68 3 22 #"                      "
 647 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 648 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 649 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 650 12687dd9 2023-08-04 jrmu 0 0 14 3 17 #"extrema-recursion"
 651 12687dd9 2023-08-04 jrmu 0 0 22 3 4 #"])))"
 652 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 653 12687dd9 2023-08-04 jrmu 0 0 68 3 12 #"            "
 654 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 655 12687dd9 2023-08-04 jrmu 0 0 14 3 16 #"pick-interesting"
 656 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 657 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 658 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 659 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 660 12687dd9 2023-08-04 jrmu 0 0 22 3 5 #"))]))"
 661 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 662 12687dd9 2023-08-04 jrmu 0 0 72 3 0 #""
 663 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 664 12687dd9 2023-08-04 jrmu 0 0 17 3 24 #";mini1 : nelon -> number"
 665 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 666 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 667 12687dd9 2023-08-04 jrmu 0 0 17 3 40 #";Given a-lon, returns the minimum value."
 668 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 669 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 670 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 671 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 672 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 673 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 674 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"mini1"
 675 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 676 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 677 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 678 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 679 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 680 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 681 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"extrema"
 682 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 683 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"<"
 684 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 685 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 686 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 687 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 688 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 689 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 690 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 691 12687dd9 2023-08-04 jrmu 0 0 17 3 24 #";maxi1 : nelon -> number"
 692 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 693 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 694 12687dd9 2023-08-04 jrmu 0 0 17 3 40 #";Given a-lon, returns the maximum value."
 695 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 696 12687dd9 2023-08-04 jrmu 0 0 68 3 0 #""
 697 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 698 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 699 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 700 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 701 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"maxi1"
 702 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 703 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 704 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 705 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 706 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 707 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 708 12687dd9 2023-08-04 jrmu 0 0 14 3 7 #"extrema"
 709 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 710 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #">"
 711 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 712 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"a-lon"
 713 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 714 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 715 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 716 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #";("
 717 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"time"
 718 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 719 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 720 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"mini1"
 721 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 722 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 723 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"list"
 724 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 725 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"20"
 726 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 727 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"19"
 728 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 729 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"18"
 730 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 731 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"17"
 732 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 733 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"16"
 734 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 735 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"15"
 736 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 737 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"14"
 738 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 739 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"13"
 740 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 741 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"12"
 742 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 743 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"11"
 744 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 745 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"10"
 746 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 747 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"9"
 748 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 749 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"8"
 750 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 751 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"7"
 752 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 753 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"6"
 754 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 755 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"5"
 756 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 757 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"4"
 758 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 759 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"3"
 760 12687dd9 2023-08-04 jrmu 0 0 17 3 7 #" 2 1)))"
 761 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 762 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #";("
 763 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"time"
 764 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 765 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 766 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"maxi1"
 767 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 768 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"("
 769 12687dd9 2023-08-04 jrmu 0 0 17 3 4 #"list"
 770 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 771 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"1"
 772 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 773 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"2"
 774 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 775 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"3"
 776 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 777 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"4"
 778 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 779 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"5"
 780 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 781 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"6"
 782 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 783 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"7"
 784 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 785 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"8"
 786 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 787 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"9"
 788 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 789 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"10"
 790 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 791 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"11"
 792 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 793 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"12"
 794 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 795 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"13"
 796 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 797 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"14"
 798 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 799 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"15"
 800 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 801 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"16"
 802 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 803 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"17"
 804 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 805 12687dd9 2023-08-04 jrmu 0 0 17 3 2 #"18"
 806 12687dd9 2023-08-04 jrmu 0 0 17 3 9 #" 19 20)))"
 807 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 808 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 809 12687dd9 2023-08-04 jrmu 0 0 17 3 55 #";; sort : list-of-numbers predicate ->  list-of-numbers"
 810 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 811 12687dd9 2023-08-04 jrmu 0 0 17 3 80
 812 12687dd9 2023-08-04 jrmu (
 813 12687dd9 2023-08-04 jrmu  #";; to construct a list with all items from alon in ascending or desc"
 814 12687dd9 2023-08-04 jrmu  #"ending order"
 815 12687dd9 2023-08-04 jrmu ) 0 0 68 29 1 #"\n"
 816 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 817 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 818 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 819 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 820 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"sort1"
 821 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 822 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 823 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 824 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 825 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 826 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 827 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 828 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 829 12687dd9 2023-08-04 jrmu 0 0 15 3 5 #"local"
 830 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 831 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"(("
 832 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 833 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 834 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 835 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"sort"
 836 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 837 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 838 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 839 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 840 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 841 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 842 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 843 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 844 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 845 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 846 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 847 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 848 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"empty?"
 849 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 850 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 851 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 852 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 853 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"empty"
 854 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"]"
 855 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 856 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 857 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 858 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 859 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 860 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 861 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 862 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"insert"
 863 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 864 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 865 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 866 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 867 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 868 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 869 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 870 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 871 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"sort"
 872 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 873 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 874 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 875 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 876 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 877 12687dd9 2023-08-04 jrmu 0 0 22 3 6 #")))]))"
 878 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 879 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 880 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
 881 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 882 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 883 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 884 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 885 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"insert"
 886 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 887 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"an"
 888 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 889 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 890 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 891 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 892 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 893 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 894 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 895 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 896 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 897 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 898 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 899 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 900 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"empty?"
 901 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 902 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 903 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 904 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 905 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 906 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"list"
 907 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 908 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"an"
 909 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 910 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 911 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 912 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 913 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 914 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 915 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 916 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 917 12687dd9 2023-08-04 jrmu 0 0 15 3 4 #"cond"
 918 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 919 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 920 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 921 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 922 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"[("
 923 12687dd9 2023-08-04 jrmu 0 0 14 3 9 #"predicate"
 924 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 925 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"an"
 926 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 927 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 928 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 929 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 930 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 931 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
 932 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 933 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 934 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"cons"
 935 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 936 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"an"
 937 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 938 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 939 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #")]"
 940 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 941 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 942 12687dd9 2023-08-04 jrmu 0 1 68 65 1 #"\t"
 943 12687dd9 2023-08-04 jrmu 0 0 68 3 6 #"      "
 944 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"["
 945 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"else"
 946 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 947 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 948 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"cons"
 949 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 950 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 951 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"first"
 952 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 953 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 954 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
 955 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 956 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 957 12687dd9 2023-08-04 jrmu 0 0 14 3 6 #"insert"
 958 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 959 12687dd9 2023-08-04 jrmu 0 0 14 3 2 #"an"
 960 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 961 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 962 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"rest"
 963 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 964 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 965 12687dd9 2023-08-04 jrmu 0 0 22 3 9 #")))])])))"
 966 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 967 12687dd9 2023-08-04 jrmu 0 0 68 3 4 #"    "
 968 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 969 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"sort"
 970 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 971 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 972 12687dd9 2023-08-04 jrmu 0 0 22 3 3 #")))"
 973 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 974 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 975 12687dd9 2023-08-04 jrmu 0 0 17 3 30 #";sort-ascend : list-of-numbers"
 976 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 977 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #";Given"
 978 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 979 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"a-lon"
 980 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
 981 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 982 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"return"
 983 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 984 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
 985 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 986 12687dd9 2023-08-04 jrmu 0 0 17 3 15 #"list-of-numbers"
 987 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 988 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"sorted"
 989 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
 990 12687dd9 2023-08-04 jrmu 0 0 17 3 19 #"in ascending order."
 991 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
 992 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 993 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
 994 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 995 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
 996 12687dd9 2023-08-04 jrmu 0 0 14 3 11 #"sort-ascend"
 997 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
 998 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
 999 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
1000 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1001 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
1002 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1003 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"sort1"
1004 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1005 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
1006 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1007 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #"<"
1008 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1009 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1010 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1011 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
1012 12687dd9 2023-08-04 jrmu 0 0 17 3 30 #"sort-descend : list-of-numbers"
1013 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1014 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #";"
1015 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"Given"
1016 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1017 12687dd9 2023-08-04 jrmu 0 0 17 3 5 #"a-lon"
1018 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #","
1019 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1020 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"return"
1021 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1022 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #"a"
1023 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1024 12687dd9 2023-08-04 jrmu 0 0 17 3 15 #"list-of-numbers"
1025 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1026 12687dd9 2023-08-04 jrmu 0 0 17 3 6 #"sorted"
1027 12687dd9 2023-08-04 jrmu 0 0 17 3 1 #" "
1028 12687dd9 2023-08-04 jrmu 0 0 17 3 20 #"in descending order."
1029 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1030 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1031 12687dd9 2023-08-04 jrmu 0 0 15 3 6 #"define"
1032 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1033 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1034 12687dd9 2023-08-04 jrmu 0 0 14 3 12 #"sort-descend"
1035 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1036 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
1037 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #")"
1038 12687dd9 2023-08-04 jrmu 0 0 68 29 1 #"\n"
1039 12687dd9 2023-08-04 jrmu 0 0 68 3 2 #"  "
1040 12687dd9 2023-08-04 jrmu 0 0 22 3 1 #"("
1041 12687dd9 2023-08-04 jrmu 0 0 14 3 5 #"sort1"
1042 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1043 12687dd9 2023-08-04 jrmu 0 0 14 3 4 #"alon"
1044 12687dd9 2023-08-04 jrmu 0 0 68 3 1 #" "
1045 12687dd9 2023-08-04 jrmu 0 0 14 3 1 #">"
1046 12687dd9 2023-08-04 jrmu 0 0 22 3 2 #"))"
1047 12687dd9 2023-08-04 jrmu 0           0