SQLite format 3@ .  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  ~ ~$,4 ]/ Classes:threads=4elapsed=2.157cpu=2.448gc=0.000factor=1.137zXZִF! ]ŗXf1-`Ǣ"R._[9r,dT#q$+lYb{W_ Tg.8-^_mf,ǥId x+KN#.X=? s/ogYZ7zXZִF! O]ŗXiɟYmSb!! o;nS.,G{SB`XHkK+b b9{@ruk |'gYZ7zXZִF! 6]ŗXi%Bj(XDi4xKv(ZŜg)D*aXtH6e $%9 4I1@/O9b} FAI ;&``R!8p2q9Јy9" v5' qwJ9QiA NbG<4S+z] gMG?yoE&V"^ᄎģ ;`Dv ar11,]L.}߅%<1/+-9 * &>]?ٶoE Q׃;Xwo_]-J\@]#0<8Q:r猍*1>xYKr*IV [,[k[i^;r k;{̴^ޮ ~8ZL^D¼ז!`,jDq}'RiGDbJBߓ~9C3mGFxAxVQPh)l~fPf/pQȐ QgYZ5c753cf5c90278fa67c71318a03a2932e816ba443853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b   Classes