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  * *S9,| ] Card_Number_Partitions:threads=8elapsed=1.737cpu=9.613gc=0.112factor=5.547zXZִF!  ]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ Km MP᮲^X荂2e䊖S^fis7eHĤQ6CD*_]lHe !|-*W:Bf *dVxZKєhJ2騺Po׉R=&Fq9]~/k6K 8` y٩:-Hs*ц.x3T4%hgYZ7zXZִF! w]ŗXiɟy<C{ٞğ3 H&rAre"RHr0Qm4X^ЬמJёl!,4X$PL1έPbK+ gYZ7zXZִF! ]ŗXi%>t}ǔ,sc1)2nQzJ䥭c~>3`{%l}qasf>]W-D_-wnjۧSŴAʹ='`ˬd7]5NmGpe%&qߛϵ검rD %iF+ӵ)U@.-j6B3e"]'0{#6:i\gGqgEG[ 03$V̇*n؈9~/7G]m0»i. OGػ p]wp oX(a83T,?s'e]wh9Ya%Q;< aO6O!Xʽ}b}Lvڰs$Pl?%fOI]UWӐ6?JUTuQ!] ms.Pz>)HU;`X4S޹Z  #MV1 g_!4Fk%}Ey`|_X))LaIS1GwOPl_9Jn/W uP$M~ JD aL[~BXs£hݚ_J /VTDW\FMKqW.wU9 `5 sqgYZb6456c663c5a726b679b59127b50b2aa560612d2c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 9 Card_Number_Partitions