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 00EITT4 ]/ Abortable_Linearizable_Modules:threads=2elapsed=93.297cpu=139.792gc=7.420factor=1.507zXZִF! Xb]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=H豸W"t8C^4hU],i<śc'yn jUUKk]Y8Leo˚`{UcwCw≎LdmP?KL3}e_Ļ% _VAΏbI]|iN2/U<, [fwG{)4.?Ta @,FQ@r )|WgyXz(aLϩy/jVk2 Eޞbn4}.X!MK)X+\gLhvYx.̈Lwr>~{CÉ.B ]p aM(@0jVFGp^_>3XX|-. ÆkZɯ G~PD=;44kg՗/ڋI؁dy弇 +Mylۤ-`L |¹t#Jϴ,(t*= 5s] UeU?HhJd-DܵfyQtJ_Ahh0h0>9L<޾S >$f& \)7D'mJy >zUWWk{FY]&x>u!'RmtZ"ml5EX8 SP; O!MC `&gu8<)!`aԡ&rveb^J$J^E6=]Lzcһew"?Bn>UlGfnI,dꒆ\P 3\>;m\vk8UIQܰzTXα,LpN6a?da »8T88US'7c#nҀu7c`[mεm@}MRBX%QT⏓qWl0So嗾]ᒔ N4ڊ/Ub!4S ҳ<2_|Pm+R,sj|cApZWWAdCzvM@DdmUTR)-+?1 . 5ogW_eF{92賦GL$lgm߀aRE*5*g`!vBI#jxb=?ȗ Z+_م.(@ljP鉗Rȸv[g+ۃ3/U_#9vbR6{{]GBzzMٟޞVcӳaauYdY>N?I^:FEx[s+Ew+wAtoµdt5͊7?'S@ !y椈RO˛KQ|Et,p)žxXRRwF˯KV C_J^ThNED@-GHDbepþq"oZ_hك%eIrN0e J*#boMQ!lѺ 2ЮjJQ8JҴC*#qo >nNvmcХAA#?޻Fw` @GC]&Ǟq*35"ܳݺ#&Ϝ^oGmsu[*+1YM. 7QW24jѦ_38@KsqP`+g& ײ>bb7F}4.V Q9l%=Fp끠q8W@ȌsAwTF}hI <(>, TN 0n0 l:fΤT)Xr7zl9[[Tgĺ)c5Y ̸C(!iy}tͲWZD$D yyT0f i,5~olYZLn #l+`1JQU\DoJPפ!$vɶIDѻ@+-:%+&:[SֶR\:'bHw .~ߊ') : b`+] Ð)jS;kfKis@QGm5Xp JĦpb]Z,'h^l [9@)%9ʋ fHz8bL65]Iˋs߹U'<;eBXeFhuEeaJf5b&fz@ʢK*œ:_;2xϏ;SC la\yOC ;<]d/ $Ngd7D9>%$@/YL[WD+f $^},12ǔu ~8aۡ u\ U;Nn0Ri@dχǛ.K6tUOxM7 X{I-r~ׇ#'JJ^S'KN>?pkV 잮f]캓(cZ%VS#-/x7(F?\5Dx\t Z |_rz]Nss#}6U TkqД$*ZkC+4X5ŀ%)T/-(|l iQ͡PW: J-yX[1BAR 6Jf/)JB# s:|yN!Oo$<<8U Dd}yce>sTd#c"2ѼLD[=ECR+6}s`5:/1Jx$ik%>}Ai{C>^ArLC;Hq 'y"]z귄/KaUh߮XL_+1b &AfrB {9i'I .Q3ޯj &98R!_'sT*\8W9GND\ hC~eg~~[cD$pB94ydox:ȡrv is0|o t<4ny_S9N֊EZH%lУƓx:J/!rUBiA8󼤶o{_rLlm@7;e`G4O:+Е̐lڤ(΋|w>-8R(P3? AJA/5g:۩ ֝9"2_5j) OuxQ(4p6QJGt,Ïq<3H.HA8GsÎp~ԦJ>{b 0 qzJ),tаYf͈3}EJ:8(d;1/Aw5=HVTnx]3X2G4RV:?<=*!<ygRGAu4ϒԝ^_*r\3 "#׵#Na/@g/ V.DߢVQàFo>n`q'Ql_Li?%-c "kzj*cAef}Obg2(ND^q]뗤߆m蠔=&39[\GB $} YlTkK%?q A`X^A#$l{‡UZ!s7U-%5*S >Ld@uD5h#mgRk,ne>[R𲛆SKRkSyOŚg>'--f_ k,_{Lr.Gj2\  ?NJN p?FgPf]7qԴBIٟcC8[U QKb.f? :bі {-U6?ܹon 1N8i6$"`F:Vie#AmíL3c|3]{z:6WoKՎ;d\5Oto\J] XMtSPoTcHOȯ#