SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 [t< ]% HOL-ex:threads=6elapsed=156.491cpu=761.996gc=40.280factor=4.877zXZ ִF ! s] ŗXf1-q恉<Td.ͭJǎFƱw[sܦ,舺pZn s_O@xH[ ;G?eFL\Ag^Ɋq"?!SXY`as|gČia/_WeX7ӛm[._}FɼYLg׆v .tT*({1ɐ'2uV]C1frf1!3W@:.=hN95|N~OoeNFiR g \ͫ.e?Yc[_Q^թtwnaٗ2~oR^÷m_HP]%L8Y~N6HszUhETǥWE[! e}ay!aT{tR&).B>^! 9_tمa2eF3yn d2[VkFvi$SD2ht&S0fJ/Rymi;WmfM ͞]9YHPQz0%/}Yi*Pqoh<dB"%"(]Tg!/@܈} ez0<)3a I-T9}jZޔD : hْ]ʘݙT= UP"j[^~&%)(,ccynK_v8YozNXҼ l^R㚞iNo|-;H,SS~&rApĢpKqIXgbq]\/>/{wI]1z( o+g;.#Jg![jf49kZF0?ŌX2TFT~Ub'QBmC$whb uZ