SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  c1Td ]% Perfect-Number-Thm:threads=2elapsed=2.094cpu=3.948gc=0.076factor=1.897zXZִF! ?]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|j~_!2{~#gU呅E$4Z@o021ϱщ^aطH1&z8,(%)gYZ7zXZִF! ]ŗXi%6 z{x cZL)?]wzqG%zmcmً`[)i4o/wwB`$b3EOcX7Z2G/%Ǯfu`T܆ڝ,7FuX<{1uј 6'[叀T\:*<=JILNgH1cϮz,h0Zr{`Z<h`CS,td \?4PZauGK"*Ep[A P6 bXN* EK8bO1B֦imU7QF#ق#7%l7=BڞdYx"h|Ji@_Z\1Ekov];(R/ҪqC9k)%ftŞ28駾y3-w ^Μ,Y6n"x:W\;^?`z:%8gYZ15607413affe0518db605daec1b82e9ed70acacfe3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 7b7bd4c6172674ef9411fa2e8f48381a2c0facad 1 Perfect-Number-Thm