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  n n1d, ]% Perfect-Number-Thm:threads=2elapsed=2.132cpu=3.900gc=0.076factor=1.837zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|j ޘqXѩX%  E6^ %:jJ$wC;\ךyY:a*8E2KLLʮ`rxgYZ7zXZִF! ]ŗXi%6At ML+H ;hx {AKdTʔWKZKo֋Jؔk`>wCgS1JLwa&l',nD=̀eP{X]SqX'(^xfBϫN0r#i;)@4)1aYDLMFi#=zT|Yao"}Wr~F]j095F0V1 ݟ+ :^~L3-sF 9h)X}}:k'3 M2f8AomKPI1Dxm8ӋYDNI:v80HnToƾE57ook#>P}c!+[);يCGMrL dwzPďk鏹%~l/')GkM9¢:3ca{^k'Zq!B8ǿx'ƍ)%MQgYZb95ca66030ffdc3af9044b04a9d8a687c3082d57e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0a0b61ef0e5c87ddf273fcbd9d26a78087d4bda7 1 Perfect-Number-Thm