SQLite format 3@ 9.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info II$1z$4 ] HOL-Corec_Examples:threads=6elapsed=156.889cpu=515.548gc=86.4847zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8֚ODTc}ID]؜}g0h4 *#sJ>7@uIJRSL>wD=,tLegB;Ȣ8X,Fq,XꞭ׬艮>I6]ZzK3m2@ݶ!$ l7C3Ӈ‚Rgqr+_s)N&|mm!דv ҃ڗ>o |^S f{™mHXX: Äc:r>3VɼT_9ʿ)s D@_;~ $T+-S~X'iӾRZRc;IN 8g]fduTgEBHu2x 3NP',lé朸r Y45'Ng[ e e7X6S&B{! ; /' >xDx#ˇ{fpAz`0Sjh,;mVA]VwO.%M c#A賢%B?.v%  NiA.,:pTo߳vu, CUL{[@ "~LZh{N&uK&oa @:\P'Bm*yvn$ਘ |WEeKH`%r?<5T򛠍\2U bUL"7t>S/kz_'q-j6M/ ~ziYw\b"#j͗}ݰK7,״Jy7_lo_ =ܒ} se6bg+G`7z'=-YuH+~AuRȸ#0;vTD(ٴ94hVO}41EFr:k/:^ %.Οc&X斯H$BՉ{A-&\IQH G셔eء+N¤9)Jv4pP2qL*(Gijxa2βEB+ `!CM2`Wf۝.IAt 9bP Ǧ"ԘWɱcI9ߕ\Ǩ:[mgzKymY>[ua#f" S,j&KǮzIW[dsl|uc][.[nSfs.gʂ+7/7;7^l APnD X{ox6f~WF'#=-sW8EKumA"5Mxth}NX5y [N\%RGzrv; Ai+]S8]KOmS by fk"~",'*3KP_U~ i#LEF[N O~h3(D(%c՚3Qb;o"ORRP s`,V7ֽ"B<;i27VmM;$(A;蕑%UtL炜~Bx;KN%oQ +(ͱUBJ_BƭeNϏ e4 PƜs̑W&%\Kޜ`:O = ķK.WՖ%&VXS,I@2ΙއH?*+_!-SH (擝XvrH^J [ڽ=C,5I$'5ֵJ6ʸ~ZP)?^YE(KSJ~ąF^!7 `.+݃8)8=:V}~^rߍD<T[Q/9}7qvb|ZBo1>?Ti!BfTK[SCEٲ ׀7"@G0h?fKZElV#ߺ;>+`t^4mgލ:Ԭ+Y9-!2u_Eh>#?ks"5MF\5;Gus6#"Nl@mpƬlKy/ƪH}0im',Bh_ {p2 Y`h'x83M;$g!c8Yg8:axN>[CPr;%{א6@rwڧyD^DŽ8x%ũUؕ㡧9 NhgYZ7zXZִF! ニ0H]ŗXi%R,tkiEsl~ǍFFߨRhq$g&.FCg/K#חU^ @:T6KW$'ַ"0Ü!4$c 9u0lorIݓtW+̕)8M0bi* 锼ʼvb޷48hFHhgm9A94 HI[i#3cr#+֧*jSUR2q-5DA@CMQ7 1 HOL-Corec_Examples5r1SG < 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 Z3N2J.I,F+B*A'=$8!2 ,*&"    & 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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.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  p1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_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  覱gYZ 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 >  S>n1G!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\x"]E˞SN!8˄[g*օpx^쁚(Ata"~fHm8g\zeӄ`(Ύ{;䵤W# /fR<帜ylcdH.e%GsFoIZ98[)\g'Z췝G;lv/S}T2 &-AN @XU/8+" _"G'B$? g>uLSt~#,ڵ$足ْ8vY6IjPm*jLrKpox{!Q|ظ\:yP.Ht Frg&nJWu܉`b_?pqaRQc"AA  Hq|t-4-]KAS=s@vtٳ/T\5K}J,Ա."iU6E08SW+}hgYZ?1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! m:]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t5@5w9vKr蜧Jf!%qEIhGœ^*'y+6+vved\I;9;D懡OsS3ж3NQc.}X4(0O+1PFzh0֛Ǡ{Hs.o9I7F "C1?]P2+|(h n+}sܓZvAVFdgS iLؾ* *, c4CwAd?+GdtkkXM_E+.]{HG{ ;e$'fI%"kbPeHu])a݋x/3ꤼݢm=fqӴ\9#zBKCу7| Sgblt )cp1I!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#!\ ~gqV3L0M`ᡕ(X:ꞷGy'HރޤЄ48耙'!RS;yx{(>׹FdT {Ŏ7i|3PHMh7GebH )y"#ܱg=-!ꧢ - Tq䠀N1ys\D:Kdg/{P9)OENZy7a@{|ipIыݠ)<b-># Xqk:rdL 폰Bƕ{a; Ach xzlh_)ێlZqFϼ6ַͼpq="|>bp|ҟw eH:Bd"I\/p7 z6b:ָج˩/rhˍ$Urk`!w&=`JǪzQY~#3NԵ̣9_6%bJ*Djjyk{RPz'j>&66poZ(=Gչ!ObNON"feque7zvgͦꕏuN1*ƤJT+k˝l1Gg ?kFHԇ%'H$iU9{G#b[*Xtl#*fT52뤘U"K$-cvow Qg버zˤ^цN5fΎOxkH[{HUDZ]<0BU$Brߟ,P ['H‡MO@_+xb_,^?hF'd2Ȉl p)/Ce4դfE|wĚjq NW/hP= 02G ernk{lדҴeXm%rF"VDϹdިXX,{T5NBE]MR~} OL:Ul (;DuK4rp6}Z^90&2W6-jh_Ol{HvVDMΑc>ΐԡ( /FG^-PNh#׎׼bnm$B gQVpWJ abgwJ ;A&u6kwݲ];g&lιBx{Z%&SXX&Lq·얖Ԕq$ ;耢Cq*S ewe?mʷYh>W xKH=~ECۏ`=S0I6>)5Kj^&Ff+|N{3w#I|/M`*= qN@]y32)̢,RXe5ݵ 1](iu}qKs(EՍm =uyF[\=sK#Q&~ݲ_~aH&&t'|j Eb=;?v~Sؤ+ƤgͤF^mQ+듊Yɮ2Epd< Zp!1c֠pNLbqHZ-n4HV"1ZHb Á}zShxHb}xT ;_#H(ZDi,03\!ϕ.|Ol.:xחmnI7KX(Q3^, GP.kK~ x^!ҝu+rB@).{.?=mS?L xF=APhh;'dtA$@ iT.5 8[>;?AW!~ 4eֶǙ_AK({ ?8 iR5j@) -ou*`D2gqTST1vu#_ȭՀ|B6h;ńgd^>Q*Ucr"h>^Si%}"CL9y*`CKA$_C0i8gIN).ep*~xM~Kgo2czI3]JY6>5e㻏dɡ|!j f@9$/8:LW05q w+$Q'nr:ȯrct]+>ŵ^_ P_Qa*.}" 9ː-@?A{m^ʥ]o[/޸JԩZ{BcT]5H _NV;~޷"}n-G(RL}dHr#IњLNWf ݊$-Ӟ VbCdVƵݚ Nȃ-S fhq/ LcUE_e 1؅#nؿqƂyͅ|7ǺZ\r)P8,OnQraf;䘴' ,KMB] QnI_@1RX?==G4 +|h` ilQſbt;Ԁbf<_%E6ѦDox`7/Oghڽ<޾*^y?䛶'z,.aMEJ4 !,EP;%&:Y-N]c)zçμbq81ݵVʓr2vKΛsҁ6[#}HNUܮHT& e[ֱgYZ   1O# HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! 咮!] !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⤢@Cp :_jQ$4My#w]iVmv;1U|[n.2TNv1O!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\,FS)Ly I/O9c|8 {"`Oc`,j&_fX  Vf.q||wD+rbN/z ͹@̀yG )XW&W'{Z2SůڛɝK̥WrpW'R\.I6/ݮɲ ID檺zKie˩F@`uP/< -gohT1% m#5}5ONYRz*FJ_gTP3@`x3@KF_pH`8.QQrFTћ?eaWHKNO]'}K<6G,XN!Κ_=Rl/zRs5dxDɈ=J|]MEqWL\86oC7$J~c]Sw솖:pdvq1$ N{^1qv|$YeYԷTvN'l&+tt/kN "5gYZZ1G# 6 za='j8uMxaH T U}r{pF.}]ΟaBĹRG#lO|+&ǕG^qd׫<"`b:zwOiq>-V>{1*?9Nr3[ݟQ⎤PMK/ٵ7.F݌qut!%`Ͽ j'7/Ϯ*g Ogt:*L}9C5l0ŸN@z'_IkÎhɒ٠\nNK"%KgtRQmNdkD Тb)L,|6Z+2+os0r$@|8=Q*4??@g=u{VT27|ƫGmDI&="!{YRpFt>f0Y̋&VOًjFtbO1_Df>^q5ifH ]n/rcɯS^&=Jf&klpws7,I%~JJ2#lYA7ZtCV!e\-L16A_5:K6D^LN}3;̳S+DY\0v2N^`h zf᥇S_wq.7uh8b /+zr]Hm *cH|:49!S M8";)D ,$4抽y]՟yW KaC7I\/R "'O[ 1/ƒu+ |W]α59N+$PV߶j YgYZFQd #xX99"WȠ}e`cz|IQs;}}G[Jpv^]cW( =GLqm(ڬ&V#Sҵ0F#eN^JQN@4bGͰeL$qMITLO 0jJ5I+\ :V0nxz,ެTv,x|(1a1MNոȉ|DxAsmnȆ|Gzq-ro`I!udEPį:L]h8>KvTC?y# T(ZlCUTv<[$1ym+o-ޒBxPғΎ8龲! XP\@V9:__*hT:j3Fc[ bs|cVFN@xC=K31S+hx6Ge:ߏl]dOd9E5<&.u4WJ\;TMMDr4}!JJtW?k"^OvInmogomD_/8p4þ0v#Fق#%!aNS#mQHN3{T'yvo #H`]<Ԑ[j^s^E°펚2vzUt% a;P7֗G'YD<(Czki@GZruKҳw#7|+L_n1 Eُ TT0?6#&ue Q$٨غ;|3v򿾀G\e2M[ 3ΦCImXa[~_+iO#^UE9M}cq!kduh 0.JNšVCB P+\7n^~d SqC)3v'7*@=|FF9~uf.Nt$؃:6yr:,4Rӌ*fN^w`bхK8#t^n"\-DQEk ͛KF5+"a?,#Qi͞(Zv=#">+4hH3+n|T`֠>·昉,J7Sv)'PEhfu7QJp,κ#y'$G~| `y!E%}ȇUg@*?f 暄s|:VKw_]j=UMbwZLX& fh3xg颒HȬnX!iBT0^CDj&8,g+;mRÁMt7SVye4WBjhvY}= G PlzsmK4r'dEgJ`b8SE_gR**ъ)A|D_y!jhrERU mGsfhE ]>ıΛ( R0c=W<z~O&ƮnnɨF~3&ޚٝ%8O0xʦ{kiNE?6GL}ܗF b'#hO2+˻4,Q)~A 1{o>Z1i= ;7/(5s'v?Z';33˥ 6?Q9ֶ1.@GJ$U4x+UX.myr:96QXQXKlva9Zk.=߆*aG.l` Qѱkl1@@bJs"G& ; lVj\%Ye&+ChN?0nQE ܘraoX[%BѤTq&*{X@e"GfT6`TҰi3*"+ZK˶tcʚJ˚Y%X@{7b;Y'yOT։a l&t g<VkZ\L %@P~LJr0"Jz3~+qtuݱפU#' bwY,PPUt&%?NFJC!C } {>P ) BK.l9QoeɱBҍ8?0_NRǾ>[kk^p_I<-8YRĮzmN;!xϞDth.':MO |_cʨX,LK]mJtRvTv`]5k&ʓaaS (Y\/{߹A/ㄈvk&+3*wZWq4N` ZxvYĽ?M sE/w7HTt҂VTzA; zݤY^4 vog^mbZ(}E=Z!uЈ#մoO6֦ g6Zr:|&Č<߳,ڹSN7Z)WR U﨨KY" Ŀ.`N>aknuN~ּ^W9e)SyhěnE 3¿#LHDTtP@1CS;$s@?``#LX4%nl=?}1T9"m Y[8fjsxlI4٥{M.Gd\yY{tޫwP5 XQ%R@\r5ќw@K77hE#Ko]'@75gS9B J|Hv;b?e<'&$$må"g=gc\NM]] 2 ҿ& uY (VCĖL$ՎGOYsF K![e8I:oDV"Y_T=WS`2!ƸQ9KYj۶g)) $5z:zy>yx]Bgmo7xi|E:u8r?>DaZvw͟[_%rҦ7J7ZΩ`͂&.֩8Pcp aX;Q.dfOAC﯄ygNFGL& iT]o ]^'..sXT?|\给gԐ J5v=)! rȤqgIOlFtAeR 7_79sxAA ihU*P]|I oTjHA-V Q>a%/El1Ɉ%3 cՈrZtITn3ɈșRu P ˤSeMGDBUwq@//L`rJg辘tkl7D m#vti7|ur~3tELBWj%(gKc~j*[]Qk%.n e J/,K@$$`|o]}?d}1b5t[O6?JCԍјHWr/VH0}n+=Q? 8]=QTx0zBYѓ9r[PLs=cn>&ժ+\0fzQFH/ gǃ%< |ro Fz<-\P,3avw (;iraM uY'BcR hy˞w=tNS91Pqbp \h$xa~V*Agd̀ns 0zN BGҠڲe\&F/\Tm(^6 pj1m/ =ӻ(+SDe\ %aX {Y_̰v7יk<3N@;ȴaWڭ97DkdZ(tPZtV۾JbHJYҗy;l!!c!K2ltNxYW:Ȗ.F7Rtt'263 (4fR4ʠ qf=ZaSї:g݀T !K1,:tAFWrK+*?V; 9XbVݠ{ҔvUzk_@+U +K ڠW2U\֠%tH2NoAAr;5)cuQ <z1^L2#0)y9vh4c^ bQ%&QM) Ҳh4Uf0:ON7*8k]{J#cڬ3oLTϓ͖!0/&7(mdc~wl%#F_M+x{ A^}:i{ FԍvŠAv*׿\29ذ_Prjg@|>}/pIE8.lE\3]Ta4qh$?Io1$ "kPE֑&e2&PL61Ȥbŏ6+s}Ms=۽(6Ih3`Ֆm>"̲/# 3Ar<Ւ\8EȽ ;:gH Ɇny"+0iYb0f&,kF`-츈a Ià̢ڠÔw!˅ ))+Xށ1'Bf̠Gr8Sd6m:9Ez}bC;C]Ik.tţ~~m T#B33ם5M.Fz}2̳)7$e^dW1$:V>>4tƏ 87u&eunBK8A *CyRr$hrĺ6\}bifE~ f>FY҈lM"_EH? f&>CJvoЗ|8PT-6 G.F{ |X Sz?Cv'Gg{czC9gYZ ?}h"1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF!1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id546w 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$M(E?-R\S*!㇉l4S听|2j@;(\c%Mst؇W5x A] ;j>Y~ڲuki9Ib/" `?X]H8,Akc<&k*%ܤ4$nu&t*vFH>Q;>f֜Dm&3j~e3خғ> ;@`DVd6dq>,VWf@K3]CLL}4-L)2\wVD; hg'M/`׺h/`e V~'4g|ץ -gz%z{/ʙCƋzIů?O@ہ#OTq"U70e?M3 ۘ3J+u&&p۔_c ( uZwRҊi*?캼+¦@]3l*?vh H`pVS Jܳb"KP:JDGN|^Sς,p=ZswG Xg0N}\8J3Uɹs ZgpR%<A< c ,Mj"eIv =u ҥi&wx ) Q349pyZH29UD)5"/Z${8'Y@=!Tc+Tα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_id542 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\2ʪw4B]}lx12cDַf?v0a b6Q&ض%շеZ>$ms` 7GR>0}*SEڛ >v3"c¦Av3jO%W{:=:K}}f >+Ծf]4?b?-[[(ln+He`4QH*4#%(F|;$i&4t>%/MICPzl֠ =g7m${"ce/> Lsx5 wX;y>8=Nk w1M/>RLJ&!Y99Q#ܺ|&&֧ޛpgC]l qtnb*CYO%wN#˴ydE'lyBk|Im)3Za]47QtZz|lg02ɤ-Ͱ$ -4ɍ#c'rLf:By= IB37'xyP/S 赃+R6ܿI t =y9q&:$ӛOn%̼`DJ(_EWDwkypa&xul=P D ZxK(>69f1oKKw^7FB߾:cCeKSx3c -<iӮ}4?qziU&5>Wp%Jyrr`9z!գ7H_ WyQ` g<%vjzנVD2t 4UKcm-}cvS9QմK}mLie"ӓlԾ7\Rv%#L1JZh| uP2J1b'g4Q]zsw4  `x:`G s [[z/j;# o_U%=d.E'5w;3lJiK#s;31@+o E>ӈ1C[./+MXX!߾ mtIbRj_6z۞@T{hS˸a[q хU}+Wa t0ճ\gN d+*Hw5rO@T/e0kѸ 3]-(iRi_:J@{-Ed4dM݊z^>cM |wׂZ_L&]< 3&N I840ˣkγJ2]ʰ詿Ya&PEtzNizhOQ$Wj4`LXb3jQNJO5/JX?Ӻ2'Wy<%L6wO? n0[-E]V|T 2-<|ؑX%=)d뒠Hlzl!,N$:)0,"^?ȋtեc6SumT7yYam=NTΐaR [r,DcZo2_&WW Fwm0 {?P]c,+$FuMxv`1{ cBb@l9ryB=,nVo` k㹄(Tݘ]{f 8银{%c|IFF:]7KB\WKt$-ŝM8'e;5'ľ E7Kj)ID!=سx&`Yʅ(Ƙ55lԜ!/,ntu.V1 /~A"5rN_+)pxBNaz@c؉TO](%7auB]Pf 򼦄ć:C L?@M.E cF`iZ,꛻NCR4Q9-tF~%x 9Y=,HI AKyi/_:$p/MYR")XۿgltLih}aǍV$ٹu-cOY(y] =DQ~o&Өm1Eo6&hq$!bgss1V6ݫ`З1L;CW bqg/Fq^Z-css1ňj )# UkQ9RHv|Z7k/>^V/ UɈ*W9CYi|6&B(q p__,`mj~b3rԪwׅrS< DGCH2j^_̓v2 WE HXy6"Խlj+^z޻h9fԫ2xFDj+KejKdʏH|=| Q!N%Wm֐aH&#H=+,лBPe@f :Ć]WMƩs1\ɖY;NV ffV)4T\'USѿ-%YT+,4K٭w$#[ER>LH`ɽ0ߕ` WtJvWA5.R+)P!g>8"C*͑\)NZO\[f>{l +"|Ϫ`P5sSdU~LU֑'*FP <wV@ F%CNN ӱ{)VY[yYr*K~>DAMʗɤ` G+`h|̓apW~:ʅlOpOJ[wj*WtCifpa:e T!!;(՘dmݸwlPykAKfYɩ}%̐=NjQN }a'>:NC9-\mF]Jr)*Cae4NDYs OJDSO!rldSPï+6$QNp-"n̬(dJsj4ඐ t6(֐Ft1g`؉->LD8>2iw뭞C)E~pŵo[*c -lZn@3ԏ/уih +3Mt_^"jmD4`ޡQ'7W❴sR.O,ʂ p.(gf߲7[n? $E7fз>*K 3Aш.H_{'5jw Pu4lR\. bXFnqh ޫD,x&q":Uwn |R!pU&sG0Ba>ҍ]b훑QY?f&p+2{;0N1AT}_Ee0q-ֈzRfTGw@G VV+tk?ULp5ua ϧ?ũ^|b;Z=rszLc|rKi Xl  M@ՐX|b%_Ԕs|!E+J4=--ϰt3X]()d!p J*-8Džd$XZRx\A(6~Dg( :qF}V[AO4dؓjS7o^3amn,ːJ7.棿m{gA;e\lgy/gXs"tTtC^FUFcyInq{ FFGjS>8/T&ɷ_ E(N^uus1y!5UX $]3ȗ S+ Lm4XAф^Ds#Sw99}%>k.,g+sPY+z/e^&Ptɽ*P̽Z%ǒ[u- [hkd\E09'|NnoLZe@I@ =ͪH#Mã̈́QPvS>aI'iX`@" tr úg/`0ﯴ`iXĚU׉ڦM0,>|GXa᧱p1I^K(MH(rPIya*\@ oU,q-m_cEC3;<P]6)5Z\Npy wVBEZPMk gM nٽ2cP 4k|qzY_Dۚxm mM|ulKh~+Q?.kW dZUڐ#Ty!V6aD[ю,e*٪B@Wvѝ?i?^[LkPۊWCPQ+;Wnߟ9`\P‘@h0ib WC5r>WWK_Q7?J~˧uIJ]ҼUxTK{AwH}8b˞s;,;n;!(E! (vCy^3Lr&XG긺YXY*pxŃ& " +9 (G2{/$ڝNxWLGhT/툙m*(ϔY }~1ьGu֒Ñ/%ֈQknqmW,= eW!P<ا˾-ׄlaQ؏gq}ڇڑvf]!c_; V#a.Ca')%g_oKbк_9>-n,u=$yp^fjJΝ|R0`u='Wh%, +Ѡ+!}k{Ȁ1^տa-c׿ks"ګ* pk.% buۙ @JiT'Va4/x (H@š.@Q05V9kDE/km:d5+D? b@`1}d@"$u*Ϣky^X?kanU7d(!:R< O~:׭0CPЄm[x|^Q-=-kiՆ ImI݋d!ZU^m'g0.+ڭRνw`+6D;򽋗,[c}0L] Awd?IyjFn5WG۴=;TP-Ϣ2b5Wka7qG@}R$SjUpk }8 mmO^~X ӂi9ך~8vg7l__ =LQ[IxL.JC4xĩY}o^di>z!EP`MTZt<IǨUTl1&VsײVաP2 ä 7^lkI&[Fua%uwdh@MbX]=_>;9MHKKh˫CT!Dʥb1$1|Ul&_xDSVL'h*csH=tJo$뉙MX66,kX/P!eO .4O{Z\1B䜾t;' )tߥQ_D@ !ݴA'(m6|`Ay^WiB#O<φ6`loDR̎yzoۍ-+ ēwN\v14"g#8dl0⚨1$궐`+MBS0Yo=dy%{ś'Dr7B &V#| v `ԟKϹK"ݻ(8!n똟l"g ضеcKwi)㴔1qxwi}S}]Ѣ)c,SB[I&|y,_zP@$ZB"KCGWIOjC3;QsKd9\1jõ ?HW!BtrӆUHF漣($ q=u"eT= jS)dQXIS:0hnI:;e) 9ɻXwj=&gHo`;$~NKblp۴ha#'W#Le5](VHcAiyvOqj_K<#b *wyv-:_RrU<d·dEG$ S25}Ȱ39qB/:9~bGhva*l(ư݉$P{/HR5ay%ww$%6tzڐ{qt`o Q{ж\(6l*K+5DOȗM mn-:'Mh74vo;B?#C[ b(@&[TLFNdp yGGJNeħppϯნ!E]hʛ y1URnEן(@DtSRZ=K㴉XG0Wϸ^h+`m3[yOC,錁6\<)i0[g<̀NLxbTxurSpQsek|{G}yXA L#hD.[~VE7Q3QD.HFU~D7:b.BV\q`cx.p>s^ckAzeOy %[?O6ݐ"8fUၨ πgHj-~j%W ÏrɶV:N|O{VKRA `cZ.6 ΛdK6đ4<XgXb,AդSIK?gf[*@+ SgoOb2CeR=9ttDb%hNA~`* PoN /2L(}.Ê|= u-%'At3z`G?-D8fQ~vVM[b ^uVe{QB$CGܐW ozlK#s4W yO@&׀2 f# ?^(~#rLmк ^c>C1i*pKB2#w\ʤ}HEѶ9%9K/ʾr874k5$s˘ XmXto/hV9&'yf0160t.ڦ{OT QD]ECPM ,CʞnHlBP`8ak~pw?ώŋʶRK-fKx73h6$L2QÃJVI[ JaN!O^QZ0#pJCHqZn!-tAybõvx0K_HЉȕϋn_G!{*\  D*,`}[Bu :0?ꕠ_ 2ZU*Mf.qLeL B{ Dr3EU9Ry_Yͽ0NvPc^pg@So$;X2A<{qw`?~99 kV:nbz*f1VD3^JC?_qhj@Iq!jC{rd)G[+'@M wb2=`c|սo^*͑5r f!d~|+P}+D2qe2<,2<ä? 2 .l!x ŝ%Ok닋MkQ[ij޳i>[XnWE|-<5j"6OMZQWW.j- ȝ|̎ s_9kS+.]B%7Z:zIEYxqF!DdJKK/-VRPD בHH} G ^ [g&60FnUvG?p=l~yğA/4ʀ̺?_| z2 ?<`uV-"Ghc¨GT(*(D8{* |+%pC8Ȗe+\|ip_f-˱=;- | yr9C2DU~ X/sj냌?2/2Pc5A=@{BFȶ:M-M#ȻgCѐ&a0 ) $kشt8h˩.)?koS91,}C4f q޴7;Ν>+a-ނˇ娕-ZѪ2 &(efȇ ybcP v']޷$Vh(\S7ww XrO( e)MѴpI[^j1e i lj3P4I77Omo2P۔Y[{%Cb_(?PjRU N>+#ZS*蹳qPiۍjuJzbGR1?W^?hsWtf>bM9NzX/JVԯ &)ۈ !tҩx+rZ'|0e;Yt&z.l?8KJ~F||yBޅB:vOiN5ΙuD̑("}(e`dfqǷ’Π=tÞ!>Dd,Ft>56XP@ 'j=o[qtj>.(&W\ M GH}L>Cn|تUb(mt{藃l\K\*A<}Q*z\}+Zv. 4T着pG\ߥ^Us-ӈ]~w*~UI<,+"^aĚ5+xcgg K.PVQ QR:&m\\"n:`aFKB+ͬgjo/=[g8mɇ9ۍNBvk}u{k9.HѾߛ5o` sk*2 o' J/ I]5kc\wϬ7RԻ>>;ʦuu\찂XN9hJ.W_w.ЋwDd1T=wJkQ`cQ8F,08W""Tyc^K(jËq|lˊ́A%#BvOyi^ЈFM)#yΌG4 s^S .~HӁ #aiSv?+\bw\/p aaI1< ǪӤi;B /85z }a~8"گ%Q}7=Y;"Z8 S׏cs5z!w0:<..jgt(>Z1 ;緇֑&ZZGSHߝcӱYNdӁ̸u1 ;-:<=))Kz!>`|-uO@aħDBoJ:3h)_,ՙn* 8 $H5PSkf۞EA]Te(( y;m,ϏLSQj!OIR# 6yrro!޿~Kkb u7W/AgnLֲRjs_ͨ)qn-5Plh0篵S`( ~wڳϰuI<)u ,?١0Zx=bk*FI̾%Oe|Nn&No>qu_CC.͔GE'smK{$iRgTHE5^ap㌎ȼh 'ژGzžqGn E c6^&C3t?s$ a9AG%6亍iyd&_$:..)M~Kg& -!h7pOKcj@t}Q$hj째iTT/_W;7Zm<:]km /BH y4U ܔ}9xSþꌌMR^Ų~8V|/8ImZ!6`T㤘NxmboȆ Tt-;sw! v7cN=\IՏ%JcsdV*V8{ i k):2_ (ϘgosS9њb=E.^BװhAq?ͽG*2Ԙ|,^j:synH@1ABKAYFA-HΩfb*ె60S|Rr++a6Uq_#9Y]M܃Հ5L[:oM߇mPzm+=A2>E=* (P<.h8 8O섲bxrxM(_F#߿zљ©FL ]dnJׂFHuGTEǐU-ҠP"2qCOsF+gZ-'.eDBXA*o1Ez EcĄe/#M_feyGrsO;>fJ&)=_άnz"7 !Q&whHE ֲQ@6M|#Ma?T_({Boj7~?"sxZ%Η(@s}DpR%k:A]L)L@." ''8X$0s04ԃ)mv#-+1 b G7l!AAH<^ ڨ Kf},rYW6Ll~cXًnR6#3G,%ĩb%Ǟik`)*YW7'0x+)|<BrG\̺u07j*vGz]  9v_=ZQ~2>%flS!#HCYKLeb+)QIBS \E4P1vqօGk<b}B>uߨO gޘ)@Cqh.sAnc*/c橵PL/z,&ƺB¯YzrM͝$IRc.rG$L2˱g x|rNG-Slīd;8]KNm!"O@K% Mx#u t`?1)Ǚ-`م- CLe)2CԡE3%r&㝄^}1!e7#۟2e vUd'e _3F"1◗nӲ(pDǨ^dujx[[;]8u!? ꀔ<-,_{xheb^u㰟MOۃhaqd e?Z >L-tûm`~Sq.Օv/}:#U>@{]M<٥?KHAM\x/~P!}FzW|(KZw p? lx?9c%{pOgr3VIf}}6o>%ɺ-a`D4UTXcP\jHpᐘk:;YDTt|μ$;b,P4:zס"6\B됺#'؈Bj=h" WA)t\VB槮[DQəM(x@Rr)C{o^$ jVfֻ  C2י Tw:㇑x8Z XRBHEG(|:*n# {2o6q gc.a_/Xg A^6Y<%ڮrg;$ì@'r%D0 ׄt[/bIivIwK_5K>)8mt"#耮XY`g\;o*C#&\ҨXebE,}^lG=v+gU6-OUZF~~87YyJmDEgaȹҐPviUl~T踀 Gb.O U/9÷D5`OzSKxyi"?_•UaLˆnb=\ /3Ȟ|4r 5IDav75Ls@|Z>@)|:aEZ͑?'Q_$C2&u#fZUB~WBӼog!#siFx5* q)Fh|%׆?ޭ;k@/u65n}Ƭ9YEj%2O7 Ka-z^EyJ}lLƲ P9C"R1\rmplU赔P,M\)ʂ X .CM:feD'Xq?ɲ\OppH{P ,8{fg$>W$B(ގ_EcE9QKQVXl25eRKW-}n o;\Ag۱X}}{N=W0^QU @N}ʰtޯĞ_yb!='?dJL柾[/YԇFˇaO;M<ڂ;u(yѣKַium#[.q-.{mM>F %ZA^493W_b~D4PQD Q^"ȧXErLL w(K=55z_ǔ=L@) iT&nmϕrGūLP,Wm-M ﱻ!p X*CfҏdM$I܀&Ol}m+:cqM2"7k-(ɽ4IӥL'-{kh7Oȝ9xKS: 7V-xama쫰}чX MZKeKk ${$fO[۔&-c}[xYV(-@]/e }g}q^#Օp:O m6 xYjf7K۞`>uL49.+"{ gY3E7:uqC&kݺ"Y|y#,hts)|;ߜ]I1z`=Ծ2jbX {סloWBxiæg6A,G*RES T8x7h11'Cݺ΍4禅P[8 -#a?gw } d=-$٦K;1=P:=m2:PQ|Ƿ]ޗPI0Aa /oqeUlgIoֶ ӢRWp5|V5ٗ4߀'nI!? B g@ߢgV:. `S U~`h_me${j'ZrSjQ>57y'47Q)s' ˟\c{3v( qx]a_G4:zd6XTSLݘ\/ylQR7JfkyЬ|~Bd 'K/.Pr#r e@7?QPضڨn=K)3JNF]#ƠuS.Rt80" Ɇ FM:~テX+ژ \Ǟ^n`ނ~T<Ưv?:By "VS尫w#TllȂek;\4CĵMOfOG˔/0Oe Jv-(6yAL0":4! A /8ȜK~dh[m΄-5LS # T \>9."5?Oj{M1޳biWtv~ #錋C4x`>>61-/kl iw8Y@#"FyPєAAaAZ!|DDy41юs{+h85_jÞޡFC6dHPKq4=;5YX5+ߙ|?]dc0 .2秪YY20:j.* 잜 ={upk)ڗfյ\O_f?K믽,ڪ /ww<`֕vl;f*v7^#YVu<tA }tts5QDfo6,I&?XϽFm6]B{JI_3~ah$/=lSK;@XAaU{Z; _) x\?,pn`V omg>rR|]2@#kGk%{̯w \#qfBkBi%ތҰs%H ҊEqV"S ~ԑ(HD>ۈpL _,`?s 9wP l}YYcS_Ϣ)^ rw)"Q~r"L r55&\6<'e@xr[rR.jf(޹-GŅ*Mo[2d sZf ̙qb”Ő".pŊgwe B%j ةW7Vʪ<,t&dV(N^ >N65ky)&k.ED˴ώT>ug8Fr$?JH\NZ7͍$Kn@lz 'BzIz*w bВB8㺽w 9!| J5 Zy3Ӱ. 8x5 t>e ,ۀ mZ{AD<' sE]4As+AͷXlbRz c _&ĨGsd@ڻQ呹FO!\U`m&U@ L7A DWy䊑8"⊚Uj?sbwϸr XDW%_](WFdCxQ2)oː&#ӑFZ5&bfG5L.[v ͘R1:Ha\pa[JR`]ҵc{xϣzxԝtHOg\: 쫷nP)|#K#ͿOdkCga}H?Z^~5kh1@>wNhp*= U2.IV|A.u\#r +ɭA6 .8Ǻt% ADGq3qO wL9FSsr'fZ'^CGng͑N٪U$]U}jmzxܑ'ByM&_t{h ASu2pI~P}M^NqxEŹ2mKVRCl!_<\hNљ DWVjSe Q2ޑrE-z  WS5eцnQ~'_=X^nXeCϒZQ勜XF$wùF}~r{/<6!Z%[8٫& /Rl{mMC_·zʚElO#&zʣiח|-leVT}wE~O~Rrx wu-lDU+PO9{Bd5FomTmP$eρR!V>]^,:/${^޾Bp K=V<٬T#BYՃ:sBl_Abi]ǰSǼ C=Ͷz*.)[)fMDΘʉ^yWd =x$mLz<񃻉MXS@wuLFG f-g^̙m{MU[6L->#Yr׺{TRPхzӖ|!1%0 le*'+8VBdyB@/F}=%ֺuj|l=4 $򒂷}*)or \4*$ͲBf2N)L1䚊auSxn#45pQ ,$;J.F'< P^W~GQܦ bҢ ZkJ$ixΖ$sx\6¥Bfm_]K,8&P\W:\oi%3,uspb(fd&9)aؚH&g?G;#%YeRK8ڻ޻uȗg3) FKH4n/B0h\)}؂.tOagYZ = V=v*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_id522O(1E' $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3#Uo^jmD7O;;`80nY\HVix0J* !"_ݓv5xf$I줞2:㝑 '̀P%j&kB[,Po?GAYÝ;"elxu>xBdۺOؔO݄y5#T%gR$ tQ# zGLbkpxK\u*ZR ;u֦= '|E=3aIu{1 @5u>/N<_e[/xu%kQ/9iEc` z(=3_ON & (J[UH5LN\FaA$4z?>Qkv*x%| (J+*#D+Զ1R[ArToZa+:̞hS3@*6r uX,מ]hl& 0 ɽF:$r'e6 ThQ^,*A|]Rs2k؆ޚwc:aH!M33m5yئcܲEBI}"*4GɻzVXkGV˧:)Fj_['h۲/mgKXMk@ϲ|5݉"R\9?٦™ LωTl%(p!lgO|~f }s[ݎ0G8 bv4aԅ^vd K*eqۻ+?F24I9boh5O N+o{D2'I\_ZˏWX;:)HHGOL n\i橛ƾldTyj')ð]cBM|q@>0^@' }Pui]=+P4FVI`614FIK`TA≜l|$Y ͘Sw/ͲV3N" +KRa+K%ta>*/6Qt{dxaEߘq~$l':vL;N>뚟ZV}y06OP62}t|?ME3H@ Mns s.DvTvg݃k kۜ nVnM. {c ;2Z&}[hu` n, AdZo8o`u- nSG3LL0WF^܆B,Kmdx"D;~eP~9ДGWNl!C}0E -[&_w{EQ'r>54hschH#׋n?xќLULn(\g.0m!%9 qV( m`̏Eïԥrkeb*r/{2^{mpF=p05`x(7QqĠ/:ӽY Q$tc5X>Ʌ;F7nɔ!(isCn#JS$#qQ)sJ罖o猅-\kasd˥aFnI5qQKۢR$_ܹ±e>ǐ9Wج=-ӭb gYZ' 1E# $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! T ] !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\*Emc#q9cV XG.*[e-ϔuz_Evӱ,%uc3qQs?}p鶈z~>`~ʢSG4tv ;/x8V#Jtl,TSHT/K * rnz:JXyMaSPxA,m}]LϭSb!J2-9q(]y+{ dKtc! @O vnFIAq(@$ 0&ؔ֠>_jEk{0z+{Q.wǬ13Jc@Mb?Wc%Lӭ5.dIlN/(+qs_֓0X6ML;7ˊQHew>c9PRU<|&㠥.t )vL-3B7$춳}&wە 1R_ɃizI)m yZ߁2a Ug}=] hzF@6 'Ț[79֞-O"oԬz-l^S|:A`t"z8􈁖NWFA.g>"&w CR6iR8_l]*Zöۑ s`ՙ y_/oQP!ó^7Y$wIЫ)~׆* F2lTVߖZW= .0( ҄esI3H`{ZPfrgM,Xa T>c:%= yq0g|+OYL` k~+9/Ou2|5 2A&q}cJ XzwMVoJ% \_D ▚u4A:]?)XdrLLG?3FΡQSgծ2#~ϷF=1D1w`UaZgr[>Ev݇_ ЮYh[v*aRhV{3&""͎]mg 95 jTNnhqjJ)\FVekŨ$ l@i4Wȭ$0+?xԥ4JƼD]*WΝ0 M[st@.od=-`eq ",iJC{S`#}=Teĩvr e.3A4w HyE F7/c=֖3n : &ûlifUœ,5ZVmZeؔͯD%+Y ^"Q[s37mRǕ?xٙۼNw Y0ҟWjd"?ѡoy:,mówXW@u'XQ6Sb1R1Q΁@zRl(HM%=-]Nh?cW*/Ϛ.b&kZmHH<"m5ޞ0b̴Ww6zeVƯNMy":rP8Gz>oJ#T{ޒ*Qx?;Wlroɷt},B'KbQA췛Xnz;??1*햀5I 2sQ9aX, BJ-I]jTR#,,/olUdh]|}Dh*'Q*.uс:P{kӤXk;z ^=},Q,/.e&i"}L蹥z -wDfrO:0dnfa\ld G?8B%)h&bK@3)QT>OJ_%4G&ʩzoŷ еHsG`U?Z:AF 3Lv1%$l#Q e2$`NT( LBNa'];@E*zw"x^B䪏%e7gҽ F]#tT+Q){p@uO䌤 n\E[53}եIOW-a_H6ulRUt)zHI[dvWK,J% vhg45T%FDβW9z]h•@eq~ qWP16EвNI FA(6Z(;o&18|pѸ~ ́I Չh;gr݊D*=χ MRJeۻ?b*Sվ后ogw~S)tB!up߬L(hdzn\T^)Y+aD;U%w@ɰ$ip.jšPI> LWz8t A@$A+2H KA A i{d;;=Ý0A]8SkH2GOo9sTȑ5%,d5EF3x~|xdr?ߪ?^Lh{0ML;=!!~~6j4`SK%Qg?.Ѣk$-%Okjy9άM<VNΉciӧe"Sͽ[,ka'"l%i6"԰H\5#%I᪘2\d LrЩP7YqI ؁ ^m̀3V;enr[2vTp\3tĸ:709)TþW5;B gYZ   ,1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x6iՌ!-tDAp r\GI8#sa-@*9u7Ձ=+A;]CgArv6%KT`X4Y/.KOz iJT{YlMYnh]ԋyD+Ɇǽ Qv:&Dta9=k*s+pEr] 6 MM9m.6@` 8I52f!f V&R0^9P+sqPKaKGbǤn FzTvfO -x8E,D|Tj'" bnǠ~ vs:U,̔K柔ۖnؼ&pśd6SO^"+n;2v귈kr)scY)/_J>9i&~\߿"'|HIarKD);5Is7W[KiHB? vtn`@_@GO C427}!*L$Wu%ud fR"4J3=qL6F)*'U3f-4N5391/Lޙ;w)K`9u:>hv]MjG?8!ZYu4~b~NZihH,uذ%)ݫۀeɟxpm>dR4GCrO>laL=8!7E;#qiqx&oY>QÛI[vFm*(Ûl釶6-=>bu"{G=VCB eSp,Zi$Y}.mkF띕:uG)7%gYZJ+1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ck*p쫡DsTOL{ đjhXM[d!N/Aow m j^a)͠OHs|'2)*zcN-[1[ `3.x˲qb")̛Opf̎s# S0YT2Yy%Z$ls=IU3pHtu#&P-R%mٗKygG뮉#.\3Oө7iBhr@`,"k)ZTX4kQ@$d(qG\FW:ΡT.%S8FpI9lW@7-iIH'Fs3%n({XyeF;Xn3jJ 64wܮQbv/!Ѓ4?)p ͘P^3W3Z䰛E~s1*e謓7TÀP3ievVsEBx9@*D:0JP3N0QSrFMxN 830F4EV6Di^7ǖepTA 1"/X= yaB2q})tQ5mWڇɇ6v̄B\2GATΙ=U vhܯS¤qI)euqë  BzeTv|IीFz%Șm*Hj0X< ^dHU\f-!_Xe*XJܗDmeG?5( a6T= ZUߐʢM Nz„\^5\ۥj6`f[mE "c? ;XZ||RY/{AMSVN,>7V:N–XnŽqРRdota FCQT%4uy]}f]"&J-XcL1D6mY]EqUdҐ7e:؇u)ı5R@tߌLWm8’ v =:2>67c)2iŒI8BG/b##È&>wX&-=Yl֠H(86N\; :YPw˘azFvd+Es y~uǷ )¸4-)lqX"O7g"z|"4w5?hcAik>˓ynj@A%yp,H<ҳ _߱?U|8+nئ*|s %"nG~D2).(=(uf!waWƑ ̓v4b&$Z*k\%"כԼ̾i|  @ָ>`_9f'u 4%~\|g#MjwMv~:SSa;clqPg'q,cA"HjdMuʂ6VNHEo'U: 4c %>ҽE\PCh\ɥ( ӋcoR4SGjg.5:6DWiȯnO I 2_A>k{z xEE۸@#Rۅf+d6ÏX8$xطXVdHvxìGNna2'"ͤRukxZN1:7Y7KH1ꆒmTJ+S Zvkްn yqm4+4luSo } NOmgfiߪ}J^ȵ dݳCOB.šKFMw ԙxِUF?@g:%OKlɲzd~fx|oH&DoZ'fՉ ڊ\fRyIo{lbQX- ",ੰGHA؝3cH9j[@u1ӕ>f"?Oyd2*n$R79 oU3^Msv9Px_.i\5N@`uq\_A[C%;  0@6S|4@Y3 'swِW гjCb 7H2@[cjfʜE?T".v ? I~6h21A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF11A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id530H01O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w@]D?7 {?:fH\y)С_~e (.铝-ZZK%#gB' yf LA^y)9yE`Q]6<2'zW>r#cz2gKk- &~ Y-ϋ.TӇ$tdnt/tA@ ΃ z?g- ϯMa~R"c\E9OȝJjwsG1Qgo*-H=_`ef|l|GU FS\| r$>"b4rG(?M[>'čQH|}!=XOg=.1^pf/ˁb)z%=j;uÚ@,yP\mbGh(Hg&M$91|421\?]ЮOg'QCfwH_UoǺ=KѤ}gsR_t$%(F ծ !ABU}Ns7e̷9T6~: <~?I}f l=aݙ\5e8<- 96ͫ%&;(_Ȝ,r @na /k| ^+$.+v*ԺhPu"gy.8WWusAI*vEQcgːXrA[ 0L"$y{s$#⋘XJZue?FŷƥfF~""Bz $RdBᙎlX= 10TYz WVB;9/&.|4J(1/k4aI(>0~PՔ(`bxn - LNgYZg/ 1O# LHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF!  !^] !M젗OFK?aִB1g:k[&ԭ"EO"sizB%Jssт|1KywTUho*> /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=CAdi5"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#狸eop7~Q:{B1:ƹןS 2qJkI_lӲY˺# >/lT%jub~9 Fm֤ז ,'?Q-kPRK$2/~kLٴ_LM*>]d7!ȵar/չw90&@82X~LdM$V`JNyfR>g\Q2S1f⤠eo"9eVQGk+9=)drWJ-PeF31do=08nԇ@f9X3N'HG~?=t׏Jl)2nﲪ-uXєL.VvY}KgFޥfͮ9.ͦq_Y3!u"A2/u}I/{ڞ$P&gqD"7=4j5yjKb4m"rY~اwvdƷyT=y 4 dXz06{b%¿~B'@UVlk1&ZY'aX1Z&8cc35ԁi'71yݒG|ݣΔoxs}*k\D9<P(/t?6WHIab1W3dȻe^NRd#}f$pܲ{`>bejz-&׏X Xѯ>YIűt5 -%ۄ B2ւnNuD[Y (뀮N)s<FOSO7=VZK  `6V<`9U8,jB 9܋ƿ g5U捻9VDIV}7.M9Mxw9\}]_L$ŕAf~FLeG]S,d}K{ۍh#7Ãsp!箎2!H420D7E͙)_# 5u~{rc^ mX8G*R4:m@;T|p+WH:&x =3DCD֓4͓̜ ^ag8Q^gP@wC2V$A/.=A4EXp F=d&uP27eqCX>4쒘f <\Qߺ\O5H,TT/&-壱1goN'lÓ~w7k&نs;E^fi潾|ea֗\!Ô3`[2.QYzm,j7W{]6:4Z[8) (/<}O3 =G^+eqS❂rvgaD߲['T]BD(K!KS\H ܬ-=25aJ )("@n?ހ ;e ),rrcRu q\EKX,Ah5ۜK02x^ͳKsca7EMV>iцA *O p!(v5I,J|:Xpu-Lo4F̲U U%e_"=.,B|P.gͤ<H K׳CwؓwSt ?H(^=qpGktD'u_r 7}805MȘ}i([*;Ӎ ٖGdz.<8onNxtNJ 4s&5E KhO#2Is{] n J{0} v` 3sTl N|QĿ'࿱k`:F(zOZЖnMnG),*z ,Z}3~ZbPpbgwywuw- \b$Ś04SXLfx~1j*[*T-bVnL N~ڧQ)ateƷ ԦCHo|$'V1aɣ;Y !&LL) Csqӓ?=3}񚘪bva54颵p}R[>3lּ?[U$(= }Dqx=U36J ߨ61бgJO`2P̬یj|jF~"=KըECEZAVYΒBehsnGlBhiv]6lmYXUxbA͑̕3Acq8S۱`$RR/F%DQBG,&vI&rMp˹&>mUA mP8Bˠ&֥AcCf" >+S/Js2.3C7"%%+ھ#IJ喐l7g$k-+|:_ֽQʁ5d, VJDgUS?B4b̻z r!qb<eV3E_ JM3QA֡;GvNLkWsڒ6ITuPM$jJ7T$X Av5ȝFp!˛pWm")~/P8z\7`Yd.{߶n(Ka+50r"WnlGͩ)~+ '浙6U S }g+CWtp=3;á PmY[%~cJ!ZX"L6rnmȝPonzk^.rE7 KbH lA 5ӢU#t|5[1G%LRKGBǿ"5]dRJdЈ-pM5I&#E>i&M3F"ؠL< us8vr|}X c2A{>Ԡ=[8M-.GG.wsXiQ.d]i>lԲF&|[ ."r, Z&sP HStu?lJ TsXc-1fB^j+ 5}4;ϙ8E'+J *]vVX8l^5%D㿾([#'2%o Vt_:l $1iD\3*mWX*d:^ذPE&ٴUKHMAǎЏf+$0cF6%r#5;)'9~sNU-.u鰢~i7@$(Z*]/d43t.:xxPoQ&{S/λFh H*U*ٌ`\v9#D~,Xvo|6$cB"ߗd5 /kCx?5)k=<Kw{WŵO(Y9+]: $51fuA;;`vnoٱ5WLfa;1bF4wxȻhZ^ʴ"rJt,40R2'm8nhxki`ۛ/ז v7W;RjZsɗ\hSz9FX1X`}w\?EDfIUTQsu[jG&$ _/DrJ@FYkn wǶE# -{ LmS A\ !R9l n6-DF[Z$yp m;۫‘'CNp)wK&O BQ(X[G%i.6S- #oAhgB4eKx eVAN6Y=y Z%+ OFIk9,C)f@qF*xthT0Hfa\Md柉?hM*@==i@M@"( *Pz;Ȼi|'/،cnOy{7'nBL)٤CPJHlG _ u}/~^nB^A*},Oã%:= rljrC*el@6аeXҶ<}׻CS|f*~.^&)G%1زԇ"Vc ihl^%#_ =&/TԿGPw?^Ȑp4 }؝*}mc^R)DVyݵ kq,nz@f.h-A*v%cS*QҦ]0Rr1KʛOiK3ĖꮺyY;8iޅgv_ti!%ZR[0lcy0Ow4 ȋ6vzE"dͼỉH* ] !R"Qu\L賿"K~$FU*J(k";nk__ tA\i}R,.fm{@MExO._[~P7݄:> ꘪ؜b@a6I5mxr]eeSҊb%Z8G?;N4v)U7-'=3/؆[PZd )!.EXA, V./,9VMǃ˲kHrѱg7h.|M`Klx(%r\ <Ԭ5WE*)K**'{3F~WoaxY '{.oG ]K{ݵGndlچY|;I ek+sk;B@9_4?ؓ-N=(fX7i?pDS( ͬЦ.5VaY{î#[.!\="'/ͥ('2,+.s吢e%)@47Ǽa_kI4TN~yrP o[8wc,⛀)phD1er)\B~H4P:5(ʳ/7|v.~\`wυ !:C$t2JD S..poW+wkq]ΌzNJZ'lB*M`zq bfȃXu[ vrv b m^f8HR cJl†$st*n5T l,yD)菑gu}?A~I)h5GH߸rL Ku6xl3ݚP<RNGrbvư8C+ө?< G01jB.r&$Z-Qk%Z"i[fx`jJO6`+O/!gs\kϣJz|qUUFpNC0KWfXLS.ubJ& <)^C4J<nlF1͘n*  dNMr!K!$@Z!+hK%~O@c?D07Oj diK 4m+[ Fn8X)=tx?~R2^U͒wbOac&=4fTٟٿ>/ :!N(3szfiϧ?TIWCHq8b|N3xF k % A > cAu@K}@diԳi췛38ʑa/#Y Fk j@k_A ssgOSn@XV {aآK^w3$˽L/*B.sgYZ " bj"F81A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id520C71A# 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${7!:f+nxݯ[(P.*V<xs_&n#as+ V[fXvuJW,œ\>T޽Imk2djKv;|0)оYo0"ou1v ĻDs_k&|Z`q:&ϷWfaiZ H"hz{ǏAhc*=Vz1+¯%(rV>ޱ$kc%u5\xtiȦ( ^_ -ldVxbW;PzIG2)uՕ^+XMQrY"u|F}P)[תgryWdSB$5Z{:İ7EWԬ@Y/[ނXYſk:2>j4+M@g?u5գ)_! '~׆e4A@ X `}81S v̚ w^4A+o, v^5ͳ*!>aa ]:  >!Ӈu4=;T ]QP:` Ɣd)Do=DM[h7mZ!FAe \hԻ+O^>g&:@#!lb1~牜 و\˄4DG?Ddpص4n.:sILrdT낕vL˭QV"w?rCb0cDmL"wi!q(ѩ$=NEnyaw?2Pĭ.FbEGNAχub=FԈD-ɴw3䲽2EϯX/ =gYZ_31A# LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! [_] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iѝHz#bS $|eY*z88pK9(tW67MxfEpS]Lİcnyb풭tWY>K4ӂBtpn}`=ޅ0, ɞv-^Fq5_@F&+06K$AءwH2[@jjul~{yǀ29Hd 8|LrQO<-/9'ȴ*`Zjq$ Z6xrwC9˶;@"MބCh|0ft(θH}kϖt~7=^u! "TJ؇Ħi~ Fos'D2ڊ#Lij9<jVCfUe#I3[žb5x)v$ە/sܱ77R4 $F^Rw: ?N~,+1}Rz UND)BLa 8)ԟ @Mw&)wHZ瞬Fu4՗oKӕjĢ|+e[h+W*z\&rHw_ĖJE^~:'At Pt-wB1*aLk)zGŜۿ m١K$\+SV]ۘYs\0㏪A5~ܖ(6}?pJmDo"{IT6:6eu9ko-xپ3+1&cO'"JPtW:Wpָjj mtb èâW +A ]E*&i]5^Zx;0SW| : O7gJ)% v%)5)ZA!eӮq,T5=r(*kqµnM=BEog­(Hb Qsw-yHFf1E!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_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.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/VYXcctIRL1 ;ڢpϤv6y|Og[3)cjc=W,^Ź)h%*NR![驑gL27'=͸<}izwe24{h4{,/)=Y&LS\`J|YK)GMZ1L4wQͶVՋn{y{C_޹~wF2{58f2RM܋$3˴WI0:fOLJ)}} ƒ8.7 VoʢE~ Gψк:Xt;a̲ .#\&Wc>󀗙߀R'®zE|J\YͱQ%g +=΋N ~;R?"|Q9Ti0Q#3U}] V:ѨSxb` ̡#䏘m]ԵXG/q^G7w5*KIU?MK3K]3]VS4kA"v|u9UT/9HzG0{ ~APgH~:"]K ˯+aՖ st'C 1^<|.A@@iy^Ӳb~_dt!:roZX3,O`G%fe-/Dɳg [V Qm:qeSlt8HpiBrݤx<} |˜%>;OV`Z9sOMXLۃr0] #UX>i^iPU;/s1ǥl)"B64a}MLP >}Ḫ]1?dNW&^IVCr78vDn'`5qq0[/Nc1rEسst.W z[>HtNZR[多ΘrQl9(v#y^4"jYm:vˁ"`{3dPafTjt_iJqy&}n/t [yȅYįA~lU%FQw3+]: GI) DDoJm+@D T"RfgƆh#\å [ȊHc4Nxi _%d/X^?$fa-8H vΝ4w r$xGjp먲) T: _Wv/~;vFRl1r3R$*b}pE\+.FH3\ٙtD"-%X볹C[ld8Oql4;pN򳇔Y=d37c&K&^=F {ŋ |aPl՝L j蠣G4[d!j;/(&#J s(ۣej<5 =` OwU6pDj3rt ٺĦ bfRek2a OZ#3nAtLJͷZb i?c??昘UxT%Ó9Q%=jݾ6̟Q{>2+5`,A.9E"PEpm W_?ˌ++aߥ閼pO\QȆn{si"okԠZCjJiC%-+!za =skBfA-$^7 8^g}ƈv{W/؟\N5z8Ɏse(fUҾl`O~Qv&tIff8I`#4!b+_r:DaZt"7WzwD(]]_=Aʧ3` \ 4R3^@1/'b_j0O'}}eA+V==pfυ_@=Ld(b91A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thy+ZvZ v*^!V" xrefs:s+#XAu4F+57QcPĆpsaU(8H.6ij-*X[y:JTul])dׇAcs Qfa6b]XΡsUt*yMvNvfn<ҼLyNwe5%~}. V:EœDoK#.nyn!_9bwQQPb>ٿ/(D,?|gBrMon{ UUd\Z0Nv @,y;6I+NH=ycNjYN6ةA rGM2BLBV`U%5߯Sݠ]Z@'ʤu;X7\c`Wt&_YIF LnMsa3_BnUIao9NEt! `.LJfS;w,1-lxLBӜ1X"c)KNvpj.'XlvXVݖ]Tėȫ>C"T"1fڲp -Ρa ]HѢyY.[7'ǻC2}1L3eD 5n Y >v24J؉R%j,:i~ÇZ`PLj"EK 3-ewQOٴJ~Lf oRDAvSÎF!^4`XײhJan] :|+BȸB4d>0s\, xg&gz~zr1UAW1a6:τD4/wٽbQݔDљ6EAx#emvX:1QA@Ak*OJ-;f3:LFc,k9nXIFG }#ȱu0f-c+܎.ٞ zxj2w?_N9,Ӣ*>\ 7`Y ğ{j["QO. 8'9T"˽^zgu%A5 ^`l)'%WlhgޘC17)ODeX"kաR꘶5aD%fϴn1.x&#%"\9ʵO )P&R4G:cVD~GRqFNsxh!?JNKڵnΣR}D]ťK)ݣ+[x+_}w&P4S/U@s;U3xҨZ$HFY1\KW&J)})hG!GN˼ĂŠfRT}mr"~!kZ~~ͯE;Ze ͔w[}9S÷O2?.R)6Y(zu o==΢$ bok W8%[l#'N M3rTnfr/C1J[s: Sk1Ekn"-]KO[rr=}旮?]Ug5xNvE#{ϴ0b1 r0{ ;A^m+?1AnLDܾUZUjt'~4v(5 [ʢ1AZ<2>LxF82WfT|}vvdO+4 55pkC9҄#s }.16~ @ӞvFd  '/'_$:3P{qIEsqYNhEMg˴7ýh% pt&BV\hǜxPa/*yF cFىn͇x1 n'4 ?I)s2!ɭj״O࠭Y"=/ INۨ_Nǚ2k)Q %##1ٸڲyhkBcX <>2Wˋ M[:ƘD > O}3{ \9h3X6Ve;`?4F[/-D}hNiXZHv%=\g=UnUXF)+V\8-oՕl^ 'Vv?ſ8Io{|cl ^BDbH];'TϏ;ĿVEJ#wwPX>MUbci& zA9#z[Q6hw!,8boe$Cq*,d^hb/oejf6f)E]GA͑ BJ}j[7UIޓiqadW1،8ղ$8Ҽ[FNASlg}Y3hCDAÃ$& tvr6 H ilW IVFLI2dW+k@JT+%fZb3C.=b=<ۋ +6 ߬EI]r`OX\ [4 vhA{<( ]vmU^SYC/%FwLgDf)WmԏSVܵ;`$|W`qkp91 &ΕBV=3J0a1\ȞsZPxy]D:ۙE펭 *RHC8L}hs )&tа*c+AyzG@R8AZ[iZ:6,}SݗU;`|Kwms4=BjޝD;37pSVM_v(<OhCu|!;3oi4TB`c|7sJoލ_r"HoMpN*)F3&X3:+fL]An;$@t"vv,/z6V S[ ($pvk:\DHuM zʦwxF\$Ш 9 þlS,;NȮZdlOᣈfݤP]馦c)H)986On\ڨpaul޴NK!r#]-}nۇU;.+^uȲW[jL*|([|FC]tYdoNwc, YN>qhhp:+ۨ nж;Álx=Ai W~\ kHy^nNc0ĹPŋ]E D8w h/Dx?,s^*y: .p&X6cRiG鿘R9mz02v~<O)0#-n{S xz iGM^$AwKND=7O%5:⛔zmLb!A e-ff؂d;;:>YxM@.l~Kз{5+$e>zHB#-S ^O;WU4jlS3}dGr\ s<.HgS%ԋoݐNQ;0R#>L!I.ni+Qg?e l,Be!.K{~ Wu9ZGH#q)I07١anpkd)m? yւK|@)E⹅G-Dj#9+bP@z,M+F4;-GU(/BY[4`a D=`0:4kLhs][1wL`@kΦ9ٞio>`()OEyQ#?z弭,\7t[d+DfLHg\{)d8ڳh;n6ok ߆u[<̓Dͷm E>A@Y1(Db>ko>gmP._kDD+P2ߕv(i \p$?K\SgD"nj1bA,tÿK$W ~v5z`_T빕cK νןdC4Z} ͒7+YfVPp,vg!{JCy-q[/07[whs'Lő{ƴH(YH#6M;m};x8d/"ws;(mU!yKҩ+ΓV: 5 ;+T~ڗSmH7ܫN@7:+2d=1,$)űTzlSVNbN]OSِ6S2q3MjVM)C!ʛ@ mC!Kʸ;Έ2P2i P]ϵp)8~onxPT,t '$_YE P6Չ8) (gi Q&mUAV̐n8PUnx&BZXgV7{HՐ-Jֆۚ[u;Tig$;KϦMh 3b\|E|΁c /6Dƈ/5 3ċyYߊWZj@>M5= 1rSrNCʒWꭷQb;-ui*֊]ustjoIx Aׇ< Q4Yx^-PtW~@ 6Vc۳*,&sp!D o^~7kN`yU;g]@ ]ifD:pگ+po$EXT% ?Iq8l;m+ǻ!l}b~M/-Di*)C37gE>I8:= (##Y&4Ζ~*jRsg\=[d㒈JʋhvBQ9n`T(g Y?(>npxv_hJg&;q a!BA)#&f\^9H'ıgYZ y @yvA1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM@1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id544@?1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\7V6V``dRvE!A<& Wxћ0K/ |k` 'eո%ӕ@D{o.D3sxP/NI )ߡAzL/G[{ n=*U7wN)6 a0kKM! tJfVwF>`M˾ ˩ړ\5djMq Yr,^Jd\ ϣeH; ud ]f-Ge:grR#,Vm>^*UShQ,O%^ g4q;Z]on'=76j~DsHv̷+O QJ^fEWE$1N/3>{ ,;^7.4A"dy 8Y>{1(}Ts7gYZr>1O# dHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! i] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_ !`Cf~2~Tah_ d[.))C:A8m}-v.Q=u ;6Z. -kFZL.b*,5;@hE2##&ԏ ԴCY |}N1 S\9ja``4aeq V\B_筲8@ R[7 "-|ґEYsŜ4rF_W*cOzS{115K"ު_"c4!WC\:!hV,:3/>P=B$7XbsQɆi+rr"ǔ5Zj3[Ch }&HkILn3ȹ| :fQCV-#v߾.%}Y=~—3yn`kb"?sUp!lnW03ٖ̯LEP!"w B?#w(ʩ9&PNE\Jcer S(4<2 2J  9==S`) X!"ou{Lo{Ln|zU =19o]Q!"RTGz_dLωQ0}^#$UBqZvbC~ WX.?#М\D Nhv--iO-;RM6ݧ h|d]ϏD]PEE?I)8 ǭr=;NLr}^q>⺻r$mͫD뫘 W2U/+:r Psx%e$ TfKwȩe|\P =KzV>taQyolSX$h$r$h|˹=[pH !m_b\kRjUGؤ&V6 TZ =VϢiC@Hnoƶ5b*>NzjU7w ǟ>FV_}Mu)Φ[q8IWŃ6>J']` (N;~DDW7ֲ0p%nmȣAxg| S9@4 d"|r`B>V1CGrkW!Zf5wUo|~˿MU}F#Ià HnrF[)\eVII}?K/%]Nj]T m+we]4˦o4 !n\UL1!rTeqxLhͳ0m) ?r9Y ҍ5 \(yMٮ3{u>NH?jX ?'6ⓃL=t1ro^fCD.#xdf9 dy. ͥ{b[tl"(p "1Ul1~Ry9=?"~i3cs˼ty(vZU3i,ԩ^ZfN847n-00)MRUX,t7Z9"`HxwPބt ѵ5zY&\ij] >[k "ZBxO1Vo+ ()]i%b)ti+ݨteO3ҬL;63βJ}фF7o+(E6le?Zr" e\Eq0} 7Q+ C;(V\I3ER,acCm$׻Y'ȁv6NȻ\ щeޚ <+Y3 2?˽ln? U@nZI!JˉQKg9bv~T F {:S铆LFC2.IgoY>',Hj\.H7hx'Q"x<1M륶U6YQ"]9z}.:]ārc ]P$Q{ x$dcF#شq=|hm)Ado|2 _n3wI4|.GXƌ B%GfڱXyeY߇=3)՛ Cξ:[cj=5ky bSu)m:5W֢le[s, Aj|'j}xFc{dNEŕPP1 f,3TgYZ S S0F1S# \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&y? 'CF;'a1c$T2Ԝzeؙ31[;ogE aCol#a`;sƼA 6%QwK:by5.h,u5<H,)jrZ'?f ym38nA90iH8v[%+(F.4O"pVm({ aAls(I(ǬS=OT!0E(W!3Wi S+INPr &pv8B DZ n,RD]b7^MJo(Bc+6v)mC^ V uU8s;Z$f1h ҈W 8zLWQ)ܺ0)n~s.ѯmڶm54seKHehѾfff^U,bUs$06}w^E Y7W:ɟϱn-%k&t]"].jobzQ 獴h1DwxX ^Dc)]#XUmCg6T)f0x@zF.ȑ{c˚/h=y Ͷl|3Yf_3/] C,uY=?7?#rgUX %_)4` M&;Jݷ uګ_ćr9E1.k,+LS@_XCi VR%hQ;z'=6[艟~|eG tM XgWpQ]kVo`[jnl`(!AB"B9콄WSfk\@L `Dc3NTtx薃DK8rDIH9/AvٟpK /Z+ne^]z]9oԉ4SR喑 \2W>&`CtnW-?^ 5pzƨZMe:-Ե89UҚP 0&P! 3TX6'ӀMϙNVph#35s.[ZBC~O  i@.KcVyrn!7\q#6XeX9)$|Wy9Bs}+h":#f =~p= Xɦ)?̟qO p(?'لPtn-wˑuR6àҴ"5[L0U3fu8IB١9n7۹N w*z 紖ρC(Z.mN9UoeF}Y!90i*4 }ޏcƚ>s2Q@ oI(lgD)~'/]ٷ4WV(uK&uSe ǐEuoBc%i-q=Ucٰc͚Ȓ􁔤wMmQڕ2s3JAܳ==6FHD$&sZa,yo;3hF .fx-V6*[Qq|l}ŲCHVS w4ה=-wEo< PaSlOP7 a[wNb R3jPG~ZhRvS[ݬh\.-!-#yǎ RJHkkh0 eVU("-zǪ_KJeFYajZo7Yק**ѵB,*89/%W}, ]>QOa.C5%jEbSX0uG ل.Ad#H<"/V|% iyEaDadNQf*$v k&B`ksmf(k5xNrr{PL>"X.le4lĖakE,n2򖑧3 ~E#iuo&&t6y-rZ5)*}"vŤ uhLsXS۾ͫuDMʥ'TLS씀"y Gp'1G\I=OԤ!{O]7F@>wF,Xi:#tQtVp⩕Fc!H= Oi1Dܤc` M %hL}}bx??5igYZoar! +ڮ4W ZԒD&%e#<}HUɩ )M< C+(oG]7 T%Rc7W06,vcPSy wؾȣP\ꝟ1 K8{v{הt[J#3 *;c ER\5P7vݲ􏘗* 17f*H=UŨEwSPV]Ą4o刽"}t^jce梙 ֟ q,V|7^Tvv3 s(~c ,m=$ c#ϔsfxiEnBD jQ\ Xo6cJjw87eB껐K ST! E; 9ʣ)0UZ?h}cb'_>Q`Md[̕ '2.M)1xUV/DXgQ,Q+ChBw~2G++/4Fm/[ꢼAl[f i2I@Q/UW<( P#c)IhgQ;)ueM?/z@ʇ?(4W;!,mmғy㒛GnJ1rΘUJ4C0B6 +=ȗڊr1 ?B~ Ծ6%&蕜8G1quy8ϸpv_uliU}3/DY5f?s㶚k\ ^z%Pnjvہ͌j n'!);TZx 19u?s6xS`< 1,99$nm@?_ļSʀ1VJ`_T^Bʮ}c᠎/FdI5s̃߬/S\H,]iaH]f]ÚB] ~<":&)Q@?ST""bbt=/RC#<d^iF㍒ynքv=p GԹWH9rPY9 >NJl) $Jye3rge.gǦY^؍oU4ꕑj76 ZQ!Q]DYe]QhU` h.D A#4 >I3Zˉ7"pI{=-MM|PSeL6P G4@v[ VzaGFS_b/p? FEN6R'MO2_kb[~IV;=I)6 d[ň*h}aNqG@$|J>ñ*:BCTXpx1bQŠ>L`(?pM@ prILq8xqik&rٴl?,ltGYs4 ^ ՚?>pTA(X2,L1ߐ8,up̶SvC?P pr5ҍCV޺1=FJvh%fO $W @}޼6H;q@+zpg(l] ܍:A6ĜN3r `M#_[c~%PNǖ r,R_ +6;zYJ/1\aF*K p*օB ;a1a.VgÌ A-,ten  LJnSJȚ<$?eMV2oXGϡ悬-if`o:%/(lʧP 865ʄyT`;ټ&еJY[6AA[94CdpJH*~[y㑗>B$Ct/6f=R iqrD#Zh"xv}@Is{xO9Ҹ7AD3cuVyJb@VBHؕI/|ί([ܝ"s_٩kzļ~B/ه7;@l4ՃSoZcX_|#v|a7E:;H &K)ՠ|a,zT բO_,ZKAo{vJ5}yg.@m(Zj /%K`'A.k9}HXM dǒJPQ":ª7/qkW{2>UfXL0YYT`h Qaeyi$NJ LP453Hr ^&pj>hѥE2|g&UA4,Fq8-'~% E. ˉw?o\;L-G"L!=TXD#`LKowRzP{)ybUOAlHzC)LjX/bi>21@I# *xAN}2/O۟u+ ^fk2P\fuXD/n_0数9C.,vĺPO, 851]6?^p֖g9[&Η,Gs&sbQ8k!q?Z -y nnn4w@7>v8楪ulAW埡|0z v`|mu;41#!Ytnf2I tLcy;XwYkT=q^co]{w``ƴjNByv"8gYZ0LG6[MqX6<=1x!OiVNBwlClXHSEXޏ!O8ãWtSPX.y{Nw. $Z))]<$7zs]d4c5icBX3bvNۥ*35l(dl[O),boУHྀ2عNL)6Mccp sSvZD^-܍ ERVCIiΐwS6&M]e]EmGbtC@ZAekI}M=-[Bcp ﺚR,3 - ܣ gh]Rei|@ ^іܙeGޙrU1?J " ݤF&} :Dd$%+m YPCwwX{zmS5HUR&4>PX>̘6yrIq '3"Vr~/>v6_))hHҪ5djQ_F&0kXȺp;*4" 0V]_-GK^d(A5we}q| 5#."m8ٷ ٕO6]d}UiΰīJY fgz9im5Fy1#'<@jT3SʉrM9A9qUhZl>h<_9_nWU>Q0 }JɲfѮsx %G@0 x]K~?1O V'=]U04)xJXףM@O2<6)P?VF\ƅ/1fv%>tVBU7 sҸYCgo<( ׋StPfM}ӗAxĨ;e\[΂ n2?Pq  h ҿSsU)U[&>"Cz7"m^'ݥ_Ӵ4'y"<3TGj^PtN5TZOT'l<319 c1ZtO 6C-%qA(jƨ"q7fHFg$91;u0`B8f)xCM2¹JzC8i>L'##3O8a~l,=O {wWDm4V3whThW Ѩr[+oދe$BKw «qJؗ1dc ;CK pj叔<[{l]J S=vdu@T#TIUkɲ嬺9im>/+ܽ"0LdOabՆBeH@]+ǻxٴ;Mms#Vؔd ޺(%+u*eh"gB+wP 1N1.HD"e'\Op#ݝ96ξ‰ҙRhE׶Qf a3OU91gS*hpиk4ϓLRPwsvCMxUԸw=a(J!"5ȌSMuX_IQ ɂFT j%l*QbXHӖ::r| :}YOi~$ e0ģ(PB BATr? %E5|j9v|B.U!ΦmCѾ6D؏; Cu2)AS)H)td"MM):ɔ?"H '215|[,OCy1~XadOBQge6jEZ: }c:R{H >%3VΙp;Uo*k0UưZڣͼ ld }{Xw4aKĆIv 8WӵzÒu'\“sjCH_H3$88S$r{,K9p,kzKf=C 䩁aawٟ!lR0ʍдh߄h# 89Y\&|zG$de50-`F? j&8>^uJ/B5[Xrz+PtD͟kDT2 [agNb0$C<@5: oH0+Օ 'a;0%>ۈE61|5JXCF>"_3ݖΫz=%A+LɧH/tZJÌG4p ?GÆ'=&_" {Nf%T7OZ9{QAIj=Ưo6) `sIǼ6T ]88} g1)T2G<|ᖀ&y7{x=uNwF f?XKcQU5%Sa)]IXxx@z޽:M]P,/s~o~R5}$N!`2\^Fek׮  SM\8{\Aq/ڵ mH..Ɠ/n#.~52+Vne~T޲`M3!RDaT q*TsqBϊ*ފm#y(WXB;ŧUax(@c_;g&Դ.B0۰h Ч^zI!sB M?VtN3dǬV&9T*.7e/tKB8Rۍ;De )pŁE5xd0r=by:sɕn/dX . 0}hU 179/\}+?ȟ6#N 0ؤ-%Wˢk:nhQ08T"Oϑց:}Uul.GLC-ah7ݵwL*.RKeJwq=-F/֓yOIaY;..% `Epqq}0-CX6_5qyDr|BZbVR[51*0_b7Ā5!Ԙ Zqs&CL9#liMaɎM9qRuAs_ T:w! 1N`0޺N,ݎ`~LhdҮ=20d S?!t?/u( 6&P]G1)sYf7_L`Q`un|1Sb 4o5Un,"tޖG::ajT r??>[V)ՂLAd WTܜm{M2p.Y4K.L§=̰4J!XQnc`??]>yil$;Ct\Bg}; ^  T掘D0gY5hkrU.K,1 빰!OŪ3b,yrU2 O@8m kj\ehe+V*8U{|Lnq ykÐ1#j-}BiXTnJ#g`#)wXpanFncQ.%@w !KHo zY4)nN6߸j -qkevLhdcr"!ĮVIncS8gٻ2&sfd9Sf&4>zkrmޕFY[aߖ{WuMFf77I|H̽W˔5 𖅝;ּ7P(nJv5ncHCvgꨒ|hSbAoL3#dILsA)NFr+=[ز'Iy3U\Fq ALD9:|n6髩_Mvo<+:Œ<"RĉX884 ^"8!S@<4IRw"4I0Gp㨵2ؾY0ZK:6ch,`Y/~, W@Jɗ7)9;~ØȺ{C\`_wQ\Ϳ=X yBi)I W(f ZOl9əj vg o,ɟbz^}D{wV+!/%[;}ٕ-<ڑwd8Yйa32;y45yڗ*C ~VrJ 21-JiT3vTfW>Iq$g>;,0]xhk Lt=T)hر8t'ܭ-ukeIڌVs#7BF͙I#JhlK(lZ]zN5q*FU UClQbT-tYӌb~ ǒn堮v.w0V֙q&U`9nYcJ]ѩkpq`gӖ }pאs?qeAvIt-Kcu3o׵![wfi]un%Z(([1'}j̕>O6À-}wnOR >(eD8,Mq;!^׿_foq hY cOT݁ѴW½띇J\Rg%dȈ#T.B"\Dxkʈ@R -J~aZXZ%K kH&َJ&\/vcxy2lT%oW@雉f./ M2ftLr+['^(.lrwJ~{~S.ekA36O:ɬ%MCŐief/c12q,z*;`Sm5[J%C!գL6:=N 4dgFڏTCZt9%ߠS;S X>|=SbAk^7vz|=#m`{{ȭt-.e&جhL'$Q{|c櫄͉n VwV>r1 MGg!kz"5n!?PG;M*QH[4!B]=H.g=vQjx|m/Nld9t3G*FS\1o~\ ϧJ|؈ė V>gnY1Ej(fEwӋ©%)Qw~$ReiHzRA]7͟ǃ ά"-u[`=˗)aoߝrn!}< n\]'si2si/#H+rruX:)LA YXy쑢_zW*ɮ?*VW-~p> G~)wRA郠s"`~{TK#TZك$G<[g'ɖob3/K ݩӁrV\n9}F٦5(*`ߐͣpkB]%U MoBn3 Ax!q՜"Fk /'W&ۓr~qX"s8ss8Nt/O L{if8u4?D^ Z _bfb;q|sF 00 `<Xw}D> :ѣJ.7W0hECqygK!]|\`h 'Xת U׳4eJJHw퀪u׳#" `a㯐M6ٽlwqv`)Z"`(H㯯2XRc`Kr/Nhji؏g3 8嶁l mS̟Iԛv= n>S9ط.Cn?͕1~8J'%4N\FMU3\88WWcՊGؠqN6Fۡ`a5] AS{Va.:0*p[ $-GPgǴC<5+ :)8b2[Az"[V.C0k]#Se-(OHk3%TRsȗ>)cf6&?D 7ܵڋ5Zojtp$jTKGQ ,-=fA2l:3u]%:d݆hz9 ^Wni<hLGVՖ ϦQO?&P(h ^"U/ DJ:ەQF7.بdwp,Es?y`6d#1\NNZqu q?>q vu0K=_2F@lkpL)r~mxAo6 z$s + D턕_xK|,R!&?|k8bяޡ ΢Ak7T0xL0bo3BP@M,tqdNԃW)e'kzAHd3>?[x^+~@q?7D&)9Zmg.j!sdOOP C /I匧ғPoh6A??sD"c *DN1&p4.Te,ZzjN#?()C;E4LTjD&#j!n)√TRФڵ/'Xmx/4pT73 )MUc]eXP`4t凘' fL|3tBo˓ Ȧ2_ڽ  NS4a%mH@'&A<5T&AgdҵoP6kLGf/#(l-/*hDqKD11}̧ UZF!~ƬN[][ߛ(ښAh#x2'q]6֯IţhT5[4D<9Լ˽sQc1|`O~(=KsYX<\XO9ׄXOUg])7{GRb jKtZ=(dYgm< zWJlY6z+>U[ɕ*W*Ne&MGJhII՛ZyM1w1axK/WpX8`[9r3iVy?~lyNtFw\z(}IeiK z8i=0 @^(E&X趙5Nn=-*3B-c \ ;pNX0®"<45Zu@}"Tk;cﶩ0Ȼ5q#:>NvQudUl~5V? F.%a23gj?s煁8!n$_O}YD'KJ{,F$L,cfn4)Epls/(I(U'5J+V yT{6.yDm'E8ҍ8%|Q`pW q>Y֩K]U=!'7睪[n#<[wn-[JTd0pקϭl;s&Vsۍ{#_Y\udt82Q!CfuPi7]2ঋ% 1hR`o²g ;&o+=sK>*2XQŸV#̥ f*ܫ˾BiU&Id7<:蕝cLƙQ0%ztcUY|>NR[Ix^<}/$3/G`0N5k`Uqs /Yn="'Z.n+RJPqAP}.:ژJ_]J^y:ڎ*L -Rjk+jAd0ҶŶ=tҐtz0Ê#(= |=Gխzu?j):{[(z(-uĊJvbpKzn8* QYM}Ba+zJ=8}FjǞl \m4f R#rqhi ;LbMt"t%brLeX,yv\3eJ4{aRd-y:UAK+Q.J dmǮl,uW v;ٽ5uTAVWVCDl3i zM˯@YnYU0-$y1ĠQEUyobU "k-{̼A^gYZ jJ 1E# \HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ^K=f] !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 'Fߟ9f{*Og,fx߁^MuBܦzPC{Nlh԰8fID tB7M, @/%M:.Z\D7M31I oH}4o[o/F:Z6b &y,e %0]1Bgx."1)8ÈlhQ%U=2brxżXcj].E.\7ax:/S_o(l\7UsID oQz&BZ}RM9ae헛|[d&UsRQg6*MHCzqf$?ډòQK)GL";ydYz21ɬSP:@ƭ"$x9r}bΛ4Dt^A?$hfBcTzB^ ò${h&?Y3ʕR`r*YrϹ% d$%42|.UK$UblΠ Nf T]<'9}p',i [0!XDT# L2=p3ʥ45+ [a^i mD5?,=<*뺛"ZXtK'"Zs`ޢݼὦǚ$eN^h<% 0NژJt-_ua\ ,\ӸlϞϪY='4kZ8, 9Dr WV5;.pFiqZce 7OґdvsVSy¹$LM OZ9U ttX h *'?m!0d@~i^+z0LZkΌe`n%Vo3Mȼ(h0,nSˤtV棬W^ a޺m.x Fy,άFjQq=H ӗ:\C+qpJĄOW% o70Ipd5Q1Cruho@o3W83l.5ǖ'>R?%bB.z}kڗn ";Q‰FE%W~N3.dO^x1\k2EP`mdL99^4IW$ $qCLFa<-C{mqu?Zܖ!M0g}$;-[pC3 𧻓[ |!PMhzYHR=bkgmhqKBuπqB  b0ݿmz;+`-31.ugM!@ߝyD=i\,ΈwH*~Ӏ ݮOa v6E! $ՋpvAzBs*fjm_Dޜ+OlO4'69dR6\ϊf0Ǟ< 0w6K[~>m*͐͗N_L򟨔DbFաMW{Je뮄p;Cf?+w~~]Ʒ+ ӝߞcuZ,KjFt˸ Ш,+T@j(ˍ`\zYw{q'^HcN~)CeI7Оcܺ9SDŽZ'#7.ZйkbCދd%[^ H,zŻnfto@C3!feQfQ?Ep.;j}8pP{ ÿ3/ s uξZ)-2kQpq3񬉮)~}/A5L!v0,3}ёB p H*˱E)J*B"YAydw>AeBƖKy:_j1<.Dysik`]gc]Ѷ6ui 4ԠZZ?EHYԙI}pVd$: *-h71Vqa@|bp4ã QܜNGR/ R{ R.N1G# dHOL-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ŽD%; HŸy= ˬ+?@jcAڛZ]K2[o2qBX'!݉s' F+O`{|ʵ!\zh$+Y.C jZTQ|jIt@LCZI?TБ?2;Hc@\%JPzWd.`O6c8c(7=@~ΘNfs j]/77H]fWObVk3e'l`.-S4G2-m<ί3o⌉(f#nu:@رt'MQf./KlovH15;%A.R3(o?4W=Zڝ>|M[u?WiЮ ~ J&ؠk'_Qʡ8n{fw 7Q뀙[2X'rs"o2yu4 /ʆ U0?ג2T6 Ns5iؑ1Σ*(EK* mp:} Ŕ8 h]֥{ϐRۛ{}i0?);O TTIjY3F6VINd1X}00ޤd橒|ю ʹh+7_yeѩWBRU l(*ˈ "k6]Ѿ 6Jan!+8އ7>f !aCIpvǦ.6K Wn?Fcem&ġXM+x6~SQأp `#ZiCkN3:]z7tR[ӱ( 1~9n҇m"(mYKty雧s=cu^WC]jé’TK0;(OY؅o>ͨ58Jz)V`Yeۃ?; ,i;o)<*\N/,"}<2lD5[x)b CpF4nM1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIL1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5327K1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\20؃-=4 L+|[>~M'D(Hڊ. 3&q.?e%l?!yVQ0aa>W:3u8zcqa״ִLG1j0hHI+giJ-W4Iw R%mէ: * `f.jh \V B:LՍO=4`nd<^{ḁЂ_$cfDA%a1(^wȃ\`CaDϨlA8/ZV/uTP$'z0!qd$*'Yd"azpV ~1cKގɋՁ[%l{Qn8Wʏ:.Ct0fuZ!P#sJ57EpVaxk/fW=jޣ0 Z䏄aOЃ]>|*PaIm8bqzzGm˶aӹЄtJTZm#P;+Q6M ϔegjDwQƼ}N)=p%a`M~t iqB)ҲQd'fJE"(_#)ވ,l,!`./]HSth]kV(tL =w̔eLPH1leؕ CoGzؿ̲ғ >mO7"!é7h:f×;MbaʙHMELV :33c[h$ .6[B#Q ̪/-+} ippp$5Rg#p0$ [^mw :+q``x\~Na'0omC8eNl!I%ʁ2b Z_Ч.4w봿; pGCT bg&:?VKh ]mKņY^3>_k7f"lTkm+VI>Ģg*Cyuת DV!Vw< 'Ds2촅(cZ{s㴗MuE$pS03B1@VVYe "FQoAD| 5Z9D$d ^4n6g'Gԉs/·PTS^|hV )tv`QgO1єeXJ"6m&.vM&)<_ܧuxڕ0I$D@=-% 13! !@ i1%ŶFF $Xۥ@.!e=߯@& o45{h^+W,(L='2 )?Mr\I Tq! fcgYZ䯯5$l:^C咂($5^[*tȃ rDɍﱣ'p²!S)^+r?<#k2$**ʧ* Y[ud ?Qsd_RHP@nKhmWAD>_vnB2z irX4$J# [q׸&tdD#4M[ }7ûhuBiEP-:#qo^` mhsuFߺ56q{3Xv'*=yUč7F^O'+Nkj n z\PvWp';&g2!rTN]z:@"̔#Ij-{^?E^7ꇶu͡V^4T+Lh8d[0Ƶ5VڝlL{]\ޅ?]Z$iQs8=~ +ܲm%@(5CUd{#s7"8Zi]iruӨ$f郠3r_lUҰe${!Gֽg@ D 7GlN[]C`ΛSmz/# m;G_2+V%W&Z;2wa2}A|!Q kC݇DkH 8k"L鋾J,;.i)ּH4(;G'^g;Bjnc`-͗w׮O#`}+L|% LǮ E oz+,}{ Ǭ,AǔUy^-Ƅih3HͶ!H0i}1V_4/ "i*khs睕,^N%&Sʛy=gREpр)CT9\#$u^4N>~Ht%{'qwI0 HH;O ҿLmR> :c!IT ߷xpfB*!EH8MԴI(vYL02FRˆlR\uW.(Vxp\N쟑I/ʭagr>\t^)BJW$up>N "[:LO"2V}Ϫ''D#JDH;A)npRNIWao2Ƣ_KǼ&Jɼ{йD()=flYfRK7/B4ju= *.F^#aȿ,޽/6"ٳH0hc싸0,16b 6D6ٓmZ2цm&@|HwsD)kuqTdvPv-NwڂW۬፬?J9 qrb">2 5[?)\_$!p= ckQ 岇_6r)taZq9 Yfu2T?C!ȞiJ/ŪKZ3GTBp9zWҚ7}UP\*߇9qAyCwb_E@I]a94[~<_{>;7<+\JI(TTx6͸Ԅ_|њ]DKt)OHrwɒ[%rAY^<OkfO̰<\ČK T ~ EN]+4v;=TV'C%R8JYUNl#Zw!,ze!~>bK& {XTv; ϯֺw'luèf6G2e-moH>Ee/e}w>󰃻TcSs l1p3!\>9 ".%0ja -@j eГЭ9>:@;>tq&Tj|n[i~"݆I D2؜WuV.T8聎:ljs'Cer~*R`Qtq$"s D2 7[/2dw'շf0,ӿ "WWvK%b||Cȅك3º~@KNBXP@ 9pmjC,)L{Y(iW'˴^=2s*m :<=~EK0q\tPɓ,Go dߚZ,9˖D9ʸzvAoc-V $3#~ܜ4n *xVI>.<0rMڝt]Sؔ1mh-<%A6\5#iBRjNew^%:׋91sM% 2$1My̔ǥJ"Ap6W](QVð260̙SS`.gA_xWꠛf&T:HfrݲEjc+*|Z^xY V4SXvn,r{v«+̞}y! YDT6yE\3wNKzN Rʠy^‹R@g Y-Ҟ'[0IՖJ[|Z5ԽuBJяLڜ'RA A骃7Jx!)X#ե vʓ{}!972 5bIDۜ嵸'mq 6?#U[^-0Ip˙OQ H <_K[m0 T+R0n"*n CדI@US32p^Œ=s+ K(ƈѷf*kLO4^pKg#pݾ=Ē;˚)4#}Ts:H.H)0 *NdaޞP#< aNǢjj{֏"zw 0z㰳bş).6y] $b($#^\˭Еť~;GEUXو kf"GG]LHB[{]FSF7YRu! 2˴.Hc!ͩ'> e5JL3%dxiқN{Æs Qr݇^:dD#=6Wm;Xv^D Ȣ&Rvr3M@2 ʜ'K#DUq*]o630(Z}.Q+ؽRy5Lmռ k @>K?܀=W]p{VUEElpO8IQdL}G p+a'(MZwZ&"0ڨ6)1u@$YzU>`)(~8*- gYZ  1 m  1jR1O# 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@ *m*oQO@ǣT6~R*RuJxu(hb[ՏI\}z7p}H_5c^[}[xyoRdhFQenE{6>]x앒NU=X6vQ1O!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_id528O1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\16Kn c`bϩySyŠ0-GB/KM˕ +$y9,S%ݕeS ͕߸L{cZNf3ڑn A~ T8N:K(5{&5.G-.4 bt EA<|brf@qT0b|jvc]6D:$sTJhHDQOS_#Xr{\,8V lb*3JdfLO_-9 r\tP$Ml59'aR 8 Ƽme b$Du~%LͶdMZND:x0jΰ>mfADFp\ ]աU>rFyEj7X-Q8Z\C:<~N> ȴAQ)~# -ru8F3Nb!=)t6{  m 3'zhp?IcSn\b|Kb^٭ьyA_A,[h(#|"$wz`\|A7$ TW|y1n&^Ge؜QU~Ơ^6QgsN(AK z|p]hU*pgYZYmBAEqosa[V3F-4-3iFwwRQKEu:lmÊf-xYcHSod$l?~;դA2fK$b&v.u`3o}J.&YmDl " ChKk1/_|ajnsIaH ~I>lA&ro9eAas\Ə)X%XƹnftVRyǃ!2O_}M:xOC2"́_KoB1<Sitf,\>G TȻ DN E\H@#yLsYźI#Y %Q t"M->1(iH̷8L Tg-rBد>m=4m-v̢gxmhz/|K ccK-v2Qȍhp ,>KIqB :T8e_̻]ŏG~\i'2C ZtwP.e4B˦·%mݕPmVd2oSqsn;'2'+NG fsߺ ,X @ @n4E}Z]Y>lҺ Ԓ_= Pe H=['T/h&:O#ƊkV±"WxUgC5|xSMQ9_hB: - V^5K*i(F+|e*R KLw-!ʓ kzEwXc^X b+gOYD py|\ @07o mbo+gLh֕nڤ]%r+h` Zs68-~a~IIš=`+t*F\4߲̓=,IjMY~DmUCA1V5q*S୷s2KTQr.mw2ϜZF8N)c% ;C4]Sn8" 1qTv +L`_#s jTls 1 1z$v"Hג;8Zpi KxSc>SDH8W̒f{$l9OKmև3p]țo^MqhLY֥ce87&2~5ErnFG4250).lYN r*rl~9\D;.Ddn eǃו(fN j#6W\*Jb`fP F^ߪ> qe2֮_3 IP3+= 8{]^q)=>z7?]hdO"a92^2 @EY[%i<{}5ȋ %+W)nyFtf3 3]i ktQ (!#$LRyC+X1萣AɽxjZ->Aa4RM,f(D>{.2< pci$A d $%8\'db~;nVBMWŮuG|tG.ٶ{ED܋w&1p#JHHL¤}YcJs:Cl)lWH\yrqb.9ٹfjk7:Kj~D@(#taDMܹ'EWT9$NIpx+,A]4804^SvvkjOቤt0i*c.!ΎX8umqU!8&6Hm<n؞K4AAI>﯎}sS[%:*?=+B&nk|RIrT$J:g}a"`/̄x9TF%MʴoPĆܠgJb_~La^}FCfX3Ҽ RT#mpGܴnD-$_HC]7?4It{S,F9'~zX#yP^CVQWܚ<%Ⱦ4NXRbpkΞ遢®f/?n H l#f?9zuuxݻs&A$#!W#l#ӄ靑+KN|TvTݬXL^0:p%.S`\J߉k= "3a{IG,(VϖYCN_vCk*AJbQc8a6y|  4s,83/q?XKj J 9~u%ZM zL!^ZF{?E=NT)3cKЅy +v*)V3SwѴɯu,=\,|+^sF\@CD {B=ΐE|N7Ӛ[cC3*7/ޘJ=Zִ]v[Y 3PvI`:67_D*&_+E_H<>.\UebPoAD@sb;cmI6.A&PrOL^z#9Z(h?^Q?nj15}LAݦ)$8o )|`R(tlya3[ c"R@qTIRKWKDxI}`|@qcp7Yۤ~!xCRx=2FYL>ҪiDIIeCGQ9>}Ea=rF L,cB2t UlV2S@$mm=\@g8%(+zc 9GDӐtA!Vo!51۬$)Oh3e&}.Vu,w?M>񊳯ˉb*Su`,y6뢦PdxZ?v =^8?Q#Q lgYZ8z )4o%THGbjS< ߽ik#(dA%]Nv&+B 8!UtGl`Fk@DEm tDI\Ty^Mm`(X-fDBd!fF} nL%uKHD[Ѧ AL M9$`GZ@UjYkYއ*4jtHE)eJ)[SM$YzwXfp0z-Cָs!FkƩv~KTD_(Z6fSq]7#{]-H+ vX d{78l !:pu2!F.Y ҇P?C5GJJ`K/ZϟOG8Ȳ}=olV9^CuܔR^Vr#HBg P iiWP\?G]>2O@KÚ|eC`GM9Ѳ. V$K+0 IOo%O'1 aUC;jn+vU$<k赙m~Eʜ䙬.cK@GXǘ­lmk͉b RNbr1ܲk~llEY0I{jƵ5dhkY5a%UچNX*UOmt^l20rkP ɪW#~⎨`ēy_ 3dU鍷\Uャ4g?4W*Nv9qNkO/T)zy>a6/#=iצWs~) Cr &ie:1DrA*+b1o-PEG1WHov,-|XǁPB3/<瀌r>/5:j l9 Tdaw$\ _r@Բ qrh;]LG!XƬ_WtԳ(\ɾĥ-dϗ{[2x%m8L_əH>V*q+UaIҮ w,^\^>:eԚ nI?蕽K<9 ~c4]C( j?կ~.=98._ا̍ w0)[;61*+ 4fÆ zʏRDoV;& 2I`7@>V2G"p BK[)Uӥ-zk8;JY(e g|tpA(kPl<8wD+%LDA.5t6"Ν%0Ȉn+=2~5m(+lu+]kˢ&yH(PNdϺ(4bXINVPf0]P  HUts,ϝ+wkg,Sٺj|,#60v/:U)`-e0ʓXWLʙ'ڹ:m=-EALD˙­{ 8f-g}1fDǤn:*iQ7ġ0Z jxfcM+DYUt&NݳsU0)C)<V{j*nuh5^F_z`\[ }TE=idjv| x853 ꫾-ʻI$P2!2v [{-.ʂ"ﴇ'}A!C^F!V:]aaԌ+ws{r71ߠh6c u\Kf6P#y+q D54ow](<8e7[<΍E-YѱG},&S?,2mS1gIdpi>|GÀl ߙ\X wH}ȧ)8$CeimPҽ;2nz:i^;zT0ٴåFIe)[JAZخ:0B}ݖ(m3~_k\vD; xSg֋K@d@Q7N[qW. fR~uEE~fijTLTAۦOp>QPV\!I*r>[~ǖ}~aC`Mh}{MOsk-a4V=mo˨a&.!c},E!;wN'a~(CP^?6P=h}a0"~+NjJ΃Pn~}(mPxJD*TJN{:a: %H)M͹6Ԝ`)e}-Px!?IǦo[ =]_Ž|A}nׯmNp quSŎFoș W/OՄ;kyҚA:}qb `dK6P0ߒIh!tt9i;ꈒ4`/%Ua־0sDR"f.8;")x\&vz^G<ӣ\qtYЀΨP>Jgkٚc, ga4dЦǁe2 ǖ D5~-$w qj&:o*/7N&1fW]- @Exk``dv\T#׿YwVo=y`́pv7ԩC=D=CFkqEJ}wMz.p r]I8Â3eb[JFΉ_4pa{ 3wqoZ`lpl^đtsfx(Dl%ۣ$ʋ?Ao`Ĝ1myw03:+I8O *|\D2wޡnJ{{;٨p%Ul6Y ϖ&DUuۉ~nҫZ I^D _z`?|! |>wJBF!"Pğ/L*w8MiYP82T<4VnyҘr+-C NŨ1 hp۰3lu+lfG͟" cZ_p:8#Ƿa= wy4kk]"Ked]O!T e0p>eEHsDU7vR; r棆XC# p6 1C1 7ۯdgVFM0;eM NJqibJ] ;e_ЏR"Xe=BjuHiM21[tˎgE]V/~w^@/0' apU)A/1cHdﺡYPW6n,?H$ٯ7sQ_BM6AAx1Đx*;c{sdo~vpi.#OkO8qw tWr0 bg$Q Q:k)8IDv(&눎$JգV.BrRXU1\L9{]h)jrW̨ut*ָnP,)SV¶+ 8he*L ašy$n.49ۀtLo gzL1a#F]#%4>TtNbS(ݹ'd+Đp֋0hw\̺mt%E2[Q~YD[I^ $iȈ oWkF!Рzie AG>/{,?>{F>°#P&5tC[Hۃh}NnAnz]y?JxV=5#6Zpɉlp~;(mвH.*geZ<\:s" ČU4gKicegBGL翤rzd YL*gװ2Xft#h4"|Yո>q%klNy^9 3S`\j g˨o vqO*帲ZsOY_]mCq[3;u{ۀNqW;b^ AyՀځz#>DzEazv(b!C-u%5_1mG1ifb~pXu9-Xv@"JOpŚ15zp V{eJ;MD +gPlA nBoZ`(,+v.|q\Q)Iuʹz̘x 1}yPq.+O_.M%䣱N][U7}). &g{4|;[{k$mjl WnxAE^1Ɇ ).Ur^" Hgx~H:A#D2V_JT=ay4hÌ|t[[vPu׊=EE%9G#k- 1x'QS-QZ ^0UfZ CEL t(c Rگ dD"j̋ȬH}TY:&votgXm ^"35k]knZ@uOyqFvy`%\R9R;+PWM!׺ a[<(* 4z ޣl!o{)z6MCh|6(壮UPVKC+2 g?~" -!LyGI:@3,DM$N` .14):M ˩y[fY-$Q j, r;$r~冈bwYe󢅋&|BEV&| 7._#|$ܶX ?9Qa˃)\G⾸̑SoCl˲5}@+rG.%MW23y.=CUt9ğhe:F@/@S}'OSE91 ƉpòfwxkA*?&ۇM:nw8VYފzjg"sb:%Z!@n4Il'@FȦaAnԑ 4d&^ ђ!}7x^['sүe e2HY3bCz^/hsm-ŊT7cJ`'fQbJ$cyׅ PWD`P, NEK'C|%%+5rVcyO,6A}( @(&<ʲanZ,00SKKIyjgJ9@ڇp:d~u[7(X%c?qz >SegJI Z Q*m4W^掌"BZS%`g"˽i3ʟа`9|w:"$D$Le)ϊݚeCX! Jo/JΫ/(`CU{+[Z[xy,OGU ,Gq[ș ñ,򾚀m˭O61lRpǨMOyiVck0n@[m6oŇ6уCA-ǤSSI]#݃'iI^qr=}`% ~FF R U+M<pH%3KoHTW(t2QIK)of"}mұ7UZIk&Ҕ(u5Ф.6I=ߍT0:KLLBkClW*n1Mqp14\II&.~YRQ8Pz3W]k0d#ÄՕEÕ`&płVݯ3U؆땊0./$'LQ.UBߗgˇk\ߕr%]['+OLeB2| WWg/2r95A3+m;4BI1 l8M)V៫ɉͫ^OuyJ$DꞻIwR~`[8'^}7rѺBseb'&Ma"-p[;~X= +;n_+}I!6/ӺqN/l/rn( 6ʔlSԭ^)mQ+ΐ ioFbh]_PMky֡n/[ʗ4D&EA`~KG4i5 }&{ݸ/ɵ .[~/aN\12o $}uePz2Pe%@AVKZod?@ca!~B8Z=S0BZkb@:/27N* kՑGݸ,nËVλɥPJg[]n%\ OW8ght@ˢ(7 Xxo ɇw&*r F ")RVջ8 *7l oHt*:IʉDQJ=6)aO"N;˒1 CV;sIvhFh~vxi :EG=2`%.:us>+^v+&[A-n*w ^oWFno*K 4xBڟd iX8?XtpkhZHU/J\>5bp Lų9[{g0-8$WImQ('D_xˎlϜ:Si;Q{Ҟ k-CwLv[GtjONCm3t&9w?[9 5|7)4mt#zSj섡Z pV&'+ (ޯ0xᾷh ѺrYq 3YYN"Oˉg#_S .\T_x<ݾ=@QEb>'p -g/7Qu;Gz (d!8+~%MwЯdw7"r'-MU5nP IOFJ]I+Us[KI]p'ok ͑»!jZ8aAőu9B.ʼnKQ,Q.߬mwxne(*#0e[7:HBN= (\?sȀz–;k&BʹbWP"_> 2 N!qV,M(L$҃g ?zϫҟ$͞0߆5Xqe͆gB#pO-CvO3l[6`VUR8:XW ԶiG$+G?8UGh**NޅOm;^f%eT$@BET1Oܭi6ޥa̲q Ԅ"j[vaq)$Y!y9Pm#QUdzTҖI>m۾O)0Q\ I%UHXz\sljނm`15inxMwd1=Tu \Ѕ(M݅G̭R@)~q(Q%KT^5u{La՟3I_~,vu!?78>\Ȁ)cn@6>cW1-tX*c-ڼ xk52P}'kEn/G|C(Ȗt#!̛mS}A@f>*P얥>c! V^嵆@?0д\_hmg0`?o {(5ţ&<.] hVϋLVE5Qq*y~­2?^ /\ 2#s r44'75\'eޥ_JQAoϓ27ԱX$K}Fe C7̓C_M@|+zqh=`uE_C~DfUC|$ 0H J?R1ms-T|= Oh^n=\(V$'tpgݘ9f=(a!E̿vKP!n5SSv(yͰ(cFT+-= M~o?y];jT ØKw龦L HK07T7M&û,rj3MҾ]DQ_PS<uiLQ)܀~u)tPw|(vfc񅂅sxIxQCm}J~M$P4s+:m,\*&!RޯyEtf' $z ,!KϨSOeߊdRCvggav(^ 8 | @c n;Z.c*T匒vd-bYd_ K$S\kiXt[wx\VbL$U[}^i23_.I>i2Ademn7XkuΩ!ʎElz,y%?PoC!?̍;G#lbVIMݶv"6g^7xCZZi3%ZZA PPB])U|$_I:ZihUsjaUb[EOo˭Y#.&8PdB,2UBi)o7D~ᅪ<[\BF@|S䊣>gh,YEi`TO !JCơZ5sv|*@塞DmB ojTRi<6`` gYZ2d629d38d401c14c0e65428ed106cc16798603fc5276688fea607e3a3776d373302d975e53d8d37c bd77ad23a6adabd9127118020c894b7881abece9 9a749f1fd5c137c1b9daca9c1391e83a541beb4c