SQLite format 3@ . BBh77otableisabelle_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- \\< ]/ ZF-Constructible:threads=2elapsed=16.552cpu=31.152gc=5.780factor=1.887zXZִF! m]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^!ə Teh M}G,DwjST A۠ݺ T g`]XFpWP I#]4_d8 {h|1GgF> Ʃ r!2FLȭE‰#ݠ;Qe!YS T5DjUMC/2nn\8TZ @#GF Ps0w ܢk4%*SAޭ!"8b.[몈q{'!jx 5&XZWU[_D #3xwH\YNJ,~)H+X_;%xY@fEq(똱eIFFt?3gAKrsdmZy=i9`1(\Ӿ„|stG j1`E74%`2İ tA "۴+Kw8.֕c/)2X4U[>Kȶ˵aW, I6:L/D ;԰JSD/ٛEq3UB0Ks,]JAPn ׁ\eq gRE~P)筃d;E` @d aYc'QghD d,Ψ5|r5t^0U%+g%GWq#|dV-0{.(Yfܡǘ;,]K RnRP,iPi}1*ʅǍ"[QܸThS)ǦGbd#ghgE*֝QW{ <$G gv#'&cWXz h"k͛FetEf^3;I]!y&wL{6l`94}ts#bK%'Xb/[cӛ]6:X @qYxoO  LjXm5VJ/Z&L!1htqhO<<Ǎ_,Dx":X.u⛉il9Ujtr ,ɲÑh7zpf oY (Пl# |u)#$F_H̶`__UݑY8神cC[.t%D2 en%րf"C5[*!HDTE{7C=5<Kn:Wv뇯p $ffDʅyi8ӒSz2\s+?:!pG¼r%T@Ѓ:ixZʚW MrB8Tڣ+ >@Դ 8E0j+'Z3Ia. Y35v :z CPhrӱE=G햳N-Z$ R9% dU8)9 gYZf6bf57ea39f12199bb3c039a635e8d719096a4b5daf53072a7b7da07dacaeec0891eaa6642c159c2 0962f20dd1ec52664b8cf934a0792d5b8c764918 - ZF-Constructible