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 g |< ]/ Menger:threads=4elapsed=6.054cpu=20.632gc=0.684factor=3.417zXZִF! ]ŗXf[&LRH=>퇜=g n V mriB*rϕ'r+ma +lwT!R"H@*>@ mGaV?!-OftA]O*8NQ2J~ BOI[5""b҆=[^y?T'O[CAfwu8J36V-!gm7ƅ!Vĺg&'L6BZEHHl6*E&uS-"e9I`/Z!zawE o&H/e*w̶-1{+a(Mți0jBĵgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈W:iF}DJ -vAEa_j&- O41s-(d*BE>X$m&eLa"5-OMA+!8Qg~Jo-${ET{T]ߤb0pN6>.<>+WH1q1gYZ7zXZִF! :y]ŗXi%GgԬ8fhDlՓMVD |'P6|/ H P` )քJЮEXA|l{I\ߢ^V?PsJYVbj~Pw祁FU.spa1N.X!yR8: ͈Sc*-1un7/ʷGDq-'4 [ED,Gb$\-ߕ+){yƬ V@iJ_OXjV9t&@J[F,]Zםn Dh^Iv\N.A;VȜ9 )s xֱjc@n$M[#$>">JS1h2s_P_E|c>1{F/'>v|yfza={00-|gARy]_Ob/P)ϪIaɳ7! 32RKEHn &TބIa촐ߨ/#CK%f܌PhV!4|LSZ0$ێ1v`;̍b[:JQ(;"LROOè"et!Ev%k5FJhDF0oa#6~j]Sȯٖ };|^l0yKHb`=xmEmI@Z$1wby0 &t$kǢç=