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  ) )T$\ ]] System:threads=4elapsed=0.413cpu=0.764gc=0.000factor=1.857zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.193qh;kS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$S`.$ VmG il؂ HͻgʢMb/>JQ9-8/aYfp0!IqzmӅm|Z5(S|W9oo଄|1if% _)Ms OKw6gYZ7zXZִF! c|]ŗXi%G2W,k|+piP' %%}+@2U~wd:ꠑEp/!*.S:FpN ʍ 11Ae8mgx 5tI"+,GiTKkUn=#*x&q$va*3ʴq GCц{!n4Ł+<~q% h:2(BMQ9Σ6p@E6kC`La𘖮A~x1Rw,+QtS"Aj/^AH"M,A8噔_"Q, ]_^_M1#d/c`JU0'bN_6 iJ!gYZcc8a3ac480068def4a46ca0b005bc4baff9b6e7778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920   System