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  * *S+d SS Card_Partitions:threads=2elapsed=5.488cpu=8.296gc=0.104factor=1.517zXZִF! %]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bnM ; jr31ɈK׽wn)e{FllKd[,6r+`U9,Uar;iAUI"8֫ i#*픶S鄨)Y9qhtY 15gYZ7zXZִF! #]ŗXi%~_'%,y`҉E^`H+r;󡌜cZI8wxs"WTԚ}`<)B:9T89>a? e5%Hb: N%x'*fkr=MUe v $J;]t`%71_Nb9-G--}RrmTYXwвN $_*vSkdž4#Y"c"YG-6?sga0VFNhDf=Ux;SꋠൣFEVˉQ5><ɖ&v{ 5ȱ}"2 ':v&K:t=B Z죑=?3o<>Zu龀EbhakC 1. ĭdelBheeER(~|vT:s|*aI,D+%4j-C=(8o:αHt=Պ<Ρ5`~I[ܤFG9n/S@_| +\FEZVFo it˔RC}r8y&]P1O.Hnڧ]ˇFT jha(R[o߲̥)/^1HA,"/_Fs=~7S/V-"m(E>B ZoT! .0DYw%rg̿i$[\b _Gv=} B_ъW