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  ! !\1p4d4 ]% Perfect-Number-Thm:threads=4elapsed=1.167cpu=3.484gc=0.0007zXZִF! ]ŗXiɟH)0!h]TN]$Uy!pRNFDh^AY$yR 3tOܬRLqn;DOP*W ʠbʓumsA'%_!\$ݭ\QE[;6wޮjuۘgYZ7zXZִF! i]ŗXiɟ}dѯEYDovgZ#U5%;ʎװjժ8Np'5Ǹmv3߾v s_sJ;ecPgYZ7zXZִF! _]ŗXi%D4GPFkPTUWXfu,u6`#kfԤZB<.U0^m갇I0~KSod6:}V=7 pCħG{3A3QGձ bX?&DH Դҙ> #m놂xѕHQqb浙*'vѥ46YK1!3G|L&pԵ(-vh]کq^CVkōLkQAnydcof.7K4RZ%ItT||ؙɗ-<8vON^+n6ۿ 3A$`J12 ^%w<\ cu1M3FZ?s0L߽0RVgYZe8d690b951cca8d986d8ac35d6642bb9b31a10bdc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 3f87e810d6f4aac373a96cd0dc933b83991e4a0f 1 Perfect-Number-Thm1M% Perfect-Number-ThmPerfect-Number-Thm.PerfectBasicsdocument.tex7zXZִF! J]A-MՋhvG"uIBm5FTAa7}ykoB;DK4W Fg%8=.(:-.%'@t"뙨"~pEvnZar%e0 3}z'ceT'VҥۼnWs1 J?l.e|B~ѬP>1Z #֠lT 8HM`ɉ֒p<X1#v xfY Җ5Z0J~31j2P>ؾï3ȝd R_pp7 1Py*Y?qG5 q@@R ~-@h8RQ+[ eM:?V{9gI$+Oj¿(:jl7qjP'>v fM#9Oisu*,KյZc/v24E.=>m6Wt9JeHO-G'$GnԊR9d^B87EE˃6ǀI@/=]-6T̈́jeg=.32;VBۜH("7/ aVKEx Q ވ"U~=mzz;ZQ=;&=Ȇ B3q @^tڂ{E66fut|{ ;%R3;* 9!Uu*L']Ki(B--)g utg!G1)⷇P߆#o2GNVc ecMJ缨emݟ~ȥ6 8 ,m""Z\lY7(XZ7va̟v~0x@6T Q@n`}zE0%F*b~&\{ׂ9<3CCa@,L3BS|hڞަx­gw[_0@m@2[u: trkfadю|jdv1mߴB(K{b&bÅ q2옇qoޮ)s5;P!Zűʏi~b<'4Jm |[L5Ʈ _ZID R7@Gɯ~F9T |9tnTo4iWu|j P{'oW\)0|gy3}9{fGWO^ 6<% l9vP# 0P\U2dv*˶dzH RSjwm-74CB@m5 6NlʪV{`y. b u w@)oQC_jUOt:|0g @}@<1=%Perfect-Number-ThmPerfect-Number-Thm.Sigmadocument.tex>1A%Perfect-Number-ThmPerfect-Number-Thm.Perfectdocument.texC1M% Perfect-Number-ThmPerfect-Number-Thm.PerfectBasicsdocument.tex 1M% Perfect-Number-ThmPerfect-Number-Thm.PerfectBasicsdocument.tex7zXZִF! J]A-MՋhvG"uIBm5FTAa7}ykoB;DK4W Fg%8=.(:-.%'@t"뙨"~pEvnZar%e0 3}z'ceT'VҥۼnWs1 J?l.e|B~ѬP>1Z #֠lT 8HM`ɉ֒p<X1#v xfY Җ5Z0J~31j2P>ؾï3ȝd R_pp7 1Py*Y?qG5 q@@R ~-@h8RQ+[ eM:?V{9gI$+Oj¿(:jl7qjP'>v fM#9Oisu*,KյZc/v24E.=>m6Wt9JeHO-G'$GnԊR9d^B87EE˃6ǀI@/=]-6T̈́jeg=.32;VBۜH("7/ aVKEx Q ވ"U~=mzz;ZQ=;&=Ȇ B3q @^tڂ{E66fut|{ ;%R3;* 9!Uu*L']Ki(B--)g utg!G1)⷇P߆#o2GNVc ecMJ缨emݟ~ȥ6 8 ,m""Z\lY7(XZ7va̟v~0x@6T Q@n`}zE0%F*b~&\{ׂ9<3CCa@,L3BS|hڞަx­gw[_0@m@2[u: trkfadю|jdv1mߴB(K{b&bÅ q2옇qoޮ)s5;P!Zűʏi~b<'4Jm |[L5Ʈ _ZID R7@Gɯ~F9T |9tnTo4iWu|j P{'oW\)0|gy3}9{fGWO^ 6<% l9vP# 0P\U2dv*˶dzH RSjwm-74CB@m5 6NlʪV{`y. b u w@)oQC_jUOt:|0gYZ D%DV1=% _W/LL wWK#s9b)| B j|; tѧq^ Ľ-~C`ROM-׌uUYm=*8;N@}О'!Vw*'|0{qϦ$}Kt,7 `m[/jʑ&oYnzbP"my6NR΁F(,HC[9 ൕ!ᬏU{Zn|6")'%Ur4->n<9}Ϧcsx*:v έW%{ dY6?vz@.lXU9Y#}X1A% +Y`ļ_D0Kk8ȣ`I0k:H l#LCe$ ▦0I+ _FN}]np>VH 20b*xY]= z];ͣz\g<_wm WѰtr|H>P4 Mj()pì硑 ;]&a#ѥT3Fy1R` B?.eܾrT_WC!~zZd\`+þpXL*M w ۪iD l\}`hjpf2NChbͲ=2IZ]MEf?שCy\U3CU!Ʀ1/ˌ>Aˮ9O Ϋ~rw!wgCK-UtN+J{-^WbMsr Ҕ$P_\J? P}y$τx@]oa!@ [~v[$,(b@sW#0e,B)y 15o5_3Oc P* 5btp Mb1I􉿡9`=7#qKEvz#e:yAsHyS?9d4PE[u*KN[ww1d\hIKP%cC; gQh;M"|, hzo3[[XԱ66ʿ}KJNh'}A~P 7k~7_6,4\Wʔ?= 57Eg~1)SWtoɡrRY"ґ F츦We2MWaYޤ&kN1<Ѷf:%GF5l,{t-5(#FDdN!Z0 Vq֛Nvx᥄ ؛^4-Lp\qR13$yf,ْBZ$H.罳9KNijBPcQ,J{&_]#YO(6X߿ x_c5Q{G B$7N^:w4bǥ pDŽ2rm̂s%[ASc~#f!< BU1q8oX%2㳤ao؇gE5{leCcnFg1|q ~e dx㌷$ ૘}F̖d~:z죉/ذMjX6 h*1bWtJ뤾7dBgqolU/*dB)Ց/\]1m_XmmxV¸+ehn"l"K)}knDľa_iOsxKB%Z5Ez5؄r%k敘֔b^~9/WgYZt/ڔ֣_#88l!ESr!Pg4MA4Z}1Ps])yev ˥GY3׀\t6:+OK)u x;  ( M};60 UA; :䊆Tٚ@ai sDW RlN?Eu-r@SDg̩߿G\0.[}ΧS7У_@R2B-z2w`T (m¢:nnz9,Ӽ;l,f4+)~b7RI)4~l}ZDNgqr) uM y둡pr0eC-6pCȼBOB-w] @fnf-֭CtJjU#ya(*])CtSqj$iKR0`q_qo9k.W(|2y;<P[1Q:O^M|!H?|@` $5؋G@|O$eUSagvpFa/cUUx&.GC=Ps'//lwð xLl0IѓU RrR pB/[I|'_ =q >I*`.[t$PC̚;) }^z;Kc BZ[| >58 **mc?Xe0bpUVf9$UhumAnbکtPGCGvHotN.B4J}YIt=-l3.뼘 p=_cXH<S8;ZSpBYR Uzp>l==f}>Ff}fk6-(4T :1,. KW ǿ{p3Dbx+zV4P5ѧcl-|Tg+iis0K1=qAE\.[Y-*jmYеD$?o37Z*:O)pf3j. 9 дJ]tqH/Rz,*Kȍڢ!os tgz)RLy<5>޸z==S[~-u ۢ%GjJ)L ϯyoa!gnȯ_b"ӍSseZz4{đ`:DXPgb8r4r9ܞۣM3"G8CifLxq, lX1%$>$GmDru6؁TGH)gދ^m 6Y>$+{eu0(A\gcEjs RADKx <|F?ao@P~Bm%z 䰌3}efnO:x;scRl#о3n:h 4ATOSB3MԼF]\c;\GI.wJY` 4!Ȁ`w8AP{Z֒jٱWCT.I M@`Y@iѓ=$!;BuQǁy~2];-pMkցy_{®̲Hw#$׽GQʜDD]"k`ug x]tgywհ/nWn EbTa='1xJGx -&4\QbI,OtHCST-eo#͌T_6< D w_<_BN>Üm&9{^z S@a-Xw76L~Ԇ?%s{̒ߟZ$ b]PI =Mb|B̼~(Lg\5h T@x4~4?~,w0m԰as3(; 75k=ׅJ71;$Pp@a0 05IJu昇Q_FQOVWciZꛅ{[[X r]2i{~ɼXdZpƞz*) r!rC!-s0>?ګZN%Iq+9q^ƺR~ FHa/pu['?#$R y_' 9" $D{qj00Hn)ـ0ɓ"o2f*h$Sf~FKL XRK&7,X҅Yiq=ܵ6~e|OuvB$ Bܜ8G(DAul96DS;Cծup+BybHn08 X.!xbs0 ? oRno>OdzbDDF3mvZ\>& JN DN3;&TLEcZh@U2C &Kӧ*3p6TPzDSQ惥HFqY6/*RZT|P !{% #!CZyY*4Vԇ=2Sõc-}d>RA)?;kGZ듦D}mkC!>8y0s#$̜?qoD1MvQuB&+nMԼ,[t])|fE?wDW &TfFNᦎƒ{lFb~ 5vLշQ $vZUϗ;åhIaÔope{wU?6-f(= \dtC;Vi9?>6W%d/wZŮq g.%\8BUĦKn=x_|$vq!~$ߵK4('@=Y}D>gj͂6Cʛm*l cPזh 41`>kLU,pڸ^[dv/a8J3k(蒢Md\LncVY|" X@$EGxr{C\QxpIf{A[z-f1rJv<巷`԰–d˺U" ͆m@wB!,X~{ D~H6Q?SIoJfH"0Sd&f[ݎ34kň%>j݅xN`dWИ^GMƃdk'8atsC0٩8dYev\y 5mCگB|,&riC ]MEgv:F$rSliEcN'Advw=jI7Z+0:7"dfQ!Qc5b5ߑ;_M4l i a+N3qaSثBy$оͷ983ЩK;|'dΠѽTRY X7&a5BXH-Gc8aŇ+yXGsSSЁCᗣ@K>P1quG2>ciwLk#o1} "GpD7⯼@C gq}`UV& ^UЃ 85|m&{h`"T 脛{CK[T;F׵0