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  =1D\T ]% Perfect-Number-Thm:threads=2elapsed=1.763cpu=3.176gc=0.000factor=1.807zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|jYnUEtw)5{F! 3V& .%U,oZv u q~4YysƼQAHʱgYZ7zXZִF! h]ŗXiɟ}dѯEYDovgZ#U5%;ʎװjX={!.uȘZ԰p v-h e]s鿐vvEuFm_0V DgYZ7zXZִF! 4$]ŗXi%;уzL؄9$lϓCCVYDIe q/NN*V0A5:Dw؊:Jkk5>ju =5 NI ѹ'˹h{KNOHf%LruP3gZO8ccӤz6\YHsyGZNW Sw|Ӥ"밓aI*GT53PR%.b~nl5Q-t0L;fkJճIK)^9X^{}]ݑbǞt}$1&`"i|3[ ']W{UpqQ4{&ÄAT!|m5&Nc,Rl =2ApXs$#UQo܁9¬ʟL 㫁C[T3Ewȁ_J24L**ߥ6"hCX<4Nw^;qZ'Vܟ.\#H%j2~*gYZab2feebfd67ddbf397eb5306fc2339a5a164d1d579d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 c0d2212167485df5638311f4a52e87880eda6ca7 1 Perfect-Number-Thm