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,D ] Stream-Fusion:threads=2elapsed=9.632cpu=12.324gc=0.456factor=1.287zXZִF! ]ŗXf1-/6vR[]`\Tu}M-*qtjX`"ny#90l)/7CTѕhxXi9,xuP-X(#"3:9fpgH+u׾~f*&®qǵ `׺",`h{u.hN*,Hu8cp!EƲ3/uT~+k;,"w4"UTyM\9H_0l |!aa8Uf,7HgYZ7zXZִF! 1]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v߰* ˮH/ecqY+}3>ɢg޻'­eD'wj&FfD¢-&0!~$gYZ7zXZִF! 8]ŗXi%9(O]P@u62?,/lw8lY >S> Pɥ-9#)^(/9^-)@P{%r~*%a^@9쉋@qD6j(1D=2mbŭw 8ԼU,!k@)ʸ) z8,w5" Ѷ 1@F7])ye.jXnIߦ 4""4z&2B"ZwTU`iV^Jin?Hf$[ML8Z DH{Yr):./j &AYAΙxw~!uVժAQ~lVB-+hD2-Dic0e.WXYzd?'be~  Ƀ :nY/͓a鏬 0