SQLite format 3@ .0:  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  '9tt| ] Card_Number_Partitions:threads=4elapsed=2.511cpu=8.804gc=0.120factor=3.517zXZִF! ]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ Ku]o5 _mup{xy00 իXp63ꁶ+h=}Ӥ4qam'KM' {zg$~?ϗx,{5 \CщʕO$SXtY؁H# tɿ4311&tk|ߔBP {hgYZ7zXZִF! r]ŗXiɟy<C{ٞğ3 H&rAre"RH+ErhT` -hο7Ts,xrdTrس%g>C5:JgYZ7zXZִF! !-]ŗXi%GkD%K209{;֮o)=CL:15u&M>P?3o=ofvQ"r6Vvٟ;ࢻY%E5>,wz0\)pQ} IN]JU@aޅ4+8<1PO yfɁXP^;|h,mUa'Pu bҪ.VPc`CnXJOQ a Nv0`WQ,dYg yRe$hLhs,k.55}M}!8Pݚt h(9WePeٟvu.B_n Ɲ7:+ 4888.JFtjUDaK=Tz]ErN@Yb `aw %On>[{=~?p`Dn}"oFWf%(3ϛkOB_lM>*6ɩU_}rLYTy|{$tಜ"zgDU!q5"\㗲&-D!,*qioMH} 8:i7!l;vBBHgYZ8fe3c1a098722850df72176263738b5104d02a534b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 9 Card_Number_Partitions