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 "' $< ]%]Matrix_Tensor:threads=2elapsed=38.412cpu=57.860gc=2.364factor=1.517zXZִF! ]ŗXf1-/6vR[Uy{JqҩC4f(md`TGXqQ ZPL]^ϧ Ѓ֝9_F_R[C[2n4ZجڠХL:dܷnZ>d8H}9WCp<(rIv: |m;zua?VK&"L1H֎woVͻ< Š#$Q܇0$L{zٌHd .btF[5u/NKrPer3 iuV)&Z5/͒TԇO\,z)JW(5R2i ` 9\ uPL:b #_7s-uދ@m^m*T׾AR0I"!+E 3Qfm7N ^[(ߚe/s6BW$}\yg%V#g.;#ى=Cx rpߑ[3O"}N+t^k f9 `0PbuI~dio9#c!:.+3D d|Zɗx=ŁxMi|l^ı2cϤ|#7GŎ@4%dS )ŽzTX }:ܧr`>j䙗»fHI̐Yԣ@vChmLuN^f9Lr4mJdV ~C8I;ڋfM QC7 n ^K?54-?EFBA-lFc݈0/煓۟0 #БrvUHBm`4@}r:| N%G D W{ޭӱ@@صoeq<RIi4>wX..6pWJނ`L+}&O,) UHY䬰`JM߰+)l"΋'Vߖ5ؓ'F6b'.1g3K$^ vԕ,C m8G@<"RW x8?RGa,U4ZRHfļ0ەh( z!h?I= [ Sg }l|?wJaAxgGdn]boMospD+