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 f L ] HLDE:threads=8elapsed=9.716cpu=66.465gc=1.599factor=6.847zXZִF! 6]ŗXf[&2f>- {0o`qDY6a4_H~2q86lKvA9aC2a:S]K38\V-, <7,|!EgRAuY21hIAi%bt ![0ˇ]_TT$X]5K6qt"O>tym5ՋCE g4}mt~bJh.smduGw^gQWYw ($tt:Irf8A Fm^Țuyky]qxjx@=J N6P]mgʐ?Jd#W?O  ̵Oa$٭[v D|8)piHȪ|3@j;K:*͔;ޘ')Q9OSH4)JWOv4 ,@ݿ'\iw+xCOOOPc}T_܀% 6Dj|N 9BtcĈ }T ,G½~X|P#6DʻgMK:WC+iwrݿO! U>Na͗NCڈ)LɲSaW=*ri|rq . (}^IxPiUj0`&q'^ds1M Avw59|8~$>Z҈vQC^DJn̘Wvθ &q%bWXk9,ޕd^wLߵg<*?Id9Ou]䚓sz;fVu-3/:f gYZ7zXZִF! 3]ŗXi%>t{Eє W؅3AƆ$"1_ߣpު J9ᝦ!Y.>VDjy^)d3w지Q%AV8v@ L{ (#" G;U>\= f:I3Ո6| W*}zD;:U-'}˄>{j#U K , F~;Xm=VeG[Xps9fM]R*0bW`\߷qpG'*3S5)tDI?a 䤴X>V[n=8 5@fG7qn"RUΈƘu'0h870f Sj-N#`<4o1}*Z(|k7+qӬʻck>fOp&m>D^z;фOHڇq"l#/Ͳ2$P󜳚tC. % VZʹy`~}X2 fwcwBTũ(IG,@l`Yca {q5n=|wadKQdGzUѾp )f !%;-Ó#7`֧% Zb}`f'PR hh]49Fq1k1J(_*wz0->|L-هpsq5%ucMc4&* WJmU7ޥAAVi_>{w餷ΫY6:4PlT *YAEӂ~K&N[`#`@/2S-e]00ڿ:Zeslm@ m3 gbpLűgYZf5e3bb0d1f74cdea8637099f280021eddfb4190ac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 997fd4bb688c2ad36d74794a5241a1c98d2043d0  HLDE