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 W' \l ] HOL-Cardinals:threads=6elapsed=6.395cpu=33.876gc=1.188factor=5.307zXZִF! F]ŗXf1-q恈<-¡$johkX2I)']8PIyNnN"'(s(A˦g |?} Ÿw, H\ d$*7$yZY,z_vKlAG\}^BCK"dX&>345RTc[? -bk#|!Hb6@P>}"߶GOXmW= NXu\K!d[m/n+z0aA H}3{ )"ݦê1em/bU"^&nS6kfw_^PF[y?cΟ裨ekb@##U.ÿT^v>A.}}@WA2(fMY8zܟcBϕ܋֙頎p+ۤ6P7Cp-XVgYZ7zXZִF! ;(]ŗXiɟ1?ߟt;9BP2CZz眭5 z Ƽc~:oNZnr]3MTUh.X(PAļylyt< R"mh ꘦y*RU*N]C¦B-5mUZ%5q*~^p(VvBY[5l&̵=uYTP E[m|Iܘ(g9س,X@W2dXas~ AnkƘ{4A_Βil iA}ʒVmL53{3wŌ1s+S8͎+Czaͳe;`ztOԕ? <\6Y̯*;B Bn*Yw㮲POo|g(:+CLBߡBűgYZ7ca168a6a2a48acc1dce790bc955128b07a3a0d49d98e7572661a1502ccca3e0adfad8c7205ee347 9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5 bc7285075f2b3f8608f2e33435f62562007e562a ' HOL-Cardinals