"Fossies" - the Fresh Open Source Software Archive

Member "SAOImageDS9/libxml2/os400/iconv/ianatables.c" (13 Nov 2019, 352244 Bytes) of package /linux/misc/ds9.8.1.tar.gz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) C and C++ source code syntax highlighting (style: standard) with prefixed line numbers and code folding option. Alternatively you can here view or download the uninterpreted source code file.

    1 /**
    2 ***     Character set names table.
    3 ***     Generated by program BLDCSNDFA from IANA character set assignment file
    4 ***          and CCSID/MIBenum equivalence file.
    5 ***     *** Do not edit by hand ***
    6 **/
    7 
    8 /**
    9 ***     CCSID   For arg   Recognized name.
   10 ***     62245      X      IBMCCSID62245 ibm-62245
   11 ***     62235      X      IBMCCSID62235 ibm-62235
   12 ***     62224      X      IBMCCSID62224 ibm-62224
   13 ***     62211      X      IBMCCSID62211 ibm-62211
   14 ***     61952      X      IBMCCSID61952 ibm-61952
   15 ***     57345             IBMCCSID57345 ibm-57345
   16 ***     33722      X      csEUCPkdFmtJapanese
   17 ***                       Extended_UNIX_Code_Packed_Format_for_Japanese EUC-JP
   18 ***                       iana-18 IBMCCSID33722 ibm-33722
   19 ***     28709      X      IBMCCSID28709 ibm-28709
   20 ***     25546             IBMCCSID25546 ibm-25546
   21 ***     17354      X      IBMCCSID17354 ibm-17354
   22 ***     13488      X      csUnicode ISO-10646-UCS-2 UCS2 UCS-2 iana-1000
   23 ***                       IBMCCSID13488 ibm-13488
   24 ***     13124      X      IBMCCSID13124 ibm-13124
   25 ***     13121      X      IBMCCSID13121 ibm-13121
   26 ***     12708      X      IBMCCSID12708 ibm-12708
   27 ***      9449             cswindows1257 windows-1257 iana-2257 IBMCCSID09449
   28 ***                       ibm-9449
   29 ***      9448             cswindows1256 windows-1256 iana-2256 IBMCCSID09448
   30 ***                       ibm-9448
   31 ***      9447             cswindows1255 windows-1255 iana-2255 IBMCCSID09447
   32 ***                       ibm-9447
   33 ***      9066      X      IBMCCSID09066 ibm-9066
   34 ***      9056      X      IBMCCSID09056 ibm-9056
   35 ***      9030      X      IBMCCSID09030 ibm-9030
   36 ***      8612      X      IBMCCSID08612 ibm-8612
   37 ***      5478             csISO58GB231280 iso-ir-58 GB_2312-80 chinese iana-57
   38 ***                       IBMCCSID05478 ibm-5478
   39 ***      5123      X      IBMCCSID05123 ibm-5123
   40 ***      5350      X      cswindows1254 windows-1254 iana-2254 IBMCCSID05350
   41 ***                       ibm-5350
   42 ***      5349      X      cswindows1253 windows-1253 iana-2253 IBMCCSID05349
   43 ***                       ibm-5349
   44 ***      5348      X      cswindows1252 windows-1252 iana-2252 IBMCCSID05348
   45 ***                       ibm-5348
   46 ***      5347      X      cswindows1251 windows-1251 iana-2251 IBMCCSID05347
   47 ***                       ibm-5347
   48 ***      5346      X      cswindows1250 windows-1250 iana-2250 IBMCCSID05346
   49 ***                       ibm-5346
   50 ***      5354             cswindows1258 windows-1258 iana-2258 IBMCCSID05354
   51 ***                       ibm-5354
   52 ***      5055      X      IBMCCSID05055 ibm-5055
   53 ***      5054      X      IBMCCSID05054 ibm-5054
   54 ***      5053      X      IBMCCSID05053 ibm-5053
   55 ***      5052      X      IBMCCSID05052 ibm-5052
   56 ***      5050      X      IBMCCSID05050 ibm-5050
   57 ***      5035      X      IBMCCSID05035 ibm-5035
   58 ***      5026      X      IBMCCSID05026 ibm-5026
   59 ***      4971      X      IBMCCSID04971 ibm-4971
   60 ***      4965             IBMCCSID04965 ibm-4965
   61 ***      4960      X      IBMCCSID04960 ibm-4960
   62 ***      4953             IBMCCSID04953 ibm-4953
   63 ***      4952      X      IBMCCSID04952 ibm-4952
   64 ***      4951      X      IBMCCSID04951 ibm-4951
   65 ***      4948      X      IBMCCSID04948 ibm-4948
   66 ***      4396      X      IBMCCSID04396 ibm-4396
   67 ***      1399      X      IBMCCSID01399 ibm-1399
   68 ***      1392      X      IBMCCSID01392 ibm-1392
   69 ***      1388      X      IBMCCSID01388 ibm-1388
   70 ***      1386      X      csGBK windows-936 MS936 CP936 GBK iana-113
   71 ***                       IBMCCSID01386 ibm-1386
   72 ***      1383      X      csGB2312 GB2312 EUC-CN iana-2025 IBMCCSID01383
   73 ***                       ibm-1383
   74 ***      1381      X      IBMCCSID01381 ibm-1381
   75 ***      1380      X      IBMCCSID01380 ibm-1380
   76 ***      1375             csBig5HKSCS Big5-HKSCS iana-2101 IBMCCSID01375
   77 ***                       ibm-1375
   78 ***      1373             IBMCCSID01373 ibm-1373
   79 ***      1364      X      IBMCCSID01364 ibm-1364
   80 ***      1363      X      csKSC56011987 KSC_5601 KS_C_5601-1989 iso-ir-149
   81 ***                       KS_C_5601-1987 korean iana-36 IBMCCSID01363 ibm-1363
   82 ***      1283      X      IBMCCSID01283 ibm-1283
   83 ***      1282      X      IBMCCSID01282 ibm-1282
   84 ***      1281      X      IBMCCSID01281 ibm-1281
   85 ***      1280      X      IBMCCSID01280 ibm-1280
   86 ***      1276             csAdobeStandardEncoding Adobe-Standard-Encoding
   87 ***                       iana-2005 IBMCCSID01276 ibm-1276
   88 ***      1275      X      IBMCCSID01275 ibm-1275
   89 ***      1258      X      IBMCCSID01258 ibm-1258
   90 ***      1257      X      IBMCCSID01257 ibm-1257
   91 ***      1256      X      IBMCCSID01256 ibm-1256
   92 ***      1255      X      IBMCCSID01255 ibm-1255
   93 ***      1254      X      IBMCCSID01254 ibm-1254
   94 ***      1253      X      IBMCCSID01253 ibm-1253
   95 ***      1252      X      csWindows31Latin1 ISO-8859-1-Windows-3.1-Latin-1
   96 ***                       iana-2001 IBMCCSID01252 ibm-1252
   97 ***      1251      X      IBMCCSID01251 ibm-1251
   98 ***      1250      X      csWindows31Latin2 ISO-8859-2-Windows-Latin-2 iana-2002
   99 ***                       IBMCCSID01250 ibm-1250
  100 ***      1235             csUTF32LE UTF-32LE UTF-32-LE UTF32LE UTF32-LE
  101 ***                       iana-1019 IBMCCSID01235 ibm-1235
  102 ***      1233             csUTF32BE UTF-32BE UTF-32-BE UTF32BE UTF32-BE
  103 ***                       iana-1018 IBMCCSID01233 ibm-1233
  104 ***      1208      X      csUTF8 UTF-8 UTF8 iana-106 IBMCCSID01208 ibm-1208
  105 ***      1203             csUTF16LE UTF-16LE UTF-16-LE UTF16LE UTF16-LE
  106 ***                       iana-1014 IBMCCSID01203 ibm-1203
  107 ***      1201             csUTF16BE UTF-16BE UTF-16-BE UTF16BE UTF16-BE
  108 ***                       iana-1013 IBMCCSID01201 ibm-1201
  109 ***      1164      X      IBMCCSID01164 ibm-1164
  110 ***      1160      X      IBMCCSID01160 ibm-1160
  111 ***      1158      X      IBMCCSID01158 ibm-1158
  112 ***      1157      X      IBMCCSID01157 ibm-1157
  113 ***      1156      X      IBMCCSID01156 ibm-1156
  114 ***      1155      X      IBMCCSID01155 ibm-1155
  115 ***      1154      X      IBMCCSID01154 ibm-1154
  116 ***      1153      X      IBMCCSID01153 ibm-1153
  117 ***      1149      X      csIBM01149 ebcdic-is-871+euro CP01149 CCSID01149
  118 ***                       IBM01149 iana-2100 IBMCCSID01149 ibm-1149
  119 ***      1148      X      csIBM01148 ebcdic-international-500+euro CP01148
  120 ***                       CCSID01148 IBM01148 iana-2099 IBMCCSID01148 ibm-1148
  121 ***      1147      X      csIBM01147 ebcdic-fr-297+euro CP01147 CCSID01147
  122 ***                       IBM01147 iana-2098 IBMCCSID01147 ibm-1147
  123 ***      1146      X      csIBM01146 ebcdic-gb-285+euro CP01146 CCSID01146
  124 ***                       IBM01146 iana-2097 IBMCCSID01146 ibm-1146
  125 ***      1145      X      csIBM01145 ebcdic-es-284+euro CP01145 CCSID01145
  126 ***                       IBM01145 iana-2096 IBMCCSID01145 ibm-1145
  127 ***      1144      X      csIBM01144 ebcdic-it-280+euro CP01144 CCSID01144
  128 ***                       IBM01144 iana-2095 IBMCCSID01144 ibm-1144
  129 ***      1143      X      csIBM01143 ebcdic-se-278+euro ebcdic-fi-278+euro
  130 ***                       CP01143 CCSID01143 IBM01143 iana-2094 IBMCCSID01143
  131 ***                       ibm-1143
  132 ***      1142      X      csIBM01142 ebcdic-no-277+euro ebcdic-dk-277+euro
  133 ***                       CP01142 CCSID01142 IBM01142 iana-2093 IBMCCSID01142
  134 ***                       ibm-1142
  135 ***      1141      X      csIBM01141 ebcdic-de-273+euro CP01141 CCSID01141
  136 ***                       IBM01141 iana-2092 IBMCCSID01141 ibm-1141
  137 ***      1140      X      csIBM01140 ebcdic-us-37+euro CP01140 CCSID01140
  138 ***                       IBM01140 iana-2091 IBMCCSID01140 ibm-1140
  139 ***      1137      X      IBMCCSID01137 ibm-1137
  140 ***      1133             IBMCCSID01133 ibm-1133
  141 ***      1132      X      IBMCCSID01132 ibm-1132
  142 ***      1130      X      IBMCCSID01130 ibm-1130
  143 ***      1129      X      IBMCCSID01129 ibm-1129
  144 ***      1123      X      IBMCCSID01123 ibm-1123
  145 ***      1122      X      IBMCCSID01122 ibm-1122
  146 ***      1115             IBMCCSID01115 ibm-1115
  147 ***      1114             IBMCCSID01114 ibm-1114
  148 ***      1112      X      IBMCCSID01112 ibm-1112
  149 ***      1098      X      IBMCCSID01098 ibm-1098
  150 ***      1097      X      IBMCCSID01097 ibm-1097
  151 ***      1089      X      csISOLatinArabic arabic ASMO-708 ECMA-114 ISO_8859-6
  152 ***                       iso-ir-127 ISO_8859-6:1987 ISO-8859-6 iana-9
  153 ***                       IBMCCSID01089 ibm-1089
  154 ***      1088             IBMCCSID01088 ibm-1088
  155 ***      1051      X      csHPRoman8 r8 roman8 hp-roman8 iana-2004 IBMCCSID01051
  156 ***                       ibm-1051
  157 ***      1047      X      csIBM1047 IBM-1047 IBM1047 iana-2102 IBMCCSID01047
  158 ***                       ibm-1047
  159 ***      1046      X      IBMCCSID01046 ibm-1046
  160 ***      1043             IBMCCSID01043 ibm-1043
  161 ***      1042             IBMCCSID01042 ibm-1042
  162 ***      1041             IBMCCSID01041 ibm-1041
  163 ***      1040             IBMCCSID01040 ibm-1040
  164 ***      1027      X      IBMCCSID01027 ibm-1027
  165 ***      1026      X      csIBM1026 CP1026 IBM1026 iana-2063 IBMCCSID01026
  166 ***                       ibm-1026
  167 ***      1025      X      IBMCCSID01025 ibm-1025
  168 ***      1019      X      IBMCCSID01019 ibm-1019
  169 ***      1018      X      IBMCCSID01018 ibm-1018
  170 ***      1017      X      IBMCCSID01017 ibm-1017
  171 ***      1016      X      IBMCCSID01016 ibm-1016
  172 ***      1015      X      IBMCCSID01015 ibm-1015
  173 ***      1014      X      IBMCCSID01014 ibm-1014
  174 ***      1013      X      IBMCCSID01013 ibm-1013
  175 ***      1012      X      IBMCCSID01012 ibm-1012
  176 ***      1011      X      IBMCCSID01011 ibm-1011
  177 ***      1010      X      IBMCCSID01010 ibm-1010
  178 ***      1009      X      IBMCCSID01009 ibm-1009
  179 ***      1008             IBMCCSID01008 ibm-1008
  180 ***       970      X      csEUCKR EUC-KR iana-38 IBMCCSID00970 ibm-970
  181 ***       965      X      IBMCCSID00965 ibm-965
  182 ***       964      X      IBMCCSID00964 ibm-964
  183 ***       959      X      IBMCCSID00959 ibm-959
  184 ***       958      X      IBMCCSID00958 ibm-958
  185 ***       957      X      IBMCCSID00957 ibm-957
  186 ***       956      X      IBMCCSID00956 ibm-956
  187 ***       951      X      IBMCCSID00951 ibm-951
  188 ***       950      X      IBMCCSID00950 ibm-950
  189 ***       949      X      IBMCCSID00949 ibm-949
  190 ***       947      X      IBMCCSID00947 ibm-947
  191 ***       946      X      IBMCCSID00946 ibm-946
  192 ***       944      X      IBMCCSID00944 ibm-944
  193 ***       943      X      csShiftJIS MS_Kanji Shift_JIS iana-17 IBMCCSID00943
  194 ***                       ibm-943
  195 ***       942      X      IBMCCSID00942 ibm-942
  196 ***       939      X      IBMCCSID00939 ibm-939
  197 ***       938      X      IBMCCSID00938 ibm-938
  198 ***       937      X      IBMCCSID00937 ibm-937
  199 ***       936             IBMCCSID00936 ibm-936
  200 ***       935      X      IBMCCSID00935 ibm-935
  201 ***       934      X      IBMCCSID00934 ibm-934
  202 ***       933      X      IBMCCSID00933 ibm-933
  203 ***       932      X      IBMCCSID00932 ibm-932
  204 ***       930      X      IBMCCSID00930 ibm-930
  205 ***       928      X      IBMCCSID00928 ibm-928
  206 ***       927      X      IBMCCSID00927 ibm-927
  207 ***       926      X      IBMCCSID00926 ibm-926
  208 ***       924      X      csIBM00924 ebcdic-Latin9--euro CP00924 CCSID00924
  209 ***                       IBM00924 iana-2090 IBMCCSID00924 ibm-924
  210 ***       923      X      csISO885915 Latin-9 ISO_8859-15 ISO-8859-15 iana-111
  211 ***                       IBMCCSID00923 ibm-923
  212 ***       922      X      IBMCCSID00922 ibm-922
  213 ***       921      X      csISO885913 ISO-8859-13 iana-109 IBMCCSID00921 ibm-921
  214 ***       920      X      csISOLatin5 l5 latin5 ISO_8859-9 iso-ir-148
  215 ***                       ISO_8859-9:1989 ISO-8859-9 iana-12 IBMCCSID00920
  216 ***                       ibm-920
  217 ***       918      X      csIBM918 ebcdic-cp-ar2 CP918 IBM918 iana-2062
  218 ***                       IBMCCSID00918 ibm-918
  219 ***       916      X      csISOLatinHebrew hebrew ISO_8859-8 iso-ir-138
  220 ***                       ISO_8859-8:1988 ISO-8859-8 iana-11 IBMCCSID00916
  221 ***                       ibm-916
  222 ***       915      X      csISOLatinCyrillic cyrillic ISO_8859-5 iso-ir-144
  223 ***                       ISO_8859-5:1988 ISO-8859-5 iana-8 IBMCCSID00915
  224 ***                       ibm-915
  225 ***       914      X      csISOLatin4 l4 latin4 ISO_8859-4 iso-ir-110
  226 ***                       ISO_8859-4:1988 ISO-8859-4 iana-7 IBMCCSID00914
  227 ***                       ibm-914
  228 ***       913             csISOLatin3 l3 latin3 ISO_8859-3 iso-ir-109
  229 ***                       ISO_8859-3:1988 ISO-8859-3 iana-6 IBMCCSID00913
  230 ***                       ibm-913
  231 ***       912      X      csISOLatin2 l2 latin2 ISO_8859-2 iso-ir-101
  232 ***                       ISO_8859-2:1987 ISO-8859-2 iana-5 IBMCCSID00912
  233 ***                       ibm-912
  234 ***       905      X      csIBM905 ebcdic-cp-tr CP905 IBM905 iana-2061
  235 ***                       IBMCCSID00905 ibm-905
  236 ***       904             csIBBM904 904 cp904 IBM904 iana-2060 IBMCCSID00904
  237 ***                       ibm-904
  238 ***       903             csIBM903 cp903 IBM903 iana-2059 IBMCCSID00903 ibm-903
  239 ***       897      X      csHalfWidthKatakana X0201 JIS_X0201 iana-15
  240 ***                       IBMCCSID00897 ibm-897
  241 ***       896             IBMCCSID00896 ibm-896
  242 ***       891      X      csIBM891 cp891 IBM891 iana-2058 IBMCCSID00891 ibm-891
  243 ***       880      X      csIBM880 EBCDIC-Cyrillic cp880 IBM880 iana-2057
  244 ***                       IBMCCSID00880 ibm-880
  245 ***       878      X      csKOI8R KOI8-R iana-2084 IBMCCSID00878 ibm-878
  246 ***       875      X      IBMCCSID00875 ibm-875
  247 ***       874      X      csTIS620 TIS-620 csEUCTH eucTH EUC-TH> iana-2259
  248 ***                       IBMCCSID00874 ibm-874
  249 ***       871      X      csIBM871 ebcdic-cp-is CP871 IBM871 iana-2056
  250 ***                       IBMCCSID00871 ibm-871
  251 ***       870      X      csIBM870 ebcdic-cp-yu ebcdic-cp-roece CP870 IBM870
  252 ***                       iana-2055 IBMCCSID00870 ibm-870
  253 ***       869      X      csIBM869 cp-gr 869 cp869 IBM869 iana-2054
  254 ***                       IBMCCSID00869 ibm-869
  255 ***       868      X      csIBM868 cp-ar CP868 IBM868 iana-2053 IBMCCSID00868
  256 ***                       ibm-868
  257 ***       866      X      csIBM866 866 cp866 IBM866 iana-2086 IBMCCSID00866
  258 ***                       ibm-866
  259 ***       865      X      csIBM865 865 cp865 IBM865 iana-2052 IBMCCSID00865
  260 ***                       ibm-865
  261 ***       864      X      csIBM864 cp864 IBM864 iana-2051 IBMCCSID00864 ibm-864
  262 ***       863      X      csIBM863 863 cp863 IBM863 iana-2050 IBMCCSID00863
  263 ***                       ibm-863
  264 ***       862      X      csPC862LatinHebrew 862 cp862 IBM862 iana-2013
  265 ***                       IBMCCSID00862 ibm-862
  266 ***       861      X      csIBM861 cp-is 861 cp861 IBM861 iana-2049
  267 ***                       IBMCCSID00861 ibm-861
  268 ***       860      X      csIBM860 860 cp860 IBM860 iana-2048 IBMCCSID00860
  269 ***                       ibm-860
  270 ***       858             csIBM00858 PC-Multilingual-850+euro CP00858 CCSID00858
  271 ***                       IBM00858 iana-2089 IBMCCSID00858 ibm-858
  272 ***       857      X      csIBM857 857 cp857 IBM857 iana-2047 IBMCCSID00857
  273 ***                       ibm-857
  274 ***       855      X      csIBM855 855 cp855 IBM855 iana-2046 IBMCCSID00855
  275 ***                       ibm-855
  276 ***       852      X      csPCp852 852 cp852 IBM852 iana-2010 IBMCCSID00852
  277 ***                       ibm-852
  278 ***       851      X      csIBM851 851 cp851 IBM851 iana-2045 IBMCCSID00851
  279 ***                       ibm-851
  280 ***       850      X      csPC850Multilingual 850 cp850 IBM850 iana-2009
  281 ***                       IBMCCSID00850 ibm-850
  282 ***       838      X      csIBMThai IBM-Thai iana-2016 IBMCCSID00838 ibm-838
  283 ***       837      X      IBMCCSID00837 ibm-837
  284 ***       836      X      IBMCCSID00836 ibm-836
  285 ***       835      X      IBMCCSID00835 ibm-835
  286 ***       833      X      IBMCCSID00833 ibm-833
  287 ***       819      X      csISOLatin1 CP819 IBM819 l1 latin1 ISO_8859-1
  288 ***                       iso-ir-100 ISO_8859-1:1987 ISO-8859-1 iana-4
  289 ***                       IBMCCSID00819 ibm-819
  290 ***       813      X      csISOLatinGreek greek8 greek ECMA-118 ELOT_928
  291 ***                       ISO_8859-7 iso-ir-126 ISO_8859-7:1987 ISO-8859-7
  292 ***                       iana-10 IBMCCSID00813 ibm-813
  293 ***       775      X      csPC775Baltic cp775 IBM775 iana-2087 IBMCCSID00775
  294 ***                       ibm-775
  295 ***       737      X      IBMCCSID00737 ibm-737
  296 ***       720      X      IBMCCSID00720 ibm-720
  297 ***       500      X      csIBM500 ebcdic-cp-ch ebcdic-cp-be CP500 IBM500
  298 ***                       iana-2044 IBMCCSID00500 ibm-500
  299 ***       437      X      csPC8CodePage437 437 cp437 IBM437 iana-2011
  300 ***                       IBMCCSID00437 ibm-437
  301 ***       424      X      csIBM424 ebcdic-cp-he cp424 IBM424 iana-2043
  302 ***                       IBMCCSID00424 ibm-424
  303 ***       423      X      csIBM423 ebcdic-cp-gr cp423 IBM423 iana-2042
  304 ***                       IBMCCSID00423 ibm-423
  305 ***       420      X      csIBM420 ebcdic-cp-ar1 cp420 IBM420 iana-2041
  306 ***                       IBMCCSID00420 ibm-420
  307 ***       367      X      csASCII cp367 IBM367 us ISO646-US ISO_646.irv:1991
  308 ***                       ANSI_X3.4-1986 ANSI_X3.4-1968 iso-ir-6 US-ASCII ASCII
  309 ***                       iana-3 IBMCCSID00367 ibm-367
  310 ***       301      X      IBMCCSID00301 ibm-301
  311 ***       300      X      IBMCCSID00300 ibm-300
  312 ***       297      X      csIBM297 ebcdic-cp-fr cp297 IBM297 iana-2040
  313 ***                       IBMCCSID00297 ibm-297
  314 ***       290      X      csIBM290 EBCDIC-JP-kana cp290 IBM290 iana-2039
  315 ***                       IBMCCSID00290 ibm-290
  316 ***       285      X      csIBM285 ebcdic-cp-gb CP285 IBM285 iana-2038
  317 ***                       IBMCCSID00285 ibm-285
  318 ***       284      X      csIBM284 ebcdic-cp-es CP284 IBM284 iana-2037
  319 ***                       IBMCCSID00284 ibm-284
  320 ***       280      X      csIBM280 ebcdic-cp-it CP280 IBM280 iana-2035
  321 ***                       IBMCCSID00280 ibm-280
  322 ***       278      X      csIBM278 ebcdic-cp-se ebcdic-cp-fi CP278 IBM278
  323 ***                       iana-2034 IBMCCSID00278 ibm-278
  324 ***       277      X      csIBM277 EBCDIC-CP-NO EBCDIC-CP-DK IBM277 iana-2033
  325 ***                       IBMCCSID00277 ibm-277
  326 ***       273      X      csIBM273 CP273 IBM273 iana-2030 IBMCCSID00273 ibm-273
  327 ***       256      X      IBMCCSID00256 ibm-256
  328 ***        37      X      csIBM037 ebcdic-cp-nl ebcdic-cp-wt ebcdic-cp-ca
  329 ***                       ebcdic-cp-us cp037 IBM037 EBCDIC iana-2028
  330 ***                       IBMCCSID00037 ibm-37
  331 ***         0             IBMCCSID00000 ibm-0
  332 **/
  333 
  334 /**
  335 ***     13499 states, 229 finals, 20020 transitions.
  336 **/
  337 
  338 typedef unsigned short          t_ccsid;
  339 typedef unsigned short          t_staterange;
  340 typedef unsigned short          t_transrange;
  341 
  342 static t_transrange     trans_array[] = {
  343  0, 90, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  344  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  345  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  346  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  347  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  348  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  349  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  350  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  351  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  352  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  353  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91,
  354  91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 91, 92, 93, 94,
  355  95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110,
  356  111, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129,
  357  130, 137, 138, 139, 141, 142, 143, 144, 145, 146, 147, 148, 150, 151, 153,
  358  154, 156, 157, 159, 160, 162, 163, 165, 166, 168, 169, 171, 172, 173, 174,
  359  176, 177, 179, 180, 182, 183, 185, 186, 188, 189, 191, 192, 194, 195, 197,
  360  198, 199, 200, 202, 203, 205, 206, 208, 209, 210, 211, 212, 213, 214, 215,
  361  216, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231,
  362  233, 234, 235, 236, 238, 239, 241, 242, 243, 245, 246, 248, 249, 251, 252,
  363  254, 256, 257, 259, 260, 261, 262, 263, 264, 265, 266, 267, 269, 270, 271,
  364  275, 276, 277, 278, 279, 287, 288, 289, 291, 292, 294, 295, 297, 298, 300,
  365  301, 303, 304, 305, 306, 307, 308, 310, 311, 313, 314, 315, 316, 317, 318,
  366  319, 320, 321, 322, 323, 324, 325, 327, 328, 329, 330, 331, 332, 333, 334,
  367  335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 357, 358,
  368  359, 360, 361, 362, 363, 365, 366, 367, 368, 370, 371, 373, 374, 376, 377,
  369  378, 380, 381, 383, 384, 386, 387, 389, 390, 392, 393, 394, 396, 398, 400,
  370  401, 402, 403, 409, 410, 411, 412, 413, 416, 417, 418, 419, 420, 421, 422,
  371  423, 424, 425, 426, 427, 429, 430, 431, 432, 433, 434, 435, 438, 439, 440,
  372  441, 442, 444, 445, 446, 447, 450, 451, 452, 453, 454, 455, 456, 457, 458,
  373  459, 462, 463, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476,
  374  477, 478, 479, 480, 489, 490, 491, 492, 493, 495, 496, 497, 498, 499, 500,
  375  501, 502, 503, 504, 505, 506, 512, 513, 514, 515, 516, 519, 520, 521, 522,
  376  523, 524, 525, 526, 527, 528, 531, 532, 533, 534, 535, 536, 537, 538, 539,
  377  540, 541, 551, 553, 554, 556, 557, 559, 560, 562, 563, 565, 566, 568, 569,
  378  571, 572, 574, 575, 577, 578, 580, 581, 583, 585, 586, 587, 591, 592, 593,
  379  595, 596, 598, 599, 600, 602, 603, 604, 606, 607, 609, 610, 612, 613, 615,
  380  616, 618, 619, 621, 622, 624, 625, 627, 628, 630, 631, 633, 634, 636, 637,
  381  639, 640, 642, 643, 644, 646, 647, 648, 649, 655, 656, 658, 659, 661, 662,
  382  663, 664, 665, 666, 667, 668, 669, 672, 673, 675, 676, 677, 679, 680, 682,
  383  683, 685, 686, 688, 689, 691, 692, 694, 695, 697, 698, 700, 701, 703, 704,
  384  706, 707, 709, 710, 712, 713, 715, 716, 718, 719, 721, 722, 723, 724, 725,
  385  727, 728, 730, 731, 733, 734, 736, 737, 739, 740, 741, 745, 746, 747, 748,
  386  750, 751, 752, 753, 754, 756, 757, 758, 759, 760, 763, 764, 767, 768, 771,
  387  779, 780, 781, 786, 788, 789, 791, 792, 793, 795, 796, 798, 799, 801, 802,
  388  803, 804, 805, 806, 807, 816, 817, 818, 822, 823, 824, 825, 826, 827, 828,
  389  829, 830, 831, 832, 833, 834, 836, 837, 839, 840, 841, 842, 843, 844, 845,
  390  847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 861, 862,
  391  863, 865, 866, 868, 869, 871, 872, 874, 875, 877, 878, 880, 881, 883, 884,
  392  885, 887, 888, 890, 891, 893, 894, 896, 897, 898, 900, 901, 903, 904, 906,
  393  907, 909, 910, 912, 913, 914, 915, 916, 917, 918, 919, 920, 933, 934, 936,
  394  937, 939, 940, 942, 943, 945, 946, 947, 948, 952, 953, 955, 956, 957, 961,
  395  962, 963, 965, 966, 967, 968, 970, 971, 972, 973, 974, 975, 976, 977, 978,
  396  979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 990, 991, 992, 996, 998,
  397  999, 1001, 1002, 1004, 1005, 1007, 1008, 1010, 1011, 1013, 1014, 1015, 1016,
  398  1017, 1019, 1020, 1022, 1023, 1025, 1026, 1028, 1029, 1031, 1032, 1034, 1035,
  399  1037, 1038, 1040, 1041, 1043, 1044, 1046, 1047, 1049, 1050, 1052, 1053, 1054,
  400  1056, 1057, 1059, 1060, 1062, 1063, 1065, 1066, 1068, 1069, 1071, 1072, 1074,
  401  1075, 1077, 1078, 1080, 1081, 1083, 1084, 1086, 1087, 1088, 1089, 1090, 1091,
  402  1093, 1094, 1096, 1097, 1099, 1100, 1102, 1103, 1105, 1106, 1108, 1109, 1111,
  403  1112, 1113, 1114, 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125, 1126, 1130,
  404  1131, 1133, 1134, 1135, 1137, 1138, 1140, 1141, 1143, 1144, 1146, 1147, 1149,
  405  1150, 1152, 1153, 1155, 1156, 1157, 1158, 1159, 1160, 1161, 1163, 1164, 1166,
  406  1167, 1168, 1170, 1171, 1173, 1174, 1176, 1177, 1179, 1180, 1182, 1183, 1184,
  407  1186, 1187, 1188, 1190, 1191, 1192, 1196, 1197, 1198, 1199, 1200, 1202, 1203,
  408  1204, 1206, 1207, 1208, 1212, 1213, 1214, 1215, 1216, 1217, 1218, 1221, 1222,
  409  1224, 1225, 1226, 1230, 1231, 1232, 1233, 1234, 1235, 1236, 1237, 1238, 1239,
  410  1240, 1241, 1242, 1243, 1244, 1245, 1246, 1247, 1248, 1257, 1258, 1259, 1260,
  411  1261, 1262, 1263, 1264, 1265, 1267, 1268, 1270, 1271, 1273, 1274, 1276, 1277,
  412  1279, 1280, 1282, 1283, 1284, 1285, 1286, 1288, 1289, 1291, 1292, 1294, 1295,
  413  1297, 1298, 1300, 1301, 1303, 1304, 1306, 1307, 1308, 1309, 1310, 1311, 1312,
  414  1313, 1314, 1315, 1316, 1317, 1318, 1342, 1343, 1344, 1346, 1347, 1349, 1350,
  415  1352, 1353, 1355, 1356, 1358, 1359, 1361, 1362, 1363, 1364, 1365, 1366, 1376,
  416  1378, 1379, 1381, 1383, 1387, 1389, 1391, 1395, 1399, 1401, 1405, 1409, 1411,
  417  1412, 1414, 1415, 1417, 1418, 1420, 1422, 1424, 1426, 1428, 1430, 1431, 1432,
  418  1433, 1434, 1435, 1436, 1437, 1438, 1439, 1440, 1441, 1442, 1443, 1444, 1445,
  419  1446, 1478, 1479, 1480, 1482, 1483, 1485, 1486, 1488, 1489, 1491, 1492, 1494,
  420  1495, 1497, 1498, 1499, 1503, 1505, 1506, 1508, 1509, 1511, 1512, 1514, 1515,
  421  1516, 1517, 1518, 1519, 1520, 1521, 1522, 1523, 1524, 1526, 1527, 1529, 1530,
  422  1532, 1533, 1535, 1536, 1537, 1538, 1539, 1540, 1541, 1542, 1543, 1544, 1545,
  423  1546, 1547, 1551, 1553, 1554, 1556, 1557, 1559, 1560, 1562, 1563, 1564, 1565,
  424  1566, 1567, 1568, 1569, 1570, 1571, 1572, 1573, 1575, 1577, 1578, 1580, 1581,
  425  1583, 1584, 1586, 1587, 1588, 1589, 1590, 1591, 1592, 1593, 1594, 1595, 1596,
  426  1598, 1599, 1601, 1602, 1604, 1605, 1607, 1608, 1609, 1610, 1611, 1612, 1613,
  427  1614, 1615, 1616, 1617, 1618, 1619, 1623, 1625, 1626, 1628, 1629, 1631, 1632,
  428  1634, 1635, 1636, 1637, 1638, 1639, 1640, 1641, 1642, 1643, 1644, 1645, 1647,
  429  1649, 1650, 1652, 1653, 1655, 1656, 1658, 1659, 1660, 1661, 1662, 1663, 1664,
  430  1665, 1666, 1667, 1668, 1669, 1671, 1672, 1674, 1675, 1677, 1678, 1680, 1681,
  431  1683, 1684, 1686, 1687, 1689, 1690, 1692, 1693, 1695, 1696, 1698, 1699, 1701,
  432  1703, 1704, 1706, 1707, 1709, 1710, 1712, 1713, 1714, 1715, 1716, 1717, 1718,
  433  1719, 1720, 1721, 1722, 1724, 1725, 1727, 1728, 1730, 1731, 1733, 1734, 1735,
  434  1736, 1737, 1738, 1739, 1740, 1741, 1742, 1743, 1744, 1745, 1746, 1752, 1754,
  435  1755, 1757, 1758, 1760, 1761, 1763, 1764, 1765, 1766, 1768, 1770, 1771, 1773,
  436  1774, 1776, 1777, 1779, 1780, 1781, 1782, 1783, 1784, 1785, 1786, 1788, 1789,
  437  1791, 1792, 1794, 1795, 1797, 1799, 1801, 1803, 1804, 1806, 1807, 1809, 1810,
  438  1812, 1813, 1814, 1815, 1816, 1817, 1818, 1819, 1820, 1821, 1823, 1824, 1825,
  439  1826, 1827, 1828, 1829, 1830, 1831, 1832, 1833, 1834, 1856, 1857, 1859, 1860,
  440  1862, 1863, 1865, 1866, 1868, 1869, 1871, 1873, 1874, 1875, 1876, 1877, 1878,
  441  1879, 1880, 1882, 1883, 1885, 1886, 1887, 1888, 1889, 1890, 1891, 1892, 1893,
  442  1895, 1896, 1898, 1900, 1902, 1903, 1904, 1906, 1907, 1908, 1909, 1917, 1918,
  443  1921, 1922, 1924, 1925, 1926, 1928, 1929, 1931, 1932, 1934, 1935, 1936, 1937,
  444  1939, 1940, 1942, 1943, 1945, 1946, 1948, 1949, 1951, 1952, 1954, 1955, 1956,
  445  1957, 1959, 1960, 1962, 1963, 1965, 1966, 1968, 1969, 1971, 1972, 1974, 1975,
  446  1976, 1977, 1979, 1980, 1982, 1983, 1985, 1986, 1988, 1989, 1990, 1991, 1993,
  447  1994, 1996, 1997, 1999, 2000, 2002, 2003, 2004, 2005, 2007, 2008, 2010, 2011,
  448  2013, 2014, 2016, 2017, 2019, 2020, 2022, 2023, 2024, 2025, 2026, 2027, 2037,
  449  2038, 2039, 2040, 2041, 2042, 2043, 2044, 2045, 2046, 2047, 2051, 2053, 2054,
  450  2056, 2057, 2059, 2060, 2062, 2063, 2064, 2068, 2069, 2070, 2074, 2075, 2079,
  451  2080, 2081, 2086, 2089, 2090, 2091, 2092, 2093, 2099, 2104, 2108, 2110, 2117,
  452  2127, 2137, 2141, 2145, 2155, 2156, 2157, 2158, 2159, 2160, 2161, 2162, 2163,
  453  2164, 2173, 2176, 2177, 2178, 2188, 2189, 2190, 2191, 2192, 2193, 2196, 2199,
  454  2201, 2202, 2203, 2204, 2205, 2214, 2215, 2216, 2217, 2219, 2220, 2222, 2223,
  455  2224, 2225, 2226, 2227, 2229, 2230, 2231, 2232, 2233, 2234, 2235, 2236, 2237,
  456  2238, 2239, 2240, 2241, 2242, 2243, 2244, 2245, 2246, 2247, 2248, 2249, 2259,
  457  2260, 2261, 2262, 2263, 2266, 2267, 2268, 2269, 2270, 2271, 2272, 2273, 2274,
  458  2275, 2276, 2282, 2283, 2284, 2285, 2287, 2288, 2289, 2290, 2291, 2293, 2294,
  459  2295, 2296, 2297, 2298, 2299, 2300, 2307, 2308, 2309, 2310, 2311, 2312, 2313,
  460  2316, 2317, 2318, 2319, 2320, 2321, 2322, 2325, 2326, 2327, 2328, 2329, 2330,
  461  2331, 2332, 2333, 2337, 2338, 2339, 2340, 2341, 2342, 2343, 2344, 2345, 2346,
  462  2347, 2348, 2349, 2355, 2356, 2357, 2358, 2359, 2361, 2362, 2363, 2364, 2365,
  463  2366, 2372, 2375, 2377, 2378, 2379, 2380, 2381, 2382, 2383, 2384, 2385, 2386,
  464  2387, 2388, 2389, 2390, 2391, 2400, 2401, 2402, 2403, 2404, 2405, 2406, 2409,
  465  2410, 2411, 2412, 2413, 2414, 2415, 2416, 2417, 2421, 2422, 2423, 2424, 2425,
  466  2426, 2431, 2432, 2433, 2434, 2435, 2437, 2438, 2439, 2440, 2441, 2442, 2443,
  467  2444, 2446, 2447, 2448, 2450, 2451, 2452, 2453, 2454, 2455, 2456, 2461, 2462,
  468  2463, 2464, 2465, 2467, 2468, 2469, 2470, 2471, 2472, 2473, 2479, 2480, 2481,
  469  2482, 2483, 2484, 2485, 2486, 2487, 2488, 2489, 2490, 2491, 2496, 2497, 2498,
  470  2499, 2500, 2501, 2502, 2503, 2504, 2506, 2507, 2508, 2509, 2510, 2511, 2512,
  471  2516, 2517, 2518, 2522, 2523, 2524, 2525, 2526, 2528, 2529, 2530, 2531, 2532,
  472  2533, 2534, 2535, 2539, 2540, 2541, 2542, 2543, 2545, 2546, 2547, 2548, 2549,
  473  2550, 2551, 2552, 2553, 2554, 2557, 2558, 2559, 2560, 2561, 2563, 2564, 2565,
  474  2566, 2567, 2568, 2569, 2570, 2574, 2575, 2576, 2579, 2580, 2581, 2582, 2583,
  475  2584, 2585, 2586, 2587, 2588, 2589, 2590, 2591, 2592, 2593, 2594, 2595, 2600,
  476  2601, 2602, 2603, 2607, 2608, 2609, 2610, 2611, 2612, 2616, 2618, 2619, 2620,
  477  2622, 2623, 2624, 2625, 2626, 2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634,
  478  2635, 2636, 2637, 2642, 2643, 2644, 2645, 2646, 2647, 2648, 2649, 2650, 2651,
  479  2652, 2653, 2654, 2655, 2656, 2657, 2658, 2659, 2660, 2661, 2662, 2663, 2664,
  480  2665, 2669, 2670, 2671, 2672, 2673, 2675, 2676, 2677, 2678, 2679, 2680, 2681,
  481  2682, 2683, 2686, 2688, 2689, 2690, 2691, 2692, 2693, 2694, 2695, 2696, 2701,
  482  2707, 2708, 2709, 2711, 2712, 2721, 2722, 2723, 2728, 2729, 2730, 2733, 2734,
  483  2735, 2736, 2737, 2738, 2739, 2746, 2747, 2748, 2750, 2751, 2752, 2754, 2755,
  484  2756, 2757, 2758, 2759, 2760, 2764, 2770, 2771, 2772, 2773, 2774, 2775, 2776,
  485  2777, 2778, 2786, 2787, 2788, 2789, 2790, 2791, 2792, 2793, 2794, 2795, 2796,
  486  2797, 2798, 2799, 2800, 2801, 2802, 2803, 2804, 2813, 2814, 2818, 2819, 2820,
  487  2821, 2822, 2823, 2824, 2825, 2826, 2832, 2833, 2834, 2835, 2836, 2837, 2838,
  488  2839, 2840, 2841, 2842, 2843, 2844, 2850, 2851, 2852, 2853, 2854, 2856, 2857,
  489  2858, 2859, 2860, 2861, 2862, 2863, 2864, 2865, 2873, 2874, 2875, 2876, 2877,
  490  2878, 2879, 2880, 2881, 2882, 2883, 2895, 2897, 2898, 2899, 2900, 2901, 2903,
  491  2904, 2907, 2910, 2912, 2913, 2914, 2915, 2916, 2920, 2922, 2923, 2924, 2925,
  492  2927, 2930, 2931, 2932, 2933, 2935, 2936, 2937, 2938, 2939, 2940, 2941, 2942,
  493  2943, 2944, 2947, 2949, 2954, 2960, 2969, 2974, 2975, 2978, 2979, 2980, 2981,
  494  2982, 2983, 2984, 2985, 2992, 2995, 3001, 3009, 3018, 3024, 3030, 3032, 3033,
  495  3034, 3035, 3036, 3037, 3038, 3039, 3040, 3041, 3049, 3050, 3051, 3052, 3053,
  496  3054, 3055, 3056, 3057, 3065, 3067, 3077, 3080, 3086, 3087, 3089, 3091, 3092,
  497  3093, 3094, 3095, 3096, 3097, 3098, 3105, 3108, 3111, 3115, 3125, 3131, 3133,
  498  3134, 3135, 3136, 3137, 3138, 3139, 3145, 3148, 3150, 3159, 3161, 3165, 3166,
  499  3167, 3168, 3169, 3170, 3175, 3177, 3179, 3184, 3186, 3187, 3188, 3189, 3190,
  500  3194, 3195, 3196, 3197, 3198, 3202, 3203, 3204, 3205, 3206, 3209, 3211, 3212,
  501  3213, 3214, 3215, 3216, 3220, 3221, 3222, 3224, 3225, 3226, 3231, 3232, 3233,
  502  3234, 3237, 3238, 3239, 3240, 3244, 3246, 3247, 3248, 3250, 3251, 3252, 3253,
  503  3254, 3255, 3256, 3257, 3261, 3262, 3263, 3264, 3265, 3266, 3267, 3268, 3269,
  504  3270, 3271, 3272, 3275, 3278, 3279, 3280, 3281, 3282, 3284, 3285, 3286, 3287,
  505  3288, 3289, 3290, 3296, 3297, 3298, 3299, 3300, 3301, 3303, 3304, 3305, 3306,
  506  3307, 3308, 3309, 3310, 3312, 3313, 3314, 3315, 3316, 3317, 3318, 3319, 3320,
  507  3323, 3324, 3325, 3326, 3327, 3328, 3329, 3330, 3331, 3332, 3333, 3334, 3335,
  508  3337, 3338, 3339, 3340, 3341, 3342, 3343, 3344, 3345, 3346, 3347, 3348, 3349,
  509  3350, 3351, 3352, 3353, 3354, 3355, 3356, 3357, 3358, 3359, 3360, 3361, 3362,
  510  3363, 3364, 3368, 3369, 3370, 3371, 3372, 3374, 3375, 3376, 3377, 3378, 3379,
  511  3380, 3386, 3387, 3389, 3390, 3392, 3393, 3395, 3396, 3398, 3399, 3400, 3401,
  512  3413, 3414, 3416, 3417, 3418, 3419, 3420, 3422, 3423, 3425, 3426, 3428, 3429,
  513  3430, 3431, 3432, 3433, 3434, 3435, 3436, 3437, 3438, 3439, 3440, 3441, 3442,
  514  3444, 3445, 3447, 3448, 3450, 3451, 3453, 3454, 3456, 3457, 3458, 3459, 3460,
  515  3461, 3462, 3463, 3464, 3465, 3466, 3467, 3469, 3470, 3472, 3473, 3475, 3476,
  516  3478, 3479, 3481, 3482, 3484, 3485, 3487, 3488, 3492, 3493, 3494, 3495, 3496,
  517  3498, 3499, 3501, 3502, 3504, 3505, 3507, 3508, 3510, 3511, 3512, 3513, 3515,
  518  3516, 3518, 3519, 3521, 3522, 3524, 3525, 3527, 3528, 3530, 3531, 3533, 3534,
  519  3536, 3537, 3538, 3547, 3548, 3549, 3550, 3551, 3552, 3553, 3554, 3555, 3558,
  520  3559, 3561, 3562, 3565, 3566, 3567, 3568, 3569, 3570, 3575, 3576, 3579, 3580,
  521  3581, 3582, 3584, 3585, 3586, 3587, 3591, 3593, 3594, 3596, 3597, 3598, 3599,
  522  3600, 3601, 3602, 3603, 3604, 3605, 3606, 3607, 3608, 3609, 3610, 3611, 3612,
  523  3614, 3615, 3617, 3618, 3620, 3621, 3622, 3623, 3624, 3625, 3626, 3627, 3628,
  524  3629, 3630, 3631, 3632, 3633, 3634, 3637, 3638, 3639, 3640, 3641, 3642, 3643,
  525  3644, 3645, 3647, 3648, 3649, 3650, 3651, 3652, 3653, 3654, 3655, 3657, 3658,
  526  3659, 3660, 3661, 3662, 3663, 3664, 3665, 3667, 3668, 3669, 3670, 3671, 3672,
  527  3673, 3674, 3675, 3677, 3678, 3679, 3680, 3681, 3682, 3683, 3684, 3685, 3687,
  528  3688, 3689, 3690, 3691, 3692, 3693, 3694, 3695, 3697, 3698, 3699, 3700, 3701,
  529  3702, 3703, 3705, 3706, 3707, 3708, 3709, 3710, 3711, 3712, 3713, 3715, 3716,
  530  3717, 3718, 3719, 3720, 3721, 3722, 3723, 3724, 3733, 3734, 3735, 3736, 3737,
  531  3738, 3739, 3740, 3741, 3742, 3743, 3745, 3746, 3747, 3748, 3751, 3752, 3754,
  532  3755, 3756, 3757, 3763, 3764, 3765, 3766, 3767, 3768, 3769, 3770, 3771, 3773,
  533  3774, 3775, 3776, 3778, 3779, 3781, 3782, 3783, 3784, 3786, 3787, 3789, 3790,
  534  3792, 3793, 3794, 3798, 3799, 3800, 3801, 3802, 3803, 3804, 3805, 3806, 3807,
  535  3809, 3810, 3811, 3812, 3813, 3814, 3815, 3816, 3817, 3818, 3819, 3820, 3821,
  536  3822, 3823, 3824, 3825, 3826, 3827, 3828, 3830, 3831, 3832, 3835, 3836, 3837,
  537  3841, 3842, 3843, 3849, 3850, 3852, 3853, 3855, 3856, 3858, 3859, 3866, 3867,
  538  3869, 3870, 3872, 3873, 3875, 3876, 3878, 3879, 3881, 3882, 3883, 3885, 3886,
  539  3888, 3890, 3891, 3893, 3894, 3896, 3897, 3899, 3900, 3901, 3902, 3903, 3904,
  540  3905, 3906, 3907, 3908, 3909, 3910, 3912, 3913, 3915, 3916, 3918, 3919, 3921,
  541  3922, 3924, 3925, 3927, 3928, 3930, 3931, 3933, 3934, 3936, 3937, 3939, 3940,
  542  3942, 3943, 3945, 3946, 3947, 3948, 3950, 3953, 3954, 3955, 3957, 3958, 3960,
  543  3961, 3963, 3964, 3966, 3967, 3968, 3970, 3971, 3973, 3975, 3976, 3978, 3980,
  544  3981, 3983, 3984, 3986, 3991, 3992, 3993, 3998, 3999, 4000, 4001, 4002, 4005,
  545  4006, 4010, 4011, 4013, 4014, 4015, 4016, 4022, 4024, 4025, 4026, 4027, 4029,
  546  4030, 4032, 4033, 4035, 4036, 4038, 4039, 4041, 4042, 4044, 4045, 4046, 4047,
  547  4048, 4049, 4050, 4051, 4052, 4053, 4054, 4055, 4056, 4057, 4058, 4059, 4060,
  548  4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068, 4069, 4074, 4075, 4076, 4083,
  549  4084, 4085, 4086, 4087, 4089, 4090, 4091, 4092, 4093, 4094, 4095, 4096, 4097,
  550  4098, 4100, 4101, 4102, 4103, 4105, 4106, 4107, 4108, 4110, 4111, 4112, 4113,
  551  4115, 4116, 4117, 4118, 4120, 4121, 4122, 4123, 4125, 4126, 4127, 4128, 4130,
  552  4131, 4132, 4133, 4135, 4136, 4137, 4138, 4139, 4140, 4141, 4142, 4144, 4145,
  553  4146, 4147, 4149, 4150, 4151, 4152, 4154, 4155, 4156, 4157, 4159, 4160, 4161,
  554  4162, 4164, 4165, 4166, 4167, 4169, 4170, 4171, 4172, 4174, 4175, 4176, 4177,
  555  4179, 4180, 4181, 4182, 4183, 4184, 4185, 4186, 4188, 4189, 4190, 4191, 4193,
  556  4194, 4195, 4196, 4198, 4199, 4200, 4201, 4202, 4203, 4204, 4205, 4206, 4207,
  557  4208, 4210, 4211, 4212, 4213, 4214, 4215, 4216, 4217, 4218, 4219, 4220, 4221,
  558  4222, 4223, 4224, 4225, 4226, 4227, 4228, 4229, 4230, 4231, 4232, 4233, 4234,
  559  4235, 4236, 4237, 4239, 4240, 4241, 4242, 4243, 4244, 4245, 4246, 4248, 4249,
  560  4250, 4251, 4253, 4254, 4255, 4257, 4258, 4259, 4260, 4262, 4263, 4264, 4265,
  561  4267, 4268, 4269, 4270, 4272, 4273, 4274, 4276, 4277, 4278, 4279, 4281, 4282,
  562  4283, 4284, 4285, 4286, 4287, 4288, 4289, 4290, 4291, 4292, 4293, 4294, 4295,
  563  4296, 4297, 4298, 4299, 4301, 4302, 4303, 4304, 4305, 4309, 4310, 4311, 4312,
  564  4313, 4314, 4315, 4323, 4324, 4325, 4327, 4328, 4329, 4330, 4332, 4333, 4334,
  565  4335, 4337, 4338, 4339, 4340, 4342, 4343, 4344, 4345, 4347, 4348, 4349, 4350,
  566  4351, 4352, 4353, 4354, 4355, 4356, 4357, 4358, 4360, 4361, 4362, 4363, 4365,
  567  4366, 4367, 4368, 4369, 4370, 4371, 4372, 4373, 4374, 4375, 4376, 4377, 4378,
  568  4379, 4380, 4381, 4382, 4383, 4385, 4386, 4387, 4397, 4398, 4399, 4400, 4401,
  569  4402, 4403, 4404, 4405, 4406, 4407, 4408, 4409, 4411, 4412, 4413, 4414, 4415,
  570  4416, 4417, 4418, 4420, 4421, 4422, 4423, 4425, 4426, 4427, 4428, 4430, 4431,
  571  4432, 4434, 4435, 4436, 4437, 4439, 4440, 4441, 4442, 4444, 4445, 4446, 4447,
  572  4449, 4450, 4451, 4452, 4454, 4455, 4456, 4458, 4459, 4460, 4462, 4463, 4464,
  573  4466, 4467, 4468, 4469, 4470, 4471, 4477, 4478, 4479, 4480, 4481, 4482, 4483,
  574  4486, 4487, 4488, 4489, 4490, 4491, 4492, 4493, 4494, 4495, 4496, 4497, 4498,
  575  4499, 4501, 4502, 4503, 4506, 4507, 4508, 4510, 4511, 4512, 4513, 4514, 4515,
  576  4518, 4519, 4520, 4521, 4522, 4523, 4524, 4525, 4526, 4527, 4530, 4531, 4532,
  577  4533, 4535, 4536, 4537, 4538, 4539, 4540, 4541, 4542, 4543, 4544, 4545, 4546,
  578  4547, 4548, 4549, 4550, 4551, 4552, 4553, 4554, 4563, 4564, 4565, 4567, 4568,
  579  4569, 4570, 4571, 4572, 4573, 4574, 4575, 4576, 4577, 4578, 4579, 4580, 4586,
  580  4587, 4588, 4591, 4592, 4593, 4594, 4595, 4596, 4597, 4598, 4599, 4600, 4601,
  581  4602, 4605, 4606, 4607, 4608, 4609, 4610, 4611, 4612, 4613, 4614, 4615, 4616,
  582  4617, 4627, 4628, 4629, 4631, 4632, 4633, 4634, 4636, 4637, 4638, 4639, 4641,
  583  4642, 4643, 4644, 4646, 4647, 4648, 4649, 4651, 4652, 4653, 4654, 4656, 4657,
  584  4658, 4659, 4661, 4662, 4663, 4664, 4666, 4667, 4668, 4669, 4671, 4672, 4673,
  585  4674, 4676, 4677, 4678, 4679, 4681, 4682, 4683, 4685, 4686, 4687, 4688, 4689,
  586  4693, 4694, 4695, 4696, 4697, 4698, 4699, 4701, 4702, 4703, 4704, 4706, 4707,
  587  4708, 4710, 4711, 4712, 4714, 4715, 4716, 4717, 4719, 4720, 4721, 4722, 4724,
  588  4725, 4726, 4727, 4729, 4730, 4731, 4732, 4734, 4735, 4736, 4737, 4739, 4740,
  589  4741, 4742, 4744, 4745, 4746, 4747, 4749, 4750, 4751, 4752, 4754, 4755, 4756,
  590  4757, 4759, 4760, 4761, 4762, 4764, 4765, 4766, 4767, 4769, 4770, 4771, 4772,
  591  4774, 4775, 4776, 4778, 4779, 4780, 4781, 4782, 4783, 4789, 4790, 4791, 4792,
  592  4794, 4795, 4796, 4797, 4799, 4800, 4801, 4802, 4803, 4804, 4805, 4806, 4807,
  593  4808, 4809, 4810, 4811, 4812, 4813, 4816, 4817, 4818, 4819, 4821, 4822, 4823,
  594  4825, 4826, 4827, 4828, 4830, 4831, 4832, 4833, 4835, 4836, 4837, 4838, 4840,
  595  4841, 4842, 4843, 4845, 4846, 4847, 4848, 4850, 4851, 4852, 4853, 4855, 4856,
  596  4857, 4858, 4860, 4861, 4862, 4863, 4865, 4866, 4867, 4868, 4870, 4871, 4872,
  597  4873, 4875, 4876, 4877, 4878, 4880, 4881, 4882, 4883, 4885, 4886, 4887, 4888,
  598  4890, 4891, 4892, 4893, 4895, 4896, 4897, 4898, 4899, 4900, 4901, 4903, 4904,
  599  4905, 4906, 4908, 4909, 4910, 4911, 4913, 4914, 4915, 4916, 4918, 4919, 4920,
  600  4921, 4923, 4924, 4925, 4926, 4927, 4931, 4932, 4933, 4934, 4935, 4936, 4937,
  601  4938, 4940, 4941, 4942, 4943, 4944, 4945, 4946, 4948, 4949, 4950, 4951, 4952,
  602  4953, 4954, 4957, 4958, 4959, 4960, 4963, 4964, 4965, 4966, 4967, 4968, 4971,
  603  4972, 4973, 4981, 4982, 4983, 4984, 4985, 4990, 4991, 4992, 4994, 4995, 4996,
  604  4997, 4999, 5000, 5001, 5003, 5004, 5005, 5006, 5008, 5009, 5010, 5011, 5013,
  605  5014, 5015, 5016, 5017, 5018, 5019, 5020, 5021, 5030, 5031, 5032, 5033, 5034,
  606  5038, 5039, 5040, 5041, 5042, 5043, 5044, 5045, 5046, 5047, 5048, 5049, 5050,
  607  5051, 5052, 5053, 5054, 5055, 5056, 5057, 5058, 5059, 5060, 5061, 5062, 5063,
  608  5064, 5066, 5067, 5068, 5069, 5071, 5072, 5073, 5074, 5075, 5076, 5077, 5079,
  609  5080, 5081, 5082, 5083, 5084, 5085, 5086, 5087, 5088, 5089, 5090, 5091, 5092,
  610  5093, 5094, 5095, 5096, 5097, 5099, 5100, 5101, 5103, 5104, 5105, 5106, 5108,
  611  5109, 5110, 5111, 5113, 5114, 5115, 5116, 5118, 5119, 5120, 5121, 5123, 5124,
  612  5125, 5126, 5128, 5129, 5130, 5131, 5133, 5134, 5135, 5137, 5138, 5139, 5140,
  613  5142, 5143, 5144, 5145, 5147, 5148, 5149, 5150, 5152, 5153, 5154, 5156, 5157,
  614  5158, 5159, 5161, 5162, 5163, 5164, 5166, 5167, 5168, 5169, 5171, 5172, 5173,
  615  5174, 5176, 5177, 5178, 5179, 5180, 5181, 5182, 5195, 5196, 5197, 5198, 5200,
  616  5201, 5202, 5203, 5205, 5206, 5207, 5208, 5210, 5211, 5212, 5213, 5215, 5216,
  617  5217, 5218, 5219, 5220, 5224, 5225, 5226, 5227, 5229, 5230, 5231, 5232, 5233,
  618  5237, 5238, 5239, 5241, 5242, 5243, 5244, 5245, 5246, 5247, 5248, 5250, 5251,
  619  5252, 5253, 5254, 5255, 5256, 5257, 5258, 5259, 5260, 5261, 5262, 5263, 5264,
  620  5265, 5266, 5267, 5268, 5269, 5270, 5271, 5272, 5273, 5274, 5275, 5276, 5277,
  621  5278, 5279, 5280, 5281, 5282, 5283, 5284, 5286, 5287, 5288, 5289, 5290, 5294,
  622  5295, 5296, 5298, 5299, 5300, 5301, 5303, 5304, 5305, 5306, 5308, 5309, 5310,
  623  5311, 5313, 5314, 5315, 5316, 5318, 5319, 5320, 5321, 5323, 5324, 5325, 5326,
  624  5327, 5328, 5329, 5330, 5331, 5332, 5333, 5335, 5336, 5337, 5338, 5340, 5341,
  625  5342, 5343, 5345, 5346, 5347, 5348, 5350, 5351, 5352, 5353, 5355, 5356, 5357,
  626  5358, 5360, 5361, 5362, 5363, 5365, 5366, 5367, 5368, 5370, 5371, 5372, 5373,
  627  5375, 5376, 5377, 5378, 5380, 5381, 5382, 5383, 5385, 5386, 5387, 5388, 5390,
  628  5391, 5392, 5393, 5394, 5395, 5396, 5398, 5399, 5400, 5401, 5403, 5404, 5405,
  629  5406, 5408, 5409, 5410, 5411, 5413, 5414, 5415, 5416, 5418, 5419, 5420, 5421,
  630  5423, 5424, 5425, 5426, 5428, 5429, 5430, 5431, 5433, 5434, 5435, 5436, 5438,
  631  5439, 5440, 5441, 5443, 5444, 5445, 5446, 5448, 5449, 5450, 5451, 5452, 5453,
  632  5454, 5455, 5456, 5457, 5458, 5459, 5461, 5462, 5463, 5464, 5466, 5467, 5468,
  633  5469, 5471, 5472, 5473, 5474, 5476, 5477, 5478, 5479, 5481, 5482, 5483, 5484,
  634  5486, 5487, 5488, 5489, 5491, 5492, 5493, 5494, 5495, 5496, 5500, 5501, 5502,
  635  5503, 5504, 5505, 5506, 5507, 5508, 5509, 5510, 5511, 5512, 5513, 5514, 5515,
  636  5516, 5520, 5521, 5522, 5523, 5525, 5526, 5527, 5529, 5530, 5531, 5532, 5534,
  637  5535, 5536, 5537, 5539, 5540, 5541, 5542, 5544, 5545, 5546, 5547, 5549, 5550,
  638  5551, 5552, 5554, 5555, 5556, 5557, 5559, 5560, 5561, 5562, 5563, 5564, 5565,
  639  5566, 5567, 5568, 5569, 5570, 5571, 5572, 5573, 5575, 5576, 5577, 5578, 5580,
  640  5581, 5582, 5584, 5585, 5586, 5587, 5589, 5590, 5591, 5592, 5594, 5595, 5596,
  641  5597, 5599, 5600, 5601, 5602, 5604, 5605, 5606, 5608, 5609, 5610, 5612, 5613,
  642  5614, 5615, 5616, 5620, 5621, 5622, 5623, 5624, 5625, 5626, 5628, 5629, 5630,
  643  5632, 5633, 5634, 5635, 5636, 5640, 5641, 5642, 5643, 5644, 5645, 5646, 5647,
  644  5648, 5651, 5652, 5653, 5654, 5656, 5657, 5658, 5659, 5660, 5664, 5665, 5666,
  645  5675, 5676, 5677, 5678, 5679, 5680, 5681, 5682, 5683, 5684, 5685, 5687, 5688,
  646  5689, 5690, 5692, 5693, 5694, 5695, 5697, 5698, 5699, 5700, 5702, 5703, 5704,
  647  5705, 5707, 5708, 5709, 5710, 5712, 5713, 5714, 5715, 5716, 5717, 5718, 5719,
  648  5720, 5722, 5723, 5724, 5725, 5727, 5728, 5729, 5730, 5732, 5733, 5734, 5735,
  649  5737, 5738, 5739, 5740, 5742, 5743, 5744, 5745, 5747, 5748, 5749, 5750, 5752,
  650  5753, 5754, 5755, 5756, 5757, 5758, 5759, 5760, 5761, 5762, 5763, 5764, 5765,
  651  5766, 5790, 5791, 5792, 5794, 5795, 5796, 5797, 5799, 5800, 5801, 5802, 5804,
  652  5805, 5806, 5807, 5809, 5810, 5811, 5812, 5814, 5815, 5816, 5817, 5819, 5820,
  653  5821, 5822, 5823, 5824, 5825, 5826, 5836, 5837, 5838, 5840, 5841, 5842, 5843,
  654  5845, 5846, 5847, 5849, 5850, 5851, 5855, 5856, 5857, 5859, 5860, 5861, 5863,
  655  5864, 5865, 5869, 5870, 5871, 5875, 5876, 5877, 5879, 5880, 5881, 5885, 5886,
  656  5887, 5891, 5892, 5893, 5895, 5896, 5897, 5898, 5900, 5901, 5902, 5903, 5905,
  657  5906, 5907, 5908, 5910, 5911, 5912, 5914, 5915, 5916, 5918, 5919, 5920, 5922,
  658  5923, 5924, 5926, 5927, 5928, 5930, 5931, 5932, 5933, 5934, 5935, 5936, 5937,
  659  5938, 5939, 5940, 5941, 5942, 5943, 5944, 5945, 5946, 5947, 5948, 5980, 5981,
  660  5982, 5983, 5984, 5985, 5986, 5988, 5989, 5990, 5991, 5993, 5994, 5995, 5996,
  661  5998, 5999, 6000, 6001, 6003, 6004, 6005, 6006, 6008, 6009, 6010, 6011, 6013,
  662  6014, 6015, 6016, 6017, 6021, 6022, 6023, 6025, 6026, 6027, 6028, 6030, 6031,
  663  6032, 6033, 6035, 6036, 6037, 6038, 6040, 6041, 6042, 6043, 6044, 6045, 6046,
  664  6047, 6048, 6049, 6050, 6051, 6052, 6053, 6054, 6055, 6056, 6057, 6058, 6059,
  665  6060, 6061, 6062, 6064, 6065, 6066, 6067, 6069, 6070, 6071, 6072, 6074, 6075,
  666  6076, 6077, 6079, 6080, 6081, 6082, 6083, 6084, 6085, 6086, 6087, 6088, 6089,
  667  6090, 6091, 6092, 6093, 6094, 6095, 6096, 6097, 6098, 6099, 6100, 6101, 6102,
  668  6103, 6107, 6108, 6109, 6111, 6112, 6113, 6114, 6116, 6117, 6118, 6119, 6121,
  669  6122, 6123, 6124, 6126, 6127, 6128, 6129, 6130, 6131, 6132, 6133, 6134, 6135,
  670  6136, 6137, 6138, 6139, 6140, 6141, 6142, 6143, 6144, 6145, 6146, 6147, 6148,
  671  6149, 6151, 6152, 6153, 6155, 6156, 6157, 6158, 6160, 6161, 6162, 6163, 6165,
  672  6166, 6167, 6168, 6170, 6171, 6172, 6173, 6174, 6175, 6176, 6177, 6178, 6179,
  673  6180, 6181, 6182, 6183, 6184, 6185, 6186, 6187, 6188, 6189, 6190, 6191, 6192,
  674  6194, 6195, 6196, 6197, 6199, 6200, 6201, 6202, 6204, 6205, 6206, 6207, 6209,
  675  6210, 6211, 6212, 6213, 6214, 6215, 6216, 6217, 6218, 6219, 6220, 6221, 6222,
  676  6223, 6224, 6225, 6226, 6227, 6228, 6229, 6230, 6231, 6232, 6233, 6237, 6238,
  677  6239, 6241, 6242, 6243, 6244, 6246, 6247, 6248, 6249, 6251, 6252, 6253, 6254,
  678  6256, 6257, 6258, 6259, 6260, 6261, 6262, 6263, 6264, 6265, 6266, 6267, 6268,
  679  6269, 6270, 6271, 6272, 6273, 6274, 6275, 6276, 6277, 6278, 6279, 6281, 6282,
  680  6283, 6285, 6286, 6287, 6288, 6290, 6291, 6292, 6293, 6295, 6296, 6297, 6298,
  681  6300, 6301, 6302, 6303, 6304, 6305, 6306, 6307, 6308, 6309, 6310, 6311, 6312,
  682  6313, 6314, 6315, 6316, 6317, 6318, 6319, 6320, 6321, 6322, 6323, 6325, 6326,
  683  6327, 6328, 6330, 6331, 6332, 6333, 6335, 6336, 6337, 6338, 6340, 6341, 6342,
  684  6343, 6345, 6346, 6347, 6348, 6350, 6351, 6352, 6353, 6355, 6356, 6357, 6358,
  685  6360, 6361, 6362, 6363, 6365, 6366, 6367, 6368, 6370, 6371, 6372, 6373, 6375,
  686  6376, 6377, 6379, 6380, 6381, 6382, 6384, 6385, 6386, 6387, 6389, 6390, 6391,
  687  6392, 6394, 6395, 6396, 6397, 6398, 6399, 6400, 6401, 6402, 6403, 6404, 6405,
  688  6406, 6407, 6408, 6409, 6410, 6411, 6412, 6413, 6414, 6415, 6416, 6418, 6419,
  689  6420, 6421, 6423, 6424, 6425, 6426, 6428, 6429, 6430, 6431, 6433, 6434, 6435,
  690  6436, 6437, 6438, 6439, 6440, 6441, 6442, 6443, 6444, 6445, 6446, 6447, 6448,
  691  6449, 6450, 6451, 6452, 6453, 6454, 6455, 6456, 6457, 6458, 6464, 6465, 6466,
  692  6468, 6469, 6470, 6471, 6473, 6474, 6475, 6476, 6478, 6479, 6480, 6481, 6483,
  693  6484, 6485, 6486, 6487, 6488, 6489, 6490, 6492, 6493, 6494, 6496, 6497, 6498,
  694  6499, 6501, 6502, 6503, 6504, 6506, 6507, 6508, 6509, 6511, 6512, 6513, 6514,
  695  6515, 6516, 6517, 6518, 6519, 6520, 6521, 6522, 6523, 6524, 6525, 6526, 6528,
  696  6529, 6530, 6531, 6533, 6534, 6535, 6536, 6538, 6539, 6540, 6541, 6543, 6544,
  697  6545, 6547, 6548, 6549, 6551, 6552, 6553, 6555, 6556, 6557, 6558, 6560, 6561,
  698  6562, 6563, 6565, 6566, 6567, 6568, 6570, 6571, 6572, 6573, 6574, 6575, 6576,
  699  6577, 6578, 6579, 6580, 6581, 6582, 6583, 6584, 6585, 6586, 6587, 6588, 6589,
  700  6591, 6592, 6593, 6594, 6595, 6596, 6597, 6598, 6599, 6600, 6601, 6602, 6603,
  701  6604, 6626, 6627, 6628, 6629, 6630, 6631, 6632, 6634, 6636, 6637, 6638, 6639,
  702  6641, 6642, 6643, 6644, 6646, 6647, 6648, 6649, 6651, 6652, 6653, 6655, 6656,
  703  6657, 6658, 6659, 6660, 6661, 6662, 6663, 6664, 6665, 6666, 6667, 6668, 6669,
  704  6670, 6672, 6673, 6674, 6675, 6677, 6678, 6679, 6680, 6681, 6682, 6683, 6684,
  705  6685, 6686, 6687, 6688, 6689, 6690, 6691, 6692, 6693, 6694, 6695, 6697, 6698,
  706  6699, 6700, 6702, 6703, 6704, 6706, 6707, 6708, 6710, 6711, 6712, 6713, 6714,
  707  6715, 6716, 6718, 6719, 6720, 6721, 6722, 6723, 6731, 6732, 6733, 6734, 6737,
  708  6738, 6739, 6740, 6742, 6743, 6744, 6745, 6746, 6747, 6748, 6750, 6751, 6752,
  709  6753, 6755, 6756, 6757, 6758, 6760, 6761, 6762, 6763, 6764, 6765, 6766, 6767,
  710  6769, 6770, 6771, 6772, 6774, 6775, 6776, 6777, 6779, 6780, 6781, 6782, 6784,
  711  6785, 6786, 6787, 6789, 6790, 6791, 6792, 6794, 6795, 6796, 6797, 6798, 6799,
  712  6800, 6801, 6803, 6804, 6805, 6806, 6808, 6809, 6810, 6811, 6813, 6814, 6815,
  713  6816, 6818, 6819, 6820, 6821, 6823, 6824, 6825, 6826, 6828, 6829, 6830, 6831,
  714  6832, 6833, 6834, 6835, 6837, 6838, 6839, 6840, 6842, 6843, 6844, 6845, 6847,
  715  6848, 6849, 6850, 6852, 6853, 6854, 6855, 6856, 6857, 6858, 6859, 6861, 6862,
  716  6863, 6864, 6866, 6867, 6868, 6869, 6871, 6872, 6873, 6874, 6876, 6877, 6878,
  717  6879, 6880, 6881, 6882, 6883, 6885, 6886, 6887, 6888, 6890, 6891, 6892, 6893,
  718  6895, 6896, 6897, 6898, 6900, 6901, 6902, 6903, 6905, 6906, 6907, 6908, 6910,
  719  6911, 6912, 6913, 6914, 6915, 6916, 6917, 6927, 6928, 6929, 6930, 6931, 6932,
  720  6933, 6934, 6935, 6936, 6937, 6938, 6939, 6940, 6941, 6942, 6943, 6944, 6945,
  721  6946, 6947, 6948, 6949, 6953, 6954, 6955, 6957, 6959, 6960, 6961, 6962, 6964,
  722  6965, 6966, 6967, 6969, 6970, 6971, 6972, 6973, 6977, 6978, 6979, 6980, 6981,
  723  6982, 6983, 6987, 6988, 6989, 6990, 6991, 6992, 6996, 6997, 6998, 6999, 7000,
  724  7004, 7005, 7006, 7008, 7009, 7010, 7012, 7014, 7020, 7021, 7022, 7027, 7028,
  725  7029, 7033, 7034, 7035, 7037, 7038, 7039, 7046, 7047, 7048, 7058, 7059, 7060,
  726  7070, 7071, 7072, 7076, 7077, 7078, 7082, 7083, 7084, 7094, 7095, 7096, 7097,
  727  7098, 7099, 7100, 7101, 7102, 7103, 7104, 7105, 7114, 7115, 7116, 7119, 7120,
  728  7121, 7122, 7123, 7124, 7125, 7135, 7136, 7137, 7138, 7139, 7140, 7141, 7142,
  729  7143, 7144, 7147, 7148, 7149, 7151, 7152, 7153, 7154, 7155, 7156, 7158, 7160,
  730  7161, 7162, 7171, 7172, 7173, 7174, 7175, 7176, 7177, 7178, 7180, 7181, 7182,
  731  7183, 7185, 7186, 7187, 7189, 7190, 7191, 7201, 7202, 7203, 7206, 7207, 7208,
  732  7214, 7215, 7216, 7217, 7218, 7219, 7221, 7222, 7223, 7225, 7226, 7227, 7228,
  733  7229, 7230, 7231, 7232, 7233, 7234, 7241, 7242, 7243, 7246, 7247, 7248, 7251,
  734  7252, 7253, 7257, 7258, 7259, 7265, 7266, 7267, 7269, 7270, 7271, 7272, 7273,
  735  7274, 7275, 7276, 7282, 7283, 7284, 7287, 7288, 7289, 7291, 7292, 7293, 7302,
  736  7303, 7304, 7305, 7306, 7307, 7308, 7311, 7312, 7313, 7317, 7318, 7319, 7320,
  737  7321, 7322, 7323, 7324, 7329, 7330, 7331, 7333, 7334, 7335, 7336, 7337, 7338,
  738  7339, 7340, 7341, 7342, 7343, 7344, 7345, 7346, 7348, 7349, 7350, 7352, 7353,
  739  7354, 7359, 7360, 7361, 7363, 7364, 7365, 7366, 7367, 7368, 7369, 7370, 7371,
  740  7377, 7378, 7379, 7380, 7381, 7382, 7383, 7384, 7385, 7386, 7387, 7388, 7389,
  741  7390, 7391, 7392, 7393, 7394, 7395, 7400, 7401, 7402, 7403, 7404, 7405, 7406,
  742  7407, 7408, 7409, 7410, 7412, 7413, 7414, 7415, 7416, 7417, 7418, 7419, 7420,
  743  7421, 7422, 7426, 7427, 7428, 7429, 7430, 7434, 7435, 7436, 7438, 7439, 7440,
  744  7441, 7442, 7443, 7444, 7445, 7446, 7447, 7448, 7449, 7450, 7451, 7452, 7453,
  745  7457, 7458, 7459, 7460, 7461, 7462, 7463, 7465, 7466, 7467, 7468, 7469, 7470,
  746  7473, 7474, 7475, 7477, 7478, 7479, 7480, 7481, 7482, 7483, 7484, 7485, 7486,
  747  7490, 7491, 7492, 7493, 7494, 7497, 7498, 7499, 7500, 7501, 7502, 7503, 7504,
  748  7505, 7510, 7511, 7512, 7513, 7514, 7515, 7519, 7520, 7521, 7522, 7523, 7524,
  749  7525, 7526, 7527, 7528, 7532, 7533, 7534, 7536, 7537, 7538, 7539, 7540, 7542,
  750  7543, 7544, 7545, 7546, 7547, 7548, 7549, 7550, 7551, 7552, 7553, 7554, 7555,
  751  7556, 7557, 7558, 7559, 7560, 7561, 7562, 7563, 7564, 7565, 7566, 7567, 7572,
  752  7573, 7574, 7575, 7576, 7577, 7578, 7579, 7580, 7581, 7582, 7583, 7584, 7585,
  753  7586, 7587, 7588, 7589, 7590, 7591, 7592, 7593, 7594, 7595, 7596, 7597, 7598,
  754  7599, 7600, 7601, 7605, 7606, 7607, 7608, 7609, 7610, 7611, 7612, 7613, 7615,
  755  7616, 7617, 7618, 7619, 7620, 7621, 7622, 7623, 7624, 7625, 7628, 7629, 7630,
  756  7632, 7633, 7634, 7639, 7640, 7641, 7647, 7648, 7649, 7650, 7651, 7652, 7654,
  757  7663, 7664, 7665, 7670, 7671, 7672, 7675, 7676, 7677, 7678, 7679, 7680, 7681,
  758  7682, 7683, 7690, 7691, 7692, 7693, 7694, 7695, 7696, 7697, 7698, 7699, 7700,
  759  7701, 7702, 7704, 7706, 7710, 7711, 7712, 7718, 7719, 7720, 7728, 7729, 7730,
  760  7739, 7740, 7741, 7744, 7745, 7746, 7748, 7754, 7755, 7756, 7762, 7763, 7764,
  761  7766, 7767, 7768, 7769, 7770, 7771, 7772, 7773, 7774, 7775, 7776, 7777, 7778,
  762  7779, 7787, 7788, 7789, 7790, 7791, 7792, 7793, 7794, 7795, 7796, 7797, 7798,
  763  7810, 7811, 7812, 7814, 7815, 7816, 7817, 7818, 7819, 7820, 7821, 7822, 7824,
  764  7825, 7826, 7827, 7828, 7829, 7830, 7831, 7832, 7833, 7834, 7835, 7836, 7837,
  765  7838, 7842, 7843, 7844, 7845, 7846, 7847, 7848, 7849, 7850, 7852, 7853, 7854,
  766  7855, 7856, 7857, 7858, 7859, 7860, 7862, 7863, 7864, 7865, 7866, 7867, 7868,
  767  7869, 7870, 7871, 7872, 7873, 7874, 7875, 7876, 7877, 7878, 7879, 7882, 7883,
  768  7884, 7885, 7886, 7887, 7888, 7889, 7890, 7891, 7892, 7893, 7894, 7895, 7896,
  769  7897, 7898, 7899, 7900, 7901, 7902, 7903, 7904, 7905, 7912, 7913, 7914, 7915,
  770  7916, 7917, 7918, 7919, 7920, 7921, 7922, 7923, 7924, 7925, 7926, 7927, 7928,
  771  7929, 7930, 7931, 7932, 7933, 7934, 7935, 7936, 7937, 7938, 7946, 7947, 7948,
  772  7949, 7950, 7951, 7952, 7953, 7954, 7955, 7956, 7964, 7965, 7966, 7967, 7968,
  773  7969, 7970, 7971, 7972, 7973, 7974, 7975, 7976, 7977, 7978, 7979, 7980, 7981,
  774  7982, 7983, 7984, 7985, 7986, 7987, 7994, 7995, 7996, 7997, 7998, 7999, 8000,
  775  8001, 8002, 8003, 8004, 8005, 8006, 8007, 8008, 8009, 8010, 8011, 8012, 8013,
  776  8014, 8020, 8021, 8022, 8023, 8024, 8025, 8026, 8027, 8028, 8029, 8030, 8031,
  777  8032, 8033, 8034, 8035, 8036, 8037, 8042, 8043, 8044, 8045, 8046, 8047, 8048,
  778  8049, 8050, 8051, 8052, 8053, 8054, 8055, 8056, 8060, 8061, 8062, 8063, 8064,
  779  8065, 8066, 8070, 8071, 8072, 8073, 8074, 8075, 8076, 8077, 8078, 8079, 8080,
  780  8081, 8082, 8083, 8084, 8085, 8086, 8087, 8088, 8089, 8090, 8094, 8095, 8096,
  781  8097, 8098, 8100, 8101, 8102, 8103, 8104, 8105, 8106, 8107, 8108, 8109, 8110,
  782  8111, 8114, 8115, 8116, 8117, 8118, 8119, 8120, 8121, 8122, 8123, 8124, 8125,
  783  8126, 8127, 8128, 8130, 8131, 8132, 8133, 8134, 8135, 8136, 8137, 8138, 8139,
  784  8140, 8141, 8142, 8146, 8147, 8148, 8149, 8150, 8151, 8152, 8153, 8154, 8155,
  785  8156, 8157, 8158, 8159, 8160, 8161, 8162, 8163, 8164, 8165, 8166, 8167, 8170,
  786  8171, 8172, 8173, 8174, 8175, 8176, 8177, 8178, 8179, 8180, 8182, 8183, 8184,
  787  8185, 8186, 8187, 8188, 8189, 8190, 8196, 8197, 8198, 8199, 8200, 8201, 8202,
  788  8203, 8204, 8205, 8206, 8207, 8208, 8209, 8210, 8211, 8212, 8213, 8214, 8215,
  789  8216, 8217, 8218, 8219, 8220, 8221, 8222, 8224, 8225, 8226, 8227, 8228, 8229,
  790  8230, 8231, 8232, 8233, 8234, 8235, 8236, 8237, 8238, 8239, 8242, 8243, 8244,
  791  8245, 8246, 8247, 8248, 8249, 8250, 8251, 8252, 8253, 8254, 8255, 8256, 8257,
  792  8258, 8259, 8260, 8261, 8262, 8263, 8264, 8265, 8266, 8268, 8269, 8270, 8271,
  793  8272, 8273, 8274, 8275, 8276, 8277, 8278, 8279, 8280, 8281, 8282, 8283, 8284,
  794  8285, 8286, 8287, 8288, 8289, 8290, 8291, 8292, 8293, 8294, 8295, 8296, 8297,
  795  8298, 8299, 8300, 8301, 8302, 8303, 8304, 8305, 8306, 8307, 8308, 8309, 8310,
  796  8311, 8312, 8313, 8314, 8315, 8316, 8317, 8318, 8319, 8320, 8324, 8325, 8326,
  797  8327, 8328, 8329, 8330, 8331, 8332, 8334, 8335, 8336, 8337, 8338, 8339, 8340,
  798  8341, 8342, 8348, 8349, 8350, 8351, 8353, 8354, 8355, 8356, 8358, 8359, 8360,
  799  8361, 8363, 8364, 8365, 8366, 8368, 8369, 8370, 8371, 8372, 8373, 8385, 8386,
  800  8387, 8388, 8390, 8391, 8392, 8393, 8394, 8395, 8396, 8397, 8398, 8399, 8400,
  801  8402, 8403, 8404, 8405, 8407, 8408, 8409, 8410, 8412, 8413, 8414, 8415, 8416,
  802  8417, 8418, 8419, 8420, 8421, 8422, 8423, 8424, 8425, 8426, 8427, 8428, 8429,
  803  8430, 8431, 8432, 8433, 8434, 8435, 8436, 8437, 8438, 8439, 8440, 8441, 8442,
  804  8444, 8445, 8446, 8447, 8449, 8450, 8451, 8452, 8454, 8455, 8456, 8457, 8459,
  805  8460, 8461, 8462, 8464, 8465, 8466, 8467, 8468, 8469, 8470, 8471, 8472, 8473,
  806  8474, 8475, 8476, 8477, 8478, 8479, 8480, 8481, 8482, 8483, 8484, 8485, 8486,
  807  8487, 8489, 8490, 8491, 8492, 8494, 8495, 8496, 8497, 8499, 8500, 8501, 8502,
  808  8504, 8505, 8506, 8507, 8509, 8510, 8511, 8512, 8514, 8515, 8516, 8517, 8519,
  809  8520, 8521, 8522, 8525, 8526, 8527, 8528, 8529, 8530, 8531, 8532, 8533, 8534,
  810  8535, 8537, 8538, 8539, 8540, 8542, 8543, 8544, 8545, 8547, 8548, 8549, 8550,
  811  8552, 8553, 8554, 8555, 8557, 8558, 8559, 8560, 8561, 8562, 8563, 8564, 8566,
  812  8567, 8568, 8569, 8571, 8572, 8573, 8574, 8576, 8577, 8578, 8579, 8581, 8582,
  813  8583, 8584, 8586, 8587, 8588, 8589, 8591, 8592, 8593, 8594, 8596, 8597, 8598,
  814  8599, 8600, 8601, 8602, 8604, 8606, 8615, 8616, 8617, 8618, 8619, 8620, 8621,
  815  8622, 8623, 8624, 8625, 8626, 8627, 8628, 8629, 8630, 8631, 8632, 8633, 8636,
  816  8637, 8638, 8639, 8640, 8641, 8643, 8644, 8645, 8646, 8647, 8648, 8651, 8652,
  817  8653, 8654, 8655, 8656, 8657, 8658, 8663, 8664, 8665, 8666, 8669, 8670, 8671,
  818  8672, 8673, 8674, 8675, 8676, 8678, 8679, 8680, 8681, 8682, 8683, 8687, 8688,
  819  8689, 8691, 8692, 8693, 8694, 8696, 8697, 8698, 8699, 8700, 8701, 8702, 8703,
  820  8704, 8705, 8706, 8707, 8708, 8709, 8710, 8711, 8712, 8713, 8714, 8715, 8716,
  821  8717, 8718, 8719, 8720, 8721, 8722, 8723, 8724, 8725, 8726, 8727, 8728, 8729,
  822  8730, 8732, 8733, 8734, 8735, 8737, 8738, 8739, 8740, 8742, 8743, 8744, 8745,
  823  8746, 8747, 8748, 8749, 8750, 8751, 8752, 8753, 8754, 8755, 8756, 8757, 8758,
  824  8759, 8760, 8761, 8762, 8763, 8764, 8765, 8766, 8767, 8768, 8769, 8770, 8771,
  825  8772, 8774, 8775, 8776, 8777, 8778, 8779, 8780, 8781, 8782, 8783, 8784, 8785,
  826  8786, 8787, 8788, 8789, 8790, 8791, 8792, 8793, 8794, 8795, 8796, 8797, 8798,
  827  8799, 8800, 8801, 8802, 8803, 8804, 8805, 8806, 8807, 8808, 8809, 8810, 8811,
  828  8812, 8813, 8814, 8815, 8816, 8817, 8818, 8819, 8820, 8821, 8822, 8823, 8824,
  829  8825, 8826, 8827, 8828, 8829, 8830, 8831, 8832, 8833, 8834, 8835, 8836, 8837,
  830  8838, 8839, 8840, 8841, 8842, 8843, 8844, 8845, 8846, 8847, 8848, 8849, 8850,
  831  8851, 8852, 8853, 8854, 8855, 8856, 8857, 8858, 8859, 8860, 8861, 8862, 8863,
  832  8864, 8865, 8866, 8867, 8868, 8869, 8870, 8871, 8872, 8873, 8874, 8875, 8876,
  833  8877, 8878, 8879, 8880, 8881, 8882, 8883, 8884, 8885, 8886, 8887, 8888, 8889,
  834  8890, 8891, 8892, 8893, 8894, 8895, 8896, 8897, 8898, 8899, 8900, 8901, 8902,
  835  8903, 8904, 8905, 8906, 8907, 8908, 8909, 8910, 8911, 8912, 8913, 8914, 8915,
  836  8916, 8917, 8918, 8919, 8920, 8921, 8922, 8923, 8924, 8926, 8928, 8930, 8932,
  837  8934, 8936, 8938, 8940, 8942, 8951, 8952, 8953, 8954, 8955, 8956, 8957, 8958,
  838  8959, 8960, 8961, 8962, 8963, 8964, 8965, 8966, 8967, 8968, 8969, 8970, 8971,
  839  8973, 8974, 8975, 8976, 8977, 8978, 8981, 8982, 8983, 8984, 8986, 8987, 8988,
  840  8989, 8990, 8991, 8997, 8998, 8999, 9000, 9001, 9002, 9003, 9004, 9005, 9006,
  841  9007, 9008, 9009, 9010, 9011, 9012, 9013, 9014, 9015, 9017, 9018, 9019, 9020,
  842  9021, 9022, 9023, 9024, 9026, 9027, 9028, 9029, 9031, 9032, 9033, 9034, 9035,
  843  9036, 9037, 9038, 9039, 9040, 9042, 9043, 9044, 9045, 9047, 9048, 9049, 9050,
  844  9052, 9053, 9054, 9055, 9056, 9060, 9061, 9062, 9063, 9064, 9065, 9066, 9067,
  845  9068, 9069, 9070, 9071, 9072, 9073, 9074, 9075, 9076, 9077, 9078, 9079, 9080,
  846  9081, 9083, 9084, 9085, 9086, 9087, 9088, 9089, 9090, 9091, 9092, 9093, 9094,
  847  9095, 9096, 9097, 9098, 9099, 9100, 9101, 9102, 9103, 9104, 9105, 9106, 9107,
  848  9108, 9109, 9110, 9111, 9112, 9113, 9114, 9115, 9116, 9117, 9118, 9119, 9120,
  849  9121, 9122, 9124, 9125, 9126, 9127, 9128, 9131, 9132, 9133, 9134, 9135, 9139,
  850  9140, 9141, 9142, 9143, 9144, 9145, 9151, 9152, 9153, 9154, 9156, 9157, 9158,
  851  9159, 9161, 9162, 9163, 9164, 9166, 9167, 9168, 9169, 9176, 9177, 9178, 9179,
  852  9180, 9181, 9183, 9184, 9185, 9186, 9188, 9189, 9190, 9191, 9193, 9194, 9195,
  853  9196, 9198, 9199, 9200, 9201, 9203, 9204, 9205, 9206, 9207, 9209, 9210, 9211,
  854  9212, 9214, 9215, 9216, 9218, 9219, 9220, 9221, 9223, 9224, 9225, 9226, 9228,
  855  9229, 9230, 9231, 9233, 9234, 9235, 9236, 9237, 9238, 9239, 9240, 9241, 9242,
  856  9243, 9244, 9245, 9246, 9247, 9248, 9249, 9250, 9251, 9252, 9253, 9254, 9255,
  857  9256, 9258, 9259, 9260, 9261, 9263, 9264, 9265, 9266, 9268, 9269, 9270, 9271,
  858  9273, 9274, 9275, 9276, 9278, 9279, 9280, 9281, 9283, 9284, 9285, 9286, 9288,
  859  9289, 9290, 9291, 9293, 9294, 9295, 9296, 9298, 9299, 9300, 9301, 9303, 9304,
  860  9305, 9306, 9308, 9309, 9310, 9311, 9313, 9314, 9315, 9316, 9317, 9318, 9319,
  861  9320, 9322, 9323, 9324, 9327, 9328, 9329, 9330, 9331, 9332, 9333, 9335, 9336,
  862  9337, 9338, 9340, 9341, 9342, 9343, 9345, 9346, 9347, 9348, 9350, 9351, 9352,
  863  9353, 9354, 9355, 9356, 9358, 9359, 9360, 9361, 9363, 9364, 9365, 9367, 9368,
  864  9369, 9370, 9372, 9373, 9374, 9376, 9377, 9378, 9379, 9381, 9382, 9383, 9384,
  865  9385, 9386, 9387, 9392, 9393, 9394, 9395, 9396, 9397, 9398, 9403, 9404, 9405,
  866  9406, 9407, 9408, 9409, 9410, 9411, 9414, 9415, 9416, 9417, 9421, 9422, 9423,
  867  9424, 9426, 9427, 9428, 9429, 9431, 9432, 9438, 9439, 9440, 9442, 9443, 9444,
  868  9445, 9446, 9447, 9448, 9449, 9451, 9452, 9453, 9454, 9456, 9457, 9458, 9459,
  869  9461, 9462, 9463, 9464, 9466, 9467, 9468, 9469, 9471, 9472, 9473, 9474, 9476,
  870  9477, 9478, 9479, 9480, 9481, 9482, 9483, 9484, 9485, 9486, 9487, 9488, 9489,
  871  9490, 9491, 9492, 9493, 9494, 9495, 9496, 9497, 9498, 9499, 9500, 9501, 9502,
  872  9503, 9504, 9505, 9506, 9507, 9508, 9510, 9511, 9512, 9513, 9514, 9515, 9516,
  873  9517, 9518, 9519, 9520, 9521, 9523, 9524, 9525, 9526, 9528, 9529, 9530, 9531,
  874  9533, 9534, 9535, 9536, 9538, 9539, 9540, 9541, 9543, 9544, 9545, 9546, 9548,
  875  9549, 9550, 9551, 9553, 9554, 9555, 9556, 9557, 9558, 9559, 9560, 9562, 9563,
  876  9564, 9565, 9567, 9568, 9569, 9570, 9572, 9573, 9574, 9575, 9577, 9578, 9579,
  877  9580, 9582, 9583, 9584, 9585, 9587, 9588, 9589, 9590, 9592, 9593, 9594, 9595,
  878  9597, 9598, 9599, 9600, 9601, 9602, 9603, 9604, 9606, 9607, 9608, 9609, 9611,
  879  9612, 9613, 9614, 9616, 9617, 9618, 9619, 9620, 9621, 9622, 9623, 9624, 9626,
  880  9627, 9628, 9629, 9630, 9631, 9632, 9633, 9634, 9635, 9636, 9637, 9638, 9639,
  881  9640, 9641, 9642, 9643, 9644, 9645, 9646, 9647, 9648, 9649, 9650, 9651, 9652,
  882  9653, 9655, 9656, 9657, 9658, 9659, 9660, 9661, 9662, 9664, 9665, 9666, 9667,
  883  9669, 9670, 9671, 9672, 9673, 9674, 9676, 9677, 9678, 9679, 9681, 9682, 9683,
  884  9684, 9686, 9687, 9688, 9689, 9690, 9691, 9693, 9694, 9695, 9696, 9697, 9698,
  885  9699, 9700, 9701, 9702, 9703, 9704, 9705, 9706, 9707, 9708, 9709, 9710, 9712,
  886  9713, 9714, 9715, 9716, 9720, 9721, 9722, 9723, 9724, 9725, 9726, 9734, 9735,
  887  9736, 9737, 9738, 9739, 9741, 9742, 9743, 9744, 9746, 9747, 9748, 9749, 9751,
  888  9752, 9753, 9754, 9756, 9757, 9758, 9759, 9760, 9761, 9762, 9763, 9764, 9765,
  889  9766, 9767, 9769, 9770, 9771, 9772, 9774, 9775, 9776, 9777, 9778, 9779, 9780,
  890  9781, 9782, 9783, 9784, 9785, 9786, 9787, 9788, 9789, 9790, 9792, 9793, 9794,
  891  9795, 9796, 9797, 9798, 9799, 9800, 9801, 9802, 9803, 9804, 9805, 9806, 9808,
  892  9809, 9810, 9811, 9812, 9813, 9814, 9815, 9817, 9818, 9819, 9820, 9822, 9823,
  893  9824, 9825, 9827, 9828, 9829, 9830, 9831, 9832, 9834, 9835, 9836, 9837, 9839,
  894  9840, 9841, 9842, 9844, 9845, 9846, 9847, 9849, 9850, 9851, 9852, 9853, 9854,
  895  9855, 9856, 9857, 9858, 9859, 9860, 9866, 9867, 9868, 9869, 9870, 9871, 9874,
  896  9875, 9876, 9877, 9878, 9879, 9880, 9881, 9882, 9883, 9884, 9885, 9886, 9887,
  897  9888, 9889, 9890, 9891, 9892, 9893, 9894, 9895, 9898, 9899, 9900, 9901, 9902,
  898  9903, 9904, 9905, 9906, 9907, 9908, 9909, 9911, 9912, 9913, 9914, 9915, 9916,
  899  9917, 9918, 9919, 9920, 9921, 9922, 9923, 9924, 9925, 9926, 9927, 9928, 9929,
  900  9930, 9931, 9932, 9933, 9934, 9935, 9936, 9937, 9938, 9939, 9940, 9946, 9947,
  901  9948, 9949, 9950, 9951, 9952, 9953, 9954, 9955, 9956, 9957, 9960, 9961, 9962,
  902  9963, 9964, 9965, 9966, 9967, 9968, 9969, 9970, 9971, 9972, 9982, 9983, 9984,
  903  9986, 9987, 9988, 9989, 9991, 9992, 9993, 9994, 9996, 9997, 9998, 9999, 10001,
  904  10002, 10003, 10004, 10006, 10007, 10008, 10009, 10011, 10012, 10013, 10014,
  905  10016, 10017, 10018, 10019, 10021, 10022, 10023, 10024, 10026, 10027, 10028,
  906  10029, 10031, 10032, 10033, 10034, 10036, 10037, 10038, 10040, 10041, 10042,
  907  10043, 10044, 10048, 10049, 10050, 10051, 10052, 10053, 10054, 10056, 10057,
  908  10058, 10059, 10061, 10062, 10063, 10064, 10065, 10066, 10067, 10068, 10070,
  909  10071, 10072, 10073, 10075, 10076, 10077, 10078, 10080, 10081, 10082, 10083,
  910  10085, 10086, 10087, 10088, 10090, 10091, 10092, 10093, 10095, 10096, 10097,
  911  10098, 10100, 10101, 10102, 10103, 10105, 10106, 10107, 10108, 10110, 10111,
  912  10112, 10113, 10115, 10116, 10117, 10118, 10120, 10121, 10122, 10123, 10125,
  913  10126, 10127, 10128, 10129, 10130, 10131, 10132, 10138, 10139, 10140, 10141,
  914  10143, 10144, 10145, 10146, 10148, 10149, 10150, 10151, 10152, 10153, 10154,
  915  10155, 10156, 10157, 10158, 10159, 10160, 10161, 10164, 10165, 10166, 10167,
  916  10169, 10170, 10171, 10172, 10173, 10174, 10176, 10177, 10178, 10179, 10181,
  917  10182, 10183, 10184, 10186, 10187, 10188, 10189, 10191, 10192, 10193, 10194,
  918  10196, 10197, 10198, 10199, 10201, 10202, 10203, 10204, 10206, 10207, 10208,
  919  10209, 10211, 10212, 10213, 10214, 10216, 10217, 10218, 10219, 10221, 10222,
  920  10223, 10224, 10226, 10227, 10228, 10229, 10231, 10232, 10233, 10234, 10236,
  921  10237, 10238, 10239, 10241, 10242, 10243, 10244, 10245, 10246, 10248, 10249,
  922  10250, 10251, 10253, 10254, 10255, 10256, 10258, 10259, 10260, 10261, 10263,
  923  10264, 10265, 10266, 10268, 10269, 10270, 10271, 10272, 10276, 10277, 10278,
  924  10279, 10280, 10281, 10282, 10283, 10285, 10286, 10287, 10288, 10289, 10290,
  925  10292, 10293, 10294, 10295, 10296, 10297, 10298, 10299, 10300, 10301, 10304,
  926  10305, 10306, 10307, 10308, 10309, 10310, 10311, 10312, 10313, 10314, 10315,
  927  10320, 10321, 10322, 10323, 10324, 10325, 10327, 10328, 10329, 10330, 10331,
  928  10332, 10334, 10335, 10336, 10337, 10339, 10340, 10341, 10342, 10343, 10344,
  929  10345, 10346, 10347, 10356, 10357, 10358, 10359, 10360, 10364, 10365, 10366,
  930  10367, 10368, 10369, 10370, 10371, 10372, 10373, 10374, 10375, 10376, 10377,
  931  10378, 10379, 10380, 10381, 10382, 10383, 10384, 10385, 10386, 10387, 10388,
  932  10389, 10391, 10392, 10393, 10394, 10396, 10397, 10398, 10399, 10400, 10401,
  933  10402, 10403, 10404, 10405, 10406, 10407, 10408, 10409, 10410, 10411, 10412,
  934  10413, 10414, 10415, 10416, 10417, 10418, 10419, 10420, 10422, 10423, 10424,
  935  10425, 10426, 10427, 10429, 10430, 10431, 10432, 10434, 10435, 10436, 10437,
  936  10439, 10440, 10441, 10442, 10444, 10445, 10446, 10447, 10449, 10450, 10451,
  937  10452, 10454, 10455, 10456, 10457, 10458, 10459, 10461, 10462, 10463, 10464,
  938  10466, 10467, 10468, 10469, 10471, 10472, 10473, 10474, 10475, 10476, 10478,
  939  10479, 10480, 10481, 10483, 10484, 10485, 10486, 10488, 10489, 10490, 10491,
  940  10493, 10494, 10495, 10496, 10497, 10498, 10499, 10512, 10513, 10514, 10515,
  941  10517, 10518, 10519, 10520, 10522, 10523, 10524, 10525, 10527, 10528, 10529,
  942  10530, 10532, 10533, 10534, 10535, 10536, 10537, 10541, 10542, 10543, 10544,
  943  10546, 10547, 10548, 10549, 10550, 10554, 10555, 10556, 10557, 10558, 10559,
  944  10560, 10561, 10562, 10563, 10565, 10566, 10567, 10568, 10569, 10570, 10571,
  945  10572, 10573, 10574, 10575, 10576, 10577, 10578, 10579, 10580, 10581, 10582,
  946  10583, 10584, 10585, 10586, 10587, 10588, 10589, 10590, 10591, 10592, 10593,
  947  10594, 10595, 10596, 10597, 10598, 10600, 10601, 10602, 10603, 10604, 10608,
  948  10609, 10610, 10611, 10612, 10613, 10615, 10616, 10617, 10618, 10620, 10621,
  949  10622, 10623, 10625, 10626, 10627, 10628, 10630, 10631, 10632, 10633, 10635,
  950  10636, 10637, 10638, 10639, 10640, 10641, 10642, 10643, 10644, 10645, 10646,
  951  10647, 10648, 10650, 10651, 10652, 10653, 10655, 10656, 10657, 10658, 10660,
  952  10661, 10662, 10663, 10665, 10666, 10667, 10668, 10670, 10671, 10672, 10673,
  953  10675, 10676, 10677, 10678, 10680, 10681, 10682, 10683, 10685, 10686, 10687,
  954  10688, 10690, 10691, 10692, 10693, 10695, 10696, 10697, 10698, 10700, 10701,
  955  10702, 10703, 10704, 10705, 10706, 10707, 10708, 10709, 10711, 10712, 10713,
  956  10714, 10716, 10717, 10718, 10719, 10721, 10722, 10723, 10724, 10726, 10727,
  957  10728, 10729, 10731, 10732, 10733, 10734, 10736, 10737, 10738, 10739, 10741,
  958  10742, 10743, 10744, 10746, 10747, 10748, 10749, 10751, 10752, 10753, 10754,
  959  10756, 10757, 10758, 10759, 10760, 10761, 10762, 10763, 10764, 10765, 10766,
  960  10767, 10769, 10770, 10771, 10772, 10774, 10775, 10776, 10777, 10779, 10780,
  961  10781, 10782, 10784, 10785, 10786, 10787, 10789, 10790, 10791, 10792, 10794,
  962  10795, 10796, 10797, 10799, 10800, 10801, 10802, 10803, 10804, 10808, 10809,
  963  10810, 10811, 10812, 10813, 10814, 10815, 10816, 10817, 10818, 10819, 10820,
  964  10821, 10822, 10823, 10827, 10828, 10829, 10830, 10832, 10833, 10834, 10835,
  965  10836, 10837, 10839, 10840, 10841, 10842, 10844, 10845, 10846, 10847, 10849,
  966  10850, 10851, 10852, 10854, 10855, 10856, 10857, 10859, 10860, 10861, 10862,
  967  10864, 10865, 10866, 10867, 10868, 10869, 10870, 10871, 10872, 10873, 10874,
  968  10875, 10876, 10877, 10879, 10880, 10881, 10882, 10884, 10885, 10886, 10887,
  969  10888, 10889, 10891, 10892, 10893, 10894, 10896, 10897, 10898, 10899, 10901,
  970  10902, 10903, 10904, 10906, 10907, 10908, 10909, 10910, 10911, 10912, 10913,
  971  10914, 10918, 10919, 10920, 10921, 10922, 10923, 10924, 10925, 10926, 10927,
  972  10928, 10929, 10930, 10934, 10935, 10936, 10937, 10938, 10939, 10940, 10941,
  973  10942, 10945, 10946, 10947, 10948, 10950, 10951, 10952, 10953, 10954, 10958,
  974  10959, 10960, 10961, 10962, 10963, 10964, 10965, 10966, 10967, 10968, 10969,
  975  10970, 10971, 10972, 10973, 10975, 10976, 10977, 10978, 10980, 10981, 10982,
  976  10983, 10985, 10986, 10987, 10988, 10990, 10991, 10992, 10993, 10995, 10996,
  977  10997, 10998, 10999, 11000, 11001, 11002, 11003, 11005, 11006, 11007, 11008,
  978  11010, 11011, 11012, 11013, 11015, 11016, 11017, 11018, 11020, 11021, 11022,
  979  11023, 11025, 11026, 11027, 11028, 11030, 11031, 11032, 11033, 11035, 11036,
  980  11037, 11038, 11039, 11040, 11041, 11042, 11043, 11044, 11045, 11046, 11047,
  981  11048, 11049, 11073, 11074, 11075, 11076, 11077, 11078, 11080, 11081, 11082,
  982  11083, 11085, 11086, 11087, 11088, 11090, 11091, 11092, 11093, 11095, 11096,
  983  11097, 11098, 11100, 11101, 11102, 11103, 11104, 11105, 11106, 11107, 11117,
  984  11118, 11119, 11120, 11121, 11122, 11124, 11125, 11126, 11127, 11128, 11129,
  985  11130, 11131, 11132, 11133, 11134, 11135, 11136, 11137, 11138, 11139, 11140,
  986  11141, 11142, 11143, 11144, 11145, 11146, 11147, 11149, 11150, 11151, 11152,
  987  11154, 11155, 11156, 11157, 11159, 11160, 11161, 11162, 11163, 11164, 11165,
  988  11166, 11167, 11168, 11169, 11170, 11171, 11172, 11173, 11174, 11175, 11176,
  989  11177, 11178, 11179, 11180, 11181, 11182, 11183, 11184, 11185, 11186, 11187,
  990  11219, 11220, 11221, 11222, 11223, 11224, 11225, 11226, 11227, 11228, 11230,
  991  11231, 11232, 11233, 11235, 11236, 11237, 11238, 11240, 11241, 11242, 11243,
  992  11245, 11246, 11247, 11248, 11250, 11251, 11252, 11253, 11254, 11258, 11259,
  993  11260, 11261, 11262, 11263, 11265, 11266, 11267, 11268, 11270, 11271, 11272,
  994  11273, 11275, 11276, 11277, 11278, 11279, 11280, 11281, 11282, 11283, 11284,
  995  11285, 11286, 11287, 11288, 11289, 11290, 11291, 11292, 11293, 11294, 11295,
  996  11296, 11297, 11298, 11299, 11300, 11302, 11303, 11304, 11305, 11307, 11308,
  997  11309, 11310, 11312, 11313, 11314, 11315, 11316, 11317, 11318, 11319, 11320,
  998  11321, 11322, 11323, 11324, 11325, 11326, 11327, 11328, 11329, 11330, 11331,
  999  11332, 11333, 11334, 11335, 11336, 11340, 11341, 11342, 11343, 11344, 11345,
 1000  11347, 11348, 11349, 11350, 11352, 11353, 11354, 11355, 11357, 11358, 11359,
 1001  11360, 11361, 11362, 11363, 11364, 11365, 11366, 11367, 11368, 11369, 11370,
 1002  11371, 11372, 11373, 11374, 11375, 11376, 11377, 11378, 11379, 11380, 11382,
 1003  11383, 11384, 11385, 11386, 11387, 11389, 11390, 11391, 11392, 11394, 11395,
 1004  11396, 11397, 11399, 11400, 11401, 11402, 11403, 11404, 11405, 11406, 11407,
 1005  11408, 11409, 11410, 11411, 11412, 11413, 11414, 11415, 11416, 11417, 11418,
 1006  11419, 11420, 11421, 11422, 11423, 11424, 11426, 11427, 11428, 11429, 11431,
 1007  11432, 11433, 11434, 11436, 11437, 11438, 11439, 11440, 11441, 11442, 11443,
 1008  11444, 11445, 11446, 11447, 11448, 11449, 11450, 11451, 11452, 11453, 11454,
 1009  11455, 11456, 11457, 11458, 11459, 11460, 11464, 11465, 11466, 11467, 11468,
 1010  11469, 11471, 11472, 11473, 11474, 11476, 11477, 11478, 11479, 11481, 11482,
 1011  11483, 11484, 11485, 11486, 11487, 11488, 11489, 11490, 11491, 11492, 11493,
 1012  11494, 11495, 11496, 11497, 11498, 11499, 11500, 11501, 11502, 11503, 11504,
 1013  11506, 11507, 11508, 11509, 11510, 11511, 11513, 11514, 11515, 11516, 11518,
 1014  11519, 11520, 11521, 11523, 11524, 11525, 11526, 11527, 11528, 11529, 11530,
 1015  11531, 11532, 11533, 11534, 11535, 11536, 11537, 11538, 11539, 11540, 11541,
 1016  11542, 11543, 11544, 11545, 11546, 11548, 11549, 11550, 11551, 11553, 11554,
 1017  11555, 11556, 11558, 11559, 11560, 11561, 11563, 11564, 11565, 11566, 11568,
 1018  11569, 11570, 11571, 11573, 11574, 11575, 11576, 11578, 11579, 11580, 11581,
 1019  11583, 11584, 11585, 11586, 11588, 11589, 11590, 11591, 11593, 11594, 11595,
 1020  11596, 11598, 11599, 11600, 11601, 11602, 11603, 11605, 11606, 11607, 11608,
 1021  11610, 11611, 11612, 11613, 11615, 11616, 11617, 11618, 11619, 11620, 11621,
 1022  11622, 11623, 11624, 11625, 11626, 11627, 11628, 11629, 11630, 11631, 11632,
 1023  11633, 11634, 11635, 11636, 11637, 11638, 11639, 11640, 11642, 11643, 11644,
 1024  11645, 11647, 11648, 11649, 11650, 11652, 11653, 11654, 11655, 11656, 11657,
 1025  11658, 11659, 11660, 11661, 11662, 11663, 11664, 11665, 11666, 11667, 11668,
 1026  11669, 11670, 11671, 11672, 11673, 11674, 11675, 11676, 11677, 11683, 11684,
 1027  11685, 11686, 11687, 11688, 11690, 11691, 11692, 11693, 11695, 11696, 11697,
 1028  11698, 11700, 11701, 11702, 11703, 11704, 11705, 11706, 11707, 11709, 11710,
 1029  11711, 11712, 11713, 11714, 11716, 11717, 11718, 11719, 11721, 11722, 11723,
 1030  11724, 11726, 11727, 11728, 11729, 11730, 11731, 11732, 11733, 11734, 11735,
 1031  11736, 11737, 11738, 11739, 11740, 11741, 11743, 11744, 11745, 11746, 11748,
 1032  11749, 11750, 11751, 11753, 11754, 11755, 11756, 11758, 11759, 11760, 11762,
 1033  11763, 11764, 11766, 11767, 11768, 11769, 11770, 11771, 11773, 11774, 11775,
 1034  11776, 11778, 11779, 11780, 11781, 11783, 11784, 11785, 11786, 11787, 11788,
 1035  11789, 11790, 11791, 11792, 11793, 11794, 11795, 11796, 11797, 11798, 11799,
 1036  11800, 11801, 11802, 11804, 11805, 11806, 11807, 11808, 11809, 11810, 11811,
 1037  11812, 11813, 11814, 11815, 11816, 11817, 11839, 11840, 11841, 11842, 11843,
 1038  11844, 11845, 11847, 11849, 11850, 11851, 11852, 11854, 11855, 11856, 11857,
 1039  11859, 11860, 11861, 11862, 11864, 11865, 11866, 11867, 11868, 11869, 11870,
 1040  11871, 11872, 11873, 11874, 11875, 11876, 11877, 11878, 11879, 11880, 11881,
 1041  11883, 11884, 11885, 11886, 11888, 11889, 11890, 11891, 11892, 11893, 11894,
 1042  11895, 11896, 11897, 11898, 11899, 11900, 11901, 11902, 11903, 11904, 11905,
 1043  11907, 11908, 11909, 11910, 11912, 11913, 11914, 11915, 11916, 11917, 11918,
 1044  11919, 11920, 11921, 11923, 11924, 11925, 11926, 11927, 11928, 11936, 11937,
 1045  11938, 11939, 11942, 11943, 11944, 11945, 11947, 11948, 11949, 11950, 11951,
 1046  11952, 11953, 11955, 11956, 11957, 11958, 11960, 11961, 11962, 11963, 11965,
 1047  11966, 11967, 11968, 11969, 11970, 11971, 11972, 11974, 11975, 11976, 11977,
 1048  11979, 11980, 11981, 11982, 11984, 11985, 11986, 11987, 11989, 11990, 11991,
 1049  11992, 11994, 11995, 11996, 11997, 11999, 12000, 12001, 12002, 12003, 12004,
 1050  12005, 12006, 12008, 12009, 12010, 12011, 12013, 12014, 12015, 12016, 12018,
 1051  12019, 12020, 12021, 12023, 12024, 12025, 12026, 12028, 12029, 12030, 12031,
 1052  12033, 12034, 12035, 12036, 12037, 12038, 12039, 12040, 12042, 12043, 12044,
 1053  12045, 12047, 12048, 12049, 12050, 12052, 12053, 12054, 12055, 12057, 12058,
 1054  12059, 12060, 12061, 12062, 12063, 12064, 12066, 12067, 12068, 12069, 12071,
 1055  12072, 12073, 12074, 12076, 12077, 12078, 12079, 12081, 12082, 12083, 12084,
 1056  12085, 12086, 12087, 12088, 12090, 12091, 12092, 12093, 12095, 12096, 12097,
 1057  12098, 12100, 12101, 12102, 12103, 12105, 12106, 12107, 12108, 12110, 12111,
 1058  12112, 12113, 12115, 12116, 12117, 12118, 12119, 12120, 12121, 12122, 12132,
 1059  12133, 12134, 12135, 12136, 12137, 12138, 12139, 12140, 12141, 12142, 12143,
 1060  12144, 12145, 12146, 12147, 12148, 12149, 12150, 12151, 12152, 12153, 12154,
 1061  12158, 12159, 12160, 12162, 12164, 12165, 12166, 12167, 12169, 12170, 12171,
 1062  12172, 12174, 12175, 12176, 12177, 12178, 12182, 12183, 12184, 12185, 12186,
 1063  12187, 12188, 12192, 12193, 12194, 12195, 12196, 12197, 12198, 12199, 12200,
 1064  12204, 12205, 12206, 12207, 12208, 12210, 12212, 12218, 12219, 12220, 12221,
 1065  12222, 12223, 12224, 12225, 12226, 12227, 12228, 12229, 12230, 12231, 12232,
 1066  12233, 12234, 12235, 12236, 12237, 12238, 12239, 12240, 12241, 12242, 12243,
 1067  12244, 12245, 12246, 12247, 12256, 12257, 12258, 12259, 12260, 12261, 12262,
 1068  12263, 12264, 12265, 12266, 12267, 12268, 12269, 12270, 12271, 12272, 12273,
 1069  12276, 12277, 12278, 12279, 12280, 12281, 12282, 12284, 12286, 12287, 12288,
 1070  12297, 12298, 12299, 12300, 12301, 12302, 12303, 12304, 12306, 12307, 12308,
 1071  12309, 12311, 12312, 12313, 12314, 12315, 12316, 12317, 12318, 12319, 12320,
 1072  12321, 12322, 12323, 12324, 12325, 12326, 12327, 12328, 12329, 12330, 12331,
 1073  12332, 12333, 12334, 12341, 12342, 12343, 12344, 12345, 12346, 12347, 12348,
 1074  12349, 12350, 12351, 12352, 12353, 12354, 12355, 12356, 12357, 12358, 12364,
 1075  12365, 12366, 12367, 12368, 12369, 12370, 12371, 12372, 12373, 12374, 12375,
 1076  12378, 12379, 12380, 12381, 12382, 12383, 12384, 12385, 12386, 12387, 12392,
 1077  12393, 12394, 12395, 12396, 12397, 12398, 12399, 12400, 12401, 12402, 12403,
 1078  12404, 12405, 12406, 12407, 12408, 12409, 12410, 12411, 12412, 12413, 12414,
 1079  12415, 12416, 12417, 12418, 12419, 12420, 12426, 12427, 12428, 12429, 12430,
 1080  12431, 12432, 12433, 12434, 12435, 12436, 12437, 12438, 12439, 12440, 12441,
 1081  12442, 12443, 12448, 12449, 12450, 12451, 12452, 12453, 12454, 12455, 12456,
 1082  12457, 12459, 12460, 12461, 12462, 12463, 12464, 12465, 12466, 12467, 12468,
 1083  12472, 12473, 12474, 12475, 12476, 12480, 12481, 12482, 12483, 12484, 12485,
 1084  12486, 12487, 12488, 12489, 12490, 12491, 12492, 12493, 12494, 12495, 12496,
 1085  12500, 12501, 12502, 12503, 12504, 12505, 12507, 12508, 12509, 12510, 12511,
 1086  12512, 12513, 12514, 12515, 12516, 12517, 12518, 12519, 12520, 12521, 12525,
 1087  12526, 12527, 12528, 12529, 12532, 12533, 12534, 12535, 12536, 12537, 12538,
 1088  12539, 12540, 12541, 12542, 12543, 12547, 12548, 12549, 12550, 12551, 12552,
 1089  12553, 12554, 12555, 12556, 12557, 12558, 12559, 12560, 12561, 12563, 12564,
 1090  12565, 12566, 12567, 12568, 12569, 12570, 12571, 12572, 12573, 12574, 12575,
 1091  12576, 12577, 12578, 12579, 12580, 12581, 12582, 12583, 12584, 12585, 12586,
 1092  12591, 12592, 12593, 12594, 12595, 12596, 12597, 12598, 12599, 12600, 12601,
 1093  12602, 12603, 12604, 12605, 12606, 12607, 12608, 12609, 12610, 12611, 12612,
 1094  12613, 12614, 12615, 12619, 12620, 12621, 12622, 12623, 12624, 12625, 12626,
 1095  12627, 12629, 12630, 12631, 12632, 12633, 12634, 12635, 12636, 12637, 12640,
 1096  12641, 12642, 12643, 12644, 12645, 12646, 12647, 12648, 12649, 12650, 12652,
 1097  12661, 12662, 12663, 12664, 12665, 12666, 12667, 12668, 12669, 12670, 12671,
 1098  12672, 12673, 12680, 12681, 12682, 12683, 12684, 12685, 12686, 12687, 12688,
 1099  12689, 12691, 12693, 12697, 12698, 12699, 12700, 12701, 12702, 12703, 12704,
 1100  12705, 12706, 12707, 12709, 12715, 12716, 12717, 12718, 12719, 12720, 12721,
 1101  12722, 12723, 12724, 12725, 12726, 12727, 12728, 12729, 12730, 12731, 12739,
 1102  12740, 12741, 12742, 12743, 12744, 12745, 12746, 12747, 12748, 12749, 12750,
 1103  12762, 12763, 12764, 12766, 12767, 12768, 12769, 12770, 12771, 12772, 12773,
 1104  12774, 12776, 12777, 12778, 12779, 12780, 12781, 12782, 12783, 12784, 12785,
 1105  12786, 12787, 12788, 12789, 12790, 12794, 12795, 12796, 12797, 12798, 12799,
 1106  12800, 12801, 12802, 12804, 12805, 12806, 12807, 12808, 12809, 12810, 12811,
 1107  12812, 12814, 12815, 12816, 12817, 12818, 12819, 12820, 12821, 12822, 12823,
 1108  12824, 12825, 12826, 12827, 12828, 12829, 12830, 12831, 12834, 12835, 12836,
 1109  12837, 12838, 12839, 12840, 12841, 12842, 12843, 12844, 12845, 12846, 12847,
 1110  12848, 12849, 12850, 12851, 12852, 12853, 12854, 12855, 12856, 12857, 12864,
 1111  12865, 12866, 12867, 12868, 12869, 12870, 12871, 12872, 12873, 12874, 12875,
 1112  12876, 12877, 12878, 12879, 12880, 12881, 12882, 12883, 12884, 12885, 12886,
 1113  12887, 12888, 12889, 12890, 12898, 12899, 12900, 12901, 12902, 12903, 12904,
 1114  12905, 12906, 12907, 12908, 12916, 12917, 12918, 12919, 12920, 12921, 12922,
 1115  12923, 12924, 12925, 12926, 12927, 12928, 12929, 12930, 12931, 12932, 12933,
 1116  12934, 12935, 12936, 12937, 12938, 12939, 12946, 12947, 12948, 12949, 12950,
 1117  12951, 12952, 12953, 12954, 12955, 12956, 12957, 12958, 12959, 12960, 12961,
 1118  12962, 12963, 12964, 12965, 12966, 12972, 12973, 12974, 12975, 12976, 12977,
 1119  12978, 12979, 12980, 12981, 12982, 12983, 12984, 12985, 12986, 12987, 12988,
 1120  12989, 12994, 12995, 12996, 12997, 12998, 12999, 13000, 13001, 13002, 13003,
 1121  13004, 13005, 13006, 13007, 13008, 13012, 13013, 13014, 13015, 13016, 13017,
 1122  13018, 13022, 13023, 13024, 13025, 13026, 13027, 13028, 13029, 13030, 13031,
 1123  13032, 13033, 13034, 13035, 13036, 13037, 13038, 13039, 13040, 13041, 13042,
 1124  13046, 13047, 13048, 13049, 13050, 13052, 13053, 13054, 13055, 13056, 13057,
 1125  13058, 13059, 13060, 13061, 13062, 13063, 13066, 13067, 13068, 13069, 13070,
 1126  13071, 13072, 13073, 13074, 13075, 13076, 13077, 13078, 13079, 13080, 13082,
 1127  13083, 13084, 13085, 13086, 13087, 13088, 13089, 13090, 13091, 13092, 13093,
 1128  13094, 13098, 13099, 13100, 13101, 13102, 13103, 13104, 13105, 13106, 13107,
 1129  13108, 13109, 13110, 13111, 13112, 13113, 13114, 13115, 13116, 13117, 13118,
 1130  13119, 13122, 13123, 13124, 13125, 13126, 13127, 13128, 13129, 13130, 13131,
 1131  13132, 13134, 13135, 13136, 13137, 13138, 13139, 13140, 13141, 13142, 13148,
 1132  13149, 13150, 13151, 13152, 13153, 13154, 13155, 13156, 13157, 13158, 13159,
 1133  13160, 13161, 13162, 13163, 13164, 13165, 13166, 13167, 13168, 13169, 13170,
 1134  13171, 13172, 13173, 13174, 13176, 13177, 13178, 13179, 13180, 13181, 13182,
 1135  13183, 13184, 13185, 13186, 13187, 13188, 13189, 13190, 13191, 13194, 13195,
 1136  13196, 13197, 13198, 13199, 13200, 13201, 13202, 13203, 13204, 13205, 13206,
 1137  13207, 13208, 13209, 13210, 13211, 13212, 13213, 13214, 13215, 13216, 13217,
 1138  13218, 13220, 13221, 13222, 13223, 13224, 13225, 13226, 13227, 13228, 13229,
 1139  13230, 13231, 13232, 13233, 13234, 13235, 13236, 13237, 13238, 13239, 13240,
 1140  13241, 13242, 13243, 13244, 13245, 13246, 13247, 13248, 13249, 13250, 13251,
 1141  13252, 13253, 13254, 13255, 13256, 13257, 13258, 13259, 13260, 13261, 13262,
 1142  13263, 13264, 13265, 13266, 13267, 13268, 13269, 13270, 13271, 13272, 13276,
 1143  13277, 13278, 13279, 13280, 13281, 13282, 13283, 13284, 13286, 13287, 13288,
 1144  13289, 13290, 13291, 13292, 13293, 13294, 13300, 13301, 13302, 13303, 13305,
 1145  13306, 13307, 13308, 13310, 13311, 13312, 13313, 13315, 13316, 13317, 13318,
 1146  13320, 13321, 13322, 13323, 13324, 13325, 13337, 13338, 13339, 13340, 13342,
 1147  13343, 13344, 13345, 13346, 13347, 13348, 13349, 13350, 13351, 13353, 13354,
 1148  13355, 13356, 13358, 13359, 13360, 13361, 13363, 13364, 13365, 13366, 13367,
 1149  13368, 13369, 13370, 13371, 13372, 13373, 13374, 13375, 13376, 13377, 13378,
 1150  13379, 13380, 13381, 13382, 13383, 13384, 13385, 13386, 13387, 13388, 13389,
 1151  13390, 13391, 13392, 13394, 13395, 13396, 13397, 13399, 13400, 13401, 13402,
 1152  13404, 13405, 13406, 13407, 13409, 13410, 13411, 13412, 13414, 13415, 13416,
 1153  13417, 13418, 13419, 13420, 13421, 13422, 13423, 13424, 13425, 13426, 13427,
 1154  13428, 13429, 13430, 13431, 13432, 13433, 13434, 13435, 13436, 13437, 13439,
 1155  13440, 13441, 13442, 13444, 13445, 13446, 13447, 13449, 13450, 13451, 13452,
 1156  13454, 13455, 13456, 13457, 13459, 13460, 13461, 13462, 13464, 13465, 13466,
 1157  13467, 13469, 13470, 13471, 13472, 13475, 13476, 13477, 13478, 13479, 13480,
 1158  13481, 13482, 13483, 13484, 13486, 13487, 13488, 13489, 13491, 13492, 13493,
 1159  13494, 13496, 13497, 13498, 13499, 13501, 13502, 13503, 13504, 13506, 13507,
 1160  13508, 13509, 13510, 13511, 13512, 13513, 13515, 13516, 13517, 13518, 13520,
 1161  13521, 13522, 13523, 13525, 13526, 13527, 13528, 13530, 13531, 13532, 13533,
 1162  13535, 13536, 13537, 13538, 13540, 13541, 13542, 13543, 13545, 13546, 13547,
 1163  13548, 13549, 13550, 13551, 13553, 13555, 13564, 13565, 13566, 13567, 13568,
 1164  13569, 13570, 13571, 13572, 13573, 13574, 13575, 13576, 13577, 13578, 13579,
 1165  13580, 13581, 13582, 13583, 13584, 13585, 13586, 13587, 13588, 13589, 13590,
 1166  13591, 13592, 13593, 13594, 13595, 13596, 13597, 13602, 13603, 13604, 13605,
 1167  13608, 13609, 13610, 13611, 13612, 13613, 13614, 13615, 13617, 13618, 13619,
 1168  13620, 13621, 13622, 13626, 13627, 13628, 13629, 13630, 13631, 13633, 13634,
 1169  13635, 13636, 13637, 13638, 13639, 13640, 13641, 13642, 13643, 13644, 13645,
 1170  13646, 13647, 13648, 13649, 13650, 13651, 13652, 13653, 13654, 13655, 13656,
 1171  13657, 13658, 13659, 13660, 13661, 13662, 13663, 13664, 13665, 13666, 13668,
 1172  13669, 13670, 13671, 13673, 13674, 13675, 13676, 13678, 13679, 13680, 13681,
 1173  13682, 13683, 13684, 13685, 13686, 13687, 13688, 13689, 13690, 13691, 13692,
 1174  13693, 13694, 13695, 13696, 13697, 13698, 13699, 13700, 13701, 13702, 13703,
 1175  13704, 13705, 13706, 13707, 13709, 13710, 13711, 13712, 13713, 13714, 13715,
 1176  13716, 13717, 13718, 13719, 13720, 13721, 13722, 13723, 13724, 13725, 13726,
 1177  13727, 13728, 13729, 13730, 13731, 13732, 13733, 13734, 13735, 13736, 13737,
 1178  13738, 13739, 13740, 13741, 13742, 13743, 13744, 13745, 13746, 13747, 13748,
 1179  13749, 13750, 13751, 13752, 13753, 13754, 13755, 13756, 13757, 13758, 13759,
 1180  13760, 13761, 13762, 13763, 13764, 13765, 13766, 13767, 13768, 13769, 13770,
 1181  13771, 13772, 13773, 13774, 13775, 13776, 13777, 13778, 13779, 13780, 13781,
 1182  13782, 13783, 13784, 13785, 13786, 13787, 13788, 13789, 13790, 13791, 13792,
 1183  13793, 13794, 13795, 13796, 13797, 13798, 13799, 13800, 13801, 13802, 13803,
 1184  13804, 13805, 13806, 13807, 13808, 13809, 13810, 13811, 13812, 13813, 13814,
 1185  13815, 13816, 13817, 13818, 13819, 13820, 13821, 13822, 13823, 13824, 13825,
 1186  13826, 13827, 13828, 13829, 13830, 13831, 13832, 13833, 13834, 13835, 13836,
 1187  13837, 13838, 13839, 13840, 13841, 13842, 13843, 13844, 13845, 13846, 13847,
 1188  13848, 13849, 13850, 13851, 13852, 13854, 13856, 13858, 13860, 13862, 13864,
 1189  13866, 13868, 13870, 13879, 13880, 13881, 13882, 13883, 13884, 13885, 13886,
 1190  13887, 13888, 13889, 13890, 13891, 13892, 13893, 13894, 13895, 13896, 13897,
 1191  13898, 13899, 13901, 13902, 13903, 13904, 13905, 13906, 13909, 13910, 13911,
 1192  13912, 13914, 13915, 13916, 13917, 13918, 13919, 13925, 13926, 13927, 13928,
 1193  13929, 13930, 13931, 13932, 13933, 13934, 13935, 13936, 13937, 13938, 13939,
 1194  13940, 13941, 13942, 13944, 13945, 13946, 13947, 13948, 13949, 13950, 13951,
 1195  13953, 13954, 13955, 13956, 13958, 13959, 13960, 13961, 13962, 13963, 13964,
 1196  13965, 13966, 13967, 13968, 13969, 13970, 13972, 13973, 13974, 13975, 13977,
 1197  13978, 13979, 13980, 13981, 13985, 13986, 13987, 13988, 13989, 13990, 13991,
 1198  13992, 13993, 13994, 13995, 13996, 13997, 13998, 13999, 14000, 14001, 14002,
 1199  14003, 14004, 14005, 14006, 14007, 14008, 14009, 14010, 14011, 14012, 14013,
 1200  14014, 14015, 14016, 14017, 14018, 14019, 14020, 14021, 14022, 14023, 14024,
 1201  14025, 14026, 14027, 14028, 14029, 14030, 14031, 14032, 14033, 14034, 14035,
 1202  14036, 14037, 14038, 14039, 14040, 14041, 14042, 14043, 14044, 14046, 14047,
 1203  14048, 14049, 14050, 14053, 14054, 14055, 14056, 14057, 14061, 14062, 14063,
 1204  14064, 14065, 14066, 14072, 14073, 14074, 14075, 14077, 14078, 14079, 14080,
 1205  14082, 14083, 14084, 14085, 14087, 14088, 14089, 14090, 14097, 14098, 14099,
 1206  14100, 14101, 14102, 14103, 14104, 14105, 14107, 14108, 14109, 14110, 14112,
 1207  14113, 14114, 14115, 14117, 14118, 14119, 14120, 14122, 14123, 14124, 14125,
 1208  14126, 14128, 14129, 14130, 14131, 14133, 14134, 14135, 14136, 14137, 14138,
 1209  14140, 14141, 14142, 14143, 14145, 14146, 14147, 14148, 14150, 14151, 14152,
 1210  14153, 14154, 14155, 14156, 14157, 14158, 14159, 14160, 14161, 14162, 14163,
 1211  14164, 14165, 14166, 14167, 14168, 14169, 14170, 14171, 14172, 14173, 14175,
 1212  14176, 14177, 14178, 14180, 14181, 14182, 14183, 14185, 14186, 14187, 14188,
 1213  14190, 14191, 14192, 14193, 14195, 14196, 14197, 14198, 14200, 14201, 14202,
 1214  14203, 14205, 14206, 14207, 14208, 14210, 14211, 14212, 14213, 14215, 14216,
 1215  14217, 14218, 14220, 14221, 14222, 14223, 14225, 14226, 14227, 14228, 14230,
 1216  14231, 14232, 14233, 14234, 14235, 14236, 14237, 14239, 14240, 14241, 14244,
 1217  14245, 14246, 14247, 14248, 14249, 14250, 14252, 14253, 14254, 14255, 14257,
 1218  14258, 14259, 14260, 14262, 14263, 14264, 14265, 14267, 14268, 14269, 14270,
 1219  14271, 14272, 14273, 14275, 14276, 14277, 14278, 14280, 14281, 14282, 14284,
 1220  14285, 14286, 14287, 14289, 14290, 14291, 14293, 14294, 14295, 14296, 14298,
 1221  14299, 14300, 14301, 14302, 14303, 14304, 14309, 14310, 14311, 14312, 14313,
 1222  14314, 14315, 14320, 14321, 14322, 14323, 14324, 14325, 14326, 14327, 14328,
 1223  14331, 14332, 14333, 14334, 14338, 14339, 14340, 14341, 14343, 14344, 14345,
 1224  14346, 14348, 14349, 14355, 14356, 14357, 14359, 14360, 14361, 14362, 14363,
 1225  14364, 14365, 14366, 14368, 14369, 14370, 14371, 14373, 14374, 14375, 14376,
 1226  14378, 14379, 14380, 14381, 14383, 14384, 14385, 14386, 14388, 14389, 14390,
 1227  14391, 14393, 14394, 14395, 14396, 14397, 14398, 14399, 14400, 14401, 14402,
 1228  14403, 14404, 14405, 14406, 14407, 14408, 14409, 14410, 14411, 14412, 14413,
 1229  14452, 14491, 14493, 14495, 14497, 14499, 14501, 14503, 14505, 14507, 14508,
 1230  14510, 14512, 14514, 14516, 14518, 14520, 14522, 14524, 14525, 14527, 14529,
 1231  14531, 14532, 14533, 14534, 14535, 14536, 14537, 14539, 14540, 14542, 14544,
 1232  14546, 14547, 14548, 14549, 14551, 14553, 14557, 14559, 14561, 14563, 14565,
 1233  14567, 14569, 14571, 14572, 14573, 14575, 14576, 14577, 14578, 14579, 14581,
 1234  14583, 14584, 14586, 14588, 14590, 14592, 14594, 14595, 14598, 14604, 14605,
 1235  14606, 14608, 14609, 14612, 14613, 14616, 14622, 14624, 14626, 14628, 14630,
 1236  14632, 14634, 14636, 14638, 14640, 14642, 14644, 14646, 14647, 14649, 14651,
 1237  14653, 14655, 14657, 14659, 14661, 14663, 14665, 14667, 14669, 14671, 14673,
 1238  14679, 14681, 14682, 14683, 14686, 14688, 14690, 14692, 14694, 14696, 14698,
 1239  14700, 14702, 14704, 14706, 14708, 14710, 14712, 14714, 14716, 14718, 14720,
 1240  14722, 14724, 14725, 14726, 14728, 14730, 14732, 14734, 14739, 14740, 14743,
 1241  14744, 14753, 14755, 14756, 14757, 14758, 14759, 14760, 14762, 14764, 14765,
 1242  14766, 14767, 14769, 14771, 14773, 14775, 14777, 14779, 14781, 14783, 14785,
 1243  14787, 14789, 14791, 14793, 14795, 14808, 14810, 14812, 14814, 14816, 14817,
 1244  14818, 14822, 14824, 14828, 14829, 14830, 14831, 14832, 14833, 14834, 14835,
 1245  14836, 14838, 14840, 14842, 14844, 14846, 14848, 14850, 14851, 14853, 14855,
 1246  14857, 14859, 14861, 14863, 14865, 14867, 14869, 14871, 14873, 14875, 14877,
 1247  14879, 14881, 14883, 14885, 14887, 14889, 14891, 14893, 14894, 14895, 14897,
 1248  14899, 14901, 14903, 14905, 14907, 14909, 14910, 14911, 14912, 14913, 14917,
 1249  14918, 14922, 14924, 14926, 14928, 14930, 14932, 14933, 14934, 14936, 14938,
 1250  14940, 14942, 14946, 14950, 14951, 14952, 14955, 14957, 14959, 14960, 14962,
 1251  14964, 14966, 14968, 14970, 14971, 14972, 14974, 14976, 14978, 14980, 14982,
 1252  14984, 14986, 14990, 14992, 14994, 14996, 15000, 15004, 15008, 15010, 15012,
 1253  15014, 15018, 15020, 15022, 15024, 15026, 15028, 15052, 15062, 15064, 15066,
 1254  15068, 15070, 15072, 15074, 15106, 15108, 15110, 15112, 15114, 15116, 15117,
 1255  15119, 15121, 15123, 15124, 15125, 15126, 15127, 15129, 15131, 15133, 15134,
 1256  15135, 15136, 15137, 15138, 15139, 15141, 15143, 15145, 15146, 15147, 15148,
 1257  15149, 15150, 15152, 15154, 15156, 15157, 15158, 15159, 15160, 15162, 15164,
 1258  15166, 15167, 15168, 15169, 15170, 15171, 15172, 15174, 15176, 15178, 15179,
 1259  15180, 15181, 15182, 15183, 15185, 15187, 15189, 15190, 15191, 15192, 15193,
 1260  15194, 15196, 15198, 15200, 15202, 15204, 15206, 15208, 15210, 15212, 15214,
 1261  15216, 15218, 15220, 15221, 15222, 15223, 15224, 15226, 15228, 15230, 15231,
 1262  15232, 15233, 15234, 15235, 15236, 15238, 15240, 15242, 15244, 15245, 15247,
 1263  15249, 15251, 15252, 15253, 15254, 15256, 15258, 15260, 15262, 15264, 15266,
 1264  15267, 15268, 15269, 15270, 15272, 15274, 15276, 15278, 15280, 15286, 15288,
 1265  15292, 15294, 15298, 15302, 15324, 15326, 15328, 15330, 15332, 15333, 15334,
 1266  15335, 15337, 15338, 15339, 15340, 15342, 15344, 15352, 15355, 15356, 15358,
 1267  15360, 15362, 15363, 15365, 15367, 15369, 15371, 15373, 15375, 15376, 15378,
 1268  15380, 15382, 15384, 15386, 15388, 15389, 15391, 15393, 15395, 15397, 15398,
 1269  15400, 15402, 15404, 15406, 15407, 15409, 15411, 15413, 15415, 15417, 15419,
 1270  15421, 15423, 15425, 15427, 15428, 15429, 15430, 15431, 15432, 15434, 15436,
 1271  15438, 15440, 15444, 15446, 15448, 15450, 15452, 15453, 15456, 15461, 15462,
 1272  15463, 15472, 15474, 15477, 15480, 15486, 15495, 15496, 15498, 15501, 15502,
 1273  15503, 15504, 15505, 15511, 15516, 15522, 15529, 15530, 15531, 15535, 15537,
 1274  15538, 15539, 15543, 15545, 15546, 15547, 15548, 15550, 15551, 15555, 15556,
 1275  15560, 15561, 15562, 15564, 15573, 15575, 15577, 15581, 15587, 15591, 15599,
 1276  15606, 15609, 15611, 15616, 15619, 15623, 15627, 15632, 15640, 15647, 15650,
 1277  15651, 15653, 15655, 15659, 15661, 15665, 15670, 15676, 15683, 15687, 15688,
 1278  15689, 15691, 15692, 15695, 15696, 15697, 15700, 15702, 15703, 15707, 15709,
 1279  15713, 15721, 15722, 15723, 15724, 15725, 15726, 15728, 15729, 15730, 15731,
 1280  15732, 15733, 15734, 15735, 15736, 15737, 15738, 15742, 15743, 15744, 15746,
 1281  15747, 15748, 15750, 15753, 15759, 15765, 15767, 15769, 15771, 15773, 15775,
 1282  15787, 15799, 15800, 15802, 15804, 15806, 15807, 15808, 15809, 15810, 15811,
 1283  15813, 15815, 15817, 15819, 15821, 15822, 15823, 15824, 15825, 15826, 15828,
 1284  15830, 15832, 15834, 15836, 15838, 15840, 15841, 15843, 15845, 15847, 15849,
 1285  15851, 15852, 15854, 15856, 15858, 15860, 15862, 15864, 15866, 15868, 15872,
 1286  15881, 15882, 15883, 15884, 15889, 15892, 15893, 15895, 15896, 15897, 15899,
 1287  15900, 15901, 15902, 15903, 15904, 15905, 15907, 15909, 15911, 15912, 15913,
 1288  15914, 15915, 15916, 15917, 15918, 15919, 15920, 15921, 15922, 15923, 15924,
 1289  15925, 15926, 15927, 15928, 15929, 15930, 15931, 15932, 15933, 15934, 15935,
 1290  15936, 15937, 15938, 15939, 15940, 15942, 15944, 15946, 15948, 15950, 15952,
 1291  15954, 15956, 15959, 15968, 15969, 15970, 15971, 15972, 15973, 15975, 15976,
 1292  15980, 15983, 15985, 15987, 15989, 15990, 15992, 15994, 15996, 15998, 16000,
 1293  16001, 16003, 16005, 16007, 16009, 16010, 16011, 16012, 16014, 16015, 16017,
 1294  16018, 16020, 16022, 16023, 16024, 16025, 16026, 16027, 16028, 16029, 16030,
 1295  16031, 16032, 16033, 16034, 16035, 16037, 16038, 16041, 16045, 16051, 16053,
 1296  16055, 16057, 16059, 16061, 16063, 16065, 16066, 16068, 16070, 16072, 16074,
 1297  16075, 16076, 16077, 16078, 16079, 16081, 16083, 16085, 16087, 16089, 16091,
 1298  16093, 16095, 16097, 16099, 16101, 16103, 16104, 16105, 16106, 16107, 16108,
 1299  16111, 16112, 16115, 16116, 16118, 16120, 16122, 16123, 16125, 16127, 16129,
 1300  16131, 16136, 16141, 16142, 16143, 16146, 16150, 16152, 16154, 16156, 16158,
 1301  16159, 16161, 16163, 16165, 16167, 16169, 16171, 16173, 16175, 16177, 16179,
 1302  16181, 16183, 16185, 16186, 16188, 16190, 16192, 16194, 16196, 16198, 16200,
 1303  16202, 16203, 16205, 16207, 16208, 16209, 16211, 16212, 16213, 16214, 16215,
 1304  16216, 16217, 16220, 16221, 16224, 16226, 16228, 16230, 16232, 16234, 16236,
 1305  16238, 16240, 16241, 16243, 16245, 16247, 16249, 16251, 16253, 16255, 16257,
 1306  16258, 16260, 16262, 16264, 16266, 16268, 16270, 16272, 16274, 16277, 16278,
 1307  16279, 16280, 16281, 16284, 16287, 16293, 16295, 16297, 16299, 16302, 16304,
 1308  16306, 16308, 16310, 16312, 16314, 16316, 16318, 16319, 16321, 16322, 16323,
 1309  16326, 16327, 16328, 16329, 16337, 16342, 16344, 16345, 16349, 16350, 16352,
 1310  16353, 16354, 16355, 16361, 16363, 16365, 16367, 16369, 16371, 16373, 16375,
 1311  16377, 16379, 16381, 16383, 16385, 16387, 16389, 16391, 16393, 16395, 16397,
 1312  16399, 16400, 16402, 16404, 16406, 16408, 16410, 16412, 16414, 16416, 16418,
 1313  16420, 16422, 16424, 16426, 16428, 16430, 16432, 16438, 16440, 16441, 16442,
 1314  16443, 16446, 16448, 16450, 16452, 16454, 16456, 16458, 16460, 16462, 16464,
 1315  16466, 16468, 16470, 16472, 16474, 16476, 16477, 16478, 16479, 16481, 16483,
 1316  16484, 16485, 16486, 16487, 16497, 16498, 16499, 16501, 16502, 16503, 16505,
 1317  16508, 16511, 16512, 16514, 16522, 16525, 16526, 16528, 16530, 16535, 16536,
 1318  16537, 16540, 16541, 16544, 16546, 16555, 16557, 16559, 16561, 16563, 16565,
 1319  16567, 16569, 16571, 16573, 16575, 16577, 16579, 16581, 16583, 16596, 16598,
 1320  16600, 16602, 16603, 16604, 16605, 16606, 16607, 16608, 16610, 16612, 16614,
 1321  16615, 16616, 16617, 16618, 16619, 16621, 16625, 16627, 16631, 16633, 16634,
 1322  16635, 16636, 16637, 16638, 16639, 16640, 16641, 16642, 16644, 16646, 16647,
 1323  16648, 16650, 16652, 16654, 16656, 16658, 16660, 16661, 16662, 16663, 16665,
 1324  16667, 16669, 16671, 16673, 16675, 16677, 16679, 16681, 16683, 16685, 16687,
 1325  16689, 16691, 16693, 16695, 16697, 16699, 16701, 16703, 16705, 16707, 16709,
 1326  16711, 16713, 16715, 16717, 16719, 16721, 16722, 16723, 16725, 16729, 16730,
 1327  16731, 16735, 16737, 16739, 16741, 16743, 16745, 16747, 16748, 16749, 16750,
 1328  16752, 16754, 16756, 16758, 16760, 16762, 16764, 16768, 16770, 16772, 16776,
 1329  16777, 16778, 16781, 16783, 16785, 16794, 16795, 16797, 16799, 16801, 16803,
 1330  16805, 16807, 16808, 16809, 16811, 16813, 16815, 16817, 16819, 16821, 16823,
 1331  16827, 16829, 16831, 16833, 16837, 16841, 16845, 16847, 16849, 16851, 16855,
 1332  16857, 16859, 16861, 16863, 16865, 16867, 16891, 16899, 16901, 16903, 16905,
 1333  16907, 16909, 16911, 16913, 16915, 16917, 16919, 16921, 16923, 16927, 16929,
 1334  16933, 16937, 16939, 16943, 16945, 16947, 16977, 16978, 16980, 16982, 16984,
 1335  16986, 16987, 16988, 16989, 16990, 16992, 16994, 16996, 16998, 16999, 17000,
 1336  17001, 17002, 17003, 17004, 17006, 17008, 17010, 17012, 17013, 17014, 17015,
 1337  17016, 17017, 17019, 17021, 17023, 17025, 17026, 17027, 17028, 17029, 17031,
 1338  17033, 17035, 17037, 17038, 17039, 17040, 17041, 17042, 17043, 17045, 17047,
 1339  17049, 17051, 17052, 17053, 17054, 17055, 17056, 17058, 17060, 17062, 17064,
 1340  17065, 17066, 17067, 17068, 17069, 17071, 17073, 17075, 17077, 17079, 17081,
 1341  17083, 17085, 17087, 17089, 17091, 17093, 17095, 17097, 17098, 17099, 17100,
 1342  17101, 17103, 17105, 17107, 17109, 17110, 17111, 17112, 17113, 17114, 17115,
 1343  17117, 17119, 17121, 17123, 17125, 17127, 17129, 17132, 17133, 17135, 17137,
 1344  17139, 17141, 17142, 17143, 17144, 17146, 17148, 17150, 17152, 17154, 17156,
 1345  17157, 17158, 17159, 17161, 17163, 17165, 17167, 17169, 17171, 17173, 17175,
 1346  17177, 17179, 17181, 17183, 17185, 17189, 17191, 17195, 17199, 17201, 17205,
 1347  17207, 17209, 17214, 17217, 17251, 17253, 17255, 17257, 17259, 17261, 17263,
 1348  17265, 17267, 17269, 17271, 17273, 17275, 17276, 17278, 17280, 17282, 17284,
 1349  17285, 17286, 17287, 17288, 17290, 17292, 17294, 17296, 17297, 17298, 17299,
 1350  17300, 17301, 17302, 17304, 17306, 17308, 17310, 17311, 17312, 17313, 17314,
 1351  17315, 17317, 17319, 17321, 17323, 17324, 17325, 17326, 17327, 17329, 17331,
 1352  17333, 17335, 17336, 17337, 17338, 17339, 17340, 17341, 17343, 17345, 17347,
 1353  17349, 17350, 17351, 17352, 17353, 17354, 17356, 17358, 17360, 17362, 17363,
 1354  17364, 17365, 17366, 17367, 17369, 17371, 17373, 17375, 17377, 17379, 17381,
 1355  17383, 17385, 17387, 17389, 17391, 17393, 17395, 17396, 17397, 17398, 17399,
 1356  17401, 17403, 17405, 17407, 17408, 17409, 17410, 17411, 17412, 17413, 17415,
 1357  17417, 17419, 17421, 17423, 17424, 17425, 17426, 17427, 17429, 17431, 17433,
 1358  17435, 17436, 17437, 17438, 17439, 17441, 17443, 17445, 17447, 17449, 17455,
 1359  17457, 17461, 17463, 17467, 17473, 17475, 17478, 17481, 17487, 17489, 17493,
 1360  17495, 17499, 17501, 17534, 17536, 17539, 17542, 17545, 17547, 17548, 17549,
 1361  17550, 17553, 17554, 17555, 17556, 17557, 17560, 17561, 17564, 17567, 17570,
 1362  17573, 17576, 17588, 17592, 17594, 17596, 17598, 17600, 17602, 17604, 17606,
 1363  17608, 17609, 17611, 17613, 17615, 17616, 17618, 17620, 17622, 17624, 17626,
 1364  17628, 17629, 17631, 17633, 17635, 17637, 17639, 17641, 17642, 17644, 17646,
 1365  17648, 17650, 17651, 17653, 17655, 17657, 17659, 17660, 17662, 17664, 17666,
 1366  17668, 17670, 17671, 17673, 17675, 17677, 17678, 17680, 17682, 17684, 17686,
 1367  17688, 17690, 17691, 17693, 17695, 17697, 17699, 17701, 17703, 17704, 17706,
 1368  17708, 17710, 17712, 17713, 17715, 17717, 17719, 17721, 17722, 17724, 17726,
 1369  17728, 17730, 17732, 17734, 17736, 17739, 17742, 17745, 17748, 17752, 17753,
 1370  17756, 17761, 17771, 17775, 17779, 17789, 17799, 17806, 17808, 17812, 17817,
 1371  17820, 17830, 17831, 17832, 17841, 17843, 17846, 17849, 17855, 17864, 17865,
 1372  17867, 17869, 17871, 17872, 17878, 17881, 17891, 17893, 17895, 17901, 17905,
 1373  17908, 17911, 17912, 17916, 17919, 17928, 17930, 17933, 17935, 17936, 17938,
 1374  17943, 17945, 17947, 17948, 17949, 17950, 17951, 17952, 17958, 17963, 17969,
 1375  17976, 17977, 17978, 17979, 17980, 17984, 17986, 17987, 17988, 17989, 17991,
 1376  17992, 17993, 17995, 17998, 17999, 18003, 18005, 18010, 18011, 18012, 18013,
 1377  18015, 18019, 18020, 18021, 18022, 18023, 18024, 18026, 18027, 18031, 18032,
 1378  18033, 18034, 18035, 18036, 18037, 18041, 18042, 18043, 18044, 18045, 18047,
 1379  18050, 18055, 18064, 18070, 18075, 18077, 18078, 18080, 18082, 18086, 18087,
 1380  18089, 18095, 18101, 18110, 18118, 18124, 18128, 18136, 18143, 18146, 18148,
 1381  18153, 18156, 18160, 18164, 18169, 18179, 18180, 18183, 18184, 18186, 18187,
 1382  18190, 18195, 18198, 18199, 18201, 18203, 18204, 18206, 18208, 18210, 18212,
 1383  18214, 18216, 18218, 18223, 18225, 18227, 18229, 18230, 18231, 18233, 18235,
 1384  18237, 18239, 18241, 18242, 18243, 18245, 18247, 18249, 18250, 18253, 18256,
 1385  18258, 18260, 18262, 18263, 18265, 18274, 18275, 18276, 18279, 18282, 18288,
 1386  18291, 18292, 18298, 18300, 18302, 18304, 18306, 18308, 18310, 18312, 18314,
 1387  18316, 18318, 18320, 18322, 18324, 18326, 18328, 18330, 18332, 18334, 18335,
 1388  18337, 18339, 18341, 18343, 18345, 18347, 18349, 18351, 18357, 18359, 18362,
 1389  18364, 18366, 18368, 18370, 18372, 18374, 18376, 18378, 18380, 18382, 18384,
 1390  18386, 18388, 18390, 18392, 18394, 18396, 18398, 18400, 18402, 18404, 18406,
 1391  18408, 18417, 18419, 18421, 18423, 18425, 18427, 18429, 18431, 18433, 18435,
 1392  18437, 18439, 18441, 18443, 18445, 18447, 18449, 18451, 18453, 18466, 18468,
 1393  18470, 18472, 18474, 18476, 18477, 18479, 18483, 18485, 18489, 18491, 18492,
 1394  18494, 18496, 18498, 18500, 18502, 18504, 18506, 18508, 18509, 18511, 18513,
 1395  18515, 18517, 18519, 18521, 18523, 18525, 18527, 18529, 18531, 18533, 18535,
 1396  18537, 18539, 18541, 18543, 18545, 18547, 18549, 18551, 18553, 18555, 18557,
 1397  18559, 18561, 18563, 18565, 18567, 18568, 18569, 18571, 18575, 18576, 18580,
 1398  18582, 18584, 18586, 18588, 18590, 18592, 18594, 18596, 18598, 18600, 18602,
 1399  18604, 18606, 18610, 18612, 18614, 18618, 18619, 18620, 18623, 18625, 18627,
 1400  18629, 18631, 18633, 18635, 18637, 18638, 18640, 18642, 18644, 18646, 18648,
 1401  18650, 18652, 18656, 18658, 18660, 18662, 18666, 18670, 18674, 18676, 18678,
 1402  18680, 18684, 18686, 18688, 18690, 18692, 18694, 18696, 18720, 18722, 18732,
 1403  18735, 18736, 18737, 18738, 18739, 18740, 18742, 18744, 18746, 18751, 18752,
 1404  18755, 18756, 18757, 18759, 18762, 18765, 18766, 18767, 18769, 18770, 18773,
 1405  18774, 18775, 18776, 18777, 18780, 18781, 18786, 18795, 18801, 18806, 18808,
 1406  18809, 18811, 18817, 18823, 18832, 18840, 18846, 18849, 18857, 18864, 18867,
 1407  18868, 18870, 18872, 18876, 18878, 18880, 18882, 18883, 18889, 18892, 18902,
 1408  18904, 18906, 18912, 18922, 18926, 18929, 18932, 18936, 18938, 18947, 18949,
 1409  18952, 18954, 18959, 18961, 18963, 18967, 18972, 18978, 18985, 18986, 18987,
 1410  18989, 18992, 18993, 18997, 18998, 19003, 19004, 19005, 19006, 19008, 19012,
 1411  19013, 19014, 19016, 19017, 19020, 19021, 19022, 19023, 19024, 19025, 19028,
 1412  19029, 19032, 19034, 19035, 19039, 19041, 19045, 19053, 19054, 19055, 19057,
 1413  19058, 19059, 19060, 19061, 19062, 19063, 19065, 19066, 19067, 19068, 19069,
 1414  19070, 19071, 19072, 19073, 19074, 19075, 19076, 19077, 19078, 19079, 19080,
 1415  19081, 19082, 19083, 19084, 19088, 19089, 19090, 19092, 19093, 19094, 19096,
 1416  19099, 19105, 19111, 19114, 19117, 19120, 19122, 19125, 19138, 19151, 19153,
 1417  19154, 19155, 19158, 19161, 19164, 19165, 19166, 19167, 19168, 19169, 19170,
 1418  19172, 19174, 19176, 19178, 19180, 19181, 19182, 19183, 19184, 19185, 19187,
 1419  19189, 19191, 19193, 19195, 19197, 19199, 19201, 19203, 19204, 19205, 19206,
 1420  19207, 19208, 19210, 19212, 19214, 19216, 19218, 19220, 19223, 19226, 19227,
 1421  19228, 19230, 19232, 19234, 19236, 19238, 19239, 19241, 19243, 19245, 19247,
 1422  19249, 19251, 19253, 19255, 19257, 19258, 19260, 19262, 19264, 19266, 19268,
 1423  19270, 19273, 19276, 19278, 19282, 19291, 19292, 19293, 19294, 19295, 19296,
 1424  19298, 19299, 19300, 19301, 19302, 19303, 19305, 19307, 19309, 19311, 19314,
 1425  19315, 19316, 19317, 19318, 19319, 19320, 19321, 19322, 19323, 19324, 19325,
 1426  19326, 19327, 19328, 19329, 19330, 19331, 19332, 19333, 19334, 19335, 19336,
 1427  19337, 19338, 19339, 19340, 19341, 19342, 19343, 19344, 19345, 19346, 19347,
 1428  19348, 19349, 19350, 19351, 19353, 19355, 19357, 19359, 19361, 19363, 19365,
 1429  19367, 19370, 19379, 19380, 19381, 19382, 19383, 19384, 19387, 19390, 19391,
 1430  19392, 19393, 19395, 19399, 19402, 19405, 19407, 19410, 19413, 19414, 19416,
 1431  19418, 19420, 19421, 19422, 19423, 19424, 19425, 19427, 19428, 19429, 19430,
 1432  19431, 19432, 19433, 19434, 19435, 19436, 19439, 19440, 19444, 19449, 19450,
 1433  19451, 19453, 19455, 19461, 19463, 19465, 19467, 19469, 19471, 19473, 19475,
 1434  19477, 19479, 19481, 19484, 19485, 19488, 19490, 19492, 19494, 19496, 19498,
 1435  19499, 19500, 19501, 19502, 19503, 19505, 19507, 19509, 19511, 19513, 19515,
 1436  19517, 19519, 19521, 19523, 19525, 19527, 19529, 19530, 19531, 19532, 19533,
 1437  19534, 19536, 19538, 19540, 19542, 19544, 19546, 19548, 19550, 19552, 19554,
 1438  19556, 19559, 19562, 19563, 19564, 19566, 19568, 19569, 19571, 19573, 19575,
 1439  19577, 19578, 19581, 19583, 19586, 19589, 19592, 19595, 19598, 19604, 19611,
 1440  19614, 19617, 19623, 19630, 19631, 19632, 19635, 19639, 19642, 19644, 19647,
 1441  19649, 19650, 19652, 19654, 19656, 19658, 19660, 19662, 19664, 19666, 19668,
 1442  19670, 19677, 19678, 19679, 19680, 19681, 19682, 19683, 19684, 19685, 19686,
 1443  19687, 19688, 19689, 19690, 19691, 19692, 19693, 19694, 19695, 19696, 19697,
 1444  19698, 19699, 19700, 19701, 19702, 19703, 19704, 19705, 19706, 19707, 19708,
 1445  19709, 19710, 19711, 19712, 19713, 19714, 19715, 19716, 19717, 19718, 19719,
 1446  19720, 19721, 19722, 19723, 19724, 19725, 19726, 19727, 19728, 19729, 19730,
 1447  19731, 19732, 19733, 19734, 19735, 19736, 19737, 19738, 19739, 19740, 19741,
 1448  19742, 19743, 19744, 19745, 19746, 19747, 19748, 19749, 19750, 19751, 19752,
 1449  19753, 19754, 19756, 19758, 19760, 19769, 19772, 19775, 19778, 19781, 19784,
 1450  19787, 19795, 19801, 19809, 19813, 19818, 19830, 19833, 19840, 19842, 19848,
 1451  19863, 19871, 19883, 19885, 19891, 19893, 19895, 19901, 19903, 19905, 19912,
 1452  19916, 19918, 19928, 19934, 19938, 19948, 19958, 19960, 19968, 19970, 19971,
 1453  20010, 20011, 20012, 20013, 20014, 20015, 20016, 20017, 20018, 20019, 20020
 1454 };
 1455 
 1456 static t_ccsid          final_array[] = {
 1457  0, 62246, 368, 916, 898, 33723, 905, 870, 867, 866, 864, 863, 862, 861, 858,
 1458  856, 853, 852, 851, 438, 1387, 5355, 9450, 9449, 9448, 5351, 5350, 5349,
 1459  5348, 5347, 1209, 1236, 1234, 1204, 1202, 13489, 875, 944, 1052, 859, 921,
 1460  915, 914, 913, 820, 924, 1364, 879, 917, 814, 1090, 1251, 922, 1253, 5479,
 1461  971, 1048, 1376, 1150, 1149, 1148, 1147, 1146, 1145, 1144, 1143, 1142, 1141,
 1462  925, 776, 1027, 919, 906, 904, 892, 881, 872, 871, 869, 865, 501, 425, 424,
 1463  421, 298, 291, 286, 285, 281, 279, 278, 274, 38, 1384, 839, 1277, 62236,
 1464  62225, 62212, 61953, 57346, 28710, 25547, 17355, 13122, 13125, 12709, 9067,
 1465  9057, 9031, 8613, 5124, 5051, 5053, 5054, 5055, 5056, 5036, 5027, 4972, 4961,
 1466  4966, 4952, 4953, 4954, 4949, 4397, 1393, 1400, 1381, 1382, 1389, 1374, 1365,
 1467  1281, 1282, 1283, 1284, 1276, 1252, 1254, 1255, 1256, 1257, 1258, 1259, 1161,
 1468  1165, 1154, 1155, 1156, 1157, 1158, 1159, 1131, 1133, 1134, 1138, 1123, 1124,
 1469  1130, 1113, 1115, 1116, 1098, 1099, 1089, 1041, 1042, 1043, 1044, 1047, 1026,
 1470  1028, 1011, 1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1009, 1010,
 1471  965, 966, 951, 952, 957, 958, 959, 960, 943, 945, 947, 948, 950, 931, 933,
 1472  934, 935, 936, 937, 938, 939, 940, 923, 927, 928, 929, 897, 876, 834, 836,
 1473  837, 838, 738, 721, 301, 302, 257, 1, 898, 916, 368, 368, 62246
 1474 };
 1475 
 1476 static t_staterange     goto_array[] = {
 1477  13445, 11977, 13446, 12066, 11793, 13448, 13449, 13450, 13451, 13453, 13454,
 1478  13455, 13456, 13457, 13473, 13458, 13459, 13460, 13466, 13461, 13462, 13468,
 1479  11793, 13447, 13449, 13450, 13451, 11793, 13448, 13449, 13450, 13451, 13452,
 1480  13453, 13454, 13455, 13456, 13457, 13473, 13458, 13459, 13460, 13466, 13461,
 1481  13462, 13468, 11735, 13469, 13470, 13463, 13464, 13473, 13465, 13474, 13475,
 1482  13476, 13477, 13478, 13479, 13480, 13481, 13466, 13482, 13467, 13483, 13468,
 1483  13485, 11735, 13469, 13470, 13471, 13472, 13473, 13474, 13475, 13476, 13477,
 1484  13478, 13479, 13480, 13481, 13482, 13483, 13484, 13485, 11147, 13486, 11230,
 1485  13487, 13488, 13426, 13419, 13420, 13496, 13423, 13498, 19, 229, 230, 231,
 1486  232, 18, 17, 16, 15, 14, 238, 237, 236, 235, 234, 239, 240, 241, 242, 243,
 1487  13, 12, 11, 10, 9, 8, 7, 251, 250, 249, 248, 247, 246, 245, 252, 253, 254,
 1488  255, 256, 257, 258, 259, 244, 261, 260, 6, 263, 264, 265, 266, 95, 268, 269,
 1489  269, 270, 271, 271, 272, 273, 273, 274, 275, 275, 276, 277, 277, 278, 279,
 1490  279, 280, 281, 281, 282, 283, 283, 284, 285, 286, 287, 287, 288, 289, 289,
 1491  290, 291, 291, 292, 293, 293, 294, 295, 295, 296, 297, 297, 298, 299, 299,
 1492  300, 301, 301, 302, 303, 304, 305, 305, 306, 307, 307, 308, 309, 309, 227,
 1493  311, 13494, 2, 314, 315, 316, 313, 317, 318, 319, 320, 321, 322, 323, 324,
 1494  325, 326, 327, 328, 329, 330, 331, 332, 332, 333, 334, 335, 336, 336, 337,
 1495  338, 338, 50, 340, 341, 341, 342, 343, 343, 344, 345, 345, 346, 347, 347,
 1496  315, 315, 349, 350, 350, 341, 352, 353, 354, 355, 356, 357, 358, 359, 359,
 1497  360, 351, 362, 362, 361, 361, 363, 348, 339, 310, 365, 365, 364, 366, 367,
 1498  364, 366, 367, 57, 369, 370, 370, 371, 372, 372, 373, 374, 374, 375, 376,
 1499  376, 377, 378, 378, 379, 380, 381, 382, 383, 384, 384, 385, 386, 386, 39,
 1500  388, 389, 390, 391, 68, 393, 394, 395, 396, 397, 392, 398, 399, 67, 66, 65,
 1501  64, 63, 62, 61, 60, 59, 58, 410, 409, 408, 407, 406, 405, 404, 403, 402,
 1502  401, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424,
 1503  425, 400, 426, 427, 428, 429, 430, 431, 431, 432, 433, 433, 434, 435, 435,
 1504  54, 437, 438, 438, 439, 440, 440, 441, 442, 442, 443, 444, 444, 445, 446,
 1505  446, 78, 448, 449, 449, 252, 252, 257, 257, 452, 451, 450, 453, 454, 455,
 1506  453, 454, 455, 92, 457, 458, 459, 460, 426, 427, 70, 462, 463, 464, 465,
 1507  466, 467, 91, 89, 470, 469, 471, 472, 88, 87, 86, 476, 475, 474, 477, 478,
 1508  479, 85, 84, 482, 481, 483, 484, 485, 480, 473, 486, 487, 488, 315, 490,
 1509  491, 83, 82, 81, 495, 494, 493, 496, 497, 498, 499, 232, 500, 80, 502, 503,
 1510  504, 505, 69, 507, 508, 509, 510, 44, 512, 513, 79, 515, 252, 449, 253, 254,
 1511  516, 255, 256, 257, 258, 77, 76, 519, 518, 520, 521, 75, 523, 524, 74, 526,
 1512  527, 528, 525, 522, 517, 514, 529, 530, 531, 532, 261, 533, 73, 72, 536,
 1513  535, 537, 264, 538, 71, 540, 541, 20, 543, 544, 545, 542, 539, 546, 547,
 1514  548, 549, 534, 511, 506, 501, 492, 489, 468, 461, 456, 551, 552, 553, 554,
 1515  555, 558, 550, 556, 557, 559, 285, 285, 561, 562, 562, 563, 564, 564, 565,
 1516  566, 566, 567, 568, 568, 569, 570, 570, 571, 572, 572, 573, 574, 574, 575,
 1517  576, 576, 577, 578, 578, 579, 580, 580, 362, 362, 582, 581, 583, 583, 584,
 1518  584, 380, 586, 587, 587, 588, 589, 589, 55, 591, 592, 592, 5, 594, 595, 595,
 1519  596, 597, 597, 598, 599, 599, 600, 601, 601, 602, 603, 603, 604, 605, 605,
 1520  606, 607, 607, 608, 609, 609, 610, 611, 611, 612, 613, 613, 614, 615, 615,
 1521  616, 617, 617, 618, 619, 619, 36, 621, 622, 622, 623, 620, 593, 624, 624,
 1522  626, 626, 625, 625, 627, 628, 628, 629, 630, 630, 93, 632, 633, 634, 635,
 1523  636, 637, 638, 544, 544, 639, 640, 641, 641, 224, 643, 644, 644, 645, 646,
 1524  646, 647, 648, 648, 649, 650, 650, 651, 652, 652, 653, 654, 654, 655, 656,
 1525  656, 657, 658, 658, 659, 660, 660, 661, 662, 662, 663, 664, 664, 665, 666,
 1526  666, 667, 668, 668, 669, 670, 670, 671, 672, 672, 38, 674, 675, 676, 677,
 1527  677, 678, 679, 679, 680, 681, 681, 682, 683, 683, 684, 685, 685, 686, 673,
 1528  687, 687, 688, 688, 267, 690, 691, 692, 692, 56, 694, 695, 696, 697, 465,
 1529  698, 699, 90, 701, 471, 702, 472, 703, 486, 487, 704, 500, 239, 240, 242,
 1530  252, 253, 254, 255, 257, 258, 449<