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 <+ \| ]/ Card_Partitions:threads=2elapsed=9.190cpu=18.068gc=0.580factor=1.977zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dػ;[Q8spa.gq4 "=Y͵e-_Wv, L|0Ng1GJ61ESPYEX-Ȑy@V6$i-RC#fg ,ǂ|,᫠*m1I)_M(ֿI;h0kOc^UnqZP1bAWeʼM$q#KEu&8&ZQ\n(mkڔu/ؚJa4`13B0\{Dq.Qw)K \B07u!>yGH2~9ŊH(BKwI!t U+v{2=: bɗ#ǩk} r0Wux"ؒ&tU #jZh 5ANgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM:А΃'< ogM~T#"?h96164`ܡv@b}V)R fB9 %9"[˽P=_ ʼnKT=lX)*/qTf<}K9|hڄ|$*00dSN{{!:ԫ kxmoA4,gYZ7zXZִF! :]ŗXi%;уxN&&/k@SEo*F (-YB1?kxxC(ebc6x@VC\ ZnOA%}j(U z6/4<ɱ4&C;I2r_iFTЮ.`d类Ze8Чa josj-v_NHvB98y hCTe>=R t6:}@:C΁un</mՌ|MwcTQ%3TͭE53Lt*.Qי./DKF<Ƽj)o~ .TnLApyύ=9ѮȇHRX_P9tpq[Am11t/)9r7<Ʀ76\[!u'oNrSTwY*@W$ 41@+'P|2)DF " [yqkqHKJ26ԞX Xœ(<ʿ Ooo[c'O`.>=1nVdO;# 7ZtnS4Vj%]?K /c A͒"0m6RVfu0$$ϼQfPE@ѹcv$ ‡ ^ljK 53'+`ugYZe01215097e75115481a5ec649e55450fdefeadba79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 + Card_Partitions