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  m) tLl ]]Kleene_Algebra:threads=2elapsed=53.222cpu=89.800gc=4.164factor=1.697zXZִF! >_]ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLk;ث!"kFڭxm`ec|VpD86Iklϰ#dJ |(٤ v* !fhR\ G*_CwMԎR6ܵR*K-;QqC_ݺɍk5`L@9m&S3"Cr(016O%zXn UnAlyP -WF` *}nFBSl̟6/L)EpMRX | vhg!ӓtXnӌӯލU^"ux@┌c^=sMb b}b@']RH;X>S: V<1`mDGŐ|ybS7oк\>΄݊x}zWБ6$ʥB{PᨿzX4+V֗.@`Äg|MrG@HxJ96uCct9O#1, ]RW$3Yf[?lPTX:1ʙH.A;Cx%r|bF+玍~y!FW "#˝mqkl]dV0:YoXz$ ,YT -6QXܬ%ؕ}9C$=YuXX%,j㚒m&6Yh|l]\k"DC|B޳++> LMh鹒ҋ(1 G0Jy/ѸAlv&(t@4'9\QNv`Ģ:̀Ыj'ɔ2kN ,e/cI&x9E yN&HW=c9}RYUEFQֻ@8" 0nlY2HP.6i&f/X)f%qM|7MHCG*lѽ+<@9פto%.(Z-Tmˎung0|L|X _!ZO``'*j*mL,M -  Dg8׼~h_lo Klo #$ oلG,Yպs0 # Bxf- Dy~o6Dmk|C^wLPͅ[Lcz`x* -&L'5,N pzkTCɲf8_i)΃;s lqm*|cQ5KXiHw)ޢ3U?=]ˣ̫ 1,0ygw IIEw´Z/D ~|A?AA +.sg|LC(l=2,VOFH]千ʰͬ, וzI#-gRkqq*yw6 iӊaR$Sډbz, O{+^P7{ٰ.4u0s@Z3m!ק[=߅DJS /8up96C0APzvFoZS9t\Qmj?:4B.HʠVrL !4gDr!/%a$p+HxRSN0UHYqԦq,KWM= )ciX{Ӷ4ZƉ(D<%UV1lt{#{{Y8XS9˗ $SHyslktIRO/i~ @rޅ;O9'TqdΓ% xJ=+YXTMw6 j-J=EIh,uB2w/e=P ā /Dzғ=:S?j;We?}%E &;F6pjfQuH;ɺG`3#@XR,8hLyDՔH ֲ|z &^4"oGzKjTUTgl=vZ;$G\|fն+=`ov=dԢ֫Z*>$r( ExlfRTV@lV0$%<ݹMo86o^m,/vb{؈T^ +:O*ϥۡ$}̓Y9ZYQƄM]Ey;fq0M%J};iP"*H9~7qIǵӡ vLND8٪hŤq/{_kU1F+ 65۩vK9};; cTG콛[cY9qԁU]*}d d:7ZutZIǪ'D)Wu * 𝣩W[DO% k+k#?5,j:ta \l{