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  Q Q,9 < w Card_Number_Partitions:threads=2elapsed=6.034cpu=11.000gc=0.164factor=1.827zXZִF! s=]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}^m5]zT^- -rDe:2Φ+*$߶@gYZ7zXZִF! ']ŗXi%~_'@M9OVhH+ 'r5 eOF)lP%۫Ș~&8K8Ni/}7Q˗ODY 6jem?1ǘ%mv^7zL B•QH3vm*}V_>=^a"ݞdktpyql_trdH _Ñd bj^e`"(5]×z5ko3'yMJM "F/K;8]!)2)"٢KcĉI,$M ox' qbaMfY~\vfߑG'V[DkVZ1W(|ǭ샤r:ZM=9=6|lY< u*iQ]Gco5s`"BDS '}r6{HJR|ϕe1Wv=\M 8MZf,Dzfo-TEMrl R[ނ$34jk*?8":8wخNJBY6p1gfv3;Jjui}nc,u-w>A #eol* SWG쉜q1V_T,+ɻ(ن݋+=7:qkRۇiQVaYo6ruǓPxv6y$8\}*sx9MSN$>\{ MR+OsgYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 9 Card_Number_Partitions