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   \v!' uD5~uQoc4} =5\EHtVĒ՝3j/LBEmW >GC7wX才=SWmOW1G}/F8l[Z^s-y߰YFxMnQ(Gw[/ q TдS*'Qrܛ_3+j#v{}Z~HF E  3#EU lN jvuq?z(r⟣ * 7+Đ+`wy<3.HhD0䶈&xXdn抂MD$͒hy-(OWoWpTȟNeDteGV٢CP(tƾCZ,]<".ÓB2ٚIZ>bf@Ѭm#'ЬwY12'i=5]:@)DT`,iW+Uz|?I&ITNbMjm-Yfԓm^l˿Z)t9kp]ds L{+M74Oi}PHls B`=pxtQհ9[PnRbw&)@m>4Qplii=n#?;/a?8HMsu-vTEIݶ XBao9~?*HNfƦO@/-Sx彻 xxCNP~Cړbuo퀏&FK+ʴki HqS-eGzҪV?${Y 6a1Ok/柤pq%k9s!xYw|R@n wPdW:W2Ж7=~xj\O_fW\zmߦlf?eȊnGS{1b<טgT2pّ5Qjz2HOZoYo}nyŒ/j:M2!d An{5Ҍ9qb]+4~Uoʳ(QWG~qztwc70RS?yfmkfIZA:<7*&u4~*: PYG)k". ;Ƽ~&NB*1K_%ϦVgYZ7zXZִF! H]ŗXiɟ1,pgJ -;'&}:NDd@l>V+`t:>yb`A2[ry?&Cz!kQO6`^1 {4 ]~wKsceδ cHe.`d ՎXJmpWwGrT$SYtʮ͢d.=u #"|miDKxHG'8?ymY=cU [@"u)pyiٖHsnozNg(B͸ݥ!pp|:{Y CU66(wGF:&i')AJFDFKu򺪓lx\.) {V31G/uzW'GU,(wI=pB::X*_Ff%̴?34ft+3nqU=wm=>bxK&Zd^EoQzuNNc$aֽ2Ƽu R|6fFw M!(2IOGjf cIpI@(U֥B1K5PAo6 PH Չ^#?H*q5a}c=6۔pb@9/LL$܈ ߳drݻ,h0-nҖ)9eo U P9\ ~__dloGLGFcc/̐rp퐤`4eHK!rqdiDҌ*FX17}/-|c4y7,ID˅ߍ qw(#Bd @4fzR%iq@ wLm˱cze/ągYZ7zXZִF! :(]ŗXi%9,n%d8H8\'xc=كMci!dE̵F"J E=oH-+YYGK~:d ן>?HUNWF7mOQ/ (4QHƻ}y#ʳSQ'E/dŲ*؛*ϳߏC}rk]PVDXk+OGFl|mJ̨7ZY ̍tb/py1G=WTe{S:G`~+!D˳?M/x8Q}dO:S2\mz3e-2P*m Bf1-X~X$jsc*Qi8%hKLvK~c/bz!LE,T8%D4M"Qb'YSg=-az f)>)Aɦz+RKo98uʏ7ƉI̊ HmW>3AA!ux|5J2,č7X]d"^ιZ:JjoWUk/ 6f. qDhKȹjyt SgwRdЭuv.v彝 Y"1D޻AKLbk;@CrRМTgj|Gh s\.FE90F,,ɑ] :Ʌ pSۢQ55nN>edsdXGhv?{iܲz xEUN8~*H_;<{Z99Nw,=tȠdzvvYe 9.Փ}B* 2c)%n?V!`=B[*ZNTO Dϸu`-[H }([K? 䄷rJ>Tm[ʀZG׉r _I}/qB5y4 ^5!n|m"6hOCad A$0 xUjɍPɍd Мqg"Qs?8PhYeTVmAR,o*) 7(&[ܓR^v8A*Pj5E͐5ɮ}S]O!i?8ZP^O>ͽQcxEtEͩ_v0HDr!cu;N;դ5Ѕc =TSbDV}&]x|ޠ/M/e[ݮsKbg5WWH#ub;j,~}T ] mp7NƖe%cZ*wMIX2iM<, jXQK#pjTsl%-1xeT-޶^RIL{WV!^X+g:=Vx B󈦔~vz=5ڜGzzԝkP~$Z.=ܙWzET,ldl>v9.i:yW9`ZQ3grDW_|uD[[^dJ)iŹSlDP!D4X˅{0R5~/(@R^5Rm˾K[`t0wයvCm).l^ȃ{Wkˆh= |TI=|qmSdf/{XcUZ1OМp*$,(gU By*.y<$Wq>`^&Ȏܥ lW 5@=1yEgCnȒ]RG֡PbPxdb: ? ed3Ƭw,$ep8'/.5)oٔ|B|X&e7]c?2ϖI%lvSR5Hwf=mcWP& hv8I|(Xc](*N+.A1qDV)]4'=IyT4oM..ol=^&Y L}V;yj57`ik*$ST"@V~(G'`Ï&Ci2~\"[F]PN(j'q(1W:O]Mzz*3Cfyx5z(hʂ'])ObpgQu#(9 iXs=A Xn8-ٹgW:Ɉ4 R9WS c:OH2uHKz5|9ȃO_?mF<i^+ %ss0sJ}AJɾgگ tUdW9.iRXM9ύ‹Jڥ}RKr#&OYjrWL]IA>эTYM nQ|6_]Ǵ,)/λ3iog;|DLj^%[؂omMۭO" L\Ru.3CY?=:obf)y'BxұɾBHa!t_y5oWGrdNN0esA#U`|k}(8"7PJ+G\<$@?z𨵡8fyw z%{`4N.O5byˉ{^+)vSYgniR]-k$xJ]7k#֌J(ev (v)x=3 DDmjڊe5_P&#BfLa@>]ުwN$%w(xCZ\3 pm&a8i ,()W :CB>zᰅѿʜKINBYίsܸb&~#-QIs^.#oƛ[6:Szk [/ x3c%dOPE%-]*݇qVC7Fy#3sil]ܴAW|%9?Vn`d|)%[_;FmH.ռ̗tj~P~п^EyO(Մ=\锑6jԔ)]': 2U]y0)7q~u[HWhP`4!c2hbM+6)|<3x7R姭sK^Qģ+gdK!܆%ˆF_ |Zb#֑T;B|80F|-zRM",>q7$˘*D7%l/NZ:=TEC;(b͉M^||F}`WΊ c=Qm`.ʎfYAGZ3Ж|-%(bI$KNI u E+ZP|حh(Ii F\BF|Ƚ\&Cuחpjwfzlg6WP (NCݨhбM/c~Ϸ 'Z25%]^<w_+T}'._$6m#վi,o 鎒F@dJ!uk>O 㿺:aT*rtY?d~l~`xFN,zZD&ӷ^mܶw#l43ߎ/. ]Ո%p=Y\{ }:2İљqe%Ax_; Y:a 7p^Wv8A/'%{rA8!sAT@5JZ/I#fUpD34ػW~p jؠ~t>opp{g57+e4p9 d[iqQ1G(; yX AZawL=bmɸ3X; +|pAG;i};%Ѕ _6#HM)D\nPU1Zb, %nn4<ѢhzS\g^qbH*i00%S| t,fLxgCjuIڇMihB?ƽ/6igȌ̑AFuQYu᭕\_DS/]h^z.9XVB*!gYZ5c9f5f0586ecd2b6f8ef7917967f6d04c7ab0f34144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5 3f15a4d09d6cf1cb917b6067d88d198fb48e78ac