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  I1\ ]% Perfect-Number-Thm:threads=2elapsed=1.942cpu=3.160gc=0.000factor=1.637zXZִF! e]ŗXf[&jLn' 1'IЬtÀ p iK^8iV؋2B}?i'iUdUqZJsN;\%"c={9 #h ,LGQ;bAmd(gYZ7zXZִF! h]ŗXiɟ}dѯEYDovgZ#U5%;ʎװi\6팞u ů5j{kH1Ib -;'GgwVV DgYZ7zXZִF! B]ŗXi%>g#=K:|Yf.N7fq5ؒQVj0IZ?mNK:086^BY6g 5N8-SHҘ|~9Z?ߦ"$Ϟv1kEi JBgxk"tsktftibrB[ͯH"ӎ!spWuj¯8鈤(~bWpIv Vlpdn,nͽ$ 1Lqy'ݲQ5Tu{"}\3@7| U]i=r/{b5F _B.K;ko1/=6 \_AI- L1n4Ԃ~Iq]{#.283k\n9Пm̓SzPvJ;lurK#x"e~4Z@,8zZK\rc, tjilx Sw )16v1G'^SXƤ5!Ys!3Q3Pb뼱gYZ7bc8f690e4ba03f1895f6b135b85fa4fa7f090660779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d5cdf963dd52a489e7c52af8ae9d3fb3a83cd098 1 Perfect-Number-Thm