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  l$ ]/ DiskPaxos:threads=8elapsed=15.094cpu=84.250gc=1.636factor=5.587zXZִF! )I]ŗXf[&^q)鰧vygD^g-Y2N!a\d>2}s#"UƣH N* Ib>o)Zle43.m(K>sx})`p܁h֫BbA,4fY8 Ea5yKfNu 4m%vMq a2m1C@YꂑҴ m`iɳZ yXS#eX1ҋwQ;sIR'@2t)q?C"l1mZ> p <6E<wܩ\6R&Zk@Ŀ+`Ʌ{=4!w!J/< as7ƮU}O!!67!7Rqq\e7.BL}Ne-%d; ~r=@w]'?a+<]D.VVܡBW"mmvN{"t=&7R^ 3HW}F:M|Co Eۑ, Kw(BmD{P.aWdv.Ą r3C AհWȦLAtӔ@p(_R\:gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S5!m&CD2Sh7ro[X64DR"E6/ }8'Xj8N'>h.0߸YKtKTG93AHAO~ӳzML?0l,1;'XVwSؽ+]?0 'gYZ7zXZִF! du]ŗXi%>t{H_Yh؀lҺ3roNdgJ1#ѯoL*vq[J~ "ƲğP)-K9;տђHϦ^R -MQT#N60`ծfot 1~|yCV>}JnL=`1DfwETݺC(_E ;d#䐸Z>#J}cm{ufZ=xiqQ(bzL=VWۃ#xHZcl.}ayjn~b1ums,a!Ȼ  *%:Q#3vߋM~v̜zɚm+GF\n9.?'9sRanɡ+:  H.&`h 3ݎM}xs,9IeMЊS5x;&:xXG\]nl#*eS<4S~{3bP=vLaX6t837X4N.&h7pwO%x-+[9}:X BakTE?rhTcX>0̃"9:$s"#?72TSnn c.VxsK(r!jB}]-^[6q>~pH@iN cMoIMsI&nxK CFfD7 ZWA^ω*^g "[\8 t.65L xQ-ͮTZd&=/n'?Wu@2SSk ?*ūX$Wt[p?nA["Q%B7;)*T)W#hx3xFpQa'y+9^^I7$t[#à/7Khs6)KFl3bٟۋYSLdX\-u&u\7E:|fL4;!ڮt.Z'#g&dA1(|d#Dě *ŶkvWcjAS53{.P[E3L_9H/"ƦXtζ[=Ԣ脯D(UE[Hg/zoߢzw33'v"45.ga/w[ ny5ujlO0OHBħ`ǤI(b,}e8&H3 ܙmmn19xnWux9}#M\H H5 cuu*` .X