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  1,d ]% Perfect-Number-Thm:threads=2elapsed=1.586cpu=3.104gc=0.000factor=1.967zXZִF! ]ŗXf1-/6vR[2?Tš͸<l1ն3!^EaFt$ZsACm|jnUEtw)5{F"~;5\Ws7gʮ Di=CK3Oeu}0gYZ7zXZִF! j]ŗXiɟ}dѯEYDovgZ#U5%;ʎװj}",{+MU`#$;Q<-E&Gθ#߷jm] gYZ7zXZִF! ]ŗXi%92xNƘl0.zzz,8-L~./>8'a8TA;͌4f>SpY͒nwG=C)b :TC$^H`/ ~S38m70,j,QɬD( J,tb=ˏg%ssC:X&ھBj0.\|9@=+0kth6XE*|;X>o //J'op( ME^cz^IΝQ_grϙ,ԹyI`0f-AnOo8 ʛ, a}&q=ʵ\8's<-{8<+ϡjY),Wu-u#__enq} ij*f-yrʖ+6 Sdȷ7ƫW_H8@Z֙@=$Z-o`ұgYZ1116e4dc30f1407329740114e607e00135e764340dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c 6d50128481724861da7ef72bd088fc73f1b1a18a 1 Perfect-Number-Thm