ocaml/logs/fail.txt

   1 -666 | 44 => `169:-666 | 45 => `170:-666] )) u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-461
   2 1686018427387904 q:-4611686018427387904
   3 | 17: `71:2 (`64:2 (λ`171. [match(b:1) `171:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `16
   4 3:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 =
   5 > `168:-666 | 44 => `169:-666 | 45 => `170:-666] ))) `70:-4611686018427387904 `69:-4611686018427387904 `68:-461168601842
   6 7387904 `67:-4611686018427387904 `66:-4611686018427387904
   7 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
   8 | 19: 6
   9 | 20: `64:2 (λ`171. [match(b:1) `171:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
  10 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
  11 -666 | 44 => `169:-666 | 45 => `170:-666] )) `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904
  12 `76:-4611686018427387904 `75:-4611686018427387904
  13 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
  14 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
  15 86018427387904
  16 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
  17 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
  18 86018427387904
  19 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
  20 8427387904 `89:-4611686018427387904
  21 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
  22 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
  23 18427387904 `96:-4611686018427387904
  24 | 28: e:1 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904
  25 | 29: `169:1 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `10
  26 3:-4611686018427387904
  27 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
  28 | 31: `64:4 (λ`171. [match(b:1) `171:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
  29 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
  30 -666 | 44 => `169:-666 | 45 => `170:-666] )) (λ`171. [match(f:1) `171:-4611686018427387904 `93:-4611686018427387904 `92:
  31 -4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-4611686018427387904 with 24 => λ`172. [match
  32 (`92:-666) `172:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46
  33 11686018427387904 `96:-4611686018427387904 with 26 => λ`173. [match(`98:-666) `173:-4611686018427387904 `107:-4611686018
  34 427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 2
  35 8 => λ`174. [match(`104:-666) `174:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-461168
  36 6018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`175. [match(`128:-666) `175:-461168601842
  37 7387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-46
  38 11686018427387904 with 34 => λ`176. [match(`133:-666) `176:-4611686018427387904 `144:-4611686018427387904 `143:-46116860
  39 18427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`177. [match(`138:
  40 -666) `177:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611
  41 686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`174. [match(`105:-666) `174:-461168
  42 6018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `1
  43 10:-4611686018427387904 with 30 => λ`175. [match(`110:-666) `175:-4611686018427387904 `120:-4611686018427387904 `119:-46
  44 11686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )]
  45  )] ) | 27 => `102:-666] ) | 25 => `95:-666] )) (`64:3 (λ`171. [match(b:1) `171:-4611686018427387904 `165:-4611686018427
  46 387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 =
  47 > `166:-666 | 42 => `167:-666 | 43 => `168:-666 | 44 => `169:-666 | 45 => `170:-666] )) (e:3 (λ`171. λ`172. [match(d:1)
  48 `172:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860184273
  49 87904 `28:-4611686018427387904 with 8 => λ`173. [match(`30:-666) `173:-4611686018427387904 `38:-4611686018427387904 `37:
  50 -4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`174. [match(
  51 `35:-666) `174:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611
  52 686018427387904 `40:-4611686018427387904 with 10 => λ`175. [match(`40:-666) `175:-4611686018427387904 `50:-4611686018427
  53 387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`
  54 176. [match(`45:-666) `176:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-46116860184273879
  55 04 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`177. [match(`50:-666) `177:-4611686018427387904 `79:-4
  56 611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 w
  57 ith 20 => λ`178. [match(`72:-666) `178:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-46
  58 11686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`178. [match(`73:
  59 -666) `178:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-46116860
  60 18427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`177. [match(`51:-666) `177:-46
  61 11686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `5
  62 9:-4611686018427387904 with 15 => λ`178. [match(`57:-666) `178:-4611686018427387904 `70:-4611686018427387904 `69:-461168
  63 6018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73
  64 :-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => `64:-666] )) (λ`171. i:2 h:1))) `120:-4611686018427387
  65 904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904
  66 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
  67 | 33: `64:4 (λ`171. λ`172. [match(n:1) `172:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-461168
  68 6018427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`173. [match(s:-666) `173:-4611686018427387904 `2
  69 6:-4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with
  70 7 => `27:-666] ) | 16 => `71:-666] )) (λ`171. `171:2 (λ`172. [match(d:1) `172:-4611686018427387904 `32:-4611686018427387
  71 904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`173.
  72  [match(`30:-666) `173:-4611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `
  73 35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`174. [match(`35:-666) `174:-4611686018427387904 `44:-461168
  74 6018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 1
  75 0 => λ`175. [match(`40:-666) `175:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018
  76 427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`176. [match(`45:-666) `176:-4611686018427387904
  77  `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116860184273
  78 87904 with 12 => λ`177. [match(`50:-666) `177:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77
  79 :-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`178. [match(`72:-666) `178:-4611686
  80 018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `12
  81 2:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`178. [match(`73:-666) `178:-4611686018427387904 `86:-4611686018
  82 427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 =>
  83  `87:-666 | 23 => `88:-666] )] ) | 13 => λ`177. [match(`51:-666) `177:-4611686018427387904 `63:-4611686018427387904 `62:
  84 -4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`178. [match
  85 (`57:-666) `178:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-461
  86 1686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )]
  87 )] )] )] ) | 14 => `64:-666] ))) (λ`171. [match(`80:1) `171:-4611686018427387904 `86:-4611686018427387904 `85:-461168601
  88 8427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-6
  89 66] )) `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-461
  90 1686018427387904
  91 | 34: 34
  92 | 35: e:1 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-
  93 4611686018427387904
  94 | 36: `170:2 (λ`171. λ`172. e:1) `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686
  95 018427387904
  96 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
  97 6:-4611686018427387904
  98 | 38: `170:1 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611686018427387904 `15
  99 3:-4611686018427387904
 100 | 39: h:2 (λ`171. λ`172. [match(n:1) `172:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
 101 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`173. [match(s:-666) `173:-4611686018427387904 `26:
 102 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
 103 => `27:-666] ) | 16 => `71:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-
 104 4611686018427387904 `153:-4611686018427387904
 105 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
 106 686018427387904 `153:-4611686018427387904
 107 | 41: 41
 108 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 109 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
 110 686018427387904 `161:-4611686018427387904
 111 | 44: `168:0 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 112 | 45: e:1 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 113 |
 114 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
 115 compare 82 95= 1
 116 $ Measure decreased by 1
 117 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
 118 DANGEROUS EAT: e
 119 DANGEROUS EAT: h
 120 DANGEROUS EAT: `64
 121 INSTANTIATING CRITICAL TO EAT e
 122 INSTANTIATING AND HOPING e
 123 WARNING: using constant initialSpecialK
 124 # INST: e := λ`182. [match(d:666) `182:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-46
 125 11686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => `177:-666 | 48 => `17
 126 8:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666] )
 127 ------------------------------------------------------------------------------------------------------------------------
 128
 129 ||||| Displaying problem: instantiate |||||
 130
 131 | measure=73 freshno = 181
 132 |> DISCRIMINATING SETS (deltas)
 133 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
 134 | 41 <> 42 <> 43 <> 44 <> 45
 135 | 38 <> 39 <> 40
 136 | 37
 137 | 35
 138 | 34
 139 | 33
 140 | 32
 141 | 31
 142 | 30
 143 | 28 <> 29
 144 | 26 <> 27
 145 | 24 <> 25
 146 | 22 <> 23
 147 | 20 <> 21
 148 | 17 <> 18 <> 6
 149 | 15 <> 36
 150 | 12 <> 13
 151 | 11
 152 | 10
 153 | 9
 154 | 8 <> 14
 155 | 7
 156 | 6 <> 16
 157 | 5
 158 | 0 <> 1 <> 2 <> 3 <> 4
 159 |> DIVERGENT
 160 | *: `27:1
 161 |> CONVERGENT
 162 | _: `74:2 [match(`33:3) `64:1 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-461168601
 163 8427387904 with 9 => λ`182. [match(`38:-666) `182:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904
 164  `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`183. [match(`43:-666) `183:-461
 165 1686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46
 166 :-4611686018427387904 with 11 => λ`184. [match(`48:-666) `184:-4611686018427387904 `56:-4611686018427387904 `55:-4611686
 167 018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`185. [match(`53:-66
 168 6) `185:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-46116860184
 169 27387904 `75:-4611686018427387904 with 20 => λ`186. [match(`75:-666) `186:-4611686018427387904 `126:-4611686018427387904
 170  `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127
 171 :-666] ) | 21 => λ`186. [match(`76:-666) `186:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84
 172 :-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13
 173 => λ`185. [match(`54:-666) `185:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-461168601842
 174 7387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`186. [match(`60:-666) `186:-4611686018427387904 `
 175 70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387
 176 904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] h:1)
 177 | _: _
 178 | _: _
 179 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
 180 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => `177:-666 | 48 =>
 181  `178:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:
 182 -4611686018427387904 `96:-4611686018427387904) with 26 => λ`182. [match(`100:-666) `182:-4611686018427387904 `107:-46116
 183 86018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 w
 184 ith 28 => λ`183. [match(`106:-666) `183:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4
 185 611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`184. [match(`130:-666) `184:-4611686
 186 018427387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `13
 187 4:-4611686018427387904 with 34 => λ`185. [match(`135:-666) `185:-4611686018427387904 `144:-4611686018427387904 `143:-461
 188 1686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`186. [match(
 189 `140:-666) `186:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:
 190 -4611686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`183. [match(`107:-666) `183:-4
 191 611686018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-46116860184273879
 192 04 `110:-4611686018427387904 with 30 => λ`184. [match(`112:-666) `184:-4611686018427387904 `120:-4611686018427387904 `11
 193 9:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-66
 194 6] )] )] ) | 27 => `102:-666] `64:2 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427387904 `164:-461168
 195 6018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 =>
 196  `167:-666 | 43 => `168:-666 | 44 => `169:-666 | 45 => `170:-666] ))) `121:1
 197 | _: _
 198 |> NUMERIC
 199 | 0: `127:1 a:0
 200 | 1: `87:0
 201 | 2: `72:1 a:0
 202 | 3: `73:1 a:0
 203 | 4: `152:1 a:0
 204 | 5: `166:0 n:-4611686018427387904 m:-4611686018427387904 l:-4611686018427387904 k:-4611686018427387904
 205 | 6: 6
 206 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
 207 | 8: `167:1 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-461
 208 1686018427387904
 209 | 9: `102:0 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904
 210 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
 211 | 11: `177:2 (λ`182. i:2 h:1) `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018
 212 427387904
 213 | 12: 12
 214 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
 215 86018427387904
 216 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
 217 | 15: `64:1 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
 218 | 16: `64:2 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 219 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 220 -666 | 44 => `169:-666 | 45 => `170:-666] )) u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-461
 221 1686018427387904 q:-4611686018427387904
 222 | 17: `71:2 (`64:2 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `16
 223 3:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 =
 224 > `168:-666 | 44 => `169:-666 | 45 => `170:-666] ))) `70:-4611686018427387904 `69:-4611686018427387904 `68:-461168601842
 225 7387904 `67:-4611686018427387904 `66:-4611686018427387904
 226 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
 227 | 19: 6
 228 | 20: `64:2 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 229 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 230 -666 | 44 => `169:-666 | 45 => `170:-666] )) `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904
 231 `76:-4611686018427387904 `75:-4611686018427387904
 232 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
 233 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
 234 86018427387904
 235 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
 236 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
 237 86018427387904
 238 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
 239 8427387904 `89:-4611686018427387904
 240 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 241 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
 242 18427387904 `96:-4611686018427387904
 243 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
 244 | 29: `169:1 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `10
 245 3:-4611686018427387904
 246 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
 247 | 31: `64:4 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 248 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 249 -666 | 44 => `169:-666 | 45 => `170:-666] )) (λ`182. [match(f:1) `182:-4611686018427387904 `93:-4611686018427387904 `92:
 250 -4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-4611686018427387904 with 24 => λ`183. [match
 251 (`92:-666) `183:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46
 252 11686018427387904 `96:-4611686018427387904 with 26 => λ`184. [match(`98:-666) `184:-4611686018427387904 `107:-4611686018
 253 427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 2
 254 8 => λ`185. [match(`104:-666) `185:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-461168
 255 6018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`186. [match(`128:-666) `186:-461168601842
 256 7387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-46
 257 11686018427387904 with 34 => λ`187. [match(`133:-666) `187:-4611686018427387904 `144:-4611686018427387904 `143:-46116860
 258 18427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`188. [match(`138:
 259 -666) `188:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611
 260 686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`185. [match(`105:-666) `185:-461168
 261 6018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `1
 262 10:-4611686018427387904 with 30 => λ`186. [match(`110:-666) `186:-4611686018427387904 `120:-4611686018427387904 `119:-46
 263 11686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )]
 264  )] ) | 27 => `102:-666] ) | 25 => `95:-666] )) (`64:3 (λ`182. [match(b:1) `182:-4611686018427387904 `165:-4611686018427
 265 387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 =
 266 > `166:-666 | 42 => `167:-666 | 43 => `168:-666 | 44 => `169:-666 | 45 => `170:-666] )) [match(e:3) [match(f:1) `174:-46
 267 11686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `2
 268 8:-4611686018427387904 with 8 => λ`182. [match(`32:-666) `182:-4611686018427387904 `38:-4611686018427387904 `37:-4611686
 269 018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`183. [match(`37:-666
 270 ) `183:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-461168601842
 271 7387904 `40:-4611686018427387904 with 10 => λ`184. [match(`42:-666) `184:-4611686018427387904 `50:-4611686018427387904 `
 272 49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`185. [ma
 273 tch(`47:-666) `185:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-
 274 4611686018427387904 `52:-4611686018427387904 with 12 => λ`186. [match(`52:-666) `186:-4611686018427387904 `79:-461168601
 275 8427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 =
 276 > λ`187. [match(`74:-666) `187:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018
 277 427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`187. [match(`75:-666) `1
 278 87:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387
 279 904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`186. [match(`53:-666) `186:-4611686018
 280 427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116
 281 86018427387904 with 15 => λ`187. [match(`59:-666) `187:-4611686018427387904 `70:-4611686018427387904 `69:-46116860184273
 282 87904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 |
 283 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => `64:-666] `173:-4611686018427387904 `172:-4611686018427387904
 284 `171:-4611686018427387904) with 46 => `176:-666 | 47 => `177:-666 | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-666
 285 | 51 => `181:-666] λ`182. i:2 h:1)) `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-
 286 4611686018427387904 `116:-4611686018427387904
 287 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
 288 | 33: `64:4 (λ`182. λ`183. [match(n:1) `183:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-461168
 289 6018427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`184. [match(s:-666) `184:-4611686018427387904 `2
 290 6:-4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with
 291 7 => `27:-666] ) | 16 => `71:-666] )) (λ`182. `182:2 (λ`183. [match(d:1) `183:-4611686018427387904 `32:-4611686018427387
 292 904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`184.
 293  [match(`30:-666) `184:-4611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `
 294 35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`185. [match(`35:-666) `185:-4611686018427387904 `44:-461168
 295 6018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 1
 296 0 => λ`186. [match(`40:-666) `186:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018
 297 427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`187. [match(`45:-666) `187:-4611686018427387904
 298  `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116860184273
 299 87904 with 12 => λ`188. [match(`50:-666) `188:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77
 300 :-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`189. [match(`72:-666) `189:-4611686
 301 018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `12
 302 2:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`189. [match(`73:-666) `189:-4611686018427387904 `86:-4611686018
 303 427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 =>
 304  `87:-666 | 23 => `88:-666] )] ) | 13 => λ`188. [match(`51:-666) `188:-4611686018427387904 `63:-4611686018427387904 `62:
 305 -4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`189. [match
 306 (`57:-666) `189:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-461
 307 1686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )]
 308 )] )] )] ) | 14 => `64:-666] ))) (λ`182. [match(`80:1) `182:-4611686018427387904 `86:-4611686018427387904 `85:-461168601
 309 8427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-6
 310 66] )) `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-461
 311 1686018427387904
 312 | 34: 34
 313 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
 314 | 36: `170:2 (λ`182. λ`183. λ`184. [match(b:1) `184:-4611686018427387904 `175:-4611686018427387904 `174:-461168601842738
 315 7904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => `177:-66
 316 6 | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666] )) `62:-4611686018427387904 `61:-461168601842
 317 7387904 `60:-4611686018427387904 `59:-4611686018427387904
 318 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
 319 6:-4611686018427387904
 320 | 38: `170:1 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611686018427387904 `15
 321 3:-4611686018427387904
 322 | 39: h:2 (λ`182. λ`183. [match(n:1) `183:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
 323 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`184. [match(s:-666) `184:-4611686018427387904 `26:
 324 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
 325 => `27:-666] ) | 16 => `71:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-
 326 4611686018427387904 `153:-4611686018427387904
 327 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
 328 686018427387904 `153:-4611686018427387904
 329 | 41: 41
 330 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 331 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
 332 686018427387904 `161:-4611686018427387904
 333 | 44: `168:0 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 334 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 335 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
 336 018427387904 `171:-4611686018427387904
 337 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
 338 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
 339 86018427387904 `171:-4611686018427387904
 340 | 49: `105:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 341 686018427387904 `171:-4611686018427387904
 342 | 50: `144:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 343 686018427387904 `171:-4611686018427387904
 344 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 345 686018427387904 `171:-4611686018427387904
 346 |
 347 DANGEROUS EAT: h
 348 DANGEROUS EAT: `64
 349 DANGEROUS EAT: `164
 350 dangerous_conv lenght:5
 351 `64 `37 `36 `35 `34 h `74 `64 `37 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `7
 352 6 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151
 353  h
 354
 355
 356 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121 `100 `175 `174
 357 `173 `172 `171 `176 `177 `178 `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131 `130 `129 `128 `138 `137
 358  `136 `135 `134 `144 `143 `142 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110 `120 `119 `118 `117 `116
 359  `121 `102 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121
 360
 361 dangerous_conv lenght:5
 362 `64 `37 `36 `35 `34 h `74 `64 `37 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `7
 363 6 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151
 364  h
 365
 366
 367 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121 `100 `175 `174
 368 `173 `172 `171 `176 `177 `178 `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131 `130 `129 `128 `138 `137
 369  `136 `135 `134 `144 `143 `142 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110 `120 `119 `118 `117 `116
 370  `121 `102 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121
 371
 372 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
 373 compare 73 82= 1
 374 $ Measure decreased by 1
 375 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
 376 DANGEROUS EAT: h
 377 DANGEROUS EAT: `64
 378 DANGEROUS EAT: `164
 379 INSTANTIATING CRITICAL TO EAT h
 380 INSTANTIATING AND HOPING `177
 381 WARNING: using constant initialSpecialK
 382 # INST: `177 := λ`188. [match(`176:666) `188:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `1
 383 84:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904 with 52 => `187:-666] )
 384 ------------------------------------------------------------------------------------------------------------------------
 385
 386 ||||| Displaying problem: instantiate |||||
 387
 388 | measure=72 freshno = 187
 389 |> DISCRIMINATING SETS (deltas)
 390 | 52
 391 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
 392 | 41 <> 42 <> 43 <> 44 <> 45
 393 | 38 <> 39 <> 40
 394 | 37
 395 | 35
 396 | 34
 397 | 33
 398 | 32
 399 | 31
 400 | 30
 401 | 28 <> 29
 402 | 26 <> 27
 403 | 24 <> 25
 404 | 22 <> 23
 405 | 20 <> 21
 406 | 17 <> 18 <> 6
 407 | 15 <> 36
 408 | 12 <> 13
 409 | 11
 410 | 10
 411 | 9
 412 | 8 <> 14
 413 | 7
 414 | 6 <> 16
 415 | 5
 416 | 0 <> 1 <> 2 <> 3 <> 4
 417 |> DIVERGENT
 418 | *: `27:1
 419 |> CONVERGENT
 420 | _: `74:2 [match(`33:3) `64:1 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-461168601
 421 8427387904 with 9 => λ`188. [match(`38:-666) `188:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904
 422  `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`189. [match(`43:-666) `189:-461
 423 1686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46
 424 :-4611686018427387904 with 11 => λ`190. [match(`48:-666) `190:-4611686018427387904 `56:-4611686018427387904 `55:-4611686
 425 018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`191. [match(`53:-66
 426 6) `191:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-46116860184
 427 27387904 `75:-4611686018427387904 with 20 => λ`192. [match(`75:-666) `192:-4611686018427387904 `126:-4611686018427387904
 428  `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127
 429 :-666] ) | 21 => λ`192. [match(`76:-666) `192:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84
 430 :-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13
 431 => λ`191. [match(`54:-666) `191:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-461168601842
 432 7387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`192. [match(`60:-666) `192:-4611686018427387904 `
 433 70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387
 434 904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] h:1)
 435 | _: _
 436 | _: _
 437 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
 438 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`188. [match(`17
 439 6:-666) `188:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
 440 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
 441 6 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 442 ) with 26 => λ`188. [match(`100:-666) `188:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387904 `105
 443 :-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`189. [match(`106:-666) `189:-4611
 444 686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904
 445 `128:-4611686018427387904 with 33 => λ`190. [match(`130:-666) `190:-4611686018427387904 `138:-4611686018427387904 `137:-
 446 4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`191. [mat
 447 ch(`135:-666) `191:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `1
 448 41:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`192. [match(`140:-666) `192:-4611686018427387904 `150:-46
 449 11686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-461168601842738790
 450 4 with 37 => `152:-666] )] )] )] ) | 29 => λ`189. [match(`107:-666) `189:-4611686018427387904 `114:-4611686018427387904
 451 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30 => λ`190
 452 . [match(`112:-666) `190:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387
 453 904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] `64:2 (λ`188. [
 454 match(b:1) `188:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:
 455 -4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:-666 | 44 => `169:-66
 456 6 | 45 => `170:-666] ))) `121:1
 457 | _: _
 458 |> NUMERIC
 459 | 0: `127:1 a:0
 460 | 1: `87:0
 461 | 2: `72:1 a:0
 462 | 3: `73:1 a:0
 463 | 4: `152:1 a:0
 464 | 5: `166:0 n:-4611686018427387904 m:-4611686018427387904 l:-4611686018427387904 k:-4611686018427387904
 465 | 6: 6
 466 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
 467 | 8: `167:1 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-461
 468 1686018427387904
 469 | 9: `102:0 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904
 470 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
 471 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
 472 | 12: 12
 473 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
 474 86018427387904
 475 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
 476 | 15: `64:1 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
 477 | 16: `64:2 (λ`188. [match(b:1) `188:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 478 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 479 -666 | 44 => `169:-666 | 45 => `170:-666] )) u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-461
 480 1686018427387904 q:-4611686018427387904
 481 | 17: `71:2 (`64:2 (λ`188. [match(b:1) `188:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `16
 482 3:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 =
 483 > `168:-666 | 44 => `169:-666 | 45 => `170:-666] ))) `70:-4611686018427387904 `69:-4611686018427387904 `68:-461168601842
 484 7387904 `67:-4611686018427387904 `66:-4611686018427387904
 485 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
 486 | 19: 6
 487 | 20: `64:2 (λ`188. [match(b:1) `188:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 488 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 489 -666 | 44 => `169:-666 | 45 => `170:-666] )) `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904
 490 `76:-4611686018427387904 `75:-4611686018427387904
 491 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
 492 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
 493 86018427387904
 494 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
 495 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
 496 86018427387904
 497 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
 498 8427387904 `89:-4611686018427387904
 499 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 500 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
 501 18427387904 `96:-4611686018427387904
 502 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
 503 | 29: `169:1 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `10
 504 3:-4611686018427387904
 505 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
 506 | 31: `64:4 (λ`188. [match(b:1) `188:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611
 507 686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 => `166:-666 | 42 => `167:-666 | 43 => `168:
 508 -666 | 44 => `169:-666 | 45 => `170:-666] )) (λ`188. [match(f:1) `188:-4611686018427387904 `93:-4611686018427387904 `92:
 509 -4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-4611686018427387904 with 24 => λ`189. [match
 510 (`92:-666) `189:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46
 511 11686018427387904 `96:-4611686018427387904 with 26 => λ`190. [match(`98:-666) `190:-4611686018427387904 `107:-4611686018
 512 427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 2
 513 8 => λ`191. [match(`104:-666) `191:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-461168
 514 6018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`192. [match(`128:-666) `192:-461168601842
 515 7387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-46
 516 11686018427387904 with 34 => λ`193. [match(`133:-666) `193:-4611686018427387904 `144:-4611686018427387904 `143:-46116860
 517 18427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`194. [match(`138:
 518 -666) `194:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611
 519 686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`191. [match(`105:-666) `191:-461168
 520 6018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `1
 521 10:-4611686018427387904 with 30 => λ`192. [match(`110:-666) `192:-4611686018427387904 `120:-4611686018427387904 `119:-46
 522 11686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )]
 523  )] ) | 27 => `102:-666] ) | 25 => `95:-666] )) (`64:3 (λ`188. [match(b:1) `188:-4611686018427387904 `165:-4611686018427
 524 387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904 with 41 =
 525 > `166:-666 | 42 => `167:-666 | 43 => `168:-666 | 44 => `169:-666 | 45 => `170:-666] )) [match(e:3) [match(f:1) `174:-46
 526 11686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `2
 527 8:-4611686018427387904 with 8 => λ`188. [match(`32:-666) `188:-4611686018427387904 `38:-4611686018427387904 `37:-4611686
 528 018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`189. [match(`37:-666
 529 ) `189:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-461168601842
 530 7387904 `40:-4611686018427387904 with 10 => λ`190. [match(`42:-666) `190:-4611686018427387904 `50:-4611686018427387904 `
 531 49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`191. [ma
 532 tch(`47:-666) `191:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-
 533 4611686018427387904 `52:-4611686018427387904 with 12 => λ`192. [match(`52:-666) `192:-4611686018427387904 `79:-461168601
 534 8427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 =
 535 > λ`193. [match(`74:-666) `193:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018
 536 427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`193. [match(`75:-666) `1
 537 93:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387
 538 904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`192. [match(`53:-666) `192:-4611686018
 539 427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116
 540 86018427387904 with 15 => λ`193. [match(`59:-666) `193:-4611686018427387904 `70:-4611686018427387904 `69:-46116860184273
 541 87904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 |
 542 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => `64:-666] `173:-4611686018427387904 `172:-4611686018427387904
 543 `171:-4611686018427387904) with 46 => `176:-666 | 47 => λ`188. [match(`176:-666) `188:-4611686018427387904 `186:-4611686
 544 018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904 wit
 545 h 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666] λ`188. i:2 h:1)) `120:-461
 546 1686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904
 547 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
 548 | 33: `64:4 (λ`188. λ`189. [match(n:1) `189:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-461168
 549 6018427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`190. [match(s:-666) `190:-4611686018427387904 `2
 550 6:-4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with
 551 7 => `27:-666] ) | 16 => `71:-666] )) (λ`188. `188:2 (λ`189. [match(d:1) `189:-4611686018427387904 `32:-4611686018427387
 552 904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`190.
 553  [match(`30:-666) `190:-4611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `
 554 35:-4611686018427387904 `34:-4611686018427387904 with 9 => λ`191. [match(`35:-666) `191:-4611686018427387904 `44:-461168
 555 6018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 1
 556 0 => λ`192. [match(`40:-666) `192:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018
 557 427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`193. [match(`45:-666) `193:-4611686018427387904
 558  `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116860184273
 559 87904 with 12 => λ`194. [match(`50:-666) `194:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77
 560 :-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`195. [match(`72:-666) `195:-4611686
 561 018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `12
 562 2:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`195. [match(`73:-666) `195:-4611686018427387904 `86:-4611686018
 563 427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 =>
 564  `87:-666 | 23 => `88:-666] )] ) | 13 => λ`194. [match(`51:-666) `194:-4611686018427387904 `63:-4611686018427387904 `62:
 565 -4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`195. [match
 566 (`57:-666) `195:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-461
 567 1686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )]
 568 )] )] )] ) | 14 => `64:-666] ))) (λ`188. [match(`80:1) `188:-4611686018427387904 `86:-4611686018427387904 `85:-461168601
 569 8427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-6
 570 66] )) `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-461
 571 1686018427387904
 572 | 34: 34
 573 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
 574 | 36: `170:2 (λ`188. λ`189. λ`190. [match(b:1) `190:-4611686018427387904 `175:-4611686018427387904 `174:-461168601842738
 575 7904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`191. [
 576 match(`173:-666) `191:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904
 577  `183:-4611686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 =>
 578  `180:-666 | 51 => `181:-666] )) `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686
 579 018427387904
 580 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
 581 6:-4611686018427387904
 582 | 38: `170:1 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611686018427387904 `15
 583 3:-4611686018427387904
 584 | 39: h:2 (λ`188. λ`189. [match(n:1) `189:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
 585 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`190. [match(s:-666) `190:-4611686018427387904 `26:
 586 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
 587 => `27:-666] ) | 16 => `71:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-
 588 4611686018427387904 `153:-4611686018427387904
 589 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
 590 686018427387904 `153:-4611686018427387904
 591 | 41: 41
 592 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 593 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
 594 686018427387904 `161:-4611686018427387904
 595 | 44: `168:0 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 596 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 597 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
 598 018427387904 `171:-4611686018427387904
 599 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
 600 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
 601 86018427387904 `171:-4611686018427387904
 602 | 49: `105:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 603 686018427387904 `171:-4611686018427387904
 604 | 50: `144:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 605 686018427387904 `171:-4611686018427387904
 606 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 607 686018427387904 `171:-4611686018427387904
 608 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
 609 |
 610 DANGEROUS EAT: h
 611 DANGEROUS EAT: `64
 612 DANGEROUS EAT: `164
 613 dangerous_conv lenght:5
 614 `64 `37 `36 `35 `34 h `74 `64 `37 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `7
 615 6 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151
 616  h
 617
 618
 619 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121 `100 `175 `174
 620 `173 `172 `171 `176 `186 `185 `184 `183 `182 `187 `178 `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131
 621  `130 `129 `128 `138 `137 `136 `135 `134 `144 `143 `142 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110
 622  `120 `119 `118 `117 `116 `121 `102 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121
 623
 624 dangerous_conv lenght:5
 625 `64 `37 `36 `35 `34 h `74 `64 `37 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `7
 626 6 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151
 627  h
 628
 629
 630 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121 `100 `175 `174
 631 `173 `172 `171 `176 `186 `185 `184 `183 `182 `187 `178 `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131
 632  `130 `129 `128 `138 `137 `136 `135 `134 `144 `143 `142 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110
 633  `120 `119 `118 `117 `116 `121 `102 `64 `165 `164 `163 `162 `161 `166 `167 `168 `169 `170 `121
 634
 635 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
 636 compare 72 73= 1
 637 $ Measure decreased by 1
 638 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
 639 DANGEROUS EAT: h
 640 DANGEROUS EAT: `64
 641 DANGEROUS EAT: `164
 642 INSTANTIATING CRITICAL TO EAT h
 643 INSTANTIATING AND HOPING `64
 644 WARNING: using constant initialSpecialK
 645 # INST: `64 := λ`198. [match(`63:666) `198:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
 646 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 =>
 647  `197:-666] )
 648 ------------------------------------------------------------------------------------------------------------------------
 649
 650 ||||| Displaying problem: instantiate |||||
 651
 652 | measure=63 freshno = 197
 653 |> DISCRIMINATING SETS (deltas)
 654 | 53 <> 55 <> 57
 655 | 52
 656 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
 657 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
 658 | 38 <> 39 <> 40
 659 | 37
 660 | 35
 661 | 34
 662 | 33
 663 | 32
 664 | 31
 665 | 30
 666 | 28 <> 29
 667 | 26 <> 27
 668 | 24 <> 25
 669 | 22 <> 23
 670 | 20 <> 21
 671 | 17 <> 18 <> 6
 672 | 15 <> 36
 673 | 12 <> 13
 674 | 11
 675 | 10
 676 | 9
 677 | 8 <> 14
 678 | 7
 679 | 6 <> 16 <> 56
 680 | 5
 681 | 0 <> 1 <> 2 <> 3 <> 4
 682 |> DIVERGENT
 683 | *: `27:1
 684 |> CONVERGENT
 685 | _: `74:2 [match(`33:3) [match(`64:1) `37:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
 686 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 =>
 687  `197:-666] `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904) with 9 => λ`198. [match(`38:-666
 688 ) `198:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-461168601842
 689 7387904 `40:-4611686018427387904 with 10 => λ`199. [match(`43:-666) `199:-4611686018427387904 `50:-4611686018427387904 `
 690 49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`200. [ma
 691 tch(`48:-666) `200:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-
 692 4611686018427387904 `52:-4611686018427387904 with 12 => λ`201. [match(`53:-666) `201:-4611686018427387904 `79:-461168601
 693 8427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 =
 694 > λ`202. [match(`75:-666) `202:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018
 695 427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`202. [match(`76:-666) `2
 696 02:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387
 697 904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`201. [match(`54:-666) `201:-4611686018
 698 427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116
 699 86018427387904 with 15 => λ`202. [match(`60:-666) `202:-4611686018427387904 `70:-4611686018427387904 `69:-46116860184273
 700 87904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 |
 701 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] h:1)
 702 | _: _
 703 | _: _
 704 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
 705 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`198. [match(`17
 706 6:-666) `198:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
 707 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
 708 6 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 709 ) with 26 => λ`198. [match(`100:-666) `198:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387904 `105
 710 :-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`199. [match(`106:-666) `199:-4611
 711 686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904
 712 `128:-4611686018427387904 with 33 => λ`200. [match(`130:-666) `200:-4611686018427387904 `138:-4611686018427387904 `137:-
 713 4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`201. [mat
 714 ch(`135:-666) `201:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `1
 715 41:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`202. [match(`140:-666) `202:-4611686018427387904 `150:-46
 716 11686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-461168601842738790
 717 4 with 37 => `152:-666] )] )] )] ) | 29 => λ`199. [match(`107:-666) `199:-4611686018427387904 `114:-4611686018427387904
 718 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30 => λ`200
 719 . [match(`112:-666) `200:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387
 720 904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] `195:1) `121:1
 721 | _: _
 722 |> NUMERIC
 723 | 0: `127:1 a:0
 724 | 1: `87:0
 725 | 2: `72:1 a:0
 726 | 3: `73:1 a:0
 727 | 4: `152:1 a:0
 728 | 5: `166:0 n:-4611686018427387904 m:-4611686018427387904 l:-4611686018427387904 k:-4611686018427387904
 729 | 6: 6
 730 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
 731 | 8: `167:1 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-461
 732 1686018427387904
 733 | 9: `102:0 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904
 734 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
 735 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
 736 | 12: 12
 737 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
 738 86018427387904
 739 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
 740 | 15: `193:0 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
 741 | 16: `195:1 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-461168601842
 742 7387904
 743 | 17: `71:2 `195:1 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `
 744 66:-4611686018427387904
 745 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
 746 | 19: 6
 747 | 20: `195:1 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-46
 748 11686018427387904
 749 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
 750 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
 751 86018427387904
 752 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
 753 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
 754 86018427387904
 755 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
 756 8427387904 `89:-4611686018427387904
 757 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 758 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
 759 18427387904 `96:-4611686018427387904
 760 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
 761 | 29: `169:1 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `10
 762 3:-4611686018427387904
 763 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
 764 | 31: `195:3 (λ`198. [match(f:1) `198:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-461168
 765 6018427387904 `90:-4611686018427387904 `89:-4611686018427387904 with 24 => λ`199. [match(`92:-666) `199:-461168601842738
 766 7904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-461168601
 767 8427387904 with 26 => λ`200. [match(`98:-666) `200:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387
 768 904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`201. [match(`104:-666) `2
 769 01:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-461168601842
 770 7387904 `128:-4611686018427387904 with 33 => λ`202. [match(`128:-666) `202:-4611686018427387904 `138:-461168601842738790
 771 4 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`2
 772 03. [match(`133:-666) `203:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-46116860184273
 773 87904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`204. [match(`138:-666) `204:-4611686018427387904
 774 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-4611686018
 775 427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`201. [match(`105:-666) `201:-4611686018427387904 `114:-461168601842
 776 7387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30
 777 => λ`202. [match(`110:-666) `202:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-46116860
 778 18427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] ) | 25
 779 => `95:-666] )) (`195:2 [match(e:3) [match(f:1) `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
 780 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`198. [match(`32:-666) `198:-4
 781 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
 782 34:-4611686018427387904 with 9 => λ`199. [match(`37:-666) `199:-4611686018427387904 `44:-4611686018427387904 `43:-461168
 783 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`200. [match(`42:-6
 784 66) `200:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
 785 427387904 `46:-4611686018427387904 with 11 => λ`201. [match(`47:-666) `201:-4611686018427387904 `56:-4611686018427387904
 786  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`202. [
 787 match(`52:-666) `202:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
 788 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`203. [match(`74:-666) `203:-4611686018427387904 `126:-461168
 789 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
 790 th 32 => `127:-666] ) | 21 => λ`203. [match(`75:-666) `203:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
 791 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
 792 6] )] ) | 13 => λ`202. [match(`53:-666) `202:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
 793 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`203. [match(`59:-666) `203:-46116860
 794 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
 795 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`198.
 796  [match(`63:-666) `198:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
 797 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 => `197:-666] )] `173:
 798 -4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with 46 => `176:-666 | 47 => λ`198. [match(`17
 799 6:-666) `198:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
 800 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
 801 6 | 51 => `181:-666] λ`198. i:2 h:1)) `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117
 802 :-4611686018427387904 `116:-4611686018427387904
 803 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
 804 | 33: `197:3 (λ`198. `198:2 (λ`199. [match(d:1) `199:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
 805 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`200. [match(`30:-666) `200:-4
 806 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
 807 34:-4611686018427387904 with 9 => λ`201. [match(`35:-666) `201:-4611686018427387904 `44:-4611686018427387904 `43:-461168
 808 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`202. [match(`40:-6
 809 66) `202:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
 810 427387904 `46:-4611686018427387904 with 11 => λ`203. [match(`45:-666) `203:-4611686018427387904 `56:-4611686018427387904
 811  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`204. [
 812 match(`50:-666) `204:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
 813 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`205. [match(`72:-666) `205:-4611686018427387904 `126:-461168
 814 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
 815 th 32 => `127:-666] ) | 21 => λ`205. [match(`73:-666) `205:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
 816 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
 817 6] )] ) | 13 => λ`204. [match(`51:-666) `204:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
 818 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`205. [match(`57:-666) `205:-46116860
 819 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
 820 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`200.
 821  [match(`61:-666) `200:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
 822 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 => `197:-666] )] ))) (
 823 λ`198. [match(`80:1) `198:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-461168601842738790
 824 4 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )) `132:-4611686018427387904 `
 825 131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904
 826 | 34: 34
 827 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
 828 | 36: `170:2 (λ`198. λ`199. λ`200. [match(b:1) `200:-4611686018427387904 `175:-4611686018427387904 `174:-461168601842738
 829 7904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`201. [
 830 match(`173:-666) `201:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904
 831  `183:-4611686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 =>
 832  `180:-666 | 51 => `181:-666] )) `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686
 833 018427387904
 834 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
 835 6:-4611686018427387904
 836 | 38: `170:1 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611686018427387904 `15
 837 3:-4611686018427387904
 838 | 39: h:2 (λ`198. λ`199. [match(n:1) `199:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
 839 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`200. [match(s:-666) `200:-4611686018427387904 `26:
 840 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
 841 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
 842 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
 843 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
 844 686018427387904 `153:-4611686018427387904
 845 | 41: 41
 846 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 847 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
 848 686018427387904 `161:-4611686018427387904
 849 | 44: `168:0 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 850 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
 851 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
 852 018427387904 `171:-4611686018427387904
 853 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
 854 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
 855 86018427387904 `171:-4611686018427387904
 856 | 49: `105:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 857 686018427387904 `171:-4611686018427387904
 858 | 50: `144:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 859 686018427387904 `171:-4611686018427387904
 860 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
 861 686018427387904 `171:-4611686018427387904
 862 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
 863 | 53: `62:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-4611686018427387904 `189:-46116
 864 86018427387904 `188:-4611686018427387904
 865 | 54: `192:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
 866 686018427387904 `161:-4611686018427387904
 867 | 55: `194:0 `191:-4611686018427387904 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
 868 | 56: `191:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
 869 904 q:-4611686018427387904
 870 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
 871 |
 872 DANGEROUS EAT: h
 873 DANGEROUS EAT: `164
 874 DANGEROUS EAT: `195
 875 dangerous_conv lenght:5
 876 `37 `192 `191 `190 `189 `188 `36 `35 `34 `74 `37 `192 `191 `190 `189 `188 `193 `195 `197 `36 `35 `34 `44 `43 `42 `41 `40
 877  `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `76 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `
 878 63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151 h
 879
 880
 881 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `121 `100 `175 `174 `173 `172 `171 `176 `186 `185 `184 `183 `182 `187 `178
 882  `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131 `130 `129 `128 `138 `137 `136 `135 `134 `144 `143 `14
 883 2 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110 `120 `119 `118 `117 `116 `121 `102 `195 `121
 884
 885 # INST_IN_EAT: `166 := λ`198. λ`199. λ`200. λ`201. 5
 886 # INST_IN_EAT: `167 := λ`198. λ`199. λ`200. λ`201. λ`202. 8
 887 # INST_IN_EAT: `168 := λ`198. λ`199. λ`200. λ`201. 44
 888 # INST_IN_EAT: `169 := λ`198. λ`199. λ`200. λ`201. λ`202. 29
 889 # INST_IN_EAT: `170 := λ`198. λ`199. λ`200. λ`201. λ`202. 36
 890 # INST_IN_EAT: `194 := λ`198. λ`199. λ`200. λ`201. 55
 891 dangerous_conv lenght:5
 892 `37 `192 `191 `190 `189 `188 `36 `35 `34 `74 `37 `192 `191 `190 `189 `188 `193 `195 `197 `36 `35 `34 `44 `43 `42 `41 `40
 893  `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `76 `75 `126 `125 `124 `123 `122 `127 `86 `85 `84 `83 `82 `87 `88 `
 894 63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151 h
 895
 896
 897 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96 `121 `100 `175 `174 `173 `172 `171 `176 `186 `185 `184 `183 `182 `187 `178
 898  `179 `180 `181 `99 `98 `97 `96 `107 `106 `105 `104 `103 `132 `131 `130 `129 `128 `138 `137 `136 `135 `134 `144 `143 `14
 899 2 `141 `140 `150 `149 `148 `147 `146 `152 `114 `113 `112 `111 `110 `120 `119 `118 `117 `116 `121 `102 `195 `121
 900
 901 ------------------------------------------------------------------------------------------------------------------------
 902
 903 ||||| Displaying problem: eat |||||
 904
 905 | measure=58 freshno = 197
 906 |> DISCRIMINATING SETS (deltas)
 907 | 53 <> 55 <> 57
 908 | 52
 909 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
 910 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
 911 | 36 <> 39 <> 40
 912 | 37
 913 | 35
 914 | 34
 915 | 33
 916 | 32
 917 | 31
 918 | 30
 919 | 28 <> 29
 920 | 26 <> 27
 921 | 24 <> 25
 922 | 22 <> 23
 923 | 20 <> 21
 924 | 17 <> 18 <> 6
 925 | 15 <> 36
 926 | 12 <> 13
 927 | 11
 928 | 10
 929 | 9
 930 | 8 <> 14
 931 | 7
 932 | 6 <> 16 <> 56
 933 | 5
 934 | 0 <> 1 <> 2 <> 3 <> 4
 935 |> DIVERGENT
 936 | *: `27:1
 937 |> CONVERGENT
 938 | _: `74:2 [match(`33:3) [match(`64:1) `37:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
 939 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 =>
 940  `197:-666] `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904) with 9 => λ`198. [match(`38:-666
 941 ) `198:-4611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-461168601842
 942 7387904 `40:-4611686018427387904 with 10 => λ`199. [match(`43:-666) `199:-4611686018427387904 `50:-4611686018427387904 `
 943 49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`200. [ma
 944 tch(`48:-666) `200:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-
 945 4611686018427387904 `52:-4611686018427387904 with 12 => λ`201. [match(`53:-666) `201:-4611686018427387904 `79:-461168601
 946 8427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 =
 947 > λ`202. [match(`75:-666) `202:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018
 948 427387904 `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`202. [match(`76:-666) `2
 949 02:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387
 950 904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`201. [match(`54:-666) `201:-4611686018
 951 427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116
 952 86018427387904 with 15 => λ`202. [match(`60:-666) `202:-4611686018427387904 `70:-4611686018427387904 `69:-46116860184273
 953 87904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 |
 954 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] h:1)
 955 | _: _
 956 | _: _
 957 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
 958 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`198. [match(`17
 959 6:-666) `198:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
 960 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
 961 6 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
 962 ) with 26 => λ`198. [match(`100:-666) `198:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387904 `105
 963 :-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`199. [match(`106:-666) `199:-4611
 964 686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904
 965 `128:-4611686018427387904 with 33 => λ`200. [match(`130:-666) `200:-4611686018427387904 `138:-4611686018427387904 `137:-
 966 4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`201. [mat
 967 ch(`135:-666) `201:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `1
 968 41:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`202. [match(`140:-666) `202:-4611686018427387904 `150:-46
 969 11686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-461168601842738790
 970 4 with 37 => `152:-666] )] )] )] ) | 29 => λ`199. [match(`107:-666) `199:-4611686018427387904 `114:-4611686018427387904
 971 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30 => λ`200
 972 . [match(`112:-666) `200:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387
 973 904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] `195:1) `121:1
 974 | _: _
 975 |> NUMERIC
 976 | 0: `127:1 a:0
 977 | 1: `87:0
 978 | 2: `72:1 a:0
 979 | 3: `73:1 a:0
 980 | 4: `152:1 a:0
 981 | 5: 5
 982 | 6: 6
 983 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
 984 | 8: 8
 985 | 9: `102:0 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904
 986 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
 987 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
 988 | 12: 12
 989 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
 990 86018427387904
 991 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
 992 | 15: `193:0 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
 993 | 16: `195:1 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-461168601842
 994 7387904
 995 | 17: `71:2 `195:1 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `
 996 66:-4611686018427387904
 997 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
 998 | 19: 6
 999 | 20: `195:1 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-46
1000 11686018427387904
1001 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1002 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
1003 86018427387904
1004 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
1005 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
1006 86018427387904
1007 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
1008 8427387904 `89:-4611686018427387904
1009 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1010 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
1011 18427387904 `96:-4611686018427387904
1012 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
1013 | 29: 29
1014 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
1015 | 31: `195:3 (λ`198. [match(f:1) `198:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-461168
1016 6018427387904 `90:-4611686018427387904 `89:-4611686018427387904 with 24 => λ`199. [match(`92:-666) `199:-461168601842738
1017 7904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-461168601
1018 8427387904 with 26 => λ`200. [match(`98:-666) `200:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387
1019 904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`201. [match(`104:-666) `2
1020 01:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-461168601842
1021 7387904 `128:-4611686018427387904 with 33 => λ`202. [match(`128:-666) `202:-4611686018427387904 `138:-461168601842738790
1022 4 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`2
1023 03. [match(`133:-666) `203:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-46116860184273
1024 87904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`204. [match(`138:-666) `204:-4611686018427387904
1025 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-4611686018
1026 427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`201. [match(`105:-666) `201:-4611686018427387904 `114:-461168601842
1027 7387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30
1028 => λ`202. [match(`110:-666) `202:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-46116860
1029 18427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] ) | 25
1030 => `95:-666] )) (`195:2 [match(e:3) [match(f:1) `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
1031 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`198. [match(`32:-666) `198:-4
1032 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
1033 34:-4611686018427387904 with 9 => λ`199. [match(`37:-666) `199:-4611686018427387904 `44:-4611686018427387904 `43:-461168
1034 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`200. [match(`42:-6
1035 66) `200:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
1036 427387904 `46:-4611686018427387904 with 11 => λ`201. [match(`47:-666) `201:-4611686018427387904 `56:-4611686018427387904
1037  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`202. [
1038 match(`52:-666) `202:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
1039 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`203. [match(`74:-666) `203:-4611686018427387904 `126:-461168
1040 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
1041 th 32 => `127:-666] ) | 21 => λ`203. [match(`75:-666) `203:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
1042 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
1043 6] )] ) | 13 => λ`202. [match(`53:-666) `202:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
1044 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`203. [match(`59:-666) `203:-46116860
1045 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1046 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`198.
1047  [match(`63:-666) `198:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
1048 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 => `197:-666] )] `173:
1049 -4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with 46 => `176:-666 | 47 => λ`198. [match(`17
1050 6:-666) `198:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
1051 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
1052 6 | 51 => `181:-666] λ`198. i:2 h:1)) `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117
1053 :-4611686018427387904 `116:-4611686018427387904
1054 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
1055 | 33: `197:3 (λ`198. `198:2 (λ`199. [match(d:1) `199:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
1056 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`200. [match(`30:-666) `200:-4
1057 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
1058 34:-4611686018427387904 with 9 => λ`201. [match(`35:-666) `201:-4611686018427387904 `44:-4611686018427387904 `43:-461168
1059 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`202. [match(`40:-6
1060 66) `202:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
1061 427387904 `46:-4611686018427387904 with 11 => λ`203. [match(`45:-666) `203:-4611686018427387904 `56:-4611686018427387904
1062  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`204. [
1063 match(`50:-666) `204:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
1064 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`205. [match(`72:-666) `205:-4611686018427387904 `126:-461168
1065 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
1066 th 32 => `127:-666] ) | 21 => λ`205. [match(`73:-666) `205:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
1067 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
1068 6] )] ) | 13 => λ`204. [match(`51:-666) `204:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
1069 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`205. [match(`57:-666) `205:-46116860
1070 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1071 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`200.
1072  [match(`61:-666) `200:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
1073 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => `195:-666 | 57 => `197:-666] )] ))) (
1074 λ`198. [match(`80:1) `198:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-461168601842738790
1075 4 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )) `132:-4611686018427387904 `
1076 131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904
1077 | 34: 34
1078 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
1079 | 36: 36
1080 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
1081 6:-4611686018427387904
1082 | 38: 36
1083 | 39: h:2 (λ`198. λ`199. [match(n:1) `199:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
1084 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`200. [match(s:-666) `200:-4611686018427387904 `26:
1085 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
1086 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
1087 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
1088 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
1089 686018427387904 `153:-4611686018427387904
1090 | 41: 41
1091 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1092 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1093 686018427387904 `161:-4611686018427387904
1094 | 44: 44
1095 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1096 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
1097 018427387904 `171:-4611686018427387904
1098 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
1099 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
1100 86018427387904 `171:-4611686018427387904
1101 | 49: `105:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1102 686018427387904 `171:-4611686018427387904
1103 | 50: `144:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1104 686018427387904 `171:-4611686018427387904
1105 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1106 686018427387904 `171:-4611686018427387904
1107 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
1108 | 53: `62:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-4611686018427387904 `189:-46116
1109 86018427387904 `188:-4611686018427387904
1110 | 54: `192:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1111 686018427387904 `161:-4611686018427387904
1112 | 55: 55
1113 | 56: `191:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
1114 904 q:-4611686018427387904
1115 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
1116 |
1117 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
1118 compare 58 72= 1
1119 $ Measure decreased by 1
1120 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
1121 DANGEROUS EAT: h
1122 DANGEROUS EAT: `164
1123 DANGEROUS EAT: `195
1124 INSTANTIATING CRITICAL TO EAT h
1125 INSTANTIATING AND HOPING `195
1126 @@@@ NEW INSTANTIATE PHASE (1) @@@@
1127 WARNING: using constant initialSpecialK
1128 # INST: `195 := λ`207. [match(`194:666) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `2
1129 00:-4611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61
1130 => `206:-666] )
1131 ------------------------------------------------------------------------------------------------------------------------
1132
1133 ||||| Displaying problem: instantiate |||||
1134
1135 | measure=52 freshno = 206
1136 |> DISCRIMINATING SETS (deltas)
1137 | 58 <> 59 <> 61
1138 | 53 <> 55 <> 57
1139 | 52
1140 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
1141 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
1142 | 36 <> 39 <> 40
1143 | 37
1144 | 35
1145 | 34
1146 | 33
1147 | 32
1148 | 31
1149 | 30
1150 | 28 <> 29
1151 | 26 <> 27
1152 | 24 <> 25 <> 60
1153 | 22 <> 23
1154 | 20 <> 21
1155 | 17 <> 18 <> 6
1156 | 15 <> 36
1157 | 12 <> 13
1158 | 11
1159 | 10
1160 | 9
1161 | 8 <> 14
1162 | 7
1163 | 6 <> 16 <> 56
1164 | 5
1165 | 0 <> 1 <> 2 <> 3 <> 4
1166 |> DIVERGENT
1167 | *: `27:1
1168 |> CONVERGENT
1169 | _: `74:2 [match(`33:3) [match(`64:1) `37:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
1170 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`207. [match(`19
1171 4:-666) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46
1172 11686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-66
1173 6] `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904) with 9 => λ`207. [match(`38:-666) `207:-4
1174 611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `
1175 40:-4611686018427387904 with 10 => λ`208. [match(`43:-666) `208:-4611686018427387904 `50:-4611686018427387904 `49:-46116
1176 86018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`209. [match(`48:-
1177 666) `209:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-461168601
1178 8427387904 `52:-4611686018427387904 with 12 => λ`210. [match(`53:-666) `210:-4611686018427387904 `79:-461168601842738790
1179 4 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`211.
1180 [match(`75:-666) `211:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904
1181  `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`211. [match(`76:-666) `211:-46116
1182 86018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-
1183 4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`210. [match(`54:-666) `210:-4611686018427387904
1184  `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116860184273
1185 87904 with 15 => λ`211. [match(`60:-666) `211:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68
1186 :-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:
1187 -666] ) | 36 => `151:-666] )] )] )] )] h:1)
1188 | _: _
1189 | _: _
1190 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
1191 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`207. [match(`17
1192 6:-666) `207:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
1193 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
1194 6 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1195 ) with 26 => λ`207. [match(`100:-666) `207:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387904 `105
1196 :-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`208. [match(`106:-666) `208:-4611
1197 686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904
1198 `128:-4611686018427387904 with 33 => λ`209. [match(`130:-666) `209:-4611686018427387904 `138:-4611686018427387904 `137:-
1199 4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`210. [mat
1200 ch(`135:-666) `210:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `1
1201 41:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`211. [match(`140:-666) `211:-4611686018427387904 `150:-46
1202 11686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-461168601842738790
1203 4 with 37 => `152:-666] )] )] )] ) | 29 => λ`208. [match(`107:-666) `208:-4611686018427387904 `114:-4611686018427387904
1204 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30 => λ`209
1205 . [match(`112:-666) `209:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387
1206 904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] λ`207. [match(`
1207 194:1) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-461
1208 1686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] )) `121:1
1209 | _: _
1210 |> NUMERIC
1211 | 0: `127:1 a:0
1212 | 1: `87:0
1213 | 2: `72:1 a:0
1214 | 3: `73:1 a:0
1215 | 4: `152:1 a:0
1216 | 5: 5
1217 | 6: 6
1218 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
1219 | 8: 8
1220 | 9: `102:0 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904
1221 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
1222 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
1223 | 12: 12
1224 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
1225 86018427387904
1226 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
1227 | 15: `193:0 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
1228 | 16: `203:0 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-4611686018427387904
1229 | 17: `71:2 (λ`207. [match(`194:1) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4
1230 611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `2
1231 06:-666] )) `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1232 1686018427387904
1233 | 18: `95:0 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
1234 | 19: 6
1235 | 20: `204:0 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1236 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1237 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
1238 86018427387904
1239 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
1240 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
1241 86018427387904
1242 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
1243 8427387904 `89:-4611686018427387904
1244 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1245 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
1246 18427387904 `96:-4611686018427387904
1247 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
1248 | 29: 29
1249 | 30: `113:1 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904
1250 | 31: `206:2 [match(`195:2) [match(e:3) [match(f:1) `174:-4611686018427387904 `32:-4611686018427387904 `31:-461168601842
1251 7387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`207. [match(`32:-666) `20
1252 7:-4611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-46116860184273879
1253 04 `34:-4611686018427387904 with 9 => λ`208. [match(`37:-666) `208:-4611686018427387904 `44:-4611686018427387904 `43:-46
1254 11686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`209. [match(`4
1255 2:-666) `209:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-461168
1256 6018427387904 `46:-4611686018427387904 with 11 => λ`210. [match(`47:-666) `210:-4611686018427387904 `56:-461168601842738
1257 7904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`21
1258 1. [match(`52:-666) `211:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904
1259  `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`212. [match(`74:-666) `212:-4611686018427387904 `126:-46
1260 11686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-461168601842738790
1261 4 with 32 => `127:-666] ) | 21 => λ`212. [match(`75:-666) `212:-4611686018427387904 `86:-4611686018427387904 `85:-461168
1262 6018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88
1263 :-666] )] ) | 13 => λ`211. [match(`53:-666) `211:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904
1264 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`212. [match(`59:-666) `212:-4611
1265 686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:
1266 -4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`
1267 207. [match(`63:-666) `207:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-46116860184273
1268 87904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`208. [match(`193:-666) `208:-46
1269 11686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-461168601842738790
1270 4 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-666] )] `173:-4611
1271 686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with 46 => `176:-666 | 47 => λ`207. [match(`176:-66
1272 6) `207:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686
1273 018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-666 | 5
1274 1 => `181:-666] λ`207. i:2 h:1 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46116
1275 86018427387904 `198:-4611686018427387904) with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) `120:-461168601842
1276 7387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904
1277 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
1278 | 33: `197:3 (λ`207. `207:2 (λ`208. [match(d:1) `208:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
1279 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`209. [match(`30:-666) `209:-4
1280 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
1281 34:-4611686018427387904 with 9 => λ`210. [match(`35:-666) `210:-4611686018427387904 `44:-4611686018427387904 `43:-461168
1282 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`211. [match(`40:-6
1283 66) `211:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
1284 427387904 `46:-4611686018427387904 with 11 => λ`212. [match(`45:-666) `212:-4611686018427387904 `56:-4611686018427387904
1285  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`213. [
1286 match(`50:-666) `213:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
1287 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`214. [match(`72:-666) `214:-4611686018427387904 `126:-461168
1288 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
1289 th 32 => `127:-666] ) | 21 => λ`214. [match(`73:-666) `214:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
1290 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
1291 6] )] ) | 13 => λ`213. [match(`51:-666) `213:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
1292 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`214. [match(`57:-666) `214:-46116860
1293 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1294 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`209.
1295  [match(`61:-666) `209:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
1296 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`210. [match(`191:-666) `210:-461168
1297 6018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `1
1298 98:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-666] )] ))) (λ`207. [m
1299 atch(`80:1) `207:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-46
1300 11686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )) `132:-4611686018427387904 `131:-4611
1301 686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904
1302 | 34: 34
1303 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
1304 | 36: 36
1305 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
1306 6:-4611686018427387904
1307 | 38: 36
1308 | 39: h:2 (λ`207. λ`208. [match(n:1) `208:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
1309 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`209. [match(s:-666) `209:-4611686018427387904 `26:
1310 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
1311 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
1312 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
1313 | 40: `134:-4611686018427387904 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611
1314 686018427387904 `153:-4611686018427387904
1315 | 41: 41
1316 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1317 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1318 686018427387904 `161:-4611686018427387904
1319 | 44: 44
1320 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1321 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
1322 018427387904 `171:-4611686018427387904
1323 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
1324 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
1325 86018427387904 `171:-4611686018427387904
1326 | 49: `105:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1327 686018427387904 `171:-4611686018427387904
1328 | 50: `144:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1329 686018427387904 `171:-4611686018427387904
1330 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1331 686018427387904 `171:-4611686018427387904
1332 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
1333 | 53: `62:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-4611686018427387904 `189:-46116
1334 86018427387904 `188:-4611686018427387904
1335 | 54: `192:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1336 686018427387904 `161:-4611686018427387904
1337 | 55: 55
1338 | 56: `191:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
1339 904 q:-4611686018427387904
1340 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
1341 | 58: u:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686
1342 018427387904 `198:-4611686018427387904
1343 | 59: `79:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46116
1344 86018427387904 `198:-4611686018427387904
1345 | 60: `202:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-46116860
1346 18427387904 `89:-4611686018427387904
1347 | 61: `205:0 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904
1348 |
1349 DANGEROUS EAT: h
1350 DANGEROUS EAT: `164
1351 dangerous_conv lenght:5
1352 `37 `192 `191 `190 `189 `188 `36 `35 `34 `74 `37 `192 `191 `190 `189 `188 `193 `202 `201 `200 `199 `198 `203 `204 `206 `
1353 197 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `76 `75 `126 `125 `124 `123 `122
1354  `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151 h
1355
1356
1357 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
1358
1359 # INST_IN_EAT: `95 := λ`207. λ`208. λ`209. λ`210. 18
1360 # INST_IN_EAT: `102 := λ`207. λ`208. λ`209. λ`210. 9
1361 # INST_IN_EAT: `105 := λ`207. λ`208. λ`209. λ`210. λ`211. 49
1362 # INST_IN_EAT: `113 := λ`207. λ`208. λ`209. 30
1363 # INST_IN_EAT: `134 := λ`207. λ`208. λ`209. λ`210. λ`211. 40
1364 # INST_IN_EAT: `144 := λ`207. λ`208. λ`209. λ`210. λ`211. 50
1365 # INST_IN_EAT: `152 := λ`207. 4
1366 # INST_IN_EAT: `205 := λ`207. λ`208. λ`209. λ`210. 61
1367 dangerous_conv lenght:5
1368 `37 `192 `191 `190 `189 `188 `36 `35 `34 `74 `37 `192 `191 `190 `189 `188 `193 `202 `201 `200 `199 `198 `203 `204 `206 `
1369 197 `36 `35 `34 `44 `43 `42 `41 `40 `50 `49 `48 `47 `46 `56 `55 `54 `53 `52 `79 `78 `77 `76 `75 `126 `125 `124 `123 `122
1370  `127 `86 `85 `84 `83 `82 `87 `88 `63 `62 `61 `60 `59 `70 `69 `68 `67 `66 `72 `73 `74 `151 h
1371
1372
1373 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
1374
1375 ------------------------------------------------------------------------------------------------------------------------
1376
1377 ||||| Displaying problem: eat |||||
1378
1379 | measure=50 freshno = 206
1380 |> DISCRIMINATING SETS (deltas)
1381 | 58 <> 59 <> 61
1382 | 53 <> 55 <> 57
1383 | 52
1384 | 46 <> 47 <> 48 <> 49 <> 50 <> 51
1385 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
1386 | 36 <> 39 <> 40
1387 | 37
1388 | 35
1389 | 34
1390 | 33
1391 | 32
1392 | 31
1393 | 30
1394 | 28 <> 29
1395 | 26 <> 27
1396 | 24 <> 25 <> 60
1397 | 22 <> 23
1398 | 20 <> 21
1399 | 17 <> 18 <> 6
1400 | 15 <> 36
1401 | 12 <> 13
1402 | 11
1403 | 10
1404 | 9
1405 | 8 <> 14
1406 | 7
1407 | 6 <> 16 <> 56
1408 | 5
1409 | 0 <> 1 <> 2 <> 3 <> 4
1410 |> DIVERGENT
1411 | *: `27:1
1412 |> CONVERGENT
1413 | _: `74:2 [match(`33:3) [match(`64:1) `37:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
1414 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`207. [match(`19
1415 4:-666) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46
1416 11686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-66
1417 6] `36:-4611686018427387904 `35:-4611686018427387904 `34:-4611686018427387904) with 9 => λ`207. [match(`38:-666) `207:-4
1418 611686018427387904 `44:-4611686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `
1419 40:-4611686018427387904 with 10 => λ`208. [match(`43:-666) `208:-4611686018427387904 `50:-4611686018427387904 `49:-46116
1420 86018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`209. [match(`48:-
1421 666) `209:-4611686018427387904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-461168601
1422 8427387904 `52:-4611686018427387904 with 12 => λ`210. [match(`53:-666) `210:-4611686018427387904 `79:-461168601842738790
1423 4 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`211.
1424 [match(`75:-666) `211:-4611686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904
1425  `123:-4611686018427387904 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`211. [match(`76:-666) `211:-46116
1426 86018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-
1427 4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`210. [match(`54:-666) `210:-4611686018427387904
1428  `63:-4611686018427387904 `62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-46116860184273
1429 87904 with 15 => λ`211. [match(`60:-666) `211:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68
1430 :-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:
1431 -666] ) | 36 => `151:-666] )] )] )] )] h:1)
1432 | _: _
1433 | _: _
1434 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
1435 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`207. [match(`17
1436 6:-666) `207:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
1437 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
1438 6 | 51 => `181:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1439 ) with 26 => λ`207. [match(`100:-666) `207:-4611686018427387904 `107:-4611686018427387904 `106:-4611686018427387904 `105
1440 :-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`208. [match(`106:-666) `208:-4611
1441 686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-4611686018427387904
1442 `128:-4611686018427387904 with 33 => λ`209. [match(`130:-666) `209:-4611686018427387904 `138:-4611686018427387904 `137:-
1443 4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with 34 => λ`210. [mat
1444 ch(`135:-666) `210:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611686018427387904 `1
1445 41:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`211. [match(`140:-666) `211:-4611686018427387904 `150:-46
1446 11686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-461168601842738790
1447 4 with 37 => `152:-666] )] )] )] ) | 29 => λ`208. [match(`107:-666) `208:-4611686018427387904 `114:-4611686018427387904
1448 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-4611686018427387904 with 30 => λ`209
1449 . [match(`112:-666) `209:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387
1450 904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-666] λ`207. [match(`
1451 194:1) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-461
1452 1686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] )) `121:1
1453 | _: _
1454 |> NUMERIC
1455 | 0: `127:1 a:0
1456 | 1: `87:0
1457 | 2: `72:1 a:0
1458 | 3: `73:1 a:0
1459 | 4: 4
1460 | 5: 5
1461 | 6: 6
1462 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
1463 | 8: 8
1464 | 9: 9
1465 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
1466 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
1467 | 12: 12
1468 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
1469 86018427387904
1470 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
1471 | 15: `193:0 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
1472 | 16: `203:0 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-4611686018427387904
1473 | 17: `71:2 (λ`207. [match(`194:1) `207:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4
1474 611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `2
1475 06:-666] )) `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1476 1686018427387904
1477 | 18: 18
1478 | 19: 6
1479 | 20: `204:0 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1480 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1481 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
1482 86018427387904
1483 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
1484 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
1485 86018427387904
1486 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
1487 8427387904 `89:-4611686018427387904
1488 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1489 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
1490 18427387904 `96:-4611686018427387904
1491 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
1492 | 29: 29
1493 | 30: 30
1494 | 31: `206:2 [match(`195:2) [match(e:3) [match(f:1) `174:-4611686018427387904 `32:-4611686018427387904 `31:-461168601842
1495 7387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`207. [match(`32:-666) `20
1496 7:-4611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-46116860184273879
1497 04 `34:-4611686018427387904 with 9 => λ`208. [match(`37:-666) `208:-4611686018427387904 `44:-4611686018427387904 `43:-46
1498 11686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`209. [match(`4
1499 2:-666) `209:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-461168
1500 6018427387904 `46:-4611686018427387904 with 11 => λ`210. [match(`47:-666) `210:-4611686018427387904 `56:-461168601842738
1501 7904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`21
1502 1. [match(`52:-666) `211:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904
1503  `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`212. [match(`74:-666) `212:-4611686018427387904 `126:-46
1504 11686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-461168601842738790
1505 4 with 32 => `127:-666] ) | 21 => λ`212. [match(`75:-666) `212:-4611686018427387904 `86:-4611686018427387904 `85:-461168
1506 6018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88
1507 :-666] )] ) | 13 => λ`211. [match(`53:-666) `211:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904
1508 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`212. [match(`59:-666) `212:-4611
1509 686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:
1510 -4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`
1511 207. [match(`63:-666) `207:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-46116860184273
1512 87904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`208. [match(`193:-666) `208:-46
1513 11686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-461168601842738790
1514 4 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-666] )] `173:-4611
1515 686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with 46 => `176:-666 | 47 => λ`207. [match(`176:-66
1516 6) `207:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686
1517 018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-666 | 5
1518 1 => `181:-666] λ`207. i:2 h:1 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46116
1519 86018427387904 `198:-4611686018427387904) with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) `120:-461168601842
1520 7387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904
1521 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
1522 | 33: `197:3 (λ`207. `207:2 (λ`208. [match(d:1) `208:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
1523 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`209. [match(`30:-666) `209:-4
1524 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
1525 34:-4611686018427387904 with 9 => λ`210. [match(`35:-666) `210:-4611686018427387904 `44:-4611686018427387904 `43:-461168
1526 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`211. [match(`40:-6
1527 66) `211:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
1528 427387904 `46:-4611686018427387904 with 11 => λ`212. [match(`45:-666) `212:-4611686018427387904 `56:-4611686018427387904
1529  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`213. [
1530 match(`50:-666) `213:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
1531 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`214. [match(`72:-666) `214:-4611686018427387904 `126:-461168
1532 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
1533 th 32 => `127:-666] ) | 21 => λ`214. [match(`73:-666) `214:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
1534 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
1535 6] )] ) | 13 => λ`213. [match(`51:-666) `213:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
1536 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`214. [match(`57:-666) `214:-46116860
1537 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1538 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`209.
1539  [match(`61:-666) `209:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
1540 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`210. [match(`191:-666) `210:-461168
1541 6018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `1
1542 98:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => `206:-666] ) | 57 => `197:-666] )] ))) (λ`207. [m
1543 atch(`80:1) `207:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-46
1544 11686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )) `132:-4611686018427387904 `131:-4611
1545 686018427387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904
1546 | 34: 34
1547 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
1548 | 36: 36
1549 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
1550 6:-4611686018427387904
1551 | 38: 36
1552 | 39: h:2 (λ`207. λ`208. [match(n:1) `208:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
1553 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`209. [match(s:-666) `209:-4611686018427387904 `26:
1554 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
1555 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
1556 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
1557 | 40: 40
1558 | 41: 41
1559 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1560 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1561 686018427387904 `161:-4611686018427387904
1562 | 44: 44
1563 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1564 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
1565 018427387904 `171:-4611686018427387904
1566 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
1567 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
1568 86018427387904 `171:-4611686018427387904
1569 | 49: 49
1570 | 50: 50
1571 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1572 686018427387904 `171:-4611686018427387904
1573 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
1574 | 53: `62:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-4611686018427387904 `189:-46116
1575 86018427387904 `188:-4611686018427387904
1576 | 54: `192:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1577 686018427387904 `161:-4611686018427387904
1578 | 55: 55
1579 | 56: `191:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
1580 904 q:-4611686018427387904
1581 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
1582 | 58: u:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686
1583 018427387904 `198:-4611686018427387904
1584 | 59: `79:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46116
1585 86018427387904 `198:-4611686018427387904
1586 | 60: `202:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-46116860
1587 18427387904 `89:-4611686018427387904
1588 | 61: 61
1589 |
1590 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
1591 compare 50 58= 1
1592 $ Measure decreased by 1
1593 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
1594 DANGEROUS EAT: h
1595 DANGEROUS EAT: `164
1596 INSTANTIATING CRITICAL TO EAT h
1597 INSTANTIATING AND HOPING `206
1598 WARNING: using constant initialSpecialK
1599 # INST: `206 := λ`216. [match(`205:666) `216:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `2
1600 09:-4611686018427387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] )
1601 ------------------------------------------------------------------------------------------------------------------------
1602
1603 ||||| Displaying problem: instantiate |||||
1604
1605 | measure=49 freshno = 215
1606 |> DISCRIMINATING SETS (deltas)
1607 | 65
1608 | 58 <> 59 <> 61 <> 64
1609 | 53 <> 55 <> 57
1610 | 52
1611 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
1612 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
1613 | 36 <> 39 <> 40
1614 | 37
1615 | 35
1616 | 34
1617 | 33
1618 | 32
1619 | 31
1620 | 30
1621 | 28 <> 29
1622 | 26 <> 27
1623 | 24 <> 25 <> 60
1624 | 22 <> 23
1625 | 20 <> 21
1626 | 17 <> 18 <> 6
1627 | 15 <> 36
1628 | 12 <> 13
1629 | 11
1630 | 10
1631 | 9
1632 | 8 <> 14 <> 62
1633 | 7
1634 | 6 <> 16 <> 56
1635 | 5
1636 | 0 <> 1 <> 2 <> 3 <> 4
1637 |> DIVERGENT
1638 | *: `27:1
1639 |> CONVERGENT
1640 | _: `74:2 [match(`33:3) [match(`64:1) `37:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190
1641 :-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`216. [match(`19
1642 4:-666) `216:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46
1643 11686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`217. [match(`204:-666) `217
1644 :-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `208:-46116860184273
1645 87904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] ) | 57 => `197:-666] `36:-4611686018427387904
1646  `35:-4611686018427387904 `34:-4611686018427387904) with 9 => λ`216. [match(`38:-666) `216:-4611686018427387904 `44:-461
1647 1686018427387904 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 wit
1648 h 10 => λ`217. [match(`43:-666) `217:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686
1649 018427387904 `47:-4611686018427387904 `46:-4611686018427387904 with 11 => λ`218. [match(`48:-666) `218:-4611686018427387
1650 904 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116860184
1651 27387904 with 12 => λ`219. [match(`53:-666) `219:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904
1652 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904 with 20 => λ`220. [match(`75:-666) `220:-4611
1653 686018427387904 `126:-4611686018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904
1654 `122:-4611686018427387904 with 32 => `127:-666] ) | 21 => λ`220. [match(`76:-666) `220:-4611686018427387904 `86:-4611686
1655 018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22
1656  => `87:-666 | 23 => `88:-666] )] ) | 13 => λ`219. [match(`54:-666) `219:-4611686018427387904 `63:-4611686018427387904 `
1657 62:-4611686018427387904 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`220. [ma
1658 tch(`60:-666) `220:-4611686018427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-
1659 4611686018427387904 `66:-4611686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666]
1660 )] )] )] )] h:1)
1661 | _: _
1662 | _: _
1663 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
1664 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`216. [match(`17
1665 6:-666) `216:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
1666 11686018427387904 `182:-4611686018427387904 with 52 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
1667 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
1668 611686018427387904) with 26 => λ`216. [match(`100:-666) `216:-4611686018427387904 `107:-4611686018427387904 `106:-461168
1669 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`217. [match(`10
1670 6:-666) `217:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
1671 11686018427387904 `128:-4611686018427387904 with 33 => λ`218. [match(`130:-666) `218:-4611686018427387904 `138:-46116860
1672 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
1673  34 => λ`219. [match(`135:-666) `219:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
1674 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`220. [match(`140:-666) `220:-4611686018
1675 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
1676 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`217. [match(`107:-666) `217:-4611686018427387904 `114:-46
1677 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
1678 4 with 30 => λ`218. [match(`112:-666) `218:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
1679 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
1680 6] λ`216. [match(`194:1) `216:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
1681 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`217. [matc
1682 h(`204:-666) `217:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
1683 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
1684 | _: _
1685 |> NUMERIC
1686 | 0: `127:1 a:0
1687 | 1: `87:0
1688 | 2: `72:1 a:0
1689 | 3: `73:1 a:0
1690 | 4: 4
1691 | 5: 5
1692 | 6: 6
1693 | 7: `176:0 x:-4611686018427387904 w:-4611686018427387904
1694 | 8: 8
1695 | 9: 9
1696 | 10: i:2 h:1 `43:-4611686018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904
1697 | 11: `187:1 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018427387904 `46:-4611686018427387904
1698 | 12: 12
1699 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
1700 86018427387904
1701 | 14: `178:0 `31:-4611686018427387904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904
1702 | 15: `193:0 `61:-4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904
1703 | 16: `203:0 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-4611686018427387904
1704 | 17: `71:2 (λ`216. [match(`194:1) `216:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4
1705 611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`
1706 217. [match(`204:-666) `217:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427
1707 387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `70:-4611686018
1708 427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
1709 | 18: 18
1710 | 19: 6
1711 | 20: `204:0 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1712 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1713 | 22: a:0 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-46116
1714 86018427387904
1715 | 23: `85:1 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904
1716 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
1717 86018427387904
1718 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
1719 8427387904 `89:-4611686018427387904
1720 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1721 | 27: `38:-4611686018427387904 `100:-4611686018427387904 `99:-4611686018427387904 `98:-4611686018427387904 `97:-46116860
1722 18427387904 `96:-4611686018427387904
1723 | 28: `179:0 `104:-4611686018427387904 `103:-4611686018427387904
1724 | 29: 29
1725 | 30: 30
1726 | 31: `215:1 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `11
1727 6:-4611686018427387904
1728 | 32: `126:2 `126:1 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904
1729 | 33: `197:3 (λ`216. `216:2 (λ`217. [match(d:1) `217:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387
1730 904 `30:-4611686018427387904 `29:-4611686018427387904 `28:-4611686018427387904 with 8 => λ`218. [match(`30:-666) `218:-4
1731 611686018427387904 `38:-4611686018427387904 `37:-4611686018427387904 `36:-4611686018427387904 `35:-4611686018427387904 `
1732 34:-4611686018427387904 with 9 => λ`219. [match(`35:-666) `219:-4611686018427387904 `44:-4611686018427387904 `43:-461168
1733 6018427387904 `42:-4611686018427387904 `41:-4611686018427387904 `40:-4611686018427387904 with 10 => λ`220. [match(`40:-6
1734 66) `220:-4611686018427387904 `50:-4611686018427387904 `49:-4611686018427387904 `48:-4611686018427387904 `47:-4611686018
1735 427387904 `46:-4611686018427387904 with 11 => λ`221. [match(`45:-666) `221:-4611686018427387904 `56:-4611686018427387904
1736  `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904 with 12 => λ`222. [
1737 match(`50:-666) `222:-4611686018427387904 `79:-4611686018427387904 `78:-4611686018427387904 `77:-4611686018427387904 `76
1738 :-4611686018427387904 `75:-4611686018427387904 with 20 => λ`223. [match(`72:-666) `223:-4611686018427387904 `126:-461168
1739 6018427387904 `125:-4611686018427387904 `124:-4611686018427387904 `123:-4611686018427387904 `122:-4611686018427387904 wi
1740 th 32 => `127:-666] ) | 21 => λ`223. [match(`73:-666) `223:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018
1741 427387904 `84:-4611686018427387904 `83:-4611686018427387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-66
1742 6] )] ) | 13 => λ`222. [match(`51:-666) `222:-4611686018427387904 `63:-4611686018427387904 `62:-4611686018427387904 `61:
1743 -4611686018427387904 `60:-4611686018427387904 `59:-4611686018427387904 with 15 => λ`223. [match(`57:-666) `223:-46116860
1744 18427387904 `70:-4611686018427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-461
1745 1686018427387904 with 17 => `72:-666 | 18 => `73:-666 | 6 => `74:-666] ) | 36 => `151:-666] )] )] )] )] ) | 14 => λ`218.
1746  [match(`61:-666) `218:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-461168601842738790
1747 4 `189:-4611686018427387904 `188:-4611686018427387904 with 53 => `193:-666 | 55 => λ`219. [match(`191:-666) `219:-461168
1748 6018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `1
1749 98:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`220. [match(`201:-666) `220:-461168601842738790
1750 4 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `208:-4611686018427387904 `207:-46116860
1751 18427387904 with 65 => `215:-666] ) | 64 => `214:-666] ) | 57 => `197:-666] ) | 62 => `212:-666] ))) (λ`216. [match(`80:
1752 1) `216:-4611686018427387904 `86:-4611686018427387904 `85:-4611686018427387904 `84:-4611686018427387904 `83:-46116860184
1753 27387904 `82:-4611686018427387904 with 22 => `87:-666 | 23 => `88:-666] )) `132:-4611686018427387904 `131:-4611686018427
1754 387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904
1755 | 34: 34
1756 | 35: `180:0 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904
1757 | 36: 36
1758 | 37: `151:1 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `14
1759 6:-4611686018427387904
1760 | 38: 36
1761 | 39: h:2 (λ`216. λ`217. [match(n:1) `217:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
1762 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`218. [match(s:-666) `218:-4611686018427387904 `26:
1763 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
1764 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
1765 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
1766 | 40: 40
1767 | 41: 41
1768 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1769 | 43: `165:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1770 686018427387904 `161:-4611686018427387904
1771 | 44: 44
1772 | 45: `181:0 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1773 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
1774 018427387904 `171:-4611686018427387904
1775 | 47: `50:1 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
1776 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
1777 86018427387904 `171:-4611686018427387904
1778 | 49: 49
1779 | 50: 50
1780 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1781 686018427387904 `171:-4611686018427387904
1782 | 52: i:2 h:1 `185:-4611686018427387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904
1783 | 53: `62:-4611686018427387904 `192:-4611686018427387904 `191:-4611686018427387904 `190:-4611686018427387904 `189:-46116
1784 86018427387904 `188:-4611686018427387904
1785 | 54: `192:-4611686018427387904 `165:-4611686018427387904 `164:-4611686018427387904 `163:-4611686018427387904 `162:-4611
1786 686018427387904 `161:-4611686018427387904
1787 | 55: 55
1788 | 56: `191:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
1789 904 q:-4611686018427387904
1790 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
1791 | 58: u:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686
1792 018427387904 `198:-4611686018427387904
1793 | 59: `79:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-46116
1794 86018427387904 `198:-4611686018427387904
1795 | 60: `202:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-46116860
1796 18427387904 `89:-4611686018427387904
1797 | 61: 61
1798 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
1799 18427387904 `28:-4611686018427387904
1800 | 63: `212:0 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904
1801 | 64: `213:2 (λ`216. i:2 h:1) `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-461168
1802 6018427387904 `198:-4611686018427387904
1803 | 65: `214:1 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `208:-4611686018427387904 `20
1804 7:-4611686018427387904
1805 |
1806 DANGEROUS EAT: h
1807 DANGEROUS EAT: `164
1808 dangerous_inert_conv: ar=4 k=`100 listlenargs=9
1809 dangerous_conv lenght:5
1810
1811
1812
1813 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
1814
1815 dangerous_conv lenght:5
1816
1817
1818
1819 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
1820
1821 # INST_IN_EAT: a := λ`216. λ`217. λ`218. λ`219. λ`220. 22
1822 # INST_IN_EAT: i := λ`216. λ`217. λ`218. λ`219. λ`220. 10
1823 # INST_IN_EAT: `38 := λ`216. λ`217. λ`218. λ`219. λ`220. 27
1824 # INST_IN_EAT: `50 := λ`216. λ`217. λ`218. λ`219. 47
1825 # INST_IN_EAT: `62 := λ`216. λ`217. λ`218. λ`219. λ`220. 53
1826 # INST_IN_EAT: `72 := λ`216. 2
1827 # INST_IN_EAT: `73 := λ`216. 3
1828 # INST_IN_EAT: `79 := λ`216. λ`217. λ`218. λ`219. λ`220. 59
1829 # INST_IN_EAT: `85 := λ`216. λ`217. λ`218. 23
1830 # INST_IN_EAT: `87 := 1
1831 # INST_IN_EAT: `126 := λ`216. λ`217. λ`218. λ`219. 32
1832 # INST_IN_EAT: `127 := λ`216. 0
1833 # INST_IN_EAT: `151 := λ`216. λ`217. λ`218. λ`219. λ`220. 37
1834 # INST_IN_EAT: `165 := λ`216. λ`217. λ`218. λ`219. λ`220. 43
1835 # INST_IN_EAT: `176 := λ`216. λ`217. 7
1836 # INST_IN_EAT: `178 := λ`216. λ`217. λ`218. λ`219. 14
1837 # INST_IN_EAT: `179 := λ`216. λ`217. 28
1838 # INST_IN_EAT: `180 := λ`216. λ`217. λ`218. λ`219. 35
1839 # INST_IN_EAT: `181 := λ`216. λ`217. λ`218. 45
1840 # INST_IN_EAT: `187 := λ`216. λ`217. λ`218. λ`219. 11
1841 # INST_IN_EAT: `191 := λ`216. λ`217. λ`218. λ`219. λ`220. 56
1842 # INST_IN_EAT: `192 := λ`216. λ`217. λ`218. λ`219. λ`220. 54
1843 # INST_IN_EAT: `193 := λ`216. λ`217. λ`218. 15
1844 # INST_IN_EAT: `197 := λ`216. λ`217. λ`218. λ`219. λ`220. λ`221. λ`222. 33
1845 # INST_IN_EAT: `212 := λ`216. λ`217. λ`218. 63
1846 # INST_IN_EAT: `213 := λ`216. λ`217. λ`218. λ`219. λ`220. λ`221. 64
1847 dangerous_conv lenght:5
1848
1849
1850
1851 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
1852
1853 FREEZING `74
1854 ------------------------------------------------------------------------------------------------------------------------
1855
1856 ||||| Displaying problem: eat |||||
1857
1858 | measure=18 freshno = 215
1859 |> DISCRIMINATING SETS (deltas)
1860 | 65
1861 | 58 <> 59 <> 61 <> 64
1862 | 53 <> 55 <> 57
1863 | 10
1864 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
1865 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
1866 | 36 <> 39 <> 40
1867 | 37
1868 | 35
1869 | 34
1870 | 33
1871 | 32
1872 | 31
1873 | 30
1874 | 28 <> 29
1875 | 26 <> 27
1876 | 24 <> 25 <> 60
1877 | 22 <> 23
1878 | 20 <> 21
1879 | 17 <> 18 <> 6
1880 | 15 <> 36
1881 | 12 <> 13
1882 | 11
1883 | 10
1884 | 9
1885 | 8 <> 14 <> 62
1886 | 7
1887 | 6 <> 16 <> 56
1888 | 5
1889 | 0 <> 1 <> 2 <> 3 <> 4
1890 |> DIVERGENT
1891 | *: `27:1
1892 |> CONVERGENT
1893 | _: _
1894 | _: _
1895 | _: _
1896 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
1897 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`216. [match(`17
1898 6:-666) `216:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
1899 11686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
1900 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
1901 611686018427387904) with 26 => λ`216. [match(`100:-666) `216:-4611686018427387904 `107:-4611686018427387904 `106:-461168
1902 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`217. [match(`10
1903 6:-666) `217:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
1904 11686018427387904 `128:-4611686018427387904 with 33 => λ`218. [match(`130:-666) `218:-4611686018427387904 `138:-46116860
1905 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
1906  34 => λ`219. [match(`135:-666) `219:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
1907 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`220. [match(`140:-666) `220:-4611686018
1908 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
1909 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`217. [match(`107:-666) `217:-4611686018427387904 `114:-46
1910 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
1911 4 with 30 => λ`218. [match(`112:-666) `218:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
1912 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
1913 6] λ`216. [match(`194:1) `216:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
1914 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`217. [matc
1915 h(`204:-666) `217:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
1916 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
1917 | _: _
1918 |> NUMERIC
1919 | 0: 0
1920 | 1: 1
1921 | 2: 2
1922 | 3: 3
1923 | 4: 4
1924 | 5: 5
1925 | 6: 6
1926 | 7: 7
1927 | 8: 8
1928 | 9: 9
1929 | 10: 10
1930 | 11: 11
1931 | 12: 12
1932 | 13: h:1 `56:-4611686018427387904 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-46116
1933 86018427387904
1934 | 14: 14
1935 | 15: 15
1936 | 16: `203:0 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-4611686018427387904
1937 | 17: `71:2 (λ`216. [match(`194:1) `216:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4
1938 611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`
1939 217. [match(`204:-666) `217:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427
1940 387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `70:-4611686018
1941 427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
1942 | 18: 18
1943 | 19: 6
1944 | 20: `204:0 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1945 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
1946 | 22: 22
1947 | 23: 23
1948 | 24: h:1 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-46116
1949 86018427387904
1950 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
1951 8427387904 `89:-4611686018427387904
1952 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
1953 | 27: 27
1954 | 28: 28
1955 | 29: 29
1956 | 30: 30
1957 | 31: `215:1 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `11
1958 6:-4611686018427387904
1959 | 32: 32
1960 | 33: 33
1961 | 34: 34
1962 | 35: 35
1963 | 36: 36
1964 | 37: 37
1965 | 38: 36
1966 | 39: h:2 (λ`216. λ`217. [match(n:1) `217:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-46116860
1967 18427387904 r:-4611686018427387904 q:-4611686018427387904 with 6 => λ`218. [match(s:-666) `218:-4611686018427387904 `26:
1968 -4611686018427387904 z:-4611686018427387904 y:-4611686018427387904 x:-4611686018427387904 w:-4611686018427387904 with 7
1969 => `27:-666] ) | 16 => `71:-666 | 56 => `196:-666] )) `157:-4611686018427387904 `156:-4611686018427387904 `155:-46116860
1970 18427387904 `154:-4611686018427387904 `153:-4611686018427387904
1971 | 40: 40
1972 | 41: 41
1973 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
1974 | 43: 43
1975 | 44: 44
1976 | 45: 45
1977 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
1978 018427387904 `171:-4611686018427387904
1979 | 47: 47
1980 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
1981 86018427387904 `171:-4611686018427387904
1982 | 49: 49
1983 | 50: 50
1984 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
1985 686018427387904 `171:-4611686018427387904
1986 | 52: 10
1987 | 53: 53
1988 | 54: 54
1989 | 55: 55
1990 | 56: 56
1991 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
1992 | 58: u:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686
1993 018427387904 `198:-4611686018427387904
1994 | 59: 59
1995 | 60: `202:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-46116860
1996 18427387904 `89:-4611686018427387904
1997 | 61: 61
1998 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
1999 18427387904 `28:-4611686018427387904
2000 | 63: 63
2001 | 64: 64
2002 | 65: `214:1 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `208:-4611686018427387904 `20
2003 7:-4611686018427387904
2004 |
2005 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
2006 compare 18 50= 1
2007 $ Measure decreased by 1
2008 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
2009 DANGEROUS EAT: h
2010 DANGEROUS EAT: `164
2011 INSTANTIATING CRITICAL TO EAT h
2012 INSTANTIATING AND HOPING h
2013 WARNING: using constant initialSpecialK
2014 # INST: h := λ`225. [match(g:666) `225:-4611686018427387904 `220:-4611686018427387904 `219:-4611686018427387904 `218:-46
2015 11686018427387904 `217:-4611686018427387904 `216:-4611686018427387904 with 66 => `221:-666 | 67 => `222:-666 | 69 => `22
2016 4:-666] )
2017 ------------------------------------------------------------------------------------------------------------------------
2018
2019 ||||| Displaying problem: instantiate |||||
2020
2021 | measure=15 freshno = 224
2022 |> DISCRIMINATING SETS (deltas)
2023 | 66 <> 67 <> 69
2024 | 65
2025 | 58 <> 59 <> 61 <> 64
2026 | 53 <> 55 <> 57
2027 | 10
2028 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2029 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2030 | 36 <> 39 <> 40
2031 | 37
2032 | 35
2033 | 34
2034 | 33
2035 | 32
2036 | 31
2037 | 30
2038 | 28 <> 29
2039 | 26 <> 27
2040 | 24 <> 25 <> 60
2041 | 22 <> 23
2042 | 20 <> 21
2043 | 17 <> 18 <> 6
2044 | 15 <> 36
2045 | 12 <> 13
2046 | 11
2047 | 10
2048 | 9
2049 | 8 <> 14 <> 62
2050 | 7
2051 | 6 <> 16 <> 56 <> 68
2052 | 5
2053 | 0 <> 1 <> 2 <> 3 <> 4
2054 |> DIVERGENT
2055 | *: `27:1
2056 |> CONVERGENT
2057 | _: _
2058 | _: _
2059 | _: _
2060 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
2061 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`225. [match(`17
2062 6:-666) `225:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
2063 11686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
2064 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
2065 611686018427387904) with 26 => λ`225. [match(`100:-666) `225:-4611686018427387904 `107:-4611686018427387904 `106:-461168
2066 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`226. [match(`10
2067 6:-666) `226:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
2068 11686018427387904 `128:-4611686018427387904 with 33 => λ`227. [match(`130:-666) `227:-4611686018427387904 `138:-46116860
2069 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
2070  34 => λ`228. [match(`135:-666) `228:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
2071 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`229. [match(`140:-666) `229:-4611686018
2072 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
2073 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`226. [match(`107:-666) `226:-4611686018427387904 `114:-46
2074 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
2075 4 with 30 => λ`227. [match(`112:-666) `227:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
2076 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
2077 6] λ`225. [match(`194:1) `225:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
2078 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`226. [matc
2079 h(`204:-666) `226:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
2080 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
2081 | _: _
2082 |> NUMERIC
2083 | 0: 0
2084 | 1: 1
2085 | 2: 2
2086 | 3: 3
2087 | 4: 4
2088 | 5: 5
2089 | 6: 6
2090 | 7: 7
2091 | 8: 8
2092 | 9: 9
2093 | 10: 10
2094 | 11: 11
2095 | 12: 12
2096 | 13: `221:0 `55:-4611686018427387904 `54:-4611686018427387904 `53:-4611686018427387904 `52:-4611686018427387904
2097 | 14: 14
2098 | 15: 15
2099 | 16: `203:0 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387904 q:-4611686018427387904
2100 | 17: `71:2 (λ`225. [match(`194:1) `225:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4
2101 611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`
2102 226. [match(`204:-666) `226:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427
2103 387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `70:-4611686018
2104 427387904 `69:-4611686018427387904 `68:-4611686018427387904 `67:-4611686018427387904 `66:-4611686018427387904
2105 | 18: 18
2106 | 19: 6
2107 | 20: `204:0 `78:-4611686018427387904 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
2108 | 21: `78:1 `77:-4611686018427387904 `76:-4611686018427387904 `75:-4611686018427387904
2109 | 22: 22
2110 | 23: 23
2111 | 24: `222:0 `92:-4611686018427387904 `91:-4611686018427387904 `90:-4611686018427387904 `89:-4611686018427387904
2112 | 25: `70:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-461168601
2113 8427387904 `89:-4611686018427387904
2114 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
2115 | 27: 27
2116 | 28: 28
2117 | 29: 29
2118 | 30: 30
2119 | 31: `215:1 `120:-4611686018427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `11
2120 6:-4611686018427387904
2121 | 32: 32
2122 | 33: 33
2123 | 34: 34
2124 | 35: 35
2125 | 36: 36
2126 | 37: 37
2127 | 38: 36
2128 | 39: `224:1 `157:-4611686018427387904 `156:-4611686018427387904 `155:-4611686018427387904 `154:-4611686018427387904 `15
2129 3:-4611686018427387904
2130 | 40: 40
2131 | 41: 41
2132 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
2133 | 43: 43
2134 | 44: 44
2135 | 45: 45
2136 | 46: y:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686
2137 018427387904 `171:-4611686018427387904
2138 | 47: 47
2139 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2140 86018427387904 `171:-4611686018427387904
2141 | 49: 49
2142 | 50: 50
2143 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
2144 686018427387904 `171:-4611686018427387904
2145 | 52: 10
2146 | 53: 53
2147 | 54: 54
2148 | 55: 55
2149 | 56: 56
2150 | 57: `196:0 `190:-4611686018427387904 `189:-4611686018427387904 `188:-4611686018427387904
2151 | 58: u:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-4611686018427387904 `199:-4611686
2152 018427387904 `198:-4611686018427387904
2153 | 59: 59
2154 | 60: `202:-4611686018427387904 `93:-4611686018427387904 `92:-4611686018427387904 `91:-4611686018427387904 `90:-46116860
2155 18427387904 `89:-4611686018427387904
2156 | 61: 61
2157 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2158 18427387904 `28:-4611686018427387904
2159 | 63: 63
2160 | 64: 64
2161 | 65: `214:1 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `208:-4611686018427387904 `20
2162 7:-4611686018427387904
2163 | 66: `56:-4611686018427387904 `220:-4611686018427387904 `219:-4611686018427387904 `218:-4611686018427387904 `217:-46116
2164 86018427387904 `216:-4611686018427387904
2165 | 67: `93:-4611686018427387904 `220:-4611686018427387904 `219:-4611686018427387904 `218:-4611686018427387904 `217:-46116
2166 86018427387904 `216:-4611686018427387904
2167 | 68: `219:-4611686018427387904 u:-4611686018427387904 t:-4611686018427387904 s:-4611686018427387904 r:-4611686018427387
2168 904 q:-4611686018427387904
2169 | 69: `223:0 `218:-4611686018427387904 `217:-4611686018427387904 `216:-4611686018427387904
2170 |
2171 DANGEROUS EAT: `164
2172 dangerous_inert_conv: ar=4 k=`100 listlenargs=9
2173 dangerous_conv lenght:5
2174
2175
2176
2177 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2178
2179 dangerous_conv lenght:5
2180
2181
2182
2183 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2184
2185 # INST_IN_EAT: u := λ`225. λ`226. λ`227. λ`228. λ`229. 58
2186 # INST_IN_EAT: y := λ`225. λ`226. λ`227. λ`228. λ`229. 46
2187 # INST_IN_EAT: `56 := λ`225. λ`226. λ`227. λ`228. λ`229. 66
2188 # INST_IN_EAT: `70 := λ`225. λ`226. λ`227. λ`228. λ`229. 25
2189 # INST_IN_EAT: `71 := λ`225. λ`226. λ`227. λ`228. λ`229. λ`230. 17
2190 # INST_IN_EAT: `78 := λ`225. λ`226. λ`227. 21
2191 # INST_IN_EAT: `93 := λ`225. λ`226. λ`227. λ`228. λ`229. 67
2192 # INST_IN_EAT: `196 := λ`225. λ`226. λ`227. 57
2193 # INST_IN_EAT: `202 := λ`225. λ`226. λ`227. λ`228. λ`229. 60
2194 # INST_IN_EAT: `203 := λ`225. λ`226. λ`227. λ`228. 16
2195 # INST_IN_EAT: `204 := λ`225. λ`226. λ`227. λ`228. 20
2196 # INST_IN_EAT: `214 := λ`225. λ`226. λ`227. λ`228. λ`229. 65
2197 # INST_IN_EAT: `215 := λ`225. λ`226. λ`227. λ`228. λ`229. 31
2198 # INST_IN_EAT: `219 := λ`225. λ`226. λ`227. λ`228. λ`229. 68
2199 # INST_IN_EAT: `221 := λ`225. λ`226. λ`227. λ`228. 13
2200 # INST_IN_EAT: `222 := λ`225. λ`226. λ`227. λ`228. 24
2201 # INST_IN_EAT: `223 := λ`225. λ`226. λ`227. 69
2202 # INST_IN_EAT: `224 := λ`225. λ`226. λ`227. λ`228. λ`229. 39
2203 Just created bomb var: x-226:-666
2204 # INST (div): `27 := x-226:-666
2205 dangerous_conv lenght:5
2206
2207
2208
2209 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2210
2211 ------------------------------------------------------------------------------------------------------------------------
2212
2213 ||||| Displaying problem: eat |||||
2214
2215 | measure=8 freshno = 225
2216 |> DISCRIMINATING SETS (deltas)
2217 | 66 <> 67 <> 69
2218 | 65
2219 | 58 <> 59 <> 61 <> 64
2220 | 53 <> 55 <> 57
2221 | 10
2222 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2223 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2224 | 36 <> 39 <> 40
2225 | 37
2226 | 35
2227 | 34
2228 | 33
2229 | 32
2230 | 31
2231 | 30
2232 | 28 <> 29
2233 | 26 <> 27
2234 | 24 <> 25 <> 60
2235 | 22 <> 23
2236 | 20 <> 21
2237 | 17 <> 18 <> 6
2238 | 15 <> 36
2239 | 12 <> 13
2240 | 11
2241 | 10
2242 | 9
2243 | 8 <> 14 <> 62
2244 | 7
2245 | 6 <> 16 <> 56 <> 68
2246 | 5
2247 | 0 <> 1 <> 2 <> 3 <> 4
2248 |> DIVERGENT
2249 | *: *
2250 |> CONVERGENT
2251 | _: _
2252 | _: _
2253 | _: _
2254 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
2255 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`226. [match(`17
2256 6:-666) `226:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
2257 11686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
2258 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
2259 611686018427387904) with 26 => λ`226. [match(`100:-666) `226:-4611686018427387904 `107:-4611686018427387904 `106:-461168
2260 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`227. [match(`10
2261 6:-666) `227:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
2262 11686018427387904 `128:-4611686018427387904 with 33 => λ`228. [match(`130:-666) `228:-4611686018427387904 `138:-46116860
2263 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
2264  34 => λ`229. [match(`135:-666) `229:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
2265 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`230. [match(`140:-666) `230:-4611686018
2266 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
2267 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`227. [match(`107:-666) `227:-4611686018427387904 `114:-46
2268 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
2269 4 with 30 => λ`228. [match(`112:-666) `228:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
2270 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
2271 6] λ`226. [match(`194:1) `226:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
2272 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`227. [matc
2273 h(`204:-666) `227:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
2274 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
2275 | _: _
2276 |> NUMERIC
2277 | 0: 0
2278 | 1: 1
2279 | 2: 2
2280 | 3: 3
2281 | 4: 4
2282 | 5: 5
2283 | 6: 6
2284 | 7: 7
2285 | 8: 8
2286 | 9: 9
2287 | 10: 10
2288 | 11: 11
2289 | 12: 12
2290 | 13: 13
2291 | 14: 14
2292 | 15: 15
2293 | 16: 16
2294 | 17: 17
2295 | 18: 18
2296 | 19: 6
2297 | 20: 20
2298 | 21: 21
2299 | 22: 22
2300 | 23: 23
2301 | 24: 24
2302 | 25: 25
2303 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
2304 | 27: 27
2305 | 28: 28
2306 | 29: 29
2307 | 30: 30
2308 | 31: 31
2309 | 32: 32
2310 | 33: 33
2311 | 34: 34
2312 | 35: 35
2313 | 36: 36
2314 | 37: 37
2315 | 38: 36
2316 | 39: 39
2317 | 40: 40
2318 | 41: 41
2319 | 42: `164:1 `163:-4611686018427387904 `162:-4611686018427387904 `161:-4611686018427387904
2320 | 43: 43
2321 | 44: 44
2322 | 45: 45
2323 | 46: 46
2324 | 47: 47
2325 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2326 86018427387904 `171:-4611686018427387904
2327 | 49: 49
2328 | 50: 50
2329 | 51: `164:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611
2330 686018427387904 `171:-4611686018427387904
2331 | 52: 10
2332 | 53: 53
2333 | 54: 54
2334 | 55: 55
2335 | 56: 56
2336 | 57: 57
2337 | 58: 58
2338 | 59: 59
2339 | 60: 60
2340 | 61: 61
2341 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2342 18427387904 `28:-4611686018427387904
2343 | 63: 63
2344 | 64: 64
2345 | 65: 65
2346 | 66: 66
2347 | 67: 67
2348 | 68: 68
2349 | 69: 69
2350 |
2351 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
2352 compare 8 18= 1
2353 $ Measure decreased by 1
2354 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
2355 DANGEROUS EAT: `164
2356 INSTANTIATING CRITICAL TO EAT `164
2357 @@@@ NEW INSTANTIATE PHASE (0) @@@@
2358 WARNING: using constant initialSpecialK
2359 # INST: `164 := λ`233. [match(`163:666) `233:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `2
2360 28:-4611686018427387904 `227:-4611686018427387904 `226:-4611686018427387904 with 70 => `231:-666 | 71 => `232:-666] )
2361 ------------------------------------------------------------------------------------------------------------------------
2362
2363 ||||| Displaying problem: instantiate |||||
2364
2365 | measure=7 freshno = 232
2366 |> DISCRIMINATING SETS (deltas)
2367 | 70 <> 71
2368 | 66 <> 67 <> 69
2369 | 65
2370 | 58 <> 59 <> 61 <> 64
2371 | 53 <> 55 <> 57
2372 | 10
2373 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2374 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2375 | 36 <> 39 <> 40
2376 | 37
2377 | 35
2378 | 34
2379 | 33
2380 | 32
2381 | 31
2382 | 30
2383 | 28 <> 29
2384 | 26 <> 27
2385 | 24 <> 25 <> 60
2386 | 22 <> 23
2387 | 20 <> 21
2388 | 17 <> 18 <> 6
2389 | 15 <> 36
2390 | 12 <> 13
2391 | 11
2392 | 10
2393 | 9
2394 | 8 <> 14 <> 62
2395 | 7
2396 | 6 <> 16 <> 56 <> 68
2397 | 5
2398 | 0 <> 1 <> 2 <> 3 <> 4
2399 |> DIVERGENT
2400 | *: *
2401 |> CONVERGENT
2402 | _: _
2403 | _: _
2404 | _: _
2405 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
2406 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`233. [match(`17
2407 6:-666) `233:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
2408 11686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
2409 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
2410 611686018427387904) with 26 => λ`233. [match(`100:-666) `233:-4611686018427387904 `107:-4611686018427387904 `106:-461168
2411 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`234. [match(`10
2412 6:-666) `234:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
2413 11686018427387904 `128:-4611686018427387904 with 33 => λ`235. [match(`130:-666) `235:-4611686018427387904 `138:-46116860
2414 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
2415  34 => λ`236. [match(`135:-666) `236:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
2416 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`237. [match(`140:-666) `237:-4611686018
2417 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
2418 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`234. [match(`107:-666) `234:-4611686018427387904 `114:-46
2419 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
2420 4 with 30 => λ`235. [match(`112:-666) `235:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
2421 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
2422 6] λ`233. [match(`194:1) `233:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
2423 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`234. [matc
2424 h(`204:-666) `234:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
2425 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
2426 | _: _
2427 |> NUMERIC
2428 | 0: 0
2429 | 1: 1
2430 | 2: 2
2431 | 3: 3
2432 | 4: 4
2433 | 5: 5
2434 | 6: 6
2435 | 7: 7
2436 | 8: 8
2437 | 9: 9
2438 | 10: 10
2439 | 11: 11
2440 | 12: 12
2441 | 13: 13
2442 | 14: 14
2443 | 15: 15
2444 | 16: 16
2445 | 17: 17
2446 | 18: 18
2447 | 19: 6
2448 | 20: 20
2449 | 21: 21
2450 | 22: 22
2451 | 23: 23
2452 | 24: 24
2453 | 25: 25
2454 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
2455 | 27: 27
2456 | 28: 28
2457 | 29: 29
2458 | 30: 30
2459 | 31: 31
2460 | 32: 32
2461 | 33: 33
2462 | 34: 34
2463 | 35: 35
2464 | 36: 36
2465 | 37: 37
2466 | 38: 36
2467 | 39: 39
2468 | 40: 40
2469 | 41: 41
2470 | 42: `231:0 `162:-4611686018427387904 `161:-4611686018427387904
2471 | 43: 43
2472 | 44: 44
2473 | 45: 45
2474 | 46: 46
2475 | 47: 47
2476 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2477 86018427387904 `171:-4611686018427387904
2478 | 49: 49
2479 | 50: 50
2480 | 51: `232:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611
2481 686018427387904
2482 | 52: 10
2483 | 53: 53
2484 | 54: 54
2485 | 55: 55
2486 | 56: 56
2487 | 57: 57
2488 | 58: 58
2489 | 59: 59
2490 | 60: 60
2491 | 61: 61
2492 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2493 18427387904 `28:-4611686018427387904
2494 | 63: 63
2495 | 64: 64
2496 | 65: 65
2497 | 66: 66
2498 | 67: 67
2499 | 68: 68
2500 | 69: 69
2501 | 70: `163:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `228:-4611686018427387904 `227:-4611
2502 686018427387904 `226:-4611686018427387904
2503 | 71: `175:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `228:-4611686018427387904 `227:-4611
2504 686018427387904 `226:-4611686018427387904
2505 |
2506 dangerous_inert_conv: ar=4 k=`100 listlenargs=9
2507 dangerous_conv lenght:5
2508
2509
2510
2511 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2512
2513 dangerous_conv lenght:5
2514
2515
2516
2517 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2518
2519 # INST_IN_EAT: `163 := λ`233. λ`234. λ`235. λ`236. λ`237. 70
2520 # INST_IN_EAT: `231 := λ`233. λ`234. 42
2521 # INST_IN_EAT: `232 := λ`233. λ`234. λ`235. λ`236. 51
2522 dangerous_conv lenght:5
2523
2524
2525
2526 `100 `175 `174 `173 `172 `171 `99 `98 `97 `96
2527
2528 ------------------------------------------------------------------------------------------------------------------------
2529
2530 ||||| Displaying problem: eat |||||
2531
2532 | measure=7 freshno = 232
2533 |> DISCRIMINATING SETS (deltas)
2534 | 70 <> 71
2535 | 66 <> 67 <> 69
2536 | 65
2537 | 58 <> 59 <> 61 <> 64
2538 | 53 <> 55 <> 57
2539 | 10
2540 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2541 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2542 | 36 <> 39 <> 40
2543 | 37
2544 | 35
2545 | 34
2546 | 33
2547 | 32
2548 | 31
2549 | 30
2550 | 28 <> 29
2551 | 26 <> 27
2552 | 24 <> 25 <> 60
2553 | 22 <> 23
2554 | 20 <> 21
2555 | 17 <> 18 <> 6
2556 | 15 <> 36
2557 | 12 <> 13
2558 | 11
2559 | 10
2560 | 9
2561 | 8 <> 14 <> 62
2562 | 7
2563 | 6 <> 16 <> 56 <> 68
2564 | 5
2565 | 0 <> 1 <> 2 <> 3 <> 4
2566 |> DIVERGENT
2567 | *: *
2568 |> CONVERGENT
2569 | _: _
2570 | _: _
2571 | _: _
2572 | _: `121:3 [match(`94:3) [match(e:1) `100:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173
2573 :-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904 with 46 => `176:-666 | 47 => λ`233. [match(`17
2574 6:-666) `233:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427387904 `184:-4611686018427387904 `183:-46
2575 11686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `178:-666 | 49 => `179:-666 | 50 => `180:-66
2576 6 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4
2577 611686018427387904) with 26 => λ`233. [match(`100:-666) `233:-4611686018427387904 `107:-4611686018427387904 `106:-461168
2578 6018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686018427387904 with 28 => λ`234. [match(`10
2579 6:-666) `234:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427387904 `130:-4611686018427387904 `129:-46
2580 11686018427387904 `128:-4611686018427387904 with 33 => λ`235. [match(`130:-666) `235:-4611686018427387904 `138:-46116860
2581 18427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-4611686018427387904 `134:-4611686018427387904 with
2582  34 => λ`236. [match(`135:-666) `236:-4611686018427387904 `144:-4611686018427387904 `143:-4611686018427387904 `142:-4611
2583 686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 => λ`237. [match(`140:-666) `237:-4611686018
2584 427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-4611686018427387904 `147:-4611686018427387904 `146:-
2585 4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`234. [match(`107:-666) `234:-4611686018427387904 `114:-46
2586 11686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-4611686018427387904 `110:-461168601842738790
2587 4 with 30 => λ`235. [match(`112:-666) `235:-4611686018427387904 `120:-4611686018427387904 `119:-4611686018427387904 `118
2588 :-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with 31 => `121:-666] )] )] ) | 27 => `102:-66
2589 6] λ`233. [match(`194:1) `233:-4611686018427387904 `202:-4611686018427387904 `201:-4611686018427387904 `200:-46116860184
2590 27387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-666 | 59 => `204:-666 | 61 => λ`234. [matc
2591 h(`204:-666) `234:-4611686018427387904 `211:-4611686018427387904 `210:-4611686018427387904 `209:-4611686018427387904 `20
2592 8:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 => `214:-666] )) `121:1
2593 | _: _
2594 |> NUMERIC
2595 | 0: 0
2596 | 1: 1
2597 | 2: 2
2598 | 3: 3
2599 | 4: 4
2600 | 5: 5
2601 | 6: 6
2602 | 7: 7
2603 | 8: 8
2604 | 9: 9
2605 | 10: 10
2606 | 11: 11
2607 | 12: 12
2608 | 13: 13
2609 | 14: 14
2610 | 15: 15
2611 | 16: 16
2612 | 17: 17
2613 | 18: 18
2614 | 19: 6
2615 | 20: 20
2616 | 21: 21
2617 | 22: 22
2618 | 23: 23
2619 | 24: 24
2620 | 25: 25
2621 | 26: `100:1 `99:-4611686018427387904 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
2622 | 27: 27
2623 | 28: 28
2624 | 29: 29
2625 | 30: 30
2626 | 31: 31
2627 | 32: 32
2628 | 33: 33
2629 | 34: 34
2630 | 35: 35
2631 | 36: 36
2632 | 37: 37
2633 | 38: 36
2634 | 39: 39
2635 | 40: 40
2636 | 41: 41
2637 | 42: 42
2638 | 43: 43
2639 | 44: 44
2640 | 45: 45
2641 | 46: 46
2642 | 47: 47
2643 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2644 86018427387904 `171:-4611686018427387904
2645 | 49: 49
2646 | 50: 50
2647 | 51: 51
2648 | 52: 10
2649 | 53: 53
2650 | 54: 54
2651 | 55: 55
2652 | 56: 56
2653 | 57: 57
2654 | 58: 58
2655 | 59: 59
2656 | 60: 60
2657 | 61: 61
2658 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2659 18427387904 `28:-4611686018427387904
2660 | 63: 63
2661 | 64: 64
2662 | 65: 65
2663 | 66: 66
2664 | 67: 67
2665 | 68: 68
2666 | 69: 69
2667 | 70: 70
2668 | 71: `175:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `228:-4611686018427387904 `227:-4611
2669 686018427387904 `226:-4611686018427387904
2670 |
2671 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
2672 compare 7 8= 1
2673 $ Measure decreased by 1
2674 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
2675 INSTANTIATING TO EAT `100
2676 WARNING: using constant initialSpecialK
2677 # INST: `100 := λ`239. [match(`99:666) `239:-4611686018427387904 `237:-4611686018427387904 `236:-4611686018427387904 `23
2678 5:-4611686018427387904 `234:-4611686018427387904 `233:-4611686018427387904 with 72 => `238:-666] )
2679 ------------------------------------------------------------------------------------------------------------------------
2680
2681 ||||| Displaying problem: instantiate |||||
2682
2683 | measure=6 freshno = 238
2684 |> DISCRIMINATING SETS (deltas)
2685 | 72
2686 | 70 <> 71
2687 | 66 <> 67 <> 69
2688 | 65
2689 | 58 <> 59 <> 61 <> 64
2690 | 53 <> 55 <> 57
2691 | 10
2692 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2693 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2694 | 36 <> 39 <> 40
2695 | 37
2696 | 35
2697 | 34
2698 | 33
2699 | 32
2700 | 31
2701 | 30
2702 | 28 <> 29
2703 | 26 <> 27
2704 | 24 <> 25 <> 60
2705 | 22 <> 23
2706 | 20 <> 21
2707 | 17 <> 18 <> 6
2708 | 15 <> 36
2709 | 12 <> 13
2710 | 11
2711 | 10
2712 | 9
2713 | 8 <> 14 <> 62
2714 | 7
2715 | 6 <> 16 <> 56 <> 68
2716 | 5
2717 | 0 <> 1 <> 2 <> 3 <> 4
2718 |> DIVERGENT
2719 | *: *
2720 |> CONVERGENT
2721 | _: _
2722 | _: _
2723 | _: _
2724 | _: `121:3 [match(`94:3) [match(e:1) [match(`100:-4611686018427387904) `175:-4611686018427387904 `237:-4611686018427387
2725 904 `236:-4611686018427387904 `235:-4611686018427387904 `234:-4611686018427387904 `233:-4611686018427387904 with 72 => `
2726 238:-666] `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with
2727 46 => `176:-666 | 47 => λ`239. [match(`176:-666) `239:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427
2728 387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `17
2729 8:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018
2730 427387904 `97:-4611686018427387904 `96:-4611686018427387904) with 26 => λ`239. [match(`100:-666) `239:-46116860184273879
2731 04 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686
2732 018427387904 with 28 => λ`240. [match(`106:-666) `240:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427
2733 387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`241. [match(`130:-666)
2734  `241:-4611686018427387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-461168601
2735 8427387904 `134:-4611686018427387904 with 34 => λ`242. [match(`135:-666) `242:-4611686018427387904 `144:-461168601842738
2736 7904 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 =>
2737 λ`243. [match(`140:-666) `243:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-46116860184
2738 27387904 `147:-4611686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`240. [match(`107
2739 :-666) `240:-4611686018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-461
2740 1686018427387904 `110:-4611686018427387904 with 30 => λ`241. [match(`112:-666) `241:-4611686018427387904 `120:-461168601
2741 8427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with
2742 31 => `121:-666] )] )] ) | 27 => `102:-666] λ`239. [match(`194:1) `239:-4611686018427387904 `202:-4611686018427387904 `2
2743 01:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-6
2744 66 | 59 => `204:-666 | 61 => λ`240. [match(`204:-666) `240:-4611686018427387904 `211:-4611686018427387904 `210:-46116860
2745 18427387904 `209:-4611686018427387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 =
2746 > `214:-666] )) `121:1
2747 | _: _
2748 |> NUMERIC
2749 | 0: 0
2750 | 1: 1
2751 | 2: 2
2752 | 3: 3
2753 | 4: 4
2754 | 5: 5
2755 | 6: 6
2756 | 7: 7
2757 | 8: 8
2758 | 9: 9
2759 | 10: 10
2760 | 11: 11
2761 | 12: 12
2762 | 13: 13
2763 | 14: 14
2764 | 15: 15
2765 | 16: 16
2766 | 17: 17
2767 | 18: 18
2768 | 19: 6
2769 | 20: 20
2770 | 21: 21
2771 | 22: 22
2772 | 23: 23
2773 | 24: 24
2774 | 25: 25
2775 | 26: `238:0 `98:-4611686018427387904 `97:-4611686018427387904 `96:-4611686018427387904
2776 | 27: 27
2777 | 28: 28
2778 | 29: 29
2779 | 30: 30
2780 | 31: 31
2781 | 32: 32
2782 | 33: 33
2783 | 34: 34
2784 | 35: 35
2785 | 36: 36
2786 | 37: 37
2787 | 38: 36
2788 | 39: 39
2789 | 40: 40
2790 | 41: 41
2791 | 42: 42
2792 | 43: 43
2793 | 44: 44
2794 | 45: 45
2795 | 46: 46
2796 | 47: 47
2797 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2798 86018427387904 `171:-4611686018427387904
2799 | 49: 49
2800 | 50: 50
2801 | 51: 51
2802 | 52: 10
2803 | 53: 53
2804 | 54: 54
2805 | 55: 55
2806 | 56: 56
2807 | 57: 57
2808 | 58: 58
2809 | 59: 59
2810 | 60: 60
2811 | 61: 61
2812 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2813 18427387904 `28:-4611686018427387904
2814 | 63: 63
2815 | 64: 64
2816 | 65: 65
2817 | 66: 66
2818 | 67: 67
2819 | 68: 68
2820 | 69: 69
2821 | 70: 70
2822 | 71: `175:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `228:-4611686018427387904 `227:-4611
2823 686018427387904 `226:-4611686018427387904
2824 | 72: `99:-4611686018427387904 `237:-4611686018427387904 `236:-4611686018427387904 `235:-4611686018427387904 `234:-46116
2825 86018427387904 `233:-4611686018427387904
2826 |
2827 dangerous_inert_conv: ar=5 k=`175 listlenargs=9
2828 dangerous_conv lenght:5
2829
2830
2831
2832 `175 `237 `236 `235 `234 `233 `174 `173 `172 `171
2833
2834 dangerous_conv lenght:5
2835
2836
2837
2838 `175 `237 `236 `235 `234 `233 `174 `173 `172 `171
2839
2840 # INST_IN_EAT: `99 := λ`239. λ`240. λ`241. λ`242. λ`243. 72
2841 # INST_IN_EAT: `238 := λ`239. λ`240. λ`241. 26
2842 dangerous_conv lenght:5
2843
2844
2845
2846 `175 `237 `236 `235 `234 `233 `174 `173 `172 `171
2847
2848 ------------------------------------------------------------------------------------------------------------------------
2849
2850 ||||| Displaying problem: eat |||||
2851
2852 | measure=6 freshno = 238
2853 |> DISCRIMINATING SETS (deltas)
2854 | 72
2855 | 70 <> 71
2856 | 66 <> 67 <> 69
2857 | 65
2858 | 58 <> 59 <> 61 <> 64
2859 | 53 <> 55 <> 57
2860 | 10
2861 | 46 <> 47 <> 48 <> 49 <> 50 <> 51 <> 63
2862 | 41 <> 42 <> 43 <> 44 <> 45 <> 54
2863 | 36 <> 39 <> 40
2864 | 37
2865 | 35
2866 | 34
2867 | 33
2868 | 32
2869 | 31
2870 | 30
2871 | 28 <> 29
2872 | 26 <> 27
2873 | 24 <> 25 <> 60
2874 | 22 <> 23
2875 | 20 <> 21
2876 | 17 <> 18 <> 6
2877 | 15 <> 36
2878 | 12 <> 13
2879 | 11
2880 | 10
2881 | 9
2882 | 8 <> 14 <> 62
2883 | 7
2884 | 6 <> 16 <> 56 <> 68
2885 | 5
2886 | 0 <> 1 <> 2 <> 3 <> 4
2887 |> DIVERGENT
2888 | *: *
2889 |> CONVERGENT
2890 | _: _
2891 | _: _
2892 | _: _
2893 | _: `121:3 [match(`94:3) [match(e:1) [match(`100:-4611686018427387904) `175:-4611686018427387904 `237:-4611686018427387
2894 904 `236:-4611686018427387904 `235:-4611686018427387904 `234:-4611686018427387904 `233:-4611686018427387904 with 72 => `
2895 238:-666] `174:-4611686018427387904 `173:-4611686018427387904 `172:-4611686018427387904 `171:-4611686018427387904) with
2896 46 => `176:-666 | 47 => λ`239. [match(`176:-666) `239:-4611686018427387904 `186:-4611686018427387904 `185:-4611686018427
2897 387904 `184:-4611686018427387904 `183:-4611686018427387904 `182:-4611686018427387904 with 10 => `187:-666] ) | 48 => `17
2898 8:-666 | 49 => `179:-666 | 50 => `180:-666 | 51 => `181:-666 | 63 => `213:-666] `99:-4611686018427387904 `98:-4611686018
2899 427387904 `97:-4611686018427387904 `96:-4611686018427387904) with 26 => λ`239. [match(`100:-666) `239:-46116860184273879
2900 04 `107:-4611686018427387904 `106:-4611686018427387904 `105:-4611686018427387904 `104:-4611686018427387904 `103:-4611686
2901 018427387904 with 28 => λ`240. [match(`106:-666) `240:-4611686018427387904 `132:-4611686018427387904 `131:-4611686018427
2902 387904 `130:-4611686018427387904 `129:-4611686018427387904 `128:-4611686018427387904 with 33 => λ`241. [match(`130:-666)
2903  `241:-4611686018427387904 `138:-4611686018427387904 `137:-4611686018427387904 `136:-4611686018427387904 `135:-461168601
2904 8427387904 `134:-4611686018427387904 with 34 => λ`242. [match(`135:-666) `242:-4611686018427387904 `144:-461168601842738
2905 7904 `143:-4611686018427387904 `142:-4611686018427387904 `141:-4611686018427387904 `140:-4611686018427387904 with 35 =>
2906 λ`243. [match(`140:-666) `243:-4611686018427387904 `150:-4611686018427387904 `149:-4611686018427387904 `148:-46116860184
2907 27387904 `147:-4611686018427387904 `146:-4611686018427387904 with 37 => `152:-666] )] )] )] ) | 29 => λ`240. [match(`107
2908 :-666) `240:-4611686018427387904 `114:-4611686018427387904 `113:-4611686018427387904 `112:-4611686018427387904 `111:-461
2909 1686018427387904 `110:-4611686018427387904 with 30 => λ`241. [match(`112:-666) `241:-4611686018427387904 `120:-461168601
2910 8427387904 `119:-4611686018427387904 `118:-4611686018427387904 `117:-4611686018427387904 `116:-4611686018427387904 with
2911 31 => `121:-666] )] )] ) | 27 => `102:-666] λ`239. [match(`194:1) `239:-4611686018427387904 `202:-4611686018427387904 `2
2912 01:-4611686018427387904 `200:-4611686018427387904 `199:-4611686018427387904 `198:-4611686018427387904 with 58 => `203:-6
2913 66 | 59 => `204:-666 | 61 => λ`240. [match(`204:-666) `240:-4611686018427387904 `211:-4611686018427387904 `210:-46116860
2914 18427387904 `209:-4611686018427387904 `208:-4611686018427387904 `207:-4611686018427387904 with 65 => `215:-666] ) | 64 =
2915 > `214:-666] )) `121:1
2916 | _: _
2917 |> NUMERIC
2918 | 0: 0
2919 | 1: 1
2920 | 2: 2
2921 | 3: 3
2922 | 4: 4
2923 | 5: 5
2924 | 6: 6
2925 | 7: 7
2926 | 8: 8
2927 | 9: 9
2928 | 10: 10
2929 | 11: 11
2930 | 12: 12
2931 | 13: 13
2932 | 14: 14
2933 | 15: 15
2934 | 16: 16
2935 | 17: 17
2936 | 18: 18
2937 | 19: 6
2938 | 20: 20
2939 | 21: 21
2940 | 22: 22
2941 | 23: 23
2942 | 24: 24
2943 | 25: 25
2944 | 26: 26
2945 | 27: 27
2946 | 28: 28
2947 | 29: 29
2948 | 30: 30
2949 | 31: 31
2950 | 32: 32
2951 | 33: 33
2952 | 34: 34
2953 | 35: 35
2954 | 36: 36
2955 | 37: 37
2956 | 38: 36
2957 | 39: 39
2958 | 40: 40
2959 | 41: 41
2960 | 42: 42
2961 | 43: 43
2962 | 44: 44
2963 | 45: 45
2964 | 46: 46
2965 | 47: 47
2966 | 48: `32:-4611686018427387904 `175:-4611686018427387904 `174:-4611686018427387904 `173:-4611686018427387904 `172:-46116
2967 86018427387904 `171:-4611686018427387904
2968 | 49: 49
2969 | 50: 50
2970 | 51: 51
2971 | 52: 10
2972 | 53: 53
2973 | 54: 54
2974 | 55: 55
2975 | 56: 56
2976 | 57: 57
2977 | 58: 58
2978 | 59: 59
2979 | 60: 60
2980 | 61: 61
2981 | 62: `174:-4611686018427387904 `32:-4611686018427387904 `31:-4611686018427387904 `30:-4611686018427387904 `29:-46116860
2982 18427387904 `28:-4611686018427387904
2983 | 63: 63
2984 | 64: 64
2985 | 65: 65
2986 | 66: 66
2987 | 67: 67
2988 | 68: 68
2989 | 69: 69
2990 | 70: 70
2991 | 71: `175:-4611686018427387904 `230:-4611686018427387904 `229:-4611686018427387904 `228:-4611686018427387904 `227:-4611
2992 686018427387904 `226:-4611686018427387904
2993 | 72: 72
2994 |
2995 {{{{{{{{ Computing measure inafter auto_instantiate }}}}}}
2996 compare 6 7= 1
2997 $ Measure decreased by 1
2998 {{{{{{{{ Computing measure before auto_instantiate }}}}}}
2999 Fatal error: exception Assert_failure("lambda4.ml", 490, 15)