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 p9 < w Card_Number_Partitions:threads=2elapsed=5.592cpu=11.068gc=0.148factor=1.987zXZִF! ;]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}Wr$=2CCz vH^V3/NY SvSIݬcRt7k,Hn^Vog"ߞكG1zToL0 6?~(k LBƪ|^7*Uhy?4 0?S>F=X_lD#4-y5{пgrN#N6hiƄECerqطgAJVp9$@$) j|J:kLi[B-zt%4^8n` dSOs&l Ϝg܄֖! 35Y*@.ܷ$,FFYM0fn:";.y6ud=(W\1Տw|Ľ}y.>f7yGrg^jOOdžloK|#blF5e(6Ybzrb5—FJ rl:Z\]wB?nkuGDE֗?tI{-&e\c-/}h-$.-ghxS{Vb!onOĚYr:vPɽ2y [U$:LL7$=?ƁR%?_`1o%QtJcYB%ɓW<ζgG^EjDpd4?q#n)*~y2-nWٙ!r(|{G:.7Wo'Z\i}a>3x0)cjcD6:R6[Ӭ~F^[9j {Lˆgs78q28@J }gYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaefc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 9 Card_Number_Partitions