SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y! t ] HOL-Induct:threads=2elapsed=21.368cpu=39.748gc=7.248factor=1.867zXZִF! ]ŗXf1-q恈4?/*b#)gQq:#irnqIRG!U_͢BU`IzdG8/B9{iHl X,,z;> 1NUѿ@%kf>&2g(gPy+YY)j<]Tݽ ؎Df;Ggk 2m1囟:OIKnswLE3PbR8^ Ž)bةM r~u tNγ}n~r2dttޢ^!]W_6KX"FChOŧi=&t>CWǦj'<>ڗ3`AHRj4rH>@!(ֳ=>-{)zl{g3L_n~p.󂓷9H%Epa5gY.c8赯 A2\vqnIB/7a\dWgYZ7zXZִF! E]ŗXiɟ1Ml3`L"Ψx ZE)21ͯy6SD$u:+i $pY'蚙6(~۔t O3㾴3!}ɖ4%bQ<+Q8d!y- l0b+Uc}bcF0 Cm]//,3(cT/i醬zboB I'Y~,TM;:ޥD.s\q-o 'ɓD!*T9$&幐sBgYZ7zXZִF! i]ŗXi%96UZ!<PArQC?X'=p5ʱQtBtr9A6_3]E|yy3\0 )~ CX\vJ>kl_xR$, /K*FJ鉒WZE޺3fBty'$a p5o%6}װn\;w~"SCb<7ƨ%" RqI_Ye)#GBN)QtWgJ6Ҝ?/:k {j'A4i0]Il~L%v7[.`,iFh"N CmB!p ica,گ_r̠O>\,cFQ5O»ӂ>3|$_{xMLBhKrZÛ+rmSm+}3Vø\fW's>|yLqV$Wd\8_H7EVEm;0@7*PվY lbo\".`ĩ r0?fl6dۧܡ_I?_DTҢ4FZ)mOHh$:$&S@ Y[h#=UΩBNg)<"QG 7$& q tӏ8E/$~F1Be XbEm,LxjW)O>sLⅳ~&wQ\IAջ~`[#i ht{-?/WAoF@(3r >xS@֤Y]+-7#+Ӕq%eXZ0~GeЖiz58