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|D ]% Lehmer:threads=4elapsed=1.046cpu=2.364gc=0.000factor=2.267zXZִF! s]ŗXf[& Z*R = uM OŻ^,F}24XQ8 ۃ7Tvx^ߝbAOs/_&VM_Ҟ#lgYZ7zXZִF! A;]ŗXiɟIPDOB`7"^ɤb'M;@3F WB^M}YZ7zXZִF! E\]ŗXi%GgٿUZą_;6bRӬ^rreL4`<̍T`99^ð.Wd'雅or1 Х(@Q͍5x9ƘHF&:/C%:T?dD+Y.nB;ĊCI y({%@8!C2W#{x(;$B]>wJ)7G?:!V sfŅ a3m9F[&aGeO0)p>b|TjfyMe->j%D{ا. |FY3ANϠ4䜣Rh@ F"; }t^O^Kҕ;_ GDTzZҴ V:Ӕw 9D C)QRkZ:q! Ƴ/$eJȄqtg["-@*6Xm@"jpT^\j.1u/>g݂"*UH(źeON⌊067ӥP8(̌*uy^RNdp2Gv1LH'0|0#YgYZ683fc60f22bff4c487f63386dfc9b829d52e6c291795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c 18c751f0e0179d4f4f270b14d72427afb997824a   Lehmer