mirror of
https://github.com/asg017/sqlite-vec.git
synced 2026-04-25 08:46:49 +02:00
897 lines
38 KiB
Text
897 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
|
||
}
|