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 \1z|D$ ] HOL-Corec_Examples:threads=6elapsed=148.367cpu=479.947gc=67.6127zXZִF! W x]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]78?xә>z,j<=*) {%5ˮS+g.(lqomvǿAf.'张p}nalad"Z|)eo?k' }lvAK 5n]1}zBgX[wQ6>M4RmkBQHp(ňhP9 bQc-G W-s p Fxtr*ΝʝTc\],ִ >,Ϧx ^N 7`<tѪV*kVcR^@"tj2j=Ȼ84Yˠ2H;o!QNEw*,sc #*f vsem~Ofo`V%(9ARv/ 0ⰛuzH QV~wJv>B囅UfZMW[ #%5DXr(Pst6a?^p 'O#&y;2"ggJƥR?67de¥rD@$Aqd@z)yX>3ԥެD[G[j=o+3YńrlUWb3mNG8]՞rHf8Ƙ 6;).&Y."ɡo(lF٭oI;h864 ܒ~\\Aw`!e`j!M8|f7P5Rtdl\dy2MgcŌŴ]J";PFܳK/nδӅ/P8k*A~D^cPr]aws8w6*x* =xj0u;!$tV:z38W)mni "ANn%vCږhL=kȈ%$rbe֗4REbUh1[Az;;,A K]cAV@gK݋!j,L=ʘl?b'kmh7FJrf5 PvyWg'Ѝl:%iK0h)["uLPr𪝪+sح]@`*{~8Ҭ`6Ѽc JSN)MX".{]LIQw:!#Ye4{Yv{f&Yג/t"Z,\S"nR% Y&5K t-Y.4P }l2R5sm h[iK!FwuQ06H\.굖g̗D DZ:U2= $Cvƒ\Xo;lJw.IatdAǛ.Jn%4]S?0]w48懶H['+ 1iOF4<0LzV̫SaDq|X>{{cAA!>%cyX0DMpSO>(;b‰uXSr ?!fCWu3 S~Zn?2F9  YgYZ7zXZִF! Y1J]ŗXi%‹$f+gp[灀`w J1r8W;[dvM*+i͚GŲOTf|˺o ǀ#-Ǫ`I Wp" *jXV2tb{J gÌg(7Ui1$ 3ZS.ʕ;pN8GTl"!b4vȃJhbFWdU朹j,jEk\]em ˭FXR?ǥ9=B#:%[)',8ƫ+jL QG3I(quS5?+ri= ZĆ ''ndůdLw>Ib]I6EE9[( Ռ1g4\ʟuk^TGܑ!Nmut*6©V-Is!UuC4o)-5:طS2 ʪ3cZuKE}TmbE~!m bgcctUT: 1 HOL-Corec_Examples~7~r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ 6M4I/E*>)7'6&3$2#/".!+*&    ,(G hJ  ^ k . p2 3 H  V ~ :  z|8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HO+A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ  v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZ ``0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RX?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  } jwd1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gqp1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ 1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ 22v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id5181E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZrH/Ej%Cl$E)*Ej)Y L=bX t6q%ŷX qkK Vx<)XnI j3qs,lA9_KW~*22_qy<٬b|W*P5.Nʼ]=  0|:R(hLz,*d:K:TU 0Zx>CO|?͹I&GW$CqQhLUrs0)Q.! 6@"3cQy?Ih*JF"؞X ]CXߪgC"1pp\h_j;apRv{bs`6Z80Czɒ_󩾫9h %gr)Byaz+#d+U"A#٣g '-9r{oYMj TE<`f֗hBOG|mWI "R2],,Au& Sřfm8֋TYOyU=ƥKV4zXߎ$ O͹Qv(1y[8Sϝ!Fމ?iy KڞP;W>~K-Д^G=<&L-56,ŝZ?<| [@F*hunRY_kUowg]`jcCt!v([^ }Ǩu+\qV{IoX?tU!#a&Bd !hK$}*ȑIU n̾KndHAN(Qkb[x@Y0fUvu?Z~@XE\ڢ/>Q ko[h쭍o՟IGOZ[vLCq Wu/w IYrm[^/`8'lGSxz$b5E=} ԞqkIWl#)%x?&<]oʡķH>0Uf(ĻZŴtGD. ^w2d 6_rrj G4;- |zz)LnkЍMK"Mտل\jBD.V/g}pN}"::eZ :@29JIj,/3PC43lR/ƪiA}}5*~NcU0Rq![gR7Oq:Z(Fե͙EC[J.OU V5ޑ,y&աN`/*bKyٖyM*Lo*U!"X7[!)x4Qs)vu=]<j$K+WecWNcE*N7G@ز=qIqWi~mF?@|ݮ\䔳 ߡYHS5ďe{rgl7߫/.oUnsJ (5`hgpHbGK\z S+tg@&Gwڲ"E/moԯaI^ˋi7Bl >A6\2(<E E,N}o0Ns#f&54P_ɃǛƩo#nL[g;MEKItKqw~QFǬb(UlOZ<#ɸLA;#}@RƴXO؄s>wܟw=0U^{i𮑐,xz()DϱRLiK}q62+pHx*9^ 0mֻ"JhdDj76ǝ)Z?GOӠsNNBNK,uf~{l[OWӬIKۍ F$k[C~5TƘF-klA MH6gAxoXw[&- g*9Z 5gYZ R1O# $HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tn7qFy8aܞA1R=qd( #'TDGS+҇E31{?6.S|K%=vNB.v|kpw9-) t^ $9?ZNɗs{q7Fe5]. M- `4{FhOP&vLXF|YsJJ< yx{1ql<Ṭ $ş{EQY: [Ap&=wV^u_ƾV/oO Axg%JvWcfMG72/WM~`#aɉ:`yGZ%`G@1| gTx?cChӞS\_-51b/Yqwze/)XV:AtNj#mge}]A]j )`r=p)g7Eua9rz*{*[.<">(^3nP+}} w.6~3Aْ'OOKHrwn@+??ʫd)6;*Kp$t֡YBv4okƠ2r`]i~&0q) b/}؞b K"Jod5>\ " ! q1m*5V,ʰV}Z2\~?T&lcQ[SYF7YFݷ:yAgjY';>)pE>asuVi [NDz1bORuȱ6(z{ns % C.ȫ|v:%߯IK mizuZuDY,F:\:C2r4;&+;3U)Yxޮ*P;J<v!;G5+nvizcӾK፝PD59hm҃"Qg3fHI>`s1&D4")WU[`WI!=Yal&60*2OS@D377ۘF̓1[ռ91ǒveo":K(#ija?[F-`>_9cHDŽgI_ni)S;7F <+J92)W]'>+{?la8<,bDrև[ Ւ /% %gh>neʋ&Bί ؚiG}xwE8ϙ, 4? x_Kr]6#}=݇BQ7q%Tz*FoG}瑦Rl]L7)4k{f]p:SoQS>%h?n%@1l0tm8Y.im69p|p#']@0 *S E 29=N-nSێmc޼fej(d>ҎS7;;[3NSΩm| #D@#W6Bg2KcrզӧšN,sTVIEw/=\_xc_X[y2OsM mzW}s*]sM?2(Φ5pE5]F *ҕ2"UluZdF>_aM?9H`}[kߙ^b+fUQCK%W&Q Cmg !>e4!Iچ3;I ~c#;`| (=*of298 POЍX8?q]{T?\))dJʊ+Rwʶi=;L_NdK63mȿ-#;}13CGg@KR0:%`ȇ\&n[ӆڼ9"u!ݏ!y"NɬKհc {e쫠@xoS`$vi|~"T?Jmu~ǀ6-U ~a;I)RKW?d(Q@a{7 <ޡtLĺ\a8Rc@ [) #\"vjz;$\[mv  +?AÛ`XF/YV/Õ;f^̻T[v*]w˅Tg9b=%`h˯o \CO;Xhƫ؍Y 0ڝ'l$TƎRЧw% iK wWu*A$Z%v1CrĻMzuPYi J )?0 v>b=̶ nZ_|nyCu,28g~r_R]e?(c7 Xٚ='|t'yi#yZV]5Nmrw3kIӘuW~Lta(#~Sqo-zN,)ͧtv:&p`/l'I(_.8B,!䥉!2H8-icV-єNszp |JV_Pyϣ< mvSe8#Jq(jn*X+jl,u)%(B1՚&b>G;9b%m2+QiYzD?8Qvmχ7 %<\Tg (0{*EprҔZU_][hR2V$ޯ[%X*C+ 5~NNW#XdϓnR*BgKj&mkH yW6VI.fO@f8%$U xzwxm HS ߘH5y6W}~„+RCdӍq(K4̔ U?pR&Ɔ&Isloސk@ o u - !oh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv GD't9vGW(:1׭Vk\*qO vB6TkR!@/oFR<6urnPrؐp ŶqXvC^lD?o`B:.2$*-o@*Q2^{Rjz< #Q4)D{<[]rd h' an6 s dC;up~U T1U :> 3*IZ[1We:p v5h'z򉲥*7cɿ ;oa=zǫ mkrn,=1Z3e֜̓ _^pͬh]-Ru  N&DȞr;e="o&+<!d<')UtAb qmGʣ'[)Af$+bX_uO2P/"}UW0)~۫VTN| _i.QA=޴ UݏEa&̷+ ^Rd;gSRT̥,,[/AYp}DlO!3VAdr* =S`'"+-5]]nl; O!3# +Ҏ3Wn?ׄXz-cY}Ƚ@mY: Lcj׼8=O|"Tޫ E㛂=I=)Y3|3='(cgzDXCC4q{ʯMcM>VZ3AȋS|X2Igg3&xksȗz#L hV7'TAvUʶd;1LK4AnxEe?v1.Kl 7,2l7ۂ~%Tdi{b(:Q)6I (A x跾gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5381O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\7SPCQt2a%2$"I֮çБq HE_r% ' tjV=rZTƼ+1Nx$JV6鄧7ua~ayˊ<%UujnZyL/g 5k_){>9<$R^{kC7h_!L=+.7R ecשWD6 WW)_qXH-:|PW,DK|j@ DyأzCL g?Ay Z>'NT5kE{AÊsApΝ=Kn}_YAJ3SK8Dݴ%>7pV"uSXp.,f롺[y +o{*Ps7CaRg<+J=o1XiBTRCxFI>2۽Y,yw۱oqLZ礎CM >A;$^|ˏMXs1{M)tu^}^~.M[RJ(X?C[?+tJ3+62Ɠ7Zԉ+IuycMi3r-z7>!0P"ceLYX?'aPR-A3!`1KLa/t;8Sxdhhy9}A/XDij<;svW9>֣l $9(jNtRx5qh}yƒu"9%q42j|D"?7%TO # /_γ |T ƚȆqΎʵAOkNx!0ŰN }GrZ q ]lK%\s<9m1$΀ EU2un;! x(u0HbGSٝѾaZosOZ'PvX)/fqq4BT0q` CJk#PfaAh#k LsC DopQSk,K)sғBmz,mҡao?^6Oc3[ 7UFpbyާ,pOn~@G&>X ਢwҺ-jkkycql^Po>kt98ǨP:I-S eLH矓nqNcUoSA*7P!вjŅ=Th'ZhpxpOHǙqt"YF3ұi,pl7(;m\Hcء5RO )v2-Kr:L\.xdfv&^rK Q5_~$ڕ=4zIF(ȼx^2m +SqwT!UT& QJ[DI[6֫ѡgYZ 2K1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2H|!dmzxM iؕRGUHF.W8Vܾ$xٗMJ +$ȾkG(ы.)7FT'cZtm]">bEphligSЭ%4NtG*)U| 2 c Z7!GJ`DF:^$YBqЅuʥjiR9SQ79'$r GкO^~v5Pqe33Rv 3' 9zQ0|oddU8iGМu6BZ iC<taqCK֯n)Ys76U+bą tsVLSjc`Ȝ{37 GMH|{vPmjBm 0X .8Ru2\WQcx. JCz8Z$ڰ-Hv A,GwŝCI=A#M~YR5W5xs6-"u?XZ B؀akYqd+A;,Qh W´2qv&EV^D4M;ë7iCnqCNޒ =]F4nd؀&muȺgdtޔTa9k烈DٽOl^50 e3aQ@%@,k"<qlF,C1 IBOټ!y$/yL-%ͨ>c`dL\׺dmfg1⭯o1Qߙ]unM /$ ]ɣPGrȖ.Y ׺ .hSAP;)h2R m W0>ɐ2h! 1Tz[޶ .1"I].~\ -h``F]ق89D R\ ^gav#s )^s(Z)%a i68UDX4-8gXB~%ES% JJy3J;v HXnЭ`\[F+I1'55@34|4=՛ IĬIێ9´*Sp$cgBU|TӱgD} &=p,S~>K)[TSl5Nll0">j|ݥV#w~E-NCII7Z%1*`y=Xi/' l_ên@ʷŗ1ƞ.?d7I?k&Kb\ ; w9\Nu@[;TbS&l/^r[pNIqNdEg |C'l|84HI;?Z2wE(3\n(MT>5UnE)/ M,0RKv1yj> ^t1ʷ7(3bXGH m7QGqY/K/+xNh5'\"AlۉPj==(,iq)zo.# D:b xrIͼi/ ȫ~ ȍ wY,3dA?rZ4^Z6P!+xK (إo -?N}FDάMKEôxBkUԬ:²Vr}pidʑ溍RKjՐ)A[o &ri&A.4+y\!ܬwi?4Ъέ1EioWQ LJ9Τ1^֧"I*Nj?#?>^il^H\dM֦,τS<%kdQ9=A"jml,{WIQgq#Ҽ;u Qa ^<)<߾k PN9]KQі'h^,BGx<f$p"U%=ϓ)ɮ ~OWd.p֗s&`(AkR5lc5<7eSxl Hã\KbFc֒Pg8S닩v]ͻnY{Ab^9>,g>" ÿ#VM.FǵFTzZ]zˆUn~3r!Hfy.t]HÐs|E'sPM]*:֊yѮ5?Yf|⠁~̦dC)oR0cWg7B!iSvk_ttyĴ_f‘\E kC ze\KD5Y*~r񳢝z 0Njl=CkRپ( 'Q$݇U;Ai=cMzIw=1vBA+>^eA`^I>O B*e+~B DUf~l[ӄ܆]X1'򾤩Ybzoxɪaޒ\uY4u&@o' >8ЊB.GGiV5 !2W%c3Ujm8N*O%>5~6<"nBF^-ٌ˵־gYZ'L(%J%TiG4S!T[hA_DFGA( i(q ~CD-%dOvJm  RqR}s{,TW"%8"V6x @gfPvwJ Pkx`UlE~涛K2 E=ąsR =R(gڝEFNR^:0i'sQl^mF)x7~(Ws`feJb&!x@]Ď8b绔#df-T  1 WYU=Yernm8 b#K8X$A$M7vw݉1LѐqWM9_]%n1w20HLKѥA!^ (/΋6YҀ;40=b@^$a KsKIX{:JzpÖ0]PF2ր͎]K \VSĝR 4NʃӋ J"'`^\<? of"iH8,nZC1m۰n:!.ibؤ7dM:ُɳNm1A dyg8ֱR dA[RU%bX7Yجgn%%R\%pNHzPאtv-bT-ɋиPۗ A^j3/m׮W/"wL&͘2*7nezlΜINvzj{"-X u?YH/9aC z'_bUY=T6gp.vXar.ԧݖʗqhipk[=1Cp_Nr}}7}B+%*6amlIs%5} YR` skJwW')cI{Ck7upx H;~?0"aM)Hr4==U[ijh^I*W[b*IkWd=D޹\& 5Θq#YM=L4Z'I Ǟ\[JZ#%N? @},CL#גgP'XVX(8qqE*Q&<ڹUdA] 8Wu0W6^rIs)&}lVW,TCɳ[{h5+5ۓP̀l|,z$.Rژ류VsP;)HC0 ? ,"' b! aG|R+v-[vzC-nځSܤqVvbGgjLj܅С$il;XoA>?5yѪK -#dt,%yOѭ2;dSxs^R%w޿NŖT3=;&N]M0M?KC0?/ ĖϢa٘yCl"OPnYS_ʼnH"T[vGh/>,cB\'gAn+FrvyG-}ySJoΜc->iU7(iGhl{%uM0_i}~Fq>Q& W]{Pf'!d ST&HZ ;K ^D&Obɳ:B!, $ʼ8CDWT"w-A q#[K{}:#wvrϯO!-wFChRhPIZUAlԴݑ6 RR~}L2a՗S=ȄPVr\u ߴo:qTmj / ئ}B1"QCٵosx$cIq m(V_P&r! ڹ'w5KK V$ fBR Ao^F.6- u5^|&oҞUa']-Ղ݁er]h#KzPF@?9CS&} oWǶ,fd.II7V+}{SvDmKTH|]lHs<$XcJܣF{h8TɥeɆ%UQf |f=YGej;EXpگս4T(Uot :ZRP7Tz{| %;bb?*ЁXiءrrϬV|kI"8ѣ3A|?ՃcnqvHq?>r]CSm|ARʹ|0 Sɏgy/Ϡ!.+ڄlm-ՂڋlO0_S[χVCHEx?ܤB?DH oXY2-A;_h+=i=ӰJdًY+s3R $^i epP }/ F̥V; 8h;&Z9vtWp6iE;U֓`lFCĪF_/R ̨@$i~mPʷ.AmAְR0jQXd8dQ'ݎ$^[5Տ^{U0k+:L MCY0¦OH,P"`h,k Iҏ~!%E#Z[h8M 4zHBW+ch\Xt@[&H'\gsغ|ueciy'wϘߦ+1R %)gYZw# 1O# lHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\tt& AE۲^ݚCs&>HIĊfM/cb%ɵKԒ]*pZ.qPA0Ǯ68t1L)Eh_(%hd/4jT!8k!_۲qkߤP:D5}wٌc="8˾p cg9J.oG=&X@%Smd=y0 #Z(oM򚒼G>~d岨3‡b_޿?/7cjNUqVjC.#)-bLHxz,Z.zq&&Au缬vSč,K5WXU" C})OV{IJ`w!zp,0sM-(&v D#Z߶^뇷DFYGǂk|CK_O TYE4]Dt>wG,ArHcUq"`$ [5E>O%@.(ԌfY":IwVb a_WZI8$o:QaUFf3X͙;y1ʼ F5JPFDZ֦''h|!&(}j ]^ZQMףV*F'%;,:)Gzq~qo v ;Ľm1Ӈ V8Ŧ:tFA͕a;Qzlk`&9nN0 P%J TaK^?jڗؤk8 tO`L_9ũ)fgXB]~CZ>1_l%  OWOUOaT11>aNHťJo2(ݹJ}zczQ%P 9[L2/W)8NFi:‱es^!6TpWm L w2T%Y7ĻNrwU5˄j,ʝ?򛏆j,'-'hmPn#!1R5J_HLB7׆x?D9ywhRGŀJs6dzWʝP"6;{6$EzτX2Agu}G >V6<Ȏ$&+(lgĨj7q ;_;0` Pw1~=.w6tĄ}K *wuvY@]($0sAӺ4 (2䊼:uXo8z+m`/{]~*Mg2(LL9$-5bA+tL F%۟ը Pai T-A,~Vnrp > P2[/t:i'#kqo21D5 Z+I)j`X@/C*̟Wkk@fODf52KbP(cjrh%CV;#ǀ7 NZփ$(!tagӶ)ZrÑd lM><Z)lP=ys_!TqFբ `n964l} G~Z%.zfR a".Hu0D };o&M*/3$A^;&AY{A4qp5'2ߋ6MπGXV6 $_hlAk~]aaO쉮ep_)U Af p)FVFDuXY?` p)<:vhS`kx z Kd0p6) r67El 9֩E :sb^_ :Kye2?03z =%ۧ(pi̾^B,, j} l6Dsӏpq,XI6?zW ;Rpipp߯:4K|G*DcZ;']IT,.}{\ ;@˃q;L1ם44-LF.uML}\u |/o`W)(Q*ߑSnf$Z/nlQ]WئCNPP]erS?ΖtGkjG'x?v`Vp¹NyV!6dod:ACsPTT]DS|2 1Ԝ0B$ƻڑPQW7Z>]AUjK/$4dHlQfn zn*knTLi%TEPmO,qd/^!/O>fD^:ZwNzR'YyB7@ͱJq%5OwV/1N!Y3{hsz*6$D:=tVGeu),0r•|DV=gUw2chgŲ\)oL>-8O!\\RCh 2\diY>.@\H+PL/.9EQBwIe/MCRShUw@ٍoMՁ! ^4|[,N'}SW Yxgd#ή+>z3qM?(:(FtsZ"p.b6atRD|]hi^bf)QGWtžD5*G>vݢl35&:ga)?P]Ke w*c)R%%m C`&ONeJKxD#>wxpGrs(́ Noa a_~!h3dM3Ȝ4܄Y Nh-czw*'M [j#-M?>[g r/][IHC )j&cFXӞ&iK)Q/y I,-)eBK+iXs`vr>+ 6 ?4+ks8Ptqys;)rk^]S$b@ 7 ]V6b[mL2B\XM9 w'K<.޵#Ҧ}mRym^3-.@oW7*x {@i@Ѻ[*/c1.gKXjcsckO|]Q-OEGc=+<~T<)yp+rY1$K/p~6GdQFx11kv'}wAHr(&]!3?JQ̠y3 h'SK`z(/<'`V>x?do‡6KYΐXRWbΑ #5%OHoAc"wAxOxFSd8՛[ ߂Pöu#wbڐWkqzn hg gyԳ(/4uovg WEϜPXXGYњI1D褞cQO 71 qTg] SlH6O]{JWze$,~ b p=TsN{nh`hO+>.{765MȵJബ9h8-1c3q:W RdqV,OmѲJ$-Kg|&aӅCؙMh&O!Y7iq2TZ#ؘ/1$![( .I~ gY)l\S.ݾ@؄MÍODY/hJ@XCY̡?p{O`p{H([YI "P<Áre> `c!Sˎ{sq :FdJ{vꁜcSH[̫9h\jHA+1o-S+m ~EDTo ۸=Vy>4 `rPksZG6Ih _'Ey~')M?"vdEWP=I9u)O ,| }S!T[1>hXdN(NEKEa0՟L+D=ρx$B]ň<1sJydX[ϥuֹ)Z j)-;I1ؔ#P Nv\㔶>!_sre>`+:?fDykɃ:Rۺ[q0"鯽WuX"?>?|OgDyl\[qc:FdBwFpε5j\e=z ղjS(Uoq2c|~kLixwq^+J2ł9] m 6F4>KQȓXw z9o]8fh$Ɵv 7sǣ{UĪ=a57S(ZHykX 7|^oc~i{$.BWP"2V~&漓Hꜷ)eNf$V+ņL)1l&΍&r;{cEi}4q5bսC7_1xR1<`WE(O~㑾Oe (CNR|xrǀ:UPÉx[` 'm?vIZ7;t@U}<!2qUXt"1ϳO,Hv3$Q>K6򞧚V'z@T\\ csgp6ّx`y5դ DSNc\12_eZR<{*'z>&!he`(yE{1925/laf.M=w*bw6M,/qM{]o~ ~o*gu* -3(3TJE,i3ff7@- <lvH\y,0r{~h`6|8.(o8 &b t/Iog#\2׌Cыc@7"G.Ygc DѾ4ag $Z{-tNlI劵0H2?RHh/$zzیLcNPʃDhLg/drsAw(Ala4HޱgYZ |l*1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH)1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id530=(1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! :]D?7 {?:fH\vVizj~4/B~)+hzh.*C L/o3,rݐ`4f_ UNGQ s|e luTyKW ,hCaUH*jt-\>Сg-?9΢QvGNsI_6lmJ{#ʘLr9cSCܨ#mim{~9"r`8H]<^)$G'GZpbmLHνbLx+TG]u.飆(Ql.vM[wk)Q`ML=+bv-ƪ*2Ȥonֿ1Ӵe0i JsoVQ\ǷİWС_cB -JxDf]]d v]qra#CyU0mќ\^D+o m;<^?ՠ^F~V }&ҵm.r=M5`zt~^5` B3۵ !|h>5d#9޳&@n29{ò̯ϯ#."`zU1Ɣ(wQ! z[ӳZ ijL|Pn81 "K`\(*__9tCiy*9ی^:݁O*S@lsE%/t{Ӛ䱪 R(#9휌 3$>}LNt x@5*'4o" f '7DK/(ȱ1L\32fʨL;Sԣ1d{˽G8|nnHQsRgk;!g #MK}"6_s8XNNZ-">HK>ݢd6hXm tHfO͞KVA꼥AC*f[ OrYj`'(I^x%Qq43f5sn=(6a/АU6HhӘzS::&8Zs{# Hy/l#ZY9"E(sqJe=|ADt.Ld +g{Tw]ˍU,E^;sy*ōzk֧yђTD%|_RӚj]({jo)nbNk: \QfRhtS5}\0HԊ@!ڿ@&.qQpu۶7RTpN(.٘lYfn36lmQt6!Vӱ2MTZ܋6/^A҃rp6}˳tQvgAP ;d >1*PgYZ:S8j pǴ/r{8S(2MJs_1EMd^ĞgR6g*7W& %a^oA A&L4I+uZ=2CװCp !JgN,CMyR= \wYy3a=m쑋~*lDipu~^㗫S*,_qT_A(▷?l.4qP>EjH<t8j}$.O W p;p+Ha~9r(=Pʎ'Vqt!W;OB~t]itn:hzP? 9V3{S8=w_!2hO$ȝٕiN!pXOo|5M[}u 2MZt4߸>sq9#kXQCII8HW!.yBQTr/AC"UI9Z\QEvo# 1SS(314ke'+VX~4sm@ȔO(\ZyR9Vx/?A7/ydc1$vy_e(;p4  :ΒRќt{zo p{>\<=,\ۛKai~B,hIM56ɮ+9\7"^="k*es`k F s@u|!50]*vShNS0> (h2 Z0>xl=\q<1 T҄#մE lv/7,5f&A"Id2ք#w4zc9nȏ~ 9K~M8H;P9}bMG4tOs &3pN+mF=szi*EFa^Os*Lx߷Dߋ%UjDZwTYkaX^^\-L͑tnKvcZ[#Zi0<?SMΠw;i`&[Xȍ=8 \d(ZFT<}!H=;X_ê i0~61A«R5ކȊSn#2嫼xקy 8 G!-g7F[{?N֜R F"4!;mDw94+}Ì]oC6)I]rOo-e2С_M#HVgU gOHN-|;\E46#~9lqOv$2'qԻ+3f[$ >+?:Cd*tzE? vUik` d@-盦|yD27A;@pj?d~C%BIa @h9=Ƌ" vV9q]]wtj涏x٫V~f}Z_Q&2WfIbaʜtBkE27kN_X\-(D(;YkdnG9jf@J(rUmYcۺ WErĸ|DbgҷrZnlb !R h7.N[-,cM}ֽ6zrZ)Ȥ^]׋nvǣS1oA9ŗGS#+/OSΧ+|"i4jMk RP$|s:*ZzWnmF[#'O&k2~~_oz?\hMQcral o_4]rm`y͢NpH)"=+C[@-BM⺒ p}:w?ni=y DL &zKn"cϗ֎_2A:kȿF_ /ܼeMzYr:))E@+PIH9g8G@*W*䚙YWS{ho:q.@A! P :)zn1oNƤ@cIi1g=O|?w>*h58x,0/v؎622TD'͛&7o'w { OIT\V3͂beȎ)JZ$jrS5;hCw|Wo ʈ~1$$TN͋U϶H$UQ.Tj'ZrqTǩ Sh|׆^Kˍ JZ}9hVHhzA7H@( V_'t0w1z[ۯd~f[d7JBUb !IJS 0tS I4S2 TPQ+MT"[dM$$JaH[CTѵxxV02NXU*H'm+w""WNHxOUw8'ŗ 2O7kxJ[<^:ȍcw=U4lD<G8xrWIvR$8O[* ei"0bzz Iz}I5t/,}ʹbrJZ}WDYA &]ݶ?U f-;j{{Sf&YP@ ?F%XNrd`V² 9X55!$Z˸A]9!n|bJe#O{d#DΚT3l|G$PVe;?Q ^l ,"f=57JRr =d#3[{GM54FjVaL NqXPTKeNONI-s|Wrlˏ/D&]osaH- uԍ'qbLP6++Oc7=k~]?򗚽 F*=ݭH<}9+&ql:V[x 6DIHTP$ Ad%غ"CS]I^+ȩI o]þ F}EC4 ]4Rw'厐|EMJS|>s$-g ްՏ2$΀7y4 Aca2: izWА [Mڞ7SnT3F :F&,c ̸-x$4'۫=$qF(\@sa5%lS[~1$ݳ҇"ũfl/Eppr#$CUS&ԫmYԊ ѬUe()Lw ꃨ."_sFNKoF{] jTztAHi 3wqlxtR.l'w+" ږ꯹=4,4dG[v+㞂QrJPg\@FdӺ /fu|$ :ˠPm@{V_Y=; i)Ά~uD uuM'(p$v;yE5ZVPE5K5/fqysA 4ĥ"0.I=PZlzvbrLTMCsz@e!T?ej6[@OX- 'rp\aHzijܲ`)xT_0m>Iv{Z:FJ9@Z#,A8rM)0{K%-[!\ $$kd*J6-#@#ÄVe¢tFT`/<55UYB8;^2& ou5F6fX1fǵ.C5:b7=a QWs[rNŠIy -R2P]:H\xU"9(%S͚L#;7M`>$4{bW_x}нƛYڋc~?ɮtBcP̧B{*wPW<xbe-dE .Pnz aVu6V5:R0[9IaHD/&W,m\%Z.bMy9EgǗZ/)W6JּH}ila!6azOdd\ȕ(}J 0ul(CAߑ5DxEQ{h40ml_ cۯXg_*GiNas0pR`C!i$M?U T@oߎp#و<=ר,Fhc>3Avzqs *tt6l2q 1<(6%W2`JB5\@X)}˳|Cmqʸj#AmĤB 2'ϬKڡ6MBHc~} caWXe*Sށ 7oQ>\^A٣G1I⬧k3DG:&1dT0Wq}=IjE/zFd񔼽r@v"ŗ~ r#4#w$oRf8^_!y -02li!ןa#cD Ug Yܤ.5jfaZ>?tPoJ:@=YWUW&KBaːp%ц:ƺZ~Bxó]Z5/.f1Ka]xo-ХfJ iB0-Gn*VhNj*cx]Zs<3:e6#ȭגQs@ږéGzΩ)_|ґH(!y_5Ǘ/ sЩebc̬rYXr'ECiiK"1@4޷S?6ڮqZ<}ω9[ <@%ؾܓre#T@HјBᡸM,a$/V8?):Tgg,Hr]L˂Ocq=T"m|/w*V^DT۞&D[U-f܁Qr.^ߔU³ǜ9edC'p#uO.`IqD Sf4]NB-W[y΀JhPV(NfrD6;,aF C^Ry':kcRi򓴷äM":Ž7M2ە$oP/dVwWz3^ S1uj~!فwg^-pnw,[W?PfBmm5'h3b3%I/T*nzUnT8^ͰY0Q>fdzD:Ҧ*c+w6+ Kf MSq487_w[j)%e|"|cdyfu ˙=uM0$*ױsuJǼwiR_P5 K핉N}zǪ|L3F!ncx.Rbh21`pރЉigi}z8CdJC9;n# cbRCd4a«m%=t|wuי̸{,@c/fމ+ev/2è2ԲԬ YQYь=ET[nJR<9LxNiGLnҫUre#~|QΆtd}08Fwa_\e Aa|d sCKrG{N%n3sJ)M#TI+VdEl*4}-)8Fo`ͬ,j [}&Kv*u&~dc3ޔ%Bج 'n #RIGPif3'F<nBcjH B4c A~ԍT=VҰ!7I/[)iv.BX1XԤO.uN6 ~1Oˬ'ȧB#ֆPdRy&VNs3ylhf.<Bh дfGpcE,c-f$ITnɠr'wtOSur0T ,GK@ O+c#9)s!krd`R5 DAiepmJRoN&<|bGa>T%'h+{*VϪ+R|ww] KG1`$W<1θ׮D=# > ]8=9SDmTlX&(J|/$y~#|uų>Ub|w;h$HӤ] YDđ^2$%m vHa8IYO+Mm;LA"eUn_/Z,D[>QE{;rO䧁ՏE mAuer:A\D#eQF>:J hڔx=f= ȸw @Mῗkn`-wHh)z88t*c?2w̜UɆP8/"Qu' yT7@s p1)ٛ3Z:hIM~Wxu E_ k ~yEkԅ+'z6BlÜ|[KYl*~=FG6Ea$?1T P.COnd;O~A#]wsgǦ\H9_}[x>|Rtx$f$bՅV+iA/v`ʉ t%13L)#zV438t\o:.e+G V}rϒzs&Ѻ\bXw1BӀ@S. -k jX]繠/Rgl.W M+)y% px1PYԚPQ;|Q}Mw.A5 UXí6"J7*V @eCx ƄC IAјM>8Mui+U{NBho\'w_>o1#i2qE0O'P0/2&1\m\l3IѥIZd6## VʊM Uَҁ,wS5x1H'3ǧ ۢڷ'2ENWfZxak7zdFpkx yt@hfvƲ&}PxsLx[oκ[-u4Xgu8=Y[cCzd\#ٙ(k/U{cRf_i 3>yʫ~V >9WNF-jUw˱F<9aSwⰐ<&deU$\STcˉCĮlw1{ࢳTSxɽ4 MMW&trP-XKv Sŝ'ڂе{T>߻|M*$ (zH6t 5L75~_p#Vzͽ$0L!m(UNGbGAGdF7h TS#(]g1f4+d/MBƌR~<$j;Ln3$ȞFPK)egl U,0 tA~e?1Ε#) =xSC'(hͼA%LfJNDn< ,,1 4c'mQeOEᓾj F^4 LNԔ^l؜V*![}f{v!p; *ssa6WJ\wB 9i60f#7 $Y4 2˕GY(T`|Aa/y&,u)@v=lMu8.Q$hX.ͫo}~ 7q}8_<07$F7J{J%}P%v8n;#̆g!w Z`HQKaŰG!)h7 ՟1*F)j(LIt- 9]ջ<ٲ'L MHq@%wG{+n vQ7HK,F1r{ڞJOV Xylb{ -iv SInUѮOcp/q~fqeKkR_ۋ6:!_R97@@ V+7# ޅur ':$ɓ4&^GXouwn}[*A40&/9l!?)+Kn'S}4qQEHLhYr#ʩLWA_j蜑:Uonƣo{ZA-An>n*M߮=t$:?ScɰAPPcPء4Eck /]X9~֕Qc BaAYڛMx{ "P-.IXwO<-!ɫ2aŔDh ϹŸySҔrЧHKC]4˱n ;݈/,Ss,S?]a@G"w`2Jk .-pNM'e."_0.m3pbCp'Uzhm\p^(*Z஼Bp2]oGч{ 6&KĎUMҽDVZNJY y۵0#S/e]@hF@f(;p9q-+;b%[Yw9rfܿ"jٝH$- Z_|'M<1!x CFE ѿ(95ޅ1O;ԋt7V>6 q [jH$J;uN6N{=Y0rCQA ά9uu6Sw9"L*uceD+wRf_78 8As~Onx {K<`uz&>R; yyԆW &[t]3YnC̍^f>˟is:e*_4mND U8ev<@‰lk=|;4rЙξ5{WR\eߥ`QmlNRO=?2{lUhLC0`gPf7ղ{:s9D(>LڟxCIdM)U­XY&֧Z?sEVT]!?CiHv9G^:~d_X.m ]ME@d׍a)* Ac7Cŝ<N[LF)NcM`FnyꚑP-x= 4(lT7 Lf/j2d1$x:s9)xF+8I + XDdR1|dxްԎ̊jĂ¾П"\{~!/w8=F 60Y{BoT|F&y?O憚4(@}fEMV{$ rڙy[YbvIrXͲ`Z#d\p\BQbLz=?-^ӶT ntǝ}J@ckk K/3*NQZj+KI 5K5g'Ĥؠ cf,K"ձwz;ZE8tƎ"p tJMXѾ)qeR1j 9EA90jޙB_l8n`~dY<'TG&ߓNC5+WԡSD52˱3s.%HDR6 b/)`w̖zNL{J= i6{w0\M+ඔBAe㩖Rr&s 7HNW!vGʭzJW݄o>>y۸T#{vy]Uxg~,0f_,Dy0e/z0gIL_SRn8Sr%W4p\j'b| n t=(]'fCwe?t5fFH:cɒkwW37l<-e=j3F$I]߸Q`i,Y] L}DpkQ)HU;Ӫ g;ִjJuS = EAd+S+J] FW-Re;{G/OxF[^ "4$ dڱX6 JBC% fBWH$L\~ "ag'$>"Hh @c&Ku;H`MAV-_ 5-)(o %nò1Vtv7͒2x;4Z|u$sên`W?xXEþ/ejz*׭(d/ -*jvKG=,XQ=ymNo Qג@JMK;Z9QMlz$!e' b(s_%vU13 a8#vǵqYpsJdU\wgV<p" NbPZ]RS'|Kdq<XmAc_J,$bѸ"`+?$>:@mԽwc2{z9LShX?! ~ma/אָVld0׋E@#7ҨCvG x5ȯ\dѢh<>szI]x7 n\ E=P YJ3yhSJ>0tAT㉫u1Ikֱ!(pD.9iz1/TuH'&e3RX3>tGWjR_cIAE ݭ vcEE=G-#܌)_:0 7 q?jk!.3uGRʈ9SWr˙&v&*Pʲ6x!Uj`,J =C988 w `PNX\ $cׅ!UR2MycT^5˂*hHJ=,4 Mpjy bl /J5l:wkToPdI,|La LJ;V}pߪ0\jq=:t|;V̢]g {'n~hP6Vn$4"[A*rJ`8whB!K] 3V@,'dOJAbc)2vd%T[üw ~̂j. $f}UK{3B' ߵ9QHw04+tUZϸAO b,OJ#YuPM=00Cgˮ<&2҃=a;8?9͚Vꖤ'hV<۳BE6A<ݙV䏩>NhFS"7Bڭsa jXb9ÖSB=Vﹲ$Ro4Xg$}L͏ P!u Bw90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܡ] FHhn+W) ˁVA}l Tuc{~H/ʳk%zgEG-T"a{ k7eGWOsf*;X24AG^^seW+6Of;wLUucH _o4VF5װjZlk5acw <[( eIٰS?ZYJB=3ɥ^\ U[cyDA/LL0eE `RQd2ٳzL=Oe|bcmjT0hnrMs3+Cj&Q)@^b,PO_ 󃥥:GrXY:R\Ɗ؜|"yK]W 0v#2dZ=+@p_],xQD.IJkk%`}]N]#p sv.1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id540;,1E' |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\xZvCdAٷD:, sdTs-N_XY>T\~BG)ϙRcdm>/.|#6vk8&ҋ5JvGb!$ /e o^5p DOH$Ʋhzf1S::k1iMp/+?'&g3; [?"XkWq0|>IzaEr˃,~f<L.rSxGzш7/vnt$ռ⛭[.iCG?c8_DKV "D~kl뱃r7ߨzM {J 8>08\xsZ$u6w9AE^;ixQ t"G 5-p{[>W>FDeƻU_r4覧"U/*\i(T65+ 9f]@,hCm|O,hO, "uv6c/#OkCۅ J$[#u~)<P%u-@%#l P>r:XQn&_Xl3_UO,cj~ { F!e;^ 03=Jb5H}䉮dkk;x`7iU?Fg^P)ZN74&BM=ȳ*&$z:$kqO[قz.>”k3dC8Fi)`q;NՏ=qyށhBEDmR I`ZREeZl}6BOVnKX.S؁-`$UUaPh7НvUo cbŞ}2=x{^bTnx# ךeϓ'n2^F}+u9Y0(/i @GC6 4mjX;P"j}_USD&$uAL"5%Ή/S\@'<Ⱦ!4LB X&Wsn RFlfj="(4\ cB#IϷfy?$]-@tYo] ^ Hf341Ԯ\#xUȠCz%PdQv[a]NM6nPereG\\a1;)[RQasZ7N4Jaafn#"SN킎\A&KZhCr\.@4խW!R ((saL6̕%WT73 INJ {\ՌQ&"AMl !\)`&0fGDkq:f7hE!0x "AQSgYZ n/1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! f]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBjH?kšuSP ڲYQ[D^XE_F ^hC썝ѹe 4ggSJ|PIr;՝˷`ݎKp 0bA#:gT\CBZE ظiphx8 qeUP)ϒj.˵mh#+Et9+d§G\J[?DlVŏNJՊ]EClz%Aԩ`Ϯ4"٥|SX_>.>Wj[x.4Unٍ2 vf4BY0!R?>|[)8n)?f_+N?VB%Adtp:#~ ,[mo< G-0MOECKmVhx+x@1e)2-D~V }/lNbn|+GuQW<ⷹisńB_Jа vQϠ O:ߍFS˥ |iFQE3R9x =3_;D7*("st,} kYfA0[y^Sk/f-dORę>w=j鯾.dı`CR|ZQmO®b:(?^&' N ;+ ؏(Ad`OXh O/Uآ ȧO\hF]5@:ic+HF̄w%yw?wᗛE,8!7br:&@1 [}T*x6Q BrWYtTR}yBR>d(]Ӝ,J2 ѥ XLQpnsoHS'ERH\r:Y'srK/PxBggYީ% ItLVzh =w$+RtF;UI <?[p::^.Fc V|:ћGc8#0J/ UǁDcnjZ%xLvE0-Zd^]ԧmzd/pbtDrѻdmu6Gs%6TZ1n5o,}!\DdC j#40@mjYbJVRM]5htY?J[쓡IUi5υR$en_b;%2Cpl1I҅PA `Qpl}l`68S;C1C,W6E2NNO WxGE/'@pP8CWW_f=`IͶ)!5$zC %sbYnh #e0F [ǣXVF[,խcWҹ`Jk"ׯHEԜ wo$T< z~T+r>AWVBI hDRo438U{_e4^6sl]\h[G:'! gU@]Bh-)ϩMcO3 WpG C6UdEpu`m}YB;QvV@c ^?T5^ @w-wL$6=fiN*sM(gH[_C&8Tm[^VqevO|G# g-mg־νD5qλ޾t!Ź_ң 63'MCop4K7 3Dnb$#Gf\Ejr.c#4cC9$$IJr٩$Z\:eR@Y_QbA}Q!S̥&yj%JN"flmxо+i7}oߥ ͙kBx?z;)H7 c1L~+~-sۚi697C8c,WUdj$"=JA5 QjJJ#BF^Q&HW NpK6@L~lwZ?xU&[;["#5!* ly+nt < xl@Z@GeHr!+_b嚖 b"F6-:eӉU u52'*{b0vREmʠy&`2[OΨB@F66qiq0+Iq :N[vevW_)̔VwP+ $-uת3FAj!w`^ YW^NxTW4xEA۷s+3m aו7LRTcQ$|hmF̶Pq28Rx[-pGu $rWf]. Hl)HV0d^9T;&qBmq[Ņ!KmΌxj_1lB;/LhWSRDh(a0#ӑاb|[6Ih SM!EiHtec;^8^PEQxƼ3nhpcne>Z majQI<4Ґ)b ji۰dy&x GEzk6ǜ !T)~ 1c?V.mδ 0^y7DashlJ/"%½,ӛmя#sc vЭ+K^r٬ǀXy9k0<=*ұgYZ   t21S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO11S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id520 01O' nGPLКVaȷ`lF^ȭAޔo|NO:.kΛ+{m_);ߏ/sOYW̜E87Dbҝb[ 4p<{O/Q.% O m¤\OΰiHoI@thy= 6S_TzD"􉁜8 ߩJa _uϞdڼS^t |6x8_N`q:o^y|?\M2*sbkK9`:?G̷ؔ?0}otI/DJ`Ir]0?+^?5 :r5BrO`9^&p|;R%,M5.j{USېVY5GS!s@<挛kf:Qke iFf46G{轣 g!<;9AbPׄ Z^#@~5%o::S4_hvR׊׸{9"Q)>밷-LA bf>Z]3C.xCCp dFvPu{9kzOblGbI?YRȱgYZ'{njЖU+|6p/X7*y?!Qz޳RUlO`/*e^**5 ʔu՗l, 1׿[] (63+"80OޑD wՁ嚴<=Rmb PyUZ#4N ˂fG)%>Sg<0/+ RHI`ϊ _'ȭ^Nw7> 5]L=tlh!L׸fUj6ϡJr!4쾍ʎ4ֆzҢbռp/谪7ķ *#*xdN3a qi#= cQ\4jԾ;zWE;G! %YF!] jKkt?[ғw)])E u-Rjr B _Q>? yWS'`ԺHWSig6muM ba3 `D3!}04S ' RAC*Mg#NƐe7ik?yo9FdXz8U`:@(^gu\D swim &]TCkyWj'k)tn,)X{aKPq,f>0$K#۟[@nm< mJa&mnDZ;\phS:r7$5n/ t[6|t™eYaQ7!F_1<Ks1N] 7s;p3ic#nB?OoJmBy)W2I*[VzgCغ\XQt﷍5îs_+pAͮ3D7J 1-#(g㠤gʇ̡j'?u<"Hu^ppg VAYV(M͵ógy;P. kgHRtt8aQv 4H. <u|kLk۴Z5B/ǂn ʈx%,#CHw8uz/h. lyG[87$nQI@ =ot8NrnQ,5VTe8GYmu/_ Qd$iNm0/MXV 2ĩ#J v@BBC:zx@ڞ89y'lI7.^W/χ9d9e)Xk0[oؖCET?mdx)++"ܠX3%Ak+ ]Q%3i2ȭ/&؎`}Iq-mi ybyZ ~s9w_C1+quxKĴG*ܮz~չ+aT0Dvm35q;cG7}!l96Gtէ=⩕\d@/UaZi6 h`^cռ66ԭd`upH(0*ģ `ɭmˉ 8 XJd(o77ɿ3.yx~@^O_ n8xr* %a(S5{- kUw>$ECGt<< ՗>:8̼~?{ɭq@I+\W[3'jT*),7y7PPm8茵$*Z'w5M*>;0e)x"ӏi&=.SGExWQˊ6mqƆ-9 >a$}up!=#su/cZPV@sɍײLCi| ?.vc BZCP~-rl wߗ*v|cDɎTdTWrT,H'H&}D7.T޳DArC孯)j˘?BEiAH`e"m ߳HeEiD*b_^ReC=ydr$2("脲Y-]h%?#=l9c$;YR]T`z/VPށr Pcm"#Z";7Ռ̿Or>q֪ 4]խ۪M᫳oM$񶲝&z'Vx7ŭL7@`$u]}* =C "a&ax`ȣc803[Z|^]p>w"NGZW[3@<Aj[CC@!ڽ-FHlXb gw|g]u װ{bSC=F #Ίvo*B?C?7i-/o>,MV6c,ׯV@Ar6-%Y&?gɺKUdZvA4֣`xbfY>](ǙC83ц5HC@0h6C.] QZ11#?oTskh!oT.̓5o)*O41'|WkRMn$oD!H6c8ۈ5(ɳ&Z0lI*zcbsKnF)zsXHzoKks"+Ó3'D3NHM$> :q}3i+ I-gjÝf%mT]A{ikRey1~s<T|VEd`M$H(!^D¨PR.GҤm7ӒQ0.%_51flXglbGcqJuaZ #8{݇}\&ڇ1'ZP,+zLmZaIFv`%w'u\fwv|:פ~6QZD ^11F[kK$䍪Wa mG|#~_BWM /DWc /i`o7$::/&gYZ 55@31S# |HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! D6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)-"(`1p^9 cٹb7"c/j=#_*HԨ[E\wnI<4Qk lm#(i_]OϜ?R#f !@G[m~d/D1& FX"5J$d&tXBٛD+D;mq". PpqhSt˗&Kܞ-'S$5J#b3W.+Z (+^xΥU=&ջv]% $N5|ÛZ]thHƞ K IG[$gz6J$Yx@עAƠAM4)*1zoq* "8t11=rE}j6&%3IDJi+gHd%"BM)QL[UǵpyMBa)P#ʣ]7V WvNg}Bt?oBܴxP/jwA:.g9^muT@H!(J6bO-l:pO?/'Z:o龣00Vpx~cy*wWZΠ> vû@6@{Fjf^SWWXLl۵-YjI?:DNue+04~=Ow[^̜l}:h~],c[@\_ty'ڍ0:J?(}C>B2vb|2'!6xP<)IE^Zx l;L+p&EAGsuǼ( \D277"p Q>bA8Q<# 4\!.,ӝSˉBfmC6 @ cHy@$K@/̔7+g?: _BM|ΣWr/SXa6CkX3LFD07'~0MNK"|R=]dNފ4$Jy+o#e|AqFng ݜC؎^/F Y2  p ЩʶDvoSг7ֹUPѕ#OT8Cj,z"x52}1A &' ­.RLSc٠ŗ1т8o6b{b$+j\)!UMVʡ sԾG#U Fo];9rpb | > 'L]!c'V;CA Rzx}xX^9Aj ~"fIFXp3zf%f`\YZ7]QGghϩn>@j_\6GHZ7%R7m/`>c0Qj{``odYC*o,,RT:+!._`_T$DжhO0^Y_bN=^" Pq!;8]˔ʙ1V&̟aIqu/zr, Ikڷ~8?oN({6tÒ 8DcB[.Uv{ %]RJ(2i:[? -ÇP-s KB5[m{ު ڽB$Ȏڡa pYOɿ^ Q?+LUvYZpupTYn;4ljVk=l~$OZa4q  )V? ~D@m-7#V|$t01l$놠DGEٍ}7 :Ŭ-$gBːL̀7 Hʦw3Mr͸,Uw,bzY%3ݮPN>k<:?K_qe14Oz1"FGxclb{ p y?K)3?_2xr9~Pa9/\nKoJ׃8^s-[:;kP&t-K"iPh eCuNo=dF:?-_-#)6O p PLvٷ/̨ρ\Dw*B"ӦJ|f9@}*51!_``O/PE%="Y/R0AD1i}MD47S>@|U :;`4]iERb;jhL~iu_ ^&cF2V%:Eq Yj 6Wbjab$_Oi1tx8,䛀mfP W@*w] ]NG=Tu[ D g: +H/aHJi%SF]IOnU3L-/,o,t~zhnZqa4{\_Oa?4`ހ<"9/&ڻͅ)è].V̰Ql!.͎fZ1 42f߻LY\ek`!SMY^q߅tFL7M_mzBU^{f>'lZ}wg8WmNg)y]^s=7,STȘF)x؈Oݔrߍ킖a :,-t y_MW%L8]dn½Dn4`iХs+z5oJ|wc"K:pĻ-ӡ M ;+D`\moolh>B`d(qaRBѤsggv$D]du=z^ۢ~+<T$q .G\TQmw/<$ꅗz,zN1c@ }/NQ(FLE(@\(BWױbctސ=X<(LSex.vZnlH&dlсOVߪ!+ '0I,ASg1u;xiõLvnƞՍ/]d3ǽ $,á6 Jt۽ ՚ʣYxAY]Yʙb@ڛBwaKy%\qCF3 J#=}֛&9Ƃe [ZY#NjSv$  ݮUTuZ'r\=wgz["ۀ Hx{.)SCEGD0!0ʰ۪5 , RRӱ-ykJkw'Y^50Q9 ;#'3$=ƴd^ltIɰO7%_E~ѳqcحN]ٚld<fyvo'1L1ʒ&0þߙQks*1=Zn 7faw:+RbdQjDqYN_6gM~uwh®9PVhQ=OlmgE>M`OL2b-fے_18pxF V&Q3uU b}OOY8o:snm5=K0T7`5a6ť'Tm| 2 Ѣ~Ht1c[gv7 T/? VNU՘m9'WO+xd5P];zuڞI{х9>[4d,r͹1NW"lFi\li &U/+ڸmt}_m8Urú ܶ*jWcjʲ: [X?,e];rv*HQ,K=FtwYza}z!;"p ,9:֖޻5#w/=gZ-W&-;7i$m YB93н,)~Cu!~OĎ8#PʪqEΛ)Jj -L eIS͐vb-T\6KVa VK~@dHҹrZ-ǔIssCs?"Qr+n8Lf*0!Ub Tc41Zm 0X%_$9We(OR3"U q)ìWb pƿ _c5 [yU"pB ݚ{`=͜Y]\ Ұ 囙MbM6(pۿ.% zFLhݓUV~ ?f,,t7zBlʿTTf42Ͼ*ٰ72 8 #LdNbTiOJ q} }84Z3;SiUeuHAzr@~kL4'k\`C&$lc;5}ޮPֹӰWsyUe-UBW+pQ| %'_wjрgI[ {[r(SF4>BvHe4+=J.I2?Tn \DN1zpa,Cӫ Ztz(#oJSj[>vDH}-{fOH՟lO1^$1|b\M/snF?\4?&0i +w/]P9N1f̈́z\釩ٽ8X$GYjc7lN9x{\4R|_0u6gIdeiޤ?Xoe;;8j{IKmgZcIkC{>-qg8D${-.ZN )px7bȑ bJtOej4WDiOc,,&Y7l(yb|ЊjDG-\xwD$ YZ{0>)c?(ütPV J ` S:*\w6sΛ:{1V6j)bX*e \Fh{D`ldw]mm6@C{p~FX=Mns{Ej'96a^rH ݔ##(G;D6%shr"gP"JI7Gيj0FOm tbQb\j0;7hʕdR>5Bw^N6Gba0 v@"k. JEHq><]0&%8AET$b7tD(JK"*dϯc'>!tx+cE9"zQ-&Gac# * f\hsA1n=2.' 1>K͔-&([y ʟ9_=:k/58kaNN^@ <)J\<gPc6QVcɾǀWtqB%UwSAmBaG<)fm >:Jh$sTP!G&heө0RFCm/+]d'"ǰwY-0kaИG"E)^>棦e ናC S@uc:]Su!j1*ŭZ;qK$e sk^i_E0LS"/[ ul24zs¬vU𚤇+,wۃD%@g\FGr}>蒨BjoXĸ0Hr=G" b:&1 qУWȍlNpb :] I̦ B Bʫy w p燐ܛ׸E WxUJH(އ: W*b@VBm3mcȎBPn"Q<ߡcf]9$<}XZKT/k٤cXt:T0l䠾XVOJԩJeGilI} }cjc;xT+|w'[; TRgYZ o71A# lHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&m]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S3^1Ǣi1H~Ϲ rQBZf0s\wt n)#wcv϶}^\LlX&^/h&þsCj|$qȧ76[ @g<·^SP_@:ؾ #~ioCprnn_$~бTˇY0H_Z#?#B;UT7M٧߉+Pdt,+/\Fn/z]#X@|nj==M=#tl6Ϛ{7ҏ 2@ZBl{хս  yW 33kxv""G"61*7dsvZ݉ӟs&9*%An|^rX}C[Or%Xrq5qe#+$go.HUe^z Y.z012ƊpúYGIn(V T]~u#_N9Ž=fCq;9윢O2<<ʹq.$d[<%&L23M]Mb%z'dkrh;~*Vb  _$9!HQv-⮾xB ^M\|$`oXJIOnXHqe<uy.N U LqV}GBK?mNd8I*![\I5_]F%/SI|)r[Fg,!6DnSk2 Dv`ˠc^oYY;_?/LO|VD#)toZ3O5QBg4P-p3CD\Ƿ*WG,7"k7|$9j,19Iћ W㫳A( r7DDD]OKˤbɝYGne}bkd煃ᢴ4 6 k uYPXINeN{/Dpa4N1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\,b܌g< sC*c6N2@\K\~7J^6ISJX$P^ڙ_2)^l6[Ei-l-h*um$qrl ,yTx!CBB]Җ*jO*wQkzm{͆ Ǧٿ2k#A _ukIHHs.!8"x8._ j~A*NßKBc8&X <14w/(Wy"EP]Ѱ MZ"&8?<^A*~ !9]T}a3=.y*t/xdȞ۲$+Rb~3gCdAg"Ȝ>;7gYZ;1O# HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt| YP DJ BK{@ҍPiыLh`gEj:x-߀QL d>c `l"iF/B|EXV,SMM.7 \ѫ^EĤ4vc jRq>_6V^+#q :Y-z;kx $iFEtVȕ@hVh{wѓI8T]":6OE(¥_r~kR-˭:l!cIUґ37V uU+ܟ) bO"/:aoŨwP٭Y/Ϟ^W bp ) cŢ5+HI-PԨU9;{xςq5&c'u!'c1b{k"uO0kە:n, B1%=(P*%gH陡+bu+OmIg=NŧI|y8\b25EƄ赻p vygHftzEGr?ЄH}{dzlSmI4ѱ%lt[e7Zz^OTu =ǓKfM` &($8ͫ#i P*uArn+ШN@$%Q?#T5;ylAD(8P>j*e3鑘h\&KcҝuUG1/bi8@jӤ в;[ix>܎-v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7X(x9 bU⌇ϭG8Rܧk%3lBT=f%@ (BGl{CW!VOXmcQ/F+$iq?ǜC)TeԺVԖLfN_x3N:|QݲM^wP0đIT̓o9Cn7B[l֧зE-_0iD Yma\diB}^cbr3z`abG -ܔvK(]&T谊 0=thgiF ^ R VrsR$[YaD.W:٣ߚ)gT5|N#O:4OΓcJ-{UB&?vƫ'~W !7=]ҬpzvTq$%D(,)ڎKVO^Bv!>qd24ۼ۴b<|[Y'˷St/$=Rg{q1+ݴ^cH3:oVh%5 gFF ڳҽ$87p_ 1~4%9SG'A> 34-6+A)qh3P8~p7 j>n~@9"ggYZ (z5 ij(G hJ  w ^ k . p2 31 H  z|8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5&'HOL-Corec_ExamplesHOL-Corec_Exam@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% 'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id z'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex )gL j P m ( 7g 7 d  | 6 M EaF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesSJYpKK|i|k΅G,y0~QEAV)m8,  [S!wNh\Q*\k&3" , Ju$N<ݺB\h"Ep} ,A !cm!1벘_7+͸l*Il;ូDY O |[sF*xV5V/M 9uFd82W#M;jXX2牚ֆW_awt}$k[p3Kz03xvd+fDh%sed)%?`q¹Juہ2p*6:余'~AI*/K$톐ÛiKfmWiƩ49hAO99& p L#Z2D;[?j(%уFT✏Dؾwd68ay}Sh a#Λ:!j6[!ϣj0: |"9dA[vU>`Yf)'圐YMJocxרbnrz+tҊY8S.K!`0,\v\X$eSā5()n8.T?dH &T1ޱ-$y S J|wf{sOSh'Xn"V;cHRuu[뜱~hvGxή`(8 2krN]$vt-ö ng41#T}/AqLJE/x08%^ٱL=nS`=Ā2 9?`@fEV 7 5lKSៃ!2.}.#.ć/.C{{+OfT~YzK+/&vctbzuQ !thguh}s`H[Je7Ed5Uv P5j*QxqiB"D6ZߛAzZ9r,kVZ.Z>`7=Q "`0Tdr@Q/*D.[ɎmC`AO1*AY+UޥIg)سfY)T+|LrD aKݮ9/٨U0l7)@xF3:BXHz{ ZiICלr0\^` ) ҁx#_iC{?#b P‹֩4~ڋ3(/?h^iW>^etIJZrwQdR,W|anX-< r۶ b 8RHAK?P0!ArlOŀL)@NՆS!pD\3BD#'ίg3ul+gLLfVѳQ󕛰J.lsu9 \]ES nʍ8r 6Ij,b?4CUl5[;e 'VJZ,!Ly]5 w[[MI~CQOb=TE/k$Usxg O ?}ibi{K0@56RF* שh/ $vP<٪7\u)2Jq,A`0'KCd$;ER=E؞7[<*'\UR6}E^(`ٲ)p3u"9Uh'sĕ I^^j`(X8>gZ0zBCTOUA erw߆yb?M/WT7T¿#W(0\Β(X$8 ~V)%h>6+RA]?<4 B}iu//hw!Y߲%P9Q]mue*4佮dKcO'4PG`N)=JϤ6 ^'4ZT%RGtjDܲeKQH~Ql|^ZwKCԆ2{4|c h_E&j_fB..^r;Lʛ^[(܌K[w[/ﴚY][-ЌimH. {Hoxu~SiwőqNAc%!|R7Fہ ޹.X83qu%_BC5ot.n# +|Mj-QyL`5˫@McG/7e!) KB>||O+{3I%];H^ο6 }aʨ1E|t[oi%-DV@7ZLLYYyTvmv]]9מ|/x<}utGx<#5K5?2$֙S$ V}B@4 |*/Tf BhK:/ypEEN&4f*] 5=9v;TEn/ms`:axcv̜>R0o#VͧkP%UJe71X)JtHlj.;%gE/9kFZIpaSRbRq=HߗYI&EKT +] 'Þ1{K9fl)&Wh"Az5bR+?0.SqzwPZJ g@;S}(RG5?GU6$|چms Yto~nɇ~9/7^u%1czsVgjL {YFG yv`ᅯ4~h͹ߢ  wNS$R$}+"@(%}0$xpRӒ.U jzPaߏ92YBuUS_hؿzzS٫ܪ[ <&Y[5J.O W8[h#vHrE6MC`IM)P9h8P-.:sDghFv RNM f>E廔SZu!Q.(|Ps=fä*;`R {>Zwut;]<$-*M=رgYZR=gCdjY52A>Lv4'uЅջ5WмImJcs1%sՀ=Fs;ЁrGRcEJ)Y!;lvטFV@э`inUi)v]u|F^O=F*kYAc]NW?wҢ2/ 7XXDr>efYx6PuaHtOuۍALܩ-%Nu{ J$yUp挭4]ipQg&c2]h}"osy:|I//ֈun1Mſ7-p5u*syZ=fl$3S2ՍL?YϐBAь.I1^՚8dUS_Nfw ٳ2~qL4h7/5EwjGr{С3~ IE8c( (YporwVѶRYv2L +؁g! iq~ s0nn0PXdѦ-=֛c߻%߽myэ<We-/ -^vzA_R̽[GW 4Rд)mVQ e0T X"x?ndzb*U{(쵩O/ÞJEmJq7˪t `J%։ߨ4Ly}x\ 7QW[!b s|^LP6WIjFd)ɠF,Y5L Q+{})~-c9ʒ ƥ,822_Ffv:݋o %/4mrKJʸ׵Bh}~oaFwz~J_0w'}N"ed-rD*1aR܄F^ˁ+p)n/N6lb#M]Q }cHe2{X 3 _muQHhp<E8zNg<]9a.BUDGСį6}|aɀ]0Ŏz<8%q^> qfTkal]GM7,g0AMp^:uFΙJO<5;@hB]˦^4lv4Y =G~)BIZBҩ!U]р7E~ ׷QEsXI&tvk.4` oNU(_KƼHz_eT5qح:Lg}tI-UWpNi}%*52sJҫ-^P?6-J=,zF'''/׹o\oBt|YqC9@`F Xjaoz1B}X'I>+WrX5B;QjJ^`ɠq/FѨ}dqa|bNNEo|c.#t{o-WlYrNb+jZCǕˈg-ٻՓ4n[(s^90q6/c.ZܟY1=Y!=3פ0?uS~QR8~lr5 B߳A5 !x@Dj l_%pzǍb@^P`LH=v gI㒩& )c:ߊ?[ow-]y(^gߴ0r7niOђH6SKK8~J< Za(%7 EuO&CR-i:C{@,Q(s0=!_UvWsJ`@w:5kg#4#H R^p(} Ѿz IG 04D1NL;۸w)Sv_2TP˩0W JbM% uӺ-w~u4PORwF"xW7̳"oU5M $~EJ=RY1I3+]˨$0-)\CtLQA3#:ò5c;x-+Ƈ1eZʐ&!X,W`W9ijhBRDNl됍<>RZ}{f&5dSF6+MtR֡X)BJ.:Kx{~Z%Y QXҮ]6rɗtU۱@2PwuoFcj[IdB6/9,\JsB/ZED`Wz~Wd @ujpӔNX(sgPG$ƸǨJDکg z]nB  !dTl(l ; z5onfF VH2 ]‹}aIy\f5owOKV"3%KC4GR )WE#7/X?ou[+Qz%ғC7+va)جw2NXFvS{LQiH$vvbFl RtCӍ\6){?{ ?*kF8feF>@Wi$ 3 P%&κ-Ԑlގ,N`D o2&r=BWxPص"m$m^? ;^,7[7q,1CVO!jmF9ǀ®}Y Mvs |o5 |l@#MutZo֔spQ+x~̇7n:2bz\bGCPlo%ar5`~u0C/ƚ&&iq HUL|:F gVJ@-8C_څ zd~T2s`N0 +@ _y饒"xwx U?Xd‘W̾xɦ.ˬ9dz{c^tg~5@I[D.J[>'TPñgYZ  o M:E 1E# |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[35?R!r+:u[GZI`;VU+qryeRX&mt]œ<;{б(»\PšPBʶb~c }^c9uv GD't9vGW(:1׭Vk\*qO vB6TkR!@/oFR<6urnPrؐp ŶqXvC^lD?o`B:.2$*-o@*Q2^{Rjz< #Q4)|yow,e >$YZw>NzOydbď6mFX=_]a "Q k-հ-y))v[Ω+fLd$.OG|4?f֘Y'.SW~:ª܉/!Z+'AY U#nƟNs !b4l8=m}ED+J6CmͽVf|^o:)._?(+vO jmerB!"GRa8D1U|Y]UJ/2o. K/` G՟u 4xOjZj1QV098.1JH8> 6 kR6T(@3Gvbmf-X0>n)G ^z; "gpsH=p ?Aʈ݁Do=;~1**PWSJB(@/ v/ UC#B͸&zl4lTw8T]aljrlKg=(6$mO4Hk<{ƿU^4&QVT\|!S LG$) &bHvj%h3-ԠÉ N^ լ D\9@)e/[kqڕ`Nώgn ))͑jdXE҃ሀԔY? ͞|+w9c11%R\K@ai]8(@:4k6" e41 ()@fAZoDa [A2ϿcYSSC]Z0D gYZhA1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF@1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id536>?1O# |HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv'] T'F`W7Oؘ7 ޸`H7l nŸ*Z74kV۫ҵS Z(s6uD50 9m&vz/)S VđFAGŬTjWA-~ ܘa1Dq6on*EϚ5|^bI,D"+lF[}<5O6uBH#R EQ`XqX L$IKVa?i{EXy))#`׀Jzbo/WnuåB'_:0Mo|o !r||1)Z+ȡS>NeD&{(pʹ7.r9ff=j&֤:7M2$>J]U~2+ -^ҎEcӡ` 4|_ ץ~i+j0]t=7R3h(ǘRB:VE;:2 l&윌Hs ύaE΅o^ch⚿M3 IUv&Y` J-ӥ`[ .1#1pbK_qL?G ${3sV9 o(ڠB'H.iRֱdiFYk=iPy#?\V#_7hE\Z%VD,p G sXՋ]V;qN̚Hr:s3(0qd}x%-ql^;瘟6#B~bܕAϮy0/|smIuQ q+!z3xJܽ>Mgsn~/7P4 wJO3䮾RR,ShqMZvJ͠䡥7&%&ԹiaRxmJL1KLHUw #k1Ř?7=ѻuo)*SU}gYa;MkryAOE/ `GRO8aGQ :; ;֨Q5ҩJ օGF'yq'M'$ky^HJ:ԣ!nPAs 'R'”Xw{I٬JiOlScs&G.R{z#18+hg|kO nK輫AO2|wj]Svav-W6S_ke?Om4(hUi}e}y ) Wy*4f&* q j$ k6qY$ʔ,'N/?Dž*lvRk+".1vPN~AlA嚼]u w0DԼ^^w( OAaB>lӘ!;[,AsYl!F Va.3 $X⊅jFfRe**;U]!eݻHٶ6|`n {CİoPB !K֔QT=8ivʋϏEiW\>Q4WC`dgu*7Tz~BW}#.f3oi@9`Z1{lv5ZRI%ܪVR^W w,"i76guԆ0(^ˌV65I$ VLZ">;+d5~cO6[V2,6=Fm\VI@M̦w3Q[gj9()z8$[_&k λFQɎ@?Vl#ȪV$J82-[*w6h M 0oLuݞd eA\߆=0l 2 ~XF3Wڬ.Ni ~gm$*$Α\#2w T4 2Be6pGhQlNM~n2;SU}0+/c6<&#/+ t|gCy/l@;E#MRPVb(mO.7?`eZ\Ig^'Ł3= }54 YqJQC֡%õ8 Wכ2TkT6m\fWaNZ,O"a2ż9 YV(jl+ Ug,Bh9|L{'6|! ~,"?dϗfDXOWnWZxruҜOB@tE=FNPJW_MёѮ~vwܒOKҍhEtDrRvwO 4v9F!׃,q%5!YX-mrg޶t0! Is0A5bVh^qc\TnEWB9/AWVB5֯X.(nirF+7)xoo UErp\B~ xsm;)uH.p_~ q_}qgfw:QM쪽KbZHKil|Vv%"0  h) *U^RԿ6ar"r~D"8'HVBd4ܺ PU iWlmaS[@{QXMw5n걡SOp1/ϧ"=^緬 S[V4^(frGDfDN%{W`겁;C&ʰ =3qVs6Fg?whxfC]}-)cZ'Z{j+-K۪vtʜnjop1F, %wzAj= $` wi=.'F8 K!Z,Z =_y5%Be*u&r[JɯwX f&#r ^4rIcsգc7Pzؽ>,.,k|#@ծ&J7 a/`@)h>H/▙Wka!!lZy`Ajt=f6n;ʀWC^"Rs0'!0eLz۳i&T܎:%/%>]u@粞!uAo:_q׸:a-HnHr!:HEYu/Uz4m6ү7,3L4~;#0/n;Ppś]]`p:ԑ*W'"kv lZ-u|$~+wxngvv 5m\CYF`E~o wĝCT/GȫlBVS"Z)Xxaa; %7W)qF?h|tU /]9OÖ CtRcT,w؃09;nLi),ɞ}0Q{vvd!Sr0|߉.OsTCԇ?n(b#P43IT?V.6t>fjl A7|Ucn 7"k^A^bɮ^&=MAD8*/.h[Z~YI>I:]*J`< o&u7dNksNJ(L+m!d]fH0 r,a<n8sϬ`./%T:vjL 7%I^OWq),a"ߐRSԚhhʚ_AݮgPXM%V;x5uEH9$阫V\Cd7EY/;/QBjQzkNK:y0åK*+K7|&k7,.BejB3sOD^] />EVflQ>@SÖJ#zi~}؛am؈7b+G$djm"Y#X>̥ ߴֹm>7%qh-KԲ Ω5pHi|^ 'Ox MˁnVLf렮q.@t]H^e{jX|ۭ=3R}<N86#ISÖ7nQ?D܁T1یF16$!a#D$XF8hRz6(tX4Εڇk$.^638}ݓ?=~o9 5%_ z"+H`J_,( (6o걦k<_x jS Xorc8}؂ /7_uPG'(j[)FkjaQwC"(kkڡdu Ey+0n"1=-LMZA)+ȓ[4և2"=%Éb\t@@q)J#2'gOA77c$JV-~mj[) SQF4ʔm 2+ Ho™[VǤᙨ'^$ y_-\ER42ФC$Y_4䓂4]kzY Gl<&VfLڳVLpw^^<%G ^]af ,J%L#r1%k/Ho/ц+ihFSC(e2+tu-~}9LƋ Gi:Vl_/宣6HAҳ8UPj2OWKHfXu +t9|#yd3T zױE5AHUm$2IcQrDf.@m I߆P{W)ˣE)q)%hJdStoGQc;> 3YʡwRO m+*?@<~?Nz>vE$:JjQ69l;CM,=I96P{2 H*;X-, ߣ;^)x&[%alI dջByD뫣( 5? 0_lv9R5f[ѲOm"Pʯ$7\2i|͊K\MI8>K._l6JDsjbd N6ا!o~=Wɯo=zFUE+~]u!?3NPhb37D~%]$iAW;L=&сk9 `kY($L/~`ꇊ/*9@^|Ha${ >J uwQUܗ25^`:hU7܉3f](*4YYDhh2= <86>/}u.wayT q9 Bt3o2<] <7Q,)iejg(ӻO$#)Jrm!aw#В<|%)37~Vc^vYl;(nj.84(R'5/Q<Nm{r"s͋jTY4cQcq%?x쪾Y\ QC]k)~W^Jꈛ| MЍD#sV=BVs5݂V[MWtt],L!\4]b=,Y9w973+ ز?M+wDTlPݚy?@C=K_ $}kw?rıg |r4GsMFك}=P (1+p V1senvQPa7= xy ]`RP1\wxX >v, _ܹGV(}ų'u^<ӣY~%N3LWEYJKNj=-l騅բ ڽ,tఖD^rŠ wAO5GȨ?=4ٴLmt.PqyRqSb{W4`:麜jODѶSd= W&hIb/ny[f0g TJxb {/d~2nئLhJNf?p | e? C6Ol 8#X*$B&W> X69U웗ei:@a2(?@0N6ͬ-0 qx\B#SOGgh&̨,Q%cd-uJϛe89$0uM_fk:אujtB:<< ITI_u-$XS$Ơ j? 6/юOOP߇YBaz}ᗉ[BEߞ g?2a B }?Nm>('ֿ e!7p%HQ uCaI0@4]3|OMOPEn26O V !@vx8F.+0mr,B˭ly&Ag{TuՙQ@_<@')B']S壿Dj g=m6#w j.DLcek0e ޿6.ڐ88¾)4Ifʕ}x6OT %EpDAd3,?K'p3i)ʉRKV9#P@_-xrF8 e2p[p-(bNOl 0g諃]<Z(z ɒ6t=]i)yqrӶFYYTJhq~zrj !|Rl/ϙ(u8s/cE,컗vgU%&zj(܈#߄rvGw2F!~!X(z}jH;URaܢv W1aW[Hr!qEh4pHI#܁}Q6>(iD(艕>΁ƙ2ȇ%e).%V$ Y#O=QV Aƅy%Pqdk?DESXËM,P#9 xH%Yv:"lH̿L*t?O-LAqѸcЁfޟ^ 3[7/L AHw-%2O{_0`@b|Hҵ㺫'p~:?Vb.#6 \cCzq@.cak> tN"d@\n/ڔ{`+v5D}/ krP&-%=F6n"/h1&u6,ΉdBa&F]i.Z 4cZytm—$zs06캩8RErDU7}3zRIH<+/!oODc!^g̨"1]1<Ϲֹ< Y .IB(_Hߏ߽5&O:񓪦g x%Nхt8c`Q,ODM,J'l hĺsŪ܌ۍW5F:UC#j82N#lΙf[&„ 0|xI]ԟ"8ƣ=97QA; ~RdfG< CЊ]=yrmf̒vgB^"  {";Zz=[alB<8֥#zMtwoYpvƽògmEgĸpc#gga"Dƌ1;x*ck6,UI>P,2a$ĮML~~AE_d`&i]IF"iY/\TzLg5o G~6ùkzϥ טD=4+>AL2_?z?,l"O;e^2͑.A5F,byV ̸I*vWoaA,ľL^ ?!tcq88cI:M7`5?c.aK2-W Ҵl4}cz%&݄qU/a=Y)TN^R%'8"Gn9jcjjpbF1pj˙j;y\1Ria?\syˠ$  Z(笊~JKEk[fx72#6õh4@%=#y? Pß6!,Z>dV/C~[aVxxkn3:Ąi^΁+=4p EҮ{7x9kS:b NT'&_9}{w@> )˭Ӊ@3>-:Ϥ&UQNs{QI` eC[7^q D0Nm]ܾC?!< Y|ۊKo˒+bQenI.-R'\k0>k1{khQ)/{Q)һR8c>1tmwѡ٤Θ:euttpOu$e| *{~nWjH5y>sAaP;;h_,7srBj \wpA yК@}MAzϩ۟bĬN=c2h#w k/I4{.ҷ`^T↱st^!yruR+Lenyy Yr#F(%stL$grk9UgR3-/z}'`Uc좗 a ^[5ֺ0>BtFYMbU`%,)8W[*x*^ҢO,7F8,~ǯ3R,Єu(ڤҔ[2~Q Ҳ Ki0DGcrN>+I5uRI`3Kf.A/gX'_8k "Y|3Ɋ ?B'H-wae!q[RuldX:vp =ŘRqWonVYxk7oM彂)`R w\;SZ}/P7d#gmrUt{&$OY©%3r~)P\&/C0e < PMoеZsĜiK |xn# //ϩwz# SQz p6S/ ?/855%ԗVoݡ( &;7yFͿB%&8r#_u{jjVJz\Uc?Ut5XRsAX UY f3"rI']zƮ4QCGe4`B窧殻QIa{G5 dE/ -6+*dA_aWWL=C4)c9,>ƤWF!yUt0"7e.MmRձtMs^I)@[M /nЫ0~ve.}7oQ ^X[u=voKW/WÉ7EԎ d48]5" låJiv>@괘FB8<5ߩ+ĥ|]v-ۿg?&N$vBPt]":]I5d;`Aq7**؈8vI3?vQxs©g=fh'#WjIdijՙely;%*!,l {ht}w\!;c | %&]&(Nݜ2Fҹna_)R|]*?H9BRf=K|tzL}nmvc,J˛2 H[;́Xj)3EsXb)[DHU<,5<ݝLW ;fqDbZSC ]0XOHVȢ/6F&j<E5Qd8@t$Wi죊pS}|gcoCGR7"u[8A bEr/N'S}g- PI<>˥IFx%6sDqwPGg=,eJ onJ%SP'ZִVU280KVˈ 6!20"E_YNS̖8Th_qB"TR(u&_bycqYl=x 8 8]/PR_g:$6$%ᐬ֨9]|cwY@R|ސ*jըZGoN4s(. ֺrEfDDG~bDoT{\AŽx7޼'E yI=*$i(Q#,FJIQݣf>,Zh I?$9ok͵$:tP;OnDX)CwaH??sc K*jtV-[MY"j|4\u.^jaeuM u~"{U_m8PS'}R31]$G}~= zWH憺ѠYϕp/c۽R`z>*2=9]|s~O^( c@OB`kd!˒oh.V/r;r8gGn4)Iu) ه[RDޏ8ʹ<3gVݸQfv5 ǟ&)(ӭmq/t2 n4{d٫FnRԮFI {{NƱ F.S-OH֏RCD״z g蝾f,gLg* .¢|]=G4MF& 1x_smȏgq)ߩ+$-SK,t, #Dx=7nĩB &gYZ sfI1G# THOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9-Ã?퍇YPbU[=(/ֶ_Pբ(Z ӑ) ja>f!1uH՛uVH3Nh//ϋ>mErߡ,fڕ vD0iŎ.;abӟV`Bz/:KI-ER'(| Sȋ ^`KK=?pwDtI{ډPEE`S&\QK U"'ł tw‚)&{@#dSG1D:~JO!slIecSQMm|WOqVQB^! G4>oVk2.r;Xik'DN+n-^ ,唜R~3=/Zp&_5ǒc YKyY%KGr 'GoL]cLj_㢒Gxeݛz98Gfs y8C,7"ҜAtKtnƯK(`\) vyCV0 2YJmJڵzU|ȫCq%W\՗r BZB lml;tIuz*=$j-/|V̮a1קU0|c7QP9}rrB*ϊ.RG!n BKG9Śn/+T{hBoԀes޵R^(L1\Ci^pͻ0PMdᖢh\dw`:|r'ZƹN{z蕷\!Ƚݵuxd(X}poNϯhK C jI;ć^o1w9HRrKF-ުȣ!|HQ}@h!/=Ϊwnօ6᠛޴sr)D!%(=,/YD2+4ViN3?% ƪ훪B5y9;.kOQXNvslcIaO)]Ipf∝p) :Zɬ+Uoq\WFs}{$e B̌A#kNG<}9xp7}HfA%Jl@Y xN3 Wm1uE&{]\VڷA$D"2ݔ2O8Ӱ081Z>o%ӭ_;ƅ +w&枌;bV/LEkgxGpi<"ƥ= w_%$K@;pߺ Z6gfq/KIG[?LdϟvB(%tkg.kGFD۠M ]B[I09Yqz SB&5$m w9{{U?FGm/-QbAg '0vS`{r|ybbyꑈ_hᤪufx'F] 1̭ZP6U3HE8=f+OTշ u0q/8"zsEK;Ӝ c4@rlɨYڞmǁ^<.>j# 2WR0Fp!1+o I@ӳ,4 wg?uuߑU7ݗu`1 3n1WZͳ,պUL-s=N $tVɴUx\j|:s MK./1%榄LyT6,V;~^8Hxh(=-ܞi7n`G^t;A#C\(c^UÅ? %)F5?p|Soo Qg +J/Q\CX%X)KX<@7{㒨J2|4]XB"ڍ©3K_rj_Qk[UUv Eâkd xTVH5tYR-EVO^=WL齚*3}Sgq4 ՗m!qr_nO['!߬ +1X#;`q˜9It ( q".l'9hRl;h:lh^ަQ<Ě. |1P@IߩXyLь3_&KutK61JtULlu_ 1fgmeI|ϤZ؂v/mz5zk`^rwEuX c:0#.ѣsP*K)(diN,o@)_Q+N5|,IL8nhG49J_|B,z,Aʗ~@e0iĩzG(g"{?/9`!zq(D.07mMԁ+NȘMБ 1BmCV`Ypc9tc}sEA?)iwuoLmTheŠ6e<i * fgYZHKgk% ?͠U7% "y\}Nq%U_!P{=n p&Gy)7Ӎ#`0S9#UU'JV,1[=#h_g 쮅+ BP|*p3R{[ hؘ\ .ڈUϿ h$Ez u}̡mNݦ恆h.qHf?68фN@ԸpDǛ=C]<߸7lIqxZ4%鞅(ҚQ,h&ϙ@y 4TÃ]>V=-Y(zXVȘ)O~ 榧Bv "yBDҌq>cr>-(c 'SbٙyB҄IuӉ,RdTIp22#=-*jk`#lQ})ܸbD a!oɿ%EV+ B){DzNS|XJO۩_mM|ӣgSbvMHC)⃉E5M ψ ޴,'R;4D(=t`V糤j^!y)V߆`1`nκ(v- >{`8j9gaC(Ҷ\TWF3ib6G%93eɸ.abxl8T.< v!]_[ &a1$"Uhr?)$ȣM&n[>|搻lQO6XP8J IߑD$zyH3R\K-6f5GE$wLڇS1era (?F,v6qlyi icƹc$[;}`"51j?Del=+C3&eX@<X3l5{gXW"Ji5C^s +߳Xh O@擗PoWi_1jybXXr*ŒE ]q|<JiC|blXtY11]1g5еl }j:t);G@vXEL*5H͗POy=81SB;z HjÖJS{!ccs~ׁ0WAAKA!bRpЬd }[.8sO @ag/8;hg-]x_|rJz?hn̘r5.JOKri^k&S9t%G9#j9E(u rf P'8]]Qt#ԖS5CO J@fGKe0O`?t]}1BX֗O@$EU;ywМýO1`%6NՎ"ee9҇%ϵK=Ϫ>ڋU|E~X|~BԆYeS]Uln1ٳ@@st+\LRvX6୫ci|9{ Ϗea R(6C+A~Lʊ`dg%aqtr.d*YZ kE}ѻcD1H+ّ_ZCk\)?4! LdA<-z򠝹!GcwPL,{jf_ޢyT89¨zB");#oЍŠvGGBD0dO8tz2NUE2# Wn ɿ-9*lbP _ZC|v^vVB||274`[0,hBKOf1[,. (H'|ţAD-mb|B<6{IԛzHMrx9@~^2:nN48U͌.RwmDG˸ɤ58 X3p {̊Js՟: uI/rDNæg RE}׳ c0w53pMqRHh&OL_]wgv5 go4X\a S> bh{뉍KLџXM6&+lݤe13{r#5Kމi~$`j/`I \B~>?a);s+.&qqgvĉ_2ǠuHFNHtn2o'(R.KݻK2.~d,g){ɡ=Ŀ:Q\D|4_tk~k<e(g+KÜ]Y+,i3Im̼5.,aX> &5Boh7{n>V qU!)ěR^*=Q{zm3t%=L z5}|Ö{]iBnn+ "py|u9s|jD!F+A'sLNP>?> 82\BB=Ž =|'mm mV͖7OR̞(ā%-v1TodKBڕOzPBM^۩Pld=}%`c,wW_gʩW-a:XgWn -=_?K}=($>n.ŐK20Efu2/?ǚNεB2 \=9ۧ!u\Ho\VZ5FbCPӾPcnJX(Ns5n 9 zl9]'O5Y9d\0sl+o2u:o:~+MC^ӫ.&$k/=Ҩ\1{\f~Q ~'ˑ=$%SmQIeqժ)iUcy^n -:>tU_ LΡڡO[?a3~z)W>Iٳ.siv8I{zS5GW63{tXD"*Ml6ذZY ZMO{D ƫ(5 S >%_FB +ĈmW1fsM_mLv0$]~w Fz:!K9e?ޓ2|[;?y`%FE# U8[AmK(4lXgY&~f>{X(Ϛ"IDX *U2VpYu=J`P-7zz[I")8qZCwr`Y{U-~ ZkY6CYf Hd{tPo\ {Y>l֑%O0x:kB.N-aIB189@":?c QL >AԄ#Qٔ!Xb& Tz>-%Σd NfN6M<4@Dj5l՗@iU<_{B3练F mzyR6AcE<A/OKQ 9 &j|Mf9ƚ[6+ܺS:Zޞ:qwtFmZf)Š mB9 LN9jn[HLZ$y& 2(Șۈf%s3.95LZrɪ23[hqBxѫ MU5NϷS)aWV@~1wL@#:W8J`G"A52VɜSթIw+fM~.3Ca}-!"td>4.+T;^bUm9IQJ_a'isf Rɨ#"m2ʹ/=0^`̆3.d\#]uZ3ef"S#>U}Q`tfc%tU_`j9`MtP>)E%)2}K)N抑XLw]ց&{wFq!sܟF%8>kPLRs!ǯ!ܸBOf0ߒ(30^uy5PZH|V" H1{XSÖwTk 50"[Gfd |c=TByu)eS8)L:Rmq8ƹ5AMpfӵEo2qs^~Fw)ddرs9-gMl<'d1}]gYZ  = v  R1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\nK`D/m>8N 4Wz ciZ\~)ؚ=;~ؙǧCimLT}쯨 &Ȇ-JL7LÉ-LTSl bc9\\0< n6ZUpK*@gΎ L mH¥h^1L5)Ehɯo3؟J,fYs:V>^os>qZx;M2:v(?t0@,,i< 1 _@IfVb8K ݯ`Jn-5rp ӟN!%Ui2iW | iNg^ fq=(j-AJ<1wĪL1~Jׇjg'jA%if%HLVIŘyE\P&Y%u.DcY ϟN Th~IԲL4wzWHae?q * UF Hw i^06U_*X9S禀:9FUpwr{ߗKh)R]eęjC Gl3nc /OҕR2Wsѣ<)0:TU5G&;=zD}n=&eWHԱoOKݫ}4Nt>m3]dώBS5)]5əY._/L\ É" -`i  * ՖQx IMg ZqL8kp!#2"=lѵk'3NQyթ>}7BdGO߫oS=DBp>5K6XOnTRv,M2{ EgYZGQ 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#QV=+wg4"(`(I ؇0R]EI1leM40Tfa b$%+ =EsPɄ7g/{_FEqN[)Tr_ESGWN?XR[|cQMӸ eV'TbQ 6x΁#Va8w0.\NK5&!Pi2ѠY4ou`udW[tERNEӣa3q^`Gp@fB7\"#FWIQE%a[̤Oa~^dFU~ % 扔6y'W9LFCxɧL~8 ׳~%]Y`q.yRBA7qZ<Ħ* `KK|} -l!_KzObiMUBʶE璖p =ѷ7p|pez?>9I8xū6c2 6ዪвG4Ufk-DF7_Fu&2BK #޼as'SӖv6 :="iNR vpLzo᲏& @/% (2c/mi Wwxsm=tҐA2ER dc_T@:T3,zE;HC571?{ \bJoNUyޕH8vP1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMO1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\VuޛbkZ(ƊVypOϚcBj;@>9CLɏm7즓3aM~T#%t:6Vv vˆǹ:]y("N5؄=^Ǭ.ٞuKPW!9d͗ifSDwU7‘r07'/\G#IofEɾz:I>`tf]!桵4Hl$P+F^J Dl0Kcggz2˹״18r~M }uVOZo[z>y}冼3'x͌w{1=EplNq璵Uu+a8r2,1pD"V rHŏS@`@7VEץ"詀Bj|`$OiǗg3aVB(^uclQS՛ǀem&R?+ICC {a\1G8Ev8d޴~;lg?O ,Gb?$Hze "5gYZ9m\D3aO "{nq{mD}̹F\\M!D~^dX7C~+Mh!:Xo)A{l8 90E @k\w ^CM16"M13Fjq Px!Ҁ8+H R׈+?/ ئ 'zGV-))!\QH#ܾXjg]=ب ok ,+yL~5_b gZVMGΰ7pSjB.|a.Iz)OɄL5@i.֣1rRX)龙5&|"ek>PZ#:C۝g5$#j8,BnPpYjhQ_ts6~7Wx: {-"U/qv >X wiw0#7<tM]AU9J)J"o9|Xq[b T#/,cCX-cgHe X7|/Kjಹna~PMO\,Tv֯ X'p<>-+TX:0/=ZUosoM`N 'i*M<( / kG0*RÊ܏R}v]%\->c dz0EXpK> ]Z@NSf%gҊ\1z#l_K !یRT qX=?9ٶz3oO}Uڛ$jwgb2tҥ˞zS"z"\W4G;X`/ԓ*马'N`/d !搸 n*o\bk=B-*$˜aX:֣Vgm`}wxi)ʲg_xbUȪ"hESZwP͜Zta,S{]}/cXHّc#v{AEvA/g+EFV!r: Fș6'= Gq#!t 5p^LfV27ו+]{%'6G<)/UFf .hcbVo>8tOՅ\{NQn׫AF3k}gCxB/$)QԳ6q )U/ vpUGA d ͦsn?)!J׿-%D-d|d&ƞFJikG~[[5{{8[r(YdTEAe'OR = >Ea Z2zaL(1u!x@E<ulLځ ςO'S:?'_Q|= !}``5GO#Re"ߍd-[dã!cwߝZWuV/1OM'qKð`M8;0 7b>LR?GT kHgF4q\NO\j4$Z,&,?34at2N_NX qB$Ҟ Qs\8J@MQFSCmԐbsd?8A/>e3D+>2AcaZH jzg.QuuBwh!(HxLEt'\iŇU{sM,M)ތf( .b>Z}Mz+L7kܻhRyڱ\B b~YZ?ʝaLUyI7Yn]fǛbN܂`m\S~}Vz[iwլȅ-.ȭA8;)j<2WV>s'BJIJ&sAhh̅&\y@cVE?$szHU$zq Yx`: ڳ5!L|k{kt 91s= Ѳ[^SH?)L) ѤGbb5u] j{m>B@V&czBDӠ]}01+XнbS Kʌ}AUg;wn$Qx2R=jM$5({t Լe_J&h@LHdJM^k1lIyLbXv8ӮwŃnȫ:t4?)[وHߺeb=<[G.t 6\eK{&.^PSl da;K.bSt]")_ r^ +nɿ0R-1]^y|2K+ ~ %OI Vjʿ1M'qVUCRɖk6j)7d#_H"J`Q"X:N 4G.zOˈ}!BJc0Ne_4剙38;[zVY##ƽ3"`]*:Fxz}6P‚NǜDY7F}nfTU,r|6ZlGl Ke42JCZ8 uy_C]Fe%:O&HE=!w&9-ٯbeٖmR=Hlx|~T.1۬%KRuU!0vYaǛjJՕyxS"QN@'YiD E"zc8QżO^v))+#0zWzRX޴J&_r4QU<@(o;Ax{e Y"qSnW5%L}d̀P XiE}ď 855cXnygF2ԖяAϵP2Jy;:)Rf+X\`Wz, ('3PFT OώiM˫Ǣo.QB)Qpj @ؓ [Y.s^J\BEDpf5_-A7@gz/_R Mp9Gi!c>Y TF%YSz]> GO[F% "\2_ؕ%2 S憉 C:vf<ǡ̀&`4Mdl$e{rzlt$etSP gb^)*[vg^ q<ݢ,AX-ݧ="B#*#۴nq*!`%]wARvtYReL'2h u٩9FqTa,nh n-mcv2%b~6>D ®&Bז06SCfcjSl%He^ZtU<i`>Q7; &XgK^"ՙu>?C?S@ >Lf-ͅjAR__lLyH0/nĶ `.u׸"\~҃}(ni#t7\˺K=L1\O2n p"kXhDhALwtAi ,mvᛈ2.J䴅Hq;72K p@I#ך @|MDѓEXʉCJj&δK($[b]gs8w\{ ѐ?˲6`r WŇ{ػft]8=4.> 7AMI1])X-WV>Qd.]xFmݻg?vGD|6h:E ZdԺBܴҐ ~4$ECQys{ç0!Wd'.SI(f1E'SW H^Ƞ$<1;|I )əi6sBn ^ћXn"(c~"]!lk@ "7/ݖPk5J)X_G&4޴A-lgbv)9Ϸ' SQ;'u63 kYX%8+!A;]8ꁽ9l/  ṷKe+ymR Ӓ==`I+d'~ hIl_ZFۺ:u@Oo}Wֽ=B Nb|ٱ/LaNz)S1?1bP~Vj+CgN[YV,i <%K9dv ra^ v~>E" {s KOw$>Lͬt 4<%#9µw=NZs);bἤ`)!{>̏p5n)fi]:CF5#N*-pc`yFN04p[9n"YP?q{;AX[V^l$s!M۳dZNq KB[KnƦ 49х;U+e_ Ra8pFfCP9Ά9)F)A-#5B%bwnfo5GFɜ  FoMsWg%NoѲf(@ač;pNkTszLǵ!zi;1}(5!: =/dT ?݃cǃT),D9w` 11">XL Tfx^O ᭹H5`_gie¶N&csUϡ@[I YC?-G_]yH@ arۃ(A;(򖖧69c?*@Nj9Wpn12p+aٽnu@=LiCYΨ}5ƽyNBE-]4W9mRgMbs7y2R?MŁi#Is`3/EHUXk|.ؔm0IdPGwV`kz}A Gܶ'8=&(PׇٟPG_!4^"szz>OYֵyBuzήFG-o?JK[!Fؗœ wxi3-+ <4T7Kcw(gǗ? }yZ&tf :;tnveьDLB@4X%j+k&I=NQ:]"=2j=]*O٠KVrߺ<; Y3I{Ņz4D"7<@њ:92Ptω圩i޲];FGCjF`[D^v%W%3Ž'#$c6$ a\sc`3D͢c `Σkr:ot$$ϳk%˾f}}##67IN&:t3K'>8~' &c> #AJ?nٕ;q8X#BQA5}sٯ̑U(xS b{91*{vM7ax >H9JzzR7w(/pF< M@f 50˃R}m ywRa[T4ܫz_h\N4K%;.n֦x1QdYhbyh\RnDc^l raNBӶL6:umo3 *}_.nh#Y;>Fh_+ۋ*ʐɆ bS/ɂ걹-C(nHl*!5Mφĭ-J\) 3 L|9kj}z% p Y8C[e!|(jl{3nԩ M`çݨ2ZR_ ,TL>  $Qg0=r֌':al~YV/$we[g 9}sssm"I$% Ǣ$\WU`NIJii+qsG6I?Ov M#ӂҀ4wIPI4*8t>r*b"LZA{nkY9vv3Q&!8a&C!` q$8͵"_P!@«,ԙG;,lMQ\>Uڇ?ӑ-IlR-<.4dk γV-g& M-՝*DM[PGVcff#柕uZf4E$>cfIxLwjHҥŒ1WP#aْMVxqVbz5\F Z[#ЭS^ @ u4Y;5ۏ##"ǒ1%O<ΐ}k S*'/Նض\tk΃VE BAD-'{:%.Um£wyJFQ72QjFk&])B^^2>zep]]2]ą_Mki_ٍvXS@_G$";s,G+t$߅";f%;0fNNhjNbTD\~kv3Ւ.hJ}70[lTu^}1jw}@Db1F!L1ˑ RRraCG?{%[ײG=lrcWXwc-VH9i2r<`_NW #AM%D9V!1ʷo֔)v{Dv?ՙv:|_)%lLBtɬ$&V=sG34-q^fRq-[s`Aq_718%$:j"QdRחq6;It?o^3s[x Tun,;Պ&Jh|=c#̢ClIh'S)W5~GqnuyJH ft'AbNmɻ.^[jC3XzJBLJpK?8.5(]FS6R̮{.mcPV.§.MF@p`y%5cLW'4\ kV@m(crksLX޷,HT ;Ҩ)2saGE??‰}ivE%8/e0Ed v_4bJyIʹ6b o๼ՖC`3No= gWhP!aqhv%_EXՇƗV0`~ :4y0g8s\'6rօI?\Ucvp#&YjwaN: `epuE=WhmS] doR,Hk|{O҃Y aFS*0ظYm'Vrf\CÑ 0>ߔw><>:¨rRO85=aʩo)v<[ф\UOl-g\n!G?xoBe)gYJӄZEھ!5 QFgP8cqژn*gZfp%gqf&۷ Ͷ.LSvI4Q3|:Mp2Zɕu0X*\ױ m4;5 P>+YȚq ʴ) Q:h5u"у@>R2WgNk'IQ9=,eޜOZ, WDjx2Ĩל[y7FYp9k\t3I<\~S&sb75]8sZ}ߡ(xb &TܑdLi%"Ā jFd4, &6Ӟ{Pc3Rc DSNg !6D|9#$ӑ^:Kc=Rh^^ajHxϜYŗ%K"f3$p4n/Xh2++H@OXXR7Tv;6{0` P: %^Ԗis`o;b? x!Nhby/`4#wu!e7$[u[" K9\s8̖2lGE@TZ4|vbAlY^௱^ #Mk5ʪ+&}{#!&%ckVIjCi2M$' H~_gdV݂+a"zlf.h+}6NL<>bm](0G9Ɣk7z!'ґ}*ك\|B63+<>:o`>XvLmg\0S~R2 ~)?ӏ"x:Oe'Ӆ`!xKDPq@:HD2o<Q0y`9vM "VkI^aweOTb+A,I kFɷe0FC:nOC(ۓah؟ی.5.$ޏK8ey5fکiYK\ؓ!oge&Y#K r"šhmF8wx(S qWGcJvQ~||Eu AIeYbY&ksZ 5D&Ghi+RQ%{AiY=?8fHȊ=Ryy#_}.-o`5n aϠ+! 77i=^׸CQ0E~b~ SBS=FDAwCwzjͳ6Uuip2CX =Gtؒ$\%`1{qfOtߚ\ īiY %؄p }A9.CJȩllWu:6_v9abZgZwzf%ǟDH©Vnkžk3^N<؉ɖ $ K/ 6JJxK0uu l! `;Jnx+e4)u5teQ,;b7~ OhӐֽoX7K(1QN:9H}C4cySײfC4c-b':ϩwPWݴ^3-8%dp(V/xEM9x94/]2< eTE n g/$ _Eɦ-a4>+L~c^qu[Ё6tY+I"o_fAsJ>+[@hVSU1iSNS:۱?9{o53.]iOkXAb <3V>(n<-EKtjq:`hUe C[4h0!H`up|I~]RR9T}ho޳"l,1ٌR JȌ#ޕVV' wQIufa)&&ZH0ԻҮ'헜ҕD-jLPf +[|P zmM1Ք ht.azr!fCf4}#g+^65}B4exUdz'A =pv_Ql.yNm2}Ctn#;m!͙fMgH ~ʞC"uNh(/9ÒOUBԈLtoiZc ij_pFL"|6CQXl#B7i*\"po<;U,Li΂ǗPA ޫW/=mx]Z%ٽ[^"!VDlxeǮ\Ύ_hG svi$UQ˩BqƠ͈ [N4Jf)ԽAyĐIk*TdSϫ-dZݘ|cccsҕv GKp]>"HZ=gת2TLåѦ(ϟ6,@>}+0w~$dfsY^uţԅsP5π$m۫pnjT(JO4,)D*DKg[K/u_VU N+gn9y)Yūɷx96K0+ٲ7-\$)+q$Z>'ȇ*5q3/ԣ>ϖ_殣stHswT3J aFwC9wE8߈\FF^PIALŒ;8'ņv{^2kG6@EW6*IRq,_\ [\uH>2磵F2uh/_rk!aEks8$^F;m glm6evu|JAaR\.ae@1̍hW& Y<_F'Ɗh~_tj&y'| bO>Ln`T (C(W4H.KaFuK8QsfWۤx'ukP3y!"!̲&Ȭ2sgUu0j A8+?~k{+Ms)y"-ΝW!KK)64,tH?CE?FENi$a.6p!>F9z.G [tA!zřݏ(/}q׷2Jߤqz#&Oo`==fԟjYvOm6 wјTCvVΚ^R1ucGeMZ'[߾`?Kr#u9ea+S"E E5ЊVq`B# kE-K+cqŋ|nO~Z y;m ,eHS_ЊգѼͅҼyュƴ9 L@"B&(F=DcTunpgTULu9ro5uf!uUE)CT1$Bf*(;n?r9ن!MhL{4ɞƂVoࠥ!o-$5 <,~v*hGK=B&:ѓ²,ML+gU#$ö'Sk,`v.ai{|rSjX-"q;vYW"2ښ*ĸbԾJm +cA {"NM3T9Ikaxywb6P ɮS<פ%ֆn$yfo٫)o ZR2d\a$.r&'toMK^Vd4eHT/C 3:+Tb S@FF+m(&_6p ![zM`埏qcV}NhLk.m!NC Q:EeEPWXBx eaXn8 w)])HkPVnEvifMx9hͲQg >4s gjLT2]@*n9Ͼz'GTl87vޚNk5*g)i EW`ZmSS^$ZIZciwF8& ̅UZ4r|>:`@ͪ qЋ5X6. E%kk a albp bSK'j‡|a%&C\t4*;/!f+jEt%%3YA/t!W Sj=d2eS9ࢻ>vHJ$.x~hYgլ.B$.}Q5XurwiMӛu<ԯ=p>50d Oב# -9?|UTH:/A-*ڠ+E k8pi av6Z1R߻`)e=vd[wPaMXc.nUlC5WiLQFE p\Kt$46>_S_u{R(Q1׌ooOYkזKiL# SI|guzFGS'27uuOm~ϐ==Mڑْ0 ~o4^7x lOjnHh1̑HdY4LIf(3AΘܙa7u;hQ 20}>-+:E ڳnTj#᷽ᰍ>'VE E&D۵@YIHh\HBрGC?HGdڲƘ*Uxyʊ釜LrrO⤞LZKߍֳ*-6W_f:Z1VԄ)ffklfL [$K,qKl&K%[.QɒeK`M9+O4Y+LP9Nad2o{7]m ³LB iv,ו2{L),b|5(5ϭp- I'@ۉ LxݒA+',ܼf:~t'" <9^?Vz:o05_&`b ȥgYZ63919f3be8e03424e2ae22b69bb09d392a323a8a21cdc0b7ede6607d8caa98ee660803e107c08204 ca93c7ffed152f60f4df396467306a3c15d49576 8550c45aecbdcd678164a2a2bd4f828eb16343ba