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  Z' 1NԻlwS]~N\?0%ʛy_Xg(O4JBChT{0;<##o.cc)x*äD슑%%)yhj%zWjϷY>zm d1'ٓ[ȯmηHGN 00yپd'+ъ0byt󱺫Ġ U WiJ>qILi.˚hY`m*bBuR,ywoϩkՏ;]n(k1NE*{7[$t^b&Ֆd.YmAS8$5WRi!EhW1ݛqm9!5N~>Y9 \3Y]%vL~O DkDwy%rYdiG'\cL;TDBq࠰6)ELJKv7KU'#txCxGsyBRDGV~Ivugtdy$J ث&cV]NUFwPDcs'G02PO}j%,pDҪ]J zV9qyHE 'rVߍN@ȹO**l / D\7%A{p`&Eܶ)1kZX09J `k|@Y1qjt!{F(bpaTT iTH`b>}gu $KCw'w&iJF=x8UkͯLV,AH%;)@D.Φr^"a3>] I]HF %M@/RHbl.&mHݮHIqN,A7[ҤHɫ@>fѡ\8zHIޡěۻ܅HQܕD+;t[̎xCS]Z9&(}64 3^ ' HOL-Cardinalsdiv[eM{(}1XF,l'8qA#Kn,\r,vILcmэw?OL ESR (Y<`2˜'bNa!>miUʛSub?uX9}4MY[*܎cXO:pp5B'{ep-< b+0C:Iu#`T..g̽J__"s5=]Nu0<1 x\ɂ":+}O%aeVI(Aݿ"cfYQS ^ 6q1=YD[{?hyr[Iߝ?oõ"C@mfd&ťqbRy}|Z\!' e]m]꺇TN⸓$DT3qpA%m#Ŗ;`k0줎'd#==TD75;^ 5UW79E(EVҠ2 U0bXQW)z>}ez<uu75v IW|'Vz0 g8էp?e7@ϲ*aYf sݱ!`qmʹyƏsos!Z)k[ J!2pfA r o5HMW#P(MA48/be&:YQܦYYcOo[@O{ԟ<c5I/BeOɅ?ܫCR kHl<]QqЋJrC+; ӯtc}9@Yi8K 7Gc ucAc5x,ѳR1oX>wa2;$p^9uSCeVs &Wh&$z}'&(Tik./[HC+ ٳ^ەjx@ __ȁmx1Wܣl.V5yTne<\jʔFC&"^WX+{"q;P6/9=xx~E LY-BLc uxX ^Gsga.V{adO=5ԋKP[w5j-.-B32TU7Eǫn;rT'{Y(\^eq2$Lg'CIKIβGɊ+jiKT0њ>r!djdo}$aͩr"F;;bRw5kXOOK V Cv!b{МI-u6_la=Od׀ &"[tsΕbDVRrXeL.4D7mCԟ%El~I} 6RJ dާAc?F)cl5S"@OcX셓i9ޒ73nO3.X5vGӾcj #,mS۹^rB *MTfC:wMGЮs*-Ĝv\= `%&vչHcEW[i2(1Qf` "eEiCݘ眜<+Gl(#uy^>9ĸ臤\,T9X؅g=.(hz&5_1[ǭ +Q{44a:(m(U*@L"1sU=W$*}9 *)L`4shFT,R;K̨}"y$9`ҍsbƌhsbsUN\m7 +B'&>y!y/T Aj\hi_8s_D@!Sn>BxQxi AY1Y#| :qP4;*Ҝ;ء=﨟 Yg2mW\ϛv]vϏ\!1ɷkMÒKڔ 0j/pTS@"NiݭhO\Ys^5BW f,e; Lh4_P Y +s+}F=y2:5:#ˬr gYZ7zXZִF! !q]ŗXi%lFGӜo-"u P;[g? + >QL-NV]FY4rp(u%k.k?X+eY*D~dŸeS>5&בϒW vr>%*8Q!ɽq B^>kdߠAI<y}3-4 +*q.ȡ_TIK٬|u;IC}ST( iv֕v#S? PYwNqOZ9 9|}uvh,2z\醸;z ?: "!oޛ'p,xu,;G&59aqsEC jŊVC Z)Nl_h~WtGT3掳DWmyܟ菤Zl 4xTj§t&cgȠ=eT?gc發_px:da q[j<Dh۰ HPz΍"@%c5\oMHȎlb^5bT05лbA40 BuE+;;s?)O݈A2I$d~] Ak+| ?ʨÒ32".싓Zr7q=lUx.jw%6tPuCi,|"s/5'2^YhtZUK:~ K薫6nsW8Q]>̎)Xj݉6-J7(NX҃yжOe7*?Z[hF}ŕݑ$ӮUO N