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 _ L ] Trie:threads=2elapsed=20.903cpu=23.112gc=1.208factor=1.117zXZִF! {]ŗXf1-/6vR[ltǧT3(O7?MVWURR kkr{F:ډ.t'KR@5 w\ `=95fULWfQBS[/N$Pr|*ᓨ:f!^FVyꏤ 8%D9ءѠѹ4Ӳ_g}E$}YZ7zXZִF! sG]ŗXi%;+*V7[ktA>$\Sym\_Wa!t2~p,|$=K>2hs7?67y|3F:W ό!I5qᕣePX!l+>lٸ0@W^ƄɆ5f v8 fIG"0ډm!o)^u1K`0Įl7@[ԙi{wקgXoX+Wm-^ѲαRl%~#KU?]z{i ׄ^xzVi * *Xj<ZpjA]*{4BJOJm,6:$wpV. r$F=Sj::G72bEԟp-MTCXkW5;hΦEX4@Uk0 CNZW7c WEvw($)+FRLo>d1 9ER?z zFpb*/RG)J?*㨩sjg0{q4z{ϵ9"I }]Zry-KpW0fDϫIJN1SM)&1 ϸ#ixz <Ԍ+o|[9olC q?ӚCw  e?I3Y4"/oK UahŽmdD0nW(Ƹ|>2*n&?DZ| |ҙ1>nIǨCY%↰yG(Vfu6I޲Js(W{phKPv3nVvnmrV'At,[!}ᐳ(%NmNykʡ̹dӶV)c?jU4qR=[JG3^!nQW%?j$rcFL r򺃗^uluSt%N*Jkk*U 3uݎ.1w%P6*<h' ! ,:&zͫ+PJEė=dߐx6)iˆ݌33+ ˶6kG{NHip@L|ܜfKWCW9)f7D'481$#/iYBVM3ZV\Es{K0sq+ZHvrTFn%&+ yL ΐU1ft޳~O S)7@ o%L B ػpE݈FЄ:m@EH ptegYZf06200e7073a946e494aab10c9b56d704faf49a0d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad e816bd9a9dbad40b32295b442d799a64f41259f2  Trie