SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  i i9 | w Card_Number_Partitions:threads=2elapsed=6.054cpu=10.976gc=0.192factor=1.817zXZִF! 5]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]} 쫹T)Qcз.  W]8.i5AS?nl4P##'S)hc yPCԌ!ܴiY 4+8x 4]ySAsߍz:2^\mCPz(WZ]|:6!w_+pৃӴQF)yP~fV-/f؀?7OYO.p8smAmq$ϯv_>>բgP?âJ_MR[C0r9meO^L)XQo`By)Ae$p_'j~x\^27"̛c4-y> mT;>A\~uAn4+ LNHY,:>'aLC|ٕ g 2}\o(Z,}=OX9gYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 9 Card_Number_Partitions