SQLite format 3@ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 mr1c^0=,Q=w#8B¾d`2M0;ƂE2P8ҴR.$%<#xkҮ_K;_95Aw}:^(FRO &#pe֡8G{A= A>)IdHV78/[a4=#CK-j3/͍C6( Ill$t\1{USwhZP5{3uwCc&|YB3N gYZ7zXZִF! ]ŗXiɟdN@mP$p<ڼ;"$悪Y[it6v^Ou4@˽5R4Q\*Z IqC#H0Qi1($B{u H~n'puMvɇ<7V/dErGӧi).Vo)q[|ʀ̓Ӟ.=&:-;,`Zbw"h@LgYZ7zXZִF! &T]ŗXi%T[D*+_\3WYy~WK<";A .pb8{bVDdMKzAܖ7Pr j^@8|޻ esJ-yЇrԐxlҲa{vMv  gDئ[ N8'AoloɰE #v[ q;l1n@as\ҨeQ^{ OU,6ۛOu y-a/FJttùxmɤuMKPz FY74nŋikH3JpqDSd1"ȢdXTl2NJiv|Cҏ [RcvupIR|"fh+wϳsG/, xjǜєݵ^ePL# ϶ϦqpER0pF(7#mYLw7װ9-i8/N]B]7-s@~5?XeH \ŭ'+P Cn# a{XmC'%%я>ks_[35pK-:9~㈾ʚP=2Iҭz3|@[LmZ4ЛNA紎ʞ_EZv;x[~FVSphcP{+zLeCC 6OK-yιDk,Q=*LFt /фcX֘[$_(.+xs}kL Ee t[UbfFzTUN " QoʡaoU2'֡eX PΔũ27C`b `+I։\TAK7ԒٵXw6_'эqT7ZߘڃgZ)cAMőgYZd921aeae615c7fcdff7961cabc77e2bb8c8ff631f4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 d152dd974351ce1d462b303c4bf5d823884874a2 fe87359589708aa7f0c8f49df3606b82b43dc10a   IOA-NTP h-7 tIOA-NTPIOA-NTP.Receiverdocument/Receiver.tex7zXZִF! Z{]A-MՋhvG"uIBm5 u,k"Jwehv|?4 < @v̷5K֢vmS7ד׎>ͤCn?%6bcucd&|y t3]Bş?fA$.B@Aʲcg',qkD}n߬MNm^nK:F.2qbL(6fZd}v&t-{{N;J|IXwjȂ"55i>LoTu>fHxFZZz߿IswnCR+w7XBl:*8z, xd' e |FA1f9W=j7T9 U\f'(üV)&V^i/Zf2l q71WMʔWٶjDW HeֱdR:Mp^*cy"A/X7Tis,&CުD}OZ`jWFfuT‚` )hF _BPXkjv QAZ5?wkJ2ו#o qk\:Q ]yZ+dc2Q2~`^뙀d^_JŔ8"Rw\6U ӹ{dzYUuג |QB(ϛRD!жs}0]> @OR)o<l< Z0 ]`W.&yOa@wHmV6nҌ J;kAoHjʗXͤsKD1䊰){ 3lAlci+׹_WL@@k6P· o(Nf#-Ƕ>>oBg(+6J_ N)=]ruJ cԆU#/A伆Z_ԓP_d*b=MK"K`S( RI1Vٵ*A]xM#J%EiRcm'$&ɰa-@8lj;3׽D'_dTv&t2bW+nWnz4K3>z=?c}oWxy4XXŕ5o^tSRTAɷX8bZiȔIꆢrGVmK84ʹkJ(uQl'ՐB6$7^)K Pq|,oڲP" ʙGbX1D>6|X\Rj (QvFA3PRa7^j &F)xW?'_{|WmǝBEbZcZ&V=8U/Eҡda8'lդw.o +ZAehVUHRYG'(;\(J{~([%eշjPx1$#[˱>DAgUO~ƍʧ4MWR>8o *~OAZ8 6G[7g0Mf=R^*LhQRsTK1b _BYvЪv)!@jtr(M&  ۚ.)#    .@ 6 5 ' J fg@   :   ?   my | S hl p K&%'IOA-NTPIOA-NTP.ImplPIDE/messages.$%#IOA-NTPIOA-NTP.ImplPIDE/markup-#%!IOA-NTPIOA-NTP.ImplPIDE/files,)%-IOA-NTPIOA-NTP.ImplPIDE/document_id+&)#IOA-NTPIOA-NTP.ActionPIDE/markup*%)!IOA-NTPIOA-NTP.ActionPIDE/files)+)-IOA-NTPIOA-NTP.ActionPIDE/document_id((-#IOA-NTPIOA-NTP.ReceiverPIDE/markup''-!IOA-NTPIOA-NTP.ReceiverPIDE/files&---IOA-NTPIOA-NTP.ReceiverPIDE/document_id%&)#IOA-NTPIOA-NTP.LemmasPIDE/markup$%)!IOA-NTPIOA-NTP.LemmasPIDE/files#+)-IOA-NTPIOA-NTP.LemmasPIDE/document_id"$%#IOA-NTPIOA-NTP.SpecPIDE/markup!#%!IOA-NTPIOA-NTP.SpecPIDE/files )%-IOA-NTPIOA-NTP.SpecPIDE/document_id*-'IOA-NTPIOA-NTP.MultisetPIDE/messages(-#IOA-NTPIOA-NTP.MultisetPIDE/markup'-!IOA-NTPIOA-NTP.MultisetPIDE/files---IOA-NTPIOA-NTP.MultisetPIDE/document_id&)#IOA-NTPIOA-NTP.SenderPIDE/markup%)!IOA-NTPIOA-NTP.SenderPIDE/files+)-IOA-NTPIOA-NTP.SenderPIDE/document_id*1#IOA-NTPIOA-NTP.AbschannelPIDE/markup)1!IOA-NTPIOA-NTP.AbschannelPIDE/files/1-IOA-NTPIOA-NTP.AbschannelPIDE/document_id+3#IOA-NTPIOA-NTP.CorrectnessPIDE/markup*3!IOA-NTPIOA-NTP.CorrectnessPIDE/files03-IOA-NTPIOA-NTP.CorrectnessPIDE/document_id(-#IOA-NTPIOA-NTP.OverviewPIDE/markup'-!IOA-NTPIOA-NTP.OverviewPIDE/files---IOA-NTPIOA-NTP.OverviewPIDE/document_id&)#IOA-NTPIOA-NTP.PacketPIDE/markup%)!IOA-NTPIOA-NTP.PacketPIDE/files +)-IOA-NTPIOA-NTP.PacketPIDE/document_id *%/IOA-NTPIOA-NTP.Impldocument/Impl.tex 83=IOA-NTPIOA-NTP.Correctnessdocument/Correctness.tex .)3IOA-NTPIOA-NTP.Actiondocument/Action.tex .)3IOA-NTPIOA-NTP.Packetdocument/Packet.tex.)3IOA-NTPIOA-NTP.Lemmasdocument/Lemmas.tex*%/IOA-NTPIOA-NTP.Specdocument/Spec.tex2-7IOA-NTPIOA-NTP.Multisetdocument/Multiset.tex61;IOA-NTPIOA-NTP.Abschanneldocument/Abschannel.tex.)3IOA-NTPIOA-NTP.Senderdocument/Sender.tex2-7IOA-NTPIOA-NTP.Overviewdocument/Overview.tex1-7 IOA-NTPIOA-NTP.Receiverdocument/Receiver.tex   h-7 tIOA-NTPIOA-NTP.Receiverdocument/Receiver.tex7zXZִF! Z{]A-MՋhvG"uIBm5 u,k"Jwehv|?4 < @v̷5K֢vmS7ד׎>ͤCn?%6bcucd&|y t3]Bş?fA$.B@Aʲcg',qkD}n߬MNm^nK:F.2qbL(6fZd}v&t-{{N;J|IXwjȂ"55i>LoTu>fHxFZZz߿IswnCR+w7XBl:*8z, xd' e |FA1f9W=j7T9 U\f'(üV)&V^i/Zf2l q71WMʔWٶjDW HeֱdR:Mp^*cy"A/X7Tis,&CުD}OZ`jWFfuT‚` )hF _BPXkjv QAZ5?wkJ2ו#o qk\:Q ]yZ+dc2Q2~`^뙀d^_JŔ8"Rw\6U ӹ{dzYUuג |QB(ϛRD!жs}0]> @OR)o<l< Z0 ]`W.&yOa@wHmV6nҌ J;kAoHjʗXͤsKD1䊰){ 3lAlci+׹_WL@@k6P· o(Nf#-Ƕ>>oBg(+6J_ N)=]ruJ cԆU#/A伆Z_ԓP_d*b=MK"K`S( RI1Vٵ*A]xM#J%EiRcm'$&ɰa-@8lj;3׽D'_dTv&t2bW+nWnz4K3>z=?c}oWxy4XXŕ5o^tSRTAɷX8bZiȔIꆢrGVmK84ʹkJ(uQl'ՐB6$7^)K Pq|,oڲP" ʙGbX1D>6|X\Rj (QvFA3PRa7^j &F)xW?'_{|WmǝBEbZcZ&V=8U/Eҡda8'lդw.o +ZAehVUHRYG'(;\(J{~([%eշjPx1$#[˱>DAgUO~ƍʧ4MWR>8o *~OAZ8 6G[7g0Mf=R^*LhQRsTK1b _BYvЪv)!@jtr(M&  ۚ.M6*jo"|dN3n ~S0#OgYZ T-7 LIOA-NTPIOA-NTP.Overviewdocument/Overview.tex7zXZִF! )- ]A-MՋhvG"uIBm5ŅM 4֨$oXym8ƔZNY5r Ӣ/FsmH$[Inש9F4RMʭ; sv}cvP#(Fj%V},)Fb_9d"Sݰ05nnReEw [jz9U[>M!=`#+(dO^CZ|V#nҸ߭F2 /pnֹ-ms&P(ѡ[dfGVoH0D\m\|dGM?weFXPY\X|c!LuaUn&h{ք{۩'"c*J>=A\kU Hy &\WgBesS (R/\:@߆2diaB*S6oUhqorrj;^Se{^u \ʢ"{zC iPJsyT7UtFЭ#~ ~= m5,Ús'pyxU߂+pJoo.z,:2Ql29p>Ո&L_ B)n`i`>ĠI22X\_e{1t7R @bzdcec~[Kl}b/u?'̓p4nNJ{EIv|31p|ANJ5n/i(r ]F߰4{rQ DS_ěwRp'콰\6{EHQI6Pb ܐ[JQ+yӛowdxB>Y- _!PS^V9Ce>NɎ .88J8uA؊=ww~ qP,AX+O7r218,X,=&vx*ODJi`\\al61_逾T߅ lޘWneoMZ@v RgdWr-_ +X?Kۺ* VP-LĒ$_(↝2al\Cc;lྑ%U-z &O rlj+L,v7cψ-S' }2ݔn hvK,㿉`, ()})ktA0}}W]r |(GL~:F4v$q!=ՆeQ Vʬ^[#(< {Ye¾R,H24(EwP#$]cQd ;V`t`pk*`$;_3S2 u>B[.݌N&,k| yMGP%T iQP*s"q@z)t)8f#^]E-y%ǫϐ)}")Y$շVkevܡM\d wOIa%2PJaj"~ vc'hlkpuwMpSr9T)PA??/d$H[)7ȀDRJo(Q%.2$wE4*/G)VNug8v/\pb.QAG_khi>z\wo+/$1#~PSs[Q&0m&#F-֌+JPC&B̟GaO5˲v.Z<wѵ}evm0JtXIH2*]o*瑐oؾu$\sw|/𧫙CK plS!O19ѽgB4df9ɖ]VOVXlEQejT 5E͈~S;e7 !}l 9_~ϤH "DTY@PZ877O< 7&Ͽ9^aYeeBh(s}8hDRtDgYZ FF1; IOA-NTPIOA-NTP.Abschanneldocument/Abschannel.tex7zXZִF! v]A-MՋhvG"uIBm5yAIkeOHpTUNv*8vz-x0W,6#˄ ^0^08нdGBƚG{4_"ETc" yWVU+G\Ng L}[' ҡ[k梬kD7g ݐ}9 㲫}Нn9CeͲDWns23xo; E7gD5Y:p%({=Ӱ5:2Z3ޟPDdq"f ecuF}!]D95@v)u~wrǿ4ÌÜ 17z 0DUK$NNs=r#?₈)xfEN~CE btbiߢH˔d5':@{tQee1)2pwt]< \6*qƳ zB bw䇣D_[09#ta_[sHRMfvµu4i '8%baYyf:J"Z)"n1G5s4^T0[t9qRD(UDڝsy:ѳؓ BT!HlpBox<(uuu`66Ra}¿0z)Q#3+/=0\}|kR: ,8gP[nC:R$_ڙ..=)g`1uI{{͙-h4Wy(Z\G^v. yf g8Nqzd>hucpT_?K`sY='yB_θ}n-q{<3zus|,XUh=A[&vsAI*[8L q{ s߰n 뇙ī#Q}9=&}!L,Z}څl :~iWzMlpӹ ǐ=9}G)ё9r^g&V3&;K|xl ETL1c U0B;E˞G۩W1lj1\×C@IRX } Ұ;wP̄s N_u%|Sޑ;܇M!V]v];>bld|-6QT\E`!HDD>dQ0\#Y^svF /4!*4;{RͶ=$ 2Jz6nݵz&(xbk:xTet>6CղZGg#eֆIIj"򨟛tMa),F)"׽W <[#uF/R4!{438^}}/bO7gl&g* ]#@-PQH~݂G]_~7TuaFE7C8sive3!䔪kYB_ٚD4s=O&SeK_rC 0&UiW߷q_ G4am-uɈ6\X}K <1OuowDcfI|)R/Eh[#_ج*eB1 YGPl"JJPMm R@lWDI}_ŐvPj4qIk&d4cac#@~ |nCpFIV(i@1@zJoCR{QfZjSRjms:=(ḇ#a\z V>*;3` ku"(n"?s!ߠ$HzbZ8akU0?>0݇$jdʃ`JWur#QS/j0Q >'⇣HaDuQ 2 09ɯ,'6 KYp i`bIz5b,<2OI5 5lxݹj8g](tkGg(5B M,T w u,;Y?H XaLt\w+y%~s$$ƭ_8+~~|VɑV/{%Un.t  3r]P;mUArO?(C$ [DdbF~Kת j} ;5y~ÏCmZ[,)与L K: ҟ֮͘Os~j]vJ0#X-nQo}][Uh}) pgYZ {MV{X)3 \IOA-NTPIOA-NTP.Lemmasdocument/Lemmas.tex7zXZִF! h]A-MՋhvG"uIBm5! ކ.tHOe0;;K<}گFG7m'څ Oz5uoF=‘#??J3o%ve.E#\'TWs8naXn\`Y&}+Fp(Bf)KHM:tLJyP!0F G|NO)On9LkO'@q3 / dlՖ*n(f 09dN;minTj=C)JбgYZt%/ IOA-NTPIOA-NTP.Specdocument/Spec.tex7zXZִF! 0]A-MՋhvG"uIBm5ȧQi Y:9 !X!a`!]9W_ eKnTkeV2KZbm~_R*yxa< ;yO̝G]*&s ,$! ZVFe?Xe{UT%;n/J(p탓]Z?%k>ToO4; " W'hr!iZmy4KN:k!4#]#=>URe5CZ!A%, + )6֣7J-1!@c/?XBĥC9e ,l獉&:HFqXGW'ٍ=%LꕎjQdKy ysæ8%gYZ0-7 IOA-NTPIOA-NTP.Multisetdocument/Multiset.tex7zXZִF! T;]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2gcpv]a7ݬb $aj0C5NSn@'>ïva4#afh"(KH.#4LYIFg]oљIف X;O Z.6d McxSjz.͘~`$RU#oƽ<}t1inݔ>Dl_8TQS}-u1%)l'CpHC;`LyQ| 1^1l -wהۋh* ȳ1{/(J? MҁmHOhOZQX )hJ31F[o͵ةSySQ8Q|j$-l?P5]) w,B,WGT辡#lQd߿V&8x*6$h_.}d(WҸ-3m]"(^jSnEqڗ)+MKf󌯒)HxX YqS0suNCN8(_@z}Gtg['KMF)Rn^0 bD6eiI`Yp*IuG q)jV C`h$#봦-Dc4Uyks5ۑ9?^e$ ;t ytn_IA &0>fqIփ}$ȃ>&ۢO&& !tW=k w‰D6m:p iM<~զt%CŪOyTpvtuC(U7< /}XY6I fAS{zȑykA@,rV+I NἳYbCެȃa*rRzDXk7[KaZOU8]?|5`'@3?x'-#r lEm㶱wQJ۪Ǔ%DH$Qx+O*tMl-T}h1(P/X-x~p:WELWӮsy+ns3 [4*fh&lkW_ \B2ܕoąxBʒ֮kR+x*_H\6߆)%3GڿyEOP+/\vY]˵4^hvRv8Y&GeN:f@Y<gZ9wJBO8aP FaSS#[]^s|#Y3=/ lon[MZ!VD&j4.ր"< ^.9]=-335S"̀7۝$ <<'SwJ՚M) h)t%h+QàTЛ9b( ~7jCTd6[x %O-&+%XFsl`rth<4 7b|W qYV^ Vaig#FA+b,gV:(O :#/r;ȱX¸2=G莕t#􄶓_1C9wêa:=DBCNfQm|72|0<`gYZ  BN 3= 4IOA-NTPIOA-NTP.Correctnessdocument/Correctness.tex7zXZִF! G]A-MՋhvG"uIBm5]T.s-*დ30Dyǣ6@[sfjSN7qQu]_ J&NM>"gz45M 4Ó}i=e (ż` 5 o n1an&y 78αԼ~&6c£\#%mgPbrPڞ;oX55I'StyJ:LIeߊ) %oizG@O`&u-G0jOd  5E:⋁{T/b v# bFqdz>#M5kܕpr>~w(Om(Ϩޱ 즛CscE)sj nQ|O>3X`FLmHr!0˂ ؿHt pw ~?: 5ʍƬBR k§O01 $" յJ$:nl#dlmM+З:(s&r؉g Uᑻ߻̢+&nQi->([rQPw9c(hj5sVNL~Z*Q jZ;1dʥ0,15r}N~xǍ#1BY6n}bDVp;5US7S:홓ˆ !#NůGZKwVK2 u86=~NKR=4²X =@8É[O{:QwR.ST<=8 u1:+CXq&@oJSޘt4Þ(Y.f.OpWl.vWR"T9.r*N߆5F2Izviޓ % p ̘ܾ^631Tu;ov?]㺳-О+& O$GɸgQvO^)cNÈApwi#>t%y$hvUl" ]dTVN1 ΑU)grg/O oi=, -%PzxiY@kn4Bsx ӚA9%9dQQ'( #E1)R/iP"?`}xNJҴg,gQ➪Kݱ C ~;;Uo{V6_{_d~.$"T,}YTo{e&毂AG *$:ҎXAy~T^;N>}&flrJa;c}uظǯ?Ta{GE[_s)un f~7Ԍ͐|[9!SYqk肰A S8캂PgVr-P=Gg xLm9՛L,%zl8&ܳ ̆tK/=<_*XLUv?"{'4l $rY z⒓+ϽM4}LໞaGܩ-h&$ŧRa@l!~B?lfL+_3ŀv4@, w(islf)Cin~<̙M^@'YP4 /W-[Ң e& SgYZd )3 tIOA-NTPIOA-NTP.Actiondocument/Action.tex7zXZִF! ]A-MՋhvG"uIBm5yB?5:Eеdy,m|cfP#G > l]lg\A8_S06/*825*OH]sZeWGt4wgW{Q.=KKApƃ'膥s&:=(jT'-+ _HޓfuҲ$}T֣QFk.dvc5ݑ$75d$$LQޟrS/SP~l9"CvM_tueí&Na1JB5K?(V8{_WLp=9#)AwωjQh&Ə-2iVMԆ~Qث+nˉba$S6d:PtĢW9ļD SJ kUBm~$3:jhW, xڃpo(P|ʧYm,gYZT)3 TIOA-NTPIOA-NTP.Packetdocument/Packet.tex7zXZִF! ]A-MՋhvG"uIBm5DR?YҾ*^ЀIw6_\%G}O(1=N!E `Zpq馡 bb:ұx\an?"d6}ͨ,Nk5b77@,nXvEsVH_;`Yޢ~<l !|V`nFjk3R8&iYms]SQQ!49#Q=2FΌCĥx^zAd,c%<.aL)X8u5~[{#68(ʾ̍-r O$.9,o"' +|媽lSQA%"wITUVc`h1HrĦיY}V?![P 0D&ڦCixQhy(!G*?zkTc iԵRsUYxK $O;`((S Ao3ǜy=B= N%x8.q1pӃu nzD!{_UUFR=ѭHlrRҼ#-yr cMOgYZ {:N  r@=\,=řU> Ek*@hSi23-P]y\ `Wuז,ސ݂5<1.Wx+D:IyG,b^K)Hg8x$HCኛiYFi øY'b}qT}iff3G_t^#6W!+!8=VoO@ުhp`PB]aԱLڙ̭rk ޢt+XKzkvў;VeMj(GA2VA )+%N^sM$9Q{!ژ tou.<2AC:c>QTZ+5׏%7?g-ڕ: Һ6ud]#8a_';EOx9Fk%{2Nm2M"YW6]hL}YsfC6: K {EP#o%| >0::8]6ŴHnz>BF}x%ws8ܿq G\|7z9 0?}P<1܉%1FU"y_g6k䬝9ZoLJfbx;s]B)MG+Y AN+}[ ttLiOp,;=g)qf+xVc@}Rv[xM *xuk" HK|g̒+ʦf 6Dj,$sf"}kix6|b XO(bp~c[3OЫs-Wϓ\ k=J#D$jZd& JYvS~%qܿFi ѢtcK2 i<ݬ/4"5iMDM(_ 'f)gG ZƷ`q0TAim\,uDI%"_Y 7=頋0E9矤C%ꤿ{\jl8D."82NуR{mTeq7@ίvyρ?޿j|&!9Nm1MfBoU]Xa9Uq,H v*W\¿FWV_8vYO)!B2]sy5!g_?̚W܂ipY3b)W |c zlሺXC gQAaBb܊ B& h;ɑrc9(.b50NASx`v"b#@nk<^1P5MA܊KF1MYCu' X@[oywIc#6[vQQQopz3hmÓ^*ԕYJeDfBQW%xC+\NGʜ\]I<+?,}nyQl3=0QKC4貒'z(){3RvN+LQ3U{jrmS ebT2iJ=b-M c2Q4+ߟ~ ꠧTC īuz`'Ë3JX7MQ"/V{Yze GVM Kx8xDb ?,0|q OHn\@yJ:UaZ'ZFpᜣc5cV~KB\I;IU+lW>Wd9DGד5BXTow}ȟM m2Wխ,D; ΤMm UYqCV([? t2hlpJ^yeirwn$0&*#H~}lާ]`K8iGISޕSDo.#!g:x߾Z6mcdSS H[8$FjO砟)}Es0hm̲ jt+)u7p4 \."cM|&~n. sz;j}ˆ5Gqҕtih6"A8n_7 Lmid\jB;uGZ3=~tBAY\= L3qʱ ZeZmTQwJ$ ]y-sx)V77ݗUlPU?t>R9)ۅt0D-Hy\ZB:C duAx=!z21'z4Ul-#īHe ˸3J,AFɯ-K ba.ox40Q6bd x^A11G{b|Tֱ 6٬Daa$+Ğ9"1X| ?tܼQHHKKrn־|؂&\~eg e'Û@O9;!G(()Ѓlbky\Jγo ~,GiPquY.}bErL{)bQ?hllxy%VȷcqfM!>׃rb+~A{txU0F= ;l1B@=t9#hΌӃ@֣K)ztd'鹑.o# pV{/." &-L㤐صMXOȫZuy fd$k,zD]෧S :.haƾҮz^%ʛ^{Ezɑ",gYZ k kM-!VIOA-NTPIOA-NTP.OverviewPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Overview.thy1--IOA-NTPIOA-NTP.OverviewPIDE/document_id348$)# IOA-NTPIOA-NTP.PacketPIDE/markup7zXZִF! 7z;] !M젗OFK? Oȫ5,wO;u85=~ m;h; k<`DCh %VBkm@SÑP[vM܄-Ap(/]79.S.ޏ=ЧY Kӂ˸~n% 20ᬚ{$rK.Y||:1_oumZM3"ؠl/ OB@`6_!e UXLp,œ9 :_t=' )XㄩaDMVZSIi']n&U]ǭV!EQSLN }8aÚ=A|pBWd1By >n]K.[pB@9Y~'PjC`Ǹ3&_'N>OݵTj?~3%!d/B淉>OX)̧l2 rLiY.3++3S F)97Ep5೶׍ ek׃n"\]3p?TxfePE|J 7l>~GYmlл gUdn pBgh 8y$8a3# tIOA-NTPIOA-NTP.CorrectnessPIDE/markup7zXZִF! ,r] !M젗OFK? Oȫ5,wO;b; QViVssYL Qȸfun.hXF@;%:}1vh(tÛd$t"s'>/)]bdeFkU\0)QWp#XZu d^ݣ OD+[NlB Daħ^_#7vixrZyڼZմR)@Rbv+I-q5\ufax#VE>ZC(4̻G2+J 4 9q%I/~a=N9_fk8!B!Nsyp/%ej_w"6`b\ŨW J`!~Oξt!eǛ5oC2Zd?6_eCPRb겵 3w̆BR-bit`Nr@1B[~"gdlbKBﺎ2mKǨmk@ަSk5GmCM<ќMl^^c<*{5i:+(>ۂ26qѾ}|x殻em~`}׶Pn5S& sd<3_ z2fi}b\-f͔ϓK2vzNJ/Fk0HK NF}a>dB1*cpkwyG2~6pˡ;“2q:AX|hZ8>B}cx,׻dcqɂc 6g8#i$ M ^@տY{tqupI/LžFb~F 6JSes8lfdGpIxǩ{!nt50<҃;lJ˵@ 3[4QW[t w c^} oK 4A7tO "=$[G؞0hOk%bX]V;~*N:iR~fR$ưlx(_x鰎$hZKW}4F)sI:/Et6@3ك#7MO/QQVi;M{lcXTاv}][>ߍaEXtB tF=RZZ9`V67;-/v WN ^%U 570L, uk5RB0^@V \±daf'[d.^NWSg8|껎u>o~=xCZ 5! (̔)#ͤ5MT."nn.D]C>fqT?{&olMm"Kxی", a%_V " ){p5Rrft3ܱ,JPZ' 2$v\#T)?cOrE-{HFn{aHa3rzr(5e -cGvMq XaJqezwwٳ EMNoеZdXgd_޼0Ka6b#[ IJ ?Q귳mz7Qڒĸ!x<*I`|h<`S򊻕J589&}|S7 ^$X46!Iv?_b&tTv`ط}SD@VO[~GrI:cH<)6C50 ༇ TB2/e'Bx@ Y5vlf { `\57LoDEqQ#d܂v63BnFo`̺[8c}6ї41b=hQ/o!PG&߂Y<0NTW(j7"w~ w?Ї-y.țpԳBBxk[r!ydbY2 q(cX.UgYZqӂ=Zj٫L0ά2%8`pi4Qtcʂ|'x9[CF[tJI6 _z -TyW9:i:5P@ϧރRIkB+A*OSxؑBq"P͌Dov06<I3HTwPO=B,zX\}Wn{%ǼQٲ}׶Y:__8s4T,kv֞\ U>JgpѥKΨ(x\KyWiw’MӘR[bjrv{I%@@H8͇"J^΃%r Z*J\q^n6ჽL7CĭYkECGUrYikku>*0ڲ_MGБ 1r \7pܫZ;:HD4QyD&)<ШEYFEG_Fʽ{4 (E8f/ߛ]gƄ|eU# ̿ IQnpƉ_;*K/RUR`M7N"0o]duoB-dq-l1u794+ȏ1 fڣ\-ю=A< TDF1.8|@羽/O=WO(`JnO^,6tHûJaO oR6=Y&s3 ]>4د]:! ,r|":jr5VkF D9Ӕ pdEػ}C/*?UAKu_n旅=H:CpܫZSJp)Wl|;:yuN:Q,]>tRǯ麓%em.+ch` fOV)26hG v]/%M%׆&G?<38D#:X'St C%roRfɈ| JfM[[d .Zؔz`kst:ά=z]z|PsQc3$]ӷ< Wd;baZρ$13KW{ǍPKO@3拎8]$mBh4,:.gȟbg.,.UUAs5E#0s<{"29v` DF eTF:e{\ `4f n8m3vSGYQTަ>9e>@uV㐶VR]C#5l[6G(%[QvAB6Xlk#jGx[Z#[B"<w(daUłY "A2L70'{roC19̷2MC Jv}.m_[I 5RK) CΧ #CRa=|\^)0bsP-[1@HVI!ȁ?6bre@%~h]/H}婶4@4И5IN)JU->~t;._q 2M=BAx5, $FpӥgUvncpS*oOq;㝧F]wوX쏏bc0)b.}'զTD0['zjDlf(rg7ChEʙ,`{& Yj([6yA*8B^ F\Fm7Ba;ڣK45{N!N Dpnâ"`%eVR hEJF, Ne#2Ɓ7MEN/ {鬦=mF\t"7)9JQK0#̯贋6iTZlŭ1Z;tyb-lm !c5 vgge/$*NՆ]3bx 5*MdS]uDtdfU݁o E gkX0P4 }zJ ̯ q ~:rS g{YpRXy~8hy'-{MwS:kVd&Jȼ*2΅h]ȌazǨ'ٴ\K}q¾5Ͽ'K_ 6Gճ \#yKT[Atyj . 8V2^ 2Q -MTݳ2^X?/ۇ@Iqv|M]OJ/Q*:Jcg6ܖrܕNՠ]HF3_Z}.-NInq{pіj82X}|5`nh"vOw*UMfǖ "Yws:ପDsHFe@(}v7a)ټOodWEů [! hF=Z&Тc{\δOS_MvYv93R㉰CTΤ.\7ܹE4zl1OnP4u+m;GRc"nc`ǞpF,+".#fJIY|vMf#hWxIJ+E+%'>/5~dmh"%C\.iQgk oVo.N?cp^heb׃MbpXdzPmy|ryBxB)-YI_ Xu݁,HK*z.:>F%!l ])9[N}HCOMCn#y낂ؗ/~h^ (U`8;֙y+ÔN#+{lY tN=ϋX86 zg;XƐ^>,MS=X7F8*2t8#SɝĬR@c ]$뻁aH3|?|cyE%Lzl %$ I)dl!T{Ă`,tI,W&=ZvUǼ`u`!Z{.z9"em)<-J L!4KYsW9YXC&d:&)#qD<ԹQjq+ աdoH[sW) q+%WC1/>Vzhv!*+KñgYZ xe4I)!RIOA-NTPIOA-NTP.SenderPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Sender.thy/)-IOA-NTPIOA-NTP.SenderPIDE/document_id3601# DIOA-NTPIOA-NTP.AbschannelPIDE/markup7zXZִF! 挸] !M젗OFK? Oȫ5,wO;[(wM`x r ~{7*Kx?iߩ5|%-0JӁ[p8Vp72u ی?|[-.LB/Ry fPSSBםjr/z`Fy$bx$s t^YF~s&36lC; D( >ĉ+a}uV2e>^9(զE?ɨxk#w[|\|Rn pYCNG<80a->1^W]ԑBi&KE$(L%} O Q:eF3K$w:;zX4\^4Bo=g|%с.G#uγv[tneV*\OZ&^|V fV2˓q v\p_>D7Ƞ⇄6²D/(&rjGM);J_[بH+F!+யƯ ] =1TGYO^t6 /ݐʠ\, u/4h($+<;`+^Em#G 'ח?a[h)I>d 2oHYOS=EgbI$$0l%ć 9cǢpmdjT %W]M;RiֳRd?#ixԓ]d"-':0ݘU{4. n;TMWڶ+3Dw#XhLl\0T$7C4_@4J%cQq։ ۓi=(?ۺ >&rm {9ˆF-᥆=hJq&Y9YQC)tFWz& \`y?s 0T .mD"jHo.;F R(z1v#xOGj_ȣN72ج╲k$S5h٫v]|$qXUj^ʞoEO6y<;,qTӎ@8b5!XP7u+$E~qa.P'x5O_\lK$~˻GN):;?=WEok=@+8r& &#fTFVnueQ{ a g_zGЉ5[j{/rFJ%*fe)!J{-bQ$g(JI]ע;ǻ>Z%R[~\Q "-t(C:c%ݡTPs+;JKKEV x؛Ca=_f驽O>09X\[yyCC">cj~a1tZh0.}"Byqk lIX,7>ۆd`-5[Qdqp@/Q]ULOpO|R':s #g\]E7mg}LHWe4[%ʽ)jOj7K! i5Kn@as1vmVd}A5Zj6> "c,s<@JVSGMaRlșGBJBDNVxy=wiT6]q\Lߴ5pul]冞aPm$Q8uQ1!ZIOA-NTPIOA-NTP.AbschannelPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Abschannel.thy31-IOA-NTPIOA-NTP.AbschannelPIDE/document_id356V<%GP9m񰂑Q6ȕ3=y|L+UbFzzv?x_}װf%`זQe(ߩ1D+6,ߊI w5'jPX-@f>y;r-Oy<:Ч ã_c8R12 wpI,mTEz%][[V.cY.ACi nkg} -b5[11O #ߙZz,@i]1  `@#1mke(u\4R, N'(y2Uaq\F7:NX[v[h e^ 1oX[Cj,,~/GHu}ƙ`_5ЋiR_jv$pj?kCxJplCe')'D F%*h˾r#0s> _{|o!5"'OolFϻ3jPgn&[H!о6z ž\Ym?8V5qa2#n`#m> 7TgwWZTW O1)VF^8 ~q7m^y90~t;Wp-N\lN1yΙ0i;i\ Uv/N!)VIYYl` PN jݎu"LR>Lۑr$tsGu+!ߎOd$כĤcB<ݶD&A;D3yHL; ]4JV㪨U㞇b oh=zi:iiJy &ɴTm!YtKRZ-J0V} X.7_j:Jo+|a~=͍籯QﷂO֖PẤ9"2OL iN-:=,;0/D]K3Gtpv xLHu?F/5sQ174ņG0&VqxZ޴*AIQ_SR+o Fn2?Яࣽ%R"T|Q@fѐvncMei[,63/XNP3!0!ک-  Wψ -IF>&0E"|"`z6Fk?Ϸ_/J D!굴-l9ox=:Q+.?=C4Bbgh8̫4A~Rr2\@i;22KY7y`90\n!9~f<p me|t| 0E[Bͩ,d8)'TqV%pפ)"F凞YHt;j-]OW<vf۱XT]_i- #縋ԩܼĀ_g (zvNsJ 5!e|2-1eBdU]ӿ^ݭ`UAk)ARhbFY7tHn#4tbCexUxE#V%ej/sZf  " $Y=b-7(lHM]VRyk V}\Y_˗FVSմ d"F0ӡ|GmJR$  --~joυ cn{.ljn޿F&w{[@pWbR@0ĩ$`F -ߓ-FSfa/ɜ|pvB1$j\]Xx9+-VwfB,5Itzϰ)XiCQrD^ %I(~aj4hMd4 Ԃ2!F3VŸ}B p n9Vy0{yYH_,\3h3l,aPĕ|>zfh;Z=|;n.sWkt'd)BZ2Y݃-<3}gW綧ѫJQJ ~V< .qQW/t/t\/Ȕs}pez~Bt2 6ͤ8fܪd{i>D8X6MVwe Wmb ]yڴy2zʹߠ_jE}$v욦l~\ BF&W>=^|<=I1ml23lqiNJ"VYq26tT-6Sf aVݛr-sj' D/kX&uoh4BMG}? "H]}7E|wks>W۽CuՌKvmsH #jK4bY570|ɀCXN^a:(wVPuT%˝z"|v:+:F~qo&@Z2i,:[`y[jDJ[rԳwJ 'ic&ïd_-_ۆfw@|0@]0N?+c-JSAGE]Ե?[kFnNX=?@Mϟc :~%˻ #~&]c@x3f|:/Q( 9!X$ &4z)Lz( Vt\Kld e۝hO[ N \ OYۣnhuPUĥ!O'|4@HeZRת35$UWrem훾1/Y݄.R+>ǜ_<}gc~n&%\pww|?Uݭ.@oR҈r  #L1S;BT:b^WspUƺ*:j۫F~?gjLk?"b*U&p,zFcM5*$9\ N,h Sr/ºt Xx-~j{dtdnhʰm.-@σ31|*D:liO&>Dդ/e3 C? Ļ#3'gYZu !8'~y@֘;` W7!nwf%Ӻ2n+*$a?f'30x;י[x1&Ke"={zC)tyuO芯"zP!'o "s#gu<n%3N\jf5ENG'JnfCF[n#gpmFG7}\,*c6W2"{] 0]%ɾd sAFԘNsC&n!D ǘznz-f"~jˢU ^NMe2֗B6Rf4 ƌQH{e~U"wCkt6W埋zѾdqh}`Ovu @Nok`'1K8HA ]^b[K fleW |Z K)}M}|a5W^أD/)(&ٶ},xdH2S֗:SY`"⧧}!DUI/zꅕF9̞(q-="~c\Wy,3{Q!fh1eȁ >jn0`)yS YŢ,W[J[mvzEL|]5L^'b`04kmϲ/F9Ȍ:aL~ha+U.?gr ?ƿJ־#[?rb#vG>x6KDx}&p_VpGZN*P,cUSC,B!yFn84K<%sg"' %#}@Zj_,(/ED(]<1 nhz~ 90b\ ˔ٻRx+VBaDW1ۈ?cHᒰ%r6Lk. 0A ʠe>"5rSJbX.M6}(Рk>ar&u,(藪?.@S\,:.iLPPetഫ@ ")ϰ-/#IXM%l$sUcb *S¾a` E?ete< % +{$nh{b&qYp`-]j_4^F09"2fos:S+XCS19C3bAͼ!Y^Q x< @hD*.x> /OT-B}"SgzPu!zl;Qiѕ24{BEe!RH-m=o5GbnJ%B형72Gcd Ж N|wlb~R'= BTq;R6[ &:Gup`H\}d{"` f74= 8h"Qvr{Jj)mP]jd,%Zy}#iyDnCHf0D BhƐ<9' LhVT?fFa\V.p?]Svw )7t{yS1VJ?VȾki=vlEjDžAYoL"J0>'Ga8&7[S{,O'蒰jj7V_4V$f@݇r?t_L jm7RZREƼ@,;{m ҵ**c_#::mz5K6 )BpXq&XkK|XB ; [##b7zwufhFs*dIEwOvߘj,p~eq WNNeV ~ua㣧J!UզaiZR^a&;~`R`8+@ z=M 6%ÑA]XbLp1BfbS]7NyplVHb[k׮ G9({u~j-r>)*ۨTN|ѭ<,2a)rlA蔱 ݞKL0(Vu'ِtE:w^ѻÉ1;aI_Zj]L!>B!xnт@{#!>[D;׻_hrǨnƐYڤ`a9; u{,[xG#"OjGzk|P ,G)Вlݮ|MKo[|;~V:p?4"[ W`.Sxk6ݡ[@\!'r84ǓƽhwWW)blWOc 5A6B$pe:ìEiVnF "^{'24/u]UO;ٺ@{c طgsCPgaxq|G$jc@,ۉ5;F nU$Z2n.)eHmhSuߙ wdvK?jA3t=ibU2ΪTBLqU@.S J#шx&7VzC[ 6ˇ\ɕg9w-i`^5 /5?cs .ouسWu, ( . e8,PRļvb2eq xw}3du7 augʾ6C|갩}9ͤr͸Qg03+H]`n _o6C,霠k߃0(KRoO3mWK$Se\"sفah@Ml2Wz JL?)̻[Nd[:{WE>^ϫm%}$*sly_hTu$:CRA9C?(-j]-o5U(p9]Bd0u\bܷYg1{8ʷ^Q&ނ _iWvϳP_T*$g^a/'iˊH5-f<e|ʼn?Pv?TMM}3j5Ӎ`}Oy00d%V ج%m)qŻo:f q96hTq E=ae?l&0jy8Ba B/OjP\e5MB#Jd$NDyC}fUk|ጒ Ml e-'~IOA-NTPIOA-NTP.MultisetPIDE/messageswarning_messageserial=3505314line=22offset=436end_offset=450file=~~/src/HOL/HOLCF/IOA/NTP/Multiset.thyid=350Introduced fixed type variable(s): 'a in "M" or "P" or "x" or "y"~-# 4IOA-NTPIOA-NTP.MultisetPIDE/markup7zXZִF! ḧ] !M젗OFK? Oȫ5,wO;e+eO[XUFHκK\QOih@Y|ha~ȁ|wq@*BV2Cxޥ5Dғ0Ήh\+|͚O9`]iM0“N"Pڵ8ПR Z{ M* G<~u%&jE?;?jVFdq' PGkfDle>YӔc\6Tc68Ee-$/=VX=nS u!$%Nh:@0IQul}Z USoBH=4jFg"sӄ>H 7 {#b'qTxO&s:'hqv^ @ lfn%t6Z 0L.grJ9W}%'sRo|Ї"2 mjO!0y>dG"0jK҄,Sa;&;M!a s"S,DOkqj8x 0|_vfW7Aީ5{;aPj,atqmr@.Vu7/h$1 3eUANmKoQ>!J2ALddvnNi4lXwr=U v_7 Ls&CԚϙL  M xQ➈M}rLCٰm>z#cIdlVa)T0ӣ>9{9MхY@Kv \j$s)z eϭMK}_!ML~]>mC6d!k7.ÀV>B'Ϸ;JfBh}܇ T׺qBL1SGpsZ`壃'"9wBZ,tV X3"l}rΘ%)M^ sO/# ˈ,Tj .;X[Namcj"VF noثk\|8$䚌*Uh·("BW'SnĀMgA9)6CX)6 9llEUҦj*ɘw+RฟyVg1B6/͢EAu{~ؽF N1т絴7xL %R'CUm`>zJ#"iG?Qҋπdi^^Gjq90"D]]-/B+"5 Yw$CC*:K5IbCxkXHI Ip\,$Ш,yBc_+mJ 8c!Vu-Ic=s`&=6"le=@oy/s^G4 2:RB;Y5{;3vtʼ ?z (O$3cFك#Gm,A]]5qҡe%fw*ujXRދqSi,07G Q%W/#8|m=ҹa0dqkAh%RinT0L8r)̖ջ `Tn% -!2 90c6Sok ,a A$&fb&ZzKQ-}. EC' ~\`oʔx;;x~P:}^Ivc\Is͝]nErO+zo~JD$RQYAl d1m#̴Ӵ{Bw3k5$I 5w0PЭ䈼?~cQʩλ1Oc9!XW_ ylX_45tꄟ"ͻƕG5 *9 ׯRln~kopmf Ct`TZM009;} >T\^>ZhTU]: =ͣΚH= }=1w!MRZ0Yk)5`$ 2"ự( acmw䮿ppzEe@fJet&06jծğ1FIr? xJ <*uu*.+z,[LZs?% :ƧsD3 OwHp5%&IQu8£I 3ZϢ? h#ZTJ HV?+|s.}ОP$W)ӯϧﶊ +Zr qupWy@_|Jc(jZTQ[{|ݶqZg^CB:b=."L) n[-y<+wĸ1yNAr.{fjK}~]uCZ+M&0F(CiPYzO?O l$0[C)iQS^E%F?Cí8Pm4U):/&d}=\m>I$5$o#g{1(o.\yv$i'{aQKv]ǁV]-LFA ; M=uGSQ@ʢFU $gYZ qqI#)!RIOA-NTPIOA-NTP.LemmasPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Lemmas.thy/")-IOA-NTPIOA-NTP.LemmasPIDE/document_id346!%# tIOA-NTPIOA-NTP.SpecPIDE/markup7zXZִF! .3] !M젗OFK? Oȫ5,wO; 61TGϴY!Sxkۯ 2IK6_n4c8NH]Mv9)lK8 **+VphYxkˏMeq5?_ \b%Y1<>!8Ostj=bxON:bM'~]gs1G\N!hIS |}rlãpFHgLY^1-䵯 =Yt(H5$I\~[Ȉ8ީ7춂GT?n)ZM߷8<8kgKaXF6-ypqqj\15^F{uTȄFX7Ⱥ\.ش Bx8 f9Bd`rgMՅ:|ИAn_lC{Pޱ$i+m&88# dߕ>^)&mcPީbjR@E"^7/sر="' dVFj$/E (P74̉2H.=p)r^=_3;@QtNd0K7˘q$i'DʫGT\\x۷&ΑHĉ9j0ZtpP[R2xm (1'k%xܗ)qe#ہ #k@§Gx+@X9b&ft.+cs'#qO|b"a1t,ItcY>7YxH< -d_k=oݼW4 GϷ@QtݓnV<F)b/yGn{xyzc5\+j mfOF6J n(&mh/Xɼh{W0̪vWEeZ;ܦ Hi5/ꗵuWӴRcQ%JHD}Җq"~bIH{U Msla7KB.&JK}WqAC9f:Y@[De.LNH4J%ɛ""iWas'aḃ-efEa!X׻ '}lߜvC^SM]r5/)1)0, 'm \pߴs!4l!p[ a}Hd+08 on b_>iݶÍlpb8H1XG"Ɏ,]f O󅾺HD~( O׷ s73_ÖN`Ie'|-wnEӖ!AX>2 |[D߷{Tޢ65fh%dSƒ: ;jF^;/tPr[DE&(0tn-QiV)<vn=6={5^<8kl1#mA10+nX\3w%Up/$/Ƨ hW|lo" /iv-<(MW%u̎6u bl6m.SBÖY&w2-DOybU1QLa(8i(pBWd•%h|t{~yN]wi%̏bk+PCo!W&×*g2EJOF|8DsU<۬z4x+fk=&_ ⺫p /kYY?߽z? =3V>wqB*U{Xf}A!sq/4-m%cOBwWqx)>Js*N`Hь#>PDeN!UBhj[O_` w:z|V]\Zm 1ꐶepi$p Ge^v,KĹm/߯8 |A힄FJiFEnY;I^MMOTͱgYZE %!NIOA-NTPIOA-NTP.SpecPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Spec.thy-%-IOA-NTPIOA-NTP.SpecPIDE/document_id362 j9I))!RIOA-NTPIOA-NTP.ActionPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Action.thy/()-IOA-NTPIOA-NTP.ActionPIDE/document_id354'-# TIOA-NTPIOA-NTP.ReceiverPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5,wO;-u: Xܳ$'@TSz|mR5Mqx.E#68{ͦB=r+ c_PG^?&nm+INݒ ) <.ddX,[ BGӇ1]g3uDF.+h p,V9`ʿ)O n%uachL졇OLDF^ 7qL@iqsdҥ ]1vF 2 iFќ@KWzY&1lD܇m,B.4N$Js 嬣P 42:Rs]iTf/ h7Nau-:zYA|Z?cu[L$тo"FfLn0M)m"!р?SEM/Vل V$̀ >H4€4.2H讙eFr%9 \Ϙ'+/q *[hYVޒR(౗l=,N7㼜2YfqPI'@5<3ѱs-ھ97A$Mu={pMfTUdkС0$]C)yMkR^/1y̜K: !Kxh ~qxwҵ)r*f^iU~& V\vg{O&krBn7EQk %^pa2a 2!I^ uǿˑsr&hPXc|;r14X=k'N xڇR(>Wv{NQ*+jf݀V7nHu^}B9' ~~#!esh%AtyCҗa`I;s)U!7gK0PA"\#! <(CYV#1 'k,$ & 샒;NB<0<[ʞo4Ĉp)hgY 8U !㆖QS/yspqhQi a{8w $#l`ң_s6=z>lrb/]0sx"L uΣ} H"? m/j:I zNsZM0|\~ M&-!VIOA-NTPIOA-NTP.ReceiverPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Receiver.thy1%--IOA-NTPIOA-NTP.ReceiverPIDE/document_id358x$)# ,IOA-NTPIOA-NTP.LemmasPIDE/markup7zXZִF! Y] !M젗OFK? Oȫ5,wO;h/ XB9Ƚ)JR41jbmӑJF}"5jxFpX՗{F<3*=[?l#xĝO%h"`r8[+Nj>sMSiQ i o˕A )ABz~EPb&bQךj&,TyǎB#(6+.,|.m?7?yD-Á3.O.!Mm0c]*3? E~X0hEMÞ%8;Ǖ0ٹѯKBVr"ހPX;Ǒ9Bd+lC6A 5cmRQ殨NfoQ䐵$쨗qԨFd[X+Ac\Uk(Ćf@6$h{8w62XWj[A #{{8]&3"y9A%Z I n΀RSӷrɩsP(DW:R"$)hmm7Yc!e-xVLlH)Ԟ\%2\|B[gi(ie~W?8Iiδ+ k|nQܴ k1Gu.O@=9]6]Ř!gt)-_U"o̶xBf9n<-O(L} K% zRiۦۧz<* (wB Ykꂋ{UKp=[/D4g8ɥ0^rȎB9Z!sMTbZaH>FcN?U} EQ8Om)ڷIȶ¯0.{=p"N6M,!(yg6 ӡb?:@I"9"p6&>>$`@\_*M w^Us躝Qz|`&`ȫHy_?NcN>e=.qFqgrg +#2Q?Bľ4?t*JT~%4Q`l27팤=}Zge÷XV) W J#:3)*dVnva<KveJN[AZx}қEap; r/B.hBu]+?hzou 9CHZ^G;œ\;w\ Ns߳T5r'eB5h=șa*h>)NCTygm!L-2OwLʘkUʤMomHOnfcJ;#IM5fWP-5 f0ڤ=t3} ]1([2TKz tGF? 9r'>X$VUv푽,8}2|C_Vٻ960^FA?p`w`s/ӻ;EZf 2>PVgT"" r8ҼSw%4`^| 0˜ӲKX^s/=kְźSƸݯ9h]2 JѽzE k!3ǡ Q ŠM }U~?MC(4r2 Q򞰒|y AMʅsnE1a"KnQ@B}';P# miRbvd)v9|̳2QgYZ2ۡmՉ>)GipPdu>l `N9j=Jl&GLvҹIA6h6HN٣Ƽ"鼍`-xMBg,(oOڽL>C Ae^+*yP27?L@QKV4)Y;`>k#Tw:(ei6hsˍefHA0Jkg6Lux'E6 ֦՛uF۽ _>-{ vwxahsd_g+MiF5BPw(nJX D Z*vp؞A6[ b*vB(?ݣzo_'0ÙMŷ)d%{qqAqOvmezu[7᏾~%+6X@2*xd/ ]H$`l%>aBQN&X5l &0z!֨{l_-ވ<;(Y/]7#ܧ2&Ԛ {ܲ7W/SJEK"??>ui= bB(Zn($.Ǭl*3,/(cK<*16-CwLt< &\sarGBX犘Ŭĺaz#Y̼\:A l|WZB"" rCX ෪'\O9MT*GңČ4-E/953UCt pKc+XvJ#uXp_1Tx**IHf>ëGOV+6a47Qӥ LIΓtbFv&Ҧ ^)RVt}4(@:9ⅿ"WRVBA˗ )ěMu3y`f ޓXGKBpg{ C\ώ4M奮AtܚaG݁qxn`[Bٴ1"? VsmN`'d}~ 7N?=i#h&l3=mk5\M+; sub CO /[7`v+ w;oJC $-#Jm\)4>Kk)/vw|z&޶%2"D ›뎼` з$S%KT |ν2[J.CCFmvOW|C݆XMؗ;JTH9Cn!E/OΑv14TUզa徽饅 XaUfYc&Wq @<( X«!vVKT"P?pT!GQ1k!؀;:dA$AaLxDXw]`4@\Pf¨rP!XԺB6u9YQia[R>&*d>E4 9k( =~T":9~诏,cs& '5WV~1QFΏwfSֲɭ=x4&:Qk5*5i]y<􀟾j5,bRsyt:TIf+ q])k{m)b r{~|~97ɫVHly J_[h_%GD^Y^֫Ԑ1}41Y^r9D1OFBf~C~`F~NE3*La h [:A!*65ѽejg gKCu^)FӲ{bu j1G_s;ip(U5}OPxQnX7*[.dDqߺ-S_$k[! Iגؠ7m(ܣf9|Q C5xj]T^VVu֧ zg JŽ<4TܫX ,EMa(൥delSCx~[ajgJXmS'Kr.;O|_lGCz $B fT`$tٿXf>œ:UYt"0R4YOڪ)Phܓjj~ٽ96\B1]D,DaU`4Y7tv(CtUCTٽ}[n03lX,vs=2 ǧ~%nW(L_Dn?۔!^;^L@02V H"fj ޼u O`JļF"]Ey{ʝf#2j&*NeKS HMh A8)5H$dM*جm=f܂{rý U:Z4B-oHˋtmJUs2}k~?iKG t@-%ZYk,rIs=j)M??|O|YhSǼ#OohiMGS~3z$%e QLIIr@-O?1,De:V8DVrk5d];`l6Ci7BXzwRVj P1.r.ȨB5Lb&mc/22Z p@,1o7 2We!_qN$f+h#`~ń=P5[&0^k t۠v̍E@';Fg58=BF 9 z/YqG7mZro7pl(6tD]:{$/$!\/tܘuYiruy ydV꯬fݒWTqeiQn(:!y🋀#ЦT] k1w< c +DZ|۟rd'ƕtE|}N率Mcjuy ?b-4 SKaό<(%~Dfk3/fa:;Lβ̍vcz%NId@&39&"Xvka&ql=SI"fA58cc@;%%=^Ҽڌɣȭ#G<ݹZk4kW 5|=SkgҷmLaN&龎jeE]WI+])RB#hH__2\ ~o1S9@`mȬBb,A˃2oOs5l߹e &y{#A!]SɃIg$_7η/26lPWԄOIrN  T-S\ބTeMey<ב( j}h bKñM $>Rtߪ017 .e-5x$ODm(#fݖbz1h YSQ Jjηe,֠8E۶*I5p=KuRN!U`M=:w R+͕'hFgYZ  =  ]. %' tIOA-NTPIOA-NTP.ImplPIDE/messages7zXZִF! t]Άxʆ5.f-9 rq9q?i0za^.[oZ+`0\JA(zʃWL}NT%>ˬNB wy Ɗi,vɘE2͵9Ws٩!ۻ6BUX.4X : Fz]<0?õA\5'@?lʿyq}mFN\ z`7he|Ŗ9WV(}!] . NuOœ">^MDh6Pj71_ѶtV*`>f_s )C}}s\Pepv χLiiqut7hUҠNԺ tN~?;݋/- %# IOA-NTPIOA-NTP.ImplPIDE/markup7zXZִF! A1] !M젗OFK? Oȫ5,wO=G%#A,yTWKjxTKnp!vlXs{AdPk!Aw5FbYÊ?{U"#ɏ<*ظ'pΒF^ BRikqZ@ЅI# "?"ӡ%Mf5r8=V2-D;O=T>"_/Rιk,^zvLÊRpe#()_(4s2zpiϝ<6~UI MG$ARԂH8@N; {5fNI`qgM.8M֦"1xLHg^FY7T?ugz^f{sCm)V&HicXw*!o`Akvd6io\%ާrO٥wF qt^'!vqv>KV2nf+, }ozÖg.A 8oD6/E,%!NIOA-NTPIOA-NTP.ImplPIDE/files~~/src/HOL/HOLCF/IOA/NTP/Impl.thy-+%-IOA-NTPIOA-NTP.ImplPIDE/document_id364@*)# ꊣhS5@ ߹|vWA Q?&  .Z^Ht|4[&y N;ݒI)ḱgYZx( uuxy[i!,㋭ }7&&I ҩ'򆷟uHF-Lͨ%տ0s-e LZU{l6w~)*%1`ddKAvŲ}o>Apû^ ˜E99E/4xJzYIԶݗZăov[gB%ߡe8lO2?iLqYCA6R sS LRbO"q ~&sϥ(t;d0#ã!ـ.Ek{#KK9} (#0oW`y180l>ay8h!B1b *_-lr- % {]TNF6\hrV,<}ZiGt"lFWV@ʃ.>&AakwAf9.qWG2Ϗ03_ڎ RK'WisNVX~ Yvx3/=|bv@[`}GX\Ny^Poۑ[۩y&$FR 裏K\M<)le+NCk_Bٌ~lOuFl|v+,;lٔ4IgnnоW.7fGH),Oop5Fu%1qr:Z(k1Dk5Iӌ=I*)w U c}dhg&"m]Ըv*Uۣ盦`w 3.+Q-UI҃Z%3o'%l507/I &0Y/(xWi]U+Ok.4Y/ϻu!%E檱JΘ".ы-NG3;yI˱5kR4$|bp]9ꜣB8sF=<0LjHc>G^G5()kDZ6זSfS ?y]i!LU$t#RwNTۋ^Vb@[PUРH8wV:[I&'%AyDW’-iTa/IZ6o^Lxnuߒ,.9 ԃh__&v;Q;JPw/C񻓩Će[ɟU٥APG$Vҫ^/|5%x-z~M1$X/(J!?o Rh8!S%FN`#rh =bAő:," Z-/;?FX"h r6HT*QUJnNrwOȠ -H׊;SU-[0坞f/)}Ph`uq"L e;`1 *Sv "iFN? M}e6)謈2?C3~PBtP,t,Q%>zmGIt yx :B_e̙kR} ZAQ僱V:z% +Ƃ`{ Qy4G=v=ɰFzO{ +E-_&PMwKZW c{)/fL Ӓ[A2OeK:a SSy9"mnħ RY4dJq7ƒ& k7yO a BĀӯڲ>C%͵xΙAIY!;. ϓSF|M73z ӹb @ [a?>nfA{jȒ)NJlǦ"B*S) X?q{ ,o IJ=yiia;]7$7$2D)FNp3U֭;@*50i+.8+.r(k=z' :Z qMOqy] Fyx粎HuYD$VG$כ%FΉ{Y)^~DyŎf:9M,FƜBʼ*<`PZ7rZe#._[Sf)uR%n Ƙ䫷"bO]n+ٛ|ۯ|@gͽ9;)K;+= <ւ'Z/ e* j$^M]UWfuvs7/78Jg0pi/7x躩d8+:úPۗk-Qk4=OzbksX|kK0o$Zɭɒi}?{)(\2tl6 s#o1NjQzD:F/:u,L}+̈2P\Ƴ׹C,\oDd7.>We.}$MQITީpa?<Ҫ):'z(cؙ)Y< UEnbvXuIUaoXB=618WTMġy 1Q F8JF˔6/?n,,A˟U%UrrC H4f>e,`ρ~bKu]0 etSW L-ټyJ-}͉HfBU07T{|GTD35Hؖ7L=IW`#Fk&,w597.N6PyŘV08cBxE:Vfc/y'~Zk6}ˣB.ԒNJa%=_B~S&ﭥ X<ՇZ3b F o qFml\p(M̱yB^Ё(R)JMrBWưu0 @|iXWj1b݀)iFMcr))[ (,kwA0Ku]2090KpGJ-ASr+E|2`FB q Q>ʊ?n$ܪR싰΅䱏 AӨoTO%I-+LMPs%N֨evƺe?Ĥ=^:ҏ'8H6I6j1rGXd9jyPUNdjuBMS\[ex"> fr/9D'Y_ @,c!Z)'d+LbNP;_qYﺈcG+ MHL3PMk.?4$:!$n+5)ޤV{M}U) j5 </`$P'#Q-m&rГDHMGWLhf~#6gykd;sʬg[EtzʅwL(. L% Tk`ޚm쇘gZX&žiC'P4KRC4mf} ϸ`>nKV\oMKj)>@bk=E4@" wІSa4qVcsx}NKS[)MLj-DMWNK0]F%<@!8֭hkn*SI22%RAj_ShS=o8Ӂ;坫F9{Sȅ`SoXce,R\A"MYV/1YFLgJJ914Y@m([$p6B) ҅T5Ym x*">\ )g.&J@몈B'ev)EFue回0nJ+7U5,5: [iCUĽsN'Bt4 ]ǭ% { %Fի9 lS &ia~F h%yz .0Ḑ-FI- `-4- }x+6zSi Dg c:Y m 1 2d 2ǡLc*ʊx)WFRнϼTpƿvle|)%I.L!]%ƎƘl=&_X<Vt{,;%S?c6jjOŷ! Z,$F d2v }Vzsy62Vi?Χ%pvU^(3:BI7uCgi g$zmX U%HkE00k[T,%RcIwD}+'<5Gv?BpKI@O8*aj&d :8^[}|Zl+e&& lSo>u^Tn(dϩj ~ KHJ./}T lٸX*qTZ? 1S{ FNSb љblf޷ 0=4qT;ҼA^ѧ,rAGOdPLZ,||Zq$)$ִĎ5:tȠfF>c eȡXP.H׎,Hh?(/q"ƾysX=MJ? .]wt] TNCbyV W`N*@wVYQ1伹cd숫KhGZy_/$G"!5f)ƶĂ5,Pce!h%2Q]gІu<.u~٨k/\`xrr!dvgl2%M%VPV-p gg*vD$^Bi=WSivڝh3&pn4-N"^#)|xvd|p}`ѼVjآїոaBD:* 0a|+Z1Z,0Ch+5Ώ݅h.BJY[lm"wQ!'=4PC6x)M@yeW-1}Sד =e^lGKQpQ_zn=B`3 NgQGt򀙶;0r կS&Cc ~lwq$0l`&*6 N9WQ3?3Q{!z=oW)n#,}#{]@lL)H>MlR0.2.StGN@W֌2\ATcHŮ[R9[*@t$c F5Wix ]UPBWEJdgqG2R=z󳱽k*x5y7򝏼V0@2UW;7}aӠq/w݅~/  "νF!+2k[Qyp_VC>bWz@]иҽ[X]Qv)+} ^V5r:++5 kHKl.OOz?a"A$lk7C]5ʮ:q 3k꿢Px*;3d +e"p0l-$0t 'x߾vᚦXZfa(g1<|,;KxlX0   I6o͉O`FZB[hK$+) VBPx4^0HmdFIWϤmqBdx %}XtSvʤbM*O< }h`J~9VL|U1?c}!*RwP! /TK4]" ٣mSuh/U.+QX"ݏH s%潰> d:,#m>Pݪrm9FE{ jd)etEM5=ِ͢hNkm@*NaE ˀIC&+ʍK,"-;Tдau:\O R(&TTK**xZa]b$c\70xr>>L^`ja>t'?raM`ItdEb:[1 ™gY=Xqڣ#5'&ybK@ q0>/Xj /3Vj@_e3^*E2\A+}M4?c40_znK~>GASR6gDWsr"URϊ=0' ܎q6hԑ)e%^P9SC-G90(Ј&8|P} [GR{3"u̸šO*\-;<ɤ92WA,9юmf u?x,?ڣʔ#'j2_:/pNf>;Dv9Fm{m|ޘ^_#&>}wmx;ٖcp4Vm~ TɮTi1":Ewxnf D]lQ _rnT9vhQ15LF+ЄY!#R6^7ua|ngb 1SYƏf)3 ʮJ^5ԧNn6uZoȒu){羯?xx/d[h;n 5tnfBĶ<"(V,1C_kO/'ք?9ۼ@SizAWiO>ݎzYA" xAssh6|#r詴fz d14!^dD5ow-}4䈪+ tCU^8gF2&>X@b"vWׁ1"'3z)g͒Qo)Ž/wй'.Dxn4bQ Jec'q X13vl]遉؉~DE&(8JTZHB'(ټ7|>q/'gyP ^rL$bP-%|LB TٙWu{ӎ`#!K5<2\J@Rˡv?(;2+W{ hv u+/^$ ˤ~(9,~ < 2]ThV6zP~Zȩ!3~O(:` KZ\!w*DGf/,?v꽩,Q 5Q 6{|/c%S c>ܣ2 I h7[Wada6p-Z 62PHڦA_'<W,jAx nvdVr4i"닂ߌe' iu<>H![ :bĄ i qTZA)dUoAm^ Fq|L.zWj\ TA`SO>s !akw&iGBI{p:q'IRp.,VP,no=jqwJf?$Ų,Y-1m.q=j$ b>H͒q}k|Z}|ڱ#=,7~'{ .#k|'Yugi1Ɵ&@_3P}$f: WIHJ!cBT]Mͳ0_ n9 wSr>BϿO EdJqe/e& ޽ %o&QL}VKENpqA#bV6xJ[o? %$[/ @=3\I m=$wCݫ뛣$\ZwIsp*6C2whB]29aiPjX W e5|e_n{]hr)lۢtT` ;YsNM>ц&Ȋ.JFʮRCK dQ'"MÃ(Ӱ:d)=!8(JRu7ҴQ&y=QA5#i?@T꥽ɚ{t|,PSBhZ%񿃵e2Bl-3%$@:e8v_.EP{)w1k8F5^Ѐ;> $L(ʛёzBZsgD#Y]' #D YK4jlwi Soڱ-6S ߊ&Gl\']qo X8\>/ .!u8Xw/mY~nM0Y|;}n jUhmD M> "9uٕ ϔ?s!z)hm9=6o4Yo|!Y#앸w'NT1j(B˂lZklHWl2&71:;2Mrjo[e?+v;jcCZK!o2EiwChh hw{,p7KT,) KH]XPcf[ !%9Aw@0B$ɡE\ɲ{*L7?A"M0̌tMaQASY㊃$BaqIRȎ^!"5KӋA:X'AcyꦁL9f1}wcXXAz;u)*lH[za.cP>;u4OC aagw,`NweHd!7 ൉-͓yK֝;V,oV&kՖ z:OL̝IaS?koJ{/Sh᳀ Z& gSCb޽˥Ekzz>]!zyIN76xn 3"[-i+bS[G<M`vLj%’b,ɽj2E'`S e5nvUWɿ{h*ʋp!S5"6JFծO`V=B$OҼFR/φ \7]|QBRL?;JO%{l䞾$cޢ[MN o= ?"O AOMaP)ؚ$<Vj/r ^[[ְdTh rUxUqئ 93#o0)%HTiD mx_/BBz>:*)F+EU4ttPQfUU")>DS'^fh<%U#wi%Jt0@qH:ǩBٸ5GB)j<}L[l4nvԔPQ@X iem#a2hGsZ ?nz>n~M[hsE?}UiK2;OI(b}L/OIݶJh'*'TNXP3=oNDYdȁRD,Mx˜IL 6<~M[ -Uiو'l4K~"IQz-h@yS_: ڈ(~$fcy~Z `3]I BcfH_xgYZ>8Fh e CGp̷M&i N/q2O(vn#9]+3a)ypGɐxZ+G?'cˋJ!, >~b- ujQӱKҤ];YCGWi ]b:>:M3^uKJ̉|̞vGydL|ŐRu؂ٶӳvZs/Q=nEdZY'{VCDhY!52>l7Լ;mGpavDrt`Kv2.2Ȉ7S4 k=0.~m(sG MO c-&ZE<7g3=Q37 Er KLe~^p" pJ aH:ۙØ# 1 K서7c1 i=|p76`]Il TmRܛ` ,W![?DuYD)븧Ϸ'XUgZDx LJD ~cKR$j1.[NJ>4#shڐ>r6Uy9c1wm6捌R\^b 9 !2i"PNw8 q:C!pY?ŐDZYga`aHMGFoD.Z|]R4Ƚ-OT|?7+Y?(e{Jv7?s\vn%<)o} 1DhIKO6c{45X<{W(?=o5IɒO&_Pһ`/P{yx7#^sˈUf3E! "[ *g +g[:zgj3n2@r{D޶%qӰ">8gqA[`G.LH,"}Kx7^)qL@;+ V;?+I O`*Bh#Z⋈rS B>.r0z ?>EP^2c% ZηX>C@+f95`p Um TSeN%y Op&/9H7:"\,e&m47KcWe'J339}ԃdI~9c;xFؙm#gJl#0K5pjV Uk eSuhd!l/ \^V#27_NW&-?.=6P5Y1hZս$_Fda`[C(ݨag |X%qJ}mH@;uW5ˎ^6c^ǿ0)EnuLpә@qF^A|׼ekIA(b@!Ϗj[UJ:ǽњ5zgOח`#Qy)^_VHP O(^u8/ԵK l!H*++A3t |$N_gՔROd4p@ ?t#+FG調?g'q69s^)%mYw^q iTPǦ݂ԴP A՞;ĝP0beooa;TկBq"CooEwn] 3ػ!߉3:T`}d$%&U!J5tjͦ/P7WQ> Lqh*S7ovE-|o$BTbȢt-j̓5R`t0/>o*sr @oT=)ɘ=t8X )?Vo \G0 ޴ Mrq}¢ߵ.\&D#o޷9$q/(4)}$i#|(`s1<[wϧ耞T"ʴ x ]{.utK-?2Ddcmыf!U \aY pnzzS6!;SDp(zeA*&Ed^wьw{ނ(w_ *qJ=n29jCF[n TouEmDC̡kFq!p+0YԨ]> N1/yA}mÂ[_;X Fm߰=5ζRc*bTe򁋳暋TAyB's:'~uNYq zJjšn ؝zlcE0Y"ؠѤ$\v4jch41H"[7OñnY1zǍkէx%uu+}8(1+AetEڐwABXUDZ{4o^c 7AcY`v֦m7:>{4X*Q3βlIi&o;y]3M%b|R]|yoTJ lL zA+MP!/).>"BdO~L Bc F0A[#UѨg@8' S)ܸ:pUU#+ @t[a*wU_PX6hY;A:؎NҬz150{|~H^%/PL;Narb+`x5 L9V,a1`SBꂁQ=d'C"/'hֆݿ c8åhhThE|De(c lOIufBi{(92/o$}HQY1173󍹎;yvk(/oƒh9S>IL[S 9xA>Klm6\ >$ ga&l%־o%K"%Ĉjk`׃v`->Ѥ8hW&KCbMJżks֟'RS9F%n^xC7RَaVl9. F|]bGe,-pH$yCqt?L]*C2NyGX~86hT@^B0x?Lp#! ݑaLc^%>G7# ")t_형GnN*oBBRVÔ[]ԨMOC:οc($D'SH=z8Yrf Uo'TcN.:/X_̜Z5u|?uz78)a.%vnmRc [#Hejt6Kaxu\pN{ Ae񠙦,^ aREfʶ:0OSHRʥ]Dhchs/A`ArR dRQAp8[wdЉkDp,bYߞLNOa!"kOۊH:Ş[ ?%J÷yBe/ޥ=ӻЩؓ-:@z̀VKBM(J Ɣ;XX“EDȠw2rJǯg=q[ Am֔X 3tY)8"kF}iUr=~ѠV l>ZPw$Bxfz4n3kVp9'xͬūH͒rU}e"4mJ䋉fq'qRRv_pw_kq} Z#B{7xڪA^=f٪ 2>q7YV\~d'mk-4ڄJQwvʑٌx!gEX3.``(!2A# AWw%"(;,"jOavc!ݔrx\r4-s+c^h K;] tY1e}A__j>,HG-w!hm%v7he]譵WU q8x xu6eFnLDxs9)i/:wp~6K\A9^$;lc:>G_gj||(f)e/TYj .Kf*q7,)4`9z"oGJRy6ը" Ne1Alӓ3)TJ;ڒ8+H&Ov3\-rhD3К^|֐,We#C~lnˠL:a

+s7u_[ ?u=\U^/;)J-et2 I &jx*Ez(Y|^HyA!͇}btlU,s蝓ǵLhih_ub`Kj{bV|6NTʓN6gMU2;i;_X#)O@'=`=ږC<!)Qn5I ̒S$`^Y Nu+jny}ܘ\WloIz&!V$ >!ґqBf?-nK}HWЧ4o2%\/79hq[*Z~ Ōjߵ{4'Qgv.ӕ\4}e +ꘘʨ@Rxc6(dIK'pRی\L./hYmGvYEȾ?QŤsTf^Fufrb}$UVt{6WK.5ȋb%0\N@C|YMp{MwݩȤrqcgdZMl+UrwJ_Ɩ8MfNcY1o(ڐdG@rV6 5RMStJ:듡V3ݍ`ɚg5>/z`nym@ήO_qce.'.=VF4m?XڑnaBkw GA(Y~([AnE Q^R&I$wBWbϋǹc&.mhhNeƼGjo heUBzd@:YV O49 _fρ<9a{%C!`=.eۆ&l@   z)!N`8Cb)Nf߁Yݓ!^0LF,}]͛"< /\dĄ ߣыȯ ֒:$2꼏tFQO݀΋JչK3 '{Mo:  cL~UEeg?>:$0ôBck8w)'\afb;+*ZP,O@N>b]RzN|=ppk:ĎEЋdB%mW k'l:ӋgGxUObS?)UOzS)\8`mw n}*Uz[a JJ\N9i UG.U+J^ G+^Ti/qC@휌e'PH1At?^'Dkwq`anߏO:gf'Wm.5]rڪ*J\m`BY%' mjkg1K4;f@u^9+l7^\nU4[A򱽫gz9pr%TsF$D7)Ia,0pt~aSfhi[cQs23b OPܽ`|g^ ފ9˱ټ"2X|PQ"4zMߝz]l^sE~aM/q HAZcEihk촨 E8!=9RQ#w'>/ F{H!