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  ,$4 ]/ HOL-IMPP:threads=2elapsed=3.884cpu=6.688gc=0.236factor=1.727zXZִF! ]ŗXf1-q恈@"aiє4$K4`W?&lj RL_Cn9>W$h[JdOjSSڴR~f"=|pkԌ+|< b?52}) D=;@tpÍxxoo5%u8NVf LbqgYZ7zXZִF! O]ŗXiɟ1, u:e#_ ژ\ıH[BR 9f'שL)ibgYZ7zXZִF! S]ŗXi%;Pr} {pY~}zjZ[.S@iLZ^@! ,3M*~1҇v0x(-ΜÛzPgT%.ݷ*WnM}LOTaKES |XmLf]1a p4iGZ%R w C>1=YNckDBi -{-|L9^ދa u~FEoel#iJȞMٞ=ț_S8V{koC`NNd[~"QXd+09SDqC."S0bJD"/klty S>E:!3] ?k :gbL`N.fY}GŋUt=K˝XmiHpPt:rWvᬂѤGBjB1'MNϹ9,_Ghoɐ1p"03aQ-!6Ul3ἷXuӧ^FjUp[3aO!)/-gYZfc30601e90332110ffe43d625d005ca447490b4e4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0   HOL-IMPP