SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 CC: ,L, ] ZF-UNITY:threads=6elapsed=6.040cpu=31.728gc=1.376factor=5.257zXZִF! ~]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8 S#5ƞďoX{">Ѐ}‚:~&8֝9"D]Nҙ f,S6})2x~>G) $NA)DTMLG i#XRv%RgB&5+jY?ވĴ-/X=k+W ];!@ {rZ5G*.QDHDPV$e&ҦG=hOҼc^bk!PׯC=b"DP/Ħzih>pe|2}/~%" ޕ26&wHlf%M`G9-T=ưFpWF(TnUKQZf_6j4O)Yԏ]WzfiACN_܎zt7lB@)#\$o:7'٫_#f\DʎAN1% qx@JJ>* !ѱgYZ7zXZִF! h^]ŗXiɟ9 i:4V;}A<<ګMP7h !獵:넡Ч.\K7Imcb@A-Oaá:Z8CZ>i'9 6|gYZ7zXZִF! !]ŗXi%Lny~y18 F&.:l98AdXk/?cgL6۹#ub^qwyR%йO Y?5jjs8>s~<`BGD,[G?Qʡgh(Y"nQe`sed.Wd8S3m)оf=F{A V5uijk6Ȧ ʴZO`~EXoy緋P dL'L= ޡ~:BTO;ץ!xH#J>'豸oMl ~#`4F!vMB(NB-?D'5Ԇy%' p<: N! SLet `k?f:cXy:W^L꼭,`͇YCr*` m lvKDCn&gYZd5c5764d7447f45cb6182f6bd1f746f51f5335b183cc805694bc9911202d3d5491fa3857d91ca92e 5e2be0d76a9ada95bac13006d76787af25ab1e46 a1fb44c1adb402b68ee48ec50e4fb2b0dc7872d2   ZF-UNITY