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 Typeclass_Hierarchy:threads=2elapsed=0.223cpu=0.320gc=0.000factor=1.437zXZִF! [I]ŗXiɟyF{$XtF0 +E?K]$lƊk⥾e,1IJ>q_e\7Z}YZ7zXZִF! E]ŗXi%>hR"6a߿zh8,/t*~œoQ"DIc*]vßװF^:/ɏ5aW]p, %N64JB@O;KF➀czLo_򹵣]US:їi[3/ ,g>t+ 6Gřg"r-bR=@Z[#t-;}WKs2 "mXNXPԾ^,r,R:FP{?Fu$p1SrU"(01y0B #ƱgYZ191506a1177eb092e14273cb8990fcca763f320c19126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 9d8b4525c5f8c9207985b4e769e131de60d4e4b5 dc9b3d4035fc7897f9fbd750e75448626955593a 3 Typeclass_Hierarchy