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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info wwM \D ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.776cpu=13.628gc=0.544factor=1.757zXZִF! ']ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\hEe$_- ?"G GofdiEBo7K_@ja3E Дg݉KduᯄQs 139zyU֟y:BSiۥ*R ,\|d !.1D_+8Q(ӾOZN 1Pl*\2}UqIWʿv5I "pT^^K ̊ )-gYZ7zXZִF! ']ŗXiɟ\K Cƨ]UrNKV+ùÉ1gYZ7zXZִF! 9]ŗXi%>g;Xh 89A2|JϬ~36ݨ/tn|V?#BY;grԘA1AIZb\.}bO$`m%Lig䱙4\c}o1s--<ĥ6úg:lr9b([=ꬠ"\70P_-3Sk;-%ˮVcH+ޟbN bRn8F3_JUe >1ܑڊɵ9uT.NCT<]ЄRcKTG FIi5CNMStSπKòfR};7q~YtE0On˦U1ʞ#7N)Jiq ;9 ; .1S15k2Ua48Ep%P܇WF3E1pK>Er\mى+_Qs!,7SAkS5  IE(Lw*QfR`UʹK?e4Yowg iw{Y[jI*\jlƠHR/xnB\B䣆D)tqm3[