PK [:Groebner_Bivium/PK [:Groebner_Bivium/Analysis/PKל=9W &Groebner_Bivium/Analysis/Analysis.sageUK0>7b$I pEaY`ZĥLR YNEy5T<0e@t^ 1*USffLQgFiTfmKmZo `u 5I&N՛(ZX'ԟ6 h~Cjm?l/k e? +V ޗLV6  ߐ| Xa5 kGI)+(jY:EHeIr2&IBtc~5HXK<^Yr&4 ϢSr%L@ _l$\r$*z ͪ2oa/VW&ۢOMBX#JxP=jџ5O~'0-M&2-a2-7M+5~p߉prpc5W/Ll kcJ1Ya2PHppnKB P|Ir[r/8,(@]sɄPpp2VkO*3`˳7hgSչy̽-EOD9i#\o ]Rxw!o",O3ތ۫3ބC3aUmT3J2.i ˭J({E.o.<ݷe ˴3nQi01'N5a˩((u:_~4 PKmp:nj&'Groebner_Bivium/Buchberger Example.sage}Tn@]㯸u66u.@ŠJ3_;)P{-; 7ǹ9Wj>V+62֋*sT̢,3,+/!rﭑ͛*(,wúotrMTW& 8H]> `If7bҲh?|aP8lVB➖(R*@T8(e(íd0p{( ,(-gQU"qh{ހ5okFoiU%Q#VC=umLrk!J :vǞԍr2;9Nl#v==T #;JPSj3!jj㰆mm$0#A wB F!kTfk }M<P19q{ L)?z ZυPΚ[=.34M!]=$"9e5i~ hKh[cQ6J`}`aOCh ۞dtrQQ?yQ?f9QG`j:d}sO*iGW7mfH(+W_׹+ާYYV{Iag#`e="EkQ^']TP ;i&N6&ysx3Q3oȸ`|KA,춿 Z?v9!bHz|@K >P,&|H1+ ybmd^ܿon[I}Md<}xnjѲ0fGȸ3ЖX<%- ><^)Iz/QRWtΕ~_s7xh$K)4@G$/xC"[<2O^U$]q0sf%q.Ϗce(S/c|W>rkʴ*<ՆߺBFݹAABezKM QxjI7 :;"%${g9_@b*)"cWE`z k_g(,*-7vȀ ENgKDJ@Ǎm`+. ^ Ψ^Aa ղb/ :/eNg|W VA.&<4Lo/80`7jҲ'5mWװ\'7^3~=,}p=+ %ZBdi?4Mzw%'WV@ WLiҙo,yseMsĎ.D%ݱZ/sX>WW :f{ic~WI’E=X#Xha"YlXU [94M$qk%x0æ HE'9wpsWw'J} <K>x[x MfhlP8@+_JABL&?oaRW&Rɂ7jN IY.G8.\qrFXY ^#Aqò6虇n!Xo =)_=,Qsecsj)آ3VVG#-yvZWό3D5_W=`([gJ +i,&`L,Qw<2{C T4: En=NB(Oy(`3(* \wŔ]CGt~_Ɋ/J.o1% }5.hoܱZU0:ߘݡ~Cz@*=`0W-F_gaQZ d9V-<:% U%So>")݀}s幗PN-|dGLٸ+Q`FI),ip攚ᠯ#^L) B30{^Lf'K~ئ,j,H$Qo_<\{xbjCXY>u~FBwOi>q1% Qz~8m'fdkd=goLF+y!a5 1]Y-6sUlsH70O`%3[XxE<>hd#Z]QIbHM)#OIqx#O^ FMK(Btk=` &|kF:s;$O[E&fyn|s'YuB3 GA"0+:N/sx5ʥKQV\&N%Ɲ6D#Bۇôj B<)2.,g>+"y?WΨ;0~MءXg4(ٚSc6_pևthC'8IgfҀڤ60&oJ0$=`c̹N%v־sH@4_ltf^ (п]g;rN lj*jo%QRK$gEu\l1E^ `>IrE)7 PK [:Groebner_Bivium/Core/PKל=92@ Groebner_Bivium/Core/Bivium.sageRn0<_QDt\òZXEC.`6 "4)QT6%@ݙoEd j/C>!ށDIgC<`-&nű0J*-^N]D82 2?s^ZX7= QBR0kÎiqj˽M,O7J= xtA!X#%[ebmn9f_Klm]k|уDr=XAu}}4 ض7r62/j;PKל=9sYi$Groebner_Bivium/Core/Experiment.sage}Sn0 =_A;\ۊa64E/C(1m L%}T$ٍ3D${|9%pW#֚p)T*h^ ;jh eDe,.OБNNGέb0#ڣM&rqlp>ޡMq` Ԓ JŖ:ủE 4!MO 7.6V)e pVgìR/\9_Ա\AG@HaF79 ʤFF]Nlq~#S˟]Z}:{7 'lר!Mg9GٶYS>y^w8=߼Woqi)~@w7I+b=3 RO>F}^ؙ@r*NV-@yMPrߔ}PK|,:J1Yb8#Groebner_Bivium/Core/Generator.sageXn@}bhҐHmRCͥT %6$,ra*g,vl y̪| eBf3.@9vXrڍm]5f5 r! n YqJYFN?_D^*rmBCҼ;;;ϒ+&9C(3B"j- obQ ;i;Hܥ\@6K&9 ~fB9dR#u]WwUjzjhGV6qd|$UAalm4"\ dJYkiOFx"la-&0]`A+Kcf1JQsz?i[>qрY(Jmu hrp't(IY98n,TP,5\E凛"47 G_m ^:8áSӂtrk D v鴆D.+/A5DŽs#:^ȄqY@E:7z ۭv1&a=Y%MYtClsd(H+E` 2ZI HFƒ\A=5ZWhXёn(?5Q)y8׬)Ϫ`b q3/Kd]ZrC-B2Le>;WTvoRq+jVOBiFR/gpD3'ʰi 1 +Ҽ]ٽ[iX[ ?8c1+ Y\w~c7:F.=UmtTC{h u'?J&cRN:&! geV2~'33\8w{ AkSi ]}O񇍀 "߃vIK{FEaxBI !}֭I Yo UR(.鴍t]uo/E>Z-뇕<~07'; d7ӱG?n?ݣOO>N :] {O*'1&@@a^=ׁ D{-*ϧK' {@MM<'*{XrHP0&@`%jD! CQo0%CMƼ4[4^"3*"aLT@%RBR@@GsK4fBKKDzb<n澾"A@5mP̉С/_ɟ77;P9 5O\q! C`bn)K>(3 m?q.,)8$t( m?qA4 :j∦QQ)J7?> ?m+|tߧ'磦9>9#w=]W)Zj dRtHp0PWӒs *C Eu)4P!!og:Kڀ :Ѿ?55 XMr@W5;@ `|U6|_Y  zkkޣ=2F`dî=n"&1& =!aWU :\k8#}}` &2`W[8AAM quE* FuY` @^t)Qu0P * :䫉#*D]x{Gȣ@>@ʰל=9ܸ@W>".KYmGY>z05L-gt"{!bP-~ 7a, GA܊o=b O(.+-|o,7!F:]ӦdlNݳ[B,n0"jv-.zwZCá5! JZU g؃(# ΉiG'jH$~ [G}& )c/ɝxTsFSx.MZ,xh_@JzPo-$t_!KUC5FS>^~-ֆSart[H˚(^ -5-ь]8iں8+LtMi.ľ06 /5i̧!A>M^ml.$͡' +gf%xHtT/ڼ͵?H5m2XޜΊ t8Nu.h\ggͤLZT:D _w7]cVZAiq׀giwk?:\5\umpY!iN^ᢗ_ۼgU 5xnw/belGynyV+ܽᄊXSTwH R qLp<}7DrS[qp`pFCPK[ŋD ,l7H˵,/gRh#f w@0l\`ϮPi8/岾Pc O域ت@I? m - 5Q(=8h3B}o㒅q\ql^Yz/x10b 6nA>D-]? I}vF{Q6~ PK[q9P B Groebner_Bivium/Core/Random.sageUM0=ǿbM!$XUUuS..vEf Iv?)iЃlhtVYvv᫡OWD+'ʩhM$ 1~rףHPj:qYfc& )*mHMJ&Ėӑłq]_Pr۶TPŨ1K<ϑMG-m8|d\R;- QKDSQ/,;+T('m㠸3Y.@@Jȳ( ięWm54Pg0x]3a؈| *੔tq=tfWIBShӡRq)0`.0$%n p2J$BGVN^tkQFZ$ח|%_I2(&JLCംKƇ5]tzIGH G[][TGyɩa-` 0X9FpS$x]6o³plOp}pV {YԺR%BŸvlgPh#a-~(a x .Gh9d4F8Aodbc"qK@;IQu4 sp(dj^ֲu4 PKל=9jp%' Groebner_Bivium/Core/Solver.sageU[k0~šy3?1BCKkڭ=삑W,\֖)vlᰦle!sˇyyhV%V`„&aИk%Pðr͢h )ܦilPl&p" uJϢvA[[Asn7g㣱Y 9jo$ZXsVI3@%PlP*[xt-A}@@C ')XSGQkr P3c.OX(ɴl1A|E%澶&`4)a_[{O]`IQF#}B]0Iԩ5K?MSDQ( =2nܶm%4.к3gmX̻ż[WҍjƼ?jv AO{%M/M(r|^) BQC||leo- c: ڡͯݿu`(%4Zق ]╢p&.5|U 'g\>jXh6 iL$ Wj]LN $4=!'t7hEȮY"_Vu]ۥmᲨɽ$?^¬pPK8,:1(Groebner_Bivium/GeneratePolynomials.sageRj0=[_1,Vm{BJX.I45[2#9Ȳx73olQzчT(**K+?ߠTaiN`]%VhAjl!J4+G3!Q#ihTp9&߁7* 0~J; ^ jVb0(8bk-`E qZFm7x#dl1nXlnccޠ[ cV^_^EWFuQg٥p5 ?P5nH|щ77oQ%Og!%%,F j9Nz.fx'0H/#/yM?-&Mڑo:S4u W"B/󏏜c:䘰ۋ*K9udhk6֖7D>E~͆sUhL|!R&+PKW:(q .#Groebner_Bivium/GroebnerAttack.sageZmSF#;6NɌC0MBvil%tBϞ^N`'LgZJs@i JݩT0PeCx%'Je\_3!T0VbJxVU\D$I<M[0WP"8_NWu~} = @7 [ Q/N_~@QOg=һnopzuGޝ{yүP}s@F=9OЉ /UWkqa~zs94v_;xd)aJ-eHzi[?gRa |R8Tw,څ> 7.4$bw_( -SDW4^~|#S0GPPIC2' Z^Al -Ǯ,zR03BPʐt UAvxtIr|ww"蹟'pPCvdsL)K |p*-Cm4gR~ {J BPO[ Ԑ0FE*"#e4,FvOWW[ ʝJEc<1½q)p!9&WL`BϳǤ9~Hsl4R#7QS#/ 'F60崺$ڙ}dOF0RrN@"=4?'ÇAn80XHN&-ypL8+/}`EY) ct!wPR%^y,sѿǴ >瀚PⳢ*ո筛ٴةZjM%ڌf`>TΤ<̱3G(BݢQ$U:@<]VcF"U˼ bK w*xX tm{Ռ"'Řm4Ƃ}hxgzp'R\ؤs'8ud+ ;_9ftGjVd^4rZ@, "#+"`S[ S$P2 o,\&uH'TS`U\YqF9%lPIebU2astz¹dO>Hۅ_RRG I}Xt-.+KLN(k:N2?g'9)7p޼"U6ҋ7cdTFIJ%ϕJ\4I3e?{0ӡ[&#o_+o\ڭEAxgH #lu?4cO l}Fйs z${~[iY0̸ɜj1j|%|&Ki , W /VsJ9eA J}Gi|o:`OU#?v3ex{O?Cnబjp<tY\na979nXtv=]0j~ eIBԩ@&pJv?Dg| ^ͻaq}o(p.<0Ɤ,T{{͏NW&,˲ةw*Z~`evnri.T[#v;{o?H}QrUfM$b[**]Z/\:%--C\IyDj9ˑ?^7Ç11}3 TniHt#v Uo&zk1zΩݢKK]7h e+5(0_o c%XuieK\aaWV/|i駾6tjjqƧ`ann c0*p*: #ܳ.UǯI}.=MG%|XB,w/޶|̋Q\Ws.iȸ>F{Ja.Mi0j"FE0]ݣ^ׁQR3$wiʂv"\l~c{܃L $q#\'nMJ4>ɻ4gm7 9ZkxC,:CJ4ڐ` S#6u9xML峙RG*Q61gA$.eaqbuxH"2w{P(wQ$ۨ| Nyv%vKPm;g+S Us*0"ʟ) c71Dה/K>9sc1ZA2R+.(^]v7ps]^XZrPr G]B<(d2nm Ohz!L `2^l"tk\L~Ijc mAUdXZun I@B  Q!|C~1 &0c;>+parNzšɵgs\RVkH DKF).D)`r.íZav /”/a]Ҵ(boNbE-To 5.&PK ^:wXGroebner_Bivium/ReadMe.txtWn1>O1K(jR8@@HiiK$TI 9]v y1^cBJM{7?`J #ra,3rV8A*p)BH@:X,Baq^dA0|N?0σxp9yC.մK,d$!1B59#\O>Жpzpzy:h Ó돃1\]F^W ~-m ]B%`JK΄CGa"Ijճ4 Ii0Yf{*_wd>ld "dMF-mzz%{d3&!qvcPP7`B9Oi)˜Άv_&xg3u7~'Uy2Q?m LGS1^Je7;wM*a@l"pl P>[}N< DEzgݶ(l*uMS+4m{5-ܯ) txEńإ:Ǹ8j'6[}t~dʵ|ے1N]KMGmm^5ZĽW1L*EJI;Twd}<.s/3lTtU:ߝeGR޿mmoOm޽.Cg3"ʫAs:' 7Pl'(sT#s)2[=66(#(L;O+.hM6˾,|Wx IJeSW=5޶s&ln F k ]C-Gy,HL2 ڈx1V1!PK [:Groebner_Bivium/SolutionTest/PKל=91sʑ21Groebner_Bivium/SolutionTest/ComputeSolution.sageRMk0=[bDX^²cǎ,ibJ{GJzͼ'L?@(_2=6bݡ%hჷw֍wvu#D5ktҢ'boǵي7: u= ysnם(!{E *bcdʴ&>%gu05Tx/3{TLw϶,.!fmƒFH* 7ߔ-:s!fjq)HW׋+ cԑH6ŝT#b Smr :Fcr:׋|sbӗ67<89 Qe! K8r c{m}J"ǝ/쉛rNPKל=9Ai`J.Groebner_Bivium/SolutionTest/SolutionTest.sageSn0 =O_5C; 2 :ءE^Ƭ#2I QlET@b=")Yq`[٣5XQb" c*T0S iT,=_tBt8U%&ɳ_Q3PCSKBk!yC 8 1ZDĦV{ ]{GVYXWD+ӥNFAb48칬1>|*1nb1GmLW|{PK [:Groebner_Bivium/StrategyTest/PKל=93W.Groebner_Bivium/StrategyTest/StrategyTest.sager09R PfUnxAM6GBJ>b@9ä^L2OW7SYZDq yr1pfv^gdj5?704JNFM|jhͽ[ps;^=+[yU"S0>B"r I!c' Bqګ9HZωL#Lt&Y g9j9E'J.L=seG4.ihF(3"ge' 6Ăv*?L1&,LL.^pHց~E<%-."f1la`"k#mרfb0Y gl13lֶsAK.":+2={ &12ͱ+]͔7s='v2ݣiI,d?AsVAFJ&g6)3 9X뭭9Ε ?!#T ΈШatJ):dJcb9E>[4#4 sAKuyBvS>BsW9 }TҐ[u")yCAQP ֥l$`+WP0U"bmy4tԤ,S`ؽJ< a^CB"<4c?k,8m_)=纖rJgW,7fF3%0L1#ywZQ 5 ~8RQ5&u,:xrF{STrit#CDL!$r`髩S2J?r"JzD  WZA*;C3   mF.f*N2&\P]HY24ꮁAB!u9 `hX,(f vYWӡlqeYSb7[#l7Eb\ha ?D4u+U؇T="+lv|1/"L^(噶2]䀨j8KąSu iƕgEA8 @XԴSrfh|xu3V^v㭁O缻 )wok w} /ksyT;3ҵ ީ g -}j6 WoڞkqY1A5תեܯH\.^ͦcN VXD~QjK۪Շ"^ZT l֤#t^b{8LE=ߘ@|` nޫc.|b @j7RI7HN>lW4DK9-ke m[4_RGk)Tx ֆTYow"o>_Ƹ1؁և yCp*6qPK˝E:AeD'Groebner_Bivium/UpdatePolyExamples.sageXo0n%YO04  ֪w3KNG'MH;I]lwŲ0%+G#R-d07lz&4ܭIli>13i-_½dVDυ~29g|/U.?BstķM115w`0Rj fpU&9̋81-e.d\I|.O/?j:EZqdMWDnb)uDZ(=":"Ccd B`0/ 䤷^>`)AMJg$>& 9f2>洡Ũ2զfհv2̸,՚#6<\߱H mR}&P8XJ̝@x!YtyU0op=>{)蓜2@"{ĚqFo ok0ɏ6$I,:Mm#Q.`Lfyae[ֶ#ؗXQ+ϕ0WQ,n5E=LPX*D0~KZl"Ig,l=qbq(C80 aO.]L6Ee!ŠGP"VCi*=w7$#ӌk#dE `dSa'{&lfzY Ԡ^}R2Xp&'3u ؃Щ8-*}]<:W#ND`TE4rݢrt#%ik Z ItDPA)m)u )\TAWx@=OK pYs ԠlYZ]ԭHĭH7 $JڇYƞO&I2OtʞGCn/\즺V‡~O{9;cWc-`E%Վʻz7wt]ע!VC ]/oT#—H&oyy rgY(n `on{ڿfLK:;؍lv/i#8H똚 EwQ$Nm{) uȠM }9Mָp}fbәӹߜAKͽritђǸrm6\ _Cf!𽅐#(j)CAN*&i Ȁ{lj"MИzԲXUEi@#= 8;oC ~q$^Qrf y ,<_Tn_=hXu0WVik|?{Xs6Z[_ p (\&{mӾ, E|nM3Ҧo:s[sփ|[2lԯpԨ2 CgD՝l_p4CB뗆-磖3q ij#(pK谡r)w-Cc7Β[KѪ xv.:]7*S88tHN(_IB0UZ4pb,ԣĞ\f8Hkݓ*bWeJfޙ5j;xƛ"rPK [:Groebner_Bivium/PK [:.Groebner_Bivium/Analysis/PKל=9W & eGroebner_Bivium/Analysis/Analysis.sagePKל=9ܰ*`* jGroebner_Bivium/Analysis/AnalysisTest.sagePKל=9QD+5{. Groebner_Bivium/Analysis/UpdateDependency.sagePKmp:nj&' RGroebner_Bivium/Buchberger Example.sagePKpE:fq8 $ Groebner_Bivium/cnf2ideal.pyPK [:Groebner_Bivium/Core/PKל=92@ NGroebner_Bivium/Core/Bivium.sagePKל=9sYi$ Groebner_Bivium/Core/Experiment.sagePK|,:J1Yb8# -Groebner_Bivium/Core/Generator.sagePKל=9