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  $ D ] HOL-ZF:threads=2elapsed=4.510cpu=7.932gc=0.200factor=1.767zXZִF! ]ŗXf1-q恉 3FY;Gqy mTXTh;W:c KC 98/KR[g}{=F ~gYZ7zXZִF! C~]ŗXiɟ1qnAcP꺣3TAa%%Jowe+uqVT#MNz3R"pmXRo)2HYEHho'@XR6:MgwecgYZ7zXZִF! (]ŗXi%; @y*G;+yyc Ohn)\(VtZ_AMRv?EXy@IOuX T_V< O?n cEġx3.Ԙ%B\26bRL~K *"h* rZRj6GRDϻ+P#Μjρ2(? o-Jʂ,̰$o2Gpk? k&o[F࿌#37n{Ya<"e028I}*V0ʓMIy,j<q#E" 6'oLTi}fezf㎀TzOz݉hr7};RǢq4@i7!&֣.UT!Պ=wէ'=<5lL?t# KWDɥXv:d^_!MqɺD .e𽯡 /}e >0 "C@=բ͗{y_a:D^3WZcѣ#XR{'BMXP4m""xBM9@l2؃#2Í%5w:c{Tߞƪ_a@]8)K'. Dda$k}G"e&%Ψ-[4<.apfPzX7opk}YE(4?eNM{= VL&bT|!ʵyrg){vlh)Wڳmzy6g%u{;<ǝo=ڦ= *7rsr&㟺Ia^X3􈅇xS `av^ag,5Mb͈K X8ѳIoCAK8MlVlHEMXޒYr,oԼJp8sf i l*^ +l P@\xJtѓ3B=/Kq(%~rOF~}H`wHAl':*oR'P>7Rdb'ª za$oGT i:NSkRF\(yM9%1|M)QPβBOy`<9Pd #^㧯v>xtL D@Ē)5zI0&Yhrc*,=æ6yɄP0F8H#(k\m٩Ʒ稗גOc9l1c+"rM#!ܜ=-YQQa@ȉR,~0(ΦFM 3w?,TͳCˍK3Ўm' }?8eu "=^F?-Ovߐb;|duC~쫹_R}eU_ܺX&*a2X-vB6-~ѕmS %% |HOL-ZFHOL-ZF.Gamesdocument.tex7zXZִF! +3]A-MՋhvG"uIBm50M26U{uj䠘ͮA[.h/m$uuKg kd}hR4B-WLZu:xNZz3rŸŖvms\ZWa=R誌&YR،G\q67"mW up sPs*Ϧ8Lw`-i;ۗ嬻Q#rVQsR%tkvQflI*5=fA9ƹ~艠1w-P6mڹ&|Yf gYO 2#&uFԘ$c?2:j{и 6ɽRcZ*>1jmi\yV:X_ځ{r _iƋ|2ȽgO!&wt;?X/bڎy/ը*T̅K̉9\j3%tR&uSmO  X=67^hJ1P&&J}bݓkӷ}Eh&-m 8i#{#}<сdYV ^,ئ( Ny /lxbÎΔz $r-KMBoSTȕ࿱&&&dJb0((k%$\IYF6zU;Hَ_:(k+l ÛK0u$h>qNdߢ +ߋ'ښ xwiŮQz #-jN   IlI"!%HOL-ZFHOL-ZF.Zetdocument.tex%'%HOL-ZFHOL-ZF.MainZFdocument.tex$%%HOL-ZFHOL-ZF.LProddocument.tex$%%HOL-ZFHOL-ZF.HOLZFdocument.tex#%% HOL-ZFHOL-ZF.Gamesdocument.tex 1O[i^ql3JMҠ{ش%i$=54UAmc_`nsYg R.U ,>mM|4Uw\rJ{TzJ]l=]Ѻ_2[F0i{Ld$DeLW]$Uq4PH^OYl|@} F/ vLcX̙=M~ͣcQJ!<bG9g 48eRQnɊd$]*ľy ~H|&T_\#lHQ9=VE;up݌s>=ZӤejzv[(;8ŁJQ<'8z%acC&.{Pm 4ot^ܙQOA5縡7lE{Y& wN冹 -E{m̞cfNJplBh_65;8Ӯ ~;6F\ + t0UM1 gBK6,ra /M.HX%>JǸ Bv> e<Cq74ji';-vˈ]N"AIP*D87`~ѐ25u%Բ_Y,)oL`;g,!T<^(m.w%|O54 .JD17 Wu&uT7gȅq >] a#9Ef)dHC^H%8Qrqoғ/Ww7V+j`D5PGgѺ4XjlGq1]94[9@*8`63)݇ݷ>*o/kw QBXJS!Uy_hgP ޒƠ$vZn3ѫ(A*_8^0qe(e6dW}.W gF_lJҩ%5B+WdÊjfF pE_U\ǻBN3QL#)zlNu[Նe + ZB%W ?a%=&RF+|<1ǷL l _ F#ysI)`}5f%~"xQȞ90HծEtW^^c\Vaz^11)U8A~.ȠMę횙@wq+ zXP*CA )[`-Va.1w Jl ;y:6G:AΔE ЦUo_o)EG;s*6AylLlyDh0Ds #[R#P|ќ gVJx"=ud\!jqEQ%)삧 "`ʎO!l'&L→Zج?)mBĤ߹43'}1hh{jSV?oB#i\2Ep;xe9@Gb<iV@{kF <9'ѱ>/ĈV\g`uE)2m-O*m8/ 1!t/[Dz1ȆE˔T( t^k@H""STs I"5\x%D^_܇4_ y\e<NԤS My ~y3dXo>n HdZI#8"(1Qi K50ԫ="\1@5964_`p*Kob'Of0fs^f sFoW4Kr "Fv*QLuQ:cW2[[c/"};ziƖ^ïbLU&dd>(3 O(#YB 4*hnQVت2xY#4. \ GAwŠ7JѴSR!L CuVPTf'~3jugqA ;f~պE8Nj%~#@-E~K!J{CoLqirxhef(,a pbtNp`Ԡ @a_kG/RHlD6z{*ۥ@\ ஘xA0/lX8aQ(xeĵF.3` wlFб<pp4󞧚dUaeIOԽ8Ԯ]#)KS"~3o:^j8, Ɔ깠_S趂g*:d|9"__:8cF @B|ItIpyLܹ[c0bdP{R^*\Sj"ŘyWAVP0}"p&<2xېѲ.R_+z͍#l8vdK<Kմh^D q1!qR3/B6pq:hBf9eԶ rE-{J&f6(NuE]֦O\-he4]{.ލҦ}fM2¤L1yJ\ҋn++IFv8 1ȗٰ,\QD_QƬv:&=0VJ6 j*dv7N܌b^#׺i e/=9VxL2uD mINgq鲃Q{6PܘGᡩ#vi4H )te&lrr0;v=yTM&cvvQz񸻽Jw9G\{_@/Z.H˦o`Te_("/`o.3m::}N L}bf[nFn}MYseclU!Tu< vn7 8ڽg7PVI@  櫓pp7t*8cKvd XE_~cS&%rlL -0`7†>fY=KRI܏Ȇ\[\61C!JN5B1czoc蜭7FQg[_P "YNS|0q{vA(̑z#ƭNI=l.Ʀ9|yWEYR׽ 1Z>nn 4i\K>WS5')+*xH :1qT @a,xs:ۭ]'nþ(GKCuӁCdq%Z;Ӹ)fд( go,x v5`I"y~!3$7[j[2L0‘"䣿!W_"mR6(SF: ߣZZ$ooXlk~{c0y)(47!pG~d\嚶['^"| ob(>)&T~V[%v5dHG:!U㸑@% V_h9CJWj9 ^Yn-XkX f A#FWb,rXͻOn-LHuBA~ҜIzJrW}M}cw ե Bag#.іG Ҕ$ /"ƣ.K)^}X%UyFKlB3P73nU{Q4H\wf"V./#R 2 &+ >~۳aZ/3R2<= 'V7X+Rwxu_IL?"Syed_wC -0ۇr3 AOTdT$Ed!zW[ ՋntMˑqw- f+yTbq>9;]71@d0ПxGit& uWnKl_ Asܗxyd'y#ps\qҪu\#((g/ܧCPSKOQl@#GG:5k[lw ]Q^!W=Z~-^Z<;SFaXB Ll0&͝β^H)\k3$ -Pe)(;o\@b 2Y~H}S-vCn Nx^fI9|Ȫ{(Ǿy,R>% ~D}`ݙhzIKAD$s(C3!yOB˝'M1so#0Dh=^Q-OyhQۘ;L/U 9J_͸֞kO8 L^tX7}'iENG\cHѧ; $> Fw3  ak43czT>s!y_fy{ <1r8ٚBL+N:|C~g޳Rg2 IR\;υdތ̀V$ؼQ#Fi$p&gj5S#YNv 8\6e eI3)Ha4,Hcɹ$p{WX=$me1yJ"BM'Qhni-m,wpOɇ6ۆ_ '|^u /JE_D@kh_{s(IBmP4H뻆m]7q1U-ќ-cWi<PIIh`o+]i=VޞaQ}/P/FnJ$]7&^ Z1QWZ[ q;Ulʚ&Ѕi//^‹85x.k E TY.bn-ҷ3]v"Xܲk!(k4j d(jrșYIcZ1~sr̬͋?ѵH6GU[L2z ǓZ5 OEdp ĂɄ6NuTbG XosdՅr{qu~6-3Zd"8\C-w.JO?5EN33#Cs-,Y$2rTU_F]wy1vuï8Rsu`<䩌~q r6 qAП˜f <ܡ[J/M$ J,obbX&s8ǟrlU.Wh!M0'ɍS3ҍ8Ydx/H@?^Rdrw5$TrVDa̓2Ump]eO0Oh(ieOn꧛`xrkvfehB4D\jgKǬL".Ztgv{qKpM_eURQ :c[+}86`ᕱ^$jxlW0|;6$hÛu+ m('DMhAĸ;Y-%'3aYDomCd'3.}Mf wޣSД2u|ie s-'ZEwʚ+e:5wlJk%5|ڳ5FZ|v9<PPE.e:tr 2:Zv`^Yj9}0'# %^kZFhZ0@~?!Ј>6dC4cU7xAdJjG,M!.o9^kI"FJIB7׆XaRG@Cl"+B \y ґ x7@mM^ݯQruA65n)1T`\|+%PEX&tM58qV{m==:@s1 :ƟcEkȦ64iRGzA i &+Ѣ [lǏrZ 75 y,x~'a00%_R7@dc3̪y),[soMcvmP9@wȥ OB]NK@$w-^Z_Jkg{<0 %Vbc=4 RXcVOF|NdeYVB++6`=v`g-dzG0m2i"=d?KX W&~@Jf|PYW'ND7sXF靦xZpBpbky $ V(%Xi}pR`1\l18vctq5f/x9. )h+]>cG*)5^- Cs ldŢ n&rNv5\D2c .YfȦ7=a .<;gOBI2a+D"9RT*k I|a ngaXT6`yf?fTC @M O%=9Oڲxt%!K[iHI糢Oݔ58wDZ!#s:LC/_H~pRp߸ϽI4}vL7_1gv~hk1R%6;zXƺ1*\:GSa{.IӟC\%?IDql4`]Y_ahU$Tc| k޻M0YG53[rB%KT`DΎ!}5l}7rW,coc88,rkp %hLT!T2% , K,RB{wkh+- YۡO溡˂"]Hq#b'FH~ү]WjF"FGo9X O^t7~OTּ$V"l3 VfbYĝyNCTX\J-ZA6ܖei)E?Z7P!RULe cTR4RAz4!.葙7Cd 6*b3f`x 0UD׆<:DYXdt!"iH)ޗN8 ; R lI3 7]fGW/" )mI^YD :Y*m׺7k6z=E+`Xh,g4*ߣl`Cv!*NԒ&Ah5pd9`FU2-6~#9\ʿ~: v\#a'C廥L-Iy?r~ruL޿uZ$Sb+`͈[ uӋuEð$~X@6)j>?(YNY(܀elf 1 TT, h4%bFMC\ٟ^1?~d2x*s'hWXDQOLeIޑNFm֓D>+iBc۸&*m57>wdhڅ*'rLV t{ָ=Rio!L(]Z?-Q þ'ԡ ɍ:|f_Ǚ$ @2ͤJ[伄z%&}/ك)k 63i%^^[9Jݘe4d<]s&; LR4*I/%Y 488Pnd#xc5t1) ^~}nAŴÈ^$V)HB~9,(% VY]M:._X7[#uMβ:~;Nh9UD {gҮ 5We4/& ?1mCAJi%2kԯNwJMZaR[St{Hb~kemw[URX?kVA(zJ؍ $u+HgД֏PU gX|#z"!i`\Je:_lL)o\Iң8E~_zbah ht'A !!Z}:2:8;-^0ݹ{ *)0GB&-~$"^p7{9k+~]8l|2orn鋺!xO<,޶V*PλyZֹiJA%WJzn¾pLO}tf.|gїC@?Q9H}<HRMkLZ7}j]K'=PÅK0OmRPmO}e^yOAV@?`4ݮuEf#)% eGp0\f aQG-=Zoz&!r)kOAu{[*EL]a %˾ ]Ure:5!>RB<3hҽJDEt %*BZE|mC`(Գ^~X6'vqdޓxy(@x3PT|a3?r"P mGܟspnIG3ZœLmHUvX_ﵑtU1é>rgq\$iKIqBH]p3 ȄnlOEdo*dS3垳 iUt@"^i_D(i:#@W#bK[gcil_˷ 1xhi,vBmՕ.7pq e^&ڲ儤 ]w!"Hpm0J:Y$[%PX$W e!p*Ga3T=lvU_3 ł6s_ J .3ϙ9[G_KC\y&eK4]o:7 '[Ϩ㮣l=IFpHWNwwf6N&9oOyY~gR/g4r׸zӂ4/4i,7ƟGIcǕrߙ{hq4_|Q4wIf?)3z";01z†V!r8'GcB|w$7{b|hvqnZnd, ^S#zyt˜(*SS'w뾼a Ao}Xn,DrFy^QA m\蹆Ikt -=#hVv73t@ӝzpґGgЖ"!%k l-2;AѾ m7n~TMg6_t_}Z%D3h B‡ww7[>Fy SXʻ~mz|~b%D>!\ajf@ χx8Ŷ+Ë- M 4~Ki蕙m~Hr.ZXDe/&=u pw6+/}J{m(if:v2)V_g _DMp [}EZ?g&Sñ>6 Gƽ{dmIfr &K!׉]pŁ9h7RIjN0Hr^u:׼~ĺ;&[#8="MKnCU| qYY3 qXhӖƻw7\C#0@Sd^`$g!I2ѽ2osLYb)d3OΧw NR1H~?^\B]Jx7p. z|#fy)"A9]@KqYIIv7+Ͻ.ci\=}DÞO([g3bQj3Rm~bYp%aL[L5?%FnCʭ ~$ݽSа4FKBlth$7mʄiG2~W` GA|{kZi6F=Fvn$RB1< +*qĢ[nΟ|m^|M>\IaQ28"FrY|Ef)Rh2mVa=[\&]Cg?9y7tRHhdRKaݣw}.ML~aX?˂-b;1NY]ewoiONL\e5]g-S60[Ezg+Ia-+kɖX\xQ-݀ؕ8KFĽ'#rI]D ^H,ax؁׾!D 5?TI.yA\`kxqnݽ-;_pn`mz4m#l2.ݠ~6H&NQK켨PL YћZ`Q&$2eOgHN0~okn1U Z*#tĆPt\&0&1r7|BΥ,D?aދ\ ^]ƯѶѹLrU^Wr@~O-bsVMBjY!Tn䒆_l|O#JVV-.b%η:n9@u}i{oںوIIlٽK?S] u?7Tc(,|1_C2;psB$,r@Rr6@<Ԭbx`:nl.E*u%Ą%8"Ӹ=XVee!ρW osQ_;oP{ֺc6nb ƱCIՑō|Km-K"7r A .ڭCm=G ]Ūqg- Oy5E$kj?Wl2sAb\_H*yYU3ENׯ:A/E5g~}15BNyQ4j#Ya fVsg}SJ%,}^TՃUAB?:lv0 [ 9I5ۉ;rzH?8N {x`kxYY FQ^3X#Kk F>[xuI'ן莑E^ ҳL=C2#4&%F[sʕ*35|*{aHnSkMe\^bj#:߳&TyMU=:<&FZF "e3Kcn˜nAI|xPhfnOnApk]z@)'_Z. d Х J\L <[@_cPFrNIk5eGU@|-A ]l 'd&@`S^ $gbzFl*mu2vlL1y5iC"$t#!ժG}h/(ʲ _ ™\e@H WC\?( fWr>E~]<.?\m@\rb 0u0HǏG<ݢڏQ\ga/,kE*l;N\55F\ tM 3@Y Nz BN&tDf4Z#Ag+#{lxBj1^ YRYgMQkHwaǧ器_c|ȋB>pnW(-{wOGoG2|SpT:`2]!截SN> -LN%UeɚH-);PSf\D΃a5ƹH|/T.x2˧臜 ƐLlky$錡fG66 fg(_f\T(YuIULnϙdM'2Xx+S3.툑_ە% H ;i#%g} {}cfbR !k(9v>%!"{]Kt+A @,/ՀCLOvou  J$r6 Y#O]:GӔU|vy:x@@sƠ*qZ_1-Єi~+2$uz,S ?Uq}O=a`YQ*2>e/ cۗ(Y}Cl3Q,EiZ/ pad/CUKɤYQZ 7MDxkC9ŔN1A䷙tMc&32<2r!aFB!g)SS? fu]}*qCX>FJ*?ϙp_C=hUG8erZq kO1H ǻ}Cx7Ų;Wxo͝هI+K> GVXXӤ&AD\oR`9 H6YԴPv,KMr1\Yk,3YzYVY cT:-(1N#wa/t9›p^~l[ퟣJ]SQʘp3Kpx˛K?SH+jH\8Ƽo V{N}kU˱hZđ^)R60qrPr l(v%|"]^ +t,OwqPb8-̔QIoMbM6A/Dj'c^}B ]"ь+TH,» riHӳ?>$UX v{Q/ @bBw. %tR-3@<=R -aU2Sm81R!}Aolޟu.g鏀/ϝLX1o^c2Go]g?i$ xa'F/M9-"1Ƈ'kLqUs(Ar+Ц1Df4a &L4=T`QMB-i`yKnЙ?\o$@!tw?AI.&,N"eM/>MU:M)" ;B-F')HCtrk>+Q򒏖 (΅ބvF\YG `<q[vu %}O*G l[$ƙN#<_O_{'Đ%\ WcHlGu)׳?<~ڍhȅj s{bP-`tF^[Jƙ"bq|yhw*~ |3,t=$t6f%>4Hcx曷yk%wxGDeM"bj4 4L,jL`ow/M$mEߐ8iA&gz=goS0Q.t;>BϤt읒:C+mWK8D@9kp: 4ywZՃy2±R;o=p%.HjR&[F8_Ŧ?M(ٮP\ ϨwT# N'd$I2|`Lyu ]4''K+/Y.݋VKQ2Zuز.L߬ $^~' _JF1}j"̾B]ca0!S-5Lr0{][ODNTU/PZp=0{hm"Uup9b| lUAxV\a f$:qcq yyq^@}\2:bs^P ,#)q077r 2:˄O < yB&pN:i=3&0jk5:F)tc- bJM=147<@t~Ju3X]<=ijO<D*/Lc+4qQOl}zmBqt (XO 4\$PM⼡H Zݫ|Փ !SkQU``b@9, }4!g!3ܗv pzS8s8"c jSi[G:%/xTͦoGB3Ax.=WP"X챥#@@Lf޸k`&nM](I5ޕ J$nWU1*rHڠ̛h) OO BLު`WBG2) !f!11ZBa]%fYiHޮcjq0?4< V$\I @N0jǗ6J ˮ>䋦@P(5}RPː_s6P%{(yӶEg;3xt,sƝ!lqY}Mf?gf^%6R?.yzݤsoe!M;ݦ|No椐D\'S8P4s,L3:@ٕIx\%-.< %F{Jlˑ3 ļ:w`t̑\Ji) A}=հAeՔM:t2,ZQ-s3nc>lN_/ ~C=@\tEF_ꖇ#Q(1 b?^4 Kn0WEIj0_ɴtGDsgY؟]JM)f9 ' 5rUk4TI]}>"T\ (@ i3 Z.ګ&59bF'z,E|]au>?&q.yOKOa hwęeLOoym7:A~j{(b(9Nxa1٣N3;vun$臏i/=ker ({cxI{=:=Qc{G 6D ?j:}WӃSt*u2Y " p;͠< +Z 'ÍCRmP)+)[XHl:߈USG}复 J.;wkTO'`*>AE=(}A NjId@$ڳ*T-V7#@0sRG5 ]@ۍpTs\feJ] oFD}:a~Ow4`ݯDg\kOܝy#!b{{гĨj,|386ի^TH}n{`H{@%`}d.rb.)-~ґ$phӚZ& TV+9՝;i8]~[S`'}b;/NVJ5<>G+ɽrB|稥Z qe1Nszz3˪Za}:>OѰdgbjE7"zC3,!@9^V  %rǘ.IFАE4̀*0ut4LiIql3vp}W}! ŹگᲛco Sq閭?L䪯 }.o{*(f\w;&UBL)k)ȽSnj, prZ6!PkUTWR&YT߿UY:|"Za[MJN<%%_HXƧ@]8.Nc%h‰Alp4 q24Yu:8a[F)83[l| $*hVɁɘae,?+'EW`puГfSr{SfF]gPL̕]ɫzޅS Ǹ--w! k_9C,7+Qrque qn-b61,7_b @Agt,h޺i3S]]bR?;CG`>4sUn %z"ĿNO|<32I5 Qm9q2=*;7`  e6<24ڑ̹ rD٫ɭeߠNXXD5cW&\ A[>~~2\@Fo1@M``>VJB+ ! -N{,?=.IlV79>-r\Cz%3G7x#,XfJEGL+6hzf'nl=L3w_+08 e] c}㪽PP2ocDP{ t=YXE {]g1 ]<'C(C;A\'(h?vri4 h~ܳs"U Qyy%zQk2õ l]\׻y?wEׯo#1ndn`8"RUS1g+LS-B$^&}N ZiSڎ&fdu?z@"/$^YqHQ q/雱;L!U$YF ÿ͎˻b =S(68ZAG[RpMF"gɅD>6{`EY/f,|}&U9k[1bV}\niEƹ䭼}Fa1S  +y-o&ۜR+\|u0*DOת8.5H)۟K P3&!m*RNq\ $I~~ ZlT_UeyT oӫGߙ p̷ '{ee܍>73"'\0Nԉnc(,|hgTHÄ4;s !)%&f'92uxY&}ʸ gՁ^ۆ=?5#(b,S*ך.g`{A_W X̾2yD$E~D?eYe6}50Zj?CN3wT)M<"_$LAfېU&]7KK]Ij՟N?o&6!c45?HC4@DVΙ`'3AB)uJˣ }~cp@7-][ #VĮDT_߱φtbIyO~~AnvR9*^6CjtҦSk/8.кS0=?^O*"NKvL$I%M[%ԡ=ժ߭N6他snZp͸M.`?x@2b(Nʔzڀ<s Ub9=rT#10};&ڐKwR[ߗh< E7!i B6Co Ê6F: }t,o<^yG&NJtWt49!6]F+km*OA#%ۦO [ίӡKҨIY y?fqji q%DgYZ  V%% lHOL-ZFHOL-ZF.HOLZFdocument.tex7zXZִF! 4n]A-MՋhvG"uIBm5lkWzj ȗTJSNnL+s`-oFZYP)!bįSWiZ9T#*,yvg[f@B~ZK40Wx+5@G2υwBqg(IC@Wؕc?+qBjQk#wjFH{|!>:c{Tߞƪ_a@]8)K'. Dda$k}G"e&%Ψ-[4<.apfPzX7opk}YE(4?eNM{= VL&bT|!ʵyrg){vlh)Wڳmzy6g%u{;<ǝo=ڦ= *7rsr&㟺Ia^X3􈅇xS `av^ag,5Mb͈K X8ѳIoCAK8MlVlHEMXޒYr,oԼJp8sf i l*^ +l P@\xJtѓ3B=/Kq(%~rOF~}H`wHAl':*oR'P>7Rdb'ª za$oGT i:NSkRF\(yM9%1|M)QPβBOy`<9Pd #^㧯v>xtL D@Ē)5zI0&Yhrc*,=æ6yɄP0F8H#(k\m٩Ʒ稗גOc9l1c+"rM#!ܜ=-YQQa@ȉR,~0(ΦFM 3w?,TͳCˍK3Ўm' }?8eu "=^F?-Ovߐb;|duC~쫹_R}eU_ܺX&*a2X-vB6-~ѕmS %% |HOL-ZFHOL-ZF.Gamesdocument.tex7zXZִF! +3]A-MՋhvG"uIBm50M26U{uj䠘ͮA[.h/m$uuKg kd}hR4B-WLZu:xNZz3rŸŖvms\ZWa=R誌&YR،G\q67"mW up sPs*Ϧ8Lw`-i;ۗ嬻Q#rVQsR%tkvQflI*5=fA9ƹ~艠1w-P6mڹ&|Yf gYO 2#&uFԘ$c?2:j{и 6ɽRcZ*>1jmi\yV:X_ځ{r _iƋ|2ȽgO!&wt;?X/bڎy/ը*T̅K̉9\j3%tR&uSmO  X=67^hJ1P&&J}bݓkӷ}Eh&-m 8i#{#}<сdYV ^,ئ( Ny /lxbÎΔz $r-KMBoSTȕ࿱&&&dJb0((k%$\IYF6zU;Hَ_:(k+l ÛK0u$h>qNdߢ +ߋ'ښ xwiŮQz #-jNA/ZẰ oo^'% |HOL-ZFHOL-ZF.MainZFdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Rd#:<_MVNڤ]>"ysE#M>vSJϯ&DO"]ׯSZhXB9P O5 ^)޻>?%Yj;őe N*L|ؽKe@~XHDx'PB[#a q(͔o8~r h7*ohW 71q`U,gg뛾msgYZ-%% HOL-ZFHOL-ZF.LProddocument.tex7zXZִF! ]A-MՋhvG"uIBm5 u(klRL 1?RvECWVUxb cRX*?"\8gF7KF('mfO3_nh‘)r#e;u7O ȏzEIue5+;P7V󗮯]{S,߻7Y1IDܽtXCɎi,9PLuˁOm!.j$R+lq:]僓cE #$9vO\zQ4!++B'b~QI%Yݔ"w=`IcĬ`hWz9ȶ Wyv "g!& ɀYZ]4qo C4@@xe}Ȏncxcv*!j34pephMqF 3`#;e:mac4ļKv n5t(`,o=q?ۨ!:i !Ub q֊) 'K)%[  $E r[i^6_Qey#zǀY(ۄv?Ex[ $s~yMXG^W7x4i@I6)%J蹹f Or.;=͛qkR2gOeI$+ejͷ|X g-Su |oLM "޶& |JG6߾OQG:8ؼ``}DvK,EYg{+`j](!3cH>v X 2^KJMOr2 W#WI`y Nn(~V"Ҝ<p\RyY+sx0fwk A=ɗQ98 ᎋs`/aOƸi0nucnت.qc٧mAb-=s,<#-; -y&;Lʋpkzt>ݬ i6QF!\ƜؕhVL2iQA;&S3r~3+%.)W[ɵn"?8&i1ι+>+,"g~&g89{m$4BaP&0YbA'&.BL&cΑ9~5<FJ4X^ Twr[ K`Z1vCD (k$ >QW ] **D> l8\|J'Іiy [M( EK}aRὛ2(IJ3Btt+/|VzR%ybV+ c ӽ?vvs1Y7)ۯ>hgB;Yj 2siX;&cc BҫJu<Fq5Nٗq)I Hh=ًnM`_d/M:T0e>°w2V!hTW M)umW)9^ƽNq x 쩯A%'IxMsttmjEޯ0<.C}$(IjB_ (fGi?UJŽz=j\MݹZ7H7 T{.Rf].T=Q@jrwUX7Anz@p9z&̣"|aZ<5g SHW$$}nV'bMtİ~>ȗ%zA#żFHq՟!S~pS.ʿD6$htO*,0 r,aFdjOKV!t0Up!KʽGN '\"ߙ?5Tq$+άn{I *,뾌a[\XŔ$i4 3qi3P͐e\M4jr`gEUKkhuUz _h0?w_ႝOl\;@xN ;`¨P ”2 բ'}`uC ҷhXIZ'mH5}0-qz=V9P]k-p 7je?Bj4.cUy%'D؁Ipُ_0e{kQkG::469Drq=I*4`X+SeX.Ft("@WLO}> ҩh.oHn@F]Ս  x2V7✋T *(zTާW _Q$/-% J7 t#Ͱmd uUDS^#+M"p˖C)HGs0*tN [ ]+4$ȴ،2x{ZKafMs5p=|i:Fq}]?]-UNfL㋆}Eo;>Z0񑻉TlGG~F=VY{mg.wK(P,UMߨj0FtZGm~9 C-㚇HPX+:R<]BGQʡ*7{_^%;bǧ,c&PG'YunfT#a;:CIK8Qx+6W $[Ng1*{uݚ'؄a-0 ލ>: kφlwhG{ Z__Tx}V\]yx@ H`:RHWaj^B3gl氫tM~~^ :w%ٺ-GH5n7q?"jcd wMو)?:ډgGcNEhY,lLCVj!Y IҌ^ͰVtAЫR~ YM/qy/pRy< R*#Ɉde0=+s9Gg :rN|Nm~j 8?f*$+@~׏uCi{?bHcU*#ԕyX {kfi^y6ЩGSӎ`'Ex^n_OTiލ\i\nb` xo>܀w cmGP=Ypޗ@mbV&ctII28F1;=noSbz"ք&طkT~ɩ4Ǘ=80 y7+k4@^V' F ]j#YW"X" \ZZ3Mҍ4c`aJ xƒ6g)Q+U*(uD ^j  ~exvµi)b ЖA=u׳/ I#NliT I\J /OWeؼ}\։NR缍=.38=Y]:c;MCjg_7!')O߁-qw`7Mî!g6q4ֻEW`DQQX,Z @TbV!N~_[\9 滙uBF~sS_0(G5@P`w{LHX.,zMMx2#'s*koi)@-0 5.N*?PhVP}b%H*@U59@r"+cEȭYj1Rx4pgbL bqL%l}E;ڑ(@JН⩡WM X * YCS'- O)zQp;(LTO+ D"͑Y4veHO ÷$ҫlʾ~ny~A@؂gZzɨwB֬%}~|{+{ [fF#sw\\KW$v̮yR"ԢĩLᩯ[){NG-o.9n,VیFz8(qMd)W<ܞ.Ga">I>}4_y~_9?-7vK hz}Z"xR9SE؏m3xHUqO'w kV CswriWj,N͕?t Vez@!?g}5!x XG'#QbB uQz==zvRrsw!0, zn