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  < <A% |L4 ]/ Latin_Square:threads=8elapsed=3.092cpu=18.784gc=0.315factor=6.077zXZִF! ]ŗXf[&LcfdLձ:MY 1 +*nLjt{BS> {a;$ Xrɓkeΰ :#O'ѽF?`iRiG cukpl jM>aus-ظ ^σsfaUfԔ @ݤ@4f"Vj)?- pn?c#ƫB@ 3v[[#0VdD-@Uԭ U]p}`y9MQ2kK~oTk1y4nRнMF` Y,'-2;㇒AQu+mZ9ԎOTn>MNUd! chl{/BB~Su 1t1Qj7oVTsF} 5'oL-gYZ7zXZִF! ]]ŗXiɟPaOõEWDwS HorLHLBv^qjn 2#M )xlR"YwdCzByanBsgYZ7zXZִF! ")]ŗXi%>t}nj1{7gx]S$ɷHЂeJ};|^O.{_ޮOd;rb=k֑08hfGƜǔ(LDV~; Lxʁ GMe)"[Yh@ڸgWBi&=kfsbӵ8=+z d{ɂ Dv$s/C3;¢\)c G˰="~>dsɺ$>5(]%~Ӫ?9g7E <=K*I_Cx֊ 6'G7Sɠ( ZD⬁|5C)J7f̢k2x9+Z]d1<Rw$6{/\)Uͷ^:֮) TȪEOrȷ@AWYZx}QrZ l՞V= =8(坮 - &nВH9鬚67z#`v_P%Fx7v&jṼYq4h8#/u@PlR35b 7QE!-<'z3 @Ơ~~a~Sp%]sVT\3٭p۳HjC9Wg6eooڷ04PL$) Ϡ ?I_B%X5TG]픻f?p"GsQ)DugYZ937f50c4995b5e34ea4473d7b70feba3af9fdccbc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b % Latin_Square