SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  !|\ ] HOL-Unix:threads=2elapsed=5.862cpu=9.816gc=0.484factor=1.677zXZִF! C]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kDҘ%\x`LRn=UGtTkP +E3k/K\ +4q2vM)&b+Vj ׁY'qʂi?ʲò=4`ȓ0TfqqO-ķ_\L8'h|C\9kWmݎva&m=UF?U^ȱgYZ7zXZִF! f]ŗXiɟ1Ivx*`(rHQ ɅeXa?I]#lFcY!r.gAWC\$?0Z4ӵ`L\B ƻgYZ7zXZִF! %g]ŗXi%9*WθaVslZZ'ģdoA~D,ڢ⭷l/64e9ăΌk7 HP21d\^}e,y::Vۼ|s`wlkt֞"`z%=(z0I#i^D$y4VnEJp`X'̾~3)3b >44ɹ31oYˠ}}i)*"ִD_>I={]zDZ8ȠwUѴjaҰ8[!:Ls;a7zKM̕8G ,(B]_7Y)e᪬ N\E NOq4M1zqy!(68;߉FyiŊVQLCSn5*aiY$'3T>?4Δsexvx;9ތj=bj\53x*< m֗}ַ4=RlcSeSƞ nP{VF4W`館EӡN2~)`Z'C +A[P2 - pÍ22Y}CnȠzGrrD~n|v.=`E+\WtPYB\ԂKC >荠&!R|8S-RVxKpU=gq=1ֻf>Ѝ}K'(D fKx5I=~~l4?&JD^gYZa8701acd0415db65ca74b2c63d11334693f4cfee1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0   HOL-Unix