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 n-l\d ]S HOL-SPARK-Manual:threads=2elapsed=5.218cpu=8.188gc=0.188factor=1.577zXZִF! 7m]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)}luъ}^M%/' ͸rY|C>BZI^FeCw& |S3weU"Y#_kQ|lHre\\Y KBSwV7RО,:fF1NhSJ.ygYZ7zXZִF! ]ŗXiɟ1'HGu C),_DaqnYgdLT_6" klE fORtf' 퀷ԋ%93v~7w{ŴsP\&qˀ$qS1<0X%kTy&$C'=z^@)2 idGg!fu a|ͣτ\ŧSQwcDl!{/vnl׏_:T_'h.(ꕺO! Kf_<&b:]`*)ܤ$@?Ώ9ZHίo!rgbi2APaWgV(IK}.ʳaiKU-+flȠùh ߿e{;}9b_*q( q*!FF)IcHV܅[)`tWV諩.L!yZ's0͵a =T-<^QUxygt :4,j%Y|C ?3JXj7]9gYZc7f86b150af88b45bded53510f0dfc9c481020e9e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 f8615e0f9fd21380a30b77b96f61289100ca82e9 5af12f82f9a5e28bc56ede55c0c5cfb4c7c35e94 - HOL-SPARK-Manual