SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   j \,, ]S Codegen:threads=2elapsed=6.274cpu=12.336gc=0.556factor=1.977zXZִF! f]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r>LlZg:(-3CNK͒[eK7gWJޒ zu΍0Bi}Se52L5 n%,?tsU}S/ɓJ1^ka^O^ H߿{9TǢR"OTHXww_(ĕVfQڟ rĬ5rttnH34zSQAˆSI ,ڪs#} pFk.mxixgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`IycoyWm)ɘꊂ;Ml!|Uϼڨnt- oRgј!a0Cn; ^TᆜwRg\/L;< {ꡇO6ofTQ|/l:XxUnE01#w漣]A@sSgD_fX1gYZ7zXZִF! 8]ŗXi%;["9=Cs!1}n6n(Q7Du(,O&v@JmF!w% yrӸbRdǎ]p<'UR?V@"6#fas'sdə:mxF{Kcála^`_aՓ5\lTp@7-71 3DWFLQx8DAEp=ArG~[FewTг#twTIQتXz{a lRXV6 ]Ԟ=Si\,US>Rw ?/` V88>^]&.GV\ϱ 0Q/s*ٕlRjgkOSN>1DW5 'bIFMp YI4 a KZ RyRF)\ /ciejb|jTpJB~sҩ]cjFpl3 F%NaON}%֠\zcBZ9o1Le. 4t4:>88Yϭx2aqf!XW2 xg%7/çgcA9YI 5–w%|^ޞgT5:y55ԙӖZfuӊ> #Ρ'2%hq8@6$YnM݉ H?:)5'>fy9gYZdbe295b8a3a2acb9185dc44ae142de91ec47a71004546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69 fd74a6dee3e5c7237bf3cd94c82b97c12c86e062 4348cdb38aeb8045d614ddc714230d07bbfca471   Codegen1% \CodegenCodegen.Adaptationdocument.tex7zXZִF! M']A-MՋhvG"uIBm5z g>qT-^ if~wQvƊX,o:Q$%Mqߋ.:Պ X.`6=trPs<;?W)fJE|esg.Yu/ڳDv`+_zu__5 oG,`i?to֦4`-~u`A1o,0<**kshR ~a~jԂfP?ǃ$Z EH@iSюM`5OzD2x /;g>J{di4w6` ó3tfS.u!&IJk۹[Q^  ɒU<#އ Z.<*bq\;n&krcSA%pOOKf+"JMlΥKdAB.k5j=F3}᱉]'RpE6ܱo*RhqMT ꩇdnE'I1\ ScGr.Bڒ/#RAAGwuٌGNJBL/Wİ~ Օa"/^FJ F!eحsO(ED(v4,YO+@ 2D֖FBsL^801V (@Px(^i!{/jc$y5X7C4km_nڑ W6q1%mPe q4Ӗ_| uy1XcRCI,(JoΌaeC WhjqyBDm H1ON̖2* ؟א @[(Ľq'ɐb ;_}@op_TV9eW;Fd6媼Cs)}c3k }a3j]CU4<,T~3"Г@68 pޮBsU?E rbX،A̷;{RJ_YwSN֭1)]P?J Ea,4ezYMӵ8 zAW{qWm+z Dps ɜ=y'X$0oHep:`ig?3[ϔV,"D0C|D9N^mHS5B13S5#4FJoa* ڦԸ0y(&X@y46XT##vxL"bΠT̸]CUX7$P㪆@˛UBdΎ3}6⒃lWw%LFAfP +6wj"wu;5NvcSF !n3pSDLV&mzK6_euLEDg?;RM]$QH-ݘuP +rWB0Dx5KeIHxo( H"{ǭL%ؚ nZu0sWv; oBY`$?9kYY[#25EE*;kFSMCH'K z aa͑/qB@D6MLSDPұ!4UMq8QNU <-ab#>#d͈F}}?j'ق}Z וc'[ nVZ*թE4zeԲMT͒EzV:LK&TYmv',1="h,/P,&l^ʒ10?ꎎЬã%v^Pnh28p5%@>頦 a8CRJMzL Db'&#d0#^b Xʔbz;w5%M4;}rA OJ}ȁH)e=g<,nB*c+uF^.iR^7|F6?1] *'I10fEIs B (v pOA BS,"m5" 6֏Ϩ-3 yKg Q xR63PdMJucAn7_-ˍT|3 kᛐ%Y:o.I%&&aGHx:#V|T V8kKuGnZQgNaEm{fY͈Qd:/&!bL ']+f#̬m1oTfcB L5ߡӁ(fh 5gDmВ;xr_i}J 7[1I Gl/&z0@?ssČȎP|W㕇L #9uZ pU ʯv^&he5vb*lY?UiϯqV*rqf@:*Ҝ%wIz*Ɯ}}w ƾjsX \;.G+2wL*2Liw&rDMu3ݜHwR'}XʒqB/^h!r1c&9cT( ڱ hB TEI||Fd)2쒀If "]빒)v-yt|Rl܌\lKM[ð4zs>uK=Z^U۩]$[E3EFȽK L\I1¬-ђ0*擒bf !-M~ 1;N?ŵ씈OefyҢ}ȕǿsv_5% lCodegenCodegen.Computationsdocument.tex7zXZִF! ."n]A-MՋhvG"uIBm5XJ]9Kv%pGﭵ 213Hj$r(_6GdmqwKm͂2zg u݇589[8΀Kl=Q n:wXSO0j|#PNV~t_SȾ/_y(}.Iv}XJG.\L7Mn0Nݰ>2ɤsai3 &@2k&Br1cG27!^-pC' K&"*RAMR-V'gT\=϶QK0RfָcT&kLSt$Bs>3wi8!Ti: %"6A@WFȓPSbVr:n%E_!bNcE wWߒ mV+%6PۨV E'|Hۤi]Ce\ f )9   zE-5%CodegenCodegen.Introductiondocument.tex+1%CodegenCodegen.Evaluationdocument.tex+1%CodegenCodegen.Refinementdocument.tex(+%CodegenCodegen.Furtherdocument.tex4C%CodegenCodegen.Inductive_Predicatedocument.tex,3%CodegenCodegen.Foundationsdocument.tex+1%CodegenCodegen.Adaptationdocument.tex,5% CodegenCodegen.Computationsdocument.texx 'tg(+h b}]UJD"b=PPvY]NkĜGvASoXxq_-$?l2-Fr6NFɥői s vXV_WQq~ze&xmؼqQ|MAvAZ'Y;/vuwͧXv JO>JF EIpK B̩8#n|vؾ BqhoxM5Gr@#6?} s-Wos^i_ۙdF3_ιUSƥIdP1'(`r@.[ܠA<'s;C[`s|T WY'[eJ⑟NޡwS^x,1N{_$d1=6qMe5Z-ɥ9Y=O SS&h"u)-ىr#etܗ1!寮i" 4^ªHH*253)6!rsyQG zuiYVtF1V2.t輩۩l&YL$OA-U|n1HgAl`fD<_dtm|Y{~U\!K6a/F4>to"A:#;IwU{ydܪ{uԮA漎^@[v?z@`oe?ץTq1o1=q!&Ywor/;j\w?dS]#2_a [)ezzv%v;l 68DwzAo8)+ea׮xJE1\lV9얓ЌŤ=>~̖hHc? W?!GK?# &|#ɳL2}3cLw/6T0 bjK,LcFn%J W*@b=Hֹ<4|)]k~JmᜍñswY@b]e~r{ҧ!ޗO7b]4멬03GojU}39pz~m+CM,eҊڳc"VOK^&$w!1:ч`{V7QߦXN#5)M&<}j:]b;s"  '"6k [Ot-S5gx3W#&&[fq_G>LWJӇAj_z8igY֬ƍ`U@ֆMw9YT8gg)WiŸnGt69-&cƑVB@81XHI%6 >Dy^GؚΜEF\R~;x`C dE+^4/K`f% qDdO6 {(ih6znfj%hTTzY+1696PQx$sJsBDw 0 p=?PfT}= 1X<\lƍKf%'_ZIdj6lʼnfsp  v^ q.z$c+~=:AnDqD,aCྷ?-ف\"AdH[i!4(  7y(m8#8@|>,~*iNj45Q/50Y2d]Lv y J"@"`L4' <un&P!J1hB$Η' t4_#k'hU4GR_{O%5v]>}rmtVЦpCBVr'LA6aO`ըڅZ-O~wG,F<7&d 7`o߅ u|  ]u߲LMUOvZ\ /S\[[Ʉ_7Xێr'KC%HhbRE7!~xӴkQٞ$+jqovC]'cՋ%$H06i6Pt2Ѓ!t)n(=f!A41]\+~4x@º[ YBcԁsʔkl,1sRI]phL^mb^wu G;FR%^:^SE8%u;?Uدn~ |zr2VB7^onuc|#_};jx q|_IKv)eӋq브pup_aYfa}[5C_tDd#>YR˞(+@?89#QE&Gu Wj@[h {v%u;X=˱5:D!^hC i(){t#6d$e)dtrh{H$bDkJ*G&ӡ䰓OnH(} VWGlyW(h_?(M|Aؖ~.sDUĉT 8ͥsO?dek֛q aq79OLv\V< > ⍼:T͍2(vZK+VPx[@9[sa:7-gJ6Fխi)Ta[_jhqM|bp-~ F|t0389sc qz$р4=gLoaSiX\v}i (h7 !?CѾǁxV\2*%U[ɣv5w;^bY_L"|mpBaXA.NG4PR̚:F/} j\8\/kURZʚJpB(Fױ4dUo(#{7q`m7~h ("_CN]眺^{`P&Ce{?}K qqqd Ydy>X߀QdNRq8<(Q⿻f!-jW-PK݂Ɨg_Dγ:##@nGưJ=˧L@RBja`؉ hKv |Px?Eq|0f+ʐӶa^~1ԑk]-5;x*mVٽ}c!bDow ~7i X O!%oNiyw-BNOx' ȒG!ǽͺyEC'GAg 8ё|'/yƥY (1~( Y:9E)EE vW +m{˝BO$T`8*/x:|YRSn"ӄDqnYM|\N s0 I'oc`|4 =,h4@k]Iܓ=x.H8T&F&OA b>lY얛sD>r˓\8C NjE%m04#$ѧOq7:xoR@s=pu [uY@p4Qm(iOZ3SmDw*]FǖD dLݣnˢT񸜴2ν+ʴʴbmF_Ϳ)R_ȅ*y]J˶ iCt5Oc (ITZiË;Sn`ζ( 2㠒mmS 3Kn)^J qDWcmk9w%0c럽H?h00#E$Ntz:B |2T vxg׊Odc˼|e#Fne+wГ+W|tY+.Xlx Q2ەaݚ6|] _Y]DorG K0 )rȓxL 1nWS" E"+|{rǨ2FBkBppWFtm0/_ԼP#6GBk`տZ4:=WumgWoev[Jx3fv .FtPjqc4do %RXz!nZU޼PKjV8X +^ 3Ĺ^ARK͛_*gOq#  dՋd:0aiEx+ e{*!$F(+A)jF/ HF GBlyWj{J4@RxPPFHf?e]7|dGQbg+2 lm\> &Bzf 4Q>ou0^R#fGP ”]-X3R $co']{yC.t)?j,Xn_-r9*2}3y7Т~i>o>ʪǝcP{kGH+rp,t&s~գϼW$5ѵ򵚺ĥ,J44 .>gZBn؏Gi I(Ѭ挈߇>^J !K3QF6 N2DP s#vY@vE{TB@~Nz3戙v:Gb =y:1+2E# ә̔aY@jTĐW5OHɉmROQ>~ɕ5`o\.,Gw7Y*4ĤaLեy9;w{>C&}=*~Shu[o80HԻB*M Rrߗ㉘^ωkkϧ8߸[*|;vK9|MNlj!q]&hɯyT2><^4a[)47C.Hp΅\P@gc.w6Qw1{x%*!{D 3xNk11ןT-^LR?;t˹l(-11`W'CiT m'cٯG9d&mS7[N@f->]ZlRZSK3Z/TRIY8X¾ Ȥ]){\w=iNKNeøٻLi.94U|^es&^F 3IeK\U_'cTֵwe;{ebXwx߹|Q̈W,@}͢~_|:N෵(pfvk1F4qҹ0s Ii ceY=&>en!W|;zj/%9펤JچcMnC&W%nCʽ&aW[%15jZף7O&٫ )n+鸦><$ܔ8z\ʴ9" 7_Y˱-(_[Y6ث$Ȭh[%@5H,=biCLace- #!5ԫʉs+oZ#;~x km 944\"}C _%2߹TQȒ@r8ҟG|Teyi_yN.OJ1)o73Yg9g2n~_V5cH Շ^iM/dqPIQy/K+ccyS5{*"zdM%W>&S@fʆ&RM t= 3nt_JIHU}Yuy@׍c t;%k:>NkX FaM-]{@KQof`j~(mmaݚBRh8:te.\]ЌZ HxHv-^D>3o qAck/#9xMD\nsB[QdaӦ #EWKŝ=VIx^)?o H؏^4 K\,LuOxYj#a2f؊ϩQ#x6J!60yMmYl(:$ FZVmj6$~*ވ-$QUQz #KzjToRrb ~K"- {JXMhO :#B3bZZ*jrDX?RBF[L{Úc *)!J_?=us4QrI$h#5\׹m@߷`89Vv|8|xhNacBL UD5tQԳ`_ ,&L aL^ '" WU}R.)Jg #.~oWӸj+o&vB!.']T7TT~c lhUlP7)@똎<}GkIΑ5|# oPS #t\ h4m?f{. /N:[N_> W"](eة`5X|H_W\װ5%~'5dښ:SF2G q)5D NsmO(V`q&β3PaO6xqR4:vRfm]<*p *~6ԢF(y WPB)bozG"I},2C|s.>;˙;YH쪏kc*ήHn( 4[*0ݲ6b !lm UU-ғ?FbE`◊nNi|r}N4@&Mf*@LJ GvmFG硪wxqBs+榆 PVVHBG rn#`mMQHWwB3t=8VJ/gu i~lט /-=hpGbT2sz lVPc[]qI ,zTqmڸDjC~xA\:FcN,;{IdCNŒV, فKcrh!Ŋ#wzN+VSjzžf mjI+䵝ե%y|'-DEjW$ ,_#fFfkӈEG~G`͞ן.a'oͶ)Sʊ!&Vk0LMV(L)zs"۲q$oM\p;'J؜[e'򑾌hֵ'qC'zQ1%(z ܭ EQ WWaUe끮Z]PvwT\Ck5Tie 83@RU%eg@GˬL6VЪ^=+"X3`U#x~aoY_+PSi=+*EעXVf( UC793)o`s4/bY7ҫ-VA?|yJ;X[+w E*ou6C F}GD`AC4}ܗOkiKEdc_(5KO[<7KZڱl ˋ3= ZWrh5PBvXU?Z8ΐϜgYZ*EW!tY)n<&M0VfBVEq/T2SPWDKS0GNn@[HM AVwNAu]`ULd7g*'Eg$IO+VmnB_md3x_+)_ i5{BF HJ" &U2?3;|>զ?\gFKCtlcݮ#2{;~qӻZzvEh eN&XXju$CLW5f[쪎$v\Eq>q'_U`lCeM)]27 MI[aOFs$f yl!δRDMAs̞]!ք#O}p#-:u/2JJD5ET^?wB6! @@[}hOi`,&a25z6hœUYۆwX, Փ.qi:T')3kze0rCC/mY[ 8NQ<[؅juoNp1na?[9TOƲۉ,fn[:K kC=!LXHĶ6c/%-Syvq*d*LIS"aYϕ5Y@#."lvN'[*h0yK\t6+);SU6"R?cR"5Q`#}C_ m/A]3MOXUKҜ $+i`N4jpiq+{s&}} hVK>>nqjmOk\> 9`kWa Iw@ #@ $LkHH d~. ; #tu4Gx3:^ EЅ0s#K (aV|Ë{6&T`ȬupҊlf|1g1oIuҜ_"~6ҷXE ;%Tpe.חp´D͖ 5bG1SG`x}E䁾U;z#Ϭ1wS;6 oX#]Kz.;Sd}O qA h̝Բ\.?C}E)h1]>2ͬl 9$'pi;-T4m8;ZW(?EB`/͗4>M(HpT vuM"Ih?W^ILftIlj-+!$2 z2fYd^bd`BXӔ O[-~l?Z ĝѣ-Cp t(4$uz\?At451{fua< ̕jAHF8%+S'Ono;$V(u,rW* ]}Xo4;i~>W:r+ڒߕ!r@GSt su#jTfM+rjm;æ;џ,~Z2_g +N]/1\زM`x(yf(cb!a0U$V?ܱwOFIz ['6`3Tm$ Y[b{cTGӤQs˲XgiUzBŻ :Lg\Hą]p:ۚs; lrk\K؀GY&IRnDntpZ%iݩL;FQͤAD?BL ,740da Aj fg_2 2aٛ2,VoR”VYH"qzU@6&p`mtUm{G?M !!$ y3^-ah14r|y4؜A2k"ųx?BG%$na3fR {P4`wzBw;ᯨq={ث<"m/AIA_K e,~tT{9Eң$:vh%Wg5٩Κ)}1VŢɦ ~hTߞ0P-ؖGʋj|p!'.i#:%GoOka}Ign%>:Aw3))xSPxx!?'oѬv UlC_{݆~e^Ffǚp gT_҈ܵ ŢOq.SF|Lf#`c ik 3۶‮8ʨ]&%N'f) G=iKGVrXUq9?DS4*S\tdN[31)$h '᠓Vĩ`M`tOlR5B3.;U)p™ȭGjwG 5i @o&ub LNJrO=3un%X_vq#l݀ ܪ.%-:IB;mL2=+ADsG$wt#扢 A.ne ~7BY*1P@[ lk1Z!]=pSJk>AG3:S95 "WiV ,}=]ME06y`$, )i}Jb bo^SM F.n ze ASFz2a1o49"}/:YDuӝͿt(^ F/᫥;2X󎡨joyhDPEs|m5u }dkA@-#qT-^ if~wQvƊX,o:Q$%Mqߋ.:Պ X.`6=trPs<;?W)fJE|esg.Yu/ڳDv`+_zu__5 oG,`i?to֦4`-~u`A1o,0<**kshR ~a~jԂfP?ǃ$Z EH@iSюM`5OzD2x /;g>J{di4w6` ó3tfS.u!&IJk۹[Q^  ɒU<#އ Z.<*bq\;n&krcSA%pOOKf+"JMlΥKdAB.k5j=F3}᱉]'RpE6ܱo*RhqMT ꩇdnE'I1\ ScGr.Bڒ/#RAAGwuٌGNJBL/Wİ~ Օa"/^FJ F!eحsO(ED(v4,YO+@ 2D֖FBsL^801V (@Px(^i!{/jc$y5X7C4km_nڑ W6q1%mPe q4Ӗ_| uy1XcRCI,(JoΌaeC WhjqyBDm H1ON̖2* ؟א @[(Ľq'ɐb ;_}@op_TV9eW;Fd6媼Cs)}c3k }a3j]CU4<,T~3"Г@68 pޮBsU?E rbX،A̷;{RJ_YwSN֭1)]P?J Ea,4ezYMӵ8 zAW{qWm+z Dps ɜ=y'X$0oHep:`ig?3[ϔV,"D0C|D9N^mHS5B13S5#4FJoa* ڦԸ0y(&X@y46XT##vxL"bΠT̸]CUX7$P㪆@˛UBdΎ3}6⒃lWw%LFAfP +6wj"wu;5NvcSF !n3pSDLV&mzK6_euLEDg?;RM]$QH-ݘuP +rWB0Dx5KeIHxo( H"{ǭL%ؚ nZu0sWv; oBY`$?9kYY[#25EE*;kFSMCH'K z aa͑/qB@D6MLSDPұ!4UMq8QNU <-ab#>#d͈F}}?j'ق}Z וc'[ nVZ*թE4zeԲMT͒EzV:LK&TYmv',1="h,/P,&l^ʒ10?ꎎЬã%v^Pnh28p5%@>頦 a8CRJMzL Db'&#d0#^b Xʔbz;w5%M4;}rA OJ}ȁH)e=g<,nB*c+uF^.iR^7|F6?1] *'I10fEIs B (v pOA BS,"m5" 6֏Ϩ-3 yKg Q xR63PdMJucAn7_-ˍT|3 kᛐ%Y:o.I%&&aGHx:#V|T V8kKuGnZQgNaEm{fY͈Qd:/&!bL ']+f#̬m1oTfcB L5ߡӁ(fh 5gDmВ;xr_i}J 7[1I Gl/&z0@?ssČȎP|W㕇L #9uZ pU ʯv^&he5vb*lY?UiϯqV*rqf@:*Ҝ%wIz*Ɯ}}w ƾjsX \;.G+2wL*2Liw&rDMu3ݜHwR'}XʒqB/^h!r1c&9cT( ڱ hB TEI||Fd)2쒀If "]빒)v-yt|Rl܌\lKM[ð4zs>uK=Z^U۩]$[E3EFȽK L\I1¬-ђ0*擒bf !-M~ 1;N?ŵ씈OefyҢ}ȕǿsv_5% lCodegenCodegen.Computationsdocument.tex7zXZִF! ."n]A-MՋhvG"uIBm5XJ]9Kv%pGﭵ 213Hj$r(_6GdmqwKm͂2zg u݇589[8΀Kl=Q n:wXSO0j|#PNV~t_SȾ/_y(}.Iv}XJG.\L7Mn0Nݰ>2ɤsai3 &@2k&Br1cG27!^-pC' K&"*RAMR-V'gT\=϶QK0RfָcT&kLSt$Bs>3wi8!Ti: %"6A@WFȓPSbVr:n%E_!bNcE wWߒ mV+%6PۨV E'|Hۤi]Ce\ f )977"_浙=2q |l|%C% lCodegenCodegen.Inductive_Predicatedocument.tex7zXZִF! V/]A-MՋhvG"uIBm5ɭS ?J^+T M&Xqt!5t`/\Զs):@/iĞFv]JcH43"yI*Q |~>v!M(՗+TCjtCc}G@)|;0ECj2d*fAUDD>Nw+i9?:.U3oWTG'S3Mw @DOƵy砮U l}k96yR ?ܽ孠X%LBg-  ӮmЈ;Ycbfza8<7ʆeI]{5zE2 3% DCodegenCodegen.Foundationsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5nP$K'Nᦘ[%FUB2<G2$u^s9L^(4"dYpF+_}ueIPp㴈&q>-Zm2bק$JȌeM99a6p; C[{Gߎ*uw6zG ?g̳${+DJPΊA us'g4F{^HZ|ؒo/:ct: m%Zx-_,k=YN+>l#?:IٲӨ #]B1K_.&KARU`iIa٦bj}+5~Z$Fsc̏yg`Aۺ=JӮmb @/ !z17n{܅m7tC׹nzh & nt;wf-2/N)d&' om tìА j,^Y2z;j$Rw_\B'oNMmfAdJu8dأv1/[__{aπ-VP/< TX1Bc^ш͙ElBI*D[ +H@x(Aڿ?u~B@+`䅚i} *>WLhO䴃KNjKՀȥv%c} Pb*U-?;Ll:ƥS3#Wqj*u8(f}sHF m)rփĝ1A=0i-֙BiG pWeik=Z<@7!#*;OTƑ)]x?@k1ܪJ vu|E';}=h)?a. j^$U9DYlߴMְ$ Fd8^vpc.{  j_ٶ Ly(x9SkC@1e6}ni 0}#q #IrI e(d7|G҃68Sk\7ZuY/@0d١`'zY4skEQKi;=&XTGvcӔ…HLcw/͡HT\adyLLmدS Jq^Fy[UzRz &` 7өBhW:@TĭСdca]*օfd*R@ƠنN?,vuA w HłfAvCtE(6U5hq|B҈Lл+EwWuˉ.~$RA=='/ 4aj,hFc *&CEp?7؜+>mutؐۜG$zxNM&cW4m..l(#4 z 9MQ3o@f~^2bέ J[g==mKs 0.3Z.zh-iI֗m,vh_ISޜPOߝR].ӏk`: r|DJ<^U0BxJ,bgJ}6ɞB:[,\' RU2tjϡZN$v28}AilhrfBPyC(6_Ĝe7+氢wA날̌G : c=8G:vl`dFI)Z1ϟꆛ<+%y@c{EJpYٚA23p}O'd\[y "Sd >2dO~5>'2BxNv-DO#PjA1A>֤anT_/ofi{7BPoj9&Ϻ8E`sj\ĚTzuD U/ qC')nG/H +:vftwr0`NhV)9'RҗNߙw}:5imd< d4?I]·lS[Qת {J6]WZ9À Eѿ }! 8@0~٧ ?JԥqۤofKE;3Uxt:eP |zQJXx0^o0##` D&Q6e`1f"QdNǀ&D#bX!N|0WqBuR'42I|A=GD1da,*U^8{?Vx3IL=f{ՕlHÚa}Bb~\E1hg *Œ].!`2ߕ* IJuDLmߣHuiނm @F/2c7 XJ=YrW7ҖV y9+WRX %M0|B,%;#!fk ߙi扲 _7x;轜  8*a{H):Rl gø_K$>~|.n>nU:5ĸ\ ]'Zp&s >$0 K-$~_~@=PN-;YA8~0X%NM]jHcj[GƗضbhyR b"x)1k[Z`;0 3{up@K|#T.2E-&EW\=u(qxEqs1D݋7Rΰ=Fi} iTd;-vF&Qm`*{ Bm V٘;゜ւ̔Yťy w[TٮK"CZw ЌF,eώEz״sI뺀8oH Yȳ܁'E!ed+ xg.JV 6m | #MI Is\Ɇtd_yudnǬ1a46Իsg)9p`f=T83ЯHD߲] f3%H 5,TB t2 LL ?M/%t)ELyq.ⶂ*KI1J]]8]ye2|F=ON ~)Oʼ~d *'? U{:#StcUZF(1p|䝣zV:fOǂQE;?p,E aD잙 :g_^Et' nI-UH Is)6y8|~ [1#AY gχf}|83!IK)se#TG81צOu3K7b{kۨT%;5@*Jgn-xxj]F_L%NKEL! ߜJ%R|3α*ȢF+ġDDrЖԮH{G id$!ͳxcx!WzRBPr`l__7e ӣv S2O3͑WRNaV5-_\$W̓+긃$~D3|!  G8|<a ΐoa9,sY\Ujg @JQ L*Q]LF<Ԓ !ɬ(cl(-h׍ % ORQ6ֺ N'_60b8AoNoO=غ$ :}թրV3焲~-?D54x Ppu0J-({iS9BlXL2\N Z:Y/ƥ@o|h2!?$)ePRcOC=:7-*?5ÝrÔPQ]2'-p,; } v<՚XgLcz0g_-T_ܰؗKh$-S0*G:(K&4>)HqtVFϜs^ ։3qʰ]m^)Wxb0:%a|@hkd=+~7]V$۹|fqV=[qZs|E~`\ګۻRsKͶ|jg{_@U##qʹzb>XPS]>rYmXI3qEkVB;ըtnU?:Cusb"Nt_D #V*"?p:,pILQɋb,.} .Cf%ogz |5E&t=U-(Rqk3?$Z;/?r:RΠN\^p lu?D1uP3if157ڃxP|O%Ou@M'{Wޖژ]Dkj/]smI~O@]*Qr@qU5ɳ0 o q|0.-7.$c1- q6NYdž\1yBuxLIG:PwŶ^/*|> ,:?mU%Gƙlu.jk%"'J ̀BО8taY /k7lgw-Sa5iwi;aʎ^ ѕR)Ն hO>&v oQrAƒ{jvxKfnJ M$ǂ+~e``@WJNWY\K`J2³馢Ovh=:p x2:[IA;aj8\xfKH7Bٕ)QUvc[-L?v2o"JYfoX4rgw,Pb[*"SR~K.GS`W%O u'ߚ=Y\dM(|vT9]m$1") 0SNj@P @"A;ǬS=vʭZ*PU4} v^ϓj23PƯu (U&r,!E :t# ıgYZR{ڶӏLnڠw?r!)s IpWa)bU.@4g?]k|hѐLE!`,o te6ˆトF4"/Rb,~JX2\f(-%y7[ۯA,Wz3.O#q1:00j์m͊@++UOOSU jg+C5E{ekI'guc[FY//Kp ܯò ecR#}> 6VWzԈ8GEJrk#Ńn"LVt8?PDC2:ŧеw&6WN\5t!0bN1 c MBP_V F,|b:WHNzq RŒa}>0aqҪίj3_ip ,`sW>: K tS9//?5v|54PDMw4vW 7gQ<mߔ+UF*vMAcXwޤPH[=`!(tKFI&<0Eʓȹ,Z 0S /Wԑj\K(^W{e-l3V4gfISSd\Y| TB́/4c 9 B) WXyUW?k3؆HJAzצ+S(GC2n:eGA" wj@#/պZMzq 5BXq m#Q{Ԟv޿^8ZL 烻[\dH?W`(S*mr9Ҩ0L%I'2L*]ʑ dcѼB6J{1R27Th_0]g@.*g:3ưjVx2'k hTY`}{2pDGrz_¯3 ʔWX:)9cHW6 B <,eGs!t+b⷗_9h5["9BћΎ\xL3W/Eˬo*{{~GbzUłydZbƣKsaG>b|Y1aNEϔ떓4i=wsbv% +t]Ib3m>K6n2 C'_>J!t#p Jl|Pe3I)k]Awi; r{BB- 3$bUq*ҽMVe5rc Ufm8-NAYK AskEi6+Ң%#}y_IU1ٿ2D%w)¢ςQ t_6nH̺\u~W1ܲy}5؆0WO9t2p-i SMI'^}s80bƳvC@g^ivDXg;I8jN!GQ)x3+٘0cnB*D"g/n ЂKUW~+JܓFgo7]2*vΩڜ Jcpb@- "PSqfBjnU{AipR$q(])ҙyh'(U!o2I#,6: C#znYH;ZzpDCFRPP7Y?LX_n]I.㍋4n[E hz ³F8h,'FFZN:FN~3(V,e-o{ivޭ2̙^hN"쩌7CVubi!Bz!uM뭪s2 sq4U h+hz}n%H@WΕwԣwX)8q T+<)eѬ5 ۢOXmMެO}Ĉ%gԕOܷ2}'d ,+bH>Ww4N(_$hӏiRGAn]uwmTm#Q>+hbq1a좝ʨ!<1s F60ߺ'VL5U~e:|~]~ߟ XEY%,m׭|'G[h -Zm/>?+30u^oTEgXF0]`坾`~AČ}p=i3y7Tz-ljf!P 7~SYX jI֭Ccq.BUeRvi3玒}_qMsy_߹p78+ ӮVf4ZPd>ݏ6hSb45tA@M= :ŃaV0pmjg+(UlM$h~5pL#/&cevƍ+_uÁu+d `ң1f#E a%YE3ޅs{V[CDUn)@?p'I ƷKXL"#7U0U}NȑyDNNlV@uWW;~0W.F'>+@{PytpMhi|AOwH;ٕ4מW3ay@`TWԕTyR5dekW9[ݿ sBʌroɟ:iLﶰuVN e@ˆe*׌׽y>P~Ϥ}-B]By^n:S5Ddv(orC!hax {a`Lu'O8 f,=Mbۆ!m#;!FN+nb|@6cVG)nː vKiRC7\֌d ax$]#%c6 ;rz+ e6Hy;` D@/!z̝LHḥ f3n:;Yu0[z0湵 JHV?8?̀M['6‚x^Eno2Gzylk)(b3l:ԏ /x=l;}y ΕA\T-"w6gYZ 1% 4CodegenCodegen.Refinementdocument.tex7zXZִF! i]A-MՋhvG"uIBm5N\f# ߃N$XrBփx1-n (}pCvqhiaRƃXqunr܃}R-D;owHmC;ږttf0$S>LB!¶KJsyY?8 El@ FC9ڐ dV̭+gXtOvE4j@4bY8BZLĦ3^Q^z (vf쨸|6T;NSfrQxvA&wy-Q DԘJ+̂GO ha5!Mf-cxIc\Ua4s:xYBl8JJ?~LHh[ %j##j0y ZjMQḭ`KwO.DCZ {!GW[>C07BF ##J(;詝S  H0] jmXaCM#U.+^bGǃِ4X;Ӹ} 8ʗHFAv>DRa_0iw|5ĜRyHӔ QҀJRX3җۓ{ծjZU+% \CodegenCodegen.Furtherdocument.tex7zXZִF! Q+(]A-MՋhvG"uIBm5q`3rhmL&DBioTs]VXr4<ڞPtyHXj|km̍[k;'^Gm#j P&g.~7hUڭ҂!Нá݄ɡp"q#@@}lUF!fK05G:`o@lힶʎtk 3`=_wcu9iףךg;HJߧ DY۩ ;mpY3?kRnLkAkuX`"G]ZRd(jIT(VV\HN'd]S!`6D}| ̭R;\lg͓fGJPb]PMJOa%=yW!bY?%j@9/G2osm{{ם 䨧k_j\g) ?KzugqEϟG0smE!V|BQY`FTDyh@yY/ P巴Q:מCc9$XD/nAw3<Z3~\vZXL+bmJ[{J@sJ8xyLWFM k`Z/.Uu$RrԺ' ;uoKqb=LG7% 4Q cU=6ǥj-( oٚ#noݠ'|(u4%3tRv*1Ipm:*3ywF8M9%\mOf#!C4_NKOlVIVdJ"fJI?\GĬ){cQ̏k.UHR_ФQ<=F7y=~Id '{ y:7 p 88?Kz#^nZ~cnE:x 66GGŰ>C,k { s቉Do|:hvAV f5( KĢa+)e^KW VDXY7յ|(=\9nBVݰ~\K͝$F~YA>9Jr=Btd\HZc$%K@UmODLpߡB8c QF :/5ZU1L ׷s|Jkua<3;|o~4{At~ؗUaHQB孭1 ??-q5AК"&4@k?|$ҭ/o{ uYluLo u`K:ZTejMru!psm}e(1=cwI-އNa>膶I,p G9vJ鮺KX(;)͎HyyVZ*YCm^֌sr%w3\ɘjV 2X': 0o ofMI0~~TT]Q)Δfz{[[ju9 <*(-sjJRBېM|kOg"- ef"_Y%vAbnH4S_I8\!Pab(b%M&%ܮQXcod9T<5%qћY#~H|n:GM>"H5MwDڽ&gJմ>YiM'+YݐsN@9&yP5I`4,1"&>T9@>hʵmQ)hvq'e°wYlu6w 챥|Ln[u/1 Q:C5Tsy`óo6;Cq"ͨ3wY %9Q;U At%~ ފsfp]jA7 !f3l |$S=ϕ?2VkĺFH6|T&&v\)PHwIW͚~70s2%SdyoB_mϙ!&lTOBO">h>&/t]A`-{w b%&{`2- ''MyxDqXtȤu{~` Je16sW1%.!ݨSk ?̐QnJa폫ջ1Hős:>Vs*D$]:/]F= j>sm&+?#)T)~wUUUx0=^>Rs +״I5RWø^p5{I# Zy §:"r;Cު7vL7Eh^㋻XwB{w$H710l& )w<ʶyr7qZc[_3Mb$dԣٳGATAz9 g rŸYguz":ÞGGg%P9᷏8.sLPhaP:ۇrjƘqC\};cN۹u zjx88Hk<'o$ G,wB?j*L7(lۨ81# brQL6Epݓy0H[`GԌij2kR{!G9*^ƬewvJݡe@p8S-̰^Rk /JFX7'N3c:{Al@FD^JM!._8k.A4`G-kRNߺwtr|Bق˪CUb[lPֻ _:sܺ4r;AU}Qvh_xYWnmLJl>LcC,ZU6Ț(+G=,iT7T0hKe JHs^k-Uz$wMIXF}i5p٢"rt\ \ ɡ+4#>ӎytycQ^R5񔨕 I!c,1H^qpIh'FSk,C.PT`Yev˺REl˹?9}VO! 4ZΕZ.8w'FPSs0uxqYϵ5M X쭠"I>I_լ߬CPs_ z]v,`X1)Q f߉AP[ZX:C6éȚ4p_$QX=*'.;+ߞbuFӬ1Z ý8%[/cWt}j5=\}4S^M"l2˷y3V4ਗ cGyxh N,b^+^q ?:qbwVO1׬w=;',KC]X@bme ayCT\!aH2J{ML㏚UhfIN@T:;-B6!l8}BmsvE(?G'/9UC.,a^l8ƸxctDѯF(مy{}ޕ yťq#s< ڣTq`E3l GЗ gq47|>9睇 iugSeN՗5a'Y[eACc]0C_:9CaXJ+@R"6值ؾG7F]QX2e}k6PS, nJ-.crom^#څ~zm" *{&k2O7,$L!r;mFjPi LL\X+kBrGàO&P`B[0 s#s#J)XhTbϰ3Ӝd\Y-:uCj- %Nr"xyR^qLPB*q[ԛdt0iek4>$b䴫 E`' 0!Fϝy|yytsoYbkzL׊tw |Y< 7`rAKoqxy_}?xJ8߅ Q§:T%r}IyC4ZV]_pWO& kv-?CMI% UDkQu?TߴF9="XY\X-x~j-C\DEx(4l`fGA;I8cgѤMV 3@ 9 t~t-%"ZƬt6$:QxgǺ9\M/W`iJORLWJ:Y{hq&17C8c\ 2#K6Nn"gJ3F%?e5$қ:*嵾JِId +Օ_˪-k14j V"o|]-t3vݳex9K=40]Ł03f5W\`y-jca̎F]z^ h[#ñgYZҥ $2,.SkAZ64_'AglSDS%s]rہ/ $L6˦ka;' G d6[FPfx}HSr[ξ.ҢT?g)а( Eo!^"K 8Ƽ2 0\6 0Ny)ރ&,?P8ttd ܒH{x,ֺ_91_|kOZJfN%%2#GyJ;/*uHF>ߟʳs! SԌEsi > jzj.!vG@$ Bؠ^|hjN}RM1iJU k[ȶSJ (SRP%y/рr ͢=B. F4|zjsǁࢍ_'ލ@% ]@}I5״ 9S hOto~wXP]/b8<{>Ao Z 㡹uYYIM{xwj٣>~q dNaaKhLyN8Kj)`duUۄܟ-5{lm %HN>:_]r=62{ )_Ř`ܖc貋G[_pw{kB*8Fn.Qş0~QLZnTbarn#`$"Z7((6c%5c 5*ipT݃y6O1h/}ډwK# ktj^8pLX0*Ym災ι@F6? :+^]ccr]c3F1Â0n'VЧĬnKsZ^NW G ;l_ǂ=(D8_\[8(=Aer\V/ }U9@3g?G&ῄJq^:a kDi/P@ S9 KcR_^+t௕c.~F{K/‰iB;*27cCK,D[N"E.m~}P : i& \ %\jb%JLԗ+di^ %@Ӡ0 ͅb>jѺ_ecY{FI;7o藖JsܳA_ 13sM 'EzžC n5pu֛V,;%vYcSzUNuIf*[+\hB;ǒx$8>ށ5۠ F~5ڭL z7p#9]R =Qq4166Z 4Ayr mR_W'CCV#,85*y! e6/ϮZM[-м% H~N O!&(*Aq2f5@)2B^LjEpۂǣ4 hڱ26$s~eVjXT`LkIF uӏ(1H! _Z*D,Ci@4Ϻ>,u@xdP&:F˺K= o܉ NἑY#ih#AؠMөTPC=cɴu94 `0#=ǎgfPܗKv hwnerw%vQR#G\'ioMn瀽imȭaiwtuьdG R@+ )FXb8c5?dʠ^#A*Gbm}V$jZi$)c]&_y RǷ5l#lg}1##HB:A3\RV8OE+ "cYA螺đ4EW7}ϖҌMes3#! U>Mz_.B!\qk8C\>kj̖aa%\f1RKFނ61 {j@v\|6^z{AوšM۰{FoJ_3zk*ݪ@/! pȝţ dPJ}`6u-$_l#':h_cLM\۴0l3C do/5tW{8M)mr@4j)3>9S Pdz(ČG>k jX)!un`XP:S})b0gիT@9xؿrh1 eAYۻq8- Q-'.f}I_G!9VțWgy=xyl,9jd*۵3_I6!HuZnnj6a0ecbDHru!xMw7 w,ŭ3"K[+%Jhmzz% ~ܵ\D}L;=JXA,Y^ g1ajKV$wRw/e[n; aGu٬ܞ͕DZmљ4+~C*iHѿha}='.f`p AE(пzb\*j#gR':C;P0c Vs ^GyHZ% wR!./ku/*rmyfޠ#90 ᬘN}N׈ CBp#N3p3E89QtQфK`FKÁN`HCX|nw-ħ~ N=舯fYi zC˃oUmwNȭzh?fK0~X. J.X^{-f &lB ?L7JH]f\d Po[8贕y:"&$;A+?\%ş1&vR~ Uosk |^l 3?ϠJqXjH҅PZ@WJo'eooC<Ɏ >$5+/xNgs,jhb+FR*a5ڸj0lī盖G^~{T2P8[:UCoXMuQ%pd1EK){|WV{{3wfLsx8CQec6DJkyW@^|SogG&v8Dg]ZnڲAٰKS .ǯ*65"5&FƮX? j]A&̗ػG,_h+D3y~{nN^E2n#s?sct9oT5WV`$csW,D o3;s^{ =|y5?,r)gYZ  ^5% lCodegenCodegen.Introductiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5 8`9*j]ufP4*n)?jeRuC7hi(Ak9+,?BMy'IXY=('8VG8jyr iff08M,@:AqAiQчg /ËxW;N)E:A{AԔ닱5I? ӘyRtMKM[0-[ х_г."V^K*6\U% t ?$1X|=rF0XB38xV)&PA%SkK;fFVyxԆbIWJǃz΁P]:Psհ7`yP]j`29/VfcsŗqFq$| )>5+[Y_49=F (bƈ9r3;ӆd= bF|?G/GFjVV|j+CFyM(Fg@q73/cqcc۬`yN8 OU7xZ)s%?QEEZg.*aB`uFP$i)EEeOv}akqq]D8 N!/_f-@x=>YZ9CEzLWr|[@4ê<TjrdNLsWx|Qt# !D%#=[݂a$jd1| p_6>b_jӤ_5I7i w1\En&!\yGi=Ux r˿ Rn;+ G;zx0k)g(An$_ڼʼn0 erxfHY:àfx+0:l=M'o|9۔.eeж8o?F. BHەp $&LLhDcd\DTl--Х(A6PIFC n H W,>^~{)걳elM2%w3A't>Tr}F1@[y!;&B@|5!s8î|[]Kj$0ͮ:eT$L+KoeƂRs7% AJ+{X֑xW> wb^ͣu^EȞ'j,q+t0sΠh8o>1~jC>;<1xf݂zݺy!8keN t-㠭0bk=^gxxI_|Ex-ʷe,$#lpjz&*PI=w#< EXˌG'N`Ǔ|cb<4RDHi_d{ƴȐx\