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 336+ t +/ GraphMarkingIBP:threads=2elapsed=27.858cpu=52.828gc=0.740factor=1.907zXZִF! { B]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WjW ee)ҍ]Tg2 ڗȓi_rޕW HkT3>_eŨyˤm3jB?6 jWRIvT" bBTsT5r?`'!a"Kwb-#3g3Ւ7ZQ}B8tlQ=LJPU~LES{m2jF]UBp\ah.ۋ>ÁNLtZg̔*5T;K 5Otzo~QaܱކJi!~&Q4\OZs>@X>~V}#x#\|,ӒQvk%U<|ڧ} ^OXֵkd欧)\z6$rAdHL&~{:C|P'uj1C[ghq䕸]z5^?ܟ}Hv[׿7xp2Ӄwp}0Ibl^;cJ2+d3K@P-XxYF tē|4_цVќ콷f~@zΉᮝh0NTw5)RN'܎y)~/ޏ hcXIXN,Wk(n.GoxOfnLIӚn]'b>0 M4rRKnK>OM8ybQ-(jVh}GU$Wn0bIJ²ll\06E~{s?VPCU##W;U0 3)ȤC,8(G˜9NG{^[sN&<ލ+5>#J r_?\oӯ'>o%AT:nw擄p0(5"̀p<gbO$[?)ek8 }WggW8#Ꞅڀʟbo!{9ҫR9p$RBb! x\ Di16qD#6$ٔP,2[?`BE_-ng[,\׊s2Y.t0`ɜXvrCt/ros'E^tA'dAxn6^;c-М +K ӄݦcή”= &JqZ[ ~c<#&⒵^`jj1 7U:eJfK@\r5xsw}Vf<(rYU }>HU#B΀Ώ8;؅E[eFl]Up0ᖡnU>gR4i8OX4蜷QPJ$>MH_*i-[;HJJة$l3!N_ʹ=< |D$,뷊??X.1DqwdDO 4WW.I2*jjTh$bi3.򎝢h'Y$-Lhކ(;ٙΜ>+B]O;~ IY`ir1c"y4)UE4V )eSMy(X>?AgrJX$ZYu\ڦի@I■-oqLE0'0Yf}ZsδQ ' `?٫S$Y%-LxIw7>&Abn0lN.$`m䅟)5Wod?N,9z<>{WIМ,NT$w߷du1A}p=Wkkkj޽\JBؓ!WB֛$grx6Z n}ad.{?rImK/l> wQBaU?)D JZЕ()NU&Дz yXDþyg ~v *;rHiMnOep{X~ߘ@aAGᄏG'z`妐*hpX!-0 Rb@5E"U%ڡϨ RI35Cb?YUHNz.K BhQ^c(I:@S& ˸JnsA`w1i )K4Ϝҧ2vklCby&vI˼ʔC@`&)5 LK2%>"}Z#쟦5<Ō 2V j>O%/ XQs:X,>fʕ.ʐ^xmM%5KB<b ŝS֭,q hG rG[4mCC0"i(w53eqViٖT< ~QyN | k*,\}="BvCXD_Õw 6z UA$ YEjr~;pcsmHtlB8gP)BٲeA@0W䦳{Z@ [c-KFtıq/- erP"dk9 wls\