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  f#l M Pi_Calculus:threads=2elapsed=90.502cpu=148.484gc=5.172factor=1.647zXZִF! Bn]ŗXf1-/6vR[2@Hjj ^,hi9=0ZMHZfJPV9= f,^\>z0#QIM:bTOhW{xҬ׿ ^7,pܾRuSٟS900r(gnތkkPF=g$gYG;Pf STwSU܄| ۡf.r{vJ_%{p2*W>4f~W*@Og|@ioEFKYec]/pguƳ>Xb[4ұ8~ oI$t{]'\; foD"6\cO&%T>w7TQ˶Fu(!F/ʲX|a)>Ǖ[\հ4#ѫOp,e ) S^&"C0U^hwB|*Ζ蘔"OdDORd3ځ2/ uCZ\V& ^sxW,Ds9q}6j9>zv054XI6jSrRvmM?[Ӗ:D=^eh{[9]*XV^Ek@2zhl"WV^z_pWjMJX]OG5K>Yˁ[Z@:$2FBquzl7xclmT[JMYtr η ?O)~&=3A]C3I"u 2(kBI}&VZSꝆaWhke*T<j-gj"LDV] tc]29^TxfA>;YF-Gm@\{ y HXc,o!~I|u`{-aqf "ut s4 3bt5mcK CokE/v9`@*ؑn`iOI"j!k+w3Qb; QI$1)sڳ]t=}U6}/!=؏ "û|[m+x>%x|RnI&)jo yc{ VTRѣ2S6h &ie躺u01;m;X @RylX/JZy^hTJg6r"pWAoj;WF2,b ?$H7I+\6sJFsj^gGur+Kٷ]3[ qa5s-EnsVvܿ<2u>yX̹U)0vo˩&|:R~%惃̂*-(T F$8rV?8*ԊA6k~E!h::r]D y>$u!`7KMkCQ.X/~icdg(>zȂw~a1|lxf!`gnBALNpBf#C'hSvS#Qn4H.+iU2*ʵflccm7jOU?ى`{-DsZxx55sYvKOf;H1Kpm]!p⦻D)jRC{r< ȠϿ&),܁\I|J}_߷ cm_y`(F哜.MG\;J"T gofd+ Ijʝ:+ F4Preqv_S, "!EF2,:1Oj&)XԘ<6 E" 0w7ԁפ%/hٛ>$~~{Ugp\qWWR!Cayjo &bnSaRPu4ς.x*'~X/ڴqo?Ky;[g+] -nJ^gJZשkvV>f4+c!m84E,qX!=MmRiO,5ckof%/Ӿ49f[@m4Z\|sU {-Q[w?WjiJ F{p x0d(rz`~lj'kChAuVt牓)EiU>L|Vy7wnsAeol $}퇰M}Ώ킸#!C%`m9Y$}`@Sju4]Gix=݃<.!L|Dp2NZݨK8/dtf.FNQRh$'򍗟t5F t8o5 eMc=s _trnT$[;WlV.;]xu;dGtG%ܘgh߹=(D'[-')ejQ(]; TFdq$^?!GAg o%+plAn?GI,edC MP7qtg^Z{E"$ݩ-ߜ& bX )oW2߷Zt24AJg0Ksp qkab)Џ8jϪ@†tzDdsaR1~t7mdGX|7۱z}J}p%@TQ30=Sp nʹO{{sw<$BFثWjp q\j=fK4}',YԅQNL vi ;!- \! 'ܹiˢJ.Lc0fSIl+$Ox~BHg3N9³~r';HJx{#yC i#,m/UM*n@dP$cZ} Qkۚo{d1ȇ\)|g-!7dxI9ca-F4tjVY־4\ee]g`+o)^<@kq jjoJ1~hbxD-vt%ai)a\xJa YI*\TԞfb4l-pkuɁ8#7ĥ13iI6^oX&brwO]rZRlY"C lJh=;1OHXbr}g Le]- X"743Eš^e \Y٣!1(7(D,%RXc*T5Y^;X[`$eiͰXTNAyYp'VbQlB4׍zɗ] \ xPج1WĮ&µJ9=-آfѦ|L M["d9~֩x5qI&T}06  94\Uz'kIr<2 {rT/;" `zůXz4-9Tn~Vkib% g{>aBlΗ@B<źZw]Xݏ8pC7]_im [WU!a.ix xWIli$ ;9 rcbє`zdߍ)2rn $[Km1m;zXp y[k3({F1 lOL- N5$ SFƞۯ Wņ}:FBp|8T81MZȿRJ.+ E16aEk16G!>I,fIfgHwrkH|:qŀ"B݉e`kCGJ)@E(k.TtƈpRs{QÖOIw7XNի7YV. )/ޙ+Xld.C_:AAg'iKM+j vUWIjT m2E$,N2J>¥r0݈P%EuQsOKG wL (j,zf)0rĢHGiX)U‚}s(<>cbc쑝p!q5lFb+A9Bo.T;bO,'}wS3(b"s/p!!gn