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 g' \d4 ] HOL-Cardinals:threads=6elapsed=6.444cpu=33.804gc=1.344factor=5.257zXZִF! j%]ŗXf1-q恈<-¡$johkX2I)']8PIyZ+;EiS,=GOĿ۬J%s4 GgvE~uu77G<i6uGf5+jwkUÀؚg)p/db cd_}鹁90K'ԺLW{k;.F;u2-NsTC;pDBL7}t3HEjx.2ݡlL^ϛu =% } C> 0ҡc/5;Xt9piLȶ}M˼A2n-a츚DE5 $0C{6qb}-Rl_O/%8|z*ɩwsof.faq ע )߻l Xhlُ&PlV] 0WڀhP&+siҟpݩL 8DM|qwAr~<3 ͠8 TpXw$ [ұgYZ7zXZִF! ;)]ŗXiɟ1?ߟt;9BP2CZz眭5 z {c~;dZm؏u&ĺQjL}{*hX2ŧ$uϪ%G3A`^pһ jU\jURL pAoQ;- Q@"`׎ٚ-:kΛq”V) 4SH?1t{XO;O l9 l E*H9b 2 %=LVh@=ygYZ5841b4834b2a0cb3ce010374846b877a9171f35d7dac346481afdceab62c8081cb4f36756224c974 3b86e4c44d3a409110d660ca5ff3fe46430a5376 fd02458c56fae68b4ecf860bc8a9815125e0b3ec ' HOL-Cardinals