SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  q q $D ]] System:threads=4elapsed=0.335cpu=0.660gc=0.000factor=1.977zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.162nHkS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$R55wD$JHR^P<ᵿ$-hp˲1khQ2DkI ({͐ f75J9GTsMx~}-N?1 K-ҟ׀׷/aLN'KgYZ7zXZִF! >]ŗXi%G8ӹ/<UMdno,MGsh<5((z]hŧQ6C_\=;I,7f%F>\U¯y_&.߅ )xD|=?!>Y K {͏V7Of/o4n]cc0a2D~Ja||Ĩ-k B*w-#Xsˬ 0P^wok]G^}gH}'6"a)fiV84e{ 㹜`wS.fR4 =*,f S5gYZ133f5299de668bf598af4827ab4e523bd0f5ef891795f3a7abed9fc1d9546e3552e224994a90ba84   System