SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info P54 ; HOL-Nominal-Examples:threads=6elapsed=382.389cpu=1421.428gc=124.188factor=3.727zXZ ִF ! >] ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`lNQM!5|cAZvV/: 5oH3/T곤` |nT1)"rySk*s\{ONs7gu*ǁ^i D@jz-7F)x,b2 %SUQ z<Jv RtIl;WaehDC`gC.z(dP? `Iky^C|0}628Ѽ7UmpVKMyҚ-؈Ɵw*T }$0j?em#@2ĕfc c5s!QծFz }'x!yT3t!,em8'ypT JlV BNm*LA<ͅqBj/H&\ S25*`j AlK8kPF9]1ܧ$+W/ E!xvHE