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 ..O' tdl ] HOL-Cardinals:threads=6elapsed=7.935cpu=41.708gc=1.504factor=5.267zXZִF! X4]ŗXf1-q恈<-¡$johkX2I)']8PI{x)u9Yac6= Ra٨bjJ\ ( 0YbH%1LPlwL,6XZ& |_xv?d;|,M;|_?yfn{l tᄊ9}+ەe'y ͹wY)!t^;jä0lN%@ҷr%uTRnHT5$cJu`Wq\=ogax`ERcRt>i-EH3,k}Ο|'SS]Toɹ*7C'`&LsIj%u#yzP˄.J@-0`7+ gYZ7zXZִF! %]ŗXi%90) ϖ\99'|#jd/RSe=fۿ YhG}pfBz73{T(5wgDvLo^d>J Qb*V<_xL1UwB#s*:pJM{ $Vm-[z)#[9 6ވX;SI#^hD?'6@;-ЗOO!|I3Y%n:HP6RWJz}'%17nvБ<ԏRAIT%^-dC+]9"R{?4 r;{k!UƤ^7y*>e">AfH ;U۴y":Z~:>~QBEk|KLo+OH^% +:Z2e)xeϫhkW&I)yQ+L?B.&l+ru x> zKuUcc*!P'̮./(=0Wc @/torETfQIevP1C&'sWX!]GO k3x,YWQ}q zI%B' kd_]ap֪̻&5k=%A_f$5)^jcTdi3Gnc^r z7Uȝ؞e#N ~~7c=@sNrqSZ`wٓ2?{pr8ҜRF|ƭYѹfl0Hc ՞;iM!&3p `< 256cZ袤)V҅:.}KzgYZ8ee49c356dac785221e77be0fc3df63a1c710ddc62858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c b968a3598e18f78a38a4319f8fd77de2165ed05d ' HOL-Cardinals