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  2 2K3TT\ ]/ Partial_Function_MR:threads=4elapsed=5.419cpu=8.192gc=0.392factor=1.517zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uwk.ʬ>IEOHb]}~WtDVvo6L_a(>I"3Ika*:u-U . u{Rx#\d[!TMSn`Ի#ֿ*4j;7DgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLSj`2ӼϤ ϳ" C&<Xݚ֍szqx2v*!s~cg:&E]|yy@Eb%R`hgYZ7zXZִF! 1]ŗXi%Ge12nKPEn{htILg;ixuO޵6 +tr8;.\B7+OLMr0CzUHLz7qBfocq;}Y7#PGֳ̈́]P,Lz~(}Cʊr6lmHs^+ 6!fx$Oو$e"8Ǯ@T;ya`?@QkG\ :UT+ב`PlyM7 61C1ɴv/́UbtDdC7!(> wQ)%F=ҹi i"DzdWݦ'lW9d N_v=:/RjޏN68baSȇ'\I±Ԝ2o͙Tle䓾+sJCk3H 'Gv Od߲ [R (`=p=%W1ϢA;A·̕mT&\9vx_j&UbQر9'͘nVvEc,H̉q2P{<nh*nPpzS8tK";AaP[_N.S \;~NQ?6_R>Jl۔]h ?G6c^ZS~>L&xԶ'PF?tSeInW%|vo9.7V#MJ&qW<r>4K'n,. 1|at2(vQ#8 '2=ruNL_3t&ݚ %Ӫl