os/persistentdata/persistentstorage/sqlite3api/TEST/TclScript/misc5.test
changeset 0 bde4ae8d615e
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/os/persistentdata/persistentstorage/sqlite3api/TEST/TclScript/misc5.test	Fri Jun 15 03:10:57 2012 +0200
     1.3 @@ -0,0 +1,1872 @@
     1.4 +# 2005 Mar 16
     1.5 +#
     1.6 +# The author disclaims copyright to this source code.  In place of
     1.7 +# a legal notice, here is a blessing:
     1.8 +#
     1.9 +#    May you do good and not evil.
    1.10 +#    May you find forgiveness for yourself and forgive others.
    1.11 +#    May you share freely, never taking more than you give.
    1.12 +#
    1.13 +#***********************************************************************
    1.14 +# This file implements regression tests for SQLite library.
    1.15 +#
    1.16 +# This file implements tests for miscellanous features that were
    1.17 +# left out of other test files.
    1.18 +#
    1.19 +# $Id: misc5.test,v 1.22 2008/07/29 10:26:45 danielk1977 Exp $
    1.20 +
    1.21 +set testdir [file dirname $argv0]
    1.22 +source $testdir/tester.tcl
    1.23 +
    1.24 +# Build records using the MakeRecord opcode such that the size of the 
    1.25 +# header is at the transition point in the size of a varint.
    1.26 +#
    1.27 +# This test causes an assertion failure or a buffer overrun in version
    1.28 +# 3.1.5 and earlier.
    1.29 +#
    1.30 +for {set i 120} {$i<140} {incr i} {
    1.31 +  do_test misc5-1.$i {
    1.32 +    catchsql {DROP TABLE t1}
    1.33 +    set sql1 {CREATE TABLE t1}
    1.34 +    set sql2 {INSERT INTO t1 VALUES}
    1.35 +    set sep (
    1.36 +    for {set j 0} {$j<$i} {incr j} {
    1.37 +      append sql1 ${sep}a$j
    1.38 +      append sql2 ${sep}$j
    1.39 +      set sep ,
    1.40 +    }
    1.41 +    append sql1 {);}
    1.42 +    append sql2 {);}
    1.43 +    execsql $sql1$sql2
    1.44 +  } {}
    1.45 +}
    1.46 +
    1.47 +# Make sure large integers are stored correctly.
    1.48 +#
    1.49 +ifcapable conflict {
    1.50 +  do_test misc5-2.1 {
    1.51 +    execsql {
    1.52 +      create table t2(x unique);
    1.53 +      insert into t2 values(1);
    1.54 +      insert or ignore into t2 select x*2 from t2;
    1.55 +      insert or ignore into t2 select x*4 from t2;
    1.56 +      insert or ignore into t2 select x*16 from t2;
    1.57 +      insert or ignore into t2 select x*256 from t2;
    1.58 +      insert or ignore into t2 select x*65536 from t2;
    1.59 +      insert or ignore into t2 select x*2147483648 from t2;
    1.60 +      insert or ignore into t2 select x-1 from t2;
    1.61 +      insert or ignore into t2 select x+1 from t2;
    1.62 +      insert or ignore into t2 select -x from t2;
    1.63 +      select count(*) from t2;
    1.64 +    }
    1.65 +  } 371
    1.66 +} else {
    1.67 +  do_test misc5-2.1 {
    1.68 +    execsql {
    1.69 +      BEGIN;
    1.70 +      create table t2(x unique);
    1.71 +      create table t2_temp(x);
    1.72 +      insert into t2_temp values(1);
    1.73 +      insert into t2_temp select x*2 from t2_temp;
    1.74 +      insert into t2_temp select x*4 from t2_temp;
    1.75 +      insert into t2_temp select x*16 from t2_temp;
    1.76 +      insert into t2_temp select x*256 from t2_temp;
    1.77 +      insert into t2_temp select x*65536 from t2_temp;
    1.78 +      insert into t2_temp select x*2147483648 from t2_temp;
    1.79 +      insert into t2_temp select x-1 from t2_temp;
    1.80 +      insert into t2_temp select x+1 from t2_temp;
    1.81 +      insert into t2_temp select -x from t2_temp;
    1.82 +      INSERT INTO t2 SELECT DISTINCT(x) FROM t2_temp;
    1.83 +      DROP TABLE t2_temp;
    1.84 +      COMMIT;
    1.85 +      select count(*) from t2;
    1.86 +    }
    1.87 +  } 371
    1.88 +}
    1.89 +do_test misc5-2.2 {
    1.90 +  execsql {
    1.91 +    select x from t2 order by x;
    1.92 +  }
    1.93 +} \
    1.94 +"-4611686018427387905\
    1.95 +-4611686018427387904\
    1.96 +-4611686018427387903\
    1.97 +-2305843009213693953\
    1.98 +-2305843009213693952\
    1.99 +-2305843009213693951\
   1.100 +-1152921504606846977\
   1.101 +-1152921504606846976\
   1.102 +-1152921504606846975\
   1.103 +-576460752303423489\
   1.104 +-576460752303423488\
   1.105 +-576460752303423487\
   1.106 +-288230376151711745\
   1.107 +-288230376151711744\
   1.108 +-288230376151711743\
   1.109 +-144115188075855873\
   1.110 +-144115188075855872\
   1.111 +-144115188075855871\
   1.112 +-72057594037927937\
   1.113 +-72057594037927936\
   1.114 +-72057594037927935\
   1.115 +-36028797018963969\
   1.116 +-36028797018963968\
   1.117 +-36028797018963967\
   1.118 +-18014398509481985\
   1.119 +-18014398509481984\
   1.120 +-18014398509481983\
   1.121 +-9007199254740993\
   1.122 +-9007199254740992\
   1.123 +-9007199254740991\
   1.124 +-4503599627370497\
   1.125 +-4503599627370496\
   1.126 +-4503599627370495\
   1.127 +-2251799813685249\
   1.128 +-2251799813685248\
   1.129 +-2251799813685247\
   1.130 +-1125899906842625\
   1.131 +-1125899906842624\
   1.132 +-1125899906842623\
   1.133 +-562949953421313\
   1.134 +-562949953421312\
   1.135 +-562949953421311\
   1.136 +-281474976710657\
   1.137 +-281474976710656\
   1.138 +-281474976710655\
   1.139 +-140737488355329\
   1.140 +-140737488355328\
   1.141 +-140737488355327\
   1.142 +-70368744177665\
   1.143 +-70368744177664\
   1.144 +-70368744177663\
   1.145 +-35184372088833\
   1.146 +-35184372088832\
   1.147 +-35184372088831\
   1.148 +-17592186044417\
   1.149 +-17592186044416\
   1.150 +-17592186044415\
   1.151 +-8796093022209\
   1.152 +-8796093022208\
   1.153 +-8796093022207\
   1.154 +-4398046511105\
   1.155 +-4398046511104\
   1.156 +-4398046511103\
   1.157 +-2199023255553\
   1.158 +-2199023255552\
   1.159 +-2199023255551\
   1.160 +-1099511627777\
   1.161 +-1099511627776\
   1.162 +-1099511627775\
   1.163 +-549755813889\
   1.164 +-549755813888\
   1.165 +-549755813887\
   1.166 +-274877906945\
   1.167 +-274877906944\
   1.168 +-274877906943\
   1.169 +-137438953473\
   1.170 +-137438953472\
   1.171 +-137438953471\
   1.172 +-68719476737\
   1.173 +-68719476736\
   1.174 +-68719476735\
   1.175 +-34359738369\
   1.176 +-34359738368\
   1.177 +-34359738367\
   1.178 +-17179869185\
   1.179 +-17179869184\
   1.180 +-17179869183\
   1.181 +-8589934593\
   1.182 +-8589934592\
   1.183 +-8589934591\
   1.184 +-4294967297\
   1.185 +-4294967296\
   1.186 +-4294967295\
   1.187 +-2147483649\
   1.188 +-2147483648\
   1.189 +-2147483647\
   1.190 +-1073741825\
   1.191 +-1073741824\
   1.192 +-1073741823\
   1.193 +-536870913\
   1.194 +-536870912\
   1.195 +-536870911\
   1.196 +-268435457\
   1.197 +-268435456\
   1.198 +-268435455\
   1.199 +-134217729\
   1.200 +-134217728\
   1.201 +-134217727\
   1.202 +-67108865\
   1.203 +-67108864\
   1.204 +-67108863\
   1.205 +-33554433\
   1.206 +-33554432\
   1.207 +-33554431\
   1.208 +-16777217\
   1.209 +-16777216\
   1.210 +-16777215\
   1.211 +-8388609\
   1.212 +-8388608\
   1.213 +-8388607\
   1.214 +-4194305\
   1.215 +-4194304\
   1.216 +-4194303\
   1.217 +-2097153\
   1.218 +-2097152\
   1.219 +-2097151\
   1.220 +-1048577\
   1.221 +-1048576\
   1.222 +-1048575\
   1.223 +-524289\
   1.224 +-524288\
   1.225 +-524287\
   1.226 +-262145\
   1.227 +-262144\
   1.228 +-262143\
   1.229 +-131073\
   1.230 +-131072\
   1.231 +-131071\
   1.232 +-65537\
   1.233 +-65536\
   1.234 +-65535\
   1.235 +-32769\
   1.236 +-32768\
   1.237 +-32767\
   1.238 +-16385\
   1.239 +-16384\
   1.240 +-16383\
   1.241 +-8193\
   1.242 +-8192\
   1.243 +-8191\
   1.244 +-4097\
   1.245 +-4096\
   1.246 +-4095\
   1.247 +-2049\
   1.248 +-2048\
   1.249 +-2047\
   1.250 +-1025\
   1.251 +-1024\
   1.252 +-1023\
   1.253 +-513\
   1.254 +-512\
   1.255 +-511\
   1.256 +-257\
   1.257 +-256\
   1.258 +-255\
   1.259 +-129\
   1.260 +-128\
   1.261 +-127\
   1.262 +-65\
   1.263 +-64\
   1.264 +-63\
   1.265 +-33\
   1.266 +-32\
   1.267 +-31\
   1.268 +-17\
   1.269 +-16\
   1.270 +-15\
   1.271 +-9\
   1.272 +-8\
   1.273 +-7\
   1.274 +-5\
   1.275 +-4\
   1.276 +-3\
   1.277 +-2\
   1.278 +-1\
   1.279 +0\
   1.280 +1\
   1.281 +2\
   1.282 +3\
   1.283 +4\
   1.284 +5\
   1.285 +7\
   1.286 +8\
   1.287 +9\
   1.288 +15\
   1.289 +16\
   1.290 +17\
   1.291 +31\
   1.292 +32\
   1.293 +33\
   1.294 +63\
   1.295 +64\
   1.296 +65\
   1.297 +127\
   1.298 +128\
   1.299 +129\
   1.300 +255\
   1.301 +256\
   1.302 +257\
   1.303 +511\
   1.304 +512\
   1.305 +513\
   1.306 +1023\
   1.307 +1024\
   1.308 +1025\
   1.309 +2047\
   1.310 +2048\
   1.311 +2049\
   1.312 +4095\
   1.313 +4096\
   1.314 +4097\
   1.315 +8191\
   1.316 +8192\
   1.317 +8193\
   1.318 +16383\
   1.319 +16384\
   1.320 +16385\
   1.321 +32767\
   1.322 +32768\
   1.323 +32769\
   1.324 +65535\
   1.325 +65536\
   1.326 +65537\
   1.327 +131071\
   1.328 +131072\
   1.329 +131073\
   1.330 +262143\
   1.331 +262144\
   1.332 +262145\
   1.333 +524287\
   1.334 +524288\
   1.335 +524289\
   1.336 +1048575\
   1.337 +1048576\
   1.338 +1048577\
   1.339 +2097151\
   1.340 +2097152\
   1.341 +2097153\
   1.342 +4194303\
   1.343 +4194304\
   1.344 +4194305\
   1.345 +8388607\
   1.346 +8388608\
   1.347 +8388609\
   1.348 +16777215\
   1.349 +16777216\
   1.350 +16777217\
   1.351 +33554431\
   1.352 +33554432\
   1.353 +33554433\
   1.354 +67108863\
   1.355 +67108864\
   1.356 +67108865\
   1.357 +134217727\
   1.358 +134217728\
   1.359 +134217729\
   1.360 +268435455\
   1.361 +268435456\
   1.362 +268435457\
   1.363 +536870911\
   1.364 +536870912\
   1.365 +536870913\
   1.366 +1073741823\
   1.367 +1073741824\
   1.368 +1073741825\
   1.369 +2147483647\
   1.370 +2147483648\
   1.371 +2147483649\
   1.372 +4294967295\
   1.373 +4294967296\
   1.374 +4294967297\
   1.375 +8589934591\
   1.376 +8589934592\
   1.377 +8589934593\
   1.378 +17179869183\
   1.379 +17179869184\
   1.380 +17179869185\
   1.381 +34359738367\
   1.382 +34359738368\
   1.383 +34359738369\
   1.384 +68719476735\
   1.385 +68719476736\
   1.386 +68719476737\
   1.387 +137438953471\
   1.388 +137438953472\
   1.389 +137438953473\
   1.390 +274877906943\
   1.391 +274877906944\
   1.392 +274877906945\
   1.393 +549755813887\
   1.394 +549755813888\
   1.395 +549755813889\
   1.396 +1099511627775\
   1.397 +1099511627776\
   1.398 +1099511627777\
   1.399 +2199023255551\
   1.400 +2199023255552\
   1.401 +2199023255553\
   1.402 +4398046511103\
   1.403 +4398046511104\
   1.404 +4398046511105\
   1.405 +8796093022207\
   1.406 +8796093022208\
   1.407 +8796093022209\
   1.408 +17592186044415\
   1.409 +17592186044416\
   1.410 +17592186044417\
   1.411 +35184372088831\
   1.412 +35184372088832\
   1.413 +35184372088833\
   1.414 +70368744177663\
   1.415 +70368744177664\
   1.416 +70368744177665\
   1.417 +140737488355327\
   1.418 +140737488355328\
   1.419 +140737488355329\
   1.420 +281474976710655\
   1.421 +281474976710656\
   1.422 +281474976710657\
   1.423 +562949953421311\
   1.424 +562949953421312\
   1.425 +562949953421313\
   1.426 +1125899906842623\
   1.427 +1125899906842624\
   1.428 +1125899906842625\
   1.429 +2251799813685247\
   1.430 +2251799813685248\
   1.431 +2251799813685249\
   1.432 +4503599627370495\
   1.433 +4503599627370496\
   1.434 +4503599627370497\
   1.435 +9007199254740991\
   1.436 +9007199254740992\
   1.437 +9007199254740993\
   1.438 +18014398509481983\
   1.439 +18014398509481984\
   1.440 +18014398509481985\
   1.441 +36028797018963967\
   1.442 +36028797018963968\
   1.443 +36028797018963969\
   1.444 +72057594037927935\
   1.445 +72057594037927936\
   1.446 +72057594037927937\
   1.447 +144115188075855871\
   1.448 +144115188075855872\
   1.449 +144115188075855873\
   1.450 +288230376151711743\
   1.451 +288230376151711744\
   1.452 +288230376151711745\
   1.453 +576460752303423487\
   1.454 +576460752303423488\
   1.455 +576460752303423489\
   1.456 +1152921504606846975\
   1.457 +1152921504606846976\
   1.458 +1152921504606846977\
   1.459 +2305843009213693951\
   1.460 +2305843009213693952\
   1.461 +2305843009213693953\
   1.462 +4611686018427387903\
   1.463 +4611686018427387904\
   1.464 +4611686018427387905"
   1.465 +
   1.466 +# Ticket #1210.  Do proper reference counting of Table structures
   1.467 +# so that deeply nested SELECT statements can be flattened correctly.
   1.468 +#
   1.469 +ifcapable subquery {
   1.470 +  do_test misc5-3.1 {
   1.471 +    execsql {
   1.472 +      CREATE TABLE songs(songid, artist, timesplayed);
   1.473 +      INSERT INTO songs VALUES(1,'one',1);
   1.474 +      INSERT INTO songs VALUES(2,'one',2);
   1.475 +      INSERT INTO songs VALUES(3,'two',3);
   1.476 +      INSERT INTO songs VALUES(4,'three',5);
   1.477 +      INSERT INTO songs VALUES(5,'one',7);
   1.478 +      INSERT INTO songs VALUES(6,'two',11);
   1.479 +      SELECT DISTINCT artist 
   1.480 +      FROM (    
   1.481 +       SELECT DISTINCT artist    
   1.482 +       FROM songs      
   1.483 +       WHERE songid IN (    
   1.484 +        SELECT songid    
   1.485 +        FROM songs    
   1.486 +        WHERE LOWER(artist) = (    
   1.487 +          -- This sub-query is indeterminate. Because there is no ORDER BY,
   1.488 +          -- it may return 'one', 'two' or 'three'. Because of this, the
   1.489 +	  -- outermost parent query may correctly return any of 'one', 'two' 
   1.490 +          -- or 'three' as well.
   1.491 +          SELECT DISTINCT LOWER(artist)    
   1.492 +          FROM (      
   1.493 +            -- This sub-query returns the table:
   1.494 +            --
   1.495 +            --     two      14
   1.496 +            --     one      10
   1.497 +            --     three    5
   1.498 +            --
   1.499 +            SELECT DISTINCT artist,sum(timesplayed) AS total      
   1.500 +            FROM songs      
   1.501 +            GROUP BY LOWER(artist)      
   1.502 +            ORDER BY total DESC      
   1.503 +            LIMIT 10    
   1.504 +          )    
   1.505 +          WHERE artist <> '' 
   1.506 +        )  
   1.507 +       )       
   1.508 +      )  
   1.509 +      ORDER BY LOWER(artist) ASC;
   1.510 +    }
   1.511 +  } {one}
   1.512 +}
   1.513 +
   1.514 +# Ticket #1370.  Do not overwrite small files (less than 1024 bytes)
   1.515 +# when trying to open them as a database.
   1.516 +#
   1.517 +do_test misc5-4.1 {
   1.518 +  db close
   1.519 +  file delete -force test.db
   1.520 +  set fd [open test.db w]
   1.521 +  puts $fd "This is not really a database"
   1.522 +  close $fd
   1.523 +  sqlite3 db test.db
   1.524 +  catchsql {
   1.525 +    CREATE TABLE t1(a,b,c);
   1.526 +  }
   1.527 +} {1 {file is encrypted or is not a database}}
   1.528 +
   1.529 +# Ticket #1371.  Allow floating point numbers of the form .N  or N.
   1.530 +#
   1.531 +do_test misc5-5.1 {
   1.532 +  execsql {SELECT .1 }
   1.533 +} 0.1
   1.534 +do_test misc5-5.2 {
   1.535 +  execsql {SELECT 2. }
   1.536 +} 2.0
   1.537 +do_test misc5-5.3 {
   1.538 +  execsql {SELECT 3.e0 }
   1.539 +} 3.0
   1.540 +do_test misc5-5.4 {
   1.541 +  execsql {SELECT .4e+1}
   1.542 +} 4.0
   1.543 +
   1.544 +# Ticket #1582.  Ensure that an unknown table in a LIMIT clause applied to
   1.545 +# a UNION ALL query causes an error, not a crash.
   1.546 +#
   1.547 +db close
   1.548 +file delete -force test.db
   1.549 +sqlite3 db test.db
   1.550 +ifcapable subquery&&compound {
   1.551 +  do_test misc5-6.1 {
   1.552 +    catchsql {
   1.553 +      SELECT * FROM sqlite_master 
   1.554 +      UNION ALL 
   1.555 +      SELECT * FROM sqlite_master
   1.556 +      LIMIT (SELECT count(*) FROM blah);
   1.557 +    }
   1.558 +  } {1 {no such table: blah}}
   1.559 +  do_test misc5-6.2 {
   1.560 +    execsql {
   1.561 +      CREATE TABLE logs(msg TEXT, timestamp INTEGER, dbtime TEXT);
   1.562 +    }
   1.563 +    catchsql {
   1.564 +      SELECT * FROM logs WHERE logs.oid >= (SELECT head FROM logs_base) 
   1.565 +      UNION ALL 
   1.566 +      SELECT * FROM logs 
   1.567 +      LIMIT (SELECT lmt FROM logs_base) ;
   1.568 +    }
   1.569 +  } {1 {no such table: logs_base}}
   1.570 +}
   1.571 +
   1.572 +# Overflow the lemon parser stack by providing an overly complex
   1.573 +# expression.  Make sure that the overflow is detected and reported.
   1.574 +#
   1.575 +do_test misc5-7.1 {
   1.576 +  execsql {CREATE TABLE t1(x)}
   1.577 +  set sql "INSERT INTO t1 VALUES("
   1.578 +  set tail ""
   1.579 +  for {set i 0} {$i<200} {incr i} {
   1.580 +    append sql "(1+"
   1.581 +    append tail ")"
   1.582 +  }
   1.583 +  append sql 2$tail
   1.584 +  catchsql $sql
   1.585 +} {1 {parser stack overflow}}
   1.586 +
   1.587 +# Ticket #1911
   1.588 +#
   1.589 +ifcapable compound {
   1.590 +  do_test misc5-9.1 {
   1.591 +    execsql {
   1.592 +      SELECT name, type FROM sqlite_master WHERE name IS NULL
   1.593 +      UNION
   1.594 +      SELECT type, name FROM sqlite_master WHERE type IS NULL
   1.595 +      ORDER BY 1, 2, 1, 2, 1, 2
   1.596 +    }
   1.597 +  } {}
   1.598 +  do_test misc5-9.2 {
   1.599 +    execsql {
   1.600 +      SELECT name, type FROM sqlite_master WHERE name IS NULL
   1.601 +      UNION
   1.602 +      SELECT type, name FROM sqlite_master WHERE type IS NULL
   1.603 +      ORDER BY 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2
   1.604 +    }
   1.605 +  } {}
   1.606 +}
   1.607 +
   1.608 +# Ticket #1912.  Make the tokenizer require a space after a numeric
   1.609 +# literal.
   1.610 +#
   1.611 +do_test misc5-10.1 {
   1.612 +  catchsql {
   1.613 +    SELECT 123abc
   1.614 +  }
   1.615 +} {1 {unrecognized token: "123abc"}}
   1.616 +do_test misc5-10.2 {
   1.617 +  catchsql {
   1.618 +    SELECT 1*123.4e5ghi;
   1.619 +  }
   1.620 +} {1 {unrecognized token: "123.4e5ghi"}}
   1.621 +
   1.622 +
   1.623 +# Additional integer encoding tests.
   1.624 +#
   1.625 +do_test misc5-11.1 {
   1.626 +  db eval {
   1.627 +    CREATE TABLE t3(x);
   1.628 +    INSERT INTO t3 VALUES(-18);
   1.629 +    INSERT INTO t3 VALUES(-17);
   1.630 +    INSERT INTO t3 VALUES(-16);
   1.631 +    INSERT INTO t3 VALUES(-15);
   1.632 +    INSERT INTO t3 VALUES(-14);
   1.633 +    INSERT INTO t3 VALUES(-13);
   1.634 +    INSERT INTO t3 VALUES(-12);
   1.635 +    INSERT INTO t3 VALUES(-11);
   1.636 +    INSERT INTO t3 VALUES(-10);
   1.637 +    INSERT INTO t3 VALUES(-9);
   1.638 +    INSERT INTO t3 VALUES(-8);
   1.639 +    INSERT INTO t3 VALUES(-7);
   1.640 +    INSERT INTO t3 VALUES(-6);
   1.641 +    INSERT INTO t3 VALUES(-5);
   1.642 +    INSERT INTO t3 VALUES(-4);
   1.643 +    INSERT INTO t3 VALUES(-3);
   1.644 +    INSERT INTO t3 VALUES(-2);
   1.645 +    INSERT INTO t3 VALUES(-1);
   1.646 +    INSERT INTO t3 VALUES(0);
   1.647 +    INSERT INTO t3 VALUES(1);
   1.648 +    INSERT INTO t3 VALUES(2);
   1.649 +    INSERT INTO t3 VALUES(3);
   1.650 +    INSERT INTO t3 VALUES(4);
   1.651 +    INSERT INTO t3 VALUES(5);
   1.652 +    INSERT INTO t3 VALUES(6);
   1.653 +    INSERT INTO t3 VALUES(7);
   1.654 +    INSERT INTO t3 VALUES(8);
   1.655 +    INSERT INTO t3 VALUES(9);
   1.656 +    INSERT INTO t3 VALUES(10);
   1.657 +    INSERT INTO t3 VALUES(11);
   1.658 +    INSERT INTO t3 VALUES(12);
   1.659 +    INSERT INTO t3 VALUES(13);
   1.660 +    INSERT INTO t3 VALUES(14);
   1.661 +    INSERT INTO t3 VALUES(15);
   1.662 +    INSERT INTO t3 VALUES(16);
   1.663 +    INSERT INTO t3 VALUES(17);
   1.664 +    INSERT INTO t3 VALUES(18);
   1.665 +    INSERT INTO t3 VALUES(30);
   1.666 +    INSERT INTO t3 VALUES(31);
   1.667 +    INSERT INTO t3 VALUES(32);
   1.668 +    INSERT INTO t3 VALUES(33);
   1.669 +    INSERT INTO t3 VALUES(34);
   1.670 +    INSERT INTO t3 VALUES(-30);
   1.671 +    INSERT INTO t3 VALUES(-31);
   1.672 +    INSERT INTO t3 VALUES(-32);
   1.673 +    INSERT INTO t3 VALUES(-33);
   1.674 +    INSERT INTO t3 VALUES(-34);
   1.675 +    INSERT INTO t3 VALUES(62);
   1.676 +    INSERT INTO t3 VALUES(63);
   1.677 +    INSERT INTO t3 VALUES(64);
   1.678 +    INSERT INTO t3 VALUES(65);
   1.679 +    INSERT INTO t3 VALUES(66);
   1.680 +    INSERT INTO t3 VALUES(-62);
   1.681 +    INSERT INTO t3 VALUES(-63);
   1.682 +    INSERT INTO t3 VALUES(-64);
   1.683 +    INSERT INTO t3 VALUES(-65);
   1.684 +    INSERT INTO t3 VALUES(-66);
   1.685 +    INSERT INTO t3 VALUES(126);
   1.686 +    INSERT INTO t3 VALUES(127);
   1.687 +    INSERT INTO t3 VALUES(128);
   1.688 +    INSERT INTO t3 VALUES(129);
   1.689 +    INSERT INTO t3 VALUES(130);
   1.690 +    INSERT INTO t3 VALUES(-126);
   1.691 +    INSERT INTO t3 VALUES(-127);
   1.692 +    INSERT INTO t3 VALUES(-128);
   1.693 +    INSERT INTO t3 VALUES(-129);
   1.694 +    INSERT INTO t3 VALUES(-130);
   1.695 +    INSERT INTO t3 VALUES(254);
   1.696 +    INSERT INTO t3 VALUES(255);
   1.697 +    INSERT INTO t3 VALUES(256);
   1.698 +    INSERT INTO t3 VALUES(257);
   1.699 +    INSERT INTO t3 VALUES(258);
   1.700 +    INSERT INTO t3 VALUES(-254);
   1.701 +    INSERT INTO t3 VALUES(-255);
   1.702 +    INSERT INTO t3 VALUES(-256);
   1.703 +    INSERT INTO t3 VALUES(-257);
   1.704 +    INSERT INTO t3 VALUES(-258);
   1.705 +    INSERT INTO t3 VALUES(510);
   1.706 +    INSERT INTO t3 VALUES(511);
   1.707 +    INSERT INTO t3 VALUES(512);
   1.708 +    INSERT INTO t3 VALUES(513);
   1.709 +    INSERT INTO t3 VALUES(514);
   1.710 +    INSERT INTO t3 VALUES(-510);
   1.711 +    INSERT INTO t3 VALUES(-511);
   1.712 +    INSERT INTO t3 VALUES(-512);
   1.713 +    INSERT INTO t3 VALUES(-513);
   1.714 +    INSERT INTO t3 VALUES(-514);
   1.715 +    INSERT INTO t3 VALUES(1022);
   1.716 +    INSERT INTO t3 VALUES(1023);
   1.717 +    INSERT INTO t3 VALUES(1024);
   1.718 +    INSERT INTO t3 VALUES(1025);
   1.719 +    INSERT INTO t3 VALUES(1026);
   1.720 +    INSERT INTO t3 VALUES(-1022);
   1.721 +    INSERT INTO t3 VALUES(-1023);
   1.722 +    INSERT INTO t3 VALUES(-1024);
   1.723 +    INSERT INTO t3 VALUES(-1025);
   1.724 +    INSERT INTO t3 VALUES(-1026);
   1.725 +    INSERT INTO t3 VALUES(2046);
   1.726 +    INSERT INTO t3 VALUES(2047);
   1.727 +    INSERT INTO t3 VALUES(2048);
   1.728 +    INSERT INTO t3 VALUES(2049);
   1.729 +    INSERT INTO t3 VALUES(2050);
   1.730 +    INSERT INTO t3 VALUES(-2046);
   1.731 +    INSERT INTO t3 VALUES(-2047);
   1.732 +    INSERT INTO t3 VALUES(-2048);
   1.733 +    INSERT INTO t3 VALUES(-2049);
   1.734 +    INSERT INTO t3 VALUES(-2050);
   1.735 +    INSERT INTO t3 VALUES(4094);
   1.736 +    INSERT INTO t3 VALUES(4095);
   1.737 +    INSERT INTO t3 VALUES(4096);
   1.738 +    INSERT INTO t3 VALUES(4097);
   1.739 +    INSERT INTO t3 VALUES(4098);
   1.740 +    INSERT INTO t3 VALUES(-4094);
   1.741 +    INSERT INTO t3 VALUES(-4095);
   1.742 +    INSERT INTO t3 VALUES(-4096);
   1.743 +    INSERT INTO t3 VALUES(-4097);
   1.744 +    INSERT INTO t3 VALUES(-4098);
   1.745 +    INSERT INTO t3 VALUES(8190);
   1.746 +    INSERT INTO t3 VALUES(8191);
   1.747 +    INSERT INTO t3 VALUES(8192);
   1.748 +    INSERT INTO t3 VALUES(8193);
   1.749 +    INSERT INTO t3 VALUES(8194);
   1.750 +    INSERT INTO t3 VALUES(-8190);
   1.751 +    INSERT INTO t3 VALUES(-8191);
   1.752 +    INSERT INTO t3 VALUES(-8192);
   1.753 +    INSERT INTO t3 VALUES(-8193);
   1.754 +    INSERT INTO t3 VALUES(-8194);
   1.755 +    INSERT INTO t3 VALUES(16382);
   1.756 +    INSERT INTO t3 VALUES(16383);
   1.757 +    INSERT INTO t3 VALUES(16384);
   1.758 +    INSERT INTO t3 VALUES(16385);
   1.759 +    INSERT INTO t3 VALUES(16386);
   1.760 +    INSERT INTO t3 VALUES(-16382);
   1.761 +    INSERT INTO t3 VALUES(-16383);
   1.762 +    INSERT INTO t3 VALUES(-16384);
   1.763 +    INSERT INTO t3 VALUES(-16385);
   1.764 +    INSERT INTO t3 VALUES(-16386);
   1.765 +    INSERT INTO t3 VALUES(32766);
   1.766 +    INSERT INTO t3 VALUES(32767);
   1.767 +    INSERT INTO t3 VALUES(32768);
   1.768 +    INSERT INTO t3 VALUES(32769);
   1.769 +    INSERT INTO t3 VALUES(32770);
   1.770 +    INSERT INTO t3 VALUES(-32766);
   1.771 +    INSERT INTO t3 VALUES(-32767);
   1.772 +    INSERT INTO t3 VALUES(-32768);
   1.773 +    INSERT INTO t3 VALUES(-32769);
   1.774 +    INSERT INTO t3 VALUES(-32770);
   1.775 +    INSERT INTO t3 VALUES(65534);
   1.776 +    INSERT INTO t3 VALUES(65535);
   1.777 +    INSERT INTO t3 VALUES(65536);
   1.778 +    INSERT INTO t3 VALUES(65537);
   1.779 +    INSERT INTO t3 VALUES(65538);
   1.780 +    INSERT INTO t3 VALUES(-65534);
   1.781 +    INSERT INTO t3 VALUES(-65535);
   1.782 +    INSERT INTO t3 VALUES(-65536);
   1.783 +    INSERT INTO t3 VALUES(-65537);
   1.784 +    INSERT INTO t3 VALUES(-65538);
   1.785 +    INSERT INTO t3 VALUES(131070);
   1.786 +    INSERT INTO t3 VALUES(131071);
   1.787 +    INSERT INTO t3 VALUES(131072);
   1.788 +    INSERT INTO t3 VALUES(131073);
   1.789 +    INSERT INTO t3 VALUES(131074);
   1.790 +    INSERT INTO t3 VALUES(-131070);
   1.791 +    INSERT INTO t3 VALUES(-131071);
   1.792 +    INSERT INTO t3 VALUES(-131072);
   1.793 +    INSERT INTO t3 VALUES(-131073);
   1.794 +    INSERT INTO t3 VALUES(-131074);
   1.795 +    INSERT INTO t3 VALUES(262142);
   1.796 +    INSERT INTO t3 VALUES(262143);
   1.797 +    INSERT INTO t3 VALUES(262144);
   1.798 +    INSERT INTO t3 VALUES(262145);
   1.799 +    INSERT INTO t3 VALUES(262146);
   1.800 +    INSERT INTO t3 VALUES(-262142);
   1.801 +    INSERT INTO t3 VALUES(-262143);
   1.802 +    INSERT INTO t3 VALUES(-262144);
   1.803 +    INSERT INTO t3 VALUES(-262145);
   1.804 +    INSERT INTO t3 VALUES(-262146);
   1.805 +    INSERT INTO t3 VALUES(524286);
   1.806 +    INSERT INTO t3 VALUES(524287);
   1.807 +    INSERT INTO t3 VALUES(524288);
   1.808 +    INSERT INTO t3 VALUES(524289);
   1.809 +    INSERT INTO t3 VALUES(524290);
   1.810 +    INSERT INTO t3 VALUES(-524286);
   1.811 +    INSERT INTO t3 VALUES(-524287);
   1.812 +    INSERT INTO t3 VALUES(-524288);
   1.813 +    INSERT INTO t3 VALUES(-524289);
   1.814 +    INSERT INTO t3 VALUES(-524290);
   1.815 +    INSERT INTO t3 VALUES(1048574);
   1.816 +    INSERT INTO t3 VALUES(1048575);
   1.817 +    INSERT INTO t3 VALUES(1048576);
   1.818 +    INSERT INTO t3 VALUES(1048577);
   1.819 +    INSERT INTO t3 VALUES(1048578);
   1.820 +    INSERT INTO t3 VALUES(-1048574);
   1.821 +    INSERT INTO t3 VALUES(-1048575);
   1.822 +    INSERT INTO t3 VALUES(-1048576);
   1.823 +    INSERT INTO t3 VALUES(-1048577);
   1.824 +    INSERT INTO t3 VALUES(-1048578);
   1.825 +    INSERT INTO t3 VALUES(2097150);
   1.826 +    INSERT INTO t3 VALUES(2097151);
   1.827 +    INSERT INTO t3 VALUES(2097152);
   1.828 +    INSERT INTO t3 VALUES(2097153);
   1.829 +    INSERT INTO t3 VALUES(2097154);
   1.830 +    INSERT INTO t3 VALUES(-2097150);
   1.831 +    INSERT INTO t3 VALUES(-2097151);
   1.832 +    INSERT INTO t3 VALUES(-2097152);
   1.833 +    INSERT INTO t3 VALUES(-2097153);
   1.834 +    INSERT INTO t3 VALUES(-2097154);
   1.835 +    INSERT INTO t3 VALUES(4194302);
   1.836 +    INSERT INTO t3 VALUES(4194303);
   1.837 +    INSERT INTO t3 VALUES(4194304);
   1.838 +    INSERT INTO t3 VALUES(4194305);
   1.839 +    INSERT INTO t3 VALUES(4194306);
   1.840 +    INSERT INTO t3 VALUES(-4194302);
   1.841 +    INSERT INTO t3 VALUES(-4194303);
   1.842 +    INSERT INTO t3 VALUES(-4194304);
   1.843 +    INSERT INTO t3 VALUES(-4194305);
   1.844 +    INSERT INTO t3 VALUES(-4194306);
   1.845 +    INSERT INTO t3 VALUES(8388606);
   1.846 +    INSERT INTO t3 VALUES(8388607);
   1.847 +    INSERT INTO t3 VALUES(8388608);
   1.848 +    INSERT INTO t3 VALUES(8388609);
   1.849 +    INSERT INTO t3 VALUES(8388610);
   1.850 +    INSERT INTO t3 VALUES(-8388606);
   1.851 +    INSERT INTO t3 VALUES(-8388607);
   1.852 +    INSERT INTO t3 VALUES(-8388608);
   1.853 +    INSERT INTO t3 VALUES(-8388609);
   1.854 +    INSERT INTO t3 VALUES(-8388610);
   1.855 +    INSERT INTO t3 VALUES(16777214);
   1.856 +    INSERT INTO t3 VALUES(16777215);
   1.857 +    INSERT INTO t3 VALUES(16777216);
   1.858 +    INSERT INTO t3 VALUES(16777217);
   1.859 +    INSERT INTO t3 VALUES(16777218);
   1.860 +    INSERT INTO t3 VALUES(-16777214);
   1.861 +    INSERT INTO t3 VALUES(-16777215);
   1.862 +    INSERT INTO t3 VALUES(-16777216);
   1.863 +    INSERT INTO t3 VALUES(-16777217);
   1.864 +    INSERT INTO t3 VALUES(-16777218);
   1.865 +    INSERT INTO t3 VALUES(33554430);
   1.866 +    INSERT INTO t3 VALUES(33554431);
   1.867 +    INSERT INTO t3 VALUES(33554432);
   1.868 +    INSERT INTO t3 VALUES(33554433);
   1.869 +    INSERT INTO t3 VALUES(33554434);
   1.870 +    INSERT INTO t3 VALUES(-33554430);
   1.871 +    INSERT INTO t3 VALUES(-33554431);
   1.872 +    INSERT INTO t3 VALUES(-33554432);
   1.873 +    INSERT INTO t3 VALUES(-33554433);
   1.874 +    INSERT INTO t3 VALUES(-33554434);
   1.875 +    INSERT INTO t3 VALUES(67108862);
   1.876 +    INSERT INTO t3 VALUES(67108863);
   1.877 +    INSERT INTO t3 VALUES(67108864);
   1.878 +    INSERT INTO t3 VALUES(67108865);
   1.879 +    INSERT INTO t3 VALUES(67108866);
   1.880 +    INSERT INTO t3 VALUES(-67108862);
   1.881 +    INSERT INTO t3 VALUES(-67108863);
   1.882 +    INSERT INTO t3 VALUES(-67108864);
   1.883 +    INSERT INTO t3 VALUES(-67108865);
   1.884 +    INSERT INTO t3 VALUES(-67108866);
   1.885 +    INSERT INTO t3 VALUES(134217726);
   1.886 +    INSERT INTO t3 VALUES(134217727);
   1.887 +    INSERT INTO t3 VALUES(134217728);
   1.888 +    INSERT INTO t3 VALUES(134217729);
   1.889 +    INSERT INTO t3 VALUES(134217730);
   1.890 +    INSERT INTO t3 VALUES(-134217726);
   1.891 +    INSERT INTO t3 VALUES(-134217727);
   1.892 +    INSERT INTO t3 VALUES(-134217728);
   1.893 +    INSERT INTO t3 VALUES(-134217729);
   1.894 +    INSERT INTO t3 VALUES(-134217730);
   1.895 +    INSERT INTO t3 VALUES(268435454);
   1.896 +    INSERT INTO t3 VALUES(268435455);
   1.897 +    INSERT INTO t3 VALUES(268435456);
   1.898 +    INSERT INTO t3 VALUES(268435457);
   1.899 +    INSERT INTO t3 VALUES(268435458);
   1.900 +    INSERT INTO t3 VALUES(-268435454);
   1.901 +    INSERT INTO t3 VALUES(-268435455);
   1.902 +    INSERT INTO t3 VALUES(-268435456);
   1.903 +    INSERT INTO t3 VALUES(-268435457);
   1.904 +    INSERT INTO t3 VALUES(-268435458);
   1.905 +    INSERT INTO t3 VALUES(536870910);
   1.906 +    INSERT INTO t3 VALUES(536870911);
   1.907 +    INSERT INTO t3 VALUES(536870912);
   1.908 +    INSERT INTO t3 VALUES(536870913);
   1.909 +    INSERT INTO t3 VALUES(536870914);
   1.910 +    INSERT INTO t3 VALUES(-536870910);
   1.911 +    INSERT INTO t3 VALUES(-536870911);
   1.912 +    INSERT INTO t3 VALUES(-536870912);
   1.913 +    INSERT INTO t3 VALUES(-536870913);
   1.914 +    INSERT INTO t3 VALUES(-536870914);
   1.915 +    INSERT INTO t3 VALUES(1073741822);
   1.916 +    INSERT INTO t3 VALUES(1073741823);
   1.917 +    INSERT INTO t3 VALUES(1073741824);
   1.918 +    INSERT INTO t3 VALUES(1073741825);
   1.919 +    INSERT INTO t3 VALUES(1073741826);
   1.920 +    INSERT INTO t3 VALUES(-1073741822);
   1.921 +    INSERT INTO t3 VALUES(-1073741823);
   1.922 +    INSERT INTO t3 VALUES(-1073741824);
   1.923 +    INSERT INTO t3 VALUES(-1073741825);
   1.924 +    INSERT INTO t3 VALUES(-1073741826);
   1.925 +    INSERT INTO t3 VALUES(2147483646);
   1.926 +    INSERT INTO t3 VALUES(2147483647);
   1.927 +    INSERT INTO t3 VALUES(2147483648);
   1.928 +    INSERT INTO t3 VALUES(2147483649);
   1.929 +    INSERT INTO t3 VALUES(2147483650);
   1.930 +    INSERT INTO t3 VALUES(-2147483646);
   1.931 +    INSERT INTO t3 VALUES(-2147483647);
   1.932 +    INSERT INTO t3 VALUES(-2147483648);
   1.933 +    INSERT INTO t3 VALUES(-2147483649);
   1.934 +    INSERT INTO t3 VALUES(-2147483650);
   1.935 +    INSERT INTO t3 VALUES(4294967294);
   1.936 +    INSERT INTO t3 VALUES(4294967295);
   1.937 +    INSERT INTO t3 VALUES(4294967296);
   1.938 +    INSERT INTO t3 VALUES(4294967297);
   1.939 +    INSERT INTO t3 VALUES(4294967298);
   1.940 +    INSERT INTO t3 VALUES(-4294967294);
   1.941 +    INSERT INTO t3 VALUES(-4294967295);
   1.942 +    INSERT INTO t3 VALUES(-4294967296);
   1.943 +    INSERT INTO t3 VALUES(-4294967297);
   1.944 +    INSERT INTO t3 VALUES(-4294967298);
   1.945 +    INSERT INTO t3 VALUES(8589934590);
   1.946 +    INSERT INTO t3 VALUES(8589934591);
   1.947 +    INSERT INTO t3 VALUES(8589934592);
   1.948 +    INSERT INTO t3 VALUES(8589934593);
   1.949 +    INSERT INTO t3 VALUES(8589934594);
   1.950 +    INSERT INTO t3 VALUES(-8589934590);
   1.951 +    INSERT INTO t3 VALUES(-8589934591);
   1.952 +    INSERT INTO t3 VALUES(-8589934592);
   1.953 +    INSERT INTO t3 VALUES(-8589934593);
   1.954 +    INSERT INTO t3 VALUES(-8589934594);
   1.955 +    INSERT INTO t3 VALUES(17179869182);
   1.956 +    INSERT INTO t3 VALUES(17179869183);
   1.957 +    INSERT INTO t3 VALUES(17179869184);
   1.958 +    INSERT INTO t3 VALUES(17179869185);
   1.959 +    INSERT INTO t3 VALUES(17179869186);
   1.960 +    INSERT INTO t3 VALUES(-17179869182);
   1.961 +    INSERT INTO t3 VALUES(-17179869183);
   1.962 +    INSERT INTO t3 VALUES(-17179869184);
   1.963 +    INSERT INTO t3 VALUES(-17179869185);
   1.964 +    INSERT INTO t3 VALUES(-17179869186);
   1.965 +    INSERT INTO t3 VALUES(34359738366);
   1.966 +    INSERT INTO t3 VALUES(34359738367);
   1.967 +    INSERT INTO t3 VALUES(34359738368);
   1.968 +    INSERT INTO t3 VALUES(34359738369);
   1.969 +    INSERT INTO t3 VALUES(34359738370);
   1.970 +    INSERT INTO t3 VALUES(-34359738366);
   1.971 +    INSERT INTO t3 VALUES(-34359738367);
   1.972 +    INSERT INTO t3 VALUES(-34359738368);
   1.973 +    INSERT INTO t3 VALUES(-34359738369);
   1.974 +    INSERT INTO t3 VALUES(-34359738370);
   1.975 +    INSERT INTO t3 VALUES(68719476734);
   1.976 +    INSERT INTO t3 VALUES(68719476735);
   1.977 +    INSERT INTO t3 VALUES(68719476736);
   1.978 +    INSERT INTO t3 VALUES(68719476737);
   1.979 +    INSERT INTO t3 VALUES(68719476738);
   1.980 +    INSERT INTO t3 VALUES(-68719476734);
   1.981 +    INSERT INTO t3 VALUES(-68719476735);
   1.982 +    INSERT INTO t3 VALUES(-68719476736);
   1.983 +    INSERT INTO t3 VALUES(-68719476737);
   1.984 +    INSERT INTO t3 VALUES(-68719476738);
   1.985 +    INSERT INTO t3 VALUES(137438953470);
   1.986 +    INSERT INTO t3 VALUES(137438953471);
   1.987 +    INSERT INTO t3 VALUES(137438953472);
   1.988 +    INSERT INTO t3 VALUES(137438953473);
   1.989 +    INSERT INTO t3 VALUES(137438953474);
   1.990 +    INSERT INTO t3 VALUES(-137438953470);
   1.991 +    INSERT INTO t3 VALUES(-137438953471);
   1.992 +    INSERT INTO t3 VALUES(-137438953472);
   1.993 +    INSERT INTO t3 VALUES(-137438953473);
   1.994 +    INSERT INTO t3 VALUES(-137438953474);
   1.995 +    INSERT INTO t3 VALUES(274877906942);
   1.996 +    INSERT INTO t3 VALUES(274877906943);
   1.997 +    INSERT INTO t3 VALUES(274877906944);
   1.998 +    INSERT INTO t3 VALUES(274877906945);
   1.999 +    INSERT INTO t3 VALUES(274877906946);
  1.1000 +    INSERT INTO t3 VALUES(-274877906942);
  1.1001 +    INSERT INTO t3 VALUES(-274877906943);
  1.1002 +    INSERT INTO t3 VALUES(-274877906944);
  1.1003 +    INSERT INTO t3 VALUES(-274877906945);
  1.1004 +    INSERT INTO t3 VALUES(-274877906946);
  1.1005 +    INSERT INTO t3 VALUES(549755813886);
  1.1006 +    INSERT INTO t3 VALUES(549755813887);
  1.1007 +    INSERT INTO t3 VALUES(549755813888);
  1.1008 +    INSERT INTO t3 VALUES(549755813889);
  1.1009 +    INSERT INTO t3 VALUES(549755813890);
  1.1010 +    INSERT INTO t3 VALUES(-549755813886);
  1.1011 +    INSERT INTO t3 VALUES(-549755813887);
  1.1012 +    INSERT INTO t3 VALUES(-549755813888);
  1.1013 +    INSERT INTO t3 VALUES(-549755813889);
  1.1014 +    INSERT INTO t3 VALUES(-549755813890);
  1.1015 +    INSERT INTO t3 VALUES(1099511627774);
  1.1016 +    INSERT INTO t3 VALUES(1099511627775);
  1.1017 +    INSERT INTO t3 VALUES(1099511627776);
  1.1018 +    INSERT INTO t3 VALUES(1099511627777);
  1.1019 +    INSERT INTO t3 VALUES(1099511627778);
  1.1020 +    INSERT INTO t3 VALUES(-1099511627774);
  1.1021 +    INSERT INTO t3 VALUES(-1099511627775);
  1.1022 +    INSERT INTO t3 VALUES(-1099511627776);
  1.1023 +    INSERT INTO t3 VALUES(-1099511627777);
  1.1024 +    INSERT INTO t3 VALUES(-1099511627778);
  1.1025 +    INSERT INTO t3 VALUES(2199023255550);
  1.1026 +    INSERT INTO t3 VALUES(2199023255551);
  1.1027 +    INSERT INTO t3 VALUES(2199023255552);
  1.1028 +    INSERT INTO t3 VALUES(2199023255553);
  1.1029 +    INSERT INTO t3 VALUES(2199023255554);
  1.1030 +    INSERT INTO t3 VALUES(-2199023255550);
  1.1031 +    INSERT INTO t3 VALUES(-2199023255551);
  1.1032 +    INSERT INTO t3 VALUES(-2199023255552);
  1.1033 +    INSERT INTO t3 VALUES(-2199023255553);
  1.1034 +    INSERT INTO t3 VALUES(-2199023255554);
  1.1035 +    INSERT INTO t3 VALUES(4398046511102);
  1.1036 +    INSERT INTO t3 VALUES(4398046511103);
  1.1037 +    INSERT INTO t3 VALUES(4398046511104);
  1.1038 +    INSERT INTO t3 VALUES(4398046511105);
  1.1039 +    INSERT INTO t3 VALUES(4398046511106);
  1.1040 +    INSERT INTO t3 VALUES(-4398046511102);
  1.1041 +    INSERT INTO t3 VALUES(-4398046511103);
  1.1042 +    INSERT INTO t3 VALUES(-4398046511104);
  1.1043 +    INSERT INTO t3 VALUES(-4398046511105);
  1.1044 +    INSERT INTO t3 VALUES(-4398046511106);
  1.1045 +    INSERT INTO t3 VALUES(8796093022206);
  1.1046 +    INSERT INTO t3 VALUES(8796093022207);
  1.1047 +    INSERT INTO t3 VALUES(8796093022208);
  1.1048 +    INSERT INTO t3 VALUES(8796093022209);
  1.1049 +    INSERT INTO t3 VALUES(8796093022210);
  1.1050 +    INSERT INTO t3 VALUES(-8796093022206);
  1.1051 +    INSERT INTO t3 VALUES(-8796093022207);
  1.1052 +    INSERT INTO t3 VALUES(-8796093022208);
  1.1053 +    INSERT INTO t3 VALUES(-8796093022209);
  1.1054 +    INSERT INTO t3 VALUES(-8796093022210);
  1.1055 +    INSERT INTO t3 VALUES(17592186044414);
  1.1056 +    INSERT INTO t3 VALUES(17592186044415);
  1.1057 +    INSERT INTO t3 VALUES(17592186044416);
  1.1058 +    INSERT INTO t3 VALUES(17592186044417);
  1.1059 +    INSERT INTO t3 VALUES(17592186044418);
  1.1060 +    INSERT INTO t3 VALUES(-17592186044414);
  1.1061 +    INSERT INTO t3 VALUES(-17592186044415);
  1.1062 +    INSERT INTO t3 VALUES(-17592186044416);
  1.1063 +    INSERT INTO t3 VALUES(-17592186044417);
  1.1064 +    INSERT INTO t3 VALUES(-17592186044418);
  1.1065 +    INSERT INTO t3 VALUES(35184372088830);
  1.1066 +    INSERT INTO t3 VALUES(35184372088831);
  1.1067 +    INSERT INTO t3 VALUES(35184372088832);
  1.1068 +    INSERT INTO t3 VALUES(35184372088833);
  1.1069 +    INSERT INTO t3 VALUES(35184372088834);
  1.1070 +    INSERT INTO t3 VALUES(-35184372088830);
  1.1071 +    INSERT INTO t3 VALUES(-35184372088831);
  1.1072 +    INSERT INTO t3 VALUES(-35184372088832);
  1.1073 +    INSERT INTO t3 VALUES(-35184372088833);
  1.1074 +    INSERT INTO t3 VALUES(-35184372088834);
  1.1075 +    INSERT INTO t3 VALUES(70368744177662);
  1.1076 +    INSERT INTO t3 VALUES(70368744177663);
  1.1077 +    INSERT INTO t3 VALUES(70368744177664);
  1.1078 +    INSERT INTO t3 VALUES(70368744177665);
  1.1079 +    INSERT INTO t3 VALUES(70368744177666);
  1.1080 +    INSERT INTO t3 VALUES(-70368744177662);
  1.1081 +    INSERT INTO t3 VALUES(-70368744177663);
  1.1082 +    INSERT INTO t3 VALUES(-70368744177664);
  1.1083 +    INSERT INTO t3 VALUES(-70368744177665);
  1.1084 +    INSERT INTO t3 VALUES(-70368744177666);
  1.1085 +    INSERT INTO t3 VALUES(140737488355326);
  1.1086 +    INSERT INTO t3 VALUES(140737488355327);
  1.1087 +    INSERT INTO t3 VALUES(140737488355328);
  1.1088 +    INSERT INTO t3 VALUES(140737488355329);
  1.1089 +    INSERT INTO t3 VALUES(140737488355330);
  1.1090 +    INSERT INTO t3 VALUES(-140737488355326);
  1.1091 +    INSERT INTO t3 VALUES(-140737488355327);
  1.1092 +    INSERT INTO t3 VALUES(-140737488355328);
  1.1093 +    INSERT INTO t3 VALUES(-140737488355329);
  1.1094 +    INSERT INTO t3 VALUES(-140737488355330);
  1.1095 +    INSERT INTO t3 VALUES(281474976710654);
  1.1096 +    INSERT INTO t3 VALUES(281474976710655);
  1.1097 +    INSERT INTO t3 VALUES(281474976710656);
  1.1098 +    INSERT INTO t3 VALUES(281474976710657);
  1.1099 +    INSERT INTO t3 VALUES(281474976710658);
  1.1100 +    INSERT INTO t3 VALUES(-281474976710654);
  1.1101 +    INSERT INTO t3 VALUES(-281474976710655);
  1.1102 +    INSERT INTO t3 VALUES(-281474976710656);
  1.1103 +    INSERT INTO t3 VALUES(-281474976710657);
  1.1104 +    INSERT INTO t3 VALUES(-281474976710658);
  1.1105 +    INSERT INTO t3 VALUES(562949953421310);
  1.1106 +    INSERT INTO t3 VALUES(562949953421311);
  1.1107 +    INSERT INTO t3 VALUES(562949953421312);
  1.1108 +    INSERT INTO t3 VALUES(562949953421313);
  1.1109 +    INSERT INTO t3 VALUES(562949953421314);
  1.1110 +    INSERT INTO t3 VALUES(-562949953421310);
  1.1111 +    INSERT INTO t3 VALUES(-562949953421311);
  1.1112 +    INSERT INTO t3 VALUES(-562949953421312);
  1.1113 +    INSERT INTO t3 VALUES(-562949953421313);
  1.1114 +    INSERT INTO t3 VALUES(-562949953421314);
  1.1115 +    INSERT INTO t3 VALUES(1125899906842622);
  1.1116 +    INSERT INTO t3 VALUES(1125899906842623);
  1.1117 +    INSERT INTO t3 VALUES(1125899906842624);
  1.1118 +    INSERT INTO t3 VALUES(1125899906842625);
  1.1119 +    INSERT INTO t3 VALUES(1125899906842626);
  1.1120 +    INSERT INTO t3 VALUES(-1125899906842622);
  1.1121 +    INSERT INTO t3 VALUES(-1125899906842623);
  1.1122 +    INSERT INTO t3 VALUES(-1125899906842624);
  1.1123 +    INSERT INTO t3 VALUES(-1125899906842625);
  1.1124 +    INSERT INTO t3 VALUES(-1125899906842626);
  1.1125 +    INSERT INTO t3 VALUES(2251799813685246);
  1.1126 +    INSERT INTO t3 VALUES(2251799813685247);
  1.1127 +    INSERT INTO t3 VALUES(2251799813685248);
  1.1128 +    INSERT INTO t3 VALUES(2251799813685249);
  1.1129 +    INSERT INTO t3 VALUES(2251799813685250);
  1.1130 +    INSERT INTO t3 VALUES(-2251799813685246);
  1.1131 +    INSERT INTO t3 VALUES(-2251799813685247);
  1.1132 +    INSERT INTO t3 VALUES(-2251799813685248);
  1.1133 +    INSERT INTO t3 VALUES(-2251799813685249);
  1.1134 +    INSERT INTO t3 VALUES(-2251799813685250);
  1.1135 +    INSERT INTO t3 VALUES(4503599627370494);
  1.1136 +    INSERT INTO t3 VALUES(4503599627370495);
  1.1137 +    INSERT INTO t3 VALUES(4503599627370496);
  1.1138 +    INSERT INTO t3 VALUES(4503599627370497);
  1.1139 +    INSERT INTO t3 VALUES(4503599627370498);
  1.1140 +    INSERT INTO t3 VALUES(-4503599627370494);
  1.1141 +    INSERT INTO t3 VALUES(-4503599627370495);
  1.1142 +    INSERT INTO t3 VALUES(-4503599627370496);
  1.1143 +    INSERT INTO t3 VALUES(-4503599627370497);
  1.1144 +    INSERT INTO t3 VALUES(-4503599627370498);
  1.1145 +    INSERT INTO t3 VALUES(9007199254740990);
  1.1146 +    INSERT INTO t3 VALUES(9007199254740991);
  1.1147 +    INSERT INTO t3 VALUES(9007199254740992);
  1.1148 +    INSERT INTO t3 VALUES(9007199254740993);
  1.1149 +    INSERT INTO t3 VALUES(9007199254740994);
  1.1150 +    INSERT INTO t3 VALUES(-9007199254740990);
  1.1151 +    INSERT INTO t3 VALUES(-9007199254740991);
  1.1152 +    INSERT INTO t3 VALUES(-9007199254740992);
  1.1153 +    INSERT INTO t3 VALUES(-9007199254740993);
  1.1154 +    INSERT INTO t3 VALUES(-9007199254740994);
  1.1155 +    INSERT INTO t3 VALUES(18014398509481982);
  1.1156 +    INSERT INTO t3 VALUES(18014398509481983);
  1.1157 +    INSERT INTO t3 VALUES(18014398509481984);
  1.1158 +    INSERT INTO t3 VALUES(18014398509481985);
  1.1159 +    INSERT INTO t3 VALUES(18014398509481986);
  1.1160 +    INSERT INTO t3 VALUES(-18014398509481982);
  1.1161 +    INSERT INTO t3 VALUES(-18014398509481983);
  1.1162 +    INSERT INTO t3 VALUES(-18014398509481984);
  1.1163 +    INSERT INTO t3 VALUES(-18014398509481985);
  1.1164 +    INSERT INTO t3 VALUES(-18014398509481986);
  1.1165 +    INSERT INTO t3 VALUES(36028797018963966);
  1.1166 +    INSERT INTO t3 VALUES(36028797018963967);
  1.1167 +    INSERT INTO t3 VALUES(36028797018963968);
  1.1168 +    INSERT INTO t3 VALUES(36028797018963969);
  1.1169 +    INSERT INTO t3 VALUES(36028797018963970);
  1.1170 +    INSERT INTO t3 VALUES(-36028797018963966);
  1.1171 +    INSERT INTO t3 VALUES(-36028797018963967);
  1.1172 +    INSERT INTO t3 VALUES(-36028797018963968);
  1.1173 +    INSERT INTO t3 VALUES(-36028797018963969);
  1.1174 +    INSERT INTO t3 VALUES(-36028797018963970);
  1.1175 +    INSERT INTO t3 VALUES(72057594037927934);
  1.1176 +    INSERT INTO t3 VALUES(72057594037927935);
  1.1177 +    INSERT INTO t3 VALUES(72057594037927936);
  1.1178 +    INSERT INTO t3 VALUES(72057594037927937);
  1.1179 +    INSERT INTO t3 VALUES(72057594037927938);
  1.1180 +    INSERT INTO t3 VALUES(-72057594037927934);
  1.1181 +    INSERT INTO t3 VALUES(-72057594037927935);
  1.1182 +    INSERT INTO t3 VALUES(-72057594037927936);
  1.1183 +    INSERT INTO t3 VALUES(-72057594037927937);
  1.1184 +    INSERT INTO t3 VALUES(-72057594037927938);
  1.1185 +    INSERT INTO t3 VALUES(144115188075855870);
  1.1186 +    INSERT INTO t3 VALUES(144115188075855871);
  1.1187 +    INSERT INTO t3 VALUES(144115188075855872);
  1.1188 +    INSERT INTO t3 VALUES(144115188075855873);
  1.1189 +    INSERT INTO t3 VALUES(144115188075855874);
  1.1190 +    INSERT INTO t3 VALUES(-144115188075855870);
  1.1191 +    INSERT INTO t3 VALUES(-144115188075855871);
  1.1192 +    INSERT INTO t3 VALUES(-144115188075855872);
  1.1193 +    INSERT INTO t3 VALUES(-144115188075855873);
  1.1194 +    INSERT INTO t3 VALUES(-144115188075855874);
  1.1195 +    INSERT INTO t3 VALUES(288230376151711742);
  1.1196 +    INSERT INTO t3 VALUES(288230376151711743);
  1.1197 +    INSERT INTO t3 VALUES(288230376151711744);
  1.1198 +    INSERT INTO t3 VALUES(288230376151711745);
  1.1199 +    INSERT INTO t3 VALUES(288230376151711746);
  1.1200 +    INSERT INTO t3 VALUES(-288230376151711742);
  1.1201 +    INSERT INTO t3 VALUES(-288230376151711743);
  1.1202 +    INSERT INTO t3 VALUES(-288230376151711744);
  1.1203 +    INSERT INTO t3 VALUES(-288230376151711745);
  1.1204 +    INSERT INTO t3 VALUES(-288230376151711746);
  1.1205 +    INSERT INTO t3 VALUES(576460752303423486);
  1.1206 +    INSERT INTO t3 VALUES(576460752303423487);
  1.1207 +    INSERT INTO t3 VALUES(576460752303423488);
  1.1208 +    INSERT INTO t3 VALUES(576460752303423489);
  1.1209 +    INSERT INTO t3 VALUES(576460752303423490);
  1.1210 +    INSERT INTO t3 VALUES(-576460752303423486);
  1.1211 +    INSERT INTO t3 VALUES(-576460752303423487);
  1.1212 +    INSERT INTO t3 VALUES(-576460752303423488);
  1.1213 +    INSERT INTO t3 VALUES(-576460752303423489);
  1.1214 +    INSERT INTO t3 VALUES(-576460752303423490);
  1.1215 +    INSERT INTO t3 VALUES(1152921504606846974);
  1.1216 +    INSERT INTO t3 VALUES(1152921504606846975);
  1.1217 +    INSERT INTO t3 VALUES(1152921504606846976);
  1.1218 +    INSERT INTO t3 VALUES(1152921504606846977);
  1.1219 +    INSERT INTO t3 VALUES(1152921504606846978);
  1.1220 +    INSERT INTO t3 VALUES(-1152921504606846974);
  1.1221 +    INSERT INTO t3 VALUES(-1152921504606846975);
  1.1222 +    INSERT INTO t3 VALUES(-1152921504606846976);
  1.1223 +    INSERT INTO t3 VALUES(-1152921504606846977);
  1.1224 +    INSERT INTO t3 VALUES(-1152921504606846978);
  1.1225 +    INSERT INTO t3 VALUES(2305843009213693950);
  1.1226 +    INSERT INTO t3 VALUES(2305843009213693951);
  1.1227 +    INSERT INTO t3 VALUES(2305843009213693952);
  1.1228 +    INSERT INTO t3 VALUES(2305843009213693953);
  1.1229 +    INSERT INTO t3 VALUES(2305843009213693954);
  1.1230 +    INSERT INTO t3 VALUES(-2305843009213693950);
  1.1231 +    INSERT INTO t3 VALUES(-2305843009213693951);
  1.1232 +    INSERT INTO t3 VALUES(-2305843009213693952);
  1.1233 +    INSERT INTO t3 VALUES(-2305843009213693953);
  1.1234 +    INSERT INTO t3 VALUES(-2305843009213693954);
  1.1235 +    INSERT INTO t3 VALUES(4611686018427387902);
  1.1236 +    INSERT INTO t3 VALUES(4611686018427387903);
  1.1237 +    INSERT INTO t3 VALUES(4611686018427387904);
  1.1238 +    INSERT INTO t3 VALUES(4611686018427387905);
  1.1239 +    INSERT INTO t3 VALUES(4611686018427387906);
  1.1240 +    INSERT INTO t3 VALUES(-4611686018427387902);
  1.1241 +    INSERT INTO t3 VALUES(-4611686018427387903);
  1.1242 +    INSERT INTO t3 VALUES(-4611686018427387904);
  1.1243 +    INSERT INTO t3 VALUES(-4611686018427387905);
  1.1244 +    INSERT INTO t3 VALUES(-4611686018427387906);
  1.1245 +    INSERT INTO t3 VALUES(9223372036854775806);
  1.1246 +    INSERT INTO t3 VALUES(9223372036854775807);
  1.1247 +    INSERT INTO t3 VALUES(-9223372036854775806);
  1.1248 +    INSERT INTO t3 VALUES(-9223372036854775807);
  1.1249 +    INSERT INTO t3 VALUES(-9223372036854775808);
  1.1250 +    SELECT x FROM t3 ORDER BY x;
  1.1251 +  }
  1.1252 +} {-9223372036854775808\
  1.1253 +-9223372036854775807\
  1.1254 +-9223372036854775806\
  1.1255 +-4611686018427387906\
  1.1256 +-4611686018427387905\
  1.1257 +-4611686018427387904\
  1.1258 +-4611686018427387903\
  1.1259 +-4611686018427387902\
  1.1260 +-2305843009213693954\
  1.1261 +-2305843009213693953\
  1.1262 +-2305843009213693952\
  1.1263 +-2305843009213693951\
  1.1264 +-2305843009213693950\
  1.1265 +-1152921504606846978\
  1.1266 +-1152921504606846977\
  1.1267 +-1152921504606846976\
  1.1268 +-1152921504606846975\
  1.1269 +-1152921504606846974\
  1.1270 +-576460752303423490\
  1.1271 +-576460752303423489\
  1.1272 +-576460752303423488\
  1.1273 +-576460752303423487\
  1.1274 +-576460752303423486\
  1.1275 +-288230376151711746\
  1.1276 +-288230376151711745\
  1.1277 +-288230376151711744\
  1.1278 +-288230376151711743\
  1.1279 +-288230376151711742\
  1.1280 +-144115188075855874\
  1.1281 +-144115188075855873\
  1.1282 +-144115188075855872\
  1.1283 +-144115188075855871\
  1.1284 +-144115188075855870\
  1.1285 +-72057594037927938\
  1.1286 +-72057594037927937\
  1.1287 +-72057594037927936\
  1.1288 +-72057594037927935\
  1.1289 +-72057594037927934\
  1.1290 +-36028797018963970\
  1.1291 +-36028797018963969\
  1.1292 +-36028797018963968\
  1.1293 +-36028797018963967\
  1.1294 +-36028797018963966\
  1.1295 +-18014398509481986\
  1.1296 +-18014398509481985\
  1.1297 +-18014398509481984\
  1.1298 +-18014398509481983\
  1.1299 +-18014398509481982\
  1.1300 +-9007199254740994\
  1.1301 +-9007199254740993\
  1.1302 +-9007199254740992\
  1.1303 +-9007199254740991\
  1.1304 +-9007199254740990\
  1.1305 +-4503599627370498\
  1.1306 +-4503599627370497\
  1.1307 +-4503599627370496\
  1.1308 +-4503599627370495\
  1.1309 +-4503599627370494\
  1.1310 +-2251799813685250\
  1.1311 +-2251799813685249\
  1.1312 +-2251799813685248\
  1.1313 +-2251799813685247\
  1.1314 +-2251799813685246\
  1.1315 +-1125899906842626\
  1.1316 +-1125899906842625\
  1.1317 +-1125899906842624\
  1.1318 +-1125899906842623\
  1.1319 +-1125899906842622\
  1.1320 +-562949953421314\
  1.1321 +-562949953421313\
  1.1322 +-562949953421312\
  1.1323 +-562949953421311\
  1.1324 +-562949953421310\
  1.1325 +-281474976710658\
  1.1326 +-281474976710657\
  1.1327 +-281474976710656\
  1.1328 +-281474976710655\
  1.1329 +-281474976710654\
  1.1330 +-140737488355330\
  1.1331 +-140737488355329\
  1.1332 +-140737488355328\
  1.1333 +-140737488355327\
  1.1334 +-140737488355326\
  1.1335 +-70368744177666\
  1.1336 +-70368744177665\
  1.1337 +-70368744177664\
  1.1338 +-70368744177663\
  1.1339 +-70368744177662\
  1.1340 +-35184372088834\
  1.1341 +-35184372088833\
  1.1342 +-35184372088832\
  1.1343 +-35184372088831\
  1.1344 +-35184372088830\
  1.1345 +-17592186044418\
  1.1346 +-17592186044417\
  1.1347 +-17592186044416\
  1.1348 +-17592186044415\
  1.1349 +-17592186044414\
  1.1350 +-8796093022210\
  1.1351 +-8796093022209\
  1.1352 +-8796093022208\
  1.1353 +-8796093022207\
  1.1354 +-8796093022206\
  1.1355 +-4398046511106\
  1.1356 +-4398046511105\
  1.1357 +-4398046511104\
  1.1358 +-4398046511103\
  1.1359 +-4398046511102\
  1.1360 +-2199023255554\
  1.1361 +-2199023255553\
  1.1362 +-2199023255552\
  1.1363 +-2199023255551\
  1.1364 +-2199023255550\
  1.1365 +-1099511627778\
  1.1366 +-1099511627777\
  1.1367 +-1099511627776\
  1.1368 +-1099511627775\
  1.1369 +-1099511627774\
  1.1370 +-549755813890\
  1.1371 +-549755813889\
  1.1372 +-549755813888\
  1.1373 +-549755813887\
  1.1374 +-549755813886\
  1.1375 +-274877906946\
  1.1376 +-274877906945\
  1.1377 +-274877906944\
  1.1378 +-274877906943\
  1.1379 +-274877906942\
  1.1380 +-137438953474\
  1.1381 +-137438953473\
  1.1382 +-137438953472\
  1.1383 +-137438953471\
  1.1384 +-137438953470\
  1.1385 +-68719476738\
  1.1386 +-68719476737\
  1.1387 +-68719476736\
  1.1388 +-68719476735\
  1.1389 +-68719476734\
  1.1390 +-34359738370\
  1.1391 +-34359738369\
  1.1392 +-34359738368\
  1.1393 +-34359738367\
  1.1394 +-34359738366\
  1.1395 +-17179869186\
  1.1396 +-17179869185\
  1.1397 +-17179869184\
  1.1398 +-17179869183\
  1.1399 +-17179869182\
  1.1400 +-8589934594\
  1.1401 +-8589934593\
  1.1402 +-8589934592\
  1.1403 +-8589934591\
  1.1404 +-8589934590\
  1.1405 +-4294967298\
  1.1406 +-4294967297\
  1.1407 +-4294967296\
  1.1408 +-4294967295\
  1.1409 +-4294967294\
  1.1410 +-2147483650\
  1.1411 +-2147483649\
  1.1412 +-2147483648\
  1.1413 +-2147483647\
  1.1414 +-2147483646\
  1.1415 +-1073741826\
  1.1416 +-1073741825\
  1.1417 +-1073741824\
  1.1418 +-1073741823\
  1.1419 +-1073741822\
  1.1420 +-536870914\
  1.1421 +-536870913\
  1.1422 +-536870912\
  1.1423 +-536870911\
  1.1424 +-536870910\
  1.1425 +-268435458\
  1.1426 +-268435457\
  1.1427 +-268435456\
  1.1428 +-268435455\
  1.1429 +-268435454\
  1.1430 +-134217730\
  1.1431 +-134217729\
  1.1432 +-134217728\
  1.1433 +-134217727\
  1.1434 +-134217726\
  1.1435 +-67108866\
  1.1436 +-67108865\
  1.1437 +-67108864\
  1.1438 +-67108863\
  1.1439 +-67108862\
  1.1440 +-33554434\
  1.1441 +-33554433\
  1.1442 +-33554432\
  1.1443 +-33554431\
  1.1444 +-33554430\
  1.1445 +-16777218\
  1.1446 +-16777217\
  1.1447 +-16777216\
  1.1448 +-16777215\
  1.1449 +-16777214\
  1.1450 +-8388610\
  1.1451 +-8388609\
  1.1452 +-8388608\
  1.1453 +-8388607\
  1.1454 +-8388606\
  1.1455 +-4194306\
  1.1456 +-4194305\
  1.1457 +-4194304\
  1.1458 +-4194303\
  1.1459 +-4194302\
  1.1460 +-2097154\
  1.1461 +-2097153\
  1.1462 +-2097152\
  1.1463 +-2097151\
  1.1464 +-2097150\
  1.1465 +-1048578\
  1.1466 +-1048577\
  1.1467 +-1048576\
  1.1468 +-1048575\
  1.1469 +-1048574\
  1.1470 +-524290\
  1.1471 +-524289\
  1.1472 +-524288\
  1.1473 +-524287\
  1.1474 +-524286\
  1.1475 +-262146\
  1.1476 +-262145\
  1.1477 +-262144\
  1.1478 +-262143\
  1.1479 +-262142\
  1.1480 +-131074\
  1.1481 +-131073\
  1.1482 +-131072\
  1.1483 +-131071\
  1.1484 +-131070\
  1.1485 +-65538\
  1.1486 +-65537\
  1.1487 +-65536\
  1.1488 +-65535\
  1.1489 +-65534\
  1.1490 +-32770\
  1.1491 +-32769\
  1.1492 +-32768\
  1.1493 +-32767\
  1.1494 +-32766\
  1.1495 +-16386\
  1.1496 +-16385\
  1.1497 +-16384\
  1.1498 +-16383\
  1.1499 +-16382\
  1.1500 +-8194\
  1.1501 +-8193\
  1.1502 +-8192\
  1.1503 +-8191\
  1.1504 +-8190\
  1.1505 +-4098\
  1.1506 +-4097\
  1.1507 +-4096\
  1.1508 +-4095\
  1.1509 +-4094\
  1.1510 +-2050\
  1.1511 +-2049\
  1.1512 +-2048\
  1.1513 +-2047\
  1.1514 +-2046\
  1.1515 +-1026\
  1.1516 +-1025\
  1.1517 +-1024\
  1.1518 +-1023\
  1.1519 +-1022\
  1.1520 +-514\
  1.1521 +-513\
  1.1522 +-512\
  1.1523 +-511\
  1.1524 +-510\
  1.1525 +-258\
  1.1526 +-257\
  1.1527 +-256\
  1.1528 +-255\
  1.1529 +-254\
  1.1530 +-130\
  1.1531 +-129\
  1.1532 +-128\
  1.1533 +-127\
  1.1534 +-126\
  1.1535 +-66\
  1.1536 +-65\
  1.1537 +-64\
  1.1538 +-63\
  1.1539 +-62\
  1.1540 +-34\
  1.1541 +-33\
  1.1542 +-32\
  1.1543 +-31\
  1.1544 +-30\
  1.1545 +-18\
  1.1546 +-17\
  1.1547 +-16\
  1.1548 +-15\
  1.1549 +-14\
  1.1550 +-13\
  1.1551 +-12\
  1.1552 +-11\
  1.1553 +-10\
  1.1554 +-9\
  1.1555 +-8\
  1.1556 +-7\
  1.1557 +-6\
  1.1558 +-5\
  1.1559 +-4\
  1.1560 +-3\
  1.1561 +-2\
  1.1562 +-1\
  1.1563 +0\
  1.1564 +1\
  1.1565 +2\
  1.1566 +3\
  1.1567 +4\
  1.1568 +5\
  1.1569 +6\
  1.1570 +7\
  1.1571 +8\
  1.1572 +9\
  1.1573 +10\
  1.1574 +11\
  1.1575 +12\
  1.1576 +13\
  1.1577 +14\
  1.1578 +15\
  1.1579 +16\
  1.1580 +17\
  1.1581 +18\
  1.1582 +30\
  1.1583 +31\
  1.1584 +32\
  1.1585 +33\
  1.1586 +34\
  1.1587 +62\
  1.1588 +63\
  1.1589 +64\
  1.1590 +65\
  1.1591 +66\
  1.1592 +126\
  1.1593 +127\
  1.1594 +128\
  1.1595 +129\
  1.1596 +130\
  1.1597 +254\
  1.1598 +255\
  1.1599 +256\
  1.1600 +257\
  1.1601 +258\
  1.1602 +510\
  1.1603 +511\
  1.1604 +512\
  1.1605 +513\
  1.1606 +514\
  1.1607 +1022\
  1.1608 +1023\
  1.1609 +1024\
  1.1610 +1025\
  1.1611 +1026\
  1.1612 +2046\
  1.1613 +2047\
  1.1614 +2048\
  1.1615 +2049\
  1.1616 +2050\
  1.1617 +4094\
  1.1618 +4095\
  1.1619 +4096\
  1.1620 +4097\
  1.1621 +4098\
  1.1622 +8190\
  1.1623 +8191\
  1.1624 +8192\
  1.1625 +8193\
  1.1626 +8194\
  1.1627 +16382\
  1.1628 +16383\
  1.1629 +16384\
  1.1630 +16385\
  1.1631 +16386\
  1.1632 +32766\
  1.1633 +32767\
  1.1634 +32768\
  1.1635 +32769\
  1.1636 +32770\
  1.1637 +65534\
  1.1638 +65535\
  1.1639 +65536\
  1.1640 +65537\
  1.1641 +65538\
  1.1642 +131070\
  1.1643 +131071\
  1.1644 +131072\
  1.1645 +131073\
  1.1646 +131074\
  1.1647 +262142\
  1.1648 +262143\
  1.1649 +262144\
  1.1650 +262145\
  1.1651 +262146\
  1.1652 +524286\
  1.1653 +524287\
  1.1654 +524288\
  1.1655 +524289\
  1.1656 +524290\
  1.1657 +1048574\
  1.1658 +1048575\
  1.1659 +1048576\
  1.1660 +1048577\
  1.1661 +1048578\
  1.1662 +2097150\
  1.1663 +2097151\
  1.1664 +2097152\
  1.1665 +2097153\
  1.1666 +2097154\
  1.1667 +4194302\
  1.1668 +4194303\
  1.1669 +4194304\
  1.1670 +4194305\
  1.1671 +4194306\
  1.1672 +8388606\
  1.1673 +8388607\
  1.1674 +8388608\
  1.1675 +8388609\
  1.1676 +8388610\
  1.1677 +16777214\
  1.1678 +16777215\
  1.1679 +16777216\
  1.1680 +16777217\
  1.1681 +16777218\
  1.1682 +33554430\
  1.1683 +33554431\
  1.1684 +33554432\
  1.1685 +33554433\
  1.1686 +33554434\
  1.1687 +67108862\
  1.1688 +67108863\
  1.1689 +67108864\
  1.1690 +67108865\
  1.1691 +67108866\
  1.1692 +134217726\
  1.1693 +134217727\
  1.1694 +134217728\
  1.1695 +134217729\
  1.1696 +134217730\
  1.1697 +268435454\
  1.1698 +268435455\
  1.1699 +268435456\
  1.1700 +268435457\
  1.1701 +268435458\
  1.1702 +536870910\
  1.1703 +536870911\
  1.1704 +536870912\
  1.1705 +536870913\
  1.1706 +536870914\
  1.1707 +1073741822\
  1.1708 +1073741823\
  1.1709 +1073741824\
  1.1710 +1073741825\
  1.1711 +1073741826\
  1.1712 +2147483646\
  1.1713 +2147483647\
  1.1714 +2147483648\
  1.1715 +2147483649\
  1.1716 +2147483650\
  1.1717 +4294967294\
  1.1718 +4294967295\
  1.1719 +4294967296\
  1.1720 +4294967297\
  1.1721 +4294967298\
  1.1722 +8589934590\
  1.1723 +8589934591\
  1.1724 +8589934592\
  1.1725 +8589934593\
  1.1726 +8589934594\
  1.1727 +17179869182\
  1.1728 +17179869183\
  1.1729 +17179869184\
  1.1730 +17179869185\
  1.1731 +17179869186\
  1.1732 +34359738366\
  1.1733 +34359738367\
  1.1734 +34359738368\
  1.1735 +34359738369\
  1.1736 +34359738370\
  1.1737 +68719476734\
  1.1738 +68719476735\
  1.1739 +68719476736\
  1.1740 +68719476737\
  1.1741 +68719476738\
  1.1742 +137438953470\
  1.1743 +137438953471\
  1.1744 +137438953472\
  1.1745 +137438953473\
  1.1746 +137438953474\
  1.1747 +274877906942\
  1.1748 +274877906943\
  1.1749 +274877906944\
  1.1750 +274877906945\
  1.1751 +274877906946\
  1.1752 +549755813886\
  1.1753 +549755813887\
  1.1754 +549755813888\
  1.1755 +549755813889\
  1.1756 +549755813890\
  1.1757 +1099511627774\
  1.1758 +1099511627775\
  1.1759 +1099511627776\
  1.1760 +1099511627777\
  1.1761 +1099511627778\
  1.1762 +2199023255550\
  1.1763 +2199023255551\
  1.1764 +2199023255552\
  1.1765 +2199023255553\
  1.1766 +2199023255554\
  1.1767 +4398046511102\
  1.1768 +4398046511103\
  1.1769 +4398046511104\
  1.1770 +4398046511105\
  1.1771 +4398046511106\
  1.1772 +8796093022206\
  1.1773 +8796093022207\
  1.1774 +8796093022208\
  1.1775 +8796093022209\
  1.1776 +8796093022210\
  1.1777 +17592186044414\
  1.1778 +17592186044415\
  1.1779 +17592186044416\
  1.1780 +17592186044417\
  1.1781 +17592186044418\
  1.1782 +35184372088830\
  1.1783 +35184372088831\
  1.1784 +35184372088832\
  1.1785 +35184372088833\
  1.1786 +35184372088834\
  1.1787 +70368744177662\
  1.1788 +70368744177663\
  1.1789 +70368744177664\
  1.1790 +70368744177665\
  1.1791 +70368744177666\
  1.1792 +140737488355326\
  1.1793 +140737488355327\
  1.1794 +140737488355328\
  1.1795 +140737488355329\
  1.1796 +140737488355330\
  1.1797 +281474976710654\
  1.1798 +281474976710655\
  1.1799 +281474976710656\
  1.1800 +281474976710657\
  1.1801 +281474976710658\
  1.1802 +562949953421310\
  1.1803 +562949953421311\
  1.1804 +562949953421312\
  1.1805 +562949953421313\
  1.1806 +562949953421314\
  1.1807 +1125899906842622\
  1.1808 +1125899906842623\
  1.1809 +1125899906842624\
  1.1810 +1125899906842625\
  1.1811 +1125899906842626\
  1.1812 +2251799813685246\
  1.1813 +2251799813685247\
  1.1814 +2251799813685248\
  1.1815 +2251799813685249\
  1.1816 +2251799813685250\
  1.1817 +4503599627370494\
  1.1818 +4503599627370495\
  1.1819 +4503599627370496\
  1.1820 +4503599627370497\
  1.1821 +4503599627370498\
  1.1822 +9007199254740990\
  1.1823 +9007199254740991\
  1.1824 +9007199254740992\
  1.1825 +9007199254740993\
  1.1826 +9007199254740994\
  1.1827 +18014398509481982\
  1.1828 +18014398509481983\
  1.1829 +18014398509481984\
  1.1830 +18014398509481985\
  1.1831 +18014398509481986\
  1.1832 +36028797018963966\
  1.1833 +36028797018963967\
  1.1834 +36028797018963968\
  1.1835 +36028797018963969\
  1.1836 +36028797018963970\
  1.1837 +72057594037927934\
  1.1838 +72057594037927935\
  1.1839 +72057594037927936\
  1.1840 +72057594037927937\
  1.1841 +72057594037927938\
  1.1842 +144115188075855870\
  1.1843 +144115188075855871\
  1.1844 +144115188075855872\
  1.1845 +144115188075855873\
  1.1846 +144115188075855874\
  1.1847 +288230376151711742\
  1.1848 +288230376151711743\
  1.1849 +288230376151711744\
  1.1850 +288230376151711745\
  1.1851 +288230376151711746\
  1.1852 +576460752303423486\
  1.1853 +576460752303423487\
  1.1854 +576460752303423488\
  1.1855 +576460752303423489\
  1.1856 +576460752303423490\
  1.1857 +1152921504606846974\
  1.1858 +1152921504606846975\
  1.1859 +1152921504606846976\
  1.1860 +1152921504606846977\
  1.1861 +1152921504606846978\
  1.1862 +2305843009213693950\
  1.1863 +2305843009213693951\
  1.1864 +2305843009213693952\
  1.1865 +2305843009213693953\
  1.1866 +2305843009213693954\
  1.1867 +4611686018427387902\
  1.1868 +4611686018427387903\
  1.1869 +4611686018427387904\
  1.1870 +4611686018427387905\
  1.1871 +4611686018427387906\
  1.1872 +9223372036854775806\
  1.1873 +9223372036854775807}
  1.1874 +
  1.1875 +finish_test