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 h9 \L ]/ Locally-Nameless-Sigma:threads=2elapsed=40.671cpu=68.036gc=2.544factor=1.677zXZִF! U>]ŗXf1-/6vRZBh S,Xf³@2AdXCϦr v0xçm_Dgme"AQ<4H1cK,R f[sRsY.6*eEk4&(iL#ۿbb0@|-rb0熎 NB0^3jw,I|76Ӟ1&Nϛ=;皢"#<$ j{.;bNFS(wE d:V-JJW.yr6VLM$$"lW~+ `0TȢ۩Jگd?g#_QK hsl#g4oX0րE;h6\,1CGpUg% FuMh՘#cnaz™\׭+V%c'ls@ӈ,H$v. sC,.ZAوƓQ8f hR*D$(2uf<LX̪y8ĈhD*B`e?_rP~cZ9ujW­YGȜ't4@=rs|KP,'crMlϛḮK{g@ugYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX[`W(,PrQu*r{ :ѸX0nhQءȼm&(BG,Oq+C5G*dkzp|(ʜgJ?Cs}*cG8o6_·Mk d+D[vDB٣Ȱȴ8D%f\oT.8gYZ7zXZִF! ]ŗXi%93`uja-L&n&B`bf5S ;z?=zziV,VJ[S &v8 hXLp]", 1EZz*Y~: vyoO޻X̱PM nVGĨvjŽ]D/rx b4甒-|BM xD]e^Cۏ-{H"jzbsKm6V[m]H47/2ȵ36 {_J@] -A\dH;n^fmrçKi hj6$Laa 4B|"Aߤa?@yaݧ&T62Nt'W Wչzpi(. (L% FgAL1VGNFnU EdZ{` 2`xd!_p$ G#>&qsbq%klѳ ШH<޻u삁іyUW±C*?T!aR&Q,+`[Gr( ~#Dl@hK32^oYkg~yYKJ0A=B-Lܻdz`m$ )P \>4h ?;DVpזUM*& B +`IT:ga ]Kx3jxrhem~5}͟w=RVOH0L(>Go&Wu:]\`>{j֍=e-TBR6=S4;$o%}PIi2q|nl""ɻ`PO&щ(9}"ZuNXH),O`\CԏַEG %SgN~ń}& Wi%[K*zδACfĨzZ/ ܋ηb]K $.kߛr5K*['|es\sFI'㲌),r7Nh`ײ"S4m 8:bT㐛z˿_6sXZ$F:r{PFo-R1snN9D+'9돹.(g΂$1ſƪF3)0ϫtW!6M9%4;%+2 % t9&9@zVʰ-Y=s=qVYȁVOگɖz>mQc)M[СzF]g&qd 5[^«-+,W@4y ̀g$?p[Bz~=LNy.Ђ<'K"&/i6aXLx _BE4[|19+<~?oқEf舭EwW,Sܣi>eD#޽rte48B|DSpҊJ!1o3C -Um?雼sQmWp}FM^/,}іn޾QdK[GHOp;fO /~7R*WΌ&':'/#'0^k!5MyQmqWxJ* |d:vCn_ }0F2&O?z^*utbpL bY3{h?> )y12"?q>@,ZIA=Ua臈7;^/