SQLite format 3@  .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsgSOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` (p"0mRr۟0# ZBq tܔ4ҥysddp΂C(|2枇If3D>iZ:a`Ӕ"|NcapPpMk GÄ,EjIH!~R5źH]Z:i}:\{a(F70/ Z. 0GY)1 `VA w3J'@NzI$G9ðrq[kJͽ&1sT(oz> AJqlL!Y[bnC0;48@8Vֵ= CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyper D B _ &^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages \Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/markup [Oa!HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files aOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_idbOa/HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/factcOa1HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kinds\Oa#HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms_Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesdocument/latex^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/axioms^Oa'HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/consts^Oa) HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parents   WOpbTz q7 UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.029cpu=4.441gc=0.000(/` `Eפx>uP|kŮ-ۚEA'˻.ka<ù Yn?bpt"z띗dB2c )p(,kK XbBTOn AcJ8:@6"!*(/ _pkszMW,\Vk,}F$D5^s$TK%ӯ69 ^KNXO.u  -ݗ(/`Um6W Pk R'Ӡy.jz!+""B833ZWCq(eE,lG%0G9KL0-ʡ-=kqLjNkj<հ0MhF j= [`!I.crpI$DA),PNMc1b4ڃ@`1=8 q@i%4-Z11(6-Pփ;~|(Qn$|6tyU~"c2&$"輊Y3oE y5;cQY9^2kg#:g{#mEIoۏ./ք&|(; 9234$)H0 jHvq,ǒ0c1 AƐH&dkRĂj [>y% v 8|eW2]K\9]Ti@(oV|Y9&]! +t-A]cf24s֩r 1a0|N†6`e !{AvYYsQ>YFiin_}S7'+ W&mxBv=8m:FLpqHFזԘn/iO'9/!ivU$.EtH(:TQ*Ƥò0;!LU ;}O@x3hA~JR;A? bc7969e680cec628998d634f9d54faf6fa6d9151 e512a13d839ea34e1dc95b4853b580c309500b04 ~~/src/HOL/ATP.thy eb8b3cf9877d85dc69052ffe99b60c0b85aaabf7 ~~/src/HOL/Archimedean_Field.thy 8326d7d8e32c9476c21168590c9bbbe8539a6711 ~~/src/HOL/Argo.thy c41a53cf6e3ae7b4ec11d9f78790ffaa94c31727 ~~/src/HOL/BNF_Cardinal_Arithmetic.thy c3300080e7eddbff5705c1fe36379e9516a91c25 ~~/src/HOL/BNF_Cardinal_Order_Relation.thy 4de3f8733a8875cdf4a1a8d2744e0082283b4dfa ~~/src/HOL/BNF_Composition.thy 1fb03784cf0558ee33718a919d78fe08dd0c815b ~~/src/HOL/BNF_Def.thy 5eaeb3c91ccc7fc0fe5ba1852cd762d891f021f7 ~~/src/HOL/BNF_Fixpoint_Base.thy eee18890502206998b5480ccc37d52b9a0e78abb ~~/src/HOL/BNF_Greatest_Fixpoint.thy 36cebc8e7936eea394470069ee357332740d2faa ~~/src/HOL/BNF_Least_Fixpoint.thy a26b2ad5c75d1675f8146ddc7506e568969def92 ~~/src/HOL/BNF_Wellorder_Constructions.thy 24691da5b2f027b91cf7d9a29fd97b2055526eb6 ~~/src/HOL/BNF_Wellorder_Embedding.thy cab5b21b81e38a60a3abb4bde415904311b895f0 ~~/src/HOL/BNF_Wellorder_Relation.thy ff6f04cbe0ade7bec25affbb246f8cf0e65fe29a ~~/src/HOL/Basic_BNF_LFPs.thy ae0d756f830d0d81aa85e5549f026ef3c8a78dd4 ~~/src/HOL/Basic_BNFs.thy 48d57cac04e46baeea6a56ae031d3e014c4bc722 ~~/src/HOL/Binomial.thy 54998b1412382c87f0822f2ede4098b621620092 ~~/src/HOL/Binomial_Plus.thy 04e066928947542e0083e747857b0796d6426d4e ~~/src/HOL/Bit_Operations.thy 2ad24e04cd972bf1ed05b4466dae684b1f3eaf12 ~~/src/HOL/Boolean_Algebras.thy 1dc33bcfc76a695b63161f930ea401a7c5124c2a ~~/src/HOL/Code_Evaluation.thy 37b18bb1e92213fa73d8c235980705dc48c8d2c1 ~~/src/HOL/Code_Numeral.thy c879898009d3143557f416a01a89ed84dd21e5f2 ~~/src/HOL/Complete_Lattices.thy d1dadcd164afe3a15c6f56a307e8f63ee68be68d ~~/s $O HOL-Nonstandard_Analysis-Examples vvOw] HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyc02a7b95f9deb0461b58c3b1537c5f31aa324193(/`i"_nX,Аs/H8#OvGmK//&+,2@P3)u"w{[yѥp R+X*;t/q]KҩVT{naXyVW2| 1ݎn3 ]ڊ}3MвTD5*YtlnlT+Xr]}į*:4ù4rht-:%)d{Z8Ѕ̣ ;N9fJa$+l"yZfЭK/GSxA^b g60'-834у#I<  \& R5n#ض'+ք ߝm-(r fkt `b!;)X P* [|Inu%Vs^7Ԡ1ɍ60jc \yq^TxZ\S>2φ)1"bc{rĂ߶YkYK}OfW1<ڴ:OP&_RE@y@"v.5JB, :%r+#8JgW=:ih4\8pL<]\r<3Qfd['2*`,q/,HF]>-fY.:c>ូleXoNwf <F~D\jrجZz{BiZ'P7'of#T G G8.SX^ʨ ),)ȥz)FY_r! ~0=Lkӂu9*8{flL0~+:\L Mq1iѭYmtCC7y=6M1؛Y_s_G "*ffD$)HR %l"5Ȣ$R eDFDDDDAE`L\"7~-AHP\bѦG@ ;"zmߓ ,dS,FGjvDF\9Fӥf15AȂ_1!W:hsyll[$lQwiW$ͱKRT14䱐w%)#ǔBkA`˭|MS.1ƥkXȠ?,vP&$5RBh0sV Yϒz n29/Ks32b2;ٳʵD;Sc%6FCQ.`a_^-REtV˫hv9E p{ﲮMz9Z1BH ,;~*}]cY* PER!]_pq08\l+*=œHHiCRm>rhW jb×A˖ =x:kD,ZmBG' ىdII:Nm;@@s6:^( P)y $Tml " ] ,Up |y&[sR(}K*Qs^*r z :]2P1ֿ_WQW`lbƨUjS$IDȃc#9E/-76e/AD\c%%{I{GJ?Cjd܇{׫1]shn:NµnT9Q`G6|=P`|qV zP˭ƿB%{p`f,ějuWkp ԟKsz%aCAnV2Ӈ5+؋uЈ{@B=ֽdRC, 2zrψ2-/_U+%O}q9^,v|RM~|'ݾ{z+p+g&Pnj6U,dXT53}(HVIe > 3 3C`'"A)AzRxQ?(8p1c s`ؔؗ Bk BȓaՕ$,qnx/FΌEyZF6"Q*ՀPj1nYF^Ɠ|s*F7ıѫX)lIE "[h⃊}B)sQ?30?kF@%r6;:sl:G Խ$2m1R\D|W[~5k3)zCDWDUA rH2ZYAc#c In*4XvŔe T/>} d0oE> jKq U!s;|cBTlp%3 R$C_nH]  s3S0MYCѼCMnnVc #GHN rB o9nX$'*(#ܝ+\\"{"u^32֦U,T[><d+._ H\X6%8?iNj~!V f^['lѿ[AҦYcVg,`L^(A_2bƑ+R32;VCNj %aBL6-%0.,A_OBIJW( ZOw HOL-Nonstandard_Analysis-Examples~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy gffg'f0A[13===3[fccbfc6fg7&c22&2b.&nw"#Z&/////////3._5՝D_%wg-UýTy*d^yѻ x/Y⸻;;*Gw]mG^Fh36o-݈؈ Vc#jv?BbQTc7"D mQ&h 5#+gd^ec0c戔QFG"V4aDVMQ ,rZ|qqwqU;%,Ia)rZ[ JbEe@t~yWUCH b@H ?!ZϏ@C":#"#"#"#"#"#"#"#2"2"#"6 v ozzϲj'hK[Ujպw݊0Ŭ7WoWoeggWvvvvwWW_u]wuUg^tnFLUWvu<ƳN5Ukmw4 Nnmߍڝ謹S9ٙ}YUUYGÔyyw9RWin]UUU]U^U]U${ުzzzJ5S35SSycifjzj+wr*}wCwGCuD2LCP!WOFC91 BhGk䓍ND`t@lFٞ4w4by'z}TŽ }fѶ<˭B.us*:;eNyF]1~ݧnls)oה#![-]B)F:V9³ʵ}si~9xPg{"ҽS X (Q:E"iXV`k0l̒{pI毒QRhH6zPwt-6SGdt:U z\@3bهw^6d`7Q91,tۉLpb%O#qorvt |[=SC(h; GU%iHk=nYP+$źHLE2߻R5$֔C?.UŔ}%0z[˜N>F, SW&;u1-'o׋Dߋv\JZ)N,3.PNd, >#>˜ _,QnKshdZW*JAVn,VEDM/bQS-vSV*x-OHS9.lw q VmB8EL>"BZcoqq_Jd7jk"4T|QۮxaP9h tb09-A7% Iܟ 0p+͆Mʻ%ѫ%ڱ?>)'ٛd30%5U,9T|.4Td> D!iB)&[2VSRH|51}$F?9^y̓S ?ä"0IZp7A!f==,{6h &r=$zkim&xy:$ݪ~㹏;(ˇ* ǗRU?''*5|ۤY&5k@7ky!U4QȅE"*bZ*MRݕ` Ʞ17+*2ȣ T@ CC1yH( Z)F3p!#!X†v"1Kx(*TFyn5%t3/AŚp϶9|{iap{@"TTs] 5%hVO-E&d񸊿oO TXtkBKN *pդY Jgoc* ަ`tJUK4a[*D/E uJ{wغx\|ix O݇+x$c)a>?g.^ZLs(R&}?^?QQ|{_J֝B?Fc#"lN{ 9o@I#$yEd!U@T tSRoa^5;[B Wͧq:]#Wd,dlyNXG?8HsIV1`8u1-\ŷBc!p=„X]<>v9QꕼY΃IQ1 UN[͘{ZH0DAߧ#.*2&aǐY ~JA1 }ouO_+!aZ&)nf=,!"BP7dmE^"zf gG+s]B'EnL1~gY.{L-C_ o.fy>A)W]صՔo$. 1p~3tf(R/7.q Aj^b.rL~y0tG;<ۇUN9I~zAYRPn>::MOF@hc6E- lMa>$)0b)J`f6YwE"mrK(a vՠKj 61^,m?ѶE!GoYGV: d }z#ulrC%MAm."$% {'bsW^,|nPG7u˓DPS.YJ@ġyBC I1@XZ-;B"YAZy!t? _Bi)AP?WG~w_<_ +RZ+K-Cbica-|/.62%Y}f+l ')x 2ൾ GL ?Ѭ6ư-# nDk@5a0("dL@۔N 7ls)n.+GfqBN;G++@ q/!2™E@y"S|GLZHݦ&Wl@';NGx B ɢAٮ7@OC#z;:Ԁ>Z}rAl[g]Zr?>ipmg9r^%h)IH'ld0ȋAȄzu+" ]`PSjP 81I;)6/̶hW8PkH6<3aW&O\oXAТ%`$7cιԄ8׬ zqTí[M# c ZySRt$Eu@`[֠tB r빧3mޜ懊c3)^{=V ˋX/o9REǑ &oHY3ni~A`aZ@K"1CQM֌"!Af〳ɲO#ST(9/Epf!4yV=QiؼkR5d(zm[*G\.^?pVUܸ$XJhGd`y FLKLJw 4DrwB޺I῰!RDC}l$(vmeHc;;qVӳ[({);#w wdt|e+{'g{>3k: RU[him"dIGT9kXڌZKFuf99i6JF="@8;ˏxȥۛt5-ǨXI^dm` UgCl+I! ba{>1M[Ǒp+_|BX 讓a E||p4か"ք]p8'YpSuYs0 U~ z݊%%Wv\=a!/qT(kܟ$='DDo7  Ģ7= RDa ^ |΄yӗnbAɞwwS}&4( C" OXaWqqZqEy[8O$;7^@l[ ^>ҢGT..24`u3I#X* r!K#/ ?l6ZZ\<]7k]{Eafu iyOKPD0wl,+p=޼ Jf?Z_ Ϥ(=43f4wqTcnZ젮=\l WTIP癩/#':y;/ ˿ZJs @ޥeq'lq^/m!K7l3>Eoa63R ݄V@H:(Lʣ~QVj¾b?Rqr@_O"%}op3 FO[r\%J/t])w8w5yO+dZ- P"xAh_]8p >q;dvYenLhw/۪` 䲾A1H,AahW;N)92n2B:67\`oQQ> v$`%2,zX'%+پaem둃oF0t'b*c0Yl^1_㜆 6$`i`$BP &Z.xGΌ;84@S0@3b"yba OFȫS\^ *Sm0yV+|\mk!(ۍuN<^"t8W,εt+)&TpY,ac$P4 WNً` mUWՆHl_ŜB= w `=`JZb KDeE]#W,So@V]>\~Oqq>?K;L£/w]2O~j 1j&~̙~%!+!0BWt: l%o<Ē\UX$D6d)}`Ƹ ^PP^ tFH6uTa!VLA207pFP2+" `91%& h1 S&UP,:n[}8gͲ "M~i$AB> Urq S`0pd H`O.y $ $0N赲@uޡv'CP C/rB/VH YMg?﻽ݾ˽XQ8 ˼؍ ]]m]d^Uh,4t7wws;3{[q{{qYqwqqYq}yPvwWo'hr4< x}ח=9ZVVfVfeU^k MoYUYyUWuObUWYY=9yW19q󒓓/r{##;#32Dikax@;nǷ{̼{{NJYYYks*V̬1-{w}}}- Y5VͪYumխUknUݭI~dt^nvfdMc]fuF~vvvwwvvvneUVfMtwfeVffVfeVffdLdf~f޽cfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"bG$: @ PE"a} dD<8\ `P á@8 !P   WhC-~{_s1#C^'Jy-34A ިXMݷmT$:n1;[_iJ,*[ 1jЅΘW)Q!Q/&w(b睶 Y2G~:֟! LJ?0~oZLa9J)_yKI<ۑYJI1T-S*trqe !_:o!r Xaj#YG9e0T jRzM=, rN`(HY3{X@ ttƄDgj xp7?0{']WG;m\0ne v n hS:ZE*rHG +`mpkbP EcЈ:R|b!cZH+׉BKV߀p*j)%ǕP㇏"w{ݔdĮhi4PDyЍ52r&96<%3Etp<|cp Z&072$Z~臮^ҽv+4vA:dߘ?R.ct8X &%5# q8c *!׿`Fp҅Ѻ&?ZBIF VSC:}> v {|S4lg%$ {L_a* jDaF S#oO+ҕx lY'Х>7{m6^3t*uV9OcywFnˆY#͠7gh),Sp7<-```dYS)~Ԩw~ +XHLEz8f\P+%^jLqC1$cmksBrr7 #ԥ tHDiqX>1?vcTN!ޱ 0* 5l(oss?@s*k\k'r)kמ+pxtKПݹjAʼ,*O)) WEc0I,I- p酇Eµ#g,G2SYE4f:\(HŬXHVl!Tty! +1'vְΎ7Y(;4t l=0[h.J_lx#f']zO!IՖ,]f,a6P*Qئ61(a8!y(d;p4YUgX~RQ<*X1Li,G'etIGJwÐt4Fs8hhuϡ@n矻Xf+jpky/sM{ h&VnAd!+F!L$!$H3PEE9:'3 hezˆikŸxu7\?a[K vӰ;$-2(#3 Ocމ@`ypǗYe(ePd0>*L[G2CǘpL$X'yDӓ OPXR{n)jN 4FؠF̘xSm1\A_/Ѯ :0Eѵsg\D{`]ƿ 3{- SZQ59,؀tF nR=X٤\t ]v򥡾@Nw/ryCc`X:9(`sʩ^'80Yjj V<5dp=y J fTNC h|+,hAtSYi#2]3 jď! %<<cK IJF{=r(T-Ku #lqR{f>@]n=&S96ZlxA.>/l6k阂T$2U#Jґzynhy{miىUԐsXcĩn42z7@N-9F^z9c+قf]"G&|YVG{CX@&҂8)`PW"4ZCŒSTzA sB WEtEY‚dƭrN x>%dw@=Q h+:K'cv0]ƅ'\o6p]< (ǦrQl`BbPUm@T5FwȠCEAAd%0[qw AhN9P||bDW-?ೌ3a~*pjlk S4)M\v3ZAJF(N b&\ &;fZ1P|(E O@UB4,&:pB~ƈN WH?ɉ|VYR`t+HٲkA ԋ{k=(ͤk{B0gED@W#Tώ[Fl Ð@xΧH̦ i,Yo* 9ɟ&޽RZ?}D:hzs4rQ@uH2-1KLT<6I˷0@H eN% ÚY&FUbFcYMuV3fΥfk\IZP2pL4[BZa×Or8Ւ߶FzC,$tvZ47Pg+c`-vɉg;P5 0얫JU[)eIdz1[Bf;FY飭*8dQ\Jl9 {h_Xߦr \-|1aۤy\g2} Ck5> JaZؐ &I%h`Q!V<ڰ'QfTAK<=p"Xa$n u}Xe㩖Үt`%Hp # -CL7G 70Db 1P"@tH# T#S&}l4oG޲`G>4QOA΢}}%|5 2^m3;M e 9+'ƙz7zM8|RPƣͼkAZS6ƞ:1 ]LίұiQ]|CIߞ|F\؉, r.VnF; 8=Rm hl[ȕnl2"&?{a̸J' rUF) T~fIs `MkJzPqjdǃR<,[w4 sz /A]tm(fOf SX2 gSOa1RHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other_kindsoracle fact bundle attribute methodOa# ^HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/thms(/` (p"0mRr۟0# ZBq tܔ4ҥysddp΂C(|2枇If3D>iZ:a`Ӕ"|NcapPpMk GÄ,EjIH!~R5źH]Z:i}:\{a(F70/ Z. 0GY)1 `VA w3J'@NzI$G9ðrq[kJͽ&1sT(oz> AJqlL!Y[bnC0;48@8Vֵ= CLB4   378 Ij.Z%Oa)HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/parentsHOL-Computational_Algebra.Primes HOL-Nonstandard_Analysis.Hyperreal  }  G Oa' ZHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages(/`/b&@3^;>3e~( %%&P"WUV۴R {Qz땁АeLLsbm5me!=VU mI<"4UvO0s qھܓxoWi--*]vݚxXX”V iXESOcv%H[-WS1f>"U*arEv5C!rrNFq1NϬX| ̭IaaqQ* 4=>)߃r~|qhj=8{YMڒ8_-p8gl&Y_6fmԷ`Z2V"E7Jiio0j'3}THdDdps)G d M0[vg^ =fCgӅ贁왴)Ai se"hYRx"?v $LjxB5)jg; #!J(iD, 4;p2BxuPY2Gcx@!r(ؚ^kgjnn8_ =3$BxO:PL-{K4,֑V'Jɑkɏ-]",'rwrjlvA2as%Se:; $ւpYSR$L 㣛%geJc* L`Cd2%ʅdDF7$&(7%uRy?h2"y$iZc`$ NFOXFڙʨ S%4BNHGJ_SeKH6jѣNAjlW@r<;y#= yR?ʰHDɑRbqr3o GHOd HOa$I u.P9͋]蚵֠Z $Lb( _բ~T"7z+B2+3 2;F,kws0,>sE Oa!vHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/files~~/src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thyeOa-HOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/document_id600Oa/ DHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimestheory/other/fact(/`  'p#0a{sbI&:؂MfsSPPrsecpΣHεxWLs$K"@ F4H $L<<(qKs+kM44&I>I8 <-B{  7%I7Bqb-Ϟj_JQl0-9)F{&Z{-A"je"LYP6=WC*)f3pP)VY)VYBƶ5"֔Vi<9hμsT-Z|aSIFZ-X.i ""(kH}>8Y4K%: Q ^4qRbu*{Q#`,^׊?.1tht\~u]n;=W䠑Q[kTƢB46| !1? w*UC Ⱥs $B9BH֭@4ІaCZVQuy U!@'j\06$ab6Jn#s^"$6e$ CmSF\)Mha(Aکn6iw-\s֜vfjyҚfۭ"sM3LG,kVʝk8\f^dV<"jj{L>i 6XC72˿ FjjjZ˗wlNENŀQ@X"V_+lk#is$gbI| = FkA׊/#%Hpr#dNN,T[j5ؔrp/P 2z,}Ez|,K[ u?z빶0k*4kǃLT0EօTK#,L =A㚘XiAT^D2oY:f :Gt!"a\tp@֮k-R* `Rkh U9i $coSF:Hw>!s6貭J9jX\7c̣n?PgC>S'c6jka0_LqvDP̶*5j u)(?NVc{cm9{CdVlOH5w1fQFcM5v϶F^ɶȺjӺW+tQsQ.kޞ-bcntx{cD^!--J!_E r%j|gz񰿧 UZc!vs7rp Miŵ>7D]s[ٚ~qtȑ2f(6W2ٞݗ̰^8x;bC{lO.聨sVtj8Üo+ss%ue2o;RK$qhv,,yETrFNA"⸥,@cY#7/4Ub9)~%";T{rBDgT/ѡ ye$l%1 t W80ϡPӠ1jrgTGTSIXS, ̎c2]`qtE_FDM"` {G)-SŢpqk@gɺH3m;>7&D_S lqA$IYt m.8*)?dMKdѼvHdr Z >a} ecE6.Ywy 1 Lr2!(ijc[ӽ˺K/ODb%Z #Uw03D@RoI8|9so,exq&*r/ _ށ@u3/@r?RD\A&=yX~:.5_:~l5 3O<94Je :MMDŒdb9 'Š3^?n6di>kr2( y?g5~[#yCBie. N0P4~x/n$ZEʟ`̞) #ǧȇȭ#|+b>aš{,= Kyωz}`DT[#Dﵨ<?)m-]`LH(ÄdO1t6ZMD ?V* S[{Rlm)]I!C+|Y\5TnWX>Mf!X\lo/5C+6J3AF\&J1'f:kPD<+_BlxM& ^֑T(rd)1ho=L"6UEsuwYY P-T7˂#2f`אH;,̪)&zG }5{D|Oʇԏ5 d0 hOZ{JȞ1rs\+v4%*v!  Aa(aIuKQ0"a 6ZD7>bBq X-/gAE#E͎h8Q[V5-Q`->-fcn#r l)(R0?zy/*D8bx*ňȠ[<0 Y9J–e9~ˍgkfH]b 2^P?ь\9yڭ {Dz6Xb_BMu7|!F:* #hD<[+`mFTXC:c89^L.n(06W;{G@{w[b$jI(s "nIgB86Ċ@;BGA$U|SВ ܾ`_r s_TLS}kpZobx#gx4U0QL\(R@ ˍ"rEBRYy/jd!tv=^} SpBP0ic^4r"ߩ$m"#?Z=E-n%3[ 5ȡ(>lX,cg .BU 3iSkgMcgOT]ǚXitz^eڐhJ@Qܾ\#5[(g?alv΂j5EM|Hcg5x:+CR#$~.w B&QUsD*3P躓98q8qeE`.hk-?3S =jp*9b*dz˝B\ɯmgb B1ŇWh2QO.dPw2nf h+ВGN-EI.Y)&6ܲЃa"W5F9 ;rc>c bK?ˬ"$ a_VvMM\fvaD ; O %TᰜOhɣzLLȃBrdJi;v *A D e'м1|& +'ryzC)e( c͆G↍f)e3].~y /R=Ɛ\qѻsP*/Gfc-1Y;jI*){gd[D=6r+DRүo:o!*P܁D%Y3 3An8.GsiAjy^:V;fB4 'gp}եGXeE|DRYE5}I8< ("֌4,Ymԇ^d 5+4Q4+#"3>Dh-TuFX].(>+_y( ~/DKEлDh`T/<ߤ:+֝)#Hkeq+1%0bn/M=:&` ̹t+=0AvKɐ]tIa h,#nzbPU0'z:6k4Fw%j7Jɕ})QݰIf`B(o@?.5IZNk껡tcw͍B &728 JWAB?oh|xǶUqꅳ \OGiioŝ߁LyŊqO{'po* !'-D𶮔#x 7nVD̷!Z$@.q/52ճ)Y_?HH@kiTЭqMZ%qY9*Rhf9#/+2,;x p e9%9UmCIH+6z`k;Ճ"Ԁx~Y윺~ ByS`y.qqc]uhpGbb6^ ߮4{68Z_{r`_2CqSB =L6;?ܷQ"|VXPES Ǹ`T!BCo/*@Rpc:ٝ+>IftP*2jPpY%&\jq1!UPeX-&)W`}[<ڤ=)CQSL&]buY~q _8Qې@&+RuKjX4U@:rASt߀L <=ډ&vmF՘WſH,_#FmTK:eMkJ Y+pcR y7S":]s W*@c:$QKvD*D5(Aw-Ź%!DlEFVӋ xl)gؒy"/Fۿ8|AR-@M`x?5W8LS4 F ?ЏեskvhVQѢ:wwO|X +/;ǟhx\!BRx+IH9j5(zҡ/;v߽d :`T"2⺗kV⛭c ZB3Ћ-nT-u3aiE&JTC1ѫo"-w;Fu0 l(5_qO ^[c.?HFGCJ:h%8LJkX 8%6v-kƘikx4e`KiD,t#=D_rܓSӒ)g^m aW`N35`2Nfh=t2JZW}29f&g H~!`OHȧ [ a70/75պO[һ 16ravHA.wE?k[񄛫:+#)5 )MͲA#f 'exv d>hYÀ@5P9A[ ͥsv=/+LyT1F/4x`R$S2O{9ų'=)P(QթcM]2p93N 1ClO T:wB0i&UD BC d|&|N`89%7Q,s`<|J5~W5 "`r<7 P%2P`]G8gHgǵound$M]R+L)`+kC Hwo85{YR0[J}`ݧ[JJz .g}y]g " 4.ʀ}Vq+bh}( <_M U<\(Uim6:Y/}tUM񳮸e|o_F9 ,*$ؗUG4%55&'uOS `!QqkISܩ$xw *ʻ>a d_%Zs QPX\VmG݊Se<Vee0}~%/ӝb S^|N#%XlԵa g5b:_)޺Y!@DTK!>LtZ'36,Z!e> c'0QFJw* UD$^4Q}NH&zEEOƋ7$%yOݠ|7|oSy =(ήAJ[: ָB@?B 4M`3bVE~%;7԰ET (o8 C)fb+(z jҦ Go2#C1"6-sc*; :wŭ)"J96e2p˄ )R߄σMJ11Nj \2 =$gN 4a0d*㔤i`FNDJ&ΜM %-dJ$gAZF&u2^T _JBHMB `@=,+ %9Q=S) F""i`j gEsnkmތH}*gtlc)e"h.#߸zfUڳSćJLP,3w`YΦnopM}wDIPH$Oncժ}?2Ra(Z^F&dF[ZCQ%^R![8oF@ LHs|ŎӘsھEUs8Yci̠)WN9mKAFq[R?k""0;wX 䣕p}׭/;d"IR4HP(  a\@@8@ @ A AaB* yavMp=>sWJ{=+"愞ױdbhD)O*;['`!2ZkFft'^tEXALlp%h^ pMϧ)|M>K נx>Iʴ q&l]y}x?XwInJ%RBN0BN`Ri 7bMGZ!t3F[U0-2]F (林#m5 [At͍Цdf iS+7_Lh?@bu4/8STS 5:i.VtM'Rʭ,ZcW_(zUYdna92{N1{5]EL\7*l;Fi n2[cK^͢䉭]7CBMltRnϰbp}Z@W: Ě$7NXU9ц1heUNI kBHzv+b.gxPw&lЈIY tî%&_8 j#mѯ\S©{9bggG)ӟJ\^f^"(9߫P#z B]( |ƥ-j*j 妊 Znr]chI<<#F* !w2✧-;A(k0o<2uVJhi.{17;d5^ dL='j N7(Y]'AT@ ?( yY!AwA}"}L\1Rst.'O"3; ]c9xsF½*WS iu$+]']\Pep6Zl.&LYOԀȥh ZsTJ#;I2D $\F \:lHпN(;Pܸb4 )CA?/l)v]YsZBHaatV\)20 )cxj ! X?v-B #5S8_NQ3NT 2EG&Z^8iw6%l w_֐[M<~o\>t(3i=l[{wRTEvJoĉ4nR2*:5: `k![mN&2rMUV{v!g\osfJGl=alЫ7d E3A57@yO(;XLapgS]2O{ L/+Ù/~hP'P-y2s64wupnz`$T &ą`ZG]W?jt[n41p${Jaq?Ek=>YD\@4; 2╏Vօ^1mQpZHb+։l\p̱T9BU b0s-{#Ṣ-ߜz]= ªT1oNY/d#k9ʾ4$A l@Em(9,!V*ջ]$8VxIfG3/6h3F %L0":s taG֭bK}Vޓ AIë}\eL$_Q8B99YW8b&pdrZ/ M,xP$ςۉ XpӋ.7S§V0,@,{ 0Qfp3; f틭'$1wnQ^$DsoEp&0bG\+.{(O+Ejv&>Lc8ٸǬWpRJR1h^^:5FʤR2paUB߶֖mo$p.dgԅ{a8e˸*\~dHN%ᡐ.ġ!ŧ2i NK.p/R8zHnb$dh [o]A;AYHyqCpC=ȢN&*iɜǹTԵ6q8ە-W@1yK B`2,_ ޅŒU W ۝%Ms<`j}󚵕Xr+!M3֗6wbCEed6ݣ$T*&bgV?I!J+\8.zCT5{UdSܰu)Kc^DDVXߙ0Zk;}j$Ńsn+ &qȔsTu`S(UԿV:Un3(*'2cܫk<`\ѩHQUdӌQs)T*SdrAj/8Akᜟlc5׀%)61EU/X0z>y#H1[RJ JO5|:]T=pj`ç07 U?`j <^s}-Jh,l#}ƻg!.'z hIpUyt8P`Xb\6<L{BG&μR*F0 f G&l` gzx5W_KOݔ'ȖdEov"ieV_%Ơ}SqXDMNuZE]c X@i׉ )xN(;|1RTuϲ1Q*gӐҴ2McQ͛o3+bh#2Gi{З \yr*L̑[9,\[o `R.*Pyd-8y8~2DXR@PclC['d arLϽ@6$@~wb iT$ ,~E}"Ev$Ρ,u'21G/ǃ_>)`b5:ȅp sEYu|hqj I9xEV(7Wki̼tx*\(F\m#%.<'I5R~$x hOR/n۞!zӂ(H֤F!R@z]$}Lc#< ,ҿX{X~j= h^XSiA# /N2ш"Otzk@AهOb;\޸B](R芄`@8*- *`"0T¨Fwð(=^W#8ؕ\LCL*oA3M?YaWMS,WDfwFd @}4 'Z0[3%H?RG9 aV'.u<.xo mL}eI\#&rIdI_Wj\?JZs̯d(%T~MEAVB5:KŸ*ß4?hŶuv:r\u]EY\XGv5b$ئ fcwњaÌ(/Rd!Kҡ^A*N" = ̴Ft9KCH+fE}N CP[XXB.aU:}Ğ5d/ngH2̳"j ^ZۀilX2{^-"Fm?*mL#3sb.0=C=J%ix1Hg"M|׬z!sB>ECS",+[z.V[`I:m2*D뤮 䫘(1}a/)m޸TjHD;)?aӿMvSZT#U]jZa[N!𘣲2!G^>auCo0 ^4[b1zCJ #Y{]@T F, ƔlƖ<1 {^Q%"K-B1RKC tc3SF7>LCr[ 94fUU<uT&N P۬mIspVFoſ""B^MꮪGCH.q4qQ6]E蘜!r"(Py1Ωi07K%bPmTU1"qv8:Μ֔ uXfNΜڿ)%]D$i5.bfFڿ43YeCl .} 5ſ_˄GѤRZuC1طUqL&*kQjʌ7sэʫ=5w+O0J(9vinqF@ dwAG$ B Hey*@p(b a@1b!B!BAdye,^2~n)d&쿺 ^QyF>x %nҼԁH'],]mގN ?v/t/u[ضfrQ[KWa9] &e<gNlC?ziȎ36չaC^MH=hf%יɢ/a;BQ>m _͸l<"1>E,\S7V7-tQ8z*W%pydHioĮk{xnȓSm6PwʢUB?{, .Z[_з=, Nid5!IZ,;{6Rm=_,)% #hȋ%/_eO@"6J ݴD[{`Z+QXcHvZ٦z]=' GҩѮc fEׁѩ*LNpS^^<sVK\OcšĿX^0O |FHkV &R@0? H}r22zDXAw LCfGfZԍk\{Q;sxL,51ق(/gB%FE϶w"u/WrEe(s>$rcif+0H@yGWTلE=kNo \?y/cp{K]m)ʱW]E6W6'K_nB6zMQ V{%Ę#1uP#Ҧr҅!4&۾o-waAAT:ũ-Š+<<|O7u\F\rH|K\'[Wx" \ү ] \=UmB6F"16$p }2-S =PsjBϽH].a贿6)6еmbJ!fvO(558d LQP O0&#]lA' NpEjApZq@LД*$ c A}IHŜоו|oGG'dL슒s̓I3wLחr/Vo 5'CL4ӓcc(<"hR!$#A1؄~dԆa!)g>:/ͅnZU d ?snu}@i8+j&]Gx)k+!!tE