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?KL x 53J%7 g*
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}hc m6o~]=D;vXxcީ$]$2ȏW줥
Ĝ_n5d 2εu2Nyt
@P4M`嘠.=ˣJL:(x8A̡KCQL.Vb3 \^*( ; { g YZ7zXZ ִF ! ] ŗXiɟyFG] p%ݍz1jiM齔H:wZq7cCョLJj:j[ 0xFp*#I%zvh ^TD X^$Mͦ?'@@n֏s '&<6
ʤ.}Wb=q'i&Ul*# %gY uɶng YZ7zXZ ִF ! zp] ŗXi%ή++#_,]
#!fEQ䌢;o| +y'BV Q պ6 2k9={JƋ\& RK1cp J`KT *0I='Ae#W# ,oa0BL] Zuwrfy1`TC(+mTM,~=+1s?Iȅ
g,
m 8m_ g=k${G2.reG.]5X8 &O)w
!gNC'ҕRp\o!@C .2C ZuL .b-l0|Dm1/sp3m)K"^m}9MS,ee%UBa7xhT "O"u@HTrhښg-Y2S'E/mB
k2pk \oZ91> n_xj
3K_g YZ3179a7b4fee1fcf071e1123dfb246a0e33f3486700b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
!I Types_Tableaus_and_Goedels_God