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