SQLite format 3@ . BBh77otableisabelle_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  %1Dd ]% Perfect-Number-Thm:threads=2elapsed=1.694cpu=3.268gc=0.076factor=1.937zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|j쿻ep3{D&#5nI! aU޺] cZxkc_Oeh?~šAHʱgYZ7zXZִF! j]ŗXiɟ}dѯEYDovgZ#U5%;ʎװUe"NH/_ #3 "*}Z;;ZPef[p] gYZ7zXZִF! []ŗXi%ύw4pnң@[CYFpTݸVR;ٌ:e ʕb0(ل{`^a`ZbP5u%zw=9=yQ4.x :6bw$ⅣܰlQS֎d=Fyݓ5&d4~3F!W?X!j&T4UZ\uD16<ۋ_ɶ]ڰh~PElS?>ҋBܷd-"qb/>8f]V+ugTn3 gZI1`y=E'2wݔtLIC0Gl8ETL%3AJ2@8q'_ͷ[VzX#&h=rvÇ2FҙvX\2Z`$~ 32ĕ\z_ ,ajVx SJ/\E>IP)6AhzK.ĺgYZ32e8ddfa8132330d30e69de75dbc17f616b39c35d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 9acdc8ae94f51e61fb886a7d4fa5f21c7bc97074 3d0a0fa72fe658b74f47f7a068aa5865ea34c93c 1 Perfect-Number-Thm