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 { L %w Lp:threads=2elapsed=40.145cpu=68.196gc=1.476factor=1.707zXZִF! $]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gM rQ"$0|~ st^k! ]h12C x9 R(p`v!G7tRJJ꽩W9vdb>0תeͯgv2{}Y<_=*R$.><95 ݃)0H^>d0Q#&H#{t&7}cAY133ãhLx)/|<}!^dk#^萟 3Oeh8\`兄?xŵEO)j'O'k  Lp'!*T5A:ĹL.;-Pw 4r}k,]-9YÊn>A^TI x0,Z:h{:s5tXn)/LAίB_zugdy#|`{C s.Gf09uXx2'I7ZE%x'8d,@ڊtȢՐ\` G(z\4WfNe#!*'ddv}GܻI!f 5N=w" Ek&aXyeW2hs(5Ld;򇄷wX? Rů2 d@>uT<,eҡ.7ЍpU.DȌՑj/m7m9Y{uVÙ^wΐp6u?1+:YUv]CĔ9+zjl ~&pn^u_QN>?9aaLW yZ8cUЋĥvn:)|u9"m4= Mzl%/D  E ^HaW9䦧˸< l׾Y^c{I&gYZ7zXZִF! ]ŗXi%6˻h~úh2 I5l[(`ܓ"WSIſ"@W߻Ex\FBЮ{F}um MM k䔷.+m&\ߘ^sз# ;u{Ih, қP.j9k7U Sb>PiH1`a> 7˂uj &KOcJGh[ǽ-Sߊ00nzpLW/ni>ڧryoq4I` v gC'N'RwbǸJYmɹ|ٞS(o-C:[,wGo!=  =vʋ'5qW6: dt˪ [e*2Gӧ ;q[Bрy( -+"à ƽJ4˲=ƽgŒA9GTq^{ oV },Fҩy- W־5*A)@d}{n`~ѤCuvΫ-[Xu}Xhwn"T@pIL~SuX^7F87lGkJYΌʛ,w>#|p"t'-#B6#?dIΈVӴNg8'Aْm67J$${g V՜p."6ypuٜj} W/ņ%:u%[W/ 3x" $#b Xx߄L`I9ч @b9 c;ޗ )mv\ԡ?zחdGSDe?a;(0bc iP?/dxg#\ǵ<=(vMYűO:UQYΓm;Z* ;XxX,Ff_In ȢCdU  ׉wx6H[&Y޳I]rf $S'W3vc/({ C8`u,u) BrLӿy1][jƳdsL4o sj`EbrY,ŭY[C2`sZ#5lgZsߦq *}q_}P\)5_l)혥NgYpy? puP XETOD'$1īP^רXG';%u-bT #$J6T0SAr* ?&KнX\+ANP=6 ֿ#5f$6l= \qߤXJ}p+0D`VW|~''-Jձcp65P[]|1_2`OXo-&2Aso‡B;60J&3ovpDY>~H@uU/ZJءTVj^&]xAXf@o[L^ReC2ahH* eKQN?l+ꄁ >FvZ7Β:YDB{w&$rOaYfE9N[P] o>wkkՙv[hBlx+M~6_+O2}h.rZ*xX8>+ml, -f(~oe^HhU2+o;.eUWq-Xl[MLca l;޲[UA*h.б(2B~t(qf;[kձ'N ~eɰ86թbK۵T>L#,$wnPv2 oĻ40(OPLdVzߐ^3%W*d*F Y9/YN[\}9M@yse>coC2E!9GxKZELOAZbh`F(i׵ Wwsnw61;1^3:A4UZQ,. 3^NjaX'"+\w Cד@nSa06r\h@xh"(&r{3w4dH "q1 "*4g1'c5>(h E?@@Ӹ'](pn[N`&?[Rcżgx$Mʹwf&FDY0k> #b$%#:izAC"41wYaGKm;&+*Kj\HF*gYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa289248554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe 27d1cc7d59bdad9cff1eb5f88475476e40d84b64 5788e9bbb27139795f1713383ea234971c576e91