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 GG6r4D ]/ Menger:threads=4elapsed=5.851cpu=19.972gc=0.6007zXZִF! 2]ŗXiɟ  Q =ϼ3^3zч8< -N*g/j=c} {[qmnV#9vTUa*Q_fZ#dᔦ_o  D*\ЭBmssHɄy/]v>Gg#2A Y1sٙ;X5 9~oaX}S6"U2<Q 2 V1Bʍ ])Hwj"OL]cpPOHܗs&nSyEޫfz7m/&>MI6B5D <ð5w EWrsYNBb~{'}=Ag 7n+o!mbbrm^gEQԝZG7D47횹[ e\[LS"*^S{=C96eݪ3QQxnV˲AaD鷷8gYZ7zXZִF! 3]ŗXiɟ{A]R90⿈#;'OW܌C`mW(%,jzړkh=V=h i%łE*G>hC3%= ཾ%M16G蛦\+9Yٔ 1i,X0|ת €0ޝ '*b6MtjvO7 ۦ֠3F<#^|. ǔrɀfb ^K {$lW.v#76iQ3g+uE"ɞDeku3=;e3k7`LكQ0B`#q_r!vI)nli䞑5ZS2 դʫ(hĝDrVW{j}ZMO Hĵ+i9E.7 Yn,ξ?'LK9#-BoLh,4X$ Q2@Ll'6?wBtW2=i9VL  | ‪S%-2eu<D}gC߃5[fߛxCp-d ݖMP16fF(I&h뱮 ur.'7Kr'b{5& 1*ոrQ?dѧbl =t2_Z a ~xGƳd/PU2V$O_Vr3Ǥy4+ %}4g՚w5ƭ 1Zbœ$̹hV 4+Fp\xޢ*nK2Q*VmPqL.Ÿm,8_ydo-4Հ_y,V(0Q!fNs{QX5W&2 rӪǮ9K eJ{)K#=ఋRQ`kK' ˅:YmN\LG#H`2]@\Dak?AR|E g$&baK1)Ïmm sRx-*&6U+b=TbI/2Ku 9לly4siu ;vJqqQA{TWNtiw1)J׸[VK՜{HT*?$'%yl4pF}L-P@c$pR`'jDS \d:©'<(/ |T }Ѝ_hɒm4ӑ4^d*&b2J?<6-  iBكYUqO>S#^^q1PNCJL 2n'>6yqbȔIS'j{ UeLQor3BGhyq~gm+ +[c{FP/ĎF V_5ڭ`\ j RPS;:k5RT 4Q,,1SpYk7uLh_ wF 7[WxM ~J\~>ۗ=&z'B\4ܣstQޫ a#!kO;1bE2$/KPbBZdN7(_gbRlۏ w> $kS6LrkOK:՞]Sy;W7]^ [H%@R'&HEy_"88kU&T_7PQX[LA2𒈩&"ب'HE_)BT< [hw^.}5 CcԘU"_-#Zp1=/oȯa\=. FR ~ &f=@ f7/ýA׆%On(Wk\#ˉ2VyYiVqkL=D#]ewag1͌9]<ں!aq "& 'EzpE)I/n6ӭ ^ l("r t%pϐOYJe |pcZãL: xS0b!ܼ%ybJbEP a2v>gwS"tHo1 |OD>[Mvc]E4R4j~b(-' ~,ytw("Zt0SMF 4BSʯjj+m20rPMU4xw wS 5=;)/R?Z)X #`!*]N`xTS PE$uj7(']W{f(Se}=[I2 / m0XwxݛP <<=*2>P"jIw1z躠*]-ljp,!ϨBѼvv8ǂz?V|m+6ld-0~:M,VT؃\wЬ}4eG 'oK5YV]"_C^;y4_-ؖ;Cf-V NƖ̷CN,TBåBZϳT[ܙ؇RdIPN_xћm`:Cֱ_jア@;;~k>X4wOц.«$Pۂ& n-vQZULA|@?pC跄{1&ە#阾;JjƬ#z88b"s%S97 3~ҊčU^V˜IBZ~1Ti{egYoG֪1zAoЖʛ;EA0AY]D.$(9a >eF n1tEOpj敾Y)JԂs&S; ./9џ Aє~בȤ@8n>2w7oaJnF:` 1kMk^+ޯ=>| l Ei"̱TZ/Xaf7,d a yv:\LhJ$;'J;ٞɋo, G˳ߡB9/A 6_I52ِ}@#w7\"n\J;i^j=)pgȴuTCׯsS— PЩ(!$BS?Du,ajhP2SY)f1Qd @}ik<$#%W$:@%*J1̜"0{mV4K8/BRFW8ּ TqsTע. &D?]*Z=%<;ՙ[(1U}/O}Pfg0gOnJc#n!#jڋTĝu;cg0W4}$v`vV} E/t ׮hEvl-a~;J#0د&Ru$Hל'X _z%xq0O>U띚JtVU=P 6;* ׮ 5Hܙ{m;jT!v!fٯg =`5\@jގ423u}RH :E'<X+BDMD +slӠjTcoF^e ˘cE©~8&48?39? DJwH d]/uDMo.91սLO9P L. _Ңbɹ \H~'2'ۇՏ)ndۗ5ʼn\!]5Sd9‹# uTw ^[z6o'[x]QɟUDL]wO{R#'kj`ˆSVa+r_`Z޾헉=a[^d5Ȫ֋{F>ffv^ ~Vf!;EG5я:v<;\KV sfvfgV?V(%6;{zFNBLrߧk0"&,RM9>Z4ȁA:@S-]2Ie->s`iN&eVB(ln7ťFOse5  n@x^xw_ÎtնJf۰3`&2+*ECOWIug偲]2FAaDB,XqX }],ځ) kҀ_c@S9gu)oŤ<1PebE@Ve6~:O!hؐ$0築"K\/(D$ "(x(HSV"σMM4PS GG 3<~-0y~ ug1ђ2[jE7S'nlpy=(ܱ71g0UdŁ${ҽ`č 5iy 43>⯚}Y6%oȠ^n7Ȱrx!W3W>`vDosvqoJ V^4BG@Ѡ<%F .> ۔w4u{a=' lظ{Ŏn&'-o y5E< G ]1bL3µo0R~[|lSόOAD8jhP\>nJMLq&{1눰-naRr؍DY; ^(lk{/.3FL ՛.^ae?sѠ T`pȃն/ gT3X =3^77N 4 {ړwզoG@6R-tG\6Kw`GG|qGJqi4á}p;qZ=#mru1G=a 7%!\6bmCDvi)0~ݔ*oz4W`4P6[Fq贝_'FrӡDԏS`/t|%=uuI%nSXA=6^6lQ ܷ_nc  DD@ .ҽȹc:$8A`tULT51ӧ4y , E7P $]]'at78\ N1E-*-)a0oՊ 9oA*N_e&y_;2X^7!+L$\kA~HĮr 䰋*42ss Fe)쫌̱b)ⴙ._Ԓ=Qْѧ3{hH.Y-e81uq_I?ETZ6u;}8GQiFuBd&T Å8YL`Qޕ ܜSo{N05 sڲs+r5t.~ʼ Ư)jGZ�:Vw;c9 euWQ:3~w7)I3& dyuNx>TcyxE)/͞k3H]t>491O E@zoAb, 55M5X?DB4v{ %n_X4Q)iLBnňgtDvcc_c 2ԉb?-"?d`f\2LᲤ4SG*^ϣ#%\.2s?{ l2g&2YDV5]iF饲: y?މcPѪDc9ae2e@w {@~ _SPB7xPƨ|K̤@Ļ֖*U'5s/`F?$X/6vu 81pjt pP@ \P?:{dZ;bָCR\֑z5e3"Q\ތir[ǭm GP}:Ե~&#`56n3Xѭg˿X+nkW Q"& K_|1ՆCb, _l~J~/ #-GXr~vtR3 ?XC~/6zlG7sW^'BDO %mЖ/OOi؎N[)(̬2r[Ei@jN 7f)c'B\XEPs3!.H$XW$-.]sε)Mu47K%:.Vf[7mH E&_L"  .?_ųb!G@ЯN}/xJj,*ѓ^4;0T> ZֺIswQKbz2mb!6O (1ǁ\ΥB*W㽋XERpb0$5r FMTSETk>R`4cE b(׶o$S/6yKV @X:hoÔ7l]382$4ʱz!$F:x< =8 w %.s@Yd@^Zn[DSRFbT٣"anBzP4z&n2beKo<]*(Ai$3)fO?~> FB\G5/r1%FYICY){ GqH'ֹ伬9l ZT:Iŧr$Cj_DwAGlu04la 3-ۺ,Um΀溋 8Nᗌ3jS:AYk":pZy`Qm:*_Z7-[A7kc{j}ZMO Hĵ+i9E.7 Yn,ξ?'LK9#-BoLh,4X$ Q2@Ll'6?wBtW2=i9VL  | ‪S%-2eu<D}gC߃5[fߛxCp-d ݖMP16fF(I&h뱮 ur.'7Kr'b{5& 1*ոrQ?dѧbl =t2_Z a ~xGƳd/PU2V$O_Vr3Ǥy4+ %}4g՚w5ƭ 1Zbœ$̹hV 4+Fp\xޢ*nK2Q*VmPqL.Ÿm,8_ydo-4Հ_y,V(0Q!fNs{QX5W&2 rӪǮ9K eJ{)K#=ఋRQ`kK' ˅:YmN\LG#H`2]@\Dak?AR|E g$&baK1)Ïmm sRx-*&6U+b=TbI/2Ku 9לly4siu ;vJqqQA{TWNtiw1)J׸[VK՜{HT*?$'%yl4pF}L-P@c$pR`'jDS \d:©'<(/ |T }Ѝ_hɒm4ӑ4^d*&b2J?<6-  iBكYUqO>S#^^q1PNCJL 2n'>6yqbȔIS'j{ UeLQor3BGhyq~gm+ +[c{FP/ĎF V_5ڭ`\ j RPS;:k5RT 4Q,,1SpYk7NF < M)UψԤaYؕO;swLǜ̑XH3=N`Y%d;-80UFJ{4(( u'8EN"b yp%&bˎ tO~v$dh@Fn]ѕ$~ybi$?0璭7#wDACH^RW^Ap24+g= a{>qց& јkP&._Z;tVGӅ^R18AަIĐ遀:<ԓ ?z|{)!TcN-"~WmJ81.^^'1\'9^r:Z\Nc@"M<'s3;=<s?̫`a1/UDYTG+#J ,Ny/3I#*ZBE߮bh-1̟iYJ>$zLjlR2O>L !+Wu3w$Xmm;WX:š"0=~hwv$KTEc1n܇ j-8'Ϫy/ʂ/W? UXI,3tKt vR\C.c>F~ {mWᵪ*==_&ϐ깚l5nQؾ3'Ԇ5()QNkKAْ*]ffO$gl+w%ˁ#>xߟ9ܮF!ۅr%eGaB8IP EX=4U7[X^A2IڇZB7$Q*,ksaLu`KKۘ.7 E>Bj_&OY^:g N$UYB<[pv$hE~{ҍo9|'jHx#tU.gtٓ)A^ءI/LOL>6#3 `&eKb(m<: #eQKG%;}nDrt0 gv"æ>S>y?÷$Px`4AcBӃ/=TDBذ~rt慃ޅ \}Ld|!{xK$2ʹ>d^a5_C%EQHMw|K4|W5olzkiW4GWf$$j{9y( (Q ,D4%;J$""wRFNٱ&|BgKXmLJMxOk,StӤ T42wL*&M58ut3 ͬ`˟`۵mQs@k[5aC"Z⥵!>?OWDFѬ$TxD*=>b'=j po]g:H~8lTi'b" Uxϸ&`63_yŨmf)8ޑY(j,^LۻJ6e*tJh (Ԓwd4ዡ*7)zX <+\82;Lz0բz3ȇX%;"$4lXfU ׋DBjԧ A.+R5;i߆h 3|%2MVk@8ПZl,"X5GI=p]Z+uс+cw_BBb5~ԑ@0C_MEnLcxxYŜV62Ꞻ̕#7~Ns9c4FzIxw1$D%jPρ%xx'm9l^ a1'!b6^UdV/P&-dWw .I՗)SMNyv@ -<G r/`A'u9ߙ!0K{Ce6GQ s!,0ڰE&z0Q#:C z7aj6fPGfUkc0{Ʌ$s-`ʮ*7Y }aE1GW eνƬp8| : &Έ2Kh444WXU ''oX|"Roi[r%_Ds1A]l'YBzQ25V bт?Tg綍T 1hK.r, J2pmf-ѥ~RKau^FtPjJh Zxu\W$MGDoo| fqQ5ݫƝV}38w.^TG N%[?GB*qkmנ;9α}^jD"~gԍ`-WM*d)6t:~E / 0bED塼wT"vU穬)Y[Qg:@$nr6G$JHMbr2w'm1p Weh%fc!ii띝兩'ޟ?5f(.d&5Qx[T2XБg5ͻ I} 7jK $?ڛ]>yKy27ZD4' uѱ] tPkA-Cg١jì FMW6q5q2;n6PPx'LS!) jk KK<0Tؓ>{;cY1$IU0!&s]-tr2Rb:o^ĝxh7EXɑ>wȕl?Dߌ^; 1sd_ݲl>Yu&GYF;/2L ^8E3^RH)oNf㻬)Yt'\("ضhwQyKM aYaP$Z`iFA2emE"\泇'>%L@ov/ҌZSYzwSbx n y Jc7NC|Rfui&ꇤ0jPoR3*)R~72GyCM˟L"ԑ^|)k޺ WP\ob߃bCEB D1%B;^y\VÉF?XSY48 ş]d7]RբR`Ng"t "SPiƈ^dׯlLAƛw )ڪmQ(5^tq׉Ic/7JTe]{^Q>̍}J *Q򰹇2BFޠUfZr؍Uyޯ*wK@8+]grFm$ fj#)ȥSߡtIbI-]>OhF]GogHy"8ܖmiD !/ya}X _́2ZOc䎿{*Ak%Ñ{ GF}&Jh0&O`f7.{G)g:k`:O mjM^f#\ça98 Ҿ}*&A`&ɮnN8_ǖ( AoJ9bĵ+URM[K'J,!{tU(wf#ٚtcwWl^WSlGj&cEw `TS ԩy̨qnJ|. z;vdvb;j1E,BQ΢]pK@x"0˝= 2c'9b#4@^/ a˘* _PFm} gOVj*FNlj½E$<+׷d-aM}’-,چηpd,=xE* @+rj?Ld4cX9&PR)#JNV֛{"os%v<05R3C>*a_vX7]{kN.CPDEyc9rA;#ZZeYMH9>"қkHr-i:k'X&`6ӟ4 ?K]i/a񸰯~뢩R S/"r 6M^"Ѩ{ "^ c|FDJ2-\e0}Z&aj|$ǃ5rTHℳ3R[255+^ @O`M#6 %SU9DCC6 WDcFݣI5.zD;'m$[)RԨ&S0ŁGwa|| 13uA톑kogGܱ'&'-7yb/ |{MXxSq2n=wl̈́OåK0 0:dAn<mp. ̡kI1$ȪP@ؤek3g؊sWRsBO66]ѥ"\fS: m)[wD)% DMengerMenger.Helpersdocument.tex7zXZִF! $\]A-MՋhvG"uIBm5BM ,׍$ Cx|p{z*ЦB;\hC=4/2ͿVCeL@s/YG(r%#F_CkݏF: ㋝rz~jOtISnۺwZ*u!$'bJLwpEuu+=G4U}U#K> <<cZeUu宪~mzZ]4u()P|e_/]枑$Dz%f ).iƨk˗2BZY<:?QÃK}0MA 9} Y|!ӿ XÊЃ╸ٱn?YyAM SK Ѡ2ں $8}mǻ',_Mt/ Lv8LIcu<TsZwZLP*׼Y4語 o]v9净vu0UKNF):K՟[ ++|:ķ^,zXn.yxTaE60c
F}2ChFVD5YW 6wfΓrCV 4Brڠ 95ŞWr=^{ϞRe0麺܅N4Sn 58}64-0s&x5˒~OӅ;Z$9Hi[hk"f)+&Be g,z N{6ebeDA1]֤)=ӯ 2tOOn(/`EKXqi=g"(gN@kńsEgb\HToqԯ_a0oh~cuBH37'^ˡgucosEtp["-jOԍKN.?1<(ЌSW74%h) =l3uJcJT?CsX OK"U8deq==JiKu>)nh( tּ # MQ`¨tI/qͷi/z6?*o9^[D!P?N4c7oP)4YQx 9` "P=j[{clu" /h͚8QZoG?EjaIfI[ˊě+«P 6<\jz"ڐJsGѳ ; MC0k|ah뗒h:.9鐧k)m!DpxLmGN'yC/_ЀT_PQz҃N +D g9FE  꿌~czI)[WgYZ77% MengerMenger.Y_neq_new_lastdocument.tex7zXZִF! (aE]A-MՋhvG"uIBm5e qsqW 5Z{Yϋ:>?ީWcҐf]m'[EiG~^BI+u5/%'HTmnEM:fn%L90i| aZꎺ tSP䤺$iT ƭiFEs!PemǼa)[bEZ"ceԆ@@L2s <xW@*CᎨxP5:1@j4E= b-܊oWP&3%j-Ӗͭpȋi B{Iʹ|;^xC@s;& Le[*i?k(s @4/E-!'pbN!9;RMM}rܾ q|/8.d$S||wZҀq/* lM*Q cw%V7?AHLS 9:m,6.}ذbtI[E d%uz.K^$Օ/gϰzv}xbW9% G- M)Sȷ~v%xfA<  1eDsFPͱ[ N'\` Uu~MrI;*IVojM vS&D{7uOJdg$y؉O(3ti^:8f!'K\x"4Hǔ|biVM|^j"ks>mG#hIuT]R?DnV #1{ WLi(&G>! ϦCC[9=:)hҟҹj4[ VYlCN"YGm+I)]O*6d D>D^pli#z~T:(pHיqr+?l-ftInP+'Q-׵زeM]@t\|\h-+9lVX6^*E]j~nbC}EOI\Vwu"j5 sZ85}-Xߜl*ifD_M: @ 7<׹2`=>kkq ¢8(4Ň0;jxa7HL|7D*P+=!FI&a&#Ь~]IOUj,6G=fS\ 9}ϱ1W9 +f'M |VBTq(r⥊+@jo]J4J*{o pʧͤT~'uڎQ%YL gū AIӵBF.[;6cIR$eGpw_1 ~R [Ab<@3y:wa>}W9-b}]qbToF&'fe,2sDYU44@Y{h֖ `ґB--(H͋)T8;UŦEWAx}w)o<-_X (C-bBs`pB 0qM¦&D&m6Jd7ʫf [bm̜f;/~hF ڛN锷"Q7)ɬB\'s: X;lO 9ƥ}j#cЕОSJ84gERYye݈?Ė`= bxdEA恳)xo ݐ: ZmF*pt @i c= fZ g!Ma ްO,* 2``͹LD> aհUѸ:"wSsϕ>,tMQH+ Ɖ! y~EDжsKkDg+L(?%Y0r}vOۙr$E ͈o)qpLy8$MjBl{j͠o%-<@\ v)ltJðƨy)0 v.^qx+3tr6 ̘r(X+ǠJ_֩5sj(jfƅ QhnQN(Fn.u@kB*7Iϧ>f:/=:#}d1J% D23?c[=Ygqo$[|;\ˮK<d\@ƙ(eOhׁ IG劖j#vloNo{ɂc4+#ZqLD1F< ƞ>ȝ!`!3tkA=mqY|Ic@8JY;u`<+U\jl#/cM<-B]y s 76A1#x|`3hȌ 떒nAˋ3(s'9Ӂb%ӈ{(v8.`?ACϒfIGY412@}<˼Tؐ-Hi-kf9qxgiZ$`_lGޮǧG|.KPP_*pz}y,kF n=Hn7X71oč+w ԅ×ic=M8pS.VL_}z?|" ۈM}(H7,PlZP< }Ř:gLƠ_[i_AA)ԃҔRN!WÓGk ?Ȭuc<ˬ-c:4lvV#Tֶ\276B47S{}ƈؾڌbQ]nN I #NRY[Nza78)VlRj7]bZA'wT2MCs6ّciԝBT,qhHHy!"8]#ye£p6qu67[Ic |iXWetwpXGՍ7PyB9 ,6{A(^r#jѴ! j'/ݳNE+dK[19BsbeTxQҗhٳkVzI4yJ6m}(0S9Ӫv V%V ]u q! \[֋ .zYFHr/7ۨM]*m;_?!(X(Ű˹egIea1-Y-Z yhp:[>*'+{?a~MS04mj3='5xryCm|ޡ% ̯&}kϔE})eڇ _BQ.wH~/Cbpt<򲆌n8Qt^YA;K` @krv;&e9\Y9˝ f_{ r&fٶ>;&VR:% _ggYZ…681} ?4m,DQvk n^29b)&h1+H5$k~tA7XO%=Qd.}!5 d-͜nмpv{gQR};IKsrT^`! c9xcX"h雔.9uT_{WC=!AJ22tbP}wxJ''9C\ w B,Frri_&L>wtU-l71`>9҄t9id"[d  ЗWϻ!a5ۋƻLu P:(nGeS}e"ca!؁-P i ī֤0j3t@3 |rCrӗ)QÈU|t,>;`$2B{TͮU(ճ\fJ1PNo^&1}rX~Iq m>Umw +hU?lsgZ# E[llLQ+x=1=X^鿜CV;T6ö>ΉwPv_0mqR%'B$BځUQO HQQ"in`<6~'f5u;Xv%gC}~+?a_ #qMD;/>Q\8˩5?u)!T&_{i7f5J +KFQ > 3*tT'V~B ukC&3 OB 4l"MWiXҔMJӎ,C:hBpKtj Jω=odiۋaBV5 Ÿ`uRp)";JmXaBXyH߹hlDDdcA%vÕ|sq fz@et mQMIYm*<ڱ;(P<9d<6m:7cA-m!A&g[I4sΗxV~L+|E6#}. UDsQ%2:3R;A/p*V=gC`60[fvdq4g]]H\O`l,XEnUZT_ĪUV`8=|(t 2V Ô핗ijZH%}|\1 +DrOVE>_wfQ$]6U(IVM>j>_B;4ǵ%ϧv(Hw@4%} F.RU[iUr)Ug-ՠ;⡃Cmæ o6"#Ը !N2% P(8 Y QhL7@fh^ O-z8^c&\3Ovn'O~PdmdQeSSοZ:gCȺL=ݾ/VLguYԬ%vAj6e^Rfū}xcUM|jTRYe.3qV"y)v`o1hKiX=<{E1z]F : Gir`|sS=MZ?~l̡"G-4_[(͹4B~㉪s{Nxrɸn*~!TK;@ (H\B&}cGֿ,Cdjjlc|S2=C_Kت'>;!/ԐNg2CJr{V׍,%Ke 9 WuG畧 'C$ZSAMoO-9&7ACA:ZFjZ$m1А'6`$&N"L'#fHkX;0OԖWbMDGh7[Xu?_L^O>ų6Uev,ԕ]UJ+ '6ܑ(kB_T9'}`eubT^5Dg9Y5L3CST)m2[-(AsPWtS^sӪ͔ 3m !!]SJ# V"upg͞vs(,3Wbi>\xAUCd$^ 1O21Gnf$\p)}CU߮W B5sb8Bb76 a+"/8_*7"<ݰ!%<%baEb°VmbS$L̳@2n28Շ{ܸT44$8 8 wj+CSv,#_{`}'Lk< ?QЮД6-EߠĦl $9_zeE~޷wEO$7;DZ'ChAHr`5qOQp\B9ИkVM*s0̻XIѡzIgCÃPR)U2wTvija7 )o 02S%Ss(kȿ +)fOQ2{6$ ΛtѧF9zS:?IfsY[~$eK$7; T=cǘ!a7E[a+PMsqjf4 RąXM'hޘbL߹w4ұ{[¹Nb=>;'-K>_V6 +dL|LEk .?h=7Ix snS.9E v8wD4mPD>=1N@@A1 Sݏ8@8yW-QӹhvG?t>-nM޳Zp8^k$[wW~lG ʲ?R; rߗ*B PYo }dpRC(1aW׏#Ɛ%9i"d;`j ێ#ySnS錟\r1jr4V~Q|l E,B;L֤+1Yχ} O<]lLeM =&$?ln#Kx&U.P#'[~% 䲠~y6D]1&LyM QPJ$@eaՐ< )AOIé &.uqP/PUیgְbڗyMB+\pa`0}>Lpxv/#q Rd$w.5! lkg^1]m Cd®{KG!]BFFpt/1Ajz!1 /'5~ʄ<p`HEB AP'%lmPV}H6Cbt*?}3bR SŚ D+gYZt&׃ex4nx*ͬCAV@9)̹U ilTHNSzI' ߎ~#aj W<6ymzgORY'l2 pRlJQF~_kFQde@7?0jMyB#C޹l)7㿇U@~9k1q玮3&}m+ YaZ,qF /]m\c@>r?n;)92*uW;栗It,J&Tb%wAhCJN{wx.;ޝvx^1 ]'FB&J#Ѭ%=<;`"2(g (κH#mkɎ]W$݉nV9}l2I{Ih n`nسwK XBh\_0I2<~. )'/?PܾF&94b5y;QOIduBA%T52y,|]E\Հ[*9 m;ldN\'Ñ6Ǯl%q\H_MO X!I}OO 0X5rhI;=soZ&:|`+aQ46ms%/~{h%@؎ڸA> ?^}~=K偳{o"UNQ U7U1Qΰ0n+QbYu$ NWF pNt_U?F8Ҝ/T+#0zCݱMJK)nAoaS۾^ Ju/zo]P{c&?Lo ŝ_('MY%}!6.ƴQ vɷL s%"2*g_m~$wqU\s">[L;dZ7ovvKƱQ DȗC\ߔXã薅/4](ŕ-7!~QHV|z Y +V X`~!0‡W%ad<#Wēo.4}`:{98:{oةgdtNU&  YKOyZ2s""|{vS%/@1s>0$m?5Auۻ:nc J(U דj _iX7nca v^('O/ydӽt[G!@rv# quձ>=}0lO+XD\ "} Q?2`l*98V]SA>VxxĆNkNi ߻]lIu~/,,;YK_Q,u4UBqpS񾹣j}81N.܌ >|}@zo7V쭾< djt{ؽw <̋FCͮ]:(JPk/kc#ց3;΂\,N 㨅eYs1`#ijѹypӣyH}Z3:`؞ʖ$QcmP1,4J 6?s{^Ι\."C_^9d-Wg<=]83ٔyER`3^uظ RgmWռ<㡉w@TAȊ+U>ui-+GݔVF }扉-~Ot{1R%Q!+g8mW mr(rhiO7X#jRE'ҙ:p",ҠtoD#<93X%˵\SQ@V rRCژS8 )"m|Tc$FHbP}V;K;Ѭodv5c=7_`u6G'iCAE矙luA+HݦO=~}sTՔOa1I tY.s9H,c3vR>hD 2?3mĒ(Y9H"ƾb]m5jxɯm0I+9ҫfye:Krdz |YV3TQX'kCEQ6>?ܤX BcΠ:粀N]ԥ{3Hl&[Ht2* Op znn -tkࡌE㦒.e=>rv\l|mo9o~ ㄉڞ.l ~l{i6)_5b:Ypmv4Bc@ )ĥykI!8q&jI~4gFG;C߯M\zvkͶ}2T $ KJ JN^QJ[(KK ʟX&М:N[7:s FA {9C(/5ݛ(GU4@%J{aōQ LJsFӱߥz8_Hmgy=4!^vxulOcs!S@c<~z"=Zi16JrJ|DDQ۫i떿]ЌYu]KWU(["=ojb(?"B?\1s %gg2 08a\,DEnڙ3}cp7( =LO|@<_5r + sI%zAUb_Xj-.gzlPȥ3@nC+W2bT@f̑Jz`*lEۍm `pM}{BK+Uu( rI&d>䙡 棕 )n}EWlGVI f"WSSɃʂ(J?m`=LF qѢځzQ8{ K_>o\trɅ>0^|tI3lW:._b -/xKHg"(:TO/$^T9`edZ?J C,b~EƣTH`LES^`) ӅܕHi1/G`9^pfO#M<4hyF T]IfCe߮]VlB!Yԑ8Ҵ yu`ʊm^ zv5;:)pP" 2xx^Ju]1,svV+1B错Zkh 2{/:'RltW]PnKvh6"@:*Ϳ[M _I܉{BqR\9w[$܄3~`z I9rN,2Dws |iy :o5i_h&+a}s($} 1/ =-Al: beM0"5m4؁v0'@4 aD1T\hW9L]FjzCJCJ QZV3]C;E ;SL4I-,VE4!P4p{*p35;!u9Ho; Y`hfo;910Vc"[!9?L/hPr\M0پ=D&7l<#S7ک$#8BuvMZ ?NvH98x˯ώIy_7xQ@bغ vaؔ{WBmAz[ceNcu',m#uEyBvʜbUNΪR.n'MVY`*|s- z9sM\CH"/aj*.NdMmWws1N.0l<ӧٍ*sw#h# q]t.(Xv*y\Hki8w?`P{V[L{XD#cpD&(35yڻ{6~< ML^N4@KFYY|0 +\2wֶȂnT@΁tװL>׆/x4hwy'^t!{Y':|1ݲ揄 ]€Z $ H*,o*`?Y׉NŏUI5M:G.A7\+)~$2Ăs}Gbԛk8bo6f\ef;>~W$AZX:s3WJGUiiw/9dog%]qAub"o0aGSîoJUϑY[߾j;W:Y("J8DjHhkcVeFYO@̆1} pbwQ!x`ۮYsY2i'K^AW/$_h5d#Ux~O  sa. 2.๪ 5tD& (11s)TmϿ''ΰDF[W3ȑx_04hKwAZ?= 9kBt+N@Ow..2++N,#~<p01OvmH7p͒- ̏U{!T0PF ^LrtyF'.NEb!T z'W &4UaqPdPY[ uPf?Y=VuEd=*!EDUWI*'in$.jJ&{ҜooZM*RY0x46GKDE(Z5yGg^_0ruEqER<k7熕kb 2z,t<BnρT(K;d; +;O(=چH j-:0&e0(O\?:HP>^j#^.ܞVm;?mKI]](() C'7A,""IBţ=!a_E{ e3 3v=H&$Ǣf|MlbE >&c*j7 aԊ3G.'9ƕk_-M)%ĮKƧm2STk./.9_$=Ykd%nI뎋C=3}jeeYd஭ EDp?O4Ƀan Ӳ|ckX[@ρvĈ8+*e3/UON՚7+0ŽL'MY[O;yD*<8k+?yDLHXa6ő|C]*8>@èt[Ѕt'Ljq# T#R'g!1%fozHQEp(aJi BWRO0yXxD? ٯo ߑf'‹>A$i<]1u2IekʲNdiy,ȗ6>FnNԕj$A=fզi䤒+vȫ{Di/l;mr 5G=i/AV4fOAI'_ik%38L7)a[D7êOg. ()vwǝށ8x(7Omr,sY>^v){WW)5_i<]@PmW d!^Sy+֢Vj_q|#W<;J j}0%5}BH'GFF0WG*OI0>]G=6 E"aڔM_kw]LIR{cJo~ tZFv:_7#>euA Ē!kc>Z*!_$&L7&m.AH*?9a7(?F%+0N\yh7Cr&I2{eE"rAdD]XF]zZ\C;32וd9Xb&w$h;A: 8Ƿ]~3Co s!5x*u*̖tߴK=*))bL&<ORWSk!AzYK 1҄V𵣄(9bHW6I1Ed vUIcG*`a(Tr3\'LjYO kLw4(\}{Y"8L&z[ɓgYZ s %% $MengerMenger.Graphdocument.tex7zXZִF! -]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQԝDl [:19c֐w:|\Jn*qq1^ ܟh lkVWH3e;k&25 ~mѯ5%]5"vMrK8Ls ѡNI=e=v>6 M["@<"FոAТfW7 2RpETv;/`0_'fsI0gbmF򄃦 y27' @x# mZ∥-g+ ϡ&m, /=J`{?-8rM` 59ZP75C=H(Ӽ,ɭ0J 4҃&|(t](xAȯh T[Qv+p+*S${=Tr[ |op^o\Vb~ͷF+EɋݽFU$DUܸIrmt|(VldKRky֢~MgeΔw"$;>}m w[9`UkP͢j2/ZYqkUdtk֋b kʥkfi 3qKNڙDE8S1 C 7+eMi*ccNVZjڐO꾺>vqxm,0lD`Z$bS,_XC2وG:NjZG.no?Vy|`R՘Ҹpܮ)Gha(7rƹM6ؿdΗvʓIŞ1v4o;:rgiM1U$lJ/~vYid*'ZdӝWzs2K6x0+[aVAF ;|;Y>9V(sp2K3>}|A+S4,}MM'oi_,X._ K%?g.7kFId}!te=!$?OԕgRք\Sά-!_&6*_]g l'5Unx'Ճ<7=!..|V. roVYvF){ b"S0rxcԅ,UmIPI!O<(bqqG'vbxmxFmޡ{OoR5,h؛.YuaZ MV}іwo3@;voj8YO`!|.!+ޛ*tHRrd$t,/LULM gٜͽ"R\c{ΙO(u]) \}ެ2W\q 2/יEf.jp/GmقjZ/zl[4|oK^9(b$TTOmINk!4KԐ\qrgYR8>íȩv*ՕommɆ4=B5+\ rhzO[ z}[J%k4]1bw{ .J&]Hq] ni/ 4m,xD4Yи]`t†m7֒fhJe[BIڈI^sH/Cl bR:Lex +w7IeDO|Z bS'j%K$zS,NewfBj0q[1X5w d@2w-"el#ikUjmA_4>̍DKv4 ʄ?{* H3!\Ig~J4{.V +m7 A-F:SWq 'p!2ԲyًlZB^Q.uQvZ5#i6/|J42ej^5jSؔ6C )Lʝ,:m-@I4&]7/c|qڎ rS<^O8.!y)HOxtM5lfN4[Q[YXhº2 -ae/m]Y umMo5E&zi]BדZ:2Qmn] lG}c^Y2dRhA'FeNLUiPHy;̹LD/~t(ԑdcDR7 n@PQge}*ŊGՎR ax *|Ǥ6,6M1bNpP$^-(~irYν +ujm`icdc\=2a8:P>W*CtP3R)GCRwyF],dt ϓͩ@57J89  t"~j`g5φnb$pR78]?&xcR57kHf- ,+&Ĩ0?6YʅOJ=W ϰs>3| X?֍7#xdJvOug؟SޅSTxDӴLr`ag3_U,pho |(tfxJ,}OSC }]UJ ="o/$3s"8i)´$V@[txTNSsAXv Ѝ)XЖrAbno[BUP#'=N_훛C(i>bu,A|>廝Yx-Ƌ@GVRqK%hQs#ƅ`#4fz</crIJ:CʼnCj6 ~X硲O|MŮ_VPdJ4IA!Yi@7a-V>qsVX0VcaQ|iT-hGДkmS0Q)D3%5v"WG6xÆ(gs+]C1~Z]XE#dBA! AD2iW=fssփncC4itkGQ3[T:Tf)WVSSz0d$*-7W gP/xJY™״WD_; ~'ȑ ʹ3Bd!<9A˝fJLG LstXi 3%bje0z[>"ί'Qj'?9~sngi0Z7̀S/G(@څA_g϶ wM*h_] ։09E8 2\PqTG45-o ~X\&™{)]\&1zdIv Aݙ8.'o&Z#L,ZR.Ê ,4N,rguI^^7WD0IـQu,Qaҿ m(W>56D02PγE PEeW]znU?E)͎#,|pŷ*Ėu$!!wvn7!4ƉH/hN^? c7ĸ]|mk]amkGnr*LeWMX5Zw$b|I,NG%b2:LY$s!tc')`3A!a{J[=wb@buLVbo?]w >0}oϬbcHϐZ>$h&~i. g9J%Mykݔ xJrX(`JθK ɐ$n2g&6']0aT0YJ=:">tw3rGj0{LKb^vj9 ^(@x$ƂꊓJ* ȩ0-ĥq 02:3F%k~ۍyR]N'TTPKDӈ3nQVbQppA%lcNpͭ,fS|oF F 'n{*S/Yՠ ԫ ŋ/Oڊ6U\wwʸN'}oH ,Lzڟכ񥾵&533۳ ݔz6N$f`n|ߨL+ߢa]1RC}4b&eY(ΰ2,Cڜ7?fgź4cJ|ct!ĕTZPOc!0\%&RB µ(#,Wӧ?UNY.MĆS ]5B@ |ىr|]ɴ6ln4wb`ϙ_ QM滀f@l; Z.՘(^ѿZEGy ̄ О RAGL xӮT~jW_MKLh҅f=9#X y}0!աM2ʆQMv798I<5#x_Cˢ?1_E%; ǹ)T"*?E%gٜg8K#ca;w\0:V\JC NM̅ՔW;?Q "ٝ:{sU )At۔ɩk= MӔjryo`xIɗ+L Pw:aI;]XN/-dr (&6)'x[3҇@*^If~bLf>1-7躍\%Ԑ疵'!YOFnMjfr3M2WނH亮vLU־“0&h;1#f ?yX%htK21iiz'aԹLB"/L]ܢaEKcd@%hU&qAXm❎> RG"xY?5ɭvŧA =2kum||Sk7%`z`8IX%˷\@i:h$a+Ѩ־yW c;TA=:F\wO'O,ѽV]h|J-z$5NmE5dt8d*x]:/sMi`j|F8"VZ9sVfehı 8Ze_GaiLK!oZ&@%P^)$-sAi>Ay<&с>m75[GcKLW:6%:Wcgq $PsJ5tՅzfS{.ldZ܍|R'Ci4t$  Lo Uoa\PC 0ΉU;`^ä{/ڃ>K_J;#VKKڥ0pe[fxb7@?3tq5xDF}xpX\ gc:l+eaK]Ǣ]Aj2C>/r`Qu5*k!{u