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  + t ]/ Euler_Partition:threads=2elapsed=13.724cpu=25.548gc=1.152factor=1.867zXZִF! .]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjxJP(<qruk6+6E-vX7Y.Tx#?|RKG qq{ ANNoiNEQn$:Z=1^G,( Ff6Rڟ8")1$tTΠmjt]zQKwjṱFko[A%}ȓCS adϺHNʆddq ԥŻ_LXTв3aU*92_H*#N{b$삉AI^O.?9@9[@}0|%\j 2}^=$FInRxS5[uuwN  T4JZm~ҦOBdRےݛbE\gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V$jl[-~pτɧ<6*x̘ 9-%+B # crH}T0jD50nna=3-h„ӖY_6b|s0s I2級/d^RgYZ7zXZִF! O]ŗXi%;_ϊi?7ƒ!h~=', 2HF%e:>h9Xf!cu f36]2 qkŷЭ؁|PsA_ `O `_up+,̍V+;(XImٛ$[4{ j-ye#M7R +PI')WӰ1r!اa',@.dS8fQcQ=LtU؅h!ߋS{\\%h&D: mrFVY-FtN޶X(reZr-^8kK Պ 1Zu'o@w 2 NM 9+Hjy~m&!` 8 jeU89eF ? {On\F}3QPާ{2m@W{l$tv0!Z8yKT(A,eD:޲y4>QZLXzfa0!3 q fn ibqtݤGY|WC'c е 'Ү$ms,+ Y8q5=enI#`E8%24xY"\}IH58j!W[Z7j;WQ+2M2 %D'>[Խw6ƢQ tz OCP|sZotI#J Bqs>,L+ &v;rp2W /A9y'*iIQ[zӽ#K+r?S.FUizg7^ԶyGAR;" &2'Kv! ^㘇z_W~zN9tjqazF~-H%Om)‡'3ڃfL