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  9ttT ] Card_Number_Partitions:threads=4elapsed=2.425cpu=8.076gc=0.084factor=3.337zXZִF! ]ŗXf[&wd; G\oOtkkDwWTʶ_cZlޕ K<tdx21"G- G$B/. - 3S}/<~yvwc1[pP%%VoCQ1Â=s^z|cPˤEp[{ZuA{Q a/Fó 6Eآ,Dcm\CËMM xjgYZ7zXZִF! r]ŗXiɟy<C{ٞğ3 H&rAre"RH[s7r7_KUnQ1in] 2[f~,[n!qmB:JgYZ7zXZִF! !2]ŗXi%B۾2UiEsvP_-ĠWQE>8ѧtiH첷_ GND9LTu2$>=0xyb<*7E3TH6d>__)GCln-lN؈t]d*z2i@MD^1E̅ {:m#f,y/ g'٫_+i\pBD7z"n9:X6Ø+v`IC1dcv2acK&#*5pQgM~ Эc=KX/"? @=j).cE8_nM =p fb>K?NU{a,17cQWs"LXyKSs|^~)\EC|-\M ^12仌،;lrom@FO'ުw;H!UbEsH|$oA2, }vՄܼb# TT n|ᙖB6]I;ls9|}wA>%k>"b2fJ8 bU_2xyBNS[Tgj7+su`,!oiO?W$ }?ʰW4Gn?!>/4[23>TiI/a6y>.~z\m1O<\V1r2{+yg9N[d+"QtCB|.gYZ3c652349c8ab9634b62c640fa1de8c7fb884d8a076b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 9 Card_Number_Partitions