SQLite format 3@ .  YYQ77Atableisabelle_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, "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 <<A , / Menger:threads=2elapsed=10.045cpu=19.352gc=0.628factor=1.937zXZִF! M]ŗXf1-/6vR[Ɛ{݅(X͊-7y|!]5\k#is{֧ LaÈ:1$uoWԠM u2;%505N5ЯGHs6ZTxCW3f}- fqK}~԰ Djj$8WC _DYlBO*ݍKђ5[r=HkA#InKp)S/*>c>ByRϡ~k`قHw }`)8DS%GJ|:U7ulò-Sq\KB7rv&4"{ᦧIӵai}$ԩ[A{lD۠=N-R4s!,kh9AyiV!9SXDq7sODbaAjqFf.Ç='e>9ט *"mH* `N߲mhɽ@-J'FSc@ƹ>bX>R=cSA}Jfڟm*RwU,V( ~_ n4zy˧U.?8%| jxu b?iS! ߒEnN"L")P\l3?흍[?eg.><\mvU6ƪv۬4ПM s|`AV|~ڡЧ9WP;SYZ[ j=_&G?W&s#{!+*da4K,z6I 9vUeQѣ AU/+=Қr F~VP~>C/l쟦i]Q2B6#gHR Lb9 9ك5!h"T }GjY(Zu Ft,TW6n?'*q Xj fZ:~"T0.ƨkh,(Uxr5@buV-BJ1 Rqa*Kmh4aL'l4Q)gmb;#?90[GtP"_SiXkSJ ^e9|+^TLϬ۪zJKĉ%5^f爼csS9'+8ەG9?ΐ2U<|9+UycTCUog}r]lзSc jړ`OD4}AZ+ߡ Ce;Tp'Z9zƑG~xnEFƚxR}i`gQ{c2ê^s{Br , MhA~:K@Z+-$(qE"½] UO %!\mE)MR !SޓL.f\5Wrv 0xpg[m `dm},Nz -zf.pY>tpFNwx5wv.~**<ۢk ]]H hd# sש^N*(yщ_oL=TE'TEQ i Sܲ Ri䄨T7 >J-Uk