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 v Wdg$* RFݥI Z<9olnjYߕ[tl )ˍd6f3@~_W$"&-8LFf[aF#M1bF eWzJRJ"DX` Ƀ}>/w$㪫2mT"LZ@9EZXi}THN'Mu<':gYZ7zXZִF! hi]ŗXiɟ9 i:4V;}A<<ګMP7#\zu`)eo&rʡ`]: rbӾ0Jك9W L{{"tokvuHMcF:qff~-ޤv{/pi>hJILғsѡj1LcMHﹰ Nڴs+177!Z %O&39&%L0~%`P*m*a8z΄v?<>4U"IF)&u3I>Kn~9jVjVl7l0|/UJݘ 2K2"k#cyMy&"P,Gvkʡdc[zF4-eC9>TmOɡ&i78G[d5N`߭fܔrmKNXq:+UFdSSI6Oە-]uYChђ7b]b" o!z Kőp 9}a#xbXH\oՑBvwajYnA: ?J^^PWa NԀk)@A/Cf\Z--T*J{F H41&b0Z$sTda@]}ʇt2KX2~-`ܯBeC1Y (P4ót`a,ZI}M xTœy`(cjLR* p=0q56޿U$ϛU {gKgx^btZ8GSi=${Ir.0q/ab`L9i߱­}X;5F[fsr&%sV.#yt@/5]t;] ޵0*/?v<& t hphg}ɕ7.(QF[GxpwS3McʜW"0I5! jo5Ue=:`\>f"0YϘ'f̞%q]L(m:«gYZc72bf3948b51d644da4c4e37b26ac3705871f3f2f84da1efeb09fd4a6dddd2573e5e78b0df151cfa ffd5ee0445fcdeeaffc2878523790abef411fe96 6e165ddc28e8a22ebaa9d72d3f24d14e62a1bbf7   ZF-UNITY