SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ,' d ]%]Matrix_Tensor:threads=2elapsed=38.061cpu=57.572gc=2.392factor=1.517zXZִF! <]ŗXf1-/6vR[Uy{JqҩC4f(md` y5F葲*>NoMd^߯ô4#tH,yJy8|ݵ8(mKg 5|:֑܉#Ծ.4 1Ɛ5&bI NG38B ko`_WZDV(fҠD;TQѡG*c)} xWUxMRՈ>t8^8>Lv7)^>]iLYȱjp4(>hM6khIxkPhp64#nqjc/ ,@+MTia2v"g^'Qn&"/Dfm< IՒB7YL*zi;Ht!ryux|atп㪍}F U 0ZXp vN ۉE v>Yظ rlKv5sAa 3ꉓ^DPpCxYRt*44)I ug'hRn5)X;\al\b*G\ OLWӕ\.x^#ZC/݊|Ϳc'Fr˪bXr"c3ZQ"~%q(VYL.>~]D6tQtQA/Rrx#%%hF]?P1zꬅlө-V"2&%'s'<{>ؿ +dۤͦ%a jh,JOq991Y* 17mìE&lU #Ўv5"ײ-Ѳpk99ْpšdSV u,^8"wIuVR`V '\U¯-Vn$誏f7zOw_ Ϸ{ ɀ^$TbNaЮ#j4[ wkkVىqhڗӉB75ܱXZSt ՎO O)s,YÃC*AXB : iӗ QbEhfGw\!@ y<GoL=)A= B{VeY ҟ.2(iPao {B'ѥtbS@U:#:WI놖y8yH.r` CLUi!sC\WIm╨ q]PX뗿17u7 @䱋xʏs0N-M.9&t ؟E6׵WƿeiH'4#C sv:B5?VqR; Xx{4ŗ󒙏G6tm²]~G)YS>}X9.Uob%&fD9b:Jn D 1Tm Rt$TZjhCď' 0q\Seh٭H"pAɌ(iY. S -^=RoǸa- v^H{꺹kf+݁=m#Bב]5߂07 U՟*h>~1zÚ_>ApO"uNC=[ d>. LIzǾP֗{ ->3 c=_Et Jxo*B  9p]ZńOԜ]q[͏ +M#'MNRup/SKhz;2u+B0%,0դI$w] ч&h yPjTaBtEO3 .ƈS)ޅ Q"'lWowPO Kbie[;t'"hG,' t A)7p E ).& U*9][!3p .f!azЊepl"f0̀P2K־dx(d AT{c:֔6}Ed}3dNKպ^wX>73M =U$ 43r&75~A ʌ ;HZO% %%™HUJټK!a_aF4Stv1AͲU3gրǵ!aʿ^B)޳.Y_').u{/Crn^;WUS"9^aC!Gmn{+OiKG~u$¡A`ƞsoi~ >;%Z# ;"<tHt<_Dit l`!c4"TM%I]`(gYZf54d53e31abc8757666f528f750b1a31e62bbf3872476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 4b092d27fd7ac3624e46d7013158836b2bf0e13b bf0780e843b58af026e239701497758b0da2d47bcaa3091148430b6f12c0dab7fcb4b16ab2e408b5 ' Matrix_Tensor