SQLite format 3@ #- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ?< ; HOL-ex:threads=6elapsed=193.203cpu=864.520gc=84.256factor=4.477zXZִF! >]ŗXf1-q恉<E#Hv=rP9d-{x]kL/cUs a)F%\/Zug;Ŷǖ:~6) 9'i)D&+}#9M0*4,Mt}C_:7>ظ +k64ASlU&|6i7rWP  eȵwnK 37S5m)QV7y?pq$x|!х[N,[rtjiXe(3=m&y&ŌcՑi+$_TP%VM¤ţ;MWl.! Opō: ߵ0u3p'ٲfzT%EcH }$G*1a'bP'`Lȩ8&4E5/rer= :ɶTcz3Q< A]4ܳZ"k1׻ȇ>ؗ]PurMTۘApd|e>c(裹b"RHK3TIWYmʠT rM#3/&MxP͕0mu1bAy 7³sӈG$.AyYßIu9I+زB0΂DdQ: n,0X32sӐPu_߶9AI: $>kn,Ա\rWK,+v#&U^1~hiA)!d,I}K4GWl~vLȭE8Y1S"mT4kf 1pq @21e# p@5> “S&쿔<)CJLzU^[\@+oʥz]+qNH:+GbI8@<I#`IH"rmLJ'-qG'-fܣݼM#hZ;HۻrkO8Y Bc,b{--4Ii! J wG- < z`` e/aC?&a6EH\qp/ ?+P2\)"Wz{7%.F1T#6 @:rUtܞHFfY)p=T="mͿϓk ȸr0t7S 82%m{:̝VK)cW 9gD4JHO%6\n9пL]l 2<A{1vjߋ 3er*!} uP`> jK,cκ6Qhig`d$U0m5ό!w! Lw)}pUϕ E,,FF`>"`:$ QS=kYzMmWHt#L~q V%r>yqd]Tv!!GIniT?tE""Ce/AFH ib7mGF6;<,z}(VoE5puje.,Z4 rIcf1r̔AkΉszJl5xSy1(gJkVySL0m Npj~W #Ġr.ۅnS0wc׌HW跺mSM؍EVA4$# 'Se Tm$&vث OZvuEpJI{ La/X{aBz^i,s)H}v=={[5 K[A6~ת"foYw0a_س'.dV{X<%)Y{4O1bJSpK; ڔ%: ij{4?^wrk.;5>^Asla},? NB4%l ҉z . R` nfVjPnGm` v4.mOՏ RJ?0/VW$#\7~TOo%2 |v)?y6q9<)Ո1j.(dܪܽ"` 'v'\uj˖1W}Jw^|U:5b暙E "zm*! z!6(LB /m,E2.NٺvvQ2Vƌub&ip7L~Y2 œJ_ARN *V}~$x'4! jN#"ėF6Wt-ZǍ2dc?&κ:+ds?.bVi5d DQ*yJF gզ2 I6Oi\pIӢIUWfrDt ;}>_jmC 0`ܶ2r5Mc,ދ?C,Ndh]oK C1&QzAO/³:)k+,Dy) =/qpI; 8A QqC2Vwx/>톟 BTάQE40Nn?VRDU!=@%FE,3-#Z?@ O2-Sf׬K/7@"B'ݟIu΅tb$"W[erD' =l^ \7*'D'!lJdD$}?YY7vDQBt8# e oDI9AFGm"̥} >ؓjㄯoS- S7*3!x^3ʖm r6\6sXzC>oEYDg_gu+)o9h[t'O^좴^S/ n/"hZ6ɝOU0'*dH&u_d/1dK0R,[JR&Yѐ}ąx&i4-Z΂"g>=+*59\})c.]^.A:Of.dX:FãfRI:n6`ȶ,lMaLRcV'LȠ*-,&w #B]eF;nxPA4/= HX Fx> +מt2h7˅ ^m9@p\Xa]]Fwtdsh~5`Վ67զ_aXt5x{2q1Zo! w(eY(-)yϔb0d8\_FdEkQH!l!H{6}4R_GN[/;%mJ0x4l1VsׂVNc9 7i xE' *"({܏LrrNcdS)O2\{: YQc"E|AoWѥ\WVn5UټxI](0,&4B\tNS۹qlOI_IF~$ՙ՘QXV_$ k(2̢ Te]:IW?|7+E&`SةA@BY૕DRz~y\`dԾԷ6^GgIjJTUޏ}V*5(]wfi<mkf$K' w/]R jUZ*dZ܋+#5Sޚ!6}nY-ۮjЄXk..2cڷ.d4V"`:M! mN^Ȱ,cծEIi=?:.xBvZچd V/pnXŋ=)CܞI֧>}l?P rp((lAV bpcx2}! XBnrߢ5B>.]ܬsH!ˎ#l<"ߎ/9:`iSFE\JNS.ngm][cH=TR%;'Y܏(G[aycW)\'~SdL?h!D,W"6pi CAǓװA >H(&[6? ӠթN X%Dt"Z=TݩYhM!0j %VK]jm3}GU`XLTɊ[坵Jq 4/It~/pg_ H")KZY}wN|,dB96 ?$TEw/ͅGIT0Nڰf#,uwO7rZ\ zpq$k#OH#8$4ݦ)Y͞4 XߡmE# sFZEH݈:ƘkV(~}_T!"Y@<ǔ%7Ȯ]/)\ 1K3f\EڔC[S:jኗt%b4]J1V!W(-5?-'5EU)ijyoQo{$ <&lM{ilU DśINHD3j[L=X~=(P%G۱_C_jCdBy= YGq>)=(yq&¼G :H@%YcGn0_OUp_o J抴Ynnbkhj\AjSFTD~)Jt{EiՖf+-Qrn]_$P ` $$jhz'2w"{% ~/T!RA}t,϶V=E8. vW#FyMR`\x&rEOϒVzE'h_˕CFh$Jv>>Zl=_ m,Fm81J(booXID$"^KLDYT]cQa^/#}`P/D2`LiW[ lnwWYV#2j6SPR૦U=X^0,۪j ʗ(J  ie0دE3 Պ9tBGDup\ea6tjN[v]0BTh3$XI&tyLDzk /H _S/W*}gOPď+G>)NcDN],RBF \TfIj0 RK 3\38-S>7ndܦq) 1mXMɲż nofq"aon0Wbof 2`8. .\r R;Gyy& }/OU`QU6ld+_i"wu} >EMtt%@ZOyQj#U} BhD=BWoHu1Ei4Qswݫh6:.c:~H}}"Ypaf"qXlOkyI*uj6;T'y"l^0I"T7մHeӆRٯS&eF[$f"bYhY_|O|:gF$pEjngkFh)|Ȭ=%o,J񽦚^֩c]h~{U!o3\j\0MPH09&~T>G1F74y,&}jiGѨG93cY[uN"sS BVSa2@)eN`@_9W؝`uBP(0F cO3K6UNH)+Z=}r09uLe[637ؓ2$g%jeLבc1[Dï2e%5.^M$u )2E4_? ɵ)!uΚ4d{V!% T[^*bjXxK놜Vu9~p>ZT#lm~6Yv$?HJUr7sD}G50B6%f"|m-QHft ٳ5p?SJT&Do ݴL1B fBr& PTF[9B F cwoHQtą;pN" 婙M4m=LHۇ̭ɰ{BܤT$&T J)1( `0?.y4Gk r/vҫ=x<5tUP͏xھ4 +6ᲜFV~|e  RUCEg{i8<٘0\{҈Buv Bt^0%xz T?i*Խ{xzS֩g2 ;6BSe,"K^Fה(⻷H6=7y=s/"Qć7~g{ \6,'Tܠmt AP xE0wæ!4VF{:z!d?ꤓ8#mb@.1βMpuҁcمcjrQ[;X>k{ O%}/{ ρ:#rou*Ƴ'P>DZP^ @So:,UņĸA0&Z!Ɇߦ 7X0Ap)1mR/ "'dנz3ƨB^2^?8oMlٹiZq[>"i 0cr1six&}XoV^U~Ob`K ɦɟKsF`c|}5j";8D9i;)Y{cgoʉ_;0:UKq@[3|!*[1m}H"NX[T_;P W;oj 3Q{U3Y0?_[C)Ȧdm@X/EJ!J~ v5pMo~n9;r5zw85S4{ގ=8J)yy}[I%dYgE^IkD9OjDI җHn7͸j P"Fw"I=_)h}rEo6f@a…}kc5YE4k+ׯ茹.U`5py]7M [teXX?17JhA__Ĩ ( Xf 9(Y!EJcBR߰%v>V1,6ڋ"~ szl5m1OSzّHڅ,L`+puw$g@! l+@;'?hMt]_bV8ۑOґ`XL|+`u|[v֧1kp ]Fmhk`ܦK9΢ղ}4d' `rWG[n#D`юQ x @jydhdsEv 4ۯ{`3 ,qqB 2,u =oL)kn\6_\ *T:7 p9^#oUR#w ba%+VcFglBi}K[hw>5^Q_R(/5²GF~4 MxC00}ct~ &cIP PגWOx'oK؞D=n XW!@z\MjNjDo dH.Kpߊv׍ ]+f"[WA]@_^So 힉UU$1H?S9?E+l8r&mdKc mߖfӠuAe4dYO/cA(,`Y"o9"YbVIZakv1ei-9锄?"oIGކ"w!T,ME#-R6i_Dd:7ٝ%%H}禫pia^Nւӵq 'IpS%u/_#{sTa|C߄_nߴ(zf3 qAB& |`C%7|}xJNwNnq,~ Vo: 2VYrCPہqIU^N&l81P׬*6 2.gI0]Xn,^Z}wDn֎ح9"Y2p}ɞ`[f!LmO8pc"jd`okBm`%x-S-#(xq1/Y\^b݀[jvIob]S'k}~s?x\,^21 HtfE!swn 4嵟vq~gށZ㗃!7x갣I߆L<:4Et4Lxa.I6-XS16ty[IYҿ6^ Nc:Va,j J{J)Az-˼يgRX>#U_ֵ+}3"*Sp%އA"pbrh^+m}˼f ߅$}ylBU=hwjͧ6}J/W!gמ@Wx-AjA{&{]dbG\Njrl^lBb{VKT.La{@ɘV\vY-ԯhK˙LMKG}dqjfK"yw ["koU+ڱ\< `S5' +ZJ6wɅ6;|ʊd:Fsu0`O~kژX> ٵH,ߦQɉP"kJSj2mp(ʻvj"[OHڳhu2a4涣xjWs2OSc=#L'0f4sS~HDh l}ìT_ITOA_^X|#%pg& }`.5n;IB>汯k,BDr:Jy!J>C[N,ΠQeߧ.yrRJJ2XUxPW`O@X&Jtmл A4I_}8 3Qmf6+*,~p n@ T]6CU~S!E SG^"(*tI[SA7[ki&2E)!|;ͪkNeCq!ЖN++-Nܮ}2$ϝg:D.JNa@g(dff6ͯQL51D"MwѤCH8 ǖ -yꊳq`͏x̫=3cKN dSOVԲXRܤED,C@SLX6^973B@F~6N.EQ+ @TW烍\»7&4geҥZ\=nR{XCb.ޅwN,R9eGíKjzUU~ndĉe[|%J,V"iLVo&ۉ@v^Nq1Xʒiew/G}sm./;1Q" w5R/ -s ϺfsQ|"VFn,o3sd\F.ljw2l"rpw r\gap/Osե˔P)^zd V XEZ.U\ʽ3eb {_Ars~BWbAX%\V{w2Sa.oG-'s̜r3P%:3J!ZJy=Tr{s# ,X!%pSjO V vg^{9wCMTķL!b0kA SRtD/#7xU!J_mDH =D4]awN{^C5bSOgp=eAa̚p)ӌ3 OK9|10e{MAʞiK@V\Y#Y gr#{ӒH/*tV#/ FԎ`]xFOK;ښ?-VSXj;4,>q!< <&3/PcEpIsWp0&"u})N/Iλ@m(HJz+dbΔ7fg[PFqΦ>'xNƧI`G>UhTzw<,9NS 9] RTiJmHny ¨t3>G;9-sL:mc8TjMݐ^L<*GW߷ ;'$"h dx8F1.! !S 9ZCZA8#oj(񰭜/ľssy{.W-L;zKEcp<ۼQ31ƅZ.-SϢ!Sws˶rc 1&R:^w9|_i(->h Or"\nF͵f+BKo YKw@9qV\XpܓtAJ' E_,˭/!eH^DkGu9zOzL@H8Ol}3La[ܷ9r9EdDTuv<[^m6e/cATw2m1ĘAqPfS/Wv-0EV b4N.B xgMBȄkM=lg@Qoida_˳EU %rq 8bB7Rh@A,f'r7 gO~ 8y!3~y(OL zyC{؀Qg»m(gb4$*O3_aio!xRfJn7[78=rzfFv90(\5т!Rh/qzu3 p85@ Ѫ?'?gwH(x[]Wmqj9:}cGrA'IЩ Vf RLZ YKnTrE݁zP<2M*sZ{Bj1\9, >?9A#]kp^n*l+ ]ؔ)` :Ju,gOcr.Y]F䰳%*1=\[$#^j.gT;X}1{ wXkR {[tB>:b mG&8Dhli޽ )0?,,@v<W<#FڳĉWKNNWXe${d0"oG &yc5V:Xj"yf^= $c}I%bi4 SXb_fA:ܞ7U{_YIDFCm!Ve+͔=_Ke=`OLjTvA%;tHLÜ {uP1zf[;QGJo0pX|;@xZYTײ3tu.GO &$o09F ߺ<&0ƳÛ!F{iAP~NEXpgaFB$߬/9e O8e%m5vmĘf Ox2.T5rO>GP$Fg#Qf*Ds8#dz)xX>B ʼef$ WȑxCi$ T)r,:;({gk"\#} CpgYZ7zXZִF! K4]ŗXi%N<%>hRJs(!UEج_x_[nxau_vsJ>5bS"` h*ש5+ĒDŁcTCMb<%p&,~GSN "Lz ;:pme9rP6^rvQ"=6n k]E1{wzk^R^ Ejn[+Q[,\>!s%dlJӧ zzUXבE|[ 񘈘Ǵ)Y\6=K\Rr<f`ǐ+sb.sō!jx'p-"G/a%TfMo/e`#ì>٤= Zp}aTI#B$0EɡC= (0SD>$0^;  Ï'Vaܱ=]Voا@dow@Nj,,n&uW<.{36^@.#ky9*L!FVgw?S zKصҮ*FHVPe6Z:$X4&tf83*$`_x& ek-F, Zީ$C#tq@  1;n&w̸ig{3#$l&X]4 :}+U4bF+ ~o;-4R 1g&'~:`S(+֟yiY'S&&|Zjc5IK` U>U&N'Hh"嬼I~04/·FEU}ޑ i)EnFͧ<2jiGƍ;JhР/G7ܢ,[oW4Weύ3L[I3 P9-iis%Γ& arkܯGVFdDJ3꯽6݊ks{UtVg8s)wk]k4 =\YRQ*N9=il=N4BX1 :˦.|fC# >Dp<(:6Y}Gf+Qw,8U}皊>)ۮ;./VfgwQO}`n )oNVWjMr[ЪB%HϖOlgKUP Tz%ڴ5VvTard_9}:@fB:?D߫Co TD>½$z/=&΅d[69n6V9w^ \Pڋ׻v1=F% :oK+/4^bK򀾮Q0l8.j9!+y{%JUic)tY{w GMV.6)c/1Qaߌ"чC3VXLY%%)P)4HRj K2į`WӘŢ =ڀy򘘃Oc=&k 3v? nrXnMۡW:0{q^ uvDu}4~w~;x"@x^qڬFt%_[;;WVsJ1r6GB3 /aZ+~T[I\rC;mX]5IYdxFE4Oy{`iD`Qݔl`sZW7nFqON$c|sI9Oj=^[;t^J%"lrStۅ.TI=IBCmK7-rObrɶ-Bv9EA3!I5Iы%ʦ|T.8ó8\GR'brYm "210c9ǝu6e &(qC1ċBXBgu<KYU谣/ihA -ZX~g3mCeˇ`]6gLihJh[n0Y=eCDe?;Tez2=zun>0/gRf-wRt@x;hj7qETp[`y(A9Pi]8w+Inͫ'@ @\slN<ПUպ})")>tSqAYjiE)?:as|\. VI Mx сP'):l4Ѐ=؇7#d*^g(i1wvciGN7%VPK@J%B7i? "\)*.#шۖd|F؏>Tk*ǭı}${%(\2O4|).1|K!c6 |YV~ju!>;ђ*zYMUB phݩdH!8kU7XYg+iįkW) O'!O/P1 F,C!f #ð` *6h2pp NU秢_BJ~EP3K6_hGp1\HlmtRoFo,䀘w[:]5עBRDp>ͻ:~?s5Fe8Voh4Qc9rk BjW*a;;!l.pbBDJq]g02Aܰlely#na!kn:M1`Ǘ{\ka ^ ׏0/Waf7[Iu+tTӿ,6uSe36u ö-{sgd32_ (>D?DqcP(ڜ$qH[?^2& A_f OQlD4Jٯ tVlʈRF/۟SV۽_TW5NU4 Dj\]3-I {k'FF>kI=#. ]]=z0R}=H[tى:/na%k`5%eUi۷MXiF8 HyÇD( bc}/_.^|;0Tmp/DDwTSE-e$Xt$/Fm`dF['i\Ö&ԛLKR >`| o-N7A0kah- e>#/ IK1QJT^ }ˀsyb> .ѬdcСƯ++g<]y, qa"vUBM1a" 0+]/ bT2wp@D^]baHv2L^(kp*f$9HfÙ2*36(su@3 &˱P MM tQK~um\W˪J## tN`= X` e#%I|G,Xٯr"O/#:&O绛uPK>|.e@X"BtbL[)ϷS= w<X<B%ɗ5 g'`PwpbM,s}RNRQ$q^-KGD=b3z+@QesO@&|BpBhkiW<@(Yoe@*vsQz S& FXnnSR?YW۫>K9NJ-~ \Dwce_K3'a.iYbD(Pw?\[õ;-F!*WJwcG v9{'|m?/(Wq73b]*DuI0 ^jY<F#ko {9ڐT)x;P̂EC;oE^xeS"h ^AUCsT,`>|2O߼*y(r٘z}[e!D,]2w҅~p9N1` ~M$kLAN:%1uAoP ,&h^ { iSFh)~sKؿ[nͪdPz";bʜGls M5T}4ED~ˑ_I7CJjlk?v~\288P=OBu|wіsͽ]֟0*g_dt9o-r,T-|caSt^t* E Dok%eݚ5\5b|Q>rwe8sk5*PO!V 5VzGx:q F7&ƣ8;QVZ&c3c뱩|j\35rB_[tL27ăV\>͔ﰼsJB8=АC|=0E#BOj7A ׻Bԝ`c YZ+ ꡛL`q.4?~lS!\jv:1p\]N$tuՕac "c{eq EN( z4 Qazxh!:AYx]-L6j050m/cyhƓdE6X~ax6D% [&\3n(A.m@.&ȅfeC?-Yrq~Jܔ\ulnonJ3 #[6 ϑ=7|M ɐ; 2e~Kzu4D[;|.z^#`-cnY] a1xZkOoY;eADVλj)NubylخGSfV5EĜc_f#zRxqG]!wQd> 7Sq-HF[:R1z;9NKe szBzǡYV:J *y0~̗ #[!_9'E~r{,U =RJiG[r.>V 1ν\ k6OǒPU2؟eʭ7ɫRn6+@9iLt?9/ r &6*0H؋?W4D+R4\ز}a۫/b1%![hНVAM!3ERdzBG%cSI2׿N o1SB7j-oS4 xeF >&v_9ݗcV;XtLZW| ΘwwЁzfSowoSDyzp~N/+8qB]Q*Hd}ۋ8A:hܴ=7@)< Zj`,1[Qmi 8$@iutGg7bR3i\#mQ[h8Bg+Sc_+%hMȣ뗬 .+!Ok'zzL0A2t ɑ BJ:b$@ }V ' [|>N b_Eΐp25NT^''0H)|IAJ|yq@EF51h%n+A4%VFhMĦ=-9cx#}*+hX!M_|VjBnXN:*sxrѶHr?|rKRS>;6IUn%CU*i|Wm?ƵnJ4 ]tV/"+q}M1yw֭&#TaKlk~T'[%w| %JWIqeYN @'A2SlM'yTc, #_ElK?ڈk') Z˧ؑbyRNLT<7rJx SZM``/eppS#]?`CZxnv{E̡3Y?{BK[J' kͶl LQ{!QY7@ݾDq/q-98frS:E[Xb;İv|tm37r *&ꖸ"JRWAR.?8Ř66[R\ɜ"QSȲ^@_R@gAk'T?d\:x~#u wWވ-EGCJMMcr?lf^f;DZLjJԿ,YcU +3; 4Gۺ$0Jx!k)p_>EBHaPc?6$v|= kd>0ƬW=ORoOP'[8k^F6QjY|֗@R b+W4aFekZeGO #qwY%$J}mС7ODf%$<m|_@ 3mA LvU#\xz9ǐl\,o7F&rq0rL# D#"^o=!zJ`'vw."y;R2+L$ aHֶN5ujjKO,X:U^Lؕ<ُ9b BhY 8DKje$NkEⶤCP͎!ݐIbQ̐#* xcDI*Yڻ!GUNΰ m inbi{%zkFz@{66.Ψ]܋MJ<|s)EIsgt".5.Yo08$92C[qRUMH AZ𱊺=bl+Mi1,q#Ԇ|r.kjB6K~tK;(l,[iWzv]a\}jKL7XNcO/E:~WUu5.u]m 8,ZpZe-ul'rj\4pb)RKn.?#鴻 RZ?汁zn*]8F+Gj4@q*td\u;3")e^U[U2Tp]Ȫ" !<,xzW4'(mey,13{$~"|l9 =O:Q8R7~̵NiY3T1a,LKKX[NhtwX.'eV>!AjxIˬ[3:Ѿk*&^.*$ƶ8 $r^]q Է 79tTe$2XuF9%jzF_8"5Er|tr}] ϤfZ/B`mPhDx^ 05SS'S dhnY R]fc(A;zyaisuTE]uޔ ]N߿Pҙ3vm(K}uQNj$RB3,is~Ju濬|B@q#ϸї8ddaֈ2lUܹesēA]bA"ذ;F5̯Ϫd}Iu MXuTC..3گRyPdc&ibu}!嶼=7;F~lI`呙6\~1Gvh+dyի3Gv% #۩c҈Kꙓ,5)mn1p.U$8u3߷TGw: ,1a9߾}8./ 4i3vq5x(^a_RK6j'׽]%g U Cyߝ$Y( 7yKU -@&oLZo?L!!~]F4bVa>o_f_R^LVE!CًLF"@5Ҫ#P{dA(H1!!Aw-zw r *K%Y/ڌED]iK %[cF\X;.dIGHL8\v!rWi&JIwZAl\ ؽ#w Y'`*ЩYO1HgޙS5L9`;1i5hjӻdW\3) Cc3M׀=ˈf"&6b`W{7'eE7o/R(y̝"qx $”N<53=BVEb}80 ~BGduaFPb;e`3e[r~ 8ϰaj=Z&U=pYsZאr⇖WfZ=4̥Wq08ٱF óȻֺoa(1s8ngFr5V:uk؂7nAb/kCYuN꾗+|lM*܏φOOnm1 cX4 >s GL=?S&$=<`L(dEir纾zpPϮͣZ (=`et.e/m cJ+#.N}ćNMzP(.bdzי_@q{/*](Xk6O GÉP2e\?-}klha FsvzULi<3 Nt G"Wb?GށKBe-dT!mڽ!+% Tr$ydHڎ ћcӧ2yut8Iϙ beTh'Vg)6{% ':Ѝ!#'>AsFt|0el]FzB AQF[V.Frg5@l"-؈Uͽn{m-&=e~L5N+i[_yQp Yd0T*\B$a0epA!z#z;LU>d7֗R_nUa(꼘-8b)\c%ٍ"F| d*S:_b1f򤣰_Ա`,3l/+xl$;Ċgۘ,GY@Q+tlU]qݺI&?{8‡~opQ>|_$9Ȓ\<&Fu~DPbRV RF[)Kjc"7]$Z6 (mD wE1AZ?fqw{z<Anz2!b1%FW޴:P9xDwCP؃0b "sɇ )G\Yϩꅽ4\Opr{yh/=o5ła