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 ]/ Binomial-Queues:threads=2elapsed=6.384cpu=10.788gc=0.580factor=1.697zXZִF! ]ŗXf1-/6vRZkc- R0vP< Y8^j߅_c< v&q&Icb$(nĴ޺NН\#+Z!1_ Bo_qKYa?xФmǧqc%R:, Sn uhثL0y +,^n@5ꊡa*6{f@FO9gYZ7zXZִF! {]ŗXiɟ:Jc6Gx&?==Q7#F#,vAc#,QgӬYiAD *p+Ԛ_$brݹy@bn̽7R jM6ZG/ ~%b)#?|)vF|-"]%2GA}zc'FWJjy ꏹW:,::mkV%F>>2 ָ خF281̛$ՊQ{gn(uTFgScRE-zDm44iC<ëizQj`?]|̏J!c6g Bxꀰp:Bզ`+Yn;5Oiɢ*B$@k#/qch92 Rj=V X >ĵ|¥![L3{cmr΅^O>rWׯt뱁K[&Ez[y5МJOr˂G2O-'=gYZf9ece86205f482b729edc53be2c2808a8e49f1e72722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea + Binomial-Queues