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  L7L ]/ ComponentDependencies:threads=2elapsed=83.434cpu=154.392gc=7.652factor=1.857zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjy|ߴ $"$6>ڬQ_ XTЦ26z0Z8re!?_4jHtl)e>0&(<X oQ]gYZ7zXZִF! c]ŗXi%;BW;U ]?YZHm:twV!d6 ~j;RHߔXfB;Uev⚍WƯ7aG /7Mg4t{ѩ f IqU4ayoMG:6tr9Pevj)4ʽh/)",k8"=@vd^ˣ ӫQC'V2DP '9q[;!ˆjH}NFt{q%R_qOW-> JrHe`e,p8c#&H@<ůzYJڊA{ފJT@=FyQf#? 7 ComponentDependencies  S 6|9jWUeD&t~kݬ䔑ysdP[Oc D7p3􎗟87%)q kߎrl3*@hc_ MR%KWn,Oo"5߅DCw_pb1Y ^JO4gZ p冹BðOF96(b@\xOTcd KC-8 {ªʞpmaV㯸[B.Hͺtz;r>O0n qK~o57aEbj6Fc"\ȢDѝj }%װwZ~MޮWN -vO8yenQSd CHW-it Y" Je\ o( [.ED'sьD-&H .k(ϲņ@ 긏K(飖Mb,l P8LC\.`$eƳ@ܞ $Cegs+4kѱP{01+2a5|aXK`WJÂ_쾼FDE&%QVEHr(G*X%g\O+t lװ{ER\9DW;DogHJWT`| '*J /tPBC>xCm~4j-+q4ˠ["ptxvw1ikLsȉ@Y9ft|ņUƢi4LLaLck-!2^/+7Nⶢ+7W8Y(} n#{NBz9}4o@&C Ɇ~1ix ysֵ`Zd`z0xO[$Hh#plY rf+RT 6IU|h-Lya+yYK D"UhTŨ.GU/)=MIbr`^HȉoI#D)ҍGIEKJDKK#˧%ie_YMs N-Fk+LU8S鬙@Ayͨeg6;;Vsl59^pɊ:ߒ bς^u< G|Pa?GicW[ h.KÊ{@q~9D\JVJ "v|'?e@TҍQm9=ip:L,"\xA=ٓc1idc=vD;1\uLjÕ#OoovͭE.d ;G? 2f%~ # X@`\]noЕ9hE[h"@^~JM|_D٣Wپԋ$@lg(PL\6{~'pEiɐ9Dq2/_z9$i篖`ꪸoiVcS eJN] PgЂC94MGAPnM?@OPgO$Nx96;ٜ !>[ .'THJ$w4ҙ\;Ҧs$#7).;NOƒ :%_\|!' @Y'y0U=$v^%pˆizZ 9DcnQ/E2%{XH@ 9spl+T1 Irb~J ADI9*^r>^-%]>ԩ.>r -?=G=mSp52^=NBtk/'6KFZ欏^z 2OT(Pnm ^۪hُgq9qfTD%{ |gҭfS(^/%b{&%n*ՑP@ׁ&EF[Kjga!j,E*.V֫2(d4V9;ThaxQ.sP!/wAsq1;Zx?eSF RmPnMZ"ɔ*=>jD$t!gjrPykM[8/진d_%Vf K+zIe7Iyc8ShҎQ(joҥ 2M[G`(g;*M 3>K?^3: LK- =\ܴM1F7mb(zQRyyOxY7^^FFi<1$"j(/o[O h>l#AiP~3ډ qk+M1]P' 1},!B0zLͮck1b]fU˓E&1}4% 4 ߷¹Ò>>PVXXp}+Ъ#14}- v hSPv@楥S0jFo3zQ$^ϗ"s5%Y7\/9276},UK3n32>1NYqB!Zz6xS[5"M*")یZdy3ɊqV n]"+:@U1o8:9Yߏ7 433VJF0iaF4$4jAbBHi [|ϫ\5w)^UoѧZ@^%6= "ȟY t:ρsV mn_DwkKhD}{I$;t /ީ5=r+VcJJ.M36n)nftpz (CJj9RB{c$0W%V $w8*7B甇۷e/͐[a#UY)^Sx-X`[5S8X v1XWK'w)omeOlV9!Ju`,Fl8{]Ï ~ی x:;I ly^|猼ܤk|*9y$[U5i f;:eښ!pj\98`VRlS )Nǩyo9sV_S/9*ِH_z EpvD/dt_A6@F&zXxp8OEI֤b)n{AƝ "-G8IՉ)&̺cBj^y5rHvP! t[1v.BvcXmp8:KH= b]x_r ¸9w/MĚ',Ų72߆N:f4Vysr2ɘ8*:ڱ[rֻ^>iVh!^'hIYpܥ2 EPBдrMi }qZ4dT_*:#~Bw]=nऎX8{^ˇ)A2@$}% #o]FIkjB9lqp<;6^U@r G]O5o arJr$lI?43zX7`£`knt