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 W!t$  ]/ NormByEval:threads=4elapsed=21.740cpu=53.572gc=1.2727zXZִF! "#]ŗXiɟH)0!h_AdR3Ĺz3= \|a͚Ő3!lk#OqcP %!#{e5b3dm:|+yՊsG1Hj*& $뷀M)La7aWB ȥ@u\p^ǡي+2gu7OY)T mj]M=5 fg+hO@Ǖ(^88XiP qV@^|,LJZ»nk.Ċ{Q\cwn/rBQgA'@N4Q oы4s 5+lQ1y<1"C7/EPӊ tRVaVF,t|cZ.7{wO^<GQG?7ȵhqV~h%Ve5 ( my+"T-yI\ D B Z;,>j8辒Jɺ泒[S??HIE!J.\FɭD+肟b҄lG v8 E&n3 .4;@:ķNV)=hsfo_{H&[` c(.]G'Qfrm -E:Df6lDŬz+jW ¢Os|Y|sA,D'#ϻ+ޅx](&}u99`s*wzgZ<xwb`;[M8,ۭ@+TO56+.?266;oI]͚apn+-BTEDkbS__Uhy`V^g$fuBޮjNMXi ύ[";dYn z<(n}kTXAbH@zb^z孴17YZot%P`)\@/7aT*]=V5œ> (qL a8/f)bq+خYjqʅ.fֱE'EoAil ؚu;H=.qd^@)|nJ5UO3WeӽP qoz݀Cf rI"XAcnlBTD2Nl*g$\X2#[gQk&+S(6vejcvD.`8<1}=WcG~85 a ֦ /~#UZ]NLKv}e%MȈ =ky_Ӊ og|G^u;6@cqJF ,bXmr, 6UzpI2B+k XD;\' :2+CYK3#~Tý$ߜxh{?!F~3qWE^":uiyneHO "4o*B?7XF`ǺvN2>e>/A~i2Xǔy B2ojhb:˝` L#"}['|D{4 /x՗ * T|P~|yȒN{d>Xj\sܙҏH03~7˱ α"wCsQKJ+@äS-a0pAʜ5̯JU5Y, ,y $% l!abL 9Dң$)kEĎkl5TxZF3OK1(@lZ\;;`9o :;zjz2an²c_> a7~)p(IN@oŜN/x"?y aO3s1rAL>*y"W4mWdZ&S#<"nSZ:lfU< xP "'X<r޻ O͂ \Ky܋4O9EuWNgd(H>2}Rj٧\1]2 M0WZUFjk ormeo:N)fRɣK #njٞ:+b,4giEis2 /~/Bc3g6>+A6w8ӬDzSgߡ w:htI?i`-(ߴplYJ"FXZ+IPiR1ej-uGlӱ>|5g&H7MJ^/aV&@'[M2RTJb~Ҡ.F;sӖ 6A ]wSGFNB/j:i1~ʻ_WNInO%8,e_AyLd{ &Sci!}j!DቶIe-PM#=$>Fx@j,m)f_^o"x7$]w+O~>.ᝈ)pC;* (M\ԅ@7Hk;.YGpq#eOfOa(vcUv*_@5  DJs"V|]&@EH Y&+8.UMp=as&|hxWv0o>FoWA$@oBAL D_T|X$7(CrV%: 4}S ~YeCti8q˶C5*+4ߡC32 oLPh5JB Dl*֠윮N(=$*SQ +WZ1hg&?9'z-{ (.ogϽ\:j>^].kuRBw8ɖ1 26y} -9=fϻKRe ة(M'a3-P h%eZ0Ll#b.CIO5{m8zݲ)SȻfZkj{7f_EhF Ropr.aXM<} `d"\_uzBDlk-Sͷ{jt#O %D[p+ T'uF2J$HH6"?|5̟'ďvQb'75y)!<2d!'b3Ȁ|N,d?LB$Ca < w0E0}ٲFhzOyYoA;ږqmPg1}YWag*C5hL@2Ӌώp׆r:n czly@$꯮ѿZCOhm lCl ־)a$Q-3dayI>1K-4Xe3 S|-%hFg-r ['?ha L`HBj¨ Fɗ,}@ _0Wi, !:W,.̃hr cAU[-s3駙'?r6Wd-6"^#ʎخĂL9+  }36*ZDB[V~NnsKf9K8"y脖0 cf?='|bl=TϴO~c`ZD'P6Q].u)9謔@|`0r-(HgU4 ,z8 H^a#3XbE>9$#HGxk> #ԛɆx#Q1Iw7Ο;pep -׋SIc$ZZ5&\ G$LwTC'i^.hw2McPH$KXN堛fu"3|(13g@j2K;TFە[]vGE}/E lc v`]@ql.8%|9LRG߁'pZZ=&E~3'hL0T/1I{;&e`CzRE_5!. /2mTK o4c9zNtaFjbqvnCk-L(Yx0,O]d?F(5cķ>ZeMn?4U{"_ 3rGXw*bAGe :NLZ]Vii1.H9Q9 7oВtũ!=l8Q#gc"9*UXC<2iM[ϩZ4C8QسG3r)Ebs V,CdGj]1C;f38o; U+N gĈAu+m^rrNrc>؛?Th囍㽒~;b'?}$KЏ|I8.u$-}aj?ofv~!,?*IOT.E /y$0R?pk9ViiZZ+T"">*s{Yj`,y+78xPdYH> .VKvbҲoh tHoPa?7]X gǕ-1Y 7%>$V= ]*p4VvT8b?YfD͚يa^[s002^:G/F6 SEy 1![ը+Č %iu"<f={6KFڞW)eƄw`'/:rp^Z,g y5gA4KF6+cP-aA,zK_Y[ R&T9~G& ;bzTOo{au|{ydB)@Gv|8dv&LjϔY< XᲮVŵE}ZV F&mYmB w _o&V$΢Fӵڄ #1rXbSz*11Lda?uVl~#_D@w?6 0\1g%crNz S}XET;kC >[L$5~2I_"qTwO_@ FWBf2I*q[XcjۘP G3#8̉tz)MOHNVSd9mv)fZ4$5~&ÂHc`p8qۺuWG2|Tu78r21j E #~rkF<=l6(|_mjr`06ᕞj(ul|&;#ohQŶL3. Ka8g EN~{LyL#}j-Z]ڐ6>%3/9w֔` ti|nhrԁH#hd{KP Xmjj'=_Lߕȧы')z[Vs(A8AP.fE30pCGUkblt7.o%#92 63yKD1ЅCdlxf`kL'qYq{"O3&nm/Ջ7{r2d9\`K)_#d ~0zpx3$s0S`%4Ojc -\Jc SĂ0 =AG&KWԷ *g!VƎ/e+%ufkE}E4MԞAxx2<+*<"u[)9 -vs[wD; w;N?A'iE$m3#P9+YK fʋuG͞-Pz(/$%'ZXrzͨghۺ-=ƞO%KCg*W?%'ʑL1~֥~jJ nCHݞGf^Mx0+3kHmՃ"3}^ Z $ bWv2n/[92bKBȐ骼9h4?//AMpo'=тH"ŋ @%H5!PO](35-T7qwO;NcU]b{_y Yeꕍ&*6(v8hʌvś|K/j%L!-L1رTRO<@QAJ|O_9sSU爕%P'~?N*íjR mMwPIBnFa4JMIfUǬj h(A /JH,[|HLe8oR72#rn[S_FnuTjP7pQKFezb0JM7:pӭ}4 Λz ؼ)~Lww-{WQ0LWKU(\K:\I^ <L- MPFm1bjBԁ 'F VT U4?bX s\TVw#Z~n>$\M5oMt7KҴg65MD9_G`f y#LRl][}'ZOa}zjQ-p)wB ZcK-&*}z@A͙Fן4skHUX'WВU>=m:CꞭ 9Λϕa1s[Jn-V^FbZ[],_ɨ;g2PxؚU:Zsӛ! 9g= g&)r&=~-R^nwx! +*pL)_!D5Aq'k(/dua p~Gpf9 V~1,J]/LD1c !웼>rWǰ85Qȴ^=Ţ4 ,^^bf]%#W?}rV2\ 4CC8yg Sv| /WL_QIxSj+=TE^Lƞh$ԁe__Q޼]|Z7)O~v_p| y>̢tH8K2ܒa=YuE&f4mh=v+6c>\"㐃Jq^?/qw\uT1&mL7FM+ p4lXHi4UN؀:$cu|~0P菬. "QˊEahOVP*3`d}>߱&/6D,dliNŊkϹJh4bçV$Fv;2NH+Dž%p 3Zk (-Utb'|uA(,ۈf!C(^=]P)Y'BKy/YbA tʧD}h=]8G|i#=1Țfƿ5r8Ty 7 E}:f*>f+k8ADV~t8?¥DL,f=kK& ^o#.o"JTvi9w*0(O}1.wrhPuܔ0LZ+if?rCL[eBuژw#:2&DjSWd9'heܴ1;?\,/)`)s$yM>9Qb[c{&wqA2">pTϚoV=~coJJS1pmWG. wQas+:l<1NJ. V'j}q lR0G Dg7^oǩgZy}KNn7!|ɷ_/1=A[F8X3P1,W璚*:۞rf ^>"l5{Cvm4}|`(:Gz>z1w6[OBR'%n#DrӖr@@p"ZjT˛ [ͪV9sѧ>y"/SzHh XFY9-+`uϔ%:p27GH3bSv$xs/f2L N(ҴEFKѓdԘK EԵ=?LH+*F[K[v. f y(02O! >τ96jXuf Qch\.ے&i:|+=$ 6;T/,_Wg)z5GGN+܈"}*CuS0K,QE=L[~QNVߙm!g&to_hNCsOt*mkm|_bʻb U%>:'C([ [R\t/p*@Hje5 AGlےrE,Lo ~4Us †rDT ێġX)I͕(f!%KUƾkCi$vxޢ%AlKZ^O#ide-+҈ڟwP"y`zl +*I+p%q>Z"ζjIԜ͘P (1*K8xDLBehx$JΊ([)#;,z 5sW݃ sA{ u_,d#l_]: !3y ė r9hcd % |=oOLcQw{ʌrMړ-ś|hVdsP aĊ 㕔5]n =*I+ #f)MJbTcdO. )m"n7c.<(_xð͖L޽n4XOT.vMf!T^]}< F;f 8TS5B 1?'$fu1,F"@\צ4˅3g/2TP2QXTZqϡ"A]|^r,^8ͷLs]4au}]=)`r9{-NmYP~Zmn@{``0b\}kD{yNX&3R8*`5F kkI_O5YGW2P O\'5yD*ę$4Ĝ* jb5C3Dy%{w>DKv@$S> c #gu bő[jJ `}A%:MCY\s*2UC_Li\pɚ{tW"X\W7k7Q ɝL? ׂ{W #܉ӱҥBa2r#A"0b9 e3HaJ_;_2uSYw ccZCTa of=?s4{ ^wtM+s hZaJ{C hxNI' 9dq͓KHK,0D:km }a|n%1RIڏ Is%6rqFulURd^68 -0 [ԭwN x3m/x'0;,v=uA"U{͊H r-!$<Ό Һה] K4*=m 1N.<Mvh֦gH.Uя4 ?A, huVo*8lKn*@o!D3,_Is\u{F 3nLm~4v|W:%UAIٱ/W uX%MmF1hpڀ(K1ܷV2X"/N\M0gdU;[k*Χ __҉HBfiuWb#$&Ǐ\#)_f/TD QcyclFE ~1啻}=ה8ෛ5 ٖ @=zЪ ¹?]rz܄%ptW^DT<%ؾ++$Q 0*Yn@\M)#J s%%Ufe$ T@-[ JZq(#1|ƀ Gˁ0P[? !~; ǗA O S=~{]zEbEB信?Ru!#xCϑW9\]G`1MӷEMTiQ:opbq2XFB~ZxL#})$C9eGFQ~}c+;TMS{v߂ :MJmE ٯV#PcsA.*?mf)]f]V͓VPeDE ;_Et6gM}^] Q\'7Rk)n/}"'AKfN{%O6!/+SXP."Z7;d2zr3hʝ聻*'4i%{uT QҞWyzJahX"?<yvǾ#mdSWZsdXʼ[oOV\r{i4d| /*x"}%검"EO[z)rU mS9;3O0|FZl8wIѤ0u%RFx3>lIUx)lDHG6]j} k˶hԥw +8LáJKmSKW!BhIdONɾTk\\bwa޵iU {EK9ЊyUkhlfNΌ(5)eEh()=ii~ ̓ )kx3Yxoۖ{kLuXX+.f̑,Z^^~s7:=J,22G"TՖ[A>j~49eM]s"\yg=V"'Iq~0{!Ikv`ND\3 `_.Dyke_gۃ@-A)\Q5 ixjnЃαb|{Owd?QZpܥIs$b<~Fb=ϛO.-'ճώ KKu>K]Hv]ʺ#Wu8*'P& eO)J} qm oAa1vIb}e\tYV|!=ؐ9wynkr_F4s" $c9za\(ھ:ɊWJr#ʘC.3# 6?>,.*CCXU'rs݌r*"}w/[XPD8|g !lkEcyeI[EX$Q1t[щoIYp0^@R3nJP,1c_xJ xg,6Ie= Afy.~V16q^Y;d%8/3 WaG Z',.@:ǑϖF4y)nۀ M&Z`Jk⼎G 3Mr˜_֩7=Ўۥ|9GUOUh#lX7LN=Ԉ̯4bUbR DU?WG_53lArqp97HOf,k g5 dۭ~,6ڒU;Z7 $#Lrk/VF,5+S؁ 1 <[?w%L/5&25=klWbQ~6\ϱ"OiJ7ncZ|cAP蹒ÊnU2Kط)G#@\A5/[ſ[En`u"%gp~(LT0Lv?@%Ek8#S"27[WVMJ]0?gDhT/4l[3gNgj(]s])C09 n-Ϗ -ND&lf=jR]]1u:ĠϸЕk1p։۟D;D5>({%l<j@G~hP ) $C|F >z*)ss:ߊ*-G =pZd}e*k`3,mb(o< F(>R"#pF2H􋄯l!t~Фy-2 Fӛ: -| 6ܽtOq O%{*01 wEb!3s[WY1xf0 tJ "z@ͧ0)|ltdJ$8A>?f]T0p@kٻf*Q/c;ȸ[sP-_'AM?|>==TTL:Ʉ3}^In{)9]^&Ot$9x`PxʝD<"Ne9d9 v.,(h!ڨg2a<<.{ʵ7{B<^z2!_{S۸瑦?jC£hL_N\\7A8@͎g]!$IP hb4؇/[6&@gB{5u)1IF֊-T`&{ye =#) O3V5+VijI#4Cb@mҕZMPQ0;³~B)l] v1g4jURj2eI dE Y6w 5 $ :4dҮI۩4&q&y. MyB&¹ efқ; I=tPvs>-Yo$9Z X&j\JAE)?s­}&EbHU^cH_MP[^Ovn` 7\Up t.w3J];xk=qqcmO45+Qnٻbj>+1ή‰U->狓@U;rX(u30SVE&̥8I2n`~U̡%nX, M9OPp:~}તlg|;8??zWܘߥ)˞D[.!N` N"2u~?FY a cS5 v+ݿȹ:=nҐ)_o!&Z<]Hq!tiF })W=Ut)hI17T@ B[ x>r?BJffς2 W١2#hcÎك5`̍WhqHtaWvڣVޓnZ*O*0\h@ia9IY;)2r8!f0.FNW"E$փCiE +=?_w| oO|:PW$Fn,qgϥ^.oO,GOŇ%Ag&;l+פR MW9f 6N-~#B~1~} lS[9Quym|= >(pNSs-. Vr4qHB0'N:q" _&7Q> AkdYumo\jS}vN˲c&Bا塙\bq{.iG_u n{p*TJef1N-VL[xiLH倳xcoMi 2vn}_F^F? =}C,#* Eݱ>Os钋IރDO[I yDc][|~ǜ?7P}8ŽV:+0FuiDL&g萂8 PYz:BM.P"jm+ZxYg/ʳj`:ձ <6c_>Ev;Ҵ0e$f]vlƳ0ΊO` u9x\"?zS(mtwo<+|h6^7ETzIO*>-X;1W?؞~"7 $a z~,%ˢc+GEa3 M94喱s*uHpJPvQ09{\W0jfi@\ouG&gTiAU|S9#&8r{0TYlʜoj-Fo<} dKw{} AM_kaT{6H*A{.}3o蚹=іJIp WK2m4Km!Ia +"ƞ m/۴~1Da9&xpa"nP\h3z4_Rv g;RP.%qE"a 1*ʾ7W DͅDŽ}aA%>/ OL`If-M)0Ub7w+ Fs$kt8V"}x>ҝ;EnKL*O]G-%i1)S2ϏqMV?4f5)HU9{P p$}r2i N?$j\JwBY"W*2gjEҪОJh)%5nY)MҶ/͵cJh`sw l!s'm؋a)؀Zgk/8V<|a'yE8t' zq0X _)9}$vWsY2nZMXC&f#)Bv-Lm&r;Ŷ>Xiw#eE' *R&#~#l {o pkg_ںFjA$:%C{:eʋh%Ѱߑs "qD`.y<^k}sj҉69f'K|&]C\֘fITExۨJA(W`CАl@p6qAG¸/瑣̿;p <۝-=FFBԎi^L7۶j o 6aZ;4~ʶ(8ń5SIAfvHoO頻2!%|aWXs%T)l9tps.cA%},"XT&܏Tp+z^c^yLJEzq=aL/[Be(f4XDPA-b\ЮVtB-© E{nW.y-KSE}6$ Jvf ̍ro,V()hjP,1Bi @hڮNWlEV-y#Z_y~L6@@\rž :<&v" nfc.إ4Y(kw{Tfo׾C[=U8i#gU@4q4lSo02!:2؀š)P|Mhi!6;l)# lMDgҴ7(2, >0|allwVӻ.^Ox LOdFMta@^9cU^b8[͕->T9X~/Ph5[<00 G3!GSi7V. NzE~^[H 3-ZE?//Y_ԎԐ.Vnc)NVa w°S:9vEGmChH4`f&>"MkCm=Dr+p(Ɔ` ^Sytb~,թB)Ћ;P>&|{ Y}Ø4Ef6ӅbnqaW7b EF7?t'$b0ur ;{ZOE wHT 5NOY"`L 6Ǜs[PQ^^MPQLg3 [Y/Xkog>'i5`s 2Xi6ȋw0NRB^|$/1R >>Yȅ'Is-7%]mvb&*$03 d"}3ڴG>)=2U%p0>߶̥;۩Ob&5T'HTxZ e%uEEˑJkvn LC ndt3cngb;7pkq;‘Zīvy" UYʗeh6rF/cňh6X0 Bt# 1x@2`SWV;ʴ~e$vgFV \MHLxp`3Ԧr U\з;Y#z!X渙HEC.6 #/luH=<[Kkd$ib C(}ňu g 媆5Cަ{ 5*,WLbvن$!c÷W%Ǫ172aN/}OSNЈ|V]0 Nh h)a2^$Y)ɻ M#Mĺ g*u|Ŝ=.1n>&i:⅖3o"aFBIHnӲUOZjaøX?OS4 }n Eh1)gE)I?Oa6{J"U\ T,Į9B -h/"[}Мnp0\F:y [usBɚe *%J%jaBsZ^ تJl찬ms, hbPɳ6֟Tv24}&W:IFlHCu.Xttcπ.6:`-]8|_ӶW@)f!PL{6o:,I <>p!bY"cz^"6:uiGz>gR-|g% SzWCCeIX D7h> n1pnbQsCQtӕ|gkk&"`[RNJGtӹmvsE0u<:{+9F^4fn:3.V|i0dJ}I5TwPQbq+!J/\'yY{̧-:| |~W4xhH~j@n\W1 S2'MR >*x-؆`rNW/[+)+u7b6V|0P;P:1[wm}w!;̩ eОIZվZ\ϗ1B7l!udѻ .1SgPEvqW.vq&i5AHq,69P w+yCIw%6Hl8vBgT]nm̡y ؐ->y'ISRNzVrNZ|]bDnQ>(kl\O|Q6 '_5t>(z`Xy耆n{/)P-9k;]eY(ǜ&>l-_Dj6`VtL䂹 Cy+~Dh3V矣ysžɘ]s3#+ʌd۩Gjm@ &ٙ1$iFL%0n5@Z6",qG;ydvd_CoAe6zbT5 SX!'Xݤ0a2rbujnWQۧU~c3hfddlm<$#{h]v,9艴jLqzDB)d j]WPl %ZԂȖmޔ$٤1R5Cb.L T(qh*?;&D'bd!ݳگ:,_k"y568mxwՕG bY!AҙqB-Rݦn=7̽[IVqhV#<{R}@ 3m 3FT$lTTL8mȭ=ζ$k ZJƖ**-IҼm>~86)w#fD/g:ܕ#ܷE3,RA>ܓ ZaLF%n $A:Z r3 YJӓ iyab)Bozc !$Hz@O-|=e=7, 2)4! q GsUMʏ:Bt_[ˌɆug"8U^b֜`ד|qW .!юRm g0ҽDּJܳEnR ": [pU 27!#B3B0H~B"6 ^mB ܷNİIs .`ݐ`/wt_Hi~&87ko"usFAJNO09!o31zG3o]zο7vy.T %Hӝ.­ij_gb7{jh񵺅G㌹)`eP<$4b*I!}yW[S eg&ƒ CӚYs;\|U1ȦF>3M߃CyٖۜjfØY۸47p18'fC뷦6~_$~w)y@%9d\13|Q9 ,$;-zه5EKTJk?3>˓%q;i2W=M<>Xa3!Ăaee1uSCڌp_,``*N<8(21g6vSe,IatPzXG;NVkI wu&E|4I>{M2V'>h]&UWô+W8+ǥW5tVaE‘|X'H91G\BD6-SdFdh&">VtZl`)A_ ;Up;m/<^XjZm ˚}W.ϖM|drY[pe)q=z6 -.qPJs9=TF_c_M9hi)kC#{x:- I;裿a釥r)g"jsOF{aY_kտT ;ͲB[? NN \B}餮 <5V:.23`6 5VWLϼ xHF&Qz0U!'J/o۾8ɰLڷ[܊-H׹}'I;'XiˌcJ}~†KcU.ƌ1}X/FZmllRq- V>z@4@^VtJ7o>QL͛"lpEn~'m;ͣτ¦4c.79۟=+4}2js[SOvg/-S^4COۡʏpvVC?nChR=cE闖GTReBuBHL~_o٦>_PM{qV7 vsХ) ; |z][\㨼crz.K5.6Agbnp@i y ߐwʄv" `DMifW$3~r>?k招ɠ5(l~Yb>G*b1Q8JKfC_qYCYTd [ȰmÊfxC97#[k?^ ׯ6xXK9˯z:?xW";dRzk΄窻yJ3zw*NReV\>[#L4E%=>,tˁqO3p?Eʃt[f%2p!w3]@q3Nh"yjf 7j& egOWӬ߾t?"mFex6an yOMmt&.| U;77egK=wSM_߬ FdV]4fAQ X|{HH;=>1jY0&t^ы&O ; HL֙-v8\1yfA[CI6:i;c)>2-+;D^/bsqT9RXUyQ_ha92OCgɪARdvP&#(hJ݉g짊eb;ǝNdK%-"xZT&?Փ銭xcjO(s={e+MJm+ `Ug+V}n&.XvR̢~NX ܅7d6H|jjh~=Z7Ē[!#wLC{/[ʣ +]R.Rӎ"펪Dz Vw/,A21& &RF]Y?{:a6Uk~5BLqpCy425'>+UڍCa3Ap_ޯ~d[\`FQNX:oFF+-/ %M}>j߾JsӱӶQWGζ٭"='~<%[ܗr*pk6^ik $ B\l ^ѴN2^xv!S%HTј+9 sZ#ĥYs$˴JaBHl0hm1UuRǃ="OMߑ41|?ێ6צ/1WUC8dZFHd.0p a]n(_1!ҡԴE '97w XpW21/gI51l.oA:@@ZDY8u{zgiFr&֨{fLST]6f~`C-˃Xnc:D3|`^B]c<)lkM]NƢ@bjLS ۏf-bzOzZn~sw[>&TO Z; OpCq@kr*tA记KokX k^vԉ| [NsFϊ&@EB/4 HO.r=̹+pj@EǸ47`[CrT]`p5`:q2.CU=ޓў!Ȯ^X,9`FL)V|6EUYˈBSQ]7=&%_L'M{dYʂBrABưf$ƞ\ 6KH>U;乍UQp * 4o*'x+u# s"00Ĕv;ţJ "fOD^R  3 @ 5PG)dAmߓ?{vXJ%%rE>!hDV1v4%-񕭃MbW2 \-ar6H%3g_q_;*+) $ =$ @YX.a()i,ne;ˢŶIs4I{~yÂz;:ۼ]X^̟}b@Rkn]ZmH)ꯛmSZY,w>6L}ر ^r ,vZ@чEݘ GNaye\=:i60Wf ~451Θ"u%GSsSmSԫre׼>f?40>r\@%R1TtKUMޅxXD;x1{.m(4RJԲsmD^[&-Wv -F*kr8+M!ԩSDܽ鲸nA*NZj&7-sDL6\4YۛP/x!r=y= )R`?SբG,IK0@z#P>қ;/EF(Q%,{vUK`SgQ7ۓa`/*wM*=]F- eɛnh"-d>x5I,} 䄿O(ڦJtN% zEB cǽ-= Ԉ5~dOWD§,`+ PV>aP HF]_٣KX kT;#]H4ƊB'JlfX*r.13fsz>mk/kr@65#$PO—WcƀŞ"(p9颷~oqb|Lq6(!ӕϷ|\@C R2f=,3)!@V- %{Il -~zWYJChq @L&ܴ l c!EбgYZуVG\z͔;:A?aSg.-5 ^Vn뛇_De1fO.-(sȿi0/~4ikK{z3pPMc% ,CcUu"u(ك(Qlx\?bQ R&Ē2ҩJz5 ܐwk9(.f5L{&6F٠XV8RR(fEta$jɞoY7EB!R'"." X>wԱg5}%fq1M5%*VIȆ}m[2ClCLX '}7_ q58I Ա̫p=5a`&ԘT.JY̿n- rO ̇u7AG?94 [9MMĈjDV0HQ!WۗAͬQv!ҎMeZpy ;L"tF]T0rqÌB+Eh̯R $7qk&>]$Lc3c) N_>-H;.ӀuJ?F>z<9j<#Ⱥ"uC2D)fgYZ7zXZִF! D::name=NormByEval.NBEelapsed=10.753cpu=25.804gc=0.8165<E]E-#%)}YZ7zXZִF! ]ŗXi%D4 i58T% 9 cn󛲣;!;W4_Ie-1gǶo[.P#ܵmW2k9nh%m`7l9Iϥ+,.oQ=YW]PfRQ+ObB:Gื@z uRi[n8)@)};bBZZbDvڨZJ: 3w; ?'`b{AйYm:5Z#|q֪#CfQN7$.t6XL ڠ?H0y\F9Ib.ʐIorv"EHMD ~< 'Q0UZ"Zzb &6h7<-(fbg"{ C',mdYJUZa6{ϰd2fZ,{ŗvhmwO~z84!Fe )=3ݻ+lϦc[ Bs)V#&}lΟD0m@(x?//~a C,#(jFOdU\f JPX,VIm3[af \M7sK2~oc/ʜ H\bfS=C| 1t ֽfWx-p9F7~Gԍ?4XS d Yy8Dz"=9kesӕ¼'8osLMBP˽{NܮlD$gZ~D΅`pيV;W73!kE3^ߴҭv↌Y]|YtU +[n-%-w r͔7vđ4ɯB_?$Dq6Ԉ Xy>r@_҄zP*'0Dݹfgti/{dj3v~IZ`X+R! s`#niU%cDWv5ՊVӮǂW&cR:^zl2;{Lan"a?VThRc72"op;BU/  W"DxeI"Hn.|{-@6\8̍d ĝݪ}S5I9F'ZT$6cٚ?ɭ9&z Nהߝ"b1q^ZFl(E$`sȿ΅]xb{rM_yT=9~&1)͉a쁂ߵj,HD"졚JM(h><BK97'uh~V9N.X㴿 f-B%a \qdO&Yo ]g+Uv(agYZ1b490f2c84653e2da5ea837346b9102a56d42fe0c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6