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  V9~d<, ] HOL-Datatype_Benchmark:threads=6elapsed=509.832cpu=1906.116gc=692.2287zXZִF! lQ j]ŗXiɟH)0%oߑ{гʔp9p ,S),]W@Hs&~Y\y,[8uI`,EMS?[x&G}qlu>ǫ]ۂM Pr^j-H{94cvwJLuLBV6j*B}.Ur4.Gp45.' ;ұ|I~w*QK=tMosE zV%61"^Q< ,([?8ҙ. |FtҺzd<|q ]߸Itp0BM׶ǤkKK& (@oe~ӁQ gE c_a֓ZdNًVt$; m 1{ c(F!!br:ӽ/0Bn _Dӫ̱{skt[;M +,ŰL+ yje{) >;2Δu#8ҋB.w'3ݓMh[*J'ޫZ _&1y8U2X ~ KI6TL©cL|8\32 9 HOL-Datatype_Benchmark  /,j VYQXsUɉNl4Ss [/UsrAr:+fRG*eI`Vekn566t{|R(޹y!6eZ)oހC=vb.[:?R0j7S(SyO^푀z:F΅d jn4@j 6\1fk-[{]j]r-Hk1Uw'& Aߡ+]Nx P?%84ygPx}!,tSdqI`+ɟmuLc31yVTؓ\)lS@hK+9 ΌO€4lkb/򦡏C M]Q[؆aPd#ῩOjUӶSGGH$,q|ϑhqr,Ը~m@Fb[TP$_f,( R Kid(oХ]sՁuDV"Sh\ \:z)\b/07}n%\̜YEj+2G $F]'k&,[ ZݤF啌aǎ.HH3iJ>f?JBeEuMl`v$(TRm[SYdޡ9˱ .fx ҕ(" H` ܾ)|l@ fV Xf(?M+vw)h:XMvvi= l PxMh% 8yhS@(h[wVS=Es@DI  IoE靋3d,< Q!Rq\s6Cx(,27 \kzsJ:*c`瓤6H{C1kcܽƢՑGb#jA7;imN#H<=V:0g̎WWf-mfeFvţKˡY_ S%oyXty[TJGOo UP"W>/ZtL?H\|NdfA$4PJzN!%PK3ad 4nctHr1Q.T0ֲT崜j)j,JmwsWeD]P+HH|:Uah 1MܪqcŖ 6˛(a;M0pgYZ7zXZִF!  ]ŗXiɟ1)*u%9XB٭_Br@}%jPw knQbq=t#qߺqKTxoG됱gYZ7zXZִF! #e]ŗXi%L%(9S^Y;Ǝ{GqN#G2Eׯ)f-`ѵJi^D'uɀ cE<ZZbbt!P3ꇆxY$gi I%0^3' ^N? ;&jSK $ZZ_10fL^ 6YxX8W;rb񓤩[a S~o]JIRs#{e+aB}͇\MϲK/9]<&n~u>:@aD n qI#: oQŨ"S"oygTL-,D#[ _ p-9( (UM0ޱ鐾x]/qex$WGk A0}ȑK Fx->0K0q 9!SZy nn YRc8Q1!1jl/ԟ\"[DB$fsi[YPA{Ǎ]q cbhxm=\ޕyMZgE葚*H]1ts=jlf L,/2wnRdp)^RJ"_cW LO^‘o ׂ)L{kGu=c60cWNꄮrLx!)Ɲ&!$lPZ]Z͛@60]"Fe]$46Stq3gBTO?87l:bߨ]A 4h`K4xY}ku"W˭i+)jH\K;}-7S(u KֈqtS^ס 3պf4:mU%Ui$H?.E'61M\XXtA 67LS@{mp"i0dԺ6ИLːCmjHPO\gwNyKYBPG[vwQpەZxY̽w^ Ylqjw| eo_}lga i</\xN31DOErб.#@3\DLJ|̅zy^iS7XW}a82b+ 7 k#rږ<t˞+DzJNKh NݙTd"@UAktOQ~Ca @D^2fy/ؚʈd4.pJDRϸH.5:I"Uy'&ɻU lf;pVhІZ&{lǞ-ګ`[2s~._ӈdPOه QxfҠz$hzn/l5~Mkod橇2HTTwj˞hk( "f@J[iVjJ*,,q-V|bIkԈa.\pq(IHAXS895SqWh#2 &h4]|'rܣJ/b޵H,TP|8n܄FݷslDgֈ% ZoS\7p?r^E`o^6$vj8zY5ruЄ[M@ء]aE~[MioNJl6ǮF&H3'Ӝ2a]|9 !畷 TXbV,Va Cx_@O}9k9 Lŵ ,lDګ*WS.͕k !2i.Rs}0jz7pj}{v8/LdtѧPhkcTg9߄Z>O~ j8(H8ʻDxK3oJĴy9NTM:0l1p Tr&s, ䷍* Gک!Wk?/5fI/Td;i\{/9i7Ry`J|5pJT+:꤁CUE g%MKlH;sߪ:bˡPҭWdJDБQs/rv0\- ?>B!ά֔W:y{~>W>jﵢk o*>^t/\dȑN4\ n| &H-0 lWIYnuPvdg՗"P8=X$\N=)T2! X!b"uؙ/J&*g.!u;8[EѾ3k '\T4Ja*f(Gn/7? (+SW;z0nw*'/gmM6 4k hȠG-[/GH`u"NJ_O1@pډoQzJ}֜P]_R=``s{: ihf;U!KQu_8=}e\6ENJz| 7@'f>8mٯ,S:(XvB'++)CYBJ"B/0pO mLsdx"5qk֋TW0<[]sEh꒜Z!m$Xľ*phzg0Ib[lKx=}8I牚?{t7 [}Wxhc˶9{xe?xĜd\sSΜͮC :)$qĶp>pä2esƈtc[cXNHjF孚aЙ@˝_CػL@݊)Փ9Dc/iƓ1@\`O4^8l&~|KA6y( pݑ >.pBAp6S"Z(\M0 Y9 Wc"LrI#D "۔Mr[Sj`\"]4|w݋uKd=. <rH(N_j "`hg&JN^a\/!9q/ʰODߤS1a8!B՝!oAq{!( 6( #7=0dßW-j0R(y"ҩk}o !rrB"ޢ6 LJ  M PxXaՁ6Bfo%컭zL}9`;dVٴG3 DLVU/Bf 1%D#*Y2t3g9Xs3|9-Pe(}*gOJ YBY(J Qwhf.xB0/N[ZA$>-’U 8W-s /}kndڬc3ױWM®oPJc+}'} NAeLO0wQBXRf%Y+Ql626?8*=&/[K> _,Qb`_ SIPưy)()/]so$h5OjfЋI,dMȆg=QC:QWu*f" (ط̏4"Iol9B޽$?t;dg;7VB[fiJ{dѼWVU]Qy},If[[ vWh$(Ŵt3% \yV𒠢弢e{Ncseյ n>+^ü.Ɔ=A0_#M.9*͋k9v%W卲yв۰B\᭄awSlNҭQ(?ePUqyY(~,S0~0 6"?cȍx<˜sfK JkwdRݦ#dH~:cBk_C6)O8.9$$2Uj!hLdH z)uoǿO"ۄh q>->Rl-< ֑m8sq]o+{WC +"\cC ޻8#s  lRH±A$ngۚ]簹Ye#j$(HW]ճJ"Qm[<ΈoMli|}$ Z)Ɋ|e.D- ޼DlkoY -ZI#Ped1(rT0i2?P@ 6"=ϊ$\;M2p,ayЩԨ/d#*vkӴИi a숣^NYIN983M;5D-ne ks5!\nDclnt׾?OUT[0D72t_# O$1T>N"UC5])-qR iu,"ci3MbfID/1Cy7Z3*cPZ#mG%tx! :ł)~ߋHo8_@^T$l!%9S*I\Ekͫ6#5plhz6*dǷ Tamqc^53_Nw*$< gzd B]1@ȐFVvH E9. 1~0_I\A'V :\C>MZe`g6-tZ(g1ISĺ}| _O#b"sm?LJOXtQ|fZq39Rb"@TBV:UxGp$] C nTΜ;vI=]]"9X`[ghZF+F6FE}m靯B3C31YR2QHSJe5m^_F*9b:bݤ.G6.mGJ6XKEp 臖 q _}f5zr:†Qs t=$0^|c`O{~vH3/_@@f!%oKimK3c487(ƚU +I"5j џ:UvXsq^w6ݼ6}<鸔)f>Ms$RI#cs7ֳ1_aYr~ܛcyb%RCG.@9LK{i?#լI۝XEf<rp ĂY֏Q 8If.AT&oO^_Wl!yv'!X7HM]pO] 8.ػȤD#5Ql)F GUdO4,BWFIr-Ey(^|((2֑ {ph=rg2ܔ6䇅T~}Ov6&XԴIӅ*gmMx?".O MP bÑ:?^ůL:*F zzaT|1dEXfΏ{2jĶ^c !MY>$7H嘙Ƞ/GTȲB;0Zc]+`! d‚&Bq9;5+A^zU9WéE7@E"=_5<-_;pד3Y,].;.G=bݠt hV{!"H012p&z:L[ELx[JBa[wU[+3D31٨tL(]t{)gYb逪I_;bYwzB@9FrnQST;xofch۬٤Mu~35?Dql櫒-ǧ~r"9"}9HW8Q!u.m >gLSG)[y|`DXN.c  dP0@ .d Wra:foAOSk5>rkL _j3ez/Q ̹Yeo{v/1%IH*:}TI*AޝatFlq|(8i6pTDT7AB`O#}V=(s ŰMsVVy$`|XBK $bh  -=}<}к"վ+29WYY:e0<+Ѹ.sa%a8J_Y,req: PYx>r8݂}:w7JKz8>S): 9uq{j[K٦o=}|U Ȫ'rw2)o|ἙvaE_kق^7?Z!?e8)<#♰jc=bUQ}6`_$z1=͟O4Ak+e Z5zl=Sg}?Lad+g;y3el܈EhZeht R>C cU6Dy =X3k5"% zo|jJ, l>Iuh!yoLuas<\<$(V7&Xp> 䅷DЪZy YeID3/I;z|O֛JJoA]484Z|҂{4/zN+և̭ ۿHkW c +~faK %=E:R}`f.OJ!gcW´ R^BXu>?h~/:{;Y6h&y>ZqlX K? KG+ chϬdQ˫$gk_6MKQwfÚLnGR6m3UJ gs Y.Ň{&F_ R3ߛ&]PN5ճ|20rH3 φ[+c%_ui5 hoΫ"D 'TOKnA$z0ϾWsЭs u3J"^͇$=WzlCH$cWE_>/6p0tI7Cwb-Χz ! UBbPL~j=,h.$\wscmf966Ʃ ao!nQLMCw]|=Fd(9J%[%{<_"G}s//oગ *µ(žiIO*t.TgO8bMvK7P둚EИ΋2mlLNm\tp^0D'HѷX·iJV!mK_x ҨuPpp+kIn?4O ՚9쪰#a[_;9xDJ?EK/D\t$Z{;+R> q=rd$DP`Կ!=Uz]Q!KiI' X]a^S./i6|Zb5.=QYivlvxNrکPCKƒ058 }"=@>`3 cIQ>PlVaI|lrD%B/.L/ {S׵'߀ZAKk%OjƔ1\`>!S- 5P,>Rc*fpS.0he 0 [BڢFOo,hA*UQRpvޢ Ԑc҄ꋚ|Fg'Q4b;wFHq7XZqmæ2%jRfXM)E#hi/I؂8&7qՙ Z]\˥SMIY3SvpK s{H*U)i@Sbł:_j'/_zc-$!Dr`34=bQS5a{*٧V3>}"cL3ۡY? "5o?.nx4@AY|$Ԩ$$?a֢ >|?fRj ?V) nEX?H$Y >Ĵ:]1qtEdEY?דK[O_o|Շ6w(Ĭ4Rˆe̓oޅzhƐ36.Vq;mz~I|})!!%K*|]w~j[6ڏ&y,*ƵE~BcᢆSњTdL{l"Zkh9;K sB84~([#2It6 s,$yG5UAvMoGi*K&!]%`ak&{ ً|hi3BNO*'zė4Om21ar1 '4TV \6Bk9~bC` [;{#s͹3 ~&{c x&>Cn=cL}¶~AuTk!uR, 3Ebl%id) 0I?BCzZb (yS"uM ~7P4DIy zsStmi?mlSG! @OS9[FW]X _{;HpS B^O[aKTϊ8cg0*j yfHWc#q( xk[dʶ 5&%$Czګ4EFpyoZJ5u-/ե x(WCYPBE|eօn$j9=KSQ6kS֋qXc'DnVA muY(:\HşFgD's:4/TyY)gtmLy}r6kѡ񶟁 J~RUڈȍКb[9=yE@Ի\M) jňwI/ܚ9vxz=wO"=NsNF"`Xd ZR]Ң3˔ PT`V``]Ұ:K56ܝ" 44=vwS!gK+ foۅuoz_e@e+-;-**"\-Mz)]PEԞC)@E->=R%ơ9ǔHvk>GyyqL V` ۃB>Z>wIE Zs`*▓1|l&8YQWӿԠPԸ++Ҿ1 kOa-Tʝ05CC8sAYZŀ,PSH?ݚǦ+'y\F SQ"'ai-e8ض(KGirQZrST?}w6gRBE`)Ȋgv$ladcp+cm*7\YX4Ӱ Wpbl! /\r}A;_ΚkM$q8>(Q9h8 "0 4T^^vBt(c⨴aX=O}M8@#V-x&piO+xfo?$ԅRޱ"Է#$>)v6<bm C<[!3Px*m&!كP<O9:0q!MLJfyB2K i ]%?rMT/7>{ik->*}-v$t_fMa]&Є.z`÷beXޒi"w7Íurmeos$__Jh|J#=6d%`ry rk5\ZHǰ?<&%@쏈9ӆ )贲ܒʃP]|w9=.!ȭG*3TytHL :9D'v`=UQ͹Q?wӻ.,e_bt"$5 i +N $PHBflvaN#+:૶(2KY?Wmar$J:$@ ?x3c+}{HfY7gк00SUg<]Jgܿ|dGlt1 縍~lJ_~6h̜P}<]J*EX-k ig#vEg iB2؅l;.9d7{5J9]W0\(ިMAx~4Cpj`C@6dIŹJUL_ N|3 WS .ӱ#{rSoMJ,uO R`=>_@@sJl(IY2A=^Cu"y[%غ,И / s*zm*7ޱar??7D2!q ].FJdv4TgXV{bm;5{~IQ>Ȗ hHNr 3!M̟fWǦu^-W؜‹ch*+?>rF"6zH*~+%h* !TJԟ yY^:/*_6O{j`L77,w `5Y N*F{m )J”eAZ+aD%Ž^\nّۚ^gy(;d%^ beatJ(4Pq-pnK6fۦKv1pŲ .>]5,8dr!;\Og:|}'E:K[ѻM|>:/˕7lU"yGq}bI o@c eDW˃9ihk<cǒЁMq"T)){ǿ >7i 'j)whW7>QXQ_Ήg:\TaC5QR뵬M<&B DY9Zǩ]h⥼;[<_r$ W|5_ui(N8U ί%F>tsJwDŗWފo4hhv1+*k4oZP&'fUw)4֦m+D.̬BE0Xǂ;u柀16cS=aUJĊr?,.Ѱ\S?:{1uk|e8-̍ ի%s*ءz==$+TӀGd%./$lj. Io ׏)j6;2M(_Y$M٣t ~udv%=K3Ks2$0[%ja L-7 -:y ܗ3xcF]l.!l:"I)Zjfɑ;k(TW ެt9M;=J)2# =F! @F1RSA 1J,"|]}aޭOuw/Ϸg<_,Γd2_/Ӝ__ c g-cs1xX6]o8qtQ|gejG ;rh_p{R9\\2㟊e3O7<\dKYE/ h >p,سYytJ- B`R">Cdp< kIzwUcmQ7EGS`vf[x%mM}T,뇗 'sð/ ȥ{Mέ/]m~l\@7K"ލ}a*P%%xOI3^jө*N/]a8k%AqRqz\`P3)` 3RY1؋dI gݘnE<7*As׾Ka ԬN^, 'S{umJVƶOI9hs,4~toe<"1mN6p4VO@ZRn_~ፒ_t3)(mN>z@#vk f Ul;L&:JUO|v#VGMx]yFRA8u$oK (\[C~k@N'K?tug\O0 M$BK h"{V0H:6}D4 xS$ٝuy*,׻elK 9ٮ NA>B}R۽Ӆ>"(4)(}!Tⷨ47U9l)zR[QȞJŹXM:JrB/.^AՑ|a%EUI/k?lJiTIuω>رC#OIXofd `a: "@vꐎREKQTa9pX9P=ŕ@Y="Mh#+%%հDKpW,'qy%;*ńKb^pX90j Hbj*c&2o Z ։6vWܡXB"Mq8Za2vRawoʽ:U.5N üWe&c#`=žLQtꈇuf/oGlkC/]Ҋ A[U $/QrLcD^~ ILqL#D)^UܚU73P AP _;Xq32IxϠge UE3y~'@:?)x_~͵u$ToP>!۳i"M%A5/b+mM)ݓ58hF\x<-$"HfZ9Sn"n2y$;hs {o&A,5au\Fdn<ӢX=vPӄ6ACg>VUk? ?(oXɒ ajjYρiHϧ)hyo Me "矁.ln&+&ܝCGzYu@Vj7P'*E/>ݷ*O|cbH*3O'cVᣓs(wŸ70i~/xSWMnp; aStRVE hM~Gt-qfc)*\W3Z[2r?zI DrI\Z?9oЈ Rnrw͍Yb{o R2{H6+#d 夭fzh&f P:] v\@rqä;L2&QKHݡ\9!~ZVEY^BlH@l{Eg7 ]T0sB:MTp3Q[5(D4DHe{Ɓ tOLnfg^ X1s9C;ȕ=ʐ>9hUIZwJQK"U&^YmVva\\% I 'K()z*LE6 EűWJ<]~gfXkAwk3A, m0~{sg ԅo=]DZϋZl+Oԁ$\ OK`Sb(\ǫ3sƾUfo=L{ n sQ3;v2XcudSC~ v]0^YO믌i䘒wW!e AY`sX&n%bΣHЎyEv9M-3- Шi`caʂRLe rdC5^9S=.Ჿ`xo-n) vʅ*"LQ)˲hƜvcvș)R7Њd.m kQb݆z0{vˍހZ5˹p7Ķ ^k4dT9reiZ`|j.5 _'2Ed& v#:>;0t/e*Mt]`]FXW?QKUCB# m2̷7aN)򼫩^QpuTp>KYï337hxqefxy?G ߜΪ5&%,y DXIꏮmjKܬ&2__#`F(sg[Ͻw(a<ax2ZD,'gܵD쒰섮y7i+z)~d : `V:pi;i7Yl)sxt#urZB*1Gى`,'Q,w%~ !bR^bn5fMfFܮi$) N`ܱ1%8id,?es3ς;x'MY +1~晩0Qb.m1w'? iF/B]LoF6 ) wWHu_o:Lx⓵,Ą9H`⤾c}gMN};Z~l0٧\rt ñaXO^P;$aDkH΍jD'0 5ti)cmY F_nT٪BNF h82D4(3-b=C[g/ēL7y"ԓ9nOl wdvY}4{}y7`3bvmí7pGf~WhP %AipI2&Qpf3Nm{2WL U[-kb,zF[2 gwI Y畖f#}BW{IcTFwW{I˗g(#!Tv-soc8?]hj~ˋ,^&(oɘѝ?rm2PzbdY$=np̓!W-]|On-Yے cQ'Z=gu]ɖó4>̣XQ|>,䝬YVK l;ίB@"Jk;$9hdFqLDsID^ϸ?)Zl\BګI=R$Ǡ}و~B3Fb_qýNez'Si*ɘ0-h 2;IzuO`CzD , _>yK) vJxgCnL0]2zGe, _ΡQ fpAoܒ2Fu~&At+ e]\RۥkބT+@'Xy5>YrJC%g42=k\mr~,jQ ч%:cbr> t?ٖ]_ş숂-kmVDsK/ &tN4| O̿ DwH& 'ssCl9&ьdtxM#=MFs.s( xI %lli-vSDӢTH'8?q0x;ZqF2 }(SŶsõʡiΜO<'BVq1}!BI"bه^lA&I~`3mAܭj%xvS jSv"Z53$5591 1;ajAf0|KF3LNZz9F9zRyQ`(jޭza3 o4%5J<'Ğo\̏rfW]spMVU)׻GVVB-],e24iBaUe)&`)o_ϧig-lxz1}ޓ3OhS<}1Ѣ$[ t֙@)N(͊ сI(Buk܋f7kKv+|(t[' gP~qS"5[)_VwwT>sm$ Q:QTb0 2H f+d>- e >{/vZruBsL.~3*K?eQtR򕏪A[ t蕑nҊ1{ܗRRtYV&\gZEl`&uhu@\:z1ď.5V1+CRZl-?b7C8Ehue}fG@2KL*﬎#} UQ65ebuBvG:6Vg DC8Xk p5aWg`8$k;Y\]vBIKe MfƈN*_y %nB~ 5 ia.X o< _b[j>1fG6 0Fn5)NU'؍s lnIͽ\(HY}ܖPڭ{^^*U}cȶ$aHA6#cc绂3^zC$HQyly%5t_* JӜa8( u.yYRtX_A  ;̓y+t"Y| |>jd6ǮMkj4=' wPsM7;axzHh@0dt#4pZ`b&`{}/?-Јhu`͕ƥکpO3&9#(Ju0Fx'nZu-n3ܴ|̖RE8FP(]'Dj+V,HjøI4彯;TbEAt䝀KUhRܪ۾S&ig>x.nV~aX=Kʂ"2㼵ϲ E+/j漼 4k]sAk6"4LO 1 3r=R` ?Tn1X8unRC| 7\.:_X~H9rO0]$Lh*^MkǞ8/=6bT,0_oXK o+Gn7å690;UU \OQ#k>j T#msJ udV?,'aą/ ~;3G5|X'\&N,_H}[~ݡ[B%J>G>'Q&:8oxC#m~anjMg ۿhΘՓ^X~QҥEi2z4bŷa9~PQAZoK":h=6΂Z3v ? *_:H{OcLc%g:AhE"u: —<5h`8qxOhJ~vtm`Xx> v-X88kRMu6bxTp at6`޷oϼÒ#L ˻+h2n$ag`*0<ŔK.-۴\5QwozE\>/)ądϙ"M ӐzZ.=Z80lů*Pj!["B r59wFAy27]r&#vbo2?`u׋b:4({-qSCewwN]',T܈..1b0 UK2IaBJ8=53J>e3?gX;62jMb*1rGNa[bkW;S}[)xPҁQp^md;e{D`_Afj?bOYUbQ ,&MPA?bl.@WJ/ufLe]feMczPʱꓯ(u8L(Q>/ZA ʳms)l$Z8lzn2opEԣ ֺiMC8;v;+yz]sl`kL Tꔌ,<أ5ATS&_V([Sʴ'u/h[mGȓ/Nw 1DH~"a9q{>SΡ__!XMR>q#T>÷ipL՝+&6=]bI m6$ȥ` ᫀYè:OPe~Zf=³Hn23C˱}n 9t-+ʼU|@a ]Sf'r^h` vv 8DMQܤ]?Ē3ίGg"nbּ$kL5:u:P oq ^t^lT5g(=~[ci[Rs Q*O腼V֋/yoDq=a5OJJ)E;6utظT-vBY@GHTFbՈ~lloyg۴WOVhJ4 *"Gk+Y9̂qrKP01$V5dÍ 9CMEm 39 8Ю6<|H;:~cˤXcro9Wr'% rf O_&T3ǺE"rkQ|  YuۧS\:U6d9 d.we'ڻ/sfE=ǶTRgXa_L#>j{mj# vL o2/Iy珛Ƈ0vlo~/THD/O«pwV}_W$:g ] } ^YwK凾VʡsN3 }9s ~CqWTI1KiiQ5FfPt~G ')V}ֳ;{R"퀱S7[H@_XSMn e&]xzi@kM)|ߑPg_2ZwnC,q )xsq-hԜ}5(IS<7W%Uj[)B|hN ? cw,Sc";h7&rlԫJ.^/?\Nb|bαպc6Y cļZ:M gYZb02afce98582e4e17de18d3e12dacd52d3a3ab611c609249c248beb27845e050608bb1c731bea640 eed88ec53d7b43e3c68dcbe53660c1742a20e707 219db3d16d158c8a6eaa2a55b8371d35f70cb715