SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
mCT\ ]
Iptables_Semantics_Examples:threads=2elapsed=652.353cpu=1274.380gc=106.608factor=1.957zXZ ִF ! f] ŗXf1-/6vRZL7*^Z cX͗TV&:{=fdHd#uʱ쬞D5@n=1&p-w?:l^y.I(w`# O^L2A{QhHb*kLqjAUB\Ac
M%2iƸ5<J9nșga];4EB?ϟ!ഃn ,",0'{H353G,R ŐϿBVDV0wk wtRM<鬓rL$)fBY
C Iptables_Semantics_Examples `]K+".@oE p@^)9wD$
XhF +)[1,<*1:<$rrZڏ4ևq\>R'K t`jn 66i5suV#2н26oCJ#(C#}"_WPP@/sTuН[l`qbDTVH_nٟ+h<^fg[F2_)Mؑe7Yҽod:n4s ,)qfw*+ o/+R?<..h%fM
/3۞6!=l'::BEzP=nx'n䓡ks318XXp+ t@!T"E\OK3ß^5!/Ne)TEvOi#;TP/0n@GahM bMìjCdMgUD(
a1_vR,]ٟ)EpD,QF,0EA[J4u&M7/pl.o\эE+Y3oАgyqѕ~(G"|mMߪ&ӈg`9CI;BgSB(!.igբOzEtD*$8N3J&vdz"gTa
+54
ZRQ튃
.;/0ZS<$yA
7Xgֵ҃cD1C2>ȥH˖]AsG]KH={^c
Ġjl`%~aܙ\@$
7K|[,v iع1${8w$8Qi2O)ۥ1Yp]Bs/dY Xx^ zAq.;z彏WGTLH;Ke0IĆЧklIN?u{,xjmIH2Ce8dem?U?=~"sȫ=yeU
5XjW/#Vom֮qFcΒ!ZCDv)a&
B;Pz߿q(]Z僭ʢSV!6(
A;*7E|zm{!c. k럜{E
0?1lO
JWdOLEv5k/$틕I ]B/_ܮZV
]
bPX뭩֣/5+@Q3uEHx-%,{v3X3:jnV<"Rz}bC^
a,9 J
ffUM3lmdTv\Q^=(7=OI KHae{5(|, 32LOE8m!ډV#|
hT[㲵LImKhv6po%L ZP=/nļiH<&YT7[@Ɂc!H(fQ>
]9JlNV(HbeF\RNEiטW%pXIo*{ uR:oW~ASJon?zVe Qxf0 ~Eg YZ7zXZ ִF ! ] ŗXiɟX?' 108vRLmU,B9+xL@*%A5cmfM|4,,^0U˙N[4re@e#N%F
I
Σ`GuOj7Sn\@Qs7&c
[x].FZ3ُZssKk~u9VpӚ8aPOʂ3{x͙X/]Ui0 ,-w[y;px Ddv~Űb㥚&zwZ}p#_(K(TH+w_prAnԈbFMyXSjJ
+~#|e
*
W9jX)sO7άRNx|i(XHs
\WuӴΨ :[n
g YZ7zXZ ִF ! @t] ŗXi%9(O?xp|#
ȇOk+sih1ѝa_N)1cH!TʗT@r酙٪b{q+0l5FZ&r~+se}s l6]vM=y-,
aUVq`>nJ2CxKCk^J16C
HI~;鹘IXoRaM'S_M&͉AG@=]y'%Cl3;ox}OOI[gPBM{nY3?~N(5ߚ[E
5!bgrF0ieG7`"40ik]1xuGLMAOj|6aӈČՏH{J:AXFVz@ww!f'9Jӧ#,\+c&k,\_G$x!"#"IdW=QуW`5wQLJJMS^O>E@-Q2_KLNېk! (g[OqャF\m]¹Kb揓ڪ(_YAwy{6#ڍ2y)olTy鱺H=z|"^ZHקL!I;4et}7CyS珂|5PסpW{M0XWԱ!sQ?~gnȽtƮCuo;^ ^DvVk58w57IxN,Nh yLSo%N<8y|:0kއ1#C4"-UIYɕpO#gFD4$}Dt]&?1&a/1k(a\V}asʼ/Jǘ
(6g5yՕ-RRfdفTcv|P1fP[Hjvy8@/VSyPfɃ3yE1$Milg.~Y"
gv3UD3(29.QNaR3ӥj'cWvNhd=[1l^N$̰JqWwx3N:05hb+ze;JjyLfL"5'u\Q46EEr[t
9?}܀huBf\/!>]Tw,{
kOS5 ~h:8L hB~N՚+Pfz ,5
ۥ#HzKk
?pg XUL9+,>+7M΅hyfh\= o;K0?7*
=hŎy1>ڱz""W`w^coFj&"XXw"I?.
VB(/!+z~5B1+N$ޫ4Wä
&w Bzp"a7
Q=[toJj>4!2*I]+)G m֟j߾Q G"8X<[dFKtGh4֤!g|A<`jr 'y.Vg'x迄BaTҍYw
(V)SV5q.DsJ,ȵ=brp#5ᾆjpUF'S)fRnY2kְn{-45RK͇<}UyXEP#qħ uZT" Hao?̯ky /=<膔uSx fVQp$!<0,JW
^]'>]/g-W/57N .\Ffa}EY~h#
'|ӱ=1B
POc)_0tG
Xc6VmXRSLֲ7/ՈoYFX|3Hi.KZ, jBgOy蕔a#mv;Ś֚GC5;NDZfK,HӺM(ՄZ]t8]˵|1 #Tf-|ltmiLdF,$:P$^Y0]M*q|wHLʙ#XВxzH=(@WSuB2
}9,@o-Nk_uׯqS$=MFV\Ci+'[Z6JpGTW"N+*sy%u/
Epf#KAb0Б2M^
z횴> v{AwEoiprYeQ)!~HZwKq12ӼJ9_x#,uŲ ,e?`.&B/$%|1^_\_{.Xٗ-%Nm_&V>\1`:Iw4Tpe.Ff54Qi{SHX䓻ͫ#£@s`ǎy(fu'Sq[;uf[ȷcSHYFT3~ɇ'H2Ҋߛ<逛4RvFL&!>@vǏERqM\/b,dH ~
X)o lԇBABdɷ-bPɣB#i[/L)CÄS=4&9s?y%?n2Gg`~ZKBBk{[u8IpAh@^Y[kjmȐWb[gNugM
17$>}l,plEY#<oZH 9 > >S"h>ژ~[)4uDG}"Vj?9X}fZk b=!瞻wЋgWP
RSg()uww{ӎeKH(9TBW>[9Z#vqkس
[p.m&ha!`v,' =q(
&o6*a}#)}{``}߯͡m36j*'V HmokڣFhA$\f;5j/$/ڪ03W ʧcfRtt~*uvVxิ8lb2t@l.H6\" q䒑3vFZftlq6=UP,`D{ynxbdnz՜A`
Xq$'lp'؉2Ŏ+6۷]lF:/@_SK{dUaYګfد"$/H_=qlQXbj8 {Bm :8B{e@Bf5UCskA[9eO"Ɓ2GD
tݤ@YAů,!<'2-)=ZVQ6l1b(m4qrLt4냦QiQDkOօ2 k oVjNy.۠2X!ÈYRőZFY;Oqyvdcy%)"h~{ojkH ˒1]y=,ڕC;U]$A'v7iݥ)o*rܯX5Er@ju
]G}I Qf+_}`4̂|*1B ?^W,,NY
3+_P_!ՈĮe zn)'xY凸-Fn=#I"EH}}[nⰣM5_NYI@m+kf7>q"ᖯe٤G*
bE?`?c(a7r-\SSrr@/FT#w5ٮ
gChʛlhqˋGo
Ƚ&Ĉ>ҷZ8@xs{Fg&SwSY?ôRskȄޢaF2(8qp2hߐt`#凛lRe5ӵw#nm{Z}V1n;EyiCp*oM֙7WWg|U'9z#+5n
;%X.V7,xZCȜvPkБ^ֈM6omX쯱-/.@.X|BFQ"#B
s~sܜdsLU2}rRY=7p~8i泸lJ$xPaQIiu&gOi|qUc՞^;k;I
xhP6@5MK@7à#L/fcH!3>]|dnL_5+BTrr
:\C^4)IyQB3껰q[A5"z;푒wɘev.uW4ıNCgy~3 p
(AJcgA#ЙKqtbλA"."_Nׯeq,7Dpv4f.Xmd16+D-a˅7/ZxP ɥi:ҜOR]PoDeWjeY
BA
`}Ohs J2!FJI. =
V"T_0꛶&-*j{CxD)0itPZatPŜ>^&kIPqɯ*yCoNuy]u;y
x90sj])Hv$f8O@kEI0ϑe:_g*l-=%@][A6ZC#gƠ/ &d_Ɨ`IywoBڢ_u l-iPShf*T,auFvp<8 2)e /]tyz@rO Rh㒁}WE{xC_i@)@ޠEb&[g<)-YQu
*TEZT6dG2l#$.!s'_ws BIBlhiB(Qy =nba_]Lb.]E!wH4(~b?[ݏo /v{Ld 6vQAj+̤eTސEȗ6x7RyCIkZH?8]9SFW.*cmfSB]U7HK8Y=$m&˶5Dc4TG
^Asbbsֻml>C
s XLV)uq16+o NvȲkNl6KZ+Pņo1BCT("j-<ge\0uSSFqVjn#?ƨ'yT,J@
V
YllF$([,M1ˬH a"gjV"0楨sWÇp]=@=(☭)`/;)K%8yGǧ/ۧYXl.ZhP,:OrKd_K~695kC4ؙc<(mD2t/f,tj'dBg)z|Čx_MsuRm>J^q;]`HAdUϐ !pwwvb`$BZ^ǼV"U6oNٺ'YMh(:oTQbW~Xso[AEDGi1ⵈ!Ҏr}NП:eb7yⰨR7Q]2
-]z;NUjuߟ"rM:
$fO|Z"@k!k3hzas`AVݠ2ð.#
z~0sUz%cY)f" J5qndR>L6"D-nz!RE퐙$e߶Ipb#S.%1oRħn{am)oa-tM}{}P6t0'z.Ht̷kbuv7) gҹ<~!M.JΝML'3Npph5H&_羃b%S+Ԭ;0y ad=;
[n4jCLuf^?]sq2$;x2֨F䬞0Ӎ 'g:Z[cIKkY)63XOc93~o
JҪPRw2.y`CTU[u,'`ZKމpp() mY8PXx2w7LEEO_WoQuIQP2qgb^?hrAJSV啓'<04툯AYBI}fj$la1016̎rIv+kD'KۖOaZ! 3}{%B\#M#xI~7ȝl7AALc4zKUNu\! 6I6K
l%
0t5caA8-|4Y Uiۜ'H
Tt4"9EæH?Dk+y8a2{# ?;]xb_סZJdIZ^1u4u"UoTWA7ʙKzvckY
dfHET2mɠ9 $md9~
=< 5?>ens0YfQ>FY&D)YD|+2e1GO=G9kMMbݛAlsQ)?kWDx ؛ƵF4]b9ıQ㉝^0yLNXB629q3Y$F w*2`]z$n"X<罴#_bginl>=b9KMI3)h.knc6X-qgXgwƼg:aUvf.>]UM=|:b(7eCa&JDt OIrzO\g٬Hj7cM2,A
9!{ț@И+Xb-[uww1^>,8e2
Ƶx:73=2*kHh6xLAFlC}[<' \2_Ld4pC/{1B#ంYꋌ |=lS.]!2D$ ҈md+=ԕf6I
q1朡uQvM
@=~T{3zWGjvKn|Ѣj5ްjfVfdQlv
*k]xkh^C?cI/9=X7K8]XJG_Lj@>
ъD5kea% /t;}yqi^Re͏ ȀL= ajMW\:_J+-Y"3&xr;*E,
uIIpK7ߝŝKDVbpK!
)ӾέnYdm̾~wb-: 9N-Qݫeht5iHu^;-{_You6aq"*cm~pw,=91]yγrNxqW3)`MZ<>1R
,t(}"Kנdtz/arбަ\C~˽,@lF|vm+H|%j@7: TBm{HnW~&=;4nVZM6cfႭNۼwh6G
+2٫oΥ3+?Xw| pG};l4;<;\ 6Ez=%qy9
bX.f晾˛:UW4I^bĜ;饔%$E)o+#=JirIk7Du};Qg0IgKDK+\aV(JhURw}|bNϻo4G_|[kJ#si))6ǒ6]ncϱp
4EZqiw8,U"'6)J˫ ݽJy
{fC{E+re}fѨ,y'Jg\giLg: ((,xǺćOaZ`ؿhb:SY?MYs
@xLvg0]|`_59Vv`6)^H5'34r1Wj\ɩE'?ODSXGO@^@o>0-8<8=sDk3\Km35nQ\ߺo AH>*qzL8KrC]rg{
DͧM?1J''5ۙ5YYGzO˹_+@QXo1(i7"tYpR68-~oqcfwƖ244ikeُ[Tg&;im@aZu_s(,sd%{Z3-C%HO+JJW?9b)Spv@+`8-$f5['}GMn1C0]+4".QoX.J?1xϼAI[<_V02LPr(zse3?\ȑ Y@nx+$$xÁ<2?z<(52FF{>p$f%FiiPnX5НY@JSJD6qO
5+>{Rø(R<>M 7$K-TY+u/6KEi\Ȟ5<0^;J$qMFTӰA =ASg餐u[ ]l
S ޙ];&QZB/N֎abB/p
W1:#RفU61n6g@l1wG|~dv\K셴KҺ#荂89̂@N64
=Т
ғkK34, ߺFT糖W
;VNɭ4v$ޖy 1S2k#A` %7k:MaDM+Ab$MT_ab΅AWŌF0mTU?7
-3
\[<=
mϑqvyuL_sVLJ:, u>MM|'G0(ZRGSCs4vA߅塗bը7I;p<y6SScvS؉߭ʩ?>iyQ-Bg"WE
[Loev8w
k#5ACWݩOrx\qsZ6IPWȢgJw0x;`xA4 ..a3珎XM$mE s
[y.͠ڌ#{e!.dy|an\|\EdÉq5Uߐi+,tYH\8ƌ(Kz~<>9lnC0c~9EԗJJ
# UF&Hk=,M
`tXgSmUӰ`he!P\TK`-yKv[S[+V QՇzm3ÔMqBf1H_owkІwKmIAҝپA&D55LR@g^^>3Z֙8WTwk,k'.T~tCs_[
5dy(69NG؋
,/˯/gPv|^6٘I9c&=B
%(aj$d rĸc1Ma[-
q/p-?_8`hݱVݷ
Kt^Z) x]#|_^64 Qo`hAff䋐]:{['+@r74[1pn/9e;+/u]j$i?BҎ,Iy
_;
pՂۧz]$@i$oX.88 IӕaH?/4igpj r[Kb8=c[IWŀ8.c
1NI tTVi9yw
܂B)OF#4BVy2epӵt{js|ľ;.^HE+`V6GFj AͩC>zbUň1B1lbh{siKm\ȇ4y
'L!$k1?X6%ߴy@E<{weZ%\JH7mCKqb$B7($>SF<P=#1[Hn+#˜{Sd,H6VF$|c_F
'Nm
-ܞ=PABeqQ*椼<1xfEjklfSI$E&/1x^N,]ݮPz6k^NTikz,}fK'ڏ7JFY[QO뜸N73!