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 vv1 < + HOL-Metis_Examples:threads=6elapsed=12.023cpu=52.884gc=3.036factor=4.407zXZִF! XU]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1'2i~3'}1UTvqp*[IdN+ {!rpP?g0!C.&x|]R;LR1MXK`^NG-(n*6f 80hۅl-Ӝn)6XQΛ9DE? 2- ,1pK#g&D(u J"U$i1F="Ŏ 2*־w0 WGlj"2N%<15-wDP2KIشh4\pABt@^b-.~jR2[$+FzP J/^ý \# >{4c"pH(pt:Dȑ<Eqnr|"n65p6rw:^Lӯ Qq%E!&'8{j0!\кS-flZzSc?@r>FYS4&: Uܸ`6[,'aÚeC*5DoU-(=͇;W93 Q^UoaI(˷j[gqx9 yQ.VaS[OSu.mL)`], .% gQ FNVk Zv0GAM< ڬu1R+tv']pbOMw7UpM?dޫx y^D%1n4кSIka)!+tF_` }BK[>ܝE=rD85z\7f#O_i[MP9\F{)[4`~xg?8h\1 YQ[L0yxv* 4cO=W6u5Yik/?ik3 c,R-[0 ~o{{1p?FOCT?;FV+etXUoT@VZB=UwБ|O3}Mܔ$v!CbGq\*E@bbzHqsKfk4,q$4=K,9-(ACQ2߽s gpXq!_bw?@q SId.yBcp=޴H1d >bYz c$R.{)wWxw_y WtGr gIٲ-sunh(cOK5 xVziX8 Y޴\e5ՋCo[Fӏ9VCf_.oe-'\0V=ZȄqIGwFX>wث혱ԮnSړ_v&VC>Rpύ^qT o kt^$+󑛌C(O1 ۣGZo ZWuNCb՘- FQ[~'vFum$lmǴXR5v[aKLJ\BTO r+ gYZ7zXZִF! ;#D]ŗXi%68{ߑ ⴗ( ȰPxNIoXvPx֫mkF^^f!NX6_@v4y9X}K`#:u9i}Ta>RݒB Cc}yKJOL~4!$mX+$$w܌jG H2xƨWrllVuj}oKJˈZo+M#slgltcA>㷥q')˫UecQf2KFT rvÕ=qTs/U_O܇40~]Lv,Yfŏ)#