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   v-|Tl ]S HOL-SPARK-Manual:threads=2elapsed=4.510cpu=7.208gc=0.240factor=1.607zXZִF! :6]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)i,s7-egXsuFv_gYZ7zXZִF! ']ŗXi%;c.OI I,m%)ƣAe'eCƀF7!ژj Zju('9yKV%'<{~X_3s5 10}ys6 j%'Ĕ{AXu"3'F|hX_{K#q/o_eZ$ ) , t|Hlێ$zHY{x_8}8~9mv忔$!yMfZ5t0O*ژ|p`oM bSF NWh~Uazt /4a$b*yNתU0A1@v򏫽qv۟ngW++UЗoX9^[uc3;>QPd]ˌ/k~F9}wѢqɽ R,~