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 Ir$Td ] ZF-UNITY:threads=6elapsed=6.215cpu=32.736gc=1.2767zXZִF! ]ŗXiɟ}g7xx'Æbkl|Nlj- n\;?8TQW0[_H 6 ?H H 7rMI.\%"ߢ20Q>DE$ƨl{Ԑ4:/CIt5sDgmh\ ~.0R061_2 \Pq}vcjJ;A%~EJ'SP]m^I]G;n;m9`&7h14vZTLcɏ$ ooҳevݿH(|:S3|}qo?{p?m̀"" 3(~HrOQO쌫 *0u>(ơ#7tM7Öp]ZM_w PȁYx)g"==‡7`B]|R}>MKy!7Av܁kZ#2*dToh { ,&wyEk z%ǝްS"R,q(>aX7aS(#pX'M:t…Sբ $Le"hm݊ٴM1&5ՀoyvJhс_T*/`'UnhUinݴjv:yy8_%)]Q#a{cIJF{phkϽ5 . TՃ/ +V~4FOCsn_luEw9"%rWG4b3z?Zgez=7NW>Gph0r`Uv :\}(.)GdI  1Q7 k(o|}XdOc;Z b"kf5W 'hוղmȗsQSU/p30gD],Mb\7T /sH,Np97$V}bO!'!#ץZBeA-YcXPܟus@h N~D*v(;o#lxHQ!B8e E!٤.Bny |Y4g*L1/Kng!KT:#d9ڍ@^48tHGyV܎"ތr}Cͦ޹YtpU.;m(vY7 WjbPM(0PKk^w-$ *>8'<Ů@TU_d9 v,+xwΩES6e2F&*Oϸ%GQڠbNX]߱tU15Y!|tlu%eqK#' H'gYZ8ca819a219206bc74e4b0a493e878f92969a3079d0156923f0ad172afd1e52e8c42b320ca81bf477 bab053ae14391530cfb91482feaaa5e8c4788bc7 3470dd5e7e859317e6b80ccd30bc49950b4d2244   ZF-UNITY