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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info L- $ ] HOL-SET_Protocol:threads=6elapsed=24.569cpu=110.884gc=2.392factor=4.517zXZִF! ,5]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;.VX.!o0gi:ytjQIy{T.$&=T7 ,2^x6ôGAl0zJrћĻF; "녜dsX؏хmɿԇ6L*S({`ֺ!d,Y*:QQwYfచN/kI _cEf2HX0$ 3cX¨Bq,1O#+vx o8p괨|GVt~ӕ.RM64{2 - HOL-SET_Protocol  3Ldrk.0qvt_SSY_o43 ߽>JEA>uO+* w6q@9TGXbʧka-@' *߇]m(#hq^ا~ 32dK0 !tϗbUA KCXu9TrKgg1x`]铊 &MMw@ v' O\I%R55D?b#+\Gv$B ]Ĺd*  \鐟¬7&h"aN4zt群6mngYZ7zXZִF! b 9]ŗXi%G>ZCq3a=ٖؗ|]E(k滐&F]=ԕ?n._ ׌%JC>^QjZ.$5&71o$XHu_[hLJ<+|l9D 0zռ"z/c"a "h'2N:dw〫o.Aa !Z7wlaBrT<}xXy9 Jp>tFYX`#8v?$jkAvݼc@7npLgOwc^O{yr 4ЮPveνm`aIIBHn7# X 9\ XԧrbWXˮ~ڛ}(}$$}"K815;˽3YM*;mT|_F p$(!=haA8#]Ъ\yL]PNrTnGxiWejS*c0av"q[6a>]2$:Y edmSwVf޾ _esCZ$KhgH~QX DPHeT>A |5[Pg|1.AZ{uE8E^m6ui՝|7ջS[2uEw(_yX3w1Q\N.RVeZ!vn`T*? 6cr0=Xbòh%mJQ/gg}[BQr  %Ro8GV["& %L^Vu5_ܗq6&_*sy7WwVaA,st}46574n'U2_"#hî,ًm` !`l ߣ@^뱵 Xvy'0Go,cj~I u fFoʽU0B5ӭEeJj)LjG;w1kIϱn#!? Y|%A^?7ȶdJeAh7x:z497 _ơV ~uar|fmȃKu| l˩?of?XHbH霐홎?V0 m]x}00Hm`@U(DpdeF~%̱{7Df@؎ Wtqsz &AߞٳSXQzB)uZ>AnkZfԷ@}L?}޴Ů' DFtŇgmO1 8=bM;L>~C60/zejdp I9_:FvOX̬(n+tzl`/Zmg"S"%|jsgWE!ɬG˴1_͡TUnb)tFnc=,vIfKa0[rB{r=2(Fs:9nw$1xcl5ULq8~I~=I` ENj Cl_BNlp{AIq^=䄉(SPF**8<ط¥}0O >- Le(l1x ĮGІ|jIpSSCBެԫQ!_,Ք8C ZƙE8qJrA4箱m( 1u7eMQyYlq&YV-)ui6jIyni!Qx2eqΝv͎. |65gFpdCcrGU^֩bk_;Υx@% Q hm~.5!w@&B*sumGm֎7Aߠ9itq` h~#=EAeeacT ?`gF?0Fb\L3:;ZM҃b3erbIFd8_s@I8V^.E+#M{a묠pm\DʒwA2#Z=uDl!*Cat7 ;{zO`~4靮R0؇*v8`Zd*_rzu$ ^)o .pxSxmoI2v8ABAC[=*ѭ;mUMA]05/~`(F:;&] /Pu*, Q3m &xF DbIcӼӵuosF݄tv"J'~zUK_HQ94]f36Ґp(fqR