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 II$1zd,d ] HOL-Corec_Examples:threads=6elapsed=155.951cpu=515.668gc=84.5967zXZִF! 2 ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7ٳwLX6cjW썭B[~lU=z쵬2^_wEZ)2 D:No2 hwf Bj;*,=^2LtbY @gj^LƦ(HC̯x |s:ψ8P {&ŰefM<**`茦KjA/ `z28x&x4BÌ*x mUЄ1.,V՝_$2s>-\;^:~5| ="KpT2Y>?8Amz  J]+7qƪŅ72@ U`%HQa<=9]?~aCa, oU\e()KnUu,p^\> RL2Z}5oAxjLŹ_A5 _@pWs9vqevI/roQk?r) -c"Pl2J*5 uʀXEXυV y6_QmZvШX0⩜wH?4|&r2j3?P8vOt[槟9o-~5}yqOD=j5(+1_T OT sn>Ϭ[|DÒhRcT$w'ouzX?UPz8x@iOLGeR[_”`wt2ԿVF1Ύ`T23keB+WrMYجjɄ!$Q A]JŒO¤uMdH1MsQvXf8̖6ezbs[0m}RQvG$El$c IQBzۈf[;ɴJbTKk:HPꊝ>rp`z<X%@2so?KO5Vj(2'C_OĎ褴i8–*wpvƥJrqgMٮ0YLbjPv'LcYXZ%SC|7Jv,!4܄a#Kq(o:R eT(}}űjU(Q+(,'L,Fj.!հ0p7dAϝ(FQ(7M6 ;% M=׺ RwjTT}P?C:jU"OcV@VTC0iZ_B식V{l=EJٚdN W1%u;OO] ct#{x? >Lvdgdۙ &Z_x3euj/g#0-X7zs: ]ȿo0cǧŁϴ < 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]<8Q2M1F/E.B,A+:'9&6#1"+ *'&#    ) h]  _" S ^X V p,Ff" 3Y t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages0D1O#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-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages,D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup+C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files*I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/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_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-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.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#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_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.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.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-(?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup'    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  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"RXbV,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  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  1A5 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  覱gYZp1A5 \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̄c3jgYZ 1E9 |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 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 *  Su*I1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x&Ze}J )^毦2 |+v 6 ̜RѤ92tL-4>#u}$[֫†OTZ%}E 'Fp n818Y7dp( H][W]ӻ$^S]^Kzn, :W- P F!)_']-gr8E}:=Pơ_!nX%*ܸ% w3zsFVbT$`+Z\c>a`v4;q&1!?:D.'àz }[x^,jduۺ`mIY>pMdLCj'jT|4oLRJ,:sKڿL-)Bo؁J( MJިdߝfcs^&1Ŝ@ /%8X`F&m1ffJ\r^d9/ZgYZC1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|A0:>xĎzHO%6B82d^SFh^k*#I<2 "P<4tK &1PJi{I'^b$\-k:5Jz]J /3횸uOfHkR6aNv7.|M sa%R?]D~YF3,4vB1|K_vP92>.J ~ B Te?s|2 L(N;)g土rq#R1b3*"ByXNoxW,6?RtIް [fE”GCFLOTPۡoKRHZ"pņ(߼,Rהj0Eq^M;%M7blûhHIҵ:iBsط哄ڴHbRg[+Pk*vKW.}Tk⯹gh|;=_Db^ &핯dDWsȥ@]SL{&NN.ZpKV3A߶IdQ&MβT_o䒾}JZY:_ I_h_#{e Q@v]'X)dq\}uXCN~7@b9+OU&|pg*92$MMX>VE+"bR%TC-}aGj>*EB.Q飮+Y+ xSZ⿿yA'~ 覠bDmpA S ~.imMRH'@l=smȫ"Tl;W ^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_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#!\ ~gq9.qO$/9 W/c\:HhB( EQ{J^h@<~t:yk6,͊ܝ:dUЄ\r/+݌<ˬM3ȱiDH]ˀP9XX4|w(ݼecj&l8=MjHG2VšV:>oL[=cŵ- z Lmq1b{gV [Z?\=0}R>KKk6or(TX{t_QhvǚsqJi&@ Z?>́gus?P9n)pb{"Nl .`>}Su Ktd)FU+NO=ggJ_@aTht1J:fVXG] hy_V%auW(+|0X:}RB$*eB ",ԫ+fF? S}?م&ku[ԻǔhwB{=dR<mJ'F)WKl8ꬪ /ViLjhҮϰ~ 9Z}v=je uXQ`#΍ս[%dΖV=>;JB8o-(83uR_syFwr̗S}D1;/52I> OB4D_"s |(n$ m-Ti?!t&X%o +֧8o_!5<ݠD ; w(ތWLJy4|SL`#D߽IђRgd qщHTCe:(B%kE_vL"YmJ%In2l eI#}VZ+w60Ņ>k,XahaWި=U @YZeDY%$%DJ%'ţ'Գ|T"[m=5(BӉKqq8lv':wxs_qdFڷN! +L{W@,׆}=L}%8%VvY~%c*`"NKb(O@iŪi;H\~ٔmրYJkIqgȾgR,4T\pJC9pG ΏrsD0l 0^ $ɿ@̓jrܵR"ֹܟC;Ќɥ!"J^aFm-e;v-d~_A S4bv''k̻^KE.<2~|>z{ɦGVtcd?F&UݯiJ/ .P$U'aW҂bߋlg E9 5r uޗ]H`̰]tI`2ոXLw)jNn)˻ gWV[9xP`x>dG3~hut(nDeBV?Pg,`nA[/U+4;@^2w=YG mLdoUes fRqHtvIrw!KKE1B%`'ri]QmG6M>]V`38,J.&rbX \䮎ӃMRZ=g ?A^[qA $瘑jFC ed*. 5Jzz 5#1߁}Z%Lsy|9$GW_ UԷټfg)q]Z|v…5O^D+2j(DB&O_IhBa@p"Q6{1x-#3ᢖe_s[C: Q:ϱvӘC|nI &PՇ!0G1x[\[$Ih[XKEI㑓dX:쀋&,C(q.)0˄dMGkJ\qKjIW7 }*%Rٸ)y$peu~VP-U,l G4d՝Vp)Oȑhg?ųILf9ഩP-q_9$}l/G؀'56Ƒ1-0j "Y% mxg~-:J`>GLH0M;c1HHʺ 捪ORv RjϳFk7C%) 3J('leZBV揱Z 夜[?q] >)W2W XwP#B >!=8BVR;to$+R9 U:X2V`NyW\Լ? Q! Ç_bX)i[Tg-Iw^< $@I|yk)fr?M -cNd7WXɈ<h`R8%xI:ySоh9c)Jd+TFQY,֭`}J0*lcKg<0/+l_OSH=v|ȩ)[Vץt^;Y6^͒~#pRxgYZj1G# \HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! g]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏ@q;d`C ;6 P|TJ̡ ThY3 J\w X(63VXLQ>'^zS7QD4OmK 8~ XsK]Jߥjdl:6?x1v#B2HX2ݭPo{_Qt4P\µFcs-za=TI ˒R|Y&U䱏L 5wexi/p~Hj2ȁ _0ߠk@(q5 lStDC5R$7=bm򵵍7YѪҝ:+m "]^/<#K'b#Rg;"x[*~fMB|bh!-WK%ΣqX\kgisw> H" yQwb)bfwەGzPZלS:&PZ: gtA</N>Wk99ZRS[o* %lzǠ7р%\_ZlasQ)߶&j#6GVu3$T2*zNfM[/W NNOa V}/y*9{XdC@x2rh .nXTq6֝7D{qI Mn1D* \42A\sc)cJ󺹸dle /ԣjaOª-P"w[V+!Hw}藥Q8qY|o$̜?1}أFlrRq?Z[[ 3~Ü]&We@(=kt"7څ;R]p"dymU /Qą7(EkUymjs*.xzeYjVj,Ɣ wRߞ­/"J* h&!RDY$@=? ]sYgk7H Of5S* Jrˢ.D]>qyЖBk7ĜVni^lm+`gv"r0P]Cis YMSzIkRfmM0Oد1^<*,eC8 pb+mXs|eÅ,rul &鼿k˻)it3O̪JNq[ze.xq ԥ A4v.Jprvț} c80;>zSPNOr|ԞiB.w )=5gxaGJp.";à:kŻҊ 1^ wŒq18epT:%9JAo'FjH}!9`@ndB)&D4<(>Eʧg@xs z,i4ǧxsg -a2rd OÌI0b T/)g]$S\Gk˖8e? "Ԍ龈: G8=CY^U\qW2Vc(ʡt9kZ_`+:kI|A?G8c#W$b Tྒྷ|{Ɉr0sԄZ݃$owN|H\WWy"Off*̬Cj$ճ8ڍ\S].T ϱa( ОfW&]yr>NQ;eɛ0.Xo~M! \C댛|o;b4?҇DIe{|9(u[b04ԷV3$ӳxFGOy|Oz"jaAfVUQJw|ǛӶ,z|;t5ݽj!٬2q+G_|E68GQ™LX(9zB'|JB$ض x Ԭ9nXb YnӐ<"y{~4Huz¤ 1[s2{QS x_O6"3^ ?(Uwb,|ɻ1mY($2֙0#)AΑ Pڰ!x7<~J'k>~*UeAlR-@2:Z,Uoc/tf@ r!\ Ԣ BΪj>Z^X[R҈ E1m[EtOҰDGTy.Q8zL8 عmg}*&ܑ9D $+lVqgjceK-vQd`Zq!:-{@a.͸:rNtقZ{T :Sb-jp_$jN>]dB$t菵kZvpYs,b hs" J7we7Xs, Ki#,+YAϛ0|af>k#C-_=!+nFZg9=dLa@uyܴEnɾiu/TM@s.yƭqbF ɶIz,9 >qԹFaH9:?,UGMC^twj}=jBKuDq9rjkRT1؝4!1e>X":3vLa%YWz& ղ|`]Me}+'AF(syQíz\ᩯV~ŒcOsI(+o('Rn1@j >EaY|vU6=z/MeuF=xbh<ґҘaףbFfouʞ?5~agNĔ1LlyNۊ{h l"Jtmn7+)W#2΃܇-PmNN5bX,9oȕjȓ`Lo cGH!y=w{ Z9(/O;iB@L(ø㭦_+T釧_?F8ULm{/ʅ)BD2W E'lgJhc*1Lfgp͏\V3SBч_%<6qǷ%ӃMn\岪!pblW>m7a׬Z6I(Da2Z˧l(mpϳuKuˇ Pw^MOd'?݀m)W\8Uf&֯u3 ȅFØKQ&qߦdXh\`dz}ֆuo*P x$>P*:)PctmHB %3G<\]gL?H^(\ 5&ʍ{E1_yTpֈE߇?fvo-: Lbynw r,#9USDCU {OB˻@iltkYYjSt+eO(=QZ6Jǂ9AdY3 $s`Q~R[цZ*hmyc|9zTɏ3ʣy>w1 5(xd2EQRE܄#=DP|ݞn"~6k#WiWyCڥ㎞u>K.GbmmhzJZPaш_Ͼǫ=7yzq[+wls*as3cyQ)mYfá SֵKȝ$өH6/Y`b0 ywWӂ%>,bX=. T䙢:}ܘp6 _vVoE_GJș|`^0>~e薇۳&2pg(R È S͆6_fU`xv/ GVK8d㍘hΝF(8kn4lXV8پϤe_%jM; $gOig2Qa0O/vg@p(k55E할"cijaR勊M\틙 vQ4f/p%_;!iqUb],1k'`I 9RIHXj76 +Ǿ41\'Iv/#uk jx_k$^X/p'YڼJ&̋ ֣IeFSiESlCi 1쐚V Pi=Nfݺ;ll|oUe:UPX YD$eks$RtĔYnzd-1.A,&;/q )M*@%0aHm:?glB0an{[EkPown:!E. {+> Cmoվ zT&9dm촣ޖ*,KsMH[[ KQa>}5/.1GnVxennOC{DQie6aXZdBn~Z:M#]ON>4H彍.6urs H(fSsU2@P4~~^<5g#n[m1&b&դzf*akaG)dqSMO)Wd6ҠsG:U"~0F*9 E-+-}원J^ 6d=@ 4!\K?E#AUu~!nQUrp\/+.ckvU3*>/l;Lpx~,T^0XH9i~d)D-tpI)y"#ʏ> $BC+ʧFzH/Hh:g,w[#˔!3=o/5el@& oszt>ne|_9 ], +A%Qsڊ_ Rff>F%H?_oi㜇Sl8 :?xq@BpmiD;bF1{"[5Ñ J` e Ka[k-c7eg_%i=7b/9h8# "&cO+.RsS3)3_S0HLNY>,j9 nNd:cZV(0,+u)r(MyrHlyU7)UcH`siT9%t\zxpf Nb(bn_y-%^ > N4)2^£A;Y.I[d+}FGyi4d}U~gX}Djn x56ݳ$1āBP`n))ZM ‘6g:\?xؾxL=lPF7=9c"ı\ك"vir vػla+i\5&ŹqC ,"lѴ Y?:t.Zډ :9_':piYG~, 6pFFK說s# /%[,44-,.3o˫י6E<,Eu+I?|*~ͧgZ.LɌ9aa~yO,7\ қ'aq))}-nPv/wP 75QD[zc9I-(~+ $&Ư7('[l)`0NhRU {l؍9"B^낫(_eV,̿Sz gd,eW%hVedb|y$k'G?'o Oe-O![GxiWj_~ȸN"JzDA@(1LT='ĩ qZrxwn=]@T7~?҂Ac`ܸRKwEmN"*Jz꾍}{Im1t`55oy3yUo'tr-5Pg96#zޞaJB76'AM "hc";]]o%LX^)^8/Jr6nveoJ֜[Ql-?GXo!6@3GHCU}m'(viҺK%S]Uu׭z]_Q&WkgXe`Xԛ .2IaN '?VCBm%x,Kdg =iXѡAg9۾+ϑra /[?V}i¹~ѹ*}ίEړ nt72+4@fj8 7;EЋ:WV7E5mbk HWb(D RE`|^+zHB9H_3G2U|Os"0ѫxiҙj%.X HI+ WNȾ!}9i5| 7a`uR anokj k!S4ZN"tHNo;sU 05 WdT@elSHm=@j w&p疹׳y[La&ƿ}C-WOFXLLɢ;~4z $& "V؁>%8('nH:HsZ{%=\Zݼˆ|XN`nfD8ǿL`L=6ΞwbnVAIy9uAoħ_{yxh3Ez(w,\i1>h~c\݉v\)ߏ(kBN7$uO:/} (ma<)g yۅބ'~s0TγE+2 ޵օ.Ӄ]}t@E"_ ?(;}{{#Ch9{5|Teˍ3PJk\*%n{w]U% WO'ZF1Yn# j>C-=)ipy[ ( vI>9~bam9odGdHU'6leJ -@P%?3 Vנu@"8[/6 g4('%YO˭D4jHP8̟ΧGS=~83Öt{LFS[S7m'>JQHwKD!hQԼ}Z ,Q$}Tzج<0m;HL iM5T?@}gx@-$GҶP;}4δѥЕlivg pނ:UqRp(/a:!XKڨKg;AOThDDӕRհ ni[ѱgYZ+ 1O# THOL-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;]!*#΀J("yNt 1<4o3|3DW ۟OOv'f*T3'G=2E T fhC`ex:@%'-/d^w>&pns e5/5Q"1=le2&X{_.!A(JUFk.Dِ]!.R]1nbYǏZQަʿ c?.OfRhH)b&h9;*NUXT ty%tȇuՍ.MMCs̜MvK_ų]`ףP2XPiUsi3׵@# `T'NF3b}cWhwx^, fxfSʉx&'elԕ ;7[˻KԂ1K鳯ON R=cNKISl"SP&1~R2z B'9 *׀M"U/]L$0ܞ O&O<,*PAsNRo*gz:!x1,r*~znMh1d2ִ8).ȓ_eᜀĨ bN0%^!\lO{Pd~9] O !Icͭ9Ug'6DPNJ~o.~#)҄YrFkNeF|  ^  #1A# 4HOL-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}B25e3E3fQ٦< īxp\& 輞FĀoI̖Ldݥ~S0*Ŝ"=:8R݋+iVcK)CA?!]k (\F<`q`M ,Jק.] Q"}r‘ۛD*G7 QW%MY[=@g ZKr_5@ ]3Qf.BԻZ.ZMrD֬\:V3y, ^·bB&:k֯Q)To{rIVBЕ>aq\SwG:akoWqNQ>n|ri '",,9MDc H+~5bˆ ,ϔ"7cѾDOM7,LFdގS&j9O쇫x{\?_3C2 (- Cϛ]aդ:KJcPww^1Xܶ]ԈoV>TKa3nb]|R 2]6`2> %q;O<gLKJ=%\RIvƗ}(--w+jvR9Eu'JZFBF KڪDGgK5NT*#_67 !EIYYPC2ۯRF"az̓-O:ʈ:UU!: -s+dG$OxlFt6ɺ[NI :k|bg1ۋdUg vUTz%+_ Μ&'6NO)uzAn;bA=x΄uuFR / '%\y:ۡySH I&ǒ ʄm8ŝ:JzX>ut(HvgNzwsVv}}R7v [: [ED }?v/QJu4}/-oIFS"XWlhrNVw+VTNBzx;h\5krXʝD;>?h}X]/ xʨ׷ƏٵW{oKm}/?X+Qf|7e禂Mirs 8^<'qɖyIl:LJ|hp2gЩ]mhmLfÆ(k<1{M33`PafrDE"IJ_eLе8.C Ö>*)E3⩕Lf?d1چG.)Q)-'m(CCL =f:]"M 8x F-sh7r3]%zK@$^K(WG3DD*sIBeVAFS]ē盟ʳk}yXpL ƥ2Đ|n2AfM pjjuX|h5u2d|.!-JFiVnncH,CE<*(@\:+8ӂxkA48߭reic${`ڋ dzp͙= h"`+tve'/-_ғn,$f]lS!2i^g[H'gɫo=[*th֫dgYZh"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF!1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id546 1A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y (Mڿz˶Bdc8e6_N{6{JCC-@>Ö: ӎk5\X,;?WE#fR[*i-sFSIx9j`x'*K\ :08nt5|HͱbmzRPS 6]?u^ыcw {:! 0ḋ ڶ=[MC]ô׾66V1ظaG\*^z: 2sK&H"}~#AX*Jܾ6U<`t)\*B, U{ghO.Dn0MfJ88h0 BRZ f1}h%8F1 LF-kn'qzP} /(5ɫJ#VZ3m|hHOjps}֩O ;j8AUb``}KAE1!q(L Vozv!%S7I7vRe!g&[k!$& S| kVRBAΔG!rƛ5QP9Lv}>$FX>ɠc Fuc!ӁؖAYhiYI>GZE㉳og3RfOu~mVlln&Z8 ď[(B]rA*Q\MZtrcNڀۃ O'⴪\*%ît)-l4#c]hŘmvJ; NhZbܚZbЈY댯o+=l xݷbXɼX2>P T"5xh+r>0O5x2"z9_=D11B6V@Ad`{1V`c,vO /0zey*dB-P!ZPܶxz-$1ZMɊn,\"?t9JHeBGzǗcUz֞ ÿ܇[~،` #& 1l!d:ѢxXž"3k&TBr+ޟ2Zn(;(2+ 6hYEMNǻ3`ZFQf(<q1U"7GqO׿]E"mʹ 4sM-7׃>h&PENjaKƿ0z٨V7d=_paNҸHC5SJ09UMQH Tvj^͓aX'cRM5υ`igchFYSLK٥nIlϲ[F).*jtoWu 2^zo;j VlHg}Bo4؇(3N""[Cث七PvuT7>0IwUe] ,| @Ay%FUHfɖr>|'F!$e-`Ձ˵־gYZҡ1#~YxuC pl <3nZu({MSp^AF>Ux1ohf8^/Gm7(e"_~ʔU6%DK@~{@0*ݞ +yO⏎ehk+u5m}wn@hQg M7TvCMDH@Su+ 7pK2[M27vƘ[< ; >U1'':8h|}*hCsY1FjdBq;(X.0 8>jʾ~/mM`<@ڐ@(2Ƴ ™K+REa}6ؽ2$N@`ʀMMZ&$YD v;]KI(;#XD>ߪ  j0rYk]O{OT 7y96|z@cpNj6_QrmzV=>TU҇YxϤԇXS5K0u )h9 OU\L1B+dr Oc|BF_D_K &̌8c听F6 ^+ @S70/v8 :fے&2νiJB7G! K|@5+`PwLWe%\폁D-PBqNwIgU}=NaLlUPLpIC'm4eDx1Ȭe4Ʉ+ҕ4s׮+chm>僝8BEN$Haߤ%:%r_/T^Ne8b"m`Ȱາci)#iZhnaeȫqHMد|EZofڷQbroc"( %:2`>V¼XHa]AAXYӤ3?m,>Z?- V Y'a8?aE椕>15CaU."u: dmR҅4ȓ0 MM9Qh4vk3']CZT#!q)䓏_A%#0q#.Ƀ/y)E=;Zl:o_0+xx5)Ux.;:tu#*FW6+yqjK32ZX^%~؀`t$% I>vc}S G[c<_rs$&͠5"mCPU8a|MzYv<)ˤ+u9a>tI7l"^~)j`rŝS:OjwQ^^ݸa8gQCnd|3bnDVY8 @( ]I[4L狆h)lTELQpr?V00`uȈ {ذPD*P6a 0k)!|4'4Rv|5őj7zqcO5I:dCf;6P})$9啎ݝʼjZ;EAC3(# 9XLD6 !JŮ-FK-^Tb y.:U<|>& iwZQ硐D}*S3ApHb 6:]T?SϥQ7ZQͩ Q•[e*L@Jdѳ?&i9(|czzye)3{:-.2Z a4+lUK]0I֬7E&;yTz@Mˑ,> DU%+hcjn ~ם0PΏQ7JnFLZ^/ǭb~ruzwWRHֵ 3fO3EDFU n1b?\aDi>Wدg CvafmzI`ĐDHOC$j9Dd7])~7!:i%7+:!\AC*1⢐Pm[NmE;4R,m\,+{9,j%frNK# ]f"؂]CeD<>w@v|Z)ֹs-օ8wـb: ("ϣd§J S&LQzYՂt|9~Y Ej@!Y=Q5H!pF9p$_a9}"D".)@Yt<)/-nGߚవq<K .wI0.oYW9>*6[/,.йW'QŐ1,e>7[#TQyv2R@u+2"P D6컀\,WҏQ|~[Hޒ@hs3VwRLxw /:1kXh3H81p1s^45~vt<맩zĨ<Ƌ܃-Fj{;G}@ uQ}#ջnФdDZ?"l\mѯnƃ /:qJ')aL feopE-"Eus\t08mVdRz~F pJPvf({X](3F˻--234z2 2Gjo~q2UFR: wnڳ 4yDh1d 2TڎdaPBNH-Z9\O/c$,s LmeRRy Ujs $If)@&3JI$Iora$0 i+H!%A0nSRmf~,#{@EɍBW##-|Q_IBY.?u.l۸ʼn}g o0v\Jqߕ>ic<[1H%`6uvD;THgp˚ɏ/.~OwFwӚ钙 uR߭;]1d!} a".A^$Ct>Օ'M+~ܖ+@qk?4}@5dX֡s6؊ZSN}#ck#!l@ܳ>%4-?HKEDV͏]g(1%LɝRZ~qs V b}gO1:l (^M[-ãY k7'J> Nv}a5r֏D2~3a1C%!F$UZWEmr!k/` @=ijf8mjgmD*0`Ո}e3%@q"uD ] 寓1 RkHHRCvd W簦O6h8 $ ~am0‘QxiEe=? au3g Mr$pLphOIZq7.cKfj =}@TXm١Tc3 pH,hWmŽJW;2B |{.:Rn/ATCdV\CD?XB]n{nn) '2,59IVA,E˕&o ;T[T#bYہr4i΂*?kX<x.@2[v*-x@~l 9 ,+^7 G0 }eʉj'`# [޷rLfn؇uϗe m`T?LZxkS2b^\yW (TSr߳QՇzX^ 1AfQϪ%jC3(}Kʑk cc6bV YfVRGIRZ]bd>fL;"bmhفe GKWgƎSь#w tRJ_ ?5'6\ tHl#MW~eyL9Rt38~N|!|ﵝG+!? !gb%€ 5^lH>EVZ^sgjFXEgEI7ymqž^%ⶆފ_+&uqFxъ7 Z }tTIsA>?J=Co8`hQC\M *K?uqhZi,8Q,=Oll!{ͨP_:w)Væ8yXe ''0ӕrb~,ͥoFŠvkj9ŸA;i4Es16l66;ETiO}Ւ]"CNbf/;a3Szjo{<\N Q40xodMj<ԤmQ}R'Xz{o1$*eP%I?j!gM8Đ #nmQҘJ ң3Xb ]pH*hGjŇFU$E#1 Ut)t ytՀ]U:Oe}ʼb=ܛe@eBi=PTrͮxs/~=!u{b,~!JhoX;U{Y猢%Dp\돲=w5=&{0ܒ7IZTW/^ZdVAHd`q0v2,©.8~n3j 83+vDGa-#` R% b5^$ ŅoJn2U4v|mL9`nZ!Ԓ" xgu`f(R5܀k-unt'bf,lyS9#IuQ-s& k}>cK%NW81ͶgiPd0^$& ,%ASz)U| Xq@>ofYS[re_bW;t\ġQS6ks> Fc݃7y@R܍e8 x4ټI!IP3NJY"-^,%>gFd6qG2L:y!d?a-{Z%r%Fhq>a[1Ix[Ѭ#k"ș.Xok|04{'FGaD ' lXkR”W4>ޓA ?Y89)~:kIz BMj[9*^7'DdV $4s0ʾ?>Cb-{BtJJJ0XQ%GM6C΅Ca{HEjJ`Lth˱~] 変1KYB4 Ĥ&Зl[R'eBXK:ZHp' [o?EzS|WgNKv%]@[UFDxuiqyDxʥwSgB, ;7#i+ prmB r\6QC_hO7 OHr+eJ+Cu~) #ɋV)Qf;hyPN hgui7/Zd)0r,ųD6`e73B]{ϮljyΪ~z~!AR7Sk D ch $E\x{XQ}ȁؿȍRbq}H܆g|uJT&&V2V,S4A_>)#%ddnBkoo~=WjWЩ.΃HVk 51Hȉr )v8q%y7!-|0䗮~`ZZ͛r}%~otszMgFѸ~919IxxoQ3֚2|}Gy8JzI-ѳKXhA,6CY*:5 g}^ۅn/O_gCN5"w4@D6DeU4}uYVOZڃټ ¡-(E(8keGTQֲ{Q,єj!C(x7bOy|֨VVζ(6HsU=q!0R d D|S62?P~heHn@,v!9@h%U/jn{ĩ Y]خ \deZbMOsYm¡dBv3+b=ʳd%4߂5G_ s~mT{fB!]iFH( hs.( !,S w7xC(zۊSPD$a@桼FxƊ`8:$HB \28fL\:b=IIy[u.DNR1) 9M{r&|KGap,ۢc!,nbk~ x "89j8idWeX9'MuϜqFYP.-/ 8,#"FGKKqn^c}Y=EJ Dq4.xc3gnN󮘩,X$R D߹N8juDJCh(*GZAN1.Ne'$j)]U49DTMxbiUVg; eFNLf(Bzi#=8d"Yx0"X#?vq:\zZūwOgo3iClt)(=X$ ?m _8G?3 4(! D*=U4o u5 ̓}PJr9Zg?5&澪c| zXnt7fPȅgnkCVSS*L$&LJnU/:sZRi(2 {Oim}Z<䢑H)Cߠr \g&v {+$ f$Zը?+X;?kA岮㳛g=bP @ߩ/_3(@~J?h?h?cz2rU-:o;[U*i#~~G*^-hl:ᵻ rydekŷ*9Z ~#} }/=W$Vt,Yebtw]JM\Eُ3t>,mOZ"Ǥ# WXVdij~MU T,D ^MQg&AeI9f[__{ocbz4bs3bܼOP~=;s@{!/mRC %o N6K!Z߭$k& -]J-K; +^+_"e'=-SZl K4-[;y2\# o{.$Qi][MAqjjR&\9_D =Ly7ʩ:V O@[E@vǸCmK+rXTE9lPCxJobb(/jcD>tݪ@0_U*':rWy 0,m8lC&ͥ0MM^'7U5DZGECgaZ7h3e@9&z{FH/KM/0 hb1agBkg)Jp8X:lѵA"yBTp1 fJH5P&+,pH@Wk^զj=*"b:JBR)FmY]v/^M[{Rߝ6wHY|#6:]vp9vG ޲22܄{u/xJRf62$2In{SIuLtZݴJ3 q%'Sh7htQb_+G5}0 2U]@SVAyLD HfINiz4`^{3)B>BMl(}|%*2+ ҏP1*;RM{pú/Q#i_BqAwTP)w^}uk'^G<# ]0A½8U6B|,)98& j ;tC1|*KJyWRlH^B(k,%w&6\`x(?QGmjP׾W*Xԧ^s9Q2 j3р_&$lɢiab+)xBoj: euKdVM3Me1^V'>`ΒCȔ6Pejxǝ}`^=!&fScgn^RӤ+1W#I9GrFhc-8եrY&Ro@7d-*l8YBVq+Ԛ80@:ߛo'R$'FL>7a $t @S]j1ؼMn+Ox6Ul1--$ λ&5V36@zc$kg5}vbAvOW]/s]\zK`[b[:1sƗ"~,j@%o.%߁RjVʑ{8H$&=a [GFCtεp—zLe2d9X֟pJELwaʟ3bPkd[$bXTǺx0ޔ(T 鶁-Zm9{9d2 ,@CVv05Ü~nBa^,U UOѸ 7,brlJ(svM_!ֻQLD QwԐ3 g.#p(Xmk<z+\IB=ÇMKi 7DJ/ld0TY[v=o_YyNE5g I:(~y NCяҸlЖ-5t;Ѫc/Fs UEpEĥ*K`pfxJ';[1A 25 Pm򹾺F[b =xU9>ɏrLJ7Xyp4,DQ#'[6 p{.nu7o_8Ab%ԹK95"WD` ZJ\:mcN:!?T,AwP*PJq30u])@b̫8‚/ hnߚ)!Knq`'&=mѱւ!hW9`ibhbG __M|{xlB28˜dQX uOCSWdIJouQԑcਗ਼O3T1tFO=(o/]Mk}3OT%Cn oj S+;#v3{u$*CCD7~sPΠWD-Pvy;9@ _tQd .V ,{ڇC5 &lZ0z2Ymt/r>2T) @mQ$ pb /$i9Vx"#4$Qg=&a ׅs<1@Ĺ78-/?ܒ8X&4,K0ХKRt49IabD=L=Cj<0`;sjo:&J}OBMR!Z>(|''Rj[ϟ퓆+bbHgq7L>v1.˜W Ñ1(*RL {KnWcOuZc ϨX 1괎;3>*8 2^c@eJK F]Bw[),o114 Gaus#椏6CL/#!!\,UJf,ax'X.AY;#" g*^0WR&Ek/s`8ޕjt}9||vKp8tpKMH) p繟H}hmwM]gR9=3!hxj/\M2+(%_JLri[B 85.G٧"] d8HУ Emt݃æj iK='h`\?PWk*wqGpF'qD\#TQ5u#lCYEZ$@: c~;dyŠ+6@vf UqSߏk\clkFoxr?-Q/ф:\Mޘ 4(zj> g]mfn::zU1@g+'Tk XݹO$=NJv(y 6m2ֈ .|) ’K{J(D;ZG=ze<WWu%;RUTjw̓P# 5ܕecnut 0'%ĿuS;=.H6k^Am:7ZC;V2wL,k(ޑz'\[`^?ݾ(Z/[!ؖ,G }Zcwnՠ Sbő7Pvj}-Z_`# ԆKn_Htp(RnTrr@u̸0rQ u*o4:)pQ?yGA(*&=>?EB؇lx+2Cyn=qY2Q:ĵQOjO@ OrԘj+ѴQOEey1ע$L |یxA~(f>"ps%#9ܲ[%͑y3] ~|.(~a:&S~kR-t%݌h1F|.l+2K!Y@0lu[KUII,;>m@ݛT&%=i9[{qK^ߐ\5[=DxAB}YwiZD,+A7đfh=Hl'vv =(+ц ;ԪOj@NH\ҿk5-$bT* ًX/W.@BbwӖV4U|(בU}|<;G 0ִ؟TK[ccS$#Fj:80E!f=.eip֞E.CX m/GYIwݽO鞎H4vQQ.E*9ZcV#5,Q7fmHp oyDx7dtRKbIh ^ @SO3Cکx@lY7rSva|j(qK=stWwvH 4TyК Br|Z!lgnnYim~<0qkv !v@ |{k1C:<&]X'zwnX </sX3E<`E5 dJRq:ud`1 71!KfM9\VM[zvh]NlȆWI&OaY6p"5^IU Ak0BzJmm67ڂQQNHfe>_w-._џDxbMW̐ mpL$脹z7[VS:*yTSk&|w# rͅc-:K(0KVu_pJH\4p=C­Qk :"7[0e|ke u4tm#n(nq_f.yJY>7G8]T;_*4:s0!ش %?_mkf_e0SiBIY$LrT7ۇn%Ȕ=?f*W,lmwrd6K720JcXJmG2CR=7l?+ c3mj"{HMc3o j(XcB%GXoq`p: e4 kWOJyZ!.ɝ)͚ :"go(H\;:ڵ#|a%⋖+``܄U8Eך_vB?[cA湓<-aT7D1,gr/ХY&%+Lb:̧B""-fyͰACitq'鑨m0- $:?w4skHt8g#0hs I M.{EF^!4Y5J\N4 2`k5։y65#F|,!xfO%[4g71xD|*/h-\QEzJYګIF K&2jG.3%1>0$*?9+X\Fe|XlJT2LjZ%%)4~;MU計h|zj!PsY3)U 4i}#.,{4ſrxJ9Ƚf `>f9M؞ZqXjC8T1W*kZ us)aI| ?I~өN~Jo[hO^>f): \oW;/.^Z3@r{g9c1Τ4֕Ľ&8Q b34a~ש C龭b>@<8m- jG6.{fh0'~d1>7sWXqxTuYγ@XVcziQGHkмb!Л>\AUWg%TO; 7'!l&R^6q5>C1 r%"cQmqs;T=\jE,?հ'a ic(y@ֳ%<4goH?w]8 4RZ]^]GVBtD~$'/WacdV`ɿb2a8k Hb<#nZ]n;40jQn((p/} F$0OX!2;GG K.0UT";۵ !/>AK _x,%ݞҜqYއ߬[Bj\Fr:.BhSqߗbCE9xq6VF֥'_6Me(dh>AX&78 g > oK?TvtR27P3f_Su?e '>7!W)/Sk5#`%OO8]R;;{B4_S1yf$e^ZnU<*4_wc-[$[0k585ZY0D9ɛN~иe3P-!UKJq70W6:gSNx&, AAYLPR *Q$%Lvx x˗'aeUqL5s 4'b>b]%HJZ&۠ԖG"QјZSubAs?k:z2֠cZ(²Rw90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܠby.>&$lglP9bW{<[n= =/)y 3ً?ϰbH=wN(ʘ_Q:lmA;Up#8<())x+<5t--{󨳠!')%0dͥg %>"[c2!${. ۆRכۃ+u7ǫNYHreE0Gs'U_p4@=C5f⍡#5+A&`2WD}R @[(V!W9-UNs+Fu%:@-È`W o ^Y$Zݬ]jMgnL-G,4r A@|( 2ID;Lu="WKtH EAu5Pxijۭ V! PA*T&sZi7ȗoh00 {Ve 7ي4 (Hկ]a/g6Tdš=o)-' 7X9m Sά*[]s hS/, 俁%yui,P6!F|&>&aȈ#cNЇ-;-!F0$z?7S' |zFDڴP*Q2Yjt$חer.xގ?Lhձu7:ѳ+W€c [Kj nYFl'ׁVH1q^E#˛/,mP]?F 0~_]&qdDG=P<+k3Rqo,<˩ә1_ =JDʻ=I\ȧynD^h,P7] 4;sZf z_~|fFcFlXQ=fsUu&.Q:1r~ _D?PA K%:S.@$ JU; I&V5RMZ=Ul0pMLDs%9D .0 YH2( [Dh3S >rZ3<'V1}nzT0USAO:J"ր joI;_Nj#:Q]:kbZ~;w = "qEH9{X)=k@iE}L b9ٓYgwO4J D]n<ԉ5QRzG ti?w13Kkg/8%L k M+v*bݒ0Lj3$oĂq8c[z+lIy^k.f)CoK=K. =Ycي󷑮Ec t9ЀLx6b$LGF#bO]7iъҭDgGrRVwb|ָrS~ }=G^"}"[1 ){X:xYcho}bG*+;%m&H |Qe"f8}xJVea.jDЅǁsn`+IkA2m7m-aKj;A%8{ 07F>3&` k)w;X=5% 2_aG>/U.=X"H"nX}%@pԄ[ ktHS|Džbw#Id7񑇕]L堾cBPVFDz@!qd 9g\l"kN+.tDc/޺1f>5 ̕eMЅ'?c !i #3$C\uǿךzQɓ.mUG1nku%${@d1@1"qe'W.#ʼ7n[ B]~݆-p"uK2&V-69. E0B-y`Lq: ZkN5GM2}ωl3M|'itY:\L&mS.' Z(($>;xZy%&> d1#w.YJ T*ݮ;7%7w,EcJaNrxCy\zB ~zנ @\aFm*c G`'"w*ێ# R$zbWhfL'kEAQSgYZtq4a,ɀ*o3f}Jހ6*5rRԨ. LaOV M`IS1D"vè]" 6^쎸>R"wOVP !0㟉,Kd_r w#/J~i6 [QPbGYQye\_<눙mg3Qˉj^wIV6%aY QyB+ ET_ `[kȊyWXU8po ovLIN wAq%7LCfVE-zR\0l`y R~=X)4] JVF=/A"\uYT8]k-\l֪B_zP6O(mD>VsCG9%VӇJԴ'U?b5X PwhiY)3YDw>M\4 X#dzcp̨)F Crm4M.]%^e媸&PRŮ^#@7FEY69RקnvYx@ T K$T*]Uۦ[ J'fgCUڴ=)b@dh]0:_ Z%1fz3ec5} tvM VG0BQ,k,,WOm G9Bý%l5rv x(ohVdH)XРXD$8ut:fbX6nmIy='eaPfȸ،XgJ:L26&Rbr/x[yW:iOLSmZcux!ofklBF)J?CpItߒGPi%wȐ!2HQb8eGM9;Fs0RY5ABGڪZ,amт-ls82lnJ<%vpi{ =ொ#WĹ>ҌLQ%Y;x։-7DkDn+I,YPҲ uG Qݰ}}UG,d1eʗa+>+ÇX_Y ۰\7܊#c;w'f;6S9:-EҲ1,ı]6; "b95~ѐ8'DD 4& k:wߝT7P Q~d+m:?1i7 ǡ#3Jk7{T-(mIk2ɒIXL®XFWdl . x7vQaA4voS>h"0{3 %{ 5-9ŖQ'IMJy ,z$ĝVp`*r7?~[,IPkx`y͟{DZ$|O(~uuRo2NbGN8`UԂ3R*BU4'>1-fB`1Qtڶ] t|xAzf \gJ(V@*z5K5PDqQR' 3AM^u ;qѬTM{R5; XUq<+͞HWCswF'v ;(ITp~#ȋq-Rީ~|7Z0'Ir#{)m@)HUB lĖCh~r F܂A1 $_#s UFc_`PUGf |v}iYvܪevSk .)T^wzڹgu ?5Uے}lhG],xS;\4$bYf5݈Eerҧdl0)Vz;0a5*Dy a]QJS|UҼ\w;V|A?ޣ=l6;ln 7{ H?%{o@1Gqqf2S?Iad"  &$d L}(袳ưC}QH)xR]WMYdE cK贝7!\SI4KAG5^& `_mw{GZL#.* Ś-&$kUh'Cg<^~"VB֘bevpԬ!$1 &.K zQbuEe,'ⷻ+b,XF tߛ}mLy(ԱILw1sAVZ7o4XӪ.+}2@.X\aWˢٱ:vb5V3MV<;XQ#^y;z㓝/'іyRSC,k4w$b}>ANL_'ݯIMDwy]_#UFxOSlÀjs#@*Hycw!| m`?wvn97(J4py*Gqs[;6ˮCn5Ajg[|eqὑn+A;7}ٔ:E:m7{6WqA4f42Q2L;tCGUٽs1@,ܦP*O~d:Bd*_Ig5܌̶z.3UuR~2bh}e-7': KX#svk^Δ9I{IEf:%sR3kD0j+{,)[~ Ӓ2dP@"랇]bUke)'M9%}`,u5qj !cH&'b{TD |`T9\f\ ݦ?Mkѵ^8çs=!OrHɬ \A,|d0_<$%ꇋkI"De2$`bj4.?i d`:(x,-@=EvHLnXg\y`Ρ6 ޔ<} z"wxy ^`˳TnDAnE鏫~} Ld :@?>,Xg`j|q UVw̰R/q(ЫH XȳUU3S[=ѩAm< G<[,|l)H˫nE{乏㖒fY1b) v$* ۾%""'Soe˨>sA'0=6 v[Fqhn5dnqZf.]gvfnT6io )\pn8 +xhqcf=[FPd? @x@`#:Sۧ lxP=]sB94gYZ J+1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tmmyEfaqe ɹZ(m3'7_2Ax ]F4f(Dg>pW 7.i$s7<Ϡu+^-*nd/[.BTUHKaB|HY& W(RKq` I5ôwW2e1ξlb} @8&{iIใM?X% #Hy;7O+AD08eb:rݸNrl(+?[ɋ |6lQ:(pP V՜ R7'CVKKRd&EI ۩`qe6J ބ^&zcƮe1S,?a6d ˂#nPWVRmɜ%bU3ᙅ߽ZǾ _)Iq%O֤Ai)yb<OOi,vBXqXU%).BiL-6אy&U'{M,Bf*O0 䧫-*N>1[G'$utJs'G]?Kρ/̈`Ou?x醠?:'N}Jt=pP[Py1XUigdzaRj}*1.S2*w'DRR"i x ڦ.`Gøq[}D쐼tOoX_am>= _-&Cj{ܑF3(%݃qyQXsi9tQ >OZڧm:cr*AIF|V8t1\[m)F:yx= jGQz<@؏tlT}]8fҙ#0SRѓP 9'{Jw yE|, d7[`XuAM:2cvjfqBުO.x댛I SʸVִ߽eظa$cL&!6\\FEc4njG蔛,/-*Qܹ &CQ.ƯAټ h5K*R ( |͊#>rG˖BKX=Ý$=@:7y\Y/b}`[ݰGVzbOgdMO>3 ꟟==e>7Q=KS9`{iECĥU~RYTJa|aaB`.mFlr|tv^j Cۙ knPŚaJmdF52Ƀ]VQ}GcO{#~}Fje~{bxp(f 6J=C1Ē_*̻lE;#"t3Ψ_t0E݌a6YrH~32,su>f_K#˽=Blu~*)/y {6ݛ)8,_agR|KҸ0^+|JKg0>;xJ_T@JGJЪKG\qA9f-yRG[/0ʪ+TEV.0I2LEy&|})_z[Kip3V|m7#aέjacZ:M|'VjݸO,4|2-FK1)p&IA\q\ jowT/PrDxxߊrg7x1N 82!aČ2~yaХwP jw'v= 2[6$PM;r ƞ!Ǯ б렅1ml6[FGWU"EoAo2=A=ۘ"_T,ޘ+ejٶitX.tk=/=DGq"[@8J>A zݚk}чjM &\y%t S T؈`NT v`j|35I9>$<(5N_UvFqPeEt>L6uY1Fiʖ0/)+M@ ar!QwCσ#뚧Ϫ(eSaJ>8JP̠c|`bgvih1W$I{iGsNj,"<`JwұA/ܗ u(phX6I(fؖ2F4+[oEŚֻϵ{\hBBx69+.W|6&ə4PzRd0}T01,;By}TVZ$k=ot&gMyP'= 3<)&"qrH@e>֡Er@EͬY.b*م"?.B5  oVK n 7]fэjk֢L/%sf<,^H [[:p\u()ne fiwG*[Jhd >A]El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWjc$1 }UdoUZI+}#BJ6hцۦm VX]M.~IWi\b0/ܟ5C Ǐ/?p *yAæ]Z&8 rffU;a"O T>7uA!`lҋu Wl%vW"cJ,l}➂}1ɼȆ?qn[>;AGk6À?,@ G5/bkfnu;V]H- >Rg h r*t Y42f/BAG{kIT$- o}v]yFEy%1LcNf^f"G6D9Q.bЂmhxA M޼}6=GijBBRY~gNI+kss,.:a5w3=o 6[üX.]&d}G <%=:XCQe}ۆȕ?AOB5Q, b:'+ @ɘD3҆wzVg浓㝨0')n4YF;@y=zHP7)ly&_Aa9՗u0TyY|teU/)btWPh op5m.2R,`O$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_id526,1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x׶SMl?Xӭ:<1{4 C=VI!"h1k>kvi|)^0D*@!;$t?EZhqz{sŏIg| 23PםM SnE~&Ym@?8AնԒ#BI2 뇈gV.pcm_l\1Iԫ )&G4Zwa(OoEXCOcX-Z K梐;P3MU/)D<Q<%HsjkfX?=20HjD`$cs qWͮUj'2=y£˹D4LG_nU G[XHGҚ]զG4z9~|]a~ vYUGzoRUB\V&w}=z쌚cU'v ièƕU~uoǘ ZF7n<2 \^:ޫ;-\X2%Ҭa rKTq CX$3)$$ɥξ]\jybg΄Ĉ \"U+v}:~^ btkY%V=T$LJ?NT0/m{ )f\HDSD;<ܧд;IAFdd}'~j˹B'YJT4k1cK.LVicU&.kgZkӌUIe # 2{RV !rd$by0?s\^]>jNX<,0EP 3h1(<}R`G0K}$aЃ*>S EғQd77:Š/2;-pzbMx7*1{YŠ+JL}z.b@yDȖ"? BυuĂ#qddGQ s'kt/ :zΈw` u $:~χS!8蘄4փѕGRϧ^n-’. k6ۘ(/ /<9>bWy*A !a:\*$4)V?i!^%ZHpˎ֜QٵHٕT$.nO0?hu;v1Ot<*]`̪B ͹K]ā gA+=-(XL a4?V\f\!Fz*`I\}IP<xU߶ WoN]`bƼ)UϰG) 9"bed%+\ >A*|tCJJ?t)]n5DU_8՗*Tl)("`48 {`[ J:S}Su4[popJ@Yb[X9OtJ~؞kÀJKBb vg|>TJgg<0eס&ep 60Efl"->0TxQ;ns2.쭮480O^=|7![“.-M@nX[IIV|%uAQȭ%bHHgLw Ss}aq9B -%~JZ  q^< ̵*|l-=fZ#M_u|ЎݜwyD%Biӝ/U舛l%%;+t!ڼdF_x+AK-C|F80Q63#\v?(ϷȝIgwaeʃGWg5 L; 4sDfA$T g?i>ӏ碓U=F b^,ű~ lkd07A a}`x7 ȱ7L|Sl~"騻]0nڗfiFmÛGu Mx(1Mqo7i&0$j x_@TMM |OYYY"O#Jč.ʍAvo#+ t\–pPH&aHұ9>K/|6>.U8>$Iz$++EjɺWknN`!ߛ\UW_W zrNX;ܢ%0gpdf+kJ^G4%CI=]" v0!-QmJW|NT"Kr/.X^%S $A ~BY6zuCl*@23ј‹kᘁO'/$w5j&)gîW.DӍ͐Iq2rPBHt*g7d ?܂XDJdrku  ano.'P:@͵pți#ú=tDY0 GJf,v8ަin#&ZbVpL4Kө#VG;(xjbeG5ꪹ﹉5swZe kpE/~w݁? l}6z=I*ɓ姅m#B ({E Ygrw)V䏍y컱BsEN@ݼhMR* .is oNHkO =D0@_Ffv|~5mF-WĿ3vO;lCg`ijCߟxV.&t0d"і_E#4of FJLV?bY*?.cOwK:;i bp\@ndބFSbj6nه6H͌ИZC g??R'Y?;WBupS'ZY6ٻOXi1p RLZ& $τzةKy0 hA#KWD#Г5sxi3s>^mU,g}Im-kدMPQ'.M(MPMb-Dt!^fv:$Q5+^|: -"sFGG WO:=*]Hgc-ZQee;nArOm[ tiKʽ4L~\=˸3 kSstzTQA4yaFԙV@sc+lHjHa44p[m75Mp\Y|9cDE$"ZKd ̙Ғi "NO}d`o-IwrNrɔfTgr=nSU' e`XrHr?Nن[*Hh RiFЃm|< m.F|8bP&3qݞ")kp!X=&ʪFӁR?X]x<s=F;H6Qf*1Q8Uʳj9XBk/ްHHQ뉣E@+_E=ymwO@1<3AKDDmIA>jwlM[$"X7 )&H7,eU&U,)_:tfKTY rSW3tɂ}{Vm2Hɺ'ݒ4r푆m<Ygz~ǤUð3EZr̫EMVG4aXnm2חo3t ~*DI : A#LYk,р}x&vm!qj m3[Ȱ uL V7h޺tM5HF2Ot?S=>^} g0 ڽ~iS Ŵ O4mډzjSC{ѦNA'3m㯡GƆ\ހfN UIퟧ[԰fJGih珩#7c'4hζ5_-8G;'[bcylB ӫ 퉊-/rm=ϻ.*@m边 %kM_z_RJXUXpN.iU?J"RŴ*c1IH[Hw5ە'U nGH W&w9M1<נR˶XKE@<)y{)Em&@zvdjl7tv8g|Ӫ6JT)KBZ@0ΛHCJ@HOI'[Zb)=s(9kP/G#WmP-⫅!/Iy6 :`W˱lή+P{~*xOS-"X_}26Nj wuJEFJAaʩ*Fց2sT= s5Abj 9b Wc0H(z{V'Tl:~?bkkNwQtsf0j-rbJs9 9T* H榡FU&)(*O&yx"$,F Fu;6׍c 9$SҞ`_<١4tI ݏK%QN |Ƕ qκ|vM_HZM8%Aqbv\ ZaO7?2 \2 >Ҏl!nBХसn>”m}8)UmM.K?Gy hel#ʏ闤mY +#=kn/]kT!. zR X?x-υE(a1iFS9P~z 6F?~Sb85EOa(Xq`we9ɸ!;9? *)G'`E'V4<r{34C1t;GO(eu=얜W"ymzZY?^Qt4"o/1TOT~*OnR6؂S֔j5\rhqUEOm.FŤ8WOA)V5ی]͑g J3k'[q"otKĖ0`6IXcA>w@-cIRxjĹiqXoڦˑ"C1+Q UX.a~St̙x`~;zs>VIs քuJB9j zQkx7x}ip3.K=WFߋ7H\ *o/CBm,C*g8+))ٳ~.9DU~s؞`q7$9mIj Y'{WOPtLR{.j-{R'-lbg3QbK !eJ2>dZ4thL7pD_Q\D:}B`?oj $=!9bsum>l=D{BfQO-j*4j֤bx=x(?}~r4Dłu>ֺO\].ӘeyCi%A-^9H ^TTorXn]'M=$ `H2D+{<:;_?22D]iN٩jYMmʍv]9^95"ł-οNrBF6f\ O>P.lCdiXe-,|>fCB.Vbdz4s2aD}R= )@4xe0n8Kz׽=9֫#w-6?g*=~$5bio"Gc. Q _u^,MPNċ{ډz bbExn?kVTid}_ "ȁyC0ȓsxVT ,~71sCGqXvhGwPDkmW7cHTɇSZHLN}|f =0P3&+V6[(FpSP,%$< .t^tT*q!FV8ub(XqN]TB}h?o蝣O"I|4~ZtMdkI)dQHNZgWP@̀Ko z.= B!5p0#9#ɗ`42کYο*F'+V@ͫqBVNתLD :)HLCҢO7?.ófSZδso ~*S){yYzt,_=PzyI4Z#:`Ӟl:c?CAM;(dυBЗR@boP {=qK8@kp9psW۹BgnV{"N&\D4Uqh5 ]R1='[I*dH3,ڱgYZ ,l$h61A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id540=41A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! <]D?7 {?:fH\2Бl0_Vp+hx;nn5K@Do(pP b hz7tL*.|P}̐$e-P`Ҽ1;_PsMFe Eyoj]>E@e2eqK۷lP@׌W]6䛥* ; =wF?߇3Ыܻ) 1Σ&B[] YU#AH6CW"H>΍QCJ4? kzvAz<sCG݀Ec{VtLlJO˝ AL e8@SDs*"O1vo)B`R_Juq! h>}G1+ W4vmI;._N"rgkB%֣-ڔrf.D@mrjIE9M2fwR6k!H Ӌu*2P -h8 *ͭoL޹U|Gvt:ɸRCsèE'?<.~)PuAhާp*KR;{Я]u;]\uSSvOLE&8z_q3`˜  NfNZ3>M.OoܚU]*I~A\$挱P:ڼϣhY er>vL{6y7!$[BNeM =wdzâhvm"Mp޽f*/vgYZg31A# \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 a8l^9J̣G_Gi -0yheruD څUurKŹ$eH+R3P^b"c[F 9 Je*mV@^⦟^h[}0BKgBs:Dz i!cuinh"Ww%p>Oۅ%0t1iGvD] T˧ZM:(z?z]'ƣ4Ps.jmw]3G*8&P@xKvE Ǎ*8\.+̕IgS^W*pQʠ050 FE7AqɎaPV58JG,wlچڦC]!BYi%0]PLu#WüׄVo=98~_i7ւ>m6bO-7WxQ*AIő.gՔM6DžEs51U-fIT*)ނ*Oٕ./Cga=n'/p̴ olN}d3eyhEm%YH-oSL EiH Ծiso(bb#)nt‘J ~3qՕWFS^iATʈ!d-oda'ӹ4st*qUjҾ@ͺ5A"u"V=i8e 85X9ﰛ E M?;zkǴ áR82C{t*#&-4)y֡k:c$8; Ī ٳ}<#_*[??Yl4g&i\ꋴU`XbL/a3L I|GPM7 mnzzZs=Q&2~ylH%:.ߣs $o orR2abYh>>%t#,$IYG#6T\M~2afjAC(»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y *"r(=m 8@LyE;77'!N-YS 1U|He=QS:wNRWq%C֟2-חԤEŊ%VI{MaǗfj\5x~s|,9.c26\d;w,r Ҙxrjpx{ECg=D)[C| 4inyܮJZk;- gYZ 'G i @ h]  _" S ^X U VFf" 3Y t 4 B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files2B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id1'HOL-Corec_ExamplesHOL-CoD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupRC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesQI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idPB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesO@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupN?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesME1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idL?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages;=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup:<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files9>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_DPIDE/messages$=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup#<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files"B1A-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 $'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#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 39HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.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.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 *%sg%(U o + J w 0 M t+ -7g R A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesK?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupJ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesID1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idHH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesGF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupFE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesEK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idDF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesCD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupBC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesAI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id@F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup>C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files=I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id}wfM-8ؾ;a Oavxet_69՟m}(&%f^T-x)l_{k1qN[΁|%`+Ck])}ƺ% /֢"rA][ |&Z^lQu+< <`9*vQd$IE+D*NXΧ\Y뗎kbcBNު7$G߅Z{0@HC7Go21K{4K >yWKBT} QEA">Bn#rYjwU^,x&xL!22HbָcW::&rmTިm7JT;me3| Fg7-G$ ?GO_"FP1&+Ӈ|}}7ߙyo^JqHb7'gFqcy7d"R~r YBSylK?mn7@djЇq^کj1PIZo":ixZKf̆.?CY0^B`  `3{F/}K-EESK`7Z~ۚS^ÜQw:"guլCudIxn.Zi^w ½K@ś$yi DEJr~߲вh2s䶼 c, Ŷ9|q~XKאּ7p\CEϦ\fFZθDMuX##U@@c%tF>(N~#Yb+ DoaɹwAZd<ԯj&wr4M~sܦ sX@TNB]$[JEp2 K[C4oJgxblfhmq7i)-Vf 5#ܛX$:a;A./$0í:P hÁHܩGEB UKAN:ީT^92vo ߼w]!؃Hh)c$tl\Ddo kO'!"7ne_,cy(#{@P iy V p'CW,]0vYkEM*(bHuϷc`/! u K-{|lϚsI`2- k׳fv_X.!NtI"EE_F1 .|QHxq݉>5cVY _FO*X^:I凟s\be~J(|RED͕'x37Wm̖+up-> Khm$GSƨt% Ǥ I@kqQUf.ws6j MDŽҠpkͱ i>>iF DpxRz͸ieik2avBQ,zzSCލR)^.A=2PǜgUHWw8mǻ6w$io<-+:SM[_OSL!-[Sm,5fÐ.a?syN7#wi5;pjpðD"tYFL4"(܋,Tфw3S6ΑQApiiǸ #|}4xֈW$n8~O+N5D iNߡCL EQ< k'ihwNI\:j:4^F`F" P/?jt0  @o%SC^[K\`<:$#XllBv3$#VK$'jh<+HLw_qYV)S8 ӏIN萸)\gII%5O5W+fd^Z%FrP)1LI{Ê:J5!`. (?oH)(YLojr=L9[Ub uVE+LL_[ ;oϚ2&Nb%dզR.[v ]XImO?`:hWz:g!xITU v$ dU );^K`+3av8$ՈLEX F/&Nc~dU~^u;K|k <Pt_kQX ]$8_T`sݍbֿVѽZ !Q6͚a@FQ{:}`2\D:GwO:xV3WP~NY*zՐ)M{'VMclt d#$w 'p 3U~Y'ØXQK 72i{$BdF r+VhXwo!ҭ^np4`EGL @P&l';m+`aBK ВyhpE>|Uԗ/}3 ^4Vl2~Jrۮ lU<YB8w!j^%`/-𘙝[Ҍkb5pӵEӬMy_q#jQ^$g)zU{*Q9P4%'n9fQi6_WY Iaz@h [<q+EHx76;3ʍ{ nz;'"ۊ: VhgYZ NN':1A# \HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&(]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S!!;,4T2B0Ya*s|bg!ZpA oV["5};UX>imNGmΡadi\9+8: .}50>w){O+?Eqͪ$YH߀?j(ocđMs^*:DFAa"Fѓ&Q`>& M2S9 =[RK@`SM׊,`͆ }SE'oO Qhg+5#8eFguV.'3˜Z0k_n sg>e4m)Kk&_{Ϣ  Z|pF6?y4Ors 1f_}^+NuD4$`S+L,&lqIE\p`-__KS#js"8JXY^*URxѫst9*miqSvxM~,D̟Q>Wk)Fc,6l< ޹-R O}] nF 8޶ymXyݸ6GX}^>@:}d. ruU<"驭/,Ky.$u/0K })8)VX?dtf. ݖj rş&8Sk1ݢM#53~AHSĸgbo"&y\H~U2UQ"zGH#]˝+EIj9쀪 [tm}]|("<>(pLŕ=p pԣcPg#fBlt~KZ@Φj%785 '^`XT6W[AQFgX8vDH2 gҀՇ*_x 4O6K1>;("{. n;*=5\h)ō`?=²=?K`Mه+ 6[>91J2n5/=4dSkedw-t' Jxv,cc{=,;%=}p8pэ% ኾլt,Wq]m'19[ <=Z,l8#VҪD(Q*#Bo h{v-/Gemu/;~Ja=!u =EW!@p$ HL,]!X@c=w +GOyR_^abU\s$ƖvM6 Scu576~c VrFBq4HpУ:/FO&4| Z4'vWdh`pq :3K-C~\t]Ӎ>ZyFj][Qlsab yBvݜ'a%@L$>c`Aez9F;]>%h3&,ۍ|(5Ilue1nnͯ5Ӹ/ü*cY; |F59BxC fκ LH׻w{Hly :^cgr~&|} BtTzQxKßf&v+0 AdԌ,6A ZjA2  ] ]BVd$c̮&~+Z>NHj}~SQ#^7j_a<{s +PhH'#XWqvv^B!fIZywT: !U 'P mU-çN gV߹1h>ud|w]k%dT2xNWן'(6 [v"]l-IəN'󤪡ʟ@Cu.:;g`dYo#>Y{̮ zn$Ivzv84Jd{@ SHҿe;5rED=B1El{T:ɆyiB?ߝQ/X bIk} _BY`&i,/zPexoyb>]!ZZlgd7̕ :;E; u:f=qvQ'aŰWPjW SYa"dgo^UU۝Y+&\58~[H:(FMNKff:KAMWm "sm-:>ȓ?̞.Q@ )JW*{NF;e1+ !~y`;FtTqrEտ2?lbeA5ڣGP(r4e<{T~p>0./bWy7x*R̀OǠ֞9^C*  !rvA1O!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_id544?4F|8 %~e\% :dQq߻18MY`RM)(uݕ:#VM3``Y7-p糄K kQe17hֳLMtvtcG*LC]!6u y*{=݀Sl\%H26@6;DV:Hql9Zd8ڣhn.Ak) PY+禺!+D\BeU,e\Ũ*R+!#?25id7ZV}"4 Ӟs[\ U*qM"5_ow2f%J8p:^1DӰ'I.-e"veqv`R"`+|4c.Y a*yW.ロcDzkb=%ZyT>|we kHqfh#_}c͙;}`9ZbXɋJ c%ck?3#ª|^|x1Ce O;NmG*e?cR)kY_Ū :JJlruSU`[R:+}GWYL|:}E=S[p= guƕH3Tgo?^+.(N{r9: G)ZwʉޠΡ{QJ|\_u'-MbÃ"QBDpTュfgYZ>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| ̛ȕ&[ũ31b)vAA)] ?qaM" T/ǀ$a`ȋ2= C8 61JaeD D >HIdvf@TТ޵]/k2 |T[f\D7\_m䉪uzPh.(5ؤWWK K?(3!NZ8$!>Zgyl{fdmx= #-yWuLB>U `VY'Lݨ'"#ŧͦ4J_1g'SBfb(w.&}dyDUv+)}4LN{TNf[I `qCV׶Wp&rS@GѰQ׸ntfZNk^Vx=aOQ:$kIP?j|q.J\8J ޽-piiXّ u:㒐$k!9c`=tW"3x6`H+ejqsg#K_>p!"+Vڂ yNbH=i3ՁSYh KSGP}qhDT1(Sx'b{fًiK  W 3&61 L"Qp *&tUcY[ǚ@G  {'ṶԶOI+|}罂g/ێdvV9?N]uYBWPh"5'k'a7\bRu*x IJLgL7܎!6N`+}h\8ګidgr+~+j&u ق0 /3`±ΎFa$Fw^PcOHQT3Y³CۅazWO+L;ePz?#aAvUyվy;j vndSҁ:X- C/_#`tf[@ۊ&ދLbdL- ~Kq.ggYZY\P芞=Ftٽf@);+M*v)K<* ߹ƺWy\lA L%9!ƶoK[qbf蒥}aCzl K-rEsWAn.(@aC6|UeM#wYzLHeu6i%f~k\4f{(# $9s}L:c2[?pNZì3Inpƛ/ #oec6EB2󞾏'| 9 A:3%g~|T+=^Y q_ޚh(H6f~~ago;m$Erar5ɣ#`EkS0m9HElZ|:}_X@ΠjH0o_ity[uM =228c2J zu Y3Qžyp\xXg(z]ٮI nnQv!fb1)F5,`r촮WPMo(jV4lZjVH`t'XB-??S͝u_F:Vr0mƈ4JTǀ(i_VBh3-pV gs~(Ic'֤l Ԟ>~yVEPie%RDWH7= 6F~&wٙc"$ %vrzh[J).RѰ')yY¸TA)r}i&&WdhrZq(&iFeI@۝dh$uR#R%?6샞@9QKs촑;7s2PgW+tC S'@oZґêt+^ wOE nSj뚰N0Ae 7'fT*KQς)T1-²9o1fh>@Y )^cJɮ$9TPAse 8ZW[kVqOZQPe*n̲~e qD^DY& ~"[b{ԴGxgZi*lZ&]h;{[5%% Mk{%f*6@ƣB Z,xoϮ=Atod~ ٰpմ3R Kv?Tp3#]6 zŸͨ8Rw>фHxBz}#b+}`I`ª2:fMS]=V" [r"v*ūA2`oNT21dv$FR4{Mi>QCВo*+ʠ3( KyKdѭJ 䅰 Q >쪭>F&v4YY2і-v<]ϲ X3pO++^d٠w}hۚ?=*/@}&y|@w~YI9ޖn4Q(}]G.%sK``/K9UT7,LL뭃l-af4AJZrfDE>9'o+u4`1 e )D jrj:4G zƊ5 F_/a-^W{5?͍ۖݱ>,a(Z4 eW$ۉ+`^- Ai \C7zJLls}D;P050kDl&5,pt q*_4 ha*$P4AݼܫL&׫2h5qHm&S}AN;_韃{ʖ^cm be iRи$1pi9I9 >fۇ*J b UڱnmާC=+)/#M ǻLma7a1l>vؾh g:f.1a{݁=C .硥-{Ƽ"M K6IԸ,x F[g(N/TËg Fw7) c.֟k;DM3%8kfş 8}GP3{!a` ;xkwJkUe;V-S3YA9Dٖ(<ɱFk;,6FbYɊ\o!t%yr 75–!|!95f/Iv(@#(yxḂG>Wf4Л%Ch^oP>=uõ"skdP9N+N|Q5B~ -aƎvNLλQ#Qo ɓB^7c9ݕHTޭu3]H_1&E1Z+$>_qVǠi `F(*sթOJ&|`BW>+uc>q=V"`O]ȶt$s4 xMT4 ^]c%6}Gj3Gx:v .D5'@d41 2b)4w_G]$tBsq0qQoZ½&?8US_䛧i="8. -8oYu*t6TzUzlZF]l>ؼVόGX(dcW4H,h9z%*PP,SAƳi/6PFLW{B1 ؔ s ;@ѝGT{+ nXq#?a ǀS6ە"诪okڻаI?(D&-l70l<ERnˇV'57nGG[094ǚ;釚pPm[c*B$h"߮!`&e哃=0yx+QO8j<^218*dhkʀhIUzM35zR{#*\""yFp`q6-O𷗞A]I"8=O.H'{;[ެ灏Ir0DOꖄp!NF~gH!Bl%Q)ccs1,g)k&օ302l8]ˤ|Ҫ@Q >ӬblLs3TէYKe?R M*ߕ­q"-irmJi$'-M4cl(JXxdz4UzV髟}o0̓#9nN/iz]+ָ B V9g5FS+-+;Qi\ꎶKh}]΄W''>"iiYۿqhZ!+.tC/T͚*1RyJV<7EQScZLQҌ6%T]pCiKd44/uVKY"Ƿkұ~jGh?xQ KiWA$۳ f!zp~dns&eHR4[^U#ϮUJuy_1kϥ?v[}ն k~*Oo Oyd v60#B4 n!If dw1xu]k"}.%)fpnu)JB@B.pcb#d8$.%2CD]qį+|f ռ/o~Y&Fl3N [}XǸV80`݈>B*NZgYZ jB1O# THOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! c]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBinq [7]Rn1\L+ 8%y<[$.Cޏmfqi>s >A_3/cB;X]jr 7CGՒ\3ڈ|zRg^+ޯZ.aAͨ[?zST nxqVK=D&3!s|bQ,2fVkJ[Pg.0imRlpgH*m6 #ncFjd<277aj`:-"5*<Ѿpdr{QOd+3 ?,t{};}'iZI: G #uv% 0`U}&k־(2\j3N@dݕ2uCʈWHvB7Zf}Kn v!yxБ{¾XȕPV5;|xP U=~&63^c!t4icB_؎n ofb8>HKpM15mO\r[2X|kmwl7xY!`Fd#~%Y;'w݄{C _Hh'!3UtsP)/&4o砯`Kn a7NKk2cߛCg6 p\-puofzWV[E rf̓ćRL3Z|t,g Gs+V $r壟xbT tp9$jhl;%4nTFr=:ؔ>%:2Av(fwџЩ8S\zxWpɩZNܪKR=o"nƣP$~h&Ƥu|cw&L?Y+c =*Vj>$^Ƀ* ny\ h bh}9Aw SJA'?#36~P9Y % ^]=EQZ9w:S0d4 U؍/~]d1rf#"cтarEUpƣ0 So`Lҩ 5F9hh#GwhRW+ғBr$u v>HRۃ&)^6 Ձ<"B/$MN27೰_~f|](vqA泰iJ(pʗ-|:Wj7eE*הY8郂_밡֕цڰۍW[L3o0T=]5h?+/r2Fp]_V^~Q| %!DW60Kaң-+k#V_ iD@Tbr{ĩ{lBd1RboOr%{|NA4- K'dcF9QwH`_{YF/̄W !(h3B%lG$Jl~3u\HYmrT8 jtzpKeTnWI|BX7$域p+쳌Ѝ Az:f!#+d%Oo87o{P5pޛ}iZyFyl /)qH1ۣӅvlR23/淗ǐ6Glīt5o}ڮ]&(Q `B1adL{7G3kgt^Xowbg0Uzzae44u*LP}{n#J1 1prq&nf?^]șfc*;6 c1'¾_p_E).6kIA[ߤJ 97&P7r?m\E3vO,81t 8DUyOFeɮH0Щo?_ǧZ i,K60BSV ]Z;XJ:W"Q'b|4C^e;ISW#&!Xt4 XN[SX*f .~X.Ģ `rKk{|TPI+ׯ'Ry IC?D gYZz>/ukd~& x`o pN = PD1%~B]?3LQهrK E )I{,L3'aAA=_)"Pu4q)=Y `w2N<u,@CkI1Of>2njVxL,P%ȵsc!)Ő "? _>GbPuW6 l`%BYIx8 Zi3USi@mB2泜D 8wϵSS =U "RAJF)4y}jR1֪s= + lrzN m$N|ړ/v. ۞,@r] Nl}?U1+oqN',Vdj~x5G91Bm࣮]hGRDmcXZX;Gd/w$C~%h:̾X&8MDR-4Z0k$OD$mL- cBП;pFrX3d=G59rU,te\v.blqz(׼SZZԫmr=dW)CY/w#?&;؋ U3>5aYMv-)w9DZa[oj;:.՗sh1ށC0 r[ZZR8*ӛ>Q}CS} ¼<k)n1R.u_= z&E4'?[C3x` ;sM ?-qPDz tT:8N22Rx7fZċ]/Wی>U5g"n0ÕEulayk%]p*!i ?\&PN{cG캋#@О8͜ YGqn'P~´^g^,p ;5U~Y%,Tj6ؔs ^Y]?Oos;_=YMAƈ M-YJ13瘓 p~ۓ6w %[>0. 8@荭=q39=.>^Ӧc# 4.E䚽aE'z?3()UM*7<YxL 9.LDm\QW_o i)[Ll~S5ֲ~W$ Rm l!,%;s7B졕98'l0䫠\q]ĠkLn(fyxO䝔{va~;EJT8זsj5Ȋ$И*%A0up+du"\mk45I)k٨% Jx#T0Gdh5S 1|\/l-l k<MwccWn]Ĺz+~5tF̅؂ƄJ[!I=$RoI.,3n_+Hy592(F) gcpN6*v?t>w$&UiD6X(\ZLZ>tZ{4 ӕTz2J~9pF-ZrN=VV?.IH>{iԍg; ͂ҰDOC{ک཯61q&?_ncoQdLJ)J ۦU -B͝T/̱DP*h DWȐb{!k+s*LB]ΈMm.T&٢)htQӿ6}Ņ}E|OXʠ纓dZV{сYu`驜[ʞ;m"zjc9AkI`7ab|}M${=_e,5xt@|oVB BWx4|3QY#)݂Yt~%_XUVB"@CQzlRy\mvmzzyfGe jU2H4^FF4ӎpbЌ GN!96vldkX$hk09%u_BM f?MoM[,/<춺]+%r=Zۡ.oi^E@&#R_(y (cѨpT-Iq&67`,`DHQ4U߉BGk`v^1Byδە˗! 21EϩHZ2+GC^tyt?d}q H4 nMNDV_9ibDpE8}`^4nJ}KϷgBAjv4+3.3b̯ƯRR0&t+rDJn. ۿrJ$o-_ígd'Z·{otA4&MG@-fQ5 ^4oQ;k޼)(rn`gF= MȾ,ELrwlZr{miXB{@zb+ԅ1"7lۦ?u:_,qHi+HI P*!ς:3x c]hT';xd7BM^׋F{QKHbֺu9,7S vGkQ.rvKTF!Y0=p[ŋ}B׈ksFk)\i#Ÿ.%Q&BO S"mRx1 "<V#^focMCΟː9. /`IXF:՘gYZ 11DF1S# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! B:]ˠ)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ܞ-'V5ƯD"}gj2=S5|BX xoԣM/x>g ~<*q_x+P,.~'Y6"SOA; 5cTHX${8wH)YΎߢg?Hh5*)~}uuYJ֬)0> ֐Z" lbhMQ;otK\OMXKMs F~I(W-ZuB.#޴S_m@]Kdχܷ={x r}hzeetPz$PB '%4 9 ;G ^ N@ʓ[ִoRwoDT!Y][.AӸ8o-a1m\סaQM!H uOqS9Z}U^7I,Z~ʏ1#^6~0# =YhW049lSCwzT.,r=6HdتmH Ľ2?\GE˲t*h쩞EG5(p`@F78!WqWQVTj <疔 ,! 3|{`D )i$aEmC5嶦 #>Gߊ![QUϠ \ *ӖD0{ >?Ο*qՊ̈臍zf )k` UPys6aJ d4m#QXB RCvh i\DA0Q}Lw,Z7t=LqC\1vK".Ya5`ՙcڷc1nƁq]>Bi|E-t|=OK!F}('؊-eyHE6{;MŜ9qpQ*HtIQM1Bq6oEgf} xgAyPy>2)6.2M]4kPEzGȖ7gFp?j. 6 Z4:璍i_'o1&~XGtnlҴ5%dU'o\|+"YE}dg+rE3${ʔu.pVf.ѽi8Ȱw^d p/+9tI2^A`eOtHh?I,Ygb5>.-^㫓4[ԑx!"/;6|_oFlc^"򋞂\=d\:Sv`a$5;mb8+~['EH}5m#O~xm{8ޚ<+s7=#^,D}J:}M-4ϊeVΝ_okm$}e{/\{*~Q1=E܎lG~>]tG,=p':4@8{է\PT)?W(楥-T'QNdu1cw,dQ=EakӍMA XnG{6]ߤx^f.ieӏ(?%vEpvҡ 3MHTBM|7."# =;[dB*if6{BL=,J MX1LRV!͔S ?Ź'/nm)g˭zpu*j[DAt/Ԥvr+˺LI)~gꊵF4J|NX&(&[T,u ruVm94E[ -`e1\Rl d7TeDY0R#I!}XۿQg11/wl喰ט]3ٍt-ZKq7TPWzWj E*@?A\D |=hRg0 y,:zAacnAUHY:Y ܇< da fsA3KuC3' :qQ~A y.Ypk6(n?K_r󼈌zW.H%b06Od.I nTWwr FjϟR$F32ǵzÅ: pT*.Z.3bu^M?$u|L$V6Jird㱧٦ ^VgHe'!AU^kmD4۵L1#ug|(P/]dcF`zi rEɧ{Yb^it!C-; :%ODZF=ӛ6\fʺJ!p[qtL U#ᎯhJ;FDb3۪l:?bdNr7u[ pnK lLSP JV,{FrL@EUY0  C X nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532?K1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2QC{`k_nZ97-HdP *r* <=Q82tކC *ԞZ\@{eZN4:[o{wl{Xl. 8]`AWiO-ig $4%XG6}EN:et}4|?( &n8Nʫm? R<#- W=u8Z2?X;3CСYg>vmJ&w/gQ$J1U(rM2 .id.M$C^&&ư PRl|#Rrqyŭ,1ܤ6s Li\6+tHB.꼻_sHr8}S u|Hۈ]\\\X !h# ʵ?&=b @@X" !P-AphS̰3V-";%ILFr}݌D_vaε=V[6#o7Ʃ׮j{<\kf KEK0*`Lٖ@CacWX`@>^KpDry%_([~A 6ƒ iԩOa4chc:Y\9Rm3wNU@(z`6Kv)ELԑ{?~]/ BwI %C\gv~dϭ1g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[,b^'}6+uU]Q͔Rd)>^eܪ=Rh@άyva,~Sʶnq߅_2pDw_ے@e*X:wߓ"xx>daNKnWM."\5#*Ť#xo#A;T63lI1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHH1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id536:G1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! /]D?7 {?:fH\y#o[XjxTR03vǢۺ;Uz}#}o2Az.dR]Rfm2SˮY4 9?'%v^hOSI\} 7!]XZ9_ {1j`e Ɗ]T87qp2"+2 v"C5tŷzCg9U-gDYD$W_dn}3́hNx_u̪u*cC͓Q)jҮԯ71ZBm'4n[_z\;箞v>biqoҺ${Ik"Wom20e8f`kb "gYZ4qL H4yΞ̑ @֛"Sm5^1A'u*63"᳘tKEHjWgQĎMys%y]vVnJ216iMU󫳳8 08l;Lu4]:e̪ƔOK:8ke+o):N{`OݬDj83[cgNYB+Uj-RKҬ+JO`{eKNBVmP+1h(N#hRW ͌`m;u 9<FI2LfkF2A8&f3[ fޓc|፳y5Nb*={0̌UKaYA 9upmiEņ6 ܩJo2D\`۫qk~ld2K[[CMcΐѿ@{zجo¶$k?(6) ,HbFhH>0wTek{~dLOר: .1l^9{g1Mj[;pR㥴vHiN'ج1P$z8X(Ǿ<^=x08N.k-$*~/˓`<s| x< 5X CNj A:>K(ӱ{>:UՆmot'xx \ŝjuLvי}p5SXtHe ׋K򩣾㭘rdvaV~!ySt]rb-lX9h-JȆzwO$|o,Mͨc!2M(#`dC) (o+CB.v-ڼTr| ʸ* ŽC$L:6(d PfpAرC}~| -Ue^urc:4.ӑu}u?l=4_T鋻e8( U~%{Q5o94;&9v"8cS!{'s :(A6RGQQqЕLҩͤo,(.doj[Jug]9 ִ$|3~9FF}.yGF-΄H>1f[mEE3}";ꨁZ˘/{'ΧzVޟJy(-JC7AnsJ5C-s* Et=2&( 9FzK"?ؤ;YVO,6EΏ;F+ar<&e }Ϛ:~BpT%Ff7SZ ;a<@XV=[FHArBL3 eckuR){um>cGNUARrvK_ MNݚt2Pe<$dlȍhYi5]~2h-/^黹`ѵƒp`Q+\K:4. [nB+[n|5\DcEajagOqD 4ݲbҋ/pZ;IBٌm0hi4֡S?^=b'" DV^@{J4F"gsY|O/ N"W\OI0ilVAҤQ8 s>#Ao7G2x f4m:79X[&%Q㍺1Wգ~G0I _V9:"uQV ^㵁(_7.A۩|J:Rp;NK@z2a P^t2⣕0KoxFvVlz>MJ%:AG%uZH>xU#i[L4V;e\J(7zƐ>},]Yt̿u_ mf~_{?TZ}S[;ܣ49Zq T(l~ɦ0]~w)%42f dbYѥC |93maIQ"lBK& cvpR !쎧Q?|S78D{};#fIPܞ|;ߓ+XGQF-'^\LN+wC OF0UA"6X"r٬ş !H`./l 1`\ (}("}\ yF.֠h{Q~>WB-/q/o"2-1I.zò0M\B;7!|i (ҋE#ɯ Pcg.:.~皰jT*\mT&BM |AWvQ" $hЀixzn<6ݍ?6H~ԍa)9czqΌ)yc( 0E~? Jiu&؅ bxVS &'+&QcwB^PmR&ˆ12MKmfTi'O/4fE]Բq¬dI1?8/\ӚtSnpIm)!ӹh{=iB4-MHF Np==SBD\S.¼3Ygԉ_5ֱS_W+85)<{c`%зFfl 5;ͺC%9w'L0M-7gyז_PNF)m=*|kte9\?.ʂ}s'#x\` ^sj/KS6r:#Y( έjGx1û+ X3C*u%MT;#NѨH_n58+ J:L }f.z'ќJڋ߉i]4uq"}"xCUxGk7ȌGY^pxvҐ$@|=}3HLGBHU"Ak cD=ȝT,v^KWWj8Wv>#lWW=i+uvPjNwSNaPs'ʉBE>oer3Mh84\|fqIQAe _,qBFFp@VvAA >TKYp 1^Q^zt.Tg$JIFE:N ލ>51%BzeuG10is@p rq>$mv5P`J8vSel hgqJд,'Rے_ۅ ,t,8yⅭTfJd>>Y#ۍ8b]Vzs<5b5t3L©Y[r·`]ԠFi!!rDtF&w9y;io)XǂuJ*qȷ K WƋ'2zH|s"Xb"5wIgOn'+n?E&Ѻ}XfU.Hi'\'`43({+E@9<}>Y }gBjie%!jT0"i,KV#XVͿzod~i~/H{|4ݵŅBjsy{,i 2ɟdN~0-'{Jdx!٠ZK%Q6^|m4.?ʃh'P&#cHAM]+wF@$-H\eeNжr&W%bPm[$͆Iv!8Ko-<|W¤ |ZR ! m|#n#`ccL󲬯Ŋ톄|[j-xӕ2CHg{h5Go`>)}؆Tz|gfc㺁U o:ZrmV|W"_=Ii&@0JpCsOYE@pJu[Qzrly?`{֘њw{G;wfBnzN{BH4纫v0jZ{^JLPwK ~ Q=w .!B.φ)]8\g(`hOj63Z!Z"s8θcp$r.Bٟ(]^Zv; {킚A 5?YHs}ٲ( KzgYI>vjYf3f;Xս#1q5R 粑]+\Y`KiQ_1ÏYewқb9 1stVNV&sh:Մcx$O Ya=y@Tԍ% l-y46;HA6I=e07\"ց5͜BA]Y<@pBy{ȓ gMqe@˨go[Q&ԩ6ڥ1tyzj3Jzqg` rNL%ur&F^eOz@#4ell$z@,a\&խqE鄔EjƊx?HS ϔhznk"EF@=Ҳ }!7I!%oL hډi '>T~Kc0{:C$1vauJ츿E3'nUrr@\W8^-&a \/ihf ys%Q4yb4S%93Z_~D Z!.DGw| "7>5 .IY&^~M{7Ori4Dyyj4L-ӰqG.Gy'2>I]gLWrd_Aί"I$=HqFZtAp贛QF XF~~P.=^B)Rd6+<$/8\IeaW^:󁰼V9a)PlHM$o*bcª<{7۠ӣp{t֎u4 C%Lw UΞ(gt6_/MdIěmn-L 6XGG!K]8tOJ(u)(`70}bT?պZd]~BG?LYWoIGUY c{nW}s$o! xhPs:7w/`8K>tP H=Mup߬J:6,JaP,f)/!@LON5"[j|=ֶKZ8I- 1±m.n̊+Rw>+ ^$%HEhl_Ge 4`TzxwQq(c5UیWەF:yJsCHNJ*,D/8 "^+@r+}.wn/3%jQK]&/4W:*tEbkw560:δo. vE@]͸!gt< xM] E;|:Dgrlc콺RziWxV-~>Qor TKyB_ϝ;_* UuGGJ=RdR" K?x50(\R׸b&&dq0YNgc|%RO rΙI^8PBE+<[ɸ^6F8Ԋ1}ctWQVF9|Hq⠰@g̖ vк6K^Bs|+ؽ)U+u+I*Ϻ8:EL>{+P />a=[ P;PjԙKAӷwl\/ͫHTr)&3@?9 Π h=F 4UɥŷF3-Zçt&cePLZ\|*+Pf*Z ncF&0PΊ t8]\ p7]=h`#Fhh_$+5N:Ѳ>ؗ8`F Ž[CWO@.^_#$:^ @9zbQ+PYڧP..Oj *WR}n@ ]I::7q(Q`q3 SN|,jJxprP5=nzYBT]{="NH, ͬij&i 06a=lfiVG@}h1Hgo-~RVN16Pb. Kt@w3AN3oOq EeNxZ,d[caݦ؜JE= jm[D=dd pHR37eȳ~߿UHiyCaN%-t9đQ4/b!ҁ1vBcnU]d^1jC ޷yhZ\ (惜4D)w+zv0SFl:iB$w#<3߸Q`f1^Ҩj$O yRU'(:9I`x"X#@wO0ϫnPΜ [;GqoC 0R .tDqO3 .b=P,[;_(I_41d"a e/XPǰڙCKg*߉/Ą<yA8{^ie yYiaL3_O? z,vnl[7#BnO.b )mo7ͷ4*6Ӳ \ JH;<#q[஄92>3tϚpL vpr| [O*vދ ?-EFSxׄy !CA>8ɯHqfP x٥l߈0&J]~oPIJ{w BC:irlqno]löjb_r^ ^r)1_nd74x,ng/yt!j % WKO{ 1yP۠&8*+[Q. ?a~獔&WU0&p&vthV _C9uȦqiX߸Ÿ31-OشR !^ :mHؙ <]c1~7CoKgζ~XaNa:'dM ~3;QxyEPQؼ@ocxsz3bM}V$Me$ xr_\6:82#! 5FwT( {:*<IO*b\N7#YsmQdny`C2<֎@5 j& 5:0hML%u7&)՗yW\dF8crZ$CCE˷t{[ N?n7eP ͳM07P$o<}FxUMQoCpuLn2NCGz4Zh+6@y;a߇+?fܙr&cv{o_K>yN*NϨyq:Z?k%̧o5Ţ7B]R;YEjz%sZEPWt=FTw+_>uMI _ji^ Iiy4n5lrfh|xlۇ[Z/ ܠ4H%@k9 4]jN=ۃBIRi"ʷ$s c3m+8\]eq"*|2f&`a,pׂ R^ԿN~1&^"9mZܶYU0 Gz4I(Fkc. "W*1bP!Bo&IAyeF̸o|J'73>qҳ S+!d ,;l+|nuk\έ+W_z}ʞpJ>u<{IT ǟpgsc Zxdz]mYa|yC HP^u3{4Xő[][a)@lw)Y؊ZXnvmt Ky)͈X!~n%0nI bqx̲P)K{QId v{ss6 /B ~}N~wq~æ$S1K[ WxUOi!{>ivK)Fٓ28IXCJ 9n$AVQ+SIn {F ;-t{u FKOIڪ}8CDDs9+2vGS.ĎSTjP bԤncl4q!eIْ&t^4k(rGi===W{IwOja{bL$]'u|ƧppqD 6Es훞 nȏLggu5)m~]GLk D2>荵?YL=2~30-A1>(-z4Hzxp(~ԌB]'ɉy:,;ߐm:dU&.ďcV@6GOc!Ok!ʾPa{C /#c!dmE'{ $=0y!PGwYK wsZ-,6Nea]O>H<^y>i!UeWBMwdJwYx:ߌHB˩f vVNI Ze`g&J%ek=]UA3H Rc-j#QYbi=Fsk7}b`߲vL~ݪҦi"^0=]N(yi<%)); )f E$g2oib\ .@[`k^.B̤ o97鎩ދ t} g/o2؃tDHS{3ㆽ jMu3dZ)4s9bza< 2jl42ʪ5'YxF;:6F7A1J@_+bKTϩC8Xpg6nz?4-sڴ_"dr4-KlϮX@; ~y*{ h}s~FQJ0ϭ71Q6ԅӤ8REh0>4Q-t7*1B ֙!RhCR#7arv00CJu;l a?s_ǺT2gĴ7^9U[,d0_Xe "RhRb˾LɒW7p"HWZT̬3枌Tn ḽ\{=*x7n e8[;ڻJ޶Z[9bʺ{ZO,tJ L+("U}!ތG#|nmRӸ_{o`omsZZ Іmp{2ajX&WGGVo=+'ǎ'; tǙ KuLp>47CArS fPoF6պ[cJv*.6!j#5qM3zʒb*4 *(>~P$Kh,]/4K 0K7V* %K00UlX>'w}(FR녿< -omNmzT#+F R ?BF)&󏖙ɨw wA5Pd"\zyWsUv4L4ˆ|]r=EO8g4-&E!t~'I6uc AX_$PNckNJaFH- Vke.D 1hHVK5NFxϡJp.wwh򍷪D1 W`s!e>0ELwXkT 'Lmo ) ?uo\MY okn0$ZQP8mD+,­Uq]Ks߳y~"~\RRmZ.`a|(( 3|`1 .@z.ך)h ȝyZuV^nY`B&3ӤT]_rx5 nJ;8 ܚ,*wgdcRlзm*fǔϣ5xbA7R_:[WHxƀ->,[@I h6E㪰?<sگvGk.ɢWjCgW%GW{5Q B 格"LPӃnLf3])~6f}nJyJUFM86z%p3j>sne2Ac\H"Pg%DTGax JGr_4lCW@9 _@$R{/5)6W53u\e`lP"BKk rT:k2ΡSq)=fV'D-(YRFǔ)eiMp8{G^%b[xA< 2Z.rDz̔u1Mg/D;m2pVxvݧrsW}S#6uީ8JhBYWjጏMbí (4S^V&pvM/9"mlC~WC+7!,QтM}&.e JE)h#bO$XkhĖ 7^8Ev(t]G>tVZ1R7Fn*S.a²Y}d6ĺ-3/2K\\,Tss^AzPLrZUyqg֠3/(J݃[E:(Y ma) , ^g$3D[QU)v>]کA0? H%>%)rd[9A7hEo;KP&{.7U>=8<(Vk1Q/1ܲr|zE:SHHe7ŬI[_86Y"@ٜ +w/No% @wjLԙ]VMnSO͐6a̼zo'z l=V58_-;椌~ S$urFو*ۭ+Եj}J%{`lFLF{<[)`~WwAaeI;K+<(ʍ-wlë8xbлeUӡcIǔUEJ%=>H V!nMvo#:kz3Rhڽ-rBL!#1&?wkjv4tIKEE4dtCKR4[/6DdPsq;pY%6r7֒J7}jPpu6z"6CDC`3VߪZP,'GiH[ޟbf?E+ٌ/P(W&e>׆^U9}Ag ʜMB dWNzff0˜@ esŢ M Zgp("XeO]]_·PdF%4/X)W.A~m[^lVt8uǬ}sC] ~/s$Y7Id?|;UpQŰ5H5 ۠mƃH>bP7`+7\[#b'03)B8W2<l+~9.lZRH2tS`kk]63d;FQGkwQt跱9\_C[pp;Gd *pK~M[q3#f 9^g8ca/ ,4KA~z VA:Ѳxϖ Qe"ϻ˓V}6ÌB # MCC3c\{,sOWƝ)tԻ1*m9r;L\;|Qu ޶ї )H;~&$A:R-YGŤXh0"7"q.ұ6>ҙ__!V㟛RIR?{Zy#G[SW~әW<ܰuX5]NGB3@TvAyZy2I] h\E^y5f F-D- xqЈߑر6_{ lS܊j$Z`+BVZgYZS p1QO,5:bv:g0 vB[B u^FhZ(J1!p9XGuq(Ao0:Ǽo)f7 MKml7\^~D˃~aOY Y[3I7CY6@J6u"aM?Dn˻D% fq(D (]e+%aL@٧oo-X7wN#p2J?9 )(ԇ>*_i,SGm58~@id[G-Ռg[s'?U㹒C 0Ko79]ˇf8 4^#oc9܄n󆥓}yS :~^߾%i;JO m8)jS#Aߑ^" F7Fyx[iB,֜ă}^GGەņ.lX pzP=tҁ xQ)#]gUM*ZG,ϩw7cno܏ٍ|49ïwJ`>6r)K!;?raTog+oOیʻ>M">/m̼lO=F9_Մ\$ZP \ͶmVT嘮%G0O^O\rovR舁H N kj0zyX+N_m4JhsArK:%߃d:Cxe~iz=W | !U]^tYyy If͇dX$M{E9JiH"'I`J/ƸL% "c::=1XjU)K4{@P"(_Bjd&|T?ĝjM82CjhVv,2X3!`lIzr)@.y#=[z*P?t5ЋPEG,Υ2~I4k<x| FGQxbX|߫PNr%)ۭAMt!4 Q"OϫJ&֒@BR "HBU b9 piYÖAwTܠB*ɧ|=.+.WR"r\c(>~be&|$;5vkF xL^l[~W~um> <.Yj~Ư=) Lܪ{qx8! [OZt :xri!F &!_7 ZnŮjT 6la8OMm1|IŏE[+*M܇ -1[oyacԚG 0s!-g?Qrf"QwX#}NRԲlrZ Qɟ[)ʖ1[%E&Fzp5'mmTV75BHzh[Ѓg,KimXgS5iUҢ%P ВH 3>K)TZ3(+?q PdiPFU/{N|cN_|Hf\dPQTϋ@CRy`=w{N&RO^=)W5h^ Tp(PowZ:|7_d6bF.2Y1#+N~/V)$;NI3 |rKuf@W䔍pc4I }ZEzYXjCru?`-OEiYsX |d D/$^ePrg*U*1ZziS}v3J)v) ] ^0F= ^vV3>oZ#E'!׃Y,tJ$߈ (Z,|Cx(U "Bj\r3n,Fyۦ%zס.5DTҴjgIZ^ :/W咴 O-q $C,fb7r'Kiԁz^՞v.݁wA ,H Q6*cKqGYȤI vT)y 7fi%qb0 ij7)O6*C89ć}mjiS-; 0S/S:5chY"N!y!?k[Y %L3:]dJj:{q51Tqy,F 5ˢ^AKYFCsX"&wGѝhL({s% zp坘iFJ{ .LKSP4~XPݩ{19..iWg"?f0(h U%">|>knԣcm+2o S3o# =x3kwnG^0wv/რxㄉr8x o"h測<`Zt#9ӻK|ejy09 .hqC6Z π][AHJV˥oC3Z]yK!;NjVtN:V֎m50:|cRwZ[sRUP+qLC8nQH.egX'/0eI~Ot4 BF_1|j \gDlO-@~oƢUE77=,^ 5L&eLUOW-}m\r7]PIFY^-EpŽ^"rC.DvP8B;R-a5Ob/o=RtзN5a9'{Gkvj9l>Вs@}O_GE^ǃg%rѬ8!hguG}[yP6 Wyg=<_X1v fم1D WΖ6듵4 ٖkOh|?zHԐRN9nܘQYPUFOo{m-#&Ah<|VRl|62Q7h\[A:j}d9( ܞ:c331* {&ƀs15b7Dr]5H1O^hʼn8O*D鈳 D/ezF 3TnDlH[*b lsNql ɢRz X6#OCٞ6e#rcb ?ݘuv*m3h{TJ#棇#Q`?~qV@Ԉw>?gW_"Pm7*o*394ElRzuS& E*L!]'gYZN1G# 4HOL-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 ׻Zb#|ͲKI}mI*?0zf'Hզ9lHJm0Cj˜~Y\7 =_E :,^j%0xرah`UV8-[piM Wi u-7ؖhyQ;™.+D"m"kL:~_{XP/ !1aX;&i1B3N26d8`6&%yT=IZ-Y`be|Ijb{ X"Ƌ֜@ z #{ǓZQC wBHMND<_=Vm-ҿ?K&@_Sm'@M0n!5G_.=0Q1KvLFj)#9:4l󥶝tRj6vZw;TQHd;MiaZevgֵgbmWx zL@c ᰭ c>t QAJrg4MY0?m PMdZ7k3+frv@%I +u?״l>@g;^4mL.Tx(Mk[| ~ C.^c:TNG/XΙBf8o[1_ܾ؏ٶ.>(3u^hzOltٞz, XJ&[o*fQ3U8UAߴd 4L≟Ob`JҹC4o=AQ χ?z/t^2KQZ;:T+k`|L۽. I+R1.2YTQ˨0Zӭ$5$V*PZLbTq Hz2L2_B$o1%6ʣ|.W]A|gpU.y9J2s`{j@qf->0vLjB$JNO E@ѹCdo':,=S<^"H[gooߒD%:D@>A"i6\0O*-wZ, ] @Frlq694ҽDPSTSUSg(Ўិ9Q2<*SN4- ȏpq3!4PבwX<-^ܣ<6F -/Y9eu*6R!H }x-@pQ+ڒFQ31bJ [:wce֩SQ.'u,1+nxXُQ*"fSW41|O _hD:\'v~/W4&<>&fn!IT#L%b&[_v Po,[5r2zBǾdVpdaZ߲@V-~BéRNiݿb y"Igv AEky.!Hw{O h zW_& .3EJ'R B1;Csܯ:q0`'aKiV@]P"!:&;\G ljvlu#":h JXn9n+c͵"/s?0-`ZkW9<wP[ե%M[HN 99TCh׏&|-^dƖ*)(g` 4GEcuke]P_8:Ts@Bnq̱-N/J:x o)C yI7}>[nafk+#)Xvf] z =R27HX򟁰\$b7ʏGE~cF. >Z7Iyb d{L9hb99%HJ>ӐEo?S2k %aR G')]+bږ%6blf!p:"a;4Ųkf9k4P^bxIÀK9g"F)f+Ӽ)qCF' Wu@|?DڪQlv2pL11t*4P!5t(85m3 RouA*<^ѳC{P%{XV2"p׶~6\B;+*xRwԏCN1h F[~B2Nh2svbyy?ޯ#&~1vSF;',Gc0[nQuA0\?O p̱jCo\Ej|'D_VR 0,3;7Gt)lk-2\f^%ud e_HɽZUlCokԽc K87^o1j-G^ AyR 7)_gC ^`\7݂-ᱜoEw@l5WMg p1`DVRۜ@ }FwK؂-Qρh%T?Qw ,?qNP4@VK8t CIjkx#r<#U*s aoCGh 583QL|[Vz5u9VMD Dl{ ߟ#:2s-LMW.l9էun|}a߱}g"6˳A̓gQ+VE_tg3(Fa埦`aG `vVT5xB0C!#/+_)WQyPf87P/ .)fzRFtyL'hOƩYUŎp߯s'-Sd1Q{֦JI]+P,VR?dc{wI*-iu¶[eEق$ $m]iqh/ЁDazY|q}ݳ kʋ.6h,օ< .Y\p Lq3V@jg?1e8R$#"sQ[< zWl{m^.(lo+IJ'aF/o4NVK  [RZWPykSVE /9MQJp; uR9-&/VQ.窴 h8ޓՏ?˜Tϧ]F!G_Ͷ ꒸p^aAƳ'}8\jc1y{ɋH嵶O@v䇒Eu&tFy .7T[?C CVڴ/ ,M]`&Y ePE>BUdx z.Yihv^x (i>={lCȆ%t ZiטBqK&IJOg$Iv`1C-6^Ƣfͽ.@G=dJ<(&qruS/x)» 5K~`%:DNZ:܋*5Y "W W~VUs93!b 4jMxD߃s6SX]^d5NL@^ucCiMJظ*)%qǵpF2EO|6/ߝS"~Q ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6WvOxݧu-MsVO!?pc CbC:}PYU7׊ĭRf37T|+ %sOv&aYe3Gu "ڑN?Er,pjFVd8@g']hy+WCN2DXJAnLq{t8aLV9̀(4ƉVfP frn"5an(cI3E?m( zg,3R2vXNCb’45 W jgd.4K8c¤:2-/i_ "~O-,c;o0c BӛOD¨ 4j]|߮Fyvȁ쌹=70Ѣ`,;{::,!sYL@3Xb|9M[)|}&(51v df9KM-M\LnZ/;F!GGSlu+LT}'m/j~\bA",ecR:oG'5;0 !_3~W7MPD <P'F@CRj՘-䆥 WE<<yN>VI k" pwbꋒ$}Ѻ#,AN>W`Q`^ok9<|LY1xt .] VY ^,oT:|NNZq ]ٱ\ It(~XyMZŋť_JmN42ZbcPtSo Qf]ݯvRtq9FB;}Ҏkg3oq6ז\T=$}_cD#E[YmD^yF9] ^]OUͼL%VtO>j+Ohra\b([/c&Du~;b'm@ej#%FX :ݤ8kfy^' yC+b6qJFv4hЕÿ!Jp{u撊c鍵_#dp,zA8{VMx{ e"+GuAgg .Z>D:]INV%fTi@ CGB$J7Kܿ~ׂc~# Wd5'NNO SدL=ҟd FKޯqUkuo5ߔ2%+B ö\D'jNZDu})K 鱛 jL䥈NYY0~itUuӧ&rUcG̸M),.Ϩ9 0/ud%6crOR RK3U =qON1t Iew,J_qCZ56CoW#D"8|* G P]_&S g[{CX\U/p-Uvsc iݍv-^`| 8F%AڏX3Y"jqҠS5"ihɏnQ#_f3"'7#rj$=d_7ؔX`̮!*Hh_Hƺ Ss/0 P^Hyj9?E 7Ԁ5D.6W]tBzn(X@OD劻ɳLmֈqWwYQ\w_ytd(ټ}.O<s8hj?Sxe{DII*Dr N}>IIg[bn'MV:hA8LdG#6~i gI+@Ŝr ~P@oQg}`X6JbLo9s{PX͹YŤ>mbz!X7_b,DF|OQ5DϱA L[cuGV35+;B-ʣ6%B76 :S|O3TGM㮽z4:,+g4LT|_& ^xn%ۆVPzLvѼ\{x*̞fd*{_^-dsי;z-lYxTbǶWpwBE@prw,Q1}>F7X\9VlO\,õ(^*UHt '(1MWu ,i+3pTPert>'g;@`\ ;PE:Efm73UK?ixHyu=o3;!b%X:lF[c%]R9T-Zclq?gQݶ4QKޛ19HT'I> gƪv@ZAOǮU먺K D1dL|ɹt*p&KG-nsvE&]Mwp, +q^#?9[! i!In|&8dyDIJ*N1x%BQ=bS'Mܫ+;eӠ  zo/ I@Y"W΀0FDh!0;BC{է*.7rmYϬGVZ>J}Nؐefzm7;gWJ 90Qrd8@ɠYAKg-@{ LuloG5q~%D7fQ{'x~$_"bGj)e+ u9"骕՜Ki%Pd df)DOff5{rH Gա7qk38B=ZBR/1?d oVgtG7hu~mŚ48Tap&R]ZYkOX"֚vXLiL8 F[96 DX+ 腒B|Jhݟ%]nvNt*<՝͋8YH-C4G<^ *Qztߊ7tV ǜve('@đ[k=f2TYnȇXv/SuKe5UOoT d8CeNI@}T(_?;aįoԵzTbY;ޘBwrUJid&qNrV=]1<,Bs0R,SpcdN!F+wKY.Pn!#^_=o~|3rW f|A8w}PKsИ:L3nہc=>Qd4e _^IvL3rU8 Gؤ8kWb7*5?zo 1o:꒦qMm& )mj/?zEXr%:Yק_OsΏSD_A )6-+8~ufkPS>^s ?쨸/q[1&Y[TW6<h*IQ6D+,ުTG %e1XlAs{|ǫN ~`G؏4iEfj䵼y5y6ӵ% ?mgrPُ/x9і#)/(@GVF0)HJp1CPY+aIGʅT4d!|7kp:b6?AQӁÛ0p&Q wz)TfFl߂Uo֕7/# &R0?ӹQ*hE>FPf^pMA{a פ=D- F/#T3[f${%_mr#v LH7&d%~/TGwt K'ZQJH] 49Žs]%%OVN n f||Lc%l伒>ʐA;7+[$*͵܊κW :Iχ^!Op, N0y'_,{Uh⾅K}Ofa>H9[Q_Ci:)`V搾_$xyU6%|(G.eT68 XkρbNUǁ[ݻ#r0;b@,vk*]2||yt$oI"8=|MMJ^ڿ8+>YB͏ڜSҙ+w62ՖU)@aмNWҐ#ڴjH=dɁ1k%-5x6uڂGg@HAꔈf6qSCr> sRl+7֐i2>8_} *Tem)\={Hݕ]3!WdVeHmpޔ֢Hp7"Ѩ#$C\3\8C'[jHZvo>ay1:JP"IcI)K*&R+~j4ױ(UtS$kҵVl9 x ~jevK0;d1G?,UЗ (m^'+%(yoWpTih%]1FB3pZiͺkltsNuo.oB06a5bT_%UHuW=uXzs竉&0 raVM5ڲ \ ܠjb!Jy&ӾXr(JxR-b5#W<FDFϱ#Ed43bD@0ٴZ/@\rlB+7դ}'$b]f>4=/X%liĶ@wazH@y;nd)Pghk٩>y_Q%TEF.7/J @c\y*,xڑŇgP'Z:Aۈ?nItRF.V-V5a裮NX)yиCůĒnx`ub&`K˅w5j vFkItV?иU^1, yg嬹K֠?O+R@jcޥ{v{QCDj'oؗ3)3rp!J=zAKR=g]G갎Zݼb2֘^Pz rgZO~ն^{>$E&2UK!Ko!FP}`M# k:\7CasJh'dCK-u{a6qI|X,m [~Լ7Jjb{g<">":dm9?ITPHpoN>`o) 4]T), w`/R_ z{ThN5osMߜaԨY+vg)k4cjU  \J yт-W]nROabTLpPM'b9]97;f+UsN{u\QT; h@sz| `{!+j;lMˍ,p}|j=<(oLԯV깉Nc[VIxPŦ]S'Cg1#srYJkHz+*A t'h?cޡ& M. mhZp6 Dkj9L&/G,$fn!ҧV71%FaJ Ҵh  I^zBUPy.Y+y2wPmנYF7.`VѵWyk_j{-YNjJ< ۔Hc6t_4X;ib:>[y;Iè-7kr`O#?&t\HcFpgsHT͊e @kC&;I.=ozqGq&άBȠg_lU"ZI FB@]HQFT* U,R%9gzxrFxuV3a4p BgmSHTqJz-{ӾecT P(W'GY`,qLK&fNTnMI50ie"a1Ě48'kkaclhۘ/czc[DϾoX &ZޏR?/ڰZ1+$[A ]`Yqkϑc٘Ylɏ ïjoYj ٢4ߥX8XgmmtE^~!{Am.ܪQ@'bkQ/ MÜŸ:2%S*N<ߨSrE 0er%L(tT$ΎH{n!v9?P]^qoȎunzaV㊫}~ū7ް[TޣǷ|g@]$\KI.Y)$ERZU$S_삨[?}= `lQ'EFvlR(kXξΦc#g6ӯODw0oƈjҥ|B:ΊLٓRG䅦7Kͬ *X*7(6]#Π/S aNEr£y=B3֋VlvE:սiSCI~1q-JgTCϹ>sԧt6=U6A)bsC~ϧ`ɕ*v*TwoŔ"rj`#G ףĐ уG񩈩ds ("%y-]jzMt;GˡG9F$G֓zެƝ랞hc7֥;# kϏ)kAȒL{ק&] z^ %1S/yM8 ZM[|Ţތ<#}HA+g-==" N=<8$Pؙ͛,in ]L= Čuh }̣y@1\g Ϧ==T xDZh4UEnj[@x۹BB4(q8xGRCMs@Lqh/J&+yL&^u,OҬ%uUS[㧻!u:N&M%.w`Op!@gagѧ%:Unf8 %}xPeh,8j*x5S鋩5`r FtID=ّ>Ƕ:$JjFQفO vPOָO\7/dfJbat/XAu&YmE1Lk G#S_ Χ%<;fZi&OYɚcgk$Va|ȶ_lL{pwIqM>_7-E}V>j{,r#mVQI(c{Le(2bCS*I7(|I| H9juaiBȒcf[A.170e ҾU3YCT*ᲂ ˕etnǫl1wfiDmǵ2 de \a6Tj?kh)b?7SqfD7 )h-??cG\K.6d?y3|4D{ Xl&,kv(ӈW1C/m vo˯B )c// !;k̦I,[q%T;;/g%bDegՑ%A_En=V>D{kA!Qft׸1ʳ\04(nWr+ѹ4 xǀܑs>\cuh؟9>2sI+F$opǟcNɷ/l,/ޭQ3=!𙋍7jhvPMj*rUuJK Le LѴem;tNrWmNnQ*l%k 拓c1XR@=dh!L:S\i+l 7@`Ǵ!Q-'\5Sf[k1YA|L9{2[Ne1m[Id"s̖z3ÓA5F^h^z#7 н_oNB [C#F巣FUSg0:M% }ςjcJcB3AA64xmt@6t]5H롅gCS_;XNFv_K\-TSGV2i*bzߴ>"Nb8̌l(Unm4!L{[kȺ$K,A;9b:^ Pĵ&>2vKg^2(}+QCL5IRE-dJE€>pp~4TgYq7eoHMjfAG/ `"[܎DR㸷248>IMes vnrnU:-ypqFe2 $Ծ[U,>F>`J9-<3ȍS-T?DrxoXa7gxDؕb-QX }`&' מm9(WL[dq *_ >Jq(XE1<0MŻ|~gY5avPj4AҧAH<',{@BRgG ۰$Fc!WXRM6r}1_~J{PPEZP)P稾Cq4sN{P+LHzln:7} D=L'2n1#;_gO`~؈ƣR5=: @d;FLjW]~PǃNs΅P:>u10kҚdWtDЄY#RQ_* 0ZkP*&-Mpuh=(g-l&|ݲ3.U"|` cJƙW$2f ڬSā|xXGAb|Gd́=Rlxt[0Zw˙K2`o *kF%Bz~XICiD\n&iFڬ؊T9D1VȪ7n,LP5h5~>Qrmo,i~?W[hI ;TeSaWw"8H!dJJ@Ѡte؃GV5@|\Z\'ys7iH IYBC' w-imV-tB2"bVh2O- { 0.e`<̴yj-V@1o[@?k-[ HAwE(RAN:>9Re| ~OjȄϘC_ ߱gYZ87483c9f23a71578518997e941a715d96c2dc80a7d1dbd56b7ae23b5a955bd6c5743b21383ee1393 fb3f0a8308eeb92bd5e73d9ddc23c4d0ea3cb1c5 80d2a3d13777e73966fba7ff54450737db51faf8