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 &5 < ] Lower_Semicontinuous:threads=4elapsed=8.901cpu=21.492gc=0.408factor=2.417zXZִF! $]ŗXf[&! ?[Ai.d$_*r$r_࢟ 3CS:@.I$!qy#v|z~%P彅Jاm`; Aw,d@rԿ1 `t\썰7a%?# ~SUZLsW>|?O#q2+B*# 'TSgYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(7&[}Z$L-=*i=F@bÉ/ g^4}YZ7zXZִF! Hn=]ŗXi%G[GJtlvl38 ܜh sa[ WfJѿkfiÕe\f>UV &u@gfٸlg>v;L"Y+?6f^& *6go-7x&kRi1 пn_s'D+葰4XOHENxj7#CuPm 6TlVv_Bu#+w;5O#%1A?!Ȝw$U(-t!a<4w.Iƭ$ẠJ=>isO0{L0e:xO>JՂV(kv8=F92(UAT<3JyKֿt& mi}Ko[$!m^b-dyZ'[PwSKmZ)xi/ NeE)jTg5TMAEb`e\?h8 GV@*AP0n^uEz,+D{.*Vo뢼xU305S-_ȿ`SRVjˋ䦲-cUkzl Ňg ҶWLra]6Ho٣N)^zaFNnOb//|=\V*% pȎObS˲d; kMW}G Yŵ")l0B#Z@`mP>*Ѭlk )P{yG,EРvND_*7K_p74(>HMLdoڍB%O}Lk.=_By؁fD   sK)vHռ#,븁=ט γz]ҒMkFϏǏ<iΚVrYvc]Bne,hohsr~ W1ы,>ݶs'X́gxDhk_之)<'6j59`'IZ=C+TqQvst-Is/^ 94@|k@r QxM)n@uVC*W8daoM7ʿڨ}ר¨:ЕZ[y,aK͐X./4LB`+6Q@f5ğkб~z5|޿Q)|5@\Q2#pPH1\i:/W3Lza m۵X|NRzoFvSi!ӽu2R2^LY($ DYֱgYZ76f8f42c13a28dfb4c53d93918256458dce67ca178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 5 Lower_Semicontinuous