SQLite format 3@ .0:  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 ++R lT ] ZF-UNITY:threads=6elapsed=6.151cpu=32.104gc=1.332factor=5.227zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b C{|cEwPaKd@"mR /`oXT5R7U|db.a  H&9#ڕҒ Ӡ(= gYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8rMa\R,i򼤕o d`?ޕi8?)_˱-'=h |ooWT!X/ǤSZ}Rk'reodcф :%Wʯswe*~?3ybP|g49O"W W`L.6> +0ihe|hlۘGڼ_З c jQ (9K(+: /̋oJsZ`Su5p, %_qxjU` cnAX1g]"fU=3{ɪ'6.3v8y[8I [K9zo"EqↃ2ǨEuFyѽ7dQv@&$~2{}=hfZ"=\'(pRZ̍TuV/s/yeSgj$yQtW:U#{qU};mve?"?_غm $K |հ6# RnMA@ea izoδ1$N{ArrcĚdl\o։Bw꛳3hнT*uc7,zxze-pGvtJkΝ{՜DX] >'8Qt d'sx'3&>6,@]XQcp/ZVqr3$mأi8]WR 4lAb[AsRTߋ Ff?e>>cx  j>N3IM3WvCqḻF5^{fWpl\r!lb!ywNuV]@:ʞIZ}L- %S4aʹ{ǿ}8d^q> N˿kM[Ol"FN-wSkQ(jh{[¼R>7n΍ۼ[F 4PHV^ u(E^\h6QFh0۟HHKlgYZedff07a85f537710fbcd78b765e8684cd0b791ac63b1f4bc87078c4a404d2432b7da6c3c391c20b7 f63cb1ac89f72b2f99d3f100fc63b15e9b100be6 6c3b5ec3318dfcbc850827eb10f7557e0e61af17   ZF-UNITY