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 xx < ] IOA:threads=6elapsed=7.198cpu=28.928gc=1.216factor=4.027zXZִF! c]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQ+|ȻKTW$R\גWka"x)Ri嬑a `bӞ p'P5Riܣwd^I/ΡpB蹓i|+r*9>pݛL$lRxCBtdj!ilU==jg$Rv^)"Ju>g3CМt*$wWr3x"3iY3>o6'SzOsM"55OM3C\L?XgYR+$L#Js.8ø-`u=n|èٟ{j2(WabJܚàxCnnzDt1$-heJp~ՆxqFd*qZbSDɧn{ź ݻ1D=2h!,j;`AQrޟ#1Z>BۭpŵjPr^qڭVϋT8 }37WFJU.eu w6HIp2uD> \ 6+UJj& tl-LTߕM:.ћ~|!'n||aC$|qFꈍ]O|Cǀh=&MZ9dY3U\6D"d'Tq3bV/s>%MCsbhɕd(cɎG U'!#G9k=ЩeUS+é sXTT^izbb!~=EGn,1- FKۚnĕ} AEEl8?~*COvTA2õ֦ zG2B"fg%u#jjn<7qyGc!kF(Jچ|Z x"bsXh>|Z0D1?={gJQ&[x[x9s!`# ~US=׌JRUܦ(y4Ciwckj9yG=#|FV=(6d$+-c  !}°°[@6N:8KFX5E +0yF(gYZa178b8c033bc03d23e3681dcb729dc0df63fc151bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 23898c53211cb25def999ec5f5a40c19532d9bdf  IOA