SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
y |, ]w
ROBDD:threads=2elapsed=35.146cpu=63.328gc=2.264factor=1.807zXZ ִF ! #6] ŗXf1-/6vR[Nj[@`4+Fpq-\"7%u ]cpJEgOȹ~|.بn0f_^ dI'qYX?C dü;qTq55;2Zrz]ز䡹:2hDawv0Pc]MVKӨ.dCQ Co7f[-hQ"nO5ߺSLv>=U2CE _P~k9,-I- Vn4X }Z<ḉM啹COgA SVll^\) &:'-QJP;lv|E!3*S5q)V-"(4 ]L/zA::!`G'>"{4V|De.Hr*ՄML{/ t~e
~*O!z_z G,WY: |!rɋT ,> 0 ,@%mpF7jm56B@|O1P;;S)5u
|.?/X07+m7)lm8"&45g1)wL^gSŕ˪s{.N0$r)~? 8މ>ܔpp@EL G@͎O p G $g YZ7zXZ ִF ! jM] ŗXi%60nWc0pixxݧ7d¹/y :N^Ռ cR
x^/e,/
(^,,+59́X W M%mlt{
< `P'$qUA|%](> Lwt˖ZW3*J )Ӆf;qWWJQ ݾKHfEC}7X h$"-YI9G .QM@Bc(`.E&YB2 JIwY=!4= X}2V
Z B ` !wu|Ew{ḟBzǐ BոbZt^Z YSF~k @!b\)X]@L}ih9U&*$EDl;
>?db&aX\DV- +;E؋36^g5Jd1ESjBkY>)w*614`2*6)YkSrx/1NAF 0biJ_nC\7oNRQ
3Ubz?ToN{qgD0+8?e
P |ߴ šG(C <?SKp j$g' )AP-+!eD)>R Uc-IⲈ
FYn\qE a|)~8m^RU`)$4O<#Y ߭].!JG,: Zo\"<ųЕ xG'P'7źÏݘz`4l ͮU؈~]Cs;G{$RUw#8 pGp}