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 ee1z4,\ ] HOL-Corec_Examples:threads=6elapsed=157.363cpu=517.672gc=86.8047zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7 }?LU‡Uǜã 4^]^NQ/4p6p`Po,dB\M"L>H[{ˆ7TYm';!_H~j2=QL -b':qGL_`iRtaW̽HZ-ɧk݂_ sF.hXp|y;z6a|?&@)86=wn&oV^h.yf݆uX~nX>$lDhc+7HxL/u;{Tx$.Ax{8HalwwNvX1bžue q:)͑PpOXH4PnsD {X;`X1Gf6]GRtK~es6hQ0[*P6ݎ j > {Iҝ,=N - 1= mq K6j <vaboEW9rc+xd6+?Y23心ڙ!tX+lpGvqh{N?>Z?@~bqF8XZFaX1lQ^Ư=u˹⚊ h0ȼo g;(&+<ǐTVyH&mcz^yW!IQw A?~;3p.#=_5[*v)AkwilI&&xo~TٴȢY:fhχvgxHP-Tka*iVPDW]1oQ5cMA \m6AHizH Go2uX žj[ҍ=D*>OTf.8Z,S+%փ!GG/& *فs<;iDrNO$u 9G]ˍ4k>5NLh׀YJݬ:%U]Aw̒PbQAKa4~Qmrk\6LūzË e4 zaRcNڿqF:POe/bvٚ#~⻽֏ZL6wRa8 `6лN/KY ߗUXR76$kXޒq*Qwo8D Orv; =tص!d'r9 hƸ%B˕YPs$W="`>8,K[ %$IHz'i0rșsK ],CN7zDw*N fg S ڢn R3{[O|>wLjli-$=,GR7%*,L'u tdfiRhSToifcXI>B4DKV${)b% V ͉!QN9JK&"}ڝ>j9]wqZ͊8U(} \&tОVa3CaZU:dt:)A[1͹e(wlP R48-u'o~Z{i(r9; ]0=Ow-vB =Jȩ'Pߪٮ3.LJk䅺 $t2M iqH^m~ RQ3ʋjȩu >"HuK*- αBVخ/}G&WTX1.c~w$ּ_2(p(v]G^_ǑKt݋Pw|Ξ/vXqcd|D?bRk(]>Cv׊mc } VضIL<6r&$y`}<2jnO Sw/58:*#pR gl y@}Vos LvfڃPgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩȉs/Ѩu[au>f [5&1E?\bf]v7BYm/L7!kyZ/RbsȦx.^PLǧ[ kE?! d/aYq ~s"K:~gۦWc`#< [I2& J`GGϧaG]z(^7p,$X԰U~AR<̳ZSw< 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]<9Q3P2M/L.E,A$=#6!5 21*)&!    & NhH  J ^ w : Tn) 3f!HY; H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0F1O'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,?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/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_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_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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.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.tex%I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id    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_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  覱gYZj 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  } p1A5 \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_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=(skHKB8j39ogYZ 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 E  SEF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id542 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\y.6iqRՒ`h eY[4wRdqR "vDPt % 65cQs- J } 9:Y Îtn@ W6ϚBf.(jwYAr[gh`b+#s-<Wo T] SbM eSԌFN?I}F3r8pT8xGyV0ϮpC5+ ȸ11A2FՏ֛2I!{݃XҩDQ0HEXӒqS'[GҦ:yEpnF1);\IX|F1"6}1dhw#]M Wl)T!_@EC &^HKLJ#yh|;3ROn=+?{=ŦQTS%.+qZ%[TVmնd)d %'fiW HZgYZ+1I# \HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|A0:>LM2SqȨN}]T^|])<4uWnx1-T%L &R,^"NnT+tLSM~]BJ+yt s'n#&">Gv$H]5BVC>%E@%KBPB~qj68H~np`AHɈp^~He$aOjBۙ>,[oʠG,1X)k~^;V:{B|"LbV:kD9Z-dn[Lչ3@T-B1[ץ^N%׬PYF|P~]bKw[Rl'v|o7/DwE*Hm !#*JCϽ٪; iJOC>}dQ_m b@'#o&n1&lJ߶(M;2ՁCZ5Z UrSMΘgIF鏴 $#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#!\ ~gqBM\腯s{ 5D\ p]>&j7#l0-6Dۏnxj;c.퓙4O U{V{*ߏTf6h ͖]28;JG+xaoٽ˿Z &i͍&eW}T4G4O? 3lc*&EzD7BL ȸzF?ߢHIM8 8o%S}ӎwc #0q){j}-l|7nAe-*I: 'RSi]: RTRf,ˀa〄i`[lZ|`b4hݍB!'?0|5xe=$`du-ϥIJ,^0n67}H$*rwB)uxlIUa-'4;&q='bkBܮ KZ` XKsEq Vz6 Us`m"a+ €ț< 8}h(mRJ'R͋C1+GgUbs3 QiX4q-gF\ )v )4`o#ksԴM:}19$@fi^WgTLBe _'h8;~oc9 %*/=b^ȩX3Ǹ3=/ wZԶҫ } ʒO"Y:WX3i$n~]N3ժ|d۷iE/Ca1eAQ$&#+8n-Kșś9)IqDbUxZ(ldI79i[}[qti !>_NٛÓ$y "xBi G]c|Ě]FN>xµp $k>R_ٽDDFf<ұyTKef'oyǚp#5tEr֘,srNGpYM)4`*ɂ݊#3 mɸbd a8Ȑ(pzkm }ckrom2{Ae6+z@&*Ay<\?z"9aXMA2*i ܹ+@"l dBή7 mU.ɱLK)m,$Y?14RFmZuy޷n/n_1{/Wt>.NʭsYz4>oQQ׉#]< tZ Ux:Iqką)q[/!oQ2XEմ\]h1R*SHS-!N0_%"#b4Th>%4Y MÃ%7l*N[FLjo"v1DŽ3j!Ex%(6Ȅ+.ۘp\D|0O^/Ӟ"2/]|G;u=XFK(^mBLIׯA1.,('1&ssRsdQM ERڛN:GjG(\YYis'q=]UTAJoE@{>Կ Jcaw/+uH߾iuscT JYq ,![-X p&|O2k/ +uA!t,Kjcp* xlGK^])ا<+ 䕶Yj6&2飖ϱ#zd|[ #ktcQvB coQviG-ݿ~52iwX \{mn ss1!VcQq<&蛌Ooˈ5dY\ μ:rms5s0#QETz1}Y6f@'Rj6L^g\,!OZk6ƉS ofLӭy. QVE pol4# )J9>,!uWG3tZI4]KjL ~6H/m`Sf MbQ~Ju:; ÇdxS,ϛo{/Ў3LƵxCNfnw mOfuO;,풵۶1bV+WigĔ3G_`8Nr}\UDQw~su%3 TR>Aa{[d9@Tm-XWc>8QهKX RZFjh<*9pܒX}ߥz)z%4Z ޕYvT{ IK^q;%% \R ~׮@y$Oȁky'@D4q?Z1ׄwIaxI ߎ }[2x+As‡@(G?XHP5R'Cm)H/0/sChHPs@de$r(Zt>"q|{fDLK%7:{ Eԋ&MW9Ȗ3Vv#'J"҃$j~éRgi*J*}hͻ3O! Ifm(]11U6K97V3csf/6sBm)h-5[ ŕGL*pPp4zé^\40iv@36(Gc]M༕0[Lh%ЊpMl+3MgK7 s("2^ݰePz`lϪtT7"t#sBEPu?M`s/q3빾t*߿c#2^?>hܟQ<EXVux]D9R4`S@$A =џC(*9:yN",=*(wj{!DC}xX,HqrEkZL):0GG'Z&+YREDRFlvγ+AUAa`πG!/պkrA԰ZgJ #&Y ˪ tC /Bw q-E#lsXFK`1Gy+r7k-m+>Ly_8=(»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y HQPJP4qa ]CNBW"OVlJ02ў0ʐ<ͧL/}*9%E`WrɉЌ֭/UA_q&\A~ T@)kӛF+0JisӜ`$XkL?iq"0xUl2@67S*aTZ@^`WAbd4Aa5Ü^Ys /'loo)镍blt&8O%p7\H #t3]Ȳ}}Y\r-p_XhY3iek dg5+/1˂Y \%{KWs+(_7\YޚnŔR DHQgl0,O!3ZhX8xfإS=6_1fL om,:As*탧Ky]^̷]_~|]=ƆB"g9yO6Mu8?gI9)B^jn*ƜkPzKtl?icx3YKTkvؒjݗ uN[Fscp) PŦ L`lB7GI}k\C`oiPީr jNG'+ ;rw EG )gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyicZ?8Ϥ]D,]X? }bU:@plS,kSpnP+ "WP=4f[Vo6m"#=O$$}9ݼF4ퟣ xwL@u%`$SFb hƻt6;hcd~q~뜩&R]CөPO jk;4E\>i)GT !qRf]Gk;092jiΓ.cg03̎K.̻AC~|' 9PZMmZCE"aYt7<~KM2ͫ)̭渰3OT-[jυ{-qXߝݶt 6!Sdm`&ʒ,eIh2.<{F[pB+gSM䒯b_!D?Whr#7*ΑawoSzUYGx4x5JE;I0<O]^:&o!k׿d}/9-pw,4c괹A~pzMV,ze:$YٖB?wUFv0aF8}A_+[jz*\pFwK] Rd_DOGB8&T^`a\_A;O5L/k;٬-=Aх{!C3q} 碥,qZj_;ċuʠZV~Pj~iXYO(XcݤלLw!\?',(P5Wߪ]kG%;?am:°ew-2͙!$AVO4Q/%h)EAZgV31*[EUi]|$_uaمʕSb^rƧScrD8Ql0"moOG"=p ׾VH"B0rH0_+Q羳^m^J}opSDIS6^4%@jP߻GVTݡ8X~_߽jUW[ez# Ti!2\iLr236V18TJtfXO| dHֵzn*ؼ2t7#16  bh$oY\`>p "\-3Jv:ׇ%Ѹ1?$$eplSeLs 3̫@`PZp[~oHi-H#YxÆ@Jf)25FA ]!)jK rUD+cJԈhj^>,Xe& F䢰ʳ1atc+EϞ eHiaMEjcBgsb6`ZbR( ?"@{9VH˲@8fAll[hwv +|[5`{`&5ڬЛ*lRA@-eb}նL@]ٿɝ4GxZ.a1nD"9j s~N$w0`svj^'#%4{ԑZօlgޏaGI?yyW^2}>ArO|E=ԟZs_wlPn1ϒ0#%[P$1-|+ px&myvB\>U6JDlKÉ|g1rzW]յZC% .Qzɔ9yCv"_AEV@U >-p"`H~Lc1sjĤq&KGE,+?GF̕#DNPjtO]/ 'iUE\~*;[=bzAη-ynMXG &DA{3C{F̙ZO6~u BFTaX{3+̏ozBINSgyhgIٰ_B(ӝ J?I?݉/6suǟ{V磁\ZN7G43eaV 2>['p:e[/QXK3#X6l2 #YnXE\cܞ z`M_C3pIhZ?e&XDc87zcscJZG _ (^8 $_O tVX.T'9Nd$r5> 1`7+tY𵵊{w hIŇM/zn0u5Kf~C{̡ :ĉaF"S\1b.nńyU꾵LJ\ pv=PS/ou$ ffy Yx12%j^a-N_O#RGQId/6m5G? (LySwmMNv٫PV% P a|[0n N>Qiviq(r2|a_xlڴ$^P7 Qg<:˧q^"Tr#Eo~{Nd!f]Rd`g48\Tc3u(5a>_9r$Mzxi+Gsˇ"Zβ;Z'LjoSCK[SRLvw)b otl@V]: kUF-IEuvEt7 nr>OTT3;j d 4|$.8onŔF㶲NiccGa{Mh2ȿ6d&ǰ~a~\I4 EY\TvEiIt"gBcP -= H ] b^ED5l luS-99Տ$gYZ 21O# dHOL-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?ˆ@'']*A"]>+e7W*wDx)C[=c[hUL/ Vo dpÎ⋳][U--Zd1 |{(# \|q_G\Wȼhkxd&u"jRD-Ӄhg@#ougl Bfs>|oKWgeJ"|%Y+cg.Pٵሓ,!Y_د&Z7KX/KP}k)= JQDeMXhݖ9`3'KswS}-|r\wхȶWvaO@L6WLt퐌 %oI7Oq׎՗4bִDe L;c PnglTB<Om qg_eʤט1 $""ۏ;DOsLԳuh}mSyؗG3VY(f3fPnh#b쇉(EՍ<1P;޷:T,@, 1~R _qpruAk/F*Z)\͵Qo2a E19zɄi>kڞ\f ʪ.ߡ;igEr}+Qi9qX@rXa|d: εxBze~ *,!99Au9 `n>wDCigcb?ʅ}nHln D TEQR. IAo} DQ;=jMGHJfQ5P̽Rs3M*T,e߾>͊ib*3 O-c\~~Ff˻#saq _8=E?b^2Dbʃ}ۖa1Ⱥ]x,R+Ko۔ kR̵OG:8I܌tF\f>t #]lҎodW4)DbX&SCF7D+@&=a([&Đ.%cqRg!R/.Ϙg:M}U{sczD]y@}ņ.\ڟ`:mPN#tY $yC ~5ۮ]^JUggR>,+ ]*>>`NtҁꏤfoU!ٺy*2G8;'MƶH me$dAPO{7c` ay .K $~zT^mf]v@ٻXw 7&pHEbY+`>1nGP4oce%qc۴m>Dᅘci꒜MAsZiH[/ pۙHo۠*>o>οg"o^4sb t+pmJ.>n%Yh+9ez}UYc3rrqJٌJ<:{BFm#w{#s$o7[UfӓL*MɀhYF݅esuʧ5d5"y^Y|ZW]jM9DP6SOUJY*胶fc:l=P 2" ${"e2zFTHxm6q~_yRVR{Csy{LKp}u /ko2R)g'e.R 7ž1zU~ēԩCfq5=_dQVr3,nSjSDpVjE*$GLbu)ïޡ*;|i{iΔ[־K45X8۔AgG yxor`pūd$všt-^}ք&lbD4T0֠)=~] Ҽb:a: NCQ&>;El{bpmχ_QR3_4 WcπZ`O_aZ4bTh|hB>lmO1&n†": a_$ .hD=6fXb`۝.!4σ0ݎ،$bZRx#~I. S3眥sMIhl/9t~Hu0Aisk$͆1RclK[~ue>B۶_cՌԀ+daY8̆35Aaࣵ#;mOQ5tR})<3ܫI0E#X;dβpbe"L G q " VGF!1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530D 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w;]D?7 {?:fH\zB/W@b\_ Ж.tU;XWNi'dPt1,;j})}HU[VϜz6Wa &]yS& Sg'6I9RW":PUĢ/FD1jS]ؠt ^!flɐn;uiQ`/n[^dNI|5?<hbQ!TkiNzt,QPڥ*>>o[#Α9(Ix4%5JѶ7m#K͚+̷^U~zKY ˣ7"G:<NSK2C{cfEG}i:>hoEZg:y >2_~5wdٚn3֘VG[ j9<*?.4j3. CCùS=:W;СGo䚫'NF [%J99M%r%ZD ep\BqJe J Qs,x O'uVkjRKYm>^\ <#UDgZ[t \IEfq*nx4[6!^gZ1ygڿM^rVU8V[=x'" O{sF@cHEVoBeJk DFۍy"ц^f+jGHs':Q"mh2f c8U4 |q̛(Gڬd/C5M{ 3m9 $bDY%W.d ;*fqdk,?<[Zʄ5NKaIe@H^ĶG7舎z+6܄*]֠1Z2gjVt):}{;ͺj0ӞZm0*FC[G,\9rX#4G k+Wo8%zJoQ*.XT̏_NM<;hi3+_GX UH$gYZK 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWjc$1 }UdoUZI+}#BJ6hцۦm VX]M.~IWi\b0/ܟ5C Ǐ/?p *yA0]|9cxֲvII_N%:q8\_2/] v7kq`On}_85UNX<+Iw:OݵV߅BJ('hj.K8s'Eab˵.!Lirji4"450Lpx@01Ƣ3y6I@Q3~'fÉ*56j^ n2+$VR2ig(=:i+V e$X(?yv*Y-%F99f>+lxlgEWAzo}: #I0y3=ޱb1=觳~zH96|Z]*0.d=җڃyXJpXC ?GLsYp1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id526 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\y.xjyW3i2ڋ /0 rqrԿt$we)ET-d5*pBipaG >r")8*;/T(LG(?n٫IRt[$>Wy/LYT}r˞EI,7ڰ{kbG-S/`&/= *4 @5C {gp/vmV*#x!2 %1ٖMCl}DK=&KmC5+Pg* wIbF꟧ zz"ھœiMl ܤRV4ӭĖ7[X1zCbZMp>ԗ%C}?.C7bͮM,b/}cI뱇í=6\n+6dWJ3ƙšk9")ä?K4'IlBiZ0qfSi @_GUEvuBX(м/X{6M#o+j'QdUP BNNmFy^e!Vs /?(+ : QJ̷cnaW`XT.x4E^.o) MJ}OK$r&M6򣞨p(Czuk_wYm6ޣF{f~4%U6401EN3Vo!Ղ}BGRdʸ+ /{i:\'P{1)ZO#LR}>u A,fˢ6^##A&Qڥ*-Fx4XrɱEHV5&E} PrQ|~X`%R`i^0bG- m(Hن]g 0a *fw wW$K6;<|v!Љ$]PHP^)b/YgYZ1}>uB?m~ (i0$p7e.Y'.B_(4<ل}zYH|g)~śI|7)iޱa׋;bэj,\)qoT4S:kC0dSo Ӌיs;q)NCw]Y h;I03քAbȃUAs[@2 EaÐ~&\5Y_LA138 op߀|B|0Jpޘkf"clAZ;lF,*Ywp^ D7x6-6s_*F&E:ۡ$Ϭ&%PJ Ki_+"uD\EfapEz vÒ/zf_!!,%8+U2҅7αZdF5XtZm| J$ fj5gh'"MJykjN%،RfP~j1hk!@z!4[_L A$MW5s$1a-@ѼC].mvѣnc>c-)RWPkʶwdRoFP<7>BJw"ڒ!HDP9b>њB6{9z[dPJ^eFC:JCg%Rvm1[PPT1-|]qzp::6; 2?]f=@bgwR.+&<ȆF5u?_DG)|He_B^S#S맄ah肼In_ P`bG(wAy,RHT`4xdiK}5n F~[!!=oA:r-w|MW[l%]n1GuIŊ (xK? v*-?=@/k(h]ג&q1F%9mexoL\xH8{ !Tz BQ`2I[ bŌ[ ΅C;~ gt %Bo%JEn!`yǥߣT|,قn?[e vuk]!8(~tĊ13?dFo_7"/x$= vW@DqgL ƃG@S?hP鑫*]ub-?z#kʮeE.k&V`:ps)t=x~e6FD&iSܳuSDq#L~42Wk_z Wyo|f̨ ~Z VcGUr*ѩͣiOHO\{YqLwR[yX 9X1?'\x!yXQ,!-uQ"؊#igYBq HLY) 2oW~Lq܍"j5 #I#rNE8rβ*E)y g(qh.ijZ5m-@@r^Rŋ+ږkq2|>0?L ~C{G@n0rvKr::(ӄ"ґd^̴5֫2B FA_15ǃ9YÖ6C[0֦ *3)Jv?s?>a?Λ707U鎘UqVs"g6T5Q#xaXƌA!gU^.Qn(?9Fǣ/#vPN'[6-LI:,\>( q>r<Z(޿\Q:]h*u "䰛-V.T,;EIo{P7҈T@YwA6+Ĭ7o |B;KUK*L虝in͢x5œXR.w|#oUB3Uڕ0-k v-70V5+U@ "1ӚMkD3V#+OrRrXI44{P,eV# SB6.5Xv1n"Ż\&|Fv+h h5pU B7r>*po>4i-ң9&<n?: Ǫ 7£; 6TR HfX}9]to䨡UJQ ;0q$AtrȂ)u6gsEޤ0A&ɻCoF_9+"( #72cêsâ[3z.?/ n/?$〃d@ڊ.VYh(9pӪ8LZ烀2a0QAFFiFOUS< 9A0h.HCD0WUGA՛J1XYFN*N䦾tLH-d4EPMؽU0.(TC BU[t?6$~ 36`V$1yb3UnєJrQ-0CaD0!iNT֞E+OJj Df8n~D”.e l; `#!vllgrIѢX(GKޝ!8+U1?8OüѤҎj 8ej:y#$ȴvMwAج4?UnuFMXۃ:+0&9EUYl*6gyGyH1!2Ff* A."CL&7>hh=4ġBA&~y5/'+^wů:bD2@[=Һ@!;3_qͫXs⼧dS=#ɇ`!I$&]HvUTː(oA0rmn%ldB׹~MmýLa }߫SXw >\'{Վ:WeJjA6!O'{@U_fN# 5hO`[jt$o-%uFMqP0.I=:'uί'ex]d{* t:S٩xPATMd,] pp8RGα}عn*Bm^9' =Opj<3Æ~kZ4nEUINpNU/?<ʥ *XV-x_t+[ݩU(,O;TEIưiܛ`LЕ ,N_4!|YgF2Z0%g)P3IPuT[HUcb\q%L}hᆱIZYg\14Mk@X׆ x[Aps9 ؕ&&tKBHRyݭ"54 vJq F70Xe|0f^U "ضj*_)~N :('!Z):Ь ڙ㧥AQް*F;xQ- l uZ[Y _g(-FBf-̢Opg'"&X( =0f LO Csmq}rtIdX/Q'l[`g&ً2{Bs1}۪ M'/k4 iO[.n'R{C?+Ӻ^Jy?ib[m\hr a]ѵ5"@IeU* +U,8:YFh;+5W1NyloC:?L Vz ;(%\-d.e;ن2v|+E훪ϓ&A+p̓uz}Z|Cߗ)3A 5Msyh#kenx0%/fP]^*Ѕg@E7P2|4Rl`Al+3b t$.I hw}O'S (b2HVE*x[̾ ^X9Z7-PI`‰n(#U!OWvwfNPKԭ[f9L ٕ4guDE(\UP3tX>vFN^;q>Yv$ ٧kw=$':77qDLw)ŞbjD(yFcˈױzH:(YY2Ex6Pq '[6r24q;`?<0$ӊO}q&*nFEee.7/}_?u $bކZԔȳ8aS؄;fXz.Xcz}|P;/`.Za|V}^},Yk8AWc+r+c=#4)tnN0u::7DWʨ,bx{َ=;M&5]9wd Eʪ2NlGX? f5_dۆ9 f?8z0YnA2^u)g_:>J'>͗ AMa=oW[zqU5ٗ]1-pU"eO_U+@<>eBV+B_n{Z᧎oCq޽*A noXN*&J%Dީ鴎ݬо9Q EMq0e]$g&H\yH׏#~nz͔Ap.O9ydۆi7G܆6iIDGFd14{7?E㊫3fd}KS'iOI+(fX>TU+ʘJJ'GQ!D?uNn)مu${=8 x:]@83-QI+\Nk37>.OZALܺ G 4 DQ3p8:󻉽/jW##Ӈ߫Qb/=̞SKȕlq@h+DMaQg}m#Ugaz:k:/3>0T3aS} ſxw22a6kVXT,v0j{M} _- |.;R{n\h18B!WKxZnH҅N@o;shh'{m7X}rSq )sE&=ƶhiys Db8 qºyqJ`ۗlҢ涚Sa?ҳ 6_f㵺YOUYÁnJG'th&b$kd/0d yfD34૆]f.[Sx"IWjB<̡渠{fVjw ^2ɐO%743h/_wͮn2''@/`I?8;)āa&9w_C77d"\;>Z3IۘQ́.Y#Sx.d7'%%]TYop%SMoRsm@Cm`|(#,n6BqNc,svj4p\B mKF ywnlnv2N];TJD/ϧj5#qN; Ɍǔ0(YgFīgj#Z#'PsT&(s՗ʷ3ciAnsche2JOB?[R!Qܠ/8w,x]+|I]AD q,0 54/tEtnx >/d(,xJw0!kFA ;c< avz-?Wu}YKz( G3@IQJN2]@(D2 %\I挗iGNu)RGsKigYZ  `h&1A!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_id540=$1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! :]D?7 {?:fH\3+mACg]ZP~{?ߺƜ}=͋S,t pJg_NzZ=Oc-jT"#[n,^Z?-vū3/ۦ.x7_)Yvt)|SI/x>J_-H1wnc8L-ߔYe?DsF aLb7Zt\#&k-<,%dQEDVGc( *cc1&ThnLNʹ()l7zq+#^g,B8F."J`\ ]oB%eޟǻr7IFȱk/LgYZs#1A# tHOL-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>a_/NQ/DB:{yD$\NtY֌j;`O/r@.k0/%DZE6܈.TSuE)ܷXl@mw)9 y-Jy#r08d #l0>]ڐdQ_x ab-0|\c\|D\Z019l.#6ћeDz'"A jl–Dyr~JdxgPCk}!Kc<5j֛[a{M9xBly 5|M=SaPsdFoVf|2KK"g;$JĦmT@yMd+h-F)u6dCU#hBw' ބȽ0pGA[4m.(}̃I:us0*#yEоl_@[n_7^"zd[/($#z]R_E@E +\ pӲ]Pؗ Zj^xd m<˸;`EYNm{-&l> "TLխV3=u7.5r:7Ub%4C%̜:Q~{y=q S^C Nm1= /K5~!L|ƍ:(^1^S:%X{36n ZcL7q4ᅰb `ty 8VJf)QxvY~rXCJND `LƉjXwXP\K5Ұhkst3Iga/X!k4 ک ̩֚E4 xG2ьkVj7۟96vtٽ+2Jaw|n"Tg |r@RZhtm7j9HllK~T9ŰF{Մ#h n^IXl@Eʔ0%x•{4:;IE0T&`o?ǥ .vhb21Z&Q4-H>$gYZh"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thy  N b)1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF(1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520g'1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#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 &A: 0Bڄ(,:zA+ẆF5C1SKϮ9a z+IiI&>,{J7 /Y~Dmk,B,^}e |1)1U F0y;—"~$)ؑ8?<l u^mgz+)Փ3d܌{5SwW(;5BxGa$q@+[#v(SULK+ ᎔gh7>\it1N s4bs 1kCcE:}ݫ$U;;)tQ_1ʍT( ƪ3QH揫~ cS#2`{\6r'0unuTUV[^a@| }_+gxrI '7qPD&Z Zx ;Mz4s.b:-YxɃo " ' E_&gPJ wbFdd=З#}!mieG3XsGr3oJ#2;m( vv)@˛J:K($L9 ζ1;x Ō qmg=o]Z4&f.âJ}CV|{^!T}o`0 SO7̱gYZ5hxJGުGq)u.Wa ":Q>}@ˎdẄ98K@dDt }w7mE`O✧xM )vKCWRNy )~Ʀd0kYdQ_^s>[5m4>E~hd1UAJp8t~G٘6>y,X0el (:xHTiGSq咓F]<9Ղ̉|٣&[xzwd!_oe,LS{]xPDq}כT˼,+hUğYnNo-uߛIR왨D2&`=cH:UɃ+&uhV%tuhK%4XYkgX 1@ڻء׎q#pqE3 a o9SSἾE uPaGسUpՐ1L ﵒۗ^LC&5VJ)i.2 O24Tl㪛Pt&ߙc"]m`5Eݚ'Fo&{x0l]+[:ۼLW'dYbyAꓞmq +n<'[A KD\c?Ieϵ[ =wNK|-KjbP, D!ZDe8nS`/80D^xt{jt&,Cr?9|iA,rv" m- ^Je)Jm*2U9_\wId[w8QK "o)9*e[ݿf%H=]UOFHw+!(f?0Guؽ-c?sޤL Ӷ0 GJzhWlܡܗqͪG)J6e 8B@F6Xyyq<ڏ0f1iM;`YO y¼Qgjnxx>Ydz;:ic*_Ɲoa,dsA%R[#S{3fVn3=(39qz)3cPbv}ҽX "z$p i.o[-F%*a _  P:|GMRn,0aұlҺ/J7QtNo{%ϳ wvQBB]b?utB6zw:W|PMia=M1$8~'63ԋV׋\KDo>xMG8RV,ܯ[,`n]O7'o*/*e/h*Pٗ+F>(;{_FOxZjӜ8TIA6/0ЌCӘwk 0l\|:ҍN\wx}Tm~MՠM^T!EKVKR$^`ʫEVFs%:n t⠓FV\j)}dx bCU]dn2?0xTס5v+]$Nm^φ9CUN5f u~Z(3^#TiX) l.S܍L F*|js{Oz0Dۤ0NmJřuL;[DIU aK"a:҂#e&4 (esgOEWvMI쩀2T@f7c%o S!!;,4T2B0Ya*s|bg!ZpA oV["5};UX>imNGmΡadi\9+8: .}50>w){O+?Eqͪ$YH߀?j(ocđMs^*:D=EP䷲,̃h^c[jۄtv!m EHm\OW`JڬpYttqrJ *HhL{VfCCD8I^ev&q#HΟy]v'm.]J 7ҢO4`խh$n~oS6FkJ6nu]Ae z69O1B)}O5+I 64'VWb@^Ucկh:?ahE?XCd"}C/r;,ZH _y]R%P\ k&٢P +UM>^r#\_( ~jo"+q4W+:6%m&lA] NYcɭ־ɕ%c(;lczWrI4x/#S.%9@+SufHx r<,{_Kե\*o b@#CB; O6gw8%Z(U~3f?dۏҦqh52!A`4e܇{Mƴ#mŔyY!'SG~Jf>U`d+J8'DsB'V`5:\}|bv;uIO, 6i)0Pzƚxwjr=U:L&Jo F(- %<ݑ>h}bX=TZ"{k:hb~`as Ncj̬t51AY?du2!rCdn6C,mh %l/J|m*'2?7O-e|fN5#Wg2Y%Awz=>ȵ&_ xqPfuj~Rx*iw¤V"ّ9ފ3Z'h\cX@*ժVL7xwব_4dPy1y+7GC}Um}z'Ax܌'"Y\@- e :4~ۢrÚOG3 簡Q~xN!.@=AYgd+ۥUMʆGN+w|}PH`@DC4rRCP;k/]QnbM)[nq!8eB>2$VW&#G  XZwGO'dmXc'k,OrA8UƈrcfKDtbVj&bhjp%X8/P ʛ*{7i /oT% /`rd.u,zmCPgGTHo>q,  Y/d"I8G,A*  aKaQDb[_7š~P@k66FQij3rgBrK&\u?#*vJTaf6_ fCq@牤":?6όOS<q qY-PTenWG00,c|ޯ@P* w$1kh~_=%v}~un;x97,ݮ2[{jۚ=>  פP4&dNzpIRn8jǍ{ #Sjh>c؉)Aȝ##wZk:b:h)BكeqR'b7ApOgy"uɃSoqEtr$7܂`ǸDtN<}kq`<eR1ޘ&Igln,n /g<*,%IqE2'x"wd?kE>ӠkHK̝~'ŏ^4O&TF'] 0?I`RN6=4r4Pd5Rwu#k _ uyC^f~7NxKY&oO*ƾ˦&o@UzKmn x p๘N e[7R68e]2hvH%&.G4j5)dV /wXe%\' AƘDWN}XMa{̣J}4.9=*zՅ^5܍]bQ.oC\t{X85!XDt| ̛ȕ&[ũ31b)vAA)] ?qaM" T/ǀ$a`ȋ2= C8 61JaeD D >HIdvf@TТ޵]/k2 |T[f\D7\_m䉪uzPh.(5ؤWWK KB-@0;ҋīܗz`w^##`rҦo+`9l<Ư&?чV ΈsTێEd8)RMt5t/1>XpxQII8h[Zɣ[?G+gXXx UkPP.Q/HAFoC:+r _ߚK3))K)]]:6N&m)<ì7DD$rۃ덤1wvXďV-Ok`/xz~eƃXr5Aɷ'%wũR%_;C/k@r2l~ՐFlku !F9^R waFپ? $ʳUUNeV=yRaDnK.7Ѥ$,+RNؕmCHDw u1uLQ& yGX)0Tt4-Hǡ0u͚ ĶS3I*ҝ3Ks$/}[s_8#h%m3-@}%lCwy`ŝob:jfB2)<[w :A+VlPa5$l25d}G[<6»ޫ>) mا; ]12p8{PEҞB'bݻ(iPd1F u_Wx%ђxc9F'gb2KbٯUc Rو+ԇQѳ y=i 0k@E.g$]#k'[6`n :mf7B=wz{dH`GɎ%T뻠+sI8-x!iXós٘N^\c0s~> G%(86FԢy~3]BW3n"H&2!U%Jȓ;FԂ z4a+>TwT}6ItAFn=+}ouQDZ<& 5~?2n ̆Zl1? Ru I{BgYZ*LTϧAo:msO0JKݸ‱t+|bH\!ϓ"sjSTaʭ"p:oK 匈ZH z=YU{PASUAZ:$x;jrv'ˤ|'̷pɊg"p…li=W9RI@zҚ@R(3]$");=\17|$wCrL♦5v%]=MaJBa. UD\) 'A!-nN6{cMT9N\z kB~A(yG&QBִ4t5GvH=c2Y)#A Ղpg(ڑ"Օ ;Tam\S5 ^r^;`$hУe$^즏TE'Gǣv}|cM% 9p.Bo^HS2dvȋ:x l5IpJ98S"^1}"A ŕH5y򭟙QǍ'X0o/UP7FE$#t^vS.xYɂXՙaѾ#b~Z!5U?ʤfsij0(ϰO(, Xi::F!`Fy$*F)nuA&Վ_Ŧu@Txm5;WSiX!T} ;8eWdrJIc4_p/G󜇘EH\_ rU<.=YJ_3IGZ;ѯ%s".R96 c'e?Vy3-5n i+.Y%TA]/}aaϔjAF`<1Bat=tC@0^i]튕1%" 6i_Bn43ڊ“b{xs$3)T֙7aET0bH Q>c8Bx=Iq)(8`MZAhr#>Ơ p#3L)HýyudP qFLmUo%pU:pxA9L.K%$l4 6%lw"&vo5KIlX(,ȧ+8UR: [hldL[W.rup=xc+MoHw1)ɎB {, 7zȦRl\b%Cj#m +D8>dxK]p}+h \~@"rA9P$5H6x{sg1623^|{YC8j@^G~U }-LȈ¶ |ynLn[_}^o5't%L"0seᒛ s9U&1^#ZYn"4P?S9Fmd͙rԳg3K4i3unzEi-DTtf%*eM eѤNh@?]lW]ekePc Dw>Z3uI=jˆͱ8 NfYBZiT 5;QeR4?<8DP‡*!0gYZ v21O# lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! n]ˠ)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 nxqriUĿय׋3s:Qvy\ bg&_$ nrj'ŵ5g-) .$m wV'Ԩƌl㥱C:|YTef!cv `֚2p{P|HYle\D;$? &= @ )ZT/}92rGčTLGJ}l2\M9s4dsO`f2oLCx~ꋽ7<`3[A^MIv&nFU\p,›  k)6` Ky( L.FvYJwI:$i^WvAr6gS@תj ")r&!@mXr1!.RB>&/WFT/L5 qi)^ J Bx:)q#3~:OEĂgE%;L17k=1Wgu8 A' sSyY V5De.Q*g-5[}2 Kx$ RˊRA5]O_Tviȼ{( iIJxڋ~v<A*R~q )aXpj+&1whw{Z{rϙIzi"Qk6t`)&"D'{rR{O~01 kEVMlz(VN=Ltn!},u΃ޚ.0<}Kl<6]ѫ*SUes{fX 94Eg$UNiz:[n nzd EiG`gopU,ű~JJ`_Si/sأzK+yº>U)+.ARr UWT.#)ЫJԫ"O3>%{7!6o#& ~MDѰz8)-/쮵SޫJ%ƸجNHQyk{6A!NZA)+ 3;6b+Hrf^?hG(8'26j-}Ր*$qƩf6pJ11-Qծk8(wQB@/ zOH4bcؙ䪁|c~ *!]i$|Nͺ?Зo~ẖk')#pD͢S@'euK@zL-w6mr\R$ wD {P?~X-vfR|BRKsOub'ԴҐ7I;keg42pB\Ur%GбӒ'WT6G5a':bx@1.d]o~g|օgDR@ð1}MNgZܓsDs_eʥNbF6u,m!Yh2hR@8%wNui}O;9"l?!z]`D1WfϭZt翸>@b^  )c&KgQMmnYuUDO4\ҒA^鲕XI[(wjPHТ(>=} 6.N)pY!Ve^(roia'A5Uۺ*< g.)Ch0ĴwOXN4q,ST_!w!3(ZWZvZ 2㼀-Bc8VƚPv{`0Kl]Oo: `j+= m Q%[b! 0=Ƴִu,zy=ˎV^]F?:[2\7Em> 0I$8##9} K`a*|pfjU3wb*G=s?4hj@+"A n :^h]àٞ[}`eRiNH4LZ-xLXEs2xVYsl_؄: F]"&&"H06)R~S1h]U612O0ƐmWN5qz[,d-ڒ,mzmQP$lP$ p{&5b{I ZY!3FRޓT!m>%SaLfaeY~5k,64f9;׵" >BȀ3.$۫tKMۖCs7uتOꔯ#k!|LJ??gYZ   t51S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO41S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524$31O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\:a?$#do.n |F_M0ua#z#BU4_^$xH,8‹xQG/䗨[Lta(YvQa$G'0|x|?2mX-T07͗î̾ kU}R#;PX}>Ƀw=T"z%|!l{蓺:qOQ?yb6_1+ԕ)!9Il \-XZ[CݭiLa4VQr!_ 6>YTz2j@&,pdE$A7f>aga {^R+tUfjJz{ A9,"Cr5Rcr?vwA|nsqĶl"KM6b5{(@!'x1` Mwj ě赉KNCdhD0 GeXKs1梞Ѵ'9ߥ'UO." Ln!!m ~n{G.av]Օ̾\${&WD+s4b5=\?w`*͏h<ƅX ǎЂ,9`EZk*H^W1Fo4r4l/lŮ쎗,Sݷo;p/-hwγ'80'h]E`B_7~sB#kzXq~ihW 0^#?H f\z9`cWc8L字{uOIU :tF8^ GfrΚb:!v]?^OwX4[DBP-dCx=&9z7(pa#eE~e>9r+JQuΜk5Ząj#y~\G01e~}xH7њ}/DQ& >?|b@-P/ ]ě/9ddm6$x(-3&\'o!17W鯘z?G=,1 fؗ*nrfDN4P0J }xH蘸ɲe음7[4N_?:{B0a0 רCHQȤTzz;?b_JAgbվm)9k&IOuiͩl:ƅ S+ClfS{leGD{1?d@]+ZPL/Q<`GL(3.\/R1K2y(ސ|p=jive, pjRp~"AD*1A,mxhL^|v yc҇G%۹tm Zuv%>F2Ȱhհo@89L7GznOhsy;9.rPlM?Hꁏ >7 O+eŤlgRB~-pL?蹒f : 9לEڙ@ƒxi٧|=^Ł %\j[`Ӻ@m~_|J_2 }ⓠgv ,zLjUui^ {0ߐ[֝u2.}_=rFuqZ$JU ",Ra2OGP_4 .JE?ƅdcwj3ֈ@ zN@=;2 㴧X$YvisUʞ`y&pQgN_6rfpFy;kպwfyI|s) ͘ꄰrs_P3/D\ ̌0F*"*W= 3  ˅%\,Bt3`7|es\~K~qH2ݴmG\->gb?b$Ԫ q{-]?bm0j9kzcdez ]PߙݐuIHs16nRct(Y.`߿EۑBR*LV0KiVt,=\}`O ӊ?;x0av(Qhˆ_ZhO\V`8LT?F8϶SCͶ3cyo=AB_zc'R)H @0T JX+4ĸ.{o 66 K r;Z/Ie~q uU~&zIy %N_ſ6u|g|WܰuH:N!cG0'~IhBYO!0+(XhbNV)Oٌv׸;hy"DgJ )9[{X`VyLcP:xFLdl[)O'[O*Z~rJΆtc"t)#e}Ye!Qn#K8c]u#!&ۄk eG'4֤Q؎.ŗU빽q3`aj|k[V –ci"ݕ^DJ^\Ye?',_ }p%n7ş?8{DNÎ~z3OI2Hw6/^oVLeqvhL1/ꍛt߯dɮ [I*FJ-9gS(vxh>y߉?(ԂPщnPJxqlCYI?m4 hv 4[uRVX4{tGQag]67+1. 9wѤ B U#Qޏ4bt,mْ)Q5Ǒ7@Ԃ⇁&{,S1s1iZ[ WKb@lptI_*+s}c9B@bTbភNBƘ쉾8M*YM#}̯["pGQAY u@DDHFp8`Ung$L"Ŵ5N )q+f6N"t nмŷ tA~[H7< G]<=TkWmzi$*.i~_8/eeA8 0ɱlO=e?|0qE1$|aiK,:H6ЅgYZ 55@61S# |HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! B5]ˠ)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; QÚbju FS4ΚT#%~xH=%7ױq |S[m#0 Z]d kd[|}|JDjXeQY]JܜO*gTkz3%MIGq^ɦ!zɧscOp Y-еg|^#|dLg 2fj4![ nD)WsAI,sPm!ĝ|4R-~IEyrPEu Ⱥ t?JrF9p 25!+,nkuR [nz'0|֢ET'hl eN,+`c$N) *)5-EmX'oal Jr~ǡk؎"O^ggJr{TNǩ|Q/FH\EYFD*p]QTkRI3cɔ%ʧ֑ S+99,!]_%\N/H J-9ez:0c/5ԑ4c -د{KHS K }FٙA7w$cgǐ-+kb!.c6 =\nt }Ǔ_վ . i/ěeCyGq MH`<93ڒuPTu[vǾTK$$;ow-[5<=2!7dr0x[ASm&8GQXMNgHbED:L`5(twG8LDiLb&zW7h=fbj3wcJL) y'pRYL5hp> u@,O}mS'o _O+ZFpUXpL=ry7Zn/`zU Ñ~1ԿQU3m_05XؐHaWvY2m߾Z4Mn קAmj;RǀpR_Y)La Λ-TR\M&P.y'KrYF)wJʹVkzS~j1-qẔ3ÄNtC94.A9z/i6sߏ1v?M73aD>a JavnK_>IFYNK_XƬ?idmm*jwo TEyZm9ml]0)p7L/?.Pe<^ njOPGkmN |:4PdtG{'c1Tcx . fz/c/FKyNgN߉d`I>p|WM{!=EçYQNwMrNŃ]z >(aި*WCI'j@#sl$qlE U#2{p?M(fkJMeӊf i4#j*1|OpKEsrCIWMo"[M=zS~ 2ɹG dއ" S0g*3.(#\`[c@.xM?1,/? Bݎ=SU,;N3ܔ7G43N^q+Ku!]XGYjt {U!k_ߋڇw$v ,vݽ Oޤ_$@SkϥCx՞_8`C.;،FAU phCncBy9jka8܍g$ꙵ"9x)F51-dCs-r*kIlEqf1m7ځ`k<~ *QXCq$H7c|㉄'ko^FDkXBdy*= :->هV"`oΩ̥9\uqe\ ;$|&;'C"  C X n=1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyI<1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532?;1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\3CG\2qSG_fQs{ܘz>KտZq«7="u+~܉Oe~U-aFn%E!%j7Ęao$QYT0]AWT{JxG`K]0ul ü-C'0{W"s($' Piҟj?$oOm#q4+Y[ٍ!Dh6GW[U.4zM-vv(S~Z͏z=Īf~+Pj]WӞ,"MqxGPfS'o] H#2~n-{A;9ː ^bNV;<.kߊ?u*d}@[4S=b=~VQshPUkBq¸~L*ā:rFL'sRm} }IL_ũYcwL[%T$] } /hlEQ@4 l%])1SPrvf<`kؤGŧû%YUYw(L 0nb'#~y*D-({Y;/BT҉^3dH 6urb8q"~?d(0sѤ꺂Tދ|5DAݪ4 Pە)@|A?vop}|3EꓧRs7LW䉾~Cl)<َm/m|ü'g܋d-=3yC MNv % ֮c|UFӆܿH'0]`[̕xPhvk5-]"28H}5K]8^-$_TyG DpZ!Fa "Nj.- ԘdJ;0i-1 q)Ĩ%+RX fR1|4x@j%TM#N #@0^6Պ:2Zrk "lPvUϔjNA-sKv8L+-˟OI$)ehC։KT݂}3= 8pj8jFBI1=̚ FCgYZZ: 1E# g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[,b^'}6+uU]Q͔Rd)>^eܪ=Rh@άyva,~Sʶnq߅_2pDw_ے@e*X:wߓ"xx>daNKnWM."\5#*Ť#xo#A;T6'l91E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyH81E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id536:71S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! -]D?7 {?:fH\z+QڶS;!^VU#W+yY ?GS"!e'j7s\WMsK@IU~Ĝ4H4 {E2--vC}-l_IǕg^{8oW,+ulG238b?p~ $ҷϗ(j/ic̯>i%7c/|ݢsof"~0q%8rch51פ37F,jjoJՉBd! {( IByQ^WuGݠ-"sY⊍1f)JCk_Z T}iAic .kk$LIɋ"IE"FgYZ /M > %# i @ NhH  J ^ w : u7 p/ M x8 Y; <'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages/D1O#HOL-Corec_ExA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messagesR?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markupQ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/filesP?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/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! 3$'HOL-Corec_ExamplesHOL-Corec_ExB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages?@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup>?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files=E1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files9D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id8=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_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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex  CHOL-CI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id@F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex ;HOLC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesAT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex"CHOL-Corec_ExamplesHOL-Corec_B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_idKD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupBF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_idO?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messagesN=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markupM<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesLM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex "Mw0M lM  D \  - Z +gqF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesJD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupIC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesHI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idGB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesF@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupE?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesDE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idCL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'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,X1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup6E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files5K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id4T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup2C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files1I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id0T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'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_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files(qL H4yΞ̑ @ɤ K͂Rdo3ryI"ag[tUF.~QBcq$9ڞ4<},^㯖/ ]XBz'/YpT?>ޥq7O᧦{4X?cByG9WFzk]'WEB{&o*)C=?`b'U^7+pBB]ۣ1g\EE 6i)Ω:ʁkba[R:LXp] YGte;O|^hMr;WQa^ؖ,mgB)sNk<&j,HiV'3;’TX12]e~sM&n\) ;~4gR1Jxnya7 esrfgY𡞝.ǫ c3t4`BX{L~vQA:09d(] ;!EϠ} Uάxv?FiJ9+O"C,'~QpĐ-7u:sʉy-bZʚ9&(W==Rɟm2X℧mK<dP nBtLI*tdBJ/]ITš+^ KG]hOltT1`>Jyp]~GOC44c|Ix$2 :á5?|-1}6N/Bseל%tU)ߠ0-STf#x5EE 1d' "]|,*;2$,gG+ ɼM$z 8\7bx7H5*wL D#q;erΠ\vG. ҍNxPd3nb**IjIITqS*40|ͮRXP/QpE"լU˫QwQqeᨽh\c%fkJSohчKWsP$NEKSΑf>("?:cf5ln[%, /]ЊMEC~v_$KMnÆ|:icnQ`H!Zϖ f'-D(3C aɶI dc;Y{ydh)xPAd O(.yK+B.6;dTZaح\VϺ7.G H|40k͜n{ZXnsx&t3.jK 42T8jqW\F9 ~I\=ڦ]*hT:dz 4L E g[i0Dc,݁RFȯ-DDp?膦T 8+xUU ,϶ mOe*[8}zclvu5azvb=T#Ϻ7m^l 2P{15nv}'.!5>`\j7󲅥7iѨuP41, &o5v"[E' hWpp=I(]EΗPpHU ¡x]ז y=RoSN"x,:(ڙ@RszǛ\'t}(eյ,Xy*w\$Ov{J+gۧե8-ll:%II#i(5m}]ySp7|f^P׍g'#u5Pzs~!(4 [AxҠw@:5Dڔ쮃ԠCNWnf p!8s[sJɂkA:͙#1P%{CS<y~ !2l 8JA~~fp7v -is.d͖d(QnUcDRu(vM2j6 ;\00r ž#5 WjSˬ'v~hV %N;4sh?Bbaie0Ff !RQB$2]9]poL:v~TJE 9yfӷ),G[֚Ĥ"wvc`" !s 5w`zE6&BIdi}` ڏDPB. RNfRoG}x\{PrG'IK4AR戀G>YҲ¬ѢV5wD TQ!%r7kbJ |(Z&QLC0%HE  &Xҏ:lHI3 B]-ͳcl:!ek. Mec5j- UQV+lM] X=QK >J40xa8nn0l2?6;rfܡ]nib@=VBMK &d-ޏplib,Sow'ln 5>XM 찙<߹~SLE>>Ndd?~<96 kfGp&0cAii;D)Q(q9%= \;ZfᥓqQDMEt7oH;`?Ӫv[KLf?% ~s]w|@کXY4[jp*.iwlc83qjkUlEkwt=ˇH{+),[rz Zg.IULjN_ wVp<2_$?ȘD!Dx(4w#^:Ln|=qϖoWSDRDsF1id@я^*T "WO38x4V܍E9GUn"I5K'\uV3 s:)l0o?UHNuAi_% gݷ#NSvlȖ^ NDC{K,jC9U UiXP~!hrΩG₣.S!;!'k `HT8o3Ȳ玿4~ TH.0}l`O#7kY7U\ dLE>[!Bμ/R|a(4uӜ{FmB1sUZ*]L.?= Ekh-~}_; jK/@s &M뱸aW\H&%M۽FtX& ]`uv$H GQZ[>[n\3b#5}+h v. ۍ%EwhMדRaIˎһt1ҭ qTtoRw,YOAսT;)|`<3y27ky^v"XIJ`oޙ}9$16Q~7XpQY![{,^e|Y{Y8zR4kA&?W2-x FTSb\L#}DZ2.eT)^7=/N$K8+ɛ ӪT gKIZ=%:dzRȽ|i%)0yI{$&䤮m 3ۉ6ği)wB#|E/F{FSS+ն6kd.[B ε:)B1Ri=[k&{OR˔ETU#f2"Ke@2پ'un Qwu_# ӄN}5yt,#`W\aG o_^qh[%tF(NW,NFa5n!7~T cSDE.]նt;uQ'Qb*d<#շ@:ȠWFFft 4MEy5+OϘnjb%A"Z+Wm0zkXM{\L޶==ü[Bc=4 ju24oqo <[&1E08lS!bg: jx\.DZqyA $2*QhQ]xn%xWX4pcJh&Q4So״>)Qw}ؔ--=C`~er4`Af|# ZI5|_Sv9u#)p*g"7~ '6p3j>1.HkH(@h%ÏŅDHLP>{Imm|Hzd)ҹ3׸1Q }VKr=|Eѩx0`[΁ѺRPZ)1(hf!(G0࣒wQ5m A2 ):0".m'3Ou4l EE/>H.ȻŪ S"Kr q%@ eb(pFR|.+mQK߾)zNJ @(!, j+4JFDEM>R0͕tqR<-$ig% t~w/ux/\o,Z]pF3m}u1V5k"lѬв[1.8 ʋx$TUT,ň}'yڳjFyʭL?'y/X7Dh6:&').) Q+?_56\ARS$YJHytsu M 9؃2kޙ^1&FdKy[ζFܜ2@Tβ16?FYS:PΧ9s>a %8vcZ< -;9  $׽w=ڬi z'?h-']s5HkIZcy@uFMn'M"T«XL4Yz &7a*l<;j1-{= 6KDbDP @a3:'y68Y+L4~ݖA&>01 y!.SSXt$Vl_N[߁֓5rSdlB׶ WN9͇S :zOT7,sPx ٣3f S`0dZeOQPWM'&<#PSeۜΖEc)t7 Y쒷,_";װ#ٻWћ s2umb'(7ѲFʨ SڕZ04Ab%Z$w4֬( yh;J&_W,( \eI3ǜ?ʄ@e&[%r_آ-OR=׋;m>T u;Xx:! L,> jz<ytn--ФˣIa8S ,% ?AzLZ$7 8B)e%Nr1:ؘ FAŧ3g1>N!',ߞIѢ=юޓǷ\\G^߶gmf;&zIM*r'=piY2 ^Ye]ge%^??8:BDPULuY"շEmk^ }l_!qZiSdpYd{ Ro'N plMbkI()57LWBI0ۓ6'L3l:0ֳ;Ip'|6 kc Wm T$ |C&m#z}C7 bH0A;Q;Pj@2Gv K謼Oiy 76-:J>5W'V^Ri Gs`Kj5'[&AqZAѓ!L?zgZǻ|hmYA>ÚaBnj>},, HH84S&^}w~GiGav x,LGeلPdx[pRfʻxss*Et#M͹< Ma!z"CU8/G{cq?0I:;A8=9/Ξ>UR#0uD;bzZ'eVUSB,OX\ָ&SNfm?bi_B cM"ŵ jE%N[+ҹA('˼殺TP 6lYN0Q<;ɲÄEN6r|J7gZ/g_a #Lp5~4 MQZYa[)TG󾦽3<"Q0t*VtQ+yT0Nuz k鈤)e 8xsxF"0_G^3x$I8+E،J났˦lo(14.f HS ',R[F_;dO܎.0: \,|dcMڸ! ,R ;^%A܂yZ|,^bim)t|S5i)]vZ#ܪ? >)e^։PךYg~DK6)UyEc*;eRfVZ\6xgzw݅Wxf( S cNwSgʪhWɔiFuO۫sb[z SFï[}x)xJ>r4 HKvTR]ZU97'kO{:, kPlKF!+cwŲq]=@Qѷ v)>@r@B/rAiAUNSX9 aαBYq~.Wv@Ƌ5);)0 ֛I3Sߥ%튩v<{R&/H F!{2F{@P凥Z4 n4oINّatyBjәmAadxƒ>Pa.4Կw4DQw 7=OM{cǪrepO.ȸxcWXpXpWY.c0 ळnN⾇@kYpt0Kdq p:7'j1|ClxPhR9fe Kv*l{w [:0̋@FOn7{bHLϐ aF}y8׺OI[0`3Vhzu̱<ݘN]G,d{ZRyYQ㭿yŰ%6Nn[A a>*6!q dOGX![Ƒ cQQhMXNTΧ9 &WvΡGdۤr+džӪ>L;q$8<)n%f/VA TcV* A@Bs^A$u.plZ7#c꺰@irñ-woC86@ʍ"e=4 vEUHRޒSc!T*[q'yӷpZ׻Z?Q0ޛ4@IۏB%inn%^L8KG/X¿[F]&2:}ZZ?*3 l.[vn ]V9K:ӳΗ Mg;:r!jBH+<𻢹ϕQm *JAƕ ĕ=訏E}Ox6 H _ۻbVߟ74y,& \5c^ osYֲjAnJ VP)MԽS)xf);ǘT t~K(^WWJVkNM=yk=)+W?oD, &N|K61O9e#Q&E Կ2z[+xMY}iҒ^W ~M Clk]ҶwҼ褥/׭535ʧ8e! \JE&#i?!RDSsmkQɌ"!BK1C(-r&+GdM|3Uh.PJJHxw#]]IP}izՠĆ4T5 * ;wqk{sѮ#;8VY#2,x1-.-t# T~3o/ wNƞl)ɼ,0cKOOS4Ε"ov7/1kX">Dc}X R&I^ PeS,<B!tuHx܏m";j.n4f=k|% NqI|xfZϬ?"H iz_Uwb+u0oO7=ºekjCǼVA( 68OPqVa@魭r""˲ާ#& X)0]UٓݕOOUk R5xv6:!>yrmA;5 >o+ /=fP>o0 ~KCZIBEG7jMwBg[sx< ,^ YGBE k*\PjۏoM`tFc(*! YMW|]U =ˠAX6DCe#n ޫs/adA!Fc d^D泯<9lC+k,qgC1iwW\geN\2Kf$ %@v襮ɰNjA1;d`1L.le]A>s BYt\>><* I )UDM 2|K7gQB@]!ح5W,yH-d~ S]XWi:WYFS#̣G늳exǍ”{t+sb0t1%y |h%ñDT{T3!kh#^$9)%PE9 ] sܾ|Ͻ@LܠuB8}6kS?_"sZ!۬tt,V >}be?47TNx$_)W*=HfXў:"v"}6WC^$~B8~v5Fo^hƚS4ʛ[w6Yf+PCZW;<ԴSi=-|V5(Bԣ@?]hqޛ%PVߺA srS'U+O5;q mosogT\c)slG.~[Ok$7@3IŸZ4ŵ}FgpHZ%"6ҳ|d{(Lk6xbⱅ4)T %P{脐SWm5i_q^.ۗb7wdWvLxYI$O9 ƽ$VpgY#i;&!:>6Uc(u+rX! m*8wN=_7ĩ.*%tZ[S(=zyAN&rf挜{-ɫJťyLQ}c1&9΂  :Y˅|8YҕL%Ȋ}S|xn $pBbu1 u ˪X]j2kUKm_D.橇Sz]䒼w k&;prwcQN2c}Gmp;xeKQh ےhsx*V3Jn ef_5+hKN,A+6Y|?75c +VWv B +$o't 坸 TXmʥHH"19ӼK(=} )wA]9#(Tl~*.4_YԮz1"HzT޴F;Vko8..Ć]c"Lt9_48猗 !`b/pbx8&>B&O8 .?w͗9[e<=̺Dz=JHcw[ijӶVVzPg٧ZnLfEsvsA" fLf8'5aVE*=D8&|)h$z{:kjFL`ZeBԅHHRtB=9v[`U<78E={y4mlQ9y8X?8 I *;Mf ͂͝S~6$̘(ok}hB$_LVVfd a03 ǯA m;w JOl@ݲ)CxJN$GhȑUZojc&D[abF D~o܂sI?~4zvQQVm.)o))Qqzwۭ#wi :;p8]؊3,{T'Tx;-;U ]\-`Nr@hKMx]I Lz+RN.CИ-l_uӊsn4_`̅/oTfe5c_,wxwtWvľFcq!t70B_Υ܅_PmA6n<C5Ro:'&vL, *xd{k ?r` Ceˣ -C rP9 |[VP3gCm.ynWʪIJ ;Ư Qsi7ꊑU3eMH`5<>/f0CPEpg7: '6%a2FX#_@$͓-i};CvA\8 =أ#Op͚I a Ӛm:6ߛIkl0_z\dʩhaKT^2OME!9yò0i}"p. ?½i&)F}M#9B% 4ɧ9+&mFt)D*y-aXIPvO 'd 48G9lx>p 9*v Cp==Y=# :V?*u3bGt+`b%2|ʟ\^RD$Y8<22mŃ;Azmf}k1˪:1Ƚ>peN}~^l>:SY4rc(] 2 #KtllG[w~M0&' ~fO~dT&=<f+LN7]էF WKĸ{Bbz}׷ban;WM#͸n%o =@ňRMfMr/q)=}wƕcW?qM[;@QUmmWVO `3 2?;B3gYZwk}`5(oC12 Mӟuߺj$1-XXk,AQ1 {-cЌߋnW?ޤ3UlXAQ,|T֌F8Sgo҆a?d *6E|LFOȒrcsb wcFI}j߻7#O|IRwas-Rt‰"x,ZG$Q;s9x>4Tuڔef?KepA2ފt-g Иp2gF2w{U!\fnDuVL^";;o84Rh2/Ne؟-'iJQ}m;ЗIR쾠ɠ(l( 2H80)lApShNV-Ev8$J)ggtZ hVi"d6 MbiBV.ԉjy>sӠUIF fOEE9[ԙ?r OO~v31DDHQa[<45e!P򡽙$å"8 2PYyc} a}Lr]نoՍ./**9bsLJfXEv$!tt)~ ^2Vɱ}]eQ7QJR4&8n/WQ'@Somv.4\/B:{hvZ0UU,(i(d#ͨMk60NSASI*hNmfY^7(Kq y-3Z)]Jiπ4j 5?(ix%7X=@w +&)Ghd?$r`#"v j`p+ OMZ%π~A%w&riL]_XTHHce9O c !u!2=#_{k 킮/Hcl瞃Tz+zVvf':2Tu%=Ҽnr(&W{*W^%]WU}|/{ F>e$fd5*.*29M"ZG-yM <~o^:ׂJ߅T,/w=\8KZ=ʕG~nSż+U.zx6 VJŨSs+0'jЇN;+ k}hx Ä 6r Ë34eyLA+<̇*w* MHPnKp>;ߨق*_.4 {Yi9!;mZ|ן]}iFf"{*RFMG5($;۟?_t搈s%U-%+i[ي8hW3goj ξٳ'l Y\ՏF_ j_up|gO6ҭNEID%ca|Kn5 ;4c s!TWFkPfTC7_d琓+ZXL' `A뫲"77dg"xp|5%0nzhebu&)#FͩJcNxT U>k |gf\ r?jc1עgT6PV =rh=gv @^~Ud2LyiɯHofx xe4L!#E=7ڈ9)Kp_j7ITKb_#JM\EaOjR~yC"&5' ~K4J[Tg}N—=!G3`u34=oBMCdnU%Cb4f>va .#6{+ye@$Щt**eo" pE8]aZ3n ϱe1%wލ]G>HOGT?M& A;dZC m\s\ޭ:_W)u>^!=rmJzM+oRSY<9U0Gl6fZDz)`zo=TAH#M7XZ%WdžQ_B\ Vu k>b>z8ݜCZ1iq!8 &p^'@ji. ߹zBfi=,p:m?TlOoBN(W턲P1bmuk_`_>+K99Q0ZГJB?ew!| U. ).}0w9ٜ2.e iCqmDWL$rRP ͬ}׬RiIlxRu{?f%86cjg2#;5Cϩ:r~z:ɧopպJ,ĠN) 郦Ь FS讌Xe" <} qk&<{ l9uuPװ=Tx?vgKBv3L .Fט#=\٠xi& YxR%= j X? LyDNޯ>jDUmrU#Ib#^_F *:l#Sв ֝FYF33y]%A;NW< uQCI^9^ ?"I( qhL;h%tQ7%F |;Qǟ +ޖX{;=G6jQo`MGbC%8ï6MqWZjH+%*^[!tpYo,풆{=jW:ը`]΄0y,d#UQ+ڑܝd6 X65-/2 BC&;/Ɵ 0\] 6ȡ[ D뫙g"`,2ɻ"Zt+¡LT MufTlvLMm(%l[_]9!PhtQ<$4m\o2fG7}OmP;Da8,1s1":@h 83:\r꺆&9zg̹* +Z- goEi(h tߵZ0:h~9Mw& z iy0<FJl,Ɯ$(4)_rШq_|}ҁ_R@*Mdoy޲Aݗ z)K(:#jj]칽G ]^td$Z^}(JFOJt4:3&'o Mz\9rCB{\_|-C)aG8r?uIb_J\tvnX Kۓ9TnSg}rt@. gYZ wvA1O!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_id528?1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\3K^s6*۰O@ϱjlPÖXkY ? /2MÜu%HG¦^ۺGxk0}% ߭P ɟ[yYW;/3xwD w!/r5 x'AljIs Q8ly7GO,ق2qLV4<?70NV=90N#W=9E%!Ɨҽ֘ x 7SO DžcnC{X 5Uim7Z4{#)op>bxN.& F$}fes)0Lf)Mϻp%5a).*j ʹrX}M &l[}aLJdsЬ^r5M6f*CKXvȑ'̡1V?ZߑR&!6cyCCHY+ɻh)]hU*pgYZ~>1G# 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]Y9 ׻Zb#|ͲKI}mI*?0zf'Hզ9lHJm0Cj˜~Y\7 =_E :,^j%0xرah`UV8-[piM Wi u-7ؖhyQ;™.+D"m"kL:~_{XP/ "|\oSnj*2̔yZȻG*q=\@VHz_&l݈۬^VK@PmwG@pu-! o CBu? } 5 x!oZϟ!"3Q؜a$@1H0Y01 .MM1]r!%ml.+Avo ?KSIگg^Tܵw}Ňs;Dq!_RX ŔZ5 Tя9]Ub ptȼ=`ˇx3qHFO OIC=4uq4RU~7d~Ž~+63lFdB*ޡf?B0īe6،Q)9nմ"MH+sIjPXIVU͕1A@n _ׯ'<1a2NPKMU*IGiIKg^f&98FS&;,ӐL#@;TzZ } V˞b%Pz@iaJuXiX% w8%}!: E6[1K9,i;}6+Pp~Qd9ZHp|"od0!.;VWܗk,bDs-:0> 1*-̄P7Q^tc֠\Ƅn7_Ũa!_tT AP2h3xTє~_#\rB.8_U W^g8]Ajȶ`2Ndk>J<<@#z񰸏.~"y"HSӷR,\K* ̽e!Q3J6<'*-8fEM[ Obؐnv$wE=yJ&oQi_W p,m/UQ ~€ 姌@9hf6Ē pSC=1uWt Ekj>\0?آ|ފb0s`xp$mAH:2&}6U j;NΑJN::uw" ؗBMgx;¦v}ViTud6~}=L_MqEs<»ۮKļ>X{Y?1D篛ҷ&+״ K[r Ҋ@xqxrD1!/H5}Wi*8˂zBW]0@tОҪYM|uZ4“\"hxaU$GUbicS?~񏾛f4xN^_0M8EwD &m=Su&ؿ` hntuQPϜE\jGTglez%y^u0؉R+RC; |6૚12dt8v ,V͍gqkBӣIx?Wo ?f<VlLC ,xDP2a8UM2gh"̓/&ݪy,,cm9’` nZK؇$ykA+/,?ʍ>HAus7/jԈ:J9S)P&1[z"I-igFJi8|r G=-x֪ #?ŨrQ$28to $6:~6e adl&rOwELg~i(N 4'ͫFBUa?<Z!또:n>zWw{KKzGC "^u1Y,-$p8p;ͪPwe& R\!J2邪Ꜵ*a@d 8>MC O>lKm͉kgUlNiRZ0[#ԀLHǧǮ3p`8AF~P7)6kS2lz]!Wŗ NP̣h% wȆ ]?>7*z1> Q?OҠo osҾnidcK >aDgA8"\K\'wPcF,v׽ <7xbyaԿI-,=kuf CuL_H9js i`iƃ0o\W/1z8!ۅc3~Y-' > mÅ'˃c=Mf_KF- qh-R`W:+?>X+>opxFy߈[0 ()˕P4 *:~85$Eɍk$r3r|lK3^yS<C4W䡘:O4|N"dW{ I֣Ț2J(9:>pΪ'%T5f}Pڰi;wkeOr$%8'Hޓ]'H5ّOjaߝGUҎ>ll.TǨy#TԻKһrM@ =_)!T\FDE;hwP*47r<$*[/K]DyhDMṂ>,Y;]47^G/} 2菉=q~#ҚJAl'S?iJb9,l, ֮ Ŷ+ 6_f񐑇&ȉPZڧs4kEpo,(6s13/ƺKRG5haqR#j\v4kq3#%c}J bY+9'Bod2JdnɹZуCa0EG / i(Y^W HC\["yɒv=2q#y- ʻԱnimp(d[^*6nDEqsQFm(l~"#P4EXĦ)3IcQ~91 hˉ\ vJ >jΒC|<[725d{]`zd5FԛO[?;'^zS7QD4OmK 8~ XsK]Jߥjdl:6?x1v#B2HX2ݭPo{_Qt4P\µFcs-za=TI:F[ϲ1Ȇ5Dtف=ݸ*谂Il0lP%3UyS#&[LCd:YqvkR# '2^յy僋LtҦU}y7wƟ;F̾*k9˩`#q#kcvioB(@'2p/഍0/|6gs nQeI;0r?}4Iz zQI@qգ('.4q bk40gE?|EC%93$"m(|uI XrZFZhQ:R)F Go{ - X|{w}裕 gծ5[w%fSH<4 1'BhhBB]{ܹRv]OE37 \5h'hSPN4W2/R+nX'0Ipk'w%|0Q [38{ieHy"l I e- %j-0S]K#QɨNŽa(̎pɵI'Yb=[2z?b~$0̊ߋ: nL [ܦ_>#tj^k !ah7T5 qiep7;p('F[؄;cg譕 3!D m]U93x,|=?bX:,լQ <= j!Duk.&?}WH,LƉ}NEk5MJom1τج -QG ņc(PmQaăj^BmVZ,CN] { ySM^mGw< ڕ!(t vog#u$%-;?22k5odJؚl^/1sj(/6 |AZU Tk A¹>3HJM9x*8+v`$ (o w4e\;bz^ ;C1*0@dkwUIu8ܡ+@F3+&79W~WT}n>EzoOAu6afmcoʕ O',1!?@oڿ"ʡmvu<궵({2lޗxoBv{gҔ|97$\>!fh]L삘De]D~p]te}m(E(cצviErǎhll)<].[栛3k$!bC-َ5*-eGAP'I890gYZnD1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIC1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id5502B1O# dHOL-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%E0Sl6WvOxݧu-MsVO!?pc CbC:}PYU7׊ĭRf37T|+ %sOv&aYe3Gu "ڑN?Er,pjFVd8@g']hy+WCN2DX ,Ub Yh.?;Az${\~a9L(7T_b2"#HT0#r :v]òȔ8 f۰{vלܶv)#>?:VW! (' b9vX\A.v9ZkE]2RٸqQȱH'?,OB-_/Lt(WjA Z &VɄӹ l֑ض[a5}cً9C>(]t(\˻-:%L̔"%\g$"_;|x!zİûR#Z塈"a[():ydYS!U{txr@v9Sʫ%?|pqK": 'llϽ3DvX%7ϭ||~/PS,SJW_0/kuij)Fh8&s eO:a’o]Fj0DN!b4F4h;`꣏GKLn,Yٸ;[-QA^l%ջ-N-iq$=,͒q i+|=qv(I{89F'p:%dU2wRLY#c͍w_O-eo(ah6㖶f6SI䫛6&pns e5/5Q"1=le2&X{_.!A(JUFk.cfJrj Uf~4ƏN0Kga>0E̽Y9-hw,ԘӘF\ [W<1S 箮l26JBO[ !KwC*CD?kQk-SLlxK h=8 E2JU&0rz܍-CY8uݽ%t'jJNgEC1תdqi8hH\ ,СRic }l{KD8).].gUV?Ug1r됅܍~L`7ғnpEˇF5FǛ!AǍowP2rpF?Y8-MPˉ?S/y:FN5DC]e臨|Ffs-.bYi $Asdّm3&ot`"rEZ0LKiQVgfhL2׎,>\jK1OHaFJɫ N.6ˑcspIo=4Mqt'58muǨVDy1I^[b=aUm;_L8౫~1&GH!3a'B(t$*][ :D7 +@lľqU/(dҠdgW|fVqI{sihn@]>K<|P/w=^Y[g8ilhzrdYؼ aQ<cR&1ޣpo6H5%7gˆБp^l,I(\ e_n?u5PPY~gYZ1!DAΔ 43 ߊٴo.̅deg#[N034 "V9 d#FX\5Z??2;aL{'uJDKy PŅ^ Krk~56 NjWY6mYDͰ` Z_I=G,.A/KHY N xb &PsR%- =%B=bMsF`5y] I+ 654m3vGHYDpzmX/Q+.}R1h toSUHEQ&)s,gdQjSWΥ_j*61(]jaZ0:e+LJB\!Pr: 'XhZ`a~VCm ~* jw3'"%U(L\FUϴCN *(Yh@趔3b{"|z$ay.Llٖ)8A2"`Zۧ8+fJ_;;+ʯi L~{"J:F)l(}MNy;?mVLf48Jo"Z*ȁA4 .(\"}0CC`W?ZJac2۬HGapQY薩C83U)+2$g뒹Sb\&x8u9c`sSih+xv&gwajqYe:*%( `ugRB,l)>9ht0m:ybH\=v_zӒOpBl9ԜQ]62$ՒKׁBH+2{%\U]d}ĒnQ(쑢/~5YrlLj+>+@ap> 5yz@O-V?e-<;cE( | PaE]RB` L-1'EL<-sO{V޽V:Th-OwϋC!t $5ܙr'0NyB:T&}cyS2f3X28Q& ?_^{PZu].("rTdJY}EV<;¾)ƙ "3BkJt?l:*%c ;o;T,EH\a:cܶ=11K#A!_RG9y(IPc&z*ԩ@t368[a:bYKy0ʥNg,3NzBt>.;A%E>dc"=G_}P; \ CxƐzZ9D *Ks䒞9 JL.X&oy:¾qj9L ԿSo $0r6泆8$5=U}w _uH.Uvæ'댲'p}\lUqEdlH1)BB;f?M5a4m׉JwenI[[Vu ~['LΠp-6|W1`M HZuKvphJY0_٫1t~f-\.!T党߼ChE*' c2>PAu,r6. 7?*f .9!FZ8y_`%IK8o.hBn,}U"Ҥ M&IGbђEdٸVrI$Q雟":uħP*eDdctڶ̓duCqH_ z5?쉕3h` ,32tK{FҪmBӰ|HajO8 #VK;VY%IWKvJOR :>t&G̱I3d yw|peNdt'#8^8IcSҤ\Nm!ۮyE|(C 8`_ Gp`P]լV5cu2^D9ofm̀C!u,k`E!nI\,e.<^v^5 ;8rG|7A4ʑQ{b;!s/,d3#m~?)2}s|}!#7 WP&bpg9$&>ep*SF{Z</XE4F{m{&^$K{\=RWl/\ዉL1>- |?3fO+*4RŮUhK _;~pʲU)$pmzM=R΂X >ĈŲ`3<ߞt8`mNe5t'X05u: ZG=1m$KfdC.ICFXL`I*ci 4юlyh )L]D!~SK)4Fs3?վ*NyNݍKqFPOz/2 R֋]чl^ ueV̌"~0|,Ө"+ $*A⩟Y`<9Oq{mNIS0-F8oEGUtGZOq/*Gcbb쌬kmAFn["|y?+?drzVɮCQ)DƾZɕ3Tq̷z!Q EUT?@`WQy5}DʟZ#DTxh`'SJwT&ѦƪKnE)i2gpG~F1d,|յߴÙalBJYoH\Hk`~I]@i$l9D^k2&=m$8$FbGNZge၂KȁvFٺZM]qьUoPETGIdlxL?RK?[A/fb#9r)do"Z9(fI|OSc=9]MW9ak$T2F`z%[:H'(hE 5}~g6W7Zmbi0Uh u"PUti|{Gmrg~Re,8LR-6mA=4Y{YINOy+ (3|}/IUR7PIF$\?T.}t*`F/ +_ WƮ$kڥ\SJƩ'cN GK Eg]>$: ,`hrۏKcj.pw]?VLqN|gY7{v[1綉S;ߧcd,!^i K *ZF9u3C[a)6l0(ve}&=ж2>ؘ8eTţkG341'e6S;qS {e~FUs]Gt:Xu} r'DaІ6A?RIH[:o$7J 43Ujj%aW@esȱ _N. i*Vi,Rr+6K%N%#Ҍ B]`?oև){b R,3bwɜ#lK1!tW$! hH\Jmt=9>NO|-[΢\1 Bx ztYdq쫍q^Jj]m ygzyE#hS:6ůQП[p*͸0I lS+ $<|i}ȪF6 ƽ kd7G:?unRєwQ+Ϧ5A"zHEn]o%Nu>%~x+V䪚lv\nj bMXxTʹͨkp?rfg9=!?JgnkL.o̚U8.+C~\E߃ {Fwlݳ =z/,Ƹ{#8䭾QU\QGϖa۰3AQ0a;Wi*BQa#uAu*:0t;+M*h*5yvsN@53b+juu*&,T Ԫ1mi*OY(s?%4V[Br6ߺ tɄ#55ء/m<1h叧!]5 3J%EzVAF 1L?$l 8V$}8K1|j޲9qU#HPք԰Q؝ $%,>d?pNtp + ^f}1^qӬ&pXֶrY3~Cx^O}aaYݡ~NAnPaHz#2pKOC"T4r` {D!rÅ({ hZ!}lֈئ:^4?lf $c;0jK(b9nX T0lý <&:}~[[$-pߍEvKsy{;-1mеd}R[kH8а0ssHܔ*ʮA A4y}C*U]~I:1`" PQOdisM&mcf PxvfchD_qhb62j. c*LU qnJ,4jBՀIzgG1!;C;ͥr.sBSR5YY+!\Ʌ.P҃.=zlK^$i /gBKNZnS$%RoDS.SGv$(:u ܤR\7a+ŧ]A˩xun&!-7Y8juTNmM"kƏ} [h&Jh[&j>|ۈ&J%F\tc1@bFKr=_߬.Ȗ]:YI9BaJR( \4YI;ҵ~.Ώ8qOýO%tVYpm6kD <@4+mt &M@?_N:*iDz|y((CG~gYZ vvM1A# 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}B25e3E3fQ٦< īxp\& 輞FĀoI̖Ldݥ~S0*Ŝ"=:8R݋+iVcK)CA?!]k (\F<`q`M ,Jק.] Q"}r‘ۛD*G7 :}IiN\WHik͆9(v]<>8(ݱm,9WvO&' f lG;:4Y0h⠗*C/"'se+;{Pw[zE#Mp:hKi"T :0B4{Zݑ|ÑP +/ S_x I+:iN[}rHX .?kϡoT\%g[X(,ۼRW;&km4dhNΉHU-$`,7#$H&Mm{h: PTe'tԒ%+&=dom`( i%}^\]ed*8[j w^V *fUG6O;ީMJd+<՞0T|4 v]pw(=٭/^D*t=X2Cyp73slQd8|~4:5ry!~ХH敆 UwOx>uY\!ř՟P-;W\֮va5eW[B݀U'8loWs"n0G&QWx{|6(1S0w5X# 5jT8ҀTF'ȡ$0 3Xj72*B .TZtr'@F wa l'O8Zd8 V1|Pox1G4z+FH 4:fq.º4Bc$𱞓OM!} 'xaw^6mA]'S1%Syrpg%e'\6/@<Ȋ=+ٽ$ bTsi39̹3QY'ؙ4 #|MoO"K5Y60*ida[˲׏Asu_;0 lY9 hϪaځ #RfrqyCg|p\RQ Y)p80-"%2Qljs2 0wGGO\x~F* .b/0Q1ZzE7n]Gr4vGazE: 6eK3/H Ũ0>ӌJFx"![ڙ.њ)6F~d*/ҬXz?͈(n[<rkߘӗ!vؓ?ѭ?=ݬ~ Bq!<+wCKH1LX&:~`/*рJa!^Z%]lL@Zpa8AΘa*LY!6愲c TB+j世ˇ\m$eMk V HFH5L@-SR P |/ch W)aFlyq!0ps Bbu̼ xS.5ѳDu֊kfc꙳k ct;j{yֵ\(8r'S9cLjؘyF&.#tsZK†'8;9TeH&T0 l:-_5N~=ѿ^:6Ӧ]@j%\:̂j0j}:`MS`!11)qt`S*9ύo4n 4Rua A}T۸'YAD^G9j~/^&g!i^P,[SU*J?2 ~.ꀺ["Eէ=8uQTRGa.͉+AfhGQw2W:C9(ַz*yڏG0ѭ-F}eC'itq =5@'jgp*2^*ޠ6UA .ށWaE1hZ(K5?(QAS$i"l8`S>xӨY˫>-I}kUuO~Uù (')I37NhAdrʪROX:NH%x˷>XяKɈt+S&&QDI< (V`-Osz 7ޗb 5/vh3]ߚʢ:' ^omyKS;G_Dv&.;̗qJPMX,|XtSMLODDY|jD4ywy>^ nb0 q`b_&s kVK3rUڛ)==uGu>EƔfNCmiWO'}'MP/n>k~ֵ(2%󸱚H将^ 2ہ`t|Y }8튓޺R% a.OW2#~<B02\5Mѕ[a]e곥B\5itmdW4 ~XtqÍKw..z\uz<93 >ɸs+>uF񧛙,Ӹz֤Ѣvۣt\EJq7W>kчЋ$%h?$p `%ƷNQp>X[΄:+8p]٪ApVX ԫxF!f)_}O.kF:'> šiͮP"$D/o|2 &VB, AR#n0>͘P?XSYeI.>BA4FX`~JO*Xgwq &D9J= \d E;zT>%j&kka=iWj0Ī oNDb :v2 a[2ú%蘸yOvF!#I>҂gU'c qj7@auz8d‚0ސ+`}?=&f\T%tspX _DH0᲌6FR?'ZU"y6'{6ڲu>uZwpZժQLԂecƒEmhܵ&jAk,VN$8`[IӭlTL.R3S5doYԊU嶟_Àh6&>{ =Wm_S|%L~, hE{;~6lg=g4}E|)27F xL&.:%b»0)@e} .s Kj]%z2.gi?#U6̘k` F6K:gkrS"2@y1Lқ~AM7 {QX12t7V4Զm`:񷎫 =o֮^nrֿF޲a@mzѓb_`SL.-.0eY|qȐx3URa+F c!pۦT:j.J X64YqDPvw[-M7n]WʊQa_)CWo(5qG( wxv̑gb95dU,ZJ[sNGg5w~Bs1d TP8igpR궷ru1?j VkXql\^Rm^>^91781V&ڟT:$kǝ4nWnڑMBx)arL ϥ_$avWQ"i б!D^Xş'x*nf-:i sȅpQO/#{,it'֠j jІaX2vXq|I9;5hIH^e?7]^_ӈO@k:F]NZLj>5I<j3s0Oe)*iѼ6!b36`D0d+,1L~l0(}uDU~GVq #:&hHǃ-YNF2wʧIBtwtݭv8Ԟnjs$a;^ZH>V왇e+{z@,@vdrN;5-c)kX}z=1>%6,:ENC0@t&IEu<]KΉx(yrҔ0W2Iǵ(MtH0kȬC r7r\HSOǶSo]S'6R9 M=GLK5+U/n"ʶ[ݕBҴ:̭-eO:ݒ W {Ԉx'Wcn{!Zt8`Ӷ>9s!nM-o"9 C:-Hy﮸b$v#XLQo78w@F~Bi1!c _mlVOs>ʱ}S%'O\<Ɋu@K=MVSr@7b}ޑzrK6)Ui }K(:29W2~ NyjOJ7 ƩR#U6IӻDk{&DJ4}b:ɉ忱z+}xAt]Kj0/!nqv;2{[82*50Ws+'L/=Sm'F4 sG+g8qg> .u|mmvLI?Ih4 Q[SXagQe*r;p{oޡ/ #*sQYCWlYnQm72k|SJtH6O wq#=uϓMCaeYNTTpk48ފ)K*:>4%:U@g#;JI{,QD^]>y .]U NyC4?*SY0 H3ΜMY\ϥ.:Ȃ&8# RYfE1^&كJ'M,Cf*R'vv̽ZOWu7yEej핁E|-4;8s$/潺i:0: >Q4Z;wc|K{ VFOᣗPEhװX-)8驛{8S BIs/.,muoC[lXHtpjչ*w̎D +{i1)%}oS| Ji]=C=е͜pkˡo!Rзٰ!#kAezSCiKIy1&J@ ]Axt7a mMS{:VUX="$A9>#nTP[^12Dgž%ۭau-#TGL!gۥ템odh0d|1xA!bX ~!me4>^gP8C-ɍUl{b֨Ay>aH,h_ތ#~\2(X !z)zvB^wk/ *E}4swdZ:RCe:)rb2F)2q9my%V7>-$>J)hdf-[Jyy$ #gU*!K{RV,UNUzS5/SU/yR!B3NQ &DdnE: c/~)ek΋1|>Dؚ$.k&ayaO`q^Ieқli,$d7r>hHqR_Yl>5i!Jj1,.J5dc ^N/4#, -Gd ?0˭uG0"u::NNbejS0z`hQ"e!Tno7eKJ!SW:QH fG?th}N (1TSxS0浑2jYOncK\kcB3;"YhyI (YbjlKua2EGI)+| Cq9XSj{i#kGTB a#8=% xbϯнtEGq(DTMflY޸_+X&I.5C %X|D6'qF }ehaIhJ#З.ĵ1r޿Ph`t mP Ш[Ni5W_reb\|dR8wZ3&u$v-l=LJzw:|7P%18/0hIq ~6P;{(jYhŃրp_'K eL_2OAJc˅Tx Lm6.N!v g}@8VkS7Rosn"NXkj~vK2ޫ>(\ƿZ[у9W-pM3ݮl_R]CƢvSS0$M-Ιͦ S{-_Ի˲#g+B.qT(©` LP-Ԕz7tc @1hN6Q9'dLlzKvl't :^O2XhDS }=׀j8,2믟-. ۴Yd;-'Fn.ߏc:#k >ovS*.ă9ŋig+qc "EDtKc+I?1(y^= [_5s̩)135ǣBaq9Gܴ_#.bMII)zhg[sjCUsM*U4-ED"֔@w]z6D😀3sL ELNiNzzj{fDY;u`c ,l^p",9 T^󼨵pS5rv%nΜjDj4dW !S[5ˋ ㈄Ot]_ȳ_(??_kQɦ/I!SO#IgïiIW~u#!<94yYozj G! "D^ |5XJK1yj$d<"w)oD¢qO; vˣrEVwEcNG?h$>U-"2~=Cf\Ry!ti0x[>@p E?[,,*4䣿Sܘ (x-C\t4x13I:ffY5s7¿&4\jY1Դ뺢=̻AssQI[k_VbZ{ҎPo$4g(ѮK=yTj$9'YG&I%7,>/^鏠ۏDPXiBhGN)4@qg-ֵ } fqXYII-xt{P9Mpyq<5W锠Yl.J6ïYm8We0ݵ0q|o_0++;VTQN˴q4vp5wRGmJY(ܳͯ1f*K6o$C!MG:M֗<]N =5)`dcKaFӿD [ !3}^Eyc .E %PZ_\ ہ2)[0jǘ;p+E{vϊPwoUasBUNJ[B\"WL5+G7JF>e>D #8͈#BS)zPf ;ocWTipE mXpUEM0@K¬o+/^+i(ewqN*SB- :; ~ar^hq,zf|jrL.mvOo?NaQ]Aq[2+ joK(b5ߨOł }P9ڃk)YD%Q[!i\:rJ@@<@ &Q|,,2܅0"w? >rJi¹1v1O0<{ ,D9DZ2D0 a!n'2PjvY|J2Cc )|rʱ\b6I˾ʉ~UPgGzU?o~ n6|͟"@MH芏ҏG4܍w&RTe_G356vc:Ι5y*\tFbU{99H.u' 4>K++ьU],_h=xRہ4_=(02ځ=D>-N iދm l /@}үrzYi_^]D赈L>proJCiH;Z@ nqwe@ݨSl!k|gnӪPA}k#K|B k?0.QL/nbWX$lDžd:(xdbi[fDM4ҲRt{li>{c(HxN=͇|/7%*:FIUe ELwFg8l>̆$2WX-ApѮς \gM.ql}A4b7xMZpQ6P]L ̳lh`j2GU'ϴV[v} G޶Pz0gLoޒD8 8 CdV!t+D("ꀜ?e~:x8N ̣z sF::V9RД*t$W[+D mԪs=HM"cs_=RR_IYYwG'6jid9EOJQfEqOԬ5^M#kWz,[bKpNI3&ToдhY#uԕ>D:W?it+,f:3?Yisf'u R[8)c8s_.SַJ6drW*5Yj5_rbsBB}Xt!hLwh2uG[\HaSp!HT Y4)3ptIKy](!6 8]AfB"dMcG.m)>g3ˡ|[xгY6 o}T*D}m;+q"&b㯁҃EEz.nZI( P!) IUqCY̥fbNK*e4Y| s*zj a 9B eY&Fy * 8>hCuJe m>4#[4ӽdw+m^~:JDk)+YmdK%nt XTvQXmep5"Y8ڊIp>V^C k>5hߥF"IL[#dFD޹uQE-d>{Q2 񖠝H+JØKml_`hGx,Z ,yF:SL)ɚj< _v2EQ+*c \&鶈FM#rMD.iWvP2yF|nALD6c\T qJQ/j=*QrMogA?xj@u_/DZ6ȿ1dCu@噽4:+_x9|lT.x5-7mT0s&e$޺<|YPz5AΖ]C,~7lD~NeN_mȻ,ӍCn$Qexܣ1#/wHy5s~30+Mgnt F}R~hjۤ#mboU@z` {Ŷ)D (YE}(hqmm5޴FY P>[䛁#MWHgN.+Z (J"dNf=A5fʊI_iQ'ڟa:YMG8f96=-% ,t7.ziN/2O!5LRso``-h+ ʈuX6HfQ`&d aΊ8R6Gq+O6^LHQF@.C[cev5Z[*pX!4;29ta)dXbD&ZyQ B'acai[[!1FFҏSOU -F8%+S>nؗ%Wj^c?ۓ[M vHr*Ba3x҆D•Kqe)v\ϒ Eej|q_lvX|wgq>+cIHư~ڭq hybH P {]~txR\F$j-NIgh^'hL&+]ڞk|.rA#k)Xv.ẇ A&E Bkt`̝^"Fi*]谭GXl? 3zv⨗ A|C$a-#v&򊤂7dz2c0(JQO{a̋d7MD\4?8lݗNHhA+/"bo'`m 2aApW`nJ)2CVťp3Rf0 BbOeZڸcrlMN $qU,xePU[7۽{\u~/f&[Qm(`[k\kJO"Ri5"C&zV5) t&;S#+{hI! InYMM**75n-+῁VA!z<Ϋ@*G0.<:1커!J gIpzvJOy6PƇ %-H&È`J*9Mq̥^zɈsZnv<=MjD/x5bKLLfj+@pBϨ>wAMhD-.-b^]%w'qExot5%`fW[>$# =MdxX`Yrcj|}F{-'KflABFXvL *.;:#4z"y\4,<|F޸H'm)u/+ mC҇3\osCCc iTA;m{mVbGrs5͛K`g]Lg6S 464:AWXl.C*INH߾-g[;ISÅV^$%?_{[@0wď5ÿN6( RPQ*AMtkRJ++rz\ubO;kyF27VzJ: =Y$}/b)|9X yp *7QOwMgiZ&pcYO5PX1 ȁۥI')KAh%J#:Ӌu`J5&E*J ƔK2?oHLXӴ Ą,V}$щy`x~mܧdaJW%K過_ZԻ p75?q֢ׅ#UL'<}b]ʬf/k} +nhc*efp˟#4.}@Ҥ(K 0,{ZEdo͋z0}h T5k1J1Ve!4.?m2QUE"@H=G,F`VtSc"(}be=W{krZ"p R ]}i$6P@ Of$0°CK;SyQnV"y 5ĠpAywHy},(h-= MNjéECJH@)|ƕT0 k\*T(_v6 !nɁьZ̹ObAϽ ykt@2Qof n-׽&hnkgJs\a-5{yǧ=Kt$Ѣuh]MZ]9U_RR)#o4N9q&Dj[+;`-/w6ItՄ}Q8sYO/NE9 U+ͬY`p&m} !Vf`R;.G'5.":w7>]U`"DnV[(QS%AׇHGu%㻘nঁC4Ş/|·gr P`FU{I^JP`!vZ_/7(ݼ~q?,$ϖUT*>c+Ej5 sl~~.\A .r0kS{x@ p~zTdm1$("YL " |k.ǭ@?\;| .mƓ2bRGlA";Pܴ#&]Zf'3g8NyKEpqn?c!x‰! >AQ1UZb-? (\v?IO2%{8W 7/:O 0|S->\Ք2Ju-IMu>c &&t ?RAʸ6x Ԡaoˆ}S/nc# ^!hk·xp̵a,d4@A`{Z߹s?3W=۲ 5\&>K i+]¯vO?Qb?KczOAsoA"8w\RFkПS#:/!Ç_Ky]ȹU[ WKCpi=܆! qH$ I9*hT> xrvR^<+8DpqhBސ|rW˧ #+j]s-WB.,>҉t>80ƋzHaV;hL P1@>5"+WB-&8SXq"尞d*oh@f09`烇N%JhH!SBBmz١F'Bٹ)Ub~ܘdstn8ZMA"Ϊnu_4ePJ9e[ͰL0{t"^ ! -Q-L9ˡR 2L w_y7N}۫:g hR>IDlgS<+HA].3Z*O"yB?pU(i"ơsWs)Z%5Ue;%w;>z6!&&76셍A6/)*f[a༏p}"EF*F|Qu?CV,rs0c snC}bv> d#mS5.=_*Vlxq¤DQQlXyJKMgJ #gQzL3ygP%;+|tiձ22O~N'pޟlW/,Ey>\D%$a V 6!goӅ[X;>|)yGfte* Moz\}r9-t7.阼zxl<ђBenO:<#J0p{͆U5bEj ;술L,)3Av.iKZX6𵞵&EѤ;͒,3I㫴1$?a!Z_fcכH*v~Nw%,7Uݻ @P5G>e|s+y (0>OJ;^KCۦv>de$LǛGQ;SI̧8ilOFa=x >~l/8 GPq8Frpbba{:$Vq#3ؽQ c.xzA#&s*H2e V:xo" ؐ3MFd>Th%3x9>4J`/)>XiYs2bqS tHP؄^e_%L lZ涗0elc՛>zs3q#]$֍wąa(a?m{:!K5ƍ"9as7kxR͋p tql{Oΰ $Vsǩpʛ "{vzD0s~ OiQjݦ(91'|AQ~ DqQ+k骇~Qc7_@(zzkv A q)l k1,9uAײ倄i]qmn<3O1ГQ}k= {46c6((Hi.v ܒ YR$BSכ I. &+Cځ1lirXdFZ1lԙ0dԠ /KN"`hYdcYɷc@f_ҧ#]_`kM/"nX}:zAΧm(P7L.J\FZ2k| jIeY|ʛkEP >!3j3<4YC) Mf^W̫Jnǎagk YsFtRU{L,m6\^NmM=y$J hF%H#rz3Ҩٱ.e`\tYctcF`1M^-rD=l EuY>B+5sxkp8o1̉@/p10(mK`{>˨O\[أ F?(c^{fi1Gm\gu$vH.z!6!ޞş[m{0̳} [A9( 9Kт>w՚ZމYpvac?B,x@ݸkv\ZFn vi(y-Ӟ {MB08X+vфwJ7\œ[bj,n( Gӷx)#!#la5-v)vlsZoNĉZ5H#g X30_3*co1<Dz+~۳u1P'v*x2u720s6mnbMs 8w@kƛYƘOίȜ*26/Uf0I6"(`H|_;@sTM!;Lz]BEXdcz*|/~.]}&ge,bDi]Y ӕ;؎n!d/h u i4 耮 ݫ$M%&F|NWw9ϰeDzgSz8/ ޴!#h|b%,'XG{NWa$ה:g e|xK>)cw)JfLv0[|r8/NXٔʒ89\2ug ywcIϧZnP't>?->ZkƂ01 U8fwVm2|: m&Am(~ToDΕ@0hkx: JbТ7NI&mzTK%54 (K{bOTUɋ-KS䥔/A+%|Dn`Ei_P#-Z@"̛>NA36c JxP:hN?& vJ?<'|@nL HSzmC{"v5s~ im_OMtyt^Ҡ:'=kKSO@*u19X4R"@Qgt@h]kTT$CXY33izf)|tt7nXRL:ܿҮa{\k!+ʃ[GuUA &) n^, ->^G*ޭk2?a F)աţ,73٪ Za =GўV\Wp8X-74{)M34oeb3_ꐋBNs59YB-oAGz rHQZ@?3{;'19ƓYPC`q|PJ-7zhLyq&wXYQS#>10Z1} :/u2fP+Xsɏ&PLQ)9}H*Wca/PPͧ-EEeyedzYni0n bj}5/Y*=1^@ub`I0Ʋ -“=+ nB}&c !pB՜K46[٤={D3['qb׼LV F,J.P x t ib!zJ P=OhԗoT?G"[^zxV \B3WSbł1+#Ԃt;%7tAw Z<zٷj,0w wѩ[ͳؖMPR H"\K7K# ?+eg#TP5O;"HeJl٣qhK} c,Å/OЬr]qkVgu,r;[6n#]*ž1`(qlo+h&?v,]# ;s^fS=d#`_.yӈb=n\;p sĠV~͗߻gP9FB@4)(ÛW?nKb5Lt,<[䚃>t74Jo%ԩ jp_56J5h!=+8|t^o&h8|y"gH MbmɆ\݁aWrF‡F6r [Si9xxMwj0zr²RʍgYZ ^Q 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AXY]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_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כߔ %T +~Erw~̩/jid\ )3/o**WruNp/-btGJ!c#=Ål#Q CbmWov "ms3EF ^_deMud 54,ZEOoJ+V tV,jZk ci$Rt#432zU)l1y߱f ;+;W_H?ׯuqz[.y"ϗ/  nkrj!P> d 0ıҀwPԂ`+džzj ?c(BTɜ`(b800cw'{-Ǻ4*!tWQrXT "*W'/n)sX%O2c)kAsVP_yZ4-21VkM :* L7ZV9aKG{@8r yc@ oRf֚Y3D.F_9eʗx5׼u":K+[c/+nآ٤l _܊/3QAh(6Ublk/H/Fxr|'B1.&~> ^6EBM| STW_<:hig z!r%ur0"; ގm3%c:oz7jCA6 Jأ긥h~ (DkR K@9I1m yQ`)V+A/K) C|xR  1=RFD$%{#ŢWg8ۋ|좓Q_8&i;W@8@mLH O;cyP+]MIhj7]˞Js9ק.*!Y *ea,xܗԹ>Ug5PB9HP&LCtу|T/ŃvtLXzǦἽVfECUpMP#-xh9tŌ~soJE8PX/;# *ȢMjJFHk$=ʢQ|z W5~mN3YkE6U?Xp:&MIXi @_mJ(K7P.lJxOS!^=V4 GR1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\5ЦA*N߃k@u8-xNQ($* g07țfcejoA]͍)A&Mh }AY v! }'2;-D$/M 1xoTeOW, |Ju '5QZX-G\;H>'JPնV`k#EgHm3.ـ`v-'ѧcex3 :֋ڣ1_箇1 ywyA6'sWmNIqOv6 M; ɐI/MSҏQ aɍJACh;9m(H?=@ӗ922ZEU;CsO-sBc=2Rb華cΝYbW2}K U!^NhR!3A- NK+|2󯺅_΅k=Oswɦ[[^X~^P!^D NJO$e`%F#n=$nM=b<3[dZʎ1hSJd;%Ilկ? zZ2ߗR>ĸޟJpl, @/fjusRUXޢ>F4jb2 !2m:[%Nj>OUge q7KDJ $,LՓe' |Ivy竞l"He$?T@WOaaII 7sb9,38O6e|oUm2|@gtg\硯+%U[!W3xS7?^7Zk .XJ(u <\jY&U4 /,-Srr<(E{^V9YE1cNb]R7#A6q52$6.PO S2` t|6RF^\!>IWYK0L=[l _]]Dinl0}7^~mIx@pV(֘7ɂ}zƛ1@!)S . HQk'nx#}%E/GFo>3"OnoR.Y,TFW`^!ԻVEmĴ38TQB҃vY, }y6m/ih!yU`NպJoʸ[jfJ$P6S f7F,=C%+]\1)+v+l_M# i sقM0xݜn |4;Tq$,sl^sǍ6K[(m*_T]Dӯ)U}`z0z#~&#_ppėA[OSMt; *:+} Z.qpR%@tkOl*Crc*/suqy S1GY)>\V soyo2| 1ԁdX5Jpu&!iXD%[\mbFY駰WkdZ̛\5 &ͨVm佩J {x#fݨ1;˦A|H)e(FFiϨd޺T8B|J{#K5|P|F~l0I Z!!-ԋĽS 4$@@h=K `Gf(K_+.Lb4 T%@O"Ͱ/DAss=0ku{{AkZ_ːL+0ע +][9b`Jͼ ku@;x.V_̩!Boh9`2 UNЦPz{+\{+ [b)S즯b εL|^tgYZ<\%%i#e?Nj}Tߦ#[BUR (Gs,7nAQ uq .dEe8#7Dy PdM4渧=4MMzپb6hD2)i0|E.]C{ڄeqXB05I?YiMW!LDn}-_*pbʘO*ie (:Ysph,t "q H>wd<`KVљtv}1+րٻo-ʫ{׀mU+^Fb+ݲjjR" 6zt;LES gJ^π&I ll>;Xb$uԋZ# F0=}Am uS q&܇U$jDx~9N= Ü"e: f;$bɪ>[ZbzH$|̔e{L Р*տHVXx Ѧȃw< '-Cmy;46W\&Ye#*Yl w Z{fë!z?OB"`_шt2b HH'Z0 N+z iort`0gz>&q}ZH#*߾9i5EqgZr:v9NϪ|g>mR5卑GnxXf])xMBo 7\, >x]iSU0ʮ2~ȃRnuRuF\q5&,x*`FrLjC{r)dT \v(r똛jEʨĦԝ%cX"Kt S/ʼGVM_ 쏏8u+cNV~Wdl (84R_~ϗB핵Ӹ_k9*6;ebjXo|W%CH 2E~,ZJ{o{l3g1$h@Uز&>3BA_NMLv hLCtV) rx"0 ) z*d$>1- E3ꤛߖlt< e& t^3j(F UuP1|hQp̦UЉ!\9`J~U*YM::R_n4 kSW ߏ=Rv .^&z -)U_骕 In3ݴtZMAXgZEuͲI^ CX'rUh[BNdH+&fUTFĕ1zԎ[D֡aE0ɾ26CA4hO>"IQu4 ŋEwRեU)<%DW՟6 ឹ_5]+<'PǃYQESa5ѸĻ́O5r-V _KwnXrs(*ڛ% +wo:AuDuTq?Ukx} VGbw?1)~oѿaL?ưOn 1A,+Trϓ Z>d].wU898ۢ{MH KN6߫zU[ׅBzI̊d.x #MQE@\(2zFsJ`7R*1iABj ij+nes]F hS>1: }.Pt+e_ZeYȥ.͝1lT-xf *+yL7<, C-Izv_Q+l$(ڗS?At ^8"[ijj4 0!`F pBkw"(zC`1*x0D&V$.fi اA=E" @d%>Hnsvxx1A:_7$ɾ qF鋡'y?PEj-'Tعfi[aR O%|gj GL]zløHg $[7a ? xl[Ѥ*+t>2E@IŮ)iux'gg k -3V-7&a7s{͟lND\Aخ)|<#&<`wؙ;Κg.JW\*iu4zXH OxF^AKҮM9H:ŀ]0:CF;{R~XV439%bn%\ΎޖtZ>Q BDloEd)!HYǔAK1xmJu: e[扥Tc:cXzW)H@8ߦvbx>ׁaF*=V3*8t8*GBX xJ_\eVI[GNaݠp;O@xziK- 2xv.-{3/$7G* NzE{> l,aOId@c( vǭdJFH+Z{d|3ͺ"knTBvnq>bB)[LQ!Rd&8j 2 ŋnkL9Y څo%w(X FHjl0 D:N5[W^g$k̶.8jEQucO%bu^jg&#Yۉ=PNlU;恱eOzD+t:! 7;\ۛOkL-1BI{} ;km[|4 爚ktzo1+my|  E2OeJ N;6$᫧ 9JNuiKDCjCB` -7₄#̥?57A|*#I-Ŭ'-yTFr$}##y'M٬ i쿚$ب,5 :IJ*Ph?0;\j{ظfKF.zKTpQMpGP#/IVæ4:銌LsVOaO<#_:rd |ha}?sfؼyHpy1A ;~ɤiVydl0]!:>p t=%b;jL(z}5)-:^C)ݸ#>l\2)t c:]|L1ٶ2%˜2 x ^;}WU'G LͲjUv^ Z.G8_! ;T|Ii#E$|ԭ`NO'Ǹ=l@|ٺ4GyM nz'(ᙘi2l^z%{.SBf5?L5 ,uE43zdȱA(xu,O#>l^!Q%3:QCk2XzuM__3aK" /J \ X6U2|.P+3*TdOW2G 잮No4 r9ih'^ڮe=DGi݇(_V~W"dmܕwobX\k0Sn*x\_HkBhZf%9y}HzL 胓@!]@dh~ή5d z1[J`4#\,ʿ a.[pxؙeԤb4`V(n1uHx Rlh%"aްTȿߠwu}~kl Xp}\C&sD:J47[Byh3Qb:f@6||6r9v"sە^@K%)ˣ4a`/{o-ⰽ*vWDDܱ"FCozygRгKr` 阐& GKNw5Wd Zywioӹ5hLG^oG8351Nctڣ,,r7C9}RXSxM̞YZ bڿepH1Uo8v96 #BQ>"F}N qZnisұ ʣ'2@ԍ~<_ $h2SwF&t,+D|xe,&&ͯXn#~Paj b [D'rBi jk㱵+ z0EOL3Nůw[0vY2Q*ǒr*yvl׮SSe'MLc &6ir^uӧet7"=\EP_y}]w/nG69:׳ 3N/`GlFQoo܈M&)?t\MQ7htPٲ`'`;S5>1Iz0PR/1T%}H`dTǡAn;g*7a)AvkB 655"Uz*(786w ˟SGKaO!wc]?IzeHalF~ 8}% /RJhAPW _ٔ!޶FnwzyjnbQO{!ZԓRw& #dw|sgLt>`֫? 11D]b1WAc=&(xc^./}w6G$%ktjoۙ J6`yBd hYkGJ{@nwkų~eGTH=̼-rD- а@7[1>L୹w73jPl![W# 0zq(Jql6BoOJV:ؽ^{L'u|p?@_wKraYCK?:Tmzk'ZHwQk/I;+0# |jT Y*EGր!{ѭ.Z V}уWhR͌Q_(2}Y Ԉ)'Rs]ϐstK׊ KD5M&Tcs nq z!9 %aWט瞯KNW<}YOWs|!`1ܮc`dE4r?՗3%tnL6VٰޯXBLQr>>̃=uׁ\Y ЀZ؋JS%>2A/opc͋J:[Bwl~1G_C.MIyl߉fjFi;HψnQ D$X<8֊LmԹZfv:'tBm\P|o[48Q|N %C:mT\v|/~t#b*?` sX?]B(HW"u:cÌ!7'h2(5_n3 F ,J47Gar,:|B{ ũIyY &7r 4pzRdvwjҧ6Jx`Bb1|jvBq: :,sD`/k@A~R>D6Zv ĔwO$2* r(ZOE|t}}C-7P۴='(֘i8[4wmu،MA˪OjkN ]fnpS=9g;M}@"MS"]9H-O3z7^=*嘑DE`qیgf 3kQ)6iȗB{@OwG)GjJ"(XCFu([2jx(bZ=ylb3b{Sʺ-.}q,l1XR} p%d & (|Qlwb] 5r# v̧tc!-vzaA2S7C9oF;L!~88vٯ^wsxc"'I7Le>ͪn;$p`L;}Uu[tI0&@f9֛ΰ,؝xdZ(ȼ  j׊,.Jr!tɱI8}<5T}LZ"**,!] wɝ~F-ݷ6hVT~;(0׏̦B_Ձ=_Zj@W"HYev)WKlÏ(ˀ4uf-y@?6q䒡n.,d6KTǕ\ΰ*#7~ܟfzW?=D&%YsGnf`QAQy*?keEjo 76'ͥm:;]ϗ_[R0'M=㬗=3U712od\3L6V}"a/L?Nb (U^ z#RBy ӭP)"Z~L!Ye66J)ۇ@kmlExxYJ@z[MZ)@ćSY#&KQaHymSCqiCc9=|K^`Dnm/|OWM}4WXS[[EuX=U=2Um/Yns"CddbƘH+ӕH§wHxֶ⩽\|./S#@[w3ȯT4w9úN}͹39R`0`tt *jG Խ C-F+ZBw5@끫nH=zbthA_,<ˀ6NjG$1Lrߡr=LV0<55IISP|\}oFYj]%PhQőq_w>fj? d،dɑ^@ENe7)#G [vMdnzRmPX&lE,gH* `f0tмVGb"bas/l?Z?h͵f}ۂݴ܀5'ԯ.d>-jn^.&esb{ۢiIQ]yt =Uo+*G>vʪOqt(nUXA4 j 9%DuN`|t޽ě6:@obɿ̆_$QP,ZSs®.u_4jQigf컞]f8 'Vb15I ƿMFYj&>vN5HogojोAY..pJ_>U!p,5rv'-@Y"nb> Y1{mxM޴h㖧KF^,kp8seB%]Sko#' <=nwT Sd&<{Ǣ{ NV s"dn%g6}['oon3Xԁ?N0bEʣDE]VölJ؊W ׏<ռapxhaqsp@CM6$~pᐹ٧. v:w0{ưtJg"tGr˯  |nnY".{5%SY4xkF?ܾ';9FoaX8~Yyk[vA5SQŸ8 J̐+9cV`dʇg3kHjܡkXRUf@D5{ĪZ[e!V#3wz=& ubzzHG}- Uyd}'#_]&MuK}v(:ĠsX|b&*fm\<**i9IvĜ l.a0g,q^Y׾IhC+}}Im3Ş4mu MX~ ikz4*3gkU$6e jG>Q~6~Ae_ o n -7oHpYJ[vJE"7Uw\(h#Ӄzď5) >gA 7|2gxDҾrm٥}Gbuz:A">ڠ7vCVBZCErP] ~ЕAܷBKi-y(j[UiMlFb0H6;}KćKWTw´pOeꐮot>MһF W,fZ w-fYiVt4%U@sWF.o5wS, ^|LyAR>M&ʐ.~L]?L`ZQD?!ѩr4<:X7 ,By0A chɂuA'I]0IOaȇRdK{Yb(ͽ*ɇZfA6f%Ʋ'Bt$ nj4: {M/g445M/=\d;nu/i4'!vM;ǁcn8*!U|8J*4MY %+Dm|ӒdIBSlEDXnj>gCb@EpTxGɳt' h[s<~EB$ h0kRD7 2@c> Oq1#쑰'$}@rFJ0{7PTcCnNmD4C?hE:Ιaw]2Fb\;g)P[tuQf}43s+ tMznoAK=u3kaPB? W9HV: -IŸ~;Ӄ녌n@ {d'$B8zņu}M^F! vW:Y#IAS(dI:@k~xFwմS0 hGxmȀ`mqh;`r#@ȿeSRX诒5>ĽkLxEf)vN!s1 (* qNɯ:\n\`Uncʥ^4we69v1&ֵp3XҌ]ls |R mAQܯ~uQ=] [&(+mZFP#R)N>^>eGl)26{QG t릣'0x4p]/ĐS<.JŒx001/Q-M6*UfxSE!lI5TD;B\lImndˤI7yz6TRHUwEQwHt*z}jox_VrSWC-~zA#{Ǝf}aM~Rh,T !4