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   |t$d ]/ HOL-IMPP:threads=2elapsed=3.943cpu=6.568gc=0.184factor=1.677zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL7 VU-1Հʉ OSU1_ .m?x,SuWXʲ2:sg[ |#ڔI/w86b!1g79j-xlθ@Eb]gYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\IJ1 `׽Y.p\l[[%QƁ]. 9C>W'=D0KgmT4 %|*.@3M*6ibgYZ7zXZִF! )]ŗXi%;c.O(iJen5(r|833ݰ/E#kuj[,޵Sp;v"j?rcWMJoOla]ʦzS"{~)oZo#j{XxqSjVʿʃˤˇF;A?U oȑF/V-FY+n2`bJ : Q q$৕cVX)0{7p9c~yj" 3 1X8ѕAը|o-G];{5;'mp!HA%uR @n~ 1$9Mwބs ۢƶ(;b Yjxyi!ԋvQ}Զ/_‚V/":Π#g ^>\ˋ)G0i<+W/mG_$p1DÕFU:pn`Klzzq6<]E#a[^%%UgYZd791800d81e4fceac03cb20b9914ff6252d055da047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167   HOL-IMPP