SQLite format 3@ . YYQ77Atableisabelle_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, "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 71T ]I]Iptables_Semantics:threads=2elapsed=268.453cpu=500.892gc=30.236factor=1.877zXZִF! ]ŗXf1-/6vR[( `wYf0T8#,"mäO2 5Mfs@g!-iUyUMduFL<`C)n5}* fIMl&b$dXcTi`v}(RR)K]48-O6*-DJV"r>ti+Qvgc%P α]Clx^P2"t_.ATpFƹل']&fC$k%\B[4^1N`~j3O@H@I8}F@lnIF.q8Gza*J8iu>o-[_c0$w Q,[lr,1NEUe(S҅/&IJ9<-0ly 5usqByfҖQ C3åtPXb"S[e!Ͽ=9(ݙ[+Ҝ3.MDbmdçLҵjV|$޴1>d.JhPǂCxj&haiV/W0.<.4B4e&DG+ ۬3-ao [1Elp-X 4;]hiQ/JNy7gxlS*2-^Ww”5Xw_xwFwdof1XZzO#˄jKr`:|dZ&lj~ȋm_aƠ3q\/~7=:j#5!Fė9齊Cߣ$-J]tJMΖmw5nk )>b!#M"ʳ7bj?24ؾ %ےKr^8u2 iۨz djZĻlԆԤz(Lx6lB|Aⲃmz/6ED ES༻nEغWdOs4Wޱi|st&FKh$:DuP\Z8?~>w+[$(9vIv#l)M:ҁ+λ$n_wY2cp+OW Bӫ)0q] x-|"y,Ħ1 (!lqt+w+_˲m%guz$> b'뤋_iVt$e3p5 R~ىLB9U`GM'lzhGdO(187dY|>2Xl0`73a[kfB2|ނD p*SQ~@?G̿'n,<D Ăs{d^_h 84s% XRm&S^ cqP.5F;yEdDil 8 j~;좘lնKDY4_ಎ'Wp/A E6ö KN |]IQ)5hmČa )v2jCXsqiTZ1/5[b~s{~o=cQ3?C)n*-΂Yq2a.b7L:2^"dQ3pTbP@:O/T.,#zq֜@ۄR2W^UXarj\#n[a,Z2+1E1Bu }bս.{MA$"C z'#hcRAusu~A&q3-(QiL{|,]; PnJDTRY>Ղ).B6< ծj]Dq4nqU }vgR*:;etA* p|)r$8ֲ#:1S?Wg`9N)譅7IedM/V[HAaQȼ;^ch a9$i}#Kͤ싻i,R_99> kŪH\ԑO,1pHYȄZǒ?Q_ h4$<(,@UK 1 Iptables_SemanticsSp W}$^aHdo m㟠pl$"᫊Ao iw >P] ɜުU(DvcI>@lg"("eT^ UκWu]]{[LӁig7ŗ n鱘26yL?s*w zWތ%?Ί݅\ͻU{:p-;ia<.tuI⏁ybQڿ3GQUX.8jlI2C{>,9{pPQ8eZJIP+Ҋ5vsNfϽMd.E|b/6ra*MIT+vO{%"%kȝwǴ7oF^0!l[ƏۡYiz+99_!&GZltAҭܳj:ww I ҫ<J3Yzrjc[M?A͙ziDV(:LvVQDHmF\߁oez N0/i=&BtJ2QB(n:8ج4(Ok!|M!6fIi~jJFOlGFBg]]+7>EA _A 9jY&lB>l%2gYZ7zXZִF! 6=]ŗXi%6qd3j{n7⬧?rCmƫ0;o,FzèKu`_&k}%~bPY#mS2LBg'15-#B>83+s'{/(p52g ߐU#x݇3[g^.)A _[buzw) LE}1UVB\> 3VZc$P&vK]; sȨ,ߜb!>oHw5~G9K199o48)wZn o` N;| vSi3~o.7}DM1a1h{ɼ*MJXF xkH їDJ4*|A6[E&4R,ٴѤQ"RgΏE;)Eץ=yqMִ^ n%v[+_I`OH4$STUo@. a;`V,(/<5#>lN5w }4X7?%fQZtj? QF8ϗbtd(&#uGuz: <ӿ1e4.xa[*U{]BLxpj; jC@ %KNF ]uzFKs*j_NBHV0 /8CN"Ɏf뼆S~.xFyftU-1<j˿bظLq-3VPǸ~qo ^J[vrŽ#, +MȧtZ3{ApA%Ӄ n^ĆՠATLm{x"߯*_aZ¨{ jv%$ ͚Hߏ: W&v"Ԋ>Q(cGl1dqjp JO^uJIHƸ%%-mP5{,*aZ\u0@ }Ya/:+=⊃js-%4 & (za1@J @ip\dWDѩ+& uY@A\]*\ǸCdg|kL[VJbx&5mia ;: ep1؈٥Mm,)q,8#N|/ёEwS3,SEf8MƅK{6bz{3 )"%g݊v9?=Jq`>y,6"G̘>RqOg1ZH [g"Ilf!uo+ܷbqP&cɠV¬ S%A߁l3 ;tyfshXQ<] iٺUSo<͖hdetxQ0i65ABX:^A(4jW_F1mf/l6 0>bK@w@.-k4^.*TÑj*2Df$|س,8FZ!hi8>/ȋl(n *_ d]}[`TFp*)̈@NVeYO% srcA}C*4_.z쯦4|8P0\QR 1?N~DEB4?-K<˜2p,0y;pڙի2[j3UuՙSNV;rX> ed,1\T%l 0CLD  jOE}܄X1yGui7Z|@V$HoB h(}qtK,U&e-`oPHt:QeIƭk|k8~>#^7$ƀBu fK;3TeqVղȪ^sHs<6Q}۱ҊJ/=,2/-.Ϊ^9yg!O&/I{4כt%|E ~v> GNȻ>r C\ўJ,9,Fl;=b#T} ?bo.^l3yM|t?^t,Vq!%ӸnP}:B [UW֫ rN!X{QP$F}KF,6IØRnz_ծ. =駐J K1>_g@#zdp <}Xd? L|q52nG tʃEd\n_@[tGb:8`N9'3[xwS dw*$rNtm`g[A/:W'%<5؇0yb;vœyl8QFOKS]愯]9eqge4&0Xn\rˉ 0\'mSFrzm+d̀`<^ﯗUW*S)}w|GKQ$?]gl dw$m; )B2'үy_1,MΡ^~e($2ABt5HgI"POteW5m%8IAH<7(Rnitkga'MJbH1}}E<}8D n<7cAiйYs,xS唥͠~̜/ ›j^ψ(Q3I E_tjWρ464PיE문t@l"uw>9j7EosP<y7Q@[E4緑݈70oWR$8\RXdmin# C¤Md+kv6-_4xu5 _GQNHrz%yziJJDý3F3U hcf80,v>%g,ͦy?ӒjϾZ8f 7nd SEV4EF%"z$|6Otv3rg}@Fk?{l1Ua?늣7qm^fLoI8I!tevRƂ r旋k̲ i~5Kڼf؎a+YJS2?66,^xb'6ߘn@d0:-6۷n?B/ܜd{+jU2𖫙>ݟ0pgk:U&%yq;ÛΔ&PD.5= Us_o c˧ TYW:/7 ?kߚHu{U9cw+rWt EubPJ#޶&wQR0:-2y"֩wlᰘi1[ :R9 M%41 Ӭ>:"ςR-cYlXhq¯KoQie)++A7MB_sVםڜD lWL-x >jZlb C%5D'H%5y5˸(yrbu6k Fqr#endۄ4s`jV 6& UƊX+!YA25ѵ_*AJF.ѤDm1Bm'!,j28'"300:6il2L=3Z]1V롗2%jekO&QDa}QuPB28`s!;8qH |N7HX^\<6t9hGͺO<Ál7nξr_)* D23Iف"+RT!\6L,64YTޕ[ wnm40Pˇ /Xq 0J^ŏ5 =Ec֯}_ 5V2s5&1TBn '◼%B-MwEx/"xh/tlݷHN5[f9Ց=jKԠl仵n-vN0̷iGIifޑ>=uTZDh>!S:aբQFzSjN`!+ߞ&zgDjQCڠj/?qiM>o4TQvDu}(pH]~3Nnuֽ|҆ys)D[SR]BkU#40b'6byR)4FN{^Ɋ>M2I ix}5ko ݦ7i$O/ S=IFW"v`=tx8ؔ+6[,PIʛ谱2LW;tc!aX =;6}W3N} |~wOmΌA(<{Ր{XƲ|;<_ kR?1$[ }qxǐwֹ+ b$mC^#:]ֳoIx{cWVtfzuJ溫k:_ׁzHk=(:w}e\h؍fa$\5`V][S>YKÄ>s:OϜq9p3bE7݌]ioQp_.M,hQ<&l{ϲ g5%Sy@͠_#7 z^xwCL+Wgwy8l &D,T~ijq{tƼ}+l}FϱҶ/z ;2=0 ql:k=;HI<<,A44]?:MPӽ6TL]-,̵ËDhqkh:HgW EM߻XD❕ J D[u&&ۏwFBH([a؅GwrE|f׸Is-,"+sJP!F79Q?;`]Y׋?^.Z-)F`-hg4{uOj-9e*_33y6-sCm+w&rN*ŬQ2 t|whpP.SyeP#SS,k+qOmI5=Cq4(֜DoxbGWŇ˚NpɍVqq`?MmKĖĘ^4l:Niyc{ { 2oSv%gkD5zO|򟌘CI˝5lOg@8P!w 5HJN'μ$SEb~E-ƕRxVe70I# ŒS|/.SD2q!Zʏm]F@ 8$['@a ůMIm粤*ojmĜB?%\ܑ?&}G 9,L09Dcߒ_2(FF'5NX7[2tLFcEor'w/=yS8ߞ*.QbjF4*GYKN6eB!- =oʅj)-3B G΃L"v'm;5g;Ҏ%C3 %M5HÔyl,!fBPHy#7x(<KcW@LC pm]VdxsOY;0(Nra vr'Ju4Nq[5>Gr3LEis#1T hi¡oIϏ"Sw@~U|1[TwB*P ^gukf&'!#\v筨>ͪITˆ`U>AQr^ 0 ?J"aL/J.}l5M S~^^j. :}+~c-Ej&&r  d 8Dڌq<͈^UƻN}oqPt'j5nd^dpe:P^ Һ x%V/ӴĪ>!`\`bT|(Mܙ潹78_p0" jMjyg-a%t|`|zP"n<$~, ʹ<'TmwR9NXoD1I͍&Johf1%ʌM *d(:4hsBlFeYz2˚@ }4_lSslHeXU"˪15a<`ljY>ɹl@>pwGaC3|}*_E [)3 :cPisVS JDpN6.}]V.msNۗE(ʥNG.+kɰ(ΥWza$ڞ:+Rlo5[@45mJ39t Plǣsvݹ"j(@1Zej),&ٍ!rA兕kYW$ݺo~*)&>yv26gPyR{ cJtrdw𳀬Ff[2_O |$O*yW]J֠ p P>Y“{]"|D z茗)9'mRا-墶&P"{Qg Xߟ<_)/HCI=1/ym~ =Rg%<vZ8@ǫRdQwC)Ụ>Mi3rf$\DyyK U:Ky,d9/rPvJW57JϕOҭ K^`{T55g6K}sH9#Tunt26,Eq`D&Z !Gƍ@g ۛw e&j_Y^3l¡a39#/wGlo\ڙ A={EN{X h*N@H%hovfqMg1L]VɖsAχ <ֹʵ G~ w!fv4< п\j.jWq[wY\]= $/E@Ŭ.0\V lrJ2.sUi%gT|WI_wZ\/Y?!NwHhp泺.۹gh24\ ͶK:Pѵ{REk0@25ϡ)5W³JL8$[AIb)=.qx(] d0R| 2H hkkS2=K:1U{BiIĴ@xT#iRÊ}3 9dxFBI*" !+LΧ󥋬x'¸P T+<ܦ _Te,ofj.{ Tg{0סp\bk#[?K#*%k\qH@ ?i<2qX8[xm &]<.n-7'{37jhCwxG;F],yID^yES06|cB~13j5 SkZ.z:J;cB],dö6x23u,bt= I: &@Ɵ!B%[W1恩` *&mvɹ7uP\2l%÷FXqDc D 6WfX z2Zqv_}vd9.ͪaIl->*EKwr5NY%+w r)LS  !eSEJrئn]aߤ?EW裗UXfi\ݎUvS 6 4rda>m{̄y֎ԔDm.4%ʎͫ(i;' v>WƺV Uds/J/᱅$jY> e?Ypó`7M,='qIj kfpVk_zYkB1838@ QpRO^vϧ#$'DkbR;߾bML,$&&:|Hu(h1A1Psgq]QЊޮ]_ȩj Le.e2|:N`!Q_\裝 Q9=٣8_zk*$8Eđsqy꯼ŀ!C̵pd =cufN1ftcWLx$:{H'}qնl?jb-Q|xks8t=$ y^W;@$^ZbItmn(uK_L;NuߝXs' w)De@htaWB3\5@_3&=s%b=%泸d4$HӂU#/q7{IWtIw]:$<%P22C`vs׮Q|(sʴ| 7&}ɷdI܋Jg;_i *Npb*})B ՖZ|~̛R2{ow9?8LdM1aLJ` *9`%T?KO OXXF[ %"G|@)Y+-t5@b=d2UG~3Ԕ;*bRE3CngQTza pvgmڢ }OBA[-i]$n;xuueE͵nk]Yirot&X2h!:z|y{{f&FG~!%ZMӸp\;ޱ-yϨ9 gVa5F3%b5`3H+:宋 oxP8Gy[? =UĖ2oe7y+I嗅 UPTQ Q=Ēi| !,)|4bY \z:6cU}4FS. em"\2e8I$"ˇۙy:`H#q4'TMs`X1vzT7eCu@۟ݛ{!T]eIwPw{(PL~C4ʂb[|w8x{6ۋZ,)[:GBrEu,)eRf1ՃR9p,jc$ZꃷTf6'@ڥwPwNYs:_iHQ"P"].Jea{9sNJ8ReDl9US„_#vj M:0_dEg iX&DT79B(E J\@9yCSڙWhUWkz(Ղ1z&4|*ُ⨉3p1=s7ʫn;SJ0뙭p|SakLQQ 5/2aM4i.7›tn_1 ;v~4bD^5j?H\g&!z@qT;_@ Rd`=y旁fhQ3eV7 pP,>-ur[ih5>v{SBkR,(3&uQM zQNZTBΞk씑`arlLO$_EX{8lj:|r=p=Rp["klOSgYZaa3bbd02ed0073b666519b616cf830e0e64ff5861e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 b9823c63ec65db558a030907f9cc1960ca53839e 2d89d4e79034818779a0f15518ae2ef2606ca2f2 6804df1a849268d20a03926557675d488766b9d9 ee2c05ceaebe353852011988842fa47ba6c3ce96 9f085b2f6b8542cdfc89a533d7913e1b534ccaf85221b1f49c04b7d9f0b1e04856dd955a25ba1f79