SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 [[C|D$ ] Iptables_Semantics_Examples:threads=2elapsed=671.323cpu=1301.844gc=105.176factor=1.947zXZִF! h6]ŗXf1-/6vRZL7*^Z cX͗T V&:{=fdHd#uʱ쬞D5@n=1&p-w?:l^y.I(wԂyYy6"L~&Eo__r2 P6E.w>AigG^&otδ6pvQuv]Kr5y 5X*շ>[h!6ܕ\KWw4*{uۉo.s3^ീPT͎G ;Z r+Kkus^qS] *5Y$V1lr7iLl"ӽ~bܲF}ı\@oҜ5LphҮU(mmFbD a@4!q a=;-CN|&/tnNjrðn6uQ^ C$<3üjsQ/۫&_!`msH9cyxȨC @PᕉX:֛n E4C&^ݝx%+saY_{ Ĩ7f hYyW,v,dBt&Vњ5GϦ:hЖ ("gv9qɶ\;$Yc,M/=O G3zW62S:q=0]P[:]/Lv@  ONu!U8`q?Qv ^IZ..8S(AqA9s,,Fa^n 'v:`R{QI$ߢuuDJoٖk J t|>[$<$B;1*x7,w k0.bbƓ%Q$P1NT%8BZ6_a7Z *rF3'F(u_v߿٪Y2wJ3/(7di`:vfE$[`4*ENN]:KRW"j怀4%/WI'1X=cm&p'ҡ A;Gv`Ƅ\k~FPpuN, \*_j.n"Y?<7?yEb] \կLu[#.g?¤zBl}]>"V}ʑ(vY<wNߪrqWFR=eBηD74ײqP.'qﭸ8]:=d4Ӳ 3\K/a?)i%3 '3׫<~ h#VcfO`*+Al8-^V&"m,œ)6E*KXY-OwW@@hOĆȊ gRxL@?z?JFOZgNvИY\wӏOH@%5D!G/}.Ot@ [[|u'Ds<'u,4du=$U=f(}%!df]O}[خU c\{Ư -vtY0J^~8_CFmHݰW^>]݊bԐP&FDm'҄o^|p$|C?* Kת-2$&8 -‰k* W"j́Y@bjw8t_Q0'sТWӿ>gYZ7zXZִF! ]ŗXiɟX?' 108vRLmU, B9+xL@*%(qѪ ٣WH25usvV\Z&~fU]=+AbǙI\/ [d0Oc'.m)Xߞ@"%ĨF0B'Ȋ TތAC|ffhGxB,o\}*uoPG@GL8H1Ҹ}ORoc/lvg*H#r N\N}itV9.Et مr&z0fc[aALttbX!/L#=oh_V glo_ [O"4  gYZ7zXZִF! p ]ŗXi%;˯!#J惩y - @ n (^Ю*Īm\ aGCr7~=<"pCrQY\-PY7,]ϰKE;iJ(uOtPdC_JvL2Ȁ c$Aa(O(񿑠3Ç'cKq=^ ~PJnwoԽ!̈>pZ$ڼܮ; $X*zt,dC܏DtA6dF_h[b"6e FMSA$ *-?m_sv A ]=8J^85'I?SK(e{y5 ɅS]jdvb9Gd5ëW> _jg9  v#Ѹ_\!4ݣ<)$E"qVFFxKNzUu=E j&`I%ݲ8BE0$cVI|^̳̉l?&){DZ e;38Ͱv҅P WL*~/F^4NyRk@HjO?w=5 PhMB~^#[L'6{ļGPv"Yj|F3ƨ)wa= [L@6`BꃋurP}꫖X&ɲK1rMM4hd3T;p\!DgSȽPMg tov[6W%"-֠&$z1J~k( Tۖ/.ڮOf\%2oN*}W,TR6?DKCQE%`GvIB |8 Sƈ\Z9.!V֧OXČo_Dj 1.|fn:FTsoCGrt?L,G/ Ksˊ xb)WYL-]ʤsќN%-ķ V9Մ mf}DӠ)ӦAMV"Rn\Ck_ҥԕ7'4Ɇ'?Ͽ'8q`2e @g7&CbwU塙"`n-`FIsFF()ǩӎ,)ྱ ,=\ 2~pJ:ި6~Yf3bjkq6Pu̱N0ӭ#M@4C&8ڢ*TcEMcCŶ$/M)8BbH$Q^.Ur       Q J  - Q [ z SCY%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Ports_Faildocument.tex UC]%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6_Testdocument.tex _Cq%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_SQRL_Shorewalldocument.tex aCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.SNS_IAS_Eduroam_Spoofingdocument.tex ZCg%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Contrived_Exampledocument.tex aCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.iptables_Ln_tuned_parseddocument.texWCa%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Small_Examplesdocument.texZCg%Iptables_Semantics_ExamplesIptables_Semantics_Examples.SQRL_2015_nospoofdocument.texTC[%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser_Testdocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_medium_sized_companydocument.texaCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Ringofsaturn_comdocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Synology_Diskstationdocument.texOCS% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6document.texWg,P}FBfaۗ g,Z4P;EB'u;PJ8*HCrݚ&{^o?|wnDYߚQm@1 ?9]5:Cf(}N׭_f˪+ |34_bKt W%B[GAg9_ /ҒK[XTm(t0.wi;oy u,yhV{ XxGe'0Bip:nikS"сNʂ"< Ͷ08DEe7[-Q2:B-@^ʭl?"߱ 6+*7 ŸN;!#[хi~ڮ 'jm]^'X#'mpSuu:ejN|y_/jtpIxԆ]0%ȿBq[6?:dGiA+wHoz_zkNZe KPXXȈHw=cRuQR7_N-QV S-\sօW@39$^-Ep!ZGKLyfXc7ul_G(gNT vbޓ/,@hb$kb(<2nT2 ^kԋ<3Z^7h<4Igv:|ס:Kx?4<7jT=ypw&=>?ڨaa^hRV I< v#ЫrXX[wkL dtC7oaa!9:_I|6oT Vs!pŘ<7N|$ehM[N)ݰ)/#n; z9P)D{~ ilVNX8sM&*-,%- ,HQuPWYL'k)6Bj80e~@)0" :u~t D$(+̠QԂ/̐ N!)O~eJ1֐FVzhDH0Qiz}"I|i2Žmb ;Iw?{Em.ߔE^xwF hwʰ sp֭G*!n#rLJ5Nu'&gXeٙC9?YN1V)]hAJv73%Qv6!v0sM o!٠QZ:4򯲈,> Nz=}a$J(Hi',ZnPbSQ W &}[8̔YPAU447$ lu8ac35aűadթ? ]~ZN[ֲ68 b[`C^d{mpfpxtԃiqghN( Htɛ{]dB͵:hKYvE ,*FH!p=q]/cq2כCS:8Oi4ëGoy. f WD X{e>},T=s͖P)P%9u;Ϊ64Brj?qig")dYSnܝO|nl[${mO(<%9méid]J 3/jJv`zx]5y("fI,fs0Yv]=*<QZRu9sQߊ Lݴ06(;(FxdleJ*mzM1EkiyZ8mtrfpåBf*~XZJ| 9r9,2 .Yt2Hed)bVAC noF + !_3r`x3'yjz|>y NyxA3;ߔG}JY|YIzihx_n~A-hn2X.Q}[$; 8)nUǪpKmV™,陏%Ѿ"9w׺RCD7cW.[mOMՐ;#A'QElu:ȕT4c5<=e-1sأO Ax 9(KȾ>fEf|fܧN]9aTLݝQU'c⚥t / a4_I'PQ>R IE=1 *ʛ'ر6ڋùXOJ,૽ Y;kD=( 0{ty&cPn2\i-;7Q\"6Wcň\B.`8pFDY*:#١ ωO|s{9uȰr)h4vvV##&^9R_ T Sfvej \~(dͰPpcMlN !@٧6Lur C7$h;tj`/vYjp&E;h' .M(t7'PÒ"a~My~)lts>T]63LLOy sRETAXe^*wRZj\-ޗݾ^Ϟtt?Qrml#G;ٕ|@IR[G:`:Jg"pz-S&=J][ ly!35[v/HeKy/Pχ/5n{*d'5,y 0bL7.m}XRHiaϜ$CO.wib%:Dwj=~pZ$L 14(R3쭶kqjB_`=ûuG|Buoi^+PUMdJc"Ҷְ%Ls7mf<-^Lh7 E`[#e޵bAh[DdixuOh_뎰 :pp!Xù+qźyՙV(~pdؿ@%df僥ſ.0LF]NwhvR4dx1bϻn8Z~ZQZkiQ>T{_˘;pSٷCođn}d=`c5 Nt:"XMߥѹpg 2U׊Nu5'vA%De>'3n\aXH#u=t$P9 >6l)" 9;hTS$iY~}'rQƒZ ٞ-Sluc C˜0MP9I!4"63ڭ`WnHBXg6zFj\9(F=# Cqp[`1e j]4:H& hղ-.B緌xގW[ qy =PUwo- drB1vOhSݶ`C0RT\ 8ŶvaϐzR'[syYD)@Z]3/T㒍q3vښ6(~eU]p+GbNf|,qx%-YO en*1m0cI!vq6kb5ok/Va.@jXl挬HWAJo, .qFZ7AkM߳V~#D3Z"Ք#錞5@44)m-V);q( O<*NMPf8B&/cZ')tdsT*i@ةu27nXõ|qDZ^d)9}WJә-qbQ{AIډ.iۧ3Rݳą ٛ626`|@>],[輈MA(veL]MiK11<Ǿq,()"{sۃڗ[ʵƮm)[^aa:hsZsK৹ha-g<G*DHQ,J4E!>Vɲ!`IYҸ>tu筓W4v=/qrrRoBOƘB I+/,$| h.޼xŅf%vbK'W0 9(G5{Ylut\R:ll뮅&rze&zz_də-h8@O0ٶPf!DV۱j`+㩇rKtZaFZ%niSM%ruqI~emOdNi+1i.11J{6NFԸ/\ݼ^@'*<}t3BV=|0qQYyU7n?U iPL{uyr&MUA2M2Ya(@VX.ǂ0j 7 ͉K<™BL#kMo&Ԥȣ4,GGD[ 'W ,yq:Qu*{W[COkLe:@u?: ^}6v`p$w9Gb-K0{_ XɎ<ۅN^T/v7^ Ru:iT!2I ɨZgUS5񦚵7.s:Z?b=utyG0e>Ǣv=Z_"-o< M5_gklep9nSDbqDKqEE l0;>Rdk_ k?Fgm(wd&R`8T1Ze:&Mu_ P8ll"!5MUy@!'*A^' zFyX];l6.S'nqGf"!+&S>\pBp;1+Q ZJ!sGw(ay'"54,#Djb sjYpnE5r'VWGUnZ# cB=x 즀2ɯPX%+J\J6L΁; 5Fz&%4i&Sݑ} clC4QSwOjˀ:hZ- *j4[@OE6=^rU 6=bL!F>ܦ6}l3%/"/ x͇9rx*ٹ. d`ᄸF} ߫B`(fF|\ o{PgRB$P9f#Q_ʰbuv#<ңVN@~>yѾ &hwd&+GeBRy86S. AgYZs87`7]PB_+pGn|cn3q\BPJ\i-yMs $E5)6pp6U`)1kvM:5ɣ]<6dm^'lsX qd>V:u" *`:c1b KKt  W_Pj82fH֏: 2GTp$ _pқ/zFmPV(n0 C\9VAO/PuR/8R|T/Trd7%$`=Zֿ(lyeȨ[d#g²%$aԪ] y* ]E_uwNyAN32>*L]P|?|dVpnr WȄ,+挐-k$;-D3nL^>=-Cwڦ=`>hL+uaEq*>C$Ϗ'մB%y"KW-smti(=b9kp9qo%aAMc VIB\uއ>"Lj JhDi ٗls44ҟ WQ%et$ޱ[V%! ctNOީ0v`$I~ڽ97K@BN[Wn BA 8˲F#Wt!:42P\5P!0_+kxϥP _I͝X8րH{M񭁍4w=QWalűGL=K4H!GCt,*I Kju` j嘨Hc}A/zG7Hq0sQѿV~p. 5_zũ?!{$O^ #9.s^)hrUS*۔IJzjx2~q8Lh qn@•@ XFLaNT\r Por?#H;*{Rbs:#]ɼzj7 D:?H]$W,}Ee(^Nx-VyTneF#B Q5ڶDʅNZW2!@טv#PQvYR/tEh@3P9*aoG7Z^ fHڣvqէ5Bp>\/~E,I"NcHϮ[ ; B\!Dad;0tSwEF+'QZfatGUjY@V8X1<,ľwMa~Q7Gq92ɍa=D`XdrqgovF{s96Yн \&Zk\@4WɧE68@eca{MƏ4@BDl[(&jfl ,>:u_eV&z^ 6K rB0rIo-V{pK uU ^l"&>192/nOg #zׅikR\%N+cm}6krk<&VP&l\UZyop:41~UTo9oŘ~{l9jMAE{s5q(Wҙ衁%A3MpF jl @n̨É"@岆ˡW[jfZe#q!4av乨^?KM979'{?V!Ȥ6ﻩ;'V*5_388hCI7;EF)'<*m6,8{%^.Tu L2G3[*I zڒ`_KyD%sY#+FOo/yZ4 >ӿ  q\nye w&̎j: CXs{el%>pn ç(iMWF\ Zznv4錿tdˈohsye@'\*gEOCG0zLbtjS:7_cF|ET. /{}OUL4JVN듖c'@vmMG_M2g{__;/a/DQ-Ib6cϖ]"7\c{pzomE8MY6|SҊX-Z[X!"ߋa+ zɐ+˔ P\NCT V#Uh)μlZxWT_T L;}=5K Zui2D~jS>ۖv!bnIWi B5:5ĩ9$yװ.*cp,\CqQ^"ܣ񷖿*/A<ۓ x:vQ7Z;= ,2.&ٹOh&egUU,`0 ܇ѹ`w&: &)/aޕ@I $2˕q&^r5g7{O@.[,s}cFjg@\>7*\e6sAaߩ_CAgmYו.uXRGVI!g?j{ҹs!}D*%&똘I8o/qp\P|GȰe۴A娪 8@6Y3F5sꌎ}pg%ELn0h PiJ 8­ٗ|3I =kL!Y]?0&[A@2̉ 9x|= ]Nȹ-“*O;k5f=V4jŠN(a=G~$UF  K`RG-꾉#m;MNJ?859ENZZdG"= YTw膛 7}:N02qoD^僦7Y38 X%ȼYLn13 DiBpTӷEW[:#Q7e&ڟƧPpLPXo-T'ρQV12JE$ ߏ1iMj Iʇa2r_ŲS4雤nc]GȧlSᮑhECbw1r ͪ$x?gaP:ή&8/(+qZKUڰ JBblUN&U?FA%Wy9:^ PiXPm!Du|Oyfqa ZTe(w fo -HIu)ZJwtM7|zƨZ)JI; z.ů9Oark,]C66LbERmzǬ! 15ËqWwVI*ȿ 5+ylĚZڠ(0^. b(~gYZ 2CS% LIptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6document.tex7zXZִF! ῇ)]A-MՋhvG"uIBm5D#'s{`m*;\Ph(S$-F}FUmjkTmg60S]h..0z6b} &@Txl 9|&1ۚ32<+)sDtA6dF_h[b"6e FMSA$ *-?m_sv A ]=8J^85'I?SK(e{y5 ɅS]jdvb9Gd5ëW> _jg9  v#Ѹ_\!4ݣ<)$E"qVFFxKNzUu=E j&`I%ݲ8BE0$cVI|^̳̉l?&){DZ e;38Ͱv҅P WL*~/F^4NyRk@HjO?w=5 PhMB~^#[L'6{ļGPv"Yj|F3ƨ)wa= [L@6`BꃋurP}꫖X&ɲK1rMM4hd3T;p\!DgSȽPMg tov[6W%"-֠&$z1J~k( Tۖ/.ڮOf\%2oN*}W,TR6?DKCQE%`GvIB |8 Sƈ\Z9.!V֧OXČo_Dj 1.|fn:FTsoCGrt?L,G/ Ksˊ xb)WYL-]ʤsќN%-ķ V9Մ mf}DӠ)ӦAMV"Rn\Ck_ҥԕ7'4Ɇ'?Ͽ'8q`2e @g7&CbwU塙"`n-`FIsFF()ǩӎ,)ྱ ,=\ 2~pJ:ި6~Yf3bjkq6Pu̱N0ӭ#M@4C&8ڢ*TcEMcCŶ$/M)8BbH$Q^.Ur3bFY2Q"Q@6a\znvO rC}% $Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Synology_Diskstationdocument.tex7zXZִF! ~I]A-MՋhvG"uIBm5*42i=?G 3BqCN 5}B 6)}iYo1d~hB^Gȶmd$ ]C oDxctăN!g*c_E,RXw."d_u`;Ɂ[2SEus$f"WK=᤼M#8m+LJzىk}YWQJ&[Dv->\ZP7`ʮү:Q  آr V0S3dMrM>ʝ^Ct2u!j9#%UfL1FTHB,2X zQV/lqwy%5">𺶋Lp]S|S;m䌢ItAkg*9.\*(qلa˯X$< qjF7Iן;B[DWg3ߣ .d6,+K!!.0aziJ~HTA܅ s+?B6Lr=4qg1ׇza ܖ`<5.Y;y4IH.UH݇qFjNbf4O DzoӏKs>ܰԏt_׆ġO}rR'Y95 60XC5'瑓b$~ac0 ,ch$27 1@EG뉮خ-Fw-*=VY*cވ7vjUbg\CvmF j4 7 -l fow|M 8?8`+ÂMguҽ"zdm?C]6* K*u*7,QǰV@J sP5ml$(D|7N")_qQ ߨ=K 5ydEu g3چuPM7TN*&8M?i @hW_MO{"hy¸/"y?.)ROݾϐ0.iezGM$ªtNg"k&/$>8)hil+!!4-DpI=>U9ZIUSd);ncЦ!ҟi@YkQ^fdG![2MqYʳ4s!wy-6K/{Mz vclK%ޒc48/ eAÒ l|uxzœ32k*Wc0#lxN ڥ{8#127"t*Ck4$%=^}iơ/ !m~l@I֤fģDįUks^$fI…T3Nr1,Z&Jh6HiR{=E}jL,gI}rV%0;MVp.dPke*)f@Dg =^ӈ4.Cn. \`=6۬y }m({|ipC^[Io3랷c8q F$X, c dI=1EV: >ΟFpx)'KYs _oOv=|81Fko5YݩC,YhvῩB8϶b9m!eC Y)k7W=6;H͆~ܕ+ph]%åew26:Þx}5:OG_R\O#@UNv֪_?3nIeȈ(nW*yxd4t/^ TXk$M`(-RAI&s$\ǨFX.iߒL%G+Mb|lϿ~O 균nM9tGVN7KZe]/`SN/;+=)>`2*U&ʘt%q/KIɧ DջB#anD0-w52( /& uײ5 ՓB[B |嵖 BjCu  6RWS4՛kQJR֓U`qvTD"Al@mZ@",W~pyw?T=]tLBC#RC4n0D!쌮#6SdOJ(YKj2*w6aDO"9' \m";j3$\⺡:DjF.P^MtilIܕ'/Z{&tS@s{5hJ<Z`Ʌ=%H&T A.3BmmWq|Mʴݳ;~ꝋ%29qz+7 9k<@PXHV ٞ 0!$y(lh(_j2 TC&&Zl3r"_Q GL˚wWBuk/91pRdlZΒhv|AΙ2 D1LbAX;'waᖫ)9$IP=Vdl4b掹vR >GU ݒ4#PuўW-L4f;>YD,uۥbwh+^ ϛBˌȦD" ^ /@9{"z^U3^M }S(CË|QN~hKVw+)`HS\PҮJϪ3gێ6}iڨKP!:w{ܪA29 ]5عh!6dmGH]s8ǁH/#q3WUݪ &ݝ6p?@).M?Y)p /!#6 &}Fч TSY.A Ϣ4%b̝ǵ#h㵠p*tXXT9?5r|b&NSC!_@n'>maHb؏ 6Xյi~{U숪U&yt ~_aooGn_q i&P$4 ;4r!fűH]A9l6b !=:9+B\/XYp.²/!r9]1n]J$uOun/jxjϼVAa(r̲FN؂HtT:| 4bsHXڱ~os1WURt)X O\cܕǜXrc+$/7z4ae\EX_؂嚾FA>J$&MK&h3[7h+&-PHG>;K} 1$ .B%Rcn؅9kY΢{,KR(p--ywYLW5o7(NSK+(ss6.XnN?~L涻l}^Ű/<'\/U=0fVF'rE>Kve%pb9%Dq>m`oLdSh^݈Ђ/fB*5q~t!Bp{E̓5eE ~8KhI5]fPWfލ%LmV1 m:Uf#/I \P5c\#/fF_!((aY/,M* gH,yOd P@7yVm&MδxKo-oOwFi)I O| "gȖ 6Xc,LKS'NZj6OR i5(m 63O+*jf1kVPt ? /LI-7 _f;rjShCTNM ]U=#YxߕS _lgx1'K/}Wl<#(t6q? kU PgFq)P;;dKTNrp!<J\K ԱgYZְxBGKuZHKxDK5 @x%EYa/#BxԲc :;?HiklQ=b܍{aa,fJ5")$dםz n"aP h-|y3\w)HqҒv6V&^I Y.yGx!W!@BwI#W)9srx ;'cT+{(pN wУ,,`X%\™@SD)1V>^ %1֭}ӯ><ΚRk:|=d?@dq$*@c3z۬L2f6 ;5Zj6WH%ܙ;,d&Pϫ/Z/ QސZe֍4Ϟ$e?8p1o\59FZ қ u(!:ЃvFB+U$ˁV@ 83 H5Z{ÀHa #A ry}9lHkFQDn35Uüh!hvL>"܁5VԞ` Y Ԏ^g087y#SQ!RV%V=]0|piJ“0'/(bOYyR*qt7p!LꦹYFc8zy`e?7F|ۿyڬ6JaPM7{{A 9F\ז0Fp_}m(e vYFK: #:I]݅$A*mï8'GAYk$M]XOj4,s@x%a4@s u@|TӵmJ/TmgڡMB!׬pGL;(m{oҭ; QYSW S/-13V2?PB1+tUEO 52oQ)TXOԓj2uo J/~6CI/ (֕p[uc ߻5㽕QX3ؿnx]@y+4Tcyic8_Gwfؑq'_Ή`p4Ovn+rˋjDvfq_&Asڔ;h/ Ngk]I@xz0De[_%X'+BH;yiM̕K*=/qZ޻Kd! j`ƍ}mi)6l KL٘s@~@?UY >~m`|3_* P aG-M "J j_ l6p1> k[.PCt`:L^5fKl 4*1lb=ygvLma={o 0bNkokidm2ݸeapIU٭&r?֜mVY h\&Ϲk_:050WIdE cv BJI|Fߋ#/@% ~!E6\L-=oZ~IE,Vɟ s/FMfhcDe|Tu;C9Nm?O0+t&XЭe+g%b^C-|ƸD_|L1Fʅ&nC~LUk?V+ U+TN))CLn0dEt%W&(d<)܁-jꪊ~^A3hݴ?v)fUҔ{:%'M+jSxUI  3t_uy&( 0.!+|XCt}bԷmWd3GpmJk ľBd'b0(YG Hud lr' I~ 9Gi͢Lus k+6Hw8sjg@qz,QiybMsVo] wt)޳?S9;FuF%,KR;!0"&ǥn(B3Vpkh6dsdX[FOi؝3p Iffr >Dn9F_zfum0qir0y#w|_OM5wϒJW7n&\?d,Rs:UuЂx 9N'JCO_2&/bѓ4[6tl^ z( Wj;`bH5C.7z)Q$;Q >" < /#p$~%~y7Җ;׼l~Pd@~VLe#@"] ؽ+Q8d]YtlEq? +ræFNo-s]GK U)^_X1;n jhf,PfMihŴJu85UOrj{_(jNGioVsf X#u$=ͦ#a,Q`A<'"8_5 K^?&v2,!׆kKnOn'qq,rƬ4u%OɜY&Zx4 k3j.CpG̩8jQ=Q)vZ敐scW϶?E *_g6 f ^K&mN,2?iF*~c^; `R4K }Ѹq#6dS7wTLU^GoN\]BӐ`x{Tbm e|!Z[НYn'V 3Uԍ&tozs>: LjL9ݒܲktZv#Z`ZlzLe7dכu` Jg&jA0UkД;D1xq-[AbAP1AF'2cNc ~Mݾ'J`s-'uhǸS9NO'Z#xWkM* &ӝ#ufiE[K `$5 ]Ig(A*V> {hULHiA?$rnH&`9!66w"7u 5fXZw;O` 8‘YЃQDs=n\ ($M#2RFȣ*ޠ/=/B"l/0ƗLE9mKB H:s,$ZSH:jڛw]Yt45bMrs?q`9+ngM_::( &Mtíֲlslx|B^ '\;sQ_*j2ׯ0 scq_ CC1;Ԁ6q1آ;*e[Z-U-e![7y$`ۏ|єz KnNodyt avگd'Pi Q[%Hi(ݍ `/Z{O)NQsZ5:_::CЭஏΪ8/`Ud $:=4/r8o\\=H-Tkn(g(*-<9Y0t'ƝW䀊UF2sv[FXp&@ Ҹu!^D&LN Dì/` .+*4˧?U pA5`CyJWΏG1E;G^aŵc|゙އ JI^*QKό'U*0ܿ#Z`M3-blO.?<3bEƺ0BH-wI/BeU/-߰8oI $5'?D쟛N#Ӱg+!iVQ[Dkz3o~FUjĘCzR '߇ y<]Z_G~. c#mLw*|H/e60UXmIƣ% fx%JpYlYM<ܾE|`VXbU~V2R[:pLb%9mzӱ\* W>n&_{-d3%#ZTXLc$aGX\u $D-t]Dڰo@WhtBKzi ${oL%oU_GyxO%\1>ɘtۨ.E zD@ /O瞏ͱQ_Dt,<|NE*?n^~b޶D X^93:xzj4t>m O;B*<~>gv~z,*u<&Y6c\Cxb㭣hYX@'#A~F5 yJȸx9DNJFs=(_j5]Rϖ{5K0Eh^q[U,T(u;C2GŒt#ovNzd!° Y>g4_w@%<hE*uhVp'F׭Fںi40GZ7 Yr@? ,SN4d2ޢ*p"ص嵫:G,tViW SST1FKۯhC"dy-Q_Zh7ܰ% 5Hf^ E =41{G]mv,BoZjs@z`_9ؼ<*/,vi5|Neּ_{%\s0wgYZ ::CCg% \Iptables_Semantics_ExamplesIptables_Semantics_Examples.SQRL_2015_nospoofdocument.tex7zXZִF! w &]A-MՋhvG"uIBm5ȘQX]̭]^+;XKj%xNS7wUDL̞jLlQwaث1u/TSQn'DE|N;S_wr;wdZL ӂNB_."5qSS( 6gsLIj|-aN^e wH-9[7R0ޏ4º^ F#E:ͧñ{6Jw0VΌEfdWz7`HaM 4 lGsⅳ_/!Q‹Գ^hRh?6n&6ó357 pBKqsbv~n{ɦҭHJ)EѰ%c(ܐaH}-hP`l4":!@2֣oE\ܶ,7K\/Z@=TkaԭaeIZ]kR8M$zgKA<$BarCn:֎Hy7efpzBrB?rDXqYڇc-bJW!(E_TVu 9F;ѧ!WMjS/Nص G¼|e%36E caid1_MJ@t&PdYTfڽ%i#LJWs*ڐtqWY&$/HkqV`ׂYEiiZ\Mz6626R1fln_&ZsվсWZS! łB>3X66~qdą%=̧}bX,9EMǀD;Hd PezKL W,F>H [kWNzUFERٓKcXnsz5$&ޘ=_+Wm;`4%Qq܎̭.^lפ-0-`:[k:aΏ\ )y(HLQq*HLk6]? ثDpnXT^;3 fܶ|%'Ftũ3t0TȔ:%bK(&>*;$闓 +P Q񺤦<`ҁ֨Ռ?_?@/mnTɔ:(C#*N!chSaqvA6#GJ{aeå,f(+i`_-^}O`{Q,\R-U/ܟ!'KT(@Btw[ulH¡W|Mz*q'}A0-|fCV@NS=䣮\tMcj>u加S`n꫒=YI|+i~M1p 6_=|m3\ V=J^ٷ-},8GDx:)()$7{3ۻ;'j($γh}²ubO<8D"a b *z Ok>R bgjãh>6?w7ѶR &jzo~?ԐxM96fֈ)ПQ9I@l+HP@ŏzLÖٖӗ[dIc׆\[6&6W"Wۀ{?e~B;|α~ՙr 6#9Le#F49p[e}H.F2l6v⸸rvNE=W5~ЇFj/4*h+uz3K v.IQrJm61"ڣQĨ>;AeF.` V}KBˆh֎[sZpK/%5MP < $XB [ RHM#XO^j aUVv]oM0FC <#N{֦W.{E&-blMdn/jc8LH ȭ \l?lcMʭtڣ񉖴۸ 5 ?EEDūV!-_=;$GɦrOc?Cb0,7?\]$Ű|2_ ~\B(qV[ b?n_;sm&z%Tϡӗ#GtPy}AO?[t]7c[#TK-Η bcU.xUVs!K-[ m'޴DW#wOxYpj_OĥT X** (mN,f~z&n `葎_P$ƆF*qY)>:s [?J{K%6]0& Jpپg+?OySVAL2=Z Z.-Y}in-E/z2WwoA"E 4FrYk L(^&n(1f<$o I=h?I%F Ԕd\V/cfO4 LGWVZ+U׽ biM@7P|&~pDi(C?_myx'{agyDKI< C)MT#9iv@fN5Fͅ!Bq6?1!hGEk[x #t䇥I%{sSs=*[3[xv\;Qnti7 nsn' ɴ FdX]a6n hz2:&mH@v)da ;RJ(*@~Ģe}U̝֝J ] g%rɘHJGU3l݀3t7kF M-`ZX]{iG}`o5']w(a#< w1~콭@o RƑN>ܯ_j.a8 Fs2gnZmu\?"Ssݚ=L'$BSeCE+gYZTCa% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Small_Examplesdocument.tex7zXZִF! ~09]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6P뫀OVQ$6XⰍ]a /`8dA\a:22Ca/贻l@f*ԤEj |2Vy)+PdE5!Hᷡ)Mb_zQ3~`AdF ^T=d?e(am'`_3 vlgã3z}a<^Hl )TPԢ gэm ]X\`ND{ ^)א,jhǝfVW" :4(;ޛ8ڍKKnf&O5D敡1YT8;n٠o >c7$NL,whI15L>lXmdq{ #GnSh~= V1&Wrf4UEJ'{טW*gQ .C$Xa@~դFz|OZaW:*L\aBKSSN^U.zm#gHҁ*U1֊ K .8zתd2?nkm롽Jz[Fn.22'ޗ C*sAs[b%qun?ފ9r,>Ec@b8:cbߢ\,@(ed0;91s|٩봾'ae;ȉT۠fy zTnF ]զ*"R$1fHg_`| UQ ʚ țPX_QK{o6Ӎқ.LOCr*&}!&pդcDj>/\hCQãVUڈ1zO2[׺E KŭY_ # %멍ayI)Tv8=e7%M6Xf)FH fTlI&c{8JVfU܆!CUxퟳ ˪ݑ*>ՀiA6j>*D kyIg&kٔ>x 1Oteg b9sZzmؑ} ga|a𒺰ī7է{/4\!@Ժ&z)K>-%'9OxpĴqs+ %ޢH˔t5P@aMUA{cMĎ?:.22*u>gYZ  :* Cu% Iptables_Semantics_ExamplesIptables_Semantics_Examples.SNS_IAS_Eduroam_Spoofingdocument.tex7zXZִF! L]A-MՋhvG"uIBm5ȖE)e~~M{{Z`)Rv#y2r wà?ܭ)Ntu/(K%GRœǹ9,u)ߺӁF֫)ft(d'MV~,Ҟ_iߜ sL<2i]"+5-b ~q8D+؝B'ifn&ػM}%ݥ5Pd-"K!>nBmgMQ]81[C"B7ȣ %9rLM|zi™nyߙCm9@ddRQtbo.#G $)՚a^k\>VځgU~[&/l6߸>ثykI2p5xo>h齹h ".KvH9l^qv0{:(6Fwiku%d wPPRMm!X#c@JؼU/C2rT} , 79;(1ҚT8U,󥽜{|{%Z} IGgjVsz>_*@/=:dYAsnʗnvaj<ۏ!\t81't.:[gW|H{)q"ś!v\O2{~oyu%:LԈJc? 1(pYem}F2vd/]B,DQ%F{kƔXcv NrY*ϫ~IP_=!d]`id Rf h!FI3L6pz.X܈nܜΛ{asbُ3t 4gqao7h|DLS.LY5z6R܄y/ɍDdig6Q hՏwKF6[>Iќ^ ܎xQ-.`'~JƎ%QdYaoÞ"x4;lc?Gib+BM'sFx"Žr댢 !>JʙQ*WLM*eo9f}&y("L490vی\ɬ>y: 顉ٵ3]@>lxåe!ÅJy'knA:m:"KH!$w::5dG(zۿ@ )QuK0`2͠P&KC*,7.6K>!; *JsVi!]^=%PNUGp;kMq[GM*kkbi`&kn}~>ṛ~ wWG{D'^(k8G2p9)BۻIx88zys$vN`?5 W<00*ˇ >U=(*y4jh gYZ  ! C]% |Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6_Testdocument.tex7zXZִF! >#]A-MՋhvG"uIBm5D#'s{`m*; ޛ#Zv{=d^5(հ-jGѬc`4v2&PB Uz1ً֝8й*o{sf kLK{?מ _^*W)+Lܘ MgܠB])$E{_Ե'Z =$&H1tYkru &^xgT}^|G2 ΂@hir|Q!KTpd{5fz]fb!,)ej^TTB QRڵ+fH4Fob~bۿжBv-_54-5y*YH4Id#L879G^aPF| ؎d 8/\$>I Qj G ozOL)Wב ;$nȐUŲ%Ҍ $l;/g)%`BWWϧΒҘx/Z4d*]&li})̛eKD+2__A˜fLI/,a 5sa'-bP:~xDiyنDHW2 ڞ1lbA5^!UC;&AZ֠`5'a_ [QXEgX?WnSўU5xr/ˋ?jy!I݁">ٱM$6i5ܩŀ댙 (HE`<{FlaqB7^69HH( ܺUJp߷vY&i(//_҂vQyvVw_D!f@f(dXۗvYR &L~ҹ(ܴi\xԤ(iOh4WR}B'-;6+ryW1ɦYn~FYpoWTp>C ;2Ҏ[mwsZ&EZtEA7hlm غ lE¨ӛc6*GIk.#o0'U6[AрilRq~d'_wmQ HPiT( ځ᪉6,ª) Jqqonk8f|<$q&Z ]8•1|&{Gv7jY4r|Y =n eI{bU6B5<Jc0֯PwSoV*;‘ni*HIXBS/(Oh^"oLx)ޱNxj[tFٸnhh[1I[-c fbeY!Ѡ3?ǭ5fo(PgqMZQ$ ,[Z%EjjRԑp4 zHl*"_hxZ5ab {mEc)q?e8t  ";0/dOMk -it 5[4DFń?;w15a`0`vRZETLd >VTh*@ wЌUc~uG-x&o oU@HzZ|!pegYZ\ Cq% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_SQRL_Shorewalldocument.tex7zXZִF! H9]A-MՋhvG"uIBm5*42i=?G 3Bkmc1v)睃hߩИ}6 kV坋(,u ޭ7n R&JL*Q夗lY$ :l^ ]bC0}Y{ W49X'3_ՠ:TU - Tfj@Sںp˞0[DX#vXRoM@9Å=Ji82k.YXƙ# Iۖl|j *KeiTP"&T5)eF0nWfsD4%H Y٩%0t ٸ_dٮC^&Ч|U(?0yZ'DsDwrZ"8%=LX|y[+}_aLne=$,g{}Yw`$Qdž 9Q?c"CүY,v)EEFHhm4Qq kYCٶixwȌE0Ol1!M,x n*+in[uO)r2P/FbepWڂld3C$'\~nf*  u׊<.eF3dH2ȴLK"ʔfd`Nh5ER*v rEJc[wrD)[AwT^&G!G4XܠdOjkS~/_Ha!0yd'UKP; MIY U)>b21 c}<'^jL 0q;Gve!dir3稥I93I.P~*j= ƒ~T\ExC&A9tY0ZŇue9~C疌1?Adq@%5RΡHS~ao[=nkq?XOT ioGVТ >6:{%7c"L̀<w~yV EoM>B^D0b* -v4]i<[4OCXmM#.sGU~a{v{:| ,_% Ba *6BKw j.Y7} Wȝ nۥ,"e.DC>=/f]:Ql;q.b9 n5J|7gqDcO7؏ۏYL s,.Q0LW0-oKeFX4ɪv4pngGsHp?TgkT0]  3gYZ < CY% \Iptables_Semantics_ExamplesIptables_Semantics_Examples.Ports_Faildocument.tex7zXZִF! S ]A-MՋhvG"uIBm5KmWV 3ɹ F?Z)δTh[/T4uzcW_ %3h)':#PD]e?%6)V䱲;]9aR+Qyq%+.,JsXc p(V:{|ї|'Qz^1oE=h`l@LWqvN5$ӕ3E`&5Q@@zԞ 6ZfTv2y ۶u ze,W9&T~5U\ƫ=B,UՍ0TJZЍ糚 16Ȍ6 ctw<0o /LG۶ l׮k nEXeVkFզNp<_1B(rTuczͅjP<K 3nz?/HfZ boO7)hT[0A)᪛*,3R}ؑuԘO:=]_t}R >4,;lZ!9ѽhkkCOڥ~R]~xprB`5Xu.)xuO^igU rQ'ycs*^sL1t쫎e&dyD<;dnkv?2+/O6KK;#Kパel?-Z~BMaJk|uPs;( ^*U.:-JÌ.[.ӝ6lY "ȹ=Ϩv90%À9.q% |TAb T!-s#Z93dY@EF#r:>4f"q7t]tfGI`:b!&HSm\9 շ)?(!%[- Sy,8. E_qId dwf y~#y 0:vC^S/w=A4ŘwD'492B1iCPq1ctuᐭ"jLH Ưo=vpպi|1^9 GOL<% 9~fޱc6b5 YMt;`zaiLe@bqo+t䙛&.ÖxQyUNrs_+$kQ{"H@Lknb_ ?ow9'l՝)͵JA<0[G,8zx@mg2*^_{&=̱ br{#ne ,@E}'cEEv&ZŮr% L~I4GOMZ0VwL\N:%:#,`+ŽZښ@rwCjU\TPa:̨ؗNV|v*[.h,L!8ӂA؍lݛr $~ǕĪ},6=Nf|~rdCts@W { % ,./6'@+w4kX4>LJǯϕJhl39|ek絃5)/K] LN"a+jp0 SE}[?LJ/f@5+ " } Q)-ymVqdy{[RRxtx 9| 8җJW eT&5KPlZMJ-y0W='u^@AorE@:DNo__!H'8V'领rs̭JVt'k "7Ǝ&-_=tQc7 M,E̽\(DZJ|_a 4 q*"5ysf&RI8Z2tuLڄ[+cBg~ݞrc]P.ɘm.d68)$a#/]⌣UDBB<{ɹmM6791^>>p3Vg"xDƃ &ʼn^_v lͽ;}WC+yE2Xe~+}=1tW³Aɕ/̢ OCX1Q2yMv`/Y`VZ-?5y *sߍ0{.yFv?:DF+}.0 uNaw~È+mHbDCE" n9*5-j_T"Q̲=YΘ`0 ^HtI "#~V`=*gnE7G3cTH1lmW|Kq#\N§ğgYZs_B[.hÒb ܤnCn`S 0#s!%+Mh;oDP}4[USY%P/\ٶZ8d?%gXJ9$j??lVNnz{Tqxݤ|k03w6 2dPAEt'J⿳yʷcH +`gy-\(o qe){-J-%xsޅ 1Y,q)=9Ę;9M5ɢ2g{;42eWKa)e2%+W8ƖWDT䰓M2T,H.M^>AR5-zf֓ec2yV|^ 3.#ʷcö%H)JWn ͂m`qήiƒԌ74]#(mhD Z} l םd}@PpQ!4λCh"WEyt]'Qq=K`nA'8p>*Trؤ+v\|!V}K71GԥL MgׂF%z-]֮ Ϩ,q-\[p-+#LViWɜ*DD#/^l+g3%1wzo;: t4L&#iqfoɸNrܶ3Hj}k@BgJ#ˊ(mMUM:H\2-H흦3[L-d)*1uN"/DA}>cCߘX)zOd5 Ԏ7؈]4\[i=\fP2ry3E^=-eaQTĆ ʒX "i=h#i$ >.OtSF6tC!߱:{$jgG2۹%P?d.sx:i Gm h,lg$οV%3!e9Ƹ6^vHMvx[o\5&7a=NE'ʺYÎ16EqX{#gvNuctw14EҌuo]PM^]Ib*"4T:[ fƶģq6[ n@\aƘM_)|-_y%q[d7_茼#E^OB2m731}8FI|-/{qbd_CC-H,\ 7٭24j5 h${sХޫUz&L#lsY>8Dxq W @ yܰ=Z@oqx|;Y&y)kVHKWuJv@OfBK*VwCoȮcHk/Fh捻}*P#ce]EM,+6]z>aTrU,߄jF}X\P 7ND ~%^I̦2Nx 8@JKmH78mot-i|WH3qKI7Hc^` ɪqkuʺNxlBlJv*i-Ɲ9#ĦL}nuXſJM?EjuEMs?ӹ ΐFOϕGyޔGBaUkfr5"I= a3ҜL!R,j TM;uf1ªwT3%E}%*H<{6aE}?)/ҝ/2,/gp{(." Tw/7@ZǍޖ xbdW u:"{`&5ǘ6 {Ga1qSSכ%G^/`ԌٷCG EG."ѲL;ndJvI#;(dS߹6w!s=dLa(3q1{Թ+_*%g 5Z koa,Lv嫣) 0V[n0;>du56^.jm8 Ff77;`J%r?}5/ "Hzwbsun(MJg*ޛ-v7YxP<)n}'w-SG0vaZ(ht8> @^k⅑ᬟyzwW7 %.|-aDibT7}7Uyx& R,WX\]n'W" BKUhw451fyjHfuS-s vi:!V.fQAx]?jУEV]QT.ZֱױpU#X%g~!+zB@nWͫ/{V2@JBː R!tCZ/}~4@~v!#w-g3ܔѪ۬-5Ѫ^usJݸwee%~oB$6‡GK} d*Mx&g4];'OzZA䢼aX-;VAF2)}/睚lO>q=Kk۹p*Qa8.W)<k?F%lF_??|P(sNt>1tw~1K:.pYF[ZVG &/waB،VE]5O}s-8q5(&/&bQ? aZå{6TA?$p o*<1Hn=C J t,ڨo*X) JPQ[sn\U|60 jrj֝,@ }D[,MSׂ3d+G: f==l/BDv +Ta[ ?\a}73!,+:ip<^bpĉ%"g:UkTĤ!b+EؤzLpNK_n,^L 2:]W* YrB'r_@Ű)ӭ+hgMvpꬴS zfҔY@^ۂqæG]c =tJYc)yuhR7Qqjg&6ycnTau?MZ܉ʷ=F)$r[&b[wcqB(M\.#3K)wiԷa'Ƣ]3*U"{Ffę];v)&[껜иDAaOUj P)Nl4>qeR0a ~ZGjʫ%N)%4%O!zÆbIVR kY2чoU>w۪%TO>Ӊ"FU`9[٣ 5ch0/݋i+Eav?y=ۚX,>cWj/XFRT0;#r7CXXj&Uuȿ,r-gO530^0 i,iEԊOq4el="*bIdjM<?cs\Q:D, &=nrzW?^'#wPWZWx&XQm 1V Ezm)U _|L@8$zVNtK=].Ď)6̮绁 ./dBB 1C49,Z}LQ8y9[_мPNjX l"rlԮJFҵG絚U5YFvw&]p?0K7FUsxwS4jz* ~@l6{UD__R)Z>3o;c媹v/}m הtPT"\WDr żĩV:(Og\e,#LN0-fw+p^ZmyvA([͸  nEı¤-]5GW3U!ZqTeI3Icz/~:Sy*XFYAvZEW/rLxD qn KȧnV42]уWYJe iGв2nu\ 9/m՛j**Q֖<;8cXP # I ٺH;.ţ.Ϧ+6;C.j+&L`uvYA|Tg,vVgD)5:2͖h0v7 ~S= tNuPi9Ǔ0aI>?osۘ`=IVCh)Qo{VUƔPq|TS`0`rO["z Sd =rj?eG7C`>SeFSWOH!XP}SeR] K+"W w?U "ΠBw[|;_73_sGZzhLBcqp|lIϒ!Š*-JT-w|ƓJt)2ь2? 2 6\cXI;ۈ.u_۸"7/U4 1bcdݦ {//[g&ay ڪ%FJfXϛEOi{:'YuJQ'MR!]@ nU_vv|?)nA"O|G;kquIXщrIpٿÝFr>sQSЊjsRy=ͧ$RV\U)?^9Ɯ\' Bq2&hS$"z %#.O~1\T(aC٠P]PE4I:Ħ u1wst@v$_j%wǸ`8k!{ub*$lzAGkSs&"~W#ckeh4Q"+W,![GOO${ZZ HX¾kg!vDY/GzXF( h޻K+3Oُ\7aHd !daRd+%ڡtN 9sD'MXMA“a9%+2yZyc,qlU/%sY⡌85 @bAOt5Zt>cEP-0Whkyv%]"m/E㵠ыI+[ރG+qXj+"[ 14$[6(| s~6`9KP)^m Vߪn7]5W^i~R~'U _v,32rUn' dEP& {CK i:b&9٥,lPM@4NF1zY1O^(;%><FvؽrB68`w,D_ SwۄUqD}`V}iX72PPɡdWb?[_y U4R8Lq̙цH{Ck@C(  J`A E;#k9x͔V.Lj3{gp*kQB| {"]RHj;6nna.Bߊ("LplzꇦI~VUK@gZT3+ 6%B_6O aY_hF. #nYQI=GNa:G wpgHuڨ.u@$ %p!Xdp@,}tA@$ W(c3"C_M8ِ*9![^S/ZMw6C)弬(#(,ّd 4.v@;v쥙jppAMSy0mubìÿ@jfЃB`KDG ˔/4˹_=#?Ea!1gTd]xSQ@Lӏ"["&:m8Gg&?ͭ b5XJHyd pHt6XS>E#pU=8  giIb R'Dj񣘢y[j*by٥DûC$txZQЇ7 m ٢1gT&X6rtz[-_sܣ*W~%詭M:I4RE%;Y,SM+$*Hҧ†f R_|MQE52Ie>OI{Qz/Aq gU ij4\"'btV~ZXy:!1nzq9^B/,!"PqMĎ4fu\']6koL c?H>ef&+bC55rRA悳G@cno4zo#* +ѕ1J(wp 'Z@L|N=X c $CYJW 7`߬:)$:8AQYCg)Kѡ|KǽT< #NcYg{*ԐƇ3³Dd l.³?C4 p?˱f5Y|ȸtуB7mV6F)z"c x_F<Wn!_ȎM8!ㄒ9leYx;zHEl%i'*W<p,g$*>[@]`riŝSO0Z ¡'+8D81t=G\̏er6:9)]~%ZPXŶ8b' u=*<>E;3.sY6zZ#fLݔ%rf{̘01B\a{*jF sq&ؙ6 hMR?!;@] KpT| 0p+YniH 1"LNG#aV QuV-}È'Gqږoa|W[m=67}n4,FQЦ8:-.C@pܮCC:챮tI|njK~[Cm[b%SB%㳶NZK, 4|m_Z(CP{_<d|E3jJ@0_`w_J~תx|蹿3\TΈf);¾3UhaigRWHfP!}'02.y%gTl4w׳;P썫 `ST-V?dK.VW)$V%Y(Y9E TKdHDIUN?/Lߊ4^Mr.vs'Q0OSX630qFhD~s$H V"q!r?D>*cjAW =|$߂cJW%ֻl! f(xHmڕ dp 7"Sh:@(ıuzJ Vq"\ʦ޲Na-Z9O4B^?dp7 9L.^\|B.1=P+'F$R7E1Ҹ{.8N!J2%VӚ>˝s!]Z|ӓA!A86BtS.c[|&[' 88U8L{EGF=,GKp疩,` W"J1СGqŽu^ZFA:Mi::_AtR J2)mb Rmf2ŽGW1E g${5\* ¸6hjE0>Z0: @;BÎzsE"{n,EyX9.;\8kz7L{{ #0A9Ͼs[nCMe#A!GƠ K~=.*{3TB)jHuZT&e[?n/u ~ a]wjm4,S)`3jNb5)UD*,b-y!oxib[n3ਜ਼MK+EͩNG^sM쌁ZfuJ^ 2E%e>!Ni?UAl[IkDvw eDH+#EO]+x4ҭ:'XFdQx[k"q5ɳZ=}߽B :OIS4m}/wAAg'r<\Gbц}MS|P?aVI4ΑǕ\Hns1\Myd8x+|:7{#v=bٸ#r{%EȣZpQ{FQB);L56 jT˽$Zʭz-)yuVT47 GiTKgXS8"%N]d{+9J@8p!Q2*P ču1B񪠞vlfj3\JXyeSIK sp9s٭jxSr>ʈE]4ѷɨ d5"BE'#,뺖]"J|~L3N}j|Q A';gؚO~I1X*rQX/zoG 5f¿LWO≌repyJB5N{S2vhg02,aA^n-(z ?٪LV7ܦ_}0!^|!C0/I%*cmjlt?zfq_E6G_-X+BycݎԖr;nK539H S>g t؞X oEo1k̡w2WV*LȅM?-!j/]P(ZR\ `!P̏@ymRm/xd_^8np\-+_JR<4)g%?SO^)G3y4!#G&Eb;@|uHoDZ_y"*“,'VTKBshq?O>;:.LppL+zxz ̀| ZI\>A+H:+Cd蚶j(B]Rˉ aK5w/-;+&[*hx5ZP$Jك9<=Y$EK?3l<+0E6BGAF#*^z֍|h.?FV~=t .1b%B? #`hi1MMYcf+ YxcMXϕon-o[14nݱK Pى]]ڠ.*xh)ga.\b3?L>b r)`",'!'.y,UUUe$;NN'beZ* U.8]ĪE3?V%{(c5Ikw&"OpF@ j{FIym'er,m%[٤ Fm0 So|T k cyF4͵jဋ:3<'@|Wپ-`^KezZگP߆6s6VF0@MA3W?yK l$|^oيmbyӲg"X{Hf!|> D[)W/{!oK1u rEߏyMU]mĤlZÇ1uI}\P>ӕP{<&Rq%k v28 f 7YUn%Pve,G󛚂弲>$u;9Cy:LY ݠtzo*! 4:nb|tڳ*ӂ-ehg<Ҁƙm_:> { Id~P+)Fe z7-x5wvucuzF,8 q׬T&I :>״,HN(hp#uQ ތ#$,ꆃ~R 3򷆊m|Eg=~_d\i98s* dKy} qH1t>JaHTB,`ҙ}Jm Es֣,fF٥1즇 &@/=R:#ʺ͢e990rϪDTw?B{+ٜRMM?f"TsqASR` "`@ 0*TSV1VlGofh;&L4„ʗA"jfeI#QTuQci'U(-9 -s@Rzg$T1TcpْǡjEÏ{l0#H X#V0PkM+Kw+<(5u4@)O.vTQNHtⵋaluw|^Ў$!X6): ^`6 GN{;YpPwcynhr\%ƕ'kq|Ss,٥c "e.^qB؁kEų6ømy}goeuFREJH93ט1>a NE$f7ip|R>!1 ߙ8O1`z=VСwn6WFB!(3 357tW c{^ Z${E3ɸSvQw'X*=~)mC4Gi?Huta'0VG_bï&A ^s$9*;qE|勪ɬh7iL*gAs=@c+к O)2oR Q](րkĒ2qS)oEXN92#X+ha_@W*Nٵj`pٓߎ!*n;ǂ GOwCTXQy |#%]R)dLf'{3b1lRិ:]<^P(C)1Icy.񵇆-]"#fxc*y]y)Lrvʜ!=u9MjՐ9甘D6#\wȲ\Kͤtr@y^+P WPlOHõu^2x˪f(eJ;2"q@a /}? 3yc9K}L_l1`1 AQc$c_7yB,*{B5-ր /WTtk$DӛF-jp_A&|X4:<I}`O}h6_RORpex0@C@,=dk"-].j 彂0罎3N.Kje%sխE\UI*ȚcNFtJkn칤w.N( SH^G*>Th^x=TP# Fsa/fB|HHV-$9>B(TƢE:Qah/y_ӑm1c0n6p^MG}˰`?=Q>L&Wi_jrks4Z271`Hp7R4*l/2tۃe)CaDa=o ʠ'*{Y! ;׋e>_O{! IXP3#b8X<3Սem\Bi(ldЃs.m ΝYjTҐ^jDL[ ԉF2)GȎl޽_0Kg"$E7BrʾlN/$=hq-SWxf._BQ&_F䏗3“::{)['=,g#^b>P;~&^[yj 8(~IuCU&zcMaSc+ 8сֽK<^dPhQɍJbwX,ٶ NI2pױ| ]NWRKr< ϧ>Y/P1 D#u/cX#47 JR܏E/v>8S1lJ]nPA,sKWL8a.DB< s[ mk48-X |j`("''Gŕ\'2Xnc $ڎUP oЍQW62wr@(xPV說D}XoJ<aP( {=#?KELk+x.Ԅ5;r3B XaXM)r~e;qc)k`~+'2?{1Dlc_%_ 횔GA:qs%|8 BղDHE`XCy޽NInΦy㟠7Aj#2# VDF_rM02hU;nx`1xȀ|5bJt$<3Xc fUMy&ސ`oo5egxMnvt.uT& G94N^t €mN]lΨtSOs7/)@ X$-ίHZOE~Ԃ[rLj+c@B\ҬV'y‘֙YT"3,g5⓫n+ 40i`?^鴘zA4w2SXktFj28 JEck(ӳ K8WDu8g@- R%|VRE W.iQ)TC2pWẔ]j "r5r^#zi4NLluSUǿ> B(j(9w1cpCRCv𭽌꟮k13ArqBz;3⢴h/Г8Jy嘾:yOQۋNC9Ui:mbj]a.mNdp !u;rȸޥ/Ra{t@-f4$g[@-?$w7 AՕ\߈)Z.@.uNIqe+(V'f[?:J NDjp# k5?}fIK剼e W^NdVCH6g Rtc0ĺۣvwB|Q#a y,~ߌd٦RwjU6=0PER"LڷzqHcWb 16z^:gE?gMU3樉`EmI38{T *$c`U8 5Xd?%@(Ф.ZR;{VG8&UUU7?03 7KtJӈXwӎ/N^n>)u/1;JD~CwQ}1Ci gGS(" >Mi_]Zm X׏(>eN]xh_B~A&v> 5μԹ%NH:}DLދK@b9?d uwqA@6BwOluՈO=Д*@ ;muZ5 Iҟ\ϸ xZ fv[Ze%/=&A!܄Bw}v;mk)mQꇔIj:q_ ,4ӱ*9p9SOSN g/4ەjܴ:YH@KS9izp-l3Nc%ZBc:hčG㺹Ky#ts΁t9hLOv/O?@^e򬮳 &D؏DU>,X4l;ˆg#'~ӾJSit@s)z)-#M !EMVlHSFΚK |\(x>>07~@}+mLwyDNJC{c=F{a:]`BFivAW,>f~V7)O5Z2^oưƫW;,x."ξviґA|p-pzI\Fй012r`b؜ fb›Dd!-(Ay{6KZp+zxv|eh,Hr! ]`!mٶyGR9TJo}0\?!eb <.L `u'AiD=R( 6նhvShRG@/-`˸i5; Q3Mi]5}v$L#v&W (hڦZ3g3`7q;[uKV*&3TCT;];1pjmtM)Er]Vu̥IIr1P I^hIFLb<&|y:7?pd+FX!Qcd88<8%ةYZDeDnh !e@7azC^I ;@s&rLA .ṲT$>XˌC>0d`n3u%$/P]y9&Aʵ%/SNC콝"] T#m nŕ?;>xnͼM4Ү2=܉H _: GhC%bg}< n"q]hR|-58zZ>P]d.74b\;Q,7U77GlТJ6l2!ۓY9ar>A8ā Ej9{X_(`RX(9?8fVly^zʵC[xFnņb\TUǜxc|Q Wx<+PdH)%wjn?ᬠ(cfs7Q]q M %aH`9j.qadΥ;Vڈ~a7Z_{"09(x I sۂyY1gV7>[^M⎍[} !Ol{Q|YSH5R4Z1v۴TT|APG7OV'cl&M)"AG$NF&e&}*Cu@YjB4bQW%sfO!Ȃ KeTYH-U&&qY(]Vة7Oi_Iyڌ"'Rߨ{ztUV I-[:0f<Y~Ҭݧ+KN(6z-l[4 mţ;ʄ h>g1 vf t8U]`;@ŕl[T4 pKp41 >AV2ΡG5nIl`yC~1 XbprpT{mŇJX4gĨ5=7dCJ I#I3KQzt>1x%i~dWzܢ.Vunht8S Kކs=5=`2I7 ;X̷-!ri &.jYz 毶({< A+E': Zp1#IE0H7QvMr8'| Ֆwz#Lv@+qW auF,t4A[C KzWʹˈ!B;[`j(6@8<ZDEQqL) w/MsO{V5[ ?Ag(2igtWB5<8a#=egl|]ΤSd5}7ܽQzp8M]Rʛq]4C7=ϒ{\Ϊ*J{ĎOˣ")/ݣk%>u_Cq+ f&vԌlvk'@@cPtg@d v#7$%SziZdq^U`.y mA!ƧGChņɧ##;}S&L8=Gt5 zX_I0eyTUxEc!Md%'=H/8)*,1RPl<{3r ,]&aP,dܑ.]zҋg]JTa6FjP^՞_N>0A}+H-|tPnLE0TUIkh2hSfTUČJrt,`}(ug)pT}n3e+i.X5L S{:"5{$R/yqꑺuyLނҴ{Uj(ɧp[g`Ł XcgKq:3ZG_j%*u.K0'k%EO|!_d~MOR4u/K'SsE9`9@]wxG~ֆT ƴU__R@vzc(T Q+e{&0v2(GzA>ꑌKr2OZ\#6B FYmyɵ!_f%B)k(a1N~p8q 6L.ĕQ:JEjJm[0C.C$^Kx V:I ^@dFˎYPbc./ {S-zKB{ iKAW j@-iqC1g9/et'SN}>QplJ_up} @[m#KN_,ϊAOGvԗd asgՎil)Aѫ/&Oek"d&$O) ޟ)f*X 9ZSڱR1##={H؏1n~$"=Nąjr x?ZZTs@=8UA=[VfE-~7ٸN3/*+suHB ^Qd& D'NHdvN VxfIݧhR#e14v#ex];Sz ,(.Ո//N0ej27:rɋa62;ޅ̄'_s_ sWNL3F}  RP=;),`̩}?!ykuL9m !=?NQ g&ˬhRatkш;˙V<ɓ6گg&ΖCYzړ_$뛱B=DxRVzt%=26[D:lBeZBJbK9>7#N^VRUݗSQE:&UG(TM\O!5QWyh+t"Eh5Q&h`=P2L*x'G鶭 d%)9pcЧS0#BAsk/kuūAAG?G LnhȘRBN 0o %Xu}MI ~#Io#򱵖$ |way =9iG!O#@9]gA_EuF8ma1b|RX ?_9WnW˞kk1%-Rp5%u0v]G^1yd3f_p] dOG:e pb#p|k \F:6gl~ʆm5:+v2F8 jB^@ڪEe=~O`[W6S%2Hžq%hȰ0{mGCědϊ;;!xDu768$͙e+Y&mIa1G#@_f~ڠFsxI#^h(Yˣ _%NiVP{k]C~5t-k$rݭn+KyԆ1UF)[e{YI~;_29X߭#S˺H KlSm9)@o3:}|;>  y6ה"]37;$) xa@hoίiԏ%QېC≗vde bgdfT'f}j~<aic@=װ`i ĺBV_(Y+d P8 |f5;ѐJs䈐$%we?ʪqL@70 \?y&qծ+EJٚE| Z#kii-'}]"cZc3^Ge% tgN}=R/ٍ{% j~ʊNm${kUK9$. Ҏ 6VSiIO2!\ }a1 ]Y$ӵI%t^NhW(ʬdJNHimj@g*#/aN;lշ)hɄISK+|$}4wa-u><:1H02 JC莴`7bms6bSA/S=$"1OM0qR@։.$%Ei`:1% :H˓3o s}WX;cKP:Yqm&a:f)[wyVpK>oW >dRdm 92?t@?.]x9:Mx !k̍"$ (P"AgkO4G繕v^7K}U6YpP( \]߉jǼk1tipݠ2/PqgYZ66200295f138b2ac32b5e225836ec804972667f06b223331e017a1273774b77ffd0c2fd583138aba 59a3a880bb4874f61b767c399786d7d8a5dca439 031c9ca9e9c552c0be10b4fae4a475595340c4d7 df8f5f2c6c8a5f5022685732f5412d77eac1ab53 66eef6cd0ea9562772c39ba7b37796bc14f27876 e1d5c7d2fad6eb959d5e056bf940435022907ad2 235975d4d1f8d805d5f821fefd41f1099c1354ec 0a2f920b0ecd2879c2d05fa5c7df108637b2066c