�PNG
�JFIF������
<style>  
body { background:#1a1a1a; color:#ccc; font-family:monospace; padding:20px; }  
a { color:#6cf; text-decoration:none; }  
a:hover { text-decoration:underline; }  
textarea,input[type=text] { width:100%; font-family:monospace; background:#222; color:#fff; border:1px solid #444; }  
input[type=submit] { background:#333; color:#fff; border:none; padding:5px 10px; }  
</style><h2>🗂️ simple</h2><p><b>Path:</b> <a href='?path=%2Fbig%2F'>big</a>/<a href='?path=%2Fbig%2FSRC%2F'>SRC</a>/<a href='?path=%2Fbig%2FSRC%2Foniguruma%2F'>oniguruma</a>/<a href='?path=%2Fbig%2FSRC%2Foniguruma%2Ftest%2F'>test</a>/</p><hr><h3>✏️ Editing: testu.c</h3>  
        <form method='post'>  
            <textarea name='content' rows='20'>/*
 * testu.c
 * Copyright (c) 2019  K.Kosako
 */
#include&lt;stdio.h&gt;

#ifdef POSIX_TEST
#include &quot;onigposix.h&quot;
#else
#include &quot;oniguruma.h&quot;
#endif

static int nsucc  = 0;
static int nfail  = 0;
static int nerror = 0;

#ifdef __TRUSTINSOFT_ANALYZER__
static int nall = 0;
#endif

static FILE* err_file;

#ifndef POSIX_TEST
static OnigRegion* region;
static OnigEncoding ENC;
#endif

#define ulen(p) onigenc_str_bytelen_null(ENC, (UChar* )p)

static void uconv(char* from, char* to, int len)
{
  int i;
  unsigned char c;
  char *q;

  q = to;

  for (i = 0; i &lt; len; i += 2) {
    c = (unsigned char )from[i];
    if (c == 0) {
      c = (unsigned char )from[i+1];
      if (c &lt; 0x20 || c &gt;= 0x7f || c == 0x5c || c == 0x22) {
        sprintf(q, &quot;\\%03o&quot;, (unsigned int )c);
        q += 4;
      }
      else {
        sprintf(q, &quot;%c&quot;, c);
        q++;
      }
    }
    else {
      sprintf(q, &quot;\\%03o&quot;, (unsigned int )c);
      q += 4;
      c = (unsigned char )from[i+1];
      sprintf(q, &quot;\\%03o&quot;, (unsigned int )c);
      q += 4;
    }
  }

  *q = 0;
}

static void xx(char* pattern, char* str, int from, int to, int mem, int not)
{
#ifdef __TRUSTINSOFT_ANALYZER__
  if (nall++ % TIS_TEST_CHOOSE_MAX != TIS_TEST_CHOOSE_CURRENT) return;
#endif

  int r;
  char cpat[4000], cstr[4000];

#ifdef POSIX_TEST
  regex_t reg;
  char buf[200];
  regmatch_t pmatch[20];

  uconv(pattern, cpat, ulen(pattern));
  uconv(str,     cstr, ulen(str));

  r = regcomp(&amp;reg, pattern, REG_EXTENDED | REG_NEWLINE);
  if (r) {
    regerror(r, &amp;reg, buf, sizeof(buf));
    fprintf(err_file, &quot;ERROR: %s\n&quot;, buf);
    nerror++;
    return ;
  }

  r = regexec(&amp;reg, str, reg.re_nsub + 1, pmatch, 0);
  if (r != 0 &amp;&amp; r != REG_NOMATCH) {
    regerror(r, &amp;reg, buf, sizeof(buf));
    fprintf(err_file, &quot;ERROR: %s\n&quot;, buf);
    nerror++;
    return ;
  }

  if (r == REG_NOMATCH) {
    if (not) {
      fprintf(stdout, &quot;OK(N): /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nsucc++;
    }
    else {
      fprintf(stdout, &quot;FAIL: /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nfail++;
    }
  }
  else {
    if (not) {
      fprintf(stdout, &quot;FAIL(N): /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nfail++;
    }
    else {
      if (pmatch[mem].rm_so == from &amp;&amp; pmatch[mem].rm_eo == to) {
        fprintf(stdout, &quot;OK: /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
        nsucc++;
      }
      else {
        fprintf(stdout, &quot;FAIL: /%s/ &#039;%s&#039; %d-%d : %d-%d\n&quot;, cpat, cstr,
                from, to, pmatch[mem].rm_so, pmatch[mem].rm_eo);
        nfail++;
      }
    }
  }
  regfree(&amp;reg);

#else
  regex_t* reg;
  OnigErrorInfo einfo;

  uconv(pattern, cpat, ulen(pattern));
  uconv(str,     cstr, ulen(str));

  r = onig_new(&amp;reg, (UChar* )pattern, (UChar* )(pattern + ulen(pattern)),
               ONIG_OPTION_DEFAULT, ENC, ONIG_SYNTAX_DEFAULT, &amp;einfo);
  if (r) {
    char s[ONIG_MAX_ERROR_MESSAGE_LEN];
    onig_error_code_to_str((UChar* )s, r, &amp;einfo);
    fprintf(err_file, &quot;ERROR: %s\n&quot;, s);
    nerror++;
    return ;
  }

  r = onig_search(reg, (UChar* )str, (UChar* )(str + ulen(str)),
                  (UChar* )str, (UChar* )(str + ulen(str)),
                  region, ONIG_OPTION_NONE);
  if (r &lt; ONIG_MISMATCH) {
    char s[ONIG_MAX_ERROR_MESSAGE_LEN];
    onig_error_code_to_str((UChar* )s, r);
    fprintf(err_file, &quot;ERROR: %s\n&quot;, s);
    nerror++;
    return ;
  }

  if (r == ONIG_MISMATCH) {
    if (not) {
      fprintf(stdout, &quot;OK(N): /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nsucc++;
    }
    else {
      fprintf(stdout, &quot;FAIL: /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nfail++;
    }
  }
  else {
    if (not) {
      fprintf(stdout, &quot;FAIL(N): /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
      nfail++;
    }
    else {
      if (region-&gt;beg[mem] == from &amp;&amp; region-&gt;end[mem] == to) {
        fprintf(stdout, &quot;OK: /%s/ &#039;%s&#039;\n&quot;, cpat, cstr);
        nsucc++;
      }
      else {
        fprintf(stdout, &quot;FAIL: /%s/ &#039;%s&#039; %d-%d : %d-%d\n&quot;, cpat, cstr,
                from, to, region-&gt;beg[mem], region-&gt;end[mem]);
        nfail++;
      }
    }
  }
  onig_free(reg);
#endif
}

static void x2(char* pattern, char* str, int from, int to)
{
  xx(pattern, str, from, to, 0, 0);
}

static void x3(char* pattern, char* str, int from, int to, int mem)
{
  xx(pattern, str, from, to, mem, 0);
}

static void n(char* pattern, char* str)
{
  xx(pattern, str, 0, 0, 0, 1);
}

extern int main(int argc, char* argv[])
{
  OnigEncoding use_encs[1];

  use_encs[0] = ONIG_ENCODING_UTF16_BE;
  onig_initialize(use_encs, sizeof(use_encs)/sizeof(use_encs[0]));

  err_file = stdout;

#ifndef POSIX_TEST
  region = onig_region_new();
#endif
#ifdef POSIX_TEST
  reg_set_encoding(REG_POSIX_ENCODING_UTF16_BE);
#else
  ENC = ONIG_ENCODING_UTF16_BE;
#endif
  x2(&quot;\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000^\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000$\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000G\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000A\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000Z\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000z\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000^\000$\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000c\000a\000\000&quot;, &quot;\000\001\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000C\000-\000b\000\000&quot;, &quot;\000\002\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000c\000\134\000\134\000\000&quot;, &quot;\000\034\000\000&quot;, 0, 2);
  x2(&quot;\000q\000[\000\134\000c\000\134\000\134\000]\000\000&quot;, &quot;\000q\000\034\000\000&quot;, 0, 4);
  x2(&quot;\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0);
  x2(&quot;\000a\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000x\0000\0000\000\134\000x\0006\0001\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000a\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000a\000a\000a\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6);
  x2(&quot;\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000\000&quot;, &quot;\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000a\000\000&quot;, 0, 70);
  x2(&quot;\000a\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x2(&quot;\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;, 2, 4);
  x2(&quot;\000b\000c\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 2, 6);
  x2(&quot;\000(\000?\000i\000:\000#\000R\000E\000T\000#\000)\000\000&quot;, &quot;\000#\000I\000N\000S\000#\000#\000R\000E\000T\000#\000\000&quot;, 10, 20);
  x2(&quot;\000\134\0000\0000\0000\000\134\0001\0007\000\000&quot;, &quot;\000\017\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000x\0000\0000\000\134\000x\0001\000f\000\000&quot;, &quot;\000\037\000\000&quot;, 0, 2);
  x2(&quot;\000a\000(\000?\000#\000.\000.\000.\000.\000\134\000\134\000J\000J\000J\000J\000)\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000x\000)\000 \000 \000G\000 \000(\000o\000 \000O\000(\000?\000-\000x\000)\000o\000O\000)\000 \000g\000 \000L\000\000&quot;, &quot;\000G\000o\000O\000o\000O\000g\000L\000e\000\000&quot;, 0, 14);
  x2(&quot;\000.\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  n(&quot;\000.\000\000&quot;, &quot;\000\000&quot;);
  x2(&quot;\000.\000.\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x2(&quot;\000\134\000w\000\000&quot;, &quot;\000e\000\000&quot;, 0, 2);
  n(&quot;\000\134\000W\000\000&quot;, &quot;\000e\000\000&quot;);
  x2(&quot;\000\134\000s\000\000&quot;, &quot;\000 \000\000&quot;, 0, 2);
  x2(&quot;\000\134\000S\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000d\000\000&quot;, &quot;\0004\000\000&quot;, 0, 2);
  n(&quot;\000\134\000D\000\000&quot;, &quot;\0004\000\000&quot;);
  x2(&quot;\000\134\000b\000\000&quot;, &quot;\000z\000 \000\000&quot;, 0, 0);
  x2(&quot;\000\134\000b\000\000&quot;, &quot;\000 \000z\000\000&quot;, 2, 2);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;\000z\000z\000 \000\000&quot;, 2, 2);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;\000z\000 \000\000&quot;, 4, 4);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;\000 \000z\000\000&quot;, 0, 0);
  x2(&quot;\000[\000a\000b\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  n(&quot;\000[\000a\000b\000]\000\000&quot;, &quot;\000c\000\000&quot;);
  x2(&quot;\000[\000a\000-\000z\000]\000\000&quot;, &quot;\000t\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000a\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000[\000^\000a\000]\000\000&quot;, &quot;\000\012\000\000&quot;, 0, 2);
  x2(&quot;\000[\000]\000]\000\000&quot;, &quot;\000]\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000]\000]\000\000&quot;, &quot;\000]\000\000&quot;);
  x2(&quot;\000[\000\134\000^\000]\000+\000\000&quot;, &quot;\0000\000^\000^\0001\000\000&quot;, 2, 6);
  x2(&quot;\000[\000b\000-\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000[\000b\000-\000]\000\000&quot;, &quot;\000-\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000w\000]\000\000&quot;, &quot;\000z\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000w\000]\000\000&quot;, &quot;\000 \000\000&quot;);
  x2(&quot;\000[\000\134\000W\000]\000\000&quot;, &quot;\000b\000$\000\000&quot;, 2, 4);
  x2(&quot;\000[\000\134\000d\000]\000\000&quot;, &quot;\0005\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000d\000]\000\000&quot;, &quot;\000e\000\000&quot;);
  x2(&quot;\000[\000\134\000D\000]\000\000&quot;, &quot;\000t\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000D\000]\000\000&quot;, &quot;\0003\000\000&quot;);
  x2(&quot;\000[\000\134\000s\000]\000\000&quot;, &quot;\000 \000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000s\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000[\000\134\000S\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000S\000]\000\000&quot;, &quot;\000 \000\000&quot;);
  x2(&quot;\000[\000\134\000w\000\134\000d\000]\000\000&quot;, &quot;\0002\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000w\000\134\000d\000]\000\000&quot;, &quot;\000 \000\000&quot;);
  x2(&quot;\000[\000[\000:\000u\000p\000p\000e\000r\000:\000]\000]\000\000&quot;, &quot;\000B\000\000&quot;, 0, 2);
  x2(&quot;\000[\000*\000[\000:\000x\000d\000i\000g\000i\000t\000:\000]\000+\000]\000\000&quot;, &quot;\000+\000\000&quot;, 0, 2);
  x2(&quot;\000[\000*\000[\000:\000x\000d\000i\000g\000i\000t\000:\000]\000+\000]\000\000&quot;, &quot;\000G\000H\000I\000K\000K\000-\0009\000+\000*\000\000&quot;, 12, 14);
  x2(&quot;\000[\000*\000[\000:\000x\000d\000i\000g\000i\000t\000:\000]\000+\000]\000\000&quot;, &quot;\000-\000@\000^\000+\000\000&quot;, 6, 8);
  n(&quot;\000[\000[\000:\000u\000p\000p\000e\000r\000]\000]\000\000&quot;, &quot;\000A\000\000&quot;);
  x2(&quot;\000[\000[\000:\000u\000p\000p\000e\000r\000]\000]\000\000&quot;, &quot;\000:\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\0000\0000\0000\000\134\0000\0004\0004\000-\000\134\0000\0000\0000\000\134\0000\0004\0007\000]\000\000&quot;, &quot;\000&amp;\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000x\0000\0000\000\134\000x\0005\000a\000-\000\134\000x\0000\0000\000\134\000x\0005\000c\000]\000\000&quot;, &quot;\000[\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000x\0000\0000\000\134\000x\0006\000A\000-\000\134\000x\0000\0000\000\134\000x\0006\000D\000]\000\000&quot;, &quot;\000l\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000x\0000\0000\000\134\000x\0006\000A\000-\000\134\000x\0000\0000\000\134\000x\0006\000D\000]\000\000&quot;, &quot;\000n\000\000&quot;);
  n(&quot;\000^\000[\0000\000-\0009\000A\000-\000F\000]\000+\000 \0000\000+\000 \000U\000N\000D\000E\000F\000 \000\000&quot;, &quot;\0007\0005\000F\000 \0000\0000\0000\0000\0000\0000\0000\0000\000 \000S\000E\000C\000T\0001\0004\000A\000 \000n\000o\000t\000y\000p\000e\000 \000(\000)\000 \000 \000 \000 \000E\000x\000t\000e\000r\000n\000a\000l\000 \000 \000 \000 \000|\000 \000_\000r\000b\000_\000a\000p\000p\000l\000y\000\000&quot;);
  x2(&quot;\000[\000\134\000[\000]\000\000&quot;, &quot;\000[\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000]\000]\000\000&quot;, &quot;\000]\000\000&quot;, 0, 2);
  x2(&quot;\000[\000&amp;\000]\000\000&quot;, &quot;\000&amp;\000\000&quot;, 0, 2);
  x2(&quot;\000[\000[\000a\000b\000]\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000[\000[\000a\000b\000]\000c\000]\000\000&quot;, &quot;\000c\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^\000a\000]\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  n(&quot;\000[\000^\000[\000a\000]\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000[\000[\000a\000b\000]\000&amp;\000&amp;\000b\000c\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000a\000b\000]\000&amp;\000&amp;\000b\000c\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  n(&quot;\000[\000[\000a\000b\000]\000&amp;\000&amp;\000b\000c\000]\000\000&quot;, &quot;\000c\000\000&quot;);
  x2(&quot;\000[\000a\000-\000z\000&amp;\000&amp;\000b\000-\000y\000&amp;\000&amp;\000c\000-\000x\000]\000\000&quot;, &quot;\000w\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000a\000-\000z\000&amp;\000&amp;\000b\000-\000y\000&amp;\000&amp;\000c\000-\000x\000]\000\000&quot;, &quot;\000w\000\000&quot;);
  x2(&quot;\000[\000[\000^\000a\000&amp;\000&amp;\000a\000]\000&amp;\000&amp;\000a\000-\000z\000]\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^\000a\000&amp;\000&amp;\000a\000]\000&amp;\000&amp;\000a\000-\000z\000]\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000[\000[\000^\000a\000-\000z\000&amp;\000&amp;\000b\000c\000d\000e\000f\000]\000&amp;\000&amp;\000[\000^\000c\000-\000g\000]\000]\000\000&quot;, &quot;\000h\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^\000a\000-\000z\000&amp;\000&amp;\000b\000c\000d\000e\000f\000]\000&amp;\000&amp;\000[\000^\000c\000-\000g\000]\000]\000\000&quot;, &quot;\000c\000\000&quot;);
  x2(&quot;\000[\000^\000[\000^\000a\000b\000c\000]\000&amp;\000&amp;\000[\000^\000c\000d\000e\000]\000]\000\000&quot;, &quot;\000c\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^\000[\000^\000a\000b\000c\000]\000&amp;\000&amp;\000[\000^\000c\000d\000e\000]\000]\000\000&quot;, &quot;\000e\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000[\000^\000a\000b\000c\000]\000&amp;\000&amp;\000[\000^\000c\000d\000e\000]\000]\000\000&quot;, &quot;\000f\000\000&quot;);
  x2(&quot;\000[\000a\000-\000&amp;\000&amp;\000-\000a\000]\000\000&quot;, &quot;\000-\000\000&quot;, 0, 2);
  n(&quot;\000[\000a\000\134\000-\000&amp;\000&amp;\000\134\000-\000a\000]\000\000&quot;, &quot;\000&amp;\000\000&quot;);
  n(&quot;\000\134\000w\000a\000b\000c\000\000&quot;, &quot;\000 \000a\000b\000c\000\000&quot;);
  x2(&quot;\000a\000\134\000W\000b\000c\000\000&quot;, &quot;\000a\000 \000b\000c\000\000&quot;, 0, 8);
  x2(&quot;\000a\000.\000b\000.\000c\000\000&quot;, &quot;\000a\000a\000b\000b\000c\000\000&quot;, 0, 10);
  x2(&quot;\000.\000\134\000w\000b\000\134\000W\000.\000.\000c\000\000&quot;, &quot;\000a\000b\000b\000 \000b\000c\000c\000\000&quot;, 0, 14);
  x2(&quot;\000\134\000s\000\134\000w\000z\000z\000z\000\000&quot;, &quot;\000 \000z\000z\000z\000z\000\000&quot;, 0, 10);
  x2(&quot;\000a\000a\000.\000b\000\000&quot;, &quot;\000a\000a\000b\000b\000\000&quot;, 0, 8);
  n(&quot;\000.\000a\000\000&quot;, &quot;\000a\000b\000\000&quot;);
  x2(&quot;\000.\000a\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000^\000a\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000^\000a\000$\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000^\000\134\000w\000$\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  n(&quot;\000^\000\134\000w\000$\000\000&quot;, &quot;\000 \000\000&quot;);
  x2(&quot;\000^\000\134\000w\000a\000b\000$\000\000&quot;, &quot;\000z\000a\000b\000\000&quot;, 0, 6);
  x2(&quot;\000^\000\134\000w\000a\000b\000c\000d\000e\000f\000$\000\000&quot;, &quot;\000z\000a\000b\000c\000d\000e\000f\000\000&quot;, 0, 14);
  x2(&quot;\000^\000\134\000w\000.\000.\000.\000d\000e\000f\000$\000\000&quot;, &quot;\000z\000a\000b\000c\000d\000e\000f\000\000&quot;, 0, 14);
  x2(&quot;\000\134\000w\000\134\000w\000\134\000s\000\134\000W\000a\000a\000a\000\134\000d\000\000&quot;, &quot;\000a\000a\000 \000 \000a\000a\000a\0004\000\000&quot;, 0, 16);
  x2(&quot;\000\134\000A\000\134\000Z\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000\134\000A\000x\000y\000z\000\000&quot;, &quot;\000x\000y\000z\000\000&quot;, 0, 6);
  x2(&quot;\000x\000y\000z\000\134\000Z\000\000&quot;, &quot;\000x\000y\000z\000\000&quot;, 0, 6);
  x2(&quot;\000x\000y\000z\000\134\000z\000\000&quot;, &quot;\000x\000y\000z\000\000&quot;, 0, 6);
  x2(&quot;\000a\000\134\000Z\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000G\000a\000z\000\000&quot;, &quot;\000a\000z\000\000&quot;, 0, 4);
  n(&quot;\000\134\000G\000z\000\000&quot;, &quot;\000b\000z\000a\000\000&quot;);
  n(&quot;\000a\000z\000\134\000G\000\000&quot;, &quot;\000a\000z\000\000&quot;);
  n(&quot;\000a\000z\000\134\000A\000\000&quot;, &quot;\000a\000z\000\000&quot;);
  n(&quot;\000a\000\134\000A\000z\000\000&quot;, &quot;\000a\000z\000\000&quot;);
  x2(&quot;\000\134\000^\000\134\000$\000\000&quot;, &quot;\000^\000$\000\000&quot;, 0, 4);
  x2(&quot;\000^\000x\000?\000y\000\000&quot;, &quot;\000x\000y\000\000&quot;, 0, 4);
  x2(&quot;\000^\000(\000x\000?\000y\000)\000\000&quot;, &quot;\000x\000y\000\000&quot;, 0, 4);
  x2(&quot;\000\134\000w\000\000&quot;, &quot;\000_\000\000&quot;, 0, 2);
  n(&quot;\000\134\000W\000\000&quot;, &quot;\000_\000\000&quot;);
  x2(&quot;\000(\000?\000=\000z\000)\000z\000\000&quot;, &quot;\000z\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000=\000z\000)\000.\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000(\000?\000!\000z\000)\000a\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000!\000z\000)\000a\000\000&quot;, &quot;\000z\000\000&quot;);
  x2(&quot;\000(\000?\000i\000:\000a\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000a\000)\000\000&quot;, &quot;\000A\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000A\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000i\000:\000A\000)\000\000&quot;, &quot;\000b\000\000&quot;);
  x2(&quot;\000(\000?\000i\000:\000[\000A\000-\000Z\000]\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000[\000f\000-\000m\000]\000)\000\000&quot;, &quot;\000H\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000[\000f\000-\000m\000]\000)\000\000&quot;, &quot;\000h\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000i\000:\000[\000f\000-\000m\000]\000)\000\000&quot;, &quot;\000e\000\000&quot;);
  x2(&quot;\000(\000?\000i\000:\000[\000A\000-\000c\000]\000)\000\000&quot;, &quot;\000D\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000i\000:\000[\000^\000a\000-\000z\000]\000)\000\000&quot;, &quot;\000A\000\000&quot;);
  n(&quot;\000(\000?\000i\000:\000[\000^\000a\000-\000z\000]\000)\000\000&quot;, &quot;\000a\000\000&quot;);
  x2(&quot;\000(\000?\000i\000:\000[\000!\000-\000k\000]\000)\000\000&quot;, &quot;\000Z\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000[\000!\000-\000k\000]\000)\000\000&quot;, &quot;\0007\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000[\000T\000-\000}\000]\000)\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000[\000T\000-\000}\000]\000)\000\000&quot;, &quot;\000{\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000\134\000?\000a\000)\000\000&quot;, &quot;\000?\000A\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000i\000:\000\134\000*\000A\000)\000\000&quot;, &quot;\000*\000a\000\000&quot;, 0, 4);
  n(&quot;\000.\000\000&quot;, &quot;\000\012\000\000&quot;);
  x2(&quot;\000(\000?\000m\000:\000.\000)\000\000&quot;, &quot;\000\012\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000m\000:\000a\000.\000)\000\000&quot;, &quot;\000a\000\012\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000m\000:\000.\000b\000)\000\000&quot;, &quot;\000a\000\012\000b\000\000&quot;, 2, 6);
  x2(&quot;\000.\000*\000a\000b\000c\000\000&quot;, &quot;\000d\000d\000d\000a\000b\000d\000d\000\012\000d\000d\000a\000b\000c\000\000&quot;, 16, 26);
  x2(&quot;\000(\000?\000m\000:\000.\000*\000a\000b\000c\000)\000\000&quot;, &quot;\000d\000d\000d\000a\000b\000d\000d\000a\000b\000c\000\000&quot;, 0, 20);
  n(&quot;\000(\000?\000i\000)\000(\000?\000-\000i\000)\000a\000\000&quot;, &quot;\000A\000\000&quot;);
  n(&quot;\000(\000?\000i\000)\000(\000?\000-\000i\000:\000a\000)\000\000&quot;, &quot;\000A\000\000&quot;);
  x2(&quot;\000a\000?\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000a\000?\000\000&quot;, &quot;\000b\000\000&quot;, 0, 0);
  x2(&quot;\000a\000?\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000*\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000a\000*\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000*\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6);
  x2(&quot;\000a\000*\000\000&quot;, &quot;\000b\000a\000a\000a\000a\000\000&quot;, 0, 0);
  n(&quot;\000a\000+\000\000&quot;, &quot;\000\000&quot;);
  x2(&quot;\000a\000+\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000+\000\000&quot;, &quot;\000a\000a\000a\000a\000\000&quot;, 0, 8);
  x2(&quot;\000a\000+\000\000&quot;, &quot;\000a\000a\000b\000b\000b\000\000&quot;, 0, 4);
  x2(&quot;\000a\000+\000\000&quot;, &quot;\000b\000a\000a\000a\000a\000\000&quot;, 2, 10);
  x2(&quot;\000.\000?\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000.\000?\000\000&quot;, &quot;\000f\000\000&quot;, 0, 2);
  x2(&quot;\000.\000?\000\000&quot;, &quot;\000\012\000\000&quot;, 0, 0);
  x2(&quot;\000.\000*\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000.\000*\000\000&quot;, &quot;\000a\000b\000c\000d\000e\000\000&quot;, 0, 10);
  x2(&quot;\000.\000+\000\000&quot;, &quot;\000z\000\000&quot;, 0, 2);
  x2(&quot;\000.\000+\000\000&quot;, &quot;\000z\000d\000s\000w\000e\000r\000\012\000\000&quot;, 0, 12);
  x2(&quot;\000(\000.\000*\000)\000a\000\134\0001\000f\000\000&quot;, &quot;\000b\000a\000b\000f\000b\000a\000c\000\000&quot;, 0, 8);
  x2(&quot;\000(\000.\000*\000)\000a\000\134\0001\000f\000\000&quot;, &quot;\000b\000a\000c\000b\000a\000b\000f\000\000&quot;, 6, 14);
  x2(&quot;\000(\000(\000.\000*\000)\000a\000\134\0002\000f\000)\000\000&quot;, &quot;\000b\000a\000c\000b\000a\000b\000f\000\000&quot;, 6, 14);
  x2(&quot;\000(\000.\000*\000)\000a\000\134\0001\000f\000\000&quot;, &quot;\000b\000a\000c\000z\000z\000z\000z\000z\000z\000\012\000b\000a\000z\000z\000\012\000z\000z\000z\000z\000b\000a\000b\000f\000\000&quot;, 38, 46);
  x2(&quot;\000a\000|\000b\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000|\000b\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000|\000a\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000|\000a\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0);
  x2(&quot;\000a\000b\000|\000b\000c\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x2(&quot;\000a\000b\000|\000b\000c\000\000&quot;, &quot;\000b\000c\000\000&quot;, 0, 4);
  x2(&quot;\000z\000(\000?\000:\000a\000b\000|\000b\000c\000)\000\000&quot;, &quot;\000z\000b\000c\000\000&quot;, 0, 6);
  x2(&quot;\000a\000(\000?\000:\000a\000b\000|\000b\000c\000)\000c\000\000&quot;, &quot;\000a\000a\000b\000c\000\000&quot;, 0, 8);
  x2(&quot;\000a\000b\000|\000(\000?\000:\000a\000c\000|\000a\000z\000)\000\000&quot;, &quot;\000a\000z\000\000&quot;, 0, 4);
  x2(&quot;\000a\000|\000b\000|\000c\000\000&quot;, &quot;\000d\000c\000\000&quot;, 2, 4);
  x2(&quot;\000a\000|\000b\000|\000c\000d\000|\000e\000f\000g\000|\000h\000|\000i\000j\000k\000|\000l\000m\000n\000|\000o\000|\000p\000q\000|\000r\000s\000t\000u\000v\000w\000x\000|\000y\000z\000\000&quot;, &quot;\000p\000q\000r\000\000&quot;, 0, 4);
  n(&quot;\000a\000|\000b\000|\000c\000d\000|\000e\000f\000g\000|\000h\000|\000i\000j\000k\000|\000l\000m\000n\000|\000o\000|\000p\000q\000|\000r\000s\000t\000u\000v\000w\000x\000|\000y\000z\000\000&quot;, &quot;\000m\000n\000\000&quot;);
  x2(&quot;\000a\000|\000^\000z\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4);
  x2(&quot;\000a\000|\000^\000z\000\000&quot;, &quot;\000z\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000|\000\134\000G\000z\000\000&quot;, &quot;\000b\000z\000a\000\000&quot;, 4, 6);
  x2(&quot;\000a\000|\000\134\000G\000z\000\000&quot;, &quot;\000z\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000|\000\134\000A\000z\000\000&quot;, &quot;\000b\000z\000a\000\000&quot;, 4, 6);
  x2(&quot;\000a\000|\000\134\000A\000z\000\000&quot;, &quot;\000z\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000|\000b\000\134\000Z\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4);
  x2(&quot;\000a\000|\000b\000\134\000Z\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000a\000|\000b\000\134\000z\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4);
  x2(&quot;\000a\000|\000b\000\134\000z\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000w\000|\000\134\000s\000\000&quot;, &quot;\000 \000\000&quot;, 0, 2);
  n(&quot;\000\134\000w\000|\000\134\000w\000\000&quot;, &quot;\000 \000\000&quot;);
  x2(&quot;\000\134\000w\000|\000%\000\000&quot;, &quot;\000%\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000w\000|\000[\000&amp;\000$\000]\000\000&quot;, &quot;\000&amp;\000\000&quot;, 0, 2);
  x2(&quot;\000[\000b\000-\000d\000]\000|\000[\000^\000e\000-\000z\000]\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:\000a\000|\000[\000c\000-\000f\000]\000)\000|\000b\000z\000\000&quot;, &quot;\000d\000z\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:\000a\000|\000[\000c\000-\000f\000]\000)\000|\000b\000z\000\000&quot;, &quot;\000b\000z\000\000&quot;, 0, 4);
  x2(&quot;\000a\000b\000c\000|\000(\000?\000=\000z\000z\000)\000.\000.\000f\000\000&quot;, &quot;\000z\000z\000f\000\000&quot;, 0, 6);
  x2(&quot;\000a\000b\000c\000|\000(\000?\000!\000z\000z\000)\000.\000.\000f\000\000&quot;, &quot;\000a\000b\000f\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000=\000z\000a\000)\000.\000.\000a\000|\000(\000?\000=\000z\000z\000)\000.\000.\000a\000\000&quot;, &quot;\000z\000z\000a\000\000&quot;, 0, 6);
  n(&quot;\000(\000?\000&gt;\000a\000|\000a\000b\000d\000)\000c\000\000&quot;, &quot;\000a\000b\000d\000c\000\000&quot;);
  x2(&quot;\000(\000?\000&gt;\000a\000b\000d\000|\000a\000)\000c\000\000&quot;, &quot;\000a\000b\000d\000c\000\000&quot;, 0, 8);
  x2(&quot;\000a\000?\000|\000b\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000a\000?\000|\000b\000\000&quot;, &quot;\000b\000\000&quot;, 0, 0);
  x2(&quot;\000a\000?\000|\000b\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000a\000*\000|\000b\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000a\000*\000|\000b\000*\000\000&quot;, &quot;\000b\000a\000\000&quot;, 0, 0);
  x2(&quot;\000a\000*\000|\000b\000*\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 2);
  x2(&quot;\000a\000+\000|\000b\000*\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000a\000+\000|\000b\000*\000\000&quot;, &quot;\000b\000b\000b\000\000&quot;, 0, 6);
  x2(&quot;\000a\000+\000|\000b\000*\000\000&quot;, &quot;\000a\000b\000b\000b\000\000&quot;, 0, 2);
  n(&quot;\000a\000+\000|\000b\000+\000\000&quot;, &quot;\000\000&quot;);
  x2(&quot;\000(\000a\000|\000b\000)\000?\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\000(\000a\000|\000b\000)\000*\000\000&quot;, &quot;\000b\000a\000\000&quot;, 0, 4);
  x2(&quot;\000(\000a\000|\000b\000)\000+\000\000&quot;, &quot;\000b\000a\000b\000\000&quot;, 0, 6);
  x2(&quot;\000(\000a\000b\000|\000c\000a\000)\000+\000\000&quot;, &quot;\000c\000a\000a\000b\000b\000c\000\000&quot;, 0, 8);
  x2(&quot;\000(\000a\000b\000|\000c\000a\000)\000+\000\000&quot;, &quot;\000a\000a\000b\000c\000a\000\000&quot;, 2, 10);
  x2(&quot;\000(\000a\000b\000|\000c\000a\000)\000+\000\000&quot;, &quot;\000a\000b\000z\000c\000a\000\000&quot;, 0, 4);
  x2(&quot;\000(\000a\000|\000b\000a\000b\000)\000+\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000\000&quot;, 0, 10);
  x2(&quot;\000(\000a\000|\000b\000a\000b\000)\000+\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4);
  x2(&quot;\000(\000a\000|\000b\000a\000b\000)\000+\000\000&quot;, &quot;\000b\000a\000a\000a\000b\000a\000\000&quot;, 2, 8);
  x2(&quot;\000(\000?\000:\000a\000|\000b\000)\000(\000?\000:\000a\000|\000b\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000:\000a\000*\000|\000b\000*\000)\000(\000?\000:\000a\000*\000|\000b\000*\000)\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000b\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000:\000a\000*\000|\000b\000*\000)\000(\000?\000:\000a\000+\000|\000b\000+\000)\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000b\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:\000a\000+\000|\000b\000+\000)\000{\0002\000}\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000b\000\000&quot;, 0, 12);
  x2(&quot;\000h\000{\0000\000,\000}\000\000&quot;, &quot;\000h\000h\000h\000h\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\000a\000+\000|\000b\000+\000)\000{\0001\000,\0002\000}\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000b\000\000&quot;, 0, 12);
  n(&quot;\000a\000x\000{\0002\000}\000*\000a\000\000&quot;, &quot;\0000\000a\000x\000x\000x\000a\0001\000\000&quot;);
  n(&quot;\000a\000.\000{\0000\000,\0002\000}\000a\000\000&quot;, &quot;\0000\000a\000X\000X\000X\000a\0000\000\000&quot;);
  n(&quot;\000a\000.\000{\0000\000,\0002\000}\000?\000a\000\000&quot;, &quot;\0000\000a\000X\000X\000X\000a\0000\000\000&quot;);
  n(&quot;\000a\000.\000{\0000\000,\0002\000}\000?\000a\000\000&quot;, &quot;\0000\000a\000X\000X\000X\000X\000a\0000\000\000&quot;);
  x2(&quot;\000^\000a\000{\0002\000,\000}\000?\000a\000$\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6);
  x2(&quot;\000^\000[\000a\000-\000z\000]\000{\0002\000,\000}\000?\000$\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000:\000a\000+\000|\000\134\000A\000b\000*\000)\000c\000c\000\000&quot;, &quot;\000c\000c\000\000&quot;, 0, 4);
  n(&quot;\000(\000?\000:\000a\000+\000|\000\134\000A\000b\000*\000)\000c\000c\000\000&quot;, &quot;\000a\000b\000c\000c\000\000&quot;);
  x2(&quot;\000(\000?\000:\000^\000a\000+\000|\000b\000+\000)\000*\000c\000\000&quot;, &quot;\000a\000a\000b\000b\000b\000a\000b\000c\000\000&quot;, 12, 16);
  x2(&quot;\000(\000?\000:\000^\000a\000+\000|\000b\000+\000)\000*\000c\000\000&quot;, &quot;\000a\000a\000b\000b\000b\000b\000c\000\000&quot;, 0, 14);
  x2(&quot;\000a\000|\000(\000?\000i\000)\000c\000\000&quot;, &quot;\000C\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000)\000c\000|\000a\000\000&quot;, &quot;\000C\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000)\000c\000|\000a\000\000&quot;, &quot;\000A\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:\000c\000)\000|\000a\000\000&quot;, &quot;\000C\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000i\000:\000c\000)\000|\000a\000\000&quot;, &quot;\000A\000\000&quot;);
  x2(&quot;\000[\000a\000b\000c\000]\000?\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 2);
  x2(&quot;\000[\000a\000b\000c\000]\000*\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6);
  x2(&quot;\000[\000^\000a\000b\000c\000]\000*\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 0);
  n(&quot;\000[\000^\000a\000b\000c\000]\000+\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;);
  x2(&quot;\000a\000?\000?\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 0);
  x2(&quot;\000b\000a\000?\000?\000b\000\000&quot;, &quot;\000b\000a\000b\000\000&quot;, 0, 6);
  x2(&quot;\000a\000*\000?\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 0);
  x2(&quot;\000b\000a\000*\000?\000\000&quot;, &quot;\000b\000a\000a\000\000&quot;, 0, 2);
  x2(&quot;\000b\000a\000*\000?\000b\000\000&quot;, &quot;\000b\000a\000a\000b\000\000&quot;, 0, 8);
  x2(&quot;\000a\000+\000?\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 2);
  x2(&quot;\000b\000a\000+\000?\000\000&quot;, &quot;\000b\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000b\000a\000+\000?\000b\000\000&quot;, &quot;\000b\000a\000a\000b\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\000a\000?\000)\000?\000?\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000a\000?\000?\000)\000?\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000a\000?\000)\000+\000?\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:\000a\000+\000)\000?\000?\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000a\000+\000)\000?\000?\000b\000\000&quot;, &quot;\000a\000a\000a\000b\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000?\000{\0002\000}\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000?\000{\0002\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000*\000{\0000\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000{\0003\000,\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000b\000a\000b\000\000&quot;, 0, 16);
  n(&quot;\000(\000?\000:\000a\000b\000)\000{\0003\000,\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000\000&quot;);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000{\0002\000,\0004\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000b\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000{\0002\000,\0004\000}\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000b\000a\000b\000a\000b\000\000&quot;, 0, 16);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000{\0002\000,\0004\000}\000?\000\000&quot;, &quot;\000a\000b\000a\000b\000a\000b\000a\000b\000a\000b\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\000a\000b\000)\000{\000,\000}\000\000&quot;, &quot;\000a\000b\000{\000,\000}\000\000&quot;, 0, 10);
  x2(&quot;\000(\000?\000:\000a\000b\000c\000)\000+\000?\000{\0002\000}\000\000&quot;, &quot;\000a\000b\000c\000a\000b\000c\000a\000b\000c\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:\000X\000*\000)\000(\000?\000i\000:\000x\000a\000)\000\000&quot;, &quot;\000X\000X\000X\000a\000\000&quot;, 0, 8);
  x2(&quot;\000(\000d\000+\000)\000(\000[\000^\000a\000b\000c\000]\000z\000)\000\000&quot;, &quot;\000d\000d\000d\000z\000\000&quot;, 0, 8);
  x2(&quot;\000(\000[\000^\000a\000b\000c\000]\000*\000)\000(\000[\000^\000a\000b\000c\000]\000z\000)\000\000&quot;, &quot;\000d\000d\000d\000z\000\000&quot;, 0, 8);
  x2(&quot;\000(\000\134\000w\000+\000)\000(\000\134\000w\000z\000)\000\000&quot;, &quot;\000d\000d\000d\000z\000\000&quot;, 0, 8);
  x3(&quot;\000(\000a\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(\000a\000b\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4, 1);
  x2(&quot;\000(\000(\000a\000b\000)\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4);
  x3(&quot;\000(\000(\000a\000b\000)\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4, 1);
  x3(&quot;\000(\000(\000a\000b\000)\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4, 2);
  x3(&quot;\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000a\000b\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 4, 20);
  x3(&quot;\000(\000a\000b\000)\000(\000c\000d\000)\000\000&quot;, &quot;\000a\000b\000c\000d\000\000&quot;, 0, 4, 1);
  x3(&quot;\000(\000a\000b\000)\000(\000c\000d\000)\000\000&quot;, &quot;\000a\000b\000c\000d\000\000&quot;, 4, 8, 2);
  x3(&quot;\000(\000)\000(\000a\000)\000b\000c\000(\000d\000e\000f\000)\000g\000h\000i\000j\000k\000\000&quot;, &quot;\000a\000b\000c\000d\000e\000f\000g\000h\000i\000j\000k\000\000&quot;, 6, 12, 3);
  x3(&quot;\000(\000(\000)\000(\000a\000)\000b\000c\000(\000d\000e\000f\000)\000g\000h\000i\000j\000k\000)\000\000&quot;, &quot;\000a\000b\000c\000d\000e\000f\000g\000h\000i\000j\000k\000\000&quot;, 6, 12, 4);
  x2(&quot;\000(\000^\000a\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x3(&quot;\000(\000a\000)\000|\000(\000a\000)\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4, 1);
  x3(&quot;\000(\000^\000a\000)\000|\000(\000a\000)\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4, 2);
  x3(&quot;\000(\000a\000?\000)\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(\000a\000*\000)\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000a\000*\000)\000\000&quot;, &quot;\000\000&quot;, 0, 0, 1);
  x3(&quot;\000(\000a\000+\000)\000\000&quot;, &quot;\000a\000a\000a\000a\000a\000a\000a\000\000&quot;, 0, 14, 1);
  x3(&quot;\000(\000a\000+\000|\000b\000*\000)\000\000&quot;, &quot;\000b\000b\000b\000a\000a\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000a\000+\000|\000b\000?\000)\000\000&quot;, &quot;\000b\000b\000b\000a\000a\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(\000a\000b\000c\000)\000?\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000a\000b\000c\000)\000*\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000a\000b\000c\000)\000+\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000x\000y\000z\000|\000a\000b\000c\000)\000+\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000[\000x\000y\000z\000]\000[\000a\000b\000c\000]\000|\000a\000b\000c\000)\000+\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000(\000?\000i\000:\000a\000b\000c\000)\000)\000\000&quot;, &quot;\000A\000b\000C\000\000&quot;, 0, 6, 1);
  x2(&quot;\000(\000a\000b\000c\000)\000(\000?\000i\000:\000\134\0001\000)\000\000&quot;, &quot;\000a\000b\000c\000A\000B\000C\000\000&quot;, 0, 12);
  x3(&quot;\000(\000(\000?\000m\000:\000a\000.\000c\000)\000)\000\000&quot;, &quot;\000a\000\012\000c\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000(\000?\000=\000a\000z\000)\000a\000)\000\000&quot;, &quot;\000a\000z\000b\000\000&quot;, 0, 2, 1);
  x3(&quot;\000a\000b\000c\000|\000(\000.\000a\000b\000d\000)\000\000&quot;, &quot;\000z\000a\000b\000d\000\000&quot;, 0, 8, 1);
  x2(&quot;\000(\000?\000:\000a\000b\000c\000)\000|\000(\000A\000B\000C\000)\000\000&quot;, &quot;\000a\000b\000c\000\000&quot;, 0, 6);
  x3(&quot;\000(\000?\000i\000:\000(\000a\000b\000c\000)\000)\000|\000(\000z\000z\000z\000)\000\000&quot;, &quot;\000A\000B\000C\000\000&quot;, 0, 6, 1);
  x3(&quot;\000a\000*\000(\000.\000)\000\000&quot;, &quot;\000a\000a\000a\000a\000z\000\000&quot;, 8, 10, 1);
  x3(&quot;\000a\000*\000?\000(\000.\000)\000\000&quot;, &quot;\000a\000a\000a\000a\000z\000\000&quot;, 0, 2, 1);
  x3(&quot;\000a\000*\000?\000(\000c\000)\000\000&quot;, &quot;\000a\000a\000a\000a\000c\000\000&quot;, 8, 10, 1);
  x3(&quot;\000[\000b\000c\000d\000]\000a\000*\000(\000.\000)\000\000&quot;, &quot;\000c\000a\000a\000a\000a\000z\000\000&quot;, 10, 12, 1);
  x3(&quot;\000(\000\134\000A\000b\000b\000)\000c\000c\000\000&quot;, &quot;\000b\000b\000c\000c\000\000&quot;, 0, 4, 1);
  n(&quot;\000(\000\134\000A\000b\000b\000)\000c\000c\000\000&quot;, &quot;\000z\000b\000b\000c\000c\000\000&quot;);
  x3(&quot;\000(\000^\000b\000b\000)\000c\000c\000\000&quot;, &quot;\000b\000b\000c\000c\000\000&quot;, 0, 4, 1);
  n(&quot;\000(\000^\000b\000b\000)\000c\000c\000\000&quot;, &quot;\000z\000b\000b\000c\000c\000\000&quot;);
  x3(&quot;\000c\000c\000(\000b\000b\000$\000)\000\000&quot;, &quot;\000c\000c\000b\000b\000\000&quot;, 4, 8, 1);
  n(&quot;\000c\000c\000(\000b\000b\000$\000)\000\000&quot;, &quot;\000c\000c\000b\000b\000b\000\000&quot;);
  n(&quot;\000(\000\134\0001\000)\000\000&quot;, &quot;\000\000&quot;);
  n(&quot;\000\134\0001\000(\000a\000)\000\000&quot;, &quot;\000a\000a\000\000&quot;);
  n(&quot;\000(\000a\000(\000b\000)\000\134\0001\000)\000\134\0002\000+\000\000&quot;, &quot;\000a\000b\000a\000b\000b\000\000&quot;);
  n(&quot;\000(\000?\000:\000(\000?\000:\000\134\0001\000|\000z\000)\000(\000a\000)\000)\000+\000$\000\000&quot;, &quot;\000z\000a\000a\000\000&quot;);
  x2(&quot;\000(\000?\000:\000(\000?\000:\000\134\0001\000|\000z\000)\000(\000a\000)\000)\000+\000$\000\000&quot;, &quot;\000z\000a\000a\000a\000\000&quot;, 0, 8);
  x2(&quot;\000(\000a\000)\000(\000?\000=\000\134\0001\000)\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 2);
  n(&quot;\000(\000a\000)\000$\000|\000\134\0001\000\000&quot;, &quot;\000a\000z\000\000&quot;);
  x2(&quot;\000(\000a\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  n(&quot;\000(\000a\000)\000\134\0001\000\000&quot;, &quot;\000a\000b\000\000&quot;);
  x2(&quot;\000(\000a\000?\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000(\000a\000?\000?\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 0);
  x2(&quot;\000(\000a\000*\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000a\000a\000a\000\000&quot;, 0, 8);
  x3(&quot;\000(\000a\000*\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000a\000a\000a\000\000&quot;, 0, 4, 1);
  x2(&quot;\000a\000(\000b\000*\000)\000\134\0001\000\000&quot;, &quot;\000a\000b\000b\000b\000b\000\000&quot;, 0, 10);
  x2(&quot;\000a\000(\000b\000*\000)\000\134\0001\000\000&quot;, &quot;\000a\000b\000\000&quot;, 0, 2);
  x2(&quot;\000(\000a\000*\000)\000(\000b\000*\000)\000\134\0001\000\134\0002\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000a\000a\000a\000b\000b\000\000&quot;, 0, 20);
  x2(&quot;\000(\000a\000*\000)\000(\000b\000*\000)\000\134\0002\000\000&quot;, &quot;\000a\000a\000a\000b\000b\000b\000b\000\000&quot;, 0, 14);
  x2(&quot;\000(\000(\000(\000(\000(\000(\000(\000a\000*\000)\000b\000)\000)\000)\000)\000)\000)\000c\000\134\0007\000\000&quot;, &quot;\000a\000a\000a\000b\000c\000a\000a\000a\000\000&quot;, 0, 16);
  x3(&quot;\000(\000(\000(\000(\000(\000(\000(\000a\000*\000)\000b\000)\000)\000)\000)\000)\000)\000c\000\134\0007\000\000&quot;, &quot;\000a\000a\000a\000b\000c\000a\000a\000a\000\000&quot;, 0, 6, 7);
  x2(&quot;\000(\000a\000)\000(\000b\000)\000(\000c\000)\000\134\0002\000\134\0001\000\134\0003\000\000&quot;, &quot;\000a\000b\000c\000b\000a\000c\000\000&quot;, 0, 12);
  x2(&quot;\000(\000[\000a\000-\000d\000]\000)\000\134\0001\000\000&quot;, &quot;\000c\000c\000\000&quot;, 0, 4);
  x2(&quot;\000(\000\134\000w\000\134\000d\000\134\000s\000)\000\134\0001\000\000&quot;, &quot;\000f\0005\000 \000f\0005\000 \000\000&quot;, 0, 12);
  n(&quot;\000(\000\134\000w\000\134\000d\000\134\000s\000)\000\134\0001\000\000&quot;, &quot;\000f\0005\000 \000f\0005\000\000&quot;);
  x2(&quot;\000(\000w\000h\000o\000|\000[\000a\000-\000c\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;\000w\000h\000o\000w\000h\000o\000\000&quot;, 0, 12);
  x2(&quot;\000.\000.\000.\000(\000w\000h\000o\000|\000[\000a\000-\000c\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;\000a\000b\000c\000w\000h\000o\000w\000h\000o\000\000&quot;, 0, 18);
  x2(&quot;\000(\000w\000h\000o\000|\000[\000a\000-\000c\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;\000c\000b\000c\000c\000b\000c\000\000&quot;, 0, 12);
  x2(&quot;\000(\000^\000a\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  n(&quot;\000(\000^\000a\000)\000\134\0001\000\000&quot;, &quot;\000b\000a\000a\000\000&quot;);
  n(&quot;\000(\000a\000$\000)\000\134\0001\000\000&quot;, &quot;\000a\000a\000\000&quot;);
  n(&quot;\000(\000a\000b\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;\000a\000b\000\000&quot;);
  x2(&quot;\000(\000a\000*\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;\000a\000\000&quot;, 2, 2);
  x2(&quot;\000.\000(\000a\000*\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;\000b\000a\000\000&quot;, 2, 4);
  x3(&quot;\000(\000.\000(\000a\000b\000c\000)\000\134\0002\000)\000\000&quot;, &quot;\000z\000a\000b\000c\000a\000b\000c\000\000&quot;, 0, 14, 1);
  x3(&quot;\000(\000.\000(\000.\000.\000\134\000d\000.\000)\000\134\0002\000)\000\000&quot;, &quot;\000z\0001\0002\0003\0004\0001\0002\0003\0004\000\000&quot;, 0, 18, 1);
  x2(&quot;\000(\000(\000?\000i\000:\000a\000z\000)\000)\000\134\0001\000\000&quot;, &quot;\000A\000z\000A\000z\000\000&quot;, 0, 8);
  n(&quot;\000(\000(\000?\000i\000:\000a\000z\000)\000)\000\134\0001\000\000&quot;, &quot;\000A\000z\000a\000z\000\000&quot;);
  x2(&quot;\000(\000?\000&lt;\000=\000a\000)\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;, 2, 4);
  n(&quot;\000(\000?\000&lt;\000=\000a\000)\000b\000\000&quot;, &quot;\000b\000b\000\000&quot;);
  x2(&quot;\000(\000?\000&lt;\000=\000a\000|\000b\000)\000b\000\000&quot;, &quot;\000b\000b\000\000&quot;, 2, 4);
  x2(&quot;\000(\000?\000&lt;\000=\000a\000|\000b\000c\000)\000b\000\000&quot;, &quot;\000b\000c\000b\000\000&quot;, 4, 6);
  x2(&quot;\000(\000?\000&lt;\000=\000a\000|\000b\000c\000)\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;, 2, 4);
  x2(&quot;\000(\000?\000&lt;\000=\000a\000|\000b\000c\000|\000|\000d\000e\000f\000g\000h\000i\000j\000|\000k\000l\000m\000n\000o\000p\000q\000|\000r\000)\000z\000\000&quot;, &quot;\000r\000z\000\000&quot;, 2, 4);
  x2(&quot;\000(\000a\000)\000\134\000g\000&lt;\0001\000&gt;\000\000&quot;, &quot;\000a\000a\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000&lt;\000!\000a\000)\000b\000\000&quot;, &quot;\000c\000b\000\000&quot;, 2, 4);
  n(&quot;\000(\000?\000&lt;\000!\000a\000)\000b\000\000&quot;, &quot;\000a\000b\000\000&quot;);
  x2(&quot;\000(\000?\000&lt;\000!\000a\000|\000b\000c\000)\000b\000\000&quot;, &quot;\000b\000b\000b\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000&lt;\000!\000a\000|\000b\000c\000)\000z\000\000&quot;, &quot;\000b\000c\000z\000\000&quot;);
  x2(&quot;\000(\000?\000&lt;\000n\000a\000m\000e\0001\000&gt;\000a\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000&lt;\000n\000a\000m\000e\000_\0002\000&gt;\000a\000b\000)\000\134\000g\000&lt;\000n\000a\000m\000e\000_\0002\000&gt;\000\000&quot;, &quot;\000a\000b\000a\000b\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000&lt;\000n\000a\000m\000e\000_\0003\000&gt;\000.\000z\000v\000.\000)\000\134\000k\000&lt;\000n\000a\000m\000e\000_\0003\000&gt;\000\000&quot;, &quot;\000a\000z\000v\000b\000a\000z\000v\000b\000\000&quot;, 0, 16);
  x2(&quot;\000(\000?\000&lt;\000=\000\134\000g\000&lt;\000a\000b\000&gt;\000)\000|\000-\000\134\000z\000E\000N\000D\000 \000(\000?\000&lt;\000a\000b\000&gt;\000X\000y\000Z\000)\000\000&quot;, &quot;\000X\000y\000Z\000\000&quot;, 6, 6);
  x2(&quot;\000(\000?\000&lt;\000n\000&gt;\000|\000a\000\134\000g\000&lt;\000n\000&gt;\000)\000+\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000&lt;\000n\000&gt;\000|\000\134\000(\000\134\000g\000&lt;\000n\000&gt;\000\134\000)\000)\000+\000$\000\000&quot;, &quot;\000(\000)\000(\000(\000)\000)\000\000&quot;, 0, 12);
  x3(&quot;\000\134\000g\000&lt;\000n\000&gt;\000(\000?\000&lt;\000n\000&gt;\000.\000)\000{\0000\000}\000\000&quot;, &quot;\000X\000\000&quot;, 0, 2, 1);
  x2(&quot;\000\134\000g\000&lt;\000n\000&gt;\000(\000a\000b\000c\000|\000d\000f\000(\000?\000&lt;\000n\000&gt;\000.\000Y\000Z\000)\000{\0002\000,\0008\000}\000)\000{\0000\000}\000\000&quot;, &quot;\000X\000Y\000Z\000\000&quot;, 0, 6);
  x2(&quot;\000\134\000A\000(\000?\000&lt;\000n\000&gt;\000(\000a\000\134\000g\000&lt;\000n\000&gt;\000)\000|\000)\000\134\000z\000\000&quot;, &quot;\000a\000a\000a\000a\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000&lt;\000n\000&gt;\000|\000\134\000g\000&lt;\000m\000&gt;\000\134\000g\000&lt;\000n\000&gt;\000)\000\134\000z\000|\000\134\000z\000E\000N\000D\000 \000(\000?\000&lt;\000m\000&gt;\000a\000|\000(\000b\000)\000\134\000g\000&lt;\000m\000&gt;\000)\000\000&quot;, &quot;\000b\000b\000b\000b\000a\000b\000b\000a\000\000&quot;, 0, 16);
  x2(&quot;\000(\000?\000&lt;\000n\000a\000m\000e\0001\0002\0004\0000\000&gt;\000\134\000w\000+\000\134\000s\000x\000)\000a\000+\000\134\000k\000&lt;\000n\000a\000m\000e\0001\0002\0004\0000\000&gt;\000\000&quot;, &quot;\000 \000 \000f\000g\000 \000x\000a\000a\000a\000a\000a\000a\000a\000a\000f\000g\000 \000x\000\000&quot;, 4, 36);
  x3(&quot;\000(\000z\000)\000(\000)\000(\000)\000(\000?\000&lt;\000_\0009\000&gt;\000a\000)\000\134\000g\000&lt;\000_\0009\000&gt;\000\000&quot;, &quot;\000z\000a\000a\000\000&quot;, 4, 6, 1);
  x2(&quot;\000(\000.\000)\000(\000(\000(\000?\000&lt;\000_\000&gt;\000a\000)\000)\000)\000\134\000k\000&lt;\000_\000&gt;\000\000&quot;, &quot;\000z\000a\000a\000\000&quot;, 0, 6);
  x2(&quot;\000(\000(\000?\000&lt;\000n\000a\000m\000e\0001\000&gt;\000\134\000d\000)\000|\000(\000?\000&lt;\000n\000a\000m\000e\0002\000&gt;\000\134\000w\000)\000)\000(\000\134\000k\000&lt;\000n\000a\000m\000e\0001\000&gt;\000|\000\134\000k\000&lt;\000n\000a\000m\000e\0002\000&gt;\000)\000\000&quot;, &quot;\000f\000f\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000:\000(\000?\000&lt;\000x\000&gt;\000)\000|\000(\000?\000&lt;\000x\000&gt;\000e\000f\000g\000)\000)\000\134\000k\000&lt;\000x\000&gt;\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000(\000?\000&lt;\000x\000&gt;\000a\000b\000c\000)\000|\000(\000?\000&lt;\000x\000&gt;\000e\000f\000g\000)\000)\000\134\000k\000&lt;\000x\000&gt;\000\000&quot;, &quot;\000a\000b\000c\000e\000f\000g\000e\000f\000g\000\000&quot;, 6, 18);
  n(&quot;\000(\000?\000:\000(\000?\000&lt;\000x\000&gt;\000a\000b\000c\000)\000|\000(\000?\000&lt;\000x\000&gt;\000e\000f\000g\000)\000)\000\134\000k\000&lt;\000x\000&gt;\000\000&quot;, &quot;\000a\000b\000c\000e\000f\000g\000\000&quot;);
  x2(&quot;\000(\000?\000:\000(\000?\000&lt;\000n\0001\000&gt;\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000)\000\134\000k\000&lt;\000n\0001\000&gt;\000$\000\000&quot;, &quot;\000a\000-\000p\000y\000u\000m\000p\000y\000u\000m\000\000&quot;, 4, 20);
  x3(&quot;\000(\000?\000:\000(\000?\000&lt;\000n\0001\000&gt;\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000|\000(\000?\000&lt;\000n\0001\000&gt;\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000.\000)\000)\000\134\000k\000&lt;\000n\0001\000&gt;\000$\000\000&quot;, &quot;\000x\000x\000x\000x\000a\000b\000c\000d\000e\000f\000g\000h\000i\000j\000k\000l\000m\000n\000a\000b\000c\000d\000e\000f\000g\000h\000i\000j\000k\000l\000m\000n\000\000&quot;, 8, 36, 14);
  x3(&quot;\000(\000?\000&lt;\000n\000a\000m\000e\0001\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0002\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0003\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0004\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0005\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0006\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0007\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0008\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0009\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0000\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0001\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0002\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0003\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0004\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0005\000&gt;\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0006\000&gt;\000a\000a\000a\000)\000(\000?\000&lt;\000n\000a\000m\000e\0001\0007\000&gt;\000)\000$\000\000&quot;, &quot;\000a\000a\000a\000\000&quot;, 0, 6, 16);
  x2(&quot;\000(\000?\000&lt;\000f\000o\000o\000&gt;\000a\000|\000\134\000(\000\134\000g\000&lt;\000f\000o\000o\000&gt;\000\134\000)\000)\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000&lt;\000f\000o\000o\000&gt;\000a\000|\000\134\000(\000\134\000g\000&lt;\000f\000o\000o\000&gt;\000\134\000)\000)\000\000&quot;, &quot;\000(\000(\000(\000(\000(\000(\000a\000)\000)\000)\000)\000)\000)\000\000&quot;, 0, 26);
  x3(&quot;\000(\000?\000&lt;\000f\000o\000o\000&gt;\000a\000|\000\134\000(\000\134\000g\000&lt;\000f\000o\000o\000&gt;\000\134\000)\000)\000\000&quot;, &quot;\000(\000(\000(\000(\000(\000(\000(\000(\000a\000)\000)\000)\000)\000)\000)\000)\000)\000\000&quot;, 0, 34, 1);
  x2(&quot;\000\134\000g\000&lt;\000b\000a\000r\000&gt;\000|\000\134\000z\000E\000N\000D\000(\000?\000&lt;\000b\000a\000r\000&gt;\000.\000*\000a\000b\000c\000$\000)\000\000&quot;, &quot;\000a\000b\000c\000x\000x\000x\000a\000b\000c\000\000&quot;, 0, 18);
  x2(&quot;\000\134\000g\000&lt;\0001\000&gt;\000|\000\134\000z\000E\000N\000D\000(\000.\000a\000.\000)\000\000&quot;, &quot;\000b\000a\000c\000\000&quot;, 0, 6);
  x3(&quot;\000\134\000g\000&lt;\000_\000A\000&gt;\000\134\000g\000&lt;\000_\000A\000&gt;\000|\000\134\000z\000E\000N\000D\000(\000.\000a\000.\000)\000(\000?\000&lt;\000_\000A\000&gt;\000.\000b\000.\000)\000\000&quot;, &quot;\000x\000b\000x\000y\000b\000y\000\000&quot;, 6, 12, 1);
  x2(&quot;\000\134\000A\000(\000?\000:\000\134\000g\000&lt;\000p\000o\000n\000&gt;\000|\000\134\000g\000&lt;\000p\000a\000n\000&gt;\000|\000\134\000z\000E\000N\000D\000 \000 \000(\000?\000&lt;\000p\000a\000n\000&gt;\000a\000|\000c\000\134\000g\000&lt;\000p\000o\000n\000&gt;\000c\000)\000(\000?\000&lt;\000p\000o\000n\000&gt;\000b\000|\000d\000\134\000g\000&lt;\000p\000a\000n\000&gt;\000d\000)\000)\000$\000\000&quot;, &quot;\000c\000d\000c\000b\000c\000d\000c\000\000&quot;, 0, 14);
  x2(&quot;\000\134\000A\000(\000?\000&lt;\000n\000&gt;\000|\000a\000\134\000g\000&lt;\000m\000&gt;\000)\000\134\000z\000|\000\134\000z\000E\000N\000D\000 \000(\000?\000&lt;\000m\000&gt;\000\134\000g\000&lt;\000n\000&gt;\000)\000\000&quot;, &quot;\000a\000a\000a\000a\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000&lt;\000n\000&gt;\000(\000a\000|\000b\000\134\000g\000&lt;\000n\000&gt;\000c\000)\000{\0003\000,\0005\000}\000)\000\000&quot;, &quot;\000b\000a\000a\000a\000a\000c\000a\000\000&quot;, 2, 10);
  x2(&quot;\000(\000?\000&lt;\000n\000&gt;\000(\000a\000|\000b\000\134\000g\000&lt;\000n\000&gt;\000c\000)\000{\0003\000,\0005\000}\000)\000\000&quot;, &quot;\000b\000a\000a\000a\000a\000c\000a\000a\000a\000a\000a\000\000&quot;, 0, 20);
  x2(&quot;\000(\000?\000&lt;\000p\000a\000r\000e\000&gt;\000\134\000(\000(\000[\000^\000\134\000(\000\134\000)\000]\000+\000+\000|\000\134\000g\000&lt;\000p\000a\000r\000e\000&gt;\000)\000*\000+\000\134\000)\000)\000\000&quot;, &quot;\000(\000(\000a\000)\000)\000\000&quot;, 0, 10);
  x2(&quot;\000(\000)\000*\000\134\0001\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000(\000)\000|\000(\000)\000)\000*\000\134\0001\000\134\0002\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x3(&quot;\000(\000?\000:\000\134\0001\000a\000|\000(\000)\000)\000*\000\000&quot;, &quot;\000a\000\000&quot;, 0, 0, 1);
  x2(&quot;\000x\000(\000(\000.\000)\000*\000)\000*\000x\000\000&quot;, &quot;\0000\000x\0001\000x\0002\000x\0003\000\000&quot;, 2, 12);
  x2(&quot;\000x\000(\000(\000.\000)\000*\000)\000*\000x\000(\000?\000i\000:\000\134\0001\000)\000\134\000Z\000\000&quot;, &quot;\0000\000x\0001\000x\0002\000x\0001\000X\0002\000\000&quot;, 2, 18);
  x2(&quot;\000(\000?\000:\000(\000)\000|\000(\000)\000|\000(\000)\000|\000(\000)\000|\000(\000)\000|\000(\000)\000)\000*\000\134\0002\000\134\0005\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\000(\000)\000|\000(\000)\000|\000(\000)\000|\000(\000x\000)\000|\000(\000)\000|\000(\000)\000)\000*\000\134\0002\000b\000\134\0005\000\000&quot;, &quot;\000b\000\000&quot;, 0, 2);
  x2(&quot;\217\372\000\000&quot;, &quot;\217\372\000\000&quot;, 0, 2);
  x2(&quot;\000\000&quot;, &quot;0B\000\000&quot;, 0, 0);
  x2(&quot;0B\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  n(&quot;0D\000\000&quot;, &quot;0B\000\000&quot;);
  x2(&quot;0F0F\000\000&quot;, &quot;0F0F\000\000&quot;, 0, 4);
  x2(&quot;0B0D0F\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6);
  x2(&quot;0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S\000\000&quot;, &quot;0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S0S\000\000&quot;, 0, 70);
  x2(&quot;0B\000\000&quot;, &quot;0D0B\000\000&quot;, 2, 4);
  x2(&quot;0D0F\000\000&quot;, &quot;0B0D0F\000\000&quot;, 2, 6);
  x2(&quot;e\207\000\000&quot;, &quot;e\207\000\000&quot;, 0, 2);
  x2(&quot;\000.\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;\000.\000.\000\000&quot;, &quot;0K0M\000\000&quot;, 0, 4);
  x2(&quot;\000\134\000w\000\000&quot;, &quot;0J\000\000&quot;, 0, 2);
  n(&quot;\000\134\000W\000\000&quot;, &quot;0B\000\000&quot;);
  x2(&quot;\000[\000\134\000W\000]\000\000&quot;, &quot;0F\000$\000\000&quot;, 2, 4);
  x2(&quot;\000\134\000S\000\000&quot;, &quot;0]\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000S\000\000&quot;, &quot;o\042\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000b\000\000&quot;, &quot;l\027\000 \000\000&quot;, 0, 0);
  x2(&quot;\000\134\000b\000\000&quot;, &quot;\000 0{\000\000&quot;, 2, 2);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;0[0]\000 \000\000&quot;, 2, 2);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;0F\000 \000\000&quot;, 4, 4);
  x2(&quot;\000\134\000B\000\000&quot;, &quot;\000 0D\000\000&quot;, 0, 0);
  x2(&quot;\000[0_0a\000]\000\000&quot;, &quot;0a\000\000&quot;, 0, 2);
  n(&quot;\000[0j0k\000]\000\000&quot;, &quot;0l\000\000&quot;);
  x2(&quot;\000[0F\000-0J\000]\000\000&quot;, &quot;0H\000\000&quot;, 0, 2);
  n(&quot;\000[\000^0Q\000]\000\000&quot;, &quot;0Q\000\000&quot;);
  x2(&quot;\000[\000\134\000w\000]\000\000&quot;, &quot;0m\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000d\000]\000\000&quot;, &quot;0u\000\000&quot;);
  x2(&quot;\000[\000\134\000D\000]\000\000&quot;, &quot;0o\000\000&quot;, 0, 2);
  n(&quot;\000[\000\134\000s\000]\000\000&quot;, &quot;0O\000\000&quot;);
  x2(&quot;\000[\000\134\000S\000]\000\000&quot;, &quot;0x\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000w\000\134\000d\000]\000\000&quot;, &quot;0\210\000\000&quot;, 0, 2);
  x2(&quot;\000[\000\134\000w\000\134\000d\000]\000\000&quot;, &quot;\000 \000 \000 0\210\000\000&quot;, 6, 8);
  n(&quot;\000\134\000w\233&lt;\216\312\000\000&quot;, &quot;\000 \233&lt;\216\312\000\000&quot;);
  x2(&quot;\233&lt;\000\134\000W\216\312\000\000&quot;, &quot;\233&lt;\000 \216\312\000\000&quot;, 0, 6);
  x2(&quot;0B\000.0D\000.0F\000\000&quot;, &quot;0B0B0D0D0F\000\000&quot;, 0, 10);
  x2(&quot;\000.\000\134\000w0F\000\134\000W\000.\000.0^\000\000&quot;, &quot;0H0F0F\000 0F0^0^\000\000&quot;, 0, 14);
  x2(&quot;\000\134\000s\000\134\000w0S0S0S\000\000&quot;, &quot;\000 0S0S0S0S\000\000&quot;, 0, 10);
  x2(&quot;0B0B\000.0Q\000\000&quot;, &quot;0B0B0Q0Q\000\000&quot;, 0, 8);
  n(&quot;\000.0D\000\000&quot;, &quot;0D0H\000\000&quot;);
  x2(&quot;\000.0J\000\000&quot;, &quot;0J0J\000\000&quot;, 0, 4);
  x2(&quot;\000^0B\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;\000^0\200\000$\000\000&quot;, &quot;0\200\000\000&quot;, 0, 2);
  x2(&quot;\000^\000\134\000w\000$\000\000&quot;, &quot;0k\000\000&quot;, 0, 2);
  x2(&quot;\000^\000\134\000w0K0M0O0Q0S\000$\000\000&quot;, &quot;\000z0K0M0O0Q0S\000\000&quot;, 0, 12);
  x2(&quot;\000^\000\134\000w\000.\000.\000.0F0H0J\000$\000\000&quot;, &quot;\000z0B0D0F0F0H0J\000\000&quot;, 0, 14);
  x2(&quot;\000\134\000w\000\134\000w\000\134\000s\000\134\000W0J0J0J\000\134\000d\000\000&quot;, &quot;\000a0J\000 \000 0J0J0J\0004\000\000&quot;, 0, 16);
  x2(&quot;\000\134\000A0_0a0d\000\000&quot;, &quot;0_0a0d\000\000&quot;, 0, 6);
  x2(&quot;0\2000\2010\202\000\134\000Z\000\000&quot;, &quot;0\2000\2010\202\000\000&quot;, 0, 6);
  x2(&quot;0K0M0O\000\134\000z\000\000&quot;, &quot;0K0M0O\000\000&quot;, 0, 6);
  x2(&quot;0K0M0O\000\134\000Z\000\000&quot;, &quot;0K0M0O\000\012\000\000&quot;, 0, 6);
  x2(&quot;\000\134\000G0}0t\000\000&quot;, &quot;0}0t\000\000&quot;, 0, 4);
  n(&quot;\000\134\000G0H\000\000&quot;, &quot;0F0H0J\000\000&quot;);
  n(&quot;0h0f\000\134\000G\000\000&quot;, &quot;0h0f\000\000&quot;);
  n(&quot;0~0\177\000\134\000A\000\000&quot;, &quot;0~0\177\000\000&quot;);
  n(&quot;0~\000\134\000A0\177\000\000&quot;, &quot;0~0\177\000\000&quot;);
  x2(&quot;\000(\000?\000=0[\000)0[\000\000&quot;, &quot;0[\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000=0F\000)\000.\000\000&quot;, &quot;0D\000\000&quot;);
  x2(&quot;\000(\000?\000!0F\000)0K\000\000&quot;, &quot;0K\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000!0h\000)0B\000\000&quot;, &quot;0h\000\000&quot;);
  x2(&quot;\000(\000?\000i\000:0B\000)\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:0v0y\000)\000\000&quot;, &quot;0v0y\000\000&quot;, 0, 4);
  n(&quot;\000(\000?\000i\000:0D\000)\000\000&quot;, &quot;0F\000\000&quot;);
  x2(&quot;\000(\000?\000m\000:0\210\000.\000)\000\000&quot;, &quot;0\210\000\012\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000m\000:\000.0\201\000)\000\000&quot;, &quot;0~\000\0120\201\000\000&quot;, 2, 6);
  x2(&quot;0B\000?\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;Y\011\000?\000\000&quot;, &quot;S\026\000\000&quot;, 0, 0);
  x2(&quot;Y\011\000?\000\000&quot;, &quot;Y\011\000\000&quot;, 0, 2);
  x2(&quot;\221\317\000*\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\221\317\000*\000\000&quot;, &quot;\221\317\000\000&quot;, 0, 2);
  x2(&quot;[P\000*\000\000&quot;, &quot;[P[P[P\000\000&quot;, 0, 6);
  x2(&quot;\231\254\000*\000\000&quot;, &quot;\236\177\231\254\231\254\231\254\231\254\000\000&quot;, 0, 0);
  n(&quot;\134q\000+\000\000&quot;, &quot;\000\000&quot;);
  x2(&quot;l\263\000+\000\000&quot;, &quot;l\263\000\000&quot;, 0, 2);
  x2(&quot;fB\000+\000\000&quot;, &quot;fBfBfBfB\000\000&quot;, 0, 8);
  x2(&quot;0H\000+\000\000&quot;, &quot;0H0H0F0F0F\000\000&quot;, 0, 4);
  x2(&quot;0F\000+\000\000&quot;, &quot;0J0F0F0F0F\000\000&quot;, 2, 10);
  x2(&quot;\000.\000?\000\000&quot;, &quot;0_\000\000&quot;, 0, 2);
  x2(&quot;\000.\000*\000\000&quot;, &quot;0q0t0w0z\000\000&quot;, 0, 8);
  x2(&quot;\000.\000+\000\000&quot;, &quot;0\215\000\000&quot;, 0, 2);
  x2(&quot;\000.\000+\000\000&quot;, &quot;0D0F0H0K\000\012\000\000&quot;, 0, 8);
  x2(&quot;0B\000|0D\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;0B\000|0D\000\000&quot;, &quot;0D\000\000&quot;, 0, 2);
  x2(&quot;0B0D\000|0D0F\000\000&quot;, &quot;0B0D\000\000&quot;, 0, 4);
  x2(&quot;0B0D\000|0D0F\000\000&quot;, &quot;0D0F\000\000&quot;, 0, 4);
  x2(&quot;0\222\000(\000?\000:0K0M\000|0M0O\000)\000\000&quot;, &quot;0\2220K0M\000\000&quot;, 0, 6);
  x2(&quot;0\222\000(\000?\000:0K0M\000|0M0O\000)0Q\000\000&quot;, &quot;0\2220M0O0Q\000\000&quot;, 0, 8);
  x2(&quot;0B0D\000|\000(\000?\000:0B0F\000|0B0\222\000)\000\000&quot;, &quot;0B0\222\000\000&quot;, 0, 4);
  x2(&quot;0B\000|0D\000|0F\000\000&quot;, &quot;0H0F\000\000&quot;, 2, 4);
  x2(&quot;0B\000|0D\000|0F0H\000|0J0K0M\000|0O\000|0Q0S0U\000|0W0Y0[\000|0]\000|0_0a\000|0d0f0h0j0k\000|0l0m\000\000&quot;, &quot;0W0Y0[\000\000&quot;, 0, 6);
  n(&quot;0B\000|0D\000|0F0H\000|0J0K0M\000|0O\000|0Q0S0U\000|0W0Y0[\000|0]\000|0_0a\000|0d0f0h0j0k\000|0l0m\000\000&quot;, &quot;0Y0[\000\000&quot;);
  x2(&quot;0B\000|\000^0\217\000\000&quot;, &quot;0v0B\000\000&quot;, 2, 4);
  x2(&quot;0B\000|\000^0\222\000\000&quot;, &quot;0\2220B\000\000&quot;, 0, 2);
  x2(&quot;\233&lt;\000|\000\134\000G\216\312\000\000&quot;, &quot;0Q\216\312\233&lt;\000\000&quot;, 4, 6);
  x2(&quot;\233&lt;\000|\000\134\000G\216\312\000\000&quot;, &quot;\216\312\233&lt;\000\000&quot;, 0, 2);
  x2(&quot;\233&lt;\000|\000\134\000A\216\312\000\000&quot;, &quot;\000b\216\312\233&lt;\000\000&quot;, 4, 6);
  x2(&quot;\233&lt;\000|\000\134\000A\216\312\000\000&quot;, &quot;\216\312\000\000&quot;, 0, 2);
  x2(&quot;\233&lt;\000|\216\312\000\134\000Z\000\000&quot;, &quot;\216\312\233&lt;\000\000&quot;, 2, 4);
  x2(&quot;\233&lt;\000|\216\312\000\134\000Z\000\000&quot;, &quot;\216\312\000\000&quot;, 0, 2);
  x2(&quot;\233&lt;\000|\216\312\000\134\000Z\000\000&quot;, &quot;\216\312\000\012\000\000&quot;, 0, 2);
  x2(&quot;\233&lt;\000|\216\312\000\134\000z\000\000&quot;, &quot;\216\312\233&lt;\000\000&quot;, 2, 4);
  x2(&quot;\233&lt;\000|\216\312\000\134\000z\000\000&quot;, &quot;\216\312\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000w\000|\000\134\000s\000\000&quot;, &quot;0J\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000w\000|\000%\000\000&quot;, &quot;\000%0J\000\000&quot;, 0, 2);
  x2(&quot;\000\134\000w\000|\000[\000&amp;\000$\000]\000\000&quot;, &quot;0F\000&amp;\000\000&quot;, 0, 2);
  x2(&quot;\000[0D\000-0Q\000]\000\000&quot;, &quot;0F\000\000&quot;, 0, 2);
  x2(&quot;\000[0D\000-0Q\000]\000|\000[\000^0K\000-0S\000]\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;\000[0D\000-0Q\000]\000|\000[\000^0K\000-0S\000]\000\000&quot;, &quot;0K\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^0B\000]\000\000&quot;, &quot;\000\012\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:0B\000|\000[0F\000-0M\000]\000)\000|0D0\222\000\000&quot;, &quot;0F0\222\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:0B\000|\000[0F\000-0M\000]\000)\000|0D0\222\000\000&quot;, &quot;0D0\222\000\000&quot;, 0, 4);
  x2(&quot;0B0D0F\000|\000(\000?\000=0Q0Q\000)\000.\000.0{\000\000&quot;, &quot;0Q0Q0{\000\000&quot;, 0, 6);
  x2(&quot;0B0D0F\000|\000(\000?\000!0Q0Q\000)\000.\000.0{\000\000&quot;, &quot;0B0D0{\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000=0\2220B\000)\000.\000.0B\000|\000(\000?\000=0\2220\222\000)\000.\000.0B\000\000&quot;, &quot;0\2220\2220B\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000&lt;\000=0B\000|0D0F\000)0D\000\000&quot;, &quot;0D0F0D\000\000&quot;, 4, 6);
  n(&quot;\000(\000?\000&gt;0B\000|0B0D0H\000)0F\000\000&quot;, &quot;0B0D0H0F\000\000&quot;);
  x2(&quot;\000(\000?\000&gt;0B0D0H\000|0B\000)0F\000\000&quot;, &quot;0B0D0H0F\000\000&quot;, 0, 8);
  x2(&quot;0B\000?\000|0D\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;0B\000?\000|0D\000\000&quot;, &quot;0D\000\000&quot;, 0, 0);
  x2(&quot;0B\000?\000|0D\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;0B\000*\000|0D\000\000&quot;, &quot;0B0B\000\000&quot;, 0, 4);
  x2(&quot;0B\000*\000|0D\000*\000\000&quot;, &quot;0D0B\000\000&quot;, 0, 0);
  x2(&quot;0B\000*\000|0D\000*\000\000&quot;, &quot;0B0D\000\000&quot;, 0, 2);
  x2(&quot;\000[\000a0B\000]\000*\000|0D\000*\000\000&quot;, &quot;\000a0B0D0D0D\000\000&quot;, 0, 4);
  x2(&quot;0B\000+\000|0D\000*\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;0B\000+\000|0D\000*\000\000&quot;, &quot;0D0D0D\000\000&quot;, 0, 6);
  x2(&quot;0B\000+\000|0D\000*\000\000&quot;, &quot;0B0D0D0D\000\000&quot;, 0, 2);
  x2(&quot;0B\000+\000|0D\000*\000\000&quot;, &quot;\000a0B0D0D0D\000\000&quot;, 0, 0);
  n(&quot;0B\000+\000|0D\000+\000\000&quot;, &quot;\000\000&quot;);
  x2(&quot;\000(0B\000|0D\000)\000?\000\000&quot;, &quot;0D\000\000&quot;, 0, 2);
  x2(&quot;\000(0B\000|0D\000)\000*\000\000&quot;, &quot;0D0B\000\000&quot;, 0, 4);
  x2(&quot;\000(0B\000|0D\000)\000+\000\000&quot;, &quot;0D0B0D\000\000&quot;, 0, 6);
  x2(&quot;\000(0B0D\000|0F0B\000)\000+\000\000&quot;, &quot;0F0B0B0D0F0H\000\000&quot;, 0, 8);
  x2(&quot;\000(0B0D\000|0F0H\000)\000+\000\000&quot;, &quot;0F0B0B0D0F0H\000\000&quot;, 4, 12);
  x2(&quot;\000(0B0D\000|0F0B\000)\000+\000\000&quot;, &quot;0B0B0D0F0B\000\000&quot;, 2, 10);
  x2(&quot;\000(0B0D\000|0F0B\000)\000+\000\000&quot;, &quot;0B0D0\2220F0B\000\000&quot;, 0, 4);
  x2(&quot;\000(0B0D\000|0F0B\000)\000+\000\000&quot;, &quot;\000$\000$\000z\000z\000z\000z0B0D0\2220F0B\000\000&quot;, 12, 16);
  x2(&quot;\000(0B\000|0D0B0D\000)\000+\000\000&quot;, &quot;0B0D0B0D0B\000\000&quot;, 0, 10);
  x2(&quot;\000(0B\000|0D0B0D\000)\000+\000\000&quot;, &quot;0D0B\000\000&quot;, 2, 4);
  x2(&quot;\000(0B\000|0D0B0D\000)\000+\000\000&quot;, &quot;0D0B0B0B0D0B\000\000&quot;, 2, 8);
  x2(&quot;\000(\000?\000:0B\000|0D\000)\000(\000?\000:0B\000|0D\000)\000\000&quot;, &quot;0B0D\000\000&quot;, 0, 4);
  x2(&quot;\000(\000?\000:0B\000*\000|0D\000*\000)\000(\000?\000:0B\000*\000|0D\000*\000)\000\000&quot;, &quot;0B0B0B0D0D0D\000\000&quot;, 0, 6);
  x2(&quot;\000(\000?\000:0B\000*\000|0D\000*\000)\000(\000?\000:0B\000+\000|0D\000+\000)\000\000&quot;, &quot;0B0B0B0D0D0D\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:0B\000+\000|0D\000+\000)\000{\0002\000}\000\000&quot;, &quot;0B0B0B0D0D0D\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:0B\000+\000|0D\000+\000)\000{\0001\000,\0002\000}\000\000&quot;, &quot;0B0B0B0D0D0D\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:0B\000+\000|\000\134\000A0D\000*\000)0F0F\000\000&quot;, &quot;0F0F\000\000&quot;, 0, 4);
  n(&quot;\000(\000?\000:0B\000+\000|\000\134\000A0D\000*\000)0F0F\000\000&quot;, &quot;0B0D0F0F\000\000&quot;);
  x2(&quot;\000(\000?\000:\000^0B\000+\000|0D\000+\000)\000*0F\000\000&quot;, &quot;0B0B0D0D0D0B0D0F\000\000&quot;, 12, 16);
  x2(&quot;\000(\000?\000:\000^0B\000+\000|0D\000+\000)\000*0F\000\000&quot;, &quot;0B0B0D0D0D0D0F\000\000&quot;, 0, 14);
  x2(&quot;0F\000{\0000\000,\000}\000\000&quot;, &quot;0F0F0F0F\000\000&quot;, 0, 8);
  x2(&quot;0B\000|\000(\000?\000i\000)\000c\000\000&quot;, &quot;\000C\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000)\000c\000|0B\000\000&quot;, &quot;\000C\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000i\000:0B\000)\000|\000a\000\000&quot;, &quot;\000a\000\000&quot;, 0, 2);
  n(&quot;\000(\000?\000i\000:0B\000)\000|\000a\000\000&quot;, &quot;\000A\000\000&quot;);
  x2(&quot;\000[0B0D0F\000]\000?\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 2);
  x2(&quot;\000[0B0D0F\000]\000*\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6);
  x2(&quot;\000[\000^0B0D0F\000]\000*\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 0);
  n(&quot;\000[\000^0B0D0F\000]\000+\000\000&quot;, &quot;0B0D0F\000\000&quot;);
  x2(&quot;0B\000?\000?\000\000&quot;, &quot;0B0B0B\000\000&quot;, 0, 0);
  x2(&quot;0D0B\000?\000?0D\000\000&quot;, &quot;0D0B0D\000\000&quot;, 0, 6);
  x2(&quot;0B\000*\000?\000\000&quot;, &quot;0B0B0B\000\000&quot;, 0, 0);
  x2(&quot;0D0B\000*\000?\000\000&quot;, &quot;0D0B0B\000\000&quot;, 0, 2);
  x2(&quot;0D0B\000*\000?0D\000\000&quot;, &quot;0D0B0B0D\000\000&quot;, 0, 8);
  x2(&quot;0B\000+\000?\000\000&quot;, &quot;0B0B0B\000\000&quot;, 0, 2);
  x2(&quot;0D0B\000+\000?\000\000&quot;, &quot;0D0B0B\000\000&quot;, 0, 4);
  x2(&quot;0D0B\000+\000?0D\000\000&quot;, &quot;0D0B0B0D\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:Y)\000?\000)\000?\000?\000\000&quot;, &quot;Y)\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:Y)\000?\000?\000)\000?\000\000&quot;, &quot;Y)\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:Y\042\000?\000)\000+\000?\000\000&quot;, &quot;Y\042Y\042Y\042\000\000&quot;, 0, 2);
  x2(&quot;\000(\000?\000:\230\250\000+\000)\000?\000?\000\000&quot;, &quot;\230\250\230\250\230\250\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\226\352\000+\000)\000?\000?\227\034\000\000&quot;, &quot;\226\352\226\352\226\352\227\034\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:0B0D\000)\000?\000{\0002\000}\000\000&quot;, &quot;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000?\000{\0002\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000*\000{\0000\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\000\000&quot;, 0, 0);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\0003\000,\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\000\000&quot;, 0, 16);
  n(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\0003\000,\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\000\000&quot;);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\0002\000,\0004\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\0002\000,\0004\000}\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\000\000&quot;, 0, 16);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\0002\000,\0004\000}\000?\000\000&quot;, &quot;\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\233&lt;\216\312\000\000&quot;, 0, 8);
  x2(&quot;\000(\000?\000:\233&lt;\216\312\000)\000{\000,\000}\000\000&quot;, &quot;\233&lt;\216\312\000{\000,\000}\000\000&quot;, 0, 10);
  x2(&quot;\000(\000?\000:0K0M0O\000)\000+\000?\000{\0002\000}\000\000&quot;, &quot;0K0M0O0K0M0O0K0M0O\000\000&quot;, 0, 12);
  x3(&quot;\000(pk\000)\000\000&quot;, &quot;pk\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(pkl4\000)\000\000&quot;, &quot;pkl4\000\000&quot;, 0, 4, 1);
  x2(&quot;\000(\000(fB\225\223\000)\000)\000\000&quot;, &quot;fB\225\223\000\000&quot;, 0, 4);
  x3(&quot;\000(\000(\230\250l4\000)\000)\000\000&quot;, &quot;\230\250l4\000\000&quot;, 0, 4, 1);
  x3(&quot;\000(\000(f(e\345\000)\000)\000\000&quot;, &quot;f(e\345\000\000&quot;, 0, 4, 2);
  x3(&quot;\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\000(\221\317[P\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000)\000\000&quot;, &quot;\221\317[P\000\000&quot;, 0, 4, 20);
  x3(&quot;\000(0B0D\000)\000(0F0H\000)\000\000&quot;, &quot;0B0D0F0H\000\000&quot;, 0, 4, 1);
  x3(&quot;\000(0B0D\000)\000(0F0H\000)\000\000&quot;, &quot;0B0D0F0H\000\000&quot;, 4, 8, 2);
  x3(&quot;\000(\000)\000(0B\000)0D0F\000(0H0J0K\000)0M0O0Q0S\000\000&quot;, &quot;0B0D0F0H0J0K0M0O0Q0S\000\000&quot;, 6, 12, 3);
  x3(&quot;\000(\000(\000)\000(0B\000)0D0F\000(0H0J0K\000)0M0O0Q0S\000)\000\000&quot;, &quot;0B0D0F0H0J0K0M0O0Q0S\000\000&quot;, 6, 12, 4);
  x3(&quot;\000.\000*\000(0\3250\251\000)0\3630\3730\336\000(0\363\000(\000)0\2670\3450\277\000)0\2440\363\000\000&quot;, &quot;0\3250\2510\3630\3730\3360\3630\2670\3450\2770\2440\363\000\000&quot;, 10, 18, 2);
  x2(&quot;\000(\000^0B\000)\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x3(&quot;\000(0B\000)\000|\000(0B\000)\000\000&quot;, &quot;0D0B\000\000&quot;, 2, 4, 1);
  x3(&quot;\000(\000^0B\000)\000|\000(0B\000)\000\000&quot;, &quot;0D0B\000\000&quot;, 2, 4, 2);
  x3(&quot;\000(0B\000?\000)\000\000&quot;, &quot;0B0B0B\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(0~\000*\000)\000\000&quot;, &quot;0~0~0~\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(0h\000*\000)\000\000&quot;, &quot;\000\000&quot;, 0, 0, 1);
  x3(&quot;\000(0\213\000+\000)\000\000&quot;, &quot;0\2130\2130\2130\2130\2130\2130\213\000\000&quot;, 0, 14, 1);
  x3(&quot;\000(0u\000+\000|0x\000*\000)\000\000&quot;, &quot;0u0u0u0x0x\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(0B\000+\000|0D\000?\000)\000\000&quot;, &quot;0D0D0D0B0B\000\000&quot;, 0, 2, 1);
  x3(&quot;\000(0B0D0F\000)\000?\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(0B0D0F\000)\000*\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(0B0D0F\000)\000+\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(0U0W0Y\000|0B0D0F\000)\000+\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000[0j0k0l\000]\000[0K0M0O\000]\000|0K0M0O\000)\000+\000\000&quot;, &quot;0K0M0O\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000(\000?\000i\000:0B0D0F\000)\000)\000\000&quot;, &quot;0B0D0F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000(\000?\000m\000:0B\000.0F\000)\000)\000\000&quot;, &quot;0B\000\0120F\000\000&quot;, 0, 6, 1);
  x3(&quot;\000(\000(\000?\000=0B0\223\000)0B\000)\000\000&quot;, &quot;0B0\2230D\000\000&quot;, 0, 2, 1);
  x3(&quot;0B0D0F\000|\000(\000.0B0D0H\000)\000\000&quot;, &quot;0\2230B0D0H\000\000&quot;, 0, 8, 1);
  x3(&quot;0B\000*\000(\000.\000)\000\000&quot;, &quot;0B0B0B0B0\223\000\000&quot;, 8, 10, 1);
  x3(&quot;0B\000*\000?\000(\000.\000)\000\000&quot;, &quot;0B0B0B0B0\223\000\000&quot;, 0, 2, 1);
  x3(&quot;0B\000*\000?\000(0\223\000)\000\000&quot;, &quot;0B0B0B0B0\223\000\000&quot;, 8, 10, 1);
  x3(&quot;\000[0D0F0H\000]0B\000*\000(\000.\000)\000\000&quot;, &quot;0H0B0B0B0B0\223\000\000&quot;, 10, 12, 1);
  x3(&quot;\000(\000\134\000A0D0D\000)0F0F\000\000&quot;, &quot;0D0D0F0F\000\000&quot;, 0, 4, 1);
  n(&quot;\000(\000\134\000A0D0D\000)0F0F\000\000&quot;, &quot;0\2230D0D0F0F\000\000&quot;);
  x3(&quot;\000(\000^0D0D\000)0F0F\000\000&quot;, &quot;0D0D0F0F\000\000&quot;, 0, 4, 1);
  n(&quot;\000(\000^0D0D\000)0F0F\000\000&quot;, &quot;0\2230D0D0F0F\000\000&quot;);
  x3(&quot;0\2150\215\000(0\2130\213\000$\000)\000\000&quot;, &quot;0\2150\2150\2130\213\000\000&quot;, 4, 8, 1);
  n(&quot;0\2150\215\000(0\2130\213\000$\000)\000\000&quot;, &quot;0\2150\2150\2130\2130\213\000\000&quot;);
  x2(&quot;\000(q!\000)\000\134\0001\000\000&quot;, &quot;q!q!\000\000&quot;, 0, 4);
  n(&quot;\000(q!\000)\000\134\0001\000\000&quot;, &quot;q!kf\000\000&quot;);
  x2(&quot;\000(zz\000?\000)\000\134\0001\000\000&quot;, &quot;zzzz\000\000&quot;, 0, 4);
  x2(&quot;\000(zz\000?\000?\000)\000\134\0001\000\000&quot;, &quot;zzzz\000\000&quot;, 0, 0);
  x2(&quot;\000(zz\000*\000)\000\134\0001\000\000&quot;, &quot;zzzzzzzzzz\000\000&quot;, 0, 8);
  x3(&quot;\000(zz\000*\000)\000\134\0001\000\000&quot;, &quot;zzzzzzzzzz\000\000&quot;, 0, 4, 1);
  x2(&quot;0B\000(0D\000*\000)\000\134\0001\000\000&quot;, &quot;0B0D0D0D0D\000\000&quot;, 0, 10);
  x2(&quot;0B\000(0D\000*\000)\000\134\0001\000\000&quot;, &quot;0B0D\000\000&quot;, 0, 2);
  x2(&quot;\000(0B\000*\000)\000(0D\000*\000)\000\134\0001\000\134\0002\000\000&quot;, &quot;0B0B0B0D0D0B0B0B0D0D\000\000&quot;, 0, 20);
  x2(&quot;\000(0B\000*\000)\000(0D\000*\000)\000\134\0002\000\000&quot;, &quot;0B0B0B0D0D0D0D\000\000&quot;, 0, 14);
  x3(&quot;\000(0B\000*\000)\000(0D\000*\000)\000\134\0002\000\000&quot;, &quot;0B0B0B0D0D0D0D\000\000&quot;, 6, 10, 2);
  x2(&quot;\000(\000(\000(\000(\000(\000(\000(0}\000*\000)0z\000)\000)\000)\000)\000)\000)0t\000\134\0007\000\000&quot;, &quot;0}0}0}0z0t0}0}0}\000\000&quot;, 0, 16);
  x3(&quot;\000(\000(\000(\000(\000(\000(\000(0}\000*\000)0z\000)\000)\000)\000)\000)\000)0t\000\134\0007\000\000&quot;, &quot;0}0}0}0z0t0}0}0}\000\000&quot;, 0, 6, 7);
  x2(&quot;\000(0o\000)\000(0r\000)\000(0u\000)\000\134\0002\000\134\0001\000\134\0003\000\000&quot;, &quot;0o0r0u0r0o0u\000\000&quot;, 0, 12);
  x2(&quot;\000(\000[0M\000-0Q\000]\000)\000\134\0001\000\000&quot;, &quot;0O0O\000\000&quot;, 0, 4);
  x2(&quot;\000(\000\134\000w\000\134\000d\000\134\000s\000)\000\134\0001\000\000&quot;, &quot;0B\0005\000 0B\0005\000 \000\000&quot;, 0, 12);
  n(&quot;\000(\000\134\000w\000\134\000d\000\134\000s\000)\000\134\0001\000\000&quot;, &quot;0B\0005\000 0B\0005\000\000&quot;);
  x2(&quot;\000(\212\260\377\037\000|\000[0B\000-0F\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;\212\260\377\037\212\260\377\037\000\000&quot;, 0, 8);
  x2(&quot;\000.\000.\000.\000(\212\260\377\037\000|\000[0B\000-0F\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;0B\000a0B\212\260\377\037\212\260\377\037\000\000&quot;, 0, 14);
  x2(&quot;\000(\212\260\377\037\000|\000[0B\000-0F\000]\000{\0003\000}\000)\000\134\0001\000\000&quot;, &quot;0F0D0F0F0D0F\000\000&quot;, 0, 12);
  x2(&quot;\000(\000^0S\000)\000\134\0001\000\000&quot;, &quot;0S0S\000\000&quot;, 0, 4);
  n(&quot;\000(\000^0\200\000)\000\134\0001\000\000&quot;, &quot;0\2010\2000\200\000\000&quot;);
  n(&quot;\000(0B\000$\000)\000\134\0001\000\000&quot;, &quot;0B0B\000\000&quot;);
  n(&quot;\000(0B0D\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;0B0D\000\000&quot;);
  x2(&quot;\000(0B\000*\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;0B\000\000&quot;, 2, 2);
  x2(&quot;\000.\000(0B\000*\000\134\000Z\000)\000\134\0001\000\000&quot;, &quot;0D0B\000\000&quot;, 2, 4);
  x3(&quot;\000(\000.\000(0\2040D0\206\000)\000\134\0002\000)\000\000&quot;, &quot;\000z0\2040D0\2060\2040D0\206\000\000&quot;, 0, 14, 1);
  x3(&quot;\000(\000.\000(\000.\000.\000\134\000d\000.\000)\000\134\0002\000)\000\000&quot;, &quot;0B\0001\0002\0003\0004\0001\0002\0003\0004\000\000&quot;, 0, 18, 1);
  x2(&quot;\000(\000(\000?\000i\000:0B\000v0Z\000)\000)\000\134\0001\000\000&quot;, &quot;0B\000v0Z0B\000v0Z\000\000&quot;, 0, 12);
  x2(&quot;\000(\000?\000&lt;a\0320K\000&gt;Y\011\000|\000\134\000(\000\134\000g\000&lt;a\0320K\000&gt;\000\134\000)\000)\000\000&quot;, &quot;\000(\000(\000(\000(\000(\000(Y\011\000)\000)\000)\000)\000)\000)\000\000&quot;, 0, 26);
  x2(&quot;\000\134\000A\000(\000?\000:\000\134\000g\000&lt;\226?\000_\0001\000&gt;\000|\000\134\000g\000&lt;N\221\000_\0002\000&gt;\000|\000\134\000z}BN\206\000 \000 \000(\000?\000&lt;\226?\000_\0001\000&gt;\211\263\000|\201\352\000\134\000g\000&lt;N\221\000_\0002\000&gt;\201\352\000)\000(\000?\000&lt;N\221\000_\0002\000&gt;W(\000|\203\351\205\251\000\134\000g\000&lt;\226?\000_\0001\000&gt;\203\351\205\251\000)\000)\000$\000\000&quot;, &quot;\203\351\205\251\201\352\203\351\205\251\201\352W(\201\352\203\351\205\251\201\352\203\351\205\251\000\000&quot;, 0, 26);
  x2(&quot;\000[\000[0r0u\000]\000]\000\000&quot;, &quot;0u\000\000&quot;, 0, 2);
  x2(&quot;\000[\000[0D0J0F\000]0K\000]\000\000&quot;, &quot;0K\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^0B\000]\000]\000\000&quot;, &quot;0B\000\000&quot;);
  n(&quot;\000[\000^\000[0B\000]\000]\000\000&quot;, &quot;0B\000\000&quot;);
  x2(&quot;\000[\000^\000[\000^0B\000]\000]\000\000&quot;, &quot;0B\000\000&quot;, 0, 2);
  x2(&quot;\000[\000[0K0M0O\000]\000&amp;\000&amp;0M0O\000]\000\000&quot;, &quot;0O\000\000&quot;, 0, 2);
  n(&quot;\000[\000[0K0M0O\000]\000&amp;\000&amp;0M0O\000]\000\000&quot;, &quot;0K\000\000&quot;);
  n(&quot;\000[\000[0K0M0O\000]\000&amp;\000&amp;0M0O\000]\000\000&quot;, &quot;0Q\000\000&quot;);
  x2(&quot;\000[0B\000-0\223\000&amp;\000&amp;0D\000-0\222\000&amp;\000&amp;0F\000-0\221\000]\000\000&quot;, &quot;0\221\000\000&quot;, 0, 2);
  n(&quot;\000[\000^0B\000-0\223\000&amp;\000&amp;0D\000-0\222\000&amp;\000&amp;0F\000-0\221\000]\000\000&quot;, &quot;0\221\000\000&quot;);
  x2(&quot;\000[\000[\000^0B\000&amp;\000&amp;0B\000]\000&amp;\000&amp;0B\000-0\223\000]\000\000&quot;, &quot;0D\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^0B\000&amp;\000&amp;0B\000]\000&amp;\000&amp;0B\000-0\223\000]\000\000&quot;, &quot;0B\000\000&quot;);
  x2(&quot;\000[\000[\000^0B\000-0\223\000&amp;\000&amp;0D0F0H0J\000]\000&amp;\000&amp;\000[\000^0F\000-0K\000]\000]\000\000&quot;, &quot;0M\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000^0B\000-0\223\000&amp;\000&amp;0D0F0H0J\000]\000&amp;\000&amp;\000[\000^0F\000-0K\000]\000]\000\000&quot;, &quot;0D\000\000&quot;);
  x2(&quot;\000[\000^\000[\000^0B0D0F\000]\000&amp;\000&amp;\000[\000^0F0H0J\000]\000]\000\000&quot;, &quot;0F\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^\000[\000^0B0D0F\000]\000&amp;\000&amp;\000[\000^0F0H0J\000]\000]\000\000&quot;, &quot;0H\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000[\000^0B0D0F\000]\000&amp;\000&amp;\000[\000^0F0H0J\000]\000]\000\000&quot;, &quot;0K\000\000&quot;);
  x2(&quot;\000[0B\000-\000&amp;\000&amp;\000-0B\000]\000\000&quot;, &quot;\000-\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^\000[\000^\000a\000-\000z0B0D0F\000]\000&amp;\000&amp;\000[\000^\000b\000c\000d\000e\000f\000g0F0H0J\000]\000q\000-\000w\000]\000\000&quot;, &quot;0H\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^\000[\000^\000a\000-\000z0B0D0F\000]\000&amp;\000&amp;\000[\000^\000b\000c\000d\000e\000f\000g0F0H0J\000]\000g\000-\000w\000]\000\000&quot;, &quot;\000f\000\000&quot;, 0, 2);
  x2(&quot;\000[\000^\000[\000^\000a\000-\000z0B0D0F\000]\000&amp;\000&amp;\000[\000^\000b\000c\000d\000e\000f\000g0F0H0J\000]\000g\000-\000w\000]\000\000&quot;, &quot;\000g\000\000&quot;, 0, 2);
  n(&quot;\000[\000^\000[\000^\000a\000-\000z0B0D0F\000]\000&amp;\000&amp;\000[\000^\000b\000c\000d\000e\000f\000g0F0H0J\000]\000g\000-\000w\000]\000\000&quot;, &quot;\0002\000\000&quot;);
  x2(&quot;\000a\000&lt;\000b\000&gt;0\3200\3740\2700\3470\3630n0\3000\2460\3630\3550\3740\311\000&lt;\000\134\000/\000b\000&gt;\000\000&quot;, &quot;\000a\000&lt;\000b\000&gt;0\3200\3740\2700\3470\3630n0\3000\2460\3630\3550\3740\311\000&lt;\000/\000b\000&gt;\000\000&quot;, 0, 40);
  x2(&quot;\000.\000&lt;\000b\000&gt;0\3200\3740\2700\3470\3630n0\3000\2460\3630\3550\3740\311\000&lt;\000\134\000/\000b\000&gt;\000\000&quot;, &quot;\000a\000&lt;\000b\000&gt;0\3200\3740\2700\3470\3630n0\3000\2460\3630\3550\3740\311\000&lt;\000/\000b\000&gt;\000\000&quot;, 0, 40);
  x2(&quot;\000^\000\\\000p\000{\000K\000a\000t\000a\000k\000a\000n\000a\000}\000$\000\000&quot;, &quot;\060\277\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000o\000{\0001\0000\0001\000}\000\000&quot;, &quot;\000A\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000o\000{\0001\0001\0000\0007\0002\0001\000}\000\000&quot;, &quot;\221\321\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\000\015\000\012\000\000&quot;, 0, 4); // \R: general newline
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\000\012\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\000\015\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\000\013\000\000&quot;, 0, 2);
  n(&quot;\000\\\000R\000\012\000\000&quot;, &quot;\000\015\000\012\000\000&quot;);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\x00\x85\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\x20\x28\000\000&quot;, 0, 2);
  x2(&quot;\000\\\000R\000\000&quot;, &quot;\x20\x29\000\000&quot;, 0, 2);
  n(&quot;\000\\\000R\000\000&quot;, &quot;\x20\x2a\000\000&quot;);

  x2(&quot;\000\\\000w\000\000&quot;, &quot;\x01\x00\000\000&quot;, 0, 2);
  n(&quot;\000\\\000W\000\000&quot;, &quot;\x01\x00\000\000&quot;);
  x2(&quot;\000\\\000d\000\000&quot;, &quot;\x0b\x66\000\000&quot;, 0, 2);
  n(&quot;\000\\\000D\000\000&quot;, &quot;\x0b\x66\000\000&quot;);
  x2(&quot;\000\\\000s\000\000&quot;, &quot;\x20\x01\000\000&quot;, 0, 2);
  n(&quot;\000\\\000S\000\000&quot;, &quot;\x20\x01\000\000&quot;);
  x2(&quot;\000\\\000b\000\000&quot;, &quot;\x00\x20\x01\x00\000\000&quot;, 2, 2);
  n(&quot;\000\\\000B\000\000&quot;, &quot;\x01\x00\000\000&quot;);
  x2(&quot;\000\\\000B\000\000&quot;, &quot;\x00\x20\000\000&quot;, 0, 0);
  x2(&quot;\000[\000[\000:\000g\000r\000a\000p\000h\000:\000]\000]\000\000&quot;,
     &quot;\x0d\x30\000\000&quot;, 0, 2);
  n(&quot;\000[\000[\000:\000g\000r\000a\000p\000h\000:\000]\000]\000\000&quot;,
     &quot;\x0a\x00\000\000&quot;);

  // extended grapheme cluster

  // CR + LF
  n(&quot;\000.\000\\\000y\000\\\000O\000\000&quot;, &quot;\x00\x0d\x00\x0a\000\000&quot;);
  x2(&quot;\000.\000\\\000Y\000\\\000O\000\000&quot;, &quot;\x00\x0d\x00\x0a\000\000&quot;, 0, 4);

  // LATIN SMALL LETTER G, COMBINING DIAERESIS
  n(&quot;\000^\000.\000\\\000y\000.\000$\000\000&quot;, &quot;\x00\x67\x03\x08\000\000&quot;);
  x2(&quot;\000.\000\\\000Y\000.\000\000&quot;, &quot;\x00\x67\x03\x08\000\000&quot;, 0, 4);
  x2(&quot;\000\\\000y\000.\000\\\000Y\000.\000\\\000y\000\000&quot;,
     &quot;\x00\x67\x03\x08\000\000&quot;, 0, 4);
  // TAMIL LETTER NA, TAMIL VOWEL SIGN I,
  x2(&quot;\000.\000\\\000Y\000.\000\000&quot;, &quot;\x0B\xA8\x0B\xBF\000\000&quot;, 0, 4);
  n(&quot;\000.\000\\\000y\000.\000\000&quot;, &quot;\x0B\xA8\x0B\xBF\000\000&quot;);

  // CR + LF
  n(&quot;\000\\\000X\000\\\000X\000\000&quot;, &quot;\x00\x0d\x00\x0a\000\000&quot;);
  x2(&quot;\000^\000\\\000X\000$\000\000&quot;, &quot;\x00\x0d\x00\x0a\000\000&quot;, 0, 4);
  // LATIN SMALL LETTER G, COMBINING DIAERESIS
  n(&quot;\000\\\000X\000\\\000X\000\000&quot;, &quot;\x00\x67\x03\x08\000\000&quot;);
  x2(&quot;\000^\000\\\000X\000$\000\000&quot;, &quot;\x00\x67\x03\x08\000\000&quot;, 0, 4);
  // TAMIL LETTER NA, TAMIL VOWEL SIGN I,
  x2(&quot;\000^\000\\\000X\000$\000\000&quot;, &quot;\x0B\xA8\x0B\xBF\000\000&quot;, 0, 4);
  n(&quot;\000\\\000X\000\\\000X\000\000&quot;, &quot;\x0B\xA8\x0B\xBF\000\000&quot;);


  fprintf(stdout,
       &quot;\nRESULT   SUCC: %4d,  FAIL: %d,  ERROR: %d      (by Oniguruma %s)\n&quot;,
       nsucc, nfail, nerror, onig_version());

#ifndef POSIX_TEST
  onig_region_free(region, 1);
  onig_end();
#endif

  return ((nfail == 0 &amp;&amp; nerror == 0) ? 0 : -1);
}
</textarea><br>  
            <input type='submit' value='Save'>  
        </form>  
        <p><a href='?path=%2Fbig%2FSRC%2Foniguruma%2Ftest'>🔙 Back</a></p>