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 {{+ D\ ] Cayley_Hamilton:threads=4elapsed=13.843cpu=41.904gc=1.744factor=3.037zXZִF!  ]ŗXf[&w1I.dv&v0xf?Ms\$BUYϏX \=va75Ni^8aiʲ>c<;Dw=sfᵪoT-lXJmx>2yکwsplCHmWRZwLD@Μe,8[A.js8Wɹ*0ձ}oV3uue\}Mr5ct\kj xhOӵ1u+vLrq0\+5: ͎鸿z#~65Els }su ơ(@#뺜:^x@oIY&S;M9E{ Xr^N̩jh֕@I vԄ<,7Գ[hY[* &vH7Q19tgN?--BAk[tvJmIܮm͏ؤ?5  3n";Ydxa e8.]QcVq)a^$_!{z9 ]|oXoK3{mοQ>b@AUˠ]cf(~:pGYr*;]n.F-S>* DgYZ7zXZִF! J]ŗXiɟ1˦r w/8OA~ko C4bs$j^&I[ldQp[VgK}SVWfyw6J;6fNdf{,iraF?z\)^a9x:MH0 oK6ݰH&`d?VZ>:9uIzK9j>t.VbaET`4"z+eZ E)Gژj&{1`3L7;2q ܙ+9?QK{ߕ$w)De͖Ra.Y|[xY;bKG/tvly;$^@T`xhu h_Ugpy;Yʉ6GZQjw؏Zo+ҋ%N}L*9oȮVLΪ1_emcQ5WE?h J=&3Z8k*Hie&Ơ eK1gv* A>A3:)*w4*no{w)$3/-`6L= l