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  @dT| ] Eisbach:threads=2elapsed=1.545cpu=2.044gc=0.000factor=1.327zXZִF! t]ŗXf1-q4(~$Q?bִp;w~ ѾA`FIng <\Ds"-_͎J2~vүH;QiY' 86YnD{:OdK'=Y ;gMfN5gYZ7zXZִF! c]ŗXiɟsмHI:j|W?iUF|2DҾTP}9ޠƐC eK&EvY*\kw/xB˶RKXgYZ7zXZִF! &v]ŗXi%9*Wθt յȆ\1+}䥰C7g ab+c JP'%.xgaBGN'9KHypX:GO9-:xrWF=oViJoHC ̸YSl`Ձy}P+9N5вw>yjF{L7md(<1֙7C=VUձQĔmSN+(QmL?@fi\>0"XMRTג&qͿz#N=a{F);m ycÇ~hZeM#8e \{a{_^iUw6TOEgYZ6508e70012ba51b0e6b7ee9be87019be8489d84a1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 8c2d8870b5e6aa3c5af936f40eb0ef3604aaa00b   Eisbach