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  KIDd< ]/ HOL-Predicate_Compile_Examples:threads=4elapsed=77.519cpu=253.328gc=16.552factor=3.277zXZִF! NH]ŗXiɟH)0%o&=poe=JLlư%(dzP :yd Ta1xP=iH :cTYi@"AWKدh2kLpd^u߼Ab;z J'7UnЍ~Lh; t $dV1l`:E'Dmj&?RY"iHgRS@c]Z[(zl!πl ;,k?[g,= }1)t1.d 38v}]tf^bzyfev`WC j, :VOa Tۃ$/ 툫iy4ܼTBqBJ;X=]b&DChw 2ɧ G80L#c GiǣȔ|MhцHSR'.!X,0\|g47e\vm(5Z {L5OpntWAn}p|i?3.cu:[2=卿: > qlD-p%_L/NŻd vib{'xn0WIQ(FHIjP/E}ٗ;kԚ1;7#rt@~`Y'jxާ!`4cv )bS^[ p'ܻu ֋k%~&gАODӠI 07wf\ܝzg1QgAEM?YBJNi8.f]gک<ؙw+3. !^D0z7Nt p{U55Vn~а5 blXQRU+rʫ$T|>Ƈ_BhH*ڍIFܬK(. "EB پl)`T戶kx+`+yvmW?zEG"٘ȱ37YF崃E 8jS: Uۙv(DfAa&k&oWi΋Z(}JIxSX Ɵ,/a' 6mPRL61*9XXvp8~ $uֳ\^l޵OP !I HOL-Predicate_Compile_Examples  6'F~~)1W0i}+]/D;Cgqr_̅/Uv^Rf;5Uz0R̯w:&XΧ̪| PMF>E4 oDmfvMR}[9.[?#fKJ;\#R&nk#t[W\ ?>3T:j8tyzaVem):v9^0w%MBE.髸@+)WFj02 p8jweWjŮ;fM?X^q6f H"*B.]pD;a՞fʯn?GI =cmί{Ücq6jY8] Ґ*a#gbׂaT!go #J^-*OlFU81^\k!P)Oʍ]Wqpo>xm&.cE{~33Z>HUe9 p<%P? *3f dr$9z_upf+JP%Ħ ǵe̴yӤ56 r ! ~FLwL?"용F6]7Mxlw{(m7QMCo я/&4~ "jaC_ πIN`_~wҙ%CFkˮX5JČ9 ̈́(K,#N͓$O"D#jhxaDuر9E&4LN~|f>bE #k\4Oߏþ;NmoZDV ޔ:Z *v =:>)w m"`3<>I4Sc,J·^OӭqlW3P"qZp2cox|/ӺM#!~7Ze&gig:Z[e/a5d%Q/YfCքL:ߧnFI*t=9q~ѣOzþ>)c';c HZska9[y -58#uܤnC\9VMĶg,a6m xܸ,%?a:$`aTzEǧlRFN7UO^`y]'+2+6,jє ];t-\j¤d8.#2_7Av'xٳɸoԸʀ:0b_\NG@c-mj7tDފ*R_ ?`  ,AkAAW|[f/ lo+ErTy!(7߸%¬QO;T1;U! Jfʉswl[&qghuk] ;i^c:i8^H:l"6pNz)?b`ɮ&Žjv7qfKkȂ#Q{# K6'p%3[o}]Ad=TbI]*n⟊UѪF9^{tJPhfAO^cJ.XФH:Pm^99jRd1y/NS@Q,<qU\c@^ܭ}!Yx+SZ2z@@[Kuy,pbtA'[q[iVg⥩!!Q+y&|wp>jNFv.ԜS/Эu_7^FF6qg ʻ7٨5tψ?#8  UK1ҭ[Mغ|E}z-aO9$8ED:# 6@,P4؃SNg]L%J}/ ۔?yhpQ\lq&o(nicuyqԮ5#5ve%7oZUg 2mA#Qey,m+ q[הAkVX2I*i=")hM˨r_j\1ze?R.YYCe3`GBS_wONx=wjOzM^g/RNٗɽs3N@v>KaiIPD00 %PJI0QtL--qsMZ)MEUC![F: >qg5$gbH~tbXx/7mT}.+YέqMFY/V|xKUmqUL*=#Mu=z4 ȟ&ȕv#@SD*Qmrچ]1/frÁu0a&edJ`4b[lN{ v-wkRyUr_J?`[J[i鿉;; nHoqK+ pҟ?ko iWjpQ+20O]S<v$c_ͬFĨH+c>)`VqY*t=݅Y[= ٱ|DK@EbLz>PHTLe#F3ZO6Gfacȏ?^.͛ўL°{OV8ONKfκaYFũ jZ_} YyoH^A3e5]ekn # P4^ Ѐ~,Mr;f`âKL4kw+n 6C<< Toa 8vT_mQ qʢTYXo#+QpAx""a["U*(N81rO& nߤՏM"zeo(QI0wh.DSa HZ@ qRo2>o3aZ2aN`(S`D%K<ua<9~ \1$3i睴! X~FL؁wbk/C',Q y})`2>G>sw txŷc3(Yi&z0d]{ .0/$8 xoqsAql-'Rl䩅Uy 6 0S}_#2.'$A'ͩ.*A^O>fL  3ZwE^ZxMv4;+Wψbi!23P6Kި:nMAHvz(9շ\T'd ~s^=s''4LVvu3[;yx4{"'W&5$OGdYcć~Ã(J_OsO^FYTo3Y sb(E1A|&l6D օ0BMg`=*Zȴh0+:*-Iܦ,N%6PpSC-yUlԩ8NLF䄗 a*|>pzൔnNC̾v]8 ElSVO&w%t$O"?S(C#×h:>G8F;D.䜻~ۑ=YϦ%؛^xEñGEdT`簪"~q|c8LI%i}!g2:䈷o̷S7iyќs΢.tߥCދܧA'5}y>eQ&04rj豂XARcFjEjC7 hMMcY9r'3uON/Y3g wN_WMrPS ~-qk"wT/0> *uΤ!jB1y@,F-*{խj%yCQ$ !Y{7u.{Sd [SH sud$Jt> a @cK(OՌۏ$iFcb0@} Rqz @#ȍݟr er"4Y%^7- + LHKm/:rOa.V.Dksd[)/t ^X,6z^W]~V9H e3dT둟/:*$0_aY򍽥\g߮ w>" B3TqS:oNbl?3fqmmVa-=fD5'5Dr.*J`I|T# "muE8B\x<A&4#kt4SeKl?N$w "-/V8@#wR0W]i<10&Z*F֗ z:r|d5AY̔L.ٌ%q,9*%Hn+?~e ds2a8 .>0Wׅ(l s(jMֆR-zo0,0X!4x e#tjYOj7kq{5~u AHӇxQ K/"q h)VKWMVTN=$%ٲ5xϝQ`#"RR,EΖptf+9yɒO)a6Re  L}n,˫$9jZvad՟d- c(,gˡb/LJ?/ܟju0\l%&R g9M<^.Q6m5$0,lh)0mOox#2%^X8\h$  7A <n>7~9o ^mv/H?p_4CAHSEaP15Ji~/מU^16G:}OJm}  J#>jK\-nߖQ$k`J9EL[Z{2XѺMrs`CZ02o~CM2[MtK9GL0yP7w-Uw(ہ*p z<uʌFhT6S]B|-)X?M}.qhqrP F;)v+ @.&*]CNHzZ4|H}jGxƍ΀tT 'oXqd4k˶vK#JZRE-% B4͓ipfA[^+DmBLpf WG}*|x+}\Z{[Ts˛btn+ќc&N˜cG\٠>PpoNr/.V00jlXa])7O^d{RAigr)a!VXx|ICO;Sq,H~wD%zNlȨ{)aJ)$_IrԸ+t620qXGd#=p^,Ŝ9%WyBSvƧdD3sÑ'.J3$O1JT/{({84XϖVk-;nF8,ؙ:TJ9њ Y=RNnZR-߰]h1*rԢen@koԏk=?5Wdi>a6Y}l9#sR ;0ڹCϿCK)CF `YMbv>#F%Td=zh?FxB@nf̯i:7Юgs("uW!۫vy]@w:~z~N4:#Cps7S{"uZ9yD)ktւG.؈dx1`B\!~2NI]VZ* S"fJ3aGlYJE>Z=B顃Y`n9R1+l-]cⴭarPx#r;8[?xi#ޣUiٞ.S MXCS[KxVV ^mw]]Xg(8w/s5<ŁpEN@ϑLsjT[)C|\hx3l}6Dlh~C65a@Ik'[3ps2@6>~(a۸l8.6Y\I]44%{>MKyHo6!Y#˼Aq+˙2o3(J|wGڧ`nz 繙v[|*p5w.؟6g$%?(P= TWN;I$T*ޕk^2f$ mVEs=AC$N.tg sEif)*qHѵs_iH]*kR-D[[+*^,ȃ*t1nF4Ř:߭NGd4C4P*=1f QI \? u3' :sṱyYړTb̋=4'\ï# ˍ"-J ,KmTl el K;scrT7̉Z?;3܂-**w5|j瑹ny8 >.vvI261WdW*ذ?tpq+Z;x[MBW֩<;}oKh;tVH OVmV|]K;Pl㙦ACЏ/~;6e ~93OrJ:# uf=3ʏ<<y$;5.nS F;50})lR"MWyyhmZQ}{$lpdQLǍ߭uDFgY$Q{4G0$,n@byGfRz6, 躋 뙩nzKVTfd6bbO_o(@v [!M~#* 3K.Jl2Z璬HhphVbG?ݫ&HW̉ iC\|FkW j5)\&w[VN$M0yjuC%0$vt-wJ !`y]H ={f8+~ Hj9K2!#DRPoA ; #YShQod*N#l|JXilw2Uuu6l КDvaf,d8Revg'-XOdν X D^X(l (&k&'MncW<oxgcrBZ&u>ǂЂ&;@AҸ;Q2؅ۨ.~wSBN#;i^~y3>4Hv 8ֳ)&6O]ӄ!jΆ7Qe<>>0DuUb 9a4U 28:hq CHvDFWa%Voݨ_*+:lIhJTZfeR } T)1vÊIK֌r/܎UG)^M4%nγ;[W6:v[-<< GBgށK;@H⾧a1]E6sBOR ^ .yѭTņ{߬ߛMWn.mMWpi%h__#;>]ɿ/O|Jx1ȝʦ ` FR?+4!8΅~Wtu;p=piR;Ћj|B] A VwUѠHX@I5Ī=oƈic/7ezU (r }J& IJ~bdp׌q[TR;3)|ht&ҁ2+6k'*]$ }T0elf^pgLS#\~L bTjU}vjj0%Xvh3(̇sy{>إR:>0JG%D t{fڄq)yj|Bod >=A8t%nHyGkVN{IJOmѮnQY 8kݚ"UxM4lOANOĭAD~&`1(娠ewr jr"dRFJs&!U{}9 LTQ1ve.W) .DΰHt dmY$'bUQm2]!3)}GY]o,frxr@<@9,u{4 BxH5a3zupxʙqS<})nh̛6 -QN;r_[ ˏz{+8'ZUU с=V!+Ÿo9]Սs0+v4^ Q&7 {ȥUnϥ`mp>7jEnt(z_Ƶ(sSOվP#NRG԰(P?j*ͣNpB+-FX~T$7vO2=vq#2~-2,rۥ`nwP&㎯`BlWqkG/ЫWH5'KUS}.muݨ0_>E%zhyQNr9Go r<:kOV|B2fs{cW'%K`± #L"I5x/udJ"l.Qåqa.eE-)Lu{uLjZyh˩0nIdNl_cl(0\ւuI05ە:\wt,|@Q` 'v27?ew4;]}w7D,j tnae1),v+Nggvw4Jvwk;8[}!7y?LM\JB[,{I R{3&yUޔȆ _ WMazodQչvVe€rX9J^(PXvə:zb uA\+xd6I*E)]q F`Lo5i־O8-y7c ]"I5Nop+VJ~h"e΀"+ՈLD3HxMd8O@rX7P;_eB2!>[=D_à]pR..a+ Hd[֏Ht{\ھ#bZ4SJ(cLckx(hfꈬ~T.\DWEr]NUt|תB-xB˕ߔk5+|0?D AW PjMo<` ϪmbՆ? 6i.óxWrqC;Bo58b~0HTƀ.\VW^z?u0!so}*L\.$-I+A n=ABI-]/y1m05%*+rKԹ|=iwJD.5xY(4BMWUFa4~l|+!F{8$/ `1LHdZK^yaI,c֖ZҭTݷMF F!YDT4×,f˟1Ah.twS 7F0)* aG]B?ZqӴ\hAiy0w^qU.;6āzί13 ]A4Y:m(D|85;}kK@z}<({- |]oρHJmvJhYbJ1T8_d?y7ˢ\jrme # V+Fs%^s)WoO@/0#| 7Q/2X|άB(eh(0 U$e Az_!AI1*`-]< lʖf?<4rv @]+ߑk M#_nAAY:4h%;i"AUt }f-cޝ#_8V3&^'MC-̬\|£XCWHA(90 ud1vZ>$WyrR{$ytv2 5xڵ/W5܆q{Lc;4ծ2\LB?J'u{\WDۿ'M}s;R=V6$©GzFo\vNmUtPpƩb  64qHC\DH~ം}c[_"&"켾!]vbJW=؉R~0iٹe4!zř I7DW1?܃#P`#t!Úoy v9c0˞,ڹ❵O bkJQ{vrc|Y2f\bgMKJ9k\9j+@~CJݮŷyIwɪ(*H#*cf+?lS8:QJ@a6́Tl}C"E-w^| Geg g`MaUp1[4ُ8$>v)ļnO5W.Sh\@<6E SnIZ ۺKL(NQ#: ߣ\S'#.EvAZx2{@ | roߧ`c&brG 8}D}N &M򻸠9<*}ďjթfW W3z ]^D= C6pP!^y ~Ǟm`@w\ U7J1-}T6*_;p1ڽ_Eh%fzաZ#l7YY;"`"wն[:VJ!~f/|4Kr$߲3'iD""&F¼d?fr9xܜ[q7S~pЎ;pbr =^m?9V@Rtf{N0G{7Wk-j7xµoa|މ2߉gԃݧV}`98 ʆrг64` ɍ#J\eXҧ;:J^hZB gdsK"ˋ][\fc ]Bp, f6gϤ̢veb^ Zp!Hvk|Ntۡ/Dm.1m:9 7eЩms?"laQ c$)yeT#^}:D~uIvew{Jh R){JzhI+ IU rCYi;X%j&6ؓ΋5ԍit`1Gd7g]7VJj*1uP&c'@Zq d$ƶ.}ȀJG?O \Ēa) aC ͳ zP3PYXv~1/2S" `۷Pi>"ڣceSըO&@?<8iΔ@ukJ$!on6hMM-B(.&_9. QY1Bk%|P!=ܰIKlXŏKܮd[+[?.q9@0uu?qՐoyn=h$9\4'G@[W8dM 9u+njИ 5eݘ2U06/,hOpX $MI/p}'j-u% EV'YXȌj],z0!!'f h90:M碼BJܾ_x^uXH: Uu'tG{ZĽ(nKIxE/U[MU Dk/S Ez=Y2S%Q߷&/yitQ+'6ѥl íL;X->X2H-2W?ӂ)^2&Wb]0q! +v$w|0TDԼ. ut\=> ǙF!-:F>P˛k_ >/[-yge'm$IhAqbDCݭ`I p!̈M"H#dԍ?ܲeӮ]j/}URovKM91.E.-.Sh_ZN6L!ۤFb; mK΂Oaw2iv˗G{(] ^cXf,c[w&>%2hbic26+1Ř.Ho6o hr48LOS{>?~ 6ݥK#w+3ױClrh'PIߖw[9iZV7,<Ľ|WpU੏X-1ͪ*.ԭ /E.PJtmEpc$M,$~!(aK$%/`\_3k./Ձ'j!n_Y ÈVM" Bed{EEِhU-$ZPߓOZsFR}XG/$)Ѡs$[ SLr R̸1Y;)Bad8/;4T}v-yBb>KOЇ*Xosl%'%UӀu_R}٧Bّ&ϒEҟ4`>@qV(u_x }b->az# 8& ++ F$GAm1 C)j AƆ piji㓔'cDVϮR+4v; lDui$rtR}-HAjYnĝJ~dǚ"Ff3->lEr;A :=x3yu1٤jqu5q;.[?[A)֞#V["QqqC Hsr V?[Bj7%FZi.S߀nmVp4|}[ iHR@&$zN )m7&mDoaJ-eEtWD92t){~plU{(%&dVC9C`4 l?7h-$\eXVum~馋0ʉ/rvj׌LzȤo q=-pD c=3 fҮc!ܱi>y0GzbrE'`Sbb.N <|{15"k,Qv[sqgGx\\d>Q7|pjm4ӁODTt?iwƓ/s7iqCѷT`X̃gG?4031X47 oBPGabuM%\?t- #4dV2J^Fw ,zgn`JT~NތX{7+d&Ny͂A,"QEVƫ:n,4X+zG>gAi?Fi֢FX2K&OK^R睐/2Coͭ| ;U'p } Wh@߸]T. x٦5: 7Ǣ= ~>~ۊ/ͅ#9("bFN6DDx zowcynp N cykk ԜrrtvXl ꅈ==Zmm;v8tE^[ÒcUF@m' [\bpkq=ڞeLQy0MoK fXE2D<+$Z42sPCQ?ut7&͟έ^g4ᨤXRǸ;!ĦI !@\E8V5;m E W7ux";Vb38+̏g&p&W*\uڨ6W7ڱgqJvܺT3zd!*ˈKu7뤛BߩSX ~(=}< Sd(11w±~/,٦vXœϺ"m}l6{Sio̅BdYZ1"lvGw{Uf-c!Ur0KwZs05ױgYZ7zXZִF! ]ŗXi%L!l-?{ݞ@!M'ݾz[AM\WT.yFNn9tg1ݍ7B,aժREl"pk E-픏7tz'*,c!^X׹}.!)Vծ2c+Br%c hتy7m W]*zq !`d9{6d9 ^s," +j$hb/m˺ ձwpPl P1>w ǎ-sVf᎗Ml;,ݏZBCǷ#x j葤gocJk΂L&tLc7QZ >%f0j(r |v0gL^ NsD`E$oW߉rP%(D !:RDе)`݇:!lT뢭Φ:!Um3 @wq6'0ǦkUx? Xz@n hC9v nM;aKZaL'n?쓾]2ӈN8wSMu:P?pVMT2 bRl{?gml;s.^ BD"G BPiХ71 X[Uc\[!(kH)ń in'_}A1~ mK%f. >hQ2x}C`.\D͸_)巗ZB,nQ}$ȴUXq-i%";}VwیDʌkv74ѫMpJM&0tצvG+Ec2&F,ry\=/! S`>}>XFQLM竎=ncG)SԵ5!PFJ[URV6jE7~;#Neu% JΆ_ɤ\L1`ݎwK8)Gam$NJ'4DܭTifޝ7T&H1޼Ť՛ɟև: =@.,~b,#sݏV(5yϣQ`udlFPDWu?KӢY7ŀQlfwU #|}11Mq~BG ,v~|nyQF\~}#K Nl[ɛT[n/n9ֈKܑfvĢ+RIt GN,Q){2W&G ]ai7~%3deתUB1RZe.DaԭE xݳ$.>G:l4mcA\eڱ|$')3~1*Dyc|O.YjB>*8nv.ȵo ɰxPWL8bDKfQ_Mqi@W^=[ZBH;C!r&"{2oHJG3ľ&|^/=RXM2V-[c/F~SSyWKcͣ2fM,US(L5ehY Z_jvLZ4z6O/&XPi ޾<hƔNKS} k;ё0ԉP2@0VGtyO˶P6z^*e&lҺ( .7[{jpn*Hm0@&f 6X_{@/>b~<&֦2I;aq'Zh5y)N#Ϗ0}ҊF4bR]/DOC[A(sHAY#Lj +hTrmI0hu+ XA6z.r 3<a E1lVEz/A*{(\bc+sZ/ Rf9 qujjml$R!_ԂáEJ!n˟:)yVgJk<8ϵ$Ab6 I@{UOF`h{=-U~d]v\ WCkT,6H~j 繲F-Y5<ԇRljO]wȴ49fvm vJLt:m+Pńtj ̻g?Ϡy찴!lZq5g*Nu- G}Z1B(zP^tGP4L+]xkKo`}7РB-vDIgޟ]%d7;{6_ @}xOQ |Gj.'Drnez*x(GPZHaEa_"aIjsV5>㛙AhC}1  7d.Prk½(i^zR.\}`tR964i[(=zkȠa ߜlQr-~_2NR~g]|@>o=mVS>ƴ옃̭$N VZQI.Y $vI#W @ȓ'ԉDe 7t bb3:cgOzf\H&/yUS*%+QǗ/?NCt2amPHÅ ݀<! \*nwVE-UHE7)6{Ǣi_b Byޑ3J3 7'zOBWqR"<^#'cR#Eo%Eyا̀^ǵK`a.0 }m~0~.h8Hkqp;zR0!iB+#<!c4 Ľ&:GkjGV1#:$[4xST{7:?5Y9, œ!QwHY(9Gd]j^<1gעe XfQ$q * !W[y O4rNX$naxP<~uh$42ãbŎ|QcǹDT$V*uIUb/#8?k4\7bClF* 9](VŗIt?auMJ^zI n4xrj.H\F]^r,[+h$Δ2f5,*AԡIq ׌A&ÁI1&ia80S]r]Y zX<at<%8p6$i]lDxf/t( _g`I%lBS'KF=u AUHIR")nR}^?̪^Օ;|QZA7QGP_nOM+Ge:5 !d ^oQB]AFmu =DNչЈՁpA'I̙rwG9㵡_r6hO>b4fzlk]/8cI]١@g2ũ 'w_AFDS e8oد[K7< B%v 6N&?r35w:5ܕ0)\6`2{(ӊ\F!5GD$UwF\c <`:+צC6i+JJࣤqcB򬙓lԛ͉ڃ<̧Rc7>ji6G`~gϷcvK>"f&ȒVr!#/2zV|3;nGyD\=Eٓ*z] {~$ZYPpGg2p{E]yJq)*Ұ6TM3"?6o%B} @,@ңES$?7Lۥ?01~Jow(ݠ/Vve`q{ BKyJ@I~Hilx,fҲ#l,-0 F5L -=@Zx}c;0#٤)/AsbFs/BUkr A<>QQ mM ~bL=T&~԰)Jzl"ީ\XVvlصoq8ysQ*S4߿RNwjEo4t H;FM $"Oz։S 8:(5s#~H Cln:Th:ޒ%?>?SG4D('}T<tL!(@Sh.)ؔwZI^u(EhDMoEw-.89Lu儕ZsRK?$LNjTE.R"dz롹"MX_̬VrJo릙=TAɞsj>eDsHFo9rB!^AՓwƒ2xD<$ڴbBTm k2rk eC<ݹۖPF)ݞd/J;(0Nucϱda &%t\erHܰ)sA!yxVѻejۛ:>=dZļd8‹ٛeKzu_4"Shv &^оŹұ1y_GN7xnL]5EQۥ*o*Pv?;)8!kn<&ԗ|5P+Zjv^ī].cUI~'B܃7Fjk~Tخ+sx]`Q`et"(xW \ͷ` _lq2 fu&tL'Tp!J"5'nډI 9.LB(1QLU5o]|V#ᾛFysr0̚$!,)Y\T*wgWko I"4SHDLtQVVʝM>a!$ 8?0V¬"! nDK')XKИwCuu'J ߯iՕ??,d;ט%%޿( Ɩ\̔w?OPsiMFP;J?EAN,W: nfnW9gt3)z|=v_/,r$O 98K)Ar0w iq}agN޳/}`*CBjN 1jRqObH}3oD{<ڷ   S;V_+t9uIp HM}9$[$y#DՖ CՈ`꽜ˈnRBy;h[LKN|J3%gYZ382d80151d66852dfcba1b959bc509c4d4ab90f88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61