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 w% <fJU>R Hncj/^5~F O8JXK8]Ԡ  R:r[Ð)N˙ % Regular-SetsB1۟vk][9_?᷆&s|)َ>7M 뢚;"f u#j0!Mc򲀃A8jc+ٟR)b,wy ,;Z,ҽer1N6l XIOmGLScA2} If<'^4Jr=PD֑b9j q9˸ܵIͨ؇fqwR#!5!&SF&[h8{i9!z& û65^` *бgYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~9bJ6FRAN}tSH֞1K=]|&2N']$ q]~)ʈ 7pSYֵ}=v 7!U[ x.FGْ A|('L'ejDD}ǡ?ўm aEk\֓(P47=re-{ѼQq+w 44/GS/qq׫Rc/:]:aN}ꘔ5 *D%&&$UeCk̒R(S#gYZ7zXZִF! _]ŗXi%ή*̼˲&vqu;|u 6(6 A'{-p0i&̜Zu+vz)jqđV^܅[(uft| 'B0+j};R,}@oUG;Xzg*tvܿ*ZOWZN 0;0>¶QG<݉B\LJйљ/XJ7{t?Ҫώ.KX] v3IZo yV(g.MLcZ[ =ע|pDvbsі K*%aUl~rA>\= ~\[ >+yC!K;`9Jn5@P T{7(Z9zSɌ]_׬t=,8.Pwu\m4tM'{tVnuk;P*|mkP'Qzx38._Lw݄Ŝj/Os0b˥0,oQ Bơ4|)9G+mMsX%b.OT.ꬿ=k!ss&,,!^26?)a9 Vc^:e)|JQ\?B<È9pv/,dzy3a`ic[Z<8lD5 zFD6[>8y\8Z b|.UY]1cn)9Ņ a$޺6@L!!DNT@ӛ&onlj*"mAU&{ULjs焿Q˘\´KH+ñ1?ua@pY*9gw~I@d7K/@X%zaa%x{+]WJKJʏ1th۳~Vd: f8hTR@c`p5DcA3;u*dD0OԆ22@T$ [5ndn,}+wAә[B~W~(`5ݶ6-(Ff4\wx!1b~Rﳚ0{p*-*/O"qPЧwQ( y ls9,Aꇧ~+|!mgwJؽ.t6!yi ;;֯l3>xC#>z@QZg8*͓.^8cdep-/Wɩh [iVT : 8W.[$P('Xyﰨ[\Хm-^Xķ֥(k>L|93k|.->M8X~(- t b:7cEwT/ie`/V=]`IEZ6'UU B!.~oؘA; uNBd&iGguPv ܈ vaPÕ_aؠĊ eRǥKaXb 0\v[RlȤͲqbf:*L6B?K/ohzt< A c*]K.4Pmnfb !DU%W$@(}I ͟n92;::X_CPcG '`2:2s`;XDQ43Ce355lY-a#o;ؕq 77KlwzV -m $:nv 9֣lZo&Vk[&B%f05itNgU*^=X$Q+;lxY \3;ځK~}~fyl3,H]*%<` T) Y]G_D)=v o-5 qyEn-o,яPk∈uI9FfL 9c*MGRb 7 n`~9i-}HNⲖ9q֐ƑS=[AΨ*nyN1uh+>;PU0=C2\g2'ph*!G" @*F^ k3:F+ᠫVNGpwNބm}"SY;BX@$WIDt?TLIJyxZ3͍n