Home | History | Annotate | Download | only in cts
      1 /*
      2  * Copyright (C) 2015 The Android Open Source Project
      3  *
      4  * Licensed under the Apache License, Version 2.0 (the "License");
      5  * you may not use this file except in compliance with the License.
      6  * You may obtain a copy of the License at
      7  *
      8  *      http://www.apache.org/licenses/LICENSE-2.0
      9  *
     10  * Unless required by applicable law or agreed to in writing, software
     11  * distributed under the License is distributed on an "AS IS" BASIS,
     12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     13  * See the License for the specific language governing permissions and
     14  * limitations under the License.
     15  */
     16 
     17 /* Don't edit this file!  It is auto-generated by float16_gen.sh */
     18 
     19 package android.renderscript.cts;
     20 
     21 public class Float16TestData {
     22   static short[] input = {
     23       (short) 0x3c00, // one
     24       (short) 0x4000, // two
     25       (short) 0x0001, // smallest subnormal
     26       (short) 0x03ff, // largest subnormal
     27       (short) 0x0400, // smallest normal
     28       (short) 0x7bff, // largest normal
     29       (short) 0x3880, // 0.562500
     30       (short) 0x3e80, // 1.625000
     31       (short) 0x5140, // 42.000000
     32       (short) 0x5ac0, // 216.000000
     33       (short) 0x6c75, // 4564.000000
     34       (short) 0x7b53, // 60000.000000
     35       (short) 0xbc00, // negative one
     36       (short) 0xc000, // negative two
     37       (short) 0x8001, // negative (smallest subnormal)
     38       (short) 0x83ff, // negative (largest subnormal)
     39       (short) 0x8400, // negative (smallest normal)
     40       (short) 0xfbff, // negative (largest normal)
     41       (short) 0xb880, // -0.562500
     42       (short) 0xbe80, // -1.625000
     43       (short) 0xd140, // -42.000000
     44       (short) 0xdac0, // -216.000000
     45       (short) 0xec75, // -4564.000000
     46       (short) 0xfb53, // -60000.000000
     47       (short) 0x0000, // zero
     48       (short) 0x7c00, // infinity
     49       (short) 0x8000, // negative zero
     50       (short) 0xfc00, // negative infinity
     51       (short) 0x7c01, // nan
     52   };
     53 
     54   static short[][][] ReferenceOutputForAdd = {
     55       {
     56           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x41ff, (short) 0x4201},
     57           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3bfe, (short) 0x3c01},
     58           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x7bfe, (short) 0x7c00},
     59           {(short) 0x3e3f, (short) 0x3e41}, {(short) 0x413f, (short) 0x4141},
     60           {(short) 0x515f, (short) 0x5161}, {(short) 0x5ac7, (short) 0x5ac9},
     61           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
     62           {(short) 0x8001, (short) 0x0001}, {(short) 0xbc01, (short) 0xbbfe},
     63           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3bfe, (short) 0x3c01},
     64           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0xfc00, (short) 0xfbfe},
     65           {(short) 0x36ff, (short) 0x3701}, {(short) 0xb901, (short) 0xb8ff},
     66           {(short) 0xd121, (short) 0xd11f}, {(short) 0xdab9, (short) 0xdab7},
     67           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
     68           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x7c00, (short) 0x7c00},
     69           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0xfc00, (short) 0xfc00},
     70           {(short) 0x7e01, (short) 0x7e01},
     71       },
     72       {
     73           {(short) 0x41ff, (short) 0x4201}, {(short) 0x43fe, (short) 0x4401},
     74           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x3ffe, (short) 0x4001},
     75           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x7bfe, (short) 0x7c00},
     76           {(short) 0x411f, (short) 0x4121}, {(short) 0x433f, (short) 0x4341},
     77           {(short) 0x517f, (short) 0x5181}, {(short) 0x5acf, (short) 0x5ad1},
     78           {(short) 0x6c75, (short) 0x6c77}, {(short) 0x7b52, (short) 0x7b54},
     79           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x8001, (short) 0x0001},
     80           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x3ffe, (short) 0x4001},
     81           {(short) 0x3ffe, (short) 0x4001}, {(short) 0xfc00, (short) 0xfbfe},
     82           {(short) 0x3dbf, (short) 0x3dc1}, {(short) 0x35ff, (short) 0x3601},
     83           {(short) 0xd101, (short) 0xd0ff}, {(short) 0xdab1, (short) 0xdaaf},
     84           {(short) 0xec75, (short) 0xec73}, {(short) 0xfb54, (short) 0xfb52},
     85           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x7c00, (short) 0x7c00},
     86           {(short) 0x3ffe, (short) 0x4001}, {(short) 0xfc00, (short) 0xfc00},
     87           {(short) 0x7e01, (short) 0x7e01},
     88       },
     89       {
     90           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
     91           {(short) 0x0000, (short) 0x0003}, {(short) 0x0000, (short) 0x0401},
     92           {(short) 0x0400, (short) 0x0402}, {(short) 0x7bfe, (short) 0x7c00},
     93           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
     94           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
     95           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
     96           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
     97           {(short) 0x8001, (short) 0x0001}, {(short) 0x83ff, (short) 0x8000},
     98           {(short) 0x8400, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
     99           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    100           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    101           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    102           {(short) 0x0000, (short) 0x0002}, {(short) 0x7c00, (short) 0x7c00},
    103           {(short) 0x0000, (short) 0x0002}, {(short) 0xfc00, (short) 0xfc00},
    104           {(short) 0x7e01, (short) 0x7e01},
    105       },
    106       {
    107           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    108           {(short) 0x0000, (short) 0x0401}, {(short) 0x07fd, (short) 0x07ff},
    109           {(short) 0x07fe, (short) 0x0800}, {(short) 0x7bfe, (short) 0x7c00},
    110           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    111           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    112           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    113           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    114           {(short) 0x0000, (short) 0x03ff}, {(short) 0x8001, (short) 0x0001},
    115           {(short) 0x8002, (short) 0x0000}, {(short) 0xfc00, (short) 0xfbfe},
    116           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    117           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    118           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    119           {(short) 0x0000, (short) 0x0400}, {(short) 0x7c00, (short) 0x7c00},
    120           {(short) 0x0000, (short) 0x0400}, {(short) 0xfc00, (short) 0xfc00},
    121           {(short) 0x7e01, (short) 0x7e01},
    122       },
    123       {
    124           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    125           {(short) 0x0400, (short) 0x0402}, {(short) 0x07fe, (short) 0x0800},
    126           {(short) 0x07fe, (short) 0x0801}, {(short) 0x7bfe, (short) 0x7c00},
    127           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    128           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    129           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    130           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    131           {(short) 0x0000, (short) 0x0400}, {(short) 0x0000, (short) 0x0002},
    132           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfbfe},
    133           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    134           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    135           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    136           {(short) 0x0000, (short) 0x0401}, {(short) 0x7c00, (short) 0x7c00},
    137           {(short) 0x0000, (short) 0x0401}, {(short) 0xfc00, (short) 0xfc00},
    138           {(short) 0x7e01, (short) 0x7e01},
    139       },
    140       {
    141           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    142           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    143           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    144           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    145           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    146           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    147           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    148           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    149           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x8001, (short) 0x0001},
    150           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    151           {(short) 0x7bfd, (short) 0x7bff}, {(short) 0x7bf7, (short) 0x7bf9},
    152           {(short) 0x7b6f, (short) 0x7b71}, {(short) 0x6d5f, (short) 0x6d61},
    153           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    154           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0xfc00, (short) 0xfc00},
    155           {(short) 0x7e01, (short) 0x7e01},
    156       },
    157       {
    158           {(short) 0x3e3f, (short) 0x3e41}, {(short) 0x411f, (short) 0x4121},
    159           {(short) 0x387f, (short) 0x3881}, {(short) 0x387f, (short) 0x3881},
    160           {(short) 0x387f, (short) 0x3881}, {(short) 0x7bfe, (short) 0x7c00},
    161           {(short) 0x3c7f, (short) 0x3c81}, {(short) 0x405f, (short) 0x4061},
    162           {(short) 0x5151, (short) 0x5153}, {(short) 0x5ac3, (short) 0x5ac5},
    163           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    164           {(short) 0xb701, (short) 0xb6ff}, {(short) 0xbdc1, (short) 0xbdbf},
    165           {(short) 0x387f, (short) 0x3881}, {(short) 0x387f, (short) 0x3881},
    166           {(short) 0x387f, (short) 0x3881}, {(short) 0xfc00, (short) 0xfbfe},
    167           {(short) 0x8001, (short) 0x0001}, {(short) 0xbc41, (short) 0xbc3f},
    168           {(short) 0xd12f, (short) 0xd12d}, {(short) 0xdabd, (short) 0xdabb},
    169           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    170           {(short) 0x387f, (short) 0x3881}, {(short) 0x7c00, (short) 0x7c00},
    171           {(short) 0x387f, (short) 0x3881}, {(short) 0xfc00, (short) 0xfc00},
    172           {(short) 0x7e01, (short) 0x7e01},
    173       },
    174       {
    175           {(short) 0x413f, (short) 0x4141}, {(short) 0x433f, (short) 0x4341},
    176           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x3e7f, (short) 0x3e81},
    177           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x7bfe, (short) 0x7c00},
    178           {(short) 0x405f, (short) 0x4061}, {(short) 0x427f, (short) 0x4281},
    179           {(short) 0x5173, (short) 0x5175}, {(short) 0x5acc, (short) 0x5ace},
    180           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    181           {(short) 0x38ff, (short) 0x3901}, {(short) 0xb601, (short) 0xb5ff},
    182           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x3e7f, (short) 0x3e81},
    183           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0xfc00, (short) 0xfbfe},
    184           {(short) 0x3c3f, (short) 0x3c41}, {(short) 0x8001, (short) 0x0001},
    185           {(short) 0xd10d, (short) 0xd10b}, {(short) 0xdab4, (short) 0xdab2},
    186           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    187           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x7c00, (short) 0x7c00},
    188           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0xfc00, (short) 0xfc00},
    189           {(short) 0x7e01, (short) 0x7e01},
    190       },
    191       {
    192           {(short) 0x515f, (short) 0x5161}, {(short) 0x517f, (short) 0x5181},
    193           {(short) 0x513f, (short) 0x5141}, {(short) 0x513f, (short) 0x5141},
    194           {(short) 0x513f, (short) 0x5141}, {(short) 0x7c00, (short) 0x7c00},
    195           {(short) 0x5151, (short) 0x5153}, {(short) 0x5173, (short) 0x5175},
    196           {(short) 0x553f, (short) 0x5541}, {(short) 0x5c07, (short) 0x5c09},
    197           {(short) 0x6c7f, (short) 0x6c81}, {(short) 0x7b53, (short) 0x7b55},
    198           {(short) 0x511f, (short) 0x5121}, {(short) 0x50ff, (short) 0x5101},
    199           {(short) 0x513f, (short) 0x5141}, {(short) 0x513f, (short) 0x5141},
    200           {(short) 0x513f, (short) 0x5141}, {(short) 0xfbff, (short) 0xfbfd},
    201           {(short) 0x512d, (short) 0x512f}, {(short) 0x510b, (short) 0x510d},
    202           {(short) 0x8001, (short) 0x0001}, {(short) 0xd971, (short) 0xd96f},
    203           {(short) 0xec6b, (short) 0xec69}, {(short) 0xfb53, (short) 0xfb51},
    204           {(short) 0x513f, (short) 0x5141}, {(short) 0x7c00, (short) 0x7c00},
    205           {(short) 0x513f, (short) 0x5141}, {(short) 0xfc00, (short) 0xfc00},
    206           {(short) 0x7e01, (short) 0x7e01},
    207       },
    208       {
    209           {(short) 0x5ac7, (short) 0x5ac9}, {(short) 0x5acf, (short) 0x5ad1},
    210           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5abf, (short) 0x5ac1},
    211           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x7c00, (short) 0x7c00},
    212           {(short) 0x5ac3, (short) 0x5ac5}, {(short) 0x5acc, (short) 0x5ace},
    213           {(short) 0x5c07, (short) 0x5c09}, {(short) 0x5ebf, (short) 0x5ec1},
    214           {(short) 0x6caa, (short) 0x6cac}, {(short) 0x7b59, (short) 0x7b5b},
    215           {(short) 0x5ab7, (short) 0x5ab9}, {(short) 0x5aaf, (short) 0x5ab1},
    216           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5abf, (short) 0x5ac1},
    217           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0xfbf9, (short) 0xfbf7},
    218           {(short) 0x5abb, (short) 0x5abd}, {(short) 0x5ab2, (short) 0x5ab4},
    219           {(short) 0x596f, (short) 0x5971}, {(short) 0x8001, (short) 0x0001},
    220           {(short) 0xec40, (short) 0xec3e}, {(short) 0xfb4d, (short) 0xfb4b},
    221           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x7c00, (short) 0x7c00},
    222           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0xfc00, (short) 0xfc00},
    223           {(short) 0x7e01, (short) 0x7e01},
    224       },
    225       {
    226           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c75, (short) 0x6c77},
    227           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    228           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7c00, (short) 0x7c00},
    229           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    230           {(short) 0x6c7f, (short) 0x6c81}, {(short) 0x6caa, (short) 0x6cac},
    231           {(short) 0x7074, (short) 0x7076}, {(short) 0x7be1, (short) 0x7be3},
    232           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c73, (short) 0x6c75},
    233           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    234           {(short) 0x6c74, (short) 0x6c76}, {(short) 0xfb71, (short) 0xfb6f},
    235           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    236           {(short) 0x6c69, (short) 0x6c6b}, {(short) 0x6c3e, (short) 0x6c40},
    237           {(short) 0x8001, (short) 0x0001}, {(short) 0xfac5, (short) 0xfac3},
    238           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7c00, (short) 0x7c00},
    239           {(short) 0x6c74, (short) 0x6c76}, {(short) 0xfc00, (short) 0xfc00},
    240           {(short) 0x7e01, (short) 0x7e01},
    241       },
    242       {
    243           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    244           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    245           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
    246           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    247           {(short) 0x7b53, (short) 0x7b55}, {(short) 0x7b59, (short) 0x7b5b},
    248           {(short) 0x7be1, (short) 0x7be3}, {(short) 0x7c00, (short) 0x7c00},
    249           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    250           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    251           {(short) 0x7b52, (short) 0x7b54}, {(short) 0xed61, (short) 0xed5f},
    252           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    253           {(short) 0x7b51, (short) 0x7b53}, {(short) 0x7b4b, (short) 0x7b4d},
    254           {(short) 0x7ac3, (short) 0x7ac5}, {(short) 0x8001, (short) 0x0001},
    255           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
    256           {(short) 0x7b52, (short) 0x7b54}, {(short) 0xfc00, (short) 0xfc00},
    257           {(short) 0x7e01, (short) 0x7e01},
    258       },
    259       {
    260           {(short) 0x8001, (short) 0x0001}, {(short) 0x3bfe, (short) 0x3c01},
    261           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xbc01, (short) 0xbbfe},
    262           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x7bfe, (short) 0x7c00},
    263           {(short) 0xb701, (short) 0xb6ff}, {(short) 0x38ff, (short) 0x3901},
    264           {(short) 0x511f, (short) 0x5121}, {(short) 0x5ab7, (short) 0x5ab9},
    265           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    266           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc201, (short) 0xc1ff},
    267           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xbc01, (short) 0xbbfe},
    268           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xfc00, (short) 0xfbfe},
    269           {(short) 0xbe41, (short) 0xbe3f}, {(short) 0xc141, (short) 0xc13f},
    270           {(short) 0xd161, (short) 0xd15f}, {(short) 0xdac9, (short) 0xdac7},
    271           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    272           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x7c00, (short) 0x7c00},
    273           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xfc00, (short) 0xfc00},
    274           {(short) 0x7e01, (short) 0x7e01},
    275       },
    276       {
    277           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x8001, (short) 0x0001},
    278           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc001, (short) 0xbffe},
    279           {(short) 0xc001, (short) 0xbffe}, {(short) 0x7bfe, (short) 0x7c00},
    280           {(short) 0xbdc1, (short) 0xbdbf}, {(short) 0xb601, (short) 0xb5ff},
    281           {(short) 0x50ff, (short) 0x5101}, {(short) 0x5aaf, (short) 0x5ab1},
    282           {(short) 0x6c73, (short) 0x6c75}, {(short) 0x7b52, (short) 0x7b54},
    283           {(short) 0xc201, (short) 0xc1ff}, {(short) 0xc401, (short) 0xc3fe},
    284           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc001, (short) 0xbffe},
    285           {(short) 0xc001, (short) 0xbffe}, {(short) 0xfc00, (short) 0xfbfe},
    286           {(short) 0xc121, (short) 0xc11f}, {(short) 0xc341, (short) 0xc33f},
    287           {(short) 0xd181, (short) 0xd17f}, {(short) 0xdad1, (short) 0xdacf},
    288           {(short) 0xec77, (short) 0xec75}, {(short) 0xfb54, (short) 0xfb52},
    289           {(short) 0xc001, (short) 0xbffe}, {(short) 0x7c00, (short) 0x7c00},
    290           {(short) 0xc001, (short) 0xbffe}, {(short) 0xfc00, (short) 0xfc00},
    291           {(short) 0x7e01, (short) 0x7e01},
    292       },
    293       {
    294           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    295           {(short) 0x8001, (short) 0x0001}, {(short) 0x0000, (short) 0x03ff},
    296           {(short) 0x0000, (short) 0x0400}, {(short) 0x7bfe, (short) 0x7c00},
    297           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    298           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    299           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    300           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    301           {(short) 0x8003, (short) 0x8000}, {(short) 0x8401, (short) 0x8000},
    302           {(short) 0x8402, (short) 0x8400}, {(short) 0xfc00, (short) 0xfbfe},
    303           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    304           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    305           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    306           {(short) 0x8002, (short) 0x0000}, {(short) 0x7c00, (short) 0x7c00},
    307           {(short) 0x8002, (short) 0x0000}, {(short) 0xfc00, (short) 0xfc00},
    308           {(short) 0x7e01, (short) 0x7e01},
    309       },
    310       {
    311           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    312           {(short) 0x83ff, (short) 0x8000}, {(short) 0x8001, (short) 0x0001},
    313           {(short) 0x0000, (short) 0x0002}, {(short) 0x7bfe, (short) 0x7c00},
    314           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    315           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    316           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    317           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    318           {(short) 0x8401, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
    319           {(short) 0x8800, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfbfe},
    320           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    321           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    322           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    323           {(short) 0x8400, (short) 0x8000}, {(short) 0x7c00, (short) 0x7c00},
    324           {(short) 0x8400, (short) 0x8000}, {(short) 0xfc00, (short) 0xfc00},
    325           {(short) 0x7e01, (short) 0x7e01},
    326       },
    327       {
    328           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    329           {(short) 0x8400, (short) 0x8000}, {(short) 0x8002, (short) 0x0000},
    330           {(short) 0x8001, (short) 0x0001}, {(short) 0x7bfe, (short) 0x7c00},
    331           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    332           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    333           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    334           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    335           {(short) 0x8402, (short) 0x8400}, {(short) 0x8800, (short) 0x87fe},
    336           {(short) 0x8801, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfbfe},
    337           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    338           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    339           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    340           {(short) 0x8401, (short) 0x8000}, {(short) 0x7c00, (short) 0x7c00},
    341           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfc00},
    342           {(short) 0x7e01, (short) 0x7e01},
    343       },
    344       {
    345           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    346           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    347           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0x8001, (short) 0x0001},
    348           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    349           {(short) 0xfbff, (short) 0xfbfd}, {(short) 0xfbf9, (short) 0xfbf7},
    350           {(short) 0xfb71, (short) 0xfb6f}, {(short) 0xed61, (short) 0xed5f},
    351           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    352           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    353           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
    354           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    355           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    356           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    357           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0x7c00, (short) 0x7c00},
    358           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
    359           {(short) 0x7e01, (short) 0x7e01},
    360       },
    361       {
    362           {(short) 0x36ff, (short) 0x3701}, {(short) 0x3dbf, (short) 0x3dc1},
    363           {(short) 0xb881, (short) 0xb87f}, {(short) 0xb881, (short) 0xb87f},
    364           {(short) 0xb881, (short) 0xb87f}, {(short) 0x7bfe, (short) 0x7c00},
    365           {(short) 0x8001, (short) 0x0001}, {(short) 0x3c3f, (short) 0x3c41},
    366           {(short) 0x512d, (short) 0x512f}, {(short) 0x5abb, (short) 0x5abd},
    367           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    368           {(short) 0xbe41, (short) 0xbe3f}, {(short) 0xc121, (short) 0xc11f},
    369           {(short) 0xb881, (short) 0xb87f}, {(short) 0xb881, (short) 0xb87f},
    370           {(short) 0xb881, (short) 0xb87f}, {(short) 0xfc00, (short) 0xfbfe},
    371           {(short) 0xbc81, (short) 0xbc7f}, {(short) 0xc061, (short) 0xc05f},
    372           {(short) 0xd153, (short) 0xd151}, {(short) 0xdac5, (short) 0xdac3},
    373           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    374           {(short) 0xb881, (short) 0xb87f}, {(short) 0x7c00, (short) 0x7c00},
    375           {(short) 0xb881, (short) 0xb87f}, {(short) 0xfc00, (short) 0xfc00},
    376           {(short) 0x7e01, (short) 0x7e01},
    377       },
    378       {
    379           {(short) 0xb901, (short) 0xb8ff}, {(short) 0x35ff, (short) 0x3601},
    380           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xbe81, (short) 0xbe7f},
    381           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0x7bfe, (short) 0x7c00},
    382           {(short) 0xbc41, (short) 0xbc3f}, {(short) 0x8001, (short) 0x0001},
    383           {(short) 0x510b, (short) 0x510d}, {(short) 0x5ab2, (short) 0x5ab4},
    384           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    385           {(short) 0xc141, (short) 0xc13f}, {(short) 0xc341, (short) 0xc33f},
    386           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xbe81, (short) 0xbe7f},
    387           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xfc00, (short) 0xfbfe},
    388           {(short) 0xc061, (short) 0xc05f}, {(short) 0xc281, (short) 0xc27f},
    389           {(short) 0xd175, (short) 0xd173}, {(short) 0xdace, (short) 0xdacc},
    390           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    391           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0x7c00, (short) 0x7c00},
    392           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xfc00, (short) 0xfc00},
    393           {(short) 0x7e01, (short) 0x7e01},
    394       },
    395       {
    396           {(short) 0xd121, (short) 0xd11f}, {(short) 0xd101, (short) 0xd0ff},
    397           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd141, (short) 0xd13f},
    398           {(short) 0xd141, (short) 0xd13f}, {(short) 0x7bfd, (short) 0x7bff},
    399           {(short) 0xd12f, (short) 0xd12d}, {(short) 0xd10d, (short) 0xd10b},
    400           {(short) 0x8001, (short) 0x0001}, {(short) 0x596f, (short) 0x5971},
    401           {(short) 0x6c69, (short) 0x6c6b}, {(short) 0x7b51, (short) 0x7b53},
    402           {(short) 0xd161, (short) 0xd15f}, {(short) 0xd181, (short) 0xd17f},
    403           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd141, (short) 0xd13f},
    404           {(short) 0xd141, (short) 0xd13f}, {(short) 0xfc00, (short) 0xfc00},
    405           {(short) 0xd153, (short) 0xd151}, {(short) 0xd175, (short) 0xd173},
    406           {(short) 0xd541, (short) 0xd53f}, {(short) 0xdc09, (short) 0xdc07},
    407           {(short) 0xec81, (short) 0xec7f}, {(short) 0xfb55, (short) 0xfb53},
    408           {(short) 0xd141, (short) 0xd13f}, {(short) 0x7c00, (short) 0x7c00},
    409           {(short) 0xd141, (short) 0xd13f}, {(short) 0xfc00, (short) 0xfc00},
    410           {(short) 0x7e01, (short) 0x7e01},
    411       },
    412       {
    413           {(short) 0xdab9, (short) 0xdab7}, {(short) 0xdab1, (short) 0xdaaf},
    414           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdac1, (short) 0xdabf},
    415           {(short) 0xdac1, (short) 0xdabf}, {(short) 0x7bf7, (short) 0x7bf9},
    416           {(short) 0xdabd, (short) 0xdabb}, {(short) 0xdab4, (short) 0xdab2},
    417           {(short) 0xd971, (short) 0xd96f}, {(short) 0x8001, (short) 0x0001},
    418           {(short) 0x6c3e, (short) 0x6c40}, {(short) 0x7b4b, (short) 0x7b4d},
    419           {(short) 0xdac9, (short) 0xdac7}, {(short) 0xdad1, (short) 0xdacf},
    420           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdac1, (short) 0xdabf},
    421           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xfc00, (short) 0xfc00},
    422           {(short) 0xdac5, (short) 0xdac3}, {(short) 0xdace, (short) 0xdacc},
    423           {(short) 0xdc09, (short) 0xdc07}, {(short) 0xdec1, (short) 0xdebf},
    424           {(short) 0xecac, (short) 0xecaa}, {(short) 0xfb5b, (short) 0xfb59},
    425           {(short) 0xdac1, (short) 0xdabf}, {(short) 0x7c00, (short) 0x7c00},
    426           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xfc00, (short) 0xfc00},
    427           {(short) 0x7e01, (short) 0x7e01},
    428       },
    429       {
    430           {(short) 0xec76, (short) 0xec74}, {(short) 0xec75, (short) 0xec73},
    431           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    432           {(short) 0xec76, (short) 0xec74}, {(short) 0x7b6f, (short) 0x7b71},
    433           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    434           {(short) 0xec6b, (short) 0xec69}, {(short) 0xec40, (short) 0xec3e},
    435           {(short) 0x8001, (short) 0x0001}, {(short) 0x7ac3, (short) 0x7ac5},
    436           {(short) 0xec76, (short) 0xec74}, {(short) 0xec77, (short) 0xec75},
    437           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    438           {(short) 0xec76, (short) 0xec74}, {(short) 0xfc00, (short) 0xfc00},
    439           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    440           {(short) 0xec81, (short) 0xec7f}, {(short) 0xecac, (short) 0xecaa},
    441           {(short) 0xf076, (short) 0xf074}, {(short) 0xfbe3, (short) 0xfbe1},
    442           {(short) 0xec76, (short) 0xec74}, {(short) 0x7c00, (short) 0x7c00},
    443           {(short) 0xec76, (short) 0xec74}, {(short) 0xfc00, (short) 0xfc00},
    444           {(short) 0x7e01, (short) 0x7e01},
    445       },
    446       {
    447           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    448           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    449           {(short) 0xfb54, (short) 0xfb52}, {(short) 0x6d5f, (short) 0x6d61},
    450           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    451           {(short) 0xfb53, (short) 0xfb51}, {(short) 0xfb4d, (short) 0xfb4b},
    452           {(short) 0xfac5, (short) 0xfac3}, {(short) 0x8001, (short) 0x0001},
    453           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    454           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    455           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
    456           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    457           {(short) 0xfb55, (short) 0xfb53}, {(short) 0xfb5b, (short) 0xfb59},
    458           {(short) 0xfbe3, (short) 0xfbe1}, {(short) 0xfc00, (short) 0xfc00},
    459           {(short) 0xfb54, (short) 0xfb52}, {(short) 0x7c00, (short) 0x7c00},
    460           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
    461           {(short) 0x7e01, (short) 0x7e01},
    462       },
    463       {
    464           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    465           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
    466           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
    467           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    468           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    469           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    470           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    471           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
    472           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
    473           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    474           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    475           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    476           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
    477           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
    478           {(short) 0x7e01, (short) 0x7e01},
    479       },
    480       {
    481           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    482           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    483           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    484           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    485           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    486           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    487           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    488           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    489           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    490           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    491           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    492           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    493           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    494           {(short) 0x7c00, (short) 0x7c00}, {(short) 0xfe00, (short) 0xfe00},
    495           {(short) 0x7e01, (short) 0x7e01},
    496       },
    497       {
    498           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    499           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
    500           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
    501           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    502           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    503           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    504           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    505           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
    506           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
    507           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    508           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    509           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    510           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
    511           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
    512           {(short) 0x7e01, (short) 0x7e01},
    513       },
    514       {
    515           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    516           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    517           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    518           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    519           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    520           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    521           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    522           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    523           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    524           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    525           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    526           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    527           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfe00, (short) 0xfe00},
    528           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    529           {(short) 0x7e01, (short) 0x7e01},
    530       },
    531       {
    532           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    533           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    534           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    535           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    536           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    537           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    538           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    539           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    540           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    541           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    542           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    543           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    544           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    545           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
    546           {(short) 0x7e01, (short) 0x7e01},
    547       },
    548   };
    549 
    550   static short[][][] ReferenceOutputForSub = {
    551       {
    552           {(short) 0x8001, (short) 0x0001}, {(short) 0xbc01, (short) 0xbbfe},
    553           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3bfe, (short) 0x3c01},
    554           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0xfc00, (short) 0xfbfe},
    555           {(short) 0x36ff, (short) 0x3701}, {(short) 0xb901, (short) 0xb8ff},
    556           {(short) 0xd121, (short) 0xd11f}, {(short) 0xdab9, (short) 0xdab7},
    557           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    558           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x41ff, (short) 0x4201},
    559           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3bfe, (short) 0x3c01},
    560           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x7bfe, (short) 0x7c00},
    561           {(short) 0x3e3f, (short) 0x3e41}, {(short) 0x413f, (short) 0x4141},
    562           {(short) 0x515f, (short) 0x5161}, {(short) 0x5ac7, (short) 0x5ac9},
    563           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    564           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0xfc00, (short) 0xfc00},
    565           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x7c00, (short) 0x7c00},
    566           {(short) 0x7e01, (short) 0x7e01},
    567       },
    568       {
    569           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x8001, (short) 0x0001},
    570           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x3ffe, (short) 0x4001},
    571           {(short) 0x3ffe, (short) 0x4001}, {(short) 0xfc00, (short) 0xfbfe},
    572           {(short) 0x3dbf, (short) 0x3dc1}, {(short) 0x35ff, (short) 0x3601},
    573           {(short) 0xd101, (short) 0xd0ff}, {(short) 0xdab1, (short) 0xdaaf},
    574           {(short) 0xec75, (short) 0xec73}, {(short) 0xfb54, (short) 0xfb52},
    575           {(short) 0x41ff, (short) 0x4201}, {(short) 0x43fe, (short) 0x4401},
    576           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x3ffe, (short) 0x4001},
    577           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x7bfe, (short) 0x7c00},
    578           {(short) 0x411f, (short) 0x4121}, {(short) 0x433f, (short) 0x4341},
    579           {(short) 0x517f, (short) 0x5181}, {(short) 0x5acf, (short) 0x5ad1},
    580           {(short) 0x6c75, (short) 0x6c77}, {(short) 0x7b52, (short) 0x7b54},
    581           {(short) 0x3ffe, (short) 0x4001}, {(short) 0xfc00, (short) 0xfc00},
    582           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x7c00, (short) 0x7c00},
    583           {(short) 0x7e01, (short) 0x7e01},
    584       },
    585       {
    586           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    587           {(short) 0x8001, (short) 0x0001}, {(short) 0x83ff, (short) 0x8000},
    588           {(short) 0x8400, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
    589           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    590           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    591           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    592           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    593           {(short) 0x0000, (short) 0x0003}, {(short) 0x0000, (short) 0x0401},
    594           {(short) 0x0400, (short) 0x0402}, {(short) 0x7bfe, (short) 0x7c00},
    595           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    596           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    597           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    598           {(short) 0x0000, (short) 0x0002}, {(short) 0xfc00, (short) 0xfc00},
    599           {(short) 0x0000, (short) 0x0002}, {(short) 0x7c00, (short) 0x7c00},
    600           {(short) 0x7e01, (short) 0x7e01},
    601       },
    602       {
    603           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    604           {(short) 0x0000, (short) 0x03ff}, {(short) 0x8001, (short) 0x0001},
    605           {(short) 0x8002, (short) 0x0000}, {(short) 0xfc00, (short) 0xfbfe},
    606           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    607           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    608           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    609           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    610           {(short) 0x0000, (short) 0x0401}, {(short) 0x07fd, (short) 0x07ff},
    611           {(short) 0x07fe, (short) 0x0800}, {(short) 0x7bfe, (short) 0x7c00},
    612           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    613           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    614           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    615           {(short) 0x0000, (short) 0x0400}, {(short) 0xfc00, (short) 0xfc00},
    616           {(short) 0x0000, (short) 0x0400}, {(short) 0x7c00, (short) 0x7c00},
    617           {(short) 0x7e01, (short) 0x7e01},
    618       },
    619       {
    620           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    621           {(short) 0x0000, (short) 0x0400}, {(short) 0x0000, (short) 0x0002},
    622           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfbfe},
    623           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    624           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    625           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    626           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    627           {(short) 0x0400, (short) 0x0402}, {(short) 0x07fe, (short) 0x0800},
    628           {(short) 0x07fe, (short) 0x0801}, {(short) 0x7bfe, (short) 0x7c00},
    629           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    630           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    631           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    632           {(short) 0x0000, (short) 0x0401}, {(short) 0xfc00, (short) 0xfc00},
    633           {(short) 0x0000, (short) 0x0401}, {(short) 0x7c00, (short) 0x7c00},
    634           {(short) 0x7e01, (short) 0x7e01},
    635       },
    636       {
    637           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    638           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    639           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x8001, (short) 0x0001},
    640           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    641           {(short) 0x7bfd, (short) 0x7bff}, {(short) 0x7bf7, (short) 0x7bf9},
    642           {(short) 0x7b6f, (short) 0x7b71}, {(short) 0x6d5f, (short) 0x6d61},
    643           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    644           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    645           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    646           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7bfe, (short) 0x7c00},
    647           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    648           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    649           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0xfc00, (short) 0xfc00},
    650           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    651           {(short) 0x7e01, (short) 0x7e01},
    652       },
    653       {
    654           {(short) 0xb701, (short) 0xb6ff}, {(short) 0xbdc1, (short) 0xbdbf},
    655           {(short) 0x387f, (short) 0x3881}, {(short) 0x387f, (short) 0x3881},
    656           {(short) 0x387f, (short) 0x3881}, {(short) 0xfc00, (short) 0xfbfe},
    657           {(short) 0x8001, (short) 0x0001}, {(short) 0xbc41, (short) 0xbc3f},
    658           {(short) 0xd12f, (short) 0xd12d}, {(short) 0xdabd, (short) 0xdabb},
    659           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    660           {(short) 0x3e3f, (short) 0x3e41}, {(short) 0x411f, (short) 0x4121},
    661           {(short) 0x387f, (short) 0x3881}, {(short) 0x387f, (short) 0x3881},
    662           {(short) 0x387f, (short) 0x3881}, {(short) 0x7bfe, (short) 0x7c00},
    663           {(short) 0x3c7f, (short) 0x3c81}, {(short) 0x405f, (short) 0x4061},
    664           {(short) 0x5151, (short) 0x5153}, {(short) 0x5ac3, (short) 0x5ac5},
    665           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    666           {(short) 0x387f, (short) 0x3881}, {(short) 0xfc00, (short) 0xfc00},
    667           {(short) 0x387f, (short) 0x3881}, {(short) 0x7c00, (short) 0x7c00},
    668           {(short) 0x7e01, (short) 0x7e01},
    669       },
    670       {
    671           {(short) 0x38ff, (short) 0x3901}, {(short) 0xb601, (short) 0xb5ff},
    672           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x3e7f, (short) 0x3e81},
    673           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0xfc00, (short) 0xfbfe},
    674           {(short) 0x3c3f, (short) 0x3c41}, {(short) 0x8001, (short) 0x0001},
    675           {(short) 0xd10d, (short) 0xd10b}, {(short) 0xdab4, (short) 0xdab2},
    676           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    677           {(short) 0x413f, (short) 0x4141}, {(short) 0x433f, (short) 0x4341},
    678           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x3e7f, (short) 0x3e81},
    679           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x7bfe, (short) 0x7c00},
    680           {(short) 0x405f, (short) 0x4061}, {(short) 0x427f, (short) 0x4281},
    681           {(short) 0x5173, (short) 0x5175}, {(short) 0x5acc, (short) 0x5ace},
    682           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    683           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0xfc00, (short) 0xfc00},
    684           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x7c00, (short) 0x7c00},
    685           {(short) 0x7e01, (short) 0x7e01},
    686       },
    687       {
    688           {(short) 0x511f, (short) 0x5121}, {(short) 0x50ff, (short) 0x5101},
    689           {(short) 0x513f, (short) 0x5141}, {(short) 0x513f, (short) 0x5141},
    690           {(short) 0x513f, (short) 0x5141}, {(short) 0xfbff, (short) 0xfbfd},
    691           {(short) 0x512d, (short) 0x512f}, {(short) 0x510b, (short) 0x510d},
    692           {(short) 0x8001, (short) 0x0001}, {(short) 0xd971, (short) 0xd96f},
    693           {(short) 0xec6b, (short) 0xec69}, {(short) 0xfb53, (short) 0xfb51},
    694           {(short) 0x515f, (short) 0x5161}, {(short) 0x517f, (short) 0x5181},
    695           {(short) 0x513f, (short) 0x5141}, {(short) 0x513f, (short) 0x5141},
    696           {(short) 0x513f, (short) 0x5141}, {(short) 0x7c00, (short) 0x7c00},
    697           {(short) 0x5151, (short) 0x5153}, {(short) 0x5173, (short) 0x5175},
    698           {(short) 0x553f, (short) 0x5541}, {(short) 0x5c07, (short) 0x5c09},
    699           {(short) 0x6c7f, (short) 0x6c81}, {(short) 0x7b53, (short) 0x7b55},
    700           {(short) 0x513f, (short) 0x5141}, {(short) 0xfc00, (short) 0xfc00},
    701           {(short) 0x513f, (short) 0x5141}, {(short) 0x7c00, (short) 0x7c00},
    702           {(short) 0x7e01, (short) 0x7e01},
    703       },
    704       {
    705           {(short) 0x5ab7, (short) 0x5ab9}, {(short) 0x5aaf, (short) 0x5ab1},
    706           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5abf, (short) 0x5ac1},
    707           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0xfbf9, (short) 0xfbf7},
    708           {(short) 0x5abb, (short) 0x5abd}, {(short) 0x5ab2, (short) 0x5ab4},
    709           {(short) 0x596f, (short) 0x5971}, {(short) 0x8001, (short) 0x0001},
    710           {(short) 0xec40, (short) 0xec3e}, {(short) 0xfb4d, (short) 0xfb4b},
    711           {(short) 0x5ac7, (short) 0x5ac9}, {(short) 0x5acf, (short) 0x5ad1},
    712           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5abf, (short) 0x5ac1},
    713           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x7c00, (short) 0x7c00},
    714           {(short) 0x5ac3, (short) 0x5ac5}, {(short) 0x5acc, (short) 0x5ace},
    715           {(short) 0x5c07, (short) 0x5c09}, {(short) 0x5ebf, (short) 0x5ec1},
    716           {(short) 0x6caa, (short) 0x6cac}, {(short) 0x7b59, (short) 0x7b5b},
    717           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0xfc00, (short) 0xfc00},
    718           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x7c00, (short) 0x7c00},
    719           {(short) 0x7e01, (short) 0x7e01},
    720       },
    721       {
    722           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c73, (short) 0x6c75},
    723           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    724           {(short) 0x6c74, (short) 0x6c76}, {(short) 0xfb71, (short) 0xfb6f},
    725           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    726           {(short) 0x6c69, (short) 0x6c6b}, {(short) 0x6c3e, (short) 0x6c40},
    727           {(short) 0x8001, (short) 0x0001}, {(short) 0xfac5, (short) 0xfac3},
    728           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c75, (short) 0x6c77},
    729           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    730           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7c00, (short) 0x7c00},
    731           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x6c74, (short) 0x6c76},
    732           {(short) 0x6c7f, (short) 0x6c81}, {(short) 0x6caa, (short) 0x6cac},
    733           {(short) 0x7074, (short) 0x7076}, {(short) 0x7be1, (short) 0x7be3},
    734           {(short) 0x6c74, (short) 0x6c76}, {(short) 0xfc00, (short) 0xfc00},
    735           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7c00, (short) 0x7c00},
    736           {(short) 0x7e01, (short) 0x7e01},
    737       },
    738       {
    739           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    740           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    741           {(short) 0x7b52, (short) 0x7b54}, {(short) 0xed61, (short) 0xed5f},
    742           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    743           {(short) 0x7b51, (short) 0x7b53}, {(short) 0x7b4b, (short) 0x7b4d},
    744           {(short) 0x7ac3, (short) 0x7ac5}, {(short) 0x8001, (short) 0x0001},
    745           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    746           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    747           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
    748           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7b52, (short) 0x7b54},
    749           {(short) 0x7b53, (short) 0x7b55}, {(short) 0x7b59, (short) 0x7b5b},
    750           {(short) 0x7be1, (short) 0x7be3}, {(short) 0x7c00, (short) 0x7c00},
    751           {(short) 0x7b52, (short) 0x7b54}, {(short) 0xfc00, (short) 0xfc00},
    752           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
    753           {(short) 0x7e01, (short) 0x7e01},
    754       },
    755       {
    756           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc201, (short) 0xc1ff},
    757           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xbc01, (short) 0xbbfe},
    758           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xfc00, (short) 0xfbfe},
    759           {(short) 0xbe41, (short) 0xbe3f}, {(short) 0xc141, (short) 0xc13f},
    760           {(short) 0xd161, (short) 0xd15f}, {(short) 0xdac9, (short) 0xdac7},
    761           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    762           {(short) 0x8001, (short) 0x0001}, {(short) 0x3bfe, (short) 0x3c01},
    763           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xbc01, (short) 0xbbfe},
    764           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x7bfe, (short) 0x7c00},
    765           {(short) 0xb701, (short) 0xb6ff}, {(short) 0x38ff, (short) 0x3901},
    766           {(short) 0x511f, (short) 0x5121}, {(short) 0x5ab7, (short) 0x5ab9},
    767           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    768           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xfc00, (short) 0xfc00},
    769           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x7c00, (short) 0x7c00},
    770           {(short) 0x7e01, (short) 0x7e01},
    771       },
    772       {
    773           {(short) 0xc201, (short) 0xc1ff}, {(short) 0xc401, (short) 0xc3fe},
    774           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc001, (short) 0xbffe},
    775           {(short) 0xc001, (short) 0xbffe}, {(short) 0xfc00, (short) 0xfbfe},
    776           {(short) 0xc121, (short) 0xc11f}, {(short) 0xc341, (short) 0xc33f},
    777           {(short) 0xd181, (short) 0xd17f}, {(short) 0xdad1, (short) 0xdacf},
    778           {(short) 0xec77, (short) 0xec75}, {(short) 0xfb54, (short) 0xfb52},
    779           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0x8001, (short) 0x0001},
    780           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc001, (short) 0xbffe},
    781           {(short) 0xc001, (short) 0xbffe}, {(short) 0x7bfe, (short) 0x7c00},
    782           {(short) 0xbdc1, (short) 0xbdbf}, {(short) 0xb601, (short) 0xb5ff},
    783           {(short) 0x50ff, (short) 0x5101}, {(short) 0x5aaf, (short) 0x5ab1},
    784           {(short) 0x6c73, (short) 0x6c75}, {(short) 0x7b52, (short) 0x7b54},
    785           {(short) 0xc001, (short) 0xbffe}, {(short) 0xfc00, (short) 0xfc00},
    786           {(short) 0xc001, (short) 0xbffe}, {(short) 0x7c00, (short) 0x7c00},
    787           {(short) 0x7e01, (short) 0x7e01},
    788       },
    789       {
    790           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    791           {(short) 0x8003, (short) 0x8000}, {(short) 0x8401, (short) 0x8000},
    792           {(short) 0x8402, (short) 0x8400}, {(short) 0xfc00, (short) 0xfbfe},
    793           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    794           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    795           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    796           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    797           {(short) 0x8001, (short) 0x0001}, {(short) 0x0000, (short) 0x03ff},
    798           {(short) 0x0000, (short) 0x0400}, {(short) 0x7bfe, (short) 0x7c00},
    799           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    800           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    801           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    802           {(short) 0x8002, (short) 0x0000}, {(short) 0xfc00, (short) 0xfc00},
    803           {(short) 0x8002, (short) 0x0000}, {(short) 0x7c00, (short) 0x7c00},
    804           {(short) 0x7e01, (short) 0x7e01},
    805       },
    806       {
    807           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    808           {(short) 0x8401, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
    809           {(short) 0x8800, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfbfe},
    810           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    811           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    812           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    813           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    814           {(short) 0x83ff, (short) 0x8000}, {(short) 0x8001, (short) 0x0001},
    815           {(short) 0x0000, (short) 0x0002}, {(short) 0x7bfe, (short) 0x7c00},
    816           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    817           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    818           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    819           {(short) 0x8400, (short) 0x8000}, {(short) 0xfc00, (short) 0xfc00},
    820           {(short) 0x8400, (short) 0x8000}, {(short) 0x7c00, (short) 0x7c00},
    821           {(short) 0x7e01, (short) 0x7e01},
    822       },
    823       {
    824           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    825           {(short) 0x8402, (short) 0x8400}, {(short) 0x8800, (short) 0x87fe},
    826           {(short) 0x8801, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfbfe},
    827           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    828           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    829           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    830           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    831           {(short) 0x8400, (short) 0x8000}, {(short) 0x8002, (short) 0x0000},
    832           {(short) 0x8001, (short) 0x0001}, {(short) 0x7bfe, (short) 0x7c00},
    833           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    834           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    835           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    836           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfc00},
    837           {(short) 0x8401, (short) 0x8000}, {(short) 0x7c00, (short) 0x7c00},
    838           {(short) 0x7e01, (short) 0x7e01},
    839       },
    840       {
    841           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    842           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    843           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
    844           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    845           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    846           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
    847           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    848           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    849           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0x8001, (short) 0x0001},
    850           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfbfe},
    851           {(short) 0xfbff, (short) 0xfbfd}, {(short) 0xfbf9, (short) 0xfbf7},
    852           {(short) 0xfb71, (short) 0xfb6f}, {(short) 0xed61, (short) 0xed5f},
    853           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
    854           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0x7c00, (short) 0x7c00},
    855           {(short) 0x7e01, (short) 0x7e01},
    856       },
    857       {
    858           {(short) 0xbe41, (short) 0xbe3f}, {(short) 0xc121, (short) 0xc11f},
    859           {(short) 0xb881, (short) 0xb87f}, {(short) 0xb881, (short) 0xb87f},
    860           {(short) 0xb881, (short) 0xb87f}, {(short) 0xfc00, (short) 0xfbfe},
    861           {(short) 0xbc81, (short) 0xbc7f}, {(short) 0xc061, (short) 0xc05f},
    862           {(short) 0xd153, (short) 0xd151}, {(short) 0xdac5, (short) 0xdac3},
    863           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    864           {(short) 0x36ff, (short) 0x3701}, {(short) 0x3dbf, (short) 0x3dc1},
    865           {(short) 0xb881, (short) 0xb87f}, {(short) 0xb881, (short) 0xb87f},
    866           {(short) 0xb881, (short) 0xb87f}, {(short) 0x7bfe, (short) 0x7c00},
    867           {(short) 0x8001, (short) 0x0001}, {(short) 0x3c3f, (short) 0x3c41},
    868           {(short) 0x512d, (short) 0x512f}, {(short) 0x5abb, (short) 0x5abd},
    869           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    870           {(short) 0xb881, (short) 0xb87f}, {(short) 0xfc00, (short) 0xfc00},
    871           {(short) 0xb881, (short) 0xb87f}, {(short) 0x7c00, (short) 0x7c00},
    872           {(short) 0x7e01, (short) 0x7e01},
    873       },
    874       {
    875           {(short) 0xc141, (short) 0xc13f}, {(short) 0xc341, (short) 0xc33f},
    876           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xbe81, (short) 0xbe7f},
    877           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xfc00, (short) 0xfbfe},
    878           {(short) 0xc061, (short) 0xc05f}, {(short) 0xc281, (short) 0xc27f},
    879           {(short) 0xd175, (short) 0xd173}, {(short) 0xdace, (short) 0xdacc},
    880           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    881           {(short) 0xb901, (short) 0xb8ff}, {(short) 0x35ff, (short) 0x3601},
    882           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xbe81, (short) 0xbe7f},
    883           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0x7bfe, (short) 0x7c00},
    884           {(short) 0xbc41, (short) 0xbc3f}, {(short) 0x8001, (short) 0x0001},
    885           {(short) 0x510b, (short) 0x510d}, {(short) 0x5ab2, (short) 0x5ab4},
    886           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    887           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xfc00, (short) 0xfc00},
    888           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0x7c00, (short) 0x7c00},
    889           {(short) 0x7e01, (short) 0x7e01},
    890       },
    891       {
    892           {(short) 0xd161, (short) 0xd15f}, {(short) 0xd181, (short) 0xd17f},
    893           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd141, (short) 0xd13f},
    894           {(short) 0xd141, (short) 0xd13f}, {(short) 0xfc00, (short) 0xfc00},
    895           {(short) 0xd153, (short) 0xd151}, {(short) 0xd175, (short) 0xd173},
    896           {(short) 0xd541, (short) 0xd53f}, {(short) 0xdc09, (short) 0xdc07},
    897           {(short) 0xec81, (short) 0xec7f}, {(short) 0xfb55, (short) 0xfb53},
    898           {(short) 0xd121, (short) 0xd11f}, {(short) 0xd101, (short) 0xd0ff},
    899           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd141, (short) 0xd13f},
    900           {(short) 0xd141, (short) 0xd13f}, {(short) 0x7bfd, (short) 0x7bff},
    901           {(short) 0xd12f, (short) 0xd12d}, {(short) 0xd10d, (short) 0xd10b},
    902           {(short) 0x8001, (short) 0x0001}, {(short) 0x596f, (short) 0x5971},
    903           {(short) 0x6c69, (short) 0x6c6b}, {(short) 0x7b51, (short) 0x7b53},
    904           {(short) 0xd141, (short) 0xd13f}, {(short) 0xfc00, (short) 0xfc00},
    905           {(short) 0xd141, (short) 0xd13f}, {(short) 0x7c00, (short) 0x7c00},
    906           {(short) 0x7e01, (short) 0x7e01},
    907       },
    908       {
    909           {(short) 0xdac9, (short) 0xdac7}, {(short) 0xdad1, (short) 0xdacf},
    910           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdac1, (short) 0xdabf},
    911           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xfc00, (short) 0xfc00},
    912           {(short) 0xdac5, (short) 0xdac3}, {(short) 0xdace, (short) 0xdacc},
    913           {(short) 0xdc09, (short) 0xdc07}, {(short) 0xdec1, (short) 0xdebf},
    914           {(short) 0xecac, (short) 0xecaa}, {(short) 0xfb5b, (short) 0xfb59},
    915           {(short) 0xdab9, (short) 0xdab7}, {(short) 0xdab1, (short) 0xdaaf},
    916           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdac1, (short) 0xdabf},
    917           {(short) 0xdac1, (short) 0xdabf}, {(short) 0x7bf7, (short) 0x7bf9},
    918           {(short) 0xdabd, (short) 0xdabb}, {(short) 0xdab4, (short) 0xdab2},
    919           {(short) 0xd971, (short) 0xd96f}, {(short) 0x8001, (short) 0x0001},
    920           {(short) 0x6c3e, (short) 0x6c40}, {(short) 0x7b4b, (short) 0x7b4d},
    921           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xfc00, (short) 0xfc00},
    922           {(short) 0xdac1, (short) 0xdabf}, {(short) 0x7c00, (short) 0x7c00},
    923           {(short) 0x7e01, (short) 0x7e01},
    924       },
    925       {
    926           {(short) 0xec76, (short) 0xec74}, {(short) 0xec77, (short) 0xec75},
    927           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    928           {(short) 0xec76, (short) 0xec74}, {(short) 0xfc00, (short) 0xfc00},
    929           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    930           {(short) 0xec81, (short) 0xec7f}, {(short) 0xecac, (short) 0xecaa},
    931           {(short) 0xf076, (short) 0xf074}, {(short) 0xfbe3, (short) 0xfbe1},
    932           {(short) 0xec76, (short) 0xec74}, {(short) 0xec75, (short) 0xec73},
    933           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    934           {(short) 0xec76, (short) 0xec74}, {(short) 0x7b6f, (short) 0x7b71},
    935           {(short) 0xec76, (short) 0xec74}, {(short) 0xec76, (short) 0xec74},
    936           {(short) 0xec6b, (short) 0xec69}, {(short) 0xec40, (short) 0xec3e},
    937           {(short) 0x8001, (short) 0x0001}, {(short) 0x7ac3, (short) 0x7ac5},
    938           {(short) 0xec76, (short) 0xec74}, {(short) 0xfc00, (short) 0xfc00},
    939           {(short) 0xec76, (short) 0xec74}, {(short) 0x7c00, (short) 0x7c00},
    940           {(short) 0x7e01, (short) 0x7e01},
    941       },
    942       {
    943           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    944           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    945           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
    946           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    947           {(short) 0xfb55, (short) 0xfb53}, {(short) 0xfb5b, (short) 0xfb59},
    948           {(short) 0xfbe3, (short) 0xfbe1}, {(short) 0xfc00, (short) 0xfc00},
    949           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    950           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    951           {(short) 0xfb54, (short) 0xfb52}, {(short) 0x6d5f, (short) 0x6d61},
    952           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfb54, (short) 0xfb52},
    953           {(short) 0xfb53, (short) 0xfb51}, {(short) 0xfb4d, (short) 0xfb4b},
    954           {(short) 0xfac5, (short) 0xfac3}, {(short) 0x8001, (short) 0x0001},
    955           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
    956           {(short) 0xfb54, (short) 0xfb52}, {(short) 0x7c00, (short) 0x7c00},
    957           {(short) 0x7e01, (short) 0x7e01},
    958       },
    959       {
    960           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    961           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
    962           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
    963           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    964           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    965           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
    966           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
    967           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
    968           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
    969           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
    970           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
    971           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
    972           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
    973           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
    974           {(short) 0x7e01, (short) 0x7e01},
    975       },
    976       {
    977           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    978           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    979           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    980           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    981           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    982           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    983           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    984           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    985           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    986           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    987           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    988           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    989           {(short) 0x7c00, (short) 0x7c00}, {(short) 0xfe00, (short) 0xfe00},
    990           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
    991           {(short) 0x7e01, (short) 0x7e01},
    992       },
    993       {
    994           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
    995           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
    996           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
    997           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
    998           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
    999           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
   1000           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
   1001           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
   1002           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
   1003           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
   1004           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
   1005           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
   1006           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1007           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1008           {(short) 0x7e01, (short) 0x7e01},
   1009       },
   1010       {
   1011           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1012           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1013           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1014           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1015           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1016           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1017           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1018           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1019           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1020           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1021           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1022           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1023           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1024           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfe00, (short) 0xfe00},
   1025           {(short) 0x7e01, (short) 0x7e01},
   1026       },
   1027       {
   1028           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1029           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1030           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1031           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1032           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1033           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1034           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1035           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1036           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1037           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1038           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1039           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1040           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1041           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1042           {(short) 0x7e01, (short) 0x7e01},
   1043       },
   1044   };
   1045 
   1046   static short[][][] ReferenceOutputForMul = {
   1047       {
   1048           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
   1049           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
   1050           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
   1051           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
   1052           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
   1053           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
   1054           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
   1055           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
   1056           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
   1057           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
   1058           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
   1059           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
   1060           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1061           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1062           {(short) 0x7e01, (short) 0x7e01},
   1063       },
   1064       {
   1065           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x43fe, (short) 0x4401},
   1066           {(short) 0x0000, (short) 0x0003}, {(short) 0x07fd, (short) 0x07ff},
   1067           {(short) 0x07fe, (short) 0x0801}, {(short) 0x7c00, (short) 0x7c00},
   1068           {(short) 0x3c7f, (short) 0x3c81}, {(short) 0x427f, (short) 0x4281},
   1069           {(short) 0x553f, (short) 0x5541}, {(short) 0x5ebf, (short) 0x5ec1},
   1070           {(short) 0x7074, (short) 0x7076}, {(short) 0x7c00, (short) 0x7c00},
   1071           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc401, (short) 0xc3fe},
   1072           {(short) 0x8003, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
   1073           {(short) 0x8801, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfc00},
   1074           {(short) 0xbc81, (short) 0xbc7f}, {(short) 0xc281, (short) 0xc27f},
   1075           {(short) 0xd541, (short) 0xd53f}, {(short) 0xdec1, (short) 0xdebf},
   1076           {(short) 0xf076, (short) 0xf074}, {(short) 0xfc00, (short) 0xfc00},
   1077           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1078           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1079           {(short) 0x7e01, (short) 0x7e01},
   1080       },
   1081       {
   1082           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0003},
   1083           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1084           {(short) 0x8001, (short) 0x0001}, {(short) 0x1bfe, (short) 0x1c00},
   1085           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0003},
   1086           {(short) 0x0000, (short) 0x002b}, {(short) 0x0000, (short) 0x00d9},
   1087           {(short) 0x0c74, (short) 0x0c76}, {(short) 0x1b52, (short) 0x1b54},
   1088           {(short) 0x8002, (short) 0x0000}, {(short) 0x8003, (short) 0x8000},
   1089           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1090           {(short) 0x8001, (short) 0x0001}, {(short) 0x9c00, (short) 0x9bfe},
   1091           {(short) 0x8002, (short) 0x0000}, {(short) 0x8003, (short) 0x8000},
   1092           {(short) 0x802b, (short) 0x8000}, {(short) 0x80d9, (short) 0x8000},
   1093           {(short) 0x8c76, (short) 0x8c74}, {(short) 0x9b54, (short) 0x9b52},
   1094           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1095           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1096           {(short) 0x7e01, (short) 0x7e01},
   1097       },
   1098       {
   1099           {(short) 0x0000, (short) 0x0400}, {(short) 0x07fd, (short) 0x07ff},
   1100           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1101           {(short) 0x8001, (short) 0x0001}, {(short) 0x43fc, (short) 0x43fe},
   1102           {(short) 0x0000, (short) 0x0240}, {(short) 0x067d, (short) 0x067f},
   1103           {(short) 0x193e, (short) 0x1940}, {(short) 0x22bd, (short) 0x22bf},
   1104           {(short) 0x3473, (short) 0x3475}, {(short) 0x4350, (short) 0x4352},
   1105           {(short) 0x8400, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
   1106           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1107           {(short) 0x8001, (short) 0x0001}, {(short) 0xc3fe, (short) 0xc3fc},
   1108           {(short) 0x8240, (short) 0x8000}, {(short) 0x867f, (short) 0x867d},
   1109           {(short) 0x9940, (short) 0x993e}, {(short) 0xa2bf, (short) 0xa2bd},
   1110           {(short) 0xb475, (short) 0xb473}, {(short) 0xc352, (short) 0xc350},
   1111           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1112           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1113           {(short) 0x7e01, (short) 0x7e01},
   1114       },
   1115       {
   1116           {(short) 0x0000, (short) 0x0401}, {(short) 0x07fe, (short) 0x0801},
   1117           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1118           {(short) 0x8001, (short) 0x0001}, {(short) 0x43fe, (short) 0x4400},
   1119           {(short) 0x0000, (short) 0x0241}, {(short) 0x067f, (short) 0x0681},
   1120           {(short) 0x193f, (short) 0x1941}, {(short) 0x22bf, (short) 0x22c1},
   1121           {(short) 0x3474, (short) 0x3476}, {(short) 0x4352, (short) 0x4354},
   1122           {(short) 0x8401, (short) 0x8000}, {(short) 0x8801, (short) 0x87fe},
   1123           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1124           {(short) 0x8001, (short) 0x0001}, {(short) 0xc400, (short) 0xc3fe},
   1125           {(short) 0x8241, (short) 0x8000}, {(short) 0x8681, (short) 0x867f},
   1126           {(short) 0x9941, (short) 0x993f}, {(short) 0xa2c1, (short) 0xa2bf},
   1127           {(short) 0xb476, (short) 0xb474}, {(short) 0xc354, (short) 0xc352},
   1128           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1129           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1130           {(short) 0x7e01, (short) 0x7e01},
   1131       },
   1132       {
   1133           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1134           {(short) 0x1bfe, (short) 0x1c00}, {(short) 0x43fc, (short) 0x43fe},
   1135           {(short) 0x43fe, (short) 0x4400}, {(short) 0x7c00, (short) 0x7c00},
   1136           {(short) 0x787e, (short) 0x7880}, {(short) 0x7c00, (short) 0x7c00},
   1137           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1138           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1139           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
   1140           {(short) 0x9c00, (short) 0x9bfe}, {(short) 0xc3fe, (short) 0xc3fc},
   1141           {(short) 0xc400, (short) 0xc3fe}, {(short) 0xfc00, (short) 0xfc00},
   1142           {(short) 0xf880, (short) 0xf87e}, {(short) 0xfc00, (short) 0xfc00},
   1143           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1144           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1145           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1146           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1147           {(short) 0x7e01, (short) 0x7e01},
   1148       },
   1149       {
   1150           {(short) 0x387f, (short) 0x3881}, {(short) 0x3c7f, (short) 0x3c81},
   1151           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0240},
   1152           {(short) 0x0000, (short) 0x0241}, {(short) 0x787e, (short) 0x7880},
   1153           {(short) 0x350f, (short) 0x3511}, {(short) 0x3b4f, (short) 0x3b51},
   1154           {(short) 0x4de7, (short) 0x4de9}, {(short) 0x5797, (short) 0x5799},
   1155           {(short) 0x6903, (short) 0x6905}, {(short) 0x781e, (short) 0x7820},
   1156           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbc81, (short) 0xbc7f},
   1157           {(short) 0x8002, (short) 0x0000}, {(short) 0x8240, (short) 0x8000},
   1158           {(short) 0x8241, (short) 0x8000}, {(short) 0xf880, (short) 0xf87e},
   1159           {(short) 0xb511, (short) 0xb50f}, {(short) 0xbb51, (short) 0xbb4f},
   1160           {(short) 0xcde9, (short) 0xcde7}, {(short) 0xd799, (short) 0xd797},
   1161           {(short) 0xe905, (short) 0xe903}, {(short) 0xf820, (short) 0xf81e},
   1162           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1163           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1164           {(short) 0x7e01, (short) 0x7e01},
   1165       },
   1166       {
   1167           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x427f, (short) 0x4281},
   1168           {(short) 0x0000, (short) 0x0003}, {(short) 0x067d, (short) 0x067f},
   1169           {(short) 0x067f, (short) 0x0681}, {(short) 0x7c00, (short) 0x7c00},
   1170           {(short) 0x3b4f, (short) 0x3b51}, {(short) 0x4147, (short) 0x4149},
   1171           {(short) 0x5443, (short) 0x5445}, {(short) 0x5d7b, (short) 0x5d7d},
   1172           {(short) 0x6f3d, (short) 0x6f3f}, {(short) 0x7c00, (short) 0x7c00},
   1173           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xc281, (short) 0xc27f},
   1174           {(short) 0x8003, (short) 0x8000}, {(short) 0x867f, (short) 0x867d},
   1175           {(short) 0x8681, (short) 0x867f}, {(short) 0xfc00, (short) 0xfc00},
   1176           {(short) 0xbb51, (short) 0xbb4f}, {(short) 0xc149, (short) 0xc147},
   1177           {(short) 0xd445, (short) 0xd443}, {(short) 0xdd7d, (short) 0xdd7b},
   1178           {(short) 0xef3f, (short) 0xef3d}, {(short) 0xfc00, (short) 0xfc00},
   1179           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1180           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1181           {(short) 0x7e01, (short) 0x7e01},
   1182       },
   1183       {
   1184           {(short) 0x513f, (short) 0x5141}, {(short) 0x553f, (short) 0x5541},
   1185           {(short) 0x0000, (short) 0x002b}, {(short) 0x193e, (short) 0x1940},
   1186           {(short) 0x193f, (short) 0x1941}, {(short) 0x7c00, (short) 0x7c00},
   1187           {(short) 0x4de7, (short) 0x4de9}, {(short) 0x5443, (short) 0x5445},
   1188           {(short) 0x66e3, (short) 0x66e5}, {(short) 0x706d, (short) 0x706f},
   1189           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1190           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd541, (short) 0xd53f},
   1191           {(short) 0x802b, (short) 0x8000}, {(short) 0x9940, (short) 0x993e},
   1192           {(short) 0x9941, (short) 0x993f}, {(short) 0xfc00, (short) 0xfc00},
   1193           {(short) 0xcde9, (short) 0xcde7}, {(short) 0xd445, (short) 0xd443},
   1194           {(short) 0xe6e5, (short) 0xe6e3}, {(short) 0xf06f, (short) 0xf06d},
   1195           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1196           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1197           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1198           {(short) 0x7e01, (short) 0x7e01},
   1199       },
   1200       {
   1201           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5ebf, (short) 0x5ec1},
   1202           {(short) 0x0000, (short) 0x00d9}, {(short) 0x22bd, (short) 0x22bf},
   1203           {(short) 0x22bf, (short) 0x22c1}, {(short) 0x7c00, (short) 0x7c00},
   1204           {(short) 0x5797, (short) 0x5799}, {(short) 0x5d7b, (short) 0x5d7d},
   1205           {(short) 0x706d, (short) 0x706f}, {(short) 0x79b1, (short) 0x79b3},
   1206           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1207           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdec1, (short) 0xdebf},
   1208           {(short) 0x80d9, (short) 0x8000}, {(short) 0xa2bf, (short) 0xa2bd},
   1209           {(short) 0xa2c1, (short) 0xa2bf}, {(short) 0xfc00, (short) 0xfc00},
   1210           {(short) 0xd799, (short) 0xd797}, {(short) 0xdd7d, (short) 0xdd7b},
   1211           {(short) 0xf06f, (short) 0xf06d}, {(short) 0xf9b3, (short) 0xf9b1},
   1212           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1213           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1214           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1215           {(short) 0x7e01, (short) 0x7e01},
   1216       },
   1217       {
   1218           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7074, (short) 0x7076},
   1219           {(short) 0x0c74, (short) 0x0c76}, {(short) 0x3473, (short) 0x3475},
   1220           {(short) 0x3474, (short) 0x3476}, {(short) 0x7c00, (short) 0x7c00},
   1221           {(short) 0x6903, (short) 0x6905}, {(short) 0x6f3d, (short) 0x6f3f},
   1222           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1223           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1224           {(short) 0xec76, (short) 0xec74}, {(short) 0xf076, (short) 0xf074},
   1225           {(short) 0x8c76, (short) 0x8c74}, {(short) 0xb475, (short) 0xb473},
   1226           {(short) 0xb476, (short) 0xb474}, {(short) 0xfc00, (short) 0xfc00},
   1227           {(short) 0xe905, (short) 0xe903}, {(short) 0xef3f, (short) 0xef3d},
   1228           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1229           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1230           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1231           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1232           {(short) 0x7e01, (short) 0x7e01},
   1233       },
   1234       {
   1235           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
   1236           {(short) 0x1b52, (short) 0x1b54}, {(short) 0x4350, (short) 0x4352},
   1237           {(short) 0x4352, (short) 0x4354}, {(short) 0x7c00, (short) 0x7c00},
   1238           {(short) 0x781e, (short) 0x7820}, {(short) 0x7c00, (short) 0x7c00},
   1239           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1240           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1241           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
   1242           {(short) 0x9b54, (short) 0x9b52}, {(short) 0xc352, (short) 0xc350},
   1243           {(short) 0xc354, (short) 0xc352}, {(short) 0xfc00, (short) 0xfc00},
   1244           {(short) 0xf820, (short) 0xf81e}, {(short) 0xfc00, (short) 0xfc00},
   1245           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1246           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1247           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1248           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1249           {(short) 0x7e01, (short) 0x7e01},
   1250       },
   1251       {
   1252           {(short) 0xbc01, (short) 0xbbfe}, {(short) 0xc001, (short) 0xbffe},
   1253           {(short) 0x8002, (short) 0x0000}, {(short) 0x8400, (short) 0x8000},
   1254           {(short) 0x8401, (short) 0x8000}, {(short) 0xfc00, (short) 0xfbfe},
   1255           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbe81, (short) 0xbe7f},
   1256           {(short) 0xd141, (short) 0xd13f}, {(short) 0xdac1, (short) 0xdabf},
   1257           {(short) 0xec76, (short) 0xec74}, {(short) 0xfb54, (short) 0xfb52},
   1258           {(short) 0x3bfe, (short) 0x3c01}, {(short) 0x3ffe, (short) 0x4001},
   1259           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0400},
   1260           {(short) 0x0000, (short) 0x0401}, {(short) 0x7bfe, (short) 0x7c00},
   1261           {(short) 0x387f, (short) 0x3881}, {(short) 0x3e7f, (short) 0x3e81},
   1262           {(short) 0x513f, (short) 0x5141}, {(short) 0x5abf, (short) 0x5ac1},
   1263           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7b52, (short) 0x7b54},
   1264           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1265           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1266           {(short) 0x7e01, (short) 0x7e01},
   1267       },
   1268       {
   1269           {(short) 0xc001, (short) 0xbffe}, {(short) 0xc401, (short) 0xc3fe},
   1270           {(short) 0x8003, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
   1271           {(short) 0x8801, (short) 0x87fe}, {(short) 0xfc00, (short) 0xfc00},
   1272           {(short) 0xbc81, (short) 0xbc7f}, {(short) 0xc281, (short) 0xc27f},
   1273           {(short) 0xd541, (short) 0xd53f}, {(short) 0xdec1, (short) 0xdebf},
   1274           {(short) 0xf076, (short) 0xf074}, {(short) 0xfc00, (short) 0xfc00},
   1275           {(short) 0x3ffe, (short) 0x4001}, {(short) 0x43fe, (short) 0x4401},
   1276           {(short) 0x0000, (short) 0x0003}, {(short) 0x07fd, (short) 0x07ff},
   1277           {(short) 0x07fe, (short) 0x0801}, {(short) 0x7c00, (short) 0x7c00},
   1278           {(short) 0x3c7f, (short) 0x3c81}, {(short) 0x427f, (short) 0x4281},
   1279           {(short) 0x553f, (short) 0x5541}, {(short) 0x5ebf, (short) 0x5ec1},
   1280           {(short) 0x7074, (short) 0x7076}, {(short) 0x7c00, (short) 0x7c00},
   1281           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1282           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1283           {(short) 0x7e01, (short) 0x7e01},
   1284       },
   1285       {
   1286           {(short) 0x8002, (short) 0x0000}, {(short) 0x8003, (short) 0x8000},
   1287           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1288           {(short) 0x8001, (short) 0x0001}, {(short) 0x9c00, (short) 0x9bfe},
   1289           {(short) 0x8002, (short) 0x0000}, {(short) 0x8003, (short) 0x8000},
   1290           {(short) 0x802b, (short) 0x8000}, {(short) 0x80d9, (short) 0x8000},
   1291           {(short) 0x8c76, (short) 0x8c74}, {(short) 0x9b54, (short) 0x9b52},
   1292           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0003},
   1293           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1294           {(short) 0x8001, (short) 0x0001}, {(short) 0x1bfe, (short) 0x1c00},
   1295           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0003},
   1296           {(short) 0x0000, (short) 0x002b}, {(short) 0x0000, (short) 0x00d9},
   1297           {(short) 0x0c74, (short) 0x0c76}, {(short) 0x1b52, (short) 0x1b54},
   1298           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1299           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1300           {(short) 0x7e01, (short) 0x7e01},
   1301       },
   1302       {
   1303           {(short) 0x8400, (short) 0x8000}, {(short) 0x87ff, (short) 0x87fd},
   1304           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1305           {(short) 0x8001, (short) 0x0001}, {(short) 0xc3fe, (short) 0xc3fc},
   1306           {(short) 0x8240, (short) 0x8000}, {(short) 0x867f, (short) 0x867d},
   1307           {(short) 0x9940, (short) 0x993e}, {(short) 0xa2bf, (short) 0xa2bd},
   1308           {(short) 0xb475, (short) 0xb473}, {(short) 0xc352, (short) 0xc350},
   1309           {(short) 0x0000, (short) 0x0400}, {(short) 0x07fd, (short) 0x07ff},
   1310           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1311           {(short) 0x8001, (short) 0x0001}, {(short) 0x43fc, (short) 0x43fe},
   1312           {(short) 0x0000, (short) 0x0240}, {(short) 0x067d, (short) 0x067f},
   1313           {(short) 0x193e, (short) 0x1940}, {(short) 0x22bd, (short) 0x22bf},
   1314           {(short) 0x3473, (short) 0x3475}, {(short) 0x4350, (short) 0x4352},
   1315           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1316           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1317           {(short) 0x7e01, (short) 0x7e01},
   1318       },
   1319       {
   1320           {(short) 0x8401, (short) 0x8000}, {(short) 0x8801, (short) 0x87fe},
   1321           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1322           {(short) 0x8001, (short) 0x0001}, {(short) 0xc400, (short) 0xc3fe},
   1323           {(short) 0x8241, (short) 0x8000}, {(short) 0x8681, (short) 0x867f},
   1324           {(short) 0x9941, (short) 0x993f}, {(short) 0xa2c1, (short) 0xa2bf},
   1325           {(short) 0xb476, (short) 0xb474}, {(short) 0xc354, (short) 0xc352},
   1326           {(short) 0x0000, (short) 0x0401}, {(short) 0x07fe, (short) 0x0801},
   1327           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1328           {(short) 0x8001, (short) 0x0001}, {(short) 0x43fe, (short) 0x4400},
   1329           {(short) 0x0000, (short) 0x0241}, {(short) 0x067f, (short) 0x0681},
   1330           {(short) 0x193f, (short) 0x1941}, {(short) 0x22bf, (short) 0x22c1},
   1331           {(short) 0x3474, (short) 0x3476}, {(short) 0x4352, (short) 0x4354},
   1332           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1333           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1334           {(short) 0x7e01, (short) 0x7e01},
   1335       },
   1336       {
   1337           {(short) 0xfc00, (short) 0xfbfe}, {(short) 0xfc00, (short) 0xfc00},
   1338           {(short) 0x9c00, (short) 0x9bfe}, {(short) 0xc3fe, (short) 0xc3fc},
   1339           {(short) 0xc400, (short) 0xc3fe}, {(short) 0xfc00, (short) 0xfc00},
   1340           {(short) 0xf880, (short) 0xf87e}, {(short) 0xfc00, (short) 0xfc00},
   1341           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1342           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1343           {(short) 0x7bfe, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1344           {(short) 0x1bfe, (short) 0x1c00}, {(short) 0x43fc, (short) 0x43fe},
   1345           {(short) 0x43fe, (short) 0x4400}, {(short) 0x7c00, (short) 0x7c00},
   1346           {(short) 0x787e, (short) 0x7880}, {(short) 0x7c00, (short) 0x7c00},
   1347           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1348           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1349           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1350           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1351           {(short) 0x7e01, (short) 0x7e01},
   1352       },
   1353       {
   1354           {(short) 0xb881, (short) 0xb87f}, {(short) 0xbc81, (short) 0xbc7f},
   1355           {(short) 0x8002, (short) 0x0000}, {(short) 0x8240, (short) 0x8000},
   1356           {(short) 0x8241, (short) 0x8000}, {(short) 0xf880, (short) 0xf87e},
   1357           {(short) 0xb511, (short) 0xb50f}, {(short) 0xbb51, (short) 0xbb4f},
   1358           {(short) 0xcde9, (short) 0xcde7}, {(short) 0xd799, (short) 0xd797},
   1359           {(short) 0xe905, (short) 0xe903}, {(short) 0xf820, (short) 0xf81e},
   1360           {(short) 0x387f, (short) 0x3881}, {(short) 0x3c7f, (short) 0x3c81},
   1361           {(short) 0x0000, (short) 0x0002}, {(short) 0x0000, (short) 0x0240},
   1362           {(short) 0x0000, (short) 0x0241}, {(short) 0x787e, (short) 0x7880},
   1363           {(short) 0x350f, (short) 0x3511}, {(short) 0x3b4f, (short) 0x3b51},
   1364           {(short) 0x4de7, (short) 0x4de9}, {(short) 0x5797, (short) 0x5799},
   1365           {(short) 0x6903, (short) 0x6905}, {(short) 0x781e, (short) 0x7820},
   1366           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1367           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1368           {(short) 0x7e01, (short) 0x7e01},
   1369       },
   1370       {
   1371           {(short) 0xbe81, (short) 0xbe7f}, {(short) 0xc281, (short) 0xc27f},
   1372           {(short) 0x8003, (short) 0x8000}, {(short) 0x867f, (short) 0x867d},
   1373           {(short) 0x8681, (short) 0x867f}, {(short) 0xfc00, (short) 0xfc00},
   1374           {(short) 0xbb51, (short) 0xbb4f}, {(short) 0xc149, (short) 0xc147},
   1375           {(short) 0xd445, (short) 0xd443}, {(short) 0xdd7d, (short) 0xdd7b},
   1376           {(short) 0xef3f, (short) 0xef3d}, {(short) 0xfc00, (short) 0xfc00},
   1377           {(short) 0x3e7f, (short) 0x3e81}, {(short) 0x427f, (short) 0x4281},
   1378           {(short) 0x0000, (short) 0x0003}, {(short) 0x067d, (short) 0x067f},
   1379           {(short) 0x067f, (short) 0x0681}, {(short) 0x7c00, (short) 0x7c00},
   1380           {(short) 0x3b4f, (short) 0x3b51}, {(short) 0x4147, (short) 0x4149},
   1381           {(short) 0x5443, (short) 0x5445}, {(short) 0x5d7b, (short) 0x5d7d},
   1382           {(short) 0x6f3d, (short) 0x6f3f}, {(short) 0x7c00, (short) 0x7c00},
   1383           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1384           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1385           {(short) 0x7e01, (short) 0x7e01},
   1386       },
   1387       {
   1388           {(short) 0xd141, (short) 0xd13f}, {(short) 0xd541, (short) 0xd53f},
   1389           {(short) 0x802b, (short) 0x8000}, {(short) 0x9940, (short) 0x993e},
   1390           {(short) 0x9941, (short) 0x993f}, {(short) 0xfc00, (short) 0xfc00},
   1391           {(short) 0xcde9, (short) 0xcde7}, {(short) 0xd445, (short) 0xd443},
   1392           {(short) 0xe6e5, (short) 0xe6e3}, {(short) 0xf06f, (short) 0xf06d},
   1393           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1394           {(short) 0x513f, (short) 0x5141}, {(short) 0x553f, (short) 0x5541},
   1395           {(short) 0x0000, (short) 0x002b}, {(short) 0x193e, (short) 0x1940},
   1396           {(short) 0x193f, (short) 0x1941}, {(short) 0x7c00, (short) 0x7c00},
   1397           {(short) 0x4de7, (short) 0x4de9}, {(short) 0x5443, (short) 0x5445},
   1398           {(short) 0x66e3, (short) 0x66e5}, {(short) 0x706d, (short) 0x706f},
   1399           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1400           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1401           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1402           {(short) 0x7e01, (short) 0x7e01},
   1403       },
   1404       {
   1405           {(short) 0xdac1, (short) 0xdabf}, {(short) 0xdec1, (short) 0xdebf},
   1406           {(short) 0x80d9, (short) 0x8000}, {(short) 0xa2bf, (short) 0xa2bd},
   1407           {(short) 0xa2c1, (short) 0xa2bf}, {(short) 0xfc00, (short) 0xfc00},
   1408           {(short) 0xd799, (short) 0xd797}, {(short) 0xdd7d, (short) 0xdd7b},
   1409           {(short) 0xf06f, (short) 0xf06d}, {(short) 0xf9b3, (short) 0xf9b1},
   1410           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1411           {(short) 0x5abf, (short) 0x5ac1}, {(short) 0x5ebf, (short) 0x5ec1},
   1412           {(short) 0x0000, (short) 0x00d9}, {(short) 0x22bd, (short) 0x22bf},
   1413           {(short) 0x22bf, (short) 0x22c1}, {(short) 0x7c00, (short) 0x7c00},
   1414           {(short) 0x5797, (short) 0x5799}, {(short) 0x5d7b, (short) 0x5d7d},
   1415           {(short) 0x706d, (short) 0x706f}, {(short) 0x79b1, (short) 0x79b3},
   1416           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1417           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1418           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1419           {(short) 0x7e01, (short) 0x7e01},
   1420       },
   1421       {
   1422           {(short) 0xec76, (short) 0xec74}, {(short) 0xf076, (short) 0xf074},
   1423           {(short) 0x8c76, (short) 0x8c74}, {(short) 0xb475, (short) 0xb473},
   1424           {(short) 0xb476, (short) 0xb474}, {(short) 0xfc00, (short) 0xfc00},
   1425           {(short) 0xe905, (short) 0xe903}, {(short) 0xef3f, (short) 0xef3d},
   1426           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1427           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1428           {(short) 0x6c74, (short) 0x6c76}, {(short) 0x7074, (short) 0x7076},
   1429           {(short) 0x0c74, (short) 0x0c76}, {(short) 0x3473, (short) 0x3475},
   1430           {(short) 0x3474, (short) 0x3476}, {(short) 0x7c00, (short) 0x7c00},
   1431           {(short) 0x6903, (short) 0x6905}, {(short) 0x6f3d, (short) 0x6f3f},
   1432           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1433           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1434           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1435           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1436           {(short) 0x7e01, (short) 0x7e01},
   1437       },
   1438       {
   1439           {(short) 0xfb54, (short) 0xfb52}, {(short) 0xfc00, (short) 0xfc00},
   1440           {(short) 0x9b54, (short) 0x9b52}, {(short) 0xc352, (short) 0xc350},
   1441           {(short) 0xc354, (short) 0xc352}, {(short) 0xfc00, (short) 0xfc00},
   1442           {(short) 0xf820, (short) 0xf81e}, {(short) 0xfc00, (short) 0xfc00},
   1443           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1444           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1445           {(short) 0x7b52, (short) 0x7b54}, {(short) 0x7c00, (short) 0x7c00},
   1446           {(short) 0x1b52, (short) 0x1b54}, {(short) 0x4350, (short) 0x4352},
   1447           {(short) 0x4352, (short) 0x4354}, {(short) 0x7c00, (short) 0x7c00},
   1448           {(short) 0x781e, (short) 0x7820}, {(short) 0x7c00, (short) 0x7c00},
   1449           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1450           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1451           {(short) 0x8001, (short) 0x0001}, {(short) 0xfc00, (short) 0xfc00},
   1452           {(short) 0x8001, (short) 0x0001}, {(short) 0x7c00, (short) 0x7c00},
   1453           {(short) 0x7e01, (short) 0x7e01},
   1454       },
   1455       {
   1456           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1457           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1458           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1459           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1460           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1461           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1462           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1463           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1464           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1465           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1466           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1467           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1468           {(short) 0x8001, (short) 0x0001}, {(short) 0xfe00, (short) 0xfe00},
   1469           {(short) 0x8001, (short) 0x0001}, {(short) 0xfe00, (short) 0xfe00},
   1470           {(short) 0x7e01, (short) 0x7e01},
   1471       },
   1472       {
   1473           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1474           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1475           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1476           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1477           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1478           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1479           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1480           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1481           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1482           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1483           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1484           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1485           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x7c00, (short) 0x7c00},
   1486           {(short) 0xfe00, (short) 0xfe00}, {(short) 0xfc00, (short) 0xfc00},
   1487           {(short) 0x7e01, (short) 0x7e01},
   1488       },
   1489       {
   1490           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1491           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1492           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1493           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1494           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1495           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1496           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1497           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1498           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1499           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1500           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1501           {(short) 0x8001, (short) 0x0001}, {(short) 0x8001, (short) 0x0001},
   1502           {(short) 0x8001, (short) 0x0001}, {(short) 0xfe00, (short) 0xfe00},
   1503           {(short) 0x8001, (short) 0x0001}, {(short) 0xfe00, (short) 0xfe00},
   1504           {(short) 0x7e01, (short) 0x7e01},
   1505       },
   1506       {
   1507           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1508           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1509           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1510           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1511           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1512           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1513           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1514           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1515           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1516           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1517           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1518           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1519           {(short) 0xfe00, (short) 0xfe00}, {(short) 0xfc00, (short) 0xfc00},
   1520           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x7c00, (short) 0x7c00},
   1521           {(short) 0x7e01, (short) 0x7e01},
   1522       },
   1523       {
   1524           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1525           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1526           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1527           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1528           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1529           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1530           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1531           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1532           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1533           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1534           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1535           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1536           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1537           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   1538           {(short) 0x7e01, (short) 0x7e01},
   1539       },
   1540   };
   1541 
   1542   static short[][][] ReferenceOutputForDiv = {
   1543       {
   1544           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x37fa, (short) 0x3803},
   1545           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x73fc, (short) 0x7404},
   1546           {(short) 0x73fa, (short) 0x7403}, {(short) 0x0000, (short) 0x0103},
   1547           {(short) 0x3f19, (short) 0x3f1f}, {(short) 0x38e9, (short) 0x38ef},
   1548           {(short) 0x2615, (short) 0x261b}, {(short) 0x1cbb, (short) 0x1cc1},
   1549           {(short) 0x0b2b, (short) 0x0b31}, {(short) 0x0000, (short) 0x011b},
   1550           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb803, (short) 0xb7fa},
   1551           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf404, (short) 0xf3fc},
   1552           {(short) 0xf403, (short) 0xf3fa}, {(short) 0x8103, (short) 0x8000},
   1553           {(short) 0xbf1f, (short) 0xbf19}, {(short) 0xb8ef, (short) 0xb8e9},
   1554           {(short) 0xa61b, (short) 0xa615}, {(short) 0x9cc1, (short) 0x9cbb},
   1555           {(short) 0x8b31, (short) 0x8b2b}, {(short) 0x811b, (short) 0x8000},
   1556           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1557           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1558           {(short) 0x7e01, (short) 0x7e01},
   1559       },
   1560       {
   1561           {(short) 0x3ffa, (short) 0x4003}, {(short) 0x3bfa, (short) 0x3c03},
   1562           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x77fc, (short) 0x7804},
   1563           {(short) 0x77fa, (short) 0x7803}, {(short) 0x0000, (short) 0x0203},
   1564           {(short) 0x4319, (short) 0x431f}, {(short) 0x3ce9, (short) 0x3cef},
   1565           {(short) 0x2a15, (short) 0x2a1b}, {(short) 0x20bb, (short) 0x20c1},
   1566           {(short) 0x0f2b, (short) 0x0f31}, {(short) 0x0000, (short) 0x0232},
   1567           {(short) 0xc003, (short) 0xbffa}, {(short) 0xbc03, (short) 0xbbfa},
   1568           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf804, (short) 0xf7fc},
   1569           {(short) 0xf803, (short) 0xf7fa}, {(short) 0x8203, (short) 0x8000},
   1570           {(short) 0xc31f, (short) 0xc319}, {(short) 0xbcef, (short) 0xbce9},
   1571           {(short) 0xaa1b, (short) 0xaa15}, {(short) 0xa0c1, (short) 0xa0bb},
   1572           {(short) 0x8f31, (short) 0x8f2b}, {(short) 0x8232, (short) 0x8000},
   1573           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1574           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1575           {(short) 0x7e01, (short) 0x7e01},
   1576       },
   1577       {
   1578           {(short) 0x8002, (short) 0x0004}, {(short) 0x8003, (short) 0x0003},
   1579           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x13fc, (short) 0x1404},
   1580           {(short) 0x13fa, (short) 0x1403}, {(short) 0x8003, (short) 0x0003},
   1581           {(short) 0x8001, (short) 0x0005}, {(short) 0x8002, (short) 0x0004},
   1582           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1583           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1584           {(short) 0x8004, (short) 0x0002}, {(short) 0x8003, (short) 0x0003},
   1585           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0x9404, (short) 0x93fc},
   1586           {(short) 0x9403, (short) 0x93fa}, {(short) 0x8003, (short) 0x0003},
   1587           {(short) 0x8005, (short) 0x0001}, {(short) 0x8004, (short) 0x0002},
   1588           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1589           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1590           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1591           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1592           {(short) 0x7e01, (short) 0x7e01},
   1593       },
   1594       {
   1595           {(short) 0x0000, (short) 0x0402}, {(short) 0x0000, (short) 0x0203},
   1596           {(short) 0x63fb, (short) 0x6400}, {(short) 0x3bfa, (short) 0x3c03},
   1597           {(short) 0x3bfb, (short) 0x3c00}, {(short) 0x8003, (short) 0x0003},
   1598           {(short) 0x0718, (short) 0x071e}, {(short) 0x0000, (short) 0x0279},
   1599           {(short) 0x0000, (short) 0x001b}, {(short) 0x0000, (short) 0x0008},
   1600           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1601           {(short) 0x8402, (short) 0x8000}, {(short) 0x8203, (short) 0x8000},
   1602           {(short) 0xe400, (short) 0xe3fb}, {(short) 0xbc03, (short) 0xbbfa},
   1603           {(short) 0xbc00, (short) 0xbbfb}, {(short) 0x8003, (short) 0x0003},
   1604           {(short) 0x871e, (short) 0x8718}, {(short) 0x8279, (short) 0x8000},
   1605           {(short) 0x801b, (short) 0x8000}, {(short) 0x8008, (short) 0x8000},
   1606           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1607           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1608           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1609           {(short) 0x7e01, (short) 0x7e01},
   1610       },
   1611       {
   1612           {(short) 0x0000, (short) 0x0403}, {(short) 0x0000, (short) 0x0203},
   1613           {(short) 0x63fa, (short) 0x6403}, {(short) 0x3bfc, (short) 0x3c04},
   1614           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x8003, (short) 0x0003},
   1615           {(short) 0x0719, (short) 0x071f}, {(short) 0x0000, (short) 0x0279},
   1616           {(short) 0x0000, (short) 0x001b}, {(short) 0x0000, (short) 0x0008},
   1617           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1618           {(short) 0x8403, (short) 0x8000}, {(short) 0x8203, (short) 0x8000},
   1619           {(short) 0xe403, (short) 0xe3fa}, {(short) 0xbc04, (short) 0xbbfc},
   1620           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0x8003, (short) 0x0003},
   1621           {(short) 0x871f, (short) 0x8719}, {(short) 0x8279, (short) 0x8000},
   1622           {(short) 0x801b, (short) 0x8000}, {(short) 0x8008, (short) 0x8000},
   1623           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1624           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1625           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1626           {(short) 0x7e01, (short) 0x7e01},
   1627       },
   1628       {
   1629           {(short) 0x7bfc, (short) 0x7c00}, {(short) 0x77fc, (short) 0x7801},
   1630           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1631           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x3bfa, (short) 0x3c03},
   1632           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x78e9, (short) 0x78ef},
   1633           {(short) 0x6615, (short) 0x661b}, {(short) 0x5cba, (short) 0x5cc0},
   1634           {(short) 0x4b2a, (short) 0x4b30}, {(short) 0x3c5b, (short) 0x3c61},
   1635           {(short) 0xfc00, (short) 0xfbfc}, {(short) 0xf801, (short) 0xf7fc},
   1636           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1637           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xbc03, (short) 0xbbfa},
   1638           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf8ef, (short) 0xf8e9},
   1639           {(short) 0xe61b, (short) 0xe615}, {(short) 0xdcc0, (short) 0xdcba},
   1640           {(short) 0xcb30, (short) 0xcb2a}, {(short) 0xbc61, (short) 0xbc5b},
   1641           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1642           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1643           {(short) 0x7e01, (short) 0x7e01},
   1644       },
   1645       {
   1646           {(short) 0x387d, (short) 0x3883}, {(short) 0x347d, (short) 0x3483},
   1647           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x707e, (short) 0x7084},
   1648           {(short) 0x707d, (short) 0x7083}, {(short) 0x0000, (short) 0x0093},
   1649           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x3587, (short) 0x358d},
   1650           {(short) 0x22d8, (short) 0x22de}, {(short) 0x1952, (short) 0x1958},
   1651           {(short) 0x0807, (short) 0x080d}, {(short) 0x0000, (short) 0x00a0},
   1652           {(short) 0xb883, (short) 0xb87d}, {(short) 0xb483, (short) 0xb47d},
   1653           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf084, (short) 0xf07e},
   1654           {(short) 0xf083, (short) 0xf07d}, {(short) 0x8093, (short) 0x8000},
   1655           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb58d, (short) 0xb587},
   1656           {(short) 0xa2de, (short) 0xa2d8}, {(short) 0x9958, (short) 0x9952},
   1657           {(short) 0x880d, (short) 0x8807}, {(short) 0x80a0, (short) 0x8000},
   1658           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1659           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1660           {(short) 0x7e01, (short) 0x7e01},
   1661       },
   1662       {
   1663           {(short) 0x3e7d, (short) 0x3e83}, {(short) 0x3a7d, (short) 0x3a83},
   1664           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x767f, (short) 0x7685},
   1665           {(short) 0x767d, (short) 0x7683}, {(short) 0x0000, (short) 0x01a3},
   1666           {(short) 0x41c4, (short) 0x41ca}, {(short) 0x3bfa, (short) 0x3c03},
   1667           {(short) 0x28f1, (short) 0x28f7}, {(short) 0x1fb1, (short) 0x1fb7},
   1668           {(short) 0x0dd2, (short) 0x0dd8}, {(short) 0x0000, (short) 0x01c9},
   1669           {(short) 0xbe83, (short) 0xbe7d}, {(short) 0xba83, (short) 0xba7d},
   1670           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf685, (short) 0xf67f},
   1671           {(short) 0xf683, (short) 0xf67d}, {(short) 0x81a3, (short) 0x8000},
   1672           {(short) 0xc1ca, (short) 0xc1c4}, {(short) 0xbc03, (short) 0xbbfa},
   1673           {(short) 0xa8f7, (short) 0xa8f1}, {(short) 0x9fb7, (short) 0x9fb1},
   1674           {(short) 0x8dd8, (short) 0x8dd2}, {(short) 0x81c9, (short) 0x8000},
   1675           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1676           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1677           {(short) 0x7e01, (short) 0x7e01},
   1678       },
   1679       {
   1680           {(short) 0x513d, (short) 0x5143}, {(short) 0x4d3d, (short) 0x4d43},
   1681           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1682           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x113e, (short) 0x1144},
   1683           {(short) 0x54a8, (short) 0x54ae}, {(short) 0x4e73, (short) 0x4e79},
   1684           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x3236, (short) 0x323c},
   1685           {(short) 0x20b3, (short) 0x20b9}, {(short) 0x11b9, (short) 0x11bf},
   1686           {(short) 0xd143, (short) 0xd13d}, {(short) 0xcd43, (short) 0xcd3d},
   1687           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1688           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x9144, (short) 0x913e},
   1689           {(short) 0xd4ae, (short) 0xd4a8}, {(short) 0xce79, (short) 0xce73},
   1690           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb23c, (short) 0xb236},
   1691           {(short) 0xa0b9, (short) 0xa0b3}, {(short) 0x91bf, (short) 0x91b9},
   1692           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1693           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1694           {(short) 0x7e01, (short) 0x7e01},
   1695       },
   1696       {
   1697           {(short) 0x5abd, (short) 0x5ac3}, {(short) 0x56bd, (short) 0x56c3},
   1698           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1699           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x1abe, (short) 0x1ac4},
   1700           {(short) 0x5dfd, (short) 0x5e03}, {(short) 0x5824, (short) 0x582a},
   1701           {(short) 0x4522, (short) 0x4528}, {(short) 0x3bfa, (short) 0x3c03},
   1702           {(short) 0x2a0c, (short) 0x2a12}, {(short) 0x1b5c, (short) 0x1b62},
   1703           {(short) 0xdac3, (short) 0xdabd}, {(short) 0xd6c3, (short) 0xd6bd},
   1704           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1705           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x9ac4, (short) 0x9abe},
   1706           {(short) 0xde03, (short) 0xddfd}, {(short) 0xd82a, (short) 0xd824},
   1707           {(short) 0xc528, (short) 0xc522}, {(short) 0xbc03, (short) 0xbbfa},
   1708           {(short) 0xaa12, (short) 0xaa0c}, {(short) 0x9b62, (short) 0x9b5c},
   1709           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1710           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1711           {(short) 0x7e01, (short) 0x7e01},
   1712       },
   1713       {
   1714           {(short) 0x6c72, (short) 0x6c78}, {(short) 0x6872, (short) 0x6878},
   1715           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1716           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x2c73, (short) 0x2c79},
   1717           {(short) 0x6fe9, (short) 0x6fef}, {(short) 0x6979, (short) 0x697f},
   1718           {(short) 0x56c8, (short) 0x56ce}, {(short) 0x4d45, (short) 0x4d4b},
   1719           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x2cdb, (short) 0x2ce1},
   1720           {(short) 0xec78, (short) 0xec72}, {(short) 0xe878, (short) 0xe872},
   1721           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1722           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xac79, (short) 0xac73},
   1723           {(short) 0xefef, (short) 0xefe9}, {(short) 0xe97f, (short) 0xe979},
   1724           {(short) 0xd6ce, (short) 0xd6c8}, {(short) 0xcd4b, (short) 0xcd45},
   1725           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xace1, (short) 0xacdb},
   1726           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1727           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1728           {(short) 0x7e01, (short) 0x7e01},
   1729       },
   1730       {
   1731           {(short) 0x7b50, (short) 0x7b56}, {(short) 0x7750, (short) 0x7756},
   1732           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1733           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x3b51, (short) 0x3b57},
   1734           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x787f, (short) 0x7885},
   1735           {(short) 0x6592, (short) 0x6598}, {(short) 0x5c54, (short) 0x5c5a},
   1736           {(short) 0x4a90, (short) 0x4a96}, {(short) 0x3bfa, (short) 0x3c03},
   1737           {(short) 0xfb56, (short) 0xfb50}, {(short) 0xf756, (short) 0xf750},
   1738           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1739           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xbb57, (short) 0xbb51},
   1740           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf885, (short) 0xf87f},
   1741           {(short) 0xe598, (short) 0xe592}, {(short) 0xdc5a, (short) 0xdc54},
   1742           {(short) 0xca96, (short) 0xca90}, {(short) 0xbc03, (short) 0xbbfa},
   1743           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1744           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1745           {(short) 0x7e01, (short) 0x7e01},
   1746       },
   1747       {
   1748           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb803, (short) 0xb7fa},
   1749           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf404, (short) 0xf3fc},
   1750           {(short) 0xf403, (short) 0xf3fa}, {(short) 0x8103, (short) 0x8000},
   1751           {(short) 0xbf1f, (short) 0xbf19}, {(short) 0xb8ef, (short) 0xb8e9},
   1752           {(short) 0xa61b, (short) 0xa615}, {(short) 0x9cc1, (short) 0x9cbb},
   1753           {(short) 0x8b31, (short) 0x8b2b}, {(short) 0x811b, (short) 0x8000},
   1754           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x37fa, (short) 0x3803},
   1755           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x73fc, (short) 0x7404},
   1756           {(short) 0x73fa, (short) 0x7403}, {(short) 0x0000, (short) 0x0103},
   1757           {(short) 0x3f19, (short) 0x3f1f}, {(short) 0x38e9, (short) 0x38ef},
   1758           {(short) 0x2615, (short) 0x261b}, {(short) 0x1cbb, (short) 0x1cc1},
   1759           {(short) 0x0b2b, (short) 0x0b31}, {(short) 0x0000, (short) 0x011b},
   1760           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1761           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1762           {(short) 0x7e01, (short) 0x7e01},
   1763       },
   1764       {
   1765           {(short) 0xc003, (short) 0xbffa}, {(short) 0xbc03, (short) 0xbbfa},
   1766           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf804, (short) 0xf7fc},
   1767           {(short) 0xf803, (short) 0xf7fa}, {(short) 0x8203, (short) 0x8000},
   1768           {(short) 0xc31f, (short) 0xc319}, {(short) 0xbcef, (short) 0xbce9},
   1769           {(short) 0xaa1b, (short) 0xaa15}, {(short) 0xa0c1, (short) 0xa0bb},
   1770           {(short) 0x8f31, (short) 0x8f2b}, {(short) 0x8232, (short) 0x8000},
   1771           {(short) 0x3ffa, (short) 0x4003}, {(short) 0x3bfa, (short) 0x3c03},
   1772           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x77fc, (short) 0x7804},
   1773           {(short) 0x77fa, (short) 0x7803}, {(short) 0x0000, (short) 0x0203},
   1774           {(short) 0x4319, (short) 0x431f}, {(short) 0x3ce9, (short) 0x3cef},
   1775           {(short) 0x2a15, (short) 0x2a1b}, {(short) 0x20bb, (short) 0x20c1},
   1776           {(short) 0x0f2b, (short) 0x0f31}, {(short) 0x0000, (short) 0x0232},
   1777           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1778           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1779           {(short) 0x7e01, (short) 0x7e01},
   1780       },
   1781       {
   1782           {(short) 0x8004, (short) 0x0002}, {(short) 0x8003, (short) 0x0003},
   1783           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0x9404, (short) 0x93fc},
   1784           {(short) 0x9403, (short) 0x93fa}, {(short) 0x8003, (short) 0x0003},
   1785           {(short) 0x8005, (short) 0x0001}, {(short) 0x8004, (short) 0x0002},
   1786           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1787           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1788           {(short) 0x8002, (short) 0x0004}, {(short) 0x8003, (short) 0x0003},
   1789           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x13fc, (short) 0x1404},
   1790           {(short) 0x13fa, (short) 0x1403}, {(short) 0x8003, (short) 0x0003},
   1791           {(short) 0x8001, (short) 0x0005}, {(short) 0x8002, (short) 0x0004},
   1792           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1793           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1794           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1795           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1796           {(short) 0x7e01, (short) 0x7e01},
   1797       },
   1798       {
   1799           {(short) 0x8402, (short) 0x8000}, {(short) 0x8203, (short) 0x8000},
   1800           {(short) 0xe400, (short) 0xe3fb}, {(short) 0xbc03, (short) 0xbbfa},
   1801           {(short) 0xbc00, (short) 0xbbfb}, {(short) 0x8003, (short) 0x0003},
   1802           {(short) 0x871e, (short) 0x8718}, {(short) 0x8279, (short) 0x8000},
   1803           {(short) 0x801b, (short) 0x8000}, {(short) 0x8008, (short) 0x8000},
   1804           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1805           {(short) 0x0000, (short) 0x0402}, {(short) 0x0000, (short) 0x0203},
   1806           {(short) 0x63fb, (short) 0x6400}, {(short) 0x3bfa, (short) 0x3c03},
   1807           {(short) 0x3bfb, (short) 0x3c00}, {(short) 0x8003, (short) 0x0003},
   1808           {(short) 0x0718, (short) 0x071e}, {(short) 0x0000, (short) 0x0279},
   1809           {(short) 0x0000, (short) 0x001b}, {(short) 0x0000, (short) 0x0008},
   1810           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1811           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1812           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1813           {(short) 0x7e01, (short) 0x7e01},
   1814       },
   1815       {
   1816           {(short) 0x8403, (short) 0x8000}, {(short) 0x8203, (short) 0x8000},
   1817           {(short) 0xe403, (short) 0xe3fa}, {(short) 0xbc04, (short) 0xbbfc},
   1818           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0x8003, (short) 0x0003},
   1819           {(short) 0x871f, (short) 0x8719}, {(short) 0x8279, (short) 0x8000},
   1820           {(short) 0x801b, (short) 0x8000}, {(short) 0x8008, (short) 0x8000},
   1821           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1822           {(short) 0x0000, (short) 0x0403}, {(short) 0x0000, (short) 0x0203},
   1823           {(short) 0x63fa, (short) 0x6403}, {(short) 0x3bfc, (short) 0x3c04},
   1824           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x8003, (short) 0x0003},
   1825           {(short) 0x0719, (short) 0x071f}, {(short) 0x0000, (short) 0x0279},
   1826           {(short) 0x0000, (short) 0x001b}, {(short) 0x0000, (short) 0x0008},
   1827           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1828           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1829           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1830           {(short) 0x7e01, (short) 0x7e01},
   1831       },
   1832       {
   1833           {(short) 0xfc00, (short) 0xfbfc}, {(short) 0xf801, (short) 0xf7fc},
   1834           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1835           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xbc03, (short) 0xbbfa},
   1836           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf8ef, (short) 0xf8e9},
   1837           {(short) 0xe61b, (short) 0xe615}, {(short) 0xdcc0, (short) 0xdcba},
   1838           {(short) 0xcb30, (short) 0xcb2a}, {(short) 0xbc61, (short) 0xbc5b},
   1839           {(short) 0x7bfc, (short) 0x7c00}, {(short) 0x77fc, (short) 0x7801},
   1840           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1841           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x3bfa, (short) 0x3c03},
   1842           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x78e9, (short) 0x78ef},
   1843           {(short) 0x6615, (short) 0x661b}, {(short) 0x5cba, (short) 0x5cc0},
   1844           {(short) 0x4b2a, (short) 0x4b30}, {(short) 0x3c5b, (short) 0x3c61},
   1845           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1846           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1847           {(short) 0x7e01, (short) 0x7e01},
   1848       },
   1849       {
   1850           {(short) 0xb883, (short) 0xb87d}, {(short) 0xb483, (short) 0xb47d},
   1851           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf084, (short) 0xf07e},
   1852           {(short) 0xf083, (short) 0xf07d}, {(short) 0x8093, (short) 0x8000},
   1853           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb58d, (short) 0xb587},
   1854           {(short) 0xa2de, (short) 0xa2d8}, {(short) 0x9958, (short) 0x9952},
   1855           {(short) 0x880d, (short) 0x8807}, {(short) 0x80a0, (short) 0x8000},
   1856           {(short) 0x387d, (short) 0x3883}, {(short) 0x347d, (short) 0x3483},
   1857           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x707e, (short) 0x7084},
   1858           {(short) 0x707d, (short) 0x7083}, {(short) 0x0000, (short) 0x0093},
   1859           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x3587, (short) 0x358d},
   1860           {(short) 0x22d8, (short) 0x22de}, {(short) 0x1952, (short) 0x1958},
   1861           {(short) 0x0807, (short) 0x080d}, {(short) 0x0000, (short) 0x00a0},
   1862           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1863           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1864           {(short) 0x7e01, (short) 0x7e01},
   1865       },
   1866       {
   1867           {(short) 0xbe83, (short) 0xbe7d}, {(short) 0xba83, (short) 0xba7d},
   1868           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf685, (short) 0xf67f},
   1869           {(short) 0xf683, (short) 0xf67d}, {(short) 0x81a3, (short) 0x8000},
   1870           {(short) 0xc1ca, (short) 0xc1c4}, {(short) 0xbc03, (short) 0xbbfa},
   1871           {(short) 0xa8f7, (short) 0xa8f1}, {(short) 0x9fb7, (short) 0x9fb1},
   1872           {(short) 0x8dd8, (short) 0x8dd2}, {(short) 0x81c9, (short) 0x8000},
   1873           {(short) 0x3e7d, (short) 0x3e83}, {(short) 0x3a7d, (short) 0x3a83},
   1874           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x767f, (short) 0x7685},
   1875           {(short) 0x767d, (short) 0x7683}, {(short) 0x0000, (short) 0x01a3},
   1876           {(short) 0x41c4, (short) 0x41ca}, {(short) 0x3bfa, (short) 0x3c03},
   1877           {(short) 0x28f1, (short) 0x28f7}, {(short) 0x1fb1, (short) 0x1fb7},
   1878           {(short) 0x0dd2, (short) 0x0dd8}, {(short) 0x0000, (short) 0x01c9},
   1879           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1880           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1881           {(short) 0x7e01, (short) 0x7e01},
   1882       },
   1883       {
   1884           {(short) 0xd143, (short) 0xd13d}, {(short) 0xcd43, (short) 0xcd3d},
   1885           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1886           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x9144, (short) 0x913e},
   1887           {(short) 0xd4ae, (short) 0xd4a8}, {(short) 0xce79, (short) 0xce73},
   1888           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xb23c, (short) 0xb236},
   1889           {(short) 0xa0b9, (short) 0xa0b3}, {(short) 0x91bf, (short) 0x91b9},
   1890           {(short) 0x513d, (short) 0x5143}, {(short) 0x4d3d, (short) 0x4d43},
   1891           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1892           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x113e, (short) 0x1144},
   1893           {(short) 0x54a8, (short) 0x54ae}, {(short) 0x4e73, (short) 0x4e79},
   1894           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x3236, (short) 0x323c},
   1895           {(short) 0x20b3, (short) 0x20b9}, {(short) 0x11b9, (short) 0x11bf},
   1896           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1897           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1898           {(short) 0x7e01, (short) 0x7e01},
   1899       },
   1900       {
   1901           {(short) 0xdac3, (short) 0xdabd}, {(short) 0xd6c3, (short) 0xd6bd},
   1902           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1903           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x9ac4, (short) 0x9abe},
   1904           {(short) 0xde03, (short) 0xddfd}, {(short) 0xd82a, (short) 0xd824},
   1905           {(short) 0xc528, (short) 0xc522}, {(short) 0xbc03, (short) 0xbbfa},
   1906           {(short) 0xaa12, (short) 0xaa0c}, {(short) 0x9b62, (short) 0x9b5c},
   1907           {(short) 0x5abd, (short) 0x5ac3}, {(short) 0x56bd, (short) 0x56c3},
   1908           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1909           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x1abe, (short) 0x1ac4},
   1910           {(short) 0x5dfd, (short) 0x5e03}, {(short) 0x5824, (short) 0x582a},
   1911           {(short) 0x4522, (short) 0x4528}, {(short) 0x3bfa, (short) 0x3c03},
   1912           {(short) 0x2a0c, (short) 0x2a12}, {(short) 0x1b5c, (short) 0x1b62},
   1913           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1914           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1915           {(short) 0x7e01, (short) 0x7e01},
   1916       },
   1917       {
   1918           {(short) 0xec78, (short) 0xec72}, {(short) 0xe878, (short) 0xe872},
   1919           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1920           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xac79, (short) 0xac73},
   1921           {(short) 0xefef, (short) 0xefe9}, {(short) 0xe97f, (short) 0xe979},
   1922           {(short) 0xd6ce, (short) 0xd6c8}, {(short) 0xcd4b, (short) 0xcd45},
   1923           {(short) 0xbc03, (short) 0xbbfa}, {(short) 0xace1, (short) 0xacdb},
   1924           {(short) 0x6c72, (short) 0x6c78}, {(short) 0x6872, (short) 0x6878},
   1925           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1926           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x2c73, (short) 0x2c79},
   1927           {(short) 0x6fe9, (short) 0x6fef}, {(short) 0x6979, (short) 0x697f},
   1928           {(short) 0x56c8, (short) 0x56ce}, {(short) 0x4d45, (short) 0x4d4b},
   1929           {(short) 0x3bfa, (short) 0x3c03}, {(short) 0x2cdb, (short) 0x2ce1},
   1930           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1931           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1932           {(short) 0x7e01, (short) 0x7e01},
   1933       },
   1934       {
   1935           {(short) 0xfb56, (short) 0xfb50}, {(short) 0xf756, (short) 0xf750},
   1936           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1937           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xbb57, (short) 0xbb51},
   1938           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xf885, (short) 0xf87f},
   1939           {(short) 0xe598, (short) 0xe592}, {(short) 0xdc5a, (short) 0xdc54},
   1940           {(short) 0xca96, (short) 0xca90}, {(short) 0xbc03, (short) 0xbbfa},
   1941           {(short) 0x7b50, (short) 0x7b56}, {(short) 0x7750, (short) 0x7756},
   1942           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1943           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x3b51, (short) 0x3b57},
   1944           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x787f, (short) 0x7885},
   1945           {(short) 0x6592, (short) 0x6598}, {(short) 0x5c54, (short) 0x5c5a},
   1946           {(short) 0x4a90, (short) 0x4a96}, {(short) 0x3bfa, (short) 0x3c03},
   1947           {(short) 0xfc00, (short) 0xfc00}, {(short) 0x8003, (short) 0x0003},
   1948           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x8003, (short) 0x0003},
   1949           {(short) 0x7e01, (short) 0x7e01},
   1950       },
   1951       {
   1952           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1953           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1954           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1955           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1956           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1957           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1958           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1959           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1960           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1961           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1962           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1963           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1964           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x8003, (short) 0x0003},
   1965           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x8003, (short) 0x0003},
   1966           {(short) 0x7e01, (short) 0x7e01},
   1967       },
   1968       {
   1969           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1970           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1971           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1972           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1973           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1974           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   1975           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1976           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1977           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1978           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1979           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1980           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   1981           {(short) 0x7c00, (short) 0x7c00}, {(short) 0xfe00, (short) 0xfe00},
   1982           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfe00, (short) 0xfe00},
   1983           {(short) 0x7e01, (short) 0x7e01},
   1984       },
   1985       {
   1986           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1987           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1988           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1989           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1990           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1991           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1992           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1993           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1994           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1995           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1996           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1997           {(short) 0x8003, (short) 0x0003}, {(short) 0x8003, (short) 0x0003},
   1998           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x8003, (short) 0x0003},
   1999           {(short) 0xfe00, (short) 0xfe00}, {(short) 0x8003, (short) 0x0003},
   2000           {(short) 0x7e01, (short) 0x7e01},
   2001       },
   2002       {
   2003           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2004           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2005           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2006           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2007           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2008           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfc00, (short) 0xfc00},
   2009           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2010           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2011           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2012           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2013           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2014           {(short) 0x7c00, (short) 0x7c00}, {(short) 0x7c00, (short) 0x7c00},
   2015           {(short) 0xfc00, (short) 0xfc00}, {(short) 0xfe00, (short) 0xfe00},
   2016           {(short) 0x7c00, (short) 0x7c00}, {(short) 0xfe00, (short) 0xfe00},
   2017           {(short) 0x7e01, (short) 0x7e01},
   2018       },
   2019       {
   2020           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2021           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2022           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2023           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2024           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2025           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2026           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2027           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2028           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2029           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2030           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2031           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2032           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2033           {(short) 0x7e01, (short) 0x7e01}, {(short) 0x7e01, (short) 0x7e01},
   2034           {(short) 0x7e01, (short) 0x7e01},
   2035       },
   2036   };
   2037 }