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   W <!fPjJM̬;r.J-بՊξN#k ,%~fِ'ʺEwH}ˀ˞D~E)@u!o]i;v5 {ֻxzD-D (נ*ZQt4I{C&{ %WiN2$".n YW WsvG/I<]Kp+*'?/Hf}{/E"N5^$9N7s0m@_`gDR!D o^H`Tmev`- E_^1ȕ[n(}^G90o )I<Nm" &&e Tۓt{_l,ZB0FP+A~;U%@lXr1,QO \VZF}r' #vS H*kBg/CbOgYI"f]%DB-F KB/d#t3_]ӅN;IVg 3/޻пBhSG}R}J3ל1ԗ.GhDmŢ3dΘh,İ+xvPhp,pCkosF"/6$PԤȏI<=0@ij_=SZw6:#ذ\mbRDX^)pj mt3ٱ`Q{C\06q%]3`d:Ȱm a(rϪ!0RذUմH g>Wx1H>Zw?7T'BaIh0  LEM  -=7eCctDU Ad8fx 4u2Zt3Wߓ$XfʲtQ֕@cݵ@D%1RZxgFиkm Ho^ lMmgYZ7zXZִF! V]ŗXiɟ1˦r?p^v3HFH7e'm 1/CϺ2zb-a7I%L'EfD;[2{N1YV܁\>A5;zDѶe2^acǏÅWM"O Dwxؤ+2V}G.HNVBzj8*ranS1j v;O[2&tp2IPfYW͕ &!e421>>jw-װ^L(ֽ*%Ѝ0z#r/F%Yra70?e3"gYZ7zXZִF! ]ŗXi%>gƍ79PS>~/gWñ23cԿSN)''@FQq$XFK~O1p~z|Zo"VQDA'(H`;rIq6PBfW.O M.b-dYڨPӲ& X9!7a}"bo ;mp$j xCs0+8hHk 9 =Rz8Mȟ󕑗gAQxJx}@C&"*<5- Ga羨 ~^R;z/>N)g&eg +wYYB=PI4x+&un`8 5޺sg͗^#OSĵۯ ו$\ix?r-9c.^B'\NiOrp ܺޠ)R3oR"+³m 7z6,9hvX,Z%&&,2hN 6xGM{@_(Ƨ}<,Z?/'NԦ0u,iةswXŇltTgG&Q9QxQN}΃3!)@9rrut_Z⤨_YTbh)'4dEۃ \8fSTh'v#eYm#êvLtH<96$(zpvV!O0Z+ ֘3UjeEW|Ræmq3)sk vLVms^N ־Bg| Zŋu1XpXŋ{\jx>oڅnN\ +,oqV?bX%ZJHh%D5Α4xft'0e]rW*7υڙ9FZasywž!A)LR6`A 'ֆYXG`"6?J?r?N~g;x?ESh^0JZuiCmM P`-Bh$ջk$>PEj`/|=ytQK%bM |RJ"LY]C_>.2^n~yޟ#TKDSU R Z<`OXv\#I(&%Rv@)o)7-/rmR7@z_7F +ҳfe!z##գ]Ei%"&sd}!]KӉ0F͵fm?x!k6vĆ?;=qbVkg8`BSː_v|zx2|Ce?\ZC}] Ff cyD;.:J%S/?{F`ST:-G)~wCJl:f#JcÄYQ;^!TBQK}YSa-M&m8( JSJoTEvQ oBz2~9'>)qoi$ax[ո2-g̘{xO` l[yIENlVsP_NW  yD`BTmzȃUFNiYF)Dz*lA/