SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info M l, w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.247cpu=15.008gc=0.680factor=1.627zXZִF! A]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmrfI)~6Tzkf)ݽĨdђU8dBHp/Wg (ͷÊ:rP, ",+MYG&љ݀1!;%h5fз/{DY7Rs|-3.\!̟%{%gƮ^4sris&tcjȒ!;b;48WuM+Ժ p g4_ɜm o0/EXM hM:e-;=͙n싢\.WSA~=l]=U&窈U=Q'/ q!Mq5#:"u?AM3DB'@s\6΅t͍QSU t`[;Vis_q\'g?9!q4PGR`"ǯY])z_DjIo|l q{cQA9*9? -BgYZ7zXZִF! 80]ŗXi%B[j% Ad5vgv`X@5P$_mjs 7U#k[M?7#09xPn[Hxoo܉ª;"rIm/YVqi~\ o- o83c6knbBbm٘CK-ՑyQz\X3*k1㑔Y<"} Eԃrh:c[Vwd_x֖lg#gP)ʱGEd@~g}[Zp:=$"An"M{ 8 שּׁLY*ꥎzU1jޣൃ?ݓrfȌJSg[5Ր s}kUѓ3elc(q+lO$Du^;8ww}99CH-EjJ%uzC}L{ܳzkҠ50r@38b>u&啛c5}gɬj]PE4