downgrade memory unlock failures to info level and fix function name in log output
[sqlcipher.git] / test / misc5.test
blobf7c6048d97a6d0aa69632c13eb3b5e5da9bd9a86
1 # 2005 Mar 16
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library.
13 # This file implements tests for miscellanous features that were
14 # left out of other test files.
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.
24 # This test causes an assertion failure or a buffer overrun in version
25 # 3.1.5 and earlier.
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   } {}
44 # Make sure large integers are stored correctly.
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
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\
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.
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}
511 # Ticket #1370.  Do not overwrite small files (less than 1024 bytes)
512 # when trying to open them as a database.
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}}
528 # Ticket #1371.  Allow floating point numbers of the form .N  or N.
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.
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}}
571 # Overflow the lemon parser stack by providing an overly complex
572 # expression.  Make sure that the overflow is detected and reported.
574 # This test fails when building with -DYYSTACKDEPTH=0
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.
591 do_test misc5-7.2 {
592   sqlite3 db2 :memory:
593   sqlite3_db_config db2 DEFENSIVE 0
594   catchsql {
595     CREATE TABLE t1(x UNIQUE);
596     PRAGMA writable_schema=ON;
597     UPDATE sqlite_master SET sql='CREATE table t(o CHECK(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((;VALUES(o)';
598     BEGIN;
599     CREATE TABLE t2(y);
600     ROLLBACK;
601     DROP TABLE IF EXISTS D;
602   } db2
603 } {0 {}}
604 db2 close
605   
607 # Ticket #1911
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   } {}
628 # Ticket #1912.  Make the tokenizer require a space after a numeric
629 # literal.
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.
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\
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