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 l ,l E ZF-UNITY:threads=6elapsed=5.060cpu=24.988gc=0.832factor=4.947zXZִF! c M]ŗXf1-WHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHO${zd]>s   ZF-UNITYIYDZ_xBh!Cİ({B y.mM,|xs;0zna jS! VnQ詞4.bׯ˰BQbV篨3 4v$NR+ڪ[.LZ~o^֒~kLm_IpF!>o7}i [j&`$DG}U9GfY`v@ 5tSnIu'i'-O!Q1u ׍UCzu]t+[z[ȱ\;r@_9XI0r>svJC%sdl<^Eet61{}zU* J >P5D^h|G.Nd6T&aRF@6FB|rvWyk[aF$K=e}_nK'޼פeԮϰV /a ./1Qf\׺fKMI] ؗkJ*r?f/^ѻu|-JR_mq83ӿ&71V.8䃭NiZ;c$~e^wSKQKU'X~6f6tćO|-$#*~RἬi4Զsn4N5]|&di*/3›7mwYY̴mqj C[DOE2SI%y1OW$E /vίI=;3d,zhٙra4X|.^|_d4_e8S{֤{ ASFB|0H >!`pI0y۟KA@oMqȺaj ueHSjd*Af]eL} Lvtguh[ .Ϝ+ KV敓mo(WʂaR57>^fpډBk}sV/ăeX:3PJߙs{r~\J1T^=S.q# \rg 'rlwA>Zf?Z!^6~. 7IZj,ڶco$!i mJJAhzΤy7/8q&&i^];/bqUyl0iԏ1#hdh1@;xhzq~}R4?U/tJbL>IEx48oQV լj,Udnw-?>3{w i ݤW" b6ph1sxVյ6`Y+DݱpJBgG墔6)\ _Bk?{޴]_U TVf409~e"ܼyh:_`Eb2FjHU/$M.=P,Ɲ~X!] ,| *~'\| t2ēMn8ܤL\1(B #]@ *#Uƭ{e6%24y* ;\ G`;s@{|PJ쉜QӨʇƌ@j*K''(s?kHbBVU7 Bxh0ulQ#߉SWト6<HIr /AvO 17*.:VI>jO{Dġٓ~Uwx7r񴿆7qUbM9Lj7NC,Qb;|K8~=N3hŁf,q.%BW,T;siX!qOPi̬[Y~*+;ƠS':ܔ`J(tƀtpny|X9fRƸ(LE)o5qU{IAqȺetx:U;϶ T)ZqZVNbKA5+efz{"T8Xe-'tlQ4 -\ڼl[1G gYZ7zXZִF! ]ŗXi%qpcl\pb>'qo< ;s&= 4F gmV5pkp(,>VХb{oYZmaY4jr$(Y~]!]ɰbwl$5R }D7 3>:6C42A(/18e3ggHG[`K(2wey|UHn^|EOhx@at^sO]qk¢,뚧5Gɗ UY\ {6>kC]#3^lH.BH"7ӧ9G.:94#hszt:UN,2_]YJ:U5mZ _&! ȳٚ/ro^˟6 RZ 3:R%[>9l,+_ԐwG֦¡gODS@2c bU/ob~PQ#l"0z-%\_5S 1p̾iC:ň| T)dVrL@