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 RR+ \d ]/ Menger:threads=4elapsed=5.582cpu=18.864gc=0.488factor=3.387zXZִF! E]ŗXf[&LRH=>퇜=g n(&k+^GijM8h_h ^Bd0줤'[Ye3?1lμs 06-n}WݯW1: 7]~gYZ7zXZִF! 7i]ŗXi%B8_y#\5s\O>qJXhpྕVuSTń 9TPCI5A|;I?/`ؘ%"#NGQu8"GS {S Yy|8yG2A³j+1z}LOvT:66f}<_5ٺ0X6rFluwJ`dv/e!gr2ϔL!)%p5YEr\ t m$o䴚JBD4B|E (O aqfrрn`:r; &M5[W $;r'1 *Mu1jsBo."$CpUVrO'IEv(t'fቿsjW8ԫAЗ/(*^:enB}a8R >YHՠHﰐNFUХ[~s3MqF;~ LQ_' =4tH9}zhZ5?gAǦimJLʜ8O[I#^G <\p8˟mhwCP0eMHgg,mQ<Y7U[*O E-j C1M/g3w'P-`fPd1I5}~glt! A: N_ Çt hOsVvQ ǜ؂_lׄ w]Tn [.IF#Z3B DhpbGyJ9u~8Uq.wf < Y!_qsԴjnm7C/Qe[T=|ÉFq}'HBɎ:qp,cHWŸ