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 3 <, ]S]Applicative_Lifting:threads=2elapsed=33.097cpu=55.304gc=3.664factor=1.677zXZִF! f]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0ܦҦV!H<8]_9h>݅쁥`T$h% z |VsD+*-?gB;=@P>)K>ouΗޝRerc׼Fae$+֊pdS}[@ڰy0&jQKA.~Ķ H'{&l65A38cIV]a_##0^J[AXՖy&OM_PgYZ7zXZִF! M]ŗXi%;PT>T-_K9Jϻc`Yy4[p2s j@D}A%6 sw8a~=}vMzѱ9G ~#q@ӽPܕ פ|FEi hX?oۑ@ڋL!= +Q#R0LN{4_Ğ,'.>e e"A&l~ pMͩ}#\eiK[gv ?s83{- mh/j@5)!|zfy <:U,8~kewP EB{HR0Zm%cWmi I٬8n>nkgF)erޙ