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  9 9#5TdplYnCBɟ8b~+NzeAR`$[½ry,ہg,7htv}{q[ilWq խYG3qɍ eG:j0צd#o*0Խ0,y@_nϙ\n c_+iuwDHM JGIS.D( UdϼQӾ=Qp8P& .e^"g*R a.]AyDR'd|{͈75dӄ9k8/loNZ%?hù/+TȩtQ _>Kذ3L?{ٚ  5 HOL-Nominal-Examples  EfVVMi8fr$8M=UPf1'sk]}U}*rbS+y4ioBfv#I+~ 6ldD-vʷ8txT"jYrt 9]$ULNPNzlx%!s6v o~YDQ=o ?sm]?( -\Un'^ݸ}m'bE~xK~;ƛ۲K?;V{'h/ZI4 j^ 2v*\$ y'=轸#,6%Lh0BcIM.dl5Dl8ؘd{@&5#$iezWV^.]*+i0XP 㸶%5oF t-pWXΔXxJD2̄LH"o,&J|(m^y:aA$?<*u '6[T4=z/׌dTU/>SӔi4X?[Ȧ^z.zzYin7.8%&ì_p\DRD+_kzPh# o&A6Œ%EޏvDf}",soLhp4N\?!viR&a HUe;Jа)-o}%hJA%8f}{xMڔ&nŶq0 հ[|;|M>Ly\m rx= *\9ͮ\`zrz86؉(/_ $G|@a r5U2H[s4~^[OJf '|KB }rJ[o_UAu`l7k sB Pk&- p5`+ _jvyyW:i3qA嘰&m.Ynϕsf[';!Z))>2n2 Ӽ:.'JRftcSF >BD4j'(GfhB+O֚)ZԙQyp}871AG>NrUe =`5zȪ8'kHBG4E ̪y^WG[Hp?;У%|"(.`ɗمr"8ݒwKv_oj~^|:p}g4(B:ШHg<Jj!:&4YLUy)vRi8u?_lR%>(>iS,~8ZVciZ_ՇsG>:E$VOGQ4 ]V7O*=8 5LK+-ͯGlwҥۂg=+7ѦSKcbDYECZURt9VM+6<娖(G7IJ/ [}Fwްqe*6n@27H@@B=Q#i 3a.'+ܚщH|RiSr@ 4 Cn BǓǜۍy]гMH&o(c8| 9)aj =DNi 'W]YY%:&k).yA%y'[OOZo')vgFBk[7E6E%-_k E`r<#ɜ&8s}#.)*Ge(L:~LNi;?אV"J*!fqǏJ{aEob|D$H]Q vfx= ެ8ⲭ/@[v(Q+j ͻ OzC! Ae~dヺ* i&jFmwn$"( @akMfLQ്ޝ~ )0a},]LBɲyWW3)Pz֋r˲y_ǏB0+ e-+@HU"u .!<ɒ_VJ#KSΡ()! JZY4{-2+[KNqGܽa͏'{=1 @09%DztPV);4d]m6gY i&I~,Ao9rN+bl%rᘝ۵dÎ^#ؖΥ1Ga}Jd+R9 AߠJmX7͸+@WObIMz +YwN75tR&ٽH *. >uS$PjW=O ۿQf|gZnAi%/G'776&aɳݘ3GGTJU.`8Exytg_F#;6Xh(nyUWOVҡ'M1RP~_DOԺ6Z`]T>ϲ2NUV ?~ahI`sMXfH9Аf1H{&δ{g[1O&![ݣ&٫Bi#+i|qp_%HjCu`CgP ]K+wr=QZm t˒|h8rfw%NJU0XhzPgAwI#yOҏU1B /^K+ !tЌ)-[Le#G!,`ݺm yiZt>/1k52`Öl)`,B8;5a,.Zd=ϦuQ;[ca\{Z.q^[Mp0_?tN\Psߏqr/4 ]*mSaeFɼݻ[Wia=FWGHb tO\`$oUx']Mc⢮҅OC̐#fl T9nVEx]^elj8Ys^H HW}7 PU']TBƙ@`ipJH_(%BKl0ж4ʛD8/cѺJFD@wES4,IfV>~Xh ?IoP;h 3;XHxH?ؙ< ۶oH˒o{TyK5usa?h2NNJiTVK 9%'QdPUJS #S~n10^=Q"䌣2g^GQeo].d)h)-g'|Ď">{Ba(mdU78w23cW +'ɹ |9vdH?WF˔PSy+cΡ wG>9TR;#3rpI@l]~PLN<5%ٓ\na_dN] LɁC?`Pۗ>vi#z&IѿZ>xhY=(bI&SMη`H)VqVreݤO=XUܢ+0kzb1)G :r|u \zI]*zr7&>^ \Q=:{xpБ `ԈE$U%<J"z< W1h @뺣A#uba7Ran^$a'"'O|X)ṓZ8*5_6;()k<$^;0QKdFɫMQXgH"/k(܁2'چu==Kސ V`b1.ݤ '*zFN.:Á*C#ہ;{tBg[-ź([L{bmQYu7@慠M] L^I5X4h>ƭڙgaӳ%XHKФ" d~`hijHVFR󨬁vUF?9e6:Hr_GW>qɨ)(.=l4DCCm] 5Igu1 Ro5@CTgv>*ퟤd3?w 90ߣƮy)\,MoXF)z4@BU);2 %.'kZVtMGJꂪ&AE]v&"x 1-T_*`zwQ~65 v]wR>;'%5gvz+)Q8,^aEj,{Qھ^O/1``M8cxd= #֪q9pq?'Q+%'R:xTCN4MAWkSY?PHH3pM.EAxYӔ+k{VHyW8MR.[/XʴϗC:*NMN"ܓ!ts aojGukܔ<>2p;GsR8htδf/q]E70δ~EP?8I UAW 3<|j\@%I8ށb\ԯ!#6%y.lGM&ԮJhkv&5T1Pצ fLG8YO<Ǘ%1T;ukqsYExlbNNhqJ ; {'1n`sS&\j83܇ߞf{rEa\(jBr?L*,K%9D!Cٙ#4 |ZkXχ'-zgpRr1-+9Al5PN袀M̆FK=)007 櫟B! {x5"=ì*b"{x6歑PJ.] Ձ ۛŘ]=_ -ogU,6;B`<ŋ/juFF,e^i|wEu8Z Z|4Sm-ɌPHJ-c=+rv\=|Rm6=7T#G-~^PfمL%'ܳvpM8BȦV]WU>ͻcj(ʮ&"ji1P/8{$(Wt}# '*gDG&K5a@TEt|/|$EmuҷxDŽ[$^f{"EK UQLH]mv&q}ezE;ٜ1à2Nfe]aPU<@."Tl , jsK[9+ؑWߏ9tdw' %:M$!`I6eG >1Dj=tMZp ZL@5fv]qL {h=\c\GI^WeCdd|^oB.9NL Z1V_A^N5c/;Y݋=;3&b r$|Tz*к&WG3>5}sӗ4iPQHo*Dy+EfgAR2>Y 첢 w41D!^Ti8mf[8 DN.i؏gfDrrz3]Z (W!`g9 r!6GLBQVYO4LG1|jnZQG7 d ɤ]w)r8¼P2!62SRpBQT`v:Wm)VOU3[ylfIKSB@7;IRNXnnb#ҵOV ̚i:(ƽy+/Jn:5W ܨhʐg&l`Nxtɘc-' #1%ALNsw/u/<Z`љVZf62VAk,|*W~ՠTF.mi#qg4!F3g:zrk. T3p~.0<-GwS/@M ɌaJZ\ uLPߚt=1z[#@ʇ< Dͭ5<%U`K̖ AB $'[ڄ$U䁔% \71Hа#kIdAlMok(~ZLТl08Zt,w +bЫǶmp[;j 9"(3DA"xJU/0\=t?F CPfY(˾@ک8dpcy2JVF0 ݃vs'"@? u9Z,!xn1{e Ȱo†8|_ Qm a-<:rr\=Ǟ )~٫$%B?]v $6F:қ:dYszz߂qiTE*bƺyQ%`/Nc݂[KW$EA_z?7zK(T;WTaNwEH֦ ޻rSSTS@VQsL z{hgz,־km`p:ޣav2r2ɼ`FgHi0,OUS+bz>KO#ITp"HVl|@85.(Dә&I5* r!i&sp+ӇPp]v)5n8ŲRGd ҀBCD]T|1˵"JgBkȿHy?.&bt%֞K--pH"6t7 u<Vv(K,LU?v9-ITsXy/: pt0dwDte6"5|Q:w&TUCIh%b%M&OA>$qfFwoe:*^͢8N2e~Bۘ {`8 Y[˦H7(ブZWk %@oFW 0I7/IX*߭6E'v}pn*q$D-t59袿d[vZntx*NCǝ}ó3oa'rTܴB@6Hv$Tc/А)M \Nq >A2>g [Csn!3 =X - QJv{ ^o HYحgYZ7zXZִF! [F]ŗXi%>pa] pl| hRWJK]üNl Q9:r4%80\%9qܽG'$0p'>/Vi6%*;lY1|t#]A4 <٨ 9§k,bUpq0Vn 5ĥ8a]YiaVB'#GqsoQWB-JcēK; CZG3%Nc1+V&_u8JzJ6JYZrnWg.,:ڤh$}bC]Uo%PiRL (pS P4S/% _06Y0Zbu0ŢUD' +^픽"8Fm֘iaz{g%JnA EMn@;." ?4lo=Ghd :Z[zZЈW|.?[B MyRW;DuƲ~CKJfA0o dQj_Gy%v?䪡 *AG,> z42xRN$ht\!2'H I+v]>9 o%]L֞FgMAΌkSdLHJM2q.+P5KarQj>?$v1i`z$z6 >% fS}o9in a P(C2$nX d5QgE; Om50&fA-5mN ,6ƴ\5m9%zDƣ_47`$g$] ,Hڐ[)>_,WǙ|dy،,Bo[|*1=ԚEvv&]R=G/p:W9Caܗ mPD:b/5pPR^Sq@*u+L(燠$e{5qv6ɦo ۑW .h(ɓN6قoհyPM[/ g3θ4;^]{&P=yyo Ѹͱ(;,AxIhex)"U+b0*L*ohr߆ =U[LHӋ/hްtC!YW4M-$\cp]#K*D.xUԞ;om>_s5!D%`Wtn=Ƣ+y`] I@AP@4! oK>LKTl jBmI!GETL6SͯO)BTH32\~fU(@H %Ufl^o=_ I_Y=4C?ꖢe:ܱ <?bJdb&uЧ'#=V@ְV~4#a$`SY˞"qZm%MK#4(Pƿi$$7w= C;l-wlM9 #cS~miQ|UvE]q]Vuۧ@" %i1~ă&NnxtD w<:(wU]gB,-uG+pbC (oe'$/׭ oѶf̷Dt5U$~K~])/.2r^PNԄEd<Ӫ\%[z>MUOȡ>*268SvEU\Q?h~..lM9)!}2{w_D^ƙy&dnan0@Ȅ  pyP5\?`n6\ VD$H=  N]`rrV#P _Ĭx>>U H=0u|9!;cs:jMJZ ,A_U}?4Z~,4j4o4dRnTkrLNUσd`Am׎Uևw麪tBF`̑ؒ7!T'ֶH>MW=tf!bS\ K%+#L@;avK7Wk}0 >j6Rhb}3w;|SƢ;^,&%ć Fłq"-./r(H|rn(`Ppk")VsdwnTYc5O%+)b p *2Y瀤t[U?)߸t'Y遶i0e G͡_ xrI8.&SP߽m Թ=u%n|6Ƕ@+4cؒОo:e$#yB{*>i<cavp伫ODGic U0WBwkLVY\qcN sqxa8Z@ o/ A+!$Xb^B!EIIrV#st97&c=/IV7𬲠w0wR/d mul 5o3;<dhQꋑ-Ka:dMzl2y)jFv3L}''-ڙ |96P߳Xf0h=j)ISkJżW ҽnu:W\pO.$GOB TfDxkv!RW U3M0: b81/MI31MSp5x+N*h$JjVq]{ZjH=ȯX[# jW| ~n+4&J4/۠B jϚGy[ '"z-klkm, ^d3VKc%Jee;@ywNoj]ҷwP7Mxb*8YPSMpKضbzGkԈXƔ0`졿GG5,˿$mz[-S=uz}H i$' ;"2CDzex*)%o,sWh1 ;sONd%} 'Ln1!fI cXe"Dr?9&׭He{3`< oemcOlLɌV Le FߠD%w[-i-ahSp|8@7`5fS A .f:c颎2M4ly-ppjɼXTa9vGT/| e b]Lnē\^{I%7o: z\{F@k#'/+:٧.d%d-7[|ևFE v&>dxdfJZTqڊw.ÃNE 4{,$X%5YgxU詨r9]bрAG2}YfpI떇qXl뤜_i |&ɐQ(ߧβP}M>4pBfJFujBŊLV?3"y> &9_AdIمjYմGM7oZB[׀>8:{Kyc9V]?D7X:7 Ğ!՘E)zΰq&.~SC{P_)p?y_ύwr_d捛,Nj6 NS@Qۧ%AjyuR1ST)*_gQ{o{Uv0}@J+: @YIJ >z֢K\Y蒡+eO2&,}T!wvtRԱZpMf鄏Ϧ>pT{' {QjZrqQʪ#u 9Mݕ5oLu DGy#8 FGA,W&9ũ{9VɕJ8%9)ssN<|v \6 3DEanf˺|5jպ8r: .EFÍhF"B:[DF`A&etv*CU.u [ϖH[3lP <*˾0nn<~3\V`Kg"T]}V6c8%vK|'QMHK{WABF7o/x)W>v +-`M  $s1Ou|q0zm )w#]so贱Ys{L;2i6^/WWvO352(! $T/G=?q9%PK-d$SuGXK(g7]&^aMêcŮps karݔDX.9JגhDӼPοϓj| ?׿P%9b4JeƁN#ړ nw%krPs×Kw#!U DK$%"4Fֻj0?|3 DCKcp%w W\uOT ؅N z07`1 a~Ъ# 50ńXJc#Q5I))0dUu=]V.r 9e%0d)Տƾ:`\}lΫāD!dV0lVl7D#Mg$OFVxJ}N``J49!rTͅAՌrt5sƞ]v1РX,ca7h4@]4\?1PCŸ8D|w6ER엢Hئ0D}RA>V:jҔe;9^u+Zk-Nw/DȼeL| ɢO$kawIoWb5d<:G+af6H L\k_Ny2y[G}H"SbkH\o\Vl _вab\?7fߦ/)WRluGŨG[={v%ԇMI"FlY`h1?탏0Ap>O]͇0g"\ )*]VJ;s:s՟+'/jyd,=/l:+ F b?{\+ɹNzXp#b ހ=5-=&7+mhEp`_Xpn`M`9!lB_&uA D@ RȲoa*UfOh u6v^pns$@&H1 AMu\QuŠh %ȳggI¶Ϭ.o&oٸʴEK(hVsgSϗ6rM^+HW'Q;;Gt^F@S1ϹsM)ahaV^?>1C~~v Pi4 <\tI\xuBE콾3^DZh#)tvbCqBn@IgL;l*)K$BL WG0 (? k 9ljqʈ|vuP3yHMNҍ9<Š7 ,ċ=|z`ضg` 1۪y }*!pDoB2O8xSZxj'푹9zƌG 8dqdl؎Iǘ*%!xLQ%>Mmnܩ@ ƃߕļ0 !-\iT.(:sj;Vter␿L^l#??! aǠc@}x,ybxdZdާِ7fx%<>?^Ve3^]`XwڔZJue W4}vKK:J/[*n=xN~1.T}YUSÝZ0`47x /ϞN,+ztJ%x׭!3mIKN։U[9UM:nD Ն2V `ms߃8لRw!nэQZC9_ƴ1cIq7 p˛1XdzX>1 )i JFV4#5Y-S+b T'& lzocm'Op=P2'y,nTf|@Yvkg^H/kئɇ$ r?r hRNXUŕ/^2J^sm2Moд'F~J+(WAAdsơU_&m<1N`FBؐ;I'`Yœ 2L~)?8mTʠ"Xn ϟwj7wv #@{5T:t}A {tMrW9Y2e41|9˲ mE VP@snt_@:G"q0r>V`$ԋMU_>?yQ,loq{nWa-\δV[j"̫Nhv_ : UpP.^5CE iU+ޥ?L@ zhI/eR1u/tr[u,$Okiŧ@˃.FpiQ.XF1Z1{lrd;؇']ģ&wXOe`L\J~`<8a2la:޾^6q75Wқo-ULg# bC=A%"Nˊݍ7{Y ^:4ۛf&3y ֝I$>YX*KE$j^u\Sf+c5{<,V10߁KaA|٠dm~2ѽ,Ē.^2:bЗdR(c3 !=k, zгYaXЫữfjKdLEr`C7sK;)Az])p% FTp<3pfhQdc0]=?% \.&th{$o^ҚgĴ'tvwUߩw:%'G=S%ĸ ש@{jJK4%LցQp#3np5%;; &>fT&'};XN<YqcZNƜtLf4jڦmCîgl|4_kt.0D?֙UˆM6^${D M+mխe.ϝ1،a:^e}fy i#/]?NBOE4%Z!HSt-N{ؔ$˩5FA~7'bK #%k#y)̡0 Uۇ2;wOE}:Jv,onBW&44TD,<珺5 vX?O@4qh0 ob݋?5qu[ֶ-ffTB2טرg9S6^ٲmjFWAWz6y/v3i[?B/y$n~]NG* }~~U^֊laTYQUhXg)!9V[Nfna!3FZIf8|lmmfY+a✖|7 obF٥tF(-y)(Қw2껿M9Uq|!zudR A%=3v{zGB2V_h^Tz3)oښqs ]lA-gPt=o]_\Qךu֝:> Pv.䞸og}sM>M*%]n=2cAE@2B<ZɰaxJ ݤ!q4OĞ\p=0 _ TRnjAϗ}nу^J!b1O o]U?f1)s(UGdZq4߶Tr&Lx93ڡڅ@v;pl]*̦ q6nx#eځ }#w7P($mH7y.mv 6d넎SV*G61o)lT pi@ljZ ? (\FqΪ4MM唐U+t؎=I+ l+%e +-`GDaXvӦG һ{aG$߉g\bCCT;l9b%wP!ǐHZ&O\sVHrlZyLVYn{ǟ/l'R6U#g-c)+\/)q41gr˓eU=8±s QV'o$e$b53[hKTCF"F䔔_/ڇV,]r(&"E KiDTgÈ^,9LXN 7G% zW̝oT\&$IɛS.T*<:,|@&qC92J%V]࢕:fESyGX|Q U\k85BW]؀0p8Ij}z*>݃r^6z@1}V)H,Gw6~}z޳) rwE > JJv,<$IZ 36(,|5 @ W('طk9qC4CC~alfQr/Bh6IbO2n,% U4_d< ۂ/_Pz@s-J*tlQ^v x<쳆k5+ii{R9iYJr(!h>*/ _V)Mzϯij)KS-D_lc˨ =--:\=N鰗eI,b]| 3K 9\N[DRic+Jm(I؞TEvU6kk ȀT(̩U NHkHyۦ3.C:i96^[{Q+4KZr-);_d8?.M{([fo>˭LUc$7…Ϗꎁ|b\1߷ǒӥ/@4Vr/P:š}3ŦipIo%m]d#,?ʼ7SYho+uV#&CnR D.O_oM_ICcLR$}  ڳ?C}r7RdUkK}E~y7_ċC>/l^D췡իQrf|*F*Uq ޟt(%֑GfI7~YC#+.Smخ#DM2U_ݜ >-ӹOds :+t18mڣŽ}"R8/z)kkGpZ4;T_w.Ҭr5Ax (bܚCX=JLG)M+ut DQKODL5g2i駪ˑ Ge\n)`'bn__+ekQ h qsƉψEPx*zz4]3XmŸ 58D/Hyԥ)$"'H;Ѣ Ec1v͈}YHD ;!וY2&>!#gۏ1IƵ "u 'b$V-Ŧ=*謫X- 819T^5.ߩ2h`ECLtE/]Ji>1ӕՓ܇$밃r;;t$p_W9uҠ;CIo}EwLwr LR.e/N|Sw2go?c>7ҹg\z+NZa+L< mKnr@_eq 2Z3|Q yel ::L=xv Hx]}Ue(kC2鍋ɒ?z,3bjBiÇqS`li_!M %`u!7 k:^2a94.h&Q4ZK&nvj:a^0J 3cyZ[Ug#~ܲީKzof(4?a\],U0!C?wgR#P{l>g$ܐRPWzмbM_}tsz)l64y7 3nׇŭ;-.+ZXdTId͠hˆlU7e3$֛|'Ho^_x,5M'3NZmb3%<~8եG{wţBtj{fF!=!s B\u$U jJKr*2d[ZhEk85ɆM~†DMqR(M&42\瑍{ UQk%Jp$$_zVt|S$W8D `Q^2dAo8t/D,mI&WB`YuG*vsu8f~Ьi!;O-b #ȒM ef^j(TZmH#I/gtsb O@CuK+m8@"%N"wo*Ӈ--Ni;+pb_`tA pGt|D%9i ,:o5SofeʜzYo.y`n"D ZT݅J>G:#=>rc'} | {Li:Mdyu9i媣3RLſp;' ,"OzS2NuU4~S֎0,.Eϲ>)h k~H8X(+riGbP"aDQ0KJWtZ"Z>QMבTs&Fܲ m'.I)Kg+R$V,Olm9>,Jqr~:QaCllH^Z5spbFM֣U(*KK[SAC1HN4:Ŭ:5fTOgS &$0 לo,ɒF/g OVZar3tffBF0kIRY$"SQ5/0ƩzChuDk%`癇e,' 7?ZNK1k-2mpfx8ˇ~b&=P:|*qЅN౪7y+r/$9ƞ鑬x\W'Ez]~J,jOO\#s8p"ji%y1]9!GC3ͤGʝ7݉V᣻9ӽX3Kx뭀RQ(uWMH m8 ѡKw:Uzi3/]:܊f:t&.{J3(D ?ct(Fb/AwBDJ5n㕏=?%RfOb[W4L}y=RqnT}A].9qh dKPz0ufhXC$nÏfRQʮYs^!UJzJfʇy!HK,,nQ !^G]s)!;KS{bGGU8;m] pؚK75B}Xyv=V!ɝ)Q"qu f*D+?@DIK܁0,Y|ڊ9҉pd3[>lӶvETij3]wB")$/&l \ Ҧ-wkdէ1LNT~$`[[ *"!]W]>G6ׯsU}vÄ.B8x\с_%ÏtCY}כ`Ek~+gx@8rjXg^9]nXϟ9+J',|CAEXG덞 AxK`'pv>g팻\[k߹_BRQ)k39[DJPقxJͻIuG C3r„>Hq!qMkfՍ3uJ<ިT+qD djQdZe'Hƾ{)5D:?I<1?%*w[n2*>C؜,2wr>ļ0ja618BdX֟7;+sCy.&xbvpŋ:'̓+|hIe#Qn6CprI~KYX1YLOkZ:HuM-^;Wz*=t hlfvXjk($Gf1wVu-6D4hUdn14 Y#<;2x[I |K^U'YO>Egf5Ob@v8#ڪMѯp}0 GNEG_\x>v(D a7XF\KAr$vwv"ꯅR`B!S b6>mb#L; ~ĝ1Aw/.ܰpZm.ir" M8@p4&-<ދ 4_,crdFxh DŽHMB} 0 wx9v3'}W>6Ci7b!74t%r/]Q mϷIg 'sfNLawKkBb/@ٷ6fSgJR'6IY2 eyx Ó>7(BtFH< h%="p8xvG_,Wȃ;|ݣ~d)JLG{;uՉ @ZsDJKl{G8rOfǽP6 QFc bo~ iK.ZZX^FJt_OpNNKgC Ad f|Yd(YluP_6<.U^1Ps3bd8`4pU\jgYZ891fde2801f603bdf64478c8d88788ae7947f6a44f89cd12fc22a65e55bef97b3448b7e615a544da d52a9e3ee76f7778dcd9aaedbe9bf47fd4344515 7ff4e61add5bba5717a2374cd87229648fb08989 39b7eb23d2c3aca9dd56760436befe264d9b5d2f