github.com/jdgcs/sqlite3@v1.12.1-0.20210908114423-bc5f96e4dd51/testdata/tcl/misc5.test (about)

     1  # 2005 Mar 16
     2  #
     3  # The author disclaims copyright to this source code.  In place of
     4  # a legal notice, here is a blessing:
     5  #
     6  #    May you do good and not evil.
     7  #    May you find forgiveness for yourself and forgive others.
     8  #    May you share freely, never taking more than you give.
     9  #
    10  #***********************************************************************
    11  # This file implements regression tests for SQLite library.
    12  #
    13  # This file implements tests for miscellanous features that were
    14  # left out of other test files.
    15  #
    16  # $Id: misc5.test,v 1.22 2008/07/29 10:26:45 danielk1977 Exp $
    17  
    18  set testdir [file dirname $argv0]
    19  source $testdir/tester.tcl
    20  
    21  # Build records using the MakeRecord opcode such that the size of the 
    22  # header is at the transition point in the size of a varint.
    23  #
    24  # This test causes an assertion failure or a buffer overrun in version
    25  # 3.1.5 and earlier.
    26  #
    27  for {set i 120} {$i<140} {incr i} {
    28    do_test misc5-1.$i {
    29      catchsql {DROP TABLE t1}
    30      set sql1 {CREATE TABLE t1}
    31      set sql2 {INSERT INTO t1 VALUES}
    32      set sep (
    33      for {set j 0} {$j<$i} {incr j} {
    34        append sql1 ${sep}a$j
    35        append sql2 ${sep}$j
    36        set sep ,
    37      }
    38      append sql1 {);}
    39      append sql2 {);}
    40      execsql $sql1$sql2
    41    } {}
    42  }
    43  
    44  # Make sure large integers are stored correctly.
    45  #
    46  ifcapable conflict {
    47    do_test misc5-2.1 {
    48      execsql {
    49        create table t2(x unique);
    50        insert into t2 values(1);
    51        insert or ignore into t2 select x*2 from t2;
    52        insert or ignore into t2 select x*4 from t2;
    53        insert or ignore into t2 select x*16 from t2;
    54        insert or ignore into t2 select x*256 from t2;
    55        insert or ignore into t2 select x*65536 from t2;
    56        insert or ignore into t2 select x*2147483648 from t2;
    57        insert or ignore into t2 select x-1 from t2;
    58        insert or ignore into t2 select x+1 from t2;
    59        insert or ignore into t2 select -x from t2;
    60        select count(*) from t2;
    61      }
    62    } 371
    63  } else {
    64    do_test misc5-2.1 {
    65      execsql {
    66        BEGIN;
    67        create table t2(x unique);
    68        create table t2_temp(x);
    69        insert into t2_temp values(1);
    70        insert into t2_temp select x*2 from t2_temp;
    71        insert into t2_temp select x*4 from t2_temp;
    72        insert into t2_temp select x*16 from t2_temp;
    73        insert into t2_temp select x*256 from t2_temp;
    74        insert into t2_temp select x*65536 from t2_temp;
    75        insert into t2_temp select x*2147483648 from t2_temp;
    76        insert into t2_temp select x-1 from t2_temp;
    77        insert into t2_temp select x+1 from t2_temp;
    78        insert into t2_temp select -x from t2_temp;
    79        INSERT INTO t2 SELECT DISTINCT(x) FROM t2_temp;
    80        DROP TABLE t2_temp;
    81        COMMIT;
    82        select count(*) from t2;
    83      }
    84    } 371
    85  }
    86  do_test misc5-2.2 {
    87    execsql {
    88      select x from t2 order by x;
    89    }
    90  } \
    91  "-4611686018427387905\
    92  -4611686018427387904\
    93  -4611686018427387903\
    94  -2305843009213693953\
    95  -2305843009213693952\
    96  -2305843009213693951\
    97  -1152921504606846977\
    98  -1152921504606846976\
    99  -1152921504606846975\
   100  -576460752303423489\
   101  -576460752303423488\
   102  -576460752303423487\
   103  -288230376151711745\
   104  -288230376151711744\
   105  -288230376151711743\
   106  -144115188075855873\
   107  -144115188075855872\
   108  -144115188075855871\
   109  -72057594037927937\
   110  -72057594037927936\
   111  -72057594037927935\
   112  -36028797018963969\
   113  -36028797018963968\
   114  -36028797018963967\
   115  -18014398509481985\
   116  -18014398509481984\
   117  -18014398509481983\
   118  -9007199254740993\
   119  -9007199254740992\
   120  -9007199254740991\
   121  -4503599627370497\
   122  -4503599627370496\
   123  -4503599627370495\
   124  -2251799813685249\
   125  -2251799813685248\
   126  -2251799813685247\
   127  -1125899906842625\
   128  -1125899906842624\
   129  -1125899906842623\
   130  -562949953421313\
   131  -562949953421312\
   132  -562949953421311\
   133  -281474976710657\
   134  -281474976710656\
   135  -281474976710655\
   136  -140737488355329\
   137  -140737488355328\
   138  -140737488355327\
   139  -70368744177665\
   140  -70368744177664\
   141  -70368744177663\
   142  -35184372088833\
   143  -35184372088832\
   144  -35184372088831\
   145  -17592186044417\
   146  -17592186044416\
   147  -17592186044415\
   148  -8796093022209\
   149  -8796093022208\
   150  -8796093022207\
   151  -4398046511105\
   152  -4398046511104\
   153  -4398046511103\
   154  -2199023255553\
   155  -2199023255552\
   156  -2199023255551\
   157  -1099511627777\
   158  -1099511627776\
   159  -1099511627775\
   160  -549755813889\
   161  -549755813888\
   162  -549755813887\
   163  -274877906945\
   164  -274877906944\
   165  -274877906943\
   166  -137438953473\
   167  -137438953472\
   168  -137438953471\
   169  -68719476737\
   170  -68719476736\
   171  -68719476735\
   172  -34359738369\
   173  -34359738368\
   174  -34359738367\
   175  -17179869185\
   176  -17179869184\
   177  -17179869183\
   178  -8589934593\
   179  -8589934592\
   180  -8589934591\
   181  -4294967297\
   182  -4294967296\
   183  -4294967295\
   184  -2147483649\
   185  -2147483648\
   186  -2147483647\
   187  -1073741825\
   188  -1073741824\
   189  -1073741823\
   190  -536870913\
   191  -536870912\
   192  -536870911\
   193  -268435457\
   194  -268435456\
   195  -268435455\
   196  -134217729\
   197  -134217728\
   198  -134217727\
   199  -67108865\
   200  -67108864\
   201  -67108863\
   202  -33554433\
   203  -33554432\
   204  -33554431\
   205  -16777217\
   206  -16777216\
   207  -16777215\
   208  -8388609\
   209  -8388608\
   210  -8388607\
   211  -4194305\
   212  -4194304\
   213  -4194303\
   214  -2097153\
   215  -2097152\
   216  -2097151\
   217  -1048577\
   218  -1048576\
   219  -1048575\
   220  -524289\
   221  -524288\
   222  -524287\
   223  -262145\
   224  -262144\
   225  -262143\
   226  -131073\
   227  -131072\
   228  -131071\
   229  -65537\
   230  -65536\
   231  -65535\
   232  -32769\
   233  -32768\
   234  -32767\
   235  -16385\
   236  -16384\
   237  -16383\
   238  -8193\
   239  -8192\
   240  -8191\
   241  -4097\
   242  -4096\
   243  -4095\
   244  -2049\
   245  -2048\
   246  -2047\
   247  -1025\
   248  -1024\
   249  -1023\
   250  -513\
   251  -512\
   252  -511\
   253  -257\
   254  -256\
   255  -255\
   256  -129\
   257  -128\
   258  -127\
   259  -65\
   260  -64\
   261  -63\
   262  -33\
   263  -32\
   264  -31\
   265  -17\
   266  -16\
   267  -15\
   268  -9\
   269  -8\
   270  -7\
   271  -5\
   272  -4\
   273  -3\
   274  -2\
   275  -1\
   276  0\
   277  1\
   278  2\
   279  3\
   280  4\
   281  5\
   282  7\
   283  8\
   284  9\
   285  15\
   286  16\
   287  17\
   288  31\
   289  32\
   290  33\
   291  63\
   292  64\
   293  65\
   294  127\
   295  128\
   296  129\
   297  255\
   298  256\
   299  257\
   300  511\
   301  512\
   302  513\
   303  1023\
   304  1024\
   305  1025\
   306  2047\
   307  2048\
   308  2049\
   309  4095\
   310  4096\
   311  4097\
   312  8191\
   313  8192\
   314  8193\
   315  16383\
   316  16384\
   317  16385\
   318  32767\
   319  32768\
   320  32769\
   321  65535\
   322  65536\
   323  65537\
   324  131071\
   325  131072\
   326  131073\
   327  262143\
   328  262144\
   329  262145\
   330  524287\
   331  524288\
   332  524289\
   333  1048575\
   334  1048576\
   335  1048577\
   336  2097151\
   337  2097152\
   338  2097153\
   339  4194303\
   340  4194304\
   341  4194305\
   342  8388607\
   343  8388608\
   344  8388609\
   345  16777215\
   346  16777216\
   347  16777217\
   348  33554431\
   349  33554432\
   350  33554433\
   351  67108863\
   352  67108864\
   353  67108865\
   354  134217727\
   355  134217728\
   356  134217729\
   357  268435455\
   358  268435456\
   359  268435457\
   360  536870911\
   361  536870912\
   362  536870913\
   363  1073741823\
   364  1073741824\
   365  1073741825\
   366  2147483647\
   367  2147483648\
   368  2147483649\
   369  4294967295\
   370  4294967296\
   371  4294967297\
   372  8589934591\
   373  8589934592\
   374  8589934593\
   375  17179869183\
   376  17179869184\
   377  17179869185\
   378  34359738367\
   379  34359738368\
   380  34359738369\
   381  68719476735\
   382  68719476736\
   383  68719476737\
   384  137438953471\
   385  137438953472\
   386  137438953473\
   387  274877906943\
   388  274877906944\
   389  274877906945\
   390  549755813887\
   391  549755813888\
   392  549755813889\
   393  1099511627775\
   394  1099511627776\
   395  1099511627777\
   396  2199023255551\
   397  2199023255552\
   398  2199023255553\
   399  4398046511103\
   400  4398046511104\
   401  4398046511105\
   402  8796093022207\
   403  8796093022208\
   404  8796093022209\
   405  17592186044415\
   406  17592186044416\
   407  17592186044417\
   408  35184372088831\
   409  35184372088832\
   410  35184372088833\
   411  70368744177663\
   412  70368744177664\
   413  70368744177665\
   414  140737488355327\
   415  140737488355328\
   416  140737488355329\
   417  281474976710655\
   418  281474976710656\
   419  281474976710657\
   420  562949953421311\
   421  562949953421312\
   422  562949953421313\
   423  1125899906842623\
   424  1125899906842624\
   425  1125899906842625\
   426  2251799813685247\
   427  2251799813685248\
   428  2251799813685249\
   429  4503599627370495\
   430  4503599627370496\
   431  4503599627370497\
   432  9007199254740991\
   433  9007199254740992\
   434  9007199254740993\
   435  18014398509481983\
   436  18014398509481984\
   437  18014398509481985\
   438  36028797018963967\
   439  36028797018963968\
   440  36028797018963969\
   441  72057594037927935\
   442  72057594037927936\
   443  72057594037927937\
   444  144115188075855871\
   445  144115188075855872\
   446  144115188075855873\
   447  288230376151711743\
   448  288230376151711744\
   449  288230376151711745\
   450  576460752303423487\
   451  576460752303423488\
   452  576460752303423489\
   453  1152921504606846975\
   454  1152921504606846976\
   455  1152921504606846977\
   456  2305843009213693951\
   457  2305843009213693952\
   458  2305843009213693953\
   459  4611686018427387903\
   460  4611686018427387904\
   461  4611686018427387905"
   462  
   463  # Ticket #1210.  Do proper reference counting of Table structures
   464  # so that deeply nested SELECT statements can be flattened correctly.
   465  #
   466  ifcapable subquery {
   467    do_test misc5-3.1 {
   468      execsql {
   469        CREATE TABLE songs(songid, artist, timesplayed);
   470        INSERT INTO songs VALUES(1,'one',1);
   471        INSERT INTO songs VALUES(2,'one',2);
   472        INSERT INTO songs VALUES(3,'two',3);
   473        INSERT INTO songs VALUES(4,'three',5);
   474        INSERT INTO songs VALUES(5,'one',7);
   475        INSERT INTO songs VALUES(6,'two',11);
   476        SELECT DISTINCT artist 
   477        FROM (    
   478         SELECT DISTINCT artist    
   479         FROM songs      
   480         WHERE songid IN (    
   481          SELECT songid    
   482          FROM songs    
   483          WHERE LOWER(artist) = (    
   484            -- This sub-query is indeterminate. Because there is no ORDER BY,
   485            -- it may return 'one', 'two' or 'three'. Because of this, the
   486  	  -- outermost parent query may correctly return any of 'one', 'two' 
   487            -- or 'three' as well.
   488            SELECT DISTINCT LOWER(artist)    
   489            FROM (      
   490              -- This sub-query returns the table:
   491              --
   492              --     two      14
   493              --     one      10
   494              --     three    5
   495              --
   496              SELECT DISTINCT artist,sum(timesplayed) AS total      
   497              FROM songs      
   498              GROUP BY LOWER(artist)      
   499              ORDER BY total DESC      
   500              LIMIT 10    
   501            )    
   502            WHERE artist <> '' 
   503          )  
   504         )       
   505        )  
   506        ORDER BY LOWER(artist) ASC;
   507      }
   508    } {two}
   509  }
   510  
   511  # Ticket #1370.  Do not overwrite small files (less than 1024 bytes)
   512  # when trying to open them as a database.
   513  #
   514  if {[permutation] == ""} {
   515    do_test misc5-4.1 {
   516      db close
   517      forcedelete test.db
   518      set fd [open test.db w]
   519      puts $fd "This is not really a database"
   520      close $fd
   521      sqlite3 db test.db
   522      catchsql {
   523        CREATE TABLE t1(a,b,c);
   524      }
   525    } {1 {file is not a database}}
   526  }
   527  
   528  # Ticket #1371.  Allow floating point numbers of the form .N  or N.
   529  #
   530  do_test misc5-5.1 {
   531    execsql {SELECT .1 }
   532  } 0.1
   533  do_test misc5-5.2 {
   534    execsql {SELECT 2. }
   535  } 2.0
   536  do_test misc5-5.3 {
   537    execsql {SELECT 3.e0 }
   538  } 3.0
   539  do_test misc5-5.4 {
   540    execsql {SELECT .4e+1}
   541  } 4.0
   542  
   543  # Ticket #1582.  Ensure that an unknown table in a LIMIT clause applied to
   544  # a UNION ALL query causes an error, not a crash.
   545  #
   546  db close
   547  forcedelete test.db
   548  sqlite3 db test.db
   549  ifcapable subquery&&compound {
   550    do_test misc5-6.1 {
   551      catchsql {
   552        SELECT * FROM sqlite_master 
   553        UNION ALL 
   554        SELECT * FROM sqlite_master
   555        LIMIT (SELECT count(*) FROM blah);
   556      }
   557    } {1 {no such table: blah}}
   558    do_test misc5-6.2 {
   559      execsql {
   560        CREATE TABLE logs(msg TEXT, timestamp INTEGER, dbtime TEXT);
   561      }
   562      catchsql {
   563        SELECT * FROM logs WHERE logs.oid >= (SELECT head FROM logs_base) 
   564        UNION ALL 
   565        SELECT * FROM logs 
   566        LIMIT (SELECT lmt FROM logs_base) ;
   567      }
   568    } {1 {no such table: logs_base}}
   569  }
   570  
   571  # Overflow the lemon parser stack by providing an overly complex
   572  # expression.  Make sure that the overflow is detected and reported.
   573  #
   574  # This test fails when building with -DYYSTACKDEPTH=0
   575  #
   576  do_test misc5-7.1 {
   577    execsql {CREATE TABLE t1(x)}
   578    set sql "INSERT INTO t1 VALUES("
   579    set tail ""
   580    for {set i 0} {$i<200} {incr i} {
   581      append sql "(1+"
   582      append tail ")"
   583    }
   584    append sql 2$tail
   585    catchsql $sql
   586  } {1 {parser stack overflow}}
   587  
   588  # Parser stack overflow is silently ignored when it occurs while parsing the
   589  # schema and PRAGMA writable_schema is turned on.
   590  #
   591  do_test misc5-7.2 {
   592    sqlite3 db2 :memory:
   593    sqlite3_db_config db2 DEFENSIVE 0
   594    catchsql {
   595      CREATE TABLE t1(x UNIQUE);
   596      PRAGMA writable_schema=ON;
   597      UPDATE sqlite_master SET sql='CREATE table t(o CHECK(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((;VALUES(o)';
   598      BEGIN;
   599      CREATE TABLE t2(y);
   600      ROLLBACK;
   601      DROP TABLE IF EXISTS D;
   602    } db2
   603  } {0 {}}
   604  db2 close
   605    
   606  
   607  # Ticket #1911
   608  #
   609  ifcapable compound {
   610    do_test misc5-9.1 {
   611      execsql {
   612        SELECT name, type FROM sqlite_master WHERE name IS NULL
   613        UNION
   614        SELECT type, name FROM sqlite_master WHERE type IS NULL
   615        ORDER BY 1, 2, 1, 2, 1, 2
   616      }
   617    } {}
   618    do_test misc5-9.2 {
   619      execsql {
   620        SELECT name, type FROM sqlite_master WHERE name IS NULL
   621        UNION
   622        SELECT type, name FROM sqlite_master WHERE type IS NULL
   623        ORDER BY 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2
   624      }
   625    } {}
   626  }
   627  
   628  # Ticket #1912.  Make the tokenizer require a space after a numeric
   629  # literal.
   630  #
   631  do_test misc5-10.1 {
   632    catchsql {
   633      SELECT 123abc
   634    }
   635  } {1 {unrecognized token: "123abc"}}
   636  do_test misc5-10.2 {
   637    catchsql {
   638      SELECT 1*123.4e5ghi;
   639    }
   640  } {1 {unrecognized token: "123.4e5ghi"}}
   641  
   642  
   643  # Additional integer encoding tests.
   644  #
   645  do_test misc5-11.1 {
   646    db eval {
   647      CREATE TABLE t3(x);
   648      INSERT INTO t3 VALUES(-18);
   649      INSERT INTO t3 VALUES(-17);
   650      INSERT INTO t3 VALUES(-16);
   651      INSERT INTO t3 VALUES(-15);
   652      INSERT INTO t3 VALUES(-14);
   653      INSERT INTO t3 VALUES(-13);
   654      INSERT INTO t3 VALUES(-12);
   655      INSERT INTO t3 VALUES(-11);
   656      INSERT INTO t3 VALUES(-10);
   657      INSERT INTO t3 VALUES(-9);
   658      INSERT INTO t3 VALUES(-8);
   659      INSERT INTO t3 VALUES(-7);
   660      INSERT INTO t3 VALUES(-6);
   661      INSERT INTO t3 VALUES(-5);
   662      INSERT INTO t3 VALUES(-4);
   663      INSERT INTO t3 VALUES(-3);
   664      INSERT INTO t3 VALUES(-2);
   665      INSERT INTO t3 VALUES(-1);
   666      INSERT INTO t3 VALUES(0);
   667      INSERT INTO t3 VALUES(1);
   668      INSERT INTO t3 VALUES(2);
   669      INSERT INTO t3 VALUES(3);
   670      INSERT INTO t3 VALUES(4);
   671      INSERT INTO t3 VALUES(5);
   672      INSERT INTO t3 VALUES(6);
   673      INSERT INTO t3 VALUES(7);
   674      INSERT INTO t3 VALUES(8);
   675      INSERT INTO t3 VALUES(9);
   676      INSERT INTO t3 VALUES(10);
   677      INSERT INTO t3 VALUES(11);
   678      INSERT INTO t3 VALUES(12);
   679      INSERT INTO t3 VALUES(13);
   680      INSERT INTO t3 VALUES(14);
   681      INSERT INTO t3 VALUES(15);
   682      INSERT INTO t3 VALUES(16);
   683      INSERT INTO t3 VALUES(17);
   684      INSERT INTO t3 VALUES(18);
   685      INSERT INTO t3 VALUES(30);
   686      INSERT INTO t3 VALUES(31);
   687      INSERT INTO t3 VALUES(32);
   688      INSERT INTO t3 VALUES(33);
   689      INSERT INTO t3 VALUES(34);
   690      INSERT INTO t3 VALUES(-30);
   691      INSERT INTO t3 VALUES(-31);
   692      INSERT INTO t3 VALUES(-32);
   693      INSERT INTO t3 VALUES(-33);
   694      INSERT INTO t3 VALUES(-34);
   695      INSERT INTO t3 VALUES(62);
   696      INSERT INTO t3 VALUES(63);
   697      INSERT INTO t3 VALUES(64);
   698      INSERT INTO t3 VALUES(65);
   699      INSERT INTO t3 VALUES(66);
   700      INSERT INTO t3 VALUES(-62);
   701      INSERT INTO t3 VALUES(-63);
   702      INSERT INTO t3 VALUES(-64);
   703      INSERT INTO t3 VALUES(-65);
   704      INSERT INTO t3 VALUES(-66);
   705      INSERT INTO t3 VALUES(126);
   706      INSERT INTO t3 VALUES(127);
   707      INSERT INTO t3 VALUES(128);
   708      INSERT INTO t3 VALUES(129);
   709      INSERT INTO t3 VALUES(130);
   710      INSERT INTO t3 VALUES(-126);
   711      INSERT INTO t3 VALUES(-127);
   712      INSERT INTO t3 VALUES(-128);
   713      INSERT INTO t3 VALUES(-129);
   714      INSERT INTO t3 VALUES(-130);
   715      INSERT INTO t3 VALUES(254);
   716      INSERT INTO t3 VALUES(255);
   717      INSERT INTO t3 VALUES(256);
   718      INSERT INTO t3 VALUES(257);
   719      INSERT INTO t3 VALUES(258);
   720      INSERT INTO t3 VALUES(-254);
   721      INSERT INTO t3 VALUES(-255);
   722      INSERT INTO t3 VALUES(-256);
   723      INSERT INTO t3 VALUES(-257);
   724      INSERT INTO t3 VALUES(-258);
   725      INSERT INTO t3 VALUES(510);
   726      INSERT INTO t3 VALUES(511);
   727      INSERT INTO t3 VALUES(512);
   728      INSERT INTO t3 VALUES(513);
   729      INSERT INTO t3 VALUES(514);
   730      INSERT INTO t3 VALUES(-510);
   731      INSERT INTO t3 VALUES(-511);
   732      INSERT INTO t3 VALUES(-512);
   733      INSERT INTO t3 VALUES(-513);
   734      INSERT INTO t3 VALUES(-514);
   735      INSERT INTO t3 VALUES(1022);
   736      INSERT INTO t3 VALUES(1023);
   737      INSERT INTO t3 VALUES(1024);
   738      INSERT INTO t3 VALUES(1025);
   739      INSERT INTO t3 VALUES(1026);
   740      INSERT INTO t3 VALUES(-1022);
   741      INSERT INTO t3 VALUES(-1023);
   742      INSERT INTO t3 VALUES(-1024);
   743      INSERT INTO t3 VALUES(-1025);
   744      INSERT INTO t3 VALUES(-1026);
   745      INSERT INTO t3 VALUES(2046);
   746      INSERT INTO t3 VALUES(2047);
   747      INSERT INTO t3 VALUES(2048);
   748      INSERT INTO t3 VALUES(2049);
   749      INSERT INTO t3 VALUES(2050);
   750      INSERT INTO t3 VALUES(-2046);
   751      INSERT INTO t3 VALUES(-2047);
   752      INSERT INTO t3 VALUES(-2048);
   753      INSERT INTO t3 VALUES(-2049);
   754      INSERT INTO t3 VALUES(-2050);
   755      INSERT INTO t3 VALUES(4094);
   756      INSERT INTO t3 VALUES(4095);
   757      INSERT INTO t3 VALUES(4096);
   758      INSERT INTO t3 VALUES(4097);
   759      INSERT INTO t3 VALUES(4098);
   760      INSERT INTO t3 VALUES(-4094);
   761      INSERT INTO t3 VALUES(-4095);
   762      INSERT INTO t3 VALUES(-4096);
   763      INSERT INTO t3 VALUES(-4097);
   764      INSERT INTO t3 VALUES(-4098);
   765      INSERT INTO t3 VALUES(8190);
   766      INSERT INTO t3 VALUES(8191);
   767      INSERT INTO t3 VALUES(8192);
   768      INSERT INTO t3 VALUES(8193);
   769      INSERT INTO t3 VALUES(8194);
   770      INSERT INTO t3 VALUES(-8190);
   771      INSERT INTO t3 VALUES(-8191);
   772      INSERT INTO t3 VALUES(-8192);
   773      INSERT INTO t3 VALUES(-8193);
   774      INSERT INTO t3 VALUES(-8194);
   775      INSERT INTO t3 VALUES(16382);
   776      INSERT INTO t3 VALUES(16383);
   777      INSERT INTO t3 VALUES(16384);
   778      INSERT INTO t3 VALUES(16385);
   779      INSERT INTO t3 VALUES(16386);
   780      INSERT INTO t3 VALUES(-16382);
   781      INSERT INTO t3 VALUES(-16383);
   782      INSERT INTO t3 VALUES(-16384);
   783      INSERT INTO t3 VALUES(-16385);
   784      INSERT INTO t3 VALUES(-16386);
   785      INSERT INTO t3 VALUES(32766);
   786      INSERT INTO t3 VALUES(32767);
   787      INSERT INTO t3 VALUES(32768);
   788      INSERT INTO t3 VALUES(32769);
   789      INSERT INTO t3 VALUES(32770);
   790      INSERT INTO t3 VALUES(-32766);
   791      INSERT INTO t3 VALUES(-32767);
   792      INSERT INTO t3 VALUES(-32768);
   793      INSERT INTO t3 VALUES(-32769);
   794      INSERT INTO t3 VALUES(-32770);
   795      INSERT INTO t3 VALUES(65534);
   796      INSERT INTO t3 VALUES(65535);
   797      INSERT INTO t3 VALUES(65536);
   798      INSERT INTO t3 VALUES(65537);
   799      INSERT INTO t3 VALUES(65538);
   800      INSERT INTO t3 VALUES(-65534);
   801      INSERT INTO t3 VALUES(-65535);
   802      INSERT INTO t3 VALUES(-65536);
   803      INSERT INTO t3 VALUES(-65537);
   804      INSERT INTO t3 VALUES(-65538);
   805      INSERT INTO t3 VALUES(131070);
   806      INSERT INTO t3 VALUES(131071);
   807      INSERT INTO t3 VALUES(131072);
   808      INSERT INTO t3 VALUES(131073);
   809      INSERT INTO t3 VALUES(131074);
   810      INSERT INTO t3 VALUES(-131070);
   811      INSERT INTO t3 VALUES(-131071);
   812      INSERT INTO t3 VALUES(-131072);
   813      INSERT INTO t3 VALUES(-131073);
   814      INSERT INTO t3 VALUES(-131074);
   815      INSERT INTO t3 VALUES(262142);
   816      INSERT INTO t3 VALUES(262143);
   817      INSERT INTO t3 VALUES(262144);
   818      INSERT INTO t3 VALUES(262145);
   819      INSERT INTO t3 VALUES(262146);
   820      INSERT INTO t3 VALUES(-262142);
   821      INSERT INTO t3 VALUES(-262143);
   822      INSERT INTO t3 VALUES(-262144);
   823      INSERT INTO t3 VALUES(-262145);
   824      INSERT INTO t3 VALUES(-262146);
   825      INSERT INTO t3 VALUES(524286);
   826      INSERT INTO t3 VALUES(524287);
   827      INSERT INTO t3 VALUES(524288);
   828      INSERT INTO t3 VALUES(524289);
   829      INSERT INTO t3 VALUES(524290);
   830      INSERT INTO t3 VALUES(-524286);
   831      INSERT INTO t3 VALUES(-524287);
   832      INSERT INTO t3 VALUES(-524288);
   833      INSERT INTO t3 VALUES(-524289);
   834      INSERT INTO t3 VALUES(-524290);
   835      INSERT INTO t3 VALUES(1048574);
   836      INSERT INTO t3 VALUES(1048575);
   837      INSERT INTO t3 VALUES(1048576);
   838      INSERT INTO t3 VALUES(1048577);
   839      INSERT INTO t3 VALUES(1048578);
   840      INSERT INTO t3 VALUES(-1048574);
   841      INSERT INTO t3 VALUES(-1048575);
   842      INSERT INTO t3 VALUES(-1048576);
   843      INSERT INTO t3 VALUES(-1048577);
   844      INSERT INTO t3 VALUES(-1048578);
   845      INSERT INTO t3 VALUES(2097150);
   846      INSERT INTO t3 VALUES(2097151);
   847      INSERT INTO t3 VALUES(2097152);
   848      INSERT INTO t3 VALUES(2097153);
   849      INSERT INTO t3 VALUES(2097154);
   850      INSERT INTO t3 VALUES(-2097150);
   851      INSERT INTO t3 VALUES(-2097151);
   852      INSERT INTO t3 VALUES(-2097152);
   853      INSERT INTO t3 VALUES(-2097153);
   854      INSERT INTO t3 VALUES(-2097154);
   855      INSERT INTO t3 VALUES(4194302);
   856      INSERT INTO t3 VALUES(4194303);
   857      INSERT INTO t3 VALUES(4194304);
   858      INSERT INTO t3 VALUES(4194305);
   859      INSERT INTO t3 VALUES(4194306);
   860      INSERT INTO t3 VALUES(-4194302);
   861      INSERT INTO t3 VALUES(-4194303);
   862      INSERT INTO t3 VALUES(-4194304);
   863      INSERT INTO t3 VALUES(-4194305);
   864      INSERT INTO t3 VALUES(-4194306);
   865      INSERT INTO t3 VALUES(8388606);
   866      INSERT INTO t3 VALUES(8388607);
   867      INSERT INTO t3 VALUES(8388608);
   868      INSERT INTO t3 VALUES(8388609);
   869      INSERT INTO t3 VALUES(8388610);
   870      INSERT INTO t3 VALUES(-8388606);
   871      INSERT INTO t3 VALUES(-8388607);
   872      INSERT INTO t3 VALUES(-8388608);
   873      INSERT INTO t3 VALUES(-8388609);
   874      INSERT INTO t3 VALUES(-8388610);
   875      INSERT INTO t3 VALUES(16777214);
   876      INSERT INTO t3 VALUES(16777215);
   877      INSERT INTO t3 VALUES(16777216);
   878      INSERT INTO t3 VALUES(16777217);
   879      INSERT INTO t3 VALUES(16777218);
   880      INSERT INTO t3 VALUES(-16777214);
   881      INSERT INTO t3 VALUES(-16777215);
   882      INSERT INTO t3 VALUES(-16777216);
   883      INSERT INTO t3 VALUES(-16777217);
   884      INSERT INTO t3 VALUES(-16777218);
   885      INSERT INTO t3 VALUES(33554430);
   886      INSERT INTO t3 VALUES(33554431);
   887      INSERT INTO t3 VALUES(33554432);
   888      INSERT INTO t3 VALUES(33554433);
   889      INSERT INTO t3 VALUES(33554434);
   890      INSERT INTO t3 VALUES(-33554430);
   891      INSERT INTO t3 VALUES(-33554431);
   892      INSERT INTO t3 VALUES(-33554432);
   893      INSERT INTO t3 VALUES(-33554433);
   894      INSERT INTO t3 VALUES(-33554434);
   895      INSERT INTO t3 VALUES(67108862);
   896      INSERT INTO t3 VALUES(67108863);
   897      INSERT INTO t3 VALUES(67108864);
   898      INSERT INTO t3 VALUES(67108865);
   899      INSERT INTO t3 VALUES(67108866);
   900      INSERT INTO t3 VALUES(-67108862);
   901      INSERT INTO t3 VALUES(-67108863);
   902      INSERT INTO t3 VALUES(-67108864);
   903      INSERT INTO t3 VALUES(-67108865);
   904      INSERT INTO t3 VALUES(-67108866);
   905      INSERT INTO t3 VALUES(134217726);
   906      INSERT INTO t3 VALUES(134217727);
   907      INSERT INTO t3 VALUES(134217728);
   908      INSERT INTO t3 VALUES(134217729);
   909      INSERT INTO t3 VALUES(134217730);
   910      INSERT INTO t3 VALUES(-134217726);
   911      INSERT INTO t3 VALUES(-134217727);
   912      INSERT INTO t3 VALUES(-134217728);
   913      INSERT INTO t3 VALUES(-134217729);
   914      INSERT INTO t3 VALUES(-134217730);
   915      INSERT INTO t3 VALUES(268435454);
   916      INSERT INTO t3 VALUES(268435455);
   917      INSERT INTO t3 VALUES(268435456);
   918      INSERT INTO t3 VALUES(268435457);
   919      INSERT INTO t3 VALUES(268435458);
   920      INSERT INTO t3 VALUES(-268435454);
   921      INSERT INTO t3 VALUES(-268435455);
   922      INSERT INTO t3 VALUES(-268435456);
   923      INSERT INTO t3 VALUES(-268435457);
   924      INSERT INTO t3 VALUES(-268435458);
   925      INSERT INTO t3 VALUES(536870910);
   926      INSERT INTO t3 VALUES(536870911);
   927      INSERT INTO t3 VALUES(536870912);
   928      INSERT INTO t3 VALUES(536870913);
   929      INSERT INTO t3 VALUES(536870914);
   930      INSERT INTO t3 VALUES(-536870910);
   931      INSERT INTO t3 VALUES(-536870911);
   932      INSERT INTO t3 VALUES(-536870912);
   933      INSERT INTO t3 VALUES(-536870913);
   934      INSERT INTO t3 VALUES(-536870914);
   935      INSERT INTO t3 VALUES(1073741822);
   936      INSERT INTO t3 VALUES(1073741823);
   937      INSERT INTO t3 VALUES(1073741824);
   938      INSERT INTO t3 VALUES(1073741825);
   939      INSERT INTO t3 VALUES(1073741826);
   940      INSERT INTO t3 VALUES(-1073741822);
   941      INSERT INTO t3 VALUES(-1073741823);
   942      INSERT INTO t3 VALUES(-1073741824);
   943      INSERT INTO t3 VALUES(-1073741825);
   944      INSERT INTO t3 VALUES(-1073741826);
   945      INSERT INTO t3 VALUES(2147483646);
   946      INSERT INTO t3 VALUES(2147483647);
   947      INSERT INTO t3 VALUES(2147483648);
   948      INSERT INTO t3 VALUES(2147483649);
   949      INSERT INTO t3 VALUES(2147483650);
   950      INSERT INTO t3 VALUES(-2147483646);
   951      INSERT INTO t3 VALUES(-2147483647);
   952      INSERT INTO t3 VALUES(-2147483648);
   953      INSERT INTO t3 VALUES(-2147483649);
   954      INSERT INTO t3 VALUES(-2147483650);
   955      INSERT INTO t3 VALUES(4294967294);
   956      INSERT INTO t3 VALUES(4294967295);
   957      INSERT INTO t3 VALUES(4294967296);
   958      INSERT INTO t3 VALUES(4294967297);
   959      INSERT INTO t3 VALUES(4294967298);
   960      INSERT INTO t3 VALUES(-4294967294);
   961      INSERT INTO t3 VALUES(-4294967295);
   962      INSERT INTO t3 VALUES(-4294967296);
   963      INSERT INTO t3 VALUES(-4294967297);
   964      INSERT INTO t3 VALUES(-4294967298);
   965      INSERT INTO t3 VALUES(8589934590);
   966      INSERT INTO t3 VALUES(8589934591);
   967      INSERT INTO t3 VALUES(8589934592);
   968      INSERT INTO t3 VALUES(8589934593);
   969      INSERT INTO t3 VALUES(8589934594);
   970      INSERT INTO t3 VALUES(-8589934590);
   971      INSERT INTO t3 VALUES(-8589934591);
   972      INSERT INTO t3 VALUES(-8589934592);
   973      INSERT INTO t3 VALUES(-8589934593);
   974      INSERT INTO t3 VALUES(-8589934594);
   975      INSERT INTO t3 VALUES(17179869182);
   976      INSERT INTO t3 VALUES(17179869183);
   977      INSERT INTO t3 VALUES(17179869184);
   978      INSERT INTO t3 VALUES(17179869185);
   979      INSERT INTO t3 VALUES(17179869186);
   980      INSERT INTO t3 VALUES(-17179869182);
   981      INSERT INTO t3 VALUES(-17179869183);
   982      INSERT INTO t3 VALUES(-17179869184);
   983      INSERT INTO t3 VALUES(-17179869185);
   984      INSERT INTO t3 VALUES(-17179869186);
   985      INSERT INTO t3 VALUES(34359738366);
   986      INSERT INTO t3 VALUES(34359738367);
   987      INSERT INTO t3 VALUES(34359738368);
   988      INSERT INTO t3 VALUES(34359738369);
   989      INSERT INTO t3 VALUES(34359738370);
   990      INSERT INTO t3 VALUES(-34359738366);
   991      INSERT INTO t3 VALUES(-34359738367);
   992      INSERT INTO t3 VALUES(-34359738368);
   993      INSERT INTO t3 VALUES(-34359738369);
   994      INSERT INTO t3 VALUES(-34359738370);
   995      INSERT INTO t3 VALUES(68719476734);
   996      INSERT INTO t3 VALUES(68719476735);
   997      INSERT INTO t3 VALUES(68719476736);
   998      INSERT INTO t3 VALUES(68719476737);
   999      INSERT INTO t3 VALUES(68719476738);
  1000      INSERT INTO t3 VALUES(-68719476734);
  1001      INSERT INTO t3 VALUES(-68719476735);
  1002      INSERT INTO t3 VALUES(-68719476736);
  1003      INSERT INTO t3 VALUES(-68719476737);
  1004      INSERT INTO t3 VALUES(-68719476738);
  1005      INSERT INTO t3 VALUES(137438953470);
  1006      INSERT INTO t3 VALUES(137438953471);
  1007      INSERT INTO t3 VALUES(137438953472);
  1008      INSERT INTO t3 VALUES(137438953473);
  1009      INSERT INTO t3 VALUES(137438953474);
  1010      INSERT INTO t3 VALUES(-137438953470);
  1011      INSERT INTO t3 VALUES(-137438953471);
  1012      INSERT INTO t3 VALUES(-137438953472);
  1013      INSERT INTO t3 VALUES(-137438953473);
  1014      INSERT INTO t3 VALUES(-137438953474);
  1015      INSERT INTO t3 VALUES(274877906942);
  1016      INSERT INTO t3 VALUES(274877906943);
  1017      INSERT INTO t3 VALUES(274877906944);
  1018      INSERT INTO t3 VALUES(274877906945);
  1019      INSERT INTO t3 VALUES(274877906946);
  1020      INSERT INTO t3 VALUES(-274877906942);
  1021      INSERT INTO t3 VALUES(-274877906943);
  1022      INSERT INTO t3 VALUES(-274877906944);
  1023      INSERT INTO t3 VALUES(-274877906945);
  1024      INSERT INTO t3 VALUES(-274877906946);
  1025      INSERT INTO t3 VALUES(549755813886);
  1026      INSERT INTO t3 VALUES(549755813887);
  1027      INSERT INTO t3 VALUES(549755813888);
  1028      INSERT INTO t3 VALUES(549755813889);
  1029      INSERT INTO t3 VALUES(549755813890);
  1030      INSERT INTO t3 VALUES(-549755813886);
  1031      INSERT INTO t3 VALUES(-549755813887);
  1032      INSERT INTO t3 VALUES(-549755813888);
  1033      INSERT INTO t3 VALUES(-549755813889);
  1034      INSERT INTO t3 VALUES(-549755813890);
  1035      INSERT INTO t3 VALUES(1099511627774);
  1036      INSERT INTO t3 VALUES(1099511627775);
  1037      INSERT INTO t3 VALUES(1099511627776);
  1038      INSERT INTO t3 VALUES(1099511627777);
  1039      INSERT INTO t3 VALUES(1099511627778);
  1040      INSERT INTO t3 VALUES(-1099511627774);
  1041      INSERT INTO t3 VALUES(-1099511627775);
  1042      INSERT INTO t3 VALUES(-1099511627776);
  1043      INSERT INTO t3 VALUES(-1099511627777);
  1044      INSERT INTO t3 VALUES(-1099511627778);
  1045      INSERT INTO t3 VALUES(2199023255550);
  1046      INSERT INTO t3 VALUES(2199023255551);
  1047      INSERT INTO t3 VALUES(2199023255552);
  1048      INSERT INTO t3 VALUES(2199023255553);
  1049      INSERT INTO t3 VALUES(2199023255554);
  1050      INSERT INTO t3 VALUES(-2199023255550);
  1051      INSERT INTO t3 VALUES(-2199023255551);
  1052      INSERT INTO t3 VALUES(-2199023255552);
  1053      INSERT INTO t3 VALUES(-2199023255553);
  1054      INSERT INTO t3 VALUES(-2199023255554);
  1055      INSERT INTO t3 VALUES(4398046511102);
  1056      INSERT INTO t3 VALUES(4398046511103);
  1057      INSERT INTO t3 VALUES(4398046511104);
  1058      INSERT INTO t3 VALUES(4398046511105);
  1059      INSERT INTO t3 VALUES(4398046511106);
  1060      INSERT INTO t3 VALUES(-4398046511102);
  1061      INSERT INTO t3 VALUES(-4398046511103);
  1062      INSERT INTO t3 VALUES(-4398046511104);
  1063      INSERT INTO t3 VALUES(-4398046511105);
  1064      INSERT INTO t3 VALUES(-4398046511106);
  1065      INSERT INTO t3 VALUES(8796093022206);
  1066      INSERT INTO t3 VALUES(8796093022207);
  1067      INSERT INTO t3 VALUES(8796093022208);
  1068      INSERT INTO t3 VALUES(8796093022209);
  1069      INSERT INTO t3 VALUES(8796093022210);
  1070      INSERT INTO t3 VALUES(-8796093022206);
  1071      INSERT INTO t3 VALUES(-8796093022207);
  1072      INSERT INTO t3 VALUES(-8796093022208);
  1073      INSERT INTO t3 VALUES(-8796093022209);
  1074      INSERT INTO t3 VALUES(-8796093022210);
  1075      INSERT INTO t3 VALUES(17592186044414);
  1076      INSERT INTO t3 VALUES(17592186044415);
  1077      INSERT INTO t3 VALUES(17592186044416);
  1078      INSERT INTO t3 VALUES(17592186044417);
  1079      INSERT INTO t3 VALUES(17592186044418);
  1080      INSERT INTO t3 VALUES(-17592186044414);
  1081      INSERT INTO t3 VALUES(-17592186044415);
  1082      INSERT INTO t3 VALUES(-17592186044416);
  1083      INSERT INTO t3 VALUES(-17592186044417);
  1084      INSERT INTO t3 VALUES(-17592186044418);
  1085      INSERT INTO t3 VALUES(35184372088830);
  1086      INSERT INTO t3 VALUES(35184372088831);
  1087      INSERT INTO t3 VALUES(35184372088832);
  1088      INSERT INTO t3 VALUES(35184372088833);
  1089      INSERT INTO t3 VALUES(35184372088834);
  1090      INSERT INTO t3 VALUES(-35184372088830);
  1091      INSERT INTO t3 VALUES(-35184372088831);
  1092      INSERT INTO t3 VALUES(-35184372088832);
  1093      INSERT INTO t3 VALUES(-35184372088833);
  1094      INSERT INTO t3 VALUES(-35184372088834);
  1095      INSERT INTO t3 VALUES(70368744177662);
  1096      INSERT INTO t3 VALUES(70368744177663);
  1097      INSERT INTO t3 VALUES(70368744177664);
  1098      INSERT INTO t3 VALUES(70368744177665);
  1099      INSERT INTO t3 VALUES(70368744177666);
  1100      INSERT INTO t3 VALUES(-70368744177662);
  1101      INSERT INTO t3 VALUES(-70368744177663);
  1102      INSERT INTO t3 VALUES(-70368744177664);
  1103      INSERT INTO t3 VALUES(-70368744177665);
  1104      INSERT INTO t3 VALUES(-70368744177666);
  1105      INSERT INTO t3 VALUES(140737488355326);
  1106      INSERT INTO t3 VALUES(140737488355327);
  1107      INSERT INTO t3 VALUES(140737488355328);
  1108      INSERT INTO t3 VALUES(140737488355329);
  1109      INSERT INTO t3 VALUES(140737488355330);
  1110      INSERT INTO t3 VALUES(-140737488355326);
  1111      INSERT INTO t3 VALUES(-140737488355327);
  1112      INSERT INTO t3 VALUES(-140737488355328);
  1113      INSERT INTO t3 VALUES(-140737488355329);
  1114      INSERT INTO t3 VALUES(-140737488355330);
  1115      INSERT INTO t3 VALUES(281474976710654);
  1116      INSERT INTO t3 VALUES(281474976710655);
  1117      INSERT INTO t3 VALUES(281474976710656);
  1118      INSERT INTO t3 VALUES(281474976710657);
  1119      INSERT INTO t3 VALUES(281474976710658);
  1120      INSERT INTO t3 VALUES(-281474976710654);
  1121      INSERT INTO t3 VALUES(-281474976710655);
  1122      INSERT INTO t3 VALUES(-281474976710656);
  1123      INSERT INTO t3 VALUES(-281474976710657);
  1124      INSERT INTO t3 VALUES(-281474976710658);
  1125      INSERT INTO t3 VALUES(562949953421310);
  1126      INSERT INTO t3 VALUES(562949953421311);
  1127      INSERT INTO t3 VALUES(562949953421312);
  1128      INSERT INTO t3 VALUES(562949953421313);
  1129      INSERT INTO t3 VALUES(562949953421314);
  1130      INSERT INTO t3 VALUES(-562949953421310);
  1131      INSERT INTO t3 VALUES(-562949953421311);
  1132      INSERT INTO t3 VALUES(-562949953421312);
  1133      INSERT INTO t3 VALUES(-562949953421313);
  1134      INSERT INTO t3 VALUES(-562949953421314);
  1135      INSERT INTO t3 VALUES(1125899906842622);
  1136      INSERT INTO t3 VALUES(1125899906842623);
  1137      INSERT INTO t3 VALUES(1125899906842624);
  1138      INSERT INTO t3 VALUES(1125899906842625);
  1139      INSERT INTO t3 VALUES(1125899906842626);
  1140      INSERT INTO t3 VALUES(-1125899906842622);
  1141      INSERT INTO t3 VALUES(-1125899906842623);
  1142      INSERT INTO t3 VALUES(-1125899906842624);
  1143      INSERT INTO t3 VALUES(-1125899906842625);
  1144      INSERT INTO t3 VALUES(-1125899906842626);
  1145      INSERT INTO t3 VALUES(2251799813685246);
  1146      INSERT INTO t3 VALUES(2251799813685247);
  1147      INSERT INTO t3 VALUES(2251799813685248);
  1148      INSERT INTO t3 VALUES(2251799813685249);
  1149      INSERT INTO t3 VALUES(2251799813685250);
  1150      INSERT INTO t3 VALUES(-2251799813685246);
  1151      INSERT INTO t3 VALUES(-2251799813685247);
  1152      INSERT INTO t3 VALUES(-2251799813685248);
  1153      INSERT INTO t3 VALUES(-2251799813685249);
  1154      INSERT INTO t3 VALUES(-2251799813685250);
  1155      INSERT INTO t3 VALUES(4503599627370494);
  1156      INSERT INTO t3 VALUES(4503599627370495);
  1157      INSERT INTO t3 VALUES(4503599627370496);
  1158      INSERT INTO t3 VALUES(4503599627370497);
  1159      INSERT INTO t3 VALUES(4503599627370498);
  1160      INSERT INTO t3 VALUES(-4503599627370494);
  1161      INSERT INTO t3 VALUES(-4503599627370495);
  1162      INSERT INTO t3 VALUES(-4503599627370496);
  1163      INSERT INTO t3 VALUES(-4503599627370497);
  1164      INSERT INTO t3 VALUES(-4503599627370498);
  1165      INSERT INTO t3 VALUES(9007199254740990);
  1166      INSERT INTO t3 VALUES(9007199254740991);
  1167      INSERT INTO t3 VALUES(9007199254740992);
  1168      INSERT INTO t3 VALUES(9007199254740993);
  1169      INSERT INTO t3 VALUES(9007199254740994);
  1170      INSERT INTO t3 VALUES(-9007199254740990);
  1171      INSERT INTO t3 VALUES(-9007199254740991);
  1172      INSERT INTO t3 VALUES(-9007199254740992);
  1173      INSERT INTO t3 VALUES(-9007199254740993);
  1174      INSERT INTO t3 VALUES(-9007199254740994);
  1175      INSERT INTO t3 VALUES(18014398509481982);
  1176      INSERT INTO t3 VALUES(18014398509481983);
  1177      INSERT INTO t3 VALUES(18014398509481984);
  1178      INSERT INTO t3 VALUES(18014398509481985);
  1179      INSERT INTO t3 VALUES(18014398509481986);
  1180      INSERT INTO t3 VALUES(-18014398509481982);
  1181      INSERT INTO t3 VALUES(-18014398509481983);
  1182      INSERT INTO t3 VALUES(-18014398509481984);
  1183      INSERT INTO t3 VALUES(-18014398509481985);
  1184      INSERT INTO t3 VALUES(-18014398509481986);
  1185      INSERT INTO t3 VALUES(36028797018963966);
  1186      INSERT INTO t3 VALUES(36028797018963967);
  1187      INSERT INTO t3 VALUES(36028797018963968);
  1188      INSERT INTO t3 VALUES(36028797018963969);
  1189      INSERT INTO t3 VALUES(36028797018963970);
  1190      INSERT INTO t3 VALUES(-36028797018963966);
  1191      INSERT INTO t3 VALUES(-36028797018963967);
  1192      INSERT INTO t3 VALUES(-36028797018963968);
  1193      INSERT INTO t3 VALUES(-36028797018963969);
  1194      INSERT INTO t3 VALUES(-36028797018963970);
  1195      INSERT INTO t3 VALUES(72057594037927934);
  1196      INSERT INTO t3 VALUES(72057594037927935);
  1197      INSERT INTO t3 VALUES(72057594037927936);
  1198      INSERT INTO t3 VALUES(72057594037927937);
  1199      INSERT INTO t3 VALUES(72057594037927938);
  1200      INSERT INTO t3 VALUES(-72057594037927934);
  1201      INSERT INTO t3 VALUES(-72057594037927935);
  1202      INSERT INTO t3 VALUES(-72057594037927936);
  1203      INSERT INTO t3 VALUES(-72057594037927937);
  1204      INSERT INTO t3 VALUES(-72057594037927938);
  1205      INSERT INTO t3 VALUES(144115188075855870);
  1206      INSERT INTO t3 VALUES(144115188075855871);
  1207      INSERT INTO t3 VALUES(144115188075855872);
  1208      INSERT INTO t3 VALUES(144115188075855873);
  1209      INSERT INTO t3 VALUES(144115188075855874);
  1210      INSERT INTO t3 VALUES(-144115188075855870);
  1211      INSERT INTO t3 VALUES(-144115188075855871);
  1212      INSERT INTO t3 VALUES(-144115188075855872);
  1213      INSERT INTO t3 VALUES(-144115188075855873);
  1214      INSERT INTO t3 VALUES(-144115188075855874);
  1215      INSERT INTO t3 VALUES(288230376151711742);
  1216      INSERT INTO t3 VALUES(288230376151711743);
  1217      INSERT INTO t3 VALUES(288230376151711744);
  1218      INSERT INTO t3 VALUES(288230376151711745);
  1219      INSERT INTO t3 VALUES(288230376151711746);
  1220      INSERT INTO t3 VALUES(-288230376151711742);
  1221      INSERT INTO t3 VALUES(-288230376151711743);
  1222      INSERT INTO t3 VALUES(-288230376151711744);
  1223      INSERT INTO t3 VALUES(-288230376151711745);
  1224      INSERT INTO t3 VALUES(-288230376151711746);
  1225      INSERT INTO t3 VALUES(576460752303423486);
  1226      INSERT INTO t3 VALUES(576460752303423487);
  1227      INSERT INTO t3 VALUES(576460752303423488);
  1228      INSERT INTO t3 VALUES(576460752303423489);
  1229      INSERT INTO t3 VALUES(576460752303423490);
  1230      INSERT INTO t3 VALUES(-576460752303423486);
  1231      INSERT INTO t3 VALUES(-576460752303423487);
  1232      INSERT INTO t3 VALUES(-576460752303423488);
  1233      INSERT INTO t3 VALUES(-576460752303423489);
  1234      INSERT INTO t3 VALUES(-576460752303423490);
  1235      INSERT INTO t3 VALUES(1152921504606846974);
  1236      INSERT INTO t3 VALUES(1152921504606846975);
  1237      INSERT INTO t3 VALUES(1152921504606846976);
  1238      INSERT INTO t3 VALUES(1152921504606846977);
  1239      INSERT INTO t3 VALUES(1152921504606846978);
  1240      INSERT INTO t3 VALUES(-1152921504606846974);
  1241      INSERT INTO t3 VALUES(-1152921504606846975);
  1242      INSERT INTO t3 VALUES(-1152921504606846976);
  1243      INSERT INTO t3 VALUES(-1152921504606846977);
  1244      INSERT INTO t3 VALUES(-1152921504606846978);
  1245      INSERT INTO t3 VALUES(2305843009213693950);
  1246      INSERT INTO t3 VALUES(2305843009213693951);
  1247      INSERT INTO t3 VALUES(2305843009213693952);
  1248      INSERT INTO t3 VALUES(2305843009213693953);
  1249      INSERT INTO t3 VALUES(2305843009213693954);
  1250      INSERT INTO t3 VALUES(-2305843009213693950);
  1251      INSERT INTO t3 VALUES(-2305843009213693951);
  1252      INSERT INTO t3 VALUES(-2305843009213693952);
  1253      INSERT INTO t3 VALUES(-2305843009213693953);
  1254      INSERT INTO t3 VALUES(-2305843009213693954);
  1255      INSERT INTO t3 VALUES(4611686018427387902);
  1256      INSERT INTO t3 VALUES(4611686018427387903);
  1257      INSERT INTO t3 VALUES(4611686018427387904);
  1258      INSERT INTO t3 VALUES(4611686018427387905);
  1259      INSERT INTO t3 VALUES(4611686018427387906);
  1260      INSERT INTO t3 VALUES(-4611686018427387902);
  1261      INSERT INTO t3 VALUES(-4611686018427387903);
  1262      INSERT INTO t3 VALUES(-4611686018427387904);
  1263      INSERT INTO t3 VALUES(-4611686018427387905);
  1264      INSERT INTO t3 VALUES(-4611686018427387906);
  1265      INSERT INTO t3 VALUES(9223372036854775806);
  1266      INSERT INTO t3 VALUES(9223372036854775807);
  1267      INSERT INTO t3 VALUES(-9223372036854775806);
  1268      INSERT INTO t3 VALUES(-9223372036854775807);
  1269      INSERT INTO t3 VALUES(-9223372036854775808);
  1270      SELECT x FROM t3 ORDER BY x;
  1271    }
  1272  } {-9223372036854775808\
  1273  -9223372036854775807\
  1274  -9223372036854775806\
  1275  -4611686018427387906\
  1276  -4611686018427387905\
  1277  -4611686018427387904\
  1278  -4611686018427387903\
  1279  -4611686018427387902\
  1280  -2305843009213693954\
  1281  -2305843009213693953\
  1282  -2305843009213693952\
  1283  -2305843009213693951\
  1284  -2305843009213693950\
  1285  -1152921504606846978\
  1286  -1152921504606846977\
  1287  -1152921504606846976\
  1288  -1152921504606846975\
  1289  -1152921504606846974\
  1290  -576460752303423490\
  1291  -576460752303423489\
  1292  -576460752303423488\
  1293  -576460752303423487\
  1294  -576460752303423486\
  1295  -288230376151711746\
  1296  -288230376151711745\
  1297  -288230376151711744\
  1298  -288230376151711743\
  1299  -288230376151711742\
  1300  -144115188075855874\
  1301  -144115188075855873\
  1302  -144115188075855872\
  1303  -144115188075855871\
  1304  -144115188075855870\
  1305  -72057594037927938\
  1306  -72057594037927937\
  1307  -72057594037927936\
  1308  -72057594037927935\
  1309  -72057594037927934\
  1310  -36028797018963970\
  1311  -36028797018963969\
  1312  -36028797018963968\
  1313  -36028797018963967\
  1314  -36028797018963966\
  1315  -18014398509481986\
  1316  -18014398509481985\
  1317  -18014398509481984\
  1318  -18014398509481983\
  1319  -18014398509481982\
  1320  -9007199254740994\
  1321  -9007199254740993\
  1322  -9007199254740992\
  1323  -9007199254740991\
  1324  -9007199254740990\
  1325  -4503599627370498\
  1326  -4503599627370497\
  1327  -4503599627370496\
  1328  -4503599627370495\
  1329  -4503599627370494\
  1330  -2251799813685250\
  1331  -2251799813685249\
  1332  -2251799813685248\
  1333  -2251799813685247\
  1334  -2251799813685246\
  1335  -1125899906842626\
  1336  -1125899906842625\
  1337  -1125899906842624\
  1338  -1125899906842623\
  1339  -1125899906842622\
  1340  -562949953421314\
  1341  -562949953421313\
  1342  -562949953421312\
  1343  -562949953421311\
  1344  -562949953421310\
  1345  -281474976710658\
  1346  -281474976710657\
  1347  -281474976710656\
  1348  -281474976710655\
  1349  -281474976710654\
  1350  -140737488355330\
  1351  -140737488355329\
  1352  -140737488355328\
  1353  -140737488355327\
  1354  -140737488355326\
  1355  -70368744177666\
  1356  -70368744177665\
  1357  -70368744177664\
  1358  -70368744177663\
  1359  -70368744177662\
  1360  -35184372088834\
  1361  -35184372088833\
  1362  -35184372088832\
  1363  -35184372088831\
  1364  -35184372088830\
  1365  -17592186044418\
  1366  -17592186044417\
  1367  -17592186044416\
  1368  -17592186044415\
  1369  -17592186044414\
  1370  -8796093022210\
  1371  -8796093022209\
  1372  -8796093022208\
  1373  -8796093022207\
  1374  -8796093022206\
  1375  -4398046511106\
  1376  -4398046511105\
  1377  -4398046511104\
  1378  -4398046511103\
  1379  -4398046511102\
  1380  -2199023255554\
  1381  -2199023255553\
  1382  -2199023255552\
  1383  -2199023255551\
  1384  -2199023255550\
  1385  -1099511627778\
  1386  -1099511627777\
  1387  -1099511627776\
  1388  -1099511627775\
  1389  -1099511627774\
  1390  -549755813890\
  1391  -549755813889\
  1392  -549755813888\
  1393  -549755813887\
  1394  -549755813886\
  1395  -274877906946\
  1396  -274877906945\
  1397  -274877906944\
  1398  -274877906943\
  1399  -274877906942\
  1400  -137438953474\
  1401  -137438953473\
  1402  -137438953472\
  1403  -137438953471\
  1404  -137438953470\
  1405  -68719476738\
  1406  -68719476737\
  1407  -68719476736\
  1408  -68719476735\
  1409  -68719476734\
  1410  -34359738370\
  1411  -34359738369\
  1412  -34359738368\
  1413  -34359738367\
  1414  -34359738366\
  1415  -17179869186\
  1416  -17179869185\
  1417  -17179869184\
  1418  -17179869183\
  1419  -17179869182\
  1420  -8589934594\
  1421  -8589934593\
  1422  -8589934592\
  1423  -8589934591\
  1424  -8589934590\
  1425  -4294967298\
  1426  -4294967297\
  1427  -4294967296\
  1428  -4294967295\
  1429  -4294967294\
  1430  -2147483650\
  1431  -2147483649\
  1432  -2147483648\
  1433  -2147483647\
  1434  -2147483646\
  1435  -1073741826\
  1436  -1073741825\
  1437  -1073741824\
  1438  -1073741823\
  1439  -1073741822\
  1440  -536870914\
  1441  -536870913\
  1442  -536870912\
  1443  -536870911\
  1444  -536870910\
  1445  -268435458\
  1446  -268435457\
  1447  -268435456\
  1448  -268435455\
  1449  -268435454\
  1450  -134217730\
  1451  -134217729\
  1452  -134217728\
  1453  -134217727\
  1454  -134217726\
  1455  -67108866\
  1456  -67108865\
  1457  -67108864\
  1458  -67108863\
  1459  -67108862\
  1460  -33554434\
  1461  -33554433\
  1462  -33554432\
  1463  -33554431\
  1464  -33554430\
  1465  -16777218\
  1466  -16777217\
  1467  -16777216\
  1468  -16777215\
  1469  -16777214\
  1470  -8388610\
  1471  -8388609\
  1472  -8388608\
  1473  -8388607\
  1474  -8388606\
  1475  -4194306\
  1476  -4194305\
  1477  -4194304\
  1478  -4194303\
  1479  -4194302\
  1480  -2097154\
  1481  -2097153\
  1482  -2097152\
  1483  -2097151\
  1484  -2097150\
  1485  -1048578\
  1486  -1048577\
  1487  -1048576\
  1488  -1048575\
  1489  -1048574\
  1490  -524290\
  1491  -524289\
  1492  -524288\
  1493  -524287\
  1494  -524286\
  1495  -262146\
  1496  -262145\
  1497  -262144\
  1498  -262143\
  1499  -262142\
  1500  -131074\
  1501  -131073\
  1502  -131072\
  1503  -131071\
  1504  -131070\
  1505  -65538\
  1506  -65537\
  1507  -65536\
  1508  -65535\
  1509  -65534\
  1510  -32770\
  1511  -32769\
  1512  -32768\
  1513  -32767\
  1514  -32766\
  1515  -16386\
  1516  -16385\
  1517  -16384\
  1518  -16383\
  1519  -16382\
  1520  -8194\
  1521  -8193\
  1522  -8192\
  1523  -8191\
  1524  -8190\
  1525  -4098\
  1526  -4097\
  1527  -4096\
  1528  -4095\
  1529  -4094\
  1530  -2050\
  1531  -2049\
  1532  -2048\
  1533  -2047\
  1534  -2046\
  1535  -1026\
  1536  -1025\
  1537  -1024\
  1538  -1023\
  1539  -1022\
  1540  -514\
  1541  -513\
  1542  -512\
  1543  -511\
  1544  -510\
  1545  -258\
  1546  -257\
  1547  -256\
  1548  -255\
  1549  -254\
  1550  -130\
  1551  -129\
  1552  -128\
  1553  -127\
  1554  -126\
  1555  -66\
  1556  -65\
  1557  -64\
  1558  -63\
  1559  -62\
  1560  -34\
  1561  -33\
  1562  -32\
  1563  -31\
  1564  -30\
  1565  -18\
  1566  -17\
  1567  -16\
  1568  -15\
  1569  -14\
  1570  -13\
  1571  -12\
  1572  -11\
  1573  -10\
  1574  -9\
  1575  -8\
  1576  -7\
  1577  -6\
  1578  -5\
  1579  -4\
  1580  -3\
  1581  -2\
  1582  -1\
  1583  0\
  1584  1\
  1585  2\
  1586  3\
  1587  4\
  1588  5\
  1589  6\
  1590  7\
  1591  8\
  1592  9\
  1593  10\
  1594  11\
  1595  12\
  1596  13\
  1597  14\
  1598  15\
  1599  16\
  1600  17\
  1601  18\
  1602  30\
  1603  31\
  1604  32\
  1605  33\
  1606  34\
  1607  62\
  1608  63\
  1609  64\
  1610  65\
  1611  66\
  1612  126\
  1613  127\
  1614  128\
  1615  129\
  1616  130\
  1617  254\
  1618  255\
  1619  256\
  1620  257\
  1621  258\
  1622  510\
  1623  511\
  1624  512\
  1625  513\
  1626  514\
  1627  1022\
  1628  1023\
  1629  1024\
  1630  1025\
  1631  1026\
  1632  2046\
  1633  2047\
  1634  2048\
  1635  2049\
  1636  2050\
  1637  4094\
  1638  4095\
  1639  4096\
  1640  4097\
  1641  4098\
  1642  8190\
  1643  8191\
  1644  8192\
  1645  8193\
  1646  8194\
  1647  16382\
  1648  16383\
  1649  16384\
  1650  16385\
  1651  16386\
  1652  32766\
  1653  32767\
  1654  32768\
  1655  32769\
  1656  32770\
  1657  65534\
  1658  65535\
  1659  65536\
  1660  65537\
  1661  65538\
  1662  131070\
  1663  131071\
  1664  131072\
  1665  131073\
  1666  131074\
  1667  262142\
  1668  262143\
  1669  262144\
  1670  262145\
  1671  262146\
  1672  524286\
  1673  524287\
  1674  524288\
  1675  524289\
  1676  524290\
  1677  1048574\
  1678  1048575\
  1679  1048576\
  1680  1048577\
  1681  1048578\
  1682  2097150\
  1683  2097151\
  1684  2097152\
  1685  2097153\
  1686  2097154\
  1687  4194302\
  1688  4194303\
  1689  4194304\
  1690  4194305\
  1691  4194306\
  1692  8388606\
  1693  8388607\
  1694  8388608\
  1695  8388609\
  1696  8388610\
  1697  16777214\
  1698  16777215\
  1699  16777216\
  1700  16777217\
  1701  16777218\
  1702  33554430\
  1703  33554431\
  1704  33554432\
  1705  33554433\
  1706  33554434\
  1707  67108862\
  1708  67108863\
  1709  67108864\
  1710  67108865\
  1711  67108866\
  1712  134217726\
  1713  134217727\
  1714  134217728\
  1715  134217729\
  1716  134217730\
  1717  268435454\
  1718  268435455\
  1719  268435456\
  1720  268435457\
  1721  268435458\
  1722  536870910\
  1723  536870911\
  1724  536870912\
  1725  536870913\
  1726  536870914\
  1727  1073741822\
  1728  1073741823\
  1729  1073741824\
  1730  1073741825\
  1731  1073741826\
  1732  2147483646\
  1733  2147483647\
  1734  2147483648\
  1735  2147483649\
  1736  2147483650\
  1737  4294967294\
  1738  4294967295\
  1739  4294967296\
  1740  4294967297\
  1741  4294967298\
  1742  8589934590\
  1743  8589934591\
  1744  8589934592\
  1745  8589934593\
  1746  8589934594\
  1747  17179869182\
  1748  17179869183\
  1749  17179869184\
  1750  17179869185\
  1751  17179869186\
  1752  34359738366\
  1753  34359738367\
  1754  34359738368\
  1755  34359738369\
  1756  34359738370\
  1757  68719476734\
  1758  68719476735\
  1759  68719476736\
  1760  68719476737\
  1761  68719476738\
  1762  137438953470\
  1763  137438953471\
  1764  137438953472\
  1765  137438953473\
  1766  137438953474\
  1767  274877906942\
  1768  274877906943\
  1769  274877906944\
  1770  274877906945\
  1771  274877906946\
  1772  549755813886\
  1773  549755813887\
  1774  549755813888\
  1775  549755813889\
  1776  549755813890\
  1777  1099511627774\
  1778  1099511627775\
  1779  1099511627776\
  1780  1099511627777\
  1781  1099511627778\
  1782  2199023255550\
  1783  2199023255551\
  1784  2199023255552\
  1785  2199023255553\
  1786  2199023255554\
  1787  4398046511102\
  1788  4398046511103\
  1789  4398046511104\
  1790  4398046511105\
  1791  4398046511106\
  1792  8796093022206\
  1793  8796093022207\
  1794  8796093022208\
  1795  8796093022209\
  1796  8796093022210\
  1797  17592186044414\
  1798  17592186044415\
  1799  17592186044416\
  1800  17592186044417\
  1801  17592186044418\
  1802  35184372088830\
  1803  35184372088831\
  1804  35184372088832\
  1805  35184372088833\
  1806  35184372088834\
  1807  70368744177662\
  1808  70368744177663\
  1809  70368744177664\
  1810  70368744177665\
  1811  70368744177666\
  1812  140737488355326\
  1813  140737488355327\
  1814  140737488355328\
  1815  140737488355329\
  1816  140737488355330\
  1817  281474976710654\
  1818  281474976710655\
  1819  281474976710656\
  1820  281474976710657\
  1821  281474976710658\
  1822  562949953421310\
  1823  562949953421311\
  1824  562949953421312\
  1825  562949953421313\
  1826  562949953421314\
  1827  1125899906842622\
  1828  1125899906842623\
  1829  1125899906842624\
  1830  1125899906842625\
  1831  1125899906842626\
  1832  2251799813685246\
  1833  2251799813685247\
  1834  2251799813685248\
  1835  2251799813685249\
  1836  2251799813685250\
  1837  4503599627370494\
  1838  4503599627370495\
  1839  4503599627370496\
  1840  4503599627370497\
  1841  4503599627370498\
  1842  9007199254740990\
  1843  9007199254740991\
  1844  9007199254740992\
  1845  9007199254740993\
  1846  9007199254740994\
  1847  18014398509481982\
  1848  18014398509481983\
  1849  18014398509481984\
  1850  18014398509481985\
  1851  18014398509481986\
  1852  36028797018963966\
  1853  36028797018963967\
  1854  36028797018963968\
  1855  36028797018963969\
  1856  36028797018963970\
  1857  72057594037927934\
  1858  72057594037927935\
  1859  72057594037927936\
  1860  72057594037927937\
  1861  72057594037927938\
  1862  144115188075855870\
  1863  144115188075855871\
  1864  144115188075855872\
  1865  144115188075855873\
  1866  144115188075855874\
  1867  288230376151711742\
  1868  288230376151711743\
  1869  288230376151711744\
  1870  288230376151711745\
  1871  288230376151711746\
  1872  576460752303423486\
  1873  576460752303423487\
  1874  576460752303423488\
  1875  576460752303423489\
  1876  576460752303423490\
  1877  1152921504606846974\
  1878  1152921504606846975\
  1879  1152921504606846976\
  1880  1152921504606846977\
  1881  1152921504606846978\
  1882  2305843009213693950\
  1883  2305843009213693951\
  1884  2305843009213693952\
  1885  2305843009213693953\
  1886  2305843009213693954\
  1887  4611686018427387902\
  1888  4611686018427387903\
  1889  4611686018427387904\
  1890  4611686018427387905\
  1891  4611686018427387906\
  1892  9223372036854775806\
  1893  9223372036854775807}
  1894  
  1895  finish_test