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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [ [ r\< ]/ Matroids:threads=4elapsed=4.652cpu=13.508gc=0.2007zXZ ִF ! jF] ŗXiɟH)0%o
?.㧂Cj9_l[6kLJ?@{ Uml8a;A$]0K~&i֤C0#61ThmFGL-~O fC.H_Lˢ Wu3ꅄ9yV Se^[(T͇"`*p`3ԴqLZ~F[eK-26~8*EvdҲG)I5>l7^OX?(RHZK+ajvt}'5{F5n(ySu:\Ug|M7=]N$@ ~>; g7t$)o*2a=%DʽDLY*4ܛ2F(}37 ,u6F$^ZRvbJW|߿ ֑no73$y( SiZH/F':\&"|WGchj:X-=[QE@YbưoM2qָ<
zQšt6
/7Y"B n>|@O.:fx(eAƬ8~xx cr(ј:nE.DENHJZJEd<+I;NCeG^MrǍuW Oa$lCGd#h:VeX;߶G}ȬV]#ɘwu,{~]@?lY:b^PC,؋aA.c:F"aie@ܤ#Ov^ *EL;! L4Gt뮳cc@S] M bhrjq8MWj>q u
*lo?e=a54嬀%UFQ<!w%^FUk
)ٽ衅y,)$K S;L7F-<BX/_;a:bJS Xzv8;3ڞgz|ɦh|G+5Lrɞa8E:U;HbCGxs
cg5e<9)ͩyY? ~m_UK&Ķ-+M%>m 6\#|ͱ S]Sf8OB(K Y4hUsr0 ?Ffߺ%0zR
obMBʦX"SbVOӵL΄?7kBUPƬ.& KacT~qʴ|7#9n_|e+5Aq4Akw#A(g.1N'>_zK;= G1&j]sB#xrH9n#VW6`jYU "&l{Ur+w;jxigfR;;Z&QTߨѺa)ۧG37Ѕ
.lsqc0~?V/oUaS/yTjSQq2 ]h:39ovyjkn_