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 cc1|<4< ] HOL-Corec_Examples:threads=4elapsed=252.883cpu=679.424gc=110.7607zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8Wu9m} lL'{(4tM=@0_=^C 4w,J'K;(=8I_W8j$^Hkt3xs [^Q;ȭ7(ŮT,! I!ѲQtnʽ=W"/3.y7m;,ض%X3\{xZ[y7鷒ÉxsŸȾeT!yS"PvŪŽPJÑF&B%z$/\"S bSRM.R%8S:=xͺ͘\Zn志gVhMPm 2la5lϑW}Ujy[Ǟ!`n罩2jc&=(ҁ"D)-|UWl,ePlziwN gzt3D&"CN Q/ N 38(ؚ+3_]6,,b!,Aߡ^C+bx3cj *Xq; VsxI-Xq3#Z(PP(&Ȯu)K`^sY(ĸ28j,D,YPxϧtS8gZ2"@vi&co9=Elbk2r ù`yu֠sZ6=;ش x*eP<^0gN|5s?44}fXӴJ*c'ۏ%y<)^(7"zIW niT(<A7祣a Sl4N=:n["*m+b0{[~(pڜZA9`S|IH]$Ѽ$J(#lnW8"` /41[Z8NKCW^Jě!Ph2Q\slS;k\;1$+MxȎ N􄑓@C޺Bmu;:i j$ 2mW"Xq0R8lj.Rᄜ%!Zq!/y)tt% r<ČϤb%.]`a0t<=#Dgp!E+VSi#7v,Kl`cnoA}kr~Z<H-^N6UH6:% 6ٱЕkhl*A5 ;_H4J2+OHh<32l24H2q"tުzӎм-*خ''N9֏C6W\Bo [0 ] /S,*v 3bfyi3&ojw^Ħ$>=(‚nYV1ZA=p6.><-[Aj=B0cqi$vNED8o%vwzj^M (} WzDpEzJwP$ϖ7(YY>BŮy:i9}_,[ߙrka96]h%e$~8$M[e0'r(/^0Elu'd`qFty,}G:(L Zm4'*x&!glݢɡa%H;tBTUb#[m(aP96f,^[΂q& PzBM1B1j@t@c0ZA{7ތlb&JI$ΰ'gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̨Bc('V8U%[DVx2gM2u%}I>N%K`A!Bp3$d2_៶,4hz򴐜tq`` P`5Ъʊ;E-Oݑ]QS I_8e^e%6b:T"Ҋ0ŇIs.ɳ`  fjR{yPQ1i**VCSR5iqX0Đ̘)48~RS^ǷRhGwMJYkGDr7Ba%g:SGa WJ;NzDwZ{&S{9$\U0c2ꖸPAa[^UL\ҕ8 1 HOL-Corec_Examples7j1OC 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=4Q3J1F.C,>(:'7#6 2+*'#"     * h]  dm0 r4 9V (] sp,FWf!   t 4 A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages8?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files6D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id!?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages =1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_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_idF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-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.tex J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texN1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texS1OC HOL-C)D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id5   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 \\X1I= 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>MgYZF1OC 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   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׈lgYZ mm1A5 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 bb.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`HgYZj1OC 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 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 '  'v 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZn 1OC 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@߱gYZd 1E9 #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 QQ1A5 |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=(skHKB8j39ogYZ0 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ܱgYZ  ap1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id5181A5 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  覱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 PgYZp1A5 \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;  v̠|}FCř)1įNL͒v8tЕ _{{2cm3e(dxQ}41åvj&Н7--XАO,8, w:QӫUӒ2\q%EN8ʶ1Ãٿa 3?װR;l_.eO7 N\VLo.ᥣXɫPӏJIj-dܔsoyNBL0mUt@".պ{zP%1d^XZIDW_gm3{(k*5 ЕP R!./{<6+z/-(i)fgqV;c0mh1w.|mMASiĂ7^8Y}[͚5ʽMbyIF>$2Ϩe(Xό>Sh}-I=(d2 3h#ۥKҾGҚqNJu..|)+FgJ<|~ _mX?}et$#3 {L"7iáp碷y9 W 6Ǚ#aoe}tG S,pFeQ(7{ f^iDׇUz9`gIkXD۰Qk۱,xU kUbmQF$1ϏR tu1^5s1gx4ַծ6IH0m|c ]WHUMaEvf``[q>6yFu!x?P[e))bs;ɻL0y_fUKϼvZ>n݉ujK+'o]oéRgS$[Epa>#Botwrq~UQj+S! m2N7d0liZe{(.KS7HF \&j=b6#  /H 7O_ұf"`sAө?*} w.2D BG!/6tfDhRn>ⱥ;;6"˛R.pbрR>@1VvʬO?Y B¤5l:-6HX>D}WɡxKLV /Q 9_|rW v A|AWunTT@=ޛ{29K#厘QP+/gL\ ʫ傖=7~hYx]Co0cV@7iLoB/zhu&rڧ.*D5*bȉvBO])R\g?a}H$XtYź,Qxڃ= WY]WK?ܜp`P/L.KΆ ̉GD,1 e枝RZ%0k4/>oJ?;$T!Ef3cMQ32~}8HNр)Gu c, PQ-I Sma4G: &#.>Ys0WX0ԍ Qu%>B uiat)Jv~G\F94Zk[6%C%g:L|Z+ siRtiÙM7 g`2/@VrLݸߩ+;\ni] S`C뜶碵l\NKIj`Ѡ26\wW I]c[c]K{#vF~\,(,JMv/$xB w o$xX$6] %ԝG^ƛ(RvHTi*-GsNK!>7dL&0eYCxjc&MӽU QfCBLT̈́8Ye^A }]~th7iX@oCFlk(#YGxxfO(|ZwzjϙiXf"jB;%;&lTsX싩>9/gHRYCPA{l30 k( ]"{plni >|h6mXPXUO%oAY"qˎ&M9"v#m NYGQ]1]Q\= ,)ހEaoج\. qrn vJz%|H~b^F]N#='0-K PkQCy\z9f6ɽzuuf;<\TYsyܦ ]t6*]qeHHPA1ng^6W~,${ĝt~1dߤ]'#ၱ*)/jt#VMB;&SЧXFIC9Ñsln P_Էq՞njS ur_3:4gZ&WYaAU:wPaR {xۈ**Bdϥ~@gPLѹQŽ8v~b1%G xJR1T*ݨ:%wWGb 'I&8$_!gBGTTu~ME$ ֆr4#trf[r0|`ZphL} ΢zӫcfu8ÖοZRoZj<Md <b?+ 06.OJt&)6й*Ԣ[pZ`~/B ǣU r4B+X&i+̷c-ѵ{'# kӜY\}5_A 3u1G4ŦAf(nϨ?zJƸD6kR{.8(D kP R zcMAhH||NZ``H#!ݛ,>y .I*͘2ؘd-eol*E3hda`ϔvg6bcp -j/'g Kh"J*7Z&'u^ @LNBwAiƒ]>?'.%|>Ûk-"?;s)p.E: 9)xd%Ң7`+v?SŽ`E^hm_EJl=fMGٖFψتaU0Ufw2q9un(Š &<#@g4v^jj>jFFaU9Lg SW`_z\?0j\xzؿ8B~V\Ie90y&7 6{Zmq ܮ9ϼ]«ZgdEoKa^&[& {gYZ  : _J1G# HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,jcaD0lDu.?}s\NB2]%TVTҼ[;P+Kɚ ӬtMнY&-RQŴFZ= ?܁/W3 c5v~:-J5FWw BS>6 za='j8uMxaH T P#SC>E9ZǪZm2(7[`|RY*܊#{삉o7i(]*rpQ8156zCZ٥`"{_E&St7@ rV=]?Bǖyb.bϩffJCM>**6&8rs)?0(\8 2M먩6iW>R$>8vv8<4_ 8ހ#ktDYSIj9MsuN4| k%u4:B{eNEBKs@JS1v3ulK[riB Ыc)`/g6uYcȗEp$cH?7N4ZbVrLQndB< $T]f@?{;Чj VXe@~1e32)OHNjM)uX>9ޅpizg{o>χER  S,yJCvv[‘ r>k}֝'ՒGX bYC)e8G_Xx.vHßHރJ;~'48x:+<=2A Bdolku{5 aВ!yXbU;X\ UuV΢iSo۟)@ʽ{#4́~Y=Ŵrf)䎺9Yo3?,frR Fs)XU0v4}l4Н~'6XͰșgmvAe(ecv9>ũmmq``fCpÁ9Uvb"-#byL OHgF:E"ZU1a"nD]9Ɛ&=yS0n6Ygd 7E @z!W81@݃ Ddz8 rPN2/_F嚃q^=Ѱ=&qdtio,e9gR| -A?DY[J_{DuUb&|ܢq6̀9iRw|ŕzI5H4".)8Sw>pj9YNM߿-?\ʰx+JqVkyx!IaQp6Vz#9Li-Zɾ?ƌbQ&eF5+m%ppXwu $J=rQgQGlBU  ǣDܱgYZn1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyI1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id550 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\xzDaI (H˖8ICrZNOw/F<67ZblVq* RzE߹NSRX;R;Eա:rPZ&UIY-.'1}ҢՕYi>`st=04M!sGmERO`ⱸ{Ul+n8vxڒT ϱѤ-LktNx{&O!:"X4iΪḚAۡ5Ρ-[([u/ͦ0[ToO E@Q.fZɢ:c2wqO3HKPC͓m(RJR'1lou+Dԟ=Hq ,hFݓ`0S8-NINehigTM_&id6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vYhbmj\4P̴$ w Jo%9# 5dim{uYthU}GFnȅ u3 LYα_ nG8VK!aشnΩG2!t. yB.~ӈa/ 0jGUn^T'4jjLo\oӚ"\"Gb~yZ]6@IiZހСBLc ۹!3Qw%U{lߏyq' cuzQ~c_ |~uwGŭ5J>[AAbԇ/s SݳsG5oKiv:Wa,3*؅L;Z4TR:c^ bv(>r{[Pj6M/_L~YNZx2Nwζˢ|h$T+pLhb9lM N^vDarfii(nmt*jsG ˌ.{o|#MVL{|#Q.[k39L/ϢQ,jcɦ׿ZehלZ(HaA HGJ\?PNHk ը RqL1j| y-lD K% +*G} E =  [E1A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! y] !M젗OFK?aִB1gD '+JV K| ǭ=$E<SM#TSQ$N2E 9",qct1f!03By)e=mx3l6))gTbOˊTsuQ%Fu3ɪvtx(|T@UPEE-.=S{"5I\oXaV@˃@\3F,;K-gH-v,TIs%v穥:jvxGVvo~H_a{ߒ+  8BBGµ 0eȌBJLaXV"O: #rCȸ^|czh:b1 V}fܞsp:d?2@mcrS>\ ^^K_Jy |#)0 )H.Eg*CuA\K#` Ph!|Cw$U}?r!}62)cDܦh!@=`&ZHJ6cK8{slЂ 4>:ժg+4N}Nt=; g& @ܡ )ئ7;ƮcǏ݉no dEWƯ[ÃV_u^)#8sXd8`IjGB)FF4&N( uO" a45/K"Q^jguIT%< 2ڥSބ4~)U&çX?뜞uQg(5t7SBYs2IE󦦑ctbhw)~_O.9. w#ڔd1܇I:e9hm']<Ae QշҨx%Z|+g95æ`GVi̡¶~ˆml60<_=PgUOvXO+'I+\?SMӼw0<=oCyeaXKəD\İRqnc̓>`#2}T#R} $qXMB#EeGjRo6R'\;( (3wR'?rg;8ʆ 1%Hu >gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id542{1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! R] !M젗OFK?aִB1gD '+JV {5gG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCohSu xBf)|-krʓzM${7!Ƈm8+%w¹a,]}G"? ̾nF S %QTm(GP 1eLDMk B2,aXCp%&$K^vNw@%c4Xg)Z$57M[nŐ" VYɆixăܜϓ3:ЛP*fR`O%Kf1wMޚŃ`@P5^gĤ4BǸ)Q]p:j*XXzļ!`ؙYGZj8By ϟbCRuF Ք78m+b` x 0gn}WPLOe 9.L? t{jْࠓ!b$ڈ R0fⱇxAJcГٌɸ]1ϕwAm ¤gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id538@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I9]D?7 {?:fH\I{ e э/ad7rcu|[a*xWPB>,*֎0A۝DՔq>WZ$j4ҡEEk3i:H0~'ԴZ53V'h[#׻% `-Eq)Έ7 "vwdzJ'97Oj^܆eg}\U+$h\bam l;82XWkچwAq'V1SH` fU4oJAtFWYY}zS;|-Ȭ+Bpo?IҜ+,JL|3(a$"{D -G b:(>x 2K-8. hp2SS8'K5Q3Q7I%,"X Ws:vE3 w NmRIj7|7$]cK.yX_gwhj൦$M/5C,$+l`@wdPF$`HN<;|~7 w.+Vs$G~Qo#8Zj`dâ7鬨&5W+-~=Cm|{mHG=UC:W5v-VO)K }Q7_ne*HA x{7T7|"x͑(IOjk6Cy>R#bY-_K}*HMFTb>^[`q/ 9?<_פҀ:>z'bbeg"L"\noCUC(>6,UAgX@Bm!%zYkP܊Ň|/x -k 8c^t*8Zct—6MarNO[ҥV`Q9#N6$V&)r`GAh9w'rIv; #H#^LC_MO3QqM@N?4 /EuDKBVyo&#|{=|+-m^rbzA \O1U .]f74 do($PxUG*`W#l}vs!nMd 217.Y' |ͯl=~+Rɘ1+/߸`F {<>-B߶陝9\!OeWd?9>9J5kG, &gvcmUX>ROnW˵TgYZ 2#1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD *-IWɼII !6M[.@` _XxxO"$R.B}4댬am rxgePӾFv$ĭYPO]WDFmE,kٽAwiDl;yCa+baU f )NԚhFL8aUhU 7Zotrpcn_giY2S(](!}ʭ5~k+7%.];fBܡ *P*+KH*F'ZeC+"hc8jY>PBߜjm0tQFއ+Br:2X[y%L]q $Z pNǝtM{y5E{U2f)sYWo_} 1YcD:V!|b<93)|$4Nb9ܠcE%1D/T^3(c[Rs*EqBB̳ 곟[b1{f#aS'98Ol؈5;V"(3"lW+jQf\(=`ȉC"i7ی@f+?əҤ͚M#`TZ3ypnk6qXu 8sDn8 ؔЅ١5hakx87B&Vs FRoc-!~M~'#0ӛPw=oPND1ɪڕsVrH;c;)GvT][ZHp{I6%4;_MN '6HXЭӦK6E+W|Ş[(Wcv]A!-`cړD.ʯv GcPЁyB"JQ<$;`}Dm C)9YV5}1zvI_DF@[W|Fm^ʡr) jZy |8Wo:OEG<G׃g6?@A#VZpT+uŷ[9P!iqd S6+* T8hIglD+9A؛nf1?P4 Z!8uph%/s<]Ѝ+NؾAQɻ@aN"u7Cnk yo]`b$]#u\v cPW*|z,u`a#KK.'7X(ҩQlrQbb =q3O.1NIs^Lġ SfaH^,KOTK2c.P?x¬S+*f]OOIJS"g:tDm~[XVVJOv>q{_4e? p$ G_JjN>) {c ё M )mn9><=&|MLqkgBvY( max3nlƁm@&NE (-lTlw)2,vEIh[%.}wYe nuO6bXK\C?]]5иHlZe(yfRҚE3[޸o&X%|h)z8U (Pf|uc"X:q2宇~Az]>Ӆ%eV g=8. HFCQwz>U Fcsϵd[K*eWz|ywRAe:E$w;RS8 cO85v⍟t\P l]; ja2'{#yd]S/S%>]~6Ԇxg!)9;²u o{߸fȒ16aI4̈U=a ' ΄Ɍ}$zoL^B'I2AaA)f{n%QA? lbQQ5j$ ftg ΒpII@><@e3v|58NQBҞɌ*@r*^*B<&^-J?Cvk5:5)H-ud@FfKPQ NvsJXw^/K^3tW瘭WwyBU'D~Ak/n\:)zF/lD,[8Lw5jxvqjBnDv٪vq.-i }pC,Ώh&7dYQj ]^~k1uueFx?m[G i\9.,GrRJefDE.&3o,"@ຂ?pCA$Py4Qn"aS+$vY jEh҂!<ɿy"msx.Ab6elz+wn۵9KPZ"TRėx鯿e8<1 RN)Cůަ7yҦ.,݋LCSi6+!-[WvPUzÊtGʂ9:[ oMs4Bm;[tF埫[Ɣ %G :PLtm?ۥ^y{C*65~mW04@:1~p TU)Puµ KJ-8gYZ  !"' 1E# LHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! S] !M젗OFK?aִB1gD ?S t$12'oLXqAmz` l}Y(4y4v#^zK e|8$@ՀWu|\^kmi\"ܭMN,Q,1jZKʿ>)R8r _<bS[oO_riaUl'rniW^$|`_, L8ȨM(L:%ɗbF{8Onv% GK;BIK8Br5IFt!_ .Wr^i\*Il1!ۗDX.;L hS)Ao'\{0O>+X/kx+& X~v?ꇟgYZ#^ P#sLc k[;T~^?\̠ GqkZߪ1EhX'Re!1F[RL)-5AwƢ.0Ao 0IΔJځ8E5^y>6T[Nnq;k_C9I 7<6P5=pT0h!%N-cE!@A=&sTjN9w/h+lb͗bBԩ//xBt*o*GZ-`F떗X)ON_>i  "&Hqsv N7ȗ5wc9xswUj]n(G$CF2oh*I\'+e(qN}s \\881Lp>3,iH}qhb n)3CÅM%Ɠւ/;nIReݫP@d ;2OZO)Q;+ i;,#\[O#$=GY6rCh+MO+t Sv0Ĉ0-AڅġZ qz.70|,+Q<&Zy`}h9RGN:x 'V^ T8  ogp%ļchb- DkA#ԇ ?wr&SKߓmX]@؛V{[{"d(~ D$0 :451|u!@9M<F8u;|$ "0|EQ+ψH|8T29  `[3,q6lk}M oQe{}y0N 4"o}Ɛt l9 +8_U29veg4CNN?°h]&e H`urU>$) y%Y4vav.!I%?ĺUE2/=$ ] C?o_%[ׂD^;>z?imց+x]*0AqCqd@ x./Z;wetON{]  f@ԅ,(Kkxýrpu^mS]Wmt$W cIAmz*5.3[7eWK|f;6lSti䟨Ictߒ">잀v- &aK^hl5koXj"FۅHɯupd$FGɛ]1b٤J6AXEm-MƏ|_mx~`u$xřpY)bQz3 p D,o}30 N4`j#֞U@V$6'@ÌJ]R\]%=ZǀF7h LЁt-clܜRij,2&eH\"S0y>$ +(3Էn!`ᎄJ5; nиgSQMq ^@,!"@FG·\d'@ *m\u<;>y ˓cr1|ްۢp [ qwgg) 0Q-ꆉ7&#,rO]y\MTG1V`cmyӜ w5]9Ftc2XV30gwnU`AHs-2JR\?MU̇7!i*hor{7s'hۏ'T{N=aQ Sg訏7xik\n qߧ&Jp'Dj Yc4t< |KcauN?oܤ7]65b G~=[fdgd?A3w}fsϯs~ֳ_?E9g^XۛGk@>_Pm]c$OMp5L d6~݄#N!oBP$sI =(-8,Ʊ E~$Wʹ5XC0̻QǤ3qw>dcP5s@&}vK/.]qGsvkKKwWD3 5H[8>^87Z"zewlzE|Gͷ]o%4 3҂$ X:q7^~p..]CVX#jӐN 1hX}Cp E~i>ƎfoESE"]qkEU4$/\& *j<8C{`KqWGq}Z d0},?|/٠Yva%@|Y5ĝ)W%:)qIŃ9 V`Oh`CԨ03`#cs4ΎYӷlRmj/IMYGGAͼ3v$#ׄ ޺YY _dtf!;y`>F_T8oS~=!c߈/(7["M4 v`Xm5PT+RfĐ-sxL0߾  p'pV=zKo?]W?fȬSDhbuSa]A ŗ"p*iՓa[^@>ny_."dh| t7^u8 ! \&vYl>Nwbnfy.Wt['Ki>=R2C!4681ʆۂ6 9b<qIu*}ɡ!*jՀ)t1З#uS4;{6pq}_Dkt@tW* u_]ZyfɕS.sPRF]N"zȸHY|w.d*(S~"r)ՌBy3Nipq]noQа| -A1 )?Z"3L߭?0@rQGZ)GNc5@4UcmT 5!͹h0s#LaYl?5̸:vqI+?YSjmthf`G]T+Tc^+(gXHŀVx(\*k K˅)p=&9#,#TQ񋣊 @;Ҷx~õDxy,kjL?E\e;*z'ܴh&ecxu (0݌P4a!Y^їA>T5X]+B_ W+ߐ{W3[ H>*LY^H&w\@Dew"bm9l#bf;j8)Y&KlmMi5i)xmP,Iie{.qvMH5C1RTۓݏtR3;fnu̺M2=m?$N1U!~,A__yvSE?Lh.j$_"L:hƽ݂9+򣣞>֑R3R؄5\3X kN[P7g=߇bTcEJ"^e}=۱rȨ~4.ز O04D7vnv3+SKZ IW!Tcd6Í';*dx2ĥZƭzxy]haֻLM f8q}ό8M"<lz&Kv{:E(e\f^EfK~%8Ty(VªA}a5 0_03f)ȭ pӼP;;>* =Bm, =ĥy ZDϺ,iV3\a6ZQbڞ|lc./#O$wPYM$2eh--.jychpaYRrߦ~o>:Ss,zCIU%#Le+)D ןK;qn6},CmRe|[  vI+% '_,Nl;0^H/F{與'2wM0X@:IH|IOJEK  x/Bs@,Ѷh=w1.:Ç{5% &)3G_"Ď0چ;x1<PA/(RaTH[Vr ';(BidѪ僓e mJ0F .nzPگI"V 07N wcsk_WGr!kR&%i?l{/A^RPL`0wn2B<\W^$yЎ/rnV4y ?jҦz~4 BD9@dF2#A|qr^35a"g "xL;fٓph\5S`1C]-(@(.r|^0L=/ Ǚ+!Z-:ObiބewJlo_7mK/M;>dbx!Ajd~+ЁCÅ'>oT}]@fO;9YYo9?+e0H('ƟyvT { \sȅ({>x7 -~&0FsDRBm8ⅦIKm}oǔ_/+w3|$a?&wʇMR5դuV)݅|hc5zȏ}/4Y|L@H8Gjfj(K)B.tky$: VfQ ϸLp`oal7|p  \ku`m-:(Y'2MIR1}`$O|Fse$2G5xg,SM  ;p#0C$C!!(u!zPUfNPA^p෣t WHߣ[%iana:b zyZV |LlV9aE |d-벓zV%B5&: dqVq5h-/O~q ZTnlc('%k# m8d&Y&쵴đFC㎡ zpP2<.yn-.523}PLyT)|ZT+)Vguhڳ/葚Ոf. &4e=ɹx;Ȋ/2?㿻 lnZ\KQ&gZ!wg&}cIHHH /aQ׷6 q϶3d.%|o/qڠq[ Hyžvv/rFET/^:5[C&2Ѝ 8cj]H_fxPqHD=,qB*G_Ĵ|uUIѩNt)cѾ`gqզ7G& {*'T6߄p' ݉ Cgx:_R1!Q}ߠ Z*_j: Oả q4ָ7VK!3ރy9(@sϕ{SOj*tFq,!:OH67}M޵OX5)h c}c]NǿB|dn䀛#&[6iS?TS w&ϣ`]XPfD=XTP'(Ì nǥdVMkq PF1)NO;)\G%?:2K -0cHۀ~͘X7342gÕ|eO"YZ8;YH(eID=w}ϖgh}etәusyoX..$t%Ōxuki88L8L3Gs?ӥZ9U-JմpS$-|!iIvXxx42/4QśȭJ`^W?Γ$wd]JN(勺˞(l0ڒSkB9bmp@E, W߰lj{$U;CjbbSngRˆ|EV+kM88 h4VLЀIizx}ʔ,-aS+- D5_9b2Qu ȯ~2Ւ#kƺ^Κ}պ5QPuJIqT} *U-56gR6sRi H9u?MPM;쭃jDOL i"v&_On ʪvQQq%cVZNH49r$n_SJ{\eO"[p;h!Qw1hLHEوY3J$;qgpNnC#odkSI\-DYVA8)ʌ̝Ō9bjH0rH1i[q[&z%^Dݰ/Fi| !`AQ8ApO3F{1qnܐbEawܽ$jq EE;~pv ?ƅS~Fa#NN:i1i.N<Sk[O hR`UXEs޸=nC.Lc);k%J[*}f UM$зYW: WhvPL}J"T+_Čgԁ!xW:3V4 14xMQ!پ(wôi`3ߘWnH i)aDh_UBQ&# - 6d=EAUq}ԔM=b*Y~F\Z>)4̾ 鋱]~3mFԖ̳,ъQ`X5U* YDVk)ZTw@Zމ_G0Hhl U #\^yh&hZFWǧT21oEL `P Wp;{z2g]RzyʾtLK(.`p1Bl}T䓳DdZq)Kbc=@k[mEk]%mV;8(ԫ)rGSĪ_φY6pbb< Eq D] X8:D_h]$Z݂?eC n|ܜk!;yJ󍯾}\!V/yъ 0]5tBI;)4tl(#|,Ls\2МdڛjI&~HQݔYӻhҔovߴ.q7>$Y~?ߖ`jCl'Cs-` Il|m٤lV"0F+n#LX(ٷ*u֦*.UV{'w_l# p[PUQ?#O4Q,c%C27*^L<ړ_Cr OyjAbYB&uTJ CZmQ9JO%LDxBozjqFqpEϸ@(:no&BsJ ֩rl"v}{Ȏڑża%]r/C/uxMB{]>Lp/́.7-n[fU0OdqO5w|אk=+CWo1ζ6If?6mݝ4SchSVl_#fW&~h׭h;9*&dcY`W猅ڿ,j:M`A.ˆg 8eŒl&F"T7_uץ|2ҝO$]1fGH,{rcA']3p),#Kǟ*V,_L,啽/qԧd䗲ʚ3S>]Ua'nI64m,s7$ՄL ȫ{:Oxgآ:&[AsN,P5ȴMWsJoG Mf &!0zf>DEBY(Gאo57lJC΁+"'+rjh:؋[7urЁ7N:o;l1K&'*E uƫ(2P`A,-iL0A=aϾ,xR\z4>cʨopg t~Ux1=1ұ%jqR2SH 9"l ӻ qST[dURIٸ^=u_x)u Q*(狈>")P-D˰Z8=sy4@S7J*Z<g}P(^֋㖐IGk;"IJ+P - :3bLT?S?K߬w7©!mN_C` iOP)G/60΄rHr,cc2~AyOiq.3|hް 8fv̯lwB lmK22yRO-f-ݳf/a z\HzQ,ڄ`8spevDRQW暛1eܪ)N/d~g% :IV^?@*Z+nXXZ4̈ӺfKah"cSn+S416Ig_fj=}KY}CE۾unTVF*Ʉ~kh׉.|NgWk{㫙-Fn|!vz((zoiM,X(3b,;E^Ba=|& ʻ+ i-\DL@4{=XRe^xyWGA4Un[a4{dz{ x?5Wx \'x95êH~o]{PŋXd]oPdʖo3u~⒞W4Id@K| ~]BseUQ6vNHd,X#y^90_Z}"`$zb[썩 QgA+ Q%dsZ:QC[P_I`[vrގd|/Oy1X#O$8*2D5q{ 9Ub M,I㋪rdB4U tu6 An_R_-W* vVF['eW0 5qGlF{ԥ湛M(x,BIoE'[m2G"+#希C5QJ#:ؾwU2#0>x$wkFqg; re tLڻb3p4&j{ VA.CkC S#vq:m[a{V9A@ƋQo~Aӧ; |DkƉ|pܔZ߂pWvncyNIK@,"HdiHҭ)]&Bc_.cYJ>7#TjTeCE"/ZsCXYt.PO-*i%hack{tnjJ6y:EITߤ }p_.u%; BJgEeMw857:ָ ?V9G>AHĴu BjBj& U3vu>YT5Ÿ6.OB7~S]fh&-:4ɇd/HstxPG`C'w/7i,3ܱ_l p8(ȦpX0q=6xzan2?#ꏅ*!/×Ց4[KldzVzefL&.þDBvE"r3v 2cCF&- Ӭ(|Wdޕ G,H1S>a6Eg'*N5m*}Ag#d{ ,]3Y?uy^gbC?v7 |p\)3Ee'!+f'}CχYq!ƶ88`S!]Aǻ\o#ri=)FۀQnĝZ|>Ŵ]_Nt;9 I?r+[yl }6\d{l2!0Օ5X79-A︪hAw&@b]tN?Ù@@p##N@ ;jAl)?޷;vI~Ggt+ w|n1J2luiy<*[%o]  );D?ZnH:lb/Xu$pyc L'LBEykf3ޞ4;[] 䆰cpNc'i>o_ dYOϑ@xQ?ygY|Ocmx$A''H{F\Ēk חC [JD=/6⣎iWCh|Wp= uU~'^]"M\k"mmg*S˵5FI㐀ZnBR_zO@Ehn873$xjWVa3*\D6{entЖ€I)3zB&ވq5-l72{G;IVU-_UgMO<}[ T( w@7|ꯄC=FV\›`(-ANU񤼠rB݁J;3Ie-S'銫 "'rT;+:2+4E{sD]s.ŏza`܋3u( l!YïڨcuoTy@9 gzî8"Yv%<z`8ocrD!]\z~G MG@ R!ЃVWOG*Yr`5[M;#k>O_ne͗T}W}pA{{sLV9 g3\@0;[i\D5?rxCraH .۶u||m;cCL;BwuTߢ0cR]Y!pL F#_¹b;[b淏ixpkKZ&Ǽ|0M{ȭj?-Hmso$U sC4o byq8kַ Dh+aGL^R=,Xzb/UJeY:Ō aghKf_;$w8\i:7?4#]w$$ >Ix?x/{ &d *Y*/S>v`$ y —$*73?ՊmJ"FӗA߰h7_NhkS%@F )ZQ1Xӹ*f |4A_0=mj!uH! sU4?M tmD?W;+8HL2EZJXKaULr6WY WY~>U?u̩/`q.'8^ (LL=Ak܋ūCJorS> Q|ڷ_L(™QmZ[}v\;1IZ;v%D|Fd F[fn?wcGU:BP}!by$A% :P]#.kxMpu:{.c%Ai6?ĮV,)|^M(94;Dk1~_ccF p `$eWDӺ!D#d(=/\lvUe-aJ}{q4ȿpw1@&Dޟ/k, 9@gMnj[g/Õt+6M^W@% N$ ?BE5x_PQz_t :i]RtsRK 31PcЧކH#9GB*t bf[KIˑ 2ϒTTCe;;%~@Uj5 ڞ;1nڕRT駚]ZIE58Mu3ZHz _~֪[M$̐=aP6D#4Wٷ mOҵ`ׄ8u,~Z6P0[4.I3HȖ]vGΚha{+L}?^$ȮtDfNjByB4=q'g@|{e+撽KhhU,TbkKgj!Cο(-{ZhfA¶|2&KL]_M{mzAd.OPdk;|S!ҎGv)=![RY0Xq~pFƥONzR?uCq%-&46ipKsTd4gHҖHmyZr\IJO-z#v 4`)j 4mUri|t߁4m,R|A` Ty>vrCw/Gҁ q`=o}VETz +y9T"p^>`j=]\G#[X֘En󸎁?\ݧN?wG`&g`FӒ~@d895[~?ȅ3D>4_Kjtd@&&դQm0aYi1J?.<ȏ_HTQL>2yq/$L4Ǘ/é |a:9K(5Ux+\DbiRP/,3H?:\jF~Fu0 x UvY;]w[2<ўIW]: / 1׳ɯhq7r _%h'2en)?Ȩ"wUO "R"[4MNY0絛kٗ@ [xHP[Us+ T3&B*p6; 3 NH a5?n(XBO&ipRSc!=~eT׺d[(eJE]&9\pSoaIA|L-,WϮxŚ3e=u/x,Fw%$ۉ6$ad%*R]#>+w׆}[M'{C\ƒmlYpք d'Ȓ^T8ՀdҮ q}9T :LO|Y7x-$.)<ˡ44+zmD长 g\y%b/׏8JmKNg[4ٸԬ#!2a&/Bflɼ?}w*iX(AS== Z v*SxkbOjD >{w|Z(jCgM~ ,Gvq5EBJa0'<@O4gYZ ov*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_id522?(1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\2З<hƶ?y ,(PPWCp8pڎە4* !gDMMZ"rS%AQ\IvpH^܇ P0uN#G1wPcX-A;έ줐"_I˕_$g2 bTAPB&_,7gکdQWbL8Ho,1pQf:봿nj9w{l0C )}>̝Rl䍬/:(.|6+ NâSqt)Jem4d/Ε ':^5oM; 0䛸T}M I& A!tOG3%([Xa =GQ#)m6=٢lJ,9rnD<ժ8 ۏb2uh3'Lq0I} ]mEfs#NE9K}YhTU^W94YF,-ح\%3F_~ 뙻n7M7-dM\ |`=PsUleU0! !Ov_րl.6>>Ѳ2L`8ǰмF-?īƹ?Ig̑*/}G? I{0*bF@R2w[#l!d?z`fEb|f+q=6vجޠ ,/noirl51wQg}|:ʖpIh|:0fWc| Xo52T}vR 뼷޽a #犀QyF2 .TPR[:I⦊}NT ؒ,#0 ;d} D+c;8^{^ˍT;0Ą&eKB Eͨ[^@%M0~]fh^x.QbC6:{!h ĕ&%+ J H&,[v`ٹ.|0q0,0]  j\DMF,}Xݺ"-\W 2K!qWI9 j5$lAԌr<+2$ߟ_G-] a7InZ3, 9hbf ;znOV@\P\US}ԑΘ79\8 MD Kk3Up &\XCwwjU~/]Dّ~ӧ6?DF3rg{y&p3a1,E3otǹ'rMŎ>.s,T< ٪{ FO_4aX,Ls 'l1vY$(%B_10_ Pi?cKUCD*]px,7_u˹Jא#/}*A" E3Oʦ))ܞVPT  zu5u6JgYZMvTkgͰH V] t-=ЏS8Hťf#i\(CH #AէL?! e1xpLH[w;8oi/gyۭj 4]x~g9MgiJ ȑtQԠta#d }zocߺLT;Ox]WE>-~!`@a]7ePsns$ н+JhPI@RTWq*SM ʸ;;,Q-fvFfoIhu:DNd)xmC:ă!-c;?GAg7T8 l(c$Qe8#\hJn)@1 wv~LLQ/~_ ^E$zJK֖u& Zizn23׌e.TTWȿC_傲 nFWWL|2'6 cGHsD5ޠLƠČؒ}{ . (xq茛> {k<\;S)WJQh뛾[`Nt7z-x^2F;d5Q%OZVlٮR5H4qȈ-Ѥ&_VTy3ԈN:j;trg>Zk,&@ݵh/;Mp=᠈%.&if=7SSvl"OټbI ƽU?$k/Cj<ٍ-q{+|ο11#X)Ǯx*|>HC&5^fbXG'3e"0]mmm;xt@8r<8R7)Qމ="Uzh)"JZ},/ܳ˪3bnh`9ʝ;÷x)V`Cdq`+1}wbEAll˲( ^S(T"`'-Fs0%UWAs歓0IZS9{g}&]m ^& .Xʿ8[f%Sx`,LY=,IjqXw2!bw܉@UVֱ HnRt'H**4Q_W3MpotFNP[$ʘrE9hyl~eԥ^>˺j̀ݥt\9wGZk0~q„yG.lxcW7Իjoْ7 Ɏ/"~.,_gmh*h)Ij.3^)#A. 'u"WC+~"Y5Hx䕥GNݞn7i .mQSGL-@f67Ϊ\՜A-Y";n7 ;٠Y&ivrr@g]ki4F ju#J؜piGT# 1C?_Y]nkn'CᛅZ,P<`Qrx(pnL)y-4@:hf3b<7s /;k9Z2U_Fkk7V04nd,xU(z*ЍIqo ?dCT` `ƅ|v.bLjoIl}6!$j.)(}4"&kj:.-"tT(n[iy7M%'aqGK~ZN rHa.=)8gY#evCmSAz0:+ݢT# OIcS%q0\r=&FPE$= bN'ഺoNZSc詄E }.e6غQHyh{UqlBQ0 h"<0[.\ NFG%g^,?kfC,.NƾSG&_ML׶.x3k,zxN,:Eb㺀ҷֽ除z)p௵v&È!Ώ1zi7 ! }o.Nre ȉxܧ4*,>ZYm],AQJ>Q>]CX=ԯ?N0BRjF's?[ilŽJmes C.~X$\:Yڰb-pH_)8ArUDD8@ 128M3"ӽ'fu& C_N^`sU # <'H5~<=ph@!3,3$w۪`s6RoW:$NvlN'_Hr7ݝ'Q/lpw t+S.~9X-4s}Ž:J;Q\t[?NڋpeT`ƂM} -]Kg9Km 1&9hSOh?/^hP$b8m0UQDH`3 4/@XBLpFg`s >DB%t~xϜWŴn3~nuk7T `y4,z{.1_%p-Zwa)ŧZ,:΂":l&(ph$ i#ɇAp[2#o;][/Hu] 'ӌ,<*` /2{] 0⌙:H/v.&L+RW8ș]YvZ_L$1Z 3uIJ0"pOƘLtc͠RCa^s4=f'enYpSBWX5QO44Eѱ3TJtw.YhqKF3m*{0ŒBy -l6Y32Z9E;ŝ{-%dPBi:u\0Nڗ~|M̞^^ ^ zLd>.sƩmHH)S#o+]öƹ9kX&׹SV-Z yEObsm8)XfG 銅7p+fgjИ&NCBMFǣ%Ʈ;Bޱׂ/h#o|6y:y@*JLJ0sY_M5W^oI<mpaڀ6 ,Ȼu* H t#=ZQx߀œsNM{rf m9祝0KiARtÿ&6lqjb/]/fIyT>H$Iъ>Sq dѲ:_U-a=MaC9 sjS$핺cĔHPKPG7{ZbYUYb'OU1V O"4(5]Mf8avp®d­ǃF]lcH\B}0I G?>4`TF絁.ò + hUoV\kHJ6Uzh`Hحgta"뽇,ʅkQED!ß+]⍘?ٶO0o(EMnWpkB4& . {lFO?|ӽwS&m*s,,58G@09q$~QOK +r"b=ٕR2{+in-\3iuyV+I~2/]8B N@O)D;6l8vVK.3|(wɽq?u)@$$"J.J4ZDt9êvOӿyTE$\ÉA]Nis{64N2zcE".S^v^3lG=w[cQhYCM"/%_2ޕfv(S8%4z%K­24{~$N~nߏk:\V; 8܄ W@&zEh|c 7,*]̣ÁxZniOcm \U K}o-AfZi"F"xuh1X^Z2XW! v(;GUXsI4O Cp"E;@fg,4╸JHŲB@Q~\vc h99ՍX rs7[s!q$S> I߱DB o_lR^PxۜY[`S*U,F1aS](ͯlUGPidmVgwd>vC=lYFSPݤdΡu9R9m7Qi&e4w,CP-^7j{g氝}[c3o@gd78ty-_$R:4=GYQ&X(T="}ԣy#f]\gK+-9 ?gz.RKUal[]dSaWEL'8t4 N &Ǧ= ?r9wo:eD INJn- wzWv9|Ֆ\@*``Ke?IwRK @NDS] 5З(z3H *JJ wS|zҩe~q㺙gO4d}<.#X{AQh5mXQ'Q8mEt-gBcƥ pn~A1ϲ9uCAN|!+f,>OX !Q/e gm~p(i5\x=%©,.$g\%{& ̻T$o6Z> gɶ&Lі4I y^t{*2Dm^+kc¡:k>[D9D;]8+q[4&I)H:xɽ 0ypZKGKF^R!=qEt'rK6eFή|5(rKDvb:^6S綔5 KMhu>*Bxe\ G y * Gh21A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530L01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wA]D?7 {?:fH\zS>=J*eu77R+xE?N3v+$?N} NsKz^п/F[+80󘙂M%Y$ ŊLtH-a %.!z:KEeu?21Kt+5~IEN,7~KTAqT{ZKQqb0S);:!-a!m pOD!'dVٙN|.:P|+Aɔ,j*W ߻L ކ]ŁJڟbn͑k߇-_\ƩNDdVsreK~evW5&g!`BOI9*݆h*|*RW/$W#N ;~kGJWX'7XdR+p%7U~~_RҖK: X$Y!R3. ɬ $<{ْ3f%1Dz!)zlzhtx3h%膠bs|8 8OW(Ҍ0ks4RK%|j8h[ CTtW};=8fmYOi%9 jf_) g;*0vptA҅,U$u`eγs,ӥ3, ) 3kgYZ_/ 1O# /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4k)E"U, SMD׸|MŒkn 58hv'[D7㾻U.33)P׭m[㇂+H޻")e#\[K{X#+OhCT_=üe\?֒l06A0Vv*yϮK3=CAd!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\xe(CWjԑiթ wD50cBejp0<%}/m9*I.}vw 0S%˥Aw J Z#/HHZ&5#|aΎ9B*҈jc!%51mor{dcwB{:E޷WƱ %{zT1n#7wzQ.{= UtH5S?k *d=b NJ[R44_dtj*Fݕܣ-4PR$*w]jQTIMh8Bv~1,(߅y&RgяQ;pv-DW\%-pȃ$'r&(NWVۤߑTRm 6A ߢ.~I}zD[6۝ݗ$;ʞqXO=, 8ؐ"1uϹp@`+ꕍ$Ȼ7J؂9IX>DHz$>]o(`QUi]Mpl;=a'f{TJs` cf17 6,}akQp(Kk9`(j_?u{[SE>i]s)J0 E:sF{]SBD7k5hq~=\usա5Fyɳ}A> l+b>F^Gĵ) Y$B ڱTCJCH׳tޓz}1QBq'd+6R$0hfA؁kTDK.J xtXn,ٲl`)h'6ɯfkdv /.'q`xh6g[;Gg,k0r~*oYB9 9ZAL`LY`IێH%ᓱVphf!JKmsfEj|aXt'f=2㚅G T rTgh 6WF?'~//V.&~;.Ug@b@ps dh–#}5W~B'Ttp:A: K@E㿊|O6G䱛6|>F~/?#wq,2)BC#ŀmLyyZV1Zԫ:ʯ"PDlHab$Xe e K,mm lޣz}J\/vUE2oE&%[y*JŪ | # -ROӊhJ`BeN3s!q5aqR&&TM2)ɠ'9Գ#?<#J'([^U07F;k!8u6~Un@b%QiF6=+$!oPq FՁa} ulލʔEa|S q-*G ҶOp 0UTnn"g,fT># JMs&9i0PH;rӋu&J PVPn=טh4C~n+C<łdT!IoM>O۽]}rW>O[ _sW v.m\?*a6)~c>Qcf6AZJ>f"wy44UW!}#+)_p~کC-{NFK:]ͺL??wg!Cy\+VC'֋Cǎs"'d$nAJ%KmdЉxuu !Cw{[k5&]aQQEN͘8z b]鮸@@ h5Cg7u5ǐ})nqyuվH/tVْe8#g?c۫\Cek#K4u [O^@ci'#7,e~8˞J3ΪĸS!eYO\hRf~H4ߝ-M1EY2uٍć Q:w\YFvRO(,Nzˈ-'h@U5&]B!=*>SŋC3w<ɰ?BJ ;9G?eQWڹDw"[}*QN)gF$1iaȔK)Mƭ<>x\gs/TБR9}AFXMò Z|rł!W.@޿"XG$9 $ v:~((˱6o ];\emvNo}fަ蝧6J2r R.|7$냠jŪ?8Z[|xYUAMȤLv:7 {Xls(#%'+y=E@v"<,<ڦ5vv ĦX97Bt;,,X ':SG&)KAPY֬m$5W=Q=Ҩy6|<}ыu3lLէ]wjΐ&GhZGքx*9khUFy nT+ |Wqvhaq#Xb*3I<,S5I ߓCDj4";OY}Lsm6xr a>O;'Yd ښJDC\ƌVRfl4zt䘑*esXVY[,\މP8t(ky1:+x/ AplH[n8Eۄ/Nqpzz@ܖq'RZ>H7+㻞'_2<".LOH:+^S=3'1lCnݔLkQbK)>bנĈvK:KLKBMʹ^ɾrkޟbA/99 U|7)ԴvBKyfhZKYQjTYl>Rivq8RcJ5\+Vu1XjZA$ ˟`g)בmJ_va! YwFtz;]U7" o@]{/-dB!g{pZh0&1Zd AVGaJ;" 0~@1p)gRAIzaO3Wߜ,4o,xs+_!Tw!֑ڨN:Ѝ^OuWNY2Qn!N *$#ɭڟ`e7bqTdB;bkfkڳSa}C][`FNFz*$u3&?fAVuCwm Cζ7Y )cȽԆ.{)V@Ҕ;',Vm؀3{%D@5{_yz.#3&ۋWڎOr9Ek@HZ koeQ!MZӿlKdBT9;Ycs`yi0˦BDiH`T!˲uөZ`SJӘA'j/5> a(M*H`GL :-u`5%9F\̊[m6eNQ!2~vnp(@t$ ZP-cwf_GL'Zm{]H2tZ&Ozd/W}&Z/zNހ¶ӾFY^9MOW1g(9vcb]C.XQЁv $Ddb8h ug^M?5Dzn5gVw8G6낡QЯH$VVA0p:KC~%l+g6w$TnK6Oezk*ƈ:ǔXcrnTts-j6l  d;\2Qژs&J]UTH7}Xb1iʉŶk`U+T?9 S"mG <4aV|G|#x ;J(<:0'da*֑_#y:N$߬{, z@h\?ЀT9T/Jhen6׫+xfPPF au 0k;)Aaɩ{pxDǚmYsSX@ &_;NFe{/ҐUl޳^ OO^cxB/YgYr0zL0~Pɑ햯kzTDIo ov/"Vt`:wx![F5dOQH(ocN%ޕQQ%Ř2\9mO)ȷZLޔ$t`w} /*㘁ņ2` z'(\|潧Yc k"u$V'ΈyL)oVx]kh#tfy*"4Dl+cz' +౼Y,_Z[Mک/mD2~V $u8d&'k@187t-pŖe$R6:M{%7D͠ik9/l| ²y6jqbkϮ0BXu.pFkڢ~KOiyߐ6`|Q#̈P;/+|p-T- AjB4P;5ܖ"3,"Č2x[_'%Yd~ ׵]x^A>qzE-8Q h.[?į۲i:ʍOl'vķtzMQ['l8[;V3!Qq萞N7Jz3+'p )[^F2Bm5jʵ5(%(4mA&䌾}1vOyF明U4S; 8+)b-:8bGhm'IQooPyE,*Wؽ W9 /L4S=q 'c}!9e(+IC!Wq|KF0`c 䫩k5eȾL}6`Do9؊WEj^9*U",76`s6(yc]e&/+RgYZW31A# ~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+Ť{D#qHHL3uR;.\Z3L< 2e߳_n,IK_[}7[&âRÀ+:>i+F ovPNt5}.}\@ oeCD"Ũv3VY̢&`8o1q2n?4 If6(CY[|g ld&9??x(45]=ۼ [$#k iLs騠y\eMJuz~&s{'qLfl!lOS"ۺϠ+ʱ_ezb"Ctԩa^pw311cIk6X:)t&bH,vL3eAט{q'/K (iE'9\(4bVH/1Sɸ~Mq YԢP£Lx[E5ʖq;-# u#|]>废f@J>θ?ҽv@RӚ}=X~aӕ%1"Wz*(g^ "7wg7nXmx"[[vN W5 o!*CYCz 2KVdZ(,"QkY`&3U|GHxgQn9!32svsiU9Op:F =2"o$ԬɛçB>/C;L!E<|9&}Nz$hi9 vʟc"Xs9? ɻ2KNKk0^M>-+xoWa\)y5tK>SyO"BwDM^zY[E7s 6qu(PC{ILJ͇7a;,DNY%U\s&_Axޖ6H6FjiV3^s!-ľӠ k@ :Gb4:k)HF͊'<[-f{nysu*|Dzm -97r~t5 Аmvw꧲n]<-F)is;zR "M^  :gYZ%ώQ S>NXBF;wfJ+)nlrg%W98Kƹ7{/L Zbї۞eOȺ/U\Ϙ%l\;y҆CC* =X0)ܛlX2\.!J7>  d!(W 0acGO:g6R;&W: >wzd" Uv0t7䢜jbm "* rܺTW}#Iտ+0ӊ+\pO[#40awi8atRY1XdTAUcLϔ l"ņv0#]uCPe'YVkw^qK_rBE@}  +<y0w:y>TҝyoԓY(,s,'1\MnaGTv8:lhD\ \h('( um12u^3 m=e1J*OܤÚxy;R@9a)u&@C& 3OF+ũiAZģY(6Pk%E9m!uNŴ,B8q\ skZs&m T_`C *5!Y % _ gtr'UbV!K),&4[4rpBlm͈,tbfaU7ֱUん(ܧFgdv ,=nxBtQbt`7_U ࢿؚ?z¾@S]:\nK}KO5P%;[kL0uܡ\'iPSUv#vDcVjL846q !:6V#<~Dz"tYE 9:˜ jd1,Y/uM씇'RL9RrAY%uv~'Œ! {$P}gؕڼUh_P b3q(h?4a[ Էn|ΗOQm .nT b+=u@ڎ&DIkzc*æV%ޝ.P.DQl.\")8n.۶bZ`P]˶ ("IG8'Rث.E}SΩ*Se޳ܠd-^bO@wbKǶ=tAE{yh9{O;xFXĐSSYWjz.~õ=joT V5T| ^x3uʊ‘mk:ZA~07ҁ4?j ! b%~`*AZJ$8f7xþ ER ߊ<3[M!"BlhMO1j!v9>=Q!F$hT,"D0LT8TŽ>E3͘".AN;)?tMb&b5le.ћ& R'<SF2-Q;o#cJYu $3V 9Lo-՚mKe,'{eLpa+*^ MڨU ep2HEP-2L=:GȦh Lfٯz*[تx*]`#` "c7<}jK.hwT} d a McGqȼV/[0c- ߗKs=3!=JtWۼ"Z1sԅ%;: A:` Ai|f! (Vcl؅, gTV.8#PYPSj֝WD=RNr:%&U󈳨zqTS30j>K"^V!ۢ7`^'*Qjh6sb&mkfGf#W?C\.Ffr٭SyMЋ^/lg&fѵ#dtE0C Hk=u|#tƞJk}雥FPvݡe Qώ  dTJKCM*Q)*͚vXI~OWV$EO։y942UVAWfcr}ͼ'2%/LkLAo-xg'^;asyh`%y׈֠%-R_26̌so2zLwu L}yYI|KSU=4[ŏ־!{;dvٹdE^T1gG\lXy-[X/yIn |5SRs\3{Y{4O34oW)۲B5öZaM-,}n}=uܝ®u'Rg]ɜ!w@K$>hgڄ,'X;k_m2$1!y-< ]i& rBA^B>2yX*g9V\L4{l 5^ڀJfq*D6˖[tS:qydxhV+}zQs?`@Zn pVg! tK'!k'Vy]!R!&rL&SW#xh <"7l6ѩr qRo)f?eJ3˂F:Q6nZB^җ`mo+sEuj_-mAXWɁ"4Zi-mN3}oZMJq{>t)؇/LX`ȸdlyA<2y87~AEAц1YrS-hʞ (xq"t35+0d 5_A;ZXPj-݂}۾] y:/10:0U q`Ĥ]! V1X +a;\vJ(C,Np8?eL}k&ɂe;qSLbrhLy=|׼r8HAεhlDMV~bw ɩHQ@`cNB8Ƃe+p-L͋֗J >)\*K.xĉu=JJ]<kJ^ĬB]mTB;\] 8Kb/k2a /.! y.Pgr9׏RTe8v&qҤo b1ԽWsKgpM9Q=\(- @0lxgmޤH:BO8¾w|E ?#T,W g*(~)ODzA{/ *C!4%~+YEk-)p3OˠHGhrBž)CshDf'@DCpF`s(! >O$pwac5"઴ϗ? y ˃|Ǫ4VN;8]1"ޙBy?N U`rW%t=*oȖ؜1ǫK!ޘwJ)LOKn~Pp\JZZze ,>4O 2#ם,64r|lg hPIf5J,OS[܎`Quv;BJCa(}~P:vbU92='sq{xɖlC "[k6/H ;q8Ә.PDjs/)t@ָ5{"6'zpc nUB( o2;1fß08rrC*J"_ԆRW ~"M[HE[$F'X~6m ϔ1Tr նp&uE1 U4]&uv7K-餕ޡ+"JOX%Uyk;NDON>Ņ5Z(1S 28WOfcY|%PoN#Eqfn+Z&=ak0\"Dš,C)s/(nͻ*{io57( vg55n5 ]S:ܶ-5JcWsfzsʮ%ncfzB1UCx]C>يrD5Ƨ̪s)nk;R; cu驶1kEK lOڱp,i 0ks($z‚eۘc_m7w*-K|]Ά1rJc k&Z^g@hwRveO~v8C ~|U`<;*ҕ{K`EeJ}J̗J3b"|߅ 1FBftN өuU{8X.X3kVyq7\&{aS4zwg_qusS&L-{]>\q㧡5Wf{BʕhB"4P|x3.":R(G3._ܘmfiМvjYiZUehIXyX2P2 aV! X]N}3E32*壂v`r  ,/ފ&گ'!<&"r$.T u:tZN/Ĉk Cė-قR:7 tP,je ܊<] hgDZ&9Of@l B!:錟4(I.~7}c](oF0 ?&S1}>B(j^*+yW >sx :kjrXЌ$Gק;oLQkk% ǡdQ!O''g>xa_(#{#n OqIq3z 8Vɧo"G(@5'fْ gpu~¡O?ܻ"_MvUTBgd:1{+bf\0[ YKo'$9KdٵѬj-3ΤR' x I@NJ&J|4:{>*Eٙg[$osЎ=9*oГ9R#JfE^.|38 8Gjǃf6rە'xdE=Yذv+؆/͟Bb$|$ǸT"A xuPgOc -V.5A/՛6 Ϙ^`^htr{&U!Brιh&tL̢Dxx[B!3\i~Az-LX䗅b{`l{}"pLdw@GɀP?E@Pq=*+kU --VkTJ7TѼ{DVx0 p2%Sn̷G Vq΀N>zr.YHRZ5 _{, \#hs*ڌv(ϭ>"_ 1Ͻ"L_OI%dLGm4P*uIa̮ѐ`+ lÙ:[' '&qwFIz}Ml= U&U?~wrrTLթű׏zZ7J߸_v8XVa \lfDTTBՌ%|:, oq+X- ,cm]?LK8wY9iGD!槝>abo|e e $<$dSr6m 0JC9*ǡqQ 72B9 FۣZ4[7E;@n\Ш.nr7@hKA{7a4 ihfK&c$(>o5]N!~Q( 3PSK褋b֙DA^5M毗37O<{s_puFB4Y ERilШ fc5XkR^_ d-5(~_{ >0BN4SDl?I6!}1A",@;yz%_A>D;}b-閒#5ಒmlB#Co\S-(u5UjsH4u t{0CqzʴmjKUl7/ɎM"L8O˚*$Oq{A5s۩t>Y$_|H.!*+0%)E*ƭiw+_h 4~,I;|v@cR2MF!}IYѠi ʾk'pEgXW"gI4垸8rj'Y$Y^~4>Mʍ4JcIpLH] Gqߥ27-e-êLG,_ÂI0b݇\X*:Q҅e)Xdwt%RvJTx_7s9˥nF %O:3޻]/ޓrD j7W @0d=?V2Ȫ2ax{n%8kǎE|/%q(lz733nNUD1ƌUcO}08#=G{mBk]ӯO ۰xSpOB\ ½55]J6Fa{$WfX^@Q&7EBɔ|#?jKb+9 , "~s]&]X\b>r#P_a\&f`&n:,u Mzqe4Vs=jccfxQg^v԰TQ|5GFfr̨$N^x-m D ܚqդ܌cetx:v_:5CC}d/n\?gE%:d⟪.S2X,$ǺV*/xEߎEbS E:|?mC6TCͫIxg6fo3- E[*Q\hZhi|ǀV jw1$XdBcX"f*4]{gQYv4XUy]2C]l9`' m< eqX!)C=#+p6c/ - b`TB{<]K,e$6L%ʳ _ѬPrynD*fV]H=5qC&pl߷[[?h.A(JE7zNyD+y*t)pp&dNgtJuuT ,qt5H.udyeU閵pWS ~>>|{LIi68g$Vo@&\}D!)qGk3W<0m34DLjVhxaWLHQVx1Wkٚ'Z~]r*nnI|Ue-_۪96;b,}H# 82W1D7Qh!g v3c55<ޖT9[wM^U9@){vZN)K.eb I淪>H %2ڪDϟ3U#_ Klލ|۞m~@r0C>$~sőPWh8'}T./qbO)uW<;}&84&lfw2n;1fDž4F2}*WԊ4u b5q{~.|X >x̿#+gڷWjb#BLc+niH$Gjlz{F&x Z?ι9 x^("eYvEV~qEB6b˦e +"0T5auGbĬxg< zek(1 Ar.5UQ7nOѷ2WOH"*l4'D W97^YA`NjLjQUgY=)gG^5$l=8MM4>dB<}Vc Ҩj%9YivPXOӊ〱*ŰP]9?`E.AxϷ'Q-^^=4$TSQrg+'=r=W`ߟjA$ :i#]t< IĆgH!}aUTӎh`vMP?dg  Ț?wsD'pt)֗x|\`:v"$o+ J@VDS i,WG/~yg՝9*&7~sQLmk/P?n:=<;|j8H|GԳ ξF#"FHض'7,>x@[?#\* `Tn>VXp#~/9mL7w(9rޅ;tM6 I ,%Ɋ!XTK[ys@"eE2J^h7hA"VF PRZקT_lW @ Y䇫zzJD$F,.>/qd'e+!*tf}SSrt%$@jY*-4誘sU?EɤgQ~ɔv%رi֓ǓF_ !9CI_׿!iڒĒaDgV5GuzdX-JnM3MEʑbj'OJ Zu ~( ;Mq2G鉃#EW[4n3 *<8^HrBlq*ta +[kM(o]'ezqX])*KPD17 O.Ѹf  @=E #ǨX'y1Dxv6 5b{5K$K:xw 6P _cDL:~2ގ|zΟN7䓔ʩơg ֤G٨(bgv3 J:ywX2|+KtP ?)jԣ8Щ.|ar\kAo#LngkЩ \shk~S.S$)zV\Svl4*46/>[&ZD~+jd R ל2bׯ@Y9,!xتRf{4ܼ$xŰՏ+H |}jnk[ *!;>^޿W9uw,) ob\TfoWV}mFد#}Uy''QK+w* Abe]?m#H-\)0 1#S`Hкn D/h5H;:7hjOm'k;v,0=Nex͉ӑBnE6b._wkT;G EA`+/[i xA}Dׇdn[>rlé*AhHCR `W_a}s1 `Nn[Kj 鼶h(pDa|.2c6*c;ؖpRr+2e+fMH8gNwN=i,zĄU~|0#kAt6)+@K]20FvJE-;rchfc8kۈ1*+ )43$ 6آ,GS50~y+p)H"&(I]n&-ެ"x!L5?{ gމ/$1m=S[.LZ[3 씺`$q\Szw)QVX_F|%$P2Ɍ94x劝֊ nw \N s@/횄黼(8}v<ߦ /rw;'W \ )tfNW,TC A2s4Twp4xzAeE(/Д֮sZ5b`W݋d+#$T@v(KI&yH-@e5r=SNJ Zy: t8zڠ22 c4Ĕ:Rjt*WFe#wBJZ(<#)u PrO\" LG;N1 -8lF[BDEj8mDQڶ68,1flB K_x䧠tL/IZ:o IaNy̼A*t&gYZ f7 1E# THOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ^K<] !M젗OFK?aִB1gD ?S t,Tj4 *PN_$66- n(>;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͷx|1pK|aѣ'}a:F3 N_Ѝ'AbBp3e ջ1fȈ0.y_Ɉ͠B{ ٳMfk,(q8;GKe8uԢ# $ д́OmC0ݔ>`*-VM 'NF峬$ss/(OwY5x g 7!~bbRpOpnVCd _5i\Kj56Jl3gYQGбЕkyɇa󧛚&0}C; R#4!V<:K[sӥbWU |:IuKlg#}s߄z30u; >(۽W\|q aڠqΟ}C*Bd=E9G_х.ְ9j98u}S"+J1+{7YTqU/ lUi}@a}%ގF$?ۑ2np9_Eh1D6UX dY0+'|k#~S=z^taiX'{s7S\-(ޏl4?%dJaK6k#ZrɷA-C\I~}Qs/"Ry/Ф8P]S`!N1}5y+~ǯP-[Rm1)\s-$m5Φ GLwU;* 4VO[S 4<]=`*^ڠ = z,a,/swIQ=E&oedg3dGLN%~(s,&K㌦Q0%47 QNHOs(X>m#̐="z whT6Cl8ObQ΢KnFa<4[&,{m[BzYfgbJ3:ICJ[dLnB#OƸ<&]Jg?O2 bR͏ &j*Xa _[MVd 5ԏȁ:(^ XKql1?2'yG%^TBvԑ>s`\]ݬ׀&Mr+(xFt8T4`U:v!C#lY<LGfK"cKS :NeЭy[w^flrQ &hUϔҭt zL>ȶёUSn-3 !8Ż^Õ~vWe惉ߗ$O?`s/O%>]a'N^O"(+meWbwL*nbРqil#-#}7Sd8Pgb:^߫ULReS]MZUn(~Ƈl!v(ۑ{GBQߥ[-WskGp 15HXaV0'qHṶtVU mJqta%pH7$Vpd MRGSW&*^bLPh0CWGobPYt 2LPq:逋M:eEI?nJBjC>5W]a?SNZИ!(d^y*SgDp7Vs~"\(;'eWUi6LnК> <3kk\"IiK5U:It <.NwfrIxPZCm9<,H9'/n% ӛ\X}9b($2,koN85!d<8DĘ 8d,V ܭ[dG96yŻ÷ɫ)|eYT<$HsDo_GkWGj_;MM' mhfTzF>  UA}$ rb:1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF91A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520C81E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\63Sѥl0]Nh&X-qzɿt)LjHz9+۵Wq4i'əxd",u^GNs lApoԳe뭩 ˨}gi4*~HYyYܡ+(H 5~1|ʌ§[<4$ؔ{P_2t<=qxpy YWd7R]͊j;.\(7'4Kh7!nizF=K:JpFxk0٧F!k֘ٯO Y 3MϵRBX jaS7_L3 8x`Kw3OYjTIq#8vd[HPf0bLy,] SS;[̓č Bp.JF~N9,ƥsbcaFnLJt9Ï` >/#qbj19!T0EYŸڕ؃:PmqtK "]YN)o6mC(Uu~C>s=yZj͜o6TpדS^A 1U将 Qf2 A6ڄN T/ԑ.7kwWdJ'%U96D/6G솯]S:ڢ5-V G-l*oe_8)yM֣7zd!ݽOAcUhC%< k?W q;(P@]']- TϒI#\Ɣs\AE=~8}n'0 AhcNH+' ǸM"8] xaQ[ O-¦ vA:IGa5A 꼕σNK *acϾ&8 5pn#i9PBo=p]Jh0l.B98^ŭ)yj E0]^h [\ww # >d(c{2ȿw g6H&kqoe#%u u=;vom\Bg@%$FYesY"s1$R MZzp#ED֒~rL_#4}`7UHGNE?mg҆ ԢnĥZCkݛQ{SU!@&Xp p gYZ * v 1 @ Th]  V dm0 r4 s0 9V (Wf!   t 4 'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages8?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files6D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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_id12'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_EE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idL=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupK<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesJB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_idI?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_id9A1E'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% 'HOL-CoI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idPB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesO@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupN?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesM?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages =1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id 'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupRC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesQC1I'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_idF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex sM;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex 9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texWUCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texWYGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texN1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.texCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texTC HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex '?f! < l a x 4 SA {4 _ NH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesHF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupGE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesFK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idEF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesDD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupCC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesBI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idAF1O'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=L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex B1G'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_idT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id!T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'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)S1OC HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'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-J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages8?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files6axkx5 Jtw=V"6/U!RЕ2e,ͯљ6s .2v'v\P729U~M4,kY'l{`se`˨Zؒ[`H>vԍYG:ɈЫsFoNa2M7 p*q؟M 8ϥA +B;w`8 qE#^.%k1z/&enQ~V6+Rc- C\'C\QU-Vׯ - BX*p\J|V nr/@ch`ftZ{8",)nuXl`f86;Y qT=$:esf}eq^9lע5Q۶/_)Snc7WAc1?i#Ch݋Z|҆qJ'>?;t2SḞ{SU9A?gJW~_u6q~(箢 lܚ_9D LuYDe=:-"ж3@ў K1r&f4/)}pi JjSWa K ~v♽5e*b [g7!*gnƧB)+EMb=i1H֊ .KMVŭ b_Kz0^;3m/ġfvd^c,'Hu} L.P.'y䮄sC daդeYwp짺`n [wp"sG.'aQr0נlH RåufR}$@\.O+)^]2B#n(ۃ-5x(G޺m`RjY|_d(nr%RVsT>QH국ӂ{ڌv?r09XI&𸡟[(ݩC0@:m rj&=; i~ꢐwv M%]QA57fm#&c AK^klC٫bI EYPcxLOAR qAZ. v̯+ttF0BJix~wm\(ƽ]!ex$)Q?y@p<*PԂ&9A1kl:vHr#GL]xf8"ϚF- oi> W*c/#wڑ, /+!Xi4~-npMy;`Is2hrk~P2dkhIgUdOy-f>cG)REtmx w'5;fSݤ';>U3U սT=Bܹ r~s^ k!(cN~j|b,.ŠP8FӢnU!/[:d4a] j`a"vXyl"4RLκc{JԻ$LMp7ُ@rs{3Ƽf=q-#0;cՉ\X4&fSt߀q'C}ÝIfsRa!mB4-]͵TY7)rڥOvpE`mw׳z>!ݣ^>,%Ѩ'&["0 s{@I/WG@=gЯнAnkhN~Jb8Y^jO#gеI- fI*8^F?9LV8[/% Win(z0yw64&Tc\s$7[& pjp`On.ACZ}&sfb"|*&=3#D9i D$]bn?駕U6MI*: ?amwOzڜy!'p*ĵK۱0Hދ IZda44?qXR蠺 tAW%鳡oK4r=Ii==3f2/p0s&"!ٸE#g,JNU@Db%j^^#0iWdys b[WIV˘X:Z@| N`Rx?Jdto;SEƚ.9;?^G#+)."^frjuժ|9dg Z\D &2\~+$cB/,1@ TNK%U@U\ Tʊ'©-"3V-W+{.ߢ!"`mRlHvJSjlUlaWcwV;Xm^(m1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id548<1A' &NJ\FNZ鷖,dkrtҍ7w:^//N)كβoiQX~"öJ y%RGD_220qhz4]iLtQ%!G'% Td/ljaXR"Cul%]tb4:kj|uYq@TfA߬2FaY?ysn,MC=8= TaD@ Xg &QuJbw&*<|H+/,ĩ]614?JO}3_^R?iGja13N}n/ɍc~ : A>}g`0*%׳=-@a,aK o|ג܄##n_5 8EWwCQ|>=T#8gon_X9uiC~`7ɓ;fAB E\r.URiyr㖱= RUe2!Zr vxay-()؂^2`F0Z,ZnSgŲ-uνq\I0/V\ݸJMXYbBȂ~[O2{s`XRR5q1ɶɔIBФx:ş ͳO_]e Q6T怵)Pe?ړwW|\ä$zfe?\g[Qli_G%q1s41#k]M'|[^kXʼF$tΒ>.1BC1{Qp/Pk˄4\)hUvgMŋ\-b_$ęrQ 3G.D[-dR/{7 !֞ K*735OvXܐ+G)Z=7YZ9lfIlXi pVgBVqZVoA %Μsc uq U0;&A5Lk^CԲ?)gXZHĚyt\b !ЌL5WC`YR [lseT.Z-ɹ~D3:#$cGwxR RVLsG_e%  - Ry3M$U¿؋ߩczZXh ,:=„zU ƾ3UbLB&Yx!f܂o k]/;,; W.`򻵪6:oW,Y/lf4N foJB>67Ԧv|?" &2ETG5̺ =$c٣fn"a|Jt@0AK9~S"KіF,a`l&Z<:?w~Y n6( $H~zA!W Gkm~[Es74:b{ZIܻ/°]#ovo &-L E T+gIalsIwmX[kw=_~fA WMts|jArP#U[@d'K#:vXk] ohG`#vOW1.Ԟhf\{@T"E(/Sh_S֟{ /WBꁧ̉PLjW8^nbPGt'.^쇉KCK1E1Aջ\7HcSS*" D.*Nd#hf\'"~?wMۮ1 9<(d8E3h8>?Uʞ1wc+;0H.LġZ'z b( #Z٬7:47jNKY)yg"Xc7)2QŽs:DEhсB.Ƿ!|[J"G7Ոc?|j"~e+c#}c|h.Q&D]_yEn'ޓrf`* +XLFmZ *l ^inz}fp;Dc$gЕ컁5Z30CB+=Q*kX8B> }j-bnd_/VCO Prĝ`EJr&G.A*J͙~Ď>7d⻐}`ʣ4eD2ID!>x2JQA'ұ {?9?oq 12gl^=7ߢD rIUXisÉC JTv$,og+ܒj\tmWp` C6CNο#$N1'޺x@!'g%7k(2:2 CI625T>AwS %/``$DSkk1ڪN ,Kڗ*䜻~FAKuFM=ٻtĖPXBksn/x#y'Zm hO/(}cTWlP+97-b9^Є5i AkK<$Q(sXwdY{eCfΘUʏ#kC@)|.>7ttat՘K=A;CL=y, HOH2%]ya?~gơ1=YʐtgqZ;p2A$hr!-(ŁW {{@e3dQV#X'&ҏ:Qиk9tҴ"V^d su ;BSv&zsRi~/cVbN Mp~᢬撍TKfQ}Ҍȝ^!:|h%Zmxy<ASA.tXCa8)~ʜ>Bdɂ2\< Pjʋ!_Am-cO .gRPd37$ܦ',+zǥSzQ-Q".>X2EXwK`Ixw^>ئy&)VQth2')iQ^-8hKlzewL)0/Xy2X&mt`_|Dٵ[df-dy_%l1:iۨ#t%6ji82tԍ6R-IA>R MvPkŚPQrW\jr|ڶ;/ڡO颚#pNwMGG:ŊغnsFOYjZQ{ݰ?ptH¶f*/Egg^,.̂"t,>r~d#HA[>RQqCèr)Tq&4~dumN TqxG{R_'ѕ,ux1 +@Fko9Vث'Dx$Ҍ_2n ۍJl|oFΠ [Z$3B#et ;CSfmHa}4 "a?.bʁ%ЪNU\ r˫|R2wmXb^eWxb0zKx"&TJQdU;;xD9*;C`Uy3݌Fd;)=t+w r3[` Zei%R\s[ܞA{HlFND_܋ 'k;Ҵ[nص%|:zlsRX _, ( helؖ(=X \ΒLM{1||p[a`kq|=ff[ ྜྷJ疈T>^G>fxy[ݎ/L||&jCiO6@)9^VE0jk; Y贌M{=E!J{kLһhG!ТoJKϽBdX!գ3/>+9^sc}3ւZjxYu`8e P-HM,z7†܃G}OKG.N zZoCj[cK:C܈2uglU sv1 \J,w"ʪ s{ZN ŏDSuNbeƗfYjvo+G7o}b&'??mLE8yU¶ƿDHD\.Gnl>= å,\:W`#!FzxERi )f&Z*On< SuxUa+,V$CBXjEfQT[A D Fpz|[Ly'S m^ej~]?xxfb6볞FGMYɊÉۀ } E`m@K?&*/Y;G۪[ kTϣA=K̀,ؠEDoz,J[/s09μCM6֬~EWF}L; ,MБX VyVrN;ߞPN}=^-Mq+~O-nI\`ɤ~N;Ѣ'z-!/mځ@-&_>y-LA}@JvL,%D6h;qN WaP&1NgYZ  PWC 1O# ,HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! 咮!P] !M젗OFK?aִB1gD 9[=*erՈ* ],kVKYGLM?IOuLڀ.aڷʙf<Y_7pOqeF똨^-UJgpLȸ w%{)MdOgSҗ~/!mqo@Zygu߅_<ax'd/]lG;[2(ǽuw%O\w%R{c~π Q (c-t;#Q͆xA NC:5<j!@!%i4fx⤢B>/X#Q:4/vB1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMA1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id544@@1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L6]D?7 {?:fH\Q8TTeJ5 τ0j*#tY!@6 Pb܏ajTޤT㳉Ip0X}y VFO)Х d v$H1[O2x]oNF9KQ?7->-Yb_$66WHD,XjBUdET-f\#Kt *ěI m6ʅJ,ZYK"#ܛk@|L9h{~F3WHO~FШ *zeRV2A}ddg&vCw$ %Xb,cc G"6Ln|M2}NoDgI<Nj;Q=#DN)/KvI/geX66JIU)UvbMuhgt!fR4Th(PpZW}}٣N_ctTx:}L? vS:?~@%jqdsޜt=ˑM02W, S MAi~o!~tS7-BK־a&eG*]C'*l^U oT}h `{֖uJ&mGCi w·z)`GBof^] ƠwoD%S{;ou N !_/#va}!aǘoqUEKY,G~ڟ圐E+gYZb?1O# DHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! \] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_=v #ar`4qSkܔӏ{]`ŬR:պ\?R‡B%o?@#!⑇`yM➻?۞Uc HO er7O=VcȨy* WґK6fE@phNQrT{ɏƦ\ H4x#M){met;C37Y@sRi-ӕy$iE6)d 76Z-jcz'҉fJ '-0B2:Z(tpaHx sjK!MQҞ5s,i!B$%+I{/ ~ ~yb52"EIC9885nS iOG@d6rINzikR(݊iԃʨ4Nj;VIQݛ";ִX@3`yHp <ҥfX7dj@Yl&)t- p^;%uZRB}d{R:vz[4eHkMec?Ƭr<:pAh vQ-oo6 |;OW2npSݖ߿p},/NWRYJ>S>`oTʥAeH֤(`|WV.6 &c(<#7yrP(>=eڕI4G^Lx>Nכam1=~! q9U*=NV,{3KZOJ-HG=A>FA4 Ft#3*C.M'ʹz+RRHAqZ } rkDPV|f$[5Γ*VI5{#tr5y]}2evLOs@PL!hr>k.a(E2?a dұz,`RS| |9$/0"W*=}ojmpKʎ/ QWe?d=v?N(qK$E\ݲ=-SՄD?'xiR*LIgz+qx/BRDP'Y ^{Is_!J8!s&ik hD7 P+NqVOF"8gyKF ]\\Ȱvՠ{dYusuV;U-gg^oɵ{_j@e\Y =A)πowu1 )tIr]?J'~okc?0/wTn zwoE}S0$)Mya+ n|H!:s ݓ9GwdE<ۍA`)cD~L܁3>ʥͯNlq~ a;jd*:z1F'*`?hZ Vt^0s!u:n]߈H@Lq1bC $om92(;LOd=d:$T󀄚Û P~CQơ1(-ϨG@4Y]kMeeF϶Yǖ8dX:oOR1H'djmѰ|5RÃқ}kk-]f**['8,Y5ald2\U3F2 A`p cRoAx#b[ƝmZG9?Kô5=ʦqSko+\ԳSE1,Y#%;S;}* ֭2!HNey £EZ~ #n P6G횳o«x X_m>ˆsn}]st5մNŜ&QԺi33ɢsdV-$L 奁222i|v [7,x+;GI{1@?1hiQvJ6x ']Ed-VVVM8!Q!:B6-3>~ M d HYE+ÓNEjW1{/׈h##:#wvRE+}ӥeŵǪ~_ɺV%uw^I3ĴMB9$Qᘾ2:=\ٛp,6Azn-"0@Bz&[ c4n+Jd#]LlV$ix8B7o|=k~DusX`!6(<#ёnv%+RW贴o3yw}Ek몤V/I|;Hjd6)yttĔC&2rd-? (tn@ ڊcK}g􁙧gHIQK'}J^JBr묏gB*9=9@ sS5,衊cs azKFR Դ nˍM4!i9P8Al>&WIןLk S~W}A+5d~5Kbh}(u(MDI?`%,G4!; _$` ι~:`avC q4Rus5*{MOja' s<Q(HS!s>?ư>с}+ L nB*jch7϶``&;Dk䦼\{52R@6R͊& x(/v WË) )ŷ[hNNtVʞƩ#d_Wnq#Wb-83h*FYb:6W%*'/=29̓꧌smpHbQYtbhoHJ+~U#Ffe$Sj@MF|ƙBWKICQUU\Hg – ?뮎D+#n7_7Px4GG(V ÔV<&eD Y^^@)̖ᜐЕ qJ"^2UJ2)_!9&NhЛULۮ^>QIj{N_V p ARH$rS'pX,jɨ^%QVDޥ4e-\m1 yg.L nZu厳+ JC ԙJC\ lqi=[0fTZy 8T/bWaHVY=CůK%Y()8`vAƵnZR'Gi5.,(=[ƙ.:V z)Kkb2]*oiå>4i iKZ-&T# |uF֜O"{o#Lc,Q6]M,LJ3tX54!yH/\+MWX{'*` I[NHQ9m.;1}bznxOȵ,uX 僐I4Y "I܎FlEGrӯ`,?%]y)P0B}HC6d4lTAQoO9('qTWZ0˰ C'o^2P{G!*[_><,FI®h9Rk\ztɛ̺(_`|N YS?rjsE){ ]ϊH:zW3q/.wZs9 q+$UC?c\W{ @ 'a}!I a^ʹה}3eP&U2G]vFsokmAcweYRl ^z2PEڥ&/Ca iY#dYpxm/3;a:Ż QY_Zc|G cmM!BAzsC?%>Xx@}<]N?Z`%=~".IggweRӲ&oWBCtEcIFP1PD^xr=u~^ )^Y,wp/֚PXRӸ ,>=!{->8q#TJokuGϳz]agOX` K6W:Ϳsv+uDy-:JE|+#CKT6ߟi٥!x&a'=pXOYGD[^=)m}ϡ4FoΒ<C_& m"'1+ {2ٿxS K@jƎh C\!=#&<̮1RB'VgYZ B BtF1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyOE1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id524tD1O' dHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! j]D?7 {?:fH\::沘KldP rYA4~}GSB OEVlZ2WΚp[s֭E<<njdve=iVHaD\0$=! @0k;e)TV|θzch* hc4q69]+R4qf1T4z褒LmT hۭ+Wq bݨm5_(B*$hLPm aYm5Q*y#W)'7fo9j@%{ԟ*8rbB;4ğв'ecGt%0gE*io*ul1m՞B ꛰$P7G }BvK E18",2&XoW+9HMf5D,Ze*lWnM#Gbt-)ڡ9z=Xh Y+dL湧Wq٘LYYbU.L1K #jWF K_y]m+퐧* B*-?"#TUiԁEl  _Gf~IAi%[5nxz 1W2]u|ßtMw3 ;Z@M<8A/xb9AHDݭn[#Zi[̗RTyńBpR" zY=ejwKYċU[HXV¨^5̿El z-x,YA0l!~@+p;RI 1\`"bmXw -7:r&܍U퉻؉ud_ygOP:1>S*T_=rP&@.z;CYN|9zWDya&Fu7J.(xƙ9Ԑ%y.ZUGrV`cN9rϥ5~k=Q: ˌTr6Ѡ^{Z49p-VHyF"mKCPlPԃdNkQc6kCZڿq Fr}D75aPpzE=gsp_?;$-꤄ID5Ag􌻊oq!6 bvyU#A'ywܖr3I~|C2"s*`oJ )lnrIkFR5E9 "ucgrǵtO`^&IVUmCJ8Z#4C=wU4vGl@(`!TEbTVoJXb8w'f'Ǚe=WT JpgYZ9QԹ$6 #B5L}jd/v/o ?ת^iUU ~27uVnU1ޮn$JoS]~W+E2];KY'7dG?Ȋ|KY~tNv١ylO5gki,Lw@yw4Hau"4Zx#5E4@,c~N?64c8bcVuj˪CC:)YN* →r `] tXa w hjsn!X5 u Ƹ6[еٮ֪UrK[m8DfV0W)at l Et C<˙4;% 4%#pEyeH؃kqPO]jZ%QBT!EfFp!?NTͮk|xC5-S \J?=-kt2*CXEbD `!W;N" AGǹ3e6hP˱O$Q{=8ݢzg]~Q]Ui'%p]cG>Ap+g ^DԢh{s4Xqb)P[@ƥ$X#)}+kS+UPf7oN{L"X%Km@gG~Y:ʝ C‰.#e?K ;W#dY]s$FY@PD~LnRPlQ<hʶ4_wDݽMCI1PIf|a|BLj\CfGѸ0{u S+l6NHnIа47蕖xqOp笼M8ZH?^Y ?'&Ȏ,gA[>.DzuQx{:Fui?ӊ73dj[ K)ou?7ryJiu;e3k|o(Nj55E^*M~;$JC`bGGUɆN]?p^"K]=2ÅţOTMw [!sf*@j`/C=hi4M#pf#6YܮEzz;4Z?kOK5lDt\Nu>GV0ZDzn[Ii\#tԛQWr"|>ֳ32 $fU0L֝qսuy4}T`it2p6`TCmDyNfe;dӴoF $YYx\8߈@d^FEs[4Pu&nxhϮn%ͿF Ge~v2߇`ahџ-H mJkxD1]҇S"Y龨X{N>IؼZ&;KIToG$w*ģOJhl@/oZ葎xh#r ]7 Ư$ k`h.>} '! Q7VreE*sQPĂzh,.wd?zQ]c 9Qn_) g6#4{}=ޜ=CrE,NsP{!]Y6h3vbK 0e[5_DNv~o溴TPń7 hއ[Mҟ59)dpcE:Ɓ@F_"⤳UyDqeq" GIUbTJ{# PuVW>q!D;rs@| ݒ*5_X8f4*HS?dYKqskg ы ϖ؋Oo:*@WRpA[hf$SptORGF\Ta1+ Yo`A>+W| lg c K*h^¸<'S3l>}$VRnk9ky- V 0 ` Kg;ԵlVtNY!6`3.D "T@n.(ۼP` Wv:No5=)Ub2}M=vLn_l\XhK!Q Dȃ6e{{,gD!c0ws []~ En 9+oMf @Tv:凕?F.y}<8p_,H0IdjyU<C,S1,wvT7+1G)\f6jfqB:JeE"ӛf) qvИhWOfI. ?Œ:'c7J3h8!fQ6JhIC)@1Es1g~(U.[^XùIq*Sy*%y$2_Ag@T8.t߯ 9/[G:hWGJQ2X (f6Ll) ..O]K@[3lEY: &pzOW>HZܲUSlQ KCD+l} [vC%=r&qЋ:"b<{^-j- ēyoӤ6!#9b@-^2C"^le^u'cK:9LwK@bA2jUqDoDt; Gi?8WxKxly )Z; R+?1{ paUQy 6 KOh09V8)g`&$s8Kg^=;dDc5S;[!)5w:O߷gl}̫ZT1<m{&"]}Vը KG([YF"3p90$c=-VCW8GLA50!Wus17SLӵj~W;Y8]lA`IʞCXm i&[ڄPߍTF:"r"RDWP֞ tK!dRO*>>HՍ~Yݸ P ElB6Ro!mzY$K܋4Ѕ.m<.7擕As׽D]> i#U,JU )*j~K(HTK~%+r[M*1Zh'2]/cKEO;r.5؋Z7&:I|Z)YI"Vf7ܕӞGˮa Q<"J>9W^Ys7ܹeW*k+ Q\4 gU18OdxwGwփ|LD:U^QO4/IBW|V ӍeL;$;4%YmSDS9g gejX':ѧypY@?rKuH'J%FYs/ߌ_%oZ8`TFD!k!`b﫱D@Qz5;v .s:k=ր% {j]wXj"4]ugYZG1S# $HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! yp ] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL\ =t Mĺ[Wa~nE03)})Ldb~ܶ V.!Gnf,qI /dׅWAЛ'Si^(l.փ EgcYu}>'=wod"`D%ͻC'& o 3>{:c+7'fkp-- f pKpg C&R"oGfyG;"<H'; o> U"^[{bfr~qc=hXKu#kфuסDJR=8{z\>5b{slۇGU{A$񎯸d6ޱ-'u<7ǝ*(1m^|YpP*E0 8\8wSo͕t" 4Ig9$Ie(ivVg#3G'}pPl>w:ZPvGn^ZA"NMwؓ2i\]XnEt.hj]-L eddiw> zNr`7@: ~`Ǖj/ 5(Օߌ2 tŠ3#P034G 9JF=zHxjG&O_\۷OO03pVGTy oJtr{:3b P? <})M,8~Q&N3U'KJ'A3w)3\<_)fݡ¸ؒçn ph)f/CQơN#]H+Kȸwk^-N9a(S}4:XЌt.{qTohRW}lj].}h΋eHח9ގLx If1h0#\rh1t/d{\!y]nS`վ{hD|YTš aDؑ=p\ ߧ󓹫 YÆ +YG=&򰾆aDe]Dlmf1ut)z. K~88E&$1F 5ٶ>y($P()x z&0FYykG 0ʺQǵO CuB1%lW>JGQ-XG.q0{e^nhn.ևl-atZDt9Q}jP0̏o;#* NHuSeKNcf:X|[5#]x<_+5vH}nRٕGE4<Pa,}C`` t8/@KCW4rZ<-ufuU+u/|v:s(>d;@X)ziWT~fL~6 ]Yd⣳Sf^D9v>Ȥ5)dX&Sb>/]8tË{JholfȌ?$l[G("B\)%/wn6+L=%Pvn! KaC)g.+D&l枧uLA ``ʫ3o$!DHt 1.r''nxo`4 ,^rXף]^(sչg&7ڈDdW^"ыZ`sLfmJSK{ttmAZW%vbd܅x9._1fIW~L\6tø1 BW%N #M7S)BDӓybux@ rCHH @xC?0Nv``R(LzB۳6'|aݸWGes7 Y}oGDZbl{'eo+$y~8LD&^u|,ΙT씙kqAXPg7CZPn BEa=ڌWĘ{W6 "[rɒ{Vfu¬^ߓ-*Ww?!{h:踟ҩC/l2  o fvQ1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyMP1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id528 O1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\1_-$-9FfWGRǍ(Nhè+9R?#rّռwEPksP} 7<}6~s} Ͷ}EnY gJ G=ESsxJR.ŊOzful=_ɻgQ(JDq@@mrP\Gbq,`C ~N@T UiEǼ3Adч e[Jz!%tzOt;G"t8k8prCy@耯PiMUk6s]}Bc/j3 @tVj䖫4z8FV!$i%ʐvͩ)X)5we&Ro bXzƢ8`:;Q)Ŗ]m /`GBM3V @u*,4gkZIÓBv&]å.`Kߦ0KdY'l+l!^ `=f2 @㡓oTf dwA(U>u??PWh$[Z&$2 /"a횚؍'\w9 'h9ʱ$'J_G w]usgYZN1G# $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! T/ ] !M젗OFK?aִB1gD '+JV sBYUwm4=Qt-LH: ?mihǔDozMw&bү[j]E\/k./5;ٹX~O)sn "FXv7KC+݆dCR2M %+4{i8'/ȇu٣Ж\iVƁ쭗t/auH wMN,|yrݾ.q: ڲ˜mutF1oJŽ3[VKm_SLѶZ\×ˬzЭKFT:0h/RJp>E!hGjH;$4\zΨ' I3v`v0ey asTԴ^wb`Ge!|Ukl1Ac rwBe KKB#-YV'p=f;9]l"#i~3M[= [-)F-Tf\"sey0|ƼЃ7@LeRN9_#NxGk7h. ]OLp5` <јE~ܪN L-u7S^c Q!]`Slq&18l/p!nsx( Y~nY#г93G9m5nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id532CK1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! :] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g"؍PB')ynw޲;~.G۞yQؽ  =X(_r?coNa#JJ+UCoho7u xBf)|-krʓzM${7K p8aK#붬`D]]Q=5=tXՃ@+&YQq&Ro9ʪ,Ȩm-yL>]P}.WM=}@qvZyg X7b' AݮM6iÅU~b0U? 굝ЩS(lRdlOZ|tb`# ky4^/`RL 6d ȧ>0'8;cRUQx4$/#=Rkg8LjY6Ph qHBc2TMt%nv8~ղI$M |dd HŸ^1+mՇ՛(7V}3b Y&r`'mِF3o"Y@NORTG068!8#zW*^hΑ⎢Rmz6FdyYFgĐC>4K溞ID#dZ7 'q^ԉwg D\y"ϒINfDI=FhZ\.U*>9 Uk}YYYZ~ JN̪2F~0#u'Q(ܺQ9%' o\{?9ϽQM:c# pyҲVWo@e ڽI|dZ.~-5 4{Kr_.Fʿ{H.\am**D&H`Jq$~|Yś7C(o&"+;SVA}o:Cu:X ũ/$n)淏v8izcC8Иǫ $ Q\%. >=aM~X/LMEŲ_)V -rb&:8%Aa`bB,Q5aP0ӚGI[zUGʼl ^dgAbtHt+ .ܽlE/gr`Pw2g] hh Fb9W(KGo>bd6y03  is =DhѝK:@=Tc"*-%!$gc4D+bN PNv.dV`m ${RfĐ}u>4d8*~OP;#֤PSS?J.8~9RM-?Wkd=N[K7v k 7>`7{Q!1Rla3qm ?OvZW%ɾE2y"ЦQt܍Îm3@qԨ7Q!pm$"V6sT(X&K|&#{Ye:s5.b +Z 8*/_nVJ5dԽ Jtxk5p*u0Y?KTZ;`ڷ-n74Xc&xl^Y02z 苕j˨y?4ڳUoWI3ks 1N,zj/uP2Q(f1o6apr-D"DByto0n+$щ앸yYO-֑k: %Q!i-1؅:eT] C̕Fa,Zq%y[br*12]s ^tdǢuB5Pa m!IaqLp~%=ɿRԑf }hP.u.кbD +7DC,e?OceV5(ֹRȓBf택t%^#OڶGXmpB_E6TvG]o, uBN!W\#r{\L}6h&{܅J }5)}p7;`YW{.>jksGM ;0X#YDm..r^4ܾщg9iC>(c>+ͣmзDp+A>W@t ~=I0Cl*,:Xko%XȽB՝>- `lR8uʘHKM>$UF;ڃAxGTb"7@XG2"dh,:ETXգ-Cjv\ܖ [ЯE(KI )a?c;MO$oao%-OT0 :o%4(=dU 0K>˦5I%nTsLa{#(^͠`twQ+,o%sGб~Uc߂1&3dH +('tm9Olej<,vx#YZ;Ojq|"ep^(\!D(WH=ꪽs3*) 0tR{m ipXt>x|߶RɂPRHj1ᨾYut>J⸙=I$=C{b lg֔?JQ5u48¹6oFo6WbxY^B6!_A&zfupT{!6)+tdzYmgmvu[;X?{O_gWInBh` R ͔9$,{T4pe`|]z)=9t_{WlFn񄘄sZ#01PeY 8ezТ# 3>^!*O p`{pRwYaIV'!4BVnb}39^@rss0r>p oT毤C(z1'd/yiBgc_^fhBqgOK^!-A$:M[3[m'XsS5cX9?[YcG u^ێc ~|\2U| tШ')䤌Fx$ܨl.(Gb'i FPFꏶM{rֲ adi辕Ǵi+ZN.~0eR犄%נ^>]6mu6Jcx4-"SBUИCgZ05Ҋa#c=X]CGT+ni=V҉iW]Ct^xq(R]_JHM X]_wF28PH!\?AU4DYtr~UWʼn7 [#Dd\t=U_Ewz2=Χlp$sֳ GñSDjl}F] gP[ C1U;͵*&.{l!R O-]HFrYx0Eԉ7<kma ~A/_#:'OeHHЭX&6;>~}P|IiT⏤w@ÀD/ۄrR֪̐RJpG-3.~7W)j KBL bDN\\N;M6ApuY^آB$qt(fڇ\+m\%LJD=r>&,~4nYD?M8C[_\+elǭ\N]f0lH^n A^MdCc HXXgkɦ*(Y}UdMN*pgYZۣx$)l2~@Ȓ8XC4ޚ=5]zU'5L>fF_ZGڀE&俏R9ѐ('c%QRU *fu䅳\dVyͥ1n !2_v$+ Jx@p0 T<w7˨IF'pKy:f\,-*! v4Ag*4ڴMe6ҝx[Gpw˭df@tkNIr'Bı[ ߘ(aymJDn~6 (ye!m-ѱcrˏIQS6dٕcP$maIdS2wMO7lG4*v5ra,DO\_'.Q$!fؖ"tAW`xٍi֐ok2p m:KL&!;eܐL!XwdQ]_5EJN"f6xe*nq_"tuCfCbsbpeZwZaA|c<% xiƢF:@)3_YGDibĪ41@褦(ALZ^ GgV&uu#q/:PﱏC?p<H&"‘$:!ʏs+Ĵm,pk<v̓l9Ӂ84(Nd lkJoQzW֑Ӥ&4z;mbD<{)sJmU G@?;ZS%usja2Yx;`*W[g!JޚK7J,i )-Ҹ Rp9nW_g!8|"=I"6jKyg=g.9CYm(UФ\od'0g% Cn.ͮZ\ga ([5W4=Ò_sW 8y~% o}V}i]sf2gsclhwW{{r}"2tUukK"W"sd:uy5|PlnƷ}jM[C{m-ڊӚ`cX8Ռt ?E*{)ޯ it+w0.+ E-~c}cﯭLَTM&b?I|ģN!d>Z~j8~vZIf(ؒ;]5Nm]_K ff {"F"@d?ude BY޹&q@dH xeRB*1Wn6J:TtOϮV;{KWV5z~*''f񣯐jCt 8#̣'k+N.eCABڸQ;9ڤg8-Fnʹ8f#G|_Ā( 2F~At,8x˞ q=YݱhRǧ!kVɿ(e{e Y`D;Cт*>CkԵLdbЂRJ&Շx*a~ CN=yPQ@Β ܍0 K6goz*1SSA@ukчN ,mj# -Ixvl_^sGC*rs":bf'9sc{ǓwUެlM-#ipσ)୍q[*[.dšܔc ܧͪf(FPHd[~˨ٴr<@%}|4 /&kHL9PqD\v!<(f$YN=W2q:fq'(2B2B~8r +KXDSgJ{4;:^2"h36ht"&Z#t O{?5_ <\@ϣpaRp<`_%K] W~92Mۗ۾Pl\e#wZ7=MtBS-6nX( ?Qߜ cU@m],a~#SDS!]e==Z@乸UI)&`{`-~f{$UkD 6E_٩4SR3dSL՝4o6{dBIIlWO ABf?J7i=lJçE.xh,21Cv23Tʂ=Ѱ]Di#Bvm&IKG=`M,{gLs&Vpe ~PDΓlDTEV3 o%0do\"T!_Jߣ?sRrRAOT#nh#E^&ZjXLԡ?av4% Q{ +:! 9`.\TU nsԗMQ8*#|]6]5`bM2teRs1\F[lN2.>'(oju-ـ@BB\K~ S8 >)W9DŽ+DL U:p=&DM_/x4QBX'pIsX РɂVPrT.S>6|.UK9P|0Ό `LkF`S҅NwFn3cA6r~;1h3~~DV٦n2w(t(XxJb I0ȟg$ % Ui?AmG} ȋ]H &oKm=-,∮=t? @l1Jw”yI% @wEh2gbDwP QnWwmbf?$3bnuiՓeII>.;0ZynY!ekc,K쨟}-ѭ[\p$&zΛ!`;`By-5؞dՊI} 93v3`/>,bOl#d,B.*a1##gYZ  jR1O# THOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! 3] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\70Yܫ#SXiy||OgWe>$AMbh$%C*tR|PԼR^NZW:H!ú6+Pej!S[PR %> #BrX'3W%gtq@ G0=7IVv6{5ME^68>VheaEѽR%f̒mznrToX1zZeSU>'59xwq_]~\ԻLz69벲|]NVuu} 'ΏgYZ7zXZִF! @N]ŗXi%T[B'TЀqwE_`O JT=ȸZ :C!5@:=D=XчmL9;PmBCt 6{Zփ[ax1%߄J"ûz3 @#,p芄q?V퓰vt#D#YA!za:) IzX2JeE2"sOjb5~<*v;c&$UYB7ڑ^@JRZjIl%WC)PϦ5H>HtX/>^;A$(04dՅVbbe X2Itt^0nf6ou!fY#[R_IJ47Z U%^7*'Quj BIRu}-ӽI8aD2W:@ށ2q:x,qaGT0zWJܡ j\4/%Y HC]՛I/lZ*l kmOE `i*)`B [<1#~(,b3cRmi#ӻ$~i0="\Go<,CQXXh\kW)tÖSR`O5KѪ\moK3TpZqP&ۯåjlw(yZW҆<5I'ltڿ lEeLGÂQ8 ՝ Sï!Ls N]JԽނ8%F%p?PwF7R<ѹIjE;*׷MX?/7f i}]>ںFSfV۽rb"rѽ9bčAw;Nx: 0"{ ]*8N|2ﭹFjb?o?BH]^'֋6Ћ-rgtCuH2Wbj]0z$TB c2OxR K @J,LUJ?魺91MXToȍ>\vZ? 4\9e~Yv}kR"24Zrz, t'=L''A&Ki(|f-y,'}\8PJ6eXwzT?oE/p=q}_w#Pˑ}؎Wq9q^KV2#y1dٸm44hAv< -KB-ga0[w_a_RX.WnzO%scf5n~F1U=Z:(R]qLۄTԌRJUPs5k#P?`ĿxyZGX7LuXeÞ[Q;LWY{r= %٥p줲%jL ΚEH ,2Mq:lXj1yG+ʌڽ-.#mfrY6wu+HC"4-x_*)A&q>fX2󚹴 _AMY#k+b~v겁X3=Wvm_ Z~][s9JTE6`gk>X^MOʏV 1Īm]%8h_a; l}8|9l`.O `s P^`]?0JO <~?E3Ś((V38\shAY 69 ~JS_BE qV8O'e3ϻ 7Ϭ\;z|&=!Bu^pPԖK^4nX5HMEƍG6H@5>< vgAIfr& 8Жr~2XXx;a 9uq(YCS5 Tc@kT[>c&;@kݶ<@HDL"'y;@[q(?aM~t  v셥E}]ژ'_J\ُV׸e]@:aOӳKIjxx),t@0o]wLS=<3T 2yYC & MFajP|'3\[xO-3VCE͕dJ;P3]zu:j):v>< |U TKCoOTI#`aO<2qӄYm0d3A$UVT*p%}"B9q-gݝNd]IyO 99IRT)QrH};6X~#Fj]_5=F&[+OQ9ҋ@pm,vaa5~pN67YrugyISltiQ4DE^OWIIE`VDdNm >{z/4~͞{pGJ) MH8`7f(?˼(F SUHQUr6٠WeRks" VJ'iGb OR$EAE(́}+ Ƞauo\/@+s>ȨFiH/F-$.$*+ sVت֎eGwvcThQ ! *[z{V\o;9 JM42lr.BdqohoS*aT Ji TY<>ݚCҼ[o4R A9kDz.IDu]+:%NhYmYsP<Oف SJNz7ɐoTifEPgJ.=vR$^7*, ?zJl } ިP*kbDUPz2*>7 O770?6}]M u)k/Wi.&<8cZ62O3G,җ=}_. ~a jO wjea}ל ֩Mi:X@f_[Mg8D~SlϜ$&A|ݐ͠b!]?,J'^XMy%i4rnݴArfMXANCwN#~=@~(9irͫj٦ >oKqI4bn`-%V*nsO r:!k}ir`߬pFn{K5[*7TT;9=X5Z3 k:,V4CG>*Atӣ ;Fɪܚ)fʝ@Q=ֿuyF+ LftI-2@@L4flhskYxш]lT^xe` IRjzuo8i`d 5Tc2 Z%o+θU`ޡU(u$ՇЛĶ0a^9[N;![j$$Tʻ' $*Ϙ_ϲ͸-m52&z]r5 "݈mFsI bzmѩ-Wiut 7cm^1#ʩ%KBi+zZN%}oK4jiٌM?>h M.3+ʠW::y~SSz N<9K-.4iA'I9r8N'TU | *UUlEA b_tq6ځ5v9Bj W A;(RR-W*FJ&sSNDPV}G EVg"*$mY(kbI86qWS?ogłO76ξ9V_?Nwv$tY^1`-]i<ؙR[v`MیQ#*|rcB}.{P#tj%$Rl]j9n]G9P8fZ}^&̸T|D`k0Х{aSL + +%ӕ*H'S=xEU9K'BuNo3g,A^1 y`<&#>@-\ y Q\:YvyDcu%V!M{Ⱥ&96(/P7wV֑Yn ;.-rБ |PKQlTD Gxk s&Qv)gR 3?3o/VDy}E8ayK%qJ{~Cߣ"ȀzFjczGe?U 3"%2(6B/՛}ep f2pymoMkĕlI-M a=]/_}ǃGXE{(}b{딏 ro:Y{/|`d fwj)Ջc}3ՑKeL/ qQL"8 fH1ݞ@ ZD5A`7fDN;'^3檡9ESpX%3@&>8τTDHܾrVqYY7NG 7Dk7<<45Ll3n"PD+vvSܾ2CTbxŒH>AҮ|sUEev -o.HȽkzAM_ !`@zviSt; xgb2=ToԊgo+RXio+@.J^Znt1WVHr.NT:\܋eIZDۣ' /8Ǐ{9A {V/ˈCYc|2qd>CԍK5kZ_ qe`ߋj5y[oU#Xe.NܸO&Mty"#3sN$=*&:,o/c=GxOAJ,0UdxꛇAZ XgtU7d{X{-ʄ~}ݠW)UgaJ ԕe <%o$q m}0Ѐ6xjzwBgZZ]@I] kT/:&ki1L$eͲh T˿hYǑw1DIBqKynB4H4k?lJ"Zٻr#CR%?>QUoY=!Yk/Z)1 .X!.Qav7όYrb9 ڢ]5=RK0k ]Z J?T倳@8s[Wp /+ilTsn84rLH_w gdhjŲ;sUOk>Lī;,V45G2+]GN] 5徠4nI =bЕ:zNNQJ5H/a?P98iݭo&/Ff R]ί3=z 6~c7I BNyD.EzFxZ\A 3m=-v1@j4% .U5iz͖oߨx-H1SS_;WZ|ёuJϻy .fUv]%FFJ)8`jw;;_ӫabxub۞^k^pfRl?, g6nkϜ,yGp}Gi7xQH<ٲ;. 0ҴOc=ӛƠd_CxnjBXP݈&?bFRi޾Յ}<3Ƌrb^ C ! V-#BOLz` SB{*h;op=ǞHnԐc M>$!g>-u|G}jߐ k>BEl4b-p !禈 &z$' yC֏{rt ZQt0H/ȅ evK`nCv.F$н)uWwկ5A/7'p#-#4wDJd.O c}x:ʁMC cVwhskG3p,DEZkA 8(,O&(X0Ly[wY|31)g_(˨bn0s6^))x*Vx'll :"_rHx<0d^AyzĖUIwUtv$Ghۙ{Zqe,H@ z+dxlѱ>+3 KV릾~I)dcPe "HIydXX<7IfebZ>_B{4ksxz Yz\iݏ3f`Z 3|pdKf18;fRaNB0StکR:wa O GE#͎J zqh(8Q 4F$%ؿNػWabo$G;S['ZjJwa)ˀU~Rfuzy'9,d7s|2aR:6OcԠf#66®=6:|>iLyiInڵ+qSgfӃl.XI 1-Vk,j[͓Da ILíS[oh1;}0k} ɠU |_akʚm3BqbFb< =r<ζdiouRb4äbL|v%=Z0Z{g' r ]m~AFR ZB |*[^j8sƺih;C1Jg;#{Q1w邂dw|X?WVc^2"X*r׆sh|AO&"ESw[*dEFU+JX䱪&web /uٶ,ID'!P[%#ҹ>"Q;7bAiCod.?L۽*37٣$r&"Z| h7or̍ c!=++P01M$@^&V%?ٖ}\2L4cǼH6o`l,JF`jbE $\T'L6'4n!l/ӤKel 5g&[pfxW}JeTB2,m4г- /ηx+*':>l<ˆ ӗ'O5>3cb/qV^{od2Ðu~^G=yjkUfgV\Xy}KؕY@Z1? v%)Np͝ zU:;8 )9V;aȈCO@~}LY[8L&c1 !nÂф-;e]1VΎy x $?棳q ϬQvn^1=hPE|q%y'U:aC`.(K9뼩j6n){M#i S4&1*R(:9$֤o62Sfٹ Z2e)b&Tq%-o79ƾZ <~Nߨ%?s,QVQkBlbc,Lw/L׈19"W:wx 2"%~ /{Ā 's֒ U ^ DUr"spc]o$Jߎ4ٗݮ[onwaT+ӂ5L5i8ԫnNΡ}=0 5|(N;rnM(uضa#7؂;<$=`Z-33gj%JvD7?Cʬl rZy Jq]c'h5cBu*جp_CJcXgT+Ȼ\nj9*c`PvG{O}`L?b=](iQ?#}X4u౒'*V-34-w(d)lgf$h K,宅l{")$.PNt0H y߫xG!knNټLvEPԳ[ /EyMPvfXiI[?Ot'# I+iUY,@R咡tZt b!24ʘŲ3<2fv333w _׽RLY'S%>7';O@|c1Ն]o&Eva7C]Y8"yXp^\e 2ߑof1gR$`g#%U?" ,!̿&GwT  =GsM˕LRKۤ^lD{СWg8kabzКlGMܖ б϶0r jK [7 3Zb<]G$ S. a]Yo9<[GY;ɚ ̝ηIgbF5-h˖Z;j5- u.ȭz.H/[l:75xo5 js]_Ձ<(ܑS'dnu[&f<ytԩ> `R `Fh}4yk|gNt8d}poK&3(jQ<+q]'IdbziͯmWfE_ v ro-5 _L{>bf,Z?[$l"yDXeNԥ.8BGXgG8PQBCS~d`_0D3kQ\*d?'Nn 7(޸XXEug햆p<0dTPPwۡu’{U"xo|L?U1qg VNzB+еٱ6ji`"Ŋk4mk asxćWG7t b:\Sr(37]+IIc%7Ɵ?"{D)n6dUr 33?X /K 75|P"*DKTO=dk$feIQ:֤mg̃>%H]^_o P-<4P^pU$+w2y;֟1yz˩/3H@eQOT92,+Ƽ>y݈rRԈ#nfBG k0JQPEv| Mm|Y5TʸtN`H>dgU6p&@.}d4m 59Zpx <g]^ >peE~3bEի iUZg's(}͈+!:%T2EKgdU&O&,;0+>kv_֫wpf-kl:B  q;sf vv'#Jl| 8?h)+ICg*c6@nL-b=\T z"dV-lFhMwy],vC]N+6Jtݡc1@f2Vw &ۭNU e^g?Q29Ofy KGɧZsȥf^Xj@t4h% -[d=K)dFyr4"^HɎ=H0Ug!Oz8 znewå-qw.NhCiy<5򄒢=[Q^R-: H2@{j3usoq@w|Jpv;m!`{SRPԧKkZ4.,Lhp}J+Mѻ,j n_Pip+EmC<V1r*0ں A֠oL%XqRE.,J;.*P١z ,sB{U3Uf^U^ml ڶsN*>S߬S13ְcܽHykف`&N1|z߻*IjtbʧlBH:(षۘ90^f`C;G䟷,;r`e|85f\-F6| IT| YV! ptԌX{ƴj}.o-!Pۄuwh3$" (}0yNnyCnHJ$qS͞YUńiU h+yNA&ջ*)<)*)iwւ31ƕRyb9pxkU |61DD1|! #JZqJR7okǏe_#.\~_(9tKh0y&sxС4*"N4{ˆyz귤5V%vaʸwDQ3f.v 9g g 4UxTݾЩYAծgcDJ6>Yv(xTܛ~6"A+Z<0 ItKgXNE]yq כ:SY?!ǫ&7S/jY8fnF4 lǑUd?y=hfvdm <^pd[}[ ߱i9D3tpͶެW`ʴQ[X;[K ӸwV=<'9Xzgq6ϲLJ^>ԨKz[rwfntO1 9e&qx[6eW7}^J"Y|us%ݏZPO| 9I4xmQb"ciUD[.)*ڝ%BRT/Vʿo2 R3Kf{8&N-hX߇~R0ҍEbwIj\]ݑC-(5*O?BCS5towyW=͛燓O{Ɛe9 5(VɳdXbmre'A:;{Lʣ}$ 8 ;LI)ֹؘnnHdיF xv|ׇZ>4]9$Z5{|2 @g Hg-%&cW; ܒOfCQD 쥩 U05f!3naIՄpng'hPFVº_$`G`ap/Z?Ģןau2RR =.݆ҳFH>4S?t*׷B[ٷً-צe3FJoSIn*3FLkl 6;1n>M1ʹ㴬YT}Ӫkk 3iFDy)8'Tw^pMճ!Y ^$mY|nA(F1PtĨpO%~t{]2qe?+ PU%BwB:qDHwc([|aX~xK&)}o*1yvc![+E5%$*QhES|BhZ!eIlH -r,1zEf-/d^c6 40c3m4]w+6y yWI.ЍrveB'-8`SI}m7t=bY!Vl?QUB7??>n}#BBm ,26, ~<=lA/!Ğ&Y Y% :aYs醺t֕*ڒ>_ч_.݀r^u%T5 2LYKh7/#'C[8ů9Jb~1Z Cz]7u0R[u|/l.uJ=u 38bB:TǵD^l8gxrCI^Q񵠝ixUNJk|P A+r4N*6^{<~,{ܝh}.qXµZC7NSe-b+.eߕ )^k>W.hh?g |Pt&[GGua&+7zĹ6J/Go^"]uGQLd> -AQًbds)X]+y#iG@ɡe3M3 /0(IfYJL}+9A';moʸwsRdO.x;S9mdY|-@-b6] X޲})2;=xHS~$Pxp#?KL,efjU?w6e;oVtݸڸcE*_1p"PwҚ,I;3RLjZE1 W킜ͮweT*aaSIw`mȘ|3'CD :м_L OA#pTA/CE 'PT)R6_j>y\2N9ԢR&}C0wDh F=lX̔žEY7A@9$z$)s $bHގvq|XJ/p_2 4v)B'\w,WGTpdy'u,!tN̞Q4Ɩ ' N'hrѬ.4Ґ/`=PKAWC"~ 5nqm0Y&+ PؗDFПq' 5P6XCmjBt_{srk^ Z\[= hv{ru{2u$Lwo}cU?}ۗ U4*&,{D}:GZnx

[Bi϶d YpDWɯa&Ko]Kz=3,-D}x]/ZS= Wrx7c(qW1 ; Js'b ubC4cJ|ƾ:.s QRLvQoRgƸ$E.OMk1IN&fdZ#BlM#naVbnO!WDFީIzĀdVuRBFgL^$m!ź2 Z WuKi]& SC> D+/*HF&Rb`0PV*QH8պXV]ٲ"2;抾a01 GE^kzAU 4l;k2HĝאgWu?ۻY_(fw %anȨ9p Fʷi}r"ބ(k̨}0_>X^Rt\EMyj?gYZa0eb0b5de3219e907f9e24ec31f39687d2af2bc8f4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 510faf9f37fe77accdddfae23cf8292b23d4c627