SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ' t\t ] HOL-Cardinals:threads=6elapsed=7.379cpu=40.696gc=1.732factor=5.527zXZִF! Br]ŗXf1-q恈<-¡$johkX2I)']8PIyMϥ!ףĞ4Wۨ^jrhxk>9_uQ1ܦ"'W{3]_p+S%|l8fRO:^ I:Y ؎ 5F G.?h*!B|y|,6 b?RBZ2ﺺ/-X,(˭ Ùuh::} H cr))bdgE/X D;7tq Watόb;"G'D~$E,rM/,r36aD0}z {RPy񒶅7ʮu Wu<҂2"C$<a'U5,iРzgYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 z 2ZOvq<J^ pFD"DLMYx܂ ܚxAWcSU_4SMp}>໅l [#E]Uo,fv;0&` Aΰь M_;^ ¢:1 dqoC(2KD͌Vjx@E6"?FZMh6;շ;U âbT`V=K^wgYZ7zXZִF! &]ŗXi%> dE] TXwJОby-"3MaQ<[]8)馡. .ZH^N|/9j2*`J^9EZY',kO4V½O΀2(|Q- QP“ν yPVglܼa+ܫY(NAOYɽs|vjAPiw^JMq ku?UTH x@.$xrb߀PrR̎&0!)HzQ|[vPi2gQǑ2F4r<>rS)E3W IKr҇lk ]+07M2ygYZd6b15bdf814bfc76a9a172c91191c9706963973986b56c8a9a539e895ed8d31c0f69ae143fdf0109 fcbcb977e730059a53bc653bcc4acbe376acf6ad 0fb0f6d65c861aa7f893510a1fb768c398ef7d72 ' HOL-Cardinals