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  ( (M1 LT ] HOL-Imperative_HOL:threads=2elapsed=90.916cpu=74.080gc=2.256factor=0.817zXZִF! 0K]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi rj/02|qtP)7G}eTiԭydFX|S W6FYBj(c#k2?C:3 t,Gs-YV ΢՘}P &AΆty2M n_C,ثp12ψ4uّni< zt>TB>%q_VCG: Q]M0{gV)-g/vT0!8 $=Vɀ}LI:xFHKND2 ҦHiK;,s#GLΨ +Uͳk(]PiۼLbծ e'jK [>:H BK=0,t;A`AK}eTpҿ9Ie(öp5` 3 ?R\ ؗ]dXe"iBIEmx̔|DTiUDbIZqҘ`.;)R&(ug^E<>qer~"_NMPL` QT?o9=H[ +,zC8|m9{JM$05Jw7z9 Jwe|@Z?"xeFꠂ qdb חQ+#O\U3)b*ݨzb!N8Y9vCsKiSBtb"1݁GmF?,NKNkRrdIeg6b{ x_o!q'mh C/#Gk'˽ذQJcܜ&5V;-04E/(gښY `!XgYZ7zXZִF! B]ŗXiɟ1nhЦx"n_8N]( eOtd; i`-wP8v _ aY GUskz뫨I2`a+)')7 (Sz(̂SLjg>k4]S:\b)L:Y$0U{NyVOe{RT,o=6,?_vwwqi4.ha.@ݨ%YYjpA#.u2d}{U#C;5}A^OK a Đ5m%TclqSțo@P4UB8⒮xoJ~FJN%,lJWX;.N'yL|?xmm,;8UZDf>e O*-}V=o%H_cyk|1Ju>皀/P<k7`Ov8cĦ6J0=ü?qXxz/EHbڔ1dy$W[ mwZ=[ D G.:6>\ m'd/Obb,xbimd8^9]WJ'b,CDB*;]i7,70~AG~*z[a(/ZN\dhTN#=`y??]#} Ոڿ'lQY{ %:_Rki(²UnFJ[p-cBsc|K]3?dmLPI#oq0C>l(zs=#_BQF4~%׳v!dFhln(5iMF<#6?[x Bmv7z~H%]7 u(PE\&e1:rP%Ĺ?CNTb6 *TN)߄i$S%aZݭ^axCr?sV( Q1_o@gaZsϰv [F6(/w%s &qC|E׈5c3֤(yʍ>m<;tY?28 Yu[q-\5f l;Z=_^Q}N< TUdݏq E"10; jzmP>&0XaֶhrnBO}G%2R7PdL)lO@: ЧP_$l (_eUMp#{\FUeJxy̦ZD36[IQ"jY"$" 3kIv&u}^ܨhvo\'tP5WO ]]R+|ίƾGE?v!҂#`N#?dCdgrQ+7"Ʊ<{ZHϸ0:e) L}`ڸ 鶄JC]MY(Amǵ[ʌҦ X[=H8 ZMPFu#9|O&x'%z^r,شK?krWp\8y_1!+Aɖ;5'0"Ze@)^uHXU0nꔥ嘯I^ 9` nK&Z) vnc 8ng)ΩZ,x2B}UE)\GvAu$?޹'%z6ʧ]gfCa0pq^T}O\P_lX=y;Z47_w6Tq/_?ͧNAp9wcIjX 5qzSi8ms, rSCāW|!Rwaɂ"g_MA aθK `1H(} ?fcP ]t=#-Ncb^Ns0C=_CGiXϾkQo._7յVo_<'KlqA1g0?O5go>ն+2#{X&7PpE1ʂ*#kG `aL*X-:2B;% LcO*^0YE!+c6W,@9iSKVc-K1 1.Ժm,as?cxh(76Wi @|PKwLoO'.Q *c\DLjFV  U$n̔ n:L2mSL'nE&} tW#T 3raȄp&E#nA^ƴdD%O|DVl;`99 A9pG^wc8(.wL0]Jm΄:Eh n:V=tcB)Obcb }Պw1H֘cfmc!, 5ƔN}EHî~Oم]P`J-Di!x}ƱF6+ NӃ],-yMx&E!y&7zw5Kx=$Lk Ғ4*D%;r=C^ͬ 0WW7-0&0ϣ*h]UX-Ab?#BGVMR7.܋krQ'$S B-7l'}vᑛ7FJb]C!lzDQXJsA[: }[b*3Acݻ73q6t8JQβ TkK0z|vG ^X3z|N ). X3"ĞHa n% 2^>XP_P9fC]R!>.>=" 3šUJD([4ܧHAkHd4Y?`u$􃃢tH!"G?6N>*n' Mxc7~"P_^oĐvń6,ou4NJ5f,4O{pN{ [agռLܭ #~~LD˜?۞]e)(9*x:z|@%6uʲuU%2Bc`#;s˩v줒Mbc@]Bf~,Ϟ[&_gD]zwcj%|"s;>rEroq;Xɍ.p{AEDڱ|MPavZJXpLv%:}Tp\