SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 e7 \l ]Abstract_Completeness:threads=2elapsed=8.648cpu=14.744gc=0.716factor=1.707zXZִF! &]ŗXf1-/6vRZ\vW>_u Q:v? ̚ <x] †ݜk {e+OXo#ahĪ"fUsS-]b_DTdNHTBJńA Kۭ}q#kPDN DAl R7M^vU#(wtޤa$m|XКf'48&Խ) F`4ʷk{'\t;JQ 9I7GNCN&>4gYZ7zXZִF! 1n]ŗXi%6HU=3( GI{J:LxV(@gU9 ()Fe;Cdv_;ܻk*KA`j[ms`%}ZZq<:*3a 17vݸBbTmyS8.5@EMp'r0RϧP:^(sYYB鐣xy*CԐTQ}>jP .b evVUn|?a&XƠMoCHq@7yZ^G=nj9gl^`\?jaa?yTukʇ|娛G#cM7}rGIt1b4DGa\