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 &1 |4 ]S]HOL-SPARK-Examples:threads=2elapsed=19.228cpu=31.592gc=0.812factor=1.647zXZִF! ]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)+#s mR!3[6r(M!/+k k{\G~ G&wQ4^>~^39'xqy#h *GMy,ב3ݧ-#7O]^\DؤtJGU8emTsk|y3^rU aQtc>ƺ|Ū?ЙOx1Axi u{i i9^x%C%x<c;/@&g<}%cخʰ!a*8S)~WE>a Jֻ: "n~8 lG yI +$@)'`PeB?ni=д_ y/`91\‰wTIâRC.rD 4 ॾNDI9Mxi)q_PG2;җ":ZR'S9 b%^,&5{ns\gpњVֻuCF %5f!ٺ [ŚW6P ?4$> #W_hMȭIݾ%`%Ӵz {KPD7`ĴԗcI 纛F^oRO_9lem"V%6mX6q씃 -