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 yy9 d w Card_Number_Partitions:threads=2elapsed=6.064cpu=11.460gc=0.184factor=1.897zXZִF! <]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}Zeռ-! BCPg0u!Y1tS'.bU|NJцnh#L7 p(}yb[`]m(0h)BN((a!-&P鿣К1 783bFLV8/A*Yb>Ba4\0wMaBE&/F5er=|Pjy )_"[fi(\_$hDSzx3?:BW5ک`NkNd"Ǐ9J3s Dխ;7pGsrl[Ǎ}4B:Lz:HQim"99y,0A{tʌGN*ŭڱ׵ã>jti8wD}]t5r_cЮVs*qjY*.8vY & $)vԇߟSGC@?|FdxAR J4pح>@S;|p2_M梆6 0xakFr"X!H . d:!?aZ_}hY'#z5F,XmJV`Sw6y%%7dl8tg^SDq9I Tp'?7XPE#'ixV|vI̙-QM[Wr7wX~Uhjvm7 u3Sñv3i_ ǪwkKWow:4h+" x&8?^O-}gYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaefc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 9 Card_Number_Partitions