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  )-l ]S MonoidalCategory:threads=4elapsed=461.377cpu=1132.600gc=87.116factor=2.457zXZִF! ]ŗXf[&MoRy x()Dq^Ns!G:!ay;w'I1F ?]9 tIm=':ܴ P+:/\]2\[k!5'ih %Y8\0??X-Y8Z ^4l=$Fl2G#ן:hj7A4a8IAڎz7B84C8>-x&QՇBg^| - MonoidalCategory  \ɨb{Rz5Ϲ(B:S囗hkw \1y]EKe B8&TdL[:/pxkK _MK-˝q.i[%|n3_{7_tGQ'w-n3RXkõ^Ċqyú%V#>+•S8h.j_萟:){g;4r@մqe?1'aAK_H{= =&̪`JÞL5_t{Xmu _<CgoMW6k* >j]olvPdيj/ǩ#u3k6rE(7T!`ɇ"ab&nꇵM-\~LEWFӐ2@SD#mZѧZyN1 g\okU<oo{ɱ%Q=^[!)@os0oɵBaZY2stl&F%A"{Cj=`EԂ TvlJi NAJHSwO+ N;6E~$:ߌ^i d4-??f4o?b1;ܯ/AG^+GE9 ,5X@1ӓt>& .&[8eb4ɪ@h&xw(:$f0jUmHH^e+y&Vliu2#̽VD@:+R$Ɓ2.=?,ϕZ4s|©Õ6ĬJ8=.gʢm]bzG16sIVq2s`hg>ͽ{]w[5u9_:&-sRڄMn(-4UGMc"FSM78 9fl<|H[Cn> Ьw-DWų҈|gaVq&-W}ahW\Pg,K&3|O3~Ђ&o"ylGY"+!9:W*j7q[v243KWw@a qkgݵ0te0ݚ~ho1CD47ַuᶫZо| 4_yH@F͜DUGet F:Gcpw|G89#QOeNnJ\۵AO15fθ/ǶLCi^xNHO2R5}l!*+x`uR20'1ԞTIvqYR#;Գ!5g -nSt8>fe_FBCM=޴6wd `}}4+(6O4t qtYGP8`s _?W> JA;F zrj>nLZA#VmJ ?p~'@HimF+[ܪj"4RC3%u))65>.(&@0:^*7ˁ Bbn22HA׹=aG MS&* 58p4-!ba4a.k5yj mo$/mڨ ] :Zn\l"QGm %c429jج5HpȈ-'Q3x7mUsX_ל dc*p.זVq^Jf樌89z;r=_/! Z[Qe`Hv*`=3kO  1#UdBT>xl#97sς Jc6Wii|c]ϷoL"Tb':HAG&SNX+C\pk_z'd!&c긽2/P΍TB Eze㼦(o> w$W!KVg.=w:.Y8ۊ&M jv.OuwʋMWQcaR'_c*R~8seŦC搋 |PjmZtrT嶚$P/v[GeFf#YT^`^{%G%ժOS*>+Q[D 8%.ĻEy<#Uꇔ5&<|P lR^Zn֬T`'B(鹡֚2ڥHcIvS dUp[HF F,qWN*d5:D0|3Ц&DKjK7[<=tЎ"Tٿ|}an6EYڮү,4C81g-,/@ 'tA"!*={ZA {7UyHV[BG͏vëWLY/нPy\+tU^>  x+Eԓ(R"~BPZ"L$<)YMR aY)DM~e{jS`ι@~| SLlifQ_5TVIb}5t 35~OwQHa3 !# w'0a M^T[^l0EBQ٭&8|GDkp!l vFrcr?խ i & *]fCacD` .쥺̓ji2r,]. 7 ҵsgeMk%ÞVUio*']w╶q6,:Q4<aB@l|6KE0B bl|g)Ȍ;jiYc<5'"^\2࡙0È_E6gIۏ;%Y/4.. 7I4&mœ+K{W9QUՋ"0#Hm8zӢZ?a[4+&%;c1fP,g9x{#i.OYl]lפHFHjsME ӣ=q[ ]:MR%1Upu ٞnl@LR_9 pHޠ{YI#?q!XS)_EpPh@$ +_nhH,cZb~=Ywzșw~U!?Pk;W8c޺\rCTzѫX^4 ]{1*nIi-h_! 8TڙSk9r4( {j.jņ*B-~z*A@uW+ceu-|9@<'fgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:hGelp1BO D脝 c|.LdWa:>V>RRggxAb#?fʋ?h~@L[~ppAR,T!NdİwN'LiӴeӤY4?Z1|xMmhg^gُ\lYo|<Zd݁3 mt$0~nsLChxXĬv:m\)RၥՍ+Z\ox Q YDd^ muݯ~n(#DB޻ > HӮR?1qm_ʤwbÖ@e;j8j"2Yڛuﯚ"iN̓BqD] =䢒Νx6Pm\ %JՍa&f &1z^GQT}${3b(naZɔ`*Q _fСKQ$V }y&&#iŘ?ՂT,fBe/&78+o2zػ lݖ͸N"ڪi9EmZs{Sѹ1d 3J5o gÛQ8@?Wz5r`):+< ]儠&s!R|J,l KWowȐx,S?hKN]mnAf'L]r³.ڥSv K&%PL{A}hMsk~hQfbgh9g4T[ F7XWJ֥|\RNZGw<::Pc~nYeE@4n^-P=.w~|S4k'PWw%Ĝ`)MD'ȲXYZ\y1d6>5Y[N!voNwm`BpCio׺CXK]Kk ]KⰸnR!aV [o3kOG6;2`ƉWˍI 090;7-0$2gžE1Vxlw$!ijzTV\a=l3dMtƾ #_貕+Ӕ1!O:5YjWΤ}4)vSq;l eB|T bu8CcS%KC)'_ ?P 5ܺ Qd &eq͜p7_Rl oPEZ֯c0-z/e^^RDSNd$7BUsDnjL_5kӝcxLɊzcc2 t\T!iquP_KPU~:!RǓjm\ i>H+SSD× N\/1.Xs;9$&R) 8V(R Fq:a]36%ށ֔>t|j'i5֥qJߊ,02͕w1n96lj2w~kvBp1lPm7ǀ 4ZXfa|uL;$nG__%+sݒ}qqyۍW]mYQ7M=@RLq?H׾ڭ%m92;"݅>rzB{L\ʻ2 cwod!޻Dj#qE9y@^:_Aj..F3,)GKzN2z}_M[H^ @ƃ{*âN4e#1J83.n:CEcHdE;.)]w!(rcO[N |ufٕ݈%%Sv8p7}y'!+[iNK& }$_Oo~  =L3So▾ӹ;"Gv@ ܒ. 8kM'v#}![si|(h Drt.d#JfF(MCOos<.9|y?Q[ԣJqE²ygm!UJLj:kB(.X1p<{$F$W3L2Ol;8~}4۝ DgIT[@UFBH,+k<x&v;ImY=8G Pc3+l04,MӄhqO-|DʓKdrcvG[ h Yx9z=I1 +&G{W`Daw?ګkx ^x27e ڿI8r* (^׍+t6,bCD=uJ}Ilo( (cK49ȶ0s64\]iGhBXSf#r*?3gZw9KÄMITb뜆#kj-yx}yOh(l;$8سqFsA0fs.Gz*:%m8ޢG1EH{UVnqR(㶵3 YD|֤RFm﬘0oy"(&K]""fTMFP5ȁ(WTTl!$| ss9Z갍${y q{QEe,= { TywF#< 'jԠ[hpoB' `ZHYⰔk¡W%d"Ʃ$q7 F5% Koca.\%⇇("+cB(-e ڔ-^+@@с Av pj-v! EЪVwՉbuWa i0FsU9i"%r@ O } ] '9 X?M!<5΢X$޾SHKŝ 7()zW0in=^k}ɲ b.(<xKpd=r$?ϩ#U-gIw^ cO`?u9!U}2WK>FXݑ}<GX"KU#gP=EȠM]svt.eW&҂m`=;&sR'5cEY?=Ւh@mǂ:umWGRy09"ctgjRZp|J 8 t -p?lJgY[{K}ZJQETDZf>^tybV3.:FS1~9mLѺcn%åw &8llI*>&9..3 bBuC![tqFLd߭Е j}CPOñW7 b~w%(Ghe6kY{u%L3 璐eyi1pn+Zih8hflY:|9  #<Α+ZQ>= |Wl%FORUs0N"5..q-pDR}QRҖ,D9;bpZ%UCئ ר:\dQp䈭[eUni -=ki(>m9| b2 yJia檑e=7c<`p#h (Gt)GVGdv 0 1& rHlJ7ez Qυ j&5jX(@8I m<5' x92UU4@>31ncN0E9ͤ?SO8ؙSvm5m7cEb^'48As(0 hɮOm<7𣳁*&Xsx~7-DWxi{K8lv<N>9Uց^$ Bl% EyVnJ`ex]tҥ(z!8,,>|`WDV()]J `cҢgnSM4ݵ$CcOTYZkGҡfM-/?|,η3,/BM&' ǰޙD{|~ZOp&RIk^O~y8㐨=Fp|s}6RytsZp-9\'XRG4f[7T6yeymW\jHר0V 8ɮ")`P/]uL[?`r?k̀&LB:S.MPt!S:Dצ΃bQQ=' DAZRjpQ7 '^B8 mO2Fg=^@'^+< )Ʒ;1m GkaaBmg/a=1$#u~׻sIRzWHSj_88'gs6K }\_1r՝#&\Xtw(!nAC$ǥ$+oJ|bAz9["ks+$S$%y6JBt+96Pߘm8&>ޝ AF(,ʀG4n&&;q@7P@( zwS XCsԡ=By> tKgE}E;v3}*H㌙ގ2[q QNGy'EtBaފ{< RSxD)=D)L^¶ie֮ݛ*O)˓<;u4OStzs4&BIi2`'/m$CM^7q'JgH?g, OqD+ȃ7&Z_%uH1#nx$Zʩrۼˊ{.3ھ!5ǍyT^nlBo8]߱jɶoQˢ=,Y顖khv\یv dnS"/:;r5p)diLh `}Y߀|N7j ߚ#֝` wH~ww%%V WjLn"K #J)'|T0`c5Iǫ"o/-06we~qM0^d`eEފ9b$cWEzw3lJx^9{;ԛL|g+L. rT`M3+ ̜iVexP>,S5|xwE29D8B:. ~Wg7"\حb/; вu$wIѲ!+(8zG\%5v!_˸7bP|q FB2b:? $"~l}sXH0% .pNB zl2'Zڻv'-pꮊnxt}hS] Niu׆ɴTp! % Z aPH\eu]Aqb*54Ќ K~ طTiip?)q%3L0@2@g{YCJC`rpG/KܓKN# QnQ0ш kOX=}iZl! o1*xC{}k@T׌`ZPc9&19ev(\ h٫P:}Cdo 7')5 Rٴ r)&V (X*<[sD1r`=b8wijypu )IyXz()& fBk5fk`ǣYCc SIQ@oɀ54YŷZ~ZT)`BC[+tqqa$coh}&_˝5.i֍` W|1#݆܅VVOmwҭ}5s|sp 3Irk+mg61Rxqfa1WT7N.90=r H%? `ti XgS24%Q Þr4}EJe{ln:JM4A#q- WhcS9}Ak1'KNnsAL@&uΗIJh^Ѓ`X8ǶA!8`WF=/# O\zܗsx!x-?;&G5kH ֐ɨ]! ~ -BӺrMS2[`;º"s[r؈O˝BrJW0G{ԡB%eB7eVH9AlM;8`,jGϋ$18AndSXR 2kXCK7QUoTHhl[1z-=3: WÓ߮><5|N*}])#c;p8*LP!GF-@ؑX3zJ,'4yLYD&c9 f] Xűv[ą=E `ze$IҚ1}\.}&-w&ͮMKsT tH-"BQ;S>T$&]}9'D#j#ߍ$+n<`j3{bY2? hGw+SxGfۏ7̹C=c)M6O/^+{(iI=?A[ܸ?q#a,jf,Ě}A6dt5#}SI1bqNd<8U3s*~R[ZPs4ъov8Cm[< :Q'+'H]4D^϶NsRr/Q9?r6MET/R'MBKL95at޳9>r}_5@i?7 ڋ_F 탂;4Lb8 OoK\(+_ 2EUN'DQe X13PUFAha23C"hLl챹q.`(us[JQu-^qʤ>x)u줜 şO`d2+`[TR'H9@48'HlzxwƧF/1ܱ^qya v{H@3)TID߄9;B.:/OSRl㼁.~aq<95ӐGn9®;<>UQUqޚmiN댘,X=QK&gC{m*!j[=gxӇ`JB$ i!XMҞty\[֭# [ n[듘_J~(ڥn4Ta_h T^GOÔ,5[D} 8˯fٛNr::G9[m9.q@@Bm/7jc'xeIp{g hBO#;Ǣ $VM/UH)nTBS+\ ʂ =^FymXLt(7 b*W X[v Ίf QQHdtPut`h-» Oγ>heјU<vAU XZ}[6Vd\]n*~OӻЯEƫՔigke9l)Q/~JSᬿ[4krsZn}ʼni;HuBXJgZVŕ2Qbm VDh& B_B Gt}kmlU(kXlD׏d72nQD/ C9WV$"&5qmBl+I< 6EH*Eb,\ÇKow}I^㈯ɤ*߷2Lƥxwۋ\-t!a9tw`hI`7ϫS E] z_r  Nڂ:N~DQ"Mi[\4ԯ-k."4va4 ;FEgfhD#?kw91}$69c|#uH /Փ0!֥&yu.}n#|BM9֍˻'\bP=4Ba#VBgӿ{h6"!F \rH;)4n  ><,>b:VPNZl6Qꊚ8ٯhD^{΍Ii\*|^Z 32R3t>?b?ȩr. }؀" $@< ÖĒ9(H_%&@a]t@g\{koZ@U㷆zDafh-q޾ʬy6ge_lL>-=7MHQNZ >21·zG/As%CVyX=]g!]}f7/ڼs"_̽G]˃sr8]/e=}.8F}!"Bb<7w>tWrMmBԦ,NBčt1r9O}L^JsMd46H% ]j$!gn헅I$>G6O\eoFGѯ}Nܷj)b#DŽL=7I7 6دOZj ]Z3,5RΞr}mxa]igY8&a囙 j7\pM9~UeZO5*uRUgMP &uxg@> &o1K뛣keц a8VHo;h3f6fBٌ{`]VK#?>LLar@~&o&@r[K$^5W`p!p:Gq6 }wAeC':}=oUn dfHKe?fXR$|7||11Ӆߥ^xnf."*`y,/E(-vuUȉWdf)やTV|t_g̒έ]A9[CF Q[$}q=|)0#J UM7Ljz7CNt ,B7dpLxZ`E݉;| A_Mi=,JRcr?Kp'`ww@;lΓZ38hoQe}*u9yIW7Ѕd~լyJup\{ ?Y {s[1!Nd_Ǭ Y+흆50DsR=#*…bJDTQVF0&D2ܒ4^w ϿI !_-VNN iR 40¸0?Ak\7o_ .u{o\08ȫHˈ?ύjq|s@y LV|ҹV 32֦@t]Ѿd!m;e]-7*VQ@F?,֐#5I^LI$ \PTCHnj|n q?-I-@"SHk {+7e m; gW.i #*K+W$XU5 Tq_Ȏf\QW) >?kp3[ F~DT,a8Oi]/E+Hm] P=GCE{DWc[^almePz˘%+ײGq`?E(E{hdyMAF%ܟz\@D%iϜIo|v\g2XCJ<ΑGvgD* ڛe$t[Ȱp29 | ^G7.}hb,T|M$%7 -߲;儗Y&qCmȔ.!$E1ްgghPNTkPZrϸDedyO]L"5XVb`%<;sۻ勐68E2DּyeB[R*˾u4:ξ9$/t&|'h=}8+ONpiINQ*3n*1mniΧ@P"%sx-qW-`piΖ[#jBE+%`SARΛQ4srmdv+ȼ[ K8Sս&yvye-˗b?-fFt|xPfӘ!q\nO&̛{>rFnr;bڑC!4g ?&X󰌿?BBDx*.eqO#҉5#Yᙨ~ 6@K+E',ډ2!WR;lKvȟ!Sӓ yS\֧$jT1A t#VL08p5HONJ/Q +,oFD?y%g|)b ښNIͮ}cUUF|Y^sK׻9~^O/#^5x.cyy]N4n=XpN[< `dZJ&'I$]BO֏rHZv@?P.Ȕ|rngQ=$ 1Xs|T]"F4SCӸbw0]4d9$t6B y.|-sR&.Tj{fL%b#4hR+=aiM;5՗ O]fr)O1yQ YR*9ֽ@=56W@5= % pƪi<ŝ\:}B۳k,9RiUOQ/ŌS^s|]AZNr5'Ep.f=>MdٳF\Ȉ¨7IV:Ra<.Oo'UMݢ "$٦@CH]OH2Ng(I!&" jJtpp6zc0 C'VMwu2$?q&N֤n"ep1dy@% rZ&NιZ{k^|avb',s ЉL=ZöoPwg!|#в y܁thZ\);hzݩA@9Z\2~[6ZO:aqvpMEq =NU8P;^@Eo{h x/[V=ňIv@\MDZ"BL(Ç r|l hywSL|$3N{u>'"Wa I)8)h+|\_ gv2jt46I0 l0p:Dbh6@V%SvRc%ŝ@QY +GgCn9_Du)]8:+>\>t$12EM 0QVH+WwbGy'E8oƍXp;~P%7x[Rs1i S~K}1=a)>V]:P a(Ѯw|벣̡Pj&œ>9*:}ЁcwalF8nvWޛM u"U2OuJ Erk\1Sr  :-]LGέ;TO=>t@ȵzmg{Ń%s]W}!9VT&~abZ2^ yKur1C(=֙eAǖnjA<"0 -GNf!<`e)~d{\<@JQ?r ce YKP K(s 6J M aü2Hrom?p h0|ލ.Kpܥ|j|KrQ.?:yi`}ŭv;\SAYv(CpS DTȳb I4_?'&4IIBVJHwfemJoTvx@9,T/zLr@dDbqg'TWPEs ſ}fH)AΝMBv_B.p,F*uk 7٥yԭ;tKǩ>nyzz YH)'n2^bks .׶=c.5Ou}⚞ b|?AoǛyg2E,9)7g/h݀!n)T~#"uFofELW2ɺ,̸֔ȵ,CO^ d!V 8FZUFL^?)s9kM.5~w8P0cgԟb_;qKm|BxK>E)-R2. nv'L1:aV~w`0`xc_E5l+>Z*JBɄFY*1kޣbyp3\;lS]ho8ar8%n)z"`>$49:_PyfRbJ<(oȅ,qic5GJ2p;#-(U[vJFVHv }t{oR1d$;XM&ٜBdYXCi!Rp ٧u/S<=̽V^#\X\67x*Bݧ8KWKBQJZ9m:\^]*\do"98JkE gkzT j-EeV3rΧR$(\ ρ"L֗4f Dϐ+C mk ]P۹P2ȣ^L.$>Q@J^nFmxdGt6G~+NbUIfi٨ k׼](QAC_Yfd*D?^G) ̇.tx74ݓ߂&AwNl΃(F؎Q-ʜ82w.qZk :ahXMfsuɌk5a#OBĕקXհ9g,7͂y?H`LJ&jBzn7X ]?1$\ʌ7,pHRG,,n%r_UQc|^DxǙ'@r8\+iIn:";! 3i31ɤ4p993 &:U)&RL̈b6t񸌷¿\4o1cgsUE)\XƏ0_~#d_-oٔ.CU=KUևp5i7 sj\*Z'?Í27so &vқoL (J`D쇝mQ\ÅNw")a2<܄1l< [xG>1Khj_` |e x4cjG g^Q}%U-e'ghqCag40S!0(WPbFQOa;ngW^bYvZ%f0%a=Q鵈k ŝ{Xo"QhUIҜEsvgSɜLak'N%HoNIs3ɓ8іuC8_XI>V^,5䫍70}EKď Mz -L"4?kp3RUq*'3, :? d~.gYFy("=^+P߉]x5kھw=>+ 7gA@ͯ/[" 1;Zg䨷ƹJm OAj+ 3$[Bcu[LEߴ76ƒ%Kj/o,#+,(sta44d$>A6ێTT֏*_z;4ּ!'Pset(caz26}F~:42 ODf&̕׼Ӹ't~4qz;"ůFĆ^UuvzưnOﬕ˭mKᔑ4b3~񞩼b.w8V#WPZ {_Kt@ntYhGCr gu8e]Q\q=rMu*( ) I>U!e\]Tۨ5ApFUFRGݶ!y>+<a'dIާpq̲j[vB!p꒾q\kRA[Wj&^U}@cB >kqޚR/L3c)!^ԧ\%L[ pjOC]ziޡy$/ Vi.,I>}%BPmJR>>ce ?؍QȌkpz@G~ؘ6k6ۙ%x&dØRER3yTbV\F]5pa]>dBYXOSM:~rwg>+OgVNNo H*a ^My_M\эnJHx8:eT 3dE\5+w5p 9-,OAGca {R[vf7P.*j^A7ix迴>gh)Qv[z!6v(rdVās#M\Ħ_}6(YQsfm 5L:t=4.qRpM'1I r%$k6Ʀ%O`#} \!ʼn%US歲 BB^6`=-N<'3E섵P RL:8[z x4b[Aq13x{gjXGZ "m2Lg@)X忍~<#&%'mb"wfce:8 P={vui C5(!)DL7U\5RG#N5?Mv`d|FKTTL}l7#wX&l`\#[XL*XzthF,pFaY;1R'?(+GuA =⇝5[go|Rn yc'PsUTN܎$m?9ye#Y he^߬Ж*,mNQE]<Qmssf9"źf [T̓kU隆5P~\6i#ԀDu{Ȥ=?rU) ,?;)v@+PRAϗԉC>k\ zkXPE]uʴCNm Nh b]1ɶ@#Pܙ;_Gu)"E޽^V',LΣgSw ^l<7DЂBUj9;I[Rx6rEhk.)ֲ9pcYa }Vx||jDc[! \i3 )n#؅Г?OmZ(rTSos֩%~7MDnZtus %ZU@5p~.Mf.~У82PEQLXlݺԊLh(υ/_Ɣ>͇('s kʵ#qqGd]ny#Trw/0!l ;QI 4л5 T}YGF0AVGrdrsLOѲ!a3w]:zkp"h=q&/hʬZzEZ\KA0”kf ![bZbt)N)$.(E<_w6*~'tJb\Lʝv3RњR"o!/Al`QS mы3w^,AK;Ax̯n!.Gߵ.hw5j|U67R}qпkQW'd~Ob ϴ&G,ʺ{Q6%6rܯN* "-6* # 4j~ceo":Ѝᢵ[/cG]AN *?f |Rஔj(0Jfx~"v($Gsr~$[y߅ũcJw7|Ckvtot0Q'pt `vp*@l4jgvj%}*,pC˄2ѐpz 7{|gW7YJ0;s=~@AUWB,fIL<}ѸS_lxqm X')dC6H0'&h{-o5P +'Kn;~MÜi2pS\+BGT{s;\|!-.UhJ?Ia摯5zh6'iom RІ :7b1B*zo쳚پS2Ѿ(T &akVf! EV>jy|)n%A؉fa9@/k[ #Us{i#/ o`a mp7"Nl{, ¤b9>gP\>o|X3+QLL}El->}G< !`#tWκ= gC HT9 9˫DzU &Qb'{oN*JgbfލFUdkw6 pGG<7ޜRZoD1r56FZ@Qx?屠?πbm/,`_iv>߯<F>[+hsN+N3pVKr LB ZԦ=Kنo ZBN9+o [&Q*AHL{XVm~^SP:̻ܚV($/.5WNLCIo8stOYw/ bb]vJLJ'},9nva+wLT/zy̲i$GS&V㷅&Dv#v˷LhFI#|״ӈL{Q*0*u ȷ#2zmQn9j? G6u;Qe/ )֋euugM[I?N][C%; 4hRLN$:>y #n/#tτf4'maz.ZԬAmR!OCWLJ-⊙wzͪupbR`Ǘ1X"٧aJ 7Pm?yvRdPdxфpNP %d-V\F0pqņ KxM3k>QБrwL,iĸ"d8gYZ1a7d55d29ad42fd99ef8e55f1ee5e5c6ba17958d9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c 81592cbdad48d826a817750696563b739ab25f5e