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  e e9 TL w Card_Number_Partitions:threads=2elapsed=5.931cpu=10.816gc=0.164factor=1.827zXZִF! !]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}0w%Ln&ӶS\dDŭֲ(7S]ra+ .ߞ: 6X xuPIp7n .q ińϏm zX\uƧ]gYZ7zXZִF! ' ]ŗXi%6TȊr>vdLxʜmN?B\ D cVfh Qsʂ\ "Y@:. Q] E]UCg+'?:e|;WtPTHBiG/ >J w/PՁWUC!? bʨafLEKOgFjs?K<&?Zb[0#j~[Omܡ0K1D2тat^yr9Z}xMz`m`.g'K__g{0ƃav\o̒Ӑy_6*1H8FXe;zfJ$?gj)P\~[Y'XZ&pgɓkZ2 i??ys\;4tdsEa˵my]ݲ{79bK^Epa߇ s.E_r) -t=̶5}a$xLñ =9ն=<a.;lx¯s B:vfzm8w ~_`;eOp(gYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 d40af53e7a90ebc82ead3f10dd760be13a2f9dc3 db53f23c149dbea6f96962be995a01549beadaeff0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 9 Card_Number_Partitions