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 s ,L s/]HOL-Word:threads=6elapsed=8.873cpu=38.328gc=1.280factor=4.327zXZ ִF ! ] ŗXf1-q恈e*[#M?Hfaw :+/7̦yWg&VL҃p"Lz-,HVJWs$Y]3m;87sa St%[ƞ;esC2z~oVEl
9tFswϝB_ cC$&-88hFR.r/XC~TX5[+*'-l㇃H6f&OhUbu)/`Dc7/XEi6ѥSN
lcL97^Fy4kǼ -xq)KΑ Q*]$P\"7K.=
BFW2 ctXҴݬSL6aA;Pz툀}ne1IřWnHߓ)b$ [mNXo|]TÓ/)\9"C<&,vE:l_K]pƀ">Rp [SqCk5`xr-a,?gM܁|W)RJ8x#Gtxp gPw(b](:J-n>/j>7,ZSA
^R71Hplk42[-:2H'A ~|DԒ 9/dL"s%E&]OqoXa{~Xs5I<x5Yc"*gǝ'a =䓫y]t2Yl_ZϮ 6]q;e7{hB7Ɍ]f-^nW7#B>ޠ&Fok?mWP!*mSxP^AN|ݹw1;::JX?q]cPl.4f{4U|M^ٸp|@zf*`h'R4t60C`S37%dWp+ǼNn0
j
sh!Ľєl1C``s#_84/N9Z0I rtf^s+ׯfi$<īg.p^2gu$˴rT=ߏ{߬3( æc/{U0\@,@8i<shȩ S}6R5JBLJAYr,%Cvv&ByZ(#2&'76u