SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info J $t c]]ZF:threads=6elapsed=9.929cpu=34.588gc=2.192factor=3.487zXZִF! b ]ŗXf1-) enȈA T"%zav{D1hc,lpg`fc6T2K&>tw}-dt#jU,A}o4]VO`IQ4Lm+S<  ?SN @Q˸%491+RvgUa&E:{U0]4v{2K5'TX:&gK$ɴ+8Z @_Ѽ|l뙃p ]j^GR hbe?n0jr!!&(kHdTϷ:l;yXSkWǍ }Ƀ"_fS7岻DC(r[s{?IN5_ˮ×i5rx9"h9,ٿXm=rJ , gϞb C+JE ZV\tbܼe2#QQEymCg|RR5%@ؕQe>2'J5Ï\r3I2r{$nB䦊fLlp*%tG?qcᇐr[l Yk9(3D;Cwtoɹ6n!1aWI*!?З׌ jf~ҳ!<괖u8΂1|ÕDWq~Zt_Lą|E:z/ ;&K*ss5?|= K+QIorygVz%Lh!L'941忉Y -ۓCSl-( :اQb3m Lطlnߖ$$aoRX(LC;,f HJ}]J-z çlY2]$z*Y1&"8OrĞ3챽9è?& Bd{Ôkgn聾KL:.<+P$:idX )yct%jWȠLi=U݁r bpm^CÝ@Ri>ʖK-ʹu&ŠHBw#$Ulڂ5OL Rck:`wxYF*{4f!IsSIu.[`@A-x-rsӤ4vy׆ڽz2X䓵̀5ȶr{2ɂj[.N3L&d@׊P8ure E!$psEu!BF- D>z"A)ƃXe&)Lqxxcu1f,7qpgYZ7zXZִF! /2]ŗXi%GbÞIAȬ*sw®Wk.X 2pS"`~-J{{ z&G&yY`g-z@&pzCa5՗ڡݍ/6M,kvz~E"H VgXQp;K/ǥO NT}*"DATl nPU+DqZ56Y"c)R&KT8^I*@;c25 }tL屆 bÀ=7܁Sa3,\. tK$3Qti\^UJ)P-jKĎ8-]=+Cb)D:|AhHJV(oǘ7x`?V|=^V.=^G b+9gL]A0 XŠ(\@v o6K|DS'R|\+ ]`%(\Ib kB4YT^^DT6NN/y$Le {sAىAj5,Hk!R/B>LUm M z {xkJ&V~vfj{8X=2>XG+ dd]- 'h[~r4GP,Eit;rI^.M M)Nt|578R.b#3/uʪ3z"5~*ug6E!LZgϭ5RRc'X@ɸ>6& s] ^2&[lXCؒ4(@95RjU"%