SQLite format 3@ . YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info # l$ +/]HOL-Nominal:threads=6elapsed=6.583cpu=16.708gc=0.704factor=2.547zXZִF! /]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6]:7< J)~O᳅J8x|rno{gmufGq.3FԒh^qǚGc0/\z} /ƹfa- fӬogYZ7zXZִF!  ]ŗXi%633SkE /e Fn~(SPw1K:)ZC{`imycdsQG,#uw"?ru5%Sy-^ 2xr7䇻5~of cTw1DXw[ɛ!4PwHK~tb7Y1^@$VC}|heҨgmiël&vT_)"=F O9_,wha`1xK 4YS1pJ*CH\Fq:Dh };;[>+$D WUfN*Ί{ Ւ;5mZ 7YX/n6$SgnK<}[Ч6I=Fb/?a p RXI2m& fyߢb=_EJB|\_ 27`֯FU`zV Z='z~6;|XL:T8xQ5bx~#զ[RV0T>@X)S:jiFQ]!'ejZ(-];dN)-XAɈG1=[×_Zλh,2wʩHeX+XF+{Sh X!.Y_K{7\|_g1cqﶙ m_3vv=w