SQLite format 3 @ .0:
B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
@) t t ]/
FunWithTilings:threads=4elapsed=11.964cpu=37.968gc=0.132factor=3.177zXZ ִF ! ] ŗXf[&-?
4gD6 HƙzSb x
U׀Hc 97fv]ATl}ktwػK=ƀFW:]Xяt~GJb]eZvrF@ $#'s~'=~b6{g,W>/
D7pTZpA
(^U0(+Va/7I@xrԵ t4]ݱ[ I˱g YZ7zXZ ִF ! J D] ŗXiɟUXvjV*~
^kmoy`';=V{{;'&? `f `KFu } YZ7zXZ ִF ! VCs] ŗXi%B)u;11T9R]ŅSш"nd3\'Sq3Mr(ߨ: e HP3Xêu!)`-?4I uWA_۩Z۶a)Z>ikA _9XB:ª#GY XQqry, x [ +~ W̾Bi=%|UT mQuUol'f/$r.ii[e-'{!.;Q@-w3FΎ'1̊#7UpVq~\+҃Br -K)XD$Vf:!1oP^͌, hC4~- "@Yˍ)nxգfKu
|Xl
jG}RmXRq
BwpoG4ܒllT̩|Q'ê % nxNجPGvKp#s櫥Ct%yCj]%)c"wHôsdXO@
cPO+X|=W
U "1`yWyx^T[韓J! [co sv\$q6 gm {Q]1+=
N2R\\ҳ[BH )̞JM~lpC[ 1䜯>q_
Ϲ/M
s ٞ/mz{`.fU% I$
{m+<.Jux]H5 Hrqý&
"mE|ʁ.V#=?Zgc@qyle9cf]ld^ ? A/%@wϼ6MXC0fDPdB(Bx۬mgg]̵BW5QI
=ѓ1[$`FnHtfDpuڊI8eң@l
Č0mqsL,=Թj;q0. W0\ܮ UOK6V-0Rn:8)y70VBeU`/ ]
+J&u U Ĭ կ5kg YZ01a7e59b0dcb163bc8063a03afa78909fd5cf89476b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
) FunWithTilings