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 ~ Uc$d'y @m^(Qu|e uqU 5VZy5k۔K,!BT9ht`_Ӽ$6i\ES'%5< RtzsD}1rs"e6)\4w3@^) NgYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&ɮ/R,P(E|YhǶR|}g D1^{bQԀ9/ו85M)eTS8< eKm%2WLi޿N@N.T:yO%i|<0c>w'n5#DLQ%YLRC:~%T` 7<>W0MA@Vpxw燔#wXNt-.@ lSb ܳбgYZ7zXZִF! a]ŗXi%> i*%Ƿ*{;9UHpxѸTkX ~$D^BhgFݤ4?S`m<9rنsrzHfv-咧mEOKizn$FcUmq| ѷ[YRnE3:N[DqmR pݻq"׏&32Q 5΃ԴgY)PDjh_0EToTYO{ΛyN ZRЖg4帼X̸(^Z !O;{L,SP [!egeI0~S A7`()& H<y¿I1YW-DTvmD4  hmdWTgYZa3cbb1e40c6a1ec233df740e7507c478ad62e84accd5a1012750b588259b9982c2bc588bac89f30c a90563ebc5c009e46ff5ce7598009a6f011ca76a 9768b1a661b6f2480af3535a40024e93a6fb2d25   ZF-UNITY