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  =1<\\ ]% Perfect-Number-Thm:threads=2elapsed=1.665cpu=3.200gc=0.000factor=1.927zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|jX:1Q5RcJ 5"¦B&31}^#@XrY ~ƢEwꦐ^gYZ7zXZִF! e]ŗXiɟ}dѯEYDovgZ#U5%;ʎװiř={!.3Aٝkvb!LFE3_BO9ϿMCM`!gYZ7zXZִF! v&]ŗXi%>g!lꡛpd`ۭؑZs%CH^ܾ4@ ʹ.>\-O?Z qʒ3aRq̆Rޚ^ s| 2xN 0ŶX=ZNs:fm^J$6:;>U k$'TUc:>l4B{# HCN>R ?qƤl!³ʪxE-fRqС:dOE k}0Rf!q=Wbp#x,J~N_HsxnH)iXwzeKRfa LMFj~Q 7LeiQF<%ahNWBN,X'IjZ=r3ĿpD CrcD/X0K|EFFI?E/`a^Y.C3x~{Sr b߬s;\&_kms:<?45kVm3c0_{WւL`>Δ8űvӦ8rل}:yLꣶ;ƠJ].VCgYZeef494cb255d89ae76aece8a22f181d16a7f4e17a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 1 Perfect-Number-Thm