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 /' \ ] HOL-Cardinals:threads=6elapsed=6.240cpu=32.880gc=1.160factor=5.277zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIxi3M2&}`?rLZ9aD|Gm]Mz!oxՀe٦>rO\jJto!Pgbifgy;&UqxZkYuRsT,4'#] M\(krI|A_R;bc^ Fji_<{iKP%\ښq𖸖!!00( Gq<`2\L#Au8ί-zq OD =<?dg2ΛN $ޏ ?lV)D+CGZ7b;Q,J؟xLL?a#;\a^ ȵݣ Jơ  FMf\%qŢh|%hr^ew\\] &9Dv ~B!֪ͮ^n3gYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 z ̪ځ+˟шp H_Jy+:ijDVY#BςR׌ כ?0j`'܄}gzFօ,%v#R%%8ǔ\G7An1P^YM{w[.JSuۂ' V;wz3FXx}L\ Q3 PZ"H@QT"CGph9E14]~ƧϨ.+{IDsG¦1,7 cdI}t`X0]{,4 oizۇ@_Ki{p !bi54@\ACSUTNAMcc}*^(:9b ǫ'f)ecFx /Q=(X1~"-8}Vh n`f(i@T `$OGN4ĤTnUaN r!YWvv4V"n{`Z9 7 Lc5