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 a% <, %/ FOL_Harrison:threads=2elapsed=11.309cpu=18.928gc=0.612factor=1.677zXZִF! #U]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]V å'=:WO9U#˧ըS.fg)U.sh0WYU#5kt+ݏ pqoU/+O/6 :8_O 1z`-Ĺ.ve`iFtʷ`h}yAq\YOy~{ cHgYZ7zXZִF! < ]ŗXi%!W:,^5Ӂ~;a!JQ*]1 Yv~-ec̩_Vf2K05Mbr?Mk^0T aU(C>m<,(S=-@GVI*qŮ)Vj1rS4Z}DBtĠ}J;,s w;״.,U"Mx\/e|l.O>кc%VU90HA!8BD*j(GAr@GA0, 6M0*K3C8L6, V؋TҼ`ƷTZ Xtonv}W5#{FU'*`mz62 KS#> $"b84 nbӛc8>0Uި ?]m`L`FI)[.Q!엱:_T*૟ͧO`/ \d (%>Ei*JʈpZJ\FͪT=KɛQ91B=;*[jswxJovcxA6e%F!–ڕ꼾K9"w'/,8;l MKOn 2Gxd0{;ȟ!K ٌ&H.u.2JS)i-wو$i%+? UQ/1OM@KV}S[Jz>!zHH%up〡aKB)wPWfIS$դB燶dT t KY~Қ ] $pdI:;ҘA|}&~Bjn[(EɀU|2