SQLite format 3@ .;  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <<A  ] IOA:threads=6elapsed=7.458cpu=32.812gc=1.512factor=4.407zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/ЎSy;E͒y*rK]b{⮻?8ɌHʋf j`AʼnooRoc?ɤ<6l'n@7ͲWZAO:|,?rUG| O:m id0Re/9 gpEᨆ^6ə]W=gYZ7zXZִF! `|]ŗXiɟdN'LvH۹C<" !LZōZ Gռ(ZbϒxW۔ϜnJGz#b>\ctlE#K2b}B.iW_ۤyc6{NJf? 77\º3X{:nV}2G ] StfH#r0t^$} ;! bX1.Cl-%r rw踅Inwʇyߩ}a`*"[B8ֆ H"6:Z,ph'G WA7Z)HnM5rer`H!4}]-'J7 gYZ7zXZִF! ,]ŗXi%J `)-kQʛS(4&VR1 Nn gX2rx+L 1BrmSgBWDS6TV %9= `F1<` ܑO( PXYKz:M>'ǞIhfz6BϨ7{\kNw b=W)RFø۽4XZ%-{̐m[j>kjzE5Fh. 2e5pG1+|>x[m lИ%=܇{/ƣceN"NE1jS˔ ݟڤ岯+R]bi\ԄsFV@ !W4[N8R-hI }%񤆠0CC(nF2F.jE͓0Pp+<84Dy29F{1p6}j^M-/}b)5:1N?)\Z;1,E~ 3lG1jM~Ǯ?Onq;ägiy^'U(6jeMoNvgd݂a?U|jp6b8rb-&=#%=8&bv^`6e/HAc8&yFr>1614ǞglHpVҦ2QjJIbr0V9}|1:n]XNE ]E4;"ȱHdؠ!hm |U!1pϙd>Xu{@ YX9gYZ45723d63a79650f6d468478920ae7379352c7798f7c715a80dfc5d6a73b803bb3fc9916dd402c7cc 92fad740fd10300db52a7965165ba931d80e398a b9336f6f670fa045d2bc2dd3db215da8b6eb4457  IOA