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