test/misc5.test

   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 the
 573 # stack is grown automatically such that the application calling
 574 # SQLite never notices.
 575 #
 576 do_test misc5-7.1.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 "0$tail); SELECT * FROM t1;"
 585   catchsql $sql
 586 } {0 200}
 587 do_test misc5-7.1.2 {
 588   execsql {DELETE FROM t1}
 589   set sql "INSERT INTO t1 VALUES("
 590   set tail ""
 591   for {set i 0} {$i<900} {incr i} {
 592     append sql "(1+"
 593     append tail ")"
 594   }
 595   append sql "0$tail); SELECT * FROM t1;"
 596   catchsql $sql
 597 } {0 900}
 598
 599
 600 # Parser stack overflow is silently ignored when it occurs while parsing the
 601 # schema and PRAGMA writable_schema is turned on.
 602 #
 603 do_test misc5-7.2 {
 604   sqlite3 db2 :memory:
 605   sqlite3_db_config db2 DEFENSIVE 0
 606   catchsql {
 607     CREATE TABLE t1(x UNIQUE);
 608     PRAGMA writable_schema=ON;
 609     UPDATE sqlite_master SET sql='CREATE table t(o CHECK(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((;VALUES(o)';
 610     BEGIN;
 611     CREATE TABLE t2(y);
 612     ROLLBACK;
 613     DROP TABLE IF EXISTS D;
 614   } db2
 615 } {0 {}}
 616 db2 close
 617
 618
 619 # Ticket #1911
 620 #
 621 ifcapable compound {
 622   do_test misc5-9.1 {
 623     execsql {
 624       SELECT name, type FROM sqlite_master WHERE name IS NULL
 625       UNION
 626       SELECT type, name FROM sqlite_master WHERE type IS NULL
 627       ORDER BY 1, 2, 1, 2, 1, 2
 628     }
 629   } {}
 630   do_test misc5-9.2 {
 631     execsql {
 632       SELECT name, type FROM sqlite_master WHERE name IS NULL
 633       UNION
 634       SELECT type, name FROM sqlite_master WHERE type IS NULL
 635       ORDER BY 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2
 636     }
 637   } {}
 638 }
 639
 640 # Ticket #1912.  Make the tokenizer require a space after a numeric
 641 # literal.
 642 #
 643 do_test misc5-10.1 {
 644   catchsql {
 645     SELECT 123abc
 646   }
 647 } {1 {unrecognized token: "123abc"}}
 648 do_test misc5-10.2 {
 649   catchsql {
 650     SELECT 1*123.4e5ghi;
 651   }
 652 } {1 {unrecognized token: "123.4e5ghi"}}
 653
 654
 655 # Additional integer encoding tests.
 656 #
 657 do_test misc5-11.1 {
 658   db eval {
 659     CREATE TABLE t3(x);
 660     INSERT INTO t3 VALUES(-18);
 661     INSERT INTO t3 VALUES(-17);
 662     INSERT INTO t3 VALUES(-16);
 663     INSERT INTO t3 VALUES(-15);
 664     INSERT INTO t3 VALUES(-14);
 665     INSERT INTO t3 VALUES(-13);
 666     INSERT INTO t3 VALUES(-12);
 667     INSERT INTO t3 VALUES(-11);
 668     INSERT INTO t3 VALUES(-10);
 669     INSERT INTO t3 VALUES(-9);
 670     INSERT INTO t3 VALUES(-8);
 671     INSERT INTO t3 VALUES(-7);
 672     INSERT INTO t3 VALUES(-6);
 673     INSERT INTO t3 VALUES(-5);
 674     INSERT INTO t3 VALUES(-4);
 675     INSERT INTO t3 VALUES(-3);
 676     INSERT INTO t3 VALUES(-2);
 677     INSERT INTO t3 VALUES(-1);
 678     INSERT INTO t3 VALUES(0);
 679     INSERT INTO t3 VALUES(1);
 680     INSERT INTO t3 VALUES(2);
 681     INSERT INTO t3 VALUES(3);
 682     INSERT INTO t3 VALUES(4);
 683     INSERT INTO t3 VALUES(5);
 684     INSERT INTO t3 VALUES(6);
 685     INSERT INTO t3 VALUES(7);
 686     INSERT INTO t3 VALUES(8);
 687     INSERT INTO t3 VALUES(9);
 688     INSERT INTO t3 VALUES(10);
 689     INSERT INTO t3 VALUES(11);
 690     INSERT INTO t3 VALUES(12);
 691     INSERT INTO t3 VALUES(13);
 692     INSERT INTO t3 VALUES(14);
 693     INSERT INTO t3 VALUES(15);
 694     INSERT INTO t3 VALUES(16);
 695     INSERT INTO t3 VALUES(17);
 696     INSERT INTO t3 VALUES(18);
 697     INSERT INTO t3 VALUES(30);
 698     INSERT INTO t3 VALUES(31);
 699     INSERT INTO t3 VALUES(32);
 700     INSERT INTO t3 VALUES(33);
 701     INSERT INTO t3 VALUES(34);
 702     INSERT INTO t3 VALUES(-30);
 703     INSERT INTO t3 VALUES(-31);
 704     INSERT INTO t3 VALUES(-32);
 705     INSERT INTO t3 VALUES(-33);
 706     INSERT INTO t3 VALUES(-34);
 707     INSERT INTO t3 VALUES(62);
 708     INSERT INTO t3 VALUES(63);
 709     INSERT INTO t3 VALUES(64);
 710     INSERT INTO t3 VALUES(65);
 711     INSERT INTO t3 VALUES(66);
 712     INSERT INTO t3 VALUES(-62);
 713     INSERT INTO t3 VALUES(-63);
 714     INSERT INTO t3 VALUES(-64);
 715     INSERT INTO t3 VALUES(-65);
 716     INSERT INTO t3 VALUES(-66);
 717     INSERT INTO t3 VALUES(126);
 718     INSERT INTO t3 VALUES(127);
 719     INSERT INTO t3 VALUES(128);
 720     INSERT INTO t3 VALUES(129);
 721     INSERT INTO t3 VALUES(130);
 722     INSERT INTO t3 VALUES(-126);
 723     INSERT INTO t3 VALUES(-127);
 724     INSERT INTO t3 VALUES(-128);
 725     INSERT INTO t3 VALUES(-129);
 726     INSERT INTO t3 VALUES(-130);
 727     INSERT INTO t3 VALUES(254);
 728     INSERT INTO t3 VALUES(255);
 729     INSERT INTO t3 VALUES(256);
 730     INSERT INTO t3 VALUES(257);
 731     INSERT INTO t3 VALUES(258);
 732     INSERT INTO t3 VALUES(-254);
 733     INSERT INTO t3 VALUES(-255);
 734     INSERT INTO t3 VALUES(-256);
 735     INSERT INTO t3 VALUES(-257);
 736     INSERT INTO t3 VALUES(-258);
 737     INSERT INTO t3 VALUES(510);
 738     INSERT INTO t3 VALUES(511);
 739     INSERT INTO t3 VALUES(512);
 740     INSERT INTO t3 VALUES(513);
 741     INSERT INTO t3 VALUES(514);
 742     INSERT INTO t3 VALUES(-510);
 743     INSERT INTO t3 VALUES(-511);
 744     INSERT INTO t3 VALUES(-512);
 745     INSERT INTO t3 VALUES(-513);
 746     INSERT INTO t3 VALUES(-514);
 747     INSERT INTO t3 VALUES(1022);
 748     INSERT INTO t3 VALUES(1023);
 749     INSERT INTO t3 VALUES(1024);
 750     INSERT INTO t3 VALUES(1025);
 751     INSERT INTO t3 VALUES(1026);
 752     INSERT INTO t3 VALUES(-1022);
 753     INSERT INTO t3 VALUES(-1023);
 754     INSERT INTO t3 VALUES(-1024);
 755     INSERT INTO t3 VALUES(-1025);
 756     INSERT INTO t3 VALUES(-1026);
 757     INSERT INTO t3 VALUES(2046);
 758     INSERT INTO t3 VALUES(2047);
 759     INSERT INTO t3 VALUES(2048);
 760     INSERT INTO t3 VALUES(2049);
 761     INSERT INTO t3 VALUES(2050);
 762     INSERT INTO t3 VALUES(-2046);
 763     INSERT INTO t3 VALUES(-2047);
 764     INSERT INTO t3 VALUES(-2048);
 765     INSERT INTO t3 VALUES(-2049);
 766     INSERT INTO t3 VALUES(-2050);
 767     INSERT INTO t3 VALUES(4094);
 768     INSERT INTO t3 VALUES(4095);
 769     INSERT INTO t3 VALUES(4096);
 770     INSERT INTO t3 VALUES(4097);
 771     INSERT INTO t3 VALUES(4098);
 772     INSERT INTO t3 VALUES(-4094);
 773     INSERT INTO t3 VALUES(-4095);
 774     INSERT INTO t3 VALUES(-4096);
 775     INSERT INTO t3 VALUES(-4097);
 776     INSERT INTO t3 VALUES(-4098);
 777     INSERT INTO t3 VALUES(8190);
 778     INSERT INTO t3 VALUES(8191);
 779     INSERT INTO t3 VALUES(8192);
 780     INSERT INTO t3 VALUES(8193);
 781     INSERT INTO t3 VALUES(8194);
 782     INSERT INTO t3 VALUES(-8190);
 783     INSERT INTO t3 VALUES(-8191);
 784     INSERT INTO t3 VALUES(-8192);
 785     INSERT INTO t3 VALUES(-8193);
 786     INSERT INTO t3 VALUES(-8194);
 787     INSERT INTO t3 VALUES(16382);
 788     INSERT INTO t3 VALUES(16383);
 789     INSERT INTO t3 VALUES(16384);
 790     INSERT INTO t3 VALUES(16385);
 791     INSERT INTO t3 VALUES(16386);
 792     INSERT INTO t3 VALUES(-16382);
 793     INSERT INTO t3 VALUES(-16383);
 794     INSERT INTO t3 VALUES(-16384);
 795     INSERT INTO t3 VALUES(-16385);
 796     INSERT INTO t3 VALUES(-16386);
 797     INSERT INTO t3 VALUES(32766);
 798     INSERT INTO t3 VALUES(32767);
 799     INSERT INTO t3 VALUES(32768);
 800     INSERT INTO t3 VALUES(32769);
 801     INSERT INTO t3 VALUES(32770);
 802     INSERT INTO t3 VALUES(-32766);
 803     INSERT INTO t3 VALUES(-32767);
 804     INSERT INTO t3 VALUES(-32768);
 805     INSERT INTO t3 VALUES(-32769);
 806     INSERT INTO t3 VALUES(-32770);
 807     INSERT INTO t3 VALUES(65534);
 808     INSERT INTO t3 VALUES(65535);
 809     INSERT INTO t3 VALUES(65536);
 810     INSERT INTO t3 VALUES(65537);
 811     INSERT INTO t3 VALUES(65538);
 812     INSERT INTO t3 VALUES(-65534);
 813     INSERT INTO t3 VALUES(-65535);
 814     INSERT INTO t3 VALUES(-65536);
 815     INSERT INTO t3 VALUES(-65537);
 816     INSERT INTO t3 VALUES(-65538);
 817     INSERT INTO t3 VALUES(131070);
 818     INSERT INTO t3 VALUES(131071);
 819     INSERT INTO t3 VALUES(131072);
 820     INSERT INTO t3 VALUES(131073);
 821     INSERT INTO t3 VALUES(131074);
 822     INSERT INTO t3 VALUES(-131070);
 823     INSERT INTO t3 VALUES(-131071);
 824     INSERT INTO t3 VALUES(-131072);
 825     INSERT INTO t3 VALUES(-131073);
 826     INSERT INTO t3 VALUES(-131074);
 827     INSERT INTO t3 VALUES(262142);
 828     INSERT INTO t3 VALUES(262143);
 829     INSERT INTO t3 VALUES(262144);
 830     INSERT INTO t3 VALUES(262145);
 831     INSERT INTO t3 VALUES(262146);
 832     INSERT INTO t3 VALUES(-262142);
 833     INSERT INTO t3 VALUES(-262143);
 834     INSERT INTO t3 VALUES(-262144);
 835     INSERT INTO t3 VALUES(-262145);
 836     INSERT INTO t3 VALUES(-262146);
 837     INSERT INTO t3 VALUES(524286);
 838     INSERT INTO t3 VALUES(524287);
 839     INSERT INTO t3 VALUES(524288);
 840     INSERT INTO t3 VALUES(524289);
 841     INSERT INTO t3 VALUES(524290);
 842     INSERT INTO t3 VALUES(-524286);
 843     INSERT INTO t3 VALUES(-524287);
 844     INSERT INTO t3 VALUES(-524288);
 845     INSERT INTO t3 VALUES(-524289);
 846     INSERT INTO t3 VALUES(-524290);
 847     INSERT INTO t3 VALUES(1048574);
 848     INSERT INTO t3 VALUES(1048575);
 849     INSERT INTO t3 VALUES(1048576);
 850     INSERT INTO t3 VALUES(1048577);
 851     INSERT INTO t3 VALUES(1048578);
 852     INSERT INTO t3 VALUES(-1048574);
 853     INSERT INTO t3 VALUES(-1048575);
 854     INSERT INTO t3 VALUES(-1048576);
 855     INSERT INTO t3 VALUES(-1048577);
 856     INSERT INTO t3 VALUES(-1048578);
 857     INSERT INTO t3 VALUES(2097150);
 858     INSERT INTO t3 VALUES(2097151);
 859     INSERT INTO t3 VALUES(2097152);
 860     INSERT INTO t3 VALUES(2097153);
 861     INSERT INTO t3 VALUES(2097154);
 862     INSERT INTO t3 VALUES(-2097150);
 863     INSERT INTO t3 VALUES(-2097151);
 864     INSERT INTO t3 VALUES(-2097152);
 865     INSERT INTO t3 VALUES(-2097153);
 866     INSERT INTO t3 VALUES(-2097154);
 867     INSERT INTO t3 VALUES(4194302);
 868     INSERT INTO t3 VALUES(4194303);
 869     INSERT INTO t3 VALUES(4194304);
 870     INSERT INTO t3 VALUES(4194305);
 871     INSERT INTO t3 VALUES(4194306);
 872     INSERT INTO t3 VALUES(-4194302);
 873     INSERT INTO t3 VALUES(-4194303);
 874     INSERT INTO t3 VALUES(-4194304);
 875     INSERT INTO t3 VALUES(-4194305);
 876     INSERT INTO t3 VALUES(-4194306);
 877     INSERT INTO t3 VALUES(8388606);
 878     INSERT INTO t3 VALUES(8388607);
 879     INSERT INTO t3 VALUES(8388608);
 880     INSERT INTO t3 VALUES(8388609);
 881     INSERT INTO t3 VALUES(8388610);
 882     INSERT INTO t3 VALUES(-8388606);
 883     INSERT INTO t3 VALUES(-8388607);
 884     INSERT INTO t3 VALUES(-8388608);
 885     INSERT INTO t3 VALUES(-8388609);
 886     INSERT INTO t3 VALUES(-8388610);
 887     INSERT INTO t3 VALUES(16777214);
 888     INSERT INTO t3 VALUES(16777215);
 889     INSERT INTO t3 VALUES(16777216);
 890     INSERT INTO t3 VALUES(16777217);
 891     INSERT INTO t3 VALUES(16777218);
 892     INSERT INTO t3 VALUES(-16777214);
 893     INSERT INTO t3 VALUES(-16777215);
 894     INSERT INTO t3 VALUES(-16777216);
 895     INSERT INTO t3 VALUES(-16777217);
 896     INSERT INTO t3 VALUES(-16777218);
 897     INSERT INTO t3 VALUES(33554430);
 898     INSERT INTO t3 VALUES(33554431);
 899     INSERT INTO t3 VALUES(33554432);
 900     INSERT INTO t3 VALUES(33554433);
 901     INSERT INTO t3 VALUES(33554434);
 902     INSERT INTO t3 VALUES(-33554430);
 903     INSERT INTO t3 VALUES(-33554431);
 904     INSERT INTO t3 VALUES(-33554432);
 905     INSERT INTO t3 VALUES(-33554433);
 906     INSERT INTO t3 VALUES(-33554434);
 907     INSERT INTO t3 VALUES(67108862);
 908     INSERT INTO t3 VALUES(67108863);
 909     INSERT INTO t3 VALUES(67108864);
 910     INSERT INTO t3 VALUES(67108865);
 911     INSERT INTO t3 VALUES(67108866);
 912     INSERT INTO t3 VALUES(-67108862);
 913     INSERT INTO t3 VALUES(-67108863);
 914     INSERT INTO t3 VALUES(-67108864);
 915     INSERT INTO t3 VALUES(-67108865);
 916     INSERT INTO t3 VALUES(-67108866);
 917     INSERT INTO t3 VALUES(134217726);
 918     INSERT INTO t3 VALUES(134217727);
 919     INSERT INTO t3 VALUES(134217728);
 920     INSERT INTO t3 VALUES(134217729);
 921     INSERT INTO t3 VALUES(134217730);
 922     INSERT INTO t3 VALUES(-134217726);
 923     INSERT INTO t3 VALUES(-134217727);
 924     INSERT INTO t3 VALUES(-134217728);
 925     INSERT INTO t3 VALUES(-134217729);
 926     INSERT INTO t3 VALUES(-134217730);
 927     INSERT INTO t3 VALUES(268435454);
 928     INSERT INTO t3 VALUES(268435455);
 929     INSERT INTO t3 VALUES(268435456);
 930     INSERT INTO t3 VALUES(268435457);
 931     INSERT INTO t3 VALUES(268435458);
 932     INSERT INTO t3 VALUES(-268435454);
 933     INSERT INTO t3 VALUES(-268435455);
 934     INSERT INTO t3 VALUES(-268435456);
 935     INSERT INTO t3 VALUES(-268435457);
 936     INSERT INTO t3 VALUES(-268435458);
 937     INSERT INTO t3 VALUES(536870910);
 938     INSERT INTO t3 VALUES(536870911);
 939     INSERT INTO t3 VALUES(536870912);
 940     INSERT INTO t3 VALUES(536870913);
 941     INSERT INTO t3 VALUES(536870914);
 942     INSERT INTO t3 VALUES(-536870910);
 943     INSERT INTO t3 VALUES(-536870911);
 944     INSERT INTO t3 VALUES(-536870912);
 945     INSERT INTO t3 VALUES(-536870913);
 946     INSERT INTO t3 VALUES(-536870914);
 947     INSERT INTO t3 VALUES(1073741822);
 948     INSERT INTO t3 VALUES(1073741823);
 949     INSERT INTO t3 VALUES(1073741824);
 950     INSERT INTO t3 VALUES(1073741825);
 951     INSERT INTO t3 VALUES(1073741826);
 952     INSERT INTO t3 VALUES(-1073741822);
 953     INSERT INTO t3 VALUES(-1073741823);
 954     INSERT INTO t3 VALUES(-1073741824);
 955     INSERT INTO t3 VALUES(-1073741825);
 956     INSERT INTO t3 VALUES(-1073741826);
 957     INSERT INTO t3 VALUES(2147483646);
 958     INSERT INTO t3 VALUES(2147483647);
 959     INSERT INTO t3 VALUES(2147483648);
 960     INSERT INTO t3 VALUES(2147483649);
 961     INSERT INTO t3 VALUES(2147483650);
 962     INSERT INTO t3 VALUES(-2147483646);
 963     INSERT INTO t3 VALUES(-2147483647);
 964     INSERT INTO t3 VALUES(-2147483648);
 965     INSERT INTO t3 VALUES(-2147483649);
 966     INSERT INTO t3 VALUES(-2147483650);
 967     INSERT INTO t3 VALUES(4294967294);
 968     INSERT INTO t3 VALUES(4294967295);
 969     INSERT INTO t3 VALUES(4294967296);
 970     INSERT INTO t3 VALUES(4294967297);
 971     INSERT INTO t3 VALUES(4294967298);
 972     INSERT INTO t3 VALUES(-4294967294);
 973     INSERT INTO t3 VALUES(-4294967295);
 974     INSERT INTO t3 VALUES(-4294967296);
 975     INSERT INTO t3 VALUES(-4294967297);
 976     INSERT INTO t3 VALUES(-4294967298);
 977     INSERT INTO t3 VALUES(8589934590);
 978     INSERT INTO t3 VALUES(8589934591);
 979     INSERT INTO t3 VALUES(8589934592);
 980     INSERT INTO t3 VALUES(8589934593);
 981     INSERT INTO t3 VALUES(8589934594);
 982     INSERT INTO t3 VALUES(-8589934590);
 983     INSERT INTO t3 VALUES(-8589934591);
 984     INSERT INTO t3 VALUES(-8589934592);
 985     INSERT INTO t3 VALUES(-8589934593);
 986     INSERT INTO t3 VALUES(-8589934594);
 987     INSERT INTO t3 VALUES(17179869182);
 988     INSERT INTO t3 VALUES(17179869183);
 989     INSERT INTO t3 VALUES(17179869184);
 990     INSERT INTO t3 VALUES(17179869185);
 991     INSERT INTO t3 VALUES(17179869186);
 992     INSERT INTO t3 VALUES(-17179869182);
 993     INSERT INTO t3 VALUES(-17179869183);
 994     INSERT INTO t3 VALUES(-17179869184);
 995     INSERT INTO t3 VALUES(-17179869185);
 996     INSERT INTO t3 VALUES(-17179869186);
 997     INSERT INTO t3 VALUES(34359738366);
 998     INSERT INTO t3 VALUES(34359738367);
 999     INSERT INTO t3 VALUES(34359738368);
1000     INSERT INTO t3 VALUES(34359738369);
1001     INSERT INTO t3 VALUES(34359738370);
1002     INSERT INTO t3 VALUES(-34359738366);
1003     INSERT INTO t3 VALUES(-34359738367);
1004     INSERT INTO t3 VALUES(-34359738368);
1005     INSERT INTO t3 VALUES(-34359738369);
1006     INSERT INTO t3 VALUES(-34359738370);
1007     INSERT INTO t3 VALUES(68719476734);
1008     INSERT INTO t3 VALUES(68719476735);
1009     INSERT INTO t3 VALUES(68719476736);
1010     INSERT INTO t3 VALUES(68719476737);
1011     INSERT INTO t3 VALUES(68719476738);
1012     INSERT INTO t3 VALUES(-68719476734);
1013     INSERT INTO t3 VALUES(-68719476735);
1014     INSERT INTO t3 VALUES(-68719476736);
1015     INSERT INTO t3 VALUES(-68719476737);
1016     INSERT INTO t3 VALUES(-68719476738);
1017     INSERT INTO t3 VALUES(137438953470);
1018     INSERT INTO t3 VALUES(137438953471);
1019     INSERT INTO t3 VALUES(137438953472);
1020     INSERT INTO t3 VALUES(137438953473);
1021     INSERT INTO t3 VALUES(137438953474);
1022     INSERT INTO t3 VALUES(-137438953470);
1023     INSERT INTO t3 VALUES(-137438953471);
1024     INSERT INTO t3 VALUES(-137438953472);
1025     INSERT INTO t3 VALUES(-137438953473);
1026     INSERT INTO t3 VALUES(-137438953474);
1027     INSERT INTO t3 VALUES(274877906942);
1028     INSERT INTO t3 VALUES(274877906943);
1029     INSERT INTO t3 VALUES(274877906944);
1030     INSERT INTO t3 VALUES(274877906945);
1031     INSERT INTO t3 VALUES(274877906946);
1032     INSERT INTO t3 VALUES(-274877906942);
1033     INSERT INTO t3 VALUES(-274877906943);
1034     INSERT INTO t3 VALUES(-274877906944);
1035     INSERT INTO t3 VALUES(-274877906945);
1036     INSERT INTO t3 VALUES(-274877906946);
1037     INSERT INTO t3 VALUES(549755813886);
1038     INSERT INTO t3 VALUES(549755813887);
1039     INSERT INTO t3 VALUES(549755813888);
1040     INSERT INTO t3 VALUES(549755813889);
1041     INSERT INTO t3 VALUES(549755813890);
1042     INSERT INTO t3 VALUES(-549755813886);
1043     INSERT INTO t3 VALUES(-549755813887);
1044     INSERT INTO t3 VALUES(-549755813888);
1045     INSERT INTO t3 VALUES(-549755813889);
1046     INSERT INTO t3 VALUES(-549755813890);
1047     INSERT INTO t3 VALUES(1099511627774);
1048     INSERT INTO t3 VALUES(1099511627775);
1049     INSERT INTO t3 VALUES(1099511627776);
1050     INSERT INTO t3 VALUES(1099511627777);
1051     INSERT INTO t3 VALUES(1099511627778);
1052     INSERT INTO t3 VALUES(-1099511627774);
1053     INSERT INTO t3 VALUES(-1099511627775);
1054     INSERT INTO t3 VALUES(-1099511627776);
1055     INSERT INTO t3 VALUES(-1099511627777);
1056     INSERT INTO t3 VALUES(-1099511627778);
1057     INSERT INTO t3 VALUES(2199023255550);
1058     INSERT INTO t3 VALUES(2199023255551);
1059     INSERT INTO t3 VALUES(2199023255552);
1060     INSERT INTO t3 VALUES(2199023255553);
1061     INSERT INTO t3 VALUES(2199023255554);
1062     INSERT INTO t3 VALUES(-2199023255550);
1063     INSERT INTO t3 VALUES(-2199023255551);
1064     INSERT INTO t3 VALUES(-2199023255552);
1065     INSERT INTO t3 VALUES(-2199023255553);
1066     INSERT INTO t3 VALUES(-2199023255554);
1067     INSERT INTO t3 VALUES(4398046511102);
1068     INSERT INTO t3 VALUES(4398046511103);
1069     INSERT INTO t3 VALUES(4398046511104);
1070     INSERT INTO t3 VALUES(4398046511105);
1071     INSERT INTO t3 VALUES(4398046511106);
1072     INSERT INTO t3 VALUES(-4398046511102);
1073     INSERT INTO t3 VALUES(-4398046511103);
1074     INSERT INTO t3 VALUES(-4398046511104);
1075     INSERT INTO t3 VALUES(-4398046511105);
1076     INSERT INTO t3 VALUES(-4398046511106);
1077     INSERT INTO t3 VALUES(8796093022206);
1078     INSERT INTO t3 VALUES(8796093022207);
1079     INSERT INTO t3 VALUES(8796093022208);
1080     INSERT INTO t3 VALUES(8796093022209);
1081     INSERT INTO t3 VALUES(8796093022210);
1082     INSERT INTO t3 VALUES(-8796093022206);
1083     INSERT INTO t3 VALUES(-8796093022207);
1084     INSERT INTO t3 VALUES(-8796093022208);
1085     INSERT INTO t3 VALUES(-8796093022209);
1086     INSERT INTO t3 VALUES(-8796093022210);
1087     INSERT INTO t3 VALUES(17592186044414);
1088     INSERT INTO t3 VALUES(17592186044415);
1089     INSERT INTO t3 VALUES(17592186044416);
1090     INSERT INTO t3 VALUES(17592186044417);
1091     INSERT INTO t3 VALUES(17592186044418);
1092     INSERT INTO t3 VALUES(-17592186044414);
1093     INSERT INTO t3 VALUES(-17592186044415);
1094     INSERT INTO t3 VALUES(-17592186044416);
1095     INSERT INTO t3 VALUES(-17592186044417);
1096     INSERT INTO t3 VALUES(-17592186044418);
1097     INSERT INTO t3 VALUES(35184372088830);
1098     INSERT INTO t3 VALUES(35184372088831);
1099     INSERT INTO t3 VALUES(35184372088832);
1100     INSERT INTO t3 VALUES(35184372088833);
1101     INSERT INTO t3 VALUES(35184372088834);
1102     INSERT INTO t3 VALUES(-35184372088830);
1103     INSERT INTO t3 VALUES(-35184372088831);
1104     INSERT INTO t3 VALUES(-35184372088832);
1105     INSERT INTO t3 VALUES(-35184372088833);
1106     INSERT INTO t3 VALUES(-35184372088834);
1107     INSERT INTO t3 VALUES(70368744177662);
1108     INSERT INTO t3 VALUES(70368744177663);
1109     INSERT INTO t3 VALUES(70368744177664);
1110     INSERT INTO t3 VALUES(70368744177665);
1111     INSERT INTO t3 VALUES(70368744177666);
1112     INSERT INTO t3 VALUES(-70368744177662);
1113     INSERT INTO t3 VALUES(-70368744177663);
1114     INSERT INTO t3 VALUES(-70368744177664);
1115     INSERT INTO t3 VALUES(-70368744177665);
1116     INSERT INTO t3 VALUES(-70368744177666);
1117     INSERT INTO t3 VALUES(140737488355326);
1118     INSERT INTO t3 VALUES(140737488355327);
1119     INSERT INTO t3 VALUES(140737488355328);
1120     INSERT INTO t3 VALUES(140737488355329);
1121     INSERT INTO t3 VALUES(140737488355330);
1122     INSERT INTO t3 VALUES(-140737488355326);
1123     INSERT INTO t3 VALUES(-140737488355327);
1124     INSERT INTO t3 VALUES(-140737488355328);
1125     INSERT INTO t3 VALUES(-140737488355329);
1126     INSERT INTO t3 VALUES(-140737488355330);
1127     INSERT INTO t3 VALUES(281474976710654);
1128     INSERT INTO t3 VALUES(281474976710655);
1129     INSERT INTO t3 VALUES(281474976710656);
1130     INSERT INTO t3 VALUES(281474976710657);
1131     INSERT INTO t3 VALUES(281474976710658);
1132     INSERT INTO t3 VALUES(-281474976710654);
1133     INSERT INTO t3 VALUES(-281474976710655);
1134     INSERT INTO t3 VALUES(-281474976710656);
1135     INSERT INTO t3 VALUES(-281474976710657);
1136     INSERT INTO t3 VALUES(-281474976710658);
1137     INSERT INTO t3 VALUES(562949953421310);
1138     INSERT INTO t3 VALUES(562949953421311);
1139     INSERT INTO t3 VALUES(562949953421312);
1140     INSERT INTO t3 VALUES(562949953421313);
1141     INSERT INTO t3 VALUES(562949953421314);
1142     INSERT INTO t3 VALUES(-562949953421310);
1143     INSERT INTO t3 VALUES(-562949953421311);
1144     INSERT INTO t3 VALUES(-562949953421312);
1145     INSERT INTO t3 VALUES(-562949953421313);
1146     INSERT INTO t3 VALUES(-562949953421314);
1147     INSERT INTO t3 VALUES(1125899906842622);
1148     INSERT INTO t3 VALUES(1125899906842623);
1149     INSERT INTO t3 VALUES(1125899906842624);
1150     INSERT INTO t3 VALUES(1125899906842625);
1151     INSERT INTO t3 VALUES(1125899906842626);
1152     INSERT INTO t3 VALUES(-1125899906842622);
1153     INSERT INTO t3 VALUES(-1125899906842623);
1154     INSERT INTO t3 VALUES(-1125899906842624);
1155     INSERT INTO t3 VALUES(-1125899906842625);
1156     INSERT INTO t3 VALUES(-1125899906842626);
1157     INSERT INTO t3 VALUES(2251799813685246);
1158     INSERT INTO t3 VALUES(2251799813685247);
1159     INSERT INTO t3 VALUES(2251799813685248);
1160     INSERT INTO t3 VALUES(2251799813685249);
1161     INSERT INTO t3 VALUES(2251799813685250);
1162     INSERT INTO t3 VALUES(-2251799813685246);
1163     INSERT INTO t3 VALUES(-2251799813685247);
1164     INSERT INTO t3 VALUES(-2251799813685248);
1165     INSERT INTO t3 VALUES(-2251799813685249);
1166     INSERT INTO t3 VALUES(-2251799813685250);
1167     INSERT INTO t3 VALUES(4503599627370494);
1168     INSERT INTO t3 VALUES(4503599627370495);
1169     INSERT INTO t3 VALUES(4503599627370496);
1170     INSERT INTO t3 VALUES(4503599627370497);
1171     INSERT INTO t3 VALUES(4503599627370498);
1172     INSERT INTO t3 VALUES(-4503599627370494);
1173     INSERT INTO t3 VALUES(-4503599627370495);
1174     INSERT INTO t3 VALUES(-4503599627370496);
1175     INSERT INTO t3 VALUES(-4503599627370497);
1176     INSERT INTO t3 VALUES(-4503599627370498);
1177     INSERT INTO t3 VALUES(9007199254740990);
1178     INSERT INTO t3 VALUES(9007199254740991);
1179     INSERT INTO t3 VALUES(9007199254740992);
1180     INSERT INTO t3 VALUES(9007199254740993);
1181     INSERT INTO t3 VALUES(9007199254740994);
1182     INSERT INTO t3 VALUES(-9007199254740990);
1183     INSERT INTO t3 VALUES(-9007199254740991);
1184     INSERT INTO t3 VALUES(-9007199254740992);
1185     INSERT INTO t3 VALUES(-9007199254740993);
1186     INSERT INTO t3 VALUES(-9007199254740994);
1187     INSERT INTO t3 VALUES(18014398509481982);
1188     INSERT INTO t3 VALUES(18014398509481983);
1189     INSERT INTO t3 VALUES(18014398509481984);
1190     INSERT INTO t3 VALUES(18014398509481985);
1191     INSERT INTO t3 VALUES(18014398509481986);
1192     INSERT INTO t3 VALUES(-18014398509481982);
1193     INSERT INTO t3 VALUES(-18014398509481983);
1194     INSERT INTO t3 VALUES(-18014398509481984);
1195     INSERT INTO t3 VALUES(-18014398509481985);
1196     INSERT INTO t3 VALUES(-18014398509481986);
1197     INSERT INTO t3 VALUES(36028797018963966);
1198     INSERT INTO t3 VALUES(36028797018963967);
1199     INSERT INTO t3 VALUES(36028797018963968);
1200     INSERT INTO t3 VALUES(36028797018963969);
1201     INSERT INTO t3 VALUES(36028797018963970);
1202     INSERT INTO t3 VALUES(-36028797018963966);
1203     INSERT INTO t3 VALUES(-36028797018963967);
1204     INSERT INTO t3 VALUES(-36028797018963968);
1205     INSERT INTO t3 VALUES(-36028797018963969);
1206     INSERT INTO t3 VALUES(-36028797018963970);
1207     INSERT INTO t3 VALUES(72057594037927934);
1208     INSERT INTO t3 VALUES(72057594037927935);
1209     INSERT INTO t3 VALUES(72057594037927936);
1210     INSERT INTO t3 VALUES(72057594037927937);
1211     INSERT INTO t3 VALUES(72057594037927938);
1212     INSERT INTO t3 VALUES(-72057594037927934);
1213     INSERT INTO t3 VALUES(-72057594037927935);
1214     INSERT INTO t3 VALUES(-72057594037927936);
1215     INSERT INTO t3 VALUES(-72057594037927937);
1216     INSERT INTO t3 VALUES(-72057594037927938);
1217     INSERT INTO t3 VALUES(144115188075855870);
1218     INSERT INTO t3 VALUES(144115188075855871);
1219     INSERT INTO t3 VALUES(144115188075855872);
1220     INSERT INTO t3 VALUES(144115188075855873);
1221     INSERT INTO t3 VALUES(144115188075855874);
1222     INSERT INTO t3 VALUES(-144115188075855870);
1223     INSERT INTO t3 VALUES(-144115188075855871);
1224     INSERT INTO t3 VALUES(-144115188075855872);
1225     INSERT INTO t3 VALUES(-144115188075855873);
1226     INSERT INTO t3 VALUES(-144115188075855874);
1227     INSERT INTO t3 VALUES(288230376151711742);
1228     INSERT INTO t3 VALUES(288230376151711743);
1229     INSERT INTO t3 VALUES(288230376151711744);
1230     INSERT INTO t3 VALUES(288230376151711745);
1231     INSERT INTO t3 VALUES(288230376151711746);
1232     INSERT INTO t3 VALUES(-288230376151711742);
1233     INSERT INTO t3 VALUES(-288230376151711743);
1234     INSERT INTO t3 VALUES(-288230376151711744);
1235     INSERT INTO t3 VALUES(-288230376151711745);
1236     INSERT INTO t3 VALUES(-288230376151711746);
1237     INSERT INTO t3 VALUES(576460752303423486);
1238     INSERT INTO t3 VALUES(576460752303423487);
1239     INSERT INTO t3 VALUES(576460752303423488);
1240     INSERT INTO t3 VALUES(576460752303423489);
1241     INSERT INTO t3 VALUES(576460752303423490);
1242     INSERT INTO t3 VALUES(-576460752303423486);
1243     INSERT INTO t3 VALUES(-576460752303423487);
1244     INSERT INTO t3 VALUES(-576460752303423488);
1245     INSERT INTO t3 VALUES(-576460752303423489);
1246     INSERT INTO t3 VALUES(-576460752303423490);
1247     INSERT INTO t3 VALUES(1152921504606846974);
1248     INSERT INTO t3 VALUES(1152921504606846975);
1249     INSERT INTO t3 VALUES(1152921504606846976);
1250     INSERT INTO t3 VALUES(1152921504606846977);
1251     INSERT INTO t3 VALUES(1152921504606846978);
1252     INSERT INTO t3 VALUES(-1152921504606846974);
1253     INSERT INTO t3 VALUES(-1152921504606846975);
1254     INSERT INTO t3 VALUES(-1152921504606846976);
1255     INSERT INTO t3 VALUES(-1152921504606846977);
1256     INSERT INTO t3 VALUES(-1152921504606846978);
1257     INSERT INTO t3 VALUES(2305843009213693950);
1258     INSERT INTO t3 VALUES(2305843009213693951);
1259     INSERT INTO t3 VALUES(2305843009213693952);
1260     INSERT INTO t3 VALUES(2305843009213693953);
1261     INSERT INTO t3 VALUES(2305843009213693954);
1262     INSERT INTO t3 VALUES(-2305843009213693950);
1263     INSERT INTO t3 VALUES(-2305843009213693951);
1264     INSERT INTO t3 VALUES(-2305843009213693952);
1265     INSERT INTO t3 VALUES(-2305843009213693953);
1266     INSERT INTO t3 VALUES(-2305843009213693954);
1267     INSERT INTO t3 VALUES(4611686018427387902);
1268     INSERT INTO t3 VALUES(4611686018427387903);
1269     INSERT INTO t3 VALUES(4611686018427387904);
1270     INSERT INTO t3 VALUES(4611686018427387905);
1271     INSERT INTO t3 VALUES(4611686018427387906);
1272     INSERT INTO t3 VALUES(-4611686018427387902);
1273     INSERT INTO t3 VALUES(-4611686018427387903);
1274     INSERT INTO t3 VALUES(-4611686018427387904);
1275     INSERT INTO t3 VALUES(-4611686018427387905);
1276     INSERT INTO t3 VALUES(-4611686018427387906);
1277     INSERT INTO t3 VALUES(9223372036854775806);
1278     INSERT INTO t3 VALUES(9223372036854775807);
1279     INSERT INTO t3 VALUES(-9223372036854775806);
1280     INSERT INTO t3 VALUES(-9223372036854775807);
1281     INSERT INTO t3 VALUES(-9223372036854775808);
1282     SELECT x FROM t3 ORDER BY x;
1283   }
1284 } {-9223372036854775808\
1285 -9223372036854775807\
1286 -9223372036854775806\
1287 -4611686018427387906\
1288 -4611686018427387905\
1289 -4611686018427387904\
1290 -4611686018427387903\
1291 -4611686018427387902\
1292 -2305843009213693954\
1293 -2305843009213693953\
1294 -2305843009213693952\
1295 -2305843009213693951\
1296 -2305843009213693950\
1297 -1152921504606846978\
1298 -1152921504606846977\
1299 -1152921504606846976\
1300 -1152921504606846975\
1301 -1152921504606846974\
1302 -576460752303423490\
1303 -576460752303423489\
1304 -576460752303423488\
1305 -576460752303423487\
1306 -576460752303423486\
1307 -288230376151711746\
1308 -288230376151711745\
1309 -288230376151711744\
1310 -288230376151711743\
1311 -288230376151711742\
1312 -144115188075855874\
1313 -144115188075855873\
1314 -144115188075855872\
1315 -144115188075855871\
1316 -144115188075855870\
1317 -72057594037927938\
1318 -72057594037927937\
1319 -72057594037927936\
1320 -72057594037927935\
1321 -72057594037927934\
1322 -36028797018963970\
1323 -36028797018963969\
1324 -36028797018963968\
1325 -36028797018963967\
1326 -36028797018963966\
1327 -18014398509481986\
1328 -18014398509481985\
1329 -18014398509481984\
1330 -18014398509481983\
1331 -18014398509481982\
1332 -9007199254740994\
1333 -9007199254740993\
1334 -9007199254740992\
1335 -9007199254740991\
1336 -9007199254740990\
1337 -4503599627370498\
1338 -4503599627370497\
1339 -4503599627370496\
1340 -4503599627370495\
1341 -4503599627370494\
1342 -2251799813685250\
1343 -2251799813685249\
1344 -2251799813685248\
1345 -2251799813685247\
1346 -2251799813685246\
1347 -1125899906842626\
1348 -1125899906842625\
1349 -1125899906842624\
1350 -1125899906842623\
1351 -1125899906842622\
1352 -562949953421314\
1353 -562949953421313\
1354 -562949953421312\
1355 -562949953421311\
1356 -562949953421310\
1357 -281474976710658\
1358 -281474976710657\
1359 -281474976710656\
1360 -281474976710655\
1361 -281474976710654\
1362 -140737488355330\
1363 -140737488355329\
1364 -140737488355328\
1365 -140737488355327\
1366 -140737488355326\
1367 -70368744177666\
1368 -70368744177665\
1369 -70368744177664\
1370 -70368744177663\
1371 -70368744177662\
1372 -35184372088834\
1373 -35184372088833\
1374 -35184372088832\
1375 -35184372088831\
1376 -35184372088830\
1377 -17592186044418\
1378 -17592186044417\
1379 -17592186044416\
1380 -17592186044415\
1381 -17592186044414\
1382 -8796093022210\
1383 -8796093022209\
1384 -8796093022208\
1385 -8796093022207\
1386 -8796093022206\
1387 -4398046511106\
1388 -4398046511105\
1389 -4398046511104\
1390 -4398046511103\
1391 -4398046511102\
1392 -2199023255554\
1393 -2199023255553\
1394 -2199023255552\
1395 -2199023255551\
1396 -2199023255550\
1397 -1099511627778\
1398 -1099511627777\
1399 -1099511627776\
1400 -1099511627775\
1401 -1099511627774\
1402 -549755813890\
1403 -549755813889\
1404 -549755813888\
1405 -549755813887\
1406 -549755813886\
1407 -274877906946\
1408 -274877906945\
1409 -274877906944\
1410 -274877906943\
1411 -274877906942\
1412 -137438953474\
1413 -137438953473\
1414 -137438953472\
1415 -137438953471\
1416 -137438953470\
1417 -68719476738\
1418 -68719476737\
1419 -68719476736\
1420 -68719476735\
1421 -68719476734\
1422 -34359738370\
1423 -34359738369\
1424 -34359738368\
1425 -34359738367\
1426 -34359738366\
1427 -17179869186\
1428 -17179869185\
1429 -17179869184\
1430 -17179869183\
1431 -17179869182\
1432 -8589934594\
1433 -8589934593\
1434 -8589934592\
1435 -8589934591\
1436 -8589934590\
1437 -4294967298\
1438 -4294967297\
1439 -4294967296\
1440 -4294967295\
1441 -4294967294\
1442 -2147483650\
1443 -2147483649\
1444 -2147483648\
1445 -2147483647\
1446 -2147483646\
1447 -1073741826\
1448 -1073741825\
1449 -1073741824\
1450 -1073741823\
1451 -1073741822\
1452 -536870914\
1453 -536870913\
1454 -536870912\
1455 -536870911\
1456 -536870910\
1457 -268435458\
1458 -268435457\
1459 -268435456\
1460 -268435455\
1461 -268435454\
1462 -134217730\
1463 -134217729\
1464 -134217728\
1465 -134217727\
1466 -134217726\
1467 -67108866\
1468 -67108865\
1469 -67108864\
1470 -67108863\
1471 -67108862\
1472 -33554434\
1473 -33554433\
1474 -33554432\
1475 -33554431\
1476 -33554430\
1477 -16777218\
1478 -16777217\
1479 -16777216\
1480 -16777215\
1481 -16777214\
1482 -8388610\
1483 -8388609\
1484 -8388608\
1485 -8388607\
1486 -8388606\
1487 -4194306\
1488 -4194305\
1489 -4194304\
1490 -4194303\
1491 -4194302\
1492 -2097154\
1493 -2097153\
1494 -2097152\
1495 -2097151\
1496 -2097150\
1497 -1048578\
1498 -1048577\
1499 -1048576\
1500 -1048575\
1501 -1048574\
1502 -524290\
1503 -524289\
1504 -524288\
1505 -524287\
1506 -524286\
1507 -262146\
1508 -262145\
1509 -262144\
1510 -262143\
1511 -262142\
1512 -131074\
1513 -131073\
1514 -131072\
1515 -131071\
1516 -131070\
1517 -65538\
1518 -65537\
1519 -65536\
1520 -65535\
1521 -65534\
1522 -32770\
1523 -32769\
1524 -32768\
1525 -32767\
1526 -32766\
1527 -16386\
1528 -16385\
1529 -16384\
1530 -16383\
1531 -16382\
1532 -8194\
1533 -8193\
1534 -8192\
1535 -8191\
1536 -8190\
1537 -4098\
1538 -4097\
1539 -4096\
1540 -4095\
1541 -4094\
1542 -2050\
1543 -2049\
1544 -2048\
1545 -2047\
1546 -2046\
1547 -1026\
1548 -1025\
1549 -1024\
1550 -1023\
1551 -1022\
1552 -514\
1553 -513\
1554 -512\
1555 -511\
1556 -510\
1557 -258\
1558 -257\
1559 -256\
1560 -255\
1561 -254\
1562 -130\
1563 -129\
1564 -128\
1565 -127\
1566 -126\
1567 -66\
1568 -65\
1569 -64\
1570 -63\
1571 -62\
1572 -34\
1573 -33\
1574 -32\
1575 -31\
1576 -30\
1577 -18\
1578 -17\
1579 -16\
1580 -15\
1581 -14\
1582 -13\
1583 -12\
1584 -11\
1585 -10\
1586 -9\
1587 -8\
1588 -7\
1589 -6\
1590 -5\
1591 -4\
1592 -3\
1593 -2\
1594 -1\
1595 0\
1596 1\
1597 2\
1598 3\
1599 4\
1600 5\
1601 6\
1602 7\
1603 8\
1604 9\
1605 10\
1606 11\
1607 12\
1608 13\
1609 14\
1610 15\
1611 16\
1612 17\
1613 18\
1614 30\
1615 31\
1616 32\
1617 33\
1618 34\
1619 62\
1620 63\
1621 64\
1622 65\
1623 66\
1624 126\
1625 127\
1626 128\
1627 129\
1628 130\
1629 254\
1630 255\
1631 256\
1632 257\
1633 258\
1634 510\
1635 511\
1636 512\
1637 513\
1638 514\
1639 1022\
1640 1023\
1641 1024\
1642 1025\
1643 1026\
1644 2046\
1645 2047\
1646 2048\
1647 2049\
1648 2050\
1649 4094\
1650 4095\
1651 4096\
1652 4097\
1653 4098\
1654 8190\
1655 8191\
1656 8192\
1657 8193\
1658 8194\
1659 16382\
1660 16383\
1661 16384\
1662 16385\
1663 16386\
1664 32766\
1665 32767\
1666 32768\
1667 32769\
1668 32770\
1669 65534\
1670 65535\
1671 65536\
1672 65537\
1673 65538\
1674 131070\
1675 131071\
1676 131072\
1677 131073\
1678 131074\
1679 262142\
1680 262143\
1681 262144\
1682 262145\
1683 262146\
1684 524286\
1685 524287\
1686 524288\
1687 524289\
1688 524290\
1689 1048574\
1690 1048575\
1691 1048576\
1692 1048577\
1693 1048578\
1694 2097150\
1695 2097151\
1696 2097152\
1697 2097153\
1698 2097154\
1699 4194302\
1700 4194303\
1701 4194304\
1702 4194305\
1703 4194306\
1704 8388606\
1705 8388607\
1706 8388608\
1707 8388609\
1708 8388610\
1709 16777214\
1710 16777215\
1711 16777216\
1712 16777217\
1713 16777218\
1714 33554430\
1715 33554431\
1716 33554432\
1717 33554433\
1718 33554434\
1719 67108862\
1720 67108863\
1721 67108864\
1722 67108865\
1723 67108866\
1724 134217726\
1725 134217727\
1726 134217728\
1727 134217729\
1728 134217730\
1729 268435454\
1730 268435455\
1731 268435456\
1732 268435457\
1733 268435458\
1734 536870910\
1735 536870911\
1736 536870912\
1737 536870913\
1738 536870914\
1739 1073741822\
1740 1073741823\
1741 1073741824\
1742 1073741825\
1743 1073741826\
1744 2147483646\
1745 2147483647\
1746 2147483648\
1747 2147483649\
1748 2147483650\
1749 4294967294\
1750 4294967295\
1751 4294967296\
1752 4294967297\
1753 4294967298\
1754 8589934590\
1755 8589934591\
1756 8589934592\
1757 8589934593\
1758 8589934594\
1759 17179869182\
1760 17179869183\
1761 17179869184\
1762 17179869185\
1763 17179869186\
1764 34359738366\
1765 34359738367\
1766 34359738368\
1767 34359738369\
1768 34359738370\
1769 68719476734\
1770 68719476735\
1771 68719476736\
1772 68719476737\
1773 68719476738\
1774 137438953470\
1775 137438953471\
1776 137438953472\
1777 137438953473\
1778 137438953474\
1779 274877906942\
1780 274877906943\
1781 274877906944\
1782 274877906945\
1783 274877906946\
1784 549755813886\
1785 549755813887\
1786 549755813888\
1787 549755813889\
1788 549755813890\
1789 1099511627774\
1790 1099511627775\
1791 1099511627776\
1792 1099511627777\
1793 1099511627778\
1794 2199023255550\
1795 2199023255551\
1796 2199023255552\
1797 2199023255553\
1798 2199023255554\
1799 4398046511102\
1800 4398046511103\
1801 4398046511104\
1802 4398046511105\
1803 4398046511106\
1804 8796093022206\
1805 8796093022207\
1806 8796093022208\
1807 8796093022209\
1808 8796093022210\
1809 17592186044414\
1810 17592186044415\
1811 17592186044416\
1812 17592186044417\
1813 17592186044418\
1814 35184372088830\
1815 35184372088831\
1816 35184372088832\
1817 35184372088833\
1818 35184372088834\
1819 70368744177662\
1820 70368744177663\
1821 70368744177664\
1822 70368744177665\
1823 70368744177666\
1824 140737488355326\
1825 140737488355327\
1826 140737488355328\
1827 140737488355329\
1828 140737488355330\
1829 281474976710654\
1830 281474976710655\
1831 281474976710656\
1832 281474976710657\
1833 281474976710658\
1834 562949953421310\
1835 562949953421311\
1836 562949953421312\
1837 562949953421313\
1838 562949953421314\
1839 1125899906842622\
1840 1125899906842623\
1841 1125899906842624\
1842 1125899906842625\
1843 1125899906842626\
1844 2251799813685246\
1845 2251799813685247\
1846 2251799813685248\
1847 2251799813685249\
1848 2251799813685250\
1849 4503599627370494\
1850 4503599627370495\
1851 4503599627370496\
1852 4503599627370497\
1853 4503599627370498\
1854 9007199254740990\
1855 9007199254740991\
1856 9007199254740992\
1857 9007199254740993\
1858 9007199254740994\
1859 18014398509481982\
1860 18014398509481983\
1861 18014398509481984\
1862 18014398509481985\
1863 18014398509481986\
1864 36028797018963966\
1865 36028797018963967\
1866 36028797018963968\
1867 36028797018963969\
1868 36028797018963970\
1869 72057594037927934\
1870 72057594037927935\
1871 72057594037927936\
1872 72057594037927937\
1873 72057594037927938\
1874 144115188075855870\
1875 144115188075855871\
1876 144115188075855872\
1877 144115188075855873\
1878 144115188075855874\
1879 288230376151711742\
1880 288230376151711743\
1881 288230376151711744\
1882 288230376151711745\
1883 288230376151711746\
1884 576460752303423486\
1885 576460752303423487\
1886 576460752303423488\
1887 576460752303423489\
1888 576460752303423490\
1889 1152921504606846974\
1890 1152921504606846975\
1891 1152921504606846976\
1892 1152921504606846977\
1893 1152921504606846978\
1894 2305843009213693950\
1895 2305843009213693951\
1896 2305843009213693952\
1897 2305843009213693953\
1898 2305843009213693954\
1899 4611686018427387902\
1900 4611686018427387903\
1901 4611686018427387904\
1902 4611686018427387905\
1903 4611686018427387906\
1904 9223372036854775806\
1905 9223372036854775807}
1906
1907 finish_test