SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   g) DT ]]Kleene_Algebra:threads=2elapsed=54.929cpu=91.120gc=3.896factor=1.667zXZִF! <]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeL G!;*7˺l2W>c'Tz-"-IE=tug!薯uY?n]%QۘJ`gWȍ1Ӊl9 jASѫjm~kqJEX .Fia .yg:Gohy+q%*:\GFRgY]$ [Jpn# r_f34R WCs㈸-&_'"nШhҚp!f!&V![PUXΆvS '@4[>蒖$mN?Ϣh*R^J7t4 ׹dRwl*o+b;dŏXrJ̝n\ʟԫ 's*YMkCu&sfuȲ%X0 ) Kleene_Algebra0 dRUq ~^Hݜb7';]&r9\'㦋CsiX$REGv<Wcz1ZTꨱύN'7"_ir*Bӵ͆uX9d_Ƽ.G~-Ctk_U3Eez2sD¿MyDwFr4:]rIwj':.w. 9QO6# seXupkdM[ :qfAﴨe*w!Ü'ĕ ބFڥ0 yԤjgYZ7zXZִF! d]ŗXi%60e+yN/M_X~f=FzK"-f[v9pzpohQh~^B^ƚ~+K |`|)F!^=$ȳLl"=߂3ԋ2o: (nBs)dq)gċ$ ESibx߿2P*~ۏv%ZeA_ l Вe5!J"fBqBU rQj]zl.6q2ar{cHxkt||"vh$y:i}JM*@}kSL7H{ELYS'jx_<5?(R7f+Y|,yN|eVDv(3ȓJ7anr|967CK[3F~u~( cIr\/#W[MJ;y ~Z~7& ^2xpqܥl).$ӗ$ ϓPyC30G?+bVk.H˖@5Z* &B{&3*XLcU |"{q]g: ̠@[eha)ŎO=j*)g=(҃a-%칃H@֗lw)I!q3c7eC׬, )(M|3oabtvVd,:@3M>Ǝ Oհ0)pzpC|D/~u@n时uz}L|RD+,.s'#/`+ YU43š"68GяbbZƟhu,Kgb52?{qtȿŶt8]DXoҢѱH$f]ɚ<-&18l~OQ-,]_ˎ-cԻ^zWufX(E^N0 i">WT^'߁~c]b= T~E7>_'aLL9Uu.4,݈egy|]H@_[1oZYᵃ* $c (tW({ u˩5U ed|"WʶR,Y(0,V)]y7wcM7,T8V^ri<9IC뭝T 氀0dMBx1vw}O>fCQeIm%?2@,f:2K|RfmHX?10("1WCi`V_YdmNvwG5A~vМX_XMf~|It7zrfU[T[&W>s";y+kV`f ?,X?c7Vt P7b͒Dor. DžCT.r8jN,CþB\gldV@$] & 7GHcPA,@$t-w+! %YCZ &2$zf!Ao'Sc?~6>(izO 񆐆P IWaYeb52GfV[ϼIxzwg~ъ|/q fh6ZZwM@bD.!'f5n![ͨ9|փ^[,C9$PQ<>!5H 9Yh=$rnו{.mOgog2w'bhg8dSa1ݱv@Ԓ]?j"0qwf]-sb,@- @L.OrrjFfgn[*PlNq .0qxSexj3:#`W*\HqR1K^L3'[vϪ#9ᣢ G~wwVRSwCg|e[bi PȎF)[FMf :kQTs|CGpEUG%lAˊS*Bx΅({7BH9Ӎ؋> w5{Wu~> L; %ߩl(bwyj6P #bXRu?p{-Qz#2!]>80*Ԧk*oS|v=6u1`Gso'XR} "WUk;*NC,],p|S~3l3ޠc&V@M4m;K:aC3Cا'Ĝ66R'L*|SRiYvA}ZI9aZ?5S>zc#H#뺸NHwe2FtZX{'&~E&cxT0\#hH0ӜL,$#k4a ̘udҙ񸍾I>g)WJ