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 w' T\d ] HOL-Cardinals:threads=6elapsed=6.596cpu=34.904gc=1.268factor=5.297zXZִF! !]ŗXf1-q恈<-¡$johkX2I)']8PIzhF yl lGѝNT۬J%s4&nTL`!,eAzo);>cܸjꆫ?}xPһRU"b$  R`s}C#a(P-ƅ%gY]&cVRkCdW&%lC~w| nL-Y [w)8(Nv("_܀kȭT^r/baоrdM˄5$xoˣ!h/1swP5Yj7aͯ&[5T`n [Ԝϲն;Aޱ:_zE9X  b^@zCm$9(ӥndt YTIe9|\J'i)sGـ=)O*o=@sp^b0AkçG8J59:m{@֥m՟.=OjNMo[/Zl?o ^@ތɔE1?:L38ao!+B!q+{5TgYZ7zXZִF! !k]ŗXi%94ʠx~QWz\d(R B+<|nV[gR%l YIi\JRŪn Ȍї-Ҏ &}kC J}U4 ){ |pzzp|Mࠃ¤*e#)v,len # KQ}qnMKjb@&0x"$ӱ(`eۏCJPP^Bf t*~@lqɔW=\D8<9x8 k ,LKFQL> `!kIQ;SQw0b_*< nCs2⮰ kgr\ϲj~͹ʧ+Wf"CuYSifkE|1F~4$X[J^HldE 2bb {4&u3ؠB Jl^˄ac7ii#I=L{ qo(LCؾXdi; vOrh]4J'n8y>qW._qCOw,NP6Jj1L m6@yhB{caR& `[U:,GJ.k%²jxs}yׂ-mqҾΛ;G6H݉#ڋƥM1hq02 xh!Ȥg! +J:LC8:KŠHr`Vk4AvwkH5%+%^/$u>1}r>~օ6׭/P]bd{pdi"MY )JBn䴱gYZad5bb5f89c4aa47fd68a16f56897b102d3bbe26dc68b30ad566b49580fe13839f7a432f3076bf46c c261812e8cc579b00fa6c102259eafdf6ed9acf2 5c42e8e60061297de4820761c0f5554d67ac5643 ' HOL-Cardinals