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 y1\d, ]I]Iptables_Semantics:threads=2elapsed=269.819cpu=491.552gc=43.916factor=1.827zXZִF! l]ŗXf1-/6vR[( `wYf0T8#,"mä40Z39 =pJ "mO$ cM3O?oLZ WAA#ҭBu'PoNIi=<׊.,l۠^i=#e%z26]JsF/l kM܊|7?H&̰kAx'ބÁRB,ܗK"IH/Q7~ߙ,62M*$k QZ`Bxz\W'CKD7Q~ lР'j1I_7wYdI˨XF gq!7}f1:kf|-q҄3cOFWfUmbeV۳8`V1h- W([Qa}(*EnޟlIםKf7g8C ~|BzeNDzȂ}@v׫}m<q0@fx3 zvL:åo `.G U5'7La?eP^oNɸ'/V*d^u[2斄>GBUȵL{^T<3'(iا̝G*|w܊DfRشxૣWb^un0Gf,#;5僮_v#QL\\F,E[EzzU!(->O=@6GǗ$2]_c`uK)%_R."2[c3lYg ii noB e ѭYo9c"Ӗ{c8^Px}]y;iɘ@2,V~$EsC+?F%mSXS% yxZbGl 1 Iptables_SemanticsZ=CڄNY^u6z "x:̳6jYC {- w):0PNxoK<)m9C='g 0Qo #dDΘ-` d4ĺQÀpO7>ƹ-nF龜[i]Ɖ*!)b`yBǓ ca9i)u.qLhU~w'"Ml(1([|/(rﶳ\ŞwFvog`TK)~^+8yL[ʐg8C‡2) lఈk7y &?7{{8[nn}^~Vf~8tRN]d.m7?oijҩ<V&Xs[>cJȔ'o6Ȩ;kZ.9rj"iSS-;?+ 8x{wZq{VZ`u8OeXǜǿ^6߰1݇F(2mĵx_J9,Gb%xh+kjHUk9$H`b1bW7oh'2*"rEB\%8l)úQanP%\`:esɋi"~zї?%4m ʄ"`/xTxKOY!./?l%٢ _MnSOŻfZC yfZO~xS-,Ne^K'xͷ:52Xnᨗm4q'8cG5jTMٵ _ȦviSwE(.eu,h4҉7 ?W Dw1_,;ZaP[68Cjt ߒ0D~%.u0ϜI{=YPřLQ`aް-(øE>%DА\踔)>9n9Zwm_Jl 3 KI6<xޑXoSЗ m%9#U(u:XukV*.ޤHDًrFus\rQ& pXoB#qK^m(&u{ab.K",f@֜,5X%ㆸ }{r0^In)L+D i>YʘHeĝNMv*,l?TD2Gd֒ㅬTE4DOxE ~/Iۀ:`Vٶ4H?&C2/,!Uu {|i)lmńg!ifҬ`E1 %}gsg38 :rN /Wg R+M`a4ºq \qGX{Gvqo qBv]#ֆl S-BӔ63Ð<+U>4=~w{oTƗNz ,QZ+\>Y &[ Qh:FO޲ 6ߢȴ~ĸe[!ï2>e[>#Rv΍oJ tfއەeMya4 Znvy6KJ#~Tg}8GUD/ mvl\X5DWn7՗Z|z~g*ԅ@8 &~d@jP'̣״snA`-A$.b,?B;;c?\6Bsٛ)77z`Dsxd(p^gYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV1S,f,*1ǡ%".8j#1Y9,MK:~r* hGb Px Ԡ! NF^2LJA\iyh*۲qF+aĉ z&v!ɺY$PL[+[ [wEUA[_ [Ð?wr$>in&_BFkbA\PM^q|;,e"&?;Z E8i/;^񊑸4ٍ飛Lwq3 wO]pڊf,Rl99A"1 t5WepTזiJMP.\ӡ'8d/lEv0O *&oSvi!n*Ft{w[Ŷ:2+3D>#u_NI#!Ib2s@H={qe+mz^+ bJ].:8f{ZAʓrk9mnEdj,4[nɚBf@'Rִ$/v=n 9,۰Ǧ{xr Bx=OH*l ȉՐD\)VvPlIM +$Ң韾~r8p/vYyB)M44@H|&<10j s"Ȇ.i4Ns3m$ 3iT +8N3gYZ7zXZִF! A<]ŗXi%6SrUs1=]}龰qz\"u[ZzTYS?yhHO] 5n si0ȫ|ht\2B.}'NJaqõoVg5)+zsB?`{:Ho-'ea&O=*xMr~/Bw//O-{;$BI1Rr5I)\gO6Xb/f>0~qư6i~gӳt<6kXYB.9i*KI!+@2ǰt6d aDLk2?% 7ek9 ;4rQƔ߀zJMAFl!^BTm#e̒C067ktk̭  VTjNgßk[nT޴lB$kZNgq8AŇN~1r׶yxtn@(b13O*Φq.ckmP=kW5tґӀ!JDZT^aYTە&  eqKy%kQ># :RF& ,H$l jŪ4J$;]mSx hMv(S=&\oaN +Oooo@W7õHS¥"Mm,0Ё+FlP_Z~/yRsˀ^wK=ϸE,Ci6K s5r|9a2F>WBQ!2П?NЈM ٗ5#ʑPOBTjO(I6-##$!&5OSN(pSHs]}YiGYPşS![j{jmb ]dx5)U 7l/[uy lSk3'"Epfl#bE6.XĈhX1I7 )SLHA^%Nr+ ;vrOGWj~A^ pmnm놱YXN= ]/~*N  $(]P˺ޛQc0<@'񍃾C@J!?&\*wԗ/03^a( 3n$<|"{'"w~'Wy{z3dy9~=0m2IY{fAJ%1EMtswCc|R펼U+`w<#wY%džሒ@K<<( .9ke[J='DhbA?qK=%SװP-uXԉwݴؒ&;%0 aΛ_zzS;1bp&Dm3џAxȪ nc0sy{-#}v*HFv7&n H|=D8W(KQ )`5456bFl;s`L\sO(a%:q͝Gl >yx/Ƀ3T~mMg 8y6Қ94_1VokCuЩ!eqcN._$Sh~`1N5Zi1!wSj)+i$+ZWtCwEƔkuߌa0 إp tI]`L(JX?3'|K P?-#.>w6Uܸn/ϻ 7%i\u_@d NcF{`A \>$THzM~9mq!,m3EhއllόI$E'l L0^v`-M~\ڑk~#DClI4hqZ2' EP)ej< uDKU$-*a~vT!t ck[w%K[7 0}eGyjD u#QJT$[_|Mm3rZYt5TqHxwyvi 0L#. /O(Ti M%y<:O| ϟ$u\T:/:`rqc/>m˺ B^;5s-t\0:X,H2 ģ?qX=S _&_)&+:NyQqKXY=ݛr3adTa+qءeQ1j#CAlly ՗LR\ YyOGh\jrDY1H^Č 65UHn [G@[fGY?6R-ݛQ[iUt!)G"e ؙG2Up_Ovm` pۅ`A ~sYЍۯ7$WҦP뫹2^BwNfڠ%X5=eR4; ^zH"iO$! +vh}^`ZRC"a":kd>->,G}0+PfZ}K citq]chr>* Sj-,uDx3H 3,:]9v_ QuIɏ_"΢cxOJD ;sEys١̒Ho(J㨯q2Da9/aANeeʕ_eeifksqX DmIm I [(Y8bV? f%}h2g燖H]uWyǯ_o)Pg`M6оV$H΀lQd?hA E[ \f,?߉*AF]3_:ke:!E]aSp) J3|4i'%KCNZ\iw~u0OB~D.|\\:vhs'$AV1ॼa~hm$L`}xȁ> -E׭ ۲Xp2;pUZ yơL%,qF8[LT(VN.h́B>J!}TwX3O5ܷ]i)))JH>?_[K>sH-OQq狭+ia6f6 aE϶ߛ_=ۉ.6- _b\^d^3g)淨LQ^b kcB  ?F"rw_`1I; 9#$Om9k|*,uLGR[~ɰx06z;KY .-JB 2*|2"'P*zJHXx"WR ,XRҍ=iyJm߄%1]pbe<'[f~1F;&ܙ7E0@i7ſƇMYO4l$',=и:LjtqTVu;ZSצwV K2c^yBETȞ5W1/%{z3Vq`x~v90SY}a|CĎU"Ǒc)U˿ק+tXiiqhiZyg?>@SZi"P1s,?JoGP96p6D &B\ҶH$ 4mQmA;3kgF!V?.Wc}Fy$[j#񮖩Լ%]b䤬?һ2 wY~mʦ ybU$ȡը47]bNMg}נ6)_6%9<*Vtu,5Q"IĪˬ3zBy7I72k_l% ҏs#Z.+ˍtJzPJ#.a^_Է8;-<cǻ`3ID;R(N@F7Pg/#X6a +HPGuZq%K&h&bXjА+Y4i}dOcҴ`M ~p؛x}Ȼj:U }6ly(R^ w536x φQ`0zLFf3ߐ0:w2=glXkƁHi*?XAvLvoi QŰp}%k`\  3Fi HD&M6ń389|;]O,'"*Ee2*g'w"j==Dç8t`g/W=9kɨi k]$Vb C$+ bI5R4)ɓIL'Փ*1v+ ϰ«Ϫg4cGO.޹?}2'\ۗ@JQގP\_P5K5+c' YjԀ!RX+aDtoJTP)|?CRɕfIT" H;sb.8qhM"g gˡ(O@.xǙF4Zz(vl'܈L2oDO|6g.ayʳ[K9Vl3ףC*N 3|n/od%A =ޜۓa[~KPP|*>O\v0Mm1׷+cTZla3Ar+'Հn 2u9j3"~CY.hw{f7cPqw͚{0AiY$N}ȵcPHNg.8ϡL0qNu~Yj|tw/k2Hg?hQ䲕'a Ue!" ("e<鞛e{i@̫Q<{ӯ7^yٛ'[)ݘCm+ "=#9鼠k*X[5X᱇vV=|B.|:ƚ-HK0͏ɟm;2 dl)dk! ,%|B k'vn 3@ uD㴄P?>!tA$U;UWK6w{i# O~XG2e~Л ^Ze{ǿz=a!Lm 5 g PBoQIפyb6W'@:iEA9(w@OuczikM1ec?".iv)'&)\ ;7 \Mub:Au=?f]i2em!` ~IB<'K9QV[]+$zUiX79Gn 9kfw)!;S5~o)wLe$6_f;׳62y* .txY+ pdI8u)[ V[ہk s LNGpxq% @Cv-pk\إ (rJ_gyDxUw2\;A $lVMa9͸'XB4o Q5o' ¸rnM谁JEx.6~֤% r_:؟@`͝и,%/?ӅXi'Ǥ r[REΎ~6E,3gifU K~Yݸ 0媨TU(h `E'CT67g+vo",hd"x1}q"eY=)ά01,V:\qT>Cn9Ba)nGE#pp{οOHGE.3b5f5 /R["0:]1/k[Fxhߙg  v6y|/e6=j?W(LTSV")ڋHvs-(]d{_O-G~JOL$͊N]^uI*0*05?%֚_>ˡLwU^dHmdVc򀹅2u.!r>U6$9*Ȩz%n+4Sا v=N":xjފQvRq8vp~M8 ĸUMfȎRr⯮ऐ45P-pMu#m~Ua2DP3 ܭxu6d*L.@U׍Iie9خY~;۷8<^;5<4)甆ݭ tSA^b[Nh6,Ӊɉ Wnjh? b'ohK}1(y$vJCZ֨a:|)*Pd! v(w?sS0Ӈ2tzO=[@fidykŀ1)Tڙ~> [5j(m#:2.+3f2GgԦ'DBjHCpAaN0V턚j-y;*BAkϽ~/*{X`^* K0Y4PW|< @<Ƶ|`E%0˳wo&LR+O)@GW[1:"lN6j .'33DF+|Vꅐu 97봞iGRb%9~{"9ə9E *%<-kڤw5E\ljBEr|5$SmWG`N1 $ 0-#CEvQFŮ 70H^:1A@U%"!׹@\'1.Ay,/>)^K.d=!Cw0^LQcjS>&4<Ɇjg?L"(XƅMN|/V矁[E A"sZp"qZ4=:n.h/Y-v$R h'/pښ$nú;Tm,0bs.< Dd()r%b7CE{ޒ[R&<|"B&S)32r'ْb=m `|I]V{ ZY>.r_Y3q:*^\q|.|P.V߅2 ?V҄UBiPp GMkgBP䴟oɵ2BN953GGAk+F_62vU-/:||6҆W6n,iuOҽ +u0_y 凟tE@|[DXEM3\,%rJ;yc8"zʏexQ+RXwX7Tc"& BՕfO 80/DKJD"c PESj,h87k Mulln@OY8[;"kh_;Дikbcں]@xue!J*h1 NEg<0ˤEsI|vj:`Ƅ8pgcN=G[:rFd@rHﭴ,w_nܩX+Z4ٴ6WrJ=׍wA#׭5n~+'B>*G,a~L>RlwMhGejN}B|e;9?'ثVXLLuFVcUJx巗nJЊ ' ;zӚDGrCėټve]c# ^8GolfWW1-Ћ7g诛i{GG  Us wJ Gѻ<ԻVl₡г6toFbvxlovq^a^7{ ,%C8\Dz7* d߷v?YhQi$V|(R\F+5尊3,9B7]1)(Rx/P{k/Q9l[Geu˴'D6DL*9%*EN_U:pa U#R4c]kՋ=ޙB(']俥d}"DQL ]}Pu#Q%6/:dWw Psnqk{$#o[S=ݴRa܋_]5DOU2K`T[ 1d:B}0+^P/{_~0[]:|6 ?t J%?J6|$4dG XԷ;LCk+u:Y70Usdj䰃 ;(Z Y20C;!r}ũ槭/?tTm-r)(Béc*Irx|PT W~Zת|fv"^LhR<}Y2ژ[W$ǧz }s ӕmzGF,n4w٣`IO/j[ %&\Bi @E썗"0Xŝ uW^#TlVlGdѴ#Y?;s==?ǔ4KZ,e~@@8lFwCh3Ze3Ș~/hiRŰbtñy+}Hެ V 1 YDnL$-/ew+f >Ǥ%/-h"БruN?V o_Ikjj hz3Wi͖# NMHkyyF% )s->!⚚eukgc7qAg#{yh8"7/Bs5%|#sC8ՠWi IjsaE6> aBBZ+-Iat$hLIfWYjoTaT*˩~G9j;I:ah'D7`4 LGs!,/; ~-pl =*SQ>tͥUP 4DLBTL;9ʺXrF >R(~%mvRuө+G> P;衭`5rU@oMKfVj*73'xJ5}|_G9䝬^Ό< ]g8ߎ)G]%EQd nGH,Hv6e҉HG3$-yQBJ`Y>)yOѥkԧJjn JţZ'Y|yi!biFsw9;rG S>4m$&N*вBS I"\w m+T(w o*hɹ?u6aw>N5r-ӭJQa.|dC&q]&װa,61Vbܔ2gPOۂF0Ƹq^;Jnv}t!ۋ0*d$pe%!AӹR#%@{@dʧHU bZyGacqcPcr}#W' (M'SXѨLB3>j#VnNq֎9I%J|㬸!aW<,wEg uohܴfH@ڗ9i RǓAJm" Cc͵/#Z q$39=0'uzԚC\vȾ^eALǙiBxbk8? ;y¦$gYZ57591d41a2834dcca0cc37ce78cb6e2ab03d1eb9e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 79ece88ef45c5d8ba4f7465d16afaa11002c6a9e 5f0d6edfaf98a7654a8b895afc1d6a767f084658 e7d9538b18595a9189d0bfb65fe05d6b382c0aee 7ba7232ab8e176c643df053e23f96541ae04592a f41c2f0ed4729698ce89a13e7bbfd4b97528bf797bbda362b282701452c353021ca6c8dc28b12d85