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 )L|D ] VerifyThis2018:threads=2elapsed=71.174cpu=113.884gc=3.048factor=1.607zXZִF! J]ŗXf1-/6vR[se?o0.u/J_?'đ}`:U&^\]>5jXoCMV>Vk6X@Tɍ;NB6 _JKQfMk_= dp;:h]drp&!A:#F8[Mw6 GS-86<0ѯBAwAnyca`P+o?nU.ʬyfR"= 4:գgC83:? ]JYb:O\BKN?BÔ.&H OqQoqPs*}c?]aJ[dU)5Ut3HN7"@#>ݯBm(U D) >ކ&E=ֹrP5Ÿ`i|Be]gF@y N@*1;3)"`k }!Fm%6~+$3eq0ԕǮnRFXqlrL4f0 HYGЭiz,: %6|'ܽP8),tbL: ) xme_BCA|Bo+gJm$Adm?q<˞-4˦ KE%LZ[^hEONE5MB>Is W}vUh*%Nݬ Ã=:tdEyQ]{'1SU}?f@kWJdk3(5i*_Ft;>YȳNb].8ަcAGr)MPܻmjOI(W9DH l掎v}(iɠ:]S 81.(kD`}tbid`<@:iFLo` \Ȁi͇8 gNB-(ZRge'*˝JZ'(䑙f̨cvQ[Abڛ޶^ ~hc00 h;6ƴfㄕ8i_g,TȮp^w4"; mD_|m70|}k+)+)+^)&>b^8gJ*\w=:@eWzw" [G\C:ŗ=/H=34,tLrgtBv}W Fb)P :J=8d|Vj^1x/I 'zV *q',=6[Ŏs.NQFȉYҵ4ᓣlhh+2PH JKwyH Qza>|plSh1*v`YɝPRgs33EΰhݜB\T0z(2׸V۠)k hZ v,- +⏞RvPv,fK.\f*FcBθZӹ_Rߎ*ҲfM3KLO<Ԏ[J(uv{$lDR8*S'͐ G"rcz4DU Mj~4zY]߮ Za(@tcδ+ }/FgYZ7zXZִF! 7]ŗXiɟ@:h-NaZ G MjUjPFPM. V? =`NrG,OX[ōP,d&V@..ݯj_0iG. ϟOKwBcwׄr,H+FOE4gEx*o{uqP^:6~}xكs$!]o|mzaJ)c,#7bfZW 56n޳0-yǫ)e-rD?ҖERA:$y~k%J3$ձgYZ7zXZִF! dOY]ŗXi%; [,hZ!4e`?SGR#: U|9c^I^ V\Rz^6IZ؎ܢ-xY|G x.i5QO|ރ-d`苰/J7c?rO彃Jl4PÉ,O`D.a1:I=l3Db{zcDht.NjE+al=MCnLttͳ_&DKjW_l/sAҌax7}?̾ M,.W3Mh oH=~"rQ$=eIY # ݡ^Re%"4<9TfB_˃zԃ42k|܃, 4]`:y }jU#y?Mz'\ bnn`̓t.wn" Cco31*Sf0@)H"۪(D( ksj$E ) VerifyThis2018g)?% dVerifyThis2018VerifyThis2018.Challenge2document.tex7zXZִF! 1'k]A-MՋhvG"uIBm5qi4Ѣ"ˆu))f9p疴0ʊƀq3wGb5X'P$鶲R/㬫T]$(g}UQ125y(@X\vIVEtkE0 [[ bA^SLbH{`q99b3Ѯ :!EӪt'u|yjQ{d=KQwjni1$j7*^ß9gkM!_JD ]/~y'1vZtryp0Pblinh-s&qG8#Vk%` %&IyƄS/SbsA`bjyz5 4ᛝq_M`+UNwj4RB(t=Jp$1&y džc0c^SO>2ETb3~)<{nHR Rr3'7^%C [i p<9TI8ۚ%(4_'^n摢qya^f/[꘬{/ xfu(jيCs!RQU|46~45h`6/W~U˴y@̏$=\kuz0v F#?+x+VA8ӅS&7M[, pӏK\2laa6yP"a^;|9fKW] xDI 5c6)4Z Ώ(um r霯Y۟2|^D4v(߉hJTM*9}{Dokן}TTpU(ZD^.SRٻPark;g?d&a~@q״.eN.&\.G|~ 1gf516'|L{"#H\?F٤&mS:R@(WĻ2*Xs$vJ: 2iJ7T[I+i.:] "LF>U-DU}a*aYxa`D|PN ř ̚0㙥Y7ބJ#WҢy"[({qG(~6   S?)K%VerifyThis2018VerifyThis2018.Challenge1_shortdocument.tex9)?%VerifyThis2018VerifyThis2018.Challenge1document.tex9)?%VerifyThis2018VerifyThis2018.Challenge3document.tex8)?% VerifyThis2018VerifyThis2018.Challenge2document.texh^J.<> /7uOn ?kqF,pTRYU]dX"W2/*J??"8&l쪕ƽX`N5~$n~a3ދEߠ7vt~h#)5!a ,Cnseި^Z*sEȒ~Ûg_вw: ߆ug. [ER}g=dl0"u,7u8.O[cW,60NX,m]w-ulЍ! |ԂJ^!_U6CԵϵy# S%7|U?n.#yM5I3(* 8v,InY1x{p;<7sQWx~'73$ˢ:_qRŝ]@oRϋR*_olsn m>"hgL_~ҽ`nUKj&XTzlk0n: BR:x2S#j$cDhΞ7 =qw;(sWu׉ԑ+4[ԋxy[Gn"C@f'ߤoJt :7TQ `w3{XEͩa^_4,3VAr q[2^K;Lk# wń`_>U3fC%ţ97*Ôf eƟP(JrZ;7b  6Ű@Q^dlVP A[e(C|h4=EZ&IkHMkΆ`AY/#\̛T}j0X5LX<_"M2XkmVUp-|2ڳ;-7̩x< g-[ l+09uԶ醸zS' fY+c8LȦ>uiURdi4z蒹XCM3yqK@X\q^qg†#PN_[3!bVf xUwmp7 E(QHılL}IBFƇ|Dz' 6侷_L%3QhW'bVfb~ QYF]1M4jr*0Gwj1|ab,H@K h5ix[Iu`u*!<o)!PJ<_%XMB8ǝ(8ҿ\$9fؗԗϕqaN( IFՌHP=4t>_f`6%CGWV]ErƧ[z;)n'̤<)Uu1Sߦim4$S -f{@m1~$@toqEX=Q"H`kd/@]:r) Qwl'7-bZh}d/RDT&1ҳV<;d  O]?r6vK&weg;)Y#tuWW4ϯ[26b~Yš0L'.(OHCG]^ &xҿ8|m [;u]MB#jEͯ8R@KO: HS0o1~fo0K J5KRy0z;"]8ū'yQhrN\lmICoų$ r]0DĎv(w ~bFy$"~-ϗ+ #f Zg 0E9j)e@n略P\Wѳy!&J3]t# {IƜ2f n4$VHTE.Ajq>CeyuH N]wYJL"sˋS&B+𛭌?ΩP'S-uMMT\W/,>E:}=&>< D0Ϥ-@&{^D(EeTeG:?zZ=n2h)$sa)DHG(lQ&yhx1>2n +R?/pE[۷P2RHi`Z!)"e|t=g= AȔ^O`uPi"T'pid~kuFAELX.=irc4 9o,L ]k:2+:a7_z#r VUVRL[mkS Vylx ]t% Y"ӡ] oʶ .W/TC z̎V)@!gKxm-9 ;ż g]1`d -Y+Brʌe!l'M,tDb=6EsQşiI"T6HK'6p/SFj&khb4u}o='0z BrT|*XV;~I:~"Hw!OA '=Sne3l L#[~5P3K%3hEyJzw2NJƸmEy^ n )h?6 <@Hٯ1m̾$>6hY|<p$v1} >)}1cxi&DQM j *S  &RЩ}%Eۂ;J g HA#d(2$ǫ9&ҋ Zwtl/} BɪQOy?rEϥXrgO=}- R^Nߴ΁%RX)w\ ?9S,9骺t֡A 9"OI F 7g$g)$m$wZGEx6gc|7+9'H魠e?ꢎ\8 bLEnf0HGoO  IJM"Kq^]T1iQ(6T n uRaG2Ǣ'L;dnY@Wf$S_`L6{7;׀mcW.>BEE֮U>EzG6[nk+)H _!䏳٪Œ*ݤCaxp+6L״ tYl_ąn2{d?3ź}ifTKp*(QC? &|ptjU2in^=jA7LWü2P`̜yWI} $ Άho`!JrtgFIDZ7ɘ2_tww.5󛁣Aقx3THHn2TA2J֘2x%+P?b"[%iS6Q1F>ɶ.X[ʓ. o|oʵj 3OYֵw&9ҸU6%e-L%5lIP"Msz ͠9 ϋ,p dE^}05ܠ/ ]$6:LAݍd7l^9uM`jCGg{Zq! /%9BF^\x+BFT1"V>A+\-]8?oDk|2Φ';z9 . z$'u*Xm̲V@f^).SF"#Yc|sz×sbà@\ =V3+OwBREZz{(܄[2Mx5:[1ZePlD/MaCB4gfG W;8fz^a-+}"Bc n)@ńz!0FoB *ROƨΩZ5pԆTZn"FWxtO| Fhi̱xjY+@r E1K΢.y׳?3Ksڣ l"6vwNpPiŜ$Z`Si<ܶq@]}52en0<5:kJ_qTS 4ňCifk|2Rln@˴7P|ℊOE)He ^eKP1TKV*8n}&8'Y_"iSyL"}wn7;QIDI׌kk8xlIT!24S&ÂJO"_ced+o{0,3g\T&p۹D\9/A h(l%nUcDۅQp_\<6,&{zD:uĖ"iK(4ŮyYlTg n(Q}{| i5(ޤK@XTVACz'$O/:Fm r(FKMaqqnyѵs4ֻ z.C^ 6"D0N&zyKag^_$>qL#`ƈ0AZ\hGU (cJ&^j.#"@k#7 V)Dj5;ud xi{>"Xjz(#lV•d%xF4j lQ̃8 ́&K16k0yo% w:( go.5>zM7.ot=B |4i_}יu8] kv2f*_`fs`bVSP3BH-7Zi9gKoY` ȡy((m^xAYMK:RK`o9<& ${,[Qď1];逊c#,ߧO&*n ;C- !@GQuϠRlTjU B7͍V7sqY4/.ji;3nrk7O(8zY̡Tv]!IE(Up #eH©njH NSv _@YHTx9 Ȑ3vks}e{%ޟng.8cF% [&KTD]rFy$,Œ,I$>e ̡>J b] Pʖ8Hہoԑ'hIf#Tu^A橃c6 UOq^FR [4soGU9K+uj]+Rᔜfe)m<31Q^UM+TR3wEtWktϚ'km 栈mt;s24_&L F9 it94XU%ÔȂ_zh@4Wc?s3WP1{GfB6 lW^ mء!,[K[\U dtfN ajMO{MPħ2f4 coUEڨie321ےq|QmH˺7o nt%Lb5C-f[~HO+vgYZ +kT 2{Jq%cA;CsOhWYԾW*Ǖߨ)/E@A/bAwL|ӽ t?h_k,Q%ǝ>V")?3 Ls!vm.#?%}{*v<3NJ_(;(w<{o mb|V^g[GѫH =lب˄ji*vtXp$[w;.QGܗ'Y5Y?t`øc&Vt \zDZnGBY'7XN/Qw\vbtD QV{BsXD:o k>hgB(07}<ځnň#PA_,a^KYxrvPdL(3Rr~}#I ]WrYchitt@g^"$?;~;$SyZU87lj5y/>HD#0L+l Z0&K~Dy1=O@T[Sp*a6FQ` W6cuc@@ƗAbZO^Au2AfEc[,#}&wu`/}s<0<UxVөbxg T|3`ls]U.K5w]lw0>M5(b[4; ntm1IG} @=[}taR vGM\Ѥ,+#_ }:sVUە䈒7my1E -J~DV8-XeѤ In6)pNIsS5a$"M!Ga~ ]UНs/A<Ѹ;#TQ,V9 Jjh5J9ԟԨ[;f4绐:@["w{]Pg0{ 4~b 5z>5 6݀k_(GgV2]e|-䓅 /k*ڕJ/%J(eFü)E PFP۝;B`˕!3c՘G$붋d5]3mb!>4M8R9ׇꈰj𙿁FJ_ FBYPna?^"Wa{5YO2{e?yn@"3ۅ+cjvܘ1151>t%}8wvpo3iXbMF6ł8|Чήq< `!eL vֹ'ro8|}2rȃc;>dt2"zR?<*_FqNv@P} ) _,BYO$1`q m AvR/}pn~eN ?b^w9]nIOO-piD=Q" 8VLb+!NؼuUsN7q81duƣ5`0G~jP{~]|96ߟ{;\DAHM #r*C=ˊ$C=2$MŅV6| zvt n5vSYD(%>= .Q݅W5O?{^po(:W8S֤W8A!Xc?n3>>.}Aфr9~;[Fg6/iSk q )fWY $̦Wެԛ9\D70ʵ& < !&6ɖPSE]|YN'St̓NGJIW6QkͶ+eQ؛ߓ 58٘B]#.P` ǿpL d;)f)|n"-ɄC dh_~xbvHc[ Cx|+MWT;&J4 [O:U\l+| h l[;vknXcVhmi9 xd1xc،LlB׬iTk1ML&ᲓȘ⢙TY3'5cp,KF\4 4,FX)׎hHه" vkE2Lˤ69`wғQ[;QEU \+LQMWoޢ#ԛP|h]P 'R dwG\Jx6Y* fT~nAsC2\ znr2Q`ZuDKi2d&-aM0:w16͋, LDiW.R+)a8Lp [+(1u(.PgCcGDwJt8JeRStyJ`{BiTv#U"PB⸵W繡Iag(YFE!EN3\byն\O|^HFK˶w w3/@yk;'i}޳u?+ˮm!?.»X`gWB(,{g|p3_na\ۖWxU4"5:2R?1g|̚.UfzwR{ϣi HrT>x1ئ:3$^oϖPEwL⧡ V柴YIf ZpIElwr()Y\ 5qGy,Jx)iSvc1>A{z˧Wܣ"ftT#a&a8xtKN'Aj$$ BE"v,B '6ցmS^zg6\3e;y6("z,^3T. Co rEX1O8Qx(+8qYuT)K{WxAo }MߓO%ÐYQ}#!=/e$7. 9T+]ig={ϓ!B"jd6vh1'YT;rhM,fL@D"܆>c̼Qp#9hh 5 + ~[~4gH&~|g\|iAE,Wƀ*׈ =wzI*v,% gs]B'~VJAaeʌT7x^IGLj] ֠u5Uzٛ pSl< A] VJa'"޲=*-EbyY]BgH蛃~} [szC٭U z.iUTbVX3f>UD?4DŽrM~k]{:CP1p^eXX;ڒ7\TѬ3h:bl=?Ga~{Z2ziN+^ *z5pMb!|/A'¦1LH*❳ܟC|[ZCo!%㹠Ɍkqcu+THyV E9ͺ7 _Zt&UqT$/oHI$Jk K6,'X @Mb+E] #Oe?9 .zxz'!ى[AO|;kZQ;E:֌]?rM]nRH=7~}.[LS0 NJco=tq{XIr* OiT& 9cD::,-k=Vn p*ja7>FW沋2WteggOF=IXύxBwmsg; q^]C7O=3׎]a 5Ѭ6E.cN$[dM X- òb_ē7m-wNpvrJ•LPF|8͊N%+o\q_deBD؁ :+1 ψ%d6H2酚%ɷb7pYY$ك(l8tqn`P6fC2OB %8ҐI_< K5m̕JRfZe م$^N;kOp sJ1R:o]勆yKwmz#?Ѳn/@?t[J`Z梌 ăBwwآҪAB(, R&*$SzML+|I9Q[QxPت0/yճaIƷAUgT.0g x]! egyB C:BhjDytl~oJ)Cmyo<"}>6I>[;u;c@V"!EFD82[ZvEHmQn{ANfғ&/quw? wAfAo7XV'٬uQx%$ G 1% q@MB6k=wz-2{ZqoꔂC,q5 I>9r~hr7)e)reTKs?<7Z1@bUwQH$ۓ">gp -8qg*>y +B?,lNJA ߫\4~v6π&^7A{2 L?>x n]geEA )c6.b=cz5h .rƚɉι;#kgqz9t 7)p~mw^$5į8k+m?gιW n̩.u,lhhNOI\6aSЁ@EQ5 rk٤[Y1 `FKi4r~0\6,uGm_a}PCAè[o^2{ Fգ*g osK:gY{򨖹xzq)hb`5]E3I ,dυ6c 4VBɇovyA=N1%%U]U/nq9b^e?>+E\[w<=8ypzhs\ ~j.}`t̊I37=I`,.8qLXi#VuX$>) ?*qM,1L-bNcFN&y{G,ޠ`Jk!4'R \kej3,\vk{mjUZ48Iy9QA8D{d'=$\X F*q橢v+R'{O۷, 'EVJ ț=Kǟa_Tqr&+Gw|n^ڱC"aR'R 3tԉ5׉>!ȫWHWjخivGoֹCJaoIOK[_&>X4"!5~#!dدYU/q}-ߊ 4)py;&W(y$:}cotIE̺;Fv?X!@Lw:pRb{Cߪ$|>d&M1ɷ[hX|q}30RMjT%M s,5{9T9kUWڬw)T_h/ `9at'/_ǘC c{zaMFDWqӡq֬ݡ̳ fY6g]Or4!- LpCRJѰ9Ik2*UrR$u|ǣ-N8k cX_r.V?aӆtwma Fs=|7l`D)jj 󶾝`7 qpG v#Cob9kF)Yz~mRr:;<6P9M+]^LG.lU\pɺVbيڽ$p]XBv@:~GO'4 - `bӸA&NWlL&)y_Qg(8y]Bӈ (U7ϥն[04=Ju.&&*,kEd(%1N{A{ mpFBĞñ^cVfcn.OwrLݜR;~`ʁl-4 0nMOыP,"]V#].^9r-"!|0~!$}=ϸ4\2.QǾm.1PU !Ki߁7V{dgkY2dt_YK;TŜ ѝ<)Okfd|RC'` *G #( TB`tvϷ?sbDe2}4زQD5lF: " e'F ͏"RUv.3?B7GD!مSҤZ%P᭍^A9?LZ&D|R<Ҙ^ψjei*bYp.|vfTc"^ohދ 2tagrqNjٳ~nNB~+yltd#NC_Q5 ځwȰ:bŮkt\ (**Iz\~߿AE~Y\ й \`Y,AؐJ:CğBEo 3a^(1֒YwP|b$zz[uG$ [A~נvX tEVtdžxBXL 0'|DOe! '"r-6Ơ%|00|E Xŕj/YG:k+ R~69ku@Jc6-ס)) 5:i&[ y/ܔGܢfDK&QRBqZ<<6>rB+£^pבDZ#50ʅɈ4T} %V+,60n1U0|}) f*wP"8[b:dodKnKcPҲ+E멍店*XFL@ X1o7}EH된Hőۆ,o YqR >trp.܄vTerC0 XQ1WS`nBzi Q2Qo2f~ʡ_E`?"CvL 9|eYeo%]^̳;4:oJG+i=+e{g#GY(ٖPw LNHm񫲢F̭4~DӱvKhr+%u jWɱ/SRґ>=A+Y5` Ig0&2LAHY  əmĤuU{Aד'hh53?$~lx ̃Ϊwy7ȏF5*|.bm(K$La1]D=]MeSKМtw'޶ 46Q6zL05\+l5w̴ @5^W0E_U- |.KRXapDdz{-AI8bsWB6KJ IF̒kH}{rQk~Nyg@lƗi&SD3?w $voG4~-+ X˵3AnȤ~"-[)M~'ʄyrLmmkbZH o¼HG:+Vpo 5dҶ#Řɉͳ~!B'©` {ðũC`VamӸi}] fk>}cCh)sU #3ha7|)P, g$%?؛DFi% mb'|OSt{-SJ"d/@IƍigUUWm)Y7 9L&8g )P)U2Ʋ!iak2W/z1} 41ǴKY Iz_VQԌ?q7zҴ,4&|w6|X}בFaW0k+B2j3Q # '蟈kXl$ $@> >TW&cJֻq&g@'\HoPN}:/+\2/q孇Wүe}y9҃{pZ/2dۂ‘fpyV$E%=+ybX}OT)gjGE({BwqYa*˷P6Z6kx.esY*Kќ= BMNz҆__uBqt0GpTY$~:,={|Um<F~2tLNNT*<[y&&P %/ޒO 2>1D)MM)]+AcQ215@ʧ1{Sn4zx?)x* y DΖ9>yu9DdLuNa,|kXĹV6/6Wyg3 cN%8,(""c)M S ־%R/+@ uEHj*;`'d1YKdH{2li3 ph k4'ҎUЗ,0$q~Vrj,?ñb Qz0R[k 0p kS3i[zcq/e5}}f\n^o :cFwI:Í(z zK}{Rͮ=J2v%39Fls$ԍGv;bhX~IQ}gwȑ)U;$ȴ3J{C x|Yhbt=2ޣfPCzóyFP) Y| iNroeF|e* r֙v /!u_}NL&Uo8žFqŶ!p"OOBs\qފZ@&MhlcdGA*%f:tԍvK^T7P]؜ >qk;Q5(+hMq8K_9Z@HI%VC/lI&1VtYע_pZZ^" MHa{RqTI sBc-&2inv%-ʩ>bϺ犮:HA[:MWD0SG@!3% -?iS=/휐iҧ 4>ffQ540& T8W`* Q% =9ヌHYߩ/S$f?Zµ$RUЅ*4C-L3: ~Chu0,<ճ6_ XwL随FM#ܱ&sQ奈Y~rl6OfofՏq9Y37oizH0w5$ie+5ôY=l`F 2y.fY B04.nVt~]NK$,䪓@%pz/9<ԃ Ab 1b6'RIV-bB]xz\jh5rlɢ y3.|YpޜبFmr춛bI5/A+H(ѵ)hauBq?9I䍃gnԢZ"޳:u[&_TKN&9BNzA O]ļA;z Ҫ(ώ:-!>Y`m7™xDmE#⫖hsBT?4&Z]>f+P`ه@Vwľ`GW%*uqp0MV1K-_Ejh__YShRvBN\\T> ^b$_{u&6I(L9񚵢"U:-Pϫ%ddA9y@id{yzo!2T.8郀%PTTböwisd{fBhiAS F-'cȤh]nlhr$1Te-(J:ƚdl/KV?\s]!Uyϵڰ: L6%LW69PL| ]hrJd~F ^;!w<Х5}!k٫ѣ,8J Yt/ObGdO:ե?ʺ_URm(tNؐo}j+RFp~N8>$E0%i]AؖU>a)KgNJ#;u AR81&G޸޺nS!C-[)1C]!E< 75Z-N31zYrh,2=M{)KRtk  y|;% ;Q!<=ump'Ц$ğb\pߴ}H ]] ycXkBnb7'ge[l3˘y*٫w@EWdS:n_i-RB>$Wo_oѿOp~U?.1kJ9J3=ݟBdS-蹼CXpW3JUJ>sl6Wj&ѬA:‰@~C+*J]tJV^H9FUJw5;Ӹ]=@+ ^ހڗk6뎿.jC?C{lYC#cxyjM~ ~kuZE/1( VRUyTgTC mߩ?% ZW+*d \fx^+Gآy{+ ꈪGE`$~Q >Xii?S# OcضfP?{Pchcho, ĥO8= ;:$y*HLփnKV_ks,p@|Jy,we-D`I yƦL陼#'@%xC#9 ҃C 6BPD^Q{$0gV{*QhYBEV/9^*ook6jsG5|Rm}.!@~opm<̊͘0eJ-eod~j*CPar3ao2Bޞ&Kl"TWf'?u{%w.9:Lb?' FȄX?9DOvyG@efzNJU{/Ipg+j7PL3t6R&B%)2 ~rW$ Mo留l+%}Cj7nt+v bDlA#m(VI=d9,DEqE]Y^Pሂ[1',(1{ ׹O" fd/cp !>ܠI `ئR!"9ն;v O X+9 xa{fp U4yDļE,_<]x5>Ȳϴ=0}Jt{ F&CKj&ca!|ŧeoLZ!=~AG ӆқa$IH-1 j?ܐA i;zfv+i'5t&2M"-!IA74xG—?#71z>]LY+eZ)PY\l'weS]C6m˝ֽז'jk:چ7Ȑ/|s{zį}ZK\-~_&L3ffT) .Qٳc 3?p UM{()/mc7x]yt*cse.jQa¾, C2ovFIy |D76, 9;_d܆ϞKzr&ɧgfv J(!IC=M?#lt}ZؑI?BL%04+"@$nMDmU@ ]% .jl} "](ͺ<)jI%SQSsG &O:vxݦtIԹKISr-)Fdg8,L!4Meajxס#|m!_2} lr{)aͷ/r!mX=.%pLEymT]a7; m|27[˪/jhV)%*cQ'mnꤱ0 BDU&];u̱ն*jϰwxP#d #e!g,ƋleR rSTC|0@Tk(P;d5mb}2ﮌ}SSH/“sq%b7MܑPL@c*Z} 19`PZOeKX G'KZunziVOiC4bSj= 3hf.x*LKQihf[r1怭P[md``iEBƎNUfV! ^Z1r(6فi ~cg+SV!Ͻ_4];$*Y$הƽ~zef :.'n< +Lfsc|U[PL> Ж,u2H(:7QSSi"N?߻*^H[F>l<ޛVoL\4 wrX'hy A#ܭa'T/b _ IHjaD1L\>.'JYit׽zi 5ۚ؉ҺF~3 ?~$j+YD8/A  gYZ   g)?% dVerifyThis2018VerifyThis2018.Challenge2document.tex7zXZִF! 1'k]A-MՋhvG"uIBm5qi4Ѣ"ˆu))f9p疴0ʊƀq3wGb5X'P$鶲R/㬫T]$(g}UQ125y(@X\vIVEtkE0 [[ bA^SLbH{`q99b3Ѯ :!EӪt'u|yjQ{d=KQwjni1$j7*^ß9gkM!_JD ]/~y'1vZtryp0Pblinh-s&qG8#Vk%` %&IyƄS/SbsA`bjyz5 4ᛝq_M`+UNwj4RB(t=Jp$1&y džc0c^SO>2ETb3~)<{nHR Rr3'7^%C [i p<9TI8ۚ%(4_'^n摢qya^f/[꘬{/ xfu(jيCs!RQU|46~45h`6/W~U˴y@̏$=\kuz0v F#?+x+VA8ӅS&7M[, pӏK\2laa6yP"a^;|9fKW] xDI 5c6)4Z Ώ(um r霯Y۟2|^D4v(߉hJTM*9}{Dokן}TTpU(ZD^.SRٻPark;g?d&a~@q״.eN.&\.G|~ 1gf516'|L{"#H\?F٤&mS:R@(WĻ2*Xs$vJ: 2iJ7T[I+i.:] "LF>U-DU}a*aYxa`D|PN ř ̚0㙥Y7ބJ#WҢy"[({qG(~6C_$ MM)?% LVerifyThis2018VerifyThis2018.Challenge3document.tex7zXZִF! $L]A-MՋhvG"uIBm5qi4Ѣ"ˆu)zf9p疴0ʊƀq3wGb5X'P$鵼[h{QCהiZoFR§+A\Nc*Pv?Vm`iC}%U#qG)j,">wZzJ7'݁fUjsB Ûډe͹`c^2w5!6^Q((m,^V)J-j Ec릹G%kĖ PsTY*gWt"<(xCT lZ+q4[sng5m'47[.TྒྷVQB/d߲6{WlUXCиN W m/"M|=:9q~jf<+fNtk0SePy჻<ƏMvc>knr3u-YѷAS쀮da4RGUyA%Drg`K4 6N/`E[꧒$ ѸI22+g'TSqÚWo?c-wfgz2r'ѓװ~d nRM,5<+VnDL>F!&F$P8-5"tJ#kC0𺇁?c ż`1.Fޡ AzA5/㇂jvE؅BRc)Is\c_xcc6ȓrQA7/$Y%AYlT߷%ǖ پl.E(xVmE$nCPXߟ9-}PA39:.11\޲3o}Uw #?ø7IG1d=cħA>tMb6~s'P8"Z "%%uh6?p;:wT+[vdXǃ4'Be]ѷ!ۜ\g|jl΃$iF\Ǎ( s=V*->7omסžC4ڙU/E2zE>lfh+o>!vXF6_1-.||.E,B)8Yo_=^h]ހ(>N[^x09T6&1v :gW!h-{W)}kΰK GIXHV@waI RVZBu&G}_ -eeL7 ^Vn VtMO_Wȇ Tm7t`#¦QzvX|' y*J%.%w{^{h/G5ۀޯjγ(x!-v>;h8eiVn-ZBJQU``5k@\mrDˍqUq)/g¨(y׳AWr^*n i8P:c9鐲^qL ˵vK@;,+}wYʞQ Xb sCWҀCۃ)e_F7z 0#c3lc>Rq&DEeQ4(􅼴I93aZE S}\s*Ys?T,cm=ʭߐTk &=w6aoh/**=u1}u;G.O˔V" &"iOyӔP@NL]uذ.83GWJڧOBH[}ޒU|c r˂º6:P(&ϕ7|- h/Iʷy,Ikɖqc~=Us|>4ܸژI=g*1:Z!u%oaO~.ب$M\m]j8- dx֫Hʧn|?6@ボ @HOdSb]a\b+v[D۶9 = |X/[/_XoTm:u], ~ < Շl%#1>0_u?Xkd.,j4T៹x[ ^d5t[+S^(o'/K&H5fhyYqxnZ[ԏǣx5 fL~qYf!*Xg% LV>.--~v1Bb $pl&7zv41HPy"ohhR'BhUYnDép7<ޒghluXM֪Sg ƷpqI]vn14*i_3X #ɸߔ*|Z%;D{OJ">Eqw~jxV:z\}g@βYGcHf.fqI~w;h6I/bj 1VQ T{?僪%s\ƺJT,ns ?ӂ6&–a^rbBxۜ/+;0w4k Bf7yxȴ^j̔ϖRa7NUhȟJ$qLo#*RvCAFmN)ϢV-_^{h[0p9ѿɄD,ķsC<5MmC-\|,WVLߞ vN iWa ti*HG샭'°Dȅh@íಉ,%ʈ󈥻{R)1Lj{>jـĩHQf]3[T\׬t\&Zp4GX৛MnvIc} iuS5AXj kuz6VdDqJ9]N;o] eG A:;6JͶ71%hNttD/S=u Qdn."dD0F;d7X+(E7h$EH;,p7" dM:h8bnϙ7gީ1XDN8_],=KtEA4YN&, 8V=zj=uDx+NƯi_LzG yǑuq|W̼jdIkX`w*À$_7IOI~TInutţABEVXFiu[KhN^}WZ=]:8 +/*:$Nߘ+bТ̒V9$ԑ*ߤ)b> tF *XϭwCOp[6]_KUꀚQ "gg~P`DFjFTr&ys|Y)b]+ޜeJJc-?5d_qꝞSBS_YTg3+] ճRę@fҫHPe}P{?dBW }gcL$~A.l?w{$ b,:M;KAxIj?)q.f`5k=ߤc"#1.6XPy"ݱ THE/ Y^;8P/Kj_lYLƲqTJi{|OHSlB|OPj2]cXL^`_{iʖۏ](~*ᖞ dBy!F?Fǔֲb(F:t%uNXv(PcGJ /\Zzy@<ꧾC1 PE}EЏx#FfrX3-(I$XE3d"=dǯ5tgK;IhCN9K5MQ3ڣn:m.C#pVdCGBL*Y#l&!jsJ@ r.G+*`- c䣫HpAwI3))S}0匜+62;'WoؒLWIXlOc]| #xVۭZ"m노y+Ar[TF9 mr*0"x4-St,'NI>AwVFdvg8s"Q+ ƞ#otT3n0k .5O2 p2,hZ+c,~5m^1 "-ʲ~3ӜU-?/z6dUXȣ{ՃH P#Nyg{9 ߳.|\gZm6\[WRo]xQjl5}U Ij%V"LnS^(:f$ʘ %c6^1`UPKJG*ҽ8P0;V"M<D $e%XOSH(=`rQq/BG2#|I0XΞ8O 'X1ǁw&0 u6$,_=a~P.O^)1&_"=L@S zWKvï.]VZ2=+k=cgxLt=E 'x^nNaGߝ~ȓ7dhhw "t ilS1u:x"X ( &4 H~,~/hM3}6QDΛ1x+%k v&~heiZ7ǜR.F ZV #*|3^m&:ð> D$.eSFfΪr1Lhdi hscJ5#pf)2!VV=Kؖ:_u&f Ҝ`]p9 gYZ d)K% TVerifyThis2018VerifyThis2018.Challenge1_shortdocument.tex7zXZִF! b]A-MՋhvG"uIBm5qi4Ѣ"ˆu)/%-~ϞN;v9É:Z`:͏"¦\#m  E!C7z,6ژ,\{$-:s>3bsqImp8^c]Czt Ѐ!E“ԜAXFӻ8x%a] [J󕐈H<5ɩOv)?% VerifyThis2018VerifyThis2018.Challenge1document.tex7zXZִF! Kz]A-MՋhvG"uIBm5qi4Ѣ"ˆu)f9p疴0ʊƀq3wGb5X'P$鵽!y4GU?k3~D)y!s6#V'$HA n .O8?6#}̤"ģ&dblЯ2ӫvS\ƕ_Dװ_ؚy$k9V /N(Z4 EXL⚤A ֣lvT8i?UD)CD׈=v|TxS0 {h?.QHF o$0n&6bkȆ8b%ҕAlͺ] jK6R"nQ/Ivo<( B*EnU,kpP+Ӑ|}^H;IX׳'"kAWhz7dQV ;~JᾹ|1V?yVUށ>c5Z61G~).4:H1ÇiuHaFH*hܛNB*RfBCv[ v{&>MC2XY~vL-^4MbsQRpYnT@`a:C')FONb[8Tu(7[ i /7$j4 ϝcfH>o&z|r(Є4^S5Qp{{VCaHcY;4ё^*A<77);' /!} ۔6PħD$r^v0[Ydm9nI%/aZ֪+ŒeW/rHOVE<-|Lp8ܕD̞ZdRIWy:@pп߶oEP7k,o&cd+uk 0u/.fG^s<}#3Vh ?1[!K/YͫG UI@$]Yg֭lmMq5Hm)2ֹNƔCL)^焲k({%irܲ>!->jZ ,-Ij E6 <0_Ah6KSĊ,h-WV|֊*lG* DV\j %S ? vņ[%ƁڌuԤ@{;*vJtd@ ]@1YkeΑN<u(> VTcV6 ѼU$#zM}U~R#ĐxR.0ˆEb+3N3nn⹰I!ktsC2!) ӌX &h~" V<8(DLU+_| :hf8:گZl%;4zB-ϵ\):xXFО%J!ZϤ1 YTP*9T**_lT%PPƏ Z\v)"a3UY ~{ ;T '~HGAWj= t-6ʼЏWEa./U'%˜38UawQ0\y>#$K sLzje,qksʌa[Ӵ<&:ϳaGqSY t))5v`@kzݻtwJ3Gq$[I/t'yڞ E^J=>1a^a cr_͂jGyySkU`tQD,ϔJEac f).#ln!'!hƭ?ZbHť]4BliLs{*kuu d<Y(W$hetN;=z+SS]b|FSZx%`);CGϻz+7yZfy l}?#J2 t5f \4z&K<>R2URyÜ-ԉZb&;y:! Qe2gQD^؈L kQJ(v-ꢉM0 D'lΚ$gp]K]2T749,Q #A5nX)? F^1I }wSxpFxd2tFƲp7f*tEByP TŏC62< 5c-/KrO٦wbs v g9_eMv SBSc %p?Ji!YeD^'9No8䋦[A~8 RW|$1Iy-xݤ?'NDO: HQt]hCd' !u&VPԄ+ztMZ)Ϟ=<8W:njxTxxmʼY4_4]C1?4i4ʞN]#Ʈxl~\G) N j]3Z;xT{WP@U K]uBjt'RLP1܋DyB?8&REbB)BQ\ S!s, 47^`2ÆlJΔ bbm= zZpg֨W9i"aL"hqAsA S4%L;=ߝK;RL<#zWiǖ{l6nO[IW:ƠgP*/*Je~6`*O{*dBzI~crN~j|*g"L/CvdۣE yz}Ip!VWntH~f@iJoBfdz̓|8 ZYޗ!÷P ,lBZq) |ȳ.Na80,vo>ƼIgFjH!t%zpy&~'h5|%D;fZ!A{>>XӞ~j0684~UKMDpoqټŅM8[0ďyLEKnvL9NܙȆ؈0oE%T 0gupFhVas>p8SX8q=Q|7:TV}8VfD)p޾)7G4iKhlu7 .'qggѩ G|Cf4H0 i٩@/<ŒJg&׊yGHneT@gym DwYn2,>nԩbQߤsmE5ɉU\x5w-L&]s^js>^*±@mwkjQ8`Y^\h@ЦhWRwIC4FZ6 }n6 Bٶ/hbJĘk4_IH?ѱFGԯ#.BQHOFv:}p63aE~o$ɴ('&II|*lRnWqə5Jρ&,k?sƉ:+m ^vGlR݁G'C?3~.)ViEPN#&W:kԮ7"T槮iL yt,A@@_l/%OtP_ƙBHo81FL(ͦm`pX|q|҉_ =r&t |Ԓp%93}ҹU[t̅w3kl̰," ΍$ ؼ-3S(7KϝyjofF'OKYFA9T٫2#{`7$1|#̽2&ܲ@UNnbp讘qPvEQ^kRX@\W/Q4OFP;)m *L)੪8Dv*WMi<+dT=2{pmrĞ2nԲԂ̱/AK=+.!OlG$ncj#-?4Xp7ž d7*4*<[Hc{UY b`f=w#wz?=Vt{DRFKP뒨#qB_գ3% a{c1vKeၦ1v3fm9X"{.MȧV͘#o3usǫIduIx6c>xPP&'ʚvGEz1:a %sX7|ve0.e j/4O|SU/C!J8HrqhG⚁w3i.GuctbX6\'DnbѮU'(9^>"bST"Wz~ ۆXQLT4Nl'AIsK1OfkJ MiA\QQ@KLz0Fu]inJX\:Jv&a8")D ٦¬ ex69B#IG<ʠ :ڸ P}I6m7&8 S?H }b,-45I4"`NB"KA2Fn1mƔ@,EN&p3jŵq!Sy7o꾘#IJ\ӆ:rr$\s63.||w{F!'<լ&Z%hG&=C_1|G\XFĹȰXU}7W#3hڜW6P2}CͣΔZmRehύeRۜy5F>t&Br!]nqz]&:D9T.QͶJK*ukA!Bsf=G]8.tAIJN "Vo!đ< -׳pp 2Jb[׫B5t*BaDV3%&_y%onWg֟ObJ@QVaWDFG0L+ BYhimZ 7H&e4ݪۥ_s%?'L/'g~]?i@SX Q&TpoW~5"\|}/*n2ÙfI<fk7PA]>EKhrTԩt,D aN 6r^o^5M`ɖ2U^R+y"Q/ߌ>̠Cd "Ik'$}lIq;ݽY;#P;RIhN6ŚXҹvR-QC'8/ 7DFOfS)=v7#"4ؼ Q-p=-9,Ϙ/}f DQ<|#!}b*:i6,%HĦXɎQrz rJu#T<bt,k+"vY&s CoYnP~1R-cW =7t<2*~0Ր/.w[ 7.,l~VRϥ!1g0"}0WO7:HxBv݇2cS$:N{Hdkբ!uog-, 6I𖔗0:$Lk4TlڭNFcN$F& >P Lr{讀؞Yag;z`Ԅ鈚1)3V 9Zs;,*_bޅ&1.o23w240oz%xI:D)H4+K%>9yd,!.&|&\$_t4jrWjzP gJ"p ɲ~^RtRI7jMV(u(dлmw iٽE)YfFD-nI8xsɩ6gm`F`dBa`eʿeoX,͸$e3vF xbFz!~1Qzi:¼nZ;tW7!GUEw6fz6}5VDڊW"*~LUhd֩y(8K.7Z]ff{l3W