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  - -P$D ]] System:threads=4elapsed=0.330cpu=0.636gc=0.000factor=1.937zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.160qokS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$Rٳ˻JJ61ˈ*z~/A2d 5c*2| v"Ř]+rIaQIYJ[Dn*_Pqs}sB{{G4$V@ݱW*U3gYZ7zXZִF! c]ŗXi%Bե]M6*v_ M wxVͻt3}u<):t¬~}E,}F-1`L- uKwRcwnv B(L ve~Wm12^7ĥ#Lgu/k7g[vC1cQ"ή,> Z l6AC ^j@:d+Ϸm6` & O^~)ggyx7/|6d)Cts@4wI~בf{s6aOTQb:[iaf^nx:k8UɹK_]ƪc$ծg!blͥ )qgYZd26338622659b4d288b110a1195be5e650b86e41ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2   System