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 b%  % Finger-Trees:threads=2elapsed=16.140cpu=26.744gc=1.956factor=1.667zXZִF! 2]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgGm*f:B%NI -o9u#>mG#Ò%k tR,>i?DLw2}MA *CߏF)nX;R%4\a*_ekG}SH L j>nI&rw$I;}tA+ 2X)^! -檐d k?^.h= ML;wG`ħwHum"Sr?~d^M%i$!9kYy&r^iuγ8&®0 !]`m+ ɳҹq?&[40 L+Pt8 2h:gYZ7zXZִF! T|]ŗXi%}(""S^#jG6Jt]fHufD$4x8Eoں-+Wm HQX8"AKR=6B=Orrs湐1r[(5Z=}࿺=}M bs OhLY[S w.8$K]%g ZXga+ 6uwْaaic~؇M9`XG߮g?W.Yw)l TUܕ fëIjCn}KKOrƛ:šҷhBl0vCՑ'.M_g) ka?:=$Di" }4yX:qsdOntJ/>(/n6Mp71:^.nL`%;r`~79( tLJ\]c\^j2fG:=(9IzS"5gM#9_.i&~GE4D"<{% XGͶҦ}ԸES]kiKI*?9?zxNnݎZG@KQ`/:`[Y5lٸ $dNӍUfؗ9U%fk{bjK;8i;**%9SAc33)0*KJZQM[/{_og4 Sv"/#1lYox9"f26a_s.