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' $\t ] HOL-Cardinals:threads=6elapsed=6.707cpu=35.396gc=1.172factor=5.287zXZִF!  ]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8 yA8NWgj^|pNzG3sGd2᠊h{LܣԌ+@jܙFc-BǤ~!8pdXj%ž9 tk?2S{%k F=Y"Vn*UXO!!=dnLK@+$Pl U3H_o@; VF#  kƚXKWKxAX`p3 `t)IW2U-|о)C$WM^;fCmL-o20V2lM=#01@c옞:bz [׈U|I;^;2DQIt (R0oD돇HǓE ׊Fa[FݒXe7"n @V/E%Z,/ nol lKR)MDxAwl F9|2ayM܊^?8%EAE, DU4] A+}j{0 l Q|g BδaZy/t6%$zV2!L$oS"'N:wQ;'OtPH/ĎBkXD۠J|o' }Q̊g?(!gYZ7zXZִF! !r]ŗXi%6Xr.&F:$ްmXh2KWJpm/)v)n@6}~w9M'i+t l-Xd7 =ڰ%Q|,=(\ !bR;rʧ٭ aiW~ <,/r؊Zڦȋ ZK崐cц 5xPR á(NP Ɨ{WoƼûWS)AC4P~olQz6zb P}uw^jO/QF:kC+y)+)"ΤL35fRA4(/tEqMg8 ⴴaA B"W E/2D *rf,#`Zih#QhIa;T߸f 9iRDx+9hNt!R[:&/uM:BigYZ7c5a015c7213cabd9e65a2fdf81fe38c3c4bbc863427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425 ' HOL-Cardinals