SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  w wmC\DL ]]Iptables_Semantics_Examples:threads=8elapsed=203.381cpu=1314.598gc=148.442factor=6.467zXZִF! e]ŗXf1-/6vRZL7*^Z cX͗T VMro}j)i:>9йAHc=OS F k_!HE#Rfxwr5c<ǜ,YB`ԦDM?NvjHi Zi4~%^Q׍ NU2|RpYk?o7[0m傘IDV9B+)'wl~#'<(`&EtQ`Ӛ1{Ԡ`əQ>ܖ6 f?"0`EGGAyoEFVp&A&΃rx |cgF$nN;韧( -LetߟG_rC[x>`*H~bҨߔdpyK|H &ڿ KGZZѤ]c= NkӚ8jU|OD2w-Vxj1>27{2;i?kJ59ñv3Bo܆:l,43~ 2EÊiLKӯ0~^m?aL+ddLg!o1!J/4j{0jUUm2[J@杖 =ck>\ 1jkPMцVI|͗lMMx:eޥ1SĨ!1w 3CM|0ڣ:_ZxrXIC͚eR#g b&"97|Hi7̓Iae\_ cNj]ouxganݡuՙƫaaMgV,xzmEiVgP-0﨩U#ٵ[7pYO-`/z)ERYx_ϪuWܭ?ϭXWF\(M+VL,+u)xC#"Ęv{\S8y*Q6)DtS4%(dn͈<(?j?7KAUROyML<܀}5itO³tFDhS뚄n_ f]L$͵' p ]&ǿz @JK/ck 7fWj{k4IF ؋W7a`)lurVE@=YX54c|$oA힢PQ{p%mwDƴDv9ݽ| /l<5gu Fw,ZܬtJtSì C Iptables_Semantics_Examples  W0!L#[jSQ^{{b=żkԆ(.Ej$s8k$:IؼNy#$m8yęr/ϫZ̙|zr2bI"&#yC;n_'f x;nՔhx$Ңvs~]{gKr=_c3E(F=j| 9z#SCsׇB<ȸה>@J[;Ree(iäqʕvB!\';Qi8q}%AEӳH9 ҟHq&%71ER^ލ9/JF(get>[ŵIMn c,:a1T*.fkay9Tw9@wSįIf{:/ktSǟBAQiǶۏ6Rh C7;a}ḁ"xkrƷQ!:tiY7 8.mrwSƅ݅. N}*AO}vtaGR`Υ hOI9q,/b9!Iv]5%KWf|*xGbF[G,xf:ezQe|2$O߱24 Gæ?g8^ȎݳY3.û-u6+ױjw_Xf=iTEve:c5u1z Oa/&H"_\6Օ8(Tn_DoJ%VɃh:ה>mj9a ABvK5ܨe`@P[pZP-NԠlAFQ >$b3I΀xa>% J?dA@aB-P-W uVn²~  dJ? ^|)y8r5;Ox,MBhQIѦ}㹝WI _OY#}W$ũ)T#\ڝ:$dLGp?! xŦatezRovS@y7iOixPˁd79Gi<}y}H9q*ZUH|\GQU~r5B0<;>b#3je2˶nM?yh1kdKL=n+c$pE|,4pdi*0Į" .:)ZSܚl~M/Pq>t)TQr/㵦q&{÷~hXR0ȸ?>Zw(Qz Im`aDs_6K$VK8;frc\ _l"Ciw`R v+[o/0iLUF7j:\9Dq>k/-8kR`D6@^ Kva<8U:~P'r V8t窰*R2/!xb@QOp ,VܰX]U,ʤ?fv`vQ3[Zޠ:fyB#: "HskD~[~Z-f@Wim.+;ݔx7 HEٶ" Z4zg09 8'W^$QE4WۆltZ{.Cl|y\,bƱ"*,%) Fyȉ]:쭪ފ{#²2.9@J&=?8?L) p+r`(":@4=/WpCVktj֫:)\B̼%x# VbtTBSM6h* zC|mTUWʩ?<2u7#ݪcIޣh]%ZRn"ly]nEb4 , xrS Z[RStڶH"'w).L.( fx& ZٳN4dK8$N=fh#2;S;[4tӇ7yŋ*qLtQqZ5 M hDEOd-5-e-x S6oE&8@8ny^ڒ1BMOY_H  Xݗm✻Dz2BoQyIYu{OS>4ӵrD vzۭW"z Hk$`BN^"RWu @b~cbap ~teu!SRGQ&_XecǤ/Q$e_<XY" Y?%_a:|dB؞2яTR PuXj93wtFVn*C:r|寱D*'GP]3˹7W͉ǚH`{b61gcM禊n4ڬ۩9oP[vNm}5HǼTl4>boO=ښIT1|a ٥6Pah8DUTf!g!#El=W3yPR:;n]{[@!~>;qy vɩ* k)lNV*+E aD&eeo8!axAq-w~VQ9v?$^*5cEy"'dIvKm݊(dfM&h0 iY fߒ\3?jCUɟꔽK<^ d H+AtQ֗M:$=Y?1Hl|-nь$'P88lc*>WNA"ț* 5E{0EC09UxmM6e"/o~DO$˅DD+'*Vykgnni9om`]O饭C{^@s%~)ɭڵaP<& nW"CG6u$~!/J$=]t$K¿PwT_@_g[p x.W.UQKs~\.tVE1ͲQ1_$ȼR~+p%N\=@4EGFC#kq+:ris̮0I$G):S'*.[#׃ _f(hE$]oD U22sF8>e=h*YU\ ]'a@`O`%m|۾8ҮVX{7'}m#wh,WN U0z_NXl>#[x_yQ?Wz>:TN p \i,SzlA+[H{@n|^8:˵/! Cɸ[2C(Ee*Qnpug%LGۣ >1L `F(0KM.U.7,0߳,|uqR}=[];u-ZÊ`п6~EH1s, a:w&zCȚxa IRJr%yRakX[tD ,}e 2 8Nf8'n\NxLt7]u<7>^()ⰞB;|1&Xnπ6rw)Y=6(࣯ad#pxRh9ȡ]o_i%n3"ݺPMd6hVA.tOaxxĞ=9ÍϬ#\Q[jMŰw5"BiHzIJ=cyr˥kjϵཋ5 L.A>d=òFpldIBgK lY`?e֍q_( @663H>=MJ_X#epHb)ifA4ժvq;,ZFBRZd%x oU3'*30z=ߞc Az{gXF>RW:Wǻ6'Z&ڬݐ_kgփcNl.68 )?ө`{ Zw\⧧*pbIv8`9EX׋n]ؤ$H)S;`IPakٞbw|aXÙR"R52wm4ZE2,:\0]1;/K \yDOT0(fuVmʟ? үI S>e4u_)Ǡ:<,,W'v3h QeRCLcSqx~ rw]DNuS)/aū~mwDTz^%<֧ 1'S BN?gBj"EQ^ӆZvߐPT^v %S~ܕo5}V|'n8d~֎N#j|.tuymS"_mW)t!{*d_m< aٗA(m&P^ԹCi?TQ1"E4 '(hfNu'ҪA~^y>\h8)7^oaJ(>V}xe 02ABo$CIH[<$y!ٝFע;%6n B-oMg*j9dCk6Y qP9zq#Ζ&甋WaוLOX* "H%k&UgF3s04z\62eSg<$]:DR-xxhCJE5PNj:F ]%zM+{j_nq6}Wړ/kB#_-q.mٳL.#NOX*I63p{s־Ldxkpsa-SKցvGJ,W#4:Q4hr wMJ#){,L%)7Xeg c,%{ s/C;C[-GT\IΛg QKf \vձ;_OHS%S {z*Y!.3KF7,h a)ۉ_6wBɒf(\9%/MpyX5&HŸ~Q&n$[ӥEnR^0¶`±!4"i(mQrx8#O;@UιTD}۬H.UQ1)Av频uC`i?E׭Z6x9TFP){&ٲéGMs)a/K;ѾL_7UEZ4ɘ֭ck J5QFY|$Ⱥs`\صѱІe}}/ղc;1f}.@ Y:0ϟ(< |}gԹ*Gdc3IMGEfx9 w׀{Eگ./u^$mBdhӧ^2y,wfc$|K޹w-ruo bQT g\20_/-ꇬpH."ω@"/U)>27yyzM'DievϫG>BJPOhh2"0Ut{bo—&XE!kAPp.vr;V⹹"JbZhu>~$dJgt@noE=|bRėjھwWj2g9s(^Etl`O>gWh' ,BSHVڕ` lmK !%̏&/ `y>dg|XSd{T]W TE.qʯx#L&π-msJ\>JN ~oMS˭1XXETw}WS?OIF&73{ Qk&5ہ݃\\+Ȩ7 ^sP<d#Awr˟WsoĖ>eH.N+e}9xRyl`s9AbgRpO,ڬf9Ud qh/^ޡDehUomӲ+8zb=14kh9$1g_7n)j]_ǯ­ϓJ,9MT8JKOˡ2< +L(2\*P"%g3:Uf&.Rqrԅc\/Rd veܟʍYN jazP&)KW@E>(*Uu8zW&b.ghG+rwz>_6?razRء"&/!ڭ=*@PsTgY2 FPQY/q`.Ɠ|ֻuwɃ(CUP+r0:8{6͹ٮUwĚp!;P&K wf6rlV\(3 \2rQT(4.,"7ֈĂOǸmnI/aV3.+&lXo:{a˪ 7{ "R plr#@a~bl0a-.KX3i=j")|PWkw)}1kPC Fas]֚grǓ)쥤kJ+KMnٹ݆ZL$wű/&pŀHCP8R$fVXS1{1էnPcjטvmOgr__aXF7.R`(Y~:~gkW-V-C@}!ۼTP}rzQk?YmxJ՞a_Cԡܮ^EtQFl:(\֓"^5~G,qhz$^wЊRpW'\X !0)H"ruz9w|F5&%s?HaǑFkMj@rcJbnP(eXl`w#"N(dii_֠idy C?„w:3@0k١aZx)D(k~ l>6HuoN˅f1B/.]⪁ق׫C+Mw.iP5=n-cRnuFXs\=q:&{P8[H^ܚy-c;cdQ],Ц @uQhC$[j搓ʶ ="΁\˩?fMuS|(L,y >^×>>U6a(X53tDd.'Yll 2p4O;paY"֝R\gB%aVySS@zPտ~6 g$q2YY5b4H+3WFsmH㖝nF\N$Nn3|BuMC\xB۲6"^QL(/88o:r*#`ΑHa}-~T+4=p&[])ӱVpRFTPmbQBLܨd'Ĝ.FU$jGaI1[iyRᗅAE.U\nSLg&Խ^cat=Qؾe1y(pcI2d2+rޘ`CW_]퀝7F4"$ XbvF]'Gi֘߀OM:>*u5HEWA͏SnΕJ1`d~YP"X1R*ڪeh.{N>KL<2ӧ8:Ě70jN[Ɇ=L`=.O!՗4تirpwxsy$-spzUfVuքô_;}bq#I0NE%VK~6fX), `"=jViq3ʅR yHQ7AVe*dY\5ވYIwM>"ّ78HH& jXpןЧI,(U gلҀ8|e=O̽m_V*sm\E~# >\8:+3Zo-ri~HD`56` $Si x&21kv0ô=H }+L O<ɵ ^y/}Mo}?^߯%!u]ͻF|7?B62He(_/+N^3.vY Էô"mhaHVau,ZGc)7ruo&ѸDjb|6 TtIЄբwG4x ,h]U{ w;@{Tʰ_]+=w`KcֆG~W /:~ڎm3Ȭ#~}pdOcNL˽> .w;"F7p=֤A(m5*]=01pbe|",Ell.O tq3u 4~b`$'f,IktW1PT[F D=:'q_΋S 7⥿j9@OX{."O+| W>첚%(fy1d?\ RYrzψ=a!;CQ^DRhnK ٳ=7zQi,.tN@APY{bNY(u]\לg=l6G+(q?f'-ɬz?}oNŅUϱЉYKF01Hi|zτEҡih\YyK'+l ZଈC|ߏ,5(TL9bt6d6緲hH[$C;vcO޿Y umu[h! ӭ1'A%Ɛ.]b_bbu{ +vqi.eqLIjA鏢Nes1ѳ!G4p Ο"`0/y6SK by]sf 0G-bdM}_$aI$Z<"߲yGƦdA̫A_T J*{)B88JDq72cs ƭDT<1%BxY^t{Aw^5^| UyMRiZR~00O9=ZMд:ɭ`5>`x_2'u~%Q H2 XH#0'10Wm^˙p<ã#D4m;>3M:$(bS= o QaxW-}cc^OO Q]Q/Tg+8.?nqږvFvik3*Tz^NKv|Ty0Ztj[+~9vL& 0#~{D[敝8]wFwnXQ] u7*ub$eN_a7njW@4HfnW%e5tΌ"QA$ow-ɶG#|ckH8-SU7{0BNpJ;ya^ .U82"z{ڢك$@_W'X:Ԏ!UnGӌt+h&+O/H8e@ Ua2*pwd(5b"d id**fs;dw?St9M0@Nw6Ts-ɏVn@^Ź1S" \6Y&M*yXӝ.ck&焹٨rDK51?ϙ7 Ͼ6:"x,_UU%t~Fl6C/aI}I[,jвLWWXDaЙ.j. @7R*qNP$Cj5Don+ҫ! VpMH"yws\|jn'\< ȊWiiM.JK}7ŽWBqZDP ?? o#}*p=.~}*#?X[ !q _t7G-3O:ʂr_Og17}pށ5V̿m?k{]R<*ک˕ \]Ng0!'}h8 #,-.lNl>f<Сބu}$p?fXM:\bS5[/fÕ%lQfKqQ`l[QȚI>jr޵m.\j6lg_=gw C/Ϡw`Y7h LM;k.Udٮ^;2~w˫pUNխ寔=A_ׄ P_,&'Fe#Bz%kQ[&ܸ4%j(KF-|;Mw_=j\ EYg<-F>CUسs TnAmkIGg[@۩6FGG5OL6~ 75$yIŝD_Z?ӃBglc} Z֜_I 䆞3rK"8ٮR P$ #]f1vKَ))*m/azt \U-Mf”AQ 3{!cp/a@5p7[S{M*^tʵ!s-8~y!$j\gYZ78f1db18bc9ab7f4afd8202b43e28b5f992ae29f8e317804cc1fbab9a0e9f003ee80317e5adb94d4 0634c582985b1be92fc708eb5be83667c49da2d8 be02216ca4752121ca14e42d01cbf2bb132d5349 9453895f77734e555e382702c0f85435389d993d 786e031d6128391c40ecfd1b9748f7c26e4926ce 7e246d327d0a92669760e0beb4a245b8e24fe991 b8e92fc6e1dbc281b18d0fe4464aaa8b263b6e98 69e2df51663e9f44814e1859416ba048ce19b48d9165eef8ceef251e7ca53ddc6acc61fb1311a52a