SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
pI||< ]/
Types_Tableaus_and_Goedels_God:threads=2elapsed=21.484cpu=20.676gc=0.216factor=0.967zXZ ִF ! w] ŗXf1-/6vR[l>ۋZKY3;LBGc@ldvX L040ZWjx:_yԴ,&JLQiT&
@S\cjs*4sWk"F@.(N1U?KLx 53J%7g*
s
&`4(7*/<{zq0{_2^?,$\VBFE;eTC[]cZ#R|$~Űg+œ6'/#ZFwJ9!Ʒe,kP[q'3'E+d*"61.d
gcx{X;)Sl島CsɑPh߯X+Hg-}sɅF'j*R[M}@,.ʎlnRkv闀lc}hcm6o~]=D;vXxcީ$]$2ȏW줥
Ĝ_n5d2εu2Nyt
@P4M`嘠.=ˣJL:(x8A̡KCQL.Vb3 \^*( ; {g YZ7zXZ ִF ! ] ŗXiɟyFG]p%ݍz1jiM齔H:wZq7cCョLJj:j[ 0xFp*#I%zvh^TDX^$Mͦ?'@@n֏s'&<6
ʤ.}Wb=q'i&Ul*# %gY uɶng YZ7zXZ ִF ! zp] ŗXi%ή++#_,]
#!fEQ䌢;o|+y'BVQ պ62k9={JƋ\&RK1cpJ`KT *0I='Ae#W# ,oa0BL] Zuwrfy1`TC(+mTM,~=+1s?Iȅ
g,
m8m_ g=k${G2.reG.]5X8&O)w
!gNC'ҕRp\o!@C.2C ZuL.b-l0|Dm1