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  rd ]/ FOL-ex:threads=2elapsed=5.871cpu=8.360gc=0.200factor=1.427zXZִF! w]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L$C ] kqCPB)h tLw1 $e޻' d&.#cL'?IǛ:F[ch:h_^!9Dx˔~gYZ7zXZִF! )]ŗXiɟ1 UtjL+S ^,VbNշ<^%(Ymr7P"z R: ,*r).2XľBGU=JxBØΪږKBeVȄ'k[ߋ":(n3_rk_R6Zg>TB""R.%MMo JXoITξNÈΈU\a΀Qo!Q~q^os!˽irHDjr5%b)74Pl2yŠW7] Vw%-"|< HA  :TMc,7NWe5nr?ӈx/l S ]TWK"t4oWo]((gYZaa28bff6cc63172b11305d2899d5252ad9947fcc3e7cae349853bb3f654071d127673716b1e97131 d1ae8c223b270b4b5e986a2a1c524ae7414380d5   FOL-ex