SQLite format 3@ EE.  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 ss/Ll ]c LLL_Factorization:threads=4elapsed=70.357cpu=185.620gc=4.324factor=2.647zXZִF! 0]ŗXf[&=KN7+?d2KcZnCvf6xLgk[IOϗgU0)WOO^]Elh <tz cϺ zS.V_3}E-a\LeKr)p9.cБV1dH$ sʶ;GEVe\qp ̨" I?Fz AÕ_;Irc䃜nS)""T'^>(Ap->Z9%oq:M/!Uxq_1#nRW_*d^r;x9ИVn #0 & *ÈyV.%it ƨ%/΍:࠶<6x`1K[E-sUE:h-u>]Ń.f~@98f!Df&!,S@rM\ne u[%ecHYkϫ0SʍB}$Utd_:ե$%nVM^ိk-֬V4\xǥ5K㒇?3B'dM؄}jI&B8-Dy;W;NG"|=13jwB%`v&vs{!S :#6aDr7FX)465Iqff*tp}Zm8U5ʛTۦWg4}$ֹ0􀏡}L/)AvLp}'ӉU\u9!%F[24J#4bppr6je EJہt@fP|C4BPcN*֞$R);!wM*ǿO04? CReL䪠`-?%ԛ@̿Fv0ocXg߇2BZQ4J oTu!tO7%8~6=%se6^+ %{-21Eʘw>ZR #<ҚAw1%;{8r٩@S߭] l5 \3SAep!p%tUvt!.dJ=5#lbދ[_p,p|T|f8m_VƳ>2H>+WcB*ez2o>ạ"^Krff$2 k­ۡ.Ϡ9^aD156Fd,adlemM;raWԈړq9Fdju7v5Jr%酴?bT_PSŋ" i&QwfN;uR _2yjϠ,)r J'sē 7;-vYI֤&A8ֹN}qc QBzO4xPo)12BC鳬s BU0'Vu rdEz+ (GJbT`%{r7I tguD$U,NšSHY_:_=~q4[8];R˵"Y31%n-!G4[;.𭰇ͥrt3,`9/sQٴ"yNhD]tvBg{ϡ!,nOы"3ƀn08n:v.޳.5`+d8ͿC Lc~\>*tm*(p_|M7#ib 2 w"Yz_dWGI,*fI !J ԰H25Me\?-'ބXu'ZI~kAQ%"/\}όpާZ]?{H[ .U_yr|oPJHe <NxSEB_5cS ˩/p)$`9L||]U%rEAqP\^7}ݠZl0ݴ,ZSfLt\n%7W:써DhcOR )D@މ*p$^opC4@r9ͫMe%>|jkA$cz RzSt*z]& TdZLtCcZ(S~к+̒"z:x/'!eb&[giXvLY3=:, m`jImϨds&Q`Ɠ~ĺp1_×"!^hT|J}@lR$yb UDCdW" l~?PdzpBmE{>!/U=g;ly> / LLL_Factorization\/o $LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMap.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEE^cυ^Sj2Z*tBѡNSJa4>Gc^8ڦ+B@p#kP4rP1r3o#*[g7+h'Z~F^9+j[,Ry8N\E $~!^gJ*p)UhOycn$Vra[ĸމwM#OUX>cRҿ^pX[$;>+g9|GIL d1[;eۣ^f{}o1Ŝm;q0 q(-&T*2H% $/z܏=O[M#вփ^waxR;bɞ  T5$କyGWda9t Fpr)zЌMHXX `Gfg>fm_8~võ]vu`p4kG\VZIK۾Q嫱WM#BB=<2q0|7^q5gYZV/o% LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemData_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ+/o,mYpSD杂mbYU.JbHҒVV𐡗q=IhyƯ`l T<962.*( "     Wg2 R  SW 9 D KV z~ +$ o L]  Z/o1LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSqrt_Babylonian.hs/Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSuitable_Prime.hs.Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemShow_Instances.hs-Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemReconstruction.hs,Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMissing_Lemmas.hs+Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemHensel_Lifting.hs*Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemFactorial_Ring.hs)Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemEfficient_Sort.hs(Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCode_Abort_Gcd.hs'X/o-LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCollection_Eq.hs&W/o+LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemRBT_Mapping2.hs%W/o+LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemProduct_Type.hs$W/o+LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemNthRoot_Impl.hs#W/o+LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMissing_Ring.hs"V/o)LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMore_IArray.hs!V/o)LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGroups_List.hs U/o'LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPolynomial.hsU/o'LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemComparator.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSN_Orders.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemOrderings.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMore_List.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemDList_Set.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemConjugate.hsS/o#LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemRBT_Impl.hsS/o#LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPoly_Mod.hsS/o#LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemLog_Impl.hsS/o#LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemLLL_Impl.hsR/o!LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUint64a.hsR/o!LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUint32a.hsR/o!LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemStringa.hsR/o!LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemIArraya.hsQ/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPrimes.hsQ/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemOption.hsQ/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMatrix.hsP/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemShowa.hs P/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemNorms.hs P/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemArith.hs O/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemList.hs N/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSet.hs N/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemRat.hsN/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMap.hsN/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemHOL.hsN/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGCD.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemData_Bits.hsQ/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUint64.hsQ/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUiT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMore_List.hs |  Z |\/o $LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMap.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEE^cυ^Sj2Z*tBѡNSJa4>Gc^8ڦ+B@p#kP4rP1r3o#*[g7+h'Z~F^9+j[,Ry8N\E $~!^gJ*p)UhOycn$Vra[ĸމwM#OUX>cRҿ^pX[$;>+g9|GIL d1[;eۣ^f{}o1Ŝm;q0 q(-&T*2H% $/z܏=O[M#вփ^waxR;bɞ  T5$କyGWda9t Fpr)zЌMHXX `Gfg>fm_8~võ]vu`p4kG\VZIK۾Q嫱WM#BB=<2q0|7^q5gYZV/o% LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemData_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ+/o,mYpSD杂mbYU.JbHҒVV𐡗q=IhyƯ`l T,wsIGPjf%fCx-UIK2"8 ݹrtܿ@l掰ɿ*ըxh?"̷(wPc,Y15i^;ۡl M9Ka9v%7YK~{,9V%$wT#f.W@? /ΛW<-1İԮҺLmXV(mbl\>!#ꑑn\6rMMHt[|ˁ'GϤy DB>h⩫IJF=Ei0#&1 y3^n 5Q=@PV|Uegxũ5ۼ>Vhrj]㡪,^ ${7.pBԕ\-A|VwݸQ0 ea/͛yC1NPvYB^ly+/}Gyx9eb-R\k \<9hi 4 c72~VK}d\t~0 ,;E܂3]&4#[cWVO"s< [9<а2Ktg-uA;pc%l˂gYZd /o 4LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSet.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm&[yfF/]"hQ6E/gbpva& ۱KlX/w %U!%HDK``W[CD/g&620_XblWlAqMkh%yP/45çhCFÖ7˷AՇ]bң:G` 3/ X vD]ڑڱgYZ/o LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemRat.hs7zXZִF! ,]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmqiE3>j#uwy}Ym3کPO >|_y=9ְlȢuY !+oC ="If@^f/5ʜ2#v]Myg|%gStwJ<%CbL+6)w򀛿Xn?"(DyڢS. 7dJf' 9s4%.&\딨V9̃$Q@-n`ĝDʼUzX׹EX \ȑ?ZFkgGQL [@*@t-VIR NC.(2!vD,U[D<+AiT7< oٌ&H͹w 1N/ТSBY<ǝoLMiK-)+s!od"glkRT;1E jqp<=VGWo2Uu; <9zjH1L:&`MFq R]^Ԗ  w~Ot.Ǖ򍥙k. (6@Ty3Rlї."K UaHk t\ hH{74dT8M=SPQٸ fE#%4`do/e!xg1qQA˦VS9f03vZ yb,H Re^4DDpagDd%Jah(ZEiet79?N¨ؒB~,l\~gi$@Q∡bXF$1>殁S#/X YVs|+Lf VۯN>b3h#ɬ_Pe5Dqz0Ķޤ JiF*3\|0 ݆e@D%3Ůbos:k֐۸z:"nd%B\J IbU {ɛ,؄Lb˝1G!Jf RBڻa%0tG;q0ܲǧc04;O7pְE?*m3f?bC&()^ ]t/TW:o6ḺBQ\a*\aSn2"`# ]ڶ|[-zG2!cV$))9͡v?۷bўtRU,Jȋ}1#cr qNV  p4mͣzu]sur-J_,Q11[9>n#.K0։];`F #2TU~>4Ϳ8?tV? 9+ЦeJ!W)B 5Nc=!jVz g/r(r{W4}m"HF~ĝ=Sh'A.Wݧ6zؽu 5|u=9`i<Ǣlgw &}V mУ_YcϬ$ :5b_JZ:pKUҎ[k;-1d~ FrǪAhL~I H LG|;{!q閣I5YD$u9G;efh,  ڛߏ6,I_)hңz%eDfU×Y5Z#6sïJ,ϝU#ar0eјg(ktKNHiWaڄ\6t>,J@! Ll[rI#HzZ^o`چc^ِhy ڻScHYgYZqN6v{mVpFMwMY<#}MG5[ kc]/#[w 5w\輸#|ks 3O[WFg$A=iAҏ1Pt;9HՐ`GeU 9$@N5E]Ɔ[ ^nL %1f;j~"5vNYOJff!=ҖgffkȾL({cD#iӻsR{L?*A43"]q/Ǵ6PF'aO٨05UXxHzI 4[Jڊho 041Bf̻i4R>(,gL:fn|4WNMK bqZ/\7.Љ} @F&KoקuX+V5'*c߸N";(eDHT-8NP`gD M-jeђ@:bȱė6<ך$Rutm݄H^'Yan+U`;Oz;(1jר٠R|z]7F6_[۠AҮONx!(+(o8)zߔJ OPzpˎׁM}Hm4!oJe4\ qʍ*B! V- j3FΊ><zl`$Zrwb%?gEI~tgAV-4ʝw>oGuT"K )Q}FCTTڹZM>n^ ,Շr-0v69wd6rzB%38'XbΝz9/,8Y>Y%;hX`WiYLĠT}J6(,l022#Z(X45M`գg-W\ݢ܊_o5ot8@ȴ$ !jgnJg|,Oѽ]ϞҴ8cL;==f'<ja!$O /= Ǎđ~^@2yȍUR AN\Hvk'2 D:nx] -|y oO.GiRBDY:Fi˘>E xHD7"TDr\\2Ԥ*)}0HÖnH~~ת3WZ:EUًn{H;vXn C%jV*=.z۝E=ȫ7eO3zg n!hы=}. 79LXA4: -ۦ:7Z/G;u VSpX,wkjS{8,4+j\Iy:!*d~d6p< :p`/*P=68ɸ~yo.# Da[Ŭ04g\ځbz1uko*}$1769{4Қз` F sv]i:Tj&)ԙ+̾/v ^,H'T͛LjOzzL˜8%cx MHs?bv՝.|(ȹ_5"cc ·I,(sZAGņ\] *||oA*_Ծu*~@)1?o|%u{/- Ͱa'34KfvQ/eZ1"ū-.VHfݱz)\F Hd*tMT-d,ޥjѦ.DJ7?sYb0K>w-v$jδr",A&@ Ҝ$ǀ1ǞZ768}siLyOH :!5KɊ2\igU!ΓW!%DX{1_;1՞b۾6XR "~: ]z#hb I}=`)ʠ1jNH;/HperrdwU ?-Tӷ-@12 X:[ZWx4킺iҹnWX~rvpQ@>ܳx4na e"XvR1P vuσ\ Z~?@mw رt~.6.=W֭-Զ\JI[I[Ɛ{R>0Hw`vmnlnЧwj+ 0. alΪԦ@I۾Lctds±J6ڕ0ro{;zMqnb-M2gז&WdD: ]Nq\x\7nP< iu'8m!rWK*o0Yeh%DgհWe 8S/ iɬEOfMxnTQ]Eٵ+2F:h>t.2__7 \W#02 øH}9o)D*m7rR {'8+mC7}>fo΅o \@;W"ZN1@M''ZI-"xNf,$ujIT${ψNr& * 6f^ f\gNdSCPAy nkN0V:ۀB''iy/ae`,#~${7VDA̅d¹eWO f&W(D„J!vpC_\&Y$hh+rSO-(&lb DYE H'FC;!Nٗ7̈u/=hѩBhr&uONSjeioRθsSӵpnXwXM.^w°,GFАQ-d{L__Q-"--5A8 |^gYZ   {/o \LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemOption.hs7zXZִF! Cg]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0KP\Eӹn>)iHGK\F.vCrL- `ZOLkÏgYZo/o DLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMatrix.hs7zXZִF! g]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmd06b(?#O0dL۩?#UT0䤋ډ+CE1St'>qVbVk>M_+ =21dI lLjxdq.FҜa5U"]'?p1zxH\m&a5~W,w]U1EJVvɫ0%F=.kؽ­yşs'$0+ twʊ{Q#Ю ._hȯάzx? vv\}RfU"vUO ")yP0sBc\H)YJJ .Ѭإ͓v09TApEd\}:jǑI}M:F+ ޛjo fF CQے,Ĩ2NŪ"B\f~ISaKS-TW<^zsLyd ѹeT ~Xx<Vi˯:uD Zz x;ZmuHݱmoVfg]"\| Z5DjŵJvԻ;! "'W;+ԗY$T ;U~(kDE5ˆ{TB ZfPXPWՅ>۸S櫁MJC f\AT 6&wosxq#,J "S+{NJqPgYZ /o |LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemShowa.hs7zXZִF!  ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm'My7jW]c.PS ÆTM¯RwsBizC=WUSx/&wnYܐ|h& \+yk ̙vE|1P7_sEe䴓F~/Ec1>fgZ!EÏ]]ڵR?+GH,O3Ç*ׅhב^i&;J?vqi|ى ѸzNJ<9q3RhC'P%;Ril3`n aQ@Y}] ș;Ϙ8Л ]ZlBiOw'NDD%>/\Je""#ً6d]"#g~'k2F0I 5N&c!00M|cd}akkd7+ɞKD1?9+5=FNjbIgNlZRKEj7^K_>z٬bkIcOnُ[M7\U2M|&lfH3 Bt"sW)vUU1ϥ}hGsAtVr"hЇ8f:fe&Լ(2yHFgYZ /o LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemArith.hs7zXZִF! Z?]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ. 6Rͨ'vK ۃ\y 8x5[MlMaS؂8S"b?c!:+E\h T>PTDb^Ps{D  & &XW"@ܑGd]/bAXkZ(ƿ2*@7. *hrCV2ZvԚL=ΉyKQ(-BTF?ck! ピ>އtu"f ~8ߟ.p";%PDA)(1u^48fY_gO,  1/o! LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUint64a.hs7zXZִF!  ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm6PrpBr}%OOq5^aJ}OgMI>xG&zcnT;xm`}!|+2Τ]36Cgnbjc,%zQk'4SKBͰY;<'∱n)mREe3O+9f۞Ru 0ďF-'Y CM2`OE*F2y*WVCUel@Hk ݖcO#oȜKxNA e ӧHcl8@"CjF;S@RQlhЌ@Tmvn9'љGP=x ]{ȿ+ KHEAII=wk9}%ij@) IZ Pajo,6 ̦+T^ENgYZ/o! LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUint32a.hs7zXZִF!  ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm6PfGpBr}%OOq5^aJ}OgMI>xG&zcnT;xm`}!|+2Τ]36Cgnbjc,%zQk'4SKBͰY;<'∱n)mREe3O+9f۞Ru 0ďF-'Y CM2`OE*F2y*WVCUel@Hk ݖcO#oȜKxNA&j˦ aktܿHa\ ǡќY.956<̎ntq4浑_2|޴r8C>9 9D=wqUJA!>:ͶT*c1\椋k£бgYZ/o! LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemStringa.hs7zXZִF! |]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm)t"x>y(%L8n;^-Q&Mb5]m=u}錸 TQM]@X:X kWo oiL3= t_u@Zt$&cFs*7c(vfGnj4*^eE}i\O5'Oʸ+r_qx@i[I>JEhI9[&Эl{WvlD` &ia[B^d)PȲw,"#ipcP7^yS(]nkX%GJ9iTg f[gYZ@/o! dLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemIArraya.hs7zXZִF! n,]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPma+84,IY(?HHRIo:F֍ UA[٦;`H HHm)氹]Naһ$x_/gtrMcCpcZ+t9hw\8O:BKL`A5VɌyAK"!Dπ!y8pF&f5) \}QxAs/;FF$޺w?i2S O)SI@2v'7ϰk|Yؑ>(x; ) (tP)TM)l83M@hOQ't?*r=V B^ r!ZK FoWpoAc[fS8Y<'FsH5٢NR)+/tymR/V39fb3|(%6"Nz5@lc$lKI||pgYZ l/o# LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPoly_Mod.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmr))VWg NzӆŚRj^u+% \DTo1!/82+XގC#" ^xw V`~A_сU^]V Dsyf/N4M2D@ b&Q1[zA v@_rQ)sEGm]EF3QۭW8.-N 5./9bw,R{rޒ^.V @-jޏ ?=,CQ650 \E Q]G E> #ȍ!^;P%{0~lt2 _묹%U[#O\8l,%-uo[B~_D+zjQy]·]8zP}yɏHfeԓ˺ف3gYZ/o# LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemLog_Impl.hs7zXZִF! g]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm6)@$F US^{UeTylxn`IԀ!S|aԺ+*>'C%M C`>{,XL UT0ɽ1K7vv1L4Rf;kS޾X3]^L jO>'޺]P&ǟA؎o5")bSXKǥvsZ|c-{W2B61pQ Vz+#}*NgI5.Q{mj IPVf7;K:4`9 e{E'O !W_J[TkÏj }LM(G0##yrT[wgA~";w_Hqoo:/\eh w?^_>S.nt&RwyC^JgC'd}#4~x3sʁ5R2)`կ9E7֣ [Y4|GԆ,@O9hCҵ焎o|6=.LLӤdGcrxr9x^YMRs5Sg,OXjPth)R"KDο8b,r263wjbu1"?W aqq$%XPEql_Ч̣8؎SÅ}/Н9 w~hq_w|x :l.)`;y%,^$9s=qN֕kfM ޺$: ,(7M m*DE~ahTumKnZ!+*.jy7@;@0x5~4ϚʀbNFXH7,}ځQ*pJcZR5t/%^%> bZp)] LiV|:yd?y'%} TaggYZ  { N>/o% \LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSN_Orders.hs7zXZִF! &]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm\0ofRx_if<0/__?#hP/d87X1E\#ͽoQ)ݢ.5AVTެčeI;|"c}38E[i'ѝUzOR5@ !V)euoҒ1NsG+ĔmqA: SXo_P`XLn-BlLIdO9h|5ҝ⢆"~ɶJ'PcnЏfr2T1He!7_?FuԘ 3I6:(k@Iuh%h"f:&/K ]xkj+s !fTc)<*#pcQD\,*CM ,gYZJ/o% tLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMore_List.hs7zXZִF! 3]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmF%-Ax#b `!) ܺnB.KJl,֔(˄ 5lj[^-mPfLhHq] oPDc#.躴6w͚23Ò-z2Fhe9Ȓ]mԆxYJ,1B9k罣k\!\_ #vZ2$hߢ˘2l;0DL"R_+َIeY"%V`.Ɩ}(ekjhR.fWsh4#?OQ Ԛm \VXDޮa9',M.\0gM6D6@BWc12we텨!M68H%$p=<|Nq88=g=IBIn@&xN(Vnzַd!0gYZ*/o% 4LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemDList_Set.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmpAHr\ُNc-G-*"|"ҝSR626m]V}b1BFV LajFb ٿR -QWD4΂ [#6¬dbɵ&|RfLsvܩHQe{*tAj^vV$t`a2~&P1gn:)}fB}m| '0$6)#R }ZQ$.O$82/õ[9=)CS9[9@DPڟ:#g^?03jS#q( t`Gkq<Oq#xTO= :;?`pZaq_gYZR/o% LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemConjugate.hs7zXZִF! %]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmpOeC謝4hU4 6:eS@Yv\B3Sq›+F4vf66{˃w|Nieb]8m KnײB&7xȒ_\yr (ZN2&'n>-jo~k)`zwE=xz;QnΕ !a1!)g6:7Dm^NUJ,y.0F;\[[KhۊySJ]P.8͆Mى<C䀋l)e#é X+#ڧ B1A/ =wra~]HtH7_K=K- ـy$ gYZ-/o# #We B:@~HW 8ܨͿd 8^KuAaRJ[ lbnkYm.!&r9poCH2`fu2̪v[ڳ fhPq`qӶI\Gyj>xk<0D:O(pLM!G/v`V ^h6k0 Rhx(Ag`DpQy;LiDG7+ju|ŗ+NZmGAd-gk/Pڞ "'-eyN(NIOUEPo#gYZ0!/o) 8 Y~RFGc7=:HcMqo՗bS,0ӭy~Z<!Z~gYZX /o) LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGroups_List.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm{4;OxiљOB);q7TnDy􎧂]ࣘo3 C:P1jMZ޳Uw o7-e>AVMK~Sm'&\\ڌ*mKuufʪ2td!iJi G5"=pIi^y`Ns|ke?>d Ic̨(S]1"e;u> mAk}xWɲdjflcc}tIcyzqt4Al!99N.` 54m@ zxPrDz#_H:Px\ٖeùnK$6w4sv_alV7i_:R筀®EF~nfgYZ'/o' ,LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPolynomial.hs7zXZִF! 7 ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmdMlJn1al=#/"l6?: ynM&]L.28fY8clǠrwW8`M[8gM73M:KyUW#3RvEH܌as)_eDz/?3I=/\~$Jv+Hf${+cVY FF1ql+)5`397Nft(c^mCb Q$~tHmJu73vXEf8?GjzX`gHN&殏..CRU]_%or %uMo  ~&Q/)^גE١yuj!>mFY|(SKzÂ$kFQ[ГF`qSs*ZTy p}yҮ)^a`ddLI$j~ q02u\h]CǮK%RqFE43WvI 7F-B#Eqi4QjsW{QsOMXVˇP=Kd lu+t,v,{+SdCTSH]iǛ" vnd ˻O=T}j:`=;Y :wcƛgYZ 7 8 tC7(/o/ LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemEfficient_Sort.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPme:"/nu2b}w|BdS,Lu-H5'vƀҲDU4I4B}#<[;EEf5lA߸g )'7%!N6EDVGI5zE*=c DՀGˮd~V`m~}n/TmuV-ym a:P^wޣ 0ZnU8vn %#؝|1Dדgj ̏v0?I'ѿv?{BS YG9、2{w9J/ m?eQ!?16;4u.VfId!xnM8|tYNNNn*ɷۯn~"[avRWgy O0 6kUXI+"y&?dQp~Q2PyN ⵿{ hn)_gDgMqQlGx,ɕ_z$xuBq2+%Ǽ]^Zn3ETUڐ}6SB3jNkt*51mAgڟ5#bNGJ;faUh| FT1#Ho~7*+!t@׻e.!حgYZg'/o/ $LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCode_Abort_Gcd.hs7zXZִF! 3]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmKXvCi%(^rJm.xMJp.% $XɅ%߳[j,=1}̴ 7 2LVO$Ui"5gAjWOpv멄(L;BX. _}Ō3}|'NI'ܙ]CR%+_jS@jKaG6ۮ=['Ti}|-Ƣ(A h9us9yd Q>̧ -pbxv;Y`H19*s1Z׀U:W& @i- ԐYX_J6j8_hx5V V\[#|1,RYOZe}>8ȧ^>>=+Rۦ#8poS'l=@:&?CTgYZ.&/o- 4LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCollection_Eq.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm7dJ^kV$ GDzC!iW >F^Td|+o͎y6RZr?}%D>s{{4tL.Z0#l&i1ܱ+5kjVN,&3*G[pNhrkmCrKFի؜Rzaa"mp|LXd[uhdCZ_Cfh\3>5יHjvi= Rs?KX&8&Cvso U\$↴+!X\C |C1{fiVbQw.v˕0ѱgYZA%/o+ \LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemRBT_Mapping2.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm:}L"y&I*~=A&HV@xa:6tz8zEV$=R}vLH*nZތ? V|PP5ו^,,DY"LѬ(p#H_[+Ĕё΅:z°P7 L1^þ?.]WR;KRRO<鵷='^b<΋do:|OK@*D*y:W{Uo ؐ;}K꼰gUg.Oݓnz>MҞ!Z.SeVW@@2R]H8;98T&s3B'n0:fS`W/~̕əЃgYZ}$/o+ TLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemProduct_Type.hs7zXZִF! X]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.g+UXT<3\ xy ` VJ3KiObY9!.  AOv, mhU)՛nLr1W1;"Ci ڂCf^>i|mˍ"{J3҄z߮u5nGr MiˠHY٥NP8S~Hѯ?1(+ Vl;{w3sBThW(7}"/ *!I. /wpst0vgL RhB)~bNtW'4)gs4P4t%pDid4e\XYv\.kYTRY7Ĥ7B Uc2._m$bӵ:8uqD{N+Ģ)`2D,FdP=-FzKR>1_KRuv^w N7'5 ? ѭ{ ۭtuܕtMfBͫpzQ7Ie9БZa(_oa刺8LMzc CV)ntΎYcƧ%WK&{Zvs~D@:fQx ڬage.I6S(L'K m |+gVwûN[??sP6Q7+nKn y>BTS0]UX.gpZ.e[Z'\Wܟ %ˁ#p<*0*> 8zygYZ X ~X#*/o/ LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemHensel_Lifting.hs7zXZִF! 6 ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}\XdUk>$F*RAc̨Ap6'"eLayCkN?UYr:2l:B'YejC$P wos)Т6@bw@wMNy"f{ۄyҩ'a"Vo Fg" oiɘ;rE=Q%}>vUQj]lЭ*m«hi) 6Vke;6bv"!v.i6:-qX22 ,* Z^\|E##gc5hG`oJ?7WDx"1L¨5X{^{ ) @&7,չI ~ǻ@1a8;)S2GDSVdyC /n52]kʺs֫-,dnN:YfZt ;n˔gb9ؿƯlEVK qFH4+E&zry%N<1c'u4.Jƈ޺f"'~:&] ?~aȐuOoɎQУAm5_"~|fӋ,n)aVD6Kץp66΂kLW >^0נl!OGp4HqsTsk0hu?㷐oxEmRKy"s5+['} s!{E6{2>An3xX>q4aL"%fCT@iuWlu3`׏OhjXk1Hآ@K%f#30!2dג6P y,!&]LêU +PIOv\f4fuYz:*+:$4FUKm?!8FJ*F؇oRpRuENߣ_kT=ܧeFL룻V:Ġ`(24{[ۙHT>n6 cH_<P[Ojvze䴍} IwM5a|\c8!o`-GbJ2H.}ѐj:j̐=<ΑSvvgYZ l b FlW./o/ LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemSuitable_Prime.hs7zXZִF! S9]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm* @gg`.NsC$i_XaHXAL[1v:w^$z,^oGy (uBGs'|0}R1>>)w_ . WfڧAdĕ-Ú_Β TE\T7ӧ [?x2 ShMX"Gy]wv-uݙ@ƈ5=HmꤊI|LϸiF;뷛'kڡM|N jlDJ]§]V ˥05o>P9P?1khqxmH?X8zvXnzx#k6܃w 4{; 2/$v6=XUAbfGIo6#t>{L1S>eBⳋKu Èΐ-;XljaDkϮ]g8뱾b)!|T] nLL=R 1Zp%L0QלЯQ;VR 3QEǙܳ\GAkطF@462Man2UŹ h gYZ?-/o/ TLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemShow_Instances.hs7zXZִF! !]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm'MX(.;uz@w:z<늢?]8[dJACu\\:kca&35Ͱp9+8ΛO 8X~[ 8Oƃ1f'Q&~Xa1 P jբ{y'%윔t"QqWSnܴҙ\כֿ ]xи UJZ7J`vFJqy=hUv&H*["y!1m:VR&rFm'U,&[S٥hxJDl `N޹躁QY9=>.=;G,>ҝ|1/YV(-_ `F$p9Qhem£QYB ya[m&Â#/q W 9+{Ngp@k+vT 啼i|ۋbt.(IO&JwVXK$:t9eY;g_>INΧcuNuU~έ358_,!LK ![+6٪\N>ǵTxXňJ]1=4+  i@dvmJ6gYZW,/o/ LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemReconstruction.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>),H~m0 "9!U~lR8⣰fFY:b0Ov4jR3cM/|/> Dێsf?4n"?h-C8.QxcIc3fDhݯӘ*UᜮRFuHe7[T>Еlc-B :tKo24W&"]o)j0F<1W΃;k5AZ1.=h^U0ǂ2a0R&_A|pӉR3Gtㅸ9KAx;jQr,ŧ? q=**iHdkZ&ŀl9N{]U2gYZ+/o/ LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMissing_Lemmas.hs7zXZִF! x]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEΠ%jtzn,dP8D9mm4.Hh5 }#n}61`zha\ YO!XunrQ!4Ʋιh{k\5{~7T<"wR'^]i; iR|E`Q$ϩ/qkd…w$XV!S5KL4hk|wǂh@-x^6DIwxa"ʼn!+J AV(%BJFs;GbjƋ7>jF}C:v"]<[P9m8bO@sf{bS9C(K2<-_ t6-KUU?ulhN?xD`Ǻ+iIj'O7l>SaZⶑDī#d@_Q™=cwK^|Wr n-Pb`Av^@ gYZ  y 162/o5 Q: 0eZzRJۛϕTS…O4ӯE& |l1sMBZ] Oy.ɓC/uXhzj\v P'6Z _+O.p֛ {%2[+}[U=beّN/ $, K- gw%?vVv>\/=!鑪lfla5f}z3&]ى6KR8oet&pu#,A]p}ЁmK0Ǘje1`zzޘYIb¼ a*VL wi-f9q"[Z[[ScS͈kn.w9xLȎKc`]%"X7O4gb{O*m7J/34.-003U+z-1>xƮ@3Žvˎ!GVu^d-ꆣ b8 ], {b*3(G:@T84*b~*u08,\y>N@}8`۳)@?ߪ @/BuUS3ant7쾯?Ȭ2:츦fШ3eYОVoqS W^-.TvrYFO\/ -N\\0HǼbб |;/K1ɩ-+[Y-`bSm"2 7B9ݓoy$51E Vu? fdRV)Xsy#4M5C ygYZE0/o3 \LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCollection_Order.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm7dL$1JMYʰSlӟ{`q9MtBj;\=,C;3Ǚg tYS@DB9E5 j"j~÷lG QsTDMoN١%@ZsBb_̹s7M9PyИ_~F٫"mg{2=$N/oLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGCD.hsY/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemFactorial_Ring.hs)^/o9LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemEuclidean_Algorithm.hs5Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemEfficient_Sort.hs(T/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemData_Bits.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemDList_Set.hsT/o%LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemConjugate.hsU/o'LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemComparator.hs[/o3LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCollection_Order.hs0X/o-LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCollection_Eq.hs&Y/o/LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemCode_Abort_Gcd.hs'`/o=LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemBinary_Exponentiation.hs:b/oALLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemArithmetic_Record_Based.hsᕦ8V= !􉩨 {ciuK-QRAw8 A/@k`NPmW,XM\H,Ln@O¥Ǭ'x$1St&2=R%ǯS;FUBX#s+P,2,S⽂ x|eGC ~C~gYZP5/o9 lLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemEuclidean_Algorithm.hs7zXZִF! |0]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmc^B1|< L^%/KiުkcsMpc5Q<+q8QzZIRi94"MQ|8 Okl.^v7(.؍bߢqseO_ޜ=*|C~܈Nmz0 vnjR=`'<_v/_*1ɓSЖ|(p2j,࣪?ȫR^0q jZlYF>6Zbjh"0g/`!Re OήTc_faGuڄF?HO#9ݾ1P0<1bԸDH[ZlMo=12Y1F9hW]q^,n\i{oUƓOR\&ZW×#[ g+SI>f:[RJ8X?O{mflQ&M<]:ph/`NI|!nPQ42h2--|S'8$}g08Dbj~G.OmAWjj0|SȽSwb?6܊n~uTσz. ;_2Zg4¥ O%k&yּ4h :Pd}VlJeoBTE~t"Lޗ1"бCkDKJq6J+1 k:w U-B\ɞFݖNFAgYZ{4/o7 DLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMissing_Polynomial.hs7zXZִF! Z]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmEΠ%O\ThVKrTaj-_RferQ"'xlRLSND9(0ʈa]m/fA߂pݍݣ+&|Qm9d P@}.^aUĻ6:I R957lߵ^GLN77BTzArcjk!99 2˛kh g ÓoQP K[5X[J%0WY &4(iRn*M0Eƃ)y'Ϲ_:#tMɰχt{jfV+ Q͗Qu0*,\S/ӵG,Гa+PX8@b\ZMOX}֧]ɮD1T4Il4.TR+%n Y-C᫙,wJݙ@?"ϐ)e!wɖϖȤsb j&+/S `L\3&ȳX>l%=A>n^)]OY ‹ ߢ U;?ѐ9o/ܡj" 嵱gYZ3/o7 lLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemMatrix_IArray_Impl.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmd06b(AMylRQjGh :)YV̡5G3Dmx5"}i(~.^mQ6ז9y&(7*2Y)1 `FRL-MtdB&S>;5ݡ([M$esBoKJ_} =f&,ySX.PC=[>fМnD||bu;49:)Ǣ^kuTViVA]ϧ6Q;{Iҵ3պ~vl5Ʈ}pGc=G {WTUSn}} 3԰TFPbThŞv|mxM!X ?ueuw-Y)H 9sȧ_tw]L>K7 ],w%UQ<38f&RQ a/M<6,05yC }DԩP@^A{%ʬSKwJtN!3 oKlnscq\9شdepb44.Gه^y+^vu!:O-.7hso]G!)9HwY. f oP6$u5++FdUj-C?%^sCQ-] x1#%A?7BZ2L;'TkZo}tq/I3~ݥ%V@ˍ, %i:ٱgYZ  )9/o; LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemUnique_Factorization.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmwBO?9d- hujyz:>@L0 e{o,2 n_|E,Gtt 9?ֹ֜qpG2hxm*N >BxIx]N1av3:y[&F5+k-;C \/m*DŽ74Axx;g+g,AkPF{xSI6o<e%c8-{yL}A ie<2*]{̺jyą9OYƺ!38E5Y}4lm0K:ǻWUTlQI hh?k=tp7?8U2| UP&HBT[̏]Q#`e`79,5qa7݋Ôa6k[!3@Mج<0gYZ08/o9 ,LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemPrime_Factorization.hs7zXZִF! !m]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmzkfݷ\=wZ$Cn}U]?uq=9C5<#ߴYmG/W>&waЌ>ҤC4@.)Wi ?2 f 95#dnzK𗁊=>{!k<$y<ݶ- 1VQq*ϔT_f )WloeןeYϩgb'UɫQ!@ڐEWN) o6YpGG0\ʚm)b>k9؟d:\t~K`ސ%QtkW6V@ ym7{?4=}Hs]ԅT%-5tgX>Z ^I.킄gk+:/ p$NOp^DhE\QPۼoECksj/|*L޷̑A>!:Mx>wvzY\շY RMF!C\;K|Ӄ$Zc [z2zSTRw-SI| [8]2jalgg1Y3  rx gs5Q2??( H_7.nGvf0PZt b;-#TzY33JV$+i$;`dJ$$ "Rh`r+;WӼ@݃UM6eO9F"J(2e[S0Ѷ<fV2ҿwebT;U6B J-0SxK/el 96&&v̢@7vӫ1Hҥ7P>,R6=?&967]BUFfYNlo&zo/(Fq>;+qNy9k_`a=` &NUb?wDFʙ1`+S7ѝkvY9#ח:fЛOpj5Xj jCS1bF ɬE}jf3؍~"iIE`3x^*!}`S]rln\ u%621z7 KGkrX.uގ$4cLD$q-`3\җp2~>y"6bҬo!!c!M\{/aLrŪD|Rc` ? 119L%o ;Ȓ+7~:+AÀ6vnbmOz aŐyh)ɶaYB7FI.J;gUPnjD`Naal|zkl\<օܷWG RRD+mq<[xY gFc5F-}@eϘT]O pr}lU 2/HoJK_il?K*aƶ!^QޭUW8esCnmGQ*хq+5RwBAi\0uxFdo cOlS =fvZ7ųXB[0u\p=DŽ^B, ."gYZ z  zh</oA LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemArithmetic_Record_Based.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcQ43"u[F owS] T:a!oCTҗ8/olT"JNl0R1рfr27䃁Ԟtb0YqA 'WzLJ=V+Tɞ!f3}F(Cz]gFݪu}ar/$uxT3䁃X,8SxWtqfQ4a"H ou^),_ݤHT iczUJ<"Oה2`;o{'2܃{GyCpR2gLBP?5 8B(S {ucy'w5]OVm^@bVRMLRӳA,y)sS26@d?w.Б* _o\&XT^X4|l$AAlEr y]}В!2޷k4g{l?"\kda=& uzԘA@x$?aM˞YQAs|x0@<L7pۉST|{8-}X+u>EmCA/є`eTH0*@8ݮ2_P k`Q0}SE?XmѐG$y0=TNCn ;`Qנ7UHα-U cauXkεNFM" s=bgYZn:/o= $LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemBinary_Exponentiation.hs7zXZִF! dL]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm|@ћ_P&KKud"`Ԉ=onFFhf֛T_e8+>g-O#֊^M :ȥgwͳBkZ|bSOOMt=9"^NdS:At- AS+q#w {ӱۚ9u*݊wJ_%^de؞eTrUѯj3wEI LEGS٥Կ=RZRЀZ6lǏڻ=e"^Smi;.Ճ7 ],O!;D ^noѳ:=fb 7I俗t X^)IHLi܅M]H&_?f& S5e><5vGUnk5"e#hSfq ܣ(q4H_CҢ1`D˷;'Zag˼n;:lZexX0H"9NwEMC t_@ p#gYZ aa>/oC |LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGauss_Jordan_Elimination.hs7zXZִF! ru]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmc4YS55Okrp]BLA/f$@I"%w!S֭9W*޽% 꺀DfBzҗ ѭ?h q`0V#r`;|D')4:N 17osp>Ndr=hp S,Z lC[RKsa+Ui\>;; ˣՌʪM}J:0qVfk|s)N=.Ц)8TpFcģ4Za *f g6-"aJ_1xiy @$xrc%$HJ?3sIC;4s6tQngh3kMKCuijq^Щ9VHe{kBwVl @?pI^MsSv"K܏7lXSSlP r/rA\Δ OIZ1aA[K0zvxriY϶OI4$|NȪ~c`ϚQO~vLG6^H- ZPG3$ fNC%i gYZ|=/oA Nxv+/Pq4Jyw,Ѵ +SYY VO'>pɺ,wg26yUq+q=h(A֋&m0)ulM!˺&6:f&}Cm+ lb Wr 8-_$ڔ*1 iԕj7b.:/he!)v *Y;b= y-:_H^EMBY9%rv俺N2-;#׌oi"Z~{ 4t<#Bn^w uSM ⊴ u@Hċr͇T3V\l[e ;,菝"SP>Z_~"?Vsms]Qg$j+B(z;$i S3+V8;]\9lWؾVEXڦa_\&:P=LWA*99-!NXp"ׯh }72 n/׵7 !ӓzpHζ5ucNN]Ӂ>P GC䛻"Bقj=0ta$`9=A%_]ѧֶFDJѐ&F{OɠDX|ޠɻ@!?T?( ׹Yܑ]=CyUq o 7j\xTK8;8³9xX)˱<=cP +|j۠ 2(G4<^ٞR c;]lL 6g1Ѣe֤HܯAeT7_ S$a0 ]ti:6 wى&%7e'<֣yF50qr& e4'JQ:1<@1D\4UT޽E`f ͮ`g8ͦg>?.DepxvK:Cl:cwPʹMHҫ[ @R&(4 +}<wr8M/f5Yu;G7U ]ϛW00U>pPR@{NRvHNO9b2zks"z 6Y{$ߊ~Gao@Y];tnߟ?\. r=E=M!#gD:P`mmt5PQuXUlcҦcø%FqKl!EPkuv-a SCsrM_YWIEl$kE3g KU(x!^Ed(5( Uzݪ䄐.)P|/;#VV> F@ Ds}*&@C.& ZT[ye~{zASR.F^IMsqǥ\k+te !9<'h8Uq1!@BYO8nY VдDt,zKx{$IV$沀Wx\eN `^pgK dXOKNƣێPX.;}Ů~X6dUz&n9x^qwZ*j<Zp2!}QwL0]{\,:ao}[q-k$|{>)HLt$#4{5SD16sDzXUF!HgAۯN{0ni=; y d"NnG7@n}Ѭ "z#B(bx! Xwrڍ~H^whHn\BԳ:N#$9_VχTbD9 $+lvױgYZ  \BA/oE DLLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemFinite_Field_Record_Based.hs7zXZִF! _]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmc:!໿:w!b\fߑChvgMֈi\ `IŒkUV`OĥE# M/ި"Uv;5WQUH Us/k%ddW"|<;]EKh8?f ?1^4$rtLe'R̋ *1Qb.7kyu$`C$Vg@stO:WgԻ2qVU7)t3`l }j!6T.Q.R QAv@˾Z HMЏcO5U@jpTOANFI&ng^vjxbC8/?ץ:~(cԉYHk3@Ֆ(N8aj8_d_Ǖ.?4DQ> 'DޞRSXx))vz^m\!mnL {iZ_šQi+43(O1ORZ>h#lT!3Cd !Hѻla~ڡ0bJX FXg;c qihnOD䁁 _YTfb [t#N`Pdtg~ꑼ ķmXt(FA_ŊBCQ`9-밗1SrF&@zpG5E RQ)]vI x %O6񑑑`2ꓢǍ8yN(EB9'fjEC)Ń|#N57^[oԓ?M5esvUAEn-!x ll *7e]WcYK^cLY:Vjl6„m n|b}at';d3J@2Ml 'p^QPM` ϛbsG̯?9:%tۙ5xҀ^ʉ:w p&SBxr)"__FFH'B#+,3xtN@yסG.*a,#g@X OQ)*ٔ,*a#T, Y=KT '`q~pG޳O\,+xr9?󤉩EOMS)/jTeV}PrXE[m}7UK]#q?ǾRNRuĤaL`}m0<p}mMTNKѬs/I~S NsLw}NXh`4#!=qTb9z$ -PtVg X= ֮wx',Oq+iˬ_Ca]=;1tÁaU(H|5#}KX"P7~Q$f*gxfptكC2 G_nTT'Do:jË s &e&23qDH_ Po PH@+C1T-zh.P #s6۱gYZ!?/oC LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemGauss_Jordan_IArray_Impl.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmT_T׫ Ǔt.4% vTK aBӡ$5@H#vGR"a-]*~ц H~Rv=GRxY+Qaé43ʝHj\yH4Qn&0"[dÝb t*řs4{t-L@# ØߪuX$d.N6|kHF"c^a40ڒ{z -w^YI1ᢁeEf<+Z)h 3i%44D1ٰ?,[p]yh\)X;<܊]i&_{?zp) \_ x;B7UTSpGZ?t 19YVx)bqeۗMu~cZ2>SC~?} o?#^ W~/N^|jU9%Y-*p' *g(~5.?ZzQ-wU_*$IQ&L3z@ o{P3}2;X)~9͓!eIg_-#L~5ۉ2Ag]`vM*˓sVh’Bv7q<9_0՜sPX7Fz;''+gYZ  9 9DB/oQ HU|HQGb[O#ۋwc#_ *BB4 D| ]Š >_UyiFFbQ=u-8Eҧ8i d0Y<5d㿕#n_-].E/[Eȭܽ{[}ϯ+2ujzڄՑ=)`_I&7V IjA;*=t2C Nߊم/LJ;F"N~G¦W6M+N֗D-W;PB~ *frif_Y%z^gg'G4doažIJzp?Zu}cwdA NF%RDӝi@A'-;" Qe#˜EsN0d]"shFH*#7äF[Ol.KwMhukmE>wvoXҩO7T˫= t\Ǐ\T_ʜlvBqbF"Xl8|Ut9X[}7NrF|0 ^ kVWVN[;qrK|^]LU@&ԇʕ"rLq86k^!ƨL(KZ GI|C|:ny8Z+lDWQXnJ2yy`Z?.E۾ս< Ivcsraθ#ǎ^  k,bĭ)wc $,j{"=":Qo+ 9ڶz+&_l2׭3c\d1p!ws}5uM]cw9qWZ^pu4dD4NC?؃dӝz~UNI/ ⾎ˋ HyXu?|E0VӴ{} 7fnYoa+93]ÓQ-R#,X&m2('YpcF냵N!q/^Kh}!L{{SrTf ҰtMG#^,P EgYZ lC/oa |LLL_FactorizationLLL_Factorization.Modern_Computer_Algebra_ProblemFinite_Field_Factorization_Record_Based.hs7zXZִF! *<]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm߿+``.$EǵiUmfy.fr4V&b85X|c1I;7PbE=inB0vh<>G[ӮKƥgOf)h(*MwkUgt zmzIlwG%V\fw[:xݲ]8fq9ueh2g,4dN e`_TG\ݚu%Kfˑ$D蘵ݮ@FeX8Ui\D#6޻@mPbM7eªnOβLbspk;_vœ9ieA@Lk 8mY[4OcJyŤ84ʺeONհzEGS X ̇:ʫfؐԭ/zl#ia:ɽ[8A) _p-ӦC#G TySC93\~I#<Rk09/ۦv( rp 5 & 5,gkɑߎV1 j2|!|sb67MR$'m9 3#aO|ip= m6ցywb5p];"Eo}nvYx5GN'vi1ae;d؎{BR]يDBER{o&x?[zy^lkR;+"MwUU5Kl2X'U^Gnt4Y^սQE•:[Ste[P+]}ʙۯ:e\7WXd#%5}j>;kqiNAnDQ"!!,oL}9fh'Kboŝns)/%tp;c`]v0(ka™X{!e1U y(c j#z,|GMI@~_6X EZˁ}*ɨtKV*Srf{v_1懅 MLxr"*{6/ƄlWAZ'U{ܖEKMr- Us㖆e1 Rʦ%lzoHUUѢ;:_jGQ^cDjMyFTfS0oN-Aͱ>Ҿn*&zЬOk)H-B(Qvvw,{lPL3R Um=sY)*. -{RDz\wsI \խV[z \wqˏd_ \wT>ͽ[J.j$>ߣP%bXl '-^ KAEQz=UxRHzoXWTNQ7Lλe[ j%5Ss%K) vVPg:`5Ɣv{xg$tbr>ɦ W)+JK_|Gӑ d[Exc aVFv coYTǎEgYZc?}e=qKV[-kj*YrgXc}ڧC,+NYڶpԏ+#(E4 ki;,u7|ƟLi~Km`}p'rQDmiDfHzT>6nHZM@-snpfʝuRO]A'einB9aS|eg~-1K,uL}hg ؘڻ0t|8qkt[ 9Z,£sj 0H=Tϓ^4GrMEHՎypoy ;| ":F5oŒFIGꕦ9Y(Wo^ `4vp>{;U[D- x}lے.&ϩR ϡ~QG#;L_Eq\e,6CoN?hJZcy.1գ-QDDeq p%*Z* FtϭVV4ۮ8[ר5syuSl ~3JR[\AXװuM{T1NFm0>Pm77 :4m Rw'ʨ`76H 2P?㬫RSB=Va`o.ia1D 3qj$2!HwxK=P 1u)0#>ZQH±_8fTWah;^!:B7o䎻҂W")R{)TDZV.S|X4̧zN0c1%լ<:5BDs]'N:P7΅^'/a-E 3_) kSy5gήa$:B#*egK|b⦳tץUtPY/YBƕ*هx)O@W *21n;l<ֶТsK"-cVb*[!х%[({Gz,DNwY+<=Hy`ًlBɚ};Yߛ>9whgu~6٨ɼ9|V!XR̍ߙE>Z#ǕPĝꢬ}l0S A) XmC%#TY#]ʕ1M&}ɡ'?PB$-ыJz{Bp VOceSJg5ĺXsϙPM;zEYCyHg% G-gATKLBmU|86þ/j4ޥq3)'z.KKB7ځ'V2O%`gKqb/!APԬ/n'4N7A>aᰞ cSfqj, _%Rrs8d OGPf4 Q0z:I{`CZKvL:8˦di r0a V}j u9&~xFre]A ߍll>Ι^U?|H=RWfJpV'ԥ=Eaye^ns'1Ս|xQ)KIb}[Tٳc*q#y?!.91 Ӭu}$Zky#n@x\MNk$`y8M5v{ [dqV13Yy Gna7Ο"L0\;1gGs2?Ͼ7痁"hW-(Z.q<5\ $@~u-Vda{gT- (#!8֣XaPH^϶h 2WcXD$ĘthQf̈"U53eX=8\,vA.8 Ȕ":ƅBډӺ\RU2kmrlu*fzEGߢ SdOԌ fQqĥx:)`m}U~zVj֖0Z ay>b9Y_ }%ͧeL,EW_ @èf7Vs ^!mMڊ8ZAN1 2*Bo@ΐr82!q:k?I)֕Ѧ롊E3;m%ϩf(??25;eye$Vam74~ Cd^FOD4 A$e4]=Ղ?iuW@: fR#-lMW hhGJOM05q~BZ/@A" l|^ H 33y2ε*֡:`\B~?L7mniD&/_?Fl #fpD{!k.0،qf&Lu,$ &đWu<jQ #xiLd7W@AP%5I2U-s8ä[F܁'%O 2U8e`+Vk5T /.(x2&L;Y֑I A֘O|5c@L .OůKԫ_$Lݪzr!{z2|X:\ҭ;'g*:@[@ETc֣7ZROTv?0螫<[seV [&pxn'n$R 9~1%8|o bZq<ڹkw϶[HeZQH;|t \P#aw%Gk#VWx_UCVPkkM: ۏg#Ѡ`>5S{-5qzūڬ#Š71ёX8p嵷J\?֐nw%NH.5.ٿVh4K-'8m*AzǾ[۾Z:yD\ Cxθ))Y2\kǕ] 2\6^Nm )TaLgYZ42900c3d7e4c8976c3e3ca96c2c266b19a53f6af3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe 207a6a1da5510dfec4c58c083dbf6599104a94e0 b1e591dd0c8cb6f8a1f591ccb139bfacb93a87f7 4b69e5305d488844c9f39a5f8b82ef5b0768f61b 90b1cc8ff3bbe7ed3facb61b4d3f08475a8bb93f 9f169d8d097ce40375ac5dcc61595f1b56e56f66 7a4b7e0a126bd8250806061951993d72cb1f02b1 955c7506a42a0425ecfd1a85f3c23c6498750caa 80cfc041656be73a909457fd8882e81273bb499c