SQLite format 3@  .;  B --?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  1z4, ] HOL-Corec_Examples:threads=6elapsed=152.839cpu=505.804gc=77.3367zXZִF! ^ ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7 PZ(ga=X!߼4=)n#EGj Δؠe0µɒNM54ҏhb{?w()32;!w3#!|jcO4]` m;vsTY1G+^Ǣ@ՠկu135QrFqÍ˾%so(XW.FN!E|<)-6ّ+f1(3(û ؗ,'b=B 2kZſ 5Dk>K_)& AH@[EHX*>yFܒ!INc|ylXv>> $wh P FlUak ,f5T+/=|!Sdm M"g?CˣOA |priaչ83C}2>腳)Mhd%_A@^q3iphr'Yzvq_k~wLHv1K#EӇl{)GcT6 <Z-9>S b_=p߫?NCjqѮY~ku*)1,cD^["f$XKqlh")yͪͪS΀O,_rN*^0&WlbqlEպ kL*mm`B$-:trA{i]c|B Z?0Գ!H7tY$VR A5e'QN#{)ؿ$`5{W<;L+!Qd|@06[ژ+ko'~?Ze(Z-=RǘSK^ CWA% m}p#Da񂬧1>8g\^1Xی5pn5|MW\n ):Cûn+!k#(7 J|,eXt׬*){W_p6(@Q,dhm#NVf݊56cߋd㐩BUJ@5$Xm%Q|K_]yneVdsYM)' @s C+Bv4W;NR 'PyL+{)A$$p3ۭ,Wm=tc>UL ΋4/;\8 ϊYcT j*ſh2+MCHL.q:mM,8 "]a)XAzl i| ԠaG|>ca>H*N;RY9+}NήL ți_ۧ]vOw*{#BvM(z9,Pm>)U{Xac"xV 1 HOL-Corec_Examples 01I= LHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! .]A-MՋhvG"uIBm52CEֹ$zne:mFZЉD4hZ#*OREPD-G^Cx0j] فYe_4W)cF*7#C@"z0BzAa(. lcf29$z{ZR69gE(Kc, hm̪O{q niFcuNn7UGm'"w ڧP[cJ59M&<9B,ѡb#R4Q#SZN:W0Nj&]9qMȏp멸%D|v[^)leZ{F~lV?y87IrL1a^VWRnVFHDzf#Ȇj W),⿸_) ۊ4"?/MB<2Jn7 Vd(i͙:BjyG7UEC)n%PZdUŝPoB3bά0Y$P $ٞ_! D8.Rhi֗yL}]WD);"R]54{Ob0Sޛ! xB.άL@I 6r:Ev{c6W4_~iņ1㴳9oLb,92sw k;M9,q珦ŠK7Uxfjɏ1Ė"ڒҳO8JEykNta C_Sxu"]řw t z{?iY @6O 9TͫkvGx]|/k>J㜶uuލ}畾oi8?%WRʦrS: O;Fyn{7Ҳ>:pC&]ͻRb"u˥ӯ}wҀ4ឪ.Ȥ){1Y}|8re7&w|~Z{?.DʋzX܋#9YE#4"O UE@NSn"Lz3gsk"1KrBS;者2z:6Ѣx5Gƀjc[Iٍ|>:ۿÇP>GҚhuwXzҬ1zUÀ*뉆{2Φ\6 mXrBxW'KsBgZSHpls.flw~ eڕYVuV3     ik ^ 3  h J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex  01I= LHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! .]A-MՋhvG"uIBm52CEֹ$zne:mFZЉD4hZ#*OREPD-G^Cx0j] فYe_4W)cF*7#C@"z0BzAa(. lcf29$z{ZR69gE(Kc, hm̪O{q niFcuNn7UGm'"w ڧP[cJ59M&<9B,ѡb#R4Q#SZN:W0Nj&]9qMȏp멸%D|v[^)leZ{F~lV?y87IrL1a^VWRnVFHDzf#Ȇj W),⿸_) ۊ4"?/MB<2Jn7 Vd(i͙:BjyG7UEC)n%PZdUŝPoB3bά0Y$P $ٞ_! D8.Rhi֗yL}]WD);"R]54{Ob0Sޛ! xB.άL@I 6r:Ev{c6W4_~iņ1㴳9oLb,92sw k;M9,q珦ŠK7Uxfjɏ1Ė"ڒҳO8JEykNta C_Sxu"]řw t z{?iY @6O 9TͫkvGx]|/k>J㜶uuލ}畾oi8?%WRʦrS: O;Fyn{7Ҳ>:pC&]ͻRb"u˥ӯ}wҀ4ឪ.Ȥ){1Y}|8re7&w|~Z{?.DʋzX܋#9YE#4"O UE@NSn"Lz3gsk"1KrBS;者2z:6Ѣx5Gƀjc[Iٍ|>:ۿÇP>GҚhuwXzҬ1zUÀ*뉆{2Φ\6 mXrBxW'KsBgZSHpls.flw~ eڕYVuV3^<1'09^' \7gYZ P1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! Pu ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲<=Afv M4,}P\I =[˟L[(DK==7, Z e jc~scPBR@;ѷ6BZRj Й¥Q/@CaҌ"V2(}.fW}jK%}͹iQ)&B6ث#V.ޓG9Z4|"ЫF@OF\b:pK 3mzsFo,aրǦ@T]ߔ5#$`0tZ?][oqW @dȗnًͮ+MCS ><ĠW^lVa8n3i{זxOxS mB*u&Huㄙ\2FW sx"9uI96%4D\h7|gednyvL4E]^&|6OQ~Ri,&+h^iej(ܞwĹހ7p/kZ^2*+7vQ^ 0[(}@D{1"Q"%=1gЎőCNd~ b1>-tT&sX/ԡsWlrmlB/_=c}aō4]$xdZ$5|~2kzE:6R#n_Z)ȭ('Gd9=MKa < Ə~>5K7ᩘsԣdPpF-|t^0M(dby]tkDs$W΅o[S*,*^ҚW[A&j! BQ q.DzBo73tU?J<+|%<}(@8s"06"?u#,& aఴys{, mw!(WR2|UxĨyHrg & ;7yR59NMȬ> s<cx+˸DC X6oin0;hf]"bV)MkXVGĐ -ǝDo9rzoqO2p +6fU 9dl.'%ÌX &x;Srl}-Ss&5$ZӶl6,R7TLXlߺ9~H3 .Zk&A;gn }Tġ#0G+8PbLH.뗅DsS*F_il :|u<۸ "ϋqi~۰0@?n<|o,9 3݂h Cl`Th 0i|kR?A6~:7ɸƣVF0s}qʚJ' rPb?83* K9x}\D'Ff`;skYjab3'14vxXhhd5Ė4UKx:&q> =k_HR\\7s|dɊlr:(K'D^l'Ɨo,B#! ЅDz`" k)P\)1|ugYZ 1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! Zp]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+ǙG*;q_K>@|ډnͷ}:өMҪװSMCYRͿ@[8@~bLZz>lk8yN~}5AIa.!(<C\ ozޗȃ(bk$ W_FKz(z/⫤%MV Z0:T~U! Ik[][Jܵv,qX$=sxT]YӮC*0ߒ4= z'N:gHcī:r;$Mmzi ٣Ue+f$( ׶(cFWp(h $0~1\85D{5{r6'ċ܈i IIlI /&D)%[I^5@6 A JU(3mɯ%(ڝMš Ip|Iݭ[0_6$+uJ1gpH|8tꢤ`un4i+'$C5-@vZytnv @P_4^^QcQ 9C#a񱶒hp~)8cx>l(T5[n c~Y$H"p.-61=HzDRfxF;wiͻp[LZ $[!yH[IX'w@8 }h隘L w=$HF>mnNs^=5;ռpۋҤ %&݂VONl0{3鼹 HT aD޹IQ7eOkbXvPv@ap:fo^eEb2K'5G_+@[b4Jwˊ{Ͼ acx"x+0eRU86|=뭆(X\랣1V)Kp*xAKgHdogVsD]㛾?-HP@wX I%>;&mŐ0‹~4iZIh IWȗC;|ͭڽdz N?QNB.i+RNO+ ۩2_^)g  hNhEWK9C^Gmvc2-ŵAw=(ImY6┴9K9&+Ns7 ` jo UlyIcK3,Yx-z 9OIm""A2\}w=\lܒ᤺blv2V|E8lE{xcGY?BF|b6bgʑL/44?nUhGB4G.x1@8N9;4G8S$xn"DlǑ%Xw!JS@2]CiW!|)ba=U(ù\[*|?3PLy5eK,\7*!q3:$${Þk(LNaZ\)ЫTK$nUQ:=0n=";-Gzo:ג53)?2(Q0-aL=9 hj I'9mW1"eYO~9Fr*sAf!C QW52N)Ӊyd~sA4{D1@_w ɳ1eDڛC lwpdqܺiFbB1?|%RrL>2 @#̱gYZ GG61OC LHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! S ]A-MՋhvG"uIBm5D g JДx;$3ܦ$a*j^Q̀ U//`X{t6Y-Xֆg*7 1PBY>m[[2 4k*Hm2v+D h(Y#$&e7s*B+qW(\2h'*|U-T,(|[/EDϯ;wac;D?c^aN* NPK]7Wfˆf?17=3aJզWInGb]Ūe0vk-vsF؜4&TUJ&HY4BԥQ " 5SrD_8,c%W֏Ϫp~ =2i1p.Ry@ӑX]R+9j !!"|Zp?Tlfo}w$8э%Y$Xg{0MTtvc:\a5C-jIߣѝ:QA+;+ 0ffSaY1۱hH))8&-"2dЧ,vqŨ@wrɅ@No9Af9v `mƃYt3na>E \-JVe ӡed%9*4Pb/^X|'rtf\śXkYHWw4 #kx cdזbY`/(V"\xl'p9׫.fX~q1қ9xg[!z;Jf:aPH_Rla.ͮa}1{xv,Hb+*r }胇Gę3){ ^%cK+Q?~`ZKo6d`06 .z@MD$yB v㫄Yq%?qArWQQ=XnaEz%]|r`pxzeY#IrB ?*^(Pӣ4Cz}݇/W{0s{#+k7:ŏ9+.a`6XMJ8W"CQ Qfnr3X}{CL2DzhqI1f3{e}8KfU^4 bQ>4A D2+xn8dAPӹtz@4 JIGޙ#*J6[M'ݷZf~dw-qf7 PuK&Ve~zh3 AWݖBbfKtg]D9J3Ujq"!\]PkXEĸ[E܃Hx N]5svw:Ų +d?A:LZA%飅g ӧYËE9O'hW@<\Oĝ܆YbEq4?ψ{̜ 'v2^lK(8.(_Eiwuh.4'FxHmdI2‘ 䀚գ+(0\dDw`kiw;0B㪪AC tnH7>7;V-s%so6sX:(ѫܶumMŠ0ad 6V]p\P˫~RвQ?d;aU? O&L5[Fߠ2F_D} E1.RF8FT!] )^ad_0衡}jJ;ʜ_TPdAq&1\RĮRMusX;FbE_0E٪)a~iQ$矯;~%hbKxh`,z򿟜Ax"vh84,eߩI-Zg{ӔK?'8VZ!rM0Yn%W/`2)Ȋk@gPڪi[ )dZT D_o/(΢9+MXcG 2q--%zC'V~~o+TXjpk~; m1qlʡxF\oDF_Kw?Hr_JF8\ =e =gYZB1SG \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.tex7zXZִF! :%]A-MՋhvG"uIBm5ȩBߛ0^(~"3_"RrRW;//#Nצ[kw'd~6ZX4_분1pW>2QC3?z$zmLI!Cc?\mFF2CDo*AI[ԣځ13eeb}'݃e1oapN\' ]R& Hi=LLުmQVK!wUG-c\U-^_aWTfU8+]&#g|L!UAѼ2sKukz4Zg/;~>7ӊXAu(W6ۤ)?-yR 8Pe9FMp73OGv RFN[ɢ^w~8O+E4NC>hDA(7o$:!Ԋ"]KsPҡ~9_(4G?K*Bt['S'|{|i4oUv#vI` .sL}[\'e_^B?%| |xt9U!שj{ڈ읲dQ)BWeJ: ;-D)}q(*s2T*c΀st[|Ʃ!X Doڗor}X_GQiw:SLT I^$ð@S9s j4%(Ea )K++:e8jeS;P+{Y.6v9a~isԚyn4g ͫ-=}G$C7 .VӐf&$ C}ǟfl] @u@ 9=DA=Әu!|#\u݇3xGoEpixGyeO* d?]48:S' @~q~bEtdjލܴv* Gv(.5p #j )Q{B+GĚ`Gw^rlB싯%t^3bKWH |߅=i=Tgo6w`AJE>O:^Ӆ!B+HtyԘe0뵇jK4LSG%jadϥ-p5,)@}14ȓPZ*:EK@RӒ`l!W zU慖,qT2aY\='f7}~ u} ՂwN\'%ѫ鶌 )+ 0IGEM5]BΆ *n+`{=H GV|:EЀ&D*wkɥzKeK%^_;H}fOOn!1Ix2U$bdR[Q!ja8Z96c^5Ap-\^1p&x/#CJ{QմFf4#|J<1P6B,u"]R 5-UTk:.Po rg`ۑ%$'CGmߤS+ <$*]\[dπd2|f 2FWYa6ByTQ*y{ȊsQY2=$ `in,}Lb`4DY -dt-c'If/ ՟x6=y=i Xj2-7{_]nͼsw;Kq}Q_{D xT˶(rzwP2#{k9pd79 a%" k gå(t/gYZ B1OC dHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex7zXZִF! "o)]A-MՋhvG"uIBm5('LgcѸlkUF< (XD"e*-i$ 㐐Z-SAV= o"a#e_rE=ɱ <^ -: ~,~| 2G]4i(g_N0{oUv0轱՞; I}g-vE\Tއw:z:5=+L<$ðU8|W¦C|S"#6H,UĐMx'Qs#^͟®ϟj(?%`11?ɀH gR`@̍̑ycV)kΜ9 =B1~<)M M\m28v.Lc̛j܈4ݹuh{3}ù$t r+7X-Qn#{1ife~ù5UM/@ BdJlj@LUY:Ee^p¦"D%q.1kkEϬig _̻+Hj?:2N 59u$g9U-h8PYb8a铛2Sͩ;;zZ ?Rh(AO\ aM&xz?u3OʌGmjEWoVoD7-D6Z nXԧmrhpXʤޠNV'$I, 3݃oQNM`̳-)Mܠ94*v]Ene .K-  FKL^;Y*˟p=f* ł Y=LOq3ȱ&+x{z LjNd HuxVJ1Yi?=y wa"KpS8M}Ӵk3_ E"ܢaTB^(jnOx@uZ! Ş~4`YrM 5 [#|_tl m;->K;Xr/HjHDq)b_Ty%x_ Y m  RgYZ r r* 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! f ]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pѹj(d(BK+l`qrl_1J۷Ѣ+Pa^@1ǝ0V]%}fCΫ1hF4{A-#k'Ĝٚn/f h}R p]6o8!9 aybe-i ]@">êYYFՀ$`:VU K>LAi% Iy?cb'OClsX ;ypeXmwam5ddMjcaV.),I{Ukg /7(熛fN:]1~U\S{A4DxD0?SF䟾ܦR.'mY&eb}潳]i ݆d8|ul -0/{GHF e%AZWzVs[da+zzd2;k&\kN.`u7`xR^F PLh{ Ԉ U3&- 6!j(BVK@!E$qsbшG"xʐh ;`/voݦ$$KkHg~8WQp;cֈWwjo48Sb W*hƱ"RtpսAYZFV$LjNQOseְա̟[*S!l8b6nϟ<~z,8yCp51u۩q6F6$KpW  R2|%tЪ17l߰SM~5.MNa exʄJ |^6R,ؘ~5Vrz"2Q_։j}!KV)Vp;l_+KfuF㠌6{ \ C>)범#mivѮ&W!(S.h;RCk{h/MpÖtcDKWNELw>(W.=_$Swb98bZY%`(gp y::M'(h #+d$p8=VƵ֮\no޴[=@9M >|Jr&F\aMQa .޴~wTWPcG OK`?5FbmH@ L<)+q~ăIRO>*ND S3ӲvaJG3WwO&oȁzXC0֜([!PsǶɨ.%F-୺83Q}<Q9 m5lK-iFz?g?!NBjpX,/.yJ5`93ɇQ|,T#fhٳF&O Z4Q9mE8#L.K_R5-:A Òp1!%^ZB!W:l$ZSg~'ڢyN !d)ISgYӟ8ӷB30?0\I\?9͓9<F k8RK8!)M{HHjӄkUdwLSHI./5up8q;4ɠ|jhZ$9І/egB !oҵGͬ6vD1/H؆~]ZNczDCG*f)b2̭+_Os`e0hK'JɰAw nW[3b"tl} xxkmM,Я}q{w5x0Wy"4A}1c ao*̺_ S+;v`LZYH*1h?pAxGmhwF;@-F}5gYZ^ 1G; ,HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! #P]A-MՋhvG"uIBm5u{ǶlΑWەXlq{#bwjJ޹1֝D't49A2^s9*̛reY`| ?ȲέzgbO٣a6f ]`%R0QV!3aFaW ^Nu%׍f4 }J^P־3hφVX`RÊ@Xq5B6}Ucֆe j# ނ8^ "rq R߸JOEmgפ,\{-VR#-y-/)e7%oМ3ވR{?SM\(GzҕKμ3(?"va*o5 "og0 ]eKݿ|(/O) u_o ^v쥰I*D}Q cp.Ԅv4G5¨4V-)\z.X.(z#hjzQԜsI1 q[?(bόi6 g?]^6TY0}pZ?DpT@wDvstoo %orԇqn71%R6_9rD  Ao~_f TVW4H…E #?jIk5?(X,>9s] ̵eE ߜX0LQ~)/)hh BaKhMt.YxlWTF%dk8qx R¼"gYZ  a l 1A5 THOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<NpgYZR 1G; HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! ]]A-MՋhvG"uIBm5d|lT cflIjx5N]$kUrt%>3)QV9p{juQd8iv2bE- !?l'JQy }׫.oA߻*⛨%3'Q\Vr7x_4#&B;@FopAodH7o ܤn8 s:4ɢ0Na/&ݳ{G.aḂG:n,hЦAɵg}Y,]5&&)YhCw`!'4n(QoI /x/=2~kSRjT,  ]$VxLf-I&/vZG _:pb Go|׼ ^#%Э,YHTʟ)7Ć9Tx{SRȺ&ks~\ ydUٱQĎWx^>䱲_#2\|#jAFXOC|?dD39Z.S O :-EC ]6\Νz4r,MJ(!GWLN6:{2_1!Y۟eA q,PhE “Uha皺D68zxLCÅޡWrn+6}::J>)Cy*Uc!˟%͕I(4čS2r-h `,|x u1> GblfwR$qI?/Q~s:^|G&zg&Nc';K9efŦqA|M+L3RqYpD^"u'%}-k-Q(<bw ǜEջ \"8sC%q_>I0 }nSLbn\KoWk,p?LV~=It9y!əmNطćA|dtń$AX%XYZ\X-k.c޲M9$b3 fGT'_ ['삸5c З"\-smPHfk5l *M[Sicou|+$ ^eQ]Gu'c;='_`te+TgB*,3XR>lLXjɉ'`ɏ?S2'{)v!n45g [1yr 5F"~7V^h"WHUВB<58]&?CUb&[162&Qmyٛ%ƈs:qR }.jkO.PʩRv -@ uqܛ[\$hpj6;y?kЍhSƯD";V_&k%OæJō_H0UĎhp-XC_]ǖ.bl:j%5=  4$ItDeEC(r2잦yc]G}y]8^v#ϥnB'R6^/1kPHɜhEz[Xv{D-AŧJ|UN%X(ƵL:O8Rn?A1i\w. XӃ| jձgYZ 1A5 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT ce5_ O؟/C#lʭoGoACG2μUq$#hhk'QtO<gU@r+`(YD,Z?Dc^3$NѕF7Ͼo 0lHmIpk\أ'j 쳒#V7(5] ^PU:"|!\,1i*2 MMSE# $O|K>{* @\Uf3CzҮ;rN!]͛[i؅8۷9!<%Xu`ZF!;(L_.Ϭ+םY 8LK?@EV>w"bz羿Dn}7Fk%' 8 Q9Bv?V\dYmiA4NWÑDy,DA0=q}e:F4yjAZ|T=EQ!kgYZ    1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! Iv]A-MՋhvG"uIBm5d|lT ceǻ h-Yzzҿ*.N y0jCG2μUq$#hhk'QtO<Ȯigkc%ЕK"tL=@d.鱹Ƕt!Bl?CciТ!*ѷ3?(S$tq+rɡm1'k-E ߭GM]ڥ@px P9mK(;ij ,\v3a[>-h1iҡ7Y4~ghF9>]/!$[/WU̾Vr)C,;ul=} r>0֏ kRS!jC N!BIaICZ/l\ Sގ7ۖcѳ @Ozw^iLn(WgYZ`1A5 ̊hRi)d6 53: wL\S4lOGXP5AgT ĩg'NҒ r7uM c%F aV,htg˂eAB/߀)z3hRh0="QUÄ1aid 筄E5DdOz ~' `Ϙ.G73V/q6#/c%qa#ˋu[B[-,Km:="A IZRk\19#j (7~̧^n罡.:8oێ!5l%mbBSGF[VikK?tds PUFhGʠ$XP~S=Qߜ\ƓO3Pc:՗u"}w;!Y|u9][Y &(E"ឆMOGB䀰"Wӈ/ԠWkAPHe 'U f@/ٲhbia}8^p[|]9Gn.- j<<{SE`ߺT&cO,5j`Jx,k=9 }eHНs4_ې!!γ=?c6Z5 S}(ۙëY 5+iiRs߱t0`M U50 ?}hP)|\M)\[v쪊X+v?1ЙeKx"U PQ 7r.iڑq;5&?QϯdgL9CA(1AG5?g7ׯ{yB] u 2υ3Wft^Ć"QdkIIK=CpGd/;=s@:uG$m $@q/p[mj-l0?6Sk:hg[th/LCM'1R ȿD=%AikGVZQSJ&(iC'1򊔢I䷈>p{B +.H3!;hmfƒ S$|P-XUbDՍ4=tE@hMl엄wلĀ*NǓYKN}mgWdù+5|YKB`MX>.5(ifk&ǖ xGuFM 7zܛy/*'&WU(5HMJt+-;2sVT^w"}Y~!_bǁ[WŷP{Y\{Kqc}~ǀ*ZV<_W?vyJ.bcO * M_ a+aq:;#{s,l09ku/tz;Rݻf;ȟi Aֿ:bwM5Cِ@֊U(ߍ&-0k.`m݀SEt\_x \!*ȉ#z1D؈CU臀4{RDzQH9">YyGL6v-vf㈨@}Iܹ&-%>GaGPXȻ Ere&.0TAŘ npȶl5jQ:KT[?thOm(u#'N]Gȇ>Wʥpu^ ESiS9mٌY8=É&!7Q{1ADix] `7ɳx :sOϴE:#CwqοCqCI^l uߌAYӅĸ0[*@=YxxBLmXzϦ-DJf!+H>--aЪ11˘jwlcNj>A$-a >%ѱJ^Fd2`$m-Y,,nQ^M%Bd 35KpE*\y܌DF͛ӆVnQj,)o۴mnIG9Nk:2ޅ_k1+)U$gT/8%>TpR$B9qNEi#hBhyFCLHI%Va"0VToK"z85Wt݀T}(CJa(cnfEdnU3ٶyd6o* ,wSb>?&ܞ^Nt`(i@%(>h7!u'\i^D#d4Y#GeR3*&<%^"coz[,KӋg|1Ǭ0x>\r5*>0 _kp 3)Cr` !r ޚB=^yCv7Qur̆D3>Op)2\*ƶ2hѫ3*#L+۶Rmb`^LL8/?iPH_N;w*Ta^ҾAlyC&a;+~1ĩjYT^hЙd:ƥqӫqoTJja׌!wAv×ҧgm.9%sEމ AzR[7ȟ.:ppkr!Ҿ$c=~7iB<)h΁4AT37rU,dKe1}03R)Wk񮋽 s"B7ǞƢ;1 Q;b $x|sbx3i2|-c_\>S%]C(SZѼU(Ff hOqM;?x̋dkÞXJsæ@*spjIOraDk7y:'uēHjmΖ D3CGvB-ܙTWxVp|`'N(oW&8SN+Ĩ ;f{\j JAk}gFʨp O݈odcy_M%OSH=t{H%ͫOVTqfJ+-2C%ȂR h?⽕bZ棪ܒy YG(Kq0EBl^O:]JG)W@ei_6=%Q}T7w[/5q4`TҞ͑o:1[R'KU]͓w,(<ұb2/⛥{ASX6k rgN'}ߘwCp`9@= &:Ҹ3C=To)r_6 s;鈽L'M&ȢmfBW'M'Y̲1Xg-G{|bsIsYm-3{FG??Hu4ПWyKnDqL+KfNZrF-WnFTEtexG LykN%gFm -X~4OLscԓ۽'1-e_Ϙ)uWx)śb-*Y}߻ip?e\8ә*N!x"V_gƑo:7]Uv QGFxݥ0dh: jT|(T:*# v͟G9B2s SE'0AϨdZ;|[+Ip'<*{1~ T? Cs[)q;x29*fЇwIDÜHkw1_<Ø~J2f3D6],{_+&LrшQCT\i1OaKBJ{`⯿ CJyMoF 0xW%V;3vhUѺ&TSKpN4 J́NlRI \o!o\\_Y1ޥיPUv/4_`#m5_}9'ӳY$,j%) aK\EE6rr)Xϯ7Er|{*'!Q#ӂıBJ[{U߆ 5Ț@ cmOA nFȦKB&w݆ uQՒrDHTŊԗV6\7JBCp$cOn[+YKȨ40doW|uRw][Ѱ-F91V0nwGj*bd Wū!!&v+$[g8:[$Xgo:&I2݆qS1ŗx]Lb:DS?o/ gb$%{V=X6[Px;?&H2 yB(Շ&:ʘx&7Z)hCL6eJP û]2RD};dJHB>j˹K:h5i,JO2%QgEmm]GH;ĄD:/,FR Lkٌ!<6ǫBi`N'f%'c*&ZN| ^zQ%zRuS" Q{;hfZ`-҉4v­+UFlZb"}bUoyiCImზ?F}E560mO}Vl X9Y]|ne pڣndFm}=_RJm Q{Q(6EoX`/ɆOBQ'XZ ,{%6(L)z gYZ  d1E9 ʤ(f"z$ԌP @|oIS"SUz.X%P]M;n_(zɫ,냏qL]8i vms9`i#)3Cvh_U3}O846!5j&]Q:`7 [ zplĞ_ chF(fJctcg(^HpU O{T󻄻|U\m NG䯚 O3VDqMnJ !RZk3P3X c)ly|_(̊E~V-L>c.*&.l K9-6 n:[Ǟ2l'heFdtJaXfU*#^U .ꂩfFxqcO)l֙"hSCq":x0>YJJvWŅ ~UՆeg5s0]Ube;}C&LKMp,O;$ٜI۷mФla`xSw1/}=S wEF+yyەI xx^{{Enf rEBc ]@'D* 9^+g':(,AмS6M<* 'e<8u詄DCPx@sGt jf+zE+\&ķ-Sd{[!#k6yapt-ۛݚ ˣtX wM'-x[/m/,#:ȃYEhKKzRqSuoB5kd j1 gVq+ [\+\܏8}1u%psގZ귬oO˩!qL印ipS';eF */e'+ ɚi} GO ,3fke)EjX/{T{1HV8}؊;}]i;4{;4xG*\ Z R6niW ]g"#֦}/%bjj@p1g9!IVX+c>Ix7hy0#qaK6T6/o~& W& D$9#CJ?TzosCvr*C բ?cJ??ChdYl!"!hi@?#t\u'd_^7z]H&gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ׉9 o@|$Zfθ~p \rYW#J¬X@i-Dg6)UDEVbJ ˌӆ+ClI i8̄Qz1Kӓ˝3.&>wFx^5/+DI=1?B8z+,ֱfD?Jg WgPֶi|_,Ccjk4U73K`K(-" UR?1/.?)3D $=C]Ӽ:L:-bGdSREъmCtK 3<>x+exbLtPwm]#$J"pж;Y։[KEכ/k.wJY0 Q#Qu ̘|d5a`d? hw1 dO&7F:Ewqd@]!QKK8Mp[e9Y0 Zɨg^W0J{Bb ax^6lc?V>AӗR:Z=W"cxؿs yyUgwV'@=xZ%⤵ :1{RL#8˜U1~$1>ˀX(90 mEϘq`#ɈoW|5zoğO<kLH^kK{4SOtyc1o4ؕY];~0Z}b>d rRJ~W.(Gf]^6S6JNz!:7l򶒄h_ sԭwTv*%eF~D&[Y9'_X 5a&ސ?!o=^z"TK[*W$әhBr'$9f}nbsfn4 kD]siSig͎(jy4Qw?O ?eXagh~Z^9C_\m'RUeEm8N_I%t0eo׹zPϊaA h=Oʘ K|&*{ZtJx<> I{@oZn&dada :Tf2 ,]5lC*UL"BtTX$+;o$Lns8Dg;nXWS;LHr]sFvDQfm-1}oaU ́>܊Hh-pEHZɐuSAlGŧó+Ea7x3'èxU ;xW_m4 ɼ@ 0[-_!U\U%veۘ*D8M6?imR _DLrD5Iя!#lqRՆB@&=g~waflH~Z=~>+7:z 0Sl0=IIdwt,;?GOJNS-H@Q%F,/mg-k+ډ|doݙFL8E:bib*Xªim*EuPVD5 \֪R B%iv1h.)+LQ먋řjǟs[3XbdZΖ}yV_7hM_Fۤݘ|R'u-Pٟ ĭlD…)?ʷO"9IҎ Y$v3:h]4a9zk%gj|PujøDž%KD=`Ա{9%#R$q3u4@z/RYD<_qqML!1wC4R"#6XV2p '%^],gaU JCg[Xccy5Wў||V8wҲCS o#;. 1C? `v@ mܡhH!h$}͚.ઐ~vƷ/"ՋBn:LA^4$B% sX !=j8)){<:>L{8ó&LŠqd urs骒J$k\X*Xf?ZWU1+qp!*N t;cN]M+VU.!n$\34zs: 'GZ<^9ezzOl8]fNZR[AD=h>FHq;EebDwdɛؕ(hԋwm݂tĥR 3b\eEdFrJv#='Ib@q P-K@,v`Tl~a-tE x uPajmo+yB]#Mr) `Hm{qw«z3ޫ%߈*6Ð׉ :yNS6bd5$DlfVbF`ˬ D2.1*PՋwh'# o]=J[Eg[4ͭ]AO8tzPO#V'hy{k՗:IeI!r]E`©Ξ&[R&"YH#-xY.lwenD6 T i]LN^2FD`*t_Gu &wX4Wq*8%;JHH]'Ns|C)%lT,erPvy ';λڜ]mk}FJF?EA7=`ZPh!@ pjLqDz#1$¬uܼ ho6^8 3~$}6!-KIJPk3ܹWv0Vl,K>_FpW ͯ%=!+LZ%<0+Xu ^$r`=,gNwx`~yEpk`EXS-mA bS &kxS|!Ս? S䤧 H1S`P} Ȋ5CJ {rpf(N^3E Mg?ǗNwo55jӫsJ?]>ǷUv_Dx@4ĹDLfɝɇAKZ WksKvЉL,}>ِ`5}w? g?DG,tX nBM#<"@Ut]:Oq?:.o}[L9yAU gȬkXi. :6,h"6'uJlj&})"dPW/8@kgA"5:ڱ7»dc,/I+f I :`捂a8ӝKZ,3'#TS 9-F]IʔRl ‡]ߖ4˼dsN$edbx̭%9PŸ%k@u͠xcCmt3p!;l@ TcQ6~g8 ,V" ]Ozsh})D\I4Ӊi߆ -)' ${Z8W5@6ZOLbE+q=JzZm8eiW,1& }|"F5GwB@G-ZtwC,HZ_] {Zao0j}9I҉AŒ>Pւ[Դ!zeh^}ai=*W7.,g5rqd3\3.u3g*mU3r! LTּ;vVy zJG䵟)9C 6xPGƆ7\)LD#f:B1>ة:d/-+0 0S`` hSnW'Q+%5 T 9|PȏN+rZr>Ƒ5̢*ScK Ppnk Xb%C_"-ѻx

;a* D! )$kT&A+ 5>uyxp.>r^0܎/~|br 241gi$ޭsMytI:b/{QZ\3>/0] H)w$\"M$wH37n$*I4g$C3;㨉ע#+ͯܫ;)2l'ذm,g%(\*/MtD25rg5q>/YJDKvFjoOQ%(c[z?֯r j#W+),<$)j~tIlPcgyH@5|޾GhXU{9"(dIUjSk)`6E8gkyŎhÜ\-LG]5?!D 7}I!eh>"6R]*cSPS$8ڋHx` D9[8s6xz^t$vK4 `)p /jQ!>xZr*FІ"M2+FR!"y'K)y؈-UPo)uvA{ J}^ۉc Iwy&ぶ_4#\p| G>wM@x}k@8fUf-f tT?-GrV8VJ˘6/+{TL^h7,|e?\Ir 5P,m@]'aJxad xlkk EV8W2>DIlZ0s* Q3̦yY- -a[2F-4t~hԉω|K`Kt}@<U*1r}(JC)-/$bWM~ >_ 'AvI+u1Q.%{#d!` 0@ x5E\5_fdO"ɰ N!OPV|&*2 u(s7҄vLAaO BZ e cGfF2/6MwB>(XtR} 9V1"PڔPU,kXhVFANࣂd ȑx @tP)_\"CqȂMeIUGX[/Ua}<54 ڰ΄7ŒyK |wk~ B5C&kXn5O+|,ԄG-e00s S9|WTݡ+MCb!hXLiHO]ΓBʐ3ңyxKgE0ʹDݓ[(H; d#A m9ePdMq\jh|;UmӖ+9{'#P)TA}wiKMv*uu:-$l^h_ՐM U@'CH=gRkѧI>h.Yp2H1cs|ؙ)xf@dI'+[MaRz]]V7,8O; m.„Xxa`4G 11=}xbp.B1B*7%l_Ӕ;} wM5<ؗ\13DDŤx 㻄:ܷF93rn̈́Nd)kL:Њ:F%y vі~(n ^i3Y<`T$Ŷɩm;]|ܽsV>ƢY_u#,Ee+!x[T<+;Vb) yVQ,/Aي nzk+jTLFu0x`VJ/23ZWze#h]s :+wZ˅6ogj=w TUiJ93˵c /ʼnq L&nǪNgLXo֌Wb?Cl۔vbMMiNJx#٥bƛ#!# aBڨP) t+Df4MUĦm["Bi#9JcghZ_.AC?(-]^`K&~-h˩?@`59RUkP^#AJ+G̸_}BH>C0)X{ω!9%t aL)" __} w GE" ;zbA3c$! ?jHMZ@z\㗸aJrbAxnm@ cl,TjYM_D>7zUϜP"xqlz/zdAEP$r1  "xxzkQ֗[7K4fy2tq°noO[*,@wg`n3&õЬwwZZ3ݾor#A^=1I9cob`ipp\4ɧM f Ǐ"3 9yL=D+-]fOiEBNunP._RFxJ{qV&1Y6^z56TZ\vģX iѼQvۗF:q*ϡZ yߋлdo4/?Ton9GJ F+']8ݠsK% aWzᗌ}e5V'տY.,sy9Egu3è'.hf̶LjtVoML@ŔYQ(Eu a vg{=!6骭h<#O=S"r^{2JSc-xS:ĠZgJ<-O\Rꑞ.se6nXv0V104"Ō?6/#P&zBrw-UIjGui0z}p!|yF3ԾOt˰$Vp L15ٺ.gd ȪTAQGqAݒ(d r4M,sO"AvG_l.u4Na1}F|W'"(\=«.(P3%35</ '>D@Vh-׏qI5M3Qc^h;&(G 9ܷ}J@&'Tʪei~W. EW5uhPoZ7gg@۶J/#Z^3I5Bsfxmx2W6<_҂Fuc68t-2kPRPXQ$BWBd]wS+Xz=e)8p%ypW]O!M /x%EvG 'B).,R6?bCFAD"%7l226M*I W`7\e!/C&'Kg [::>1vT麲5V+Ŝ2VR~uP7gy4n  CYC$ dK&P2\?4`rUPgv?y( ȵ$f|œ-N#W}}|JOb҇!1Q6**Sev>_8bU#3}G:2&ChwgF ˴YxE02G&TPtsaVHM=gp3# +?[ĕ%[ 4 /!B0µ?730a(>:bj>T$Xdg r/ zVa& x(|6xԚv%aXG4o7Af{|U8a0V&ARGrlaBt\JVMՏը mNm ]p}U-o.^<* l:薒M&΀*h+~\~f@H3:ugO?),DTz PSW>hVᒳ61_6;X@eLf#{uPţBb&*[⧙6<3L&y>cjuSct:I"#Rf1R;Sz{|iAh"*-1g'3M[=;t>Iٞg^Mhնw*'"E%0 biv#ܧTFrsMV=n#|nA?dͣLm>;,]7,kZ5.۱5\E):h&:)5-JGa1Bh(ڲtd\~q,&` ,Цˈ6P=mL.N;T-Xmkwٛ WC*år53`f\ttPWOUD '}Yd ͵bUai=d^w-$yr:󨿎_^$la1hnM$Wh~WiJ̕U]wR,XOv-ORpEDV{NKR8\FQ웗G'h 4x9SEPAzㅌMNTkCшYc՛ f Hq3 !\f#?z9!S\7Mj+vN0ZYqڍʶ[7e̦/dXZ-OW:7uGN~y T 1񥦭01RqoyDZqYd@hQem +dsJ-m (?JÖ5Q7=%L6]ȌCE֗)ph$[gD/ꄒ/G`\B!g=PÂ"~7~M`A!mu/j-& 9F{lXv|1"Y8r(7(G8O"YE)~dVVCxFIs/YF/htG+I8iqC\vVYh s{T%qF*( 3ePyS h+*v*e)_Ҵ `"(V/muQ WPUuك,o_6WXG!Wp~o`3xoöPUc {qnrUB|]j߶qߙ6ȸDu ꬵ7hXw:::Q?1cŏ47^w!>1`FNL'[)ǻ:G)A ywom2#؆L>\?o2lMWNVIgNiQIqU[2fz K"g Jnĭ9v^td&Rbܵl<mFѪ 7oxƷM@ ARapښbLw1 {+<\lsLzblL ׍-YcIH*jvWМՄqmMƇcY J@ "\>KJOiԱًgńCӗ!T#<[c.H++w _Eͬ?zHހ#}g-0ɞ)*yXy\G}}]