SQLite format 3@ .S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 (5z$ ]/ HOL-Record_Benchmark:threads=6elapsed=137.574cpu=213.543gc=18.6737zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k%{ cE³2b1O&p?Q2 Nt1<ȽYU;7BhJtgYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬p:"%TϰO4_پK̎bx[ Ul_}YZ7zXZִF! C]ŗXi%B: \ImJU 5 HOL-Record_BenchmarkC5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCav.mI"!&nS,#SFcE.Z}خUzk1^JD{@~A;3z<<sH0)bӎ bۧwE FW_FFGŎV):ϨȋCmaܤ]́f$&uxspV1{ ʅYfl (@,L.)4agԀ]x8.jG<4-qpNz6[>5eK:SXq8B`>qb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents  U١Ԓ<6C75u$do,;II5>/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCav.mI"!&nS,#SFcE.Z}خUzk1^JD{@~A;3z<<sH0)bӎ bۧwE FW_FFGŎV):ϨȋCmaܤ]́f$&uxspV1{ ʅYfl (@,L.)4agԀ]x8.jG<4-qpNz6[>5eK:SXq8B`>qb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain &5W' QRG1)H^._X&F bfj'+~50_p_zM:p~n 󑚫vRrݦq ;AV !.g!FBk2r]yV2|{~ n.OA"mq q}S=xel3簀$x.kO8@$3!)$5͟XuBiʧ[S$ҺV-Qqjյh4PD+W`-WQo1G%"#h^ L `A]3oߤzfV0|mPU^._߱RR$a(P !z D+V7$tw[ .:8*XO:wB9~6eL8tf)UWPNI; Z*cýO-|'.^VOIu~ElBvmStThpi=W䮍ofpJD5K ?ChХwiqo[G~bð'iTC=5nS(o䓸UjV1>o a]_8+W?~>FC_}QY+ƢXzmY 8{%f3Pvĸ§`e;س;0'Ww9==-UTX];knL]3 Ҝw'3yzJi. lHMÀl"B>8N=qJ B |U0aa9'q[Qɬ$Ug>kxXiYr헢E&[15KXR/e6/tQ;]~Y4ЃG$:5Y|n'K$`xe:Ju@)Ơ8aS:>|8٥eѠ"6Akc]'S8_y0aQf-NT}w^617AR(#d %;,Ww'I fG~oi=v"2}pȹDž OLXZV-q,Pv%H\ z)CF-^}r RGg9 L5PpM ޿agVP bH(PHp^x<-P$:a1B!%H J~|I3+I) 6Յ𒝪)F d)zKt}3k(}o? seٰ{ne8n2;(XM+eXO\PDW/]rĹo "~#CQq@>n8.ٌϱmE><8 ڏ>['tV?RS3p' 8և† 4&2(xͅEp ?lj8-:Ma<_Evcw?Αyn-|QVGeNdQ@!UOٜS$3,3vOl<L$qnr40/iօB>5l.eO9ZZ_6!&h 9gm̓(S/O͈zi"]y<vDȥ.% @ө?p1bJ-S0V RnڵךyĖUK΁ 8#]x/v}oQ{g=lMmn `d!V>X~9kˏIQqA#+,G|u!.9wqH(bok4з>w+[uqRUm^i #'7Qzy3s.)Zq >/UұgYZ#0U s9`̨Fŗ숹̇AG^8=TϢmy;QYH%TBH 㛜Yzq$!:XU` }$Z4wQG7Y̯8"PY,K1vY!r7V4ábuav,A„)j-WĶ\rh{xu%Vˁ`3++5HZLM>Zp@톐 dpRE~j?4kG| <Ũע};d:kH>qP#]BOkkdTɁ X(5.untb]r줮enM@~!35 UoEBj'Ssϡq'd|C8w>gjI,.]fw5@I< ںoQD1KgZbtk+MZc/2,JJKWZ>@vw.G}ŷi%Pܴ8f ]!Y(yre2k?Si9&L!6\a$ʁdiR .5Ew9z*6HMR݊"KXӝ֨Fԥ6Å^4h'TRnd˓~C`Klq,O:A1Ud n s"@r{r$."WN pu .Wp`OXwpOOH H{!9 G1HƥʔCӬ.mQt!3vpyqp:%Gnl:2m=KgN`YQ*EțbPSycX&/8F%nωrjҶpħfE/Qý2,뜥1w渱d|(=u#PE+3ƶ-ҔvM!wAmC]WgrLiER$Gͦ.7o4:M/ks<};L\$N + p*(%RZ&4_Z4p3HE@Q,ATpNc_44& yP8ffvg^DYi .iohVQ,SZm87ucQ%Z-SiڐAEQ7WC=chR^*Z`NXsd?չUͣj)"9K"@B i@)TlArj~5ݐ=hS c^o-K!Ʒ#[UPj^+TCnx4` ko~u[Ь>ްCHEKWЩm *NҚ6QSzSޱ@V6٩θ3d ̧㋛XFQRP?%!@H(9)4s$@A!]p!q=yg&F>l'Kߓ02!@ԣB sƩe/j1ÿg:h,>ћ%g=EPmIFԉ?~fKK,FQ@M"[M ">K-C@GB/π hEh% Hc $.K ddT($F =M4@0Xk6!kn4\m&rLN@wG{'vH&߈n攋ĞXp*_\nDOjb O1i`DS)p£."h[P2*_HJȽhH* =wJSb guOg$46A*ath ËhQeXZvZ 55{pR߉]ϜJ,V4 8<>01Πk?V L s{"/2wƜˆ_Ű+PFHX` Qu!5' ,cOc] fWd9tMIN&lPT1`sof񾍐?oή/R0pQH4滃1F'臥or]ġ/wuQER.Cw ˈ!TD#&BPYT0cH}3E+/.w- d _gZmGbgwL9zh ͆m܀ TcLt $vOe`^woȫLxwNW8{z ivFX=]C_?;5ǀbrTwύK'߸}hG]Z/ z|җ6NhҐ@9)2˼lv8V|B+xi6 ,2P<c,ȟ6LsGwEڌ½_t~HYp}! l1+$[bW$K7Ke2ۂyupy&#- cYz~C_n0˿y0@] {%|+Hé~]fsUpm֫ ľ~HC(ȑeF3tSoG.ZmZ ?Uo.)x\(9x%yd!l^uB9I}EP=rZ 69'lTn3赋+p}>oQ2jǚz i~a'q V|GjbJdÙ+fa_>y};SJŎ4b"':j-c.3y䴈6\)0(!UwgYZ r5W' THOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8| mq'zB?Pd(ss<3yf庘9{Ӱ%H.6G Ģpɫrɯ>Eʐp ҅. 1^b2iOl+Ŏzm\lp-eمAXsA >xE,1 ꏍ $n/nzƴQcrPGf݊V0s:ـq Ѯ."Ԍ0bTs0>*!/c#)*ogxFͩv AǥP "VsfBZ0jKАε>$5,0.0-I1^h!!9'  ѽfx@dl-!8>C.;zT `hN#3k} qy ՟fe'N'Rlz_C3ABBnWv [b i6J.2j/@}!]oVޅXKc’(֏^2NZ!  vm`9@ԜGW9qK e4>ybV0 kn]ܞiP =!-WrN<ɧS2LG8î3-(GUE1&Ap!>4C2;5T5ԙ:礄GT9y8 pEU]%GV߰/  { -ݹ=c~PP\%mx#=e0N(eSr3y64 o[´ޫjw4?%vƁMh~ 4D/Qخ?pb-W%'Hy3DÌ !DcS[%}qܮ{0UrЌáVۮdw#Kzg뒏4$\$4]SX98Aa:>UC^{=DGѺ?mQRŔ[Y_z8_^% >T tԃ}̋9Z@8j$фIw=9/if̓uٰ\P.[G<+~'x^Bb_L#E{[&ٹJnX>MGx>r!thP@mpngtdBQr:K/}ϖmB P knFj0/|Ϩ# "5^FܛFѮ%aP]&IUh툲ݺh2rH>?Mjb3nMo-2RȖqTۈFH͜j#ze⧭Cd{^E"a+%#u"y{]'2=[(Ӣ rS ɭ39EY 4$bQYDŽELe7AfB {r{l~% :K#l, -E -BTáLҠY!flgW;mHB ϡL j apR7\W,ǡNDY^,愇_⁔E >,UqNˉE;8%[SCn3jCjL 6zȠKgŗNd-8z]uaoTnIʤ!?1/3LQ8؞4Lxx!L* +K8ccLFӳde Pt_5i˴[y? Q] ;4ft|3.\[H2<_s:SBF\e5 FxcE x}JG:ģ#;QN ,;;Ijĝ~CW(uEKNH̩s8g?֨x3^ˈ \w a1v9"oU j #(1pOtI^6^c=_քNJi,z!tmi ]s!DN^<\5UiZK G,SRV"d].'Mfڜ m3(J>{!PG u8 M}{Gvw?OyMGeXan HpBtX"bFCܭ MnHp2Typk| 8Kyɨ&ډXX…z' 14.+32WNZdWAV(zES~W^7Y&j(X40\ƑD&=ȳKSwLDh~Eᩣ|De+_b.:"f'?L- Qc`Mϗ̛=jW*/K$bP*o~KY΋@oh>Oh _ q&Z+:֝3ZDsO P'˩G4&T")Ž2N+,*Պzg&a)r$_g_v$8%ʌ{m M'aPXNtҊZܳO bg$)ւ1^Jد9{%-xPvvLz']"_ju.: "_޷R+ʠ-H~s@4-0|F7WטTRu4I"]P.Q~Wj?)?hC>lyy>*u :%de"ɀxI72}]vzŶl潚.-F@`WBw0Jv}Fo}3pv76R~iTDqoD^7"WEH"sMΉ2k\XZVtpDJe>NۚrTZ9g~_-پY쇰Rz>cfe#㡖"y[z|DU_-Z31ז4!\~fK1,ћg[%e K.RlIicNҰ&Ye}ݕ FxLI3ua:J^HBPTShA&D ճD(YWT'v&94Ν-^yw%gQI-0V-OSj wmd[Oi&.RtTj]@,ȝUBujjO;ohaH]rN$IpF9L嬛Wbe޻njXdo^%+ukxP)7~1{ l-zPɸr^+ xr9>< ;AUSwCasxf¢80yE/'aND cMnk^"^4ru5$#: p ak \ڈUD 1`^mƹN`|HX̐%`r׸n瞒׌67I@؟( ]wɝ5ap5_IْADc.H9t͡:i|KT=@(u c#ڱgY@BWf rЭU4Fݯӎn-z1:6w6Z t[\%Crxlj4z^d]kr 1),A~+/SDVJ D ؏@l'-EK(,a;#5tJ @O098h&?ޛj&NC,'y.k|5"+eC`"1SLq1ןt3!bfC\+QM&pUҌZr!;D1%,: 21h$BMZ 1/-0*k7 85XHYr\RW'+ tjO*cK< xjf/+bJ 2F].o$Y%ٝ~Tv|sflo äj3ƌhߜpɤw:y*EZ$LTUd?R-o!q( h:7YE+-]rh}nBve`*LN96 IqK z0^%P@o$*%5N7ֶڻDΙP),kac=gұ\ۮR5!2a6Ef-Bا~򽎛|I;.ЦBߐ ְpG:~$o eVH?6878jG0Brhy lJ;Ӿ{km |y1daؼDLp*ǩ_Z'1]ĘWˀR~Ot( !~H;*N9]sJUdZL , ;KMRЀѷv,-:ۊoH*IPY J>7UFP._c|>yR7.\#fU2%)4VK[ょ@CJcxz8堡d?ؙژ&GWɮKxXk qPО?ТEnjρAE'g.|us l )9<5Yw?[0vp9DNS qݏ"IC$R眕g\ 8REwMS6ĽaRJQ|L͝M|nI'˷ӎb.MGY֯0}t?TeM+Ģ߃t8۲}_VXݜwPKOkV+(`q L9s̅w ?QeLRX =]P) UOj1Ś*.9^OѥdQI!&}}C:TᲤti@0XB+`ڿ$Z#.NG]̺& 0(R"(A^x*]s*[ޥ{abd:%v*aW#2f"":oYdWCq8R@qo% {ҧ>c?hA]2na n0[x㱵eS5C(["~"ΟìO?X@ArzY.,0- ]Bp{}zHjZz iHҝ>2Ζg&jM tǡCOtrhJ2Ȥs4=|bY:;13o$ i»OfF;zxCY}3lpTp ÷tIgg*>˶xcV90+s/ R-gF!7Z X7CcObHfrYPm,Mlw4גv(BZ9}P s񧎚} ulYᖷ dOcZ[z`X3P/l>3yĵ.5j}&Mn!5G7: ˑ_ԇ[^1㘗ZG{VGoY!Hw bU21yv12i3 @ݦ{]pHX$>\ x*)w~E 'fNM kY"Qx%"BdfA7"lʧ0;4vyɹ0 [N?SKtzAD8:}E+X ]T}[-?/qI0N5]Oz9 %$v&ޥCw^>@U~k t:+ 0il _W!)Z/WCiݸ[|kpD(MyJ&!aҫnH G2$hܼ므 $nCe: #9Fxq$Ran_(*􊁜y"J䁨Ʉ6ZBSS`cw-L91 {n_hg'p5rDFCdB̼O`M bʻq~P/=MQ$q/A۟NJ7B%7nobe JZXM{zskylRR*P[Om7?Khc G)mڟZI}g,^.4םξ@dc>5 V)ٝv98zio]:1{61w 0| D s3*k18}v$COCf"rN<ӥʿD݃n'y^% γ>y|flBYؗ^=bSq"FkQ#iÉV^пp$lԐy#tu!#L:FJcbQlJ*Si08d0/3]T+(Lz}NH(`IʫEp ]z%76\Z_?@4 Xٲoq=( ApXP! -ÐUݲ I u~/ju9di#oUR54m%;lo:iS ՕP̤Gsu֗+RFBjZ`ef8:yY*xIz>NZCzn-9J½@ڹ,yT5C|mSn]ֶh2ٔvV*#;xW#sld> ,܏ibͪ'd(G|h mBZm"8n36;%"vkp0U'{L: m`_-2t333f_2aABakDRW 5R3A{rȐ[ђ%0=Q)H m >>\7U}ڼϟ QiKmN^Czw4eƮX\J/,6(_\,8XKy:x|:TYL⼉6~Svg;z C ˩NW{Jg4jfi/;+u `5 >nBy`WY,ك+zѼSy^ZկG+CgUs ?/7jܫ6#ީ1 UH5Y&VG& RQCӄZu_!K:I"̳,UL-Mvǡy0:ua݁;+,,9{]Mdi;z:6#BLuږ)OT/AN5P ^8}Z2HYZGy`|idaeR-}2G#;"y, rh\#KnSnW^UI"Gqzv ]L>BN 1D0~X@${&i{ܧS|!Whk+G_ٗ\Sd ֬lSILEesٞ#uMr9SZXdl㆕'Yt]?V9\+(Kc.ssl iH+roy ɉIgbۥޘ? "N* HaFp7c)Zxv$x0^iptivk#?jwp}iPt1ZW! /N ~ DBf$fFP7BnC 7f{ԫt|:%zcS|Fb7(xvPzPO0nJE~rm V^i$`/¾ձ%%n Mܶ#`"Kqsƀ 9:n1ed0S K 5*~>rFcɈ=8[zR9ّC1EapXx.UG/!&۵#=M}rgi(cSQHq~D44+7 0dfɝ0;ASvy=~^T ,#)d ( J$^l6bRty{3vstfMn?X8i1RlaөFf\Zu $JpcRf-1 %Ԏnx\JA:xG%`6> N~'zn@w`!co`تu?Qѡ jٲ ({~1ұPph߂LnI,-9 nLZa<0{BpߗZ3teשpBdzT͵IYˮʯ AHHͷŊ]mrl36US$n.оX6H{LUʷb݉V;֙ݢZ! Tk(&)m"/'YkvIQ1w_NR΁톻]zgpC@pFß<=U2{_Fra{taWri2Tt`^ީĦY#O[iJ+ۯ'vy3}}xuy^u.Z#6t,I'dZ\IQtCSsd|Y߼lE"MC(ykhqԍ_QĽ=X*_+.uPޯ4~Wz%5R#]M Qhtg:a,N6xʙnD O\ZeqeoEG:;Ԛg+-nL?aa,6PW&UЪXl}dO =J`P:+?eAya,h =P tsxǝ~~C-S/u1FW57 'TEea..+%3]y7z#&}(?TN_ܥdKxޱ,}5M%mm]0& X@í:R@%yciܖ %!Fm5ɏ=L,݋鉸OwO cz  kt1$N@dg*iWQګz Z}oA2zqw4f}?,vF/Qn߅#U֬b4B&r#\57$P8ߛBh=G1"u?\kh~ʺQ&4峙W4m!h6}\-r ?rKh#y=sFGRKFd O/&TN 1>$KQrWC|NfNC0v}1#('$+T!LAL1L+PZ[~XN,Yii{(?)y~WYb+0?ں$ʑl) Y$vkv$yhK:9#e)t!D ΎB B0f-4Diu#t-1y 8EA'\$3ԃN⌊;͵&#m"P#y-eGo̝5U(@|tLK L#SOZQQa̔ J?0vWG#т+JmERATJ^?ǻXu9I-Kg`=f;LgBRjNM;ܘaz 0'f@60jl,ZJtߘ3F$4^L XdH=# T9͢2L72~!?r#fϊ|v87&,33Wa\Ջq#W >$Cj-yNghsr֝O:0JJKI5{`䣟N^>i=f~7Qܐ]?[k_wk[BC10a( ?? 0N-k;ҬsZ-w_fw/#s&Z/uXE=d .#B1cgZےgXlEgl:Jك8r_;TW `Y 6o*b( )glpJGDl+mHOB:$X7O m> mheBPO1B~2Y8ƻGUB,yX4hKI 8O/̄F9zxz h(#x6TwvS鑯Cl6rgƷc$=)Ay̱3 E~ e|(F*ԨdȑcUGYz~6A5Ї ɾv!Sݐm 괒ButF| %7 Olmէu3Zz_n.,C r~jocay{I \ۿuE!V'%2%p0h=cp?s`oY_K0 ΰXTPAq6U#=r4_<LM*ꫛSS,Ĕ?uCGraAc$(OzV,d^a gZBȱ[$-TOۖ\ E`xlѣI/t<0S错߭D2% ogr,IG> dK3j9PYP-ȫm*RFpb}`m[u29ld:ۧEt?[Cnzk[zk-~(h-|cIxR *ӸS^}Bucf"~ l[cq3 [|\g^.6,BLDZO^v ᄨQ )P ]Z+'>?EЊ.W {D`pj3[MvĦWC^0;ocwb3jAM}l9Z RՁE.HDmLq#"5qy;{,W}+=Ij2:I"k%hk2#[돓m9XVf}Qt"̬T:*Om՝\I"kN!ySaG+RhgJg{9k4~5tz/J8Ė{+u>Xw~YzQ֛ҐU6t>2Rx%9a4%/{7JvEgD şj9M-iVG A޼Y<)_((zEAH񎐁XޣP:x-&OY0C[&h6:4C)W ׊8;)a-' U9+w6,S'A*gm9./vw=|HD^`T[Ox;y޲w!ys,#ܫ۞H4xt9W5zpkcȑ.Ag[")b3^"usR&n?oqrS΁9ta05/ow'|ryNGEocѰi M;=jɼ@U*=K ; B/w]=!~S%H8o1y8. * ~,AʝZ N%gJJ:kayrXJC66 :O@8xZEF3Y/x(/aև{'mT$HŚsO\?ݴd| MlCL];:^y%~.fӁS{ΥeBo_4 $4V>RKo~4T7jG:k-*zQV/ίEVb(Q/ ;m%`0<ܻ1(=U#K!j| TufByⳘ''MId5yb_Yt Nz*)>SQTuCD J2R]o3iCcu&*|{zb!_׻*n#'œSFM$ Aݻ8jrxWGh0=8k7-"z?f;ya8a;_Fu~|-}1\W}ca:Mm< Zg퀪Brc{j,@_ Nw)NxmHgl8HKݶd<={dX#7KK3fv]\f*<|85?uCP$>^P2Zfj>+.6NJMo ¯b@mbŐeѿ>{7(}JyIw0TǙ_+kv.(%8MտJ3_"RET- Hrje#*GoyYcpͲu2~qD%jPZܓ'ZQ\BJ9\ɗiqTʫFO tm:`cV'!R=~X^*)yIhbY9#т|އp1L#H2j.[sOUN7^lUNC]?føM5{]j q"=:m^3>vlgwU (54y`Qjyr 1fy6?S7Dd쟹@^#MnH]gh䋍P荸T> Gҕ+_D,5pʈ7?_0ʰA`eyGPVQO?.ovR,-¢Yj|1R3!*7<^}ۍ(&@%p*xF~T} R1Ǵc;TGH 8c/љuտ/f#C@#$)dLp5chX꟟s6%49PA]FIig]RN#GűgYZ ddu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method  5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸM]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8| 4\?kߛ p'8їAhEv2S]|y"a04b[N$u<Ǭ+lhlB0H92 Ep8d{umP<7Q5 A"{վ|)[0'V ~ Nưz8 u) خRU{ ߪk<6pɼ۱Skf5]D,y}T $tN(ǡ)Fic/1.+:os74LaQƛV16G{˦lp1O:X/ 5(}łuE,xx"ܛÌIfSm,PDԕ*lΰ0L~@w $BꋮC8I1xEiTTX$s[*ιv :}/&lB2).j~[P:5'5~AyNrrxGKŪ8^N3R%Cx]v !Т+aƪ`ۈ I 36MDCf-]On%PJJz? JtnCGB 0/6GuEF8[sɴN7Jۨ@!J5 )_ Tteo(s(r5e`e~<6 +r{zY[|HXXIZ63yqS`0G{?d۳Aq|D@Z6X/KqM/}7 uZ48[ALW~rNk yBGn$ew2W1!v6BZ FZg*IK7Ehyt;z ;,NP4)>ycf"Fa|&=-fQ4̛JB!6a&(HX.FéU*NvHVoƋ({(Mީu>q٤ZkswW&g.ѕ/nõT_v"a5zV1d0LKC;F%]ѿu_ξGC=8Oږ8l`A ˱? &nGEXƹ 1WLNFBiN|+TTh";wI G挰.EJy.dwknL"2q h2RPZO?4rU6.k?By]bXh޴PDey5fzeAUyt[MʻEuZNokY[e^`I/fɨ9%L4),q_ G6_Ȇ]=G otZdF"bJe&q LL^ܲI_l,a)7#'!K>-ol= DidZ-0ZY+?0B2!~ Ca9[0 #T 4iX/87AKcԮ@++0e:$-Z,+N,(&g:i튟:ⱔSn%RsYS9H 5l`O=Û Y.C"X6>r)FtfS>$?$×Q#1+x]x5Uk@:Gbz@a(,i cM [Itz}@-{.ەWzW2RDm?*8bw:<DV opMgt{婍l'%=!ʝUА~orS;ҦTuxBKCq}f Bh!I&~y|Cʨ Ϛ 6:TptJpxapB@y?.+R=\ .ރ0[Dq_ƧZ$$zIyHhi(f3Zr ;789C%-)KSk]%LZ UCE/!xJ]1/ҫn>T(V;F?;Ke_6۸ y]Ud ң+و̓Y0N~axwsܐT7 )#x;ȡXiy:0f`I3FvGkrexٶv6VF7c:6E JRS5dXfq93NUzь`;W5 p#/L&4!<;Z0l’@^аFh&9~Ul[$99?Lٿ\Xe:Z SN^oR`F2Je/b)WsLgSiӇRwkB Ւ)7s>K5{K%B(oL3lN.N$8;,N1,λo F;O"wuDD͘NR_9tDz7ɰu$Q(Kl[9͏?(A@kw$ 1]6#6rで剡y}U b %ޱRF zh9 K*2)g0 'tWɃ<ڙR R.>l$ GYTh$0 o@P@Pg{ oB͇!X℃ =K fЄdM6c>|65z /bWBO27HEjk2!pj N`/g{еo/c(~Yւ~ZLۦsMA`Oe`NW*L320iê/)u C+waEQa)/K¤umPoߦq vײZ4j7bi1x4?/w޲m1?N^r=ZZ̫JygX2"یϝQ~\jUUg2Kq0<sF$1T9#%;lP2bףP{(t0,5 EqD:ِC{ f܃z,^ /n@qupQPN1ĥj_x|& m(S>2S/XҀ'Nu0ݸK4#Wf)!pESpyt7xUE V7X% (δB!XX Ϥl+ɶ<"ThofFG{M`0^ ?BKݘlӵ*@}pt6º_IV3F%Z5Q0cIϠT@4I2SRkغ[3,$&ʖcc|֜H 2(M/G.P:p̭ޗ?*C6x[6w-MoKLbz!1$-bCP_3o + ]ڟE0-yi[=ٓbuN0?nde|)k @L|#HpN7wk|5C/xm'?sF_CcfԘb^c_ S|6̚{R䱭3RnH%xA`dTI\[DแY$Zq0JVA6n䪊wրxWX H ]_;8YP-b:lFY`f \f]V8{diɚ:꿳+l`"G-RnЀ|,#.!b>圠B[ӺNHۦw 2a@Cpi-\H'1U+Z+9 / ~;+tPv~$__jQ^ ug蒄#XN4MIVKu]7bEj, ,ΈHJxi w?w.:UofsGE(<^fzd$5j]R)nuG&Ҿ TgobZ9(}VIfjs,RV=:24{*hWSOsKGSp^A]ݠ{Gpgq]o!v5%}.C8evj7B(Qjw`pr?=u-тj`!CΣ~.4qןoڬWI|0,X,wvyS 1X,(y!z4&q}fE*E[[+ӛf9x^cO&,LN›s48*rruSWTb8?,3öDTaС2ڱv]sшG4нsO;AP+V2ڿ!"K#iS13tWaДf8FsatO>(ܟf+-Y4ض QJ0/ӄTkfulfS -XNa?eyhRpڮ+>Adl|lNm~;ygE[Cꓻ2 S1M6ge=(, $h2Ɏ-'^xG( O|  6fT<$ zuZl-U[zD0٨z0g0-T? [/Om`O <%]|L&s*]gr #UqޔbZ13#hY M]u % }|18ʘV{'1凪)PN +tdBiGenpGS\df#@(nl#Ag ؘ+e_ݰF OO!#ػV:#wK;<ecm!Ք.[\8d+#13;9XN'"Po(㒙q V4E?AHٟ-5 gYZ R 5W# tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Et]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]oRl0;9J\%śLѿI( ,{ &E`}L ׍`ݐ,B6zXr<~N*O4rhPJFMw}YHŽٟf]KՖT@C!gʁ /fJ+ȉ=rOG]U wQt|ㅋߘ(aԴ vEm8)'+k}:plTs+qPMR;ؖ~ejb ^0$㢊ozumr=%i {:ּy޲It8-oŇX : }i N_Wd`b|M~=IQ&'+eڑ1790˫ maeiLh';`bk!͟ؼF^f|6"CEh ;"okN^wΨm27;i$,/#, WyՓHI/9INu*ܧ!(90Ml[盓8 M3h֗Q ]W# yEoG6\B5>Uj.&&x*k6?Q$L/(BL@vd sB#͝.Dzu~(RՓł2J L)Ӛ1Sn|xZ+ $|T٩zv<C,;6Z"M\{դL=SC-T,jݎݹēOZcK#A)5t88B?G$0*8nuF8k"V\.Q, b`m;sKq6(UY b9 KfTDL|WXI[r_evC>ilD8ܵ1Kb߬ޜ۝qMC;%ˌr=VTe͈P.7f2`Jkw:6 ěJ}9$q-ºzNe ~:s`@E\xTpAkJ|q>q% vp5BVE$i 68y6'(ğ51F;uG8~]wĦF=H W?=],r'lJacE! XWe6AnE\ngf9즵]O(xgPe=! 6y5雘'wX 3SXVǂ* #[?!+AiAֲ3l<}rvp+aΈ?*Ow=߯k3^.M[`4sr.qx %^3j8 G6,+A;W~g/(Ti/fَ9N7x`g%0zjg-\1\\iOTvr@@ 5Kc3c*FC,rџ<TRz44jt5Gۈ8qPHNV>eWMÌPp9.8i/"+H|nE'9Xpߚ:quvu1-I"JajI:"sE9pJ+GulcHqt 0אMT ;VMz5qzQWizk^S_I=%9S*#K1)9\:z&Q~Xa%YFd\ S3T?eJA^s)׼MER+)BO3@XM!9>Li,8 _8I*?"tɤ͚zD]Ķo89j~ p>~z*3 {TS<^A9pZ* #H;tX<:Se`t=a_%ՋSR WOXE \,XfZC{+ ~:E5;E~og_Ɠc2>~Խ EAAFmMQsB]>Yn%[^՚ؼYw 49@WZ9r[ ѿUd> E3[zqTc\f~b}JmMνGG>H#I. 1n C ay=kwmv;pYW"HΆozlv;É S$] FǻS&>VXPTv=s*Y9Fڠh%m1(κqg"ڼOl4(?EWD+ƅD FII)y舩a]˼6Ǩ}w@$’wj'}qmq{!nuIbhDN ΚTѮ3YcE`v3qh˻ /qk'ͤtT3dZA:.ړ74~Nr  a~7cZ?ݎUw N!zھ0^ R~7}}4=tg{!P,h~fK@5Yz<)#ue52E)9~TF_} ƘOՏҬTXrȆ[+jPUbZ=k1~tƚQ%mk?Η)GSC eE쥏vN9$U@G^I*l62[&D>x'{x>]W 2IfvXa$ t8T&?a~uPdH^9KuNQ,)hHL1=9vuxV )ur.;qF\ 5MՙJgK`#ql%~fN5eJjw0o+yׁWc⸵8W$_qeQ@{N\m{ EsvѸ'wߥY)\6:A" i-[E1 GXjߚ w!t,ڝ6pe {ЏuFɏ($6WC/W1ah0brޚT*e\=QU!G2F _δUMRcE["9@c8c\1aTW/s X![91xqo苴"JT=вX҉yy } KfSz!$m1If|(~=OT."&R.^ VnZs2YfC9?Vʴ&)I{|fRbK`9! Lh0IhҊFpj]z?`$(%l7%i4 r<?P-{8ѓ =7մ:I uOrkq 6 [拎kGfQr2j~2a#.6KƁx{}›zBt46I~Ј<"EPqܓ{3ef5a'6/=ZU*ȥfs ><,4-i=&2mqKEe`+\ ߰e*Z\o6(ağHsdc;Q4>X'Q\%k5n7?s0Ifs.?t-2;MA)nՙ]mLV[{yVld"ZխmV6j"8wryԃljfKOjIu_u?y.s3yN >!{KB|X8umأ,K p6KLh-}ҩK-?;9kd{:>J1&MoQR2 ToOɁ]͈w<,s,6!. 2຋κ7@"{Sn z L@T,АZԲ)*(F*-OP1- b&y=9QْO 3嬷t$Or9. ELqPJ7T1EHBw`ǗV">V{6+)&zLT(Pyq߅3_{(Nb^PdBu"dh 6{f\ѱO&k܍"i `ش^\Hbt!U߹ e6`1l@nf-R+/vxkt  Iy|z4 Hi') nPv[H \}DX ̹lYIY=TG7Mth0 gYZ z 5W' dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=byR"ba$u"'=U&;?Im7N5qm BE=mDT3%| 8ͱ+vK==b#:h.0- y 92*'/i::צz%=*skմ^j6C󁫟MޒbK`Ppշp~Mߵ ZI]~YQtJI)մsy`˵4 0AQ^ =p#&+wKc.m5=AFj;hy礡J}5,T#¤#=qs`6z p" 7,bȳY-e<@WgE.ɿnȘ>!IюOQ#΅#w0dp=|$n$U(vs_tR]ûtDwɔP`3@*CSYcssyR$լ6uU| *duF4jv&VR^oe%n]se'dP^f:Cn+TQjeI`B1-7dfowCىw`]Om?vy1qH[P~j0'AIFQ:|%UBfZY/zQkQu#ZǙKRܒ@?6U_Z`(V@&>]"Ii4aI&RiBp.nϹ0b0ЖĊl^ߗyC)]MqIꗁsggg2d ǔ'kgYZw .iϢ6= ~Cmqӿ(&1IȩP ]@ƈڜʿg K[< ѧ)mwbN<: 7Űp]{R-#` G Qkt?s@N]>h.oU;Y:.vDHo5sMQȲn;G,sɊ .}-g^Z쵃5Wsu?+gw62'؁x dC}8(sNv on Crd^;y]GǯrST~!ߨHc> ƴk7_k>8k*lK35uǎY)5Po*|Tf z9$WGt-Քa)NSJGBP,lB$*:^F4,`R4NFb 5.; U_Iя5+tK DaCR7 ,{-$&tm|CL[+ٛeSEz; ]yυc T=cݠ\28*.|XAn.}kO7$}1{?{RSLQYzzxxWB/]C]k}R WhNﵡR񕫭NY?} v F(nɬK5wT Q`jƐyu83TIǭkïfY`tf+*"Tȭ<^>|IL;)\lK15TOj3|U{q/5e޵4S$}m#K IJlnHZnKMj~3 uMr&H.'Z@jlmݛg7zA&bY"_{rjU$9C\82gaL t+cTBX w~N$°NyrS4h(e  ྘2~G?F{(W ߄Z|OˀZ72y#AGh=2Ozo3YƱ[3"§p l!%JK;)8; @lAagNѫxws/Ke˵-Ha~~MK3pRb \J3U|r9ǩD9J_GO 8"ԈUοS=OP-_5JyvvypGoZ//R<G +EglI> ,ߋG8u =-aOQ{=W*ԃI us]!kn1eAs41alvjBHw8hT9:eTjq%p!ᫌ{S[H|ϋ3-T5߁[^ 1w`)<+iu7n:zϒ Bc]>F)vWBu'^p@f|d*Z=#,eƴ_ЀZ/U$g|+aj@A;$_HM|x TUB"*QX4I%KN Y{>%52a";m!DĺE+y\P~b/bmdnF@p6Mm`#R##DBԞgb z# ܱO:*0Y/t$i]9 V{Y/8' +[rkiQt֧aXo,Ee)&sʄ՜ޮFhTOleEQ]?B v0<(ULBRv&iR *-Xȹ~6'Qb9x @I;ϐ(Z&Qk"/ҡuOy=,+aԉISXgɅ=%YUhn}EE.Eufbɤg$$%N שDo42D0]$i1P3NI~ ӼuW\{Prq_*(KǦ ]e C0֙^uSK{ͅU ;[} r*7n-_~s 7l#{)W(D!]ԴV1XB[[\ )]P}g$޻'2<\٪\`{R{T -LsMs_G4]Bl']{sǑZg #xm~tҺj_ch$Ȳ_ L_|,_&h ՌKZ|?d6~! xLDV>+R3S z?>Yh6އ+}y 5miSi+ӎ!5^ 3~2*zgM^k{BJAt h&w[K)[hgdK/=mH/P up1;ʼn{Y!-|g|ӟ̴EWgiUV$FyHųb0%i!'uBxtGÅ m.)΁3*=!s( "%z&h=hS^Q9Ӻq|JX{v񆸣g?kg2krRP3VˣIEc>GK_ܺ`v+*!HG߸ ~i/ĭkZqw}`]_Fa翠?]eF L# e&>]y#MЅ.W}%1+/bhDcEB+djW,ʅF r3:Y=;=nVМwa(\M  -5z0f^MD~>훐*uaH-8hѺuE#8CK]%k&YlVQu$\Q1K/⊰~So U?Ai4 }p;vUr#;oeCRvvh$}guczsC9 *aNUPoMpsz-Va3C^` ؎eK#c,,70^u'];v7jt&{6Xdہ*>G6[K[s*6ϩ6BӁݔ`}nf]KF\Bz+OCHi">UqlڒF0LhԕNJZua&ϟMbOf/bx0TB ?IВܖbtS~ !]՚Z^D Yb~@{Wʫgxu % jR&b BC zujGk szD~ O¢HFɬ UC{P4ɅU_SpLzAJ6}i˫:glK e5.c$2s39N[u{ʆ֛Lh`FB' 9j&#Aj晪[dZ4urn8n2DyrB3FLîB@:ܝF} 9 rhl*'pbO1Ʈg3h2&3W# ]3W5Gv#4^5\h,HD] nH~y߭O؁#ٴ'Jps8Fqe/]+z CQSsr^ő#H H(χXrǤ0RCp!?˂ Uy8@@H`l%//APS׹n|`O6|)VBh"gN"pg%/= q4u@RdآUtaseqpQ y,oL>ֿo.: SoO6" VibDpۂ)PI^8*Q7+t{+"Cd:?фn'ާuV U_oIy]I8q>$8l14;$EGɵ$M@ ^}jك+4 c*e'{>lKpR5x`'s^Z‘6!nO{IvoWWBN5._lC?EKq.]~a,rQ:'K[9U õb$x9+d%Ϙ$.=[ri-ӜB'ʛQ2\ÒwQEGUI@%(r@m8cu '|NxeQw4-bE8hYwtʠ:i4KͮSvӧj w=O /*rw2ndXV0`]=#憒W;va׎=:vMyzSAAΔA.ۺ1)QOrtueJ_ Y?וi5MJpdXkJoKMM.\o䟎Y\r!+ A>d"3dQ!6ٮrf$W{3(q.WS}`_5v `M ^B[fv.n8DG:$:.X4;eA#4v I-4rbZ); XUu=# '`xiFs_`qnCTqZr-FOV; < 1gYZ8165e8a8e498420d86a1117b89f02368eac32a1a66da40a09a6751d87de8ae236e637a692a9b1c0e 4af5075887a76481f038d4f4925e41d5598ce611