SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  Tզkغ&Sda9[8%*۹}5Y3*L nJ, 4Z߄w|N=JpΉ86<7 q`<.~HY݃x7⺝>L8~}YS疈RC;'(ɉM:+)7&: µnԷriD]2)fڪrS>f"xnfk}u͜b}F){Tlo; AۅEQˈܖEiJFIZDaD_D3k_5. MSa-حr{n/Iyތ"k-]oʠώg_X(9p3u^9c e?Or/WaK*7tclV5  Wno 1j`xIa~h@"dDkb<,!{{Jۚ-sg]wLA+>@&aԽ+]>ۤDlBj>=Ad,oRم@m&^ejLKƱPUfʍ^gP8Gy)-Ӡ(jOy)J[,ΩKAv`8>זT;i(ӦHlq.h GLbe*"zyfKR/>@eJ:ߖo-Oմt¥zKQd&HJ؁g{Gs|DWQo$TCNÈ\R-^c|Pf=VkGg{ѷU p0Z c۱gYZ7zXZִF! ࢠ]ŗXi%B4l=jk9y`b BvoVDZtU ՜U<]ٍ>mr2]:Ⱥ{ԍwMHŹ>+0f%-.\6oZH<oµ,'~qE` f@b]2y䍡-Fȉ%S clVf KOikr'@ [ؾ8h#ItvM/ Vd)֋w-[Ex6bޚRUmXGjuex- 7'.+űlXZq|tkT.@uťRsY)['ۺ9 m1[UIF%mð~eR6׆*vL"(X)s uFBmj#sqS[x'F֓t^~+j*)TǑ% oPSNzrDN|960;ƚs⟐:Jh۰itpߴPUn}딉[9oR%!x,PL\YE("1 3|qDiڡz7 WOH#FZ/$- V]4hAǏdxlQ^e=aI0uPMToLW I#/k wX[cL{NDs0&s;Wh|p=~ .tL(sqshv)kdɪ[?"\s$OpGGDQD(mMӇ'N֠hE»'TOd/r&4YDMTnS3ji ˧Yx`)#YeU ܀7A(C7Tȡ Y_ k┤լM~5>iIg|X0ԴC/P3$И}hp"cM4@eԙqӇ旺yG8;>11?PQt#'(d%465 <xҕL퇟8?m-*My5q~KrmHHaڍò$)U݇&XW[1H~<PJ@DވTt륺%[ Sϱ23pZb^1uފwKhGN %2tNVtzD߁ClHWЈ{ba=W8J6 s@L=@3tR0i֦3d1s+NX˜$:bKWA:nܔu廊E,t<9H=,y; ^3a\;l2 I\'ҵ42i&Y}+~%~!vͥ&͸fLPI+`hHWb>^Fa6xM {Ŗr|L;p{-K0D}C\`~wԅ)p YԔ5w*޷{!my'=}7 d駃>y'9-g`5uSa ۂXbEe K{ Z:L_zdMAš.7oUNц:,Bz3U7S}^*yYx?/7) Gw]gLAe!"5dRG@|"RG:B.`|UԠ_&c>nܱgYZfae9298631a594da40fe5dccc7b0b4a0de79912a9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d