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 MM0 $, ]/ Menger:threads=2elapsed=10.679cpu=19.200gc=0.732factor=1.807zXZִF!  ]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC"L'l?mV6_3X?ԬJ/.ڗe@v;WfI'9YMwG|k&!?e" MaynȃDЃjͶ2lxkڏj8GojBiz} 2$P;ҘwNhܻy|Q"C$?A `n;L+'5:9l}SZј j kUfp Ki壹 G?(b8 Q7wed 0!2k -$9BL&MtO-l!X2 FW⡔TAx92^3P9a}bp (Gb̠{:xgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈W:iF}j/\g~Jݒj2i5O0]q酕G̐fv2te*sMGQO$]Vjv-k aTXzsbvu8͊A, <D*뀪.U nϖV űgYZ7zXZִF! H9O]ŗXi%; XS ,Ģ}=klNh>cǿIR5$Dt6 b6RɦTͺ@oI__԰8:)\p&} [z.e:sl' nS aJJ'48M3T\=008`NȌ伎i"_8aN=#Z-Ulsp0|vexA>[ݙН)K-ҊNK2JҬ>DF$3؜TKIXbB5 W "xVzZ$G Bw7f~ȡW _y.1&'!LfǵyP%{\x5qY2-in=ՒHM=d ˾oH~Y*OY5XT4X@+hq/Q)!.v z1tc.iXBkN4EJG1Yzi÷#cd[葷{E3@#%ThyLc8Q#)W"iXK`%nݵ. 0㱃V2vAnm@8hs|cz̖y+ED>pe ''"e^upKwDOzvApG og:CSs[h~p` t gbB$|n;ZN{NF < 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ͻ    .[*1%MengerMenger.Separationsdocument.tex.9%MengerMenger.MengerInductiondocument.tex&)%MengerMenger.Helpersdocument.tex,5%MengerMenger.Y_eq_new_lastdocument.tex-7%MengerMenger.Y_neq_new_lastdocument.tex%'%MengerMenger.Mengerdocument.tex$%%MengerMenger.Graphdocument.tex+5% MengerMenger.DisjointPathsdocument.tex\,Jp' W$;;6 $<2Yh$`_Ya}K>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)fODDN&66Ǖ0>Ryw's51bjJO6WhO*5uUyC+Q!#k/dwxG2f5i S%Q_d8NYf'x4G\P 5H 'olME1J]W=d2&B`h`Tϋ3%8:!uʤȏN^MElu6'p8񁱃Gqg"El # oR ̙)dMܯn 61gL/pXΣ4Ewts= Eg݁˔}DY\G^gnު7)<%i@|±rr&hi26Bۿ눽|)}=S.Ni:" v ?RuJV݁p1NW?Q"mr <^`Z{}2A{9Ycwnc+!0dwUt`$=%:ypճqhwɮS}{K;yB.aL>VQSYaZGmvۗRم>s\G(w Nw{wS BH|3zdyu0HjۍrT ܃)%.>byϸ8hhtv9#XxI:04Nyy%YR3څ?Tjv LMX0|3` yuA?q^(c E3jۼn(} _Yoy#Or㩢ϫ>-(.q6,X>O῁, .1Gƞϼ䡤ŷxΔR9.GJ͹GxΘ|yӄ"b~PU}}z1Iŷ0S} ֙RXKџHZ' _*=G*N}*_(H.F8$;m2gYZ׃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[ uRi^ /=M ^ p#Lrss}/kwcYjME^Rgw{N0ϫ;@݌o!rdOv]}WM#89%,)ai͞JUD#׃ov3+ W'ԉIkîf{fYs` v+7[&6uE/KۥslJf0F836%ed;4&<GeÉ%ɹj!]' Y+\fZ"T"

20nMvF=Q=Wh!#`E2qk>˚}u +ُ]pMt5JNy7r6"1 *|+uZBbW}=g;` ; HĨK>5Dه#1lUq4h*I(ͧ|dElg>P%ynϰChвky2|^7,yp5:8B0#AVkxb C4;[x(QE!btDл\7_-ߡKkUk%Оx5[d O'CA-- y͔/DvՏAٞ eU?pmzzFA/[ӥZ܎n4>kB@B HYZz++uN(HFm!YYmuW麽h=w8gI@m8Th N' Y" 1 T=H߃++ Zѷ+ _=DxM9Z9J[Bi}|0cʤ9JjW+I[a\vH;0t U<#0.el:p`JI*đS˗Dg])2S8yHɘXMC?_r_ŪnT 8d)#ޣ:&G\.x1Ń1߫r \#JC-%h]DBw :K;)Wf{T\b'S{V=xwgE&<{P9f+ԗ>&aso7#ϯ'+^^׵SY~_Tv<TH3{ })]7]{ȓ-m‘x^Yn.u/V?2*U 0{=oG~W?r  cާ[)y߃~'Drk&xKB*'ֽU!y5V؅_1,EʑuufDfꩿ ' A&lL9_+ÂԨ6v/*Tn&&i*pPSByJJ*m8Y8&w2S4jH)a4CV&TBhIQ!U Xno ɞ-@1cB`*h?km\q)0kZ3$1%^R}g,$"buy.ה)"vzww荔M[,L̟'^ӏD3$GDǴѡRClZXŸnDz`>+$I=wEM^S0G@bdWU_"\V@7ͅf pI%TӳC ٔ`Kq"Ŭt|~ -N/HEBZȩJ_ .mhT$KZQ~mKF1IWxo^*c7nIT-CʼnfQ @E}:X73bo5 =8yf\iV&D{f/ [zx:CA% 6u'_}y$t3eCD:!T?# 2(tֲZ/p`t)E2ՐTImjǣNCbыfZU9Q*"xR̗545  (D ի7D.se>|HGQ<,| ?01{hb׾[Zg,po?zta7,َ6ϥU]Cz %C[9)R3qco*Zk\ 8 (oF;)a^%"ι (f8N[ DGb #fH6PC;:} Yݖ6#HчC5c=5w<1Ҽ[E䉏۹V.iV00iZ](L]= *e\wթ8ͤFb*e :6{~%mpm0̘P2NF < 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} 7j' v%% ,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?6t&D[+ _PGd){qicONSzPC~-ӟe2ޏ8kpdXQ,uLh_ 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>Z4ge8 ;1iAlKywqO6:S{2Tx\Au΢sTmX˩bMdzϼ?NENup}Ù|E9Ý=iX̀Op$@1ۖUR$`6C3܅Mr[X SH4n|qoB_w,]ּO0bek *LJW>:|(fm V>@Am4 zȼzvIU(M&MyZm1Q 0*xJkW*z Oz >գ7;%L{(YV0fM^)esd/DrG4i@st<]`0C$ n!ַ.3DV~'b`K҄uJ]^nE `%4[*Ui-  KI:^"dG$!J`q?ީ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*{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,,1SpYk7yKy27ZD4' 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-ƾ688XlR0AGJgzpG3x$tp["H*aiƋ*~.|QwZtu,nk̓/c2[&!9v cZu:_;w'SO>| Wņ`4SH2oDJ&'MJ-}FV.x%MFWM7BΦlåZ#]Z;8VMm{ ]vyЎ7fں8R-e+Kԡ63H{`]f梍"s4;ا렏Y7lq} # '.#颾Qy>wmmִ3zRE;WEp$C4FTL)/ fT}Dp`]/ T@99O xq<Ҝ'Nd w?Y/Mb:Nd+Nc68?_=rĈ8&DVx9=C4 @٘Ejҧ 8 VvU{$ kSp?1<:뗢.-6x庥k?bf" %YJ=R9Az[KלWոW.^* kS]&l^bk5.YR`qirlhml_zcz`5W_eT>b ޚbcY/ѭږb,ӫR`ls(?6pk>,hu^0cV{ }F Ldr *`PAdwK͸sYXPș7(?~JMz(*gfN p@涽^*ZY8=ZZwmю†yUPT.1gYZ1} ?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ѧF9zB+TRd+gB,FVaп [kRM,-g/L2һK ^d66 b 줃TduBūI ڔ9K앚l]FvRcwZ w߄С!dMs+{z|V6j"ZdHWHG@y6HvKUY{{T=Pږi,G8s;Jмla.2 c~CĬU@D{b^,ut(6߁]ldq4w)!a=B3"-WxJq4/)Y+tbgYZ  K)% TMengerMenger.Helpersdocument.tex7zXZִF! $a]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[{clOY)_mHwb7FĀAF#?Κ ZJ"_7X,Na+(Ի)}#|ŕJ"Ub+cP#[u)V,['QOJُշ@5/5՞i$9 dwĹ?_K71ә.> iyx6d 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:/=:#}d1Z0·82|#4[@|&B[K2fF O7PK~7" v@me:{e*bvN/K0u[iY\G2=|[N_[7)X/WZg#@`*9V$)[,弃SB7vMbgZAOu*7 kChMh;)CbV4j1`3XIB*zz3K.xJ3$&Yk}&#Jpfh=o^ ?[XA=t'g 4=ưV9: ux^R`D=fUOBW JHP.׸29A[ ]NWΥ[}Vw*Yw)/A+Sd\Dbq bmsvC;C:O4 YFz bbOGfe甈WPe&V[E3>m?4W߉b7Z{S_̉L) a *h_> K[HBʋw(Y[K )*Gj۲@_X6ZO>(<65'-sd 8wlYaX(c(ݟsrȾ_z0j3Qb) G)0O]< {{V\Hw߇VW4)v%ɘ,ǒ FB ;CI`(!Rc+rV!O60,N$Yygjs" 6To(U^feaz%X~- V h18JoUbD_?: ĘqM qa5OǷc4dg43eni7Y{D(e$&Rpe."٪*42EKGEVDњxQj+xC D 99ϭ)S $SXD_K:יִ"ZNE,gn1)[ LaO8 oɂĉ_\EP;y[sp /фDN p) 71$F"#]bEul JfK={*l<$ s$[m8"5ڡrKҷIa$]]۠pglxzyֆaMg{NhRq>ҶwLM2EEzA \Z}5LC7C=7TĒAl>KImOqٕt?69@fuӁ4(HQ"SeɃُVT,.p\`:2|dkcn XtVgۙV&vC,(ock'd^hPKO/c9jc"@@EIdE*Čœ׏eCddmH{e{aVNB`ƊpWF0$C}PM_I-A2\ PnUwYڗT)hx L2V]f;(8vkUeY# Nj݄4Q{YZȈ<ٵʮsM[fȶwS,ҟv\iś?inNYn5 cXa]!15yoNHi5v14ڷ ?a2!dk~ykJa#3ҽ"O6ݨӾ%Nq[PLKK00k"\h')lGz-cDyF9)CN^Y&(yCx|Z>Qofp$,lxל "/6JO~G[.ooA ڋpX֛F"@aK bG*?#1ۤ\\ 05^)HL(D2 l Ӗ}`ҷ1(\9^b^k;4ni$7BUlniOn4z6^U-&7yR=A`1=`bˌ7U߯lP3%mTW[vRcҝ+^_t|&)ۑ?Ά/cmlf׿+Ha07tE˸>J{WaAdo!\G\bNs?nAjʍiO [0S )58Y6aExQt9s`"  <#ܜc0xzWdS ʋYur-]"@0k,@]W91NJģrX4[w0豋 K !0Y,,9b'@,]| s_bX~??ّҊR3 @Y8NW`i)QnTWmuP[Q}L R|ME9 fɸѡb02Ic)&DmD@Hr/SC,BKlhZz c`ɿ; X2f2V_+a1-&X:KV䀡w8Gt:,,tp_;e/V&[-f*+lA#, u6 `W?4BhRzyIh%(dVCBϰhDh~)"ZPnt0o9(X/g6bA(:rSϜczik,\A8 ~l PK,V!E+ɽQ&T%)bs#3%{#gNdYj7+k6;p6'=ޜH`BT5 7C5tBd-.[iggYZ C1% J% 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(Ű˹esLeZU'Iu? ͵4B,"SN%6|9j{Ahu_S_OFZ\Lc9Ӆ̻_w` WQF~ꨑ^b LD?b,7yi,@#gk,2 5j|Lsc D|Y4p ?pD-C3rF?TtȔn+Yhppq G-ism~KЄa VжFg%?CLلi _.N%gYZc9% tMengerMenger.MengerInductiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5`kz$vX-#*br܀_SjNCUWMٓwj6^xi~@Ej.ֱ_nBs)RgA(Ĩˀc!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!{uYʅOJ=W ϰs>3