SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $4 c]]ZF:threads=6elapsed=10.003cpu=34.500gc=2.136factor=3.457zXZ ִF ! ] ŗXf1-)9\lݺn= bŚ&3(/.G_Tw>ѽIז!|e@,^FHdڽo*JWvu1;=Rf#_ 1SA:mTهTx&^!t ]h27$ɯ[ЪNn3Cr7sT!bIeThVJC1e[zz筡 6oId}!;N.]k"Y[|; KnmoHc@f1JZ% j+ O;vr$"|)L=6%vlv!Uo^74oޑ#V! $$ u֙K )l)g YZ7zXZ ִF ! /A] ŗXi%t6|[tk /CXzTely)K7y8%:(g2˾O^3t̓1SɳEy(ڑD0FrL#SA4tɻBg'KH媾/{ΗӂWMy?3t&0w>q&`\[dS5yi-zoItjFy5Ҡ ZF ǿ72|Xl&<=kg^Ԉ0"|;dd/}**i=;ZUB8pNVZU)s&BjTRP}MҭuPΘ\&`|~aaSM _Q Y(jp䮔V1Yؙ|$G,~pQs10sY*eZ|(iMY$v{{>
"SJ{STE#7䍗|wFklD7FCH[+2_.,6y*5V8蒀00z;2M'o\N@-v{р7,$u_Ie0M7v>я#24Ȯ Rd6:w[U~ޯe]PQ%F9َ̮;]퓭[AP_(G[*ySQq蓲x?@Dhd`!mOA wz&o_