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 MM 1z44 ] HOL-Corec_Examples:threads=6elapsed=150.069cpu=486.164gc=68.9047zXZִF! ~. ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]78A ZZD>lٍŝwpHQMl﷚'=;m7JZVjt. /<=t e \SB)ևqAE~w[di9#];6i*sxdwN7ғ:R vQSR1F>1(qf؄q_~Ɔt59<<0Q2pՖ6$lw4/,\b.M?5{u97mr4$n٭˴$D52'(J0/i y5qoxye4qR~.jzO<(o].P^o\1݆)6*tkyI $yyPDK+DkxnXLsFb|gP7*jPl )՚-yVhNք.E& =fn #j}15^8jm2֭Uٞk։8%pJb7_FK 5 D})Fl1<<)zy r{o 9D8& ɹ!lĉ&&%##3q3Ysg^Ge׉[4"km 4zJyN^0{W\ (aF 8!IV 4&wgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ ۣQ>O0q[l` pk"9' 9Vo) ݵn z}c#n7>sXtSx$}5!W^\ ~$`At{~#HqktZ@X}:rr04Il];DZ<(A+fo{Fxpu##<3 =Q)uݏlj4MsVg  1,gYZ7zXZִF! b2|]ŗXi%8v7|"~OĿj c;F;5ra 4V񾖞I$UpJfTB%|_Xwt6G@CG9ϡISW!Y-r_l#QeACp¾=%ȎMi`Ga&ڇ.!؛M7p- Dba<>NdɃC;L~fGF^\Y0Tmʗ;MyIA6LZu'х~A_->%mUÁ{4K-zudaW)NK\Pdg)oc@Q =g 94r 6%焨[:VVfPA SNepRXK$mu]i+%ձ5泡+\ w4 ƀ͹K2Ĥi+S_-Qȩ0 >4"4"j6Rh@ۦQԐLJZL#]!>Y(2aN`m< 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]<7M5I0E+>*7(6'3%2$/#."+*&    -(G hJ  3 ^ k . p2 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_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.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.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.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 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 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 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.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""gYZv 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ܱ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=(skHKB8j39ogYZj 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?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 G M :Gp1A5 \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  覱gYZ0 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"RXYI?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 gYZorx9<&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  J  Jv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518d1E9 #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#!\ ~gqȆd!O-d=H@YAMsbT,uZ l$u?7Ƿ6bFn8Uy{@ǏjBSMƩbdt?kRN5mWSdQZ&J6-|D2Mr4BSb5)}TzD u㸍M_N+:i.o+Nﲭ74hG{1Pem.vV4c-G eżucp)FO(?}!T Spqꍰݯ9rsߴ* I<9Z8^8POJ'Yo Ozj3heٟQm]NS^ŴHϏG:")C|.wo=P)cNP9xuDڒx"V+'*<*p:z9M}\X}Ue;qŨOH;Xg~0i7jt.xD=$I~$h UQq6eC+/.lPrfj9+Zj@gs0OJ̝D wgsV38\ ׀OI2^ÿ4F4sF&@ Q3ùm%LOJ)qZHxܹ(jDQ$MieӤeAw)fK" _IG0D"<=:IK;gqB1{ﻔ[a[`]MoBG:Y汘w[Rȴւe[RmTW S ;ZVvL-.k4sVӦՕv,;[9/8Ѷ'Cg@ZIiB䁉p2[,uh`Jhi1­Dv({)2ln̪&;[CQڳy0.~c嚷f.|Cx0p/%ZĞJqC(iبߤ}K6ہ:\e= g9vn%4L(7':2qf#n]0[&׸n' 8<;h&$9f;GhOA/ž\!s\1Hgh^Z h +Ci+7&=Ձx~I =LM\DNhԘG$;V'hH[PatE8E_j{Q-,|=Qkvb(XCAZb_H#w/ÑT _!qkrűB DYDFz %* jR&ë-7nV߀X3%h`=euţɶ 9 M EG+rgJDXISؖ3]̏S ۞!@ w# L iDC_c͇\r8:~I=آ kk>p(A@//~jǁ{CŤ2Qy_1ڏ(X$Hi58[=ױ^j#S (X[~}V}lү5{)M;,F~Gwx,Rinz>Ys;Г,. uvgU  {7N-~mUfKAl;VΠ:\Bx]Lt6}~by 3y <f$$Zwd_mdJKX}T]?amIZ[ߴyz>:ύW7T^d`|SO\D4~V`M hcn/N \=rSNJ&HZ2o>^ЮCۥ`͕G9+#f$[{N1P@230b'PI< ~{Ӷ>MTkS ޳rF@e\8Xmݩ NiNZN" 6iHK"OҼC''`EiF8 MSV'4Dh_K叓\ļX]@HPw`Lj OY@O iI\tJ(&v*UU~1LS'VblHnNzRy ƂŨCQF iyC0): }kq$VAhkhЈ>vx_X6P>TPKYܘRr!@?@dgb irhvRE57F]8/2ku/dçޟޟ€K1qj9Q %ݾDVSLX;lzorM`!03 gIǝ2kNw;ˑle3~MIIA.$!|✠DT`:QɬmNVl%1<3D s67D1Vqd@r[͜Ì/ܮìzdr5HRgüIJbP6NCР͂A}}gdH`/눷Iwu=w4hzeu1Ϝ8غ=R@eLn6$wArЅfL#\2AWhn̰!K'~.`S{XRO|`irDpG߰lDYkŚ o6á-541ǓzVMk; :ƛxëSjQX됶R Y^gIl>+`CA$䇛_% 0  h`meڛb{#TGdWF:Hjk$|Vmn=CoRgݹGb{zN4؛Ԍ@i/4 {`U#j9;M@'Eu6sɣXc} IkID5g  YƷeU\Ж%YͻO ,5J{\8<2_Y9čcSgt ?t23HԃMTwsh泿pCfZCxy9d>gYZ ^1O# MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34t2 N3 [UmiS 1hi S)1nV*xMg?mt1tH)6__\7Ń5X<."@r.JUnwU[0r`cj!cTf c$6Q_l 4fg*ŀ0UR\۟ޅ-ĦH°;yes(F<'KmH`0[|Ħz3=jkp2!Na*4$!ODB^Qa;+e ^Wf.;fq 0udQʞa4~ HܿC`֌1 ={IPkXA^sxՎRX1~ J1rGy#`&xQkďtwbEW{O vmxyf@WS]GxU) TQEcSc ~lXUa>~\TDJW1feU:X8Â#?s5+]@rCqGwc쵵EJ[o75Z̙bZ,bV-h<ӴPl+v0̆mt 98FlBC pĜ9, eT\hH{hM7C3tɏ4/.EE]tx 91͐I9?gXN2#J9f%2yE`FXUZ$W9^=uhyVrlJ3ѿk)I`,i9C!<@ x2=)9AN?8H_|\ha5_q!8MC4tys6 PLȦŽ2^D:t% u,}֞뷶4;q W3;#v tq r9簲eMjKpEfoh/tzi- YD=>'a)W[8áɈv ]_<\PNV\K/BTWsi_-wD"AYVJYݧ[ݡTi FK-Xsa.9U@#aGTy}'t0qkiŞu]cBk:5BzAy- $S׊/ޜʓzӉw#&;}2kw*bUFj3'wz:5ؑ-NE>E.98ht\g3: &!ma`eGQ(2yB~ c9 r 5r |޻Iut)\;@XB:~G5 x+Ɣ]ݓלZSNaॼw':[:LJ'f XsÆN1q6F0o*£URc8әF=ŖR{0͜CZ7kXB5Hz I+460\)akי*z4+K_la_~2԰h5gH[&X^.T/pi"Oq$+mO+]ִ0J+$&hĠ%ыb'= >@Y|YKD?m\<-MkSC 5*ajK5Hf^ffpl482w3j=YoO1P yzrʉ1v"6l03M9497dB-\ql7< V U5X,Q0*?l#wtl3f.bdC](wQ?[Xq$n`]QY֑N/^qWt/,ㅃ6> MSK^nS0$ZRչHzɌ 9| ^kY?̴^9\-QP @Ds(~S'!l̍ [,fnz.}u]j.4;F% I+UjQmD%`~'e^'.$1( JsXeπ;q/yԽ/=ΜDZm'0(ZGIÌnLLsY"4zRco}*CDYIgz1X]4QHyca7+Q s y 1 %sh1A!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 >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕ZΎ`=Cq %N]BQe"kdm9w5e9*/6 kELJisye\;g1 tqc˵~5q&M3$1 rFپ}]XhbF0w!a9~^@W432-7Ɵil |%WjI=@K:S8r|0x vU{cpRdu|>pfڋTzɖ`yuh$N >gUlffv&is EJJ2/1.Wpvu`&@(|Isns hh.cdgs=[):DŽRZga=WXnE@Q<B" ڞw|0$W]wY)il[%k"\ga!֍Zav ;X>V9;߂MOa=)GQ<YAZj8(}W>3;^hao%H֢PW:1L>G⚫]vPHka2$l=")#r{δY.6|!ڽ @hm7ڰl kQI3g l8\nTXџ >VjD4{ &r[W+e ?s3b#m-V<28"GpQgX3J :-+:lUj"RٽfYϫ8y3E3mI/YEzq%19b-T|ǭAб-2[T!rx[hEqvsU}8Ӑ[t6k Έ1P N)m; ֚#8gYZh1A!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\7S߱`pӰ~w̝:bpK5 ɩew"O(W͎X"X WD켉PԈ8]SvC6v`}7O%J{ĎPcTi>Ԙrs )rew/oK -YLL~1_*&{tZ>oxѓᗼ6Mi@a5߀>! S%(js ˜ULܪm}ݳe;[$k5"4t]F]&ho\> P0H>E%u?n:#cQ8 - :*9+We 5T@ʘy^JҌ/nE0#'`z> 289MAMB`6ܶk\ܰ]Э$];<o*<%w79WMғqk୒9;r\ߊƴ||weJ'chwd:)h,4vLA^Ÿ#rgYZ vv1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3Eo(G>&DNiH]pMDߨuӛDh*?IѠO< Z2" ?aW}ȿq+R&[Zmٿ2wZaQ[T452dzNS& ^@'dvI ?#gӾJșAhXmB`,8]"ww)BvqRL8s;Ė*5_%iC&G*2hu-Wwd=[50I%bD&XZ\V. ol8}4AFx#7̡0nx!#nwG:Q5HKÂb`,`eOU7ߥ0=E?Y2-RM I7滬f0d / =g$K2ΪxT\ [#L{V\ioNB  Kᖔ'[g8D"+xo=o@ʆWyY˪IGw)yFj/&wbRP4}THbU T]Ly#g5(٩[4.PV?AGh;GR ޑeS'ZYϒAƱ"9g e+0iqb6HRlpġ;Q,:Si{t/mIsDKVxQ ^|LhH٥LKW.S=|5Ɓe#:0rNYєIo˨|xG=Ez&}y eR;Ppea$aK7^x(kmdilMovuH-RVXߎTӳ,^tΪ,֌1NOyr70x^u|>&GyZMնv ,x d̛ܠ8)!AHz"3 g?=Qi'_k;*QkD-%8Qx$&V+4ں "&Ppfg-#=@P_Zp%71fUIhޚz?6ƼOG.@kpJT}qo۫0ք*,gm+Nz g&!C`{a>[Lw9u\\'7WqA#ޗLpG2̆Gh^n1ڡ:7RyD܀oxРnMɧ*cI߄8l!?!|ݱ8gǚW5ʮc 8ݫ{;`8zܵ&~R#ڨ?ۍ/:K ?Ṱ;w"?@ݣ/]UPҚTI-x֋/`VQ}B5b`HX*%I gЙAm#Wܙ %n1jHxFCӯ6I)a1P?M_z0 ?W'֫YرgYZ :C1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2Hw1 "SA V)zybp#uoWr"% &lH{:ޙazYvɜ~wxwy짏DH^TFũppRؑŨRbrktnB!WcX43,1- zY%s?h\˭M_QbCHQ"?@=*M~ pheVpE꧙$x&1_wwTD=&nm RdE`sD;1GzA(|#3PT>߅@ 6ptCuMOYp#4boB]7sMMv;{~DAqkG$6C64WlLBWHO5HbyRml֥A/-J g! F ɰe%›HfI9[ o'g"hόYVx!:E HK&2^=Y}TlƳFSl;ABp$L,6\]Zn_>y_*gnMzG"7+z ]ɶL$Y១KjRŶEut'>5uҩ| <X4exBL!~,dOCn.4uI瑜 דS~EN>U 9By,5Th^P72u.wS9$%^,GK`{ fa~dMp P@\r哂u.!$6jkՃ͈†rc|1.T;0Ӊ?N`ҲuYi%jlP|Xe|+~*(I[(%wL4Q(A߃zm|^ZhӕI '?y3`>p.:Se'7K<8&V?vH:nHM bnA.j@sѢWf*@ C vگ,nakz;ѐk0hiό/?){0<9y=UU0!sMFј3  '[c GIaB7mViG7@"6A\}(.'eRZU60򣓶 X4'`|p:6#.Pi+WW:,$ dkgN~'=]nߊCELPTa\  q8zI_3641HŚIsE>2z֤XOۯ@ t`V|> p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id5141A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\r•9ժc RŰؚU i1/(WB@b(UH 2"VJ.80@Pt_BmA~qG(_+b@~mo̸ר&&@_򴎗$ֆk!P\0Gv x!L\h/h"%Z'mH O>N|t}dؒ]桩027AYNc: I $ݷ[*YzUPoQ76_+/G0ɽ$UOc{%!@,WsV ؃wLngC"N &"9N˪_JJ{ulf&2ym获q喇㵜c=_= h0`.=R qqoe<`y&5I=Wm z1#FSek54@PϘ`yV,VǾkR':7b}w/#B@Yɮ;F[/u@2 >`rot;gмQkf6:ݪ:USei6Z:asF7e&X#GXM[:E&K4kPNse} f4jG&&̯SsKVNĽArT>e}s@ e[SY*)9_XSf:N6)3}ņRħy@07L1y[[FH;u 4ۇV%#qxR2<`E&MQ S'/ C:܆G{bME0kPO4vf[)_r*xX]7.%!\J`6 И;AbATIqo*$2ls~f Gl F.cM#OqYs2:sal&]g2@(92 Ut܉)͗ͱI % T=\N'Ci*Q?vAo9l}$y~ᏆR9 \o\~?fGłPe?EnABV?*u[Yb'ec'v&}ouDYC&2= fZ齔4&O/#9/ VDUuٵTn9iF@YC P*Ӣ ,M_}xVDV?ɆP7ADS"i!x(%W|˱Y]F-I<5fE`ղO s 6psPw;>ݹD%~yGo ȧB;\6 ȝ[_isbvE9ե( tjL#CO B"uu!5?k/Vǻ^+i\xF}c?:: DҪ2k톒Y&nLfbxS\bv30jҞefk~QLƗ9^&%5*Z * (nVW(=CRo]5jF|P\+d/z)dV1Wr+ˬh8K/QYt;eݺv)mH35dtgn˵TgYZVA|F \65p7OVCE# CQ#` Dȟ"0d,T!Pf~@}&4";:+b\CdGbJ#I! !$GyQ>*tL-iu w__llR2^yxYI F+co$dg ǽOؕǸf|uLơ- zܭeY  aEN`SBS3G,dg!ᙬ" T~7e#!@/y`=cWZsyVqm7G=`DDJvRoO!+n 2*$J*">ny'ʏ5hB:` 5f:ఌNzŠۥv5'nS5mObkZKz 2I>T6)2l{To|kz pglO|h{rhf.j-=nu96z^[ ON|D]n*aΞ,1aOb{Fe6*6"ID@+>\KzliZUu]GrS"BɶuY=k/ _RVvtldp}>,mpMoy`mD 2*>-*D{o5w(d94pr[:Zght.d_ei)yTgpDo$ Q!D!s{`$DfvZ6^Rl/+tCdrt9L_=Ψ?;skyDG5?߳=.ԡqZw 賴?#}QvNvmݦ+?e4-K똿{zU mZ{s4Ku*+1Gigr>2Gb7 fF&:}NG IlOfv&jCס&8Ŝ#l5Z@l]v:g 5}|߬[]: -аgCH`T<w7QIkfeEAC2Cj7?iHCo"J2Oz ̈ ֯H~Q3r@r uf^nv'%?#Nmv.#0͘׫a|MbO81fY?Q[ƞN-TL3fmD&<(~vuZPNDU~}!|@bMA "'nFi!礽rsrZBT_װK iC#i)S#&F>mrVތ>|vFnMQozUN#8l1(7d`Z癚BJn}去X?81i)Jaqoį36']Y#Bv(*qz!騏 -Y=GUA/uh=iZ:B1J8lmFE򡿚H sy "(=x;-]bZ;Ws`ufc;C"`hA)Wvg, K}`;;ݾQ{R8י8 IM;ЄTl AN_6_UxcGfטVA2ucopIݟT\P]l ٸ6s\UGD!Hڪx'+FbdBM[X xqBHwiqgr$RHOJK5n|tm $y*-(A[PM[y'*#Y_=TmZ3#G䔺YyWwP\NA1YUP Ä*#"8s^4jK3bJ- &Y=4TI|'E|] {lM]_Z4-^ר  #]V҉Ki=}q'*fK[SzAׂJS7W8ȝb7M C dMҖXOe`P`hXo_wN1~ ב Ktm}\jGV@!r|.}+5;+#=U{D1T 0zODdJ1k28(SRQ`3ܖfHm^:ˇp- b 6/.8>ݱ"!!v}f'%ՄLrr %)gYZg# 1O# LHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\>tݻHhuQ@#BYdGiwCŴ뼁)fJ NLO#nbbO;t b,Jl8H/n~7pR#3im&K>',*~dh4oP"H.Ȅ`eme5ooً|H;6 Vq ϣxt/Fx,#J=cyֆclɱ |1H0zx7ţ=c,\ cpߍ܉:\a ^@@[Oe8Lų`),h5q(ސ^')u)νMsƗtŸFX,rt  K]NGO"b:73S'fGGG{7!6_B : FT?h>44nqV3@bHEK"?RbDoޱE:kgB3(?쟭-R hZݛ@9BUw;HƋ1fDy$9lU&#_$|Q6NTJY X]gYXviA'wA;xRW +s Bɯ.Ovmp_{L z0Y|?r]v̓e9q^Q5&W+J ҳ6R_z)TbcZ !]/l y0JU rʃk?^gw@tq o^r6A K `zׄp"1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM!1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id522 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\6.;ѵH%|{Po7UT>Ț@dTջj23{<ͻ^ySo-tg ߊ˗Vr%;f1b*1W#%^x./x89N u^&" ? kʄ38qŽ&cHIȗoUyѳ?1 lQ~KVq5b˘SXYVo>S+p,zU }K^!QFXF{D=b<%]3Au'JBsccA *`t5ſҖbꇾZ4 kO<ߪ9 '{ i'PE'-z<.vP2YБ#3ir3"e<_± ɠ+C ݕQ\/dFu;lW/5(_Rǟ2vZOZ8Qs~&Aw?h>@Vdnj吱wF c%1*nźh+ N" BBep˖] nwh{aspRX}9*wL=M–Y)ax@ nǵ2cNv[iG:Zk%V0l~3Iǟiذw 7_U:Q>e:j3P(ڵݨ'".@gOCXp2B!Txluil>^8PY?([Ny8q<xX{Rlbl^h^mvW }HL>p{ϥY|aI"f=ݺ҂`6"9Ed3\4oP mL%$6n7qtgAW Qjh5[H ;Dw0wRQ$uC 31*|RaP;CX2tQ`!h/>>AZAΑ J}jUC3'=JCIvl>HpAH0ήlOeNpE= kok!Z pd>,]MK<Cjs~ߞFdgvuef!!B<@Htaנ7ڸfVp*e~pa[ L FmcGO!J2p.CKAJ^\ 6k&q[Ѥtmֵbtu Cr|!$fo5:fWO_bz>mIW~%=>@$|NoJXe,~AݟM BC$< Jüs}0КW~r!EwL 8|I{vʸ~Wr:=`)oc0a=JCS`idʼn>N7P͊LbB2xb8j%rJZ#PxV[UU2)Ȝް.k1ûIJy#4l+H]2N>{im [=L…kPC#("ԛf|(Xd?pR=>ґVg>*B|¾U={|thZl_-p?3dQja Z#h21sށm̔&E\Hm(XB0Sq%%u4W{g-9:g8Vok2Q,P`TǛa2 _I+٠C1 29ő-۱xgM-pVt\_g/y&w8O4<1Q (^^ޟ׾K*3pތ9o Mjleݴbɛ6#Uw|Q U&% E-ƈ%0M6A]k8.jtU]GVd}#ĵKCRklF qSR{QTl-wխ28YY*%[שh8~v=LPHOТW#✌x6GBdCǺͅ(F˖HXy<ŎE4Р܂c"ȥo]E.ΦF.b@}EԮ6okRpG E%ȳ6i|AMD@+vK@[c7('Er[EV A% wP;Tofu9Knj",!ڭD(Ś,k|j׾q/A ѻ8 qK;c| T!2_{E>ռ٢I3QG ϪE}SMB^HpON3xw `ј5 AkEq"eQiA u鰱;ӟOJu+1DDtHeLHO*+˲G VGyUfg#<P#*mz*fƕA4(>ÇAbٕg&MF̿,2G2,i ~aTޛ8[c0c>( *' HBӁ::ϵt^#1FqeE/ƢտyRO`?m ekMTԹg Q>`-xbh%g@iqwŴ)d }aeYNG~g7[}=G}W C\y JɇNTW *dt3lP?ގe6 Tb#yLȤ2&eȃ!oss9~2tEU~mIPDBѦ݀&GYNT@G-sv5*v4=W&dX,Yj?/Jo=<+LrδgYWAA/3; {CZ=LY8SB{;VvEXdL< Z3-Qة&HEԶh?ްT6a}=֨m׽<)-uzM[ԿscC)vt*;Gl_mx+OdcB?˗ǹkåx k'7Msk8NS90qAnzph"A.#5yCY|#nX0x+W#DeP>ɩD6 n]  1v? _OG*U"f~,JfyBKynMɶufzg v9 /dU~W..,ndshy.J2'x(z]a8d f׹62YegşI~ Y'6%YGAml&[p9]JȜνCjn4$QtGҘsLx\ !<9jZ|Me22|+ b WBU- HKzg3 \y%U==^݄n&FL+@cR8k!x)sg\vHι>Vj^wM9u<6{a޹xdEb#@0_\ &~bYťC$alY:5i+WW4I[_zw-ܐI V{;@sR #XaTM?S|XCnv? BB֎ǚUއD!fԱkڴ%Cp//CmG6w*k_iQLw/3aB@|&kqpu\g >>7nS.fOg5AKSK.uK8U-'mcHV3]{x^#A/K;aМ lfdpSDEԹYBVzƥ&Ca>PSr\ךg 3@izjd[8tuCu] [lӗJ)oz]JJPKZ־{hlC. 4ZZ@x q aP,v# SN1xjҹ6eq mxa KO7 {Y,W:`pB}:Z*|L!z"֪̄'WϕoM@]!'ڗQ^nq3'z).֬=qL(.4<܁:Iٔeyq@ 439`"m|tA<φuaQǐ QВ\Iq @S,*;O$:iIE&}I#,ƀ vld{[J)E&?r !Η/ľ+k9{7&x{)S@UDY#~М~ (*lsI$ ƓuqKUG(у#vҒ;tNGhp#0'!0|Š|䕁"v~C>Yv774Ck 'TYAɷmg ~ P!/&[.W%]_kƘث2Uu !~ĽYgu M.XVdoص^E;ʹ"(.'_g¦^ېיI.x9/pLz5xYY$G@3ubLͣ@54m VH[nw"Vr<X7QZM5&s- w!F ү&Ho{mW/@_ Z[2m޴g(9 u1IRnawk \,nTeue!Tq@"5|=I&fk_s< K+2(qBN?ڼHm4kT=]Ys(zI%cvBx-=QvZUr[l=mM3F[`t]@N @`@bG*r*la`}fyg\^V; oh>k؏-=2`ڐͦ$q[vl<֥.YyïsLMrU cSvmUvw*jьǜH./Z-8:b GDP8(%a.LP>e1Rz"Bzx7O) ||8X|T`ƭey.[O6P62 O^Z1~E HFLѯ*:׏ևA쵓LWt>ȩ>)Î&wq TKLED<IBfj\Otr"T=%T@8'; j;BMn=̂M/9Gl>`:Y:SAU/Kx틶bUĒ }<%}v(ԕ7\Ӛ`ĩ gu8 k4NBWJ+ Vha^s^ U1L4j\b[VѬ1xnEaCC{ Sѓ}/lhc.0ݔ2KkA3x$_,YV=/LgYZ'1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1/l<#t5daߥp# #]+yhb(葀_9^*!`qM;)wRg&HlE%"#2ki1%J=fB.8I^xzX}[F+:P+ж?F*:_fD%0[|Hv% <4ǎ9gW˗EmG|l%HB#t>k7CYܤs~P (pq k3Xv̲v~ᯞ5k-%2RYDdA{éT0bR\X-W`MpTd@Y frSs= ÀUW}KȘ|qUP}{Tùn|8 QCVugv ×Q)y+.hX II߮Zܝ(=IutҢ:Tq Un΀źo~D{Oj: S1e iUpSs@~=\gg<`1ЯK{ʑKͻDۥiZ;0FP]mg6%\|[қ`^n~B IQELn,njD{&*ݷdړǢu\݄9^I} -TOzL[##ţ!{c>FKEIx)9y֭=U V[LJzB ,ܜ&3)r>|MS5f-H (aJzk037± &B mi=۸?۬.&jAp=fQ=܄G٬TP ߩ˺( e'lQpY ՚--O8Ij/΢,8,+D\3R@FVƛdH[k +|aXOuZ}\ygYZnյIe|#B%/9D_`,Ou{ ZvD6gWJz +7Ö+8{)W .$иG7r|>|EVU~f~=JqQݟZX9 k~?B'=S|߃;Z\AOEn1F*#h5Bۤ`qуk.6i. 1g \l ?wƧy138trI԰p}7l(4,Voo.qmKDM[ Mv$t+nӅr/t\jQGskvfҭӈ2aC:uAD>wP3ccMP·ee-anf]_9 ( ~IUNz iނD.mt7U&?CJ;tWbaƋeQF+,$j^ydAT {'cMڗj!xeڰ%;̲2)g*M:,uD& ;ޥ/D. F 3 QކsOmbzknj%!d%YaE鮯NDYqq%qItD"Q8V/nye N!j :k'vVUd'L/HRpIԁ 63D8_&:(- {|RSP 1 ,*܄ \HmD. /t|>ԟDZA 嶮Tx; `>ZGA39Tg[a#WE5z}/q:FWH}~j#e0ymmT:-IE `{/ .֓ɶ(F̹<=Oc!j.z@XqOKPU7 :!fvYwbS+e){Y#`eЧ`$nלu"C0VWSW'tuH|Wy3H8EbED ,HYN}IEJ ϤMB0_BKF^{.vu2njm LW:9lUBEá+)Qh/uU"LٻnfZkx8[ lo >/Edzd|&vq-\n@37STdB:2R- X="!a)E ; ?Z <;>gf{~ez!ɐ|fUNK1j̩n6\}<%vt1oLdҲeH͊˅%3|w#J;zEQh$]\TgUv0xnŠF4w{SmE>meA&K} YT($3 :Pm3ZB#j6`g~^ht~ EfY[Hfddk[BX\JnV\lᨕS;iK;_co}ńkR y6e«*`#;!D ${lXqErYc/#n7 ߳E85O=4eσ7qnd@Cu]ZYE"% y. L1M\;]JR|cv%9!ʹ!.#i) q7ͮmlӝU^s#O/S1c} Vf2Lz{PTrSOx-\H!ii  D)Jh0`|OJ ua:Kt'o5Qܔ.lt99ǚh:AFX:[Ac6y=txaFF?p\E&޾bL}#؝Hu^JT7&nSZ_~NHJ.X_ yNoNla]A`A!PBe59.L5j ݕF&{cC6#`ܟ7ݏ?ɧQӻUz8$" v]-WYL0 tks`,ocqRLHѫpvGxZ쿇 oMlNrl 4F3ѫM]i-4?Ig?1g3zz'׻0S@-^$Ztm"~aΌM;|o ;®dڈvlJR`]VɊ1f)u )! *&PyrZD?,HeSM$]YBg@3&Y>[kb>$"6!M?>N=-}R';Nnʷx/C_cN!:ƾyn30̑el43!Y{G25e74a\ Rݙ:W [Y.\ ½/J(3>k2ﮓ57]S}!?~?YLNhcIEr͠g~j;{LLXmư5^:crynf/$)3 Mp"`OpZtNN* zCwLGOHV額aVTT]ƨ')__C?;i:4Cf%uH67ː6.:Ǻ>KTuF" T{Cd]!Q1Iy@iqcop퉷\H_ZˁI)xs4ŎR0,:Sl̺O\f{^)dW[ ;B?jV%qC=m0>+< S/kLLa]g b̂i"2ލ˼΀pNBg KjNh?q@oԑ=cj269abB,(iL桨<'̾/oBJ&GӪ#V$6U=@ˊ9,Vym|'cT}^Qݫ޾!Jr lBf(p1W\.omO}W413g1;-z1t]3,[*d5͂zz -ˢFR)`lFy;z8FhBfI\B73W=l ܾb_(PdI<ފz;YUie`(\(rsi|}&2Ns@$~9s!@@m6ޖ/dNhCTgi|ă뗇)`~YE;{a/h*eѺ-Maa\ t(A2>=n lٱaH$[.D~TtF76"?ݣ Q^dwɽŵfם*c2x&K 9cپV !X4E2PrME[D ͒`]|ڧX֛K06ީ͏"W64j e:MA/o9M/0џIQukK7o-n`$&B!Řzc%T-j8l⯸NYr:ZZ0),ʃٰB Vwq[j>DbL-bTkٶ\kч鑯NQZw$WHGn\n K]mV )0"'Tj^Y> KJ0BQJ!:ĨL_Ξ?~ԉͽ yf~iyo3w)KCkyie5a*BgXA ͎r0W`(|=se,]z, xMO.w ;:"oڠX. ux?wrIn;2owBΫ85@"Jt@RD`zQ٪l+5](m懂a²VB~`~ZevӼ<+=lپ?i[\ez/¬[VRA{o&frccy +_ֻdPҁ[;4v ᄃQ$Qxּ:ss>zLG~A 'w-ap֨kyAG6kMv]IjI}Mcr necQ~Q{tVۓUѸq'^GDI<܂ƛ;Y: j7>k!. Gp-cɃ|xhjLb)DSH{T- Gh]`ȯ ` k"PaVuX)P-I*2lBmDC5EA±-){+~Fچ&TZi}5{e @M-i }s %KJV; %,&7:oBbIOzh60"]sX~bi멠0 пrTIfR6Ф%{_6tb5Nnh;RK<"Qxb=McFe+lCm /GI%T}'7b)nbag$Ӡ5*l?a%C.A%ˏsl=s+$r"OWY2F~'nːYs{DկpHtUrW+ JDҙT#L{&Mai Bԍ0\OyLPHl} Gڕ]+s,k|3o,Ѳq1hC=HkAK~Q5HaJf \,=pB"*7+r5!l%v$wsFWiC<];/WuS?,^~#Ф1Q-5+G޵∱|e mFxS0O/Q_cʪ Cw&ú@ |^sP~aOIKAQޕ%1ŔXxCB[vgE(s-VgȦwkMA{ B$^]luub4I9-te2U g1>>A? a7qc·aJIX?w5(52[YqGd|H3sk?c>2RD3L^HWe=peUC`'zM}yspo/zKFR9#3s ËMFݜv:D45]$Mرg{%)o 6&p(KUmz 0?8 Æk^.VjBYXcL{&Z+M>RWK䓠/Dбǀ 4;+[m\E#q(6_ b4."+'`Kνd̳/₷.!sN`"4z&K\|x<'_ъOR6(\S^w5*7JXgQ yf6 NxD&XQbQ؟1kC\-*.Ծ͎W,7^ .ƿ6u79 tcHMyR jVFbp(uzpl_?;;g*9߃V\9rkT$A]l! auR y< 5Ĝo>OE- Y>1qԨXgAܮ)tt9V ~D `W6x̩$^O\|('xP3ux+>Ώ$ sF4%I0Q|J| x):~A9_1 7@+VܓP:ޢZA2u]e5,AE%o>RsZs'n]+vj:ݟu_>م9y-QSӲ) CN1*{/@O MyFSӣ/B{'$3.V ^2n. ؀Yp)iR#`P.MY_5ZtEoUa^LHx{\l= UUـ+}"e)X8RWF-UE2'RcǴTqjـVOҺ}Uʈ>.PnS^ܳuN1 k l)#MA<`f/&swP?s(; ^z"bWϑ3Bp_+^:*`:S?dqm3 l:hH]A}j}êí٥DZEs]/I^W^P1zqomW0o= 9rGE^}m'08J[|"+0[rV`U؆}$ w ~lY/+YIE8lG|V#"ߎ_VK34Ķ5؟J@(mwV}pDS'(4 ݺSf֏QB5Im9:{t_eZ :ܢo ou>7Xx!;ׄ an^E2ѱI Cܗ^}DCuLhQ^$=sլru][Ŭi_:}tCϩ+ä/ BH[lvKeEeJ~W([ ~- 8E L&G hb\i pПCN8#8x%HEiͰV+7#s'mv;o@Y^ƜĈ e#x%1R!&d01Ng8`ߧ71Z\ 0^O70Orf[/ hU[$%\ZeB{w:=̚ -j`%`WeJt?Sb 0?vo8|\q#nŴVQD$SpGdoaLHû 2Q6_{5Ѩ䙀b%A$\厃cI"/D DT2w,L|GLWph1Q; c?;GvqSL0 -Iɠ Yf}\`(N=\Ge/uJsx]p _":"OPE7̘rK>a3h3h i L 2symt=,0-1 gۻ$f4RV4p.ǹM{V{^ߖ;u0@䝝v V/,mmVTjDK5J /ץN3K?0]zRtjp%=zTW՞nޏ<^BM{FV$:Js61$WW 㿯1%~?{qvҎVAjЏد3_A7O|äcÞ|Hh06n;m +3My4C l_Hp5,Hl _FE,B>(鏉>ڬpJ E5كq5H=9B޺JO}fk|& h* g.y\"%׺a6aKnꪔ N@Z̶Բ>7[ fm%Aٸ>ޚU= zbԀ 䈣$lY>wt?M~R];nu{퐞wb 'ЃCt1V_D+WsL3f7lT%?(Fm)K(3wQ'/bg^br1`0yFyKQ$zx1 <=M1r6[a`04 o|6A~G` /‘yc6MQ&x&F`DQJ#;b&(syUz4 D4)-a bK:SpxؗOeW ?}d~JYSZWcl|C9ij׌a5*)qBapqF&ݍ`(=.@XF::x#&Qo:p=Է@ZQ -` O̎Yג5(mk<^jI4w( mu˥4=@|j\*;_ҩ=yX9ZLQϯ%] ʗWvXyR62; NhcA Xz.{ᓧN5͛Ђj~I)ܜ>.|-(`aYAETګI[2gI !!ichD䑈-rۊWo~b gWnQC򑉘8[KX }C-F__6Rq|5ĉ}_a:Ӗ(V6zqY!r!B&Razop'갵WM] 6'_v 'x\d? $r.AI7VdX V7"$+ p !ѐ)9n$踯?؛iocGS< n밨BeӊJXkpqNȹvټYOfK=zhwsj-*ΗTbN r[$I"%3RZgV*rԩԹv~ߓMKT0JWT>(Oƪk%njO o侁NIq/?4\4]N {e?=\9ZXڀ9tXurlWU=YI0Jݵ!d)xɩC[fJtN#wnsq-8y*El(cJnR. HJqQ,]X`Qﱡr}`MFxP$Z-KJwoX4` 4oߛ^ktމX`zߛFiz0vYn ZNzÑž}/~^?>:'9ܝ'kX( ~ю_N^_ۮ;ׂ{&ͼGε&h {j Z_XbChz#qGc3^r!? Mr؋eE*VW~tʴAy}~< flV޾̄xBX^f:6Ph9:A,FB\ݥˈgIeGvdNQp [%P ''j;DW^OBOɬII>ƨ.I{IF˝.p8yᬧ|^l{o,r \ZʵalUA"PhH "VSiVG&P?X{? g-H!4U" +K0vX"xܰ)S>>iέUcdo<}cNckTmR@A…X/3"q71 /B "?)֊jRQjRЕ=V]AT*qSQTyG8A3o+R'~{V\Il{ c6N9`mNs?QsϠĤe( W"f)m+íݔbG%N׃hn:TI%O_D: UmM}G\}k.C=LT 7vS%7ܢj:k g b,5, ξw$:ۋ?R: C1""ss}PbHOm3!MoS{mX~/_ũ1O&j,CwP %BaI au7F^U+X:|^ @A  O6tYJ\\Ϥ+U u?YJ]bvz$sqbN,dLm!OX <:IrP%k'"rݼWW1 T:ɔ`cɧ`HD +'H](闃7{\0c78g+t=Kӿs-?WV-6nL,mέmQe_ }69*{.oh0k'(Z"Am5岁\~3N!Tc{6i X'.:/cz Ͽt< / fZQ=r}SYxE Yv1RAWýi0SGc2io+M+-'Eú|BV!"!s.; t86LLXnctgnGaIQcź͢m8Hk50b9 ėEڝ$\W>]+rqΟOigDuJa)PM4AE G?h" Urڞ7:cʳ)ij16kMճ74,nM6FV5K5un9TT\z3k k_V檣gSi:A4;L$2 @4xRDFрP_V:PGA3ēDB&x5㗕Fh-b7]4h_:m wIvGkpVtJ}h'LyZϸI6,"d*[]*V,7I,9JF+φ{UN̥De(?IsxMݬK#ޫ>xe`p&[$q@ȈªX*a7*p$ke'O?Js֎W>Ifq;K8g[Q&0mYqLFrFs{uAB6׼7 TMO`,>L"a7Ǡ恿u+>Ѧ s7eGх, TM4յKԥ;M9[*buTdT1-`v6`S%#{1}QS |N4Wq\Mn.= at{h Fދ7k.RRjÆ}X ꥇijxM)_$C.$%¾~'1ͦz }`#zIZ6쓪bxJ݂td- #=rƩr4(B _jr_CAG6)03ڌYcH5}v.?0*֤V4ݾ~ٌ&vPÞ4Ų]g y[+ewmQb#XmJ*Cz쨣^WBv@oFESEk[jdI9{2(k`53۪Pq xƇE H @spxz 뀵rsPhn&{O4sjY*PGi㸚\0"(l&c}m MĢg-ϤZ*Ckk1(L7 ńPmঅFN'S鉰%C Cι2Ϻ>+KlUۿiHᧈ7WBB3IVCȕ&4;=)+IʼnY2;nm:U섌py̪g'>A'I}'wf7.[e1SU5O?x@S?ttkW߸zF6)=Go4,͞}CX)- υ&cIۻEi \Kg hcVC ('8 t!&4_IۍLJ8g/z߬#+dku,tL<4 HC*m=VX*M,2^?┇Ee3؏楔H6eJڞ.M /; śVK3hu~J⊐was$4d @ DS[-z1|!2TՈ;^ɫ+}C `rYØlYAe `S3":4ⶽ* w:vh犥_W[N4;tY#u1?./iJ͇⠬iH /B ]>2O]o6#sUךGvXk㌢8r|ƗՊ H o{K&Zp"a-ׂ#Y2!{E{>x, Ɔ՗3k3XUni 'J>Vܺ6mfG~ U).mm܇%|Q{V M΄ ȃS_7. 䪷34WGۅ|C/<>Gi-?Qs#͓ "e3p.KATi'|/Xp S TN@Ĵ0/E1c[ x:*w7l[> 7Pڗ%])"-PA>hM^+\`],Ii!;z~lЃ/_i+F)tmV $[x3\,9 ?=i@Q>X_Pֵ!M޿{CEybR2 QDnpiU,f[7/y7tܬM #IUFKcsF#oBiZǖ6"c' gBY9ZfXDr=kh)l~եHY7\9Т~%@V'˩(c vE:{8&Y$/ Yw;q?l(3DNv0ˣPQ y?S\J8?[>f{d̨@Mp̮ _kfWƋ· GFry0c$URhw0uGLpiM[΃) 癘aWlQp0_eKp!uXM\/ `?ʴgږʦpM>9 |9Jue7} Þ^9j2JQ;"\u?޴xϒ$rnkaju؟uI?9椓 %5MCНtabu`RQ&TO(S1]wleK]UyŔY r2b@#Dr:{rP]&N.b"fu[h\0xldnW:<?]OR裊 ,QFz^'&~So[mqʘ8kTsnc!ki08+C3cbZ/0ʲRrgYZ ^+ 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IXY]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2TiܡdR /6uR*JVx]ƯY\ @E/SN0KǎÀL]PIe.n}:Kç\JL$D)Yn6I* 5| g;A(1je1_RX ةn-z52C)Ɯ$@nTv\'CV#:)#YS1Ʃ^&=DžY"pFK6d(k Fl :.;C.%-հ3`BCP~%f:/ૅ;[_#K'cЪn1{EFdh1Ւ\Voqe阭w&,.p)p75u7Ysx?#ie*3W D֠kb Mi'k '٧y$zQ{4e U>CgL8}빳H(F ʨb  O5;㾜5Re.龞‡~jMnhm/vF7֑t :R~ԖR x"7[q?T\SvFo}$fD鎮^>j}|)W )E1WQn 8{\Aw#K6 Svah9srfag z6P H2B2MʥgGɮЈk?A!8.΁ږ̤O r 2}?PSQU(;Y/Gxۈ&'= xT >(ΖHgg <,l,BIC>YkF|#cvf@6k=*&uG]B 8Gpĵ=J2lwnIS; ? b8AMTnPMc%z_YAJ#"\$ٵ4p@9e icq'l N͆6TۈuDDY_U3fA5,YLNZ(^+4Fצ60)}GmKrB#yuɡ&*&#h ^yfP ҊasD_=o.IxZNIM cϣ& HYbC5CIuwb?!rO aT!|cN]x4.BIxBW*Hd{ptDےsj[򍭷 [\??u":u<=T6ߌѐ8:wz²{e;wKҮdl_6F]>>&.?k+JQ5E $-l12_=3\m_ks/sRF\C?i{;Q:wD˾_}03MMvX49T|':B칝ba+~}1KhG+>fe摦No34.S5BAK:P'Bnvz # sWSZiaT)ӒEpe _a% ꐕq<tD%ɱ Ef7oY<9])JVv'ʅHYP6"G ̨0'ԟ1kыPcC*Ndhߋ];7 Wdmo p|;Y>C2 dB0Tl^WuQ-E;aP/{!+ֱFG#dY+2*&Ny;H'b >흫5ig(v4,A%j;ǻyys& =N: jN~iR df}ڪ7&O' \m8cVF0UHzORF i7JN#ܐqЊ8ڙtCab*@,X9\"KR-d%C$DNukp^"y8"Zєy%,dd[mAz,_u,jE tyL3;:+u^!R֬*r]HHP l?uXriٹ?I滑m-؏ =Ɋ*jt5Щ؇8y@@sޏ.`.~[^VDaR4~SO=Q5vZ5Y#޺z9N>[9ݸæ Y<LU)>Gs>A A q:hs.x\u1C95Y Hܚ S,t7 !YkKlDO;g@U8n!.D Yb#V fܶzNAy(GWfx(K o% 8SwOغ螹 /bp+f*v6{[Psu8pǶJ)RH0ٖ4~P7؎bw31Ҧ]g&Tz1eQccw Ip7ށT#QyrqyXAG&f ֪PGCSB}[뢳,sTBj̸4;쫍T#!b.|tV&jFE6j9>kP85Gsκ 0bKPPJw.eA#^!wɋ1 SSY6ah QMt| lWs؏KB0yݸP>{HȭgUH 0ֲ"yx.q<(3YTX}9i7g|Gx LmujOXBh  =FM3QD6V>>$krk]Nm̩ S fT?;2BA҅]kc*u%屲!ͼwJI .m?T<>[[b <hF:7?ā,-UE]FXb7 \KXEʭ" e D[&f|F3FXGWCU%~yí9s eS B2KȈa'OX#bTnrw>6KQM.oU$h,ChGpHܐ#%B⃺m:wMU7v&b%+$Z>;|aOq̔npX䬐K{ٲSB1l;G9'y i]k5Q3HI%սl{\Ҽ|p Zq nXLʈs]8@x֫(Gťn5)|U$jCV1N/ְKeg+t 릢z)Gq)'1s$EЕ(1lpՇi0#涵 a(Ev( =<ݹѱ,(;V#M XG 4 lSY(+!΍ Bh@Ls[(V˽]_CVe98I5{BysPVB ȏ]51Z#3kveۀ_no$!$BIQoO8?lgPqBo_mVcx@ 5qJ:ؖ#& N.:E F p (V<^5rЕBAh+6Ũ(",wC/$6]zzQaqqN<짰_PmZB@%+!8aas|n#\j[d 0yq&P &͔yn~+ߦ1r[Mk珞׸ #RcBYj,3B'^d7ҍ/(|x%U`B836] <N5Yw8N Mh [7VlW:44ynT{tLGcXS2^DkNHP/,t|BsD%f!ʺ[q~JZZċo g^I#8ŋO*'Fxk침E֞,J ;-Vr gBu^MKO!ݺ Q3#fJt&Tƚʝ&EWa˔ >%$Ye#{w.xQ3\NaR]ܢ+' Bj'3,LJ-5䘨XH'pG_ /ش@3+SWwWy+`sJ3Vg7X *Ҷ4A:!򔿵{כjPcY RB2Gǜc א5wYf}\ݝ//Co||MZ;`njG>z"cVAA8V@XADSE7TUI#"G[8 Ҟ6џ'|ލ9kfhh8-BE䞅(/ VEƙFn7[H"K,;#y{v3 p/q` 45l*rtRp`(}̠N ~B0 /A+WF:H6Lbv l_ :Q̹*鈮޴n g bԿ?AWS>7|śK5]ŊVzȖ(+.?{1-M?(O"wjab1JE`l&# AҮ9+mr=ZHݿޏa5:M,Mn=|zȀC-spXoKԒa6Ŝp]'NQf)ȆWi ?&Xqfjtw5٤eҚ ^C:0zDOE ũF˹%oϡ2QK"ϝ1_1ZǠ穇[cELujSgRG%mg ˜应SШ6o1"QAlo]o*tsa(gt4,>y>7]Q jNdc@M-f/km ;q:FMPmB0=8禸e[2/bNg| Ɉ,9{xjBj]i__kcI5͡ T$C.347ΰuS#4MPT=j%H>}֙/fzMFMm5![>Bpܙ7AyK84eN̖,qZZع\܀#u{G%^{5`jS o߹p QKOamKm;TI .<.l~HV\EO\E5gw4)U4gYZ   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' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\oPrtC! p]%WH;D[Aݧ1_ 8 N%vD@ϋTk._Q6Up͠jfs ]Yuk$FC;jC " W;tgFg|UFh]k8Qܺ ^ 1PfjJG9M jjõ!PenU23wGiK;MxѺ,֤ REr;jٯdW35y>Ѳ{LF ]5t.W ?5fߩHݭ EQ{@ƀ|ihX%@Xy]I +$LԨ)z#:!H('gg (#1m"jhu5gD#[aFN%27cG=y*u\RLec~JPc:n+yœDm)3y!Ԛ9&aGJ!B輊fԮn,LKs4.Gölu#̺bZ幪(=Cޠ28  .6w9caYs'OB-{LU/"CFeoEg`,Iiix 3tӎ$DߕȎY !813ÑR ا, e.cSP8?ꇟgYZI趈cpvJ:Ȟʀg,wguv>@y]ڶF@@z G2e^IBE sB%R9ɋ_;Qa?+45EHTDKK U+Q?*-=pk*y|?_( w30|dR| TԪLVҟw ֹbxVV't_j3"C et~d23>V$D悗x(AєzxՅE^Euoxk_m/GÂP> A $eg]4r3W@; [xʠ' w‹Q@Q?OuFjq=zxpz؞F&ׄicd1f'zV9!+:8 o>}*'=`'"4 -}֎Paa4ǻۙ`ΪG-(i zwVmHsNC#GʙӪq3b?$ [ma\ hJfaJ2LE \JjƝw.u9=Fڿx,l8')?~^OVH] jl[ٚCd@ь`KW32-쒙Wm@i'i[^<>A:gfwr4M1TVNBi$>i `e8b'\1XiPd~ۢSGZsЩ")iBbsgh@bJ4)AyEq;w^8ܦ ȥ lK5Q‰Q(˯%M\@QQTBmٶGAzm"ɻ*4ihHj('!cDјn۟pw1!KSWJI`No0mܪһ0ɲ{6';`50*UTjnFsA,^=kj3'1>&,j JB~,+vMՐ3ei},oHmy6L\pH|hOpZSJ;3˹/q/h}Vizvje0V|_q{#`0cʯD{`d DV3֚&rDuX;}7kꈙUlEO8iV|_!Kr2%(zTgյ@~ENrZ] V99j22-8r߯J&$Ed%!éIydrΆ2t>Yƥ+ XI͹w\#>?fo&`YjM5W3}.6\ Uj}Qjk#;;S$Q\B ߳B@6X.35G<5 YVJs|NƏe _壞9SN"JN K 9p;Ip)~%dsDOX ڟf T)v+?o~CJ#Igr<5'P4usaƣґ޽{6]l UC r' # -9\,P)+,Cנ{CD"xyC NJ0>+=,f<Ӊcӧig#SN,z,Q\ԕ5q92#*DwC nCpaޥY{dak%"DO5Փwn$O⟹`XVSb=P1GAqֈW?']8lÎFL%Vn/ؕ SR'OQj xKcӨ\M?FV&K)IYaU{ETT!!4֤fq E\<,<}xJ:1bp?`WŲ&VH׳TnI!Ht!$ <çV+<5ܥ>R)*i {+4xFݕۣ|X H֘hKu9 )&!*:?x-%C]21fE Ց וg"aM6LW&]OċM` n萋(xs+Yy ̕ tI6&&9,9c,G5ǚ B_J5_Cd޻aɢLmY%/C=n=o&.^Reh'8Nik[?{jk3-Q3KL#mq-$LO~2 m\(^bvLaS4yv990>z vZaWFIsz*uC(Ow}m@ydh<y'C@B˕pY\mk'm.]١ <^ֲ8}Tq}nj;g6A_'ei E#z6$O2Բ꠱DĿXJLbO*ݨh,d$͒=/ŷhΪAU]H|1Ivr\a sX0.zsMܒ7K2jY˵c. G?=vkÆfYLο 5M+C^C lUTN@[>/Q7֤áݷ x xDu\8}*uNe=YɛB0Ѡ) jn]W^93\Hӄ'-ZLԃo@7y7~T>iH25gNH2Zl=B8ipвhYL~j~-qiRglBXoM@dS Gǧ:aFm EۿJ{Q8&E6bѣ eX2emB %4]e rYl43h>*jW"x.}o9P_WƉd΅a3 xa-$t&:g'`y{EmCU:=zݏ\EC܆A/|sN&&6z[Gk4"װf>]c3R 0Ӊ vAN%-*ыƿ6hdZ]XM^İU=Es0/}=qr=/XB;L^O`@6BP $k ˴"Ya"\YpݟWeq %#!7;Z&-M4Բ~q|lnu[iv4*3^J:кt 6 X \:&8(\ ?KbBAq*Js)@ZV%iYdzx!?ط7[tֱi12t@lՔzz_~=Ƿ1W<@OYrT+[& _-O$l7!A,aǘ6D6M4Z*z+*q}1]@,=S=uS`KWX-܄A9vSQNks`{dX=f#NN"jJ{v߹>]4S@+6,w,Xɞ([y $>kinnHs,j(vI"[Jp^R8\&L $ ؏rz [[T}WRMmb?6RdMTd5[5P{}QoaȃՏhQ$ym0`v7˻z2@ y;L/'t> 3 Jd9z9ccTڻ ;D.l|K7fcl[L).88b! a@kOMcr%8bLkLWhqI6ړS͠.putouBFҌ|nϨC`h23~9Hakfz",{nKJ~ Qy.d\ #X7b ]LIH-ݦ8/hr9.9mwOb܋=j4mvɷ+7Xš&  C b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516:41S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! /]D?7 {?:fH\7[̳vnOHwT]U^̛~:ȣb(pUQ짽9ɮE܍o@c.%G׫S1֛~"̢MDqN+Y1hKXIZIbq8<۔"w6@s:,naaMxp'B% u0AhEd=9h o(qzݖP]&Hģ`*is³XwNzi= n{Ssڥ@Ӷx=Oچ<(MzWE()HHǫ v]8ҵ+߆ي` WO s[pE ~UX.fa05lzQyma<2u4ݓM"*%lcv3UwLGBg ;OcA|hY}N|]?ttײ?Oٜl/w#%. Glk1rlshŠduɿ}#rO0Ֆ?ȵpmLޮԄ2(pe;u_ue'"gYZ ^;mx8\¼DFekܿTuDp<&qQ^ڴn!a(CWgtTz'1[c;2ڊQL8ND7Yxj[`g.Y|u{\[~m^)+>1= Y:?z;Ə{[(_I20j}oA%T7bӋի>%4*Ptᅠ3#—/rG҆W gi4Br?ع}vn\wO#fC g0dnN/K1S`2< 伷KV6-N2@6uk󆩤o􇔵B]geOo(iH2/|;si%8tF;ȕlތC0Wfڃ蘰!A@Uݥu>Γ@ v?̸IP5O,KE7鍿ԡSH(:`Idw%TO%v@!^-{d c8:Ym>֑" [jm*#mnyg}zBm,3v ʚXzcl WH3U4_⃜逽Lb%jX艇7yq%{-qOD&VjVJㄣT9Dx: <+ WR?*X9Xq&bSlX򅝃l>j>̷Abf6 f![Ƕsf$@<=3T L[d`|@j׬rE,`w{}iHŀe @ %JCZ7f)BwEU{:WA{hh&v5AIwЂ8)R^Ӟ4fV~k֝"GSb3;&1t1?hDpÆ%>DE!)W߭\w ,I-福uɫe0ޖ`8:lJQ/՚ Z^.^ORqw.`֚Dr̬ku7Fv8,!fdU᫄ȠPHZ:XksZl )!h| u1\(][SeŧyƾPD?gB7(q5 Q[@^T|Xezg|#' ӈQV cRxQJ$oa66H42K +=(Ms/ vם :hD#բ1ΗHl]E$HHF4htxU;M)`ÌCx4d zS,$'s o>8!_!bxT?gk~0yJ#1}"X?ΓϐGw )\gU`F)Qo`2`!|y!n1MRT,4gR4lU/!PkؑmJ͂ #B5uKO,4=Q(<f+]PȆT&]{ 3AmE\A$LIRDqUM>j-}Jݚ$M{y}&{pu]*Cl꛺VI3'')W.#7h"?i /&z3fP/kFKyW4Nu30 _ IXzMN"h; s 'A"Kp1u*a+VD WY^5I$U/u]uvCP Zېы_9լ{ b'_qW9dQǒ>Q"/$JBX*.yYEAL `0L9=7ʿqZUq1dܓwWjIkȚ˒{w*Li\mLW췏cN5N"|?v < |# 9|́ٚ"t`T2u (ق=Fa sk'JZ2بci6 &n2#J[eK[&,M&øK~~}EVs-ϩ_AqnƙOSþRWq-V+E=kl*6VȗoZ^+kuKGIAp=і;mɬK.) R ]WqzpkLqn0]~m_/c\ԇᠢGvC-;JO۸m!uq>Tsb f/`ĎM%G/7pomD􍡅. Ng/:w̛!w@&%B@CMH&Rhb❅*umt 4ۥ?L${P!"p'VEGNAc |S˒ cp]*a\lŜΡ 8! 60p91FZN;7R6%emp;u}d!`ܨHzt`)2X좵+:)u!여@X [}2aԧⵌ/E](jYlVc1 l#%J!of {}aw\]uAG}|e^If{gmp%=^J nlvNT5 !gA4;윊VBN"IINOU38IIz峹:y;]5[YRoTٲRuA 絺cŖ(KW0JO1I"Zyx^gKr8nGR@ȲTFt"ʖh.L?I,{5/w>Vzt5̀Mhz^:U*>ad/ã2ZC6ÖsLͳ؁,>u3G K#sjeIoWfh&m0n%&}&hԬl ,W*oh/jpE}m:+A0`6#(8/@Lo` rugxĩYp2E3.Aie<_&؟)x0gw]M>, n oi&-e"am+N9 5Wًx@CB*D0`?}bLOZtr00|(u`{ l"DouEY_˲ϲ.dbkZTQcC6m~A.tWh YoŏSf)2+Vo O BDN yBt[s1s|br_3$jAν]袦[eM1$ԃF<>K`ey\X6j/dU* : HwCc%o S:0RX'"OQjlcu G.?Ux-AW쐷BHć )e?>*\$&W2>bS6q^ k*8p^9爑GѸ7[e7$1* ^'`7$AڽI ,)/$GB>Ć{dM 6`F53aɼ~eh&ZyB0k5N a+PU88IǼ Yw)@*38#o2jXsOXm[t" 4sxTF IU 5ܖC4/ĎO KFl$$$Cܜ90a۳XIí?:`Hܺnlm-`T*г;p9mE+Kl<⎾u*V)mswlJ[dcp17L"=dtffWUuq5];77ʤSQ;-6b{:T*>&-EK*!,04)L+>I[>kz,}'AeZ-Q!KreweuyB O+>6Fh#uT@Ȋ2H⤧  &)h䈲j]aH(2~^Nw0kV6>7Doo<AzJUݯznv/妪y6W!zƩœMV$ۋaOSA$~U'cM|oe!pS>[,I}86a-ePS$!Yҍ{t·+ (^0*[~0ny&X]/bFZxOk jdb1@/" h׿Vd̶L}/o녲2j {ѰC5zęR1&ESUp`t.aB =a :Xgi%I3 Lr!OQX#fo:&LG F:u,ۙ/&WzӜAi s@na8Ц]j %_GT%ϵѷ>g] M$_uI32z.f؞kʳrDrEjZkK ^^jCYΒ(4ts&9k\;Nc'';`%0>O);&yxƭ!y82h @._i 8) ->OOcfSi-cj"xiBs<>`??:HFh=&k1 אLݟk2rȨI}Rb ="sS͈bqx /PI)>W~w{u7`#قp'}%kkׯ''[*vZPP訽J"louw5ٸ[83sp):a(<%/^q>r?cIէح%0KB UME0GQIRxf[5tsm]f࣢ei/Z 3?ȏPtv0'r}1T9ʅ>bXHa("OZ!M"S^p/a/tS PnaqwG ']z AkLc3+ɘg7޾ʖ5%f|k2b3ZB+ 4vU0!H\Vw96,5r%vR":ce >$cp&>݆]v/mg,&hI*>Eʄqpkj G82^ ; Nu`hhaI=͚L j :/eMF`khP 4i}s^ 'ai(oZC (j*"Kq (>8ÏdL(z@l!EuAZj`?e_.&l/*u+M`:?` 0^;آJ)Qjn@>DX^2ρR5e3q+!qh,a34D[1j?I%ly4W!"+.Qsb-&FF0l*1BXZ![U}H%\n}|afEвftlokηUOTi'8JIteJā4e<-8GLXz4- ƫ9fnHW$ZnfV,KC)  !~v>1O!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! L7]D?7 {?:fH\,8iK:siI_삗_#lVL)(jܰo~dTdBrg;iD%,\\I$^r91`ax@F{t+lT3UtL]od/'𧻓 ~)1Ͽ藯Z#;{Gou]mJ?ʦfdP1f{u ,$Ǎ/;*dijk$f8+e;AK= U[JS3s9.|cl%mUӂYK\8`YEBd{v2dy9nD\02R )M^a|W;̩^p<-6)V .K>cNwb r r/'NM(}'Av ZjjzB3tjYaӺc[:U+jT wKb-[Hp#! 6z))Yŕj`7xِSG̀\ۦ-\#ߕ؊Zd ?&PQ%e'H3;O.Ưt5ms75 XP6b`kuŮ_OHR (j췒rg@BWYq"৥dYkЙ)7tF .j~hgM!YGnv7h=F -Xx9X$M9}N zio^/8XzCn&.}Ck9ԗ:2 іXxI5g[ "T{*& iEKAW;XW>{lBaM1=5YgYZ;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|0< eWU: ^ّ w,V[^`ZnTDa :  R6i,x[ݎVƭ98? af,v:S`՟pk`fգUNy(jjt&p; ʕ-mr ֢kq4 ^u؈w%`*]7UI:~_5[hIBny{>ћ=0a;Cch;iǢ/Z+%a΃MfI6=ƙ8Y*:j8u]#yEVI}'<4(SxkOt@?/W,c_;fHC|L Rö܍x р s˶^7gJw?7vɃ KQ.]2e+&M9b*ߐ;;4eZ;`zФYm/>zL8HCNjBS>۹ ն AR{p sFBEJN*6ؾ<☐J;MH% R(tỈ}y" '.=[㏹J6<ڭ?Jw/zztylDtoMx2%;oԍ7% NRyfť;^پ!"OIpqs?z9tPA2ov(-;v ɍ(5#z.1x6#OHQF@!-,>Ҁ0ei`IDY;/]aYl>gx@?* x+k]QA-u]K,Y#T;F%0C}'P0[kҪmxirAES#W!oႢb`j5&vT@pPϊP?.ցgD H$v]|8kseW25ʠD4QW PkB -=j=CUr54vR!x Pz[ݮx8ʝL 5j5~n!'|k*gKW;OM/mX,H,ϙ)%bi[|)5ڿ* KTgV8D%J/ t'dƶmwKVhi'_cK/K3%/ɶq$ q8WR'cc>ۋ|>0kGhB#\\F^̑W]L])Z楥wµ:ҥ_f 4-~nW_cHx؜fJcB_Y,O-%?H.ES{MRIrt_R5IL؎*6V`DDL˧oI1O-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_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex CHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.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.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.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/messages8aYKiR;9>*/Y*."=؜rK$XtoldRj {z W?0&- 06*]Gvm. 5 .wMO҂E $~ NďSA|A3f i>j6%I8"b3 o/Pkpt#iˈ*AtC#M+@H9xǸ'"x|/CQTܙw:FJ+]dba 9lL+W#~IƤYA=9$uxZXlc4~VqVu:MV@ O `(<\|@uUR%꘡?Jm[L Wm='Q\ͷ)Pk„81|n)l_A8Z.yr:˨6/ ݉.[(- r"! مg$@h5X,ٛ8YOmo8niVhŽݜ$9,/)Gct2BUD*]w9.YH˼0`a46!}FE#=7lg (Vw4=)u}`dc{,m FvE<ԥ\_s0m7!ɣJ9n<1TD}ֹG0ʮA ql3/B~)? a~ozMYY9jW,uVy-*y+EQXFẋHoy 趑I("__* s V6G !@Q/2w;+BdU5\"ܙq'I뉮YN>uOI Ɛ= R ̝r-ȼV+2!^Ot6o9YYrhJB7U<+[`8C3a@XڳcKH&raft4l|0H*Ѻk@U-O-PT~rs%ہ:7q$*2ErZi1|۫L5.*!؁0UJNr%mjHdW-nJML6gIx2S7ue3j/-X[`f.X1' 5ĕW ],2|.V~rzJWU$O0/@3ʼnHD98fFʰAekkXK8Jm4Hm0ۜ){|%&JX1.Q!5~(%l66B s 'X 8h$)C[!f~WȋSHXG^׵!7O\{qU.Pѵi]wT( Z YY{[7+ } \.hWT=s i"QqX%>6لu)yq}3~/ׁ],Ըһ'lDkGh(CJ\>Կk`fjGޥ(ib40u\љmxhɽ̽MQ$?[ )'/gxbFfmXwo ` A?I *Zٓ+Ĩz wA R`.8"K}zE\tąPT$O,6,sll6eK-Gl_/b+b5Q S%n؜o1 ^Aj`oM֍|Yey>bULXTu=[ y$}9|TU+zcNIΦII 4W(} 2Tc4JΞS:ל=o'n̪&6֍޲DDq!@ߤ6 C`8e%^`x}#sNymJs(O ,ztuo)Xv'Wtq%P@H*wagYZMv7=w'R/Id2+Fξ[1AM|:ܢQѨav[ JIL:tktqp0P.pfl'۰>+[//;˳((&+ޮErH$B-PN><-:u.j<*YGXy,jt'9ޕõ.p3XCOa gnV!3\ ԫm~hJ9-ʑ  R]6,d+xT2‡\S&g&hN Ƒ_[Bpŀzؤ݌ZMh8*c_ U*M8^"ЪJ)I&BpREw_j)gt#Z>:C{C> Z ;BӨcԫ RX&\[?+>ʫL|9D]VwJ˨TWp?-vjHqg/CW)4mSP/?dP;%3bkulGڃb?|XesL)L Nʇs"d&|cTاHMYiq\{D9EZr'Tx'b x\P7vc]fEN{og܎ u* ;q9HZl14Lö;uyKTP3 OQS[Dܪh5 #YrYՋ 6E΍e B\d#*%67/Cџ"oP; (ua]f|B M[a V0anv \"]XG}yG6lYHs8$S&kL%FToVz(Bz8 ڜ jlMXnza4w$}8XQoO7c/6]犓u%=xxe~~_Rʪ|H98;Tp6fBgU=oynhTiǧ{CP=+[f7mix ξĪ 7N_"P*m -R^.W.b곾"񱈼q- Oя"+yU5G]ؔJ6_+|OGg,Zw7_2hZhwĂb*e!r8_NGK쌃WM$oCGEO} vˆ`yeODyQ (=B2e`FexgsYc34R󯃿FRDE SQ4,ϣY]Q@dg J[zGRoL |?/RzϕyH*ۺTj=]L%)Mj*}׺;W.<*L|NJ_gI`|>1Q+6= |IRVԸWŊrI'&/ rlh=Np, Tvg9z^ ͏b0yX$E lj|plfRAWZg:oᛳT?f/<-j[r뱟Y_Q nj"O *U2 =t)f`=7_L2cqV:VωƬ;[ΑZ=nbAj?̚CHf /ĂQ74٣֧z4䍪@UBz 0TcQMB%K_P9Th^E]^* ;70+glM0@SIɹ uZ-ٹoY5{?FykwbNMmu(,: YZl(3/z!3(*l-fM+6, .p@4U-!W>`d!ux0<Fz ˝dk^P79(cxV/N0nE]d6**~HU/G0#;"]*Nf'S~i7;SCF*@ b_oˎ5W~0` *#R=`<32VႃjXeΚ݆Ӟ5)pT9S0^(PJ!rV岉$ˊc\}1-$-n_eM;59+C 89*Nz"C˩pf L3Y<"~ f f i-?<4)J,R.=:+{ہT܉ |g25Jx6]5|6w)uкuԜt|XޢUg"x9t+7Z̐]Ea4)SGxDq琢r5ZDipK~?>\.I1Ԅg 8 ??b*-+4(%B:u يYsi2??MY QK/q(~dyb3a*3MjWrsu+C֠7d(eh(QrKF:Z2jfH*\(ZR&CEz9֘9C&6i`e7a%v- DՀ8$lRfS )8b11_!WkxYuw7X~p2/PJk1`ҎW bj Ndm8Zrꘆ{m4D&sI'vͻ5*D XَҔ^jP#M~!ݯGnP  櫻iT(»\PšPBʶb~c }^c9uv >wjIB}']tOF 0p=$K2aS3oė*C oHW#*Rli>Y_f\bxK۞͡9%4%'Ӷ&&QK82f{ŔJp=oex >+ 5UvɾKI梕ZMܐ!L cDf{^͘[=@v@vW'˻d>Okna C"y3lVCloJNEoȫGqo1`o?_1nel*+Cb".{MԤRu.4 KKggVmrOkyB)P _| %6]6D9ErLu@CR8Ng?ŔEJB|Ɠ,E&X3-Y%ГtN֤.)a 5(*r VS8uIUTx DL=}9V =^ۤFV3s"T*9- 3#y̺$J?Ə\!?&3h^_li+r50xy{dž7_zzQoMHa 10e-Uv8MIn`82%(Z6Lqp4ٸr+U;Wǰ17@/:уj.@ Yy\cыܾ=g+%dF>V|'#- vRlP})Sv@ѝ1|AS寘lT FsYT6pj=C9;B%bK N а2"]8W}vJ?CO%gD_XokUPH*GPȜ7;OWͰUBSei~5 ;fUH[m|uG66MYz8^0RTU "U4;$št*wcQPǁ 4քfZ E WgYZhA1A!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_id536B?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 O>OGcqإ)Y_͵mBx 㣦&`e6-tr\E`ח],XX7iƅ.jF.G)˵yP~𾞂|BnrN9o8ޤ6*3{CiUTx,gpzJ_I7YSDB>8iUBhl]:X] ҅uk - A%K" Ri5l԰ @c, y݈U|E[>19Y 3WO픂U[̓[ľ:oAr!(7^uֻ$Q[m>u\0Ų߬-8Xh-je Ti-"+h3=zP(`YQG]/2z [%P2 8f m7dsV1Aû?lRDb#xU$Y,3uIoP zE p,m &,T*qD7dB+>0!}3u+[CN35]M1ӪpQuAE2/Na Tk8\* KC#ڨs5/ᦆȏMV\ötခ|Aj0GY4l2[/#s4>Mt#‰ S^N$MGZG<'I=5 H{nRibduam2GF {Z 9s 2Rs"1+>J;nAX]XYUu,5C]ihGabX43㔅ɇ+CBu?e0"smZ䗙{c@{/$E_@iUv8odP05R/7j#A^TW_pHD70{lX`psr:n{B91慑)Lfph7Uԁ:-uwG#Xz/H91y\(ü9y;I;-KXmI~p*YweIۚk`M{{Y_3*Idj6p>UÛhPuOZN؋lp+s6vLp_7jp,2&jOiR `D'H!ض8Gƞ?T-{5ZFM<ؠ؜>*cTbi%.V§v?$;(2BDj;?BI0$'<: ӌQAb.zlV#{6AS#)7C*,ūz={ L8:ݺ5(XрVʼns*KS; n08XZ8^uZ0[eS/;1%q1 ۶$&`1u5*bCucyG^bb@za#qLZ >kWdP2P=Y_2WP5 1N89iGH-"}Փ3|4eqlfhGt:PpTpy| SuKrW=v:͈iinY4բxnh* 404& j2%-m.W|ԉn\ u%TH{ٻo{l͘'q6`ګf~P](cxr;ʻ}S(BX!, =WG&W) yO&UYYkuET{>WHVyF:j4@c{e m,$nW?SG-P8Stȟ4HOrkuZɐL1L2,DDձ= t 0Ex `vPo̭twҽzk(L}$*/BϩSzX'@~#hxg6*%:5MrH'nIErQeNXlm榔˴6NWUfs~ǣƣ;iς\X~Gs +52;/|JU_%%<+O)7l_~zfZ&AVP}@] xJut?V066>;HM6뗘ϟ:h9C,:k >Hz]?B{E"e/Q܊ptg߱A‚HJ J&`b\_ӦB"9]))℥dwi('Afϲ:&UIp#EKKd7iZ>׏Hb蜪V7;MݢF]Lw#&S&6/eg?Nma5SJ"L( z7|l[n7t$Xar˄+PZ%]:rߴ9&PeA`.Crmu )BE RFy)ʲyK:m±h>I"PB/} %U@?Jz)ujvg۷ZM̻|_L2n4WHJJ/Wjѓ]XN`@4H>?Ti0FC~!.b-XJ?>nP$ʖE[L$aA#2gsڀb#2gւYNJ2[\ zroŨj0tU9{dⰏBAW)t5Bf.F-qDHsJDTL.< 2L15}k5p2^du#uj "7su]zO["ԋo0K#;O_7#8,1|RƒLLrzy_QV%dl-sbNL QfV$f[Ukb!S%2eȱuYnA|؛i_Z9!F@[/G`F%XٽUǨ_jY"P;EAz[Z} j"eTV\(SFW^+:jj46M(T!Q4"lƕٍl<Tv_f"G`DߤN&r >f|Mc^cۢiJN'0sw`tF6 pbA&.ǫG q&,"(11U H|yܗucOO7T"yL &ɬ20]tG+ڄ?12rzɋ(=lXՒZ*#xF,hҒ:ha#/o$ 83jP ݶ&St@b3ړWw0WX(?>|>Ľ˥eaړh%^m?K0);s&:XBHZv+`&4}{**KVH<$\B>r Ui0 Q"RYE[}O\fp\zn DUЊ6lbep kV!gHQhczXAjESFB B3bёYqsZU.8 Ys;,SqIl9LZT7쎨_0lHKƦQٯ͵qC4hɾLKe ŝdn`E $M>S*:w65\2h֛?``ɂ裧(#JHb0"?p/+>ËC$BFioOnߡ,f`heiNXP Ϸ){,Y*m5Ei΂%Pף ]1ݒe[l^\ C,W銌i0=2ρ퀣>,=ur3#?1x=C^8] 9t%~u7~VNX>K)t|e2)(&hC0cLQo"Y0nCˍ6޹W #Iy"D3|i `]e!]!`$fH4DyS" K~E] P`% hS9N T`(-U/|(` B4xRIQ݆d7wVYofTkU%w A.c\\ho|3c~$@>wCFz"Td{ZP !c.V&O<XQV 2w)29KFkL0*GHbŃM챾|-Pny_vkB~ %8"I o#\F9轞ls}j.m]Fq;z#uRS\Rfc&-uM _Zۀ|v=W:}%3/*ȱ/I0Nf#,@@,c%PaVӳ>!?؝[p8(yt|F[a1Ͳqt;$Nw6y)S^HO&[Sb2RA?t0GQQ}܍m ;[MLAWA+w[Rj?6>xW~Nʄm" 5\<%AJ{!rTW:09*PiAf RTn{k)*XD?i֪Q/P˻v?gDAX e >`%; 4qԋHLM?quʺTeJ87X*WoϦFTq=:C6݈apFB7o syFx]A2#, fھ^#a82gx%4Y٪;oƔ' h{7uTMgͺ-(蔦9tC^@--O t3/Lb e IyW$PKs,)׬Lq=JL NU˫,P)ڝK;2w&u!7M(_3r0 ޙZKQݤo'K{̥N>,w'nS}LuHFظE׿?항xbVfҬ]In*$pَ؂љ{u87g5 &IG \ywH>e'wxȂS>[ce2d-?gޢz %V-0%1J(OB?X`nÇPh8큋#";BQL/Pq= OU"Ѧ8@8\> @yU4H.] hlB_/]"cQo2&쌉y2lk[<s c4@1hp+ ݲA{aF.Nxٮد}! wSUtGIcƠ1_3_n$f=Ḩ\u⇥G,nQП,oTPuNݹw!|ZQ$#o-D^_CwFn$N.>Sl>dƙ,E@țLh<rzu֔ BDI_W#Evj=yNIC84Sp$ zvS11V_:Xyw'I[jXj#-˽, ebJ̩w賑מֹN{du5(r0߷ DbY8ah=US:q/g6H8Ni+/M'imb7!Rm0B:\XB -tz}~iO~IzNY ۘ:ow |$_PI i z(-|=faV?0xG>~>3Ŧeѕ#gX/㸧HqRϟg~^цJ 0DrCP}}&QxIΧI,ۿR-)gk%"q78HA4j9:Af;i'*8B+3g˜mN01-¡ ӞqJWA$p˱ 9R$$Qi))fV{Q.]Lm,b{,6UpAsH8ծͿ7DGt/ J6F7B6<}\KF{8W*NZ/V縜"P 9t+N335v0j".ڏw*>յ:ѫJ30}0=ZY vd ROqP3ke>Ko[~r IKSx}M4'cڦ+ "}wo=W4@h9 6+`l(6ͨ7Ig` @aDej9tJͅ!~jZ(S>W=_0f|SWhR\ |Zf˧Akq!:+Q 9$1=K ӏheʢZO1eҚ.~3YkAM4Z0>)xjlBqIRr;RUm-[QA$vqZɴ)l8sL{@no H3撫Դ@ML3P󮝥Jzb3ʰaZQ7Ik? Z[v#Ӡ05%91[:Rhebh3pN۷f݂:אlnڹy5  eL2fS1n^!5(ƃ5/T"?"bnq$h0+5}[7m;1/blTGV2nXlx$3Nm#b bp \&Fu)zh3*5 _d7Z޶8β 6 |*dqyo>@~EAgeYEa&|v,ta 8(2^y1S ?D;4UZV{(GD>f\ !Y0THE&~txkrJVQHzq Zɗ[cŖ'FzAۋh' 9a49q&ZR͙:,93%=qJsTќPi樿 w2h9p筕v&`L~Zp1K6:{]&֭¿,JS nYR;u۲;Nf#6uPt(H;= 8E/ Wʋ,J>2~/x_Mզg1~J>@^ RޢKFL{tޤCztdqr@V5 e< ABX=[yU7˗4&X `Hd;]F|.?'2\Vl~RM Omx/iP#8 DO4E: , Ks%dg4$Ɣ3?qxk e|qʗȎ$) B `pЪc+DlJfv RH՛.{c$jFW}&rn5̼lm02S0ǐT?Q5Hj>(Tk@) #",1e-3ECw~l8>ع0FW0k)^'6n ^a4iw#$"y}p/HaJn9bv#E \O9CftJ=gfa#m4ZYKY6N撊t|v=EZ##n'tgSir#{2,euRwe.@=ůLH9<##}yW#x C>T&XI,;JؙA÷=t`f5h%Z68lnhU(h~"1dHD{(mp"T1:'fhd ,l48FlOU(GӸenEح͠N P+H #6/YǰxwlߟsEĊ,҃PȾ)}L H/&e|Coɜqڄ9N 3ǔ ޱs2ڣr!{=$c]rv>;(Sgǩ]rnXоGxwI)]fiDbzX2u9j}Âq78a僘@P\ȧ#FHs#&w݇P=ONN+q^~V=޾߁(P!ajl^wdbIs@I]-¥𽧇hp^?^Ϧsp730U=Ap* ˌȨ^%IPuqaE6t`.>+ۏTDQ8Gj~] },ɇ dNB^cBNIԀk͓"ԫG| &gr=J2!^Rfzi+-NTG>pP%%-1k"ϕBb& H}|ߞR-Cz$ K޸ wr3.ob'Ivq?H 'd-2>L% 3pn U!*5>B qٓ8G96T|n\5͹?^г7GNGDX&Gw7g }3ۨH]TĨ1zqd{7CbajpVW\p[.=&}(@EP-t&kQ/Fe٭nRٔfD/ uٶi" g"V-7"\um[` mppIs ,sp@'I?~p[i܅~0_:zI0M$!,N5.VZכ*]2^ +~)3gA*N/@A*zWQѧЮb{"uu&(lOqO]F 82Vb8fXdZmH-s_vtD?M}Mj讇_c.6I9>NmKcJ*MhO=n* Fi_ͳH/J!j7>#Ɏh-eDO*2dTҘEVqeƸ'6,@N5gԠyh5ʕCA]%m(ٿ_ K7jJ]j9v&EThCQR8a{:& ԣnwv_M XTl0y䘷g脛_\C>-?^/rĴ`{q<`NXCfv3wBenxPDcpvy$$8Dlz1tR`LARQY+uq7K ?)} g?#Wx &q۶؛pyK+ʕMEtJ:<7-2Bi,\hm4Iv*qʞ`{ŋy)@$[y gV7Il;R/ '9_f[J1 JH\[2SM40Q*gќNLPXhSw%` ̺2U-o{wJ-1`pN͎?i:`M Ҭ1:_6 V-kV`rΝB9`< :1 IVz9߾kƄrՀA^dw|dze"}sآsx;uPy ߮dkrsŞpM;vX@h mdM,aTpdPr>5&:u]4QQQNqsI-`r5(5mQ=HzYs So՞Uz^ )oh7y@FvǢ)P2' ];^ iU\&sƅpJgƏ.I0 ]ݷ$%S=\^CQ&_FykJY]:~l.;.~[s9ت}V|T~yVOVl_ɽ*-虾wSvBTgV2ӜW'I~,bmNlYص#%w1k>vg%kA2ָFLHgRO'-vqx*~f?0߱I y j'SlZ711N)4GGzņ]x e&]:{Q K w*`p/Ul|~(ɅR+SC$/XnZۣ$Ւ%Ӆh!r!uI R}?4wX\%y ku֫)LFD-H Sե% ojۺzdf3~J;ɤNVOLʦ8)%(e [f^0iaz~Bd UgtC=c@q8 ᴐ!:jr4厷3gwPv2(vL8ZUhSh\:zZSCWrO,.%K)'Cͥ[#PLE~Ya>6Cdže&/v;W1}. Ny]B路37f>ivF $ZsG; 9m =JT$<I*QMxP zUk0E;6$/TDVjO tﮌ>jz7|2+?,6*𬺼=,VT5[ #K%i؉@ҔQqUKP*b>p>Uhãƈ1gMS|cK5~2.F;uV~.PʩS7dJXabNĮҼ֋9å*`5ksdE6n⿶K=gk곹]at=C/<>~^lZ2xLsEυ{l_(D)lC .]T)3ykCPyh\{f!:k xR 3qS/ݙliCUe%">}g]ay[8=(} gGoT VYD}7/FDDdȌ:}`,TɊ=m<lyd/A2‡\&Vً^T"#>Akic|ZVlosEWC~ޞR}&:k:zU|tPmYKƗcbgܘOnX 0],CN?Ydryy,Tovd7TErjz+'~] "'U {c=hÒ"AkH.E4% `B`gYZ I1G# HOL-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]Y91/nqwJ2Im8MbYĊj5.ҟelgvs. k؀?!Bc J^=9 ɑD# *5iuuz0UdV,8 jLgL5G|.l Ǽ>мFl[dO7oDM@NNiKž%w ǮS kMSeL%a69JvIBwOFjg Q:?@IĬO0ج?', # 1og1ZPzĥC@ ]~[A O&2nB8mGB :#u-#o VNxk6qVV# Jچ{3$V Z5TǵĴTXZ"Tgdk["h3DX 8NtjYH "8y>0Q8jVA yq缨Jf&hkm7-S>liR/ Wt/ p |%Ri0-kћ O@M*K %Uxð뎼gksۓ@aYTOr)ܴBa9TIH<#M6#_S&әc)%lI5KF/;V'))N6UZR5XW)ҽoO%0ʬXUQCRiQzPxUIW?p*T~B ">f,fbZ[x`U} +v` kt{3gW9X1.cQm<βcDx#Vj~㕒,Q7wK.13(؆h;!2_j$X )!7jY z*lFu֋U&%' ObtnMK1F@"? 0q,;q4mHV è*r+ WgYZ7 }[z2Ѳ.vg#xV>ʽ#WyiFV‘uI b|Jfizf7RPZ^6řFcfDm9=ٗ$7p Agٞy9[Xa/ 327~"uK ?_6+6 5=XIjH$6t8VGrH 1ͼI>0H{E0m XyOx!Kը 5:2BmZ% 4TT=^Z'Ӗ)m|,3b \grZa0Qʹޅ]N*r7qLe;1'ɵKN]U'{euy}:;N˳ip #~G7 c!$&Ѣ_壄 dAPtX^g9~̒i*"XCt]}ϒB$l]'}]&u}>Q s0{TjVebC(`1@ao2{5$V9q=|=A ,otA>6(qb1e,z"M UE%,a*K^(u@Q=vzP䓖 h] 0'.&n_$}bߞErV'a r*ҵfxC|>Lq -FldAۓ U"Xrlc? ϽEvT*Ƀ.LK?W]ܿ"~2\RdK>?$9APØb~?iH9߸B#${< Yp|T-YRiD=?䡹E>, ټo/dױxzc[%~&9_*vEB{ojS=VqH@̱L#8.p# aV 'oh}v .ĞmK:&0 ;pr\i3fSgOx-##zX2G)jJAe_eΜC6~F40d TAzxC_C,~-7.}JiHX#- aan|46k#IxN cjF}yMItgԏ&Oo&VbP&y$#wbۻQt?^}Cu%1i#{nr6r*lFˀt1۠)H`(rZOL`k`}ƅz{ k8 h7U~r@D8_|D60 (]Xf: z,?C{!-;cԶ#n tMD౑:C}{ab$oةYoǮN8K2On|" ʔYBe_Ehe{v0VPn3.G ?6η쟫ϰJ`^{'3Es[}<e{/ʆ?zsJ O(8c98z^[vNK.oAtE _#1R9* "+:_U$tӶ%] C]ԎqpܚMue5YrąximrVm@ ZUbQ"84#Gk9ufNU`=Lװh:0;/GPؠAeeh]URix9C9Ҁx ǟM1:Oz<$U)~Cf+"{݌Nmƺ7^S]>cs\XFrh}ӈߠh4뿵1-S ?|8r%(-BL*ݕ+z&TݽWiaߖzU]#+|7t_d:.1xrn\dE sO]U7?<%є1H[(5;< 0rM5Y;>.(&R$.hnPԝAկ~3[I1y9H' Z!z-/9G(K/}J,g&^߷Oy"?Hx$w ]Sv-?P5"|Z1U!xaCg`׏Uh ]Oat; [+Vxdpuy+C}SUuY^+ye{%]XB8a Qrj;6^{D7G*"Ӻy 0T1ž_Đ|B I8\-Oz0@{1@~7޴%?JW9M3UMCeC$rd~l,j+ nMHY}46(ER"M C&O0oFH244%E1^pT#몁 vĬ;:ߑ;?|>c>-N~EhxH ^ /#)/Nd H*EC$WBUMH)f.Cx Zھ5><$U$u|ꂨ = >ʉжȝu]KHjb5Ӄ}J no26}TŒH'͋>\Q{G>"K;9 0jNYit/xYr\6ʏrӜӇ%+QX!=/X7{ O?U΅&X9z~FD( Q_ܱҙ淍T\O$9|hN,ckGP ؜B‰M/YocɉzC~^1yYH%Ph<~hE2/,Mc !PG͌Cbӹ  Q6/l!)"V!k>]>@s^v )e}DhݢܗCE؀'QuJnH&Vb@krQlU=ȟ|$z&qtM(<.ohz 8'?F4&bۀe" =ȓru}Y'Y4},E娥Y)#l=?!Dze=EAOGy^4]Ru1 XCvԟg/_8KznNj2?Esd`Уk9pM*iR^wBl$x Vy!4HS<9o7>y͑j܈%}cU;'o׍d]?&JKSz`6ۯSJ%uUOlr̭}]|gYZ ! = v$!R1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! u]D?7 {?:fH\c dKo[vVg]$Vm  6C_uS@Au17Y7{c%kZ;r9Idsڋ͊56`MXK6_FSPi-jgF2Y"N=ǜW٪gkl%P u a*ur$@862p飴hrThEEu!8,p8Q6m4}%}_q a=8P\ s? EZ{$f\*)%.{g< pY(պ7Z Bӫ\CR=ln$;I09/nR8L-%X2v5G ДPICNR-Fq[.cܝ9{l 2Pϴz$_{jh}x@N&|D[Cm9`1v_" v]wR,C6S~#rg, G=+*{ g~| vDfo't,ڃk.{Y}\Nܺ%m]YϮkE c%6rtbmG~Dp̞12W%|!jm럥CW&<> (# ]dx=DwMVk)[<TcwvoZI{Μ9z`R+/e("jlݓ)2arcb8C{=L4ۯ$e5= l>_ 4͎=]neiz!ZQg>#<vjSC$MY-S*3vvvw<,mr3pK ԙCbVa_$ӳo??,KRgZc’B@Tǝyy ϽǜSW"t|BF`V'W>ޒ R|1B |rU3_ #xLTїÞ)~u' 6jz1 Yre;&Tg4ٚ߱mLc0z8/(cL,<3~LL I>˨vxtRU>Ʃ*Zqݪs qx'GY.klweZ 3;T4<4ݔUMӆ2և'wS0't&$1oqfT, U߉hSӈo(D|Փݡ]PO{u4m&W2_ů7p.6b R\'6:r;(@K<"}Y"%>ܰ3.yGP#y +/e7Tt!ҎN'$>iʝ*x'}E(YcY7%ċkIg:%,~ I-ǔvϾG,&''GKiy˷*[NT\ V4PLNjT#Klf|R1 {mc^@c@Dܡ)"|hdG;\*BWf/yzHT[Sʌ :)tıgYZ:[fk2&UQ<9%0 M:8r" @mR 0y P*OQ~أ"|5|4 _ Kӗ#pY4y+ҦA2¬(d±,<;>[UhAw|ĺ&} UP1GD=sZWbw' GV1jkWhWe լPL<ҡr&H1ߜe4h\Y7΁ łp}c[Ěلm/swB5U&٩jJ4wd-`mH> XGע䮱-; y!?6vB×gcdFρ WX: *WcVՍ~EEtD fB,?۩kF1ɗ=`ӎgӷCTH;Ž58..Xz`DjU:uşqޕdH4 ߽ W=>&'R&cDnbcp,suhNr uݵe~|:9mg<~W_){+&ſ\#g r"̀; qΛ2 $nTrq> hM%Xq+=?" _@=p^& *t1a.JK&1$d޿j+-)~/2QG2kg.pXI0njR4=;xpz1k ر-)xNKhk%BrJ͗L R6 Z ("Lx7kǵxZwI 쁸#&|T׾M:kyɸ/`y=yV9DR/ElL8SVn#v^:ޚ*[J7yuAjn[)Js{e `BVo%oj#; ' g;Tk b5yˑw?;ehv!Gܙ K05@]T歖ҷ.pةuoT!v:c"i{exS)۫ٿkL•E.5=iw:J:N3|ݶou㌫b#$rnċ%3ތw` 0!$֮kfC*vcY4f0:'&-pXM*z6'ڣDm^qCP<6~!,DuߝS_Ҥ/K^=eKKF0ނ%/ KOLuPv"nmU˒XL>Xn 2nT PLn!VWh,w A-OSc^hȘ@u*/\~"5d 6kI:au Jeqt_3s|'Qs@F}2 3lv15M(Cff% u^r XaqdiB+D;ϺC@ceomֆ0*]jz>/UjXxuYcO Y_z%97*S׍9\c{]F"8YУހ'x u:-\IJmP}(5͌D*D[{>~Y\U, OIAIʑcҊb w9c/ Q=T9{ lUS3"Axrͮz98 lu&RgcIAfJ%Kd8\YQ:>g{}Oj<Z"(E9:2M)'2>|\ 4G{U)vNX"SK;Μp nDƕݔ+޷ qk\M<`ܳHׄAU2$׫1< !f:\k0ɠq*+;I Bhr&y,V†V%_&AU=v v/*z>=|GVE'tRt: }T; =:}eSau kGh&G?[Iպ5 l[A1pYף-=Ғ St^ɮj$A9*c (nɧ# ٔ2$.˞;!^{P;ߑj^DSDˁ#yYF>D>5^J3jZf: 0c/ 7|xV]XK^+0 ^Sfj^*gKwwHe*+Bl MԘ(I/%&$ 1?NQ)mWjSqn]K%X.ETdL9I;l4k]hjx)J%*jQTCW{P]`B(gj, 3YSV 40( b#Yc;$x;) ׌r6V)Or7}^7>R7K! Y>SzTzC_{6՚@Y񑙼*XYݥBB \'S^lg2hyv {ᚌA=)-g e1w֗B9zeʯivh$ā q|id$ h?o(( >BVkx26f p(c^YߺNhIs rTBuSGK']0i&2C~=*b& ިб ['aX T|3m9 ߛ\Kecv^/ٞ>-1 D ٙ:0\unN6V⒞L/44}* X xxĄyTRz b3RrBd2#x#zr/p;`~.Cg{Hwj"GY 2X}3zwꜘ4e iQqOA|jh `ISzhGsW[4glπ Gӳ'&5ɚ>LL͒wIhorf65z:ctX{Ѧ)JyrW茒 0jq7HHHGENi fH+Pu⚗ɘ_ܞ$Ø8 6oލ\n@PU_ױ+s֩;~!yZϵfu*~Jd \>ɰI6X{2^Y^֣wh'4Cm W_H;[`Un0Є;yL}zDZF'.iFK¢Y*ʛD^a7c %lC u@O3 CL^QoD$*nJ0mq@[RmpG\OЯ0h|'8cаC>7Tqҁ6^T԰RL_v-I8wtuTIŝ+9Ȼl+1S>do[e%?m6=p%( G5U?M &T\O5 m;UkG/›V'w?]3eN n;-H|V]"| _+ˎ /mu`d)pԀ#`xaq͋_a*,ym1sӧ両7T9SOQ[P=zaq_gstU8v\A]YJmrQһ E;-!/Gcel\pV}Q {;06` :H5) Lio $2Z {&>1<պ}l+.!LHDe n%`<"@SAuUM!vRwnsg N&єBoLmAnoDPۖ h:*F(l xJKX;@/%Hdhj *HEn9Jض 53c'AJDhbE}ٮNTqo :/$sy:._Th Qv Yԡxt DVdSRRrNމs*\QX; z*mymY5 XNۗ_f ^l/n~(%ţ&x*w{$5?U:\^_V5Ȓx4iǫ~0q`p՛io + V|qgoȳ`s)#nt}& F7}PxO(=^SV x(gK>OSۄeDΈQِ@' /TS|JT%BB22:EB,"8ChRi [=ٻ8~ )™zۣpt%џAmݪawzo|i2 0;tse@s4O~+7yVH"'X\ȕ?Jwm-qA^0wռB7i-}Jfn^4͓z4/_߻}m2<4b)2J]^(> iq⭓rnyZy^%;mq*m$tUKɬ6=|Mr&N*&ǏTԊDh;:]+C4{ColO\8_|&\'I6[JƋK"ˈIWT%CW}XSDXloY&"cjj[71?G zYi%,0W>z)m|Gjm֖GƱgYZ<p#j+UVBU+Ena_i6.{'Gs,{Nwr\! E>kʿ=XLr(t8JLnd4]Bn5OLj[yYJҬO dmr2L2ʸPi=ew#x?2ig+^6gR9PB[*:$k+V8,g<oG8l}s ෨<,!gw-pw҂&GOwPqELbNJ*Xh$u52Xu)2hָ'{/Z:T #MAm {O#zRI>$RڍHlQz)htkӈf!@hhlT,vu,R+ZNtm/?.n}!DCLvm)lB_jy./`õiӎrtsve!ʴlpI)Pw\R6@h~?_DL4X#FO)0O* +ʇ[B>Mu7hD"NGڍ]6L4U#^2k#u#eN {C,~ex{er) 2,cP=q<=H3Ⴀ^T@q|3`aRcn,[Ղ?R"TBeq֏6=.O#r "G3= -:Lk[ v\""8T|^2̘ыuw(4RVTKS&@LL.G^{;;`]oFH6P"1>sXuäÛ}o%=7vSM #ϾYmaU(MJ[|ǻe isp5AG"._ 1ws@뫨uD/ q%B)-PMM oix?Me)3`gJ0?Չ-"`X?@˂9C* 3*i ,x Kg ջhd%)>d1v9HmŲC0_)&Ukf#Sas u"X ^L$$GOۭ8٤H&fLJ:BI)zp ,$:X[UT _wEOU<g}x-P[%5`MiT8K*F!&uD/61G`Zs`&:D"\ߪ6/P]M>!0biiׄ u+d~A;{bϜL3/E hBuNؙU*ry}cLKX" -]~l8riL d4nt?2<0O+j]'L|葽 U#6aeKE{4gݷeIL[J!dd;pw%"KM >' |Û6ZgJQb_y%'ʎ`2/Ƥl[ NTay3S{, A8^M>~J)],`@lꐢamg+\q{-f%^|jnePjWީipw逐Y~twh}v+zŠ>BguDk ]fP8sd!]ϼ9̳( $TSxu? yK׿cgc}R+%IkZ&::&uWZo5LL1Lם_(8YqfJk7 t`M-~}~+ o_aeD+"2Jp6K7]oLsdjq?RփnFW(| ,3yTe̖k*r i,/ AȔw1,юSP)*l'fCJۨ} $N>AAicU]"X|ԴT*h 3R SUnoJ0٤MՅDB)8ætXJNXjTBT뛯@##4C-+jqk]-K1ț&qz~/v!2B=U;h+j=ʹvG,\_4AS,JF `=nvפW >[M'h۰DiEEpB;MN~o$ز>m9Zp#56ua|).'Bco "K*ƀ[!O6^@Ho4Ԭ")%N'`#n1JvJ886_.hd%[1tJX)vN6KשPu4Xf\[kYrtJl@F2(vK5 tuےGa񌁂jkR2c-g FKUqq$ȅYu7n]M PG?$e b:#.Τ/ ?4N/h3=P_:>3TbZ=yj#P,"m=Q)h/F\WhM{  ;U:LI$g< D<>,\AϻY V)ۣW2W.R?`]r'Z3g/sAQjNM>;xHF<vd[tRxKKè/D[<)&pA0] dPjQ*EV*zܒW)c$;T>tND w #K|rճE皺ymuu/Z}8 hYkcp\YLD=ٮ~ؿf mC閗LO_Pbh:لY凈HT"~Üjc2nEe7eʒ@i{G?U#1Ր6LjL"2acHqUMHtjƐf8v4]:gv?! ,TյRF=u}] GnM68^gv좐Hݘ-&N~Q8/rwn~ &ѓ4Y[AA<%_q͘s3f<פiId=h3M^I]9\!2c Gֵ@2L2-qej]h'PX[}r/5fCɆ@5$yE~?[nl H w$j{-d$"yM[0c>#Z͋oE׾=#u¸f s ֚^0P${tt[rVH'6潺'-$t.J˹s\ΐ/cyøĒEh&w~e"xJ ]*.(AG䁍7"zd&V %;b1^yNB=|PX2~o|."~y!_.9ڽ`O/mMHO%X#%t9ǤU1ESnQ3š[#iu7~&qԅ\7zsqlnHI9T`$3̂Ooɸ WAlb$j4_fփpC(KLK>֩X2VϸCZ}ۣ:<5nOh(-ҍP hr\˦ Ua;P2di [cAt޾]R3 MjN]Kl&=+t\"ߙ]1n:KMG+<,{o(N4`2r|l8-4 *CHm+ ԄnA=in"Oh |Ͽ)8۩bzC2 ^k)}$(==3.N@ź2TA;<g?1 jFPH Ý߁J=D̖r"ggt ;`BM /,BQ=x!=9焦5F-$jܧ>6='@K兗&`o3uFY}ю~I,!}KF2E!2DTfo ^~}-HׯhvT?GDHu4xL0'B<|_#Bޯ P*ԖݧKruyMtV>Ih⌄ƹ=t)S"YJmp;z(s|WUh}Q\UlRZ+ژ{F&= +3h#&)7l^\oyQi^ t̔ho0F[ԩ=(/^TX:yiVq6Kh"U?qfw ]wIꭩ >{ސ[7th=K|ꮘ߬QlB~I&'Y*&Ѵ͢4X)}(k;*n1~_ ֍VNa}PC `]>Xv_}.jߕ~<"4wרɀi᳎":p`饮F.DG&Đekz+P֍Զ NۏN5&$"X޳[9X^/-.=3`:,S|v9Kkjd}聂P]j3MÅ8[>K!z0݀v 0ʧ%YU/L zMB7*Ͱ1t;c7ӹ6TP|3+sv%$^e ٘XIiGwêE_>u>\{!WYY{89$` <0)|BUMCı$w);k=¶ 6KڰV4_-Z7^6++4LZG-di6CIfUq`՜<@}. b -AL'b j%GC– $3Xd)]$fz\<4'r 8Svš?JGMACzڰkS= ƼfRÀYlκ6ǂՃ9f!Fg5drQEDqX%ʃ<>S.cj_@@2"vϐ?EQS תت>Qj0b%`y:aoOE3v/6 (6*hpHL)zN|BhBaF*Z-m>kChxˊ:<;lDl-ZKMk Z ڡ:]\CefE$:[CuۢOa֗5ֽ&.GJOVqVah~nTӥ]CJI+.p [g-ėfA^[0' aDtg+ั  7G7aet:.=] AXn!vy:v JzY:z&cmcBQtud"'W2~aՂ5*\2mPwZBwK7WV"dTw!Ds8F H8z6ius/ܵf\8@;i1̨CzW(tXf^R.uW^OAMO'-([d}m1 EPF1TMSKXS6.CJJa>F* 2Ns`m|*cWI Pl* G6M)@VpC< t_}KY@cwiSdA/YE0tcuzA97:r1&82J0"?]sC |Km T1m7s w0ûUoE(HH9_$ơo&MSXc' pE?3ɾ8oުko0kdv6tVsΠ9Dsm.:ty!8hsL}C1In ~F~[Xa __@$I4Y.W 12|}F)vb?8FL ?8I"ٖƑ¶ѝF/$I b`쬛⬜w! *hbi&uXjjh#=p|s?.74UX{Nn4h3}_~-`Ma}2[٠ڑD_ *x0SZu>/4Ous;- @jC,Hߜ”P6S爖= Sq!kIӟqnj8}frItH>qf;r0C\<E! fj6 Lalg+X{U/v٫g&: i?78SKSBm=&2J.C5Hbv ڈM^,3S>:Y%p;M9qjgɚ4ɷ@&.FP^Ĥz ӹ_IgiQMd_]ݿRU)Ygud_|BkodT,dHj_^ 3q9-,k_ňE)~;+ rw!֩)״<(l3$>N]dZ8_:dczud'BxlW4I\fJj}R>x*aZ| `2ko>!Eo1S@b~[[b?w#8 );=cI𨒗[8}B@w2.CLd gM J|L/|B< {l C*}U,3 u3WLz7ц%aPJ U) P+΀U|lf8V6QW/v$ Ye fQS;]Kiڹ& zc-5IE/zVTհy 4^P%t]ȃ˭V \&e,f)iU: [Ԋ{)3x!*Z.%<ɠɬ.y1u8qHӅq1>zxgv|)l#췫:*2"<6"0s2Ż5ێaOy/DScr~ MjJ0λMʩ[,wgC“s.USpW ZeX?da?>6n6J1!_h5UN@tJKN+lЭbA_gsϿ>0wIG=d%-֦x{LTOJ1b:")XB $#bj֮jq ^2+vrćmִMNB”o F?pBD(,t\aƔ`=bB,E.&J]jG0n128 F<\ď6` -΁wr/m<;9!VHHh\RF2ĮT`+/I,][J45NeQG$oNW<&"Opn4,_y53|mW MAר(4 ! ytӽgI84&oe3^u2i<ȥsqEUa/Ǎ͋9nYuk J뮋> Ŝ$5Ɍ)GޣBCu@䈋#:|@NL&{+ ; )f3fת߅LS7}塖QH]u. QhBNx!}qV0-* 9ZU~aw|W%:єwW!FQӍcE,őtVt-&Z0q {Hy1/&JtZ fYPɰ,oSß3(}"$V\Vq[=A,2 oȭYh]ާ͗Dn@ZEvD_iOį{ i ^`(K\h8bfDG$񧟤ԡמc$p!ˬb!Ub m\Q{| Y~2/,D YÑRCpxG6,:LyG }y_&Z|U'+Cw{;ޜwX܇ BU+nn|.?Bi?7XA$-o61QANSaYch,Egmߜ-Uvcri PCHttCz W=]3h KF$INj{}< OY <]J Vf0T K|I2첥qQ}sha|PYg7[^YܘOOe[\qupn{l~c7ќ qTL(,']'%6zzGJ ='`']SkҢG٫::b)`W k£&O\=y)G@O`|R~En_ET MT{㻽/՘ >tu./܎}rC76|ycu