SQLite format 3 @ -
l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
{ { f
$, c]]ZF:threads=6elapsed=9.845cpu=34.496gc=2.160factor=3.507zXZ ִF ! b? ] ŗXf1- ) enȈA T"%zav{Dک,6%AD%
#
Mqp2K^U=V QyAGeWk4c;ahӆĮ]s*wsD ]o26ǺeͪM C)GSq(:qS8Z :bȅvWQPn5*{ guTGB*]rACd/ B c`|X&k (UBO1+W5E7TfLj#YV :z\i
Dw
:I zk`Uv
wb44RjW.p)/B(N~[%
TC)(~={qFg ? v*̅^w I6 UE8難yuD[=oJ,i1>j
n~eGuH+US~ H ӍZJ CmpB´OT}+TH0ʳUdD5%rQ- ϩh,F"X 'R
쵦o)eP$gg?^ۨ
w|g8(پ t*vc-, >!e +>CEe(_3Z3u PTz Bm 5FGL =Utj!qv![ &A#
KÞ# KdW-RPƎ!1ʜs`uD{p
ZF 7W^ W\ 8CÝ=j4.(RXCb̐[bbUá<ʑO dڧ+ӑm\s"f5ް4S*-mETo oSZhBH0ewѣ,
BDH(JZ_3 w`X ` k"hE9RZn{':.ND65Y'p
y7+HrSۼvZ
OϤpm6[ wdtn̑np49H}"fA7f_qlg*dǗBVAmzd y9UtQ~kZ0VA \ -qdzÚ bmgf5M·^ZS x$鴔LݿWeؚȟG Bx>~\vH˖owaGG*c0\5.嬠FMscL!=/%gXBB.Գ?.I3J1 r{ʣuq EUdmǤO鈯[ZJU_ is]猂
Gm3} nsTku5auۇ*^e UCv1Bz!ēal]ϥb̘;#/bo JHk#Ȯo:y$<\!8Y~j(|j6AhX0 IX;FaDTYm
h9߹<1< Iڍ}t
yw(iWLGnMgF s p2RxD=S㫤2h_P%gA*zMak,As oA
)>0yP͑)՝|xx S4-*V53rk#POC]=( ѾK3B/:̼cT.{ Q, H7} Bh=!0@_k# ۵;Nj#}#?qITdjjJ`?2Y13KBc+r_&3I Λ=-ʱe9J$Ȇ
W(H]'ftՓ^bȚأJ U8LQ)Cu4'`mYv1W: ZQG^ێA->`1 018]N9Or=D"iOS'߁ _Xm6YBIa-q=
v4 jݴ;hp}Xv8*";NMhPFuB4`~A:H
4!! J=*oR&m\,^'} ԍT|;9}7"
q}j 3MnwBw
!keFzaߴ5HU絅
Kġb~r