From 9959d59949661a06de00786f366e6649a3387730 Mon Sep 17 00:00:00 2001 From: Mattias Wadman Date: Mon, 27 Dec 2021 00:09:57 +0100 Subject: [PATCH] WIP: sqlite3: Add decoder See sqlite3.{go,jq} for TODO Related to #27 --- format/all/all.go | 1 + format/format.go | 2 + format/sqlite3/sqlite3.go | 274 +++++++++++++++++++++++++++++++ format/sqlite3/sqlite3.jq | 41 +++++ format/sqlite3/testdata/test.db | Bin 0 -> 24576 bytes format/sqlite3/testdata/test.sh | 3 + format/sqlite3/testdata/test.sql | 18 ++ 7 files changed, 339 insertions(+) create mode 100644 format/sqlite3/sqlite3.go create mode 100644 format/sqlite3/sqlite3.jq create mode 100644 format/sqlite3/testdata/test.db create mode 100755 format/sqlite3/testdata/test.sh create mode 100644 format/sqlite3/testdata/test.sql diff --git a/format/all/all.go b/format/all/all.go index 86d5801c0..670318ac6 100644 --- a/format/all/all.go +++ b/format/all/all.go @@ -26,6 +26,7 @@ import ( _ "github.com/wader/fq/format/png" _ "github.com/wader/fq/format/protobuf" _ "github.com/wader/fq/format/raw" + _ "github.com/wader/fq/format/sqlite3" _ "github.com/wader/fq/format/tar" _ "github.com/wader/fq/format/tiff" _ "github.com/wader/fq/format/vorbis" diff --git a/format/format.go b/format/format.go index 0874fe9ff..e2be7291c 100644 --- a/format/format.go +++ b/format/format.go @@ -88,6 +88,8 @@ const ( WAV = "wav" WEBP = "webp" ZIP = "zip" + + SQLITE3 = "sqlite3" ) // below are data types used to communicate between formats In/Out diff --git a/format/sqlite3/sqlite3.go b/format/sqlite3/sqlite3.go new file mode 100644 index 000000000..ed295011c --- /dev/null +++ b/format/sqlite3/sqlite3.go @@ -0,0 +1,274 @@ +package sqlite3 + +// https://www.sqlite.org/fileformat.html +// https://sqlite.org/schematab.html + +// TODO: page overflow +// TODO: format version +// TODO: text encoding +// TODO: table/column names +// TODO: assert version and schema version? +// TODO: ptrmap +// TODO: how to represent NULL serials + +// CREATE TABLE sqlite_schema( +// type text, +// name text, +// tbl_name text, +// rootpage integer, +// sql text +// ); +// > A table with the name "sqlite_sequence" that is used to keep track of the maximum historical INTEGER PRIMARY KEY for a table using AUTOINCREMENT. +// CREATE TABLE sqlite_sequence(name,seq); +// > Tables with names of the form "sqlite_statN" where N is an integer. Such tables store database statistics gathered by the ANALYZE command and used by the query planner to help determine the best algorithm to use for each query. +// CREATE TABLE sqlite_stat1(tbl,idx,stat); +// Only if compiled with SQLITE_ENABLE_STAT2: +// CREATE TABLE sqlite_stat2(tbl,idx,sampleno,sample); +// Only if compiled with SQLITE_ENABLE_STAT3: +// CREATE TABLE sqlite_stat3(tbl,idx,nEq,nLt,nDLt,sample); +// Only if compiled with SQLITE_ENABLE_STAT4: +// CREATE TABLE sqlite_stat4(tbl,idx,nEq,nLt,nDLt,sample); +// TODO: sqlite_autoindex_TABLE_N index + +import ( + "embed" + + "github.com/wader/fq/format" + "github.com/wader/fq/format/registry" + "github.com/wader/fq/internal/num" + "github.com/wader/fq/pkg/decode" + "github.com/wader/fq/pkg/scalar" +) + +//go:embed *.jq +var sqlite3FS embed.FS + +func init() { + registry.MustRegister(decode.Format{ + Name: format.SQLITE3, + Description: "SQLite v3 database", + Groups: []string{format.PROBE}, + DecodeFn: sqlite3Decode, + Files: sqlite3FS, + }) +} + +const ( + bTreeIndexInterior = 0x02 + bTreeTableInterior = 0x05 + bTreeIndexLeaf = 0x0a + bTreeTableLeaf = 0x0d +) + +var bTreeTypeMap = scalar.UToScalar{ + bTreeIndexInterior: scalar.S{Sym: "index_interior", Description: "Index interior b-tree page"}, + bTreeTableInterior: scalar.S{Sym: "table_interior", Description: "Table interior b-tree page"}, + bTreeIndexLeaf: scalar.S{Sym: "index_leaf", Description: "Index leaf b-tree page"}, + bTreeTableLeaf: scalar.S{Sym: "table_leaf", Description: "Table leaf b-tree page"}, +} + +const ( + textEncodingUTF8 = 1 + textEncodingUTF16LE = 2 + textEncodingUTF16BE = 3 +) + +var textEncodingMap = scalar.UToSymStr{ + textEncodingUTF8: "utf8", + textEncodingUTF16LE: "utf16le", + textEncodingUTF16BE: "utf16be", +} + +var versionMap = scalar.UToSymStr{ + 1: "legacy", + 2: "wal", +} + +// TODO: all bits if nine bytes? +// TODO: two complement on bit read count +func varintDecode(d *decode.D) int64 { + var n uint64 + for i := 0; i < 9; i++ { + v := d.U8() + n = n<<7 | v&0b0111_1111 + if v&0b1000_0000 == 0 { + break + } + } + return num.TwosComplement(64, n) +} + +func sqlite3DecodeSerialType(d *decode.D, typ int64) { + switch typ { + case 0: + d.FieldValueStr("value", "NULL", scalar.Description("null")) + case 1: + d.FieldS8("value", scalar.Description("8-bit integer")) + case 2: + d.FieldS16("value", scalar.Description("16-bit integer")) + case 3: + d.FieldS24("value", scalar.Description("24-bit integer")) + case 4: + d.FieldS32("value", scalar.Description("32-bit integer")) + case 5: + d.FieldS48("value", scalar.Description("48-bit integer")) + case 6: + d.FieldS64("value", scalar.Description("64-bit integer")) + case 7: + d.FieldF64("value", scalar.Description("64-bit float")) + case 8: + d.FieldValueU("value", 0, scalar.Description("constant 0")) + case 9: + d.FieldValueU("value", 1, scalar.Description("constant 1")) + case 10, 11: + default: + if typ%2 == 0 { + // N => 12 and even: (N-12)/2 bytes blob. + d.FieldRawLen("value", (typ-12)/2*8, scalar.Description("blob")) + } else { + // N => 13 and odd: (N-13)/2 bytes text + d.FieldUTF8("value", int(typ-13)/2, scalar.Description("text")) + } + } +} + +func sqlite3CellFreeblockDecode(d *decode.D) uint64 { + nextOffset := d.FieldU16("next_offset") + if nextOffset == 0 { + return 0 + } + // TODO: "header" is size bytes or offset+size? seems to be just size + // "size of the freeblock in bytes, including the 4-byte header" + size := d.FieldU16("size") + d.FieldRawLen("space", int64(size-4)*8) + return nextOffset +} + +func sqlite3CellPayloadDecode(d *decode.D) { + lengthStart := d.Pos() + length := d.FieldSFn("length", varintDecode) + lengtbBits := d.Pos() - lengthStart + var serialTypes []int64 + d.LenFn((length)*8-lengtbBits, func(d *decode.D) { + d.FieldArray("serials", func(d *decode.D) { + for !d.End() { + serialTypes = append(serialTypes, d.FieldSFn("serial", varintDecode)) + } + }) + }) + d.FieldArray("contents", func(d *decode.D) { + for _, s := range serialTypes { + sqlite3DecodeSerialType(d, s) + } + }) +} + +func sqlite3Decode(d *decode.D, in interface{}) interface{} { + var pageSizeS *scalar.S + var databaseSizePages uint64 + + d.FieldStruct("header", func(d *decode.D) { + d.FieldUTF8("magic", 16, d.AssertStr("SQLite format 3\x00")) + pageSizeS = d.FieldScalarU16("page_size", scalar.UToSymU{1: 65536}) // in bytes. Must be a power of two between 512 and 32768 inclusive, or the value 1 representing a page size of 65536. + d.FieldU8("write_version", versionMap) // 1 for legacy; 2 for WAL. + d.FieldU8("read_version", versionMap) // . 1 for legacy; 2 for WAL. + d.FieldU8("unused_space") // at the end of each page. Usually 0. + d.FieldU8("maximum_embedded_payload_fraction") // . Must be 64. + d.FieldU8("minimum_embedded_payload_fraction") // . Must be 32. + d.FieldU8("leaf_payload_fraction") // . Must be 32. + d.FieldU32("file_change_counter") // + databaseSizePages = d.FieldU32("database_size_pages") // . The "in-header database size". + d.FieldU32("page_number_freelist") // of the first freelist trunk page. + d.FieldU32("total_number_freelist") // pages. + d.FieldU32("schema_cookie") // . + d.FieldU32("schema_format_number") // . Supported schema formats are 1, 2, 3, and 4. + d.FieldU32("default_page_cache_size") // . + d.FieldU32("page_number_largest_root_btree") // page when in auto-vacuum or incremental-vacuum modes, or zero otherwise. + d.FieldU32("text_encoding", textEncodingMap) + d.FieldU32("user_version") // " as read and set by the user_version pragma. + d.FieldU32("incremental_vacuum_mode") // False (zero) otherwise. + d.FieldU32("application_id") // " set by PRAGMA application_id. + d.FieldRawLen("reserved", 160, d.BitBufIsZero()) // for expansion. Must be zero. + d.FieldU32("version_valid_for") // number. + d.FieldU32("sqlite_version_number") // + }) + + // TODO: nicer API for fallback? + pageSize := pageSizeS.ActualU() + if pageSizeS.Sym != nil { + pageSize = pageSizeS.SymU() + } + + d.FieldArray("pages", func(d *decode.D) { + for i := uint64(0); i < databaseSizePages; i++ { + pageOffset := int64(pageSize) * int64(i) + d.SeekAbs(pageOffset * 8) + // skip header for first page + if i == 0 { + d.SeekRel(100 * 8) + } + + d.FieldStruct("page", func(d *decode.D) { + typ := d.FieldU8("type", bTreeTypeMap) + startFreeblocks := d.FieldU16("start_freeblocks") // The two-byte integer at offset 1 gives the start of the first freeblock on the page, or is zero if there are no freeblocks. + pageCells := d.FieldU16("page_cells") // The two-byte integer at offset 3 gives the number of cells on the page. + d.FieldU16("cell_start") // sThe two-byte integer at offset 5 designates the start of the cell content area. A zero value for this integer is interpreted as 65536. + d.FieldU8("cell_fragments") // The one-byte integer at offset 7 gives the number of fragmented free bytes within the cell content area. + switch typ { + case bTreeIndexInterior, + bTreeTableInterior: + d.FieldU32("right_pointer") // The four-byte page number at offset 8 is the right-most pointer. This value appears in the header of interior b-tree pages only and is omitted from all other pages. + } + var cellPointers []uint64 + d.FieldArray("cells_pointers", func(d *decode.D) { + for i := uint64(0); i < pageCells; i++ { + cellPointers = append(cellPointers, d.FieldU16("pointer")) + } + }) + if startFreeblocks != 0 { + d.FieldArray("freeblocks", func(d *decode.D) { + nextOffset := startFreeblocks + for nextOffset != 0 { + d.SeekAbs((pageOffset + int64(nextOffset)) * 8) + d.FieldStruct("freeblock", func(d *decode.D) { + nextOffset = sqlite3CellFreeblockDecode(d) + }) + } + }) + } + d.FieldArray("cells", func(d *decode.D) { + for _, p := range cellPointers { + d.FieldStruct("cell", func(d *decode.D) { + // TODO: SeekAbs with fn later? + d.SeekAbs((pageOffset + int64(p)) * 8) + switch typ { + case bTreeIndexInterior: + d.FieldU32("left_child") + payLoadLen := d.FieldSFn("payload_len", varintDecode) + d.LenFn(payLoadLen*8, func(d *decode.D) { + d.FieldStruct("payload", sqlite3CellPayloadDecode) + }) + case bTreeTableInterior: + d.FieldU32("left_child") + d.FieldSFn("rowid", varintDecode) + case bTreeIndexLeaf: + payLoadLen := d.FieldSFn("payload_len", varintDecode) + d.LenFn(payLoadLen*8, func(d *decode.D) { + d.FieldStruct("payload", sqlite3CellPayloadDecode) + }) + case bTreeTableLeaf: + payLoadLen := d.FieldSFn("payload_len", varintDecode) + d.FieldSFn("rowid", varintDecode) + d.LenFn(payLoadLen*8, func(d *decode.D) { + d.FieldStruct("payload", sqlite3CellPayloadDecode) + }) + } + }) + } + }) + }) + } + }) + + return nil +} diff --git a/format/sqlite3/sqlite3.jq b/format/sqlite3/sqlite3.jq new file mode 100644 index 000000000..80aced485 --- /dev/null +++ b/format/sqlite3/sqlite3.jq @@ -0,0 +1,41 @@ + +# TODO: two columns tables are index tables? +# TODO: why page numbers-1? 0 excluded as special? +# TODO: traverse is wrong somehow +# TODO: chinook.db => [sqlite3_table("Track")] | length => 3496, should be 3503 rows + +def sqlite3_traverse($root; $page): + def _t: + ( . # debug({TRAVESE: .}) + | if .type == "table_interior" or .type == "index_interior" then + ( $root.pages[.cells[].left_child-1, .right_pointer-1] + | _t + ) + elif .type == "table_leaf" or .type == "index_leaf" then + ( .cells[] + ) + end + ); + ( $page + | _t + ); + +def sqlite3_table($name): + ( . as $root + | ( first( + ( sqlite3_traverse($root; $root.pages[0]) + | select(.payload.contents | .[0] == "table" and .[2] == $name) + ) + ) + ) as $table_start_cell + | ( first( + ( sqlite3_traverse($root; $root.pages[0]) + | select(.payload.contents| .[0] == "index" and .[2] == $name) + ) + ) + ) as $index_start_cell + | sqlite3_traverse($root; $root.pages[$index_start_cell.payload.contents[3]-1]) as $index_row + | sqlite3_traverse($root; $root.pages[$table_start_cell.payload.contents[3]-1]) + | first(select(.rowid == $index_row.payload.contents[1])) + | .payload.contents + ); diff --git a/format/sqlite3/testdata/test.db b/format/sqlite3/testdata/test.db new file mode 100644 index 0000000000000000000000000000000000000000..a6bc9ba53a7e5cc695ad1de1c15d5c35565cde5e GIT binary patch literal 24576 zcmeI(d$d*a{x|UNT-Q0*nscr0yA<}9P=q<>y3OStMG=ZzB5J27(#=K@TAOpoJtvnO z4!P%c}&j+`SxxfY>_YR`q|vp=8r9MAK|Gsf@V=Zt6VG3vc9FGl-q>|O8A z%&{YeO=_LceEQTGXScLA7gQ%@80w(rW~GdxQYuA1q8Ec+Nknf@cD(&RywJa6uVcqL z`K>CJAEfew@+Gm1%Yqnxr4G{LdY)rt+b@((y*) zrO`m6fkp$31{w`C8fY}oXrR$Rqk%>PjRqPGG#dEtZy;GanLdfc)C@hxFQnG0{JZ&Y z^7Z_d{Kow9{EPW#@=xR+$={d1BY#VNUjEAbrTN+UbMsU3XXMA`N9B*nA3@LZ_s^H} zd*}P*b$+{i*Swui=6=g<$!*N7&wZBrD7P~AR_@i@^SLFt#kmJ_cjs=)-I%*JcX@73 zZdPta?yTJS+$p)^b4TZfy zCFfb^N#{}Le&Vg7&H+xvah?9oPEK#9o8ves z`*(Y*y~+N@{@h+|zi+>7zh=K+FSQ@HAF}VUZ?|u?4kBR zyJ~xOe_PwV?9R4j8`*8yP1*I?wb@nK71`z4W!a_K#o0yKh1mt!dD*$yT6R`;dUjH_ zB|9oRB0DrYFk8)f+5TCb?Un7EwX#NLTV_*ceP(TDRc1wId1hH=X=ZU|QD$LgL1tcN zZl;!*m6@KIlxfL~%8bYi%?!*`GhU{DMrV3uI%lkmVQsTES?jH})+%d-wcJ`}EwvU~ zi>!s#0&AW%*Q!~wtm)PytHl~+jj)DV1Ffp%S^X_-^|Cr!mSvdR%uVKcbFI0`TwyLZ zmzhh=#pWV&p}D}EXU;Wi<}7o%Imv7>N0}qcq2@rdYI22vv>GkQg z=~d|!>E-EV>80t#=|$;<=>_R|>AC4zdRBURdQ!S2Jt{pSJv2QqT}^xG{%M`=mF}Fj z(ne}qYEx=`YHj}G|NgI=#%IuIpwYm8Q3L6CESBtM6gayYK4%xhoSlrlIrGL| zoH=7pPRAI)X&ZZRW{urBGe&<-%jm~x8oP0(ja@lY#x9&mqc3N|*qJkK?8F%}G^b%S zb1GxUj!gV+?7;b(u|4OnMjy_)(VH_gw&QF!dU0+udU9?xnmD%@Jve_cx^w<)bmQD? zbmjcX=)(D<(V26T(TQ`Tk>~uu$Z>veIGo=ZHs=N-%lWO5;rzz1IM*8{=Q<SxaP)n?9>>L<%PxTGw8)`l0axUccR3$Z?{NNAz0LWkdW-WB^(N=T>YtnssW&(uRLeORsn`uU_T6 zPrbrsD9`zFE-RecoyVNqyh3W;)JJs`?cc_1G{zW~VD44)qR|QRQGcJLEXc7nYx?vQgs(+n_9?OQ+IOC zQFm}&qW;2pvAUh}B6S<*Z1rc(3)QWh7pMiCv(zn|Gu6$U=c}7I&r>&Yo~!0_wyHmI zo}+HyoT27%PFL4+PE*%$PF2@(PEprzo~^FtoUE?mJWE~4d8V4nIZ0i?IZ<8Cd4~EU z=jrMXoD7*`ns8;xQvJ_7aXU7jv9?5yvUBIYwW|aq3>?dG&=`&bPvtn^6psBzbL@9A$G#_V z>@$j^dLl<~0!QU|j`DFFrI8%PV>t@PaQGuQyx|<~(Hwgp#j)3s9D5Gq7;pr~9*1-6 zK9r;X5RQI_aqM;|$F74pb{WLc_YjVq59ZiuAcsDPqxnFN9S`8xVSkS8_v7fZFGufv zIJT>D^a?n7Rydl<96d@L-HROE3LIU1jxHWYXP2YX-W>V8IC6V(I0HEBJvg$vb7cB+ zSp7K6-8j;_a-??QNcQDO?9370i6f>tjAjnCV@Je)-+|+|?Kyt!!%^?e5pKuP-iu>f zPmZlk99w#D{L-D{=WZOEyK?;0h2zK09Gg0EY|L}~kmLB?;rPzx*pTJ;HpB6a#j)Px zSeLfrDPs=)c$VsTos$}#+B20&ew}~oM zLZn@{S_q#3Dd^Kc1__aN-Krlx3*zf>AcqK%cHOEMJ_q9I7LbF5NV{&;4gUe+>aidL znFMGzsD{rA395Pw$U#ETZV-eofCTzfkOPIF-JlXK1F7g!Kn@Usc7t;GB1l<}2H9T- z+6_wKOCTkEGRS^H&~8u+Uj`}alR)+rf_8&K_zFltj{@082-*$&@Kq3Bp9oSFf_4Kh zd=13YCx8S(&~D&{uY?#E9mi_QU5MK`h*+mH2EqmcdAf7%1q^}UPTXw_M zAg(?bWM?KNv|Fl%9}6i}^+1rFgrMD05Pkv@&>xiKHybSk?UpLxryv!5AV|kw0QB4v z+AWpCH6Ueu0LYF)&~B*|t_3OS{XupRf_6*A@H3F2-VbDZA!xT$2tNlY=zT%@2tm6g zKl}p3*ZY9<7J_z5Uic-5r>h{_2|>FhH~b33)d5H^CPlPctcG6;DOPm_q^A(HTMWW= zAb~D}Gzmew#Y(syq@qh8J%pg$VmbTjC7J_z*Uibrur}qZwBn0gi-Ebp_tM>xQGby0m zLN(kZq)^p+g5-pt-9ixl2omT4AdV2UTd0ITfmHM!Ahr;+TPTN{LCSh}kgO22TPTG; zgOqfCkc<$tTPTLVfE0B<5K9Q!Efm5nAO*b}h$#f^7W{B4h_81ANee-{1uxtN;^|#L zQbN#f!42C%T-_HW$;3yyel-k*_*K0#NJ0qO^@Feu66l>k;zH1_UkQH&sb~!n6M}aA za`+oaSvP|iLeQ>X3V#PF=^a6o5VY$T>k6c(cMuZ)T?pFs3v~meptlG4O$gfc{dx?< z*L^^K6@qqsuO0{SbZ?Nl5VY&N^#q8kw*v{8cxczF){{cKs_q5SE(Gm*K|KW$=$;_k zgrHroQcr_abQ8!{A!yet*G-VJ?g6qz2-@{Zbql1VyMz291nqjodIqGZyMg>H1nqi- zdKRRhyMk;Mf_6Q>ZiD!`3&>AG(5~mz9S~1<2KiA4+V$Le4#d@+KsGUP(XLyq=Y_ac zod?+{1ns&(y%R{Fb09wmLA!3H-WjB#9gy#Zpk23I?*dZRHpq8E(5_pmcLgcwEXW2S zXxA;)yMYvS2IN~IXxA;&yMq+81@es$wCnoy9w5FpLDmaFyRKJn0`YVjWStPS>$>%x zAa37OD%HIy-82WglOTUmrI*&odpcmLZ&Fk=(Mj>=RXpVXP{kgJl+nG(XqrPG=Fh1x zr{kY4^o*xs-J4=f>VJPg$w#`yQdajStK;`V{tW#N?{_m&X7?tOe~0Y&UkN<^#dhrf z$!d+te@yHD=6q{@M1HS)Hn%SKO75=QCArbLYOaU#lk=|guycho-Z{wWLr>IK+K<^+ z+Y{|Uc5}9#{UG~9_WJDP?2v5Vtjes;EXmBzOv?<*^vfiyHP*AV{adZ!)&R>izc61g zZ!>3_BTd(|)9cbNr|(S9PM?@AraPrJq+UYhFWED( zIq@zn|0@#X69*;w#J9#*#vhAc9iJE<6mO2zV;{txh+Q9>92*kr8&k$=V~H`}m}U$! z`WXqeM%SXH^eolk`JVhYrwj*i0rZ-#MN{b+G4dbX_q=d0jHheSR(e{D{8#rqH#`)^ z)wO6WEoFl*D&MV!hl!yts#>&`mWYwBD&GylAuxfiMRVyXG4f^QyOnS#OhwnCz4Ui6 z@^$6AaLER$;J=0ZWGz|3| zO{lxYpl3RZoB~5VM;q!cG3c4@BB#Po&(VllC83#i>M?>m%G3c3&Bd5Vo&(V^)O$>Ub>&SQ* z>N%QHe`bU8h)3s<31a9xQj50KtzytK-A7J`p`N2LwLlDdrUS_tFw}Fjrfv~~p6Nm| z5r%q>=G4t%&@-J#Cc#k8(Vn_V40@&;$(b2v9ZG7^s=8hbdZtUs zG#KhRnpM|{LCW>N#3gSBpWoPIunXV?Y zVW{V5VqGc*J=59bA{gp9+E{I3&@2%V4NyOs&L)V$d_4PyPTyJ!5MnE)avB>3;G@80r~gD=|w9dZq))dMs81zgRlq+DUXUwg{`C`yBolxe&P|w&~iSxvuXS$(W2}3<&a3#(agP!S#aup2q zjK!5`6@#AXigGm!^^D1tIEM|+C?1_rt`S3Llo~cyVul#>Om~!PVW?+}uEcaP=$Q^F z*TGQFSY3%}V$d^PQm%)go-w-;Q^lZXI;G5mp`Nk35>v#WXS$`_07E@vcqPsjgP!S_ z@+TPT8Otj%SqyrnYs!2W>KW53ah4eLOy`svVW?+puf&;R&@AF?3L=VSObgib2nGQMm<%dQQngOPnDFJ<~~L0Sxt=ggIRddZwGotuWMc0%n33 z^h`&UKf_SZG{g8Q;&?IW*)N8-!BEdJnA60dXTK2M4nsW~Fyq9aXWtM10z*A3m=-bU z+4sUbU_5;Z$XFq$*>}S`L0o+?$QUL#tk55$!-YcVuyPT|sX|b)7le0#1bQ~eDMHY( zR|)S1sptzqMhij3UOBu6q^vIhIavrA_DbQsASFEu|*eizjffV&jkWoU=uU81~ z2Px?DK~5BcdT9ne0OITOKu!>Xc4-AJ0`c^@Ajbd_>d6V zfaidW6oPhX0zM29=oui#3PHQH03QLV=;uDe(grHs8e}4rjb?pBW z<9Dk3>im-Y{QR{1F!~$)iQJmpv$HfG+;Jdn98Gd8ndrl+;pde?f`y22W79c1+}x0)-> z$IPqEiRK`)IbBbGkbWY4eR^_wNV;!Y(UborsrjjCsbQ&psYG&3^4a7q$=2lX{{g0=+pv$4oy5qu z9lu&`-w0FIZP-W2ycqeu<5x@Vn_x=14f`mW6C>Z&{c5rON0_2+!#+wnV&wa}UoEu% z1XIv$*hfiQjC^DFtA6`t7+<$xA0@M5!#+y#Gblem&w<}A&!Ff%x()j%$q%9Y06hm@yF7%V_vkk4qok64&@TgD85B zZj1I&oqs(Q^i21Vg#3Cc)N{0tLNVx>?jcDS>N(m+?PAa~-9u6^)N{0twuwQ{bPq|x zP|wjm+A0P;(>=t5p`N3Cv_%YhrhAA5Lp?|P=oc~QneHJO80tCNM?bT{J;bMbNLCEp zL)xN!v{?*#rhAADLp?|P=qEAgneHJD4D}rCqaVefXS#>vV5sM4A8itYp6MQvhoPRM zeY8;wdZv3wCm8BE+DAW#LC-K+80tCNN1us7&vXyj0fu^x_R(54xQF<357|*n$2}w( zNNdEPXS#Xd-&69 zv|0>$rh7PDKSn!gl^FC)_mJISXs1U* z=>sw7neHL|U}&dDOX)vsa1Zh69@1Y-$2}yPO8*vvp6MR4I}G(4ZKe0cpl7;=>;XeP zM`LNF81zi{kO45%bF`M;6N8@V9ECxN( zL1aG|>UkW@OKflv@#!M6zZklR)LLL(6oa1WBys=@^*k14nHcm;H<1HjsOK>-FNi_U wbQC!VhI&2~=6NybnXV!OVW{U*VE!QnJ=0m_U>NFoG|Y2i&@