SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9-dL E]EdmondsKarp_Base:threads=2elapsed=124.557cpu=236.024gc=10.132factor=1.897zXZִF! 7]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]Q$t!Gҽ<0-kRo"6C~=E[(i1e @)*=$&ulS%*oL:ȧ9u]Tu/1$嶪}'3q+ln鈌82(^Sd7Za=u,2 |\"sxVRs,&,Q }5yrm˹ &`ܲ &Vsj`51<(l +(A]'F(q#U2AgVVI8wQLoXU0jS-58{'.sm fȯGp-#噇2lp6n}jqJLbnu~u>аy_14Dixyt%*Os&ep *7J)Ui c7s$,G 485U U|Mm3NlQ݀ݟ-;Q&(mB]Sm8̋LI4We)c\Mu8霠ThW$E&dZ&݃]x5Ɛuӳr5>G0pm b^JuֳUGYwQ8:3*<"+氛)F&8ԐP]YmUBQn,2Sޝ%dNނu.SM-F>~Bt)juXU<\d7R0~%fQ' zńO0N0վ5EXP ƥ(^T-hJ=o* .0> ]uw3[Fq(PeW<?f)"V?}fESNE<[w,WaԳo66A70{iu٦ ^@KI󫉮jgA.M OՠYټGmWVFKDHȔ!P4xxVCKTs4ɸ#"S_>4?KA#c7D-祤p'^!JPpt-f&!k uӥ3Ӳ$Z)&luF?.Z O{S47AtodLcbĜΰ3YB+b5~6~=Bn0N_xzH޺zZ[Bu/CS, nGn6eާϼ(ʠMIG07kxf.דa1~EO{ӣestG,5S`/?td0yPd a]!\/[ge=/!oǼKEMLtQ f 9Tn]OE r^nK%1 =cuY.{XLVi@eX+1$Wd*Wr#8FUK% 2PQ_yQu-p+# zh 7 O☝ :_N1cܙU([4<xW(b~"ۺal"~~o0PWT &QƤd? C@7#8X a]:6CҏBԳߺ_lU#H&YgY\Iʛ.'a!j"- i/_bL|4d='1,/D1AW3YO>E &uzic-meQ 9Ԋ꼿}[<0?yݳ5]lk1t xm`bYwqz)(PH;lmqgڞ r]pvDQom(fy 2n?+ -0Ea`Q`u̩۶xc'$wqspyKv U H׳[^pe=qgq?{ݺﲝWURs634hԋjBk^*fƤk{mL z m||(sMR`Zpb͑'.N֜mS%-/^ {sVM}ocMb1֐^&^*Ve D9v'/~ WչCf!Wrlه]d뿩Ȼ =T+<ƓGY=<‚ G.p,S.D/OV K{ t^7֏{0L9^p^Y栠kfq{4th[ O .FZl%y`6ہ5Š~noiWlX? OdE|HA[=xؿ.%i CN\ a[Ė{zO.>rȣ aJ=2xwR‘[ |+me6)6!*d y;}&s\

-,*,=X3L`؂@<֫^/2F-e:*\kapq#Vvlcr#pl`j&9`~cFSy7SCNO2ڿ2rc/sTgcA|E07Jek-jr>с^3*  2TE~i؏+4_+c4Dx3Q3EQϙv1X] P: +nN41`֯BafiuI^LJB!/rnifRyn/r솲cba ,&'&Hs͘^@ Kq 8dM.[F]aCSp LHx `X%7?=XUj`@t)3u4U h ̏dY ۆ0 v맙9{kx| yUH7yր ]b?"K4fXuPN˭#ld1Lm))͟g &-O/6,.k~;|ߐ7L9*Bpr&ЁGاCa7[5uj}iiS,[֊OR{Z2bwɘeU$\:') oٗK*H1jxg|OQ:5f@^3q͞vJ R,̞7%}Z@ 8Y+.D5 XOzPQM!#\˶|1YC Qv Nx=O#&,CWY% LKnf@tEs:\7E*>Gd ì';$-Zá4KT26 $]e/+UcnCYO^ItIupU7=9T()o)" :$*ĦqiHvcr.Qnx\osn\tm7&Įq2xCOwL#O P\{3m G5oY3'T 3d=Ux `ĐDZMq Ōi o6 ;;!D$y冴ItHCuBHo#He$.HPC?q~I0=.vou/F\nՄ-E=>Y>pf,?N~ bV̑>{{ ٨KMrSQ#;vZV i^V%l+{꠬ (:5hjRU[<7:y-'yz[="QE5 L}픥ABQ?5 k|{P @}e+s`9Q{ȭ_{iܔƼݠjdKouVP57*2AsǗvV4ȉmwVN;m 8kh6vBJXMD>ko]FcIWm+Rk%k5"ѓ  /.-=/@`AX_Qi^]L(d]7C5nt锵(չjC?{[*mH(8 h5&@EM]5ĩ'Tg))UB:qP8#HW?֪FAt E l*ix8J%sAlCV r e8"za򔇡Wa_4,}yEI LKfNע O4kEhv 7 HXb 5f'ibO*ra+L364 p7Yyv^/["EkӸ]ٙ O&v#s֠c)A&]JHir.`?Bᮗm]~1 x+:2%N͟lYHԁ$wWgDW/H[rḪ2HD9bBkklf",jPz*r.i+3YQu7}[X*d*wyt2#rA_:i_K]4aNn rn] ]䑛`Ѣ8 z/L|prJr`dub鷄/#|@>S'`Π&Y% 1@ƹo.GF˺_i9iդEԨt-{Ǽ(4.Cڡ `.M=,=+ SppԑHn'C<X ?>X,EyI&|g٧&P nŶP϶\?:,,xsfU].8ޖ-'42tSPF˟KuU!ܿDm9j)xS S>Fx18:Q/ĮI3.zz[ "[oѡt+Z4)[qQ?:`z۵Z7iHLМ%q`!XB׷ꊈ ;(Bkb-LVFƁ&;q{ȩ:wi@?rwVp\N~rv'ZBd?zP)1PR8liώ3N7 7-hRAPC} ӦUbK}nEƍJ&[ {8WyTRb[ao]/a>w Ej♱OcY3'3u22y'0YVuG5Y泥%@iш*Xb5;Fo>RQOٵ""~]$A uBxier=y|Sױ. NũU v#W\53B31 dž7.R]]Pi"(:R҉9DS:{07`_m7믓,- 7 qc+xtC|$U{l*~0IB^a ($XPepy2t!ۿ(aYjCZ3M.+ n2+SyNz7伨!eJ*xL"^V!1_9+*5 +?\DfN͏Ut5 'ԅZaۿ5L1yUS徆 ߁ ^!6ɏϐrf[#͈\i lƍzıb?UBY$tQz)ѳ&tYU㥂zrK7KgYZ7zXZִF! 4]ŗXi%mZ旨v2-,6RC}*ھIGS=K$ḃKVEEKB?92~0?ժ+Zܟ$wr A\,'/X(ȍp)`8irK/݉Ò[Xg mX >:e,t $`r{nJkZNhuYȬ5[XqW2QjPyՌϾgƗiuX=XN,3̓6=39iy*5A,2YC8*{3,%J_2 @" QY#A_Ax׺! .Цdaa/lIܛ53}̌vH NjK*G!+|ӵPy9w/5δuN'9S)MI y1'>><-EnV݆^˙)g-)0\KchEcO[D; Թ.|}NO2\,K5*1,RCGzf@+uG1ǰ&_Ndvz'\ޟV:ſ*Y|b=³*a{i;4,@O$?VqiWq0IS4\_S~˞7ˆ[zh ,QELtl,ůC9 's;cBt%wlJsCr3oBR*B伔,Kwta2 'u3B261)H?)c\Uduʑj;"UȺB" k͔j/[aW~}n,OY %L|KoWm a*  RX_VHw(Q}7m 4GC1+mnc0JL2vn1r.+jj*ul|P/{"H\Y:i 1 '#8ݿ(cxxyN+RPf;MZtq¢`ˁۿ_UlיJ3:H]pwJKbv=:|8B@R%; IЁ. I4Ulvj$/滓u@'ᨢ (Fr#L]TM"#ފ)vg O1T g8A+huqTlFXG/\!{AnP&k|;|˯qcG8[:ȫvl3 ƸuySKEjUck}8ћ\*Yͭ XZK%P#s/֖l^WÂZ%à9Pbmu/ΙKQA X8&98LCR +ذxY{5 5疑8}w1=Rȇ JD7Mg^-=GZw?^$rO'eNJ@Աn{A\ODD"-!Y/NI#ύԡz[a"Lh%Y$Ss^1p"..z(>,;]Z83MPbsvE5GhO:oZ> ChRFCHΛEs+DSE$r?:G q8DM2]0F{{_H%=N#p2r+sHe>qB?us J3_0H%Zt\xV\4Yxl#lsɯ#ܥ^jB7 XZ㨁,b+`(4ͬPU* R>a4Wt>oPJ* K0j+ç]T) s0/ 2VmRmXv]+uk| I0C צǠN'߿ ?vE<$N} ;{t20SEǰ52^3 iX%k6 $]xI8[QaIcBKܡ dŜ2bAC w;A/HO)P ޹Fs"F1,MhbyIfA3su_Zt }F>$=>DkئE)Ax!{y~Үe&q#AqdRp )m64ۤJW5w"k7bHgGq&˩cK>]r[V%h zlă6?G쉭5(}9Y%Ӡ-ׅbJ=n+-"PuVE,%SB䕨,D v`0% ZҾwP]h"B_}8eյ*KG*Ǵc5nceؔV# __ $[׫FKRQ,ZX> SIMP2YVUc񘿦I{躛qp YS{1_ɘBE'ZE]!.W$s0ayPt=T >m-ZdجKۨ&a4R)uMi7vd.qaELf4,j{TDYM<;0,2lEp㹟FGNf &0gGK!,p̊ߗqa2Ml5˲V&K'T7{m5S} +v$ k \k6Ϭ QLu~ATFCӓ+ᚽͶDKKBH{L56{A1 CMk AClJk/L%Ѓ9N21^c,YldjO`x?ʨ1ctM9}"fDe7Y?,ے wmB×$LIr>mqyo/\,R|'JⱤ)jƖo~Xr4TY䪚Jrℎ8LR7%Q[Lpeϒo!U3\+o|6L0̍v1^<=z9BV/ϕ TS<a?>Jv.@bæ~4$i?%vAk]}Ea$SL_r~y RUUO;aMsӄw2oMSM_ lP)(*w=Wh ƴa[sV1fvCi-X `X})wR:yO%U`mҒBVFMNJVPMڋa4X-NxX#RƙV9Z ,^Q<@>0&Mc`(dF\uv {%|7މ?宼 N5MnR0YGꢮ7!<`p Z$0Qj¤荶1<b4M4P(R1tq`wbbX/xnpA'@T+SsCh:$Wbb*Nim-[z..E&gϨ2 ywZ18$H;zKRwbN[J5`kdYzm`>ˀG'юl"/<>#UdFErnrJe<*A@a:P{k k}|Aç1=g~E5Q`ds^/h1Bbx58bWǹ\|Ò됛BfcVA#1aQ%RQΩS;f=.A\+(9xZcY ݳ 4 s !()EXL|l$bDEv?1 P TdʰU:,&җqۿK 7Q@%b;|Eׇs$ 9ܔ(o! _*fκWO]S#`.BdB֠TwtM_MԶJ +(S; FTL "eӟҔN<h~ XxX Ktiak@_{ @A +jb7Ahq7Fd̈A*5k*d:'6˜!;wVlUoT|ʊeJGG{ELO%0 mВZ&7j>P_ )F \v^ψߊR֚?:t4)K,O1sr0z'iy?7<>͘Jʹ6 ߫@ːy`!Td$O$Ngz`駏f_R4yyNow|n8vD!콕j޷/AQσڹk% ez-1 LR\Y ~bz'ƴģBb Ł\׷ *)fvezn 7+(Q5 [nHP-1CK s>y 3:3q/n+5fL͆ ԑHIa&Ko0-^\ykfvWS