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 h4$| ]S]CakeML:threads=4elapsed=402.543cpu=1198.284gc=120.880factor=2.987zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e@@ |Mń@.DʡLoJ ]e !;p<C+|X 9uh=|FVi-eJ@aeM+Vw*IdjԻd1A=ܐkg\DjV0#'4EB"['WD9uŮzRǍ2%iKq&}YF_I{C(2X#}*8'fÞni\rސRH_ͺ}02lhbA%`Pق_bүvm}#޸^RJi٪4&TNq=cs=~Mwհl2zȇcdI3hҮqs=]1ths0ty:u}A]JLh-aoPb${mM'52%Tm9i{]S8&? />D dyBȾuj/P_6CFAkpd20;L _7+> Lv m.fvwW6وH-U$WW[ $ai8Hon{C<2ᑝttVbpMG";d_´G 2T.[!Ѧ*f`I]ݘ-"!I4q\3S]Jbra3Ve]sg4Aټ: 0ԟEդ<2m`7_6]m&95o7 mبqn۠4@f|\ȄP::BfŢo?wL967(2Vq`TybZpbRa4M(5zi|΄IR#SART:y̸fKJ%Y)"rOz}Σ! ݜ .X$f~Je^cuv˕&f%+]q^1MZx#)=t|!,W|֠}O^~(o|zθYuǰ)NYȮ.ZE^I׫Z¨~ʰxULʭK' z,<( D#HNNiݜפO Jf{tk$9tι1yG=IgC-lTlEYp:aŊQcS|xwGa]Gy8*uk7l⨊6eYW괽Q;=/qקU=-lUܸWlU   CakeML  W@*%+9V׳g~7La[P{ZRpi`*4+˟fe|~0 v}DĺP_ `Oz4,.]Gf1vPgZ?`4%ZzF(n3jzfV,Q_y1dc|K]bn=zu$U!7is1@5 NB-h$+D2/$nVS ^]~@ .Y =|$$s3->j̥@ٽ=#v48ޕx:wh4+>4RG)uHq9 6y2INrb> QGt62u5Ƀ* 6: s`rbMK!]c|MDǸyM:4^,=ǃ.x|Qr&%odnpJdrcmu!Y' ;pVN\l8 sqC@UQzg<7)B+U4 X M? 7Gx!@3- v&w)YG e(ࢳqsɄiYKT Y,q)d:2q=1֘4 p"0ڔ D?~2buh>4)=f9T{C&ZD=d$H8g?_[Ƭ혬 ZVsʨo9NJ[El v4ַT/J_~ĆUmn.iNM0oݾ#X,ժ48ic )Z:9oA> xo'>kn⵾wO8V+zʛL&,hLESW)dY6W:& щ96LڹLj5]|ܫE!RPş_:^BJ_lnJ+&묯Ns[.bptY!_MmNt2q4? 2d#o@ul1a[{AZv0:> %bS[^2 7C3mpɒ-kP/6RCw b؀5dR( c᧡.Ls3PzGvǐbG&q*nN!-(@k aDu}dxd^[H[90fUx믧'b+Kc܍ &7Kn"i_6*)qvleBQfڞ+Tjng|c/'hQ <3]ȣGe:~VpY}AfXlכkHD\#:V']nTsyUʦ,͵l yqg-1?*5'P{#]7] 'uxԟ[;ƞmMd!D[/1;y6Fi!FHMz2ߨ( v.GOs>atv18&¥9i%xs{f$Qh-k WPAΌw&W7aȠLr7Citq=6EuW{b(~k:PY4G_"bj# cXdfX#ygdhLG+o:'+rK&ɤx[ nK:>8p\BB]3v|0 @%uC{dl{ 8(1B9MJZ)ZUk]nMoC͒_U ǁB+׽__P9I5`>MX :6|3`MXJ%ǔVϧrUjnD"&tZZrA0d嚓pIާg\#i5|b8#gݳ r@a~[$1 V@cUKd$}[F 'H2:z} ؞[?<70|s%'b65ᆂ(^*יV8& RUE;kǨn: jnB|*bhs=fS-K9 $}neZWaov먿,?́ZU~}+'4 KJ7(k:maџ'ҋOpf2Gkd1lDb R 3!uiBCb?sqLbw=!9|1HBID>[fOHE*XR*iիk*qC%|qMi`J+UOM'[曻 -fv8,bwfVfqZc_$C} 7#:VƄB^۳{KMtҬӪqNQ#Zq rPD~!t)ićskIUUq#$(;[Wx%!PIT.׳Q3Fۀ9 iOAez嶦n t} kf3}ԜE$f~D\@|I(k&p څ7[/<WpGAJO@Ig^1D0 ;U޹suVe^c?K 6Iû.L1%г]rM(Zh}ңRO<[=gV%iJ5`%@CZVNL0$PL!.4؈hXOֈs>Z Nj4u{b|ߏ@@&yk%,N ]9ed^lM7uÜ% v "tIRȦބA@j{l[t4 GM.XX+IӅG+B4 2f!L`P9۫%~&5S)(KD᧔yxbP&ACQE+ ,m (7@"Vqs#o:kCK=Be8N8PP=̵(@6fa/`91C־fw[ߜ=i Ĝ'{/|>^n% CiUo23LS @ܞBXl„s-V3ȾsH4Ñ<&E%DG?ҺbgK]WE*geB)K1ѷ*m E}16It? ܵS3~*40˩"7WoMgp82]ʥBλŹz[ $$ j"Q!NJ([wH6<#lEVC TgݚT_)3ÿ#ʯOC£yrmP+ Þ<˘(B4om#o]_A=3j V]2 ܋|,3P%)T#CzH ;ceJGYV(y5FkH$*=vTzopa #lm6)%vA934€7=pEbZEH읳J͵k0?">8mtMd^؟ Qd2witl}Ljs*(n-Óĉ@ԃnGf*rowL 2f<@h 4JW&5c-Հ cw/IRKCӋ=A}c˵zu_C\ t)X8gx&NL8/rzu4w3 rpeV7_~gjSf{=|EO] !ǃ)oQ[P׵z / >q۱gYZ7zXZִF! fTe8]ŗXi%L IlJp؄"SX?m%-) qh[D%[ W+gJF]J>d>j}FqM4bd >9ib& WI5X~FPX U"2~"#5itNSz dpc_$0 '- *F?]lKG} Me,gv&72Vp_M:Ia/=ކAR *gBvσ6d>Qf5[.A{h=OУK{3cn0aIRK[uʳ 9xߨ")/W4Ug?Og~]:}&,1:hՆq|a~#eM1AzbM.N.=簈D9Ѧ+&P#\#OV1 [HI3q8j\=W qߖdDW^&ipCQ-HzkHS ( t k=Fy˃;>0Ѡo6+V^}DLև`8t#CL|R9wm`wۑ:pӂl̥(nA oWR*KBz( v3r:w`ʱ?0wBw.(L@F^sQP@Q*UA *nVBCrAc#!Vk#S7q Ldt J N09 B z$#i1g|x> 4oyqg`1J|؂, G.emچɧV YHJz؉l.Rq~𼕟mk}yɄ7hӯ 1sQ;M״]Qa^~(I˂0 =해0 `SQ>ʝe4>ÜմfƵT %-{CB|&7.l|t—+cr_ `>.@קL.{H%s]]tS)ђ֋I#]1 bD*({Ls-g4d>]Q X7n{(=K&6U:ވ"^l/ylikWvM)5w`. V; )d 8a*n*c 躚\TxK#]F %.AjTRa-JFv"Xv]"Hwɡ}ha; R1OAѺ辶l1jrk baԊqǜ8FO|zLQ%Y*+MXdR egBIpVr9~Uh?>9Ą^D43,-ؤȊ_͙T }9Ϊ{Y&yl4P8|:Xui;,D.DRG8/.nR7;׻P:TVbp $'w@&x 9]$el81eI"B V̯IEae[R^y>xz\Bålg)vXu+iư"=I#<5\DgUw-"b0N؅AZ%\4#A(> ?kӠn |l<#puQ41gH)y%jJŴmTcBZfM[/=C>@E Pi_ت cN^r$å`c%@GiȖ=Q؝ u WwcCx [=I ++3vnma"j Âx7RZ=8_ վ݋%9v,?<ۼ@B)p׶1W|J(]JDYşGxlܘ1U4s+b=I ;dđ<9=vŚyAXxq9Xd;gjsjD=N9/l'TqaCp `0!*ϵ\A\dxU^ZW 6Y.?Z}D\7;oA .02@n|)Lm&W @F ^H2bͥ D`Hb&5esktPL:7 i F:1Tr*KH܋IsjʍoD>~}n7=h+EU ^Ytѩ7[*/Au|QC5ͣ+ /Ƌu a+zI dUI?u:2rp&| u )Jkk',FhbUZhSrpOu_`cݐ34wu%@JBI+!)mzD=]Q4ţw>i"mوK4k'Uŕ,d~O { [ڥ; ;r8@0(ŻOS"ջ|M~>5lz{\?c"; ~|+(΢iH44Y:8a!E1@OW[ZsR$p`g 7!奭]C*u Cȱut842ciY,0EƘ."jVcVpv'/'9K_fw ke`=s:--a;=ݘ5 m[[ yHRNgXۣ!Ca ̫i -;牸 xJPk J> k.9eu w>N3eƆ&͔S|2?CNoL:oeV63 8in">rQ-T6F {yRe[.ߚR~6]BwE'E-IK@$է |ߦY$Tʕqu"~55]; % iR: N0)DN͉ ;oa*tFjkڛQ9PFe^@yht!v8Z:aݻP`5J8[J:˦D| F 2os^>R>OaeM\WTU~]zNg?*zeHl=ީc>Ѵpު7DE̔,,遐 ՘@V9 Pq? #sQù,ǿX!*"*qޕ?@(lX, 7pfޅ:-Dfk30\<OXxj X\e}pzN&ϒ7]eL̂ݡQD>863Ȅ!OJ( ,\amAiܽ#d?r/!x'@Y6W%M`S&@9zItɥtC˶sdzb]ER?,Et i'v T,0 zFKl1 o;'KBғ+)3x=T&?Bk FT`b;sr\︐SٕHOgb}Kbs Y`^zPl{ cح=O 6w- d}vKR',z4l`5@] lm\:ҐݵtDSXk`zMà7+^ Le:᷼xJLi ޖZRJEsK>F>q|$J 엤bެ[qY'ىT'wpo8v2g=]d]`VIMޔyM ې@xpB?}k0yloV9J^ ߒ:ȀLޭ(<텦/h|Ybo:Tv#~챉i>WdR2;de<6ZBܷ X'XLlWaMmp! ܖ4H} 3B19g7U!|Q~J5p]*akq׿"LWjIYbn梽ñD=ޜƶ)='Ko t(8RbçH>>tLhDhS\Wn' AיDF0-6 g3afQ+5H~gmN1]%:a$ݳJ,t#˅ #4hCK2Eiimv9F5 rqY҂^o]eIX Mt1I'\ƙW|Y ElfԻ8<]Dic-i-xd=R.p{}0Rو{H`g&RSTix ;AduJ_::fhC4A:NUG0hf!QV:hZay<6$:\#eO-;JT:=5A ى msB !}[϶>?iõc R®x&ꭚ^guD@GƅR`ZtNEṰ+-0,ut\7f 2xt&Ʃ٫su gH0Q͙טo=\t!<q*ԦqVqG[O]9f1Cɳb\ 0oaٵ4ZzZƞ x{{5Sob"e9f3Z|F ?VVl-d%6VG?ӈn'Bpa5}w(6(no/c{IŒ ~YՓ_jA e!=pN5v垘z+rӞ3'(=kyYp@T8t hY%ewJv ~a5̤>)Fqrf1nf$X2YQOZtcH=? "x-5qC0!KG|@".(1L,Qf/Lo&{0/i&TeMEc={{$3޸2-<`,Gr9|E~X eV@IAXV2*<G>Rl[84n|i"dَq'XAh'QmA6d76ZOGghy SϾϠCqp~%KFFW(&|-.'2Bg(( f"TaX4pT %I^b IM܍J66ȶ@pUgaqֲ-@D?}oI9p! y xNP狲i,EQz Z`&*eހRQM% /'4Ls9'ҽ)Ֆpus [;%/ fǓT uYM}t5]SuLcKJmJc$\{wyBZ 2s|]'T=R4\PmBR>T?jv X# {U1dBWF_; }yBd1jcq 34.fGI0_VTbvKA]QdAw.[xXsC ҶPE͎gE HF66]%pB]9z5i/=WIFsc2Tq,f{ܕk_ fvSB/G@,ԌmS}|L/!egNn{zjţ+F68J5k2fYvZ>ţOV"".s*ܙk০kio%,oǽQ:? |pv:&aXZ%|NPsH{]hڏ`h+2_dAQUXǜB]i^_h*Yxp#녚DQTp3Xٮ:#vl67UL| )8x2-˝hAfH}-7.dQe0&#) 7UzyG!zPr{='9q{'D \LhydGuA/ l}wu}`2~I_ͿM@ɩx{QP!Xnj5 VV_"7av=i*7H’H89oknxc+t2oLF!ЏNV>L~*V Z.!&r׎A~#eh}0ڠQtkCod %sr{(ͥ|hѠ~$}6S*H8V#s"[):w, NwPSO@DMȀ_ETk[|ִє엕e\i#@IZ;k_x KJA= =؎pQ0IH, !Op+Í y;KDQ{%7Ҕgb}14Ȩ#?r_0WqվE6k#['U;͓BԸbQs*uGNm[#.TUOi'y(VAJZʯwe YvoT"/HcpEZr$ 6H˶B~+0a+ L#;YQ=/2hJHO/:H)zg㌊=b{ANǩSX{7]9RQUOȡ)k1$+hdeZяGʤeb}WF:Hц_Rf|M`wi,e7ǀ9ș#?{>Z\IM@g~Ei@kI@X ̖W9s@^k 21KB7ApQbڜ95 v;֋́>̡^ "< @xϗw[>(C)oVik9ۆOOko}%F?U~k)dߏVyLT5Y&juTCK~;h"gKjɥSl:(Оls;)%+(^!V(9}#jUNdM(y e٢]?zcaB~:,s\ ńt>⩇G657e"ر&ə|SMΚ]Ҽ 0bԌ+G"q 0^%--gSoR"S剖x)Om#@.6%c/E$0K=ѨCm92x1&Z*J,k g qJOTChBkCAJ(rQP:EiQ`Ä61)g~fDOH ݸtu&OySrxI&K6a?uPhNy%Q_WkFS/dHbW$_+OW gC6{ВRf@LWd񝡳b2wX8@o'b2<ꚴz0齧CDBH(kꞻ"Ơ砙vW=z#d9R-[.f}8@L(X2?↑:fb+iFҋg[C1\z;W ]HԭptDDj9c0:{ӭRևrg^"zhyJϢRZG$oъ +'2]<ђ rOQ7I=O$~hL#nc.&HMNn$5 CT;ʆUS$m|TTF;La@a<]L(»ۈ/#!vDx5Fs:oB'wHZm_*Rup–销mnBîv, ZHdQ;МVBF2Rg*01Qˠ8!$&{;o=֊@ VCb;J; h(hv9dvY[˒Y md:G$#T8ܠ"DNh3< VsxY_yO2&tpR'GƮX2yzpٞ>Ė.#_ӑ$y2c˭ j![k0sXT'"I? wW1Igm7S2\Wې.̦}7Ou|QeٔAX(ML-} &ƒH N*d~;ܦ3+)yG ^Q p>!! nD5Lfv)Zóm{INst /e?hqn~7Ň f j(Q1Vv}se{1B_(`gjLV:,8 #ou׭\7*G7IBY)8JtR eF@qK[<1;b?&?RE*;|{~_>sM m;+\R%Vko=Uv(І?DtBY7,8P:G?!/{"R8ɝ~~,*tKnt|,e,x}@!lD!68W:Z ކZ ~4Y?|:8R8ix5DK ']DkA#)vFi_[M$(K%wTy 54 PQ黾V: {ambQ`uZ ["|5$v̌;M*("1tA'pvbiN5Qa. XMQHK|g$Old Mѳ M' օ_P cA4"$z _b:`vأt뺧H14>u%a>2$GMuz5*Jk{&mSLp2/c`݂kA[ I8S% /9Jk@%XNB)GqoEpJx22hإݽƺY.|:XZ%s k=&6³& z&XU@EncY("c o_ ?F|15`CdWƁ+ҩോimgDIU 4Us]_FX9:EJM*V .I?C6?ﲒ&\MOe6zѶқuT6j*L!K/ gKBß0'ܴ_PAfaX' Mϫ3>!gB}tC5gs$jL:܆i]x-Qv1mUItxD K:S?/WYh=ܾXxi:ܑm$BBNvWTQ$ Hmd_j f߂3Y 9Tߴ m ITQ|S=MSM(t~{,l}9۝"D||`D"(+.TdL֑oV⇑ysr'Zu1]HJv;_#AFDP=ΦvC."p!ַ vPÁ qSt4Ϲr@ E3ߏ`˴q2 ֨"j#mĂK1?.] cO*/Q OK<15Y.X! blTX鈜,~d󬳅6T-e@.SޱfbLk+4 !H+ ىl<"C̩.z/a$dX:F6rmZw3ϟe nݹԹyiݲ ^s|ف𣶴#"muOa 1/ F`e) <>qsϠ4Lua,@.-I18ܦMF,6zzڣd43kw ~`P_Zu ŕ `]쥔0/q#= o銚>^)m ~aVcI#gLym]W(t !BdEoegz`,f7 M|u#6MYE~(@+5xѪ0f` Yj,Q؈ %U=@aeUL|Ԣ?eDZ̳ڎl3[8AWYQ5<\Y1W(&ZN0f9ذ:ȪAW7&p( ywoJ ЩxM:̽=+5K*AJ΄%[}=DeMJvnVe$En"u5iB~̑}p χdS_% x,ylcI @l9|e9ɯ/RIhg6T1m#pn,5qEf?d/NAJ/sʨ_:~"(<,b袁;0T{YVEJWz9/Zd]) +v(O&XoѿtX 3ёJ&+vV$0仧K2=7n+NCjimJHP*dxI=xtvue0jnS~{9f#?yV)w>6Ƥ)H^ݯGTBUeUG 0y&=\5F5*#UAdYX,pLq.;_s1&LQEn6|B$纕9s#WP0$ٵ7]T[|3`q%oE ֈłD*mvEq0![eC0>#f>Y4 Tu(ot#?"%",bɧn"#7 )M-Q5L0HV$KO+Zk^H/Nn~MUe.(GcWc+NZ 7gWz퐨'z3)Z.Rf1OxNWϛ p7yٱt|8qи]|-4a5q ߞKuM䣛4h#5?.!+(N$B`.%SEd+J`Lq [+$ԇW/ߥqGyՂO#Icd|Fk4f'wg"hڎ`T8Z'Uor-c&>ߠ:s $biW!ރuJ1~4?FD/ u gkh?ߺH<ѣѼ/Ȕ+0ϚLK槃vEj: `qU`[u'=5hvcWjiV/ {&%oi޵AAa EOQJ~~Zf~ neIRp2ZОRҗyb38H!GBv%%7?֪RK6 pFJq 1-RfF(*?ir}S%XOu%dJgP׶rwsW׫ @J8K {o~ȳV:Wkr1|U!?#Y%xHC!A5Ay lBz^9 1w@G + I9O )&[~?DˌÝQ5Ȋړ"WVGZ'P\b ~m^©_{nH][xSC@<+i\[3Ay}L+E/GJWLVjGm'pWӉ7:cSIۮ6 )ܟ:߀L xi6LLuMQ٫+ 61VJy>DԨ/>3B84]x\O䢳ɜrHSI-15PG&[.P9fv$PY\g >W}Sir$Y"Z'8]yP>8:'zYs6po "kCc7X"_ :˘Z4Eg#@UK|lŘ9O9jϦLV%kzNH=#,c^ Ŝ b.P']bϥңaLѠȢ`s%<5tIz;Cn\y9A'FjkntF}5Qgn=ً Au)}55&s@l2t7IkS0n8^"Utlfiqů4 -LVK!O=) -KuXú-FIr?ti~}{MU.nH6 f=SOk(0B0pDQ:"aޯFYg܋.5r jiFO"8[Ӑ9"6Z]oݛUee!XZ |R^%^WP7Cgq~|::f'4tK&\rS$ESuoK+Fk"^;x'28 ; l62Ҭ'rm!Uc՞6'5&LF)wq (&`z&e4XxD&(I=fb9f2uho5 qd2 $дK\exĐhPW!Qw q?yj^0 P\^w65hX^_Hu7|(陗q,u%77b4 12>m (_cĨ!Y!nouŹB! %qZl9 ~{VXDpb[NJj{NV#3e %9b<*14lxg2v{쪶]cJ5̴VPy2pW&r०ș7e{lF%\n_O׈Vo`SfeDJ:&Jy" ߽NZ ǁ<4ؼp]~X?%#@ ĀmGۀLvԓj!栚;Ib&UGtc[-uV|*ph&f+g!4t7% ~)xpt!3ԁȯlt2boሄDQ]0R{"2~rhM?P878Y:W?mSPTۯ/:8-[ӷ0qnzy+:GPp뷻>V"Fk%lmn`3+oB́1 6+G{1O "Pgv%w $n)9g#IhsWE2Dpx|ڞm` 7NZjCxC ofiNr"3Q/,* +A3#4"3>hIZ%NǪ6'QB ̏ץwӌJ!5&Պ+3}Ur2? ghCFIUڀ>l*dې̓`v$N7QO 3&`M#BNo\] ظk~=lc36!VN*;%)D='MԖ6YwoW)mrP WsoWc@tjq>k̘:9SoDLDJ]ηKڊOED FS"(Ju2B΋S| ht8vMX͹̓yQ,|iT*Uq H OL-@+pjpc^{m2n0,ڪH c]=*Zwn]n3f eƁ޿rL<t,dN?*M) $/`U>Zz"qq"&$F:ȿb9m$T%mLBp0iVݶ9PЄoW9nFA"N|sB]C㟒>*V^& w$LխӪ pv:1G9ѫ"*_[,qs >TY#oS jv cjZ‹=k_<%jTWE_WX'ZVQ`pUa<7[ جO8qTz䲡X#{~T xS* $voz2ʞ pElE8VېUũDssҽxw`堆ob=kX֞&X/90! E?m-)퀎_nUp:f45hq~\ 8֏W`% >o~O "3BJ Vljd_Un'1nk|4z.YH:k}ӫMq. \x/ ak7X^IJz}>[Zi̇$5X`νDim"ӕN +8k]#ҕT9UW)xB$My;{G-bʼ< \^0~cU@Nk^#Dr6hsSBCam oU[ΊǎH"2zɬ64_j)znxQEAw:l/]cp \V74{tHcx5SVd(qʮCa.KPE״N)Tinv41XRMPlf5/GsbDbA(ؽl;*K7_ 1Dhj"c@d-ۇ8MρEc4LSv5?R08ۑ3sqgqm M0/PKJyN ‹jU\//$4SZ]^6dO`a!90OQ{9vQ;w@_z;hi\|E.O`ޕN]bf񺲄jteX%U%rR1QUImj}BRǕU'/ca \d ILÊ·7웄F!%Q9MMNLbGp2qzG(vgű9˜:bu|_]7 r= N7Z\MGɀ%#n(Cg_M g{߷_k @] $\Rن1Uӵ.#= 55=b FVQ]K (R)$RRבmr 7|͘Jtg*0A'Ble~v:EQ_K]Q̪*g>8 FOG"4bώ/~æSV(Aj?Fz`@˟\"w:bg-7 ?dw9w0ZϤz,tޱb|Ky]L|^[I_~K6&Hoa&>nmv.̟)edR37Tx5PX[0cu N#m%J=|qݮFw?k3qN)"XvF͈<_LxZ%Ot *p1 HZ5zⓐv{͚6T:#'C|QW HbJ!