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 zz= [O`JVEqfV]v=;ο1efД*`z{*imxucwPOlZ9fl;b_Mܘ?61Lji̋(Ü`GjdYT2{IcZ\hKɢ?Ȍ1jX )si_e?X}DPcii @] fae_+DDd=BZ/?$:K0A(".L54J J?⅓#^~ 5 KgYZ7zXZִF! &]ŗXi%@ddך*#+tevkSKx#4 0!>HUq8c@CTGj#hoU-؜L; [:a7BA[=ʐ5"bDp^~ RNo^T;֮+F@!޽'-4 aȞEy6Sڍ>TmxrJ_t)wݻWGխ)7 ׼K G4]=“*s(xM<V6)寘;(uP8 қfDZVxSDh9(!5E:k(.B*>Di]1aSB>G;Rdqf0;u>hzꠔVkup}Y68!ȳ; b 4n  ~)'}E;&vs==.'֥b =Uo-һD񻤟fMr5e8)->@61@gPGɒ" SnwڬHZ5lS$\K.Xc^U)sʌ|f~ o}IsŹCȴsU|A>^หZ37Aĉ.1$ J{M|Xnb֦o% ^20ڋBö ew^oG=wԩg8c