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  W W&<  ]]]FOLP:threads=2elapsed=1.154cpu=1.168gc=0.000factor=1.017zXZִF! X]ŗXf1-) ^XOb86W;D|irK[ƽ0{f dٟ6<EFdQtelgYZ7zXZִF! rA]ŗXiɟ 2 :S~ žCm~}EqVb1(ـI+PT+A"UxbrkQ]s}YZ7zXZִF! #]ŗXi%;źrtvV+'z|]h7%mŌ$ۤ*L]/ZB/X(.-ȃbc,jJd5?rpKTa^-Q 0?#u2%%'3XDCs5/dN { yOLYч1WŜ27hD?~BCIZꅛEvsGN"y 9`15%}3Y9gll<1cPNR$B]0 qx;r AvWZ XCל;7)BF{I(+S0RgYZ5a8fa997d2737fd9364948feb7f384a932ec5001047361513188e7c72a6ffd9fc0d5d82009c64e0e8c89da368186e12ed9059dac2cdabb98f16f4590  FOLP