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  h#D4L ]/ Free-Groups:threads=2elapsed=100.425cpu=181.320gc=10.288factor=1.817zXZִF! ]] ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjohXXGy#45Fr+}4v\JIK:93B T;w; [{7v GGzțަaO180椟.BB cNn+aiv 0$@ِڢx9kO|ʱ0~j<,~SEfD!6,5cP \B~J>D輄 6msa" JeO^]9op%t5 ҀO@-sB%4;_v?7Ha%@):E׆X&I:~L#|(b7z_.%TÎwn # Free-Groups?m9c6EއJw"76TVnuj:4"X;RLJhA(*'[?4Nn9 c}[BRL Ui&&QlTߥ6zEe[ٴAo~æ| B(xhYz6E_R#R2,8)`h"&Nh0z|HH/Dbp6ַ >1zf '~b$X1 má p6GЦY$9n?z /F; D0b_C#ABej2}:p, W/[&7,`e}q8fл0RQӔg";a 4ǿ8(9chpk6TV5&VW ym_: r;dpL}-Vi+Xa0Խ[aBl7$|FOmAr=5OMQ2^5 ,Y֌nT.$:od]+} α jJqR {*F㸢--L;X@ ʲ\v?m!wffGV@~S$"hTWwC "LϨgR4z@O8"ó6 |ǪaFVLkMyHQV[xJ/EKSC&ЏNUĉA_}brJd2^ _WXG ޺5gYZ7zXZִF! >]ŗXiɟ1?ߟt;9BP2CZz眭5 z dc~:b~X6K.<\;gנʑ66c`c`-4:L^JRh v0/z5ޑL#\CɌ{d =Q3NTk=%&vwJRa\an`J ~UFowO}Kбt:n\59K4 ,M-:(e &BH#Sjlʜt{tkܣ*~/-Y@&U9RrG6 L8]dyt# t֓/6$Xا)1W=7i5u, P޵ZGi4 q{jUJ[+E@#EwiIìvg.ᖤcRu羱Hhֈyn\=P~23B^DTn 2ÝCgYZ7zXZִF! []ŗXi%9#n% ѰT[7W3ji婱R=hx6 CPw'y ґEAh>pZ+ܬhO9 7si*$rkR҄NYu b x _r>q\3n)]֕:ȏ.WknN)\Xh1/Խ;2$g&"mbEɤRa{AA,qV PG\pnrJxR(B,{H%W7P4$FZZ@] m)mqz,&u,'Ӥb2hl2bw `ʗw9I?Wʦ MXk&>?4SD U gi\ʁ8]xxbYMT5Ӻ -'^)FtIyë:]@N^Udt\V3=n>(f̊oHE&ڃ] !tŚ22Ad@@IgSۙ4ܷ_l0i?~Q01r=~4%vF_ȨbabvhٺזiAWm/`=gtgcYvr(~`X%YJi{Ŧ B8Yk}cZ[%%LXKqae6Yce 5wʯk+.2 TF驹lI]f'͜ AV{ꣂV {]Љ'Ռ(o0KS>چ(j B8>V"3NC 7 "F޼J̷9dcN" I f fU#WYw6ؕb-sߐQv2j7mJM X0=Ȉ|ꥒj=Dz|K;.{A[Y?}!lR/dp >b#M1ZѼq!Z$pM ]tlɺGbʊا"vt[2P\)jrT,![ٗlu@}86Kw/F 8g,y:>;3KN:֮%,t&0VnIS5xiD4xӱIչ,RnfbpJDby_Sc/>5aJ3YD,i&%)'ߋH8:%wŦĺZh+F^ w|gJT rvVC!qRXtX]Ts%Ռj]_R{?*]RX0"ꖜD 2^d#ˢ{ P_Ubj`P4E-t%(Gޠl^Nu;ox~Q>n+ĬLTwvsDHT :h2m=jf- a+PR pBC3@\H=s揲u *wgwl -ͧ՜5 "d~`112 ?j0{ԅJ g: þMѽb]eYud1Zx͔JmLy N/c]l͖nI(E 3G7fhq\||G-gl1!8mYv.fTODcbuLRO寸;ThPvv oߚBȞ+Y^: ۝r_V8VOSi'Y_'KciǶ 㣹 2?vYTf0#鮧vO^ʞ{"G_C邆俑4: ȗ",\B)@XO װOa\b7Jr>RG̱cE6ˑ!Du+?̄n[*FV%|f$a"Z4~[SE~{ pcs{a;2RWͣ' fm+tg2|fTz%3i1ˬ>׎Z7eFλD#5?X5)ckZīmVphlo5.{][LXҷ{Lxt@Y \;F,&;qT[suS'gm{i;Cu|xJ(ޓ^9O=CCT.9LYR?<(|Zn  ϣŽ>5ּQ>y(蓰t7eq,4b{CVC#GA 2ydG'4pL;3 SG 2GsdOpp` a0#: {8[t&]`ҙiX'vs=OҳؖY'OoK6[]A /҃I#kMq>k9AſY^лo]Qra3?st]o(%R'g'Eka>HwAƳ-,]']1Ln㭀/.~u+ܬ9δ=gYZ3b47d1539f935c5110cb0aa0d2780daeacb087608ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a