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
J;DD m
HOL-Quickcheck_Examples:threads=6elapsed=65.935cpu=151.880gc=5.352factor=2.307zXZ ִF ! v] ŗXf1-q恈?XVd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>e[稖B?Z(D -}х ia*6;:4#ƅv/LqBC:_NqmB[N`e`ϳ̠:"zF7>VʋanDcu|~B,eMe
g߱
TOFL*mZ3^
t~x`IFi~MP^lA'v\+Xnɍ98oi1R_R'AE
jW"
{͓|"JfyQP 6GdX(8 q-ņӇPW^/S4nlѓo-̙1ӹMމڑ~1Go"f( ֩/8tf(9w`dvKpPezz (uEXY\
dVJ0A']FDj/
o]kJ֙Hh֎!Wvt]Ѷ$)NS%i^mtCzΦ-B2|A!.ͼf2vLJ&E?$$2g2kn
pₐӳ TyW;#-
%]F|~n!}&cکOeA
\N}XK?V;OLWph˭sWZlMgQʧ"Wm_HSb +VFDYls6s_vC,MZL܌ÅR綏nL_h!ޖ>|)m|X3M̫6NNݞq͓,{|V5)حTY
MW+,+_ ̩s"l>ݓ`p_baHd3z;rzӱiq?iX3Ąc`Gp NP%
KFxss5=3BA=t(0.OeCo0>";U,CYx?jH<{T