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 4 ll ]/ Menger:threads=2elapsed=11.307cpu=20.188gc=0.664factor=1.797zXZִF! -]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC#K)Q]0,Btvb& b$ɣɕb{x{iRf۬ fy>KQ8O^ʔTRhl*4G[ξ@RWkU-ۅy'A PH'aJ.xY?%\&&AWiENLw2i]EH`c_|QjJfrw_;@eJ iJ[fI4{YpQQQn.|ixIi_֘ ^EF᷼·d%_yʆɛ5JFOźpk70+0kx?qs/̄  1/gYZ7zXZִF! 3]ŗXiɟ{A]R90⿈k\m H3#yz@5Eq_SSNiE^W5أe5bp^CK4'a/롧47,2a`^H`& n ^YXzRM@;M UF):y@w@7u?#/ć"DgYZ7zXZִF! M]ŗXi%;CkRgȉݠa%Mx`P)b3" ~8;0u") P-I%fk3[^v3PZ"9# N~'{6va2J+^pݎyBYAIª'## ֽPM@9ﵷD.gӶLscϘF!Tf>Wc\F_j41uR]`hWk٭asrbR d63t~j}xyqP^tma!uh?yA4)g b\uUV3,]X_|'} #;G6vtxG2H;x|l𩛬zN^@c׈}I5ZDkrϜ`.zO7s"K.Ja㚀.#^ׄ JCh]rȘ'6*b!# ZgYZf552a6dd2a77745d809e303e5b716306243d431ba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39   Menger