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 3' L4 ] HOL-Cardinals:threads=6elapsed=6.514cpu=34.324gc=1.240factor=5.277zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIyO '1dFgi\eVbƉm'dϛF-TjNۆM?^1pgiQEiͽ%!}CK)l>;,|ib<@]ck)lgVZ~ODR_ɒHEC#hv@ lBw1 YW3z' s}GŻ!Di4I [?j>:ݶHADDwUAV eY: |jWS[l*S~ԅT$⁄Q\Tqh9VYmRBs{ȸCg[Nov9,]{/Lڱd=I5,U#ai{O,+)f&jd\k&! [$fs @5xsmֳQgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z c~;doP#Ȋ^bJ b$5YX} |_/"+`Pw/ @6`}ӣvS }]^]1+\w8$ `LAdu+(`C}ʪ:&m[E#O|TjXDoG!BbKީ~JS,8 fpٓy.m;`v<}\DA +y⠑V{PˍC؞N*albQ )n&^EF=.mgYZad63c539602df3722ec32b1199eee5e8ec54ffb1bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 c85aa4bd2a6aa92c321b13913268c5235d4cf884 ' HOL-Cardinals