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 ?' \, ] HOL-Cardinals:threads=6elapsed=6.373cpu=33.776gc=1.216factor=5.307zXZִF! !]ŗXf1-q恈<-¡$johkX2I)']8PIyHAQKh2TzZWLX&sܬ`Ϭ޲Y߷K/\ԾP}&,S߱H.0r idy#KXUtZܒ~P `R* k떵鮰KA܆G[3$*e ftcT须kabNl%a䴂29r.K3~P^K(jT0i'օT Ұ(Y҇ d"E}5-鋻ǫ*sI'23_9<'s ^TXw FaIQX|Q4< 9Ƌ%/h7fV5GM1R3E>i Jmo6;fabZ`L鐜ˊ4DG%s U.gYZ7zXZִF! ;&]ŗXiɟ1?ߟt;9BP2CZz眭5 z ڽZOx"%) <|xbW*FJ;[4yQzYzn0&l+23UrVG) VQ.DT:^ 2s,]CH/ /7ө}x1bX9IQme.ˬB+(LPEl'$d!xG5B'l_ly<IDp +FnB=Ul}M'CZ<"%ic_ُYaߩyvtd`H%9|:gYZ7zXZִF! !M]ŗXi%94:_eԉA{{\%I޹gqaD(|sXo& DPV@SW 2o'}El;?`ڧPV-q`%S5P* 49dbr9K|@)y*OwX{?w CcMoc0SaLF!mT}4 GBeZ!T%J {W 3uY+#?.i#+Ȱl8fyv#{ˍkf%~nd d]B2h"Ye'g6WŨyYUZȻ*T,_wЧ gkHlo5ε@lGT* ы&ә$yN!9]:ĴEClpT- Ud?T[Go'Ӽr}`Gl˜2ݖ=6܏J\\V7\ydNժ|Cg(0y6h|p^> 6PDD}}i9^gN̟3 / a+XBިd )1MkHIۦ_Lvz^sú1ȔRdžT&SQG$%t)8Pq$$AI:Dy1)K&x(gӑo}!0N_ ;R$ispLuQ I  6.b~lx2nu6Ir]/BEy׵I\ mU2'Y> B