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  P P%) d, ]]Kleene_Algebra:threads=2elapsed=51.343cpu=88.140gc=5.188factor=1.727zXZִF! 9]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊OMq(o.úz2Cס'U{Wlp\s4F'$czZ-]>2 K!'bZ;}?39EML1E0TsƬd;t߃X0ob I,T+n#-"nn2XWnonU`[~^Иy!uadEe(*ko"r}5}FS`P:BcFYЪu,2z`Zfo/R03xPij͔/j`I.fD$Jof ĭ[?iGj[8xMȃ>7Zrw^̂J75\2C8_"clBZv faQ @*;(?yTkΠ[y#e5ծր7}ߩ*~e-6ŋ6Qrv:=iza'^I߸UPڧp2mtf͕E:qXH8.U&O˽$7*~H7[j  Ž 4Ri+%?{YZxpw_w\_ ٽl!:`֛Vbt_`vmŦ~`f /ix)ޡNDHᘝ`Ur{똦"u u~> &O?k8f //?uHg  f`+JmdKz%W}/R_+q{fƣC#]j8B*jHo)8'1d횣m4FC'z~YX4AA6Mu;e;8ͺLmq ddEuw %lq@ƧӺ1v ;jĒ ) Kleene_Algebra  N(=14&ny{vJ9&}^J{n`gޭ.YBmئ{Fl/~@GĆn'6.n~ϬA4vr s\gYZ7zXZִF! P]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]eAD-Kq*E;Y׹N Hfq=B㠘<a' c .Tafϲ,-N=' 3+GMý[` $5/, !+h\A1A;uKAkQu3].| |JA߈})/by'9V'iGxtGaȮk'BpsHr#,.VYBmR<{93nR9x`#vh)Yi, !V_gYZ7zXZִF! 7 ]ŗXi%;D X7t7r>DfX<@ O_fyw]*b"5d+$vTU&8/ư"fGy8VbyiS~*OZE ?w3iӄW0D #Rz!Rn?yr(Kg3l><$kT]Ԡ3*H1GPh=[I`->) ?/ƍ1 ƳZ\\=YH>ˈxz eVL)Y~^-KQ(T0c!;hFBMd  L`"iQ ֨_L] JjdTmGe%& Y'ƀROl%U _KJ|1pckuu櫗-Z@:A/L17V' m ИU$ڂ_]& "%g ;_-"T<,t10(+s: սD=ﱌKO$+HJxCڌ8U ЯB6Wr͆ Ţ ۱)t 'Iz)!Z7d񞂇ÉV'\_TVb6D]܏T?Jrou#=|o3RBQ[;KM+RY\3j?fsX~Vbs ]y+M1L2V*lR./7dWmXf ck)ƗvLw7z 8R^2& fZbQqwkC_=Pu?)*Vz 4ǭ:v 6~0%ȡj@+N(LQeϸEt0\,Թ38T*'x޺"*29=f( ø>H~O: [1a:/`_)ib!f6OuGfG:[N\ym=vG̐}wrWXZO |#^mS;  WBd4x6 lQ>ܰ4y4p3K)UR1EѮ^ X![sR@?{#C&PȫgPcq >mQqZ -#T}_" /BU[li51Z ;fZ^mr zmR5t3+#GjG`r2ZH;XH8U%SK),%_R-jf&Df߳ '+xfiկ&?֐6SJ2,TwK7:U sGoX͌#Oo忛q_XDŽjzSsjw_ǰq?>g ?U(V ج)+1+'JkkW+ VW(Hdr||Dz!,%L|Nm$'HŜyLabLf\41텫w48+IgЄcYp0ZJYT>=EԞ~t;1<|mp~(KyG UCLxE}oM1X/x 7.8̃BBj dulAkB gдwiP+d? &Թ{WCR&F&a"ЗSCr`|Qac\,::EtEaQeZBJOUR̎?gVw[!,R<4":A(c*ɰnkF.* d&fi_f @ WPJJjzgþ,!ڧ & }*{tnQk bRIA-nf4%Rc>Нemz!464VEm4b:Iŗ/EE#\f)3S_ZO|$_X},棧O=8WF;gl-2< I$Pʻ 9GğGFgRYyNZolA/nS\sPFx47K7ƜcE藀I2&?>?7Q)ށ::*UͭtDW369.Ƽ4T2@iBto"dbh~7A\iGi?