SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 B L < ]]]ZF:threads=6elapsed=12.850cpu=45.184gc=3.348factor=3.527zXZִF! ^]ŗXf1-) enȈA$jB80l,v8-qFN}YeG_ckuI~5\Jс|:Y$.G"G j{ z[D9xN'9`*ص| j#I ck1ӨfyiO>jpn_j!z~nC5A "zI; d|1]fI$s2_ D1ݍmu`SY_߶SXBp`7ޖ->lPISU~3PL=dNM#V-t{^̯Z'.(S4IBV_9+i+i|U3AV(gO"q٢;ִ|9]w3 pۃߑIDޏژM05(e74nG6kF|՞Sx("Zw]"xB)_ʪ~\igYZ7zXZִF! =]ŗXiɟ 1FE`穱 7u"f&\Dn\s~gnAl8ȷMސY"*R*.pc'GpB{A39n_A JGy_$r)pR\Lʒ$dGttzb1i0:lb1n%B]<VD2%|F)C4.r1V1xyD ~eX"ǐn>N:ώޞeC)S}|h9ax8@GP,eZ&us*D-O_.8([W,{A|-Y}'djF#vqcWy~) %ߟ* ip:S_3n8!x B2w*R''|ttq<чĝ{e1qʚT՜{q_UTƈut%a5,O%9in2Y\K ܥV\9Ŝz.qpƶR\cgYZ7zXZִF! >]ŗXi%>n=Cn;n2V (̠Sj8_T }voD1R.PCTJ5 p,d av{P@rљQC<9Sh5#2H|f~f^|`$}g6G`X285h/KdY* `uHM yx -t>gEoVOd|(`%{ YPC_Z=1[owJf[Y@H UV; bE0aCo-"Ca۫H%ZRY^ 4gQG22}'WU}d pǃHbʶT't%lL՞M=Ǵ>S=-,(=OTMg;%2DN1t'NcvhhKL9,9,MLJr LKu%[5aWDfD&ZJK|{WNGdl8l<&@X-bK2h$߶Zx1NQ 3 ݞ|$/Žc m{w{HgC>cyFwxL,/B!ݝZ ۀ3AClk/DO@B컨87"u>zMY.Q27 큽(n"-Pxl4cC?>ħGf-lK<2{r^׎лs[dOOngNxB>S~0 AbӠuMIwv)ͳU`'#Gd@k($gKM몑޶ lkNMhFrD怰1aD"[(i?i*@d1%pcjl|gs^l[Ge<Ҹaźa1 \דBfbY3)X $PNpgm*+ ݆Y( }rgYZa6b24e832f36987ed2eca33b4cefbb43e3526b56d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c4261709c59360fcedfea28fcc8492ebde6efca76a6  ZF