SQLite format 3@  .0:  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 DDK $ ]%]Transition_Systems_and_Automata:threads=4elapsed=248.919cpu=883.996gc=46.376factor=3.557zXZִF! []ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{җe`{ :U0Zd挹~vRҀ rJ˙)U_aҙS(FΔ5rRp7t,<ɔv>-]tuVR59b923gO d\;A9ъ ^m{ℨs^%՞(u:7j7U$Aqrƨ4I4]nnN'xNl~\,Az&sԩx}Tmₕz6eĆ\?d6,{q"-kx?nf drZɥE%C$7?c5 l-NUKnƲJDa/iMVȹQƵkl$?M及9D? SdI\"jydвq2%ukP5U , (ǒTOcw6A:_]ʩJ1qÝNW $+tr* &+v6.LkIۗlb]] Ika! 9Fw֣ ״_ToN:ly=yw)ZO_t3y؏$iЇit;(kܚ72#AZE6>d^XFa-$)h{O5^<'DL?Mxfb9Ӗ͌9y5TO#E{ U?8ΰx9|Eq": ;jGY8_GA6lo?Kq5rPO#5iGlEC.4>23lֈrcN6B.#qG.O^4Z/C髳xKnbttn|fT+*հg~'8; >gE:K>ҒUJ(W(>:MLp+YMž$w7%s-ͭDAg=tz2iM ]LJ~&יe/{7 IٌL5ͧ[v̝Jq n5ͨ$Q}&0iY`5Ӄ?> nڻඇhj\l$oثZH۞tQj #4;Cmj7:F&<ʜAQ K'jm#Z7\JwK+_TLk G(0.4FkxH'm 4.int3&HH^e8rMJKY#nr Y F+L .MQt \v=a\NV,mr>FVI(@VTNb*TB⊋S靽j|_s ~f%*p5b,N]j1~m p 7NhuTspeeF`uHc:—Za~_"O7i6zaE}]\~-sB߶;#Bx*5?D[UZ}˱LXb20_۳>NwuOCŦ7/-MhbJi29#uăip4ZB=°3 8'gh৵\ר~_ϕpdULn]{i(SX^>&g06# *= &y@vYǶjD_> uag˨Jvʙf #jNȹozl΅ o~֞c݊n&@&3Pu%HԦ:Za]F ]OPc;$!b];38FD.{*gNƹ&F!z}iSN(E0m gzHj:J\ͱ%Go@ݔh&7]W" C;H7Ma,[Ծ}ZzWHYQ |9˥PλSV$yX<\J0Kt6C%IhRqZs\sc7&)A"t=}4rLs~?WP[\23^ERut%/.K*'6zPIL79\In,~uv-3dR /PS|>{JI8n &FGd2QŶJ.:GJg:v^ $D J"X//RV'nůɌd1|[Bk 1.иZ4.kZ#>(Ʈv1-ǿ?5W_WVo8e EM{!L\0&a~Kvɋuz:"i8JֱgʀGe$Fxªg{/*|mFCͶ$%i,Hp)cZQ8y龜hnÈ+ac(6NxBO։\mc;(x=ёMm~ҐuJu;%cҴ>ʗ#=%IѻɇdQ"c;ѼPиsaEY`b[Sph;wBXbdCEdcYUfl=i2,ږx}\Fn`*,J\n1yN”T\GAND/i1>~ FUl$!cJKţ "K Transition_Systems_and_Automata aaKA+ $Transition_Systems_and_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%LC>4:9CV`FfpۃtZvQt*w_mqҞLlnqcyh0ڀLA%7<ڏ]BIU.[xT YAbϥu)-p!>.tKp r5n`|f9LG9Ai+M,(ʡ*(/i GٔYED[ʩ7^T`e[㈞jg</V>Ymbi#V3M'5vS}Esc3"v?1ekЅ{Y#Φau]sܿAjp%/l-hϙ4=i,:a/k: J݋A"]B[o)p~{_Gfdo,(xy̛ȘFyUB6Op5o_6-jP#%YD/S_F*I%*&t# 8دgVCOb3#G\2_F|Uml2X/ O~h'kif^5fCni3i;$UT 88sBt`(T' !MHYЀn#azҸW$ɃM{0VN^V .j:&[ .*KDqObVR + zWJ-hElWX;/.lwB$F=YiX62<_6\F8hR\6GR Mym̹iMӻ!X){a$6ub}& itAglGo7b}I 7.-jSYq#L\7gC?+İۏBc % }d3r>Z+U1/ oI?䠢.WGSգn?{"o|h.Z*m'X/Kstt9e5~L vjN /qų!^83eRM9=-s8ѝKyE}44}:]Qof!wַv@:NrnI[`Jj_®ORuS"[cĜxnԑ>rL,q?< )́EvKaPS~֒$+v=Sohf`@=k㑺%&Vތ9CC0YwF! +*`ޫrE:w7n|ku22%4T= .alï'Q/DdS2Jq'}*@sN7R-FLn7~N1$tnP~1/if|FHiiS.Rje%!U^<0ܑhG_jr+#o--;z9 ptLKqzGJ&P_5s~ 1ғEac[8kAȬ/v3.*61a#_`wYXjm€jY %e2]t͔9!Srߚ1oOԕA? 9,!dT :\{zGmʙ"iG zP_X-g00G0%߹v.Ч!I|骷\М c)Ri]"}vz`KVP6IYtYbjL)J 6iV-WM42 E_e+e?z#)Ysod/jLϫQ{D7O~FxEu"Ϯcj`o!T6e LIҬBtE9̑;}q]@+aN<($K{L4fC]<,x0z3{,zM rT ; >0q2&Z7\2Ej3{@L'Myu~I?^rK+w9 }j@riUcFQX@!|N&,EAc)4N-:5Ӻ=WFjg{ɍq$=5R_w>L7)j]a?XtS6Aќ\/. w:B #fܚ׶lhSJ^~Q%MkpoUn#ͅc%c]u`42ӊ3 /yk-$z7 [XIFyCi[u^jY I*B25BQ;"".<ǯz -=iџWJ#G8Aߑ։9`fsEq_ u \kL;S6c"RݩiS})vR 2pYztj?PlP>¦)\wl_S.cYdP#1+z WVuY)Յ޶ai¼K4$Xs(0DCoDVh6zl@=  R-_iz7J/oT/)\aI}ލޢ.P3Le\;@H|Y@Io! f2_ &T@-Œ"H{nVS]E󑳓6o-D/}/v7,FҲ )r(LN3Yn"u*/<;Ge>P|D5 N/E8dwñ'GSw"I#J&D϶&Ee1Q970N%N,JK=-hW;{h5-q=S2'X֜FnL:2dw yaE} 4#/86 4\5!mv Hlu <WV6Ū>`#9i/H;k%Tq(El4;Bɕ;KT(y2uD,19ihIY0S6;UT%[t 8hԽ'N#EmQ8JϪqݔ rkZ>8ZѡjwGeN(jê569 dLѻEP6XSTEcd+U]S{ƧG'xڏfK(hQg;ܑ4 ;it`Ԫ2y͊ oL-]<Κ/_a<% v{QӅoFX )m:bwx4NjN[q-vJ|`&UKZ̺ ^Cn`L?yӅ\-geԜԘs\PRͫ?P6^<8S&p>Xm@gYZ7zXZִF! b]ŗXiɟ>P++ \D;?!W 2aw%8[0ט2\#%/} @\ C75/)O\Qto1Ӹ͐y3- [WJ('(b16zF3ơGpLk~D\@؎C횲fT77sO ,^~29|rHvtڠv ?\^+NZ~5gۓx΄"guFbXڞwt}Sc vzY$r )x.RϹFD`]O$!B?@ lD6:P' i(&ы'0@lNDzo,z9qTzFҤͱ L#a\cJez? N` Xa|xu uSmK-n  pDo8H^6aI8p| `T^Nr e]M}.Ayq$r~ c0K\{FoKtRΪ7(xhIҸ_'}M­nwݝ̑K&Cr 'f+3ф!ˇ|%@0?sZ}BesRɪ/X9Xǥ7< zAjt.:盫hL e=PA]u@4TZbňwZͺ]yOh ,#Xugx H|QoYRfW*E9dD5{oSoE:dp@B1Rnnn`Wb N/`XqM ړ2{vrA@s8%Ƞfoaו[s9@ 'ȜyHkAZrQiTjƎ]b"a\(èb{ڟћҐFPu}hD^!{2E{ {g(|<3XeS*j0eXڞIcI smJ&FILi1V6ލ;qozW?a5`vJHb +18{#iBcdjr+H5HVg1o,)^Ʒ(#s;iy*&t{SQ$}K+86m&~NXMuC) J B` u.z/ l_QY/:.7,?3֒(X|'Q\Js'ջa]]]7% ]U[v ΩtFK!8}.ZigBV27bqPS#X?NE Ɣ N(\,̽ωXg? 0[3VK&''#Ʈ`^Dơ&}RzX&>޿q0:3[ĉ2YN 4@gYZ7zXZִF! rV]ŗXi%Eb⬛?(ڶCY"6~Ekm"ocgGٯDzǰ2)rFqKX}1Պ;}lr4uDeĭ kʅV#OxsUj0YzM_tuuYs{ܾ"1¶`ҁ[a:%<~^Gr^Aɠ[ O`"s\!7,#.ߋ/A4vh`DK*>c2.=h{@K Vr6*6V$f_š'X;Ip$a-EG>)w wo~*; gk_бt-W,3zZ7*^SĮF3:/Fp%uo~.ᛊlb* 0 6\./TUN>%WDܐ#_1 wEy@ԚHj!c/%ƒm}7IjMtc2۶pmڲ壌>m^`M1 IsХC`[9gN쑀t60C M%VN1\O^ŜQS.D[c f]Qaa:aLFENkSo?azKTqcݮ;c=L(0=>+4wwcN~GHyiC1u9w%ovM^VgcHL/Ddoqsx'ImtBPLK$0RfFOެ *F,L[# 3TC".vX3oTRX|AdD d-`_%v; k?CGܣ0Ui |U"uTX!Yw\07^./ɔL{'Kcų ]zEFez -Ut 0wOʍ #H{R}wya(iФK} k ]0qDQ_.O5ĦL~41~y{I`؁0հvu1%sB$ A )ˬy`O6'Z W1y]O)k0v1 SF"Mm%#us~RSrq*uw7XJ#zT.e]6 \WUٔpN{F5*X`Wn{bTJd6erWEHrtռK Mٍ:,t֞'t>+Hw:P | Wܴ|۽_[:}lZD#5sel. WQf@xrYBlX kgPs-YFWOr>l%Is'G^$8jh`u-v5glSXe(S%UQԅ"L1X4Bx4/󍩋Z*.׵c,cWe~;tE鈶;׶ry%;a+D575"?$X q@@j 26i\TGcLW2GN۔zvGU=iEI!.#TsjUqGIB%kTW+o-$,ª&Ƈg$' %tjc2` а$9C I)j)dxb92upz7/m~1Y KE``g!<'8ύPs(\`[ݝI_3qNJ{ ɴĎi#&rݍʚ4b&g~ bcp辵lAڬۏ#JC%Տ*kN8WmQsĢ([nĆ`{1O2 ADBtϮy7R|:4ޞߥD1l=ͷ5ϻd r'ok/<)inY' ˮ,s[Y shϜӁuCi !q7 %-y8R]d8¤S)dž%żҞÔ%G:SY}ޞa]ꉑ"mƆjHISk(#y~A!tlVN. /u K3kKpAa[ _=Uk9tY";Qɋ S|dnH 9筄7=»rU0znLZڲ]CN[iUf'&oǯҿZ_7}J@W6HJH3u֎Ty`Pj ,q Q2ث&3H'yJovpz')όI8.Hg#f>^pT.p<Y$"1/Vɦ9B<, flco8_ߦr Յ|H?A+tKƄ_>蟁RQO4{&qP#sq$' axE^-rlK)q0V r>9b!fjS^;.ѻ9vIM/%qp32Z"  tȄ#pV4$?ʽ[#hGo<=qiѿ memaԶcLi}_)f}ꖈp]2 kr/sJT}8 zd^ of[Oܺ%%I->D%᝶k^c =F# Tw \oE NfJ)/YXH l> ;PXr~݆bv-B1NdH0ŭSܦjH\NWr!N3裙yƪ}e(/IC]t*6 īQK^5eËïHT=v@D 5;(+CQ|t`x̌R2gnæ`aR"˼ Tl?TSgQD1*ҐSVN:M(м([/mJSw@?Yn^Aߘqw΁\x."g1VzvUKgxKQpw?Py?`fo3|eqG5m}sq@ՂEjۨ.`PL2] "mֱF YԨ/i>տuU =h8+ɒג'~@ޣ)95kװ,gmA6:qpޟԺqv4 4r4D~{14*5!:&2jʊ-B!$R`.'/@bӊX PJMG5na#e\.lʅhh;M*+;`Thxv$r!V-^5/DO iVmBvkGRV ԅ OBʼnW]l)H*͢lV9ʜ}Աo9ZG¢at:.)G6()+_C>6EG6PzelNXQ˘ =_ӯTDu G~{_^zoYUPIr3٩Rxw+Tc2iMKXЎHϰZioSrғ%IޕTs!drCG}]sS@")5(gSX/!؝@\f ЙE z8fIt{}͜[ǧ9F9#l#!u/Tڢw~+XZ˧(zjwlzNw;tqDe[Ǚ"3A' u{^ H҈!ݦłm)ʳNԗW:›Q3TO$o=v#K0L?,'7@(1WJ`jQ)d磊LqW"N> 1XHGbV)ȯ*O<|E`b3-ʀ\ԊRd%3bee=^,#$|x0%/Bݤː-RBQ w"pyEleޮB|90hԱ}eޘuR9Gtfz_$:rOBF YUv.BKWSПM!/ ѵ3gHſlyEM_Z mgjl])wO(ʄk|u 3g 纬b>)W}ؓ04z# Ɓk얁LN2߮ᯧ2ߓ,LqFf廔것ORȼʘ q,ʐ}_= b" {"d {]*z`=%.@3yg!Q$9=Zvx,JʱL¾'J@FفM")<#s(>dhC^k38|e":Wb[G3@䊛X]Sp)ƯZSrZ1-oPY_чg?XƳѼ; E{$x\ .bUS}D hK֠t[ksuroDR@&Z"L2+&䤽T=nPLPW0q}_@dp-.l]`R+hPqW*l͗ÌG%/sf¦i/8?3p5\݂`8) Lkʿ~o{wxSuH/m^:8%ۥ6DJzDMK.)a}lq#Uxq v;ZOwsxR,+uGD[P=q gmo9;9,K ,fwKހ9wjm Xl 6L[I jU2\š#~Tꄸb$&eG)SRfHĬo{\^dIPpq!F^30Yq#ZSZN)IW# aRG0w &S[>F^c1Tr+y^j# /$FTVFOTGC1'0S $rf.mpd]k$Ӯ!=o;J զȼˆ~[ǩҺrMѻb:/[anhkOmQnmL-c%RY^L/UuLYVL~YpfD&PgB52DERG 9ߘm >(,E* .RNm.Cf kMC~qq7ZըrUs'w1/_[\uXJg,A?L=̶r tr}Ua@AXjٳ@HZ!} c̀&#@{C[Hnc쏊sGyޘULQP!ɋ.2Uɗ;5A)?R%B-54ݯB:Zq9}MpS탈s~MEg v0xz#Yi g^P&7xRr^/ h7EEw/%-fc)7 kbWpp0y<9˭ܡfSvCoSKmIc",_/þCf PMI)Ar0יfCӛx?j ;7zeU)ZLڸv)Q˩9`ٴgXunN.c]We.1cD4nt.VGHu'Aa☠8*ڂS_t;Q=Ї.;aHފij}X)Edv *bĢqi0aBҔ!k u!4!Ii Ʃ}\c$zOprTS@k`Yl0m~^:DyHi bEnbq^֏,=m0S"Y"N,Aa%T$b^NLJ?zԳ)Pr7;|4Gnc&c KH>1&5H7xQ:a˗E` &[r^?X6<F-In7)az?:09仿Tzɑ_/.Ph/6>vQ~|Yۿ?#_4FLtXE;x1+qu$ gN[o[8m b62}9)WClW٫Ƴ kর5-W .ūXt(B%¯n EUϿ ѪiEڞ? ](U\Xr,1S~(W'G(ҤC5n# .~7AQѢ֧%g,(Z/ _yip!e$rL*9 uzmߊ *#(ډ5mNq2C$|x"Py̌)#CCΒv>>Œjf2GV`R`Ә~]fgnp2# N_$7zGE감Jb? drц!VkYIVa鬥Npjkz\,TgI!5 y+Cu^.w -LX|y MhNQ8.ǷCB4VTy}y5FBG(//>wN_pa@e1?|l/DTA>1 jk9O+MBa;(W {hRzJ}O~3*%^%ߍ<=h8yOfp<"Ȳ`pS`P V6Јb Fu?uUx[/!g=wjzZtֈ6U li0b5&fU}Z&NYj6.q""I%;ޛYjyesFDy{ %idj$E(QyN"[EQ14H L\rw$3yYI+ [M[ﳖyޫ20vٞG=gcQ;Xdb;}o H)q>42pdӟѳPf^ݫGmvWvomzn>m5Ř".#W^5$;z8WgC0Y)~PFYvFxǔwRD^KPg~%k͵U ̸H%bmsq:KTsXUsr-Xԡłn9m m`/V[cdp~MeѪ i嚤PamJ/k৪ V" p#舥I*~A%IM1&"N>BnH}fnMJ7Nr_ĬFKvLrڴPu-.e b룵Tfddm 4Rz܃I*Gz0"TNʣ"@]=3u W.+'†@4+xc_żi`"tv[rckz)HJ-kط+4E{ &rwI4Ơ80OKfΩɻݶSS ThWvGHf{މ4Sa|hya7W`-釠QtU Emz!EU݋AH Mz0E<GʹH?Pøܻ&K&lųY+Jcg ނ%*giT 2#aM #Eք>"2! k .=VE:;sTк/-:qxfxJkV78(oәY,VH̀de]VJXj*xRtؓC$7 ҐL"w MlF՜u+r'MlKnM7@oʯlK;T D}Nw;KQ^1D&\[&h(5Mq@Q AeYwaBYy[G.<=GxVҲ: _HdK+} .r\"kCܜ-rVW aݠ3DT@s,lJ(Db~ra.O+92ͪ}a]hg{ԽQw[>av !O,x ƶ{4΅n -u'g3c@ d:a~[4^ⵝI4(*2nuNJ% IGfD22+:¡[ó:7*Pg"gwx'43ض!&HYE@d2MMI(D]K,3X~a.0ߢڧ-8  \r9LF$#pdcא~~HU2uLviQr) $w%̤M);q<&QCR\%!d8.'G|uncm'I PfqY^;ŌJ:9$c\F3O].@%?n Ez "e% ]kHz+ Ow7ѰOeҭYOwnv8 a {JK+[2'L颏no)mYjVO;Ypz*] Cӄ&Eم=Vke j@Gj#oUK K?#S k4r–L.ÕS?CZc (5`~ y|Dp@l {[+7 AK%u $Vb3$˄h5+`5"*@u;aTYlXxX{4jV<99TA.KU"iP휹̾U|f#V{ ;Xfạȃ+OACrBz;`}SxM \m* Ϸ{f >/޻h`3tZO_ņv)pӢ]0O(r1ó(bʛ( !.G%C&xzg>\z+BdO&?$.<`@߽,StTr'fX@bi.YS&ES"^CG\JU+U0kc88lDEs ŬECtzMmY;8lQ{Q+h$!Y$΋h2Aݪpo7)F -p8|W%䮾KoCz~E x"_yyJ(pD Tn)}.Uz3cW,ŦղD0!c$ [ {g?#hEڛ|EV7%-XTTy ÍLWBي֫op;w)kQOTZd,M>k01Z?[m%'<HykA5j]d\z0NY^!2A(aDýq2a$O/keHWsY. 0GB)<~t l?rӚcO5ڟI%iZ{Z\Wjk\ 2y"" fm|ԠzPNAU~ ZQ18:u< D}hu5ʯ܊M1 \,;kPZ'Rlt/*纙\Q =MC:RB ┩żBT<ڶ-"(--{wo*e鮑}uX@Гj [bCVi 3|6t9IuA0`T:/韟s\*bЈpD+[1Bpioxai `!]ejIܱFydfYVb)O= YYX?KvO#/"Jrp42/l/h\?o7o5jvD eP*,SoŠvǀy6(YQ5T{(4+ީpiNYgk$ޘ2K܀%.+(>c%GRZBG=w؛lo*r|p3F$ ^ޟgH!0Y"*a; 9]qU"]@w|^OJp778Y! 8>m; lvb2hQu9|"TqH8=parP4m$0! "_xvYd\\Db={u]?H0©Te2E'0cyѧUGU1sVLx$1W5W-m9cSWDm vi |8u1zZܭ"zi >iU"ϕB0\Mp1!n|VDOdt?NҪk5h^x>Ap^]3奔xĭҔ#FθB591CX4z1j5B)GQB"Y(bP;b/][2ƽ>h}Z^oFY,{~ݤ$䚄 rr>w9Eugc_f4ʸ99%}̷ޮ}Jė"JaE^x,v/Oa'ɻIEl/K^rO CT Qv,K;"$>4!8 r7o\!tU,ߠ?^I73Frs5~`J`|&ިA3ht"̤6'LK8g 8fNscɚ]-taE f%ʇFS rd8K]Ԩ=LbM"x;dp7&J`6W`]~-TSIR5yut,bo)"eޜFh"Kt| rc$o2`+G6gKDP+Y<ʄ9ŏ lxm̝ σ̍A𛜕z F;Mr64 vzO$//S{*`O&[lɀڞIBGіq"[ ,QH煀f}xBY<4Zcd(X`E\m kR͠]#+:`0v۰) cΡ!3ҵ͏v1ϐtSĜjV@p"IR[bkJӤwu4o-sfYqȧO(;> A B3M/qESt43֛B%gu5iS}P|][V D76h ESϻrN\{ qqOnWT5 V !Uf;hq2yjP7Jqo^yÀ r6,fմ uݞSc>oqp=yS1>4\BLbb#;B҄.|+HyIFqT)eHa5Bݥ !fP'3 \c;-A@UO&I!i)^O..*wkXWTqP9O;7oͭUßC0a|5 Bh)0R)