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 K' LT ] HOL-Cardinals:threads=6elapsed=6.613cpu=34.572gc=1.420factor=5.237zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIzA F̧FAA=JDKKnk,!I_7ù@J3p1,~٥ 0/O gjmn[Kj^|e`QSV9xʆCzcDTtt[*((bx8TBd[p煭v2''3Ŗ_B73 L7O6ݯ *THs4Dy, EeRm]Q^i+&;.7M#)PmTG6΂ImWkGP Fz֖`0u]y,sqIyO N's1KɠK;yX>IPa'r4Al|-*/{n˼Ȗ3-[i,%EB$xU:"[RUavԻ ]$2tFl F(@HëWtb>@H!*:\\gYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 z ־849{yT=)c"'MrKW8aBu[ XӱL[eJ%iT0R T~<09TTyAhƄ(r[pT'*4Pd d ʢrZ΃\G6TjG^e8M.G~{!pw.J1)}|>apնՖa9vxBnAl~,U h>=jG$QO2\'"UgYZ7zXZִF! H]ŗXi%96DI!2\YA D5Ğ'C>r/Og or w ZDr_ED. :zH,P3Ζ+\hp]:fq~a H*h 1,#Z z5"O It?q~=eE4@0P^i|'wJ~jޭtgY[(‘cO^LS$v u-SQJB7l -,}F_|F;Ɵ^S&4衐U&cB﮻:d{YF9!w> v.ޱՊtW`Hէ%VDf>̗X” $/07q;]6Jh]ܱxfɏL$muiu8gהla=QaVa'a*Xu(ſ ɻJG 5$+D~/ xB8G%fMc^@bzsz_{ <L"o!= xmgYZ0954f04e96b955fde4079b1d905bd9b96c2847a31e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 7db0bb0deb0c950dc1abdca904e5f40182e62495 ' HOL-Cardinals