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  4 4I L ] ]Pure:threads=1elapsed=0.678cpu=0.676gc=0.000factor=1.007zXZִF! ^]ŗXiɟ˚Ћ. k$w|eݨgެ.v$)bd*0`% @DY J4yS,pz xggYZ7zXZִF! E]ŗXi%907ShRJՅx|:i =j|LFpiZ.-5C|F%#S T=6ʾk&2nol!\z=JVnts#;660m! <&ڄHYr8<%}U ӑ\HA$loHhʹ 6{6Hw*U %`_\kdq`bAɨBew~VeȷzN`܋x(KmzCXU:MsD=7PxUsPvR< \: :BCTjK~Gp %cz +D/3H( AgYZ2983f6408135f98cf14080108d078a33cc27b207ee3210dd24a02fc2532bf9b24d649a5c6880067f  Pure