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  y% |D, ]/ Latin_Square:threads=4elapsed=4.539cpu=16.764gc=0.228factor=3.697zXZִF! w]ŗXf[&LcfdLձ00m k"0.LW,OniŁ|'w@g*1U甽NPBe >8Z!3 lR}@ nɳB'ygu8(2ڶRN{Lh y5kHHϺ`ҾW]'B״-Q.\-!ɬ#pR *7<՟$Br笝Gy͛oO EǦ5Axa{#YNl̠NF5amy5UU2xM Д?߭Cfv_ ։gYZ7zXZִF! \]ŗXiɟPaOõEWDwSl8~1B\Wֱ)]UTJ ?{bk'Ӭc|) F0xĽgYZ7zXZִF! &]ŗXi%B4 ֥%{*勑 ΍ḟ^8܂ߝW~L Zճgcg?ݤD{p^l+mcN9idj0qt)x;|MG&%o3 VRC9үu0T_O|X?4g8$*vEoo|"d#MwFȱu>kw} *|E#s8eJֻ wTW{Pϫ ['UA 0z\z[߉ f ;R5 f7i %U7|ƅ%E˰HTsǵTF~oL"R"aS~i5Ѷ٣1"%uWLjōpLk5o+wuHB"5 Ka؉.Jjl\)3o@f/rn#6 @HB͙H[!!"aΧݜ~%^!9G!Q L$},I!Qz(|p P&ql{:mq!5RuB[2AWo*`3qݸQJP;牪ZPJm2 Isn *ܾ NO&ip!JzRzqukV?+~B1HDSMg@5Nvz4#ڌe}MHT6zCCEX^x}M›dE2ߛ繤RQX [Ľek_:M=gYZe263932c18d1853edb329adb4ef7b48ed91656749cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d % Latin_Square