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  P P-  ]] Cube:threads=2elapsed=0.354cpu=0.364gc=0.000factor=1.037zXZִF! ~J]ŗXiɟ↝ejZ]_T/8SOɨY@O{ݴ7v:;ƒh f}YZ7zXZִF! C]ŗXi%;UEMyGuS,f7dHL+=ja?lAz<id'A%UNJE/+zTqgm ~BQ,tƷ!1bx>\.xHk5߃Rd=/6to0hJ 3ߚ h1'F/uOORY F?Ɇ`Rnk״1O,Ǜ-UfuDZy|8#nhLuo;M4vKX^x/:⢏ĵ39j0L:!j6 \gYZ8c58103ad604d52ee3355767f3f5bf2508aeaf00f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b  Cube