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 ~= d4t ]/]Diophantine_Eqns_Lin_Hom:threads=2elapsed=30.805cpu=54.728gc=1.300factor=1.787zXZִF! 1,]ŗXf1-/6vRZ޶>_GL9s՝TaW50sɽ8MsLQRt,m.R[Pa6s"3N<9{Ju⭹qB^PFڴYT_Gw8('SqD.01 is?"*~ wfܡ}j%Jr LkGr yX]낍! _@ɂxsI0{9'V?"RV/+(f}LzBdN!R(6P:|,V>PK(aw;o,w0İո-wB}a8_qzfyΏ#Csh?!wKW~MR\à!xGe B+Khe+ U^RAew?ՠsC<ケiڑHyiD^ō5y1*S %{K&e[_XouڹOc8)j>>ꚙ.l)H)aھo5vY'Ad,_m]@qGq=tJȱn> h`Ӛ/c1;TriY <활;r%NyɊN)3[W*TVsWZOy&v15,N[Kx}=?X(]p B(q)(y,:,&q]|C$4!ZÎ@A*BJ`+:}vqYA|˘(82dy|4I'뻌&,u\)"TO6jRYRœt̥ߺ/<@Ɗhܭ8)5렐5Br_2+_cgYZ7zXZִF! ]ŗXiɟR .t[dw%d^ܸEH4!LPVGQkèg3mO7H3|a݅@/(.n)qfyZm>1r WVFPa25(;5LŗAivGt>֔v\.NUD v~/:03k%:J?gYZ7zXZִF! ]ŗXi%; GMǜyzTsbx?v9?!X-;T!'!CFf}:%\AfqLQ-騀Yu== nE>^1mi5Y] ;x"e,N&;m"Ir6?Jb/QoegPSRpK3bJli Ӣ*58yKdM۲ ;eUk҈̧WiΈ@`)}j9UXf1LK{;x .ǘ/.ڹLy Eѧ7 =`gJ\B+̈LU\ 7|Ju #{CyDQI*w7m"y{Bs\4…3Į6&o_D^-pūCLICeBwrzrXUm{ЩP,X׆Ž6K|~a\d)O 3Ȗ{ć;013F|,+ft b;נe31@,L`Bj'SCx\,\NcDTiӬ/Q~1iзiBQOdQndFn߆<^.LCeL ϧ򗑴#cR3S,-pJmd˷HkZVK9OάwE(iXG׽dw=~o|Tc2O%g$D?cgZ8ݣW1]"S9Wn8nX"(8Erpt20$L3_Vf8|';kM0pe40 \#u,»`+Dy hH_6 `ׁ*etSȍ`vMȎwz:"`%RUPR7k% Si50B^{uG i(O. wׅϸЃzlp w954ƽTƜu{YkjlM击CK6$QBp)8RFM)?+_Y_`>BeV;Ǎxny3pNX%c ,ڴ6:$>mҧT\o3L_OƮ S8\Z|yï9TU6>u&@@Ҕ3*e:SaO'\BOlW߽>1_u@0>%Qm,:4!f> Z|n041vq/B7Rx~vMs6f, yK^m3pRзe}^Fɗ:[(RQԞٺGKةN-ꊕ}Uy '1a)u%UZ]y ^~90ȝOeDwH,䫐F\U}=5JOKKK_d2Ғ/|AL{ߎ;C@Z&l^ sp̿rpà[T_J; Ϊ'e$웣v]_vO'~<v19m]14POv USgOF#Ui^gYZebfc04082761a212cbd8a0475b52ccb1adf569aa0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a1227bae56656d3db6454fb226e9870650eac24b4091 = Diophantine_Eqns_Lin_Hom(=_% 4Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Simple_Algorithmdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf+KzJ7" wU:O* SȮE0`0ɷ !bRt,=B:"q 'և ƻuFxP`(] gȫD+zSGN4#(W?I7ƙÇFjtAZI_x'~ֹYygà *cߦJ'cJ6|ǘj#E yrxWs}<sb0NQxrw u8YTܑd :{juV¢AO6|թ\. "iD] qP?"gO0YPXPw`-":(&/d|) "XQRRpqP#80{.xb_i\| ]!gD* x 5"(j_Ley{GㆂDenټr$&zTC9t~yА ey5iD;<]=Bi#TbH"k9=w% alʺM7?q)df|IFxSxt?(Z!)&_e:Hњު} tj*VM3(iGr/ܓjÆ!]7o Wh2mqNcuZMJJUP`Nz*Gh~e)TN׈B7,:X`G2IUQ-JHq뾜<//D{%8[X[n'M޵cy$E7c#M8"AKRA+qK} ~=Q% lDiophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Algorithmdocument.tex7zXZִF! C]A-MՋhvG"uIBm5~.U^khk=Yxz6u7%[x/1^K'Pr"끕8JÐldBߙ19BYZ6Wh H19ȱ:Oa+-=no+SmWUQk6y)7Smep*,-9laF|y3m+[#LR^왪oJbeÀ :ADܵ~mSZVr>Rε_$ 2)/./K#9Yj C17…0B;rt$.c(ᩞ|~CQy Rqۈ .PxыٖZ8yqv~)c Lz r|]Lx/#LcpG ^\H}ҊmkPAE>|=]`&7ydbVf9"ƴ%A<,*\r2N l[kmt-߉,ɮTBT,v]-msG@M"kp#D|Q:2SO536jE[sn 5n-_&nvx/9?x9F S7NaRdBgP2X.olcv,4As!8_q?!t/ߥr&ľJ :9W|@q`Nd + G=j< aLX ɕT+ZgVLl3@_ܒ{C"%EKͿ5bckO0TiCyRwt*v4#9ɮ4_3mkDff=l;?:){L$؟o5 hP ^Hx+'PW]XfaDBXHj[%A'(#Av]Y"Z>mMb女]HNQvuPW5v] TbN=U%Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.List_Vectordocument.texM=S%Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Sorted_Wrtdocument.texO=W%Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Minimize_Wrtdocument.texS=_%Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Simple_Algorithmdocument.tex_=w%Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Linear_Diophantine_Equationsdocument.texK=Q% Diophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Algorithmdocument.tex,{$R8ӍbF\T"fK׶)m T6l@A1K~?h̬"y)@/1SOV؎,1k%\ŏz43YM#R?8sIvكܖ`p,~x;/QjU0 FZ8! rNlw};ϛ7~_ q7. @=+j\,DS Jۡo6th(on#C/Axߟmi0W2D:)roP+J;O?ͷ˹r֕; ׿Ql)=NuF%ְe`]Q-ӵ}ENclQ4'1Ykj e`5:WPΘ,)1в۔>y@W6AoJ4F'DS mM8[kK?kt) D/'J)}؍00ƒq.MᝩRB|IG&p.X!+8U 'FJyL%{HCFSaLDŽ*{ϡ=EG`#\6)oo{!4EwHedQ#_6V.~`׾E]l6p(}Q$6둢o76rE}yJ\9?&v)1ЋŏЃ>:i:}1`մ؇B j/z 3~aQh{rT.se ֐5ոGf c[#r2[4N/o2i/teqYa:{]_Zcԥ*\IzO:k~}2EOܤ)Hz!ڇdJ7h`usCg%KzLyd>/{O%A拄*:Vi^#gxz*fOi V'WfPPע )ذ=|~q ¾˩3^Y-c2i?{.)! OvhGzD-%Z,' 3,g=kQP˼E iovVh؁&9(Mtp|Z9>vHydK\QAfkC@:r,lKuշqք[`vDS`,ND])Dz "U&N$$ ly/IbwRDFMռ1JSbyN,'4aBӴ_{C$T/Mw>0%CdCޛJu[FĪFî6W"@nueF]78s9^ 0 ˴K i#:rp\oLp­4)1+eyVv S zғ/RW{+R׾0\/aHޭ/gfBቚS' 9i/Jbr_@s&Ic3N5:'{3Z>Z)/tV70}DԲfoc^Fޣ#&/a+9 AM~KSoek $’Ecج?;ooOa[ar%FDڕzE_ Г}7dԒe%fXyHJBb6sۂI,TA E6mBE U4W p/7*ultfɩ.LsFԆ$6f IG6'tRG(<5ն%#-[Ho*@>y@f˃ J:Lޤm$I/i 6diu¥v4]q(ái@#ȅ( VtL^جv^Ew&'bM{ &sT=Mm1+ObC>4ѩs(||=D*(Ή vBl[ո{^ǚwNj=:HLcӲ>7CCX*IV=2<Ly!빁8؄f6d2Ȭ/,,\YùI}H&rMAZX4,*gBj G @'ApTB|F 9|dե +1xh#o#CMRf^|L,0lNTZC|`ƴQnCAo+@OI4Pv$[P3 K.Pz2EssVGNSn (V)H梘;{-s98AS&]ܱiî bsQKֶ Ho[fA蹭@(&;:3 Se k3 , m4)V!}ЎH67NmzxI^ЕّQ)a|&R$ 4 8SHC$. FxK>㬟?Nxi&f 9k9 ƂOq{( 3g;P99Vn0)pVsg_:!Y.VpWf \d;q `5p0AMs.MuA(}m6gȶ1mOhm>^Yz6Oi}Phz &xH[M.-$ۜ]cl5pz G.(:.!q]Ԙ)t:'Jح3?Oz³7@vhbK5 +q9&RHpFVGhۀ*(gRFWn4U/|[k+[lat~% %K OW]Eb/]|jT/-JsQըr3_.fۙyfX2y)u. ~Vbzt}ó,Y\\`qh:[܊ ID$6 k)#tpMM1R׭x}ow-n l#%H~0Ot;\݆]䐥j,HjN%;\R p48zkݶ#".[څԌwx%0ћ;knjATB2t?ho uIx"8.n Oaѭ}H&OF\Eu1\Sݨ;ao6 Fgv me6Gq?* K~;(zb45!mgPAtgQКX XFc0mS ;7đnW- zi!~EaeL`/צ*gP'"R`!ӪedT>=eƫ%I'D=2u 0 "\)pbC#o$:" [^$9Ҝ6pK^.:~ ŵ*H',=kM)@8MoiCnsV9͝6Xf;{jR"ǽKEuO"m7׃{`\~Q!8#~ ]|pkRp!B@ݎ=D@8M Էn fOQxOH;e&P3ŔDC^rl7` EFI-/8*r`<'dW`Fqci|Jdx܀TCp],6y".(ٚRq_&&TlO+1n@bB-#n# 򆂸A+PS+]'eU{.mR.:rSjQ 4|yX5xAey)?V@ܢJzh 69z2 yQA̷&Y YTIzכcGEcEɲw+=A.[ /i. B/1 dglMj^U?g>bZ&qmp5\g1/K)E\@#@zM.gHeVZjp[rN|Jh;o)Zor9 b i*b(fӍm]TVuX/R_m\f,62t0r;1%Q#eE_ȏÑՓ]سiE%%r}CF3!L1A<8j\CdBjG^+-W{O$Z;+*hOŝjd Kx PVר][䦝W>bk#i^ig+O2Pp-v7?db^l)'W>O ,mJoȋ?,@ixVٟۄ$\oGd3z5Gm79+m"6RE0 NL\[.FtnGbw=9Sv /#E:4g|\-YV {E+j"X:!804křzڦhF闕"LKIk!T%aIpjUh݊VD{Y|vgS1 {;\ \G_A\wJx˩' .@ >B+}YP2y2~DtP=ߜFaF{nTuM SlMW@,%5~3LZuwX*7)7>j:O{ʟʜ|[ E˩bhZZ}25\;z,DsfK 6SɉBBtKI#_5^tN|].U_rbu"b遳~']D%oߣ3[6FG42_?gϤ}.W9iiz7H H‹9֤\/9s +7YDŻ_m&ʕr~~e^EEG6,sƒ\ T)i%=`:eOJIKЧ:ɯ9d.z^ e臙 Vr{"0Jb 5 3>8{kF7^& i+Mj,} "䶀&Cm .b= 9`'0U\6kH{aP %Af# [T葢J8uh ?$1+Ջz-(\3Ub4kvxQy*y[4 QP׀s E2x9vx7B*ia`z 1J\nE4W 96~m ")طԜsP}PYbdjz k $[q^a"-7BT5?^9vu bS_~*TVL9I3hkw¢ FdΔۜLaTtƏ'A1NQ;#@"Cp0+qSzv|X)5!e W^(TH.tܙ6rsQoܳXx7֚e q6L=*Tj>o*WO!BTRN܉j݃~E٢C˒e 1!Yχ# %&TL>w]INvH~8Cbk Qb, |*h']VUU )9gح\w|. cl݇y`1&S/uQ7KTljYH/n1g[؇r T)k~d!ˎKLD r@$S'LO|C Y#kdEOH>^m@;w!SuĻ}5.r_Y oD;Kk/eI/gxʇ,%5xg`=lӇX`K0p@2nV'h\C8$gf:?* LTwN6]PC|F(i<ɳť{AEѽvmi"Pk} hz{D/bJTo)᝖Z =\M\6L2..߄oqd,S'v*<|uM$nwZlѡ^KrP>-G2Hg\rPA'#B+{bBi3KpRVK96W3Sʖ!y|49mHiio|wb Wxg8h){Xoǝ%9`WA+NYq>#Ƃ97J_mP!}=-*٪N ^k z1_$ex|5?da,BscǷլ GrkLkA"Cb |[D5^^qh@5)Ƴk8~27'QC^'{ (P=mۘ[OQz6WDLH!~r(iuS}U 2@ęe⡳OBY雽06&F U k0Y- JI kkp`|M> 8˲ Bꆝ%0~ IM6M,rzet ?v0>&DGIB L4#KaaI*O$z6%d#3ۭh:|pޫay,ϙ^ʢp$SQVZuX3Wm$~ 4>Li:NN$:1dRTO!x2e_Ty4g,=qbi2? p?0gR@-:1P/]->gGeL3quytuY7h6m~ - 6 uAijB[Vc簰)}R1Î ̐ ϳcZt#r֞"/V\hj ' gȰDK\d^괓"tT D<12k]t/Il~ Nq{H2XD =/-@"zuTAGJRH lӚdSm8` ȡEz,{Xw0->`s]:BH橁c`JCK+QhբL(w 䧾8b깺'Ĺ5Ͳ×4,)\ӥ2mp^{+:[#DS\RjYɢ֧P썵*nv-`Zvù~ >#S5{ 9ypml_0#l'EIWP)dIMX$'npNu.zQEjbb߿*{C G_rcaWC{UvsPT0F`={8VѠ^=xX(](lX ա*FAvL)q^*%iw)աhXE nJ&M#."/|q lLɶVS)?VZWh IQnEyEgy0ʨ'a`g>r7Er _j~NGINls:pLCkH[\g `̝ŚHإ~r&zSЄ+-P[>-6TƾG RK3*w]b b^ۉ/ Rmͦ '|la.ad}G-񙅙~(yϗ:%d?4^KadoMI+?q< X2fbSDBF, ` GJɣx){J,1y#..-[sÛPj;Yz)B.P*%O/1ݳ֧ThcҌt#1/Kr㺣0@S.zP1mTIajʏcofA>AE >R8G* !WD?{@v6 uBr6Eg֌2Hk,g a~b\i*q8>k8"xwadVUN\(i<]*"C9\6k;2 [d{3fJ|sL íQ`@:`_ZfqVnshݑFN1{ "Ee0+fXvꦲ<:-Uq]Д2T[s?iZ,U&/,pOs9D}G+ecXGXJeD)Y|z8)UX d4x5lx,~ty"?ڵ>!$o['"ٗ<\SZi̮q!]yT*P [Q9^H4I&*m<&F ψ] S>ꭆ"dcĊ]Pi IJP Y EН;G[bjsTeݸP|q 9o085OLro.1u-n ~Fh @["5!PYPog@!W& %,4yhLd'_|7BcZ( Y`CS%{I45TńeRI~ɧ5O͐8' Dn΃a/6vK?e>YOG/{L'TI(o/yK?B:Hw\Q5+v\iț󹖤_$zd88J"U3Ԍ܁PePS/&t3NQE9l&`n_g`J ert xj(XH(@ٞ AF2RIDޠmQWuo5b$fJ"h"&pz#>>²-!npNi/rݚ4|msS=Ϋ7IU|\J+*ڣN鿵c*e;h(F,? 5 2ɜ c {~sꢄU[CLWX V!ʏc# hJL0^ R:̡4bZDM!Y ډU$;ė8k F9(C[/a. $ Q_ K/U?QFO 4 lSM(ABX'访`;[Mm΃ u!{ :nvS_ߞ?/:Qx]gJ$;j&ۡ}S2Nx__.dW)Inu qy//,BcXcyيebWg%!c{1Gp(PѴD"( }oO' ӵ-tX'}xњ2)kNq=*&aH7kSdSQb;ARf j&'И|$y(D2/b#*i@YካL ^%CX͔|g(RlEcaѺ2m{7G ,\Ǐ1S0`*F zϴc 1rE[}m9P ɶ%4>g*H9MzݵCDi[!]=嬨gKߊ,OVtqc>%fDNiR.ĜA>!>7-e yiQ^Y<:+auJbp$ȵOLA<4c$iV.t {.^g +hG$m~(f$щۺoj'om°[S ޸xť%Oy)IMt>E^,0F Cyu(&FBSg 4]OjɌxX;3#1ZnF(c#BRL;"Dwo"@2mEv% ^r;k\&'T:spSK?LBqe5Bn%uR+9T[(KRbq$裂HDeMPЮ(L չRWhNKIW G;TmV"83gu!a".dԥ O@˅RГ,9J)ljM/ Ntʹn'k9n6x oNo > ,ZcۙbMyfkfV:NGGg3CmΆ2c g10ƛ?' ]3tIl5˭Mc܁N#ސ˗RkaU螼?L?|]M3RPոLjfI* u}XM2~i:v)8ar'GC69sҽk{j%%?C7)S?S V?){8~E/ ^VN%2`NNzd ;a? Bc(y_.d3ZE̿!gi`{? rzMj-D[S :[v_E)贖lz݀>^%"E ~ە!`ҢbU5p)@5 kh# ,уLU@hI=ȯ%gu\;]V7,2Yn&5yu&rtmX؅#X?9Dc[gח6\~ Ze\mpYJtWt.^a1s_N6ZWJ|ѣV*LOd`4#/< 6B/F^ܵoKYXheڏZ0l il 3ln`&op7?{V[RYA 5MJBTt@jc bϣ>pLhRg;(PhӱgYZ ix7x]k\$Ư%K*Cz"%H3jYj_:S N{&"{fm^~{3sU弢b1+%mk3v(SW9Cqɋ uLOaɆɹ.ոikHUO>9B=oWV^6J&FCW,kcK61$bgNHjpMԞ g*HlŎC PZ%z.'&(Ӽ[ѱLe8YT|*,D<{eCc}U0>yl9;*N:&72 [M+r-6JVӄe~4/ D9^H:۫yVK{; ]ds b,70ǺUdq-GL'= _"뮚Ρ?NXq\tB]'H) U/_Sj8%dG\ĥĠAqS| hE~U^qO?wFklQ7h+ZzzC.,_k"妢5_7`l)Th챵Cuݣ9Ln0sx iE ݯlq[nin\$Ρ抛jh:DIxd+R/uPCcЊPQ gsRm=>d-9-.h 3z 0Žb/q&dx}N+_ۧaEՃrt):ۏϥb8YFgXEXᖕF!kB nsym{s>Um>RJWnjYh#ċIfn0-lb"65:ji:M 8 > ^DK s9YuJr"ynq{@ ) FGޟB;ajEP MV@Mwői !(Dӷ:W ɷanpD6~+YvOqSDžV\yO ֊xsS[Jڜ_w(.>EHulڏ>6DHpD[&*mD@ז!WRA`3P}i^$O؅ughz9*)2#TQm*2l$0O&0c|8Zi'2#a.F`/?ѧX?1Yvr+Q^Y\zJҢEMZ;ies~DŽaWR P^}4']7Xh ,pjO볾PWss0["3Ϟutߛ ݪQ3fqCѧ;"S93/?uj~t[[4hL"xMZgԩGjXIKT`P]+ts IUm(/K pw]Gah-ffg^tFCBA?pr&~[~yEpݾxfR?Saf%vxiet9מ{s:470Olp'^ɊĘwkpDCJ#v=Eӿ`.@TEg ""Hz} 5HRflm`I_3Hƶ!!qbҘ]l cE6!E1v VFV gOA+~A}xp{ߤ0voN ~8l+MOUMvavIPcP,xJ*+y$k/cv".d ݅ çђ#3ų %.T"Dt-v3cDGPOSpe΃l} (>x0{==`"gLC»W5irʐ9W U"[L-"ۑgz}L XDix҄$$4IN12jd{ԤJQy;h (mGLN= z4!&@ ,yU05B, =3}ȐnlkµSMȩ}sى&dkqN;#b Mi% K7Af5#^Ly#\}&Dܬ1wP-/Ɍh`rN~uPO?*HYcREaSn> ᡅ$_󇺢+1A SعPRşZgdoa e i e  aU~j `#%_XH3I!@q իofmJ_lZ1ɴdt-2AH7M?0=$@u^. 2%P6;Э ĩq sr0oȝ^4/ 5Ew4ENHZE-giūgj'~ B➝;U }'+ImG|: ݐv\25&4ʹ>%xN%He 9O;$([X5b9T3wXLMRݘbL~aa쾣dP[wVȦ\Bi:ai0SDӉc9<80̾ qwt,e;Q5RH4(d-e<'Ջ`j7e77EzNYPv9V;4+Tm 0ПږCS?iN6{~h)څT6W)`G1 ir&GHq 8-0!ڋ95XsKuG.JZ-}R=ª8[9{I`x|R#|xX;lSR9.3v` ,R o\㺞pw';'O2Icy A+Hw zW'KB] 5r_o].}ˮ5UNc3(Y୭ˏnꕋ Q54Sՠ!A #Vr=J+ ʗ9S0+]ٽvAa,]ubk'ν0:6u_6KX<+=ܬ( /%!z*>{Nz6}m~j#B_iS9Ï?_eq;eRaqiP_\[6;֥knXrh6OP$r y&UcڱB(RNSkv%4!J),7u0p|m]w̒I# Gx{<9B`*zya6hATXܬ&':'>h0+t-xK54iHHkH'R#칬V2az#fAHGsѐiعmt:Ȟ$cݼNu?^x?+io"rMF@u*)^w*śFeQ 5<OͫӲSЧ۰8/vȊ|10jTbu] Tey?Zz99<n =T5'*N%B_8F=׹t>/@3ūQ&xXc>ȽAY"Bvܺn3S/+rD!B3gP&]N҃G^<߻֙0ӴrNR*E4#[]gZ%K%֮ӈ鈛%P)5>r(/؈` j?f^?>E: 7ˮ-Ϩ #k:8g]2ȁu|!0u0ABGT) {W!0uuؒ$9Ԥ[W?QX$=M%h2%#[jjS٢m(1& Db咱$U$-1QpvZ rM/tp dԅ uArn]%%/ܾöoeNIS陠hξ΢ {rOqߤXŋ1用ʓ > {Q`#lӣm*ʄ[ӫ-.nd+b[7I?FG,ʭט-#]a!lbrvy#~7 Om 5?4fs2mGb!_5æf`Sb~Zxzc1Û`̺թ<݈^`aGy7P>QĎ88tiXrX_}Ap}@]h\Skv{hR~v 57̫墵ҵi; JWy.L0FjIϾ~3`8X$Gc'so߻,U)mfoJW$k .[;4|*ty&ifZW[Aّj3x*ӧr8.]xL= >ӼT0^5Z |`C괍єE| Oy'P,FߑG "do~UݝMM!NDh!#o.?\㠂 ɪH6%@H@6S|^EUQ3Z5 Kt/ٵr>S7-󊪻%HR'hX' (0XvۏkM$2Y*Bx=Ү^ߒnɊf)OR\d->5rj yGGa}lrM=dKqO:1\DcW6riRΚiMmELJxLWr$$A X L} (GM{ӈ/E{/Pv#k  tWo0Nr{WZ6<\Q)k8w@ϷҽO l*-' `Pe3A/7;R=p/a\+"yuYEznnL6}E+?K?EVDci@Hx6OH|iAK:ovJQ~s6~=zH\f^o}-8QDeux=(⡬WNsfζlzBrځNrڋdHfpQHv8OM&Jl]W)ܑUp- +n`on6k _m \Kc F.RHbY/xqnSZ!HL>c"He/a&^r^gr&'Obn[ZlY4um Dvsv`Oͯ|d"-H#W`&vRt|@Rǟ| %,6^ \l.<+kZ~*gsõ(!q~瞧3H@#9.ehQ@N+&c 6Iiה$o"fEz% 4 eZNP .pWQ^e4/]H>c@ev|_ᢁI1? zԃϗ6?۵\o4#]d8ύ_҇k b9ZE_a1Dh_ȁe'_rr4ΏjCĮҮל-`bS! #mbޥ\\.I8]'?Ơ!޷Te1&1{U2' DJ Ѝ 4wM酌 g/(F)Kb[J֨O[ ~)D@`)?B:ވ 8>ܫgp?/'5H3@˜T۸Ne$?u%Lt$RAU L敞/zrtXApEH\>Ǐj%},]NG q:[n7FU؎)1۳5ɴ)Lψ\o:HmWt•lBnH-) v}D^8 Q||`Uԭ58jXœnycKr*nqPT !&.D@͙}. A6ּi~% + !is@SIï Bku {P#=KMmqlJzct&ml3.зivb׀G{Ѓ|[z$(pH~ ZdůfK `;A#sį_?Gzm*(8t +.=YqģNCkd<14 M6mVtژr6xX~נ:Av8>oâ&TCV)xC}ހ$Ujs-J_Aft7y*@a`Mba1Ppwps.$jF)W (CqZDx|˩tH ,xKs0.J2o,]R-~>6 AsJEjUbBd+ԌYU^}<ƀgr =oh:F]9#-+S kMQOcGo[qgzY =Ӡ4[V;Ⱥ>Xޥ|Mɨmj\_3 $,˝A'|s}?&Nfng(ov yB>&~31.:taN>"F4!W̞dΪV@HG])i?^Hn(xr6{a/O?q%i책µh뎯 < X>_tȍt7)UyY2``DʲSByT 1N5_f3_H("i:&) 5 RUQ}h3 ߧ /F[m @J63پ}tk#Ïs}8i7\K8S#_1+k0=<аU@[aF|U JWܸzZE mpdHP\zzǗhϮ堚WNr_XqLRjlb\)~%`8;!V>}YT¹Caޡ=$(''Xu Q&1.qo,{^?).;ڽKB:;G2X3̅>ٰ:#1< 4oXu:8^ZGڤזVMqm|$a7%Pp\J9U E  NYX( 5%5hrL40 JsO /a.N3p\x~Ntȉ{/Y$= !^C9$GXےƄzٳ* ,ni[>H; Q7;; ]Ob$M$&+{z \%:vv0p#Xի/K3-gRIvi&k!nz#.!%giZNH0IӀvPߌ_Ԕ{!_Lg{ twlȼpq n-`"w^RBl]߷ gHnbB@se%gB6b~!C*MFJIxTI#sW1Km}G83Bm?cVY=u.lAk"Q%.W?kƨII}1UEj(VC~JNk8Z(>xTvTlÒ?cXqɢy#M)AwD9"TՂG&X!en%LYQUO%aP/]2{k}kXJSP=:$2my D=2e.|\j9 F$lkͺҌ\`z\ݞa(BLX X}4Tg!-THeˆ9 ßXqoatkA3)ce`0DS0&xb/.eu0 ·+-/HvJ3dI)h8Uj`D-a2S悖#JnS|z*,f$֜jvǠwTݡ kLᗌY_ YeLSgd4]P1C"CAt8V'Ve%l}]T6@=C}x޼,^SoRZ&ʱ~pClB˽ۺzψ:hh>Vy=Cd9! ?B%jw ETP5AdN]nFc9å2vkOJs]{;`$_XE-,e咽y9oL\.P [\Ŝkt3Bs,JA\ȍruWTG͈sL 4~lE䃒 9 (VtFoe@QeVh !7:pH iqћZJ5ǠjQ\k޼ K5!_b _+8<@ܪG>"-( !vq+FM'?&TϸV'If-yXEI͚$YwԢ8 }Dϗ89R (S;[Q*?6LsJp8LwU+N}Βy "Q2)ٖ"{z7j4tvZOuSdu?P9!߮t'QLUqwS5S|L~ K `XRu2Wdz H/ x JO62 W1=:Y92pڒ9o,V9a6*FޖrB.qSmT8XQ``kW׷?l:><tm$"֥N r+2[Y_Ir\,Lc+~_]32Ts6W𤅎GO؈(շ%ޤFh?f$NS>W 5NUCAage$#wP``fB[sO/dR$=~cc DB?.=iXkG84H"5S:^Y4L&w嗯̊-'w.؋.#D508#0U2nH4_x'T(!2 )pbᄵ${ߚn$v{) ,$M-]ڱqFѤ#)c-PMU׹Sl ;~Bzݻmy=OL\CAxۨ*~FB XAσJP^/G~)L^|ُJ*ͨnq 'C⃑ɗ|j!Ruo1s6C^~ӌ,X8c3T_ 1;A8!`ȯSjD+pq} uD2[0u}'>v*FQ!\! Y@$iјiɻX'U]Z&l_4+*x3z; ȳln߅4D T[AyCb yjy앩_xV፭xΟ_%Tu֘3|5кMeD ,~YR^A47I9.3b0c]DZaQ02 89tE Z7:SI=w,3]R齂S]F#N%9(aQ~Qs/m''D 'z=Nѡ$*/͞tԜˋn!i(=4*No1ڐM*Qǜ8Vn@5[~ :q|KKyA؃($)ƛKEB²)30| ukHs*.2jsɞDKbHn6[X ITntjzjf@S&SVymn\k_k 00=Xr?dx;-(}\=/xR#ve%roќZkžAn2MY+I&h\N{} w_ԕ0[ݰֱھb+8- :KSZ̜at+Zh@%;lJ`7񫽦ρקF-Ƣu[n$$"a0c(xv6(17ҧ ZFGk Wqx)cs,pKRjOR$n:/e }S_5$C<'Z^[e'0r7A/w^5?Xyx7{C6V|ٚm8P/t@Jp+u2x4娝'sAǦd1/`v]- j&/˻HgHo؄D D1'9vH(?"u^0dʏTB؝G}Q} '@\N^Df.Y& fg8 nBgNNJRD:TXASSiDs8BH~;ۻrF9wCK?:>qL:π 4._,*pN=v׷u3[syjG /͑2u7N.2nu>)C~筇?uAozg0$ 3L1ϕ F46g a_r:s!j R_%Hϲ)hzӀ /ⴔDFhM/괸a!iAdc^&\';JZ kJ\zjV>T}@pnƏx`䬄.{ZfaمMo=+ғ,01~yg5$ l5Sɶfjp tY&4`+‹^J-PR_T_ kPb9H,$rVj뜅('ʟ'I)ڠ) |Z)u_ D2*&6Aa}J制qhj-αbG5Å[Q1'{ubF6ԓb +.UWɾ k4l^VXQT۳v{n$?w.rBd zB)6/z^o,cdc׋}y }5RM9?G#qxF Q@ˎ,;|؉y;ʬg3=k_i38~F(*JӁM™+"-*æ)ҡϐ/)0`zcdvW 7K$:FiE Z<:8,2_\9ksN@vD]w04Y07Dv&L#Ue*PqΩuމU] Wҙpo~npCtDʀ4uJJm[vlnG7:X4k~;BO9K^UBk" PwXc(D)gvo9NC%B޸  MdozceL"}ZJ3Nl_xE捻KKIxˏ8z 좿kq)g`X&D6kh1O6PkRe]kr=M Fg) ՓrKS Vy^붏DQlk谞zEc~ hwοua>v@!zCЕ ˙橗ͫIl ,N`(%}S6]&"εabrݱ\?xY-JUMy[38\LufB0xd {I,h hM* ]^*:XkJLo~x-۩`*\A$=L9$dOW@UKhŶ&s$I)MP' s!lIVa~NG#_( V:+~*Z[@fEr o$"뼾stݵpM]6.^Tw?NӯxyxDcU*Dhs@>.+wS[PQة2 csv(I= JYY{+XBϻKvE +lWZxiLx(.N.UtaNhd)<#A.g\ lcZ;hh~ ;AͷYF%R"^J\/E `IoGsT_QHdv}o<i'KӍQr@Q p$6Ei BF?cJ,ԋS^aSHLC\zuxZ #3DGt*u<"Ϣ4bQJg7rdx")fw&Too?Wx!e =kC=&BIaOJbrs>'8Gc>mV]Q'_9 T4xi_3:%;Ӥ)jQy잾`[H+bPl0«͆x nv_qB)S219%ٳՑ%Jɝ LA b6:JȜDB#kadOS9 %WL9JIEphi4=alʺM7?q)df|IFxSxt?(Z!)&_e:Hњު} tj*VM3(iGr/ܓjÆ!]7o Wh2mqNcuZMJJUP`Nz*Gh~e)TN׈B7,:X`G2IUQ-JHq뾜<//D{%8[X[n'M޵cy$E7c#M8"AKRA+qK} ~=Q% lDiophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Algorithmdocument.tex7zXZִF! C]A-MՋhvG"uIBm5~.U^khk=Yxz6u7%[x/1^K'Pr"끕8JÐldBߙ19BYZ6Wh H19ȱ:Oa+-=no+SmWUQk6y)7Smep*,-9laF|y3m+[#LR^왪oJbeÀ :ADܵ~mSZVr>Rε_$ 2)/./K#9Yj C17…0B;rt$.c(ᩞ|~CQy Rqۈ .PxыٖZ8yqv~)c Lz r|]Lx/#LcpG ^\H}ҊmkPAE>|=]`&7ydbVf9"ƴ%A<,*\r2N l[kmt-߉,ɮTBT,v]-msG@M"kp#D|Q:2SO536jE[sn 5n-_&nvx/9?x9F S7NaRdBgP2X.olcv,4As!8_q?!t/ߥr&ľJ :9W|@q`Nd + G=j< aLX ɕT+ZgVLl3@_ܒ{C"%EKͿ5bckO0TiCyRwt*v4#9ɮ4_3mkDff=l;?:){L$؟o5 hP ^Hx+'PW]XfaDBXHj[%A'(#Av]Y"Z>mMb女]HNQvuPW5v]B7E LL*=S% DDiophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Sorted_Wrtdocument.tex7zXZִF! !]A-MՋhvG"uIBm5ȧ]Tȥ`R@ŨMJqp^CҴ^W%{' ޱ,Fl&?F Md4}h3)s^vty#G'^Ȱ;D ]ywʜ1%,ԕ* ('tN'3Ɍ$i%>IYOv^VF,Rf; G7 7 }>K|W*UA,ٗWE0Cڵ7gYZ=W% tDiophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.Minimize_Wrtdocument.tex7zXZִF! ?+s]A-MՋhvG"uIBm51d{-""r(tu$5aN=—TT']?w9_|Q!>izHBEZvP25ӻJqNTm$ZJ=hcA75K3Cqt vDyH䡖#Ĵzl͗,/h91n |g\=)`ƻU 7Br9&8nr&.O1Le{n+YE}};JLћޢfͬy#p}48FÄ/J$t1յ ҩM 8`AV )v׺9:sX?&Ȑ @J#g!qs2K/OYU.g;G$VȑnO\GV{` d:7hߢ Vҡ cpO٪у)X$4HĿS[@=Vh6d@D x>%ed}7FĀ dfB1^rȾ+Cs6}wFG.ճC.n̳wpqGxN`4N*y+rnΕ0#xL88?E6#Y{/,1J fjb?t]gBzxy]; S VJ;.{x/+0n3бi_>eSzn8FCpݖ( ϓG}U(Ili~7sB˦k'#϶=snoqf`"X 2&*>Ő"*D0_M DW|cl;+Y@DB-=)0సRg1pdW&%' L8ܡq XhI;F<#t+ܩLhbD9`7"[c4 8Hл3F§d.R~'9 3sXi?vYd2=jH<7z$Cs?v2E`A4]yN襩$BytAqgPdW 9ؼ9+|DΆr26?>IZEL:&> ˫P@a`}ǎnȅeګNPZsT&*ΔB3 W;2ug?|M÷T'N=n/d4Ъީ7XUxx3~bU J q|yeU`*-gM>e~!?oy! ( jITmDjډW;t)#{G[h"o~OmN|/Ҝcגwy3+tU8Ϟ~9IA`Ǡt="Rɻ\,Pڌ:q_y SsMDmȽÔu&%/=juV &죑BY3z6`XWW2[5xE,ʙPWz\%?_?P t\*Mlf.F ~UgYZA±"@h,y);ZqBZ3̜*rq z|X}:$'ݴ$^AxE1-w ɬ,?@eJoM\pL;RgXLh:{?_؛ i4bfaHn۠^Q뻠`b*Gq%[[l0\>XW-mvG[S׸`~T0)g0ITJC]10Խ dZs0{@&Hl$T=PS޿Tfӭ|q^d9Ow(gq/_sh_)QqdbKUqΉ2"ZF'bRq tSlb$jˤlY4&E_Ջ%6VU7mޢH:++'N'ntH3Q/A|@M]ִyҦ/4/}r.aq" #7q, D_/ ]+eOCx9  %H{jG0r5W2_`%fc\ $_!5NЅhX_{6GH~/% <,paIÂ="@z}/ʹEQ @,6j;O* " ߀V*<x(%l맷0W0q pP+^kJ!c㞡:vNBMq2{cI}#2HVKTзo)~vdw*љ$kyo6Y pdZv6e1VָpG.8uڐc)yu[YKA>ct~>5A@и^2QilaҲ"8 :_J%A__ 7gRPnpQڿP;)69|LGʴɏ0yr±>4]bVڳꅪ}`a^>,<%[n;On:tҸ&"&=Ķф GBq^E|dYcq]FGx}5 ˀ f~Ф;J})d^\(y'|)iKo89=1ʖIg纒.ܸ-a[z'5B69P%ͯct%Fvaw@#{X(Dn/AD@zzjj+X8T)?KؗeGvM& 1J// S-HR.QOy_er%Ln-]f }` \ҷB>6VߝN`AЪm"Ujj5/^`7S&>qSC5T~Y꺂B0ZqVSLsFHk-L2r)qb~n$E|66SExYmiu٧ lMӰ>tøt kUBz#*mͅ,Ŧ4Inr  ؞mSӦ BC`7 8. T^|߁G75<-H BTo: kYu.XkZKVp %qq-nQhQFΉ[ ؚ# ufO0SKx(>8=@ "Le4 >^o)'T}4)+ p{)'hۛ)=\_鈙t ͖# `8; LNN\X[OJn//C! dgŮoM&(nƶ%oW"奌_cs f8u/f;V!sEl\UpnwJJYK-/{Q)`s̬ A],ގ&Xٹgm I%3{!u]GsL ]Rt2@l B(DEb{!!P .01 'Dd,Щ;" ܺx]j Y=d_ NTд1"nĖCOz;r4OPpL灅 \veia3ɡGIywRyƮIYrf=(.ne+,bMZkzV 0 7ug<*EVų#B#Ԙȏh6DD)e֘+׍z4}B)f#rAei&w'&0.~Rq&Fq\x7d`~:m p:>TT}Ti=B|/0[$+y0OJtsm)ʤ.w?9GzM7! YqCU_ fcyOʏ30/$Rـe$H#IiUy.[/̲k7i]'Ku cCstAt-K'+=ToiA6!n% BKm<] C[Vfw%iJ#QFk09=y`}l ć9Ks\ j>EEjH}05(]='ʮ 6즏lƝRPqp|][*ۤN0|:  󹖜[Dט^uz窞`Or ݪ~ [&&V_DiDAi<9bݙvH GM`-߲vZ&k޾:8Jcd4Ybhĕ5hM6LܵE=5?HQwW=t8"iDÅ# 7Q䑵$l S&*>B*$aJ 6䌴Nr5P%N̈~(cߨms4azS2#cK#@Pf%'|4վ!nnV%KF"Iϡ73'x]b+DSG+}\5[-ӧ Y Ӥ:*C2۷u8A [^I)]d/""g_0+4~m_>5nLЯ s睦b]5P}ⴇ<;n\X_dún{$atPEEPQ;[h՘{afȃ/ ueX.G \GsA(ٓjW^fȸe?07*$fXԕ3M.$D bkRpJ3n`DDpf1޶'!~nӚޱN&BG+c! P~tgݨy{a42X9Ti#C_sm7T'V: 3s?`A@jT[P3TN>RwJm&͐%# Sd\Q.OY {;~K, ,Q/-fRly#fEÝu<ʹO\:ë:OUd#}ǜx{i`mJ2;YCkt"FK!`QB؝Pax.FvpK=x$_"bDJeWRCoBSKDC9RnEؔ[$=-~a!RKY3ljɸ(,l8&=+8dK.b!/-$5rl}Md#t2~N㹌mK ɫ,ٞЧIR+@ 4tғ0JGc5$_[5YW}QǨzx[ 3lZdw $kJY[MX"( Eg4K]䣲q ({=Tٕj"* J9Hs}" *qH̽. ~ٔ765Fl3`ug:tO~/▼>m7&ٸdS#>\ KE`xz%A؆P]qZv(^%D+F?uw,OTǣtM2`Y4J'„M`P"X^pT|WW5LmUcoI̲GcB};Uw8 V뒪?G6b-f4[c@SeHhR txzxpIG<&E">xCET'ɬ VGogfFGzq/A6 l@۔9|Z8Kp2&7 )A7 A#rG;uZCJSZ5IaM?qe~aCMJa59-]{A8Ot?r]O8 ڋ CJAGPmL[ھ ®5i,tna05!8HUbr{Zc֙)\)$HQM WKٜ^f6^ Wb_+wh ɑ!6CZ7|aGi,\M>ąQ\wڒ2IɄf%fR@]bj0gIgTZJAWfQHkki&t.<~ӷq+]ψR Oq؃,P!"%h򈷼8G{Y#s/EJHw1wϞM+ j1j usm0 ')gCl R n$: NM[ GaDԴ&-ڍH3%Ei(ĉ0o]}_P'dOj¨ږSZgYZ ,=U% DDiophantine_Eqns_Lin_HomDiophantine_Eqns_Lin_Hom.List_Vectordocument.tex7zXZִF! 4)]A-MՋhvG"uIBm5gq3P`J깙oEZҥC[;+QTշuq&Oses+'31 [`,יxTIUVrdwq4Y` EG@{/]@FT6*s dJډ,XrEX0'XeLs?~UT(rg`>,ԷĖpJ2 PUqf@xԁ(AETғ"28YKh^Oz5C/gI(]gEӗ}(h 8M3x@8E’)?|!Y#:= ɘ|{=w=x\,MՓ+}Kh&O%F1bd# ќ۹m5k)n^G zeAzUx9aiY~l)/h IL!zpkp?GX.ES 4V\-!M?K8ߩY&gBn>,(W l|f tt-: &BОh<%xlZmoM5Jy_d*(K&zpPf;g) s=5OubxG(b ާ #b%P.x!H)={'ϝYsD2#%a9?cXhs^ s;E|ܓ*\4˥w o0O59Gڧnؼ_DUo i2[A_oX]] IE~8g?CfO`#jPhwDh>&y?4j.@:X,3EUct[V\3pyt~6M Yb;\ vf#=f UrH"z~`%4@BuUXs2 вDp)n--^;]pfk96o'<_-rNoB %OKRs#?6]m~:=U%4K%6/dim}fMp&B\K ~ |z?ѝ\#YrEw&,OVzl[ IE"-hXwbJ)TPz9 &jy"/x,=LpWfyWt{u8H\Lv$ϮHk;yOWEKO4 'TW0ȿ솟Q}.$\aɽ}X"#; VGZN?Ҏ|{`M d$%14Jz&ۿ(a$>hQĐ!-T 2q .7OusT̷ 'Ff  a-n̽R@cOd[w:L\€BZɏ>LRW7vژl]y=wBwA{Q$ dpc~ c7mЯƤ(?IYej tj80;@*RKJ(57z@,TY"d֎WXᨒ-&(~9* qHvc4B(ҳ;?{n{ޔF1!^J4"u92-,F4qC/ˡ[SH)v]|Pގ?)OH,j _&Y)'ÌGe{ /Oum.%aLvЩ߻`zrlW@Wi%S'_jлwxDAB