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  5$l< ] Priority_Queue_Braun:threads=2elapsed=4.797cpu=8.384gc=0.208factor=1.757zXZִF!  ]ŗXf1-/6vR[3 @ԺU4w<0S˦pηr-Mdxy1[ r6'I N{E>¾uWDaExؑ&! DT2ș$NXYFKj`mKJh>/{h- #@u_ŭ[U7iM+RT a׳_n ^#ddh+AaFO$PqkbB?RaP^9@ 5Om0]:FgYZ7zXZִF! m]ŗXiɟ1]" M${np^PS|! '&t<1{5\u`x'Um%Tu**ϋ=P&f&vglgYZ7zXZִF! ]ŗXi%9(O]SS>4RcvxE"k,y 04 Qy?~!ӍBe8Dy_ n `<qizim*Ew*jꁣW{iT$=y ԽraFe}tЍ;ա |پr)P1 ZuIPO3TEܱ:^|FxooNJx6 y͂>V*7aXA4ĚS= Sqvx]1 BKԅ_DGIjjQl+9:Znf3tb %Xv4Dӯ9 n)+voSr<gUW3hq>?8`⠗Y.&91T~u3O{@HiznUeܻ r{jim(lnuC6 I\6`Nz` >48@wWuzmm9L7)W/Z[^g@Z|A~jgYZ6513942296aed32ab142b2f2acb7c94f8e3f0f423bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 5 Priority_Queue_Braun