SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 {= tT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.909cpu=26.624gc=1.384factor=3.377zXZִF! ?r]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL2RKrDmM̏̚Z Q&T2S*9 *ߗ-hZ^/@ )^h:,K)-¡$1Mx^u`~p7R̙c7RwR@e - p&L _& _݀lJ;WˌLOx_ $Wb@3Hث' ʻ_P3o頸"Bɇw›rw%m‡ P[@f{BɱgYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվ2 ^V3Nޏ2eNi;h46Д;*mV#Z|5b[rӦTY\Ez z)?NMA'3PY4Ak>LuWm )"ġ%*־}b!59ϝr3EeE$flVc˿Ľq0籵#&,J )4I*m^Yq"?ؗA L~1,旟21yi8fbB2O꩝%:IJq%r }ŠjC2G0hYcݼliKQƮ@N-}!;V$ ;aK~nRFvu,[n&k/yI$ eʒ; V #m= U_ץGk;FV{b W