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  k k dt ]S Real_Impl:threads=2elapsed=66.514cpu=112.808gc=4.404factor=1.707zXZִF! .@+]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=8`g<+efN/7nx&)=IuTO(Ri>/zXvWŐ'i6 7#1+a( _eZr@Nqgo9rdp{*rv4 zDe,0j #1Ymmca@h/ yLf更̼F8JJ *X[7m_%Ȕa?wLXiOh+:zRZci_(BV33ԛv kVaQ\/sn2w{gm @q]ҒK+]c،JbڼJy[LєTzSqǁ 3iZ;)Ol7`~nЛ ̕K#* 8O2) k5AW-JvoЫBȏ4nбlCҥoйqE`i[% PT),sxxL1Ӛ]ixl&w- ?Vx sˊ?)t V;P `1VCUڃSe/f ?Luq~O~K J.RN|_E˼ 1K m`L}-\O ;1~B,+yO0QHH~J#jP+Hu1'.]>XjPɥnc=V9Q[zM2"r!,sOX:_1A]l:9z]S?'>ZRn|3+}^4@ՙfPiPvEK-'Mhzϯ%hsXncYi/)M BE勠d'Oum'zRaDBXg}$` ƒPtd[x`r1+5DgYZ7zXZִF! ;]ŗXi%6  uczxZiEHu*pU93pKwwB\h+/20/3}PN kz r1|J{1Nhj7T-]ؓ|R߰77 Fn[t-}nr}뉷 "K־p;[苹a위.:s#{ugC85= ݻlekǖ*I3@Me6a}?cΈ*r9}YtEL9;oNX5`Yp[HJJoI4adiL6d ŏ:=KyG6b)Az'ŭI ht:Y5XbT˧ K!s0~]$ MThM"wLVaM(VX 5)gK1>OzJ=PumwfjƇ9deY[:_1K9q{x+ #!ը1$X 0aԧKM<J6#_ u ?ѱ pA{r7Gb+2D*>jPѸ}0A7IXVNyʻJ2xrC2W%SfV[{ ?= AS6穿@H>%A4\&z HMhTF[Kkn M\V }a󏪨h!l1ؘx N%1$McBZA«tܡy-z lTzz9wMW06M5Ų>-Xpӛ$<\^B RC\)M;TY\Gjw=^õt)f2n~iIԆ儻a9%{;l!HG3j2(-0$;~TP}"2E˰c/pXKjsk )0nIWZ0f .i:%99d˝$G+hVbަ K%5i8]B2!ۃ/'+vи58T1Q#iFԌIѷNK,v! ^TD/sCyY?HH}rNg,K?n]?MCF(7\"8gz2,_#l+t+*jz70eJ)u24ܑ?j~*oxmWPSA=zA3 $ԑy=˭(,;G? &ok*Ic+%@+ =t,,Y–"X׋M}=vhjx]Y'!nvIѓ2AQqo [2NQʌDEo7[}xX~N䐨u< `-#kĬ)2jTM>|s aaOx%_ijO