xref: /sqlite-3.40.0/test/misc5.test (revision 7aa3ebee)
1# 2005 Mar 16
2#
3# The author disclaims copyright to this source code.  In place of
4# a legal notice, here is a blessing:
5#
6#    May you do good and not evil.
7#    May you find forgiveness for yourself and forgive others.
8#    May you share freely, never taking more than you give.
9#
10#***********************************************************************
11# This file implements regression tests for SQLite library.
12#
13# This file implements tests for miscellanous features that were
14# left out of other test files.
15#
16# $Id: misc5.test,v 1.22 2008/07/29 10:26:45 danielk1977 Exp $
17
18set testdir [file dirname $argv0]
19source $testdir/tester.tcl
20
21# Build records using the MakeRecord opcode such that the size of the
22# header is at the transition point in the size of a varint.
23#
24# This test causes an assertion failure or a buffer overrun in version
25# 3.1.5 and earlier.
26#
27for {set i 120} {$i<140} {incr i} {
28  do_test misc5-1.$i {
29    catchsql {DROP TABLE t1}
30    set sql1 {CREATE TABLE t1}
31    set sql2 {INSERT INTO t1 VALUES}
32    set sep (
33    for {set j 0} {$j<$i} {incr j} {
34      append sql1 ${sep}a$j
35      append sql2 ${sep}$j
36      set sep ,
37    }
38    append sql1 {);}
39    append sql2 {);}
40    execsql $sql1$sql2
41  } {}
42}
43
44# Make sure large integers are stored correctly.
45#
46ifcapable conflict {
47  do_test misc5-2.1 {
48    execsql {
49      create table t2(x unique);
50      insert into t2 values(1);
51      insert or ignore into t2 select x*2 from t2;
52      insert or ignore into t2 select x*4 from t2;
53      insert or ignore into t2 select x*16 from t2;
54      insert or ignore into t2 select x*256 from t2;
55      insert or ignore into t2 select x*65536 from t2;
56      insert or ignore into t2 select x*2147483648 from t2;
57      insert or ignore into t2 select x-1 from t2;
58      insert or ignore into t2 select x+1 from t2;
59      insert or ignore into t2 select -x from t2;
60      select count(*) from t2;
61    }
62  } 371
63} else {
64  do_test misc5-2.1 {
65    execsql {
66      BEGIN;
67      create table t2(x unique);
68      create table t2_temp(x);
69      insert into t2_temp values(1);
70      insert into t2_temp select x*2 from t2_temp;
71      insert into t2_temp select x*4 from t2_temp;
72      insert into t2_temp select x*16 from t2_temp;
73      insert into t2_temp select x*256 from t2_temp;
74      insert into t2_temp select x*65536 from t2_temp;
75      insert into t2_temp select x*2147483648 from t2_temp;
76      insert into t2_temp select x-1 from t2_temp;
77      insert into t2_temp select x+1 from t2_temp;
78      insert into t2_temp select -x from t2_temp;
79      INSERT INTO t2 SELECT DISTINCT(x) FROM t2_temp;
80      DROP TABLE t2_temp;
81      COMMIT;
82      select count(*) from t2;
83    }
84  } 371
85}
86do_test misc5-2.2 {
87  execsql {
88    select x from t2 order by x;
89  }
90} \
91"-4611686018427387905\
92-4611686018427387904\
93-4611686018427387903\
94-2305843009213693953\
95-2305843009213693952\
96-2305843009213693951\
97-1152921504606846977\
98-1152921504606846976\
99-1152921504606846975\
100-576460752303423489\
101-576460752303423488\
102-576460752303423487\
103-288230376151711745\
104-288230376151711744\
105-288230376151711743\
106-144115188075855873\
107-144115188075855872\
108-144115188075855871\
109-72057594037927937\
110-72057594037927936\
111-72057594037927935\
112-36028797018963969\
113-36028797018963968\
114-36028797018963967\
115-18014398509481985\
116-18014398509481984\
117-18014398509481983\
118-9007199254740993\
119-9007199254740992\
120-9007199254740991\
121-4503599627370497\
122-4503599627370496\
123-4503599627370495\
124-2251799813685249\
125-2251799813685248\
126-2251799813685247\
127-1125899906842625\
128-1125899906842624\
129-1125899906842623\
130-562949953421313\
131-562949953421312\
132-562949953421311\
133-281474976710657\
134-281474976710656\
135-281474976710655\
136-140737488355329\
137-140737488355328\
138-140737488355327\
139-70368744177665\
140-70368744177664\
141-70368744177663\
142-35184372088833\
143-35184372088832\
144-35184372088831\
145-17592186044417\
146-17592186044416\
147-17592186044415\
148-8796093022209\
149-8796093022208\
150-8796093022207\
151-4398046511105\
152-4398046511104\
153-4398046511103\
154-2199023255553\
155-2199023255552\
156-2199023255551\
157-1099511627777\
158-1099511627776\
159-1099511627775\
160-549755813889\
161-549755813888\
162-549755813887\
163-274877906945\
164-274877906944\
165-274877906943\
166-137438953473\
167-137438953472\
168-137438953471\
169-68719476737\
170-68719476736\
171-68719476735\
172-34359738369\
173-34359738368\
174-34359738367\
175-17179869185\
176-17179869184\
177-17179869183\
178-8589934593\
179-8589934592\
180-8589934591\
181-4294967297\
182-4294967296\
183-4294967295\
184-2147483649\
185-2147483648\
186-2147483647\
187-1073741825\
188-1073741824\
189-1073741823\
190-536870913\
191-536870912\
192-536870911\
193-268435457\
194-268435456\
195-268435455\
196-134217729\
197-134217728\
198-134217727\
199-67108865\
200-67108864\
201-67108863\
202-33554433\
203-33554432\
204-33554431\
205-16777217\
206-16777216\
207-16777215\
208-8388609\
209-8388608\
210-8388607\
211-4194305\
212-4194304\
213-4194303\
214-2097153\
215-2097152\
216-2097151\
217-1048577\
218-1048576\
219-1048575\
220-524289\
221-524288\
222-524287\
223-262145\
224-262144\
225-262143\
226-131073\
227-131072\
228-131071\
229-65537\
230-65536\
231-65535\
232-32769\
233-32768\
234-32767\
235-16385\
236-16384\
237-16383\
238-8193\
239-8192\
240-8191\
241-4097\
242-4096\
243-4095\
244-2049\
245-2048\
246-2047\
247-1025\
248-1024\
249-1023\
250-513\
251-512\
252-511\
253-257\
254-256\
255-255\
256-129\
257-128\
258-127\
259-65\
260-64\
261-63\
262-33\
263-32\
264-31\
265-17\
266-16\
267-15\
268-9\
269-8\
270-7\
271-5\
272-4\
273-3\
274-2\
275-1\
2760\
2771\
2782\
2793\
2804\
2815\
2827\
2838\
2849\
28515\
28616\
28717\
28831\
28932\
29033\
29163\
29264\
29365\
294127\
295128\
296129\
297255\
298256\
299257\
300511\
301512\
302513\
3031023\
3041024\
3051025\
3062047\
3072048\
3082049\
3094095\
3104096\
3114097\
3128191\
3138192\
3148193\
31516383\
31616384\
31716385\
31832767\
31932768\
32032769\
32165535\
32265536\
32365537\
324131071\
325131072\
326131073\
327262143\
328262144\
329262145\
330524287\
331524288\
332524289\
3331048575\
3341048576\
3351048577\
3362097151\
3372097152\
3382097153\
3394194303\
3404194304\
3414194305\
3428388607\
3438388608\
3448388609\
34516777215\
34616777216\
34716777217\
34833554431\
34933554432\
35033554433\
35167108863\
35267108864\
35367108865\
354134217727\
355134217728\
356134217729\
357268435455\
358268435456\
359268435457\
360536870911\
361536870912\
362536870913\
3631073741823\
3641073741824\
3651073741825\
3662147483647\
3672147483648\
3682147483649\
3694294967295\
3704294967296\
3714294967297\
3728589934591\
3738589934592\
3748589934593\
37517179869183\
37617179869184\
37717179869185\
37834359738367\
37934359738368\
38034359738369\
38168719476735\
38268719476736\
38368719476737\
384137438953471\
385137438953472\
386137438953473\
387274877906943\
388274877906944\
389274877906945\
390549755813887\
391549755813888\
392549755813889\
3931099511627775\
3941099511627776\
3951099511627777\
3962199023255551\
3972199023255552\
3982199023255553\
3994398046511103\
4004398046511104\
4014398046511105\
4028796093022207\
4038796093022208\
4048796093022209\
40517592186044415\
40617592186044416\
40717592186044417\
40835184372088831\
40935184372088832\
41035184372088833\
41170368744177663\
41270368744177664\
41370368744177665\
414140737488355327\
415140737488355328\
416140737488355329\
417281474976710655\
418281474976710656\
419281474976710657\
420562949953421311\
421562949953421312\
422562949953421313\
4231125899906842623\
4241125899906842624\
4251125899906842625\
4262251799813685247\
4272251799813685248\
4282251799813685249\
4294503599627370495\
4304503599627370496\
4314503599627370497\
4329007199254740991\
4339007199254740992\
4349007199254740993\
43518014398509481983\
43618014398509481984\
43718014398509481985\
43836028797018963967\
43936028797018963968\
44036028797018963969\
44172057594037927935\
44272057594037927936\
44372057594037927937\
444144115188075855871\
445144115188075855872\
446144115188075855873\
447288230376151711743\
448288230376151711744\
449288230376151711745\
450576460752303423487\
451576460752303423488\
452576460752303423489\
4531152921504606846975\
4541152921504606846976\
4551152921504606846977\
4562305843009213693951\
4572305843009213693952\
4582305843009213693953\
4594611686018427387903\
4604611686018427387904\
4614611686018427387905"
462
463# Ticket #1210.  Do proper reference counting of Table structures
464# so that deeply nested SELECT statements can be flattened correctly.
465#
466ifcapable subquery {
467  do_test misc5-3.1 {
468    execsql {
469      CREATE TABLE songs(songid, artist, timesplayed);
470      INSERT INTO songs VALUES(1,'one',1);
471      INSERT INTO songs VALUES(2,'one',2);
472      INSERT INTO songs VALUES(3,'two',3);
473      INSERT INTO songs VALUES(4,'three',5);
474      INSERT INTO songs VALUES(5,'one',7);
475      INSERT INTO songs VALUES(6,'two',11);
476      SELECT DISTINCT artist
477      FROM (
478       SELECT DISTINCT artist
479       FROM songs
480       WHERE songid IN (
481        SELECT songid
482        FROM songs
483        WHERE LOWER(artist) = (
484          -- This sub-query is indeterminate. Because there is no ORDER BY,
485          -- it may return 'one', 'two' or 'three'. Because of this, the
486	  -- outermost parent query may correctly return any of 'one', 'two'
487          -- or 'three' as well.
488          SELECT DISTINCT LOWER(artist)
489          FROM (
490            -- This sub-query returns the table:
491            --
492            --     two      14
493            --     one      10
494            --     three    5
495            --
496            SELECT DISTINCT artist,sum(timesplayed) AS total
497            FROM songs
498            GROUP BY LOWER(artist)
499            ORDER BY total DESC
500            LIMIT 10
501          )
502          WHERE artist <> ''
503        )
504       )
505      )
506      ORDER BY LOWER(artist) ASC;
507    }
508  } {two}
509}
510
511# Ticket #1370.  Do not overwrite small files (less than 1024 bytes)
512# when trying to open them as a database.
513#
514if {[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}}
526}
527
528# Ticket #1371.  Allow floating point numbers of the form .N  or N.
529#
530do_test misc5-5.1 {
531  execsql {SELECT .1 }
532} 0.1
533do_test misc5-5.2 {
534  execsql {SELECT 2. }
535} 2.0
536do_test misc5-5.3 {
537  execsql {SELECT 3.e0 }
538} 3.0
539do_test misc5-5.4 {
540  execsql {SELECT .4e+1}
541} 4.0
542
543# Ticket #1582.  Ensure that an unknown table in a LIMIT clause applied to
544# a UNION ALL query causes an error, not a crash.
545#
546db close
547forcedelete test.db
548sqlite3 db test.db
549ifcapable subquery&&compound {
550  do_test misc5-6.1 {
551    catchsql {
552      SELECT * FROM sqlite_master
553      UNION ALL
554      SELECT * FROM sqlite_master
555      LIMIT (SELECT count(*) FROM blah);
556    }
557  } {1 {no such table: blah}}
558  do_test misc5-6.2 {
559    execsql {
560      CREATE TABLE logs(msg TEXT, timestamp INTEGER, dbtime TEXT);
561    }
562    catchsql {
563      SELECT * FROM logs WHERE logs.oid >= (SELECT head FROM logs_base)
564      UNION ALL
565      SELECT * FROM logs
566      LIMIT (SELECT lmt FROM logs_base) ;
567    }
568  } {1 {no such table: logs_base}}
569}
570
571# Overflow the lemon parser stack by providing an overly complex
572# expression.  Make sure that the overflow is detected and reported.
573#
574do_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}}
585
586# Parser stack overflow is silently ignored when it occurs while parsing the
587# schema and PRAGMA writable_schema is turned on.
588#
589do_test misc5-7.2 {
590  sqlite3 db2 :memory:
591  catchsql {
592    CREATE TABLE t1(x UNIQUE);
593    PRAGMA writable_schema=ON;
594    UPDATE sqlite_master SET sql='CREATE table t(o CHECK(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((;VALUES(o)';
595    BEGIN;
596    CREATE TABLE t2(y);
597    ROLLBACK;
598    DROP TABLE IF EXISTS D;
599  } db2
600} {0 {}}
601db2 close
602
603
604# Ticket #1911
605#
606ifcapable compound {
607  do_test misc5-9.1 {
608    execsql {
609      SELECT name, type FROM sqlite_master WHERE name IS NULL
610      UNION
611      SELECT type, name FROM sqlite_master WHERE type IS NULL
612      ORDER BY 1, 2, 1, 2, 1, 2
613    }
614  } {}
615  do_test misc5-9.2 {
616    execsql {
617      SELECT name, type FROM sqlite_master WHERE name IS NULL
618      UNION
619      SELECT type, name FROM sqlite_master WHERE type IS NULL
620      ORDER BY 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2
621    }
622  } {}
623}
624
625# Ticket #1912.  Make the tokenizer require a space after a numeric
626# literal.
627#
628do_test misc5-10.1 {
629  catchsql {
630    SELECT 123abc
631  }
632} {1 {unrecognized token: "123abc"}}
633do_test misc5-10.2 {
634  catchsql {
635    SELECT 1*123.4e5ghi;
636  }
637} {1 {unrecognized token: "123.4e5ghi"}}
638
639
640# Additional integer encoding tests.
641#
642do_test misc5-11.1 {
643  db eval {
644    CREATE TABLE t3(x);
645    INSERT INTO t3 VALUES(-18);
646    INSERT INTO t3 VALUES(-17);
647    INSERT INTO t3 VALUES(-16);
648    INSERT INTO t3 VALUES(-15);
649    INSERT INTO t3 VALUES(-14);
650    INSERT INTO t3 VALUES(-13);
651    INSERT INTO t3 VALUES(-12);
652    INSERT INTO t3 VALUES(-11);
653    INSERT INTO t3 VALUES(-10);
654    INSERT INTO t3 VALUES(-9);
655    INSERT INTO t3 VALUES(-8);
656    INSERT INTO t3 VALUES(-7);
657    INSERT INTO t3 VALUES(-6);
658    INSERT INTO t3 VALUES(-5);
659    INSERT INTO t3 VALUES(-4);
660    INSERT INTO t3 VALUES(-3);
661    INSERT INTO t3 VALUES(-2);
662    INSERT INTO t3 VALUES(-1);
663    INSERT INTO t3 VALUES(0);
664    INSERT INTO t3 VALUES(1);
665    INSERT INTO t3 VALUES(2);
666    INSERT INTO t3 VALUES(3);
667    INSERT INTO t3 VALUES(4);
668    INSERT INTO t3 VALUES(5);
669    INSERT INTO t3 VALUES(6);
670    INSERT INTO t3 VALUES(7);
671    INSERT INTO t3 VALUES(8);
672    INSERT INTO t3 VALUES(9);
673    INSERT INTO t3 VALUES(10);
674    INSERT INTO t3 VALUES(11);
675    INSERT INTO t3 VALUES(12);
676    INSERT INTO t3 VALUES(13);
677    INSERT INTO t3 VALUES(14);
678    INSERT INTO t3 VALUES(15);
679    INSERT INTO t3 VALUES(16);
680    INSERT INTO t3 VALUES(17);
681    INSERT INTO t3 VALUES(18);
682    INSERT INTO t3 VALUES(30);
683    INSERT INTO t3 VALUES(31);
684    INSERT INTO t3 VALUES(32);
685    INSERT INTO t3 VALUES(33);
686    INSERT INTO t3 VALUES(34);
687    INSERT INTO t3 VALUES(-30);
688    INSERT INTO t3 VALUES(-31);
689    INSERT INTO t3 VALUES(-32);
690    INSERT INTO t3 VALUES(-33);
691    INSERT INTO t3 VALUES(-34);
692    INSERT INTO t3 VALUES(62);
693    INSERT INTO t3 VALUES(63);
694    INSERT INTO t3 VALUES(64);
695    INSERT INTO t3 VALUES(65);
696    INSERT INTO t3 VALUES(66);
697    INSERT INTO t3 VALUES(-62);
698    INSERT INTO t3 VALUES(-63);
699    INSERT INTO t3 VALUES(-64);
700    INSERT INTO t3 VALUES(-65);
701    INSERT INTO t3 VALUES(-66);
702    INSERT INTO t3 VALUES(126);
703    INSERT INTO t3 VALUES(127);
704    INSERT INTO t3 VALUES(128);
705    INSERT INTO t3 VALUES(129);
706    INSERT INTO t3 VALUES(130);
707    INSERT INTO t3 VALUES(-126);
708    INSERT INTO t3 VALUES(-127);
709    INSERT INTO t3 VALUES(-128);
710    INSERT INTO t3 VALUES(-129);
711    INSERT INTO t3 VALUES(-130);
712    INSERT INTO t3 VALUES(254);
713    INSERT INTO t3 VALUES(255);
714    INSERT INTO t3 VALUES(256);
715    INSERT INTO t3 VALUES(257);
716    INSERT INTO t3 VALUES(258);
717    INSERT INTO t3 VALUES(-254);
718    INSERT INTO t3 VALUES(-255);
719    INSERT INTO t3 VALUES(-256);
720    INSERT INTO t3 VALUES(-257);
721    INSERT INTO t3 VALUES(-258);
722    INSERT INTO t3 VALUES(510);
723    INSERT INTO t3 VALUES(511);
724    INSERT INTO t3 VALUES(512);
725    INSERT INTO t3 VALUES(513);
726    INSERT INTO t3 VALUES(514);
727    INSERT INTO t3 VALUES(-510);
728    INSERT INTO t3 VALUES(-511);
729    INSERT INTO t3 VALUES(-512);
730    INSERT INTO t3 VALUES(-513);
731    INSERT INTO t3 VALUES(-514);
732    INSERT INTO t3 VALUES(1022);
733    INSERT INTO t3 VALUES(1023);
734    INSERT INTO t3 VALUES(1024);
735    INSERT INTO t3 VALUES(1025);
736    INSERT INTO t3 VALUES(1026);
737    INSERT INTO t3 VALUES(-1022);
738    INSERT INTO t3 VALUES(-1023);
739    INSERT INTO t3 VALUES(-1024);
740    INSERT INTO t3 VALUES(-1025);
741    INSERT INTO t3 VALUES(-1026);
742    INSERT INTO t3 VALUES(2046);
743    INSERT INTO t3 VALUES(2047);
744    INSERT INTO t3 VALUES(2048);
745    INSERT INTO t3 VALUES(2049);
746    INSERT INTO t3 VALUES(2050);
747    INSERT INTO t3 VALUES(-2046);
748    INSERT INTO t3 VALUES(-2047);
749    INSERT INTO t3 VALUES(-2048);
750    INSERT INTO t3 VALUES(-2049);
751    INSERT INTO t3 VALUES(-2050);
752    INSERT INTO t3 VALUES(4094);
753    INSERT INTO t3 VALUES(4095);
754    INSERT INTO t3 VALUES(4096);
755    INSERT INTO t3 VALUES(4097);
756    INSERT INTO t3 VALUES(4098);
757    INSERT INTO t3 VALUES(-4094);
758    INSERT INTO t3 VALUES(-4095);
759    INSERT INTO t3 VALUES(-4096);
760    INSERT INTO t3 VALUES(-4097);
761    INSERT INTO t3 VALUES(-4098);
762    INSERT INTO t3 VALUES(8190);
763    INSERT INTO t3 VALUES(8191);
764    INSERT INTO t3 VALUES(8192);
765    INSERT INTO t3 VALUES(8193);
766    INSERT INTO t3 VALUES(8194);
767    INSERT INTO t3 VALUES(-8190);
768    INSERT INTO t3 VALUES(-8191);
769    INSERT INTO t3 VALUES(-8192);
770    INSERT INTO t3 VALUES(-8193);
771    INSERT INTO t3 VALUES(-8194);
772    INSERT INTO t3 VALUES(16382);
773    INSERT INTO t3 VALUES(16383);
774    INSERT INTO t3 VALUES(16384);
775    INSERT INTO t3 VALUES(16385);
776    INSERT INTO t3 VALUES(16386);
777    INSERT INTO t3 VALUES(-16382);
778    INSERT INTO t3 VALUES(-16383);
779    INSERT INTO t3 VALUES(-16384);
780    INSERT INTO t3 VALUES(-16385);
781    INSERT INTO t3 VALUES(-16386);
782    INSERT INTO t3 VALUES(32766);
783    INSERT INTO t3 VALUES(32767);
784    INSERT INTO t3 VALUES(32768);
785    INSERT INTO t3 VALUES(32769);
786    INSERT INTO t3 VALUES(32770);
787    INSERT INTO t3 VALUES(-32766);
788    INSERT INTO t3 VALUES(-32767);
789    INSERT INTO t3 VALUES(-32768);
790    INSERT INTO t3 VALUES(-32769);
791    INSERT INTO t3 VALUES(-32770);
792    INSERT INTO t3 VALUES(65534);
793    INSERT INTO t3 VALUES(65535);
794    INSERT INTO t3 VALUES(65536);
795    INSERT INTO t3 VALUES(65537);
796    INSERT INTO t3 VALUES(65538);
797    INSERT INTO t3 VALUES(-65534);
798    INSERT INTO t3 VALUES(-65535);
799    INSERT INTO t3 VALUES(-65536);
800    INSERT INTO t3 VALUES(-65537);
801    INSERT INTO t3 VALUES(-65538);
802    INSERT INTO t3 VALUES(131070);
803    INSERT INTO t3 VALUES(131071);
804    INSERT INTO t3 VALUES(131072);
805    INSERT INTO t3 VALUES(131073);
806    INSERT INTO t3 VALUES(131074);
807    INSERT INTO t3 VALUES(-131070);
808    INSERT INTO t3 VALUES(-131071);
809    INSERT INTO t3 VALUES(-131072);
810    INSERT INTO t3 VALUES(-131073);
811    INSERT INTO t3 VALUES(-131074);
812    INSERT INTO t3 VALUES(262142);
813    INSERT INTO t3 VALUES(262143);
814    INSERT INTO t3 VALUES(262144);
815    INSERT INTO t3 VALUES(262145);
816    INSERT INTO t3 VALUES(262146);
817    INSERT INTO t3 VALUES(-262142);
818    INSERT INTO t3 VALUES(-262143);
819    INSERT INTO t3 VALUES(-262144);
820    INSERT INTO t3 VALUES(-262145);
821    INSERT INTO t3 VALUES(-262146);
822    INSERT INTO t3 VALUES(524286);
823    INSERT INTO t3 VALUES(524287);
824    INSERT INTO t3 VALUES(524288);
825    INSERT INTO t3 VALUES(524289);
826    INSERT INTO t3 VALUES(524290);
827    INSERT INTO t3 VALUES(-524286);
828    INSERT INTO t3 VALUES(-524287);
829    INSERT INTO t3 VALUES(-524288);
830    INSERT INTO t3 VALUES(-524289);
831    INSERT INTO t3 VALUES(-524290);
832    INSERT INTO t3 VALUES(1048574);
833    INSERT INTO t3 VALUES(1048575);
834    INSERT INTO t3 VALUES(1048576);
835    INSERT INTO t3 VALUES(1048577);
836    INSERT INTO t3 VALUES(1048578);
837    INSERT INTO t3 VALUES(-1048574);
838    INSERT INTO t3 VALUES(-1048575);
839    INSERT INTO t3 VALUES(-1048576);
840    INSERT INTO t3 VALUES(-1048577);
841    INSERT INTO t3 VALUES(-1048578);
842    INSERT INTO t3 VALUES(2097150);
843    INSERT INTO t3 VALUES(2097151);
844    INSERT INTO t3 VALUES(2097152);
845    INSERT INTO t3 VALUES(2097153);
846    INSERT INTO t3 VALUES(2097154);
847    INSERT INTO t3 VALUES(-2097150);
848    INSERT INTO t3 VALUES(-2097151);
849    INSERT INTO t3 VALUES(-2097152);
850    INSERT INTO t3 VALUES(-2097153);
851    INSERT INTO t3 VALUES(-2097154);
852    INSERT INTO t3 VALUES(4194302);
853    INSERT INTO t3 VALUES(4194303);
854    INSERT INTO t3 VALUES(4194304);
855    INSERT INTO t3 VALUES(4194305);
856    INSERT INTO t3 VALUES(4194306);
857    INSERT INTO t3 VALUES(-4194302);
858    INSERT INTO t3 VALUES(-4194303);
859    INSERT INTO t3 VALUES(-4194304);
860    INSERT INTO t3 VALUES(-4194305);
861    INSERT INTO t3 VALUES(-4194306);
862    INSERT INTO t3 VALUES(8388606);
863    INSERT INTO t3 VALUES(8388607);
864    INSERT INTO t3 VALUES(8388608);
865    INSERT INTO t3 VALUES(8388609);
866    INSERT INTO t3 VALUES(8388610);
867    INSERT INTO t3 VALUES(-8388606);
868    INSERT INTO t3 VALUES(-8388607);
869    INSERT INTO t3 VALUES(-8388608);
870    INSERT INTO t3 VALUES(-8388609);
871    INSERT INTO t3 VALUES(-8388610);
872    INSERT INTO t3 VALUES(16777214);
873    INSERT INTO t3 VALUES(16777215);
874    INSERT INTO t3 VALUES(16777216);
875    INSERT INTO t3 VALUES(16777217);
876    INSERT INTO t3 VALUES(16777218);
877    INSERT INTO t3 VALUES(-16777214);
878    INSERT INTO t3 VALUES(-16777215);
879    INSERT INTO t3 VALUES(-16777216);
880    INSERT INTO t3 VALUES(-16777217);
881    INSERT INTO t3 VALUES(-16777218);
882    INSERT INTO t3 VALUES(33554430);
883    INSERT INTO t3 VALUES(33554431);
884    INSERT INTO t3 VALUES(33554432);
885    INSERT INTO t3 VALUES(33554433);
886    INSERT INTO t3 VALUES(33554434);
887    INSERT INTO t3 VALUES(-33554430);
888    INSERT INTO t3 VALUES(-33554431);
889    INSERT INTO t3 VALUES(-33554432);
890    INSERT INTO t3 VALUES(-33554433);
891    INSERT INTO t3 VALUES(-33554434);
892    INSERT INTO t3 VALUES(67108862);
893    INSERT INTO t3 VALUES(67108863);
894    INSERT INTO t3 VALUES(67108864);
895    INSERT INTO t3 VALUES(67108865);
896    INSERT INTO t3 VALUES(67108866);
897    INSERT INTO t3 VALUES(-67108862);
898    INSERT INTO t3 VALUES(-67108863);
899    INSERT INTO t3 VALUES(-67108864);
900    INSERT INTO t3 VALUES(-67108865);
901    INSERT INTO t3 VALUES(-67108866);
902    INSERT INTO t3 VALUES(134217726);
903    INSERT INTO t3 VALUES(134217727);
904    INSERT INTO t3 VALUES(134217728);
905    INSERT INTO t3 VALUES(134217729);
906    INSERT INTO t3 VALUES(134217730);
907    INSERT INTO t3 VALUES(-134217726);
908    INSERT INTO t3 VALUES(-134217727);
909    INSERT INTO t3 VALUES(-134217728);
910    INSERT INTO t3 VALUES(-134217729);
911    INSERT INTO t3 VALUES(-134217730);
912    INSERT INTO t3 VALUES(268435454);
913    INSERT INTO t3 VALUES(268435455);
914    INSERT INTO t3 VALUES(268435456);
915    INSERT INTO t3 VALUES(268435457);
916    INSERT INTO t3 VALUES(268435458);
917    INSERT INTO t3 VALUES(-268435454);
918    INSERT INTO t3 VALUES(-268435455);
919    INSERT INTO t3 VALUES(-268435456);
920    INSERT INTO t3 VALUES(-268435457);
921    INSERT INTO t3 VALUES(-268435458);
922    INSERT INTO t3 VALUES(536870910);
923    INSERT INTO t3 VALUES(536870911);
924    INSERT INTO t3 VALUES(536870912);
925    INSERT INTO t3 VALUES(536870913);
926    INSERT INTO t3 VALUES(536870914);
927    INSERT INTO t3 VALUES(-536870910);
928    INSERT INTO t3 VALUES(-536870911);
929    INSERT INTO t3 VALUES(-536870912);
930    INSERT INTO t3 VALUES(-536870913);
931    INSERT INTO t3 VALUES(-536870914);
932    INSERT INTO t3 VALUES(1073741822);
933    INSERT INTO t3 VALUES(1073741823);
934    INSERT INTO t3 VALUES(1073741824);
935    INSERT INTO t3 VALUES(1073741825);
936    INSERT INTO t3 VALUES(1073741826);
937    INSERT INTO t3 VALUES(-1073741822);
938    INSERT INTO t3 VALUES(-1073741823);
939    INSERT INTO t3 VALUES(-1073741824);
940    INSERT INTO t3 VALUES(-1073741825);
941    INSERT INTO t3 VALUES(-1073741826);
942    INSERT INTO t3 VALUES(2147483646);
943    INSERT INTO t3 VALUES(2147483647);
944    INSERT INTO t3 VALUES(2147483648);
945    INSERT INTO t3 VALUES(2147483649);
946    INSERT INTO t3 VALUES(2147483650);
947    INSERT INTO t3 VALUES(-2147483646);
948    INSERT INTO t3 VALUES(-2147483647);
949    INSERT INTO t3 VALUES(-2147483648);
950    INSERT INTO t3 VALUES(-2147483649);
951    INSERT INTO t3 VALUES(-2147483650);
952    INSERT INTO t3 VALUES(4294967294);
953    INSERT INTO t3 VALUES(4294967295);
954    INSERT INTO t3 VALUES(4294967296);
955    INSERT INTO t3 VALUES(4294967297);
956    INSERT INTO t3 VALUES(4294967298);
957    INSERT INTO t3 VALUES(-4294967294);
958    INSERT INTO t3 VALUES(-4294967295);
959    INSERT INTO t3 VALUES(-4294967296);
960    INSERT INTO t3 VALUES(-4294967297);
961    INSERT INTO t3 VALUES(-4294967298);
962    INSERT INTO t3 VALUES(8589934590);
963    INSERT INTO t3 VALUES(8589934591);
964    INSERT INTO t3 VALUES(8589934592);
965    INSERT INTO t3 VALUES(8589934593);
966    INSERT INTO t3 VALUES(8589934594);
967    INSERT INTO t3 VALUES(-8589934590);
968    INSERT INTO t3 VALUES(-8589934591);
969    INSERT INTO t3 VALUES(-8589934592);
970    INSERT INTO t3 VALUES(-8589934593);
971    INSERT INTO t3 VALUES(-8589934594);
972    INSERT INTO t3 VALUES(17179869182);
973    INSERT INTO t3 VALUES(17179869183);
974    INSERT INTO t3 VALUES(17179869184);
975    INSERT INTO t3 VALUES(17179869185);
976    INSERT INTO t3 VALUES(17179869186);
977    INSERT INTO t3 VALUES(-17179869182);
978    INSERT INTO t3 VALUES(-17179869183);
979    INSERT INTO t3 VALUES(-17179869184);
980    INSERT INTO t3 VALUES(-17179869185);
981    INSERT INTO t3 VALUES(-17179869186);
982    INSERT INTO t3 VALUES(34359738366);
983    INSERT INTO t3 VALUES(34359738367);
984    INSERT INTO t3 VALUES(34359738368);
985    INSERT INTO t3 VALUES(34359738369);
986    INSERT INTO t3 VALUES(34359738370);
987    INSERT INTO t3 VALUES(-34359738366);
988    INSERT INTO t3 VALUES(-34359738367);
989    INSERT INTO t3 VALUES(-34359738368);
990    INSERT INTO t3 VALUES(-34359738369);
991    INSERT INTO t3 VALUES(-34359738370);
992    INSERT INTO t3 VALUES(68719476734);
993    INSERT INTO t3 VALUES(68719476735);
994    INSERT INTO t3 VALUES(68719476736);
995    INSERT INTO t3 VALUES(68719476737);
996    INSERT INTO t3 VALUES(68719476738);
997    INSERT INTO t3 VALUES(-68719476734);
998    INSERT INTO t3 VALUES(-68719476735);
999    INSERT INTO t3 VALUES(-68719476736);
1000    INSERT INTO t3 VALUES(-68719476737);
1001    INSERT INTO t3 VALUES(-68719476738);
1002    INSERT INTO t3 VALUES(137438953470);
1003    INSERT INTO t3 VALUES(137438953471);
1004    INSERT INTO t3 VALUES(137438953472);
1005    INSERT INTO t3 VALUES(137438953473);
1006    INSERT INTO t3 VALUES(137438953474);
1007    INSERT INTO t3 VALUES(-137438953470);
1008    INSERT INTO t3 VALUES(-137438953471);
1009    INSERT INTO t3 VALUES(-137438953472);
1010    INSERT INTO t3 VALUES(-137438953473);
1011    INSERT INTO t3 VALUES(-137438953474);
1012    INSERT INTO t3 VALUES(274877906942);
1013    INSERT INTO t3 VALUES(274877906943);
1014    INSERT INTO t3 VALUES(274877906944);
1015    INSERT INTO t3 VALUES(274877906945);
1016    INSERT INTO t3 VALUES(274877906946);
1017    INSERT INTO t3 VALUES(-274877906942);
1018    INSERT INTO t3 VALUES(-274877906943);
1019    INSERT INTO t3 VALUES(-274877906944);
1020    INSERT INTO t3 VALUES(-274877906945);
1021    INSERT INTO t3 VALUES(-274877906946);
1022    INSERT INTO t3 VALUES(549755813886);
1023    INSERT INTO t3 VALUES(549755813887);
1024    INSERT INTO t3 VALUES(549755813888);
1025    INSERT INTO t3 VALUES(549755813889);
1026    INSERT INTO t3 VALUES(549755813890);
1027    INSERT INTO t3 VALUES(-549755813886);
1028    INSERT INTO t3 VALUES(-549755813887);
1029    INSERT INTO t3 VALUES(-549755813888);
1030    INSERT INTO t3 VALUES(-549755813889);
1031    INSERT INTO t3 VALUES(-549755813890);
1032    INSERT INTO t3 VALUES(1099511627774);
1033    INSERT INTO t3 VALUES(1099511627775);
1034    INSERT INTO t3 VALUES(1099511627776);
1035    INSERT INTO t3 VALUES(1099511627777);
1036    INSERT INTO t3 VALUES(1099511627778);
1037    INSERT INTO t3 VALUES(-1099511627774);
1038    INSERT INTO t3 VALUES(-1099511627775);
1039    INSERT INTO t3 VALUES(-1099511627776);
1040    INSERT INTO t3 VALUES(-1099511627777);
1041    INSERT INTO t3 VALUES(-1099511627778);
1042    INSERT INTO t3 VALUES(2199023255550);
1043    INSERT INTO t3 VALUES(2199023255551);
1044    INSERT INTO t3 VALUES(2199023255552);
1045    INSERT INTO t3 VALUES(2199023255553);
1046    INSERT INTO t3 VALUES(2199023255554);
1047    INSERT INTO t3 VALUES(-2199023255550);
1048    INSERT INTO t3 VALUES(-2199023255551);
1049    INSERT INTO t3 VALUES(-2199023255552);
1050    INSERT INTO t3 VALUES(-2199023255553);
1051    INSERT INTO t3 VALUES(-2199023255554);
1052    INSERT INTO t3 VALUES(4398046511102);
1053    INSERT INTO t3 VALUES(4398046511103);
1054    INSERT INTO t3 VALUES(4398046511104);
1055    INSERT INTO t3 VALUES(4398046511105);
1056    INSERT INTO t3 VALUES(4398046511106);
1057    INSERT INTO t3 VALUES(-4398046511102);
1058    INSERT INTO t3 VALUES(-4398046511103);
1059    INSERT INTO t3 VALUES(-4398046511104);
1060    INSERT INTO t3 VALUES(-4398046511105);
1061    INSERT INTO t3 VALUES(-4398046511106);
1062    INSERT INTO t3 VALUES(8796093022206);
1063    INSERT INTO t3 VALUES(8796093022207);
1064    INSERT INTO t3 VALUES(8796093022208);
1065    INSERT INTO t3 VALUES(8796093022209);
1066    INSERT INTO t3 VALUES(8796093022210);
1067    INSERT INTO t3 VALUES(-8796093022206);
1068    INSERT INTO t3 VALUES(-8796093022207);
1069    INSERT INTO t3 VALUES(-8796093022208);
1070    INSERT INTO t3 VALUES(-8796093022209);
1071    INSERT INTO t3 VALUES(-8796093022210);
1072    INSERT INTO t3 VALUES(17592186044414);
1073    INSERT INTO t3 VALUES(17592186044415);
1074    INSERT INTO t3 VALUES(17592186044416);
1075    INSERT INTO t3 VALUES(17592186044417);
1076    INSERT INTO t3 VALUES(17592186044418);
1077    INSERT INTO t3 VALUES(-17592186044414);
1078    INSERT INTO t3 VALUES(-17592186044415);
1079    INSERT INTO t3 VALUES(-17592186044416);
1080    INSERT INTO t3 VALUES(-17592186044417);
1081    INSERT INTO t3 VALUES(-17592186044418);
1082    INSERT INTO t3 VALUES(35184372088830);
1083    INSERT INTO t3 VALUES(35184372088831);
1084    INSERT INTO t3 VALUES(35184372088832);
1085    INSERT INTO t3 VALUES(35184372088833);
1086    INSERT INTO t3 VALUES(35184372088834);
1087    INSERT INTO t3 VALUES(-35184372088830);
1088    INSERT INTO t3 VALUES(-35184372088831);
1089    INSERT INTO t3 VALUES(-35184372088832);
1090    INSERT INTO t3 VALUES(-35184372088833);
1091    INSERT INTO t3 VALUES(-35184372088834);
1092    INSERT INTO t3 VALUES(70368744177662);
1093    INSERT INTO t3 VALUES(70368744177663);
1094    INSERT INTO t3 VALUES(70368744177664);
1095    INSERT INTO t3 VALUES(70368744177665);
1096    INSERT INTO t3 VALUES(70368744177666);
1097    INSERT INTO t3 VALUES(-70368744177662);
1098    INSERT INTO t3 VALUES(-70368744177663);
1099    INSERT INTO t3 VALUES(-70368744177664);
1100    INSERT INTO t3 VALUES(-70368744177665);
1101    INSERT INTO t3 VALUES(-70368744177666);
1102    INSERT INTO t3 VALUES(140737488355326);
1103    INSERT INTO t3 VALUES(140737488355327);
1104    INSERT INTO t3 VALUES(140737488355328);
1105    INSERT INTO t3 VALUES(140737488355329);
1106    INSERT INTO t3 VALUES(140737488355330);
1107    INSERT INTO t3 VALUES(-140737488355326);
1108    INSERT INTO t3 VALUES(-140737488355327);
1109    INSERT INTO t3 VALUES(-140737488355328);
1110    INSERT INTO t3 VALUES(-140737488355329);
1111    INSERT INTO t3 VALUES(-140737488355330);
1112    INSERT INTO t3 VALUES(281474976710654);
1113    INSERT INTO t3 VALUES(281474976710655);
1114    INSERT INTO t3 VALUES(281474976710656);
1115    INSERT INTO t3 VALUES(281474976710657);
1116    INSERT INTO t3 VALUES(281474976710658);
1117    INSERT INTO t3 VALUES(-281474976710654);
1118    INSERT INTO t3 VALUES(-281474976710655);
1119    INSERT INTO t3 VALUES(-281474976710656);
1120    INSERT INTO t3 VALUES(-281474976710657);
1121    INSERT INTO t3 VALUES(-281474976710658);
1122    INSERT INTO t3 VALUES(562949953421310);
1123    INSERT INTO t3 VALUES(562949953421311);
1124    INSERT INTO t3 VALUES(562949953421312);
1125    INSERT INTO t3 VALUES(562949953421313);
1126    INSERT INTO t3 VALUES(562949953421314);
1127    INSERT INTO t3 VALUES(-562949953421310);
1128    INSERT INTO t3 VALUES(-562949953421311);
1129    INSERT INTO t3 VALUES(-562949953421312);
1130    INSERT INTO t3 VALUES(-562949953421313);
1131    INSERT INTO t3 VALUES(-562949953421314);
1132    INSERT INTO t3 VALUES(1125899906842622);
1133    INSERT INTO t3 VALUES(1125899906842623);
1134    INSERT INTO t3 VALUES(1125899906842624);
1135    INSERT INTO t3 VALUES(1125899906842625);
1136    INSERT INTO t3 VALUES(1125899906842626);
1137    INSERT INTO t3 VALUES(-1125899906842622);
1138    INSERT INTO t3 VALUES(-1125899906842623);
1139    INSERT INTO t3 VALUES(-1125899906842624);
1140    INSERT INTO t3 VALUES(-1125899906842625);
1141    INSERT INTO t3 VALUES(-1125899906842626);
1142    INSERT INTO t3 VALUES(2251799813685246);
1143    INSERT INTO t3 VALUES(2251799813685247);
1144    INSERT INTO t3 VALUES(2251799813685248);
1145    INSERT INTO t3 VALUES(2251799813685249);
1146    INSERT INTO t3 VALUES(2251799813685250);
1147    INSERT INTO t3 VALUES(-2251799813685246);
1148    INSERT INTO t3 VALUES(-2251799813685247);
1149    INSERT INTO t3 VALUES(-2251799813685248);
1150    INSERT INTO t3 VALUES(-2251799813685249);
1151    INSERT INTO t3 VALUES(-2251799813685250);
1152    INSERT INTO t3 VALUES(4503599627370494);
1153    INSERT INTO t3 VALUES(4503599627370495);
1154    INSERT INTO t3 VALUES(4503599627370496);
1155    INSERT INTO t3 VALUES(4503599627370497);
1156    INSERT INTO t3 VALUES(4503599627370498);
1157    INSERT INTO t3 VALUES(-4503599627370494);
1158    INSERT INTO t3 VALUES(-4503599627370495);
1159    INSERT INTO t3 VALUES(-4503599627370496);
1160    INSERT INTO t3 VALUES(-4503599627370497);
1161    INSERT INTO t3 VALUES(-4503599627370498);
1162    INSERT INTO t3 VALUES(9007199254740990);
1163    INSERT INTO t3 VALUES(9007199254740991);
1164    INSERT INTO t3 VALUES(9007199254740992);
1165    INSERT INTO t3 VALUES(9007199254740993);
1166    INSERT INTO t3 VALUES(9007199254740994);
1167    INSERT INTO t3 VALUES(-9007199254740990);
1168    INSERT INTO t3 VALUES(-9007199254740991);
1169    INSERT INTO t3 VALUES(-9007199254740992);
1170    INSERT INTO t3 VALUES(-9007199254740993);
1171    INSERT INTO t3 VALUES(-9007199254740994);
1172    INSERT INTO t3 VALUES(18014398509481982);
1173    INSERT INTO t3 VALUES(18014398509481983);
1174    INSERT INTO t3 VALUES(18014398509481984);
1175    INSERT INTO t3 VALUES(18014398509481985);
1176    INSERT INTO t3 VALUES(18014398509481986);
1177    INSERT INTO t3 VALUES(-18014398509481982);
1178    INSERT INTO t3 VALUES(-18014398509481983);
1179    INSERT INTO t3 VALUES(-18014398509481984);
1180    INSERT INTO t3 VALUES(-18014398509481985);
1181    INSERT INTO t3 VALUES(-18014398509481986);
1182    INSERT INTO t3 VALUES(36028797018963966);
1183    INSERT INTO t3 VALUES(36028797018963967);
1184    INSERT INTO t3 VALUES(36028797018963968);
1185    INSERT INTO t3 VALUES(36028797018963969);
1186    INSERT INTO t3 VALUES(36028797018963970);
1187    INSERT INTO t3 VALUES(-36028797018963966);
1188    INSERT INTO t3 VALUES(-36028797018963967);
1189    INSERT INTO t3 VALUES(-36028797018963968);
1190    INSERT INTO t3 VALUES(-36028797018963969);
1191    INSERT INTO t3 VALUES(-36028797018963970);
1192    INSERT INTO t3 VALUES(72057594037927934);
1193    INSERT INTO t3 VALUES(72057594037927935);
1194    INSERT INTO t3 VALUES(72057594037927936);
1195    INSERT INTO t3 VALUES(72057594037927937);
1196    INSERT INTO t3 VALUES(72057594037927938);
1197    INSERT INTO t3 VALUES(-72057594037927934);
1198    INSERT INTO t3 VALUES(-72057594037927935);
1199    INSERT INTO t3 VALUES(-72057594037927936);
1200    INSERT INTO t3 VALUES(-72057594037927937);
1201    INSERT INTO t3 VALUES(-72057594037927938);
1202    INSERT INTO t3 VALUES(144115188075855870);
1203    INSERT INTO t3 VALUES(144115188075855871);
1204    INSERT INTO t3 VALUES(144115188075855872);
1205    INSERT INTO t3 VALUES(144115188075855873);
1206    INSERT INTO t3 VALUES(144115188075855874);
1207    INSERT INTO t3 VALUES(-144115188075855870);
1208    INSERT INTO t3 VALUES(-144115188075855871);
1209    INSERT INTO t3 VALUES(-144115188075855872);
1210    INSERT INTO t3 VALUES(-144115188075855873);
1211    INSERT INTO t3 VALUES(-144115188075855874);
1212    INSERT INTO t3 VALUES(288230376151711742);
1213    INSERT INTO t3 VALUES(288230376151711743);
1214    INSERT INTO t3 VALUES(288230376151711744);
1215    INSERT INTO t3 VALUES(288230376151711745);
1216    INSERT INTO t3 VALUES(288230376151711746);
1217    INSERT INTO t3 VALUES(-288230376151711742);
1218    INSERT INTO t3 VALUES(-288230376151711743);
1219    INSERT INTO t3 VALUES(-288230376151711744);
1220    INSERT INTO t3 VALUES(-288230376151711745);
1221    INSERT INTO t3 VALUES(-288230376151711746);
1222    INSERT INTO t3 VALUES(576460752303423486);
1223    INSERT INTO t3 VALUES(576460752303423487);
1224    INSERT INTO t3 VALUES(576460752303423488);
1225    INSERT INTO t3 VALUES(576460752303423489);
1226    INSERT INTO t3 VALUES(576460752303423490);
1227    INSERT INTO t3 VALUES(-576460752303423486);
1228    INSERT INTO t3 VALUES(-576460752303423487);
1229    INSERT INTO t3 VALUES(-576460752303423488);
1230    INSERT INTO t3 VALUES(-576460752303423489);
1231    INSERT INTO t3 VALUES(-576460752303423490);
1232    INSERT INTO t3 VALUES(1152921504606846974);
1233    INSERT INTO t3 VALUES(1152921504606846975);
1234    INSERT INTO t3 VALUES(1152921504606846976);
1235    INSERT INTO t3 VALUES(1152921504606846977);
1236    INSERT INTO t3 VALUES(1152921504606846978);
1237    INSERT INTO t3 VALUES(-1152921504606846974);
1238    INSERT INTO t3 VALUES(-1152921504606846975);
1239    INSERT INTO t3 VALUES(-1152921504606846976);
1240    INSERT INTO t3 VALUES(-1152921504606846977);
1241    INSERT INTO t3 VALUES(-1152921504606846978);
1242    INSERT INTO t3 VALUES(2305843009213693950);
1243    INSERT INTO t3 VALUES(2305843009213693951);
1244    INSERT INTO t3 VALUES(2305843009213693952);
1245    INSERT INTO t3 VALUES(2305843009213693953);
1246    INSERT INTO t3 VALUES(2305843009213693954);
1247    INSERT INTO t3 VALUES(-2305843009213693950);
1248    INSERT INTO t3 VALUES(-2305843009213693951);
1249    INSERT INTO t3 VALUES(-2305843009213693952);
1250    INSERT INTO t3 VALUES(-2305843009213693953);
1251    INSERT INTO t3 VALUES(-2305843009213693954);
1252    INSERT INTO t3 VALUES(4611686018427387902);
1253    INSERT INTO t3 VALUES(4611686018427387903);
1254    INSERT INTO t3 VALUES(4611686018427387904);
1255    INSERT INTO t3 VALUES(4611686018427387905);
1256    INSERT INTO t3 VALUES(4611686018427387906);
1257    INSERT INTO t3 VALUES(-4611686018427387902);
1258    INSERT INTO t3 VALUES(-4611686018427387903);
1259    INSERT INTO t3 VALUES(-4611686018427387904);
1260    INSERT INTO t3 VALUES(-4611686018427387905);
1261    INSERT INTO t3 VALUES(-4611686018427387906);
1262    INSERT INTO t3 VALUES(9223372036854775806);
1263    INSERT INTO t3 VALUES(9223372036854775807);
1264    INSERT INTO t3 VALUES(-9223372036854775806);
1265    INSERT INTO t3 VALUES(-9223372036854775807);
1266    INSERT INTO t3 VALUES(-9223372036854775808);
1267    SELECT x FROM t3 ORDER BY x;
1268  }
1269} {-9223372036854775808\
1270-9223372036854775807\
1271-9223372036854775806\
1272-4611686018427387906\
1273-4611686018427387905\
1274-4611686018427387904\
1275-4611686018427387903\
1276-4611686018427387902\
1277-2305843009213693954\
1278-2305843009213693953\
1279-2305843009213693952\
1280-2305843009213693951\
1281-2305843009213693950\
1282-1152921504606846978\
1283-1152921504606846977\
1284-1152921504606846976\
1285-1152921504606846975\
1286-1152921504606846974\
1287-576460752303423490\
1288-576460752303423489\
1289-576460752303423488\
1290-576460752303423487\
1291-576460752303423486\
1292-288230376151711746\
1293-288230376151711745\
1294-288230376151711744\
1295-288230376151711743\
1296-288230376151711742\
1297-144115188075855874\
1298-144115188075855873\
1299-144115188075855872\
1300-144115188075855871\
1301-144115188075855870\
1302-72057594037927938\
1303-72057594037927937\
1304-72057594037927936\
1305-72057594037927935\
1306-72057594037927934\
1307-36028797018963970\
1308-36028797018963969\
1309-36028797018963968\
1310-36028797018963967\
1311-36028797018963966\
1312-18014398509481986\
1313-18014398509481985\
1314-18014398509481984\
1315-18014398509481983\
1316-18014398509481982\
1317-9007199254740994\
1318-9007199254740993\
1319-9007199254740992\
1320-9007199254740991\
1321-9007199254740990\
1322-4503599627370498\
1323-4503599627370497\
1324-4503599627370496\
1325-4503599627370495\
1326-4503599627370494\
1327-2251799813685250\
1328-2251799813685249\
1329-2251799813685248\
1330-2251799813685247\
1331-2251799813685246\
1332-1125899906842626\
1333-1125899906842625\
1334-1125899906842624\
1335-1125899906842623\
1336-1125899906842622\
1337-562949953421314\
1338-562949953421313\
1339-562949953421312\
1340-562949953421311\
1341-562949953421310\
1342-281474976710658\
1343-281474976710657\
1344-281474976710656\
1345-281474976710655\
1346-281474976710654\
1347-140737488355330\
1348-140737488355329\
1349-140737488355328\
1350-140737488355327\
1351-140737488355326\
1352-70368744177666\
1353-70368744177665\
1354-70368744177664\
1355-70368744177663\
1356-70368744177662\
1357-35184372088834\
1358-35184372088833\
1359-35184372088832\
1360-35184372088831\
1361-35184372088830\
1362-17592186044418\
1363-17592186044417\
1364-17592186044416\
1365-17592186044415\
1366-17592186044414\
1367-8796093022210\
1368-8796093022209\
1369-8796093022208\
1370-8796093022207\
1371-8796093022206\
1372-4398046511106\
1373-4398046511105\
1374-4398046511104\
1375-4398046511103\
1376-4398046511102\
1377-2199023255554\
1378-2199023255553\
1379-2199023255552\
1380-2199023255551\
1381-2199023255550\
1382-1099511627778\
1383-1099511627777\
1384-1099511627776\
1385-1099511627775\
1386-1099511627774\
1387-549755813890\
1388-549755813889\
1389-549755813888\
1390-549755813887\
1391-549755813886\
1392-274877906946\
1393-274877906945\
1394-274877906944\
1395-274877906943\
1396-274877906942\
1397-137438953474\
1398-137438953473\
1399-137438953472\
1400-137438953471\
1401-137438953470\
1402-68719476738\
1403-68719476737\
1404-68719476736\
1405-68719476735\
1406-68719476734\
1407-34359738370\
1408-34359738369\
1409-34359738368\
1410-34359738367\
1411-34359738366\
1412-17179869186\
1413-17179869185\
1414-17179869184\
1415-17179869183\
1416-17179869182\
1417-8589934594\
1418-8589934593\
1419-8589934592\
1420-8589934591\
1421-8589934590\
1422-4294967298\
1423-4294967297\
1424-4294967296\
1425-4294967295\
1426-4294967294\
1427-2147483650\
1428-2147483649\
1429-2147483648\
1430-2147483647\
1431-2147483646\
1432-1073741826\
1433-1073741825\
1434-1073741824\
1435-1073741823\
1436-1073741822\
1437-536870914\
1438-536870913\
1439-536870912\
1440-536870911\
1441-536870910\
1442-268435458\
1443-268435457\
1444-268435456\
1445-268435455\
1446-268435454\
1447-134217730\
1448-134217729\
1449-134217728\
1450-134217727\
1451-134217726\
1452-67108866\
1453-67108865\
1454-67108864\
1455-67108863\
1456-67108862\
1457-33554434\
1458-33554433\
1459-33554432\
1460-33554431\
1461-33554430\
1462-16777218\
1463-16777217\
1464-16777216\
1465-16777215\
1466-16777214\
1467-8388610\
1468-8388609\
1469-8388608\
1470-8388607\
1471-8388606\
1472-4194306\
1473-4194305\
1474-4194304\
1475-4194303\
1476-4194302\
1477-2097154\
1478-2097153\
1479-2097152\
1480-2097151\
1481-2097150\
1482-1048578\
1483-1048577\
1484-1048576\
1485-1048575\
1486-1048574\
1487-524290\
1488-524289\
1489-524288\
1490-524287\
1491-524286\
1492-262146\
1493-262145\
1494-262144\
1495-262143\
1496-262142\
1497-131074\
1498-131073\
1499-131072\
1500-131071\
1501-131070\
1502-65538\
1503-65537\
1504-65536\
1505-65535\
1506-65534\
1507-32770\
1508-32769\
1509-32768\
1510-32767\
1511-32766\
1512-16386\
1513-16385\
1514-16384\
1515-16383\
1516-16382\
1517-8194\
1518-8193\
1519-8192\
1520-8191\
1521-8190\
1522-4098\
1523-4097\
1524-4096\
1525-4095\
1526-4094\
1527-2050\
1528-2049\
1529-2048\
1530-2047\
1531-2046\
1532-1026\
1533-1025\
1534-1024\
1535-1023\
1536-1022\
1537-514\
1538-513\
1539-512\
1540-511\
1541-510\
1542-258\
1543-257\
1544-256\
1545-255\
1546-254\
1547-130\
1548-129\
1549-128\
1550-127\
1551-126\
1552-66\
1553-65\
1554-64\
1555-63\
1556-62\
1557-34\
1558-33\
1559-32\
1560-31\
1561-30\
1562-18\
1563-17\
1564-16\
1565-15\
1566-14\
1567-13\
1568-12\
1569-11\
1570-10\
1571-9\
1572-8\
1573-7\
1574-6\
1575-5\
1576-4\
1577-3\
1578-2\
1579-1\
15800\
15811\
15822\
15833\
15844\
15855\
15866\
15877\
15888\
15899\
159010\
159111\
159212\
159313\
159414\
159515\
159616\
159717\
159818\
159930\
160031\
160132\
160233\
160334\
160462\
160563\
160664\
160765\
160866\
1609126\
1610127\
1611128\
1612129\
1613130\
1614254\
1615255\
1616256\
1617257\
1618258\
1619510\
1620511\
1621512\
1622513\
1623514\
16241022\
16251023\
16261024\
16271025\
16281026\
16292046\
16302047\
16312048\
16322049\
16332050\
16344094\
16354095\
16364096\
16374097\
16384098\
16398190\
16408191\
16418192\
16428193\
16438194\
164416382\
164516383\
164616384\
164716385\
164816386\
164932766\
165032767\
165132768\
165232769\
165332770\
165465534\
165565535\
165665536\
165765537\
165865538\
1659131070\
1660131071\
1661131072\
1662131073\
1663131074\
1664262142\
1665262143\
1666262144\
1667262145\
1668262146\
1669524286\
1670524287\
1671524288\
1672524289\
1673524290\
16741048574\
16751048575\
16761048576\
16771048577\
16781048578\
16792097150\
16802097151\
16812097152\
16822097153\
16832097154\
16844194302\
16854194303\
16864194304\
16874194305\
16884194306\
16898388606\
16908388607\
16918388608\
16928388609\
16938388610\
169416777214\
169516777215\
169616777216\
169716777217\
169816777218\
169933554430\
170033554431\
170133554432\
170233554433\
170333554434\
170467108862\
170567108863\
170667108864\
170767108865\
170867108866\
1709134217726\
1710134217727\
1711134217728\
1712134217729\
1713134217730\
1714268435454\
1715268435455\
1716268435456\
1717268435457\
1718268435458\
1719536870910\
1720536870911\
1721536870912\
1722536870913\
1723536870914\
17241073741822\
17251073741823\
17261073741824\
17271073741825\
17281073741826\
17292147483646\
17302147483647\
17312147483648\
17322147483649\
17332147483650\
17344294967294\
17354294967295\
17364294967296\
17374294967297\
17384294967298\
17398589934590\
17408589934591\
17418589934592\
17428589934593\
17438589934594\
174417179869182\
174517179869183\
174617179869184\
174717179869185\
174817179869186\
174934359738366\
175034359738367\
175134359738368\
175234359738369\
175334359738370\
175468719476734\
175568719476735\
175668719476736\
175768719476737\
175868719476738\
1759137438953470\
1760137438953471\
1761137438953472\
1762137438953473\
1763137438953474\
1764274877906942\
1765274877906943\
1766274877906944\
1767274877906945\
1768274877906946\
1769549755813886\
1770549755813887\
1771549755813888\
1772549755813889\
1773549755813890\
17741099511627774\
17751099511627775\
17761099511627776\
17771099511627777\
17781099511627778\
17792199023255550\
17802199023255551\
17812199023255552\
17822199023255553\
17832199023255554\
17844398046511102\
17854398046511103\
17864398046511104\
17874398046511105\
17884398046511106\
17898796093022206\
17908796093022207\
17918796093022208\
17928796093022209\
17938796093022210\
179417592186044414\
179517592186044415\
179617592186044416\
179717592186044417\
179817592186044418\
179935184372088830\
180035184372088831\
180135184372088832\
180235184372088833\
180335184372088834\
180470368744177662\
180570368744177663\
180670368744177664\
180770368744177665\
180870368744177666\
1809140737488355326\
1810140737488355327\
1811140737488355328\
1812140737488355329\
1813140737488355330\
1814281474976710654\
1815281474976710655\
1816281474976710656\
1817281474976710657\
1818281474976710658\
1819562949953421310\
1820562949953421311\
1821562949953421312\
1822562949953421313\
1823562949953421314\
18241125899906842622\
18251125899906842623\
18261125899906842624\
18271125899906842625\
18281125899906842626\
18292251799813685246\
18302251799813685247\
18312251799813685248\
18322251799813685249\
18332251799813685250\
18344503599627370494\
18354503599627370495\
18364503599627370496\
18374503599627370497\
18384503599627370498\
18399007199254740990\
18409007199254740991\
18419007199254740992\
18429007199254740993\
18439007199254740994\
184418014398509481982\
184518014398509481983\
184618014398509481984\
184718014398509481985\
184818014398509481986\
184936028797018963966\
185036028797018963967\
185136028797018963968\
185236028797018963969\
185336028797018963970\
185472057594037927934\
185572057594037927935\
185672057594037927936\
185772057594037927937\
185872057594037927938\
1859144115188075855870\
1860144115188075855871\
1861144115188075855872\
1862144115188075855873\
1863144115188075855874\
1864288230376151711742\
1865288230376151711743\
1866288230376151711744\
1867288230376151711745\
1868288230376151711746\
1869576460752303423486\
1870576460752303423487\
1871576460752303423488\
1872576460752303423489\
1873576460752303423490\
18741152921504606846974\
18751152921504606846975\
18761152921504606846976\
18771152921504606846977\
18781152921504606846978\
18792305843009213693950\
18802305843009213693951\
18812305843009213693952\
18822305843009213693953\
18832305843009213693954\
18844611686018427387902\
18854611686018427387903\
18864611686018427387904\
18874611686018427387905\
18884611686018427387906\
18899223372036854775806\
18909223372036854775807}
1891
1892finish_test
1893