source/texk/web2c/luatexdir/luasocket/src/smtp_lua.c

   1 /*
   2  * This file is auto-generated by "lua2c smtp.lua smtp_lua"
   3  */
   4
   5 #include "lua.h"
   6 #include "lauxlib.h"
   7
   8 int luatex_smtp_lua_open (lua_State *L) {
   9     static unsigned char B[] = {
  10     45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  11  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  12  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  13  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45,
  14  32, 83, 77, 84, 80, 32, 99,108,105,101,110,116, 32,115,117,112,112,111,114,116,
  15  32,102,111,114, 32,116,104,101, 32, 76,117, 97, 32,108, 97,110,103,117, 97,103,
  16 101, 46, 10, 45, 45, 32, 76,117, 97, 83,111, 99,107,101,116, 32,116,111,111,108,
  17 107,105,116, 46, 10, 45, 45, 32, 65,117,116,104,111,114, 58, 32, 68,105,101,103,
  18 111, 32, 78,101,104, 97, 98, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  19  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  20  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  21  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  22  45, 45, 45, 45, 45, 10, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  23  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  24  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  25  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  26  45, 45, 45, 45, 10, 45, 45, 32, 68,101, 99,108, 97,114,101, 32,109,111,100,117,
  27 108,101, 32, 97,110,100, 32,105,109,112,111,114,116, 32,100,101,112,101,110,100,
  28 101,110, 99,105,101,115, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  29  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  30  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  31  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  32  45, 45, 45, 45, 10,108,111, 99, 97,108, 32, 98, 97,115,101, 32, 61, 32, 95, 71,
  33  10,108,111, 99, 97,108, 32, 99,111,114,111,117,116,105,110,101, 32, 61, 32,114,
  34 101,113,117,105,114,101, 40, 34, 99,111,114,111,117,116,105,110,101, 34, 41, 10,
  35 108,111, 99, 97,108, 32,115,116,114,105,110,103, 32, 61, 32,114,101,113,117,105,
  36 114,101, 40, 34,115,116,114,105,110,103, 34, 41, 10,108,111, 99, 97,108, 32,109,
  37  97,116,104, 32, 61, 32,114,101,113,117,105,114,101, 40, 34,109, 97,116,104, 34,
  38  41, 10,108,111, 99, 97,108, 32,111,115, 32, 61, 32,114,101,113,117,105,114,101,
  39  40, 34,111,115, 34, 41, 10,108,111, 99, 97,108, 32,115,111, 99,107,101,116, 32,
  40  61, 32,114,101,113,117,105,114,101, 40, 34,115,111, 99,107,101,116, 34, 41, 10,
  41 108,111, 99, 97,108, 32,116,112, 32, 61, 32,114,101,113,117,105,114,101, 40, 34,
  42 115,111, 99,107,101,116, 46,116,112, 34, 41, 10,108,111, 99, 97,108, 32,108,116,
  43 110, 49, 50, 32, 61, 32,114,101,113,117,105,114,101, 40, 34,108,116,110, 49, 50,
  44  34, 41, 10,108,111, 99, 97,108, 32,104,101, 97,100,101,114,115, 32, 61, 32,114,
  45 101,113,117,105,114,101, 40, 34,115,111, 99,107,101,116, 46,104,101, 97,100,101,
  46 114,115, 34, 41, 10,108,111, 99, 97,108, 32,109,105,109,101, 32, 61, 32,114,101,
  47 113,117,105,114,101, 40, 34,109,105,109,101, 34, 41, 10,109,111,100,117,108,101,
  48  40, 34,115,111, 99,107,101,116, 46,115,109,116,112, 34, 41, 10, 10, 45, 45, 45,
  49  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  50  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  51  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  52  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45, 32, 80,114,
  53 111,103,114, 97,109, 32, 99,111,110,115,116, 97,110,116,115, 10, 45, 45, 45, 45,
  54  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  55  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  56  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  57  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45, 32,116,105,109,
  58 101,111,117,116, 32,102,111,114, 32, 99,111,110,110,101, 99,116,105,111,110, 10,
  59  84, 73, 77, 69, 79, 85, 84, 32, 61, 32, 54, 48, 10, 45, 45, 32,100,101,102, 97,
  60 117,108,116, 32,115,101,114,118,101,114, 32,117,115,101,100, 32,116,111, 32,115,
  61 101,110,100, 32,101, 45,109, 97,105,108,115, 10, 83, 69, 82, 86, 69, 82, 32, 61,
  62  32, 34,108,111, 99, 97,108,104,111,115,116, 34, 10, 45, 45, 32,100,101,102, 97,
  63 117,108,116, 32,112,111,114,116, 10, 80, 79, 82, 84, 32, 61, 32, 50, 53, 10, 45,
  64  45, 32,100,111,109, 97,105,110, 32,117,115,101,100, 32,105,110, 32, 72, 69, 76,
  65  79, 32, 99,111,109,109, 97,110,100, 32, 97,110,100, 32,100,101,102, 97,117,108,
  66 116, 32,115,101,110,100,109, 97,105,108, 10, 45, 45, 32, 73,102, 32,119,101, 32,
  67  97,114,101, 32,117,110,100,101,114, 32, 97, 32, 67, 71, 73, 44, 32,116,114,121,
  68  32,116,111, 32,103,101,116, 32,102,114,111,109, 32,101,110,118,105,114,111,110,
  69 109,101,110,116, 10, 68, 79, 77, 65, 73, 78, 32, 61, 32,111,115, 46,103,101,116,
  70 101,110,118, 40, 34, 83, 69, 82, 86, 69, 82, 95, 78, 65, 77, 69, 34, 41, 32,111,
  71 114, 32, 34,108,111, 99, 97,108,104,111,115,116, 34, 10, 45, 45, 32,100,101,102,
  72  97,117,108,116, 32,116,105,109,101, 32,122,111,110,101, 32, 40,109,101, 97,110,
  73 115, 32,119,101, 32,100,111,110, 39,116, 32,107,110,111,119, 41, 10, 90, 79, 78,
  74  69, 32, 61, 32, 34, 45, 48, 48, 48, 48, 34, 10, 10, 45, 45, 45, 45, 45, 45, 45,
  75  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  76  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  77  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  78  45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45, 32, 76,111,119, 32,108,101,118,101,
  79 108, 32, 83, 77, 84, 80, 32, 65, 80, 73, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  80  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  81  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  82  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
  83  45, 45, 45, 45, 45, 45, 45, 45, 10,108,111, 99, 97,108, 32,109,101,116, 97,116,
  84  32, 61, 32,123, 32, 95, 95,105,110,100,101,120, 32, 61, 32,123,125, 32,125, 10,
  85  10,102,117,110, 99,116,105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,
  86 100,101,120, 58,103,114,101,101,116, 40,100,111,109, 97,105,110, 41, 10, 32, 32,
  87  32, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,
  88 104,101, 99,107, 40, 34, 50, 46, 46, 34, 41, 41, 10, 32, 32, 32, 32,115,101,108,
  89 102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,111,109,109, 97,110,
  90 100, 40, 34, 69, 72, 76, 79, 34, 44, 32,100,111,109, 97,105,110, 32,111,114, 32,
  91  68, 79, 77, 65, 73, 78, 41, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,
  92 115,111, 99,107,101,116, 46,115,107,105,112, 40, 49, 44, 32,115,101,108,102, 46,
  93 116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,107, 40, 34, 50,
  94  46, 46, 34, 41, 41, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,105,111,110,
  95  32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120, 58,109, 97,105,108, 40,
  96 102,114,111,109, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,115,
  97 101,108,102, 46,116,112, 58, 99,111,109,109, 97,110,100, 40, 34, 77, 65, 73, 76,
  98  34, 44, 32, 34, 70, 82, 79, 77, 58, 34, 32, 46, 46, 32,102,114,111,109, 41, 41,
  99  10, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,101,108,102, 46,116,114,121,
 100  40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,107, 40, 34, 50, 46, 46, 34,
 101  41, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,105,111,110, 32,109,101,116,
 102  97,116, 46, 95, 95,105,110,100,101,120, 58,114, 99,112,116, 40,116,111, 41, 10,
 103  32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112,
 104  58, 99,111,109,109, 97,110,100, 40, 34, 82, 67, 80, 84, 34, 44, 32, 34, 84, 79,
 105  58, 34, 32, 46, 46, 32,116,111, 41, 41, 10, 32, 32, 32, 32,114,101,116,117,114,
 106 110, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,
 107 104,101, 99,107, 40, 34, 50, 46, 46, 34, 41, 41, 10,101,110,100, 10, 10,102,117,
 108 110, 99,116,105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120,
 109  58,100, 97,116, 97, 40,115,114, 99, 44, 32,115,116,101,112, 41, 10, 32, 32, 32,
 110  32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,111,
 111 109,109, 97,110,100, 40, 34, 68, 65, 84, 65, 34, 41, 41, 10, 32, 32, 32, 32,115,
 112 101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,
 113 107, 40, 34, 51, 46, 46, 34, 41, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,
 114 114,121, 40,115,101,108,102, 46,116,112, 58,115,111,117,114, 99,101, 40,115,114,
 115  99, 44, 32,115,116,101,112, 41, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,
 116 114,121, 40,115,101,108,102, 46,116,112, 58,115,101,110,100, 40, 34, 92,114, 92,
 117 110, 46, 92,114, 92,110, 34, 41, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110,
 118  32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,
 119 101, 99,107, 40, 34, 50, 46, 46, 34, 41, 41, 10,101,110,100, 10, 10,102,117,110,
 120  99,116,105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120, 58,
 121 113,117,105,116, 40, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,
 122 115,101,108,102, 46,116,112, 58, 99,111,109,109, 97,110,100, 40, 34, 81, 85, 73,
 123  84, 34, 41, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,101,108,102,
 124  46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,107, 40, 34,
 125  50, 46, 46, 34, 41, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,105,111,110,
 126  32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120, 58, 99,108,111,115,101,
 127  40, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,101,108,102, 46,116,
 128 112, 58, 99,108,111,115,101, 40, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,
 129 105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120, 58,108,111,
 130 103,105,110, 40,117,115,101,114, 44, 32,112, 97,115,115,119,111,114,100, 41, 10,
 131  32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112,
 132  58, 99,111,109,109, 97,110,100, 40, 34, 65, 85, 84, 72, 34, 44, 32, 34, 76, 79,
 133  71, 73, 78, 34, 41, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,
 134 115,101,108,102, 46,116,112, 58, 99,104,101, 99,107, 40, 34, 51, 46, 46, 34, 41,
 135  41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,
 136 116,112, 58,115,101,110,100, 40,109,105,109,101, 46, 98, 54, 52, 40,117,115,101,
 137 114, 41, 32, 46, 46, 32, 34, 92,114, 92,110, 34, 41, 41, 10, 32, 32, 32, 32,115,
 138 101,108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,
 139 107, 40, 34, 51, 46, 46, 34, 41, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,116,
 140 114,121, 40,115,101,108,102, 46,116,112, 58,115,101,110,100, 40,109,105,109,101,
 141  46, 98, 54, 52, 40,112, 97,115,115,119,111,114,100, 41, 32, 46, 46, 32, 34, 92,
 142 114, 92,110, 34, 41, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,101,
 143 108,102, 46,116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,104,101, 99,107,
 144  40, 34, 50, 46, 46, 34, 41, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,105,
 145 111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,120, 58,112,108, 97,
 146 105,110, 40,117,115,101,114, 44, 32,112, 97,115,115,119,111,114,100, 41, 10, 32,
 147  32, 32, 32,108,111, 99, 97,108, 32, 97,117,116,104, 32, 61, 32, 34, 80, 76, 65,
 148  73, 78, 32, 34, 32, 46, 46, 32,109,105,109,101, 46, 98, 54, 52, 40, 34, 92, 48,
 149  34, 32, 46, 46, 32,117,115,101,114, 32, 46, 46, 32, 34, 92, 48, 34, 32, 46, 46,
 150  32,112, 97,115,115,119,111,114,100, 41, 10, 32, 32, 32, 32,115,101,108,102, 46,
 151 116,114,121, 40,115,101,108,102, 46,116,112, 58, 99,111,109,109, 97,110,100, 40,
 152  34, 65, 85, 84, 72, 34, 44, 32, 97,117,116,104, 41, 41, 10, 32, 32, 32, 32,114,
 153 101,116,117,114,110, 32,115,101,108,102, 46,116,114,121, 40,115,101,108,102, 46,
 154 116,112, 58, 99,104,101, 99,107, 40, 34, 50, 46, 46, 34, 41, 41, 10,101,110,100,
 155  10, 10,102,117,110, 99,116,105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,
 156 110,100,101,120, 58, 97,117,116,104, 40,117,115,101,114, 44, 32,112, 97,115,115,
 157 119,111,114,100, 44, 32,101,120,116, 41, 10, 32, 32, 32, 32,105,102, 32,110,111,
 158 116, 32,117,115,101,114, 32,111,114, 32,110,111,116, 32,112, 97,115,115,119,111,
 159 114,100, 32,116,104,101,110, 32,114,101,116,117,114,110, 32, 49, 32,101,110,100,
 160  10, 32, 32, 32, 32,105,102, 32,115,116,114,105,110,103, 46,102,105,110,100, 40,
 161 101,120,116, 44, 32, 34, 65, 85, 84, 72, 91, 94, 92,110, 93, 43, 76, 79, 71, 73,
 162  78, 34, 41, 32,116,104,101,110, 10, 32, 32, 32, 32, 32, 32, 32, 32,114,101,116,
 163 117,114,110, 32,115,101,108,102, 58,108,111,103,105,110, 40,117,115,101,114, 44,
 164  32,112, 97,115,115,119,111,114,100, 41, 10, 32, 32, 32, 32,101,108,115,101,105,
 165 102, 32,115,116,114,105,110,103, 46,102,105,110,100, 40,101,120,116, 44, 32, 34,
 166  65, 85, 84, 72, 91, 94, 92,110, 93, 43, 80, 76, 65, 73, 78, 34, 41, 32,116,104,
 167 101,110, 10, 32, 32, 32, 32, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,101,
 168 108,102, 58,112,108, 97,105,110, 40,117,115,101,114, 44, 32,112, 97,115,115,119,
 169 111,114,100, 41, 10, 32, 32, 32, 32,101,108,115,101, 10, 32, 32, 32, 32, 32, 32,
 170  32, 32,115,101,108,102, 46,116,114,121, 40,110,105,108, 44, 32, 34, 97,117,116,
 171 104,101,110,116,105, 99, 97,116,105,111,110, 32,110,111,116, 32,115,117,112,112,
 172 111,114,116,101,100, 34, 41, 10, 32, 32, 32, 32,101,110,100, 10,101,110,100, 10,
 173  10, 45, 45, 32,115,101,110,100, 32,109,101,115,115, 97,103,101, 32,111,114, 32,
 174 116,104,114,111,119, 32, 97,110, 32,101,120, 99,101,112,116,105,111,110, 10,102,
 175 117,110, 99,116,105,111,110, 32,109,101,116, 97,116, 46, 95, 95,105,110,100,101,
 176 120, 58,115,101,110,100, 40,109, 97,105,108,116, 41, 10, 32, 32, 32, 32,115,101,
 177 108,102, 58,109, 97,105,108, 40,109, 97,105,108,116, 46,102,114,111,109, 41, 10,
 178  32, 32, 32, 32,105,102, 32, 98, 97,115,101, 46,116,121,112,101, 40,109, 97,105,
 179 108,116, 46,114, 99,112,116, 41, 32, 61, 61, 32, 34,116, 97, 98,108,101, 34, 32,
 180 116,104,101,110, 10, 32, 32, 32, 32, 32, 32, 32, 32,102,111,114, 32,105, 44,118,
 181  32,105,110, 32, 98, 97,115,101, 46,105,112, 97,105,114,115, 40,109, 97,105,108,
 182 116, 46,114, 99,112,116, 41, 32,100,111, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
 183  32, 32, 32,115,101,108,102, 58,114, 99,112,116, 40,118, 41, 10, 32, 32, 32, 32,
 184  32, 32, 32, 32,101,110,100, 10, 32, 32, 32, 32,101,108,115,101, 10, 32, 32, 32,
 185  32, 32, 32, 32, 32,115,101,108,102, 58,114, 99,112,116, 40,109, 97,105,108,116,
 186  46,114, 99,112,116, 41, 10, 32, 32, 32, 32,101,110,100, 10, 32, 32, 32, 32,115,
 187 101,108,102, 58,100, 97,116, 97, 40,108,116,110, 49, 50, 46,115,111,117,114, 99,
 188 101, 46, 99,104, 97,105,110, 40,109, 97,105,108,116, 46,115,111,117,114, 99,101,
 189  44, 32,109,105,109,101, 46,115,116,117,102,102, 40, 41, 41, 44, 32,109, 97,105,
 190 108,116, 46,115,116,101,112, 41, 10,101,110,100, 10, 10,102,117,110, 99,116,105,
 191 111,110, 32,111,112,101,110, 40,115,101,114,118,101,114, 44, 32,112,111,114,116,
 192  44, 32, 99,114,101, 97,116,101, 41, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,
 193 116,112, 32, 61, 32,115,111, 99,107,101,116, 46,116,114,121, 40,116,112, 46, 99,
 194 111,110,110,101, 99,116, 40,115,101,114,118,101,114, 32,111,114, 32, 83, 69, 82,
 195  86, 69, 82, 44, 32,112,111,114,116, 32,111,114, 32, 80, 79, 82, 84, 44, 10, 32,
 196  32, 32, 32, 32, 32, 32, 32, 84, 73, 77, 69, 79, 85, 84, 44, 32, 99,114,101, 97,
 197 116,101, 41, 41, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,115, 32, 61, 32, 98,
 198  97,115,101, 46,115,101,116,109,101,116, 97,116, 97, 98,108,101, 40,123,116,112,
 199  32, 61, 32,116,112,125, 44, 32,109,101,116, 97,116, 41, 10, 32, 32, 32, 32, 45,
 200  45, 32,109, 97,107,101, 32,115,117,114,101, 32,116,112, 32,105,115, 32, 99,108,
 201 111,115,101,100, 32,105,102, 32,119,101, 32,103,101,116, 32, 97,110, 32,101,120,
 202  99,101,112,116,105,111,110, 10, 32, 32, 32, 32,115, 46,116,114,121, 32, 61, 32,
 203 115,111, 99,107,101,116, 46,110,101,119,116,114,121, 40,102,117,110, 99,116,105,
 204 111,110, 40, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32,115, 58, 99,108,111,115,101,
 205  40, 41, 10, 32, 32, 32, 32,101,110,100, 41, 10, 32, 32, 32, 32,114,101,116,117,
 206 114,110, 32,115, 10,101,110,100, 10, 10, 45, 45, 32, 99,111,110,118,101,114,116,
 207  32,104,101, 97,100,101,114,115, 32,116,111, 32,108,111,119,101,114, 99, 97,115,
 208 101, 10,108,111, 99, 97,108, 32,102,117,110, 99,116,105,111,110, 32,108,111,119,
 209 101,114, 95,104,101, 97,100,101,114,115, 40,104,101, 97,100,101,114,115, 41, 10,
 210  32, 32, 32, 32,108,111, 99, 97,108, 32,108,111,119,101,114, 32, 61, 32,123,125,
 211  10, 32, 32, 32, 32,102,111,114, 32,105, 44,118, 32,105,110, 32, 98, 97,115,101,
 212  46,112, 97,105,114,115, 40,104,101, 97,100,101,114,115, 32,111,114, 32,108,111,
 213 119,101,114, 41, 32,100,111, 10, 32, 32, 32, 32, 32, 32, 32, 32,108,111,119,101,
 214 114, 91,115,116,114,105,110,103, 46,108,111,119,101,114, 40,105, 41, 93, 32, 61,
 215  32,118, 10, 32, 32, 32, 32,101,110,100, 10, 32, 32, 32, 32,114,101,116,117,114,
 216 110, 32,108,111,119,101,114, 10,101,110,100, 10, 10, 45, 45, 45, 45, 45, 45, 45,
 217  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 218  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 219  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 220  45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45, 32, 77,117,108,116,105,112, 97,114,
 221 116, 32,109,101,115,115, 97,103,101, 32,115,111,117,114, 99,101, 10, 45, 45, 45,
 222  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 223  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 224  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 225  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 45, 45, 32,114,101,
 226 116,117,114,110,115, 32, 97, 32,104,111,112,101,102,117,108,108,121, 32,117,110,
 227 105,113,117,101, 32,109,105,109,101, 32, 98,111,117,110,100, 97,114,121, 10,108,
 228 111, 99, 97,108, 32,115,101,113,110,111, 32, 61, 32, 48, 10,108,111, 99, 97,108,
 229  32,102,117,110, 99,116,105,111,110, 32,110,101,119, 98,111,117,110,100, 97,114,
 230 121, 40, 41, 10, 32, 32, 32, 32,115,101,113,110,111, 32, 61, 32,115,101,113,110,
 231 111, 32, 43, 32, 49, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,115,116,114,
 232 105,110,103, 46,102,111,114,109, 97,116, 40, 39, 37,115, 37, 48, 53,100, 61, 61,
 233  37, 48, 53,117, 39, 44, 32,111,115, 46,100, 97,116,101, 40, 39, 37,100, 37,109,
 234  37, 89, 37, 72, 37, 77, 37, 83, 39, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32,
 235 109, 97,116,104, 46,114, 97,110,100,111,109, 40, 48, 44, 32, 57, 57, 57, 57, 57,
 236  41, 44, 32,115,101,113,110,111, 41, 10,101,110,100, 10, 10, 45, 45, 32,115,101,
 237 110,100, 95,109,101,115,115, 97,103,101, 32,102,111,114,119, 97,114,100, 32,100,
 238 101, 99,108, 97,114, 97,116,105,111,110, 10,108,111, 99, 97,108, 32,115,101,110,
 239 100, 95,109,101,115,115, 97,103,101, 10, 10, 45, 45, 32,121,105,101,108,100, 32,
 240 116,104,101, 32,104,101, 97,100,101,114,115, 32, 97,108,108, 32, 97,116, 32,111,
 241 110, 99,101, 44, 32,105,116, 39,115, 32,102, 97,115,116,101,114, 10,108,111, 99,
 242  97,108, 32,102,117,110, 99,116,105,111,110, 32,115,101,110,100, 95,104,101, 97,
 243 100,101,114,115, 40,116,111,115,101,110,100, 41, 10, 32, 32, 32, 32,108,111, 99,
 244  97,108, 32, 99, 97,110,111,110,105, 99, 32, 61, 32,104,101, 97,100,101,114,115,
 245  46, 99, 97,110,111,110,105, 99, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,104,
 246  32, 61, 32, 34, 92,114, 92,110, 34, 10, 32, 32, 32, 32,102,111,114, 32,102, 44,
 247 118, 32,105,110, 32, 98, 97,115,101, 46,112, 97,105,114,115, 40,116,111,115,101,
 248 110,100, 41, 32,100,111, 10, 32, 32, 32, 32, 32, 32, 32, 32,104, 32, 61, 32, 40,
 249  99, 97,110,111,110,105, 99, 91,102, 93, 32,111,114, 32,102, 41, 32, 46, 46, 32,
 250  39, 58, 32, 39, 32, 46, 46, 32,118, 32, 46, 46, 32, 34, 92,114, 92,110, 34, 32,
 251  46, 46, 32,104, 10, 32, 32, 32, 32,101,110,100, 10, 32, 32, 32, 32, 99,111,114,
 252 111,117,116,105,110,101, 46,121,105,101,108,100, 40,104, 41, 10,101,110,100, 10,
 253  10, 45, 45, 32,121,105,101,108,100, 32,109,117,108,116,105,112, 97,114,116, 32,
 254 109,101,115,115, 97,103,101, 32, 98,111,100,121, 32,102,114,111,109, 32, 97, 32,
 255 109,117,108,116,105,112, 97,114,116, 32,109,101,115,115, 97,103,101, 32,116, 97,
 256  98,108,101, 10,108,111, 99, 97,108, 32,102,117,110, 99,116,105,111,110, 32,115,
 257 101,110,100, 95,109,117,108,116,105,112, 97,114,116, 40,109,101,115,103,116, 41,
 258  10, 32, 32, 32, 32, 45, 45, 32,109, 97,107,101, 32,115,117,114,101, 32,119,101,
 259  32,104, 97,118,101, 32,111,117,114, 32, 98,111,117,110,100, 97,114,121, 32, 97,
 260 110,100, 32,115,101,110,100, 32,104,101, 97,100,101,114,115, 10, 32, 32, 32, 32,
 261 108,111, 99, 97,108, 32, 98,100, 32, 61, 32,110,101,119, 98,111,117,110,100, 97,
 262 114,121, 40, 41, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,104,101, 97,100,101,
 263 114,115, 32, 61, 32,108,111,119,101,114, 95,104,101, 97,100,101,114,115, 40,109,
 264 101,115,103,116, 46,104,101, 97,100,101,114,115, 32,111,114, 32,123,125, 41, 10,
 265  32, 32, 32, 32,104,101, 97,100,101,114,115, 91, 39, 99,111,110,116,101,110,116,
 266  45,116,121,112,101, 39, 93, 32, 61, 32,104,101, 97,100,101,114,115, 91, 39, 99,
 267 111,110,116,101,110,116, 45,116,121,112,101, 39, 93, 32,111,114, 32, 39,109,117,
 268 108,116,105,112, 97,114,116, 47,109,105,120,101,100, 39, 10, 32, 32, 32, 32,104,
 269 101, 97,100,101,114,115, 91, 39, 99,111,110,116,101,110,116, 45,116,121,112,101,
 270  39, 93, 32, 61, 32,104,101, 97,100,101,114,115, 91, 39, 99,111,110,116,101,110,
 271 116, 45,116,121,112,101, 39, 93, 32, 46, 46, 10, 32, 32, 32, 32, 32, 32, 32, 32,
 272  39, 59, 32, 98,111,117,110,100, 97,114,121, 61, 34, 39, 32, 46, 46, 32, 32, 98,
 273 100, 32, 46, 46, 32, 39, 34, 39, 10, 32, 32, 32, 32,115,101,110,100, 95,104,101,
 274  97,100,101,114,115, 40,104,101, 97,100,101,114,115, 41, 10, 32, 32, 32, 32, 45,
 275  45, 32,115,101,110,100, 32,112,114,101, 97,109, 98,108,101, 10, 32, 32, 32, 32,
 276 105,102, 32,109,101,115,103,116, 46, 98,111,100,121, 46,112,114,101, 97,109, 98,
 277 108,101, 32,116,104,101,110, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99,111,114,111,
 278 117,116,105,110,101, 46,121,105,101,108,100, 40,109,101,115,103,116, 46, 98,111,
 279 100,121, 46,112,114,101, 97,109, 98,108,101, 41, 10, 32, 32, 32, 32, 32, 32, 32,
 280  32, 99,111,114,111,117,116,105,110,101, 46,121,105,101,108,100, 40, 34, 92,114,
 281  92,110, 34, 41, 10, 32, 32, 32, 32,101,110,100, 10, 32, 32, 32, 32, 45, 45, 32,
 282 115,101,110,100, 32,101, 97, 99,104, 32,112, 97,114,116, 32,115,101,112, 97,114,
 283  97,116,101,100, 32, 98,121, 32, 97, 32, 98,111,117,110,100, 97,114,121, 10, 32,
 284  32, 32, 32,102,111,114, 32,105, 44, 32,109, 32,105,110, 32, 98, 97,115,101, 46,
 285 105,112, 97,105,114,115, 40,109,101,115,103,116, 46, 98,111,100,121, 41, 32,100,
 286 111, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99,111,114,111,117,116,105,110,101, 46,
 287 121,105,101,108,100, 40, 34, 92,114, 92,110, 45, 45, 34, 32, 46, 46, 32, 98,100,
 288  32, 46, 46, 32, 34, 92,114, 92,110, 34, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32,
 289 115,101,110,100, 95,109,101,115,115, 97,103,101, 40,109, 41, 10, 32, 32, 32, 32,
 290 101,110,100, 10, 32, 32, 32, 32, 45, 45, 32,115,101,110,100, 32,108, 97,115,116,
 291  32, 98,111,117,110,100, 97,114,121, 10, 32, 32, 32, 32, 99,111,114,111,117,116,
 292 105,110,101, 46,121,105,101,108,100, 40, 34, 92,114, 92,110, 45, 45, 34, 32, 46,
 293  46, 32, 98,100, 32, 46, 46, 32, 34, 45, 45, 92,114, 92,110, 92,114, 92,110, 34,
 294  41, 10, 32, 32, 32, 32, 45, 45, 32,115,101,110,100, 32,101,112,105,108,111,103,
 295 117,101, 10, 32, 32, 32, 32,105,102, 32,109,101,115,103,116, 46, 98,111,100,121,
 296  46,101,112,105,108,111,103,117,101, 32,116,104,101,110, 10, 32, 32, 32, 32, 32,
 297  32, 32, 32, 99,111,114,111,117,116,105,110,101, 46,121,105,101,108,100, 40,109,
 298 101,115,103,116, 46, 98,111,100,121, 46,101,112,105,108,111,103,117,101, 41, 10,
 299  32, 32, 32, 32, 32, 32, 32, 32, 99,111,114,111,117,116,105,110,101, 46,121,105,
 300 101,108,100, 40, 34, 92,114, 92,110, 34, 41, 10, 32, 32, 32, 32,101,110,100, 10,
 301 101,110,100, 10, 10, 45, 45, 32,121,105,101,108,100, 32,109,101,115,115, 97,103,
 302 101, 32, 98,111,100,121, 32,102,114,111,109, 32, 97, 32,115,111,117,114, 99,101,
 303  10,108,111, 99, 97,108, 32,102,117,110, 99,116,105,111,110, 32,115,101,110,100,
 304  95,115,111,117,114, 99,101, 40,109,101,115,103,116, 41, 10, 32, 32, 32, 32, 45,
 305  45, 32,109, 97,107,101, 32,115,117,114,101, 32,119,101, 32,104, 97,118,101, 32,
 306  97, 32, 99,111,110,116,101,110,116, 45,116,121,112,101, 10, 32, 32, 32, 32,108,
 307 111, 99, 97,108, 32,104,101, 97,100,101,114,115, 32, 61, 32,108,111,119,101,114,
 308  95,104,101, 97,100,101,114,115, 40,109,101,115,103,116, 46,104,101, 97,100,101,
 309 114,115, 32,111,114, 32,123,125, 41, 10, 32, 32, 32, 32,104,101, 97,100,101,114,
 310 115, 91, 39, 99,111,110,116,101,110,116, 45,116,121,112,101, 39, 93, 32, 61, 32,
 311 104,101, 97,100,101,114,115, 91, 39, 99,111,110,116,101,110,116, 45,116,121,112,
 312 101, 39, 93, 32,111,114, 10, 32, 32, 32, 32, 32, 32, 32, 32, 39,116,101,120,116,
 313  47,112,108, 97,105,110, 59, 32, 99,104, 97,114,115,101,116, 61, 34,105,115,111,
 314  45, 56, 56, 53, 57, 45, 49, 34, 39, 10, 32, 32, 32, 32,115,101,110,100, 95,104,
 315 101, 97,100,101,114,115, 40,104,101, 97,100,101,114,115, 41, 10, 32, 32, 32, 32,
 316  45, 45, 32,115,101,110,100, 32, 98,111,100,121, 32,102,114,111,109, 32,115,111,
 317 117,114, 99,101, 10, 32, 32, 32, 32,119,104,105,108,101, 32,116,114,117,101, 32,
 318 100,111, 10, 32, 32, 32, 32, 32, 32, 32, 32,108,111, 99, 97,108, 32, 99,104,117,
 319 110,107, 44, 32,101,114,114, 32, 61, 32,109,101,115,103,116, 46, 98,111,100,121,
 320  40, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32,105,102, 32,101,114,114, 32,116,104,
 321 101,110, 32, 99,111,114,111,117,116,105,110,101, 46,121,105,101,108,100, 40,110,
 322 105,108, 44, 32,101,114,114, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32,101,108,115,
 323 101,105,102, 32, 99,104,117,110,107, 32,116,104,101,110, 32, 99,111,114,111,117,
 324 116,105,110,101, 46,121,105,101,108,100, 40, 99,104,117,110,107, 41, 10, 32, 32,
 325  32, 32, 32, 32, 32, 32,101,108,115,101, 32, 98,114,101, 97,107, 32,101,110,100,
 326  10, 32, 32, 32, 32,101,110,100, 10,101,110,100, 10, 10, 45, 45, 32,121,105,101,
 327 108,100, 32,109,101,115,115, 97,103,101, 32, 98,111,100,121, 32,102,114,111,109,
 328  32, 97, 32,115,116,114,105,110,103, 10,108,111, 99, 97,108, 32,102,117,110, 99,
 329 116,105,111,110, 32,115,101,110,100, 95,115,116,114,105,110,103, 40,109,101,115,
 330 103,116, 41, 10, 32, 32, 32, 32, 45, 45, 32,109, 97,107,101, 32,115,117,114,101,
 331  32,119,101, 32,104, 97,118,101, 32, 97, 32, 99,111,110,116,101,110,116, 45,116,
 332 121,112,101, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,104,101, 97,100,101,114,
 333 115, 32, 61, 32,108,111,119,101,114, 95,104,101, 97,100,101,114,115, 40,109,101,
 334 115,103,116, 46,104,101, 97,100,101,114,115, 32,111,114, 32,123,125, 41, 10, 32,
 335  32, 32, 32,104,101, 97,100,101,114,115, 91, 39, 99,111,110,116,101,110,116, 45,
 336 116,121,112,101, 39, 93, 32, 61, 32,104,101, 97,100,101,114,115, 91, 39, 99,111,
 337 110,116,101,110,116, 45,116,121,112,101, 39, 93, 32,111,114, 10, 32, 32, 32, 32,
 338  32, 32, 32, 32, 39,116,101,120,116, 47,112,108, 97,105,110, 59, 32, 99,104, 97,
 339 114,115,101,116, 61, 34,105,115,111, 45, 56, 56, 53, 57, 45, 49, 34, 39, 10, 32,
 340  32, 32, 32,115,101,110,100, 95,104,101, 97,100,101,114,115, 40,104,101, 97,100,
 341 101,114,115, 41, 10, 32, 32, 32, 32, 45, 45, 32,115,101,110,100, 32, 98,111,100,
 342 121, 32,102,114,111,109, 32,115,116,114,105,110,103, 10, 32, 32, 32, 32, 99,111,
 343 114,111,117,116,105,110,101, 46,121,105,101,108,100, 40,109,101,115,103,116, 46,
 344  98,111,100,121, 41, 10,101,110,100, 10, 10, 45, 45, 32,109,101,115,115, 97,103,
 345 101, 32,115,111,117,114, 99,101, 10,102,117,110, 99,116,105,111,110, 32,115,101,
 346 110,100, 95,109,101,115,115, 97,103,101, 40,109,101,115,103,116, 41, 10, 32, 32,
 347  32, 32,105,102, 32, 98, 97,115,101, 46,116,121,112,101, 40,109,101,115,103,116,
 348  46, 98,111,100,121, 41, 32, 61, 61, 32, 34,116, 97, 98,108,101, 34, 32,116,104,
 349 101,110, 32,115,101,110,100, 95,109,117,108,116,105,112, 97,114,116, 40,109,101,
 350 115,103,116, 41, 10, 32, 32, 32, 32,101,108,115,101,105,102, 32, 98, 97,115,101,
 351  46,116,121,112,101, 40,109,101,115,103,116, 46, 98,111,100,121, 41, 32, 61, 61,
 352  32, 34,102,117,110, 99,116,105,111,110, 34, 32,116,104,101,110, 32,115,101,110,
 353 100, 95,115,111,117,114, 99,101, 40,109,101,115,103,116, 41, 10, 32, 32, 32, 32,
 354 101,108,115,101, 32,115,101,110,100, 95,115,116,114,105,110,103, 40,109,101,115,
 355 103,116, 41, 32,101,110,100, 10,101,110,100, 10, 10, 45, 45, 32,115,101,116, 32,
 356 100,101,102, 97,117,108, 32,104,101, 97,100,101,114,115, 10,108,111, 99, 97,108,
 357  32,102,117,110, 99,116,105,111,110, 32, 97,100,106,117,115,116, 95,104,101, 97,
 358 100,101,114,115, 40,109,101,115,103,116, 41, 10, 32, 32, 32, 32,108,111, 99, 97,
 359 108, 32,108,111,119,101,114, 32, 61, 32,108,111,119,101,114, 95,104,101, 97,100,
 360 101,114,115, 40,109,101,115,103,116, 46,104,101, 97,100,101,114,115, 41, 10, 32,
 361  32, 32, 32,108,111,119,101,114, 91, 34,100, 97,116,101, 34, 93, 32, 61, 32,108,
 362 111,119,101,114, 91, 34,100, 97,116,101, 34, 93, 32,111,114, 10, 32, 32, 32, 32,
 363  32, 32, 32, 32,111,115, 46,100, 97,116,101, 40, 34, 33, 37, 97, 44, 32, 37,100,
 364  32, 37, 98, 32, 37, 89, 32, 37, 72, 58, 37, 77, 58, 37, 83, 32, 34, 41, 32, 46,
 365  46, 32, 40,109,101,115,103,116, 46,122,111,110,101, 32,111,114, 32, 90, 79, 78,
 366  69, 41, 10, 32, 32, 32, 32,108,111,119,101,114, 91, 34,120, 45,109, 97,105,108,
 367 101,114, 34, 93, 32, 61, 32,108,111,119,101,114, 91, 34,120, 45,109, 97,105,108,
 368 101,114, 34, 93, 32,111,114, 32,115,111, 99,107,101,116, 46, 95, 86, 69, 82, 83,
 369  73, 79, 78, 10, 32, 32, 32, 32, 45, 45, 32,116,104,105,115, 32, 99, 97,110, 39,
 370 116, 32, 98,101, 32,111,118,101,114,114,105,100,101,110, 10, 32, 32, 32, 32,108,
 371 111,119,101,114, 91, 34,109,105,109,101, 45,118,101,114,115,105,111,110, 34, 93,
 372  32, 61, 32, 34, 49, 46, 48, 34, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,
 373 108,111,119,101,114, 10,101,110,100, 10, 10,102,117,110, 99,116,105,111,110, 32,
 374 109,101,115,115, 97,103,101, 40,109,101,115,103,116, 41, 10, 32, 32, 32, 32,109,
 375 101,115,103,116, 46,104,101, 97,100,101,114,115, 32, 61, 32, 97,100,106,117,115,
 376 116, 95,104,101, 97,100,101,114,115, 40,109,101,115,103,116, 41, 10, 32, 32, 32,
 377  32, 45, 45, 32, 99,114,101, 97,116,101, 32, 97,110,100, 32,114,101,116,117,114,
 378 110, 32,109,101,115,115, 97,103,101, 32,115,111,117,114, 99,101, 10, 32, 32, 32,
 379  32,108,111, 99, 97,108, 32, 99,111, 32, 61, 32, 99,111,114,111,117,116,105,110,
 380 101, 46, 99,114,101, 97,116,101, 40,102,117,110, 99,116,105,111,110, 40, 41, 32,
 381 115,101,110,100, 95,109,101,115,115, 97,103,101, 40,109,101,115,103,116, 41, 32,
 382 101,110,100, 41, 10, 32, 32, 32, 32,114,101,116,117,114,110, 32,102,117,110, 99,
 383 116,105,111,110, 40, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32,108,111, 99, 97,108,
 384  32,114,101,116, 44, 32, 97, 44, 32, 98, 32, 61, 32, 99,111,114,111,117,116,105,
 385 110,101, 46,114,101,115,117,109,101, 40, 99,111, 41, 10, 32, 32, 32, 32, 32, 32,
 386  32, 32,105,102, 32,114,101,116, 32,116,104,101,110, 32,114,101,116,117,114,110,
 387  32, 97, 44, 32, 98, 10, 32, 32, 32, 32, 32, 32, 32, 32,101,108,115,101, 32,114,
 388 101,116,117,114,110, 32,110,105,108, 44, 32, 97, 32,101,110,100, 10, 32, 32, 32,
 389  32,101,110,100, 10,101,110,100, 10, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 390  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 391  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 392  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 393  45, 45, 45, 45, 45, 10, 45, 45, 32, 72,105,103,104, 32,108,101,118,101,108, 32,
 394  83, 77, 84, 80, 32, 65, 80, 73, 10, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 395  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 396  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 397  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
 398  45, 45, 45, 45, 45, 45, 10,115,101,110,100, 32, 61, 32,115,111, 99,107,101,116,
 399  46,112,114,111,116,101, 99,116, 40,102,117,110, 99,116,105,111,110, 40,109, 97,
 400 105,108,116, 41, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,115, 32, 61, 32,111,
 401 112,101,110, 40,109, 97,105,108,116, 46,115,101,114,118,101,114, 44, 32,109, 97,
 402 105,108,116, 46,112,111,114,116, 44, 32,109, 97,105,108,116, 46, 99,114,101, 97,
 403 116,101, 41, 10, 32, 32, 32, 32,108,111, 99, 97,108, 32,101,120,116, 32, 61, 32,
 404 115, 58,103,114,101,101,116, 40,109, 97,105,108,116, 46,100,111,109, 97,105,110,
 405  41, 10, 32, 32, 32, 32,115, 58, 97,117,116,104, 40,109, 97,105,108,116, 46,117,
 406 115,101,114, 44, 32,109, 97,105,108,116, 46,112, 97,115,115,119,111,114,100, 44,
 407  32,101,120,116, 41, 10, 32, 32, 32, 32,115, 58,115,101,110,100, 40,109, 97,105,
 408 108,116, 41, 10, 32, 32, 32, 32,115, 58,113,117,105,116, 40, 41, 10, 32, 32, 32,
 409  32,114,101,116,117,114,110, 32,115, 58, 99,108,111,115,101, 40, 41, 10,101,110,
 410 100, 41, 10,
 411  0 };
 412   return luaL_dostring(L, (const char*)B);
 413 } /* end of embedded lua code */
 414