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  F F7-D ]% RIPEMD-160-SPARK:threads=2elapsed=1.352cpu=1.436gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ.W`և9zi8}YZ7zXZִF! UK]ŗXiɟ5/8PY.i#%(0#\q>ѱ.&@k,XG,)!fgV2}YZ7zXZִF! ]ŗXi%;cj{%<[!'oqKHdGLD)>ar!vurG y22V-pHPs6^^oKhTؐ5c-hU-2ҭ#4Cϳ k 8CPn]U%Y%!"$`:v]tm>Km|ͧ;G>DbpA?ݔ. Au2NíQ쌡^s1l »z[ Ҧ K [L hTJ8XfUm,;,={Zzͬy)x%#A,"i,~QE"\'++a H7%^Ij&\=:W=]cb2Ws} xRJ 0_/jRBG/ DCp`Df9z4IJZ| vm'0pWPB"q _<EA41P7yv54sK-agYZ5a7c5b11cb7828e0ff2fa0b30ba4dca91ee3c6e379d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef de080a6e9a001cc218fa2593f399edf3cf599caa a8d78a36beb5c20c863849468a3fd6ce0bd4374a f70bb9fae4a7d485f38ade5503327d180a2d095a - RIPEMD-160-SPARK