SQLite format 3 @ .
B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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
|d ]]Deriving:threads=4elapsed=47.485cpu=126.520gc=5.708factor=2.667zXZ ִF ! BG] ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5ImFY2j@ /謆<"zՇʓϾ"35uF33x_FɨA^Ǥ*~Ă6ȶ&aLJSZvٷwMoֈDv(6~U~/8V-ҩT_
a@0ui:a&Ԥ =)HU1؞j[o[1$;2#oڞ+Kn_\aY7SOoDY%[qA1]Vdy2Pqg;x{Q2١gc#/K!6
2!;C$3-37FDM
7a.T?V-o'Kͯ+{
kPy)X5D\A@(mf;{/ƄL^%du rH7-bs͟)f.*kX(
^ h ,[
lOxGijzZ#ê([;mXWLAWxaRgxY|ڒײd謓S=T b
`MڏGd"zFowkAP]>a]b9/*Dj92\Y£)z9oFϭ@mn;]+לA-߬~@,Oz=i_J13W@,yO3d3u>laWqPG=A}2Ȼ)$gL6(_xx-(kQĂmؼ}L