SQLite format 3@ .  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 h= d0 *]SRox#y*KE'/>nQkL94 ˓MY<&߱ߘ $屖É3y8$$wE bO(K j4#B .Qb{y꣖Vr}0(FMQ侺נ9w&Z8A9Yě/ڑ}R%9\E}:(2++Jj 4 C)58tZ~"kP}hW*J/>Ʒg$Mf $sLԆgbn`Rv{T2%L7OG|&S5+utIta "joPm006s gjAx[Zfox\ڬԧbϖjNRxmrƫ[cߗX 1 ..7a]ɰ\rUQ^64g5*ռqXK_a FbQ[dV߮3V$r |GIg'̬W9(xW,tp(e*R'%؋l\,>Ζ.gYZ7zXZִF! }V]ŗXiɟˏ "B"V^W\0CIoɷgi*>@З~g AMeGѲDf&~eVSW8 As:`Z7%YkN5!X0oAXE,vǓ7Y>GkKOO%Pß1v@Ix+^=\e.W0`\ eS~8I/٫Lu4Fsb%WɑQ̑vdƥAFE{턭 cjA(7LĂ#MtBxMP kP;4V) blJ蜢9egYZ7zXZִF! d0]ŗXi%B 9À Hcyla]!prNL.yFw&_JFZqCUO^'\ <;SyD(姮(xl8+WuKǏ|eǡ{ v Qq{'bPDY-ᎀq\ċԡ P eDA',Y֘CkQh6,yݲLԂXgl]k򨚵qY..c %NAnsd uq0Ғq@)BBb9٭|+zx h 4:{"sƒfWY8Ș߬Z8`Kq݆$`;m(^s#$ a czܘjAZx3]I(H4رדF΢ ўgDʎ qiZ!񉙻a*\Ƥ%~Wڼ_Ǫ6 p&A9곽_*oA$iUɌ#!c 8*Mc:z8>̣m4r; ecYz֤Ew[|pѧ'K6Q Iv,'W[Br m SI!2Igp֣kpo$˜l=J9 `# ݇ŷJ#\>=Dy7sQ.Ǫt#DEj/cJb""I+򋳅S@%@n' y@wC)Fj#h62du|42s%7e+uOL>mנWN4S}{0%>.+0amW4 -MZ^F ^\#DǙk`@?w7;q! W~deBaE5#4Q@Y 1 -unm.lh8#e38(HUr