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 vv' l\l ] HOL-Cardinals:threads=6elapsed=6.709cpu=34.844gc=1.192factor=5.197zXZִF! \/]ŗXf1-q恈<-¡$johkX2I)']8PIz w2N2|mҞn|ZQz4r O# $>tб*MjU~\\!M۠P0+S"p,~Æf|ݒ/<2MS/I#gM&.3s}Igcv9عho ȉ<͔m)l#v~T@ğݰH¦b#Ui͂LQL|;2Wd5_1 Lc7jސy%hZ2eRW~ =-:av{7KXSk;$6VhdG}oπؼn voyb@Tr8X/Dc|KbT1b˘a'<QPZۖ ՘f}yOBkPL0UU֬$gYZ7zXZִF! ;(]ŗXiɟ1?ߟt;9BP2CZz眭5 z >zO0e; Q],u?U,;[QjS`_?K/l3;YT4V|OS\o] _f {AAEOi SVi#ر'[O.! e\ *ħJA3KЌGI3Uԃ#X&Ͼ>Yy}?,/=GABN.BRU(Lc[Q9Qf ?Ek{[jgYZ7zXZִF! !p]ŗXi%ύ940bVտMϞЯ7Q-!UBEFQSoڶ=22uJlκna f3#B&n c=2mgnϜ&y ~S`Nc9pр4n.@ zfpM܋+{D\RU&iW9yQ۬.3U e]Lw9;!h;O>Bi_Cm}oQu:~LRh'p`e6e^ {9g㙘C9|u|?^1pip&㺎 jSP[} goवBSī*U{HKfKnnO[ %VЩe:EA'Y#&`2{p]htPDsrXSO׌*F(&և>f~/7',7KyIYWϞ[5xy엑G=muHhƲG(MDd"܇W]}/āN.° ZKkrP>ٟS\|V,+!cHG> ;W; No\!́y#TN} eOl{b^v%;+- u[MdZYHGEH?wːvϷaekfn֨,j[@o~I- (ݻ.Ǩ췀̆$feh*|ed^._w2BۏgYZefbdae945290555464db78021ce432aef58c2822e8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b da40b69ec8cd3b3853c6391ab26682d256c913ac ' HOL-Cardinals