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%|L s/ Sturm_Tarski:threads=2elapsed=69.158cpu=119.272gc=4.428factor=1.727zXZִF! !]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I->+.}fKY ȹp#^*k.:,4-T;ed+rP%I^oqQ7TeK,8GK[ +|(c8|MtOYZ+:5@H(OpXS\ؿgp\?QP%8$8vʷ`p^\ӗR v!Q?CAp` zVPP5у|W`g˯ߜ(Nʀ1VQG%M Li3 9EXMbORU& Ս&\#{:_J}vԙn4"#c`YF1G#M FEUͫu*JϜL@)yݩZo˘ϔ׭8Y3N[-B)#sX_m6Ю:%+pv)eyQ/qH]$eHMB/fU?Tlf)Yrr%<"ցc5Z.u5?KP- Gs Q9`f;pBNep8]eMcrF3)!a9Z*f]N)Q>L;a>B-/*T1`nnmtō|d <˨/>s8SL7v9hJy\LO G ?=B]c C ~$38#efC\[w3;xG}7"m+ͨ@CYx,Wn.λ%bğl: WB92"vgdn[f04:x5F ~\1ßV6%y*4g;G0p(-Qv.#I G;?I\OǑ]_e|.d blʡd-URwYj`b? < 0Xa i`Efx<&,%"pUnJ٬9DX5yzN`hfaǏZ`DC.`ٲ%ߪXU?SRJk+龂r$I 6&^_ Q\@),>EV$ސ rSJ6"ߎu[%g ݂rK;,;^"'}fH瞃s$qG?s2aMfcl&ɺ "K\vzO[86T)9:1 \?AI$APzՖ@'Vػ{0atD%a(ΜܤW coK!oaNαJh'fJO4Z*I̬A+ tT%"0pe[Ѹ\nCɇB{SD>eyU2yDEZZ oS3m ް;&I'/c1EFb%,I-h\UjOABzލ@ȯ$V)xS ? d "پe1a|$ΆxϺ̄qĒ}9E]yb>s*bp%RM\Te$Řvq >D:k\tü#w yʷsi=DfeOns h=dQa4A?}_== V!لG f[uu6e[ĺ%~̧7r^!15U2_VeGmz-'~2Hҟ  `FkTcf;AzlplN- HK vm20*بXwu 'otٶ@BzbO6$~O(()nV];(Xx/[O3{ #5`jl{dPV2mt5e_JUF9KώH`adX__ID=3t:l oe-׻>Vd 掍l@Qك&pKx1iu=qQBAI(H^fޣj8)%)̠EG?4\ ;#YaE>Q<>vXg`PRN`ϬO { 9 IʚQrSJ% 3O5ϴaQ2ˆAvvN&Ԣ)-2D:kӻlhio6քqҤz=~L3Uzɶ­X~$~PXnMGYDwEpĪ;HS7JE%,{ѥ9F,Io}.Y3]R ert "xS2<֥Kʬ:pX#Zu:Z nf3XKz̶$ j"|Ny͟-V턱oO*큧r!p`,U>6ǽ5O}o2&BA^ g j[J{}_ JFm cT1OR/5[kGv)QxQt0{6S>CiSsw$wb*I4H<"U던h l36͜F w}S%5(kܚīBW$BEy{xppn8@JX_ Ծ71ȧ٫ [^wI|S?91uW{KR;(RidZlYj,s?asB(w kwŸH@ pww #M,gt`xq{"7\cq-V'<ڼR{xv \G0)VjG `5e/n(;Z#AB;jf/U,1Όn!C}WD[;d%ψLtGU7jP =$+X3,U?  jܵ7Z8he\火jcU'91.gH=A|EcsM~b~%rҨn o´ʈOFEG zE|)ZSNÛI 3w.ѧ11:OBƆ气=%+~-Xq]r5S'NЙ[¥5-3}{\z_O;n =O5],@V|)|P?jyB~g!FJ8+|zpo(e\zcRI3~lCJ#rH@%n:c ǿォSxZr _w:倔#mPoT#m$օo2TYTBRu4}AU~ q3O)M%!l*޲V*Қ %\?< 'sFck{kQw4*㩿H0&bWƐu.V,cGN#Qv6 D2nD2ș `0YzK(SFV'vKQbX#.p_(!?ҋ%r+M/}Qi-(F{7'0T,FA(12@ nr.l_ɱ J]#?QdEy+3]}==ÈiV?4 @DxE'BOPP]-՞6izyNzb"h:[}.+1]ypkj0s[_6DP5 bTczF+rXRJ*qn1ǍRw,I`8ݖ|+NXrT̀30{ okL7IŧdVz@kKDTO>>-.@U6_s{߿] V"NgT'S{:*RCŢ!+9!J!ǥ\eI| J4+-,C'O5^0V\1y7cpYgn2_x%CVDU3I!S1E\[xnvWSHRyr<;ҝ%F7d +ŏG9h,Ij}凓 ғ|<4X gFB%M-B1!"e#?ZZ=,( yn҃n Zlpk.W4^;)n>HFCo{ $c4TUS_\"P/aZ=XVx;LNw8F'V'h* ԊpZkVKm2RXCnWH`FGK3/m2LR]Yu*$#4H'U;f߾Ҧ[K%ͥ6 "Xh;0R4Զ&bԱSM$ Fu}|CI ; |tڃ:1AZ{oGZ6spdZ0/#(v.tqt|־P$]ag>oA冦r ojIƬB˱toG Uu%&whEzx"#񅸠8@VPPMRkOo9rRg1)4J+݅BvXt`?Up䧿FbDO G] >{w?(hJB`>Dh&~A!J?yD !hS_SQs[r=)fM˓ %2j,k.  H6]er.W,kIj]YA3>ڪ3>Mk:Sբ^b&#{ ;BFN_ʚMz W] *y9PBOޖǪp~,|R,Š#F&GHO^ҜH5X>ɾyX(IӡSφYc`E93,l?a;=QɠlF\uޕ?:z{)@;z$ .*c3 9(䞼V\15ޮGo*&.eQyEISkq~b&#bj$&K jp\ WoCYe!CCKwޡӓcT=ք8AI@__B߾[?hsG#:[?Rf@(@[H8m{ p%3n=FIwHPd #}.?>q f ,u˟Zb-x60IEH78Vi "^|x7,NnWE1 L2|Vv%HݦdP=GF`Z)!hnRpyC'$BgYZ7zXZִF! E]ŗXi%?5Fg|ЖO1|ޢ#@4 %/6:R)KS. aP؏i`&eYbnOܚ@9%! j R*#ࡎ dJC>oяC+3q<\ˇ8g4L>FL"l.gZ|h~@d//|=I?z"cNf̣ t:SS^񖦢:)Fk^zu2B7uܚ\?{b٨q+)3ѵB&ʇ(^DsA\!Z Jem ^:i#cpBŽtvR< ߞ"uiiRhU4pY3}jx}L+ AWʚ?qM'&1V9< {]}쌶Fp3zۨ,6)6sH#(k=9wB-ñU[K4C1φ(`U I"c?Z/RdTCGzF Y)XG5Ox {*$gCM.k/fPa3Jo kq^`a1nQ >n.XX쯨Oh: GW6#L6z7^%I!]6'jʱ`T-x+}i]@jxv9/ÈC'& e^V9X~:B"rvV΍[@,UKSE5,$y%ҡN7')&ֶl-P#e1e$>$oҳ d=Ѭa8 ).`Wq*ZsZr!]ůVZwEA~ A#Q=nG{J)D옹Cb2;bNv{$Wd}-9Hjؠxy3,$(cŁvqd5t3|*`9mPȉoϡDzǓ͎H=4ڒԿ~EyJoƜ`hレstir,{nR+MGyL_KLXQ{da'H=E؈wRW~g*΍14]E3R}E O 9'%$6]d$Yg٘΢ %TIJBb_O7K=xh/H6$I!HlYc'* $7cBkrYL9zChp|SRY*ݛ*х1`^ܰOz_-jKuԢiʿߝE YDk/@`pokb:>b! P܏S?x'm8 }%7V+Q,q XAS,BõRK>r e:yl潱 rS̆b2wRXR-i j}ҰʱL)zGnt .,]Ђ g2M}6z#\0(󺁲d7EGTz/ ;v`@p4)k'E Id( Se@zN"]^S}p l:107d(2o4z6q1CRV/͟4DWRRnbMK<5)K^nPz9PRb~dvpa*9GN~zXvv eDCJk:iܜE(a>:Cu] /5ҩtfW# ZlUj |DUMF;~ZuG<}!98um{,p,Gݼ y H 0N}F`& 4ZhI\8" ac羉4S_2O`&ICT1+n4vELs%O_.&1|qoʘIHIesp4hهy8^tY, QP#xKE[D_g Smq$-1&#^.Hka& RIQ xw.ғIP"m,9 7X<!!ß.mq9Q fdr(w樁 È_ 9$'gϷW27q:Du4 (yڛM#VVٿM2&- ȧ_;Hm1yȧ jD;}F )'iiB >뙣U'#qgB,XFw]jtkCM`Gגrkcg+?EVۧ>)h5.fI)>dF1?(kNٱLtFhʺ`Jeݧ,yA {m.SN,8,](5JtP%݌E:3p4e:j:t"\]毅Ԅ$)aS{Aadfpi ( Rv T1xS'iVOJ hEvJ/HG?*>IG;XPSm,TanBV~OBZ4]#$c1`jIX"*ttkm].zE[ԊO啘ǁ8UvoD5U=GvnCg'[kÈ~?'x5aՌ21߃\@cD@8DA;ps<͵uȨGN3}{ae`TLc>ƭbG5.oQzdʂ~I5-vc|Lg@K'G_ ޾VF~Gs;mJObmBErB]:Tեlpc*rQtY{ HRGP|]ܗMQVS:%ȸ:wlҊ_a]'lݼz3  =nG/p33cn0( {Åk쀅RYm 7_]9 0^GM߿<<$գ;|PiB$ul³(]soC0 I׏ubfwlF~R600