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 nn+r\$d ]w Nullstellensatz:threads=4elapsed=8.333cpu=19.596gc=0.9567zXZִF! f]ŗXiɟ ^xe0iuls3b57.& Q(}YD' w4 -0]n.:cێUq1MD 32`'DY OGXWeFxT-oA_)Q Rܚ0.͔q3y׀ai_7([9\Ju)"ZOQc硖Fn$$۫4U>C(._%G.j?DlKV/=[IǶPKVO]'_"t#m􊛀LWfsWXwvp.2+ b! /rQbs3xL~ %|ŗTݨNӨn-+x[hF8K}gYZ7zXZִF! ]ŗXiɟĮ|/<:/>0(Y_6lgOSSٹ K}TjӺQ9l gKzȵ Ja MNeDCi~ YtЇ!0£Lq}г~J} |NLZ$MPׯgSfi@Y~`hx-0*Q 'Uߍc GCjqaD/xZ~U_ց|7D,H݉w5 U~iP5XOޓsEĎRTJqFC KJ-~ӽr tU@PUEcr% %,A9g,bؐ NE&#TT(1Rޱ_| P]997¤8 }Y 񯌘DN^g_WSy>/yd)kY\"OR|h[?N4[FLT[Mi FYy 0)YgW\e3?T9P?tN`92^_.YHs'I/k O*D9]ͫ|$"ҪXlC79+bJTgC7_ [KӚyI[Sxv<6Jw⋵Fmz{%!Ϊ5s98a[Lgx||~8̥0O( (DtZ8\w0Y6Z wiV, 泟:Jm}Okw&ў ;q&j]{:p]4LZEJW7AByՏPqFf2:d$i= L'3V+`kM]vZT>P& sw}cw-8M݁8_ChNQ;d۸TFèVl ` I-vfa !UQ`i2\W%^_ѿ^[,ȎxcecEȂK,Đ) UYǰ%n4'[oŠ~Iec'@Tqc@Pг!%D$R{{-&avKvVXW-juAv'jeuсrU46&%Hk> c>TLι xR hR9# z:ik e@YƓ(1F j]A-2RA%b4ЦG7Jfk a봹vpS)_MN@ixaxҌyM# T)o 9t0o&!:v l,ǚ+S2tRʊ_ VI8,wG0aа m Wki@A~ q'`8tsD1쯐[J gYZ9e0edafcc3d6e18bc7b67630dee40a75171ad9cfc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 3f87e810d6f4aac373a96cd0dc933b83991e4a0f 352a14095c53461b0790bd3ea0d53b00a88682ce + Nullstellensatzw+E% |NullstellensatzNullstellensatz.Lex_Order_PPdocument.tex7zXZִF! ao u]A-MՋhvG"uIBm5gɋg&h{&#7h! :O˝dOeN8q!-H?#0xRI`g\>,)S(Yq}W*C=9(iTu^=`|Rᘰ7ukKI}Y0[Ru?s{ Xt wo.s_l…n逞s&ݡ9pq_xAFS P%jf[]q8K"7z 1r9ZքHO#{97̼&ڝHp*+X!5|~maom$x{E%)оu1 z.v$Y8Ə6 *r閜5u"WTyWa?`abϳ0$q<QI,ՕR|ʍ|FU.m3$Ղ݂LXt={],˷-dH8' BK=D~W5A$ ἱ*m=MwL{60q< ٸL#Qȋ 92ju>TXǥ ,X3h@%Y:nՃZtt6V;Pb'KcRp6mԦ %EF Gwt\XuB֩b-rsbТl7:WtjUЪ=y ΄ Kי_kfdrn`2fjxLZ([roAmިhaҔ'$X pQ#"/(GBlHk!5q" fykV2>ST_Ӹ")}#a؉.5.0RT~Nboqhi"^`.GS;G4k| Ș(E+8$?iҤ](l9gYZ2+c% TNullstellensatzNullstellensatz.Algebraically_Closed_Fieldsdocument.tex7zXZִF! q$]A-MՋhvG"uIBm5~.Æf6{-yE-t p/@Ap:鱝ЎahԦ;Z+%$?i@/0Uҿ>QxJxxT~/r-0g6ryrD RCԄ\ x9~ t@ݹ ?iTa1FɫAj=!*fT#t) B {[l=a-E{ڎ0+)̹)hr`wB[''uש-Zq(U0&ϐ5t}~Tqg J,4_9]Q1[  n5vn@+K%NullstellensatzNullstellensatz.Nullstellensatzdocument.texF+W%NullstellensatzNullstellensatz.Nullstellensatz_Fielddocument.tex>+G%NullstellensatzNullstellensatz.Univariate_PMdocument.tex@+K%NullstellensatzHOL-Types_To_Sets.Types_To_Setsdocument.tex=+E%NullstellensatzNullstellensatz.Lex_Order_PPdocument.texK+c% NullstellensatzNullstellensatz.Algebraically_Closed_Fieldsdocument.texdVҨ3@џL6:-\?fvGESb*?jZ-yfsEx\Vi}"p9fcŒJ͙t>ΗQqO"*.T!`FQ-׫]qZp aL`"MÄ;y9"^X{&/X >W{~Z1?6 Y;t s[G"QߤpvO,YJB蚨ϥ]]*'OVr*I$d=gֱY@^;ZuA h]/y*FV@ 3b(806}dg'GL.^1DPzy LFg~†J}fKv6݄_G&Pៗ35$79F=f(bTlyB42Vs>K|:Yp*꽠=s.x'r6oV_s&T 5dziM7A< r\9rCx='d䨅m=; !q`k{lJ>[mwYJyG8kc- ݤUf<ꆢ .XXWT/k J+" FK~FP2o'v{L|4v.grrxayCПwhfI<_K|3(7WENz5iaQJ~(Hi=2e [e~m󀶏o\x>(,=['5% 'ضd>ͫ%xi`z/ ~+L$VsަI+cB!@e qeѭ #7)kqjs*Ocz5-N=62u۴*MB[]b\TO}1z)dTB ~Q0e+NꑶSt{[ƅr8]\$PZa`0 $$kVrfu>[mbQ7oX})T{}']R'I9͎5[bh+rjԣpQg; l{NWߧ 9baV}:,ҹl\wӼ+:iw"L㈻j|q!Duہʁ3(EO I\uH0*xžLfe$ITnqy|vi/uLoIOr ͚C6ǻ,͚c=|#[$B@[e:)l(fU-)Ȅk]IvYЖP`iX̞i)d׈Ű R.qYXD}a ]c<^nfq[iTC ZcEOGh`e&ZTgZ޾!/kdB r]#{z7bqCGD<%iZuyf0n{fkס,Armb~ܼT&9_"f9)t=|C|d@Ns\$ZJpTv:\Tqr|b`<.HN> Sa\/@ Dյ| K/!.(GsC<^hBsX=}y&2ct%a#k."RC0軸ѻԢxP۹m48+؝ijf)?u (_Rm"-5r!IBЫp`Ώ[ :R 0,PSK@5RGu{ë3䒈EöKuP^zZy?0^hns*OB/9;K=};vƛmhn ɶ9n'p-çiH*TpRNt8!kz .9ME@LYB&Rߑ!3(@ `~~DCtlsz1]N"ڣ9M*YhZoPq8B:M7"柜gYZ w+E% |NullstellensatzNullstellensatz.Lex_Order_PPdocument.tex7zXZִF! ao u]A-MՋhvG"uIBm5gɋg&h{&#7h! :O˝dOeN8q!-H?#0xRI`g\>,)S(Yq}W*C=9(iTu^=`|Rᘰ7ukKI}Y0[Ru?s{ Xt wo.s_l…n逞s&ݡ9pq_xAFS P%jf[]q8K"7z 1r9ZքHO#{97̼&ڝHp*+X!5|~maom$x{E%)оu1 z.v$Y8Ə6 *r閜5u"WTyWa?`abϳ0$q<QI,ՕR|ʍ|FU.m3$Ղ݂LXt={],˷-dH8' BK=D~W5A$ ἱ*m=MwL{60q< ٸL#Qȋ 92ju>TXǥ ,X3h@%Y:nՃZtt6V;Pb'KcRp6mԦ %EF Gwt\XuB֩b-rsbТl7:WtjUЪ=y ΄ Kי_kfdrn`2fjxLZ([roAmިhaҔ'$X pQ#"/(GBlHk!5q" fykV2>ST_Ӹ")}#a؉.5.0RT~Nboqhi"^`.GS;G4k| Ș(E+8$?iҤ](l9gYZ2+c% TNullstellensatzNullstellensatz.Algebraically_Closed_Fieldsdocument.tex7zXZִF! q$]A-MՋhvG"uIBm5~.Æf6{-yE-t p/@Ap:鱝ЎahԦ;Z+%$?i@/0Uҿ>QxJxxT~/r-0g6ryrD RCԄ\ x9~ t@ݹ ?iTa1FɫAj=!*fT#t) B {[l=a-E{ڎ0+)̹)hr`wB[''uש-Zq(U0&ϐ5t}~Tqg J,4_9]Q1[Ԕdt]   +G% ,NullstellensatzNullstellensatz.Univariate_PMdocument.tex7zXZִF! #]A-MՋhvG"uIBm59sR0@aܯ9Su#6\dY5VB*W|=q=?&']ɹ  d$8$4$ ;3ȟ_DJܕӇGӖԮ0զ#oAa.njwWM[YB4.bcf^,1|8(`c7MmRYyKwbۍ=t!$DuV,]-BEEcdm|Xk3١J:/@NrƗws7w`cUKv>pCl"%ј:NQHډnj_H,+)ēƣX9; %¦7Vf(;?V2Hh 9D~pIɈ{fk+f1U(S\[IQgUʐwgi^RmfPonc9%\CQ}ŴwjBÏE@pLW"UL钦1h"OҴLāG Fju`ywcIbשׂؑ+Ε# xʢB_\V& ADa<_E>tfG sW5}갦6\9OVB`VfDF_Z&ImqՂ /Ԙ[>DM,l?6pd0(K:eQGՎCRB&7CH.qhK6y7MH$l,Y@^!0 ]kAP=YXuZsM}L ~+K% NullstellensatzHOL-Types_To_Sets.Types_To_Setsdocument.tex7zXZִF! Q]A-MՋhvG"uIBm5uW ~%˘ETj, J`1:)152ۢS? ;%G0`N󚓍Ĺ:8rʼ&yNaImK[}'٠z94Dʧ/a %s ;snYѳ|}.^[B F쯀wNաj39pxnA kqu.*`0Ŭsf ACO ~hbzoO8 ͞:۽~ի܋z3?gOriELzGc66v{G[m?SKѫ͙Q%+ e/j?f Zu~b-[?92ʼnr] B-] 8kڮ҆ lF]_oqVs Gxټ$.g - v!:E1:aֹ a ?A/( )mfy?@}=q+3x;jyd`[Gּٍxu3?w܀r`ozyBKk !#< *Fx 埶'QՏ;*J )r{স'^;^>xYMĩ{WA>75v/㚎sVص/\^) bY~h | $8~$8}?).^zX7O+fl;Vybo6VxV&Dg/qU|Uz:03;9Ҹė(/"vffq髂Xp-}L-mb%wVpPb2"ǣ\e;FFaum+wĚDP\ݢ4:ƜL|fݪ;1lqGCݿo$*^ZP']љDB8JPn7k:񄘆7WRqpKH.ydi rzD.E8W\RwGnJŽ"L-,[0Z1OrvSг?4n b[=H aS8B$^ 6?l ue;o}i 5;hy؁қ*LyE룷8Wgj56x-[ (JpV~5&#{f: Sgϫ5*)q?:P4ծ|m^Oa@_1kov@(10zU-UC3g+ Kcx+8 gE`20 .l.KCMҹ¤MX}٠:{!Skřd'^ X-T*fI횐AvjC>grN$s "^SWQcmfg !Ϳ"]x>4M#{n{>g2sR(1 k lA{6qPTV_.җh>L/o+ϊ˾ íq{+0NA*'{-rȸ3Z\zɡe}jvCU1=QxW7ON kIB3>l;gS䬍P™RVk7u}rG{F!q4b،vx)nERt7 oAbdRnq)-!_y.cEƠ3֑JgG+ 㘉wvIvY\-f72if7񵊶:6v=DhAQ 3Y}8@/Clsd ㍷D?O./΂DQ&۞0MD;樻VDHUg'ZQk4ن&;fkpV,;feu? 6>Ab,x 9PF wMԐ6]exG A hUSj.qൖ2aG SLg)\eR/8{'g ĿB; RGۄ4,&W0Pt|"m3Zi?U aDYo,Ll3#[3{t ɒ3sq 0s/)Vf]hi]܏8F]b2I9~}[6q&^Ѽ }uΔ&Y7%xuN wkltʐ {$#\U2ޮ?+}zR ZSĈnG6=2y[Sf7N޻>1\-8 MpnK߯",a* >k Wȑ=' 45i>Ζ!9".zi *N ~)4>\֓]IUfи^QW$=sZ1G%+hB !mŁqGK+56c_ݺ4a[7zv.kylTBϓz}zX]'"?5q`~0-jm[JIffy.u? ry:sC#e]^ r2yS\Ruڙ.eC'6wI|I[>EPPEY1L3Ɋî,="O' #5tiNR{kJ+RZ_M4ۚos.T Bz *B>fo߫G9N@'usµEe+ 5& x OPV[$CBK6YkOUzL adv/If c@Mdt_ mn4AY+D $]2"!jA&!>1T&(6RȀr(y2&Xԗ}։ȗG]?<^u%Ps]SD㳜dI~L % RRf^Ƿ%dQ98a|D:'m}tT0[0׶{M58ԭ(7_GUk_y!X7O*94H;/uO֝BaІj0'T$GPt|@naIb.ۋ0 (][Ѡ7~eUg=PҵOgry<'Aimzu3#]$0[{8-k:0:NKr֘)) LbBdo\y,ig{a^YDcWDT!+);<Pp*QYV  >Bģ0WQp7c7ŶqT=Ȗgqv,q"$Mol{^ςŒ"*g|hjXe'moXBqEugݳYmѷLY(Ocbj~,y_%ú 'ߗ7Y}l$OET:Cec-?$#I0Im 2bCv2 8"Rv 3n"Jt5;2ۑKUs.҈ЂIgϙwc0wR _Xe`l-D ~^;<;TZiC%*6UBI y1NYX8C&;ueeLuBr'O܏b7LC.qVǀ5$ &~S&ǜgsay̹\ k>M}w@ȵ_1en_+wE>0V=vFw/]ц7∤qtT p*軹3 /k&$c{JC}W2$ag.>b#0"ɬ#naq",2l}Y¿ZʼndDQ^Lf#?`2b\ g抖YDnz.LW!&I.rVMnH6YtJ, _Tv1< aܷrfGH¶꾕D$H޻w!8P`0^꛶N&~ q-mCOS`jSa]Ak<Ɓuov%\۱51nűN|L`EkGI] +!4>U:J(Xsa`wvR-kҚ@R{zոσ5Jiq8f'JO`C\KP臈Mdg"GLFtCk} (OF_HW択k\%m YwfYsf/p JBc uy!-&bs,3Cr,6SV˰Q- =()Mu_ |t_$s@,$@>ʼ%?vAfxXoIAX1Ucʳ)!ɡPٶ 鹅J#z֛GCchV`#JVcP35R 1oOȉ yA*+k >RW o@\.g,Lcl 1?b$ZT7Z7 (%,wRb_c'|A|Jo[^ŘzQ 5^i>^V<]O@r%VV(:W:CXm9(Xz{OAБ^)g<$M1T Vr؄l`8<7#?v7mtLj-p~3]XƔDPϷV^78x{!s\F4±BvGQ) x\2ga`g8O:2"~b:~U:W%^mKdCk٣8;^uf uģ;"PYphJc:ŵw %GXśڍ4 / >G>%nD_1iEe'#2 `r2Jg襬b%BTG-Z@#UgZ91Jig!4jca4XLtɱ^'`% _IJc-^mA)8lɉ#Zm-ϣ wAX;˾ZC ʾ)eh WLGYJ{иppYuhGJG2of'do2>˿-UX';=`X md1!'iWO/˺m؛I#nӝvǑ>qC?u}ڻ~Jop<(/R٩ Ôm2t,9afӫU!_ѧݒo-92Ƅ 4<᠍2}'uds2џ/C=wi/49"H'|GB]HYh҈X>2"gMo-{czū:F|ORd7}w`0<רQO%U#|mE+i˩gTCP۝2^ ƃ%?`1q 6珂j{EYbT 5mГU[TF%GTT_ULUo0~DEzRn]AaF FP.N} =ԕvy{%@1pojafQuWz MވߠMբ= _ u # 7YFkҭ?Ŗr9HpyN8W;D 22d@d2F"uJ73e2ݽ8:eR l+JkT8O[&~=۷Or-bVCi8ci |S %Q^kd!ld(^\,]uo!fysz}uxJ2jC{QLm0B4˧ƫڲ,+r<+TiBJƕO`j%t?.Oz*uUͭR*̥jp]'G9/:^j35ZbH-w+(B:q|1ݲdsF40U7DbJ̙6sjD~Ǭ sI+fѷhBsV߿W(-d CpXNLOIzf?_{5Sƈzl]2rFrd٣A1}_lK 8L,v'EC+B@7wQJ֧ І+QTDuaIqeH?1nF9 < '>5ˑW:2M_ &D@b!UyLmϳJ4[YtC6 Ct{BU cUy%W,2 UI?m3I .Ιz.g¡S&D谂Y,lۮjܶwPO;1c}X :2a;ʐ٠x]\!zsqYfx8qYUOFJ6)'fY:#\Xo "nĺ$$h\!\F>Q|Ȣ$pj]G`r_6Z]ίQUԧ;K,eD5n&G-3hOm^^7L2gz-״bD NG BsŽ@/4K "\]`Kw ..(m.tOQJz^t{A4\GT_A5M!˱ s(1|>]&mvd0פv1sHD-B"nH'(5zdN)ؖR'톡ŅkxdCZF|UE}JLxBAIV&>HMBul]dK;LiZ,aix);,~'!0$QjqR$y?"?1jK߇^̋a߉ u=B~3~Xae`?aI!W:\#uIikU#m1Arw0xZ 40q*W{&͋|i\GJXr3MVUmy3T[\6eCq : Bn P/])A5ʮzJ?Њ7ݓ \dRucE&/q^Ӿ'MC&1hKbx\9TCeTE0٭ܘh$:JrX#:y8U3_rf=3ƕbG\NCD_vevOZĆǂ@^>ZNcX)i-ؔBk W'n5w ޡ}Cm.v;L-垾k`3 s}Tas%2,KBo%G0h:@1&G:Z~*QozZvT*_@Ң AڞT#3/V`d$u(m'5jt3#$\_O'^yE%ͤ {S5@@vOwLQ~9YDف2Xdx7s1^fI 8u, XVZJ~wR_ W<&=e1'dh 5)1%M¶ >#.k[~J]h!4ճ(x@/`Wy_1$#*c>Iz Wbxlӥ//X L$mǝ)+^1ԥX&;#?_,D̔?~'j,T(OX#5 `U\%MV&"N8lf/<BK?92H,lp#n<9AnKJ $ hi7"@\S0ۓt zc{M7҈d:p!\&>.ٺed!j,\JUӍa,עwVM's0`A\z>5xIW;n%e3b\\?yvmVъ3"(aghY63}t QnD;.~IX} E35kI'rWѝeA^3A:@c9}֎6[܆~U~a ^n 1c%@#iIcv vrgu?s{̥?͘LiRN${'' oIarHBWٟ̼놠ܢo"o3 cȤ]PB\>V8C2  @} B.]lKtTUҩ4Rl$1)kZiJ XXz \lkM>b`R#7Sz%'z?B]_{C-E^u%.bq&7v*q^hn;GLD`Bus:wdoXPW4͖SQN]ǩybr΋=1ݐY2xYWf\x7 т|hf%I]AO=hxɇ9 Yhq!drb.c8D[J mjkGf/SF6O'ݙ16tu&;h >(8nL% /&–EMp{>_c∫ZGkcG_oIzM40ݽ0YBaN(6^9D=t&EBH43}P[7`߂VI5d<: D]-]!Bȸf% [t?!"Z. .@\*ӿ$nA>E:?W;GzP e@C8j 'ݱ<!S6#e^X%M)YG[{p[S(DM N{-@ϫf\ה51QMkml߁ j ^KglI3O{d vV?,u&a< 410ā?[j(D^nS~0WaU6JƏogs?5DPo9LFʼn4E% @4=nZ-sxT<ЏpA;yd@  },X,L*fH΅Q-:UfϺ,$C#u zw;ɉ&#FCì0n8~-ckz/+Q ײ\)z|Efmm]';iC֞ԳwOnoQϘPLM~MЁ͘K@y߆eWSƩW:<,ElELDs5x =[3Qݕm'rغm,HKHN1VM`D,>txUƁWzq*̞?627 Nbǣ K+Z`>P^F*qfNk:Iն@j ,Jj[Rra}9G@B,)%ya£gE uCm)6jC::79jTT5;x:g[@۾~QfNC83gA;*Hy(#l< >~'Ѯ~(2ܯPc/mD8Fqu*uU+>guIF\$O[&8 @E'b'Bƅ7@"m,ggBjӹx^q؏CcF&ukg)^J A| Mnﱩ.2,=(v8]>MqsDM椝ϒ; ȝ>U ,pÉjSAmH_]oܨSD3y&=*/Y,?XpVGf|p 9е\nG܏Lr} 75 i)_"3FK$;&8rQXlc.y`]L yZܑP; &'m.5`͈ઢ1Sdu M=q*2:S& Ve1gcjy8_L#߶KRIX)]FRqOS>aٌe 6M1}M&!tߞۘl\"h9ɣXM0!\^xf<9Uv- }ߡv44Y2v7\FK"a,lfƓhG(84 ,bqB7YRURIyo9=MaGõ6?-Hc-U Q$zx@.6'_SO Hbd66v: T+Y ~_JrᜰDsSĴ Im=]ɼrESu%n6r'[@AiiWfG9Q᯼O#0Օ?I{ =N/;Bb0Ϲ(бr3WDRSmL"-:i;zp# {H9߱@B4^52| cU GgҧB'ioQ(2Dž'Vմ[UzDh׽:kh\9zi= eauemRf\(ˇ6ȖNؐ?M(mۭp6q=?&`[`i Ӡڥ4><5pP1gh f-S&ao5LP1:N:RdͤUNŘAkɡȮ9MBmԛă-:[)(|rySYŖ:6Y̘^Xu &|;޽l▽D7ʳGoLyYsP&XAyt;7u3.h"Ӓkmsrs2rz?p| 'zkh6W #+>K52&5țhN sd@ 1ac$4Qf_ yQELݭ)Ɵ0bLM^_م.\`9('VoQtGhMZm3euC^EAq*91Q6H/dώm:p'GnKGL ?ԧʿXSqͲ ތI.Y5-jCVfO>g%ZY<4XTs)NV7q~=)$y1ײD蹨{ ZQ/ZU= IXf/ܣP:x0:).^)N,Eyj) 0ru:Wk'(2Sfn<\h>z lyK qـ`Z&!qppl ѫG( U,ƨ+;[v$UXIe gi;+S!T!@mnʒ&. 'i֋Y@E79%)U[Ûݗ|]=F 0׉ νSID]13-l_?=E5w$0'GNQIJo +Z#n,9J{ZAK6:*|M ة5K@x: 8iOs@8}wĦ|ǨiscH1/GPcGn;)"[d d\ݠ,< yM?:i{G .f/Χh} eJkF;ޜ84AkPT%Bg[l]$idb>KNj/CʳmNVਗ਼G=G2Mg fr 狩:"ܵz$zd|ęl[o%'D&E0Cz8Y}}"WdeIս`Eq lTj 'Lщ4K|؇*h9 *kky`#P'OMI}S]/L7+ ڔaA( IP{zxױ;.϶!eiSQ4Rb;+j8]Qt fZ[ #a#E X2z_!^  '; )u6(rJsSC| $% 2V)(ҵq;t/b5k|nʍ?X `&>Mf/FV1EuL1,>=FO2"{ᓆ:D] h4ӱ.Hf냌EyLi?⌆|ue H#dux&M+a I?E~ abQ&Y7Bx3йpa}#@bV#l0Kl_# ~Kl 2.fUO(U{|upxqlfb1Gԟ@9&$s ӑ?Uf (N|!iS `7Xjf(2)y L2UMt^b>y<1=piIqN S#ϐWU R`im0;֏GWm15QdD2ZҴhż^ .,igYZ `` +W% NullstellensatzNullstellensatz.Nullstellensatz_Fielddocument.tex7zXZִF! i/]A-MՋhvG"uIBm5ĻWhY6 }=.8 mhN5MXZdxyGM%[凳*MPǭx"cٰxHaٓN#}~P'$`WGd5>}TqrD151 8zfN^(AFk;VG$oMKQ|'66.lN#0EWpjaHD!d9)d$n^+ޞ1c4Vs=;J kJοV*mII+bI{zTs0#FK{zkK^NыM ӱ IW}?G?0~xT#؜>儩`_C|eh{f ۫2lԘ~йG|(:rpcW:|bSMFu{ PaC*|ϬAGEQH8>6-sw<@t Aj҇Jv!!eѡBc/qG$hǐ4>?$tnໝՖԃiӆ0_mviw jfW^A0R6v%xA((.c +b8j?!pYym1y[YnZSߣޤfQlG4@ڠi\u>ğL Kn~ T nW: \Ě/8k@/xTu ʰ{#Ad-a=OOq,gQR~I}LXPr}?K~aj^nQLEl!_﫮bĖoQAby.@dDdx5z?D2lAmOvV "-ڇj`D'/\HP8Sܖϓ'BC(lC&\zT 9m|p19יIQ3s?`.]YDvU~:FԀ}aϔe cn@dR8H_3 > ǑarBTd!?OװJcT[[X*ZB=uc+bR^dud|_-|bnwDbvIãZo猁 % Yy117SE5-0{H1?QIvb9I$] 9Δ"L/kK)(bwtE cM[Jlms,SE@ 4Yjthkwֳ_07ߗēFPX$DL7DQ'un`^^#NlJ6Ysn0 ӛT&W vaOhOV #x=N ]ƃrwO ywg07pc='KO!^v<,ʜX<ɽa[AjGd_ظФAIR$Qz!C|kW[n77!yk-N{H 0U&=8c'1M/M;ւj{R\tW[-A$%;~0dQ4r9bJ~ũ>ҶjSD]OTN5!5W悃9^ 瑦d2`EY[Gl.oldH_? rH -?{. bwiRt>e\Z5qj/,\fw%6ⅼ(*CU7~yi>qY?okZ@a n%O]Sʧ'B{܈ߢE zYO{"%̎cg7^=d'[5뎃v!ss E=9 hwT2&g-Y>Z\O֞ɴFr@#V:1i-2WOŔP_04%"gx{R8U gMmZW< #!|?bNBcp>~p"ϻS+ysn{2TFݡ̀dUvHx)sZA /F{4`a^# @_\ #}z)~LĬ $&&$gngySbJ 1\( w hR% ֥#>&RM(""!i\b*2Kx>\PyHyUz{np=ސ7s , ~0RN U_";aӬ h ?#vKOȓC O VP*O~B/YQ5<q<]!5tg&0'D72 J%Bll*?w:Vv~$U0I+:#=ztd͓n. z/;iKL{GP.J5z_.D/'m{4qPQQlK82Ys,Kٞ7!6#1?=O~ra6pn #BeGEVD:F 8"6A.TSyq)r8t_:7~x*I0ȓ&%Q$[N5j۟d0#¤NZ<`DI純0ٖ1;IA?>4*笑zW|J~gz$_VpK0a ,&PS#nwu ݈0Y2U 6 ݷZ"'lZP_z䕹$I^yJnF} to^n2VFnOA2챱ZXYFTbE7~_x`iVm^۱4 `Zi9'm=T<7[<9|k*!C>Ʋ3đW|gH׊ [ooxL}50RfP+Me& >"͑}xmGEZRR>r"x3Uq96 }]CYUD،x,;U*\XSh bL}!ܬ  OtJzLIǝ \#so+g=Qm\)b ߬-T^8^Rc n<eގ҄Yd]KqiЩ x,fQgo]+bEڵ-F" <;]=%%q<.QIt^kG)#,.1Q \jo,ٳ}p=%hvP`y#2giBc5߳4N]2$"F&}T 2Mq/1/^KW;e1{40/ [3Mgw^ԾbovR5Q9bvuvՀv&Q֮nGiai>TmWiHrv+%"OG<{Y_}׭\i01BK9XX^3eE"YYbGAedX_-c5@{)/K(#b_yqg`lmT.~o ݚ9e2B &.#N|y4!=ݓrsAXZ'>X[wD&6_Z/%6> z"_un> {~3m'E|G'AS`}?UCM )PQ_ؠ29lVZT:xfCǪNC5'Wg/ d#tiP'bMr),_ou7!T.+.% Y Sŏ?xb!4j:7L>D:I>wjfQPPVvNZ 9w1o./nt'G֎q8Au= tT4 ru9Uճ\=G'a]Zxim֢l S3Jlk4;Ļvt crzXAV7(d(/_Qc9jxJdD@ ; "1[]r<8>%ò²= $S1!h75-|.۷ehWi(vx\tSoՍ+b:E5NG’#f}X9Qx5pIؤxkmStb[og롢Cz[$a>-blGRur{ԧ&67R~2/CWGPmٰ1br<6*8MzG"/nQ'Z-*R/Á$n19"'㧮<̣j6&$ ЉgUR,WXPt "ک;[ Ҕ$لq/? &&&&h皟߄a}#'y ̵9dž ~#gr]q{Cp9Oy+dtZlN uQoɭ.pZnOgXP:VRw=+s \)Ur!\c xɎv|Q_uâZ/פCg%ǦqE0&J<hx>d-⫙eS.PN6A;1-< uxHo1-(j@*8( N~dI
8E*ӑy~]u=% 0?1!**~fjZ~}Fx;ܘ7 ~6 ;⟐;CoمoNf%&U K)Ga7iZΥMʊ8d nYkIV5K$ o-g>x%ne'x|Z+(*Cq&ngɆȫ7/!x]6Ŏ0/7Y69&dkb-,,G ]pdߣ_z5%13>%,Rf0#0! $F uJ\"6ӢI:0QֵB_|{'PW7G{%Ҩ_44-Fg"g5:>9] ɽYLSwm})@з!0qIPᕍɫm>\>A(ϥCKeRjК/<=eNg |iMR!\ iG0{ztr+:!))c.%Lk au֓pܦwbk C>et/3DG,u{߁- {Ԅ&Je*MR<!PbCI D4y~W}Sk'M%,q7\IA.SZbZJ ek.j6*##T4nxW%sS!on֤8Q}z Mʪ~3s5~+h aU >{_Rɣ$_a!ZB2xZ[3%Wfk۪ ~64)]<zpg Ww1nfrU,*i#  |gM ˝B1AZ}NɇV?D_= X R$vX6l sBy5SQ0n㧝Yn)uTS+ka8-Nzz()@"BC3u8Lg`WZ*$ JEv Dhʻ(] ڇP.w,[<,瓖* }ZGp65hX 栠B[r*KUQ j*Q&j>=pOo rbfuI# (r/zUbF~̰->{^j_f:#ZK"+]G'A쭐(>9_]\@Udz<ℝ N3eZȀ Nݚ0BTsQ(DI-_s_Pi,'b9ё@'k=G_ߖW/#$3w;\53$swG<;' C[~\&S o#;ߍk"[HS*FkK0/ӄ@`$cI>[F&Jboqә I =_)el7UuwiJYtRyfmCGg&yggI5ҀP$ /[0dSC#TPus l? Ud s%\l7wzʃ;{2W n]t ]rϞY<9Iڙ$7I ' $pK<^W\xfff|ܫʯ<$龲 NJddj6m nks1# OQ8  ǁ쁞ΔK[fa":&)DJ8~V+bQE 3ݭp׳ g9~uևs(ӸmOoN8|H[Vފ;D5C^gU;ltK&x0"Ƹu2<@,NK|e!qx?o9^%X5j_̥!mB.;>'?|(1XcDz|oz4ЕfS.NŠQDzL /X/#4\|0a bK?8vᆳ,àv_0мN|.\Lnp2OY6khhc2l(V0嫔DŽ$95N>?!!]lߵ OfCJ6_+s?π.鴫`r}oK&b*Sϫ|.z-b EP.)9?\`D!mֆ% $1R?xcKW;No^3|)0} E+d-Q2ي#RAʵ8ٟ(٥t]KwBIΗv\ 8tE9D\d܀j:;q4$z'u&Q1?r +(#UZd+ʷeJSp z:NEwLiPY;a\F -Vx#%KIsJ}Dx3𮻪 Q\ƣ8l;/<{*niml]zsx:#Gd)YPEƐ?",ϫ+uD Qze:" e%@G[gQZJXjCԩGD\XE|N@3؅ߪ7 Sl(`" y!=9+Bw]52PfnƒtN$'NQ0,DrTZ'`0z[L0P'yfv0-Z={A]C ۩.3*x7=B bI:K-{Jl_/p]0,o#,^͐q:`2R3*fPIWF2<{ܜgҵ[_=V& b/V܅ 83E;ڍ8u HyW.愄9C~,:Y&*-$Nܧn~yw Q, UdS-푧#0Q~i&*VޢqRa*)k*!41ޞt 2  /2HԔE WpH`hϝlAr2Q;|탾KZAwKsYAd*&h(mӑv[R4 \éLP%G*&%=ZatTN#Iδ/>E!Mhk-xRGpU`ÒU+w' 1NYfXZx_O\ShX}g OtY,o3t<GOЈB(d7k4&6+W!NA/OݦEux#tɠ:W?cp͏,Ҏ\Uzhk>Cj(e]%J)bHXqB\]\+uf'j-l}Z:P<%eMpjpT &TevC*nvMYB3)kIʽkI|Lxy%k40VB.x|sA ?T<1[+J;I. ` p%st<[t./]cô$Z LpP?E3Hkh٢i}10cDZo`e`Yū%+[AЛ>2_-_(*>ETHzwۯ+0>)`c:E[:Ti˒m:W3a;3e|-m߲LRMۄ"Gma;F@?'Fߟ,F::dCi =j/,h;QNXi37&Bȝo.<c~NIw܊>ܶ]%Ϻf,JP e&v*l' }''baD S.7zSYnڱC"jUPzgn ށi(jH#s9zU0"RdV i1(?qQC_5)2NJ,c<{̀T4+@jRz*m%um=¼dDG9Zy:I43dfV<_-" }<~ތ: 9> l@ 07 {hz({hB D,Cd F,gSZs.Oq ϖ]3mYʎ(/Yh5aÀ{k0"4Wu8#D3WFRHԤ5^CJI1q˪M#~m^Iuʢإ̧wQ1 w/$NIVǺݽ-/=cDI˶i#3;W_mgn$L#EYz n_궿 g'zL9+1DBߟ鈈,^.dZIlZ<< yk ⵥZ< Vҍ~q~&@ C\ѓ̍ۍ7T.wϨừWr[䱸ѲApu, Jd?d`{͘![ZYJ]ÔjփV4#{UDnދ=۠H4W4סBי}ԕSG+F1_6w^Y-ѧ݆6pbJI]$X&0"&֎d I"n _sOe;~;|;BZh%ue`qQ>2!dbMUge _~~1LHm7PEYUt"z@55:!8cA;r4x.؜q)˧ks^A}X.՟,P&3 I5"0wʏ'I xƄ8F S'᤻Γ1Y9҆T;Et.EXYJV ҵVƜWCeC6}JtG)99?s**@[` EoS}M_H䢺٧̓b@*Dfմv͠Vq40sX9D`Az1ԮUJnP)qMD+1H13.ɭ"މXlI(H)MZ dset=9П =$AB3Wi聕 *Sie yuڦ,1qFLr[On\y4P.` "LPhdk8΍&w(%6l}=pE W?U-Y>GƸ *C8pcO9%1_k"9<^if~_3Jld9ҀDŽ삽%&x@]H5Llr͹1ޠ["ou!tO)ɀSS?2jMλ p&[Oѐݫ!/T2o ]6!4+y.oO@r_堎NkO}3#v|rc㝄97X_X}S=f1ڔ ̭qp:.8qbH \cuu=#LS!>h$Vm#m#t8x[qU (?:1̮F3wu8MaN`D.H3 v}礪C Ġ[6ؖİR$cMKsnG, ;"^Z۪q˯ȧQ4^)[KhJ>|eM=+ bPP8lvgEPVjxM:œ DuЁt$rbG!v5]'G@ !uenn.F1Q⾯i}=4*R =}{,BHX:g\USE塲`A.$|5M  @%GY"YN~Y+N+d 6<͠p엚Fns} ]-L+JçI˵%WA}g3DZMzN!#0:0+̾`:"/iTQԼFΌ,-*!UmAqbV{.$#8^HfNz&E7 |FjG,P>9-[NP(mHdEwDPBƑ{g4JqR,l>83jٍ\~G~-Su2`X 'XC{I$xgHM.5]gg/ .͠4)TǓ1K^wVO ]"l?1a)K璞mx #T d x|qXnKeWMR899LX~x%[ivVv1.s~  FˮQ2r -1fNŽpSSt #E׳]y^D$PH09_#$7RBe=TДά*=VP%Z L2q8K?l #UY˙[[M;O-.k߉Ńnq:cj?dڋ4)v˳rb\P >=|r.P2^Ede-0n#~(iϜ߫('57:xL>^;%hbi`Kzr`qЈ5Jc.PSY7c,Jͯ/e`Дŭ)MB#Hn؃jX+KI~i0K_Zn8CQ25@~BD.o#~I4TO5n8J4{Ђ/P|\e d9ž@*Jc@+sw1QsCSSzݎE  jdj#cbШAgcySWJ)sndN,?W;S2%5 X}hp;A}ހhkʡd %|;ճLrIP @w Fʽ%DpQ>Z8qn3(L)/qjn=nքV)P{"&a;lrv=K3Bֽ`WcP-]-*"\/d/,h{US ـ  ~PŞQa"O'A8u 9GnN/=n.jX%@c^ˡs*m&WT.7#)7ӑæh/!"K Uvzfoh΄G7^!5@@ sB „l6Qڢ@;qXEuiĨ JVXنĬcˠ'c{KSz""[l"^%*~jmg)e\xwlo=~4)i \t 80HN_1ϧւKZS۷ cqQ!b6c!u~hSs؞%=8dmF}p"L(E>,G>ҷby,veJFEkh..^GܝnTxD8%1(¨F EאF %-Cyn;o&~ڻy>z nAn^ u3=TF=xK/?+r݁Buʧ(s֫hC.G/h#lgST؇D<8FJ{>>-G`PyTkDԃE}y'B3kΆ P\9)ʏǀ?ZgR浒N'3 B'3 !*3ZM [<"]`(;U]6_s[aM`n~Xn{3ui֯K.3gS,FXnb紂U8'C! Y4bCǝU+1$>>laHP"Oc/gv]hH]E(SS/3itD.vO|9؍go*`JF;/V6HB|=nFm`rߠ.G78O`9K#yYdX~B=Bdg[ )^qQWݿn]5]R֭*m:ϑ<HS"ł=RH+OK/}",!P>@OJ.`] t #Ňϋ!G54Ic$SWӡu@g 7PU0NAQM|'2:^'̋ǯ+{pHGK+ Ks6GJC Q:X;{DA>GW̻בTg:Vts P%Wx޷lb:xYc $^fiP֊ rCBe`wtWtTO5,yD)_8ն;r_ Q N>1H¼کfǑPUKqݿzoVq7h#p cH":ՠFe4e?rpnRA0S+acWN'\X*}lCO-Q|lgx$gv}>\iR@J'%.eOǯg/nKfWG*O늳J{ T<yeBmeDbbMK =t7l:z[]¸FD%Սy^D׬e)f{׀.[y ~#"xтL)*={%L/'9$pܠ08hrmdUGj&SFthC"71ZF GJQAv!anctYhJeːY_ƂHQޛ MO)_5e2Kq5 >G7þb~.}!5ȫ7N|9[(LWx(@etu2zM(GDfãq /lҒʰJz6dl(@ ?V`?k沞K mdF@8%Fk,6bJ/ =)+dw'YFjmɡ׍_;HN)uLd:{̿I(UgBvw/:ށ&^픏/n@45 vÃ7?k| ^f~M\0PX]g3 >z@S!n!?=[xo_aJܝT6k˥qCP!`PVt槹q5;?-T)I[ ~SGy\cתc!^mH'^\TĹ䈖̄@c^SyڎgxsCLPX ebʟ?g`ϕM _m*Y&=tfޏd"xi jS3Ɉ7QoCN+{T4 o"3Zc ,<)6 ~a@]Y.budK%6yŹoSިi%0a";&4HJH(M +'"9軧[tٷvi*ZOlac9-2g+|r+ A>XF6a^ź9cyAؙPȩi<"pӲ)XC֣½NWoJH9@ԧ"Y-gUa{e;HPd:/Ug!lD]O8.8Q]`:ȗ& `F"PmeaR?@=KLx)0M!G?5~j)y$ "9jb~ en0VƅKa[*?qΣ h tc3 '扇`T{C`3_%\p{7(+~9iIh"> a@ih&si=Ț!mPecZ6wdөVÚ|TEאrcpCUPmd||`,),hVsU כūLSE k]רҭ3m@mUn䍃NBf),vT^_r6K3-O[ b=/EE~Xi|,EY.Ĝ &' ^SN²Diӗnj =M!'T @,OIKwS t㔫G; MT!W Poee]xu`Je7ҰzΙeF V (wx1rA6(V/.џD sbB {4LJJϽ7~v5x"C{?[aV؋$K x&G(F@3>)CJx,ۿ"rsnT0zoJD[x 1 ,>#.krτ/*WWګg^w/vl 25EdL>BNh*M8kTJGli9~J]Rqu9["=6>7Z(5V&nQ@)qUĉBT:iE[<մN0HIZ YgoUw@܃rl,| ĦkxqǙep?04?R}uOU ƉeeC@ҹ'>~]9}ĽZw>8Zٙŷ69naIҢ*{dI|(n+א e44Up/O,Ce0!*a/DD FPջ&Qqkl>=߆%aL/c1DcEv p,(FL)@x€gPهT|%wv[wVVys. ih@.3GzИb=Aic~1H̵ؤ|NaGPb LH {SS7Mhd,gR4[>-$'Oi+oHƞ dҪqVj<&O_{1 )- +0rVFן"2jy{8XMzyғlqѤF ?CW|[V ʾNzMcXhpǺ[l>D.'~Wz̄]bf5dߺߠYr;\HBCbD"2ME9|haY2gf䴽| 6t|8H1 fݹg9hl-.>ԊsF`-PX7ٞmz#@?cˁMZ/.fxt)5S|&c+:G;unde,w^VqI $\EQUca6ؕ rt!ǟ)GMKZw-cY(2L:#H;%#Cs&`S6K^D.MY}Q"%Spte[P?%KMb~8{N"Nh);E$=;1qoHL-uQ\_Y{a+CjZy()EsiE$}e d+h4."&5X*#=jT{K%e5jWfW鸃p9O >郙R/iK)Wqn+s8%}?L[&&\06gNs%G]z%+!R jIEN4as n_~Sg^VOw]lnO5jZ̷9N.$n\8TP|:KȎqMYqXޙKN6xu خ 8ʕB,,wf8冥{1XnjNKPKVX3P"Y7Vl7e3!#HE3v.RUŽdVfxAȇ~TALo7u 4]X** N{1.u%+vaB׌ IAYM?ܿ}#NJx-hp@/W^O͂LE8&uH=rūJF53e\zVYY`PżԝQ8SVE%CRbhv HI{tZ1r-_lS>'7DaKe#dD/_zƮ %(ݏtξWBEʣ38۝]`ެuЇ5IBVrHsT"KN4 l;ANh5pjvw]p_| ]TyN܌$`'tmR:~UFG2#ӎYsxRܳd0ʕ?+8紞MH1qwwCNG !&<#Lwxܣ$m3,4-":} ٕo |rţYnohEfyn(ahFjb>b\RB !$AdXMx[ӢpA~od[=_NN|JiׯOJ,4ta" dkb邯O"Ip x|6(/Xj8MܭPu qM?PkIs"b) < 6ÖEr~ao <*D`)0]Vl۽e7jM7A?fNƁ5`ﳀ%k5t\~lI9ABDf{A0HL/ lY?!Df+Ca k6Ð!xϨmK]i4eik@ OZbh2w1VtSb;78y]֗p(}amt2BDâ"DMq4,M_7|~ M5EgŻdR%LECng #TGq 6 LLUeٯ8zl8qeJ[~Y}[rBHxĒylc_O7OPſo]%pGCГO)'t` KQ٬I]u E~4?\ I>Esa 䴠#uR8N?}y>eӳ8tJ{nngYZ EE +K% 8L+L#˷r8XӉ\=)s&Z+[~g[W9_q%xXj[cfo cQL^q(y,#v `-[h2jhž S밟lwBA;TڽY$>1!Nsa'̥s2Dĩm(^)@҇ :Kp.SGrV O\}8| ,:8 DP _y-~ЏdkœM9 !<nR' 1?wzr $@t 5/0/ubz{ddVMS>'SSn!lܡ4W?p:k}x z$h׸^4^G`!A\iAՄ7*e  +i=(8jdS %W(" vbQłl jϿҹrx7y?j̱^NӴ6ъn%4'y閄q#Mou;^*J+^$8 ="N4ÓԄk!ȑE0Nw&䖁4~vq>L$ܬTH裰 z$V9$ :zc@$%Ⱦs\TAK^Q_ŀ6M56˅d%ɩTMy1F  JB#U;1K,%qb^VX>yi)3ùv+x->XH:O <Cj̡~#| wӵ3Me{>q'[9#ĵ:[o{J5tL|Tȍon[|N7 >V~ IH)SSJ)w?4HyV2U ! {ii^3a ԻJ:Nx,Y4Xţ4Rh#tifqN`]l<