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  {5lD ]S SequentInvertibility:threads=2elapsed=56.500cpu=111.128gc=9.640factor=1.977zXZִF! 0m]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~r2ߚ^j^.@fP(G9羏u5fnCT)a;DZܲ5wG06]sx&$xaWFpx.i@Θ qGV%ghI{ ;%RU'x +V3(bu]0%\PFLd6,.Df`zG[E=s94GHLGZZ ł tƢ74D?$poFŐXkMJaYS-I~ LJ*Eq2k9|@@aMv`_t JØ0 !|9` +h3$"OhS/! zX:ݲY~#NEfXi;]Ɖֽ4 ԄmIz VCe xTNc[kBUE WbP̣´ cny#ɨeA7nvd28PgC8 #9F# [/5-!o8\9X˺G\RYAiry6=eo╾<ꐲV;@/24$qrPY)[sޘ[ea|"k+)< ?mƗÌ?NC#x,P b5|(p4o]}/K&[Р!r# tiUy1Pxg ';p]@] < ZS^&|+/[ظnccA@Gjf2hTCOAŸ6wD~<q> F. _bBC{@CsP}P[M0>Ri(O"P_,j@oR݋ŕ[Nl7*0)2;1Eq㛒~f2VrO>Zb>'80ţ@om擞%A_ -,]k ,{ʠC’ WN)QՆ+]|~3:0gP3aw~`Ǥ[ [ZH0w%,nX0.yea\ }m+~=&*WbGft _0:;hsDÏFJA7i<3WNޫ Ho Ƃӯ7Eq}WQ8L,2$7ͧ6Saz-wu8#yԝN"ڄ湲(Wt  İHtMߗ5گK@ Qͽ:ُϡOi87ç|n&XX<3؉\anhn\E)@p[5 b8CgH1Q}rvB^ޜ[&1=3Aӂ2< N#Nj `1y H#EX~hD?<<DZ:Q"ޠJ_F^+| [eh ŋUp&ބ@VMn 9 dʬtўaD:! QKr#Bt[_.h#ЋVOxk=w)@? Cdfՙ@Gzamo `)T޺н#ݹ?Ûaƛx;n7I<4\p7xW@<F2]E Qd\bm[ddLq\41UAU휫 5N7B-֑/ MyOֺwCN\<`GO: 7Iid>b?2>"~b/չNH*F3ڮǣL<&K+k).$!fgBD dS -־@$ގ|'Z߹1Q!/xz|IsLd^x]Bthsҝ]p6D