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 jj- d<$ ] HOL-SET_Protocol:threads=6elapsed=20.543cpu=82.736gc=2.096factor=4.037zXZִF! ']ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3+j [,nyulX2ƠJvTncm1 eFy2(EzSxmlF}W_/"Xvew} W|p)E7)t~IwuMP$42ydllwq4H A ubށk~0:%wTɨVBŽhN5YgMQEЀ)IH$sT&ܨi,Ok悄_5[ 7a*T{N*g.V_xn@Ⱥv^}o+8JbBASmiǫ C(Zf'L05omË8ݶmnmGq3Z 8[rm`ЀgCxmX -ug1е TN{1Cv#ӽƼlGG@öH%֧%w \_՗{kq TR4z@^rO gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxx?;VΌt*"^ D_$!|bRp6MGj]Se`k?,5y =sKJ/ `+:}rD|j|tkda>lZ~rMz߀Iw rKH(fGe {g<ٱgYZ7zXZִF! `K]ŗXi%9*_C<cRq,ODRU#(2kpd/WW|]A'"TFH٪& ۦ8疋Ɩ ;#GF "&}8NpCg2Mw'd?yH퓃"kX8wD+d['6O2EK(O-=vFW{eᬤ)/%D.=*TQ:{Aj`-^ G6P{wSϡE$pM?q[y ] ߹/ocĠ̐}p_ӑp|1 %G|"kO7yE. du k ԳʌSU[wRYO`ET8>*]B_Wj}rnXr \ daB jS|[jlġk1l. <0\#~-Mӗ>ϮN<j/qEHok[T.b_e!n{6)S%m%i(s/A/ǃQFT6?^ %IA?ڢ Q%QZVcYr 4)4{#BfQW eUVL{KfNj$n5,5*ÿ́բ͢AL2Z>="MM3"S33?|l$O=m>@n1!xikYmBmAD6;@FACt/,iA q^LQ`4RSڻDFH*CܛyE[pU[utl,6a}UnNZE+m(x JA3Whv:B?y X)[*#5![bd e=~FW{О了ޏG'.P~>h[q^o)L4$~Jw!IS5~GX5ni%=PwP)Bii:ƎW9ITӔ`4(` x= v$|(s_gu;҂}{<'".=jε蟗O#9p^5kVJ`-q ^Msndž1|t\! ɽ`b;لmLsPzKJ'=N{L=@2DrފWIpeM$]E0,`s@ +]\8)ku m ED9kAxPW x&~Dxa