SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ? ? 6#d, ]w Knot_Theory:threads=2elapsed=72.900cpu=137.208gc=5.628factor=1.887zXZ ִF ! D}] ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY¾Gf_Q)TiW(Z! +Qf^Om}+|譝5b^(w'"y>r&aKUerV [P kBVx?4}v899y"t拓E5fOhhv\>IsG?#n>eG$2Iur/ǕT]3`WHNN6Ba[ ē\yM|NmL_s $wvGYG ̂zZxvQ9۴af SV\5|aVRv [&.Hຶ"SPq&6?5oJz)EHyEJf@S8ͱE \@ :,8z|`c-.|hނh˅?6eWHK,W\81m@K "pƲ Ո5Q\yl%?\wB1Ffx'(U<`zg)UJp HsS+d26b$P?ATZHRQ &`+c2w!eQĈ?vj%eR>#7ߣM]`~~1ZKK1ܨCcd*5f#$s̄~={FU \}]f'}c(xMH&)*n,%XA@ܗjAuZ7~Ny^MkK BҰ0[Z$Z&)(y@(Q¶h