Annotation of embedaddon/sqlite3/test/misc5.test, revision 1.1.1.1

1.1       misho       1: # 2005 Mar 16
                      2: #
                      3: # The author disclaims copyright to this source code.  In place of
                      4: # a legal notice, here is a blessing:
                      5: #
                      6: #    May you do good and not evil.
                      7: #    May you find forgiveness for yourself and forgive others.
                      8: #    May you share freely, never taking more than you give.
                      9: #
                     10: #***********************************************************************
                     11: # This file implements regression tests for SQLite library.
                     12: #
                     13: # This file implements tests for miscellanous features that were
                     14: # left out of other test files.
                     15: #
                     16: # $Id: misc5.test,v 1.22 2008/07/29 10:26:45 danielk1977 Exp $
                     17: 
                     18: set testdir [file dirname $argv0]
                     19: source $testdir/tester.tcl
                     20: 
                     21: # Build records using the MakeRecord opcode such that the size of the 
                     22: # header is at the transition point in the size of a varint.
                     23: #
                     24: # This test causes an assertion failure or a buffer overrun in version
                     25: # 3.1.5 and earlier.
                     26: #
                     27: for {set i 120} {$i<140} {incr i} {
                     28:   do_test misc5-1.$i {
                     29:     catchsql {DROP TABLE t1}
                     30:     set sql1 {CREATE TABLE t1}
                     31:     set sql2 {INSERT INTO t1 VALUES}
                     32:     set sep (
                     33:     for {set j 0} {$j<$i} {incr j} {
                     34:       append sql1 ${sep}a$j
                     35:       append sql2 ${sep}$j
                     36:       set sep ,
                     37:     }
                     38:     append sql1 {);}
                     39:     append sql2 {);}
                     40:     execsql $sql1$sql2
                     41:   } {}
                     42: }
                     43: 
                     44: # Make sure large integers are stored correctly.
                     45: #
                     46: ifcapable conflict {
                     47:   do_test misc5-2.1 {
                     48:     execsql {
                     49:       create table t2(x unique);
                     50:       insert into t2 values(1);
                     51:       insert or ignore into t2 select x*2 from t2;
                     52:       insert or ignore into t2 select x*4 from t2;
                     53:       insert or ignore into t2 select x*16 from t2;
                     54:       insert or ignore into t2 select x*256 from t2;
                     55:       insert or ignore into t2 select x*65536 from t2;
                     56:       insert or ignore into t2 select x*2147483648 from t2;
                     57:       insert or ignore into t2 select x-1 from t2;
                     58:       insert or ignore into t2 select x+1 from t2;
                     59:       insert or ignore into t2 select -x from t2;
                     60:       select count(*) from t2;
                     61:     }
                     62:   } 371
                     63: } else {
                     64:   do_test misc5-2.1 {
                     65:     execsql {
                     66:       BEGIN;
                     67:       create table t2(x unique);
                     68:       create table t2_temp(x);
                     69:       insert into t2_temp values(1);
                     70:       insert into t2_temp select x*2 from t2_temp;
                     71:       insert into t2_temp select x*4 from t2_temp;
                     72:       insert into t2_temp select x*16 from t2_temp;
                     73:       insert into t2_temp select x*256 from t2_temp;
                     74:       insert into t2_temp select x*65536 from t2_temp;
                     75:       insert into t2_temp select x*2147483648 from t2_temp;
                     76:       insert into t2_temp select x-1 from t2_temp;
                     77:       insert into t2_temp select x+1 from t2_temp;
                     78:       insert into t2_temp select -x from t2_temp;
                     79:       INSERT INTO t2 SELECT DISTINCT(x) FROM t2_temp;
                     80:       DROP TABLE t2_temp;
                     81:       COMMIT;
                     82:       select count(*) from t2;
                     83:     }
                     84:   } 371
                     85: }
                     86: do_test misc5-2.2 {
                     87:   execsql {
                     88:     select x from t2 order by x;
                     89:   }
                     90: } \
                     91: "-4611686018427387905\
                     92: -4611686018427387904\
                     93: -4611686018427387903\
                     94: -2305843009213693953\
                     95: -2305843009213693952\
                     96: -2305843009213693951\
                     97: -1152921504606846977\
                     98: -1152921504606846976\
                     99: -1152921504606846975\
                    100: -576460752303423489\
                    101: -576460752303423488\
                    102: -576460752303423487\
                    103: -288230376151711745\
                    104: -288230376151711744\
                    105: -288230376151711743\
                    106: -144115188075855873\
                    107: -144115188075855872\
                    108: -144115188075855871\
                    109: -72057594037927937\
                    110: -72057594037927936\
                    111: -72057594037927935\
                    112: -36028797018963969\
                    113: -36028797018963968\
                    114: -36028797018963967\
                    115: -18014398509481985\
                    116: -18014398509481984\
                    117: -18014398509481983\
                    118: -9007199254740993\
                    119: -9007199254740992\
                    120: -9007199254740991\
                    121: -4503599627370497\
                    122: -4503599627370496\
                    123: -4503599627370495\
                    124: -2251799813685249\
                    125: -2251799813685248\
                    126: -2251799813685247\
                    127: -1125899906842625\
                    128: -1125899906842624\
                    129: -1125899906842623\
                    130: -562949953421313\
                    131: -562949953421312\
                    132: -562949953421311\
                    133: -281474976710657\
                    134: -281474976710656\
                    135: -281474976710655\
                    136: -140737488355329\
                    137: -140737488355328\
                    138: -140737488355327\
                    139: -70368744177665\
                    140: -70368744177664\
                    141: -70368744177663\
                    142: -35184372088833\
                    143: -35184372088832\
                    144: -35184372088831\
                    145: -17592186044417\
                    146: -17592186044416\
                    147: -17592186044415\
                    148: -8796093022209\
                    149: -8796093022208\
                    150: -8796093022207\
                    151: -4398046511105\
                    152: -4398046511104\
                    153: -4398046511103\
                    154: -2199023255553\
                    155: -2199023255552\
                    156: -2199023255551\
                    157: -1099511627777\
                    158: -1099511627776\
                    159: -1099511627775\
                    160: -549755813889\
                    161: -549755813888\
                    162: -549755813887\
                    163: -274877906945\
                    164: -274877906944\
                    165: -274877906943\
                    166: -137438953473\
                    167: -137438953472\
                    168: -137438953471\
                    169: -68719476737\
                    170: -68719476736\
                    171: -68719476735\
                    172: -34359738369\
                    173: -34359738368\
                    174: -34359738367\
                    175: -17179869185\
                    176: -17179869184\
                    177: -17179869183\
                    178: -8589934593\
                    179: -8589934592\
                    180: -8589934591\
                    181: -4294967297\
                    182: -4294967296\
                    183: -4294967295\
                    184: -2147483649\
                    185: -2147483648\
                    186: -2147483647\
                    187: -1073741825\
                    188: -1073741824\
                    189: -1073741823\
                    190: -536870913\
                    191: -536870912\
                    192: -536870911\
                    193: -268435457\
                    194: -268435456\
                    195: -268435455\
                    196: -134217729\
                    197: -134217728\
                    198: -134217727\
                    199: -67108865\
                    200: -67108864\
                    201: -67108863\
                    202: -33554433\
                    203: -33554432\
                    204: -33554431\
                    205: -16777217\
                    206: -16777216\
                    207: -16777215\
                    208: -8388609\
                    209: -8388608\
                    210: -8388607\
                    211: -4194305\
                    212: -4194304\
                    213: -4194303\
                    214: -2097153\
                    215: -2097152\
                    216: -2097151\
                    217: -1048577\
                    218: -1048576\
                    219: -1048575\
                    220: -524289\
                    221: -524288\
                    222: -524287\
                    223: -262145\
                    224: -262144\
                    225: -262143\
                    226: -131073\
                    227: -131072\
                    228: -131071\
                    229: -65537\
                    230: -65536\
                    231: -65535\
                    232: -32769\
                    233: -32768\
                    234: -32767\
                    235: -16385\
                    236: -16384\
                    237: -16383\
                    238: -8193\
                    239: -8192\
                    240: -8191\
                    241: -4097\
                    242: -4096\
                    243: -4095\
                    244: -2049\
                    245: -2048\
                    246: -2047\
                    247: -1025\
                    248: -1024\
                    249: -1023\
                    250: -513\
                    251: -512\
                    252: -511\
                    253: -257\
                    254: -256\
                    255: -255\
                    256: -129\
                    257: -128\
                    258: -127\
                    259: -65\
                    260: -64\
                    261: -63\
                    262: -33\
                    263: -32\
                    264: -31\
                    265: -17\
                    266: -16\
                    267: -15\
                    268: -9\
                    269: -8\
                    270: -7\
                    271: -5\
                    272: -4\
                    273: -3\
                    274: -2\
                    275: -1\
                    276: 0\
                    277: 1\
                    278: 2\
                    279: 3\
                    280: 4\
                    281: 5\
                    282: 7\
                    283: 8\
                    284: 9\
                    285: 15\
                    286: 16\
                    287: 17\
                    288: 31\
                    289: 32\
                    290: 33\
                    291: 63\
                    292: 64\
                    293: 65\
                    294: 127\
                    295: 128\
                    296: 129\
                    297: 255\
                    298: 256\
                    299: 257\
                    300: 511\
                    301: 512\
                    302: 513\
                    303: 1023\
                    304: 1024\
                    305: 1025\
                    306: 2047\
                    307: 2048\
                    308: 2049\
                    309: 4095\
                    310: 4096\
                    311: 4097\
                    312: 8191\
                    313: 8192\
                    314: 8193\
                    315: 16383\
                    316: 16384\
                    317: 16385\
                    318: 32767\
                    319: 32768\
                    320: 32769\
                    321: 65535\
                    322: 65536\
                    323: 65537\
                    324: 131071\
                    325: 131072\
                    326: 131073\
                    327: 262143\
                    328: 262144\
                    329: 262145\
                    330: 524287\
                    331: 524288\
                    332: 524289\
                    333: 1048575\
                    334: 1048576\
                    335: 1048577\
                    336: 2097151\
                    337: 2097152\
                    338: 2097153\
                    339: 4194303\
                    340: 4194304\
                    341: 4194305\
                    342: 8388607\
                    343: 8388608\
                    344: 8388609\
                    345: 16777215\
                    346: 16777216\
                    347: 16777217\
                    348: 33554431\
                    349: 33554432\
                    350: 33554433\
                    351: 67108863\
                    352: 67108864\
                    353: 67108865\
                    354: 134217727\
                    355: 134217728\
                    356: 134217729\
                    357: 268435455\
                    358: 268435456\
                    359: 268435457\
                    360: 536870911\
                    361: 536870912\
                    362: 536870913\
                    363: 1073741823\
                    364: 1073741824\
                    365: 1073741825\
                    366: 2147483647\
                    367: 2147483648\
                    368: 2147483649\
                    369: 4294967295\
                    370: 4294967296\
                    371: 4294967297\
                    372: 8589934591\
                    373: 8589934592\
                    374: 8589934593\
                    375: 17179869183\
                    376: 17179869184\
                    377: 17179869185\
                    378: 34359738367\
                    379: 34359738368\
                    380: 34359738369\
                    381: 68719476735\
                    382: 68719476736\
                    383: 68719476737\
                    384: 137438953471\
                    385: 137438953472\
                    386: 137438953473\
                    387: 274877906943\
                    388: 274877906944\
                    389: 274877906945\
                    390: 549755813887\
                    391: 549755813888\
                    392: 549755813889\
                    393: 1099511627775\
                    394: 1099511627776\
                    395: 1099511627777\
                    396: 2199023255551\
                    397: 2199023255552\
                    398: 2199023255553\
                    399: 4398046511103\
                    400: 4398046511104\
                    401: 4398046511105\
                    402: 8796093022207\
                    403: 8796093022208\
                    404: 8796093022209\
                    405: 17592186044415\
                    406: 17592186044416\
                    407: 17592186044417\
                    408: 35184372088831\
                    409: 35184372088832\
                    410: 35184372088833\
                    411: 70368744177663\
                    412: 70368744177664\
                    413: 70368744177665\
                    414: 140737488355327\
                    415: 140737488355328\
                    416: 140737488355329\
                    417: 281474976710655\
                    418: 281474976710656\
                    419: 281474976710657\
                    420: 562949953421311\
                    421: 562949953421312\
                    422: 562949953421313\
                    423: 1125899906842623\
                    424: 1125899906842624\
                    425: 1125899906842625\
                    426: 2251799813685247\
                    427: 2251799813685248\
                    428: 2251799813685249\
                    429: 4503599627370495\
                    430: 4503599627370496\
                    431: 4503599627370497\
                    432: 9007199254740991\
                    433: 9007199254740992\
                    434: 9007199254740993\
                    435: 18014398509481983\
                    436: 18014398509481984\
                    437: 18014398509481985\
                    438: 36028797018963967\
                    439: 36028797018963968\
                    440: 36028797018963969\
                    441: 72057594037927935\
                    442: 72057594037927936\
                    443: 72057594037927937\
                    444: 144115188075855871\
                    445: 144115188075855872\
                    446: 144115188075855873\
                    447: 288230376151711743\
                    448: 288230376151711744\
                    449: 288230376151711745\
                    450: 576460752303423487\
                    451: 576460752303423488\
                    452: 576460752303423489\
                    453: 1152921504606846975\
                    454: 1152921504606846976\
                    455: 1152921504606846977\
                    456: 2305843009213693951\
                    457: 2305843009213693952\
                    458: 2305843009213693953\
                    459: 4611686018427387903\
                    460: 4611686018427387904\
                    461: 4611686018427387905"
                    462: 
                    463: # Ticket #1210.  Do proper reference counting of Table structures
                    464: # so that deeply nested SELECT statements can be flattened correctly.
                    465: #
                    466: ifcapable subquery {
                    467:   do_test misc5-3.1 {
                    468:     execsql {
                    469:       CREATE TABLE songs(songid, artist, timesplayed);
                    470:       INSERT INTO songs VALUES(1,'one',1);
                    471:       INSERT INTO songs VALUES(2,'one',2);
                    472:       INSERT INTO songs VALUES(3,'two',3);
                    473:       INSERT INTO songs VALUES(4,'three',5);
                    474:       INSERT INTO songs VALUES(5,'one',7);
                    475:       INSERT INTO songs VALUES(6,'two',11);
                    476:       SELECT DISTINCT artist 
                    477:       FROM (    
                    478:        SELECT DISTINCT artist    
                    479:        FROM songs      
                    480:        WHERE songid IN (    
                    481:         SELECT songid    
                    482:         FROM songs    
                    483:         WHERE LOWER(artist) = (    
                    484:           -- This sub-query is indeterminate. Because there is no ORDER BY,
                    485:           -- it may return 'one', 'two' or 'three'. Because of this, the
                    486:          -- outermost parent query may correctly return any of 'one', 'two' 
                    487:           -- or 'three' as well.
                    488:           SELECT DISTINCT LOWER(artist)    
                    489:           FROM (      
                    490:             -- This sub-query returns the table:
                    491:             --
                    492:             --     two      14
                    493:             --     one      10
                    494:             --     three    5
                    495:             --
                    496:             SELECT DISTINCT artist,sum(timesplayed) AS total      
                    497:             FROM songs      
                    498:             GROUP BY LOWER(artist)      
                    499:             ORDER BY total DESC      
                    500:             LIMIT 10    
                    501:           )    
                    502:           WHERE artist <> '' 
                    503:         )  
                    504:        )       
                    505:       )  
                    506:       ORDER BY LOWER(artist) ASC;
                    507:     }
                    508:   } {two}
                    509: }
                    510: 
                    511: # Ticket #1370.  Do not overwrite small files (less than 1024 bytes)
                    512: # when trying to open them as a database.
                    513: #
                    514: if {[permutation] == ""} {
                    515:   do_test misc5-4.1 {
                    516:     db close
                    517:     forcedelete test.db
                    518:     set fd [open test.db w]
                    519:     puts $fd "This is not really a database"
                    520:     close $fd
                    521:     sqlite3 db test.db
                    522:     catchsql {
                    523:       CREATE TABLE t1(a,b,c);
                    524:     }
                    525:   } {1 {file is encrypted or is not a database}}
                    526: }
                    527: 
                    528: # Ticket #1371.  Allow floating point numbers of the form .N  or N.
                    529: #
                    530: do_test misc5-5.1 {
                    531:   execsql {SELECT .1 }
                    532: } 0.1
                    533: do_test misc5-5.2 {
                    534:   execsql {SELECT 2. }
                    535: } 2.0
                    536: do_test misc5-5.3 {
                    537:   execsql {SELECT 3.e0 }
                    538: } 3.0
                    539: do_test misc5-5.4 {
                    540:   execsql {SELECT .4e+1}
                    541: } 4.0
                    542: 
                    543: # Ticket #1582.  Ensure that an unknown table in a LIMIT clause applied to
                    544: # a UNION ALL query causes an error, not a crash.
                    545: #
                    546: db close
                    547: forcedelete test.db
                    548: sqlite3 db test.db
                    549: ifcapable subquery&&compound {
                    550:   do_test misc5-6.1 {
                    551:     catchsql {
                    552:       SELECT * FROM sqlite_master 
                    553:       UNION ALL 
                    554:       SELECT * FROM sqlite_master
                    555:       LIMIT (SELECT count(*) FROM blah);
                    556:     }
                    557:   } {1 {no such table: blah}}
                    558:   do_test misc5-6.2 {
                    559:     execsql {
                    560:       CREATE TABLE logs(msg TEXT, timestamp INTEGER, dbtime TEXT);
                    561:     }
                    562:     catchsql {
                    563:       SELECT * FROM logs WHERE logs.oid >= (SELECT head FROM logs_base) 
                    564:       UNION ALL 
                    565:       SELECT * FROM logs 
                    566:       LIMIT (SELECT lmt FROM logs_base) ;
                    567:     }
                    568:   } {1 {no such table: logs_base}}
                    569: }
                    570: 
                    571: # Overflow the lemon parser stack by providing an overly complex
                    572: # expression.  Make sure that the overflow is detected and reported.
                    573: #
                    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}}
                    585: 
                    586: # Ticket #1911
                    587: #
                    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:   } {}
                    605: }
                    606: 
                    607: # Ticket #1912.  Make the tokenizer require a space after a numeric
                    608: # literal.
                    609: #
                    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"}}
                    620: 
                    621: 
                    622: # Additional integer encoding tests.
                    623: #
                    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\
                   1553: -9\
                   1554: -8\
                   1555: -7\
                   1556: -6\
                   1557: -5\
                   1558: -4\
                   1559: -3\
                   1560: -2\
                   1561: -1\
                   1562: 0\
                   1563: 1\
                   1564: 2\
                   1565: 3\
                   1566: 4\
                   1567: 5\
                   1568: 6\
                   1569: 7\
                   1570: 8\
                   1571: 9\
                   1572: 10\
                   1573: 11\
                   1574: 12\
                   1575: 13\
                   1576: 14\
                   1577: 15\
                   1578: 16\
                   1579: 17\
                   1580: 18\
                   1581: 30\
                   1582: 31\
                   1583: 32\
                   1584: 33\
                   1585: 34\
                   1586: 62\
                   1587: 63\
                   1588: 64\
                   1589: 65\
                   1590: 66\
                   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}
                   1873: 
                   1874: finish_test

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>