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  [ tL #S HOL-UNITY:threads=6elapsed=18.851cpu=89.788gc=3.476factor=4.767zXZִF! 1]ŗXf1-q恈r}O_'^ZZVBՖӪ|xY?E–{·|<~bMzvb0 !=a1p[/'75p`g\ dpEs\Q£A]v2r Vz:Qϥ v 3@@lc2:۶*05ˏ~#ŒYvm@.i7p𲭘ƚ)*ê/9[ æiQ0Y;o܈Y:w"8Yji$jn0`?^g V]t ^ZTT[Mԓ:nP7gA{Ss\5{0LZ$e4@GL_9tǢ2BfmK')H7|D\Hy[ty8@Y[;聊*֜+ Et]3V7 D7HŦhn3STXq*YPBn/ʬK:dNSdgC6\(_'XP1[C>\~FACтF!w8#x>s_صì>OQ TJ22ngNZY52|mckO( bd<[Y"mi2;fs-Κ.+KJX9vLաIB) KZUEu o2:Vi۪D g+["v :hQՠ X,t ş8v:k]}FtTT2 &g]-ƞBhow=pvriSeR uSv왅͟U1ؗVC!J^χ!Bײn/Tpm.Ein/`0p/n|Xc)Lښ7$U3~Qb䱈ɟY2V.ݵ_4 E LB{ҌN ɭ<b*/cjg|tOWOxIf)u,݃n ]A4L,),aUCJ`S:6XK?R:TĴ@"׌& qvD.˪9Q$\hzmN,]+nZǐvj+!e[J8"NX 8T%\3kKNom7ɦ*8 5ɐY ~^0>Jxx3sZc1**b/.mzWVyLBDiBg ,O>0tߍp|pvQٺb]w%0s! FIu2Z2*s GARLbB$víTnOaLkjIrQFAh1gr7ku c.AI6<~8u9!{x<6Kpu.=Lv+PC%(̂j qaC{."b [P YL*M)/8݀ WH3?¼vR1t;ɞK^if906p:3=0v%arAJ0p2#&p/@Pe ;iݸ~kQȯZ,ƉYDUKPd-@lqxmMKFd[#俲aPZ?\qr=~[$ufvP%Ɓjrf:T{Kڟd9' xhn|ww*.*NY$2AN'?GvT-I/,inꆒH"24DޢlI(\Y 8,/?Oq3@V(Lc\t 3ؾJ:XUU{qL0.(~sCoWs@=M fK`lGقj<k C׺H_T6>WH.PlhUe΁E^eu1\X >~.rg#Ka3Xl+0zRta$jj 买ʀmFr<5ܜ2e==$coY ;@*]ˉ Xpy|\(;g@IgQ''SW$zEA 2?K<ƺ {i6_|?܊b#Ba }sKqJP|2ldqOkNϤʟYHU+|`Z_(FgnmH" P;=Q`0=7Ā s4vʹ3pMez3ͅ^N&xbTZq+sT(t5+hR^7W!o”,/yc.ߙt \(Q%1{&R:n&S&8)NE- Zuъ;}U::_.4A4rl3H2: 6n>g"{1)AتjA 4dE,C-4O\-)P[֗[ \(4EHgΛe/衈2U;ׅ[\ꠁqw!_"t í%Utz72͂د&뤸f@&[40zdɊjO=vSImjq0Ź} OC Z`D>*0rm0TT57at K N`