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 HH5# $$ ]/ CISC-Kernel:threads=2elapsed=21.180cpu=39.024gc=1.604factor=1.847zXZִF! K]ŗXf1-/6vRZx>3ddCQXfh^x[++M̵3fFK汬X2>ee7YBU]UBzgna¯\OP`-j2[e)ߒ{1D}"";xf? `6onc(Y(> ϥVFp.Ww!ϰtl'W2&[=c3d ͤ$` */F@$'MΔ2v!{RԹo_OEE[6a{Dfj.U[XKN]E"q(yPa{4o =c' j45{Ɉ~ vdy _ ܻگBo&Ȃ<xbӣr5aL̸7/7Lܨ ]W82-OZ⁧UxWsJiΓtzpVPl-=A(niGz|_P.m&NǏ|MmiVʗ++ ;Ю8P w\9'1M/bU=p 1ʂK@hN*upaw6ϊMdlr8ʤf,t9>DD?כl۽2$;чG[Qc+^3 8-d0)Vm,XlG\[==_54"ﳴc_AA}#FuLp g,Xz'tM sMC}7qr$@Drym07fD2c1+(߬{D~=mSgYZ7zXZִF! E]ŗXiɟLN.!}" nPBڨ&wjn%&a} K쬠~-tn(.<~1עro%m#YU+^[نfd~ ϕG.Q~AEJwj~5Ϭ;7n8!8-CRAhK`߲qF]xm. e./vCQ&A%J:iv滥BQ%hj4*bIs^&+hb[yYzh!9dw1@-jxdIl9o> GUgYZ7zXZִF! |]ŗXi%92m/vʶq=W*m͍*"t" Y\B<>5odL h5{)!:gɖv)I nJ.LwXun!PM;T!b}m\{|+n䫣dQ*մ*Tǝ)E|-$hVI2qegC$F+pE=ժĮMt .;1Ziol>} rGJ1P͑T}w &ɍƭEOuR Ry3QtWXD xp-#2i ͱmʉeςvɡU uX7tSZ.beZ[&-Bls({`pLu/wҒ1wkW ;g`4g{IlY>9;.4~_l˄#R1aTA5B8 4y^{X3pb1m]:4]*2!ћI(/ Hn>ANW k"+ JEHmO4ͩW#H)vŮ? 1a?%,h'S=qkR+'X%^*Lk\8l p3:-Qt^c ]Xz%̓)b]% XAo=@^*du$$yEeN#>[9gw+,Aq'tГvԵ<鿅9X zmk!k0Ԣ(9O]?0ͫ;A5Wsr{+.db{đW$} \ */gYZd9b042de8607a72084088341ee064e1904209b2f0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a # CISC-Kernel