# 2026-08-21
#
# The author disclaims copyright to this source code.  In place of
# a legal notice, here is a blessing:
#
#    May you do good and not evil.
#    May you find forgiveness for yourself and forgive others.
#    May you share freely, never taking more than you give.
#
#***********************************************************************
#
#

source [file join [file dirname [info script]] vec1_common.tcl]
set testprefix vec1round
vec1_load db

proc write_db {db} {
  $db eval {
  CREATE VIRTUAL TABLE docs USING vec1(embedding, title, category);
  INSERT INTO docs(rowid,embedding,title,category) VALUES(757, 
      vec1_from_json('[78,15,13,9,3,1,2,1]'), 
      'runbook 757: rotate the search index signing key','ops'
  );
  INSERT INTO docs(cmd, arg) VALUES('rebuild', unhex(
    '0000000400000001000000080000000400000020000000010000A841000018420000BA4200008040' ||
    '0000504200004E42000090410000084100008A4200000442ABAA1642ABAA12420000264200006841' ||
    '00008942000048420000A44200008C416EDB7E42499224410000D4400000434233339D426666E640' ||
    '000080400000A8410000B04200002C420000BF420000784155559042ABAA86410000364200003242' ||
    '0000DC410000D8416666BE42333327420000F841000080405555B74255551942B76DA142DBB6D541' ||
    '6EDB6E429224254200003442000090410000A642000040400000924200009C410000404000001442' ||
    '66661042CDCCCC41000038420000D841000028410000803F00003842000012420000C64100005841' ||
    '00007A4200008C410000724200004C42000010414992E4400000004200002042ABAA8C42ABAA4E42' ||
    '666688429A99B94000001642000036420000B2420000C441000084420000A8410000404200004040' ||
    '00005A4200004A42000089420000264200009642000040420000B6420000E0410000994200002242' ||
    '00000E42000008410000544200000A420000764200000A4255556142ABAA2A400000DC41ABAA8641' ||
    '0080B24200000C4200008E42000000416EDB06429224054200005C420000E041ABAA2A4155551142' ||
    '000058410000AC4100002041000032420000B7420000CC410000C0400000FC410000184200003041' ||
    '0000003F00000841000068420000F8416666AE41CDCC4C4055559E42ABAABE41ABAAAA41ABAA3A42' ||
    '0000AF4200004E420000803F00002B420000A441000010410000F040000078419A99993FCDCCD441' ||
    '000040410000E841ABAA7A42ABAAAA3E00004841000040410000BD4200003D420000884100002A42' ||
    '0000A54200003A4200008C410000CC410000B0400000C03F0000704100000040CDCC48426666FE41' ||
    '000028420000484200009A420000B64100007442000040420000A841000038410000164200009441' ||
    '000094410000B04000002C420000C0410000B84100002041ABAA584200002E420000844100000642' ||
    '0000A742000038410000F4410000F041000032420000FC419A99B1419A99A1410000BF4200000242' ||
    '0000884100004E420000D04100004E420000914200001242000010410000D0410000E44100001242' ||
    '000098420000984100002E420000E0400000CE4100007441B76D91424992A43F0000BC420000B041' ||
    'ABAA6042000036420000D0400000BC410000B3420000003FABAAAE42ABAA06420000B84200004041' ||
    '00008B4200006040000022420000AC410000A8410000E8410000AC42000060410000B34200008C41' ||
    'CDCC2C4233330742ABAA6A400000384200005841000040420000824200003A42CDCC1C426666EE41' ||
    'CDCC2C419A99194100004A420000B04000006E420000684133332742666622420000B84000009840' ||
    '000095420000EC413333634133331F4200004A425555434200004E420000C44100000A4200002A42' ||
    '0000A1420000003F3333A9423333A3410000B342000002420000FC410000944166668E419A998941' ||
    '0000AE420000B44100001C420000A0410000AB420000C84055558642000050410000F4410000A841' ||
    'B76D4F42DBB625420000BF4200001A42ABAA5642ABAAAA3E00009C4200004C42008076420000D840' ||
    '00004442000034420000E0410000803F33334342CDCC1C42000094420000E0400000804000004041' ||
    '0000B24200001041922461426EDB164200001E420000DA416666A6426666EE41000036420000003F' ||
    '0000C0400000204200008242000018420000B74200003742000040420000A84100008C420000C841' ||
    '0000004100004E4200008F42000032420000803F0000904100000C420000F8410000CA410000BB41' ||
    '00002040000020400000004000002041000016420000094200007C420000D84100009F4200002E42' ||
    'ABAA7A41555575419A999742666686400000B64200000040ABAABA42ABAA1E4200009A420000D040' ||
    '0000C441000002420000BF420000D04000009B42000002425555B54155554142333327426666F641' ||
    '92240542DBB6B541000098420000F8410000944100000000000084420000604055556541ABAA5A41' ||
    '0000B64200002C42000028410000944100004C4200001842ABAA5E420000803F5555854255554142' ||
    'ABAA80425555D53F00009842000038415555B541ABAAB2413333A341CDCC944155554541ABAA1642' ||
    '000084420000F04100009242000028410000D04100002C426666A2426666E64055559D41ABAAAA3F' ||
    '000096420000AC410000204000004E420000E84100003842ABAA3A415555394255557541ABAA4642' ||
    '0000A24200001841000072420000C4415555B541555555410000684255553F42000091420000DC41' ||
    '55550541ABAA2A420000003F000046420000A8420000D841000068410000FC4133333F42CDCC3C42' ||
    '0000BC4100002242CDCC7C413333B340CDCC68429A9999400000E8410000C8415555E541ABAA9A41' ||
    'CDCC0C41CDCC08420000003F00000A4200009C42000070410000A0410000E0400000BA4200001042' ||
    '33337B42CDCC3042000060400000E8410000BB420000F4410000804200004C42ABAAC241ABAA4642' ||
    '0000AD420000EC41555505425555D5400000944100000E4200009C41000034420000B84200004040' ||
    '00008C4100005841000088420000B8410000924200003842000085420000003F92248B4225497241' ||
    'ABAAB442ABAA12420000BC420000A040ABAA204200001A42000000420000E04100009C4100007841' ||
    '33335341333373400000803F0000803F0000AB42000022420000BC4200006041000042420000EC41' ||
    '0000AB4200000042ABAA3042555527420000B0420000F8410000AB42000046420000DE4100004441' ||
    '0000003F000040409A9909410000104100003041000060416EDB46412549B2400000E0410000C03F' ||
    '0000003FABAA72410000C0410000E0400000F0410000184166660641CDCC4C405555D53FABAACA40' ||
    '9A99C1419A99193F0000824100004C4155551540000078410000B841000038410000884100002041' ||
    'ABAA8A405555B540666686409A99993F0000A04100002040ABAA2A41ABAA3A41ABAADA41ABAA0A41' ||
    'B76DDB3E6EDB363F5555D54000008040000060410000D0400000B84100007841CDCCEC4066666641' ||
    '0000F041000060405555B5415555B540ABAA2A3F000050416EDB7641499224405555D54155556541' ||
    '000098415555954000007841ABAAAA3E00000000ABAA1A410000A841000018410000404000000841' ||
    '00007041000080410000C44100005041ABAAE2410000E040CDCCCC419A9919400000CC4100008041' ||
    '00005841000060410000D8400000444100006041000048410000004100003041ABAA3A4100000841' ||
    '5555B541000000000000A041ABAA2A3E0000B040000010410000D0400000003F0000904100008041' ||
    '0000803F00004041B76DAB41499264409224C9419224A94000002C410000E03F000080410000B040' ||
    '00004841000080410000A041000030416EDB06419224C93F0000003F0000F0409A999941CDCC7C41' ||
    '55558D41ABAAEA400000504100007041ABAAAA41ABAA6A4100002841000078410000B44100005841' ||
    '000008410000504133333340CDCCCC3E00002041ABAA1A41ABAAB241ABAA0A41B76DC34192242941' ||
    '0000D841555515400000EC41000000003333634133331341ABAA2A40555535400000104100002041' ||
    '00004841000040405555D5410000804033338B41000000000000A0410000A0400000B6410000E840' ||
    '0000A040000098409A9959400000604100002041ABAA2A3F00008E41000010400000C04100007841' ||
    'ABAA824100007041CDCC4C413333234100007041ABAA3A415555954000005041000078410000F040' ||
    '0000B041000020410000F0410000A0400000F041000070410000E641000050400000E040CDCCEC40' ||
    '0000804000000841398ECB411CC7F1405555D541000030410000A040ABAA6A415555C54100001041' ||
    '0000A8415555D5400000EC410000304100007041ABAA6A41000070410000504100009E4100006441' ||
    '0000D041666616410000D84100005041000068410000804000006041000020400000E8410000C040' ||
    '00000000000030410000F041ABAAEA400000F0419A9949410000E841000040410000DC4100008041' ||
    '0000C040000070410000D8410000E0400000C8410000000000009441000040410000504100008040' ||
    '0000E8410000C03F00003841000000009A998941CDCC8C40000008410000B0403333DB4100002041' ||
    '00000040000020410000D041000048411CC7C1400000A040ABAA2A40000030410000804000004041' ||
    '0000D4410000803F00009C4100000041ABAA6A400000804100008C4100003041ABAA2A410000C040' ||
    '000050410000C03F000040400000C040000000000000404100000000000000400000D0410000C040' ||
    '0000C441000040410000104100006841000090410000B0400000C441000060415555D53F00006041' ||
    '0000C03F000080400000E041ABAAAA405555B541ABAAAA3F0000944100001041CDCCCC3E6666A640' ||
    '0000C841000070410000A0400000F04000000040000000000000E040000010410000004000004041' ||
    '0000A041000050410000F0410000C03F0000C0400000F0400000AC41000040415555C541ABAA6A40' ||
    '5555E5415555754155558541ABAA0A410000104100004041333393410000803FABAA0A41ABAAEA40' ||
    '0000D840000010400000D8410000A040000088410000C0400000D04000002041ABAA0A4100000000' ||
    '0000E041000030410000803F555515415555AD41000080410000E841000010410000E84155555541' ||
    '0000000000006041000000400000504100009041000070410000C040000060410000D44100000000' ||
    '0000004100000041ABAA4A41ABAAEA400000803F00008041CDCCCC3F000000400000184100003041' ||
    '0000E04100000041ABAA6A4055557540555585410000604100000040000000410000304100005041' ||
    '000000410000404100005041000050410000D041000070410000BC41000040400000A84100005041' ||
    '0000404100008040000098419A9919400000B0410000A0400000604100000041000024410000E840' ||
    '000068410000A04000006041000030410000A0400000104000003041000090400000044100007C41' ||
    '0000A040000080410000C8400000C0400000B841000020410000A8410000C03F000000400000A040' ||
    '0000C040000040400000E040000030410000A041000010410000404100004041000098410000E040' ||
    '00009841000020410000E0410000604100005041000040410000904100005841000080400000E040' ||
    '0000D8410000C0400000E0410000000055559540000020410000803F00000000000070410000C040' ||
    '0000A8410000A0400000404000004041ABAACA400000804100005841000000000000884100004040' ||
    '55559540000000000000803F000030410000804000007041000060410000803F000098410000C040' ||
    '000088410000803FABAA1A41ABAA6A400000B0410000004000000041000020410000804100008040' ||
    '0000A040000030410000A0410000E04000004041ABAAAA3F00003041000018410000000000008040' ||
    '0000404000005041000020410000A0400000A841000000410000B041000030410000984100005041' ||
    '0000304100004040000070410000204100008841000080410000C040000030410000404100003041' ||
    '000000000000000000003041000040400000A0400000A040000010410000803F000000000000A040' ||
    '0000A040000000000000E0400000804000000000000000400000E040000000400000404000000040' ||
    '0000E04000000000000040410000C04000000040000000400000C04000000000000020410000803F' ||
    '000000400000C040000010410000C0400000004100000000000040400000A0400000E0400000803F' ||
    '000000410000803F000030410000A0400000A0400000C0400000C0400000C0400000304100008040' ||
    '0000803F000040400000803F0000803F00004040000000000000A040000080400000C0400000803F' ||
    '000010410000A040000080400000404000004040000080400000803F0000A0400000E0400000A040' ||
    '0000A040000000400000204100000000000000400000A0400000A040000040400000404100000040' ||
    '0000304100000000000080400000803F000000410000404000002041000040400000204100000040' ||
    '0000E040000040400000C04000000040000040410000803F00001041000000400000004000000000' ||
    '0000E0400000C040000040410000804000000041000000400000C040000080400000000000004040' ||
    '000000410000A04000002041000080400000104100004040000040400000803F0000004000008040' ||
    '000030410000C04000000041000080400000404000004040000080400000C040000000000000C040' ||
    '000080400000A0400000104100008040000040400000C0400000803F00000040000020410000A040' ||
    '000030410000803F0000804000000000000000000000803F0000A0400000803F0000C04000004040' ||
    '0000803F0000C0400000803F000000000000104100000000000020410000C0400000404100000000' ||
    '000080400000004000003041000000400000803F000080400000004000004040000000400000803F' ||
    '000040410000A0400000C0400000A040000040410000404000000000000080400000804000008040' ||
    '000000410000C0400000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000000000000040000080400000803F00000040000000000000404000000040' ||
    '00004040000000000000803F000000000000803F0000004000000040000000400000000000000000' ||
    '000000400000803F0000804000000040000000000000803F0000803F0000803F000040400000803F' ||
    '00008040000000000000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F0000803F' ||
    '0000803F0000803F0000803F0000803F6F7AB342D39B0A42DFF4C641BDE9ED40210BC9400B594840' ||
    '59C80240B290853FC4C383402D2D01429796F6401E1E3E41E2E1E1407878384000000040F1F0703F' ||
    '9D73224274CE1942A594D240CE39A740638CD14095524A40082104400821843F322990421296FB40' ||
    '877EF340877EF3407FB3B54012963B40C8A4F83F232C773FA6A59941D3D2D240D3D2BA4178783841' ||
    '7878B8400F0F4F40C4C30340F1F0703FCA6BA8400DE539426C28EF401BCA03416C28DF406C284F40' ||
    'A2BC0640515E833F3BB10B41ECC43641C54E804176624F410000E040C54E4C40B113FB3F4FEC843F' ||
    'F1F04A42B5B422424B4BCB4197963E416969C9405A5A3A407878F83F8887873F0000E84100000040' ||
    '0000204100006041000000416666664000000040CDCC4C3FB5B47C42F1F03C42B5B4B4405A5ADA40' ||
    '0000C040A6A54540000000400000803F33330142CDCC12423333B7419A99A9409A99B14000003040' ||
    '666606403333733F175DCC41E9A24342E9A2CB40A38B1E4174D10540D1455740000000400000803F' ||
    '00C025420000AE4000001941000090400000A04000004C400000F03F0000883F254962429EE73942' ||
    '5555C541310C43408661B84062184640621806407A9E673F00A06F420000DE400000BE410000D640' ||
    '0000A740000046400000064000008C3F43169A4116B290410000A04091858C40F5A6B7407AD35B40' ||
    'EA4DEF3F16B2903F1296A7423E8DD0410000A040734F03413E8DB04009CB3D4000000040DDD3883F' ||
    '33B30A429A99CB410000B84066662A413333B740CDCC2440000008409A99793F00006841DBB63142' ||
    'DBB6B5413DCFE3409EE7B94049922440499204400000803FB497004109ED65405F42FB40721CC740' ||
    'ABAA8A402FA13D40D15E0240BE84763F00002E42000084410000C441555521410000C84055552540' ||
    '000000400000803F008066420000FB415555E940ABAA10410000A84055554540000000405555853F' ||
    'ABAA3E42BCBB314233336341555525413333D340BCBB3B40EFEEEE3F4444843FCDCCAA4254823C41' ||
    '95209F4158FB06419520CF40A8043940A804F93F90A7843FDFF4DE414E6FC2416F7ACB41EA4D2F41' ||
    '6F7AD3400B5948404E6FFA3F9CDE743F000091425D742F4274D1B941BAE8B2404617BD402FBA4840' ||
    '5D741140175D743F0000E8400000D4410000B2410000B040ABAACE4055554D40ABAA02400000803F' ||
    '721C9242ABAAC6418EE39E41ABAA16411CC7C9408EE3484000000040398E833F0AD72F423333EB41' ||
    '00008041F6289C40A470DD40E17A5440000000408FC2753FB1DCAF42232C2F42734FE340B9A72141' ||
    '232C9740000040409F46D83F232C773F5D74A941A38B1042BAE8E2402FBA0841E9A2CB4046173D40' ||
    '175DF43F0000803F9A99B141CDCC8441ABAAAA41111171407777C7409A993940444404404444843F'
  ));
  }
}

do_test 1.0 {
  write_db db
} {}

do_execsql_test 1.1 {
  PRAGMA integrity_check
} {ok}

db close
sqlite3 db test.db

if {[catch { vec1_load_scalar db }]} {
  puts "Skipping tests... vec1testscalar.so not built"
  finish_test
  return
}

breakpoint
do_execsql_test 1.2 {
  PRAGMA integrity_check
} {ok}

do_execsql_test 1.3 { DROP TABLE docs }

do_test 1.4 {
  write_db db
} {}

do_execsql_test 1.5 {
  PRAGMA integrity_check
} {ok}

db close
sqlite3 db test.db
vec1_load db

do_execsql_test 1.6 {
  PRAGMA integrity_check
} {ok}


finish_test