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 H1zT$D ] HOL-Corec_Examples:threads=6elapsed=155.870cpu=516.744gc=84.4527zXZִF!  ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7ޖ86cjW썭B[~l4?}$c >~m es%CWg\Ҟ"$,{98Gٵ-&*E?R.A`A{ [>>k-VwxtlmSX5kNsA8a 1AfojHB1y x[b |攌w7řXG"=j|+, 1k!1V 9d]wW3J\#X!q!<:y17G/\:sHlnGT)&]m• _3H:޶j2igOnMRJ)icV`6D qq@rۉb J%7fSҫv Ziu(Jr"#kI69n\+>o=b\z<pbI)gU$Wt)!0B%'ͼtuԐhj|- dYZy\Oz]2GA^7ڳȐenѳNn9/4(Y}yv:kX0ho1;* w:AuOQexhnGShslZ32=XC7&1N~*tm|w5lo* 9M \7?ES\E0g6W`Iw ఫ͓89+n 1|v"jN.CU4 供%t-jΥc!*=E.t!]ixCد5v#~Ht@~P|;4i\gC/?`Y^i½=R(ŝ&N@ h!I< at%f\٣V 4 sd4&:l~%# H|iO<_B0/$Ȫ{l_:ڊ77s,ny! MHeA(L1Q/ކcgy1G9xׅQc"7B%xV'e9 E˯å\|Q5E2P;&@E u/WhUt¸)Rcp*BCr26Q߅_TX E A"Ykdzڑ[넉bj7lAZƴ ͠`GɎo▔RH4o- CP^AliT:Br6L&\}o p%)b0%I9b,8t]n8cN , J5~%=-4·5Xu}r1R{h ]?>OsgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩĕ6zOɼ=)^7},_cR_!m" =jZ⨲A7ږ&Ov] Uϳ]x B(PP )&Q`/xF^%ƿt— 7Wk?@Ֆ*"@] ĮM=}r<K wKlhWr&) ö AؓyGz5pU qH o"q9Svz|lmFBa(t~ΠϰY@yEw@kȼE,oBzf`nez-II/ 54qxpXS3E՜^*E<7[njA Yص1 FgYZ7zXZ; 1 HOL-Corec_Examplesy:~yr1SG < 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.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= 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"RXL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZ  1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZj 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  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 R  S-RI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x(-n2ڰ6u)' tH"5epa; cՏ*шny90Ô+yTm++ʔ"N$|3DdWE,cI#pu<z8CyB~M;;(+' R]#Y"}#4}~r1p># SW3gOF@ԩN:(V= tWƌ]UzzLOb.UNK !$-[t>[Cq0G57MȎBݝ|,1@!KUOXOƞc :4T0ʓNaiJz\QO$[$ S}k JN@a"yޭiuN~ {viPJ֌ "AόPcEDžާ}U:GgYZ1I# =gyJUcWu?x{9Գw+"oG OնghY2^<ufJt!4<8Y2Ħ'E&xA持Mʴ)hLWqgD ˾Z |*ā]IrWP(%_ok=~˓Ժ. Kj-qtF1 ˃a>vҍT~@k;N$t%`Prʶ%_ZtYl'Q)l!>8}qEޢŏAH7ps'Z9 T/Uya*$M?cXԤHV0ňW)\r9B2XGw|_.0Kn 5|sA݋nqK5k8p$?*Vl` N/G'oH:0q+);2kj'eA~o]Oܤ*WDAUe.+Iy: - igG"|XRcH`閭' =cdH7ܨ _6N VqC3@6s&wrchHu5B$:'K&Iz45#C9y "Э ) [jbq#ss~h%Ut=IЄă,1񛐑}nl{>Ld6pMku?j_&Ac {/>#n[o)@xVN̳ylG9K(qڳ@KqFx$WQ%þW\0}7xinr/ UGSJU8m+$#NJ0=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#!\ ~gq_l!T$^w!xOQv*YDG9n (FVm<@vn#+T-1hKPGK&VOE+ٳW0114>f[[6F"'%uی)\!za6F2H"EX)tWE3'1([vv"̐ R30SnPi~%ѶCοJgѳ5s&:IG$ 1O^H_jrMIbŜq޳(?UcMX̘%dIYJF=`Tޫ~y<*M <^OԬ;yڗH߹m5VPK7)g[4vS{?ϓ>CtLLAqI'Ng,ӮL^D#X,$07>?x 1,],ϹఽPbnƬ Ea>`NAӵi\Vdy9qvӺ7R!q<U^PrzK;BĘt`Yǀ7ȱE0K[m`dbG'kb5yEkِB:_MH?p+aPoĵ{fe+\c@&:[j;wZ8J;I]);;%Zh*h9t% 'v,TpU ĩ,𠰤nMutV Zݹ(+$ͦ@gF߅ɁufȬ3=nAZs / ^bѭK>#ץ !K(pJzR>zv35h>[֥v!_ع (EGYLKdy)3#Xdڴ55&T*J4&!Ҵb 2 Yi^)#N+^z tSݰAFd Bg0:¥ACOYaue^-GaߎBX%6 7y~T ,;MHoy8׈ @~ @*I5/Ljg;dnxXӒz{ UZWmO6dZywVkǶv4%f_0S%zo2|i 7 ~ٖQQi2y+ӹq9 cC4E;@\o!ۦݸ;;4آu7ibIpSڶBFxzݴa\v)O0] f)H7h:`2N*Q\x_Zgf>x(TX@ jZN{8:b,d3NTU=(e]@ &*aJ;UQ,z$WIW@S,5BP(1泶)z/YQ*ܑ6uj79k&aSc&:ěʦ2"7gB* Pǟϛ#.>@FE-Yz8}X e1 cAƙ\| wՑ;{q&Q-n\vWz``~) E't),cWm03& spm|÷owwS6 p`@WY/mV[58x6sa"Y kys'2qX Ec?w-"ybکs8}ExUdOpUFC 6!zEtNq^G層KwCVҖRsx&t_7$e[*inAo:^ K0i =b Wڮ\@ݿfD yqs0P8},$o_L"'aAǬ=C2_3.hri6ոѯ\9定uӳ*l_(HހhQ@7o~3wGʸ:6u޶ ~/0 `vN/fӛĺ>) DmB|`gm ~3y3}2>Lc$(GFt+"\Y۷ƿӗ]gyAsu,Shv\hT}8ŖCF(GûzɣG ʍ'ܴlCbwz%G o ;]cwxaƘ`o,P 6y--ץk̭&L$ N<,~zL4":0+sތǃH&jYt*?0o[Mgr}c 3uLHJYB\CE1f*#JࡕzPM&#ݵnߢ<}~A2q4 ژ)-n.szgS % 3@t-5b8[4n8G#F`#!0?' C/|!i̤qPzHY^SrvBre%5M1ҋ8Hw<:(\7V>LOB%u|<ԎM"ڡfM/{=rgzP!qo]:sŨ"1oԃO+LXY(H?p YߡS{!Y|02  M+~6v =Dt\ :fǘz}aģHHv:+H%v8QE[Nvn1[%^#n‹#PwF~ZZѭ|يA N|DÙndF:~PprTN;_2ݍ6:| ?RbImѭnyI,5HFe{Վj=Q:3 7ϫ"8p4 !<7S \j9d#$`ecO1ƫQꕮXtJտU3R13l0~JPF%O#w53)Ъ|-I+jݺ%ͦQAAcF"(32D6Cf;g]㙣|?ș95@Koޒ8h+ 2eu&tٙUyb97*k0(#7}r)+YB[n]WBGm;DR'%GA[F?7hߕ/-x\/` F]jʮ8,mnώnJ4ciM=$ٕ\՞&ih`g $Z{ &8aϠCs۪t| ,u\G-2yxwnfdN](Om-ߑ)?ݎ ōcV",,r6 khs=E8L m30PL^Md:=+ #gYZ !!v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\ue:꩒BwZC/Z+nҝC2˥QBђ Gl=_K0Wy,͵^,݉p np:neXZ1Yi]EzIl"0.;@Ih#;oKԓOװ>rTX yI4u $j?6ri @0yVq]@WTL9<.-d6־XXt\A ^DccxmdtĂ%!{bU$q]#=%'#Jm&&&ᬰF+woZmb,ms(l>N%͏0.7+ ZLo!)Ԇ!9b+S)Jq=S ̱уZ%v+2_lɓRH=Q/UsC:)$d>yd^2L6Z?;!;ml`m1`=o1,w p''3j|Yibr(s2l(洱Y~gYZb1G# LHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ]]ˠ)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/0 dKHvsex\^nWe7C%&6TGX}%(dRV7>ia›L,|qqF kBbz~M|6-yIw!ӆyR 1ۄ`d >GDAyG=^SXݦD&6IfuF7d;&#Y։ ]IeTA0fŠ[ޣ"7Kۯ=xlW> ?k$ :*b+EEHN0> '0p)=znY'Z _ o4j #U݅61_ ѐJ娭 '؀.] )cƤk1g5 tcͦB fuyp}u _t|A#?Nё F'W3bQ32F;N) y5OMkSe mqYǽ&0сKSNSє S]_rkEWCv'~郝 4Sojևˢ>؈żtEOJ" .|xx,j.z=^eYu Z^r>!dmz"i1#cZMg' K˜䤩zj_b1}+rP%瓐" a ϐ7u˸9t|G.7bnQx[_gǭ[;h_xnb:\fF?>6I<+Yn۟FO_v9altf"Q;,9'.^1ͪ_Ƿ^YQA^K g:vnR԰3Am;F7M3-F]ƎE:o,fɏ?fIJ. Q" k;ٕٞ%}y@]9' ( l)IvAe!Iy:[5d666ǧn/TL`w❉x^?+7l^w k2J#6 ]w v>y<+@z0XpN²M5 ` |C$|1ư (3P)[^(a_AKahtɀs7M3nlPU 7}pVU_9aaORp>s !XC1V}:k3Qg'SwMv43`kɦ &o(w?Ve+VI I9` o<쏘 Y~5f2-{LRp1*c].\݄aAut9PS4)?4؈蕉 kl}7T:9~M8`=f"8qGN {%^WQ[ cLSVr|a:1E҆( 6qX+䂗{6 f1] qnjnu5KSg뵰N<r e+9*kʉԁGC! l5`n [h{IK U@oXPT[Yqm|h:nsN @M 5/H__ !{ʓM&o)%~ U\(B^Aljl?!cG$٭nQ?hGoYh ֟C%4&ջHbpẉQ30S<5G$ey.Y"OTAE(C±7'|-@qn22Ry$~#DSsqT 49paF3N"{ 5pήb]L1#Hd#7/ W:nemw)ȤT P=%ýv '(46 ܤ}}>UR_"ﶕ-mh&v$ڧ4d _qHRC:9OTel# 0&X U 5ҹ¤Eم6$R͐vQ1?Zԭ76W$U]؆h6`ZjDf&]yi{Qm i"k*\}c/b uS3*-&ȢH"f~ uVaсnzQD؎<9=".sHmj ^[u+H؏؏[i%::4.n!pn_E Qdﯠ&]DŽ aAdG\S8וK G|H 02LE7ud9Kp H1K!+vN7T lK@sa|ɏSS:v!)+ߺu{(PNa]oFPxh"W VzͶSUGG5: K@ @%e'/t_[4'[bDrVw^b?s@y\X͜L;3]*AM虺vwO`h[PF.m#^J=&Ay3麬s&*xf5HC'tT_}Rv7ƉlHnKGDRn8*}n1U(&Z Y$ a@b^Q>pqocP6ش ;槼o;Rx6> o4bϱUhzMGpޅܸ o[4ѭ܍2ۇ;&8oK ֙HEt'AP!90=i7H'`ry-w61m]V$bqD-4ל㴁0dBGF3~+$!{c5AAQ 9f ,`vCA=UR 5]{5IP.F>0W2'qY󾅧Go*vp߾j<63|yTsзR'!]̕i?GBA54HE⾷Ӏn7XNވ1]9dKdAg*>*wG0oXNx3רB$Wod2՗ͦ,߀lJS4?H ɳY%"u&zdWK@8qE"P .!GC!p x#$A3 %y$o]֋ah' Gr1∻|MeGm'E}-+cL̋ZQ`|Ş+-N,>{gy"nx_U}ȵru!):GlLc`Tv8SA7+4ȴZ\ , ߫$9]q+B[ѓz?D赯aX z%,vZZx̲t*Y DѰHWX΂q̱.F:A=uɎ#8rbV)3h.05['I)ft&`Z2|0EhxJTY{;5n1vFk x?u xOڭvܵxG!hC|f(oAg$le:![$cGzO{Nna]4,%4Zrrh4~+hoIk mȳ'J+a8v8xT1K+B?Rݬ, ebxeFP\e26!4?v* xa\PN΄: -#g>^ONW:mTߏkIFa]ƛ6Ē#t?n!&i2᪘=iҭ]/)>, ;yX=ʗɁtZz+bψf\h7*n?2t+,A'-PAN^$ Q -?;It/r#\|jt=UW+b^_HԑSL^mQL] l$O"GJI֩6S,}p_@J`lJI۵"m9g4kB/IբumHxx=Jsγ ^Abb7 nZ6xtl$i!(59# )=5㎓ 4ZW- hNm]/8-j:Qqי۩? GΣom3RDvВi&XN{xг<||Хh7mE9]|.հ ~t>!~L ?$XA3vݢI,͹K3zpcY:8F4$hGGƩ΋gjyc#e샲s- 7dy]A@g (%~D.Ng$jN!3}x0.Mȹ=U -.,m1D#r\"j@y2_D%!abI60 cdKU5f?;~d&wVWW8 a b$ Qk]eR`% σ%xB{J:;fff"L]w5@J:6ZPD)5Pߐ@r֥.`}|Dt(g ]Lqrr-X 0_UJ>М@YoW7A;4EM]CrQ/p{2{@@n?zD:سNII(8rsKkc`[;ˏ h2m 7 ^(w_KJ_,NܔIPX4h.N߫ \e\<&p4S-5o* -ZjleS"I&FRy-e+K1ƖOD#XN %`V*LLn<&$>5M)S*͕yd EGô F|L}x\PLG:|ct7{NLQaL,|%NV֣Iod,3A\!E4GU|ǜJb~8TҘeV?4XggW!,@֋:/$]JG]h;GeKŊ׻ G=&e(F9rm.kfDT]ۘ˓fhM~Y65}`E/-S!)-mRSNJXı5?;R 2(4M [  xV߷UX}:bC5)r F dB'0OkPtUќm/ sONjcUPtg_eD4Y5;zOJ7XQ}!|S0%7PUfEKw\Bs su4XD0)8dVCoyt=m[Hʠ3'dhrD~oO4B/ a;0[B+29 GtKX&KPrdd=LFK%$0s9E:Gf[;p} wX0%e*#6uStYs9 ȡ܏)(Ug_-+/sjASaMK?4^ ';1 ޞ,KO<Y^sOO**k]-ǂiў =d0G ?@ 7+OatKK+B5KmfxՕ0ͽ5eE9(h@xmp=:/TB* ϛctDCCDWY|,_ؤ*ds='q) d<_kr \p6\Ru 2$coɚ,h$*, ae{)}߿Puff&Fjel%u|J!CN-q}PÕcHD3 ºUW!H?<7<\ݷr ;6*2OAAEͷ@d5UNEQ (1R~]9u't k&B@@cFD+m ]%9UZB9۔{BPLzJ\jf(22N3ER*!-ul]"(5c:jw ^*w{lgŨY y&z@uBAYl1iCP :v(M!1S8Ctaf%=e"}.N9 (Hp\t^\udPGd3 mwPX!LJ"C\M9Ce(0꿭jnI-v(lג0a[Ҷci`qJ7/lc?؊o?Y72󿉭H¼ug  ij؈Qlge"yT_T~:wbٝY k C/Y)GM2UH;ʥ:Sdѐ@`F.8*i5^?˾X)iDc:TL]pfqX͇К&f;z^[h t^Y$Y7ǃR+IXueEy`=̾v"*_])GQ#@|_ExwNURJih"]22b*0x͢Qu]\1XyQM"y4 F @>ke5B]ńە_젓wYG lKd\(sIʢ%tbA0Df ChcRy޴ck xm9px&U]GvmxE!=2WK~}M>'kV2li+Z]v[#G~gYZ  Kh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5421O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\3!촜t2A,? Lp1M~d=%m$rLQd)Q?E x@':̷0+`HfĒş7'rSy+"S񖹑PU`V}ktI: up 9H,a 2{]y{O*OV kXnUjWY s+9?1s$BŴV.\7F,qu'ggps +CES<15-;G\bo[vȶ1g\]OU0?-=VbM6+Ȇ?q""cXgvzBo *(U~\b7~"X_ ! $(8Yk7&0]O8bfZ+T[.vZMwmH| [K.xz:9AzLu/ZM@%}Y1Azh\UVDNe`ho0W\<{bB6GVѷdP_nӦlWJ/p$Frd:4\{W[؞EC$Z 1]N /9FfQ^UݐV^nCwCz!W X9-Npc3 (95B 1p$BKPV̒@ƫ[qŗ+&pns e5/5Q"1=le2&X{_.!A(JUFk.D>jt8BBaП(E[zjuS(bvRsAj(O40*ʢCÁ߬3 aރ@GwΆ(ja"@4 & f  & #1A# $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 ]O*Uec LB Ǟi%o-xo¿+Yr#R#|4=k`SDG! `J"Nݱmgo T*Ƕ??ck4{!OVdpyBJ"7Ckz 2D-z=icNE*KZaK >̌l`^ou+*L9n=W7*&4CTK}VʼnŖbάԺ܆p(;wnOyԴG}n6Xy F?lƯ1w8yVl@y~NZ;zUO!wwo./b Bբ AS߿ NZRٕ| 38'F@doȟ@|=Χ0xd !G+łV'^)?t'-8i7AKK TVR_g,r߽?ctԦ|}fspjQEޔpphl驏q6 ю0)FzͺcRP@U)jn=GCSgE" p n}#,П{XZYD'BI676i(2*a-]tb\  (|~: B!=b wuaB ܹsMm^þ?+uh]RoԔ¹|8h <Щn[7l-7TP!c@JZ1Hi-'8n٭Bj4ew{%P?{3Sޥz3 "ۢ>.Y ބGHDáBȸU%<օ7/挢r.ЄIW 9ra~~`a^!cpDQ,&u#cN,)gP)SM}F$)T]((2,T& ǧCH9ғ twA@@5zZMZf Frf;I\s"oXs4m XQ$bRbD߿!V?3WMپYJ7(»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y (*=Ję('^(K)zS';{s)5Q]3'g8os@TRiL%3|=sYTN r8lNJ/Om|x(WCP3&Υ:UK!xEءUb2ܶtRtvn͎H$ZQ3r;6hYh7sU#pЮƝ">pFV:⃣LzsiAܗT7lVv=\='&D#փ >HR%Sب %6御YJ-1Z}vS-[6qr8 riI>{L+*1ˋN=1꙱Z_{yo̥0lQ_Mn4a )Hb@P[+hpNI«])l?SvҚasm;]h1Y jw3PZV/:5-ueE g4*`0z)P Y~(Ɩ[ Ԧhzr*,PE \, &pv]dz9 q=6uYsQQXWx3{mY$ŵ8ͤwh,:P^`U8X1EBѵFu(tf-+T\^ B1cQ^W˼X_)G/b19oz'bDքZ2 JO,h| (X$cqd8vǧ[]b&WYf~oD%a m_ȫ +}V19y+W ӤX>Q+Zl]؋frrp/4dQVBhR5mɯ?D R!{KɅtl0qhpycF,+r5~e)%oUM6Y}O$%iԜw 9H R<-GO)\g$sg[؉.حXtQ.UT\8:x%.ٍ4?cJEGA,s7=9q57`C!,dL2U!S^hRƞ>` nWKS˄>nX] 8RlݏrM0y%c[Ԭ q;w1},9_ |iBQ@%iWwz1~WCi_t?d jhE{wg}h/dg͔wJ- GtD g(tz#kKq@Rsô"e-]DK"}(uߵMdo7-aL:֫߷nk%*Ӏ3F jIVZ~o}rc,}Oc{m:*[*(wҬn`#)U}2>}Istq)8&P,1ĩYȪnB ǑÏhL)k7V 3iz]aPJef.7, 9'PfS;nu2 %,]+~o3LlS. J$h' (YL*@_6-m[{{9bx+FuQ !V~oۛXVڌV)|頩xo}>Lq˵gYZ *쩼'E?#aUic >='6#i"^ޢ'2_"XZ]A9ar.%{󊜱(^NHޚ*0*[-g qLe_T}?87qp5{ ,y<$aFZq@IϺhOQ[~%,6Adtmë!htًiM/r+)QVNhcsmEM;Hn9ʦ:IN=f[gE R :٫SodbextO|?%!M>8fX7ۇqP B_ q]9"q`,HTͿ\xXB#=M3?TjED-_kJ%BR+o%ȉ!SJur/`{e7Z*r.#ssP;"AG\tu:jvͲdr͵ɢd-1 +svHcӄd,)M!4}Z3rXK$/߾h2 C5a`<*sn" l&7#P')TJ0xnsc$c0ufWJ{(%mUbzzwfί͔ZbՃvqB%~uhjʹn` Ɗ.(5]lEhl}ܪT@α`V\q 3_kDƗu=j; '>ei- 7ΠB[M?!;v. kd G buH~E"5 6H}dԸŻBzC?q#|eCFy k7@6Us|tV;N$Nk//q: uC]N9}"6reSK 6vl!W٤ڸI]$V&kh=;,_]{#1pVQ9ڦ)V1m9*<-Lݮ,ۏd&{Oc.N4 zVXY ZcelM„ ;᩠ʕlt7z:#Qoz"1DJ:Ͷla#@EVZ[ԣ葈OJ tO+ ]Ų>ȿ!IkE=fx`ڧRMgFp͏Zew.{֍D L"lL ɬ!aO%m,pd%3&M$4@&HXz}*`c`?*Ήpv'*ĈƄdmyQ #|H2$b;i,b,c@AO{pFRQTZEsK= %+A(vh,E?ȅrERoY t *;؊fDLt^ |/|*4,Qw;zX+,?k٧O5Ky\&&uTa08+^  F=}cmOiSRJ68̢b< r<\VxI3xp+T^vt5AfMcEKfNx[@2[Adf NɝQ[ nFJḼ 4+qryϓ}3*Wamk1_Xz'aի VPLL/Dg7#Z@>~UZu}bu  Ӑy.U!$ϺO=2yf(֖͌A5yDdQ btyظ NzD&T1Fs+rFzֆJknj#kHj1꾊=CS[c߆<p|^n`de~POz°^C3 {_Xٍ0)OlB|Ya3dv^"1'۞ XJ߁^w=uW"1C/=,3C~I3oN5}).Ě#eLB8/NO 9HA I,=sFNʭPERv9T Ť1)1potuZ aMQyq&Lى 9÷:~1DAL$NSutF)v 殺">5 IGC֟bJܨouՏisg:ܠPZV:u+r^אּqćM<ʽaPlTѿ0t Z*w? ZbU1I3<OCC4kk;_P *dj_?zv9]?C}8FJom΄tZt}d"l^g8&z۟q8ZS"e]!G\E QYU09d)CS3%qeHс)u}ԭ<"5.OD+ۺ,\Qѵ zeP"sDrPtx`mKg !mUA a>Q_ M,E\={y*WxĹ1omKJmkNݞ>WT$ lda0hUo_2]1(9gu*': 6=f9rZwq"SAQD;[͊?MZ-4 @=‰n#X,>lV,.O)8d ;wogLQi`W3n,3$dy% 2L9ǰk0Ct}PiŽ'kz ܒ3G?W )&>Sbb4Pi`Uo 3 /E rWG]ѷ L UxKmz05 .fQY#`i>_ӣ%814Niy$E]H֍, "TM=F@5bBZؐj=,ĽQ]Tq{ =IشjsC%")zI$+&A43>0e iX FϦSGF=yVAV)z?=<;՞Mr~0{ U&"e\m'7>]|i̿' d#%Ey+σZV/G *X_  d1ꜘ$cX|K|8/vNvQ N̠ہ-V|Iihck䣸:.gLCyv:GiHWJ/-<̈́6wCN'Ѕ8Z!r1ʶ2n,ŜZybأ# )r֝N%$Vlmys*`Z[a(NwS׃8擋c߾5~FRi 0ùQ 4Ty ;oZ]Oe,l&s`qAQ~rZN 'f˰j= &d/ kLaFK&1SaDnsh\W5n;mx?qX5+|:efwJ?iA.xR쬽K(dSlM)Mї|6M(2>J=(DtoX h$Pzt@tgqxm2K%$[|M)dFBH6-5_q9~;"_U't4]:)-<5J80nġQ[|fF/_:.-{ԫno,0V i%\"kh׸W$oÀ_3:Ud>cQ?u?|Af,aTvZXaXVPɫ*@ug̖}Y ~/1J._Qul]qN9YBqLث"j)6B=aʫ/Xemj4C{bO?3mf?ۮ7oTO&a%_oϥ > 0A^z 4f9^Fos&ȋh$ ꬃ|\T4Ҝ%!2X*oGz ,>㢫w~n%/ HMM ӸgՑ?¸̇X8DV\˶.st|HW@il]!NzcPE jG\_aCD2ΓZ6(%k qVSO%p.?2fMeDn?l"YP1Y=GRKҨ},E8k)R@|u=ץ (Fհw5cQ@=whrGFЛHS;(ZJA"tbpg.0Bb7 Ȱc9s~}՜nyBX^[ ^"^;)90G[j@* %",:g^$`ootaI]}\fKy5\Ǽlq+OH yP"@xGpcRڧyatK _:SY+Z@ͱ8s ,e9ٷM$Fh5u~h$k`u=AٜFnB/^V@dz7Tnhҧ#u CZ,)tM;cVfqJoߕk3ELzLPȍ[J $PԖ&W]|-~4^dAy:*J> d6˻)ΨHqN'骟*7WI?qcT2vX|&B@9GU D~'aTSe%<^3lOjtZ!Io¹1HWYZ )˄mǶoYE\c͹3r׶zQfzOPdۧk..M]̜tG,R2ill`m܃I)6N Ӟ/!RjZMhdۮs%|_5EG|hq@lÇBX%I-M! R|2iM.ϩV=W~Nv4&r`T/̱vYr3-L賸/H4(=Tb?N#bGJ~D0f,{iWoƻXpL"5GX~ϵ+i#(3(%QEpzmE,2  kMf'X lg@K, Ǧ]ړ{@FǡEge&`(/lEn{E)dm=MrÀ!{5fS䈉Y^D#za 8,x,KӿAi׮jklai̓ؓ5tp|ʴZM\>ejS/WIh:ێ\M A[]v3yt4=C/4mXͯ(tʣ7sXH1Ys>Mby_`wRDRt&~'FO60>:go}PH5ZSh39q&R'橃wܰ:d,2>8/5>gTccMcio: Ci`˺7"t(r3QL=4èP#| v_3W*k*43& i(/16;Cʷ=:Ͼ=. ^sUN/T;,x  ?>hgyP<^߿q6c/ʰY{ ]S=EZ2&yWڙ8EwX];Qh ^'9B7Ӕx6O/=9^A,RR9L5.&Y1}С um:I1^F80TyE>}MԒ?`vVa($qioκXh(iyMjm">ޒ\K dQ*p *M֑+UE8! t[-ʒ6, d!E>udIMGvA%:=|d M}0|kZ5Cvk\uuf7 6r70rX̜R&5NEbNG+2,wme[Ezж=>զ1h&q0o>pbz-+4`iL]Nq^.]Q3 '=8p)YPFVCFz)~Pl/+^x48TWG?9U D5(X( bsac\&3n#ԇBɛs36C_zAk8J9{ڲZDB.8u ~y6fT0;} Τ[sh9Um֝p6&}ɋ4!o4O8sp|Qb[ /bCR9N?J!pE$LASG~)gJ(ߟPұbH AVG]'3X`bnB6ߛ!=iFz0, I]T2o'Le %/e^| Qm<pi~E$=)R-Ql/0L)&T=йkDs د/q{ܞLb8(u/Y.=#aB)E 0(ؽ󻟪Vwy0H*GJ]DZK`&U0_UEJm"T0x(p]iuni_:"?k֝"7wefd[3gUæ}u4my :-FZ@r608ZW_WTGvL&4|@><$㛮C[^O+!C8}|ɂԳ2Hln@Fg}P^Vrۗ[X'Jh׷3Az3Ұ$JVtT"(lvrtdn700NYq.#2DL$M k|O,z&>;{lbzZHzP!\sT0c'EofRrl[ S?kkf"v@$%^t}j!ᑾlY e9{wU*[B[Y}`{H:qʲ0يQ̜V1ޏo#kyP l*-'?-3|Q%*`t䚲 Y|V;*>f˓=PQҟF;]W068Kcː zh* "p amn22a liɯbUWЃIxBDdo{wMx_` mf2Ɵȹ_(>Lp:B/Y+K^G-I$v09p룧 A$F3c\_qzW.Q^s EgGEYҪ&葦e'|QkëqSvD&aB)-4ׂzAYd2K^X(JbF^|ٳy/[P$PPKj!IP0NHcRV+wG9@)o58pv;AS ҌEkcﳢyk5u`*r \}Rj, XgZlrj5K#I"/M$600w7nT۰Oݙ\j^iЌvgNa5)nM$E EϟC3$Ԡpd&[߾")ARFwXH8@9:u'B:> īib /+8q–y 5]GT"|Pj6r '(TaULZl3!?mͺ7kLb ENKSl_uqM@/,DE#TDWr&79/)Wԯ()En{xYQBrM&~|3sZOK;OӲ-ht8F1qP.0ͳ9|ءHl?8af|L=%+({sҮc0;pm,C_A(ZHzkB_Ϥh BS1~c85%A% E-c3aq jX]pi-$!"pst<b"@[zoܬuӠ_8*7*2h-?V;W`>w%'{.z2 , :I~Ib?UR, Jb5q&/ѕsFa=- 2WB(V$M3ܳ,M*s|鴩!j!?c ]s Q! gwQOL5X>fKF*9u&t̽<_UGݭ7A/4 O@yd({j/G[jNަJŘ _& T}[eOc:mr\i$lD_pFoM.(J]C:il2X,9a:ViCC#υ>`XN;C&p- fVcp(nƴ/D }  J5+WA2FU,}?wSqEPjsm<1BN_!~sEFڔwH;ˁįDP(,=8 _*PwWCƌemy/gy·J(A8?y^OKFR?8[(?`d&vR=w"=2-Tt뱶-T8!R ĉxs-X:Dvp=t-fbzlv #44d>oCc7ԦMDp]E?OWMd;{h+(|H6x2*،(,Ae-4^`-M/ADJWY5W@?a^ 89XI{Gk)I&>s9-X^eRF=~ϼ2s)58H_X)8{8ߒpnJuPx #'dܗۯCf̄8`Qh vd?.Lr10N!Ui l[LD@?!hM`(.3(EAO@Y4n0t~LPJ?/u`*x<H^0 3[xl+rYւē~[?}xWp[Rw8,(^~)ƛ4sCΆKsZR2B۪[U>TU6~ybW"Q`"g5k-SX"o)ފx,IhV{2SP-WFW?q#yq4THEmT`}j&Iܾ;K7.`5e^#֬h">`xo/0/}=)b8M4d( lN5{ij@4p#TЋF#R]a[I%&훋)7I543*{uۨ|9p/[]9W,ȦL!INb3jw v`j K[ڭr[2}HJKٍqM#R?'uZ;:VC +8q \V+&5|*J^.VKep"|=XF8dNR$[<0Ž?F5A1QsM jv:" t5b/c3?@ėQ |*Fc ȬDNd *"cdƌQu8jE\JO 'ڼ#AFD?h!gB̾"cy,<1V\W]'Mu2 7L?OfR2} i暞X2Bk~XD.?xz%0m(`_bS¤V:LFòZ+Eybi)Ӑ"XIe2$p_"M| Hutm5f?TL_`zT>,XZXZNDQ)'ȧHɏThy x5 <YdfB)^S/M#a9 `+z S-;a)96 5ZK]1'5(RFj"3S <[xL6#6r dG5Ie Y'ه ʷEXL":λ4VM3Neh؈Q#\,"!3^]Ft2(Ƚx-b̨#oC%$sk)Ԑk?@(cHqnxxוN}ۋ\f{b߂F&61.b* uLn<_>qiy@bn3| uLOvngj3Q @MVfNsǾ\n- _:+fj8N9J3ʖ:Mť':6ZY$W싶mfE=^Kޭa#n7O o,Jm&{cLAj}zPN4ϥ#4|'# rY5!zh hɭ}lLU0M .|@L@OH.U4ĩ^^IL7ggN_}?&xq#3xX'>a!Չ}ɏ5:8JgUKOx[\[;3ULG ԷƦW>W k@:3ek=z0鼋GL !V[](phƚhVqHm(9 r*2w\6z*ZhwO-4.Љ"KԿ^7]Q߲ XBTpUo2ayX;6i |FLxizFi'Ύxehlx<@h$:ӘPS*ObB0+(!!bOEt{7uÉWΘkŹYJQvN+z4 MYPTpԬCK,P7xYSs(cN> Eݖ1l{Fmf^:Y"ĹBwYeR\dXQ|7 od_,{S Xͅ`5dcl?wrW[/gunpV`$:N1F~0 yS˼c^YtnIh%+^ :H<|z' ]^ K90u@SeMer>ܕ$ol̒ǧ|7—fyC=/p-ԯ:' LlTJL"UGZ{Ӗtڑ0%73$R0q{},@Lp['5M ADPϿD3XP>)|&7yL~z/)rUw$|ђ~'(6zbm&tE=@]v'|GY.pvY^(W{5Mgk˚iBJOkL _MNeM6.޿ʴ5URI 3w*e0Ľjyqn|rsQa.\3)")8=KH /]PK'ZOcoX嵉FzpYY,ӑ36,!gI%Jnxg%T$5ąX8vնԓأNqqvXmDB@vGٔiq^4i W뿋Zt/C!'sehb2vT+e;4wl7SxD^@G4ɹ #Y$ 29r_ >΃ j}TGLelThbj~é&nR@8 FZ okљ`NM_/g4"QSX`.W]OBi@(~ݪ}5-5J+{WFX7+3Pdcv88>0 eqy3R.[B_Xu4v%[=OyH)0MЭ*cZ̩n8kwBMR60!2{Д4Vf~=w̠ӼxgKY2Ъ*'԰Ӷw8c~`T8%_{dƵ #2/M2*CսDŽ%é 2Yc#L*c(Ui,&[|P\~[-X㼡]텦 v8/C_p"H rzI<5#7H}č,lb#?׸Oԥku2P6pY}:j˝~t[@Ť~]=Btkp Ph؞Ezg'cV;|0tYF~l9yN+%bVJI7 WZb7uk(`F5,À}6b|Oi]% mKtY%60O#Z2記 NY-"d[LYG]# SL(8, 5]{]RohR? !&f@6Lz,#^(Ȃd d+|/d$³)p,(nWu~OFSDQ;hlȽK&*qUaR~')[c'p{GI,Nv>熉 TM6x8Q)$}3o pHc^7W]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כۃa5Ae*&#(`̎J)}b"6v>bxz%h\WxQ*V, wbBR'oIJF {i_v&Z+" eE7FGٵ=t9Ϲ@A~.X\\k[@NǥJ;M ֱV>ﶾ _UBnQq[ѡ}t(*F1GC74*7߬W~pYhu'i[Ȣ4RoK8sv 4#yD$5_Uƭ uub?p⟦Ԍ55QՎC.5dp1!8F1E` gh ?a%:1)p{յ*$V%=*lmNs)\S\z' | eTer9}ll0$efoD,ڞL~i O`jqMñxzvGֹ߂i7l4%waT{Qmz_뗗+]#n'(+!Mӊ^|HijK}!Fz,8DءE([v"2 5U|^v#D߃ $z5E(ێq)50H0,?>j]s7:Ѓ֬&S"VGYa_"3"rKj6 O:޹ZiJ!:zMaeo|"!9ӯy}|6yJLn%2[!i`5A-aM)L#HwͫJA f̥fhbwYM(S~at< 'HEE6Pk*bhGm _DH2J%_0h.qӏQq8R7_Y5YJMqi[+gGEv[k#4;>xmre`TeLy&7| JLq߾K*yΫ'2 g L+ƒ4z٨*UP sgAZo/{j*o5[Vs>i D9 cv*1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM)1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id522K(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3g꤃8hѺ3HO=SIQu n6k#/?=f`:☍XE5ܺH@W 呠0aӬcbjеSv0YmX9mԢ؄vÄƕ ,XQ$;_R%ي/ʢb]l߫͟,|(u\I*+NJ>Fp'1@! >փ~Jbnf5HPnڿ H#PHݕۊҼr)g}EtՌ `2  )PV{4Mi"׺qN75I< }] e ܸtJCO1ѲpL50 c?g@ݚWڹATg]Bm dU"K䰅 NDa"h|g_?(N/@' b*ЍTݛ!sqFRdGs)c ( [aVw˚YӬ–sG6̪hb`W&)}/Lr^: FH-^\\|S8]&qAԦdCnY8Ɂ@ɮX#YZCMyA6x kgrx{,]SD91*@3dm\[֥AZYe5P5Ldhi{"8T ?2D[ϸ8"JVD%opϼ~t6]% t2cCe/B.@\1%owxPC7OnE.-lKT.S_FP5t47@L]οHKBN3',ӷj]r F0тIKi21iSCBO]o[ }FM/4oo^T_|XޫS 7=HaQ2Eޟ**;}F|_վGz,KO~׫)DER whGZ&I}yDYw( gA"cwRv/7=CAտ'/[μV҄0i8jQYY!u=Js/HNUj$}Pׅt,2:,/1p1\a1]hFk'Zb1(ͯcESA n%=d i plLqMꧢݣ=Y ,R kuݾٳ_\Ѐ+-Է4" -}η'>﫶H5˹O15ȳ@};-q2(]g#kJL ^8bz.׍$;@uW-zGg6"C-2z6xW\}iƪzVkؙ z`6wEؾ#fzZ>yq}QA5xgC.t740]@ו9i,!qJy1]oPC#RQͫ\V:6Ad~yw7W\wbx\EAWnH6CvBDqӏ7,P> ,n)jy(ѫȝX[qDTwK3 :+l3M8ӊrRO&9ť k-" zH1~UtWGCKcc1<Ñ\r 6 ,/&zGE( x"/(q6(bWcc#f!$VgYZ]7F1|RGQ܃ņbSeJ Xt[*O YO^?EA4sP1@U;߄-t{,ȠE<+0aR RފxCf;pf/"J֕ݵF )0Cќ2-eI)w8Jx3:ZFpm?3N&Nx F)؝FtƎ 僔1e=N/Rz%Lv '=Q+]e %A$#}@:&D{uzσv=va宫=X{1dGdi,e$^P"H{Tf tX^°w!jNː5uQVwhz}g)Pn<#=4ŠS`.zSlxx=xi5-/ .#=01/Giqk&5 pfYN>6|6D]~!~WTo,"ܩA D#̟(|ՊNTLv3%Q# WHDXcizN4>$-:1!6;PT?ۯ#D n"8kkC0ux?BtLsli9O2m c*ϪR4jM\y}LAJpJ, nlAf DT_TڲSdM r넲a2g3q\M-oG V5Jf*մ}]9Է+nB^O(?Eq_F U12h(k{|pQ:fNŘh*^X9޸uxK!rd7q`*,AJwzP!V>EGrIHܴjEᩜ0m{a}H(-c|ȃ/K}F6lTL-^'r 5 S|糼>Q!G(=MHVz%:Z/\YbtHBT'1W lZ帝\7۲>p߫d @?mi4v_|>w̍S[dGkyJ'vհW0+8-T Ol\-^%BH]hWB8)(ۨ)b,6*lvϦ^HZ"ca/@37l7yUI-C0ԙO-/ErFњ)=/dQ/e~7^ۼv"bWZ\@x "bY;pd8Bm)3EY=*Jr  Ig;mQ%,~ؓWp#C<";R)OO7|~~RƐ:0b5qSP/g)݅ tAC>.g.)- \GͱἀK]Zk_SkwW\$-d},="VL{0(h쏞M.tB^SDJgNĺrg6P"U&);?2Ǖ^X~ c$r#𗊴.`j𰣍o:(T$o wѩٟj&92c-+2 [yWiWշ+̀$^G\!Ÿo~-;-8$%!N}%%ZsPPs07@Ak:Q%(v_[Ob njPKpˤ̓2J3Ld-X~XGzQCcӘ醠 Hlb/m3 3KQ1vqs:=v C(P+7E&K8;_(ų0`BI<"vwBѧ Vƌ=vBc,#2>!}Yw`/6rX-nכK]Ab;O *u)V19֪"'Wc ǂTzﻡR\k{OdgstPC'j+-nCH _qHe{ ~ ƣ Wt# x|k]:(6KW+Q=v^JI@2)ӹ OQPzǐ#Y|9})B޳ǴFUq~.맶,MV +PmCմx/CXBn8 ,.H Ǽo} .?w")",R\UI<{ƌfqsDҊf&пBB$vpF}&^-mGrfa$%wx9 )sZʪZc>ݮ@0 q,cL^ +G!ADg==^&ϧRǬcz`PW5!sw@xpI(Ttp 2 my HDُᠧX`|YEah"κaQ0]߅]˷){>.l; ͚&;nz*F5Do?  ~52=WP`lq$RLn8l~Dׁ`f)<'(G .Ov@JwO,۸22Ӡ}t<ޑ1%7% _:[IYZx֓J5!'Sw3OkkMu$'tGd}Ӻu2 c.;9R6W+.4d$?)\ k@pҧ@̒"iOWm $X뭉y'ЗjgKMUD q׳s%dt,jwez&%(*\ZƟ礦ř4zΤ|AgWZ/6ȹzZ;nLE[*~ |!!xAA?1`Z賬 iH5d_!jYCU%Գ,EɛVRF v}^ԱG+s c^cW(+ʒ8SZe<>ǐMgWԲK JgЮTp.(l1/^M,Z+|dx6JOyCLLc6yG sH280[) NjEuFL6$߷y ){a%;m uh|VgZ&u"%A$}F[z`g@pX&/b{ w tӃиrp*XZ+)Hq>e Yyeڨ1lBzgf~^]t0D&Ive%*2f_ ^v+Hne2-ȝ'K/i N/nj5Pֵ-P.93zgYZ Z+1O# 4HOL-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?W怲)5`1%Z"* FO龔EўD2)O ЙG;$7X,T^Ҡ^D̾Frj2&Mڟ#* N5e3֘ȝ9:֌+x P> .)‹9R԰0HPHK\V)W>~y-T(;[z!FS:6E.^&Ծ[C%1|%1k1y$F-ˆe*_G ~ZJ [voq@Fy̽ls9\KV*ԩK,fi#%7Fu|w({iGO@S{x6,P;x&m$]z.+ZׯZYXx e鰭4A:]ilmÁѭPV}l, Tu5r5"qJюn|A;ZqpnvMjCߗ@Fkݦ|Ӵ$f*{\9>V?C{QY:B Pz⿺/38{+4g2:g$b\#6NsfFSF$p'm֯ -'ý4E~Nt&R .9tf^@x{329ㅭ W3r8qY55RስNX!cl7G4i|VֲjDK(۬9zlKfL]@ph+ R%mtZ LjWsW, ŵǯڹ}H!pf(aȀ#3;I?_iM铧@ r-n 9p?n .-FqGKh8YgrW9¼uuąX$dg:i7vLV*lz5= b.),MUiկmLPmg {m0b3B U߽΂(F-3/NLp%S^LmOM߭i"%xj a9AWۚ0| ʘw`p=E-A#Z L۷=SęDpBO_ɉYV 漓$T#yfCdܮ9f=^C1gVjIu%\&}0 CkQKU&wh1b]F(6bMM ;L|vWVm Azr|w6=(7REPJ(KXdEqQ@dZ{@;ly02?0.j0v#͸ + b@̚,[y9K5 h=#u-f=? 0Z3 )A}GzfPtDtFЛ921fXjWg5$B(hUm>֐PPxSAYWOfi!q7^/L{hA6D FT7,F\NJ d|$ƛ-tFti)5#/R*b8- F,PM!dpcA7IxJN5EnENIgN Zz:"9c$WyKR u]}1b~\;J8IW19!&1|bտ@=5ZN/@2&V9QMbe"YλeH#}XV`Ͻ?f_9u?y PzᅨoGd'W6l,]0dP"u%ѲGe@C=ؓjo?f 5tH!i^rg5#;DD={b_L,U*ȶiRwhHQW(b*5 m7) >Y3p\>*uYxk`p=WʩNQs7C^ee|peieVm)5ښTuA Tt/aml9X=t*44IH7d٧峇4 [:~ J0 ]u|ޮtZIaVh,M37%$Y=P/ț^Iܚ>Ms: /cDI($ӥ`ВN`3a rևȉG,Sa\$C GI-$idd`.RD"^  `gYZS/ 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 *y iMFn sSwB ™Oc΁o=%Bw:9Mqz'c: \\^ne^jZTȕg.jX[ydaœB& m C9ES}PZ&tHۼV7-:QڧS' Bх}筃v|iW2J2k_Vz)t0j4=cfF%R(Ŷd7a ޫc$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;WT&@fͦ}"Gh^Z\u-6@6uj,0HL+%pO۫GS]N,PSRayo|b1A9}u1 ᘀ?ߡ4lU!OjBwYWH52HHσhYҹK0bI6(1!X+ABy呀%@I-q+_zyn]T;y@B4C8$@H ^|[xRժ=U $n-Lx*WdE'A řd-^95+S2Z-N]LH^\g3V94ɤɲ,;@V|=l\DT'7x'"nݞN^9IY<`Ud1\ I5{"yV0raLo:(zGYrj]eXrG#%bqk?WK&Oϑܽ7j^>K.u=lc/'$)S:[5J1}0˹7|;Cq5pԤ8*2A_y2]w`P  -JWG020DR~L=v`)dڃ& W*chM<L9@VfOVbmRg*+0NmzA ,:WYVE4Ѫ<DGy ӴD1tJ!g3+u+0#1-)]d~ӲrXy'Ƣq&R[0 g^Mocp^̍Ǖb~%x6*0hB/&rid>1Y,»4p4 AHfyO̴{Nvɿ^)NnSK)gϫ>~y/.E[ϻ ¾]ߢċ`&ULJ3\ګ蒏"dAb\g-\ 3ܟEPbu38+-*w.@(GB79T8c!{x9OM9KĘ*tGw-XgaIO<5^'~Y˼pv[XcQ䚖'-"+kKn~Au+qN~FLs`yjCtׅtwrNEȉg_?$99f~1+OGzp+Voio@9,bHPs#Сbe`h~s$hz@>!)P:{ X\pBg) mG6&8 J o?HSmvR{f"!zgIb*]ލ;ڸga։>i NlG PPq/zT1,9u1Tu"~ C>j߆Х@t L^g1Y~ڰL۰)Cj1V |+w)ڿI5z+dY .JѷbF¢i\Z~Qn%p)^U5wߥO.UOB-fl^$WS"-9Sɻk/QU$/Y2:-EVj7ZMn1`=k ڄ Ũܴ& ,F4R- qY Hʟ/3)mW4~ب&`r;ܟQv<3V p"w1="Ej×ctennU _s~d(ϑ\&1o:HF,ymN{ha|+Q [ewKiRH nFE*"MSrъwfL0C.Bqo{+`u.AƝV?U,5s,dSJ03!Heaml8b#sc 0iǷDײy^s!#8{fԞkJo"KeWPfB}ϸrf1Ojdeb<,$,B3t #Tuxp#8`b6_\|x 24Br#޾CCEA t]]}:2H .l3&>]k'Ih$3TQTuGgU{@9ڜˏR~3Ne՝SN[Vaޯd' \ Q5O35;ڎ4HPj`˟B3 4x!%F9*Mμ8qiQH8x'GThț'%j9ӑ!sc`8{ZEdFp΁gTln?8_BCU(`w] Cp7nzg ԏW/ 3 bdÁwn* .h?SaG_whcFb!TeDV%43ۺ>QP02{ jNdgf܅Nx?yVXNObV1Ec-l縤Cluq/gm}rx$w)̱͂&rݤiP=*E}RG r9fK.7c_TCx?e1yǍ8VYk}"+wN~* K[Fߚ9&k~׌ϡd&-9s0eڎܠ97:^ϩo Y] ?L"`Sl Zw$s갸0syRBguwŖ ez-g]R[] %`MYyr3r(a}S14-B>}=-7h*q=%5Do!j8~S(9Z3g(MӋ_@ZEgvnİY"%/6?.?w dǸRW%耙Q4]K0-3@p3t S'̓W5ZM&UPl )-gx;R+˝5|e5(~hYRmÍ-<ʰSe5|3WeIG(dt-6D 46G#1lLP>rLYaRTo Bۈ4o'{ v_Y$Õr ,@^ LТ L(HBJ[BJ`3A궼  gfcdX+wRy+'t@Cî {آXS9 yR0;/(gsIJT5jW-jv~HU.ĻهXdϛ9i"S·Fn?_rfG>_#t F&Q;i8ЭqRih^G-kf&N3X-Q`쟨o[H?Ů6 A@=;38] W*qZE˽/NVX=aE>BrD"yQ #6Iqq p}E {9UEY#pOhᙼ}9iq`72=K~RV-Sa:1opxxRnk,%v.㵛ra8+ua0Y> oݷAkЂ(˯/ч:v0?ʉOIQ596H#@?*R{zbXG ~ipcs8Hr4ͻ'x:@~ Y$Î`a5fP)PB㴶vRB?|N)l}4cx;x4%Y}cj3{ zhZVN`Ą k,b&ƅ)a5?vޏ화1;+քDJ8YDl{ERZ3~󞃚(`ZsWzsFAcK:whwDzһI?ҐNGj+PMXJ%_F} wSQ$`-X.4uPuP:Oї9GN%sI`tw=)ؗ芍g-f~<#O(6pX#ú1 C׽AF^ (/&96Dy* 4=juzOFf/.<@N L5,vBѬ='#ɷlmyUi.Ig94Hq?Uȅui߾0;k~VJ~ls%P80!MNʖVdզ]}U {M۔B 9WD`i};7@Rv]N%+zb7}b cuQ6R@~ B?%tA, $ȉ$#C8Mo͓FC z:n N) pϷ:!GÅG*e׊)'ۿ`xk>tSF ' Dtz|H]B Yl=.s'htwG\d`JT+8f [[OICS"@j"DQ #똌Vg~ ԳWN^)Kζnf I,-D kb4lKL7"2[େ_*Pa;k0EZtN1&R6WԕxTe#ouli&BHF9ifI>y%>`}E\S0[^R W6HW`sNVJhvB քC,-~4=n3fϣ,Q\MAo\?,DzKAT/Awx\Q An;W' 1{z1\Zo" dKt_шܮ65}Lh }]g5W1h3֬#2#V}JY,03`{w}D%M01v nDI"$9羛$Qtz\2E2F3dXRB't so.ƐHimVC`@ =IXTYQV &M*Ȃ @*d#5˛X*Z"<[ 5'6^X$AjmMfbTMXN~A$ Eߺ q=G'#b9%9KK+}Oŝ\ ,apis`` U0 nFc8l"C~t%o. rL]Hs`raYN:|1(Zq\`$K'_SM'եQݝi$ԝ[>'XNeQ~} KdO;?4< ~ͧB$v'GVr,I ^9MRie AxŋY{_I'zc9J\q"N8IO&8UZ0i3< q wS3 ,@X> vúە\KD_7k`EqKw!ISYg< 3ʴEMi&sδlŐ%h?TՓ?Xȿ|F 7 $KgKw(bp-iQ6rz]%bT4AH؈r]P~T,Z!X]&;AuJfy%.9<*,\p`h&hظBg|]}/#\S5%Zs>Z(ŧF==aUeX1+^{ ̉J(bݚJȳɊKn Sj4o"h NJYnkfA n-GyIIc@FJ7aʜEx.fW>D/$|&F"l$D0GԛgYZ $dh61A!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Ϲՙqn 9#Lq̗ f!k8D9f#8,W*s<]dsd|tUxW3>pB6[K}3%cq-d.A=2" d c(&0 bwqн0b㙋J_Q#fPOk=lʄpeA|^l 4BU17rxpeܱ ').Gu`LxH8FJg%K  ެ >G0sktM}[qeNX:w1F1/)41Kڷ)iF0W /~˲Eݏ%6^,_\5gO諑k.U74By޷d3m>bpe_ppuDfT=s2f2phN/4lqx?s* h\KQ~m&@FI(T/թ:S^#ϔ-n{Oy5khw Z:k w(,Yi,GVQ>{7O %;IZb3?%L@Ã؃B j|g &r|.|~?0gDzk@rToӽ%R$zB_w)&f3:5qQU%HH۠7mdl&{PrHqWX( r􇉖ܡSZ mcoy Yg F"^c{S~Դ;7ǷC1ۓl /LgYZo31A# lHOL-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ۇ]>̳';JḨFD/nM7 +3"y[pVr OѼwRpg>{OqN Z֛Ya/{|Mm `ǣ}r{]- 2o[ls "KX^==S6;A_=l=LҗmDvq#"Tz%pnܵ^Z#/6) 5cA ZKR|}ͤW!ihd"1U')ZB'slHiCٴ3$p_ZvcO#2*uLn%;\[~}Z,52Lmp@&Z3eo8NZ6xOžn~h!{,vn^$g=) 1|Cl>ajG\#R;OZiq4 N¾T苷CTnuw=VazgN w)ۙbND.]S}I&?\ JY"KkAT+u&em&_SeÏ&OXUbّ9X9=rN<з%0-hH{kbA vgZ1Q2%9p0ZԐK<-Ŷ紋,e#iyK7ֿ,nϔoD}:T 4 QOluxy᭟g?u0pQlFkdݒf|;Li:|@7~]"[P &bIi*@-$>6O>J׽M@_UD!"yatcLO G8 n3Gbrn4HPq}"##D7\YY)HohdG!<'/#x\2M'Ei哲㟓Zgz4Ih :)NNRwQLs‡jZB|䤎"ʒk30]64irQiA`<ĕy6z;U& H%)Yսȿ 9U4,fip^'44`wy]D2H>U,} VӨ5Y:ZTtT3 oU4930f%kDtEyi ,B@inD#풴4SWOEcf0{%Eg="RjǙ-L_Ky6[6ҕd~L!Zb;or +^oུFEVc=[MP7 + [K,v&KR1 Ypw ₜd缷A kIO ?R!].ֵUכN2дF'ʃcB,0>|({[6>Uy((»\PšPBʶb~c }^c9uv !&HNh%# "Dlwy ibBm,i,Pe{9yj 1 e-ZGcz.OJx 1Ѣ*[wH\`Fnls 5ՍkϾ~ @كzH|y \"Bూg\ip OcG>P=-@ &(NG|'wqJR'VU_?#η;WجlN# 8quQR[e[ږ}g+lRB<4Z( J<.-4 d"Gn_XNKTg)u{(I(2cW fJ}%,o$1?a7F3cFjc? wDztTj!dŌ%㬎b`cC~xjguƛ8Q@z=sFB.<ݱ(z?\#Gz|eHoΜIo*-Z-( lKZw[>c R(S KKw8$Nk%.*xƫ*iB*=?HN1E!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 M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex *%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>86h֧G)'._^9U@}rq8ɉ>mnڛufFĝ4&j%6 OJ]klXE.K RHv؁8]a7ϒf&n)F٩_j(x= 0Q}IiT)hyl }9D=nOrk]UuP9,6 GdˎB1m~`웮.p 9-h~ ?R`}; 5aĚLwi/]Kdq05o@G[ŌqIAlM>{JR/pR JpLR aItd.Pj)<l 1@/4@I©cRsɗ[A7'ڎkwi,<,A|nK}@7 Z+oGN12,{}nd+mΪa}ϓ 8=2@A><$=+PmL4O7!$3VcU2f?EVغ\Dؔso)/0EUpC x<(U|' }zzsdbN,|w(?B@/ 5ħxږir~ptz[I`{^_`رZS qSx=r)E`j[C;~X;@~ҹ/X}*iEpJ̒.,SPfqhZ)iI;An,/⬖؃^QmW .Zghdvh__~;PĞ}sx5"T\\klfy?lSV͝DdG ,kKi)%[}Y7 K ;xbхq"6^8gN 'Nq_EP[&EDo4gy֊e.7W⎬'D(VhJ0SUQzRc9ɿ-+Ydž ~@07Z2hRq~$__icC0rcJ6 ",`:JN2INgk"nXt%ӦEAGэpBBQ$xzͯR$4{AHT6tDBF_5aPj^A{^Y?= l>j)@/KUω=81;ޥN"!PK,99R('IC(eIx-;ْ7@}>B%oIl;Xm-0pB`7:u%`c${X6g!lAE[B:'AT ;U}F`m$ІՇSbnYg,^TN=*,1/pTiy2X.ҢC:ʩ:S3^8M@%c2u,M~X KLw%&Bmzf % $ONc >,#!WMvR@kbk|"#lQ/K'1 a&kTjv vTk < Y#f-ra\kAxdl; B4Cj*l*ҁOEd)fnp҇b1 '!%f}ꅬkHu)G6֑-7UhJan(;nDavYoJ.du(9'E P>ۍ޾AWnxwK{OǣyF;%j|lU$0%ʋKwhj#U re Q[O-)Cty_A]4CJ8TJDƧ3.l.ÙψĒ+/aW(CsN y-;4ZuuцHTт-zZ$'V+|O 婾Ts7]v >.ٴk8F B!;tO˧F]FF\"grQѹl)/4362Ժ.Y{KT('Ypu>yF&@ٕ=@=:"  'Cm@/'njrbH*Nv>;Yx]wr*u<ךA`Yi|7rۍ) =ք 4J0/T 9ya˩ 1W%/7A1ϙS JRZ6jri' ؎ * IS־ӸñN> "Xh@E5ɔfVČŽzgkgL Ma(I2?mbKKO:Aڦ- %ٗZ+~@ؑy!y.EϨH0%QYdGl+_>!뇸B8\RO<_So+_m,g8B=&L0U샿40 :`y|)If PQK)7߽8 lH-i|Tqt*)W|_Ta=i0HGU\[;xh$t68\Fۙq- g4gE=MDYmL8<m@"'.S>ҹąܱYC\3ZZ &&$yʧ N^#GuGq`BL'ɇ$:}j鮜'zeUESyxiv{Ӊ&Cp?:`ip$zVp#Hg{H{V-e}jb<+IӦ8e8tU&2f&}lĺgH^𜉀_Oױ@_ bnbDo QUDGk.g3 ZeE ˶UQ7zT‰kꩯ'Nb *3ZcI5HeVPwOB(+4/r<>mI|$RlR-M7.hw$!QcTkڼ[TMq/`p ')#2Ů \Si7B!ɹp z-ilV.:B}FoL=7L7s[B4ŕHӵrY} dh\К\p3 `OMb8U @5 Vjtb Svu@g1k%.H/,Qn,21(=N5-@Q7`!os;v@¦0O#7~;)Am,햡I~ig7Æ@f)9_9#Oj2 .n5P:ϔums9C: ;cgYZ FF/:1A# lHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&0]ˠ)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^*:DFlQvPwtzK`s{s/M`%.I촒^{Coؖ'Cـ"}^]zt II:W.A+!c3(Zv7{kEY?$@*|BĀIx<*74i=Jk2(Oèj&AtɆZ7d؇'%3z?ة3c4w*GѷJ0X fX5f2Ж5,+a#^#[749[4E?TEP5 )"WfCK;+v帛p!w!1@{2 !&ΔRo3=0TfFD~*3%uƶzU҅bmdekU?ED[44NHN<"R׺LZ |\JE\fyW+ZU$oτ; q?Z/F q _/:MJ8);2 Toz$rc)QSZ7\T/ry 4iisLޕǎbR8 a9֝B va|#B5A**_so[@M{_K[ H5Te|oj3 ,L+:/JT&K9#IY6k$70l2uoǐ5JS,=yShX]yCtBQSgL6g <Ҍ=BQ/xmb ۠%'jd90MCјvzVBFkmdF}lDRpp~e=7lͣF~8eSخk޵g _( EcqmI JsGh 59%k}f0w$ߟѱ"6Ok+&w+7fJFX%. JGdGt6KIGIKX!V!mUpzTL3J mkwyv2k?x_0v`$H|T| _qgǟAbަO"jTς%a}[R%ggɆ*hi[v%3RE>K *zEP9n9d6˲e.>cn(y9 h~#= ˃6S_yZi'nL9R#Q'V%㪏.$ c:S0G𪔽ACj O+aOIJfiPtUvnUv 0\ND+X.㟝{7 &v'4{JOm&ڧ)F;brV{fFOS*şDI5k~/ラ)+L1ޖX d_˂nFg\p޶wO_`gb}f֔ڀtւ.gbcZaI[MbtjjO{D;_g[t& 8w(P8~LROUIX2w?U$J *4'F<ՄS^|ZLNEN{ls pXNvL/ua|#,ZPDY f%ea1iy$ -!>K=ZjhAV^Qϭa^%[#:3ziddJו}-ĥs6$t 3:(Vg>xEj6f5_D9D_"jx]W$W ޛ n>Br aTc lO wȹ S1v-%lP ibugRp|^ªK3N%d:l\1]د⢥hE";mXX9w-|^i+bvt %Zl7]?F -O%N3'33*.@:Ev{ &_4ٝWAMnG|esG+rS.`,WWɿj3-ɱ(A#*у#&EX́|Ev$=]rUGG0w fhNĜXA֮DwW^y mۭ=`L6\8P^36 EW'ˁ,h\X&DKXҵe@+CJʠ0baA3?@fV(Ԩs|@+q=7iwhᘱ&)Cs55oKlj!B)n*  !vvA1O!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_id544oR"Eq>}T-U=& j,t7WH>8LWM%@,f4,g3}\Êi<-iyhJ_|$6QXUO4Gr mU m1z%Rsy~1$ã#7kZuZc.Eora7?.k#@o.8HOv#ʅDZӚ-3ưp}:-yJR{h6Z X6xMc(-0 ;b^O{אI`ّqzY#mw[ cՂGbnr%^Z%2jUj!63S ;7tN`A [=VNGiKMj}["?\d,]Cկv (aTMgYZ>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?󄧉L-/cTjf_#_;Ս )@< yAExS=//&\qqGdQDڠ3d|>6qk\*s3QiA꣺jj|eNOߌ.rȞC I+d4&.p\^tԇ03w^r+`Dx?;ԯXfjVsz l3iv'+^2v$/R:#𔹔+сv:5LPĀ&·UȘKJe: R~,/q$/_Ie٦/߄#]XҶ=w6[$/<>88(AoKS2yKoW_ eb{8QGThQoMP&3k¾e[OOaˮK10>YXN؂;oӹTŵuN8(P9uϫz\Өt0io UW3 v@'M?xϲФp .>*-DvALoكk.x>d ˤ3ZzL| U| t]NC嫕P.>{$#qz˜&Tj̍VsL878B$D5 =v?$=zT;\HI,# qV7[h5xcC2w\7^eT-2l ?)xv]-glD, 䎛ݛ7XI{{}mH^ QLHEBÁlZ>)t=.;*HjT۽@s=ŀqL^jc0ЮsDF9B!pnQ"YR[|(èe8`J)VNlC4Wi(ggYZY#@yF/7V!HVnyYv11/ [ֺopt&G?ܣc1YRκ2bR0oa]*g+]^IEu\!47ژUƯW"{ cε1ȎdpAu{!orؑ8O4gTM_})%RMI\N t 8(~@b(+#MDݸ]_S9<.|{Cw+` {&!nl O<[Lhߖ̤:z?dM[$lphf&5]N !zm-&[a NrKi m$Ԫ)8[@>_1T/!wZŃ{j;Ѯy䮵bQDb */yE}rHӸ oL4w1:=**Dh;0lw$'KBs6I"y['&} ܪİ`39e6GJlͿ̇/\a8RLo7MT.k0Mc W~O>ؤMdqzSݔ'=m=ErjV2;6S4Cv¥ktXIS`C}4.Xߪ`AcDzxU;>|Ef2@w+CjFMk@㈥5LC +4^E\ L'tK]0ԈG0EF .._َwx^vTH=Y-X t%P4^A8l wuuK#J@#}?bƭI< xh@Hd5rIɡW0a}X1,lFV{vs%[N: |2ꤝUR"?Y+ {"8;e9V 65cj3SuCэ}JNʗm36$,9vF v3i^3$;_(wI Z'gzyQ"ɵCRUVpQAQa0tΔx%]OhsEM G6利Hpy쿒wrVTыӥ_Q`6y:L&06L׾= u]pSڵӸ߄VMt*CmT:M4fok a5#&WX ,698ĬXb /ٮ_$mNcĵ)V:Y 875Cc0_iCA[r0]H1Io2lQ-&sBDBiMn2GNZbsc,5eC_JG,rlhBn<=)N4M!55t[/M'柹)dԚj 77Iq W?#. V<6՚C+&n1]8 4";5idn|) yI!?QSڠHǽj(3wW loԬ ,Je3ȦHr wj 1 ݨ <ș>rń#W}C7ޚ Jq^3`^ C@^?^y5Z[@Hfl,vSuy:[[iߚbjmW$_ ^ۯT|A=ɕA,ӥ@.w؂Re@EI N#aEݫ3#JxoR[l1ȨrN"VS\uPs(\Fr}ROr(Op֧?^ZT2R腏2 KeTUU9Z[tU vhfV NgF'$+xS&0ݫ毄bI8-~|JQ*k^A(v|TR˙I 9u:ZDWHTf>ZWW4(P7W⨝`JOڶc<)tVDLD:w\@3ͳtZh'|Ġ#ez*F#뮍5ofqM9]9X|!XbnT'Z %N\\*D핶CsRmgVm =+ge{*w+A2rFĔ|~t!Ђ-72BcO ǥf Pbo TCk7Ճ0$]q U7U8izK$ό"rDb; ` A E$=7(vNI87h'g4 {Ә/=ұ!Y/$<+"]tV֦x?k n2%<`,ª^L#B P/L@-y4th8AoO?0;X385ye* svCpQ~q 1 w^ŏ>+2p l&>/oM|U)Vy~ŎNN|F?5L"{]ϔv$A.Oq?/ƹ#R;5vR0KvW#@KEaTSL-*+AuK+ZK #Zd-ՙ~4QbRI(GjsI c' ^IK+H&.ʍ0v-<$<=leqmv%t5[Fۇdt;0=A|:.xfCovXCnBgRY:\\IZjYaG"a|.Ud~t,,)r*>~%DŽ>ÇTzќrQ j6(yީ-[.j:*\(KP Y? Ys–JH {Ǐ̶/Cw()h= .b?ݤ\h/HCyV_ bzУDEa0D|_s>Ӷ~.R )H[^t%,q~zG32CÄ=2ֱ }}(M2Pn廏8LRF4umm.V1Lxb-$s 7 H%{M%[v,o > aY,4tOQ* 8oN?@eW2sgz-dGxZ:ūbK*3cYbݟ/C< 6ܦr,H{i硷l0~7U>*RE:~o 1ޯ*5-gYZ ~B1O# |HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! x]ˠ)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 nxq l;wUEJ$ bNK6$"\s9.#6DAىlbw#ȷigII>[.yH@Ȏ{g+Y~_?"+Ӯ̫cIO^RHD-xK3MTu5Ol@9PTr3,c~ma9Z o,LjA u#;dQVW>iD!~M1dAGqѲ_VvP(}H۳+.R)Ϳ&J V 5_Ipj0mz?VϬM[G^ܚ+R8O µtl#[1@m7N^t\ځC0b2˫t2{U`숝8k!DALJXP @hɠ\Lܵ捏(Czva{;ETe!Z4#P9֤皜ApB-,4s,Ll08։ NîZtiH<7%W\it@5q!vi=~jlB %Bf" 5 =>ENYUE\PoN wq_%SJ 0^Er)AķV.`9oI[Eߊwy9`d쬓t耇H\&Lg!;c%50Na64`229:8F\dC[T.&@v`Ձ(>yaZ'-VhAqT%n rĿ6:mBS&8 (3$:#o9fLPll7Jaqq~l_}A]G2ȁpLQ w-Av .~^\B"wS>tjDn%-1gੁM8˙Hy5NupldF^zy]gLb7z.FwX~f` S o: ʅ[\&wustdyiLsE7uߡn4 jl[|׹օ_@d[N?co\ɠmXs%-ycLbҀcf5v=!0۴|,U7V@eJjVcW9EfϗQ`T'g$uG{U+x!lyف!a!Tn6}: kk[(HB8|~_[8tu y$ڜm7 2Ӯ=E6Fa u2l[t>J׷uAF&% "W֯9yԼSRy4͟7q7c/ѹX.%f^6q4ml?!YC qz: [keV*]N&KO#t>++jr6=IS1N|DγTNnϠ祅@^ m0-Z,7Wn0Db(~Z9Ok6odXS3oZI1xg B I;dbD8 (  GG*pPd `+#jgmzR֩T'T V)mE"\cVLl2]Lr;x5УL"@Гw7)O\oB3+ iPDc{\E#{rm?c3 GsքA=_,Qo.VKE6]p"$$n|t amB(<UFXUq+b0H*`kg>UzrןCv|JM]\2̆i9}A/(ȱpY=Q.U<\Xx"D(u=gYZ   tE1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOD1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524$C1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\8A_v-c4Cߗ!\m@%0gXjVͿHMk /w{xs #d5wuv~kq6JAZh jЫ|=dXy;!#M&ttc()dKvvvi ̪b$4 LJy:BO4d?xQ(<ƕx"CuZS,}c8ȶ{Q{H ΑHؔhf޿0Ӌfx6D^{+:5t" ɱj>sjPH7gziA}"RRq%:p.oi^Z Z>1;y+q ]kk J&rQsENzS~W ʽTiSB-1ĉBh1B)ktV$R|jČg1^|KcW;} X"t FmqXb« ZMf䃦@Gd#'/Gtmc1]SGÜG+ހoF7ܑ哖m̵ \$M(bgLdrurx 3Lblo\3?D gYZfV+~G@Q)Gǽg cP-e25fz,d *81VGoCK²YSS ͟_OrP3 :1 .ٞI1&99摗NA4\럊Q]-:iH +#Sn&R<ӜÜ6 ]i]BXڴ&~5ҫyW ⌘+OY5OQ%"u6J*;R&*e.E*jWԆ QܹT )$'St6w;nkL &-*lתAGD6gҌQ ) 1!pOFp!weT(ŧ=ӲۍcȷA9Tyu>̜* ^0:M9xe.kRڪ wpYІstGdIAm2%WL0u@AC{J ZF}{32 xd߅)l+W4]EoNC*H,&գ Gƭ8(怽 wun6 ㎞|ݖܑEblȊ+"x ]qi2GcIX9UJ>7v"2(m3 wvz~I #]Ԅ7 y.RscCcw\wLdOu;@P7apɕ4 8\7H8-]{U3YtѳSY+vub4$d+lwtEm[٪6&nXZAJWdרkZؖAɐZ /zoq= ic]4-]tcT%V[t>``2Iֶ 8÷4\ׄPO|Ypz"D(&*h` ֛i o:zր3\{TVeK:M4s~Z L*) Dz梻)l\Z|x w0zku_o=p[ٲ ZvdJyYw:?Bp.yxS9V=9̃n4[䈻8suZ gW> Br(i<#U+?j1]kľ ~dXa!$eMw [ IQ1U &gɍ䛗Zfm-xCO$H+4:E,dnphl_ GWuhaI1I ^Sp؆kz:)bmA7Z}9cc \#qؐi変PTC!yN'}э%dsNdQ$+2!ϣĘ bcvH6f8xKN.1^{w=3I I?1F`.Lز3bPwћ >Qk0HýњøQ&Sw5zk_`1+f@FS@ &0]GKg+Mj4+&+]NFY[ 4axW_O=`ӲF(bfrb<( vegҚm@ḃWgUy?qOK7 s?PpR'Рj -OLfa<6j<$0~ߥ(~BqH͆_r=KNܜl)Q+ )ǒ*%Gv0v&覼4oKRin-RE WGrd(TM+5RC Ajr:ۚ}^X/T t)κVwu~L5Twcw^1S{4-J ](&=CGuw%kMP{~Nv|]#Fs$-` #(vNy-;Sv6pAH3.O*5b5؛50۞Z;>2*?`C wk8l9Gȋ`6.܃Va@dxߟXuH% ym]ct!*Y6n^.tQazv8 zFۖ."IHÉĿrski>׺E blkUY0ݰ3w澉ڽez~:!N]?X>mKOUKhEXfjR-#  $D(&fgniYM"( Ue'G6HM^}g/p2>HL" :gYZ 99g ~<*q_x+P,.~'Y6"SOA; G pАyorkNʵ$ 'F xC%  gQ$­gJ7ioعŎje G"wț'na; 2cbޫg@/޶$$VYpM~ l2ה,?8<`)t2)?< R3VU*5w\l\~u5axbY23az|0-LJ&\P?L6Ȓ]{%1U! ɟ^Əlk(J,}5oVfX]Js(3rE$Uw-wQ(ɳ +XQmF6Z%\ KA `5qVؾ+J RWAvXGh$\C4 I&BWXIO|*)4y3Nng@2r`~cq5RPIL|g3/T)ڇ̋AZx&giqu*/sW So܁WN?z1i1W~ /d(t9N*k硧Iˮj1=qyWuU5P:fQa'RăVx,)5@|ࠓڢkLy:6C[;^3ރA_Nq~kߠl a5'->oy5ϐ2C,}Hj/[u|L,72᧺sX~Jy#q9S; aLV+Ȉ/N{ʹ;4)dx2#ό*(@T9d>6=JZ|r_3mg5pY`Eϵ.Q@Z'p /bvQƜɞ"E}aH.aX|<Z~P9GE{ZP[E נ:7TE)2dE\^Us,w5Ovyj LZD 4@4m%Zg6J^TPPNĠN>ffTo͌q.tM =" SioKo9|7 tyj_0u)V911gvi6 ̎NWp4^$xAV#jey {1Y2prXr j.@ 8lOmCnEZ4Fy gW49_ {^>+K.Tþi{ Ѻ[iwsg渷t^y埗_!9&^8oGfK-`)EH9 \gnA;X pnFyOz= :pfIt]r٘C«t,p:6dϠ=~N~\r3߼b5n!!~_>4] z6΂ Krs#i`(cN `1@Lk!E6{(˅gETlR)Ӄ6}L#a:+?𶙡=#z]S(1u:ϊ.w,݇eVJ7vOjyTZIZEr4t^{EG]zyؑG/ntG}eo{\į ߥIX⚛UDcWPS!yN]ߢ=TVGsb1 !j\U4&3h/ @JxzqW0D}dl ]J&.T8 N\ ͔ay谐u5B!Lm_)mj!_n/I' >=ÀlLoKEWHAvrW7D63u#"# PD][ꚰ"w:<7D컺0鏲ϸ.8 n/({, %w3ڴYT8K-Ru%R]we}|{x ?85DLn'R;1Hy9 ^v acz޲@ӓYgZ~%+`*gIB-רZXD4lÆu^@3lyQx5݅qf-AeqdXT.ྤ|h̻m*O2Xبrk|{AK BX` 8`{ًLm(_NQ0'SzpOsnfnQ%98>f?i!`إE!F;lF,;B|[g^7疹MNf;g hyBGxl|K+^:[/$4C Pƕ8l&H(to6O0  G `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\2 JMGʚ dİ6#+'Iܙ+FTJk!/ѥcWk&Ex 4.@]8{Fwcw<Ao}㭟j `Q|7s\ԾȓqGZ] zdgXUrS!ب¥gDpp^_zIy"0AmiP?tʔ7džrOP욿Yyx)_CK&t&}v`O^00 $:h1v!nG{?f7#"Y@z޿‹zXJǻkҴ⎽aIFr)qYf7XzWn}#jIfj=Ԫ'l';enŽ.@tG)HҪOlΟT*'M–zZudɈ있R \Wyj$%4 i^.)%ٕr"߿=稼C?4Md-\,h,uz-|q\6K|/ Uc~AgC M `cQ'=?]V)Y5!Y{+ˠ`ZU &}-m܀u[&gp`?t$B=.RiځV%ZG{kح&Ҩ7Z)yBVϸo?h%ֺpnsձsZ[AXbEX,h>ȼr$Tx-Z{(43\O~23^;$Ͻ7.Hm6 e Vut0o)<.i'PfSKnW""\2 `3AѷVm-$q>MwֆF݃=,0Dq'PދںXBs`M]1$B5I/'㎾B'iT[3Z4f"g ]Qqad>k5$bFvIBTVU)̢bb5,1ɑ_AJ3R| ϒ{yYJg7XUyqKį R-T^z%]Z;/ã\()).:: o۲-SsӠ✠0nțР;H!Ar%E:|.;+:ڷZ-V`N=K_Oalx|sFd`;g]=07J=&v*ZP;m&u*v5[p@m݆ Si%NZF4upr5PxC)rEHBi W}l΍1aͿ|d<.Bwk /hqe?#1"I pgYZRJ 1E# ,HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[,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_id5366G1S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! ,]D?7 {?:fH\ygc͜ "r-OnդMpCii><o_}هJb>$.xЈ=yJ03ʮrBА 졩z'V_烘lyNh$D0}rdyͻS MĀYKqY{I׭BRfm@^e[1$Ɛ'zC]]v Fi~aͬ㩾ăfvZWoa^47{'#}Rd7HϤ4Yo]ԥ?$ ÉV Z s+;کMaz R ݃j#2!& 0Т7 Keu1H#@q7e/{LаK(iO}a8V"gf쮃ʪJfSzy;Rt[-8 WRoS眏x,ˠ#.і5ء"O{6}t@{\]opcڐ'R1kH3-pz=(x9Ju)ۼjSxqCAT~>St@O3-DG#}[Ve|c0tAL^\ 1-/o5Ë]xdH 򍍸tCm-׵iW5>HVJzZ?74p˦bO$1'E2NNOA(K%i/D+Y~9onKCDzwiQ^R}]oamae #m.B]e B1V.~XHzFO9C^.pQH5$e|4U!A+zVzk^RϘ$`ݱ#|VUp/ժ1H˕5[ydFRt^iF6X1zqV&غD536ة.X-J}$m'E?%8}H$~w^2cyi TDLhr}-M YldԿbR)-s7ͤ3g*Bwir1挊B)/'RZQFRy;%EOf]칪H6ÎTʉ=UcD늃w]'$kCPbyֱ0=|HnQ+78cf.0fܼ[_puy pe:(TȴJGkQl-]{:Sy:9)25WEY V ܕ΀迎(Y6I:&oVbhqShmN՟K3;~ؘ0SLC^"Ay71q$dy]Vf^F|Xܚz-gjw_2:Ò FF{zh-S2ZS{ir(u&MWk>CKr9}ɔs8yw=G >`Ž!%K 8Y5kq{?18e3k. c/iWI!|M"S@3yji }3453 tһTb30~-V(ֹG~)Q p Hn"/R-p؋y<ʇwn꣠X \LĩW @&m{h !nF D/;TA^ j'H+{R|0O0Ґ|k1k't!0V?8 D:Kr@?8"խ:fl!3KtNi55{KKgQ"]2԰YMK.X,D˺iDB Q́/O`FUdt;[-ޥ\aGM7|8\2E"$1 "ƥNB.5pn8|pÑ*]0DtcwZe4g}GHq|&6\/ r %g@_du9yCFSu%Gs/ЩvN0n Ւ*P=ཚH}z5$_yP6)V"7= &t@,/LR<.f|f?7ʜ: 5uddU/ڛ珍6+1_Q8Yk=XU"n(jo)17{7vk[rⶒVf6[  w:q9 ˇNaEҟy<>՘ @PJ T_ jv6:z6֎Kt quIjv_~2[Rx"C^/h|sG“@(,p\]cQZ\r韕,ɮ2\nC V7inŵ}](D?~̑4 Or0vb3ŷ@l@@nK̋B#j|I0ƠM!uwg륪^+ QO55 gp3S  ,|0ptɛ=$7Kү)`"j@ǴK_A!$8ݟ=f֧D@]EUJD)h´^ZC%۬=Y#'U¥i,FmP&>4Jb Kj|^1f=PJp`_sd:ו4qWcS6\|ݐ5o1{4v.MD8mf*4b b yNYYAu'vW_Y)1otO: ӯށ5"X74B¨X/%p"K[\`Z&(K@iQ!I]){ qȔ|结[~sc6J"sCmxUtjg% cH#4sbLywmSK8aEYRcg#H(C:E} E>ٓDV' BjF,_iQY%P#4UؖM&b[,2Epj seZ>'*:KLv/ޒD,pc.V.N6%w p[Gy?  bNU$`B?aFOlp;oȜZf}-ZNOޜi"~6F#W]EcC,s'FPATbpyBסa J&HRW,<{!-6 ;n(Lsa+a_e2G_Մ/[Q ݫB > 1EIл9=/H\*[W,K$~i*@rֹ\SkĐ>|4.V@ ~!+Ϫ= ۛe ` Njb7uIǤgowDXc>ꪟ>؝ə~)C/t`H5I t;gmD4#r09(U%r}/'/ 4Kr858Gz2'R {#2j;EF:P;M2C@VSX;-09rKw_ cvg=V/6 ktN͚d>_ g"E8sO9ɉ#X*A;$冥8.c&^}X b6{3Wt9x[:Pr 80k|'򼢖_b(@(q^~wBW.6ݱHY'-b@}p}KHwF&}:V(ؼ&< %NPa\aƓa7[HxE} j* QGC}8$pXzk~Ɗ0PtWyihWx,E:< gBfm:%Sט}#}4qxRʤle$4Lfj\ZNNԈ>^EP@/`A8r12z2=Fs)a{MYGfܧÂiR<#G灬Ў1k;?җ*i~8LC6 jtAHMߌ)lugV,Ipy㼇؈?c>ݎ2N&٩H+pۅ|bE߾ht3$VT3!%D%kT mtrCkQyK?׵͟ nGpr'V3`W_ kU@(/ͣT HO/N!^b(L,SlJ<#ǟF7/㐓=5/7|d/a7Bv =W8=8Ϧ[w*:E4<fK3qI09v)"'-( wļ]B[LuYkkYvTrG0g(_JDž֤cW@_>j!6!XoPb&:p)qM&u9L/x~o魀j}ŃPa}aO5ޣ u78Fmg34 Wյ%ʫZ8;vHjwh(oj,7b VHі;uGS69֘(8EAC/"G|Uf+z$*C  Mfg;47Ъt"ۤ8{o<~l|b9*S5S {]m9"g yn߱`CV/ffeSuT ?NY#ELuӁ)GX'?*{=)åvj-<YS~xc8d`KI򖰬}x {QOf:W .E%'aSX5b{ډG1=Y6HhiZSQ 1P5fZ ɳP's4%S{`<‹G^":gN@E42Y\6 ηބ%xdwrOYgY1~j<4xӻPSRk`RsΠfzg`ش,q핧ns9]h,JZNаKfO j Db7!<9?v 2ejhc`XN:B빴8}ܺa>y-g5|ilibfst(5$ɴSk_EX^EWk@r_"NQAiN4)ZKKasn='l? |vo=@vG!<)$EhםLgt8{)D.!E+n8 K*c8Èq=O[Y-?a7mC.{ R(9%2edfЮ>8G7,qޚ֦9hN%}d] pSH}s0HB i*JSkSȆi(72MF.zħqEc .E6_gK ŷ)0#@&;Z#3pQ?=ˬPW0*! B$H~Y]_2'dp 5-A(* {fGzh-4M Dh|{$po7O^^Z*"gx~-dby_BMq GH5]'ET'P9X$/E5ubnddMW0WDZ9T[Jo^>D6A llA} dd]L6bgQMP0:7=uzl Z({K#NyШ8{z`ᗣ51ݵq*tts/4:INROSc3XaEOZ^h<Ԗ:0JDZ*gQ߬5J~:SAx1YC\Ѱ/,cFY"-5o SY}'F~ Yː b3ъ lܴ,J4T~ʲТAr'>gKsbG|mϟpY^XpGh6 a \E",(=ۙ__yIyRrk_ZZ[0 KҦ3a@3.Hz!<݂Z+g\#tq.AXJ@UH_T=,ﻘ]l[As&2h2>{i,{n1/.uHyhd%^I-E[i3,9'MA.n`x FY~b! :`CXJ魭"(N ^pڿܥeN.kc:ݾ eOHߊ$I9ř#*V9 fPyg[g&ܝYlqk ~{S畵-ԡ.Jhy59ۊXu5.C6FG&_5vPuȯ)K)=,ʰE -12{=`6ۑZٶtkn i-0"k_-Y 5 HnN_Fct[7G )ԫٍXr4Wp٬5F maY8Z605j&ь:^v@!>6 }p?\F"ẉ}p$XPe?aUyϦЩ"}"Muhۺo1C4漽:6T ߻gSDۨF¤oJUcQՔ/qo\JVY9J lUƓnrNYriϿ缶C=PFFʜ*\K8Y0,m=g~윜Č%b"I o;7(HG>ţ [~bEȵu͍/[29Ǣ.꧋qƫ3mtD6jUPn5c:NZHkr!Gzn>,ylZ Z+Vj;g8Kg&3QbXj|}2+_X},ljG0SR@čkea#d E-?^Qaz~;QRh O4»'gųD-UQ5;jNgp62w:&KTI_FϊΤߐ.'B7dbfkNS ,?Y(I!I ł/'y6 Uao\u53 a[XhƖxgKޗ)>U0 t1I\W4Ui@{8$R$eV?9lM?I̷h|8~@PAQ>]R}B;K. à8(',D,VإY% '}g0t A<_\_IZϿTW 8V^O0&}~4 (% |{ VM*o CM#\)o<cp]?28SBɝ XWirA(\{. :xF'lKyUA~*- 2,_D UUStjHDYְYӢxeu[\>*Dyt`a⅝B2a@?*igʣ1c/•3Hfb^h-8~]S -aA9s@2 #ZպqK}Mj]o+*sQSOk4&w;FRjVq8l}aOA34! JKWv]kOdsM68.r¼O0Wd`f ?.dR\GLy%ʆgIJ{,TPj$<6 SRƟ/&Fi(A\xu ]AUu9"ѓnH&3i0޲| 3_QH܏LhFgzPj /xIP-G77"Ul[4[r_ .U8Ɵjj19nf ٧D3˜_~PqCwͿ=2Pm#q_A.K 6 JπlE~M- ca.Ӂ~/0[z/*UxY2UQ?XV P{\I,X( Y.풤SK=kV1N@]XÀ_le/wO9eҥ-o&cb{&tF_SM!4zNk[,+n|Y8d*[hگQ}J0ٞ*MS;Qy F`U|_#*v%KHiGhu>v\-Cb?eGn"|>_nԲp5Yv?dج_I!^,%q; m%SU%UI SqH},f6 ]ܘ+34s0n=8![["݌L to(8!ZgDgs#WF0cYG&N=6+Sb|}Fx?<`=!{2 `ŮV.oefStTx#vP=R2)`̷NĜk3H+K]`y!1d*Ȥ{+lrƍV屰tsXk .TxW+OqpoRX,i_}sc%_QJY) ?ڀHyMU_D.g$ɯ"Eu,>r_x(G2{:$"nfrbkfĚ 卢IzG^$K=rpQﯡ.?5A̐ 0-%llW6D#bk L[D)evf.)̢0vw_5@𣁀#,ⲙ;N!y6z(e{1mlZ" A倰6 k$X4[@pJx5wR!eoa#̤cvg٫ CPf5'婜a=ݔ!G}" "84q;wADG xRqtuUV:TA<Ή}J7WiN-PrfÇVz]L,VEl(y!<0^7ݓY̮6g)ʊsGo.@] dkw7|€ JNeo~ 9JDFC|_bi0l/ݭH4R"):&VRQTmNM4~Ciup3b }ƒ0pq@p3w~6SuÊOz$? 9mbʥjų|b_'DrQRkXb?SY /AwJI/&w' O.*nmw}0\ױ `tF7e۸,gB0g@lU^y2D1U[Yv~^USH7X^ޢ(Wd0[XvgZjLVߊo\t˨kF.7EWܟr  mozQ2Z_HQBiBI *:*dʒ/b ڥ.RXOzULJx7sK3x70PGm1* !5QԌ7qXwȊ# aZӵƓjѦ<-]b.!hb .`>re.?ո[9g[.)q$X;K ٿK`$ ]GC|$DZ*/(0ZjODŽX.3D(ԢlCWď5x|=FX矯TM'+(? pOֱWGWCC@ɱhPÈu )gމqߦϰZc6p!l+ZTMȀGwM)NyhdDJfPߦ  V6V:Z4|sВFjn/IEu:# 6fGw@LwS=KTy3@;%:;7@<,tjZ`g]G4&gf,PJJ_zIΌ>|X-'Xib: h0I]{_\.-o{ܬ7r^NJep1խ@פB+α%ׂ?QMYtSPǹBUfPԛ.pKm:cZd6=/E"ҫ%]3h#cBzqbܓǬЭ+\+_J :5X;Qª& %6i@r(ܛ!5cbfC㞕?h^sc7C5\ŭ$4IvL@]qnDT6A\ 6IB׿SԈ<^ FYM δdjj-PFp.3%FpiJD2䃟 r.F SKUlܟ)B~+6I\6]P@xG5 [kiJ͖@[0!?{gyö {g}]UW=X|h[nI2)J[7At{eo): G(EIariMP.<yk^,A8Ә4tP`?0>hCQ?/^1tO9mǗ!8G*WN R+.?N ٝ9'bCKn"8Xy87-jqž}lq5ew5*X23ϴZ/*ވS5v5׵T[CJ?yLGm%DS?hr(+cYq tFeFN\HU90 ?/G)p1N^[$UfDLJZR'o!BSAvFS>'n*Q(GO04<;%I8@KnApfD".fg"֘NmM7>$rr&^18|űm֮Q*AÕbg& CF`5F)BfjnSX4o\؏ˆ:ܜT+C^/AwUMHF%=Gy1\:YpCGOG25a "OAL:NrHB%cܱgYZJY_jOkDL(W!c~hCz[HxDR?#X+Od,*tRk7a" cCULQTp<|+(NKiD֚ql1+ ߗ'4 r5OsI,CeK87`ܼ$lZ& 额Ch~=4rx}ה4CPݜ:d$e^ 2– ml9}]n`HB~ 9p7CSb{Xi\l(BeC~q76 x4AC X)h"o@)=ZZS#o@o*( 6u0TY(N,IZ+e_ywd i]b]F5M2߫ ln5ZEQ,q݈6 @YUu_QoFZ"x`B`{x*a(&\/z|a*vU?b~&\yb3lmR%e *_.`TK˜~PYOvVtzr/‘(}qm~YE!U-$9v f)HN< a$Ԃ(L4̲ LY"(%_(m* B0ߒ%~]EFP8a׎ }b &&Le֫ОPs,GP "8叠`1:/wn&٬p1[YX ("eL{; Lm^nr04Ncj˿i>>Ѥ3жeA+v%2#֏mG%.#jbl>LO'`TT%~g;1rbruG{:Q$ࢣ XIWt$.g_;`H٨.jl뭨>Fk5{Mefnl>7Է .5s1Vvޔy ke7yVI?2:SD鬎44. ~+L^lH'Zg7ދ aVP_}"F\ēB?F$yG@[ 1AzL4{8t*쥄.|)StN,ދԀTćU; #&!M&,qP[ϊ d؜VHZv XQqN1`Sz۔:IЬu'QI0O'FN"ks:Yy{Nwy^'"L&ӌ#ѲDM$M;9R;c<{NLE's2Dۻy ƲE K#T6%1{Ƒa5ʁOF ƟqV%|hRs\,ȇQŠK'n\3缩܇0ƟlXpXXFX'rԩXz |X&Q0ڷ ХF[ ?<d ͦ_ˎ/ bsJD!G-P?ż C8Z'ѸGkM~s蒭&v%FFbDsC;,gZ b)lE&}hd?.ROxU(gЩ~E1L]zfT ~rg@X/da?EeN# /B}V)!r(قkH|' R4FVɍͧb(&m$87R`gк;6P )5+=c5jx> N'FtVnֈ 9LKЩI'nꝿM5.qi0 Kz=mu8OYV~ b0b׼{dx1=Y _ɋdjphAx*^#H>N7TFciP6jPRa1Ĥ$ޏEZ;NJZbx"rҲv}f,Tn!GE HBD,B}4HDSk)]DD}L+8UrdoM 4mYT쫦Y,f T;l{/ Icg,pcHy]mPʏx &s0klTә5<ʕHT]q\n,Ϯ\[_Ûs(O~{8 x*T^8 a^b@E(R]RD]r^êA-îSyv/J/q07WE0P_GIƕ-7g`T6\(Vφ3+=pǍ[=.w185O^3h1/} y5_`+;ppzp~ 2UNTs"oD;rdX֣5 $iM飴txrFܙ,Y'!a֣v|ʿvhK-Rd,_U2MsϦ_i 3*$ϭMBJ^DU2_D2Y\U%yYuxY >sJXOѴj"3 ݉mͥnA1ư?Jzgފh+0[&":}r%m70A A|@L17<3 ڰ>x`ޑuDYɃi~5* ު$;obhXPY3kb WY:hb`*[_uq\A|/\Q92}-%:9\xs85*$%5/ӌKb5|m16eZ_"Đ)~O-C? &|`H>)^ʠMoDavD!gRh`B9!nQg&(?d f8 kxÔ\hzeh^[SPi<5RF u &TO5 ="$)JzQW.=UsZf8'th/R`i;*.t)ݏ:gmw)o9.NǏ+^ЫY91xђzF8Q$Ѿ~h^IVC*js)f=vgv$qA{8\wlѡ?#{m8` Rs[u0;D]~gYZvN1G# tHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9 ׻Zb#|ͲKI}mI*?0zf'Hզ9lHJm0Cj˜~Y\7 =_E :,^j%0xرah`UV8-[piM Wi u-7ؖhyQ;™.+D"m"kL:~_{XP/ !vhFH, Z=`2Dط_x\D;x}g'"Ε\sOə'<H/&e U4O\u[`tGdK秄CG8Q& GS Ǩ*. U z)Iex\rGP ,JsK2^3tsJƺ~鐿z\ưt3 D& h.dLL)MGWHãwA fIFĻ8 Άel%Y'!.%uɻ W0D5 eD1W.HJ+WsBہ._.ihĉRWӢRF@;^,wALgeHbcGΓԕ= g*A :h3\QTDX2LgS0&7yD }!?+G^f`6qOB埝wYJy4` N?N8>^tЈMm$!ZHqVmO873j:cF7N1S WtϷuO5%XU"J{Q>A=6,t4]ȡe}sSe+eƓd"PA*L([I!6B=,b3yyg[~ B0'eJee ]o9XHC;m5[Yǽp2(@Q(X!"O_\Cɖsd"Kj[b)Xc"}lba0 VYYhҳes!vʩ[|hЗS]%GyZ>K>Uݐ":TXiFb7Ia%n?2-q',lYh!1 )i56 ۃ=5n g>gāNb!: Tj6HNk5m&P++e)iY`e} <!8H4}َ-(u3Qp-~Lk dׂ2V( wQCPdV-rL̵>q/4'Qb7ȵBWD6׬?Qki= ՆFl= |4o|2QkU?BaYR`襢ocoyQjDL}nzɺ^ފi".\.i]OfI)ӚHbBLd%/bfd#󾟎8N26Xf@s OvS~Tf$9GӬF@@>/*ꫨ.soLkE-D@%@>R)mu=FRg|:CsV8Y[{tʲe3F EVx}]>2c[~Emu#ˆG[6){!I5Wz88Ehʙ ==Ĕq^i>reE%9|wnۦ.X1gb f;tTZVˤ-m5J£Z2V*LL] -\oU2l֙Rbԇk %hHDZا}ϫb.BY[%AV=zBNp ֕T ݒRahn A#]Vu6G Q9 N82 J*6=^@(cJ^9/rL^L :]{K[|}jkT_9dQkG_Y)*?B^ҌmHYu: 2p4 avoׁ>ZHG^tK+3|+H,u5^U٫o7,7>%i7vc(:LKiU3ce%ed9>؂:WS>T.[F*$drMЯq8V^(Nq+H.; ;eT}mM rx8,6wo-r-W^E1jǎNNMcviKkh| _VѴ@u$8B>|)l(hɄ_XmTл[͖=jz_v[@FI̞=LM0 QS3Βظ.6H:r" ~Ixŵ/[\R%1f>`e}QTqj|$> w e0•Tb?ݭڊ' nAOP)'?)*{s"9,<5ƤuB9q߁3A\[=1.c4~(|.-7E(E&{j ߌ?c͗.D@EyW ei.2d/BCۻ>hz˂/v ɠdbTYB^qZ:dLqTһPa=Ofuk-ToJ/T1ib9w8 U>̣vd@~zfREnBB*,Xk i2zӿoӳ\#{0ū:酁 ous#yff) skL-uvܕC/EyigY1e\"de N 3TR.Jw:>o.I f "`nic;tSHȹĊO_hvw !sz@i~." dǧ(`l O_4o4@nvtmKphSVh}>ķnkaƨ`@攁"@?PmR>AD {=%\K.rĚ%"BQWF* Ա md*ld,j5G" dvqa9C646|]XĨTJejFYdH 5"|9)*'&Cl/$|MFx=F0iÿ=R{/TzMvL@DŽ4,{4Dz-B`Od7@+ʑZXD/|ؒԧc}pNEpI@ڸ)Py,НkQl?,wd#1I^rM(ޥh9\g{o|*@rOڥ]3 Xh1QR)ɂ<[?!6]oŵBBne^ڃWktXh>ή{힎SƋ$P*0aPd﹥zyK@Z2fE&yQҜ 1fKBFskY˖8: >#U 1;rcO~j.ȜRH,K-)Xޚ|Xʋ󯵰R,&Yp57aĈ닢|pTej |Nz|1F_ڻA ;œB{UsZ|,v9|_Oy[䜁tT?Tc$>ֶcp-!A}u) >$goT#<9hY(].rV$ ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6WvOxݧu-MsVO!?pc CbC:}PYU7׊ĭRf37T|+ %sOv&aYe3Gu "ڑN?Er,pjFVd8@g']hy+WCN2DXJ_7cjL]>o.TtQWd͍PK ,6=א177_ȕ׏RY{ovP H_1(\i3KMl`,nG.&Y#Qy~S~f^+뫫{<ԯ^d}0A<פP^F`;hm~H \RDi$b4@(|x"a.;z!"M3_܄?y=FZw$?ئoOS,{AI!ÖTr΄}~zDx0ߣR>0 S%NnX6X!-O`XG&WGS r0X] @rw(v9''\^ub@D6:!H1DZdé'Go &^#2 0y賧_~cei$~&yhk`S~%o5@Jgpέ8fva%9y6E{~B t|vBJ{k-9$!MN)c2I"4K]3pZ{%?JDHǔ.wA9{W8sD!۲I;v︿qݲbyQeoH W,i8D9ݟο&3N?y=?4y'KJjbt 4/75ZI?qF~#)\-bk8K)PyBw72ܖ*KkKFlf &]_wAdNt&h:]-AKR ^S=NleQ(>kYDa3x3ZTƣ=\8a_9bEN+8`mXlQ&dvr[AV9ńan::A`c0TQtk[bT3͈󦅍o)? peMKsI8hjv^h 8;ç3RNxpMȗuzA bM P#qp@y %}lww^%׌lґ-!V>5B`:NVJj{7rR=S/lS>4IrWAiG[O)"8?&H]8H0[Yb@Qʊ4_,*їb_u~Hϛx 1ieó%9"{Ԑ} AO> / C6 uz Pݡ ;_zKGX~#h9UsYw'ѡKX=`>'ۭS0]NRGou%p@Lĭ ¥?zRv kT%_J>}ܩ맲m-|߫TO1::(1%q W)g qg6 lWs+ljhʚ7>E}@L禵e4x\\mz½7RCR{wNWd{"9;"}%yݥTM#wCs?RxčuUv _]@ pÊƏR7/{&QX,`Knt Sa)rQ ǞBe`쮐՚ (=e 5EkɟxOPbB\=OA<0kSwٳ\*mGSuRR>{_egM@!w\>fC: x5qe[k}8h=S**]]mgwDG-7\#F~3:Y,w(إՇ혦3Gut4(dZ,Cc+RzK @('cz-f~kmͨ`o2oogDè6#PN$K!4|˓Uq8僴f7hI{}A?8J/.q`c/3[tiڱ1t'w @,f+D ނQ gC@'*\_G4UKMmcfn[N2?Ok֑*_10=4E,ι?KrOC'Ӊ[Ά;Hٷ_  ؚ"nP#d{&s"f"*[lITK("6HƯF[BϛWaR zĺ)&;+[.wpAJ}C?; J/`MeWF=Z|bhAEahݧ{,_Ʈ>M۶*EVtv=2Z9?IPy4%PnWmDQ!gBI; Ԗ"d4x4Dypى؅+o: &`Ύ/o*"G0F#P)mEc䢯gN~<&\YXV:rWj:=};f'ցQXj֧,;~J+j,U,~d~ʎIR~ƀ␔<^<<ĺRo.Gb*}$[";\c#$>14+^4 Xķ~Y1aZ0zݤrlx ܉wSun4oZ d.@V%}z`0\? `}C42THV{+ϙcxXGg<=^T#n:W6blW0_/ĜL+j$k lp7p 㸲xIW E] th7c+ J.Xl* hD.E)jSR=Ң;.q|>aB7+npMOx|$ȝ U~LʆzP^Fc @6WcZ-ϔi'/,;weM{&{T|Dfʃb2<9uţ\Gc,}oxpwLp-?pǔXFéz$4m9Zr;9?$l.4+0wl}2b1so'g$yE<^tT{dL*m& t0LW@]} dN1%=Ti?p Oo=>(qiXL~YA9s5.&(Ep}d a2'/OhQk"CR1=j4%7-#QtAS\v~5 3E-yOow;)7G>>rJ  g 88"`?n\Pk-d ]ˏDrSYdqgF;Xk]Ŀ+g罏q^Cb4]F,3e^j3SjD=ԢLm٥]!UlekIkGWmLq!J7\ FkgU}Mʌ20ڬѰT@^C;mkR 6b N9ܹaZA&нԦG ?o#gK"JL~>zM0B) #:(=\ A峒UZ)|KI“lR NF &L*|3FQr9H×JF "cn׏#tj !|Yi/@(JmtCA_u YS4H(;gXW칋nuWx7&cwwG>.ц _w5TS b"gSȃK쑞 }ɇ?3E.q 2 C}tp–t?APX`sg }XSK) HgO t]谹$^&Tuzs,+^gƢ=ǭzL=+t'xM}/y KE9#oXax^T=bL R`{ d]lw.G_|_];~suwVH;asژ KN+aUO<#)xHۣQ댃޳L[R6A֏_ \=FrsT{2()$p+(z[G0]t_E|rȓgZ0*8%bVDg꓂2^P/vޘItRi>uy>"heI_Lk<ϮnQ,0xƙgiCIKq+eݰwҟ?maj{28Cx>Ióݤj6-Et?TPUC8,bS>T Z}@M!v;>d@*r'f9rW#C;[##fJ{^}v p"ŤY l[Gj0.$%v@p]-HwaE29]:) h{^ki̇fY1}H'KW:tCєB*RoU5Rn =-/oz/_3qF]qVL/-#&lM7Ψ̗=\ JYbnMWKos*e- p G"U`<0P>ifV֦D&5m2c KT]9ЅRaLUx4obQA9+ቓ쓨Pq26"Hc U'sSv5qbuPEm- еo'c09#3c%?Y g<` CҢMv[D ! 4aO{۲C,H3Q x BT.]sTF]۵2MCӹE8)Tp~Db"7g\tqD@CVv&$MjKcUv=BFMzGH3>)L˭ G,:# 7C~Ϳ=UKP%G؎Lx$4Fceּb0egƶt!ũ2,NLR(^r{ezQi@ɋ{.YfQ>ڹ z,[Mؘ )ah9)?tUX{9/g8)"\i_7:I:Aq1 腏ɺJOo@~v;2kP}~ Kjt%*3M1B\<UŠ ^0bxh(.a~w7 ]^~0,Y^FbU(M]2Uٹ;TEBQlmx.5lnC6}L@+爚y{N I2X[EoȢԝnz! A`"wC\i@offʌ@ S`e$W&ffAyEu_%AI4#\`uu4Jf\>dUzu\㓴&ۂ38y4P2ɫ*w tď}OiaӃj4Brp7%ޖ"fZN5oJ3޵u2?_-k! %&X j=':WS &F C [)Ŭ{5]R#՜l7J.J壑1w#/* fE^f̂s7B4eW[)rq >GZ9Ρv54;ʅq;җdWmC/E,=#?uuگ2D_ )B5vrtjpbF?-9yK%(ݏJ&։`bO;I'GhȻRB¬Ts_6KsA#Lu NqenKְ%,E؁b{b&N84xv12)mQH5˗O:*c zϰj^QwsNۍ+])[(~vSS| C&0m}kSz3R{a63[XQ;Ʌrd,~._Qא XɧLzXʖicIIH;g _Pup\2"hwƮdnͨC%"?5,#ږDNРr%,;z\ՅgxHj꽗uZ|*ۂWBml!Җ; X9Mz=GUwtg!bq.xQ.L WL7.@.T5G 1Y91U3ڡϓVc楱 l3 qƱZr Lfx9Rs1vs'#4\~z.\ubKAه8`1D]C;oi8" Iՙ%m001Y$3 q@ DŌALncŔ y€H!|ՑP Is=cN'qgrpY5j Pk/t@TK0ug ӱp0P Y.,k4m6U܉ʽYYƌBq헷re!#XY v +⍄wXJ!j`W"'u}Y"Bf~'y{+6W oMC-{HnKy*zCKD7FT31Hhwczٲޠ;+dnjK:@6P}j2Lo:I17T=#raTGa+7==jr.8P7D9MZjVX'mU仔QAa ]ƀÃÆ-h 0bzD6-d{< }qy{ЋOOD:_3ܢ=Q{?TnA,܃ƉXftM7|_te*}BZGf}x68V(!?x-RLKo{^pq?RAu0Z5%r PWQ>h^Eu*ʿ婫|wüߏC0b Qo`JZi>;]*-كjY|NbFR|tqU|* 4 7RQxݖ7>N(FLyy܃IBٝlﬣ՚Ӿ0O$leƯZ-,!+Uy͠舤 ?n6 byqnǹᩖW'fZeM۪=A=|= ކM.g:(p<'Uҫu7BsIcs %p VB,vXh:1l V J Ga!l7Ck0ˉf7 >kR;c4v>M|9 t _wKQ@zgA= WtdF*QzOtnh'0kgahX w% (%ͫ8Y"ËG_Ŗ./Zt[*j?! %MV*gaƬvۊ `Ȓ])O{W6ZԦ=}-0Y"0TC 40RcQr1e+~-K(ĈNd^W|xPx(*:GzS iĒ,>,kncQ*\FQ\_ Ʉ|3_#c2ʻ. d_A KK?hPFpį]cD7x̒7):}UNT9J3ԍ6Mq~L|`BP#(MPgN}e{-Dw}UClQ{MK*aYF{U'1HmvӪA#Ux_˚P9 sLpU2`)wO?v f{ٖToK *t,-GpHMM-,}Civ"1ē[AdNE/