SQLite format 3@ . BBh77otableisabelle_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 XX%1 4|4 ] Separation_Algebra:threads=2elapsed=18.893cpu=31.040gc=1.532factor=1.647zXZִF! T]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 Xl .|U $tl_hOK%j&Xf`crZWöci/lZ;"MLЯb,EGIIжrm.W4ۼ4tٹeWŽWU8Үk-?I} <_,}gE{JdOʨ?wcO?5\)9bnbxXD\v ki R9%GR#eƘn~€NlCEv]a=׬L v>=:o G]-\6cҝ=4l5EwzRј\1p֐"8zE Ӥ"ˮT$ \eQ]t+)&@uri312@Cz%+6 $p-'2R!ॉERfv7j:ffŵT<;ny| {oqo,.ˀ\֭|iZsG$gYZ7zXZִF! ^5]ŗXiɟ1S:J'h?H6 #G7sx,'RQ҈>az)3#`( Ki<ӌz!,5̋~=r ׮phWAɋDs%9UqI雥nNF[~t#g3a5egʰVmmb4_ h^CγUgcK!\4ǂ4,Ւ:\!Wg Lk2sB*#ES}V?k6PI#)hN\4Yq2Ĕ7*WQ'ngf;1Vwc^w9ϱ{(f`p.3|h5@㏵̕)Ըt`6'}y*0Z 6I.G1C#J̲QГW#}e91YU_}s  61K&N`_]-64ʐL~27A PS[0Q,5=p 8 Gg9:~Ђf(GT] (BQy,LvgNM`I#E5!zWZIT M@ O( "Aul:4Gq@u}) ODLEIj6B}H?v%'V449 ̯>3 |+ڮLJ:} IcAo RV#lA"P.: Ç F%p&߆"1tFp* S:(PrbDpD?銪knQUǶϗ쓵 ߬3 5{ P `ceܗ Q yCT>ԵS&DF)b[Wu2J{׃f9p'F.IQ2)D8 P9L=YZC齓tES2#"#jSfޗ :B>BC#mxe5G΍b:k&¹mSorVqN)Ť ITk-͇UNׁ<d,2b`ysN}S#t9EwfxOT& P=_LiTtEʬƬ޲ghⱦt# tZ[ $G9sY8&Ѓi9,i|EF-xϚsD]Gy^O 5Xām$ A`NM( `D)玏:Nʯʕ=vF![CXu_#TSa u&NQ0/m{JݤPIF^G N`  )!oCgYZdd643c7145e5e9696118318e143c9beccb559c9e8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035c 1 Separation_Algebra