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