SQLite format 3@  .0:  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 we=$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=312.264cpu=1528.976gc=133.232factor=4.907zXZִF! *A]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*tо5 ,EΉ` ڭtV|GE/Ua/:}[x[ۙ]vyjYз<r8r OJ%]mjĉ}gmнLɵ* paK:kK(&LN/ֶU0`Ls>7 q`L~iAY C离؀/ (瑥#|m= X9#j׌R Nf" R,%Z4/pfGx.p$ՒhWM-j* y[4EV nk323;/A}B[PPന v ~uO KXGztY]Bϑ+'m",l\H3gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Έ;X&À+w#`zkʱ Ȁ9]OjB砠Ncp6)7ͥ0`vo3V\Zf )A}.HSK0gYZ7zXZִF! tp]ŗXi%EZ$ńCs}Ѱ|aNX& G i 1hy% Q_M?r].~)TEW2M?gEIbhK R 5Owr!Čh#63MN.Qљ =Gu4ses\g$wTyŘ,' Dy(H7F? V;޻χMYӞmkO{}LXH&ot .wAoEaB_]|E9j+"PgGFgWv, PO,/fRܰsJ|GLƙ =!cZ=4?JNfʹ 89qw=>spKo mCWOd, BOlj4f Q ,6έPSDfA /-ӍnD ::SZV/J"l:o85P:"Ng&E.X`;<ғv 9Dx!O1 tJ/wSnc=˗c[WQ~SZAѱ$yU,{0(%WWc[$+n#\0%4G~aS۟dz} mWe^[_E#ɯ/+Ko]7ZD HqcMg;sˉ1zGzmRfvn8XA H@aU?#fI ^Uw+)Vy}pid$"1:h8lԕ?SoMڗ*ן89!+`y?*9:jȖdo {4mP`}mz/D (M?a&N1>SK)uQ!o 0s?:֟9;YO쉫;Zn\S6 {(վ,.p Θ:sCɷoiqLUF۷&aҩlRlIwLVSWJBҩ稟nSޤ  #WK,WNZ5StzsTم B Tryo|!<,:d.4M#q«7|׌ˌ$l3 l : I<yR{9_ ܝ<=ٞ+VIM& IXTOrWc됻YH^Λstg%Ps5="`w$v}B+pQ1^SV jv ZW^eE<_|\\$h]չ+(邇hq7+NG~z/ E"Fdˢ-2jB8Eq@-0#OT2> 6m{$8~r~ܮTc{9jƼ77=&~ض`nV7 !ox0z a0%;m'>&=#)䤆lx&zȖ1Tkc zxpU[ؐjzv.xfo,8ʁ0 7FIX56ϱ:_' Rt/52Yaf?,)CR p޼?uA:Vg|98eqh1T*Cew|^z+ѹ? vb8Ff3@iQp_ۯlɱ\5?x剐тmGBHwTBWGaG< pyHlfې9jL鈟ʒ_u$5X}ZXqC-;٨x٤YG2mq #+<)b0[H$!4p4g"w H eelr^z/:Of?(b8Mgrv]-3]%ەnPx 8V0#@8a_^~xuc|V %vǛfj{*?Ȏ;t.WO+h0D-FP)6"2QzI}Tp|GbQf,fukM4Bf9fq%kQG-2_|{8' <6!g2_4JA)ɂ ns !\2m{" &S7-ڮugEt9] O֔&>:76o9ѨvJb=v^w >s~hr{0MG`O7Hb&}WNk('$h:G?0*`k$>aɻ#O `yrP'BzNpLe2B|軈KרcDz'(Z*ka {ꁟ{)`⼉ciֹIG3/2&&t! ؀3 zX*i+ #|/QC5z@*1+[™H8}jfBHlժzsj\ ' Z}j@0n9(xڐzIrT-EYgU1=xvחNŎ5 pDS<2'`+lrf*ƬJ eg-=Է UxN7& `1^s?S894K_ud|;B!0rZ/mԝNs+Ձ'l7QV 4f^=((f`q)*_>[wG˝>6yk/q.Yݹ3Y&Lܸ><] xҦ& B^]P:R:I TGRCNمrlJ֦NW38b{1,jdH]8ʒ =1L'@0% }Y w+7s4ccRG9Q^G6_e'%M%OgOr8܇/dxIc5{ rd:IZoJ)&+Y{ķ} 3>ls@T]LY-ĔM~> bՋt=QJs:]yKF)vLgN-[:a(/ףȩ*9z/ڔj4/xdKV{pʂaJ|ս{Jyxcbϼl4P:5 W0\%WlR4G&/i6%P>3q=d Qԭ>'9ɰ$Å]-i)Ha?N?8n;FCb8 7z*n~4m#uAXo3IM*s h0](y/O{vd=&5V+W?Xux߳OYIҋEzx=mC;I1Ep'ͧX,e;剠Ewҽ4:>5KKlvƬ0HLL\.'~DC.gf/hfsSG ptp/-mK~IKBK.N]G[ҵ+fu߇ǀcͿ2q4vAV]SmZX zjoOF ^]$ØeO/ӠAYel6|RUEC±$7n((KN| >@Qv„a/(. SGfEPJI O+),AF#ڼ5߳/a}N{Z1Ji[$w'{1 Hs%,c3}x2I7k7{ e~f`< Cu (,Ge7[38;|5o= S ~Ʊ>:{JTw|-%'F)3X9d ? ׀Qb#O l1 _3;\৳Rm(1#c8~ <7Xf]Թ :j?h}]0M7V!(HɎ.x*Y?|ZP?VlܨY y$8|nx(3ij(ֵ&1K6ND.+@/)Dܰ:s|JDT]zY oʹQ#-xKE:XMf+D8{d <X[Pm+cWk=&w5B/_M61;`:xe8eg]޶dEavMCZO 62s_w4¥)Qln>%겫<+/yW4>"<.m#cm&/@0DZ#s>' Ѣ5DD/P2*OiQG *7םQAyk~AXi=EOۙa@Ef۠ݧ2QRI.-3O~NYX mg(J.QN+%Jk7RKy#S}XDKOu92 F%Q;h>dZ{g\8P@|J7^siL;75L1 F̉D"ލuF}D'ָZD#0R4;g^f*ڬcvJ]Dk`':ߣ |,E= V_Nl?WVHCU].z$>tv ڲJ+̣-/ǂK|>I* dzWZjzyvyXozBُO<i@溒ߵ4%nobF`(N*WJh4 b=u_n279 *փ@]~arMi ;UPvwuiBޅD+[D&IqYbЃ[JoyZ&]׵樦UɈ 7Z)?/Y-HBONvN]ǒ_D%0`1^k&m@gV.#3ۮopi"@e쭺^. @&\Hyj>:1n4#9[~)%h0HtcZL_r| ֣!7?}^) qZ 54W5m /8"+0- ˉ (m2"|=\gUU|):3")U9|.=˺?S׃ɍe"3|=`.rza珄Hu'S0 KCM~3ޢ46-KҷR_34O7\{pQʘrY,%Ӆ0ߩ,y]{^PNR.xU<7HaRӫwP!F@ :9n\ִY stשOmO1?w_ഁ*!A~LۆhЏ" d,99 [̽D{#i=]-P+q{Aq; *D"L5(=,J?戓Zt:dJΞ>ZXcHd׉KޒY=6PK r7rY,ضG_7^nWgo1,=Ԡ3S*2];{36 8kfީ^¸k ?zÏ7a &'!Aoqз]3mT/|~"~++6[JK;Gi.g )J`/ /8wM@NgvS" VI.g-~L_$6?>||z7O.3:Z}Apdϵ[ЌqPO.!k<:TR=`}aL0tzW6v>pPFk6ep$[H7p/YIcV"AHdZщqzM(O EkC=Iu {|K  pZ^fgu=L7-n3/NهO۫ߢ pmډ-8=c/ϾON@֏E<=SUnubׁq-IٓT*wAɶ4g0uP21_ExYU(oOA鰽.8z͛9Sd|K5jr0Cѱz8[T{Aڐǜb7NW^5"Oǁ !<^0֘- ~蛧5\IA&{bkrux~$)PWkmhMT-9rzVS̰4&`JE4w>-{ L/ ?(6'T y+JU )iF22[CLnQ2.|To?nȭ:lCL1] -GQaIc$Lvc1rhIZ}j~pWZ; H=/kv^ܣiEXFl-6 :W;U=d%F]ID8 \Nzލd.^媟A~6ۯ0GcCx;ɐRr1z sQk( ]Wyu>7T$iH7jluIê{ `Ԫ a1W][xgÂN4IQoV%﯌ލ,8-t f8%>t9&}~ Y*Ȼ0LtG! /R/?12PI?ow;wDi|_l H X=r[ woBLnﭮw<,ɇYinqAC3<^O&F1u"20oA' Z4d`l6meյ-L"Y Xm!"~U_Z,; DYO-ULɈ:%Ub\;}:?f P ͌(dzx0 NjIE+>kx45 d"㭲CRD` z5%$|ℷKSzaU'WGbD<56K3Gb;k^|C˕1I@^/GE$RI{~wO,B˳3 çn2@b0T+9<dٌH!WnB u"嵍Ni&Gmsa}BFd_&H%nb[+^mRRqx 1,]{NJ ΥRaZ͖ ~wRBxJJf&O,Whh='D(12 :(fҍDdƍBZ,:!ܮCrGA\<@A'[ne#hIaNlcxnzM?SWhqv2P7vGM5SH;{5@:4Tu,|EܾIFB-gIIZ&o*ԡ-mb8#^MP*wN̥` %EyR(_98% ?-)Z8nᤑfOvEO SIU\$֐9K׀z_]rPݘmg)Q JI;-: < n T]=8&K-XEI+~Վ8^gU38&pK!]Sߍ OYnбi52˺*}-G`Uʝ-wטBeZxłr!1P[qn7.q r1|I8vPCM*}=ƊKJNt1J2oGĠb`.PnSWZ@K,%[vhyv\O"pƁDOQw,p;GN,&DLG}I!P3Շf$WhDE7QC]AA"j/hUaN]*?\烣Xߝ2bVGu>ԺrX͢plUzla)eƓsA|=y0NmIDR;7oT rW;/'McOF4]xѢz[K&UoӽqGD{m'+‡/Z/{suS{EDNqӉazvzen{-w"lP$ 閜yuzeǪđ3Zl!6K%kn'@K{ [:~xޛ)5Fp{2Lfb4 DlDJn'M%nx5 Xq#Rѭh o< uE$8LAe?,zn QnI wg3ʰ@& Շ(U5xDB EP)CJ8)}G?z 8ufMzJiV x)OY2k+X!espߔ'\MOiBE RU:v`Xidߩ']/ZOP!J-3E7uNq ƩS͐XjLDJL wCh>#7)FlEm. K$9ȫ ?;h! pBV:H=].4 ꟳL66i|+o.=-<:rI3BtxǫoDC dD!4Fdq lBl`dv<(e#rlq u up&;u{g6;s@HN]NV,Dc * c^87k?!K]HSYTŬY$Lgne8pBhU)6V5 y҈0q@XҀs({$(mM!] +fQ$1/6⥂sVj:Ֆ^)u%j\,l@vV,l3=-b_֏\wLFUi@y=~*%]B^P|o/qj3(6H9V.ft#(Ҿu޾RW/\y(ODŽiUxfwFQ&"f2xTo/={\4ˑUƾI8x΋J79x1D3EݟXpo%iS=E=M1Idr J Wx;ja kWPϪ@*x}ho VD>=t<ZD GU3wm;~BӐѵ6dlXrR]ZqqwWX}VQ`ö L Z~,֛gC;<h lm*\>~GkSQKw#\^IǹF3fj2k EZg|p h}KjSo/Cr$Y6j'zs+S;mίmO!  k`[!"coEnw plx @" -hq4a:KiBh¨ɵ9m6d$$*<7'+[6|;V_=edIs&B; cV`_9\DHo7<ʒ6)V`Z,ݚ@N:K@8L4Q.H\9pjTyr1 NB.g6y20n9ʝlJy|5)n!$"OTࡔ(<i_ ;ʏ36J`"IWy@5_g&6{ǚ~}TqhRrH`# S5_) T q?nPJnq&) ,z +dӒ @F!ĥZh󿦥=澇7ɖG aSF\Wͣ`" N̘9Yֻs+\N63k3Em\T߳6'24•D<ۮU\A-@"yq*!M,'"3Ǽ-= ohC$JJM?28Xe|c=[yնAB: IE#qAUl&"У@" -%?8Jiaߕ k3Z9EX(6RZ8dKiWA@©@\wO}V?Ho2f]BCm hyq/q}~S#b"A!h|)Euu0vY:ܯ3 7kܑVJu/J[ 2IQYAA`=3Ͽ|T:q,XAW4nT ̹:HBJpT.2T?[̷!HƎ&gI4&ځ><_;{5(Nk6E|#@yd ]KDVf>SV-czP8Z5=&q+j쐗HmGfΝ\ [h!lcBknWT:OU3έ9UD'ץ8OjmݡZ &2ߋlQƙg|:[FMij=2 Â% |I6$ D+CUC`ƶt| Vhȭ2* y(d>K`G}K<8Gڠ|V6wE;Vg>3E^@$"=`#B0p(Rx!]^EBR"jJghkGU9{gMev[!y<|SuApvuK``z K ms,6&@qQ8~!@~ ;kJ q E8 0;+8ܸt8պ?$6Ft˅&ѪMmpd3LA9O CȃWP=)=T Kl'K4 .8?"I(MAuq|57*s60<;TH,wr'6PctE\Sݏ!XJ,۽~;Ar L)_(Jz@e]VU$ilKs>k2$ӓm 5M7V='kjROV_ l%!Y 2E^w:f5,PZw*66 "ЏX*AGRxj?#y ,."qdT'٪ԜhA[|Bͧ`;#[f⳷=oyx٣x^+^}$,}C _RD~4 ~Eq ׀6ggS |ͧ[% 9u_-1L"/fto~}4郘2dr:JPI0g#T B3^=suDc>3 W>poLc,0ssepEF 8Y(j3zoqzg |F P?t 0:`q"Y<46mhJҟhz!8YbXAw:]( W4?@wâՂgUuh](V˚t2ω۲e j~W*@ѭ#AQ-^iQ Ô.|ʤym> v͖~5$y{[ځBc97Rd\Qԕ!z{8OJLi&J(a~b;:qOy^b?Şzᦤ"0}ba9<_$Z q^>'&S\3oTA3@UQpv:fgJ}2T=cğl94ygq`Kz{ * z|5meѲVQUJ%t>":A  Ut~OZG("Sں{f8l_A\;޹W u$.2-ã~]xZK^-tۚu8ƾt󰏘ձxo1`!8q嗝ەȿGojBjZ_Z^O%ᶲ C0b.OuU^ˌ-3o`d/)pX҂e10[ 쾤3d={i1.h罜|KT)6šL'8JqMU"g֍  :o8lXD-|ņ/@3u_ ]yӶuE)<"ޞΏ8lHٱQ` $CH:qUYԉ^H39!a,X 9_%~||gքir.#j L mpF:ڮKKՔ%SМ|Ҏr郙=ٷwg6 .Aړ^.Y Hk= ^k\ā 0^*~y&( .ͭ#F 9͜|qd3G>dTFX_AB9xVE;J9|T-Gc  aK:;?|Xs~6jN5dZpsA԰G:d(N*؁Ӧ~A_XAb8-߁.G$S:'AHh["P]MϗBCq>ҔdFi+U\=@*bE:҉Z8#cAOjcq& ﵫYEiItqC¢gxh“ڦSīQj:cM6SNiqRevr9:_ډ`2 {]3ͤ@ƯXlRtXםRIg &"W)4C$hL`#zU ׂWtխv'5}fk4q@ځJނv:s ]PF%0M=1w8S}Jɞ\ Li|+CIK\Y9u#zV!)AE "[20wH_BחG -Epn {iT{ʣޘ5n&M l|DO !ͪx)!m}mYI,&>-$ͰsRu|uxG!Ő]9%X1 G]V)ar_ܙnhK?3/"QY/=u şˊKT,~xWzA5'/1x']:k-Qeb)I,crI. 0rdB%0)B.(o,G=VY΄?ceqҘMAnAEvl!8 hp&MM&XiR_tUX|3 _^t|%u ~ &E* %ښ3ZsB{0l"gdp`VʋUШ+u\(d_0FV̪Qj=6}N|=@/ʈ9i@1=S;`zu$P9V$Nyì,ΛJ"|],cC#C<v;.AfDg[«Ϊ>]3jZsJ?`Nu@ A/#!0M[#a *mځx߄c=te0O>v#)S/<3o|]0q]N x6Pn?)9hPT 9qo-Deg;-\[Dۥ?7Lۜt"^,L:-zP{Ο{KN)m"NC[mWTo;GJ3W5Xmq"::ZsSST ;E{D RgilNڀZcK_A0ϾzoH9oLF{jHa("<30eXW>-bQng*m.c8Kq>!ccwc2RWC@%rMPx^N+<+fH"$_oݧ]ΛR ]!N,RT=i=b s oqB65ԐMXOoGFDFڣLz1$n?m v򹫷1b>3HǬ7fs,xb֕r>ALu''Ko6n&>@Z362pY<.iD8)贃t`ZkOWjg_NEd/ND&ə/ScSAe.[G_, /0yx(2 H2ϸᡮkGIl Pt2ѝ0b' wc"Cd,%-;7YpC녘;=3>U&CZDXKW3GϠLu5eӓ jSOղlS@ѵ2|qhY0e~d=℉ftwd`~g!n=–O۴̑P)]P3~ZqV_in]㺮iIv݈,gH?s6q'dyp^ĥMi[TOUZ| tU^ qU us)XX*DJ{W'HV\!,7S]Q68extꟲ.?*{W]{he=1ID `EI(n )#s`hPaGq?{#)D/תa܎iR/2E}8j 1@4X%#l휄]nu_8FXjC~ztZ{IgAUCO@鶡v"ȼ+>bf Mc- Xusnr|]1`fornQߣĚ&L 9əe }L@ś:Hsmʽu~G{J;l 4^u=3u}%ϴ@/c,׆4-}*BQk3^bҬ>z}c}DIt;PRB@& ]_n *'X;@oC&ob*#,"g+u] yhP>;YI de4dLiu]iT!g}Bn`,L~Qu \]I,o \~Bl8s9*]6I݌#ҺPCa5څ|W(ī#Яa)7:\-AE6Ȗ;V a}нSvq; +qrdM)1TNS!:,MC? CMaɍw9[ê_8; K\[6 Tdzj0k>ղ6MP3[D_#[oU͚[.js M[>CȑCKpz9sU5X0 p\Wrٰ-34сX(ٹ88`A^|i^LU+XPRj޻u '`j*^z5 I(zV\Vk-2y}޵49DeSEVLqD0S D}*7*Md~j+c~wIB_~0FXLWP;|` ~Tw1woo*'i)z )j8x)犯CDˮ[GժVg"܄gg )V]o4 Ől0rQ;s$ w&H.eӜ(d<_!I+'d6=EsLp>Ro@N 7,bqWkxv g&&H9b~Aۊ)JOpO8Q?{v9Ng؎>CVjxO pD8åZ7i3@Q^ `F5jdRK '&<P]P5I!I_PttjAz#dtVȽLY)IVb͒EGP7\F~3^Ș ;㟕7X*E#1Ch \DXf O3C-'chfÊFsX~t;zVajr7MrwѪPn=1 yE :|=xlM^-/L0;FJ&*Ϋ*λIJƲ6qW=x"hO:Q@:+@M%h[LdPFf~ 1ߢG#`5֎A;pKF!*zNeYOx(\ton Z"ˎQsff_DJied7xk}WO@f>=$ß,8?-ΑNe{ ?뫞??9<s.Et &=my+mɦTnN F 5+` 6cQcwe֩DI#;42A) {1h`~$|mkPp meTFhu ,*sFkJkדRu׭n&A }^8ڞnzC(h3&|9ׄz@l-orxWϹɉ2*nH/yKkp&sxrNFגOM;ь8-]Ij^'Jb/mcHaGKZ 5"f ?ʫC뤆jPl/_#ׅ)yy*x)r\O8.iQaVaYw~ä$8 ARY$U>1c-]EdYjA`Ǥ~ }6 b,JJ[zZbcאi*3c2UԯrbkJlm!\5\CI="~Pg H50]@dc ],R&ޕEߘR9Ջ}v= ejaoT=5 tcdu̶7@ D^hvP,"ɫM-ZGAIJ\[~q6VeϒCYL#ֿ e(TvV>\Tש)5 da|JٌiXb;^( cL'Ɠ{]"uaq^AGh@-ܺ? tB7ABlGԤZ+SpXQj}>μFx"Dř]|Lo, 6'({GH^a͠H2 Z¬ U鮬FKGĽ ŊwMwxI/ZIhIF-A':z V,K421Uv[ OQvO䧳X'{"L)pƫq^óWYtgmg CwRиN09^*k աFg)Ϫ,iazp<.$Y"1MG@Фan,y;Us?]Fxq뙣Z ;z"XO]|ܲeͺ9#z"#ArE(@q 3e7>|(ˮj庤Qo6c$$A `Ic^$|=SsRLO΄Hn]I TϮ֚Y|ҥ+ 8pHS:q?PLUؑ[CQb_p7 hTa(.(:im>"ZE#8mضl%CK5u!DS n3Z$Gx ]58/aﻟjI -'- IoQb:e\HӧFi-iEے48V7xecW@qN5v OP3W uL%ӺEnB%]G~YaTӒL ?U lҴ~251v⼍r^].wvbȾ~Uz"IX܃Nx>pU4dFeL[Uʎ9p$omHdqZED2lBW%d7y!xr|c"M`2*`w觬A>46Z])i9aXGzt pՌvsXeQƥ!H3.wR.gP &n ⑩ig+L߬L3hlthɁi syVq<2JY {桜y98 d1 l$wK M3T[g C0 2]4ltQ= )V4\WgBi42XҙKMVKx sX@S׽(P 0T\uƸ@'ϛPkC*?3Mέ:@N`m)Tۿn37WNL3t1 z@:jd'2MY'ki ?%j;ִϤ_>nFWA<2)/`7 dpa8Wy7\*m);VR<: Gt(WO= Ôni:e*gh UHb*W'q,}ʽ+" t o)͋ .Ae?@d"0WӚG9+Gc$k`4D;]/M8B#Y 6`lϘRDĨ饉QR 藀`,+RQc3uM8] -7vǞ{q&Y7( 1([Z,z}+k9kp "O8"_wu8)# &&/z<^ 3'00Ecr ETREKU7sۘGcJg b.3KNP06[%SXӿfJPn4P(lnWIxq#K BT0҄LK--@NVhpl0iq66"~R]Tf)eC\ IŌ NKX%TA]jb&nK֕t-\7İе'f:*2"LA=q]U 0v~k* Ӆ,Ml3`e ae/^i=~^I Swgx &-9CYLb Wcҝs# 2uw`BJA)VLb.gQ' yT^TG+1+|;smK=R4$aӱ&F{1rT[&*ԃ2\sXh'@Q~ȝO$ڔw6LoXdjO=W@SfiCxA=&u>=%'uYA遯tO]|f;C'f( >|a=vmV-0K2]T´&:aw0͋HÐХe?2"`:< drd!Ŧsv t1 j7nDl)k=8"ք,^-wIKxD,ڇX1\wEebK,;4?[]3.|GaQLeVo]$#&]^*tzwU%SISy+b `"#vjot}ա};7\9 1cS>YW BtKdf^C΋Aahy3ٜ[lFZ?[x+Џ2#7t9i^%耭mjWZj*Ȋ 9SJj)~}EDcuwҀ}cX~!!.F210iYZz7(_ èEyAPu|Kk̰a( 5Cbn? ThtG;LK^y1LJP(kFnצbMp@XScx}fbI, ul% 5RЇRyId JYZ#/u)ੵ*Y,qlSJwfwmnio (kEW7F%~3iQ(=J?S!hCje(qi~R]Xɪ{z!^>vQMW%6ۍ\ڗ4(Sf ~ kHk^j_K^'ERրDR1K@t +1G<$[& !w}>*/R6*ØzT#rg`B7o-Ȧn x& Gl%[q"ɍ5{\w}e.1oyd2kk~C?u+ 1ZI<ڟ}q{I O1*-jsq(tص|#ALU K^&ܬ{poSCTix}ADTagYZ66888ff253c444db248e49c31ed04303d4bdfe719b9f81d4c305b88e1723b753afa9d6920245812e c4fec795bbe4e08dce23c820eff003287faea711 430e9de3efdee3e74cea0907e193395680a2872a