mirror of
https://github.com/asg017/sqlite-vec.git
synced 2026-04-25 08:46:49 +02:00
898 lines
38 KiB
Text
898 lines
38 KiB
Text
|
|
{
|
|||
|
|
"cells": [
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 1,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"data": {
|
|||
|
|
"text/plain": [
|
|||
|
|
"[no code]"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
"execution_count": 1,
|
|||
|
|
"metadata": {},
|
|||
|
|
"output_type": "execute_result"
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
".open tmp.db\n",
|
|||
|
|
".load ../../dist/vec0\n",
|
|||
|
|
".load ./rembed0\n",
|
|||
|
|
"\n",
|
|||
|
|
"insert into rembed_clients(name, options)\n",
|
|||
|
|
" values ('snowflake-arctic-embed-m-v1.5', 'llamafile');\n",
|
|||
|
|
"\n",
|
|||
|
|
"--select vec_version(), rembed_debug();"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "markdown",
|
|||
|
|
"metadata": {},
|
|||
|
|
"source": [
|
|||
|
|
"## FTS Search"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 10,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"data": {
|
|||
|
|
"text/html": [
|
|||
|
|
"<div>\n",
|
|||
|
|
"<table>\n",
|
|||
|
|
"<thead>\n",
|
|||
|
|
"<tr style=\"text-align: center;\">\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"rowid\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"headline_highlighted\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"rank\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</thead>\n",
|
|||
|
|
"<tbody>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"4666\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Kamala Harris visits <b>Planned</b> <b>Parenthood</b> clinic\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"-18.9139950477264\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"6521\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Former Marine sentenced to 9 years in prison for firebombing <b>Planned</b> <b>Parenthood</b> clinic\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"-14.807022703838651\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</tbody>\n",
|
|||
|
|
"</table>\n",
|
|||
|
|
"<div style=\"text-align: right;\">\n",
|
|||
|
|
"2 rows × 3 columns\n",
|
|||
|
|
"</div>\n",
|
|||
|
|
"</div>\n"
|
|||
|
|
],
|
|||
|
|
"text/plain": [
|
|||
|
|
"\u001b[0m┌\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m──────────────────────────────────────────────────────────────────────────────────────────────────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m─────────────────────\u001b[0m\u001b[0m┐\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mrowid\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mheadline_highlighted \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mrank \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m├\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m──────────────────────────────────────────────────────────────────────────────────────────────────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m─────────────────────\u001b[0m\u001b[0m┤\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 4666\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mKamala Harris visits <b>Planned</b> <b>Parenthood</b> clinic \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m -18.9139950477264\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 6521\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mFormer Marine sentenced to 9 years in prison for firebombing <b>Planned</b> <b>Parenthood</b> clinic\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m-14.807022703838651\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m└\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m──────────────────────────────────────────────────────────────────────────────────────────────────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m─────────────────────\u001b[0m\u001b[0m┘\n",
|
|||
|
|
"\u001b[0m\u001b[0m"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
"execution_count": 10,
|
|||
|
|
"metadata": {},
|
|||
|
|
"output_type": "execute_result"
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
".param set query planned parenthood\n",
|
|||
|
|
"\n",
|
|||
|
|
"select\n",
|
|||
|
|
" rowid,\n",
|
|||
|
|
" highlight(fts_headlines, 0, '<b>', '</b>') as headline_highlighted,\n",
|
|||
|
|
" rank\n",
|
|||
|
|
"from fts_headlines\n",
|
|||
|
|
"where headline match :query\n",
|
|||
|
|
"order by rank\n",
|
|||
|
|
"limit 10;"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "markdown",
|
|||
|
|
"metadata": {},
|
|||
|
|
"source": [
|
|||
|
|
"## Vector Search"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 11,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"ename": "SQL logic error",
|
|||
|
|
"evalue": "Error sending HTTP request: http://localhost:8080/embedding: Connection Failed: Connect error: Connection refused (os error 61)",
|
|||
|
|
"output_type": "error",
|
|||
|
|
"traceback": []
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
".param set query planned parenthood\n",
|
|||
|
|
"\n",
|
|||
|
|
"select\n",
|
|||
|
|
" article_id,\n",
|
|||
|
|
" articles.headline,\n",
|
|||
|
|
" distance\n",
|
|||
|
|
"from vec_headlines\n",
|
|||
|
|
"left join articles on articles.rowid = vec_headlines.article_id\n",
|
|||
|
|
"where headline_embedding match vec_normalize(vec_slice(rembed('snowflake-arctic-embed-m-v1.5', :query), 0, 256))\n",
|
|||
|
|
" and k = 10;"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "markdown",
|
|||
|
|
"metadata": {},
|
|||
|
|
"source": [
|
|||
|
|
"## FTS + Vector search: RFF"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 13,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"ename": "SQL logic error",
|
|||
|
|
"evalue": "SQL logic error (1) : Error sending HTTP request: http://localhost:8080/embedding: Connection Failed: Connect error: Connection refused (os error 61)",
|
|||
|
|
"output_type": "error",
|
|||
|
|
"traceback": []
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
".param set query planned parenthood\n",
|
|||
|
|
"\n",
|
|||
|
|
"insert or replace into temp.sqlite_parameters\n",
|
|||
|
|
" values ('query_embedding', rembed('snowflake-arctic-embed-m-v1.5', :query));\n",
|
|||
|
|
"\n",
|
|||
|
|
".param set weight_fts 1.0\n",
|
|||
|
|
".param set weight_vec 1.0\n",
|
|||
|
|
".param set rrf_k 60\n",
|
|||
|
|
".param set k 10\n",
|
|||
|
|
"\n",
|
|||
|
|
"\n",
|
|||
|
|
"with vec_matches as (\n",
|
|||
|
|
" select\n",
|
|||
|
|
" article_id,\n",
|
|||
|
|
" row_number() over (order by distance) as rank_number,\n",
|
|||
|
|
" distance\n",
|
|||
|
|
" from vec_headlines\n",
|
|||
|
|
" where\n",
|
|||
|
|
" headline_embedding match vec_slice(:query_embedding, 0, 256)\n",
|
|||
|
|
" and k = :k\n",
|
|||
|
|
" order by distance\n",
|
|||
|
|
"),\n",
|
|||
|
|
"fts_matches as (\n",
|
|||
|
|
" select\n",
|
|||
|
|
" rowid,\n",
|
|||
|
|
" row_number() over (order by rank) as rank_number,\n",
|
|||
|
|
" rank as score\n",
|
|||
|
|
" from fts_headlines\n",
|
|||
|
|
" where headline match :query\n",
|
|||
|
|
" limit :k\n",
|
|||
|
|
"),\n",
|
|||
|
|
"final as (\n",
|
|||
|
|
" select\n",
|
|||
|
|
" articles.id,\n",
|
|||
|
|
" articles.headline,\n",
|
|||
|
|
" vec_matches.distance as vector_distance,\n",
|
|||
|
|
" fts_matches.score as fts_score,\n",
|
|||
|
|
" coalesce(1.0 / (:rrf_k + fts_matches.rowid), 0.0) * :weight_fts +\n",
|
|||
|
|
" coalesce(1.0 / (:rrf_k + vec_matches.article_id), 0.0) * :weight_vec\n",
|
|||
|
|
" as combined_score\n",
|
|||
|
|
"\n",
|
|||
|
|
" from fts_matches\n",
|
|||
|
|
" full outer join vec_matches on vec_matches.article_id = fts_matches.rowid\n",
|
|||
|
|
" join articles on articles.rowid = coalesce(fts_matches.rowid, vec_matches.article_id)\n",
|
|||
|
|
" order by combined_score desc\n",
|
|||
|
|
")\n",
|
|||
|
|
"select * from final;\n",
|
|||
|
|
"\n"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 8,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"data": {
|
|||
|
|
"text/html": [
|
|||
|
|
"<div>\n",
|
|||
|
|
"<table>\n",
|
|||
|
|
"<thead>\n",
|
|||
|
|
"<tr style=\"text-align: center;\">\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"json('[1,2,3,4]')\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"vec_f32(X'AABBCCDD')\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</thead>\n",
|
|||
|
|
"<tbody>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td style=\"color: red\">\n",
|
|||
|
|
"[1,2,3,4]\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"color: blue\">\n",
|
|||
|
|
"Blob<4>\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</tbody>\n",
|
|||
|
|
"</table>\n",
|
|||
|
|
"<div style=\"text-align: right;\">\n",
|
|||
|
|
"1 row × 2 columns\n",
|
|||
|
|
"</div>\n",
|
|||
|
|
"</div>\n"
|
|||
|
|
],
|
|||
|
|
"text/plain": [
|
|||
|
|
"\u001b[0m┌\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m──────────────────────\u001b[0m\u001b[0m┐\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mjson('[1,2,3,4]')\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mvec_f32(X'AABBCCDD')\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m├\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m──────────────────────\u001b[0m\u001b[0m┤\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m[1,2,3,4] \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m Blob<4> \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m└\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m──────────────────────\u001b[0m\u001b[0m┘\n",
|
|||
|
|
"\u001b[0m\u001b[0m"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
"execution_count": 8,
|
|||
|
|
"metadata": {},
|
|||
|
|
"output_type": "execute_result"
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
"select json('[1,2,3,4]'), vec_f32(X'AABBCCDD')"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "code",
|
|||
|
|
"execution_count": 9,
|
|||
|
|
"metadata": {
|
|||
|
|
"vscode": {
|
|||
|
|
"languageId": "sql"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"outputs": [
|
|||
|
|
{
|
|||
|
|
"data": {
|
|||
|
|
"text/html": [
|
|||
|
|
"<div>\n",
|
|||
|
|
"<table>\n",
|
|||
|
|
"<thead>\n",
|
|||
|
|
"<tr style=\"text-align: center;\">\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"addr\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"opcode\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"p1\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"p2\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"p3\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"p4\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"p5\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"comment\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"subprog\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"nexec\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"<th>\n",
|
|||
|
|
"ncycle\n",
|
|||
|
|
"</th>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</thead>\n",
|
|||
|
|
"<tbody>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Init\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"12\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Null\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"2\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"VOpen\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"vtab:7FAC27505B30\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"3\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Integer\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"2\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"4\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Integer\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"3\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"5\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"VFilter\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"8\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"2\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"6\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"AggStep\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"count(0)\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"7\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"VNext\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"6\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"8\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"AggFinal\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"count(0)\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"9\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Copy\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"4\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"10\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"ResultRow\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"4\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"11\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Halt\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"12\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Transaction\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"11\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"<tr>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"13\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td style=\"text-align: left;\">\n",
|
|||
|
|
"Goto\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"1\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"<td >\n",
|
|||
|
|
"0\n",
|
|||
|
|
"</td>\n",
|
|||
|
|
"</tr>\n",
|
|||
|
|
"</tbody>\n",
|
|||
|
|
"</table>\n",
|
|||
|
|
"<div style=\"text-align: right;\">\n",
|
|||
|
|
"14 rows × 11 columns\n",
|
|||
|
|
"</div>\n",
|
|||
|
|
"</div>\n"
|
|||
|
|
],
|
|||
|
|
"text/plain": [
|
|||
|
|
"\u001b[0m┌\u001b[0m\u001b[0m──────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m─────────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┬\u001b[0m\u001b[0m────────\u001b[0m\u001b[0m┐\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0maddr\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mopcode \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mp1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mp2\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mp3\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mp4 \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mp5\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mcomment\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0msubprog\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mnexec\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mncycle\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m├\u001b[0m\u001b[0m──────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m─────────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┼\u001b[0m\u001b[0m────────\u001b[0m\u001b[0m┤\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mInit \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m12\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mNull \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 2\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mVOpen \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mvtab:7FAC27505B30\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 3\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mInteger \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 2\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 4\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mInteger \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 3\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 5\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mVFilter \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 8\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 2\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 6\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mAggStep \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mcount(0) \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 7\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mVNext \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 6\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 8\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mAggFinal \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mcount(0) \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 9\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mCopy \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 4\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 10\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mResultRow \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 4\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 11\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mHalt \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 12\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mTransaction\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m11\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m0 \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 13\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0mGoto \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 1\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m\u001b[3m NULL \u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m \u001b[0m\u001b[0m\u001b[0m 0\u001b[0m \u001b[0m\u001b[0m│\u001b[0m\u001b[0m\n",
|
|||
|
|
"\u001b[0m\u001b[0m\u001b[0m└\u001b[0m\u001b[0m──────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m─────────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m───────────────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m─────────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m───────\u001b[0m\u001b[0m┴\u001b[0m\u001b[0m────────\u001b[0m\u001b[0m┘\n",
|
|||
|
|
"\u001b[0m\u001b[0m"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
"execution_count": 9,
|
|||
|
|
"metadata": {},
|
|||
|
|
"output_type": "execute_result"
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"source": [
|
|||
|
|
"select * from bytecode('select count(*) from pragma_table_list;')"
|
|||
|
|
]
|
|||
|
|
},
|
|||
|
|
{
|
|||
|
|
"cell_type": "markdown",
|
|||
|
|
"metadata": {},
|
|||
|
|
"source": []
|
|||
|
|
}
|
|||
|
|
],
|
|||
|
|
"metadata": {
|
|||
|
|
"kernelspec": {
|
|||
|
|
"display_name": "Solite",
|
|||
|
|
"language": "sql",
|
|||
|
|
"name": "solite"
|
|||
|
|
},
|
|||
|
|
"language_info": {
|
|||
|
|
"file_extension": ".sql",
|
|||
|
|
"mimetype": "text/x.sqlite",
|
|||
|
|
"name": "sqlite",
|
|||
|
|
"nb_converter": "script",
|
|||
|
|
"pygments_lexer": "sql",
|
|||
|
|
"version": "TODO"
|
|||
|
|
}
|
|||
|
|
},
|
|||
|
|
"nbformat": 4,
|
|||
|
|
"nbformat_minor": 2
|
|||
|
|
}
|