/ Hex Artifact Content
Login

Artifact 78989e6527ce69c9eddbef7392fea5c10b0010cd2b2ae68eec7bc869c471e691:


0000: 23 20 32 30 31 35 20 4d 61 79 20 33 30 0a 23 0a  # 2015 May 30.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 0a 23 0a 23 20 54 68 69 73 20 66  *****.#.# This f
0170: 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20 61 75 74  ile contains aut
0180: 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 6e 65 72  omatically gener
0190: 61 74 65 64 20 74 65 73 74 73 20 66 6f 72 20 76  ated tests for v
01a0: 61 72 69 6f 75 73 20 74 79 70 65 73 0a 23 20 6f  arious types.# o
01b0: 66 20 4d 41 54 43 48 20 65 78 70 72 65 73 73 69  f MATCH expressi
01c0: 6f 6e 73 2e 0a 23 0a 0a 73 6f 75 72 63 65 20 5b  ons..#..source [
01d0: 66 69 6c 65 20 6a 6f 69 6e 20 5b 66 69 6c 65 20  file join [file 
01e0: 64 69 72 6e 61 6d 65 20 5b 69 6e 66 6f 20 73 63  dirname [info sc
01f0: 72 69 70 74 5d 5d 20 66 74 73 35 5f 63 6f 6d 6d  ript]] fts5_comm
0200: 6f 6e 2e 74 63 6c 5d 0a 73 65 74 20 74 65 73 74  on.tcl].set test
0210: 70 72 65 66 69 78 20 66 74 73 35 61 75 74 6f 0a  prefix fts5auto.
0220: 0a 23 20 49 66 20 53 51 4c 49 54 45 5f 45 4e 41  .# If SQLITE_ENA
0230: 42 4c 45 5f 46 54 53 35 20 69 73 20 64 65 66 69  BLE_FTS5 is defi
0240: 6e 65 64 2c 20 6f 6d 69 74 20 74 68 69 73 20 66  ned, omit this f
0250: 69 6c 65 2e 0a 69 66 63 61 70 61 62 6c 65 20 21  ile..ifcapable !
0260: 66 74 73 35 20 7b 0a 20 20 66 69 6e 69 73 68 5f  fts5 {.  finish_
0270: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0280: 0a 73 65 74 20 64 61 74 61 20 7b 0a 20 20 20 20  .set data {.    
0290: 2d 34 30 32 36 30 37 36 0a 20 20 20 20 7b 6e 20  -4026076.    {n 
02a0: 78 20 77 20 6b 20 62 20 70 20 78 20 62 20 6e 20  x w k b p x b n 
02b0: 74 20 74 20 64 20 73 7d 20 20 20 20 20 7b 66 20  t t d s}     {f 
02c0: 6a 20 6a 20 73 20 70 20 6a 20 6f 7d 20 20 20 20  j j s p j o}    
02d0: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
02e0: 7b 77 20 76 20 69 20 79 20 72 7d 20 20 20 20 20  {w v i y r}     
02f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0300: 7b 69 20 70 20 79 20 73 7d 20 20 20 20 20 20 20  {i p y s}       
0310: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20                . 
0320: 20 20 20 7b 61 20 6f 20 71 20 76 20 65 20 6e 20     {a o q v e n 
0330: 71 20 72 7d 20 20 20 20 20 20 20 20 20 20 20 20  q r}            
0340: 20 20 20 7b 71 20 76 20 67 20 75 20 63 20 79 20     {q v g u c y 
0350: 61 20 7a 20 79 7d 20 20 20 20 20 20 20 20 20 20  a z y}          
0360: 20 0a 20 20 20 20 33 39 39 35 31 32 30 0a 20 20   .    3995120.  
0370: 20 20 7b 63 7d 20 20 20 20 20 20 20 20 20 20 20    {c}           
0380: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0390: 20 20 7b 65 20 65 20 77 20 64 20 74 7d 20 20 20    {e e w d t}   
03a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
03b0: 0a 20 20 20 20 7b 78 20 63 20 70 20 66 20 77 20  .    {x c p f w 
03c0: 72 20 73 20 6d 20 6c 20 72 20 62 20 66 20 64 7d  r s m l r b f d}
03d0: 20 20 20 20 20 7b 67 20 67 20 75 20 65 7d 20 20       {g g u e}  
03e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
03f0: 20 20 20 0a 20 20 20 20 7b 73 20 6e 20 75 20 74     .    {s n u t
0400: 20 64 20 76 20 70 20 64 7d 20 20 20 20 20 20 20   d v p d}       
0410: 20 20 20 20 20 20 20 20 7b 62 20 6b 20 76 20 70          {b k v p
0420: 20 6d 20 66 7d 20 20 20 20 20 20 20 20 20 20 20   m f}           
0430: 20 20 20 20 20 20 0a 20 20 20 20 2d 32 39 31 33        .    -2913
0440: 38 38 31 0a 20 20 20 20 7b 6b 20 6d 7d 20 20 20  881.    {k m}   
0450: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0460: 20 20 20 20 20 20 20 20 7b 61 7d 20 20 20 20 20          {a}     
0470: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0480: 20 20 20 20 20 20 0a 20 20 20 20 7b 77 20 72 20        .    {w r 
0490: 6a 20 7a 20 6e 20 73 20 6c 7d 20 20 20 20 20 20  j z n s l}      
04a0: 20 20 20 20 20 20 20 20 20 20 20 7b 6d 20 6a 20             {m j 
04b0: 69 20 77 20 64 20 74 20 77 20 65 20 6c 7d 20 20  i w d t w e l}  
04c0: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 7a           .    {z
04d0: 20 6e 20 63 7d 20 20 20 20 20 20 20 20 20 20 20   n c}           
04e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 76                {v
04f0: 20 66 20 62 20 6d 7d 20 20 20 20 20 20 20 20 20   f b m}         
0500: 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20              .   
0510: 20 31 37 34 30 38 32 0a 20 20 20 20 7b 6a 7d 20   174082.    {j} 
0520: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0530: 20 20 20 20 20 20 20 20 20 20 20 20 7b 71 20 6c              {q l
0540: 20 77 20 75 20 6b 20 65 20 71 20 76 20 72 20 69   w u k e q v r i
0550: 7d 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b  }         .    {
0560: 6a 20 6c 7d 20 20 20 20 20 20 20 20 20 20 20 20  j l}            
0570: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
0580: 75 20 76 20 77 20 72 20 73 20 70 20 65 20 6c 7d  u v w r s p e l}
0590: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
05a0: 20 20 7b 70 20 69 20 6b 20 6a 20 6b 20 71 20 63    {p i k j k q c
05b0: 20 74 20 67 20 75 20 73 7d 20 20 20 20 20 20 20   t g u s}       
05c0: 20 20 7b 67 20 75 20 79 20 73 20 6d 20 68 20 71    {g u y s m h q
05d0: 20 6b 20 67 20 74 20 65 20 73 20 6f 20 72 7d 20   k g t e s o r} 
05e0: 0a 20 20 20 20 33 32 30 37 33 39 39 0a 20 20 20  .    3207399.   
05f0: 20 7b 65 20 74 7d 20 20 20 20 20 20 20 20 20 20   {e t}          
0600: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0610: 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   {}             
0620: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a                 .
0630: 20 20 20 20 7b 70 7d 20 20 20 20 20 20 20 20 20      {p}         
0640: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0650: 20 20 20 20 7b 79 20 76 20 72 20 62 20 65 20 6b      {y v r b e k
0660: 20 68 20 64 20 65 20 76 7d 20 20 20 20 20 20 20   h d e v}       
0670: 20 20 0a 20 20 20 20 7b 74 20 6d 20 77 20 7a 20    .    {t m w z 
0680: 62 20 67 20 71 20 74 20 73 20 64 20 64 20 68 7d  b g q t s d d h}
0690: 20 20 20 20 20 20 20 7b 6f 20 6e 20 76 20 75 20         {o n v u 
06a0: 69 20 74 20 6f 20 79 20 6b 20 6a 7d 20 20 20 20  i t o y k j}    
06b0: 20 20 20 20 20 0a 20 20 20 20 31 38 32 33 39 39       .    182399
06c0: 0a 20 20 20 20 7b 7d 20 20 20 20 20 20 20 20 20  .    {}         
06d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
06e0: 20 20 20 20 20 7b 6d 20 6f 20 73 20 6f 20 78 20       {m o s o x 
06f0: 64 20 79 20 66 20 61 20 78 20 6a 20 7a 7d 20 20  d y f a x j z}  
0700: 20 20 20 0a 20 20 20 20 7b 78 20 6e 20 7a 20 72     .    {x n z r
0710: 20 63 20 64 7d 20 20 20 20 20 20 20 20 20 20 20   c d}           
0720: 20 20 20 20 20 20 20 20 7b 6e 20 72 20 78 20 69          {n r x i
0730: 20 72 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   r}             
0740: 20 20 20 20 20 20 0a 20 20 20 20 7b 73 20 76 20        .    {s v 
0750: 73 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  s}              
0760: 20 20 20 20 20 20 20 20 20 20 20 7b 61 20 75 7d             {a u}
0770: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0780: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 37 36           .    76
0790: 38 39 39 34 0a 20 20 20 20 7b 65 20 75 20 74 20  8994.    {e u t 
07a0: 71 20 76 20 7a 20 71 20 6b 20 6a 20 70 20 75 20  q v z q k j p u 
07b0: 66 20 6a 20 70 7d 20 20 20 7b 79 20 63 20 62 7d  f j p}   {y c b}
07c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
07d0: 20 20 20 20 20 20 20 0a 20 20 20 20 7b 70 20 73         .    {p s
07e0: 20 64 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   d}             
07f0: 20 20 20 20 20 20 20 20 20 20 20 20 7b 6b 20 6e              {k n
0800: 20 77 20 70 20 6d 20 70 20 70 7d 20 20 20 20 20   w p m p p}     
0810: 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b            .    {
0820: 75 20 6f 20 78 20 73 20 64 7d 20 20 20 20 20 20  u o x s d}      
0830: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
0840: 66 20 73 20 67 20 72 20 64 20 62 20 64 20 72 20  f s g r d b d r 
0850: 6d 20 6d 20 6d 20 7a 20 79 7d 20 20 20 0a 20 20  m m m z y}   .  
0860: 20 20 33 39 33 31 30 33 37 0a 20 20 20 20 7b 63    3931037.    {c
0870: 20 6a 20 70 20 78 20 65 7d 20 20 20 20 20 20 20   j p x e}       
0880: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 63                {c
0890: 20 6e 20 6b 20 74 20 68 20 7a 20 6f 20 69 7d 20   n k t h z o i} 
08a0: 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20              .   
08b0: 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   {}             
08c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
08d0: 20 7b 72 20 72 20 70 20 6a 20 6b 20 78 20 77 20   {r r p j k x w 
08e0: 71 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 0a  q}             .
08f0: 20 20 20 20 7b 6f 20 72 20 64 20 7a 20 64 7d 20      {o r d z d} 
0900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0910: 20 20 20 20 7b 78 7d 20 20 20 20 20 20 20 20 20      {x}         
0920: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0930: 20 20 0a 20 20 20 20 33 31 30 35 37 34 38 0a 20    .    3105748. 
0940: 20 20 20 7b 70 20 78 20 72 20 75 7d 20 20 20 20     {p x r u}    
0950: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0960: 20 20 20 7b 78 20 69 20 73 20 77 20 6f 20 74 20     {x i s w o t 
0970: 6f 20 67 20 78 20 6d 20 7a 20 69 20 77 7d 20 20  o g x m z i w}  
0980: 20 0a 20 20 20 20 7b 71 20 78 20 6d 20 7a 7d 20   .    {q x m z} 
0990: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
09a0: 20 20 20 20 20 20 7b 68 20 63 20 6a 20 77 20 62        {h c j w b
09b0: 20 6c 20 79 20 77 20 78 20 63 20 6f 7d 20 20 20   l y w x c o}   
09c0: 20 20 20 20 0a 20 20 20 20 7b 6d 20 62 20 6b 20      .    {m b k 
09d0: 76 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  v}              
09e0: 20 20 20 20 20 20 20 20 20 7b 74 20 76 20 71 20           {t v q 
09f0: 69 20 73 20 61 20 64 20 78 7d 20 20 20 20 20 20  i s a d x}      
0a00: 20 20 20 20 20 20 20 0a 20 20 20 20 2d 32 35 30         .    -250
0a10: 31 36 34 32 0a 20 20 20 20 7b 6f 20 75 20 64 20  1642.    {o u d 
0a20: 6e 20 77 20 6f 20 6d 20 6f 20 6f 20 73 20 6e 20  n w o m o o s n 
0a30: 74 20 72 20 68 7d 20 20 20 7b 6b 20 70 20 65 20  t r h}   {k p e 
0a40: 75 20 79 20 70 20 65 20 7a 20 64 20 6a 20 72 20  u y p e z d j r 
0a50: 79 20 67 7d 20 20 20 0a 20 20 20 20 7b 76 20 62  y g}   .    {v b
0a60: 20 62 20 68 20 64 20 64 20 71 20 79 20 6a 20 71   b h d d q y j q
0a70: 20 6a 7d 20 20 20 20 20 20 20 20 20 7b 61 20 6d   j}         {a m
0a80: 20 77 20 64 20 74 7d 20 20 20 20 20 20 20 20 20   w d t}         
0a90: 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b            .    {
0aa0: 79 20 65 20 66 20 6e 7d 20 20 20 20 20 20 20 20  y e f n}        
0ab0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
0ac0: 61 20 6b 20 78 20 69 20 78 7d 20 20 20 20 20 20  a k x i x}      
0ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
0ae0: 20 20 2d 31 37 34 35 36 38 30 0a 20 20 20 20 7b    -1745680.    {
0af0: 7a 20 75 20 77 20 6a 20 66 20 64 20 62 20 66 7d  z u w j f d b f}
0b00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
0b10: 6a 20 77 20 69 20 63 20 67 20 75 20 64 20 77 20  j w i c g u d w 
0b20: 65 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20 20  e}           .  
0b30: 20 20 7b 6d 20 66 20 70 20 76 20 6d 20 61 20 73    {m f p v m a s
0b40: 20 70 20 76 20 63 20 6f 20 73 7d 20 20 20 20 20   p v c o s}     
0b50: 20 20 7b 73 20 63 20 72 20 7a 20 6f 20 74 20 77    {s c r z o t w
0b60: 20 6c 20 62 20 65 20 61 20 71 7d 20 20 20 20 20   l b e a q}     
0b70: 0a 20 20 20 20 7b 6d 20 6b 20 71 7d 20 20 20 20  .    {m k q}    
0b80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0b90: 20 20 20 20 20 7b 6b 20 62 20 61 20 76 20 6f 7d       {k b a v o}
0ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0bb0: 20 20 20 0a 20 20 20 20 2d 39 33 32 33 32 38 0a     .    -932328.
0bc0: 20 20 20 20 7b 72 20 76 20 69 20 75 20 6d 20 71      {r v i u m q
0bd0: 20 64 20 72 7d 20 20 20 20 20 20 20 20 20 20 20   d r}           
0be0: 20 20 20 20 7b 66 20 7a 20 75 20 76 20 68 20 63      {f z u v h c
0bf0: 20 6d 20 72 20 66 20 67 7d 20 20 20 20 20 20 20   m r f g}       
0c00: 20 20 0a 20 20 20 20 7b 72 20 78 20 72 7d 20 20    .    {r x r}  
0c10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0c20: 20 20 20 20 20 20 20 7b 6b 20 70 20 69 20 64 20         {k p i d 
0c30: 68 20 68 20 77 20 68 20 7a 20 75 20 61 20 78 7d  h h w h z u a x}
0c40: 20 20 20 20 20 0a 20 20 20 20 7b 6b 20 6d 20 6a       .    {k m j
0c50: 20 70 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   p}             
0c60: 20 20 20 20 20 20 20 20 20 20 7b 68 20 6c 20 6a            {h l j
0c70: 20 61 20 65 20 75 20 63 20 69 20 71 20 78 20 78   a e u c i q x x
0c80: 20 66 20 78 20 67 7d 20 0a 20 20 20 20 2d 33 39   f x g} .    -39
0c90: 32 33 38 31 38 0a 20 20 20 20 7b 74 20 74 20 70  23818.    {t t p
0ca0: 20 62 20 6e 20 75 20 69 20 68 20 65 20 63 20 6b   b n u i h e c k
0cb0: 7d 20 20 20 20 20 20 20 20 20 7b 6d 20 7a 7d 20  }         {m z} 
0cc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0cd0: 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 76 20          .    {v 
0ce0: 75 20 64 20 63 7d 20 20 20 20 20 20 20 20 20 20  u d c}          
0cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 76 20               {v 
0d00: 79 20 79 20 6a 20 73 20 67 7d 20 20 20 20 20 20  y y j s g}      
0d10: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
0d20: 7b 6f 20 61 20 66 20 6b 20 6b 20 71 20 70 20 68  {o a f k k q p h
0d30: 20 67 20 78 20 65 20 6e 20 7a 20 78 7d 20 20 20   g x e n z x}   
0d40: 7b 68 20 64 20 77 20 63 20 6f 20 6c 7d 20 20 20  {h d w c o l}   
0d50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20                . 
0d60: 20 20 20 2d 32 31 34 35 39 32 32 0a 20 20 20 20     -2145922.    
0d70: 7b 7a 20 7a 20 6c 20 66 20 61 20 6c 20 67 20 65  {z z l f a l g e
0d80: 20 64 20 63 20 64 20 68 7d 20 20 20 20 20 20 20   d c d h}       
0d90: 7b 6a 20 62 20 6a 20 70 20 6b 20 6f 20 6f 20 75  {j b j p k o o u
0da0: 20 62 20 71 7d 20 20 20 20 20 20 20 20 20 0a 20   b q}         . 
0db0: 20 20 20 7b 64 20 69 20 67 20 71 20 74 20 66 20     {d i g q t f 
0dc0: 64 20 72 20 68 20 6b 7d 20 20 20 20 20 20 20 20  d r h k}        
0dd0: 20 20 20 7b 6e 20 77 20 67 20 6a 20 63 20 78 20     {n w g j c x 
0de0: 72 20 70 20 74 20 79 20 66 20 6c 20 63 20 74 7d  r p t y f l c t}
0df0: 20 0a 20 20 20 20 7b 64 20 6f 20 63 20 75 20 6b   .    {d o c u k
0e00: 20 66 20 6f 7d 20 20 20 20 20 20 20 20 20 20 20   f o}           
0e10: 20 20 20 20 20 20 7b 72 20 79 20 73 20 78 20 7a        {r y s x z
0e20: 20 73 20 70 20 70 20 68 20 67 20 74 20 70 20 79   s p p h g t p y
0e30: 20 63 7d 20 0a 20 20 20 20 34 35 35 32 39 31 37   c} .    4552917
0e40: 0a 20 20 20 20 7b 6a 20 77 20 6a 20 79 20 68 20  .    {j w j y h 
0e50: 6c 20 6b 20 75 7d 20 20 20 20 20 20 20 20 20 20  l k u}          
0e60: 20 20 20 20 20 7b 6e 20 61 7d 20 20 20 20 20 20       {n a}      
0e70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0e80: 20 20 20 0a 20 20 20 20 7b 79 20 68 20 77 20 63     .    {y h w c
0e90: 20 6e 20 6b 7d 20 20 20 20 20 20 20 20 20 20 20   n k}           
0ea0: 20 20 20 20 20 20 20 20 7b 62 7d 20 20 20 20 20          {b}     
0eb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0ec0: 20 20 20 20 20 20 0a 20 20 20 20 7b 77 7d 20 20        .    {w}  
0ed0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0ee0: 20 20 20 20 20 20 20 20 20 20 20 7b 7a 20 6c 20             {z l 
0ef0: 72 20 74 20 73 20 69 20 6d 20 76 20 63 20 79 7d  r t s i m v c y}
0f00: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 32 32           .    22
0f10: 39 32 30 30 38 0a 20 20 20 20 7b 71 20 76 20 71  92008.    {q v q
0f20: 20 6a 20 77 20 79 20 79 20 78 20 75 20 74 7d 20   j w y y x u t} 
0f30: 20 20 20 20 20 20 20 20 20 20 7b 72 20 71 20 7a            {r q z
0f40: 20 6e 20 68 20 61 20 62 20 6f 7d 20 20 20 20 20   n h a b o}     
0f50: 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 64 20          .    {d 
0f60: 71 20 79 7d 20 20 20 20 20 20 20 20 20 20 20 20  q y}            
0f70: 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 79 20               {y 
0f80: 76 20 6f 20 65 20 6a 7d 20 20 20 20 20 20 20 20  v o e j}        
0f90: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
0fa0: 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  {}              
0fb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0fc0: 7b 61 20 62 20 68 20 63 20 64 20 6c 20 70 20 64  {a b h c d l p d
0fd0: 20 78 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20   x}           . 
0fe0: 20 20 20 31 34 30 37 38 39 32 0a 20 20 20 20 7b     1407892.    {
0ff0: 6e 20 6a 20 6a 20 75 20 71 20 64 20 6f 20 61 20  n j j u q d o a 
1000: 75 20 63 20 66 7d 20 20 20 20 20 20 20 20 20 7b  u c f}         {
1010: 72 20 64 20 62 20 77 20 6f 20 71 20 6e 20 67 7d  r d b w o q n g}
1020: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
1030: 20 20 7b 64 20 65 20 76 20 77 20 73 7d 20 20 20    {d e v w s}   
1040: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1050: 20 20 7b 76 20 64 20 76 20 6f 20 75 20 6f 20 78    {v d v o u o x
1060: 20 73 20 6c 20 73 20 6a 20 7a 20 79 7d 20 20 20   s l s j z y}   
1070: 0a 20 20 20 20 7b 6a 20 79 20 77 20 68 20 69 20  .    {j y w h i 
1080: 66 20 67 20 69 20 68 20 6d 7d 20 20 20 20 20 20  f g i h m}      
1090: 20 20 20 20 20 7b 76 20 6e 20 7a 20 62 20 6e 20       {v n z b n 
10a0: 79 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  y}              
10b0: 20 20 20 0a 20 20 20 20 2d 34 34 31 32 35 34 34     .    -4412544
10c0: 0a 20 20 20 20 7b 67 20 68 20 68 20 72 20 73 7d  .    {g h h r s}
10d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
10e0: 20 20 20 20 20 7b 68 20 65 20 72 20 65 7d 20 20       {h e r e}  
10f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1100: 20 20 20 0a 20 20 20 20 7b 6e 20 71 20 73 7d 20     .    {n q s} 
1110: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1120: 20 20 20 20 20 20 20 20 7b 6f 20 70 20 7a 20 72          {o p z r
1130: 20 6d 20 6c 20 6c 20 74 7d 20 20 20 20 20 20 20   m l l t}       
1140: 20 20 20 20 20 20 0a 20 20 20 20 7b 70 7d 20 20        .    {p}  
1150: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1160: 20 20 20 20 20 20 20 20 20 20 20 7b 66 20 73 20             {f s 
1170: 75 20 6f 20 62 20 6a 7d 20 20 20 20 20 20 20 20  u o b j}        
1180: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 31 32           .    12
1190: 30 39 31 31 30 0a 20 20 20 20 7b 6f 20 61 20 61  09110.    {o a a
11a0: 20 7a 20 74 20 74 20 75 20 68 20 6a 7d 20 20 20   z t t u h j}   
11b0: 20 20 20 20 20 20 20 20 20 20 7b 7a 20 7a 20 69            {z z i
11c0: 20 72 20 6b 20 72 7d 20 20 20 20 20 20 20 20 20   r k r}         
11d0: 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 69 20          .    {i 
11e0: 63 20 78 20 71 20 77 20 67 20 76 20 6f 20 78 20  c x q w g v o x 
11f0: 7a 20 69 20 7a 20 70 7d 20 20 20 20 20 7b 71 20  z i z p}     {q 
1200: 6f 20 67 20 6b 20 69 20 6e 20 7a 20 78 20 65 20  o g k i n z x e 
1210: 64 20 76 20 77 20 76 7d 20 20 20 0a 20 20 20 20  d v w v}   .    
1220: 7b 70 20 66 20 76 20 62 20 67 20 66 20 65 20 64  {p f v b g f e d
1230: 20 6e 20 70 20 75 20 63 20 79 20 6b 7d 20 20 20   n p u c y k}   
1240: 7b 71 20 7a 20 7a 20 61 20 69 20 70 20 61 20 61  {q z z a i p a a
1250: 20 73 20 72 20 65 20 7a 7d 20 20 20 20 20 0a 20   s r e z}     . 
1260: 20 20 20 33 34 34 38 39 37 37 0a 20 20 20 20 7b     3448977.    {
1270: 69 20 76 7d 20 20 20 20 20 20 20 20 20 20 20 20  i v}            
1280: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
1290: 6c 20 75 20 78 20 74 20 62 20 6f 20 6b 7d 20 20  l u x t b o k}  
12a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
12b0: 20 20 7b 66 20 68 20 75 20 76 20 70 7d 20 20 20    {f h u v p}   
12c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
12d0: 20 20 7b 6b 20 61 20 6f 20 79 20 6a 7d 20 20 20    {k a o y j}   
12e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
12f0: 0a 20 20 20 20 7b 64 20 6d 20 6b 20 63 20 6a 7d  .    {d m k c j}
1300: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1310: 20 20 20 20 20 7b 76 20 63 20 65 20 72 20 75 20       {v c e r u 
1320: 65 20 66 20 69 20 74 7d 20 20 20 20 20 20 20 20  e f i t}        
1330: 20 20 20 0a 20 20 20 20 2d 34 37 30 33 37 37 34     .    -4703774
1340: 0a 20 20 20 20 7b 64 20 68 20 76 20 77 20 75 20  .    {d h v w u 
1350: 7a 20 72 20 65 20 68 20 78 20 6f 20 6c 20 74 7d  z r e h x o l t}
1360: 20 20 20 20 20 7b 70 20 73 20 66 20 79 20 77 20       {p s f y w 
1370: 79 20 72 20 71 20 64 20 61 20 6d 20 77 7d 20 20  y r q d a m w}  
1380: 20 20 20 0a 20 20 20 20 7b 63 20 68 20 67 20 63     .    {c h g c
1390: 20 67 20 6a 20 6a 20 66 20 74 20 62 20 69 20 63   g j j f t b i c
13a0: 20 71 7d 20 20 20 20 20 7b 73 20 65 7d 20 20 20   q}     {s e}   
13b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
13c0: 20 20 20 20 20 20 0a 20 20 20 20 7b 63 20 74 20        .    {c t 
13d0: 71 20 6a 20 67 20 66 7d 20 20 20 20 20 20 20 20  q j g f}        
13e0: 20 20 20 20 20 20 20 20 20 20 20 7b 76 20 6e 20             {v n 
13f0: 72 20 77 20 79 20 72 20 61 20 67 20 65 20 6a 20  r w y r a g e j 
1400: 64 7d 20 20 20 20 20 20 20 0a 20 20 20 20 32 34  d}       .    24
1410: 31 34 31 35 31 0a 20 20 20 20 7b 73 20 6f 20 6f  14151.    {s o o
1420: 20 73 20 64 20 73 20 6b 20 71 20 62 20 66 20 71   s d s k q b f q
1430: 20 76 20 70 20 65 7d 20 20 20 7b 6a 20 72 20 6f   v p e}   {j r o
1440: 20 62 20 74 20 6f 20 70 20 64 20 6c 20 6f 20 6f   b t o p d l o o
1450: 20 78 7d 20 20 20 20 20 0a 20 20 20 20 7b 64 20   x}     .    {d 
1460: 64 20 6b 20 74 20 76 20 65 7d 20 20 20 20 20 20  d k t v e}      
1470: 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 7d 20               {} 
1480: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1490: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
14a0: 7b 74 20 76 20 6f 20 64 20 77 7d 20 20 20 20 20  {t v o d w}     
14b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
14c0: 7b 77 20 65 20 71 20 77 20 68 20 79 20 63 20 79  {w e q w h y c y
14d0: 20 79 20 69 20 6a 20 62 20 61 20 6d 7d 20 0a 20   y i j b a m} . 
14e0: 20 20 20 2d 33 33 34 32 34 30 37 0a 20 20 20 20     -3342407.    
14f0: 7b 6d 20 63 20 68 20 6e 20 65 20 70 20 64 20 6f  {m c h n e p d o
1500: 20 63 20 72 20 77 20 6e 20 74 7d 20 20 20 20 20   c r w n t}     
1510: 7b 6a 20 64 20 6b 20 73 20 70 20 71 20 6c 7d 20  {j d k s p q l} 
1520: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20                . 
1530: 20 20 20 7b 74 20 67 20 73 20 72 20 77 20 78 20     {t g s r w x 
1540: 6a 20 6c 20 72 20 7a 20 72 7d 20 20 20 20 20 20  j l r z r}      
1550: 20 20 20 7b 68 7d 20 20 20 20 20 20 20 20 20 20     {h}          
1560: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1570: 20 0a 20 20 20 20 7b 72 20 71 20 76 20 78 20 69   .    {r q v x i
1580: 20 72 20 61 20 6e 20 68 20 73 7d 20 20 20 20 20   r a n h s}     
1590: 20 20 20 20 20 20 7b 6d 20 79 20 70 20 62 20 76        {m y p b v
15a0: 20 77 20 72 20 61 20 75 20 6f 20 67 20 71 20 72   w r a u o g q r
15b0: 7d 20 20 20 0a 20 20 20 20 2d 39 39 33 39 35 31  }   .    -993951
15c0: 0a 20 20 20 20 7b 6c 20 6e 20 70 20 75 20 6f 20  .    {l n p u o 
15d0: 6a 20 64 20 78 20 74 20 75 20 75 20 63 20 6f 20  j d x t u u c o 
15e0: 6a 7d 20 20 20 7b 6b 20 72 20 6e 20 61 20 72 20  j}   {k r n a r 
15f0: 65 20 6b 20 76 20 69 20 74 20 6f 20 65 7d 20 20  e k v i t o e}  
1600: 20 20 20 0a 20 20 20 20 7b 71 20 66 20 74 20 74     .    {q f t t
1610: 20 61 20 61 20 63 20 7a 20 76 20 66 7d 20 20 20   a a c z v f}   
1620: 20 20 20 20 20 20 20 20 7b 6f 20 6e 20 6d 20 70          {o n m p
1630: 20 76 20 66 20 6f 20 65 20 6e 7d 20 20 20 20 20   v f o e n}     
1640: 20 20 20 20 20 20 0a 20 20 20 20 7b 68 20 7a 20        .    {h z 
1650: 68 20 69 20 70 20 73 20 62 20 6a 20 7a 20 68 7d  h i p s b j z h}
1660: 20 20 20 20 20 20 20 20 20 20 20 7b 69 20 74 20             {i t 
1670: 77 20 6d 20 6b 20 63 20 75 20 67 20 6e 20 69 7d  w m k c u g n i}
1680: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 31 35           .    15
1690: 37 35 32 35 31 0a 20 20 20 20 7b 7d 20 20 20 20  75251.    {}    
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
16b0: 20 20 20 20 20 20 20 20 20 20 7b 7a 20 73 20 69            {z s i
16c0: 20 6a 20 64 20 6f 20 78 20 6a 20 61 20 72 20 74   j d o x j a r t
16d0: 7d 20 20 20 20 20 20 20 0a 20 20 20 20 7b 68 20  }       .    {h 
16e0: 67 20 6a 20 75 20 6a 20 6e 20 76 20 65 20 6e 20  g j u j n v e n 
16f0: 7a 7d 20 20 20 20 20 20 20 20 20 20 20 7b 70 20  z}           {p 
1700: 7a 20 6a 20 6e 20 6e 20 66 7d 20 20 20 20 20 20  z j n n f}      
1710: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
1720: 7b 73 20 71 20 71 20 66 20 64 20 77 20 72 20 6c  {s q q f d w r l
1730: 20 79 20 69 20 7a 20 64 20 6f 20 6d 7d 20 20 20   y i z d o m}   
1740: 7b 62 20 61 20 6e 20 64 20 68 20 74 20 62 20 79  {b a n d h t b y
1750: 20 67 20 68 20 64 7d 20 20 20 20 20 20 20 0a 20   g h d}       . 
1760: 20 20 20 34 32 36 33 36 36 38 0a 20 20 20 20 7b     4263668.    {
1770: 71 20 67 20 74 20 68 20 66 20 73 7d 20 20 20 20  q g t h f s}    
1780: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
1790: 73 20 67 20 78 20 70 20 66 20 71 20 7a 20 69 20  s g x p f q z i 
17a0: 73 20 6f 20 66 20 6c 20 69 7d 20 20 20 0a 20 20  s o f l i}   .  
17b0: 20 20 7b 71 20 6b 7d 20 20 20 20 20 20 20 20 20    {q k}         
17c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
17d0: 20 20 7b 77 20 76 20 68 20 61 20 78 20 6e 20 61    {w v h a x n a
17e0: 20 72 20 62 7d 20 20 20 20 20 20 20 20 20 20 20   r b}           
17f0: 0a 20 20 20 20 7b 6d 20 6a 20 61 20 68 20 6f 20  .    {m j a h o 
1800: 62 20 69 20 78 20 6b 20 72 20 77 20 7a 20 71 20  b i x k r w z q 
1810: 75 7d 20 20 20 7b 6d 20 74 20 72 20 67 20 6a 20  u}   {m t r g j 
1820: 6f 20 65 20 71 20 74 20 6d 20 70 20 75 20 6c 7d  o e q t m p u l}
1830: 20 20 20 0a 20 20 20 20 32 34 38 37 38 31 39 0a     .    2487819.
1840: 20 20 20 20 7b 6d 20 77 20 67 20 78 20 72 20 6e      {m w g x r n
1850: 20 65 20 75 20 74 20 73 20 72 7d 20 20 20 20 20   e u t s r}     
1860: 20 20 20 20 7b 62 20 78 20 61 20 74 20 75 20 75      {b x a t u u
1870: 20 6a 20 63 20 72 20 6e 7d 20 20 20 20 20 20 20   j c r n}       
1880: 20 20 0a 20 20 20 20 7b 6a 7d 20 20 20 20 20 20    .    {j}      
1890: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
18a0: 20 20 20 20 20 20 20 7b 77 20 66 20 6a 20 72 20         {w f j r 
18b0: 65 20 65 20 79 20 6c 20 70 7d 20 20 20 20 20 20  e e y l p}      
18c0: 20 20 20 20 20 0a 20 20 20 20 7b 6f 20 75 20 68       .    {o u h
18d0: 20 62 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   b}             
18e0: 20 20 20 20 20 20 20 20 20 20 7b 6f 20 63 20 61            {o c a
18f0: 20 63 20 61 20 62 20 76 7d 20 20 20 20 20 20 20   c a b v}       
1900: 20 20 20 20 20 20 20 20 0a 20 20 20 20 31 36 37          .    167
1910: 39 36 36 0a 20 20 20 20 7b 6f 20 64 20 62 20 73  966.    {o d b s
1920: 20 64 20 6f 20 61 20 75 20 6d 20 6f 20 78 20 79   d o a u m o x y
1930: 7d 20 20 20 20 20 20 20 7b 63 7d 20 20 20 20 20  }       {c}     
1940: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1950: 20 20 20 20 20 20 0a 20 20 20 20 7b 72 20 77 20        .    {r w 
1960: 64 20 6f 20 62 20 76 7d 20 20 20 20 20 20 20 20  d o b v}        
1970: 20 20 20 20 20 20 20 20 20 20 20 7b 7a 20 65 20             {z e 
1980: 62 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  b}              
1990: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 69           .    {i
19a0: 20 6e 20 7a 20 61 20 66 20 67 20 7a 20 6f 7d 20   n z a f g z o} 
19b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 6d                {m
19c0: 20 75 20 62 20 61 20 67 7d 20 20 20 20 20 20 20   u b a g}       
19d0: 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20              .   
19e0: 20 31 39 34 38 35 39 39 0a 20 20 20 20 7b 6e 20   1948599.    {n 
19f0: 72 20 67 20 71 20 64 20 6a 20 73 7d 20 20 20 20  r g q d j s}    
1a00: 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 6e 20               {n 
1a10: 6b 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  k}              
1a20: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
1a30: 7b 6c 20 62 20 70 20 64 20 76 20 74 20 6b 20 68  {l b p d v t k h
1a40: 20 79 20 79 7d 20 20 20 20 20 20 20 20 20 20 20   y y}           
1a50: 7b 75 20 6d 20 6b 20 65 20 63 7d 20 20 20 20 20  {u m k e c}     
1a60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20                . 
1a70: 20 20 20 7b 74 20 62 20 6e 20 79 20 6f 20 74 20     {t b n y o t 
1a80: 62 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  b}              
1a90: 20 20 20 7b 6a 20 77 20 63 20 69 20 72 20 78 20     {j w c i r x 
1aa0: 78 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  x}              
1ab0: 20 0a 20 20 20 20 32 39 34 31 36 33 31 0a 20 20   .    2941631.  
1ac0: 20 20 7b 6c 20 64 20 70 20 6c 20 62 20 67 20 66    {l d p l b g f
1ad0: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
1ae0: 20 20 7b 65 20 6b 20 65 7d 20 20 20 20 20 20 20    {e k e}       
1af0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1b00: 0a 20 20 20 20 7b 70 20 6a 7d 20 20 20 20 20 20  .    {p j}      
1b10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1b20: 20 20 20 20 20 7b 6d 20 63 20 73 20 77 20 74 20       {m c s w t 
1b30: 62 20 6b 20 6e 20 6c 20 64 20 78 7d 20 20 20 20  b k n l d x}    
1b40: 20 20 20 0a 20 20 20 20 7b 66 20 6f 20 76 20 79     .    {f o v y
1b50: 20 76 20 6c 7d 20 20 20 20 20 20 20 20 20 20 20   v l}           
1b60: 20 20 20 20 20 20 20 20 7b 63 20 77 20 70 20 73          {c w p s
1b70: 20 77 20 6a 20 77 20 63 20 75 20 74 20 79 7d 20   w j w c u t y} 
1b80: 20 20 20 20 20 20 0a 20 20 20 20 33 35 36 31 31        .    35611
1b90: 30 34 0a 20 20 20 20 7b 64 20 72 20 6a 20 6a 20  04.    {d r j j 
1ba0: 72 20 6a 20 69 20 67 20 70 7d 20 20 20 20 20 20  r j i g p}      
1bb0: 20 20 20 20 20 20 20 7b 75 7d 20 20 20 20 20 20         {u}      
1bc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1bd0: 20 20 20 20 20 0a 20 20 20 20 7b 67 20 72 20 6a       .    {g r j
1be0: 20 71 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   q}             
1bf0: 20 20 20 20 20 20 20 20 20 20 7b 7a 20 6c 20 70            {z l p
1c00: 20 64 20 73 20 6e 20 66 20 63 20 68 20 74 20 64   d s n f c h t d
1c10: 20 63 20 76 20 7a 7d 20 0a 20 20 20 20 7b 77 20   c v z} .    {w 
1c20: 72 20 63 20 66 20 73 20 78 20 7a 20 79 7d 20 20  r c f s x z y}  
1c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 67 20               {g 
1c40: 66 20 6f 20 6b 20 67 20 67 7d 20 20 20 20 20 20  f o k g g}      
1c50: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
1c60: 2d 32 32 32 33 32 38 31 0a 20 20 20 20 7b 79 20  -2223281.    {y 
1c70: 65 20 74 20 6a 20 6a 20 7a 20 66 20 70 20 6f 20  e t j j z f p o 
1c80: 6d 20 6d 20 7a 7d 20 20 20 20 20 20 20 7b 68 20  m m z}       {h 
1c90: 6b 20 6f 20 67 20 6f 7d 20 20 20 20 20 20 20 20  k o g o}        
1ca0: 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20             .    
1cb0: 7b 6d 20 78 20 61 20 74 7d 20 20 20 20 20 20 20  {m x a t}       
1cc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1cd0: 7b 6c 20 71 20 78 20 6c 7d 20 20 20 20 20 20 20  {l q x l}       
1ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20                . 
1cf0: 20 20 20 7b 72 20 77 20 6b 20 64 20 6c 20 73 20     {r w k d l s 
1d00: 79 20 62 7d 20 20 20 20 20 20 20 20 20 20 20 20  y b}            
1d10: 20 20 20 7b 71 20 67 20 6b 20 62 7d 20 20 20 20     {q g k b}    
1d20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1d30: 20 0a 20 20 20 20 2d 34 35 30 32 38 37 34 0a 20   .    -4502874. 
1d40: 20 20 20 7b 6b 20 6b 20 62 20 78 20 6b 20 6c 20     {k k b x k l 
1d50: 66 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  f}              
1d60: 20 20 20 7b 72 7d 20 20 20 20 20 20 20 20 20 20     {r}          
1d70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1d80: 20 0a 20 20 20 20 7b 7d 20 20 20 20 20 20 20 20   .    {}        
1d90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1da0: 20 20 20 20 20 20 7b 71 20 6d 20 7a 20 62 20 6b        {q m z b k
1db0: 20 68 20 6b 20 75 20 6e 20 65 20 7a 7d 20 20 20   h k u n e z}   
1dc0: 20 20 20 20 0a 20 20 20 20 7b 7a 20 71 20 67 20      .    {z q g 
1dd0: 79 20 6d 20 79 20 75 7d 20 20 20 20 20 20 20 20  y m y u}        
1de0: 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20 20 20           {}     
1df0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1e00: 20 20 20 20 20 20 20 0a 20 20 20 20 31 37 35 37         .    1757
1e10: 35 39 39 0a 20 20 20 20 7b 64 20 70 20 7a 20 6a  599.    {d p z j
1e20: 20 79 20 75 20 72 7d 20 20 20 20 20 20 20 20 20   y u r}         
1e30: 20 20 20 20 20 20 20 20 7b 7a 20 70 20 6c 20 71          {z p l q
1e40: 20 77 20 6a 20 74 20 6a 7d 20 20 20 20 20 20 20   w j t j}       
1e50: 20 20 20 20 20 20 0a 20 20 20 20 7b 6e 20 69 20        .    {n i 
1e60: 72 20 78 20 72 20 79 20 6a 7d 20 20 20 20 20 20  r x r y j}      
1e70: 20 20 20 20 20 20 20 20 20 20 20 7b 7d 20 20 20             {}   
1e80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1e90: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 68           .    {h
1ea0: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
1eb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 77                {w
1ec0: 20 74 20 64 20 71 20 63 20 78 20 7a 20 7a 20 78   t d q c x z z x
1ed0: 20 65 20 65 7d 20 20 20 20 20 20 20 0a 20 20 20   e e}       .   
1ee0: 20 2d 34 38 30 39 35 38 39 0a 20 20 20 20 7b 7d   -4809589.    {}
1ef0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1f00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b 7a                {z
1f10: 20 70 20 78 20 75 20 68 20 69 20 69 20 6e 20 67   p x u h i i n g
1f20: 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20  }           .   
1f30: 20 7b 77 20 71 20 73 20 75 20 64 20 62 20 66 20   {w q s u d b f 
1f40: 78 20 6e 7d 20 20 20 20 20 20 20 20 20 20 20 20  x n}            
1f50: 20 7b 6c 20 79 20 6b 20 62 20 62 20 72 20 78 20   {l y k b b r x 
1f60: 74 20 69 7d 20 20 20 20 20 20 20 20 20 20 20 0a  t i}           .
1f70: 20 20 20 20 7b 6e 20 64 20 76 20 6a 20 71 20 6f      {n d v j q o
1f80: 20 74 20 6f 20 64 20 70 20 7a 20 65 7d 20 20 20   t o d p z e}   
1f90: 20 20 20 20 7b 75 20 72 20 79 20 75 20 76 20 75      {u r y u v u
1fa0: 20 63 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   c}             
1fb0: 20 20 0a 20 20 20 20 31 30 36 38 34 30 38 0a 20    .    1068408. 
1fc0: 20 20 20 7b 79 20 65 7d 20 20 20 20 20 20 20 20     {y e}        
1fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1fe0: 20 20 20 7b 65 20 67 20 73 20 6b 20 65 20 77 20     {e g s k e w 
1ff0: 74 20 70 20 76 20 6f 20 62 20 6b 7d 20 20 20 20  t p v o b k}    
2000: 20 0a 20 20 20 20 7b 7a 20 63 20 6d 20 73 7d 20   .    {z c m s} 
2010: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2020: 20 20 20 20 20 20 7b 72 20 75 20 72 20 75 20 68        {r u r u h
2030: 20 6e 20 68 20 62 20 70 20 71 20 67 20 62 7d 20   n h b p q g b} 
2040: 20 20 20 20 0a 20 20 20 20 7b 6a 20 6b 20 62 20      .    {j k b 
2050: 6c 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  l}              
2060: 20 20 20 20 20 20 20 20 20 7b 6d 20 63 20 64 20           {m c d 
2070: 74 20 73 20 72 20 73 20 71 20 61 20 64 20 62 20  t s r s q a d b 
2080: 6f 20 66 7d 20 20 20 0a 20 20 20 20 2d 31 39 37  o f}   .    -197
2090: 32 35 35 34 0a 20 20 20 20 7b 6d 20 73 20 77 7d  2554.    {m s w}
20a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
20b0: 20 20 20 20 20 20 20 20 20 7b 64 20 6b 20 76 20           {d k v 
20c0: 73 20 61 20 72 20 6b 20 70 20 61 20 72 20 69 20  s a r k p a r i 
20d0: 76 7d 20 20 20 20 20 0a 20 20 20 20 7b 67 20 6a  v}     .    {g j
20e0: 20 7a 20 6b 20 70 7d 20 20 20 20 20 20 20 20 20   z k p}         
20f0: 20 20 20 20 20 20 20 20 20 20 20 20 7b 79 20 6b              {y k
2100: 20 63 20 76 20 72 20 65 20 75 20 6f 20 71 20 66   c v r e u o q f
2110: 20 69 20 62 20 61 7d 20 20 20 0a 20 20 20 20 7b   i b a}   .    {
2120: 69 20 70 20 69 7d 20 20 20 20 20 20 20 20 20 20  i p i}          
2130: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
2140: 63 20 7a 20 77 20 63 20 79 20 62 20 6e 20 7a 20  c z w c y b n z 
2150: 69 20 76 7d 20 20 20 20 20 20 20 20 20 0a 20 20  i v}         .  
2160: 20 20 2d 32 30 35 32 33 38 35 0a 20 20 20 20 7b    -2052385.    {
2170: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
2180: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
2190: 78 20 65 20 75 20 66 20 66 20 67 20 6e 20 63 20  x e u f f g n c 
21a0: 69 20 78 20 6e 20 65 20 69 20 65 7d 20 0a 20 20  i x n e i e} .  
21b0: 20 20 7b 7d 20 20 20 20 20 20 20 20 20 20 20 20    {}            
21c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
21d0: 20 20 7b 70 20 73 20 77 20 64 20 78 20 70 20 67    {p s w d x p g
21e0: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
21f0: 0a 20 20 20 20 7b 7d 20 20 20 20 20 20 20 20 20  .    {}         
2200: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2210: 20 20 20 20 20 7b 73 20 6a 20 61 20 68 20 6e 7d       {s j a h n}
2220: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2230: 20 20 20 0a 20 20 20 20 32 38 30 35 39 38 31 0a     .    2805981.
2240: 20 20 20 20 7b 6d 20 78 20 67 20 63 20 77 20 6f      {m x g c w o
2250: 20 65 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   e}             
2260: 20 20 20 20 7b 6b 20 67 20 75 20 79 20 72 20 79      {k g u y r y
2270: 20 69 20 75 20 65 20 67 20 67 7d 20 20 20 20 20   i u e g g}     
2280: 20 20 0a 20 20 20 20 7b 66 20 6b 20 6a 20 76 20    .    {f k j v 
2290: 74 20 78 20 70 20 68 20 78 20 6b 20 75 7d 20 20  t x p h x k u}  
22a0: 20 20 20 20 20 20 20 7b 77 20 69 7d 20 20 20 20         {w i}    
22b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
22c0: 20 20 20 20 20 0a 20 20 20 20 7b 62 20 6c 20 66       .    {b l f
22d0: 20 7a 20 66 20 76 20 74 20 6e 7d 20 20 20 20 20   z f v t n}     
22e0: 20 20 20 20 20 20 20 20 20 20 7b 69 20 75 20 64            {i u d
22f0: 20 6f 20 64 20 70 20 68 20 73 20 6d 20 75 7d 20   o d p h s m u} 
2300: 20 20 20 20 20 20 20 20 0a 20 20 20 20 32 35 30          .    250
2310: 37 36 32 31 0a 20 20 20 20 7b 7d 20 20 20 20 20  7621.    {}     
2320: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2330: 20 20 20 20 20 20 20 20 20 7b 75 20 62 20 6e 20           {u b n 
2340: 6c 20 78 20 66 20 6e 20 6a 20 74 7d 20 20 20 20  l x f n j t}    
2350: 20 20 20 20 20 20 20 0a 20 20 20 20 7b 75 20 72         .    {u r
2360: 20 78 20 6c 20 68 7d 20 20 20 20 20 20 20 20 20   x l h}         
2370: 20 20 20 20 20 20 20 20 20 20 20 20 7b 68 20 72              {h r
2380: 20 6c 20 6d 20 72 7d 20 20 20 20 20 20 20 20 20   l m r}         
2390: 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b            .    {
23a0: 64 20 79 20 65 20 6e 20 62 20 73 20 71 20 76 20  d y e n b s q v 
23b0: 74 20 6b 20 6e 20 71 20 71 7d 20 20 20 20 20 7b  t k n q q}     {
23c0: 78 20 6c 20 74 20 76 20 77 20 68 20 61 20 73 20  x l t v w h a s 
23d0: 6b 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20 20  k}           .  
23e0: 20 20 2d 33 31 33 38 33 37 35 0a 20 20 20 20 7b    -3138375.    {
23f0: 65 20 6f 20 66 20 6a 20 79 20 78 20 75 20 77 20  e o f j y x u w 
2400: 76 20 65 20 77 20 7a 7d 20 20 20 20 20 20 20 7b  v e w z}       {
2410: 72 20 64 20 71 20 67 20 6b 20 6e 20 6e 20 76 20  r d q g k n n v 
2420: 72 20 63 20 7a 20 6e 20 65 20 77 7d 20 0a 20 20  r c z n e w} .  
2430: 20 20 7b 6c 20 79 20 69 20 71 20 7a 20 6b 20 6a    {l y i q z k j
2440: 20 70 20 75 20 66 20 71 20 73 20 6b 7d 20 20 20   p u f q s k}   
2450: 20 20 7b 63 20 69 20 6c 20 6c 20 69 20 6d 20 61    {c i l l i m a
2460: 20 61 20 67 20 61 20 7a 20 72 20 78 20 66 7d 20   a g a z r x f} 
2470: 0a 20 20 20 20 7b 61 20 76 20 6b 20 68 20 6d 20  .    {a v k h m 
2480: 71 20 7a 20 62 20 79 20 6e 20 7a 7d 20 20 20 20  q z b y n z}    
2490: 20 20 20 20 20 7b 71 20 67 20 77 20 63 20 79 20       {q g w c y 
24a0: 72 20 72 20 6f 20 61 7d 20 20 20 20 20 20 20 20  r r o a}        
24b0: 20 20 20 0a 20 20 20 20 2d 34 35 37 39 37 31 0a     .    -457971.
24c0: 20 20 20 20 7b 6a 20 78 20 61 20 77 20 65 20 63      {j x a w e c
24d0: 20 73 20 68 20 66 20 6c 20 66 7d 20 20 20 20 20   s h f l f}     
24e0: 20 20 20 20 7b 71 7d 20 20 20 20 20 20 20 20 20      {q}         
24f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2500: 20 20 0a 20 20 20 20 7b 6a 20 66 20 76 20 6a 20    .    {j f v j 
2510: 75 20 6d 20 64 20 71 20 72 20 76 20 76 7d 20 20  u m d q r v v}  
2520: 20 20 20 20 20 20 20 7b 78 20 6e 20 76 20 61 20         {x n v a 
2530: 77 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  w}              
2540: 20 20 20 20 20 0a 20 20 20 20 7b 69 20 65 20 68       .    {i e h
2550: 20 64 20 68 20 66 20 75 20 77 20 74 20 74 20 7a   d h f u w t t z
2560: 7d 20 20 20 20 20 20 20 20 20 7b 76 20 73 20 75  }         {v s u
2570: 20 6c 20 73 20 76 20 6f 20 76 20 69 20 6b 20 6e   l s v o v i k n
2580: 20 65 7d 20 20 20 20 20 0a 20 20 20 20 32 32 36   e}     .    226
2590: 35 32 32 31 0a 20 20 20 20 7b 7a 20 74 20 63 20  5221.    {z t c 
25a0: 79 20 77 20 6e 20 79 20 72 20 74 7d 20 20 20 20  y w n y r t}    
25b0: 20 20 20 20 20 20 20 20 20 7b 6e 20 62 20 61 20           {n b a 
25c0: 78 20 73 7d 20 20 20 20 20 20 20 20 20 20 20 20  x s}            
25d0: 20 20 20 20 20 20 20 0a 20 20 20 20 7b 71 20 77         .    {q w
25e0: 20 61 20 76 7d 20 20 20 20 20 20 20 20 20 20 20   a v}           
25f0: 20 20 20 20 20 20 20 20 20 20 20 20 7b 61 20 62              {a b
2600: 20 73 20 64 20 78 20 69 20 67 20 77 20 74 20 65   s d x i g w t e
2610: 20 7a 20 68 7d 20 20 20 20 20 0a 20 20 20 20 7b   z h}     .    {
2620: 74 20 6c 7d 20 20 20 20 20 20 20 20 20 20 20 20  t l}            
2630: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
2640: 6a 20 6b 20 72 20 77 20 66 20 66 20 79 20 6a 20  j k r w f f y j 
2650: 6f 20 6b 20 75 7d 20 20 20 20 20 20 20 0a 20 20  o k u}       .  
2660: 20 20 2d 33 39 34 31 32 38 30 0a 20 20 20 20 7b    -3941280.    {
2670: 72 20 78 20 74 20 6f 20 7a 7d 20 20 20 20 20 20  r x t o z}      
2680: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
2690: 66 20 6a 20 6e 20 7a 20 6b 7d 20 20 20 20 20 20  f j n z k}      
26a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
26b0: 20 20 7b 74 20 78 20 65 20 62 20 74 20 64 20 62    {t x e b t d b
26c0: 20 6b 20 77 20 69 20 73 7d 20 20 20 20 20 20 20   k w i s}       
26d0: 20 20 7b 6a 20 74 20 79 20 68 20 69 20 68 7d 20    {j t y h i h} 
26e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
26f0: 0a 20 20 20 20 7b 79 20 71 20 67 20 6e 20 67 20  .    {y q g n g 
2700: 73 20 75 20 76 20 63 20 7a 20 6a 20 7a 20 6e 20  s u v c z j z n 
2710: 67 7d 20 20 20 7b 6e 20 6e 20 67 20 74 20 6c 20  g}   {n n g t l 
2720: 70 20 68 7d 20 20 20 20 20 20 20 20 20 20 20 20  p h}            
2730: 20 20 20 0a 20 20 20 20 32 30 38 34 37 34 35 0a     .    2084745.
2740: 20 20 20 20 7b 7a 20 64 20 7a 20 64 7d 20 20 20      {z d z d}   
2750: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2760: 20 20 20 20 7b 6a 7d 20 20 20 20 20 20 20 20 20      {j}         
2770: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2780: 20 20 0a 20 20 20 20 7b 6f 20 65 20 6b 20 74 20    .    {o e k t 
2790: 62 20 6b 20 61 20 7a 20 6c 20 77 7d 20 20 20 20  b k a z l w}    
27a0: 20 20 20 20 20 20 20 7b 6f 20 70 20 69 20 68 20         {o p i h 
27b0: 6b 20 63 20 78 7d 20 20 20 20 20 20 20 20 20 20  k c x}          
27c0: 20 20 20 20 20 0a 20 20 20 20 7b 63 20 72 20 62       .    {c r b
27d0: 20 74 20 69 20 6a 20 66 7d 20 20 20 20 20 20 20   t i j f}       
27e0: 20 20 20 20 20 20 20 20 20 20 7b 7a 20 65 20 6e            {z e n
27f0: 20 6d 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   m}             
2800: 20 20 20 20 20 20 20 20 0a 20 20 20 20 31 32 36          .    126
2810: 35 38 34 33 0a 20 20 20 20 7b 7d 20 20 20 20 20  5843.    {}     
2820: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2830: 20 20 20 20 20 20 20 20 20 7b 6a 20 73 20 67 20           {j s g 
2840: 6a 20 6a 20 78 20 75 20 79 7d 20 20 20 20 20 20  j j x u y}      
2850: 20 20 20 20 20 20 20 0a 20 20 20 20 7b 75 20 71         .    {u q
2860: 20 74 20 66 7d 20 20 20 20 20 20 20 20 20 20 20   t f}           
2870: 20 20 20 20 20 20 20 20 20 20 20 20 7b 67 20 6f              {g o
2880: 20 67 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   g}             
2890: 20 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b            .    {
28a0: 77 20 6f 20 6a 20 65 20 64 7d 20 20 20 20 20 20  w o j e d}      
28b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
28c0: 77 20 71 20 6e 20 61 20 63 20 74 20 71 20 78 20  w q n a c t q x 
28d0: 6a 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20 20  j}           .  
28e0: 20 20 2d 32 39 34 31 31 31 36 0a 20 20 20 20 7b    -2941116.    {
28f0: 69 20 6e 20 63 20 75 20 6f 7d 20 20 20 20 20 20  i n c u o}      
2900: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 7b                 {
2910: 66 20 62 7d 20 20 20 20 20 20 20 20 20 20 20 20  f b}            
2920: 20 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20               .  
2930: 20 20 7b 6f 20 6d 20 73 20 71 20 64 20 6f 20 7a    {o m s q d o z
2940: 20 61 20 71 7d 20 20 20 20 20 20 20 20 20 20 20   a q}           
2950: 20 20 7b 66 20 73 20 76 20 6f 20 62 20 62 7d 20    {f s v o b b} 
2960: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2970: 0a 20 20 20 20 7b 6f 20 61 20 7a 20 63 20 68 20  .    {o a z c h 
2980: 72 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20  r}              
2990: 20 20 20 20 20 7b 6a 20 65 20 77 20 68 20 62 20       {j e w h b 
29a0: 66 20 7a 7d 20 20 20 20 20 20 20 20 20 20 20 20  f z}            
29b0: 20 20 20 0a 20 20 20 20 2d 31 32 36 35 34 34 31     .    -1265441
29c0: 0a 20 20 20 20 7b 70 20 67 20 7a 20 71 20 76 20  .    {p g z q v 
29d0: 61 20 6f 20 61 20 78 20 61 7d 20 20 20 20 20 20  a o a x a}      
29e0: 20 20 20 20 20 7b 73 20 74 20 68 7d 20 20 20 20       {s t h}    
29f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2a00: 20 20 20 0a 20 20 20 20 7b 77 20 69 20 70 20 6f     .    {w i p o
2a10: 20 63 7d 20 20 20 20 20 20 20 20 20 20 20 20 20   c}             
2a20: 20 20 20 20 20 20 20 20 7b 73 20 6e 20 64 20 67          {s n d g
2a30: 20 66 20 7a 20 77 20 71 20 6f 20 64 20 76 20 76   f z w q o d v v
2a40: 20 6c 20 6a 7d 20 0a 20 20 20 20 7b 79 20 66 20   l j} .    {y f 
2a50: 62 20 69 20 61 20 73 20 76 7d 20 20 20 20 20 20  b i a s v}      
2a60: 20 20 20 20 20 20 20 20 20 20 20 7b 75 20 6d 20             {u m 
2a70: 6f 20 7a 20 6b 20 6b 20 73 20 74 20 73 20 64 20  o z k k s t s d 
2a80: 70 20 62 20 6c 20 70 7d 20 0a 20 20 20 20 2d 31  p b l p} .    -1
2a90: 39 38 39 31 35 38 0a 20 20 20 20 7b 72 20 69 20  989158.    {r i 
2aa0: 63 20 6e 7d 20 20 20 20 20 20 20 20 20 20 20 20  c n}            
2ab0: 20 20 20 20 20 20 20 20 20 20 20 7b 72 20 65 20             {r e 
2ac0: 77 20 77 20 69 20 6e 20 7a 7d 20 20 20 20 20 20  w w i n z}      
2ad0: 20 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 71           .    {q
2ae0: 20 75 20 73 20 79 20 62 20 77 20 75 20 67 20 79   u s y b w u g y
2af0: 20 67 20 66 20 6f 7d 20 20 20 20 20 20 20 7b 79   g f o}       {y
2b00: 7d 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  }               
2b10: 20 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 20              .   
2b20: 20 7b 64 7d 20 20 20 20 20 20 20 20 20 20 20 20   {d}            
2b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2b40: 20 7b 6a 20 78 20 69 20 62 20 78 20 75 20 79 20   {j x i b x u y 
2b50: 64 20 63 20 70 20 76 20 61 20 68 7d 20 20 20 0a  d c p v a h}   .
2b60: 20 20 20 20 32 33 39 31 39 38 39 0a 20 20 20 20      2391989.    
2b70: 7b 62 20 6e 20 77 20 78 20 77 20 66 20 71 20 68  {b n w x w f q h
2b80: 20 70 20 69 7d 20 20 20 20 20 20 20 20 20 20 20   p i}           
2b90: 7b 65 20 75 20 62 20 62 20 69 20 6e 20 61 20 69  {e u b b i n a i
2ba0: 20 6f 20 63 20 64 20 67 7d 20 20 20 20 20 0a 20   o c d g}     . 
2bb0: 20 20 20 7b 76 20 61 20 7a 20 6f 20 69 20 65 20     {v a z o i e 
2bc0: 6e 20 6c 20 78 20 6c 20 72 7d 20 20 20 20 20 20  n l x l r}      
2bd0: 20 20 20 7b 72 20 75 20 66 20 6f 20 72 20 6b 20     {r u f o r k 
2be0: 77 20 6d 20 64 20 77 7d 20 20 20 20 20 20 20 20  w m d w}        
2bf0: 20 0a 20 20 20 20 7b 6b 20 73 7d 20 20 20 20 20   .    {k s}     
2c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2c10: 20 20 20 20 20 20 7b 72 20 66 20 65 20 6a 20 71        {r f e j q
2c20: 20 70 20 77 7d 20 20 20 20 20 20 20 20 20 20 20   p w}           
2c30: 20 20 20 20 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73      .}..do_execs
2c40: 71 6c 5f 74 65 73 74 20 31 2e 30 20 7b 0a 20 20  ql_test 1.0 {.  
2c50: 43 52 45 41 54 45 20 56 49 52 54 55 41 4c 20 54  CREATE VIRTUAL T
2c60: 41 42 4c 45 20 74 74 20 55 53 49 4e 47 20 66 74  ABLE tt USING ft
2c70: 73 35 28 61 2c 20 62 2c 20 63 2c 20 64 2c 20 65  s5(a, b, c, d, e
2c80: 2c 20 66 29 3b 0a 7d 20 7b 7d 0a 0a 66 74 73 35  , f);.} {}..fts5
2c90: 5f 61 75 78 5f 74 65 73 74 5f 66 75 6e 63 74 69  _aux_test_functi
2ca0: 6f 6e 73 20 64 62 0a 0a 70 72 6f 63 20 64 6f 5f  ons db..proc do_
2cb0: 61 75 74 6f 5f 74 65 73 74 20 7b 74 6e 20 74 62  auto_test {tn tb
2cc0: 6c 20 65 78 70 72 7d 20 7b 0a 20 20 66 6f 72 65  l expr} {.  fore
2cd0: 61 63 68 20 6f 72 64 65 72 20 7b 61 73 63 20 64  ach order {asc d
2ce0: 65 73 63 7d 20 7b 0a 20 20 20 20 73 65 74 20 72  esc} {.    set r
2cf0: 65 73 20 5b 66 74 73 35 5f 70 6f 73 6c 69 73 74  es [fts5_poslist
2d00: 5f 64 61 74 61 20 24 65 78 70 72 20 24 74 62 6c  _data $expr $tbl
2d10: 20 24 6f 72 64 65 72 5d 0a 20 20 20 20 73 65 74   $order].    set
2d20: 20 74 65 73 74 6e 61 6d 65 20 22 24 74 6e 2e 5b   testname "$tn.[
2d30: 73 74 72 69 6e 67 20 72 61 6e 67 65 20 24 6f 72  string range $or
2d40: 64 65 72 20 30 20 30 5d 2e 72 6f 77 73 3d 5b 65  der 0 0].rows=[e
2d50: 78 70 72 20 5b 6c 6c 65 6e 67 74 68 20 24 72 65  xpr [llength $re
2d60: 73 5d 2f 32 5d 22 0a 0a 20 20 20 20 73 65 74 20  s]/2]"..    set 
2d70: 3a 3a 61 75 74 6f 74 65 73 74 5f 65 78 70 72 20  ::autotest_expr 
2d80: 24 65 78 70 72 0a 20 20 20 20 64 6f 5f 65 78 65  $expr.    do_exe
2d90: 63 73 71 6c 5f 74 65 73 74 20 24 74 65 73 74 6e  csql_test $testn
2da0: 61 6d 65 20 5b 73 75 62 73 74 20 2d 6e 6f 76 61  ame [subst -nova
2db0: 72 20 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54  r {.      SELECT
2dc0: 20 72 6f 77 69 64 2c 20 66 74 73 35 5f 74 65 73   rowid, fts5_tes
2dd0: 74 5f 70 6f 73 6c 69 73 74 28 5b 73 65 74 20 74  t_poslist([set t
2de0: 62 6c 5d 29 20 46 52 4f 4d 20 5b 73 65 74 20 74  bl]) FROM [set t
2df0: 62 6c 5d 20 0a 20 20 20 20 20 20 57 48 45 52 45  bl] .      WHERE
2e00: 20 5b 73 65 74 20 74 62 6c 5d 20 4d 41 54 43 48   [set tbl] MATCH
2e10: 20 24 3a 3a 61 75 74 6f 74 65 73 74 5f 65 78 70   $::autotest_exp
2e20: 72 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69 64  r ORDER BY rowid
2e30: 20 5b 73 65 74 20 6f 72 64 65 72 5d 0a 20 20 20   [set order].   
2e40: 20 7d 5d 20 24 72 65 73 0a 20 20 7d 0a 7d 0a 0a   }] $res.  }.}..
2e50: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
2e60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2e90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 0a 0a 66 6f  ----------.#..fo
2ea0: 72 20 7b 73 65 74 20 66 6f 6c 64 20 30 7d 20 7b  r {set fold 0} {
2eb0: 24 66 6f 6c 64 20 3c 20 33 7d 20 7b 69 6e 63 72  $fold < 3} {incr
2ec0: 20 66 6f 6c 64 7d 20 7b 0a 20 20 73 77 69 74 63   fold} {.  switc
2ed0: 68 20 24 66 6f 6c 64 20 7b 0a 20 20 20 20 30 20  h $fold {.    0 
2ee0: 7b 20 73 65 74 20 6d 61 70 20 7b 7d 20 7d 0a 20  { set map {} }. 
2ef0: 20 20 20 31 20 7b 20 73 65 74 20 6d 61 70 20 7b     1 { set map {
2f00: 0a 20 20 20 20 20 20 61 20 61 20 20 62 20 61 20  .      a a  b a 
2f10: 20 63 20 62 20 20 64 20 62 20 20 65 20 63 20 20   c b  d b  e c  
2f20: 66 20 63 20 20 67 20 64 20 20 68 20 64 20 20 0a  f c  g d  h d  .
2f30: 20 20 20 20 20 20 69 20 65 20 20 6a 20 65 20 20        i e  j e  
2f40: 6b 20 66 20 20 6c 20 66 20 20 6d 20 67 20 20 67  k f  l f  m g  g
2f50: 20 67 20 20 6f 20 68 20 20 70 20 68 0a 20 20 20   g  o h  p h.   
2f60: 20 20 20 71 20 69 20 20 72 20 69 20 20 73 20 6a     q i  r i  s j
2f70: 20 20 74 20 6a 20 20 75 20 6b 20 20 76 20 6b 20    t j  u k  v k 
2f80: 20 77 20 6c 20 20 78 20 6c 0a 20 20 20 20 20 20   w l  x l.      
2f90: 79 20 6d 20 20 7a 20 6d 0a 20 20 20 20 7d 7d 0a  y m  z m.    }}.
2fa0: 0a 20 20 20 20 32 20 7b 20 73 65 74 20 6d 61 70  .    2 { set map
2fb0: 20 7b 0a 20 20 20 20 20 20 61 20 61 20 20 62 20   {.      a a  b 
2fc0: 61 20 20 63 20 61 20 20 64 20 61 20 20 65 20 61  a  c a  d a  e a
2fd0: 20 20 66 20 61 20 20 67 20 61 20 20 68 20 61 20    f a  g a  h a 
2fe0: 20 0a 20 20 20 20 20 20 69 20 62 20 20 6a 20 62   .      i b  j b
2ff0: 20 20 6b 20 62 20 20 6c 20 62 20 20 6d 20 62 20    k b  l b  m b 
3000: 20 67 20 62 20 20 6f 20 62 20 20 70 20 62 0a 20   g b  o b  p b. 
3010: 20 20 20 20 20 71 20 63 20 20 72 20 63 20 20 73       q c  r c  s
3020: 20 63 20 20 74 20 63 20 20 75 20 63 20 20 76 20   c  t c  u c  v 
3030: 63 20 20 77 20 63 20 20 78 20 63 0a 20 20 20 20  c  w c  x c.    
3040: 7d 7d 0a 20 20 7d 0a 0a 20 20 65 78 65 63 73 71  }}.  }..  execsq
3050: 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  l {.    BEGIN;. 
3060: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
3070: 74 3b 0a 20 20 7d 0a 20 20 66 6f 72 65 61 63 68  t;.  }.  foreach
3080: 20 7b 72 6f 77 69 64 20 61 20 62 20 63 20 64 20   {rowid a b c d 
3090: 65 20 66 7d 20 5b 73 74 72 69 6e 67 20 6d 61 70  e f} [string map
30a0: 20 24 6d 61 70 20 24 64 61 74 61 5d 20 7b 0a 20   $map $data] {. 
30b0: 20 69 66 20 7b 24 72 6f 77 69 64 3d 3d 2d 34 37   if {$rowid==-47
30c0: 30 33 37 37 34 7d 20 7b 0a 20 20 20 20 65 78 65  03774} {.    exe
30d0: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 49 4e 53  csql {.      INS
30e0: 45 52 54 20 49 4e 54 4f 20 74 74 28 72 6f 77 69  ERT INTO tt(rowi
30f0: 64 2c 20 61 2c 20 62 2c 20 63 2c 20 64 2c 20 65  d, a, b, c, d, e
3100: 2c 20 66 29 20 0a 20 20 20 20 20 20 56 41 4c 55  , f) .      VALU
3110: 45 53 28 24 72 6f 77 69 64 2c 20 24 61 2c 20 24  ES($rowid, $a, $
3120: 62 2c 20 24 63 2c 20 24 64 2c 20 24 65 2c 20 24  b, $c, $d, $e, $
3130: 66 29 0a 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20  f).    }.    }. 
3140: 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 43 4f 4d   }.  execsql COM
3150: 4d 49 54 0a 0a 0a 20 20 66 6f 72 65 61 63 68 20  MIT...  foreach 
3160: 7b 74 6e 20 65 78 70 72 7d 20 7b 0a 20 20 20 20  {tn expr} {.    
3170: 41 2e 31 20 7b 20 7b 61 7d 20 3a 20 78 20 7d 0a  A.1 { {a} : x }.
3180: 20 20 20 20 41 2e 32 20 7b 20 7b 61 20 62 7d 20      A.2 { {a b} 
3190: 3a 20 78 20 7d 0a 20 20 20 20 41 2e 33 20 7b 20  : x }.    A.3 { 
31a0: 7b 61 20 62 20 66 7d 20 3a 20 78 20 7d 0a 20 20  {a b f} : x }.  
31b0: 20 20 41 2e 34 20 7b 20 7b 66 20 61 20 62 7d 20    A.4 { {f a b} 
31c0: 3a 20 78 20 7d 0a 20 20 20 20 41 2e 35 20 7b 20  : x }.    A.5 { 
31d0: 7b 66 20 61 20 62 7d 20 3a 20 78 20 79 20 7d 0a  {f a b} : x y }.
31e0: 20 20 20 20 41 2e 36 20 7b 20 7b 66 20 61 20 62      A.6 { {f a b
31f0: 7d 20 3a 20 78 20 2b 20 79 20 7d 0a 20 20 20 20  } : x + y }.    
3200: 41 2e 37 20 7b 20 7b 63 20 61 20 62 7d 20 3a 20  A.7 { {c a b} : 
3210: 78 20 2b 20 63 20 7d 0a 20 20 20 20 41 2e 38 20  x + c }.    A.8 
3220: 7b 20 7b 63 20 64 7d 20 3a 20 22 6c 20 6d 22 20  { {c d} : "l m" 
3230: 7d 0a 20 20 20 20 41 2e 39 20 7b 20 7b 63 20 65  }.    A.9 { {c e
3240: 7d 20 3a 20 22 6c 20 6d 22 20 7d 0a 20 20 20 20  } : "l m" }.    
3250: 41 2e 31 30 20 7b 20 7b 61 20 62 20 63 20 61 20  A.10 { {a b c a 
3260: 62 20 63 20 61 20 62 20 63 20 66 20 66 20 65 7d  b c a b c f f e}
3270: 20 3a 20 22 6c 20 6d 22 20 7d 0a 0a 20 20 20 20   : "l m" }..    
3280: 42 2e 31 20 7b 20 61 20 4e 4f 54 20 62 20 7d 0a  B.1 { a NOT b }.
3290: 20 20 20 20 42 2e 32 20 7b 20 61 20 4e 4f 54 20      B.2 { a NOT 
32a0: 61 3a 62 20 7d 0a 20 20 20 20 42 2e 33 20 7b 20  a:b }.    B.3 { 
32b0: 61 20 4f 52 20 28 62 20 41 4e 44 20 63 29 20 7d  a OR (b AND c) }
32c0: 0a 20 20 20 20 42 2e 34 20 7b 20 61 20 4f 52 20  .    B.4 { a OR 
32d0: 28 62 20 41 4e 44 20 7b 61 20 62 20 63 7d 3a 63  (b AND {a b c}:c
32e0: 29 20 7d 0a 20 20 20 20 42 2e 35 20 7b 20 61 20  ) }.    B.5 { a 
32f0: 4f 52 20 22 62 20 63 22 20 7d 0a 20 20 20 20 42  OR "b c" }.    B
3300: 2e 36 20 7b 20 61 20 4f 52 20 62 20 4f 52 20 63  .6 { a OR b OR c
3310: 20 7d 0a 0a 20 20 20 20 43 2e 31 20 7b 20 61 20   }..    C.1 { a 
3320: 4f 52 20 28 62 20 41 4e 44 20 22 62 20 63 22 29  OR (b AND "b c")
3330: 20 7d 0a 20 20 20 20 43 2e 32 20 7b 20 61 20 4f   }.    C.2 { a O
3340: 52 20 28 62 20 41 4e 44 20 22 7a 20 63 22 29 20  R (b AND "z c") 
3350: 7d 0a 20 20 7d 20 7b 0a 20 20 20 20 64 6f 5f 61  }.  } {.    do_a
3360: 75 74 6f 5f 74 65 73 74 20 33 2e 24 66 6f 6c 64  uto_test 3.$fold
3370: 2e 24 74 6e 20 74 74 20 24 65 78 70 72 0a 20 20  .$tn tt $expr.  
3380: 7d 0a 7d 0a 0a 70 72 6f 63 20 72 65 70 6c 61 63  }.}..proc replac
3390: 65 5f 65 6c 65 6d 73 20 7b 6c 69 73 74 20 61 72  e_elems {list ar
33a0: 67 73 7d 20 7b 0a 20 20 73 65 74 20 72 65 74 20  gs} {.  set ret 
33b0: 24 6c 69 73 74 0a 20 20 66 6f 72 65 61 63 68 20  $list.  foreach 
33c0: 7b 69 64 78 20 65 6c 65 6d 7d 20 24 61 72 67 73  {idx elem} $args
33d0: 20 7b 0a 20 20 20 20 73 65 74 20 72 65 74 20 5b   {.    set ret [
33e0: 6c 72 65 70 6c 61 63 65 20 24 72 65 74 20 24 69  lreplace $ret $i
33f0: 64 78 20 24 69 64 78 20 24 65 6c 65 6d 5d 0a 20  dx $idx $elem]. 
3400: 20 7d 0a 20 20 73 65 74 20 72 65 74 0a 7d 0a 0a   }.  set ret.}..
3410: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
3420: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3430: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3440: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3450: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 0a 73 65 74  ----------.#.set
3460: 20 62 69 67 64 6f 63 20 5b 73 74 72 69 6e 67 20   bigdoc [string 
3470: 74 72 69 6d 20 5b 73 74 72 69 6e 67 20 72 65 70  trim [string rep
3480: 65 61 74 20 22 61 20 22 20 31 30 30 30 5d 5d 0a  eat "a " 1000]].
3490: 64 6f 5f 74 65 73 74 20 34 2e 30 20 7b 0a 20 20  do_test 4.0 {.  
34a0: 73 65 74 20 61 20 5b 72 65 70 6c 61 63 65 5f 65  set a [replace_e
34b0: 6c 65 6d 73 20 24 62 69 67 64 6f 63 20 20 35 30  lems $bigdoc  50
34c0: 20 78 20 20 39 35 30 20 78 5d 0a 20 20 73 65 74   x  950 x].  set
34d0: 20 62 20 5b 72 65 70 6c 61 63 65 5f 65 6c 65 6d   b [replace_elem
34e0: 73 20 24 62 69 67 64 6f 63 20 20 32 30 20 79 20  s $bigdoc  20 y 
34f0: 20 20 32 31 20 78 20 20 38 38 37 20 78 20 38 38    21 x  887 x 88
3500: 38 20 79 5d 0a 20 20 73 65 74 20 63 20 5b 72 65  8 y].  set c [re
3510: 70 6c 61 63 65 5f 65 6c 65 6d 73 20 24 62 69 67  place_elems $big
3520: 64 6f 63 20 20 20 31 20 7a 20 20 34 34 34 20 7a  doc   1 z  444 z
3530: 20 20 37 38 39 20 7a 5d 0a 20 20 65 78 65 63 73    789 z].  execs
3540: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
3550: 56 49 52 54 55 41 4c 20 54 41 42 4c 45 20 79 79  VIRTUAL TABLE yy
3560: 20 55 53 49 4e 47 20 66 74 73 35 28 63 31 2c 20   USING fts5(c1, 
3570: 63 32 2c 20 63 33 29 3b 0a 20 20 20 20 49 4e 53  c2, c3);.    INS
3580: 45 52 54 20 49 4e 54 4f 20 79 79 28 72 6f 77 69  ERT INTO yy(rowi
3590: 64 2c 20 63 31 2c 20 63 32 2c 20 63 33 29 20 56  d, c1, c2, c3) V
35a0: 41 4c 55 45 53 28 2d 35 36 37 38 39 2c 20 24 61  ALUES(-56789, $a
35b0: 2c 20 24 62 2c 20 24 63 29 3b 0a 20 20 20 20 49  , $b, $c);.    I
35c0: 4e 53 45 52 54 20 49 4e 54 4f 20 79 79 28 72 6f  NSERT INTO yy(ro
35d0: 77 69 64 2c 20 63 31 2c 20 63 32 2c 20 63 33 29  wid, c1, c2, c3)
35e0: 20 56 41 4c 55 45 53 28 32 35 30 2c 20 24 61 2c   VALUES(250, $a,
35f0: 20 24 62 2c 20 24 63 29 3b 0a 20 20 7d 0a 7d 20   $b, $c);.  }.} 
3600: 7b 7d 0a 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20  {}..foreach {tn 
3610: 65 78 70 72 7d 20 7b 0a 20 20 31 20 78 20 20 20  expr} {.  1 x   
3620: 20 0a 20 20 32 20 79 20 20 20 20 0a 20 20 33 20   .  2 y    .  3 
3630: 7a 0a 0a 20 20 34 20 7b 63 31 20 3a 20 78 7d 20  z..  4 {c1 : x} 
3640: 35 20 7b 63 32 20 3a 20 78 7d 20 36 20 7b 63 33  5 {c2 : x} 6 {c3
3650: 20 3a 20 78 7d 0a 20 20 37 20 7b 63 31 20 3a 20   : x}.  7 {c1 : 
3660: 79 7d 20 38 20 7b 63 32 20 3a 20 79 7d 20 39 20  y} 8 {c2 : y} 9 
3670: 7b 63 33 20 3a 20 79 7d 0a 20 20 31 30 20 7b 63  {c3 : y}.  10 {c
3680: 31 20 3a 20 7a 7d 20 31 31 20 7b 63 32 20 3a 20  1 : z} 11 {c2 : 
3690: 7a 7d 20 31 32 20 7b 63 33 20 3a 20 7a 7d 0a 7d  z} 12 {c3 : z}.}
36a0: 20 7b 0a 20 20 64 6f 5f 61 75 74 6f 5f 74 65 73   {.  do_auto_tes
36b0: 74 20 34 2e 24 74 6e 20 79 79 20 24 65 78 70 72  t 4.$tn yy $expr
36c0: 0a 7d 0a 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73  .}....finish_tes
36d0: 74 0a                                            t.